| EPSRC Reference: |
EP/X001229/1 |
| Title: |
Extensions of matroid Hodge theory |
| Principal Investigator: |
Fink, Dr AR |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Mathematical Sciences |
| Organisation: |
Queen Mary University of London |
| Scheme: |
Standard Research |
| Starts: |
01 May 2023 |
Ends: |
30 April 2026 |
Value (£): |
335,497
|
| EPSRC Research Topic Classifications: |
| Algebra & Geometry |
Logic & Combinatorics |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
Combinatorics is the branch of mathematics that includes questions about counting discrete structures. For example, given a map drawn in outline, and some number of colours, in how many ways can you colour in the regions in the map so that any two bordering regions are different colours? Many unsolved problems in combinatorics ask about inequalities involving these counts. The four colour theorem -- that with four colours, the number of colourings is greater than zero -- is a famous example: it is no longer an unsolved problem, but its solution in 1976 was by a long computer search and many mathematicians would still like a more conceptual answer.
The proposed research is to apply to these problems techniques from algebraic geometry, which is the geometric study of solutions to systems of polynomial equations. A breakthrough in this respect was made in 2018 by Adiprasito, Huh and Katz. They used inequalities from the part of algebraic geometry called Hodge theory to answer a 40-year-old open problem posed by Read, Welsh and others. In terms of map colouring, the number of colourings turns out to be a polynomial function of the number of colours available; Read's problem was about how the coefficients of this polynomial grow. I will be extending those techniques.
The combinatorial objects the questions are actually about are called matroids. For every map there is a matroid. A matroid comes with a set of objects, and picks out certain smaller sets of those objects as being compatible with each other, or as mathematicians say, independent. In the example of maps, a set of borders is independent if there's no way to walk in a loop through some of those borders and arrive back where you started without crossing the same one twice. Other matroids come from matrices. But there are so-called unrepresentable matroids that don't come from these sources. When a matroid does come from a map or a matrix, we can use that to write down a system of equations to study geometrically. What Adiprasito, Huh and Katz established is that even for unrepresentable matroids, where the system of equations does not exist, the Hodge theory still works as if it did exist. Working with these shadows of a geometric object that doesn't actually exist, as it were, contributes to the difficulty of these problems.
Matroids have many applications including in mathematical optimisation, codes, physics, statistics, and biology. For example, one of the still unsolved problems I will work on is about the "interlace polynomial", which was invented as part of the study of knotting and recombination in DNA strands.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
|