Random Variables
A random variable is a function that assigns a value to each outcome of a probability experiment. The word “variable” can be misleading: once the outcome is fixed, the value is fixed. The randomness is in which outcome occurs.
The basic form is
where is a probability space.
In quantum mechanics, measurement outcomes are described by ordinary probability distributions once the state and measurement have been specified. The observable operator is the quantum object that generates those distributions; the associated outcome value is the classical random variable for that measurement context.
Definition
Section titled “Definition”Let be a probability space. A real-valued random variable is a measurable function
Measurable means that, for every allowed set of values ,
This condition guarantees that probabilities such as
are defined.
For elementary discrete examples, measurability is automatic. For continuous examples, it is the reason one uses intervals and Borel sets rather than arbitrary pathological subsets.
Distribution
Section titled “Distribution”The distribution of is the probability measure on values induced by :
This induced distribution is also called the law of .
Two different random variables on different sample spaces can have the same distribution. For many calculations, the distribution is enough. For questions about correlations between several variables, the underlying joint construction matters.
Discrete Random Variables
Section titled “Discrete Random Variables”A discrete random variable takes values in a finite or countable set. If the possible values are , then the distribution is recorded by probabilities
Example: a spin-like two-outcome variable taking values and can have
Its expectation value is
The distribution is the list of values and probabilities, not just the set of possible values.
Continuous Random Variables
Section titled “Continuous Random Variables”A continuous random variable may have a probability density such that
The density satisfies
The probability of an interval is an area under the density. The value at one point is not the probability of the exact value . The density rules are collected in Probability Densities.
For a normalized position wavefunction, the position measurement has density
Thus
The quantum page for this setting is Born Rule for Continuous Spectra.
Cumulative Distribution Function
Section titled “Cumulative Distribution Function”Every real-valued random variable has a cumulative distribution function, or CDF:
For a discrete variable, the CDF jumps at allowed values. For a continuous variable with density ,
The CDF is often the most robust way to describe a distribution because it works for discrete, continuous, and mixed cases.
Functions of Random Variables
Section titled “Functions of Random Variables”If is a random variable and is a suitable function, then
is another random variable:
Examples include:
- for squared measurement values;
- for the indicator of an event;
- energy as a function of momentum for a classical free particle.
Changing variables in a density requires a Jacobian. Forgetting that Jacobian is one of the most common errors when moving between variables.
Joint Random Variables
Section titled “Joint Random Variables”Several random variables on the same probability space define a joint random variable
The joint distribution assigns probabilities to events such as
Joint distributions are needed for covariance, correlation, conditional probability, and independence. The phrase “on the same probability space” is important: it says the values are being assigned to the same underlying outcome. For the spread and correlation vocabulary, see Variance and Covariance. For conditioning, see Conditional Probability.
This is exactly where quantum mechanics requires care. Not every pair of quantum observables can be treated as simultaneously defined classical random variables; see Classical Probability versus Quantum Probability.
Quantum Observables versus Random Variables
Section titled “Quantum Observables versus Random Variables”In classical probability, a physical quantity is often modeled directly as a random variable. In quantum mechanics, an observable is represented by a self-adjoint operator, and a state plus a measurement rule induces a probability distribution over outcomes.
For a discrete projective measurement,
the outcome variable takes values with probabilities
for a pure state. For a density operator,
Once these probabilities are assigned, the measurement outcome can be treated as an ordinary random variable for that experiment. But the operator itself is not merely a classical random variable hiding on a universal sample space.
For commuting observables, one can often form a joint projective measurement and a joint distribution. For noncommuting observables, there is generally no single joint distribution that reproduces all measurement statistics without extra structure or altered measurement definitions.
Example: Discrete Quantum Measurement
Section titled “Example: Discrete Quantum Measurement”Let a two-outcome measurement have projectors and , with possible reported values and . In state , define
Then the measurement outcome random variable has
The expectation value is
If the observable operator is
then this same average is
Example: Position Measurement
Section titled “Example: Position Measurement”For a normalized wavefunction , the position outcome is a continuous random variable with density
The probability of a region is
The outcome is random; the wavefunction is not itself a random variable. The wavefunction determines the distribution of the position random variable for this measurement.
Common Mistakes
Section titled “Common Mistakes”- Confusing a random variable with its distribution.
- Treating a density value as the probability of the exact value .
- Forgetting that two variables need a joint probability space before covariance or conditional probability is meaningful.
- Assuming a quantum observable is automatically a classical random variable before specifying a measurement context.
- Assigning joint probabilities to noncommuting observables without checking whether a joint measurement exists.
- Forgetting Jacobians when changing variables.
Cross-Links
Section titled “Cross-Links”- Probability Spaces, Light Version
- Probability Densities
- Expectation Values
- Variance and Covariance
- Conditional Probability
- Classical Probability versus Quantum Probability
- Born Rule
- Born Rule for Continuous Spectra
- Observables
- Discrete and Continuous Spectra
References
Section titled “References”- W. Feller, An Introduction to Probability Theory and Its Applications, Volume I, 3rd ed., Wiley, 1968.
- P. Billingsley, Probability and Measure, 3rd ed., Wiley, 1995.
- R. Durrett, Probability: Theory and Examples, 5th ed., Cambridge University Press, 2019.
- R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
- A. Peres, Quantum Theory: Concepts and Methods, Kluwer, 1995.
Exercises
Section titled “Exercises”- Let for a fair die and . What are the possible values of ?
Solution
The values are
Each occurs with probability .
- Let for even die outcomes and for odd outcomes. Find for a fair die.
Solution
There are three even outcomes out of six, so
Therefore
- If a continuous random variable has density , what is for an ordinary continuous density?
Solution
For an ordinary density with no point mass,
The density value is not a point probability.
- A projective measurement has values and projectors . In a pure state , write the distribution of the outcome random variable.
Solution
The outcome random variable takes values and with probabilities
- Why does knowing the separate distributions of and not determine their covariance?
Solution
Covariance depends on the joint distribution of , not only on the marginal distributions of and separately. Different joint distributions can have the same marginals but different correlations.