Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This proj ....Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This project will answer many fundamental questions about large, random hypergraphs. The expected outcomes of the project also include new tools for working with hypergraphs, such as efficient algorithms for sampling hypergraphs. These outcomes will benefit researchers who use hypergraphs in their work and will enhance Australia's reputation for research in this area.Read moreRead less
Energy, Cosmic Censorship and Black Hole Stability. Human progress is achieved by confronting fundamental questions, at the leading edge of knowledge. This project will lead to better understanding of space-time physics, and of the properties of singular solutions of non-linear hyperbolic equations. Such equations govern a wide range of physical phenomena, including fluid flow, weather and electromagnetic fields.
Global wavefront propagation and non-elliptic Fredholm theory. Many significant phenomena in the natural world are described by partial differential equations that involve evolution in time. This project aims to develop new mathematical methods, involving recently discovered global wavefront set analysis and Fredholm theory, to solve such equations. These methods aim to extend the range of equations that can be solved as well as yield more information about solutions, in particular, their long-t ....Global wavefront propagation and non-elliptic Fredholm theory. Many significant phenomena in the natural world are described by partial differential equations that involve evolution in time. This project aims to develop new mathematical methods, involving recently discovered global wavefront set analysis and Fredholm theory, to solve such equations. These methods aim to extend the range of equations that can be solved as well as yield more information about solutions, in particular, their long-time asymptotics.Read moreRead less
Categorical symmetries in representation theory. This project aims to develop categorical symmetries of central objects in mathematics such as braid groups, the Hilbert scheme of points, and the Virasoro algebra. The concept of symmetry is an important organising principle in science. Representation theory is the field of mathematics concerned with studying symmetries. The problems proposed have connections to many different areas including algebra, geometry, topology, and mathematical physics. ....Categorical symmetries in representation theory. This project aims to develop categorical symmetries of central objects in mathematics such as braid groups, the Hilbert scheme of points, and the Virasoro algebra. The concept of symmetry is an important organising principle in science. Representation theory is the field of mathematics concerned with studying symmetries. The problems proposed have connections to many different areas including algebra, geometry, topology, and mathematical physics. This project expects to advance pure mathematics and provide potential benefit in many related fields.Read moreRead less
Moduli, invariants, and algebraisation. This project is in pure mathematics. It aims to address gaps in our
knowledge in the modern geometries and their associated algebraic structures that arise in classification problems that pervade mathematics and its applications.
This project expects to generate new knowledge in modern algebra and geometry.
Expected outcomes of this project include major progress in our
understanding of invariants of derived categories of algebraic stacks and the
relat ....Moduli, invariants, and algebraisation. This project is in pure mathematics. It aims to address gaps in our
knowledge in the modern geometries and their associated algebraic structures that arise in classification problems that pervade mathematics and its applications.
This project expects to generate new knowledge in modern algebra and geometry.
Expected outcomes of this project include major progress in our
understanding of invariants of derived categories of algebraic stacks and the
relationship between algebraic and other geometries.
The benefit will be to enhance the international stature of Australian science.Read moreRead less
Design of Real-time Optimisation Methods with Guaranteed Performance. The project aim is the development of a framework for the advancement of optimisation algorithms operating in real-time applications. This project expects to generate new knowledge in the area of systems theory and optimisation, and its application to time-varying problems. Expected outcomes of this project should lead to a new theoretical and practical framework that aims to ameliorate the shortcomings of the existing approac ....Design of Real-time Optimisation Methods with Guaranteed Performance. The project aim is the development of a framework for the advancement of optimisation algorithms operating in real-time applications. This project expects to generate new knowledge in the area of systems theory and optimisation, and its application to time-varying problems. Expected outcomes of this project should lead to a new theoretical and practical framework that aims to ameliorate the shortcomings of the existing approaches that struggle to rapidly respond to new information. This should provide significant benefits. Specifically, this project aims to facilitate a technological leap that generates smaller, faster, and more powerful embedded systems such as broadband services, mobile phones, medical imagining, radar and avionics.Read moreRead less
Development of Control Methodologies for Drug Dosing in Biomedical Engineering. This research proposal is very relevant to the National Research Priorities in the areas of Frontier Technologies and Breakthrough science. At a broader level, we aim to assist in the development of a national competence in what has been an emerging and promising discipline. The research will develop fundamental and enabling laws and techniques for drug administration to regulate physiological variables such as blood ....Development of Control Methodologies for Drug Dosing in Biomedical Engineering. This research proposal is very relevant to the National Research Priorities in the areas of Frontier Technologies and Breakthrough science. At a broader level, we aim to assist in the development of a national competence in what has been an emerging and promising discipline. The research will develop fundamental and enabling laws and techniques for drug administration to regulate physiological variables such as blood pressure and degree of consciousness in critical care patients.Read moreRead less
Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence appl ....Mathematical, logical and computational foundations of hybrid control systems, and their application to design and synthesis problems in control engineering. Hybrid control systems are mathematical models of heterogeneous systems consisting of digital computer components interacting in real-time with continuous physical processes. Their many engineering applications include air traffic control, medical technology and automated transport. Motivated by such safety-critical and high-confidence applications, the project aims to develop a unified framework of mathematical logics adequate to formally represent and reason about the structure, behaviour, and properties of hybrid control systems, and use this to develop methodologies for automatically synthesising hybrid control programs that are provably correct with respect to their specifications. Other outcomes include prototype software implementations of hybrid controller design tools.Read moreRead less