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
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
Geometric partial differential systems and their applications. This proposal addresses questions central to the understanding of nonlinear partial differential systems from classical, quantum field theory and liquid crystals. Applications to physical problems such as the Yang-Mills flow, Faddeev's model and liquid crystal systems are of great interest and importance in the broader scientific community. The project will yield internationally significant results in theoretical mathematics, with ....Geometric partial differential systems and their applications. This proposal addresses questions central to the understanding of nonlinear partial differential systems from classical, quantum field theory and liquid crystals. Applications to physical problems such as the Yang-Mills flow, Faddeev's model and liquid crystal systems are of great interest and importance in the broader scientific community. The project will yield internationally significant results in theoretical mathematics, with applications in physics and and other sciences. Specialist training will be provided for Australia's next generation of mathematicians. This project will enable Australian researchers to stay at the forefront of research in this area, strengthening links with a number of world-leading mathematicians.Read moreRead less
Geometric variational problems and nonlinear partial differential systems. We will investigate several important problems on non-linear partial differential systems, bridging analysis, differential geometry and mathematical physics. Harmonic maps are the prototype of maps minimizing the Dirichlet energy. The liquid crystal configuration generalizes the harmonic map with values into two dimensional spheres. The Yang-Mills equations originated from particle physics. We will make fundamental contri ....Geometric variational problems and nonlinear partial differential systems. We will investigate several important problems on non-linear partial differential systems, bridging analysis, differential geometry and mathematical physics. Harmonic maps are the prototype of maps minimizing the Dirichlet energy. The liquid crystal configuration generalizes the harmonic map with values into two dimensional spheres. The Yang-Mills equations originated from particle physics. We will make fundamental contributions to these topics: Regularity problem and energy minimality of weakly harmonic maps, Weak solutions of the liquid crystal equilibrium system, Yang-Mills heat flow and singular Yang-Mills connections.
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
The Mukhin-Varchenko and Rogers-Ramanujan conjectures. This project is aimed at proving two deep conjectures in pure mathematics. The conjectures are linked to many areas of mathematics, and success in proving either conjecture will signify a fundamental breakthrough in the fields of algebra, combinatorics and number theory.
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
Towards the prime power conjecture. This project attacks a famous and long standing conjecture in pure mathematics that has important ramifications in many applied areas. The project aims to determine when it is possible to produce more efficient codes for electronic communication and statistically balanced designs for experiments in areas as diverse as agriculture and psychology.
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