Related papers: Quantifier elimination in quasianalytic structures…
We propose a new framework for integrating quantifiers with other logical connectives in a higher-categorical setting. Our method systematically incorporates key coherence conditions-including those akin to the Beck-Chevalley property-and…
We prove that any noetherian quasi-excellent scheme of characteristic zero admits a strong desingularization which is functorial with respect to all regular morphisms. We show that as an easy formal consequence of this result one obtains…
This paper provides a complete characterization of quasicontractive groups and analytic $C_0$-semigroups on Hardy and Dirichlet space on the unit disc with a prescribed generator of the form $Af=Gf'$. In the analytic case we also give a…
Universal solutions to deformation quantization problems can be conveniently classified by the cohomology of suitable graph complexes. In particular, the deformation quantizations of (finite-dimensional) Poisson manifolds and Lie bialgebras…
We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L\"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness…
If F is an infinitely differentiable function whose composition with a blowing-up belongs to a Denjoy-Carleman class C_M (determined by a log convex sequence M=(M_k)), then F, in general, belongs to a larger shifted class C_N, where N_k =…
In [O. Le Gal, J.-P. Rolin. An o-minimal structure which does not admit $C^\infty$ cellular decomposition. In: Ann. Inst. Fourier 59 (2009), pp 543-562], the authors construct an o-minimal structure which does not admit smooth…
The purpose of this paper is to carry out an in-depth analysis of the intriguing van Dantzig problem which consists on characterizing the set $\mathbb{D}$ of analytic characteristic functions $\mathcal{F}$ which remains stable by the action…
We develop a linear theory of discrete complex analysis on general quad-graphs, continuing and extending previous work of Duffin, Mercat, Kenyon, Chelkak and Smirnov on discrete complex analysis on rhombic quad-graphs. Our approach based on…
We develop further in this work the high order paracontrolled calculus setting to deal with the analytic part of the study of quasilinear singular PDEs. A number of continuity results for some operators are proved for that purpose. Unlike…
We construct a class of systems for which quantum dynamics can be expanded around a mean field approximation with essentially classical content. The modulus of the quantum overlap of mean field states naturally introduces a classical…
We prove the persistence of analyticity for classical solution of the Cauchy problem for quasilinear wave equations with analytic data. Our results show that the analyticity of solutions, stated by the Cauchy-Kowalewski and…
We develop a nonlinear theory for infrahyperfunctions (also referred to as quasianalytic (ultra)distributions by L. H\"{o}rmander). In the hyperfunction case our work can be summarized as follows. We construct a differential algebra that…
In this paper, we establish an analog of Wightman's reconstruction theorem for nonlocal quantum field theory with a fundamental length. In our setting, the Wightman generalized functions are defined on test functions analytic in a complex…
In arXiv:1303.3724, the authors provide an axiomatic way of constructing new polynomially bounded o-minimal structures. However, all of the structures satisfying these axioms must also have smooth cell-decomposition. In this paper, we…
We introduce an experimental test for ruling out classical explanations for the statistics obtained when measuring arbitrary observables at arbitrary times using individual detectors. This test requires some trust in the measurements,…
We generalize the Generic Model Theorem for equivariant presheaves of structures; extending the results of Macintyre and Caicedo. We also introduce a new class of generic cohomologies and show how, for some examples, they simplify to non…
The Feynman path integral representation of quantum theory is used in a non--parametric Bayesian approach to determine quantum potentials from measurements on a canonical ensemble. This representation allows to study explicitly the…
We revisit evaluation of logical formulas that allow both uninterpreted relations, constrained to be finite, as well as an interpreted vocabulary over an infinite domain. This formalism was denoted embedded finite model theory in the past.…
The mid-seventies' works on C*-algebras of Brown-Douglas-Fillmore and Elliott both contained uniqueness and existence results in a now standard sense. These papers served as keystones for two separate theories -- KK-theory and the…