-
On the quantum Guerra-Morato Action Functional
Authors:
Josue Knorst,
Artur O. Lopes
Abstract:
Given a smooth potential $W:\mathrm{T}^{n} \to \mathbb{R}$ on the torus, the Quantum Guerra-Morato action functional is given by \smallskip
$ \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \,\,\,\,\,\,\,\,\, I(ψ) = \int\,(\, \, \,\frac{D v\, D v^*}{2}(x) - W(x) \,) \,\,a(x)^2 dx,$ \smallskip
\noindent where $ψ$ is described by $ψ= a\, e^{i\,\frac{ u }{h}} $, $ u =\, \frac{v + v^*}{2},$…
▽ More
Given a smooth potential $W:\mathrm{T}^{n} \to \mathbb{R}$ on the torus, the Quantum Guerra-Morato action functional is given by \smallskip
$ \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \,\,\,\,\,\,\,\,\, I(ψ) = \int\,(\, \, \,\frac{D v\, D v^*}{2}(x) - W(x) \,) \,\,a(x)^2 dx,$ \smallskip
\noindent where $ψ$ is described by $ψ= a\, e^{i\,\frac{ u }{h}} $, $ u =\, \frac{v + v^*}{2},$ $a=e^{\,\frac{v^*\,-\,v}{2\, \hbar} }$, $v,v ^*$ are real functions, $\int a^2 (x) d x =1$, and $D$ is derivative on $x \in \mathrm{T}^{n}$. It is natural to consider the constraint $ \mathrm{d}\mathrm{i}\mathrm{v}(a^{2}Du)=0$, which means flux zero. The $a$ and $u$ obtained from a critical solution (under variations $τ$) for such action functional, fulfilling such constraints, satisfy the Hamilton-Jacobi equation with a quantum potential. Denote $'=\frac{d}{dτ}$. We show that the expression for the second variation of a critical solution is given by
\smallskip $\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\, \,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\,\int a^{2}\,D[ v' ]\, D [(v ^*)']\, dx.$
\smallskip
Introducing the constraint $\int a^2 \,D u \,dx =V$, we also consider later an associated dual eigenvalue problem. From this follows a transport and a kind of eikonal equation.
△ Less
Submitted 9 March, 2024;
originally announced March 2024.
-
Convergence Rate for Moderate Interaction particles and Application to Mean Field Games
Authors:
Josué Knorst,
Christian Olivera,
Alexandre B. de Souza
Abstract:
We study two interacting particle systems, both modeled as a system of $N$ stochastic differential equations driven by Brownian motions with singular kernels and moderate interaction. We show a quantitative result where the convergence rate depends on the moderate scaling parameter, the regularity of the solution of the limit equation and the dimension. Our approach is based on the techniques of s…
▽ More
We study two interacting particle systems, both modeled as a system of $N$ stochastic differential equations driven by Brownian motions with singular kernels and moderate interaction. We show a quantitative result where the convergence rate depends on the moderate scaling parameter, the regularity of the solution of the limit equation and the dimension. Our approach is based on the techniques of stochastic calculus, some properties of Besov and Triebel-Lizorkin space, and the semigroup approach introduced in [9].
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Thermodynamic Formalism on the Skorokhod space: the continuous time Ruelle operator, entropy, pressure, entropy production and expansiveness
Authors:
J. Knorst,
A. O. Lopes,
G. Muller,
A. Neumann
Abstract:
Consider the semi-flow given by the continuous time shift $Θ_t:\mathcal{D} \to \mathcal{D} $, $t \geq 0$, acting on the
$\mathcal{D} $ of \textit{càdlàg} paths $w: [0,\infty) \to S^1$, where $S^1$ is the unitary circle. We equip the space $\mathcal{D} $ with the Skorokhod metric, and we show that the semi-flow is expanding. We also introduce a stochastic semi-group $e^{t\, L}$, $t \geq 0,$ where…
▽ More
Consider the semi-flow given by the continuous time shift $Θ_t:\mathcal{D} \to \mathcal{D} $, $t \geq 0$, acting on the
$\mathcal{D} $ of \textit{càdlàg} paths $w: [0,\infty) \to S^1$, where $S^1$ is the unitary circle. We equip the space $\mathcal{D} $ with the Skorokhod metric, and we show that the semi-flow is expanding. We also introduce a stochastic semi-group $e^{t\, L}$, $t \geq 0,$ where $L$ acts linearly on continuous functions $f:S^1\to\mathbb{R}$. This stochastic semigroup and an initial vector of probability $π$ define an associated stationary shift-invariant probability $\mathbb{P}$ on the Polish space $\mathcal{D} $. Given such $\mathbb{P}$ and an Hölder potential $V:S^1 \to \mathbb{R}$, we define a continuous time Ruelle operator, which is described by a family of linear operators $ \mathbb{L}^t_V$, $t\geq 0,$ acting on continuous functions $\varphi: S^1 \to \mathbb{R}$. More precisely, given any Hölder $V$ and $t\geq 0$, the operator $ \mathbb{L}^t_V$, is defined by
$\varphi \to ψ(y) = \mathbb{L}^t_V(\varphi)(y)= \int_{w(t)=y} e^{ \int_0^t V(w(s)) ds} \varphi (w(0)) d \mathbb{P}(w).$
For some specific parameters we show the existence of an eigenvalue $λ_V$ and an associated Hölder eigenfunction $\varphi_V>0$.After a coboundary procedure we obtain another stochastic semigroup, with infinitesimal generator $L_V$, and this will define a new probability $\mathbb{P}_V$ on $\mathcal{D}$, which we call the Gibbs (or, equilibrium) probability for the potential $V$. In this case, we define entropy for some shift-invariant probabilities on $\mathcal{D}$, and we consider a variational problem of pressure. Finally, we define entropy production and present our main result: we analyze its relation with time-reversal and symmetry of $L$. We also show that the continuous-time shift $Θ_t$, acting on the Skorohod space $D$, is expanding.
△ Less
Submitted 27 February, 2024; v1 submitted 3 August, 2022;
originally announced August 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.
