Combinatorial Game Theory
who wins, and by how much
Series

Chilling — the series

3 essays on one idea, from the one that introduces it to the one that assumes the rest.
  1. Cooling by 1, and heating back. Each row is a position, its temperature, what it becomes when every move is taxed, and what comes back when the tax is refunded. The refund is not an inverse: a position whose temperature was below the tax has already frozen into a number, and heating a number does nothing at all.

    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.

    part 1 · temperature
  2. The whole Domineering catalogue, chilled. Every Domineering board this site evaluates, with its value, its temperature, and what cooling by exactly one does to it. Thirteen of the fifteen become cold — a number, or a number plus a star — and the two that do not are the two whose temperature was above the tax.

    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.

    part 2 · temperature
  3. Two operators that undo the same tax. Heating leaves every number alone; the warming operator leaves every number alone except an integer, which comes back with a star on it. That single clause is the whole difference between them, and it is what the Go endgame literature needs, because a chilled integer is usually a fight that has been frozen. The rows shown are the ones whose four entries fit in sixteen characters — a warmed day-three value runs to fifty-two, and the clause is legible only in the short ones.

    The operator that puts the star back

    Chilling is not invertible: it freezes, and 400 values born by day three collapse onto 29. Both heating and Norton's warming operator are exact right inverses of it — each lands back where it started, on all 400 — and they pick different preimages, differing on 396 of them and differing by exactly a star on 335. The clause that separates them is one line long and it is about the integers.

    part 3 · temperature

All series