Generalized State Space Model (GSSM)

• Generalized State Space Model (GSSM) is a framework that uses convex sections and CP extensions to represent quantum channels and higher-order maps.
• It leverages Choi matrix characterizations to establish channel equivalence and enables precise structural analysis in quantum information theory.
• The iterative design of GSSM allows decomposition of complex quantum processes into simple, standard channel components for optimization.

A generalized state space model (GSSM) is a flexible mathematical and operator-theoretic framework for representing, classifying, and analyzing not only quantum states but also channels, instruments, and higher-order maps as convex sections of state spaces over finite-dimensional $C^*$-algebras. The concept encompasses “generalized channels,” their completely positive extensions, equivalence classes, and the iterative definition of higher-order maps (“supermaps”), forming a rigorously extensible hierarchy suitable for optimization and structural analysis in quantum information science.

1. Convex Sections and the Definition of Generalized Channels

Let $A$ and $B$ be finite-dimensional $C^*$-algebras, and let $G(A)$ denote the state space of $A$, that is, the set of positive trace-one linear functionals (states) on $A$. The starting point for GSSM is the selection of a convex subset $K \subset G(A)$, which serves as the base domain for “generalized” constructs.

A channel on $K$ is defined as an affine map $E : K \rightarrow G(B)$, i.e., $A$0, that can be (uniquely) extended to a completely positive (cp) map on the vector subspace $A$1 generated by $A$2. The extension property is essential: the affine map on a convex “section” $A$3 uniquely determines, and is determined by, its cp extension to $A$4 and, by further extension, to the full algebra $A$5. This forms the basis for the “generalized channel”: an affine, cp-extendable map defined only on a partial convex section of a state space, not necessarily on all states.

Such generalized channels will, for every positive affine function on $A$6, admit an extension to a positive linear map on $A$7. This property is crucial for viewing $A$8 as a section of a state space and for building further GSSM structure.

2. Choi Matrix Characterization and Equivalence of Channels

The characterization of generalized channels relies on their extension as cp maps and exploits the Choi–Jamiołkowski isomorphism. For every cp map $A$9 representing a channel on $B$0, its Choi matrix $B$1 must satisfy

$B$2

where $B$3 is the orthogonal complement (in the dual space) with respect to $B$4. Equivalence of two such cp extensions $B$5—meaning they have identical effects on $B$6—is characterized by the Choi matrices through

$B$7

that is, differences in the Choi representations live entirely in the tensor extension of the orthogonal complement to $B$8. This explicit structure enables a classification of generalized channels and their equivalence classes, which is critical for both theoretical analysis and practical applications such as discrimination and optimization over channels.

3. The Role of Tracial States and the Iterative Structure of Supermaps

A key insight is that if the subset $B$9 contains the tracial state $C^*$0, the set of generalized channels, represented via their Choi matrices, itself forms a convex section of a higher-order multipartite state space (specifically, a section of $C^*$1). This inclusion promotes a “self-similar” or recursive character: the space of generalized channels becomes a new section $C^*$2, and cp maps on $C^*$3 (which can themselves be extended to cp maps on the larger algebra) define generalized supermaps, i.e., maps taking channels to channels in a convex-operator-theoretic sense.

This hierarchy can be iterated: supermaps on supermaps, and so forth. In the language of quantum information, such higher-order maps correspond to objects like quantum combs (multi-step quantum processes), process POVMs (tests on quantum processes), and instruments (generalized measurements on quantum channels).

4. Decomposition Theorem: Factorization into Simple and Standard Channels

A principal technical result is a decomposition theorem for generalized supermaps and channels. Specifically, every generalized channel $C^*$4 (with respect to $C^*$5) admits a canonical decomposition

$C^*$6

where $C^*$7 is a simple generalized channel parameterized by a positive element $C^*$8,

$C^*$9

subject to the normalization $G(A)$0 for all $G(A)$1, and $G(A)$2 is an ordinary channel. This factorization separates the structural adjustment due to the restriction to $G(A)$3 (the $G(A)$4 component) from the “standard” part of the channel (the $G(A)$5 component). The extension to supermaps proceeds similarly, capturing the iterative structure of generalized state space models: complex higher-order maps can be expressed in terms of layered compositions of such simple and standard components.

The decomposition theorem provides a concrete, constructive method to analyze and build up arbitrary (possibly very complex) processes in a GSSM, reducing the classification and manipulation of such objects to well-understood pieces.

5. Special Cases: Quantum Combs, Process POVMs, and Instruments

The framework encompasses numerous familiar quantum information-theoretic objects as special cases:

Object Type	Subset $G(A)$6 or Target Algebra	GSSM Interpretation
Quantum combs	$G(A)$7 with tracial state	Generalized supermaps for multi-step strategies
Process POVMs	Commutative $G(A)$8 algebra $G(A)$9	Measurements/tests on processes via generalized POVMs
Quantum testers	$A$0 as POVMs	Recovering structure of process measurements
Instruments	cp maps on commutative subalgebras	Measurements on generalized POVMs

When $A$1 is commutative or $A$2 is associated with a POVM structure, process POVMs and instruments arise as generalized POVMs in the GSSM sense, with Choi conditions and normalization constraints specialized accordingly.

6. Mathematical and Physical Implications in GSSM

The generalized state space model framework systematically unifies the representation of all basic objects in quantum information—in particular, states, channels, and higher-level processes—within the geometry of convex sections of operator algebras. Every affine map on such a section, if it extends to a cp map, is included, and even partial channels (those defined only on a subset $A$3) can be analyzed via their cp extensions. This is particularly salient in optimization problems, process tomography, or resource analysis, where the convexity and operator structure are central.

The iterative, section-based approach enables hierarchical modeling: if $A$4 contains the tracial state, the set of generalized channels is itself a section of a higher-dimensional state space, supporting the construction and decomposition of supermaps. This mirrors the hierarchies in quantum strategies and testing and allows powerful reduction theorems (as given in the decomposition result) to be used to break down any generalized process into constituent channels. These techniques extend the formalism to encompass quantum combs, testers, instruments, and more, articulating a fully unified mathematical language for generalized state space analysis.

7. Summary Table: Choi Constraints and Equivalence

Concept	Choi Condition / Equivalence Class
Generalized channel $A$5	$A$6
Channel equivalence	$A$7
Supermap decomposition	$A$8, $A$9

This explicit algebraic characterization facilitates the practical manipulation, extension, and optimization of all levels of quantum processes within the generalized state space framework.

---

In conclusion, the GSSM framework grounded in operator convexity and cp-extendability establishes a mathematically rigorous foundation for representing, classifying, and composing a broad hierarchy of quantum information processes, from states to channels to multi-level supermaps. It provides general decomposition theorems, explicit algebraic characterizations, and encompasses numerous known special cases, making it central to structural and optimization questions in quantum information and operator theory (Jencova, 2011).