Multiplicative structure of rational functions. This project aims to develop new methods of investigating fundamental number theoretic notions of torsion and multiplicative dependence between objects of great interest such as rational functions and their values. This includes investigating such celebrated objects as torsion points on elliptic curves and torsion subgroups on algebraic varieties. The goal is to develop new methods and make pivotal advances towards solving several fundamental probl ....Multiplicative structure of rational functions. This project aims to develop new methods of investigating fundamental number theoretic notions of torsion and multiplicative dependence between objects of great interest such as rational functions and their values. This includes investigating such celebrated objects as torsion points on elliptic curves and torsion subgroups on algebraic varieties. The goal is to develop new methods and make pivotal advances towards solving several fundamental problems where multiplicative dependence plays a crucial role. The expected outcome is to provide deeper understanding of the intriguing nature of torsion and multiplicative dependence and thus open new perspectives for their applications in number theory and beyond.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.Read moreRead less
Algebraic Schubert geometry and unitary reflection groups. This project aims to generalise the recent work of Elias and Williamson to the complex case. Fundamental to the study of symmetry are the ubiquitous Coxeter groups, which have an associated set of critically important ‘Kazhdan-Lusztig polynomials’. For some Coxeter groups, these may be interpreted in terms of classical geometry, leading to deep positivity properties for their coefficients. Elias and Williamson have recently shown that th ....Algebraic Schubert geometry and unitary reflection groups. This project aims to generalise the recent work of Elias and Williamson to the complex case. Fundamental to the study of symmetry are the ubiquitous Coxeter groups, which have an associated set of critically important ‘Kazhdan-Lusztig polynomials’. For some Coxeter groups, these may be interpreted in terms of classical geometry, leading to deep positivity properties for their coefficients. Elias and Williamson have recently shown that this geometry may be simulated algebraically for any Coxeter group, so positivity for Kazhdan-Lusztig polynomials holds for all Coxeter groups. This result has explosive consequences in many areas of geometry and algebra. This project is designed to extend these results to complex unitary reflection groups, with potentially dramatic consequences in number theory, representation theory and topology.Read moreRead less
Deep Learning for Graph Isomorphism: Theories and Applications. This project aims to investigate graph isomorphism, a fundamental problem in graph theory, using deep learning techniques. Solutions to graph isomorphism are in demand by researchers in many fields of science, such as biology, chemistry, computer science, and quantum computing. The project expects to advance knowledge about graph isomorphism and state-of-the-art methodologies for its applications. The expected outcomes include new t ....Deep Learning for Graph Isomorphism: Theories and Applications. This project aims to investigate graph isomorphism, a fundamental problem in graph theory, using deep learning techniques. Solutions to graph isomorphism are in demand by researchers in many fields of science, such as biology, chemistry, computer science, and quantum computing. The project expects to advance knowledge about graph isomorphism and state-of-the-art methodologies for its applications. The expected outcomes include new theoretical insights on combinatorial structures of graphs, efficient heuristic techniques for (maximum) subgraph isomorphism, and structured representation learning. The project should provide significant benefits to research in a wide range of science fields, as well as many real-world applications.Read moreRead less
Topological containment and the Hajós Conjecture: new structure theorems from computer search. This projects aims to characterise when a network contains within it the topology, or shape, of a specific smaller network. It will develop new tools that use computer search to find such characterisations. The outcomes of this project will be used to attack one of the remaining unsolved cases of a famous conjecture dating back over sixty years.
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.Read moreRead less
New Applications of Additive Combinatorics in Number Theory and Graph Theory. The project aims to advance significantly the interplay between additive combinatorics, number theory and graph theory. The project will use and advance methods and results of additive combinatorics and give new applications to such fundamental problems on Cayley graphs as connectivity, random walks, colouring and dominating sets. The significance of the project is ensured by its goal of advancing existing results and ....New Applications of Additive Combinatorics in Number Theory and Graph Theory. The project aims to advance significantly the interplay between additive combinatorics, number theory and graph theory. The project will use and advance methods and results of additive combinatorics and give new applications to such fundamental problems on Cayley graphs as connectivity, random walks, colouring and dominating sets. The significance of the project is ensured by its goal of advancing existing results and methods of additive combinatorics and also in finding their new applications that have long-lasting impact on paramount problems for Cayley graphs that underlie the architecture of crucial communication networks. Achieving progress on these problems and developing relevant methods of additive combinatorics will be the main outcomes. Read moreRead less
The language complexity of problems in algebra and logic. This project focuses on a major problem at the intersection of algebra, logic and computer science, concerning equations over free groups and free monoids. Expected outcomes include a language-theoretic characterisation of solutions of equations in a wide class of groups and monoids, a language-theoretic understanding of the existential and first-order theories of free groups, and a classification of groups with indexed multiplication tab ....The language complexity of problems in algebra and logic. This project focuses on a major problem at the intersection of algebra, logic and computer science, concerning equations over free groups and free monoids. Expected outcomes include a language-theoretic characterisation of solutions of equations in a wide class of groups and monoids, a language-theoretic understanding of the existential and first-order theories of free groups, and a classification of groups with indexed multiplication tables and EDT0L word problem. The project is designed to expand the frontiers of knowledge in theoretical computer science and pure mathematics, but in the longer term to deepen our understanding of computers, their computational power and intrinsic limitations.Read moreRead less