Entanglement renormalization: a new route to strongly correlated fermions and novel states of matter in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated fermion systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study fermion systems, and by ....Entanglement renormalization: a new route to strongly correlated fermions and novel states of matter in two dimensions. The expected outcome of the research program is a significant boost in our understanding of strongly correlated fermion systems, which will reinforce Australia's competitiveness and international profile in aspects of breakthrough science and frontier technologies. By strengthening both the underpinning theory and innovative computational tools to study fermion systems, and by applying them to specific problems of recognized importance, this program will have direct implications in condensed matter physics and will exert significant influence in areas such as quantum chemistry, particle, nuclear and atomic physics, quantum computing, quantum atom optics and nanotechnology.Read moreRead less
Iwasawa N Groups. Semisimple Lie groups and related objects are important in mathematics, theoretical physics (e.g., quantum mechanics and string theory), theoretical computer science (e.g., construction of expanders), and many other areas. They may be studied from different points of view---algebraic, analytic, geometric and representation theoretic---and these different studies find different applications. The project aims to synthesize the different points of view, to understand their funda ....Iwasawa N Groups. Semisimple Lie groups and related objects are important in mathematics, theoretical physics (e.g., quantum mechanics and string theory), theoretical computer science (e.g., construction of expanders), and many other areas. They may be studied from different points of view---algebraic, analytic, geometric and representation theoretic---and these different studies find different applications. The project aims to synthesize the different points of view, to understand their fundamental unity, and to allow results of one type to be translated into another context.Read moreRead less
Global Behaviour of Integrable Complex Systems. Complex systems as diverse as the weather and the solar system are modelled by non-linear equations that have elusive, unstable solutions. An infinitesimally small change in the state of the system at one place can lead to a vast change in its behaviour far away. Such extreme sensitivity is often take to be a sign of chaos, but it also occurs in completely ordered, integrable systems. Our main aim is to tackle the immense challenge of describing th ....Global Behaviour of Integrable Complex Systems. Complex systems as diverse as the weather and the solar system are modelled by non-linear equations that have elusive, unstable solutions. An infinitesimally small change in the state of the system at one place can lead to a vast change in its behaviour far away. Such extreme sensitivity is often take to be a sign of chaos, but it also occurs in completely ordered, integrable systems. Our main aim is to tackle the immense challenge of describing the global behaviour of such elusive solutions, particularly when the systems depend on many variables.Read moreRead less
Equivalence Relations, Group Actions, and Descriptive Set Theory. This project is a contribution to basic and foundational research in the area of Pure Mathematics generally and Mathematical Logic specifically. Logic in particular appears in disciplines as diverse as Computer Science,Linguistics, and Philosophy, and the development of logic in these fields has been profoundly influenced by the foundational work of mathematical logicians. The innovative techniques introduced in this proposal will ....Equivalence Relations, Group Actions, and Descriptive Set Theory. This project is a contribution to basic and foundational research in the area of Pure Mathematics generally and Mathematical Logic specifically. Logic in particular appears in disciplines as diverse as Computer Science,Linguistics, and Philosophy, and the development of logic in these fields has been profoundly influenced by the foundational work of mathematical logicians. The innovative techniques introduced in this proposal will enable Australia to maintain a position at the forefront of Pure Mathematics, and by recruiting a recent winner of the highly prestigious Karp prize the country will be instantly established as one of the leading centers of Mathematical Logic.Read moreRead less