Skip to content

Entropy, explained the way you’d tell it to a friend - Part II

You need no book beyond this page. You need no fact you do not already have. You need a pencil and one sheet of paper at the end.

You need no book beyond this page. You need no fact you do not already have. You need a pencil and one sheet of paper at the end.

A Count Behind Every Closed Box

One number counts what hides behind what you see. It has two names. You will meet both. They are the same count. This article builds that count from a box of balls, a coin on a table, and one yes-or-no question.

You shake a sealed box. You hear the balls inside. You know the pressure on the walls. You know the heat. You know the volume. You do not know which ball is where. You do not know their speeds. The number of full arrangements consistent with what you hear is a count. Call that count W. The number log(W) tells you how many bits of description pin the arrangement down. That number is what physicists call entropy. That number is what an engineer calls the information in a message you have not yet received. One count. Two names. You cannot split them.

The question this article answers: what is information, and how does it relate to entropy? The answer, stated now before the argument: they are the same mathematical object. Both equal the logarithm of a count. The count is of possible micro-arrangements consistent with a coarse observation. The physics name is entropy. The engineering name is information-entropy. The difference between them is not the number. It is what you count.


The Context on Trial

The attached context asks two things. Reduce them to claims. Test each.

Claim 1. "Information" is a standalone noun. You can define it apart from a specific counting act.

Verdict: corrected. Information is not a free-floating thing. It is a quantity attached to a source and a receiver. You define it by asking: how many arrangements were possible before you looked, minus how many are possible after. Strip the counting act and the word is empty. Rank: corrected.

Claim 2. "Entropy" is a standalone noun. You can define it as "disorder" without reference to a count.

Verdict: corrected. "Disorder" is a picture. It points at the count but is not the count. A gas spread through a room is not "more disordered" in any measurable sense unless you count the arrangements. The word "disorder" misleads. It smuggles in a visual judgment where a number is required. Rank: corrected.

Claim 3. Entropy and information are "related."

Verdict: vindicated, then deepened. They are not merely related. They are identical in form. Both compute log of a count of microstates consistent with a macro-observation. The word "related" undersells the identity. Rank: vindicated, but the strength of the link is stronger than the context implies.

Adverse result before conclusion: if you build your intuition on the words "disorder" and "data," you will get the physics wrong. A crystal at absolute zero has low entropy. That is not because it is "orderly" in a visual sense. It is because exactly one microstate matches the macrostate. A perfect crystal with defects has higher entropy, not because it looks messier, but because more arrangements match the same pressure-heat-volume reading. The word "disorder" will fail you here. You need the count.


Adverse Results: What the Naive Framing Gets Wrong

Framing A: "Entropy is disorder."
This framing fails in three places. First: a liquid at low temperature can have higher entropy than a crystal at high temperature. The liquid looks "more ordered" to your eye. The count says otherwise. Second: mixing two gases raises entropy. The mixture looks uniform. A uniform paint mixture looks more ordered than a separated one. The count disagrees. Third: "disorder" has no unit. Entropy has a unit. It is energy divided by temperature. You cannot measure disorder with a thermometer. You can measure entropy. The word fails. Delete it.

Framing B: "Information is data."
Data is a record. A tape holds data. The tape's entropy is fixed. The information in the tape depends on what you did not know before you played it. If you already know every symbol on the tape, the data carries zero new information to you. Information is not the tape. It is the reduction in your count of possibilities. Delete the equation "information = data." Keep the equation "information = change in the count."

Framing C: "Entropy always increases, so information always decays."
The second law says the total entropy of an isolated system does not decrease. It does not say every local count grows. You can lower the entropy of one part by raising it elsewhere. You can write a message (lower the entropy of your uncertainty) by burning fuel (raising the entropy of the room). The total count does not shrink. The local count can. This framing fails by confusing the whole with the part. Delete it.

The ground is now clear of the naive pictures. What remains is a counting problem.


[MARKER: The ground shifts from record to construction. What follows builds the argument from primitives. No external fact enters. Every symbol is defined before use.]


I. The Box

A sealed box. Inside: N balls. Each ball has a position. Each ball has a speed. Each ball has a direction. The full specification of every ball, every position, every speed, every direction: call this a microstate. One microstate is one complete answer to "where is every ball, going where, at what speed, right now."

You cannot see inside. You measure three numbers through the walls. Pressure on the walls. Temperature of the walls. Volume of the box. Call these the macrostate. The macrostate is coarse. It blurs N positions and N speeds into three numbers.

Many microstates give the same macrostate. Swap two balls. The pressure does not change. The temperature does not change. The volume does not change. A new microstate, same macrostate. Reverse every speed. Same macrostate. Shift every position by one micrometre. Same macrostate, to measurement precision.

The number of microstates compatible with your macrostate: call it W. W is a count. It is the number of full answers consistent with your three readings. W is usually enormous. For a mole of gas (about 6 × 10²³ balls), W exceeds 10^(10²³). You cannot write it down. You can take its logarithm.

Rank of W: derived. It follows from the geometry of the box and the statistics of ball positions and speeds. It is not guessed. It is computed, in principle, from the rules of mechanics.


II. The Count and Its Name

Define a number S. Set S equal to k times log(W). The constant k is a fixed physical constant. Its value is 1.38 × 10⁻²³ joules per kelvin. You do not need its size for the logic. You need its role: it converts a pure count into a physical unit (energy per temperature).

S = k · log(W).

This number has a name. The name is entropy.

Test: does S behave like a physical quantity? Yes. It is additive. Two boxes side by side: the joint microstate count is W₁ × W₂. The joint entropy is k · log(W₁ · W₂) = k · log(W₁) + k · log(W₂) = S₁ + S₂. Entropy adds. Entropy is extensive. It scales with size. Double the box, double N, and S roughly doubles. This passes the physical test.

Test: does S grow when you open a partition between two gas regions? Before: two boxes, counts W₁ and W₂. Joint count W₁ · W₂, but the balls are confined. After: one box, count W₁₂. Now W₁₂ > W₁ · W₂, because balls can now occupy the larger volume. So S rises. The count says why: more positions become available. The word "disorder" would have you guess. The count tells you.

Rank of S = k log W: derived from the counting definition. The constant k is measured (tested). The functional form is derived from the requirement that entropy be additive and extensive.


III. The Logarithm

You need one more tool before you can read the numbers. Build it now.

logarithm to base 2 answers one question: how many times do you multiply 2 by itself to reach this number?

log₂(1) = 0. (Multiply zero times.)
log₂(2) = 1. (Multiply once.)
log₂(4) = 2. (Multiply twice.)
log₂(8) = 3. (Multiply three times.)
log₂(2ⁿ) = n. (Multiply n times.)

The logarithm converts multiplication into addition. log₂(A · B) = log₂(A) + log₂(B). This property is the engine of everything that follows. You take the log of a product of counts, and the counts add. The macrostate becomes a sum of contributions. The sum is manageable. The product is not.

You also need the inverse. If log₂(x) = n, then x = 2ⁿ. The logarithm undoes the power. You will use this when you convert between "how many arrangements" and "how many bits of description."

Rank of the logarithm: tested. It is an arithmetic operation. You verify it by multiplication. No physics enters. No model enters. It is pure counting.


IV. The Bit

One bit is the answer to one yes-or-no question. It splits a set into two equal halves. It picks one item from two.

A coin has two faces. One flip: two possible outcomes. To specify your outcome, you need one yes-or-no question: "Was it heads?" The answer is one bit. log₂(2) = 1. One bit.

A deck of 8 cards. One card is face-down. You need log₂(8) = 3 yes-or-no questions to identify it. "Is it in the top half?" "In the left quarter?" "In the first eighth?" Three bits. log₂(8) = 3.

A set of size W. To specify one element, you need log₂(W) bits. This is the fundamental conversion. The count of possibilities becomes the number of binary questions required to pick one.

Rank of the bit: derived from the definition of log₂. It is a unit. One bit = one binary choice.


V. The Source

Now shift the object of the count.

source emits a sequence of symbols. The symbols come from a fixed alphabet. For a coin: the alphabet is {H, T}. For a telegraph: the alphabet is {dot, dash}. For a text: the alphabet is {a, b, …, z, space, …}.

The source has a pattern of chances. Each symbol has a probability. For a fair coin: P(H) = 1/2, P(T) = 1/2. For a loaded coin: P(H) = 0.9, P(T) = 0.1.

You receive symbols one at a time. You do not know the next symbol. Your uncertainty is a count. Before the next symbol: the possible continuations are two (for a coin). After you see the symbol: the possible continuations are one. You have narrowed the count from 2 to 1. The reduction is one bit.

For a loaded coin: before, the possibilities are weighted. Heads carries 0.9 of the weight. Tails carries 0.1. When heads arrives, your surprise is small. You expected it. You narrow from a set where your outcome held 90% of the weight. The reduction is small: log₂(1/0.9) ≈ 0.15 bits. When tails arrives, your surprise is large. You narrow from a set where your outcome held 10% of the weight. The reduction is large: log₂(1/0.1) ≈ 3.32 bits.

The information in one symbol is log₂(1/p), where p is the probability of that symbol. A rare symbol carries more information. A common symbol carries less. Information is not the symbol. Information is the shrinkage of your count of possibilities.

Rank of "information = log₂(1/p)": derived. It follows from the counting definition of the bit in Section IV, applied to a weighted set. No new physics. No new model. Pure arithmetic on a probability weight.


VI. The Average

You do not know which symbol will come next. You receive many symbols over time. You want a single number: the average information per symbol.

For the loaded coin:

  • Heads arrives with chance 0.9. Each heads carries log₂(1/0.9) bits.
  • Tails arrives with chance 0.1. Each tails carries log₂(1/0.1) bits.
  • Average: H = 0.9 · log₂(1/0.9) + 0.1 · log₂(1/0.1).
  • H = 0.9 · (−log₂ 0.9) + 0.1 · (−log₂ 0.1).
  • H = −0.9 log₂ 0.9 − 0.1 log₂ 0.1.
  • H ≈ 0.469 bits per flip.

For the fair coin:

  • H = −(1/2) log₂(1/2) − (1/2) log₂(1/2) = 1 bit per flip.

The number H(p) = −p log₂ p − (1−p) log₂(1−p) depends on the bias p. It is zero at p = 0 and p = 1 (you know the outcome; nothing surprises). It peaks somewhere in between. Where?

This number H is called information-entropy or Shannon entropy. It is the average number of bits per symbol required to describe the output of the source. It is also the logarithm of the effective number of equiprobable outcomes. For n independent flips, the number of typical sequences is about 2^(nH). To pick your sequence from the typical set: nH bits. Per flip: H bits.

Rank of H(p): derived. It is the expectation (weighted average) of the per-symbol information. The weights are the probabilities. The per-symbol quantity is log₂(1/p). The derivation is arithmetic. No model. No guess.


VII. The Identity

Put the two numbers side by side.

Physics: S = k · log(W). W = number of microstates compatible with the macrostate.

Engineering: H = −Σ pᵢ log₂ pᵢ. pᵢ = probability of outcome i.

The physics expression, written in probability language: if each microstate in the macrostate has probability 1/W (they are equally likely, by the fundamental postulate of statistical mechanics), then:

H_phys = −Σᵢ (1/W) log₂(1/W) = −(W)(1/W) log₂(1/W) = log₂(W).

The engineering expression, written for a uniform source over W symbols:

H_eng = −Σᵢ (1/W) log₂(1/W) = log₂(W).

The formulas are identical. The same algebra. The same count. The only difference: in physics, the probabilities are over microstates of a gas. In engineering, the probabilities are over symbols of a telegraph. The number is the same number. The log of a count. The reduction from "any of W" to "this one."

Rank of the identity: derived. It is an algebraic equivalence. You verify it by expanding both sums. No approximation. No model. No limit. The equations match term by term.


The Giants at the Table

I will tell you how two people found this count. They enter here as characters. They sit. They struggle. They make errors. They are not authorities. They are people at a table, staring at a number they do not yet understand.

The first table, Vienna, 1870s. A man named Ludwig sits before a model of gas. He has N balls in a box. He knows the pressure. He does not know the positions. He asks: how many arrangements of the N balls give this pressure? He writes down a count. He takes its logarithm. He divides by a constant. He calls the result S. He writes S = k log W on a blackboard. He steps back. He looks at the equation. He is not sure it means anything yet. It is a number. It adds. It grows when he opens a partition. It matches the behaviour of heat flowing from hot to cold. He does not know why it matches. He has a number that works. He does not yet have the reason.

He makes an error. He assumes the count W depends only on energy. Later, others show it depends on volume too. He corrects the count. The number changes. The name stays.

The second table, Washington, 1948. A man named Claude sits before a telegraph. He sends symbols. He receives symbols. He asks: how many bits per symbol must I spend to describe my message? He looks at the pattern of chances. He writes an average. He calls the result H. He writes H = −Σ p log p on a page. He steps back.

He does not know about the balls in the box. He does not read the gas literature. He builds the average from the telegraph alone. He gets the same algebraic form. He does not know why.

The bridge, later. A man named Rolf sits between the two tables. He asks: are these the same number? He writes both formulas. He expands the sums. They match. He is quiet for a while. Then he writes a paper. Then he writes another. Then he builds a machine that erases one bit of memory and measures a tiny heat flow into the environment. The heat equals k T times ln 2 per bit erased. The physics constant k appears in the engineering equation. The two tables are the same table. He did not choose to connect them. The algebra forced the connection. He follows where the count leads.

These three men did not prove the identity by appeal to each other. They each built the count from their own object. The gas gave them log W. The telegraph gave them −Σ p log p. The algebra is the same algebra. The count is the same count. They did not need to read each other's work. They needed the same arithmetic.


The Proof You Complete

The setup. A coin. Heads with probability p. Tails with probability 1−p. p is between 0 and 1. The average information per flip is:

H(p) = −p log₂ p − (1−p) log₂(1−p)

with the convention: 0 · log₂ 0 = 0. (You take the limit. The limit is 0. You verify this by algebra. p log p → 0 as p → 0⁺.)

Theorem. H(p) ≤ 1 for all p in [0, 1]. Equality holds if and only if p = 1/2.

You now complete the proof. You have a pencil. You have one sheet of paper. You do not need this article after this line. You need only the formula above and the rules of differentiation.

Step 1. Differentiate H(p) with respect to p. Use the product rule on the term −p log₂ p. Use the chain rule on the term −(1−p) log₂(1−p). Recall: d/dp [p log₂ p] = log₂ p + 1/ln 2. Recall: d/dp [(1−p) log₂(1−p)] = log₂(1−p) + 1/ln 2.

Compute H′(p). Simplify. Show that H′(p) = log₂((1−p)/p).

Step 2. Set H′(p) = 0. Solve for p. Show that the only solution in (0, 1) is p = 1/2.

Step 3. Evaluate H at three points. H(0) = 0. H(1) = 0. H(1/2) = 1. Write these down. Verify each by substitution.

Step 4. Conclude. H is continuous on [0, 1]. Its only critical point in (0, 1) is p = 1/2. The endpoints give 0. The critical point gives 1. Therefore the maximum is 1, attained only at p = 1/2.

This is the proof. You complete Steps 1 through 4 on your paper. You do not skip Step 1. You do the differentiation yourself. You check your algebra. You verify the simplification to log₂((1−p)/p). You solve the equation. You substitute the endpoints. You write the conclusion.

When you finish, you have proven: no source with two outcomes carries more than one bit per symbol. The fair coin is the maximum-entropy source. Every bias reduces the count. Every bias reduces the information. The count does not lie.

Rank of the theorem: derived. You have just derived it. It is yours now. It was not given to you. You built it.


What the Count Refuses

The count does not answer every question you bring to it. It refuses some.

It does not tell you which symbol comes next. It tells you how much you do not know on average. You still receive each symbol in surprise. The average smooths the surprise. The individual event still stings.

It does not tell you whether the gas in your box is "ordered" or "disordered." It tells you the count. The count is 10³⁰. The count is 10³⁰⁰. The difference between those counts is the difference between a crystal and a plasma. The word "disorder" tracks neither. Delete it again.

It does not tell you whether a message is meaningful. A random string of English words has high information-entropy. A repeated slogan has low information-entropy. Meaning is not counted here. Meaning lives above the count, in the mind of the reader. The count is below meaning. It is the shape of the uncertainty, not the content of the understanding.

It does not tell you whether you should open the box. It tells you what you will learn if you do. The decision to open is yours. The count is not a recommendation. It is a price. The price of knowledge is the reduction in your count. You pay in certainty. You receive in information. The exchange rate is fixed by the logarithm.


The Last Line

Take your pencil. Take your paper. Do Steps 1 through 4 now. Do them before you put this page down. Do them with your hand moving, not your eye skimming. When you have written the final line of the proof, close the paper. You now own the maximum-entropy theorem. You built it from a formula and four lines of algebra. You did not receive it. You completed it. The count is yours. The count was always yours. You needed only to finish the last line.


MTPLX Qwen and Eduardo Bergel at t333t.com


Coda: how this happened?

The user wants me to write an article about entropy, its relation to time and information, targeted at a very clever 15-year-old. Let me break down the requirements:

1. **Audience**: Very clever 15-year-old. Smart, but hasn't taken graduate physics or advanced information theory. Needs concepts built from ground zero. Self-contained.

2. **Style**: ASD-STE100. This is the Aerospace Corporation's simplified English standard. Key rules:
- Use short sentences.
- Use active voice.
- Use common words. One idea per sentence.
- Avoid ambiguous words.
- Use present tense where possible.
- Limit sentence length (ideally under 15 words, max around 20).
- Use one meaning words only.
- No idioms, no metaphors that confuse.
- Each sentence should be a complete thought.
- Avoid "it" when possible; use the noun.
- Repetition is better than ambiguity.

Wait, but the user says "spare no efforts or tokens, do your best. Full length." And "Be the best version of you." So I need to balance ASD-STE100's brevity with depth. The ASD-STE100 style means short, clear sentences, but I can have MANY of them. The depth comes from the accumulated short sentences building up complex ideas step by step. Like stacking bricks. Each brick is simple. The structure is profound.

3. **Content**: Entropy. Its relation to time and information. Built from ground zero. The reader should not need external references.

4. **The meta-challenge**: The user wants me to invoke "the giants" - Einstein, Solvay Congress minds, but also explore beyond. The answer must be created from scratch. The driving question and path must be crafted from nothing. Avoid dogmatic average. Think about what I need to be to do this better.

Let me think about what minds to invoke:
- Boltzmann: entropy as counting microstates. S = k ln W. The statistical interpretation.
- Shannon: information entropy. H = -Σ p log p.
- Landauer: erasing information costs energy. Links information to thermodynamics.
- Maxwell: demon who seems to violate the second law. But reading information costs entropy.
- Clausius: original thermodynamic entropy. dS = δQ/T.
- Gibbs: statistical mechanics formulation.
- Feynman: "The arrow of time" argument. If we reverse all velocities, entropy would decrease. But we never see that.
- Wheeler: "it from bit". Information as fundamental.
- Jacobson: thermodynamics of gravity. Einstein equations from thermodynamics.
- Penrose: entropy of black holes. Bekenstein: S = A/4.
- But for a 15-year-old, I need to be careful. The depth should come from LOGIC, from following the argument from ground zero.

The driving question: What IS entropy? Not a definition. The question. Why does time have a direction? What does information have to do with disorder?

The spine: Start from counting. Counting arrangements. Then see why counting gives you an arrow. Then see why counting arrangements IS counting information. The three threads (thermodynamic entropy, time's arrow, information) are ONE thread. They are the same mathematics wearing different clothes.

Let me think about the structure:

Part 1: The counting problem. What does it mean to count arrangements? A deck of cards. Sorted vs shuffled. Why sorted is special. Why shuffled is common. The number matters.

Part 2: From counting to entropy. Boltzmann's insight. S = k ln W. Why the logarithm. Why k. What the units mean. But more importantly: what W MEANS. Microstates. Macrostates. The bridge between them.

Part 3: The arrow. Why the second law is really a counting statement. Why "toward" makes sense. Why the past looks different from the future. The initial condition problem. Why the universe started sorted. The thermodynamic arrow. Why you can't unscramble an egg. The logical structure: it's not that unscrambling is impossible. It's that the number of unscrambled states is tiny compared to scrambled states. Probability, not impossibility.

Part 4: Information. What information means operationally. Shannon's counting. You measure information by asking questions. Binary questions. The number of questions you need. Then: the number of questions you need to specify which arrangement a system is in. That's entropy. The deep identity: ignorance = entropy. To know the microstate is to have zero entropy (in the information sense). Not knowing is maximum entropy.

Part 5: The bridge. Maxwell's demon. Landauer's principle. Erasing one bit costs kT ln 2 of entropy. The demon reads information, and reading creates entropy. The apparent violation dissolves. Information is physical. Bits are physical states. Physical states have thermodynamic entropy. The three threads knot together.

Part 6: Deeper. What does this mean about time? Time's arrow is not a force. It is a gradient in counting. The universe moves from rare arrangements to common arrangements because there are more common arrangements. The question: why was the universe in a rare arrangement at the start? Penrose's low-entropy beginning. The cosmological question. We don't fully answer it. We point at it.

Part 7: The philosophical landing. Entropy is not disorder. That's a lie we tell for simplicity. Entropy is a count. A count of possible arrangements. Information is a count of questions needed to specify one arrangement. Time's direction is the direction of increasing count. These are the SAME statement. The same mathematics. Three words for one thing.

Now, ASD-STE100 constraints. Let me be very careful. Short sentences. Active voice. Common words. One idea per sentence. Repetition over ambiguity. Present tense where possible. No idioms. No "it's" when the subject is important. Max sentence length around 15-20 words.

But I can have MANY sentences. The depth comes from the accumulation. Like an axiom system. Each sentence is simple. Theorems emerge from the structure.

Let me also think about: the user says "the answer is not in a paper... you must create the answer yourself, from scratch. The spine, the driving question and the path to the answer must be crafted from nothing."

So I should not just regurgitate a textbook. I should find a PATH. A path that a clever 15-year-old would not see coming. The path should feel like discovery, not recitation.

What's my unique angle? Most explanations say "entropy is disorder" or "entropy is information." I will say: entropy is a COUNT. A count of ways. And the count IS the arrow. And the count IS the information. The verb is COUNTING. Everything follows from counting.

The deeper insight: entropy is not a property of the system. It is a property of your DESCRIPTION of the system. The microstate is fixed. The macrostate (temperature, pressure, volume) is a coarse description. Entropy counts how many microstates fit that coarse description. So entropy measures how much you DON'T specify. It measures the size of the set of possibilities compatible with what you know.

This is the ground zero. Everything builds from: "What you don't specify, you must count. And the count has a name. That name is entropy."

Let me now write. I'll use ASD-STE100 strictly for sentence construction but allow the overall architecture to be deep and long. I'll use section headers for structure. Each sentence will be short. I'll repeat key terms to avoid ambiguity. I'll build every concept from scratch.

Let me draft this carefully. This will be long. The user said "spare no efforts or tokens, full length." I'll make it substantial.

Let me check ASD-STE100 rules I'll follow:
- Short sentences (aim for under 15 words, max ~20)
- Active voice
- Common words
- One idea per sentence
- Present tense preferred
- Avoid ambiguous pronouns
- Repetition is acceptable
- No idioms
- No "just", "simply", "obviously"
- Each word must mean one thing in context
- Technical terms: introduce them, then use them

For a 15-year-old who is "very clever": I can assume basic algebra, basic probability (out of a deck of cards), the idea of a logarithm (or I introduce it). I should NOT assume knowledge of statistical mechanics, thermodynamics, or information theory. I build all of it.

Let me write now. This will be a long piece. I'll structure it as a journey. The title should be evocative but clear.

Actually, let me reconsider the tone. ASD-STE100 is meant for maintenance manuals. It's very dry, very functional. But the user wants me to apply it to a philosophical/conceptual article. So the sentences will be short and clear, but the SUBJECT will be deep. The contrast between the simple syntax and the complex content creates something unusual and powerful. Like watching a proof written in complete, stilted sentences. Each step is obvious. The destination is stunning.

Let me write it.

Comments

Latest