Showing 1–18 of 18 results for author: Mohari, A

Translation invariant state and its mean entropy-I

Authors: Anilesh Mohari

Abstract: Let $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ be the two sided infinite tensor product $C^*$-algebra of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$ and $ω$ be a translation invariant state of $\IM$. In this paper, we have proved that the mean entropy $s(ω)$ and Connes-Størmer dynamical entropy $h_{CS}(\IM,θ,ω)$ of $ω$ are equal. Furthermore, the mean… ▽ More Let $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ be the two sided infinite tensor product $C^*$-algebra of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$ and $ω$ be a translation invariant state of $\IM$. In this paper, we have proved that the mean entropy $s(ω)$ and Connes-Størmer dynamical entropy $h_{CS}(\IM,θ,ω)$ of $ω$ are equal. Furthermore, the mean entropy $s(ω)$ is equal to the Kolmogorov-Sinai dynamical entropy $h_{KS}(\ID_ω,θ,ω)$ of $ω$ when the state $ω$ is restricted to a suitable translation invariant maximal abelian $C^*$ sub-algebra $\ID_ω$ of $\IM$. Futhermore, a translation invariant factor state of $\IM$ is pure if and only if its mean entropy is zero. The last statement can be regarded as a non commutative extension of Rokhlin-Sinai positive entropy theorem for non-pure factor states. △ Less

Submitted 19 January, 2023; v1 submitted 31 May, 2017; originally announced May 2017.

Comments: It incorporated several refined and improved statements with finer details of their proofs and added one additional section

MSC Class: 46L

Translation invariant pure state on $\clb=\otimes_{\IZ}M_d(\IC)$ and its split property

Authors: Anilesh Mohari

Abstract: We prove that a real lattice symmetric reflection positive translation invariant pure state of $\clb=\otimes_{\IZ}M_d(\IC)$ is a split state if its two points spatial correlations functions decay exponentially. We prove that a real lattice symmetric reflection positive translation invariant pure state of $\clb=\otimes_{\IZ}M_d(\IC)$ is a split state if its two points spatial correlations functions decay exponentially. △ Less

Submitted 22 March, 2015; v1 submitted 7 October, 2013; originally announced October 2013.

Comments: arXiv admin note: text overlap with arXiv:0904.2104

Translation invariant pure state on $\otimes_{\IZ}/!M_d(\IC)$ and Haag duality

Authors: Anilesh Mohari

Abstract: We prove Haag duality property of any translation invariant pure state on $\clb = \otimes_{\IZ}/!M_d(\IC), \;d \ge 2$, where $/!M_d(\IC)$ is the set of $d \times d$ dimensional matrices over the field of complex numbers. We also prove a necessary and sufficient condition for a translation invariant factor state to be pure on $\clb$. We prove Haag duality property of any translation invariant pure state on $\clb = \otimes_{\IZ}/!M_d(\IC), \;d \ge 2$, where $/!M_d(\IC)$ is the set of $d \times d$ dimensional matrices over the field of complex numbers. We also prove a necessary and sufficient condition for a translation invariant factor state to be pure on $\clb$. △ Less

Submitted 22 October, 2013; v1 submitted 29 September, 2013; originally announced September 2013.

Comments: To appear in the journal-Complex Analysis and Operator Theory. Some correction in introduction and typos. arXiv admin note: substantial text overlap with arXiv:0904.2104, arXiv:math-ph/0509049, arXiv:math-ph/0505035

Isomorphism theorem for Kolmogorov states of $\clb = \dsp{\otimes_{j \in \IZ}}\!M^{(j)}_d(\IC)$

Authors: Anilesh Mohari

Abstract: We consider the translation dynamics on the $C^*$-algebra $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ of two sided infinite tensor product of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$ and its restriction to the maximal abelian $C^*$ sub-algebra $\ID^e = \otimes_{n \in \IZ}\!D_e^{(n)}(\IC)$ of $\IM$, where each $\!D_e^{(n)}(\IC)=\!D_d(\IC)$ is the alg… ▽ More We consider the translation dynamics on the $C^*$-algebra $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ of two sided infinite tensor product of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$ and its restriction to the maximal abelian $C^*$ sub-algebra $\ID^e = \otimes_{n \in \IZ}\!D_e^{(n)}(\IC)$ of $\IM$, where each $\!D_e^{(n)}(\IC)=\!D_d(\IC)$ is the algebra of $d$ dimensional diagonal matrices with respect to an orthonormal basis $e=(e_i)$ of $\IC^d$. We prove that any two translation invariant Kolmogorov pure states of $\IM$ give unitarily equivalent dynamics in their Gelfand-Naimark-Segal spaces. Furthermore, for a class of Kolmogorov pure states of $\IM$ satisfying some additional invariance, we prove Kolmogorov states give isomorphic translation dynamics if their restrictions to the maximal abelian $C^*$ sub-algebra $\ID^e$ of $\IM$ are isomorphic. On the other hand, we prove that the translation dynamics with two infinite tensor product translation invariant faithful states of $\IM$ are isomorphic if and only if their mean entropies are equal. △ Less

Submitted 21 March, 2016; v1 submitted 29 September, 2013; originally announced September 2013.

Comments: The revised paper has additional results! Many thanks to reviewers for constructive reports

Hann-Banach-Arveson extension theorem and Kadison isomorphism

Authors: Anilesh Mohari

Abstract: Let $C^*(\cls)$ be the $C^*$ algebra generated by an operator system $\cls$ i.e. a unital $*$-closed subspace of a unital $C^*$ algebra $\cla$. We prove that any complete order isomorphism $\cli:\cls \raro \cls'$ between two such operator systems of matrix algebras has a unique extension to a $C^*$-isomorphism $\cli:C^*(\cls) \raro C^*(\cls')$. However, the same statement with more general operato… ▽ More Let $C^*(\cls)$ be the $C^*$ algebra generated by an operator system $\cls$ i.e. a unital $*$-closed subspace of a unital $C^*$ algebra $\cla$. We prove that any complete order isomorphism $\cli:\cls \raro \cls'$ between two such operator systems of matrix algebras has a unique extension to a $C^*$-isomorphism $\cli:C^*(\cls) \raro C^*(\cls')$. However, the same statement with more general operator systems of infinite dimensional $C^*$-algebra is false. As an application of this result, we characterise upto cocycle conjugacy the extreme points of unital completely positive maps on matrix algebra. △ Less

Submitted 27 August, 2018; v1 submitted 25 April, 2013; originally announced April 2013.

Comments: The paper needs further correction and stated main theorem is false unless we add some more structures to it! Such a generalisation is finally aimed to classify extremal elements of unital completely positive map

Extremal unital completely positive normal maps and its symmetries

Authors: Anilesh Mohari

Abstract: We consider the convex set of ( unital ) positive ( completely ) maps from a $C^*$ algebra $\cla$ to a von-Neumann sub-algebra $\clm$ of $\clb(\clh)$, the algebra of bounded linear operators on a Hilbert space $\clh$ and study its extreme points via its canonical lifting to the convex set of ( unital ) positive ( complete ) normal maps from $\hat{\cla}$ to $\clm$, where $\hat{\cla}$ is the univers… ▽ More We consider the convex set of ( unital ) positive ( completely ) maps from a $C^*$ algebra $\cla$ to a von-Neumann sub-algebra $\clm$ of $\clb(\clh)$, the algebra of bounded linear operators on a Hilbert space $\clh$ and study its extreme points via its canonical lifting to the convex set of ( unital ) positive ( complete ) normal maps from $\hat{\cla}$ to $\clm$, where $\hat{\cla}$ is the universal enveloping von-Neumann algebra over $\cla$. If $\cla=\clm$ and a ( complete ) positive operator $τ$ is a unique sum of a normal and a singular ( complete ) positive maps. Furthermore, a unital complete positive map is a unique convex combination of unital normal and singular complete positive maps. We used a duality argument to find a criteria for extremal elements in the convex set of unital completely positive maps having a given faithful normal invariant state. In our investigation, gauge symmetry in Stinespring representation and Kadison theorem on order isomorphism played an important role. △ Less

Submitted 30 July, 2015; v1 submitted 11 January, 2013; originally announced January 2013.

Comments: some typo errors are corrected

A mean ergodic theorem in von-Neumann algebras

Authors: Anilesh Mohari

Abstract: We explore a duality between von-Neumann's mean ergodic theorem in von-Neumann algebra and Birkhoff's mean ergodic theorem in the pre-dual Banach space of von-Neumann algebras. Besides improving known mean ergodic theorems on von-Neumann algebras, we prove Birkhoff's mean ergodic theorem for any locally compact second countable amenable group action on the pre-dual Banach space. We explore a duality between von-Neumann's mean ergodic theorem in von-Neumann algebra and Birkhoff's mean ergodic theorem in the pre-dual Banach space of von-Neumann algebras. Besides improving known mean ergodic theorems on von-Neumann algebras, we prove Birkhoff's mean ergodic theorem for any locally compact second countable amenable group action on the pre-dual Banach space. △ Less

Submitted 22 October, 2013; v1 submitted 16 November, 2012; originally announced November 2012.

Comments: To appear IDAQP

Report number: IMSC Report 10 Nov'2012

Pure inductive limit state and Kolmogorov's property-II

Authors: Anilesh Mohari

Abstract: A translation invariant state $ω$ on $C^*$-algebra $\clb=\otimes_{k \in \IZ}M^{(k)}$, where $M^{(k)}=M_d(\IC)$ is the $d-$dimensional matrices over field of complex numbers, give rises a stationary quantum Markov chain and associates canonically a unital completely positive normal map $τ$ on a von-Neumann algebra $\clm$ with a faithful normal invariant state $φ$. We give an asymptotic criteria on… ▽ More A translation invariant state $ω$ on $C^*$-algebra $\clb=\otimes_{k \in \IZ}M^{(k)}$, where $M^{(k)}=M_d(\IC)$ is the $d-$dimensional matrices over field of complex numbers, give rises a stationary quantum Markov chain and associates canonically a unital completely positive normal map $τ$ on a von-Neumann algebra $\clm$ with a faithful normal invariant state $φ$. We give an asymptotic criteria on the Markov map $(\clm,τ,φ)$ for purity of $ω$. Such a pure $ω$ gives only type-I or type-III factor $ω_R$ once restricted to one side of the chain $\clb_R=\otimes_{\IZ_+}M^{(k)}$. In case $ω_R$ is type-I, $ω$ admits Kolmogorov's property. △ Less

Submitted 22 October, 2013; v1 submitted 31 January, 2011; originally announced January 2011.

Comments: Paper is now divided into two part. This is part one which is accepted for publication by Journal of Operator Theory. Some typo corrections and citations

Report number: Mittag-Leffler-2010fall

Unital completely positive maps and their operator systems

Authors: Anilesh Mohari

Abstract: A vector subspace $\cls$ of $\IM_n(\IC)$ is called unital operator system if $x \in \cls$ if and only if $x^* \in \cls$ and the identity operator $I_n \in \cls$, where $n$ is any fixed positive integer. Let $C^*(\cls)$ be the $C^*$ sub-algebra of $\IM_n(\IC)$ generated by the operator system $\cls$. We prove that a unital complete order isomorphism $\cli:\cls \raro \cls'$ between two such operator… ▽ More A vector subspace $\cls$ of $\IM_n(\IC)$ is called unital operator system if $x \in \cls$ if and only if $x^* \in \cls$ and the identity operator $I_n \in \cls$, where $n$ is any fixed positive integer. Let $C^*(\cls)$ be the $C^*$ sub-algebra of $\IM_n(\IC)$ generated by the operator system $\cls$. We prove that a unital complete order isomorphism $\cli:\cls \raro \cls'$ between two such operator systems $\cls$ and $\cls'$ of $\IM_n(\IC)$ has a unique extension to a $C^*$-isomorphism $\cli:C^*(\cls) \raro C^*(\cls')$ if and only if $\cls$ and $\cls'$ are having equal set of complete ranks. The operator system $\cls = \mbox{span}\{v_iv_j^*:1 \le i,j \le d \}$ is uniquely determined for a unital completely positive map $τ(x)=\sum_{1 \le k \le d} v_kxv_k^*$ of index $d \ge 1$. As an application of our main result, we explore this correspondence and characterize up to co-cycle conjugacy all extreme points in the convex set of unital completely positive maps on $\IM_n(\IC)$. Using the main result, we also characterize up to co-cycle conjugacy all extreme elements in the convex set of normalized trace preserving unital completely positive maps on $\IM_n(\IC)$. △ Less

Submitted 2 August, 2023; v1 submitted 27 June, 2010; originally announced June 2010.

Comments: A complete proof for Theorem 3.13 is added

Translation invariant pure state and its split property

Authors: Anilesh Mohari

Abstract: We prove Haag duality property of any translation invariant pure state on $\clb = \otimes_{\IZ}M_d(C), \;d \ge 2$, where $M_d(C)$ is the set of $d \times d$ dimensional matrices over field of complex numbers. We also prove a necessary and sufficient condition for a translation invariant factor state to be pure on $\clb$. This result makes it possible to study such a pure state with additional symm… ▽ More We prove Haag duality property of any translation invariant pure state on $\clb = \otimes_{\IZ}M_d(C), \;d \ge 2$, where $M_d(C)$ is the set of $d \times d$ dimensional matrices over field of complex numbers. We also prove a necessary and sufficient condition for a translation invariant factor state to be pure on $\clb$. This result makes it possible to study such a pure state with additional symmetry. We prove that exponentially decaying two point spacial correlation function of a real lattice symmetric reflection positive translation invariant pure state is a split state. Further there exists no translation invariant pure state on $\clb$ that is real, lattice symmetric, refection positive and $su(2)$ invariant when $d$ is an even integer. This in particular says that Heisenberg iso-spin anti-ferromagnets model for 1/2-odd integer spin degrees of freedom admits spontaneous symmetry breaking at it's ground states △ Less

Submitted 7 December, 2012; v1 submitted 14 April, 2009; originally announced April 2009.

Comments: Proof of Haag duality has be been re-organized. arXiv admin note: substantial text overlap with arXiv:math-ph/0505035, arXiv:math-ph/0509049

Jones index of a quantum dynamical semigroup

Authors: Anilesh Mohari

Abstract: In this paper we consider a semigroup of completely positive maps $τ=(τ_t,t \ge 0)$ with a faithful normal invariant state $φ$ on a type-$II_1$ factor $\cla_0$ and propose an index theory. We :achieve this via a more general Kolmogorov's type of construction for stationary Markov processes which naturally associate a nested isomorphic von-Neumann algebras. In particular this construction general… ▽ More In this paper we consider a semigroup of completely positive maps $τ=(τ_t,t \ge 0)$ with a faithful normal invariant state $φ$ on a type-$II_1$ factor $\cla_0$ and propose an index theory. We :achieve this via a more general Kolmogorov's type of construction for stationary Markov processes which naturally associate a nested isomorphic von-Neumann algebras. In particular this construction generalizes well known Jones construction associated with a sub-factor of type-II$_1$ factor. △ Less

Submitted 16 April, 2007; originally announced April 2007.

MSC Class: Jones index; Sub-factor; completely positive maps

Pure inductive limit state and Kolmogorov's property

Authors: Anilesh Mohari

Abstract: Let $(\clb,λ_t,ψ)$ be a $C^*$-dynamical system where $(λ_t: t \in \IT_+)$ be a semigroup of injective endomorphism and $ψ$ be an $(λ_t)$ invariant state on the $C^*$ subalgebra $\clb$ and $\IT_+$ is either non-negative integers or real numbers. The central aim of this exposition is to find a useful criteria for the inductive limit state $\clb \raro^{λ_t} \clb$ canonically associated with $ψ$ to… ▽ More Let $(\clb,λ_t,ψ)$ be a $C^*$-dynamical system where $(λ_t: t \in \IT_+)$ be a semigroup of injective endomorphism and $ψ$ be an $(λ_t)$ invariant state on the $C^*$ subalgebra $\clb$ and $\IT_+$ is either non-negative integers or real numbers. The central aim of this exposition is to find a useful criteria for the inductive limit state $\clb \raro^{λ_t} \clb$ canonically associated with $ψ$ to be pure. We achieve this by exploring the minimal weak forward and backward Markov processes associated with the Markov semigroup on the corner von-Neumann algebra of the support projection of the state $ψ$ to prove that Kolmogorov's property [Mo2] of the Markov semigroup is a sufficient condition for the inductive state to be pure. As an application of this criteria we find a sufficient condition for a translation invariant factor state on a one dimensional quantum spin chain to be pure. This criteria in a sense complements criteria obtained in [BJKW,Mo2] as we could go beyond lattice symmetric states. △ Less

Submitted 16 April, 2007; originally announced April 2007.

MSC Class: Inductive limit; Pure state; Kolmogorov's property; Markov shift

Translation invariant state and its mean entropy-II

Authors: Anilesh Mohari

Abstract: Let $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ be the two sided infinite tensor product $C^*$-algebra of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$. Let $ω$ be a translation invariant state of $\IM$. In a recent paper, we have proved that the mean entropy $s(ω)$ is a complete invariant for certain classes of translation invariant state $ω$ of $\IM$.… ▽ More Let $\IM =\otimes_{n \in \IZ}\!M^{(n)}(\IC)$ be the two sided infinite tensor product $C^*$-algebra of $d$ dimensional matrices $\!M^{(n)}(\IC)=\!M_d(\IC)$ over the field of complex numbers $\IC$. Let $ω$ be a translation invariant state of $\IM$. In a recent paper, we have proved that the mean entropy $s(ω)$ is a complete invariant for certain classes of translation invariant state $ω$ of $\IM$. In this paper, we have developed a general theory for dynamical entropy for an automorphism on an arbitrary $C^*$- or von-Neumann algebras based on repeated admissible measurement processes. In particular, we prove that dynamical entropy $h_ω(θ)$ for translation dynamics $(\IM,θ,ω)$ satisfies $s(ω) \le h_ω(θ) \le 2s(ω)$. In case $ω$ is an infinite tensor product state of $\IM$ then $h_ω(θ)=s(ω)$. △ Less

Submitted 26 December, 2017; v1 submitted 6 January, 2007; originally announced January 2007.

Comments: This is an enlarge version of an earlier preprint

Localized bases in L^2(0,1) and their use in the analysis of Brownian motion

Authors: Palle E. T. Jorgensen, Anilesh Mohari

Abstract: Motivated by problems on Brownian motion, we introduce a recursive scheme for a basis construction in the Hilbert space L^2(0,1) which is analogous to that of Haar and Walsh. More generally, we find a new decomposition theory for the Hilbert space of square-integrable functions on the unit-interval, both with respect to Lebesgue measure, and also with respect to a wider class of self-similar mea… ▽ More Motivated by problems on Brownian motion, we introduce a recursive scheme for a basis construction in the Hilbert space L^2(0,1) which is analogous to that of Haar and Walsh. More generally, we find a new decomposition theory for the Hilbert space of square-integrable functions on the unit-interval, both with respect to Lebesgue measure, and also with respect to a wider class of self-similar measures (mu). That is, we consider recursive and orthogonal decompositions for the Hilbert space L^2(mu) where mu is some self-similar measure on [0,1]. Up to two specific reflection symmetries, our scheme produces infinite families of orthonormal bases in L^2(0,1). Our approach is as versatile as the more traditional spline constructions. But while singly generated spline bases typically do not produce orthonormal bases, each of our present algorithms does. △ Less

Submitted 17 March, 2007; v1 submitted 30 December, 2005; originally announced December 2005.

Comments: 26 pages, LaTeX2e "elsart" document class, 2 figures comprising 33 EPS graphics. v2: corrections for consistency, more explanation about the tools which might not be too widely known, and clearer presentation of the results in the application to Brownian motion in the final section. v3: corrections for consistency and to meet the requirements from refree's report for the J. Approx. Theory

MSC Class: 42C40; 37F40; 46E22; 47L30

Spontaneous $SU_2(\mathbb{C})$ symmetry breaking in the ground states of quantum spin chain

Authors: Anilesh Mohari

Abstract: In this paper, we have proved that there exists no translation invariant pure state of $\mathbb{M}=\otimes_{k \in \mathbb{Z}}\!M^{(k)}_d(\mathbb{C})$ that is real, lattice symmetric with a certain twist and $SU_2(\mathbb{C})$ invariant for any even integer $d \ge 2$. In particular, this result also says that the Heisenberg iso-spin anti-ferromagnetic model with ${1 \over 2}$-odd integer spin degre… ▽ More In this paper, we have proved that there exists no translation invariant pure state of $\mathbb{M}=\otimes_{k \in \mathbb{Z}}\!M^{(k)}_d(\mathbb{C})$ that is real, lattice symmetric with a certain twist and $SU_2(\mathbb{C})$ invariant for any even integer $d \ge 2$. In particular, this result also says that the Heisenberg iso-spin anti-ferromagnetic model with ${1 \over 2}$-odd integer spin degrees of freedom does not admit a unique ground state. △ Less

Submitted 4 September, 2017; v1 submitted 21 September, 2005; originally announced September 2005.

Comments: This version is a significant revision of the last version incorporating reports that I have received on its last version

A resolution of quantum dynamical semigroups

Authors: Anilesh Mohari

Abstract: We consider a class of quantum dissipative systems governed by a one parameter completely positive maps on a von-Neumann algebra. We introduce a notion of recurrent and metastable projections for the dynamics and prove that the unit operator can be decomposed into orthogonal projections where each projections are recurrent or metastable for the dynamics. We consider a class of quantum dissipative systems governed by a one parameter completely positive maps on a von-Neumann algebra. We introduce a notion of recurrent and metastable projections for the dynamics and prove that the unit operator can be decomposed into orthogonal projections where each projections are recurrent or metastable for the dynamics. △ Less

Submitted 18 May, 2005; originally announced May 2005.

Markov shift in Non-commutative Probability-II

Authors: Anilesh Mohari

Abstract: We study asymptotic behavior of a Markov semigroup on a von-Neumann algebra by exploring a maximal von-Neumann subalgebra where the Markov semigroup is an automorphism. This enables us to prove that strong mixing is equivalent to ergodic property for continuous time Markov semigroup on a type-I von-Neumann algebra with center completely atomic. For discrete time dynamics we prove that an aperiod… ▽ More We study asymptotic behavior of a Markov semigroup on a von-Neumann algebra by exploring a maximal von-Neumann subalgebra where the Markov semigroup is an automorphism. This enables us to prove that strong mixing is equivalent to ergodic property for continuous time Markov semigroup on a type-I von-Neumann algebra with center completely atomic. For discrete time dynamics we prove that an aperiodic ergodic Markov semigroup on a type-I von-Neumann algebra with center completely atomic is strong mixing. There exists a tower of isomorphic von-Neumann algebras generated by the weak Markov process and a unique up to isomorphism minimal dilated quantum dynamics of endomorphisms associated with the Markov semigroup. The dilated endomorphism is pure in the sense of Powers if and only if the adjoint Markov semigroup satisfies Kolmogorov property. As an application of our general results we find a necessary and sufficient condition for a translation invariant state on a quantum spin chain to be pure. We also find a tower of type-II$_1$ factors canonically associated with the canonical conditional expectation on a sub-factor of a type-II$_1$ factor. This tower of factors unlike Jones's tower do not preserve index. This gives a sequence of Jones's numbers as an invariance for the inclusion of a finite sub-factor of a type-II$_1$ factor. △ Less

Submitted 12 May, 2005; originally announced May 2005.

Comments: submitted to Journal of Functional Analysis

Report number: 12/05/2005

Phase transition and split property in quantum spin chain

Authors: Anilesh Mohari

Abstract: In this exposition we investigate further the general methodology proposed in [Mo2] to study properties of the ground states of a translation invariant Hamiltonian for one lattice dimensional quantum spin chain $\cla=\otimes_{\IZ}M_d$, where $M_d$ is the matrix of $d \times d$ complex matrices. We introduce a notion of quantum detailed balance [Mo1] for a translation invariant state on $\cla$ an… ▽ More In this exposition we investigate further the general methodology proposed in [Mo2] to study properties of the ground states of a translation invariant Hamiltonian for one lattice dimensional quantum spin chain $\cla=\otimes_{\IZ}M_d$, where $M_d$ is the matrix of $d \times d$ complex matrices. We introduce a notion of quantum detailed balance [Mo1] for a translation invariant state on $\cla$ and prove that such a pure state is uniformly mixing [BR,Ma2] if and only if the lattice space correlation functions decay exponentially. Furthermore we also prove that a pure lattice symmetric, translation and SU(2) gauge invariant state give rise to a canonical Popescu systems acting on a finite dimensional Hilbert space and thus the lattice space correlation functions of the pure state decay exponentially. \vsp As a consequence of these results we conclude that if the ground states for an integer spin SU(2) invariant ($2s+1=d$) detailed balanced Hamiltonian is unique then the state is split. In particular if the ground state for integer spin anti-ferromagnetic Heisenberg chain is unique, then our main result says that the state is uniformly mixing and lattice space correlation functions of the ground state decay exponentially. Our main result is general enough to have application to other well known models such as Ising model, XY model and quasi-one dimensional quantum spin ladder [DR,Ma2] magnetic materials. △ Less

Submitted 22 October, 2013; v1 submitted 11 May, 2005; originally announced May 2005.

Comments: This paper is now withdrawn since it has been divided and enlarged into other papers