Singular photonics: twisted light and optical vortices.
This project will help to establish and support a world-leading research team in Australia in the field of singular photonics and the physics of twisted light; it will help to return the leading positions of the Australian physics in the field of singular optics, and it will initiate a design of a novel generation of photonic devices operating with vortex beams. The project will promote this field in order to enhance its rapid development ....Singular photonics: twisted light and optical vortices.
This project will help to establish and support a world-leading research team in Australia in the field of singular photonics and the physics of twisted light; it will help to return the leading positions of the Australian physics in the field of singular optics, and it will initiate a design of a novel generation of photonic devices operating with vortex beams. The project will promote this field in order to enhance its rapid development and facilitate the emergence of novel technologies in Australia; it will be combined with an extensive collaboration with top overseas groups attracting strong interest from industry.Read moreRead less
New quantum and robust control theory with applications to quantum optics. The application of quantum mechanics to the creation of quantum technology promises to be one of the most exciting technological developments of this century. Possible applications of quantum technologies include vastly improved sensors to search for minerals or gravity waves, secure quantum cryptography, and quantum computing. Quantum feedback control is a key tool in quantum technology. This project will lay the fou ....New quantum and robust control theory with applications to quantum optics. The application of quantum mechanics to the creation of quantum technology promises to be one of the most exciting technological developments of this century. Possible applications of quantum technologies include vastly improved sensors to search for minerals or gravity waves, secure quantum cryptography, and quantum computing. Quantum feedback control is a key tool in quantum technology. This project will lay the foundations of systematic theories of robust, coherent and nonlinear quantum feedback control and lead to advances in the control of highly resonant systems which underlie experimental quantum and nano technology. This will enable Australia to reap great benefits as this new technological area emerges.Read moreRead less
Integrated Photonics for Secure Communication and Related Applications in Financial Transaction Data Analysis. The project includes excellent basic science, semiconductor device fabrication and applied mathematics with explicitly identified consequences for innovation. There is strong potential for national economic benefits through the manufacture of new integrated photonic devices, the application of these devices in secure communication systems, the research of advanced non-linear analysis pr ....Integrated Photonics for Secure Communication and Related Applications in Financial Transaction Data Analysis. The project includes excellent basic science, semiconductor device fabrication and applied mathematics with explicitly identified consequences for innovation. There is strong potential for national economic benefits through the manufacture of new integrated photonic devices, the application of these devices in secure communication systems, the research of advanced non-linear analysis protocols, and the implementation of these in financial transaction analysis. Professional development and research education of postgraduate students and early career researchers will be carried out in a multi-disciplinary research environment with ongoing uptake of the research in industry and commercial sectors.Read moreRead less
Engineering phase and the flow of light in nanophotonics. Optical devices on the scale of only billionths of a meter impel photonic revolution in information technologies. The extraordinary sensitivity and tunability of light confined on nano-scale is caused by the yet unexplored and poorly understood world of tiniest flows of energy, the optical vortices. In this project we will learn to manipulate optical vortices with the light itself, introducing original concepts for intelligent engineering ....Engineering phase and the flow of light in nanophotonics. Optical devices on the scale of only billionths of a meter impel photonic revolution in information technologies. The extraordinary sensitivity and tunability of light confined on nano-scale is caused by the yet unexplored and poorly understood world of tiniest flows of energy, the optical vortices. In this project we will learn to manipulate optical vortices with the light itself, introducing original concepts for intelligent engineering of nano-elements of a photonic chip. This project will deliver underpinning knowledge, foremost practical expertise, and the prominent training of young researchers to secure Australia's international leadership in the rapidly growing and competitive field of nanophotonics.Read moreRead less
Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linea ....Use of Interval Arithmetic and GRID Computing in Computational Molecular Science: Bounding Errors and Locating Global Minima. Catastrophic failure of the Ariane 5 rocket in 1996 and the inability of Patriot missile systems to reach their targets during the 1991 Gulf war were both attributed to numerical computing errors. Less dramatic, but in a similar vein, this project aims to study the numerical stability of contemporary computational molecular science applications. The focus will be on linear scaling electronic structure codes, methods that are critical to the study of nano- and bio-materials, and are therefore of great importance to our economic future and medical well being. The project will build expertise within Australia in the area of interval arithmetic, an area that is currently poorly represented.Read moreRead less
Special Research Initiatives - Grant ID: SR0354741
Funder
Australian Research Council
Funding Amount
$10,000.00
Summary
Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of t ....Quantum Many-Body Systems Network: Breakthrough Science and Frontier Technologies. This Initiative will bring together leading researchers with complementary expertise in mathematics and the enabling sciences to form a Network fostering world leading fundamental research and innovation in quantum many-body systems. The collaborative effort between mathematicians with powerful and sophisticated new techniques and physicists and chemists with deep insight into the challenges and opportunities of the quantum realm will lead to breakthrough science of vital importance to the development of frontier technologies in Australia. This Network will also place a strong emphasis on research training, the mentoring of early career researchers and establishing collaborations with leading international research groups and networks.
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
Design Efficient Routing Protocols For WDM Optical Networks. The optical network technique plays a key role to the next-generation networks. In particular, wavelength-division-multiplexing (WDM) optical networks have emerged as a promising candidate for next-generation networks in providing huge available bandwidth and connectivity.
Routing and wavelength assignment problem is one of the fundamental problems in WDM optical networks. In this project we primarily focus on devising and analyzing ....Design Efficient Routing Protocols For WDM Optical Networks. The optical network technique plays a key role to the next-generation networks. In particular, wavelength-division-multiplexing (WDM) optical networks have emerged as a promising candidate for next-generation networks in providing huge available bandwidth and connectivity.
Routing and wavelength assignment problem is one of the fundamental problems in WDM optical networks. In this project we primarily focus on devising and analyzing efficient routing algorithms for all-to-all routing and robust routing in the WDM networks. Incorporated with various known techniques, practical algorithms will be developed. The algorithms and techniques developed in this project will be through simulation, testing, and implementation.Read moreRead less
3D Image segmentation and shape characterisation driven by topological persistence. Tomographic imaging is emerging as a new tool to help tackle a remarkable array of scientific challenges. What distinguishes healthy bone from that of osteoporosis sufferers? How does groundwater contamination spread? Why is a macadamia nut so hard to crack? What causes the iridescence in a butterfly wing? These are just a few of the questions being answered at tomographic facilities in Australia alone. By co ....3D Image segmentation and shape characterisation driven by topological persistence. Tomographic imaging is emerging as a new tool to help tackle a remarkable array of scientific challenges. What distinguishes healthy bone from that of osteoporosis sufferers? How does groundwater contamination spread? Why is a macadamia nut so hard to crack? What causes the iridescence in a butterfly wing? These are just a few of the questions being answered at tomographic facilities in Australia alone. By combining sophisticated mathematics with cutting edge image-processing algorithms, this project will yield a new class of topology driven image analysis techniques that will improve the accuracy and reliability of predictions made from tomographic images.Read moreRead less
Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in bu ....Proof Theoretical Methods for Reasoning about Process Equivalence. The emergence of internet commerce has made the issue of secure computing more urgent than ever. A substantial part of the security issues with today's computer applications are due to design problems.
The principles of secure computation have not been fully understood and adequate tools for the construction of secure applications are still lacking. The understanding of the foundations of secure computation is essential in building trusted computer applications. Process calculi and logic represent two promising disciplines in which the principles of analysis and design of secure systems can be studied systematically, out of which formal verification tools can be constructed.Read moreRead less