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
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.
Springer fibres, nilpotent cones and representation theory. This project will address new ideas and famous unsolved problems in the field of algebra known as representation theory, by studying the geometry of spaces called Springer fibres and nilpotent cones. This will keep Australian mathematics in the forefront of developments in this internationally active field, which is central to modern mathematics.
Discovery Early Career Researcher Award - Grant ID: DE170101128
Funder
Australian Research Council
Funding Amount
$360,000.00
Summary
Homological methods in combinatorics, algebra and geometry. This project aims to solve problems in graph theory, lattice theory and geometry using algebraic techniques. The techniques and language provided by this algebraic approach will be used to gain fresh insight into classical problems, prove stronger theorems and uncover connections between different areas. This project intends to integrate Australia’s strength in homological algebra and category theory with applications in various differe ....Homological methods in combinatorics, algebra and geometry. This project aims to solve problems in graph theory, lattice theory and geometry using algebraic techniques. The techniques and language provided by this algebraic approach will be used to gain fresh insight into classical problems, prove stronger theorems and uncover connections between different areas. This project intends to integrate Australia’s strength in homological algebra and category theory with applications in various different fields of mathematics. This is expected to provide tools for further investigation of applications in other fields, including computer science and combinatorial optimisation.Read moreRead less
Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive ....Explicit methods in number theory: Computation, theory and application. This project aims to use explicit estimates to unify three problems in number theory: primitive roots, Diophantine quintuples, and linear independence of zeroes of the Riemann zeta-function. It will use computational and analytic number theory to reduce the quintuples problem to a soluble level. Pursuing relations between the zeta zeroes will overhaul many current results. This project will apply its findings about primitive roots to signal processing, cryptography and cybersecurity.Read moreRead less
Deep Learning for Graph Isomorphism: Theories and Applications. This project aims to investigate graph isomorphism, a fundamental problem in graph theory, using deep learning techniques. Solutions to graph isomorphism are in demand by researchers in many fields of science, such as biology, chemistry, computer science, and quantum computing. The project expects to advance knowledge about graph isomorphism and state-of-the-art methodologies for its applications. The expected outcomes include new t ....Deep Learning for Graph Isomorphism: Theories and Applications. This project aims to investigate graph isomorphism, a fundamental problem in graph theory, using deep learning techniques. Solutions to graph isomorphism are in demand by researchers in many fields of science, such as biology, chemistry, computer science, and quantum computing. The project expects to advance knowledge about graph isomorphism and state-of-the-art methodologies for its applications. The expected outcomes include new theoretical insights on combinatorial structures of graphs, efficient heuristic techniques for (maximum) subgraph isomorphism, and structured representation learning. The project should provide significant benefits to research in a wide range of science fields, as well as many real-world applications.Read moreRead less
Credential Systems and Their Applications in Securing Electronic Health Records. The expected result of this project will be frontier technologies that are essential in applications and services, whose acceptance and take-up will depend on users' assurance of their security in the cyber world. In particular, a service such as the EHR system, which is known to be a complex system, requires the use of new and innovative credential-based systems. The result will also contribute to maintaining Austr ....Credential Systems and Their Applications in Securing Electronic Health Records. The expected result of this project will be frontier technologies that are essential in applications and services, whose acceptance and take-up will depend on users' assurance of their security in the cyber world. In particular, a service such as the EHR system, which is known to be a complex system, requires the use of new and innovative credential-based systems. The result will also contribute to maintaining Australia's leading position in the telecommunication and information technology industries, which has been recognised by increased government funding levels. The resulting applications of this project will place Australia as the first country able to design and implement a secure EHR system.Read moreRead less
Discovery Early Career Researcher Award - Grant ID: DE240100447
Funder
Australian Research Council
Funding Amount
$438,847.00
Summary
The geometry of braids and triangulated categories. Triangulated categories play a central role in geometry, algebra, and topology. Their study can uncover deep structure connecting different areas of mathematics. This project aims to use novel approaches to answer fundamental questions about triangulated categories and their symmetries. These symmetries are encoded by braids, which are important objects with many applications across science. The project is expected to benefit Australia by stimu ....The geometry of braids and triangulated categories. Triangulated categories play a central role in geometry, algebra, and topology. Their study can uncover deep structure connecting different areas of mathematics. This project aims to use novel approaches to answer fundamental questions about triangulated categories and their symmetries. These symmetries are encoded by braids, which are important objects with many applications across science. The project is expected to benefit Australia by stimulating research in mathematics and computer science. It will invite connections with leading experts and students around the world and encourage overseas collaboration. There is a potential long-term benefit to cybersecurity, towards the development of new encryption schemes based on braids.Read moreRead less
Fundamental mathematical structures in statistical and quantum systems. Mathematics is playing a key role in modern science and technology. This project will bring together world leading experts from Australia and the USA to unravel the most fundamental mathematical structures in of statistical and quantum systems arising in settings ranging from physics of tiny quantum dots to string theory in high energy physics. This research will ensure Australia's involvement in cutting-edge international d ....Fundamental mathematical structures in statistical and quantum systems. Mathematics is playing a key role in modern science and technology. This project will bring together world leading experts from Australia and the USA to unravel the most fundamental mathematical structures in of statistical and quantum systems arising in settings ranging from physics of tiny quantum dots to string theory in high energy physics. This research will ensure Australia's involvement in cutting-edge international developments in mathematical sciences poised to deliver new significant results in the fundamental quantum theory of matter. The project will also contribute to training young researchers to maintain Australia's international standing in fundamental science.Read moreRead less