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.
A new approach to compressed sensing. Compressed sensing is an exciting new paradigm promising vastly improved signal sampling and reconstruction in a wide variety of applications including digital cameras, mobile phones and MRI machines. This project will explore a newly discovered approach to compressed sensing which uses mathematical arrays known as hash families.
Virtual transport networks. This project will develop specialised time-dependent networks for use in algorithmic software testing and development, focussing on public transportation networks, but applicable elsewhere. The virtual transport networks developed in this project will significantly reduce the cost of producing software products that perform network searches.
Assuring dependability of complex adaptive multi-agent systems using time bands. As the complexity of computer-based systems rapidly increases, we need new methods for assuring their correct behaviour. This project will provide a means of relating behaviour at different timescales, enabling us to understand how the long-term behaviour of a system results from the short-term interactions between its components.
Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore co ....Relaxed correctness criteria for modern multi-core architectures. This project seeks to lay groundwork for fully exploiting the potential of multicore computers. Multicore computers have become ubiquitous over the last decade, now being standard in everything from laptops to mobile phones. Their benefits are clear – better performance leading to more sophisticated applications. Key to ensuring those benefits are complex, and often subtle, algorithms that exploit the parallelism that multicore computers offer. This project aims to lay foundations for extending those benefits to applications where high reliability is a concern. It plans to do so by developing theoretical results about the correctness of algorithms on standard multicore computers, and practical tools and techniques to help programmers of multicore computers to better understand the behaviour of their code.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
Matchings in Combinatorial Structures. The theory of matching in graphs concerns the problem of pairing up objects, subject to constraints on which objects may be paired. It is a well-developed theory that is not only of tremendous mathematical importance, but is also widely applied to efficiently deal with allocation and scheduling problems. Much less is known, however, about the equally important but harder problem of dividing objects into collections of three or more. This project aims to add ....Matchings in Combinatorial Structures. The theory of matching in graphs concerns the problem of pairing up objects, subject to constraints on which objects may be paired. It is a well-developed theory that is not only of tremendous mathematical importance, but is also widely applied to efficiently deal with allocation and scheduling problems. Much less is known, however, about the equally important but harder problem of dividing objects into collections of three or more. This project aims to address this deficiency by developing the theory of matching in important combinatorial objects. The problems it expects to solve are of great significance in their own right, and when considered together may help to lay a foundation for a more general theory of matching.Read moreRead less
Decompositions of graphs into cycles: Alspach's Conjecture and the Oberwolfach problem. Graph theory is used extensively to model and solve practical problems in physical, biological and social systems. By answering two long-standing and fundamental questions, the project will extend a long tradition of Australian research excellence in the field, and provide substantial high-quality postgraduate training in line with national needs.
Fractional decomposition of graphs and the Nash-Williams conjecture. Nash-Williams' conjecture is a famous unsolved problem about decomposing graphs (abstract networks). Breakthrough results achieved in recent years have shown that the conjecture, along with other major graph decomposition problems, could be solved if only more were known about fractional decomposition. This project aims to clear this bottleneck to progress by dramatically expanding the state of knowledge on fractional decomposi ....Fractional decomposition of graphs and the Nash-Williams conjecture. Nash-Williams' conjecture is a famous unsolved problem about decomposing graphs (abstract networks). Breakthrough results achieved in recent years have shown that the conjecture, along with other major graph decomposition problems, could be solved if only more were known about fractional decomposition. This project aims to clear this bottleneck to progress by dramatically expanding the state of knowledge on fractional decomposition. Expected outcomes include major progress on Nash-Williams' conjecture and related graph decomposition problems. This should enhance Australia's research reputation in pure mathematics and provide benefits in downstream applications areas including statistics, data transmission, and fibre-optic networks.Read moreRead less
The Oberwolfach Problem and related Graph Factorisations. Graph factorisation is an active area of research in combinatorial mathematics that is driven both by theoretical questions and by new and varied applications, particularly in digital communication and information technologies. The aim of this project is to solve the Oberwolfach Problem: a fundamental and historically significant graph factorisation question that has intrigued researchers for decades. Building on recent breakthroughs, new ....The Oberwolfach Problem and related Graph Factorisations. Graph factorisation is an active area of research in combinatorial mathematics that is driven both by theoretical questions and by new and varied applications, particularly in digital communication and information technologies. The aim of this project is to solve the Oberwolfach Problem: a fundamental and historically significant graph factorisation question that has intrigued researchers for decades. Building on recent breakthroughs, new and widely applicable graph factorisation techniques are intended to be developed. The project outcomes are expected to have ongoing influence and impact on research in the field.Read moreRead less