State-Operation Paradigm Overview

• State-Operation Paradigm is a framework that describes systems through explicit states and well-defined operations, emphasizing the mathematical link between configuration and transformation.
• It spans various domains including quantum information (using stators), protocol analysis, and database theory, where explicit state modeling enhances verifiability and control.
• The paradigm supports rigorous process tracking and compositionality, enabling robust methodologies in stateful protocol analysis, operational theories, and machine learning applications.

The state–operation paradigm denotes a family of formalisms in which a system is described through states together with operations, transformations, events, or predicates that act on those states or connect them. In the cited literature, the phrase has domain-specific realizations rather than a single universal definition: in quantum information it appears in stators, measurement-based computation, and operational dilations; in protocol analysis and storage systems it appears as explicit state-transition or state-observation constraints; in language-agent control and dialogue systems it appears as a decomposition of behavior into state construction and operation selection (Zohar, 2016, Wang et al., 2010, Chiribella, 2014, Ramsdell et al., 2014, Crooks et al., 2016, Jeong et al., 12 May 2026, Zeng et al., 2020). A recurring feature is that the formalism makes the relation between “what the system is” and “what is done to it” mathematically explicit.

1. Formal scope and recurring mathematical structure

One explicit definition appears in the State-Centric Decision Process, where an SOP is exactly an MDP specified by five objects: a state space $S$, an action set $A$, a transition function $T:S\times A\to S$, an observation mapping $\phi:\mathrm{Observations}\to S$, and a termination predicate $\mathrm{Done}\subseteq S$ (Jeong et al., 12 May 2026). In that formulation, the next state is $s' = T(s,a)$, and the paradigm is understood as the recovery of these objects in environments that emit raw text rather than pre-defined states.

A different but structurally related formalization appears in stateful protocol analysis. There, the state space is a set $S$ of global states, the operations form a set $\mathrm{Op}$ of state-operation symbols, and the transition relation is a subset

$\Delta \subseteq S \times \mathrm{Op} \times S.$

A triple $(s_0,\mathrm{op},s_1)\in\Delta$ means that when the global state is $A$0, performing operation $A$1 yields state $A$2 (Ramsdell et al., 2014). This form makes operations primitive and treats state evolution as constrained reachability.

A third formalization, in the “thinging machine” semantics, defines a state not as a snapshot of variables but as a change within a larger static diagram. A thimac is a pair $A$3, the static model $A$4 is an atemporal graph, and a TM-state is a change $A$5. Events are timed occurrences $A$6 (Al-Fedaghi, 2020). This shifts the paradigm from “state as configuration” to “state as a coherent slice of process structure.”

These formulations do not identify a single shared ontology, but they do share a common discipline: states are represented explicitly, operations are formal objects rather than informal labels, and admissible evolutions are expressed through mappings, relations, or compatibility conditions.

2. Quantum realizations: stators, resource states, and remote operations

In quantum information, the most literal “state–operation” object is the stator. For two quantum systems $A$7 and $A$8 with Hilbert spaces $A$9 and $T:S\times A\to S$0, a stator is an element of $T:S\times A\to S$1 generated by a joint unitary $T:S\times A\to S$2 and a reference state $T:S\times A\to S$3 through

$T:S\times A\to S$4

It can be viewed as a map $T:S\times A\to S$5, or equivalently as an object in $T:S\times A\to S$6 with canonical decomposition

$T:S\times A\to S$7

where $T:S\times A\to S$8 are Kraus operators (Zohar, 2016). This is the “half-state, half-operator” formulation: $T:S\times A\to S$9 is the half-operator on $\phi:\mathrm{Observations}\to S$0, and $\phi:\mathrm{Observations}\to S$1 is the half-state on $\phi:\mathrm{Observations}\to S$2.

The central feature is the eigenoperator relation

$\phi:\mathrm{Observations}\to S$3

If Hermitian Hamiltonians $\phi:\mathrm{Observations}\to S$4 and $\phi:\mathrm{Observations}\to S$5 satisfy $\phi:\mathrm{Observations}\to S$6, then

$\phi:\mathrm{Observations}\to S$7

so acting only on $\phi:\mathrm{Observations}\to S$8 induces the corresponding dynamics on $\phi:\mathrm{Observations}\to S$9 (Zohar, 2016). The qubit example

$\mathrm{Done}\subseteq S$0

satisfies

$\mathrm{Done}\subseteq S$1

showing explicitly how an operator on $\mathrm{Done}\subseteq S$2 induces the same operator on $\mathrm{Done}\subseteq S$3. The same paper generalizes the construction to finite or compact groups through a group-element basis $\mathrm{Done}\subseteq S$4, Wigner matrices $\mathrm{Done}\subseteq S$5, and the group element stator

$\mathrm{Done}\subseteq S$6

which obeys

$\mathrm{Done}\subseteq S$7

This group-theoretic form is then used for digital quantum simulation, where multi-body interactions are assembled from successive two-body stator couplings with a single ancilla (Zohar, 2016).

Measurement-based quantum computation realizes a related separation between resource state and online operation. In the one-way model, a large entangled cluster state is prepared off-line once, and logical operations are then effected by choosing appropriate local measurement bases and applying classical feed-forward of the results (Wang et al., 2010). In the continuous-variable four-partite cluster-state scheme, the overall action is equivalent to the two-mode unitary

$\mathrm{Done}\subseteq S$8

which implements the CV analog of a CNOT gate in the Heisenberg picture through the transformations $\mathrm{Done}\subseteq S$9 and $s' = T(s,a)$0 (Wang et al., 2010). The online stage applies no further dynamic two-mode gates; the logical operation is specified by which cluster modes are measured, which quadrature bases are used, and how the outcomes are fed forward.

A controlled remote implementation protocol via graph states extends the stator idea to distributed control. Sharing a $s' = T(s,a)$1-partite graph state, $s' = T(s,a)$2 participants collaborate to prepare a multipartite stator and realize

$s' = T(s,a)$3

on $s' = T(s,a)$4 unknown remote states using only local operations and classical communication, with a controller’s permission (Qiu et al., 2022). The protocol’s eigenoperator relation again mediates the remote action, and the entanglement cost, measured by the geometric measure, is $s' = T(s,a)$5 for the graph state $s' = T(s,a)$6.

Taken together, these quantum formulations make the paradigm unusually concrete: an operation can be embedded into an entangled state, deferred into a measurement pattern, or recovered from a controlled resource state.

3. State–operation duality in operational and algebraic quantum theories

Operational-probabilistic theories formulate the paradigm categorically. Systems are objects of a strict symmetric monoidal category $s' = T(s,a)$7, transformations are morphisms $s' = T(s,a)$8, states are morphisms $s' = T(s,a)$9, effects are morphisms $S$0, and tests are finite families of transformations (Chiribella, 2014). Within this framework, the Choi–Jamiolkowski correspondence appears as a state–operation duality: with a faithful state and purification, a transformation $S$1 is mapped injectively to a state

$S$2

The purification principle states that every state $S$3 admits a pure dilation $S$4 with $S$5, unique up to a reversible transformation on the auxiliary system. Under the same hypotheses, every transformation $S$6 admits a pure dilation

$S$7

which is the operational analogue of Stinespring’s theorem (Chiribella, 2014).

Hardy’s circuit framework gives a different operational structure. A theory is built from operations, wires, fragments, and circuits without assuming a background time. Hypersurfaces foliating the circuit define a graphical notion of “passing through” operations. States are compressed vectors $S$8 for preparations, effects are vectors $S$9, and transformations are matrices

$\mathrm{Op}$0

such that

$\mathrm{Op}$1

For locally tomographic theories, circuit probabilities can be computed from matrices associated with the operations, classical theory and complex quantum theory appear as examples, and quaternionic quantum theory is excluded by the inequality conflict described in the paper (0912.4740).

An operator-algebraic version appears in the “props and ops” model. There the $\mathrm{Op}$2-algebra $\mathrm{Op}$3 of observables is the syntax, a quantum state is a linear functional $\mathrm{Op}$4 satisfying positivity and normalization, and operations are completely positive unital maps

$\mathrm{Op}$5

The GNS construction recovers a Hilbert-space representation from $\mathrm{Op}$6, measurement acts by the Lüders map

$\mathrm{Op}$7

and the Knill–Laflamme conditions are written in the algebraic form

$\mathrm{Op}$8

for a code projector $\mathrm{Op}$9 (Wakeham, 3 Sep 2025). Here the state–operation paradigm is neither a circuit schedule nor a remote-control mechanism; it is a syntax–semantics pairing in which observables and state functionals are dual primitives.

4. Stateful protocols and application-visible storage semantics

In security protocol analysis, the state–operation relation is used to integrate mutable state with message passing. For the Envelope Protocol, the TPM’s mutable long-term state is a single PCR register modeled as a sort $\Delta \subseteq S \times \mathrm{Op} \times S.$0 generated by the constructors $\Delta \subseteq S \times \mathrm{Op} \times S.$1 and $\Delta \subseteq S \times \mathrm{Op} \times S.$2. A coercion

$\Delta \subseteq S \times \mathrm{Op} \times S.$3

is defined by

$\Delta \subseteq S \times \mathrm{Op} \times S.$4

and the transition relation $\Delta \subseteq S \times \mathrm{Op} \times S.$5 includes boot, extend$\Delta \subseteq S \times \mathrm{Op} \times S.$6, and state-preserving quote/decrypt steps (Ramsdell et al., 2014). CPSA models state-bearing tokens as encrypted messages, while PVS develops a theory of infinite state paths with $\Delta \subseteq S \times \mathrm{Op} \times S.$7 and $\Delta \subseteq S \times \mathrm{Op} \times S.$8. The joint theory introduces compatibility: a bundle is compatible with the transition system when its annotated nodes correspond bijectively to positions along a valid state path. The analysis then alternates between CPSA shape analysis and PVS bridge lemmas until contradiction or proof. In the Envelope Protocol case study, the method proves that Alice’s secret and the refusal-quote cannot both be exposed in any real execution (Ramsdell et al., 2014).

A related but distinct use appears in storage semantics. The state-based model of consistency and isolation defines database states as

$\Delta \subseteq S \times \mathrm{Op} \times S.$9

with distinguished initial state $(s_0,\mathrm{op},s_1)\in\Delta$0, and transactions as totally ordered sequences of reads $(s_0,\mathrm{op},s_1)\in\Delta$1 and writes $(s_0,\mathrm{op},s_1)\in\Delta$2 (Crooks et al., 2016). Executions are total orders

$(s_0,\mathrm{op},s_1)\in\Delta$3

and reads are constrained by candidate-read states $(s_0,\mathrm{op},s_1)\in\Delta$4. Isolation is specified by commit-tests such as

$(s_0,\mathrm{op},s_1)\in\Delta$5

$(s_0,\mathrm{op},s_1)\in\Delta$6

$(s_0,\mathrm{op},s_1)\in\Delta$7

and session guarantees are expressed by local session-tests for Read-My-Writes, Monotonic Reads, Monotonic Writes, Writes-Follow-Reads, and Causal Consistency (Crooks et al., 2016). The paper proves that the four session guarantees are equivalent to causal consistency, and that the recently proposed parallel snapshot isolation is a specific implementation of lazy consistency, or PL-2+.

Both literatures treat stateful behavior as something that cannot be reduced to unconstrained message histories or opaque operation logs. In one case the remedy is compatibility with a true state path; in the other it is to define guarantees directly as predicates over application-visible states.

5. Runtime construction and learned state operations

The State-Centric Decision Process applies the paradigm to language environments that emit raw text rather than explicit states. It introduces a runtime framework in which the agent constructs a task-induced state space, an observation-to-state mapping, certified transitions, and a termination criterion by committing to natural-language predicates and validating them against observations (Jeong et al., 12 May 2026). If $(s_0,\mathrm{op},s_1)\in\Delta$8 is the universe of possible predicates, then the current certified state at time $(s_0,\mathrm{op},s_1)\in\Delta$9 is

$A$00

and the observation mapping is

$A$01

Termination is defined by a designated goal predicate $A$02 and occurs exactly when $A$03.

Because validation can certify multiple predicates at once, the transition function is written in cascade form: if the agent chooses action $A$04 to realize a target predicate $A$05 and validation certifies $A$06 predicates, then

$A$07

The accompanying interfaces

• Propose: $A$08,
• Realize: $A$09,
• Validate: $A$10,
• Replan: $A$11

make the pipeline modular, while the explicit predicate sequence enables per-predicate credit assignment, failure localization, partial-progress measurement, and modular operator replacement (Jeong et al., 12 May 2026).

Open-vocabulary dialogue state tracking adopts a narrower but closely related decomposition. The dialogue state at turn $A$12 is

$A$13

and for each slot the system first predicts a discrete state operation $A$14 and only generates a new value when $A$15 (Zeng et al., 2020). The four operations are CARRYOVER, DELETE, DONTCARE, and UPDATE. Transformer-DST uses a single BERT as both encoder and decoder, with a joint objective

$A$16

so that operation prediction and value generation optimize the same parameter set. The state–operation paradigm here is not a state-transition system in the classical control sense; it is a decomposition of belief-state maintenance into discrete operational decisions plus conditional value generation.

These two machine-learning uses share a notable feature: the operational layer is explicit and interpretable. In SDP the state itself is built from validated predicates; in DST the update semantics of each slot is first classified before any generation occurs.

6. Interpretation, misconceptions, and limitations

Across these literatures, “state” does not denote a single ontological kind. In the stator formalism, the state–operation object is an entangled element of $A$17; in database theory it is an application-visible mapping from keys to values; in TPM analysis it is a term-generated machine state; in TM semantics it is a change $A$18 cut from an atemporal static model; in SDP it is a growing set of certified predicates (Zohar, 2016, Crooks et al., 2016, Ramsdell et al., 2014, Al-Fedaghi, 2020, Jeong et al., 12 May 2026). A plausible implication is that the paradigm is best understood structurally rather than lexically: what matters is not a uniform meaning of “state,” but the explicit formal relation between state and operation.

The same caution applies to “operation.” In quantum computation an operation may be induced remotely through an eigenoperator relation, or specified by local measurement bases and feed-forward on a fixed entangled resource (Zohar, 2016, Wang et al., 2010). In protocol analysis it is a transition symbol such as boot or extend$A$19; in TM semantics it is a time-tagged occurrence of a change; in dialogue state tracking it is a four-way per-slot label; in storage semantics it is a read or write constrained by commit-tests and session-tests (Ramsdell et al., 2014, Al-Fedaghi, 2020, Zeng et al., 2020, Crooks et al., 2016).

Several papers also identify characteristic limitations. TM semantics notes scalability, tool support, and learning curve as open challenges (Al-Fedaghi, 2020). Transformer-DST reports slower inference than the RNN-stacked baseline because of full Transformer decoding (Zeng et al., 2020). CPSA’s state-passing style, taken alone, permits “splits” in imagined state histories that real state cannot exhibit, which is why the compatibility interface with PVS is required (Ramsdell et al., 2014). In language environments, the absence of explicit state space, observation-to-state mapping, certified transitions, and termination criterion is precisely the gap SDP is designed to fill (Jeong et al., 12 May 2026).

A recurring misconception is that a state-based formalism merely rephrases an operation history. Several of the cited works argue the opposite. “Seeing is Believing” explicitly contrasts application-visible states with hidden operation histories and uses that shift to unify isolation and consistency guarantees (Crooks et al., 2016). The stator formalism embeds an operation into a joint entangled object rather than treating it as an ordinary gate sequence (Zohar, 2016). Operational-probabilistic and algebraic approaches derive transformations from state-based constructions such as purification, GNS, or Choi-type correspondences (Chiribella, 2014, Wakeham, 3 Sep 2025).

In that sense, the state–operation paradigm is less a single theory than a recurrent research strategy: make states explicit, formalize operations as state-transforming or state-induced objects, and use that explicitness to recover compositionality, verifiability, or remote controllability in domains where informal histories or opaque interfaces are inadequate.