Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and sta ....Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and statistical mechanics and is likely to have flow-on effects in real-world disciplines such as network communication. This project will also strengthen Australia's international presence in discrete mathematics and will further strengthen ties between Australian and international mathematicians.Read moreRead less
Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This proj ....Hypergraph models for complex discrete systems. This project aims to better understand the structure and properties of very large hypergraphs of various kinds. Hypergraphs are very general mathematical objects which can be used to model complex discrete systems. They arise naturally in many areas such as ecology, chemistry and computer science. Despite this, our theoretical understanding of very large, or random, hypergraphs lags far behind the intensely-studied special case of graphs. This project will answer many fundamental questions about large, random hypergraphs. The expected outcomes of the project also include new tools for working with hypergraphs, such as efficient algorithms for sampling hypergraphs. These outcomes will benefit researchers who use hypergraphs in their work and will enhance Australia's reputation for research in this area.Read moreRead less
A new model for random discrete structures: distributions, counting and sampling. Random discrete structures are used in countless applications across science for modelling complex systems. This project will study a new, very general model of random discrete structures which encapsulates both random networks and random matrices. This project will develop general tools for working with this model, thereby unlocking the model for use by practitioners in areas such as physics, biology, statistics a ....A new model for random discrete structures: distributions, counting and sampling. Random discrete structures are used in countless applications across science for modelling complex systems. This project will study a new, very general model of random discrete structures which encapsulates both random networks and random matrices. This project will develop general tools for working with this model, thereby unlocking the model for use by practitioners in areas such as physics, biology, statistics and cryptography. The questions that will be tackled are fundamental problems in probability, and include as special cases the analysis of subgraph distribution in models of random networks, and the joint distribution of entries of contingency tables, which are important in statistics.Read moreRead less
Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "goo ....Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "good" codes and cryptosystems can be constructed from specific function fields whose existence is guaranteed by abstract theory, often no actual construction for the function field is currently known. We aim to close this gap, making a greater range of "good" codes and cryptosystems available for practical applications.
Read moreRead less
New constructions and techniques for tensor categories. The goal of this project is to make fundamental advances in the structure theory of tensor categories. Such categories play crucial roles in numerous fields of mathematics, physics and beyond. New methods, theory and examples will be developed, inspired by algebra, representation theory and geometry. These will then be applied in the foundational study of tensor categories for (dis)proving several of the most important open conjectures in t ....New constructions and techniques for tensor categories. The goal of this project is to make fundamental advances in the structure theory of tensor categories. Such categories play crucial roles in numerous fields of mathematics, physics and beyond. New methods, theory and examples will be developed, inspired by algebra, representation theory and geometry. These will then be applied in the foundational study of tensor categories for (dis)proving several of the most important open conjectures in the field. This will open new perspectives for applications in other areas, most notably in representation theory. Other benefits include enhanced international collaboration and scientific capacity in Australia.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE150101161
Funder
Australian Research Council
Funding Amount
$330,000.00
Summary
Quantum Groups and Categorification in Geometric Representation Theory. Representation theory, the mathematical study of symmetry, has applications in diverse areas such as particle physics, computer science, and molecular biology. This project aims to use a new family of quantum groups to prove a network of conjectures about categorical and geometric representation theory. The project aims to answer a long-standing open question in geometric representation theory concerning two families of geom ....Quantum Groups and Categorification in Geometric Representation Theory. Representation theory, the mathematical study of symmetry, has applications in diverse areas such as particle physics, computer science, and molecular biology. This project aims to use a new family of quantum groups to prove a network of conjectures about categorical and geometric representation theory. The project aims to answer a long-standing open question in geometric representation theory concerning two families of geometric spaces underlying the theory of Lie groups. Representation theory is a strength of Australian mathematics, and this project aims to undertake pressing research at the forefront of this dynamic field.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE190101099
Funder
Australian Research Council
Funding Amount
$420,256.00
Summary
Representation theory: studies of symmetry shadows. This project aims to solve fundamental problems in representation theory by combining cutting-edge techniques and developing novel higher level structures. Representation theory is the mathematical study of symmetry, an essential concept in science. Since the 1990s, mathematicians have been observing shadows of a more general notion of symmetry but so far have failed to explain it. Expected outcomes include a structural explanation of these sh ....Representation theory: studies of symmetry shadows. This project aims to solve fundamental problems in representation theory by combining cutting-edge techniques and developing novel higher level structures. Representation theory is the mathematical study of symmetry, an essential concept in science. Since the 1990s, mathematicians have been observing shadows of a more general notion of symmetry but so far have failed to explain it. Expected outcomes include a structural explanation of these shadows, new mathematical software to understand them and solutions to important conjectures. This project will make a significant contribution to the field of representation theory, with ramifications in mathematical physics and computer science.Read moreRead less
New dualities in modular representation theory. This project aims to introduce new geometric techniques in the modular representation theory of the general linear group, and resolve fundamental questions about modular representations of orthogonal and symplectic groups. Representation theory, the mathematical study of symmetry, has applications in many areas ranging from physics to computer science. The modular setting, where the characteristic of the field is positive, is a source of the deepes ....New dualities in modular representation theory. This project aims to introduce new geometric techniques in the modular representation theory of the general linear group, and resolve fundamental questions about modular representations of orthogonal and symplectic groups. Representation theory, the mathematical study of symmetry, has applications in many areas ranging from physics to computer science. The modular setting, where the characteristic of the field is positive, is a source of the deepest conjectures in this subject. Recent breakthroughs have provided approaches to some problems in modular representation theory that were previously inaccessible. This project will promote research at the forefront of the field, and help maintain Australia's international standing. It will train Australian postgraduates, who will be able to apply their research skills in industry, and strengthen the country's ties to a vibrant international community.Read moreRead less
p-Adic Methods in Arithmetic Geometry. This project concerns algorithms for determining the number of
solutions to systems of polynomial equations over finite fields
by p-adic methods. Our goal is to determine a fundamental
invariant, the zeta function, appearing in arithmetic geometry,
whose characterization was the subject of the famous Weil
conjectures.
....p-Adic Methods in Arithmetic Geometry. This project concerns algorithms for determining the number of
solutions to systems of polynomial equations over finite fields
by p-adic methods. Our goal is to determine a fundamental
invariant, the zeta function, appearing in arithmetic geometry,
whose characterization was the subject of the famous Weil
conjectures.
We seek to understand and develop p-adic methods for determining
zeta functions, taking as point of departure the methods of Satoh
and Mestre for elliptic curves. Applications of this work include
public key cryptography and coding theory, having direct impact
in e-commerce and telecommunications.
Read moreRead less
Cohomology enhanced: an application of enriched and higher categories. Motivated by the needs of physicists, computer scientists, and
colleagues in other similar fields, mathematicians study highly
complicated structures which are typically hard to understand
completely in concrete terms. Cohomology is an invaluable technical
tool which allows data to be extracted from these complex structures.
This project will involve a radical expansion in scope of the amount
and type of data so extr ....Cohomology enhanced: an application of enriched and higher categories. Motivated by the needs of physicists, computer scientists, and
colleagues in other similar fields, mathematicians study highly
complicated structures which are typically hard to understand
completely in concrete terms. Cohomology is an invaluable technical
tool which allows data to be extracted from these complex structures.
This project will involve a radical expansion in scope of the amount
and type of data so extracted. This is made possible by the most
recent advances in higher-dimensional category theory.Read moreRead less