TBA by Thomas O'hare (note TIME/DATE)
- Series
- CDSNS Colloquium
- Time
- Wednesday, April 15, 2026 - 16:00 for 1 hour (actually 50 minutes)
- Location
- TBD
- Speaker
- Thomas O'hare – Northwestern University – thomas.ohare@northwestern.edu
Please Note: Zoom link: https://gatech.zoom.us/j/91390791493?pwd=QnpaWHNEOHZTVXlZSXFkYTJ0b0Q0UT09
Proving positivity of the top Lyapunov exponent ($\lambda_1$) and obtaining parameter-dependent lower bounds is an interesting and challenging problem for SDEs (stochastic differential equations). We outline methods to obtain lower bounds and establish positivity of $\lambda_1$ for certain SDEs, combining the coordinate rescaling framework of Pinsky–Wihstutz (1988) for nilpotent linear It\^{o} systems with Fisher information formulas for Lyapunov exponents introduced by J. Bedrossian, A. Blumenthal, and S. Punshon-Smith (2022). This approach uses hypoellipticity and regularity of 2nd order linear PDEs.
We apply these techniques to a 2-D toy SDE to obtain positive lower bounds and small-noise scaling (in terms of noise parameter $\sigma$) for $\lambda_1$ as $\sigma \to 0$. These techniques avoid computing the stationary density explicitly, using only qualitative regularity of the limiting stationary density coming from hypoellipticity. We also present how a similar approach yields shear-induced chaos for a stochastically driven limit cycle closely related to the Hopf normal form with additive noise, by proving $\lambda_1 > 0$. Finally, we briefly discuss additional SDEs where we believe variants of these ideas may yield positive lower bounds on $\lambda_1$. This work is part of ongoing joint work with Samuel Punshon-Smith.
In dynamics, the speed of mixing depends on the dynamical features of the map and the regularity of the observables. Notably, two classical linear models—the Bernoulli doubling map and the CAT map—exhibit double exponential mixing for analytic observables. Are ergodic linear maps the only ones with this property? In dimension one, we provide a full classification for maps from the space of volume-preserving finite Blaschke products acting on the circle (as well as for free semigroup actions generated by a finite collection of such maps). In higher dimensions, we identify a necessary condition for double exponential mixing and present several families of examples and non-examples. Key ideas of the proof involve the Koopman precomposition operator on spaces of hyperfunctions (elements of the dual space of analytic functions), which turns out to be non-self-adjoint, compact, and quasi-nilpotent, with spectrum reduced to zero.
https://gatech.zoom.us/j/97077908574?pwd=bnP9YWZwqKsU5YrgFZR40asqub0GOR.1
Meeting ID: 970 7790 8574
Passcode: 604975
In a recent joint work with J. Buzzi, Y. Shi, and J. Yang, given a diffeomorphism preserving a one-dimensional expanding foliation $\mathcal F$ with homogeneous exponential growth, we construct a family of reference measures on each leaf of the foliation with controlled Jacobian and a Gibbs property.
We then prove that for any measure of maximal $\mathcal F$-entropy, its conditional measures on each leaf must be equivalent to the reference measures.
When the reference measures are equivalent to the leafwise Lebesgue measure, we prove that the log-determinant of $f$ must be cohomologous to a constant.
We will consider several applications, including the strong and center foliations of Anosov diffeomorphisms, factor over Anosov diffeomorphisms, and perturbations of the time-one map of geodesic flows on surfaces with negative curvature. We will also discuss several conjectures on the unique ergodicity and (exponential) equidistribution for the strong unstable foliations of Anosov systems.
Zoom link: https://gatech.zoom.us/j/92005780980?pwd=ptlx7KdBAbHI3DTvv6V7fjFn27LDaE.1
Meeting ID: 920 0578 0980
Passcode: 604975
Please Note: Zoom link: https://gatech.zoom.us/j/91390791493?pwd=QnpaWHNEOHZTVXlZSXFkYTJ0b0Q0UT09
Cislunar space—the region between Earth and the Moon—has reemerged as a critical area for space exploration. From a mathematical perspective, this region is governed by multi-body dynamics that give rise to rich structures, including invariant manifolds, resonant orbits, and homoclinic chaos. This talk will introduce classical and modern tools from celestial mechanics to analyze motion in the Earth–Moon system, with an emphasis on restricted 3- and 4-body problems. We will discuss how perturbative methods (normal forms) and invariant manifold theory (parameterization method) reveal the underlying organization of the phase space. Particular attention will be placed on connecting the perturbative regime, where classical methods apply, with the realistic system, which often lies far outside that regime, using computer-assisted techniques. Our ultimate goal is to establish rigorous results for the real solar system while enhancing the engineering capabilities needed to design and fly missions, highlighting how mathematics contributes both to theory and to the practical challenges of contemporary space exploration.
No prior knowledge is needed; the talk will be self-contained and accessible. Undergraduates are encouraged to attend.
Please Note: Zoom link: https://gatech.zoom.us/j/91390791493?pwd=QnpaWHNEOHZTVXlZSXFkYTJ0b0Q0UT09
Consider a sequence of independent and identically distributed SL(2, R) matrices. There are several classical results by Le Page, Tutubalin, Benoist, Quint, and others that establish various forms of the central limit theorem for the products of such matrices. I will talk about a recent joint work with Anton Gorodetski and Victor Kleptsyn, where we generalize these results to the non-stationary case. Specifically, we prove that the properly shifted and normalized logarithm of the norm of a product of independent (but not necessarily identically distributed) SL(2, R) matrices converges to the standard normal distribution under natural assumptions. A key component of our proof is the regularity of the distribution of the unstable vector associated with these products.
Please Note: Zoom link: https://gatech.zoom.us/j/91390791493?pwd=QnpaWHNEOHZTVXlZSXFkYTJ0b0Q0UT09
The classical Wiener-Wintner Theorem says that for all measure preserving systems, and bounded functions f, there is a set of full measure so that the averages below converge for all continuous functions g from the circle (R/Z) to the complex numbers.
N^{-1} \sum_{n=1}^N g( \pi n) f(T^n).
We extend this result to averages over the prime integers. The proof uses structure of measure preserving systems, higher order Fourier analysis, and the Heath-Brown approximate to the von Mangoldt function. A key result is a surprisingly small Gowers norm estimate for the Heath-Brown approximate with fixed height.
Joint work with Y. Chen, A. Fragkos, J. Fornal, B. Krause, and H. Mousavi.
Margulis inequalities and Margulis functions (a.k.a Foster-Lyapunov stability) have played a major role in modern dynamics, in particular in the fields of homogeneous dynamics and Teichmuller dynamics.
Moreover recent exciting developments in the field of random walks over manifolds give rise to related notions and questions in a much larger geometrical content, largely motivated by recent work of Brown-Eskin-Filip-Rodriguez Hertz.
I will explain what are Margulis functions and Margulis inequalities and describe the main lemma due to Eskin-Margulis (“uniform expansion”) that allows one to prove such an inequality. I will also try to sketch some interesting applications.
No prior knowledge is needed, the talk will be self-contained and accessible.
Zoom Link: https://gatech.zoom.us/j/94689623118?pwd=Ie8Ir2bExulIP4joQbcmZiwsxpIq75.1 Meeting ID: 946 8962 3118 Passcode: 910355
Let $f,g$ be $C^2$ area-preserving Anosov diffeomorphisms on $\mathbb{T}^2$ which are topologically conjugated by a homeomorphism $h$. It was proved by de la Llave in 1992 that the conjugacy $h$ is automatically $C^{1+}$ if and only if the Jacobian periodic data of $f$ and $g$ are matched by $h$ for all periodic orbits. We prove that if the Jacobian periodic data of $f$ and $g$ are matched by $h$ for all points of some large period $N\in\mathbb{N}$, then $f$ and $g$ are ``approximately smoothly conjugate." That is, there exists a a $C^{1+\alpha}$ diffeomorphism $\overline{h}_N$ that is exponentially close to $h$ in the $C^0$ norm, and such that $f$ and $f_N:=\overline{h}_N^{-1}\circ g\circ \overline{h}_N$ is exponentially close to $f$ in the $C^1$ norm.
Zoom link -
https://gatech.zoom.us/j/5506889191?pwd=jIjsRmRrKjUWYANogxZ2Jp1SYdaejU.1
Meeting ID: 550 688 9191
Passcode: 604975