Green functions, correlation functions and differential equations. Classical and quantum exact solutions are established cornerstones in Australian applied mathematical research. In this project, we will:- 1). Address long standing open problems, whose resolution will add to mathematical knowledge and enhance Australia's reputation as a leading contributor to these topics; 2). List concrete and tractable sub-projects that will engage young scientists, whose training we are particularly keen on, ....Green functions, correlation functions and differential equations. Classical and quantum exact solutions are established cornerstones in Australian applied mathematical research. In this project, we will:- 1). Address long standing open problems, whose resolution will add to mathematical knowledge and enhance Australia's reputation as a leading contributor to these topics; 2). List concrete and tractable sub-projects that will engage young scientists, whose training we are particularly keen on, in vigorous and internationally competitive research; 3). Facilitate collaborations between various Australian research groups, all of whom are very well positioned to contribute to it; 4). Bring leading scientists to visit Australia to the benefit of the entire Australian mathematical community.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
Realising the promise of neural networks for practical optimisation: improving their efficiency and effectivess through chaotic dynamics and hardware implementation. Combinatorial optimisation problems such as transportation routing and assembly-line scheduling are critical to the efficiency of many industries, but their combinatorial explosion makes rapid solution difficult. Neural networks (NNs) hold much potential for rapid solution though hardware implementation, but we need to improve the q ....Realising the promise of neural networks for practical optimisation: improving their efficiency and effectivess through chaotic dynamics and hardware implementation. Combinatorial optimisation problems such as transportation routing and assembly-line scheduling are critical to the efficiency of many industries, but their combinatorial explosion makes rapid solution difficult. Neural networks (NNs) hold much potential for rapid solution though hardware implementation, but we need to improve the quality of their solutions before developing hardware. We have previously shown that the rich dynamics of chaos can improve the efficiency and effectiveness of NNs. We aim to develop new chaotic NN models, rigorously evaluate them on industrially significant problems such as those arising in manufacturing, logistics and telecommunications, and demonstrate their speed through hardware acceleration.Read moreRead less