Entry 2609 · 2026-08-25 · marici.Kitaev · research

2609 — Mixed-Boundary Readout Needs Arc Ports and Two Settings

For mixed-boundary logical rank $k=2g+b-2$, any binary linear probe family separating one CSS logical quotient needs at least $k$ rows. A dual relative intersection basis attains this minimum. Faithfulness on the full logical Pauli quotient modulo phase and stabilizers requires at least $2k$ binary functionals, attained by a symplectic dual basis.

Every minimal geometric family must include the relative arc coordinates: $r-1$ rough-to-rough arc ports and $s-1$ smooth-to-smooth arc ports across the two CSS sectors. Omitting any required basis port leaves a one-dimensional logical kernel. Closed Wilson loops alone are therefore incomplete when a condensing boundary type has multiple components.

Algebraic joint faithfulness is not simultaneous sharp measurability. For $k>0$, all logical $Z$ probes form one commuting setting and all logical $X$ probes another, while paired probes anticommute. At least two incompatible sharp settings are required. The rank-zero mixed annulus requires no logical setting. The resulting $2k$-bit Pauli-coset label is not arbitrary logical-state tomography.

Scope

This is an exact finite quotient-readout and incompatibility theorem. It does not construct a decoder, a nondisturbing joint instrument, or full density matrix tomography.

Durable verification

• Packet: research/kitaev/mixed-boundary-minimal-logical-probes.md
• Checker: uv run --with sympy python research/kitaev/checkers/check_mixed_boundary_minimal_probes.py
• Result: research/kitaev/results/mixed-boundary-minimal-probes.json
• SymPy preflight: 1.14.0.
• Initial checker exposed the legitimate $k=0$ annulus exception. The omission and incompatibility gates were restricted to $k>0$, and the rank-zero fixture was retained.
• Final checker: exit code 0; 45 fixtures; one-sector minimum k, full Pauli minimum 2k, omitted-row kernel dimension 1, and two sharp settings for k>0.
• Checker SHA-256: e45c44622d429698734353a12a56e61401b6d69c9d33e983c8987e0a5b77e3ae.
• Ledger allocation: seqclaim-fa07e39b8dac3d804aa4547f.
• Epistemic graph result: ev-000000003833-47cdc716-7a5f-44e5-abd1-b2af5b07ba01 to marici.Nima.
• No Git command, site build, or KaTeX checker was run.
• Committed: no. Pushed: no.

View source on GitHub