5 papers
Linear Systems and Eigenvectors in Constructive Mathematics
Bob Driessen, C. J. F. van de Ven
In this work we study two classical problems of (numerical) linear algebra: (i) solving linear systems and (ii) computing eigenvectors, within a constructive framework. Numerical a…
Subcriticality at High Temperatures in Spin Lattice Systems
Nicolò Drago, Lorenzo Pettinari, Christiaan J. F. van de Ven
We provide new sufficient conditions for subcriticality of classical and quantum spin lattice systems, formulated in terms of the uniqueness of Kubo-Martin-Schwinger (KMS) states.…
The classical limit of mean-field quantum spin systems
Christiaan J. F. van de Ven
The theory of strict deformation quantization of the two sphere is used to prove the existence of the classical limit of mean-field quantum spin chains, wh…
Bulk-boundary asymptotic equivalence of two strict deformation quantizations
Valter Moretti, Christiaan J. F van de Ven
The existence of a strict deformation quantization of , the state space of the matrices which is canonically a compact Poi…
Strict deformation quantization of the state space of with applications to the Curie-Weiss model
Klaas Landsman, Valter Moretti, Christiaan J. F. van de Ven
Increasing tensor powers of the matrices are known to give rise to a continuous bundle of -algebras over …