Verifying the Riemann hypothesis to large heights: theory and applications. This project aims to verify the Riemann hypothesis to a record height and apply this verification to the distribution of prime numbers. The Riemann hypothesis (an open problem for 150 years) is ubiquitous in analytic number theory and prevalent in many other areas of mathematics. This project plans to use state-of-the-art computational hardware and the mathematical and algorithmic expertise of the investigators to verify ....Verifying the Riemann hypothesis to large heights: theory and applications. This project aims to verify the Riemann hypothesis to a record height and apply this verification to the distribution of prime numbers. The Riemann hypothesis (an open problem for 150 years) is ubiquitous in analytic number theory and prevalent in many other areas of mathematics. This project plans to use state-of-the-art computational hardware and the mathematical and algorithmic expertise of the investigators to verify the Riemann hypothesis several orders of magnitude further than what is currently known. A secondary aim is to apply this new verification to a multitude of results in analytic number theory: this would provide future researchers with vastly superior results.Read moreRead less
Braid groups and higher representation theory. Symmetry is a central notion in classical representation theory. In higher representation theory the symmetries of classical representation theory are replaced by higher symmetries. These higher symmetries contain new structure not present at the classical level. The proposed research will develop the higher representation theory of fundamental objects from classical representation theory and geometric group theory, focusing on braid groups and quan ....Braid groups and higher representation theory. Symmetry is a central notion in classical representation theory. In higher representation theory the symmetries of classical representation theory are replaced by higher symmetries. These higher symmetries contain new structure not present at the classical level. The proposed research will develop the higher representation theory of fundamental objects from classical representation theory and geometric group theory, focusing on braid groups and quantum groups.Read moreRead less
Equations of Monge-Ampere type and applications. Many fundamental problems in geometry, physics and applied sciences are related to equations of Monge-Ampere type. In recent years there have been rapid developments in the study of these equations with major breakthroughs made by the proposers. This project aims at new discoveries and findings in theory and applications by resolving outstanding open problems, and enhance Australian leadership, expertise, and training in key areas of mathematics a ....Equations of Monge-Ampere type and applications. Many fundamental problems in geometry, physics and applied sciences are related to equations of Monge-Ampere type. In recent years there have been rapid developments in the study of these equations with major breakthroughs made by the proposers. This project aims at new discoveries and findings in theory and applications by resolving outstanding open problems, and enhance Australian leadership, expertise, and training in key areas of mathematics and its applications.Read moreRead less
Stabilisation of nonlinear quantum feedback control systems. One of the most exciting technological developments of this century promises to be the development of quantum technology. Quantum feedback systems will play a key part of this technology and this project will develop the underlying fundamental theory which will be crucial to the systematic design of quantum feedback control systems.
Coherent Feedback Synchronisation and Stabilisation of Quantum Systems. The aim of this project is to address a range of fundamental problems of stabilisation and coherent synchronisation in quantum feedback control systems, leading to new systematic methods of designing controllers for the interacting quantum systems arising in emerging areas of quantum technology. Quantum feedback control systems will be at the heart of emerging areas of quantum technology and stability is essential for their ....Coherent Feedback Synchronisation and Stabilisation of Quantum Systems. The aim of this project is to address a range of fundamental problems of stabilisation and coherent synchronisation in quantum feedback control systems, leading to new systematic methods of designing controllers for the interacting quantum systems arising in emerging areas of quantum technology. Quantum feedback control systems will be at the heart of emerging areas of quantum technology and stability is essential for their operation. Standard control system methods do not take into account the special features of quantum systems and there is a need for new control theories that deal with stabilisation and synchronisation as quantum technologies become more advanced. Read moreRead less
Nonlinear elliptic partial differential equations and applications. Many fundamental advances in modern technology, science and economics are driven by the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been increasing use in applications of partial differential equations of elliptic type with major discoveries made and longstanding problems resolved by the two Chief Investigators, who have in return received many international accolades ....Nonlinear elliptic partial differential equations and applications. Many fundamental advances in modern technology, science and economics are driven by the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been increasing use in applications of partial differential equations of elliptic type with major discoveries made and longstanding problems resolved by the two Chief Investigators, who have in return received many international accolades. This project provides for the continuation of Australian leadership in key strategic areas of international science, such as optimal transportation, as well as the continued building of related expertise and training.Read moreRead less
Nonlinear elliptic equations and applications. Many fundamental advances in modern technology, science and economics are driven through the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been an explosion in applications of partial differential equations of elliptic type with major discoveries in underlying theory being made by the two Chief Investigators. This project provides for the continuation of Australian leadership in key st ....Nonlinear elliptic equations and applications. Many fundamental advances in modern technology, science and economics are driven through the analysis of nonlinear models based on nonlinear partial differential equations. In recent years there has been an explosion in applications of partial differential equations of elliptic type with major discoveries in underlying theory being made by the two Chief Investigators. This project provides for the continuation of Australian leadership in key strategic areas of international science, such as optimal transportation, as well as the continued building of related expertise and training.Read moreRead less
Variational problems of Monge-Ampere type. Nonlinear models dominate the frontline of modern theoretical and applied mathematics. This project concerns contemporary variational problems with analysis linked strongly to the Monge-Ampere equation, which is a fully nonlinear partial differential equation. Its study in recent years has generated complex and deep theoretical issues along with a diverse range of applications. The proposal is divided into two themes, affine maximal surfaces (involving ....Variational problems of Monge-Ampere type. Nonlinear models dominate the frontline of modern theoretical and applied mathematics. This project concerns contemporary variational problems with analysis linked strongly to the Monge-Ampere equation, which is a fully nonlinear partial differential equation. Its study in recent years has generated complex and deep theoretical issues along with a diverse range of applications. The proposal is divided into two themes, affine maximal surfaces (involving fourth order partial differential equations of Monge-Ampere type) and optimal transportation (where Monge-Ampere theory has been applied successfully in recent years). Each of these builds upon major recent research breakthroughs of the proposers.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
Algebraic K-theory and groups. This project will study the K-theory of division algebras, their generalisation to Azumaya algebras and the nonstable K-theory of rings. Expected outcomes would enhance our understanding on the structure of these K groups.
The goal is to settle some of the most significant conjectures in the subject: Bak's solvability of nonstable K groups over rings and the Merkurjev-Suslin conjectures on reduced K theory of division rings.
The study of these problems contribu ....Algebraic K-theory and groups. This project will study the K-theory of division algebras, their generalisation to Azumaya algebras and the nonstable K-theory of rings. Expected outcomes would enhance our understanding on the structure of these K groups.
The goal is to settle some of the most significant conjectures in the subject: Bak's solvability of nonstable K groups over rings and the Merkurjev-Suslin conjectures on reduced K theory of division rings.
The study of these problems contributes to and draws from such topics as group theory, commutative ring theory, algebraic number theory and algebraic geometry.
Read moreRead less