Geometry in projection methods and fixed-point theory. This project aims to resolve mathematical challenges arising from problems with specific structure typical for key modern applications, such as big data optimisation, chemical engineering and medical imaging. We focus on developing new mathematical tools for the analysis of projection methods and accompanying fixed point theory, specifically targeting the refinement of the geometric intuition for algorithm design techniques to inform the imp ....Geometry in projection methods and fixed-point theory. This project aims to resolve mathematical challenges arising from problems with specific structure typical for key modern applications, such as big data optimisation, chemical engineering and medical imaging. We focus on developing new mathematical tools for the analysis of projection methods and accompanying fixed point theory, specifically targeting the refinement of the geometric intuition for algorithm design techniques to inform the implementation of optimal methods for huge-scale optimisation problems.Read moreRead less
Stability of Generalised Equations and Variational Systems. This project seeks to advance a new mathematical theory of variational analysis which may lead to applications in optimisation. The emphasis will be on extensions of regularity concepts appropriate for studying stability (the ‘radius of good behaviour’) of solutions to optimisation problems, particularly those of semi-infinite optimisation and programs with equilibrium constraints, when standard assumptions are not satisfied. The expect ....Stability of Generalised Equations and Variational Systems. This project seeks to advance a new mathematical theory of variational analysis which may lead to applications in optimisation. The emphasis will be on extensions of regularity concepts appropriate for studying stability (the ‘radius of good behaviour’) of solutions to optimisation problems, particularly those of semi-infinite optimisation and programs with equilibrium constraints, when standard assumptions are not satisfied. The expected outcomes may have an impact in enhancing the convergence of numerical methods and facilitating the post-optimal analysis of solutions. It may also generate new tools for increasing efficiencies and cost reductions in engineering, logistics, economics, financial systems, and environmental science.Read moreRead less
Structured barrier and penalty functions in infinite dimensional optimisation and analysis. Very large scale tightly-constrained optimisation problems are ubiquitous and include water management, traffic flow, and imaging at telescopes and hospitals. Massively parallel computers can solve such problems and provide physically realisable solution only if subtle design issues are mastered. Resolving such issues is the goal of this project.
Relaxed reflection methods for feasibility and matrix completion problems. The project proposes to further develop the non-linear convergence theory, and to provide problem-specific implementations. Many applied and pure problems require solution of a large set of linear or nonlinear equations (or inequalities). Highly effective, parallelisable methods are based on iterated projection or reflection algorithms which aggregate information about individual equations. The theory is well developed in ....Relaxed reflection methods for feasibility and matrix completion problems. The project proposes to further develop the non-linear convergence theory, and to provide problem-specific implementations. Many applied and pure problems require solution of a large set of linear or nonlinear equations (or inequalities). Highly effective, parallelisable methods are based on iterated projection or reflection algorithms which aggregate information about individual equations. The theory is well developed in the linear case, but does not explain many important applications for which they are often highly successful (eg optical aberration correction, protein reconstruction, tomography, compressed sensing). The project also plans to provide heuristics to help explain why an algorithm performs well on one class of applications but fails on another.Read moreRead less
Novel nonlinear functional analysis methods for singular and impulsive boundary value problems. This project aims to develop innovative functional analysis theories and methods to study various complex nonlinear boundary value problems, with particular focus on singular and impulsive problems. The outcomes of this project aims to enhance Australia’s capability of tackling complex nonlinear science and engineering problems using sophisticated mathematical methods. This project aims to also provid ....Novel nonlinear functional analysis methods for singular and impulsive boundary value problems. This project aims to develop innovative functional analysis theories and methods to study various complex nonlinear boundary value problems, with particular focus on singular and impulsive problems. The outcomes of this project aims to enhance Australia’s capability of tackling complex nonlinear science and engineering problems using sophisticated mathematical methods. This project aims to also provide engineers and scientists with a theoretical base and simulation technique for the study and optimal control of impulsive systems and processes involving nonlinear singularity.Read moreRead less
Harmonic analysis of differential operators in Banach spaces. This proposal aims to develop harmonic analysis (the mathematical tools used in digital music and photography) in new contexts. It focuses on boundary value problems (the theory behind medical or geological imaging) and stochastic equations (which describe phenomena with random components such as the behaviour of financial markets).
Schur decompositions and related problems in operator theory. This project aims to solve some famous problems concerning eigenvalue decompositions in operator theory through new collaborations and by connecting new areas of mathematics. Eigenvalue decomposition is a central concept in mathematics with many applications in science and engineering. One hundred years since its development, however, it is still not known how to decompose certain important operators that arise in analysis and geometr ....Schur decompositions and related problems in operator theory. This project aims to solve some famous problems concerning eigenvalue decompositions in operator theory through new collaborations and by connecting new areas of mathematics. Eigenvalue decomposition is a central concept in mathematics with many applications in science and engineering. One hundred years since its development, however, it is still not known how to decompose certain important operators that arise in analysis and geometry. The project is expected to provide new technology to achieve this, promising new understanding and new applications.Read moreRead less
Australian Laureate Fellowships - Grant ID: FL170100052
Funder
Australian Research Council
Funding Amount
$2,107,500.00
Summary
Breakthrough methods for noncommutative calculus. This project aims to solve hard, outstanding problems which have impeded our ability to progress in the area of quantum or noncommutative calculus. Calculus has provided an invaluable tool to science, enabling scientific and technological revolutions throughout the past two centuries. The project will initiate a program of collaboration among top mathematical researchers from around the world and bring together two separate mathematical areas int ....Breakthrough methods for noncommutative calculus. This project aims to solve hard, outstanding problems which have impeded our ability to progress in the area of quantum or noncommutative calculus. Calculus has provided an invaluable tool to science, enabling scientific and technological revolutions throughout the past two centuries. The project will initiate a program of collaboration among top mathematical researchers from around the world and bring together two separate mathematical areas into a powerful new set of tools. The outcomes from the project will impact research at the forefront of mathematical physics and other sciences and enhance Australia’s reputation and standing.Read moreRead less
Group actions in random dynamical systems. Dynamical systems allow us to model the changes in a system, be it a population, a chemical reaction, a traffic model or a computer network, as time elapses. The systematic study of these systems is expected to lead to new applications in the future.
Harmonic analysis in rough contexts. Harmonic analysis is a set of mathematical techniques aimed at decomposing complex signals into simple pieces in a way that is reminiscent of the decomposition of sounds into harmonics. It is highly efficient in analysing signals in homogeneous media such as wave propagation through the air that underpins wireless communication technology. However, wave propagation through inhomogeneous media, such as the human body in medical imaging or the Earth in geophysi ....Harmonic analysis in rough contexts. Harmonic analysis is a set of mathematical techniques aimed at decomposing complex signals into simple pieces in a way that is reminiscent of the decomposition of sounds into harmonics. It is highly efficient in analysing signals in homogeneous media such as wave propagation through the air that underpins wireless communication technology. However, wave propagation through inhomogeneous media, such as the human body in medical imaging or the Earth in geophysical imaging, is much harder to model. Phenomena with random components, as considered in finance for instance, are also problematic. This project is an important part of an intense international research effort to develop harmonic analysis in such rough contexts.Read moreRead less