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
Physical realisation of enriched quantum symmetries. This project aims to investigate fundamental mathematical structures in modern category theory, providing an algebraic description of physical systems including topological order and conformal field theory. The project will study quantum symmetry, and classify and construct new classes of conformal field theories, using novel tools from enriched category theory, modular forms, and lattice gauge theory.
The main goal is to understand the lands ....Physical realisation of enriched quantum symmetries. This project aims to investigate fundamental mathematical structures in modern category theory, providing an algebraic description of physical systems including topological order and conformal field theory. The project will study quantum symmetry, and classify and construct new classes of conformal field theories, using novel tools from enriched category theory, modular forms, and lattice gauge theory.
The main goal is to understand the landscape of topological and conformal field theories, laying the foundation for new technologies based on topological order. This timely project capitalises on the recent arrival of subfactor experts in Australia, and builds capacity in mathematical research and international links in a cutting edge field.Read moreRead less
New methods in spectral geometry. This project aims to use methods from mathematical scattering theory to resolve problems in the spectral analysis and index theory of differential operators. Both areas underpin the theoretical understanding of physical materials at micro length scales where quantum phenomena dominate. The project will develop new mathematical results in spectral analysis and geometry, and apply its results to theoretical models of quantum phenomena whose spectral properties are ....New methods in spectral geometry. This project aims to use methods from mathematical scattering theory to resolve problems in the spectral analysis and index theory of differential operators. Both areas underpin the theoretical understanding of physical materials at micro length scales where quantum phenomena dominate. The project will develop new mathematical results in spectral analysis and geometry, and apply its results to theoretical models of quantum phenomena whose spectral properties are at the limit of the range of mathematical techniques. Solving these problems is expected to influence non-commutative analysis.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200101834
Funder
Australian Research Council
Funding Amount
$418,410.00
Summary
The structure of singularities in geometric flows. The proposed research aims to develop our understanding of the structure of singularities in mean curvature and related flows, with certain applications in mind.
Discovery Early Career Researcher Award - Grant ID: DE180100110
Funder
Australian Research Council
Funding Amount
$343,450.00
Summary
Analysis of fully non-linear geometric problems and differential equations. This project aims to investigate non-linear geometric evolution equations that have received considerable attention in the past decades through their use in solving outstanding problems in mathematics, such as the Poincare conjecture. By developing innovative new techniques intertwining geometry and analysis, the project endeavours to make advances in non-linear problems modelling complex phenomena. The project addresses ....Analysis of fully non-linear geometric problems and differential equations. This project aims to investigate non-linear geometric evolution equations that have received considerable attention in the past decades through their use in solving outstanding problems in mathematics, such as the Poincare conjecture. By developing innovative new techniques intertwining geometry and analysis, the project endeavours to make advances in non-linear problems modelling complex phenomena. The project addresses topics as varied as hyperbolic geometry, and a geometric approach to irregularities forming in crystal growth in materials science, focusing on developing cutting-edge mathematical tools and connections to geometry.Read moreRead less
Monge-Ampere equations and applications. The Monge-Ampere equation is a premier fully nonlinear partial differential equation with significant applications in geometry, physics and applied science. Building upon breakthroughs made by the proposers in previous grant research, this project aims to resolve challenging problems involving Monge-Ampere type equations and applications. The project goal is to establish new regularity theory and classify singularity profile for solutions to Monge-Ampere ....Monge-Ampere equations and applications. The Monge-Ampere equation is a premier fully nonlinear partial differential equation with significant applications in geometry, physics and applied science. Building upon breakthroughs made by the proposers in previous grant research, this project aims to resolve challenging problems involving Monge-Ampere type equations and applications. The project goal is to establish new regularity theory and classify singularity profile for solutions to Monge-Ampere type equation arising in applied sciences, by introducing new ideas and developing innovative cutting-edge techniques. Expected outcomes include resolution of outstanding open problems and continuing enhancement of Australian leadership and expertise in a major area of mathematics.
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
Parabolic methods for elliptic boundary value problems. This project aims to uncover new results for second order nonlinear elliptic partial differential equations via the use of uniqueness properties of solutions for related nonlinear parabolic partial differential equations. This will build on theory for fully nonlinear equations developed over the last 30 years. The project expects to generate new knowledge in the theory that will guide future research and have direct impact to applications ....Parabolic methods for elliptic boundary value problems. This project aims to uncover new results for second order nonlinear elliptic partial differential equations via the use of uniqueness properties of solutions for related nonlinear parabolic partial differential equations. This will build on theory for fully nonlinear equations developed over the last 30 years. The project expects to generate new knowledge in the theory that will guide future research and have direct impact to applications in optimal transport, geometric problems and more applied areas including image analysis and mathematical finance. The project will enhance Australia's international reputation for research in the field and train some of the next generation of mathematical analysts.Read moreRead less
Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This proj ....Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This project will answer many fundamental questions about large, random hypergraphs. The expected outcomes of the project also include new tools for working with hypergraphs, such as efficient algorithms for sampling hypergraphs. These outcomes will benefit researchers who use hypergraphs in their work and will enhance Australia's reputation for research in this area.Read moreRead less