Non Isometric Qec Theory

---
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

1. **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)

2. **Error Measure**: Use diamond norm ||R∘N∘E - id||_⋄ to quantify QEC accuracy

3. **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

1. **Characterize Non-Isometry**: Compute E†E, find its eigenvalue spectrum λ_i
2. **Bound QEC Accuracy**: Use ε ≥ max_i |1 - λ_i| as fundamental limit
3. **Design Recovery**: Optimize R to minimize ||R∘N∘E - id||_⋄ given the non-isometry
4. **Logical Operations**: Implement logical gates U_L via U_P on physical space; accuracy bound: ||U_P E - E U_L|| ≤ O(δ)
5. **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

1. Verify E†E eigenvalue spectrum for GKP codewords with finite squeezing Δ
2. Confirm QEC accuracy bound ε ≥ ||E†E - I|| matches numerical simulation
3. Verify logical gate implementation accuracy degrades as O(δ)
4. 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