Search for tag: "ICMS"

Hilbert’s Hotel and other encounters with infinity

How do we measure infinity? How do we compare infinite sets? If someone tells you that “it is equally likely for a prime number to have residue +1 as it is likely for it to have residue…

From  OLLIE Quinn 0 likes 8 plays 0  

Chloe Martindale - Isogeny-based cryptography: why, how, and what next?

Subtitles will be added at a later date. 28 July 2022 Foundations and Applications of Lattice-based Cryptography Chloe Martindale, University of Bristol Isogeny-based cryptography: why, how, and…

From  Liam Holligan 0 likes 8 plays 0  

Luca De Feo - Unexpected discoveries and challenges in isogeny based cryptography

Subtitles will be added at a later date. 28 July 2022 Foundations and Applications of Lattice-based Cryptography Luca De Feo (IBM Research Europe) Unexpected discoveries and challenges in isogeny…

From  Liam Holligan 0 likes 4 plays 0  

Maximal averages along hypersurfaces: a "geometric conjecture'' and further progress for 2-surfaces - Detlef Muller

Fourier Analysis @200 Maximal averages along hypersurfaces: a ``geometric conjecture'' and further progress for 2-surfaces Detlef Muller, University of Kiel 27 June 2022

From  Iain Cms 0 likes 16 plays 0  

Proof complexity of CSP - Azza Gayasin

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Proof complexity of CSP by Azza Gaysin, The Charles University in Prague

From  Iain Cms 0 likes 13 plays 0  

Elementary analytic functions in VTC0 - Emil Jerabek

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Elementary analytic functions in VTC0 by Emil Jerabek, Czech Academy of Sciences

From  Iain Cms 0 likes 2 plays 0  

A hierarchy of propositional proof systems - Pavel Pudlak

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation A hierarchy of propositional proof systems by Pavel Pudlak, Institute of Mathematics, CAS

From  Iain Cms 0 likes 2 plays 0  

Survey on bounded arithmetic - Arnold Beckmann

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on bounded arithmetic by Arnold Beckmann, Swansea University

From  Iain Cms 0 likes 3 plays 0  

Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture - Rafael Mendes de Oliveira

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Succinct semi-algebraic representations and computational variants of the generalized Lax conjecture by Rafael Mendes…

From  Iain Cms 0 likes 5 plays 0  

Ideals, determinants, and straightening - Robert Andrews

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Ideals, determinants, and straightening by Robert Andrews, University of Illinois at Urbana Champagne

From  Iain Cms 0 likes 3 plays 0  

Lower bounds for symmetric arithmetic circuits - Anuj Dawar

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Lower bounds for symmetric arithmetic circuits by Anuj Dawar, University of Cambridge

From  Iain Cms 0 likes 3 plays 0  

Survey on algebraic circuit complexity - Srikanth Srinivasan

Mathematical Approaches to Lower Bounds: Complexity of Proofs and Computation Survey on algebraic circuit complexity by Srikanth Arinivasan, Aahrus University, Denmark

From  Iain Cms 0 likes 1 plays 0  

Michele Villa - Analytic capacity of sets with plenty of big projections and Vitushkin's conjecture.

A Young Researchers Symposium in Harmonic Analysis Michele Villa , University of Oulu 24 June 2022 This recording is in the process of being subtitled. This typically takes around two weeks.

From  Iain Cms 0 likes 3 plays 0  

Michael Tang - Discrete to continuous: Joints to multilinear Kakeya

A Young Researchers Symposium in Harmonic Analysis Michael Tang, Maxwell Institute (University of Edinburgh) 24 June 2022 This recording is in the process of being subtitled. This typically takes…

From  Iain Cms 0 likes 5 plays 0  

Dominique Maldague - Small cap decoupling for the moment curve in R^3

A Young Researchers Symposium in Harmonic Analysis Dominique Maldague, Massachusetts Institute of Technology 24 June 2022 This recording is in the process of being subtitled. This typically takes…

From  Iain Cms 0 likes 6 plays 0  

Mateus Sousa - Recent developments in Fourier interpolation theory

A Young Researchers Symposium in Harmonic Analysis Mateus Sousa, Basque Center for Applied Mathematics 24 June 2022 This recording is in the process of being subtitled. This typically takes around…

From  Iain Cms 0 likes 6 plays 0