The most discriminable quantum states in the multicopy regime
Pith reviewed 2026-07-01 08:27 UTC · model grok-4.3
The pith
For pure states with enough copies, k-designs maximize the success probability of minimum-error discrimination.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For pure state ensembles, whenever N is large enough to support a state k-design, these designs will exactly give rise to the maximally discriminable sets. When N exceeds the size required for a k-design, mixed states can outperform all pure state ensembles. Quantum systems offer a quadratic advantage in number of copies k over classical ones, which is reduced to a constant advantage for real quantum states when N ≥ k + 1.
What carries the argument
Quantum state k-designs (ensembles whose k-th moments match the uniform distribution over pure states) together with the one-to-one mapping of the classical problem to the multiplicative Bayes capacity of independent channel uses.
If this is right
- Pure-state k-designs are optimal for minimum-error discrimination whenever N meets or exceeds the design size.
- Mixed states become strictly better than any pure ensemble once N grows larger than the k-design threshold.
- Quantum systems require only quadratically fewer copies than classical systems to reach the same discrimination performance.
- For real qubits the quantum advantage shrinks to a constant factor once N ≥ k + 1.
Where Pith is reading between the lines
- The optimality result may fail for non-uniform priors or for discrimination figures of merit other than minimum error.
- The classical-to-quantum gap suggests that leakage measures based on Bayes capacity could be tightened by allowing quantum encodings.
- Computational upper-bound techniques introduced in the paper could be applied to other symmetric discrimination tasks beyond the multicopy setting.
Load-bearing premise
The ensemble is uniformly distributed over the N states and the discrimination task uses the minimum-error success probability.
What would settle it
An explicit ensemble of N pure states, with N large enough for a k-design, whose minimum-error success probability for k copies exceeds that of any k-design.
Figures
read the original abstract
This work investigates which sets of quantum states give rise to the highest achievable success probability in minimum-error state discrimination if multiple copies of the unknown state are given. Specifically, we consider uniformly distributed ensembles of the form $\left\{\frac{1}{N},\rho_i^{\otimes k}\right\}_{i=1}^N$, where $N$ states in dimension $d$ are provided in $k$ identical copies, and derive universal limits in this scenario. For pure state ensembles, we prove that whenever $N$ is large enough to support a state $k$-design, these designs will exactly give rise to the maximally discriminable sets. We further show that when $N$ exceeds the size required for a $k$-design, mixed states can outperform all pure state ensembles. We then recognise that the problem of most discriminable classical states in the multi-copy regime is in one-to-one correspondence to the concept of the multiplicative Bayes capacity of independent uses of classical channels, a concept that emerges naturally in the context of classical information leakage. This connection allows us to completely solve the classical analogue of our problem when $N\geq \binom{d + k - 1}{k}$, and to prove that quantum systems offer a quadratic advantage (in number of copies $k$) over classical ones. Then, we prove that this classical over quantum advantage is strongly reduced when one is restricted to real quantum states, more precisely, when $N \geq k + 1$, pure real qubits only offer a constant advantage over classical bits. Finally, we introduce computational techniques to find sets of most discriminable ensembles and to obtain rigorous universal upper bounds on the maximal success probability for multi-copy state discrimination in cases that are analytically intractable.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to derive universal limits on the maximum success probability for minimum-error discrimination of uniformly distributed ensembles of k copies of N states in dimension d. For pure states, it proves that state k-designs achieve the maximum when N is large enough. Mixed states can outperform pure ones for larger N. It maps the classical problem to multiplicative Bayes capacity of channels, solves it for N at least the binomial coefficient, proves quadratic quantum advantage in k, shows that for real qubits the advantage is constant when N >= k+1, and introduces computational techniques for upper bounds and optimization in intractable cases.
Significance. If the central claims hold, this work provides exact optimality results for multicopy state discrimination using designs, a clear separation between quantum and classical performance, and practical methods for computation. The correspondence to classical concepts is a strength, allowing complete solution of the classical case. This is significant for understanding the power of quantum systems in discrimination tasks and for applications in quantum information processing.
minor comments (2)
- The notation for the ensembles could be clarified in the introduction to distinguish between the state dimension d and the number of copies k more explicitly.
- [Abstract] The phrase 'quadratic advantage (in number of copies k)' could be expanded to specify over what quantity the advantage is measured, e.g., the scaling with k.
Simulated Author's Rebuttal
We thank the referee for their positive summary of our manuscript, recognition of its significance, and recommendation of minor revision. No specific major comments were raised in the report.
Circularity Check
No significant circularity identified
full rationale
The paper derives that k-designs achieve maximal discrimination success by showing they saturate an upper bound obtained from the k-th moment equaling the Haar integral; this is a direct achievement of an independently derived bound rather than a definitional reduction. The classical solution is obtained via an external one-to-one correspondence to multiplicative Bayes capacity of channels, solved explicitly when N meets the binomial threshold. The quadratic quantum advantage follows from comparing these two explicit constructions under the stated uniform-prior and minimum-error conditions. No self-definitional steps, fitted inputs renamed as predictions, load-bearing self-citations, or ansatz smuggling appear. The result is self-contained against the external benchmarks of design theory and classical information theory.
Axiom & Free-Parameter Ledger
Forward citations
Cited by 1 Pith paper
-
Non-signaling assistance in prepare-and-measure scenarios with classical communication
Non-adaptive non-signaling assistance simulates quantum communication in PM scenarios with a classical dit replacing a qudit, while adaptive NS advantages are confined to single-setting receiver cases.
Reference graph
Works this paper leans on
-
[1]
S. M. Barnett and S. Croke, Quantum state dis- crimination, Advances in Optics and Photonics 1, 238 (2009), arXiv:0810.1970 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[2]
Quantum state discrimination and its applications
J. Bae and L.-C. Kwek, Quantum state discrim- ination and its applications, Journal of Phys- ics A Mathematical General48, 083001 (2015), arXiv:1707.02571 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2015
- [3]
-
[4]
Wolf,������� ��� ������������� �� ������ ������� ���� ���������(Springer Cham, 2021)
R. Wolf,������� ��� ������������� �� ������ ������� ���� ���������(Springer Cham, 2021)
2021
-
[5]
Unambiguous discrimination among oracle operators
A. Chefles, A. Kitagawa, M. Takeoka, M. Sa- saki, and J. Twamley, Unambiguous discrimina- tion among oracle operators, Journal of Physics A Mathematical General40, 10183–10213 (2007), arXiv:quant-ph/0702245 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[6]
Quantum Copy-Protection and Quantum Money
S. Aaronson, Quantum Copy-Protection and Quantum Money, arXiv e-prints (2011), arXiv:1110.5353 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2011
-
[7]
Optimal counterfeiting attacks and generalizations for Wiesner's quantum money
A. Molina, T. Vidick, and J. Watrous, Op- timal counterfeiting attacks and generalizations for Wiesner’s quantum money, arXiv e-prints (2012), arXiv:1202.4010 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2012
-
[8]
Hayashi, Quantum hypothesis testing and discrimination of quantum states, in������� ������������ �� ������������(Springer Berlin Heidelberg, Berlin, Heidelberg, 2006) pp
M. Hayashi, Quantum hypothesis testing and discrimination of quantum states, in������� ������������ �� ������������(Springer Berlin Heidelberg, Berlin, Heidelberg, 2006) pp. 69–91
2006
-
[9]
Dimension witnesses and quantum state discrimination
N. Brunner, M. Navascués, and T. Vértesi, Di- mension Witnesses and Quantum State Discrim- ination, Phys. Rev. Lett.110, 150501 (2013), arXiv:1209.5643 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[10]
C. W. Helstrom, Quantum detection and estima- tion theory, Journal of statistical physics1, 231– 252 (1969)
1969
- [11]
-
[12]
Watrous,��� ������ �� ������� �������� ����(Cambridge University Press, 2018)
J. Watrous,��� ������ �� ������� �������� ����(Cambridge University Press, 2018)
2018
-
[13]
Skrzypczyk and D
P. Skrzypczyk and D. Cavalcanti,����������� ����������� �� ������� ����������� �������, IOP Series in Quantum Technology (Institute of Physics Publishing, 2023)
2023
-
[14]
Optimal Encoding of Classical Information in a Quantum Medium
N. Elron and Y. C. Eldar, Optimal encod- ing of classical information in a quantum me- dium, IEEE Transactions on Information Theory 53, 1900–1907 (2007), arXiv:quant-ph/0601010 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 1900
-
[15]
T. Heinosaari, L. Leppäjärvi, and M. Plávala, Encoding and decoding of information in gen- eral probabilistic theories, International Journal of Quantum Information22, 2440007 (2024), arXiv:2311.17522 [quant-ph]
-
[16]
A. Anshu and S. Arunachalam, A survey on the complexity of learning quantum states, Nature Reviews Physics6, 59–69 (2024), arXiv:2305.20069 [quant-ph]
-
[17]
R. O’Donnell and J. Wright, Efficient quantum tomography, arXiv e-prints (2015), arXiv:1508.01907 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[18]
Quantum metrology from a quantum information science perspective
G. Tóth and I. Apellaniz, Quantum metrology from a quantum information science perspective, Journal of Physics A Mathematical General47, 424006 (2014), arXiv:1405.4878 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2014
-
[19]
M. S. Alvim, K. Chatzikokolakis, A. McIver, C. Morgan, C. Palamidessi, and G. Smith, ��� ������� �� ������������ ����������� ���� (Springer, 2020)
2020
-
[20]
M. S. Alvim, K. Chatzikokolakis, C. Palamidessi, and G. Smith, Measuring information leakage using generalized gain functions, in���� ���� ���� �������� �������� ����������� ��������� (2012) pp. 265–279
2012
-
[21]
M. S. Alvim, K. Chatzikokolakis, A. Mciver, C. Morgan, C. Palamidessi, and G. Smith, Ad- ditive and multiplicative notions of leakage, and their capacities, in���� ���� ���� �������� ��� ������ ����������� ���������(2014) pp. 308– 322
2014
-
[22]
Espinoza and G
B. Espinoza and G. Smith, Min-entropy as a re- source, Information and Computation226, 57–75 (2013), special Issue: Information Security as a Resource. 22
2013
-
[23]
D. M. Smith and G. Smith, Tight bounds on information leakage from repeated independent runs, in���� ���� ���� �������� �������� ����������� ��������� �����(2017) pp. 318– 327
2017
-
[24]
Köpf and G
B. Köpf and G. Smith, Vulnerability bounds and leakage resilience of blinded cryptography under timing attacks, in���� ���� ���� �������� ��� ������ ����������� ���������(2010) pp. 44–56
2010
-
[25]
Boreale, F
M. Boreale, F. Pampaloni, and M. Paolini, Asymptoticinformation leakage underone-tryat- tacks, in����������� �� �������� ������� ��� ������������� ����������, edited by M. Hofmann (Springer Berlin Heidelberg, Berlin, Heidelberg,
-
[26]
Boreale, F
M. Boreale, F. Pampaloni, and M. Paolini, Quantitative information flow, with a view, in �������� �������� � ������� ����, edited by V. Atluri and C. Diaz (Springer Berlin Heidel- berg, Berlin, Heidelberg, 2011) pp. 588–606
2011
-
[27]
Braun, K
C. Braun, K. Chatzikokolakis, and C. Palam- idessi, Quantitative notions of leakage for one- try attacks, Electronic Notes in Theoretical Com- puter Science249, 75–91 (2009), proceedings of the 25th Conference on Mathematical Founda- tions of Programming Semantics (MFPS 2009)
2009
-
[28]
A. W. Harrow, The Church of the Symmet- ric Subspace, arXiv e-prints , arXiv:1308.6595 (2013), arXiv:1308.6595 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2013
- [29]
-
[30]
A.AmbainisandJ.Emerson,Quantumt-designs: t-wise independence in the quantum world, arXiv e-prints , quant-ph/0701126 (2007), arXiv:quant- ph/0701126 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2007
-
[31]
Reexamination of optimal quantum state estimation of pure states
A. Hayashi, T. Hashimoto, and M. Horibe, Reex- amination of optimal quantum state estimation of pure states, Phys. Rev. A72, 032325 (2005), arXiv:quant-ph/0410207 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[32]
Seymour and T
P. Seymour and T. Zaslavsky, Averaging sets: A generalization of mean values and spherical designs, Advances in Mathematics52, 213–240 (1984)
1984
-
[33]
Optimal asymptotic bounds for spherical designs
A. Bondarenko, D. Radchenko, and M. Viazovska, Optimal asymptotic bounds for spherical designs, Annals of mathematics , 443–452 (2013), arXiv:1009.4407 [math.MG]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[34]
R. H. Hardin and N. J. A. Sloane, Spherical designs,���������������������������������, accessed: 2026-04-29
2026
- [35]
-
[36]
Exact distinguishability between real-valued and complex-valued Haar random quantum states
T. Nemoz, R. Alléaume, and P. Brown, Exact dis- tinguishability between real-valued and complex- valued Haar random quantum states, arXiv e- prints (2025), arXiv:2507.16939 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[37]
Arora and B
S. Arora and B. Barak,������������� �������� ���� � ������ ��������(Cambridge University Press, 2009)
2009
-
[38]
J. Bavaresco, M. Murao, and M. T. Quintino, Unitary channel discrimination beyond group structures: Advantages of sequential and indefinite-causal-order strategies, Journal of Mathematical Physics63, 042203 (2022), arXiv:2105.13369 [quant-ph]
-
[39]
P. Hausladen and W. K. Wootters, A ‘pretty good’ measurement for distinguish- ing quantum states, Journal of Mod- ern Optics41, 2385–2390 (1994), ht- tps://doi.org/10.1080/09500349414552221
-
[40]
T. M. Cover and J. A. Thomas,�������� �� ����������� ������ ������ ������ �� ����� �������������� ��� ������ �����������(Wiley- Interscience, USA, 2006)
2006
- [41]
-
[42]
OEIS Foundation Inc., Sequence A063170 (2026), the On-Line Encyclopedia of Integer Sequences, published electronically at����������������� �������
2026
-
[43]
An identity conjectured by Lacasse via the tree function
H. Prodinger, An identity conjectured by La- casse via the tree function, arXiv e-prints (2013), arXiv:1301.3669 [math.CO]
work page internal anchor Pith review Pith/arXiv arXiv 2013
-
[44]
Flajolet, P
P. Flajolet, P. J. Grabner, P. Kirschenhofer, and H. Prodinger, On ramanujan’s q-function, Journal of Computational and Applied Mathem- atics58, 103–116 (1995)
1995
-
[45]
P. E. Frenkel and M. Weiner, Classical Inform- ation Storage in an n-Level Quantum System, Communications in Mathematical Physics340, 563–574 (2015), arXiv:1304.5723 [cs.IT]
work page internal anchor Pith review Pith/arXiv arXiv 2015
-
[46]
T. Heinosaari and M. Hillery, Can a qudit carry more information than a dit?, Contempor- ary Physics65, 2–11 (2024), arXiv:2406.16566 [quant-ph]
-
[47]
Jacquet and W
P. Jacquet and W. Szpankowski, Entropy com- putations via analytic depoissonization, IEEE Transactions on Information Theory45, 1072– 1081 (1999)
1999
-
[48]
How to evaluate n∑ k=0 √(n k )
robjohn, Answer to "How to evaluate n∑ k=0 √(n k ) ", Mathematics Stack Exchange, version 2014-07- 15
2014
-
[49]
Boyd and L
S. Boyd and L. Vandenberghe,������ �������� �����(Cambridge University Press, 2004)
2004
-
[50]
A. Mohan, J. Sikora, and S. Upadhyay, A gener- alized framework for quantum state discrimina- tion, hybrid algorithms, and the quantum change 23 point problem, arXiv e-prints , arXiv:2312.04023 (2023), arXiv:2312.04023 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[51]
D. P. Kingma and J. Ba, Adam: A method for stochastic optimization, arXiv e-prints , arXiv:1412.6980v9 (2017), arXiv:1412.6980 [cs.LG]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[52]
ApS,����� ������(2025)
M. ApS,����� ������(2025)
2025
-
[53]
Kvashchuk, GitHub repository: The most dis- criminable quantum states in the multicopy re- gime (2026)
M. Kvashchuk, GitHub repository: The most dis- criminable quantum states in the multicopy re- gime (2026)
2026
-
[54]
A. C. Doherty, P. A. Parrilo, and F. M. Sped- alieri, Complete family of separability criteria, Phys. Rev. A69, 022308 (2004)
2004
-
[55]
C. M. Caves, C. A. Fuchs, and R. Schack, Un- known quantum states: The quantum de Finetti representation, Journal of Mathematical Physics 43, 4537–4559 (2002)
2002
-
[56]
Peres, Separability criterion for density matrices, Phys
A. Peres, Separability criterion for density matrices, Phys. Rev. Lett.77, 1413–1415 (1996)
1996
-
[57]
Diamond and S
S. Diamond and S. Boyd, CVXPY: A Python- embedded modeling language for convex optim- ization, Journal of Machine Learning Research 17, 1–5 (2016)
2016
-
[58]
Agrawal, R
A. Agrawal, R. Verschueren, S. Diamond, and S. Boyd, A rewriting system for convex optimiz- ation problems, Journal of Control and Decision 5, 42–60 (2018)
2018
-
[59]
O’Donoghue, Operator splitting for a homo- geneous embedding of the linear complementar- ity problem, SIAM Journal on Optimization31, 1999–2023 (2021)
B. O’Donoghue, Operator splitting for a homo- geneous embedding of the linear complementar- ity problem, SIAM Journal on Optimization31, 1999–2023 (2021)
1999
-
[60]
L. B. Vieira, GitHub repository: The most dis- criminable quantum states in the multicopy re- gime (2026)
2026
- [61]
-
[62]
M. Plávala, General probabilistic theories: An introduction, Physics Reports1033, 1–64 (2023), arXiv:2103.07469 [quant-ph]
-
[63]
J. Barrett, Information processing in generalized probabilistic theories, arXiv e-prints , quant- ph/0508211 (2005), arXiv:quant-ph/0508211 [quant-ph]
- [64]
-
[65]
Emergence of Quantum Correlations from Non-Locality Swapping
P. Skrzypczyk, N. Brunner, and S. Popescu, Emergence of Quantum Correlations from Non- locality Swapping, Phys. Rev. Lett.102, 110402 (2009), arXiv:0811.2937 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2009
-
[66]
Entanglement swapping for generalized non-local correlations
T. Short, S. Popescu, and N. Gisin, Entangle- ment swapping for generalized non-local correla- tions, arXiv e-prints , quant-ph/0508120 (2005), arXiv:quant-ph/0508120 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2005
- [67]
-
[68]
K. Matsumoto and G. Kimura, Information stor- ing yields a point-asymmetry of state space in general probabilistic theories, arXiv e-prints , arXiv:1802.01162 (2018), arXiv:1802.01162 [quant-ph]
-
[69]
Most incompatible measurements for robust steering tests
J. Bavaresco, M. T. Quintino, L. Guerini, T. O. Maciel, D. Cavalcanti, and M. T. Cunha, Most incompatible measurements for robust steer- ing tests, Phys. Rev. A96, 022110 (2017), arXiv:1704.02994 [quant-ph]
work page internal anchor Pith review Pith/arXiv arXiv 2017
-
[70]
Achenbach, L
T. Achenbach, L. Leppäjärvi, L. Hanwool, and T. Heinosaari, Nonclassical traits in multi-copy state discrimination (2026), arXiv:2604.xxxx [quant-ph]
2026
-
[71]
left” and “right
P. Delsarte, J. Goethals, and J. Seidel, Spherical codes and designs, in�������� ��� ��������� �����, edited by D. Corneil and R. Mathon (Aca- demic Press, 1991) pp. 68–93. 24 Appendix A Summary of results for two-dimensional systems The table below presents the values ofΩ(d= 2,N,k), including analytical and numerical calculations. � � �� � ���� ���� � � ...
1991
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.