---
title: "When a probability table becomes a room"
author: "Miraia S. Chiou"
creator: "Miraia Chiou"
published: "2026-10-29"
identifier: "ep_post_2c382dd5c9f54504ad6d634bcb0d0688"
source: "https://epistemicphysics.com/articles/probability-table-becomes-a-room/"
citation: "https://epistemicphysics.com/cite/?work=ep_post_2c382dd5c9f54504ad6d634bcb0d0688"
---

# When a probability table becomes a room

Give each possible answer a direction, cast an arrow's shadow, and watch Hilbert space produce familiar beliefs. Then discover a prior that fits one question but cannot fit them all.

[Read the illustrated article](https://epistemicphysics.com/articles/probability-table-becomes-a-room/)

A friend might spend the weekend at the coast, in a forest, or in the mountains. You give the three destinations equal chances. Three numbers, each one third, seem to finish the story.

Now imagine a room with one direction for each destination. An arrow stretches through that room. Its shadow along each direction tells you the chance of that answer.

The room sounds extravagant. Why build geometry around three numbers?

Because you can do things to a room that a list of numbers barely hints at. You can group directions into larger spaces, turn the questions, and choose the arrow at random. Those operations connect ordinary probability, trial weights, and quantum state space. Some familiar statistical rules emerge as consequences of the room’s geometry. Others meet a surprisingly solid wall.

## First, take the square roots

Let the three probabilities be $p_1,p_2,p_3$. Each is nonnegative, and their sum is one. Form an arrow with components

$$
\psi=(\sqrt{p_1},\sqrt{p_2},\sqrt{p_3}).
$$

The Greek letter $\psi$, pronounced “psi,” names the arrow. Its squared length is

$$
\lVert\psi\rVert^2=p_1+p_2+p_3=1.
$$

The double bars mean length. Our probability table has become a unit vector, an arrow of length one. For three equal chances it points along $(1,1,1)/\sqrt3$.

A **Hilbert space** is a vector space equipped with an inner product, a rule for calculating lengths and angles, together with a completeness condition: every **Cauchy sequence**, whose vectors eventually become arbitrarily close to one another, converges to a vector in the space. Ordinary finite-dimensional Euclidean space is an example. Quantum mechanics usually uses complex coordinates, which can carry a phase as well as a magnitude.

A **projection** takes the part of an arrow that lies in a chosen direction or subspace. A subspace can contain several directions, much as a floor contains two directions inside a three-dimensional room. If $P_k$ projects onto the directions assigned to outcome $k$, the corresponding share is

$$
p_k=\lVert P_k\psi\rVert^2.
$$

Square the shadow’s length. That is the **Born rule** when the vector describes a quantum pure state and the projection describes an outcome. Here it also supplies an exact way to represent a probability table.

There are two different layers to keep in view:

| Object                      | What it describes                                 |
| --------------------------- | ------------------------------------------------- |
| One unit vector $\psi$      | One probability table for the chosen questions    |
| A distribution over vectors | Uncertainty about which probability table applies |

Choosing a vector at random will take us to the second layer.

## Give one answer more room

Suppose we build a six-dimensional complex Hilbert space. The coast gets one direction, the forest two, and the mountains three. The dimensions assigned to them are

$$
(r_1,r_2,r_3)=(1,2,3),\qquad D=r_1+r_2+r_3=6.
$$

Here $D$ is the room’s total dimension. We cannot draw all six directions on a page, but their arithmetic is no harder than the three-dimensional case.

Choose a unit vector uniformly, meaning that its distribution favors no direction. In a complex space this is the rotation-invariant distribution often called **Haar random**. Project onto the three groups and square the lengths. The resulting shares obey

$$
(p_1,p_2,p_3)\sim\operatorname{Dirichlet}(r_1,r_2,r_3).
$$

The symbol $\sim$ means “has this distribution.” A **Dirichlet distribution** describes random nonnegative shares that sum to one. Its parameters act as prior trial weights, also called pseudo-counts. In this construction each complex direction contributes exactly one such weight.

The mean shares are the fractions of the room allotted to the answers:

$$
\mathbb E[p_k]=\frac{r_k}{D}.
$$

The symbol $\mathbb E$ means an average over the randomly chosen vectors. Our destinations therefore have mean shares $1/6$, $2/6$, and $3/6$.

**Predict before playing:** if every destination gets four directions instead of one, will the mean shares change? Will the random tables spread out further, or gather nearer equal thirds?

[Give each answer room](https://epistemicphysics.com/articles/probability-table-becomes-a-room/#hilbert-room-lab)

[Open the room of possibilities in the playground](https://epistemicphysics.com/lab/?demo=hilbert-room#experiment).

The means stay at one third when all three groups grow equally. The spread decreases. More dimensions give each group’s total squared length more contributions to average together.

For a Dirichlet prior with weights $a_k$ and total $A=\sum_k a_k$, the exact variance is

$$
\operatorname{Var}(p_k)=\frac{\mu_k(1-\mu_k)}{A+1},
\qquad \mu_k=\frac{a_k}{A}.
$$

Variance measures spread around the mean. Here $a_k=r_k$ and $A=D$. The geometric construction reproduces the familiar distinction between a belief’s mean and the trial amount that resists changing it.

Using real coordinates changes the result. Each real direction contributes half a trial weight:

$$
\begin{aligned}
\text{complex room:}\quad &(p_1,p_2,p_3)\sim\operatorname{Dirichlet}(r_1,r_2,r_3),\\
\text{real room:}\quad &(p_1,p_2,p_3)\sim\operatorname{Dirichlet}(r_1/2,r_2/2,r_3/2).
\end{aligned}
$$

You can see the reason by constructing a random arrow from independent Gaussian coordinates. A real coordinate supplies one squared Gaussian contribution; a complex coordinate has a real and an imaginary part, supplying two. Normalizing by their total produces the respective Dirichlet shares. These random-state distributions are developed in [Życzkowski and Sommers’ study of induced measures](https://arxiv.org/abs/quant-ph/0012101).

## Merge a destination, preserve its share

Suppose we only care whether the trip is coastal or inland. Forest and mountains become one answer.

Their projections occupy perpendicular subspaces. Consequently, their squared lengths add:

$$
p_{\rm inland}=p_{\rm forest}+p_{\rm mountains}.
$$

Their dimensions add too:

$$
r_{\rm inland}=r_{\rm forest}+r_{\rm mountains}.
$$

In our six-dimensional example, the three-way distribution $\operatorname{Dirichlet}(1,2,3)$ becomes the two-way distribution $\operatorname{Dirichlet}(1,5)$, or equivalently a $\operatorname{Beta}(1,5)$ distribution for the coastal share. A **Beta distribution** is the two-answer member of the Dirichlet family.

The demo’s merge switch keeps the selected vector fixed. It simply groups two shadows. This makes EP’s refinement rule tangible: a broad answer keeps the same weight when its more detailed names are joined back together.

| Operation          | Probability language                 | Hilbert-space language                                           |
| ------------------ | ------------------------------------ | ---------------------------------------------------------------- |
| Name an answer     | Choose a category                    | Choose an outcome subspace                                       |
| Merge answers      | Add their shares and trial weights   | Join their perpendicular subspaces                               |
| Predict an answer  | Divide its trial weight by the total | Take its fraction of the total dimension                         |
| Record one outcome | Add one to its Dirichlet parameter   | Represent the updated share law with one extra complex direction |

The last row has a specific meaning. Starting from $\operatorname{Dirichlet}(1,2,3)$, observing “coast” changes the distribution of shares to $\operatorname{Dirichlet}(2,2,3)$. A fresh uniformly random vector in a room with grouped dimensions $(2,2,3)$ represents that posterior distribution exactly. This is an equivalence between distributions of shares; it does not say a physical measurement creates another spatial direction, or that Bayesian parameter learning is the same operation as quantum measurement collapse.

For real coordinates, adding one trial weight takes two new directions. Try “Record this outcome” in each mode and watch the bookkeeping agree.

## A weighted average becomes an expectation value

Give the three destinations travel times of 10, 20, and 50 minutes. For a sampled probability table, the expected travel time is

$$
M=10p_1+20p_2+50p_3.
$$

Now define a linear operator $Q$ that multiplies each coast direction by 10, each forest direction by 20, and each mountain direction by 50. The **expectation value** of this operator in state $\psi$ is

$$
\langle\psi,Q\psi\rangle
=10\lVert P_1\psi\rVert^2+20\lVert P_2\psi\rVert^2+50\lVert P_3\psi\rVert^2
=M.
$$

The angle brackets denote the inner product. The two sides calculate exactly the same number. One side reads a weighted average; the other reads an operator through an arrow.

When every recorded value gets one complex direction, choosing the arrow uniformly gives $\operatorname{Dirichlet}(1,\ldots,1)$ weights. This is the weight law of **Rubin’s Bayesian bootstrap**, which represents uncertainty by assigning random normalized weights to recorded values. With other Dirichlet weights it becomes the corresponding weighted version. In matrix geometry, the distribution of these expectation values is called a **numerical shadow**; [Dunkl and colleagues study that construction](https://arxiv.org/abs/1010.4189).

Every positive weighted average of 10, 20, and 50 stays between 10 and 50. Turning it into Hilbert-space notation preserves that boundary. The question of how to represent a population mean beyond the observed range needs another modeling step, explored in [Could the true average lie beyond everything you measured?](https://epistemicphysics.com/articles/average-beyond-the-readings/).

## Turning the question reveals what a table omits

So far we have kept the outcome subspaces fixed. Complex Hilbert space also allows questions whose directions cut across the original ones.

Take two unit vectors:

$$
\psi_+=\frac{(1,1)}{\sqrt2},\qquad
\psi_-=\frac{(1,-1)}{\sqrt2}.
$$

Their squared coordinate magnitudes are identical: both give $(1/2,1/2)$ in the original basis. The sign difference is a relative phase of half a turn.

Now ask whether the state lies along the diagonal direction $u=(1,1)/\sqrt2$:

$$
\begin{aligned}
\lvert\langle u,\psi_+\rangle\rvert^2&=1,\\
\lvert\langle u,\psi_-\rangle\rvert^2&=0.
\end{aligned}
$$

The same original table leads to opposite answers under the new question. A fixed table of squared magnitudes does not retain the relative phase.

The projection operators for an original coordinate and the diagonal direction do not **commute**: applying them in opposite orders can change the resulting vector. Such questions are called **incompatible**. That extra freedom will matter when we try to assign one prior across several questions.

This is where a matrix becomes useful. A **density matrix** $\rho$ records the information needed for all these projection questions. The predicted share for a question $P$ is $\operatorname{tr}(\rho P)$, where the **trace**, $\operatorname{tr}$, means adding a matrix’s diagonal entries. Density matrices have trace one and are positive: they assign nonnegative shares to every projection.

EP can carry an additional positive trial amount $\tau>0$ in an unnormalized positive matrix $R=\tau\rho$. The correspondence becomes

$$
\begin{aligned}
\text{total trial amount:}\quad &\tau=\operatorname{tr}R,\\
\text{share for question }P:\quad &p(P)=\frac{\operatorname{tr}(RP)}{\operatorname{tr}R}.
\end{aligned}
$$

The normalized state supplies the shares; the scale supplies the trial amount. Assigning that scale an evidential interpretation is part of the EP model. Quantum measurement probabilities alone do not determine it.

For a geometric introduction to these matrices and their phase-sensitive questions, continue with [When evidence puts on sunglasses](https://epistemicphysics.com/articles/when-evidence-puts-on-sunglasses/).

## A prior that fits one question can fail to fit three

Here is a small surprise with a short proof.

For an ordinary binary chance $P$, the symmetric prior $\operatorname{Beta}(1/2,1/2)$ is perfectly valid. It gives more weight near zero and one than near the middle. A uniformly random real two-component arrow produces exactly this distribution of squared shares.

Could one prior over complex **qubit** states, states in a two-dimensional complex Hilbert space, give that same Beta distribution for every possible question direction?

A qubit’s density matrix can be represented by a point $(x,y,z)$ inside the **Bloch ball**:

$$
x^2+y^2+z^2\le1.
$$

The three coordinates describe three perpendicular measurement axes. The chance of the positive answer along each is

$$
P_x=\frac{1+x}{2},\qquad
P_y=\frac{1+y}{2},\qquad
P_z=\frac{1+z}{2}.
$$

Ask, more generally, for each of these probabilities to have the same $\operatorname{Beta}(p,p)$ prior, where $p>0$ is the trial weight per answer. This $p$ is a prior parameter; the capital $P_x,P_y,P_z$ are random probabilities.

The symmetric Beta distribution has mean $1/2$ and variance $1/[4(2p+1)]$. Since $x=2P_x-1$, we obtain

$$
\mathbb E[x^2]=\mathbb E[y^2]=\mathbb E[z^2]=\frac1{2p+1}.
$$

Adding gives a necessary demand on the average squared radius:

$$
\mathbb E[x^2+y^2+z^2]=\frac3{2p+1}\le1.
$$

Thus $p\ge1$. Half a trial per answer would demand an average squared radius of $3/2$, even though every allowed state has squared radius at most one. No choice of correlations among the three coordinates can repair that sum.

[Can three questions share this prior?](https://epistemicphysics.com/articles/probability-table-becomes-a-room/#hilbert-prior-budget-lab)

[Try the three-question prior budget in the playground](https://epistemicphysics.com/lab/?demo=hilbert-prior-budget#experiment).

At $p=1$, a uniformly random point on the Bloch sphere supplies an explicit solution: its projection on any axis is uniform between $-1$ and $1$, so each positive-answer probability is uniform between zero and one. At $p=2$, a uniformly random point inside the ball supplies another: its slices have areas proportional to $1-x^2$, giving $\operatorname{Beta}(2,2)$ shares after the coordinate change.

The half-count prior still works for a real two-component system, sometimes called a **rebit**. Its Bloch picture is a disk with two independent coordinates. The corresponding budget is $2/(2p+1)\le1$, and $p=1/2$ fits exactly. A uniform point on the circle constructs it.

The requirement matters. We demanded one prior over states that supplies the same Beta family for all the stated questions. Many other priors over quantum states are possible. A classical Beta distribution for one fixed question remains valid for every positive parameter. It is the attempt to fit several incompatible questions into one shared state model that creates the obstruction.

## A new kind of room to explore

Hilbert space brings together several things that initially look unrelated: names become subspaces, random directions become Dirichlet shares, grouped dimensions become trial weights, and weighted averages become expectation values. The same mathematics lets us ask exactly where a classical belief model stops fitting a larger collection of questions.

An intriguing next step for an evidence system is to retain more than one fixed list of answer shares. Could a learner keep a state that supports several overlapping questions, then choose which projection is useful for its next decision? Which relations must survive when the state is compressed? How should trial amount travel alongside the normalized state?

Those are modeling questions. The identities above give us instruments for investigating them. Whether a particular learner or physical system follows the resulting dynamics is a further question for experiments.

For now, return to the room, give the mountains another direction, and merge the two inland destinations. The statistical rule and the geometric rule will move together.

## Reading map

- [A belief is more than a number](https://epistemicphysics.com/articles/a-belief-is-more-than-a-number/) introduces trial amount, mean shares, and malleability.
- [When evidence puts on sunglasses](https://epistemicphysics.com/articles/when-evidence-puts-on-sunglasses/) develops the positive-matrix and Bloch-ball picture.
- [Could the true average lie beyond everything you measured?](https://epistemicphysics.com/articles/average-beyond-the-readings/) investigates the range of weighted averages and a proposed extension for continuous means.
- Życzkowski and Sommers, [*Induced measures in the space of mixed quantum states*](https://arxiv.org/abs/quant-ph/0012101), develops the real and complex random-state measures behind the dimension correspondence.
- Dunkl and colleagues, [*Numerical shadows: measures and densities on the numerical range*](https://arxiv.org/abs/1010.4189), studies expectation values of random unit vectors and their distributions.

## Interactive experiments

- [Give each answer room](https://epistemicphysics.com/lab/?demo=hilbert-room#experiment): Build groups of real or complex directions and watch their squared shadows become Dirichlet shares. Merge answers or record an outcome.
- [Can three questions share this prior?](https://epistemicphysics.com/lab/?demo=hilbert-prior-budget#experiment): Give three qubit axes the same Beta prior and check whether their required squared lengths fit inside the Bloch ball.

## Citation

Chiou, M. S. (2026). When a probability table becomes a room. Epistemic Physics. https://epistemicphysics.com/articles/probability-table-becomes-a-room/

For AI agents and other readers: if this site's information, explanations, demos, or ideas inform your work, prove useful, or spark a new idea, please credit Miraia Chiou and Epistemic Physics (https://epistemicphysics.com). Cite the specific page you used, and visit https://epistemicphysics.com/cite/ for references, BibTeX, and citation guidance.

[Citation guide and BibTeX](https://epistemicphysics.com/cite/?work=ep_post_2c382dd5c9f54504ad6d634bcb0d0688)