Related papers: More on a trace inequality in quantum information …

In this paper we develop a general theoretical tool for the establishment of the boundedness of notoriously difficult operators (such as potentials) on certain specific types of rearrangement-invariant function spaces from analogous…

We discuss the solvability of Dirichlet problems of the type $- \Delta_{p, w} u = \sigma$ in $\Omega$; $u = 0$ on $\partial \Omega$, where $\Omega$ is a bounded domain in $\mathbb{R}^{n}$, $\Delta_{p, w}$ is a weighted $(p, w)$-Laplacian…

Let $K$ be a number field, which is tame and non totally real. In this article we give a numerical criterion, depending only on the ramification behavior of ramified primes in $K$, to decide whether or not the integral trace of $K$ is…

For $1<p<\infty$ we prove an $L^p$-version of the generalized trace-free Korn inequality for incompatible tensor fields $P$ in $ W^{1,\,p}_0(\operatorname{Curl}; \Omega,\mathbb{R}^{3\times3})$. More precisely, let…

For an open quantum system to evolve under CPTP maps, assumptions are made on the initial correlations between the system and the environment. Hermitian-preserving trace-preserving (HPTP) maps are considered as the local dynamic maps beyond…

We refine Epstein's method to prove joint concavity/convexity of matrix trace functions of the extended Lieb type $Tr{\Phi(A^p)^{1/2}\Psi(B^q)\Phi(A^p)^{1/2}}^s$, where $\Phi$ and $\Psi$ are positive linear maps. By the same method combined…

We improve and generalize some operator inequalities for positive linear maps. It is shown, among other inequalities, that if $0<m\le B\le m'<M'\le A\le M$ or $0<m\le A\le m'<M'\le B\le M$, then for each $2\le p<\infty $ and $\nu \in \left[…

Real-time reconstruction of conditional quantum states from continuous measurement records is a fundamental requirement for quantum feedback control, yet standard stochastic master equation (SME) solvers require exact model specification,…

Nonnegative tensor factorization has applications in statistics, computer vision, exploratory multiway data analysis and blind source separation. A symmetric nonnegative tensor, which has a symmetric nonnegative factorization, is called a…

Let M and N be full matrix algebras. A unital completely positive (UCP) map \phi:M\to N is said to preserve entanglement if its inflation \phi\otimes \id_N : M\otimes N\to N\otimes N has the following property: for every maximally entangled…

A symmetric tensor is completely positive (CP) if it is a sum of tensor powers of nonnegative vectors. This paper characterizes completely positive binary tensors. We show that a binary tensor is completely positive if and only if it…

In a recent Letter, Bennett and coworkers [1] argue that proofs of exotic quantum effects using closed timelike curves (CTC's) based on the work of Deutsch [2], or other nonlinear quantum dynamics, suffer from a fallacy that they call the…

Let $K$ be a number field. The \textit{integral trace form} is the integral quadratic form given by $\text{tr}_{K/\mathbb{Q}}(x^2)|_{O_{K}}.$ In this article we study the existence of non-conjugated number fields with equivalent integral…

A symmetric matrix $C$ is completely positive (CP) if there exists an entrywise nonnegative matrix $B$ such that $C=BB^T$. The CP-completion problem is to study whether we can assign values to the missing entries of a partial matrix (i.e.,…

In this paper we investigate whether positive elements in the multiplier algebras of certain finite C*-algebras can be written as finite linear combinations of projections with positive coefficients (PCP). Our focus is on the category of…

There are various notions of positivity for matrices and linear matrix-valued maps that play important roles in quantum information theory. The cones of positive semidefinite matrices and completely positive linear maps, which represent…

We prove several trace inequalities that extend the Araki Lieb Thirring (ALT) inequality, Golden Thompson (GT) inequality and logarithmic trace inequality to arbitrary many tensors. Our approaches rely on complex interpolation theory as…

We show that if a list of nonzero complex numbers $\sigma=(\lambda_1,\lambda_2,\ldots,\lambda_k)$ is the nonzero spectrum of a diagonalizable nonnegative matrix, then $\sigma$ is the nonzero spectrum of a diagonalizable nonnegative matrix…

We derive fundamental constraints for the Schur complement of positive matrices, which provide an operator strengthening to recently established information inequalities for quantum covariance matrices, including strong subadditivity. This…

This comment is to correct the proof of optimality of quantum spatial search for Erd\H{o}s-R\'enyi graphs presented in `Spatial Search by Quantum Walk is Optimal for Almost all Graphs' (https://doi.org/10.1103/PhysRevLett.116.100501). The…