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
Algorithmic and computational advances in geometric group theory. This project aims to combine new algorithmic ideas, high performance computing and experimental mathematics to answer many outstanding questions in the field of geometric group theory. This project will put Australia at the forefront of new computer-assisted research, and give new insights into complex mathematical problems.
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.
Discovery Early Career Researcher Award - Grant ID: DE190100888
Funder
Australian Research Council
Funding Amount
$333,924.00
Summary
Linear recurrence sequences over function fields and their applications. This project aims to deeply and systematically develop the theory of linear recurrence sequences (LRS) defined over function fields. Linear recurrence sequences (LRS) appear almost everywhere in mathematics and computer science. The project is expected to expand our knowledge on LRS and will span a wide range of new research directions. Through investigating and revealing the theoretical and practical aspects of LRS over fu ....Linear recurrence sequences over function fields and their applications. This project aims to deeply and systematically develop the theory of linear recurrence sequences (LRS) defined over function fields. Linear recurrence sequences (LRS) appear almost everywhere in mathematics and computer science. The project is expected to expand our knowledge on LRS and will span a wide range of new research directions. Through investigating and revealing the theoretical and practical aspects of LRS over function fields, the project will enrich the toolkits for cybersecurity by providing new approaches to cryptography. The outcomes of the project will help position Australia as a leader in this field.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
Discovery Early Career Researcher Award - Grant ID: DE140101366
Funder
Australian Research Council
Funding Amount
$376,527.00
Summary
Fully nonlinear partial differential equations in optimisation and applications. Fully nonlinear partial differential equations of Monge-Ampere type and their applications in optimal transportation have been studied intensively in the past two decades. Optimal transportation is a subject in linear optimisation. This project will develop a new theory on Monge-Ampere type equations in nonlinear optimisation, which is a much broader area with many significant applications. This project will investi ....Fully nonlinear partial differential equations in optimisation and applications. Fully nonlinear partial differential equations of Monge-Ampere type and their applications in optimal transportation have been studied intensively in the past two decades. Optimal transportation is a subject in linear optimisation. This project will develop a new theory on Monge-Ampere type equations in nonlinear optimisation, which is a much broader area with many significant applications. This project will investigate fundamental properties of solutions to this problem and explore further real-world applications. The outcomes of this project will have a substantial impact on partial differential equations and related research subjects. Read moreRead less
New Applications of Additive Combinatorics in Number Theory and Graph Theory. The project aims to advance significantly the interplay between additive combinatorics, number theory and graph theory. The project will use and advance methods and results of additive combinatorics and give new applications to such fundamental problems on Cayley graphs as connectivity, random walks, colouring and dominating sets. The significance of the project is ensured by its goal of advancing existing results and ....New Applications of Additive Combinatorics in Number Theory and Graph Theory. The project aims to advance significantly the interplay between additive combinatorics, number theory and graph theory. The project will use and advance methods and results of additive combinatorics and give new applications to such fundamental problems on Cayley graphs as connectivity, random walks, colouring and dominating sets. The significance of the project is ensured by its goal of advancing existing results and methods of additive combinatorics and also in finding their new applications that have long-lasting impact on paramount problems for Cayley graphs that underlie the architecture of crucial communication networks. Achieving progress on these problems and developing relevant methods of additive combinatorics will be the main outcomes. Read moreRead less