Institut de Mathématiques de Marseille, UMR 7373




Rechercher


Accueil >

Les événements de octobre 2018

Séminaire

  • Équipe Analyse Appliquée (AA)

    • Mardi 9 octobre 11:00-12:00 - Giulia LISSONI - LJAD, Université de Nice Sophia-Antipolis

      DDFV method for Navier-Stokes problem with outflow boundary conditions

      Résumé : We propose to present some results on the approximation by DDFV (Discrete Duality Finite Volume) methods of the incompressible Navier-Stokes problem with open boundary conditions on the outflow.
      The advantage of DDFV schemes is to be able to work on general meshes that do not necessarily satisfy the classical orthogonality condition imposed on finite volume meshes.
      The boundary conditions we are interested in have been derived by a particular weak formulation of Navier-Stokes that ensures an energy estimate. We propose to recreate the same situation at a discrete level thanks to the DDFV formalism.

      JPEG - 8.8 ko
      Giulia LISSONI

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

    • Mardi 16 octobre 09:00-12:00 -

      Journée des nouveaux entrants à Saint-Charles

      Article

    • Mardi 23 octobre 11:00-12:00 -

      Réunion d’équipe

      Article

  • Équipe Géométrie, Dynamique, Arithmétique et Combinatoire et leurs interactions (GDAC)

    • Lundi 8 octobre 14:00-15:00 - Renaud LEPLAIDEUR - Université de Brest

      Comment modéliser une transition de phase ? Le champs moyen expliqué avec le vocabulaire de la théorie ergodique

      Résumé : le formalisme thermodynamique a été introduit en système dynamique dans les années 70. Un système dynamique possède généralement de très nombreuses mesures invariantes, chacune permettant de décrire "presque toutes" les trajectoires. Le formalisme thermodynamique permet de sélectionner une (ou quelques unes) de ces mesures via un principe variationnel.
      Depuis quelques années la communauté s’intéresse à de nouveaux principes variationnels, et/ou à relier les résultats théoriques avec ceux de la mécanique statistique. On s’intéressera ici à la notion de transition de phase et on verra que les définitions et notions en jeu en théorie ergodiques et en physiques sont sensiblement différentes, bien qu’utilisant le même vocabulaire.
      On s’intéressera à donner une sorte de dictionnaire entre d’une part les mesures de Gibbs en mécanique statistique pour le champ moyen et d’autre part la théorie ergodique.

      JPEG - 7.2 ko
      Renaud LEPLAIDEUR

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

    • Lundi 15 octobre 14:00-15:00 - Andrew ZUCKER - IMJ, Université Paris 7

      Bernoulli disjointness

      Résumé : Building on recent work of Glasner and Weiss, we will consider a countable group G and define the notion of disjointness between two G-flows X and Y. We then consider the question of when every minimal flow is disjoint from the Bernoulli shift. Time permitting, we will discuss an application of these ideas to an old problem in topological dynamics due to Ellis and/or Furstenberg.

      JPEG - 9.2 ko
      Andrew ZUCKER

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

  • Équipe Géométrie, Dynamique, Arithmétique et Combinatoire et leurs interactions (GDAC)

    • Vendredi 5 octobre 09:30-10:30 - Boris SOLOMYAK - University of Bar-Ilan, Israel

      Spectral cocycle for substitution systems and translation flows

      Résumé : To a primitive substitution system, we assign a complex matrix cocycle, defined over a toral endomorphism induced by the substitution matrix. It is closely related to the spectral theory of suspension flows over the substitution system ; in particular, the local dimension of spectral measures is expressed in terms of the top Lyapunov exponent of the cocycle. As an application, we obtain a sufficient condition for the singularity of a typical flow.
      The construction and the results are also extended to S-adic system and translation flows.
      Based on joint work with A. Bufetov.

      JPEG - 12.5 ko

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

    • Vendredi 5 octobre 11:00-12:00 - Patrick FOULON - CIRM, CNRS, Marseille

      Intégrabilité et classification orbitale du flot géodésique des métriques Finslériennes de courbure sectionnelle constante positive

      Résumé : We show that the geodesic flow of any Finsler metric of constant positive flag curvature is Liouville integrable. Using this, we show that, in dimension 2, the geodesic flow is conjugate to that of the Katok metrics.
      Based on joint results with R. Bryant, S. Ivanov, V. Matveev and W. Ziller.

      JPEG - 8.8 ko
      Patrick FOULON

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

    • Vendredi 12 octobre 11:00-12:00 - Adrien BOULANGER - I2M, Aix-Marseille Université

      Approche brownienne pour le problème de comptage

      Résumé : TBA

      JPEG - 10.6 ko
      Adrien BOULANGER

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

    • Vendredi 19 octobre 11:00-12:00 - Yûki TOKUSHIGE (suppléant: Pierre Mathieu) - Kyoto University

      Jump processes on the boundary of hyperbolic groups

      Résumé : TBA

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

  • Équipe Signal et Image (SI)

    • Vendredi 12 octobre 11:00-12:00 - Keigo MATSUDA - JAMSTEC, Kanagawa

      Cloud radar reflectivity factor enhancement due to turbulent droplet clustering

      Résumé : Radar observation is a powerful tool to obtain a two- or three-dimensional distribution data of cloud and precipitation particles. The cloud radar reflectivity factor can be enhanced by the spatial correlation of scattering particles, which is referred to as particulate Bragg scattering. It is well known that inertial particles such as cloud droplets form a nonuniform distribution in air turbulence : That is, inertial particles concentrate in low-vorticity and high-strain-rate regions due to the centrifugal effect. We thus investigate the quantitative influence of turbulent droplet clustering on radar reflectivity factor by using the direct numerical simulation (DNS) of particle-laden isotropic turbulence. In the mechanism of particulate Bragg scattering, the increase of the factor is proportional to the power spectrum of droplet number density fluctuations. Firstly, we investigate the power spectrum for monodisperse droplets. The results show that the shape of obtained power spectrum is strongly dependent on the Stokes number.
      Quantitative estimate of the radar reflectivity factor for an idealized cloud scenario reveals that turbulent clustering can cause significant increase of the factor up to 14 dB for typical cloud droplet sizes. Secondly, we investigate the influence for the case of polydisperse droplets. The results show that the coherence of cross spectrum for bidisperse droplets can be parametrized by using the Stokes number difference. By using the parametrization, we propose a model for estimating the radar reflectivity factor enhancement for arbitrary droplet size distribution. Finally, possible errors of radar observation due to turbulent clustering is estimated by using the proposed model.

      JPEG - 8.4 ko
      Keigo MATSUDA

      Lieu : I.R.P.H.E - 49 Rue Frédéric Joliot Curie
      13013 Marseille, France

      Exporter cet événement

      Article

    • Vendredi 19 octobre 14:00-15:00 - Mathieu ANDREUX - Laboratoire d'Informatique, ENS Paris

      Séminaire Signal et Apprentissage (TBA)

      Résumé : TBA

      JPEG - 8.1 ko
      Mathieu ANDREUX

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

    • Vendredi 26 octobre 14:00-15:00 - Afef CHERNI - I2M, Aix-Marseille Université

      Résolution de problèmes inverses en biophysique

      Résumé : TBA

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

  • Équipe Analyse, Géométrie et Topologie (AGT)

    • Lundi 8 octobre 14:00-15:00 - Renaud LEPLAIDEUR - Université de Brest

      Comment modéliser une transition de phase ? Le champs moyen expliqué avec le vocabulaire de la théorie ergodique

      Résumé : le formalisme thermodynamique a été introduit en système dynamique dans les années 70. Un système dynamique possède généralement de très nombreuses mesures invariantes, chacune permettant de décrire "presque toutes" les trajectoires. Le formalisme thermodynamique permet de sélectionner une (ou quelques unes) de ces mesures via un principe variationnel.
      Depuis quelques années la communauté s’intéresse à de nouveaux principes variationnels, et/ou à relier les résultats théoriques avec ceux de la mécanique statistique. On s’intéressera ici à la notion de transition de phase et on verra que les définitions et notions en jeu en théorie ergodiques et en physiques sont sensiblement différentes, bien qu’utilisant le même vocabulaire.
      On s’intéressera à donner une sorte de dictionnaire entre d’une part les mesures de Gibbs en mécanique statistique pour le champ moyen et d’autre part la théorie ergodique.

      JPEG - 7.2 ko
      Renaud LEPLAIDEUR

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

    • Lundi 15 octobre 14:00-15:00 - Andrew ZUCKER - IMJ, Université Paris 7

      Bernoulli disjointness

      Résumé : Building on recent work of Glasner and Weiss, we will consider a countable group G and define the notion of disjointness between two G-flows X and Y. We then consider the question of when every minimal flow is disjoint from the Bernoulli shift. Time permitting, we will discuss an application of these ideas to an old problem in topological dynamics due to Ellis and/or Furstenberg.

      JPEG - 9.2 ko
      Andrew ZUCKER

      Lieu : CMI, salle de séminaire R164 (1er étage) - I2M - Château-Gombert
      39 rue Frédéric Joliot-Curie
      13453 MARSEILLE cedex 13

      Exporter cet événement

      Article

  • Équipe Analyse, Géométrie et Topologie (AGT)

    • Jeudi 4 octobre 14:00-15:00 - Elisa PRATO - Université de Florence

      Nonrational symplectic toric reduction and cutting

      Résumé : In this talk, I will discuss generalizations of the symplectic reduction and symplectic cutting operations to the context of nonrational toric geometry (joint work with F. Battaglia). Some examples and applications will be examined.

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

    • Jeudi 18 octobre 11:00-12:00 - Miguel FERNÁNDEZ DUQUE - Universidad Nacional Autónoma de México

      Local uniformization of codimension one foliations

      Résumé : In 1940 O. Zariski obtained Local Uniformization on algebraic varieties. Using this result, which is true in arbitrary dimension, in 1944 he obtained Resolution of Singularities in dimension three. It was twenty years later, in 1964, when H. Hironaka published his celebrated paper obtaining Resolution of Singularities in any dimension. In the case of codimension one foliations, we only know reduction of singularities results in lower dimensions. In fact, only in dimension two (A. Seidenberg 1968) and three (F. Cano 2004). Following the ideas of Zariski, in this talk we present the result of Local Uniformization for codimension one foliations defined in ambient spaces of arbitrary dimension. This is a joint work with F. Cano.

      JPEG - 7 ko
      Miguel FERNÁNDEZ DUQUE

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

  • Équipe Logique de la Programmation (LDP)

    • Jeudi 4 octobre 11:00-12:30 - Giulio MANZONETTO - LIPN, Paris 13

      Revisiting Call-by-value Bohm trees in light of their Taylor expansion

      Résumé : The call-by-value lambda calculus can be endowed with permutation rules, arising from linear logic proof-nets, having the advantage of unblocking some redexes that otherwise get stuck during the reduction. We show that such an extension allows to define a satisfying notion of Bohm(-like) tree and a theory of program approximation in the call-by-value setting. We prove that all lambda terms having the same Bohm tree are observationally equivalent, and characterize those Bohm-like trees arising as actual Bohm trees of lambda terms.
      We also compare this approach with Ehrhard’s theory of program approximation based on the Taylor expansion of lambda terms, translating each lambda term into a possibly infinite set of so-called resource terms. We provide sufficient and necessary conditions for a set of resource terms in order to be the Taylor expansion of a lambda term. Finally, we show that the normal form of the Taylor expansion of a lambda term can be computed by performing a normalized Taylor expansion of its Bohm tree. From this it follows that two lambda terms have the same Bohm tree if and only if the normal forms of their Taylor expansions coincide.
      Joint work with Emma Kerinec and Michele Pagani.

      JPEG - 5.9 ko
      Giulio MANZONETTO

      Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
      Site Sud - Bâtiment TPR2
      Campus de Luminy, Case 907
      13288 MARSEILLE Cedex 9

      Exporter cet événement

      Article

    • Jeudi 11 octobre 11:00-12:30 - Thomas EHRHARD - IRIF, Paris 7

      Sémantique dénotationnelle de la logique linéaire avec plus petits et plus grands points fixes de types

      Résumé : On montrera comment interpréter μLL - la logique linéaire propositionnelle avec plus petits (μ) et plus grands (ν) points fixes de types - dans les espaces cohérents, puis dans les espaces cohérents avec totalité. Le premier modèle ne fait pas la différence entre μ et ν, alors que le second, bâti sur le premier, interprète μ et ν de façons différentes. La même technique s’adapte à beaucoup d’autres modèles, et notamment aux espaces de finitude. μLL peut être vu comme un langage de programmation fortement normalisant contenant le système T de Gödel et permettant de définir de nombreux "types de données" (listes, arbres, mais aussi streams etc).
      Travail en collaboration avec Farzad Jafrrahmani.

      JPEG - 5.4 ko
      Thomas EHRHARD

      Lieu : Salle des séminaires 304-306 (3ème étage) - Institut de Mathématiques de Marseille (UMR 7373)
      Site Sud - Bâtiment TPR2
      Campus de Luminy, Case 907
      13288 MARSEILLE Cedex 9

      Exporter cet événement

      Article

  • Équipe Probabilités (PROBA)

  • Colloquium de Mathématiques de Marseille

    • Vendredi 19 octobre 16:00-17:00 - Isabelle GALLAGHER - École normale supérieure -- Paris

      De systèmes de particules vers la mécanique des fluides

      Résumé : La question d’obtenir des équations de la mécanique des fluides à partir de systèmes déterministes de particules en interaction satisfaisant aux équations de Newton, dans la limite où le nombre de particules tend vers l’infini, est posée par Hilbert dans son sixième problème. Dans cet exposé nous présenterons quelques avancées dans ce programme, où l’on dérive des modèles linéaires comme les équations de la chaleur, de l’acoustique et de Stokes-Fourier. Nous expliquerons ce faisant l’apparition de l’irréversibilité au niveau macroscopique, alors que les modèles microscopiques sous-jacents sont réversibles.
      Il s’agit de travaux en collaboration avec Thierry Bodineau et Laure Saint Raymond.

      JPEG - 6.2 ko
      Isabelle GALLAGHER

      Lieu : FRUMAM - Aix-Marseille Université - Site St Charles
      3, place Victor Hugo - case 39
      13331 MARSEILLE Cedex 03

      Exporter cet événement

      Article

  • Équipe Statistiques (STA)

  • Équipe Statistiques (STA)

    • Du 22 octobre 08:30 au 26 octobre 15:00 - Masterclass in Bayesian Statistics - CIRM

      Séminaire Statistique

      Lieu : CIRM Luminy

      Notes de dernières minutes : CIRM - Jean-Morlet Chair - Kerrie MENGERSEN - Pierre PUDLO - Semester on "Bayesian Modelling and Analysis of Big Data : https://www.chairejeanmorlet.com/2018-2-mengersen-pudlo-1854.html

      Exporter cet événement

      Article

    • Lundi 29 octobre 14:00-15:00 - Rainer von Sachs - Université Catholique de Louvain

      Séminaire Statistique

      Résumé : Intrinsic wavelet smoothing of curves and surfaces of Hermitian positive definite matrices
      In multivariate time series analysis, non-degenerate autocovariance and spectral density matrices are necessarily Hermitian and positive definite and it is important to preserve these properties in any estimation procedure. Our main contribution is the development of intrinsic wavelet transforms and nonparametric wavelet regression for curves in the non-Euclidean space of Hermitian positive definite matrices. The primary focus is on the construction of intrinsic average-interpolation wavelet transforms in the space equipped with a natural invariant Riemannian metric. In addition, we derive the wavelet coefficient decay and linear wavelet thresholding convergence rates of intrinsically smooth curves of Hermitian positive definite matrices. The intrinsic wavelet transforms are computationally fast and nonlinear wavelet shrinkage or thresholding captures localized features, such as cups or kinks, in the matrix-valued curves. In the context of nonparametric spectral estimation, the intrinsic linear or nonlinear wavelet spectral estimator satisfies the important property that it is equivariant under a change of basis of the time series, in contrast to most existing approaches. The finite-sample performance of the intrinsic wavelet spectral estimator based on nonlinear tree-structured trace thresholding is benchmarked against several state-of-the-art nonparametric curve regression procedures in the Riemannian manifold by means of simulated time series data.
      This is joint work with Joris Chau (Université catholique de Louvain).

      Lieu : FRUMAM 2e étage

      Exporter cet événement

      Article

Ajouter un événement