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
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
Reconstructing land tenure maps of Australia in 3D. Existing land tenure maps of above and below ground, such as apartment ownership, tunnels, and mining, are maintained using 2D drawings. However, the drawings are not structured and valuable for detailed and advanced visualisation, analytics, and simulation, which are essential for testing potential interventions and policy development. This project aims to develop a data validation framework for transforming current drawings and reconstructing ....Reconstructing land tenure maps of Australia in 3D. Existing land tenure maps of above and below ground, such as apartment ownership, tunnels, and mining, are maintained using 2D drawings. However, the drawings are not structured and valuable for detailed and advanced visualisation, analytics, and simulation, which are essential for testing potential interventions and policy development. This project aims to develop a data validation framework for transforming current drawings and reconstructing them into 3D models. The outcomes include validation principles, formal mathematical terms, and computational algorithms. Benefits include a cost-effective onshore alternative to offshore 3D reconstruction practices, efficient land development and infrastructure planning, and fewer property disputes.Read moreRead less
Sewer corrosion reduction through model-supported ventilation control. Ventilation is one of the key technologies for sewer corrosion control. However, its design and operation are currently based on experience and empirical equations, often leading to unsatisfactory results. By integrating in-depth laboratory and pilot-sewer studies under defined conditions with extensive field investigations, this multidisciplinary project aims to develop critical models to predict the corrosion process in res ....Sewer corrosion reduction through model-supported ventilation control. Ventilation is one of the key technologies for sewer corrosion control. However, its design and operation are currently based on experience and empirical equations, often leading to unsatisfactory results. By integrating in-depth laboratory and pilot-sewer studies under defined conditions with extensive field investigations, this multidisciplinary project aims to develop critical models to predict the corrosion process in response to ventilation and dynamic wastewater and atmospheric conditions, enabling model-based sewer ventilation design and operation. The project also aims to deliver novel, field-demonstrated ventilation strategies. The project findings will be incorporated in the Australian ventilation design and operation guidelines.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
Multilayer Graphene Based Anti-Corrosion Polymer Coated Structures. This project aims to develop a novel multilayer graphene/polymer coating for structures exposed to corrosive environment with graphene concentration varying layer-wise to eliminate galvanic corrosion yet maintain all unique advantages owing to graphene inclusion, thus offering a cost-effective design solution with significantly improved anti-corrosion performance and remarkably enhanced safety and durability for structures. Expe ....Multilayer Graphene Based Anti-Corrosion Polymer Coated Structures. This project aims to develop a novel multilayer graphene/polymer coating for structures exposed to corrosive environment with graphene concentration varying layer-wise to eliminate galvanic corrosion yet maintain all unique advantages owing to graphene inclusion, thus offering a cost-effective design solution with significantly improved anti-corrosion performance and remarkably enhanced safety and durability for structures. Expected outcomes of this project include an innovative design, experimental data on corrosion prevention, development of reliable simulation techniques and design procedures for the proposed coating. This should provide huge benefits to Australian civil, offshore and marine engineering industry and national economy.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