Almost-idempotent quantum channels and approximate $C^*$-algebras
- URL: http://arxiv.org/abs/2405.02434v2
- Date: Tue, 11 Feb 2025 01:26:18 GMT
- Title: Almost-idempotent quantum channels and approximate $C^*$-algebras
- Authors: Alexei Kitaev,
- Abstract summary: We prove that any finite-dimensional $varepsilon$-$C*$ algebra $A$ is $O(varepsilon)$-isomorphic to some genuine $C*$ algebra $B$.
When $A$ comes from a finite-dimensional $eta$-idempotent UCP map $Phi$, the $O(eta)$-isomorphism and its inverse can be realized by UCP maps.
- Score: 0.03922370499388702
- License:
- Abstract: Let $\Phi$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $\Phi$ is $\eta$-idempotent, namely, $\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta$, and construct an associated $\varepsilon$-$C^*$ algebra (of almost-invariant observables) for $\varepsilon=O(\eta)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We prove that any finite-dimensional $\varepsilon$-$C^*$ algebra $A$ is $O(\varepsilon)$-isomorphic to some genuine $C^*$ algebra $B$. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When $A$ comes from a finite-dimensional $\eta$-idempotent UCP map $\Phi$, the $O(\eta)$-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel $\Phi^*$ into a decoding channel, producing a state on $B$, and an encoding channel.
Related papers
- LevAttention: Time, Space, and Streaming Efficient Algorithm for Heavy Attentions [54.54897832889028]
We show that for any $K$, there is a universal set" $U subset [n]$ of size independent of $n$, such that for any $Q$ and any row $i$, the large attention scores $A_i,j$ in row $i$ of $A$ all have $jin U$.
We empirically show the benefits of our scheme for vision transformers, showing how to train new models that use our universal set while training as well.
arXiv Detail & Related papers (2024-10-07T19:47:13Z) - Spectral theory of $p$-adic unitary operator [0.0]
The spectrum decomposition of $U$ is complete when $psi$ is a $p$-adic wave function.
The abelian extension theory of $mathbbQ_p$ is connected to the topological properties of the $p$-adic unitary operator.
arXiv Detail & Related papers (2023-10-18T19:04:06Z) - Subspace Controllability and Clebsch-Gordan Decomposition of Symmetric
Quantum Networks [0.0]
We describe a framework for the controllability analysis of networks of $n$ quantum systems of an arbitrary dimension $d$, it qudits
Because of the symmetry, the underlying Hilbert space, $cal H=(mathbbCd)otimes n$, splits into invariant subspaces for the Lie algebra of $S_n$-invariant elements in $u(dn)$, denoted here by $uS_n(dn)$.
arXiv Detail & Related papers (2023-07-24T16:06:01Z) - There Are No Post-Quantum Weakly Pseudo-Free Families in Any Nontrivial Variety of Expanded Groups [0.0]
We show that there are no post-quantum weakly pseudo-free families in $mathfrak V$, even in the worst-case setting and/or the black-box model.
Also, we define and study some types of weak pseudo-freeness for families of computational and black-box $Omega$-algebras.
arXiv Detail & Related papers (2023-02-21T17:55:42Z) - Algebraic Aspects of Boundaries in the Kitaev Quantum Double Model [77.34726150561087]
We provide a systematic treatment of boundaries based on subgroups $Ksubseteq G$ with the Kitaev quantum double $D(G)$ model in the bulk.
The boundary sites are representations of a $*$-subalgebra $Xisubseteq D(G)$ and we explicate its structure as a strong $*$-quasi-Hopf algebra.
As an application of our treatment, we study patches with boundaries based on $K=G$ horizontally and $K=e$ vertically and show how these could be used in a quantum computer
arXiv Detail & Related papers (2022-08-12T15:05:07Z) - Monogamy of entanglement between cones [68.8204255655161]
We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones.
Our proof makes use of a new characterization of products of simplices up to affine equivalence.
arXiv Detail & Related papers (2022-06-23T16:23:59Z) - Beyond the Berry Phase: Extrinsic Geometry of Quantum States [77.34726150561087]
We show how all properties of a quantum manifold of states are fully described by a gauge-invariant Bargmann.
We show how our results have immediate applications to the modern theory of polarization.
arXiv Detail & Related papers (2022-05-30T18:01:34Z) - 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) - Learning low-degree functions from a logarithmic number of random
queries [77.34726150561087]
We prove that for any integer $ninmathbbN$, $din1,ldots,n$ and any $varepsilon,deltain(0,1)$, a bounded function $f:-1,1nto[-1,1]$ of degree at most $d$ can be learned.
arXiv Detail & Related papers (2021-09-21T13:19:04Z) - Algebra for Fractional Statistics -- interpolating from fermions to
bosons [0.0]
This article constructs the Hilbert space for the algebra $alpha beta - ei theta beta alpha = 1 $ that provides a continuous between the Clifford and Heisenberg algebras.
arXiv Detail & Related papers (2020-05-02T18:04:47Z)
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.