More Infinitesimals
Here are some infinitesimals in chilled go where at least one player has more than one live option. In the other cases we have seen, one option dominated or options were equivalent.
Beast #1: ↓*
- reverses to 0.
The games `` 0 `` and `` ast `` are confused, written 0 <> *, neither dominating the other, and here `` ast `` does not reverse. So the game looks like this:
- `` { 0 | 0, ast } ``
In fact, it equals `` darr + ast `` (DOWN + STAR), which is written “``"↓"ast``” and referred to as “DOWN STAR”.
To see that, let's add it to `` uarr `` (UP) and `` ast ``. We should get a miai position.
Finally, if , then Black still gets tedomari.
So we do have miai, confirming that this beast is `` "↓"ast ``.
How to play it? It is confused with ``darr``, and has an atomic weight of -1. Treat it as the sum of two positions, `` darr + ast ``. If there is an ``uarr`` on the board, their sum is `` ast ``. If there are an odd number of `` ast ``s on the board, their sum with this beast is ``darr``. Play accordingly.
An equivalent position
Beast #2: Like ↑ but more urgent
This beast crops up occasionally. In fact, one like it is in the top left corner of the Ongoing Game. It is an ambiguous position.
But Black also has a sente option, with . Black threatens the sagari at a, saving his stone.
The chilled game looks like this:
- `` { 0, { 3.75 | 0 } " || " 0 } ``
Of course, the extra option for Black gives him an advantage. Somewhat surprisingly, this game has an atomic weight of 1, just like ``uarr``. In fact, White will prefer to play in this game to playing in ``uarr``.
In other words, White should play at a rather than b.
To check that, let's play the difference game. On the left, White plays at a; in the negative game on the right, Black plays at b.
White plays sente with and then gets tedomari with .
So White should prefer to play in the beast over playing in ``uarr``, or in a longer such corridor.
That illustrates the power of the extra option. White would prefer to play in ``uarr`` over a play in either `` ast `` (gote) or a miny (reverse sente).
Beast #2.1: *2 and a Nim beast
This infinitesimal was only recently found in chilled go. Each player has the choice of a or b. A move to a produces a 0, a move to b produces a *.
The game looks like this:
- `` { 0, ast | 0, ast } = ast"2" ``
At first, the idea of a play at b seems absurd. Why make a play that allows your opponent to return to even, when you can just gain a point?
It happens that ``ast"2"`` is well known. It is the infinitesimal for a Nim heap of ``2``. If you have played Nim, you know that you can take either one or two tokens from such a heap.
Here is a Nim position in go:
This is the sum of `` {:ast"2":} + ast ``, like a game of Nim with one heap with two tokens and one heap with one token.
wins (gets tedomari) by the equivalent of taking one token from the heap with two tokens. The rest is miai.
White wins in the same way. :-)
loses. gets tedomari. Now a and b are miai.
Jan: Bill, this is quite interesting! Nim positions in Go, who would have thought it? I would like to see a position showing that `` {:ast"3":} + {:ast"5":} + {:ast"6":} = 0 `` :-)
Beast #3: ¿`` { ast | 0^2 -_4 } ``?
I ran into this beast in a pro game.
Bill: Assuming, as usual, Black territory to the left, it appears to chill to `` { ast | 0^2 -_4 } ``. See BQM222.