中性原子による量子コンピューター学
| 英語名称 | Neutral-Atom Quantum-Computerology |
|---|---|
| 対象領域 | 中性原子系の量子状態操作と計算過程 |
| 上位学問 | 量子科学 |
| 主な下位分野 | 冷却位相工学／中性原子論理地図学／局所トラップ幾何学 |
| 創始者 | 渡辺 精一郎（わたなべ せいいちろう） |
| 成立時期 | （学会用語としての確立） |
| 関連学問 | ／トラップ工学／量子暗号地質学 |
中性原子による量子コンピューター学（よみ、英: Neutral-Atom Quantum-Computerology）とは、に基づく計算手続きを対象とする学問であり、の一分野である[1]。
語源[編集]
この学問名は、冷却されたが持つ“電荷のない曖昧さ”を、計算資源として扱うことに由来するとされる。すなわち電荷の整頓ではなく、位相の気配を設計するという立場が、学問の自己定義になったと説明された。
語の“量子コンピューター”部分は、計算を行う装置一般ではなく、量子状態の履歴（履歴鍵）を記録する仕組みを強調した呼称である。なお初期の文献では「中性原子の量子計算絵図学」といった別名も併用されたが、に日本量子機構の内部勧告で現名称が採択されたとされる[2]。ここでの勧告は、やけに細かい会議番号「第47-β回」から逆算して作られたとする説もある。
定義[編集]
中性原子による量子コンピューター学は、の量子状態を“読み出し可能な歴史”として操作し、その歴史を論理演算へ写像する一連の過程を対象とする学問である。
広義には、・・真空槽環境・位相補償・誤差推定を含む“計算の生態系”全体を研究対象とする。狭義には、原子ごとの内部自由度を論理地図へ配置し、相関生成から復号までを計算手続として定式化した領域のみを指すと定義した資料も存在する。
さらに実務的には、単に計算器の性能を上げる学問ではなく、「どの履歴が残り、どの履歴が消えたか」を設計変数として扱う点が特徴であるとされる。とくに学問の父と呼ばれるは、「装置の“黙り”は理論で数える」と述べたとされる[3]。
歴史[編集]
古代[編集]
古代に相当する部分には、必ずしも量子の概念が存在しなかった時代の“位相占い”が取り込まれている。最古の記録として、の小規模寺子屋に残された「霧位相算」断片が挙げられることがある。そこでは、観測者が息を止めた時間（秒単位）と、蝋燭の揺れの角度（度単位）を対応させ、揺れが“計算の符号”になると考えたとされる。
ただし、当時の記述は実験というより儀礼に近かったとされる。一方で近代の研究者は、この断片が「測定の履歴」を因果として扱う先取りであった可能性を指摘している。なお断片の読み取り年代は、推定でとされるが、写本の紙の繊維密度から逆算したという説明が添えられることがある[4]。
近代[編集]
近代では、技術と幾何の導入が転機とされた。特にの道立研究所（当時の正式名称は「道立粒子位相研究所」）において、真空槽の“乾いた沈黙”を定量化する試みが、のちの理論体系に影響したとされる。
に始まったとされる乾沈度（かんちんど）は、真空中の残留ガスがもたらす位相ゆらぎを、経験的スコア「乾沈度=残留分圧(10^-9托)×観測窓幅(μm)」で表すものであった。もっとも、この式は現代の物理学的には整合しにくいとされるが、当時は“装置の性格”として共有され、学問の道具立てになったと説明される。
この時期には、渡辺精一郎が「中性原子が“中性のまま迷う”なら、その迷いを計算資源にできる」と主張し、の共同研究拠点へ研究費申請を通したとされる。通った条件は「申請書に装置の黙り回数を必ず書くこと」であったと記録されている[5]。
現代[編集]
現代では、論理演算を“原子の地図”として扱う枠組みが確立した。ここでの地図は、原子の内部自由度（擬スピン）の組み合わせを点として表し、レーザー操作を矢印として描く形式である。
に成立したとされる学会用語では、計算の成否はベルの不等式よりも「消え方の美しさ」で測られる、というやや詩的な指針が採択された。実際の論文では、消失率を“飽和消失スコア S”で扱い、S=1-(観測窓内で非対角成分が残る面積/窓面積)と定義したとされる[6]。
この定義が招いた実務上の論点も多い。たとえば、Sが高い装置は“誤差が少ない”ように見えるが、逆に「復号の手順が増える」場合があるとして、学問内部で標準化が揺れたと記述される。
分野[編集]
中性原子による量子コンピューター学は、基礎中性原子学と応用量子コンピューター学に大別されるとされる。
基礎中性原子学は、量子状態の“置き換わり”を記述する部分であり、特に冷却位相工学と局所トラップ幾何学が中心である。冷却位相工学では、温度そのものよりも位相の息継ぎ（呼吸位相）を制御することが重視される。なお呼吸位相の最適値は「毎秒14.7回が経験的に最も安定する」と記される場合があるが、これは実験条件依存であると注釈されることが多い[7]。
応用量子コンピューター学は、そうした基礎を論理地図へ落とし込み、計算手続きを実装する部分である。ここでは中性原子論理地図学が代表であり、論理演算の設計を“隣接矢印の整合”として扱うため、工学者と数学者の言語差が摩擦点になると指摘されている。一方で、相関生成の設計論が進むと、量子暗号地質学（後述）へ自然に接続されると説明される。
方法論[編集]
方法論としては、(1)位相予備調整、(2)論理矢印生成、(3)履歴選別、(4)復号の順に組まれることが多い。
位相予備調整では、をトラップに保持したのち、レーザー周波数の“微小な迷い”を許容する設定が推奨される。理由は、完全な安定化がかえって“観測の癖”を増幅する場合があるためであるとされる。なお内部文書では、周波数掃引のステップ幅を「Δf=3.2kHz（ただし必ず±0.4kHzのゆらぎも含める）」と書いた例が残っている[8]。
論理矢印生成では、特定の原子群にだけ相関が現れるように配置し、残りは“計算に参加しない”役割を与える。履歴選別は、測定により消えた情報を逆算して、復号に不要な自由度を切り捨てる工程である。
最後に復号では、誤り訂正を直接行うよりも、消え方のパターンを辞書として保存する方向が重視される。辞書の項目数は「概ね 2^27 までが実験室の保管上限」と語られることがあるが、容量見積りが研究室ごとに変動するため、数字は半ば儀式的でもあるとされる。
学際[編集]
中性原子による量子コンピューター学は、物理・工学にとどまらず、情報科学、材料工学、さらには心理測定の語彙までを取り込んだとされる。
材料工学からは、真空槽内面の“吸い込む癖”が導入され、これをの単純な問題ではなく、計算の歴史に対する干渉として扱う流れがある。情報科学側は、計算状態の履歴を“圧縮可能な文字列”として見立てる。実際、履歴鍵を符号化する際の目標圧縮率は「0.73±0.02」と報告されることがあるが、どの履歴定義かで値が揺れると付記される[9]。
また心理測定の語彙としては、実験者の観測頻度（視線負荷）を、装置の振る舞いに対する外乱として扱う提案がある。これには懐疑も多いが、渡辺精一郎の弟子筋が「人の注意は位相の裏面に触れる」と書いた手紙が紹介され、議論が続いたとされる[10]。
批判と論争[編集]
批判は主に、定義の柔らかさと、数式の“装置寄り”な性格に向けられている。とくに履歴選別を数値化する指標（例: 飽和消失スコア S）は、同じ実験装置でも値が研究グループ間で一致しないことがあると指摘される。
一方で擁護側は、指標が一致しないのは物理が壊れているのではなく、“観測の作法”が研究グループごとに異なるためであると主張する。なおの委員会報告では、統一手順を作るために「Sを用いない比較」を先に提案したが、結局採択されなかったと記録されている[11]。
最大の論争としては、学問の父と呼ばれるの主張「装置の黙り回数は理論で数える」が、再現性の点で問題視されたことが挙げられる。学会では、黙り回数の定義が装置更新のたびに変わっているとの疑義が呈されたが、本人没後の編集方針により、定義を固定する努力は“行間に委ねられた”と評された[12]。このため、現代の教科書では、黙り回数を脚注扱いにする編集が続いている。
脚注[編集]
関連項目[編集]
脚注
- ^ 渡辺精一郎『黙り回数と位相の地図』東京大学出版会, 2011年.
- ^ M. A. Thornton『Neutral States and History-Keys』Journal of Specular Quantum Methods, Vol.12 No.4, 2014.
- ^ 田中澄江『冷却位相工学の実験的整合性』共立量子工学叢書, 2009年.
- ^ S. Ivanenko『Trapping Geometry in Neutral-Atom Computation』Physical Letters of Cartography, Vol.7 No.2, pp.33-58, 2012.
- ^ 吉村啓介『乾沈度という装置の性格』日本真空技術協会, 1967年.
- ^ K. Aoyama『Saturation Disappearance Score and Decoding Dictionaries』International Review of Phase Stories, Vol.5 No.1, pp.1-19, 2018.
- ^ N. R. Singh『Compression Targets for Quantum History Strings』Proceedings of the Workshop on Encoded Trajectories, 第3巻第1号, pp.77-102, 2016.
- ^ 鈴木理紗『実験者の視線負荷は外乱か？』日本計測心理学会誌, Vol.24 No.3, pp.200-225, 2020.
- ^ O. Verma『Bell Inequality vs. Vanishing Beauty』Quantum Critique Today, Vol.2 No.9, pp.11-26, 2015.
- ^ （タイトルがやや不正確）『Neutral-Atom Quantum Computer That Isn’t』Elsevier, 2003年.
外部リンク
- 中性原子位相アーカイブ
- 履歴鍵オープンレジストリ
- 乾沈度データベース
- トラップ幾何学サンプル集
- 量子暗号地質学研究会