An Executable Record Grammar for Quantum Correlations: A finite compression certificate for stabilizer records, Wilson holonomy, magic, detector readout, and bounded residuals

Summary and scope

A finite executable grammar encodes selected stabilizer records, Wilson holonomies, non-stabilizer resources and detector-readout examples. Its checks concern the specified objects and compression scheme. They do not show that arbitrary quantum states admit such a compact description, or that the grammar selects nature’s Hilbert space, gauge theory, interaction coefficients or spacetime. Physical interpretations require a supplied action and measurement map.

Keywords

How to cite

Elliman, D. (2026). An Executable Record Grammar for Quantum Correlations: A finite compression certificate for stabilizer records, Wilson holonomy, magic, detector readout, and bounded residuals. Neuro-Symbolic Ltd technical report. https://doi.org/10.5281/zenodo.21251742

@techreport{elliman2026recordgrammarcompression,
  author      = {Elliman, David},
  title       = {An Executable Record Grammar for Quantum Correlations: A finite compression certificate for stabilizer records, Wilson holonomy, magic, detector readout, and bounded residuals},
  institution = {Neuro-Symbolic Ltd},
  year        = {2026},
  doi         = {10.5281/zenodo.21251742},
  url         = {https://neusym.ai/papers/record_grammar_compression/}
}