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
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
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
Operator algebras as models for dynamics and geometry. Operator algebra is the mathematical theory which describes quantum physics and predicts how quantum systems will behave. Through this project, the researcher's recent discoveries in operator algebra will give us new insight into the dynamics and geometry - that is, the behaviour and shape - of the quantum world.
Noncommutative analysis and geometry in interaction with quantum physics. Quantum theory has produced many advances in our understanding of the physical world for the last hundred years while mathematical breakthroughs have been made through exploiting innovative ideas from quantum physics. This project continues in this highly successful framework and will lead to advances in geometry both classical and noncommutative.
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
Higher order curvature flow of curves and hypersurfaces. This project aims to analyse higher order geometric partial differential equations that have important mathematical applications in differential geometry of submanifolds as well as practical applications in physics and mathematical biology. The project aims to prove new general principles that reveal properties of these higher order elliptic and parabolic partial differential equations, producing a unified framework with applications to va ....Higher order curvature flow of curves and hypersurfaces. This project aims to analyse higher order geometric partial differential equations that have important mathematical applications in differential geometry of submanifolds as well as practical applications in physics and mathematical biology. The project aims to prove new general principles that reveal properties of these higher order elliptic and parabolic partial differential equations, producing a unified framework with applications to various specific problems. This project aims to increase Australia's research capacity in geometric evolution problems, provide training for some of Australia's next generation of mathematicians and build Australia's international reputation for significant research in geometric 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