Pith. sign in

REVIEW 5 minor 1 cited by

A single quantum measurement looks classical; nonclassicality appears only when many calibrated shadows cannot glue into one joint distribution.

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 · grok-4.5

2026-07-13 03:56 UTC pith:ZKG4B622

load-bearing objection Sound, modest reorganization of known facts into a useful staged checklist; no new theorem, but clean enough to send to referees.

arxiv 2607.09312 v1 pith:ZKG4B622 submitted 2026-07-10 quant-ph

Operational Shadows of Hilbert-Space Probabilities

Karl Svozil This is my paper
classification quant-ph PACS 03.65.Ta03.65.Ud
keywords operational shadowsresponse curvescalibrated knobparameter cheatsFarkas lemmasimplex embeddabilityKCBS pentagoncontextuality
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.

This paper argues that the click statistics of one fixed quantum measurement are operationally identical to ordinary classical probabilities on a partition: both land on the same probability simplex. Once a physical control knob is retained and turned continuously, the data become a response curve, and classical linear, Malus-type quantum, softmax, and threshold maps can be distinguished only when the knob’s calibration, continuity, and composition law are part of the experiment. Even two intertwined contexts still admit a classical joint model whenever they agree on shared outcomes. Genuine multi-context nonclassicality begins only when a family of local probability shadows cannot be assembled into one nonnegative global distribution or simplex factorization. At that point Farkas’ lemma supplies an exact alternative: either a classical extension exists, or a separating linear inequality certifies that it does not. The result matters because it cleanly separates methodological response-curve comparisons from genuine impossibility theorems and shows where elastic-band or parameter-cheat constructions stop working.

Core claim

At one frozen setting a sharp quantum context casts the same operational shadow as a classical partition; two contexts that agree on shared atoms can always be coupled classically; genuine nonclassicality appears only when a web of local shadows fails to extend to a single nonnegative global distribution or simplex factorization, in which case Farkas’ lemma yields a separating linear inequality.

What carries the argument

Farkas’ lemma applied to the linear feasibility system Mq = b, q ≥ 0: either a classical joint distribution over deterministic global assignments exists, or a vector y with yᵀM ≥ 0 and yᵀb < 0 certifies impossibility.

Load-bearing premise

A change of the control parameter is physically admissible only when it preserves the independently calibrated composition and group action of the apparatus; free continuous re-labelings are not allowed.

What would settle it

Exhibit a multi-context family of observed probabilities that violate a Farkas certificate yet still admit a nonnegative classical joint extension, or show that an equivariant classical response reproduces an entire calibrated Malus family without setting-dependent realignment.

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

Share X Bluesky LinkedIn Reddit HN

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

0 major / 5 minor

Summary. The paper argues that a single sharp quantum context yields detector-click statistics operationally indistinguishable from classical simplex probabilities (Prop. 1), so classical-versus-quantum distinctions cannot be read from one frozen shadow. Retaining a calibrated physical knob turns the data into a response curve; linear classical, Malus-type, softmax, and threshold maps are then distinguishable within a specified model class, but only when the reparameterization intertwines the apparatus group action—and such curve comparisons alone do not yield a no-go theorem. Two contexts that agree on shared atoms always admit a classical joint coupling (Prop. 2). Genuine multi-context nonclassicality appears only when a family of local shadows fails to extend to one nonnegative global distribution or simplex factorization; Farkas’ lemma supplies the exact alternative (existence or a separating inequality). The pentagon half-weight is used as an explicit admissible, atom-consistent, post-quantum point, with an exact Farkas certificate y = 2n − c for the KCBS bound.

Significance. If accepted as stated, the contribution is a clean methodological staging of what operational data can and cannot certify: shadow, calibrated response, weak pasting, global web. The elementary coupling theorem (Prop. 2), the Fréchet–Hoeffding residual, and the explicit Farkas dual for the pentagon half-weight are correctly derived and useful as teaching and diagnostic tools. The paper does not claim a new impossibility theorem; it clarifies when response-law comparisons stop and when linear feasibility (Farkas / simplex embeddability) begins. That separation is valuable for contextuality and GPT literature, even though the underlying convex geometry is standard. Strengths include exact dual certificates, transparent elementary proofs, and an explicit warning against non-equivariant “parameter cheats.”

minor comments (5)
  1. Sec. III, Eqs. (5)–(12) and Fig. 1: the inverse-knob transcriptions are clear, but a one-line formal definition of “admissible reparameterization” (equivariant map for the calibrated G-action) would make the methodological filter easier to cite and would reduce reliance on the informal “parameter cheat” language.
  2. Sec. V, path (27) and the generalized-softmax reading: state explicitly that this is only an admissible interpolation of static weights, not a claim that a single physical score mechanism generates the whole path; the text already says this later, but a forward pointer at (27) would help.
  3. Sec. VI: the brief contrast with Spekkens preparation noncontextuality is accurate but terse; one sentence pointing to the symmetric simplex-embedding tests already cited [12, 13] would close the preparation-side discussion more cleanly.
  4. References: several of the author’s earlier works are used as illustrations (parameter cheats, elastic-band models). That is fine, but a short clause in the introduction noting that those constructions are pedagogical examples rather than premises would help readers who are new to that literature.
  5. Typographical: “ST A TIC” / “CALIBRA TED” / “F arkas” / “PENT AGON” / “CO-V AR Y” appear as spaced section titles in the source; ensure the published version uses ordinary spacing. Also “Fréchet–Hoeffding” is written with a broken accent in places.

Circularity Check

0 steps flagged

No significant circularity: central claims rest on elementary coupling and Farkas, not on self-cited premises.

full rationale

The paper’s load-bearing steps are self-contained elementary arguments, not reductions to their own inputs. Proposition 1 constructs an explicit pure state realizing any simplex point for one context. Proposition 2 is the standard two-marginal coupling (with shared atoms already fixed and residual mass distributed by the product formula or Fréchet–Hoeffding bounds). The multi-context obstruction is written as the linear feasibility system Mq = b, q ≥ 0, with Farkas’ lemma supplying the exact dual certificate; the KCBS pentagon half-weight is certified by the explicit dual vector y = 2n − c. None of these steps is defined in terms of the claimed conclusion, fitted to data, or forced by a uniqueness theorem. Self-citations ([2], [3], [7]) appear only as historical illustrations of parameter cheats and elastic-band parables; the inverse-knob maps (Eqs. 7–12) and the equivariance criterion are derived in place and are not premises of the gluing/Farkas claim. There is no fitted-input-called-prediction, no ansatz smuggled via citation, and no renaming of a known empirical pattern presented as a new derivation. Score 0 is therefore appropriate.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper is conceptual and rests almost entirely on standard convex geometry, elementary probability coupling, and textbook quantum measurement theory. No free parameters are fitted; no new physical entities are postulated. The only non-standard modeling choice is the insistence that knob reparameterizations must intertwine the physical group action—an explicit methodological axiom rather than a free parameter.

axioms (4)
  • standard math Farkas’ lemma: for Mq = b, q ≥ 0, either a feasible q exists or a separating y with yᵀM ≥ 0 and yᵀb < 0 exists
    Invoked in Sec. IV.A as the exact alternative for classical extension; also used to certify the pentagon half-weight.
  • domain assumption Born rule: probabilities of rank-one projectors are squared moduli of amplitudes
    Defines the quantum shadow map s_C in Sec. II and the Malus response in Sec. III.
  • domain assumption Classical states on a finite partition are points of the probability simplex with affine mixtures
    Baseline against which operational shadows are compared throughout.
  • ad hoc to paper A reparameterization of a physical knob is admissible only if it intertwines the independently calibrated group action (rotations, SO(3), etc.)
    Methodological premise of Sec. III that dismisses ‘parameter cheats’ as non-physical; not forced by pure mathematics.

pith-pipeline@v1.1.0-grok45 · 14957 in / 2426 out tokens · 45344 ms · 2026-07-13T03:56:53.846171+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Operational Shadows of Hilbert-Space Probabilities." pith.science (2026). https://pith.science/paper/ZKG4B622

@misc{pith2026260709312,
  author       = {Pith},
  title        = {Pith review of: Operational Shadows of Hilbert-Space Probabilities},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZKG4B622}},
  note         = {Machine review of arXiv:2607.09312}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

At one frozen setting, the probabilities observed in a sharp quantum context are indistinguishable, as detector-click statistics, from ordinary probabilities on the atoms of a classical partition. But an actual analyzer usually comes with a calibrated knob: a tangible handle on the apparatus. If the measurement configuration is co-varied continuously through this physical parameter, the operational object is no longer one point of a simplex but a response curve. Classical linear responses, Malus-type Hilbert-space responses, softmax links, non-homomorphic parameter transcriptions, and discontinuous threshold limits are different maps from settings to probabilities. Continuity, calibration, and preservation of the physical composition law are then part of the experimental meaning of the knob. Such comparisons distinguish specified, calibrated response models; by themselves they do not constitute a classical-versus-quantum impossibility theorem. The static operational coincidence can also persist for two intertwined contexts: if the common outcomes receive the same probabilities, the remaining masses can always be coupled by a classical joint distribution. Genuine multi-context nonclassicality begins when a family of local shadows cannot be glued into one nonnegative global distribution or one simplex factorization. Farkas' lemma gives the exact alternative: either the classical extension exists, or a separating linear inequality certifies its impossibility.

Figures

Figures reproduced from arXiv: 2607.09312 by Karl Svozil.

Figure 1
Figure 1. Figure 1: FIG. 1. Classical inverse knobs for several target response [PITH_FULL_IMAGE:figures/full_fig_p004_1.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. Which Classicality? Incidence, Simplex, and Product-Rule Tests in Finite Quantum Logics

    quant-ph 2026-07 accept novelty 6.0

    Classicality of finite quantum logics is bookkeeping-dependent: incidence, simplex-embedding, and product-rule tests diagnose different retained structures, with GHZ classical as one Boolean context and fragment-speci...

Reference graph

Works this paper leans on

20 extracted references · 5 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Plato,The Republic, Cambridge Texts in the History of Political Thought (Cambridge University Press, Cam- bridge, UK, 2000) translated by Tom Griffith, and edited by G. R. F. Ferrari

    2000

  2. [2]

    Krenn and K

    G. Krenn and K. Svozil, Stronger-than-quantum correla- tions, Foundations of Physics28, 971 (1998)

    1998

  3. [3]

    K. Svozil, On generalized probabilities: correlation poly- topes for automaton logic and generalized urn models, extensions of quantum mechanics and parameter cheats (2001), arXiv:quant-ph/0012066

    Pith/arXiv arXiv 2001

  4. [4]

    Aerts, A possible explanation for the probabilities of quantum mechanics, Journal of Mathematical Physics 27, 202 (1986)

    D. Aerts, A possible explanation for the probabilities of quantum mechanics, Journal of Mathematical Physics 27, 202 (1986)

    1986

  5. [5]

    Aerts and M

    D. Aerts and M. S. de Bianchi, The extended bloch representation of quantum mechanics and the hidden- measurement solution to the measurement problem, An- nals of Physics351, 975 (2014)

    2014

  6. [6]

    Aerts and M

    D. Aerts and M. S. de Bianchi, The extended bloch rep- resentation of quantum mechanics: Explaining superpo- sition, interference, and entanglement, Journal of Math- ematical Physics57, 122110 (2016)

    2016

  7. [7]

    K. Svozil, On the complete description of entangled sys- tems part I — Exploring hidden variables and context communication cost in simulating quantum correlations, International Journal of Theoretical Physics63, 1 (2024), arXiv:2209.09590

    Pith/arXiv arXiv 2024

  8. [8]

    Aerts, A realistic device that simulates the non-local PR box without communication (2005), arXiv:quant- ph/0504171

    S. Aerts, A realistic device that simulates the non-local PR box without communication (2005), arXiv:quant- ph/0504171

    arXiv 2005

  9. [9]

    Garg and D

    A. Garg and D. N. Mermin, Farkas’s lemma and the na- ture of reality: Statistical implications of quantum cor- relations, Foundations of Physics14, 1 (1984)

    1984

  10. [10]

    Fine, Hidden variables, joint probability, and the Bell inequalities, Physical Review Letters48, 291 (1982)

    A. Fine, Hidden variables, joint probability, and the Bell inequalities, Physical Review Letters48, 291 (1982)

    1982

  11. [11]

    Pitowsky, The range of quantum probability, Journal of Mathematical Physics27, 1556 (1986)

    I. Pitowsky, The range of quantum probability, Journal of Mathematical Physics27, 1556 (1986)

    1986

  12. [12]

    Schmid, J

    D. Schmid, J. H. Selby, E. Wolfe, R. Kunjwal, and R. W. Spekkens, Characterization of noncontextuality in the framework of generalized probabilistic theories, PRX Quantum2, 010331 (2021)

    2021

  13. [13]

    J. H. Selby, E. Wolfe, D. Schmid, A. B. Sainz, and V. P. Rossi, Linear program for testing nonclassicality and an open-source implementation, Physical Review Letters 132, 050202 (2024)

    2024

  14. [14]

    Lov´ asz, Three short proofs in graph theory, Journal of Combinatorial Theory, Series B19, 269 (1975)

    L. Lov´ asz, Three short proofs in graph theory, Journal of Combinatorial Theory, Series B19, 269 (1975)

    1975

  15. [15]

    Gr¨ otschel, L

    M. Gr¨ otschel, L. Lov´ asz, and A. Schrijver, Relaxations of vertex packing, Journal of Combinatorial Theory, Series B40, 330 (1986)

    1986

  16. [16]

    Cabello, S

    A. Cabello, S. Severini, and A. Winter, Graph-theoretic approach to quantum correlations, Physical Review Let- ters112, 040401 (2014), arXiv:1401.7081 [quant-ph]

    Pith/arXiv arXiv 2014

  17. [17]

    A. A. Klyachko, M. A. Can, S. Binicio˘ glu, and A. S. Shumovsky, Simple test for hidden variables in spin-1 systems, Physical Review Letters101, 020403 (2008), arXiv:0706.0126

    Pith/arXiv arXiv 2008

  18. [18]

    Badzi¸ ag, I

    P. Badzi¸ ag, I. Bengtsson, A. Cabello, H. Granstr¨ om, and J.-A. Larsson, Pentagrams and paradoxes, Foundations of Physics41, 414 (2011)

    2011

  19. [19]

    Bub and A

    J. Bub and A. Stairs, Contextuality and nonlocality in ‘no signaling’ theories, Foundations of Physics39, 690 (2009), arXiv:0903.1462

    Pith/arXiv arXiv 2009

  20. [20]

    Lov´ asz, On the Shannon capacity of a graph, IEEE Transactions on Information Theory25, 1 (1979)

    L. Lov´ asz, On the Shannon capacity of a graph, IEEE Transactions on Information Theory25, 1 (1979)

    1979