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
Plasma Astrophysics under Extreme Conditions. A new branch of theoretical physics, quantum plasmadynamics (QPD), will be applied to plasmas under extreme conditions of magnetic field and density, to plasma-neutrino effects and nonlinear radiation.
Magnetic energy dissipation in solar flares will be attributed to a large number of coupled, local, transient, anomalously resistive regions excited by current filamentation. The model will include nonlocal energy release at Alfvenic fronts, 3D reconn ....Plasma Astrophysics under Extreme Conditions. A new branch of theoretical physics, quantum plasmadynamics (QPD), will be applied to plasmas under extreme conditions of magnetic field and density, to plasma-neutrino effects and nonlinear radiation.
Magnetic energy dissipation in solar flares will be attributed to a large number of coupled, local, transient, anomalously resistive regions excited by current filamentation. The model will include nonlocal energy release at Alfvenic fronts, 3D reconnection at magnetic nulls, and bulk energization of electrons.
`Coherence? in sources of coherent emission will be quantified and a model for its interpretation for highly intermittent wave growth will be formulated.Read moreRead less
Braid monoids, presentations and normal forms. Braid groups arise naturally in various areas of mathematics, physics and computer science including knot theory, Lie theory, quantum groups and cryptography. There is a uniform geometric description of braid groups; however this is not the case algebraically. This project aims to find the connections between the algebra, combinatorics and geometry of braid groups in order to obtain a uniform algebraic description. This generalisation will allow adv ....Braid monoids, presentations and normal forms. Braid groups arise naturally in various areas of mathematics, physics and computer science including knot theory, Lie theory, quantum groups and cryptography. There is a uniform geometric description of braid groups; however this is not the case algebraically. This project aims to find the connections between the algebra, combinatorics and geometry of braid groups in order to obtain a uniform algebraic description. This generalisation will allow advances in the related areas of mathematics and physics. In addition to theoretical results, new algorithms for calculating in braid groups will be given, which can then be implemented computationally.
Read moreRead less