Integrable Functional and Delay Differential Equations. Major challenges such as predicting epidemics or modelling the dynamics of human movement, rely on our understanding of functional and delay differential equations. This research will provide new methods for prediction and analysis of such models.
Combinatorial structures for computer security and communication. Hadamard matrices in their various guises arise many times in the study of reliable communications and secure communications. The aim of this research project is to use the theory of cyclotomy in both fields and rings to find new number theoretic results which will then be used to obtain new with zero or small autocorrelation functions.
The significance of this research is to propose new construction of Hadamard matrices and bloc ....Combinatorial structures for computer security and communication. Hadamard matrices in their various guises arise many times in the study of reliable communications and secure communications. The aim of this research project is to use the theory of cyclotomy in both fields and rings to find new number theoretic results which will then be used to obtain new with zero or small autocorrelation functions.
The significance of this research is to propose new construction of Hadamard matrices and block designs for computer security and wireless network communication.
We expect some new classes of Hadamard matrices and block designs can be constructed for security and communication applications and several papers would be submitted or published.
Read moreRead less
Ring constructions and algorithms for enhancing performance of BCH codes. BCH codes form a major class of codes used in modern communication systems. The aim of this project is to enhance the efficiency of this class of codes by combining them in constructions enabling correction of deletion and insertion errors, and develop efficient implementations of encoding and decoding algorithms incorporating soft decision methods for enhanced error correction. Significance of the project is explained by ....Ring constructions and algorithms for enhancing performance of BCH codes. BCH codes form a major class of codes used in modern communication systems. The aim of this project is to enhance the efficiency of this class of codes by combining them in constructions enabling correction of deletion and insertion errors, and develop efficient implementations of encoding and decoding algorithms incorporating soft decision methods for enhanced error correction. Significance of the project is explained by the role of fast, secure and reliable communications in modern information and communication technology. Expected outcomes include new efficient algorithms and commercial modules available for symbolic computation systems with applications in telecommunications industry.
Read moreRead less
Multiplicative structure of rational functions. This project aims to develop new methods of investigating fundamental number theoretic notions of torsion and multiplicative dependence between objects of great interest such as rational functions and their values. This includes investigating such celebrated objects as torsion points on elliptic curves and torsion subgroups on algebraic varieties. The goal is to develop new methods and make pivotal advances towards solving several fundamental probl ....Multiplicative structure of rational functions. This project aims to develop new methods of investigating fundamental number theoretic notions of torsion and multiplicative dependence between objects of great interest such as rational functions and their values. This includes investigating such celebrated objects as torsion points on elliptic curves and torsion subgroups on algebraic varieties. The goal is to develop new methods and make pivotal advances towards solving several fundamental problems where multiplicative dependence plays a crucial role. The expected outcome is to provide deeper understanding of the intriguing nature of torsion and multiplicative dependence and thus open new perspectives for their applications in number theory and beyond.Read moreRead less
From quantum integrable systems to algebraic geometry and combinatorics. The purpose of this project is to investigate the deep connections that have recently emerged between the study of an area of mathematical physics (quantum integrable systems) and subjects of pure mathematics (enumerative and algebraic combinatorics, and algebraic geometry). These connections have a common root, which this project plans to reveal using novel methods coming from quantum integrability. This approach is expect ....From quantum integrable systems to algebraic geometry and combinatorics. The purpose of this project is to investigate the deep connections that have recently emerged between the study of an area of mathematical physics (quantum integrable systems) and subjects of pure mathematics (enumerative and algebraic combinatorics, and algebraic geometry). These connections have a common root, which this project plans to reveal using novel methods coming from quantum integrability. This approach is expected to illuminate these subjects leading to a new unified and interdisciplinary picture, and to resolve important open problems in the study of certain algebraic varieties and of their cohomology in the theory of symmetric functions, and related counting problems.Read moreRead less
Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and g ....Geodetic groups: foundational problems in algebra and computer science. The project aims to resolve important and longstanding open problems in Geometric Group Theory and Theoretical Computer Science. Since the 1980s researchers have conjectured that the geometric property of being geodetic is equivalent to several purely algebraic, algorithmic, and language-theoretic characterisations.
The project team's expertise in geodesic properties of groups, the interaction between formal languages and groups, and the theory of rewriting systems, together with recent breakthroughs by the team ensures that significant results can be expected.
Benefits include training research students and postdoctoral researchers in cutting-edge techniques, and advancing fundamental knowledge in mathematics and computer science.Read moreRead less
Algebraic Schubert geometry and unitary reflection groups. This project aims to generalise the recent work of Elias and Williamson to the complex case. Fundamental to the study of symmetry are the ubiquitous Coxeter groups, which have an associated set of critically important ‘Kazhdan-Lusztig polynomials’. For some Coxeter groups, these may be interpreted in terms of classical geometry, leading to deep positivity properties for their coefficients. Elias and Williamson have recently shown that th ....Algebraic Schubert geometry and unitary reflection groups. This project aims to generalise the recent work of Elias and Williamson to the complex case. Fundamental to the study of symmetry are the ubiquitous Coxeter groups, which have an associated set of critically important ‘Kazhdan-Lusztig polynomials’. For some Coxeter groups, these may be interpreted in terms of classical geometry, leading to deep positivity properties for their coefficients. Elias and Williamson have recently shown that this geometry may be simulated algebraically for any Coxeter group, so positivity for Kazhdan-Lusztig polynomials holds for all Coxeter groups. This result has explosive consequences in many areas of geometry and algebra. This project is designed to extend these results to complex unitary reflection groups, with potentially dramatic consequences in number theory, representation theory and topology.Read moreRead less
Discrete Projective Differential Geometry: Comprehensive Theory and Integrable Structure. Differential geometry has been developed over centuries by the most distinguished of mathematicians and its applicability in the mathematical and physical sciences is beyond doubt. However, both natural and man-made structures are inherently discrete. Discrete differential geometry constitutes a relatively new and active research area located between pure and applied mathematics which is more fundamental th ....Discrete Projective Differential Geometry: Comprehensive Theory and Integrable Structure. Differential geometry has been developed over centuries by the most distinguished of mathematicians and its applicability in the mathematical and physical sciences is beyond doubt. However, both natural and man-made structures are inherently discrete. Discrete differential geometry constitutes a relatively new and active research area located between pure and applied mathematics which is more fundamental than differential geometry in that it aims to establish an autonomous discrete analogue from which differential geometry may be derived via an appropriate continuum limit. Even though discrete differential geometry has reached a high degree of sophistication, this project seeks to deliver the first comprehensive theory in this area. Read moreRead less
Parametrised gauge theory and positive scalar curvature. This project aims to study innovative extensions of Seiberg-Witten gauge theory with new applications to the topology of metrics of positive scalar curvature on four-dimensional manifolds. Since Atiyah-Bott, Donaldson, Hitchin, and Seiberg-Witten’s work on various equations in gauge theory, profound applications have changed the geometry and topology of low dimensional manifolds. Parametrised index theory has obtained deep results on the t ....Parametrised gauge theory and positive scalar curvature. This project aims to study innovative extensions of Seiberg-Witten gauge theory with new applications to the topology of metrics of positive scalar curvature on four-dimensional manifolds. Since Atiyah-Bott, Donaldson, Hitchin, and Seiberg-Witten’s work on various equations in gauge theory, profound applications have changed the geometry and topology of low dimensional manifolds. Parametrised index theory has obtained deep results on the topology of metrics of positive scalar curvature in higher dimensions, but these methods do not work in the case of the fourth dimension. This project will develop (parametrised) Seiberg-Witten gauge theory as a new approach to the study of the topology of metrics of positive scalar curvature in four dimensions. Expected outcomes include new invariants related to positive scalar curvature in four dimensions.Read moreRead less
Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially facto ....Complexity of group algorithms and statistical fingerprints of groups. This project aims to shape the next generation of efficient randomised algorithms in the field of group theory, the mathematics of symmetry. Fundamental mathematics underpins modern technological tasks such as web searches, sorting and data compression. This project aims to determine characteristic statistical fingerprints of key building-block groups. These group statistics lead to much faster procedures to essentially factor huge groups into smaller building-block groups in a manner akin to factoring an integer into its prime factors. The anticipated goal is to include the outcomes in publicly available symbolic algebra computer packages. As the theory of symmetry has broad applications in the mathematical and physical sciences, there is the potential for far reaching benefits.Read moreRead less