REVIEW 2 major objections 4 minor 63 references
A new approximate Eastin-Knill theorem
T0 review · 2 major / 4 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read A single conditional min-entropy bound is necessary and sufficient for a quantum code to support universal transversal gates and approximately correct local erasure.
desk verdict Genuinely new iff condition for approximate erasure correction of covariant codes, with an exact W-state threshold; the transversal-code corollary needs a proved covariance equivalence. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the conditional min-entropy $H_{\min}(A|B)_\Sigma$, a single-shot entropy measuring how much uncertainty about $A$ remains given $B$, used as a resource monotone in the resource theory of asymmetry, together with the identification of covariant quantum error correction with multi-state purification. The key identity expresses the optimal overlap with a pure target under $G$-covariant channels as $2^{-H_{\min}(B|A)_{\Pi_G(\psi^T\otimes\rho)}}$; for the compact group $U(d_L)$, Haar-twirl identities collapse the purification condition into a bound on the Choi state of $N\circ E$. A functional additivity lemma splits the twirled operator into a flat, deterministic term and the Choi term, which is what produces the prefactor $c=(d_L+1)/d_L$, and the final condition is an SDP because conditional min-entropy is SDP-computable. In the erasure case the noise is simply a partial trace, which is covariant for any group, so the whole theorem transfers to the transversal-gate setting.
What would settle it
Compute $H_{\min}(L|P/j)_{J(\mathrm{tr}_{P_j}\circ E)}$ for a $U(d_L)$-covariant code and compare it with $-\log d_L(1-c\varepsilon)$; a code that violates the inequality yet admits a decoder with worst-case infidelity $\varepsilon$ would refute the necessity direction. A concrete candidate: find any decoder for the $W$-state code that reaches $\varepsilon < (N_e/n)(1-1/d_L)$ under erasure, for instance $\varepsilon<0.005$ with $n=100$ qutrits and one erased subsystem, since the paper claims no such decoder exists.
Extended reading notes
Core claim
The central claim is Theorem 1: if the encoding map $E_{L\to P}$ and the noise $N_{P\to P'}$ are both $U(d_L)$-covariant, then a recovery map achieving worst-case infidelity $\varepsilon$ over all pure logical states exists if and only if $H_{\min}(L|P')_{J(N\circ E)} \le -\log d_L(1-c\varepsilon)$, where $c=(d_L+1)/d_L$ and $J(\cdot)$ is the Choi state. Corollary 1 applies this to erasure of the $j$-th subsystem, giving $H_{\min}(L|P/j)_{J(\mathrm{tr}_{P_j}\circ E)} \le -\log d_L(1-c\varepsilon)$ as the necessary and sufficient condition for a code to admit a transversal implementation of the full unitary group and approximately correct that erasure. The proof routes quantum error correction through the resource theory of asymmetry: under covariant encoding and noise the optimal decoder may be taken covariant, so finding a decoder is the same as finding a covariant purification of every logical state up to error $\varepsilon$, and the multi-state purification lemma reduces this to a single conditional min-entropy. At $\varepsilon=0$ the bound reproduces the exact Eastin-Knill impossibility, and the $W$-state code saturates the inequality, yielding the closed-form threshold of Corollary 2.
Load-bearing premise
The argument rests on the identification of 'supports a transversal implementation of every logical unitary' with a single fixed product-form rotation of the physical subsystems accompanying each logical unitary; the paper cites an earlier reference for this identification rather than proving it, and if a code realizes its gates only projectively the bound may not apply.
Editorial extensions
If this is right
- For any $U(d_L)$-covariant code, the condition can be evaluated by solving an SDP, giving a certificate that a target worst-case error $\varepsilon$ is either achievable or impossible before any decoder is constructed.
- The $W$-state code corrects the erasure of $N_e$ subsystems exactly when $\varepsilon \ge (N_e/n)(1-1/d_L)$; with $n=100$ qutrits and one encoded qubit this puts the achievable single-erasure error at $0.005$.
- Setting $\varepsilon=0$ in the bound recovers the original Eastin-Knill no-go result, so the theorem contains the exact theorem as a limiting case rather than merely approximating it.
- For erasure of any number $m<n$ of subsystems, the proof goes through unchanged, so the same entropic test governs codes that lose several physical qudits.
- In the limit of large physical system size $n$, the threshold scales as $1/n$, matching the known asymptotic behavior and indicating that approximate transversality is a finite-size advantage that disappears in the infinite-size limit.
Reading between the lines
- The paper leaves open whether the same purification machinery applies to discrete subgroups such as the Clifford group; if it does, the result would give necessary-and-sufficient single-shot thresholds for magic-state-injection-style fault tolerance, not just full unitary covariance.
- Because the theorem is an if-and-only-if SDP, one could in principle optimize over encoders to minimize achievable $\varepsilon$ under erasure; the paper does not perform such a search, but its formulation makes this a natural next step.
- The fact that the $W$-state code saturates the bound suggests, though the paper does not claim, that saturating families may be characterized by a Choi state splitting into a uniform term plus a smaller covariant code; verifying this would give a structural classification of optimal approximate transversal codes.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper develops a resource-theoretic framework for approximate quantum error correction and states a new necessary and sufficient condition for a U(d_L)-covariant encoder followed by U(d_L)-covariant noise to be epsilon-correctable in the worst-case pure-state fidelity sense. The condition is an upper bound on the conditional min-entropy of the Choi state of the noisy encoding, and it is claimed to hold for any code admitting a transversal implementation of the full unitary group when the noise is local erasure. The main tool is a multi-state purification lemma for the resource theory of asymmetry, and the paper applies the result to the W-state code, deriving the exact threshold epsilon >= (N_e/n)(1 - 1/d_L) and constructing an explicit decoder for known erasure.
Significance. If the stated equivalence between transversal universality and U(d_L)-covariance is justified, the paper provides a clean single-shot entropic criterion that is both necessary and sufficient, SDP-computable, and directly connected to the Eastin-Knill theorem. The multi-state purification lemma (Lemma 1) is a useful generalization of prior asymmetry-theory results and is of independent interest. The W-state example gives a concrete, falsifiable threshold and an explicit achievability construction. The appendices contain detailed proofs, and the derivations are largely self-contained. The main reservation is that the advertised scope of Corollary 1 is broader than what the proof establishes.
major comments (2)
- [Section IV C, Corollary 1; Section II B] The proof of Corollary 1 identifies 'admits a transversal implementation of the full unitary group' with U(d_L)-covariance under a fixed tensor-product representation, as expressed in Eq. (32). This identification is asserted and cited to Ref. [15] but not proved. The per-gate definition in Eq. (3) only guarantees, for each U, existence of local unitaries V_U satisfying E U = V_U E; it does not guarantee that the V_U form a genuine group representation on the full physical space. Lemma 3 and Theorem 1 require a single representation g -> U^g_P satisfying E U^g_L = U^g_P E and N U^g_P = U^g_{P'} N. If the transversal implementations are chosen per gate and only constrained on the code subspace, the twirled decoder in Lemma 3 is not manifestly G-covariant, and the reduction of epsilon-correctability to the multi-state purification problem is not established. Thus the necessity direction of the entropic condition is unproved for codes whose transversal gates do not form a tensor-product representation. The authors should either prove the equivalence or explicitly restrict Corollary 1 to U(d_L)-covariant encoders, which is the setting of Theorem 1.
- [Theorem 1, Eq. (26); Corollary 1, Eq. (31)] The inequality Hmin(L|P') <= -log d_L(1-c epsilon) is only defined for epsilon < d_L/(d_L+1), since 1-c epsilon becomes non-positive for larger epsilon. For epsilon >= d_L/(d_L+1) the condition is automatically satisfied by the general lower bound Hmin >= -log d_L, but this is not stated. The theorem and corollary should specify the domain of epsilon and clarify the behavior at the boundary.
minor comments (4)
- [Section IV D, Eq. (43) and Example 2] The explicit decoder defined in Eq. (43) is not shown to be trace-preserving. In particular, the adjoint V(n-N_e)^\dagger annihilates the state |d_L,...,d_L>, so applying the decoder to the component (N_e/n)|d_L,...,d_L><d_L,...,d_L| in Eq. (46) yields zero rather than the term (N_e/n)|chi><chi| claimed in Eq. (49). The construction should be completed to a valid CPTP map, or a clear statement should be added that the fidelity bound in Eq. (50) holds after such a completion.
- [Throughout] There are several typographical errors: 'Corallary' in Section IV C, 'it's conceptual simplicity' in Section III B, 'analagous' in Section IV A, and 'minimization' in Lemma 1 and Appendix D where the optimization is a maximization. The erasure channel definition in Eq. (27) says 'n-j-1 subsystems' but should be 'n-j subsystems'. In Corollary 2, 'qubits' should be 'qudits'.
- [Section II B] The sentence 'which is equivalent [15] to Eq. (3) holding for all unitaries U_L in U(d_L)' is ambiguous: Eq. (3) holding for all U is not by itself equivalent to U(d_L)-covariance unless the local unitaries form a representation. The authors should clarify whether they adopt covariance as the definition of universality or intend a separate proof.
- [Appendix B, Eq. (B2)] The derivation of the identity (B1) is standard but compressed; the step replacing the CPTP maximization over the twirled Choi operator with a maximization over unital channels relies on the fact that the adjoint of a TP map is unital. This is correct but could be stated explicitly for readability.
Circularity Check
No significant circularity: the central iff condition is derived from asymmetry-purification lemmas and prior channel-covariance results, and the only author-owned lemma is reproved in the appendix.
full rationale
The paper's main claim, Theorem 1 and Corollary 1, is not obtained by fitting any parameter to the quantity it predicts. Theorem 1 is proved from Lemma 1 (multi-state approximate purification), the known identity relating G-covariant state conversion to conditional min-entropy [37], Lemma 3 (the optimal decoder can be taken to be G-covariant, proved in Appendix C), and Lemma 4 (linearity of the functional Phi, quoted from Ref. [58] but fully reproved in Appendix D). Corollary 1 then applies Theorem 1 to erasure by verifying in Lemma 2.1 that the partial trace is U(d)-covariant with respect to a tensor-product representation. The W-state threshold in Corollary 2 is an explicit evaluation of the Choi state of that code, not an input to the theorem, so it is an application rather than a prediction that reduces to a fit. The only author-owned citation is Ref. [58]; because the needed lemma is reproved in the paper and is a parameter-free mathematical statement, it is not load-bearing self-citation. The skeptical concern that Eq. (32) merely 'encompasses' transversality without proving the required group representation is a possible gap in justification, but it is not circularity of any enumerated kind: it does not make the theorem equivalent to its inputs, nor does it rename a fitted quantity. Accordingly, no circular step is identified.
Assumptions & free parameters
assumptions (6)
- domain assumption All Hilbert spaces are finite-dimensional; U(dL) is compact.
- domain assumption Transversal implementation of the full unitary group is equivalent to U(dL)-covariance of the encoder with respect to a tensor-product representation.
- standard math The set of G-covariant quantum channels is closed, compact, and convex for compact G on finite-dimensional spaces.
- standard math The identity max_{E in OG} tr[psi E(rho)] = 2^{-Hmin(B|A)_{PiG(psi^T tensor rho)}}.
- standard math The erasure channel and the partially depolarizing channel are G-covariant.
- domain assumption The W-state code of Ref. [15], defined in Eq. (37), is U(dL)-covariant and its Choi state has the form used in Appendix E.
Cite this review
Pith. "Pith review of A new approximate Eastin-Knill theorem." pith.science (2026). https://pith.science/paper/7EIHP3GP
@misc{pith2026250500427,
author = {Pith},
title = {Pith review of: A new approximate Eastin-Knill theorem},
year = {2026},
howpublished = {\url{https://pith.science/paper/7EIHP3GP}},
note = {Machine review of arXiv:2505.00427}
}
abstract
Transversal encoded gatesets are highly desirable for fault tolerant quantum computing. However, a quantum error correcting code which exactly corrects for local erasure noise and supports a universal set of transversal gates is ruled out by the Eastin-Knill theorem. Here we provide a new approximate Eastin-Knill theorem for the single-shot regime when we allow for some probability of error in the decoding. In particular, we show that a quantum error correcting code can support a universal set of transversal gates and approximately correct for local erasure if and only if the conditional min-entropy of the Choi state of the encoding and noise channel is upper bounded by a simple function of the worst-case error probability. Our no-go theorem can be computed by solving a semidefinite program, and, in the spirit of the original Eastin-Knill theorem, is formulated in terms of a condition that is both necessary and sufficient, ensuring achievability whenever it is passed. As an example, we find that with $n=100$ physical qutrits we can encode $k=1$ logical qubit in the $W$-state code, which admits a universal transversal set of gates and corrects for single subsystem erasure with error probability of $\varepsilon = 0.005$. To establish our no-go result, we leverage tools from the resource theory of asymmetry, where, in the single-shot regime, a single (output state-dependent) resource monotone governs all state purifications.
Figures
Reference graph
Works this paper leans on
-
[15]
Bomb´ ın, New Journal of Physics17, 083002 (2015)
H. Bomb´ ın, New Journal of Physics17, 083002 (2015)
2015
-
[1]
(Unknown erasure). Here we have j≤n. Unknown erasure noise N erasure P→P′ as given in Eq. (27) is co- variant with respect to the groupG and tensor prod- uct unitary representations Ug P := Nn i=1Ug Pi and Ug P′ :=Nj i=1Ug Pi of G
-
[2]
Here we have j =n, that is, P = P′
(Partially depolarizing noise). Here we have j =n, that is, P = P′. Partially depolarizing noise N (p) P as given in Eq. (28) is covariant with respect to the groupG and arbitrary unitary representationUg P of G, for all p∈ [0, 1]. Proof of 1. We first note the following commutation rela- tion for the partial trace: trA◦UA⊗VB =VB◦trA, which holds for any ...
-
[3]
A single, complete monotone for exact conversion to pure states Let us consider the following proposition, which provides a single complete monotone for state transformations under a closed, convex resource theory for which the final state in question is rank-one. Proposition 3. LetρA andψB be two quantum states of systems A andB, respectively, whereψB∈ p...
-
[4]
Approximate conversion Whenever there exists a free operation E∈O and a state σ satisfying F (ψ,σ )≥ 1−ε such thatE(ρ) = σ, we will write ρ O →ε ψ. (A8) With this notation in place, let us note the following proposition, which now provides a single complete monotone for approximate state transformations under any closed, convex resource theory for which t...
-
[5]
Multi-state conversion For convenience of the reader, let us briefly recap the setting of multi-state conversion as described in Section III D of the main text. We seek to generalize the results we have seen so far to the case where we have two (continuous or discrete) ensembles of states ρA :={ρµ}µ∈Λ andψB :={ψµ}µ∈Λ, parameterized by some real-valued µ o...
-
[6]
Q. Xu, J. P. B. Ataides, C. A. Pattison, N. Raveendran, D. Bluvstein, J. Wurtz, B. Vasi´ c, M. D. Lukin, L. Jiang, and H. Zhou, Nature Physics 20, 1084 (2024)
work page 2024
- [7]
Show all 63 references
-
[8]
Google Quantum AI and Collaborators, Nature 638, 920 (2025)
2025
-
[9]
E. T. Campbell, B. M. Terhal, and C. Vuillot, Nature 549, 172 (2017)
2017
-
[10]
Gottesman, in Encyclopedia of Mathematical Physics, edited by J.-P
D. Gottesman, in Encyclopedia of Mathematical Physics, edited by J.-P. Fran¸ coise, G. L. Naber, and T. S. Tsun (Academic Press, Oxford, 2006) pp. 196–201, preprint available at arXiv:quant-ph/0507174
2006 arXiv
-
[11]
Eastin and E
B. Eastin and E. Knill, Phys. Rev. Lett. 102, 110502 (2009)
2009
-
[12]
Bravyi and A
S. Bravyi and A. Kitaev, Phys. Rev. A71, 022316 (2005)
2005
-
[13]
Paetznick and B
A. Paetznick and B. W. Reichardt, Phys. Rev. Lett. 111, 090505 (2013)
2013
-
[14]
Jochym-O’Connor and R
T. Jochym-O’Connor and R. Laflamme, Phys. Rev. Lett. 112, 010505 (2014)
2014
-
[16]
T. J. Yoder, R. Takagi, and I. L. Chuang, Phys. Rev. X 6, 031039 (2016)
2016
-
[17]
Wills, M.-H
A. Wills, M.-H. Hsieh, and H. Yamasaki, arXiv preprint arXiv:2408.07764 (2024)
2024 arXiv
-
[18]
Gidney, N
C. Gidney, N. Shutty, and C. Jones, Magic state culti- vation: growing t states as cheap as cnot gates (2024), arXiv:2409.17595 [quant-ph]. 19
2024 arXiv
-
[19]
M. P. Woods and ´A. M. Alhambra, Quantum 4, 245 (2020)
2020
-
[20]
Faist, S
P. Faist, S. Nezami, V. V. Albert, G. Salton, F. Pastawski, P. Hayden, and J. Preskill, Phys. Rev. X 10, 041018 (2020)
2020
-
[21]
D. W. Leung, M. A. Nielsen, I. L. Chuang, and Y. Ya- mamoto, Phys. Rev. A 56, 2567 (1997)
1997
-
[22]
B´ eny and O
C. B´ eny and O. Oreshkov, Phys. Rev. Lett.104, 120501 (2010)
2010
-
[23]
Kubica and R
A. Kubica and R. Demkowicz-Dobrza´ nski, Phys. Rev. Lett. 126, 150503 (2021)
2021
- [24]
-
[25]
Zhou, Z.-W
S. Zhou, Z.-W. Liu, and L. Jiang, Quantum5, 521 (2021)
2021
-
[26]
Almheiri, X
A. Almheiri, X. Dong, and D. Harlow, Journal of High Energy Physics 2015, 163 (2015)
2015
-
[27]
Pastawski, B
F. Pastawski, B. Yoshida, D. Harlow, and J. Preskill, Journal of High Energy Physics 2015, 149 (2015)
2015
-
[28]
Harlow and H
D. Harlow and H. Ooguri, Communications in Mathe- matical Physics 383, 1669 (2021)
2021
-
[29]
F. G. S. L. Brand˜ ao, E. Crosson, M. B. S ¸ahino˘ glu, and J. Bowen, Phys. Rev. Lett. 123, 110502 (2019)
2019
-
[30]
Y. Yang, Y. Mo, J. M. Renes, G. Chiribella, and M. P. Woods, Phys. Rev. Res. 4, 023107 (2022)
2022
-
[31]
Kong and Z.-W
L. Kong and Z.-W. Liu, PRX Quantum 3, 020314 (2022)
2022
-
[32]
Hayden, S
P. Hayden, S. Nezami, S. Popescu, and G. Salton, PRX Quantum 2, 010326 (2021)
2021
-
[33]
M. M. Wilde, Quantum information theory (Cambridge University Press, 2013)
2013
-
[34]
Gilchrist, N
A. Gilchrist, N. K. Langford, and M. A. Nielsen, Phys. Rev. A 71, 062310 (2005)
2005
-
[35]
Horodecki, P
M. Horodecki, P. Horodecki, and R. Horodecki, Phys. Rev. A 60, 1888 (1999)
1999
-
[36]
M. A. Nielsen, Physics Letters A 303, 249 (2002)
2002
-
[37]
Renner, Security of QKD, Ph.D
R. Renner, Security of QKD, Ph.D. thesis, ETH (2005)
2005
-
[38]
Tomamichel, A framework for non-asymptotic quan- tum information theory (2013), arXiv:1203.2142 [quant- ph]
M. Tomamichel, A framework for non-asymptotic quan- tum information theory (2013), arXiv:1203.2142 [quant- ph]
2013 arXiv
-
[39]
G. Gour, M. M. Wilde, S. Brandsen, and I. J. Geng, Quantum 8, 1529 (2024)
2024
-
[41]
Marvian, Ph.D
I. Marvian, Ph.D. thesis, University of Waterloo (2012)
2012
-
[42]
G. Gour, D. Jennings, F. Buscemi, R. Duan, and I. Mar- vian, Nature Communications 9, 1 (2018)
2018
-
[43]
Marvian, Nature Communications 11, 25 (2020)
I. Marvian, Nature Communications 11, 25 (2020)
2020
-
[44]
Noether, Nachrichten von der Gesellschaft der Wis- senschaften zu G¨ ottingen, mathematisch-physikalische Klasse 1918, 37 (1918)
E. Noether, Nachrichten von der Gesellschaft der Wis- senschaften zu G¨ ottingen, mathematisch-physikalische Klasse 1918, 37 (1918)
1918
-
[45]
Chitambar and G
E. Chitambar and G. Gour, Rev. Mod. Phys. 91, 025001 (2019)
2019
-
[46]
Gour, arXiv preprint arXiv:2402.05474 (2024)
G. Gour, arXiv preprint arXiv:2402.05474 (2024)
2024
-
[47]
Gour and R
G. Gour and R. W. Spekkens, New Journal of Physics 10, 033023 (2008)
2008
-
[48]
Marvian and R
I. Marvian and R. W. Spekkens, New Journal of Physics 15, 033001 (2013)
2013
-
[49]
Datta, R
C. Datta, R. Ganardi, T. V. Kondra, and A. Streltsov, Phys. Rev. Lett. 130, 240204 (2023)
2023
-
[50]
Schumacher, Phys
B. Schumacher, Phys. Rev. A 54, 2614 (1996)
1996
-
[51]
Dolev, V
K. Dolev, V. Calvera, S. S. Cree, and D. J. Williamson, Journal of High Energy Physics 2022, 158 (2022)
2022
-
[52]
M. J. W. Hall and H. M. Wiseman, Phys. Rev. X 2, 041006 (2012)
2012
-
[53]
Giovannetti, S
V. Giovannetti, S. Lloyd, and L. Maccone, Science 306, 1330 (2004)
2004
-
[54]
Bravyi, G
S. Bravyi, G. Smith, and J. A. Smolin, Phys. Rev. X 6, 021043 (2016)
2016
-
[55]
Liu and S
Z.-W. Liu and S. Zhou, npj Quantum Information 9, 119 (2023)
2023
-
[56]
S. D. Bartlett, T. Rudolph, and R. W. Spekkens, Rev. Mod. Phys. 79, 555 (2007)
2007
-
[57]
Regula and R
B. Regula and R. Takagi, Nature Communications 12, 4411 (2021)
2021
-
[58]
Fang and Z.-W
K. Fang and Z.-W. Liu, PRX Quantum 3, 010337 (2022)
2022
-
[59]
Takagi and B
R. Takagi and B. Regula, Phys. Rev. X 9, 031053 (2019)
2019
-
[60]
Regula, K
B. Regula, K. Fang, X. Wang, and G. Adesso, Phys. Rev. Lett. 121, 010401 (2018)
2018
-
[61]
Y. V. Prokhorov, Theory of Probability & Its Applica- tions 1, 157 (1956), https://doi.org/10.1137/1101016
1956 doi
-
[62]
Sion, Pacific Journal of Mathematics 8, 171 (1958)
M. Sion, Pacific Journal of Mathematics 8, 171 (1958)
1958
-
[63]
Alexander, S
R. Alexander, S. Gvirtz-Chen, and D. Jennings, New Journal of Physics 24, 053023 (2022)
2022
-
[64]
A. A. Mele, Quantum 8, 1340 (2024)
2024
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.