Related papers: Pure inductive limit state and Kolmogorov's proper…

A positive definite symmetric matrix {\sigma} qualifies as a quantum mechanical covariance matrix if and only if {\sigma}+(1/2)i\hbar{\Omega}\geq0 where {\Omega} is the standard symplectic matrix. This well-known condition is a strong…

In this paper, we consider pure infiniteness of generalized Cuntz-Krieger algebras associated to labeled spaces $(E,\mathcal{L},\mathcal{E})$. It is shown that a $C^*$-algebra $C^*(E,\mathcal{L},\mathcal{E})$ is purely infinite in the sense…

We prove an averaging formula for the derivative of the absolutely continuous part of the density of states measure for an ergodic family of CMV matrices. As a consequence, we show that the spectral type of such a family is almost surely…

The Gram matrix of a set of quantum pure states plays key roles in quantum information theory. It has been highlighted that the Gram matrix of a pure-state ensemble can be viewed as a quantum state, and the quantumness of a pure-state…

We prove that the pure state space is homogeneous under the action of the automorphism group (or a certain smaller group of approximately inner automorphisms) for a fairly large class of simple separable nuclear C*-algebras, including the…

We study methods of inducing metrics on unital completely positive maps by employing seminorms arising in noncommutative geometry. Our main approach relies on the development of an infinite-dimensional $C^*$-algebraic analogue of the…

A $k_\omega$-space $X$ is a Hausdorff quotient of a locally compact, $\sigma$-compact Hausdorff space. A theorem of Morita's describes the structure of $X$ when the quotient map is closed, but in 2010 a question of Arkhangel'skii's…

The features of the paper are these: 1) we discuss {\bf especially} quadratic (alias bilinear) Bose-Hamiltonians, the related Bogoliubov transformations and {\bf especially} quasi-free-like (alias coherent or Fock-like) states 2) we discuss…

We extend algorithmic information theory to quantum mechanics, taking a universal semicomputable density matrix (``universal probability'') as a starting point, and define complexity (an operator) as its negative logarithm. A number of…

We show that if A is a separable, nuclear, O_infty-absorbing (or strongly purely infinite) C*-algebra, which is homotopic to zero in an ideal-system preserving way, then A is the inductive limit of C*-algebras of the form M_k(C_0(G,v)),…

We give an explicit characterisation of the quantum states which saturate the strong subadditivity inequality for the von Neumann entropy. By combining a result of Petz characterising the equality case for the monotonicity of relative…

We introduce a general methodology for the construction of sound and complete proof rules for the almost-sure and quantitative acceptance of reactivity properties on time-homogeneous Markov chains with general state spaces. Reactivity…

We prove that if we are given a generator of a cadlag Markov process and an open domain $G$ in the state space, on which the generator has the local property expressed in a suitable way on a class $\mathcal{C}$ of test functions that is…

We introduce quantum-K ($QK$), a measure of the descriptive complexity of density matrices using classical prefix-free Turing machines and show that the initial segments of weak Solovay random and quantum Schnorr random states are…

We study inhomogeneous continuous-time weakly ergodic Markov chains with a finite state space. We introduce the notion of a Markov chain with the regular structure of an infinitesimal matrix and study the sharp upper bounds on the rate of…

Let $\omega$ be a factor state on the quasi-local algebra $\cal{A}$ of observables generated by a relativistic quantum field, which in addition satisfies certain regularity conditions (satisfied by ground states and the recently constructed…

We derive a sufficient condition for a $k$-th order homogeneous Markov chain $\mathbf{Z}$ with finite alphabet $\mathcal{Z}$ to have a unique invariant distribution on $\mathcal{Z}^k$. Specifically, let $\mathbf{X}$ be a first-order,…

We prove that for any monoid scheme M over a field with proper multiplication maps from M x M to M, we have a natural PD-structure on the ideal CH_{>0}(M) of CH(M) with regard to the Pontryagin ring structure. Further we investigate to what…

Alp\"oge--Bhargava--Shnidman showed that even a strengthened \emph{no local obstruction} condition for monogenicity does not force a global power integral basis: in the full spaces of cubic and quartic fields, a positive proportion are…

Given a smooth compact Riemannian manifold $M$ and a Hamiltonian $H$ on the cotangent space $T^*M$, strictly convex and superlinear in the momentum variables, we prove uniqueness of certain ergodic invariant Lagrangian graphs within a given…