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
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
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
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
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
Topological stability from spectral analysis. The aim is to use mathematical scattering theory to find and study new topological features of the spectra of linear transformations on Hilbert space. The significance derives from mathematical models of low temperature conducting quantum materials. These have revealed `topological phases of matter' that are stable with respect to a range of variations in the parameters that determine the system. The stability is desired for applications to quantum ....Topological stability from spectral analysis. The aim is to use mathematical scattering theory to find and study new topological features of the spectra of linear transformations on Hilbert space. The significance derives from mathematical models of low temperature conducting quantum materials. These have revealed `topological phases of matter' that are stable with respect to a range of variations in the parameters that determine the system. The stability is desired for applications to quantum devices. Our results will give topological stability from the scattering spectrum, a feature not previously seen. The benefits stem from new results in mathematical scattering theory with a primary novelty being the analysis of ``zero energy resonances'' in mathematical models of graphene.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE210101323
Funder
Australian Research Council
Funding Amount
$345,448.00
Summary
Random tensors and random matrices: interactions and applications. This project aims at improving knowledge on probabilistic objects having applications in, for instance, mathematical-physics, statistical physics, quantum gravity and data science. In doing so, we expect to produce new mathematical results by building upon both classical approaches and innovative ones. In particular, on one hand, the extension of classical graphical methods will be developed and, on another hand, generalized prob ....Random tensors and random matrices: interactions and applications. This project aims at improving knowledge on probabilistic objects having applications in, for instance, mathematical-physics, statistical physics, quantum gravity and data science. In doing so, we expect to produce new mathematical results by building upon both classical approaches and innovative ones. In particular, on one hand, the extension of classical graphical methods will be developed and, on another hand, generalized probability theories will be used to provide new insights. The expected outcomes include a better understanding of the generic properties of quantum states. This should significantly benefit to mathematicians and physicists whose models use those objects and may impact the broader community of engineers and technicians.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190101231
Funder
Australian Research Council
Funding Amount
$390,000.00
Summary
Integrable systems from gauge theories. This project aims to construct and describe three important integrable systems and to produce new significant results in representation theory and mathematical physics. The focus of the project is the theory of integrable systems, a breakthrough area in modern mathematics, and it will use tools from geometric representation theory to study the interrelation between geometry and mathematical physics. Originating from string theory, the project will not only ....Integrable systems from gauge theories. This project aims to construct and describe three important integrable systems and to produce new significant results in representation theory and mathematical physics. The focus of the project is the theory of integrable systems, a breakthrough area in modern mathematics, and it will use tools from geometric representation theory to study the interrelation between geometry and mathematical physics. Originating from string theory, the project will not only provide a deeper understanding of the universe, it will also train young mathematicians and other highly qualified individuals with the potential to make a significant impact to technology, security, and the economy though their specialised skills.Read moreRead less
Australian Laureate Fellowships - Grant ID: FL200100141
Funder
Australian Research Council
Funding Amount
$3,077,547.00
Summary
Real groups and the Langlands program. This program aims to address deep longstanding questions about real groups, algebraic objects which describe the basic symmetries occurring in nature. The study of these basic symmetries is central in all areas of mathematics and they come up in many applications. The expected outcomes include solving a central 50 year old problem of unitarity as well as making major progress in the Langlands program, a grand unification scheme of mathematics. The benefits ....Real groups and the Langlands program. This program aims to address deep longstanding questions about real groups, algebraic objects which describe the basic symmetries occurring in nature. The study of these basic symmetries is central in all areas of mathematics and they come up in many applications. The expected outcomes include solving a central 50 year old problem of unitarity as well as making major progress in the Langlands program, a grand unification scheme of mathematics. The benefits include raising Australia's international research profile, building a large network of international collaboration with top institutions in the world, and increasing capacity in number theory and algebraic geometry, which are playing an ever more important role in technology. Read moreRead less