Peripheral Poisson Boundary in Quantum Dynamics

• Peripheral Poisson boundary is a noncommutative boundary that extends the fixed-point space to include all unit circle eigenvalues of normal UCP maps on von Neumann algebras.
• Its construction employs dilation theory and an extended Choi–Effros product to equip the closure of peripheral eigenspaces with a natural C*-algebra structure.
• The theory exhibits spectral rigidity and dynamical invariance, linking quantum channel analysis with classical harmonic analysis and group-theoretic insights.

Peripheral Poisson boundary is a noncommutative boundary object associated with a normal unital completely positive map on a von Neumann algebra. It is defined from the operator space generated by all peripheral eigenvectors, meaning eigenvectors $x$ satisfying $\tau(x)=\lambda x$ for some $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$, and it extends the usual noncommutative Poisson boundary, which retains only the fixed-point space $F(\tau)=\{x\in A:\tau(x)=x\}$. The construction introduced for unital maps equips the norm closure of the peripheral eigenspaces with a $C^*$-algebra structure via dilation theory and an extended Choi–Effros product, thereby incorporating all “persistent modes” of the discrete quantum dynamics rather than only the stationary ones (Bhat et al., 2022).

1. Conceptual placement and basic definition

For a countable group $G$ with probability measure $\mu$, the classical Poisson boundary is the canonical measure space encoding all bounded $\mu$-harmonic functions, and in that setting it is fundamentally measure-theoretic rather than topological (Chawla et al., 16 Jun 2025). The peripheral Poisson boundary belongs to a different framework: it is defined for a normal unital completely positive map $\tau:A\to A$ on a von Neumann algebra $A\subseteq B(H)$, viewed as a discrete-time quantum Markov map or quantum channel (Bhat et al., 2022).

The usual noncommutative Poisson boundary starts from the fixed-point space

$\tau(x)=\lambda x$0

In general, $\tau(x)=\lambda x$1 need not be closed under the original product of $\tau(x)=\lambda x$2, but Choi–Effros showed that it becomes a von Neumann algebra after changing the product, and Izumi identified this as the noncommutative Poisson boundary. The peripheral refinement replaces the eigenvalue $\tau(x)=\lambda x$3 by the entire peripheral point spectrum. For $\tau(x)=\lambda x$4,

$\tau(x)=\lambda x$5

and the peripheral point spectrum consists of those $\tau(x)=\lambda x$6 for which $\tau(x)=\lambda x$7. The operator space generated by all peripheral eigenvectors is

$\tau(x)=\lambda x$8

and its norm closure is

$\tau(x)=\lambda x$9

The central theorem is that $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$0 admits a natural $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$1-algebra structure after modifying the product. This enlarges the usual Poisson boundary exactly by including all eigenvalues on the unit circle, not only $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$2 (Bhat et al., 2022).

2. Dilation-theoretic construction

The decisive technical tool is the minimal dilation of $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$3. There exists a triple $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$4 in which $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$5 is a Hilbert space containing $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$6, $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$7 is a von Neumann algebra with $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$8 for the projection $\lambda\in\mathbb T=\{z\in\mathbb C:|z|=1\}$9 onto $F(\tau)=\{x\in A:\tau(x)=x\}$0, and $F(\tau)=\{x\in A:\tau(x)=x\}$1 is a normal unital $F(\tau)=\{x\in A:\tau(x)=x\}$2-endomorphism such that

$F(\tau)=\{x\in A:\tau(x)=x\}$3

The dilation is minimal and unique up to the natural unitary equivalence. Two structural properties are repeatedly used: $F(\tau)=\{x\in A:\tau(x)=x\}$4 together with the compatibility relation

$F(\tau)=\{x\in A:\tau(x)=x\}$5

This moves the analysis from a UCP map to a multiplicative endomorphism, where peripheral spectral data are easier to organize (Bhat et al., 2022).

Peripheral eigenvectors of $F(\tau)=\{x\in A:\tau(x)=x\}$6 lift canonically to peripheral eigenvectors of $F(\tau)=\{x\in A:\tau(x)=x\}$7. If $F(\tau)=\{x\in A:\tau(x)=x\}$8 satisfies

$F(\tau)=\{x\in A:\tau(x)=x\}$9

then there exists a unique $C^*$0 such that

$C^*$1

and moreover

$C^*$2

Conversely, if $C^*$3, then $C^*$4. The restriction $C^*$5 is essential: the strong-limit argument uses the boundedness of $C^*$6 along the orbit (Bhat et al., 2022).

A plausible implication is that the peripheral Poisson boundary is not merely a spectral subspace construction. Its defining product is imported from the dilation, where unimodular eigenspaces multiply exactly because $C^*$7 is multiplicative.

3. Extended Choi–Effros product and algebraic structure

Inside the dilation, the peripheral part is already multiplicative. If

$C^*$8

then $C^*$9 is a $G$0-algebra under the ordinary product, since

$G$1

whenever $G$2 and $G$3. The compression map

$G$4

restricts to an isometric bijection $G$5, indeed a complete isometry. Therefore one defines, for $G$6,

$G$7

and $G$8 becomes a unital $G$9-algebra (Bhat et al., 2022).

The explicit multiplication formula is one of the main structural results. If $\mu$0 satisfy

$\mu$1

then

$\mu$2

This is the peripheral analogue of the Choi–Effros/Izumi product for fixed points. It says that one multiplies peripheral eigenvectors by iterating the ordinary product under $\mu$3, removing the accumulated phase $\mu$4, and taking a strong limit. If $\mu$5 preserves a faithful state, then the new product coincides with the original one: $\mu$6 In that case, the peripheral boundary embeds as an actual subalgebra of $\mu$7 (Bhat et al., 2022).

Several formal consequences follow. If $\mu$8 and $\mu$9, then

$\mu$0

If $\mu$1 is abelian, then $\mu$2 is abelian. For any subgroup $\mu$3,

$\mu$4

and the associated $\mu$5-algebra $\mu$6 includes the $\mu$7-cyclic Poisson boundary obtained from the subgroup of $\mu$8-th roots of unity. Each eigenspace $\mu$9 becomes a two-sided Hilbert $\tau:A\to A$0-module over the fixed-point algebra $\tau:A\to A$1 (Bhat et al., 2022).

4. Dynamical invariance and spectral rigidity

The peripheral Poisson boundary is stable under discrete-time iteration. For every $\tau:A\to A$2,

$\tau:A\to A$3

This invariance is stronger than equality of individual eigenspaces: the eigenvalues of $\tau:A\to A$4 and $\tau:A\to A$5 may differ, but the full peripheral boundary remains unchanged. Moreover,

$\tau:A\to A$6

where

$\tau:A\to A$7

This yields a discrete Fourier-type decomposition of the fixed-point space of $\tau:A\to A$8 into peripheral eigenspaces of $\tau:A\to A$9. If the group generated by the peripheral spectrum is finite, then the peripheral boundary coincides with a $A\subseteq B(H)$0-cyclic Poisson boundary and is therefore a von Neumann algebra (Bhat et al., 2022).

The action of the dynamics on the boundary is reversible: $A\subseteq B(H)$1 is an automorphism of the peripheral Poisson boundary. The interpretation given in the original formulation is that the peripheral spectrum records the part of the dynamics that survives on the unit circle, whereas eigenvalues with modulus $A\subseteq B(H)$2 correspond to decaying behavior. This suggests that the peripheral Poisson boundary isolates the non-decaying oscillatory or recurrent component of the evolution (Bhat et al., 2022).

For Markov operators arising from symmetric, generating probability measures on countable discrete groups, the peripheral spectrum becomes especially rigid. If

$A\subseteq B(H)$3

on $A\subseteq B(H)$4, then every peripheral eigenvalue is a root of unity when the support of $A\subseteq B(H)$5 generates $A\subseteq B(H)$6 as a semigroup, and in the symmetric case the only peripheral eigenvalues are

$A\subseteq B(H)$7

In this group setting, the peripheral boundary algebra is actually a von Neumann algebra (Das, 2023).

5. Group-theoretic form and jointly bi-harmonic functions

The group case ties peripheral boundary theory to classical harmonic analysis on $A\subseteq B(H)$8. If $A\subseteq B(H)$9 is a peripheral eigenvalue of $\tau(x)=\lambda x$00 on $\tau(x)=\lambda x$01, then there exists a nonzero $\tau(x)=\lambda x$02 such that

$\tau(x)=\lambda x$03

In particular, when $\tau(x)=\lambda x$04 is symmetric,

$\tau(x)=\lambda x$05

If $\tau(x)=\lambda x$06 and $\tau(x)=\lambda x$07 for some nonzero $\tau(x)=\lambda x$08, then $\tau(x)=\lambda x$09. Applying this to $\tau(x)=\lambda x$10 yields the symmetric-case restriction $\tau(x)=\lambda x$11 (Das, 2023).

These spectral facts lead to a characterization of jointly bi-harmonic functions. For a symmetric, generating probability measure $\tau(x)=\lambda x$12 on a countable discrete group $\tau(x)=\lambda x$13, a bounded function satisfying

$\tau(x)=\lambda x$14

need not be constant, but there exists $\tau(x)=\lambda x$15 such that

$\tau(x)=\lambda x$16

is separately anti-harmonic under both left and right convolution by $\tau(x)=\lambda x$17. This answers a question of Kaimanovich in the form recorded by the paper (Das, 2023).

Anti-harmonic functions themselves are rigid. If there exists a nonzero $\tau(x)=\lambda x$18 such that

$\tau(x)=\lambda x$19

then there exists a multiplicative character

$\tau(x)=\lambda x$20

such that

$\tau(x)=\lambda x$21

hence

$\tau(x)=\lambda x$22

Moreover, every anti-harmonic function factors as

$\tau(x)=\lambda x$23

for some harmonic $\tau(x)=\lambda x$24. In this sense, the $\tau(x)=\lambda x$25-part of the peripheral spectrum is governed by characters and by harmonic functions twisted by those characters (Das, 2023).

6. Full Fock space model

A concrete and highly structured example is provided by the full Fock space over a separable Hilbert space $\tau(x)=\lambda x$26. Writing

$\tau(x)=\lambda x$27

with orthonormal basis $\tau(x)=\lambda x$28, the left and right creation operators are defined by

$\tau(x)=\lambda x$29

and satisfy identities including

$\tau(x)=\lambda x$30

For positive weights $\tau(x)=\lambda x$31 with $\tau(x)=\lambda x$32, the normal unital completely positive map

$\tau(x)=\lambda x$33

acts on $\tau(x)=\lambda x$34 (Ghosh, 2024).

The corresponding peripheral Poisson boundary is independent, up to $\tau(x)=\lambda x$35-isomorphism, of the choice of orthonormal basis of $\tau(x)=\lambda x$36. It strictly contains the usual Poisson boundary: $\tau(x)=\lambda x$37 For $\tau(x)=\lambda x$38, the diagonal phase operator

$\tau(x)=\lambda x$39

satisfies

$\tau(x)=\lambda x$40

so $\tau(x)=\lambda x$41 belongs to the peripheral boundary but not to the fixed-point algebra (Ghosh, 2024).

The product is concrete on words and creation operators. If $\tau(x)=\lambda x$42 and $\tau(x)=\lambda x$43, then

$\tau(x)=\lambda x$44

For $\tau(x)=\lambda x$45,

$\tau(x)=\lambda x$46

If $\tau(x)=\lambda x$47 with $\tau(x)=\lambda x$48, then

$\tau(x)=\lambda x$49

The ordinary Poisson boundary has trivial relative commutant inside the peripheral boundary,

$\tau(x)=\lambda x$50

and therefore the center is trivial: $\tau(x)=\lambda x$51 There is also a conditional expectation

$\tau(x)=\lambda x$52

which yields an $\tau(x)=\lambda x$53-valued inner product

$\tau(x)=\lambda x$54

making $\tau(x)=\lambda x$55 a pre-Hilbert $\tau(x)=\lambda x$56-bimodule over the Poisson boundary $\tau(x)=\lambda x$57 (Ghosh, 2024).

7. Extensions to contractive maps and semigroups, and limits of the theory

The original construction has been extended from normal UCP maps to normal contractive completely positive maps

$\tau(x)=\lambda x$58

on von Neumann algebras, and further to unital and non-unital contractive quantum dynamical semigroups. The extension proceeds through the unitization

$\tau(x)=\lambda x$59

with unitized map

$\tau(x)=\lambda x$60

For a quantum dynamical semigroup $\tau(x)=\lambda x$61, the peripheral eigenspaces are indexed by $\tau(x)=\lambda x$62: $\tau(x)=\lambda x$63 The same dilation mechanism then produces a peripheral boundary $\tau(x)=\lambda x$64 in continuous time (Bhat et al., 28 Jul 2025).

The strong-operator limit formula remains intact. In discrete time, if $\tau(x)=\lambda x$65 and $\tau(x)=\lambda x$66, then

$\tau(x)=\lambda x$67

In continuous time, if $\tau(x)=\lambda x$68 and $\tau(x)=\lambda x$69, then

$\tau(x)=\lambda x$70

In both cases one also has

$\tau(x)=\lambda x$71

in the dilation picture (Bhat et al., 28 Jul 2025).

A central structural theorem states that for a normal contractive CP map,

$\tau(x)=\lambda x$72

satisfies the equivalences: $\tau(x)=\lambda x$73, $\tau(x)=\lambda x$74 has a nontrivial fixed point, $\tau(x)=\lambda x$75 is nontrivial, and $\tau(x)=\lambda x$76 is a unital $\tau(x)=\lambda x$77-algebra. In that case, $\tau(x)=\lambda x$78 is the unit of $\tau(x)=\lambda x$79 and the unique maximal Perron–Frobenius eigenvector of $\tau(x)=\lambda x$80. The continuous-time analogue uses

$\tau(x)=\lambda x$81

Thus, even for non-unital contractive semigroups, the peripheral Poisson boundary is unital whenever it is nontrivial (Bhat et al., 28 Jul 2025).

The theory does not extend naively to arbitrary $\tau(x)=\lambda x$82-algebra settings. The stated obstacles are that peripheral eigenvectors may lift in the von Neumann dilation but not in a smaller $\tau(x)=\lambda x$83-dilation, the extended Choi–Effros product relies on strong operator limits, and the closed span of peripheral eigenvectors may fail to admit any $\tau(x)=\lambda x$84-algebra structure compatible with the given operator space structure. The paper provides counterexamples showing that contractivity is essential and that the boundary construction is fundamentally von Neumann algebraic in character (Bhat et al., 28 Jul 2025).