[논문 리뷰] Affine Rank Minimization is ER Complete

Angshul Majumdar|arXiv (Cornell University)|2026. 02. 15.

Polynomial and algebraic computation인용 수 0

한 줄 요약

본 논문은 고정된 랭크 한계(ARM(k))를 갖는 Affine Rank Minimization 문제의 ER(Existential theory of the reals) 완전성을 보이며, ARM(3)이 이미 ER-완전하다는 사실을 ETR에서의 다항 시간 환산과 랭크-3 가젯 및 게이지 고정된 단일 행렬 변수 사용으로 보인다.

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.

연구 동기 및 목표

• 순수한 선형-사실성 문제를 고정 저랭크 제약과 함께 고려하는 것이 실수 대수학적 문제의 표준적 사례로서의 타당성을 동기화한다.
• ER(Existential theory of the reals) 내에서 ARM(k)의 정확한 복잡도를 결정한다.
• 고정 랭크 한계가 있는 선형 입력을 갖춘 ARM이 실수 대수적 가능성의 전체 표현력을 포착하는지 보여준다.
• ETR에서 ARM(3)으로의 다항 시간 환산 개요를 제공하고 소속 및 난이도 결과를 확립한다

제안 방법

• X = UV로 랭크 인자화를 통해 U ∈ R^{m×k} 및 V ∈ R^{k×n}인 저랭크 제약을 인코딩하여 ARM(k) ∈ ExistsR임을 보인다.
• 아핀 제약 ⟨Aℓ, X⟩ = bℓ를 X = UV로 치환한 뒤 다항식 등식(차수-2 in U,V)으로 변환한다.
• ETR에서 ARM(3)로의 환산을 산술회로 제약, 단일 매트릭스 X의 지정된 엔트리, 그리고 비선형 의미를 determinant 장애물로 강제하는 랭크-3 가젯을 통해 증명한다.
• 풀 랭크인 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 ARM(k)가 고정된 k에 대해 ER 내에서 결정 가능(Decidable)한가?
• RQ2 고정 랭크 제약과 함께 affine 입력에서 ETR로부터의 환산으로 ARM(k)가 ER-hard임을 보일 수 있는가?
• RQ3 ARM(3)이 이미 ER-완전성에 도달하는가, 그리고 다항식 크기의 비트 길이 제어 환산으로 난이도를 보존할 수 있는가?
• RQ4 고정 랭크 한계 하에서 비선형 관계를 어떻게 선형 제약만으로 강제할 수 있는가?
• RQ5 랭크-3 분해를 통해 지정된 엔트리의 일관된 디코딩을 보장하는 기제(가젯)는 무엇인가?

주요 결과

• ARM(k)는 고정된 k≥1에 대해 ExistsR에 속한다.
• ARM(3)은 ∃R-hard이며 따라서 ∃R-완전하다.
• ETR에서 ARM(3)으로의 환산은 산술 회로의 등식 형식과 랭크-3 가젯을 사용하여 곱셈 및 기타 비선형 의미를 강제한다.
• 게이지 고정 기법은 3×3 부분행렬을 고정하여 분해 모호성을 제거하고 각 회로 변수의 디코딩을 잘 정의되도록 한다.
• 환산은 차원 및 비트 길이가 다항적으로 제한된 ARM 인스턴스로 출력한다.
• 주요 결과는 고정 상수 랭크 하에서의 선형 제약 하의 가능성이 실수 대수학적 가능성의 전체 표현력을 포착함을 확립한다