# Conference: Higher structures in quantum field theory and string theory

This week I am attending a conference on higher structures in quantum field theory and string theory. It’s an event that I have been excited about since the new year. So far there have been some very nice talks, with interesting ideas and calculations presented.

There is the expression about going down a rabbit hole. In the world of mathematical concepts and fundamental physics, it is easy to get excited about an especially stimulating talk and follow down several rabbit holes. I’m trying to stay especially focused on presentations that are more directly related with my current research, but sometimes the excitment and sense of interest in the discussion topic becomes too strong! This afternoon I am looking forward to Bob Knighton speak on an exact AdS/CFT correspondence and Fiona Seibold talk about integrable deformations of superstrings. The rest of the week should also be a lot of fun.

Meanwhile, in the background I’ve been working on my PhD research (even though I don’t formally start until 1 August) and some double sigma model stuff. I’m hoping to also have my next post on categorical products, duality, and universality finished, which, as it is currently drafted, also talks a bit more about M-theory motivations but I may save this part for a detailed entry of its own.

# (n-1)-thoughts, n=4: A return to the North Sea, new string papers, and Strings 2021

Beth and I frequently talk about how we miss the North Sea. We lived on the coast and I think it is our nature that we both prefer its unique countryside. But now that we’re living in East Midlands, landlocked and busy at university, we haven’t been back for a couple of years. So for our summer holiday we’ve travelled to North Norfolk, a place that for many reasons became an adopted home for both of us, to smell the sea again and enjoy the beautiful sights.

It may perhaps sound a bit mawkish, but in many ways North Norfolk provided an opening for discovery, not just in a literal sense but also in a philosophical sense as a space to reflect on the world of ideas. There is a line by John Berger that speaks of a place from which the world can be discovered – that is, a foundation from which one can venture forward but always return if needed. I think this is what the North Norfolk countryside came to represent for us: at the time a much needed place of peace and calm, but also a place of thought and reflection, where time runs slow and where we could gather ourselves, find our footing in life, and sometimes spend entire afternoons contemplating life. If for Plato and Socrates our true home is the eternal world of ideas, the North Sea, with the calm and quiet nature of the hills, valleys, woodlands, and beaches unfolding alongside it, is the continuum from which philosophy and mathematical realism can be pursued. Its the total landscape, the geography, and the open horizon that is grounding.

The little cottage where we used to live, just off the main road which the Romans would have similarly ventured when travelling to the coastal towns, was our first proper home. It was maybe the first place where we both found lasting comfort, coming from difficult situations and experiences. It was modest accommodation – a flintstone cottage, with an old fireplace, pinewood shelves, and steep narrow stairs sharply turning from the kitchen at the back up to the bedroom facing the main road. It was a tiny dwelling, perhaps a bit too cramped at times. But with our library of books, regular philosophical discussion, and no shortage of slow days of reflection, maths, and hobby, it was the perfect place at the right time. On the most difficult days, we could just listen to the birds in the back garden, find peace in our thoughts, or write to our contentment.

The main town, Holt, the origin derived from the Anglo-Saxon word for ‘wood’, is a place defined very much by its surrounding line of trees and small forest areas. It is situated on a hill, and, although a couple miles from the coast, a fresh sweeping wind from the North Sea can often be felt. Out here, the air is fresh. Space is wide and open.

One of my favourite places was, and remains to be, the woodland and heath not far from where we lived. It’s not marked on the map, so it is truly a hidden place to be discovered. Beth and I would take regular walks and spend many afternoons sitting among the heather – purple flowers of Calluna vulgaris – and yellow flowers of Ulex gallii. One year, I remember wild ponies were introduced to help maintain the land, and often we would see them hanging out by the brook or underneath a tree on a hot summer day. Upon our return this week, it was a joy to visit this place again.

I’m not very good at creative writing, although I’ve tried to learn and experiment with it. One thing that we used to do is, during our walks in the heath or through the many wonderful nature reserves, we would treat them like field expeditions. And, like a keen biologist or natural scientist, we would take our time for the finer inspection of all species of plant and animal. I would practice writing in my journal in an observational and documentative way. Being back here, I was inspired to dig up one such piece of writing. At the time I was experimenting with phenomenological-style notetaking, trying to intricately describe my experience of the countryside. I think I also took inspiration from the structure of a number of writings by various authors that I was reading back then.

To the left of me dense thicket carries into the distance, a rolling plain of healthy evergreen and intricate pathways of rotting needle, brown and dank, align in close order row upon row upon row. To the right, at the nearest edge of the forest, golden rays of sunlight spray across an open valley. Its radiating warmth and all-consuming light illuminate the young grasses breaking into the soil, filling the land with a rich, unfolding spectacle of colour. Looking beyond these trees, it is readily noticeable that there is an abundance of wildflower and bracken, a diverse quality of dazzling tones and subjects, which harmonize in a single unified phenomenal pallet like one massive, entanglement of earth. Ramshackle and unexpected, diverse and revealing, from endless rills and rivulets, from ditches to dells, from hedgerows to underbrush, with each new experience pressing deeper into this landscape and, ever from the background of this vast horizon of rolling hills before me, entire swells of breathing life continuing to reveal themselves. From the rabbits and wood pigeons who rather be hidden; the swaying fields are a thoroughfare for creatures of various kinds, from field mice to deer and the odd passing fox; song thrush, jays, long-tailed tits, and spotted woodpeckers - what grows and lives in this place is truly possessed of a beauty all its own.

As for the very belly of the forest, off the heath, there is a rich vision of evergreen, each swirling pine looks entirely similar to the other. But upon closer inspection we see that each particular pine tree is distinguishable and, indeed, of unique character. The pine itself is of course home to many things. Birds, insects, a peering squirrel; all find comfort in these dense woodlands. But row upon row, with its dwarf shoots that spiral from off the axils of scaly bracts, such a dense growth of pine, whose intricate branches are like a massive conic arrangement of narrow needles bundled together by both bark and sap, is a marvel in itself.  Occasionally stepping on fallen seed or the coned fruit, my senses are overwhelmed by the spatially sweet and particular fragrance that lingers throughout the air.


The countryside here is in many ways a place of Tolkein description. It has been nice sitting again by the cliffs and walking through the overgrown footpaths. As I tried to capture, it is Shire-like in its beauty. With its salt marshes; winding roads lined by hedges, wild flowers, sedges, and rushes; and rolling hills demarcated by broad leaved woodland, towering at times with veteran oaks, birch, and, my favourite, Scotch pines – there is so much to be admired in this part of the country. Down by the sea, fishermen sit with lines cast, birds circling overhead. Again, it is perhaps more than a bit mawkish, but it is for me one of the places in our beautiful country that speaks a bit to old Romanticism, with every brook and winding turn outlined by hedgerows evoking a scene from a classic Keats poem.

It is my nature to be reclusive. No doubt, there are many other reasons why I find home by the sea and in the countryside. But as I write from the cottage where we’re staying, I remember why North Norfolk represents more than a place of stillness and beauty. With a cup of tea and some maths by the window, in the quiet thoughtfulness, the appearance and seeming order of the world of phenomena, mental idealisations or not, rushes forth some profound reality.

New string papers

As I was preparing to leave for holiday, three papers appeared of significant interest. I haven’t had a chance to work through them all yet, between being strict with my holiday time and with String 2021 ongoing, but I felt motivated over a cup of tea to take note:

Heterotic duels of M-theory

A nice paper by Bobby Samir Acharya,  Alex Kinsella, and David R. Morrison on the non-perturbative heterotic duels of M-theory was released. This is of particular interest to me as it relates to the wider study of the non-perturbative aspects of M/heterotic duality.

This duality was discovered in the mid 90’s in which one can take M-theory compactified on a $K3$ and find it relates to the $E8 \times E8$ heterotic theory compactified on a three-torus. When you look at the 4D picture, we may instead compactify M-theory on a $G2$ manifold (equipped with a K3 fibration), which is a seven-dimensional Riemannian manifold that is special because it comes with the holonomy group in the exceptional simple Lie group $G_2$. For the $E8 \times E8$, it gets compactified on a Calabi-Yau threefold equipped with a three-torus. I haven’t had a chance to read through and consider the paper in any great detail, but it is noticeable that it starts with a similar set-up, taking low-energy M-theory with $G2$ orbifolds as the choice of compactification, with choice of equipped K3-fiberation to enable comparison with the dual heterotic string spectrum. A key observation, I take it, is that for the heterotic background there is a subtlty with the gauge bundle on $T^3$ such that, when it comes to the non-perturbative physics, there are point-like instantons on orbifold points of the geometry. This is where things get both interesting and complicated, and I’m not sure in what way these instanton effects in the spectrum relate to M-branes. I am keen to read the second half of the study.

Higgs mass in string theory

Another paper that appeared looks at calculating the Higgs mass. It’s by Steven Abel and Keith R. Dienes. This paper is quite the joy, and I’m sure anyone with interest in string theory will enjoy it over a cup of tea. Abel and Dienes harnesses the powers of the world-sheet theory to perform some proper stringy calculations, developing a framework that presents a relationship between the Higgs mass and the cosmological constant. What is neat about the computation is that this connection is generic for all closed string theories and provides a bit of a platform for future studies on gauge hierarchy problems.

Double sigma models and geometric quantisation

With a rush of papers leading up to my holiday, this one immediately caught my attention and got me excited. Luigi Alfonsi and David Berman study geometric quantisation in double field theory and double sigma models. From what I have seen, it is grand.

I was actively thinking about quantisation of double sigma models, as this is one area in which I have been working. In fact, I recall a few discussions a year or more ago about a project looking into the quantisation of the doubled string. In parts, from working in the area, what we see in this paper is kind of what one would expect in that, to start, the zero-mode sector for the closed string is intrinsically non-commutative. This alone is an interesting fact with some deep implications. Commonly, in the set-up where the target-space is treated as a phase-space, one will also equip a symplectic form $\omega$, and one will can construct a theory with an action following Tseytin (we talked about this in a past post). What is found with the inclusion of $\omega$ is an interesting connection with Born geometry (maybe I’ll write about this in a future post) and, furthermore, one will often find discussion on symplectic structures as it relates to Poisson geometry which has some deep relation with T-duality.

In short, in the quantisation procedure there is a choice of polarisation, and the authors want to make a choice of polarisation in conjunction with the strategy for geometric quantisation. What happens, in any case, is that T-duality will give polarisations. And then what one wants to study is the noncommutative algebra associated to the doubled phase space. What the paper shows is that there are, in essence, two types of quantisations going on, because there is one coming from the usual phase space and then another from the duality frame (i.e., what in the formalism is understood in terms of the Lagrangian submanifold).

A deeper idea here has to do with the doubled phase space and para-Hermitean geometry, which I think I’ve mentioned a wee bit in the past. On that note, it is also interesting to think about the findings in this paper as it relates to the idea of metastring theory and quantisation.

As an aside, I’ve been working on a draft essay about a series of papers by Luigi. I wanted to write a bit about double sigma models and double field theory before finishing this essay, with a mind toward giving the reader some reference. They are fantastic papers on the global double space of double field theory, among other things. I also have Luigi’s PhD thesis on hand, which I think is great. There is a lot to discussed here in the context of the doubled geometry of double sigma models and higher structures.

Strings 2021

The annual string conference, Strings 2021, is ongoing (21 June – 2 July). It’s always an event that I look forward to, as it brings together the entire string theory community. Among a large list of great and usual names, my eye immediate caught an anomalous speaker amongst the expected and anticipated: namely, Roger Penrose. I will be most eager to hear what he has to say during his presentation on Friday 2, July. The topic is on gravitational singularities. There are of course a number of talks that I am looking forward to – too many to list! For now, here is the schedule with list of speakers, including links to notes and recordings. If I find the time and motivation, I’ll write a summary of my favourite talks next week.

# O(D,D) and Double Field Theory

1. Introduction

In continuation of a past entry, this week I was intending to write more about double sigma models. I wanted to offer several further remarks on the intrinsic aspects of the doubled world-sheet formalism, and also give the reader a sense of direction when it comes to interesting questions about the geometry of the doubled string.

However, I realised that I have yet to share on this blog many of my notes on Double Field Theory (DFT). We’ve talked a bit about the Courant Bracket and the strong constraint and, in a recent post, we covered a review of Tseytlin’s formulation of the duality symmetric string for interacting chiral bosons that relates to the formulation of DFT. But, as a whole, it would be useful to discuss more about the latter before we continue with the study of double sigma models. There is a wonderfully deep connection between two, with a lot of the notation and concepts employed in the former utilised in the latter, and eventually a lot of concepts become quite interrelated.

We’ll start with some basics about DFT, focusing particularly on the T-duality group ${O(d,d)}$ and the generalised metric formulation. In a later entry, we’ll deepen the discussion with gauge transformations of the generalised metric; generalised Lie derivatives; Courant brackets, generalised Lie brackets, and Dorfman brackets; among other things. The endgame for my notes primarily focuses on the generalised Ricci and the question of DFT’s geometric constitution, which we will also discuss another time.

For the engaged reader interested in working through the seminal papers of Zwiebach, Hull, and Hohm, see [1,2,3,4].

2. What is ${O(d,d)}$?

As we’ve discussed in other places, DFT was formulated with the purpose of incorporating target space duality (T-duality) in way that is manifest on the level of the action. One will recall that, in our review of the duality symmetric string, the same motivation was present from the outset. I won’t discuss T-duality in much depth here, instead see past posts or review Chapter 8 in Polchinski [5]. The main thing to remember, or take note of, is how T-duality is encoded in the transformations $R \leftrightarrow \frac{l_s}{R}$, $p \leftrightarrow w$, which describe an equivalence between radius and inverse radius, with the exchange of momentum modes ${p}$ and the intrinsically stringy winding modes ${w}$ in closed string theory, or in the case of the open string an exchange of Dirichlet and Neumann boundary conditions. More technically, we have an automorphism of conformal field theory. In the case of compactifying on $S^1$ for example, as momentum and winding are exchanged, the coordinates ${x}$ on ${S^1}$ are exchanged with the dual ${S^1}$ coordinates $\tilde{x}$.

When T-duality is explicit we have for the mass operator,

$\displaystyle M^2 = (N + \tilde{N} - 2) + p^2 \frac{l_s^2}{R^2} + \tilde{w}^2 \frac{R^2}{l_s^2}, \ (1)$

where the dual radius is ${\frac{R^2}{l_s} \leftrightarrow \frac{\tilde{R}^2}{l_s} = \frac{l_s}{R^2}}$ with ${p \leftrightarrow \tilde{w}}$. Here ${l_s}$ is the string scale. One may recognise the first terms as the number operators of left and right moving oscillator excitations. The last two terms are proportional to the quantised momentum and winding. Compactified on a circle, the spectrum is invariant under ${\mathbb{Z}_2}$, but for a d-dimensional torus the duality group is the indefinite orthogonal group ${O(d,d; \mathbb{Z})}$, with ${d}$ the number of compact dimensions.

And, actually, since we’re here one can motivate the idea another way [6]. A generic aspect of string compactifications is that there exist subspaces of the moduli space which feature enhanced gauge symmetry. The story goes back to Kaluza-Klein. Take an ${S^1}$ compactification and set ${R = \sqrt{2}}$, one finds four additional massless gauge bosons that correspond to ${pw = \pm 1}$, ${N + \tilde{N} = 1}$. One can combine these states with the two ${U(1)}$ gauge fields to enlarge the ${U(1)^2}$ gauge symmetry in the form

$\displaystyle U(1) \times U(1) \rightarrow SU(2) \times SU(2). \ (2)$

If we want to generalise from the example of an ${S^1}$ compactification to higher-dimensional toroidal compactifications, we can do so such that the massless states at a generic point in the moduli space include Kaluza-Klein gauge bosons of the group ${G = U(1)^{2n}}$ and the toroidal moduli ${g_{ij}, b_{ij}}$, parameterising a moduli space of inequivalent vacua. This moduli space is ${n^2}$-dimensional coset space

$\displaystyle \mathcal{M}^{n} = \frac{O(n,n)}{O(n) \times O(n)} / \Gamma_T, \ (3)$

where ${\Gamma_T = O(n,n; \mathbb{Z})}$. In other words, it is the T-duality group relating equivalent string vacua. (In my proceeding notes I sometimes use $O(d,d)$ and $O(n,n)$ interchangably).

But the example I really want to get to comes from the classical bosonic string sigma model and its Hamiltonian formulation [7]. It is fairly straightforward to work through. Along with the equations of motion, constraints in the conformal gauge are found to be of the form

$\displaystyle G_{ab} (\partial_{\tau} X^{a} \partial_{\tau} X^b + \partial_{\sigma} X^a \partial_{\sigma} X^b) = 0$

and

$\displaystyle G_{ab}\partial_{\tau}X^a \partial_{\sigma} X^b = 0, \ (4)$

which determine the dynamics of the theory. Then in the Hamiltonian description, one can calculate the Hamiltonian density from the standard Lagrangian density. After some calculation, which includes obtaining the canonical momentum and winding, the Hamiltonian density is found to take the form

$\displaystyle H(X; G,B) = -\frac{1}{4 \pi \alpha^{\prime}} \begin{pmatrix}\partial_{\sigma} X \\ 2 \pi \alpha^{\prime} P \end{pmatrix}^T \mathcal{H}(G, B) \begin{pmatrix} \partial_{\sigma} X \\ 2\pi \alpha^{\prime} P \end{pmatrix}$

$\displaystyle = -\frac{1}{4\pi \alpha^{\prime}} \begin{pmatrix} \partial_{\tau} X \\ -2\pi \alpha^{\prime} W \end{pmatrix}^T \mathcal{H}(G, B) \begin{pmatrix} \partial_{\tau}X \\ -2\pi \alpha^{\prime} P \end{pmatrix} \ (5).$

This ${\mathcal{H}(G,B)}$ is what we will eventually come to define as the generalised metric. Keeping to the Hamiltonian formulation of the standard string, the appearance of ${O(d,d)}$follows. We first may define generalised vectors given some generalised geometry ${TM \oplus T \star M}$, in which the tangent bundle ${TM}$ of a manifold ${M}$is doubled in the sum of the tangent and co-tangent bundle. The vectors read:

$\displaystyle A_{P}(X) = \partial_{\sigma} X^a \frac{\partial}{\partial x^a} + 2\pi \alpha^{\prime}P_a dx^a$

and

$\displaystyle A_W(X) = \partial_{\tau} X^a \frac{\partial}{\partial x^a} - 2\pi \alpha^{\prime}W_a dx^a. \ (6)$

Now, in this set-up, ${O(d, d)}$ naturally appears in the classical theory ; because we take the generalised vector (6) with the constraint (4) and, in short, find that the energy-momentum tensor can be written as

$\displaystyle A^T_{P} \mathcal{H} A_P = 0 \ \ \text{and} \ \ A^T_P L A_P = 0. \ (7)$

The two constraints in (7) tell quite a bit: we have the Hamiltonian density set to zero with the second constraint being quite key. It will become all the more clear as we advance in our discussion that this ${L}$ defines the group ${O(d,d)}$. Moreover, a ${d \times d}$ matrix ${Z}$ is an element of ${O(d,d)}$ if and only if

$\displaystyle Z^T L Z = L \ (8),$

where

$\displaystyle L = \begin{pmatrix} 0 & \mathbb{I} \\ \mathbb{I} & 0 \\ \end{pmatrix}. \ (9)$

The moral of the story here is that the generalised vectors solving the constraint in (7) are related by an ${O(d,d)}$ transformation. This transformation is, in fact, T-duality. But to formalise this last example, let us do so finally in the study of DFT and its construction.

3. Target Space Duality, Double Field Theory, and ${O(D,D,\mathbb{Z})}$

From a field theory perspective, there is a lot to unearth about the presence of ${O(d,d)}$, especially given the motivating idea to make T-duality manifest. What we want to do is write everything in terms of T-duality representations. So all objects in our theory should have well-defined transformations.

We can then ask the interesting question about the field content. What one will find is that for the NS-NS sector of closed strings – i.e., gravitational fields ${g_{IJ}}$ with Riemann curvature ${R(g)}$, the Kalb-Ramond field ${b_{IJ}}$ with the conventional definition for the field strength ${H=db}$, and a dilaton scalar field ${\phi}$ – these form a multiplet of T-duality. From a geometric viewpoint, this suggests some sort of unifying geometric description, which, as discussed elsewhere on this blog, may be formalised under the concept of generalised geometry (i.e., geometry generalised beyond the Riemannian formalism).

Earlier, in arriving at (1), we talked about compactification on ${S^1}$. Generalising to a d-dimensional compactification, we of course have ${O(d,d)}$ and for the double internal space we may write the coordinates ${X^i = (x^i, \tilde{x}_i)}$, where ${i = 1,...,d}$. But what we really want to do is to double the entire space such that ${D = d + n}$, with ${I = 1,..., 2D}$, and then see what happens. Consider the standard formulation of DFT known as the generalised metric formulation (for a review of the fundamentals see [8]). The effort begins with the NS-NS supergravity action

$\displaystyle S_{SUGRA} = \int dX \sqrt{-g} \ e^{-2\phi} [R + 4(\partial \phi)^2 - \frac{1}{12}H^2] \ + \ \text{higher derivative terms}. \ (10)$

In the case of toroidal compactification defined by ${D}$-dimensional non-compact coordinates and ${d}$-dimensional compact directions, the target space manifold can be defined as a product between ${d}$-dimensional Minkowski space-time and an ${n}$-torus, such that ${\mathbb{R}^{d-1,1} \times T^{n}}$ where, as mentioned a moment ago, ${D = n + d}$. We have for the full undoubled coordinates ${X^{I} = (X^{a}, X^{\mu})}$ with ${X^{a} = X^{a} + 2\pi}$ being the internal coordinates on the torus. The background fields are ${d \times d}$ matrices taken conventionally to be constant with the properties:

$\displaystyle G_{IJ} = \begin{pmatrix} \hat{G}_{ab} & 0 \\ 0 & \eta_{\mu \nu} \\ \end{pmatrix}, \ \ B_{IJ} = \begin{pmatrix} \hat{B}_{ab} & 0 \\ 0 & 0 \\ \end{pmatrix}, \ \ \text{and} \ \ G^{IJ}G_{JK} = \delta^{I}_K. \ (11)$

We define ${\hat{G}_{ab}}$ as a flat metric on the torus and ${\eta_{\mu \nu}}$ is simply the Minkowski metric on the ${d}$-dimensional spacetime. As usual, the inverse metric is defined with upper indices. In (11) we also have the antisymmetric Kalb-Ramond field. Finally, for purposes of simplicity, we have dropped the dilaton. Of course one must include the dilaton at some point so as to obtain the correct form of the NS-NS supergravity action, but for now it may be dropped because the motivation here is primarily to study the way in which ${G_{IJ}}$ and ${B_{IJ}}$ come together in a single generalised geometric entity, which we begin to construct with the internal metric denoted as

$\displaystyle E_{IJ} = G_{IJ} + B_{IJ} = \begin{pmatrix} \hat{E}_{ab} & 0 \\ 0 & \eta_{\mu \nu} \\ \end{pmatrix} \ (12)$

for the closed string background fields, with ${\hat{E}_{ab} = \hat{G}_{ab} + \hat{B}_{ab}}$ as first formulated by Narain et al [9]. It is important to note that the canonical momentum of the theory is ${2\pi P_{I} = G_{IJ}\dot{X}^{J} + B_{IJ} X^{\prime J}}$, where, in the standard way, ${\dot{X}}$ denotes a ${\tau}$ derivative and ${X^{\prime}}$ denotes a ${\sigma}$ derivative. Famously, the Hamiltonian of the theory may then also be constructed from the expansion of the string modes for coordinate ${X^{I}}$, the canonical momentum, and from the Hamiltonian density to take the following form

$\displaystyle H = \frac{1}{2} Z^{T} \mathcal{H}(E) Z + (N + \bar{N} - 2). \ (13)$

Or, to write it in terms of the mass operator,

$\displaystyle M^{2} = Z^{T} \mathcal{H}(E) Z + (N + \bar{N} - 2). \ (14)$

The structure of the first terms in (14) should look familiar. In summary, in an ${n}$-dimensional toroidal compactification, the momentum ${p^{I}}$ and winding modes ${w_{I}}$ become ${n}$-dimensional objects. So the momentum and the winding are combined in a single object known as the generalised momentum $Z = \begin{pmatrix} w_{I} \\ p^{I} \\ \end{pmatrix}$. This generalised momentum $Z$ is defined as a $2D$-dimensional column vector, and we will return to a discussion of its transformation symmetry in a moment. Meanwhile, in (13) and (14) $N$ and $\bar{N}$ are the usual number operators counting the excitations familiar in the standard bosonic string theory. One typically derives these when obtaining the Virasoro operators. We also see the first appearance of the generalised metric $\mathcal{H}(E)$, which is a $2D \times 2D$ symmetric matrix constructed from $G_{IJ}$ and $B_{IJ}$ with $E = E_{IJ} = G_{IJ} + B_{IJ}$. We will discuss the generalised metric in just a few moments.

As is fundamental to closed string theory there is the Virasoro constraint ${L_{0} - \bar{L}_{0} = 0}$, where ${L_{0}}$ and ${\bar{L}_{0}}$are the Virasoro operators. This fundamental constraint remains true in the case of DFT. Except in DFT this condition on the spectrum gives ${N - \bar{N} = p_{I}w^{I}}$ or, equivalently,

$\displaystyle N - \bar{N} = \frac{1}{2} Z^{T} L Z, \ (15)$

where

$\displaystyle L = \begin{pmatrix} 0 & \mathbb{I} \\ \mathbb{I} & 0 \\ \end{pmatrix}. \ (16)$

This is, indeed, the same ${L}$ we defined before. Given some state and some oscillators, the fundamental constraint (15) must be satisfied, with the energy of such states computed using (13). For the time being, we treat ${L}$ somewhat vaguely and simply consider it as a constant matrix. We denote ${\mathbb{I}}$ as a ${D \times D}$ identity matrix.

Continuing with basic definitions, the generalised metric that appears in (13) and (14) is similar to what one finds using the Buscher rules [10] for T-duality transformations with the standard sigma model [11,12]. That is to say, ${\mathcal{H}}$ takes a form in which there is clear mixing of the background fields. It is defined as follows,

$\displaystyle \mathcal{H}(E) = \begin{pmatrix} G - BG^{-1}B & BG^{-1} \\ -G^{-1}B & G^{-1} \\ \end{pmatrix}. \ (17)$

One inuitive motivation for the appearance of the generalised metric is simply based on the fact that, if we decompose the supergravity fields into the metric ${G_{ij}}$ and the Kalb-Ramond field ${B_{ij}}$, in DFT these then must assume the form of an ${O(d,d)}$tensor. The generalised metric, constructed from the standard spacetime metric and the antisymmetric two-form serves this purpose. On the other hand, the appearance of the generalised metric can be approached from a more general perspective that offers a deeper view on toroidal compactifications. In (13) what we have is in fact an expression that serves to illustrate the underlying moduli space structure of toroidal compactifications [9,13], which, as we have discussed, for a general manifold ${\mathcal{M}}$ may be similarly written as (3).

The overall dimension of the moduli space is ${n^2}$ which follows from the parameters of the background matrix ${E_{ij}}$, with ${n(n+1)/2}$ for ${G_{ij}}$ plus ${n(n-1)/2}$ for ${B_{ij}}$. The zero mode momenta of the theory define the Narain lattice ${\Gamma_{n,n} \subset \mathbb{R}^{2n}}$, and it can be proven that ${\Gamma_{n,n}}$ is even and also self-dual. These properties ensure that, in the study of 1-loop partition functions, the theory is modular invariant with the description enabling a complete classification of all possible toroidal compactifications (for free world-sheet theories). The feature of self-duality contributes ${O(n, \mathbb{R}) \times O(n, \mathbb{R})}$. The Hamiltonian (13) remains invariant from separate ${O(n, \mathbb{R})}$ rotations of the left and right-moving modes that then gives the quotient terms. As for the generalised metric, we may in fact define it as the ${O(n,n) / O(n) \times O(n)}$ coset form of the ${n^2}$ moduli fields.

4. ${O(n,n,\mathbb{Z})}$

In a lightning review of certain particulars of DFT, we may deepen our discussion of the T-duality group by returning first to the generalised momentum ${Z}$ as it appears in (14). If we shuffle the quantum numbers ${w,p}$, which means we exchange ${w}$for ${p}$ and vice versa, the transformation symmetry of ${Z}$ is well known to be

$\displaystyle Z \rightarrow Z = h^{T}Z^{\prime}. \ (18)$

For now, ${h}$\$ is considered generally as a ${2D \times 2D}$invertible transformation matrix with integer entries, which mixes ${p^{I}}$ and ${w_{I}}$ after operating on the generalized momentum. It follows that ${h^{-1}}$ should also have invertible entries, this will be shown to be true later on. Importantly, if we have a symmetry for the theory, this means a transformation in which we may take a set of states and, upon reshuffling the labels, we should obtain the same physics. Famously, it is indeed found that the level-matching condition and the Hamiltonian are preserved. If we take ${Z \rightarrow Z^{\prime}}$ as a one-to-one correspondence, the level-matching condition (15) with the above symmetry transformation (18) gives

$N - \bar{N} = \frac{1}{2} Z^{T}LZ = \frac{1}{2} Z^{T \prime}L Z^{\prime}$

$\displaystyle = \frac{1}{2} Z^{T \prime} h L h^{T} Z^{\prime}. \ (19)$

For this result to be true, it is necessary as a logical consequence that the transformation matrix ${h}$ must preserve the constant matrix ${L}$. This means it is required that

$\displaystyle h L h^{T} = L, \ (20)$

which also implies

$\displaystyle h^{T} L h = L. \ (21)$

These last two statements can be proven, producing several equations that give conditions on the elements of ${h}$. The full derivation will not be provided due to limited space (complete review of all items can again be found in [1,2,3,4,8]); however, to illustrate the logic, let ${a, b, c, d}$ be ${D \times D}$matrices, such that ${h}$ may be represented in terms of these matrices

$\displaystyle h = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}. \ (22)$

The condition in which ${h}$ preserves ${L}$demands that the elements ${a, b, c, d}$satisfy in the case of (20)

$\displaystyle a^{T}c + c^{T}a = 0, \ b^{T}d + d^{T}b = 0,$

and

$\displaystyle a^{T}d + c^{T}b = 1. \ (23)$

Likewise, similar conditions are found for the case (21), for which altogether it is proven that ${h^{-1}}$ has invertible entries. What this ultimately means is that although we previously considered ${h}$ vaguely as some transformation matrix, it is in fact an element of ${O(D,D, \mathbb{R})}$ and ${L}$is an ${O(D,D, \mathbb{R})}$invariant metric. Formally, an element ${h \in O(D,D, \mathbb{R})}$ is a ${2D \times 2D}$ matrix that preserves, by its nature, the ${O(D,D, \mathbb{R})}$ invariant metric ${L}$(16) such that

$\displaystyle O(D,D,\mathbb{R}) = \bigg \{h \in GL(2D, \mathbb{R}) \ : \ h^{T}Lh = L \bigg \}. \ (24)$

Finally, if the aim of DFT at this point is to completely fulfil the demand for the invariance of the massless string spectrum, it is required from (13) for the energy that, if the first term is invariant under ${O(D,D)}$ then we must have the following transformation property in the case ${Z^{T} \mathcal{H}(E) Z \rightarrow Z^{\prime T} \mathcal{H}(E^{\prime}) Z^{\prime}}$:

$\displaystyle Z^{\prime T}\mathcal{H}(E^{\prime}) Z^{\prime} = Z^{T}\mathcal{H}(E)Z$

$\displaystyle = Z^{\prime T} h \mathcal{H}(E)h^{T} Z^{\prime}. \ (25)$

By definition, given the principle requirement of (25) it is therefore also required that the generalised metric transforms as

$\displaystyle \mathcal{H}(E^{\prime}) = h\mathcal{H}(E)h^{T}. \ (26)$

The primary claim here is that for the transformation of ${E}$ we find

$\displaystyle (E^{\prime}) = h(E) = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}(E) \equiv (aE + b)(cE + d)^{-1}. \ (27)$

One should note that this is not matrix multiplication, and ${h(E)}$ is not a linear map. What we find in (27) is actually a well known transformation in string theory that appears often in different contexts, typically taking on the appearance of a modular transformation. Given the notational convention that ${\mathcal{H}}$is acting on the background ${E}$, what we end up with is the following

$\displaystyle (E^{\prime T}) = \begin{pmatrix} a & -b \\ -c & d \\ \end{pmatrix}(E^{T}) \equiv (aE^{T} - b)(d - cE^{T})^{-1}, \ (28)$

where in the full derivation of this definition it is shown $(E^{\prime T}) = \begin{pmatrix} a & -b \\ -c & d \\ \end{pmatrix} E^T.$

Proof: To work out the full proposition with a proof of (26), we may also demonstrate the rather deep relation between (26) and (28). The basic idea is as follows: imagine creating ${E}$ from the identity background ${E^{\prime} = \mathbb{I}}$, where conventionally ${E = G + B}$ and ${G = AA^{T}}$. Recall, also, the definition for the generalised metric metric (17). Then for ${E = h_{E}(\mathbb{I})}$, what is ${h_{E} \in O(D,D, \mathbb{R})}$? To answer this, suppose we know some ${A}$ such that

$\displaystyle h_{E} = \begin{pmatrix} A & B(A^{T})^{-1} \\ 0 & (A^{T})^{-1} \\ \end{pmatrix}. \ (29)$

It then follows

$\displaystyle h_{E}(I) = (A \cdot \mathbb{I} + B(A^{T})^{-1})(0 \cdot \mathbb{I} + (A^{T})^{-1})^{-1}$

$\displaystyle = (A + B(A^{T})^{-1}) A^{T} = AA^{T} + B = E = G + B. \ (30)$

This means that the ${O(D,D)}$ transformation creates a ${G + B}$ background from the identity. Additionally, the transformation ${h_E}$ is ambiguous because it is always possible to substitute ${h_E}$with ${h_E \cdot g}$, where we define ${g(\mathbb{I}) = \mathbb{I}}$ for ${g \in O(D,D, \mathbb{R})}$. In fact, it is known that ${g}$ defines a ${O(D) \times O(D)}$subgroup of ${O(D,D)}$ ${g^{T}g = gg^{T} = I}$.

In conclusion, one can show that ${\mathcal{H}}$ transforms appropriately, given that up to this point ${h_{E}}$ was constructed in such a way that the metric ${G}$ is split into the product ${A}$ and ${A^{T}}$, with the outcome that only ${A}$ is entered into ${h_{E}}$. To find ${G}$ we simply now consider the product ${h_{E}h_{E}^{T}}$,

$\displaystyle h_{E}h_{E}^{T} = \begin{pmatrix} A & B(A^{T})^{-1} \\ 0 & (A^{T})^{-1} \\ \end{pmatrix} \begin{pmatrix} A^{T} & 0 \\ -A^{-1}B & A^{-1} \\ \end{pmatrix}$

$\displaystyle = \begin{pmatrix} G - BG^{-1}B & BG^{-1} \\ -G^{-1}B & G^{-1} \\ \end{pmatrix} = \mathcal{H}(E). \ (31)$

If we now suppose naturally ${E^{\prime}}$ is a transformation of ${E}$ by ${h}$, such that ${E^{\prime} = h(E) = hh_{E}(\mathbb{I})}$, we also have ${E^{\prime} = h_{E^{\prime}}(\mathbb{I})}$. Notice that this implies ${h_{E^{\prime}} = hh_{Eg}}$ up to some ambiguous and so far undefined ${O(D,D,\mathbb{R})}$ subgroup defined by ${g}$. Putting everything together, we obtain the rather beautiful result

$\displaystyle \mathcal{H}(E^{\prime}) = h_{E^{\prime}}h^{T}_{E^{\prime}} = hh_{Eg}(hh_{Eg})^{T} = hh_{E}h^{T}_{E}h^{T} = h\mathcal{H}(E)h^{T}. \ (31)$

$\Box$

Thus ends the proof of (26). A number of other useful results can be obtained and proven in the formalism, including the fact that the number operators are invariant which gives complete proof of the invariance of the full spectrum under ${O(D,D,\mathbb{R})}$.

In conclusion, and to summarise, in DFT there is an explicit restriction on the winding modes ${w_{I}}$ and the momenta ${p^{I}}$ to take only discrete values and hence their reference up to this point as quantum numbers. The reason has to do with the boundary conditions of ${n}$-dimensional toroidal space, so that in the quantum theory the symmetry group is restricted to ${O(n,n,\mathbb{Z})}$ subgroup to ${O(D,D,\mathbb{R})}$. The group ${O(n,n,\mathbb{Z})}$ is as a matter of fact the T-duality symmetry group in string theory. It is conventional to represent the transformation matrix ${h \in O(n,n,\mathbb{Z})}$ in terms of ${O(D,D,\mathbb{R})}$ such that

$\displaystyle h = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix}$

with,

$\displaystyle a = \begin{pmatrix} \tilde{a} & 0 \\ 0 & 1 \\ \end{pmatrix},$

$\displaystyle b = \begin{pmatrix} \tilde{b} & 0 \\ 0 & 0 \\ \end{pmatrix},$

$\displaystyle c = \begin{pmatrix} \tilde{c} & 0 \\ 0 & 0 \\ \end{pmatrix}$

and

$\displaystyle d = \begin{pmatrix} \tilde{d} & 0 \\ 0 & 1 \\ \end{pmatrix}. \ (32)$

Each of ${\tilde{a}, \tilde{b}, \tilde{c}, \tilde{d}}$ are ${n \times n}$ matrices. They can be arranged in terms of ${\tilde{h} \in O(n,n,\mathbb{Z})}$ as

$\displaystyle \tilde{h} = \begin{pmatrix} \tilde{a} & \tilde{b} \\ \tilde{c} & \tilde{d} \\ \end{pmatrix}. \ (33)$

Invariance under the ${O(D,D,\mathbb{Z})}$ group of transformations is generated by the following transformations. To simplify matters, let us define generally the action of an ${O(D,D)}$ element as

$\displaystyle \mathcal{O} = \begin{pmatrix} a & b \\ c & d \\ \end{pmatrix} = \mathcal{O}^{T}L\mathcal{O}. \ (34)$

Residual diffeomorphisms: If ${A \in GL(D, \mathbb{Z})}$, then one can change the basis for the compactification lattice ${\Gamma}$ by ${A \Gamma A^{T}}$. The action on the generalised metric is

$\displaystyle \mathcal{O}_{A} = \begin{pmatrix} A^{T} & 0 \\ 0 & A^{-1} \\ \end{pmatrix}, \ \ A \in GL(D, \mathbb{Z}), \ \ \det A = \pm 1. \ (35)$

B-field shifts: If we define ${\Theta}$to be an antisymmetric matrix with integer entries, one can use ${\Theta}$to shift the B-field producing no change in the path integral. For compact d-dimensions, this amounts to ${B_{IJ} \rightarrow B_{IJ} + \Omega_{IJ}}$. It follows that the ${O(D,D)}$ transformation acts on the generalised metric,

$\displaystyle \mathcal{O}_{\Omega} = \begin{pmatrix} 1 & \Omega \\ 0 & 1 \\ \end{pmatrix}, \ \ \Omega_{IJ} = - \Omega_{JI} \in \mathbb{Z}. \ (36)$

Factorised dualities: We define a factorised duality as a ${\mathbb{Z}_2}$ duality corresponding to the ${R \rightarrow \frac{1}{R}}$ transformation for a single circular direction (i.e., radial inversion). It acts on the generalised metric as follows

$\displaystyle \mathcal{O}_{T} = \begin{pmatrix} 1-e_{i} & e_{i} \\ e_i & 1-e_{i} \\ \end{pmatrix}, \ (37)$

where ${e}$ is a ${D \times D}$ matrix with 1 in the ${(i, i)}$-th entry, and zeroes elsewhere ${(e_{i})_{jk} = \delta_{ij}\delta_{ik}}$. Altogether, these three essential transformations define the T-duality group ${O(D,D,\mathbb{Z})}$, as first established in [14,15]. To calculate a T-dual geometry one simply performs the action (26) or (28) using an ${O(D,D,\mathbb{R})}$ transformation and, in general, one may view the formalism with the complete T-duality group as a canonical transformation on the phase space of a given system.

References

[1] Chris Hull and Barton Zwiebach. Double field theory.Journal of High EnergyPhysics, 2009(09):099–099, Sep 2009.

[2] Chris Hull and Barton Zwiebach. The gauge algebra of double field theory andcourant brackets.Journal of High Energy Physics, 2009(09):090–090, Sep 2009.

[3] Olaf Hohm, Chris Hull, and Barton Zwiebach. Generalized metric formulationof double field theory.JHEP, 08:008, 2010.

[4] Olaf Hohm, Chris Hull, and Barton Zwiebach. Background independent actionfor double field theory.Journal of High Energy Physics, 2010(7), Jul 2010.

[5] Joseph Polchinski.String theory. Vol. 1: An introduction to the bosonic string.Cambridge Monographs on Mathematical Physics. Cambridge University Press,12 2007.

[6] Stefan F ̈orste and Jan Louis. Duality in string theory.Nuclear Physics B -Proceedings Supplements, 61(1-2):3–22, Feb 1998.

[7] Felix Rennecke. O(d,d)-duality in string theory.Journal of High Energy Physics,2014(10), Oct 2014.

[8] Barton Zwiebach. Double Field Theory, T-Duality, and Courant Brackets.Lect.Notes Phys., 851:265–291, 2012.

[9] K.S. Narain, M.H. Sarmadi, and Edward Witten. A Note on Toroidal Compact-ification of Heterotic String Theory.Nucl. Phys. B, 279:369–379, 1987.

[10] T.H. Buscher. A Symmetry of the String Background Field Equations.Phys.Lett. B, 194:59–62, 1987.

[11] Mark Bugden. A tour of t-duality: Geometric and topological aspects of t-dualities, 2019.

[12] T.H. Buscher. Path Integral Derivation of Quantum Duality in Nonlinear SigmaModels.Phys. Lett. B, 201:466–472, 1988.

[13] Daniel C. Thompson. T-duality invariant approaches to string theory, 2010.[14] Alfred D. Shapere and Frank Wilczek. Selfdual Models with Theta Terms.Nucl.Phys. B, 320:669–695, 1989.[15] Amit Giveon, Eliezer Rabinovici, and Gabriele Veneziano. Duality in StringBackground Space.Nucl. Phys. B, 322:167–184, 1989.

[14] Alfred D. Shapere and Frank Wilczek. Selfdual Models with Theta Terms. Nucl. Phys. B, 320:669–695, 1989.

[15] Amit Giveon, Eliezer Rabinovici, and Gabriele Veneziano. Duality in String Background Space. Nucl. Phys. B, 322:167–184, 1989.

*Cover image: ‘Homology cycles on a torus’. Wikipedia, Creative Commons. *Edit for spelling, grammar, and syntax.

# Institute of Physics scholarship award and full interview

I’m proud and honoured to share that I’ve been awarded a PhD research scholarship by the Institute of Physics. An announcement by my university can also be found here.

As I’ve written about elsewhere on this blog, my PhD research focuses on M-theory and the question of string theory’s non-perturbative completion. To be a recipient of the Bell Burnell Graduate Scholarship Fund on the basis of my planned research in mathematical physics, which included having to deliver a presentation on my topic and an interview with the physics panel, is quite satisfying. Admittedly, I was a bit nervous knowing that I can be maths heavy and that this might not be recieved too well in-front of a well-distinguished panel comprised mostly of experimental physicists! But I am delighted that the wonderful physics content of my research was acknowledged.

In conjunction with the announcement of my scholarship award, I was invited to participate in a more personal interview designed for the non-physics reader. Within I answer a variety of questions, including about my current research. I also share a bit more about myself, my upbringing, and other personal stories and reflections.

Below is the complete version of the interview I gave for the Institute of Physics. There is also a shortened, edited version that can be found here.

***

1. Tell us about your work – and what drives you (We want to know about your area of physics and why you’re passionate about it. What does it mean to you? Why is it important? Imagine the reader is not a physicist).

Firstly, thank you for inviting me to answer questions.

The situation today in fundamental and high-energy physics is incredibly interesting. A lot has happened since the 1950s or so, with many great successes. Just think: essentially all observable phenomena are well described, on the one hand, by quantum field theory and the Standard Model of particle physics, and also by Einstein’s theory of general relativity on the other. We have established tremendously accurate descriptions of the very small – quantum theory – and the tremendously massive – cosmology and astrophysics. Modern physics has made some remarkable achievements, both in advancing human knowledge, and in supporting how we may apply the laws of nature to develop important technologies. Having said that, it is almost certain that these fundamental theoretical frameworks are incomplete. For example, general relativity and quantum field theory break down when we start to study situations at the centre of a black hole or close to the big bang. Many readers will likely also have heard of concepts like dark energy and other things, which also currently remain unknown.

A big question in fundamental physics, perhaps the deepest and most important, has to do with what we call quantum gravity. This represents the unification of general relativity with quantum field theory. I work in mathematical physics, and, in particular, my research is focused in string / M-theory. Today, this is the most promising and indeed leading theory of quantum gravity.

One of the great successes of string theory is how, in a single consistent mathematical framework, we have a theory that combines gravity with the quantum laws of nature. This means that at very large scales, we find gravity as Einstein described it in his general theory of relativity. But on very small scales, in which space-time is discretised, we have a theory that captures the idea of quantised units of gravitational energy. We think of these quantised units as particles that we call gravitons. In practical language, string theory describes how the curvature of space-time emerges from the existence of gravitons. Thus, we have a quantum theory of gravity.

Despite the many successes of string theory, we still face some open problems and challenges in formulating the complete theory. It is not possible, at this point, to speak of such challenges without a degree of technicality as this is a highly technical subject. What I will say is that, in keeping to practical language, one of the biggest and most important questions we face concerns what may be described as the non-perturbative completion of string theory. This is what my PhD research is focused on understanding.

To explain this, allow me to share a bit of history. As late as 1995, we had five perturbative string theories – type I, type IIA, type IIB, and the two flavours of heterotic string theory (SO(32) and E8 × E8) – and these were seen to be distinct. Much of modern physics is built using tools and approaches that deal with what we may describe here as local, approximate, perturbative descriptions of reality. And these perturbative theories of fundamental physics – the five string theories – are remarkably successful and beautiful. Just from the humble idea of the extended of object of the string, which is a generalisation of point particle theory (which one may have some familiarity with going back to undergraduate or A-level physics), we can generate some brilliant results like Einstein’s gravity. But just think of the situation in the mid-1990s: in quantum gravity, we had five theories without a way of knowing how to select the correct one. This is quite a messy situation! But one of the amazing qualities of string theory is that it comes with a wealth of symmetries.  And it was following a very important proposal by Edward Witten that the five perturbative string theories were found to be deeply related by a number of non-trivial dualities, or, for the sake of practicality, what we may describe here as symmetry relations. So rather than being distinct, the five string theories were found to represent different limits of an overarching theory.

This is quite an evocative idea, namely that there is some deeper underlying structure to quantum gravity, from which things like space-time may even emerge! This overarching theory is known as M-theory, and the non-perturbative completion of string theory to M-theory is specifically what my PhD research seeks to investigate.  M-theory is truly remarkable for several reasons. Although the five perturbative string theories exist in ten space-time dimensions, M-theory exists in 11 space-time dimensions. So it is a higher dimensional theory. Given that one can think of it as the parent theory to string theory – i.e., as a single mathematical structure that unifies the zoo of perturbative string theories, with its low-energy effective action being what we call supergravity – it represents a unique theory of quantum gravity. More than that, M-theory is, in every sense, the leading candidate for a Theory of Everything (ToE). It is also the mathematical theory that makes sense of the dynamical physical objects we call branes (objects that, again, emerge in higher dimensions as a generalisation of point particle theory), which propagate through space-time according to the rules of quantum mechanics.

However, although there presently exist many hints and plausibility arguments in support of the proposed existence of M-theory, a systematic formulation of the non-perturbative theory remains an open problem. There are many reasons why a fundamental and rigorous formulation of M-theory is important. Not only do we expect to find new physics and new mathematics – in fact, it has been described as a great unexplored ocean in this regard – it will also help provide a final say on things like fundamental string cosmology.

As you may be able tell, it is an area of research I find to be incredibly exciting, not least because it is potentially so fundamental. In recent years a number of especially exciting developments have begun to crystalise in how we may attack the question of a rigorous formulation of M-theory, including the study of what we call higher structures. The presence of higher structures – or what we may summarise as higher homotopy theory – in fundamental physics is in and of itself a super interesting fact. And, as I mentioned at the outset, a lot of what we talk about and study also has to do with combining spacetime geometry and quantum field theory defined as generalised geometry. As I have alluded, some of the implications are grand, including the extension of spacetime itself, with a further consequence being the possibility that geometry and gravity – indeed, space and time – are emergent concepts.

As I work in mathematical physics and find great interest in both foundational maths and fundamental physics, I enjoy this area of research because there is a wonderful interplay between the two. My PhD research is positioned at this interface.

2. What drew you to this area of physics? (Tell us a little about your physics journey and how you ended up focusing on this area. When did you first become excited about physics? What was it that excited you? What led you to where you are now?).

By most accounts within the formal parameters and constraints of mainstream education, my physics journey up to this point has been described as highly unconventional. This is certainly largely owed to the fact that I have Asperger’s, and as a person with autistic spectrum disorder (ASD) I experience a lot of difficulties and unique challenges. Formal education environments are certainly something that I did not cope with well in the past, and something I continue to struggle participating in today.

Due to the challenges that come with my Asperger’s and also the difficult conditions I experienced growing up, I was often in and out school for many years. To be completely honest, there were a lot of times when I tried to go to school or participate at a university, and it was just never sustainable for me. The classrooms or lecture halls were too overwhelming; the curriculum was too slow or uninteresting; time pressures were too difficult to manage; the lectures or lessons were not fundamental enough or too restrictive for my interest. It was often, I suppose, the case that I would rather be given the textbook and left on my own to work through and derive everything. I am much more comfortable with that independence. I have also grown used to being in my own space, with all of my books, with my maths and physics, working and studying on the things I find meaningful. So, I think there are a lot of reasons, from my perspective, as to why formal education has always been in some ways inharmonious or discordant.

In truth, without the right support, I probably wouldn’t have successfully joined the University of Nottingham and still be working at the university today. It was a massive personal step for me, one that we worked up to over a couple of years, and once I arrived at university it was incredibly challenging on so many levels. It required a lot of support, patience, and understanding. But I was also incredibly fortunate to have landed at such a fantastic school, with great support staff for people like me with ASD. The same can’t be said in all cases, and there are a lot of brilliant people out there with ASD that don’t receive the right support, or who don’t have the opportunity or foundation to pursue a formal university education for social, economic, or cultural reasons. I think I am decent at maths and physics, capable enough to teach myself string theory for example, and I was super close to not being a university student because, in a multitude of ways, I generally don’t ‘fit’ in the way that is expected.

Needless to say, and to return to the question, so much of my life so far has been outside of formal education. As a result, I have self-studied almost everything I know. When I was younger, I taught myself calculus and eventually expanded my self-learning to higher mathematics. The same with much of physics, from classical mechanics through to quantum field theory – I had already taught myself a lot of this prior to entering university as a first-year undergraduate. This is why my physics background may be described as unconventional. But to be honest, from my perspective, teaching myself maths and physics without relying on a teacher or sitting a class, seems like quite a normal and reasonable thing to do. I work at my own pace and ask my own questions. I can explore and enjoy maths and physics in my own way, giving myself as much time as I deem necessary to explore a topic fundamentally. You know, I think in a lot of ways maths and physics have become some of the only things in the world that truly make sense to me.

When I joined the University of Nottingham, I had been developing a lot of interest in general relativity, quantum field theory, and quantum gravity. I read about a number of different theories of quantum gravity, many of which I found to suffer mathematical inconsistency among other things. This is how I found my way to string theory, also with the encouragement and support of my professor Tony Padilla, who is now also my supervisor.

During the first weeks of my undergraduate, I took my string studies very seriously, and around this time my interest in non-perturbative theory began to crystalise. In that first year, the School of Physics obtained permission from the university to accelerate me to a Master of Research degree. My thesis involved the study of double sigma models in string theory. I am now looking forward to studying for my PhD within the Particle Theory Group at the University of Nottingham.

3. What does winning the scholarship mean to you – and what difference will it make? (How do you feel about winning? How do you feel about taking on a PhD? Would you be able to take on a PhD without it? In what ways will it help/make a difference?)

I’m both proud and honoured to have been awarded the scholarship for the duration of my PhD. I’m also incredibly proud to have affiliation with the Institute of Physics and to take on an ambassadorial role, something I take very seriously.

Coming from where I do, outside of formal education, I used to sometimes sneak into university lecture halls and, well, there were times when I would think to myself that perhaps I could do a PhD in physics or be a good researcher in a formal academic environment. I don’t always think about it so explicitly these days, but it truly means everything to me to be doing my PhD in mathematical physics. One could speak to the depth of the notion of existential meaning here, in terms of one’s projects and interests in life. But it is more than that for me. I would be working on my maths and physics no matter what, because it is what I know and it is what interests me; but now I have the opportunity to do so within a formal environment without financial concern, social judgement, or other pressures and worries.

To formally pursue a PhD at such a wonderful university and as part of a very cool research group, to get to continue working with Tony Padilla and to talk strings every day, and really to be able to study my maths and physics in an encouraging environment, is kind of life-changing. I am very grateful and I look forward to the future, where, hopefully, after a good PhD I can continue to contribute quality work and carve out a formal research career, maybe even teach strings one day. The scholarship has helped provide a good foundation in pursuing these ends.

4. What challenges have you faced to get to this point? (Any barriers/challenges that you have had to overcome that you feel comfortable talking about. Has anyone discouraged you? Have your personal circumstances made it harder? Have societal barriers/conditions had an impact? How have you overcome these challenges?).

In addition to my lifelong struggle with my Asperger’s, which, clinically, has been diagnosed as severe, I also had a very difficult childhood and experienced a lot of bad stuff growing up. I grew up in an environment that was incredibly dysfunctional, hostile, and in many moments scary. There was a lot of abuse and neglect, periods in and out poverty, with no heat in the winter – just not very nice things for quite a long time. By the time I was 14 or 15, without the right support, I could barely function, let alone cope. And in these circumstances, the pursuit of one’s interests and intellectual passions were rarely permitted. Instead, there were many times in life that were largely about survival and trying to escape. These were times that were generally quite debilitating. For years I also struggled with my mental health. I still do, although there is always an aspect of that owed to my ASD.

I can talk about it all now because I’ve had a lot of time and support in working through the traumatic events and the terrible stuff I witnessed and experienced. Growing up, I moved to different families, which offered great reprieve, and there have been so many extraordinary people that brought me into their homes, sometimes for years, and supported me as I slowly found my feet in life. These are individuals and families who intervened to fill the gap and take on abandoned parental responsibilities. They did so much for me, helping enable a positive foundation to grow and develop in life, to self-actualise, and to be able to pursue my interests. So, despite having to face a lot of challenges in life, some of which are quite extreme, I am also very thankful today. My life could have turned out differently on many occasions. And partly why I share that here is because, well, maybe someone will read this and take something from it. There are a lot of people that have ASD or that grow up in bad conditions and are never given the proper support they need as human beings – a positive and healthy foundation to life from which one can then begin to move. It’s Maslow’s hierarchy of needs, which, while problematic in places, serves as a reminder that the meaning of society is to help foster the conditions in which all citizens can realise their full potential. As a society, I think from a fundamental humanistic perspective we ought to never stop demanding socio-economic, cultural conditions that give as broad a scope of people as broad of a horizon of opportunity as possible.

It is also the case for me that in growing up in incredibly difficult conditions, I have come to recognise that I owe a lot to my Asperger’s and my sense of personality. I think it enabled me in many ways to survive the incomprehensible by maintaining a presence of mind. I eventually learned to cope with and understand life through my studies. Not only did my books come to provide a welcomed and flourishing space, they offered explanation and detailed insight into all that I had observed: psychologically, sociologically, economically, and so on.  One way that it is described is that, for some people, they learn to manage their present experience by thinking of their past experiences as reference points; for me, this is how I use books. So, aside from my beloved physics and maths, I have studied everything with great interest: from the whole of psychology and human behaviour to our best current theories on social structures and relations, history, anthropology, economics, philosophy, and in many ways across the social and natural sciences. I have never been dissuaded by the challenges I have faced. As a young adult, outside of formal education, I spent my days alone at public and university libraries, or sitting at the back of university lecture halls that I had snuck into.

I’ll share a story that is quite personal to me. As a child, when times were especially difficult, I remember sneaking away to the far and unvisited corner of a local park. Lying there, on the opposite side of the hill that faced away from everything and everyone, I would stare at the clouds and contemplate existence. Particles, birds, planets, and stars. Why do clouds exist and why are they shaped the way they are? Why do they move as though they are moving through fluid, floating without support? This was a site of one of my first philosophical and scientific reflections. And, really, despite my many difficulties in formal education environments, some of which are ongoing, science and academics has played an incredibly important role in my life. It has become a natural extension of myself as a person with Asperger’s who is driven to understand in accordance with my life spent with my books. I learn about human relations and behaviour through their empirical study just as I learn about quantum fields through my physics. I think with that inquisitiveness, one of my earliest memories of being excited about physics was when I was no more than 6 or 7 years old. I saw a photograph of a professor standing in front of a chalk board, and written on the board was sigma notation. Looking back, it was likely generality relativity that was being taught, but the mystery of the language, the power of physics that we may describe the nature of reality, it always stuck with me.

As I said before my ASD also brings many of its own unique struggles and daily challenges. I require a lot of support. I can compute scattering amplitudes but struggle to manage a calendar or money. I sit here writing because I am fortunate to have received support with my Asperger’s, to have a stable home environment, and to have a loving and caring partner, Beth. There is a lot of well-defined research which, last I checked, showed that about 80% of people with ASD struggle to hold down a full-time job or be independent, and it was estimated that suicide rates are 10 times more than average. Not all autistic people can work, and, for sure, I know that struggle to maintain my own independence. There were times when I was ashamed or pressured because I couldn’t maintain a job or understand how to pay rent, because I couldn’t maintain independence, understand how to manage my bills, and organise my life. Prior to intervention, I was kind of just left to work it out. Now, of course, that is my experience – everyone will have their own. But the point is there are so many simplistic narratives about autistic people and even just about poverty in general. In education, I was once deemed a troublemaker! Another lost soul and statistic.

I think we need to do more as a society to understand the complexity of individual situations, and we absolutely need to do more to combat ongoing prejudices and to support people with ASD.

5. What would you say to those who have also faced barriers to following their dreams to pursue physics at university and beyond? (Any advice/encouragement would be great).

I don’t want to be naïve and just say “go for it”. The reality is that different people have different challenges with different barriers. If a person loves physics and it is their main passion in life, but at the same time facing homelessness or a precarious existence, it is not just a matter of saying “go for it” and “you can do anything”. Poverty and class can be barriers. Racism, too, can be a significant barrier. Disability, mental health, physical health – people face all sorts of different challenges.

What I am trying to say is that if someone dreams to study physics, that is amazing because physics can offer a person so much in life. They should do so regardless of age, gender, race, disability, class, and so on. Absolutely. But saying that is not enough. People also need support, and there is absolutely nothing wrong with that. It is up to our institutions – university, government, etc – and it is up to us as a physics community to identify where support may be lacking. If you are a person wanting to pursue your passion for physics but struggling with personal circumstances or barriers to doing so, don’t be ashamed to seek support. Universities have advice and support services who can often help you to find ways forward.

6. Why do you think diversity in physics is so important?

Unfortunately, I am not familiar with the data and the mathematics, so I can only present my personal thoughts which I don’t think have much or any value. What I can perhaps share, as a physicist who also has interests in biology, especially mathematical biology, and who enjoys thinking about life, is a broader or perhaps more fundamental perspective about the concept of diversity that I find inspiring.

Let me put it this way: when we speak of diversity, what are we actually (in a fundamental sense) speaking of? I find, for me at least, that discussion about diversity can sometimes result in confusion. The word is used in many contexts with many meanings. In political and sociological language, the structure of the language often implies an antonym of homogeneous groups, or, sometimes, as an antonym of a specific individual as a group: a white male with certain physical attributes, class distinction, and heterosexual orientation. From the dictionary definition of diversity, on the other hand, we find that it means difference or variance. I think science has an important perspective to offer in this precise sense.

From a genetic-centric view, and certainly also in other parts of biology, we have a concept called normal human variety. To that, I am not just speaking here of race and racial diversity. I am talking about differences in people of all kinds, including what today is called neurodiversity, which is meant to describe people like me with autism. My point is that, prior to the development of genome sequencing, people would use phenotypic characteristics (skin colour, bone structure, head size, etc.) to assess things like racial differences and even to attempt to define the concept of race, smartness, and so on. Indeed, still today cognitive bias and other prejudices are based on phenotypic characteristics of human beings and, at times, quite archaic ways of thinking. We see it every day.

I won’t get into here the debates between realism, anti-realism, and constructivists, although the limited attempts to argue the former in this context are like Swiss cheese while the latter can also be too one-dimensional. In any case, what I am driving at is how, in the past (unfortunately these attitudes still seem to manifest in the minority) what was thought of as different species or races among humans and other biological organisms was determined by phenotypic characteristics and as a result, phylogenetic trees and different groupings of humans and other organisms were often incorrectly constructed. But with technological advancements and our ability to sequence genomes quicker, more efficiently and cheaply, we have been able to compile larger genome databases with some powerful algorithms that can compare genomes more accurately. Thus, in biology, phylogenetic trees, the relationships between species, and divergences within species, can be more accurately assessed and drawn. What we find is that a lot of things that may have been thought to have been be related are not and vice versa. When comparing genomes of people from different parts of the world, we have found that although there are many minor variations between the genomes of humans as a whole, there is not enough difference to define different races. That is to say, there is no evidence for taxonomic delineation according to any definition of species or sub-species within humans, such that phylogenies inferred from mitochondrial DNA do not show any clear distinctions.

This is what I find inspiring and what I think about when thinking of diversity. The story of human beings, of our evolution, and of the universality we all share on this rock in some isolated region of the universe – it is quite beautiful. The Homo sapiens lineage has relatively recent origin when compared to other evolutionary timescales, like the planet Earth we call home, and our cosmic insignificance couldn’t be more pronounced. The universality to this reality is one that I think supports a critical humanistic vision, a perspective that, from an objective standpoint, also celebrates the incredible genetic diversity among local populations. It gives us fundamental perspective about the arbitrary nature of geographic boarders, racist attitudes, tribalism, and the many needless wars and suffering that have been waged and inflicted throughout human history on the basis of such arbitrary identifications.

In other words, while there is this incredible universality to human beings, and the similarities among people is something to be celebrated, there is so much to also celebrate about our differences – what we can call the particular as it emerges from the general. So, for example, people with ASD and the different perspectives we may offer as individuals, which, currently, is described under the heading of neurodiversity. Or, for example, the different perspective we may all offer, given our geographies and our own psychological histories. Or the diversity in our skin colours and other phenotypic differences that have come about rapidly in our evolutionary history. One of the great things about humanity is owed to the fact that as human beings we come in different shapes and sizes, we have different facial characteristics, varying eye colour, different finger prints, and different skin colours. For me, it gives perspective on how irrational our social history has also been – the needless suffering that people have faced and continue to face as a result of grim prejudice. Recently, for example, the daily prejudice black people continue face has been a renewed subject of discussion in the media. I think also of people with autism or other disabilities.

When I think of modern science, like in my area of fundamental physics, I think of the conferences I’ve attended, and the wonderful diversity of perspectives that combine. Modern science can be a fantastic representative of a more rational world, where people from many different geographic regions and backgrounds work together to solve difficult problems and to contribute to the scientific body of knowledge.

7. The IOP is committed to encouraging participation in physics among people after the age of 16 – especially those from under-represented backgrounds. How do you think we can better support others from under-represented groups who are considering studying physics? Is there anything you want to do as an ambassador?

From the little I have shared about myself, it is obvious that I think education is important. Life-long learning, for me, is a process whose end is defined only by one’s mortality. It doesn’t matter if you’re 16, 25, 55, or 80 years of age, one can always decide to take up an interest in physics or whatever else. In fact, I would encourage anyone interested in studying science to take up physics, even if they don’t plan to pursue it as a career; because regardless of what area you find interest in, physics can offer an important perspective in life. But to anyone from an under-represented background considering studying physics, or who has a passion for studying physics, I would say keep trying, and ask for support. If you are facing challenges and barriers in life, think about who might be best placed to support you through these and contact them to ask for help. This might be a teacher at school, your local council or social services department, your GP or another healthcare professional, the Citizen’s Advice Bureau, charities and support groups set up for people like you, family or friends, or the university you would like to attend. There is support out there, and it can take time to find the right support and to work through challenges, so being patient with yourself and others can help. There will be better days and harder days, so take one day at a time. Try to learn from setbacks and if things don’t quite go to plan, try to rest, regroup, and get back up the next day and try again. This is after all what a scientist often has to do!

As someone from an underrepresented background, it can sometimes be hard to feel confident that you could go to university, or be a scientist, if you don’t see or hear about people who are similar to you doing the same thing successfully. Sometimes it can feel isolating, wondering whether others have experienced the challenges that you have in pursuing their interests and goals in science, and if so, how they might have overcome these, or even whether it is possible to overcome such challenges at all. Sometimes it can be difficult to find easy answers to questions about whether a particular environment (e.g. a university or workplace) will be welcoming and accessible to someone like you. In this respect, I think organisations like IOP can help by working with universities to make them more welcoming, accessible and supportive environments for people from underrepresented backgrounds. IOP can also work to increase the visibility of people from underrepresented backgrounds who are studying and working in Physics. This could include such individuals sharing both their successes (to show that success is possible!) and the challenges they have faced, including how they have worked through these challenges. These real-life examples can be much more helpful to people who may be facing challenges and barriers of their own in pursuing physics at university or as a career, than a rose-tinted success story that leaves out the challenges and bumps along the way.

As an ambassador this is something that I would like to contribute to, and I hope that by sharing my story, perhaps it might encourage others who have faced similar challenges to keep trying and working towards their goals.

8. What would you say to someone thinking about applying to the fund? (Would you encourage them to apply? If so, why? What advice would you offer?)

I would encourage anyone to apply. Unfortunately, I am not one to give advice about applications and things, because I tend to struggle a lot with these procedures. What I can say is make sure your application meets all of the criteria, and, if your application is not successful, don’t be discouraged. Take it as a learning experience – ask for advice about any areas in which you can improve your application for next time, and try again either with another funder and/or with the Bell Burnell fund at the next application round.

9. What message do you have for Professor Dame Jocelyn Bell Burnell – and other supporters who have made this funding possible?

I suppose I would just like to thank Prof. Dame Burnell and the others involved in the scholarship. It means a huge amount to me to be able to pursue my PhD, and I hope that my research in the next few years helps to repay the support and belief in me, and that, moving forward, I can be a good ambassador and help contribute a meaningful voice in the British scientific community.

# (n-1)-thoughts, n=6: Asperger’s and writing, Lie 2-algebroids, linguistics, and summer reading

Asperger’s, studying, and writing

As a person with autistic spectrum disorder (ASD), I’ve learned that writing plays an important and meaningful role in my life. I write a lot. By ‘a lot’ I mean to define it as a daily activity. Sometimes I will spend my entire morning and afternoon writing. Other times I will be up through night because my urge to write about something has kept me from sleeping. Most often I write about maths and physics, keeping track of my thoughts and ideas, planning essays, or writing about my work. But I also make it a principle of life to read widely. Indeed, I enjoy reading – studying – as much as I enjoy writing, and this often motivates me to write about many other topics. The two go hand-in-hand.

One reason writing has become important for me has to do with how, as a person with Asperger’s, social communication (by which I mean verbal, but of course also entails other forms like sign) is a source of struggle. I don’t often write about my Asperger’s, mainly because I find it a difficult process. It is hard to organise my thoughts about it, and I am never sure what is appropriate to share. In formal language, my Asperger’s is described clinically as high-functioning but severe. A big part of my life is about learning new strategies to cope. Some of the strategies may even be familiar to others without ASD, like learning to talk in front of others in ways that minimise anxiety and stress, or without completely freaking out (what we call in my language ‘red card’ moments). Or, to give another example, we work on finding strategies for the times I am at the office, so my brain doesn’t go into hyperdrive and so I can focus on discussion and also things like writing on the whiteboard. Another thing about my Asperger’s is that it can be hard adjusting to new people and it can be very stressful acclimatising to new environments. I’ve been working with Tony, now my PhD supervisor, for two years or more and I have only recently started to acclimatise and find our engagement a bit easier to manage. Indeed, in the same time I’ve been at the University of Nottingham, it remains an ongoing process adjusting to this new environment and to being on campus. Like with my close friend, Arnold, who, even after seeing him everyday for years, it was often still a challenge for me to engage with him socially and to visit his house. There is a lot to my experience, not just the social aspect of experience, that can be difficult and demanding as well as overwhelming. I also struggle a lot with anxiety and other things, in addition to extreme sensory sensitivity. So I require a lot of time and space for stillness in my own environment, with my own structure and routine – usually in my own space with my books and other comforts – because sensory overload can easily overwhelm.

In my one attempt to write about living with ASD I expressed how it can be difficult to understand cultural meanings as another example. This is a way of describing orientation to many of the ‘codes’ or behavioural routines that normalise in society. For example, I remember when I was a teenager being pressured a lot to establish the same routine economic patterns as others, or blamed because I didn’t have a job or couldn’t maintain one. I find it difficult to compute things like why daily life is the way it is for most individuals or why people behave as they do. What motivates daily behaviour and routine? How do people make decisions or direct the future course of their lives? Science, textbooks, and studying fervently became, at least in part, a survival-based mechanism. There is no instruction manual about humans; or about why history has taken the path it has in the course of human and societal development; or why many arbitrary social customs have come to be the way they are; or why my father acted and behaved the way he did; among many other things that come to be a feature of life. Studying became my way to cope and to understand, and writing became an extension of that. For instance, I studied every aspect of psychology to help better understand my experiences growing up or why, at least in part, people act violently or use violent language. I’ve read and written across most of philosophy; the same for economics, certainly enough to understand the fundamental debates; and also a lot of sociology. At one point I read a lot of political history, with history one of my favourite subjects. While all of this has a purpose in aiding my attempt to try and understand the world I am a part of, it also supports my passion for studying, my focused interests, and provides the stimulation I need.

On top of it all, living with Asperger’s can be quite exhausting. Indeed, one thing that is common for people diagnosed with autism is the experience of a certain type of fatigue, or what, in my house, we call ‘crashes’. These are a daily experience, where I need to put on my headphones and sit in my own (still and comfortable) space for however long it takes to calm my brain. For these reasons, day to day life is often spent in controlled environments, because it helps ease the red card moments, reducing stress and anxiety, and thus also helps combat the amount of crashes.

I think it all adds up in some sort of complicated sum as to why I find writing an important outlet. But even writing has its own difficulties. I remember my teacher, when I was 6 or 7 years old, say that my brain runs faster than my pen. I think this is true. I think of the sluggish pen effect as the difficulty in converting the internal representations of whatever concept or idea into concise written form at the pace I wish to feed ink to paper. So even though I write everyday and have been practising for many years, the usual result of my writing is typically permeated with errors. The process can be disabling and discouraging, to be honest, with many moments of frustration and failure; but, I’ve also learned that when I battle through and produce something I am happy with, the moment of victory is worth so much.

For many personal reasons, I’ve been regularly encouraged to write more and share more on my blog, and this is something I’ve been working toward. I think that, over a couple of years, I’ve grown more and more comfortable sharing essays and technical notes, although perhaps that is especially true in recent months; but I am also practising writing in other ways, like more personally and less formally. Technical writing is much easier than informal discussion, although a definition of the latter still seems somewhat unclear.

So as one step, this is a new blog post format that I may start experimenting with over the coming weeks, in addition to my usual research entries, essays, and technical notes. Although I prefer to keep my blog focused on my maths and physics research, which of course is mainly string related, allowing from time to time the inclusion of the odd bit of academic diversion, I think this (weekly or fortnightly) format of (n-1)-thoughts may be a fun space that allows me to practice writing in different ways, to share disconnected thoughts or random interests, outside of the formal essay or technical structure.

Generalised geometry, higher structures, and some John Baez papers

Another gem by, Urs! In a recent post on higher structures and M-theory, I made a comment recommending that people read Urs Schreiber’s many notes over the years. In my own research, I’ve found them to be invaluable. The most recent example relates, in some ways, to what I also mentioned in that post about how we may motivate the study of higher structures in fundamental physics: namely, how the Kalb-Ramond 2-form can be seen as an example of a higher structure as it is generalised from the gauge potential 1-form. I won’t go into details here, but the other day I was thinking about such generalisations, and I was thinking about Hamiltonian mechanics in the process. As I’ve mentioned before, if I were to teach string theory one day I would take this approach, emphasising at the outset the important generalisation from point particle theory to the extended object of the string.

Thinking of higher structures, I knew there were many connections here, and I was wanting to fill out my notes, for instance from how in generalised geometry the algebraic structure on $TX \otimes T*X$ is a Courant Lie 2-algebroid. Those who study DFT will likely be quite familiar with Courant algebroids, and, certainly from a higher structure perspective this line of study is interesting. I also knew there was an original paper, which I had seen in passing, talking about this and the relation to symplectic manifolds, but I couldn’t find it. Then, bam! As Schreiber notes in a forum reply, ‘Courant Lie 2-algebroids (standard or non-standard) play a role in various guises in 2-dimensional QFT, thanks to the fact that they are in a precise sense the next higher analogue of symplectic manifolds and thus the direct generalization of Hamiltonian mechanics from point particles to strings’.

The part ‘from point particles to strings’ was hyperlinked to an important paper, the very paper I was looking for! The paper is Categorified Symplectic Geometry and the Classical String by John C. Baez, Alexander E. Hoffnung, Christopher L. Rogers. I look forward to working through this.

I also want to highlight several other papers from around the same time by Baez, including one co-authored with Schreiber, that I think are also foundational to the programme:

Categorification co-authored with James Dolan;

Higher-Dimensional Algebra VI: Lie 2-Algebras co-authored with Alissa S. Crans;

Lectures on n-Categories and Cohomology co-authored with Michael Shulman;

and, finally, Higher Gauge Theory co-authored with Urs Schreiber.

My summer holiday is in June this year, as I have a conference in mid-July and then I am scheduled to return back to university 1 August. I think Beth and I are going to spend a week in a North Norfolk, one of our favourite places, which has also sort of become a home for both of us. In anticipation of my break, I’ve started putting together my summer reading list, as I do every year. To be honest, there are so many good books right now, it is difficult to choose.

Although my list isn’t complete, one book that I’m already looking forward to is Jennifer Ackerman’s ‘The Genius of Birds‘. I had this book on my Christmas break reading list but, unfortunately, I didn’t have enough time to get to it.

I recently purchased ‘Explaining Humans: What Science Can Teach Us About Life, Love and Relationships’ by Camilla Pang, and I think I will add this to my list. Camilla has a PhD in biochemistry and, as she also has ASD, my interest in this book is more so about her personal journey coming to grips with the complex world social around her through the lens of science. It sounds, on quick glance, that we’ve come to cope with the world in similar ways and share an interest in understanding human behaviour and development. Having said that, I think there is a bit of a risk that people might read this book and conflate it with some sort of autistic worldview, which is completely incorrect, or, equally incorrect, as a scientific view of human behaviour. Contrary to some reviews, I wouldn’t read Pang’s book looking for a strictly scientific view (else one will be disappointed). I could be wrong, but I think ‘Explaining Humans’ may have potentially been mispromoted, hence some of the confused feedback. I approach this book as I would when reading someone’s memoirs, like ‘Diary of a Young Naturalist‘ by Dara McAnulty, ‘Lab girl‘ by Hope Jahren, or ‘Letters to a Young Scientist‘ by Edward O. Wilson. With topics including the challenges of relationships, learning from mistakes, and navigating the human social world by finding tools in things like game theory and machine learning, my interest is in the fact that this is another author with autism and, for myself, I similarly use textbooks and my studies to understand and manage my experience the world. Even on a purely phenomenological level, it will be interesting.

Another book that I may add is of a completely different tone: namely, Saul David’s ‘Crucible of Hell’. I’ve been enjoying reading about WWII again, and, as noted in this post on Dan Carlin’s podcast series on the events in the Asiatic-Pacific theatre, the battle of Okinawa (and others) I haven’t read much about. A few more books I have been thinking about: Douglas R. Hofstadter’s ‘Gödel, Escher, Bach: an Eternal Golden Braid‘, ‘The Deeper Genome‘ by John Parrington, ‘King of Infinite Space: Donald Coxeter, the Man Who Saved Geometry‘ by Siobhan Roberts, ‘Decoding Schopenhauer’s Metaphysics’ by Bernardo Kastrup, ‘Quantum Computing Since Democritus‘ by Scott Aaronson, Jared Diamond’s ‘Guns, Germs, and Steel: The Fates of Human Society‘, and Daniel Kahneman’s latest ‘Noise: A Flaw in Human Judgement‘. Tough decisions.

Linguistics

I’ve been short on time this week finishing some calculations and working on a paper, prior to receiving my second Covid jab. But the other afternoon I thoroughly enjoyed this article. It’s on the Galilean challenge and its reformulation, wherein discussion unfolds on why there is an emerging distinction between the internalised system of knowledge and the processes that access it.

As alluded a moment ago, a general theory of development has interested me for a long time. For my book published by Springer Nature, a lot of the study and references were originally motivated by this interest. When I last did an extensive read on the topic, there was a lot of progress in developmental models – biology, bio- and neuro-linguistics, child psychology, and so on. The summer when I was writing my book, I had already compiled all of my research and I was running short on time in terms of the writing process (I wrote the book in the span of two weeks). Around the time of my research, if I recall there was discussion in biolinguistics regarding the hypothesis of ‘[t]he fibre tract [as one reason] for the difference in language ability in adults compared to pre-linguistic infants’. I remember noting that interesting ideas were developing, and this is a nice article on that front. What is particularly fascinating, I would say, is how language design appears to maximise computation efficiency, but ‘disregards communicative efficiency‘ [italics mine].

This certainly runs directly counter to common belief, as mentioned in the article, namely the established view that communication is a basic function of language. For a long time, as I understand it, there was belief that there was an experiential component to early language formation; but what current research suggests is that, an experiential component is not fundamental at all. Of course an experiential component plays a role, in some capacity, when it comes to externalisation processes, such as in development of variances in regional accent here in England as an example. I mean, the subject is mediated (to whatever degree) by his/her sociohistorical-cultural circumstances, but, unless I am misunderstanding (I need to read through the research more deeply) language itself is not some purely social construct.

Regarding reference to the evolutionary record, I wonder how the developing view in the article relates to ongoing research concerning, for example, certain species of birds, their migratory paths, and the question of inherited or genetic knowledge. It’s an absolutely fascinating area of study, something I’ve been reading about with my interests in mathematical biology, and of course there is very apt analogy here also with broader developments in microbiology.

One last thing of note from reading the article, as I have written quite a bit about the enlightenment philosophes and the start of modern science, it is notable how they sought to ask the question of language. Descartes’ fundamental enquiry into language – the Cartesian question – remains interesting to this day, and I was delighted to see it referenced at the outset. I recommend reading Descartes’ meditations plus other contributions to the enlightenment philosophes – Kant, Spinoza, Hume, to name a few. There is so much here that remains relevant to our modern history and to the development of the contemporary social world. For a few years I’ve been writing a series of essays on Hegel’s science of logic and his epistemology, which is notably relevant today in my area of work in fundamental maths/physics.

Mental health awareness week

Finally, it’s mental health awareness week in the UK. Often these sort of campaigns can be incredibly superficial, failing to look at root causes or ask fundamental questions about well-being and support, but they don’t have to be. Mental health awareness is something that I’ve always taken seriously, not least because I have experienced many challenges with my own mental health throughout my life. The last time I did research and wrote on the subject, suicide statistics in many leading Western countries were significant. I know, too, that for people with autism, like myself, mental health can present a significant challenge in addition to the other challenges one may face. People with autism are much more likely to die by suicide than the general population, as many cause-specific analyses of mortality for people with autistic spectrum disorder (ASD) indicate. Sometimes these facts are overlooked when we talk about mental health as a society, and often I find it important to highlight. But mental health doesn’t discriminate, it affects all people from all backgrounds, and weeks like this one are a good time to help foster discussion, combat stigma, and to think about mental health in all of its facets.

*Image: ‘Streams of Paint‘ by markchadwickart (CC BY-NC-ND 2.0).