Representations of arithmetic groups and their associated zeta functions. This project aims to investigate deep connections between number theory and group theory by studying linear actions of arithmetic groups. Arithmetic groups are used in geometry, dynamics, number theory and other areas of pure mathematics. This project will study their representations from two perspectives. First, it will establish properties of the associated zeta functions to resolve open problems about the asymptotic beh ....Representations of arithmetic groups and their associated zeta functions. This project aims to investigate deep connections between number theory and group theory by studying linear actions of arithmetic groups. Arithmetic groups are used in geometry, dynamics, number theory and other areas of pure mathematics. This project will study their representations from two perspectives. First, it will establish properties of the associated zeta functions to resolve open problems about the asymptotic behaviour of the dimensions of the irreducible representations. Second, it will explore the evolution of representations across families of groups under new induction and restriction functors, in analogy with creation and annihilation operators in physics. The project will enhance Australia's capacity in representation theory and group theory, the mathematics that underline symmetry in nature.Read moreRead less
Topics in triangulated categories. This project in pure mathematics, more specifically in modern homological algebra, builds on work started by the chief investigator in the last five years. What has already been done has achieved striking results, solving very different problems that have been open for two decades. And there seem to be many directions in which it could be pursued further.
The international mathematical community seems intrigued by what the chief investigator has achieved recen ....Topics in triangulated categories. This project in pure mathematics, more specifically in modern homological algebra, builds on work started by the chief investigator in the last five years. What has already been done has achieved striking results, solving very different problems that have been open for two decades. And there seem to be many directions in which it could be pursued further.
The international mathematical community seems intrigued by what the chief investigator has achieved recently - judging by invitations to give prestigious talks and the feedback at these events. The expected outcome is major progress in our understanding of derived categories, as well as diverse applications. The benefit will be to enhance the international stature of Australian science.Read moreRead less
Groups, piecewise linear representations, and linear 2-representations. This project aims to address fundamental questions at the interface of two central areas of modern mathematics, geometric group theory and higher representation theory. Higher representation theory is a relatively new field, but its tools have already had a tremendous impact on mathematics. The project is expected to use these tools to address outstanding questions in geometric group theory. The expected outcomes of this pr ....Groups, piecewise linear representations, and linear 2-representations. This project aims to address fundamental questions at the interface of two central areas of modern mathematics, geometric group theory and higher representation theory. Higher representation theory is a relatively new field, but its tools have already had a tremendous impact on mathematics. The project is expected to use these tools to address outstanding questions in geometric group theory. The expected outcomes of this project include resolutions of open problems in the theory of Artin groups and the creation of a new subject, the dynamical theory of two-linear groups.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
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
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
Stability conditions: their topology and applications. This project aims to answer questions about the topology of the space of stability conditions, which has emerged as a central object in a number of different mathematical areas in the past two decades. The proposed work will have important consequences in representation theory, group theory, and algebraic geometry. The project shows that tools from previously unrelated areas, including discontinous differential equations and discrete dynam ....Stability conditions: their topology and applications. This project aims to answer questions about the topology of the space of stability conditions, which has emerged as a central object in a number of different mathematical areas in the past two decades. The proposed work will have important consequences in representation theory, group theory, and algebraic geometry. The project shows that tools from previously unrelated areas, including discontinous differential equations and discrete dynamical systems, are crucial in the theory of stability conditions. Potential benefits include the resolution of outstanding conjectures in mathematics, the initiation of new connections between different areas of mathematics, and the introduction of machine learning techniques into mathematical research.Read moreRead less
Control and learning for enhancing capabilities of quantum sensors. This project aims to develop new theories and algorithms to enhance capabilities in engineering quantum sensors from the perspective of systems and control. The project is significant because it is anticipated to advance key knowledge and provide systematic methods to enable achievement of high-precision sensing for wide applications, e.g., early disease detection, medical research, discovery of ore deposits and groundwater moni ....Control and learning for enhancing capabilities of quantum sensors. This project aims to develop new theories and algorithms to enhance capabilities in engineering quantum sensors from the perspective of systems and control. The project is significant because it is anticipated to advance key knowledge and provide systematic methods to enable achievement of high-precision sensing for wide applications, e.g., early disease detection, medical research, discovery of ore deposits and groundwater monitoring. The intended outcomes are fundamental theories, effective control and learning algorithms for achieving highly-sensitive sensors. These outcomes should make important contributions to and deliver new knowledge and skills for Australia's sensing industries, which could benefit Australia's economic growth.Read moreRead less
Control of network systems with signed dynamical interconnections. New technologies such as online recommendations, smart grids, and cyber-physical systems are becoming backbone infrastructure. Such systems are operated as network systems with interconnected functioning units (agents) where cooperative and adversarial agent relations often coexist. This project aims to develop the theories and tools for designing and building dynamic networks with signed interactions that arise from a variety of ....Control of network systems with signed dynamical interconnections. New technologies such as online recommendations, smart grids, and cyber-physical systems are becoming backbone infrastructure. Such systems are operated as network systems with interconnected functioning units (agents) where cooperative and adversarial agent relations often coexist. This project aims to develop the theories and tools for designing and building dynamic networks with signed interactions that arise from a variety of applications where both cooperative and adversarial agent interactions coexist. By developing theories and algorithms for control and identification over such systems, this project will contribute directly to their safe and robust operation. The resulting theories will provide deeper understanding of network control systems and the resulting algorithms will enable the elimination of attackers and malicious users for online review systems and smart grids. This project will contribute to increased cybersecurity for all Australians.Read moreRead less
Cooperative control of networked systems with constraints. This project aims to address the challenge of networked systems in deploying teams of robotic agents. Control of the networked system is extremely difficult due to real world constraints imposed on each agent. This project will focus on motion constraints, equipment/capability constraints, and spatial constraints. In addition to theoretical advances, the wider scientific community will benefit directly, because the control algorithms dev ....Cooperative control of networked systems with constraints. This project aims to address the challenge of networked systems in deploying teams of robotic agents. Control of the networked system is extremely difficult due to real world constraints imposed on each agent. This project will focus on motion constraints, equipment/capability constraints, and spatial constraints. In addition to theoretical advances, the wider scientific community will benefit directly, because the control algorithms developed are expected to allow straightforward deployment of robotic teams. There are myriad applications for cooperative robotic agents, ranging from surveillance, to environmental monitoring using underwater and aerial drone formations – with an array of benefits and impacts including economic, commercial and societal. The results are intended to ensure and cement Australia’s front-line position in the current technological revolution known as “Industry 4.0”.Read moreRead less