Representations of dynamical systems, amenability, and proper actions. Mathematicians study abstract objects by representing them in terms of well-understood concrete models, and need to know when a representation is faithful, in the sense that the model contains complete information. Dynamical systems are an abstraction of physical systems suitable for studying time evolution and symmetries. The project aims to determine when important representations of dynamical systems are faithful, or, in ....Representations of dynamical systems, amenability, and proper actions. Mathematicians study abstract objects by representing them in terms of well-understood concrete models, and need to know when a representation is faithful, in the sense that the model contains complete information. Dynamical systems are an abstraction of physical systems suitable for studying time evolution and symmetries. The project aims to determine when important representations of dynamical systems are faithful, or, in mathematical language, when the dynamical system is amenable. The proposed strategy involves extending Rieffel's notion of proper actions; the construction should be of wide applicability apart from the intended applications to amenability.Read moreRead less
The structure of quantum groups. We propose to study the structure of mathematical objects used in describing symmetries of micro-scale phenomena. The project will significantly develop already well established Australian-Korean cooperation in this exciting and rapidly growing area of research. The results will be immediately applicable to related fields of mathematics, most notably to noncommutative geometry. In the long run, the outcomes will help in better understanding of fundamental problem ....The structure of quantum groups. We propose to study the structure of mathematical objects used in describing symmetries of micro-scale phenomena. The project will significantly develop already well established Australian-Korean cooperation in this exciting and rapidly growing area of research. The results will be immediately applicable to related fields of mathematics, most notably to noncommutative geometry. In the long run, the outcomes will help in better understanding of fundamental problems of modern quantum physics.Read moreRead less
Continuous Optimization with Linear Matrix Inequality Constraints. The proposed research is expected to lead to new insights and new joint collaborative work for both Autralian and Korean partners. Joining forces of the two teams will ensure that a full range of techniques can be utilized to provide rapid successful research outcomes. The proposed collaboration will give better opportunity to increase the visibility of the work from Korea in Australia, and vice versa. One of the key national be ....Continuous Optimization with Linear Matrix Inequality Constraints. The proposed research is expected to lead to new insights and new joint collaborative work for both Autralian and Korean partners. Joining forces of the two teams will ensure that a full range of techniques can be utilized to provide rapid successful research outcomes. The proposed collaboration will give better opportunity to increase the visibility of the work from Korea in Australia, and vice versa. One of the key national benefits is that the proposed research collaboration will provide extremly fertile ground for training postdoctoral researchers and graduate students in one of the most applicable areas of mathematics.Read moreRead less
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Developing the Helium Atom Pinhole Camera. The tantalising possibility of an optical instrument that uses neutral atom beams to image surfaces, rather than light or electrons, has been a grand challenge in Physics ever since de Broglie first postulated the existence of matter waves . This project seeks to realise this seminal goal using an elegantly simple design based on the concept of a pin hole camera. The successful development of this world-first instrument would represent a significant adv ....Developing the Helium Atom Pinhole Camera. The tantalising possibility of an optical instrument that uses neutral atom beams to image surfaces, rather than light or electrons, has been a grand challenge in Physics ever since de Broglie first postulated the existence of matter waves . This project seeks to realise this seminal goal using an elegantly simple design based on the concept of a pin hole camera. The successful development of this world-first instrument would represent a significant advance in helium atom microscopy and would significantly enhance the reputation of Australian science. Moreover, this project strengthens and supports a key collaboration between the Universities of Newcastle and Cambridge and is at the core of this emerging technology.Read moreRead less
Boundary Value Problems for Differential Inclusions. Boundary value problems (BVPs) for differential inclusions are mathematical equations that accurately describe the complex world around us. This project aims to answer important mathematical questions such as:
(i) Under what conditions do BVPs for differential inclusions actually have solutions?
(ii) If solutions do exist, what are their properties?
(iii) If solutions are too complicated to be found explicitly, then how can they be approxim ....Boundary Value Problems for Differential Inclusions. Boundary value problems (BVPs) for differential inclusions are mathematical equations that accurately describe the complex world around us. This project aims to answer important mathematical questions such as:
(i) Under what conditions do BVPs for differential inclusions actually have solutions?
(ii) If solutions do exist, what are their properties?
(iii) If solutions are too complicated to be found explicitly, then how can they be approximated?
The approach is to use modern tools from mathematical analysis, including new differential inequalities.
The project outcomes will:
(a) Significantly advance mathematical knowledge for differential inclusions
(b) Have many applications to areas of science, engineering and technology.Read moreRead less
Lifting the curse of dimensionality - bringing together the quasi Monte Carlo and sparse grid methods. This project is expected to lead to improved methods for handling high-dimensional problems (i.e. problems with many variables) that arise in finance, statistics, commerce, physics, and many other fields. In turn this could lead to significant economic benefit, especially to high-value service industries such as the finance industry. By strengthening international collaboration, it will also ....Lifting the curse of dimensionality - bringing together the quasi Monte Carlo and sparse grid methods. This project is expected to lead to improved methods for handling high-dimensional problems (i.e. problems with many variables) that arise in finance, statistics, commerce, physics, and many other fields. In turn this could lead to significant economic benefit, especially to high-value service industries such as the finance industry. By strengthening international collaboration, it will also help to maintain Australia's strong position in international research in the mathematical sciences.Read moreRead less
Ergodic theory and number theory. Recent advances in the theory of measured dynamical systems investigated by the proponents include new versions of entropy, and the study of spectral theory for non-singular systems. These will be further developed in this joint project with the French CNRS. The results are expected to have interesting applications in physics and number theory.
Entropy and maximal entropy in Markov systems. Entropy is a measure of how well-ordered a system is: chaotic systems have high entropy. Two approaches to entropy are available, via the limiting behaviour of the orbits of points, which yields topological entropy, and via the behaviour of the distributions of measures of partitions, yielding measure-theoretic entropy. The topological entropy is the least upper bound of entropies of all possible measures. We study when there is a measure which real ....Entropy and maximal entropy in Markov systems. Entropy is a measure of how well-ordered a system is: chaotic systems have high entropy. Two approaches to entropy are available, via the limiting behaviour of the orbits of points, which yields topological entropy, and via the behaviour of the distributions of measures of partitions, yielding measure-theoretic entropy. The topological entropy is the least upper bound of entropies of all possible measures. We study when there is a measure which realises this bound, describing the structure of such systems via Markov and Bratteli diagrams. Our methods will be applied to new versions of entropy for non-singular systems. This will assist in the description of chaotic behaviour.Read moreRead less
Computational Schemes for Initial-Boundary Value Problems. Many physical phenomena can be modelled as initial-boundary value problems described by partial differential equations. Simulations of such models require efficient and robust computational algorithms. The main aim of this project is to propose numerical algorithms for two dimensional spatial problems and three dimensional time-space models. A major focus of the project is to investigate methods that require about half the computation ....Computational Schemes for Initial-Boundary Value Problems. Many physical phenomena can be modelled as initial-boundary value problems described by partial differential equations. Simulations of such models require efficient and robust computational algorithms. The main aim of this project is to propose numerical algorithms for two dimensional spatial problems and three dimensional time-space models. A major focus of the project is to investigate methods that require about half the computational resources over celebrated schemes for solving boundary value problems.Read moreRead less