Indefinite Causal Order from Failure-to-Glue: Contextual Semantics and Parametric Time

Technical Summary: Indefinite Causal Order from Failure-to-Glue: Contextual Semantics and Parametric Time

Problem Statement
Indefinite Causal Order (ICO) has been explored through various operational and conceptual frameworks, including the quantum switch, process matrices, and superposed causal structures. However, the paper argues that the meaning of "indefiniteness" and its relationship to definite-order explanations often remain conceptually opaque. Existing literature frequently conflates distinct phenomena: mere variation across different definite orders, genuine indeterminacy, and ignorance about which order obtained. Furthermore, there is a lack of a unified semantic-structural language that can clarify how operational ICO, higher-order processes, and emergent spacetime structures fit together without conflation.

Methodology
The paper proposes a unified framework divided into two distinct but interconnected parts:

Part I: Semantic-Structural Unification (Category Theory and Logic)

1. Contextual Framework: The authors treat definite causal orderings (represented as partial orders or Directed Acyclic Graphs (DAGs)) as "contexts." These contexts are organized into a category or poset ($O$).
2. Failure-to-Glue (Global Sections): The core structural argument posits that "causal separability" (the ability to explain behavior as a classical mixture of definite orders) is equivalent to the existence of a global section for a presheaf of admissible definite-order models over the base category $O$. Conversely, causal nonseparability (ICO) is characterized as a canonical "failure-to-glue" of local definite-order descriptions into a global one. This aligns ICO with the sheaf-theoretic "no global section" paradigm used in quantum contextuality.
3. Seven-Valued Contextual Semantics: To articulate causal statements across incompatible contexts, the authors introduce a compact seven-valued classifier based on intuitionistic logic.
   • Local Logic: Within a fixed context, intuitionistic semantics are used, where truth is "warranted assertibility" rather than bivalent truth. A proposition may be undecided (neither true nor false) within a specific context.
   • Meta-Logic: Across a family of contexts $\mathcal{C}$, a proposition $\phi$ is classified by three meta-predicates: Supported ($T$), Refuted ($F$), and Indeterminate ($I$).
   • The Seven Values: The non-empty subsets of $\{T, F, I\}$ yield seven values ($T, F, TF, I, TI, FI, TFI$). This classifier distinguishes between:
     • Context Dependence ($TF$): Supported in some contexts, refuted in others.
     • Genuine Indeterminacy ($I$): The proposition is indeterminate in at least one relevant context.
     • Coexistence ($TFI$): Simultaneous conflict and indeterminacy.

Part II: Application to Quantum Gravity (Parametric Time)
The framework is applied to a quantum-gravity motivated setting where time is treated not as a geometric background but as a fundamental parametric ordering variable $\tau$.

1. Stochastic Spin Networks: The authors adopt a stochastic-quantization perspective on spin-network dynamics. In this view, Hilbert space is not fundamental; rather, it emerges from an underlying $\tau$-ordered stochastic process. The Wheeler-DeWitt condition is interpreted as an equilibrium/stationarity constraint ($L\rho_{phys} = 0$) rather than a fundamental "timeless" block universe.
2. Parametric vs. Geometric Time: While microscopic updates are globally ordered by $\tau$, "events" are defined relationally as coarse-grained interventions (e.g., detector clicks). These effective events are $\tau$-delocalized, described by envelope functions $f(\tau)$.
3. ICO as Parametric Indeterminacy: Even if the underlying microscopic dynamics is strictly ordered by $\tau$, the effective order of coarse-grained relational interventions may be indefinite. If the $\tau$-distributions of two events overlap significantly, the proposition "Event A precedes Event B" becomes indeterminate.
4. Reinterpretation of ICO: In this setting, ICO is understood as the indefiniteness of the parametric ordering of effective interventions. The "failure-to-glue" occurs because no single definite-$\tau$ explanation can account for the operational statistics of these delocalized events, even though the micro-dynamics are ordered.

Key Contributions

• Structural Reformulation: The paper recasts the criterion for causal separability (convex decomposition) as a geometric/semantic statement: the existence of a global section. Causal nonseparability is thus defined as a topological obstruction (failure-to-glue).
• Semantic Distinction: The seven-valued classifier provides a disciplined metalanguage that rigorously separates:
  1. Variation across definite orders (Context Dependence).
  2. Genuine order-indeterminacy (Indeterminacy).
  3. The coexistence of conflict and indeterminacy.
     This prevents the conflation of "unknown order" with "indefinite order."
• Bridge Between Formalisms: The framework connects higher-order causal categories (internal compositional logic) with external contextual semantics, offering a precise language for statements about causal order and its (in)definiteness.
• Quantum Gravity Perspective: It proposes a specific reading of ICO in quantum gravity where indefinite order arises from the delocalization of relational events in a fundamental parametric time $\tau$, distinct from the superposition of geometric spacetimes.

Results and Claims
The paper does not present new experimental data or a completed theory of quantum gravity. Instead, it offers a precise language and conceptual framework:

• It demonstrates that ICO can be systematically understood as a "failure-to-glue" of definite-order descriptions, placing it alongside established contextuality results.
• It argues that in a stochastic-mechanical foundation of quantum gravity, ICO is naturally interpreted as the indefiniteness of the parametric ordering of coarse-grained interventions, even when the underlying microscopic process is globally ordered by $\tau$.
• It clarifies that "no hidden definite order" corresponds to a precise non-gluing obstruction for definite-$\tau$ explanations.

Significance
The paper claims significance by providing a unified semantic-structural language for navigating the ICO landscape. It aims to resolve conceptual ambiguities by:

1. Distinguishing between operational advantages derived from order-indefiniteness versus those from coherence or non-commutativity.
2. Separating proposals tied to geometric superpositions of spacetime from those based on parametric ordering variables.
3. Offering a rigorous criterion (global section existence) to determine whether a process admits a definite-order explanation, thereby clarifying the boundary between physically implementable processes and merely formal process-matrix objects.

The authors position this work as a tool for clarifying existing debates and open problems (as cataloged in Escandón-Monardes [1]) rather than as a fourth operational strand of ICO research.