arxiv: 2604.04899 · v1 · submitted 2026-04-06 · 🪐 quant-ph

Recognition: 2 theorem links

· Lean Theorem

Connection between the contextuality breaking and incompatibility breaking qubit channels

Swati Kumari , Sumit Mukherjee , R. Prabhu

Authors on Pith no claims yet

Pith reviewed 2026-05-10 20:04 UTC · model grok-4.3

classification 🪐 quant-ph

keywords quantum contextualitymeasurement incompatibilityBell nonlocalityquantum channelspreparation contextualityElegant Bell inequality

0 comments

The pith

Any channel breaking EBI contextuality also breaks CHSH nonlocality, but not the reverse

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

This work connects the breaking of contextuality and incompatibility by quantum channels in qubit systems. It considers an asymmetric Bell test where one party has three measurement choices and the other has four, all with binary outcomes. The authors use the violation of a preparation-noncontextual version of the Elegant Bell inequality to witness contextuality. They prove that channels destroying this contextuality also destroy CHSH nonlocality, while some channels destroy nonlocality without destroying the contextuality. Depolarizing channels that destroy N-wise incompatibility are shown to destroy a generalized contextuality as well.

Core claim

Channels breaking the contextuality associated with the noncontextual Elegant Bell inequality necessarily break CHSH nonlocality in the asymmetric scenario, although the converse is false. Depolarizing channels breaking N-wise incompatibility break generalized contextuality inequalities involving N measurements.

What carries the argument

Violation of the noncontextual Elegant Bell inequality as a witness of preparation contextuality, and its relation to breaking of triple-wise incompatibility under quantum channels.

Load-bearing premise

The violation of the noncontextual Elegant Bell inequality faithfully witnesses preparation contextuality in this asymmetric scenario.

What would settle it

Observing a channel that breaks the EBI contextuality but preserves CHSH violation would falsify the claim that contextuality breaking implies nonlocality breaking.

Figures

Figures reproduced from arXiv: 2604.04899 by R. Prabhu, Sumit Mukherjee, Swati Kumari.

**Figure 2.** Figure 2: FIG. 2: Plot of quantum value of Bell functional [PITH_FULL_IMAGE:figures/full_fig_p006_2.png] view at source ↗

**Figure 3.** Figure 3: FIG. 3: Plots of the white-noise robustness [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗

read the original abstract

Contextuality and measurement incompatibility are two fundamental aspects of nonclassicality, and their manifestations in observed quantum correlations are often deeply interconnected. Recently, measurement incompatibility has been studied in connection with nonlocality, particularly in terms of their robustness under various quantum channels. This line of investigation helps establish a connection between the channels that break nonlocality and those that break incompatibility. In this study, we focus on an asymmetric bipartite Bell scenario involving three and four inputs on Alice and Bob sides, respectively, with each of these inputs having dichotomous outcomes. Under the assumption of locality, the observed statistics in this asymmetric scenario obeys the Elegant Bell inequality (EBI). Here, we use a different version of the EBI that relies on the assumption of the preparation noncontextuality. By taking the violation of this noncontextual version of EBI as a witness of preparation contextuality we establish a connection between the channels that break contextuality and the channels that break triple-wise measurement incompatibility. Our results suggest that any channel which breaks EBI contextuality will also break Clauser-Horne-Shimony-Holt (CHSH) nonlocality; however, the reverse does not hold. We also show that a depolarising channel that breaks N-wise incompatibility can also break a certain form of contextuality, witnessed by a generalised inequality involving N measurements on one wing of a bipartite Bell scenario.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper shows a one-way link from EBI contextuality-breaking qubit channels to CHSH nonlocality breaking, plus a tie from N-wise incompatibility breaking to generalized contextuality via depolarizing channels.

read the letter

The main thing here is that the authors connect two channel properties in an asymmetric 3+4 input Bell scenario: any channel that breaks the noncontextual version of the Elegant Bell inequality also breaks CHSH nonlocality, though the reverse fails. They further show that depolarizing channels breaking N-wise incompatibility can break a generalized contextuality witnessed by an N-measurement inequality on one side. This specific one-way implication and the N-wise extension look new relative to the cited work on incompatibility and nonlocality breaking. The derivations rest on standard Bell inequality techniques and channel action on correlations, which keeps the technical steps straightforward and reproducible in principle. The partial hierarchy they sketch for these breaking properties is a modest but concrete step that could feed into resource theories of contextuality and incompatibility. The soft spot is the assumption that violation of the noncontextual EBI faithfully witnesses all preparation contextuality in this asymmetric setup. The paper treats EBI violation as a witness, but it is not obvious that the inequality is complete—no explicit check rules out contextual behaviors that still satisfy the noncontextual bound or that Bob’s four measurements catch every possible Alice-side contextual assemblage. If that equivalence is not tight, the claimed channel connection weakens. The results stay limited to qubit channels and this particular scenario, so they do not reorganize the broader field. This is the kind of targeted foundations paper that a reading group on quantum nonclassicality resources might discuss for the specific links it draws. It deserves peer review because the core connection is grounded enough to be worth referee scrutiny and possible tightening on the witness completeness.

Referee Report

2 major / 2 minor

Summary. The manuscript studies connections between contextuality-breaking and incompatibility-breaking qubit channels in an asymmetric bipartite Bell scenario (3 inputs for Alice, 4 for Bob, dichotomous outcomes). It employs a noncontextual version of the Elegant Bell inequality (EBI) as a witness for preparation contextuality and derives relations showing that any channel breaking EBI contextuality also breaks CHSH nonlocality (but not conversely). It further shows that depolarizing channels breaking N-wise incompatibility break a generalized form of contextuality witnessed by an inequality with N measurements on one side.

Significance. If the central claims hold, the work strengthens understanding of hierarchies among nonclassical features (contextuality, incompatibility, nonlocality) and their robustness under noise, using standard tools like EBI and CHSH. This could inform resource theories of quantumness and channel-induced breaking of quantum correlations, with the depolarizing channel results offering concrete examples for N-wise cases.

major comments (2)

[Scenario definition and EBI witness (near introduction of asymmetric bipartite setup and noncontextual EBI)] The central equivalence between EBI-contextuality breaking and preparation-contextuality breaking rests on taking noncontextual EBI violation as a faithful (complete) witness in the asymmetric 3+4 scenario. No explicit proof or tightness argument is provided showing that every preparation-contextual assemblage violates the inequality while every preparation-noncontextual one satisfies it; this is load-bearing for the channel implications.
[Results section on channel connections to CHSH nonlocality] The claim that EBI-contextuality-breaking channels necessarily break CHSH nonlocality (but not vice versa) follows from the above witness; without a completeness proof for the EBI in this scenario, the implication may fail to cover all contextual behaviors.

minor comments (2)

[Abstract] The abstract refers to 'a generalised inequality involving N measurements' without specifying its explicit form or the range of N; a brief inline description or pointer to the relevant equation would improve readability.
[Throughout (e.g., introduction and results)] Notation for 'EBI contextuality' and 'preparation noncontextuality' should be defined at first use and used consistently to avoid ambiguity in later sections.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and insightful comments on our manuscript. We address the major concerns point by point below, focusing on the role of the noncontextual Elegant Bell inequality (EBI) as a witness for preparation contextuality. We will make revisions to clarify the scope of our claims.

read point-by-point responses

Referee: [Scenario definition and EBI witness (near introduction of asymmetric bipartite setup and noncontextual EBI)] The central equivalence between EBI-contextuality breaking and preparation-contextuality breaking rests on taking noncontextual EBI violation as a faithful (complete) witness in the asymmetric 3+4 scenario. No explicit proof or tightness argument is provided showing that every preparation-contextual assemblage violates the inequality while every preparation-noncontextual one satisfies it; this is load-bearing for the channel implications.

Authors: We agree that the manuscript does not provide an explicit proof or tightness argument establishing that the noncontextual EBI is a complete witness for preparation contextuality in the 3+4 scenario (i.e., that non-violation implies preparation noncontextuality for all assemblages). The EBI is used as a sufficient witness: its violation certifies preparation contextuality under the locality assumption. Our results therefore concern channels that break this specific witness of contextuality, rather than claiming to break all possible forms of preparation contextuality. We will revise the introduction and relevant sections to explicitly state this distinction and remove any phrasing that could be read as implying a full equivalence. revision: yes
Referee: [Results section on channel connections to CHSH nonlocality] The claim that EBI-contextuality-breaking channels necessarily break CHSH nonlocality (but not vice versa) follows from the above witness; without a completeness proof for the EBI in this scenario, the implication may fail to cover all contextual behaviors.

Authors: As clarified in our response to the first comment, we will revise the results section to emphasize that the implication (EBI-witness-breaking channels also break CHSH nonlocality, but not conversely) holds specifically for the EBI witness and the relations between the inequalities in this scenario. The reverse failure is demonstrated via explicit counterexamples with depolarizing channels. We will add a remark noting that this does not necessarily address all contextual behaviors detectable by other witnesses, while preserving the concrete connections shown for the EBI and CHSH. revision: yes

Circularity Check

0 steps flagged

No significant circularity; claims rest on external inequalities and standard channel definitions

full rationale

The paper defines EBI-contextuality breaking via violation of a noncontextual version of the Elegant Bell inequality in an asymmetric 3+4 input scenario and connects it to incompatibility breaking and CHSH nonlocality. No step reduces a derived quantity to a fitted parameter or self-referential definition by construction. The witness role of the noncontextual EBI is stated as an assumption rather than proven equivalent by the paper's equations, but this does not create a circular reduction. All load-bearing relations invoke external standard results (EBI, CHSH, depolarizing channel properties) without self-citation chains or ansatz smuggling that collapse the central claim to its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definition of quantum channels, the preparation-noncontextual version of the Elegant Bell inequality, and the interpretation of its violation as a contextuality witness; no free parameters or invented entities are introduced beyond standard quantum theory.

axioms (2)

domain assumption Violation of the noncontextual Elegant Bell inequality witnesses preparation contextuality
Invoked to link the inequality violation to contextuality breaking by channels
standard math Standard quantum channel formalism and measurement incompatibility definitions
Background from quantum information theory used throughout

pith-pipeline@v0.9.0 · 5544 in / 1461 out tokens · 105837 ms · 2026-05-10T20:04:58.457643+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking (D=3 forcing) unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1: A unital channel E is EBI-CBC iff its dual E* is 3-IBC; Corollary 1: EBI-CBC implies CHSH-NBC but not conversely (range 1/√3 ≤ p ≤ 1/√2 for depolarizing).
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery and embed_strictMono unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Generalization: BN ≤ 2^{N-1} with quantum value √(2^{N-1} N); depolarizing breaks contextuality iff dual breaks N-wise incompatibility.

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

32 extracted references · 32 canonical work pages

[1]

resource filter

P m1,m2,···,m n Gm1,m2,···,m n = 1(Completeness) 3.M mk k =P m1,···,m k−1,mk+1,···,m n Gm1,m2,···,m n (Re- producibility of all the individual measurements). Otherwise, the set of measurements is called incompatible. 4 C. Quantum Channels In general, quantum systems are inevitably subject to in- teractions with various types of noisy environments. These i...

work page 2021
[2]

J. S. Bell, Physics Physique Fizika1, 195 (1964)

work page 1964
[3]

Brunner, D

N. Brunner, D. Cavalcanti, S. Pironio, V . Scarani, and S. Wehner, Rev. Mod. Phys.86, 419 (2014)

work page 2014
[4]

Budroni, A

C. Budroni, A. Cabello, O. G ¨uhne, M. Kleinmann, and J.-A. Larsson, Rev. Mod. Phys.94, 045007 (2022)

work page 2022
[5]

E. S. Simon Kochen, Indiana Univ. Math. J.17, 59 (1968)

work page 1968
[7]

Schmid and R

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

work page 2018
[8]

R. W. Spekkens, D. H. Buzacott, A. J. Keehn, B. Toner, and G. J. Pryde, Phys. Rev. Lett.102, 010401 (2009)

work page 2009
[9]

A. K. Pan, Scientific Reports9, 17631 (2019)

work page 2019
[10]

Saha and A

D. Saha and A. Chaturvedi, Phys. Rev. A100, 022108 (2019)

work page 2019
[11]

Mukherjee, S

S. Mukherjee, S. Naonit, and A. K. Pan, Phys. Rev. A106, 012216 (2022)

work page 2022
[12]

Schmid, H

D. Schmid, H. Du, J. H. Selby, and M. F. Pusey, Phys. Rev. Lett.129, 120403 (2022)

work page 2022
[13]

Lostaglio, Phys

M. Lostaglio, Phys. Rev. Lett.125, 230603 (2020)

work page 2020
[14]

Quantum computation and quan- tum information,

M. A. Nielsen and I. Chuang, “Quantum computation and quan- tum information,” (2002)

work page 2002
[15]

Busch, Physical Review D33, 2253 (1986)

P. Busch, Physical Review D33, 2253 (1986)

work page 1986
[16]

G ¨uhne, E

O. G ¨uhne, E. Haapasalo, T. Kraft, J.-P. Pellonp¨a¨a, and R. Uola, Rev. Mod. Phys.95, 011003 (2023)

work page 2023
[17]

Kunjwal, C

R. Kunjwal, C. Heunen, and T. Fritz, Phys. Rev. A89, 052126 (2014)

work page 2014
[18]

Andrejic and R

N. Andrejic and R. Kunjwal, Phys. Rev. Res.2, 043147 (2020)

work page 2020
[19]

Heinosaari and M

T. Heinosaari and M. Ziman,The mathematical language of quantum theory: from uncertainty to entanglement(Cambridge University Press, 2011)

work page 2011
[20]

Pal and S

R. Pal and S. Ghosh, Journal of Physics A: Mathematical and Theoretical48, 155302 (2015)

work page 2015
[21]

J. F. Clauser, M. A. Horne, A. Shimony, and R. A. Holt, Phys. Rev. Lett.23, 880 (1969)

work page 1969
[22]

Heinosaari, J

T. Heinosaari, J. Kiukas, D. Reitzner, and J. Schultz, Journal of Physics A: Mathematical and Theoretical48, 435301 (2015)

work page 2015
[23]

Mukherjee and A

S. Mukherjee and A. K. Pan, New Journal of Physics26, 123014 (2024)

work page 2024
[24]

Ghorai and A

S. Ghorai and A. K. Pan, Phys. Rev. A98, 032110 (2018)

work page 2018
[25]

Tavakoli and R

A. Tavakoli and R. Uola, Phys. Rev. Res.2, 013011 (2020)

work page 2020
[26]

M. M. Wolf, D. Perez-Garcia, and C. Fernandez, Phys. Rev. Lett.103, 230402 (2009)

work page 2009
[27]

Kumari, J

S. Kumari, J. Naikoo, S. Ghosh, and A. K. Pan, Phys. Rev. A 107, 022201 (2023)

work page 2023
[28]

Bene and T

E. Bene and T. V ´ertesi, New Journal of Physics20, 013021 (2018). 10

work page 2018
[29]

Hirsch, M

F. Hirsch, M. T. Quintino, and N. Brunner, Phys. Rev. A97, 012129 (2018)

work page 2018
[31]

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

work page 2005
[32]

Harrigan and R

N. Harrigan and R. W. Spekkens, Foundations of Physics40, 125 (2010)

work page 2010
[33]

Gisin, Bell inequalities: many questions, a few answers (2007), arXiv:quant-ph/0702021 [quant-ph]

N. Gisin, “Bell inequalities: many questions, a few answers,” (2007), arXiv:quant-ph/0702021 [quant-ph]

work page arXiv 2007
[34]

Zhang, R

Y . Zhang, R. A. Bravo, V . O. Lorenz, and E. Chitambar, New Journal of Physics22, 043003 (2020). Appendix A: The particular forms of Krauss operators of different channels used Depolarizing Channel:A depolarizing channel with prob- abilitypreplaces the state with the maximally mixed state I 2 and with probability(1−p)leaves it unchanged. The Kraus operat...

work page 2020