[論文レビュー] Affine Rank Minimization is ER Complete

Angshul Majumdar|arXiv (Cornell University)|Feb 15, 2026

Polynomial and algebraic computation被引用数 0

ひとこと要約

この論文は、固定秩界限をもつAffine Rank Minimization問題（ARM(k)）が存在実数理系（ER）の決定可能性の完全性を持つことを示す。すでにARM(3)はER完結であり、秩3のガジェットと規格化された単一行列変数を用いた多項式時間還元によってETRからの還元で示される。

ABSTRACT

We study the decision problem Affine Rank Minimization, denoted ARM(k). The input consists of rational matrices A_1,...,A_q in Q^{m x n} and rational scalars b_1,...,b_q in Q. The question is whether there exists a real matrix X in R^{m x n} such that trace(A_l^T X) = b_l for all l in {1,...,q} and rank(X) <= k. We first prove membership: for every fixed k >= 1, ARM(k) lies in the existential theory of the reals by giving an explicit existential encoding of the rank constraint using a constant-size factorization witness. We then prove existential-theory-of-reals hardness via a polynomial-time many-one reduction from ETR to ARM(k), where the target instance uses only affine equalities together with a single global constraint rank(X) <= k. The reduction compiles an ETR formula into an arithmetic circuit in gate-equality normal form and assigns each circuit quantity to a designated entry of X. Affine semantics (constants, copies, addition, and negation) are enforced by linear constraints, while multiplicative semantics are enforced by constant-size rank-forcing gadgets. Soundness is certified by a fixed-rank gauge submatrix that removes factorization ambiguity. We prove a composition lemma showing that gadgets can be embedded without unintended interactions, yielding global soundness and completeness while preserving polynomial bounds on dimension and bit-length. Consequently, ARM(k) is complete for the existential theory of the reals; in particular, ARM(3) is complete. This shows that feasibility of purely affine constraints under a fixed constant rank bound captures the full expressive power of real algebraic feasibility.

研究の動機と目的

• 純粋なアファイン有効性を、低い固定秩制約を持つ標準的な実代数問題としてモチベーション付ける。
• ARM(k)のER内での正確な複雑性を決定する。
• アファイン入力と定数秩の制限があっても、ARMが実代数的有効性の全表現力を捉えることを示す。
• ETRからARM(3)への多項式時間還元の概要を提供し、所属と難易度の結果を確立する。

提案手法

• U ∈ R^{m×k} および V ∈ R^{k×n} によるランク因数分解 X = UV を用いて低秩制約を符号化し、ARM(k) ∈ ExistsR を示す。
• アファイン制約 ⟨Aℓ, X⟩ = bℓ を、X = UV を代入して多項式等式（U,V に対して次数2）へ変換する。
• ETR から ARM(3) への算術回路制約、単一行列 X の特定のエントリ、秩-3 ガジェットを用いて非線形意味論を特異行列の障害として強制することで ∃R-hard を証明する。
• 因子分解の非一意性を除去し、回路変数のデコードを整然と行うために、完全秩の3×3部分行列を固定するゲージ固定技術を用いる。
• 回路の意味論をゲートごとにアファイン制約へ編成し、設計済みエントリを回路のワイヤの担い手として用いる。
• 次元とビット長の多項式境界を保つよう、組み合わせ・ガジェット埋め込みフレームワークを提供し、非意図的な相互作用を排除する。

Figure 1 : Determinant-forcing multiplication gadget. The $2\times 2$ block is combined with the fixed $3\times 3$ gauge block; any violation of $z=xy$ induces a nonzero $4\times 4$ determinant.

実験結果

リサーチクエスチョン

• RQ1 固定 k に対して ARM(k) は ER において決定可能か？
• RQ2 アファイン入力と1つの秩制約を用いたETRからの還元で ARM(k) を ER-hard に示せるか？
• RQ3 ARM(3) はすでに ER-complete に達しており、多項式サイズ・ビット長管理の還元でその難易度を保存できるか？
• RQ4 固定秩界束の下で、非線形関係をアファイン制約のみでどう強制できるか？
• RQ5 秩-3因数分解全体で設計済みエントリのデコードを一貫させるガジェットは何か？

主な発見

• ARM(k) は任意の固定 k≥1 に対して ExistsR に属する。
• ARM(3) は ∃R-hard であり従って ∃R-complete。
• ETR から ARM(3) への還元は算術回路等式形と秩-3 ガジェットを用いて乗算などの非線形意味論を強制する。
• ゲージ固定技術により3×3の部分行列を固定して因数分解のあいまいさを排除し、各回路変数のデコードを整然と保つ。
• 還元は多項式的に境界付けられた次元とビット長の ARM のインスタンスを出力する。
• 主な結果は、固定定数秩のアファイン制約下の有効性が実代数的有効性の全表現力を捉えることを確立する。