Dynamics on space-filling shapes. Modern science derives its power from mathematical models and tools that enable us to predict their behaviours. The project aims to construct new models given by dynamical systems that move consistently from one tile to another in a lattice of higher-dimensional shapes called polytopes. The construction is expected to lead to new functions with properties that will provide extensions of current models of growth processes. The intended outcomes of the project inc ....Dynamics on space-filling shapes. Modern science derives its power from mathematical models and tools that enable us to predict their behaviours. The project aims to construct new models given by dynamical systems that move consistently from one tile to another in a lattice of higher-dimensional shapes called polytopes. The construction is expected to lead to new functions with properties that will provide extensions of current models of growth processes. The intended outcomes of the project include predictive tools that describe nonlinear special functions and information about their symmetry reductions. This should provide significant benefits, such as new mathematical knowledge, innovative techniques, and enhanced scientific capacity in Australia.Read moreRead less
Spectral Theory of Hamiltonian Dynamical Systems. Stability theory of steady states, travelling waves, periodic waves, and other coherent structures in nonlinear Hamiltonian partial differential equations is a cornerstone of modern dynamical systems. In particular it is of utmost importance to reliably compute eigenvalues, which determine the stability or instability of such structures. This project will develop methods to compute the spectrum of Hamiltonian operators in more than one spatial di ....Spectral Theory of Hamiltonian Dynamical Systems. Stability theory of steady states, travelling waves, periodic waves, and other coherent structures in nonlinear Hamiltonian partial differential equations is a cornerstone of modern dynamical systems. In particular it is of utmost importance to reliably compute eigenvalues, which determine the stability or instability of such structures. This project will develop methods to compute the spectrum of Hamiltonian operators in more than one spatial dimension. It will use the powerful geometric tools of the Maslov index and the Evans function. We will use these to simultaneously advance, and bring together the theories of the two dimensional Euler equations and Jacobi operators.Read moreRead less
The shape of chaos: geometric advances in partially hyperbolic dynamics. This project aims to use recent advances in geometry and topology to discover new forms of chaotic dynamical systems and further classify the forms of chaos which are possible. Many systems in nature exhibit chaotic dynamics as they change in time. Not all systems are chaotic in the same way, and identifying the form of chaos and its qualitative properties is crucial to truly understanding the system. Chaotic dynamics aris ....The shape of chaos: geometric advances in partially hyperbolic dynamics. This project aims to use recent advances in geometry and topology to discover new forms of chaotic dynamical systems and further classify the forms of chaos which are possible. Many systems in nature exhibit chaotic dynamics as they change in time. Not all systems are chaotic in the same way, and identifying the form of chaos and its qualitative properties is crucial to truly understanding the system. Chaotic dynamics arise in chemical reactions, celestial mechanics, industrial mixing processes, fusion reactors, and many other processes. This project will aid in predicting the possible long-term behaviours of these systems.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
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
Additive combinatorics of infinite sets via ergodic theoretic approach. The proposed project will utilise innovative ergodic theoretic approaches to enable us to address important questions in Additive Combinatorics (Number Theory) and Fractal Geometry. In particular, we will resolve long-standing inverse additive problems for infinite sets, discover sum-product phenomena in Number Theory, and find a plethora of finite configurations in fractal sets. We will also extend the structure theory of ....Additive combinatorics of infinite sets via ergodic theoretic approach. The proposed project will utilise innovative ergodic theoretic approaches to enable us to address important questions in Additive Combinatorics (Number Theory) and Fractal Geometry. In particular, we will resolve long-standing inverse additive problems for infinite sets, discover sum-product phenomena in Number Theory, and find a plethora of finite configurations in fractal sets. We will also extend the structure theory of one of the most popular mathematical models of quasi-crystals to a more extensive class of groups. This project will make significant contributions to Additive Combinatorics and Ergodic Theory and will bring the Australian research in these fields to ever greater heights.Read moreRead less
Finite dimensional integrable systems and differential geometry. Mathematical models of many processes in science (physics, engineering) and in the real world (nature, economics) are governed by complicated systems of differential equations. An important, distinguished class of such models is described by integrable systems, the systems for which one can provide a comprehensive qualitative picture, and in many cases, a complete solution. Using recently developed, powerful methods of integrable s ....Finite dimensional integrable systems and differential geometry. Mathematical models of many processes in science (physics, engineering) and in the real world (nature, economics) are governed by complicated systems of differential equations. An important, distinguished class of such models is described by integrable systems, the systems for which one can provide a comprehensive qualitative picture, and in many cases, a complete solution. Using recently developed, powerful methods of integrable systems and differential geometry, this project will focus on a range of important, interconnected theoretical problems in both disciplines. The expected outcomes will provide new, deep, mathematically and physically significant results which will lead to applications and developments across a range of fields.Read moreRead less
Nonlinear partial differential equations and propagation phenomena. This project of strategic basic research aims to develop new mathematics in nonlinear partial differential equations to better understand the propagation phenomena arising in a variety of applications, such as the spreading of infectious diseases or cancerous cells, or the invasion of alien species. New models of partial differential equations over spatial regions with moving boundaries will be introduced and systematically stud ....Nonlinear partial differential equations and propagation phenomena. This project of strategic basic research aims to develop new mathematics in nonlinear partial differential equations to better understand the propagation phenomena arising in a variety of applications, such as the spreading of infectious diseases or cancerous cells, or the invasion of alien species. New models of partial differential equations over spatial regions with moving boundaries will be introduced and systematically studied to provide deep understanding of the mechanisms of important new phenomena in propagation, including accelerated spreading and the onset of such spreading. The mathematical questions are concerned with the long-time dynamics of equations with free boundary, and the asymptotic profiles of their solutions.
Read moreRead less
Arithmetic and algebraic aspects of the dynamics of polynomial semigroups. This project aims to advance research in arithmetic dynamics, a rapidly developing field of mathematics that is rich in significant applications including cryptography. It will systematically study the semigroup action of several maps on an arithmetic space. The expected outcomes will extend existing concepts and theory, but also explore new mathematical phenomena related to number theory, graph theory and regular and cha ....Arithmetic and algebraic aspects of the dynamics of polynomial semigroups. This project aims to advance research in arithmetic dynamics, a rapidly developing field of mathematics that is rich in significant applications including cryptography. It will systematically study the semigroup action of several maps on an arithmetic space. The expected outcomes will extend existing concepts and theory, but also explore new mathematical phenomena related to number theory, graph theory and regular and chaotic arithmetic dynamics. There are likely applications in cryptography arising from the project and opportunities to build links between academia and national offices of information security.Read moreRead less
Singular solutions for nonlinear elliptic and parabolic equations. The analysis of many models fundamental to physical and biological sciences is obstructed by singularities. This project aims to discover and classify the singular solutions for two important types of nonlinear equations: elliptic and parabolic. The project expects to generate novel methods to decipher singularities by using innovative approaches from geometric analysis and dynamical systems. Expected outcomes of this project inc ....Singular solutions for nonlinear elliptic and parabolic equations. The analysis of many models fundamental to physical and biological sciences is obstructed by singularities. This project aims to discover and classify the singular solutions for two important types of nonlinear equations: elliptic and parabolic. The project expects to generate novel methods to decipher singularities by using innovative approaches from geometric analysis and dynamical systems. Expected outcomes of this project include new and powerful tools to advance a more general theory of singularities. This should provide significant benefits, such as new mathematical knowledge on key issues on singularities lying at the forefront of international research and enhanced expertise in an area of worldwide recognition for Australia.Read moreRead less