Propagation via nonlinear partial differential equations. This project aims to develop new theories in nonlinear partial differential equations to better understand propagation phenomena. Propagation occurs in various forms, such as the spreading of invasive species, infectious diseases or cancer cells, or the progression of the healing front of a wound. This project aims to understand propagation speed and profile, criteria for spreading and vanishing, and other qualitative properties of the eq ....Propagation via nonlinear partial differential equations. This project aims to develop new theories in nonlinear partial differential equations to better understand propagation phenomena. Propagation occurs in various forms, such as the spreading of invasive species, infectious diseases or cancer cells, or the progression of the healing front of a wound. This project aims to understand propagation speed and profile, criteria for spreading and vanishing, and other qualitative properties of the equations. The project will develop new mathematical theories, and build bridges between the theories and 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.
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
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
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
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
Monge-Ampere equations and applications. The Monge-Ampere equation is a premier fully nonlinear partial differential equation with significant applications in geometry, physics and applied science. Building upon breakthroughs made by the proposers in previous grant research, this project aims to resolve challenging problems involving Monge-Ampere type equations and applications. The project goal is to establish new regularity theory and classify singularity profile for solutions to Monge-Ampere ....Monge-Ampere equations and applications. The Monge-Ampere equation is a premier fully nonlinear partial differential equation with significant applications in geometry, physics and applied science. Building upon breakthroughs made by the proposers in previous grant research, this project aims to resolve challenging problems involving Monge-Ampere type equations and applications. The project goal is to establish new regularity theory and classify singularity profile for solutions to Monge-Ampere type equation arising in applied sciences, by introducing new ideas and developing innovative cutting-edge techniques. Expected outcomes include resolution of outstanding open problems and continuing enhancement of Australian leadership and expertise in a major area of mathematics.
Read moreRead less
Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.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
Additive combinatorics, arithmetic algebraic geometry and finite fields. This project aims to combine additive combinatorics and algebraic geometry and apply them to the theory of finite fields. Additive combinatorics and algebraic geometry are mostly developed over the complex numbers and other fields of characteristic zero. This project will bring the power of these different, discrete and continuous areas to finite fields, opening new perspectives for progress on several major problems, inacc ....Additive combinatorics, arithmetic algebraic geometry and finite fields. This project aims to combine additive combinatorics and algebraic geometry and apply them to the theory of finite fields. Additive combinatorics and algebraic geometry are mostly developed over the complex numbers and other fields of characteristic zero. This project will bring the power of these different, discrete and continuous areas to finite fields, opening new perspectives for progress on several major problems, inaccessible by other methods. The project will advance and affect the development of number theory research in Australia and methodologies useful in mathematics and computer science, including cryptography.Read moreRead less