Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.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 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
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
ROBUST SOLID OXIDE FUEL CELL TECHNOLOGY FOR SMALL-SCALE APPLICATIONS. The project aims to develop nano-materials for the next generation planar Solid Oxide Fuel Cell (SOFC) that will operate at temperatures between 600 and 800°C. The goal is to identify and demonstrate materials that meet the robust requirements for small scale power generators at the 3-5kW scale. It is expected that these will be used in stationary power generation applications, in remote area power supplies, and for providing ....ROBUST SOLID OXIDE FUEL CELL TECHNOLOGY FOR SMALL-SCALE APPLICATIONS. The project aims to develop nano-materials for the next generation planar Solid Oxide Fuel Cell (SOFC) that will operate at temperatures between 600 and 800°C. The goal is to identify and demonstrate materials that meet the robust requirements for small scale power generators at the 3-5kW scale. It is expected that these will be used in stationary power generation applications, in remote area power supplies, and for providing auxiliary power in vehicles. The work builds on the world-leading position that Ceramic Fuel Cells Ltd. has in planar SOFC technology, utilising micro-analysis and fuel cell expertise at the University of Queensland.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
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
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
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