Physical realisation of enriched quantum symmetries. This project aims to investigate fundamental mathematical structures in modern category theory, providing an algebraic description of physical systems including topological order and conformal field theory. The project will study quantum symmetry, and classify and construct new classes of conformal field theories, using novel tools from enriched category theory, modular forms, and lattice gauge theory.
The main goal is to understand the lands ....Physical realisation of enriched quantum symmetries. This project aims to investigate fundamental mathematical structures in modern category theory, providing an algebraic description of physical systems including topological order and conformal field theory. The project will study quantum symmetry, and classify and construct new classes of conformal field theories, using novel tools from enriched category theory, modular forms, and lattice gauge theory.
The main goal is to understand the landscape of topological and conformal field theories, laying the foundation for new technologies based on topological order. This timely project capitalises on the recent arrival of subfactor experts in Australia, and builds capacity in mathematical research and international links in a cutting edge field.Read moreRead less
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
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
Noncommutative analysis and geometry in interaction with quantum physics. Quantum theory has produced many advances in our understanding of the physical world for the last hundred years while mathematical breakthroughs have been made through exploiting innovative ideas from quantum physics. This project continues in this highly successful framework and will lead to advances in geometry both classical and noncommutative.
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
Representation theory of groups and applications to geometry and number theory. Representation theory is at the center of the mathematical study of symmetry, which we constantly use to understand the world. Combine with geometry this theory produces spectacular results in number theory. This project aims to study p-adic phenomena in these theories. Its
main outcomes will be p-adic automorphic forms and local functoriality.
Symmetry and geometric partial differential equations. This project aims to develop tools to assist the study of partial differential equations, which are fundamental to our understanding of the physical world. Symmetries of the Laplace equation are fundamental in both finding and interpreting its solutions and can be traced to the conformal symmetries of the underlying space. Only for the most symmetric of spaces, Euclidean space and the sphere, is this correspondence well understood. Using pow ....Symmetry and geometric partial differential equations. This project aims to develop tools to assist the study of partial differential equations, which are fundamental to our understanding of the physical world. Symmetries of the Laplace equation are fundamental in both finding and interpreting its solutions and can be traced to the conformal symmetries of the underlying space. Only for the most symmetric of spaces, Euclidean space and the sphere, is this correspondence well understood. Using powerful geometric tools from conformal geometry, the project will extend this to less symmetric spaces. The knowledge generated from this project will extend to more general geometric contexts providing a concrete setting for the study of the associated natural equations in curved spaces.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
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
Mathematics of Elliptic Curve Cryptography. The Australian society and economy requires fast, reliable, and secure digital infrastructure. First-generation security solutions cannot support the efficiency and scalability requirements of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined and analysed. Thus developing a new framework in this area is one of the most important and urgent tasks. Besides, the intended wor ....Mathematics of Elliptic Curve Cryptography. The Australian society and economy requires fast, reliable, and secure digital infrastructure. First-generation security solutions cannot support the efficiency and scalability requirements of wireless and embedded consumer applications. New security infrastructures are emerging and must be carefully, but rapidly, defined and analysed. Thus developing a new framework 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 Computer Security and E-Commerce.Read moreRead less