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

applicatin of the recursive function theory to problems of computational quantity

Research Project

Project/Area Number 09640257
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeSingle-year Grants
Section一般
Research Field General mathematics (including Probability theory/Statistical mathematics)
Research InstitutionNagoya University

Principal Investigator

SATOH Junya (1998)  Graduate School of Human Informatics, Nagoya University Associate Professor, 大学院・人間情報学研究科, 助教授 (20235352)

篠田 壽一 (1997)  名古屋大学, 大学院・人間情報学研究科, 教授 (30022685)

Co-Investigator(Kenkyū-buntansha) YASUMOTO Masahiro  Graduate School of Mathematics, Associate Professor, 大学院・多元数理科学研究科, 助教授 (10144114)
MATSUBARA Yo  School of Informatics and Sciences, Associate Professor, 情報文化部, 助教授 (30242788)
IHARA Shunsuke  School of Informatics and Sciences, Professor, 情報文化部, 教授 (00023200)
OZAWA Masanao  School of Informatics and Sciences, Professor, 情報文化部, 教授 (40126313)
MITSUI Taketomo  Graduate School of Human Informatics, Professor, 大学院・人間情報学研究科, 教授 (50027380)
吉信 康夫  名古屋大学, 大学院・人間情報学研究科, 助手 (90281063)
Project Period (FY) 1997 – 1998
Project Status Completed (Fiscal Year 1998)
Budget Amount *help
¥3,000,000 (Direct Cost: ¥3,000,000)
Fiscal Year 1998: ¥1,100,000 (Direct Cost: ¥1,100,000)
Fiscal Year 1997: ¥1,900,000 (Direct Cost: ¥1,900,000)
Keywordsrecursive function / computational quantity / polynomial-time
Research Abstract

(1)We extend a well-known formula for sums of products of two Bernoulli numbers to that of Garlitz's q-Bernoulli numbers.
(2)We give a Kaneko's type of recurrence formula for the q-Bernoulli numbers attached to formal group.
(3)A linearized implicit finite difference method for the KdV is proposed and straightforwardly extended to the KP equation. We investigate the order of accuracy of the method and prove the method to be unconditionally lineary stable.
(4)Thehalt scheme for quantum Turing machine, originally proposed by Deutsch, is reformulated precisely and is proven to work without spoiling the computation.
(5)We consider continuous-time Gaussian channels with feedback and investigate problems on the mutual information and the channel capacity. While, in most of the previous works, some conditions are imposed on the Gaussian noise, in this paper we do not require any special conditions on the Gaussian noise. We derive a formula for the mutual information transmitted over the Gaussian channel with feedback. Then we show that the capacity of the channel is achieved in linear schemes, more precisely, achieved by sending a Gaussian message with the aid of linear feedback. We also show some inequalities concerning the capacity of the channel.
(6)We present a simple condition for an ideal to be nowhere precipitous. Through this condition we show nowhere precipitousness of fundamental ideals on P_<kappa>lambda paticular the non-stationary ideal NS_<kappa>lambda under cardinal arithmetic assumptions.

Report

(3 results)
  • 1998 Annual Research Report   Final Research Report Summary
  • 1997 Annual Research Report
  • Research Products

    (29 results)

All Other

All Publications (29 results)

  • [Publications] J.Satoh: "Sums of Products of Two q-Bernoulli Numbers" Journal of Number Theory. 74. 173-180 (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] J.Satoh: "A recurrence formula for the q-Bernoulli numbers attached to formal group" Nagoya Math.Journal.

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] B.-F.Feng,T.Mitsui: "A finite difference method for the Korteweg-de Vries and the Kadomtsev-Petviashvili equations" J.Comput.Appl.Math.90. 95-116 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] M.Ozawa: "Quantum Nondemolition Monitoring of Universal Quantum Computers" Phys.Rev.Lett.80・3. 631-634 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] S.Ihara: "Information transmission over continuous-time Gaussain channels with feedback" Problems of Inform.Transmission. 35・1. (1999)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Y.Matsubara,M.Shioya: "Nowhere precipitousness of some ideals" Journal of symbolic logic. 63. 1003-1006 (1998)

    • Description
      「研究成果報告書概要(和文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] J.Satoh: "Sums of Products of Two q-Bernoulli Numbers" J.Number Theory. 74. 173-180 (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] J.Satoh: "A recurrence formula for the q-Bernoulli numbers attached to formal group" Nagoya Math.J. (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Nguyen huu Cong and T.Mitsui: "A class of explicit parallel two-step Runge-Kutta methods" Japan J.In-dustr.Appl.Math.14. 303-313 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] B.-F.Feng and T.mitsui: "A finite-difference method for the Korteweg-de Vries and the Kadomtsev-Petviashvili equations" J.Comput.Appl.Math.90. 95-116 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] M.Ozawa: "An Operational Approach to Quantum State Reduction" Ann.Phys.Vol.259, No.1. 121-137 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] M.Ozawa: "Quantum Nondemolition Monitoring of Universal Quantum Computers" Phys.Rev.Lett.Vol.80, No.3. 631-634 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] S.Ihara: "Information transmission over continuous-time Gaussain channels with feedback, Problems of In-form." Transmission. Vol.35, No.1. (1999)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] S.Ihara: "Large deviation theorems for Gaussian processes and their applications in information theory" (to appear).

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] D.Burke and Y.Matsubara: "Ideals and combinatorial principles" Journal of symbolic logic. 62. 117-122 (1997)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] Y.Matsubara and M.Shioya: "Nowhere precipitousness of some ideals" Journal of symbolic logic. 63. 1003-1006 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] G.Takeuti and M Yasumoto: "Forcing on bounded arithmetic II" Journal of Symbolic Logic. 63. 860-868 (1998)

    • Description
      「研究成果報告書概要(欧文)」より
    • Related Report
      1998 Final Research Report Summary
  • [Publications] J.Satoh: "Sums of Products of Two q-Bernoulli Numbers" Journal of Number Theory. 74. 173-180 (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] J.Satoh: "A recurrence formula for the q-Benoulli numbers attached to formal group" Nagoya Math.Journal.

    • Related Report
      1998 Annual Research Report
  • [Publications] B.-F.Feng, T.Mitsui: "A finite diffenece method for the Korteweg-de Vries and the Kadomtsev-Petviashvili equations" J.Comput.Appl.Math.90. 95-116 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] M.Ozawa: "Quantum Nondemolition Monitoring of Universal Quantum Computers" Phys.Rev.Lett.80・3. 631-634 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] S.Ihara: "Information transmission over continuous-time Gaussain channeles with feedback" Problems of Inform.Transmission. 35・1. (1999)

    • Related Report
      1998 Annual Research Report
  • [Publications] Y.Matsubara, M.Shioya: "Nowhere precipitousness of some ideals" Jurnal of symbolic logic. 63. 1003-1006 (1998)

    • Related Report
      1998 Annual Research Report
  • [Publications] J.Shinoda: "Strong polynomial-time reducibility" Annals of Pure and Applied Logic. 84. 97-117 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] J.Shinoda T.A.Slaman: "Recursive in a generic real" Prepront Series in Math.Sci.35. 1-9 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] N.Cong, T.Mitsui: "A class of explicit parallel two-step Runge-Kutta inethools" Japan J. Industr.Appl.Math.14. 303-313 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] M.Ozawa: "Quantum Nomdemolition Monitoring of Universal Quantum Computers" Physical Review Letters. 80. 631-634 (1998)

    • Related Report
      1997 Annual Research Report
  • [Publications] D.Burke, Y.Matsubara: "Ideals and Combinatorial Principles" Journal of Symbolic Logic. 62. 117-122 (1997)

    • Related Report
      1997 Annual Research Report
  • [Publications] 篠田壽一: "帰納的関数と述語" 河合出版, 188 (1997)

    • Related Report
      1997 Annual Research Report

URL: 

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

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi