Showing cs.CCShow all
3 papers · 1 filter
cs.CC2026
Descent Before Hardness: Orbit-Gap Obstructions in Exact Certification
Tristan Simas
Tractability tests are often computed from input syntax: support-graph treewidth, local coefficient patterns, backdoor tests, or action-count bounds. Before such a test can be lowe…
cs.CC2026
The Optimizer Quotient and the Certification Trilemma
Tristan Simas
The optimizer quotient is the canonical object for exact decision-relevant information: it is the coarsest exact decision-preserving abstraction (Theorem 2.15). This paper proves t…
cs.CC2026
Thermodynamic Limits of Proof
Tristan Simas
Every irreversible recorded distinction has a positive thermodynamic work floor. Landauer's principle supplies the ideal bound per irreversible bit, exp…