Imagine you're reconstructing a mosaic from photographs taken at different angles. If you know the mosaic is flat (not 3D), you can skip some camera positions and still reconstruct the image perfectly — but only if the skipped angles don't create a blind spot where two different flat mosaics would look identical. This paper asks: for quantum states, which measurement angles can you skip without creating blind spots, and how do you check? The committed claim: for n-qubit systems (n ≥ 3), there is an exact, directly checkable combinatorial condition that certifies whether omitting a set of Pauli observables still permits unique pure-state reconstruction. The condition is beautiful in its simplicity — the omitted observables must contain no four distinct operators that pairwise commute and multiply to ±I. That's it. No optimization problem, no semidefinite program, no numerical search. The mechanism is algebraic. The authors derive their certificates from the fourth elementary symmetric polynomial of operators in the real span of the omitted Paulis. This quartic identity connects the uniqueness question (a geometric property of state space) to a combinatorial property of the Pauli group (whether certain four-element subsets exist). For three qubits, the condition is both necessary and sufficient for both UDP (unique among pure states) and UDA (unique among all states, including mixed). For larger systems, sufficiency is proven for UDA, with necessity for UDP left as future work beyond the 3-qubit case. The ladder here is prior work on pure-state tomography with restricted measurements — notably results by Heinosaari, Mazzola, and Wolf (2013) on UDP/UDA distinctions, and the broader literature on compressed sensing and low-rank recovery. The key advance is converting what was previously an existential/optimization question ("does there exist another state consistent with these measurements?") into a finite structural check ("do these four-operator subsets exist in the omitted set?"). This is a categorical upgrade in checkability, not an incremental improvement on a metric. Integrity is strong for a theory paper. The results are mathematical proofs, not simulations or numerics. The quartic identity (Theorem 1 and its corollaries) is an exact algebraic statement, not an approximation. The 3-qubit case is fully characterized (necessary and sufficient). The gap between what's proven and what's conjectured is clearly delineated — the authors are honest that necessity for general n remains open. There's no cherry-picking risk because there's nothing to cherry-pick; it's a theorem. The practical payoff is in quantum state tomography experiment design. When you're planning which Pauli measurements to run on a multi-qubit system and you have prior knowledge of purity, you can now check in advance whether your measurement plan is sufficient by inspecting the combinatorial structure of the omitted observables. This replaces what would otherwise require solving a potentially expensive optimization or semidefinite feasibility problem. The obvious next experiment the authors didn't run: extending the necessity result beyond three qubits. For n ≥ 4, the sufficiency direction holds (no bad quadruples ⇒ UDA), but necessity is open — are there cases where bad quadruples exist but uniqueness still holds due to higher-order cancellations? The honest read is (c): this is the natural next paper. The algebraic machinery may need substantial extension, and the 3-qubit case is already a clean, publishable result.
