Thermograph — where it appears
Named by 78 essays across 7 fields — each of them below, with the objects they name alongside it.
What is at stake
Some positions both players are desperate to move in, and some neither player wants to touch. The difference is a number — how much the move is worth — and it turns out to be the most useful single quantity for deciding where to play.
Reading a thermograph
A thermograph is two walls rising from a number line, closing in as the tax on moving increases, and meeting where the position stops being worth fighting over. Everything about a position's hotness is in the shape.
Playing the hottest
Given several independent fights, play in the one with most at stake. The rule is simple, it is what strong Go players do without being told, it is provably close to optimal — and it is provably not optimal, which is the interesting part.
Cooling
Charge a tax on every move and a fight becomes a number. The height of tax at which that happens is the temperature — so cooling is not a technique for finding the temperature, it is what the temperature is.
The endgame, accounted for
Add up what each region is worth, then add the biggest thing at stake, subtract the next, and so on down. On a board of simple fights the result is exact — and the moment one region has a fight inside it, the account is out by a point.
Two hot fights that add to a cold number
The mean of a sum is the sum of the means, every time. The temperature is not — it is bounded by the hottest part and is often far below it. Two positions each worth fighting over can add to a plain number that neither player wants to touch.
The same fight, eight times over
The mean is not roughly what a position is worth. It is the number that eight copies of the position stay close to — and the theorem is that the closeness does not decay as the copies pile up. The gap stops at the temperature, and stays there for ever.
Worth nothing, and worth fighting for
A switch is a position both players want to move in. Its average value can be zero while the difference between getting there first and second is enormous, and that gap is a second number every position carries.
Big is not the same as hot
A player sizes a move by how much changes hands when it is played, which is the number in every endgame book. The theory sizes it by temperature. On a plain switch the two agree exactly, so nothing shows; on a move with a follow-up they come apart, and the count gives up more than the guarantee the theory's rule carries.
Sente is a fact about the rest of the board
A move that must be answered is called sente, and the word is used as though it described the local position. It does not. The same fight is answered while the rest of the board is quiet and ignored once it is busy, and the crossover — measured by solving the whole board at every temperature — sits at the follow-up's own temperature.
A thermograph is built from its options'
The diagram is not measured, it is computed — each wall is an extremum over the options' opposite walls, shifted by the tax. That construction is why a hot follow-up lowers the temperature instead of raising it, and why two fights with the same swing can differ by a factor of two in what is at stake.
Double sente is not a property of the position
A fight with a threat on each side is called double sente, as though the phrase named a shape. Swept against a rising ambient temperature, one such fight — { {5 | 3} | {2 | −4}} — is double sente up to an ambient of 1, sente for one player only from 3/2 to 3, and gote for both from 7/2, and the two band edges are the temperatures of the two follow-ups.
The first time it told somebody something
A theory earns its keep when it produces an answer nobody had. Temperature did that for Go endgames — the orthodox account gives a move order that is provably right and is not the one experience offers, and the position it is right about is small enough to check here completely.
An environment made of coupons
Beside the game sits a stack of coupons worth 4, 3, 2, 1, 0, and a player may always take the top one instead of moving. Play the whole thing out and two quantities the theory computes are measured instead: {4 | 0} comes out worth exactly 2, its mean value, and the coupons stop at 2, its temperature. For {10 | {9 | 1}}, whose temperature is 1, they stop at 7/2 — because what the stopping coupon measures is the hottest temperature anywhere in the tree.
One rule makes it cold, the other hot
Col forbids painting next to your own colour and Snort forbids painting next to your opponent's. Over all 540 colourings of six graphs, not one Col position has anything at stake and 61 Snort positions do — the difference between a game that is a count and a game that is a series of fights, produced by one word.
A rule that is never right and cannot be far wrong
Playing the hottest component is not optimal — over 440 measured lines it costs something on 17 of them. What makes it worth having is that the cost is bounded by the temperature, provably, and that the same test run with the ordering reversed breaks the bound on 54.
A thermograph with two bends
A wall bends where the option holding it up stops holding it up, and most drawn thermographs bend once. { {5 | {3 | 1}} | 0} bends twice, at 1 and 3/2, and neither height is its temperature of 7/4 — every bend lies strictly below where the walls meet. Over a census of 17,255 hot positions two levels deep, a second bend in one wall never happened once.
Where the fight stops
Keep taking the biggest thing on offer until somebody is left facing a number, and the number reached is a stop. Every position has two of them, one for each player moving first, and between them they say how a fight ends — except for the part of it no number can reach.
Cooling by exactly one
Cooling is usually met as a way of reading a thermograph: a tax, and two numbers at the height of the tax. Applied as an operator it returns a position instead — and then the obvious question is whether heating gives the position back. Over the 1,474 values born by day three, 27 survive the round trip and 15 of those are numbers that never moved. Cooling throws away almost everything it touches.
The values of every small board
Thirty Domineering rectangles, every value computed from the moves rather than looked up. The 1×n row obeys a formula and the 2×n row does not: its outcomes run L N N R three times over and then 2×13 comes out worth exactly 0, and its temperatures climb to 19/16 and fall back without settling.
What a move is worth to the player making it
The gain from a move is the option minus the position it was played from — and that is a game rather than a number, so two moves can be incomparable instead of one of them being best. Temperature is what happens when the largest of those games is asked for a single number.
A number and a fight
Charge a position exactly what it is worth fighting over and the fight disappears, leaving the mean value — with something still attached to it. Over all 1,122 hot values born by day three the residue is smaller than every positive number, it is a star in 942 of them, and it is never nothing. So a hot game is its mean plus a fight plus a remainder that no number reports, and the remainder is what decides close games.
The switch a player is imagining
Every account of a hot position ends up as "worth about m, and worth t to move in", which is the switch {m+t | m−t}. For a plain fight that summary is the position exactly. For a fight with anything behind it the leftover is not a rounding error — on one position here it is a whole second fight of temperature two.
A rule with a guarantee
Evaluating a sum of a dozen fights is impossible; following a rule is not. Move where the stake is largest, and over 220 sums of three hot components the rule scores exactly what perfect play scores in 196 of them, is never more than one point behind, and never ends more than the largest single stake below the mean. The rule that is supposed to be different — answer the threat — chose differently in none of the 220.
What a number does to a fight
Adding a number to a position moves everything and changes nothing: over three thousand translations the temperature never once shifted and both stops moved by exactly the number added, every time. What the number decides is whether the fight is worth having — and the interval where the two players are confused is exactly the open interval between the negated stops, right in all 2,890 cases away from its endpoints and wrong in 110 that are all on them.
When a switch is not a switch
A position {a | b} with numbers on both sides is a fight only while a is above b. Sweeping the boundary with a fixed at 2 and b climbing from −2 to 3 turns up three regimes rather than the two the definition suggests: eight fights whose temperature is exactly half the gap, one position at a = b that is 2∗ and is not a number, and beyond that numbers chosen by the simplicity rule — which on 8 of 12 sampled cases is not the midpoint.
Cooling adds and heating does not
The two operators are presented as a pair, and they are not one. Cooling a sum is the same as cooling the parts and adding, on every one of the 1,768 pairs tried, at two taxes and on two pools. Heating fails on 263 — and not for the obvious reason: in every failure neither part and not the sum is a number, so the clause exempting numbers never fires at the top. It fires two levels down, where an option of a sum is one part's option plus the whole of the other.
The fight never runs backwards
Left's stop is never below Right's — in every one of 1,780 distinct values, computed twice by two independently written routes, with nothing that disagreed anywhere. The inequality is what makes a mean value well defined and a fight a fight; and where it collapses to equality, 433 of the 460 cold positions turn out not to be numbers at all.
The operator chosen for one game
Chilling is cooling by exactly one, and the one is not derived from anything. It is chosen because Domineering mostly runs at that temperature — and measured against this site's whole Domineering catalogue it turns thirteen of fifteen boards into numbers or numbers plus a star, and warms thirteen of the fifteen back exactly. They are not the same thirteen: eleven boards do both, two freeze too far to be recovered, and two stay hot and come back on the nose.
Below zero
Temperature is described as urgency and urgency has no obvious bottom, but the scale stops at −1 and only the numbers are on it. The rung above is exactly zero, and the 337 values born by day three that sit there are the ones a number cannot be told from — flat thermograph, nothing at stake, and an infinitesimal that no number can see. Two independent computations agree on the classification for all 1,474.
How cold a sum of hot games can be
The temperature of a sum is at most the largest temperature in it, and the bound leaves the whole interval below it open. Over 1,035 pairs the sums do not use that interval: 864 sit exactly at the maximum, 160 are frozen outright, and eleven land anywhere in between — every one of them with a component whose wall bends.
What a move nobody makes is worth
If Right's move in a fight has to be answered, then Left's move in the same fight prevents an exchange Right was going to get for nothing. That is a reverse sente, and pricing it is the awkward case: over sixty measurements the gain matches the local temperature once and the follow-up's swing twice, and the band over which the move is worth taking is not the band over which the move it reverses is sente.
What is left when the copies pair off
A pile of n copies stays within a bounded distance of n times the mean, and the distance never grows. The difference is a game rather than a number, and what it actually is has a much better answer: for a plain switch it alternates between one fight and nothing at all, and for a fight with a follow-up it is different every time — bounded in size and unbounded in complexity.
When two thermographs can be added
The temperature of a sum is not the sum of the temperatures, and the natural repair is to add the whole diagrams instead. Over every pair of hot values born by day two the added walls always bound the true ones and the mast always comes out right — and the whole diagram is right exactly when at most one of the two components is hot, which is precisely the case a reader has no use for.
How hot a day gets
A day of construction buys exactly one degree of temperature — nought, then one, then two — and the value attaining the maximum is unique on every day: ∗, then {1 | −1}, then {2 | −2}. The distribution underneath is not tidy at all: it peaks at a half, leans to the right of the peak, and has a hole in it at one and three quarters where nothing is born.
A fight with no midpoint
The mean of {a | b} is the midpoint and the temperature is half the gap — on the twenty-one values of day three where a and b are numbers. One hundred and forty-six others have the same shape and not the hypothesis, and the repair that suggests itself, reading the two stops instead of the two options, holds on about three quarters of them and no more.
How hot a real position is
Counted one value at a time, a tenth of the subject is hot. Counted one position at a time — every board this site has enumerated, all 11,397 of them — it is a twentieth, two thirds of the positions are worth numbers outright, and ten of the seventeen rulesets never produce a hot position at all.
The answer that starts another fight
A local move is answered while the ambient temperature stays below the follow-up's — and that rule, which this site has carried since the anchor opened, is exact only when the answer ends the fight. When the answer starts another one the crossover is exactly half the follow-up's temperature, on every position tested, and a third level of fight does not halve it again.
The thirty that cancel themselves
Thirty values born by day three are equal to their own negatives, and every one of them has a mean of exactly nought and two stops that are exact opposites. Neither property comes close to picking them out — 496 values of the day have a mean of nought — and half of the thirty are hot, one of them the hottest value the day produces.
Fifty-two errors and seven sizes
Day two is a lattice and a group and not a lattice-ordered group, and the fifty-two incomparable pairs it fails on leave fifty-two different error terms. Measured rather than listed, the fifty-two collapse: seven pairs of stops, three means, three temperatures, and a rule that predicts the temperature from the pair on forty-four of them.
A schedule instead of a number
Playing in the hottest component loses at most the largest temperature on the board — the classical guarantee, stated against one number. Sorting the temperatures and reading the guarantee one step further down gives a promise 47 per cent smaller that is never breached over 1,734 sums. Two steps down it fails 120 times, so the schedule has exactly one step of slack in it.
What the halving is a function of
A move is answered while the board is cooler than the follow-up's temperature — or half of it, depending which of two classes the position is in, and the classes were stated in terms of forms. They are a feature of one wall: whether the follow-up's right wall rises straight up before it leans. Fifty-five positions, no exception, and the crossover becomes something a reader can see.
The bend is the condition
The rung below offered a description of the class its stop reading is exact on — neither wall bends below the meeting point — and a route to proving it: that a bend happens precisely when some option is neither a number nor an infinitesimal. The first is exact on all 138 values, both directions, no exception. The second is half right: every bent value has such an option and 49 unbent ones do too. And the eight apparent exceptions to the first turn out to be a bookkeeping convention.
How big the answer is
The rung below found every early departure from a coupon stack caused by a position with a follow-up, and could not say more: its follow-ups were all of a similar size, so the class it measured was one bit. A pool graded by follow-up size answers it. With the position's own temperature held at one, the departure runs from coupon 1 to coupon 3.5 as the follow-up's temperature runs from 1 to 4 — and over the whole grid the players leave at the larger of the two temperatures.
What a fight does to a fight
A number added to a position shifts both its stops by itself; an infinitesimal moves neither. A hot game does neither: over 720 sums the two stops add on 330 and are wrong on the rest. What survives is the mean, which adds on every one of the 720 — and the failure has a bound, since no stop is ever out by more than twice the smaller of the two temperatures, a bound 222 of the sums attain exactly.
What a game actually produces
Fifty-three per cent of the Domineering regions of at most eight squares are hot. Of the components eleven hundred random games actually produce, sixteen per cent are — and ten per cent once single squares are counted. The figure is the same on three sizes of board, so it is a property of play rather than of the board, and it says that every temperature census this site has taken over a catalogue overstates how hot the game is by a factor of three.
A subtraction, not a factor
The crossover factor was a half on fights whose answer starts another fight, measured on a pool with two three-deep positions in it. A pool built to be deep gives twenty, and the factor does not survive them: the crossover is the follow-up's temperature less a half on eighteen of the twenty, and a factor of a half agrees with that only where the temperature is one — which nearly every position in the earlier pool had.
Half a follow-up out
The rung below settled which values the stop reading is wrong about — the ones whose walls bend — and left the size of the error unmeasured. It is not bounded by anything readable off the diagram; it equals something readable off the diagram. On all thirty-two, the mean and the temperature are each out by exactly half the follow-up's temperature, and the temperature is always read too low.
Half of the smaller temperature
The correction to the sente crossover has been priced twice — first as a factor of a half, then as a subtraction of a half — each time on a pool whose answers were all about the same size. Over 128 fights with answers from a number up to a temperature of six, the correction is half the answer's temperature, saturating at half the fight's own. Both earlier readings are regions of that one law.
One fight makes a board a fight
The rung below found 16 per cent of the components a played game produces to be hot, against 53 per cent of the catalogue they are drawn from, and predicted that the share of hot boards would be much larger. Taking the same play-outs and tallying at the board gives 32 per cent — twice the piece figure and not ten times it, because a Domineering board carries only 1.68 pieces and the hot ones cluster on the same boards.
A bound with one number too many
The rung below bounded how far a hot addend can drag a stop — twice the smaller of the two temperatures — over sums whose addends were all plain switches, and conjectured that an addend with a follow-up would need twice the smaller of three numbers. Over 1,440 sums with bent addends the two-number bound holds everywhere and is attained 358 times, and the three-number version fails on 66.
A second level of stops
The rung below found the stop reading's error to be exactly half the follow-up's temperature and asked whether the correction survives a wider pool, survives two bends, and can be stated without a thermograph. It survives eleven times the pool, missing two values in 1,459. It needs no thermograph — the follow-up's temperature is half its own stop gap. And it does not survive two bends, because day three contains no value with two of them.
The fractions that were not there
The rung below counted 1,452 fractions among the shared Amazons regions and asked which fractions they are. Fifty-six of them are fractions. The other 1,396 are hot positions with a fraction somewhere inside their options, counted by a regular expression looking for a slash — and the quantity the separation of the two amazons actually sets is not a denominator but a temperature.
The obstacle was the catalogue
The rung below could not measure the early game because its regions were too large for the catalogue, and asked for a bracket rather than a value. No bracket is needed: a twelve-square region evaluates in five milliseconds and an eighteen-square one in under a second. What was expensive was cataloguing every shape rather than sweeping the positions a board actually reaches — and the sweep says a board is hot four times in five three moves in, and cools when it breaks up.
Which end a sum lands at
The rung below found the errors in a translated stop clustered at the two ends of the range its bound allows — 660 at nought and 358 exactly on the bound — and asked for a rule saying which end a given pair lands at. There is one, in four lines, exact on all 1,440 sums. Three of the four cases are decided by the value being translated alone, and the property that decides them is the bend the switches ladder found for a different question entirely.
The two numbers at the top
The rung below found the crossover of a sente fight to be its temperature less half its answer's, and said a proof would settle the depth question with it. The depth question is settled without the proof, by construction: group the positions by their two top temperatures and the crossover is single-valued on every group, however far apart the third temperature is — and the formula survives a fourth level of fight, which the rung below never reached.
The bend is in the stops
The rung below reduced the whole stop reading to one question — does this wall bend? — and asked whether that could be answered from the options' stops instead of from a diagram. It can, in four lines, and it gives more than the bend: on all 1,459 non-number values born by day three the options' stops determine the entire thermograph. One day deeper it breaks, and every failure is a value with a bent-walled option.
Room pulls two ways
The rung below found the distance between two amazons setting a shared region's temperature and asked for something finer — the squares each can reach, or the squares both can. Neither beats the distance on its own. Together they beat it by half as much again, and the reason is that they pull opposite ways: further apart is hotter, and sharing more reachable squares is colder.
Eight squares, and no hotter
The rung below found no Domineering position hotter than three halves on four boards and asked for the position that attains it. It is a region of eight squares, there are five of them up to symmetry, three are the hot core of an attaining board on every size swept — and the ceiling holds at nine and ten squares too, where the obvious extrapolation predicted seven quarters.
The same number in two currencies
The rung below found bent-walled values falling strictly inside the translation bound and asked how far. The shortfall is the value's own hottest follow-up's temperature — exactly, on 400 of 408 pairs, and twice it on the other eight — which makes the whole error one expression. And it is the switches ladder's constant: a half there and a whole here, because a temperature is half a stop gap.
The premises an induction would need
The rung below settled by a grouping test that a position's crossover depends on its own temperature and its answer's and on nothing below them, and asked for the induction. The four paragraphs are not written here; the checking they would rest on is. The law holds at five levels, survives translation, heating and cooling — and none of that is the step.
A bend that never reaches the surface
How many levels of the recursion a thermograph needs before its stops suffice is a number attached to a position, and the rung below conjectured it was the depth of the deepest bend in the tree. It is not: on 124 values a bend one level down costs nothing at all. What the number counts is the longest unbroken chain of bends running down from the top, exact on 2,400 of 2,403.
Where the value stops mattering
Fourteen straight-walled pairs missed the bound on a translated stop and had only a threshold to explain them. Their stops move by exactly the addend's temperature — a formula with the value nowhere in it — which turns the threshold into the boundary between two lines and closes a census of 1,440 pairs that has been open for four rungs.
Which top is the top
The crossover law's proof rests on the walls above the crossover being governed by the top two options, and the check was never run. Run on 23,586 heights it holds exactly — but only when the options are ranked by mean value. Ranked by the temperatures the law is stated in, it fails on a fifth of them.
The ceiling was a plateau
Three halves of a move looked like a ceiling on a Domineering region's temperature: it held at eight squares, at nine and at ten, and the rise that had been a quarter every two sizes stopped. At eleven squares four regions reach seven quarters — and they contain the hottest eight-square shapes and are hotter than them, so the extra material is not cold.
A description, and not a detector
The rung below noticed that the count of shapes attaining the hottest temperature grew across a plateau and collapsed at the step, and proposed it as a way to read a plateau off a single size. The growth is exact — five plateaus, no exception — and the rule is impossible: five orbits precede a rise at seven squares and no rise at eight.
One expression proved, and one withdrawn
The census closed with three expressions exact on 1,440 pairs, and the rung above asked for derivations. The cold one has a four-line proof. The straight one has a threshold the census cannot determine — any constant between 4/3 and 3/2 fits it — and eight more addends of the same family break it on 38 pairs while leaving the bound above it untouched.
The four paragraphs prove something else
Three rungs earned the right to write the crossover law's proof as two straight walls meeting where the law says. The walls are straight — one of them everywhere, for a trivial reason, and the other only above the answer's own temperature. The crossover sits below that height, so the geometry holds nowhere the law is about, and where it does hold it proves the temperature instead.
A cross in the table
Which pairs need a second reduction had never been asked. Sorted by the two temperatures the answer is a cross — the whole gap-of-a-quarter column and the whole colder-is-three-quarters row — and it is exactly necessary on all 431 with no exception, and wrong 477 times in the other direction.
The bend above the top
The chain reading gets three values in 2,403 wrong because it counts bends that the diagram never reaches. Counting only the bends below the position's own temperature fixes all three and breaks none — the first exact reading on this ladder, and it needs one comparison rather than the envelope the rung below expected.
A second pool, designed differently
One designed pool put the rule's best coefficient between a quarter and a third, and all three board sizes agreed. A second pool, built by the identical greedy criterion from different material, has no cell that is best at every size — so the coefficient is a property of the pool and there is no number to find.
The residues as a sequence
Four of the eight residue sequences never repeat, and a recurrence is not a description. There is a closed form and it is not for the game: the stops and the temperature of the n-th residue are periodic with period one, two or four on every sequence in the pool, while three of them produce a different game at every n.
An environment instead of a stack
The guarantee behind playing the hottest component survives one step down a board's sorted temperatures and fails at two. Against a coupon environment as hot as the board it survives all of them — because the rule stops being approximate and starts being optimal, on every sum in the pool built to punish it.
The second bend is the boundary
Adding two thermographs wall by wall gives a diagram that is right at the mast and wrong below it. Over every pair of hot values born by day two, the added walls sit outside the true ones at every height — an outer envelope with the truth somewhere inside — and the two pictures separate at exactly the lower of the two temperatures, on all twenty-eight pairs. Above that height both components are still fights and the addition is exact; one sixteenth below it, every pair has parted.
What two numbers cannot tell apart
A thermograph summarises a position in a mean and a temperature — nine characters against the brace form's twenty-two, and readable in a way the expression is not. It is also not exact: 1,454 of the 1,474 games born by day three share a pair with some other game, 291 of them share one pair, and adding a star to two of those gives different winners.
The bound names the hottest part and the cost does not
Moving in the hottest component costs at most the largest temperature on the board, and that bound is attained: 100 lines of 4,240 pay exactly it. It is still the wrong quantity. Across four pools and boards of two, three and four parts the cost is nothing on 90.8% of lines and otherwise takes one of two values — half a point or one — on boards whose largest temperature runs to three, and it exceeds the coolest component on 13 lines and twice it on none.
The cheap fights make the rule cheaper
A conjecture stands that playing the hottest part costs at most the coolest temperature times the number of parts sharing it — proposed on a range where that number never exceeds two. Swept to five-part boards over 10,410 lines it is false, and false the other way round: every line costing more than the coolest part has one or two parts at that temperature, and over the 3,230 lines with three or more, not one does.
The coldest position has the biggest swing
How much a flip is worth is the gap between the coin's two branches, and it is a rival to the temperature — both answer how much is at stake. They disagree at once: the empty position has the lowest temperature there is and a swing of one, twice the hottest thing born on day two. On the small pool the two quantities look like a perfect three-way correspondence, and 255 of day three's values break it.
Named alongside it
The objects these essays reach for when they reach for this one.
TemperatureMean valueSwitchEnumerationStopsHot gameDisjunctive sumExhaustive searchCoolingInfinitesimalFollow-upSente