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

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

• 批准号: 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. Import of complete オーソモジュラ bunchのmutable child: complete オーソモジュラ bunchのarbitrary partial setに対して,そのmutable childをdefinitionした. Any complete オーソモジュラ bundle は, the whole set of の commutable elements で generated される direct sum factor とそのsupplementary element で generated されThe former is a complete algebra of the direct sum of factors, and the latter is the direct sum of factors and the constraint of the direct sum of factors. 2. Import of perfect オーソモジュラ bunch no meaning の: complete オーソモジュラ bunch に, interchangeable element の间ではclassical theory のmeaning に unanimous するなど极めてGenerally speaking, please use を満たすmeaning theory to connect the word のクラスをushinし, それらの性をadjustedべ, and そのmaximumのものとminimumのものを特徴づけた. 3. The composition of the complete オーソモジュラ bunch and base づく quantum set: any のcomplete オーソモジュラ bunch 上で上记のクラスにgenするarbitrary meaning connected word をholding theory に対して, quantum set theory のuniversal class をdefinition し, それらをdefinite term としてcontainingむset theoryのarbitrary theoretical formulaにそのprojection beamの元をtruth valueとして対応させるruleをDefinitionし,bounded theoretical formulaの真The reason is that the definite term is contained, the partial ring is dependent, and the absolute principle of the absolute principle is proved. The universal class of ZFC set theory is defined and defined, and the defined term of ZFC set theory is included. The bounded theory formula is the truth value, and the ZFC set theory is the truth value and the consistency is the same. 4. Quantum set theory における transfer principle: set of definite terms に対して, それらが mutual いに interchangeable であることを meaning する proposition のtruth を definition し, ZFC でIt is proved that the arbitrary theoretical formula of される is a theoretical formula, the condition of exchangeability of そのdetermined term is under the condition of exchangeability, and the establishment of quantum set theory is a constant, and the principle of transfer is proved by table.これまでの Research では, Complete オーソモジュラ bunch がvon Neumann ring's projective beam のoccasion で, かつ, the meaning of the word がSA々木アローであるoccasion に, ZFC's proof is that any "bounded" theoretical formula is proved by the transfer principle. In this study, the constraints of the system are significantly relaxed, and the ultimate formalization of ZFC is the establishment of the transfer principle of quantum set theory.

项目成果

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;唐澤時代;木村元;堀田昌寛;小澤正直
• 通讯作者: 小澤正直