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
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
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
Elliptic special functions. Although elliptic functions and special functions are both classical areas of mathematics, the field of elliptic special functions was only established in the last two decades. It combines ideas from analysis, modular forms and statistical mechanics to tackle problems in number theory (elliptic curves), algebra (elliptic quantum groups), mathematical physics (Seiberg duality) and more. This project aims to settle two important problems in the field of elliptic special ....Elliptic special functions. Although elliptic functions and special functions are both classical areas of mathematics, the field of elliptic special functions was only established in the last two decades. It combines ideas from analysis, modular forms and statistical mechanics to tackle problems in number theory (elliptic curves), algebra (elliptic quantum groups), mathematical physics (Seiberg duality) and more. This project aims to settle two important problems in the field of elliptic special functions: the resolution of Boyd's conjectures concerning Mahler measures and L-values of elliptic curves, and the construction of an Askey-Wilson-Koorwinder theory of elliptic biorthogonal functions for the A-type root system.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
Discovery Early Career Researcher Award - Grant ID: DE140100633
Funder
Australian Research Council
Funding Amount
$395,169.00
Summary
Problems in the Langlands Program. The Langlands program is an international research program sitting at the interface of number theory, representation theory, algebraic geometry, and mathematical physics. The aim of this project is to prove three conjectures in this program. Settling these conjectures would lead to significant advances in the Langlands program by strengthening connections between this program and the geometry of loop groups, representations of finite groups, and representations ....Problems in the Langlands Program. The Langlands program is an international research program sitting at the interface of number theory, representation theory, algebraic geometry, and mathematical physics. The aim of this project is to prove three conjectures in this program. Settling these conjectures would lead to significant advances in the Langlands program by strengthening connections between this program and the geometry of loop groups, representations of finite groups, and representations of affine Kac-Moody algebras at the critical level.Read moreRead less