Related papers: Beyond Purity and Mixtures in Categorical Quantum …
Given an equivalence relation ~ on a set U, there are two abstract notions of an element of the quotient set U/~. The #1 abstract notion is a set S=[u] of equivalent elements of U (an equivalence class); the #2 notion is an abstract entity…
We provide a decision-theoretic framework for dealing with uncertainty in quantum mechanics. This uncertainty is two-fold: on the one hand there may be uncertainty about the state the quantum system is in, and on the other hand, as is…
What Niels Bohr called the `epistemological lesson' of `complementarity' was the result of reasoning analogically from the classical conception of a mechanical state to a new quantum mechanical conception of an `object' in a mechanical…
Quantum state tomography is a technique in quantum information science used to reconstruct the density matrix of an unknown quantum state, providing complete information about the quantum state. It is of significant importance in fields…
The basic notion of how topoi can be utilized in physics is presented here. Topos and category theory serve as valuable tools which extend our ordinary set-theoretical conceptions, can further the study of quantum logic and give rise to new…
According to quantum theory, pure physical states correspond to equivalence classes of state vectors, where any two members of one class differ by a complex factor. The point is that such a factor does not change the probability for the…
In the resource theory of coherence, the quantification of quantum-state coherence is an important task. In this regard, the key ingredients are the various coherence monotones (or measures). There are few coherence-monotone classes that…
Quantum theory combines density matrices, Born probabilities, tensor-product composites, positive-operator-valued measures (POVMs), and quantum channels. In a finite-dimensional causal operational theory, we prove that two postulates…
In orthodox Standard Quantum Mechanics (SQM) bases and factorizations are considered to define quantum states and entanglement in relativistic terms. While the choice of a basis (interpreted as a measurement context) defines a state…
A formulation of quantum mechanics based on an operational definition of state is presented. This formulation, which includes explicitly the macroscopic systems, assumes the probabilistic interpretation and is nevertheless objective. The…
We discuss how to reconstruct quantum theory from operational postulates. In particular, the following postulates are consistent only with for classical probability theory and quantum theory. Logical Sharpness: There is a one-to-one map…
The two main notions of control in quantum programming languages are often referred to as "quantum" control and "classical" control. With the latter, the control flow is based on classical information, potentially resulting from a quantum…
In the formulation of Banks, Peskin and Susskind, we show that one can construct evolution equations for the quantum mechanical density matrix $\rho$ with operators which do not commute with hamiltonian which evolve pure states into mixed…
Summary. A simple derivation of finite Schmidt decomposition of pure states describing finite dimensional systems interacting with the infinite dimensional ones is presented. In particular, maximally entangled pure states in such systems…
The capabilities of a new approach towards the foundations of Statistical Mechanics are explored. The approach is genuine quantum in the sense that statistical behavior is a consequence of objective quantum uncertainties due to entanglement…
In this article, we present an introduction to quantum computing (QC) tailored for computing professionals such as programmers, machine learning engineers, and data scientists. Our approach abstracts away the physics underlying QC, which…
The resource theory of quantum coherence studies the off-diagonal elements of a density matrix in a distinguished basis, whereas the resource theory of purity studies all deviations from the maximally mixed state. We establish a direct…
Topos theory has been suggested first by Isham and Butterfield, and then by Isham and D\"oring, as an alternative mathematical structure within which to formulate physical theories. In particular it has been used to reformulate standard…
We discuss a model for quantum computing with initially mixed states. Although such a computer is known to be less powerful than a quantum computer operating with pure (entangled) states, it may efficiently solve some problems for which no…
This review paper surveys work by Isham, Butterfield, D\"oring, Landsman, Spitters, Heunen, and others on topos-theoretic analyses of quantum theory. It aims to provide a synthesized account of their various approaches.