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
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
Permutation groups and their interplay with symmetry in finite geometry and graph theory. A strong mathematical community in Australia provides the foundations for future discoveries in technology, science and business. The use of group theory to characterise symmetric generalised quadrangles, partial quadrangles, and strongly regular graphs, and the construction of new examples of such objects, will enhance Australia's leading position in Group Theory, Algebraic Graph Theory and Finite Geometry ....Permutation groups and their interplay with symmetry in finite geometry and graph theory. A strong mathematical community in Australia provides the foundations for future discoveries in technology, science and business. The use of group theory to characterise symmetric generalised quadrangles, partial quadrangles, and strongly regular graphs, and the construction of new examples of such objects, will enhance Australia's leading position in Group Theory, Algebraic Graph Theory and Finite Geometry. This project will also strengthen the collaboration between Australian, Belgian and Italian Universities and support young researchers, developing expertise in a world-leading research group, to drive Australia's future in mathematics.Read moreRead less
Symmetrical graphs, generalized polygons and expanders. This project proposes to study a class of highly symmetrical graphs -- locally s-arc-transitive graphs. Studying the class of graphs has been one of the central topics in algebraic graph theory for over 50 years. This class of graphs has been effectively used in computer science, communication network, group theory, geometry, and other areas. This project will develop new methods to solve several fundamental problems regarding locally s-arc ....Symmetrical graphs, generalized polygons and expanders. This project proposes to study a class of highly symmetrical graphs -- locally s-arc-transitive graphs. Studying the class of graphs has been one of the central topics in algebraic graph theory for over 50 years. This class of graphs has been effectively used in computer science, communication network, group theory, geometry, and other areas. This project will develop new methods to solve several fundamental problems regarding locally s-arc-transitive graphs, and apply the outcomes to solve important problems in communication networks, graph theory, group theory, and geometry.Read moreRead less
Evolution and the immune system: genetic differences in immune response between human populations due to adaptation to living in different geo-climatic locations. The project, which investigates the genetics of inter-population differences in immune response, will lead to advances in immunology and population genetics research, explain present population specific differences in disease incidence and possibly forecast future population trends of diseases such as asthma and allergy. The study will ....Evolution and the immune system: genetic differences in immune response between human populations due to adaptation to living in different geo-climatic locations. The project, which investigates the genetics of inter-population differences in immune response, will lead to advances in immunology and population genetics research, explain present population specific differences in disease incidence and possibly forecast future population trends of diseases such as asthma and allergy. The study will strengthen ties with collaborators around the world, thus promoting excellence in Australian research and gain Australia prestige in the international community as a country that produces research of global significance. Understanding the immune system's 'recent evolutionary roots' has implications for the health of Australians, especially in light of Australia's increasingly multi-ethnic background.Read moreRead less
Groups: statistics, structure, and algorithms. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for workin ....Groups: statistics, structure, and algorithms. Science today relies on digital technologies using quantised and digital information. Because of the discrete nature of digital information, much of the mathematics underpinning these advances comes from the core disciplines of algebra and combinatorics within which this proposal falls. All aspects of the proposal focus on strengthening theoretical understanding of algebraic and combinatorial structures, and increasing computational power for working with them. The fundamental research outcomes, in terms of theorems, algorithms, and the training of young research mathematicians, will thus both enhance the high international standing of Australian mathematics, and strengthen Australia's capabilities in these important areas.Read moreRead less
Factorisation of Finite Groups and Graphs. The combinatorial structure of a graph is strongly influenced by its
symmetry, and the symmetry is described precisely by its group of
automorphisms. Interplay between actions of the automorphism group on
vertices, edges, and other configurations, reveals important graph
structure, especially the existence of graph factorisations. In turn, a group factorisation arises whenever a group has two
independent transitive actions, and these arise in parti ....Factorisation of Finite Groups and Graphs. The combinatorial structure of a graph is strongly influenced by its
symmetry, and the symmetry is described precisely by its group of
automorphisms. Interplay between actions of the automorphism group on
vertices, edges, and other configurations, reveals important graph
structure, especially the existence of graph factorisations. In turn, a group factorisation arises whenever a group has two
independent transitive actions, and these arise in particular while
determining graph automorphism groups, and graph factorisations. We will classify families of group factorisations, especially for simple groups, and apply this to establish a theory of symmetrical graph
factorisations, and to study Cayley graphs and 2-closures of permutation groups.
Read moreRead less
Efficient computation in finite groups with applications in algebra and graph theory. The cutting-edge research of the project will further strengthen Australia's prominent role in computational group theory and algebraic graph theory. Besides the theoretical advances, the project includes the implementation and wide distribution of matrix group algorithms, benefiting immediately the algebraic research community and undergraduate mathematical education.
Finite permutation groups and flag-transitive incidence structures. Mathematics is the enabling discipline for all the sciences and so a strong mathematical research community in Australia provides the foundations for future discoveries in science and technology. By developing new theory for permutation groups, producing a new paradigm for the study of Buekenhout geometries and classifying certain families of flag-transitive incidence structures, we will enhance Australia's leading position in P ....Finite permutation groups and flag-transitive incidence structures. Mathematics is the enabling discipline for all the sciences and so a strong mathematical research community in Australia provides the foundations for future discoveries in science and technology. By developing new theory for permutation groups, producing a new paradigm for the study of Buekenhout geometries and classifying certain families of flag-transitive incidence structures, we will enhance Australia's leading position in Permutation Group Theory, Algebraic Graph Theory and Finite Geometry. This will attract international and Australian postgraduate students and visitors, and strengthen the research activities of Australia by enhancing the collaboration between UWA and leading international universities.Read moreRead less