Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
This paper investigates the limits of efficiently determining which input features are necessary for optimal decision-making in coordinate-structured problems, a task known as exact relevance certification. The authors prove a meta-impossibility theorem, showing that no efficiently checkable structural predicate can exactly characterize tractability across families exhibiting specific obstructions like dominant-pair concentration and margin masking. They establish this by constructing same-orbit disagreements using affine witnesses, demonstrating fundamental limitations in achieving exact tractability characterization.
Forget finding a perfect shortcut – this paper proves that no efficient test can perfectly identify which input features truly matter for optimal decisions in complex problems.
Exact relevance certification asks which coordinates are necessary to determine the optimal action in a coordinate-structured decision problem. The tractable families treated here admit a finite primitive basis, but optimizer-quotient realizability is maximal, so quotient shape alone cannot characterize the frontier. We prove a meta-impossibility theorem for efficiently checkable structural predicates invariant under the theorem-forced closure laws of exact certification. Structural convergence with zero-distortion summaries, quotient entropy bounds, and support-counting arguments explains why those closure laws are canonical. We establish the theorem by constructing same-orbit disagreements for four obstruction families, namely dominant-pair concentration, margin masking, ghost-action concentration, and additive/statewise offset concentration, using action-independent, pair-targeted affine witnesses. Consequently no correct tractability classifier on a closure-closed domain yields an exact characterization over these families. Here closure-orbit agreement is forced by correctness rather than assumed as an invariance axiom. The result therefore applies to correct classifiers on closure-closed domains, not only to classifiers presented through a designated admissibility package.