Quantum randomness beyond projective measurements

あなたがコインを投げたり、サイコロを振ったりするように、真にランダムな数を生成しようとしていると想像してください。ただし、その結果が起きる前に、誰にも（量子コンピュータを持つ超優秀なハッカーでさえも）予測できないことを絶対に確実なものにしたいとします。量子物理学の世界では、自然そのものが本質的に予測不可能であるため、これは可能です。

この論文は、Fionnuala Curran によって執筆され、異なる種類の量子測定から「真の」ランダム性をどれだけ絞り出せるかを探求しています。量子測定を、量子状態（粒子）を受け取り、数字を吐き出す機械だと考えてみてください。目標は、最も予測不可能な数字を得るための最適な機械の設定を見つけることです。

以下に、日常の比喩を用いたこの論文の主要なアイデアの概要を示します。

1. 設定：予測不可能なコイン

古典物理学では、コインがどのように投げられたかを正確に知っていれば、表が出るか裏が出るかを予測できます。しかし、量子物理学では、設定についてすべてを知っていても、結果は依然として謎のままです。これを内在的ランダム性と呼びます。

ただし、すべての量子「機械」（測定）が同等に作られているわけではありません。いくつかは「極端」であり、より単純なランダムな混合に分解できない、最も基本的なタイプの機械であることを意味します。論文は問いかけます：これらの基本的な機械のうち、どれが最も多くのランダム性をもたらすのでしょうか？

2. 「偏った」サイコロ：勝つための不正

著者らはまず、**「偏った SIC（対称情報完全）測定」**と呼ばれる新しい測定ファミリーを導入します。

比喩： 1 から 6 までのすべての数字が出る確率が等しい標準的なサイコロを想像してください。それは「公平な」サイコロです。しかし、通常は 1 で止まるが、正しい角度で転がせば完全に公平になる、少し曲がった特別なサイコロを持っているとしたらどうでしょうか？
発見： これらの「偏った」測定は、特定の種類の量子状態（「純粋」状態）を入力すると、完全に均一でランダムな結果を生成するように設計されています。さらに良いことに、特定の種類の測定（SIC と呼ばれる）が存在する任意のサイズの量子システム（任意の次元）でこれを行うことができます。これは、装置依存の設定において最大限のランダム性（2 log d ビット）をどのように得るかというパズルを解決します。

3. 「偏りのない」サイコロ：公平に遊ぶ

次に、論文は**「偏りのない」**測定を検討します。これらは、完全にランダムな「ジャンク」状態を入力すると、すべての結果が等しい確率で起こる機械です。

比喩： 空間に浮かぶ正四面体（4 つの三角形の面を持つピラミッド）を考えてみてください。このピラミッドの頂点は、測定の可能な結果を表します。
発見： 著者らは簡単な規則を発見しました。得られるランダム性の量は、出発点となる量子状態がこのピラミッドの中心からどれだけ離れているかに依存します。
- 状態が真ん中にあれば、ランダム性は少なくなります。
- 状態が遠く離れていれば、ランダム性は多くなります。
- 彼らは、2 次元システム（量子ビット、または量子のビット）における任意の状態に対して、どれだけのランダム性が得られるかを正確に計算しました。

4. 「SIC」と「ハサミ」の対決

論文は、これらのピラミッド型の測定の 2 つの特定のタイプを比較します。

SIC（対称情報完全）測定： これは「完璧な」ピラミッドです。すべての面は同一であり、量子状態がどのようなものかマッピング（トモグラフィ）するための最良のツールです。
- 驚き： SIC は状態を「測定」する点では最良ですが、著者らは、偏りのない測定の中でランダム性を生成する点では実際には最悪であることを発見しました。それは、内在的ランダム性が「最も少ない」のです。まるで、非常に正確な定尺が、ランダムな数を生成するにはひどい道具であるようなものです。
「ハサミ」測定： 著者らは**「ハサミ」**と呼ばれる新しい測定ファミリーを考案しました。
- 比喩： ピラミッドの面がハサミの刃のようだと想像してください。1 つの角度を変えることで、刃を開いたり閉じたりできます。
- 発見： 「ハサミ」を「閉じる」（角度を変える）につれて、測定は「公平」でなくなり（偏りが増えます）が、理論的に可能な最大限のランダム性を生成する方向に近づいていきます。
- 彼らは、2 次元、3 次元、4 次元において、結果をあまり偏らせなくても、これらのハサミ測定を調整することで、理論的に可能な限り多くのランダム性にほぼ等しいものを得られることを示しました。

5. 全体像

この論文は、本質的に量子ランダム性の風景をマッピングしています。

偏った測定は、出発状態を知っていれば、絶対的な最大ランダム性をもたらすことができます。
偏りのない測定（ハサミファミリーなど）は、結果を偏らせる必要なく、その最大値に非常に近いものを得ることができます。
有名なSIC 測定は、他のタスクには優れていますが、実際には偏りのないグループの中で「最もランダムでない」ものです。

まとめ

この論文を、最も予測不可能なスロットマシンを作りたいカジノのオーナーのためのガイドブックだと考えてください。

彼らは、特定のプレイヤーに対して完全にランダムな「偏った」機械を構築する方法を見つけました。
彼らは「公平な」機械を分析し、最も対称的で完璧に見える機械（SIC）が実際には最もランダムでないことを発見しました。
彼らは、ほぼ完全にランダムになるように調整可能な新しい「ハサミ」機械を設計し、最高のランダム性を得るためにルールを破る（機械を偏らせる）必要はなく、角度を正しく調整するだけでよいことを証明しました。

論文は、2 次元システムに関する数学を完全に解明し、これらの新しい「ハサミ」ツールを用いてより高次元で最大ランダム性を達成するための道筋を提供することで結論付けています。

技術的概要：射影測定を超えた量子乱数

問題定義
量子測定の内在的な予測不可能性は、量子乱数生成（QRNG）のための基本的な資源である。敵対的なシナリオにおいて、この乱数の安全性は、測定装置と量子または古典的な相関を保持しうる盗聴者（イヴ）が、測定結果を正しく推測できないことに依存する。極値測定（他の測定の確率的混合に分解できない測定）は、そのような敵対者に対して安全であることが知られているが、特定の定量的な問いは未解決のままだ：与えられた極値測定によって、どれだけの内在的乱数を生成できるのか。

先行研究では、次元 $d$ で達成可能な最大条件付きミニエントロピー（乱数の尺度）は $2 \log d$ ビットによって上界付けられることが示された。しかし、特定の極値測定のクラス、特に無偏（unbiased）な測定によって生成される乱数を、任意の入力状態に対して特徴づけることは不完全なままであった。本論文は、無偏な極値ランク 1 の正演算子値測度（POVM）の内在的乱数に関する理解のギャップを埋め、特定の測定ファミリーが理論的最大値である $2 \log d$ ビットを飽和しうるかを探求する。

手法
著者らは、量子状態 $\rho$ と POVM $M$ の両方を完全に特徴づけたと仮定する、装置依存（device-dependent）の枠組み内で作業する。内在的乱数は、条件付きミニエントロピー $H_{\min}(\rho, M) = -\log P_{\text{guess}}(\rho, M)$ によって定量化される。ここで $P_{\text{guess}}$ は盗聴者の最適推測確率である。この確率は、状態 $\rho$ を純粋状態 $\{p_j, \rho_j\}$ に分解するすべての確率的分解に対する最大値として定義される：
$P_{\text{guess}}(\rho, M) = \max_{\{p_j, \rho_j\}} \sum_j p_j \text{tr}(\rho_j M_j).$

本論文では、いくつかの数学的ツールを採用している：

凸幾何学と忠実度：著者らは、推測確率を、入力状態と測定射影の凸包との間の量子忠実度に関連付ける。
半正定値計画法（SDP）：状態識別および推測確率に関する最適化問題は、SDP の双対性と Karush-Kuhn-Tucker（KKT）条件を用いて定式化・解決される。
ブロッホベクトル表現：量子ビット系（ $d=2$ ）において、分析は無偏な極値測定を明示的にパラメータ化し、最適状態を解くためにブロッホベクトル表記を利用する。
群共変性と対称性：本研究は、対称情報完全（SIC）測定の性質を利用し、それらから導出された新しい測定ファミリーを導入する。

主要な貢献と結果

1. 歪んだ SIC 測定と最大乱数
著者らは、「歪んだ（skewed）」SIC POVM のファミリーを導入する。標準的な SIC は無偏であり、最大混合状態から一様分布を生成するのに対し、歪んだ SIC は偏っている。しかし、この偏りにより、特定の純粋状態または等方的にノイズのある状態から一様確率分布を生成することが可能となる。

結果：著者らは、SIC 測定が存在する任意の次元 $d$ において、任意の純粋状態または等方的にノイズのある状態から、可能な最大内在的乱数（ $2 \log d$ ビット）を生成する歪んだ SIC 測定を構築できることを証明した。
意義：これは、情報完全（MICs）であるこれらの測定を用いることで、ソース装置非依存の設定における最大乱数の達成可能性に関する未解決の問題を部分的に解決するものである。

2. 一般次元における無偏極値測定
次元 $d$ における $n$ 個の結果を持つ任意の無偏極値ランク 1 POVM について、著者らは推測確率の一般式を導出した：
$P_{\text{guess}}(\rho, M) = \frac{d}{n} \max_{\sigma \in \mathcal{P}} F(\rho, \sigma),$
ここで $\mathcal{P}$ は測定射影の凸包であり、 $F$ は量子忠実度である。

下限：これにより、 $\log(n/d)$ ビットの状態に依存しない条件付きミニエントロピーの下限が導かれる。
厳密性：著者らは、 $n < d^2$ 個の結果を持つ無偏極値測定において、推測確率は厳密に $1/d^2$ より大きいことを証明した。つまり、結果に偏りを持たせたり、 $d^2$ 個の結果を使用したりしない限り、最大限界である $2 \log d$ ビットを飽和させることはできない。

3. 量子ビット（ $d=2$ ）測定の明示的解
本論文は、無偏極値量子ビット測定（2、3、または 4 個の結果を持つ）の完全な特徴付けを提供する。

パラメータ化：すべての無偏極値量子ビット MIC（4 個の結果）は群共変的であり、2 つの角度 $\delta$ と $\alpha$ によって記述できることが示された。
最適状態：著者らは、任意の与えられた無偏量子ビット MIC に対して推測確率を最小化する特定の純粋状態を特定した。これらの状態は、測定ベクトルによって形成される四面体の面に対する法線であることが判明した。
SIC と他者：直感に反する結果が提示された：4 個の結果を持つすべての無偏極値量子ビット測定の中で、量子状態トモグラフィに最適である SIC 測定は、最少の 内在的乱数を生成する。これは、最も高い推測確率（ $P_{\text{guess}} = \frac{1}{4}(1+l)$ 、ここで $l$ は SIC に対して最大化される）を持つためである。

4. 「ハサミ」ファミリーの測定
結果に偏りを持たせること（これは非極値または歪んだ測定を必要とする）なしに、最大乱数限界 $2 \log d$ ビットに近づくために、著者らは「ハサミ（scissors）」と呼ばれる 1 パラメータファミリーの測定を導入する。

量子ビット：次元 2 において、一般のパラメータ化で $\alpha=0$ と設定すると、 $\delta$ によってパラメータ化されるファミリーが得られる。 $\delta \to 0$ となるにつれて、測定は非極値限界に近づき、特定のノイズのある状態に対する推測確率は理論的最大値に近づく。
高次元：著者らはこの概念を次元 3 と 4 に拡張する。彼らは、Weyl-Heisenberg 演算子（ $d=3$ の場合）および特定の一般化（ $d=4$ の場合）を用いた無偏 MIC のファミリーを定義し、これらにはパラメータ空間の特定の点として SIC 測定が含まれる。パラメータが極限値に近づくにつれて、測定は非極値状態に近づき、 $2 \log d$ ビットに限りなく近い乱数を生成する。

意義と主張
本論文は、次元 2 における任意の状態に対して、無偏極値ランク 1 測定の内在的乱数を特徴づける問題を明示的に解決したと主張する。また、SIC 測定はトモグラフィに対して最適であるが、無偏 MIC 間では内在的乱数の生成に対しては最適ではないことを確立した。

主要な理論的貢献は、SIC が存在する任意の次元において、提案された歪んだ SIC 測定を利用すれば、装置依存の形で最大乱数（ $2 \log d$ ビット）を生成できることを示した点である。さらに、「ハサミ」ファミリーは、無偏測定を用いてこの最大乱数に近づく道筋を提供し、極値戦略と非極値戦略の間のギャップを埋める。これらの結果は、議論された測定の情報完全性により、ソース装置非依存のシナリオでも成り立つ。

著者らは控えめに結論付け、これらの測定を特徴づけたものの、高次元のハサミのようなファミリーが装置非依存の乱数生成に有用かどうか、またこれらの結果がノイズを含む現実的なシナリオでどのように適用されるかは、依然として未解決の問題であると指摘している。