p-Adic Methods in Arithmetic Geometry. This project concerns algorithms for determining the number of
solutions to systems of polynomial equations over finite fields
by p-adic methods. Our goal is to determine a fundamental
invariant, the zeta function, appearing in arithmetic geometry,
whose characterization was the subject of the famous Weil
conjectures.
....p-Adic Methods in Arithmetic Geometry. This project concerns algorithms for determining the number of
solutions to systems of polynomial equations over finite fields
by p-adic methods. Our goal is to determine a fundamental
invariant, the zeta function, appearing in arithmetic geometry,
whose characterization was the subject of the famous Weil
conjectures.
We seek to understand and develop p-adic methods for determining
zeta functions, taking as point of departure the methods of Satoh
and Mestre for elliptic curves. Applications of this work include
public key cryptography and coding theory, having direct impact
in e-commerce and telecommunications.
Read moreRead less
Algebraic methods for Markov Chain Monte Carlo and quasi-Monte Carlo. In an increasingly complex world, the requirements on computational methods for solving real world problems from areas like statistics, finance, economics, physics and others are also constantly increasing. The results from this project will significantly improve existing computational methods, thereby helping to solve existing computational challenges and further strengthening Australia's reputation as a leading scientific lo ....Algebraic methods for Markov Chain Monte Carlo and quasi-Monte Carlo. In an increasingly complex world, the requirements on computational methods for solving real world problems from areas like statistics, finance, economics, physics and others are also constantly increasing. The results from this project will significantly improve existing computational methods, thereby helping to solve existing computational challenges and further strengthening Australia's reputation as a leading scientific location. The research carried out will be in collaboration with international experts, creating and strengthening existing ties of Australian research institutions with other world class research institutes overseas.Read moreRead less
Foundations of Vision Based Control of Robotic Vehicles. Automated and partially automated robotic vehicles are an emerging technology in society. The safety and performance of such systems depends crucially on their sensing and control algorithms. Vision sensing is one of the few sensor modalities that has the potential to adequately represent the complexity of a real world environment. By providing simple and effective vision based control algorithms this project develops Frontier Technologi ....Foundations of Vision Based Control of Robotic Vehicles. Automated and partially automated robotic vehicles are an emerging technology in society. The safety and performance of such systems depends crucially on their sensing and control algorithms. Vision sensing is one of the few sensor modalities that has the potential to adequately represent the complexity of a real world environment. By providing simple and effective vision based control algorithms this project develops Frontier Technologies for Building and Transforming Australian Industries by enabling a wide range of robotic vehicle applications, including aerial, submersible, and wheeled vehicles.Read moreRead less
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
Continued Fractions and Torsion on Hyperelliptic Curves. Scientific advance should not blindly add to our knowledge; a true advance brings insights that collapse different issues into one. Understanding more is to need to remember less. For an important class of examples, this project identifies the study of a fundamental invariant of a quadratic number field, its regulator and hence its class number, with maximum torsion on the Jacobian variety of an hyperelliptic curve. The investigator's meth ....Continued Fractions and Torsion on Hyperelliptic Curves. Scientific advance should not blindly add to our knowledge; a true advance brings insights that collapse different issues into one. Understanding more is to need to remember less. For an important class of examples, this project identifies the study of a fundamental invariant of a quadratic number field, its regulator and hence its class number, with maximum torsion on the Jacobian variety of an hyperelliptic curve. The investigator's methods will surprise some longstanding problems into submission and in particular will lead them to reveal full data on torsion on hyperelliptic curves of low genus.
Read moreRead less
Signatures of Order, Chaos and Symmetry in Algebraic Dynamics. The project in the breakthrough science of algebraic dynamics will help inform and sustain both algebraic number theory and dynamical systems in Australia. Thus far, Australia is not well represented in this cutting edge international area, and international research prominence and teaching benefits will flow from the pioneering and innovative topics to be addressed. The research incorporates the synergy of an existing highly-product ....Signatures of Order, Chaos and Symmetry in Algebraic Dynamics. The project in the breakthrough science of algebraic dynamics will help inform and sustain both algebraic number theory and dynamical systems in Australia. Thus far, Australia is not well represented in this cutting edge international area, and international research prominence and teaching benefits will flow from the pioneering and innovative topics to be addressed. The research incorporates the synergy of an existing highly-productive international collaboration and creates possibilities for many more such linkages. It affords Australia a strategic opportunity to considerably increase its profile in the algebraic dynamics community, particularly in the Pacific region.Read moreRead less
Algebraic K-theory and groups. This project will study the K-theory of division algebras, their generalisation to Azumaya algebras and the nonstable K-theory of rings. Expected outcomes would enhance our understanding on the structure of these K groups.
The goal is to settle some of the most significant conjectures in the subject: Bak's solvability of nonstable K groups over rings and the Merkurjev-Suslin conjectures on reduced K theory of division rings.
The study of these problems contribu ....Algebraic K-theory and groups. This project will study the K-theory of division algebras, their generalisation to Azumaya algebras and the nonstable K-theory of rings. Expected outcomes would enhance our understanding on the structure of these K groups.
The goal is to settle some of the most significant conjectures in the subject: Bak's solvability of nonstable K groups over rings and the Merkurjev-Suslin conjectures on reduced K theory of division rings.
The study of these problems contributes to and draws from such topics as group theory, commutative ring theory, algebraic number theory and algebraic geometry.
Read moreRead less
Homotopy theory: interactions with representation theory and moduli spaces. This proposal will involve young researchers and train them for problem solving in many fields, including management, the sciences, the financial industries, and the development of technologies. Furthermore, many of the projects in this proposal are collaborative and interdisciplinary. It is the CI's sincere hope that this proposal can help bolster communication amongst the wealth of topology, number theory, and mathe ....Homotopy theory: interactions with representation theory and moduli spaces. This proposal will involve young researchers and train them for problem solving in many fields, including management, the sciences, the financial industries, and the development of technologies. Furthermore, many of the projects in this proposal are collaborative and interdisciplinary. It is the CI's sincere hope that this proposal can help bolster communication amongst the wealth of topology, number theory, and mathematical physics experts in Australia. The research in these exciting areas of mathematics will contribute to maintaining Australia's position as a research leader in pure mathematics.
Read moreRead less
High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with i ....High dimensional problems of integration and approximation. In many applications, notably financial mathematics, problems of
integration and approximation of functions in very high dimensions
are of great interest. By finding modern mathematical solutions to
these problems, we will therefore contribute to Australia's future
success in developing innovative technologies for industrial and
economic applications. By researching at an internationally
competitive level and by cooperating with international experts, we
will have a share in further strengthening the excellent role of
Australian research institutions within the international scientific
community in mathematics and scientific computing.Read moreRead less
Integral lattices and their theta series. Lattice algorithms play a very important role in solving problems in algebra, number theory, combinatorics, optimisation and cryptography. Our proposed work will fill a major hole in current capabilities for computing with lattices. The enhanced ability to enumerate short vectors will have important applications to Diophantine equations, linear optimisation and also to understanding the security of cryptosystems based on the difficulty of finding a short ....Integral lattices and their theta series. Lattice algorithms play a very important role in solving problems in algebra, number theory, combinatorics, optimisation and cryptography. Our proposed work will fill a major hole in current capabilities for computing with lattices. The enhanced ability to enumerate short vectors will have important applications to Diophantine equations, linear optimisation and also to understanding the security of cryptosystems based on the difficulty of finding a shortest vector. The work on theta series should result in the first algorithm for this problem. This will also find many applications including to the construction of spherical codes and designs.Read moreRead less