Seminars

Seminars appear in decreasing order in relation to date. To find an activity of your interest just go down on the list. Normally seminars are given in english. If not, they will be marked as Spanish Only.

 

A glimpse on excursion theory for the two-dimensional continuum Gaussian free field.

Event Date: Aug 14, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Resumen:   Based on joint work with Juhan Aru, Titus Lupu and Wendelin Werner. Two-dimensional continuum Gaussian free field (GFF) has been one of the main objects of conformal invariant probability theory in the last ten years. The GFF is the two-dimensional analogue of Brownian motion when the time set is replaced by a 2-dimensional domain. Although one cannot make sense of the GFF as a proper function, it can be seen as a “generalized function” (i.e. a Schwartz distribution). The main objective of this talk is to go...

An adverse selection approach to power pricing

Event Date: Aug 02, 2017 in Optimization and Equilibrium, Seminars

Abstract: We study the optimal design of electricity contracts among a  population of consumers with different needs. This question is tackled within the framework of Principal-Agent  problem in presence of adverse selection. The particular features of electricity induce an unusual  structure on the production cost, with no decreasing return to scale. We are nevertheless able to provide an  explicit solution for the problem at hand.  The optimal contracts are either linear or polynomial with  respect to the consumption. Whenever the outside...

Equidistribution of dilated curves.

Event Date: Jul 10, 2017 in Dynamical Systems, Seminars

Resumen:    Consider a light source located in a polynomial room. It is a classic question whether the whole room is illuminated by the light. This question was recently settled by Lelievre, Monteil and Weiss. In this talk, we study the variation on the illumination problem introduced by Chaika and Hubert in the context of closed curves on nilmanifolds. We give necessary and sufficient conditions for a nilmanifold being illuminated by a curve.

Actitudes y creencias sobre el aprendizaje: evidencia de California y Chile.

Event Date: Jul 05, 2017 in Education, Seminars

Abstracts: Si bien hay consenso sobre la importancia de las habilidades socio-emocionales para el desarrollo académico y social de los estudiantes, hay poca claridad sobre cuáles son estas habilidades, cuánto impacto tienen en el aprendizaje de cada sector y cómo se distribuyen en la población. En esta presentación revisaremos cuánto importan para el aprendizaje de matemáticas y lenguaje dos dimensiones socio-emocionales: mentalidad de crecimiento y manejo de emociones, y cómo se distribuyen en poblaciones de California y Chile en distintas...

Exit-time of a self-stabilizing diffusion

Event Date: Jun 27, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Resumen: In this talk, we briefly present some Freidlin and Wentzell results then we give a Kramers’type law satisfied by the McKean-Vlasov diffusion when the confining potential is uniformly strictly convex. We briefly present two previous proofs of this result before giving a third proof which is simpler, more intuitive and less technical.

A link between the zeta function and stochastic calculus

Event Date: Jun 15, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Abstract: The study of the zeros of the Riemann zeta function constitutes one of the most challenging problems in mathematics. A large literature in devoted to the study of the behavior of the zeta zeros. We will  discuss  how  tools from stochastic analysis, and in particular from Malliavin calculus (multiple integrals, Wiener chaos, Stein method etc) can be used in the study of some aspects of the behavior of  the zeta function.

Thermodynamics of small systems through a reversible and conservative discrete automaton.

Event Date: Jun 14, 2017 in Discrete Mathematics, Seminars

Abstract: The focus of this talk will be the Q2R model which is a reversible and conservative cellular automaton. The Q2R model possesses quite a rich and complex dynamics. Indeed, the configuration space is composed of a huge number of cycles with exponentially long periods, that we attempt to characterize. Furthermore, a coarse-graining approach is applied to the time series of the total magnetization, leading to a master equation that governs the macroscopic irreversible dynamics of the Q2R automata. The methodology is replicated for...

A new probabilistic interpretation of Keller-Segel model for chemotaxis, application to 1-d.

Event Date: Jun 13, 2017 in Núcleo Modelos Estocásticos de Sistemas Complejos y Desordenados, Seminars

Resumen: The Keller Segel (KS) model for chemotaxis is a two-dimensional system of parabolic or elliptic PDEs. Motivated by the study of the fully parabolic model using probabilistic methods, we give rise to a non-linear SDE of McKean-Vlasov type with a highly non standard and singular interaction kernel.   In this talk I will briefly introduce the KS model, point out some of the PDE analysis results related to the model and then, in detail, analyze our probabilistic interpretation in the case d=1. This is a joint work with Denis Talay...

Oportunidades de aprendizaje de matemáticas que se proporcionan a estudiantes con discapacidad intelectual: primeros resultados.

Event Date: May 24, 2017 in Education, Seminars

Resumen: En Chile los estudiantes con discapacidad intelectual (DI) asisten a escuelas especiales o a escuelas regulares con Programas de Integración Escolar. Aun cuando se cuenta con datos referidos a su acceso al sistema educativo, poco se conoce respecto a las oportunidades de aprendizaje (ODA) que se proporcionan a estos estudiantes, menos aún en matemáticas. Usando la metodología de estudio de casos múltiple se ha avanzado en una primera descripción de las ODA que se proveen en matemáticas a estudiantes con DI en escuelas especiales. Se...

INTRODUCTION TO FORMAL VERIFICATION

Event Date: May 23, 2017 in Other Areas, Seminars

ABSTRACT:   Software is pervasive. In particular, a lot of programs are nowadays produced to be executed in safety critical contexts. It is crucial to certify these programs. There are several methods of certification. By far the most used is testing. But testing can be costly, and more importantly, it only covers a finite number of cases. Formal verification is a vastly different approach: it aims at building a mathematical proof that the program meets its specification, thus covering all possible cases. To increase the level of...