Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:1403.3527 · Physical Review A

Derivation of quantum theory from Feynman's rules

Philip Goyal

Published Mar 20, 2014• 14 citations
arXivHTMLPDF

Abstract

Feynman's formulation of quantum theory is remarkable in its combination of formal simplicity and computational power. However, as a formulation of the abstract structure of quantum theory, it is incomplete as it does not account for most of the fundamental mathematical structure of the standard von Neumann--Dirac formalism such as the unitary evolution of quantum states. In this paper, we show how to reconstruct the entirety of the finite-dimensional quantum formalism starting from Feynman's rules with the aid of a single physical postulate, the no-disturbance postulate. This postulate states that a particular class of measurements have no effect on the outcome probabilities of subsequent measurements performed. We also show how it is possible to derive both the amplitude rule for composite systems of distinguishable subsystems and Dirac's amplitude-action rule, each from a single elementary and natural assumption, by making use of the fact that these assumptions must be consistent with Feynman's rules.

DOI
10.1103/physreva.89.032120

Related papers

A derivation of quantum theory from physical requirements

Lluís Masanes, Mueller, MP

Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements-the principles of relativity and light speed invariance-are used to derive the mathematical structure of Minkowski space-time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.

•Jan 1, 2011•323 citations

A derivation of quantum theory from physical requirements

Lluís Masanes, Markus P Müller

Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements—the principles of relativity and light speed invariance—are used to derive the mathematical structure of Minkowski space–time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.

arXiv:1004.1483•New Journal of Physics•Jun 1, 2011•312 citations

An Information-Theoretic Approach to Quantum Theory, I: The Abstract Quantum Formalism

Philip Goyal

In this paper and a companion paper, we attempt to systematically investigate the possibility that the concept of information may enable a derivation of the quantum formalism from a set of physically comprehensible postulates. To do so, we formulate an abstract experimental set-up and a set of assumptions based on generalizations of experimental facts that can be reasonably taken to be representative of quantum phenomena, and on theoretical ideas and principles, and show that it is possible to deduce the quantum formalism. In particular, we show that it is possible to derive the abstract quantum formalism for finite-dimensional quantum systems and the formal relations, such as the canonical commutation relationships and Dirac's Poisson Bracket rule, that are needed to apply the abstract formalism to particular systems of interest. The concept of information, via an information-theoretic invariance principle, plays a key role in the derivation, and gives rise to some of the central structural features of the quantum formalism.

arXiv:quant-ph/0702124•Feb 13, 2007•4 citations

The Measurement Postulates of Quantum Mechanics are Redundant

Lluís Masanes

Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as unitary quantum and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.

•May 8, 2018•2 citations

An Information-Theoretic Approach to Quantum Theory, II: The Formal Rules of Quantum Theory

Philip Goyal

In a companion paper (hereafter referred to as Paper I), we have presented an attempt to derive the finite-dimensional abstract quantum formalism from a set of physically comprehensible assumptions. In this paper, we formulate a correspondence principle, the Average-Value Correspondence Principle, that allows relations between measurement outcomes which are known to hold in a classical model of a system to be systematically taken over into the quantum model of the system. Using this principle, we derive the explicit form of the temporal evolution operator (thereby completing the derivation of the abstract quantum formalism begun in Paper I), and derive many of the formal rules (such as operator rules, commutation relations, and Dirac's Poisson bracket rule) that are needed to apply the abstract quantum formalism to model particular physical systems.

arXiv:quant-ph/0702149•Feb 15, 2007•1 citation

The measurement postulates of quantum mechanics are operationally redundant

Lluís Masanes, Thomas D. Galley, Markus P. Müller

Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterized by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.

arXiv:1811.11060•Nature Communications•Mar 25, 2019•54 citations
Feynman's formulation of quantum theory is remarkable in its combination of formal simplicity and computational power. However, as a formulation of the abstract structure of quantum theory, it is incomplete as it does not account for most of the fundamental mathematical structure of the standard von Neumann--Dirac formalism such as the unitary evolution of quantum states. In this paper, we show how to reconstruct the entirety of the finite-dimensional quantum formalism starting from Feynman's rules with the aid of a single physical postulate, the no-disturbance postulate. This postulate states that a particular class of measurements have no effect on the outcome probabilities of subsequent measurements performed. We also show how it is possible to derive both the amplitude rule for composite systems of distinguishable subsystems and Dirac's amplitude-action rule, each from a single elementary and natural assumption, by making use of the fact that these assumptions must be consistent with Feynman's rules.
Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements-the principles of relativity and light speed invariance-are used to derive the mathematical structure of Minkowski space-time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.
Quantum theory (QT) is usually formulated in terms of abstract mathematical postulates involving Hilbert spaces, state vectors and unitary operators. In this paper, we show that the full formalism of QT can instead be derived from five simple physical requirements, based on elementary assumptions regarding preparations, transformations and measurements. This is very similar to the usual formulation of special relativity, where two simple physical requirements—the principles of relativity and light speed invariance—are used to derive the mathematical structure of Minkowski space–time. Our derivation provides insights into the physical origin of the structure of quantum state spaces (including a group-theoretic explanation of the Bloch ball and its three dimensionality) and suggests several natural possibilities to construct consistent modifications of QT.
In this paper and a companion paper, we attempt to systematically investigate the possibility that the concept of information may enable a derivation of the quantum formalism from a set of physically comprehensible postulates. To do so, we formulate an abstract experimental set-up and a set of assumptions based on generalizations of experimental facts that can be reasonably taken to be representative of quantum phenomena, and on theoretical ideas and principles, and show that it is possible to deduce the quantum formalism. In particular, we show that it is possible to derive the abstract quantum formalism for finite-dimensional quantum systems and the formal relations, such as the canonical commutation relationships and Dirac's Poisson Bracket rule, that are needed to apply the abstract formalism to particular systems of interest. The concept of information, via an information-theoretic invariance principle, plays a key role in the derivation, and gives rise to some of the central structural features of the quantum formalism.
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as unitary quantum and the assumption that ensembles on finite-dimensional Hilbert spaces are characterised by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.
In a companion paper (hereafter referred to as Paper I), we have presented an attempt to derive the finite-dimensional abstract quantum formalism from a set of physically comprehensible assumptions. In this paper, we formulate a correspondence principle, the Average-Value Correspondence Principle, that allows relations between measurement outcomes which are known to hold in a classical model of a system to be systematically taken over into the quantum model of the system. Using this principle, we derive the explicit form of the temporal evolution operator (thereby completing the derivation of the abstract quantum formalism begun in Paper I), and derive many of the formal rules (such as operator rules, commutation relations, and Dirac's Poisson bracket rule) that are needed to apply the abstract quantum formalism to model particular physical systems.
Understanding the core content of quantum mechanics requires us to disentangle the hidden logical relationships between the postulates of this theory. Here we show that the mathematical structure of quantum measurements, the formula for assigning outcome probabilities (Born's rule) and the post-measurement state-update rule, can be deduced from the other quantum postulates, often referred to as "unitary quantum mechanics", and the assumption that ensembles on finite-dimensional Hilbert spaces are characterized by finitely many parameters. This is achieved by taking an operational approach to physical theories, and using the fact that the manner in which a physical system is partitioned into subsystems is a subjective choice of the observer, and hence should not affect the predictions of the theory. In contrast to other approaches, our result does not assume that measurements are related to operators or bases, it does not rely on the universality of quantum mechanics, and it is independent of the interpretation of probability.