量子チューリング機械の停止問題に関する研究
量子チューリング機械の停止問題に関する研究
批准号:
10874016
负责人:
小澤 正直
金额:
$0.83万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for Exploratory Research
财政年份:
1998
资助国家:
日本
项目状态:
已结题
起止时间:
1998 至 1999
中文摘要
点击翻译按钮获取中文摘要
英文摘要
量子チューリング機械の停止問題に関する数理科学的研究を行なった結果、次の研究成果を得た。1.量子Turing機械の局所遷移関数の特徴付けを与え、準備、測定、停止のためのプロトコルを考察した。停止qビットを付加しない新しい停止プロトコルのもとで、計算を乱さずに停止を確認できることを証明した。2.量子Turing機械の停止問題を解決するために、Deutschの提案したHalting protocolを精密化して、量子計算完了を確認するためのHalting flagの測定が状態を乱すにもかかわらず、計算結果の確率分布を乱さないことを証明した。3.Halting flagをもたない一般の量子Turing機械に対して、経路に即した計算確率というものを新たに定義し、任意の量子Turing機械に対して、多項式時間のオーバーヘッドでその計算確率を再現し、適正なHalting flagをもつ量子Turing機械が構成できることとを示した。4.以上の、結果を利用して、これまでいくつかの文献で唱えられたことに反して、適正なHalting flagをもつ万能量子Turing機械が構成できることを示した。
期刊论文(3)
专著(0)
科研奖励(0)
会议论文
小澤正直: "Local Transition Functions of Quantum Turing Machines"京都大学数理解析研究所講究録. 1100. 168-181 (1999)
小泽正直:“量子图灵机的局域转换函数”京都大学数学科学研究所 Kokyuroku。1100. 168-181 (1999)
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
H.Yamashita: "Nonstandard Representations of the Canonical Commutation Relations"Rev.Math.Phys.. (印刷中). (2000)
H.Yamashita:“规范交换关系的非标准表示”Rev.Math.Phys..(出版中)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
M.Ozawa: "Entanglement measures and the Hilbert-Schmidt distance"Phys.Lett.A. (印刷中). (2000)
M.Ozawa:“纠缠测量和希尔伯特-施密特距离”Phys.Lett.A(出版中)。
DOI:
--
发表时间:
期刊:
影响因子:
--
作者:
[]
通讯作者:
量子インストルメント理論の新展開
-
批准号:22K03424
-
项目类别:Grant-in-Aid for Scientific Research (C)
-
资助金额:$2.58万
-
财政年份:2022
-
负责人:小澤 正直
-
依托单位:
セキュア量子情報通信の基礎研究
-
批准号:15F15015
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.47万
-
财政年份:2015
-
负责人:小澤 正直
-
依托单位:
相対論的量子測定理論及び相対論的量子情報理論の研究
-
批准号:13F03757
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.47万
-
财政年份:2013
-
负责人:小澤 正直
-
依托单位:
量子測定の量子情報理論的研究
-
批准号:12F02019
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.47万
-
财政年份:2012
-
负责人:小澤 正直
-
依托单位:
量子測定・不確定性原理・弱値の研究
-
批准号:12F02320
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.09万
-
财政年份:2012
-
负责人:小澤 正直
-
依托单位:
量子集合論の研究と量子論的様相解釈への応用
-
批准号:20654010
-
项目类别:Grant-in-Aid for Challenging Exploratory Research
-
资助金额:$2.11万
-
财政年份:2008
-
负责人:小澤 正直
-
依托单位:
量子集合論の研究と量子情報理論への応用
-
批准号:18654016
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$2.11万
-
财政年份:2006
-
负责人:小澤 正直
-
依托单位:
不確定性原理の再定式化と量子情報数理解析学の構築
-
批准号:15654014
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$2.18万
-
财政年份:2003
-
负责人:小澤 正直
-
依托单位:
量子計算量理論における量子オラクルの研究
-
批准号:12874015
-
项目类别:Grant-in-Aid for Exploratory Research
-
资助金额:$1.34万
-
财政年份:2000
-
负责人:小澤 正直
-
依托单位:
無限小解析学の数理物理学への応用
-
批准号:06640305
-
项目类别:Grant-in-Aid for General Scientific Research (C)
-
资助金额:$1.09万
-
财政年份:1994
-
负责人:小澤 正直
-
依托单位:
重力波検出器の量子力学的検出限界に関する理論的研究
-
批准号:03250206
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$0.38万
-
财政年份:1991
-
负责人:小澤 正直
-
依托单位:
ブール代数値解析学の研究
-
批准号:61740075
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.64万
-
财政年份:1986
-
负责人:小澤 正直
-
依托单位:
函数解析的方法による量子情報理論の研究
-
批准号:X00210----574083
-
项目类别:Grant-in-Aid for Encouragement of Young Scientists (A)
-
资助金额:$0.54万
-
财政年份:1980
-
负责人:小澤 正直
-
依托单位: