pith. sign in

arxiv: 2604.04938 · v1 · submitted 2026-02-15 · 💻 cs.AI

Operational Noncommutativity in Sequential Metacognitive Judgments

Enso O. Torres Alegre , Diana E. Mora Jimenez This is my paper

Pith reviewed 2026-05-15 21:49 UTC · model grok-4.3

classification 💻 cs.AI
keywords metacognitionnon-commutativityorder effectssequential judgmentsoperational frameworkcorrelation constraintscognitive modeling
0
0 comments X

The pith

Sequential metacognitive judgments can exhibit genuine non-commutativity that classical latent variables cannot explain.

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

The paper develops an operational framework treating metacognitive evaluations as state-transforming operations on an internal state space that produce probabilistic readouts. It shows that order dependence in these judgments rules out any faithful Boolean-commutative representation. Under the assumptions of counterfactual definiteness and evaluation non-invasiveness, the existence of a joint distribution over sequential readouts implies specific testable constraints on pairwise correlations. Violations of those constraints rule out any classical non-invasive account and establish genuine non-commutativity. The framework is illustrated with a three-dimensional rotation model and an outlined behavioral paradigm using sequential confidence, error-likelihood, and feeling-of-knowing judgments after a perceptual decision.

Core claim

Order dependence prevents any faithful Boolean-commutative representation of metacognitive evaluations. Under counterfactual definiteness and evaluation non-invasiveness, the existence of a joint distribution over all sequential readouts implies a family of testable constraints on pairwise sequential correlations; violation of these constraints rules out any classical non-invasive account and certifies genuine non-commutativity.

What carries the argument

State-transforming operations acting on an internal state space with probabilistic readouts, which separate evaluation back-action from observable output and generate constraints on pairwise sequential correlations.

If this is right

  • Order effects in metacognitive judgments cannot always be explained by enlarging the state space with classical latent variables.
  • A three-dimensional rotation model produces explicit numerical violations of the correlation constraints.
  • The outlined behavioral paradigm with sequential confidence, error-likelihood, and feeling-of-knowing judgments provides a direct empirical test for genuine non-commutativity.

Where Pith is reading between the lines

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

  • The same operational approach could be applied to other sequential cognitive tasks such as belief updating or decision sequences.
  • If the constraints are routinely violated, cognitive modeling may need to incorporate algebraic structures that go beyond classical probability spaces.
  • The framework supplies a purely operational test that does not require any physical quantum substrate.

Load-bearing premise

Counterfactual definiteness holds so that definite values exist for all readouts, and evaluations are non-invasive so that a joint distribution over sequential readouts is possible.

What would settle it

Empirical data from the proposed behavioral paradigm showing violations of the derived constraints on pairwise correlations between sequential metacognitive judgments.

Figures

Figures reproduced from arXiv: 2604.04938 by Diana E. Mora Jimenez, Enso O. Torres Alegre.

Figure 1
Figure 1. Figure 1: Sequential metacognitive evaluation as a state-transforming operation with an observable [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
read the original abstract

Metacognition, understood as the monitoring and regulation of one's own cognitive processes, is inherently sequential: an agent evaluates an internal state, updates it, and may then re-evaluate under modified criteria. Order effects in cognition are well documented, yet it remains unclear whether such effects reflect classical state changes or reveal a deeper structural non-commutativity. We develop an operational framework that makes this distinction explicit. In our formulation, metacognitive evaluations are modeled as state-transforming operations acting on an internal state space with probabilistic readouts, thereby separating evaluation back-action from observable output. We show that order dependence prevents any faithful Boolean-commutative representation. We then address a stronger question: can observed order effects always be explained by enlarging the state space with classical latent variables? To formalize this issue, we introduce two assumptions, counterfactual definiteness and evaluation non-invasiveness, under which the existence of a joint distribution over all sequential readouts implies a family of testable constraints on pairwise sequential correlations. Violation of these constraints rules out any classical non-invasive account and certifies what we call genuine non-commutativity. We provide an explicit three-dimensional rotation model with fully worked numerical examples that exhibits such violations. We also outline a behavioral paradigm involving sequential confidence, error-likelihood, and feeling-of-knowing judgments following a perceptual decision, together with the corresponding empirical test. No claim is made regarding quantum physical substrates; the framework is purely operational and algebraic.

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.

Referee Report

2 major / 2 minor

Summary. The paper develops an operational algebraic framework for sequential metacognitive judgments modeled as state-transforming operations with probabilistic readouts. It shows that order dependence precludes a faithful Boolean-commutative representation and, under the assumptions of counterfactual definiteness and evaluation non-invasiveness, derives that the existence of a joint distribution over all readouts imposes testable constraints on pairwise sequential correlations. Violation of these constraints is taken to certify genuine non-commutativity. An explicit three-dimensional rotation model is supplied with numerical examples that exhibit such violations, together with an outline of a behavioral paradigm using sequential confidence, error-likelihood, and feeling-of-knowing judgments.

Significance. If the derivations are made fully explicit and the numerical violations are reproducible from the stated premises, the framework supplies a precise, falsifiable operational criterion for non-classical structure in metacognition that does not rely on quantum-physical assumptions. The provision of a concrete rotation model with worked numbers is a clear strength, as is the direct link to an empirical test protocol.

major comments (2)
  1. [abstract and section on assumptions] The derivation of the family of testable constraints on pairwise correlations (abstract and the section introducing counterfactual definiteness and evaluation non-invasiveness): the manuscript states that the existence of a joint distribution implies these constraints, yet the explicit inequalities or equalities (e.g., in terms of the correlation matrix entries) are not displayed. Without them it is impossible to verify that the reported numerical violations in the rotation model are indeed violations of the derived constraints rather than artifacts of the model construction.
  2. [rotation model] Three-dimensional rotation model section: the mapping from the free rotation angles to the specific probabilistic readouts for the metacognitive judgments (confidence, error-likelihood, feeling-of-knowing) is not given explicitly. Consequently the claim that the model produces violations of the joint-distribution constraints cannot be checked algebraically from the supplied description.
minor comments (2)
  1. [abstract] The abstract refers to 'fully worked numerical examples' but the concrete correlation values and the exact manner in which they breach the constraints are not reproduced in the summary text; these numbers should appear in a dedicated table or equation block.
  2. [framework section] Notation for the state space and the readout maps is introduced without a compact summary table; a single table listing the symbols, their domains, and their operational interpretations would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. The comments correctly identify places where the derivations and mappings require greater explicitness to permit independent verification. We will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [abstract and section on assumptions] The derivation of the family of testable constraints on pairwise correlations (abstract and the section introducing counterfactual definiteness and evaluation non-invasiveness): the manuscript states that the existence of a joint distribution implies these constraints, yet the explicit inequalities or equalities (e.g., in terms of the correlation matrix entries) are not displayed. Without them it is impossible to verify that the reported numerical violations in the rotation model are indeed violations of the derived constraints rather than artifacts of the model construction.

    Authors: We agree that the explicit inequalities were not displayed. Under the assumptions of counterfactual definiteness and evaluation non-invasiveness, the existence of a joint distribution over all readouts implies a family of linear constraints on the pairwise correlation matrix. In the revised manuscript we will add a dedicated subsection that derives these constraints in closed form (e.g., bounds on sums and differences of the observed sequential correlations) and will verify numerically that the rotation-model examples violate them. revision: yes

  2. Referee: [rotation model] Three-dimensional rotation model section: the mapping from the free rotation angles to the specific probabilistic readouts for the metacognitive judgments (confidence, error-likelihood, feeling-of-knowing) is not given explicitly. Consequently the claim that the model produces violations of the joint-distribution constraints cannot be checked algebraically from the supplied description.

    Authors: We acknowledge that the explicit mapping from the rotation angles to the readout probabilities was not supplied. The revised manuscript will include the full algebraic expressions that map each free rotation angle to the three probabilistic readouts (confidence, error-likelihood, feeling-of-knowing). With these expressions the numerical violations can be recomputed directly from the stated parameter values. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained under stated assumptions

full rationale

The paper derives a family of testable constraints on pairwise sequential correlations directly from the existence of a joint distribution over readouts, given the two explicit assumptions of counterfactual definiteness and evaluation non-invasiveness. The three-dimensional rotation model is constructed algebraically to produce explicit numerical violations of those constraints. No step equates a claimed prediction to a fitted parameter by construction, renames a known result, or reduces the central non-commutativity claim to a self-citation whose content is unverified. The framework remains operational and algebraic once the premises are granted, with no load-bearing reduction exhibited in the derivation chain.

Axiom & Free-Parameter Ledger

1 free parameters · 2 axioms · 0 invented entities

The central claim rests on two domain assumptions that allow derivation of the classical constraints; the rotation model introduces free parameters for the angles.

free parameters (1)
  • rotation angles
    Specific angles chosen to produce numerical violations in the three-dimensional model.
axioms (2)
  • domain assumption counterfactual definiteness
    Invoked to guarantee a joint distribution over all sequential readouts.
  • domain assumption evaluation non-invasiveness
    Required for the classical latent-variable account to be testable.

pith-pipeline@v0.9.0 · 5559 in / 1191 out tokens · 17011 ms · 2026-05-15T21:49:04.432213+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

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

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

27 extracted references · 27 canonical work pages

  1. [1]

    Metamemory: A theoretical framework and new findings,

    T. O. Nelson and L. Narens, “Metamemory: A theoretical framework and new findings,” in The Psychology of Learning and Motivation, Vol. 26, ed. G. H. Bower (Academic Press, 1990), 13 pp. 125–173

    work page 1990

  2. [2]

    Why investigate metacognition?

    T. O. Nelson and L. Narens, “Why investigate metacognition?” inMetacognition: Knowing about Knowing, eds. J. Metcalfe and A. P. Shimamura (MIT Press, 1994), pp. 1–25

    work page 1994

  3. [3]

    How to measure metacognition,

    S. M. Fleming and H. C. Lau, “How to measure metacognition,”Frontiers in Human Neuro- science8, 443 (2014)

    work page 2014

  4. [4]

    Self-evaluation of decision-making: A general Bayesian framework for metacognitive computation,

    S. M. Fleming and N. D. Daw, “Self-evaluation of decision-making: A general Bayesian framework for metacognitive computation,”Psychological Review124, 91–114 (2017)

    work page 2017

  5. [5]

    A signal detection theoretic approach for estimating metacognitive sensitivity from confidence ratings,

    B. Maniscalco and H. Lau, “A signal detection theoretic approach for estimating metacognitive sensitivity from confidence ratings,”Consciousness and Cognition21, 422–430 (2012)

    work page 2012

  6. [6]

    Confidence and certainty: distinct probabilistic quantities for different goals,

    A. Pouget, J. Drugowitsch, and A. Kepecs, “Confidence and certainty: distinct probabilistic quantities for different goals,”Nature Neuroscience19, 366–374 (2016)

    work page 2016

  7. [7]

    Signatures of a statistical computation in the human sense of confidence,

    J. I. Sanders, B. Hangya, and A. Kepecs, “Signatures of a statistical computation in the human sense of confidence,”Neuron90, 499–506 (2016)

    work page 2016

  8. [8]

    J. R. Busemeyer and P. D. Bruza,Quantum Models of Cognition and Decision(Cambridge University Press, 2012)

    work page 2012

  9. [9]

    Can quantum probability provide a new direction for cognitive modeling?

    E. M. Pothos and J. R. Busemeyer, “Can quantum probability provide a new direction for cognitive modeling?”Behavioral and Brain Sciences36, 255–274 (2013)

    work page 2013

  10. [10]

    A quantum question order model supported by empirical tests of ana prioriand precise predictions,

    Z. Wang and J. R. Busemeyer, “A quantum question order model supported by empirical tests of ana prioriand precise predictions,”Topics in Cognitive Science5, 689–710 (2013)

    work page 2013

  11. [11]

    Khrennikov,Ubiquitous Quantum Structure: From Psychology to Finance(Springer, 2010)

    A. Khrennikov,Ubiquitous Quantum Structure: From Psychology to Finance(Springer, 2010)

    work page 2010

  12. [12]

    A quantum probability account of order effects in inference,

    J. S. Trueblood and J. R. Busemeyer, “A quantum probability account of order effects in inference,”Cognitive Science35, 1518–1552 (2011)

    work page 2011

  13. [13]

    Hidden variables, joint probability, and the Bell inequalities,

    A. Fine, “Hidden variables, joint probability, and the Bell inequalities,”Physical Review Letters 48, 291–295 (1982)

    work page 1982

  14. [14]

    On the Einstein Podolsky Rosen paradox,

    J. S. Bell, “On the Einstein Podolsky Rosen paradox,”Physics Physique Fizika1, 195–200 (1964)

    work page 1964

  15. [15]

    Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks?

    A. J. Leggett and A. Garg, “Quantum mechanics versus macroscopic realism: Is the flux there when nobody looks?”Physical Review Letters54, 857–860 (1985)

    work page 1985

  16. [16]

    Leggett–Garg inequalities,

    C. Emary, N. Lambert, and F. Nori, “Leggett–Garg inequalities,”Reports on Progress in Physics77, 016001 (2014)

    work page 2014

  17. [17]

    The logic of quantum mechanics,

    G. Birkhoff and J. von Neumann, “The logic of quantum mechanics,”Annals of Mathematics 37, 823–843 (1936)

    work page 1936

  18. [18]

    Svozil,Quantum Logic(Springer, 1998)

    K. Svozil,Quantum Logic(Springer, 1998). 14

    work page 1998

  19. [19]

    Telling more than we can know: Verbal reports on mental processes,

    R. E. Nisbett and T. D. Wilson, “Telling more than we can know: Verbal reports on mental processes,”Psychological Review84, 231–259 (1977)

    work page 1977

  20. [20]

    Re-representing consciousness: Dissociations between experience and meta- consciousness,

    J. W. Schooler, “Re-representing consciousness: Dissociations between experience and meta- consciousness,”Trends in Cognitive Sciences6, 339–344 (2002)

    work page 2002

  21. [21]

    The unreliability of naive introspection,

    E. Schwitzgebel, “The unreliability of naive introspection,”Philosophical Review117, 245–273 (2008)

    work page 2008

  22. [22]

    Proust,The Philosophy of Metacognition: Mental Agency and Self-Awareness(Oxford University Press, 2013)

    J. Proust,The Philosophy of Metacognition: Mental Agency and Self-Awareness(Oxford University Press, 2013)

    work page 2013

  23. [23]

    Reactivity to confidence ratings in older and younger adults,

    K. S. Double and D. P. Birney, “Reactivity to confidence ratings in older and younger adults,” Metacognition and Learning14, 165–182 (2019)

    work page 2019

  24. [24]

    Individual consistency in the accuracy and distribution of confidence judgments,

    J. Ais, A. Zylberberg, P. Barttfeld, and M. Sigman, “Individual consistency in the accuracy and distribution of confidence judgments,”Cognition146, 377–386 (2016)

    work page 2016

  25. [25]

    Changes of mind in decision-making,

    A. Resulaj, R. Kiani, D. M. Wolpert, and M. N. Shadlen, “Changes of mind in decision-making,” Nature461, 263–266 (2009)

    work page 2009

  26. [26]

    A common mechanism underlies changes of mind about decisions and confidence,

    R. van den Berg, K. Anandalingam, A. Zylberberg, R. Kiani, M. N. Shadlen, and D. M. Wolpert, “A common mechanism underlies changes of mind about decisions and confidence,”eLife5, e12192 (2016)

    work page 2016

  27. [27]

    Metacognition: computation, biology and function,

    S. M. Fleming, R. J. Dolan, and C. D. Frith, “Metacognition: computation, biology and function,”Philosophical Transactions of the Royal Society B367, 1280–1286 (2012). 15

    work page 2012