---
title: Extended Choi–Effros Product
url: https://www.emergentmind.com/topics/extended-choi-effros-product
type: topic
---

# Extended Choi–Effros Product

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 [2403.12926]. 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 [2507.20668]. 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 [2403.12926].

## 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 [1304.6664]. A short proof identifies $\ker(P)$ with the closed right ideal generated by elements of the form $xy-P(xy)$ and transfers the $C^*$-algebra structure from the quotient $A/\ker(P)$ to the range [1304.6664].

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 $T:M_d\to M_d$, the peripheral space
\[
P(T):=\operatorname{span}\{X\in M_d:\exists \lambda\in\mathbb{T}\ \text{with}\ T(X)=\lambda X\}
\]
is an operator system, and the extended Choi–Effros product on peripheral eigenvectors is given by
\[
X\circ Y=\lim_{n\to\infty}(\lambda\mu)^{-n}T^n(XY)
\]
for $X\in \mathrm{Ex}_\lambda(T)$ and $Y\in \mathrm{Ex}_\mu(T)$ [2212.07351]. In finite dimensions, this limit is a norm limit, and $(P(T),\circ)$ is a $C^*$-algebra called the peripheral Poisson boundary [2212.07351].

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 $\mathcal{P}_{\mathrm P}$ itself acts as the asymptotic conditional expectation that induces the product $X\star Y=\mathcal{P}_{\mathrm P}(XY)$ [2403.12926]. 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 $\mathcal{H}$ with $\dim\mathcal{H}=d$, the operator algebra $\mathcal{B}(\mathcal{H})$, and a discrete-time linear evolution $\Phi:\mathcal{B}(\mathcal{H})\to\mathcal{B}(\mathcal{H})$ in the Heisenberg picture [2403.12926]. The map is initially taken to be unital and completely positive, and the results are then extended to unital Schwarz maps [2403.12926]. The peripheral spectrum is
\[
\mathrm{spec}_P(\Phi):=\{\lambda\in \mathrm{spec}(\Phi):|\lambda|=1\},
\]
and the attractor subspace is
\[
\mathrm{Attr}(\Phi):=\operatorname{span}\{X\in\mathcal{B}(\mathcal{H}):\Phi(X)=\lambda X\ \text{for some}\ \lambda\in \mathrm{spec}_P(\Phi)\}.
\]
Peripheral eigenvalues are semisimple in finite dimensions, so the Jordan nilpotents vanish on the peripheral spectrum, and the associated spectral projection is
\[
\mathcal{P}_{\mathrm P}=\sum_{\lambda_k\in \mathrm{spec}_P(\Phi)}\mathcal{P}_k=\lim_{i\to\infty}\Phi^{n_i}
\]
for a suitable strictly increasing subsequence $\{n_i\}$ [2403.12926].

On $\mathrm{Attr}(\Phi)$, the product
\[
X\star Y:=\mathcal{P}_{\mathrm P}(XY)
\]
makes $(\mathrm{Attr}(\Phi),\star,\|\cdot\|)$ a unital $C^*$-algebra [2403.12926]. The asymptotic restriction
\[
\Phi^{\mathrm{as}}:=\Phi|_{\mathrm{Attr}(\Phi)}
\]
is a $*$-automorphism of this $C^*$-algebra, satisfying
\[
\Phi^{\mathrm{as}}(X\star Y)=\Phi^{\mathrm{as}}(X)\star \Phi^{\mathrm{as}}(Y)
\]
for all $X,Y\in\mathrm{Attr}(\Phi)$ [2403.12926]. This formulation isolates the reversible long-time component of the Heisenberg dynamics.

A later analysis makes the block structure explicit. Writing $\mathcal{H}=\mathcal{H}_0\oplus\mathcal{H}_1$, one has
\[
\mathcal{P}_{\mathrm P}(X)=
\begin{pmatrix}
\mathcal{P}_{00}(X_{00}) & 0\\
0 & \mathcal{P}_{11}(X_{00})
\end{pmatrix},
\]
where $\mathcal{P}_{00}$ is the peripheral projection of a faithful reduced map on $\mathcal{B}(\mathcal{H}_0)$, its range is
\[
\mathfrak{A}:=\bigoplus_{k=1}^M \mathcal{B}(\mathcal{H}_{k,1})\otimes \mathbb{C}\,\mathbb{I}_{k,2},
\]
and $\mathcal{P}_{11}:\mathfrak{A}\to\mathcal{B}(\mathcal{H}_1)$ is a UCP map satisfying $\mathcal{P}_{11}\circ\mathcal{P}_{00}=\mathcal{P}_{11}$ [2511.17770]. The attractor subspace is then
\[
\mathrm{Attr}(\Phi)=\{X\oplus \mathcal{P}_{11}(X):X\in\mathfrak{A}\},
\]
and the Choi–Effros product coincides, via the $*$-isomorphism $\Lambda:\mathfrak{A}\to\mathrm{Attr}(\Phi)$, with the native product on $\mathfrak{A}$:
\[
\Lambda(X)\star\Lambda(Y)=\Lambda(XY)
\]
[2511.17770]. 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 $N$ in one formulation and $\mathcal{N}_\star$ in another [2403.12926]. On the whole algebra $\mathcal{B}(\mathcal{H})$, the bilinear operation $X\star Y:=\mathcal{P}_{\mathrm P}(XY)$ is generally non-associative. The new space is defined as
\[
N:=\left\{X\in\mathcal{B}(\mathcal{H}):
\begin{array}{l}
\Phi^n(Y\star X)=\Phi^n(Y)\star\Phi^n(X),\\
\Phi^n(X\star Y)=\Phi^n(X)\star\Phi^n(Y),
\end{array}
\forall\,Y,\forall\,n\in\mathbb{N}\right\}
\]
[2403.12926]. Equivalently, by a Schwarz-type polarization argument, one may require
\[
\Phi^n(X^*\star X)=\Phi^n(X)^*\star\Phi^n(X),\qquad
\Phi^n(X\star X^*)=\Phi^n(X)\star\Phi^n(X)^*
\]
for all $n\in\mathbb{N}$ [2403.12926].

This algebra satisfies $\Phi(N)\subset N$ and contains the classical decoherence-free algebra defined using the ambient composition product [2403.12926]. On $N$, the star-product becomes associative:
\[
(X\star Y)\star Z=X\star (Y\star Z),\qquad X,Y,Z\in N,
\]
so $(N,\star)$ is a $*$-algebra and $(N,\star,\|\cdot\|)$ is a Banach $*$-algebra, or $B^*$-algebra, with
\[
\|X\star Y\|\le \|X\|\,\|Y\|
\]
because $\mathcal{P}_{\mathrm P}$ is contractive [2403.12926]. 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
\[
N=\mathrm{Attr}(\Phi)\oplus \mathcal{K}(\mathcal{P}_{\mathrm P}),
\qquad
\mathcal{K}(\Psi):=\{X:\Psi(X^*X)=\Psi(XX^*)=0\}
\]
is central [2403.12926]. It implies that $N$ is a $C^*$-algebra with respect to the usual composition product and that $\mathcal{K}(\mathcal{P}_{\mathrm P})$ is a $*$-ideal in $N$ [2403.12926]. The quotient
\[
\mathcal{Q}:=N/\mathcal{K}(\mathcal{P}_{\mathrm P})
\]
is a $C^*$-algebra $*$-isomorphic to $(\mathrm{Attr}(\Phi),\star,\|\cdot\|)$ [2403.12926]. A refined block decomposition gives
\[
\mathcal{N}_\star=\mathfrak{A}\oplus \mathcal{B}(\mathcal{H}_1),
\]
so the Choi–Effros decoherence-free algebra is the direct sum of the faithful attractor algebra $\mathfrak{A}$ and the transient algebra $\mathcal{B}(\mathcal{H}_1)$ [2511.17770].

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 $M_d$ with $d\ge 2$, the idempotent UCP map
\[
\Phi(X)=\frac{\mathrm{tr}\,X}{d}\,\mathbb{I}
\]
yields a non-associative $\star$ outside $N$ [2403.12926]. 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 $\Phi$ is called faithful if the Schrödinger adjoint $\Phi^\dagger$ admits an invertible stationary state $\rho>0$ satisfying $\Phi^\dagger(\rho)=\rho$ [2403.12926]. In that case,
\[
\Phi\ \text{is faithful} \iff \mathrm{Attr}(\Phi)=N
\]
[2403.12926]. Since $N=\mathrm{Attr}(\Phi)\oplus \mathcal{K}(\mathcal{P}_{\mathrm P})$, this equivalence is the same as $\mathcal{K}(\mathcal{P}_{\mathrm P})=\{0\}$, which holds exactly when the asymptotic state $\mathcal{P}_{\mathrm P}^\dagger(\mathbb{I})$ has full support [2403.12926]. In the faithful case one further has
\[
\mathrm{Attr}(\Phi)=N=\mathcal{N},
\]
where $\mathcal{N}$ is the classical decoherence-free algebra [2403.12926].

A related notion is that of a peripherally automorphic map. In the finite-dimensional Heisenberg setting, $\Phi$ is peripherally automorphic if on $\mathrm{Attr}(\Phi)$ the Choi–Effros product coincides with the composition product:
\[
X\star Y=XY,\qquad X,Y\in \mathrm{Attr}(\Phi)
\]
[2403.12926]. Equivalently, $\mathrm{Attr}(\Phi)$ is closed under composition, or $\Phi(XY)=\Phi(X)\Phi(Y)$ for $X,Y\in\mathrm{Attr}(\Phi)$ [2403.12926]. Faithful maps are peripherally automorphic, but the converse need not hold [2403.12926].

In the matrix-algebra formulation, peripherally automorphic UCP maps admit a precise characterization. For $T(X)=\sum_i L_iXL_i^*$ on $M_d$, the following are equivalent: $P(T)\subset M_T$, $P(T)\subset M_{T^\infty}$, $T$ is peripherally automorphic, $T(X^*X)=X^*X$ for peripheral eigenvectors, and $Y\in \mathrm{Ex}_\lambda(T)$ iff $YL_i=\lambda L_iY$ for all Kraus operators $L_i$ [2212.07351]. Moreover, $T$ is peripherally automorphic iff $P(T)$ is closed under matrix multiplication, in which case the restriction $T|_{P(T)}$ is a $C^*$-algebra automorphism with respect to the original product [2212.07351].

The Heisenberg–Schrödinger duality becomes especially transparent in the faithful case:
\[
\mathrm{Attr}(\Phi)=\sigma^{-1/2}\,\mathrm{Attr}(\Phi^\dagger)\,\sigma^{-1/2}
\]
for an invertible invariant state $\sigma$ of $\Phi^\dagger$ [2511.17770]. In the general non-faithful case, the map $\Lambda$ mediates the relation between the two attractor structures [2511.17770]. 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
\[
\Phi(X^*X)\ge \Phi(X)^*\Phi(X)\qquad \text{for all }X\in\mathcal{B}(\mathcal{H})
\]
[2403.12926]. The 2024 analysis states that the entire asymptotic algebraic structure persists for such maps: $(\mathrm{Attr}(\Phi),\star,\|\cdot\|)$ remains a $C^*$-algebra, and the asymptotic restriction $\Phi^{\mathrm{as}}$ remains a $*$-automorphism [2403.12926]. The corresponding star-Schwarz inequality is
\[
\Phi(X^*\star X)\ge \Phi(X)^*\star \Phi(X),
\]
and its saturation on peripheral eigen-operators yields multiplicativity on the attractor [2403.12926].

A later treatment introduces an important caveat. In the Schwarz setting, one still has
\[
\mathcal{P}_{\mathrm P}(X)=\mathcal{P}_{00}(X_{00})\oplus \mathcal{P}_{11}(X_{00})
\]
and
\[
\mathrm{Attr}(\Phi)=\{X_{00}\oplus \mathcal{P}_{11}(X_{00}):X_{00}\in \mathrm{Attr}(\phi_{00})=\mathfrak{A}\},
\]
but a full $C^*$-algebra structure for the Choi–Effros product is guaranteed when $\mathcal{P}_{\mathrm P}$ is completely positive, for example in the peripherally automorphic case [2511.17770]. In general Schwarz dimension $\ge 4$ examples, $\mathcal{P}_{\mathrm P}$ may fail to be completely positive, so the CE product need not endow a $C^*$-algebra unless additional conditions hold [2511.17770].

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 [2403.12926]. Another emphasizes that the full Choi–Effros $C^*$-algebra mechanism depends on complete positivity of the relevant asymptotic projection, which may require extra hypotheses in the Schwarz regime [2511.17770]. 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 $C^*$-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 $A\subset B(H)$ be a von Neumann algebra and $\tau:A\to A$ a normal UCP map. Define
\[
E_\lambda(\tau):=\{x\in A:\tau(x)=\lambda x\},\qquad
E(\tau):=\operatorname{span}\{E_\lambda(\tau):\lambda\in \mathbb{T}\},
\]
and let $P(\tau):=\overline{E(\tau)}$ be the norm-closure [2507.20668]. The extended product is constructed using a minimal dilation $(K,B,\theta)$ and unique lifts $\hat x,\hat y\in P(\theta)$:
\[
x\circ y:=p(\hat x\hat y)p
\]
for $x,y\in P(\tau)$, where $p$ is the projection from the dilation space onto $H$ [2507.20668].

For peripheral eigenvectors $x\in E_\lambda(\tau)$ and $y\in E_\mu(\tau)$, the product admits the strong-operator limit formula
\[
x\circ y=s.\!\lim_{n\to\infty}\frac{\tau^n(xy)}{\lambda^n\mu^n}
\]
in discrete time [2507.20668]. For quantum dynamical semigroups $\tau_t$, if $x\in E_a(\tau)$ and $y\in E_b(\tau)$ then
\[
x\circ y=s.\!\lim_{t\to\infty}\frac{\tau_t(xy)}{e^{iat}e^{ibt}}
\]
[2507.20668]. 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 [2507.20668]. Whenever the peripheral Poisson boundary is nontrivial, it is unital, with unit
\[
q_\tau=s.\!\lim_{n\to\infty}\tau^n(1_A)
\]
in discrete time, or $s.\!\lim_{t\to\infty}\tau_t(1_A)$ in continuous time [2507.20668]. The dynamics restricts to automorphisms on the boundary, isolating the reversible part of the evolution [2507.20668].

The same work also identifies serious obstacles in the $C^*$-algebra framework. The lack of strong operator topology, possible failure of normality, and failure of lifting within $C^*$-dilations prevent a general construction; examples show that the operator system generated by peripheral eigenvectors may fail to admit any compatible $C^*$-algebra product [2507.20668]. This contrast is significant: the extended Choi–Effros product is robust in von Neumann settings but not available in comparable generality for arbitrary $C^*$-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 $M_3$ given by
\[
\mathcal{P}(X)=
\begin{bmatrix}
x_{11}&x_{12}&0\\
x_{21}&x_{22}&0\\
0&0&x_{11}
\end{bmatrix}
\]
has attractor subspace equal to the set of block matrices with the displayed $2\times 2$ block and $x_{11}$ in the $(3,3)$ entry, while the Choi–Effros decoherence-free algebra allows arbitrary $x_{33}$:
\[
N=\left\{
\begin{bmatrix}
x_{11}&x_{12}&0\\
x_{21}&x_{22}&0\\
0&0&x_{33}
\end{bmatrix}\right\}
\]
[2403.12926]. Here
\[
\mathcal{K}(\mathcal{P})=
\left\{
\begin{bmatrix}
0&0&0\\
0&0&0\\
0&0&x_{33}
\end{bmatrix}\right\},
\]
so $N=\mathrm{Attr}(\mathcal{P})\oplus \mathcal{K}(\mathcal{P})$ and the star-product on $N$ is not $C^*$ with the operator norm [2403.12926]. This exhibits the necessity of the quotient description.

A second $M_3$ example uses the Markovian channel generated by $\mathcal{P}(X)=\operatorname{diag}(x_{11},x_{22},x_{11})$. It is peripherally automorphic but not faithful; one has $\mathcal{N}=\mathrm{Attr}(\Phi)$ while $N$ is the full diagonal algebra, so $N$ strictly contains $\mathrm{Attr}(\Phi)$ [2403.12926]. This demonstrates that $\mathrm{Attr}(\Phi)=\mathcal{N}$ does not imply faithfulness, whereas $\mathrm{Attr}(\Phi)=N$ does [2403.12926].

For qubits, non-faithful maps are highly constrained. If $\Phi$ is a non-faithful qubit UCP map, then
\[
\mathrm{Attr}(\Phi)=\mathbb{C}\mathbb{I},
\qquad
\mathcal{P}_{\mathrm P}(X)=\operatorname{tr}(\rho X)\,\mathbb{I},
\]
where $\rho$ is the unique non-invertible stationary state; hence every qubit UCP map is peripherally automorphic [2403.12926].

The amplitude damping channel provides a concrete non-faithful block example. In the Schrödinger picture,
\[
\Phi^\dagger\!\begin{pmatrix}x_{00}&x_{01}\\ x_{10}&x_{11}\end{pmatrix}
=
\begin{pmatrix}
x_{00}+\tfrac{3}{4}x_{11}&\tfrac{1}{2}x_{01}\\
\tfrac{1}{2}x_{10}&\tfrac{1}{4}x_{11}
\end{pmatrix},
\qquad
\mathcal{P}_{\mathrm P}^\dagger(X)=
\begin{pmatrix}
x_{00}+x_{11}&0\\
0&0
\end{pmatrix},
\]
while in the Heisenberg picture
\[
\Phi\!\begin{pmatrix}x_{00}&x_{01}\\ x_{10}&x_{11}\end{pmatrix}
=
\begin{pmatrix}
x_{00}&\tfrac{1}{2}x_{01}\\
\tfrac{1}{2}x_{10}&\tfrac{3}{4}x_{00}+\tfrac{1}{4}x_{11}
\end{pmatrix},
\qquad
\mathcal{P}_{\mathrm P}(X)=
\begin{pmatrix}
x_{00}&0\\
0&x_{00}
\end{pmatrix}
\]
[2511.17770]. The Heisenberg attractor retains a non-zero residual component on the transient sector, matching the block-structural theorem [2511.17770].

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 [2212.07351]. Convex combinations and compositions of peripherally automorphic maps may fail to remain peripherally automorphic [2212.07351]. 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 $C^*$-algebraic dynamics and normal von Neumann algebraic dynamics admit powerful and explicit constructions, whereas general $C^*$-algebraic extensions encounter genuine obstructions [2403.12926].

Source: https://www.emergentmind.com/topics/extended-choi-effros-product