Concept

Follow-up — where it appears

The move waiting after a local exchange, whose own temperature decides whether the exchange has to be answered now. A fight with one never settles into a pattern when copies of it are piled up, while a fight without one settles at once.

Named by 26 essays across 3 fields — each of them below, with the objects they name alongside it.

{5 | {4 | 0}} beside one other fight. A local position and a single switch, played out together at each of several ambient temperatures. The middle columns are what optimal play does: whether it opens the local fight, and whether it answers when the opponent opens it. The answer stops being forced at a temperature the local position alone does not name.

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.

temperature · Sente
Is {{5 | 3} | {2 | −4}} double sente?. One local fight with a follow-up on each side, played out inside a sum with a switch whose temperature rises. The two middle columns are what optimal play does when each player opens the fight. Whether the opponent has to answer is settled by the ambient temperature and not by the shape, so the same position is double sente, sente for one player, and gote for both, at three different ambients.

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.

temperature · Sente
The thermograph of {{5 | {3 | 1}} | 0}. Temperature runs up the page and value across it. Each wall is where a player is willing to move once a tax of that much is charged per move; above the temperature at which they meet, neither wants to move and the position is worth its mean value. The height of the meeting point is what is at stake. The marks partway up the walls are the bends: the heights at which the option holding a wall up stops holding it up. Each stands at the temperature of a follow-up. Every one of them is below the temperature of the position itself, which is where the two walls meet.

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.

temperature · Thermograph
4 | 0 and {2 | {1 | 0}} in the same environment. Two positions and one coupon stack, solved as a single board. The rows are the line optimal play takes; the coupon on top when each position is first entered is compared with the coupon it was entered at when it had the environment to itself. The mean contributions still add and the entry coupons need not agree.

Two games in one environment

A coupon stack measures a position: play the whole board out and the coupon the players stop at is the temperature, the score is the mean. Put a second position beside the first and one of the two measurements stops working. Over 36 ordered pairs the contributions still add to the means every time, and the coupon a fight is entered at moves on 13 of them — without either position changing.

temperature · Coupons
What the rule costs. Every sum of three components from a fixed pool, played out twice: once with one side following the rule "move where the stake is largest" and once with both sides evaluating exactly. The rule is not optimal, the gap is bounded, and the bound is the largest temperature on the board.

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.

temperature · Strategy
Where a sum's temperature actually lands. Every pair drawn from 45 hot positions, with the temperature of the sum set against the larger of the two temperatures. The bound is never broken and it is almost never used: 864 of the 1035 sums sit exactly at the maximum and 160 are frozen.

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.

temperature · Thermograph
The move that stops the other one. Six local fights, each placed beside an environment of known temperature. The last two columns are the band over which taking the local move beats spending the move outside, and the band over which the opponent's move in the same fight has to be answered. They are not the same band.

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.

temperature · Sente
What is left when the copies pair off. For each position, the difference between n copies and n times the mean, reduced to canonical form. The first two are drawn and the last column says what the sequence does after them: half of these settle into a short cycle and the rest produce a new leftover every time, all of them the same bounded size.

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.

temperature · Temperature
Five rules over 120 sums built to punish greed. Each rule plays every sum against an opponent evaluating exactly, on a pool whose components are traps: a large immediate gain that hands the opponent a larger follow-up. The pool was built to punish the greedy rule and does not — that rule scores a move by the stop it leaves, and a stop already contains the follow-up. What the traps catch is the rule below it, which scores a move by the territory it takes and loses up to 16.

A pool built to punish greed

The rung below found a rule with no theorem behind it beating the rule with one, and predicted that a pool of deliberate traps would reverse the result. It does not. The traps miss, because the rule called greedy scores a move by the stop it leaves and a stop already contains the follow-up — and the rule the traps do catch, losing sixteen points where the guaranteed rule loses five, had to be written to make the point.

temperature · Strategy
Where sente stops, by what the answer costs. The largest ambient temperature at which a local move is still answered, sorted by how deep the fight below the answer runs. When the answer ends the fight the crossover is the follow-up's temperature; when the answer starts another fight it is exactly half of it, and a third level does not halve it again.

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.

temperature · Sente
Two feet, and the one that halves the crossover. The thermographs of two follow-ups, drawn to the same scale. The first has a right wall that leans in from the axis and its move is answered up to the follow-up's full temperature; the second has a wall rising vertically first and its move is answered only to half of 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.

temperature · Sente
When the players stop taking coupons. Every pair of fights from a pool of nine, played beside a coupon stack, with the coupon standing when somebody first plays on the board. Sixty of the eighty-one leave exactly when the coupon falls to the board's temperature.

When to leave the environment

A Go player's question is not which fight to take but when to stop taking the small stuff. Put two fights beside a stack of coupons and the orthodox answer — leave when the coupon falls to the hottest temperature on the board — is exact on sixty of eighty-one pairs. All twenty-one departures have a fight with a follow-up in them, and every pair of plain switches leaves on time.

temperature · Coupons
The same temperature, and four different departures. Positions with a temperature of one whose follow-ups are worth different amounts, with the coupon at which the players leave the environment. The departure tracks the follow-up.

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.

temperature · Coupons
The crossover by depth. How far the ambient temperature can rise with the move still answered, by how deep the fight goes. Where the answer settles the fight it is the follow-up's temperature; deeper it is that less a half.

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.

temperature · Sente
The error is half the follow-up. Each bent value's true temperature, the temperature the stop reading gives it, the difference, and half the temperature of its hot option. The last two columns agree on every value.

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.

values · Switches
Two clauses, one formula. The law split by which of the two temperatures is the smaller. When the answer is colder the correction is half of it; when it is hotter the correction saturates at half the fight's own temperature.

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.

temperature · Sente
The bound that needed no third number. The rung below's bound and the conjectured replacement, scored over 1,440 sums whose addend has a follow-up. The two-number bound holds everywhere and is attained; the three-number one fails.

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.

sums · Translation
The ordering that does not order. Playing in the hottest component against playing by the larger of a component's two temperatures, over 220 boards. The proposed rule is exact far less often and its worst case is nine times as bad.

The quantity that does not order a board

The rung below found the players leaving an environment at the larger of a position's two temperatures, and proposed that a board should therefore be played in the order of that quantity. Over 220 boards of three components it plays exactly on 124 against playing-in-the-hottest's 196, loses 85 of the 97 disagreements, breaks Hotstrat's guarantee on six boards, and costs nine points on its worst one.

temperature · Coupons
The correction on eleven times the pool. The stop reading and the corrected stop reading scored against the true temperature over every non-number value born by day three. The correction was measured on thirty-two values and holds on three hundred and forty-eight.

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.

values · Switches
The rule that was supposed to lose. Five ordering rules on the same 220 boards. Playing where the temperature less the answer's is largest is exact more often than playing in the hottest component, which is what the rung below predicted it would not do.

A rule that beats the hottest

The rung below proposed the reverse of the rule that had just failed — discount a component by its answer's temperature rather than promoting it — and predicted, before the sweep, that it would not beat playing in the hottest component. It does. It plays exactly on 201 of 220 three-component boards against 196, wins two thirds of the boards where the two disagree, keeps inside a guarantee proved for the other rule, and the gap widens as the board grows.

temperature · Coupons
Which end, in four lines. The complete rule for where a sum's error lands, exact on every pair in the census. Three of its four cases are decided by the value being translated alone.

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.

sums · Translation
The third temperature is not consulted. Positions grouped by their two top temperatures, with the third temperatures they hold between them. The crossover is the same for every position in a group however far apart their third temperatures are.

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.

temperature · Sente
The wall as an envelope. A thermograph with each option's contribution to its wall drawn over it, built from that option's two stops alone. The wall is the envelope of those contributions and it bends where the envelope has a corner.

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.

values · Switches
A plateau, not a point. The rule's score as the coefficient is varied on a fine grid. It is constant across the open unit interval and drops at exactly one.

The worst value in its own interval

The rung below scored a component by its temperature less its hottest answer's and asked what rate the answer should really be charged at. Every weight strictly between nought and one scores the same and beats the rung below's choice of one at every board size — because a ranking rule's score is a step function of its own coefficient, and one is exactly where two components tie.

temperature · Coupons

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.

sums · Translation

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.

temperature · Sente

Named alongside it

The objects these essays reach for when they reach for this one.

TemperatureMean valueThermographSenteEnumerationSwitchDisjunctive sumStopsBoundCounterexampleExhaustive searchStrategy

All concepts