• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

1996 Fiscal Year Final Research Report Summary

Systematic Study of Information Structures and Complexity

Research Project

Project/Area Number 07304018
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section総合
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionUniversity of Tokyo

Principal Investigator

NAMBA Knaji  Univ.of Tokyo, Dept.Math.Sci.Prof., 大学院・数理科学研究科, 教授 (40015524)

Co-Investigator(Kenkyū-buntansha) KAKEHI Katsuhiko  Waseda Univ.Facl.Sci.Tech., Prof., 理工学部, 教授 (20062672)
USHIJIMA Kazuo  Kyushu Univ.Facl.Tech., Prof., 工学部, 教授 (40037750)
ENOMOTO Hikoe  Keio Univ.Facl.Sci.Tech., Prof., 理工学部, 教授 (00011669)
DOI Norihisa  Keio Univ.Facl.Sci.Tech., Prof., 理工学部, 教授 (50051553)
KOBAYASHI Kojiro  Tokyo Inst.of Tech, Facl.Inf.Tech., Prof., 情報理工学科, 教授 (00016148)
Project Period (FY) 1995 – 1996
Keywordscomputational complexity / finite field / elliptic curve / Fuchsean function / factorization / polynomial time / cyclic othogonal matrix
Research Abstract

Information structures and the notion of computational complexity are one of representative problems of modern informatics and mathematics. Fast discrete Fourier Transform(FFT), efficient matrix multiplication, determination of primality and factorization of integers, such problems relates to the ranges of Greek math. to most modern P=NP problems. Results obtained by this research project are :
1)Results concerning to elliptic curves over finite fields :
Consider Weierstrass family of elliptic curves y^2=x^3+ax+b and their invariant z=-27b^2/4a^3. Then the Fuchsean function a_<12>(z)=z^<[(p+1)/4]>F(1/12,5/12,1,1-z) computed as the least absolute value residue has both analytic and algebraic properties. Algebraic structures of Monodromy group of differntial equations are obtained.
2)Consider the sequence, for example a<@D212@>D2(b<@D1k@>D1), where b is a primitive root mod.p, k=0, ・・・, p-1, then the minimal polinomial of cyclic matrix A=(a<@D212@>D2(b<@D1i-j@>D1))is(x<@D12@>D1-p<@D12@>D1)(x<@D12@>D1-p)and the dimension of eigen space of (]SY.+-。[) p is 2 or 4.and the cyclotomic projection generates large class of cyclic orthogonal matrices. To measure location of points or time shifting, it might be used.
3)There is a probabilistic polynomial time algorithm to find a primes of the form p=3n^2+3n+1 factor of composite number.

  • Research Products

    (17 results)

All Other

All Publications (17 results)

  • [Publications] kanji Namba: "Symmetries of Fuchsean function related to elliptic functions over finite fields" 1995年度応用数学合同研究集会報告集. 27, 1-6 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Kanji Namba: "Fuchsean function determined by elliptic curves over finite fields and their factors" 1996年度応用数学合同研究集会報告集. 139-144 (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Kanji Namba: "Hypergeometric functions related to elliptic curves over finite fields and their factors on half of prime numbers" 1997年度応用数学合同研究集会報告集. 101-106 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] K.Tomita,T.Ttsuji and S.Igarashi: "Analysis of software/hardware system by tense arithmetic" N.D.Jones,M.Hagiya and Masahiko Sato (eds.) Logic,Languages and Computations. 792. 178-205 (1994)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Mizutani, S.Igarashi, K.Tomita and M.Shio: "Rerpresentation of discretely controlled continuous systems in software-oriented formal analysis," R.K.Shyamasunder and K.Ueda (eds.),Advances in computing science-ASIAN'97,. 1345. 110-120 (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] T.Shinohara and S.Arikawa: "Pattern Inference" LNAI no.961,Springer-Verlag. 3. 350-356 (1995)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 青本・加藤・難波他: "現代数学の流れ2" 岩波講座 現代数学入門, 184 (1996)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] 有川節夫、西野哲朗: "形式言語の理論" 丸善(出版予定), (1997)

    • Description
      「研究成果報告書概要(和文)」より
  • [Publications] Kanji Namba: "Symmertries of Fuchsean functions related to elliptic functions over finite filds" 1995 Joint reports of Applied Math. Ryukoku Univ.27,1-6 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kanji Namba: "Fuchsean function determined by elliptic curves over finite fields and their factors" 1996 Joint reports of Applied Math. Ryukoku Univ.139-144 (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] Kanji Namba: "Hypergeometric functions related to elliptic curves over finite fields and their factors on half of prime numbers" 1997 Joint reports of Applied Math. Ryukoku Univ.101-106 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Tomita, T.Tsuji and S.Igarashi: "Analysis of software/hardware system by tense arithmetic" N.D.Jones, M.Hagiya, M.Sato(ed) Logic, Language and Comp.Lect.Notes in Comp.Sci.(1994)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Mizutani, S.Igarashi, K.Tomita and M.Shio: "Representation of discretely controlled continuous systems in software-oriented formal analysis" R.K.Shyamasunder, K.Ueda(ed.) Adv.in Comp.Sci.-ASIAN'97 Lect Notes in Comp.Sci.(1997)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] T.Shinohara and S.Arikawa: "Pattern Inference" LNAI no.961, Springer-Verlag no.3. 350-356 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] H.Enomoto, J.P.M.van den Heuvel, A.Kaneko and A.Saito: "Relative length of long paths and cycles in graphs with large degree sums" Journal of Graph Theory. 20. 213-225 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] K.Aomoto, K.Kato, K.Ueno, Y.Takahashi, M.Jimbo, K.Namba: Streams of Modern Mathematics(Japanese). Iwanami, Modern Math.Series, (1996)

    • Description
      「研究成果報告書概要(欧文)」より
  • [Publications] S.Arikawa and T.Nishino: Theory of Formal Languages(Japanese). Maruzen(to appear), (1997)

    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 1999-03-16  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi