We present some recent work - joint with Arno Fehm - in which we give an `existential Ax-Kochen-Ershov principle' for equicharacteristic henselian valued fields. More precisely, we show that the existential theory of such a valued field depends only on the existential theory of the residue field. In residue characteristic zero, this result is well-known and follows from the classical Ax-Kochen-Ershov Theorems. In arbitrary (but equal) characteristic, our proof uses F-V Kuhlmann's theory of tame fields. One corollary is an unconditional proof that the existential theory of F_q((t)) is decidable. We will explain how this relates to the earlier conditional proof of this result, due to Denef and Schoutens.
 

tba

tba

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.
 

 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.

tba

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.

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

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 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.