I will explain the main notions of the microlocal theory of
sheaves: the microsupport and its behaviour with respect to the
operations, with emphasis on the Morse lemma for sheaves. Then,
inspired by the recent work of Tamarkin but with really...
A classical theorem of Dirichlet establishes the existence of
infinitely many primes in arithmetic progressions, so long as there
are no local obstructions. In 2006 Green and Tao set up a program
for proving a vast generalization of this theorem...
Milman's ellipsoids play an important role in modern convex
geometry. Here we show that their proofs of existence can be turned
into efficient algorithms, and these in turn lead to improved
deterministic algorithms for volume estimation of convex...
Periodic bounce orbits are generalizations of billiard
trajectories in the presence of a potential. Using an approximation
technique by Benci-Giannoni we prove existence of periodic bounce
orbits of prescribed energy. At...
Boolean Threshold Functions (BTF) arise in many contexts,
ranging from computer science and learning theory to theoretical
neurobiology. In this talk, I will present non-rigorous approaches
developed in the statistical physics of disordered...
In this talk we will discuss recent progresses meant as a
contribution to the GLS-project, the second generation proof of the
Classification of Finite Simple Groups (jointly with R. Lyons, R.
Solomon, Ch. Parker).
In this talk we shall discuss the Cartan geometry of the
rotating Kepler problem. The rotating Kepler problem appears as the
limit of the restricted planar three-body body when one of the
masses goes to zero. As such...
Given a cuspidal automorphic representation of GL(n) which is
regular algebraic and conjugate self-dual, one can associate to it
a Galois representation. This Galois representation is known in
most cases to be compatible with local Langlands...
Using the spectral multiplicities of the standard torus, we
endow the Laplace eigenspace with Gaussian probability measure.
This induces a notion of a random Gaussian Laplace eigenfunctions
on the torus. We...
Abstract: In addition to formal definitions and theorems,
mathematical theories also contain clever, context-sensitive
notations, usage conventions, and proof methods. To mechanize
advanced mathematical results it is essential to capture
these...
