Discovery Early Career Researcher Award - Grant ID: DE150101548
Funder
Australian Research Council
Funding Amount
$345,000.00
Summary
Geometric boundary-value problems. The Ricci flow is a geometric differential equation which recently made headlines for its key role in the proof of the Poincaré Conjecture (a century-old mathematical conjecture whose resolution carried a $1,000,000 prize). Developing the theory of boundary-value problems for the Ricci flow is a fundamental question which has remained open for over two decades. This project aims to answer this question on a wide class of spaces, along with the closely related q ....Geometric boundary-value problems. The Ricci flow is a geometric differential equation which recently made headlines for its key role in the proof of the Poincaré Conjecture (a century-old mathematical conjecture whose resolution carried a $1,000,000 prize). Developing the theory of boundary-value problems for the Ricci flow is a fundamental question which has remained open for over two decades. This project aims to answer this question on a wide class of spaces, along with the closely related question of solvability of boundary-value problems for the prescribed Ricci curvature equation. The results will have ramifications in a variety of fields, from pure mathematics to quantum field theory, relativity and modelling of biological systems.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE200100056
Funder
Australian Research Council
Funding Amount
$403,019.00
Summary
Statistical shape analysis using persistent homology. Statistical shape analysis is the quantitative study of variation in geometric shape. An innovative approach applies concepts from algebraic topology in the form of the persistent homology transform. This project aims to prove mathematical theory relating to the persistent homology transform, to develop new statistical theory and methodology, and to apply this theory to a range of applications including the analysis of bird beaks, human skull ....Statistical shape analysis using persistent homology. Statistical shape analysis is the quantitative study of variation in geometric shape. An innovative approach applies concepts from algebraic topology in the form of the persistent homology transform. This project aims to prove mathematical theory relating to the persistent homology transform, to develop new statistical theory and methodology, and to apply this theory to a range of applications including the analysis of bird beaks, human skulls and boundary contours of stem cells. An anticipated goal is the generation of new and significant theoretical results in topological data analysis. Expected outcomes include a topologically motivated platform for shape analysis that is statistically rigorous and has firm mathematical foundations.
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
Symmetries of subfactors. A subfactor is a mathematical object that encodes "quantum" symmetries which may be thought of as generalisations of group symmetries. This project will study subfactors and classify families of subfactor symmetries which include the exotic subfactors of small index. It will also develop computational tools for analysing and cataloguing these symmetries. This project contributes to the development of operator algebra theory, and the new mathematical fields of quantum al ....Symmetries of subfactors. A subfactor is a mathematical object that encodes "quantum" symmetries which may be thought of as generalisations of group symmetries. This project will study subfactors and classify families of subfactor symmetries which include the exotic subfactors of small index. It will also develop computational tools for analysing and cataloguing these symmetries. This project contributes to the development of operator algebra theory, and the new mathematical fields of quantum algebra and quantum topology; it also has applications to physical models.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
Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive ....Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive roots to signal processing, cryptography and cybersecurity.Read moreRead less
Towards the prime power conjecture. This project attacks a famous and long standing conjecture in pure mathematics that has important ramifications in many applied areas. The project aims to determine when it is possible to produce more efficient codes for electronic communication and statistically balanced designs for experiments in areas as diverse as agriculture and psychology.
Variational theory for fully nonlinear elliptic equations. This project aims to develop new methods and techniques to solve challenging mathematical problems in fully nonlinear partial differential equations arising in important applications. The project will develop methods and techniques to study these equations’ regularity and variational properties. This project is expected to establish comprehensive theories and enhance and promote Australian participation and leadership in this area of mat ....Variational theory for fully nonlinear elliptic equations. This project aims to develop new methods and techniques to solve challenging mathematical problems in fully nonlinear partial differential equations arising in important applications. The project will develop methods and techniques to study these equations’ regularity and variational properties. This project is expected to establish comprehensive theories and enhance and promote Australian participation and leadership in this area of mathematics.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
Discovery Early Career Researcher Award - Grant ID: DE120100173
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
A new upper bound for the Riemann zeta-function and applications to the distribution of prime numbers. Prime numbers are known to every schoolchild and are ubiquitous in modern cryptography; some of their deepest properties relate to a function called the Riemann zeta-function. This project aims at better estimating this function, thereby improving current knowledge on the distribution of prime numbers.