Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this ear ....Stochastic Geometry for Multi-sensor Data Fusion System. The aim of this project is to develop efficient algorithms for tracking and sensor management in a multi-sensor multi-target environment. Finite random set theory provides a natural way of representing a random number of (random) object states, an issue that has been largely ignored in the tracking literature until recently. Although a satisfactory foundation for multiple object filtering has been provided by random set theory, in this early stage no algorithm capable of tracking many targets has emerged from this framework. We are confident that efficient algorithms can be developed by exploiting the insights and mathematical tools of stochastic geometryRead moreRead less
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
From quantum integrable systems to algebraic geometry and combinatorics. The purpose of this project is to investigate the deep connections that have recently emerged between the study of an area of mathematical physics (quantum integrable systems) and subjects of pure mathematics (enumerative and algebraic combinatorics, and algebraic geometry). These connections have a common root, which this project plans to reveal using novel methods coming from quantum integrability. This approach is expect ....From quantum integrable systems to algebraic geometry and combinatorics. The purpose of this project is to investigate the deep connections that have recently emerged between the study of an area of mathematical physics (quantum integrable systems) and subjects of pure mathematics (enumerative and algebraic combinatorics, and algebraic geometry). These connections have a common root, which this project plans to reveal using novel methods coming from quantum integrability. This approach is expected to illuminate these subjects leading to a new unified and interdisciplinary picture, and to resolve important open problems in the study of certain algebraic varieties and of their cohomology in the theory of symmetric functions, and related counting problems.Read moreRead less
Dynamics on space-filling shapes. Modern science derives its power from mathematical models and tools that enable us to predict their behaviours. The project aims to construct new models given by dynamical systems that move consistently from one tile to another in a lattice of higher-dimensional shapes called polytopes. The construction is expected to lead to new functions with properties that will provide extensions of current models of growth processes. The intended outcomes of the project inc ....Dynamics on space-filling shapes. Modern science derives its power from mathematical models and tools that enable us to predict their behaviours. The project aims to construct new models given by dynamical systems that move consistently from one tile to another in a lattice of higher-dimensional shapes called polytopes. The construction is expected to lead to new functions with properties that will provide extensions of current models of growth processes. The intended outcomes of the project include predictive tools that describe nonlinear special functions and information about their symmetry reductions. This should provide significant benefits, such as new mathematical knowledge, innovative techniques, and enhanced scientific capacity in Australia.Read moreRead less
Geometry and analysis of discrete integrable systems. Whether we are looking at waves at a beach or the movement of herds of animals in a landscape, their movements and fluctuations turn out to rely on rules expressed by non-linear systems of mathematical equations. The aim of this project is to create a new mathematical theory to describe and predict the solutions of such systems.
Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "goo ....Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "good" codes and cryptosystems can be constructed from specific function fields whose existence is guaranteed by abstract theory, often no actual construction for the function field is currently known. We aim to close this gap, making a greater range of "good" codes and cryptosystems available for practical applications.
Read moreRead less
HOLOMORPHIC CURVES, REEB FLOWS AND CONTACT TOPOLOGY. Motion of a satellite is one of many examples of a Reeb dynamical system. The aim of the project is to deepen our understanding of Reeb flows. The Reeb flows, in particular, include Hamiltonian flows on three-dimensional contact type energy surfaces. To study the behaviour of Reeb flows we construct systems of global surfaces of section and study the iterates of the Poincare map, which is obtained by following the flow until it hits a surface. ....HOLOMORPHIC CURVES, REEB FLOWS AND CONTACT TOPOLOGY. Motion of a satellite is one of many examples of a Reeb dynamical system. The aim of the project is to deepen our understanding of Reeb flows. The Reeb flows, in particular, include Hamiltonian flows on three-dimensional contact type energy surfaces. To study the behaviour of Reeb flows we construct systems of global surfaces of section and study the iterates of the Poincare map, which is obtained by following the flow until it hits a surface. The main tools in constructing systems of global surfaces of section are holomorphic curves in symplectization, which are defined on punctured Riemann surfaces and solve nonlinear Cauchy-Riemann type operator. These curves are also main ingredients of new invariants of contact and symplectic manifolds.
These new invariants are now known as Contact Homology and Symplectic Field Theory. In the second part of the project we develop analytical foundations for these theories.Read moreRead less
Spectral Theory of Hamiltonian Dynamical Systems. Stability theory of steady states, travelling waves, periodic waves, and other coherent structures in nonlinear Hamiltonian partial differential equations is a cornerstone of modern dynamical systems. In particular it is of utmost importance to reliably compute eigenvalues, which determine the stability or instability of such structures. This project will develop methods to compute the spectrum of Hamiltonian operators in more than one spatial di ....Spectral Theory of Hamiltonian Dynamical Systems. Stability theory of steady states, travelling waves, periodic waves, and other coherent structures in nonlinear Hamiltonian partial differential equations is a cornerstone of modern dynamical systems. In particular it is of utmost importance to reliably compute eigenvalues, which determine the stability or instability of such structures. This project will develop methods to compute the spectrum of Hamiltonian operators in more than one spatial dimension. It will use the powerful geometric tools of the Maslov index and the Evans function. We will use these to simultaneously advance, and bring together the theories of the two dimensional Euler equations and Jacobi operators.Read moreRead less
Eclectic problems in topology, geometry and dynamics. This project aims to resolve a number of problems across several broad areas of pure mathematics. The problems all have a geometric or topological flavour, and some deal with dynamics in the qualitative sense. The problems share two common themes: they have group theoretic aspects and homological aspects. Specifically, the problems lie in the following areas:
1. finite dimensional Lie algebras and their cohomology,
2. low dimensional combin ....Eclectic problems in topology, geometry and dynamics. This project aims to resolve a number of problems across several broad areas of pure mathematics. The problems all have a geometric or topological flavour, and some deal with dynamics in the qualitative sense. The problems share two common themes: they have group theoretic aspects and homological aspects. Specifically, the problems lie in the following areas:
1. finite dimensional Lie algebras and their cohomology,
2. low dimensional combinatorial geometry: graph drawings on surfaces,
3. topological dynamics of group actions,
4. differentiable group actions and foliation theory.
The most significant aims are to resolve two well known conjectures: Halperin's toral rank conjecture and Conway's thrackle conjecture.
Read moreRead less
Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and sta ....Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and statistical mechanics and is likely to have flow-on effects in real-world disciplines such as network communication. This project will also strengthen Australia's international presence in discrete mathematics and will further strengthen ties between Australian and international mathematicians.Read moreRead less