Borel–Kolmogorov Paradox

• Borel–Kolmogorov Paradox is the phenomenon where conditioning on null sets in continuous spaces yields non-unique probability measures.
• Different parameterizations and limit procedures produce distinct conditional laws on the same geometric subset, challenging classical probability definitions.
• Recent resolutions employ Hausdorff-based canonical conditioning and metric-based Maximum Entropy methods to ensure unique, geometry-consistent posteriors.

Searching arXiv for the cited papers to ground the article in current records. arxiv_search query: id:(Bungert et al., 2020) OR id:(Trésor et al., 29 Sep 2025) arxiv_search results:

1. "The lion in the attic -- A resolution of the Borel--Kolmogorov paradox" (Bungert et al., 2020)
2. "Resolution of the Borel-Kolmogorov Paradox via the Maximum Entropy Principle" (Trésor et al., 29 Sep 2025) The Borel–Kolmogorov paradox is the non-uniqueness phenomenon that arises when one attempts to condition a probability measure on an event of prior probability zero, such as a lower-dimensional subset of a continuous state space. In the classical sphere formulation, a particle is uniformly distributed on the unit sphere and one asks for the conditional distribution on a great circle; different coordinate systems or different limiting procedures can yield different answers on the same geometric set. In modern measure-theoretic language, the paradox shows that conditional probabilities on null sets are not uniquely determined by the Kolmogorov axioms and the prior measure alone. Recent work has developed two explicit resolution strategies: a Hausdorff-measure-based canonical conditional on rectifiable sets in Euclidean spaces (Bungert et al., 2020), and a metric-based Maximum Entropy construction that produces a unique posterior once the metric is specified (Trésor et al., 29 Sep 2025).

1. Classical statement and representative examples

Classical conditional probability is unproblematic on events of positive probability. If $B\in\mathcal{F}$ with $\mathbb{P}(B)>0$, then

$$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$

In contrast, if $\mathbb{P}(B)=0$, the formula becomes $0/0$ and does not define a conditional probability. Measure-theoretically, $\mathbb{P}(\cdot\mid B)$ is undefined unless extra structure is supplied (Bungert et al., 2020).

The classical sphere version considers the rotation-invariant probability measure on the unit sphere $S^2\subset\mathbb{R}^3$ and the equator

$E = \{(x,y,z)\in S^2 : z=0\}.$

Since $\mu(E)=0$, one cannot use the ratio formula directly. A common heuristic is to study

$$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$

where $\mathbb{P}(B)>0$0 is longitude. The paradox is that different parameterizations, or different ways of constructing shrinking neighborhoods of the same equator, produce different limiting conditional measures on $\mathbb{P}(B)>0$1, even though rotational invariance suggests a unique uniform distribution (Bungert et al., 2020).

A Euclidean analogue makes the mechanism explicit. Let $\mathbb{P}(B)>0$2 be i.i.d. $\mathbb{P}(B)>0$3, and define

$\mathbb{P}(B)>0$4

The event $\mathbb{P}(B)>0$5 is the same as $\mathbb{P}(B)>0$6, modulo the negligible set $\mathbb{P}(B)>0$7. Yet the posterior for $\mathbb{P}(B)>0$8 depends on which random variable is used to encode that null event. Conditioning via $\mathbb{P}(B)>0$9 gives

$$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$0

whereas conditioning via $$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$1 gives

$$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$2

The first density is bimodal away from zero, while the second is unimodal at zero. The same null event therefore supports inequivalent conditional laws, and infinitely many such posteriors can be generated by choosing other auxiliary variables with the same zero level set (Bungert et al., 2020).

A complementary modern formulation uses the sphere as a Riemannian manifold $$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$3 with geodesic distance $$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$4 and uniform surface measure

$$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$5

whose density in latitude–longitude coordinates is

$$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$6

The equator $$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$7 and a meridian $$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$8 are both null sets. Depending on the geometric structure used to define conditioning, one obtains either a uniform conditional law along a great circle or a non-uniform one, such as a density proportional to $$\mathbb{P}(A\mid B) := \frac{\mathbb{P}(A\cap B)}{\mathbb{P}(B)}.$$9 along a meridian (Trésor et al., 29 Sep 2025).

2. Measure-theoretic source of the ambiguity

The paradox is rooted in the way conditional probability is formalized. Given a probability space $\mathbb{P}(B)=0$0 and a sub-$\mathbb{P}(B)=0$1-algebra $\mathbb{P}(B)=0$2, the conditional expectation of an integrable random variable $\mathbb{P}(B)=0$3 given $\mathbb{P}(B)=0$4 is a $\mathbb{P}(B)=0$5-measurable random variable $\mathbb{P}(B)=0$6 such that

$\mathbb{P}(B)=0$7

Conditional probability is the special case $\mathbb{P}(B)=0$8. This object is unique only up to $\mathbb{P}(B)=0$9-null sets. When one asks for a value on a specific null event, measure theory imposes no constraint there (Bungert et al., 2020).

This point can be sharpened through regular conditional probabilities and disintegration. Standard disintegration yields a family of conditional measures $0/0$0 satisfying

$0/0$1

where $0/0$2 is the law of the conditioning map. However, the family is only determined $0/0$3-almost surely. On an individual level set $0/0$4 of $0/0$5-measure zero, the theory does not determine a unique conditional measure (Bungert et al., 2020).

The 2025 MaxEnt analysis makes the same structural point through conditional expectation theory. For $0/0$6, different choices of a sub-$0/0$7-algebra $0/0$8 and different versions of $0/0$9 on null sets directly affect the resulting posterior. The appendix shows that by selecting different $\mathbb{P}(\cdot\mid B)$0, any posterior distribution supported in $\mathbb{P}(\cdot\mid B)$1 can be obtained. This does not constitute a contradiction inside measure theory; it shows that the specification of the conditioning problem is incomplete (Trésor et al., 29 Sep 2025).

A second common strategy is to approximate the null event $\mathbb{P}(\cdot\mid B)$2 by positive-probability neighborhoods $\mathbb{P}(\cdot\mid B)$3 and define conditioning through a limit

$\mathbb{P}(\cdot\mid B)$4

The difficulty is that different choices of approximating sets $\mathbb{P}(\cdot\mid B)$5 yield different limits. The geometric choice is merely hidden in the neighborhood system. This suggests that the paradox is best understood as a non-uniqueness statement: the prior measure alone does not determine how mass should be redistributed inside a null set (Trésor et al., 29 Sep 2025).

3. Parameterization dependence and fan measures

A precise formalization of the paradox in Euclidean space is given by fan measures. Let $\mathbb{P}(\cdot\mid B)$6 be a probability measure on $\mathbb{P}(\cdot\mid B)$7, absolutely continuous with respect to Lebesgue measure, and let

$\mathbb{P}(\cdot\mid B)$8

with $\mathbb{P}(\cdot\mid B)$9 and $S^2\subset\mathbb{R}^3$0 continuous. For each $S^2\subset\mathbb{R}^3$1, define the leaf

$S^2\subset\mathbb{R}^3$2

and for measurable $S^2\subset\mathbb{R}^3$3,

$S^2\subset\mathbb{R}^3$4

The associated fan measure is

$S^2\subset\mathbb{R}^3$5

Intuitively, one looks at shrinking tubes around the level set $S^2\subset\mathbb{R}^3$6 and records relative frequencies inside those tubes (Bungert et al., 2020).

When $S^2\subset\mathbb{R}^3$7, this coincides with singular conditioning by shrinking intervals: $S^2\subset\mathbb{R}^3$8 Thus fan measures are not an auxiliary construction; they are the precise object produced by a large class of heuristic “condition by taking limits” procedures (Bungert et al., 2020).

The dependence on parameterization becomes explicit when $S^2\subset\mathbb{R}^3$9 is almost everywhere a diffeomorphism. In that case,

$E = \{(x,y,z)\in S^2 : z=0\}.$0

The Jacobian factor $E = \{(x,y,z)\in S^2 : z=0\}.$1 changes with the chosen parameterization. Different auxiliary random variables can therefore induce different weights along the same geometric level set (Bungert et al., 2020).

In the Gaussian example, the two maps

$E = \{(x,y,z)\in S^2 : z=0\}.$2

encode the same null set $E = \{(x,y,z)\in S^2 : z=0\}.$3 at the levels $E = \{(x,y,z)\in S^2 : z=0\}.$4 and $E = \{(x,y,z)\in S^2 : z=0\}.$5, respectively, but have different Jacobian determinants. This produces the two inequivalent posteriors already displayed. A plausible implication is that the paradox is not tied to any particular coordinate system on the sphere; it is a generic consequence of representing the same lower-dimensional set through different slicing maps.

4. Hausdorff-measure canonical conditional

One resolution replaces parameterization-based conditioning by a geometric measure intrinsic to the null set. In Euclidean space, the relevant object is the $E = \{(x,y,z)\in S^2 : z=0\}.$6-dimensional Hausdorff measure $E = \{(x,y,z)\in S^2 : z=0\}.$7, which generalizes Lebesgue measure, length, and surface area. If $E = \{(x,y,z)\in S^2 : z=0\}.$8 is $E = \{(x,y,z)\in S^2 : z=0\}.$9-rectifiable and $\mu(E)=0$0, and if $\mu(E)=0$1 has lower semicontinuous density $\mu(E)=0$2, then the canonically induced measure on $\mu(E)=0$3 is defined by

$\mu(E)=0$4

This construction uses only the density $\mu(E)=0$5 and the metric structure through Hausdorff measure. It does not depend on any auxiliary parameterization $\mu(E)=0$6 (Bungert et al., 2020).

The definition mirrors the classical formula $\mu(E)=0$7, except that the meaningless denominator $\mu(E)=0$8 is replaced by integration over the intrinsic measure of $\mu(E)=0$9. If $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$0 and $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$1, then $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$2. In the rectifiable case, $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$3 is a probability measure on the trace $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$4-algebra of $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$5 (Bungert et al., 2020).

The central equivalence theorem identifies when a fan measure agrees with this canonical measure. Let $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$6. If $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$7 on $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$8, the smallest singular value of $$\mathbb{P}\big(\theta\in B \mid |z|<\varepsilon\big)\quad\text{as }\varepsilon\to 0,$$9 is bounded below in a neighborhood of $\mathbb{P}(B)>0$00, and $\mathbb{P}(B)>0$01, then for almost all $\mathbb{P}(B)>0$02,

$\mathbb{P}(B)>0$03

Here

$\mathbb{P}(B)>0$04

Geometrically, the condition means that the level sets of $\mathbb{P}(B)>0$05 form tubes of constant thickness around $\mathbb{P}(B)>0$06 (Bungert et al., 2020).

The Gaussian guiding example illustrates the criterion. For $\mathbb{P}(B)>0$07, one has $\mathbb{P}(B)>0$08, so $\mathbb{P}(B)>0$09 is constant; the resulting fan measure coincides with the canonical conditional on the line $\mathbb{P}(B)>0$10, yielding the Gaussian posterior $\mathbb{P}(B)>0$11. For $\mathbb{P}(B)>0$12, $\mathbb{P}(B)>0$13 is not constant along the same line, and the induced fan measure is non-canonical, giving $\mathbb{P}(B)>0$14 (Bungert et al., 2020).

The same phenomenon appears in polar coordinates. Conditioning an isotropic Gaussian on a circle $\mathbb{P}(B)>0$15 with $\mathbb{P}(B)>0$16 yields the canonical uniform measure on the circle because $\mathbb{P}(B)>0$17 on $\mathbb{P}(B)>0$18. Conditioning on a line $\mathbb{P}(B)>0$19 through $\mathbb{P}(B)>0$20 gives a non-canonical fan measure with weight $\mathbb{P}(B)>0$21 along the line: $\mathbb{P}(B)>0$22 This over-represents points far from the origin relative to the Hausdorff-based conditional (Bungert et al., 2020).

5. Maximum Entropy and metric-based extension

A second resolution treats the paradox as a Bayesian inference problem on a metric space and uses the Maximum Entropy Principle to define a unique posterior. The reference quantity is relative entropy: $\mathbb{P}(B)>0$23 with $\mathbb{P}(B)>0$24 if $\mathbb{P}(B)>0$25. When $\mathbb{P}(B)>0$26, minimizing relative entropy under the constraint $\mathbb{P}(B)>0$27 recovers ordinary conditional probability. When $\mathbb{P}(B)>0$28, however, every $\mathbb{P}(B)>0$29 satisfying $\mathbb{P}(B)>0$30 is singular with respect to $\mathbb{P}(B)>0$31, so the MaxEnt problem is ill-posed in that direct form (Trésor et al., 29 Sep 2025).

The remedy is to relax the support constraint through the metric. On a standard Borel metric space $\mathbb{P}(B)>0$32, for a closed set $\mathbb{P}(B)>0$33, define

$\mathbb{P}(B)>0$34

and solve, for each $\mathbb{P}(B)>0$35,

$\mathbb{P}(B)>0$36

The unique optimizer has the form

$\mathbb{P}(B)>0$37

with $\mathbb{P}(B)>0$38 as $\mathbb{P}(B)>0$39 when $\mathbb{P}(B)>0$40. The limiting weak distribution, if it exists, is defined to be the MaxEnt posterior $\mathbb{P}(B)>0$41 (Trésor et al., 29 Sep 2025).

This construction depends on the metric but is invariant under measure-preserving isometries. If $\mathbb{P}(B)>0$42 is an isometry and $\mathbb{P}(B)>0$43 is the push-forward of $\mathbb{P}(B)>0$44, then

$\mathbb{P}(B)>0$45

The resulting conditional probability therefore depends on geometry, not on coordinates (Trésor et al., 29 Sep 2025).

On the sphere with geodesic distance $\mathbb{P}(B)>0$46, the MaxEnt posterior on any great circle is uniform. For the equator and a meridian, respectively,

$\mathbb{P}(B)>0$47

and

$\mathbb{P}(B)>0$48

This matches the symmetry of the Riemannian sphere (Trésor et al., 29 Sep 2025).

If one keeps the same measurable space and the same prior $\mathbb{P}(B)>0$49 but replaces $\mathbb{P}(B)>0$50 by the metric

$\mathbb{P}(B)>0$51

then the conditional on the equator remains uniform, while the conditional on a meridian becomes

$\mathbb{P}(B)>0$52

The classical “cosine law” is therefore reinterpreted as the posterior associated with a different geometric model of the same measurable sphere (Trésor et al., 29 Sep 2025).

6. Relation to Bayes’ rule, scope, and recurring misconceptions

Both modern resolutions aim to distinguish two different questions. One is geometric conditioning: what probability measure should be assigned to a set $\mathbb{P}(B)>0$53 or to a lower-dimensional subset of a metric space? The other is data-driven conditioning: what is the distribution of $\mathbb{P}(B)>0$54 given a specified random variable $\mathbb{P}(B)>0$55? The paradox belongs to the first question. If the target is genuinely a geometric subset such as an equator, a line, or a manifold, then the Hausdorff-based conditional $\mathbb{P}(B)>0$56 or a metric-based MaxEnt posterior must be specified. If the target is conditioning on a given measurement map, then one should condition on that map directly, not replace it by an arbitrary equivalent geometric level set (Bungert et al., 2020).

In ordinary Bayesian practice, the paradox does not invalidate standard continuous Bayes formulas. The MaxEnt framework proves that when the conditioning event has positive probability, the posterior reduces to the classical conditional measure

$\mathbb{P}(B)>0$57

For product spaces with continuous densities, it recovers the familiar formula

$\mathbb{P}(B)>0$58

and, in Euclidean spaces with Lebesgue measure,

$\mathbb{P}(B)>0$59

The Euclidean Hausdorff-based analysis likewise states that in a properly set-up Bayesian inverse problem, the canonical conditional and the usual posterior coincide (Trésor et al., 29 Sep 2025, Bungert et al., 2020).

A common misconception is that the paradox reveals an inconsistency in probability theory. The recent literature instead treats it as a signal that the problem has been under-specified. The prior measure and $\mathbb{P}(B)>0$60-algebra alone do not determine a conditional law on a null set. Additional geometric information is required: in the Euclidean resolution, the relevant structure is Hausdorff measure on a rectifiable set; in the MaxEnt resolution, it is the metric and the distance-based constraint family (Bungert et al., 2020, Trésor et al., 29 Sep 2025).

The scope of these constructions is not unlimited. The Hausdorff-based canonical measure is developed for finite-dimensional Euclidean spaces, assumes an absolutely continuous $\mathbb{P}(B)>0$61 with a lower semicontinuous density, and focuses on rectifiable sets and smooth manifolds. The MaxEnt construction is formulated on standard Borel metric spaces, requires regularity of neighborhood growth functions $\mathbb{P}(B)>0$62 for existence in the null-event case, and explicitly depends on the chosen metric. This suggests that there is no geometry-free universal resolution; rather, there are principled extensions once the geometric model has been fixed (Bungert et al., 2020, Trésor et al., 29 Sep 2025).