Reaching new frontiers of quantum fields and gravity through deformations. This project aims to reach new frontiers in quantum field and gravity theories. These underpin systems ranging from semi-conductors to particle collisions and the quantum behavior of black holes. An obstacle is that these theories are notoriously hard to solve. This project proposes to tackle this longstanding problem by using new deformations, symmetries and dualities that have attracted widespread attention. Expected ou ....Reaching new frontiers of quantum fields and gravity through deformations. This project aims to reach new frontiers in quantum field and gravity theories. These underpin systems ranging from semi-conductors to particle collisions and the quantum behavior of black holes. An obstacle is that these theories are notoriously hard to solve. This project proposes to tackle this longstanding problem by using new deformations, symmetries and dualities that have attracted widespread attention. Expected outcomes will include innovative techniques that will greatly enhance and interconnect our knowledge of field theories and quantum gravity, together with new discoveries in quantum-corrected geometries. A new network of domestic and international experts will largely benefit the fields of theoretical and mathematical physics.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
Heisenberg-limited lasers: building the revolution. The project aims to design and build a revolutionary new type of laser based on the ground-breaking 2020 Nature Physics paper by the two Chief Investigators. The significance of this work is that it overturns 60 years of theory about the limits to laser coherence, by applying 21st century quantum theory and quantum technology to the problem. This project expects to greatly advance the theory and, by instigating a collaboration with world-leadin ....Heisenberg-limited lasers: building the revolution. The project aims to design and build a revolutionary new type of laser based on the ground-breaking 2020 Nature Physics paper by the two Chief Investigators. The significance of this work is that it overturns 60 years of theory about the limits to laser coherence, by applying 21st century quantum theory and quantum technology to the problem. This project expects to greatly advance the theory and, by instigating a collaboration with world-leading experimentalists working with superconducting quantum devices, to demonstrate a laser with coherence beyond what was thought possible. Benefits of the project should flow from the manifold applications for highly coherent radiation, including scaling up superconducting quantum computing.Read moreRead less
Unpacking the immune system with applied mathematics. This project aims to model immune interactions across cells and structures spanning scales of nanometres to millimetres. It expects to develop innovative mathematical insights, improve our understanding of immunology, and consolidate collaborations with top American and European laboratories and groups. Expected outcomes include cutting-edge techniques for multiscale biological modelling and improved prediction and analysis of immune dynami ....Unpacking the immune system with applied mathematics. This project aims to model immune interactions across cells and structures spanning scales of nanometres to millimetres. It expects to develop innovative mathematical insights, improve our understanding of immunology, and consolidate collaborations with top American and European laboratories and groups. Expected outcomes include cutting-edge techniques for multiscale biological modelling and improved prediction and analysis of immune dynamics. The project should provide benefits to industries where highly organised behaviours are important, for example those interested in robot swarming, optimal transportation, and epidemic management. It should also benefit Australian students and researchers with novel overseas training opportunities.Read moreRead less
Large Markov decision processes and combinatorial optimisation. Markov decision processes continue to gain in popularity for modelling a wide range of applications ranging from analysis of supply chains and queueing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend to become numerically intractable as the size of the model grows fast. Recent works use machine learning techniques to overcome this crucial issue, but with no convergence guarantee. This project ....Large Markov decision processes and combinatorial optimisation. Markov decision processes continue to gain in popularity for modelling a wide range of applications ranging from analysis of supply chains and queueing networks to cognitive science and control of autonomous vehicles. Nonetheless, they tend to become numerically intractable as the size of the model grows fast. Recent works use machine learning techniques to overcome this crucial issue, but with no convergence guarantee. This project aims to provide theoretically sound frameworks for solving large Markov decision processes, and exploit them to solve important combinatorial optimisation problems. This timely project can promote Australia's position in the development of such novel frameworks for many scientific and industrial applications.Read moreRead less
A Novel Geometric Approach to Shocks in Reaction-Nonlinear Diffusion Models. Reaction-nonlinear diffusion models play a vital role in the study of cell migration and population dynamics. However, the presence of aggregation, or backward diffusion, leads to the formation of shock waves - distinct, sharp interfaces between different populations of densities of cells - and the breakdown of the model. This project will develop new geometric methods to explain the formation and temporal evolution of ....A Novel Geometric Approach to Shocks in Reaction-Nonlinear Diffusion Models. Reaction-nonlinear diffusion models play a vital role in the study of cell migration and population dynamics. However, the presence of aggregation, or backward diffusion, leads to the formation of shock waves - distinct, sharp interfaces between different populations of densities of cells - and the breakdown of the model. This project will develop new geometric methods to explain the formation and temporal evolution of these shock waves, while simultaneously unifying existing regularisation techniques under a single, geometric banner. It will devise innovative tools in singular perturbation theory and stability analysis that will identify key parameters in the creation of shock waves, as well as their dynamic behaviour.Read moreRead less
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
What predictions can I trust? Stability of chaotic random dynamical systems. This project aims to make significant progress on the intricate question of global stability of non-autonomous chaotic dynamical systems. Using ergodic theory, this project expects to determine when and how errors in dynamical models that are small and frequent, or large and infrequent, can cause dramatic changes in meaningful mathematical model outputs. Expected outcomes include the discovery of mathematical mechanisms ....What predictions can I trust? Stability of chaotic random dynamical systems. This project aims to make significant progress on the intricate question of global stability of non-autonomous chaotic dynamical systems. Using ergodic theory, this project expects to determine when and how errors in dynamical models that are small and frequent, or large and infrequent, can cause dramatic changes in meaningful mathematical model outputs. Expected outcomes include the discovery of mathematical mechanisms underlying large-scale (in)stability for time-dependent dynamical systems, and reliable numerical methods for detecting instabilities. This research is expected to lead to improved characterisations of shocks or collapse in externally driven dynamical systems and assist scientists to gauge which predictions they can trust.Read moreRead less
ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. The ARC Centre for the Mathematical Analysis of Cellular Systems aims to deliver the mathematics required to compute life. The Centre will deliver innovation in computational and mathematical biology and establish in silico biology alongside in vivo and in vitro biology. These models will allow us to understand the complexity of life at the cellu ....ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. ARC Centre of Excellence for the Mathematical Analysis of Cellular Systems. The ARC Centre for the Mathematical Analysis of Cellular Systems aims to deliver the mathematics required to compute life. The Centre will deliver innovation in computational and mathematical biology and establish in silico biology alongside in vivo and in vitro biology. These models will allow us to understand the complexity of life at the cellular level and enable new ways of combining diverse and heterogenous data. This will allow us to understand the mechanisms underlying cellular behaviour, and to apply rational design engineering methods in order to control the dynamics of biological systems. Read moreRead less
Mathematical and Numerical Models of Piezoelectric Wave Energy Converters. The project will investigate piezoelectric wave energy converters. We will derive the equations of motion in a form suitable for use in marine engineering paradigms using variational methods and then solve these analytically and with smoothed particle hydrodynamics. Using these innovative techniques, this project will generate new knowledge capable of elucidating the multifaceted physical phenomena that occur when comple .... Mathematical and Numerical Models of Piezoelectric Wave Energy Converters. The project will investigate piezoelectric wave energy converters. We will derive the equations of motion in a form suitable for use in marine engineering paradigms using variational methods and then solve these analytically and with smoothed particle hydrodynamics. Using these innovative techniques, this project will generate new knowledge capable of elucidating the multifaceted physical phenomena that occur when complex fluid motion and deformable structures interact. The project outcomes include the development of mathematical and computation methods to handle intricate behaviours of piezoelectric elastic-fluids systems. These groundbreaking methods will allow these wave energy systems to be analysed and their effectiveness assessed.Read moreRead less