Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

The paper proves that every figure of merit in two-state state discrimination—guessing probability, inconclusive rate, and per-outcome confidence—exceeds its noncontextual bound in quantum theory.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · deepseek-v4-flash

2026-08-03 23:47 UTC pith:KG2RFOWQ

load-bearing objection The MESD confidence trade-off is real and worth publishing; the MCM inconclusive-rate bound is unproven and false at p=1, so the universality claim fails. the 3 major comments →

arxiv 2511.04100 v2 pith:KG2RFOWQ submitted 2025-11-06 quant-ph

Contextual advantages across two-state discrimination strategies

Kieran Flatt , Joonwoo Bae This is my paper
classification quant-ph
keywords generalized contextualitystate discriminationminimum-error discriminationunambiguous discriminationmaximum-confidence measurementsnoncontextual inequalitiesprepare-and-measureconfusability
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

State discrimination—guessing which of two prepared quantum states you received—has three standard measures of success: the average chance of guessing right, the rate at which the measurement gives up and says nothing, and the confidence in each individual answer. Earlier work had shown that each of the three standard discrimination schemes (minimum-error, unambiguous, maximum-confidence) can beat noncontextual theories on one of these measures. This paper closes the table: it exhibits quantum advantages for the remaining cells—the per-outcome confidences in minimum-error discrimination, the average guessing probability in unambiguous discrimination, and both the inconclusive rate and the guessing probability in maximum-confidence discrimination. The authors' conclusion is that contextuality is witnessed in every two-state discrimination scheme and in every figure of merit, making these tasks universal witnesses of generalized contextuality. If true, any quantum advantage in state-discrimination-based protocols can be attributed to contextuality.

Core claim

On the paper's own terms, the discovery is that the full matrix of contextual advantages in two-state discrimination is now complete. Concretely, for an equiprobable binary ensemble of pure states, the Helstrom measurement gives per-outcome confidences C(Q)(i) = Pg that exceed the noncontextual confidence for both outcomes whenever the mixing parameter ω of the noncontextual strategy lies between ω* and 1−ω*; for unambiguous discrimination, the quantum guessing probability Pg = 1 − P0 beats the noncontextual Pg because the noncontextual inconclusive rate ½(1+c) is always larger than the quantum one; and for maximum-confidence measurements on dephased (noisy) two-state ensembles, the paper de

What carries the argument

The argument runs in the ontological-model framework of generalized contextuality. The central objects are: (i) epistemic states µi(λ) representing preparations; (ii) response functions ξi(λ) representing measurement outcomes, normalized so that Σ ξi = 1 for each ontic state λ; and (iii) the confusability c1,2 = ∫ dλ µ2 ξ1, fixed to the squared overlap |⟨ψ1|ψ2⟩|² when comparing with quantum theory. Preparation noncontextuality is enforced via a mirror ensemble, which forces µ1 = µ2 on the overlap of their supports and yields the noncontextual guessing-probability bound for MESD. The new bounds come from writing the noncontextual optimal measurements in closed form: the MESD confidence calcul

Load-bearing premise

The load-bearing premise is that the noncontextually optimal maximum-confidence measurement has the same support structure as an unambiguous-discrimination measurement (Eq. 36); the paper asserts this without proof and optimizes the inconclusive rate only within that family, so if another noncontextual measurement achieves the same maximum confidence with a lower inconclusive rate, the derived MCM bounds fail.

What would settle it

For a dephased two-state ensemble with fixed overlap c and noise p, compute the global minimum of P0 over all noncontextual response functions {ξ1, ξ2, ξ0 = 1−ξ1−ξ2} subject to the constraint that C(i) equals the maximum confidence; if the minimum is strictly below ½(1+(1−p)c), Eq. 44 is not the true noncontextual bound. A simpler falsifier: take p→1, where the states are nearly maximally mixed, and note that the two-outcome measurement with ξ0 = 0 achieves the maximal confidence 1/2 with P0 = 0, contradicting the limit of Eq. 44.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

If this is right

  • Every two-state discrimination task—regardless of whether the figure of merit is average success, inconclusive rate, or per-outcome confidence—certifies generalized contextuality: a single experimental run of these tasks can be used as a contextuality witness.
  • The results provide a complete set of noncontextual inequalities for binary state discrimination, directly usable in noisy experimental settings where confidences, rather than average success, are the robust figure of merit.
  • State-discrimination-based applications such as randomness generation and sequential communication can now be analyzed with the knowledge that their quantum advantages over classical models are grounded in contextuality.
  • The MCM guessing-probability inequality combines the inconclusive-rate and confidence bounds, giving a single quantity that witnesses contextuality in noisy dephased ensembles.
  • The trade-off in MESD confidences (Eqs. 29–30) shows that contextuality can persist even when the average guessing probability is at its noncontextual bound, so confidence data add a strictly stronger witness.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The most fragile step is the unproved structural assumption (Eq. 36) about the noncontextually optimal maximum-confidence measurement: if a noncontextual measurement outside the USD-like family can attain the same maximal confidence with a smaller inconclusive rate, the bounds P0_NC and Pg_NC would need revision. In the p→1 limit the issue is concrete: a two-outcome measurement with ξ0 = 0 achieve
  • The completeness claim is explicitly two-state; extending the 'all figures of merit' conclusion to N-state ensembles would require showing analogous bounds in the SDP-based MCM construction, and nothing in the paper guarantees the mirror-ensemble argument generalizes.
  • A direct testable extension: instead of restricting to the USD-like support structure, parametrize all noncontextual response functions on the four support regions of the dephased ensemble and minimize P0 subject to attaining the maximum confidence; the result would settle whether Eq. 44 is tight or merely a bound.
  • The paper's comparison fixes confusability to the squared overlap; an alternative would be to fix the guessing probability or the inconclusive rate to their quantum values and ask what confidence the noncontextual model can achieve—this dual formulation might yield tighter inequalities for experimental tests.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper aims to complete the picture of contextual advantages in binary state discrimination by deriving noncontextuality inequalities for all three figures of merit—guessing probability, inconclusive rate, and confidence—across three schemes: minimum-error, unambiguous, and maximum-confidence discrimination. For MESD, the authors analyze the confidences of the two outcomes and find a parameter range of noncontextual optimal measurements where quantum exceeds noncontextual confidence. For USD, the guessing probability advantage is noted to follow from the known inconclusive-rate bound. For MCM on a dephased binary ensemble, the authors derive purported noncontextual bounds on the inconclusive rate and the guessing probability. The central claim is that contextual advantages are universal across all two-state discrimination schemes and figures of merit.

Significance. If the MCM bounds were valid, the paper would provide a valuable unification: every standard figure of merit in two-state discrimination would witness generalized contextuality, and the explicit inequalities could be used in noise-robust experimental tests. The paper is self-contained within the generalized-contextuality framework, builds on prior work (Refs. [7,8]), and provides explicit formulas. However, the MCM inconclusive-rate derivation rests on an unproven and, at p=1, false restriction on the response functions; the algebra leading to the bound also contains an inconsistency. The MESD confidence claim is not stated as a proper noncontextuality inequality for individual outcomes. The strengths are the clear organization and the explicit treatment of the non-uniqueness of noncontextual MESD strategies.

major comments (3)
  1. [MCM: Inconclusive Outcome Rate (Eqs. 36, 44, 47)] Eq. 36 is asserted without proof and is load-bearing: the minimization of P0 is restricted to a USD-like family, and the resulting bounds (Eqs. 44, 47) are presented as general noncontextual bounds. The assumption is false at p=1: the states coincide, maximum confidence is 1/2, and ξ1=ξ2=1/2, ξ0=0 achieves C=1/2 with P0=0, contradicting P0_NC=1/2 (Eq. 44) and Pg_NC=1/4 (Eq. 47). For p<1 the same concern applies: nothing prevents two-outcome response functions from attaining the maximal confidence with lower P0. The authors must solve the full optimization over response functions on the four ontic regions or prove a support lemma.
  2. [Eq. 40] Eq. 40 contains an algebraic identity that is false as written: c + (1−γ)c is not equal to 1−γ+γc in general (unless c=1/2 or γ=1). Since Eq. 40 and its analog Eq. 41 feed directly into Eq. 43, the derivation of P0_NC is unreliable. A direct computation using the support structure of Eq. 37 gives ∫ ξ0 μ1 = 1 − γ2 − γ1 c (assuming the usual normalization and μ1=μ2 on the overlap), which differs from the text. The authors should re-derive the integrals and state explicitly which ontic regions each term covers.
  3. [MESD: Confidences (Eqs. 23–24, 31)] The MESD confidence analysis is not formulated as a noncontextuality inequality for individual outcomes. For a fixed outcome, the noncontextual confidence can be as high as 1 (Eqs. 23–24), so the quantum confidence (Eq. 20) does not exceed the maximum noncontextual value. The advantage holds only for a restricted range of the mixing parameter ω (Eq. 31) or, equivalently, if the figure of merit is taken to be the minimum confidence over the two outcomes (whose noncontextual maximum is 1−c/2 from ω=1/2). The abstract's statement that 'the advantage is in terms of the confidences of individual outcomes' is therefore misleading; the authors should either define the figure of merit precisely and derive the corresponding bound, or soften the claim.
minor comments (4)
  1. [Eq. (9)] Eq. (9) contains a typo: the mirror states are written as |ψ1⟩ on both sides; the orthogonal states |ψ1⊥⟩ and |ψ2⊥⟩ are intended. Also, the condition below Eq. (9) is garbled.
  2. [Figure 2 caption] The caption states 'c1,2 = |⟨ψ1|ψ2⟩| = 1/2', but c1,2 is defined as the squared overlap |⟨ψ1|ψ2⟩|^2 (Eq. 6 and Eq. 31). Please correct.
  3. [MCM: Guessing probability (after Eq. 46)] The text says 'both P0 and C have been previously calculated for both quantum and contextual theories' — 'contextual' should read 'noncontextual'.
  4. [Eq. (37)] The notation for the four ontic regions is unclear; the use of overlines and intersections should be defined explicitly.

Circularity Check

0 steps flagged

No significant circularity; the MCM guessing-probability advantage is a valid corollary of independently derived bounds, although Eq. 36 is an unproven variational restriction (a correctness risk, not a circular step).

full rationale

The derivations are self-contained calculations in the Spekkens generalized-contextuality framework: no parameter is fitted to data and no quantity is renamed as a prediction. The new inequalities — MESD confidences, the MCM inconclusive rate, and the MCM guessing probability — are obtained by direct integration over stated response functions, and the MCM guessing-probability bound follows algebraically from the paper's own P0 bound together with the published confidence bound of Ref. [8]; that is a legitimate inference, not circularity. Ref. [8] is by the same group, but it is an externally published result with stated assumptions and is not used to forbid alternatives, so the self-citation is not load-bearing in the circularity sense. The one load-bearing gap is not circular: Eq. 36 asserts without proof that the noncontextually optimal maximum-confidence measurement has USD-like response functions, and the minimization is restricted to that family; at p→1 a constant measurement attains the maximum confidence with P0 = 0 and Pg = 1/2, so Eqs. 44 and 47 may fail as global noncontextual bounds. This is a correctness risk in proving the bound, not a reduction of the conclusion to its input by construction.

Axiom & Free-Parameter Ledger

2 free parameters · 7 axioms · 0 invented entities

No data-fitted free parameters; the tunable quantities (ω, γ1, γ2) are strategy parameters, and p and c are independent problem variables. The heaviest assumptions are the mirror-ensemble construction and the unproven USD-like optimality of the noncontextual MCM, the latter being the most fragile.

free parameters (2)
  • ω
    Mixing weight for noncontextual minimum-error strategies M1/M2; no value is fitted, but the claimed quantum advantage in both MESD confidences holds only for ω∈[ω*,1−ω*] (Eq. 31).
  • γ1, γ2
    Gains of the USD-like response functions in the noncontextual MCM; minimized with γ1+γ2≤1 to obtain Eq. 44. Not fitted to data.
axioms (7)
  • domain assumption Spekkens generalized-contextuality framework: operational theories decomposed into preparations, measurements, and response functions over an ontic state space.
    The entire notion of 'noncontextual bound' presupposes this operational-ontological model (Eqs. 4–7).
  • domain assumption For each pure state there exists a deterministic response function.
    Stated as an 'additional assumption' before Eq. 7; used to derive μ1=μ2 on the support overlap (Eq. 11) and to evaluate the MESD strategies.
  • domain assumption Probabilistic mixing of quantum states maps to probabilistic mixing of epistemic states.
    Eq. 7; used throughout, e.g., to express noisy epistemic states in Eq. 38.
  • ad hoc to paper Existence of a 'mirror ensemble' of orthogonal states {|ψ1⊥⟩, |ψ2⊥⟩} to enforce preparation equivalence.
    The paper states this is assumed (Section 'MESD: Success Probability', around Eq. 9) to create the preparation equivalence that constrains the epistemic states; not part of the bare two-state scenario.
  • domain assumption Confusability c1,2 is identified with the squared quantum overlap |⟨ψ1|ψ2⟩|².
    Sets the comparison convention between quantum and noncontextual theories; used in all bounds.
  • ad hoc to paper The noncontextually optimal maximum-confidence measurement has the same support structure as unambiguous state discrimination (Eq. 36).
    Asserted without proof after Eq. 35; load-bearing for the MCM inconclusive-rate and guessing-probability results.
  • domain assumption For quantum MCM, the optimal POVM is rank-one with the structure given in Eq. 34.
    Taken from the cited literature (Ref. [19]) and used to compute the quantum inconclusive rate P0_Q (Eq. 35).

pith-pipeline@v1.3.0-alltime-deepseek · 10483 in / 26579 out tokens · 247102 ms · 2026-08-03T23:47:14.768947+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Contextual advantages across two-state discrimination strategies." pith.science (2026). https://pith.science/paper/KG2RFOWQ

@misc{pith2026251104100,
  author       = {Pith},
  title        = {Pith review of: Contextual advantages across two-state discrimination strategies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KG2RFOWQ}},
  note         = {Machine review of arXiv:2511.04100}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

Quantum state discrimination, alongside its other applications, has recently found use as a tool for witnessing generalised contextuality. In this article, we derive noncontextuality inequalities for both conclusive and inconclusive outcomes across various guessing strategies. For minimum-error discrimination, the advantage is in terms of the confidences of individual outcomes, while for unambiguous state discrimination, it is in terms of the average guessing probability. For maximum-confidence discrimination, we show that contextual advantages occur not only for the confidence but also their average, the guessing probability, as well as the inconclusive outcome rate. Our results show that contextual advantages are observed across all two-state discrimination schemes and figures of merit. We envisage that various quantum information applications based on state discrimination may offer advantages over noncontextual theories.

Figures

Figures reproduced from arXiv: 2511.04100 by Joonwoo Bae, Kieran Flatt.

Figure 1
Figure 1. Figure 1: A general state discrimination scheme requires a part [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: The confidences found when a minimum error meas [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: The inconclusive outcome probability P0 in both quantum (solid black line) and noncontextual (dashed blue line) theories for the task of discriminating two noisy states characterised by a noise parameter p and overlap c1,2 is plotted for varying p (fixed overlap c1,2 = 1/2) and varying c1,2 (fixed noise p = 3/4). The final piece to evaluate is the integral over the max￾imally mixed epistemic state. In orde… view at source ↗
Figure 4
Figure 4. Figure 4: The guessing probability by quantum (black solid [PITH_FULL_IMAGE:figures/full_fig_p008_4.png] view at source ↗

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Contextual advantage implies limited distinguishability in any physical theory

    quant-ph 2026-07 accept novelty 6.0

    In any generalized probabilistic theory, any state set that powers a contextuality-based advantage must obey strict upper bounds on how often its states can be correctly distinguished.

Reference graph

Works this paper leans on

28 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [1]

    When comparing noncontextual theories with quantum theory, this value is to be interpreted as the squared overlap of the state

    This function is symmetric such that c1,2 = c2,1. When comparing noncontextual theories with quantum theory, this value is to be interpreted as the squared overlap of the state. That is, if |ψ1⟩ and |ψ2⟩ are associated with the epistemic states µ1(λ) and µ2(λ) respectively, then the two theories are compared by fixing c1,2 = |⟨ψ1|ψ2⟩|2. Two additional ass...

  2. [2]

    Schmid, R

    D. Schmid, R. W. Spekkens, and E. Wolfe, Phys. Rev. A 97, 062103 (2018)

    2018

  3. [3]

    Lostaglio and G

    M. Lostaglio and G. Senno, Quantum4, 258 (2020)

    2020

  4. [4]

    R. W. Spekkens, Phys. Rev. A71, 052108 (2005)

    2005

  5. [5]

    J. A. Bergou, Journal of Modern Optics57, 160–180 (2010)

    2010

  6. [6]

    S. M. Barnett and S. Croke, Adv. Opt. Photon.1, 238 (2009)

    2009

  7. [7]

    and subsequent works generalised this to aspects of unambiguous state discrimination (USD) and maximum confidence measurements (MCMs). [ 8, 9]. Our aim in this paper is to complete this picture. We show that the ability to witness quantum advantages is universal across all forms of state discrimination, and in all measures of success. Demonstrations of qu...

    Pith/arXiv arXiv 2025

  8. [8]

    Bae and L.-C

    J. Bae and L.-C. Kwek, Journal of Physics A: Mathemat- ical and Theoretical48, 083001 (2015)

    2015

  9. [9]

    Roch i Carceller, K

    C. Roch i Carceller, K. Flatt, H. Lee, J. Bae, and J. B. Brask, Phys. Rev. Lett.129, 050501 (2022)

    2022

  10. [10]

    Schmid and R

    D. Schmid and R. W. Spekkens, Phys. Rev. X8, 011015 (2018)

    2018

  11. [11]

    Flatt, H

    K. Flatt, H. Lee, C. R. I. Carceller, J. B. Brask, and J. Bae, PRX Quantum3, 030337 (2022)

    2022

  12. [12]

    Helstrom,Quantum Detection and Estimation Theory, Mathematics in Science and Engineering : a series of monographs and textbooks (Academic Press, 1976)

    C. Helstrom,Quantum Detection and Estimation Theory, Mathematics in Science and Engineering : a series of monographs and textbooks (Academic Press, 1976)

    1976

  13. [13]

    M. F. Pusey, J. Barrett, and T. Rudolph, Nature Physics 8, 475 (2012)

    2012

  14. [14]

    M. S. Leifer, Quanta3, 67 (2014)

    2014

  15. [15]

    Peres, Physics Letters A128, 19 (1988)

    A. Peres, Physics Letters A128, 19 (1988)

    1988

  16. [16]

    Ivanovic, Physics Letters A123, 257 (1987)

    I. Ivanovic, Physics Letters A123, 257 (1987)

    1987

  17. [17]

    Dieks, Physics Letters A126, 303 (1988)

    D. Dieks, Physics Letters A126, 303 (1988)

    1988

  18. [18]

    P. J. Mosley, S. Croke, I. A. Walmsley, and S. M. Barnett, Phys. Rev. Lett.97, 193601 (2006)

    2006

  19. [19]

    Chefles, Physics Letters A239, 339 (1998)

    A. Chefles, Physics Letters A239, 339 (1998)

    1998

  20. [20]

    Croke, E

    S. Croke, E. Andersson, S. M. Barnett, C. R. Gilson, and J. Jeffers, Phys. Rev. Lett.96, 070401 (2006)

    2006

  21. [21]

    Pl´ avala and O

    M. Pl´ avala and O. G¨ uhne, Phys. Rev. Lett.132, 100201 (2024)

    2024

  22. [22]

    H. Lee, K. Flatt, C. Roch i Carceller, J. B. Brask, and J. Bae, Phys. Rev. A106, 032422 (2022)

    2022

  23. [23]

    Reassessing the boundary between classical and non- classical for individual quantum processes,

    Y. Zhang, D. Schmid, Y. Y ¯ ıng, and R. W. Spekkens, “Reassessing the boundary between classical and non- classical for individual quantum processes,” (2025), arXiv:2503.05884 [quant-ph]

    arXiv 2025

  24. [24]

    J. B. Brask, A. Martin, W. Esposito, R. Houlmann, J. Bowles, H. Zbinden, and N. Brunner, Phys. Rev. Appl. 7, 054018 (2017)

    2017

  25. [25]

    V. J. Wright and M. Farkas, Phys. Rev. Lett.131, 220202 (2023)

    2023

  26. [26]

    Khoshbin, L

    M. Khoshbin, L. Catani, and M. Leifer, Phys. Rev. A 109, 032212 (2024)

    2024

  27. [28]

    Sequential quantum maximum confidence discrimination,

    H. Lee, K. Flatt, and J. Bae, “Sequential quantum maximum confidence discrimination,” (2024), arXiv:2411.12550 [quant-ph]

    Pith/arXiv arXiv 2024

  28. [37]

    First, we find Z Λ dλξ0(λ)µ1(λ) = Z supp[µ1]∩supp[µ2] dλµ1(λ) + (1−γ 1) Z supp[µ1]∩supp[µ2] dλµ2(λ) =c 1,2 + (1−γ 1)c1,2 = 1−γ 1 +γ 1c1,2 (40) A similar process gives Z Λ dλξ0(λ)µ2(λ) = 1−γ 2 +γ 2c1,2 (41) Figure 3. The inconclusive outcome probability P 0 in both quantum (solid black line) and noncontextual (dashed blue line) theories for the task of dis...

    2023