Extended Choi–Effros Product

• The extended Choi–Effros product is defined on peripheral eigenvector spaces using an idempotent asymptotic projection, yielding a canonical C*-algebra structure.
• In finite-dimensional Heisenberg dynamics, the product X★Y = P_P(XY) isolates reversible long-time behavior by confining evolution to the attractor subspace.
• Extensions beyond fixed-point spaces and complete positivity allow the product to model decoherence-free and boundary constructions, linking asymptotic operator theory with practical applications.

Searching arXiv for relevant papers on the extended Choi–Effros product and closely related asymptotic/operator-algebraic formulations. The extended Choi–Effros product is a multiplication defined on asymptotic or peripheral subspaces of quantum dynamical maps by composing the ambient product with an idempotent asymptotic projection. In finite-dimensional open quantum dynamics in the Heisenberg picture, if $$\Phi:\mathcal{B}(\mathcal{H})\to\mathcal{B}(\mathcal{H})$$ is a unital map and $\mathcal{P}_{\mathrm P}$ denotes the peripheral spectral projection, the product is

$X\star Y:=\mathcal{P}_{\mathrm P}(XY).$

This equips the attractor subspace with a canonical algebraic structure that captures long-time multiplicative behavior (Amato et al., 2024). In the von Neumann algebraic formulation of peripheral Poisson boundaries, the corresponding product is transported from a minimal dilation and admits strong-operator limit formulas on peripheral eigenvectors (Bhat et al., 28 Jul 2025). The term “extended” refers, depending on context, to an extension from fixed-point spaces to full peripheral attractor spaces, from completely positive to Schwarz or contractive settings, and from intrinsic attractor algebras to larger decoherence-free or boundary constructions (Amato et al., 2024).

1. Historical and conceptual setting

The classical Choi–Effros theorem concerns the range of a completely positive contractive idempotent $P$ on a $C^*$-algebra. If $X=\operatorname{Ran}(P)$, the multiplication

$x\circ y:=P(xy)$

turns $X$ into a $C^*$-algebra with inherited involution, and if the ambient algebra is unital then $u=P(1)$ is the unit (Prunaru, 2013). A short proof identifies $\mathcal{P}_{\mathrm P}$0 with the closed right ideal generated by elements of the form $\mathcal{P}_{\mathrm P}$1 and transfers the $\mathcal{P}_{\mathrm P}$2-algebra structure from the quotient $\mathcal{P}_{\mathrm P}$3 to the range (Prunaru, 2013).

In finite-dimensional quantum dynamics, the analogous projection is not necessarily a fixed-point expectation but rather the peripheral spectral projection associated with the eigenvalues of modulus one. For a unital completely positive map $\mathcal{P}_{\mathrm P}$4, the peripheral space

$\mathcal{P}_{\mathrm P}$5

is an operator system, and the extended Choi–Effros product on peripheral eigenvectors is given by

$\mathcal{P}_{\mathrm P}$6

for $\mathcal{P}_{\mathrm P}$7 and $\mathcal{P}_{\mathrm P}$8 (Bhat et al., 2022). In finite dimensions, this limit is a norm limit, and $\mathcal{P}_{\mathrm P}$9 is a $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$0-algebra called the peripheral Poisson boundary (Bhat et al., 2022).

The Heisenberg-picture formulation for open quantum systems makes this asymptotic construction intrinsic. There the attractor subspace is the span of peripheral eigen-operators, and the peripheral projection $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$1 itself acts as the asymptotic conditional expectation that induces the product $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$2 (Amato et al., 2024). This shift from fixed points to peripheral attractors is one of the central meanings of “extended Choi–Effros product.”

2. Finite-dimensional Heisenberg-picture formulation

The finite-dimensional setting assumes a Hilbert space $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$3 with $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$4, the operator algebra $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$5, and a discrete-time linear evolution $X\star Y:=\mathcal{P}_{\mathrm P}(XY).$6 in the Heisenberg picture (Amato et al., 2024). The map is initially taken to be unital and completely positive, and the results are then extended to unital Schwarz maps (Amato et al., 2024). The peripheral spectrum is

$X\star Y:=\mathcal{P}_{\mathrm P}(XY).$7

and the attractor subspace is

$X\star Y:=\mathcal{P}_{\mathrm P}(XY).$8

Peripheral eigenvalues are semisimple in finite dimensions, so the Jordan nilpotents vanish on the peripheral spectrum, and the associated spectral projection is

$X\star Y:=\mathcal{P}_{\mathrm P}(XY).$9

for a suitable strictly increasing subsequence $P$0 (Amato et al., 2024).

On $P$1, the product

$P$2

makes $P$3 a unital $P$4-algebra (Amato et al., 2024). The asymptotic restriction

$P$5

is a $P$6-automorphism of this $P$7-algebra, satisfying

$P$8

for all $P$9 (Amato et al., 2024). This formulation isolates the reversible long-time component of the Heisenberg dynamics.

A later analysis makes the block structure explicit. Writing $C^*$0, one has

$C^*$1

where $C^*$2 is the peripheral projection of a faithful reduced map on $C^*$3, its range is

$C^*$4

and $C^*$5 is a UCP map satisfying $C^*$6 (Amato et al., 21 Nov 2025). The attractor subspace is then

$C^*$7

and the Choi–Effros product coincides, via the $C^*$8-isomorphism $C^*$9, with the native product on $X=\operatorname{Ran}(P)$0: $X=\operatorname{Ran}(P)$1 (Amato et al., 21 Nov 2025). This provides an explicit structural model for the asymptotic algebra.

3. Choi–Effros decoherence-free algebra and extended domain

A key extension beyond the attractor subspace is the introduction of the Choi–Effros decoherence-free algebra, denoted $X=\operatorname{Ran}(P)$2 in one formulation and $X=\operatorname{Ran}(P)$3 in another (Amato et al., 2024). On the whole algebra $X=\operatorname{Ran}(P)$4, the bilinear operation $X=\operatorname{Ran}(P)$5 is generally non-associative. The new space is defined as

$X=\operatorname{Ran}(P)$6

(Amato et al., 2024). Equivalently, by a Schwarz-type polarization argument, one may require

$X=\operatorname{Ran}(P)$7

for all $X=\operatorname{Ran}(P)$8 (Amato et al., 2024).

This algebra satisfies $X=\operatorname{Ran}(P)$9 and contains the classical decoherence-free algebra defined using the ambient composition product (Amato et al., 2024). On $x\circ y:=P(xy)$0, the star-product becomes associative: $x\circ y:=P(xy)$1 so $x\circ y:=P(xy)$2 is a $x\circ y:=P(xy)$3-algebra and $x\circ y:=P(xy)$4 is a Banach $x\circ y:=P(xy)$5-algebra, or $x\circ y:=P(xy)$6-algebra, with

$x\circ y:=P(xy)$7

because $x\circ y:=P(xy)$8 is contractive (Amato et al., 2024). The construction is therefore “extended” not only spectrally but also algebraically: the induced multiplication is no longer confined to the attractor itself.

The direct-sum decomposition

$x\circ y:=P(xy)$9

is central (Amato et al., 2024). It implies that $X$0 is a $X$1-algebra with respect to the usual composition product and that $X$2 is a $X$3-ideal in $X$4 (Amato et al., 2024). The quotient

$X$5

is a $X$6-algebra $X$7-isomorphic to $X$8 (Amato et al., 2024). A refined block decomposition gives

$X$9

so the Choi–Effros decoherence-free algebra is the direct sum of the faithful attractor algebra $C^*$0 and the transient algebra $C^*$1 (Amato et al., 21 Nov 2025).

A common misconception is that the star-product should be associative everywhere once it is defined by an idempotent asymptotic projection. This is not correct in general. On $C^*$2 with $C^*$3, the idempotent UCP map

$C^*$4

yields a non-associative $C^*$5 outside $C^*$6 (Amato et al., 2024). The extension therefore requires a distinguished subspace on which associativity is restored.

4. Faithfulness, peripherally automorphic maps, and picture duality

The relationship between the attractor subspace and the Choi–Effros decoherence-free algebra is governed by faithfulness. A Heisenberg dynamics $C^*$7 is called faithful if the Schrödinger adjoint $C^*$8 admits an invertible stationary state $C^*$9 satisfying $u=P(1)$0 (Amato et al., 2024). In that case,

$u=P(1)$1

(Amato et al., 2024). Since $u=P(1)$2, this equivalence is the same as $u=P(1)$3, which holds exactly when the asymptotic state $u=P(1)$4 has full support (Amato et al., 2024). In the faithful case one further has

$u=P(1)$5

where $u=P(1)$6 is the classical decoherence-free algebra (Amato et al., 2024).

A related notion is that of a peripherally automorphic map. In the finite-dimensional Heisenberg setting, $u=P(1)$7 is peripherally automorphic if on $u=P(1)$8 the Choi–Effros product coincides with the composition product: $u=P(1)$9 (Amato et al., 2024). Equivalently, $\mathcal{P}_{\mathrm P}$00 is closed under composition, or $\mathcal{P}_{\mathrm P}$01 for $\mathcal{P}_{\mathrm P}$02 (Amato et al., 2024). Faithful maps are peripherally automorphic, but the converse need not hold (Amato et al., 2024).

In the matrix-algebra formulation, peripherally automorphic UCP maps admit a precise characterization. For $\mathcal{P}_{\mathrm P}$03 on $\mathcal{P}_{\mathrm P}$04, the following are equivalent: $\mathcal{P}_{\mathrm P}$05, $\mathcal{P}_{\mathrm P}$06, $\mathcal{P}_{\mathrm P}$07 is peripherally automorphic, $\mathcal{P}_{\mathrm P}$08 for peripheral eigenvectors, and $\mathcal{P}_{\mathrm P}$09 iff $\mathcal{P}_{\mathrm P}$10 for all Kraus operators $\mathcal{P}_{\mathrm P}$11 (Bhat et al., 2022). Moreover, $\mathcal{P}_{\mathrm P}$12 is peripherally automorphic iff $\mathcal{P}_{\mathrm P}$13 is closed under matrix multiplication, in which case the restriction $\mathcal{P}_{\mathrm P}$14 is a $\mathcal{P}_{\mathrm P}$15-algebra automorphism with respect to the original product (Bhat et al., 2022).

The Heisenberg–Schrödinger duality becomes especially transparent in the faithful case: $\mathcal{P}_{\mathrm P}$16 for an invertible invariant state $\mathcal{P}_{\mathrm P}$17 of $\mathcal{P}_{\mathrm P}$18 (Amato et al., 21 Nov 2025). In the general non-faithful case, the map $\mathcal{P}_{\mathrm P}$19 mediates the relation between the two attractor structures (Amato et al., 21 Nov 2025). This suggests that the extended Choi–Effros product is not only an asymptotic multiplication but also a duality-compatible algebraic encoding of the reversible sector.

5. Extension beyond complete positivity

One of the main structural results is that the finite-dimensional Heisenberg-picture construction does not fundamentally rely on complete positivity. A Schwarz map is a unital positive map satisfying

$\mathcal{P}_{\mathrm P}$20

(Amato et al., 2024). The 2024 analysis states that the entire asymptotic algebraic structure persists for such maps: $\mathcal{P}_{\mathrm P}$21 remains a $\mathcal{P}_{\mathrm P}$22-algebra, and the asymptotic restriction $\mathcal{P}_{\mathrm P}$23 remains a $\mathcal{P}_{\mathrm P}$24-automorphism (Amato et al., 2024). The corresponding star-Schwarz inequality is

$\mathcal{P}_{\mathrm P}$25

and its saturation on peripheral eigen-operators yields multiplicativity on the attractor (Amato et al., 2024).

A later treatment introduces an important caveat. In the Schwarz setting, one still has

$\mathcal{P}_{\mathrm P}$26

and

$\mathcal{P}_{\mathrm P}$27

but a full $\mathcal{P}_{\mathrm P}$28-algebra structure for the Choi–Effros product is guaranteed when $\mathcal{P}_{\mathrm P}$29 is completely positive, for example in the peripherally automorphic case (Amato et al., 21 Nov 2025). In general Schwarz dimension $\mathcal{P}_{\mathrm P}$30 examples, $\mathcal{P}_{\mathrm P}$31 may fail to be completely positive, so the CE product need not endow a $\mathcal{P}_{\mathrm P}$32-algebra unless additional conditions hold (Amato et al., 21 Nov 2025).

This is best read as a distinction between two levels of extension present in the literature. One level asserts that asymptotic multiplicativity and attractor structure persist under the Schwarz inequality (Amato et al., 2024). Another emphasizes that the full Choi–Effros $\mathcal{P}_{\mathrm P}$33-algebra mechanism depends on complete positivity of the relevant asymptotic projection, which may require extra hypotheses in the Schwarz regime (Amato et al., 21 Nov 2025). A plausible implication is that “extension beyond complete positivity” is structurally robust at the level of asymptotic decomposition, but algebraically delicate at the level of intrinsic $\mathcal{P}_{\mathrm P}$34-product realization.

6. Von Neumann algebraic boundary theory and strong-limit formulas

A different extension arises in the theory of peripheral Poisson boundaries for normal maps on von Neumann algebras. Let $\mathcal{P}_{\mathrm P}$35 be a von Neumann algebra and $\mathcal{P}_{\mathrm P}$36 a normal UCP map. Define

$\mathcal{P}_{\mathrm P}$37

and let $\mathcal{P}_{\mathrm P}$38 be the norm-closure (Bhat et al., 28 Jul 2025). The extended product is constructed using a minimal dilation $\mathcal{P}_{\mathrm P}$39 and unique lifts $\mathcal{P}_{\mathrm P}$40: $\mathcal{P}_{\mathrm P}$41 for $\mathcal{P}_{\mathrm P}$42, where $\mathcal{P}_{\mathrm P}$43 is the projection from the dilation space onto $\mathcal{P}_{\mathrm P}$44 (Bhat et al., 28 Jul 2025).

For peripheral eigenvectors $\mathcal{P}_{\mathrm P}$45 and $\mathcal{P}_{\mathrm P}$46, the product admits the strong-operator limit formula

$\mathcal{P}_{\mathrm P}$47

in discrete time (Bhat et al., 28 Jul 2025). For quantum dynamical semigroups $\mathcal{P}_{\mathrm P}$48, if $\mathcal{P}_{\mathrm P}$49 and $\mathcal{P}_{\mathrm P}$50 then

$\mathcal{P}_{\mathrm P}$51

(Bhat et al., 28 Jul 2025). These formulas preserve the intuition that the extended Choi–Effros product extracts the reversible or peripheral part of the asymptotic product.

The framework extends from normal UCP maps to normal contractive completely positive maps and to contractive quantum dynamical semigroups on von Neumann algebras (Bhat et al., 28 Jul 2025). Whenever the peripheral Poisson boundary is nontrivial, it is unital, with unit

$\mathcal{P}_{\mathrm P}$52

in discrete time, or $\mathcal{P}_{\mathrm P}$53 in continuous time (Bhat et al., 28 Jul 2025). The dynamics restricts to automorphisms on the boundary, isolating the reversible part of the evolution (Bhat et al., 28 Jul 2025).

The same work also identifies serious obstacles in the $\mathcal{P}_{\mathrm P}$54-algebra framework. The lack of strong operator topology, possible failure of normality, and failure of lifting within $\mathcal{P}_{\mathrm P}$55-dilations prevent a general construction; examples show that the operator system generated by peripheral eigenvectors may fail to admit any compatible $\mathcal{P}_{\mathrm P}$56-algebra product (Bhat et al., 28 Jul 2025). This contrast is significant: the extended Choi–Effros product is robust in von Neumann settings but not available in comparable generality for arbitrary $\mathcal{P}_{\mathrm P}$57-algebras.

7. Representative examples and structural consequences

Several examples clarify the scope and limitations of the construction.

In finite-dimensional Heisenberg dynamics, an idempotent UCP map on $\mathcal{P}_{\mathrm P}$58 given by

$\mathcal{P}_{\mathrm P}$59

has attractor subspace equal to the set of block matrices with the displayed $\mathcal{P}_{\mathrm P}$60 block and $\mathcal{P}_{\mathrm P}$61 in the $\mathcal{P}_{\mathrm P}$62 entry, while the Choi–Effros decoherence-free algebra allows arbitrary $\mathcal{P}_{\mathrm P}$63: $\mathcal{P}_{\mathrm P}$64 (Amato et al., 2024). Here

$\mathcal{P}_{\mathrm P}$65

so $\mathcal{P}_{\mathrm P}$66 and the star-product on $\mathcal{P}_{\mathrm P}$67 is not $\mathcal{P}_{\mathrm P}$68 with the operator norm (Amato et al., 2024). This exhibits the necessity of the quotient description.

A second $\mathcal{P}_{\mathrm P}$69 example uses the Markovian channel generated by $\mathcal{P}_{\mathrm P}$70. It is peripherally automorphic but not faithful; one has $\mathcal{P}_{\mathrm P}$71 while $\mathcal{P}_{\mathrm P}$72 is the full diagonal algebra, so $\mathcal{P}_{\mathrm P}$73 strictly contains $\mathcal{P}_{\mathrm P}$74 (Amato et al., 2024). This demonstrates that $\mathcal{P}_{\mathrm P}$75 does not imply faithfulness, whereas $\mathcal{P}_{\mathrm P}$76 does (Amato et al., 2024).

For qubits, non-faithful maps are highly constrained. If $\mathcal{P}_{\mathrm P}$77 is a non-faithful qubit UCP map, then

$\mathcal{P}_{\mathrm P}$78

where $\mathcal{P}_{\mathrm P}$79 is the unique non-invertible stationary state; hence every qubit UCP map is peripherally automorphic (Amato et al., 2024).

The amplitude damping channel provides a concrete non-faithful block example. In the Schrödinger picture,

$\mathcal{P}_{\mathrm P}$80

while in the Heisenberg picture

$\mathcal{P}_{\mathrm P}$81

(Amato et al., 21 Nov 2025). The Heisenberg attractor retains a non-zero residual component on the transient sector, matching the block-structural theorem (Amato et al., 21 Nov 2025).

In the finite-dimensional matrix setting of peripheral Poisson boundaries, stationary maps with faithful invariant states are peripherally automorphic, but faithfulness alone does not imply peripherally automorphic behavior (Bhat et al., 2022). Convex combinations and compositions of peripherally automorphic maps may fail to remain peripherally automorphic (Bhat et al., 2022). These examples underscore that closure of the peripheral space under the original product is exceptional rather than automatic.

Taken together, these results identify the extended Choi–Effros product as a unifying device for asymptotic quantum dynamics, peripheral operator theory, and noncommutative boundary constructions. It links spectral projections, multiplicative domains, decoherence-free structures, and dilation theory. At the same time, the literature shows that its exact algebraic realization depends sharply on the ambient category: finite-dimensional $\mathcal{P}_{\mathrm P}$82-algebraic dynamics and normal von Neumann algebraic dynamics admit powerful and explicit constructions, whereas general $\mathcal{P}_{\mathrm P}$83-algebraic extensions encounter genuine obstructions (Amato et al., 2024).