Quantum and CircuitsReading edition

Existence defects and quantum combinatorial realizations

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

6.4 Existence defects and quantum combinatorial realizations

6.4.1 Metric collapse and existence collapse

The simulation theorems compare costs of two realizations that both exist. A broader restricted-realization framework also allows the restricted object to be absent. If

\[ \mathcal R(x)=\varnothing, \qquad \mathcal A(x)\neq\varnothing, \]

then enlarging the realization category changes feasibility rather than merely runtime.

6.4.2 Quantum Latin-square example

The order-six quantum-Latin-square record supplies an existence-level example. Entangled quantum Latin squares of order six exist, while mutually orthogonal non-entangled quantum Latin squares of order six do not. This is an ambient-versus-restricted realization gap, not a proof of classical simulation and not a gate-count shortcut.

The proof architecture uses support patterns, unitary-pattern constraints, graph orthonormal representations, projective-line closure, dimension contradictions, and a finite reduction to twelve classical Latin-square classes. Its conceptual relevance here is limited but useful: enlarging the allowed quantum resource can change whether a structure exists at all.

6.4.3 Why this does not imply computational advantage

Existence of an entangled combinatorial design does not by itself provide an algorithmic speedup. One must still specify an input problem, circuit family, output rule, and classical comparison. Likewise, nonexistence of a product realization does not prove classical hardness of the entangled realization.

Scope boundary

The quantum Latin-square result is included as a contextual example of restricted-realization failure. It is not used as a premise in any packet-simulation theorem.

6.4.4 Unified terminology

For a target \(x\), let \(c_{\rm res}(x)\) and \(c_{\rm amb}(x)\) be minimum costs, with \(+\infty\) assigned when a realization does not exist. Then

\[ \Delta(x) = c_{\rm res}(x)-c_{\rm amb}(x) \]

includes both finite metric defects and infinite existence defects. Symmetry collapse concerns the special case where the ambient quantum description has a cheaper classical realization because its reachable representation is compressed.

Source and conversion record

Source SHA-256: ebaee84823d3aaef001d43588d779e3f10d7336de3194c466e8e8121bfb460f1

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Quantum and Circuits

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index