courseshub.world · Lives in Mathematics and Physics

Peter Guthrie Tait

P. G. Tait

A course on the Edinburgh professor who wrote the textbook of Victorian physics with Kelvin, championed Hamilton’s quaternions, and, while chasing a theory of atoms made of smoke rings, drew up the first tables of knots.

Born 28 April 1831, Dalkeith Died 4 July 1901, Edinburgh Senior Wrangler Cambridge, 1852 Level advanced undergraduate → graduate
The trefoil, first entry in Tait’s tables. Travelling along the strand, crossings alternate over, under, over. Tait conjectured that such a reduced alternating diagram has the fewest possible crossings; the proof came in 1987.
Lesson 00

How to use this course

Peter Guthrie Tait is remembered in three separate communities that rarely talk to one another. Physicists know “Thomson and Tait”, the treatise that taught energy methods to a generation. Knot theorists know the Tait conjectures, settled a century after he made them. Graph theorists know Tait colourings and Tait’s Hamiltonian conjecture. This course connects them. The thread is Victorian mathematical physics in Scotland, where a speculative theory of atoms led to the first systematic mathematics of knots.

Prerequisites for Part II
  • Vector calculus and linear algebra, including complex numbers and rotations.
  • Lagrangian mechanics and small oscillations, for Lesson 05.
  • Basic fluid mechanics (vorticity, circulation) for Lesson 06.
  • Elementary graph theory (planar graphs, Euler’s formula) for Lessons 07 and 08.
  • Elementary thermodynamics for Lesson 09.

Each technical lesson opens with a paragraph for the general reader, then gives precise statements, derivations and exercises with folded solutions. Where a modern result settled a question Tait raised, the lesson gives both his formulation and the modern proof.

Reference

Timeline

1831Born 28 April at Dalkeith, Midlothian, to John Tait, secretary to the Duke of Buccleuch, and Mary Ronaldson.
c. 1837After his father’s death the family moves to Edinburgh, to the house of his uncle John Ronaldson.
1841Enters the Edinburgh Academy, a year below James Clerk Maxwell.
1847University of Edinburgh: mathematics under Philip Kelland, natural philosophy under James David Forbes.
1848Peterhouse, Cambridge; coached by William Hopkins.
1852January: Senior Wrangler and first Smith’s Prizeman. Fellow of Peterhouse.
1854September: Professor of Mathematics at Queen’s College, Belfast. Works with Thomas Andrews on ozone.
1856Dynamics of a Particle, with William Steele.
185713 October: marries Margaret Archer Porter in Belfast.
1858Begins corresponding with William Rowan Hamilton about quaternions.
1860Elected to the Chair of Natural Philosophy at Edinburgh, ahead of Maxwell.
1864Secretary of the Royal Society of Edinburgh.
1867Treatise on Natural Philosophy with William Thomson (Kelvin). Elementary Treatise on Quaternions. Smoke-ring experiments.
1868Opens a physical laboratory for students at Edinburgh.
1873Rede Lecture at Cambridge on thermoelectricity. Introduction to Quaternions, with Kelland.
1875The Unseen Universe, with Balfour Stewart.
1876–77Seven papers on knots; tables of knots up to seven crossings.
1879General Secretary of the Royal Society of Edinburgh, until his death.
1880Reformulates the four colour problem as edge colouring of cubic maps.
1881Report on pressure corrections for the Challenger deep-sea thermometers.
1884–85With Thomas Kirkman, extends the tables of alternating knots to ten crossings. States the Hamiltonian cycle conjecture for cubic polyhedra.
1886Royal Medal of the Royal Society of London.
1886–92Papers on the foundations of the kinetic theory of gases.
1890–96Papers on spin and the flight of golf balls. Public dispute in Nature with Josiah Willard Gibbs and Oliver Heaviside over vectors.
19007 February: his son Freddie is killed at Koodoosberg in the South African War.
1901Retires early in the year. Dies 4 July at Challenger Lodge, Wardie, on the northern edge of Edinburgh.
Part I · Formation
Lesson 01

Dalkeith and the Academy, 1831–1847

Peter Guthrie Tait was born on 28 April 1831 at Dalkeith, a market town south-east of Edinburgh. His father, John Tait, was secretary to the fifth Duke of Buccleuch; his mother was Mary Ronaldson. He was the only son among three children. He started at the grammar school in Dalkeith, but his father died when Peter was about six, and his mother moved the family into Edinburgh to live with her brother, the banker John Ronaldson. The uncle shared his interests in geology, astronomy and photography with the boy. At about thirteen Tait followed the satellites of Jupiter for two weeks and charted their motions.

After a private school in Circus Place he entered the Edinburgh Academy in 1841, aged ten. Maxwell was a year ahead of him there, and the two began a friendship that lasted until Maxwell’s death in 1879. Tait was top of his class in each of his six years. In the Academy’s mathematics prize competitions, Tait placed first in 1846 with Maxwell third; in 1847 Maxwell was first and Tait second.

In November 1847, aged sixteen, he entered the University of Edinburgh with Maxwell. He took mathematics under Philip Kelland and natural philosophy under James David Forbes, the glaciologist and experimenter. Forbes put him to calculating wooden discs for models of the catenary. A year later he moved south to Cambridge.

Lesson 02

Peterhouse and Belfast, 1848–1860

Tait went to Peterhouse, Cambridge, in 1848, where William Hopkins, the most famous mathematical coach of his time, prepared him for the Tripos. In January 1852 he was Senior Wrangler and first Smith’s Prizeman, at the age of twenty. Peterhouse elected him a Fellow, and he coached undergraduates. With William Steele he planned a textbook of particle dynamics; Steele died early, and Tait wrote most of A Treatise on Dynamics of a Particle (1856) himself.

Belfast

In September 1854 he became Professor of Mathematics at Queen’s College, Belfast. There he met the chemist Thomas Andrews, later known for the critical point of carbon dioxide, and did his first experimental work with him, on the density of ozone and the effect of electrical discharge on oxygen and other gases. He married Margaret Archer Porter in Belfast on 13 October 1857. Her brothers had been Tait’s friends; her sister later married the Edinburgh chemist Alexander Crum Brown.

Tait had read Hamilton’s Lectures on Quaternions in 1853. In 1858, after reading Hermann von Helmholtz’s paper on vortex motion, he saw that quaternions could express its equations compactly, and he wrote to Hamilton in Dublin. The correspondence that followed made him Hamilton’s chief disciple. Lesson 04 describes the mathematics.

Lesson 03

The Edinburgh chair, 1860–1879

In 1859 Forbes left the Edinburgh Chair of Natural Philosophy to become Principal at St Andrews. Among the candidates were Tait and Maxwell, who was about to lose his Aberdeen post in a merger of colleges. The curators chose Tait. A local newspaper explained that the committee valued his skill in explaining physics to students with little preparation. Maxwell went to King’s College London instead, and the two friends kept up a lively correspondence, signing letters with jokes and abbreviations. Maxwell called Tait “T′” and Thomson “T”, and signed himself dp/dt, from an equation in Tait’s thermodynamics.

Tait took up the chair in 1860 and held it for forty-one years. He was a gifted lecturer, with large classes and spectacular demonstrations; the novelist J. M. Barrie, an Edinburgh student, left a vivid sketch of him at the lecture table. In 1868 he opened a physical laboratory for students, modelled on Thomson’s laboratory in Glasgow, and enlarged it in 1880 by taking over former dissecting rooms. Among his laboratory assistants were William Robertson Smith (1868–70), later a famous biblical scholar, and Alexander Macfarlane, who took his doctorate in 1878 with a method Tait suggested and later carried the quaternion cause to America.

He was secretary of the Royal Society of Edinburgh from 1864 and its General Secretary from 1879 until his death. Many of his roughly 365 papers and reviews appeared in its Proceedings and Transactions. He was never elected a Fellow of the Royal Society of London.

Part II · The mathematics and physics
Lesson 04

Quaternions and the nabla

For the general reader. Complex numbers describe rotations in the plane. In 1843 Hamilton found a four-dimensional number system, the quaternions, that does the same for rotations in space, at the price of giving up the rule \(ab=ba\). Tait spent his life showing physicists how to use them. Many of the operations of vector calculus, such as the divergence and curl, first appeared together in this quaternion form.

Goals
  • Multiply quaternions and split the product of two vectors into scalar and vector parts.
  • Rotate vectors with \(q\,v\,q^{-1}\).
  • Apply Hamilton’s operator \(\nabla\) in Tait’s style and recover div, curl and the Laplacian.

The algebra

A quaternion is \(q=w+xi+yj+zk\) with real \(w,x,y,z\) and Hamilton’s rules

\[ i^2=j^2=k^2=ijk=-1,\qquad ij=-ji=k,\quad jk=-kj=i,\quad ki=-ik=j. \]

Hamilton called \(w\) the scalar part \(Sq\) and \(xi+yj+zk\) the vector part \(Vq\). Identify a vector \(\mathbf a\in\mathbb R^3\) with the pure quaternion \(a_1i+a_2j+a_3k\). Expanding with the rules gives the key identity

\[ \alpha\beta=-\,\mathbf a\cdot\mathbf b+\mathbf a\times\mathbf b,\qquad\text{so}\qquad S\alpha\beta=-\mathbf a\cdot\mathbf b,\quad V\alpha\beta=\mathbf a\times\mathbf b. \]

In particular \(\alpha^2=-|\mathbf a|^2\): every unit vector is a square root of \(-1\). The conjugate \(\bar q=w-xi-yj-zk\) satisfies \(q\bar q=|q|^2\), so every non-zero quaternion has an inverse \(\bar q/|q|^2\). The quaternions form a division algebra, and by Frobenius’s theorem of 1877 they are the only finite-dimensional associative real division algebra besides \(\mathbb R\) and \(\mathbb C\).

Rotation theorem

Let \(\mathbf n\) be a unit vector and \(q=\cos\frac\theta2+\mathbf n\sin\frac\theta2\). For every pure quaternion \(v\), \(q\,v\,q^{-1}\) is pure, and the map \(v\mapsto qvq^{-1}\) is the rotation by angle \(\theta\) about the axis \(\mathbf n\). The map \(q\mapsto(v\mapsto qvq^{-1})\) from unit quaternions to \(\mathrm{SO}(3)\) is a surjective homomorphism with kernel \(\{\pm1\}\).

Sketch. Write \(v=v_\parallel+v_\perp\) relative to \(\mathbf n\). Since \(\mathbf n\) commutes with \(v_\parallel\), \(qv_\parallel q^{-1}=v_\parallel\). Since \(\mathbf n\) anticommutes with \(v_\perp\), \(qv_\perp\bar q=q^2v_\perp=(\cos\theta+\mathbf n\sin\theta)v_\perp=\cos\theta\,v_\perp+\sin\theta\,\mathbf n\times v_\perp\), the rotated vector. The half angles explain the double cover: \(q\) and \(-q\) give the same rotation.

Hamilton’s operator

Hamilton introduced the operator \(\nabla=i\,\partial_x+j\,\partial_y+k\,\partial_z\). Tait made it a working tool for physics in his treatises, and the name nabla, after a Hebrew harp of similar shape, was suggested to him by Robertson Smith. Applied to a vector field \(\sigma=ui+vj+wk\), the quaternion product gives

\[ \nabla\sigma=-\,\operatorname{div}\sigma+\operatorname{curl}\sigma,\qquad \nabla^2=-\left(\partial_x^2+\partial_y^2+\partial_z^2\right). \]

Maxwell, reading Tait, coined the words convergence (for \(-\operatorname{div}\)) and curl in 1870, and used quaternion notation alongside Cartesian components in his Treatise on Electricity and Magnetism of 1873. In quaternion form two of Maxwell’s equations combine into a single equation for \(\nabla\).

Exercise 4.1Compute \((1+i)(1+j)\) and \((1+j)(1+i)\). What does the difference tell you?

Show solution
\((1+i)(1+j)=1+j+i+ij=1+i+j+k\). \((1+j)(1+i)=1+i+j+ji=1+i+j-k\). The difference \(2k=2\,V(ij)\) equals twice the cross product of the vector parts: the commutator measures \(\mathbf a\times\mathbf b\).

Exercise 4.2Let \(q=\tfrac12(1+i+j+k)\). Show that \(v\mapsto qvq^{-1}\) sends \(i\mapsto j\mapsto k\mapsto i\), and identify the rotation.

Show solution
\(|q|=1\) and \(q=\cos60^\circ+\frac{i+j+k}{\sqrt3}\sin60^\circ\), so it is the rotation by \(120^\circ\) about \((1,1,1)/\sqrt3\), which cyclically permutes the axes. Directly: \(qi=\tfrac12(i+i^2+ji+ki)=\tfrac12(-1+i+j-k)\), and multiplying on the right by \(\bar q=\tfrac12(1-i-j-k)\) gives \(j\).

Exercise 4.3Let \(\rho=xi+yj+zk\) be the position vector. Compute \(\nabla\rho\) and \(\nabla(k\times\rho)\) as quaternions, and interpret.

Show solution
\(\nabla\rho=i\cdot i+j\cdot j+k\cdot k=-3\): divergence 3, curl 0. The field \(k\times\rho=-yi+xj\) is a rigid rotation about the \(z\)-axis: \(\nabla(-yi+xj)=i\,\partial_x(xj)+j\,\partial_y(-yi)=ij-ji=2k\). Divergence 0, curl \(2k\), twice the angular velocity.
Lesson 05

T and T′: the Treatise on Natural Philosophy

For the general reader. In 1861 Tait began a textbook of mathematical physics, and William Thomson, the future Lord Kelvin, joined him. Their Treatise on Natural Philosophy (1867) built all of mechanics on energy and on the methods of Lagrange and Hamilton. Physicists called it “T and T′” after the authors’ initials. It shaped how British physicists thought for half a century.

Goals
  • See how the Treatise organized mechanics around energy, generalized coordinates and least action.
  • Prove the Thomson–Tait theorem on gyroscopic stabilization.
  • Analyse a gyroscopically stabilized system.

The book

The first edition (1867) was one volume of a planned four; an enlarged second edition appeared in two parts (1879, 1883), and the later volumes were never written. Tait wrote most of the text. The book made Lagrange’s generalized coordinates, Hamilton’s principle and the conservation of energy the frame for every topic from the elastic rod to the tides. A shorter Elements of Natural Philosophy (1872) served students.

Gyroscopic stability

Linearize a mechanical system with velocity-dependent but non-dissipative forces, such as Coriolis forces in a rotating frame or the forces in a spinning top, about an equilibrium:

\[ M\ddot q+G\dot q+Kq=0,\qquad M=M^{\mathsf T}\succ0,\quad G=-G^{\mathsf T},\quad K=K^{\mathsf T}. \]

The antisymmetric term \(G\dot q\) does no work: \(\dot q^{\mathsf T}G\dot q=0\). Without it, the equilibrium is stable exactly when \(K\) is positive definite. The Treatise asked when gyroscopic forces can stabilize an equilibrium that is unstable without them.

Theorem (Thomson and Tait)

If \(K\) has an odd number of negative eigenvalues (and none zero), then the system \(M\ddot q+G\dot q+Kq=0\) is unstable for every antisymmetric \(G\). If the number is even, gyroscopic stabilization is possible for suitable \(G\), but it is destroyed by any small dissipation \(C\dot q\) with \(C\succ0\).

Proof of the first part. Try \(q=u\,e^{\lambda t}\). Then \(\lambda\) must be a root of \(p(\lambda)=\det(\lambda^2M+\lambda G+K)\). Transposing the matrix replaces \(G\) by \(-G\), which is the same as replacing \(\lambda\) by \(-\lambda\); so \(p(-\lambda)=p(\lambda)\), and \(p\) is a polynomial in \(\lambda^2\) of degree \(2n\) with leading coefficient \(\det M>0\). At \(\lambda=0\), \(p(0)=\det K\), which is negative because \(K\) has an odd number of negative eigenvalues. By the intermediate value theorem \(p\) has a real root \(\lambda>0\), giving an exponentially growing solution. The second part, proved rigorously later by Nikolai Chetaev, is why a spinning top eventually falls.

Exercise 5.1A particle on a rotating saddle has, in suitable units, \(\ddot x-g\dot y-kx=0\), \(\ddot y+g\dot x-ky=0\) with \(k>0\). Both directions are unstable without rotation. Find the condition on \(g\) for stability.

Show solution
The characteristic equation is \((\lambda^2-k)^2+g^2\lambda^2=0\), i.e. \(\lambda^2-k=\pm ig\lambda\). Solving, \(\lambda=\frac{\pm ig\pm\sqrt{4k-g^2}}{2}\). If \(g^2>4k\), all roots are purely imaginary, \(\lambda=\frac{i(\pm g\pm\sqrt{g^2-4k})}{2}\), and the motion is bounded. If \(g^2<4k\), two roots have positive real part. Two negative eigenvalues, an even number, so stabilization is possible, as the theorem allows.

Exercise 5.2Explain without computation why a single-degree-of-freedom unstable equilibrium can never be gyroscopically stabilized.

Show solution
An antisymmetric \(1\times1\) matrix is zero, so there are no gyroscopic terms at all. This is the case \(n=1\) with one negative eigenvalue, consistent with the theorem.
Lesson 06

Smoke rings and vortex atoms

For the general reader. A smoke ring holds its shape as it crosses a room and bounces off another ring as if it were solid. In 1858 Helmholtz proved that in a perfect fluid a vortex ring can never be created or destroyed. Tait built a box that fired smoke rings, and Thomson, watching them in 1867, proposed that atoms might be knotted vortex rings in the ether. The theory failed, but it made knots a subject of physics.

Goals
  • State Helmholtz’s vortex theorems and Kelvin’s circulation theorem.
  • Compute the circulation of simple flows.
  • Understand why knotted vortices suggested a classification of knots.

Helmholtz and Kelvin

For a velocity field \(\mathbf u\), the vorticity is \(\boldsymbol\omega=\nabla\times\mathbf u\) and the circulation around a closed curve \(C\) is \(\Gamma=\oint_C\mathbf u\cdot d\mathbf l=\int_S\boldsymbol\omega\cdot d\mathbf S\).

Theorems (Helmholtz 1858; Thomson 1869)

In an inviscid, barotropic fluid under conservative body forces:

  1. (Kelvin) The circulation around any closed curve moving with the fluid is constant in time.
  2. (Helmholtz) Vortex lines move with the fluid; the strength \(\Gamma\) of a vortex tube is the same along its length and constant in time; a vortex tube cannot end inside the fluid.

Sketch of Kelvin’s theorem. For a material curve, \(\frac{d}{dt}\oint\mathbf u\cdot d\mathbf l=\oint\frac{D\mathbf u}{Dt}\cdot d\mathbf l+\oint\mathbf u\cdot d\mathbf u\). The second integral is \(\oint d(\tfrac12|\mathbf u|^2)=0\). By Euler’s equation, \(D\mathbf u/Dt=-\nabla p/\rho-\nabla\Phi\); for barotropic flow \(\nabla p/\rho=\nabla h\) for an enthalpy \(h(p)\), so the first integral is the integral of a gradient around a closed loop, also zero.

Tait’s smoke box and the vortex atom

Early in 1867 Tait built a box with a circular hole in one face, filled it with smoke from ammonia and hydrochloric acid, and struck the opposite face to launch rings. He showed Thomson how rings rebound and vibrate. Thomson’s paper On vortex atoms (1867) followed at once: if the ether is a perfect fluid, Helmholtz’s theorems make a knotted vortex permanent, and its knot type cannot change. Different chemical elements might be different knots, and their spectral lines the vibrations of the rings. The programme needed a list of knots. That was the job Tait took on (Lesson 07).

A thin ring of radius \(R\), core radius \(a\ll R\) and circulation \(\Gamma\), with uniform vorticity in the core, moves along its axis at Kelvin’s speed

\[ U=\frac{\Gamma}{4\pi R}\left(\ln\frac{8R}{a}-\frac14\right). \]

Exercise 6.1The flow \(\mathbf u=\frac{\Gamma}{2\pi r}\hat{\boldsymbol\theta}\) (a line vortex) has zero vorticity for \(r>0\). Compute the circulation around a circle of radius \(r\) and around a small loop not enclosing the axis. Reconcile with Stokes’s theorem.

Show solution
Around the circle, \(\oint\mathbf u\cdot d\mathbf l=\frac{\Gamma}{2\pi r}\cdot2\pi r=\Gamma\), for every \(r\). Around a loop not enclosing the axis, Stokes’s theorem applies on a surface where \(\boldsymbol\omega=0\), so the circulation is 0. The vorticity is a delta function \(\Gamma\,\delta^2(\mathbf x)\,\hat{\mathbf z}\) on the axis, which every enclosing surface meets.

Exercise 6.2By Kelvin’s formula, does a fat ring or a thin ring of the same \(R\) and \(\Gamma\) travel faster? What happens to the speed of a ring that grows in radius while keeping \(\Gamma\) and its volume fixed?

Show solution
The speed increases as \(a\) decreases, through \(\ln(8R/a)\): thin rings are faster. At fixed core volume \(2\pi^2Ra^2\), \(a\propto R^{-1/2}\), so \(\ln(8R/a)\) grows like \(\tfrac32\ln R\), but the prefactor \(1/R\) dominates and the ring slows. This is why, when one ring passes through another, the expanding ring slows and the contracting one speeds up: the leapfrogging Tait demonstrated.
Lesson 07

Knot tables and the Tait conjectures

For the general reader. When are two tangled loops of string the same knot? Tait drew every knot he could with up to seven crossings, and later, with help from a clergyman mathematician, up to ten, sorting out which drawings showed the same knot. Along the way he guessed several rules about the simplest drawings. Those guesses resisted proof for a hundred years, until a new invariant discovered in 1984 settled them.

Goals
  • Understand knot diagrams, alternating diagrams, crossing number and writhe.
  • State the three Tait conjectures and who proved them.
  • Compute the Kauffman bracket and see why the span bounds the crossing number.

The tables

Tait published seven papers on knots in the Proceedings of the Royal Society of Edinburgh in 1876–77 and by 1877 had classified knots with up to seven crossings. In an 1883 address he asked for the tables to be extended. The Rev. Thomas Kirkman sent him all the relevant diagrams with eight and nine crossings in 1884 and ten in 1885, and Tait sorted the alternating ones into knot types. Charles Little, in the 1890s, completed the non-alternating ten-crossing knots. The tables were remarkably accurate: one duplicated pair in Little’s list, the Perko pair, was found only in 1974. Tait also coined much of the language, including knottiness for what is now called the crossing number.

Definitions

A knot diagram is a projection of a knot to the plane with finitely many transverse double points, each marked over or under. A diagram is alternating if the crossings alternate over and under along every strand, and reduced if no crossing can be removed by twisting part of the diagram (no nugatory crossing). The crossing number \(c(K)\) is the fewest crossings in any diagram of \(K\). For an oriented diagram, each crossing has a sign \(\pm1\), and the writhe \(w(D)\) is their sum.

The Tait conjectures
  1. A reduced alternating diagram of a link has the minimal number of crossings. Proved in 1987 by Louis Kauffman, Kunio Murasugi and Morwen Thistlethwaite, using the Jones polynomial.
  2. An amphicheiral (mirror-symmetric) alternating link has writhe zero in any reduced alternating diagram; more generally, all reduced alternating diagrams of a link have the same writhe. Proved by Kauffman (1987) and Thistlethwaite (1988).
  3. Any two reduced alternating diagrams of a prime alternating link are related by a sequence of flypes. Proved by William Menasco and Thistlethwaite (announced 1991, published 1993).

The bracket proof of the first conjecture

Kauffman’s bracket assigns to an unoriented diagram \(D\) a Laurent polynomial \(\langle D\rangle\in\mathbb Z[A,A^{-1}]\). Each crossing can be smoothed in two ways, called the A- and B-smoothings. A state \(s\) chooses one smoothing at every crossing and produces \(|s|\) disjoint circles. Then

\[ \langle D\rangle=\sum_{s}A^{\,a(s)-b(s)}\,\delta^{\,|s|-1},\qquad \delta=-A^2-A^{-2}, \]

where \(a(s),b(s)\) count the A- and B-smoothings. It is invariant under Reidemeister moves II and III and changes by \(-A^{\pm3}\) under move I; the normalized \(V(t)=(-A^3)^{-w(D)}\langle D\rangle\) with \(A=t^{-1/4}\) is the Jones polynomial.

Let \(s_A\) and \(s_B\) be the all-A and all-B states of a connected diagram with \(n\) crossings. One checks three facts. The highest power of \(A\) in \(\langle D\rangle\) is at most \(n+2|s_A|-2\) and the lowest at least \(-n-2|s_B|+2\), so the span satisfies \(\operatorname{span}\langle D\rangle\le2n+2(|s_A|+|s_B|)-4\). For any connected diagram \(|s_A|+|s_B|\le n+2\), with equality for alternating diagrams (the circles of \(s_A\) and \(s_B\) are the boundaries of the black and white regions of the checkerboard colouring, and Euler’s formula counts \(n+2\) regions). Finally, for a reduced alternating diagram the extreme coefficients are \(\pm1\) and do not cancel. So

\[ \operatorname{span}V_K=\tfrac14\operatorname{span}\langle D\rangle\le n \quad\text{for every diagram,}\qquad =n\ \text{for a reduced alternating diagram}. \]

Since \(\operatorname{span}V_K\) depends only on \(K\), no diagram can have fewer crossings than a reduced alternating one.

Exercise 7.1Compute the bracket of the standard two-crossing diagram of the Hopf link, and check that its span is \(4n\).

Show solution
Four states. The all-A and all-B states each give 2 circles; the two mixed states each give 1 circle. So \(\langle D\rangle=A^2\delta+2+A^{-2}\delta=(A^2+A^{-2})(-A^2-A^{-2})+2=-A^4-A^{-4}\). The span is \(8=4\cdot2\), so \(\operatorname{span}V=2=n\).

Exercise 7.2The standard trefoil diagram has three crossings, all of the same sign. The figure-eight knot’s standard diagram has four crossings, two of each sign. What does Tait’s writhe conjecture say about whether each knot equals its mirror image?

Show solution
Both diagrams are reduced and alternating. The trefoil has \(w=\pm3\ne0\), so by the second conjecture it is not amphicheiral: the left- and right-handed trefoils differ. The figure-eight has \(w=0\), consistent with the fact (which Tait knew) that it is amphicheiral. Writhe zero alone does not prove amphicheirality; it is only a necessary condition.

Exercise 7.3Show that a connected diagram with \(n\ge1\) crossings has \(n+2\) regions (faces of the projection). Use this to check \(|s_A|+|s_B|=n+2\) for the trefoil.

Show solution
The projection is a connected 4-valent planar graph with \(V=n\) vertices and \(E=2n\) edges. Euler’s formula \(V-E+F=2\) gives \(F=n+2\). For the trefoil, \(F=5\): one state gives the 2 circles bounding the two regions of one colour (the central triangle and the outer region), the other gives 3 circles bounding the three petals. So \(|s_A|+|s_B|=5=n+2\).
Lesson 08

Four colours and three edge colours

For the general reader. Can every map be coloured with four colours so that neighbouring countries differ? In 1879 Alfred Kempe published a proof, and in 1880 Tait published several more. All were wrong. Tait’s lasting contribution was a translation: colouring the countries of a map with four colours is the same as colouring the borders with three. The translation remains one of the standard ways to think about the problem.

Goals
  • Prove Tait’s equivalence between 4-face-colourings and 3-edge-colourings.
  • Prove the parity lemma and use it to show that bridges block edge colourings.
  • Know Tait’s Hamiltonian conjecture and Tutte’s counterexample.

It suffices to colour maps in which exactly three countries meet at each point: the boundary graph is then a bridgeless planar cubic graph (every vertex of degree 3). A Tait colouring is a colouring of the edges with three colours so that the three edges at each vertex all differ.

Theorem (Tait, 1880)

A bridgeless plane cubic graph has a proper 4-colouring of its faces if and only if it has a Tait colouring of its edges.

Proof. Use the Klein four-group \(\{0,a,b,c\}\) with \(a+b=c\) and \(x+x=0\). Given a face colouring with these four elements, colour each edge by the sum of the colours of the two faces it separates; this is non-zero because neighbouring faces differ. At a vertex the three faces have distinct colours \(x,y,z\), and the edges get \(x+y,\ y+z,\ x+z\), which are distinct. Conversely, given a Tait colouring by \(a,b,c\), colour a fixed face 0 and give any other face the sum of the edge colours crossed by a path to it. The result is independent of the path, because around each vertex the three colours sum to \(a+b+c=0\), and in the plane every closed path is a sum of loops around vertices. Adjacent faces differ by a non-zero edge colour. ∎

Tait thought every bridgeless cubic planar graph was easy to edge-colour and gave faulty arguments. Julius Petersen showed in 1891 that one of them was incorrect. The theorem was finally proved, by computer, by Kenneth Appel and Wolfgang Haken in 1976. Non-planar bridgeless cubic graphs without Tait colourings, now called snarks, exist; the smallest is Petersen’s graph. In this language the four colour theorem says that no snark is planar.

Tait’s Hamiltonian conjecture (1884)

A Hamiltonian cycle passes through every vertex exactly once. If a cubic graph has one, it has an even number of vertices, so colouring the cycle’s edges alternately with two colours and the remaining edges with the third gives a Tait colouring. Tait conjectured that every 3-connected cubic planar graph has a Hamiltonian cycle, which would have proved the four colour theorem. William Tutte found a counterexample with 46 vertices in 1946.

Exercise 8.1Give a Tait colouring of the tetrahedron \(K_4\) and use the proof to recover a 4-colouring of its four faces.

Show solution
Label vertices 1–4. Colour opposite edges alike: \(12,34\mapsto a\); \(13,24\mapsto b\); \(14,23\mapsto c\). Each vertex meets one edge of each colour. Give the face opposite vertex 4 (triangle 123) colour 0. The face opposite 3 shares edge 12 with it, so it gets \(a\); the face opposite 2 shares 13, so \(b\); the face opposite 1 shares 23, so \(c\). All four faces differ.

Exercise 8.2(Parity lemma.) In a Tait-coloured cubic graph, let a cut separate the vertices into two sets, with \(n_a,n_b,n_c\) edges of each colour crossing it. Show \(n_a\equiv n_b\equiv n_c\equiv n_a+n_b+n_c \pmod 2\). Deduce that a cubic graph with a bridge has no Tait colouring.

Show solution
The edges coloured \(a\) or \(b\) form a 2-regular subgraph, a disjoint union of cycles. Each cycle crosses the cut an even number of times, so \(n_a+n_b\) is even. Likewise \(n_a+n_c\) is even. Hence \(n_a\equiv n_b\equiv n_c\), and their sum is \(\equiv3n_a\equiv n_a\). A bridge is a cut of size 1: then each \(n_x\) is odd, so each is at least 1, and their sum is at least 3, a contradiction.

Exercise 8.3Show that a Hamiltonian cubic graph always has a Tait colouring. Why must the cycle have even length?

Show solution
In a cubic graph \(3V=2E\), so \(V\) is even, and a Hamiltonian cycle has \(V\) edges, an even number. Colour its edges alternately \(a,b\). The edges not on the cycle form a perfect matching; colour them \(c\). Each vertex meets two consecutive cycle edges (\(a\) and \(b\)) and one matching edge (\(c\)).
Lesson 09

Thermoelectricity and energy

For the general reader. Join two different metals in a loop and heat one junction: a current flows. Tait measured this effect for more than twenty metals over a wide range of temperatures and found a surprisingly simple pattern, which he displayed in a diagram that became standard in textbooks. He was also, with Thomson, one of the loudest promoters of the new science of energy.

Goals
  • State the Thomson relations for thermoelectric coefficients.
  • Understand Tait’s linear law and his thermoelectric diagram.
  • Compute neutral and inversion temperatures.

The Thomson relations

For a thermocouple of metals A and B with junctions at \(T_0\) and \(T\), let \(E(T)\) be the electromotive force and \(P_{AB}=dE/dT\) the thermoelectric power (Seebeck coefficient). In the 1850s Thomson, applying thermodynamics to the reversible heat effects, derived

\[ \Pi_{AB}=T\,P_{AB},\qquad \sigma_A-\sigma_B=T\,\frac{dP_{AB}}{dT}, \]

where \(\Pi_{AB}\) is the Peltier coefficient (heat absorbed per unit charge at a junction) and \(\sigma\) the Thomson coefficient of each metal (heat absorbed per unit charge per degree along a conductor with a temperature gradient).

Tait’s law (1870s)

Over wide ranges of temperature, the thermoelectric power of each metal relative to a reference metal (Tait used lead) is a linear function of temperature: \(P(T)=\alpha+\beta T\). Equivalently, the Thomson coefficient of each metal is proportional to absolute temperature, \(\sigma=kT\).

Tait plotted \(P\) against \(T\) for each metal. On this thermoelectric diagram each metal is a straight line, and the e.m.f. of a couple between \(T_0\) and \(T\) is the area between the two lines over that interval: \(E=\int_{T_0}^{T}(P_A-P_B)\,dT\). Where two lines cross, at the neutral temperature \(T_n\), the couple’s e.m.f. is maximal. He presented the diagram in his 1873 Rede Lecture at Cambridge.

Energy

Tait wrote one of the early textbooks of thermodynamics and, with Thomson, publicized the principle of energy and its dissipation in lectures, reviews and articles. In the 1880s he turned to the kinetic theory of gases. A series of papers from 1886 to 1892 included a proof of the equipartition of energy among colliding spheres that Thomson regarded as the first rigorous one.

Exercise 9.1For a couple with \(P_{AB}=k(T_n-T)\), cold junction at \(T_0\) and hot junction at \(T\), find \(E(T)\), the temperature of maximum e.m.f., and the inversion temperature at which \(E\) changes sign.

Show solution
\(E=\int_{T_0}^{T}k(T_n-\tau)\,d\tau=k(T-T_0)\big(T_n-\tfrac{T+T_0}{2}\big)\). It is maximal where \(dE/dT=0\), at \(T=T_n\). It vanishes again at \(T=2T_n-T_0\): the inversion temperature is as far above the neutral point as the cold junction is below it.

Exercise 9.2A copper–constantan couple has \(P\approx40\ \mu\text{V/K}\) near room temperature. Estimate the Peltier heat carried per coulomb at a junction at 300 K, and the heat pumped by a current of 2 A.

Show solution
\(\Pi=TP=300\times40\times10^{-6}=0.012\) V, i.e. 12 mJ per coulomb. At 2 A, the junction absorbs or releases \(\Pi I=24\) mW.
Lesson 10

Deep-sea pressure and the flight of a golf ball

For the general reader. Tait enjoyed hard practical problems. The Challenger expedition (1872–76) had measured temperatures miles down in the ocean, but the crushing pressure distorted the thermometers. Tait measured how water and glass compress and found a simple formula still used, in modified form, today. In his last decade, with a champion golfer for a son, he explained why a well-struck golf ball flies so far: backspin makes it lift.

Goals
  • Use Tait’s equation for the compression of liquids.
  • Understand the Magnus lift that Tait applied to golf.
  • Estimate the spin-induced lift needed for a long drive.

The Tait equation

Between 1879 and 1888 Tait built apparatus to subject thermometers and liquids to pressures of several hundred atmospheres. His report for the Challenger volumes (1881 and later) gave the pressure correction for the deep-sea thermometers and an empirical law for the compression of water. In his form, the average compressibility over a pressure \(p\) is

Tait’s equation (1888) \[ \frac{v_0-v}{p\,v_0}=\frac{A}{\Pi+p}, \]

where \(v_0\) is the volume at zero gauge pressure and \(A\), \(\Pi\) are constants of the liquid depending on temperature. Gustav Tammann later recast it as \(v=v_0\big[1-C\ln(1+p/B)\big]\), the form now usually called the Tait equation, used for liquids and polymers under pressure.

Spin and lift

Golfers had found that a ball with a worn, rough surface flew further than a new smooth one, and that a well-struck drive seemed to rise rather than fall along a parabola. In articles in Nature from 1890 and a paper on the path of a rotating spherical projectile (1896), Tait argued that underspin produces an upward force by the effect Heinrich Gustav Magnus had described for spinning cylinders in 1853. Rough surfaces grip the air better and increase the effect. His son Freddie, Amateur Champion in 1896 and 1898, supplied the practical tests.

In modern notation, a ball of radius \(r\) moving at speed \(v\) through air of density \(\rho\) feels drag and lift

\[ F_D=\tfrac12\rho\,C_D\,\pi r^2v^2,\qquad F_L=\tfrac12\rho\,C_L\,\pi r^2v^2, \]

where the lift coefficient \(C_L\) grows with the spin parameter \(r\omega/v\), and lift acts perpendicular to the velocity, upward for backspin.

Exercise 10.1From Tait’s equation, find the compressibility \(\kappa=-\frac{1}{v_0}\frac{dv}{dp}\) as a function of \(p\). What happens as \(p\to\infty\)?

Show solution
\(v=v_0\big(1-\frac{Ap}{\Pi+p}\big)\), so \(\frac{dv}{dp}=-v_0\frac{A\Pi}{(\Pi+p)^2}\) and \(\kappa=\frac{A\Pi}{(\Pi+p)^2}\). At \(p=0\), \(\kappa=A/\Pi\); it decreases as pressure rises. As \(p\to\infty\), \(v\to v_0(1-A)\): the liquid cannot be compressed below a fixed fraction of its volume.

Exercise 10.2A golf ball has mass 45.9 g and radius 2.14 cm. At 60 m/s in air of density 1.2 kg/m³, what lift coefficient makes the lift equal the weight?

Show solution
Weight \(0.0459\times9.81\approx0.450\) N. Cross-section \(\pi(0.0214)^2\approx1.44\times10^{-3}\ \text{m}^2\). Dynamic pressure times area: \(\tfrac12\times1.2\times3600\times1.44\times10^{-3}\approx3.11\) N. So \(C_L\approx0.450/3.11\approx0.14\), a value well within reach of a ball with strong backspin. Early in a drive the ball can rise more steeply than a non-spinning projectile would.
Part III · Life and legacy
Lesson 11

Controversies and the vector war

Tait was combative in print. In the 1860s he fought a long priority dispute with John Tyndall over the mechanical equivalent of heat: Tyndall championed Julius Robert Mayer, while Tait and Thomson championed James Prescott Joule. Later Tait quarrelled with Rudolf Clausius over the history of thermodynamics. Historians judge his accounts of that history partisan, slanted toward British claims.

Quaternions against vectors

After Hamilton’s death in 1865, Tait led the effort to make quaternions the language of physics. Others extracted what they needed and discarded the rest. Josiah Willard Gibbs, in privately printed notes of 1881–84, and Oliver Heaviside, in his electromagnetic papers, separated the product \(\alpha\beta\) into a dot product and a cross product and dropped the four-dimensional algebra. In 1890–93 the dispute ran in the pages of Nature. Tait called Gibbs’s system a hybrid that lost the essential associativity and division of quaternions; Gibbs and Heaviside replied that physicists needed scalars and vectors, and that the full quaternion product rarely had a physical meaning.

The vectors won. By 1910 most physics was written in Gibbs–Heaviside notation, and quaternions survived mainly through Tait’s student Alexander Macfarlane and the international Quaternion Association. The story did not end there. Unit quaternions are the spin group \(\mathrm{SU}(2)\), the double cover of rotations (Lesson 04); they describe the spin of the electron, and they are now the standard way to store rotations in spacecraft attitude control and computer graphics.

The Unseen Universe

In 1875 Tait and Balfour Stewart published, at first anonymously, The Unseen Universe, arguing that the conservation and dissipation of energy were compatible with, and even suggested, an invisible world beyond the physical one. The book was aimed against scientific materialism and sold widely. A sequel, Paradoxical Philosophy, followed in 1878.

DiscussionUsing Lesson 04, list two things quaternions do better than Gibbs vectors and two things vectors do better. Was Tait wrong, or did he lose for reasons other than mathematical merit?

Lesson 12

Last years and legacy, 1890–1901

Tait received the Royal Medal of the Royal Society of London in 1886, the Keith Prize of the Royal Society of Edinburgh twice and its Gunning Victoria Jubilee Prize, and honorary degrees from Glasgow and the Catholic University of Ireland. His Scientific Papers appeared in two volumes in 1898 and 1900.

He and Margaret had seven children. Their third son, Frederick Guthrie Tait, known as Freddie, was the leading amateur golfer in Britain, winning the Amateur Championship in 1896 and 1898. He served with the Black Watch in South Africa, was wounded at Magersfontein in December 1899, and was killed leading an attack at Koodoosberg on 7 February 1900. His father never recovered from the blow. Tait retired from his chair early in 1901 and died a few months later, on 4 July 1901, at Challenger Lodge in Wardie, near Leith. He was buried at St John’s Episcopal Church, Edinburgh. His former assistant Cargill Gilston Knott published Life and Scientific Work of Peter Guthrie Tait in 1911.

Legacy

  • Knot theory: his tables, terminology and conjectures founded the subject. Their resolution in 1987–1993 through the Jones polynomial was one of the triumphs of modern low-dimensional topology, and vortex knots have returned to physics in fluids, plasmas and superfluids.
  • Graph theory: Tait colourings, the parity lemma and Tait’s Hamiltonian conjecture remain basic tools and examples.
  • Physics teaching: the Treatise on Natural Philosophy made energy and Lagrangian methods the core of British physics; his laboratory was a model for practical teaching.
  • Quaternions: lost the notation war but won in the long run, as the algebra of spin and of rotations in engineering.
  • Applied physics: the Tait equation and the physics of spinning balls are still in use.

The University of Edinburgh named a chair in physics after him, and Peter Guthrie Tait Road runs through its King’s Buildings campus.

Final projectChoose one of Tait’s conjectures (knots or graphs). Write a two-page account for a strong undergraduate that states the conjecture as Tait understood it, works one example in full, and explains how it was finally proved or disproved.

Reference

Connections

People linked to Peter Guthrie Tait across this collection. A name without a link has no page here yet. See Peter Guthrie Tait in the network of all 337 lives →

Teachers and advisors

  • James David Forbes
  • Philip Kelland
  • William Hopkins 1848-1852

Students

  • Alexander Macfarlane 1874-1878
  • William Robertson Smith 1868-1870

Influenced by

Influenced

  • Louis Kauffman
  • Morwen Thistlethwaite
  • William Tutte

Colleagues and collaborators

Rivals

Friends

Family

  • Alexander Crum Brown

Also mentioned in this life

Fields

Reference

Sources and further reading

Biography

  1. J. J. O’Connor and E. F. Robertson, Peter Guthrie Tait, MacTutor History of Mathematics.
  2. Tait, Peter Guthrie, Dictionary of National Biography entry, via MacTutor.
  3. Peter Guthrie Tait, Wikipedia.
  4. Peter Guthrie Tait and the Scrapbook, MacTutor.
  5. C. G. Knott, Life and Scientific Work of Peter Guthrie Tait, Cambridge University Press, 1911.
  6. Peter Guthrie Tait, booklet, James Clerk Maxwell Foundation.

Mathematics and physics

  1. W. Thomson and P. G. Tait, Treatise on Natural Philosophy, Oxford, 1867; 2nd ed. Cambridge, 1879–83.
  2. P. G. Tait, An Elementary Treatise on Quaternions, Oxford, 1867.
  3. P. G. Tait, On knots, I–III, Trans. R. Soc. Edinburgh 28 (1877), 32 (1884–85); reprinted in Scientific Papers, vol. 1, Cambridge, 1898.
  4. P. G. Tait, Remarks on the colouring of maps, Proc. R. Soc. Edinburgh 10 (1880).
  5. P. G. Tait, Report on some of the physical properties of fresh water and of sea water, Report on the Scientific Results of the Voyage of H.M.S. Challenger, Physics and Chemistry, vol. 2 (1888).
  6. W. Thomson, On vortex atoms, Proc. R. Soc. Edinburgh 6 (1867).
  7. Tait conjectures, Wikipedia (with references to Kauffman, Murasugi, Thistlethwaite and Menasco).
  8. L. H. Kauffman, State models and the Jones polynomial, Topology 26 (1987).
  9. W. Menasco and M. Thistlethwaite, The classification of alternating links, Annals of Mathematics 138 (1993).
  10. W. T. Tutte, On Hamiltonian circuits, J. London Math. Soc. 21 (1946).
  11. M. J. Crowe, A History of Vector Analysis, Notre Dame, 1967; Dover reprint.
  12. D. S. Silver, Knot theory’s odd origins, American Scientist 94 (2006).
  13. C. Adams, The Knot Book, W. H. Freeman, 1994.