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
Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "goo ....Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "good" codes and cryptosystems can be constructed from specific function fields whose existence is guaranteed by abstract theory, often no actual construction for the function field is currently known. We aim to close this gap, making a greater range of "good" codes and cryptosystems available for practical applications.
Read moreRead less
Constructive Representation Theory and its Applications. The algorithms developed will make it possible to determine the different ways (representations) in which a group of symmetries may be realised as transformations of some space. Such knowledge is required in many areas including differential equations, digital signal processing, engineering ('strut-and-cable' constructions), the design of telephone networks, crystallography and quantum information processing. The high-performance tools fo ....Constructive Representation Theory and its Applications. The algorithms developed will make it possible to determine the different ways (representations) in which a group of symmetries may be realised as transformations of some space. Such knowledge is required in many areas including differential equations, digital signal processing, engineering ('strut-and-cable' constructions), the design of telephone networks, crystallography and quantum information processing. The high-performance tools for linear algebra developed will also find application in cryptography and coding theory. This work represents the latest stage in a long-term project to discover practical algorithms for elucidating the properties of complex algebraic structures - an area where Australia is a world-leader.Read moreRead less
Computational Methods for Matrix Groups and Group Representations. The symmetry of a system is captured mathematically by the notion of a group. A set of matrices closed under multiplication and the taking of inverses is an important example of a group. For instance, the symmetries of many physical systems and other objects are captured by a group of matrices over the complex numbers. This project will develop the computational tools necessary for constructing and analyzing finite matrix groups ....Computational Methods for Matrix Groups and Group Representations. The symmetry of a system is captured mathematically by the notion of a group. A set of matrices closed under multiplication and the taking of inverses is an important example of a group. For instance, the symmetries of many physical systems and other objects are captured by a group of matrices over the complex numbers. This project will develop the computational tools necessary for constructing and analyzing finite matrix groups over infinite fields such as the complex numbers. These methods will find immediate application to many areas of science and engineering and, in particular, to the theory of quantum computation.
Read moreRead less
Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and sta ....Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and statistical mechanics and is likely to have flow-on effects in real-world disciplines such as network communication. This project will also strengthen Australia's international presence in discrete mathematics and will further strengthen ties between Australian and international mathematicians.Read moreRead less
Structure and states of operator-algebraic dynamical systems. This project is in the general area of functional analysis, and more specifically operator theory, an area in which the University of Wollongong has an active research group and a strong international reputation. The investigators will study dynamical systems arising in combinatorial and number-theoretic situations, where the analogue of the "dynamics'' is provided by an action of the real line on an operator algebra. Thus the project ....Structure and states of operator-algebraic dynamical systems. This project is in the general area of functional analysis, and more specifically operator theory, an area in which the University of Wollongong has an active research group and a strong international reputation. The investigators will study dynamical systems arising in combinatorial and number-theoretic situations, where the analogue of the "dynamics'' is provided by an action of the real line on an operator algebra. Thus the project will involve ideas and techniques from a wide range of mathematical disciplines, and will help to broaden Australia's expertise across these disciplines.Read moreRead less
Endomorphisms, transfer operators and Hilbert modules. This project is in the general area of functional analysis, an area where both Newcastle University and the University of New South Wales have strong international reputations. The aim of the project is to study irreversible dynamics in the presence of transfer operators, as recently introduced by Professor Exel. The motivation comes from a variety of examples arising in different areas of mathematics, including number theory and graph theor ....Endomorphisms, transfer operators and Hilbert modules. This project is in the general area of functional analysis, an area where both Newcastle University and the University of New South Wales have strong international reputations. The aim of the project is to study irreversible dynamics in the presence of transfer operators, as recently introduced by Professor Exel. The motivation comes from a variety of examples arising in different areas of mathematics, including number theory and graph theory. It is hoped that the results will give new understanding of the algebraic and analytic structure underlying the multi-resolution analyses used in approximation theory and Fourier analysis. This project will help ensure that Australia has a strong foundation in mathematics which will foster innovation.Read moreRead less
Representations of dynamical systems, amenability, and proper actions. Mathematicians study abstract objects by representing them in terms of well-understood concrete models, and need to know when a representation is faithful, in the sense that the model contains complete information. Dynamical systems are an abstraction of physical systems suitable for studying time evolution and symmetries. The project aims to determine when important representations of dynamical systems are faithful, or, in ....Representations of dynamical systems, amenability, and proper actions. Mathematicians study abstract objects by representing them in terms of well-understood concrete models, and need to know when a representation is faithful, in the sense that the model contains complete information. Dynamical systems are an abstraction of physical systems suitable for studying time evolution and symmetries. The project aims to determine when important representations of dynamical systems are faithful, or, in mathematical language, when the dynamical system is amenable. The proposed strategy involves extending Rieffel's notion of proper actions; the construction should be of wide applicability apart from the intended applications to amenability.Read moreRead less
Operator algebras associated to semigroups and graphs. This project aims to unify ideas from two highly topical areas of mathematics in which one studies discrete objects by representing them as families of linear transformations. In the first area, one represents the semigroups which model irreversible dynamics as isometries (that is, distance-preserving transformations); in the second, one represents networks by families of partially defined isometries in a way which reflects the behaviour of ....Operator algebras associated to semigroups and graphs. This project aims to unify ideas from two highly topical areas of mathematics in which one studies discrete objects by representing them as families of linear transformations. In the first area, one represents the semigroups which model irreversible dynamics as isometries (that is, distance-preserving transformations); in the second, one represents networks by families of partially defined isometries in a way which reflects the behaviour of paths in the network. The link will be achieved by viewing the operator algebras they generate as semidirect products which have been twisted by a noncommutative cocycle.Read moreRead less
The structure of quantum groups. We propose to study the structure of mathematical objects used in describing symmetries of micro-scale phenomena. The project will significantly develop already well established Australian-Korean cooperation in this exciting and rapidly growing area of research. The results will be immediately applicable to related fields of mathematics, most notably to noncommutative geometry. In the long run, the outcomes will help in better understanding of fundamental problem ....The structure of quantum groups. We propose to study the structure of mathematical objects used in describing symmetries of micro-scale phenomena. The project will significantly develop already well established Australian-Korean cooperation in this exciting and rapidly growing area of research. The results will be immediately applicable to related fields of mathematics, most notably to noncommutative geometry. In the long run, the outcomes will help in better understanding of fundamental problems of modern quantum physics.Read moreRead less