Related papers: More on a trace inequality in quantum information …
For two hermitian matrices $A$ and $B$, Golden-Thompson inequality \cite{golden1965lower, thompson1965inequality} states that $$ \mathrm{tr}\left[ \exp{(A+B)} \right] \leq \mathrm{tr}\left[ \exp{(A)}\exp{(B)} \right]. $$ We elaborate here…
We extend Hardy's inequality from sequences of non-negative numbers to sequences of positive semi-definite operators if the parameter p satisfies 1<p<=2, and to operators under a trace for arbitrary p>1. Applications to trace functions are…
Computing $\log\det(A)$ for large symmetric positive definite matrices arises in Gaussian process inference and Bayesian model comparison. Standard methods combine matrix-vector products with polynomial approximations. We study a different…
052<p type="texpara" tag="Body Text" et="abstract" >A completely $n$ -positive linear map from a locally $C^{\ast}$-algebra $A$ to another locally $C^{\ast}$-algebra $B $is an $n\times n$ matrix whose elements are continuous linear maps…
Let $E/\mathbb{Q}$ be an elliptic curve of conductor $N=p^2M$ where $p$ is an odd prime not dividing $M$. Let $\mathcal{O}_f$ be the order of conductor $f$ (relatively prime to $N$) in an imaginary quadratic field $K$ in which $p$ is inert…
Kraus maps (completely positive trace preserving maps) arise classically in quantum information, as they describe the evolution of noncommutative probability measures. We introduce tropical analogues of Kraus maps, obtained by replacing the…
Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are exploited to establish properties of the logical systems.…
Minimum error state discrimination between two mixed states \rho and \sigma can be aided by the receipt of "classical side information" specifying which states from some convex decompositions of \rho and \sigma apply in each run. We…
Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…
We provide a decomposition that is sufficient in showing when a symmetric tridiagonal matrix $A$ is completely positive. Our decomposition can be applied to a wide range of matrices. We give alternate proofs for a number of related results…
I examine spectral properties of a dissipative chaotic quantum map with the help of a recently discovered semiclassical trace formula. I show that in the presence of a small amount of dissipation the traces of any finite power of the…
Using quantum maps we study the accuracy of semiclassical trace formulas. The role of chaos in improving the semiclassical accuracy, in some systems, is demonstrated quantitatively. However, our study of the standard map cautions that this…
We first present a determinant inequality related to partial traces for positive semidefinite block matrices. Our result extends a result of Lin [Czech. Math. J. 66 (2016)] and improves a result of Kuai [Linear Multilinear Algebra 66…
We introduce proof terms for string rewrite systems and, using these, show that various notions of equivalence on reductions known from the literature can be viewed as different perspectives on the notion of causal equivalence. In…
New sources of charge-parity (CP) violation beyond those described in the Standard Model (SM) are required to explain the observed matter--antimatter asymmetry of the Universe. The Standard Model Effective Field Theory (SMEFT) provides a…
We study the complexity of computing the mixed Schatten $\|\Phi\|_{q\to p}$ norms of linear maps $\Phi$ between matrix spaces. When $\Phi$ is completely positive, we show that $\| \Phi \|_{q \to p}$ can be computed efficiently when $q \geq…
The uniform tracial completion of a C*-algebra A with compact non-empty trace space T(A) is obtained by completing the unit ball with respect to the uniform 2-seminorm $\|a\|_{2,T(A)}=\sup_{\tau \in T(A)} \tau(a^*a)^{1/2}$. The trace…
The description of the dynamics of an open quantum system in the presence of initial correlations with the environment needs different mathematical tools than the standard approach to reduced dynamics, which is based on the use of a…
Quantum mechanics features a variety of distinct properties such as coherence and entanglement, which could be explored to showcase potential advantages over classical counterparts in information processing. In general, legitimate quantum…
In this article we provide necessary and sufficient conditions for a completely positive trace-preserving (CPT) map to be decomposable into a convex combination of unitary maps. Additionally, we set out to define a proper distance measure…