技術的概要：テンソル積ヒルベルト空間上の非可逆対称性と量子セルラーオートマトン

1. 問題提起

本論文は、テンソル積ヒルベルト空間上における $(1+1)$ 次元の融合圏的対称性の実現について取り扱う。連続体場の理論は、有限な一般化された内部対称性をユニタリ融合圏を通じて記述するが、格子実現には根本的な障害が存在する：融合圏的対称性が、対称性演算子によって融合則の直接表現を形成する「厳密に（strictly）」テンソル積ヒルベルト空間上で実現可能であるのは、その圏が整数的（integral）（すべての単純対象が整数量子次元を持つ）である場合に限られることが、最近証明された。

多くの物理的に重要な圏、例えばアイシング圏や非平方の群位数を持つタムバラ・ヤマガミ圏などは、非整数的（non-integral）である。しかし、経験的証拠は、対称性演算子が量子セルラーオートマトン（QCA）（格子移動など、有限の伝播速度を持つユニタリ演算子）と「混合」することを許容すれば、これらの対称性がテンソル積格子上で実現可能であることを示唆している。これにより、以下のような修正された融合則が導かれる：
$$D_x D_y = \sum_{z} U^z_{xy} D_z$$
ここで、$U^z_{xy}$ は QCA 精細化を無視した場合に単位演算子に帰着する QCA である。

本論文は、以下の 2 つの中心的な問いを検証する：

1. 制約： QCA 精細化された実現が与えられたとき、圏論的データは QCA $U^z_{xy}$ の指数にどのような制約を課すか？
2. 存在： 弱整数性（すべての単純対象の量子次元の二乗が整数であること）という条件は、テンソル積ヒルベルト空間上で QCA 精細化された実現を許容する融合圏にとって十分か？

2. 手法

著者らは、欠陥ヒルベルト空間に関する物理的仮定、QCA に対する指数理論、および明示的な格子モデルの構築を組み合わせる。

2.1 物理的仮定と指数理論

著者らは、[51] で確立された枠組みに従い、欠陥ヒルベルト空間の構造と対称性演算子の振る舞いに関する一連の物理的仮定（仮定 1–5）を採用する。

• 欠陥ヒルベルト空間： 任意の対称性演算子 $D_x$ に対して、有限領域内の局所ヒルベルト空間を修正することで得られる左（$H^l_x$）および右（$H^r_x$）の欠陥ヒルベルト空間が存在する。
• 次元と指数： 左次元（$ldim$）と右次元（$rdim$）を定義し、演算子に対する**格子量子次元**（$qdim_{lat}$）と**指数**（$ind$）を導出する。QCA $U$ に対して、指数はグロス・ネスメ・フォグツ・ヴェルナー（GNVW）指数に対応する。
• 均質性： 重要な仮定として、指数は融合チャネル全体で均質であることが挙げられる。すなわち、$D_x D_y = \sum D_z$ である場合、和に含まれるすべての $z$ に対して $ind(D_z)$ は一定である。

これらの仮定を用いて、著者らは弱整数性予想の物理的証明を提供する：QCA 精細化された実現を許容する任意の融合圏は、弱整数的でなければならない。彼らは、格子量子次元が圏論的量子次元と一致しなければならないことを示し、量子次元の二乗が整数でなければならないことを意味する。

2.2 格子モデルの構築

逆（すべての弱整数圏がそのような実現を許容する）を証明するために、著者らは特定の格子モデルを構築する。

• 任意子鎖の一般化： 彼らは、通常 $(\mathcal{C}, \mathcal{M}, \rho)$ という三つ組で定義される任意子鎖モデルを利用する。整数的圏の場合、正規対象 $\rho = R = \bigoplus d_x x$ を選択することで、テンソル積ヒルベルト空間が得られる。
• 弱整数的適応： 弱整数圏 $\mathcal{C} = \bigoplus_{g \in E} \mathcal{C}_g$（群 $E \simeq \mathbb{Z}_2^r$ によって次数付けられる）の場合、標準的な正規対象は単一のテンソル積空間を与えない。代わりに、鎖はセクター $H_g$ に分解する。
• 逐次回路： 著者らは、次数付きセクター $g$ のヒルベルト空間を自明なセクター $H_0$ に写す逐次回路（鎖の下部から作用するユニタリ演算子）$U_g: H_g \to H_0$ を導入する。
• 修正された対称性演算子： 物理的対称性演算子は $\tilde{D}_x = U_g \circ D_x$（ここで $x \in \mathcal{C}_g$）として定義される。この修正により、演算子が単一のテンソル積ヒルベルト空間 $H_0$ 内で作用することが保証される。
• QCA 精細化： これらの演算子の合成は、融合則において自然に QCA 精細化 $U_{(g,h)} = U_g U_h U_{gh}^{-1}$ を生成する。

2 つの構築法が提供される：

1. 構築法 1： 量子次元の整数部が 1 に等しい特定の対象が存在する圏に適用される（例：平方自由な $M$ を持つメタプレクティック圏、平方自由な $|A|$ を持つタムバラ・ヤマガミ圏）。
2. 構築法 2： 修正された入力対象 $\rho = \dim(\mathcal{C}_0) R_0$ を利用する、任意の弱整数圏に適用可能な均一な構築法。

3. 主要な貢献と結果

結果 1：指数への制約

著者らは、提示された物理的仮定の下では、任意の QCA 精細化された実現における QCA $U^z_{xy}$ の指数は、対称性演算子の再定義（アンシラ QCA との積み重ね）を除いて、圏論的データによって一意に決定されることを証明する。

• 具体的には、$x \in \mathcal{C}_g$ および $y \in \mathcal{C}_h$ に対して、融合則に現れる QCA $U_{(g,h)}$ の指数は以下の通りである：
  $$ind(U_{(g,h)}) = \frac{m_g m_h}{m_{gh}} \sqrt{\frac{n_g n_h}{n_{gh}}}$$
  ここで、$n_g$ は次数付けに関連する平方自由な整数であり、$m_g$ は再定義の自由度によって決定される有理数である。
• これにより、QCA による「混合」は恣意的なものではなく、圏の構造によって固定されるものであることが確立される。

結果 2：存在定理

著者らは、任意の弱整数融合圏がテンソル積ヒルベルト空間上で QCA 精細化された実現を許容することを証明する明示的な格子モデルを構築する。

• 定理 1.1： 任意の弱整数融合圏的対称性は、テンソル積ヒルベルト空間上で QCA 精細化された実現を許容する。
• 構築されたモデルは、QCA 精細化が次数セクター $g, h$ のみに依存する「標準的（canonical）」な実現をもたらす。
• 著者らは、格子モデルにおける QCA の指数を明示的に計算し、それらが結果 1 の予測と一致することを検証することで、物理的仮定の一貫性チェックを提供する。

応用：タムバラ・ヤマガミ圏

一般的な構築法は、**タムバラ・ヤマガミ（TY）**圏に適用される。

• $|A|$ が完全平方数でない TY 圏 $TY(A, \chi, \epsilon)$ に対して、著者らは明示的な QCA 精細化された実現を提供する。
• 非可逆対象 $m$ の融合則は以下のように導かれる：
  $$D_m^2 = T \sum_{a \in A} D_a$$
  ここで、$T$ は格子移動（非自明な QCA）である。これは既知のアイシングの場合（$A=\mathbb{Z}_2$）を回復し、任意のアーベル群に一般化する。

4. 意義と主張

本論文は、QCA を除くテンソル積格子における非可逆対称性の実現可能性に対する完全な回答を提供すると主張する。

• 必要性： 弱整数性予想を強化し、実現が存在するならばその圏は弱整数的でなければならないことを示す。
• 十分性： 逆を証明し、弱整数性がそのような実現に対する唯一の障害であることを示す。
• 標準的構造： この作業は、群の射影表現が群コホモロジーによって分類されるのと同様に、QCA 指数が圏によって固定されるような、これらの実現の「標準的（canonical）」な形式を特定する。
• 物理的洞察： 本論文は、クラマース・ワニエ双対性や同様の対称性に対する新たな視点を提供し、それらを標準的な任意子融合演算子と、結果として生じる状態をテンソル積空間に写す逐次回路（QCA）との積として解釈する。

著者らは、弱整数性予想が特定の物理的仮定の下で証明されたものの、これらの仮定を第一原理（例えば、対称性演算子を量子チャネルとして厳密に定義することなど）から導出することは、今後の研究の課題として残されていると指摘する。しかし、確立された枠組み内では、本論文は弱整数性と QCA 精細化された実現可能性の間の「必要十分条件」関係を確立する。