Related papers: New multiplicativity results for qubit maps
This study investigates Hermitian linear maps, focusing on their decomposition into completely positive (CP) maps and their extensions to CP maps using auxiliary spaces. We derive a precise lower bound on the Hilbert-Schmidt norm of the…
We shall prove the following Stinespring-type theorem: there exists a triple $(\pi,\mathcal{H},\mathbf{V})$ associated with an unital completely positive map $\Phi:\mathfrak{A}\rightarrow \mathfrak{A}$ on C* algebra $\mathfrak{A}$ with…
Let $\mathcal{A}_1$ and $\mathcal{A}_2$ be standard operator algebras on complex Banach spaces $X_1$ and $X_2$, respectively. For $k\geq2$, let $(i_1,...,i_m)$ be a sequence with terms chosen from $\{1,\ldots,k\}$, and assume that at least…
Defining the observable ${\bf \phi}$ canonically conjugate to the number observable ${\bf N}$ has long been an open problem in quantum theory. Here we show how to define the absolute phase observable ${\bf \Phi}\equiv |{\bf\phi}|$ by…
A matrix $\Phi \in \mathbb{R}^{Q \times N}$ satisfies the restricted isometry property if $\|\Phi x\|_2^2$ is approximately equal to $\|x\|_2^2$ for all $k$-sparse vectors $x$. We give a construction of RIP matrices with the optimal $Q =…
In this paper, we begin by presenting a construction for induced representations of Hilbert modules over pro-$C^*$-algebras for a given continuous $^*$-morphism between pro-$C^*$-algebras. Subsequently, we describe the structure of…
We investigate the set a) of positive, trace preserving maps acting on density matrices of size N, and a sequence of its nested subsets: the sets of maps which are b) decomposable, c) completely positive, d) extended by identity impose…
A real seminormed involutive algebra is a real associative algebra ${\mathcal A}$ endowed with an involutive antiautomorphism $*$ and a submultiplicative seminorm $p$ with $p(a^*) =p(a)$ for $a\in {\mathcal A}$. Then ${\mathop{\tt…
Let ${\mathcal M}$ be a von Neumann algebra without central summands of type $I_1$. Assume that $\Phi:{\mathcal M}\rightarrow {\mathcal M}$ is a surjective map. It is shown that $\Phi$ is strong skew commutativity preserving (that is,…
A real symmetric matrix $M$ is completely positive semidefinite if it admits a Gram representation by (Hermitian) positive semidefinite matrices of any size $d$. The smallest such $d$ is called the (complex) completely positive semidefinite…
Given a map with underlying graph $\mathcal{G}$, if the set of prime divisors of $|V(\mathcal{G}|$ is denoted by $\pi$, then we call the map a {\it $\pi$-map}. An orientably-regular (resp. A regular ) $\pi$-map is called {\it solvable} if…
We study a family of piecewise expanding maps on the plane, generated by composition of a rotation and an expansive similitude of expansion constant $\beta$. We give two constants $B_1$ and $B_2$ depending only on the fundamental domain…
Let p be any prime, and $p^(\nu_p(n!))$ the maximal power of $p$ dividing $n!$. It is proved that there exists a positive integer $n_0$, which depends only on $p$, such that $q^(\nu_q(n!)) < p^(\nu_p(n!))$ for all $n \ge n_0$ and all primes…
By forcing with $\mathbb{P}_{\rm max}$ over strong models of determinacy, we obtain models where different square principles at $\omega_2$ and $\omega_3$ fail. In particular, we obtain a model of $2^{\aleph_0}=2^{\aleph_1}=\aleph_2 +…
The main object under consideration is a class $\Phi_n\backslash\Phi_{n+1}$ of radial positive definite functions on $\R^n$ which do not admit \emph{radial positive definite continuation} on $\R^{n+1}$. We find certain necessary and…
Let $G$ be a planar graph without 4-cycles and 5-cycles and with maximum degree $\Delta\ge 32$. We prove that $\chi_{\ell}(G^2)\le \Delta+3$. For arbitrarily large maximum degree $\Delta$, there exist planar graphs $G_{\Delta}$ of girth 6…
Quantum channels can be mathematically represented as completely positive trace-preserving maps that act on a density matrix. A general quantum channel can be written as a convex sum of `extremal' channels. We show that for an $N$-level…
Most general dynamics of an open quantum system is commonly represented by a quantum channel, which is a completely positive trace-preserving map (CPTP or Kraus map). Well-known are the representations of quantum channels by Choi matrices…
We prove the linearity and injectivity of two maps $\phi_1$ and $\phi_2$ on certain subsets of $M_n$ that satisfy $\operatorname{tr}(\phi_1(A)\phi_2(B))=\operatorname{tr}(AB)$. We apply it to characterize maps $\phi_i:\mathcal{S}\to…
The independence number of a square matrix $A$, denoted by $\alpha(A)$, is the maximum order of its principal zero submatrices. Let $S_n^{+}$ be the set of $n\times n$ nonnegative symmetric matrices with zero trace. Denote by $J_n$ the…