Gottesman-Knill Limit on One-way Communication Complexity: Tracing the Quantum Advantage down to Magic Resources
Pith reviewed 2026-05-19 08:25 UTC · model grok-4.3
The pith
Stabilizer-state encodings and Clifford decodings in prime-dimensional one-way quantum communication can be exactly simulated by classical systems of the same dimension with shared randomness.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
Any one-way communication protocol implemented using a prime-dimensional quantum system restricted to stabilizer-state encodings and Clifford-operation decodings can be exactly simulated by transmitting a classical system of the same dimension, given access to shared randomness between the sender and receiver. In direct analogy with the Gottesman-Knill theorem, this identifies the same non-stabilizer resources, commonly known as the magic resources, as the essential ingredient for the quantum advantage in one-way communication complexity. Explicit tasks are presented where even a minimal magic resource suffices to achieve a provable quantum advantage.
What carries the argument
The exact simulation equivalence that reduces restricted quantum one-way protocols to classical transmission plus shared randomness, isolating magic resources as the carrier of any remaining advantage.
If this is right
- Quantum advantage in these one-way tasks must come from non-stabilizer states or non-Clifford operations.
- Minimal magic resources are already enough to produce strict separation from the classical simulation in some explicit tasks.
- The equivalence applies only in prime dimensions and relies on the availability of shared randomness.
- Any extension beyond stabilizer encodings or Clifford decodings falls outside the simulation guarantee.
Where Pith is reading between the lines
- The same resource distinction may help classify which communication problems admit efficient quantum solutions and which remain hard even with quantum resources.
- Results of this form suggest that magic-state distillation techniques developed for computation could be repurposed to improve communication efficiency.
- It would be natural to test whether the classical simulation still works when the shared randomness is replaced by weaker correlation resources.
Load-bearing premise
The protocols are limited to stabilizer-state encodings and Clifford-operation decodings, so the classical simulation holds only under this restriction.
What would settle it
A concrete one-way communication task in which a stabilizer Clifford quantum protocol in prime dimension beats every classical protocol of the same dimension that uses shared randomness would falsify the central claim.
read the original abstract
Quantum systems are known to offer advantages over their classical counterpart in communication complexity protocols, where the aim is to minimize the amount of information exchange between distant parties to compute global functions of their distributed inputs. In this work, we establish that any one-way communication protocol implemented using a prime-dimensional quantum system -- restricted to stabilizer-state encodings and Clifford-operation decodings -- can be exactly simulated by transmitting a classical system of the same dimension, given access to shared randomness between the sender and receiver. In direct analogy with the Gottesman-Knill theorem, which attributes quantum computational speedup to non-stabilizer resources, commonly known as the magic resources, our result identifies the same non-stabilizer resources as the essential ingredient for the quantum advantage in one-way communication complexity. Furthermore, we present explicit tasks where even a 'minimal magic resource' suffices to achieve a provable quantum advantage, highlighting its efficient use in communication protocols.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript establishes that any one-way communication protocol in a prime-dimensional quantum system, when restricted to stabilizer-state encodings at the sender and Clifford-operation decodings at the receiver, can be exactly simulated by a classical system of the same dimension with access to shared randomness. This is framed as a direct analogue of the Gottesman-Knill theorem, identifying non-stabilizer ('magic') resources as the origin of any quantum advantage in this setting. The authors further exhibit explicit communication tasks in which even a minimal amount of magic suffices to produce a provable separation from the classical case.
Significance. If the central simulation theorem holds, the result supplies a resource-theoretic account of quantum advantage in one-way communication complexity that parallels the computational case. By isolating magic as the necessary and sufficient non-classical resource under the stated restrictions, the work clarifies when quantum communication can outperform classical communication and supplies concrete tasks that demonstrate efficient use of minimal magic. These contributions would be of interest to researchers working on quantum resource theories and communication complexity.
major comments (2)
- [Main theorem (presumably §3 or §4)] The central simulation theorem is stated in the abstract and presumably proved in the main text, but the provided manuscript excerpt does not include the full proof or verification of edge cases (e.g., when the input dimension is composite or when the shared randomness is limited). A load-bearing step appears to be the exact equivalence between the quantum protocol and its classical simulation; this equivalence must be shown to hold for all admissible stabilizer encodings and Clifford decodings without additional assumptions.
- [Explicit tasks section] The claim that 'minimal magic resource' suffices for advantage is illustrated by explicit tasks, but it is unclear from the abstract whether these tasks remain hard when the classical simulator is also granted the same minimal magic (or equivalent classical resources). If the separation relies on the quantum side having access to magic while the classical side does not, this must be stated explicitly to avoid conflating the resource with the protocol model.
minor comments (2)
- [Abstract] Notation for the prime dimension p and the stabilizer group should be introduced consistently; the abstract uses 'prime-dimensional' without defining the underlying Hilbert space dimension explicitly.
- [Model definition] The phrase 'Clifford-operation decodings' should be clarified: does this include only unitary Clifford gates, or also measurements in the computational basis after Clifford conjugation?
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for the constructive comments, which help clarify the scope and presentation of our results. We address each major comment below.
read point-by-point responses
-
Referee: [Main theorem (presumably §3 or §4)] The central simulation theorem is stated in the abstract and presumably proved in the main text, but the provided manuscript excerpt does not include the full proof or verification of edge cases (e.g., when the input dimension is composite or when the shared randomness is limited). A load-bearing step appears to be the exact equivalence between the quantum protocol and its classical simulation; this equivalence must be shown to hold for all admissible stabilizer encodings and Clifford decodings without additional assumptions.
Authors: The complete proof of the main simulation theorem appears in Section 3 of the full manuscript. The theorem is formulated and proved exclusively for prime-dimensional systems, where the Heisenberg-Weyl operators form a basis that permits an exact classical simulation via shared randomness. We do not assert the result for composite dimensions, as the algebraic structure of the generalized Pauli group changes and the direct simulation correspondence fails to hold in the same manner; this restriction is stated in the manuscript. The shared randomness employed is finite and explicitly constructed to reproduce the output statistics of any admissible stabilizer encoding and Clifford decoding. The equivalence is shown to hold for the full class of such protocols using only the standard definitions of stabilizer states and Clifford operations, without further assumptions. We are prepared to add a short clarifying paragraph on the prime-dimensional scope and the construction of the shared randomness in a revised version. revision: partial
-
Referee: [Explicit tasks section] The claim that 'minimal magic resource' suffices for advantage is illustrated by explicit tasks, but it is unclear from the abstract whether these tasks remain hard when the classical simulator is also granted the same minimal magic (or equivalent classical resources). If the separation relies on the quantum side having access to magic while the classical side does not, this must be stated explicitly to avoid conflating the resource with the protocol model.
Authors: We agree that the resource distinction must be stated unambiguously. The explicit tasks are constructed to exhibit a separation between a quantum protocol that employs a minimal magic resource (one non-stabilizer state or one non-Clifford operation) and any classical protocol that uses only shared randomness without magic. The classical simulator furnished by the main theorem corresponds exactly to the magic-free case. Supplying magic to the classical side would allow it to emulate the quantum protocol, which is outside the classical communication model under study. We will revise the abstract and the explicit-tasks section to state explicitly that the comparison is between magic-assisted quantum communication and magic-free classical communication with shared randomness. revision: yes
Circularity Check
No circularity: self-contained simulation theorem under explicit restrictions
full rationale
The paper proves that one-way protocols restricted to stabilizer-state encodings and Clifford decodings in prime dimensions are exactly simulable by classical systems of the same dimension with shared randomness. This is presented as a direct theorem in explicit analogy to the standard Gottesman-Knill result, without any reduction of the claimed equivalence to a fitted parameter, self-referential definition, or load-bearing self-citation. The central claim follows from the algebraic properties of the restricted resources and does not invoke prior work by the same authors as an unverified uniqueness theorem or ansatz. The derivation is therefore self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Quantum mechanics in prime-dimensional Hilbert spaces
- domain assumption Gottesman-Knill theorem for quantum computation
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 1. For all the finite cardinality sets X, Y and B and for prime d, we have Sd_St[X → B|Y ] = Sd_C[X → B|Y ].
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
In direct analogy with the Gottesman-Knill theorem... our result identifies the same non-stabilizer resources as the essential ingredient for the quantum advantage
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
U P(a1,a2)U† = exp(ιϕ)P(a′ 1,a′ 2)
& ϕ s.t. U P(a1,a2)U† = exp(ιϕ)P(a′ 1,a′ 2). The set of stabilizer states for dimension d are given by Std := ConvHull n U |0⟩ ⟨0| U† | U ∈ C d o ⊂ D (Cd), ( 2) where D(·) is the set of density operators. Clearly, Std forms a polytope with its extreme points being the eigen- projectors of the mutually unbiased basis (MUB) operat- ors [32]: MUBd := n P(0,1...
-
[2]
– the optimal success when only a single non-stabilizer (magic) state is allowed for encoding. [ Right] In the 3 7→ 1 RAC task, a quantum advantage is obtained only if the non-stabilizer encoding lies outside the green shaded octagonal region, with all other encodings chosen from the stabilizer set (see Theorem 2E). This octagon is defined by the inequali...
-
[3]
2], while unrestricted encodings achieve the optimal quantum success of 1 2 (1 + 1√ 2 )
[the encod- ings are depicted in Fig. 2], while unrestricted encodings achieve the optimal quantum success of 1 2 (1 + 1√ 2 ). As we observe, a similar result to Theorem 2 holds for the 3 7→ 1 RAC task (see Theorem 2E). Strikingly, in 3 7→ 1 RAC, allowing magic in only one of the encoding states yields no advantage when three distinct non-commuting stabil...
work page 2022
-
[4]
With this encodings, an advantage over the classical protocols requires at least six encoding states to be non-stabilizer. However, magic 6 Y1 7→ P(0,1) Y2 7→ P(1,0) · · · Yd+1 7→ P(1,d−1) Xr 7→ ψj k p(0|xy) p(1|xy) · · · p(d−1|xy) p(0|xy) p(1|xy) · · · p(d−1|xy) · · · p(0|xy) p(1|xy) · · · p(d−1|xy) X1 7→ ψ0 1 1 0 · · · 0 1 d 1 d · · · 1 d · · · 1 d 1 d ...
-
[5]
J. P . Dowling and G. J. Milburn, Quantum technology: the second quantum revolution, Philos. Trans. R. Soc. 361, 1655–1674 (2003)
work page 2003
-
[6]
I. H. Deutsch, Harnessing the Power of the Second Quantum Revolution, PRX Quantum 1, 020101 (2020)
work page 2020
-
[7]
Aspect, The Second Quantum Revolution: From Basic Concepts to Quantum Technologies ( 2023)
A. Aspect, The Second Quantum Revolution: From Basic Concepts to Quantum Technologies ( 2023)
work page 2023
-
[8]
The Heisenberg Representation of Quantum Computers
D. Gottesman, The heisenberg representation of quantum computers 10.48550/arXiv.quant-ph/9807006 (1998)
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.quant-ph/9807006 1998
-
[9]
S. Bravyi and A. Kitaev, Universal quantum computation with ideal clifford gates and noisy ancillas, Phys. Rev. A 71, 022316 (2005)
work page 2005
-
[10]
Knill, Quantum computing with realistically noisy devices, Nature 434, 39–44 (2005)
E. Knill, Quantum computing with realistically noisy devices, Nature 434, 39–44 (2005)
work page 2005
-
[11]
E. T. Campbell, H. Anwar, and D. E. Browne, Magic-State Distillation in All Prime Dimensions Using Quantum Reed-Muller Codes, Phys. Rev. X 2, 041021 (2012)
work page 2012
-
[12]
S. Bravyi and D. Gosset, Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates, Phys. Rev. Lett. 116, 250501 (2016)
work page 2016
-
[13]
M. Howard and E. Campbell, Application of a Resource Theory for Magic States to Fault-Tolerant Quantum Com- puting, Phys. Rev. Lett. 118, 090501 (2017)
work page 2017
- [14]
-
[15]
A. C.-C. Yao, Some complexity questions related to dis- tributive computing(preliminary report), in Proceedings of the eleventh annual ACM symposium on Theory of computing - STOC ’79, STOC ’79 (ACM Press, 1979) p. 209–213
work page 1979
-
[16]
A. C. Yao, Protocols for secure computations, in 23rd Annual Symposium on Foundations of Computer Science (sfcs
-
[17]
E. Kushilevitz and N. Nisan, Communication Complexity (Cambridge University Press, 1996)
work page 1996
-
[18]
Kushilevitz, Communication Complexity, in Advances in Computers (Elsevier, 1997) p
E. Kushilevitz, Communication Complexity, in Advances in Computers (Elsevier, 1997) p. 331–360
work page 1997
-
[19]
Quantum Random Access Codes with Shared Randomness
A. Ambainis, D. Leung, L. Mancinska, and M. Ozols, Quantum random access codes with shared randomness, arXiv 10.48550/arXiv.0810.2937 (2009)
work page internal anchor Pith review Pith/arXiv arXiv doi:10.48550/arxiv.0810.2937 2009
-
[20]
M. Bavarian, D. Gavinsky, and T. Ito, On the Role of Shared Randomness in Simultaneous Communication, in Automata, Languages, and Programming (Springer Berlin Heidelberg, 2014) p. 150–162
work page 2014
-
[21]
C. L. Canonne, V . Guruswami, R. Meka, and M. Sudan, Communication with Imperfectly Shared Randomness, in Proceedings of the 2015 Conference on Innovations in Theoret- ical Computer Science, ITCS’15 (ACM, 2015)
work page 2015
-
[22]
A. C.-C. Yao, Quantum circuit complexity, in Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science, SFCS-93 (IEEE, 1993) p. 352–360
work page 1993
-
[23]
R. Cleve and H. Buhrman, Substituting quantum entan- glement for communication, Phys. Rev. A 56, 1201 (1997)
work page 1997
-
[24]
H. Buhrman, R. Cleve, S. Massar, and R. de Wolf, Nonloc- ality and communication complexity, Rev. Mod. Phys. 82, 665 (2010)
work page 2010
-
[25]
Wiesner, Conjugate coding, SIGACT News 15, 78–88 (1983)
S. Wiesner, Conjugate coding, SIGACT News 15, 78–88 (1983)
work page 1983
-
[26]
A. Ambainis, A. Nayak, A. Ta-Shma, and U. Vazirani, Dense quantum coding and quantum finite automata, Journal of the ACM 49, 496–511 (2002)
work page 2002
-
[27]
C. Brukner, M. Zukowski, J.-W. Pan, and A. Zeilinger, Bell’s Inequalities and Quantum Communication Com- plexity, Phys. Rev. Lett. 92, 127901 (2004)
work page 2004
-
[28]
A. Tavakoli, M. Zukowski, and C. Brukner, Does violation of a Bell inequality always imply quantum advantage in a communication complexity problem?, Quantum 4, 316 (2020)
work page 2020
-
[29]
C. Carmeli, T. Heinosaari, and A. Toigo, Quantum random access codes and incompatibility of measurements, EPL (Europhysics Letters) 130, 50001 (2020)
work page 2020
- [30]
-
[31]
A. Chakraborty, R. K. Patra, K. Agarwal, S. Sen, P . Ghosal, S. G. Naik, and M. Banik, Scalable and noise-robust com- munication advantage of multipartite quantum entangle- ment, Phys. Rev. A 111, 032617 (2025)
work page 2025
-
[32]
D. Gottesman, An introduction to quantum error cor- rection, in Proceedings of Symposia in Applied Mathematics, Vol. 58 (2002) pp. 221–236
work page 2002
-
[33]
Gross, Hudson’s theorem for finite-dimensional quantum systems, J
D. Gross, Hudson’s theorem for finite-dimensional quantum systems, J. Math. Phys. 47, 122107 (2006)
work page 2006
- [34]
- [35]
-
[36]
I. D. Ivonovic, Geometrical description of quantal state determination, J. Phys. A: Math. Gen. 14, 3241–3245 (1981)
work page 1981
-
[37]
R. W. Spekkens, D. H. Buzacott, A. J. Keehn, B. Toner, and G. J. Pryde, Preparation Contextuality Powers Parity- 8 Oblivious Multiplexing, Phys. Rev. Lett. 102, 010401 (2009)
work page 2009
- [38]
- [39]
-
[40]
A. Tavakoli, A. Hameedi, B. Marques, and M. Bourennane, Quantum Random Access Codes Using Single d-Level Systems, Phys. Rev. Lett. 114, 170502 (2015)
work page 2015
-
[41]
A. Ambainis, M. Banik, A. Chaturvedi, D. Kravchenko, and A. Rai, Parity oblivious d-level random access codes and class of noncontextuality inequalities, Quant. Inf. Pro- cess. 18, 111 (2019)
work page 2019
-
[42]
C. E. Shannon, A Mathematical Theory of Communica- tion, Bell Sys. Tech. J. 27, 379–423 (1948)
work page 1948
-
[43]
A. S. Holevo, Bounds for the quantity of information trans- mitted by a quantum communication channel, Problems Inform. Transmission 9, 3 (1973)
work page 1973
-
[44]
P . E. Frenkel and M. Weiner, Classical Information Storage in an n-Level Quantum System, Commun. Math. Phys. 340, 563–574 (2015)
work page 2015
-
[45]
M. Dall’Arno, S. Brandsen, A. Tosini, F. Buscemi, and V . Vedral, No-Hypersignaling Principle, Phys. Rev. Lett. 119, 020401 (2017)
work page 2017
-
[46]
S. G. Naik, E. P . Lobo, S. Sen, R. K. Patra, M. Alimuddin, T. Guha, S. S. Bhattacharya, and M. Banik, Composition of Multipartite Quantum Systems: Perspective from Time- like Paradigm, Phys. Rev. Lett. 128, 140401 (2022)
work page 2022
-
[47]
R. K. Patra, S. G. Naik, E. P . Lobo, S. Sen, G. L. Sidhardh, M. Alimuddin, and M. Banik, Principle of Information Causality Rationalizes Quantum Composition, Phys. Rev. Lett. 130, 110202 (2023)
work page 2023
-
[48]
R. K. Patra, S. G. Naik, E. P . Lobo, S. Sen, T. Guha, S. S. Bhattacharya, M. Alimuddin, and M. Banik, Classical ana- logue of quantum superdense coding and communication advantage of a single quantum system, Quantum 8, 1315 (2024)
work page 2024
-
[49]
X. Wang, M. M. Wilde, and Y. Su, Efficiently Computable Bounds for Magic State Distillation, Phys. Rev. Lett. 124, 090505 (2020)
work page 2020
-
[50]
N. Koukoulekidis and D. Jennings, Constraints on magic state protocols from the statistical mechanics of wigner negativity, npj Quantum Information 8, 42 (2022)
work page 2022
-
[51]
D. Gottesman and I. L. Chuang, Demonstrating the viabil- ity of universal quantum computation using teleportation and single-qubit operations, Nature 402, 390–393 (1999)
work page 1999
- [52]
- [53]
- [54]
-
[55]
A. Broadbent and S. Jeffery, Quantum Homomorphic Encryption for Circuits of Low T-gate Complexity, in Advances in Cryptology – CRYPTO 2015 (Springer Berlin Heidelberg, 2015) p. 609–629
work page 2015
-
[56]
M. Hinsche, M. Ioannou, A. Nietner, J. Haferkamp, Y. Quek, D. Hangleiter, J.-P . Seifert, J. Eisert, and R. Sweke, One t Gate Makes Distribution Learning Hard, Phys. Rev. Lett. 130, 240602 (2023)
work page 2023
- [57]
-
[58]
A. Ambainis, D. Kravchenko, S. Sazim, J. Bae, and A. Rai, Quantum advantages in (n, d) 7→ 1 random access codes, New J. Phys. 26, 123023 (2024)
work page 2024
-
[59]
K. Kraus, States, Effects, and Operations: Fundamental No- tions of Quantum Theory (Springer Berlin Heidelberg, 1983)
work page 1983
-
[60]
Watrous, The Theory of Quantum Information (Cambridge University Press, 2018)
J. Watrous, The Theory of Quantum Information (Cambridge University Press, 2018)
work page 2018
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.