Skip to content →

Category: featured

exotic chess positions (1)

Ever tried a chess problem like : White to move, mate in two! Of course you have, and these are pretty easy to solve : you only have to work through the finite list of white first moves and decide whether or not black has a move left preventing mate on the next white move. This is even a (non-optimal) fool-proof algorithm to find the solution to this kind of chess problems. Right?

Wrong! There exist concrete positions, provable mate in two in which it is NOT possible to determine the winning first move for white! So, what’s wrong with the argument above? We did assume that, given the position, it is possible to determine all legal moves for the two players. So?

Well, some moves are legal only depending on the history of the game. For example, you are only allowed to do a castling if your king nor your rook made a prior move. Further, you can only make an en-passant-capture on the next move.

But surely all this is just theoretical? No-one ever constructed a provable 2-mate with impossible winning move. Wrong again. The logician Raymond Smullyan did precisely that in his retro-chess puzzle book Chess mysteries of Sherlock Holmes. Here’s the position :



Presumably every chess player goes for the mate : 1. Kf5-e6 2. g7-g8D But what if black counters your first move with a castling 1. … 0-0-0 ? Surely he isnt allowed to do this. Why not, is there any clue in the position to prove that either the king or the rook must have moved before?

Well, what was black previous move then? It cannot be the pawn move e6-e5 as before that move the white King would be in check, so what was it? Just one possibility left : it must have been e7-e5.

This offers then another winning strategy for white, as white can capture en-passant. 1. d5xe6 e.p. and then if black castles 1. … 0.0.0, 2. b6-b7 or is black does any other move : 2. g7-g8.

Hence, whatever the games’ history, white has a mate in two! However, looking ONLY at the given position, it is impossible for him to judge whether Kf5-e6 will do the trick!

Anyone seen similar constructions?

UPDATE

According to the wikipedia page on Retrograde chess analysis, the Smullyan-idea is an adaptation of a much older problem due to W. Langstaff in the Chess Amateur of 1922. Here’s the situation (the solution is the same as above)



4 Comments

the King’s problem on MUBs

MUBs (for Mutually Unbiased Bases) are quite popular at the moment. Kea is running a mini-series Mutual Unbias as is Carl Brannen. Further, the Perimeter Institute has a good website for its seminars where they offer streaming video (I like their MacromediaFlash format giving video and slides/blackboard shots simultaneously, in distinct windows) including a talk on MUBs (as well as an old talk by Wootters).

So what are MUBs to mathematicians? Recall that a d-state quantum system is just the vectorspace $\mathbb{C}^d $ equipped with the usual Hermitian inproduct $\vec{v}.\vec{w} = \sum \overline{v_i} w_i $. An observable $E $ is a choice of orthonormal basis ${ \vec{e_i} } $ consisting of eigenvectors of the self-adjoint matrix $E $. $E $ together with another observable $F $ (with orthonormal basis ${ \vec{f_j} } $) are said to be mutally unbiased if the norms of all inproducts $\vec{f_j}.\vec{e_i} $ are equal to $1/\sqrt{d} $. This definition extends to a collection of pairwise mutually unbiased observables. In a d-state quantum system there can be at most d+1 mutually unbiased bases and such a collection of observables is then called a MUB of the system. Using properties of finite fields one has shown that MUBs exists whenever d is a prime-power. On the other hand, existence of a MUB for d=6 still seems to be open…

The King’s Problem (( actually a misnomer, it’s more the poor physicists’ problem… )) is the following : A physicist is trapped on an island ruled by a mean
king who promises to set her free if she can give him the answer to the following puzzle. The
physicist is asked to prepare a d−state quantum system in any state of her choosing and give it
to the king, who measures one of several mutually unbiased observables on it. Following this, the physicist is allowed to make a control measurement
on the system, as well as any other systems it may have been coupled to in the preparation
phase. The king then reveals which observable he measured and the physicist is required
to predict correctly all the eigenvalues he found.

The Solution to the King’s problem in prime power dimension by P. K. Aravind, say for $d=p^k $, consists in taking a system of k object qupits (when $p=2l+1 $ one qupit is a spin l particle) which she will give to the King together with k ancilla qupits that she retains in her possession. These 2k qupits are diligently entangled and prepared is a well chosen state. The final step in finding a suitable state is the solution to a pure combinatorial problem :

She must use the numbers 1 to d to form $d^2 $ ordered sets of d+1 numbers each, with repetitions of numbers within a set allowed, such that any two sets have exactly one identical number in the same place in both. Here’s an example of 16 such strings for d=4 :

11432, 12341, 13214, 14123, 21324, 22413, 23142, 24231, 31243, 32134, 33421, 34312, 41111, 42222, 43333, 44444

Here again, finite fields are used in the solution. When $d=p^k $, identify the elements of $\mathbb{F}_{p^k} $ with the numbers from 1 to d in some fixed way. Then, the $d^2 $ of number-strings are found as follows : let $k_0,k_1 \in \mathbb{F}_{p^k} $ and take as the first 2 numbers the ones corresponding to these field-elements. The remaning d-2 numbers in the string are those corresponding to the field element $k_m $ (with $2 \leq m \leq d $) determined from $k_0,k_1 $ by the equation

$k_m = l_{m} * k_0+k_1 $

where $l_i $ is the field-element corresponding to the integer i ($l_1 $ corresponds to the zero element). It is easy to see that these $d^2 $ strings satisfy the conditions of the combinatorial problem. Indeed, any two of its digits determine $k_0,k_1 $ (and hence the whole string) as it follows from
$k_m = l_m k_0 + k_1 $ and $k_r = l_r k_0 + k_1 $ that $k_0 = \frac{k_m-k_r}{l_m-l_r} $.

In the special case when d=3 (that is, one spin 1 particle is given to the King), we recover the tetracode : the nine codewords

0000, 0+++, 0—, +0+-, ++-0, +-0+, -0-+, -+0-, –+0

encode the strings (with +=1,-=2,0=3)

3333, 3111, 3222, 1312, 1123, 1231, 2321, 2132, 2213

4 Comments

KMS, Gibbs & zeta function

Time to wrap up this series on the Bost-Connes algebra. Here’s what we have learned so far : the convolution product on double cosets

$\begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} \backslash \begin{bmatrix} 1 & \mathbb{Q} \\ 0 & \mathbb{Q}_{> 0} \end{bmatrix} / \begin{bmatrix} 1 & \mathbb{Z} \\ 0 & 1 \end{bmatrix} $

is a noncommutative algebra, the Bost-Connes Hecke algebra $\mathcal{H} $, which is a bi-chrystalline graded algebra (somewhat weaker than ‘strongly graded’) with part of degree one the group-algebra $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $. Further, $\mathcal{H} $ has a natural one-parameter family of algebra automorphisms $\sigma_t $ defined by $\sigma_t(X_n) = n^{it}X_n $ and $\sigma_t(Y_{\lambda})=Y_{\lambda} $.

For any algebra $A $ together with a one-parameter family of automorphisms $\sigma_t $ one is interested in KMS-states or Kubo-Martin-Schwinger states with parameter $\beta $, $KMS_{\beta} $ (this parameter is often called the ‘invers temperature’ of the system) as these are suitable equilibria states. Recall that a state is a special linear functional $\phi $ on $A $ (in particular it must have norm one) and it belongs to $KMS_{\beta} $ if the following commutation relation holds for all elements $a,b \in A $

$\phi(a \sigma_{i\beta}(b)) = \phi(b a) $

Let us work out the special case when $A $ is the matrix-algebra $M_n(\mathbb{C}) $. To begin, all algebra-automorphisms are inner in this case, so any one-parameter family of automorphisms is of the form

$\sigma_t(a) = e^{itH} a e^{-itH} $

where $e^{itH} $ is the matrix-exponential of the nxn matrix $H $. For any parameter $\beta $ we claim that the linear functional

$\phi(a) = \frac{1}{tr(e^{-\beta H})} tr(a e^{-\beta H}) $

is a KMS-state.Indeed, we have for all matrices $a,b \in M_n(\mathbb{C}) $ that

$\phi(a \sigma_{i \beta}(b)) = \frac{1}{tr(e^{-\beta H})} tr(a e^{- \beta H} b e^{\beta H} e^{- \beta H}) $

$= \frac{1}{tr(e^{-\beta H})} tr(a e^{-\beta H} b) = \frac{1}{tr(e^{-\beta H})} tr(ba e^{-\beta H}) = \phi(ba) $

(the next to last equality follows from cyclic-invariance of the trace map).
These states are usually called Gibbs states and the normalization factor $\frac{1}{tr(e^{-\beta H})} $ (needed because a state must have norm one) is called the partition function of the system. Gibbs states have arisen from the study of ideal gases and the place to read up on all of this are the first two chapters of the second volume of “Operator algebras and quantum statistical mechanics” by Ola Bratelli and Derek Robinson.

This gives us a method to construct KMS-states for an arbitrary algebra $A $ with one-parameter automorphisms $\sigma_t $ : take a simple n-dimensional representation $\pi~:~A \mapsto M_n(\mathbb{C}) $, find the matrix $H $ determining the image of the automorphisms $\pi(\sigma_t) $ and take the Gibbs states as defined before.

Let us return now to the Bost-Connes algebra $\mathcal{H} $. We don’t know any finite dimensional simple representations of $\mathcal{H} $ but, sure enough, have plenty of graded simple representations. By the usual strongly-graded-yoga they should correspond to simple finite dimensional representations of the part of degree one $\mathbb{Q}[\mathbb{Q}/\mathbb{Z}] $ (all of them being one-dimensional and corresponding to characters of $\mathbb{Q}/\mathbb{Z} $).

Hence, for any $u \in \mathcal{G} = \prod_p \hat{\mathbb{Z}}_p^{\ast} $ (details) we have a graded simple $\mathcal{H} $-representation $S_u = \oplus_{n \in \mathbb{N}_+} \mathbb{C} e_n $ with action defined by

$\begin{cases} \pi_u(X_n)(e_m) = e_{nm} \\ \pi_u(Y_{\lambda})(e_m) = e^{2\pi i n u . \lambda} e_m \end{cases} $

Here, $u.\lambda $ is computed using the ‘chinese-remainder-identification’ $\mathcal{A}/\mathcal{R} = \mathbb{Q}/\mathbb{Z} $ (details).

Even when the representations $S_u $ are not finite dimensional, we can mimic the above strategy : we should find a linear operator $H $ determining the images of the automorphisms $\pi_u(\sigma_t) $. We claim that the operator is defined by $H(e_n) = log(n) e_n $ for all $n \in \mathbb{N}_+ $. That is, we claim that for elements $a \in \mathcal{H} $ we have

$\pi_u(\sigma_t(a)) = e^{itH} \pi_u(a) e^{-itH} $

So let us compute the action of both sides on $e_m $ when $a=X_n $. The left hand side gives $\pi_u(n^{it}X_n)(e_m) = n^{it} e_{mn} $ whereas the right-hand side becomes

$e^{itH}\pi_u(X_n) e^{-itH}(e_m) = e^{itH} \pi_u(X_n) m^{-it} e_m = $

$e^{itH} m^{-it} e_{mn} = (mn)^{it} m^{-it} e_{mn} = n^{it} e_{mn} $

proving the claim. For any parameter $\beta $ this then gives us a KMS-state for the Bost-Connes algebra by

$\phi_u(a) = \frac{1}{Tr(e^{-\beta H})} Tr(\pi_u(a) e^{-\beta H}) $

Finally, let us calculate the normalization factor (or partition function) $\frac{1}{Tr(e^{-\beta H})} $. Because $e^{-\beta H}(e_n) = n^{-\beta} e_n $ we have for that the trace

$Tr(e^{-\beta H}) = \sum_{n \in \mathbb{N}_+} \frac{1}{n^{\beta}} = \zeta(\beta) $

is equal to the Riemann zeta-value $\zeta(\beta) $ (at least when $\beta > 1 $).

Summarizing, we started with the definition of the Bost-Connes algebra $\mathcal{H} $, found a canonical one-parameter subgroup of algebra automorphisms $\sigma_t $ and computed that the natural equilibria states with respect to this ‘time evolution’ have as their partition function the Riemann zeta-function. Voila!

2 Comments