Discovery Early Career Researcher Award - Grant ID: DE140100088
Funder
Australian Research Council
Funding Amount
$378,628.00
Summary
Computing with matrix groups and Lie algebras: new concepts and applications. Computational algebra combines symbolic computation and pure research in algebra, and is concerned with the design of algorithms for solving mathematical problems endowed with algebraic structure. Matrix groups and Lie algebras are prominent algebraic objects describing the natural concept of symmetry. Despite being very common and important in science, there is a paucity of algorithms to study their structure. This pr ....Computing with matrix groups and Lie algebras: new concepts and applications. Computational algebra combines symbolic computation and pure research in algebra, and is concerned with the design of algorithms for solving mathematical problems endowed with algebraic structure. Matrix groups and Lie algebras are prominent algebraic objects describing the natural concept of symmetry. Despite being very common and important in science, there is a paucity of algorithms to study their structure. This project will develop deep new mathematical theories for computing with these objects, leading to ground-breaking advances in computational algebra, and providing powerful tools facilitating new research, including in other sciences. The new functionality will be used to solve two classification problems in group and Lie theory.Read moreRead less
The arithmetic of supersingular elliptic curves. The proposed research will have substantial benefits both in the area of pure mathematics, and to the standing of number theory within Australia generally. If successful, the investigators envisage: - fundamental advances in the study of both elliptic curves and modular forms; - key progress in our understanding of the final Millenium Prize Problem in Mathematics; - academic software to compute special values of L-functions; - applications to com ....The arithmetic of supersingular elliptic curves. The proposed research will have substantial benefits both in the area of pure mathematics, and to the standing of number theory within Australia generally. If successful, the investigators envisage: - fundamental advances in the study of both elliptic curves and modular forms; - key progress in our understanding of the final Millenium Prize Problem in Mathematics; - academic software to compute special values of L-functions; - applications to computational mathematics, particularly elliptic curve cryptosystems; - a huge boost to the development of number theory Australia-wide.
Read moreRead less
Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress ....Algorithms and computation in four-dimensional topology. This project will establish Australia as a world leader in computational topology, particularly in the all-important areas of topology in three and four dimensions. In four dimensions this work will be truly groundbreaking; until now the field has seen little development due to the complexity of the algorithms and computations required, and the applicant is in the unique position of having the necessary tools to make significant progress in a feasible time frame. In three dimensions this project will strengthen the distinguished computational topology community in Melbourne, led by pioneers such as Rubinstein, Goodman, Hodgson as well as the applicant himself.Read moreRead less
Improving Upper and Lower Bounds on the Order of Large Graphs under Degree and Distance Constraints. Networks govern all aspects of society, including transportation networks, communication networks, computer networks and networks for the distribution of goods etc. - and the theoretical analysis of such networks has become a subject of fundamental importance. Networks can be modelled by graphs. This project will provide new theoretical results which will improve our knowledge of network topologi ....Improving Upper and Lower Bounds on the Order of Large Graphs under Degree and Distance Constraints. Networks govern all aspects of society, including transportation networks, communication networks, computer networks and networks for the distribution of goods etc. - and the theoretical analysis of such networks has become a subject of fundamental importance. Networks can be modelled by graphs. This project will provide new theoretical results which will improve our knowledge of network topologies. The new knowledge will then be utilised in the construction of large graphs with respect to given maximum degree and distance constraints.Read moreRead less
Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unit ....Unlocking the potential for linear and discrete optimisation in knot theory and computational topology. Computational topology is a young, energetic field that uses computers to solve complex geometric problems, such as whether a loop of string is tangled. Such computations are becoming increasingly important in mathematics, and applications span biology, physics and information sciences, however many core problems in the field remain intractable for all but the simplest cases. This project unites geometric techniques with powerful methods from operations research, such as linear and discrete optimisation, to build fast, powerful tools that can for the first time systematically solve large topological problems. Theoretically, this project has significant impact on the famous open problem of detecting knottedness in fast polynomial time.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
Polynomial representations of the Hecke algebra. This project will offer a great opportunity for talented students to engage in internationally competitive research in mathematics. In addition, through international collaboration, this project will be able to deliver an online database with software libraries which will be a world benchmark for computation with multivariate polynomials.
Statistical Topology and its Application to Deriving New Geometric Invariants. This project will offer a great opportunity for talented students to engage in internationally competitive research. Statistical topology, which combines ideas in topology, geometry and statistical mechanics is becoming a rapidly increasing branch of mathematics, with many emerging applications in bio-informatics, computer science and theoretical physics.
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