We investigate the Weyl channels being covariant with respect to the maximum commutative group of unitary operators. This class includes the quantum depolarizing channel and the "two-Pauli" channel as well. Then, we show that our estimation of the output entropy for a tensor product of the phase damping channel and the identity channel based upon the decreasing property of the relative entropy allows to prove the additivity conjecture for the minimal output entropy for the quantum depolarizing channel in any prime dimesnsion and for the "two Pauli" channel in the qubit case.
Quantum error correction and symmetries play central roles in quantum information science and physics. It is known that quantum error-correcting codes covariant with respect to continuous symmetries cannot correct erasure errors perfectly (an important case being the Eastin-Knill theorem), in contrast to the case without symmetry constraints. Furthermore, there are fundamental limits on the accuracy of such covariant codes for approximate quantum error correction. Here, we consider the quantum error correction capability of random covariant codes. In particular, we show that $U(1)$-covariant c…
Quantum error correction and symmetries play central roles in quantum information science and physics. It is known that quantum error-correcting codes that obey (are covariant with respect to) continuous symmetries in a certain sense cannot correct erasure errors perfectly (a well-known result in this regard being the Eastin-Knill theorem in the context of fault-tolerant quantum computing), in contrast to the case without symmetry constraints. Furthermore, several quantitative fundamental limits on the accuracy of such covariant codes for approximate quantum error correction are known. Here, w…
We study non-commutative operator graphs generated by resolutions of identity covariant with respect to unitary representations of a compact group. Our main goal is searching for orthogonal projections which are anticliques (error-correcting codes) for such graphs. A special attention is paid to the covariance with respect to unitary representations of the circle group. We determine a tensor product structure in the space of representation under which the obtained anticliques are generated by entangled vectors.
Quantum computing can efficiently simulate Hamiltonian dynamics of many-body quantum physics, a task that is generally intractable with classical computers. The hardness lies at the ubiquitous anti-commutative relations of quantum operators, in corresponding with the notorious negative sign problem in classical simulation. Intuitively, Hamiltonians with more commutative terms are also easier to simulate on a quantum computer, and anti-commutative relations generally cause more errors, such as in the product formula method. Here, we theoretically explore the role of anti-commutative relation in…
We consider a reducible unitary representation of Heisenberg-Weyl group in a tensor product of two Hilbert spaces. A non-commutative operator graph generated by this representation is introduced. It is shown that spectral projections of unitaries in the representation are anticliques (quantum error-correcting codes) for this graph. The obtained codes are appeared to be linear envelopes of entangled vectors.
We investigate the relationship between two properties of quantum transformations often studied in popular subtheories of quantum theory: covariance of the Wigner representation of the theory and the existence of a transformation noncontextual ontological model of the theory. We consider subtheories of quantum theory specified by a set of states, measurements and transformations, defined specifying a group of unitaries, that map between states (and measurements) within the subtheory. We show that if there exists a Wigner representation of the subtheory which is covariant under the group of uni…
We study and compare the sensitivity of multiple non-Markovianity indicators for a qubit subjected to general phase-covariant noise. For each of the indicators, we derive analytical conditions to detect the dynamics as non-Markovian. We present these conditions as relations between the time-dependent decay rates for the general open system dynamics and its commutative and unital subclasses. These relations tell directly if the dynamics is non-Markovian w.r.t.~each indicator, without the need to explicitly derive and specify the analytic form of the time-dependent coefficients. Moreover, with a…
We continue the study of non-commutative operator graphs generated by resolutions of identity covariant with respect to unitary actions of the circle group and the Heisenber-Weyl group as well. It is shown that the graphs generated by the circle group has the system of unitary generators fulfilling permutations of basis vectors. For the graph generated by the Heisenberg-Weyl group the explicit formula for a dimension is given. Thus, we found a new description of the linear structure for the operator graphs introduced in our previous works.
A universal programmable quantum processor uses program quantum states to apply an arbitrary quantum channel to an input state. We generalize the concept of a finite-dimensional programmable quantum processor to infinite dimension assuming an energy constraint on the input and output of the target quantum channels. By proving reductions to and from finite-dimensional processors, we obtain upper and lower bounds on the program dimension required to approximately implement energy-limited quantum channels. In particular, we consider the implementation of Gaussian channels. Due to their practical …
Based on the observation that Cacic [10]'s characterization of almost commutative spectral triples as Clifford module bundles can be pushed to endomorphim algebras of Dirac bundles, with the geometric Dirac operator related to the Dirac operator of the spectral triple by a perturbation, the question of complete positivity of the heat semigroups generated by connection laplacian and Dirac and Kostant's cubic Dirac laplacians is approached using spin geometry and C *-Dirichlet forms. The geometric heat semigroups for on endomorphosm algebras of spinor bundles are shown to be quantum dynamical se…
The teleportation model of quantum computation introduced by Gottesman and Chuang (1999) motivated the development of the Clifford hierarchy. Despite its intrinsic value for quantum computing, the widespread use of magic state distillation, which is closely related to this model, emphasizes the importance of comprehending the hierarchy. There is currently a limited understanding of the structure of this hierarchy, apart from the case of diagonal unitaries (Cui et al., 2017; Rengaswamy et al. 2019). We explore the structure of the second and third levels of the hierarchy, the first level being …
We argue that the notion of identical particles is no longer well defined in quantum systems governed by non-commutative deformations of space-time symmetries. Such models are characterized by four-momentum space given by a non-abelian Lie group. Our analysis is based on the observation that, for states containing more than one particle, only the total momentum of the system is a well defined quantum number. Such total momentum is obtained from the non-abelian composition of the particles individual momenta which are no longer uniquely defined. The main upshot of our analysis is that all previ…
We show the existence of a majorization ladder in bosonic Gaussian channels, that is, we prove that the channel output resulting from the $n\text{th}$ energy eigenstate (Fock state) majorizes the channel output resulting from the $(n\!+\!1)\text{th}$ energy eigenstate (Fock state). This reflects a remarkable link between the energy at the input of the channel and a disorder relation at its output as captured by majorization theory. This result was previously known in the special cases of a pure-loss channel and quantum-limited amplifier, and we achieve here its nontrivial generalization to any…
Mixing (or quasirandom) properties of the natural transition matrix associated to a graph can be quantified by its distance to the complete graph. Different mixing properties correspond to different norms to measure this distance. For dense graphs, two such properties known as spectral expansion and uniformity were shown to be equivalent in seminal 1989 work of Chung, Graham and Wilson. Recently, Conlon and Zhao extended this equivalence to the case of sparse vertex transitive graphs using the famous Grothendieck inequality. Here we generalize these results to the non-commutative, or `quantum'…
We recall a classical theory of torsion gravity with an asymmetric metric, sourced by a Nambu-Goto + Kalb-Ramond string . We explain why this is a significant gravitational theory, and in what sense classical general relativity is an approximation to it. We propose that a non-commutative generalisation of this theory (in the sense of Connes' non-commutative geometry and Adler's Trace Dynamics) is a `quantum theory of gravity'. The theory is in fact a classical matrix dynamics with only two fundamental constants -- the square of the Planck length and the speed of light, along with the two strin…
