Periodic Reporting for period 1 - HSPLS (Highly symmetric partial linear spaces)
Reporting period: 2017-10-02 to 2019-10-01
My research is focused on objects called partial linear spaces (PLS). A PLS consists of a collection of points and a collection of lines, where each line can be thought of as a collection of points for which two conditions hold: each pair of points lies in at most one line, and each line contains at least two points. A network or graph is a PLS where every line contains exactly two points. For example, we get a graph by taking the points to be the cities in a country and connecting two cities by a line when there is a train service between them. Another example of a graph is the square, which has four points (the corners) and four lines (the edges).
My programme of research concerns PLS for which local symmetries always arise from global ones. Mathematically, a graph is homogeneous if it has this property: whenever two subgraphs (i.e. sections of the graph) are isomorphic (i.e. look the same), there is a motion taking the points of one part to the other. The graphs that are homogeneous are extremely rare and have all been identified, but what if we only care about the subgraphs with some specified structure, say those appearing in a collection X? We call this symmetry property X-homogeneity. As we vary the possibilities for X, can we still enumerate the X-homogeneous graphs? And can we also do this for all PLS, not just graphs?
I have two long-term research goals to answer these questions. The first is to understand C-homogeneous PLS where C is the collection of connected PLS (i.e. for any two points, there is a chain of lines connecting them). This leads to two research objectives. Objective 1 is to enumerate the C-homogeneous PLS. Objective 2 is to prove my conjecture that every C5-homogeneous graph containing squares but not triangles is in fact C-homogeneous, where C5 is the collection of connected graphs with at most 5 points.
My second long-term goal is to understand groups with small rank. The rank of the group H of a PLS is the number of types you get when you sort all pairs of points into collections of things that can be morphed into one another by H; these types are called orbits. For example, if the collection X contains the 3 graphs with at most 2 points, then the group of any X-homogeneous graph has rank 3, with these 3 orbits: pairs of points that are the same, pairs of points on a line, and pairs of points not on a line. The rank 3 groups are well understood, but groups of rank 4 or 5 are not. This leads to two research objectives. Objective 3 is to classify groups with rank at most 5. Objective 4 is to use this classification to investigate PLS with rank 4 groups.
Through this research, we now have a much better understanding of the symmetries of X-homogeneous PLS. I successfully proved my conjecture for Objective 2, and I am on track to complete my classification for Objective 1; surprisingly, my research indicates that there are very few families of C-homogeneous PLS. This shows that taking X to consist of connected structures is quite powerful. In contrast, for Objectives 3 and 4, I have discovered many new structures, showing that low rank is a fruitful avenue of study. For Objective 3, I am on track to complete my classification. Objective 4 turned out to be very challenging, so I completed a classification of the PLS with rank 3 groups (up to certain exceptions), an important first step towards understanding those with rank 4.
For Objective 2, I proved my conjecture by first proving that in a C5-homogeneous graph G containing squares but not triangles, the number of common neighbours of points at distance 2 in G is very restricted. With this technical result, I could then use pre-existing theory to deduce that G is C-homogeneous and therefore known.
For Objective 3, I applied some deep theory that represents groups as collections of matrices, enabling me to study these groups using linear algebra, a very powerful mathematical tool. Working in collaboration with other mathematicians, we have made significant progress in using this theory to list the groups with rank at most 5. Moreover, groups with small rank have big orbits when you fix a point, and we have made some contributions to enumerating the groups where these orbits are regular, which means they are as large as possible.
For Objective 4, I used similar theory to Objective 3 to study the PLS whose groups have rank 3, focussing on those that are ""primitive"", as these can be thought of as the building blocks of all groups. Working with my collaborators, we were able to completely list these structures, except for some cases where the groups are quite small (for these, we suspect that there are too many examples for a classification to be possible).
All of my results will be published in high-quality research journals and made available on the open-access repository arXiv, where anyone can view them. To communicate these results, I attended 8 international conferences and workshops, and gave 5 seminar talks. I explained my research and the motivations behind it through two outreach events at Imperial College London: the Imperial Lates event ""Xmaths"" and the Great Exhibition Road Festival."