We demonstrate that quantum instruments can provide a unified operational foundation for quantum theory. Since these instruments directly correspond to laboratory devices, this foundation provides an alternate, more experimentally grounded, perspective from which to understand the elements of the traditional approach. We first show that in principle all measurable probabilities and correlations can be expressed entirely in terms of quantum instruments without the need for conventional quantum states or observables. We then show how these states and observables reappear as derived quantities by conditioning joint detection probabilities on the first or last measurement in a sequence as a preparation or a postselection. Both predictive and retrodictive versions of states and observables appear in this manner, as well as more exotic bidirectional and interdictive states and observables that cannot be easily expressed using the traditional approach. We also revisit the conceptual meaning of the Heisenberg and Schr\"odinger pictures of time evolution as applied to the various derived quantities, illustrate how detector loss can be included naturally, and discuss how the instrumental approach fully generalizes the time-symmetric two-vector approach of Aharonov et al. to any realistic laboratory situation.
We demonstrate that quantum instruments can provide a unified operational foundation for quantum theory. Since these instruments directly correspond to laboratory devices, this foundation provides an alternate, more experimentally grounded, perspective from which to understand the elements of the traditional approach. We first show that in principle all measurable probabilities and correlations can be expressed entirely in terms of quantum instruments without the need for conventional quantum states or observables. We then show how these states and observables reappear as derived quantities by conditioning joint detection probabilities on the first or last measurement in a sequence as a preparation or a postselection. Both predictive and retrodictive versions of states and observables appear in this manner, as well as more exotic bidirectional and interdictive states and observables that cannot be easily expressed using the traditional approach. We also revisit the conceptual meaning of the Heisenberg and Schr"odinger pictures of time evolution as applied to the various derived quantities, illustrate how detector loss can be included naturally, and discuss how the instrumental approach fully generalizes the time-symmetric two-vector approach of Aharonov et al. to any realistic laboratory situation.
Observables and instruments have played significant roles in recent studies on the foundations of quantum mechanics. Sequential products of effects and conditioned observables have also been introduced. After an introduction in Section~1, we review these concepts in Section~2. Moreover, it is shown how these ideas can be unified within the framework of measurement models. In Section~3, we illustrate these concepts and their relationships for the simple example of a qubit Hilbert space. Conditioned observables and their distributions are studied in Section~4. Section~5 considers joint probabilities of observables. We introduce a definition for joint probabilities and discuss why we consider this to be superior to the standard definition.
This work develops a conceptual framework for the foundations of quantum physics, linking two main approaches: the algebraic formulation and quantum probability. Rather than proposing new axioms or theories, the text reorganizes and synthesizes existing models, highlighting their assumptions, conceptual structures, and operational significance. The analysis begins with von Neumann's measurement theory and its subsequent developments by Mackey, emphasizing the role of experimentally feasible procedures and the need for a statistical model grounded in laboratory practice. The work adopts an operational perspective, according to which physical quantities are defined solely through experimental measurement methods, and the corresponding probabilistic measures are derived from measurement outcomes. The introduction critically examines the limitations of purely mathematical formulations - such as the algebraic method - when separated from experimental interpretation. The text argues for a clear distinction between axioms, postulates, and presuppositions, and for a reconstruction of quantum theory that respects both empirical constraints and conceptual clarity.
Overall, the goal is to provide a coherent path from operational principles to algebraic structures, offering a basis for an axiomatic reformulation of quantum mechanics that remains faithful to physical practice.
In this sequence of papers, noncommutative analysis is used to give a consistent axiomatic approach to a unified conceptual foundation of classical and quantum physics. The present Part I defines the concepts of observables, states and ensembles, clarifies the logical relations and operations for them, and shows how they give rise to dynamics and probabilities. States are identified with maximal consistent sets of weak equalities in the algebra of observables (instead of, as usual, with the rays in a Hilbert space). This leads to a concise foundation of quantum mechanics, free of undefined terms, separating in a clear way the deterministic and the stochastic features of quantum physics. The traditional postulates of quantum mechanics are derived from well-motivated axiomatic assumptions. No special quantum logic is needed to handle the peculiarities of quantum mechanics. Foundational problems associated with the measurement process, such as the reduction of the state vector, disappear. The new interpretation of quantum mechanics contains `elements of physical reality' without the need to introduce a classical framework with hidden variables. In particular, one may talk about the state of the universe without the need of an external observer and without the need to assume the existence of multiple universes.
We examine the assertion that the "reduction of the wave packet," implicit in the quantum theory of measurement introduces into the foundations of quantum physics a time-asymmetric element, which in turn leads to irreversibility. We argue that this time assymmetry is actually related to the manner in which statistical ensembles are constructed. If we construct an ensemble time symmetrically by using both initial and final states of the system to delimit the sample, then the resulting probability distribution turns out to be time symmetric as well. The conventional expressions for prediction as well as those for "retrodiction" may be recovered from the time-symmetric expressions formally by separating the final (or the initial) selection procedure from the measurements under consideration by sequences of "coherence destroying" manipulations. We can proceed from this situation, which resembles prediction, to true prediction (which does not involve any postselection) by adding to the time-symmetric theory a postulate which asserts that ensembles with unambiguous probability distributions may be constructed on the basis of preselection only. If, as we believe, the validity of this postulate and the falsity of its time reverse result from the macroscopic irreversibility of our universe as a whole, then the basic laws of quantum physics, including those referring to measurements, are as completely time symmetric as the laws of classical physics. As a by-product of our analysis, we also find that during the time interval between two noncommuting observations, we may assign to a system the quantum state corresponding to the observation that follows with as much justification as we assign, ordinarily, the state corresponding to the preceding measurement.
Here we present the time-bidirectional state formalism (TBSF) unifying in a general manner the standard quantum mechanical formalism with no postselection and the time-symmetrized two-state (density) vector formalism, which deals with postselected states. In the proposed approach, a quantum particle's state, called a time-bidirectional state, is equivalent to a joined state of two particles propagating in opposite time directions. For a general time-bidirectional state, we derive outcome probabilities of generalized measurements, as well as mean and weak values of Hermitian observables. We also show how the obtained expressions reduce to known ones in the special cases of no postselection and generalized two-state (density) vectors. Then we develop tomography protocols based on mutually unbiased bases and a symmetric informationally complete positive operator-valued measure, allowing experimental reconstruction of an unknown single-qubit time-bidirectional state. Finally, we employ the developed techniques for tracking of a qubit's time-reversal journey in a quantum teleportation protocol realized with a cloud-accessible noisy superconducting quantum processor. The obtained results justify an existence of a postselection-induced qubit's proper time arrow, which is different from the time arrow of a classical observer, and demonstrate capabilities of the TBSF for exploring quantum phenomena brought forth by a postselection in the presence of noise.
Until recently, a quantum instrument was defined to be a completely positive operation-valued measure from the set of states on a Hilbert space to itself. In the last few years, this definition has been generalized to such measures between sets of states from different Hilbert spaces called the input and output Hilbert spaces. This article presents a theory of such instruments. Ways that instruments can be combined such as convex combinations, post-processing, sequential products, tensor products and conditioning are studied. We also consider marginal, reduced instruments and how these are used to define coexistence (compatibility) of instruments. Finally, we present a brief introduction to quantum measurement models where the generalization of instruments is essential. Many of the concepts of the theory are illustrated by examples. In particular, we discuss Holevo and Kraus instruments. Quanta 2023; 12: 27–40.