Methodology for assessing the vulnerability of multimodal transport networks and developing remedial measures to safeguard network performance. When transport networks fail, the effects on people and the economy can be devastating. The consequences for Hobart of the 1975 Tasman Bridge collapse provide a prime example. Failure may also result from extreme weather and natural disasters, traffic congestion and incidents, commercial failure, human error, or malevolence (such as sabotage). This proje ....Methodology for assessing the vulnerability of multimodal transport networks and developing remedial measures to safeguard network performance. When transport networks fail, the effects on people and the economy can be devastating. The consequences for Hobart of the 1975 Tasman Bridge collapse provide a prime example. Failure may also result from extreme weather and natural disasters, traffic congestion and incidents, commercial failure, human error, or malevolence (such as sabotage). This project will develop a methodology for auditing a transport network to identify where infrastructure failure will have the worst consequences for movement of people and goods. The research will provide tools for planners to determine critical network locations, and devise strategies and remedial measures to safeguard network performance.Read moreRead less
The mathematics and language of engineering uncertainty, preference and utility. Australian engineering firms are principals in many high-profile projects. To defend their position, they must demonstrate both sound engineering and quality processes, which by international standards includes the traceability of decisions. Yet, there are few tools to vet the multitude of decisions that go into large-scale engineering works. This project aims to form mathematical models of decision-making based on ....The mathematics and language of engineering uncertainty, preference and utility. Australian engineering firms are principals in many high-profile projects. To defend their position, they must demonstrate both sound engineering and quality processes, which by international standards includes the traceability of decisions. Yet, there are few tools to vet the multitude of decisions that go into large-scale engineering works. This project aims to form mathematical models of decision-making based on the language modelling of what is written in engineering documentation about the bases of decisions. The new methods will help decision makers to pinpoint irrationalities in decisions and notify them of possible errors. The research can therefore be applied to important problems in the engineering sector such as risk management.Read moreRead less
Algorithmic approaches to braids and their generalisations. This project combines theoretical methods from pure mathematics with computational experiments in order to gain new knowledge. The objects of interest, so-called braid groups and generalisations, are important for many fields of mathematics, but also have applications for data security. Both the theoretical outcomes of this project and the algorithms developed will strengthen Australia as a centre of cutting-edge research in computatio ....Algorithmic approaches to braids and their generalisations. This project combines theoretical methods from pure mathematics with computational experiments in order to gain new knowledge. The objects of interest, so-called braid groups and generalisations, are important for many fields of mathematics, but also have applications for data security. Both the theoretical outcomes of this project and the algorithms developed will strengthen Australia as a centre of cutting-edge research in computational algebra. Moreover, the results can lead to new technologies for protecting confidential data, which are more efficient and hence cheaper to implement than existing alternatives. Secure identification of legitimate users in the context of online banking is one possible field of application.Read moreRead less
Group algorithms: Complexity, Theory and Practice. The symmetry of a mathematical or physical system is often best described by an abstract structure called a group, and groups are commonly represented as groups of permutations or matrices. In this project we shall design and analyse a general algorithmic framework for computing with finite groups. In the context of permutation groups and matrix groups we will produce prototype implementations. The proposed framework has the potential to revolut ....Group algorithms: Complexity, Theory and Practice. The symmetry of a mathematical or physical system is often best described by an abstract structure called a group, and groups are commonly represented as groups of permutations or matrices. In this project we shall design and analyse a general algorithmic framework for computing with finite groups. In the context of permutation groups and matrix groups we will produce prototype implementations. The proposed framework has the potential to revolutionise algorithmic group theory as it draws together theoretical and computational models of groups.Read moreRead less
Computing with large groups: probability distributions and fast randomised algorithms. Fast algorithms produced by the project will impact on the practical management of symmetry in large scale searches, which have important industrial applications. Hence the project addresses the Priority Goals Breakthrough Science and Smart Information Use. The project will enhance Australia's leading position in Computational Algebra. Implementations of our algorithms will be incorporated in the Computer Alge ....Computing with large groups: probability distributions and fast randomised algorithms. Fast algorithms produced by the project will impact on the practical management of symmetry in large scale searches, which have important industrial applications. Hence the project addresses the Priority Goals Breakthrough Science and Smart Information Use. The project will enhance Australia's leading position in Computational Algebra. Implementations of our algorithms will be incorporated in the Computer Algebra system Magma, based at the University of Sydney, distributed world-wide, and used intensively in research and teaching. The project will attract international and Australian graduate students and postdoctoral researchers, and strengthen research activities in Australia by enhancing already strong international collaborations. Read moreRead less
Totally disconnected groups and their algebras. Groups are algebraic objects which convey symmetry much as
numbers convey size. For example, the symmetries of a
crystal form a crystallographic group and the classification of
crystallographic groups describes all possible crystal
structures. Totally disconnected groups arise as
symmetries of network structures having nodes and a `neighbour'
relation, as models of crystals do, but which are not rigid like
crystals. Powerful techniques for a ....Totally disconnected groups and their algebras. Groups are algebraic objects which convey symmetry much as
numbers convey size. For example, the symmetries of a
crystal form a crystallographic group and the classification of
crystallographic groups describes all possible crystal
structures. Totally disconnected groups arise as
symmetries of network structures having nodes and a `neighbour'
relation, as models of crystals do, but which are not rigid like
crystals. Powerful techniques for analysing totally
disconnected groups have recently been discovered and this
project aims to develop those techniques. The resulting
significant advances in the understanding of symmetry will
extend the range of applications of
group theory.
Read moreRead less
Multiparameter Harmonic Analysis: Weighted Estimates for Singular Integrals. This project aims to study advanced harmonic analysis concerning multiparameter theory and related topics. Harmonic analysis lies at the intersection of the frontiers of many branches of mathematics. It is fundamental to the study of operator theory and partial differential equations which has wide applications in many fields such as mathematical modelling, probability and number theory. This project aims to solve a num ....Multiparameter Harmonic Analysis: Weighted Estimates for Singular Integrals. This project aims to study advanced harmonic analysis concerning multiparameter theory and related topics. Harmonic analysis lies at the intersection of the frontiers of many branches of mathematics. It is fundamental to the study of operator theory and partial differential equations which has wide applications in many fields such as mathematical modelling, probability and number theory. This project aims to solve a number of open problems at the frontier of research in modern harmonic analysis including estimates on multilinear operators with nonsmooth kernels and advanced multiparameter theory on product spaces.Read moreRead less
Totally disconnected groups in algebra and geometry. Mathematics research creates and develops new concepts for understanding the world. Group theory is a branch of mathematics based on our innate sense of symmetry. It was invented 200 hundred years ago and has grown into a language for analysing and classifying things ranging from wallpaper patterns to crystals, the fundamental particles of physics and Rubik's cube. The chief investigators have made significant breakthroughs in the study of sym ....Totally disconnected groups in algebra and geometry. Mathematics research creates and develops new concepts for understanding the world. Group theory is a branch of mathematics based on our innate sense of symmetry. It was invented 200 hundred years ago and has grown into a language for analysing and classifying things ranging from wallpaper patterns to crystals, the fundamental particles of physics and Rubik's cube. The chief investigators have made significant breakthroughs in the study of symmetry groups of networks, giving Australia an international lead in this research area. The project will develop the insights gained to make Australia a centre of expertise on these symmetry groups, which have applications to many areas including information and communication technology.Read moreRead less
Harmonic analysis: function spaces and singular integral operators. This project advances knowledge in harmonic analysis to new settings such as dyadic and multiparameter theories, Laplacian-like operators, and rough singular integrals. Outcomes will be solutions to long-standing problems, training of researchers, strong links with international researchers and enhancement of Australia's reputation in mathematics.
Applications of Group Theory to Finite Geometry. Group theory and geometry have influenced one another for over a century. The most important structures in geometry are the symmetric ones and the most important groups act on geometries. Recent developments in finite geometry, although informed by symmetry, have used a minimum of group theory. The project aims to redress this, by applying results from a broad range of finite group theory to the presently hot topics in finite geometry. Our aim is ....Applications of Group Theory to Finite Geometry. Group theory and geometry have influenced one another for over a century. The most important structures in geometry are the symmetric ones and the most important groups act on geometries. Recent developments in finite geometry, although informed by symmetry, have used a minimum of group theory. The project aims to redress this, by applying results from a broad range of finite group theory to the presently hot topics in finite geometry. Our aim is to achieve a paradigm shift, by finding substantively different structures than those presently known. Should it succeed, much activity in geometry would follow, seeking geometric interpretation of these group theoretic results. Our focus is necessitated by the lack of a result characterising the underlying groups of symmetric generalised quadrangles.Read moreRead less