[論文レビュー] Bridging Commutant and Polynomial Methods for Hilbert Space Fragmentation

Bo-Ting Chen, Yu-Ping Wang+1 more|arXiv (Cornell University)|Jan 1, 2026

Quantum Computing Algorithms and Architecture被引用数 0

ひとこと要約

要旨：本研究は交換冗長代数（CA）と整数特性多項式因子分解（ICPF）法を結びつけ、Hilbert空間の断片化（HSF）を特定する。有理演算子ハミルトニアンの下でICPF ⪰ CA を証明し、両者が異なる場合を検討する。

ABSTRACT

A quantum model exhibits Hilbert space fragmentation (HSF) if its Hilbert space decomposes into exponentially many dynamically disconnected subspaces, known as Krylov subspaces. A model may however have different HSFs depending on the method for identifying them. Here we establish a connection between two vastly distinct methods recently proposed for identifying HSF: the commutant algebra (CA) method and integer characteristic polynomial factorization (ICPF) method. For a Hamiltonian consisting of operators admitting rational number matrix representations, we prove a theorem that, if its center of commutant algebra have all eigenvalues being rational, the HSF from the ICPF method must be equal to or finer than that from the CA method. We show that this condition is satisfied by most known models exhibiting HSF, for which we demonstrate the validity of our theorem. We further discuss representative models for which ICPF and CA methods yield different HSFs. Our results may facilitate the exploration of a unified definition of HSF.

研究の動機と目的

• 二つのHSF同定法：CAとICPFの関係を動機づけ formalizeする。
• 有理中心固有値を持つ有理演算子ハミルトニアンの下で、ICPFはCAと比べて等価またはより細分化を与えることを示す。
• ICPFとCAが一致する場合と異なる場合を特定し、ハミルトニアン係数依存性と基底構造との関係を示す。

提案手法

• HSFを定義し、CAとICPFの同定スキームを要約する。
• 補集合代数の中心がすべて有理固有値を持つ場合、ICPF ⪰ CA となる定理を証明する。
• 有理固有値条件の下でPλ射影が有理となり、全特性多項式の有理因子分解を可能にすることを示す。
• 部分順序関係を用いてモデル間のICPFとCAの断片化を比較する。
• 代表モデル（PF、TL、QB、FM）で数値解析により裏付ける。

実験結果

リサーチクエスチョン

• RQ1 有理演算子から構成されたハミルトニアンについて、CAとICPFから得られるHSFはどのように関連するか。
• RQ2 ICPFがCAと比べて等価またはより細分化を与える条件は何か、CAがより細かくなるのはいつか。
• RQ3 ICPFのKrylov基底はハミルトニアン係数に依存するか、これがCA–ICPFの一致度にどう影響するか。
• RQ4 代表モデルを横断して理論的な接続を検証できるか、統一されたHSF定義に与える示唆は何か。

主な発見

モデル	ハミルトニアン	交換子代数 C	Basis(Z)固有値	HSF順序	ICPF基底	ICPF CA
Pair-Flip	Eq. (9)	Abelian	Rational	ICPF = CA {Jη} independent	cHSF	cHSF
Temperley-Lieb	Eq. (10)	Non-Abelian	Rational	ICPF = CA {Jη} independent	qHSF	qHSF
Quantum Breakdown	Eq. (11)	Abelian	Rational	ICPF ≻CA	{Jη} dependent	qHSF, cHSF
Fibonacci matrix	Eq. (12)	Abelian	Irrational	ICPF ≺CA	{Jη} independent	cHSF, qHSF

• 有理演算子成分を持つハミルトニアンでは、中心固有値がすべて有理であれば、ICPF ⪰ CA（ICPFは等価またはより細分化）。
• 多くの既知のHSFモデルでは中心固有値が有理であり、PF、TL、QB、t-Jzの例で定理が成り立つことを検証。
• ICPF ≻ CA となるとき、少なくとも1つのICPF Krylov部分空間基底がハミルトニアン係数 {Jη} に依存する。
• PF、TL、t-Jzはハミルトニアン–基底（cHSF）断片化でICPF = CAを示すが、QBは係数依存のICPF部分空間（ICPF下のqHSF）でICPF ≻ CAを示す。
• FMモデルはBasis(Z)固有値が無理数となる反例を提供し、主定理の適用外となる。
• 本研究はCAとICPFの視点を関連づけ、パラメータ依存のKrylov部分空間を強調することで、統一的なHSF概念へ向かう道筋を示唆する。