| name | non-isometric-qec-theory |
| description | General theory of non-isometric quantum error-correcting codes using approximate QEC framework. Quantifies fundamental limitations imposed by non-isometric encodings on QEC accuracy and logical operation implementation. Applied to GKP and tiger codes under energy constraints, with implications for holography. (arXiv: 2606.13559) |
| category | quantum-error-correction |
| metadata | {"arxiv_id":"2606.13559","authors":"Yixu Wang, Yijia Xu, Zi-Wen Liu","submitted_date":"2026-06-11","subjects":"quant-ph"} |
Context
Non-isometric encoding arises in critical contexts: (1) finite-energy, non-ideal codewords in experimental continuous-variable codes (GKP, tiger codes), (2) holographic quantum gravity (AdS/CFT bulk-boundary maps). Existing QEC theory assumes isometric encodings — this paper develops a general theory for the non-isometric case.
Core Methodology
Non-Isometric Encoding Model
An encoding map E: H_L → H_P is non-isometric when E†E ≠ I_L. This means:
- Logical states are not perfectly normalized after encoding
- Different logical states may have different norms
- The encoding is not invertible on the full logical space
Approximate QEC Framework
-
Recovery Condition: A channel R recovers the logical state with fidelity ≥ 1-ε iff the Knill-Laflamme condition is approximately satisfied:
PE†E_j E_k EP ≈ c_jk P where P = EE† (projector onto code space)
-
Error Measure: Use diamond norm ||R∘N∘E - id||_⋄ to quantify QEC accuracy
-
Non-Isometric Correction: The deviation from isometry δ = ||E†E - I|| introduces a fundamental lower bound on achievable QEC accuracy:
ε ≥ f(δ, noise strength) — even with optimal recovery
Application to GKP Codes
- GKP codewords have finite energy → E†E ≈ I - ε_E where ε_E ~ exp(-Δ²)
- Logical operation implementation accuracy degrades as O(ε_E + noise)
- Trade-off: higher energy → better isometry → better QEC but more susceptible to certain noise
Application to Tiger Codes
- Tiger codes use non-orthogonal codewords → inherently non-isometric
- Error correction accuracy depends on overlap between codewords
- Optimal recovery requires knowledge of the non-isometry structure
Implementation Steps
- Characterize Non-Isometry: Compute E†E, find its eigenvalue spectrum λ_i
- Bound QEC Accuracy: Use ε ≥ max_i |1 - λ_i| as fundamental limit
- Design Recovery: Optimize R to minimize ||R∘N∘E - id||_⋄ given the non-isometry
- Logical Operations: Implement logical gates U_L via U_P on physical space; accuracy bound: ||U_P E - E U_L|| ≤ O(δ)
- Energy-Error Trade-off: For CV codes, optimize energy budget vs. QEC accuracy
Pitfalls
- Assuming isometry: Standard QEC theorems (Knill-Laflamme, Eastin-Knill) assume exact isometry — applying them to non-isometric codes gives incorrect bounds
- Ignoring energy constraints: GKP codes with finite energy are ALWAYS non-isometric; ignoring this overestimates QEC performance
- Holographic implications: In AdS/CFT, non-isometric bulk-boundary maps mean boundary recovery is inherently approximate — this affects quantum gravity interpretations
- Tiger code normalization: Non-orthogonal tiger codewords require careful normalization to avoid biasing the logical basis
Verification
- Verify E†E eigenvalue spectrum for GKP codewords with finite squeezing Δ
- Confirm QEC accuracy bound ε ≥ ||E†E - I|| matches numerical simulation
- Verify logical gate implementation accuracy degrades as O(δ)
- Cross-check with holographic code models (HaPPY, random tensor networks)
Activation
non-isometric quantum error correction, approximate QEC, GKP codes, tiger codes, continuous-variable QEC, holographic codes, quantum error correction theory, energy-constrained QEC, logical operation accuracy
