Method

Research

From the mathematical method to the photonic implementation: how AGE-TGI-2S3/IDS + QEC enables fault-tolerant quantum computing

Method

AGE-TGI-2S3/IDS: High‑Order Symmetric composition of operators

The AGE-TGI-2S3/IDS formula, in notation S₂(h/3)³, is a symmetric high‑order Symmetric composition of operators with multiple time‑step partitions. This construction approximates the target unitary operator

U_target = eh(A+B)

through the sequence of 7 physical segments alternating between operators A and B. The name "2S3" reflects that it is a symmetric order‑2 formula (Trotter error O(h⁵)) with 3 subdivisions of the interval h, resulting in the concatenation of 7 exponentials:

S₂(h/3)³ = A(h/6) · B(h/3) · A(h/3) · B(h/3) · A(h/3) · B(h/3) · A(h/6)

The symmetry of the formula (A appears at the beginning and end with a small weight, while interior segments have larger weights) guarantees the systematic cancellation of odd-order error terms, raising the global order to 4. This means the approximation error decreases as h⁵, providing exceptionally high fidelity for moderate time steps.

Key Properties

Order:
4 (error O(h⁵))
Segments:
7 physical
Sequence:
A-B-A-B-A-B-A
Weights:
Optimized ratios
Symmetry:
Temporal (palindromic)
Architecture

The 7 Physical Segments

Each segment corresponds to an elementary unitary operator implemented as a photonic component

Seg 1
A(h/6)

Directional coupler with partial coupling.

Seg 2
B(h/3)

Thermal/electro-optic phase shifter.

Seg 3
A(h/3)

Directional coupler with full coupling.

Seg 4
B(h/3)

Central phase shifter at the symmetric midpoint.

Seg 5
A(h/3)

Coupler symmetric to segment 3 (temporal reflection).

Seg 6
B(h/3)

Phase shifter symmetric to segment 2.

Seg 7
A(h/6)

Closing coupler, symmetric to segment 1, completing the palindromic sequence.

Model

SU(2) Model

In the SU(2) group, the elementary operators are constructed from Pauli‑like matrices. We define:

A = ½σx    B = ½σz

The target operator is U_target = e^{h(A+B)}, where h is the time step (Trotter parameter). In SU(2), the exponential of any linear combination of Pauli matrices has a closed analytical form, facilitating exact numerical verification of the Symmetric composition of operators approximation.

The choice of SU(2) as a test model is strategic: any single-qubit quantum gate can be decomposed into SU(2) rotations, and universality is achieved by adding entanglement. Therefore, optimizing single-qubit gate fidelity in SU(2) is the critical first step toward universal quantum computing.

Gate Fidelity

Gate fidelity is defined as F = |Tr(U_target† · U_approx)|² / d² where d = 2 for SU(2). In the absence of optical losses, AGE-TGI-2S3/IDS achieves near‑unity fidelity for typical h, demonstrating the power of the high‑order formula.

Note: In practice, fidelity is limited by optical loss in components (couplers and phase shifters), not by the Trotter error. This is the fundamental motivation for combining AGE-TGI-2S3/IDS with QEC codes.
Theory

Symmetric composition of operators

The higher-order Symmetric composition of operators formula allows approximating the exponential of a sum of non-commuting operators as a product of individual exponentials. For two non-commuting operators A and B ([A,B] ≠ 0), the first-order formula (Lie-Trotter) is simply e^{h(A+B)} ≈ e^{hA} · e^{hB}, with error O(h²).

eh(A+B) ≈ ehA · ehB   (error O(h²))

The symmetric second-order formula (Strang) reduces the error to O(h³): e^{h(A+B)} ≈ e^{hA/2} · e^{hB} · e^{hA/2}. Higher-order formulas are constructed recursively: the order-2p formula is obtained by composing the order-p formula with a modified step.

eh(A+B) ≈ ehA/2 · ehB · ehA/2   (Strang, O(h³))

AGE-TGI-2S3/IDS = S₂(h/3)³ uses the symmetric formula S₂ with step h/3, repeated 3 times (hence the superscript ³). The composition of 3 applications of S₂(h/3) generates the 7 physical segments of the sequence, raising the approximation order to 4. This construction balances circuit complexity (7 segments vs. 3 for standard S₂) with a significantly lower Trotter error, which is crucial when optical losses dominate the total error.

S₂(h/3)³ → Orden 4   |   7 segmentos   |   Error O(h⁵)
Implementation

Dual-Rail Photonic Qubit

In dual-rail encoding, a qubit is represented by the presence of a single photon in one of two optical modes (waveguides). The state |0⟩ corresponds to the photon in the upper guide and |1⟩ to the photon in the lower guide.

Operator A is implemented as a directional coupler that transfers amplitude between the two guides. Operator B is implemented as a phase shifter that introduces a relative phase difference between the guides.

The fundamental advantage of dual-rail encoding is that the main source of error is photon loss, which manifests as an erasure of the qubit. Unlike Pauli errors (bit or phase flips), erasures are detectable: we know which qubit was lost. This additional information allows much more efficient QEC codes, such as the repetition code for erasures.

Photonic Components

Directional Coupler
Operator A: eσx·θ
Phase Shifter
Operator B: eσz·φ
Optical attenuation
→ Erasure (detectable)
QEC

Quantum Error Correction

How erasure and repetition codes protect photonic qubits

Erasure Code

In photonics, the dominant error is photon loss. When a photon is lost, the qubit disappears but we know it has disappeared (unlike Pauli errors, where the error location is unknown). This property is called an erasure and allows significantly more efficient QEC codes.

The erasure code used in AGE-TGI-2S3/IDS + QEC is a binomial repetition code that encodes one logical qubit in d physical qubits. The principle is simple: if the majority of physical qubits survive, the logical qubit can be recovered. The code fails only if a threshold fraction of physical qubits are lost.

Erasure ≠ Pauli error: In erasure, the error location is known. This allows more efficient QEC codes.

Mini-QEC (d=5)

The mini-QEC with distance d=5 encodes 1 logical qubit in 5 physical qubits. The code fails if 3 or more out of 5 physical qubits are lost (strict majority).

d = 5
εlógico ≈ 7.18×10-3

Strong QEC (d=13)

The distance d=13 code offers substantially greater protection: it fails only if 7 or more out of 13 physical qubits are lost. With high ηdet, εlogical can reach the 10⁻⁹ range.

d = 13
εlógico ≈ 1.4×10-6 (η=0.95)
εlógico ≈ ~10-9 (η=0.99)
Critical parameter

ηdet: Detection Efficiency

Photon detection efficiency ηdet is the factor that determines the fraction of erasures that can be correctly identified and therefore corrected by the QEC code. A value of ηdet = 0.95 means that 5% of erasures go undetected, becoming uncorrectable errors that degrade the logical qubit.

Our analysis reveals that ηdet is the main bottleneck for fault-tolerant photonic quantum computing. The relationship is exponential: improving ηdet from typical values to near‑unity reduces εlogical by several orders of magnitude, regardless of the code distance.

This has direct implications for detector design: investing in high-efficiency detection technologies (η > 0.99) has a dramatically greater impact than increasing the code distance or reducing marginal optical losses. In practice, ηdet = 0.99 is the most important technological target for the viability of at-scale photonic quantum computing.

ηdet εlogical (d=5) εlogical (d=13) Improvement factor
0.902.3×10-25.8×10-41×
0.957.18×10-31.4×10-6~400×
0.99~10-4~10-9~105×