Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "goo ....Explicit Construction of Global Function Fields with Many Rational Places. The use of error-correcting codes and cryptosystems is fundamental to the secure and reliable operation of many technological devices that we depend upon in our everyday lives. Essentially invisible, both coding theory and cryptography are essential for banking (ATM machines, e-banking), commerce (e-commerce), defense (cryptography) and entertainment (digital TV and radio, music CDs, DVDs). While certain families of "good" codes and cryptosystems can be constructed from specific function fields whose existence is guaranteed by abstract theory, often no actual construction for the function field is currently known. We aim to close this gap, making a greater range of "good" codes and cryptosystems available for practical applications.
Read moreRead less
Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and sta ....Chromatic polynomials, random graphs, and error-correcting codes: a unified approach to graph colouring problems. Through a unified approach involving cutting-edge results on chromatic polynomials, random graphs, matroids, and error-correcting codes, this project will establish the foundations for a rigorous mathematical framework for attempting to provide a short, transparent and illuminating solution to the Four Colour Problem. The project will support developments in computer science and statistical mechanics and is likely to have flow-on effects in real-world disciplines such as network communication. This project will also strengthen Australia's international presence in discrete mathematics and will further strengthen ties between Australian and international mathematicians.Read moreRead less
Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project ad ....Information security and digital watermarking with Latin squares. The importance of digital information is increasing constantly. Audio, video, and still image data dominate our daily lives. Such information has commercial and strategic importance. It is invaluable in crime prevention: for example, video from security cameras. The protection of commercially valuable material against piracy and sensitive information against security breaches is vital to our economy and our safety. This project addresses these issues, by developing new, secure watermarks and fingerprints to protect digital information. Such watermarks can also protect radio communication channels, which is important due to the rising demand for wireless connectivity.Read moreRead less
New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to pr ....New lattice approach for digital broadband communications. A main limiting factor in supplying future broadband communications is overcoming signal dispersion in the transmission channel. Recent preliminary collaboration by the chief investigators has uncovered a novel approach to this problem based on powerful mathematical lattice theory. The techniques have potential to significantly increase bandwidth and reliability compared to current technologies. This project will use lattice theory to propose, develop, analyse and test new data transmission techniques including joint coding, modulation and equalisation. The research will include theoretical analysis and hardware implementation. The overall aim is to dramatically improve reliability and throughput of data communication systems.Read moreRead less
From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; ....From Universal Induction to Intelligent Systems. The dream of creating artificial devices that (out)reach human intelligence is an old one. What makes this challenge so interesting? A solution would have enormous implications for our society, and there are arguments that the AI problem might be solved within a couple of decades. Specialized intelligent systems are actually already pervasive (finger print, handwriting, speech, and face recognition; spam filtering; search engines; computer chess; robots). This decade the first presumably complete mathematical theory of AI has been proposed. By working out this theory, this project will significantly contribute to the foundations of inductive inference and AI, and ultimately lead to smarter software and intelligent systems.Read moreRead less
Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can ....Modelling, Identification and Control of Complex Networks. Australia has been well known for its leading research in systems and control and many real-world applications in, for instance, telecommunications, defence, power grids and life sciences. This project will further promote Australia's leading position in the emerging new research field - complex networks by theoretical breakthrough in modelling, identification and control of complex networks, and cutting-edge platform technology that can help Australian energy industry to reduce greenhouse emissions. It will also result in education of the next generation research leaders in this emerging field.Read moreRead less
Continued Fractions and Torsion on Hyperelliptic Curves. Scientific advance should not blindly add to our knowledge; a true advance brings insights that collapse different issues into one. Understanding more is to need to remember less. For an important class of examples, this project identifies the study of a fundamental invariant of a quadratic number field, its regulator and hence its class number, with maximum torsion on the Jacobian variety of an hyperelliptic curve. The investigator's meth ....Continued Fractions and Torsion on Hyperelliptic Curves. Scientific advance should not blindly add to our knowledge; a true advance brings insights that collapse different issues into one. Understanding more is to need to remember less. For an important class of examples, this project identifies the study of a fundamental invariant of a quadratic number field, its regulator and hence its class number, with maximum torsion on the Jacobian variety of an hyperelliptic curve. The investigator's methods will surprise some longstanding problems into submission and in particular will lead them to reveal full data on torsion on hyperelliptic curves of low genus.
Read moreRead less
Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is inc ....Service-oriented negotiation and coordination in multi-agent systems. Australia has a strong competitive advantage in the area of agent software. The outcomes of this project will provide an improved platform for services in application areas such as finance, e-commerce, tourism, and multi-platform media. More broadly, the work proposed here will enable the IT industry in Australia, and Melbourne specifically, to adopt and utilise agent-technology in developing the complex software that is increasingly required to meet the needs of the software-driven knowledge economy of the 21st century.Read moreRead less
Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability a ....Generalised quantum models of complexity with application to cognitive systems. Non-separable systems surround us. Our transportation, taxation, schooling, environmental and social policies are all interrelated, and it is increasingly recognised that we cannot consider them in isolation. Such systems are generally deemed complex, and it is often impossible to separate them from one another. Despite this, many of our most advanced modelling techniques are grounded in principles of separability and non-contextuality. This project will develop a new set of models of non-separable systems and complexity that will in turn lead to new frontier technologies and theories.Read moreRead less
Optimal Transforms of Random Vectors. This proposal focusses on development of optimal transforms to describe and model nonlinear phenomena when only statistical information is known. An optimal transform is a mathematical procedure that enables us to process information in a way that is most suited to the task in hand. These transforms have been successfully used in approximation, information theory, communications, control theory and signal and image processing. Applications include modelli ....Optimal Transforms of Random Vectors. This proposal focusses on development of optimal transforms to describe and model nonlinear phenomena when only statistical information is known. An optimal transform is a mathematical procedure that enables us to process information in a way that is most suited to the task in hand. These transforms have been successfully used in approximation, information theory, communications, control theory and signal and image processing. Applications include modelling of physical, chemical and biological systems, filtering and compression of signals and data classification and clustering. We propose two new hybrid models for realistic transforms in a general structural framework.
Read moreRead less