Permanents, permutations and polynomials. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. Discrete mathematics and combinatorics are boom disciplines of the computer age and this project seeks new knowledge concerning basic building blocks of combinatorial mathematics. The outcomes will be of interest to theoreticians around the world, enhancing Australia's already high research profile in this crucial area. Importantly, the project ....Permanents, permutations and polynomials. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. Discrete mathematics and combinatorics are boom disciplines of the computer age and this project seeks new knowledge concerning basic building blocks of combinatorial mathematics. The outcomes will be of interest to theoreticians around the world, enhancing Australia's already high research profile in this crucial area. Importantly, the project also offers substantial postgraduate training in mathematics, an area in which Australia has an identified skill shortage.Read moreRead less
The Structure and Geometry of Graphs. Graphs are ubiquitous mathematical structures that model relational information such as information flows, transportation networks, and biochemical pathways. It is often desirable to have a geometric representation of a graph. For example, a programmer will better understand a computer program if the flow of information within the program is represented by a visually appealing drawing. The focus of the project will be the interplay between graph structure th ....The Structure and Geometry of Graphs. Graphs are ubiquitous mathematical structures that model relational information such as information flows, transportation networks, and biochemical pathways. It is often desirable to have a geometric representation of a graph. For example, a programmer will better understand a computer program if the flow of information within the program is represented by a visually appealing drawing. The focus of the project will be the interplay between graph structure theory and geometric properties of graphs. Moreover, the project will have significant applications to other area of mathematics and computer science, including computational complexity, analysis of data structures, and three-dimensional information visualisation.Read moreRead less
Analysis of the structure of latin squares. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. Discrete mathematics and combinatorics are boom disciplines of the computer age and this project seeks new knowledge concerning basic building blocks of combinatorial mathematics. The outcomes will be of interest to theoretical discrete mathematicians around the world, enhancing Australia's already high research profile in this important area ....Analysis of the structure of latin squares. The benefits to Australia of fundamental research in core disciplines such as mathematics are well documented. Discrete mathematics and combinatorics are boom disciplines of the computer age and this project seeks new knowledge concerning basic building blocks of combinatorial mathematics. The outcomes will be of interest to theoretical discrete mathematicians around the world, enhancing Australia's already high research profile in this important area of pure mathematical research. Importantly, the problems under investigation offer substantial opportunity for excellent postgraduate training, critical for the future of Australian research. Read moreRead less
Random Structures and Asymptotics. Discrete random structures have many uses in algorithms in computer science (for instance, random networks modelling computer link-ups), biology (for instance, random sequences modelling DNA) and engineering. New techniques for studying these structures will lead to powerful new results on their properties. The emphasis will be on the behaviour of the random structures when their size becomes large. With the advent of
more powerful computing techniques, it is ....Random Structures and Asymptotics. Discrete random structures have many uses in algorithms in computer science (for instance, random networks modelling computer link-ups), biology (for instance, random sequences modelling DNA) and engineering. New techniques for studying these structures will lead to powerful new results on their properties. The emphasis will be on the behaviour of the random structures when their size becomes large. With the advent of
more powerful computing techniques, it is often the large-scale behaviour which has relevance to the more diffucult computations being undertaken. The results are also of potential application to other areas of mathematics.Read moreRead less
Theory and Applications of Hypergeometric Series. Techniques based on hypergeometric series lie at the heart of an exciting and rapidly developing class of mathematical methods, with applications to many areas of science and engineering, such as computer science, statistics, physics, chemistry and biology.
In the past decades Australia has been at the forefront of important developments in the field, and this proposal serves to further strengthen the country's leading reputation.
Many of th ....Theory and Applications of Hypergeometric Series. Techniques based on hypergeometric series lie at the heart of an exciting and rapidly developing class of mathematical methods, with applications to many areas of science and engineering, such as computer science, statistics, physics, chemistry and biology.
In the past decades Australia has been at the forefront of important developments in the field, and this proposal serves to further strengthen the country's leading reputation.
Many of the modern methods in the theory require expertise in mathematics as well as a high level of programming skills. This combination provides a unique training ground for higher degree students aiming at careers in financial mathematics, weather/climate forecasting and internet security.
Read moreRead less
Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving ....Complexity in Algebra and Algebra in Complexity: the role of finite semigroups and general algebra. Algebra and logic form the mathematical framework for expressing and analysing algorithms and their difficulty. We can then scientifically analyse what makes some tasks more difficult than others. This project unifies parallel areas of algebra to focus on two key topics at this interface between algebra and computational complexity. As a flow on, our work can uncover new algorithms for solving constraint problems and for the study of formal languages.
With a team of top international researchers developing new interactions between mathematics and the study of algorithms, the project will foster a culture of innovation and bring Australia into the play in this internationally competitive area.Read moreRead less
Interconnection Network Routing and Graph Symmetry. Efficient routing schemes are of fundamental importance to both
traditional and optical interconnection networks. To achieve high
performance it is recommended that the graph modelling the network be vertex-transitive, meaning that it looks the same viewed from any vertex. In this project we will conduct a systematic study of the routing problem for such networks. We will focus on the effect of vertex-transitivity and some other symmetry pro ....Interconnection Network Routing and Graph Symmetry. Efficient routing schemes are of fundamental importance to both
traditional and optical interconnection networks. To achieve high
performance it is recommended that the graph modelling the network be vertex-transitive, meaning that it looks the same viewed from any vertex. In this project we will conduct a systematic study of the routing problem for such networks. We will focus on the effect of vertex-transitivity and some other symmetry properties on the efficiency of routing schemes measured by the vertex- and edge-congestions, and the minimum number of wavelengths needed in optical networks.Read moreRead less
Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential app ....Channel Assignment in Cellular Communication Systems and Optical Networks. Due to the rapid growth in mobile communications, efficient management of the scarce radio spectrum has emerged as an important issue. To avoid interference various conditions need to be satisfied by channels assigned to the transmitters in a cellular communication network. This project targets optimal assignments under such constraints, and similar problems for optical networks. Its implementation will have potential applications in computer and telecommunication industries, and advance significantly our knowledge on relevant subjects of mathematics and operations research. Read moreRead less
Green functions, correlation functions and differential equations. Classical and quantum exact solutions are established cornerstones in Australian applied mathematical research. In this project, we will:- 1). Address long standing open problems, whose resolution will add to mathematical knowledge and enhance Australia's reputation as a leading contributor to these topics; 2). List concrete and tractable sub-projects that will engage young scientists, whose training we are particularly keen on, ....Green functions, correlation functions and differential equations. Classical and quantum exact solutions are established cornerstones in Australian applied mathematical research. In this project, we will:- 1). Address long standing open problems, whose resolution will add to mathematical knowledge and enhance Australia's reputation as a leading contributor to these topics; 2). List concrete and tractable sub-projects that will engage young scientists, whose training we are particularly keen on, in vigorous and internationally competitive research; 3). Facilitate collaborations between various Australian research groups, all of whom are very well positioned to contribute to it; 4). Bring leading scientists to visit Australia to the benefit of the entire Australian mathematical community.Read moreRead less
The theory of natural dualities: old questions, new techniques. Natural dualities provide a powerful toolkit in algebra and logic, which form part of the formal language that underpins modern advances in information technology. This project will help to define the limits of where the toolkit can be applied, and where it can be applied in a user-friendly way. The project will enable Australia's La Trobe University to maintain its place as a world leader in the theory of natural dualities, and to ....The theory of natural dualities: old questions, new techniques. Natural dualities provide a powerful toolkit in algebra and logic, which form part of the formal language that underpins modern advances in information technology. This project will help to define the limits of where the toolkit can be applied, and where it can be applied in a user-friendly way. The project will enable Australia's La Trobe University to maintain its place as a world leader in the theory of natural dualities, and to attract leading mathematicians and talented students from Australia and overseas.Read moreRead less