[论文解读] Affine Rank Minimization is ER Complete

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

Polynomial and algebraic computation被引用 0

一句话总结

这篇论文证明，在固定秩上界的仿射秩最小化问题 ARM(k) 对实数可判理论（ER）是完备的，已经通过从 ETR 的多项式时间归约，利用秩-3 队列和一个基准定值的单矩阵变量，证明 ARM(3) 已经 ER-完备。

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) 在 Exists Real 内的确切复杂性。
• 即便输入为仿射且秩上界为常数，ARM 也能捕获实代数可行性的全部表达能力。
• 提供从 ETR 到 ARM(3) 的多项式时间归约轮廓，并确立成员性与困难性结果。

提出的方法

• 通过 X = UV 的秩分解将低秩约束编码为 U ∈ R^{m×k} 与 V ∈ R^{k×n}，以证明 ARM(k) ∈ ExistsR。
• 将仿射约束 ⟨Aℓ, X⟩ = bℓ 代换为 X = UV 后的多项式等式（在 U, V 中为二次项）。
• 通过将 ETR 归约到 ARM(3) 来证明 ∃R-硬性，使用算术电路约束、单一矩阵 X 的特定条目，以及秩-3 gadget，通过行列式阻碍强制非线性语义。
• 利用标定技巧将一个满秩的 3×3 子矩阵固定下来，以消除分解的非唯一性并确保对每个电路变量的解码是良定义的。
• 将电路语义逐门转换为带有指定条目的仿射约束，作为电路线的载体。
• 提供一个组合与 gadget 嵌入框架，确保没有非预期相互作用，并在维度和比特长度上保持多项式界。

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) 在 Exists Real 的可判定性吗？
• RQ2 是否可以通过对带仿射输入且单个秩约束的 ETR 归约来证明 ARM(k) 的 ER-硬性？
• RQ3 ARM(3) 是否已达到 ER-完备，且硬度能否通过多项式大小、比特长度可控的归约保持？
• RQ4 在固定秩界下，如何仅使用仿射约束来强制非线性关系？
• RQ5 哪些机制（gadgets）确保在秩-3 因式分解之间对指定条目的一致解码？

主要发现

• ARM(k) 对每个固定的 k≥1 属于 ExistsR。
• ARM(3) 是 ∃R-hard，因此是 ∃R-Complete。
• 从 ETR 到 ARM(3) 的归约使用算术电路等式形式及秩-3 gadget 来强制乘法等非线性语义。
• 一种标定技术将 3×3 子矩阵固定，以消除因式分解歧义并确保对每个电路变量的解码良定义。
• 归约输出的 ARM 实例在维度和比特长度上具有多项式界的界定。
• 主要结果表明，在固定常数秩的仿射约束下的可行性等价于实代数可行性的全部表达能力。