Corridor Infinitesimals

  Difficulty: Intermediate   Keywords: EndGame, Theory

Here are some examples of infinitesimals in chilled go that occur in corridors.

[Diagram]

Corridor infinitesimals



These corridors correspond to the following infinitesimals.

  • The top one corresponds to * (STAR).
  • The second one corresponds to ^(UP).
  • The third corresponds to ^^* (double up star).
  • The fourth corresponds to ^^^ (triple up).

Continuing, longer corridors of the same type correspond to ^^^^*, (quadruple up star), ^^^^^ (quintuple up), etc.

Since the play in infinitesimals is about getting the last play (tedomari), you can see how Black would not be in a hurry to play in any of the longer corridors, as he still gets the chance to play last even if White plays there first.

There is a similarity between a fight for the last play and a race to capture. Each infinitesimal is roughly equivalent to some number of ^s, called its atomic weight. Atomic weight is analogous to the liberty count in a semeai, but the contest is over tedomari. An advantage of at least 2 in atomic weight is enough to guarantee tedomari.

Playing corridor infinitesimals

White to play should play in one of the longer corridors, to reduce Black's atomic weight. Which one should he play in?

It turns out that it does not matter. A play by White in one of the long corridors gains the same thing. In terms of infinitesimals, it gains ^*, reducing Black's atomic weight by 1.[1]

See Go infinitesimals and Playing infinitesimals.

Why does the third corridor correspond to ^^*?

For convenience, I am just going to call these positions by the names of their corresponding infinitesimals. By definition,

  ^^* = ^ + ^ + *

i. e.,

[Diagram]

^^*



 =
[Diagram]

^ + ^ + *



Of course, the counts are different. What we want to know is if they are equivalent in terms of getting the last one point play.

To answer that question we can subtract the second position from the first. How do we do that? We reverse the colors of the second position and add it to the first. In other words, we take the difference game.

[Diagram]

^^* - ^ - ^ - * = 0 ?



To say that this position equals 0, in terms of go infinitesimals, means that it is miai. With correct play, it does not matter who plays first, the second player will get the last play and the result will be the same (not necessarily 0).

[Diagram]

Black plays first



B1 - W4 is correct play for both sides. The result is obviously miai, with a score of -2.[2]

[Diagram]

White plays first



We get to the same place by a different route. So the whole thing is miai, as claimed.

You may verify that this is optimal play by both sides.

Now, if this came up in a real game, you could read it out. But if you know your go infinitesimals, you can quickly see that it is miai.

Chilling corridors

Let's take the top one first.

If Black takes, the local score is +2 (which chills to +1 when we take away 1 point for each Black move). If White connects, the local score is 0 (which chills to +1 when we add one point for each White move). The chilled game looks like this:

                    { 1 | 1 }

If a game is not a number, we may add a number to it by adding that number to both its Left and Right followers, so

                    { 1 | 1 } = 1 + { 0 | 0 } = 1*

The top game chills to 1 plus * (STAR). What the number is does not affect correct play at temperature 1, where we are simply trying to get tedomari, so it is customary to ignore the number and just call this position *.

(I have introduced * and ^ (UP) in Chilling.)

Now for the second one.

Black can move to a score of 3, which chills to 2. White can move to the first position, which chills to 2* (1* by itself, but White has made a move, which adds one to the chilled score). The chilled game looks like this:

                    { 2 | 2* } = 2 + { 0 | * } = 2^

So the middle game chills to 2 plus ^ (UP). Again, we ignore the number and just call this position ^.

Now for the third one.

Black can move to a score of 4, which chills to 3. White can move to the middle position, which chills to 3^. The chilled game looks like this:

                    { 3 | 3^ } = 3 + { 0 | ^ }

The infinitesimal, { 0 | ^ }, is the canonical form of ^^* (Double UP STAR)[3]. So the bottom game chills to 3 plus ^^*, and we just call it ^^*.

The fourth one chills to 4^^^, which may be derived in similar fashion.

The chilled value of the whole position is just the sum of its parts: 1* + 2^ + 3^^* + 4^^^ = 10 + ^^^^^^ + * + * = 10^^^^^^. Ignoring the number, as usual, we just call it ^^^^^^ (sextuple up).

--BillSpight


[1]

The infinitesimals of the corridors form an arithmetic series. (By contrast, the fractions of the corresponding empty corridors form a geometric series.)

     * + ^* = ^ + * + * = ^
     ^ + ^* = ^^*
     ^^* + ^* = ^^^

Etc., etc.

This means that when White plays in one of the long corridors she gains ^* in the chilled game, which is about as good as you can do by playing a go infinitesimal in the fight for tedomari. (Saving the stone gains *, which may be no gain at all!)

[2]

White scores are, by convention, negative.

[3]

Why { 0 | ^ } = ^^*

White (Right) can play in ^^* to ^^ or to ^ + * + * = ^. Since ^ < ^^, ^ dominates.

Black (Left) can play to ^* or to ^^. Both reverse. From ^* White can play to 0. We know that ^^* > 0, so the play to ^* reverses. However, 0 has no Left option, so we eliminate that option (^*). From ^^ White plays to ^*, ^^* > ^* because ^ > 0, so that play reverses. From ^* Black can play to ^ or *. Both reverse. From * White plays to 0, so we eliminate *, as we did with ^*. From ^ White plays to *. ^^* > *, so that play reverses. From * Black moves to 0. Whew!



This is a copy of the living page "Corridor Infinitesimals" at Sensei's Library.
(OC) 2009 the Authors, published under the OpenContent License V1.0.
[Welcome to Sensei's Library!]
StartingPoints
ReferenceSection
About