Notiziario Scientifico
Notiziario dei Seminari di carattere matematico
a cura del Dipartimento 'G. Castelnuovo'
Sapienza Università di Roma
Settimana dal 24 al 30 ottobre 2016
Lunedì 24 ottobre 2016
Ore 14:30, aula di Consiglio
seminario di Analisi Matematica
Frank Merle (IHES)
On the soliton resolution conjecture for the energy critical wave
equation
We will discuss in this lecture several questions concerning the asymptotic
behavior for global solutions of some dispersive equations, specifically
in the case of a focusing, nonlinear wave equation.
The general conjecture (the resolution conjecture) is that the solution
decouples in the sum of a solitary wave and a dispersive wave.
Martedì 25 ottobre 2016
Ore 14:00, aula di Consiglio
seminario di Probabilità e Statistica Matematica
Claude Lefevre (Université Libre de Bruxelles)
Epidemic Risk and Insurance Coverage
This paper aims to apply simple actuarial methods to build an insurance
plan protecting against an epidemic risk in a population. The studied
model is an extended SIR epidemic in which the removal and infection
rates may depend on the number of registered removals. The costs due to
the epidemic are measured through the expected epidemic size and infectivity
time. The premiums received during the epidemic outbreak are measured through
the expected susceptibility time. Using martingale arguments, a method by
recursion is developed to calculate the cost components and the corresponding
premium levels in this extended epidemic model. Some numerical examples
illustrate the effect of removals and the premium calculation in an insurance
plan. This is a joint work with P. Picard (ISFA, Lyon) and M. Simon (ULB).
Martedì 25 ottobre 2016
Ore 14:30, aula 311, Università di Roma Tre,
largo san L. Murialdo 1
seminario di Fisica Matematica
Maurizio Fagotti (ENS Paris)
Transport in out-of-equilibrium spin chains: exact profiles of
charges and currents
I consider the non-equilibrium time evolution after quantum quenches
with simple inhomogeneities.
Specifically, I discuss two situations: the time evolution of a
piecewise homogeneous state under a translationally invariant
Hamiltonian, and the time evolution of a homogeneous state under a
Hamiltonian with a localised defect. I present some recent results on
the corresponding late-time dynamics, and point out the similarities
between the two situations. Finally, I show that, in the presence of a
defect, the late-time expectation values of the local observables are
not correctly described by a diagonal ensemble.
Martedì 25 ottobre 2016
Ore 16:00, aula Dal Passo, Università di Roma Tor Vergata
seminario di Equazioni Differenziali
Gabriella Pinzari (Universita' di Napoli Federico II)
A first integral to the partially averaged Newtonian potential
in the three-body problem
We consider the partial average, i.e., the Lagrange average with
respect to just one of the two mean anomalies, of the Newtonian
part of the perturbing function in the three--body problem Hamiltonian.
We prove that such a partial average exhibits a non-trivial first
integral. We next show how this integral is responsible of three known
occurrences in the averaged Newtonian potential: Harrington property,
Herman resonance and certain strange symmetries in the planetary torsion.
Mercoledì 26 ottobre 2016
Ore 14:00, aula D'Antoni, Università di Roma Tor Vergata
seminario di Equazioni Differenziali
Sergio Simonella (TU Munich)
Collisions and correlation in the Boltzmann-Grad limit
I will review our current state of knowledge on the derivation of the
Boltzmann equation from Newtonian systems. This problem has been the
objective of renewed effort over recent years.
Mercoledì 26 ottobre 2016
Ore 16:00, aula F, Università di Roma Tre,
largo san L. Murialdo 1
i Tè di Matematica
Paolo Pistone (Università di Roma Tre)
Dall'antinomia di Russell al polimorfismo: circoli viziosi
nelle dimostrazioni e nei programmi
Nel 1902, l'antinomia di Russell scuoteva le fondamenta dell'edificio
matematico evidenziandone una basilare circolarità: un linguaggio
astratto e uniforme che possa esprimere ogni definizione matematica
richiede il ricorso a proposizioni che parlano di ogni proposizione
(incluse esse stesse) così come a insiemi definiti a partire da ogni
insieme (inclusi essi stessi). La terapia proposta da Russell fu
quella di impedire la formazione di tali 'circoli viziosi' attraverso
l'introduzione dei cosiddetti tipi, riducendo drasticamente il potere
espressivo dei linguaggi matematici.
Lungi dall'essere stati eradicati dalla logica, questi 'circoli
viziosi' compaiono oggi tanto nella pratica matematica quanto nelle
istruzioni di molti linguaggi di programmazione. La teoria del
polimorfismo, alla base di tali linguaggi, introduce la circolarità
persino nella stessa teoria dei tipi, permettendo la costruzione di
tipi definiti a partire da tutti i tipi.
Da problema squisitamente logico-filosofico, quella dei 'circoli
viziosi' è divenuta insomma una questione matematica largamente
studiata e applicata nel design di strumenti di programmazione sempre
più astratti e uniformi così come nella loro interpretazione
matematica, attraverso risultati e soluzioni che contrastano con
l'aperta sfiducia del filosofo e matematico inglese.
Giovedì 27 ottobre 2016
Ore 14:30, aula 211, Università di Roma Tre,
largo san L. Murialdo 1
seminario di Geometria
Alexandru Dimca (Université de Nice)
The wonderful world of free curves
I will discuss first several equivalent definitions for a free curve
in the complex projective plane. Then, by relaxing some of them, I'll
introduce the notion of a nearly free curve. Finally I'll discuss the
conjecture saying that a rational cuspidal plane curve is either free
or nearly free.
Venerdì 28 ottobre 2016
Ore 11:30, aula 311, Università di Roma Tre,
largo san L. Murialdo 1
seminario di Logica
Giulio Guerrieri (Università di Roma Tre e Aix-Marseille
Université)
Il !-calcolo: una variante del lambda-calcolo che generalizza
la chiamata per nome e la chiamata per valore
Introdurremo e studieremo il !-calcolo, un calcolo funzionale non
tipato in cui l'operatore di promozione della Logica Lineare fa
esplicitamente parte della sintassi e l'applicazione è bilineare.
Questo calcolo, che può essere visto come una versione non tipata del
calcolo Call-By-Push-Value di Paul Levy, sussume sia il lambda-calcolo
per nome sia il lambda-calcolo per nome, in quanto consente (e
internalizza) una fattorizzazione delle due traduzioni di Girard della
logica intuizionista nella Logica Lineare. Costruiremo un modello
denotazionale del !-calcolo basato sulla interpretazione relazionale
della Logica Lineare e dimostreremo un teorema di correttezza per tale
modello ricorrendo a una versione con risorse del !-calcolo basato
sulla Logica Lineare Differenziale.
Tutte le informazioni relative a questo notiziario devono pervenire
esclusivamente all'indirizzo di posta elettronica
seminari@mat.uniroma1.it
entro le ore 24 del giovedì precedente la settimana interessata.
Le comunicazioni pervenute in ritardo potranno essere ignorate.
Tutti coloro che desiderano ricevere questo notiziario via e-mail sono
invitati a comunicare il proprio indirizzo di posta elettronica a
seminari@mat.uniroma1.it.
Il Direttore