λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript Oai212-A@1 · Oai212-A.tex · section · 79323841

What is proved here

Status, dependencies, and the exact claim being submitted › What is proved here · lines 135–155

Back to manuscript

The unconditional results below concern explicitly specified models:

  1. a flag-controlled CNOT growth circuit;

  2. a Poisson random-Clifford support process and its finite-volume large-dimension comparison;

  3. a local independent-pair quench and its declared entropy-cost optimization;

  4. a monitored version of that quench, for which the exact exponential interface fails;

  5. a serial teleportation timing contract and a counterexample to its unrestricted concurrent extension;

  6. finite-volume, channel-error, preparation-error, and statistical transfer bounds.

These are not identifications of unspecified quantum models. Constructing an engineered example proves existence within its specified class; it does not prove universality.