Integrable Functional and Delay Differential Equations. Major challenges such as predicting epidemics or modelling the dynamics of human movement, rely on our understanding of functional and delay differential equations. This research will provide new methods for prediction and analysis of such models.
Modelling and estimation techniques for the transmission and control of Tuberculosis with new and existing vaccines. Most Tuberculosis in Australia is seen in foreign-born people. Australia has an important role in providing leadership in the Asia-Pacific region in Tuberculosis control, which will have flow-on benefits to TB control in this country. Using mathematical models, this project will assess the use of vaccines for Tuberculosis in the developing world. Rising levels of extremely drug r ....Modelling and estimation techniques for the transmission and control of Tuberculosis with new and existing vaccines. Most Tuberculosis in Australia is seen in foreign-born people. Australia has an important role in providing leadership in the Asia-Pacific region in Tuberculosis control, which will have flow-on benefits to TB control in this country. Using mathematical models, this project will assess the use of vaccines for Tuberculosis in the developing world. Rising levels of extremely drug resistant infections make this a timely and important study with significant policy implications, both externally and in the Australian context. Read moreRead less
Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australi ....Geometric structures in representation theory. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will formulate and develop three new fundamental mathematical concepts: cellular algebras, eigenspace geometries, and diagram algebras. Benefits include enhancement of Australia's position at the very frontier of world class mathematical research, and a myriad of potential applications to physics, coding theory, information technology, electronic security and experimental design.Read moreRead less
The geometry of exotic nilpotent cones. This research will describe the geometry of some important objects which sit at the boundary of algebra, geometry, and combinatorics. It has intrinsic value as a significant addition to the heritage of mathematical thought, and will strengthen Australian traditions in these areas of mathematics.
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team acro ....Knowledge Based Model Updating for the Correctness of Security Protocols. This project will fundamentally provide a new paradigm of the security protocol verification and modification. As such, it will significantly enhance Australia's already leading role in the cutting edge research on information security. By applying the new methodology and technology, Australian IT industry will be able to develop more secure communication systems in real world domains. With a very strong research team across different areas such as knowledge reasoning, temporal logics and information security, and a collaborative research training environment, this project will further enhance Australia's international reputation as a leader in computing and IT research.Read moreRead less
Pyramids and decomposition numbers for the symmetric and general linear groups. This project takes a novel approach to the decomposition number problem for the symmetric and general linear groups by setting up a new framework for computing them using the combinatorics of pyramids. The decomposition numbers of an algebra are an important statistic which gives detailed structural information about its representations. These numbers can be used to compute the dimensions of the irreducible represen ....Pyramids and decomposition numbers for the symmetric and general linear groups. This project takes a novel approach to the decomposition number problem for the symmetric and general linear groups by setting up a new framework for computing them using the combinatorics of pyramids. The decomposition numbers of an algebra are an important statistic which gives detailed structural information about its representations. These numbers can be used to compute the dimensions of the irreducible representations of the algebra and they play an important role in the applications of representation theory to other fields such as knot theory and statistical mechanics.Read moreRead less
Algebras with Frobenius morphisms and quantum groups. In this digitalized world, our life relies on mathematics more than ever. Counting and numbers are just one example of this. Another is the public key codes for online payments and transactions. Mathematics is of enormous importance in this technology dominated age. This proposal is to carry out high level mathematical research in Australia. Basic research on quantum groups underpins applied research and certain areas such as quantum mechanic ....Algebras with Frobenius morphisms and quantum groups. In this digitalized world, our life relies on mathematics more than ever. Counting and numbers are just one example of this. Another is the public key codes for online payments and transactions. Mathematics is of enormous importance in this technology dominated age. This proposal is to carry out high level mathematical research in Australia. Basic research on quantum groups underpins applied research and certain areas such as quantum mechanics and string theory. Some structure of quantum groups is too complicated to be seen by even a professional mathematician. A possible interpretation by using representations over a finite field would make it more usable and accessible by computer.Read moreRead less
Modular representations of cyclotomic algebras. This project addresses cutting edge questions in the representation theory of cyclotomic Hecke algebras. Our main focus will be computing decomposition matrices for these algebras. We approach this question from several different directions, each of which will give new insights and lead to significant advances in the theory. The decomposition number problem is important because its' solution gives deep structural information about these algebras wh ....Modular representations of cyclotomic algebras. This project addresses cutting edge questions in the representation theory of cyclotomic Hecke algebras. Our main focus will be computing decomposition matrices for these algebras. We approach this question from several different directions, each of which will give new insights and lead to significant advances in the theory. The decomposition number problem is important because its' solution gives deep structural information about these algebras which can then be applied in other areas. This project will have high impact because cyclotomic Hecke algebras have applications in many different areas and they are currently a hot topic of research in mathematics.Read moreRead less
Invariant theory, cellularity and geometry. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will make fundamental contributions to the mathematics of symmetry. Benefits include enhancement of Australia's position at the very frontier of world class mathematical research, ....Invariant theory, cellularity and geometry. Mathematics underpins every aspect of people's interactions with nature (e.g. physics) and with each other (e.g. finance). Its uses range from formulating physical laws in order to understand and predict nature, to analysis of financial concepts and transactions. This project will make fundamental contributions to the mathematics of symmetry. Benefits include enhancement of Australia's position at the very frontier of world class mathematical research, and a myriad of potential applications to physics, coding theory, information technology, electronic security and experimental design.Read moreRead less