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
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
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
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.
Verifying the Riemann hypothesis to large heights: theory and applications. This project aims to verify the Riemann hypothesis to a record height and apply this verification to the distribution of prime numbers. The Riemann hypothesis (an open problem for 150 years) is ubiquitous in analytic number theory and prevalent in many other areas of mathematics. This project plans to use state-of-the-art computational hardware and the mathematical and algorithmic expertise of the investigators to verify ....Verifying the Riemann hypothesis to large heights: theory and applications. This project aims to verify the Riemann hypothesis to a record height and apply this verification to the distribution of prime numbers. The Riemann hypothesis (an open problem for 150 years) is ubiquitous in analytic number theory and prevalent in many other areas of mathematics. This project plans to use state-of-the-art computational hardware and the mathematical and algorithmic expertise of the investigators to verify the Riemann hypothesis several orders of magnitude further than what is currently known. A secondary aim is to apply this new verification to a multitude of results in analytic number theory: this would provide future researchers with vastly superior results.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE140100259
Funder
Australian Research Council
Funding Amount
$379,549.00
Summary
New Compactifications of Moduli Spaces of Curves. A moduli space is a geometric representation of a system of algebraic equations. Many fundamental problems in algebra, dynamics and physics can be reformulated as questions concerning the geometry of moduli spaces, in particular the moduli space of curves. This project will produce a systematic classification of compactifications of the moduli space of curves, and develop new tools for investigating the geometry of these compactifications. One of ....New Compactifications of Moduli Spaces of Curves. A moduli space is a geometric representation of a system of algebraic equations. Many fundamental problems in algebra, dynamics and physics can be reformulated as questions concerning the geometry of moduli spaces, in particular the moduli space of curves. This project will produce a systematic classification of compactifications of the moduli space of curves, and develop new tools for investigating the geometry of these compactifications. One of these compactifications already lies at the centre of an extraordinary web of connections linking together topology, combinatorics and quantum field theory, and there is a strong possibility that this web fits into a more comprehensive picture involving all compactifications on an equal footing.Read moreRead less