finite resource limits 1impossibility theorems 1landauer's principle 1proof verification 1thermodynamics of computation 1
From the 1 of 5 linked papers with an AI index.
Showing cs.CCShow all
3 papers · 1 filter
cs.CC2026
Thermodynamic Limits of Proof
Tristan Simas
The paper links Landauer's principle to the thermodynamic cost of recording proof, showing that any irreversible record incurs a positive work cost and proving that finite‑budget p…
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…