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
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
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
Quantization of polyhedral surfaces. Recent developments in the theory of discrete surfaces have revealed their fascinating links to many other areas of mathematics including integrable systems and quantum geometry. Rapid progress in this field is motivated by applications in pure mathematics, mathematical physics, computer graphics and engineering. Australian researchers are world recognized experts in integrable systems and this project will link them together with German experts in discrete d ....Quantization of polyhedral surfaces. Recent developments in the theory of discrete surfaces have revealed their fascinating links to many other areas of mathematics including integrable systems and quantum geometry. Rapid progress in this field is motivated by applications in pure mathematics, mathematical physics, computer graphics and engineering. Australian researchers are world recognized experts in integrable systems and this project will link them together with German experts in discrete differential geometry. The project will advance our knowledge base in fundamental and applied sciences and offer a unique research training opportunity for students in contemporary areas of pure and applied mathematics.Read moreRead less
Invariants of singular spaces from noncommutative geometry. The project addresses questions of significance at the international forefront in the mathematical sciences and the ARC funds will enable research training of students and postdoctoral fellows at this very high level. International collaboration and networking is a key feature that will enhance Australia's scientific standing and provide opportunities for early career researchers to engage internationally with world leaders. The mainten ....Invariants of singular spaces from noncommutative geometry. The project addresses questions of significance at the international forefront in the mathematical sciences and the ARC funds will enable research training of students and postdoctoral fellows at this very high level. International collaboration and networking is a key feature that will enhance Australia's scientific standing and provide opportunities for early career researchers to engage internationally with world leaders. The maintenance of a high quality research program at ANU enhances Australia's ability to attract international students and places the ANU in the top league of world universities. It brings with it recognition of Australia as a culturally advanced nation.Read moreRead less
Quantum many-body systems with higher mathematical symmetries. Ongoing developments in the experimental realisation of ultracold quantum systems play a leading role in the international effort towards the eventual realisation of quantum technology. This project brings together Australian and US researchers with complementary strengths to develop the mathematical study of fundamental systems of interacting quantum particles of relevance to experiments. The project will ensure that Australian rese ....Quantum many-body systems with higher mathematical symmetries. Ongoing developments in the experimental realisation of ultracold quantum systems play a leading role in the international effort towards the eventual realisation of quantum technology. This project brings together Australian and US researchers with complementary strengths to develop the mathematical study of fundamental systems of interacting quantum particles of relevance to experiments. The project will ensure that Australian researchers participate in and benefit from international developments in a leading edge area of fundamental research. It will also contribute to training students in rapidly advancing areas with the capacity to contribute to a wide range of problems, including the emerging technology of quantum devices.Read moreRead less
Mathematical Methods for Next Generation Sequencing. The emergence of a new generation of high throughput genomic sequencing technologies is providing unprecedented opportunities for biological research. Hidden within the huge amounts of data generated by this technology is information about the expression and regulation of genes, and the complex functional purpose of non-coding, so called 'junk', DNA. Development of mathematical and statistical tools is essential to interpreting these data. The ....Mathematical Methods for Next Generation Sequencing. The emergence of a new generation of high throughput genomic sequencing technologies is providing unprecedented opportunities for biological research. Hidden within the huge amounts of data generated by this technology is information about the expression and regulation of genes, and the complex functional purpose of non-coding, so called 'junk', DNA. Development of mathematical and statistical tools is essential to interpreting these data. The proposed research will enhance Australia's reputation for developing novel quantitative techniques at the cutting edge of modern biology. The proposed project has a broad range of potential applications in biotechnology, particularly in the medical and agricultural industries.Read moreRead less
Solving inverse problems with Iterative regularisation and convex penalties. This project aims to develop and investigate new computational procedures for the solution of inverse problems which do not have the usual smoothness properties (or source conditions) required for the traditional regularisation methods. Examples of such inverse problems are very common and include image restoration, photo-acoustic tomography and spectroscopy. It is anticipated that this project will substantially extend ....Solving inverse problems with Iterative regularisation and convex penalties. This project aims to develop and investigate new computational procedures for the solution of inverse problems which do not have the usual smoothness properties (or source conditions) required for the traditional regularisation methods. Examples of such inverse problems are very common and include image restoration, photo-acoustic tomography and spectroscopy. It is anticipated that this project will substantially extend the toolbox of methods for such problems utilising ideas from Banach spaces, convex analysis, parallel computing and optimisation. This project is expected to make a substantial contribution to a better understanding of inverse problems and their solution procedures.Read moreRead less