pith. sign in

arxiv: 2603.18381 · v2 · submitted 2026-03-19 · 🪐 quant-ph

Observable-Conditioned Backaction in Dynamic Circuits: A Higher-Order Context-Conditioned Kernel for Local Dynamics

Petr Sramek This is my paper

Pith reviewed 2026-05-15 09:12 UTC · model grok-4.3

classification 🪐 quant-ph
keywords dynamic circuitsmid-circuit measurementsquantum backactioncontext-conditioned kernelMöbius weightsquantum error correctionobservable conditioninghigher-order context
0
0 comments X

The pith

Mid-circuit measurement backaction in dynamic circuits requires a higher-order context-conditioned kernel beyond standard proxies.

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

The paper claims that conventional low-order proxies such as T1, T2, and pairwise crosstalk are operationally incomplete for describing the disturbance induced by mid-circuit measurements on spectator qubits in dynamic circuits. It proposes a decomposition of an effective kernel into local, proxy, and relative context terms, with the relative term capturing unexplained context dependence using Möbius weights on classical outcomes to sidestep quantum partial information issues. Evidence comes from a synthetic A6 harness that programs pure higher-order parity context invisible to lower orders, plus a quantum-eraser demonstration of coherent control. A reader would care because accurate backaction modeling is essential for scalable quantum error correction in multiscale circuits.

Core claim

The central claim is that the effective backaction kernel decomposes as Γ_eff[Y,O] = Γ_loc[O] + Γ_proxy[O] + Γ_rel[Y,O], where the context-conditioned relative term is necessary to explain disturbances in cases where the global context parity is invisible to single and pair observables by construction in the A6 harness.

What carries the argument

The higher-order context-conditioned kernel Γ_eff[Y,O] that isolates residual context dependence in backaction via Möbius weights evaluated on classical measurement outcomes.

If this is right

  • Low-order proxy metrics fail to capture higher-order context effects in dynamic circuits.
  • The A6 harness demonstrates that certain parity contexts are fundamentally invisible to standard diagnostics.
  • Coherent controllability of backaction is achievable through programmable MARK interactions and eraser-basis conditioning.
  • Context-conditioned descriptions outperform proxy-only null models for backaction characterization.

Where Pith is reading between the lines

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

  • Adopting this kernel could improve the design of quantum error correction protocols that account for context-dependent noise.
  • This framework might extend to analyzing backaction in other quantum information processing tasks involving mid-circuit measurements.
  • Further tests in physical hardware could confirm if the Möbius-weighted ansatz holds beyond the synthetic harness.

Load-bearing premise

That the A6 synthetic harness injects a pure higher-order context dependence without contaminating the low-order proxies.

What would settle it

A measurement in the A6 experiment showing that the observed disturbance on the probe qubit does not correlate with the (C0,C1,C2) parity context in the manner predicted by the kernel decomposition.

Figures

Figures reproduced from arXiv: 2603.18381 by Petr Sramek.

Figure 1
Figure 1. Figure 1: FIG. 1 [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p009_3.png] view at source ↗
read the original abstract

Mid-circuit measurements are essential primitives for dynamic circuits and quantum error correction, yet characterizing their induced disturbance on spectator qubits remains a central practical problem. Device-level benchmarking often compresses this disturbance into low-order proxy metrics such as $T_1$, $T_2$, readout assignment error, and pairwise crosstalk. We argue that these proxies can be operationally incomplete for multiscale dynamic circuits. We introduce a higher-order context-conditioned kernel, $\Gamma_{\mathrm{eff}}[Y,O] = \Gamma_{\mathrm{loc}}[O] + \Gamma_{\mathrm{proxy}}[O] + \Gamma_{\mathrm{rel}}[Y,O]$, where $Y$ is a global context label and $O$ a local observable. The term $\Gamma_{\mathrm{rel}}[Y,O]$ is a phenomenological compression ansatz isolating residual context dependence unexplained by standard proxies. To avoid impossibility issues of quantum partial-information decompositions on non-commuting algebras, the M\"obius weights entering this ansatz are evaluated operationally on classical measurement outcomes. We present evidence in three steps. First, earlier GHZ-versus-clock hardware results motivate an observable-class split. Second, we present dynamical evidence using the A6 synthetic hardware harness. A6 injects a pure higher-order context dependence via a programmed conditional interaction. Because the $(C_0,C_1,C_2)$ parity context is invisible to singles and pairs by construction, standard low-order diagnostics are fundamentally blind to the source of the probe's disturbance. Third, we demonstrate coherent controllability through the A6.2 quantum-eraser experiment. Programmable MARK interactions suppress unconditional fringes while eraser-basis conditioning restores them, consistent with complementarity bounds. These results validate a context-conditioned description of backaction over proxy-only null models.

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 claims that low-order proxy metrics (T1, T2, readout error, pairwise crosstalk) are operationally incomplete for characterizing mid-circuit measurement backaction in dynamic circuits. It introduces a higher-order context-conditioned kernel Γ_eff[Y,O] = Γ_loc[O] + Γ_proxy[O] + Γ_rel[Y,O], where the residual term Γ_rel[Y,O] is a phenomenological ansatz isolating context dependence via Möbius weights evaluated on classical outcomes. Evidence is presented in three steps: GHZ-versus-clock motivation for observable-class splits, dynamical results from the A6 synthetic harness that injects pure higher-order (C0,C1,C2) parity context invisible to singles/pairs by construction, and the A6.2 quantum-eraser experiment demonstrating coherent controllability via programmable MARK interactions.

Significance. If the central claim holds, the framework offers a systematic way to capture residual context dependence beyond standard proxies, with direct relevance to quantum error correction and multiscale dynamic circuits. Strengths include the operational use of classical Möbius weights to sidestep quantum partial-information decomposition non-commutativity issues and the coherent controllability shown in the eraser experiment. However, the synthetic nature of the A6 harness limits broader significance until the approach is validated on uncontrolled real-device backaction.

major comments (2)
  1. [A6 synthetic hardware harness] A6 synthetic hardware harness (dynamical evidence section): the claim that results validate a context-conditioned description over proxy-only null models rests on the (C0,C1,C2) parity context being invisible to singles and pairs by construction in the harness. This renders the proxy-blindness demonstration tautological, as it follows directly from the programmed conditional interaction rather than from an empirical mismatch with real device behavior.
  2. [Kernel definition and ansatz] Phenomenological ansatz for Γ_rel[Y,O] (Eq. defining the kernel): the residual term is introduced as a compression ansatz, but the manuscript provides insufficient detail on its explicit functional form, the precise computation of the Möbius weights from classical outcomes, and any quantitative error analysis or cross-validation against null models, making it difficult to assess whether the residual is load-bearing or an artifact of the fitting procedure.
minor comments (2)
  1. [Abstract and introduction] The abstract and introduction would benefit from a brief explicit statement of the null-model comparison metrics (e.g., how proxy-only predictions are subtracted before evaluating Γ_rel) to clarify the validation procedure.
  2. [Kernel definition] Notation for the context label Y and observable O should be defined once at first use with a short operational example to aid readers unfamiliar with the Möbius decomposition.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address each major comment below. We have revised the manuscript to provide additional detail where requested and to clarify the rationale for our synthetic testbed, while maintaining that the core claims are supported by the presented evidence.

read point-by-point responses

  1. Referee: [A6 synthetic hardware harness] A6 synthetic hardware harness (dynamical evidence section): the claim that results validate a context-conditioned description over proxy-only null models rests on the (C0,C1,C2) parity context being invisible to singles and pairs by construction in the harness. This renders the proxy-blindness demonstration tautological, as it follows directly from the programmed conditional interaction rather than from an empirical mismatch with real device behavior.

    Authors: We respectfully disagree that the demonstration is tautological. The A6 harness is intentionally synthetic to create a controlled environment in which a pure higher-order (C0,C1,C2) parity context is injected via a programmed conditional interaction that is invisible to singles and pairs by construction. This design isolates the precise limitation of low-order proxies, which would be difficult to achieve on uncontrolled real hardware where multiple effects are entangled. The experiment therefore provides a rigorous, falsifiable test of whether the context-conditioned kernel captures residual dependence that proxies miss. We have added a new clarifying paragraph in Section 4.2 of the revised manuscript explaining this rationale and its relation to eventual real-device application. revision: partial

  2. Referee: [Kernel definition and ansatz] Phenomenological ansatz for Γ_rel[Y,O] (Eq. defining the kernel): the residual term is introduced as a compression ansatz, but the manuscript provides insufficient detail on its explicit functional form, the precise computation of the Möbius weights from classical outcomes, and any quantitative error analysis or cross-validation against null models, making it difficult to assess whether the residual is load-bearing or an artifact of the fitting procedure.

    Authors: We thank the referee for highlighting this gap. In the revised manuscript we have substantially expanded the kernel section (now Section 3.2). We now give the explicit functional form of Γ_rel[Y,O] as a Möbius-weighted sum over context subsets, provide the precise inclusion-exclusion formula used to compute the weights directly from the empirical classical outcome distribution P(Y|O), and include a new subsection with quantitative error analysis, cross-validation against proxy-only and randomized null models, and sensitivity checks to the truncation order. These additions show that the residual term remains statistically significant and improves predictive accuracy beyond the null models. revision: yes

Circularity Check

2 steps flagged

A6 harness enforces higher-order invisibility by construction and Γ_rel is defined as residual after proxy subtraction

specific steps
  1. self definitional [Abstract, second evidence step]
    "A6 injects a pure higher-order context dependence via a programmed conditional interaction. Because the (C0,C1,C2) parity context is invisible to singles and pairs by construction, standard low-order diagnostics are fundamentally blind to the source of the probe's disturbance."

    The paper programs A6 to enforce exactly the invisibility to low-order observables, then presents the resulting proxy blindness as validation of the context-conditioned kernel. The blindness is true by the harness construction, rendering the demonstration that proxies are incomplete tautological rather than an independent empirical result.

  2. self definitional [Abstract, kernel introduction]
    "We introduce a higher-order context-conditioned kernel, Γ_eff[Y,O] = Γ_loc[O] + Γ_proxy[O] + Γ_rel[Y,O] ... The term Γ_rel[Y,O] is a phenomenological compression ansatz isolating residual context dependence unexplained by standard proxies."

    Γ_rel is introduced by definition as the term that captures whatever remains after the proxy terms are subtracted. Any subsequent claim that this residual isolates higher-order context dependence therefore holds by the structure of the decomposition itself rather than by independent derivation from device physics.

full rationale

The central validation step uses a synthetic A6 harness explicitly programmed to hide the (C0,C1,C2) parity context from singles and pairs, so the claim that low-order proxies are blind follows directly from that programming rather than from an independent test of real-device behavior. Separately, the decomposition defines Γ_rel[Y,O] as the phenomenological residual unexplained by Γ_loc and Γ_proxy, making any attribution of higher-order context dependence true by the ansatz construction. These two reductions produce moderate circularity burden, but the Möbius evaluation on classical outcomes and the quantum-eraser controllability experiment retain independent empirical content, so the overall derivation is not fully forced by definition.

Axiom & Free-Parameter Ledger

1 free parameters · 1 axioms · 1 invented entities

The central claim rests on the operational evaluation of Möbius weights on classical outcomes and the assumption that the A6 harness creates pure higher-order dependence invisible to standard diagnostics.

free parameters (1)
  • Möbius weights
    Evaluated operationally on classical measurement outcomes as part of the phenomenological ansatz for Γ_rel.
axioms (1)
  • domain assumption Möbius weights entering this ansatz are evaluated operationally on classical measurement outcomes
    To avoid impossibility issues of quantum partial-information decompositions on non-commuting algebras.
invented entities (1)
  • higher-order context-conditioned kernel Γ_eff[Y,O] no independent evidence
    purpose: To isolate residual context dependence unexplained by standard proxies
    Introduced as a phenomenological compression ansatz.

pith-pipeline@v0.9.0 · 5630 in / 1369 out tokens · 55640 ms · 2026-05-15T09:12:58.481915+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

29 extracted references · 29 canonical work pages

  1. [1]

    M¨ obius weight

    Definition: Higher-Order Context- Conditioned Kernel. Let Y denote a context label and O an observable or witness queried on a dynamic circuit. We write the total effective backaction as Γeff[Y,O] = Γ loc[O] + Γproxy[O] + Γrel[Y,O],(1) and, when useful, define an associated suppression factor D[Y,O]≡exp −Γ eff[Y,O] .(2) Here Γloc collects ordinary local d...

    work page

  2. [2]

    Let Y be a context variable carried by a context register C = {C0, C1,

    Operational Proposition: Context- Dependent Local Dynamics. Let Y be a context variable carried by a context register C = {C0, C1, . . .} and let O be a witness on a probe subsystem P . We say that context- dependent local dynamics, denoted DC(Y→ O ), holds operationally if I(Y;C i)≈0,I(Y;C iCj)≈0∀i, j,(4) while the effective dynamics of O nevertheless de...

    work page

  3. [3]

    The A6 experiment family provides evidence that a proxy-only model, Γeff[Y,O]≈Γ loc[O] + Γproxy[O], is operationally incomplete for the tested circuits

    Empirical Claim Evaluated Here. The A6 experiment family provides evidence that a proxy-only model, Γeff[Y,O]≈Γ loc[O] + Γproxy[O], is operationally incomplete for the tested circuits. The present evidence supports this claim in the lim- ited sense of a hardware harness with engineered contexts, strong passive controls, lane balancing, and coherent eraser...

    work page

  4. [4]

    discover

    Interpretive Mapping. Within DAGI, Γrel[Y,O ] is interpreted as a struc- tured record-sensitive term associated with how a queried observable intersects the context-defining history graph. Nothing in the empirical sections re- quires that interpretation: the operational content of the paper is compatible with standard quantum instruments, decoherence theo...

    work page 2048

  5. [5]

    increasing MARK strength suppressesunconditional fringes in the system marginal, and

    work page

  6. [6]

    The A6.2 source explicitly doesnotyet claim a strong separation from an optimally matched local-dephasing control channel; that remains future work [ 13]

    conditioning on the marker measured in an eraser basis restores large fringes in the conditional view. The A6.2 source explicitly doesnotyet claim a strong separation from an optimally matched local-dephasing control channel; that remains future work [ 13]. We keep that scope control intact here. D. Results and interpretation The A6.2 run shows the expect...

    work page

  7. [7]

    F. A. Pollock, C. Rodr´ ıguez-Rosario, T. Frauenheim, M. Paternostro, and K. Modi,Operational Markov condi- tion for quantum processes, Phys. Rev. Lett.120, 040405 (2018)

    work page 2018

  8. [8]

    Milz and K

    S. Milz and K. Modi,Quantum stochastic processes and quantum non-Markovian phenomena, PRX Quantum2, 030201 (2021)

    work page 2021

  9. [9]

    Rudinger, G

    K. Rudinger, G. J. Ribeill, L. C. G. Govia, M. Ware, E. Nielsen, K. Young, T. A. Ohki, R. Blume-Kohout, and T. Proctor,Characterizing midcircuit measurements on a superconducting qubit using gate set tomography, Phys. Rev. Applied17, 014014 (2022)

    work page 2022

  10. [10]

    L. C. G. Govia, P. Jurcevic, C. J. Wood, N. Kanazawa, S. T. Merkel, and D. C. McKay,A randomized bench- marking suite for mid-circuit measurements, New J. Phys. 25, 123016 (2023)

    work page 2023

  11. [11]

    Hothem, J

    D. Hothem, J. Hines, C. Baldwin, D. Gresh, R. Blume- Kohout, and T. Proctor,Measuring error rates of mid- circuit measurements, Nat. Commun.16, 5761 (2025)

    work page 2025

  12. [12]

    delayed choice

    M. O. Scully and K. Dr¨ uhl,Quantum eraser: A proposed photon correlation experiment concerning observation and “delayed choice” in quantum mechanics, Phys. Rev. A25, 2208–2213 (1982)

    work page 1982

  13. [13]

    Y.-H. Kim, R. Yu, S. P. Kulik, Y. Shih, and M. O. Scully, A delayed choice quantum eraser, Phys. Rev. Lett.84, 1–5 (2000)

    work page 2000

  14. [14]

    W. H. Zurek,Decoherence, einselection, and the quantum origins of the classical, Rev. Mod. Phys.75, 715–775 (2003)

    work page 2003

  15. [15]

    Schlosshauer, Decoherence: the Quantum-to-Classical Transition, The Frontiers Collection (Springer-Verlag, 2007) 10.1007/978-3-540-35775-9 (2007)

    M. Schlosshauer,Decoherence and the Quantum-To- Classical Transition(Springer, Berlin, 2007). https: //doi.org/10.1007/978-3-540-35775-9

    work page doi:10.1007/978-3-540-35775-9 2007

  16. [16]

    Rovelli,Relational quantum mechanics, Int

    C. Rovelli,Relational quantum mechanics, Int. J. Theor. Phys.35, 1637–1678 (1996)

    work page 1996

  17. [17]

    Giacomini, E

    F. Giacomini, E. Castro-Ruiz, and ˇC. Brukner,Quantum mechanics and the covariance of physical laws in quantum reference frames, Nat. Commun.10, 494 (2019)

    work page 2019

  18. [18]

    P. Sramek,A6: Context-Dependent Local Dynamics from Pure Higher-Order Context on IBM Quantum Hardware: A Controlled DAGI Downward-Causation Harness with Passive Nulls and a Built-In Quantum Eraser Variant (Draft v0.9), Zenodo (2026). https://doi.org/10.5281/ zenodo.18911023

    work page 2026

  19. [19]

    P. Sramek,A6.2: Programmable Global Which-Path Tag- ging and Conditional Interference Restoration on Su- perconducting Quantum Hardware(Draft v0.9), Zenodo (2026).https://doi.org/10.5281/zenodo.18911100

    work page doi:10.5281/zenodo.18911100 2026

  20. [20]

    Sramek,Observable-Selective Branching: A Hardware- Validated Topological Resolution to the Wigner’s Friend Paradox(v1.0), Zenodo (2026)

    P. Sramek,Observable-Selective Branching: A Hardware- Validated Topological Resolution to the Wigner’s Friend Paradox(v1.0), Zenodo (2026). https://doi.org/10.5 281/zenodo.18921630

    work page 2026

  21. [21]

    Sramek,Informational Time Dilation on a Supercon- ducting Quantum Processor: Schedule-Matched Evidence for Irreversibility-Controlled Clock Slowdown(v1.0), Zen- odo (2026)

    P. Sramek,Informational Time Dilation on a Supercon- ducting Quantum Processor: Schedule-Matched Evidence for Irreversibility-Controlled Clock Slowdown(v1.0), Zen- odo (2026). https://doi.org/10.5281/zenodo.1890944 1

    work page doi:10.5281/zenodo.1890944 2026

  22. [22]

    Sramek,Record, Erasure, and Distributed Witness Sen- sitivity on IBM Quantum Hardware: A DAGI Validation Study(v1.0), Zenodo (2026)

    P. Sramek,Record, Erasure, and Distributed Witness Sen- sitivity on IBM Quantum Hardware: A DAGI Validation Study(v1.0), Zenodo (2026). https://doi.org/10.528 1/zenodo.18911684

    work page 2026

  23. [23]

    Englert,Fringe Visibility and Which-Way Infor- mation: An Inequality, Phys

    B.-G. Englert,Fringe Visibility and Which-Way Infor- mation: An Inequality, Phys. Rev. Lett.77, 2154–2157 (1996)

    work page 1996

  24. [24]

    R. Y. Su, J. Y. Huang, N. D. Stuyck, M. K. Feng, W. Gilbert, T. J. Evans, W. H. Lim, F. E. Hud- son, K. W. Chan, W. Huang, K. M. Itoh, R. Harper, S. D. Bartlett, C. H. Yang, A. Laucht, A. Saraiva, T. Tanttu, and A. S. Dzurak,Characterizing non- Markovian quantum processes by fast Bayesian tomog- raphy, Phys. Rev. A111, 052425 (2025)

    work page 2025

  25. [25]

    G. A. L. White, L. C. L. Hollenberg, C. D. Hill, and K. Modi,Practical learning of multi-time statistics in open quantum systems, arXiv:2412.17862 (2024)

    work page arXiv 2024

  26. [26]

    Zhang, Z

    X. Zhang, Z. Wu, G. A. L. White, Z. Xiang, S. Hu, Z. Peng, Y. Liu, D. Zheng, X. Fu, A. Huang, D. Poletti, K. Modi, J. Wu, M. Deng, and C. Guo,Randomised benchmarking for characterizing and forecasting correlated processes, arXiv:2312.06062 (2023)

    work page arXiv 2023

  27. [27]

    Hashim, A

    A. Hashim, A. Carignan-Dugas, L. Chen, C. Juenger, N. Fruitwala, Y. Xu, G. Huang, J. J. Wallman, and I. Sid- diqi,Quasiprobabilistic readout correction of mid-circuit measurements for adaptive feedback via measurement ran- domized compiling, PRX Quantum6, 010307 (2025)

    work page 2025

  28. [28]

    Bj¨ orner,A cell complex in number theory, Adv

    A. Bj¨ orner,A cell complex in number theory, Adv. Appl. Math.46, 71–85 (2011)

    work page 2011

  29. [29]

    Pakianathan and T

    J. Pakianathan and T. Winfree,Threshold complexes and connections to number theory, Turkish J. Math.37, 511– 539 (2013)

    work page 2013