I will explain a proof of a joint with D. Alvarez-Gavela and D.
Nadler theorem which allows to make a Lagrangian submanifold
transverse to a given Lagrangian distribution in exchange for
making them piecewise smooth with canonical singularities...
What governs whether large-scale planetary habitability is
sustained through time? Lakes, valley networks, groundwaters,
hydrothermal systems, and chemically open-system weathering once
existed on Mars. The suite of aqueous environments preserved
in...
Abstract 1: In recent years, weak lensing of the cosmic
microwave background (CMB) has emerged as a powerful tool to probe
fundamental physics. The prime target of CMB lensing surveys is the
lensing potential, which is reconstructed from observed...
We describe two extensions, called the virtual Morse-Bott index
and circle-equivariant virtual Morse-Bott index, of the classical
Morse-Bott index of a Morse-Bott function on a smooth manifold to
the setting of (a) suitably defined analytic...
The regularity theory for the Navier-Stokes equation will be
reviewed. Motivations from Kolmogorov’s phenomenological theory of
turbulence will be discussed. Rigorous mathematical results are
obtained to confirm some of the phenomenologies.
I will discuss joint work with McLean and Smith, lifting the
results of Seidel, Lalonde, McDuff, and Polterovich concerning the
topology of Hamiltonian fibrations over the 2-sphere from rational
cohomology to complex cobordism. In addition to the...
We consider variational principles related to V. I. Arnold's
stability criteria for steady-state solutions of the
two-dimensional incompressible Euler equation. Our goal is to
investigate under which conditions the quadratic forms defined by
the...
I will present the cosmological weak lensing results from the
Dark Energy Survey (DES) using its first three years of data, taken
on the 4m Blanco telescope at CTIO. This analysis spans the full
DES footprint, more than 4000 sq. deg. of sky, with...
As solutions can be efficiently verified, any NP-complete
problem can be solved by exhaustive search. Unfortunately, even for
small instances the running time for exhaustive search becomes very
high.
