Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.Read moreRead less
Number Theoretic Methods in Cryptography. It is well known that Number Theory, besides its intrinsic beauty, provides many powerful tools for modern Cryptography. The aim of the project is to formulate and solve new and important mathematical problems, which lie in the background of modern cryptography. They are also of independent value for pure mathematics because they very often stimulate new approaches to and new surprising points of view on classical results and methods. The main outcome w ....Number Theoretic Methods in Cryptography. It is well known that Number Theory, besides its intrinsic beauty, provides many powerful tools for modern Cryptography. The aim of the project is to formulate and solve new and important mathematical problems, which lie in the background of modern cryptography. They are also of independent value for pure mathematics because they very often stimulate new approaches to and new surprising points of view on classical results and methods. The main outcome will be advancing our theoretical knowledge about several major cryptosystems. The project will extend and enrich the area of applications of mathematics to cryptography and related areas.Read moreRead less
Mathematics of Cryptography. The Australian society and economy requires fast, reliable, and secure communication. First-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is one of the most important and urgent tasks. Besides, ....Mathematics of Cryptography. The Australian society and economy requires fast, reliable, and secure communication. First-generation security solutions are not capable of supporting the efficiency and scalability requirements of mass-market adoption of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined. Thus developing new mathematically solid tools in this area is one of the most important and urgent tasks. Besides, the intended work advances our knowledge of the theory and the quality of our culture. As such, it will promote the Australian science and will also have many practical applications in Cryptography, Computer Security and E-Commerce.Read moreRead less
Ring constructions and algorithms for enhancing performance of BCH codes. BCH codes form a major class of codes used in modern communication systems. The aim of this project is to enhance the efficiency of this class of codes by combining them in constructions enabling correction of deletion and insertion errors, and develop efficient implementations of encoding and decoding algorithms incorporating soft decision methods for enhanced error correction. Significance of the project is explained by ....Ring constructions and algorithms for enhancing performance of BCH codes. BCH codes form a major class of codes used in modern communication systems. The aim of this project is to enhance the efficiency of this class of codes by combining them in constructions enabling correction of deletion and insertion errors, and develop efficient implementations of encoding and decoding algorithms incorporating soft decision methods for enhanced error correction. Significance of the project is explained by the role of fast, secure and reliable communications in modern information and communication technology. Expected outcomes include new efficient algorithms and commercial modules available for symbolic computation systems with applications in telecommunications industry.
Read moreRead less
A new generation of fractals: theory, computation, and applications particularly to digital imaging. The project develops the mathematical and algorithmic foundations of superfractals and applies these results to a number of different areas, including in particular, digital imaging. For example, the ``third generation'' of mobile communications (3G), combines wireless mobile technology with high data transmission capacities. Currently the requirement for extensive bandwidth is a problem for e ....A new generation of fractals: theory, computation, and applications particularly to digital imaging. The project develops the mathematical and algorithmic foundations of superfractals and applies these results to a number of different areas, including in particular, digital imaging. For example, the ``third generation'' of mobile communications (3G), combines wireless mobile technology with high data transmission capacities. Currently the requirement for extensive bandwidth is a problem for efficient use. Superfractals and the associated colouring algorithm could be used to develop a new system to produce synthetic content for wireless devices that would require only low bandwidth.Read 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
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
Group orbits in garmonic analysis and ergodic theory. Researchers from many areas need a type of mathematical analysis which involves the behaviour of a system - which may be a set of data points - under repeated application of some operation or group of operations. The structures arising from this kind of process are known as group orbits. The project gives information about their nature. Two major types of orbits are considered, coming from actions of discrete groups on measure spaces, and fro ....Group orbits in garmonic analysis and ergodic theory. Researchers from many areas need a type of mathematical analysis which involves the behaviour of a system - which may be a set of data points - under repeated application of some operation or group of operations. The structures arising from this kind of process are known as group orbits. The project gives information about their nature. Two major types of orbits are considered, coming from actions of discrete groups on measure spaces, and from smooth actions of Lie groups on manifolds, where powerful geometric methods are available. The project will yield new understandings of entropy, and new approaches to Fourier analysis.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.
Operator Integrals and Derivatives. The project is a contribution to the study of non-commutative differential and integral calculus. The novelty of the present project lies in the study of smoothness properties of functions whose domains and ranges are spaces of unbounded, non-commuting operators on some Hilbert space. Our general approach will be based on a detailed investigation of properties of double operator integrals, which permit smoothness estimates of operator-functions. It can be expe ....Operator Integrals and Derivatives. The project is a contribution to the study of non-commutative differential and integral calculus. The novelty of the present project lies in the study of smoothness properties of functions whose domains and ranges are spaces of unbounded, non-commuting operators on some Hilbert space. Our general approach will be based on a detailed investigation of properties of double operator integrals, which permit smoothness estimates of operator-functions. It can be expected that the new techniques generated will find further application in areas of mathematical physics and non-commutative geometry related to quantized calculus.
Read moreRead less