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

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)
川合 慧  東京大学, 教養学部, 教授 (50011664)
Project Period (FY) 1995 – 1996
Project Status Completed (Fiscal Year 1996)
Budget Amount *help
¥7,200,000 (Direct Cost: ¥7,200,000)
Fiscal Year 1996: ¥3,200,000 (Direct Cost: ¥3,200,000)
Fiscal Year 1995: ¥4,000,000 (Direct Cost: ¥4,000,000)
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.

Report

(3 results)
  • 1996 Annual Research Report   Final Research Report Summary
  • 1995 Annual Research Report
  • Research Products

    (33 results)

All Other

All Publications (33 results)

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Shinohara and S.Arikawa: "Pattern Inference" LNAI no.961,Springer-Verlag. 3. 350-356 (1995)

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

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

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] T.Shinohara and S.Arikawa: "Pattern Inference" LNAI no.961, Springer-Verlag no.3. 350-356 (1995)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [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
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] K.Aomoto, K.Kato, K.Ueno, Y.Takahashi, M.Jimbo, K.Namba: Streams of Modern Mathematics(Japanese). Iwanami, Modern Math.Series, (1996)

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

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1996 Final Research Report Summary
  • [Publications] Kanji Namba: "Some conjectures on symmetric matrix determined by elliptic curves over finite fields" 応用数学合同研究集会報告書. 23-1-23-6 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Kanji Namba: "Symmetries of Fuchsean function related to elliptic curves over finite fields" 応用数学合同研究集会報告集. 27-1-27-6 (1995)

    • Related Report
      1996 Annual Research Report
  • [Publications] Kanji Namba: "Fuchsean function defined by elliptic curves over finite fields and their factors" 応用数学合同研究集会報告集. 139-144 (1996)

    • Related Report
      1996 Annual Research Report
  • [Publications] S.Tanaka,N.Doi: "Centering in Japanese;A step towards better interpretation of pronouns and zero-pronouns" Proc.of the COLING 15th Int.Conf.on Compt.1151-1156 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] Z.Ohmori,H.Enomoto: "The Schur indeces of the irreducible characters of G_2(2^n)" Proc.Japan Academy. 69A. 350-352 (1993)

    • Related Report
      1996 Annual Research Report
  • [Publications] M.Sato: "A purely functional language with encapsulated assignment" Int.Symp.TACS'94 Proceedings. 789. 179-202 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] S.Arikawa,K.P.Jantke: "Algorithmic Learning Theory" Springer-Verlag,Lect.Notes in Artf.int.872, 575 (1994)

    • Related Report
      1996 Annual Research Report
  • [Publications] 佐藤雅彦、桜井貴文: "プログラムの基礎理論" 岩波書店、岩波ソフトウエア科学講座13, 348 (1991)

    • Related Report
      1996 Annual Research Report
  • [Publications] Kanji Namba: "Some conjectures on symmetric matrix determined by elliptic curves over finite fields" 1994年度応用数学合同研究集会報告集. 221-226 (1994)

    • Related Report
      1995 Annual Research Report
  • [Publications] Kanji Namba: "Symmetries of Fuchsean function terated to elliptic functions over finite fields" 1995年度応用数学合同研究集会報告集. 271-276 (1995)

    • Related Report
      1995 Annual Research Report
  • [Publications] S.Takada, N. Doi: "Centering in Japanese; A step towards better interpretation of pronouns and zero-pronouns" Proc. of the COLING 15th Int. Conf. on Compt.1151-1156 (1994)

    • Related Report
      1995 Annual Research Report
  • [Publications] Z. Ohmori, H. Enomoto: "The Schur indices of the irreducible characters of G_2 (2^n)" Proc. Japan Academy. 69A. 350-352 (1993)

    • Related Report
      1995 Annual Research Report
  • [Publications] H. Eiju, S. Arikawa: "Toward a mathematical theory of mathine discovery from facts" Bull. Inform, and Cybernetics. 26. 13-33 (1994)

    • Related Report
      1995 Annual Research Report
  • [Publications] M. Sato: "A purely functional language with encapsulated assignment" Int. Symp. TACS'94 Proceedings. 789. 179-202 (1994)

    • Related Report
      1995 Annual Research Report
  • [Publications] S. Arikawa, K. P. Jantke: "Algorithmic Learning Theory" Springer-Verlag, Lect. Notes in Artif. int. 872, 575 (1994)

    • Related Report
      1995 Annual Research Report
  • [Publications] 佐藤雅彦、 桜井貴文: "プログラムの基礎理論" 岩波書店、岩波ソフトウェア科学講座13, 348 (1991)

    • Related Report
      1995 Annual Research Report

URL: 

Published: 1995-04-01   Modified: 2016-04-21  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi