Mathematics in the round - the challenge of computational analysis on spheres. Real world problems formulated on spheres (including physical problems for the whole earth) provide many difficult challenges. This project aims at developing algorithms to solve problems on spheres in two and higher dimensions, with applications ranging from geophysics to signal analysis.
Liberating the Dimension - Frontier Technologies for Very High Dimensional Problems. Real world problems tend to involve an enormous number of variables (the dimension) - hundreds, thousands, millions, or even infinite. Very high dimensional problems arise in finance, statistics, physics and many other application areas. For example, in option pricing, maximum likelihood estimation in health statistics, and porous flow through a random medium. In this project, the theory of very high dimensional ....Liberating the Dimension - Frontier Technologies for Very High Dimensional Problems. Real world problems tend to involve an enormous number of variables (the dimension) - hundreds, thousands, millions, or even infinite. Very high dimensional problems arise in finance, statistics, physics and many other application areas. For example, in option pricing, maximum likelihood estimation in health statistics, and porous flow through a random medium. In this project, the theory of very high dimensional computation will be developed in step with applications, with the applications being chosen to help in shaping the theory. The project involves interdisciplinary collaborations and aims to develop frontier technologies for tackling realistic high dimensional problems.Read moreRead less
Asymptotics of the exponentially small. Asymptotic analysis plays a vital role in studying the complex interfacial dynamics that are fundamental for practical problems in fluid mechanics such as the withdrawal of oil and gas from underground reservoirs and the optimal design of ship hulls to minimise wave drag. These applications exhibit extremely small physical effects that may be crucially important but cannot be described using classical asymptotic analysis. This project will develop state of ....Asymptotics of the exponentially small. Asymptotic analysis plays a vital role in studying the complex interfacial dynamics that are fundamental for practical problems in fluid mechanics such as the withdrawal of oil and gas from underground reservoirs and the optimal design of ship hulls to minimise wave drag. These applications exhibit extremely small physical effects that may be crucially important but cannot be described using classical asymptotic analysis. This project will develop state of the art mathematical techniques in exponential asymptotics to address this deficiency in the classical theory, and provide a deeper understanding of pattern formation, instabilities and wave propagation on the interface between two fluids.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE170100222
Funder
Australian Research Council
Funding Amount
$313,964.00
Summary
Optimal adaptivity for uncertainty quantification. This project aims to use an adaptive mesh refinement algorithm to improve the ratio of approximation accuracy versus computational time. Partial differential equations with random coefficients are crucial in simulating groundwater flow, structural stability and composite materials, but their numerical approximation is difficult and time consuming. Advances in adaptive mesh refinement theory allow full analysis and mathematical understanding of t ....Optimal adaptivity for uncertainty quantification. This project aims to use an adaptive mesh refinement algorithm to improve the ratio of approximation accuracy versus computational time. Partial differential equations with random coefficients are crucial in simulating groundwater flow, structural stability and composite materials, but their numerical approximation is difficult and time consuming. Advances in adaptive mesh refinement theory allow full analysis and mathematical understanding of the convergence behaviour of the proposed algorithm. The project intends to develop a theory of adaptive algorithms and freely available software for their reliable (and mathematically underpinned) simulation which could solve problems beyond the capabilities of even the most powerful computers.Read moreRead less
Solving inverse problems with Iterative regularisation and convex penalties. This project aims to develop and investigate new computational procedures for the solution of inverse problems which do not have the usual smoothness properties (or source conditions) required for the traditional regularisation methods. Examples of such inverse problems are very common and include image restoration, photo-acoustic tomography and spectroscopy. It is anticipated that this project will substantially extend ....Solving inverse problems with Iterative regularisation and convex penalties. This project aims to develop and investigate new computational procedures for the solution of inverse problems which do not have the usual smoothness properties (or source conditions) required for the traditional regularisation methods. Examples of such inverse problems are very common and include image restoration, photo-acoustic tomography and spectroscopy. It is anticipated that this project will substantially extend the toolbox of methods for such problems utilising ideas from Banach spaces, convex analysis, parallel computing and optimisation. This project is expected to make a substantial contribution to a better understanding of inverse problems and their solution procedures.Read moreRead less
Exploratory Experimentation and Computation in the Mathematical Sciences: Theory and Practice. Seemingly disparate mathematical research projects rely on subtle experimental mathematics methods, and have unveiled weaknesses in current computer algebra systems and symbolic-numeric-graphic tools. The project attacks issues of efficiency, effectiveness, reliability, and certifiability in high-precision mathematical and scientific computation. This will be done by developing enhanced tools for advan ....Exploratory Experimentation and Computation in the Mathematical Sciences: Theory and Practice. Seemingly disparate mathematical research projects rely on subtle experimental mathematics methods, and have unveiled weaknesses in current computer algebra systems and symbolic-numeric-graphic tools. The project attacks issues of efficiency, effectiveness, reliability, and certifiability in high-precision mathematical and scientific computation. This will be done by developing enhanced tools for advanced computation of special functions driven by pursuit of challenging research problems. The focus is on tractable components that arose in prior research on effective high-precision algorithms for multiple integrals, such as arise throughout mathematical physics, number theory and elsewhere.Read moreRead less
Australian Laureate Fellowships - Grant ID: FL120100094
Funder
Australian Research Council
Funding Amount
$3,184,657.00
Summary
Geometric construction of critical solutions of nonlinear systems. Whether we are looking at waves on a beach, the dispersal of herds of animals in a landscape, or the interaction of black holes, their patterns of movement rely on rules expressed by non-linear mathematical models. This project will aim to create new mathematical methods to describe the solutions of non-linear systems, which are ubiquitous in modern science.
Critical solutions of nonlinear systems. Whether we are looking at waves on a beach, the dispersal of herds of animals in a landscape, or the interaction of black holes, their patterns of movement rely on rules expressed by nonlinear mathematical models. This project aims to create new mathematical methods to describe critical solutions of nonlinear systems, which are ubiquitous in modern science.
Reflection Groups and Discrete Dynamical Systems. This project aims to solve long-standing problems in discrete dynamical systems that are of particular interest to physics, by using reflection groups to reveal unexpected geometric insights. Mathematics has the power to abstract crucial patterns from complex observations. Symmetries familiar in the real world, like the hexagonal patterns of honeycombs, arise inside convoluted structures in high-dimensional systems. By revealing the structure of ....Reflection Groups and Discrete Dynamical Systems. This project aims to solve long-standing problems in discrete dynamical systems that are of particular interest to physics, by using reflection groups to reveal unexpected geometric insights. Mathematics has the power to abstract crucial patterns from complex observations. Symmetries familiar in the real world, like the hexagonal patterns of honeycombs, arise inside convoluted structures in high-dimensional systems. By revealing the structure of space-filling polytopes in integrable systems, the project seeks to find sought-after reductions of high-dimensional discrete models to two dimensions. Expected outputs include new reductions to discrete Painlevé equations, new circle patterns useful for computer graphics and discrete holomorphic functions.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