Searcharxiv⌕ Search

arXiv subjects

George Androulakis

Publications and source records attributed to George Androulakis.

At least 19 recordsLinked to original sources
arXiv2026

Quantum $f$-divergences via Nussbaum-Szko{\l}a Distributions in Semifinite von Neumann Algebras

In this article, we prove that the quantum $f$-divergence between two normal states on a semifinite von~Neumann algebra is equal to the classical $f$-divergence between two corresponding classical states, which are called Nussbaum-Szko{\l}a distributions. This result has been proved by the second named author and T.C.~John for normal states on the von~Neumann algebra $\mathbb{B}(\mathscr{H})$ of all bounded operators on a Hilbert space $\mathscr{H}$. We extend their result for normal states on any semifinite von~Neumann algebra, not only $\mathbb{B}(\mathscr{H})$.

quant-ph↗
arXiv2024

Optimal lower bound for lossless quantum block encoding

Consider a general quantum stochastic source that emits at discrete time steps quantum pure states which are chosen from a finite alphabet according to some probability distribution which may depend on the whole history. Also, fix two positive integers $m$ and $l$. We encode any tensor product of $ml$ many states emitted by the quantum stochastic source by breaking the tensor product into $m$ many blocks where each block has length $l$, and considering sequences of $m$ many isometries so that each isometry encodes one of these blocks into the Fock space, followed by the concatenation of their images. We only consider certain sequences of such isometries that we call ``special block codes" in order to ensure that the string of encoded states is uniquely decodable. We compute the minimum average codeword length of these encodings which depends on the quantum source and the integers $m$, $l$, among all possible special block codes. Our result extends the result of [Bellomo, Bosyk, Holik and Zozor, Scientific Reports 7.1 (2017): 14765] where the minimum was computed for one block, i.e.\ for $m=1$. Lastly, we give a simplified non-adaptive compression technique based on constrained special block codes for general quantum stochastic sources. For quantum stationary sources in particular, we show that the minimum average codeword length per symbol computed over all constrained special block codes is equal to the von-Neumann entropy rate of the source for an asymptotically long block size.

quant-ph↗
arXiv2024

Petz-Rényi Relative Entropy of Thermal States and their Displacements

In this article, we obtain the precise range of the values of the parameter $α$ such that Petz-Rényi $α$-relative entropy $D_α(ρ||σ)$ of two displaced thermal states is finite. More precisely, we prove that, given two displaced thermal states $ρ$ and $σ$ with inverse temperature parameters $r_1, r_2,\dots, r_n$ and $s_1,s_2, \dots, s_n$, respectively, we have \[ D_α(ρ||σ)<\infty \Leftrightarrow α< \min \left\{ \frac{s_j}{s_j-r_j}: j \in \{ 1, \ldots , n \} \text{ such that } r_j<s_j \right\}, \] where we adopt the convention that the minimum of an empty set is equal to infinity. Along the way, we prove a special case of a conjecture of Seshdreesan, Lami and Wilde (J. Math. Phys. 59, 072204 (2018)).

quant-ph↗
arXiv2023

Quantum $f$-divergences via Nussbaum-Szkoła Distributions and Applications to $f$-divergence Inequalities

The main result in this article shows that the quantum $f$-divergence of two states is equal to the classical $f$-divergence of the corresponding Nussbaum-Szkoła distributions. This provides a general framework for studying certain properties of quantum entropic quantities using the corresponding classical entities. The usefulness of the main result is illustrated by obtaining several quantum $f$-divergence inequalities from their classical counterparts. All results presented here are valid in both finite and infinite dimensions and hence can be applied to continuous variable systems as well. A comprehensive review of the instances in the literature where Nussbaum-Szkoła distributions are used, is also provided in this article.

quant-ph↗
arXiv2023

Relative Entropy via Distribution of Observables

We obtain formulas for Petz-Rényi and Umegaki relative entropy from the idea of distribution of a positive selfadjoint operator. Classical results on Rényi and Kullback-Leibler divergences are applied to obtain new results and new proofs for some known results about Petz-Rényi and Umegaki relative entropy. Most important among these, is a necessary and sufficient condition for the finiteness of the Petz-Rényi $α$-relative entropy. All of the results presented here are valid in both finite and infinite dimensions. In particular, these results are valid for states in Fock spaces and thus are applicable to continuous variable quantum information theory.

quant-ph↗
arXiv2022

A Variational Quantum Algorithm For Approximating Convex Roofs

Many entanglement measures are first defined for pure states of a bipartite Hilbert space, and then extended to mixed states via the convex roof extension. In this article we alter the convex roof extension of an entanglement measure, to produce a sequence of extensions that we call $f$-$d$ extensions, for $d \in \mathbb{N}$, where $f:[0,1]\to [0, \infty)$ is a fixed continuous function which vanishes only at zero. We prove that for any such function $f$, and any continuous, faithful, non-negative function, (such as an entanglement measure), $μ$ on the set of pure states of a finite dimensional bipartite Hilbert space, the collection of $f$-$d$ extensions of $μ$ detects entanglement, i.e. a mixed state $ρ$ on a finite dimensional bipartite Hilbert space is separable, if and only if there exists $d \in \mathbb{N}$ such that the $f$-$d$ extension of $μ$ applied to $ρ$ is equal to zero. We introduce a quantum variational algorithm which aims to approximate the $f$-$d$ extensions of entanglement measures defined on pure states. However, the algorithm does have its drawbacks. We show that this algorithm exhibits barren plateaus when used to approximate the family of $f$-$d$ extensions of the Tsallis entanglement entropy for a certain function $f$ and unitary ansatz $U(θ)$ of sufficient depth. In practice, if additional information about the state is known, then one needs to avoid using the suggested ansatz for long depth of circuits.

quant-ph↗
arXiv2020

Some Remarks on the Entanglement Number

Gudder, in a recent paper, defined a candidate entanglement measure which is called the entanglement number. The entanglement number is first defined on pure states and then it extends to mixed states by the convex roof construction. In Gudder's article it was left as an open problem to show that Optimal Pure State Ensembles (OPSE) exist for the convex roof extension of the entanglement number from pure to mixed states. We answer Gudder's question in the affirmative, and therefore we obtain that the entanglement number vanishes only on the separable states. More generally we show that OPSE exist for the convex roof extension of any function that is norm continuous on the pure states of a finite dimensional Hilbert space. Further we prove that the entanglement number is an LOCC monotone, (and thus an entanglement measure), by using a criterion that was developed by Vidal in 2000. We present a simplified proof of Vidal's result where moreover we use an interesting point of view of tree representations for LOCC communications. Lastly, we generalize Gudder's entanglement number by producing a monotonic family of entanglement measures which converge in a natural way to the entropy of entanglement.

quant-ph↗
arXiv2020

The induced semigroup of Schwarz maps to the space of Hilbert-Schmidt operators

We prove that for every semigroup of Schwarz maps on the von~Neumann algebra of all bounded linear operators on a Hilbert space which has a subinvariant faithful normal state there exists an associated semigroup of contractions on the space of Hilbert-Schmidt operators of the Hilbert space. Moreover, we show that if the original semigroup is weak$^*$ continuous then the associated semigroup is strongly continuous. We introduce the notion of the extended generator of a semigroup on the bounded operators of a Hilbert space with respect to an orthonormal basis of the Hilbert space. We describe the form of the generator of a quantum Markov semigroup on the von~Neumann algebra of all bounded linear operators on a Hilbert space which has an invariant faithful normal state under the assumption that the generator of the associated semigroup has compact resolvent.

math-ph↗
arXiv2019

Optimality in Quantum Data Compression using Dynamical Entropy

In this article we study lossless compression of strings of pure quantum states of indeterminate-length quantum codes which were introduced by Schumacher and Westmoreland. Past work has assumed that the strings of quantum data are prepared to be encoded in an independent and identically distributed way. We introduce the notion of quantum stochastic ensembles, allowing us to consider strings of quantum states prepared in a more general way. For any identically distributed quantum stochastic ensemble we define an associated quantum Markov chain and prove that the optimal average codeword length via lossless coding is equal to the quantum dynamical entropy of the associated quantum Markov chain.

cs.IT↗
arXiv2019

GKSL Generators and Digraphs: Computing Invariant States

In recent years, digraph induced generators of quantum dynamical semigroups have been introduced and studied, particularly in the context of unique relaxation and invariance. In this article we define the class of pair block diagonal generators, which allows for additional interaction coefficients but preserves the main structural properties. Namely, when the basis of the underlying Hilbert space is given by the eigenbasis of the Hamiltonian (for example the generic semigroups), then the action of the semigroup leaves invariant the diagonal and off-diagonal matrix spaces. In this case, we explicitly compute all invariant states of the semigroup. In order to define this class we provide a characterization of when the Gorini-Kossakowski-Sudarshan-Lindblad (GKSL) equation defines a proper generator when arbitrary Lindblad operators are allowed (in particular, they do not need to be traceless as demanded by the GKSL Theorem). Moreover, we consider the converse construction to show that every generator naturally gives rise to a digraph, and that under certain assumptions the properties of this digraph can be exploited to gain knowledge of both the number and the structure of the invariant states of the corresponding semigroup.

math-ph↗
arXiv2019

Quantum Kac's Chaos

We study the notion of quantum Kac's chaos which was implicitly introduced by Spohn and explicitly formulated by Gottlieb. We prove the analogue of a result of Sznitman which gives the equivalence of Kac's chaos to 2-chaoticity and to convergence of empirical measures. Finally we give a simple, different proof of a result of Spohn which states that chaos propagates with respect to certain Hamiltonians that define the evolution of the mean field limit for interacting quantum systems.

math-ph↗
arXiv2018

On the nonlinearity of quantum dynamical entropy

Linearity of a dynamical entropy means that the dynamical entropy of the n-fold composition of a dynamical map with itself is equal to n times the dynamical entropy of the map for every positive integer n. We show that the quantum dynamical entropy introduced by Slomczynski and Zyczkowski is nonlinear in the time interval between successive measurements of a quantum dynamical system. This is in contrast to Kolmogorov-Sinai dynamical entropy for classical dynamical systems, which is linear in time. We also compute the exact values of quantum dynamical entropy for the Hadamard walk with varying Luders-von Neumann instruments and partitions.

math-ph↗
arXiv2017

A Connection Between Mixing and Kac's Chaos

The Boltzmann equation is an integro-differential equation which describes the density function of the distribution of the velocities of the molecules of dilute monoatomic gases under the assumption that the energy is only transferred via collisions between the molecules. In 1956 Kac studied the Boltzmann equation and defined a property of the density function that he called the "Boltzmann property" which describes the behavior of the density function at a given fixed time as the number of particles tends to infinity. The Boltzmann property has been studied extensively since then, and now it is simply called chaos, or Kac's chaos. On the other hand, in ergodic theory, chaos usually refers to the mixing properties of a dynamical system as time tends to infinity. A relationship is derived between Kac's chaos and the notion of mixing.

math.DS↗
arXiv2015

The closedness of the generator of a semigroup

We study semigroups of bounded operators on a Banach space such that the members of the semigroup are continuous with respect to various weak topologies and we give sufficient conditions for the generator of the semigroup to be closed with respect to the topologies involved. The proofs of these results use the Laplace transforms of the semigroup. Thus we first give sufficient conditions for Pettis integrability of vector valued functions with respect to scalar measures.

math.FA↗
arXiv2014

Generators of Quantum Markov Semigroups

Quantum Markov Semigroups (QMSs) originally arose in the study of the evolutions of irreversible open quantum systems. Mathematically, they are a generalization of classical Markov semigroups where the underlying function space is replaced by a non-commutative operator algebra. In the case when the QMS is uniformly continuous, theorems due to Lindblad \cite{lindblad}, Stinespring \cite{stinespring}, and Kraus \cite{kraus} imply that the generator of the semigroup has the form $$L(A)=\sum_{n=1}^{\infty}V_n^*AV_n +GA+AG^*$$ where $V_n$ and G are elements of the underlying operator algebra. In the present paper we investigate the form of the generators of QMSs which are not necessarily uniformly continuous and act on the bounded operators of a Hilbert space. We prove that the generators of such semigroups have forms that reflect the results of Lindblad and Stinespring. We also make some progress towards forms reflecting Kraus' result. Lastly we look at several examples to clarify our findings and verify that some of the unbounded operators we are using have dense domains.

math-ph↗
arXiv2011

Dissipative dynamics in semiconductors at low temperature

A mathematical model is introduced which describes the dissipation of electrons in lightly doped semi-conductors. The dissipation operator is proved to be densely defined and positive and to generate a Markov semigroup of operators. The spectrum of the dissipation operator is studied and it is shown that zero is a simple eigenvalue, which makes the equilibrium state unique. Also it is shown that there is a gap between zero and the rest of its spectrum which makes the return to equilibrium exponentially fast in time.

math-ph↗
arXiv2009

Almost invariant half-spaces of operators on Banach spaces

We introduce and study the following modified version of the Invariant Subspace Problem: whether every operator T on a Banach space has an almost invariant half-space, that is, a subspace Y of infinite dimension and infinite codimension such that Y is of finite codimension in T(Y). We solve this problem in the affirmative for a large class of operators which includes quasinilpotent weighted shift operators on l_p (1 \le p < \infty) or c_0.

math.FA↗