Degrees, Levels, and Profiles of Contextuality
Pith reviewed 2026-05-15 10:37 UTC · model grok-4.3
The pith
Contextuality of a system of random variables is characterized by a curve relating its degree to the level of joint distributions considered rather than by a single overall number.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
A system of random variables has a contextuality profile given by the function that assigns to each level n the degree of contextuality computed from the joints involving at most n variables. This profile is obtained for any well-constructed contextuality measure by using the method of concatenated systems, which systematically assembles families of systems whose profiles can be compared across the three major measures examined in the paper.
What carries the argument
The contextuality profile: a curve that plots the numerical degree of contextuality (from any chosen measure) against the level n, where level n restricts attention to joint distributions of at most n variables.
If this is right
- Contextuality may be absent at low levels and appear only at higher levels for some systems.
- Different contextuality measures can produce qualitatively different profile shapes for the same underlying system.
- The concatenated-systems method generates infinite families of systems with prescribed profile features for systematic study.
- Any existing measure of contextuality immediately yields a corresponding family of profiles without modification.
Where Pith is reading between the lines
- Profiles could distinguish systems that share the same overall degree but differ in when their contextuality emerges across levels.
- The approach may extend to other notions of non-classicality such as incompatibility or non-locality by replacing the contextuality measure.
- Experimental tests could focus on measuring only low-order joints to see whether observed contextuality matches the predicted low-level part of the profile.
Load-bearing premise
That level-wise restriction to joints of size at most n can be meaningfully combined with any existing contextuality measure without introducing artifacts in the resulting curve.
What would settle it
Compute the contextuality profile for the CHSH or Kochen-Specker system using the concatenated-systems method and three different measures; if the curves are not reproducible or change shape inconsistently when the same systems are reconstructed at different concatenations, the profile notion collapses.
Figures
read the original abstract
We introduce a new notion, that of a contextuality profile of a system of random variables. Rather than characterizing a system's contextuality by a single number, its overall degree of contextuality, we show how it can be characterized by a curve relating degree of contextuality to level at which the system is considered. A system is represented at level n if one only considers the joint distributions with no more than n variables, ignoring higher-order joint distributions. We show that the level-wise contextuality analysis can be used in conjunction with any well-constructed measure of contextuality. We present a method of concatenated systems to explore contextuality profiles systematically, and we apply it to the contextuality profiles for three major measures of contextuality proposed in the literature.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the notion of a contextuality profile for a system of random variables, characterizing contextuality via a curve of degree versus level n (where level n restricts attention to joint distributions involving at most n variables). It claims that any well-constructed contextuality measure can be applied level-wise and presents a concatenated-systems construction to systematically generate and explore such profiles, with applications to three major measures in the literature.
Significance. If the concatenated-systems method is free of artifacts and the level-wise application is shown to be measure-independent in the required sense, the profile concept would offer a finer-grained alternative to scalar contextuality degrees, potentially revealing structural features of contextuality in both quantum and classical settings that single-number summaries obscure.
major comments (2)
- [Concatenated-systems method] The concatenated-systems construction (described after the level definition) is asserted to explore profiles systematically without introducing spurious correlations, yet no argument or verification is given that concatenation commutes with the marginalization implicit in the level-n restriction; higher-order dependencies created by concatenation may persist under projection to level n and change the computed degree relative to the original system.
- [Application to three major measures] The central claim that level-wise analysis works with any well-constructed measure rests on the assumption that the profile curve is independent of the particular measure chosen, but the manuscript supplies no explicit check or counter-example showing that different measures produce qualitatively similar profiles on the same concatenated family.
minor comments (1)
- [Abstract] The abstract states the conceptual framework but contains no explicit definitions of 'level' or 'profile', no worked numerical example, and no derivation of the concatenated construction; moving at least one concrete example into the abstract or introduction would improve accessibility.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments, which have helped us identify points where the manuscript can be clarified and strengthened. We address each major comment below and will incorporate the necessary revisions.
read point-by-point responses
-
Referee: [Concatenated-systems method] The concatenated-systems construction (described after the level definition) is asserted to explore profiles systematically without introducing spurious correlations, yet no argument or verification is given that concatenation commutes with the marginalization implicit in the level-n restriction; higher-order dependencies created by concatenation may persist under projection to level n and change the computed degree relative to the original system.
Authors: We acknowledge that the original manuscript asserts the utility of the concatenated-systems construction without supplying a formal argument that it commutes with level-n marginalization or a verification that higher-order dependencies do not alter the computed degrees. The construction is intended to control the level-n joints explicitly, but this property was not demonstrated rigorously. In the revised version we will insert a dedicated subsection that (i) defines the concatenation operation formally, (ii) proves that the level-n marginals of the concatenated system coincide with those of the component systems, and (iii) includes a small explicit example in which the contextuality degree at each level is recomputed both before and after concatenation to confirm invariance. This will eliminate the possibility of spurious correlations at the levels under consideration. revision: yes
-
Referee: [Application to three major measures] The central claim that level-wise analysis works with any well-constructed measure rests on the assumption that the profile curve is independent of the particular measure chosen, but the manuscript supplies no explicit check or counter-example showing that different measures produce qualitatively similar profiles on the same concatenated family.
Authors: The manuscript states that the level-wise framework is compatible with any well-constructed contextuality measure; it does not claim that the resulting profiles must be identical across measures. Different measures can and do emphasize distinct aspects of contextuality, so qualitative differences are expected. To address the referee’s request for an explicit check, we will add a short comparative subsection that computes the profiles of one representative concatenated family under all three measures discussed in the paper. The comparison will illustrate both the common qualitative features (e.g., monotonicity or the location of transitions) and any measure-specific differences, thereby clarifying the scope of the claim without asserting measure-independence of the profiles themselves. revision: yes
Circularity Check
No significant circularity in contextuality profile derivation
full rationale
The paper defines the contextuality profile directly from standard joint-distribution marginals at level n (considering only joints of size ≤ n) and applies any independent well-constructed measure to those levels. The concatenated-systems construction is presented as an exploratory method that generates the resulting curves without the profile or degree values reducing to a fit, self-definition, or self-citation chain. No load-bearing steps equate outputs to inputs by construction; the central claim remains an extension applied to external measures from the literature.
Axiom & Free-Parameter Ledger
axioms (1)
- standard math Joint distributions of random variables exist and can be restricted to subsets of size at most n
invented entities (1)
-
contextuality profile
no independent evidence
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We introduce a new notion, that of a contextuality profile of a system of random variables... curve relating degree of contextuality to level at which the system is considered... concatenated systems to explore contextuality profiles systematically
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
The representation of a system R at level n is a system R[n] consisting of the representation of all contexts of R at level n... deg R[1]=0, deg R[2]=d2, …, deg R[N]=dN
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]
Budroni, C., Cabello, A., Gühne, O., Kleinmann, M., Larsson, J.-Å. (2022). Kochen-specker contextuality.Reviews of Modern Physics94:045007
work page 2022
-
[2]
Cambridge University Press, 2026
Dzhafarov, E.N., Kujala, J.V., Cervantes, V.H.Contextuality in Random Variables: A Systematic Introduction. Cambridge University Press, 2026
work page 2026
-
[3]
Kujala, J.V. & Dzhafarov, E.N. (2019). Measures of contextuality and non- contextuality,Phil. Trans. Roy. Soc. A377:20190149
work page 2019
-
[4]
Abramsky, S., Brandenburger, A. (2011). The sheaf-theoretic structure of nonlocality and contextuality.New J. Phys.13, 113036-113075
work page 2011
-
[5]
Camillo, G. & Cervantes, V. H. (2024). Measures of contextuality in cyclic systems and the negative probabilities measure CNT3.Phil. Trans. Roy. Soc. A382:20230007
work page 2024
-
[6]
Cervantes, V.H.&Dzhafarov, E.N.(2023).Hypercyclicsystemsofmeasure- ments and patterns of contextuality.Eur. Phys. J. - Spec. Top.232:3355- 3358
work page 2023
-
[7]
Abramsky, S., Barbosa, R. S., Mansfield, S. (2017). The contextual fraction as a measure of contextuality.Phys. Rev. Lett.119:050504
work page 2017
- [8]
-
[9]
Greenberger, D.M.; Horne, M.A.; Zeilinger, A. (1989). Going beyond Bell’s Theorem. In Kafatos, M. (ed.). Bell’s Theorem, Quantum Theory and Con- ceptions of the Universe. Dordrecht: Kluwer
work page 1989
-
[10]
W. Dür; G. Vidal & J. I. Cirac (2000). Three qubits can be entangled in two inequivalent ways.Phys. Rev. A62:062314
work page 2000
-
[11]
Cabello, A.(2002). Bell’s theorem with and without inequalities for the three-qubit Greenberger-Horne-Zeilinger and W states.Phys. Rev. A 65:032108
work page 2002
-
[12]
J. Tura, A. B. Sainz, T. Vértesi, A. Acín, M. Lewenstein, R. Augusiak (2014). Translationally invariant multipartite Bell inequalities involving only two-body correlators.J. Phys. A42:424024. 32
work page 2014
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.