Matchings in Combinatorial Structures. The theory of matching in graphs concerns the problem of pairing up objects, subject to constraints on which objects may be paired. It is a well-developed theory that is not only of tremendous mathematical importance, but is also widely applied to efficiently deal with allocation and scheduling problems. Much less is known, however, about the equally important but harder problem of dividing objects into collections of three or more. This project aims to add ....Matchings in Combinatorial Structures. The theory of matching in graphs concerns the problem of pairing up objects, subject to constraints on which objects may be paired. It is a well-developed theory that is not only of tremendous mathematical importance, but is also widely applied to efficiently deal with allocation and scheduling problems. Much less is known, however, about the equally important but harder problem of dividing objects into collections of three or more. This project aims to address this deficiency by developing the theory of matching in important combinatorial objects. The problems it expects to solve are of great significance in their own right, and when considered together may help to lay a foundation for a more general theory of matching.Read moreRead less
Fractional decomposition of graphs and the Nash-Williams conjecture. Nash-Williams' conjecture is a famous unsolved problem about decomposing graphs (abstract networks). Breakthrough results achieved in recent years have shown that the conjecture, along with other major graph decomposition problems, could be solved if only more were known about fractional decomposition. This project aims to clear this bottleneck to progress by dramatically expanding the state of knowledge on fractional decomposi ....Fractional decomposition of graphs and the Nash-Williams conjecture. Nash-Williams' conjecture is a famous unsolved problem about decomposing graphs (abstract networks). Breakthrough results achieved in recent years have shown that the conjecture, along with other major graph decomposition problems, could be solved if only more were known about fractional decomposition. This project aims to clear this bottleneck to progress by dramatically expanding the state of knowledge on fractional decomposition. Expected outcomes include major progress on Nash-Williams' conjecture and related graph decomposition problems. This should enhance Australia's research reputation in pure mathematics and provide benefits in downstream applications areas including statistics, data transmission, and fibre-optic networks.Read moreRead less
A new approach to compressed sensing. Compressed sensing is an exciting new paradigm promising vastly improved signal sampling and reconstruction in a wide variety of applications including digital cameras, mobile phones and MRI machines. This project will explore a newly discovered approach to compressed sensing which uses mathematical arrays known as hash families.
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
Categorical symmetries in representation theory. This project aims to develop categorical symmetries of central objects in mathematics such as braid groups, the Hilbert scheme of points, and the Virasoro algebra. The concept of symmetry is an important organising principle in science. Representation theory is the field of mathematics concerned with studying symmetries. The problems proposed have connections to many different areas including algebra, geometry, topology, and mathematical physics. ....Categorical symmetries in representation theory. This project aims to develop categorical symmetries of central objects in mathematics such as braid groups, the Hilbert scheme of points, and the Virasoro algebra. The concept of symmetry is an important organising principle in science. Representation theory is the field of mathematics concerned with studying symmetries. The problems proposed have connections to many different areas including algebra, geometry, topology, and mathematical physics. This project expects to advance pure mathematics and provide potential benefit in many related fields.Read moreRead less
Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground fo ....Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground for Higher Degree Students with interests in pure mathematics as well as computer
algebra and symbolic computation.Read moreRead less
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
Statistical Methods for Discovering Ribonucleic acids (RNAs) contributing to human diseases and phenotypes. Identifying the causative genetic factors involved in quantitative phenotypes and diseases is a major goal of biology in the 21st century and beyond. A crucial step towards this goal is identifying and classifying the functional non-protein-coding Ribonucleic acids (RNAs) encoded in the human genome. This project will make major contributions to international efforts in this area by identi ....Statistical Methods for Discovering Ribonucleic acids (RNAs) contributing to human diseases and phenotypes. Identifying the causative genetic factors involved in quantitative phenotypes and diseases is a major goal of biology in the 21st century and beyond. A crucial step towards this goal is identifying and classifying the functional non-protein-coding Ribonucleic acids (RNAs) encoded in the human genome. This project will make major contributions to international efforts in this area by identifying RNA molecules that contribute to quantitative phenotypes including susceptibility to disease. As such, it will directly benefit fundamental science via the discovery and classification of new molecules. Indirectly, it will lead to breakthroughs in biology, and consequently to major medical and pharmaceutical advances in the diagnosis and treatment of genetic disease.Read moreRead less
Multi-scale modelling of cell migration in developmental biology. Interpretative and predictive tools are needed for the comprehensive understanding of directed cell migration in the medical sciences. Mathematical models and modelling methodologies developed in this project will make a significant contribution to the investigation of cell migration and the testing and generation of hypotheses. Such models are needed to understand observed cellular patterns. This project will contribute to knowle ....Multi-scale modelling of cell migration in developmental biology. Interpretative and predictive tools are needed for the comprehensive understanding of directed cell migration in the medical sciences. Mathematical models and modelling methodologies developed in this project will make a significant contribution to the investigation of cell migration and the testing and generation of hypotheses. Such models are needed to understand observed cellular patterns. This project will contribute to knowledge of normal and abnormal developmental processes, especially in embryonic growth. Understanding these processes should lead to prediction and treatment of congenital disorders and contribute to a healthy start to life.Read moreRead less
Unpacking the immune system with applied mathematics. This project aims to model immune interactions across cells and structures spanning scales of nanometres to millimetres. It expects to develop innovative mathematical insights, improve our understanding of immunology, and consolidate collaborations with top American and European laboratories and groups. Expected outcomes include cutting-edge techniques for multiscale biological modelling and improved prediction and analysis of immune dynami ....Unpacking the immune system with applied mathematics. This project aims to model immune interactions across cells and structures spanning scales of nanometres to millimetres. It expects to develop innovative mathematical insights, improve our understanding of immunology, and consolidate collaborations with top American and European laboratories and groups. Expected outcomes include cutting-edge techniques for multiscale biological modelling and improved prediction and analysis of immune dynamics. The project should provide benefits to industries where highly organised behaviours are important, for example those interested in robot swarming, optimal transportation, and epidemic management. It should also benefit Australian students and researchers with novel overseas training opportunities.Read moreRead less