Fixed Points of Completely Positive Trace-Preserving Maps in Infinite Dimension
- URL: http://arxiv.org/abs/2411.14800v1
- Date: Fri, 22 Nov 2024 08:50:53 GMT
- Title: Fixed Points of Completely Positive Trace-Preserving Maps in Infinite Dimension
- Authors: Roderich Tumulka, Jonte Weixler,
- Abstract summary: We prove here the existence of a fixed point under a certain additional assumption.
Our motivation for this question comes from a proposal of Deutsch for how to define quantum theory in a space-time with closed timelike curves.
- Score: 0.0
- License:
- Abstract: Completely positive trace-preserving maps $S$, also known as quantum channels, arise in quantum physics as a description of how the density operator $\rho$ of a system changes in a given time interval, allowing not only for unitary evolution but arbitrary operations including measurements or other interaction with an environment. It is known that if the Hilbert space $\mathscr{H}$ that $\rho$ acts on is finite-dimensional, then every $S$ must have a fixed point, i.e., a density operator $\rho_0$ with $S(\rho_0)=\rho_0$. In infinite dimension, $S$ need not have a fixed point in general. However, we prove here the existence of a fixed point under a certain additional assumption which is, roughly speaking, that $S$ leaves invariant a certain set of density operators with bounded ``cost'' of preparation. The proof is an application of the Schauder-Tychonoff fixed point theorem. Our motivation for this question comes from a proposal of Deutsch for how to define quantum theory in a space-time with closed timelike curves; our result supports the viability of Deutsch's proposal.
Related papers
- Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - Superdeterminism Without Conspiracy [0.0]
A non-conspiratorial locally causal model is developed where each pair of entangled particles has unique $lambda$.
The model is based on a specific but arbitrarily fine discretisation of complex Hilbert space.
It is shown how quantum mechanics might be gloriously explained and derived' as the singular continuum limit of the discretisation of Hilbert space.
arXiv Detail & Related papers (2023-08-22T08:09:22Z) - Small-time controllability for the nonlinear Schr\"odinger equation on
$\mathbb{R}^N$ via bilinear electromagnetic fields [55.2480439325792]
We address the small-time controllability problem for a nonlinear Schr"odinger equation (NLS) on $mathbbRN$ in the presence of magnetic and electric external fields.
In detail, we study when it is possible to control the dynamics of (NLS) as fast as desired via sufficiently large control signals.
arXiv Detail & Related papers (2023-07-28T21:30:44Z) - Valuation of a Financial Claim Contingent on the Outcome of a Quantum
Measurement [0.0]
A quantum system is given in the Heisenberg representation by a known density matrix $hat p$.
How much will the agent be willing to pay at time $0$ to enter into such a contract?
We show that there exists a pricing state $hat q$ which is equivalent to the physical state $hat p$ on null spaces.
arXiv Detail & Related papers (2023-05-17T14:27:08Z) - 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) - The Franke-Gorini-Kossakowski-Lindblad-Sudarshan (FGKLS) Equation for
Two-Dimensional Systems [62.997667081978825]
Open quantum systems can obey the Franke-Gorini-Kossakowski-Lindblad-Sudarshan (FGKLS) equation.
We exhaustively study the case of a Hilbert space dimension of $2$.
arXiv Detail & Related papers (2022-04-16T07:03:54Z) - 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) - Quantum double aspects of surface code models [77.34726150561087]
We revisit the Kitaev model for fault tolerant quantum computing on a square lattice with underlying quantum double $D(G)$ symmetry.
We show how our constructions generalise to $D(H)$ models based on a finite-dimensional Hopf algebra $H$.
arXiv Detail & Related papers (2021-06-25T17:03:38Z) - A degeneracy bound for homogeneous topological order [0.30458514384586394]
We introduce a notion of homogeneous topological order, which is obeyed by most, if not all, known examples of topological order.
We derive a bound on the ground state degeneracy $mathcal D$ for systems with homogeneous topological order.
arXiv Detail & Related papers (2020-09-28T18:03:17Z) - Bistochastic operators and quantum random variables [0.0]
We considerintegrable functions $Xrightarrow mathcal B(mathcal H)$ that are positive quantum random variables.
We define a seminorm on the span of such functions which in the quotient leads to a Banach space.
As in classical majorization theory, we relate majorization in this context to an inequality involving all possible convex functions of a certain type.
arXiv Detail & Related papers (2020-04-30T12:45:54Z) - Thermal Equilibrium Distribution in Infinite-Dimensional Hilbert Spaces [0.0]
The thermal equilibrium distribution over quantum-mechanical wave functions is a so-called Gaussian adjusted projected (GAP) measure, $GAP(rho_beta)$, for a thermal density operator.
In this note, we collect the mathematical details concerning the rigorous definition of $GAP(rho)$ in infinite-dimensional separable Hilbert spaces.
arXiv Detail & Related papers (2020-04-29T14:24:34Z)
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.