量子集合論の研究と量子情報理論への応用

量子集合论及其在量子信息论中的应用研究

• 批准号: 18654016
• 负责人: 小澤 正直
• 金额: $ 2.11万
• 依托单位: Tohoku University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Exploratory Research
• 财政年份: 2006
• 资助国家: 日本
• 起止时间: 2006 至 2007
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-18654016/
• 关键词: 量子集合論; 量子論理; 数学基礎論; ブール代数値モデル; 移行原理; 量子情報; オーソモジュラ束; 量子力学; 公理的集合論; von Neumann代数; 量子完全相関

1.完備オーソモジュラ束の可換子の導入:完備オーソモジュラ束の任意の部分集合に対して,その可換子を定義した。任意の完備オーソモジュラ束は,全体集合の可換子で生成される直和因子とその補元で生成される直和因子に分解され、前者は完備ブール代数,後者はブール束を直和因子に持たない束になる。2.完備オーソモジュラ束の含意の導入:完備オーソモジュラ束に,可換元の間では古典論理の含意に一致するなど極めて一般的な要請を満たす含意論理接続詞のクラスを導入し,それらの性質を調べ,その最大のものと最小のものを特徴づけた。3.完備オーソモジュラ束に基づく量子集合の構成:任意の完備オーソモジュラ束上で上記のクラスに属する任意の含意接続詞を持つ論理に対して,量子集合論の普遍類を定義し,それらを定項として含む集合論の任意の論理式にその射影束の元を真理値として対応させる規則を定義し,有界論理式の真理値は,その定項が含まれる部分環に依存しないで絶対的に定まること(絶対性性原理)を証明した。ZFC集合論の普遍類からの埋め込みを定義し,それらのみを定項として含む有界論理式の真理値は,ZFC集合論における真理値と一致することを示した。4.量子集合論における移行原理:定項の集合に対して,それらが互いに可換であることを意味する命題の真理値を定義し,ZFCで証明される任意の論理式について,その定項に関する可換性の条件の下では,量子集合論で常に成立する事を表す移行原理を証明した。これまでの研究では,完備オーソモジュラ束がvon Neumann環の射影束の場合で,かつ,含意接続詞が佐々木アローである場合に,ZFCで証明される任意の「有界」論理式についてのみ移行原理が証明されていた。本研究により,これらの制約が大幅に緩和され,究極的な定式化のもとでZFCから量子集合論への移行原理が確立された。

1. Complete オ ー ソ モ ジ ュ ラ の beam can change a の import: complete オ ー ソ モ ジ ュ ラ の arbitrary beam の part collection に し seaborne て, そ の renewable child を definition し た. Any の complete オ ー ソ モ ジ ュ ラ は beam, all the collection の renewable child で generated さ れ る straight and factor と そ の fill yuan で generated さ れ る straight and factor decomposition さ に れ, the former は complete ブ ー ル algebra, the latter は ブ ー ル を straight beam and factor に た な い beam に な る. 2. Complete オ ー ソ モ ジ ュ ラ beam の implications の import: complete オ ー ソ モ ジ ュ ラ に, between convertible yuan の で は classical logical implication の に consistent す る な ど extremely め て general な to please を against た す word logically connect 続 meaning の ク ラ ス を import し, そ れ ら の nature を べ, そ の biggest の も の と minimum の も の を, 徴 づ け た. 3. Complete オ ー ソ モ ジ ュ ラ に base beam づ く quantum collection の : any の complete オ ー ソ モ ジ ュ ラ gird で written の ク ラ ス に genus す る arbitrary の word connect 続 meaning を hold つ logical に し seaborne て, quantum set theory の class を define し generally, そ れ ら を set items と し て containing arbitrary む set theory の の narrative に そ の projective の yuan を truth numerical と し て 応 seaborne さ を せ る rules define し, bounded numerical は narrative の truth, そ の が set items including ま れ る part ring に dependent し な い で unique に of seaborne ま る こ と (unique moral sex principle) を し た. ZFC set theory の common class か ら の buried め 込 み を define し, そ れ ら の み を set items と し て containing む bounded numerical は narrative の truth, ZFC set theory に お け る truth numerical と consistent す る こ と を shown し た. 4. Quantum set theory に お け る migration principle: fixed term の collection に し seaborne て, そ れ ら が mutual い に replaceable で あ る こ と を mean す る proposition の numerical を truth definition し, ZFC で prove さ れ る arbitrary の narrative に つ い て, そ の set items に masato す る under the sexual の conditions の で は, quantum set theory founded で often に す る matter を table す を transitional theory proved し た . こ れ ま で の research で は, complete オ ー ソ モ ジ ュ ラ beam が von Neumann ring の projective bundle で の occasions, か つ, word connect 続 meaning が zc 々 wood ア ロ ー で あ に る situations, ZFC で prove さ れ る arbitrary の "bounded" narrative に つ い て の み が transitional theory proved さ れ て い た. This study に よ り, こ れ ら の restrict が に significantly ease さ れ, the ultimate な demean の も と で ZFC か ら quantum set theory へ の migration principle が establish さ れ た.

项目成果

Quantum Set Theory

• DOI: 10.1007/978-1-4613-3228-2_19
• 发表时间: 1981
• 作者: G. Takeuti

量子集合論内超準解析学(1),(2)

量子集合论中的横向分析 (1),(2)

• 发表时间: 2007
• 作者: 坂口 茂;Rolando Magnanini;Shigeru Sakaguchi;坂口 茂;Masanao Ozawa;小澤正直;小澤正直;小澤正直;小澤正直;小澤正直;小澤正直;小澤正直;小澤正直
• 通讯作者: 小澤正直

Maximal Beable Universe of Quantum Sets

量子集的最大可能宇宙

• 发表时间: 2007
• 作者: 坂口 茂;Rolando Magnanini;Shigeru Sakaguchi;坂口 茂;Masanao Ozawa;小澤正直;小澤正直;小澤正直;小澤正直;小澤正直
• 通讯作者: 小澤正直

量子論の解釈と量子集合論

量子理论和量子集合论的解释

• 发表时间: 2008
• 作者: 坂口 茂;Rolando Magnanini;Shigeru Sakaguchi;坂口 茂;Masanao Ozawa;小澤正直;小澤正直
• 通讯作者: 小澤正直

量子情報の数理:測定・論理・計算・不確定性原理

量子信息数学：测量、逻辑、计算、不确定性原理

• 发表时间: 2008
• 作者: T. Karasawa;M. Ozawa;K. Nemoto;M. Hotta;M. Ozawa;M. Ozawa;唐澤時代;木村元;堀田昌寛;小澤正直
• 通讯作者: 小澤正直