arXiv preprint ·
Classification of bipartite observables III: simplicity, mixtures and quantum error correction
- Published
- Source
- arXiv preprint, posted before peer review
- Original
- Read it at arXiv
- Topics
Abstract
This is the third of a series of three papers that bring model theory to quantum information. The dividing lines of Shelah's classification theory, which separate the tame first-order theories from the wild ones, become properties of bipartite observables: properties of the expectation values obtained when two independently prepared quantum systems are idealized one after the other. In this paper we focus on simple unstable theories. The Pauli group of quantum error correction, with anticommutation as its relation, has a simple unstable theory, like the random graph. Forking and the Kim--Pillay independence theorem acquire a meaning in stabilizer codes: forking recognizes logical errors, and the independence theorem glues syndromes.
The authors’ abstract, as arXiv lists it. arXiv’s listings, abstracts included, are free for anyone to reuse.
Read it on ReadSearch
Each opens after you create an account, and brings you back to this paper.
More in Logic
Tactix: Towards a Programmable Strategy Interface for Flexible SAT Solving
A Computationally-Efficient Closed-Form $C^{s,1}$-Extension Formula
On the gradient conjecture at infinity: Finite spherical length for gradient trajectories of definable potentials
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
Polyteam logics for quantum contextuality
Get the few papers worth your time in Logic every morning.
ReadSearch reads the new papers in your field each day and brings you the few worth reading, each with its key finding in a sentence.