A Sufficient Criterion for Divisibility of Quantum Channels

• URL: http://arxiv.org/abs/2407.17103v2
• Date: Fri, 2 Aug 2024 13:18:32 GMT
• Title: A Sufficient Criterion for Divisibility of Quantum Channels
• Authors: Frederik vom Ende,
• Abstract summary: We present a simple, dimension-independent criterion which guarantees that some quantum channel $Phi$ is divisible. The idea is to first define an "elementary" channel $Phi$ and then to analyze when $PhiPhi$-1$ is completely positive. The sufficient criterion obtained this way -- which even yields an explicit factorization of $Phi$ -- is that one has to find vectors such that $langle xperp|mathcal K_Phimathcal K_Phiperp|x
• Score: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We present a simple, dimension-independent criterion which guarantees that some quantum channel $\Phi$ is divisible, i.e. that there exists a non-trivial factorization $\Phi=\Phi_1\Phi_2$. The idea is to first define an "elementary" channel $\Phi_2$ and then to analyze when $\Phi\Phi_2^{-1}$ is completely positive. The sufficient criterion obtained this way -- which even yields an explicit factorization of $\Phi$ -- is that one has to find orthogonal unit vectors $x,x^\perp$ such that $\langle x^\perp|\mathcal K_\Phi\mathcal K_\Phi^\perp|x\rangle=\langle x|\mathcal K_\Phi\mathcal K_\Phi^\perp|x\rangle=\{0\}$ where $\mathcal K_\Phi$ is the Kraus subspace of $\Phi$ and $\mathcal K_\Phi^\perp$ is its orthogonal complement. Of course, using linearity this criterion can be reduced to finitely many equalities. Generically, this division even lowers the Kraus rank which is why repeated application -- if possible -- results in a factorization of $\Phi$ into in some sense "simple" channels. Finally, be aware that our techniques are not limited to the particular elementary channel we chose.

Related papers

• Quantum Channel Conditioning and Measurement Models [0.0]
  We show that $mathcalIc$ is closed under post-processing and taking parts. We also define the conditioning of instruments by channels.
  arXiv  Detail & Related papers  (2024-03-12T23:31:06Z)
• Dimension Independent Disentanglers from Unentanglement and Applications [55.86191108738564]
  We construct a dimension-independent k-partite disentangler (like) channel from bipartite unentangled input. We show that to capture NEXP, it suffices to have unentangled proofs of the form $| psi rangle = sqrta | sqrt1-a | psi_+ rangle where $| psi_+ rangle has non-negative amplitudes.
  arXiv  Detail & Related papers  (2024-02-23T12:22:03Z)
• Characterizing Kirkwood-Dirac nonclassicality and uncertainty diagram based on discrete Fourier transform [6.344765041827868]
  We show that for the uncertainty diagram of the DFT matrix which is a transition matrix from basis $mathcal A$ to basis $mathcal B$, there is no hole" We present that the KD nonclassicality of a state based on the DFT matrix can be completely characterized by using the support uncertainty relation.
  arXiv  Detail & Related papers  (2023-03-30T07:55:21Z)
• Time Evolution of Typical Pure States from a Macroscopic Hilbert Subspace [0.0]
  We consider a macroscopic quantum system with unitarily evolving pure state $psi_tin mathcalH$. We prove two facts about the evolution of the superposition weights $|P_nupsi_t|2$.
  arXiv  Detail & Related papers  (2022-10-18T17:37:42Z)
• Low-Rank Approximation with $1/\epsilon^{1/3}$ Matrix-Vector Products [58.05771390012827]
  We study iterative methods based on Krylov subspaces for low-rank approximation under any Schatten-$p$ norm. Our main result is an algorithm that uses only $tildeO(k/sqrtepsilon)$ matrix-vector products.
  arXiv  Detail & Related papers  (2022-02-10T16:10:41Z)
• Uncertainties in Quantum Measurements: A Quantum Tomography [52.77024349608834]
  The observables associated with a quantum system $S$ form a non-commutative algebra $mathcal A_S$. It is assumed that a density matrix $rho$ can be determined from the expectation values of observables. Abelian algebras do not have inner automorphisms, so the measurement apparatus can determine mean values of observables.
  arXiv  Detail & Related papers  (2021-12-14T16:29:53Z)
• On the Self-Penalization Phenomenon in Feature Selection [69.16452769334367]
  We describe an implicit sparsity-inducing mechanism based on over a family of kernels. As an application, we use this sparsity-inducing mechanism to build algorithms consistent for feature selection.
  arXiv  Detail & Related papers  (2021-10-12T09:36:41Z)
• Spectral properties of sample covariance matrices arising from random matrices with independent non identically distributed columns [50.053491972003656]
  It was previously shown that the functionals $texttr(AR(z))$, for $R(z) = (frac1nXXT- zI_p)-1$ and $Ain mathcal M_p$ deterministic, have a standard deviation of order $O(|A|_* / sqrt n)$. Here, we show that $|mathbb E[R(z)] - tilde R(z)|_F
  arXiv  Detail & Related papers  (2021-09-06T14:21:43Z)
• Optimal Spectral Recovery of a Planted Vector in a Subspace [80.02218763267992]
  We study efficient estimation and detection of a planted vector $v$ whose $ell_4$ norm differs from that of a Gaussian vector with the same $ell$ norm. We show that in the regime $n rho gg sqrtN$, any spectral method from a large class (and more generally, any low-degree of the input) fails to detect the planted vector.
  arXiv  Detail & Related papers  (2021-05-31T16:10:49Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.