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
Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from ....Tractable topological computing: Escaping the hardness trap. Computational topology is a young and energetic field that uses computers to solve complex geometric problems driven by pure mathematics, and with diverse applications in biology, signal processing and data mining. A major barrier is that many of these problems are thought to be fundamentally and intractably hard. This project aims to defy such barriers for typical real-world inputs by fusing geometric techniques with technologies from the field of parameterised complexity, creating powerful, practical solutions for these problems. It is expected to shed much-needed light on the vast and puzzling gap between theory and practice, and give researchers fast new software tools for large-scale experimentation and cutting-edge computer proofs.Read moreRead less
The fundamental structure of combinatorial configurations. Combinatorial configurations are fundamental mathematical tools used to model physical problems in the information sciences. Combinatorial trades arise from the differences between combinatorial configurations. They uniquely determine the underlying structure of the configuration and are central to the determination of defining sets. With this proposal we shall study the existence, properties and applications of combinatorial trades and ....The fundamental structure of combinatorial configurations. Combinatorial configurations are fundamental mathematical tools used to model physical problems in the information sciences. Combinatorial trades arise from the differences between combinatorial configurations. They uniquely determine the underlying structure of the configuration and are central to the determination of defining sets. With this proposal we shall study the existence, properties and applications of combinatorial trades and the associated defining sets. Our results will have applications in the areas of biotechnology, information systems, information security and experimental design.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
Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of t ....Cycle decompositions of graphs. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. This project aims to solve long-standing and significant open problems in the field of mathematics known as graph theory. Solving such problems will undoubtedly bring Australian research in this field to the fore, and help to enhance Australia's international research profile generally. The project offers substantial postgraduate training in the form of three excellent PhD projects in discrete mathematics. The computer age has ensured that this is a booming discipline and an increasing component of undergraduate syllabi around the world. It is thus a crucial area in which to be providing quality research training.Read moreRead less
Constructive representation theory of classical and quantum Lie superalgebras. Classical and quantum Lie superalgebras lie at the heart of many recent theoretical developments in the fields of integrable models and conformal field theory. Based on results published in 2013 by the Chief Investigators, it is evident that the time is right to further develop these ideas into a coherent and canonical framework. This ambitious and thorough proposal is focussed on solving sophisticated, contemporary p ....Constructive representation theory of classical and quantum Lie superalgebras. Classical and quantum Lie superalgebras lie at the heart of many recent theoretical developments in the fields of integrable models and conformal field theory. Based on results published in 2013 by the Chief Investigators, it is evident that the time is right to further develop these ideas into a coherent and canonical framework. This ambitious and thorough proposal is focussed on solving sophisticated, contemporary problems in representation theory related to classical and quantum Lie superalgebras that will have immediate consequences in these burgeoning 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
Emerging applications of advanced computational methods and discrete mathematics. Ongoing improvements in computer performance are revolutionising research in combinatorial discrete mathematics, and leading to exciting new applications in information technology and the biological and chemical sciences. As a result, substantial international research effort, both at universities and in commercial and industrial organisations, is being channelled into high-performance computation and theoretical p ....Emerging applications of advanced computational methods and discrete mathematics. Ongoing improvements in computer performance are revolutionising research in combinatorial discrete mathematics, and leading to exciting new applications in information technology and the biological and chemical sciences. As a result, substantial international research effort, both at universities and in commercial and industrial organisations, is being channelled into high-performance computation and theoretical problems in combinatorial mathematics. Our aim is to develop and apply advanced computational methods through the study of several unsolved theoretical problems in design theory and practical problems in exact matrix computation and drug design.Read moreRead less
The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interpla ....The Ricci curvature of homogeneous spaces. The geometry of homogeneous spaces is an area of research with applications in numerous fields, including topology, harmonic analysis, relativity and quantum theory. This project aims to resolve a fundamental problem in this area, known as the prescribed Ricci curvature problem for homogeneous metrics, and to settle the important and closely related question of Ricci iteration existence and convergence. Moreover, the project aims to exploit the interplay between geometry and algebra to provide new insight into the physically significant problem of classifying unitary Lie algebra representations. This project is expected to facilitate interdisciplinary interaction leading to exciting developments across a range of fields.Read moreRead less
Lie superalgebra representations: a geometric approach. The concept of a Lie group provides a mathematical underpinning for the idea of symmetry in mathematics, physics and chemistry. The project aims to advance two fundamental problems related to this concept: classification of unitary representations of Lie superalgebras, and the prescribed Ricci curvature problem on Lie groups. The research builds on newly-discovered connections between these problems to achieve exciting progress in their res ....Lie superalgebra representations: a geometric approach. The concept of a Lie group provides a mathematical underpinning for the idea of symmetry in mathematics, physics and chemistry. The project aims to advance two fundamental problems related to this concept: classification of unitary representations of Lie superalgebras, and the prescribed Ricci curvature problem on Lie groups. The research builds on newly-discovered connections between these problems to achieve exciting progress in their resolution. Outcomes are expected to find applications across a range of fields, such as condensed matter physics, particle physics, quantum field theory and knot theory. Anticipated benefits include stronger links between different areas of science achieved through a deeper understanding of symmetry.Read moreRead less