Ergodic theory and number theory. Recent advances in the theory of measured dynamical systems investigated by the proponents include new versions of entropy, and the study of spectral theory for non-singular systems. These will be further developed in this joint project with the French CNRS. The results are expected to have interesting applications in physics and number theory.
Entropy and maximal entropy in Markov systems. Entropy is a measure of how well-ordered a system is: chaotic systems have high entropy. Two approaches to entropy are available, via the limiting behaviour of the orbits of points, which yields topological entropy, and via the behaviour of the distributions of measures of partitions, yielding measure-theoretic entropy. The topological entropy is the least upper bound of entropies of all possible measures. We study when there is a measure which real ....Entropy and maximal entropy in Markov systems. Entropy is a measure of how well-ordered a system is: chaotic systems have high entropy. Two approaches to entropy are available, via the limiting behaviour of the orbits of points, which yields topological entropy, and via the behaviour of the distributions of measures of partitions, yielding measure-theoretic entropy. The topological entropy is the least upper bound of entropies of all possible measures. We study when there is a measure which realises this bound, describing the structure of such systems via Markov and Bratteli diagrams. Our methods will be applied to new versions of entropy for non-singular systems. This will assist in the description of chaotic behaviour.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
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
Lifting the curse of dimensionality - bringing together the quasi Monte Carlo and sparse grid methods. This project is expected to lead to improved methods for handling high-dimensional problems (i.e. problems with many variables) that arise in finance, statistics, commerce, physics, and many other fields. In turn this could lead to significant economic benefit, especially to high-value service industries such as the finance industry. By strengthening international collaboration, it will also ....Lifting the curse of dimensionality - bringing together the quasi Monte Carlo and sparse grid methods. This project is expected to lead to improved methods for handling high-dimensional problems (i.e. problems with many variables) that arise in finance, statistics, commerce, physics, and many other fields. In turn this could lead to significant economic benefit, especially to high-value service industries such as the finance industry. By strengthening international collaboration, it will also help to maintain Australia's strong position in international research in the mathematical sciences.Read moreRead less
Computational Schemes for Initial-Boundary Value Problems. Many physical phenomena can be modelled as initial-boundary value problems described by partial differential equations. Simulations of such models require efficient and robust computational algorithms. The main aim of this project is to propose numerical algorithms for two dimensional spatial problems and three dimensional time-space models. A major focus of the project is to investigate methods that require about half the computation ....Computational Schemes for Initial-Boundary Value Problems. Many physical phenomena can be modelled as initial-boundary value problems described by partial differential equations. Simulations of such models require efficient and robust computational algorithms. The main aim of this project is to propose numerical algorithms for two dimensional spatial problems and three dimensional time-space models. A major focus of the project is to investigate methods that require about half the computational resources over celebrated schemes for solving boundary value problems.Read moreRead less
Hecke Algebras in Algebra and Analysis. The aim of this program is to adapt techniques from harmonic analysis and operator-algebraic representation theory to study Hecke algebras arising in algebraic and geometric settings. The relevant analytic structures are C*-algebras and the fundamental question is then "Which Hecke algebras have a faithful enveloping C*-algebra?" We investigate this question, first by developing an appropriate theory of crossed products by semigroups and, second, by using ....Hecke Algebras in Algebra and Analysis. The aim of this program is to adapt techniques from harmonic analysis and operator-algebraic representation theory to study Hecke algebras arising in algebraic and geometric settings. The relevant analytic structures are C*-algebras and the fundamental question is then "Which Hecke algebras have a faithful enveloping C*-algebra?" We investigate this question, first by developing an appropriate theory of crossed products by semigroups and, second, by using the notion of topologization which enables the Hecke algebra to be studied in the context of topological groups.Read moreRead less
Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the ....Increasing the effectiveness of quantitative verification. The ability to analyse the performance of complex systems and protocols is a vital part of the development of large-scale computer applications. Methods that improve the effectiveness of the analysis task would increase the competitiveness of the software industry, and would attract future development work (in complex systems) to Australia. The results of this project will have a direct influence on currently available design tools; the fact that Australian institutions will be (in part) responsible for key theoretical results in this growing field will strengthen Australia's position worldwide as an international centre for computer science.Read moreRead less
Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of ....Experimental and Numerical Modelling of Gas-Liquid Flows. Multiphase flow systems are encountered in many process industries such as chemical, petroleum, mining, energy, food and pharmaceutical, which are fundamental to the Australian economy. Commercially available computer codes for simulating such systems are currently widely used in many Australian industrial sectors. This research project will address the prevalent deficiency in many of these computer codes and develop new models capable of predicting a wide range of industrial bubbly flow problems. The resultant improved computer codes will provide industries with significant benefits - especially reduced times and costs in their design and production.Read moreRead less
Knowledge and Networks: An Evaluation of Patent Citation Activity and Active Knowledge Networks. Although many methods from many disciplines have been used, somewhat imperfectly, to examine knowledge creation and knowledge networks, the most accepted method in economics and strategy is patent citation analysis. Yet, even users of the methodology recognize that it is an imperfect measure of innovation, innovativeness and network linkages between innovations. The study sets up a methodology to ex ....Knowledge and Networks: An Evaluation of Patent Citation Activity and Active Knowledge Networks. Although many methods from many disciplines have been used, somewhat imperfectly, to examine knowledge creation and knowledge networks, the most accepted method in economics and strategy is patent citation analysis. Yet, even users of the methodology recognize that it is an imperfect measure of innovation, innovativeness and network linkages between innovations. The study sets up a methodology to examine the relationship between citations and network interactions between patent applicants. The value of the research is in providing a better measure of innovation and knowledge and in the normative lessons about establishing better scientific networks.Read moreRead less