Manuscript Hawk02-E@1 · Hawk02-E.tex · section · 4841592b
Audit of the proposed auxiliary mathematics
Gravitational correspondence and a common validity interval › Audit of the proposed auxiliary mathematics · lines 1890–1941
| Proposed tool | Boundary of a valid application |
|---|---|
| Proposed tool | Boundary of a valid application |
| Classical SK gap | A classical Glauber or heat-bath estimate is not a quantum SYK dilation estimate. Matching temperature names does not prove a reduction between the processes. |
| Ground-state area law | A unique gapped ground-state theorem does not automatically apply to an inserted nonequilibrium code. Spatial entanglement bounds do not imply complete residual independence. |
| Lieb–Thirring inequality | A bound on spectral moments is not a propagator, influence functional, or encoded channel estimate without a connecting argument. |
| Penrose or Kerr result | A classical asymptotically flat or near-Kerr theorem requires its own dimension, constraint, energy-condition, and boundary hypotheses. It is not automatically a statement about JT dilaton gravity or the present reservoir. |
| Bosonic entropy inequality | Its precise theorem and hypotheses must be checked. An entropy inequality does not construct a decoder or prove a constant complete complement. |
| Residual entanglement diagnostic | Entanglement, distillable key, and code-wide complementary independence are different properties. None can be substituted for (eq:leak-definition). |
No result from the supplied numbered catalogue is used as a premise of any theorem above. Incomplete catalogue excerpts cannot discharge the missing interacting or gravitational calculations SuppliedCatalogue.