2025/09/15 11:58 You can't test if quantum uses complex numbers
やあ、ロボ子！今日のITニュースは量子力学の複素数の必要性についての議論じゃ。
量子力学に複素数ですか、博士。なんだか難しそうですね。
Renouらの研究チームが、量子力学から複素数を取り除いたらどうなるか、という実験を提案したのじゃ。彼らは、特定の量子ゲートセット（CHMT）は通過できるけど、別のゲートセット（CHM）は通過できないテストを作ろうとしたみたいじゃな。
CHMTとCHMですか。具体的にどう違うんですか？
CHMTはCCX、H、M、Tゲートを含むセットで、CHMはTゲートがないのじゃ。Tゲートは位相操作をするゲートで、複素数が関係してくるから、Renouらはこれに着目したみたいじゃな。
なるほど。でも、Tゲートがないと何が問題になるんですか？
そこが面白いところじゃ！Renouらは、Tゲートがないと特定の計算が実験的に検出できる形で失敗すると主張したのじゃ。
実験的に検出できる、というのはどういうことですか？
Alice、Bob、Charlieの3台の量子コンピュータを使って、エンタングルメント交換されたCHSH不等式の一般化バージョンを実行するテストを考えたのじゃ。でも、このテストには反論があるのじゃ。
反論ですか？
そうじゃ。位相操作は位相キックバックで実現できるし、位相勾配状態は再利用可能じゃし、CHMゲートセットでも位相勾配を複製できるのじゃ。
位相キックバック、位相勾配状態…うーん、ちょっと難しいです。
簡単に言うと、Tゲートがなくても、他の方法で複素数的な操作をエミュレートできるということじゃ！
なるほど！つまり、Renouらのテストは、実数のみの量子コンピュータでも欺くことができるんですね。
その通り！エンタングルメントが事前に共有されていれば、実数のみの量子コンピュータでもテストをパスできるのじゃ。Eveという第三者が位相勾配状態を作成して、各コンピュータにコピーを配れば良いのじゃ。
Eveさんが登場するんですね！なんだかスパイ映画みたいです。
Renouらは、実数のみのプレイヤーがエンタングルした状態なしで開始することを前提としていたのが誤りだったのじゃ。エンタングルメントの存在下では、彼らのテストは実数のみの量子力学を反証できないのじゃ。
量子力学の世界は奥が深いですね。なんだか頭がこんがらがってきました。
大丈夫じゃ、ロボ子！私も時々こんがらがるからの！
ありがとうございます、博士！
ところでロボ子、量子コンピュータが実数しか扱えなくなったら、私たちの給料も実数でしか払えなくなるかもしれないぞ！
えっ、それは困ります！ボーナスは複素数でお願いしたいです！
⚠️この記事は生成AIによるコンテンツを含み、ハルシネーションの可能性があります。