A remark on the Brown-Susskind conjecture

技術要約：ブラウン＝サスキンド予想に関する一考察

問題提起
本論文は、特定の量子ビットペアの集合から選択される固定数の2量子ビットゲートの積として構成可能な、$n$量子ビットユニタリ群（$U(2^n)$）の次元の増大について調査するものである。本研究は、局所的なランダム回路の量子複雑性は、システムサイズに応じた指数的な値に達するまで、ゲート数に対して線形に増大するというブラウン＝サスキンド予想の文脈に位置している。この予想は、[3]および[4]（およびZhi Liによる[4]の追加証明）において既に証明されているが、それらの研究は、固定された反復的なアーキテクチャ（例：階段型や車輪状のトポロジー）に依存している。本論文は、2量子ビットペアのシーケンスが、既定の再帰的パターンに従うのではなく、固定されたアルファベット $S$ 内で自由に進化する場合のシナリオに対処するものである。

手法および数学的枠組み
著者らは、到達可能なユニタリ集合の構造を分析するために、実代数幾何学およびリー群の道具を用いる。

1. グラフ理論による生成: 著者らは、ノードが量子ビットを表し、エッジが利用可能な量子ビットのペア（$S$）を表すグラフ $\Gamma$ を定義する。$\Gamma$ が連結であることと、2量子ビットゲートの劣群（$G_\alpha$）が完全なユニタリ群 $U(2^n)$ を生成することは同値であることを確立する。この証明は、$\Gamma$ が連結であれば、2量子ビットゲートによって生成されるリー代数がすべてのパウリ文字列を含み、したがって全代数をスパンすることを利用して、リー代数 $\mathfrak{u}(2^n)$ を用いて行われる。

2. 代数多様体および半代数集合: $k$ 個のゲートのシーケンスによって到達可能なユニタリ集合 $U_k$ は、構成写像 $F_k: G_{\alpha_1} \times \dots \times G_{\alpha_k} \to U(2^n)$ の像として定義される。著者らは、$U(2^n)$ およびゲートの劣群は実代数多様体であるが、像 $U_k$ は一般に（代数的な部分多様体ではなく）半代数集合（多項式の等式および不等式によって定義される有限個の集合の和集合）になることを指摘している。

3. Tarski–Seidenbergによる次元解析: 解析は、実代数多様体間の多項式写像の像が半代数集合であることを保証するタルスキ・ツェルンドーフの定理に基づいている。著者らは、可換閉包および代数集合の次元という概念を利用して、$U_k$ の増大を分析する。

主要な貢献および結果
中心的な結果は、回路構成の各ステップにおける到達可能集合の次元を扱う定理 1.1 である。

• 次元を増大させる選択肢の存在: この定理は、与えられた量子ビットペアのシーケンス $\tau = \alpha_1, \dots, \alpha_k$ について、結果として得られる集合 $U_k$ がまだ最大次元に達していない場合（すなわち $\dim(U_k) < \dim(U(2^n))$ の場合）、アルファベット $S$ から次のペア $\alpha_{k+1}$ を選択することで、$\dim(U_{k+1}) > \dim(U_k)$ となるような $\alpha_{k+1}$ が存在することを述べている。
• 証明メカニズム: 証明は背理法によって進められる。ある $U_k$ に対して、次元を増大させる $\alpha_{k+1}$ の選択肢が存在しないと仮定する。この仮定の下では、包含関係 $U_k \subseteq U_{k+1}$ は、両者が同じ次元を持つ既約な実代数多様体であるため、等号（$U_k = U_{k+1}$）を意味することになる。この等号は、$U_k$ がアルファベット内の任意の $G_{k+1}$ による右作用に対して不変であることを意味する。$S$ 内の劣群は $U(2^n)$ を生成するため、これは $U_k$ が群全体 $U(2^n)$ と等しいことを強制し、$U_k$ が最大ではないという当初の仮定に矛盾する。
• 既約性: 重要な補題は、実代数多様体 $U_k$ が既約であること（つまり、2つの固有なZariski閉集合の和集合として分解できないこと）を確立している。この性質は、等しい次元が集合の等価性を意味すると結論付けるために不可欠である。
• 非構成的な性質: 著者らは、次元を増大させる選択肢の存在を証明している一方で、次に用いるべき特定の量子ビットペア $\alpha_{k+1}$ を決定または構成する方法は分からないことを明示的に述べている。彼らは、適切な選択には最近使用されたエッジから「遠い」ペアが含まれる可能性があると推測しているが、これは未証明である。これは、次に来るゲートが既定である固定アーキテクチャを用いる[3]や[4]の研究とは対照的である。

特定事例：1パラメータ部分群
本論文はまた、ハミルトニアン $H_1$ および $H_2$ によって生成される2つの1パラメータ部分群に関する特定のケースを検討している。

• 予想 1 (Seth Lloydに帰属): もし $iH_1$ と $iH_2$ が歪エルミート演算子のリー代数を生成し、かつ部分群が周期的であるならば、$k \le 2^{2n}$ において、$k$ 個の積の集合の次元は正確に $k$ である。
• 支持: 著者らは、周期性の仮定の下では、これらの部分群は閉じた実代数多様体であると主張する。その結果、次元は各ステップで少なくとも1増加しなければならず（部分群間を切り替える必要があるため）、かつ1を超えて増加することはないため、増大は正確に線形的である。

意義および限界
本論文は、ゲートのシーケンスがまだ完全なユニタリ群に達していない場合、利用可能なアルファベットの中から、到達可能集合の次元を厳密に増大させる次のゲートが少なくとも一つ存在するという理論的保証を提供している。この結果は、到達可能集合の既約性と、基礎となる量子ビット相互作用グラフの連結性に依存している。

しかし、著者らは自身の構成能力の限界について明示的に述べている：

• 存在 vs 構成: 本論文は、次元を増大させる量子ビットペア $\alpha_{k+1}$ の存在を証明しているが、このペアを選択するためのアルゴリズムや手法は提供していないことを明確に述べている。著者らは、ヒューリスティックな選択として、最近使用されたエッジから「遠い」ペアを選択することが考えられると述べているが、これはあくまで推測の域を出ない。
• 先行研究との対比: 著者らは、この次のゲートを具体的にどのように選択するかという不確実性は、再帰的で固定されたアーキテクチャを用い、次のゲートが既定となっている[3]や[4]の研究には存在しないことを強調している。

要約すると、本論文は、自由に進化するアーキテクチャにおいて、到達可能集合の既約性と基礎となる量子ビット相互作用グラフの連結性に依拠することで、次元の増大が各ステップで可能であることを理論的に保証しているが、この増大を達成するための構成的な戦略については提示していない。