THE STRUCTURE OF SPIN SYSTEMS

DOI10.1142/S0129167X03001673MaRDI QIDQ4474411zbMATH OpenFDO

Authors William Arveson, Geoffrey L. Price

Publication date 12 July 2004

Published in International Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0103201

zbMATH Keywords

irreduciblespin systemCAR algebra

Mathematics Subject Classification ID

Applications of functional analysis in quantum physics (46N50) Applications of operator theory in the physical sciences (47N50) Classifications of (C^*)-algebras (46L35) Quantum equilibrium statistical mechanics (general) (82B10)

Abstract: A spin system is a sequence of self-adjoint unitary operators $U_1,U_2,\mathrm{...}$ acting on a Hilbert space $H$ which either commute or anticommute, $U_i{U}_j=pm{U}_j{U}_i$ for all $i,j$; it is is called irreducible when $U_1,U_2,\mathrm{...}$ is an irreducible set of operators. There is a unique infinite matrix $(c_{ij})$ with $0,1$ entries satisfying ${\displaystyle }$ U_iU_j=(-1)^{c_{ij}}U_jU_i, qquad i,j=1,2,.... ${\displaystyle }$ Every matrix $(c_{ij})$ with $0,1$ entries satisfying $c_{ij}=c_{ji}$ and $c_{ii}=0$ arises from a nontrivial irreducible spin system, and there are uncountably many such matrices. Infinite dimensional irreducible representations exist when the commutation matrix $(c_{ij})$ is of "infinite rank". In such cases we show that the $C^{\ast }$-algebra generated by an irreducible spin system is the CAR algebra, an infinite tensor product of copies of $M_2(BbbC)$, and we classify the irreducible spin systems associated with a given matrix $(c_{ij})$ up to approximate unitary equivalence. That follows from a structural result. The $C^{\ast }$-algebra generated by the universal spin system $u_1,u_2,\mathrm{...}$ of $(c_{ij})$ decomposes into a tensor product $C(X)otimesCalA$, where $X$ is a Cantor set (possibly finite) and $CalA$ is either the CAR algebra or a finite tensor product of copies of $M_2(BbbC)$. The Bratteli diagram technology of AF algebras is not well suited to spin systems. Instead, we work out elementary properties of the $Bbb{Z}_2$-valued "symplectic" form ${\displaystyle }$ omega(x,y) =sum_{p,q=1}^infty c_{pq}x_qy_p, ${\displaystyle }$ $x,y$ ranging over the free infninite dimensional vector space over the Galois field $Bbb{Z}_2$, and show that one can read off the structure of $C(X)otimesCalA$ from properties of $omega$.

Recommendations

• Complete order equivalence of spin unitaries
• scientific article; zbMATH DE number 2131705
• Classification of irrational \(\Theta\)-deformed CAR \(C^*\)-algebras
• Stability of a special class of \(q_{ij}\)-CCR and extensions of irrational rotation algebras
• The Heisenberg dynamics of spin systems: A quasi*-algebras approach

Cites work

• Cocycle conjugacy classes of shifts on the hyperfinite \(II_ 1\) factor
• Fock representation of the binary shift algebra
• Free hypercontractivity
• Shifts on the hyperfinite \(II_1\) factor

Cited in

(8)

• Matrix representations for adjoint and anti-adjoint operators in multi-spin 1/2 systems
• Nonseparable CCR algebras
• Cocycle conjugacy classes of binary shifts
• Universality of Weyl unitaries
• Complete order equivalence of spin unitaries
• Approximating macroscopic observables in quantum spin systems with commuting matrices
• An example of a bireflectional spin group.
• scientific article; zbMATH DE number 1819759 (Why is no real title available?)

This page was built for publication: THE STRUCTURE OF SPIN SYSTEMS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474411)