## A Chess Puzzle, Part VII Episode 2 : The Rational Super Queen

Part VII Episode 2 of A Mathematical Chess Puzzle:

We are nearing the end, but still there is the tallest mountain to climb. We need to prove the SUPER QUEEN THEOREM, which says that not only is there a chess position $Q$ to the unguarded queen problem on the unit continuum board $B_c$ (where $c$ are is understood as all reals in the open unit interval (0,1)), but that in fact that solution satisfies the Super Queen property — which is to say, that not only is there exactly one queen on every rank and file (“Rook Maximal”), but that there is also exactly one queen on every diagonal (“Bishop maximal”). This is not possible on finite boards because we run out of places on diagonals to put the queens that don’t attack an existing queen by a rook move.

Note: we exclude the endpoints 0 and 1 from the intervals to remove the “degenerate” diagonals on the corners, and so ensure that all rows, columns and diagonals are of positive linear measure. If they were included, then only one of the two degenerate diagonals through (0,0) and (1,1) respectively could be admitted and the “super queen” property would not hold.

### Climbing an Infinite Ladder

To prove this theorem, as mentioned in the previous post, we will need to use a technique called Transfinite Induction. This is a concept which extends a more conventional technique called Mathematical Induction. The general idea of regular induction in mathematics can be expressed using the metaphor of a ladder:

Infinite Ladder

Mathematical Induction: If you can prove that

1. you can get on the first rung of a ladder, and
2. you can also prove for any N that
if you can get to rung $N$,
then you can also get to the next rung $N+1$,

then you have proven you can go all the way up the ladder.

This does not seem very deep, and in fact seems obvious, but it is a technique used in many parts of mathematics. For example, consider the theorem:

THEOREM: For every integer $n \ge 1$, the odd sum  $1 + 3 + 5 … (2n-1)$ is a square, and in fact

$$S_n = 1 + 3 + 5 … (2n-1) = n^2\tag{**}$$

For example, for $n=1$, $1 = 1^2$, for $n=2$, $1 + 3 = 4 = 2^2$, and so on.

PROOF: We shall use (regular) mathematical induction. The first step is to prove we can get on the “first rung”, so we look at $n=1$ and can see that indeed $1 = 1^2 = (2n-1)^2$. For the next step, suppose that formula (**) holds for a specific $n = N$, that is, for a specific $N$ we have:

$$S_N = 1 + 3 + 5 … (2N-1) = N^2\tag{***}$$

We need to show that (**) also holds for $n= N+1$. We can write

$$S_{N+1} = 1 + 3 + 5 … (2(N+1)-1)^2$$

$$= 1 + 3 + 5 … + (2N -1)^2 + (2(N+1)-1)^2$$

which by definition can be rewritten:

$$= S_N + (2(N+1)-1)^2$$

and by the assumption (***) we have

$$= N^2 + (2(N+1)-1)^2$$

which simplifies to

$$= N^2 + 2N + 1 = (N+1)^2$$

which is formula (**) with $N+1$ substituted for $n$. We have just proved the second part of induction, which is that if (**) is true for $N$ then it is also true for $N+1$, and so the theorem is proved. QED.

### The Rational Super Queen

As a first step toward proving the Super Queen Theorem on the transfinite board $B_c$, we will first prove the analogous theorem on the rational unit board $B_{\mathbb{Q}}$, where $\mathbb{Q}$ is understood as the set of all rational numbers between 0 and 1 exclusive.

Referring back to the previous article on the Rook, both the rational unit board and the omega board have a countable infinity of “squares”. And as in that case, what makes the situations different is that the omega board (whose coordinates are integers) has a discrete topology, while the rational numbers are dense, and no square has a unique square “next to” it.

It should be noted that when restricted to just rational points, the concept of rook and bishop lines restricted to $B_{\mathbb{Q}}$ makes sense. The reason is that for any two “rational” points $p,q \in B_{\mathbb{Q}}$,, and any two rook or bishop attack lines $\lambda_p,\lambda_q$ which pass through $p$ and $q$ respectively, that their intersection is either empty or another rational point $r \in B_{\mathbb{Q}}$. That is, you will never have two points on the board whose common points of attack are irrational points outside of $B_{\mathbb{Q}}$. (Proof left to the reader)

Let us define $\Lambda$ to be the set of all rook and bishops lines (ie, all Queen lines) in $B_{\mathbb{Q}}$. Then we have

The Rational Super Queen Theorem: There exists a queen position $Q$ on the rational unit board $B_{\mathbb{Q}}$, such that for every queen line $\lambda \in \Lambda$ the intersection $\lambda \cap Q$ has exactly one point $q \in B_{\mathbb{Q}}$. That is, every Queen attack line in $B_{\mathbb{Q}}$ is occupied by exactly one queen in the position $Q$.

We will prove this theorem by (regular) mathematical induction. To do this we will need some definitions and to prove some  lemmas first.

Definition: a set $S$ is Well Ordered if there is an operator (which we will call $\le$), such that for all $x,y,z \in S$ we have

1.  $x \le x$
2.  Either $x \le y$ or $y \le x$
3.  if $x \le y$ and $y \le z$ then $x \le z$
4.  if $x \le y$ and $y \le x$ then $x = y$
5.  (Well Ordering): For any subset $T \subset S$, there exists a “smallest” element $x \in T$, ie, so that $x \le y$ for all $y \in T$.

The first four conditions describe “total ordering”, while the fifth (important) condition is what makes a “well ordering”. The principle of Mathematical induction is equivalent to the statement that the natural numbers $\mathbb{N}$ is well ordered.

Example 1: The positive integers $\mathbb{N}$ are well-ordered with the usual numeric ordering $\le$.

Example 2: The set of all integers $\mathbb{Z}$ is NOT well-ordered under $\le$, because $\mathbb{Z}$ itself is a set having no smallest value (violating condition 5).

Theorem 1:  The rational points $(x,y) \in B_{\mathbb{Q}}$ have a well ordering (but not the usual one $\le$).

Proof: It is known that the positive rational numbers $\mathbb{Q}$ are countable; that is, that there exists a function mapping the natural numbers $\{1,2,3,…\}$ to $\mathbb{Q}$ in a 1-to-1 way. To see that, observe that they can all be represented as fractions $p/q$ in a square array whose x and y coordinates indicate the numerator and denominator (below). Note that fractions that are not in simplest terms (e.g. 2/2) are skipped.

As the arrows suggest, we can then “thread” the numbers onto a line, and number them by the order they appear, like this:

$$x_n = \frac{1}{1}, \frac{2}{1}, \frac{1}{2}, \frac{1}{3}, \frac{3}{1}, . . .$$

$$n = 1, 2, 3, 4, 5, . . .$$

This gives us a function $Q(n)$ which takes the integer $n$ to $x_n$. And so, we can define our new “ordering” (call it $\prec$) on the positive rationals by defining $x_n \prec x_m$ if and only if $n \le m$ in the usual sense. And this ordering is well-ordered, because for any subset $S$ of positive rationals, one simply considers the inverse set $S’ = Q^{-1}(S)$. SInce $S’$ is a subset of the positive integers, there must be a smallest one $m \in S’$, and by definition this is also the “smallest” in $S$, ordered by $\prec$.  QED

Theorem 3:  The rational points $(x,y) \in B_{\mathbb{Q}}$ have a well ordering.

Proof: We can follow a proof that parallels the one just given for Theorem 2. For we can use the inverse function $Q^{-1}(x)$ to map all rational points $(x,y)$ to non-negative integer points $(m,n)$, and by arranging them in a similar grid as above, “thread” the integer grid with a single integer line, and then use the inverse of this mapping to map the well-ordered integers to the rational points.  QED

Theorem 4:  The set $\Lambda$ of queen lines on the rational board is countable and can be well ordered.

Proof: Each (non-degenerate) queen line can be identified by a pair of distinct rational points $(x,y)$ and $(z,w)$ on the board which belong to it. The rational points are well ordered and (by the same arguments above), the pairs of such points also have a well-ordering.

Proof of The Rational Super Queen Theorem

Our goal is to prove that we can construct a position $Q = \{ q_0, q_1, . . . \}$ on the unit rational board, such that every queen line $\lambda \in \Lambda$ contains exactly one and only one element $q \in Q$.

By Theorem 4, the queen lines $\Lambda$ are countable. This means that we can assign an index $n$ to each of them which might as well be the integers 0,1,2…), which also gives them a well-ordering.

In addition, the points on the rational board itself is countable and has a well-ordering.

First Step, definining Λ₀

To prove the existence of a position $Q$ we shall use (regular) mathematical induction.

For step zero, we simply define $q_0 = b_0$ where $b_0$ is the first element in the well-ordering of the board. We also define $\Lambda_0$ to be the set of (four) queen lines which pass through $q_0$. Let us also define the set $Q_0 = \{ q_0 \}$.

For step 1, we consider the set of all queen lines which are not in $\Lambda_0$, and take the queen line $\lambda = \lambda_\alpha$ whose index $\alpha$ is the smallest among those. We then exclude from this $\lambda$ (considered as a set of points in the board) all points where it intersects $\Lambda_0$ (shown here in yellow). This intersection is a finite set of points, and so we can pick for $q_1$ any other point on $\lambda$ not in this intersection. We then can define $\Lambda_1$ to be the set of all queen lines which pass through the set $Q_1 = \{ q_0, q_1 \}$. Note that $\Lambda_1 \supset \Lambda_0$ and is itself finite. We also note that any place where $\Lambda_0$ and $\Lambda_1$  share a point, those points are not in $Q_1$.

To generalize this last step inductively, for step $n+1$, we consider the set $S \subset \Lambda$ of all queen lines which are not in ${\Lambda_n}$, and among them choose a queen line $\lambda = \lambda_\alpha$ whose index $\alpha$ is the smallest within $S$. We can do this because ${\Lambda_n}$ is a finite set of queen lines, and so the remaining set is non-empty (in fact, countably infinite), and $\Lambda$ is well-ordered. We now consider the set of all intersections of $\lambda$ with lines in ${\Lambda_n}$. As before, this is a finite number of intersections and so we can choose for $q_{n+1}$ any point in the (infinite) queen line $\lambda$ not in this set, and define $\Lambda_{n+1}$ to be all queen lines passing through points $Q_{n+1} = Q_{n} \cup \{q_{n+1}\}$.

We now assert that (1) this tower of inclusive sets

$$\Lambda_0 \subset \Lambda_1 \subset \Lambda_2 . . .$$

is exhaustive, and its union will eventually include every single queen line $\lambda \in \Lambda$. In other words, the union is itself $\Lambda$. And furthermore, (2) the union of the tower of sets

$$Q_0 \subset Q_1 \subset Q_2 . . .$$

is our desired position $Q$ and that every member of $\Lambda$ meets $Q$ in exactly one point. The proof of this is below:

(1) To see that the $\Lambda_n$ tower is exhaustive, assume that this was not the case, and that there was some $\lambda$ that was missing from the tower, and so let us choose $\lambda_\beta$ to be the smallest of these missing ones in the well-ordering of $\Lambda$. But now consider how we constructed the set $\Lambda_{\beta + 1}$.  By construction, it was the union of $\Lambda_{\beta}$ with the  $\lambda_n$ with the smallest index $n$ which was not in $\Lambda_{\beta}$. But this means that $n$ must be greater than $\beta$, and so $\lambda_\beta$ should have been chosen at that step because it has a smaller index and is not in $\Lambda_{\beta}$.

(2) To see that every member $\lambda$ of $\Lambda$ meets $Q$ in at least one point, simply note that $\lambda$ must belong to $\Lambda_n$ for some smallest $n$ (since the union was exhaustive). But $\Lambda_n$ was defined to be all queen lines passing through $Q_n$, and so $\lambda$ must meet at least one element of $Q_n \subset Q$. But the points already chosen were selected from a set that excluded pairwise intersections of members of $Q_n$, and so $\lambda$ cannot possible meet any more than one element (as pairwise intersections were excluded). Hence $\lambda$ meets $Q_n$ at exactly one point, and by the construction, no later $Q_m$ sets meet $\lambda$ at all.

QED

This proof is remarkable, because nothing like it is possible with the finite boards. The thing which makes this work, is that at each step we are only removing a finite number of points from an infinite board, and so we can always find more in the remaining infinite sets to satisfy our conditions. Unlike the finite case, it did not matter whether any “queen line” was a rook or bishop style line. They were each treated equally in the set $\Lambda$ and the process of eliminating candidate points for the next step never exhausted the pool.

Having now proved the “Super Queen” solutions exists for the rational board, we are ready to pull out the big guns in the next post and deal with the Super Queen solution on the transfinite real board.

## A Chess Puzzle, Part V: Rooks and Topology

Part V of A Mathematical Chess Puzzle:

### Review

We — that is, I — have been studying the (classic) “unguarded” chess puzzle, which is to say, how to pack as many of one chess piece on a chess board without any of the pieces attacking any others. But with the twist, that the board may be infinite, and possibly uncountably infinite. In the last post we saw that the set of maximal unguarded solutions for the Rook on the board $B_A$ (for any set $A$) had an interesting mathematical property, that they could be represented as the permutation group on the set $A$. In later posts we will see that the Queens also have some interesting properties, some of which can already be seen in our current focus on the Rook.

### What is Topology and Why does it Matter?

The glib definition of topology is “rubber sheet geometry”, which is to say, the study of what properties are preserved in an object even if they are made of rubber and can be twisted and stretched but not “torn”. For example, a solid ball and a solid cube can be deformed into each other just by stretching, but to deform a ball into a 1-holed doughnut you would need to puncture the ball to make the hole — which is not allowed.

cube turned to sphere

One way in which a “topology” can be defined on a space is by specifying the way in which two points are “close” to each other, or whether two points can be “connected” by a continuous path.

We have been defining “chess boards” as two-dimensional things (denoted $B_A$) whose “squares” are identified with coordinates (x,y), where the x and y are in some subset $A$ of the real line $\mathbb{R}$. For example, the standard 8×8 chessboard we called $B_8$ uses the coordinates in the subset $\mathbb{Z}_8 = \{ 0, 1, 2, … 7 \}$ (though we could just as easily have taken {1, … 8} ). Among the other coordinate sets $A$ we could consider are the whole numbers, the rationals, the algebraic numbers, and the non-negative real numbers, or for that matter the whole real line.

### Topological Density

To see why questions about chess puzzles on various boards $B_A$ may have different answers depending on topology, consider that one of the properties of a subset of $\mathbb{R}$ is called density. A set $A \subseteq \mathbb{R}$ is said to be dense at a point $x \in A$ if for any other point $y \in A$ where $y \neq x$, there exists another point $z \in A$ strictly between them, ie, such that $(z-x)*(z-y) < 0$. The set A is everywhere dense if it is dense at every point of A, and nowhere dense (also called “discrete”) if it is not dense at any point of A.

For example, the whole numbers $\mathbb{W}$ is nowhere dense because there are no other integers between n and n+1. Meanwhile, the rationals $\mathbb{Q}$ are dense, because if $p$ and $q$ are two distinct rational numbers (ie, can be expressed as an integer fraction $m/n$), then it can be shown that $(p+q)/2$ is another rational strictly between them.

And so, to see the reason why density is relevant for chess, simply note that the moves and attack regions for both the King, Pawn and Knight are defined by the squares *adjacent* to their current location, and on a board $B_A$ where $A$ is everywhere dense, there is no such thing as an adjacent square, because there is always another square in A in-between. In other words, the “unguarded” puzzle for Kings, Pawns and Knights does not make sense for dense sets $A$ such as rationals, algebraics, or reals. Meanwhile, because the attacks of Bishops, Rooks, and Queens is defined in terms of directions on the board (horizontal, vertical, diagonal), they have well-defined meanings even on everywhere dense boards.

### Connectedness

Strictly speaking, a set is topologically connected if it cannot be represented by a union of two disjoint sets. By that definition, a set like the integers or the rationals is nowhere connected. For example, the rationals can be represented as $\mathbb{Q} = \mathbb{Q}^+ \cup \mathbb{Q}^-$, where $\mathbb{Q}^+$ and $\mathbb{Q}^-$ are the sets of rationals greater and less than $\sqrt{2}$, respectively. These are both open sets because for any rational number $x \in \mathbb{Q}^+$, all other rationals (sufficiently close) to $x$ are also in the same set.

Nevertheless, we can still define “weaker” forms of connectedness on the rationals, in the sense that the closure of $\mathbb{Q} \subset \mathbb{R}$ is connected. There are also other more general definitions. A set is considered connected, intuitively, if you can get from any place in the set to any other by a “connected” path lying wholly within the set (whose definition needs to be made clear).

For example, suppose we take the set of whole numbers $\mathbb{W}$, and define that two elements $m, n \in \mathbb{W}$ to be “weakly connected” if they differ by no more than 1. So, 2 is connected to 3 and 1, as well as itself, but 2 is not connected to 4. More generally, we can say that two subsets A and B of $\mathbb{W}$ are weakly connected to each other, if there exists a member a in A and b in B such that a and b are connected. Finally, we can define a single subset $A \subseteq \mathbb{W}$ to be weakly connected, if for any two elements $a,b \in A$, there exists a finite sequence of elements $\{ a_i \} \subset A$ such that $a = a_0, a_n = b$, and where $a_i$ and $a_{i+1}$ are connected for all $i = 0…n-1$.

With this definition, we can see that the set $A = \{0,1,2,3,4\}$ is a weakly connected set, but that $A=\{0,1,3,4\}$ is not connected, because there is no way to to get from 1 to 3 by connected elements in $A$ (2 is missing and forms a gap).

The reason all this matters is that we will see that for the solutions to the unguarded rook problem, the topology of those solutions differs when we go from the infinite integer board $B_{\omega}$ to the infinite rational board $B_{\mathbb{Q^{+}}}$ or real board.

### The Topology of the Integer Board

Just as with the rationals, we can define “weakly connected” on the integer board $B_{\mathbb{W}}$, by first specifying that two squares a and b are “weakly connected” if they are a Kings move away from each other, that is, one square away horizontally, vertically, or diagonally. And by extension, we can say that any subset $A$ of $B_{\mathbb{W}}$, is connected, if any two members $a$ and $b$ of $A$ can reach each other, by a king moving strictly within the set $A$. From this point on, we will use “connected” to mean “weakly connected”, unless we say otherwise.

Connected Rook Theorem 1: On any finite board $B_n$, the only connected maximal solutions to the unguarded rook problem are the two diagonal solutions, ie the graphs of the function $y=\phi(x)$, where

$$\phi(x) = x$$

or

$$\phi(x) = n – 1 -x$$

The two connected rook solutions on the standard board.

PROOF

We first claim that if two squares in an unguarded rook solution are both connected to a third one, then all three must lie on the same diagonal (northwest or northeast). For, consider the case where square $a$ is connected to square $b$ along the north-east diagonal. We can go through and eliminate with an x all of the squares which are attacked by either $a$ or $b$. And what we see is that the only remaining square which a third rook can be placed and still be attached to $a$ is the lower-left corner.

By repeated application of this claim, what we have just shown is that all of the rooks in a connected component of an unguarded rook solution must lie on the same diagonal. Since this is a maximal unguarded solution, there must be a rook on the first row somewhere. We now claim that it must either be on the leftmost square (forming the northeastern diagonal solution), or else the rightmost square (forming the northwestern diagonal solution). For suppose that the rook is anywhere else along the bottom row, and that (without loss of generality) that it is part of a northeasterly diagonal.

Once again, by a process of eliminating all other squares under attack by the northeasterly diagonal line of rooks, we can see that this leaves a disconnected square in the upper left corner as the only available locations of the rooks that must occupy the remaining rows and columns. But none of these squares are connected to the northeast diagonal, and so a maximal unguarded solution cannot be constructed in this manner that is also connected.

QED

Connected Rook Theorem 2: On the infinite integer board $B_{\omega}$, the only connected maximal solution to the unguarded rook problem is the main diagonal solution, $\phi(x) = x$.

Proof: Clearly the above solution is maximal. Suppose that there is another maximal solution where there is a rook located at a position $P = (m,n)$, where (without loss of generality) we can assume $m > n > 0$. By eliminating all cells attacked by this rook, we now have a board segmented into four non-empty regions, (I, II, III, IV),  each of which would be disconnected from each of the others, save for their connection to the rook at $P$.

By the same argument previously, either $P$ connects regions I to IV by the north-west diagonals, or else it connects regions II and III, by the northeast diagonals. If we choose to join regions II and III, then region III (including P) is an $m x n$ rectangle, in which we would have to fit $m$ rooks, even though we only have $n$ rows. This would force at least two rooks to occupy the same rows, which is not allowed. This leaves us with P joining up regions I and IV, by a northwest diagonal.  Now region I only has $m-1$ columns, while region IV has only $n-1$ rows, and so we have only a finite number of additional rooks we can add to this solution (region II not being connected to P). Thus neither option allows us to define a maximal solution to the unguarded rook problem, meaning that we must conclude that only the case where $m=n$ is valid.

QED.

### Unguarded Rooks on a Rational Board

While we could take the entire set $\mathbb{Q}$ of rational numbers, for our purposes it suffices to look at a much smaller but equivalent space, which is the unit interval of rational numbers, ie

$$\mathbb{Q}^* = \mathbb{Q} \cap [0,1]$$

The set of rationals is countably infinite, and so our board $B_{\mathbb{Q}^*}$ has the same number of “squares” as the infinite integer board. Nevertheless, the unguarded rook problem on this board has a surprising answer in store for us, given by the following theorem:

Connected Rook Theorem 3: There are an infinite number of connected maximal unguarded Rook solutions on the rational unit board $B_{\mathbb{Q}^*}$.

Comment: Just so you can see how on earth this could be possible, consider just one valid solution, defined on $\mathbb{Q}^*$ by the function:

$$\phi(x)= \begin{cases} \frac{x}{2}, & \text{if x \in [0, \frac{2}{3})} \\ 2x – 1, & \text{x \in [\frac{2}{3}, 1]} \end{cases}$$

The function $\phi(x)$ is a piecewise-linear function, which is a bijection on the set $\mathbb{Q}^*$.

The graph on $B_{\mathbb{Q}^*}$ shows that the placement of the rooks on the board looks like this:

what makes this work is that linear functions are invertible on the rational numbers, and that the rational numbers (unlike the integers) are *dense*. The same trick would not work on the integers, because you can’t apply y = x/2 to the odd integers and get another integer back.

Just to remind the reader of what this picture is about, that thin line is a chess position, consisting of a set of infinitely many rooks along that line, so an (infinite) magnification would reveal them, like this:

This example is just one of many other such piecewise-linear functions which do the trick. The only requirement is that the functions must be strictly monotonic (increasing or descreasing) on the interval $\mathbb{Q}^*$, and (to ensure it is maximal), covers the entire interval, either by $\phi(0) = 0, \phi(1) = 1$ or else $\phi(0) = 1, \phi(1) = 0$.

It turns out that the number of such functions is infinite. This can be seen easily by just noting that there was nothing special about the bend at $x=2/3$, and you could create a similar function with a bend on any other rational number between zero and one, of which there are countably infinite many of them.

### Fractal Content

The (two-dimensional) density of the Rook solutions is zero, since lines have zero area. This is the case for all three pieces Rook, Bishop and Queen. But we can still compare the relative density of each of these pieces, by measuring the (one-dimensional) “fractal” content of the positions. For example, the fractal content of the solution shown above is simply the length of the two line segments, which is $2\sqrt{5}/3 \approx 0.75$. But we can actually do much better, by pushing the “corner” of the two lines toward the bottom right like this:

in which case the fractal density is $\sqrt{82}/10 \approx 1.82$. As can be seen, by pushing further the rook solutions can attain fractal densities as close to 2 as we like.

### Uncountably Many Solutions

We showed above that there are an infinite number of connected maximal Rook solutions on the rational interval board $B_{\mathbb{Q}^*}$. But you can actually say a lot more; in fact the number of such solutions can be shown to be uncountably infinite, which is to say, there are at least as many of these solutions as there are real numbers (the infinity of the continuum) !

One way you can prove that the number of solutions is uncountable, is to construct a mapping between the (uncountable) set of all infinite decimals between 0 and 1, and a piecewise-linear function with rational coefficients, whose graph is a maximal connected solution of the unguarded Rook problem.

To do this, we first define for each digit from $i = 0 . . . 9$, a different piecewise linear function $f_i()$ on the unit square, simply by mapping the digits to different “bend locations” in the square (having rational coordinates):

Next, we take the unit square and along the main diagonal, lay out an infinite number of smaller squares, each half the size of the previous:

We now show how to map each infinite decimal fraction $z$ (e.g. $z = 0.2739 . . .$ ) to a specific piecewise-linear function $F = F_z(x)$ on the unit square. For each of the smaller squares we have placed inside the unit square, we go through the decimal digits in $z$ and for each digit $d$ define the corresponding function $F_z(x)$ restricted to that range by $F_z(x) = f_d(x)$, corresponding to that digit $d$.

As these infinite number of squares converge to the point $(1,1)$, we define $F_z(1) = 1$, which gives a complete definition on the whole unit interval. Since this mapping is injective, this means that the number of piecewise linear functions with rational coefficients is at least as large as the number of reals on the unit interval, which is uncountably infinite. This completes the proof.

So yes, there are a lot of them. And again, the reason this is so different from the integers has to do with the topological density of the sets.

Just to close the loop, if we look at the full real interval $I = [0,1] \subset \mathbb{R}$, it is actually much easier to construct topologically connected (in fact, compact) maximal unguarded Rook solutions. To construct such solutions, all that we require is that it be the graph of a function $y = \phi(x)$, where $\phi$ is a bijection on $[0,1]$ such that it is continuous and monotonically increasing or decreasing. That is, if $x > y$ then $\phi(x) > \phi(y)$. A simple set of examples of this are the powers of x, such as $\phi(x) = x^2, \phi(x) = x^3$, and so on.

As with the rational board case, with higher powers of x the curve begins to hug the bottom and right side of the board, with a curve length approaching 2. But can we do any better, or is 2 the largest 1 dimensional fractal content we can attain for connected unguarded rook solutions? The answer is given by the following theorem:

Fractal Content Rook Theorem: The path length of  a connected maximal unguarded Rook solution on the unit interval is not more than 2. That is, the length of any curve $y = \phi(x)$ on the unit interval $[0,1]$ where $\phi(x)$ is a continuous monotonically increasing function from 0 to 1 on the interval is less than or equal to 2.

Proof: We will need to use a little bit of calculus to do this. First, we parameterize the curve by $c(t) = (x(t),y(t))$ where the parameter $t$ ranges from 0 to 1, and

$$\begin{cases} x = x(t) = t \\ y = y(t) = \phi(x(t)) \end{cases}$$

From this we can compute the path length $s$ given by the integral (ie, sum):

$$s = \int_{t=0}^1 \frac{ds}{dt} dt$$

where $ds$ is the incremental increases in the path distance by $(dx,dy)$, given by

$$ds = \sqrt{dx^2 + dy^2}$$

For those unversed in calculus, think of $ds$ as just very small line segments into which the curve has been broken, and use Pythagorean Theorem). Now $dx/dt = 1$ since $x=t$, and $dy/dt \ge 0$, given that $y = \phi(x)$ is monotonically increasing. We can thus take advantage of the inequality

$$\sqrt{a^2 + b^2} \le \sqrt{a^2 +2ab + b^2} = (a + b)$$

when $a,b \ge 0$ to assert that (formally)

$$\frac{ds}{dt} = \sqrt{(\frac{dx}{dt})^2 + (\frac{dy}{dt})^2} \le \sqrt{(\frac{dx}{dt} + \frac{dy}{dt})^2} = \frac{dx}{dt} + \frac{dy}{dt}$$

and so we can conclude (since x(1) = 1 and y(1) = 1):

$$s \le \int_{t=0}^1 \frac{dx}{dt} + \int_{t=0}^1\frac{dy}{dt}dt = 1 + 1 = 2$$

which was to be proved. QED

We have now pretty much exhausted the study of unguarded Rooks, so it’s time to touch base briefly on the Bishop, before we move on (at last) to the unguarded Queens.

## Sedona Journal – 2020

### Preface

With the prospect of lengthy election-related noise in front of us, Gigi and I decided to take a week-long vacation from the world and head down to Sedona, Arizona, far from technology, news, internet, phone, or other channels by which the world would tell us more than we want to know.

### Phoenix, Arizona

Our first leg of the trip would be a drive down to Phoenix Arizona to visit my younger brother John and his wife Sheri for the weekend. On Sunday we plan on heading north to Sedona for the rest of the trip.

#### Friday, October 30, 2020

Sunny, warm

We drove down the 89A along the North Rim of the Grand Canyon, and from there straight down the 17 into Phoenix and John and Sheri’s house. They gave us a tour of their house; they had moved back to Arizona from Sacramento, where John had been working for a while.

#### Saturday, October 31, 2020

Desert Botanical Garden

Sunny, shorts weather

Desert Botanical Garden

In the morning we visited the Desert Botanical Garden, whose exhibits were accented by large colorful plastic animals.

Mimosas at O.H.S.O Barking Bar (L-R: John, Niles, Sheri, Gigi)

Barking Bar

Later that day we took bikes over to the “canal” and stopped at the O.H.S.O “Barking Bar” Brewery which served good beer, nachos, breakfast burritos and other fare. Also Mimosas. The bikes in the background have fans in the wheels. Camelback Mountain in the distance.

Happy Dog

This was a dog-friendly venue and many dogs hung out with their masters and had lively conversations.

Arizona Falls

Arizona Falls

After brunch we rode further down the canal to Arizona Falls, a dam whose design was inspired by Frank Lloyd Wright, and includes poetry about water and life.

Trilobite (upper left) found by Nick Edwards

Halloween and Fossils

That evening was Halloween, and we sat out front and ate chili while we handed out candy to the neighborhood kids. I noticed that John had framed a set of fossils, including the trilobite that our grandfather Norvis (“Nick”) Edwards had found during a road construction job, and sent to us.

### Sedona, Arizona

#### Sunday, November 1, 2020

##### Corn Maze (“Maize Maze”)

The Corn Maze at Tolmachoff Farms

John and Sheri joined us on our way out of Phoenix at Tolmachoff Farms, to explore a Corn Maze. The maze folks gave us a blank map of the maze, which we could fill out with patches of the maze map that we may run across along the way. As a mathematician, my brief glance at the overview map told me that we could “solve” the maze using the simple “right hand rule” (run your right hand along the wall and follow it where ever it goes). We spotted several of the patches (and some riddles) on our path to the exit, but did not find all the patches. So instead of going out the exit I followed the right hand back into the maze, which took us to other segments that (mostly) recovered the other patches. Fun!

Postscript to Maze: After returning home, I suddenly noticed that the shape of the maze was a pickup truck. I pointed this out to Gigi, who replied that she and Sheri noticed that it was a truck all along and were even commenting on being along the “fender” etc but (me being obsessed with solving the maze) had never noticed this obvious fact.

##### Arrival at Briar Patch Inn

Sunny, cool but pleasant

The “Heron” Cabin at Briar Patch Inn (Click to enlarge)

After leaving Phoenix we drove up to Sedona and checked in at the Briar Patch Inn bed and breakfast. We had reserved their “Heron” cabin, which had a secluded patio and was next to Oak Creek. We were married at the Briar Patch back in 2002, and when visiting we usually stay in the Casa Piedra cabin, but it was booked. The weather was pleasant, sunny but cool. By this time I had put my phone on Airplane mode, and there are no phones or TV’s in the cabins. The world outside was going away.

“The Swimming Hole” At Briar Patch at Sunset (click to enlarge)

The Briar Patch Inn has a dozen or so small rustic cabins scattered about the tree-lined grounds, some large enough for whole families with full kitchens, others just enough for one person with few needs but privacy.

The grounds surround a grass-lined lawn where two sheep graze. When we first came to the Briar Patch, their names were Woolly and Bully. They have since moved to greener pastures, and we are now hosted by two sheep named Rosie and Posie.

The swimming hole is at a place where the creek slows down, bounded on each side by small cascades. It is a bit too cold now to swim in, but is very pretty and peaceful.

We settled in for the night and lit a fire in the fireplace, with a large stack of books to read in cozy settings.

#### Monday, November 2, 2020

We drove out to “Montezuma’s Castle” and “Montezuma’s Well”, both ancient anasazi settlements notable for having nothing to do with Montezuma (who lived centuries later and never came through here). We reconnected to the world just long enough to get word about our cat Desert Kitty and our dog Blue. Kitty had been feeling bad when we left, not eating, but we got good news that he (whom our cat-sitter renamed “D-Cat”) was eating again.  At least now I would sleep better.

Montezuma’s Castle

#### Tuesday, November 3, 2020

Cloudy, thunder and lightning. Rain.

Election Day in the US. We are offline.

One way or another, the good news is that after realizing this object was not functional, in the process of making it so I found that I learned a lot more about sextants that I ever would have, had I bought a truly functional precision instrument (for $200 more) in the first place. So let’s get to work. ## The Sextant Though they look complicated, the simple idea behind a sextant (or quadrant, octant etc) is just to measure the angle between two things in the sky, either two bodies (like the moon and Regulus), or between one body (Polaris or the sun) and the horizon. This is easy to do on land, but at sea with everything moving it is difficult. The clever idea (which it appears Newton had first) is to use two mirrors (actually, one and a half), in such a way that the two objects you are measuring can be brought “next” to each other optically by adjusting one of the mirrors. Once done, it is then just a matter of precisely measuring the angle the movable mirror was rotated. This nice diagram below (gleefully stolen from Wikipedia) shows how to get the (elevation) angle of the sun above the horizon: Using the sextant and swing (From Wikipedia) While we are on the topic, we should show the proper names of all the main components of the sextant: The main elements are the frame, which is the 60 degree wedge that forms the base of the sextant. There is usually a handle on the other side of the frame so you can hold it. Along the outside of the frame is the arc, which has degree markings, starting from zero on the right. The frame also holds the fixed “horizon mirror“, which is only half-mirror, half clear glass. The movable arm is the index bar, which has a pointer (the index) that points to the angle on the arc. The “index mirror” is fixed to the index arm, and is a full mirror that rotates on a pivot and brings the second object into view. The shade glasses are deployed for shooting the sun, and prevent you from going blind. The drum allows you to do fine adjustment of the index arm, which whose angle on the arc you can see with the magnifying glass. Finally, the telescope is a tiny low-powered telescope which allows you to get a good look at the objects whose angle you are measuring. Here is an oblique view of my sextant, lying on its side. Ordinarily the geared arc is pointing down toward the earth. You can see that the horizon mirror is clear on the left side, and mirrored only on the right. So when you hold the sextant with the the telescope pointing to the horizon, the left side is looking straight ahead, at the horizon. Meanwhile, the right side is reflecting light from the index mirror, which is coming in at some angle above the horizon (indicated by the index arm). Here for example is the sextant with the index arm angle set to zero. This setting should allow the light from the horizon to bounce off the two mirrors and come into the little telescope at zero degrees. In other words, the view in both the left and right half of the horizon mirror should match. ## The Geometry The first geometrical question to address is, how does changing the angle θ of the index arm affect the angle β of the light coming in from the index mirror? Intuition suggests that since there are two mirrors, the angle will be doubled. Indeed, the rule is:  The angles on the arc of the frame should be marked like a protractor, but with the angular values doubled. Of course (for me) this requires proof. We will need to draw a diagram: The lines in blue show the path of light coming in along line CO, reflecting off the index mirror at O, continuing along line OA, and then reflecting off the horizon mirror at A, finishing along AB to the telescope. Let’s assume the index mirror makes an angle of θ with the line OB, and so the angle between the ray of light OA with the mirror at O must be 60°-θ. Now light bounces off of mirrors at the same angle they came in, so the incoming ray of light CO must also form the angle COE which is equal to 60°-θ. Finally, the index mirror forms an angle EOD with the horizontal line OD of 60° + θ, meaning that the residual angle β we seek is the angle EOD minus EOC, that is, β = EOD – EOC = (60° + θ) – (60° – θ) = 2θ so β = 2θ. That is, the angles marked on the arc, in order to properly represent the incoming angle β of light on the index mirror, must be a value of exactly twice the actual angle formed by the index arm at that point from the zero mark. ## The Reformation It didn’t take long for me to discover that my shiny new$15 sextant was not really functional as-is. It needed work. So the first thing I did of course (as is my nature) was to take the whole darn thing apart.

### Issue #1: Frame

The largest and most important component is the Frame — the large flat bit with the round gear-teeth around the edge. This serves as the “optical bench” upon which all the components are mounted. In addition, the gearing must be uniform, and the markings on the Arc calibrated, so that precise angular measurements can be made.

The first problem was that the frame was not flat. As many of the components are mirrors which must be aligned in 3 dimensions, the subtle bends in the frame would throw off any measurement. With all the pieces now removed, I was able to flatten out the frame.

The second problem was that the markings on the arc were clearly not precise. One clue may be found in the numbers, which on close inspection seem to have been crudely carved in by hand with a Dremel or similar tool. This is not a problem that can be resolved, short of recasting the whole thing.

### Issue #2: The Index Mirror

The first thing to note about the correctly made sextants in the previous section is that the index mirror is not aligned with the axis of the index arm, but slightly off, about 15 degrees. The one I got by comparison was not like that, and its mirror was lined up exactly with the index arm like this:

It turns out that this is wrong, or at least not very good or practical design. In fact, what it should look like is this:

Now the actual angle does not need to be 15°, but should be around there. The rule here is a bit more heuristic and goes like this:

 The index mirror should not be in line with the index arm, but offset by an amount greater than zero but less than 30°. 15° is close to ideal.

So what’s going on here? This is a mixture of mathematics and practical engineering.

Let’s parameterize this situation, and define a sextant whose index mirror is off-axis by an angle of δ a δ-Sextant. By this definition, what I bought is a 0°-Sextant, while the ones in the cartoon diagrams appear to be 15°-Sextants.

Okay, so what is so bad about my 0°-Sextant? Well, for looking at objects near the horizon (ie, where the index arm is near 0°), there is nothing really wrong at all and it works fine. I’m not familiar with the original design considerations, but two big factors have to do with the positioning of the horizon mirror, and the light-gathering ability of the index mirror. So let’s consider the horizon mirror first. Here is the geometry of the general δ-Sextant, with the index arm set at zero (so we are looking at the horizon):

Now by the same argument as before, the successive reflections of the ray of light coming in from the horizon form an angle of 60° -2δ away from the horizontal. So in order to the light to drop down a height of h (so that it can reach the telescope), the horizon mirror must be set back by h*cot(60° -2δ) from the center of the sextant. As we increase δ from 0 to 30 the cotangent approaches infinity, making the mirror position increasingly impractical.

Therefore, taking a mid-point value of δ=15° would put the mirror in a practical location, much less than infinity. The mirror was mounted on the index arm with two small screws. I drilled two new holes for the screws and used a tap-and-die kit to thread the holes for the screws. The new mount for the mirror brought it close to the required 15 degree orientation.

### Issue #3: Index Gear “Drum”

The index gear “drum” as depicted in the good diagram is a very precise worm-and-gear arrangement, with a “micrometer” fine-tuning for getting fractional degree measurements.

The knob is supposed to engage the gear teeth in the frame, and rotate the movable index arm (on which the index mirror is mounted). However, instead of using a worm-and-gear mechanism, it has a “direct drive”, in which the knob turns a wheel gear that meshes with the frame.

On close inspection, it was found that this gear must have been made by drilling out each of the gear teeth, and manually filing them down. The width and separation of the teeth have a visibly discernable variation, of about 5% or so. This bit is of the “juggling dog” variety, which is to say the amazing thing is not that it does its job well, but that it does it at all. Indeed, this gear tended to jam up at certain parts of the arc, and so required some additional filing just to get it to juggle at all.

### Issue #4: Vernier Scale

In place of the high-precision worm-gear/micrometer, this sextant uses a “Vernier Scale“, which is admittedly a very clever device that was invented in ancient China (but named after French mathematician Pierre Vernier) to extract more precision out of otherwise crude devices. The general idea is to have a second scale that is just slightly smaller (9/10ths) than the base scale. This makes the smaller scale lines rarely line up with the base scale, except at one marking, which indicates how many tenths of a marking need to be added to the base reading:

Vernier Scale (wikipedia)

Here is what our vernier scale looks like (bolted to the index arm):

There is just one problem with our Vernier. The scale is not 9/10’s of the base, but 10/10ths:
In other words, as a Vernier scale, it is totally useless. It is most likely that the poor starving artisan in Bangalore was just told to copy another copy and assumed the scales were supposed to match. There is no way to fix this. But as the gears that drive the index arm along the arc are themselves only accurate to about 5%, the additional precision that would be provided by the Vernier is pointless. At least it has a 0 degree line, with which I can line up the 0 on the arc and calibrate zero-degree separations.

### Issue #5: Sun Filters

While sextants are often used at night to measure distances between stars, they are also used to calculate the Sun’s altitude above the horizon (at noon for example). For this reason, sextants come with sun filters to prevent injury to the eye. The sun filters on this sextant are faintly colored glass, and should NEVER be used for any reason. Hopefully, nobody ever has used them. They are, like the rest of the sextant, purely decorative. The only fix is to replace with actual solar filters, or remove them altogether.

### Issue #6: Telescope

To its credit, the telescope is not really a problem. It even appears to have a very slight magnification, and is properly aligned with the fixed horizon mirror.

### Issue #7: The horizon mirror

The horizon mirror, ideally, is split down the middle, with only the right half mirrored and the left half transparent, allowing the direct forward view to come through. Unfortunately, the mirror was glued in slightly at an angle, so that the vertical line between the mirrored and transparent sides is tilted by about 5 degrees. I did not want to risk breaking the mirror so left it alone. It was also offset vertically from the index mirror, and so added spacers to raise it up a bit.

### Issue #8: The Handle and Horizon bars

The back of the sextant has a vertically oriented handle, along with two posts which when aligned should match the horizon (when computing the sun’s altitude):

The vertical handle was not exactly vertical, and so I inserted a spacer to adjust the alignment:

### Issue #9: Magnifying lens

The magnifying lens, intended to magnify the vernier and base scales for easy reading of the angle, doesn’t magnify. It appears to be an optically flat piece of glass, identical to the “sun filters”. I removed it as it only gets in the way.

## Conclusion

This was a pretty but functionally useless toy when it arrived. After two weeks and a number of visits to Ace Hardware, it was almost serviceable enough to calculate separations to about 1 degree. I would not depend on it to save my life.

## The Greatest Women Mathematicians

I have to admit a reluctance to putting the modifier “Women” in this post, because it would seem to imply that on an absolute scale the mathematicians I mention here are not intrinsically great. Perhaps a better title would be The Greatest Mathematicians (who happen to be Women). In any case, it has always bothered me when I see girls and women either discouraged from or outright forbidden from becoming mathematicians. One way or another, it is I think a sign of our times that “mathematicians you’ve never heard of” is kind of redundant.

I present these mathematicians in no particular order, for many reasons. Among those reasons is my personal opinion that the field of mathematics itself is not (again popular notions notwithstanding) like a vertical ladder, where first you learn counting, arithmetic, then algebra, geometry, trig, calculus and so on. In fact Mathematics, like Art, is more of a tree, with many branches, and many ways of thinking and seeing things. Some math is visual, some verbal, even some tactile. The fields these women pursued were likewise in many different areas, and their peculiar genius or accomplishment in each was profound. I won’t talk about all of the women pictured above, just the ones about which I would like to make a point. If you like, google “Greatest Women Mathematicians” for a very long and interesting list.

### Maryam Mirzakhani

When I was writing this piece this morning I was shocked and saddened to see that had just died last year (2017) of breast cancer. She was only 40, but had already done some profound work in geometry, especially Riemannian geometry — used by physicists in general relativity and elsewhere. She won the Fields Medal for her work in 2014, and became the first woman in history to win this award, described as the “Nobel Prize in Mathematics”. Maryam was born in Iran, and upon news of her death, a number of Iranian newspapers broke the taboo of printing a picture of her (a woman) with her hair uncovered.

### Cathleen Synge Morawetz

Just one month after Maryam Mirzakhani died, we also lost Cathleen Morawetz (1923-2017), Professor Emeriti at New York University. Unlike most of the other mathematicians in this list, I had the great fortune to meet and get to know Cathleen in the 1980’s, while doing postdoc work at the Courant Institute in New York, where she at the time was the Director.

I had gone to Courant to continue my studies of nonlinear wave equations, and Cathleen had made much of her own fame in that area, studying compressible fluids and shock waves. She was also the creator of the “Morawetz Inequality(ies)”, which have proven to have many uses, even to the understanding the stability of Black Holes.

Cathleen was a very smart and jovial woman, and I will miss her.

### Emmy Noether

Going back a bit, it would be difficult to convey just how profound and far-reaching was the work done by Emmy Noether, who lived from 1882 to 1935, and whose work touched many different branches of the tree of mathematics, including abstract algebra, geometry, and dynamical systems. One of the most profound theorems she proved (actually two with her name) is now known as Noether’s Theorem. What Noether’s (first) Theorem says is that for any conservation Law (such as energy, momentum, charge, etc), there is a fundamental geometric symmetry in the universe that corresponds to it. To express this poetically, Emmy proved that in mathematical physics, Truth (Law) is Beauty (Symmetry). Emmy’s Theorem resolved questions that Einstein had not been able to solve (!), and Einstein lobbied with Göttingen University (where she worked without pay or title) to promote her to a professorship. Eventually she was made professor, but with the rise of Nazi Germany soon had to leave the country for the US, due to her Jewish ancestry.

### Sofie Kovalevskaya

Sofia “Sofie” Kovalevskaya lived from 1850 to 1891, and like Emmy Noether made substantial contributions to mathematical physics. She was a true pioneer, the first European female to earn a PhD in modern times. Together with Augustin Cauchy, she proved the Cauchy-Kovalevskaya Theorem, regarding the solutions to many equations in physics, especially those governing waves (light waves, sound waves, matter waves etc). Without her work I likely would not have had a job. Sofie was good in math but unlucky in love, her heart often broken. She had married and had children early on, and occasional star-crossed relationships later, but was also an early radical feminist and maintained a close and possibly romantic relationship with playwright Anne Charlotte Edgren-Leffler, the sister of Gosta Mittag-Leffler.  Besides her main theorem, she was also the discoverer of what is now called the Kovalevskaya Top, an exact solution to a spinning top that completed work begun long ago by Euler and Lagrange. She was also a writer, and wrote “Nihilist Girl”, a semi-autobiographical work.

“It is impossible to be a mathematician without being a poet in soul.”

–Sofie Kovalevskaya.

### Florence Nightingale

(Yes that Florence Nightingale)

Diagram of Causes of Mortality (click to enlarge)

Besides being the founder of modern Nursing, Florence Nightingale had a knack for mathematics and especially statistics, and made great contributions in the visual display of quantitative information, a field which later was made popular by Edward Tufte in his seminal works. Ms. Nightingale was one of the first to make use of the Pie Chart, making clear causes and relationships in mortality among WWI soldiers.

### Hypatia

There are so many others, such as Maria Gaetana Agnesi (the first woman appointed as full professor, but who died and like Mozart was buried in a pauper’s grave) but on my short list I have saved Hypatia for last. No likeness has ever been found, but she was said to be as beautiful as she was smart.

The first documented female mathematician, Hypatia lived in 400 AD in Alexandria, and is considered by many to be the patron saint of mathematics. And a martyr. She was the daughter of the mathematician Theon, and inherited from him the position of Director of the Library of Alexandria, the ancient repository of world knowledge. Though Theon was considered a great geometer and wrote many treatises on Euclid, Hypatia was said to have surpassed her father in mathematics and astronomy, made astrolabes, and wrote many other works and commentaries on geometry.

None of Hypatia’s works have survived, nor much of Library, whose destruction was considered one of the great tragedies in intellectual history. Hypatia was brutally assassinated by christian extremists, opposed to the “practice of sorcery, witchcraft, and mathematics”. Ironically, she was also a great teacher, and one of her most devoted students was Synesius, who studied under Hypatia as a neoplatonist, but eventually he converted to christianity and became a bishop, and contributed to the understanding of the doctrine of the Trinity.

Hypatia fought hard to save the Library, but the world was changing and she could not stop it. So much was lost when the Library fell. With it was lost much knowledge, and science, and wisdom, that we will never recover. The fall of the Library presaged the Dark Ages. Had the Library stood, some have said, we might have landed on the moon in 1492, not just Florida.

To be a woman. To be a scientist. To be a mathematician. All these things require more of one than any of us could ever know.

Be brave, these women tell us.

Be brave.

## You Will Be Remembered

On my Sunday training runs for the Zion Half Marathon, I usually go for a run up Utah SR 9, heading towards Zion from the town of Virgin. A few miles up, I pass by this gravestone just off the highway, the only remaining thing of the ghost town called Duncan’s retreat.

I have never seen anybody stop here. Most people are tourists going 70 along this lonely stretch of highway, hell bent for Springdale lodging, and if they were looking anywhere it would be the other way, towards the Virgin River. A rock quarry lies just behind it, and nothing that would draw your attention to it.

The history book has this to say about the long-gone town:

A man named Chapman Duncan settled here in 1861. Shortly after several other families moved here also. In 1862 the Virgin river flooded and destroyed most the town. A lot of the people moved away but new settlers came. By January of 1863 about 70 people lived here. In 1863 a post office was built, a school was built in 1864 along with a meeting house. In 1866 floods took its toll on this town also and over the next few years high water from the Virgin river destroyed the fields and killed the town. By 1891 the town was deserted. All that remains of the town today is a grave of a lady named Nancy Ferguson Ott who died here in town in 1863. Her grave is located on the north side of highway 9. (Submitted by Bob Bezzant.)

My understanding from other locals is that Duncan used to live in our town of Virgin (now population 600), but “retreated” to this place far from Virgin to get away from the bustling metropolis.

When Nancy Ferguson Ott died, Duncan’s Retreat had 70 citizens, a post office, families, friends. It was a town, and they thought it would stick around long enough for there to be a cemetery with more than just Nancy, but Nature and circumstance had other ideas.

Now she is utterly alone, on a lonely stretch of anonymous highway, with no one around, no town, no post office, no friends no family.

I stopped to look at the grave marker. There are fresh flowers, stuffed animals, cards. They are replaced regularly by somebody somewhere. I do not know who.

I take some comfort in this, and I hope you do too. No matter who you are, or how alone you may feel in this world, Nancy Ferguson Ott is here, on State Route 9, miles from anywhere and anyone, to deliver this message to you: No one dies alone. You will be Loved, You will be Remembered.

## Relativity, Simplified. Really.

I’ll make this (mercifully) short.

Consider this statement, which I call Ω:

 Everything travels through the Cosmos at exactly the speed of light.

Ω is Relativity. That’s it. Really, it is. And Ω is true not only for Special Relativity, but the General one too. All you have to know is that the “Cosmos” means both space and time.

If you were to ask somebody what Relativity says, they would probably say something like “everything is relative.” The problem with that is, it’s not precise. In fact, it’s not even true. Some things in physics (and the world) are thought to be absolute. So I’ve been trying to come up with a good version of Relativity that can be justified mathematically, and that little box is what I came up with. If you understand what each word means exactly, everything follows from this statement, and if you like you can stop reading now and get on with life. Because that really is what relativity says.

The rest of this short post is just me rambling about why I like it. In a later post I’ll defend it. Also, here is a cool picture of a galaxy for no reason. But it’s cool (*).

### Why I like This Version of Relativity

One of the things I like about this version (Ω) is that it is simple and precise, sounds a little strange — but just enough strange to be right — and answers immediately a number of other questions people ask about relativity, matter, speeds etc. For example:

Q: Will we ever be able to go faster than light?

A: NO. The reason you can’t go faster than the speed of light is that you can’t go any slower either. Nothing in the universe can go any speed in spacetime but c, the speed of light. The only thing you can ever change is the direction in space-time that you are going.

Q: Why does Relativity say that when you go faster, time slows down?

A: Because you are always going exactly at the speed c, so if you go faster in the space directions, you have to go slower in the time direction so it still adds up to exactly c.

See?  Details later, film (and math) at 11. But really, it is true. Ask a physicist. He’ll scratch his head, then say yeah, that works, then go have a beer.

(*) Photo: (Image Credit: X-ray: NASA/CXC/CfA/R.Kraft et al.; Submillimeter: MPIfR/ESO/APEX/A.Weiss et al.; Optical: ESO/WFI)

## An Anti-Christmas Carol

Another useless parasite.

Tomorrow will be June 25, the orbital opposite of December 25, and making us nearly as far as possible astronomically from the spirit of Christmas as we can be. Seems appropriate then, with the current sentiment pervading our leadership these days regarding the poor, the young, the sick and the elderly, and the changes proposed to the way our society treats these people. It therefore seems appropriate to publish here an excerpt from Dicken’s classic story, reflecting what seems to be the mood of the times, which is to tell Tiny Tim that he is a freeloader, and needs to pull himself up by his bootstraps and get a job. Or just go away and die.

Merry Christmas, Everyone.

## A Christmas Carol – Marley’s Ghost

“At this festive season of the year, Mr. Scrooge,” said the gentleman, taking up a pen, “it is more than usually desirable that we should make some slight provision for the Poor and destitute, who suffer greatly at the present time. Many thousands are in want of common necessaries; hundreds of thousands are in want of common comforts, sir.”
“Are there no prisons?” asked Scrooge.
“Plenty of prisons,” said the gentleman, laying down the pen again.
“And the Union workhouses?” demanded Scrooge. “Are they still in operation?”
“They are. Still,” returned the gentleman, “I wish I could say they were not.”
“The Treadmill and the Poor Law are in full vigour, then?” said Scrooge.
“Both very busy, sir.”
“Oh! I was afraid, from what you said at first, that something had occurred to stop them in their useful course,” said Scrooge. “I’m very glad to hear it.”
“Under the impression that they scarcely furnish Christian cheer of mind or body to the multitude,” returned the gentleman, “a few of us are endeavouring to raise a fund to buy the Poor some meat and drink, and means of warmth. We choose this time, because it is a time, of all others, when Want is keenly felt, and Abundance rejoices. What shall I put you down for?”
“Nothing!” Scrooge replied.
“You wish to be anonymous?”
“I wish to be left alone,” said Scrooge. “Since you ask me what I wish, gentlemen, that is my answer. I don’t make merry myself at Christmas and I can’t afford to make idle people merry. I help to support the establishments I have mentioned—they cost enough; and those who are badly off must go there.”
“Many can’t go there; and many would rather die.”
“If they would rather die,” said Scrooge, “they had better do it, and decrease the surplus population. Besides—excuse me—I don’t know that.”
“But you might know it,” observed the gentleman.
“It’s not my business,” Scrooge returned. “It’s enough for a man to understand his own business, and not to interfere with other people’s. Mine occupies me constantly. Good afternoon, gentlemen!”

## Automotive Math

Calculus is taught all wrong and too late. The basics could be taught in the car on the way to Kindergarten.

Here is how it goes. Any kid who’s been in a car knows that the speedometer tells you how fast you are going, and the numbers in the odometer (mileage) tells you how far you’ve gone. Another way to say that is that the speedometer shows how quickly the odometer is changing. And another way to say that is that the speedometer is the “differential” of the odometer. To be fancy, we can use a small “∂” for differential and so we say:

$$Speedometer = ∂\,{Odometer}$$

That’s differential calculus. How things change. Subtraction.

Put another way again, the odometer tells you what the Sum total distance was after going all those speeds that the speedometer indicated. Instead of saying “Sum” with a big S we stretch it out into a long skinny S like this: $\int$ and we say

$$Odometer = \int { Speedometer }$$

That’s integral calculus. How changes accumulate. Addition.

Subtraction undoes addition. That is the Fundamental Theorem of Calculus. Duh. Next stop, Rocket Science !

THE END.

## On Leadership and the President as CEO

Editor Comment: I wrote this piece as a draft  way back in 2012, during which time the Presidential CEO contender was Mitt Romney, and some had advocated for him (as for Ross Perot) because of his business experience. I never published this piece then, but the words seem even more salient, now that we are in this dubious boat. I therefore present and publish it today, in its original form. You be the judge. -NR

There has been some discussion in the course of the recent [2012] presidential campaign, with the general implication being that the President of the United states is (or should be evaluated as) the CEO of the country, and at any rate must provide leadership in how the country is run.

We are all story tellers. And the archetype of a “Leader” is a profound story, and not always a healthy one in a civilized world. In another essay, I hope sometime to discuss the two metaphorical and psychological ways I observe groups of people organize themselves and others, called Vertical (top-dog, hierarchical, canine, Yang), and Horizontal (egalitarian, all equal, “it takes a village”, feline, Yin). A Leader is a character in the “Vertical” view of the world. I’m not saying either view is entirely good, but each has its hazards.

I tend to agree with the founders of this country who had grown sick of Old World countries that were “run” by somebody, whether their name be King George or Putin or Berlusconi…or Obama if power ever goes to his head. Regardless of how my philosophy has evolved, to this day I remain a profound admirer of Ayn Rand, whose supreme heroes John Galt and Hank Rearden were brilliant, rational and secular men who did not seek leaders and did not seek to be a leader — and all they asked of the government was for it to Get The Hell Out of Their Way and let them pursue their work and happiness, to the best of their ability.

Galt and Rearden are heroes for (as Obama recently said in Rolling Stone) smart 17 year old intravert misfit teenagers, who feel the world does not understand them. And remain so for those who grow up to be smart adult emotionally integrated intravert misfits who name their houses “Anthem” for more reason than one.

Regarding CEO’s, an article from Thomson Reuters’s archives indicates that the three top skills for an entrepreneurial CEO are:

• Financial Management
• Communication
• Motivation of Others

Good god, I must waste half my time at work convincing whoever is my current boss not to promote me to some “leadership” or “management” role involving people skills and such. Communication I can handle, preferably by email and preferably from far away here in Zion Canyon; if they really want eye-contact we can Skype. I’m Scotty in the engine room and dilithium crystals are fragile, let Kirk deal with the damn aliens. I have no interest in learning motivational psychology or finance professionally. But I know myself. I remain a shy but bright mathematician and software architect, who solves difficult problems in the structure of programs and languages that make it possible for those who write the higher-level business logic to express it coherently, and execute it fast and effectively. For me to be promoted to an executive or managerial role would be tragic for all involved, and I state as much explicitly in my annual employee performance review. Just get the hell out of my way and let me do work that makes me happy and makes you a profit. Everybody wins!

The genius of our country is that it was the first on the planet to be designed based on principles, predicated on the idea that its purpose was to establish ground rules preserving the rights of man, and as men are prone to abrogate power, the founders split the government and its powers into three separate branches. Of these three, only congress is charged with the formulation and passage of laws and its leadership role is composed of many men and women to prevent a single ambitious man dominating. The executive branch was originally intended to be purely executive and the president was intentionally weak, and though he has veto power, certainly not a leadership role. Indeed, George Washington refused proposals that he be made King.

The “leaders” of our country were always reluctant ones, and rightfully so.

Alas, as time has passed, the nature of humanity seems to be that some segment who leans toward “The Vertical”  will always seek a strong powerful figurehead to guide them and save them, whether in the form of an all powerful deity, or as a testosterone laden bully/hero such as Mussolini or Stalin (or even FDR, when he tried to pack the Supreme Court). And unfortunately, with a strong powerful leader, you also wind up with a large, powerful government.

I still agree with fiscal conservatives that the proportion of GDP consumed by the current government is far too large, and poses an existential threat to the country. One place of many where I disagree with Ayn Rand and Libertarians now is on the minimal “ground rules” established by a morally defensible government: For example, I would expand the Libertarian “national defense” segment to include defense against natural disasters and disease, from which an argument for a universal baseline healthcare system can be derived, and by my thinking should come directly out of the Defense Budget.

Getting back to leadership, I can only think of a few times where the person in the role of the President has stood up and used the “bully pulpit” to deliver helpful words crafted in thought and grace, to speak to the American people in a way that either united them all as a people, or brought a modicum of closure. FDR’s fireside chats, JFK’s moon speech, and yes Reagan’s address following the Challenger disaster. But there were others such as Martin Luther King Jr, who also served that role, armed only with the power of their own spiritual substance and the confidence in their cause, with no need of elected office.

If we are talking about the president leading the country by putting in place dramatic changes in the economic and regulator power of the state as well as its size, then there are only a few examples of this, one with FDR (who dramatically increased the size and scope) and Reagan (who dramatically decreased it). As president, however, both remained powerless to implement their goal without the fact that congress also had to be in the same party in order to propose and pass those laws, as well as approve members of the Supreme Court to interpret  and not strike down those laws. In general, however, it has been observed  that Americans seem to be more comfortable when the two branches that pass and sign bills are split. Americans don’t seem to care so much who is in which branch, just so long as they are at odds, in line with the “checks and balances” concept.

We are Americans, where each person is the owner of their own destiny, and who seem to mistrust any one man or party to claim power over them, even if we may agree with them. The president’s activities by rights and by the founder’s intent should be as much in the daily news as the day to day activities of the school janitor. The fact that some have come to seek a President to act as a a leader and CEO of the country is a disturbing state of affairs, in my opinion.

## I am *Terribly* Sorry to Hear That

This micro-post serves as a permanent placeholder for the coming years, in which those who voted for this administration will I suspect find that many promises have been broken. And after the first days of triumphant fanfare and euphoria, unfolding events both sad and tragic will be all too common, and not at all what they were promised by shady and cynical salesmen.

And so, in the face of such monumentally bad omens, saying “I TOLD YOU SO” seems too much like inappropriate gloating, and the wrong attitude to take in a world that will already be suffering under the weight of a bloated and narcissistic ego.

And so, in place of that response, I will say in a spirit of compassion the following words, exactly the same each time, with two *asterisks* to emphasize the terrible, and to point back to the ALL CAPS statement above which I am thinking, but will not speak:

 I am *terribly* sorry to hear that.
My one promise is that those words will be sincere, and I truly will be very sorry to hear about whatever new travesty has just ocurred. That is my New Years resolution, such as it is.

## From Euclid to Euler to Einstein

It is of course the holiday tradition this time of year, to exchange gifts and ponder over how you would explain modern mathematics to the ancient Greeks.

In line with the latter part of that tradition, I’ve been sketching out a diagram to explain Euler’s number $e$ (2.71828…) to Euclid. It turns out that even though the classic Greek mathematicians knew all about the number π (3.1415…), they never knew about or defined the number $e$. Which is a shame, because they could have. And had they done so, they could have beaten Einstein to the punch 2500 years earlier.

Just a quick note here: for those of you who have not heard of $e$, it pops up all over the place in science, and especially when things are growing or accelerating. For example, suppose you just crossed the state line, and for some reason you thought that the mile-markers were actually speed limits, so that at the one-mile marker you slowed down to go at one mile an hour, and so on. Suppose that there were a lot of mile markers along the way, and so you were continuously speeding up with each marker. Obviously you would be going pretty slow, but at least you are speeding up. It turns out that if you obeyed the signs to the letter, by the end of one hour from mile marker one you will be at the $e$ mile marker, and would be going $e$ miles an hour.

In any case, after much fiddling around and fanfare, here is the diagram I came up with that I think would make Euclid happy. It is a “proof without narrative”, and simply uses the classically understood conic sections (e.g. circles, and hyperbolas) to show how the numbers π and $e$ may be used to relate areas of pie-shaped sectors in two conic sections, to the linear measurements along their respective curves:

One of the things I like about this diagram is that on the one hand it shows how these two numbers are similar, in that they both provide a ratio relating the area of a sector in each type of conic section, with a linear measure, but on the other, we see how these two numbers differ in a fundamental way with successive sectors.

For circles of radius 1, its area compares with its radius squared by a ratio of π (so the pie-slices are each π/8). For the hyperbola, drawing a line from the center to the vertex of the hyperbola, a sector of area one is made by drawing a second line whose x-axis length differs from the area by a ratio of $e$. In both cases we have a ratio relating a linear measure to an area.

But at this point the similarity ends. For as we go to successive circular arcs, the areas remain in fixed linear ratios, so to produce a quarter of a circle, you have an arc-length of π/4, and so on. But for the hyperbola, to produce a sector of area 2, you need to draw a line segments whose x-axis length is not $2 * e$, but $e$ to the power of 2, in other words $e^2$. For an area of three, you need to use $e^3$, and so on.

So what we see is that the number π seems to be most commonly used as a linear factor or ratio, having to do with rotational symmetry in space, while the number $e$ seems to be used as the base of an exponent, and is involved with things that grow exponentially over time.

Which brings us to light, waves, and Einstein’s space-time.

What do cones, planes and conic sections have to do with spacetime? Suppose you turn a flashlight on and off quickly. The light pulse from that event travels out in all directions at the same speed, $c$, the speed of light. Einstein (and Minkowski) suggested that we view the event where time plays the role of a fourth dimension. If we toss out one of our three dimensions, and make the time dimension the z-axis, we can visualize the light propagating out.

So in the picture on the right, the horizontal plane represents space at time $t=0$, and the vertical dimension is time, with the “up” direction representing the future, and “down” representing the past. The flashlight has just gone off at time zero, but now the light wave is expanding out in a circle, getting larger with time. And so as it grows over (upward) time, the expanding circular wave traces out the “future light cone”. Conversely, all of the light from the past that reaches us can only come from the region below the plane, marked by the “past light cone”.

The thing to note is that these “space-like” planes are always horizontal, though they may tilt a little due to relativistic motion of the observer. Space-like planes can be identified by the fact that their “normal” line (the one perpendicular to the plane) are pointing roughly up, in a time-like direction. Space-like planes can only intersect light-cones in circles or ellipses. In no case can an observer’s “plane” ever become vertical, so that its normal vector is pointing in a space-like direction outside of the light cone. Such planes are called “time-like”, and have the property that they always intersect light cones in hyperbolas.

So I am hoping that you are starting to see how I think these two numbers $pi$ and $e$ are related, but also very different. Somehow, the number $pi$ is related more to space, and to circular rotation in space, while $e$ seems to be related to time, hyperbolic curves, and exponential growth over time.

It turns out that we can even be very specific about how $e$ and $pi$ are related to each other, but it requires the introduction of a number that the ancient Greeks would have no concept of, and that is the number $i$, the square root of negative one.

The relationship was itself discovered by Euler himself, and has come to be known as Euler’s Equation, and has also been called (at least by mathematicians), The Most Beautiful Equation in the World. I hope some time in a future post to try to explain what the equation means, but for the moment, we will just display it here and be done with it.

$$e^{i\pi} + 1 = 0$$

And yes, this is how I spend my holiday vacations. Having Fun ! Happy new year !

## The Geometry of Meteor Showers

Whenever a meteor shower is coming up, the news gives details on how to find the constellation in which the “radiant” can be found. Don’t bother trying to find the constellation. Too much work. Here is all you really need to do:

 On the night of the shower, go outside around 2am. Look eastward, toward where the sun has been rising, and halfway up the sky, along the path the sun takes. That's the center ('the radiant'). Further away from this point the meteor trails will be longer.

That’s it. The rest of this post is just my rambling about the geometry (or astrometry as it were) that makes this all work. You won’t need it. If you come out sooner, around midnight, the radiant will be close to the horizon, and as it gets closer to sunrise the radiant will be almost overhead.

## The Radiant

If you study the pattern of meteors in the picture above, it looks like we are flying through a bunch of stars very quickly, and that the center point where all those stars appear to be streaking from is simply the direction that we are flying.

It turns out that is exactly what you are seeing. The center point (in the upper left quadrant of the picture) is called the Radiant of the meteor shower, and it is the current direction in which the earth is moving, as it travels along its orbit around the Sun.

## The Picture

Here is a (simplified) picture describing the general situation. To keep things simple, I’ve put the little guy (who’s supposed to be us) right on the earth’s equator, around 3am his time. We are looking down at the earth from above the North Pole, and the earth is rotating counter-clockwise on its axis. Meanwhile, the earth is travelling around the sun at 18.6 miles a second, going from right to left in the picture.

The comet dust in the picture was left behind by a comet years before, and now is for the most part not moving much. The earth however is plowing through the dust trail at 18.6 miles/second, and so the relative motion of the dust to the observer is likewise 18.6 miles a second, or about 30km/s.

That speed, by the way, adds a lot of energy to the situation. Many of the comet dust particles are small, some just grains of sand. But if we take a quarter-inch piece of iron, with a mass of one gram say, and compute its kinetic energy when the earth hits it, we get

$$E = \frac{1}{2}mv^2 =\frac{1}{2}(1gm)(30km/s)^2 = 450,000 Joules$$

Now a Joule is the amount of Energy to drive a one Watt light bulb for a second, which is about how long a meteor flare takes. So the light that our quarter inch piece of iron is putting out during that second is close to a half a megawatt of power. Impressive.

## Another Picture Closer In

So here is a much closer picture. We’ve now rotated the picture so that the little guy is on “horizontal” ground, and we only see a small slightly curved part of the earth. The atmosphere is a very thin shell not more than 70 miles above the earth (1 percent of the earth’s diameter), and the shaded part is what the little guy can see from where he’s standing. It is a flat lens shaped piece of atmosphere, and the comet dust is coming in at about a 45 degree angle, about to slam into that circular lens. I’ve drawn a cylinder around all of the dust that will hit the part of the sky that the guy can see.

Now if you look at the cylinder of comet dust coming at you from the little guy’s perspective, the rays of dust look like this:

Which looks just like the photo of the Geminid meteor shower. So, the reason that showers look like rays flying away from the Radiant is simply a matter of perspective, and the Radiant itself is just the direction that we are are flying, along earth’s orbit.

## A Bigger Picture, Further Out

Just to tie everything together, here is a diagram showing the geometry of a typical meteor shower, arising from a regularly reappearing comet such as Halley’s comet:

In the case of Halley’s comet, the diagram shows how the orbit of the comet may intersect the Earth’s orbit in two places. In the current picture, the Earth is passing through one of the intersections, and is going in the direction of the constellation Orion (bottom left). This is the Orionid meteor shower, which this year (2016) will be visible from October 2 to November 7. The other intersection occurs when the Earth is heading in the direction of Aquarius, which happens around May 5-6, during the Eta Aquarid’s meteor shower. Not all comets have orbits which intersect Earth’s orbit twice, but Halley’s does.

## Valid Religion

This monastery was just down the street from us when we lived in Long Beach ten years ago. It has a beautiful view of the ocean and we’d often pass it while out for a walk along the beach. To the left you can see a white shrine in which the Virgin Mary is standing. It is a very pretty installation though we sometimes would call it “Virgin Mary on the Half-shell.” About half the time we’d pass by, there would be someone there, praying to the virgin, or lighting candles or incense.

The monastery used to be a convent owned by the Catholic Church, but was long ago sold to a Vietnamese Buddhist sect, and they have converted the building into a monastery for their monks. Every so often you would see one of the monks leave the building in their saffron robes, but for the most part they keep to themselves and maintain a quiet life of contemplation.

Now here’s the thing: not only did the monks not tear down the Virgin Mary shrine, but they actively keep it intact, tending to the plants around it, the benches were people come to pray, and bring fresh flowers. I have never asked the monks about why they do this, or if it was a condition of the sale, but they never seem to mind. The Buddhist tradition maintains a very ecumenical respect for the beliefs of others, and maintains that there are many paths to enlightenment.

In my personal system of philosophy, I have a name for religions of this type: VALID.

I have to explain what I mean by this. With the possible exception of mathematics, I doubt that any statements of a philosophical nature will or ever can be determined to be TRUE. Thus, it is in my opinion foolish for any religion to declare itself True, as it is the height of arrogance, and proclaims that all of the other fifty thousand religions in the world are False. So, what I mean by a VALID religion is one in which the religion makes an admission of the following things:

1. Fallibility, that this religion may have made some mistakes
2. That absolute Truth is unknowable by man,
3. That other religions may have important and valid points, and be a legitimate source of hope and inspiration in the lives of its believers, and rightfully so,

A VALID religion is therefore one in which it recognizes other religions as potentially equally valid, and there is no Law of Excluded Middle (as with True/False) that gets in the way.

Any religion which declares itself to be the sole possessor of this elusive thing called The Truth, is by my definition INVALID. Alas, this includes almost all religions of the world, including many brands of atheism.

This monastery is, then, to me a triple-shrine. First, to the Virgin Mary herself, secondly to the buddhist monks that respect people’s belief in her, and third to the possibility that a religion could if it so chooses become VALID — a thing which seems to me to be the only hope for peace among humans who choose to believe in the wildest of fairy tales. And to date, this monastery represents the only example to my knowledge of a valid religion.

## Rainbow, Part II: Yellow Is An Idea

This is part II of my discussion of color which began with Part I, “The Infinite Piano”. In the first part I explained that the colors of the rainbow are single “notes” on an infinite piano whose keys are pure “tones” of light, and the “sheet music” for a more complex color such as PINK can be written as a 3-note chord composition in RED, GREEN, and BLUE. This composition can be written out over the color piano keyboard with three vertical bars, each indicating the loudness or softness of each of the three keys we need to play, using ranges from 0 to 255, like this:

We can further shorten this musical notation by saying (Red,Green,Blue) = (255, 192, 203). Now you may think that I just made up those particular numbers, but in fact if you check with Wikipedia, the internet standard for color on computer displays has exactly these three values for the color pink. They chose the range 0 to 255 because it is easy to express using 8 bits — which makes computers happy.

We live in the computer age, and this (R,G,B) system is now used to define all the colors that you can see on a computer monitor. So, it sounds like color is three dimensional, and you can represent any color in nature (or at least in a photo of nature) using just three colors. But is this true ?

Anyone who has tried to match paint colors may doubt this. Each paint manufacturer has their own system of specifying colors, and complex formulas of mixing their “component” pigments into Salmon, Chestnut, or other copyrighted name and color. There are many systems of defining color, such as Munsell and CIE-Lab, which are 3-dimensional, like this:

3D Munsell color space (Wikipedia – credit)

These systems are oriented toward luminance-based applications such as TV’s and computer monitors that emit their own light. There are also CMYK (Cyan-Magenta-Yellow-BlackKey) and Pantone™ systems, which are effectively 4 dimensional dimensional and used mostly in pigment-based applications such as printing and paint. But Pantone also had a six-dimensional version called Hexachrome, which add Orange and Green to form a CMYKOG space (now discontinued), and there is also a CcMmYK system used in six-color inkjet printers. These latter are called “subtractive” systems, because the pigments effectively absorb colors from white light to give you their indicated color.

So clearly something must be going on. Why do we even think color is three dimensional, when there are so many color systems using more than three. What’s up?

### The Yellow That Isn’t There

Let’s take a closer look at this Wikipedia computer color thing. If you look up Yellow in wikipedia, you’ll see that standard Yellow is defined in color coordinates by (R,G,B) = (255, 255, 0). But if we plot that “musical chord” out on our piano we get this:

Now this is crazy, because there is clearly a “yellow” key halfway between green and red, and we aren’t hitting that key at all. Instead we are leaning with a strong 255 “forte” on both RED and GREEN. Indeed, in the same Wikipedia entry for Yellow, it indicates that the “spectral” coordinates of Yellow is 570–590 nanometers. This is the wavelength of the light which is colored yellow in the rainbow spectrum.

To understand what is going on requires an understanding of human beings more than the color spectrum, and how we evolved. Modern humans perceive color with the use of three kinds of cells in the retina of our eyes, called cones. These cones come in three types, each of which respond only to specific “chords” in the color spectrum. The three chords look something like this (approximately):

What this says is that we have in our eyes three kinds of cells (not counting rods which detect brightness), which respond to “color chords” that are centered (roughly) around the blue, green and red keys. There is no cell that responds just to “yellow” chords, and so the way that we “see” the yellow color is that our brains get strong positive signals from both the Green and the Red cones.

One of the interesting consequences is that it is possible to make a person “see” yellow even if there is no yellow in the light at all. All you have to do is to take a pure green and red light (such as from two distinct lasers), and shine them on the same spot on the wall:

Our retinas will report to the brain that where they intersect it is getting a strong green and red signal, and the brain will interpret that as yellow — even though a light spectrometer pointed at the wall will report that there is no yellow there at all. It is a color optical illusion !

Here is the take-away from all this: the color YELLOW is an IDEA, as are all other colors. It is something unique that our brain thinks — a state of mind — in response to what the outside world is doing. In the case above, the YELLOW our brain “sees” is entirely in our own heads. Now most of the time, in nature, there really is a yellow frequency light wave “out there”, and we know from the yellow in the rainbow that this frequency of light actually exists. You can create a pure yellow by simply dropping salt into a flame (sodium ions radiate at that color). But the idea of yellow must be distinguished from the light that usually triggers it.

And so, YELLOW as a specific color of light must be understood as a separate dimension from RED, GREEN, and BLUE. So how many dimensions does color really have? We will explore this further in the next post, “Shadows of The Infinite.”

## Remembering Paul Sidney

At various times from fourth grade through eighth, Paul Sidney was my best friend and worst enemy. I have now lived for fifty seven years, and Paul retains a special place of honor, being the only person on the planet that I have ever punched in the nose (or wanted to).

That was in the sixth grade, at Steven Millard Elementary school. I can’t even remember exactly what it was about, though Paul did have a biting wit and what we would now call a “snarky” attitude. Very likely it was a sarcastic comment he made at the time about a crush I had on Diane, a girl I first met in square dancing class in fourth grade. Now that I think of it this was Paul’s great talent, being one of the few people in whom I felt I could confide my deepest feelings, and who later would use those secrets to torment me in artful and insidious ways.

It has taken four years for the news to reach me that Paul had died, June 12, 2011. He was 53.

I had always thought that I would be hearing about Paul, over the years. He was a very good writer in Junior high school, and we had something of a rivalry in creative writing. He could have been a writer, or an actor, graphic artist, or any number of things. I googled his name every so often, looking for books published, lectures given, organizations he had founded, Tony-award winning musicals starring Nathan Lane written by him. Nothing. Somehow he had just fallen off of the map.

The obituary was just a note, no detail, no evidence of a memorial with thousands of friends and admirers, remembering him, telling stories, laughing, crying, people who were touched by him.

Eleanor Rigby, died in the church
And was buried along with her name
Nobody came

After eighth grade, I and most of my classmates went to Irvington High School. Paul did not. For reasons we never learned, he went to Moreau, a Catholic High School in Hayward. I only saw Paul twice after that. Once was at the Fremont Main Library by Lake Elizabeth, and he was studying at a table, probably for a class. We said hi. The only other time was a few years later, my senior year, when I saw that he was appearing in a Halloween stage production of “Dracula”. He played Beddoes, the assistant.

That seemed appropriate. Paul always had a sense of the macabre. I remember hanging out with him, reading his creepy comic books, graphic novel versions of Edgar Allen Poe, “The Telltale Heart,” complete with gruesome beating hearts.

For some reason Paul always reminded me of Lucy van Pelt, from Peanuts. Smart beyond their years, a bit crabby, a fussbudget, but with an acerbic wit, a sabre that he could unsheathe at the drop of a malapropism. Something feminine or feline as well. Even this seventh grade photo (above) has him sporting a faux leopard-skin vest. Oscar Wilde.

Reading back on this piece, it almost sounds like our relationship was romantic, a love-hate thing, doesn’t it? I don’t know, I was a kid, and pretty much clueless. All I knew was that he was a very smart guy, and one of the few who challenged me in the world of ideas, and words. Perhaps I did love him.

Paul and his sister Kay, 2000

I contacted Paul’s sister Kay, and wrote a letter (on paper, with pen), asking about Paul, and what happened. I wish I could say that I was surprised, but was not. Things did not go well for Paul. His parents divorced, and in High School Paul began to exhibit the first signs of Schizophrenia, a disease with which he struggled the rest of his life. His family tried to help him, but it is in the nature of the disease that having any sort of life as I would have wished for him is virtually impossible. He ultimately died from the effects of COPD, a congestive lung disease exacerbated by a lifetime of smoking.

As I once wrote, a small mouse in Connecticut once taught me that the greatest gift that you can give someone, is to remember them. Each life, no matter how small, touches someone. Their life matters. They had a life, they had a story.

This one is for you, Paul.

1 2