Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace de ....Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace determination to characterise their computational efficiency, accuracy and effectiveness in various data scenarios. The analysis will lead to improved designs for eigenvalue/eigenspace algorithms, as well as design tools to engineer algorithms to specific situations.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
Propagation of singularities for the Schrodinger equation. The time-dependent Schrodinger equation governs the evolution of quantum particles. In this project we aim to use new techniques from mathematical scattering theory to analyse solutions of the Schrodinger equation and obtain sharp bounds on their singularities. Controlling such singularities will allow us to deduce quantitative bounds on the number of eigenvalues in certain situations, and provide new techniques for studying nonlinear Sc ....Propagation of singularities for the Schrodinger equation. The time-dependent Schrodinger equation governs the evolution of quantum particles. In this project we aim to use new techniques from mathematical scattering theory to analyse solutions of the Schrodinger equation and obtain sharp bounds on their singularities. Controlling such singularities will allow us to deduce quantitative bounds on the number of eigenvalues in certain situations, and provide new techniques for studying nonlinear Schrodinger equations. Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Sequence Data Analysis. Sequence data analysis is about extracting information included in sequences of data in which the order of sequence matters. The project aims to work with two well known research groups in Germany with complimentary expertise to support two applications in this area: analysis of biological sequence data and detection and classification of sequence images, both with a very high significance to research and industry. It is planned to investigate on the diversity and the com ....Sequence Data Analysis. Sequence data analysis is about extracting information included in sequences of data in which the order of sequence matters. The project aims to work with two well known research groups in Germany with complimentary expertise to support two applications in this area: analysis of biological sequence data and detection and classification of sequence images, both with a very high significance to research and industry. It is planned to investigate on the diversity and the commonality in both applications leading to better and faster algorithms and their hardware implementations. It is expected to train high quality postgraduates and postdoctoral fellows at Melbourne and the host institutions.Read moreRead less
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
Stochastic modelling and analysis of spatio-temporal processes with fractal characteristics. Interest has grown in recent years on the derivation of fractal models to represent certain physical phenomena such as diffusion and transport in porous media, oceanic and atmospheric turbulence, climatology, etc. This project focuses on the phenomenon of diffusion on domains with multifractal geometry. Recent advances in harmonic analysis on fractals and our own development of fractional generalized ran ....Stochastic modelling and analysis of spatio-temporal processes with fractal characteristics. Interest has grown in recent years on the derivation of fractal models to represent certain physical phenomena such as diffusion and transport in porous media, oceanic and atmospheric turbulence, climatology, etc. This project focuses on the phenomenon of diffusion on domains with multifractal geometry. Recent advances in harmonic analysis on fractals and our own development of fractional generalized random fields allow us to formulate a comprehensive program to tackle some key problems including modeling, processing and statistical estimation of fractional diffusion. Advances made in this program will in turn benefit the developments in related scientific fields.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