Almost-idempotent quantum channels and approximate $C^*$-algebras
- URL: http://arxiv.org/abs/2405.02434v1
- Date: Fri, 3 May 2024 18:59:50 GMT
- Title: Almost-idempotent quantum channels and approximate $C^*$-algebras
- Authors: Alexei Kitaev,
- Abstract summary: We prove that any finite-dimensional $varepsilon$-$C*$ algebra is $O(varepsilon)$-isomorphic to a genuine $C*$ algebra.
- Score: 0.03922370499388702
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Let $\Phi$ be a unital completely positive map on the space of operators on some Hilbert space. We assume that $\Phi$ is almost idempotent, namely, $\|\Phi^2-\Phi\|_{\mathrm{cb}} \le\eta$, and construct a corresponding "$\varepsilon$-$C^*$ algebra" 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 further prove that any finite-dimensional $\varepsilon$-$C^*$ algebra is $O(\varepsilon)$-isomorphic to a genuine $C^*$ algebra. These bounds are universal, i.e.\ do not depend on the dimensionality or other parameters.
Related papers
- Quantum charges of harmonic oscillators [55.2480439325792]
We show that the energy eigenfunctions $psi_n$ with $nge 1$ are complex coordinates on orbifolds $mathbbR2/mathbbZ_n$.
We also discuss "antioscillators" with opposite quantum charges and the same positive energy.
arXiv Detail & Related papers (2024-04-02T09:16:18Z) - Dimension-free Remez Inequalities and norm designs [48.5897526636987]
A class of domains $X$ and test sets $Y$ -- termed emphnorm -- enjoy dimension-free Remez-type estimates.
We show that the supremum of $f$ does not increase by more than $mathcalO(log K)2d$ when $f$ is extended to the polytorus.
arXiv Detail & Related papers (2023-10-11T22:46:09Z) - Noncompact uniform universal approximation [0.0]
The universal approximation theorem is generalised to uniform convergence on the (noncompact) input space $mathbbRn$.
All continuous functions that vanish at infinity can be uniformly approximated by neural networks.
arXiv Detail & Related papers (2023-08-07T08:54:21Z) - 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) - 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.