未知の量子操作を調べても、どの操作だったのか一つには決められない。それでも「少なくとも、この操作ではなかった」と確実に言えることがあります。正解を当てる代わりに、誤った候補を一つ外す。この違いを、量子状態を変える操作の一般的な表現である量子チャネルについて調べた理論論文が、2026年11月3日に公開されました。
Ardra Ajitha Vijayan氏とNidhin Sudarsanan Ragini氏の「Anti-distinguishability of quantum channels」は、候補が既知で、未知のチャネルを一度だけ使う場合の量子チャネルの排除を扱います。何を「確実に外せる」と呼ぶかを分け、その条件と、共通の雑音がある場合の限界を示したプレプリントです。量子装置を使った実験の報告ではありません。
簡単にまとめると？
- 操作を一つに特定できなくても、測定結果と両立しない候補を誤りなく外せる場合があります。
- 「どの結果でも何かを外せる」ことと、「どの候補にも外せる機会がある」ことは、候補が三つ以上なら別の条件です。
- すべての候補に同じ雑音チャネルが少しでも混ざるモデルでは、一度の使用による完全な排除はできません。小さな誤りを許す推定の有用性まで否定した結果ではありません。
四つの操作を、二つの測定結果で調べる
違いが見えやすいのは、一つの量子ビットに作用する四つのパウリ操作、I・X・Y・Zです。Iは状態をそのままにし、Xは0と1を入れ替えます。Zは重ね合わせの相対的な位相を変え、Yは入れ替えと位相変化を組み合わせた操作です。
入力を0の状態に固定すると、IとZの後では0、XとYの後では1が測定されます。Yの場合に付く全体の位相は、この測定結果を変えません。したがって、0が出てもIとZのどちらかは決められませんが、Xだった可能性とYだった可能性はともに消えます。1が出た場合は逆です。
| 測定結果 | 残る候補 | 確実に外せる候補 |
|---|---|---|
| 0 | I、Z | X、Y |
| 1 | X、Y | I、Z |
論文では、結果として「Xではない」のように一つの候補名を返す測定を考えます。この例なら、0が出たときはXとYから、1が出たときはIとZから、それぞれ半分の確率で外す候補名を選べます。選んだ候補名は、実際に作用した操作とは必ず違います。
ここで、候補名を無作為に選ぶことは、答えを当てずっぽうにすることとは異なります。測定によって不可能だと分かった二つの中から選ぶためです。また、どの候補名にも選ばれる機会があります。たとえば「Iではない」という結果は、実際の操作がXやYだったときに起こりえます。
この比較では、補助の量子ビットを使わない条件が大切です。四つの操作を一度で完全に見分けられないという話を、もつれた補助系まで使う場合へ広げることはできません。何が可能かは、用意する入力状態と、使える測定にも左右されます。
「何かを外せる」と「どの候補も外しうる」
論文は、完全な排除を二段階に分けます。弱い意味では、実際に得られるどの測定結果も、少なくとも一つの候補を確実に外せればよく、ある候補を外す結果が一度も出ない測定も含みます。強い意味では、それに加えて、すべての候補について、その候補を外す結果が別の候補のもとで起こりうることを求めます。
先ほどのパウリ操作の例で、0なら常に「Xではない」、1なら常に「Iではない」と答えるだけでも、答えは毎回正しいままです。ただし、その答え方ではYとZを名指しで外す機会がありません。外せる二候補から選ぶ段階を加えることで、強い意味の条件も満たせます。
強い排除でも、一回の結果で実際の操作が特定できるとは限りません。候補が二つだけなら、一つを外せば残りが正解ですが、三つ以上では残る可能性が複数あります。排除の「完全」は、正解をすべて知ることではなく、本当だった候補を誤って外さないことを指しています。
共通の雑音があると、確実さはなぜ崩れるのか
この確実さには、厳しい条件が伴います。論文が示したのは、各候補のチャネルに同じ雑音チャネルが正の割合で混ざると、弱い意味の完全な排除さえできなくなるという結果です。混ざる割合は候補ごとに違っていてもかまいません。
直感的には、どの候補を選んでも、ある小さな確率で同じ処理に置き換わってしまう状況です。たとえば共通の雑音が、入力を捨てて同じ状態を出す処理だとします。この処理が起きたとき、出力はどの候補からでも生じます。その結果を見て特定の候補を外すと、その候補が本当だった場合にも外してしまう可能性が残ります。
完全な排除では、起こりにくい結果も無視できません。雑音の割合を限りなく小さくしても、正である限り、厳密な誤りゼロという条件には届かないのです。論文はこの障害を、特定の入力に限らず、補助系を含む一度の使用の設定で示しています。
ただし、この結論を「雑音があれば量子操作を調べられない」と読むのは行き過ぎです。対象は、すべての候補に共通の雑音成分があるモデルと、誤りを一切許さない課題です。許容する誤り率を決めて候補を絞る方法や、何度も装置を使う方法の性能は、それぞれ別に評価する必要があります。
装置の検証に使うなら、何を比べるか
この研究から得られるのは、測定で知りたいことを分ける視点です。「どの操作かを言い当てたい」のか、「少なくとも特定の操作ではないと示したい」のかによって、必要な入力と測定は変わります。後者で十分な課題なら、完全な識別より弱い要求から検証を設計できる可能性があります。
一方、実機の検証へ進むには、まず候補となる操作のモデルがどこまで確かかを確かめる必要があります。そのうえで、チャネルを使う回数、補助系の有無、候補ごとの排除の機会、許容する誤りを同じ条件にそろえて比較します。有限回の実験で誤りを観測しなかったことは、モデルの上で確率が厳密にゼロだと示したこととは別です。
量子チャネルの排除は、見分ける能力を単に点数へ置き換える考え方ではありません。何を確実に否定でき、その確実さがどの仮定に支えられているかを、入力・測定・雑音まで含めて捉えるための枠組みです。
出典
- Ardra Ajitha Vijayan, Nidhin Sudarsanan Ragini, Anti-distinguishability of quantum channels, arXiv:2611.04105v1（2026年11月3日公開）。定義とパウリ操作の例は第II節・Example 1、共通雑音の限界はProposition 5、課題の範囲と今後の方向は第VII節。