Choi–Effros Infrared Range in Operator Theory

• The Choi–Effros infrared range is an asymptotic operator system obtained as the image of a completely positive idempotent map, with multiplication defined by projecting the ambient product.
• It arises from long-time coarse-graining dynamics, encapsulating the observables that persist under repeated application of a Markovian channel.
• Under additional commutativity hypotheses, the infrared range reveals classical structures via Boolean algebras of exact events, enabling decoherence-free and renormalization-group analyses.

The phrase Choi–Effros infrared range denotes an asymptotic operator system obtained as the range of a completely positive idempotent map that emerges from repeated coarse-graining or long-time dynamics, equipped with the induced Choi–Effros product rather than the ambient multiplication. In its most general form, if a normal unital completely positive limit projection $E_\infty$ exists, the infrared range is $M_{\rm IR}=E_\infty(M)$ with product $X\circ Y:=E_\infty(XY)$. This construction is rooted in the classical Choi–Effros theorem on ranges of completely positive projections and has been used in recent work to describe asymptotic observables, decoherence-free structures, and, under additional commutativity hypotheses, complete Boolean algebras of exact events (Prunaru, 2013, Xu, 20 Jun 2026).

1. Choi–Effros multiplication and the underlying structure theorem

The operator-algebraic basis of the subject is the Choi–Effros theorem for a completely positive projection. Let $A$ be a $C^*$-algebra and let

$\varphi:A\to A$

be completely positive, contractive, and idempotent. The range $\operatorname{Ran}(\varphi)=\varphi(A)$ need not be a $C^*$-subalgebra of $A$ under the original multiplication. Nevertheless, there exist a $C^*$-algebra $M_{\rm IR}=E_\infty(M)$0 and a complete order isomorphism

$M_{\rm IR}=E_\infty(M)$1

such that

$M_{\rm IR}=E_\infty(M)$2

After identifying $M_{\rm IR}=E_\infty(M)$3 with $M_{\rm IR}=E_\infty(M)$4, the induced multiplication is

$M_{\rm IR}=E_\infty(M)$5

This is the Choi–Effros product. Its central feature is that the product is computed in the ambient algebra and then projected back to the range. Accordingly, $M_{\rm IR}=E_\infty(M)$6 may fail to belong to $M_{\rm IR}=E_\infty(M)$7 even when $M_{\rm IR}=E_\infty(M)$8, and the difference

$M_{\rm IR}=E_\infty(M)$9

measures the failure of multiplicative closure (Prunaru, 2013).

Prunaru’s short proof isolates this defect algebraically. One defines the closed right ideal $X\circ Y:=E_\infty(XY)$0 generated by the defect elements $X\circ Y:=E_\infty(XY)$1 for $X\circ Y:=E_\infty(XY)$2, proves $X\circ Y:=E_\infty(XY)$3 using the Kadison–Schwarz inequality, and then proves the reverse inclusion by induction on words generated by $X\circ Y:=E_\infty(XY)$4. Thus $X\circ Y:=E_\infty(XY)$5, so $X\circ Y:=E_\infty(XY)$6 is a bilateral ideal and

$X\circ Y:=E_\infty(XY)$7

provides the $X\circ Y:=E_\infty(XY)$8-algebra whose multiplication is transported to the range. The Choi–Effros range is therefore not merely an operator system; it is an operator system carrying a canonical quotient-induced $X\circ Y:=E_\infty(XY)$9-algebra structure (Prunaru, 2013).

2. Infrared range as the asymptotic image of coarse-graining

In recent operator-algebraic work, the term infrared range is used for the asymptotic image of a Markovian coarse-graining channel. The basic setting is a von Neumann algebra $A$0, a normal unital completely positive map

$A$1

and a faithful normal invariant state $A$2 with $A$3. The coarse-grained long-time behavior is encoded by the Cesàro averages

$A$4

If these converge point-ultraweakly to a normal UCP idempotent $A$5, then the infrared operator system is defined by

$A$6

Its intrinsic multiplication is the Choi–Effros product

$A$7

In this sense the Choi–Effros infrared range is the algebra of observables that survive asymptotic coarse-graining, with multiplication corrected by the limiting projection (Xu, 20 Jun 2026).

This usage extends the original Choi–Effros theorem from static projections to dynamical asymptotics. The map $A$8 plays the role of an infrared projection: microscopic information is progressively forgotten under iteration of $A$9, while the range $C^*$0 collects the persistent macroscopic sector. A crucial point is that $C^*$1 need not be commutative. The existence of a completely positive projection alone yields a $C^*$2-algebra in the Choi–Effros sense, but not a classical event algebra. Classicality requires an additional asymptotic commutativity condition (Xu, 20 Jun 2026).

3. Asymptotic abelianness and the emergence of Boolean facts

The principal mechanism by which the infrared range becomes classical is asymptotic abelianness in the GNS seminorm. Let

$C^*$3

be the GNS representation of the invariant state $C^*$4, and define

$C^*$5

For a norm-dense unital $C^*$6-subspace $C^*$7, the infrared range is called asymptotically abelian if

$C^*$8

This is a mean-infrared condition: the commutators of the Cesàro-averaged observables vanish in the representation relevant to the invariant state (Xu, 20 Jun 2026).

Under three hypotheses—$C^*$9 is a normal UCP channel preserving a faithful normal state, the normal infrared projection $\varphi:A\to A$0 exists, and the infrared range is asymptotically abelian in the above GNS sense—the represented infrared algebra

$\varphi:A\to A$1

is a commutative von Neumann algebra. Consequently,

$\varphi:A\to A$2

is a complete Boolean algebra. The Boolean operations are

$\varphi:A\to A$3

The significance is precise: the Choi–Effros infrared range by itself is an asymptotic $\varphi:A\to A$4-algebra, but only after passage to the represented limit and imposition of asymptotic abelianness do its projections behave as exact classical propositions (Xu, 20 Jun 2026).

This framework is used to formulate a conservative criterion for “classical facts.” Exact events are not taken to be arbitrary projections of a Type-III local algebra. Instead, they are central projections selected by an asymptotically abelian completely positive infrared limit. The resulting Boolean structure is therefore not postulated microscopically; it is obtained as an emergent feature of the asymptotic coarse-grained algebra (Xu, 20 Jun 2026).

4. Sector decomposition, exponential suppression, and RG stability

A concrete sufficient condition for asymptotic abelianness is the finite-sector block-primitive criterion. One assumes a finite family of mutually orthogonal projections $\varphi:A\to A$5 satisfying

$\varphi:A\to A$6

together with normal states $\varphi:A\to A$7 on $\varphi:A\to A$8 and constants $\varphi:A\to A$9, $\operatorname{Ran}(\varphi)=\varphi(A)$0 such that for each local observable $\operatorname{Ran}(\varphi)=\varphi(A)$1,

$\operatorname{Ran}(\varphi)=\varphi(A)$2

The asymptotic classical part is then

$\operatorname{Ran}(\varphi)=\varphi(A)$3

These $\operatorname{Ran}(\varphi)=\varphi(A)$4 commute because they are scalar combinations of orthogonal projections (Xu, 20 Jun 2026).

The interpretation given for this estimate is twofold. First, off-sector coherences are exponentially suppressed. Second, intra-sector fluctuations are washed out by primitive mixing, leaving only sectorwise scalars. From the decomposition

$\operatorname{Ran}(\varphi)=\varphi(A)$5

one obtains

$\operatorname{Ran}(\varphi)=\varphi(A)$6

Thus noncommutativity is exponentially suppressed in the infrared. Under the block-primitive hypothesis, the represented infrared von Neumann algebra is generated by the sector projections: $\operatorname{Ran}(\varphi)=\varphi(A)$7 and the corresponding event algebra is

$\operatorname{Ran}(\varphi)=\varphi(A)$8

Hence the infrared event structure is exactly the Boolean algebra of unions of finitely many macroscopic sectors (Xu, 20 Jun 2026).

The same work also gives a renormalization-group-style stability statement. For a coarse-graining map $\operatorname{Ran}(\varphi)=\varphi(A)$9, the multiplicative domain is

$C^*$0

For a projection $C^*$1, one has

$C^*$2

If

$C^*$3

then

$C^*$4

is a Boolean algebra homomorphism. This formalizes the statement that exact events, once realized as central projections, can be transported consistently across coarse-graining levels (Xu, 20 Jun 2026).

5. Finite-dimensional asymptotic dynamics and the Choi–Effros decoherence-free algebra

In finite-dimensional open quantum dynamics, the same algebraic idea appears in the long-time Heisenberg asymptotics of a unital completely positive map

$C^*$5

The asymptotic sector is the attractor subspace

$C^*$6

where

$C^*$7

The corresponding peripheral projection is

$C^*$8

and may be obtained as a subsequential limit of iterates. The natural product on the asymptotic sector is

$C^*$9

With this product, $A$0 is a unital $A$1-algebra, and the asymptotic dynamics becomes multiplicative: $A$2 This is the finite-dimensional analogue of the infrared range: the ordinary product need not close on the asymptotic observables, but the Choi–Effros product does (Amato et al., 2024).

A further refinement is the Choi–Effros decoherence-free algebra

$A$3

This space contains the attractor subspace and admits the direct-sum decomposition

$A$4

where

$A$5

The ideal $A$6 is invisible to the peripheral projection, and the quotient

$A$7

is $A$8-isomorphic to $A$9. This identifies the attractor space as the visible asymptotic quotient of a larger multiplicative structure (Amato et al., 2024).

Several structural distinctions are important. The Choi–Effros product is generally not associative on all of $C^*$0; its associativity becomes canonical only on the relevant asymptotic algebra. The standard decoherence-free algebra $C^*$1 satisfies $C^*$2. Faithfulness is decisive: $C^*$3 In the faithful case, the attractor space, the standard decoherence-free algebra, and the Choi–Effros decoherence-free algebra coincide. The same paper also shows that the asymptotic structure does not rely essentially on complete positivity: the Schwarz property suffices for the main algebraic conclusions (Amato et al., 2024).

6. Heisenberg-picture block structure and non-faithful asymptotics

A detailed Heisenberg-picture analysis makes the asymptotic range more explicit. For a UCP map $C^*$4, one can decompose

$C^*$5

with a faithful reduced dynamics on $C^*$6. The corresponding faithful attractor algebra is

$C^*$7

The full Heisenberg attractor subspace is then

$C^*$8

This shows that asymptotic observables are controlled by the faithful recurrent algebra $C^*$9, but may carry an additional component on the transient sector $M_{\rm IR}=E_\infty(M)$00 through the map $M_{\rm IR}=E_\infty(M)$01 (Amato et al., 21 Nov 2025).

The peripheral projection acquires a corresponding block form. Writing

$M_{\rm IR}=E_\infty(M)$02

the off-diagonal components of the peripheral projection vanish,

$M_{\rm IR}=E_\infty(M)$03

and

$M_{\rm IR}=E_\infty(M)$04

The Choi–Effros product on the Heisenberg attractor space is again

$M_{\rm IR}=E_\infty(M)$05

and $M_{\rm IR}=E_\infty(M)$06 is a unital $M_{\rm IR}=E_\infty(M)$07-algebra with respect to this product, the ambient involution, and the native norm. In the faithful case, the Choi–Effros product reduces to the ordinary product on the attractor, so the need for the corrected multiplication is precisely a manifestation of non-faithfulness (Amato et al., 21 Nov 2025).

The same analysis reorganizes the Choi–Effros decoherence-free algebra as

$M_{\rm IR}=E_\infty(M)$08

with

$M_{\rm IR}=E_\infty(M)$09

Thus the recurrent asymptotic algebra and the transient block are sharply separated. An unfolding theorem further shows that any admissible asymptotic Heisenberg structure of this form can be realized by a UCP map. The results extend to Schwarz maps as well, indicating again that the operator Schwarz inequality, rather than full complete positivity, is the essential structural hypothesis for the asymptotic algebra (Amato et al., 21 Nov 2025).

7. Terminology, scope, and relation to other infrared notions

The adjective infrared in this literature does not primarily refer to perturbative soft-photon singularities. In the coarse-graining and open-system setting, it designates the observables that survive repeated application of a channel or appear in the long-time asymptotic sector. The Choi–Effros infrared range is therefore an operator-algebraic asymptotic range defined by a completely positive projection and its induced product (Xu, 20 Jun 2026).

This should be distinguished from the infrared language used in QED. There, Bloch–Nordsieck and KLN cancellations remove the unphysical infrared regulator $M_{\rm IR}=E_\infty(M)$10, but inclusive observables still depend on the detector resolution scale $M_{\rm IR}=E_\infty(M)$11: $M_{\rm IR}=E_\infty(M)$12 The same scale enters the reduced hard-sector density matrix after tracing over unresolved soft photons, with a resolution-dependent soft overlap

$M_{\rm IR}=E_\infty(M)$13

In that context, infrared refers to soft-photon degrees of freedom and finite detector resolution, not to the range of a completely positive idempotent map (Fukuyama, 7 Jun 2026).

There is nonetheless a limited conceptual parallel. Both usages of “infrared” isolate a reduced sector obtained after discarding inaccessible information: unresolved soft modes in QED, or non-surviving observables under coarse-graining in operator algebraic dynamics. This suggests a shared coarse-graining intuition, but the underlying mathematical structures are different. The Choi–Effros infrared range is specifically the asymptotic image of a completely positive projection endowed with the induced Choi–Effros multiplication, and its classical interpretation depends not merely on the existence of that range but on additional asymptotic commutativity conditions (Xu, 20 Jun 2026, Fukuyama, 7 Jun 2026).