---
title: Dyadic Phase Fixing in Quantum Compilation
url: https://www.emergentmind.com/topics/dyadic-phase-fixing-dpf
type: topic
---

# Dyadic Phase Fixing in Quantum Compilation

Searching arXiv for the specified papers and closely related work to ground the article.
{"query":"id:2606.05397 OR id:2606.27358", "max_results": 10}
I found the two focal papers on arXiv and verified their metadata:

1. "Multi-Qubit Dyadic Phase Fixing for Fault-Tolerant Quantum Compilation" [2606.05397]
2. "Cultivating logical catalysts for fault-tolerant dyadic phase rotations" [2606.27358]

I’ll use these as the primary sources for the encyclopedia entry, with terminology and claims constrained to the supplied data.
Dyadic Phase Fixing (DPF) names two closely related developments in fault-tolerant quantum computing. In quantum compilation, it denotes a general multi-qubit synthesis routine that greedily fixes selected \(R_z\) parameters to dyadic values of the form \(m\pi/2^k\), numerically reoptimizes the remaining parameters, and then implements the fixed rotations by phase kickback [2606.05397]. In fault-tolerant gate construction, the same basic objective appears in a more specialized form: exact implementation of fixed fine dyadic phases \(Z^{2^{-b}}\) by cultivating reusable logical catalyst states that are eigenstates of high-period Clifford circuits and invoking them through controlled-\(U\) phase kickback [2606.27358]. The unifying theme is to replace repeated approximate non-Clifford synthesis with dyadic-phase structure that can be exploited exactly or more cheaply, subject to nontrivial tradeoffs in ancillas, serialization, catalyst size, and hardware mapping.

## 1. Problem setting and conceptual scope

Fault-tolerant quantum computation in the setting considered is organized around the Clifford+\(T\) gate set, where Clifford gates are comparatively easy to realize and \(T\) gates dominate resource cost because they typically require magic-state cultivation or distillation, injection, and correction [2606.05397]. Application circuits, however, are usually expressed with continuous-parameter gates such as \(R_z(\theta)\), \(R_x(\theta)\), and \(U3(\phi,\theta,\lambda)\), so arbitrary rotations must be approximated in a discrete logical basis, usually with cost scaling like \(O(\log(1/\epsilon))\) for target precision \(\epsilon\) [2606.05397].

DPF addresses a special regime in which dyadic-angle structure can be exploited. The compiler-oriented formulation targets rotations
\[
R_z(\theta), \qquad \theta \in \left\{\frac{2m\pi}{2^k}\ \middle|\ m,k\in\mathbb{Z}\right\},
\]
for which phase kickback can be dramatically cheaper in \(T\)-count than independent ancilla-free synthesis [2606.05397]. The fault-tolerant catalyst formulation isolates the fixed-phase family
\[
Z^\alpha=\operatorname{diag}(1,e^{i\pi\alpha}), \qquad \alpha=2^{-b},
\]
so that \(T=Z^{1/4}\), \(\sqrt{T}=Z^{1/8}\), and more generally a fine dyadic phase rotation is \(Z^{2^{-b}}\) [2606.27358].

The two formulations differ in scope. The compiler formulation is approximate overall: it rewrites general multi-qubit circuit blocks under a prescribed error budget, fixes some angles to dyadic values, and leaves the remaining arbitrary rotations to conventional synthesis [2606.05397]. The catalyst formulation is exact for the target dyadic phase once the phase-specific logical resource has been cultivated: the online invocation introduces no synthesis approximation error and makes the online non-Clifford depth independent of the target logical accuracy [2606.27358]. This suggests that DPF is best viewed not as a single algorithm but as a design principle for converting dyadic phase structure into fault-tolerant advantage.

## 2. Compiler-level DPF as greedy multi-qubit resynthesis

The compiler introduced in "Multi-Qubit Dyadic Phase Fixing for Fault-Tolerant Quantum Compilation" [2606.05397] proceeds in three stages. First, an input logical circuit in any gate set is retargeted to blocks containing Clifford gates and continuous \(R_z\) gates, using non-overlapping partitions of width \(w\), with \(w=4\) in the reported experiments. Second, DPF is applied blockwise. Third, the resulting circuit is decomposed into Clifford+\(T\) using phase kickback for fixed dyadic rotations and \texttt{gridsynth} for the remaining non-dyadic rotations.

The key operation is “fixing” a phase. Given a candidate block \(C\) and block error budget \(\epsilon/B\), DPF maintains a set of accepted candidates \(\mathcal{A}\gets\{C\}\) and target unitary \(V\gets U(C)\). It then iterates over dyadic granularities
\[
\theta \in \left\{\pi,\frac{\pi}{2},\ldots,\frac{2\pi}{2^{k_{\max}}}\right\}.
\]
For each candidate circuit \(C_i\in\mathcal{A}\), it collects the currently unfixed \(R_z\) angles and chooses the pair minimizing
\[
(\phi^*,m^*) \gets \operatorname{argmin}_{\phi \in \Phi,\, m \in \mathbb{Z}^+} |\phi - m\theta|.
\]
The selected gate is replaced by \(R_z(m^*\theta)\), the remaining continuous parameters are numerically reoptimized against the original target unitary, and the candidate is accepted only if the Hilbert-Schmidt-distance test remains within \(\epsilon/B\) [2606.05397].

This is a greedy, heuristic approximate-synthesis strategy rather than an exhaustive search. What is optimized locally is proximity to a dyadic angle; preservation of the block unitary is enforced afterward by numerical reoptimization and acceptance testing. The outcome is operationally a decomposition into many dyadic-angle \(R_z\) rotations, a smaller residual set of arbitrary-angle \(R_z\) rotations, and the inherited Clifford structure of the block. The paper explicitly notes that DPF may miss better dyadic rewritings and does not provide formal optimality guarantees for the greedy extraction [2606.05397].

Error management is blockwise. If the circuit is divided into \(B\) blocks, each receives error budget \(\epsilon/B\), and the full algorithm error satisfies
\[
\epsilon_T \le \sum_{b=1}^{B}\frac{\epsilon}{B}=\epsilon.
\]
Residual arbitrary-angle \(R_z\) gates are finally synthesized with \texttt{gridsynth} to precision \(\epsilon/N_{R_z}\), where \(N_{R_z}\) is the number of remaining arbitrary-angle rotations [2606.05397].

## 3. Phase-kickback infrastructure, decision logic, and ancilla tradeoffs

The compilation framework uses phase kickback through a phase gradient register, prepared following Sanders et al., together with constant-adder circuits from Gidney’s construction [2606.05397]. For dyadic approximation at denominator scale \(2^k\), the adder cost scales roughly as \(4k\) \(T\) gates, and the ancilla requirement is substantial: \(k\) qubits for the phase gradient register and \(k-2\) scratch qubits for the optimal adder, for total ancilla overhead \(2k-2\) [2606.05397].

A central implementation choice is to use a single shared phase kickback register of width \(2k-2\) across the recomposed circuit. This prevents ancilla blow-up when many independently synthesized blocks are recombined, but it also serializes the phase-kickback subcircuits [2606.05397]. That serialization becomes important at the architecture level because it can degrade depth parallelism even when logical \(T\)-count improves.

The compiler therefore uses a three-variable decision matrix parameterized by phase gradient register size \(k\), the number of fixed \(R_z\) gates that would use that \(k\), and the per-gate approximation error. It compares the exact \texttt{gridsynth} \(T\)-count model against a phase-kickback model consisting of phase gradient state preparation plus Gidney-adder cost, sweeps over \(k\in\{4,\dots,k_{\max}\}\), and chooses \(k_{\text{reg}}\) that minimizes predicted total \(T\)-count [2606.05397]. If no register size yields benefit, the workflow falls back entirely to \texttt{gridsynth}. The paper states this as a practical guarantee: in terms of \(T\)-count, the compiler will never do worse than the baseline \texttt{gridsynth} approach [2606.05397].

This logic sharply distinguishes DPF from naive phase kickback. The paper reports that naive phase kickback is generally \(10\%\) to \(80\%\) worse than default synthesis except on QFT, because directly approximating arbitrary rotations by dyadic angles often requires large \(k\), which increases register, adder, and ancilla cost [2606.05397]. DPF’s contribution is therefore not merely to apply phase kickback, but to use multi-qubit numerical resynthesis to create more phase-kickback-friendly circuit structure.

## 4. Reported performance and architecture-level evaluation

The benchmark suite for the compiler formulation spans quantum subroutines, chemistry, physics simulation, optimization, and quantum machine learning, with circuit sizes ranging from \(8\) to \(420\) qubits and algorithmic error thresholds \(10^{-3}\) and \(10^{-5}\) [2606.05397]. Preprocessing uses PyTKet Full Peephole Optimization, followed by BQSKit-FT-based compilation and then DPF.

The headline synthesis results are up to \(70\%\) reduction in \(T\)-count compared to \texttt{gridsynth} and up to \(60\%\) compared to Repeat-Until-Success synthesis [2606.05397]. The largest gains are reported for Hamiltonian simulation, QFT, QAE, QAOA, and QPE, where partitions tend to contain enough \(R_z\) rotations that DPF can fix many angles to dyadic values and amortize phase-kickback startup cost. At the same time, the method is not uniformly beneficial: KNN is identified as a case with little or no benefit because DPF could not extract enough dyadic angles to justify phase kickback [2606.05397].

The paper also maps compiled circuits to a surface-code architecture using lattice surgery and evaluates space-time volume,
\[
\text{space-time volume} = (\text{number of logical/physical qubits}) \times (\text{number of logical cycles}),
\]
under two Pauli-basis compilation strategies: Lightweight Pauli Basis Computation (LPBC) and Heavyweight Pauli Basis Computation (HPBC) [2606.05397]. The reported improvement reaches up to \(60\%\) in space-time volume, with QAE-81q under HPBC improving from \(163.4\) to \(64.7\) and Ising-420q improving from \(32.8\) to \(14.2/14.3\) under LPBC/HPBC. Other strong HPBC improvements include QFT-40q from \(25.6\) to \(15.9\), LGT-380q from \(217.2\) to \(116.4\), and Neutrino-18q from \(10.7\) to \(5.7\) [2606.05397].

The same evaluation also shows substantial regressions. QAE-81q under LPBC worsens from \(59.6\) to \(92.6\); QPE-14q worsens from \(21.7\) to \(34.0\) under LPBC and from \(20.8\) to \(37.6\) under HPBC; QAOA-148q under HPBC worsens from \(31.1\) to \(42.4\); and Heisenberg-225q under HPBC worsens from \(44.7\) to \(64.9\) [2606.05397]. The paper’s central interpretation is that \(T\)-count is a useful but incomplete proxy for fault-tolerant program cost. Phase kickback can reduce logical non-Clifford count while increasing ancillas, adder CNOTs, serialization through the shared phase gradient register, and routing contention. Under LPBC, adder CNOTs often remain explicit sequential operations; under HPBC, the same Clifford-heavy adders may be absorbed into larger Pauli-product measurements, reducing the depth penalty [2606.05397].

## 5. Exact dyadic phase fixing by reusable logical catalysts

"Cultivating logical catalysts for fault-tolerant dyadic phase rotations" [2606.27358] presents a concrete surface-code-compatible framework for what is effectively DPF via reusable logical catalyst states. Rather than approximating a fine dyadic \(Z\)-rotation with a long Clifford+\(T\) sequence every time it is needed, the protocol prepares a phase-specific logical resource state offline and then reuses it to implement the target dyadic phase exactly by phase kickback [2606.27358].

The target family is
\[
Z^\alpha=\operatorname{diag}(1,e^{i\pi\alpha}), \qquad \alpha=2^{-b}.
\]
A direct cultivation of the single-qubit magic state \(Z^{2^{-b}}\ket{+}\) is obstructed by the Clifford hierarchy for \(b\ge 3\): for \(\ket{T}=T\ket{+}\), the conjugated \(X\) operator remains Clifford-verifiable, but for finer dyadic states the analogous operator is itself non-Clifford, so direct verification would require the same non-Clifford resource one is trying to prepare [2606.27358].

The workaround is to cultivate a logical catalyst that is an eigenstate \(\ket{\psi}\) of a specially chosen high-period Clifford circuit \(U\). Because
\[
CU\left[(\alpha\ket{0}+\beta\ket{1})\otimes\ket{\psi}\right]
=
(\alpha\ket{0}+\beta\lambda\ket{1})\otimes\ket{\psi},
\]
where \(\lambda\) is the eigenvalue of \(U\) on \(\ket{\psi}\), the state mediates the phase transformation without being consumed. The paper uses a family of depth-2 brickwork CNOT circuits \(U_n\) whose order is a power of two and whose eigenvalues are corresponding roots of unity. For \(m=\lceil \log_2 n\rceil\), \(U_n\) has period \(2^m\), and the orbit-state construction
\[
\ket{\psi_{n,r}} = \frac{1}{\sqrt{\mathcal N_n}}\sum_{k=0}^{2^m-1}\omega_m^{-rk}\, U_n^k\ket{10\cdots 0},
\qquad
\omega_m=e^{2\pi i/2^m},
\]
satisfies
\[
U_n\ket{\psi_{n,r}}=\omega_m^r\ket{\psi_{n,r}}.
\]
Controlled-\(U_n\) then kicks back the exact phase \(Z^{r/2^{m-1}}\), so choosing \(r=1\) and \(m=b+1\) implements \(Z^{2^{-b}}\) exactly [2606.27358].

For arbitrary \(b\), the smallest direct brickwork construction uses \(n=2^b+1\), so the catalyst support scales as \(O(2^b)\) logical qubits [2606.27358]. This is the central asymptotic tradeoff: exactness, reusability, and constant online depth are obtained at the price of an exponentially large catalyst register in \(b\).

The paper’s worked example is \(\sqrt{T}=Z^{1/8}\), corresponding to \(b=3\). Here \(m=4\) and \(n=9\), and the nine-qubit brickwork Clifford \(U_9\) has period \(16\). One representative catalyst is
\[
\ket{\psi_9} = \frac{1}{4}\sum_{k=0}^{15} e^{-i\pi k/8}\, U_9^k\ket{100000000},
\qquad
U_9\ket{\psi_9}=e^{i\pi/8}\ket{\psi_9}.
\]
The \(e^{i\pi/8}\) eigenspace is \(16\)-fold degenerate, and the paper notes that this degeneracy is harmless for catalytic use because only the eigenphase matters. Online invocation requires controlled-\(U_9\), which contains eight controlled-CNOTs, i.e. eight Toffolis. The reported costings are \(56\) \(T\) gates for a conservative unitary Clifford+\(T\) implementation, \(32\) \(T\) gates using measurement-assisted logical-ANDs, or consumption of \(8\) \(\ket{\mathrm{CCZ}}\) states in parallel [2606.27358].

## 6. Cultivation protocol, verification theory, and comparative tradeoffs

The catalyst-cultivation protocol begins from a physical \(9\)-qubit catalyst on the \(\ket{\psi_9}\) orbit, encodes each qubit into an independent distance-3 rotated surface-code block, verifies the encoded catalyst by logical quantum phase estimation of \(\bar U_9\), postselects on trivial syndromes, and then grows the code distance up to distance \(7\) [2606.27358]. Since the target eigenvalue is \(e^{i\pi/8}=e^{2\pi i/16}\), four ancilla bits suffice. One logical-\(U_9\) measurement round applies
\[
\prod_{j=1}^{4} C_{a_j}\!\left(\bar U_9^{\,2^{4-j}}\right),
\]
with compressed schedules for \(U_9^2\), \(U_9^4\), and \(U_9^8\); the reported CNOT counts are \((8,15,10,1)\), with \(U_9^8=\mathrm{CNOT}_{1\to 9}\). The accepted semiclassical inverse-QFT output string is \(1000\) [2606.27358].

A crucial technical point is that the phase readout is an exact projector onto the desired eigenspace. For the accepted string \(1000\), the readout operator is
\[
M_{1000}=\Pi_1\equiv\frac{1}{16}\sum_{t=0}^{15}e^{-2\pi i t/16}\,U_9^{\,t},
\]
which is exactly the projector onto the \(e^{i\pi/8}\) eigenspace [2606.27358]. Because \(U_9\) has exact period \(16\), there is no spectral leakage: faults that move the state to a different eigenphase sector are ideally detected by phase estimation. The paper studies every single-qubit Pauli fault on the physical \(\ket{\psi_9}\) under ideal phase estimation and finds that the only undetected single-qubit faults are \(Z_1\) and \(X_9\), both acting merely as a global phase. The average Hamming distance from \(1000\) of the flagged readout is \(\bar w=1.654\), giving effective logical fault distance \(f_{\mathrm{logical}}=1+\bar w\approx 2.654\). Once the later stabilizer-growth stage provides \(f_{\mathrm{stab}}=3\), the decoded logical leakage scales as \(O(p^2)\). This is the sense in which a single logical verification round already reaches the leading error-corrected scaling [2606.27358].

After verification, the protocol performs noisy distance-3 stabilizer extraction on every \(\mathrm{Rot}(3)\) block with hard postselection on all-zero syndrome, followed by growth \(\mathrm{Rot}(3)\to \mathrm{Reg}(3)\), repeated trivial-syndrome postselection, unitary growth to \(\mathrm{Rot}(5)\), and final stabilizer-measurement growth \(\mathrm{Rot}(5)\to \mathrm{Rot}(7)\) [2606.27358]. In the last stage, acceptance is based on complementary-gap decoding between the best and second-best logical Pauli-frame hypotheses, and the final cultivated catalyst carries an \(18\)-bit decoded Pauli frame.

The error metric is logical leakage out of the desired eigenspace rather than Pauli-frame error. For each accepted shot, the logical fidelity is computed after applying the residual decoded Pauli frame and projecting onto the \(e^{i\pi/8}\) eigenspace, with leakage rate \(L=1-F\) [2606.27358]. The simulation is hybrid: the front end is simulated as a tensor-network/MPS state vector using iTensor, the back end with Stim and PyMatching, the front-end noise model is circuit-level depolarizing noise at physical rate \(p\), and the main reported results use \(p=10^{-3}\) with MPS bond dimension \(256\). Quantitatively, the paper reports that at \(p=10^{-3}\), a single logical-\(U_9\) verification round together with suitable distance-3 syndrome postselection and distance-7 growth yields logical leakage around \(\sim 10^{-6}\) using about \(7\) to \(8\) expected attempts, while stronger complementary-gap postselection pushes the leakage toward \(\sim 10^{-7}\) [2606.27358].

The two DPF formulations are complementary rather than redundant.

| Aspect | Compiler DPF | Catalyst-based exact dyadic rotation |
|---|---|---|
| Primary object | General multi-qubit circuit blocks | Fixed fine dyadic phases \(Z^{2^{-b}}\) |
| Core mechanism | Greedy dyadic fixing plus numerical reoptimization | Reusable logical catalyst eigenstate of Clifford \(U\) |
| Exactness | Approximate overall | Exact online dyadic phase |
| Main overhead | Shared-register ancillas and serialization | Catalyst size \(O(2^b)\) |
| Key caution | \(T\)-count and space-time volume can diverge | Offline cultivation is angle-specific |

This comparison clarifies several common misunderstandings. DPF is not synonymous with exact dyadic gate realization: in the compiler sense it is explicitly a heuristic approximate-synthesis method [2606.05397]. Conversely, exact dyadic phase fixing is not automatically qubit-efficient: the catalyst construction achieves exactness and reusability at support cost \(O(2^b)\) [2606.27358]. The papers also converge on a broader caution about cost models. In the compiler setting, lower \(T\)-count can worsen mapped space-time volume because of ancillas, adder structure, and serialization [2606.05397]. In the catalyst setting, constant-depth exact online implementation is purchased by substantial offline, phase-specific cultivation [2606.27358]. A plausible implication is that DPF techniques are most compelling when the same modestly fine dyadic phase or dyadic-rich block structure is reused often enough to amortize either compilation infrastructure or catalyst preparation.

Source: https://www.emergentmind.com/topics/dyadic-phase-fixing-dpf