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
Quasi-subtractive varieties: a unified framework for substructural, modal and quantum logic. An algebraic theory is proposed that provides a common umbrella for a plethora of non-classical logics. At the same time, it identifies a core that these logics share with classical algebras.
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
Structure of relations: algebra and applications. Relations and relational structures form the fundamental mathematical essence required for studying computational problems and computational systems. This project will provide new algebraic methods for solving old problems in the theory of relations, informing our understanding of computational complexity and the nature of computing.
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
Rigidity in measured group theory and geometric group theory. Elite universities throughout the world have all made a point of being leaders in the field of pure mathematics. Geometric group theory and orbit equivalence are currently topical areas which attract many of the best young pure mathematicians as is demonstrated by recent invited talks at the International Congress of Mathematicians. This project will foster the development of these fields in Australia as well as nurturing existing e ....Rigidity in measured group theory and geometric group theory. Elite universities throughout the world have all made a point of being leaders in the field of pure mathematics. Geometric group theory and orbit equivalence are currently topical areas which attract many of the best young pure mathematicians as is demonstrated by recent invited talks at the International Congress of Mathematicians. This project will foster the development of these fields in Australia as well as nurturing existing efforts and international links. This proposal will also provide training and research experience for Australian honours and graduate students in mathematics.Read moreRead less