Manuscript Oai265-A@2 · Oai265-A.tex · section · c0a34a45

Other named comparison models

Stage 4: hypothesis tests on explicit models › Other named comparison models · lines 1176–1229

Proposed change	Frozen input	Audit result
Proposed change	Frozen input	Audit result
Other lattices; Family 090	Induced square graph and degree four.	A triangular-lattice classical packing result supplies neither this entropy nor a transfer theorem.
One dimension; Family 268	The stated finite square-lattice class.	An interval has $O (1)$ boundary in a chain. General 1D area laws have their own theorem Hastings; proving a model's gap is a different task.
Continuum/FQHE; Family 269	Fixed finite on-site dimension and a site tensor product.	A Laughlin spectral-gap statement requires an additional finite-dimensional encoding and entropy comparison.
Classical models; Families 215/216/218	A quantum Hamiltonian and pure ground-state von Neumann entropy.	Classical mass gaps, BKT behaviour, and universality are not a ground-state entropy certificate.
Localization; Family 261	Gap of the finite interacting Hamiltonian.	Single-particle pure-point spectrum is not that gap or entropy.
Ferromagnetic order; Family 271	No magnetic-order premise.	Bloch-law or magnetization information supplies no missing entropy estimate.
Entanglement/key; Family 272	A ground-state spatial cut.	An entanglement or secret-key obstruction is a different task.
Capacity; Family 276	A state and its Hamiltonian.	A communication capacity is a property of a declared channel.
VOA locality; Family 280	Finite graph locality in $d_{Λ}$ .	Strong locality of conformal fields does not identify this graph boundary.

The family descriptions are documentary labels from the supplied catalogue, not verified premises OpenAIOverview. No theorem from those families is needed for the explicit counterexamples above.