### Department of Mathematics and Systems Analysis

- Research groups
- Studies
- Personnel
- Current
- Contact information
- Internal pages

**October 30th, 15-16, hall E:**Prof. Chris Brzuska (Aalto University): "Proof Theory for Cryptography":**Abstract:**Most of our cryptography is not perfectly unbreakable. Given enough time, one could, theoretically, perform an exhaustive search over the key space and e.g., decrypt messages intended for another receiver. Modern cryptography, thus, relies on computationally hard problems that (are conjectured to) require an exorbitant amount of computation to solve. Complex systems such as TLS, the backbone of secure communication on the internet, rely on quite a number of such hard problems, and the protocol itself has a specification of over 100 pages. The relation between the protocol security (in a model) and the underlying assumptions needs to be established via a rigorous reduction proof. Due to the complexity of the protocols, the reduction proofs for modern protocols escape what a human can grasp. Therefore, in recent years, the proofs have been partially delegated to computers which, to be fair, also struggle with the tremendous complexity. We propose a new level of abstraction that allows to recover human understanding of security reductions for complex protocols and show how to apply it to the new TLS 1.3 standard (ongoing work).

Joint work with Ben Dowling, Antoine Délignat-Lavaud, Cédric Fournet, Konrad Kohbrok & Markulf Kohlweiss

**September****25****th****, 15-16, hall****E****:****Prof. Matthieu Jonckheere**(University of Buenos Aires):**"**Distance learning using Euclidean percolation: Following Fermat's principle*":*In unsupervised statistical learning tasks such as clustering, recommendation, or dimension reduction, a notion of distance or similarity between points is crucial but usually not directly available as an input. We discuss recent techniques to infer a metric from observed data. Then we propose a new density-based estimator for weighted geodesic distances that takes into account the underlying density of the data, and that is suitable for nonuniform data lying on a manifold of lower dimension than the ambient space. The consistency of the estimator is proven using tools from first passage percolation. After discussing its properties and implementation, we evaluate its performance for clustering tasks.**Abstract:**

**January****3****0th****, 15-16, hall****D****: Prof.****Petteri Kaski**(Aalto Univeristy) :*"Proofs and computation":*

A highly desirable property for a mathematical proof is that its correctness is easier to verify than it is to prepare the proof from scratch. One possibility to quantify such "ease of verification" is to view the tasks of preparing and verifying a proof from a computational perspective and in terms of the computational resources employed for a task. Indeed, such proof-system-based characterizations are in many ways fundamental to our current understanding of computational complexity and complexity classes such as P, NP, and beyond. This talk explores classical and recent work on proof systems for computational problems, including some of our own recent work involving proof systems that tolerate adversarial errors during proof preparation*.*

**February****2****7****th, 15-16, hall****D****:****Acadamy Research Fellow****Kaisa Matomäki**(University of Turku) :*"**Correlations of arithmetic functions" (Link to abstract)***March 27th, 15-16, hall D :**(Lappeenranta University of Technology) : "*Statistical invariance in chaos and random patterns" :*

We apply a recent statistical algorithm, originally developed for parameter estimation of chaotic dynamical systems, to identify model parameters of reaction-diffusion systems by ensembles of Turing patterns created by unknown random initial values. The method is tested using the Fitzhugh-Nagumo model, a classical model of excitable media. It is shown that the approach is able to detect small but systematic structural changes of patterns, practically impossible to distinguish by naked eye.

**April 24th, 15-16, hall D : Prof. Clément Hongler**(École polytechnique fédérale de Lausanne):*"Statistical Field Theory and the Ising Model"**:*

The developments of statistical mechanics and of quantum field theory are among the major achievements of 20th century's science. In the second half of the century, these two subjects started to converge, resulting in some of the most remarkable successes of mathematical physics. At the heart of this convergence lies the conjecture that critical lattice models are connected, in the continuous limit, to conformally symmetric field theories. This conjecture has led to much insight into the nature of phase transitions and to beautiful formulae describing lattice models, which have remained unproven for decades.

In this talk, I will focus on the planar Ising model, perhaps the most studied lattice model, whose investigation has initiated much of the research in statistical mechanics. I will explain how, in the last ten years, we have developed tools to understand mathematically the emerging conformal symmetry of the model, and the connections with quantum field theory. This has led one to the proof of celebrated conjectures for the Ising correlations and for the description of the emerging random geometry. I will then explain how these tools have then yielded a rigorous formulation of the field theory describing this model, allowing one to make mathematical sense of the seminal ideas at the root of the subject of conformal field theory.

- September 26th, 15-16, hall M1 : Prof. Daniele Boffi ( Università di Pavia, Aalto University ) :
*"Finite element approximation of resonant modes for the Maxwell cavity problem"* - October 31st, 15-16, hall U1 : Prof. Lothar Nannen (TU Wien) :
*"Numerical methods for resonance problems in open systems"* - November 28th, hall U1 : Prof. Kari Astala (Aalto University) :
*"Random tilings, variational problems and the Beltrami equation"*

- January 31st, 15-16, hall U1 : Jarkko Kari (University of Turku) :
*"An Algebraic Geometric Approach to Multidimensional Symbolic Dynamics"* - February 28th, 15-16, hall M1 : Eero Saksman (University of Helsinki) :
*"The Riemann zeta function meets Gaussian multiplicative chaos"* - March 28th, 15-16, hall M1 : Christian Haase (Freie Universität Berlin) :
*"Finiteness Theorems for Lattice Polytopes"* - April 25th, 15-16, hall M1 : Thomas Britz (UNSW Sydney) :
*"A Nice Proof of Wei's Duality Theorem"* - May 2nd, 15-16, hall M1 : David Rios Insua (ICMAT-CSIC and Royal Academy of Sciences, Spain) :
*"Adversarial Risk Analysis: Concepts, Applications and Challenges"*

- September 27th, 15-16, hall M1 : Prof. Moritz Kassmann (Universität Bielefeld) : "
*Nonlocal differential operators of arbitrary order between zero and two"* - October 25th, 15-16, hall M1 : Marc Lelarge (INRIA - École Normale Supérieure) :
*"Community detection with the non-backtracking operator"* - November 29th, hall U1 : Prof. Leena Suhl (University of Paderborn) :
*"Optimization systems to support planning processes in traffic and transportation"*

Spring semester 2016

- January 26th, 15-16, hall M1:Prof. Davy Paindavei (Université Libre de Bruxelles) :
*Inference on the mode of weak directional signals: a Le Cam perspective on hypothesis testing near singularities* - February 23rd, 15-16, hall M1: Prof. Jeffery M. Keisler (Aalto University, University of Massachusetts Boston) :
*A decision analytic modification to deal with uncertain targets in project management* - March 31th, 15-16, hall M1 : Prof. René Scoof (Università di Roma “Tor Vergata”) :
*Lagrange's theorem for finite algebraic groups* - April 26th, 15-16, hall M1 : Prof. Giuseppe Mingione (Università di Parma) :
*Some regularity problems in the calculus of variations*

- September 29, 15-16, hall M1: Prof. Raimo P. Hämäläinen (Aalto University) :
*Behavioural operational research.* - October 27, 15-16, hall U1: Prof. David Radnell (Aalto University) :
*Some new developments in quasiconformal Teichmueller theory.* - November 24th, 15-16, hall U1: Ph.D Jukka Keränen (Aalto Univerisity) :
*Group Representations in Number Theory: An Introduction to the Langlands Program*

Spring semester 2015

- February 11: Prof. Joachim Rosenthal (University of Zurich): "
*Three research challenges from Claude Shannon*" (abstract) - February 24: Prof. Olavi Nevanlinna: "
*Solvability Complexity Index (=SCI) and Towers of Algorithms*" (abstract) - March 10: Prof. Marcus Greferath (Aalto University / University College Dublin):
*"On rings, weights, codes, and isometries"*(abstract) - March 31: Prof. Enrico Bartolini:
*"Exact algorithms for vehicle routing problems"*(abstract) - April 28: Prof. Dmitry Chelkak (ETH-ITS, Zurich / Steklov Institute, St.Petersburg):
*"2D Ising model at and near criticality: what we can prove and what we still would like to understand"*(abstract) - May 19: Prof. Carlos Pérez Moreno (University of the Basque Country and Ikerbasque):
*"Singular integrals and weights: an expository lecture"*

Page content by: webmaster-math [at] list [dot] aalto [dot] fi