Hardy type derivations on the surreal numbers
Abstract
The field of transseries was introduced by Ecalle to give a solution to Dulac's problem, a weakening of Hilbert's 16th problem. They form an elementary extension of the real exponential field and have received the attention of model theorists. Another such elementary extension is given by Conway's surreal numbers, and various connections with the transseries have been conjectured, among which the possibility of introducing a Hardy type derivation on the surreal numbers. I will present a complete solution to these conjectures obtained in collaboration with Vincenzo Mantova.
Learning with Cross-Kernel Matrices and Ideal PCA
Abstract
We describe how cross-kernel matrices, that is, kernel matrices between the data and a custom chosen set of `feature spanning points' can be used for learning. The main potential of cross-kernel matrices is that (a) they provide Nyström-type speed-ups for kernel learning without relying on subsampling, thus avoiding potential problems with sampling degeneracy, while preserving the usual approximation guarantees and the attractive linear scaling of standard Nyström methods and (b) the use of non-square matrices for kernel learning provides a non-linear generalization of the singular value decomposition and singular features. We present a novel algorithm, Ideal PCA (IPCA), which is a cross-kernel matrix variant of PCA, showcasing both advantages: we demonstrate on real and synthetic data that IPCA allows to (a) obtain kernel PCA-like features faster and (b) to extract novel features of empirical advantage in non-linear manifold learning and classification.
The Renormalization Group as a tool of Rigorous Probability Theory
Abstract
The Renormalization Group (RG) was pioneered by the physicist Kenneth Wilson in the early 70's and since then it has become a fundamental tool in physics. RG remains the most general philosophy for understanding how many models in statistical mechanics behave near their critical point but implementing RG analysis in a mathematically rigorous way remains quite challenging.
I will describe how analysis of RG flows translate into statements about continuum limits, universality, and cross-over phenomena - as a concrete example I will speak about some joint work with Abdelmalek Abdesselam and Gianluca Guadagni.
Triangulation of definable monotone families of compact sets
Abstract
Let $K\subset {\mathbb R}$ be a compact definable set in an o-minimal structure over $\mathbb R$, e.g. a semi-algebraic or a real analytic set. A definable family $\{S_\delta\ | 0<\delta\in{\mathbb R}\}$ of compact subsets of $K$, is called a monotone family if $S_\delta\subset S_\eta$ for all sufficiently small $\delta>\eta>0$. The main result in the talk is that when $\dim K=2$ or $\dim K=n=3$ there exists a definable triangulation of $K$ such that for each (open) simplex $\Lambda$ of the triangulation and each small enough $\delta>0$, the intersections $S_\delta\cap\Lambda$ is equivalent to one of five (respectively, nine) standard families in the standard simplex (the equivalence relation and a standard family will be formally defined). As a consequence, we prove the two-dimensional case of the topological conjecture on approximation of definable sets by compact families.
This is joint work with Andrei Gabrielov (Purdue).
Spectral volume and surface measures via the Dixmier trace for local symmetric Dirichlet spaces with Weyl type eigenvalue asymptotics
Abstract
Spectral volume and surface measures via the Dixmier trace for local symmetric Dirichlet spaces with Weyl type eigenvalue asymptotics
The purpose of this talk is to present the author's recent results of on an
operator theoretic way of looking atWeyl type Laplacian eigenvalue asymptotics
for local symmetric Dirichlet spaces.
For the Laplacian on a d-dimensional Riemannian manifoldM, Connes' trace
theorem implies that the linear functional
coincides with
(a constant multiple of) the integral with respect to the Riemannian volume
measure of M, which could be considered as an operator theoretic paraphrase
of Weyl's Laplacian eigenvalue asymptotics. Here
denotes a Dixmier trace,
which is a trace functional de_ned on a certain ideal of compact operators on
a Hilbert space and is meaningful e.g. for compact non-negative self-adjoint
operators whose n-th largest eigenvalue is comparable to 1/n.
The first main result of this talk is an extension of this fact in the framework
of a general regular symmetric Dirichlet space satisfying Weyl type asymptotics
for the trace of its associated heat semigroup, which was proved for Laplacians
on p.-c.f. self-simiar sets by Kigami and Lapidus in 2001 under a rather strong
assumption.
Moreover, as the second main result of this talk it is also shown that, given a
local regular symmetric Dirichlet space with a sub-Gaussian heat kernel upper
bound and a (sufficiently regular) closed subset S, a “spectral surface measure"
on S can be obtained through a similar linear functional involving the Lapla-
cian with Dirichlet boundary condition on S. In principle,
corresponds to the
second order term for the eigenvalue asymptotics of this Dirichlet Laplacian, and
when the second order term is explicitly known it is possible to identify
For
example, in the case of the usual Laplacian on Rd and a Lipschitz hypersurface S,
is a constant multiple of the usual surface measure on S.
Maximal couplings and geometry
Abstract
Maximal couplings are couplings of Markov processes where the tail probabilities of the coupling time attain the total variation lower bound (Aldous bound) uniformly for all time. Markovian couplings are coupling strategies where neither process is allowed to look into the future of the other before making the next transition. These are easier to describe and play a fundamental role in many branches of probability and analysis. Hsu and Sturm proved that the reflection coupling of Brownian motion is the unique Markovian maximal coupling (MMC) of Brownian motions starting from two different points. Later, Kuwada proved that to have a MMC for Brownian motions on a Riemannian manifold, the manifold should have a reflection structure, and thus proved the first result connecting this purely probabilistic phenomenon (MMC) to the geometry of the underlying space.
A stochastic free boundary problem
Abstract
Motivated by stochastic models for order books in stock exchanges we consider stochastic partial differential equations with a free boundary condition. Such equations can be considered generalizations of the classic (deterministic) Stefan problem of heat condition in a two-phase medium.
Extending results by Kim, Zheng & Sowers we allow for non-linear boundary interaction, general Robin-type boundary conditions and fairly general drift and diffusion coefficients. Existence of maximal local and global solutions is established by transforming the equation to a fixed-boundary problem and solving a stochastic evolution equation in suitable interpolation spaces. Based on joint work with Marvin Mueller.