Stochastic Analysis and Probability Uncertainty Quantification Mathematical

Stochastic analysis and probability uncertainty

This preview shows page 9 - 13 out of 46 pages.

Stochastic Analysis and Probability Uncertainty Quantification Mathematical Biology – Collective dynamics Number Theory Non-commutative geometry Quantum Computation Topological Modular Forms Efficient congruency in resilience Highlights of the emerging interdisciplinary links for each research area are documented below with the full documented outputs included in Appendix Three. Algebra Algebraic methods in data analysis (Persistent Cohomology) Computer Science 9
Image of page 9
Constraint satisfaction problems. Algebraic characterisation Statistical Mechanics – diagram algebras, correlation functions, Lie theory, representation theory. Theoretical Physics and Representation Theory Combinatorics Computer science: Constraint satisfaction (St. Andrews) and also connections with model theory (e.g. MacPherson, Leeds). Algorithm Design – Structural graph theory (width parameters) (ERC goals outside UK) Algorithms: Computer Science – Microsoft + many top places, ERC grants. Confirmation theory – Error correcting codes Computational Complexity Geometry and Topology Computer Vision Molecular Biology High energy Physics/Quantum Physics String Theory Topological Data Analysis Robotics – Robotic Motion and Robotic Vision Networks Cryptology (Heilbronn) Molecular Biology Machine learning and data analysis Logic Formal verification of software/hardware Theory of programming languages Quantum information 10
Image of page 10
Databases and big data Mathematical Analysis Imaging Physics – Information Theory Theoretical Physics Statistical Mechanics Materials Science Financial Engineering Number Theory Physics Computer Science – Algorithmic aspects Additive Combinatorics Complexity Theory Cryptology – Heilbronn Funding Optics Quantum Chaos String Theory Statistical Mechanics This session provided context for the links we know exist between the research areas of the Mathematical Sciences taxonomy and beyond. These findings are critical to highlight the importance and impact that mathematical research has on adjacent disciplines. Previous Successes in Pure Mathematics As Pure Mathematical research is renowned for being unpredictable and its true impact may not be elucidated for decades from its inception, a discussion was held to obtain a cross cutting perspective from the community on examples of successful research which have highlighted Pure Mathematics in recent decades. A non-exhaustive list of the examples highlighted is listed: Fermat’s Last theorem 11
Image of page 11
Poincare Conjecture Mordell Conjecture Classification of finite simple groups Mori Theory Influence of Theoretical Physics (Two ways) Work by Ben Green and Terrence Tao Cryptography Birch Swinnerton-Dyer Conjectures.
Image of page 12
Image of page 13

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture