A short series that builds intuition for quantum mechanics (without asking you to become a monk)
The Monty Hall Problem – Series map:
- Post 1: Geometry, vectors, and the death of “50/50”
- Post 2: Information theory and the Bayesian perspective
- Post 3: Quantum mechanics and the power of projection
- Post 4: Wolfram’s multiway systems (and the Ruliad) in toy form
Post 1 — Geometry, Vectors, and the Death of “50/50”
- You’re on a game show. There are three rooms (or doors).
- Two hide goats. One hides a car.
- You pick one room.
Monty — who knows where the car is — opens one of the other rooms and shows you a goat. Then he smiles and asks:
Do you want to switch?
Most people feel the gravitational pull of a simple thought:
Two rooms left, one car… so it’s 50/50.
That thought is the bug.
- And I don’t mean “bug” in the cute way. I mean: your brain just ran the wrong program.
- The fix is not “memorize the right answer.”
- The fix is: learn to recognize dependent measurements — situations where what you observe is correlated with what’s secretly true.
Today we’re going to build the cleanest intuition I know, starting from one humble object:
the 45–45–90 triangle
(the geometry of splitting a unit amount into two perpendicular components)

By the end, you won’t just “know the answer.” You’ll see why switching is a kind of
probability concentration — like a fog bank collapsing into a single valley.
A promise (because readers are not psychic)
If I borrow a physics word, I will define it immediately in plain English.
- Projection = throw away the possibilities that can’t match what you observed.
- Renormalization = rescale what remains so the probabilities add up to 1 again.
- Correlation = the measurement outcome changes depending on the hidden truth.
In other words: you won’t be punished for being human.
Section 0 — The Monty Hall setup (the whole story in one breath)
- Three rooms: {1, 2, 3}
- One car: exactly one room has the car; the other two have goats
- You pick a room (say Room 1)
- Monty opens a different room and always shows you a goat
- You may stay with your original room or switch to the remaining unopened room
The only “weird” thing here is Monty’s behavior.
- Monty’s reveal is not random. It obeys rules.
- Standard Monty Hall assumptions (the rules of the game)
- These are not “details.” These are the laws of physics for this universe:
- Monty never opens your chosen door.
- Monty never opens the car door.
- Monty always opens a goat door and always offers the switch.
- If Monty has a choice, he chooses randomly between the valid goat doors.
That’s the entire paradox: a tiny rule-based measurement can beat a giant human intuition.
Keywords (the minimum vocabulary to stay sane)
- Independent measurement:
- An observation whose distribution does not depend on the hidden truth.
- If you eliminate one option randomly, the remaining probability often splits symmetrically.
- Dependent measurement:
- An observation whose distribution does depend on the hidden truth.
- Evidence reweights hypotheses unevenly.
- Hidden state:
- The true-but-unseen configuration of the system
(here: which room actually has the car).
- The true-but-unseen configuration of the system
- Weights (reweights):
- Probability mass assigned to each hypothesis.
Evidence “reweights” by multiplying by likelihoods, then renormalizing.
- Probability mass assigned to each hypothesis.
- Likelihood:
- How probable this observation is if a hypothesis were true, e.g. $$
P(\text{evidence}\mid \text{hypothesis})
$$
- How probable this observation is if a hypothesis were true, e.g. $$
If that last line feels like a lot: good. It’s the only line that matters.
Section 1 — The one distinction that explains everything
There are two universes people accidentally mix together.
- Universe A: Independent reveal (not Monty Hall)
- If a door is opened at random regardless of where the car is, the reveal is independent of the hidden state.
- In that universe, deleting one option can genuinely make things feel like 50/50 — because nothing “intelligent” happened.
- Universe B: Dependent reveal (actual Monty Hall)
- Monty does not open a door at random. He follows a protocol:
- He never opens your chosen door.
- He never opens the car door.
- Monty does not open a door at random. He follows a protocol:
So the reveal is dependent on the hidden state.
And here’s the whole moral, said plainly:
When evidence depends on the hidden truth, it reweights the remaining possibilities.
- If you treat a dependent reveal like an independent one, you will hallucinate “50/50.”
- Not because you’re dumb.
- Because your brain is honest, and the world is adversarial.
Now let’s turn “reweights” into something you can feel.
Section 1.5 — The sanity check (how to feel correlation in your bones)
Let’s stop pretending your brain is broken
It’s doing what it was designed to do: compress a situation into a snapshot and make a fast call.
Monty Hall punishes that instinct, because the snapshot (“two doors left”) does not contain what you need. It hides the valves that produced the snapshot.
Think of probability as conserved fluid in a three-chamber system.
At the start, the fluid is evenly distributed:

| Door | Probability |
| $$\text Door 1$$ | $$\frac{1}{3}$$ |
| $$\text Door 2$$ | $$\frac{1}{3}$$ |
| $$\text Door 3$$ | $$\frac{1}{3}$$ |
Now Monty enters wearing a lab coat and a perfectly calm smile.
He is not “a guy opening a door.” He is a measurement apparatus: a machine with a rule book that routes the fluid.
And correlation means:
The valve position depends on the hidden truth.
- If the valve reacts to the hidden state, the outcome is not neutral.
- It’s evidence.
- A diagnostic test that behaves like Monty
- Pretend you’re debugging an outage. There are three possible causes:
- A: DNS
- B: Database
- C: Deploy bug
No information yet, so your belief-fluid is uniform:
$$
P(A)=P(B)=P(C)=\frac{1}{3}
$$
Now you run a “diagnostic test” that is aggressively Monty-ish:
- It will never directly name the true culprit.
- It prints a “safe” message that avoids the actual cause.
You get:
“B is not the problem.”
Your brain wants to do this:
Cool, B is eliminated. A or C remain. 50/50.
That’s the snapshot mistake.
A serious engineer asks:
Does this test’s output depend on the true cause?
- If yes, the output is correlated with the hidden state.
- Which means the test is a valve.
Here’s the rule:
- If A is true, the test can safely print “not B” half the time.
- If B is true, it cannot print “not B.”
- If C is true, it is forced to print “not B.”
So:
$$
P(\text{“not B”}\mid A)=\frac{1}{2},\quad
P(\text{“not B”}\mid B)=0,\quad
P(\text{“not B”}\mid C)=1
$$
Now do the only law that matters:
Posterior $$\propto$$ likelihood × prior, then renormalize.
Unnormalized:
| $$\text A$$ | $$\frac{1}{3}\cdot\frac{1}{2}=\frac{1}{6}$$ |
| $$\text C$$ | $$\frac{1}{3}\cdot 1=\frac{1}{3}$$ |
| $$\text Normalize (sum)$$ | $$\frac{1}{2}$$ |
| $$P(A\mid \text{“not B”})$$ | $$\frac{1}{3}$$ |
| $$P(C\mid \text{“not B”})$$ | $$\frac{2}{3}$$ |
Not 50/50.
Because the evidence was generated by a rule that depends on the truth.
Translation back to Monty Hall
- Culprit A/B/C ↔ car behind Door 1/2/3
- “not B” ↔ Monty opens Door 2
- “avoid the culprit” ↔ Monty never opens the car door
The moral is clean enough to engrave on steel:
- “Two options remain” tells you what’s possible.
- “50/50” would require the valve to treat those options symmetrically.
Monty does not.
Monty is lawful.
Law creates bias.
Bias creates advantage.
Section 2 — Reduce the story to state space (tuples → vectors)

Think of the game as a three-chamber system.
The car’s location is the hidden plumbing state.
Your beliefs are conserved probability fluid being routed by rules.
Step 1: Enumerate the state space (be exhaustively boring)
Before any drama, exactly one room has a car:
| World | Room 1 | Room 2 | Room 3 |
|---|---|---|---|
| 1 | Car | Goat | Goat |
| 2 | Goat | Car | Goat |
| 3 | Goat | Goat | Car |
- That’s it. Only three possible worlds.
- Each equally likely at the start: $$P=\frac{1}{3}$$.
- Step 2: Encode it so math can touch it
- We want a mapping where “winning” becomes mechanical.
So we adopt the cleanest encoding:
- Car → 1
- Goat → 0
Then each possible world becomes a vector (a one-hot basis vector):

| World | Vector |
|---|---|
| World 1 | $$\vec{W}_1=(1,0,0)$$ |
| World 2 | $$\vec{W}_2=(0,1,0)$$ |
| World 3 | $$\vec{W}_3=(0,0,1)$$ |
- Each axis is a room.
- Each world is “the arrow that points only at the correct room.”
- This is the smallest possible state space model of the game.
Step 3: Your choice is also a vector
If you pick Room 1, define your choice vector:
$$
\vec{C}=(1,0,0)
$$
- Now you’re not “a person choosing a door.”
- You’re an arrow asking the universe: am I aligned with the car?
Section 3 — What is a state vector? Explain it to God (briefly, without flinching)
- A state is a complete specification of what’s true about the system.
A vector is a geometric object you can add, scale, and project onto axes (coordinate directions).
When you represent states as vectors, you gain superpowers:
- You can talk about projections (“how much does this state point along my axis?”)
- You can talk about subspaces (“what remains possible after I observe something?”)
- You can talk about measurements as operations that filter what’s allowed
Here, “measurement” means: a rule that turns a hidden world into an observation, which lets you discard incompatible worlds and rescale what remains.
In the metaphor:
- Probability is conserved fluid.
- Evidence is a filter.
- Monty is the guy operating the valves.
Monty Hall is secretly a measurement problem. And measurement problems love vectors.
Section 4 — Your first choice creates two subspaces: 1/3 vs 2/3

Suppose you pick Room 1.
Before anything is opened:
- Probability the car is in Room 1: $$\frac{1}{3}$$
- Probability the car is in {Room 2 or Room 3}: $$\frac{2}{3}$$
So your choice splits the universe into two chunks.
If you like the fluid picture: you just created two reservoirs.
Here, “subspace” just means: a bucket of possible worlds grouped together.
- Subspace S₁ (“my chosen room”): weight $$\frac{1}{3}$$
- Subspace S₂ (“the other two rooms”): weight $$\frac{2}{3}$$
- Nothing about Monty has happened yet. This split is purely from your first act.
- Important: this 2/3 weight belongs to the pair of rooms as a group.
- That’s about to matter.
Section 5 — Probability concentration (projection + renormalization)

Caption: Your first choice isolates $$\frac{1}{3}$$. The other two rooms hold
$$\frac{2}{3}$$ as one reservoir. Monty’s reveal doesn’t split $$\frac{2}{3}$$ into
$$\frac{1}{3}+\frac{1}{3}$$; it routes the full $$\frac{2}{3}$$ onto the single remaining alternative.
Here’s what your brain tries to do incorrectly:
- “Two rooms left ⇒ split probability evenly.”
- But probability doesn’t split evenly just because two labels remain.
- Probability splits evenly only if the evidence treats the remaining options symmetrically.
- Monty’s evidence does not.
- Why not?
- Because Monty’s rules force him to avoid the car and avoid your door.
If you picked Room 1, here’s the entire asymmetry in one table:
| True world (car is in…) | Monty can open… | Forced or free? | If you switch, you go to… |
|---|---|---|---|
| Room 1 | Room 2 or Room 3 (both goats) | Free (2 choices) | A goat (you lose) |
| Room 2 | Room 3 (must avoid the car + your door) | Forced (1 choice) | Room 2 (you win) |
| Room 3 | Room 2 (must avoid the car + your door) | Forced (1 choice) | Room 3 (you win) |
So when Monty opens a goat door, he’s not “removing a random door.”
He’s performing a rule-based reveal that pushes probability weight around.
In the fluid picture: he’s opening a valve under constraints.
In plain English: you threw away the worlds that can’t match what Monty just showed you, then you rescaled the remaining probabilities so they add up to 1 again.
Section 6 — The 45–45–90 triangle: the geometry of “50/50”
Now we build the most robust intuition tool in probability: what “50/50” actually means.
The Triangle

A 45–45–90 triangle with legs equal corresponds to “equal projection” onto two perpendicular axes (at right angles).
In vector form, a unit vector (an arrow of length 1) at angle θ has components:
$$
(\cos\theta,\ \sin\theta)
$$
If you interpret those components as “weights,” then a 45–45–90 triangle is the special case where the weights are equal.
At $$\theta=45^\circ$$:
$$
\cos\theta=\sin\theta=\frac{1}{\sqrt{2}}
$$
So a 45–45–90 triangle is a geometric picture of “equal share.”
What it is not a picture of:
“Two options exist.”
Two options can exist and still be weighted $$\frac{1}{3}$$ vs $$\frac{2}{3}$$.
The geometry decides the weights. Not the count of labels.
Section 7 — Put the game in 3D: axes as rooms, planes as “walls”
Think of a 3D coordinate system:
- x-axis = Room 1
- y-axis = Room 2
- z-axis = Room 3
- A state “lies flat on a wall” when one coordinate is zero.
- That means it ignores one axis completely.
- In the fluid picture, that axis is a zero-flow direction.
- The wall tells you what’s possible.
- The valve tells you how the remaining probability is distributed.
This idea will become crucial later when we talk about “not lining up” with the information the game gives you.
Section 8 — A matrix view (optional, but clarifying)

This representation is almost offensively simple: three basis vectors, stacked into the identity matrix. And yet it already contains real structure. The identity matrix is perfectly symmetric—transpose it, nothing changes. Even if you rotate it as a geometric pattern by , it returns to itself. That’s the quiet punchline: before any choices or reveals, the game treats all doors the same. The asymmetry isn’t “in the doors.” It’s injected later by a rule—your choice plus Monty’s constrained reveal. We haven’t said “group theory,” we haven’t touched trigonometry, we haven’t invoked complex numbers—and we’re already staring at invariance under transformations. The whole series is basically: start with symmetry, then watch measurement break it in a lawful way.
If we use the Car = 1 encoding from above, the three possible world vectors are:
Here are the three Monty Hall “world vectors” in goat-indicator encoding:
We’re using the encoding 1 = goat, 0 = car, so each world has two goats, hence two 1s and one 0. Each vector “ignores” exactly one axis — the axis of the door containing the car.
Stack those vectors into a matrix:
This is a hollow symmetric matrix:
- symmetric:
- hollow: (zeros on the diagonal)
The clean interpretation: the diagonal entries represent “self-links,” and here they’re all zero — no door links to itself. In graph terms, is the adjacency matrix of the simple undirected graph on 3 nodes where every node is connected to the other two (the complete graph with no self-loops).
And here’s the philosophical punchline: this is an absurdly small representation. Three vectors, nine bits of structure—yet it already contains symmetry, invariance under transpose, and even a visual 180° rotational invariance (rotate the matrix twice!). We haven’t touched group theory, trig, or complex numbers… and the geometry is already awake. The only asymmetry comes later, when measurement (Monty’s constrained reveal) and your first choice act like valves that reroute the probability flow.
- This is just a compact way of saying: before anyone chooses anything, the problem treats the three doors symmetrically.
- The asymmetry comes entirely from the rule-based reveal (Monty) plus your first choice.
Section 9 — Dot products: “what do I experience from my axis?”
Here’s the geometry move.
- Your choice can be written as a vector.
- If you pick Room 1, define your choice vector as:
$$
\vec{C}=(1,0,0)
$$
Each possible world (where the car is) is also a vector, for example:
$$
\vec{W}_1=(1,0,0),\quad \vec{W}_2=(0,1,0),\quad \vec{W}_3=(0,0,1)
$$
Now we can use the dot product as a simple “alignment detector”:
| Dot (Inner) Product: $$\vec{C}\cdot\vec{W}$$ |
| If your choice matches the car location (you win).$$\vec{C}\cdot\vec{W}=1$$ |
| If your choice does not match (you lose). $$\vec{C}\cdot\vec{W}=0$$ |
- Winning isn’t magic.
- It’s alignment.
- And alignment is geometry.
If you picked Room 2 instead, your choice vector would be $$\vec{C}=(0,1,0)$$
- The exact same dot-product rule works.
- This is why “Dot Product = 1 = you win” is such a clean primitive.
Section 10 — The punchline, finally stated as geometry
When you pick a door, you create:
- a 1/3 subspace (“my door”)
- a 2/3 subspace (“the other two doors”)
- When Monty opens a goat door, he is not deleting 1/3 of your probability.
- He is performing a dependent reveal that forces the entire 2/3 bucket onto the single remaining door.
So after Monty opens:
- your original door still carries 1/3
- the other unopened door carries 2/3
That’s it.
Switching wins because you choose the door that inherited the mass of the larger subspace.
Heuristics (serious rules for weird worlds)
- Maximize information revelation:
- Prefer actions that force the world to commit.
- Monty’s reveal is information precisely because it is rule-based.
- Always swap when offered > 2 options:
- Start with (3): $$N$$
- Choose (1): $$1$$
- Oracle reveals wrong answers (1): $$N-2$$
- Switching captures the probability mass (2/3): $$(N-1)/N$$
- Ask for “Oracle Hints” that eliminate wrong answers:
- Unconstrained hints are just vibes.
- Constrained hints are evidence. Evidence is what moves probability.