-
Thermodynamic formalism for general iterated function systems with measures
Authors:
Jader E. Brasil,
Elismar R. Oliveira,
Rafael Rigão Souza
Abstract:
This paper introduces a theory of Thermodynamic Formalism for Iterated Function Systems with Measures (IFSm). We study the spectral properties of the Transfer and Markov operators associated to a IFSm. We introduce variational formulations for the topological entropy of holonomic measures and the topological pressure of IFSm given by a potential. A definition of equilibrium state is then natural a…
▽ More
This paper introduces a theory of Thermodynamic Formalism for Iterated Function Systems with Measures (IFSm). We study the spectral properties of the Transfer and Markov operators associated to a IFSm. We introduce variational formulations for the topological entropy of holonomic measures and the topological pressure of IFSm given by a potential. A definition of equilibrium state is then natural and we prove its existence for any continuous potential. We show, in this setting, a uniqueness result for the equilibrium state requiring only the Gâteaux differentiability of the pressure functional.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
Thermodynamic formalism for continuous-time quantum Markov semigroups: the detailed balance condition, entropy, pressure and equilibrium quantum processes
Authors:
Jader E. Brasil,
Josue Knorst,
Artur O. Lopes
Abstract:
$M_n(\mathbb{C})$ denotes the set of $n$ by $n$ complex matrices. Consider continuous time quantum semigroups $\mathcal{P}_t= e^{t\, \mathcal{L}}$, $t \geq 0$, where $\mathcal{L}:M_n(\mathbb{C}) \to M_n(\mathbb{C})$ is the infinitesimal generator. If we assume that $\mathcal{L}(I)=0$, we will call $e^{t\, \mathcal{L}}$, $t \geq 0$ a quantum Markov semigroup. Given a stationary density matrix $ρ= ρ…
▽ More
$M_n(\mathbb{C})$ denotes the set of $n$ by $n$ complex matrices. Consider continuous time quantum semigroups $\mathcal{P}_t= e^{t\, \mathcal{L}}$, $t \geq 0$, where $\mathcal{L}:M_n(\mathbb{C}) \to M_n(\mathbb{C})$ is the infinitesimal generator. If we assume that $\mathcal{L}(I)=0$, we will call $e^{t\, \mathcal{L}}$, $t \geq 0$ a quantum Markov semigroup. Given a stationary density matrix $ρ= ρ_{\mathcal{L}}$, for the quantum Markov semigroup $\mathcal{P}_t$, $t \geq 0$, we can define a continuous time stationary quantum Markov process, denoted by $X_t$, $t \geq 0.$ Given an {\it a priori} Laplacian operator $\mathcal{L}_0:M_n(\mathbb{C}) \to M_n(\mathbb{C})$, we will present a natural concept of entropy for a class of density matrices on $M_n(\mathbb{C})$. Given an Hermitian operator $A:\mathbb{C}^n\to \mathbb{C}^n$ (which plays the role of an Hamiltonian), we will study a version of the variational principle of pressure for $A$. A density matrix $ρ_A$ maximizing pressure will be called an equilibrium density matrix. From $ρ_A$ we will derive a new infinitesimal generator $\mathcal{L}_A$. Finally, the continuous time quantum Markov process defined by the semigroup $\mathcal{P}_t= e^{t\, \mathcal{L}_A}$, $t \geq 0$, and an initial stationary density matrix, will be called the continuous time equilibrium quantum Markov process for the Hamiltonian $A$. It corresponds to the quantum thermodynamical equilibrium for the action of the Hamiltonian $A$.
△ Less
Submitted 13 January, 2022;
originally announced January 2022.
-
Lyapunov exponents for Quantum Channels: an entropy formula and generic properties
Authors:
Jader E. Brasil,
Josue Knorst,
Artur O. Lopes
Abstract:
We denote by $M_k$ the set of $k$ by $k$ matrices with complex entries. We consider quantum channels $φ_L$ of the form: given a measurable function $L:M_k\to M_k$ and a measure $μ$ on $M_k$ we define the linear operator $φ_L:M_k \to M_k$, by the law $ρ\,\to\,φ_L(ρ) = \int_{M_k} L(v) ρL(v)^\dagger \, \dm(v).$
On a previous work the authors show that for a fixed measure $μ$ it is generic on the fu…
▽ More
We denote by $M_k$ the set of $k$ by $k$ matrices with complex entries. We consider quantum channels $φ_L$ of the form: given a measurable function $L:M_k\to M_k$ and a measure $μ$ on $M_k$ we define the linear operator $φ_L:M_k \to M_k$, by the law $ρ\,\to\,φ_L(ρ) = \int_{M_k} L(v) ρL(v)^\dagger \, \dm(v).$
On a previous work the authors show that for a fixed measure $μ$ it is generic on the function $L$ the $Φ$-Erg property (also irreducibility). Here we will show that the purification property is also generic on $L$ for a fixed $μ$.
Given $L$ and $μ$ there are two related stochastic process: one takes values on the projective space $ P(\C^k)$ and the other on matrices in $M_k$. The $Φ$-Erg property and the purification condition are good hypothesis for the discrete time evolution given by the natural transition probability. In this way it will follow that generically on $L$, if $\int |L(v)|^2 \log |L(v)|\, \ dμ(v)<\infty$, then the Lyapunov exponents $\infty > γ_1\geq γ_2\geq ...\geq γ_k\geq -\infty$ are well defined.
On the previous work it was presented the concepts of entropy of a channel and of Gibbs channel; and also an example (associated to a stationary Markov chain) where this definition of entropy (for a quantum channel) matches the Kolmogorov-Shanon definition of entropy. We estimate here the larger Lyapunov exponent for the above mentioned example and we show that it is equal to $-\frac{1}{2} \,h$, where $h$ is the entropy of the associated Markov probability.
△ Less
Submitted 14 September, 2021; v1 submitted 22 August, 2019;
originally announced August 2019.
-
Thermodynamic Formalism for Quantum Channels: Entropy, Pressure, Gibbs channels and generic properties
Authors:
Jader E. Brasil,
Josue Knorst,
Artur O. Lopes
Abstract:
Denote $M_k$ the set of complex $k$ by $k$ matrices. We will analyze here quantum channels $φ_L$ of the following kind: given a measurable function $L:M_k\to M_k$ and the measure $μ$ on $M_k$ we define the linear operator $φ_L:M_k \to M_k$, via the expression $ρ\,\to\,φ_L(ρ) = \int_{M_k} L(v) ρ{L(v)}^\dagger \, \dm(v)$.
A recent paper by T. Benoist, M. Fraas, Y. Pautrat, and C. Pellegrini is our…
▽ More
Denote $M_k$ the set of complex $k$ by $k$ matrices. We will analyze here quantum channels $φ_L$ of the following kind: given a measurable function $L:M_k\to M_k$ and the measure $μ$ on $M_k$ we define the linear operator $φ_L:M_k \to M_k$, via the expression $ρ\,\to\,φ_L(ρ) = \int_{M_k} L(v) ρ{L(v)}^\dagger \, \dm(v)$.
A recent paper by T. Benoist, M. Fraas, Y. Pautrat, and C. Pellegrini is our starting point. They considered the case where $L$ was the identity.
Under some mild assumptions on the quantum channel $φ_L$ we analyze the eigenvalue property for $φ_L$ and we define entropy for such channel. For a fixed $μ$ (the \textit{a priori} measure) and for a given a Hamiltonian $H: M_k \to M_k$ we present a version of the Ruelle Theorem: a variational principle of pressure (associated to such $H$) related to an eigenvalue problem for the Ruelle operator. We introduce the concept of Gibbs channel.
We also show that for a fixed $μ$ (with more than one point in the support) the set of $L$ such that it is $φ$-Erg (also irreducible) for $μ$ is a generic set.
We describe a related process $X_n$, $n\in \mathbb{N}$, taking values on the projective space $ P(\C^k)$ and analyze the question of the existence of invariant probabilities.
We also consider an associated process $ρ_n$, $n\in \mathbb{N}$, with values on $\mathcal{D}_k$ ($\mathcal{D}_k$ is the set of density operators). Via the barycenter we associate the invariant probabilities mentioned above with the density operator which is fixed for $φ_L$.
△ Less
Submitted 23 August, 2021; v1 submitted 28 January, 2019;
originally announced January 2019.
-
Quantum Spin probabilities at positive temperature are Hölder Gibbs probabilities
Authors:
Jader E. Brasil,
Artur O. Lopes,
Jairo K. Mengue,
Carlos G. Moreira
Abstract:
We consider the KMS state associated to the Hamiltonian $H= σ^x \otimes σ^x$ over the quantum spin lattice $\mathbb{C}^2 \otimes \mathbb{C}^2 \otimes \mathbb{C}^2 \otimes ...$.
For a fixed observable of the form $L \otimes L \otimes L \otimes ...$, where $L:\mathbb{C}^2 \to \mathbb{C}^2 $ is self adjoint, and for positive temperature $T$ one can get a naturally defined stationary probability…
▽ More
We consider the KMS state associated to the Hamiltonian $H= σ^x \otimes σ^x$ over the quantum spin lattice $\mathbb{C}^2 \otimes \mathbb{C}^2 \otimes \mathbb{C}^2 \otimes ...$.
For a fixed observable of the form $L \otimes L \otimes L \otimes ...$, where $L:\mathbb{C}^2 \to \mathbb{C}^2 $ is self adjoint, and for positive temperature $T$ one can get a naturally defined stationary probability $μ_T$ on the Bernoulli space $\{1,2\}^\mathbb{N}$.
The Jacobian of $μ_T$ can be expressed via a certain continued fraction expansion.
We will show that this probability is a Gibbs probability for a Hölder potential. Therefore, this probability is mixing for the shift map. For such probability $μ_T$ we will show the explicit deviation function for a certain class of functions.
When decreasing temperature we will be able to exhibit the explicit transition value $T_c$ where the set of values of the Jacobian of the Gibbs probability $μ_T$ changes from being a Cantor set to being an interval.
We also present some properties for quantum spin probabilities at zero temperature (for instance, the explicit value of the entropy).
△ Less
Submitted 16 May, 2018; v1 submitted 4 May, 2018;
originally announced May 2018.
