Study of mathematical models of evolution using the theory of quantum games - strengthening the theoretical foundation of quantum computation. The fields of nanotechnology, quantum technology and quantum information processing are rapidly converging. This project aims to provide a novel approach in the fundamental understanding of quantum computation/information by using methods inspired by mathematics of evolutionary competition. The project will contribute towards the theoretical foundations o ....Study of mathematical models of evolution using the theory of quantum games - strengthening the theoretical foundation of quantum computation. The fields of nanotechnology, quantum technology and quantum information processing are rapidly converging. This project aims to provide a novel approach in the fundamental understanding of quantum computation/information by using methods inspired by mathematics of evolutionary competition. The project will contribute towards the theoretical foundations of quantum computation by complementing efforts of several groups in Australia collaborating on the experimental design of quantum computers. The outcome of this project will contribute towards the successful operation of quantum computers and will help maintain Australia's position in the global forefront of quantum computation/information.
Read moreRead less
The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in log ....The geometry of impossible, or contradictory objects and its applications to computing and cognition. The principal aim is pure research, the increase of knowledge within the Theory of Inconsistency and particularly its mathematical aspects, to be available to the national and world community. Additionally, a new stock of hitherto-unseen images (still, moving and three-dimensional) will be constructed in a virtual reality environment. In addition to enhancing Australia's strong reputation in logic, there are spin-offs for mathematics, cognitive science, computer studies, and the arts and entertainment industries.Read moreRead less
Monopoles, instantons and metrics. This Project is pure basic research in the general area of differential geometry or the study of manifolds. Manifolds are higher dimensional analogues of surfaces such as the surface of the sphere or the surface of a doughnut. This Project studies monopoles and instantons which are solutions of partial differential equations arising in physics. These solutions and the so-called moduli spaces of all solutions have been used in the last two decades by the worlds ....Monopoles, instantons and metrics. This Project is pure basic research in the general area of differential geometry or the study of manifolds. Manifolds are higher dimensional analogues of surfaces such as the surface of the sphere or the surface of a doughnut. This Project studies monopoles and instantons which are solutions of partial differential equations arising in physics. These solutions and the so-called moduli spaces of all solutions have been used in the last two decades by the worlds leading mathematicians to revolutionize the study of three and four dimensional manifolds.Read moreRead less
Characterizing and classifying ovoids, flocks and generalized quadrangles. This project lies within the framework of the classification and characterization of fundamental structures in finite geometry. This research area is the site of much international activity, in which the proposed research team plays a central role. The aim of the project is to pursue twin goals: the classification of ovoids in three dimensional projective space, a famous long-standing problem; and the classification of ce ....Characterizing and classifying ovoids, flocks and generalized quadrangles. This project lies within the framework of the classification and characterization of fundamental structures in finite geometry. This research area is the site of much international activity, in which the proposed research team plays a central role. The aim of the project is to pursue twin goals: the classification of ovoids in three dimensional projective space, a famous long-standing problem; and the classification of certain generalized quadrangles. Our approach is novel as it utilises recently discovered links between these areas. The expected outcomes are significant progress towards these goals, as well as the development of new techniques in finite geometry.Read moreRead less
The prediction of sleep/wake behaviour based on physiological and social factors. The prevalence of shiftwork has increased in Australia over the last few decades. Shiftworkers obtain less sleep, have greater difficulty maintaining good relationships, have poorer health, and are more likely to be injured at work than others. Using the largest dataset of its kind, we will substantially contribute to understanding the relationships between work hours, sleep, performance and safety. Ultimately, the ....The prediction of sleep/wake behaviour based on physiological and social factors. The prevalence of shiftwork has increased in Australia over the last few decades. Shiftworkers obtain less sleep, have greater difficulty maintaining good relationships, have poorer health, and are more likely to be injured at work than others. Using the largest dataset of its kind, we will substantially contribute to understanding the relationships between work hours, sleep, performance and safety. Ultimately, the project will answer a question critical to workplace safety - how much time off between shifts is needed to be alert and safe at work? The project will also produce tools to help industry design fatigue-friendly rosters, improving the safety, productivity and general well-being of shiftworkers in Australia and overseas.Read moreRead less
Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modellin ....Three-dimensional magnetotelluric and controlled-source electromagnetic modelling and inversion in isotropic and anisotropic media with Gaussian Quadrature Grids. Electromagnetic methods are widely used by geophysicists in many applications, including mineral, petroleum and geothermal exploration, environmental and groundwater characterisation, and in imaging of Earth and other planets. Large data-sets are routinely collected, but to interpret these carefully we need efficient computer modelling tools that incorporate the complexity of the subsurface. We will develop a new computer algorithm that uses an innovative approach to model the Earth in three dimensions. Computer codes will be available through the national AuScope infrastructure facilities, so that researchers will have free access to algorithms, largely for the first time, to better interpret their data.Read moreRead less
Modelling mean and dispersion using fixed and random effects. The aims of the project are to develop methods for joint mean and dispersion modelling using fixed and random effects, in the generalized linear models context and for Gaussian longitudinal data. The significance is the more efficient, precise and appropriate analysis of data arising from many areas of application. The expected outcomes are therefore better methods of analysis, software to carry the analyses out, and potentially impor ....Modelling mean and dispersion using fixed and random effects. The aims of the project are to develop methods for joint mean and dispersion modelling using fixed and random effects, in the generalized linear models context and for Gaussian longitudinal data. The significance is the more efficient, precise and appropriate analysis of data arising from many areas of application. The expected outcomes are therefore better methods of analysis, software to carry the analyses out, and potentially important results in applications.Read moreRead less
Graph isomorphism and quantisation of longest cycles by means of determinants and spectra. A characterisation of the difficulty of the Hamiltonian cycle problem and the graphs isomorphism problem will be a significant conceptual advancement with repercussions in a number of fields including combinatorial optimisation and theoretical computer science, in particular, the Google PageRank. Applications of tensor networks technique will lead to a design of a quantum computer that enumerates all Hamil ....Graph isomorphism and quantisation of longest cycles by means of determinants and spectra. A characterisation of the difficulty of the Hamiltonian cycle problem and the graphs isomorphism problem will be a significant conceptual advancement with repercussions in a number of fields including combinatorial optimisation and theoretical computer science, in particular, the Google PageRank. Applications of tensor networks technique will lead to a design of a quantum computer that enumerates all Hamiltonian cycles in a graph. Analysis of the determinant objective function in terms of the eigenvalues may lead to new spectral properties of stochastic matrices. Algorithmic advances exploiting such a characterisation will significantly contribute to existing technologies for solving problems in a wide range of applications.Read moreRead less
Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms tha ....Operator-Analytic Methods in Telecommunication Systems. Many systems in information technology and telecommunications evolve under conditions of uncertainty. In this context, mathematical modelling is an essential component of the design process. We shall provide techniques for analysing a class of mathematical models, called operator-analytic models, which can be used to study many of the above-mentioned systems, such as the Internet. This project will deliver efficient numerical algorithms that will make possible practical analysis of operator-analytic models.Read moreRead less
Geometric problems from quantum theory. This Proposal is fundamental, basic research at the forefront of the application of mathematics to physical theories. The problems that will be worked on are central to much of the research activity which is presently occuring in leading centres and institutes internationally. By being a part of that research we ensure that not only is Australia involved in todays mathematical and physical advances but that we also have Australian mathematicians trained ....Geometric problems from quantum theory. This Proposal is fundamental, basic research at the forefront of the application of mathematics to physical theories. The problems that will be worked on are central to much of the research activity which is presently occuring in leading centres and institutes internationally. By being a part of that research we ensure that not only is Australia involved in todays mathematical and physical advances but that we also have Australian mathematicians trained to take advantage of the benefits those advances will bring in the future.Read moreRead less