Investigating Near-Threshold Atomic and Molecular Collision Processes with Multiparameter Detection Techniques. We are proposing to perform state-of-the-art, electron impact excitation and ionization measurements on a range of atoms and molecules. The combination of new detector technology and innovative experimental design will enable measurements of near-threshold excitation and ionization in a number of important atomic and molecular systems. The measurements will have implications for the ....Investigating Near-Threshold Atomic and Molecular Collision Processes with Multiparameter Detection Techniques. We are proposing to perform state-of-the-art, electron impact excitation and ionization measurements on a range of atoms and molecules. The combination of new detector technology and innovative experimental design will enable measurements of near-threshold excitation and ionization in a number of important atomic and molecular systems. The measurements will have implications for the further development of atomic scattering theory, particularly the role of electron-electron correlations, and provide much needed absolute scattering information on the excitation of molecules which are of relevance to our atmosphere and various technological devices.Read moreRead less
New frontiers in statistical mechanics. The chiral Potts model has been introduced in 1981 as a model for commensurate-incommensurate phase transitions in a layer of atoms or molecules adsorbed to a solid surface. If the adsorbed atoms all fit to holes between the surface atoms, the added layer is frozen, commensurate with the surface. If the added atoms are unable to fit holes, the added layer is no longer commensurate with the surface and could be in a floating state. A deeper understanding of ....New frontiers in statistical mechanics. The chiral Potts model has been introduced in 1981 as a model for commensurate-incommensurate phase transitions in a layer of atoms or molecules adsorbed to a solid surface. If the adsorbed atoms all fit to holes between the surface atoms, the added layer is frozen, commensurate with the surface. If the added atoms are unable to fit holes, the added layer is no longer commensurate with the surface and could be in a floating state. A deeper understanding of this and similar phenomena in layered systems has nanotechnological implications. This may affect the design of new small electronic devices or could apply to small biological systems and the development of new medicines. The project will surely lead to new applicable mathematics.Read moreRead less
Low-order dynamical models for non-linear fluid behaviour in quasi two-dimensional plasmas. Two complex systems in which a magnetic field imposes two-dimensional fluid motions are turbulent fusion plasmas and magnetospheric plasmas. A distinctive property of 2D flows is the inverse energy cascade, whereby energy streaming into large-scale vortices, coherent structures, or sheared flows gives a remarkable propensity for self-organizing behaviour. This can be exploited to govern or guide our respo ....Low-order dynamical models for non-linear fluid behaviour in quasi two-dimensional plasmas. Two complex systems in which a magnetic field imposes two-dimensional fluid motions are turbulent fusion plasmas and magnetospheric plasmas. A distinctive property of 2D flows is the inverse energy cascade, whereby energy streaming into large-scale vortices, coherent structures, or sheared flows gives a remarkable propensity for self-organizing behaviour. This can be exploited to govern or guide our response to such systems. We propose to investigate the dynamics of momentum and energy exchange in these plasmas, using reduced dynamical models and bifurcation and stability mathematics. Expected outcomes are improved prediction of magnetospheric substorms and confinement of fusion plasmas.
Read moreRead less
Propagation of singularities for the Schrodinger equation. The time-dependent Schrodinger equation governs the evolution of quantum particles. In this project we aim to use new techniques from mathematical scattering theory to analyse solutions of the Schrodinger equation and obtain sharp bounds on their singularities. Controlling such singularities will allow us to deduce quantitative bounds on the number of eigenvalues in certain situations, and provide new techniques for studying nonlinear Sc ....Propagation of singularities for the Schrodinger equation. The time-dependent Schrodinger equation governs the evolution of quantum particles. In this project we aim to use new techniques from mathematical scattering theory to analyse solutions of the Schrodinger equation and obtain sharp bounds on their singularities. Controlling such singularities will allow us to deduce quantitative bounds on the number of eigenvalues in certain situations, and provide new techniques for studying nonlinear Schrodinger equations. Read moreRead less
Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respec ....Expressive power and complexity of temporal logics for model-checking. Hardware verification based upon mathematical logic is now routinely
used in industry to verify the correctness of large digital circuits
using a technique called model-checking. Such discrete systems move
from one state to another according to the regular ticks of a clock.
The challenge now is to find tractable methods for reasoning about
real-time systems and hybrid systems that move in a continuous manner
with respect to time: examples include aeroplanes flying according to
the laws of physics and a moving robot arm. We shall invent new logics
which are specifically tailored for tractable reasoning about
real-time and hybrid systems.Read moreRead less
Hardy spaces of differential forms and applications. Hardy spaces on Euclidean spaces were developed in the 1970's following the fundamental work of Stein, Weiss and Fefferman. These spaces play an important role in harmonic analysis, as they are the natural spaces on which to consider singular integral operators. They arise in many contexts, such as when using Jacobians in non-linear partial differential equations. Recently the French participants and the Australian participants have have obt ....Hardy spaces of differential forms and applications. Hardy spaces on Euclidean spaces were developed in the 1970's following the fundamental work of Stein, Weiss and Fefferman. These spaces play an important role in harmonic analysis, as they are the natural spaces on which to consider singular integral operators. They arise in many contexts, such as when using Jacobians in non-linear partial differential equations. Recently the French participants and the Australian participants have have obtained different but related results concerning Hardy spaces of exact differential forms. The time is now ripe to construct a unified theory.
Read moreRead less
Low-dimensional quantum systems. The theory of integrable systems of statistical mechanics and quantum field theory is currently one of most rapidly developing and fascinating subjects in theoretical physics and mathematics.
It allows to obtain an exact description of strongly-interacting quantum systems in one or two space dimensions and provides fundamental tools for understanding of critical phenomena and physics of small systems like quantum wires, carbon nanotubes and Josephson junctions ....Low-dimensional quantum systems. The theory of integrable systems of statistical mechanics and quantum field theory is currently one of most rapidly developing and fascinating subjects in theoretical physics and mathematics.
It allows to obtain an exact description of strongly-interacting quantum systems in one or two space dimensions and provides fundamental tools for understanding of critical phenomena and physics of small systems like quantum wires, carbon nanotubes and Josephson junctions. The project addresses two particular problems in this field: the three-dimensional lattice model with continuous spins and calculation of form factors in a two-dimensional massive field theory with a supersymmetry.
Read moreRead less
Noncommutative geometry and applications. Noncommutative geometry is a new field of mathematical research having its origins in quantum mechanics. The main feature of this theory is that it deals with geoemtric and topological aspects of objects for which the order in which we make measurements or perform operations or observations is relevant to the outcome. This happens with microscopic systems especially those at the atomic or subatomic length scale. The methods have been motivated by and fou ....Noncommutative geometry and applications. Noncommutative geometry is a new field of mathematical research having its origins in quantum mechanics. The main feature of this theory is that it deals with geoemtric and topological aspects of objects for which the order in which we make measurements or perform operations or observations is relevant to the outcome. This happens with microscopic systems especially those at the atomic or subatomic length scale. The methods have been motivated by and found application in condensed matter physics, string theory, random media, algebraic structures and the geometry and topology of manifoldsRead moreRead less
Physical properties of exactly solved quantum spin systems. Progress in understanding quantum spin systems in condensed matter physics can be greatly enhanced by the knowledge and understanding obtained from exactly solved models. This project will apply new techniques from the theory of exactly solved models to calculate the magnetic and thermal properties of quantum spin systems. The outcomes will include progress at the forefront of theoretical physics, with direct comparison with experimenta ....Physical properties of exactly solved quantum spin systems. Progress in understanding quantum spin systems in condensed matter physics can be greatly enhanced by the knowledge and understanding obtained from exactly solved models. This project will apply new techniques from the theory of exactly solved models to calculate the magnetic and thermal properties of quantum spin systems. The outcomes will include progress at the forefront of theoretical physics, with direct comparison with experimental results and strong predictive power for new experiments. The project will establish strong research links between Australia and Japan.Read moreRead less