← Haseeb Chaudhry

What is uncertainty

When I was a kid, I used to spend hours watching rain on the window of the car and wonder whether I could predict where the raindrops would go.

Not in some mystical, philosophical way. I was just an incredibly bored 9 year old and I hated long drives so this is what I did. A drop would hang at the top of the glass, gather weight, and then break loose and run - but it never ran straight. It would slide an inch, catch on something invisible, veer left, pause, absorb a smaller drop and lurch forward with the new weight, fork, hesitate, and finally reach the bottom by a path that no one could have drawn in advance. I remember being certain though, in the way stubborn 9 year-olds are certain, that the path was not random, especially because I got it right every hour or so. I thought that if I knew everything about the drop - every smudge on the glass, every current of air, every grain of dust it might meet - I could trace the whole path before it moved and achieve my goal. The unpredictability was in me, not in the drop.

I had the same feeling watching the fireplace. The wisps at the top of a flame seem to move without reason, but I felt like if I looked long enough I'd figure out where they'd move. A flame is just gas and heat obeying physics. Nothing in it is choosing. If the movement looks random, that is a fact about the observer, not about the fire, right?

I did not have the words for it then, but the question I was asking is one of the oldest and most consequential questions a person can ask, and it has gotten deeper rather than shallower as I have learned more. The question is this. When something looks unpredictable, is it unpredictable because the world is genuinely random - or is it unpredictable only because I have not understood it well enough yet? And here is the part that took me years to see clearly: those two situations can look exactly the same from the inside, and almost no one stops to ask which one they are in.


Let's start with what probability actually is, because the whole confusion lives in a single word doing two different jobs.

When you say there is a fifty percent chance a coin lands heads, you can mean one of two completely different things, and the sentence sounds identical either way.

You might mean: the coin is genuinely undetermined until it lands, and even with perfect knowledge of every force acting on it you could not say which way it would go. This would be a claim about the coin - about the world. The randomness would be a real feature of reality, baked into the thing itself.

Or you might mean: the coin is in fact completely determined - its fate was sealed the instant it left your thumb by the exact force, spin, height, and air it encountered - but you don't have access to those details, so you summarize your ignorance as a probability. This would be a claim about you. The fifty percent is not a property of the coin. It is a property of your knowledge of the coin.

A coin flip is the second kind. A coin is a small deterministic machine. Physicists have built rigs that flip coins to the same outcome every time, and a skilled person can bias a flip by feel. The "fifty percent" was never in the coin. It was in us. We say "random" because we cannot be bothered to measure the thumb.

These two meanings of probability have names. The first - randomness that is a feature of the world - is called aleatory uncertainty, from the Latin for dice. The second - uncertainty that is merely a feature of our limited information - is called epistemic uncertainty, from the Greek for knowledge. And the single most important thing about them is that from inside a forecast they are indistinguishable. Both produce a probability distribution. Both let you make calibrated predictions. Both quantify your uncertainty with the same mathematics. You can build a model of the coin that is perfectly calibrated - that says fifty-fifty and is right half the time - and the model gives you no hint whatsoever that the underlying thing was fully determined all along. The distribution looks the same whether the randomness is in the world or in you.

This is the trap, and it is everywhere. We have built an entire civilization of forecasting on top of a word that refuses to tell us which kind of uncertainty it is describing.


It helps to see that there are really three layers here, not two, because the middle layer is where almost all the confusion lives and almost none of the attention goes.

The bottom layer is genuine randomness - true aleatory uncertainty, randomness that is a property of reality itself. The clearest candidate we know of is quantum measurement. As far as the physics can tell, when a radioactive atom decays is not determined by any hidden detail we could in principle uncover; the indeterminacy appears to be woven into the world at its base. If that is right, then there is a floor of real randomness underneath everything, and no amount of additional knowledge would let you predict a single decay. This layer is real, but it is thinner than people think. Very few of the things we actually care about predicting bottom out in quantum indeterminacy. The randomness of the very small mostly averages away before it reaches the scale of the things we want to forecast.

The top layer is the one my childhood self was staring at: deterministic, but chaotic. The raindrop is here. So is the weather. So is the wisp of flame. These systems are fully determined - every drop, every gust, every flicker is just physics executing - and yet they are unpredictable in practice, and not because we are lazy. They are unpredictable because they are chaotic in the technical sense: unimaginably sensitive to their starting conditions, so that the tiniest difference in where you begin explodes into a totally different outcome. This is the famous butterfly: a fractional change in the initial air, and the storm lands in a different country. The determinism is real and the unpredictability is also real, at the same time, with no contradiction. You cannot predict the weather two weeks out not because you have failed to compute it but because predicting it would require knowing the present state of the atmosphere to a precision that is physically impossible to obtain. The raindrop was, it turns out, genuinely beyond me - not because it was random, but because tracing it would have required measuring the universe.

And then there is the middle layer, which is where I have spent my adult life, and which is the layer almost everyone misses. The middle layer is deterministic, not chaotic, and simply uncomputed. These are problems that have a definite answer fixed by a knowable set of rules, where the rules are not even especially sensitive to initial conditions, where nothing about the problem is genuinely random or genuinely chaotic - and which we nonetheless treat as random, because no one has bothered to write down the rules and compute the answer. The middle layer does not look like the raindrop. It does not have the raindrop's excuse. It is unpredictable purely because it is unexamined.

The whole error of the data age, I have come to believe, is that we take things that live in the middle layer and file them in the bottom layer. We meet a problem we have not decomposed, we observe that we cannot predict it, we reach for probability, we build a model that produces a calibrated distribution - and the calibrated distribution flatters us into believing the uncertainty was real, aleatory, a property of the world, when in fact it was epistemic the whole time, a property of our own incomplete effort. We mistake our ignorance for the world's randomness. And the mistake is invisible, because, as I said, the two look identical from inside the model.


How do you tell them apart, then? If a genuine random process and a merely-uncomputed deterministic one both produce the same distribution, how does anyone ever know which layer they are standing on?

There is a test, and it is less mathematical than you would hope and more a matter of looking honestly at the thing.

The first question is whether there is a rule system underneath. Genuine randomness has no hidden ledger you could consult. There is no document, anywhere, that says which way the quantum coin will fall. But a startling number of "unpredictable" problems sit on top of an enormous, boring, fully written-down rule system that no one has read end to end. Ask of any problem you are tempted to forecast: is there, in principle, a set of rules that determines the answer - a statute, a contract, a code, a specification, a physical law in a non-chaotic regime - such that a sufficiently patient person with all the inputs could derive the answer exactly? If there is, you are not looking at randomness. You are looking at uncomputed determinism wearing the costume of randomness. The probability you have attached to it is a confession, not a discovery.

The second question is whether the apparent randomness is the kind that shrinks when you look closer. Genuine aleatory uncertainty does not shrink. You can study a fair quantum process for a thousand years and you will not predict the next outcome any better than you did on the first day; the distribution is the final word. But epistemic uncertainty shrinks under attention. Every time you decompose the problem one level further - separate out a component you can compute, identify a rule you had been absorbing as noise - the residual uncertainty gets smaller and the distribution gets tighter. If your uncertainty about a thing decreases as you decompose it, the uncertainty was never in the thing. It was in you, and you are watching it drain away as you do the work you had been avoiding.

The third question, the one that separates the middle layer from the top, is whether the system is chaotic - whether it is wildly sensitive to its starting conditions. This is what makes the raindrop genuinely hard and the insurance claim genuinely easy, even though both are deterministic. The weather amplifies tiny errors catastrophically; you would need impossible precision about the present to predict the future, so the determinism buys you nothing in practice. But most of the rule-governed problems we actually care about in commerce and law and administration are not like that at all. They are determined and stable: get the inputs roughly right and the answer is roughly right, get them exactly right and the answer is exactly right, and a small error in the input produces only a small error in the output. These problems have all of the computability of the raindrop and none of its chaos. They are the easiest things in the world to get right, and we have been treating them as though they were the weather.

So the diagnostic, in plain form: Is there a rule system underneath? Does the uncertainty shrink when you decompose? Is the thing stable rather than chaotic? Three yeses, and you are almost certainly looking at a problem that has a definite, computable answer that someone has simply declined to compute - and that they have been papering over with a probability ever since.


I want to be concrete about the cost of getting this wrong, because it is not an abstract or merely intellectual cost. It is enormous, and most of it is invisible precisely because the error is invisible.

Consider any domain where the answer is fixed by rules. What a medical claim should be paid under a contract and a fee schedule. What a tax return owes under the code. Whether a filing complies with a regulation. These are middle-layer problems in the purest form: there is a closed rule system, the rules are not chaotic, and a patient computer with the inputs could derive the answer exactly. And yet the dominant tools of the data age approach all of them the same way - gather historical examples, train a model to forecast the outcome, produce a calibrated distribution, and quote a confidence interval. The industry building these tools is proud of the confidence interval. The confidence interval is the problem. It is treating a provable quantity as an estimable one. It is reporting epistemic uncertainty - the gap left by its own failure to encode the rules - as though it were aleatory uncertainty inherent in the world.

The waste has two parts, and both are real. First, the model burns most of its capacity learning to approximate the rule system - laboriously, imperfectly, from examples - when the rule system could simply have been read and computed exactly. It is using a telescope to read a book that is sitting open on the desk. Second, and worse, by reporting the result as a forecast with irreducible uncertainty, it launders a solvable problem into an unsolvable-looking one, and everyone downstream accepts the residual error as the cost of doing business, as the way the world simply is. A solved problem gets filed as an unsolvable one. The structure that was there all along - derivable, exact, sitting in plain sight in a rulebook no one read - gets permanently misclassified as randomness, and priced accordingly, by everyone, forever, until someone bothers to look.

I have spent the last several years inside one such domain, and the formal version of this argument - the mathematics of why a model that forecasts a rule-governed quantity is provably beaten by one that simply computes it - I have worked out in detail elsewhere.1 But the specific domain is not the point of this essay, and I am deliberately not making it the point. The point is the prior move, the one that has to happen before any mathematics: the act of looking at a problem the whole world treats as a forecasting problem and asking whether it was ever a forecasting problem at all. Almost everything interesting happens in that question. The math is just bookkeeping once the question is answered correctly.


The skill, then - and I think it is becoming one of the more important skills of this era, though it has no agreed-upon name - is not the ability to build better models. We are awash in the ability to build models. It is the ability, standing in front of a problem, to correctly say what kind of uncertainty you are actually facing before you reach for any tool at all.

This is harder than it sounds, because the age we live in has a strong default, and the default points the wrong way. The default is to treat every hard problem as a prediction problem and every prediction problem as a job for statistics. The default is so strong that reaching for a probability has come to feel like rigor - like the mature, humble, data-driven thing to do. But sometimes the genuinely rigorous move, the harder and less fashionable move, is to refuse the probability. To say: this thing is not random, it is merely undone; there is a rulebook; let me go and read it. To insist that a problem be computed rather than estimated is, in the current climate, almost a kind of defiance, because it requires believing that the unglamorous work of decomposition will beat the prestigious work of modeling - and being willing to do the decomposition to prove it.

There is a deep version of this and a practical version, and I have come to care about both. The deep version is the one my childhood self was reaching for at the window: it is genuinely profound that the universe layers its uncertainty this way, that there is a thin floor of real randomness, a vast ceiling of chaotic determinism we cannot escape, and an enormous unexamined middle of plain determinism we simply have not gotten around to, and that all three can wear the same probabilistic mask. The practical version is the one I act on every day: most of the value left lying around in the world is in that middle layer, in problems everyone has agreed to call random because no one wanted to do the work of showing they were not.

I think about the raindrop idea a lot. I was wrong about it, in the end, but wrong in an instructive way. The raindrop really was beyond me - not because it was random, but because it was chaotic, and tracing it would have required measuring the whole universe to a precision no one can reach. The child's instinct that the drop was "only doing what the glass told it to do" was correct; the determinism was real. He just did not yet know that determinism and predictability are different things, and that a thing can be entirely determined and still, for honest reasons, beyond reach.

But here is what took me ten years to understand. Most of the things we call raindrops are not raindrops at all. They have the raindrop's appearance of unpredictability and none of its excuse. They are not chaotic. They are not random. They are sitting still on the desk, fully determined, entirely computable, waiting - and we call them random only because we have not yet looked. The whole trick, in work and maybe in more than work, is learning to tell which is which: to know when you are facing a real raindrop, genuinely beyond you, and when you are facing something that was only ever pretending to be one.

Notes

  1. A working paper applying this argument to healthcare reimbursement, though the same logic applies to any decomposable problem: crescentintel.com/research/deterministic-decomposition.