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
Mathematical studies on the statistical properties of complex systems. Introduced in the late `50's to model nuclear spectra, random matrices are now standard in the theory of quantum chaos, mesoscopic phenomena and disordered systems. These are all examples of physical complex systems, characterized by unknown interactions leading to predictable behaviour due to symmetries. Vast mathematical structures result from the symmetries - integrable systems, Painleve equations, Macdonald polynomial the ....Mathematical studies on the statistical properties of complex systems. Introduced in the late `50's to model nuclear spectra, random matrices are now standard in the theory of quantum chaos, mesoscopic phenomena and disordered systems. These are all examples of physical complex systems, characterized by unknown interactions leading to predictable behaviour due to symmetries. Vast mathematical structures result from the symmetries - integrable systems, Painleve equations, Macdonald polynomial theory to name a few. These structures will be further developed, leading to the analytic form of distribution functions quantifying classes of complex systems. Analogous statistical quantification is the essence of recently proposed methods to analyze artificial complex systems such as the stock market.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
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
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
Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground fo ....Macdonald polynomials: Combinatorics and representations. This proposal is part of the aim to build a world class research team in algebraic combinatorics and combinatorial representation theory at the University of Melbourne, led by the two CI.
These fields are currently experiencing very rapid growth and development, and a strong Australia based team will further enhance the country's strong reputation in combinatorics and algebra.
The project will also provide a perfect training ground for Higher Degree Students with interests in pure mathematics as well as computer
algebra and symbolic computation.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
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
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
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