m

F Nous contacter


0

Documents : Post-edited  Conférences Vidéo Chapitrées | enregistrements trouvés : 200

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Post-edited  Wrapping in exact real arithmetic
Müller, Norbert (Auteur de la Conférence) | CIRM (Editeur )

A serious problem common to all interval algorithms is that they suffer from wrapping effects, i.e. unnecessary growth of approximations during a computation. This is essentially connected to functional dependencies inside vectors of data computed from the same inputs. Reducing these effects is an important issue in interval arithmetic, where the most successful approach uses Taylor models.
In TTE Taylor models have not been considered explicitly, as they use would not change the induced computability, already established using ordinary interval computations. However for the viewpoint of efficiency, they lead to significant improvements.
In the talk we report on recent improvements on the iRRAM software for exact real arithmetic (ERA) based on Taylor models. The techniques discussed should also easily be applicable to other software for exact real computations as long as they also are based on interval arithmetic.
As instructive examples we consider the one-dimensional logistic map and a few further discrete dynamical systems of higher dimensions
Joint work with Franz Brauße, Trier, and Margarita Korovina, Novosibirsk.
A serious problem common to all interval algorithms is that they suffer from wrapping effects, i.e. unnecessary growth of approximations during a computation. This is essentially connected to functional dependencies inside vectors of data computed from the same inputs. Reducing these effects is an important issue in interval arithmetic, where the most successful approach uses Taylor models.
In TTE Taylor models have not been considered ...

68Q25 ; 03D60 ; 65Y15

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

This talk sketches connections between Whitney problems and e.g. the problem of deciding whether a given rational function on $\mathbb{R}^n$ belongs to $C^m$.

26Bxx ; 46E10 ; 58A20 ; 14Qxx

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

In his 1947 essay, Tjalling Koopmans criticized the development of an empirical science that had no theoretical basis, what he referred to as measurement without theory. The controversy over the status of relations based on mere statistical inference has not ceased since then. Instead of looking for the contemporary consequences, however, I will inquire into its early beginnings. As early as the 1900s, Walras, Pareto and Juglar exchanged views on the status of theory and its relation to economic data. These private exchanges acquired the status of scientific controversy in the aftermath of the First World War, with the dissemination of Pareto’s work. It is precisely this moment that I will try to grasp, when engineers began to read and write pure economic treatises, questioning the relation between theory and empirical problems, the nature of their project and the expectations that the subsequent development of economics has tried to fulfill.

Cournot Centre session devoted to the transformations that took place in mathematical economics during the interwar period.
In his 1947 essay, Tjalling Koopmans criticized the development of an empirical science that had no theoretical basis, what he referred to as measurement without theory. The controversy over the status of relations based on mere statistical inference has not ceased since then. Instead of looking for the contemporary consequences, however, I will inquire into its early beginnings. As early as the 1900s, Walras, Pareto and Juglar exchanged views ...

01A60 ; 62P20 ; 91BXX

Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.

There is a very general story, due to Joyce and Kontsevich-Soibelman, which associates to a CY3 (three-dimensional Calabi-Yau) triangulated category equipped with a stability condition some rational numbers called Donaldson-Thomas (DT) invariants. The point I want to emphasise is that the wall-crossing formula, which describes how these numbers change as the stability condition is varied, takes the form of an iso-Stokes condition for a family of connections on the punctured disc, where the structure group is the infinite-dimensional group of symplectic automorphisms of an algebraic torus. I will not assume any knowledge of stability conditions, DT invariants etc.
There is a very general story, due to Joyce and Kontsevich-Soibelman, which associates to a CY3 (three-dimensional Calabi-Yau) triangulated category equipped with a stability condition some rational numbers called Donaldson-Thomas (DT) invariants. The point I want to emphasise is that the wall-crossing formula, which describes how these numbers change as the stability condition is varied, takes the form of an iso-Stokes condition for a family of ...

14F05 ; 18E30 ; 14D20 ; 81T20 ; 32G15

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

I will discuss work in progress aimed towards defining contact homology using "virtual" holomorphic curve counting techniques.

37J10 ; 53D35 ; 53D40 ; 53D42 ; 53D45 ; 57R17

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Starting with a personal tribute to Victor Havin (1933-2015), I discuss a dozen achievements of Great Havin’s Analysis Seminar, as well as some challenging still unsolved problems.
The Havin publications list is available in the PDF file at the bottom of the page.

30H10 ; 01A60 ; 01A70

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

The cubic Szegö equation has been introduced as a toy model for totally non dispersive evolution equations. It turned out that it is a complete integrable Hamiltonian system for which we built a non linear Fourier transform giving an explicit expression of the solutions.
This explicit formula allows to study the dynamics of the solutions. We will explain different aspects of it: almost-periodicity of the solutions in the energy space, uniform analyticity for a large set of initial data, turbulence phenomenon for a dense set of smooth initial data in large Sobolev spaces.
From joint works with Patrick Gérard.
The cubic Szegö equation has been introduced as a toy model for totally non dispersive evolution equations. It turned out that it is a complete integrable Hamiltonian system for which we built a non linear Fourier transform giving an explicit expression of the solutions.
This explicit formula allows to study the dynamics of the solutions. We will explain different aspects of it: almost-periodicity of the solutions in the energy space, uniform ...

35B40 ; 35B15 ; 35Q55 ; 37K15 ; 47B35

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Variational formulas for limit shapes of directed last-passage percolation models. Connections of minimizing cocycles of the variational formulas to geodesics, Busemann functions, and stationary percolation.

60K35 ; 60K37 ; 82C22 ; 82C43 ; 82D60

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

I will discuss some recent developments in the direction of the Yau-Tian-Donaldson conjecture, which relates the existence of constant scalar curvature Kähler metrics to the algebro-geometric notion of $K$-stability. The emphasis will be put on the use of pluripotential theory and the interpretation of $K$-stability in terms of non-Archimedean geometry.

32Q20 ; 32Q26 ; 32Q25 ; 32P05 ; 53C55

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

In spite of enormous success of the theory of integrable systems, at least three important problems are not resolved yet or are resolved only partly. They are the following:
1. The IST in the case of arbitrary bounded initial data.
2. The statistical description of the systems integrable by the IST. Albeit, the development of the theory of integrable turbulence.
3. Integrability of the deep water equations.
These three problems will be discussed in the talk.
In spite of enormous success of the theory of integrable systems, at least three important problems are not resolved yet or are resolved only partly. They are the following:
1. The IST in the case of arbitrary bounded initial data.
2. The statistical description of the systems integrable by the IST. Albeit, the development of the theory of integrable turbulence.
3. Integrability of the deep water equations.
These three problems will be discussed ...

37K10 ; 35C07 ; 35C08 ; 35Q53 ; 35Q55 ; 76B15 ; 76Fxx

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Post-edited  Unramified graph covers of finite degree
Li, Winnie (Auteur de la Conférence) | CIRM (Editeur )

Given a finite connected undirected graph $X$, its fundamental group plays the role of the absolute Galois group of $X$. The familiar Galois theory holds in this setting. In this talk we shall discuss graph theoretical counter parts of several important theorems for number fields. Topics include
(a) Determination, up to equivalence, of unramified normal covers of $X$ of given degree,
(b) Criteria for Sunada equivalence,
(c) Chebotarev density theorem.
This is a joint work with Hau-Wen Huang.
Given a finite connected undirected graph $X$, its fundamental group plays the role of the absolute Galois group of $X$. The familiar Galois theory holds in this setting. In this talk we shall discuss graph theoretical counter parts of several important theorems for number fields. Topics include
(a) Determination, up to equivalence, of unramified normal covers of $X$ of given degree,
(b) Criteria for Sunada equivalence,
(c) Chebotarev density ...

05C25 ; 05C50 ; 11R32 ; 11R44 ; 11R45

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Given a fixed integer $q \geq 2$, an irrational number $\xi$ is said to be a $q$-normal number if any preassigned sequence of $k$ digits occurs in the $q$-ary expansion of $\xi$ with the expected frequency, that is $1/q^k$. In this talk, we expose new methods that allow for the construction of large families of normal numbers. This is joint work with Professor Jean-Marie De Koninck.

11N37 ; 11K16 ; 11A41

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Post-edited  Une deuxième révolution galiléenne ?
Dowek, Gilles (Auteur de la Conférence) | CIRM (Editeur )

L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère algorithmique de ces objets scientifiques nous amène à considérer de nouveaux langages pour les décrire. Cette révolution, dans le langage dans lequel la science s'écrit, peut-être comparée à la révolution qui s'est produite, au début du XVIIe siècle, quand le langage mathématique a commencé à être utilisé pour décrire des phénomènes physiques.
L'introduction d'un nouveau concept scientifique permet souvent de donner de nouvelles réponses à des questions anciennes qui n'avaient jusqu'alors reçu que des réponses imparfaites. Cet exposé présente quelques questions qui ont trouvé de nouvelles réponses depuis que nous comprenons mieux la notion d'algorithme : qu'est-ce qu'un aéroport ?, qu'est-ce qu'une cellule, qu'est-ce qu'une loi physique ?, ... La prise de conscience du caractère ...

00A30 ; 03B35 ; 68T15

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

In this talk we will discuss a new geodesic beam approach to understanding eigenfunction concentration. We characterize the features that cause an eigenfunction to saturate the standard supremum bounds in terms of the distribution of $L^{2}$ mass along geodesic tubes emanating from a point. We also show that the phenomena behind extreme supremum norm growth is identical to that underlying extreme growth of eigenfunctions when averaged along submanifolds. Using the description of concentration, we obtain quantitative improvements on the known bounds in a wide variety of settings.
In this talk we will discuss a new geodesic beam approach to understanding eigenfunction concentration. We characterize the features that cause an eigenfunction to saturate the standard supremum bounds in terms of the distribution of $L^{2}$ mass along geodesic tubes emanating from a point. We also show that the phenomena behind extreme supremum norm growth is identical to that underlying extreme growth of eigenfunctions when averaged along ...

35P20 ; 58J50 ; 53C22 ; 53C40 ; 53C21

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

We consider "higher dimensional Teichmüller discs", by which we mean complex submanifolds of Teichmüller space that contain the Teichmüller disc joining any two of its points. We prove results in the higher dimensional setting that are opposite to the one dimensional behavior: every "higher dimensional Teichmüller disc" covers a "higher dimensional Teichmüller curve" and there are only finitely many "higher dimensional Teichmüller curves" in each moduli space. The proofs use recent results in Teichmüller dynamics, especially joint work with Eskin and Filip on the Kontsevich-Zorich cocycle. Joint work with McMullen and Mukamel as well as Eskin, McMullen and Mukamel shows that exotic examples of "higher dimensional Teichmüller discs" do exist.
We consider "higher dimensional Teichmüller discs", by which we mean complex submanifolds of Teichmüller space that contain the Teichmüller disc joining any two of its points. We prove results in the higher dimensional setting that are opposite to the one dimensional behavior: every "higher dimensional Teichmüller disc" covers a "higher dimensional Teichmüller curve" and there are only finitely many "higher dimensional Teichmüller curves" in ...

30F60 ; 32G15

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Aim of the lecture is to give an introduction to $K3$ surfaces, that are special algebraic surfaces with an extremely rich geometry. The most easy example of such a surface is the Fermat quartic in complex three-dimensional space.
The name $K3$ was given by André Weil in 1958 in honour of the three remarkable mathematicians: Kummer, Kähler and Kodaira and of the beautiful K2 mountain at Cachemire.
The topics of the lecture are the following:

* $K3$ surfaces in the Enriques-Kodaira classification.
* Examples; Kummer surfaces.
* Basic properties of $K3$ surfaces; Torelli theorem and surjectivity of the period map.
* The study of automorphisms on $K3$ surfaces: basic facts, examples.
* Symplectic automorphisms of $K3$ surfaces, classification, moduli spaces.
Aim of the lecture is to give an introduction to $K3$ surfaces, that are special algebraic surfaces with an extremely rich geometry. The most easy example of such a surface is the Fermat quartic in complex three-dimensional space.
The name $K3$ was given by André Weil in 1958 in honour of the three remarkable mathematicians: Kummer, Kähler and Kodaira and of the beautiful K2 mountain at Cachemire.
The topics of the lecture are the following:

* ...

14J10 ; 14J28 ; 14J50 ; 14C20 ; 14C22 ; 14J27 ; 14L30

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Given an automorphism of the free group, we consider the mapping torus defined with respect to the automorphism. If the automorphism is atoroidal, then the resulting free-by-cyclic group is hyperbolic by work of Brinkmann. In addition, if the automorphism is fully irreducible, then work of Kapovich-Kleiner proves the boundary of the group is homeomorphic to the Menger curve. However, their proof is very general and gives no tools to further study the boundary and large-scale geometry of these groups. In this talk, I will explain how to construct explicit embeddings of non-planar graphs into the boundary of these groups whenever the group is hyperbolic. Along the way, I will illustrate how our methods distinguish free-by-cyclic groups which are the fundamental group of a 3-manifold. This is joint work with Yael Algom-Kfir and Arnaud Hilion.
Given an automorphism of the free group, we consider the mapping torus defined with respect to the automorphism. If the automorphism is atoroidal, then the resulting free-by-cyclic group is hyperbolic by work of Brinkmann. In addition, if the automorphism is fully irreducible, then work of Kapovich-Kleiner proves the boundary of the group is homeomorphic to the Menger curve. However, their proof is very general and gives no tools to further ...

20F65 ; 20F67 ; 20E36

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

In this talk we will present a Verlinde formula for the quantization of the Higgs bundle moduli spaces and stacks for any simple and simply-connected group. We further present a Verlinde formula for the quantization of parabolic Higgs bundle moduli spaces and stacks. We will explain how all these dimensions fit into a one parameter family of 2D TQFT’s, encoded in a one parameter family of Frobenius algebras, which we will construct.

14D20 ; 14H60 ; 57R56 ; 81T40 ; 14F05 ; 14H10 ; 22E46 ; 81T45

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

We present a novel methodology for causal inference based on an invariance principle. It exploits the advantage of heterogeneity in larger datasets, arising from different experimental conditions (i.e. an aspect of "Big Data"). Despite fundamental identifiability issues, the method comes with statistical confidence statements leading to more reliable results than alternative procedures based on graphical modeling. We also discuss applications in biology, in particular for large-scale gene knock-down experiments in yeast where computational and statistical methods have an interesting potential for prediction and prioritization of new experimental interventions.
We present a novel methodology for causal inference based on an invariance principle. It exploits the advantage of heterogeneity in larger datasets, arising from different experimental conditions (i.e. an aspect of "Big Data"). Despite fundamental identifiability issues, the method comes with statistical confidence statements leading to more reliable results than alternative procedures based on graphical modeling. We also discuss applications in ...

62H12 ; 62Fxx ; 62Pxx

Z