Related papers: Quantifier elimination in quasianalytic structures…
We show that the first order structure whose underlying universe is $\mathbb C$ and whose basic relations are all algebraic subset of $\mathbb C^2$ does not have quantifier elimination. Since an algebraic subset of $\mathbb C ^2$ needs…
A quasislit is the image of a vertical line segment [0, iy], y > 0, under a quasiconformal homeomorphism of the upper half-plane fixing infinity. Quasislits correspond precisely to curves generated by the Loewner equation with a driving…
Almost two decades ago, Wattenberg published a paper with the title 'Nonstandard Analysis and Constructivism?' in which he speculates on a possible connection between Nonstandard Analysis and constructive mathematics. We study Wattenberg's…
We give an algorithm determining whether a hermiticity-preserving superoperator is positive. In our approach we apply techniques of quantifier elimination theory for real numbers. Furthermore, we argue that quantifier elimination theory…
We present a constructive framework for deriving noncommutative (NC) integrable equations directly from quasi-determinant solutions. Building upon the quasi-Wronskian structure, we extend the classical direct method to the NC setting, where…
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
Similar to linear spaces, many examples of quasilinear spaces have a notion of multiplication of the elements. To characterising these examples, in the present paper we generalize the notion of quasilinear spaces and introduce…
The Borel map $j^{\infty}$ takes germs at 0 of smooth functions to the sequence of iterated partial derivatives at 0. It is well known that the restriction of $j^{\infty}$ to the germs of quasianalytic ultradifferentiable classes which are…
This paper contains three results about generating functions for Lie-theoretic integration of Poisson brackets and their relation to quantization. In the first, we show how to construct a generating function associated to the germ of any…
In this paper we introduce a new homology theory devoted to the study of families such as semi-algebraic or subanalytic families and in general to any family definable in an o-minimal structure (such as Denjoy-Carleman definable or $ln-exp$…
Let $K$ be a complete non-Archimedean field $K$ with separated power series, treated in the analytic Denef--Pas language. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$, whereby…
The main result of this paper is that determinantal point processes on the real line corresponding to projection operators with integrable kernels are quasi-invariant, in the continuous case, under the group of diffeomorphisms with compact…
This paper is aimed to show the essential role played by the theory of quasi-analytic functions in the study of the determinacy of the moment problem on finite and infinite-dimensional spaces. In particular, the quasi-analytic criterion of…
We provide the first systematic technique for deriving witnesses of contextuality in prepare-transform-measure scenarios. More specifically, we show how linear quantifier elimination can be used to compute a polytope of correlations…
We establish a Lefschetz hyperplane theorem for the Berkovich analytifications of Jacobians of curves over an algebraically closed non-Archimedean field. Let $J$ be the Jacobian of a curve $X$, and let $W_d \subset J$ be the locus of…
A recent development of the studies on classical and quasi-classical properties of supersymmetric quantum mechanics in Witten's version is reviewed. First, classical mechanics of a supersymmetric system is considered. Solutions of the…
A quantization over a manifold can be seen as a way to construct a differential operator with prescribed principal symbol. The quantization map is moreover required to be a linear bijection. It is known that there is in general no natural…
We study energy functionals associated with quasi-linear Schr\"odinger operators on infinite graphs, and develop characterisations of (sub-)criticality via Green's functions, harmonic functions of minimal growth and capacities. We proof a…
Let $\mathcal C^M$ denote a Denjoy-Carleman class of $\mathcal C^\infty$ functions (for a given logarithmically-convex sequence $M = (M_n)$). We construct: (1) a function in $\mathcal C^M((-1,1))$ which is nowhere in any smaller class; (2)…
{}From Feynman's path integral, we derive quasi-classical quantization rules in supersymmetric quantum mechanics (SUSY-QM). First, we derive a SUSY counterpart of Gutzwiller's formula, from which we obtain the quantization rule of Comtet,…