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
Representations of arithmetic groups and their associated zeta functions. This project aims to investigate deep connections between number theory and group theory by studying linear actions of arithmetic groups. Arithmetic groups are used in geometry, dynamics, number theory and other areas of pure mathematics. This project will study their representations from two perspectives. First, it will establish properties of the associated zeta functions to resolve open problems about the asymptotic beh ....Representations of arithmetic groups and their associated zeta functions. This project aims to investigate deep connections between number theory and group theory by studying linear actions of arithmetic groups. Arithmetic groups are used in geometry, dynamics, number theory and other areas of pure mathematics. This project will study their representations from two perspectives. First, it will establish properties of the associated zeta functions to resolve open problems about the asymptotic behaviour of the dimensions of the irreducible representations. Second, it will explore the evolution of representations across families of groups under new induction and restriction functors, in analogy with creation and annihilation operators in physics. The project will enhance Australia's capacity in representation theory and group theory, the mathematics that underline symmetry in nature.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
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
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
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
The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interpla ....The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interplay between geometry and algebra to provide new insight into the physically significant problem of classifying unitary Lie algebra representations. This project is expected to facilitate interdisciplinary interaction leading to exciting developments across a range of fields.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE180101360
Funder
Australian Research Council
Funding Amount
$328,075.00
Summary
The geometry and cohomology of moduli spaces of curves. This project aims to develop new insights on moduli spaces in algebraic geometry. Algebraic geometry is the field of mathematics that uses geometric methods to analyse algebraic equations, with wide applications ranging from cryptography to genetics. Moduli spaces in algebraic geometry provide powerful methods to geometrically analyse collections of related equations. Using innovative new techniques, the project aims to generate new knowled ....The geometry and cohomology of moduli spaces of curves. This project aims to develop new insights on moduli spaces in algebraic geometry. Algebraic geometry is the field of mathematics that uses geometric methods to analyse algebraic equations, with wide applications ranging from cryptography to genetics. Moduli spaces in algebraic geometry provide powerful methods to geometrically analyse collections of related equations. Using innovative new techniques, the project aims to generate new knowledge about fundamental moduli spaces. Expected outcomes include the establishment of an active community of algebraic geometers in Australia. These outcomes should provide significant benefits to pure mathematics and related scientific fields.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: DE210100535
Funder
Australian Research Council
Funding Amount
$340,548.00
Summary
Minimal surfaces and singularities of mean curvature flow. The project aims to characterise the geometric structure of minimal surfaces in the variational theory and classify singularities of mean curvature flow. Minimal surfaces are mathematical models of soap films, and their time-varying analogue is mean curvature flow, a dynamic process by which a surface flows to decrease its area as quickly as possible. As a central topic in geometric analysis, the theory of minimal surfaces and mean curv ....Minimal surfaces and singularities of mean curvature flow. The project aims to characterise the geometric structure of minimal surfaces in the variational theory and classify singularities of mean curvature flow. Minimal surfaces are mathematical models of soap films, and their time-varying analogue is mean curvature flow, a dynamic process by which a surface flows to decrease its area as quickly as possible. As a central topic in geometric analysis, the theory of minimal surfaces and mean curvature flow has proven to be a powerful and essential tool in mathematics. The project expects to generate new and significant results in minimal surfaces and singularity analysis of mean curvature flow and enhance potential applications in related disciplines such as computer vision and probability.Read moreRead less