[SOURCE-FIDELITY NOTICE: This content was extracted from a PDF. Two-dimensional equation layout may be lost, including fraction bars, numerator/denominator grouping, superscripts, roots, matrices, and stacked limits. Treat arithmetic or algebraic discrepancies as inconclusive unless they can be verified against an equation-preserving source.]
Typicality, Unitary Refinement, and the Origin of the
Born Rule
From Failed Uniqueness Arguments to a Measure-Theoretic Refinement
Theorem
Michael Tolbert
September 2026
Abstract. The Everett or many-worlds interpretation retains unitary quantum dynamics and
denies stochastic collapse, yet must explain why branch-relative observations exhibit Born-rule
statistics when every decohered outcome occurs. This paper separates two questions: the
construction of a non-arbitrary measure on branch events and the justification for using that
measure as rational credence. For a finite projective decomposition of a pure state, rational
squared norms admit equal-norm ancillary refinements. The descendants form finite homo-
geneous representative sets related by permutation symmetry. When branch abundance is
required to compose over disjoint collections of primitive-equivalent representatives, normalized
cardinality is its unique finite representation. Common-refinement invariance removes denomi-
nator dependence, and continuity or monotonicity uniquely extends the rational construction
to arbitrary real squared norms. The resulting event measure is
T(P | ψ) =∥Pψ∥
2
=⟨ψ|P|ψ⟩.
The argument does not derive probability from unitary dynamics alone. It relocates finite
additivity from an assumed probability measure on projectors to explicit cardinal composition
on homogeneous refinement spaces. A separate credence representation theorem shows how
additional epistemic principles can identify the resulting measure with rational branch-relative
credence. The principal contribution is a transparent decomposition of symmetry, abundance,
measure, and credence, together with a precise statement of where the substantive assumptions
enter.
Keywords: Everett interpretation; many-worlds interpretation; Born rule; typicality; decoher-
ence; pointer states; quantum probability.
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
1 Introduction and Scope
The Everett interpretation preserves universal unitary evolution. Measurement therefore does
not select one outcome and eliminate the others; instead, decoherence produces approximately
autonomous records corresponding to multiple outcomes. The familiar Born rule nevertheless
assigns a normalized weight to each record event. A satisfactory account must explain both why a
particular quantitative measure applies and why branch-relative observers should use that measure
in expectation or action.
These are distinct problems. The measure problem asks which functional represents the size
of a branch event. The credence problem asks why such size should constrain rational belief or
decision. Conflating them allows a physical symmetry argument to inherit unannounced probabilistic
premises, or allows a decision-theoretic argument to appear to construct physical measure solely
from preference. The present paper treats the measure problem first and introduces the epistemic
bridge only afterward.
The central result is conditional. Unitary quantum mechanics supplies Hilbert-space geometry,
permits ancillary refinements, and preserves squared norm. Decoherence constrains a coarse algebra
of stable record events. Neither fact by itself selects a probability functional. The additional
structural premise is that equal-norm descendants related by the symmetries of a homogeneous
refinement count as primitive-equivalent units of branch abundance. Disjoint collections of such
units compose cardinally. The paper proves that this conception uniquely induces the Born measure
on finite projective events.
The result should not be described as a derivation from the Schrödinger equation alone. It is
a representation theorem: given pointer-defined coarse events, equal-norm refinement, primitive
equivalence, disjoint cardinal composition, common-refinement invariance, and a regular real
extension, the Born form is unique. Separate self-locating or decision-theoretic assumptions are
required to identify this measure with single-case credence.
2 Why Familiar Ingredients Do Not Establish Uniqueness
2.1 Geometry is not yet probability
LetHbe a finite-dimensional complex Hilbert space,|ψ⟩∈Hnormalized, and{P
i
}
n
i=1
a projective
decomposition:
P
i
P
j
= δ
ij
P
i
,
n
X
i=1
P
i
= I.
The geometric size of outcome i is
x
i
:=∥P
i
ψ∥
2
, x
i
≥ 0,
X
i
x
i
= 1.
For orthogonal P and Q, Pythagoras gives
∥(P + Q)ψ∥
2
=∥Pψ∥
2
+∥Qψ∥
2
.
This makes squared norm a natural candidate for a measure, but naturalness is not uniqueness.
Unitarity preserves the norm; it does not establish that every acceptable branch-size functional
must be the norm squared.
1
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
Indeed, for any continuous f : [0, 1]→ [0,∞) with f (0) = 0 and f (x) > 0 for x > 0, the rule
W
f
i
f (x
i
)
P
j
f (x
j
)
is normalized, continuous, phase invariant, and permutation covariant. The power familyf(x) =x
α
includes infinitely many non-Born alternatives. Thus normalization, continuity, and symmetry do
not suffice.
2.2 Trace additivity and the logical order
If one definesμ(P) =Tr(ρP), then positivity, normalization, and finite additivity on orthogonal
projectors follow immediately. For a pure state ρ =|ψ⟩⟨ψ|,
μ(P ) = Tr(ρP ) =⟨ψ|P|ψ⟩ =∥Pψ∥
2
.
The trace rule therefore contains the complete Born structure. It does not explain why the relevant
branch measure must be linear in the first place. Gleason’s theorem reverses the direction by
characterizing additive measures on projectors, but additivity remains an initial measure assumption.
The present construction asks whether that structure can be grounded in a prior, non-stochastic
notion of finite abundance.
2.3 Decoherence supplies events, not weights
A measurement interaction correlates system alternatives with environmental records:
X
i
c
i
|s
i
⟩|A
0
⟩|E
0
⟩−→
X
i
c
i
|s
i
⟩|A
i
⟩|E
i
⟩.
Tracing over the environment suppresses off-diagonal terms when⟨E
j
| E
i
⟩is small. Decoherence
thereby identifies approximately stable record sectors and explains why coherent alternatives can
function as exclusive macroscopic events. It does not, without further argument, interpret the
diagonal coefficients as probabilities.
The exact theorems below concern a finite projective idealization. Their physical application is
relative to a pointer-admissible coarse algebra selected to an operational tolerance. This restriction
prevents equal-norm refinement from arbitrarily choosing the macroscopic event basis. Refinement
occurs within already identified record sectors.
3 Ancillary Refinement and the Additivity Gap
3.1 Algebra-relative equivalence
A refinement adds orthogonal microscopic labels while preserving a parent event at the coarse level.
If a record ancilla R is introduced in a normalized state |φ⟩, then
Tr
R
(PρP ⊗|φ⟩⟨φ|) = PρP.
Consequently, system observables have the same restricted expectation data before and after
refinement. The global states are not identical. They agree only on the coarse algebra that ignores
2
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
the ancillary label. Refinement invariance is therefore an operational noncontextuality principle,
not a claim that two globally different vectors are the same physical state.
Bare refinement invariance remains too weak to yield additivity. Let
W
h
(P | ψ) = h
∥Pψ∥
2
,
withh(0) = 0,h(1) = 1. If a parent of squared normxis split into two orthogonal descendants of
squared norm x/2, then for h(x) = x
2
,
W
h
(P
1
- P
2
| ψ) = x
2
, W
h
(P
1
| ψ) + W
h
(P
2
| ψ) =
x
2
2
.
The parent and refined union preserve the same coarse value, although the descendant values do
not add. Operational equivalence therefore cannot silently be replaced by summation.
3.2 Symmetry establishes equality, not aggregation
In an equal-amplitude state withMorthogonal descendants, permutation symmetry forbids privi-
leging any label. It follows that singleton descendants have equal primitive status. It does not follow
that each has numerical value 1/M. A normalized, permutation-invariant set functional can assign
value one to every nonempty subset. The inference from equal status to relative weight requires a
compositional account of finite abundance.
This is the additivity gap. The argument below does not conceal it. Disjoint composition is
stated explicitly on the representative space, and the resulting cardinality theorem is presented as
conditional on that premise.
4 Finite Homogeneous Refinement Spaces
4.1 Equal-norm refinements
Definition 4.1 (Rational branch geometry). The squared-norm vectorx= (x
1
,...,x
n
) is rational
when there exist nonnegative integers m
i
and a positive integer M such that
x
i
=
m
i
M
,
X
i
m
i
= M.
Definition 4.2 (Equal-norm refinement). An equal-normM-refinement maps each nonzero nor-
malized branch vector|ψ
i
⟩=P
i
|ψ⟩/
√
x
i
intom
i
mutually orthogonal descendants, such that every
descendant in the refined total state has amplitude modulus 1/
√
M.
Theorem 4.3 (Existence of equal-norm refinement). Ifx
i
=∥P
i
ψ∥
2
=m
i
/M, then an ancillary
isometry, extendable to a unitary on a sufficiently large Hilbert space, represents outcomeiby exactly
m
i
orthogonal descendants, each of squared norm 1/M.
Proof.
Choose ancillary vectors|i,k⟩,k= 1,...,m
i
, orthonormal across all pairs (i,k). On the
span of the vectors |ψ
i
⟩|0⟩ define
V
|ψ
i
⟩|0⟩
1
√
m
i
m
i
X
k=1
|ψ
i
⟩|i,k⟩.
3
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
The inputs are orthonormal because the projectors have orthogonal ranges, and the outputs are
orthonormal because the ancillary labels are orthogonal. ThusVis an isometry on the specified
subspace and extends to a unitary after completion of orthonormal bases. Since
|ψ⟩ =
X
i
r
m
i
M
|ψ
i
⟩,
we obtain
V (|ψ⟩|0⟩) = rac1
√
M
X
i
m
i
X
k=1
|ψ
i
⟩|i,k⟩.
There are M nonzero descendants, all with squared norm 1/M, and m
i
lie under outcome i.
The theorem establishes unitary representability only. No typicality or probability has yet been
assigned.
4.2 Why cardinality is the unique finite abundance concept
Let Ω
M
be an M-element homogeneous representative set. An event is a subset A⊆ Ω
M
.
Definition 4.4 (Homogeneous finite-abundance scheme). A family{a
M
}assignsa
M
(A)∈[0,1] to
each A⊆ Ω
M
and satisfies:
- a
M
(∅) = 0 and a
M
(Ω
M
) = 1;
- a
M
(πA) = a
M
(A) for every permutation π of Ω
M
;
- if A∩ B = ∅, then a
M
(A∪ B) = a
M
(A) + a
M
(B);
- if every representative is replaced by L equivalent descendants, then a
LM
(A
(L)
) = a
M
(A).
Axiom (A3) is not inferred from symmetry. It states the mereological content of the selected
abundance concept: nonoverlapping collections contain the sum of the primitive units in each
collection. If this axiom is rejected, normalized cardinality is not uniquely forced.
Theorem 4.5 (Cardinality representation). Every homogeneous finite-abundance scheme satisfying
(A1)–(A3) is uniquely represented by
a
M
(A) =
|A|
M
.
This representation automatically satisfies (A4).
Proof.By permutation invariance, every singleton has one common values
M
. Because Ω
M
is the
disjoint union of itsMsingleton subsets, repeated use of (A3) gives 1 =Ms
M
, hences
M
= 1/M. If
Acontainsmelements, it is the disjoint union ofmsingletons, soa
M
(A) =m/M=|A|/M. Under
L-fold uniform refinement, |A
(L)
| = L|A| and |Ω
LM
| = LM, which proves (A4).
This theorem is rigorous but deliberately conditional. It does not derive disjoint composition
from unitary dynamics. It proves that normalized cardinality is uniquely fixed once finite abundance
is required to compose over nonoverlapping collections of primitive-equivalent representatives.
4
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
5 The Rational Born Measure
For an eventS ⊆ {1,...,n}, letP
S
P
i∈S
P
i
and letA
S
⊆Ω
M
contain the descendants whose
parent outcome lies in S.
Theorem 5.1 (Rational typicality). For rational squared normsx
i
=m
i
/M, the cardinal abundance
of S is
T
M
(S) =
|A
S
|
M
X
i∈S
m
i
M
|A|
M
.
Theorem 5.4 (Common-refinement independence). Any two rational equal-norm refinements
representing the same squared-norm vector assign the same typicality to every parent event.
Proof.Suppose the denominators areMandN. Refine both toL=lcm(M,N). In either
representation, outcomeithen hasLx
i
descendants. By 5.3, the common refinement preserves each
original ratio, so the original assignments agree.
The common-refinement theorem discards absolute branch number. Typicality belongs to an
equivalence class of homogeneous representations, not to a fundamental census of microscopic worlds.
5
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
6 Unique Extension to Real Squared Norms
Let ∆
n−1
be the standard simplex and ∆
Q
n−1
its dense rational subset. On rational points,??define
the well-posed functional
T
Q
(S,x) =
X
i∈S
x
i
.
Theorem 6.1 (Unique continuous extension). For every eventS, T
Q
(S,·) has a unique continuous
extension to ∆
n−1
, namely
T(S,x) =
X
i∈S
x
i
.
Proof. Choose rational x
(r)
→ x. Finite summation is continuous, so
T
Q
(S,x
(r)
) =
X
i∈S
x
(r)
i
−→
X
i∈S
x
i
.
The limit depends only onx. Any other continuous extension agreeing on the dense rational subset
must have the same limit at every x.
Continuity can be weakened. Iff: [0,1]→[0,1] agrees with the identity on the rationals and is
monotone, choose rational sequences q
r
↑ x and s
r
↓ x. Then
q
r
= f (q
r
)≤ f (x)≤ f (s
r
) = s
r
,
sof(x) =x. Regularity remains an additional condition, but the monotone-squeezing route shows
that the real extension need not be justified by an unsupported appeal to dynamical continuity.
Theorem 6.2 (Born measure representation). Under the assumptions of equal-norm refinement,
primitive equivalence, disjoint cardinal composition, common-refinement invariance, and continuous
or monotone extension, every finite projective event satisfies
T(P | ψ) =∥Pψ∥
2
=⟨ψ|P|ψ⟩
and T is normalized, nonnegative, and finitely additive on orthogonal events.
Proof.
The rational result follows from 5.1; representation independence follows from 5.4; and the
real extension follows from 6.1 or monotone squeezing. Positivity and normalization are immediate.
If PQ = 0, orthogonality gives ∥(P + Q)ψ∥
2
=∥Pψ∥
2
+∥Qψ∥
2
.
For ρ =|ψ⟩⟨ψ|, the trace rule is recovered at the end:
T(P | ψ) = Tr(ρP ).
The trace is thus an operator representation of the measure already constructed, rather than the
starting point of the argument.
6
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
6.1 Why alternative powers fail
Suppose an unnormalized contributiongis aggregated over equal descendants and satisfies refinement
stability:
g(x) = Lg(x/L).
Forg(x) =x
α
this givesx
α
=x
α
L
1−α
for every positive integerL, henceα= 1. Sincexis already
squared amplitude, this selects amplitude exponent two. The conclusion depends on descendant
aggregation, which comes from the cardinal abundance structure; bare invariance of a nonlinear
coarse functional would not suffice.
7 Events, Composition, and Repeated Records
The relevant event operation is disjoint union in a pointer-defined Boolean algebra. IfP
A
P
B
= 0,
then “AorB” is represented byP
A
+P
B
. Tensor products play a different role. For product states
and product projectors,
T(E× F | ψ⊗ φ) =∥(P
E
⊗ P
F
)(ψ⊗ φ)∥
2
= T(E | ψ)T(F | φ).
Additive union and product composition are therefore compatible: direct sum represents exclusive
disjunction, while tensor product represents conjunction across systems or trials.
ForNindependent copies of a two-outcome state with one-trial typicalitiesxand 1− x, the
frequency-k subspace has typicality
T
N
(k) =
N
k
!
x
k
(1− x)
N−k
.
Its relative-frequency mean is x and variance is x(1− x)/N. Chebyshev’s inequality yields
T
N
k
N
− x
≥ ε
≤
x(1− x)
Nε
2
.
Thus record sectors with frequencies bounded away from the Born value have vanishing total
typicality asN →∞. This is a concentration result for the derived measure. It does not by itself
show why a particular observer must disregard low-typicality successors.
8 From Measure to Rational Credence
Let C(P | ψ) denote a pre-observation agent’s credence that the agent’s branch-relative successor
record lies in eventP. The global wave function may be fully known while indexical information
about the successor record remains unavailable. To connect measure with credence, assume:
- certainty and impossibility: C(I| ψ) = 1 and C(0| ψ) = 0;
- additivity over mutually exclusive pointer events;
- permutation indifference among equal-norm descendants;
4.environmental and refinement separability for microscopic labels that preserve the restricted
pointer-algebra state;
7
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
5. diachronic consistency under refinement and later erasure of the refinement;
6. continuity, or monotonicity together with agreement on rational refinements.
Theorem 8.1 (Born credence representation). Under (C1)–(C6) and 4.3,
C(P | ψ) = T(P | ψ) =∥Pψ∥
2
for every event in the finite pointer algebra.
Proof.
For rational branch geometry, the equal-norm refinement containsMdescendants, withm
i
underP
i
. Permutation indifference assigns them a common credencec. Certainty and exclusive
additivity implyMc= 1, soc= 1/M. Diachronic consistency then gives C(P
i
| ψ) =m
i
/M=x
i
.
Additivity gives the result for coarse unions. Regularity extends the equality to real squared norms,
and environmental separability removes dependence on ancillary implementation.
The physical and epistemic theorems have different domains. Disjoint composition in 4.5 concerns
abundance of primitive representatives. Condition (C2) concerns coherent degrees of belief over
exclusive records. The credence theorem is not assumption free, and critics may reject self-locating
uncertainty, separability, or branching indifference. Its role is to display a non-circular division of
labor: the physical construction fixes the quantitative measure, while explicit epistemic principles
determine when that measure guides rational expectation.
Decision-theoretic approaches can provide an alternative bridge. If preferences over quantum acts
satisfy an expected-utility representation and the relevant equivalence and branching-indifference
conditions, the act value takes the form
V =
X
i
T(P
i
| ψ)u(R
i
) =
X
i
∥P
i
ψ∥
2
u(R
i
).
This practical role does not need to be built into the cardinality theorem itself.
9 Relation to Existing Born-Rule Programs
The present argument occupies an intermediate position among established approaches. Gleason
begins with an additive measure on projectors and derives trace form. Frequency-operator and
typicality programs analyze the concentration of repeated-trial records, commonly using Hilbert
norm as the measure of negligibility. Envariance motivates equal treatment of equal-modulus
alternatives through system-environment symmetries and uses fine graining for rationally related
amplitudes. Deutsch-Wallace decision theory addresses rational preference, while self-locating
approaches address branch-relative credence.
The distinctive claim here is narrower than any complete replacement of those programs. Symme-
try identifies primitive equivalence but does not supply aggregation. Cardinal abundance supplies
aggregation on a finite homogeneous representative space. Common refinement supplies repre-
sentation independence. Regularity supplies the real extension. Epistemic or decision-theoretic
principles supply the probability role. The novelty lies in making these stages explicit and in locating
finite additivity precisely at the transition from homogeneous representative units to their disjoint
collections.
This construction also differs from naive branch counting. Decoherence generally does not provide
a unique microscopic branch census, and arbitrary counting changes under coarse graining. The
8
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
present measure is assigned to equivalence classes of equal-norm refinements of fixed pointer-defined
coarse events. Absolute descendant number is discarded; only relative cardinality preserved by
common refinement survives. The counted objects are therefore representation devices anchored to
a coarse event algebra, not asserted to be a fundamental inventory of worlds.
10 Principal Objections and Replies
10.1 Does disjoint composition hide probability additivity?
It contains the same algebraic equation as finite additivity, and the paper does not deny this. The
claim is interpretive and structural: (A3) is imposed on collections of primitive counting units before
stochastic selection, credence, or probability on the original projector algebra is introduced. The
theorem relocates the premise and identifies its content; it does not derive it from dynamics. A
critic who rejects cardinal composition rejects the selected conception of abundance, not a concealed
mathematical step.
10.2 Does equal norm already assume the Born rule?
Equal norm is initially a geometric and symmetry condition. Unitary evolution preserves the Hilbert
norm, and equal-norm orthogonal descendants are related by label permutations. No probability
interpretation is needed to state those facts. The substantive premise is that these symmetry-related
descendants are the appropriate primitive units for abundance. The paper explains why squared
norm acquires measure structure; it does not discover squared norm independently of Hilbert
geometry.
10.3 Why should counterfactual refinements constrain actual measure?
Refinements function as representation tests. If an allowed ancillary interaction adds only microscopic
labels, preserves the parent record on the coarse algebra, and can be erased or ignored without
altering that coarse experiment, a description-independent event measure should not depend on
whether the labels are displayed. This is a noncontextuality premise. It is physically motivated but
not compelled by unitary dynamics.
10.4 Is normalized cardinality only uniform probability renamed?
The two have the same finite algebra. They need not have the same interpretation. Cardinal
abundance answers what fraction of a homogeneous representative space has a property; probability
additionally concerns chance, credence, or action. The distinction is sufficient to separate the
measure theorem from the credence theorem, but it does not make the latter unnecessary.
10.5 Does decoherence select exact branches?
No. Realistic decoherence yields approximate stability and approximate orthogonality relative to a
system-environment split, time scale, and operational tolerance. The finite theorem idealizes those
records as orthogonal projectors. A complete robustness theorem should bound changes in typicality
when record sectors have small residual overlap.
9
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
10.6 How general is the result?
The proved theorem concerns normalized pure states, finite projective decompositions, exact
orthogonality, rational refinements, and a regular extension to real squared norms. Mixed states
require purification or preparation noncontextuality. POVMs require invariance under equivalent
Naimark dilations. Countably infinite decompositions require an additional continuity condition
sufficient for sigma additivity. Relativistic quantum theory requires a covariant event framework.
These are open extensions rather than implicit consequences of the finite result.
11 Discussion: Structural Naturalness and Limits
The Born measure is natural within the stated framework for three connected reasons. First,
Hilbert geometry supplies equal-norm refinement units, and unitary permutations make those units
structurally interchangeable. Second, cardinal composition is the unique finite abundance rule for
disjoint collections of such primitive-equivalent units. Third, common refinement makes parent-event
ratios independent of denominator or descriptive resolution. The result is not obtained by labeling
squared norm a probability; it is obtained by showing that the refinement structure gives squared
norm the unique stable representation of relative abundance.
This naturalness claim is conditional rather than absolute. A critic may deny that counterfactual
refinements constrain objective measure, reject cardinal composition as explanatory, or refuse the
epistemic bridge from typicality to credence. The framework’s contribution is to make the location
and cost of each rejection precise. It replaces an ambiguous appeal to symmetry with a sequence of
independently assessable premises.
The most important unresolved physical issue is approximation. Pointer events are emergent,
while the proof uses exact projectors. The most important mathematical extensions concern mixed
states, POVMs, infinite outcomes, and local quantum field theory. The most important interpretive
issue is whether self-locating or decision-theoretic principles provide a compelling probability role
for the measure. None of these limitations undermines the finite representation theorem, but each
limits the theorem’s reach.
12 Conclusion
This paper has established a conditional representation theorem for the Born measure. Unitary
quantum mechanics permits rational branch geometries to be represented by equal-norm ancillary
refinements. Permutation symmetry renders the descendants primitive-equivalent but does not
assign numerical weights. When finite abundance is required to compose over disjoint collections of
those units, normalized cardinality is uniquely fixed. Uniform and common refinement make the
resulting ratios representation independent, and continuity or monotonicity extends them uniquely
to arbitrary real squared norms. The induced measure on coarse projective events is
T(P | ψ) =∥Pψ∥
2
=⟨ψ|P|ψ⟩.
The argument does not eliminate additivity. It relocates finite additivity from an assumed
probability measure on projectors to explicit mereological composition on a homogeneous represen-
tative space. Nor does it derive rational credence from dynamics alone. A separate representation
theorem shows that, given explicit principles governing exclusive records, symmetry, environmental
10
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
separability, diachronic consistency, and regularity, branch-relative credence equals the derived
measure.
The framework’s principal contribution is therefore a disciplined separation of four stages:
symmetry identifies equivalent representatives; cardinal composition supplies finite abundance;
refinement invariance and regularity induce the Born measure; and epistemic principles supply
the probability role. This does not settle every form of the Everettian probability problem. It
does clarify the additivity gap and provides a mathematically explicit account of how Born-form
measure can arise within a deterministic unitary theory under a transparent package of structural
assumptions.
References
[Busch(2003)]
Busch, P. (2003). Quantum states and generalized observables: A simple proof of
Gleason’s theorem. Physical Review Letters, 91, 120403.
[Deutsch(1999)]Deutsch, D. (1999). Quantum theory of probability and decisions. Proceedings of
the Royal Society A, 455, 3129–3137.
[Farhi et al.(1989)]
Farhi, E., Goldstone, J., and Gutmann, S. (1989). How probability arises in
quantum mechanics. Annals of Physics, 192, 368–382.
[Gleason(1957)]Gleason, A. M. (1957). Measures on the closed subspaces of a Hilbert space. Journal
of Mathematics and Mechanics, 6, 885–893.
[Greaves(2007)]Greaves, H. (2007). Probability in the Everett interpretation. Philosophy Compass,
2, 109–128.
[Hartle(1968)]Hartle, J. B. (1968). Quantum mechanics of individual systems. American Journal
of Physics, 36, 704–712.
[Joos et al.(2003)]Joos, E., Zeh, H. D., Kiefer, C., Giulini, D., Kupsch, J., and Stamatescu, I.-O.
(2003). Decoherence and the Appearance of a Classical World in Quantum Theory. Springer.
[Price(2010)]
Price, H. (2010). Decisions, decisions, decisions: Can Savage salvage Everettian
probability? In S. Saunders et al. (Eds.), Many Worlds? Everett, Quantum Theory, and Reality.
Oxford University Press.
[Saunders(2021)]
Saunders, S. (2021). Branch-counting in the Everett interpretation of quantum
mechanics. Proceedings of the Royal Society A, 477, 20210600.
[Schlosshauer and Fine(2005)]
Schlosshauer, M., and Fine, A. (2005). On Zurek’s derivation of the
Born rule. Foundations of Physics, 35, 197–213.
[Sebens and Carroll(2018)]Sebens, C. T., and Carroll, S. M. (2018). Self-locating uncertainty and
the origin of probability in Everettian quantum mechanics. British Journal for the Philosophy
of Science, 69, 25–74.
[Wallace(2012)]
Wallace, D. (2012). The Emergent Multiverse: Quantum Theory According to the
Everett Interpretation. Oxford University Press.
[Zurek(1981)]Zurek, W. H. (1981). Pointer basis of quantum apparatus: Into what mixture does
the wave packet collapse? Physical Review D, 24, 1516–1525.
11
Typicality, Unitary Refinement, and the Born RuleMichael Tolbert
[Zurek(2003)]Zurek, W. H. (2003). Decoherence, einselection, and the quantum origins of the
classical. Reviews of Modern Physics, 75, 715–775.
[Zurek(2005)]Zurek, W. H. (2005). Probabilities from entanglement, Born’s rule from envariance.
Physical Review A, 71, 052105.
12
Michael TolbertAI Rating: 3.8/5