Computer-aided proofs for non-hyperbolic dynamics and blenders . This project aims to develop methods to rigorously detect certain geometric structures in systems that are known to imply chaos and are robust under perturbation. Such structures include blenders and robust heterodimensional cycles and homoclinic tangencies.
This project expects to generate new knowledge in the area of non hyperbolic dynamics utilising a novel combination of recent developments in Dynamical Systems and techniques ....Computer-aided proofs for non-hyperbolic dynamics and blenders . This project aims to develop methods to rigorously detect certain geometric structures in systems that are known to imply chaos and are robust under perturbation. Such structures include blenders and robust heterodimensional cycles and homoclinic tangencies.
This project expects to generate new knowledge in the area of non hyperbolic dynamics utilising a novel combination of recent developments in Dynamical Systems and techniques from rigorous numerics.
Expected outcomes of this project include an efficient computation platform aimed at detecting and verifying chaos-inducing objects in complex dynamical systems.
This should provide significant benefits, such as an increased understanding of non-hyperbolic dynamical systems. Read moreRead less
Arithmetic hypergeometric series. Arithmetic, known nowadays as number theory, is the heart and one of the oldest parts of mathematics. The project is aimed at solving three difficult mathematical problems of contemporary mathematics by arithmetic means.
Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace de ....Dynamics of eigenvalue/eigenspace algorithms with applications to signal processing. Many problems in signal and systems lead naturally to an eigenvalue/eigenspace determination and tracking problem; for example (acoustic) echo-cancellation, crosstalk suppression in ADSL modems, direction of arrival determination with an array of sensors, linear system identification etc. Exploiting methods from global analysis and dynamical systems theory we will study the available algorithms for eigenspace determination to characterise their computational efficiency, accuracy and effectiveness in various data scenarios. The analysis will lead to improved designs for eigenvalue/eigenspace algorithms, as well as design tools to engineer algorithms to specific situations.Read moreRead less
The language complexity of problems in algebra and logic. This project focuses on a major problem at the intersection of algebra, logic and computer science, concerning equations over free groups and free monoids. Expected outcomes include a language-theoretic characterisation of solutions of equations in a wide class of groups and monoids, a language-theoretic understanding of the existential and first-order theories of free groups, and a classification of groups with indexed multiplication tab ....The language complexity of problems in algebra and logic. This project focuses on a major problem at the intersection of algebra, logic and computer science, concerning equations over free groups and free monoids. Expected outcomes include a language-theoretic characterisation of solutions of equations in a wide class of groups and monoids, a language-theoretic understanding of the existential and first-order theories of free groups, and a classification of groups with indexed multiplication tables and EDT0L word problem. The project is designed to expand the frontiers of knowledge in theoretical computer science and pure mathematics, but in the longer term to deepen our understanding of computers, their computational power and intrinsic limitations.Read moreRead less
A semiclassical approach to spectral theory. Spectral theory is the branch of mathematics dealing with natural frequencies (eigenvalues) and modes of vibration (eigenfunctions) of systems arising in geometry, quantum physics and engineering. As such, they have important applications in seismic and medical imaging, nanotechnology, and optical communications. This project aims to use recently developed mathematical tools to advance our understanding of high energy eigenvalues and eigenfunctions, a ....A semiclassical approach to spectral theory. Spectral theory is the branch of mathematics dealing with natural frequencies (eigenvalues) and modes of vibration (eigenfunctions) of systems arising in geometry, quantum physics and engineering. As such, they have important applications in seismic and medical imaging, nanotechnology, and optical communications. This project aims to use recently developed mathematical tools to advance our understanding of high energy eigenvalues and eigenfunctions, as well as new algorithms for numerically computing them.Read moreRead less
Propagation via nonlinear partial differential equations. This project aims to develop new theories in nonlinear partial differential equations to better understand propagation phenomena. Propagation occurs in various forms, such as the spreading of invasive species, infectious diseases or cancer cells, or the progression of the healing front of a wound. This project aims to understand propagation speed and profile, criteria for spreading and vanishing, and other qualitative properties of the eq ....Propagation via nonlinear partial differential equations. This project aims to develop new theories in nonlinear partial differential equations to better understand propagation phenomena. Propagation occurs in various forms, such as the spreading of invasive species, infectious diseases or cancer cells, or the progression of the healing front of a wound. This project aims to understand propagation speed and profile, criteria for spreading and vanishing, and other qualitative properties of the equations. The project will develop new mathematical theories, and build bridges between the theories and applications.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.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.
Mathematics for breaking limits of speed and density in magnetic memories. The aim of this project is to develop a mathematical theory and numerical models of stochastic partial differential equations for magnetic nano-structures. Such materials will yield next-generation magnetic memories with up to three orders of magnitude faster switching speeds and dramatically increased data storage density. New mathematical theories will help understand their sensitivity to small random fluctuations that ....Mathematics for breaking limits of speed and density in magnetic memories. The aim of this project is to develop a mathematical theory and numerical models of stochastic partial differential equations for magnetic nano-structures. Such materials will yield next-generation magnetic memories with up to three orders of magnitude faster switching speeds and dramatically increased data storage density. New mathematical theories will help understand their sensitivity to small random fluctuations that can destroy stored information. This project aims to revolutionise mathematical modelling of magnetic memories and put Australia at the forefront of international research. Technological advances to create much smaller and faster memory devices are expected to enable groundbreaking ways of managing and mining big data.Read moreRead less
Generalised topological spaces. Pure mathematics creates abstractions of real-world entities; one such is the idea of a 'topological space', which abstracts from geometric forms like cubes and toruses. But topological spaces fail to capture geometric structures arising in areas like quantum physics; and this project seeks to rectify this, by developing a new more general notion.