Related papers: Quantifier elimination in quasianalytic structures…
Previous works by Gor\'e, Postniece and Tiu have provided sound and cut-free complete proof systems for modal logics extended with path axioms using the formalism of nested sequent. Our aim is to provide (i) a constructive cut-elimination…
In this paper we propose a new approach to the central limit theorem (CLT), based on functions of bounded F\'echet variation for the continuously differentiable linear statistics of random matrix ensembles which relies on: a weaker form of…
We extend Pisier's abstract version of Grothendieck's theorem to general non-locally convex quasi-Banach spaces. We also prove a related result on factoring operators through a Banach space and apply our results to the study of…
Let $\rho: G \to \operatorname{GL}(V)$ be a rational representation of a reductive linear algebraic group $G$ defined over $\mathbb C$ on a finite dimensional complex vector space $V$. We show that, for any generic smooth (resp. $C^M$)…
We explore the quantization of classical models with position-dependent mass (PDM) terms constrained to a bounded interval in the canonical position. This is achieved through the Weyl-Heisenberg covariant integral quantization by properly…
We provide a description of the class of n-ary operations on an arbitrary chain that are quasitrivial, symmetric, nondecreasing, and associative. We also prove that associativity can be replaced with bisymmetry in the definition of this…
We show that the dynamical Wigner functions for noninteracting fermions and bosons can have complex singularity structures with a number of new solutions accompanying the usual mass-shell dispersion relations. These new shell solutions are…
We construct and study the theory of relative quasimaps in genus zero, in the spirit of Gathmann. When $X$ is a smooth toric variety and $Y$ is a smooth very ample hypersurface in $X$, we produce a virtual class on the moduli space of…
For a completely Hausdorff quasi-topological group $G$, we construct a universal pro-$C^*$-algebra $C(E^+G)$ as the non-commutative geometer's analogue of the total space $EG$ of the classifying principal $G$-bundle $EG\to BG$. The…
The main results of this paper are a Cell Decomposition Theorem for Henselian valued fields with analytic structure in an analytic Denef-Pas language, and its application to analytic motivic integrals and analytic integrals over…
We propose an ansatz for the wave function of a non-interacting quantum particle in a deterministic quasicrystalline potential. It is applicable to both continuous and discrete models and includes Sutherland's hierarchical wave function as…
This memoir is devoted to the study of formal-analytic arithmetic surfaces. These are arithmetic counterparts, in the context of Arakelov geometry, of germs of smooth complex-analytic surfaces along a projective complex curve.…
Classical KAM theory guarantees the existence of a positive measure set of invariant tori for sufficiently smooth non-degenerate near-integrable systems. When seen as a function of the frequency this invariant collection of tori is called…
Unlike ferromagnetism, antiferromagnetism cannot readily be included in the quasiclassical Keldysh theory because of the rapid spatial variation in the directions of the magnetic moments. The quasiclassical framework is useful because it…
We show how the language of Krivine's classical realizability may be used to specify various forms of nondeterminism and relate them with properties of realizability models. More specifically, we introduce an abstract notion of…
The notion of an F-manifold algebra is the underlying algebraic structure of an $F$-manifold. We introduce the notion of pre-Lie formal deformations of commutative associative algebras and show that F-manifold algebras are the corresponding…
We define and study a generalization of the analytic Cauchy problem, that specializes to the Cauchy-Kowaleskaya-Kashiwara problem in the linear case. The main leitmotive of this text is to adapt Kashiwara's formulation of this problem both…
The aim of this paper is to highlight a hitherto unknown computational aspect of Nonstandard Analysis. Recently, a number of nonstandard versions of Goedel's system T have been introduced ([2,9,12]), and it was shown in [26] that the…
We study a new class of functions that arise naturally in quaternionic analysis, we call them "quasi regular functions". Like the well-known quaternionic regular functions, these functions provide representations of the quaternionic…
We study the Borel map, which maps infinitely differentiable functions on an interval to the jets of their Taylor coefficients at a given point in the interval. Our main results include a complete description of the image of the Borel map…