Gravitating relativistic material bodies: A mathematical analysis. This project aims to establish the local-in-time existence and geometric uniqueness of solutions to the Einstein-Elastic equations representing systems of gravitating relativistic material bodies, and to understand the long-time behaviour of these solutions. In spite of their importance to astrophysics, almost nothing is known about the mathematical properties of solutions to the equations of motion governing gravitating systems ....Gravitating relativistic material bodies: A mathematical analysis. This project aims to establish the local-in-time existence and geometric uniqueness of solutions to the Einstein-Elastic equations representing systems of gravitating relativistic material bodies, and to understand the long-time behaviour of these solutions. In spite of their importance to astrophysics, almost nothing is known about the mathematical properties of solutions to the equations of motion governing gravitating systems of relativistic material bodies. This project would provide mathematical tools for the study of gravitating relativistic material bodies and provide guidance on developing stable numerical schemes for simulations that are essential for comparing theory with experiment. This would significantly improve current understanding of the behaviour of matter and gravitational fields near the matter-vacuum boundary of bodies and help understanding of the physics of these boundaries.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE120101375
Funder
Australian Research Council
Funding Amount
$375,000.00
Summary
The Tutte polynomial of a graph: correlations, approximations and applications. The Tutte polynomial is a mathematical function of central importance to diverse fields of research, such as network reliability and statistical mechanics, that involve natural (and often difficult) counting problems. This project aims to obtain useful close approximations of this function with immediate applications in all these research fields.
Discovery Early Career Researcher Award - Grant ID: DE180100957
Funder
Australian Research Council
Funding Amount
$339,328.00
Summary
Partial differential equations, free boundaries and applications. This project aims to investigate fundamental problems in the analysis of partial differential equations and free boundary theory, to develop advanced mathematical theories with the possibility of important applications. The expected outcome is the establishment of a regularity and classification theory for nonlocal equations and for free boundary problems in linear and nonlinear settings. The benefit of the project lies in a concr ....Partial differential equations, free boundaries and applications. This project aims to investigate fundamental problems in the analysis of partial differential equations and free boundary theory, to develop advanced mathematical theories with the possibility of important applications. The expected outcome is the establishment of a regularity and classification theory for nonlocal equations and for free boundary problems in linear and nonlinear settings. The benefit of the project lies in a concrete advancement of the mathematical research with advantages for a deeper understanding of complex phenomena in physics and biology. Some of the problems also provide results useful for industrial applications.Read moreRead less
Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct ....Trisections, triangulations and the complexity of manifolds. This project aims at practical representations of 3-dimensional and 4-dimensional spaces as needed in applications. Topology is the mathematical study of the shapes of spaces. Geometry endows spaces with additional structure such as distance, angle and curvature. Special combinatorial structures, such as minimal triangulations, are often closely connected to geometric structures or topological properties. This project aims to construct computable invariants, connectivity results for triangulations, and algorithms to recognise fundamental topological properties and structures such as trisections and bundles.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE130100762
Funder
Australian Research Council
Funding Amount
$309,609.00
Summary
The interplay between structures and algorithms in combinatorial optimisation. Networks are ubiquitous in science, technology, and virtually all aspects of life. The project aims to make progress on central questions in the mathematical theory of networks. These include designing efficient algorithms for approximating the Hadwiger number, which is a key measure of the complexity of a network.
Mathematics for breaking limits of speed and density in magnetic memories. The aim of this project is to develop a mathematical theory and numerical models of stochastic partial differential equations for magnetic nano-structures. Such materials will yield next-generation magnetic memories with up to three orders of magnitude faster switching speeds and dramatically increased data storage density. New mathematical theories will help understand their sensitivity to small random fluctuations that ....Mathematics for breaking limits of speed and density in magnetic memories. The aim of this project is to develop a mathematical theory and numerical models of stochastic partial differential equations for magnetic nano-structures. Such materials will yield next-generation magnetic memories with up to three orders of magnitude faster switching speeds and dramatically increased data storage density. New mathematical theories will help understand their sensitivity to small random fluctuations that can destroy stored information. This project aims to revolutionise mathematical modelling of magnetic memories and put Australia at the forefront of international research. Technological advances to create much smaller and faster memory devices are expected to enable groundbreaking ways of managing and mining big data.Read moreRead less
Topological containment and the Hajós Conjecture: new structure theorems from computer search. This projects aims to characterise when a network contains within it the topology, or shape, of a specific smaller network. It will develop new tools that use computer search to find such characterisations. The outcomes of this project will be used to attack one of the remaining unsolved cases of a famous conjecture dating back over sixty years.
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
An algebraic renaissance for the chromatic polynomial. Graph colouring started out as a recreational problem in 1852, but now has many applications including the use in timetabling, scheduling, computer science and statistical physics. This project is about counting colourings, and will develop the algebraic theory of how this is done.
Quantum invariants and hyperbolic manifolds in three-dimensional topology. The project aims to broaden our understanding of three-dimensional (3-D) spaces, including spaces that arise in engineering, microbiology and physics. It is known that all 3-D spaces can be decomposed into geometric pieces. The most common type of geometry is hyperbolic. It is also known that such spaces have algebraic structures arising from quantum physics, known as quantum invariants. Several important conjectures, bas ....Quantum invariants and hyperbolic manifolds in three-dimensional topology. The project aims to broaden our understanding of three-dimensional (3-D) spaces, including spaces that arise in engineering, microbiology and physics. It is known that all 3-D spaces can be decomposed into geometric pieces. The most common type of geometry is hyperbolic. It is also known that such spaces have algebraic structures arising from quantum physics, known as quantum invariants. Several important conjectures, based on developments in physics, assert that hyperbolic geometry and quantum invariants are deeply related, but they remain unproved. The project aims to find new relationships between hyperbolic geometry and quantum invariants, advancing our understanding of both areas.Read moreRead less