English
Related papers

Related papers: A counterexample concerning quantifier elimination…

200 papers

For quasianalytic Denjoy--Carleman differentiable function classes $C^Q$ where the weight sequence $Q=(Q_k)$ is log-convex, stable under derivations, of moderate growth and also an $\mathcal L$-intersection (see 1.6), we prove the…

Functional Analysis · Mathematics 2011-09-02 Andreas Kriegl , Peter W. Michor , Armin Rainer

We consider a strengthening of the usual quasiconvexity condition of Morrey in two dimensions, which allows us to prove lower semicontinuity for functionals which are unbounded as the determinant vanishes. This notion, that we call…

Analysis of PDEs · Mathematics 2025-09-16 Kari Astala , Daniel Faraco , André Guerra , Aleksis Koski , Jan Kristensen

We study boundary values of harmonic functions in spaces of quasianalytic functionals and spaces of ultradistributions of non-quasianalytic type. As an application, we provide a new approach to H\"ormander's support theorem for…

Functional Analysis · Mathematics 2023-12-15 Andreas Debrouwere , Jasson Vindas

There are many families of functions on partitions, such as the shifted symmetric functions, for which the corresponding q-brackets are quasimodular forms. We extend these families so that the corresponding q-brackets are quasimodular for a…

Number Theory · Mathematics 2022-12-16 Jan-Willem M. van Ittersum

We prove a Painlev\'e theorem for bounded quasiregular curves in Euclidean spaces extending removability results for quasiregular mappings due to Iwaniec and Martin. The theorem is proved by extending a fundamental inequality for volume…

Differential Geometry · Mathematics 2024-12-20 Toni Ikonen

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…

Logic · Mathematics 2011-09-20 Serge Randriambololona , Sergei Starchenko

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…

Algebraic Geometry · Mathematics 2021-06-01 Luca Battistella , Navid Nabijou

Given a noncommutative Hamiltonian space $A$, we prove that the conjecture ``{\it quantization commutes with reduction}'' holds for $A$. We further construct a semidirect product algebra $A \rtimes \mG^A$, and establish a correspondence…

Quantum Algebra · Mathematics 2025-05-26 Hu Zhao

We study the Riemannian quantiative isoperimetric inequality. We show that direct analogue of the Euclidean quantitative isoperimetric inequality is--in general--false on a closed Riemannian manifold. In spite of this, we show that the…

Differential Geometry · Mathematics 2019-08-05 Otis Chodosh , Max Engelstein , Luca Spolaor

A remarkable theorem of Joris states that a function $f$ is $C^\infty$ if two relatively prime powers of $f$ are $C^\infty$. Recently, Thilliez showed that an analogous theorem holds in Denjoy--Carleman classes of Roumieu type. We prove…

Classical Analysis and ODEs · Mathematics 2022-12-29 David Nicolas Nenning , Armin Rainer , Gerhard Schindl

Based on recent developments in the theory of fractional Sobolev spaces, an interesting new class of nonlocal variational problems has emerged in the literature. These problems, which are the focus of this work, involve integral functionals…

Analysis of PDEs · Mathematics 2021-04-13 Carolin Kreisbeck , Hidde Schönberger

We characterize the elements of generalized Gelfand Shilov spaces in terms of the coefficients of their Fourier-Hermite expansion. The technique we use can be applied both in quasianalytic and nonquasianalytic case. The characterizations…

Quantum Physics · Physics 2007-06-18 Z. Lozanov--Crvenkovic , D. Perisic

We study the relationship between the enumerative geometry of rational curves in local geometries and various versions of maximal contact logarithmic curve counts. Our approach is via quasimap theory, and we show versions of the…

Algebraic Geometry · Mathematics 2026-01-14 Alberto Cobos Rabano , Cristina Manolache , Qaasim Shafi

We provide an axiomatic approach to the theory of local tangent cones of regular sub-Riemannian manifolds and the differentiability of mappings between such spaces. This axiomatic approach relies on a notion of a dilation structure which is…

Metric Geometry · Mathematics 2010-09-09 Svetlana Selivanova , Sergey Vodopyanov

This paper is devoted to proving the general {\L}ojasiewicz inequality, in both the definable and subanalytic cases, under the most relaxed assumptions. It means that we drop the usual continuity and compactness assumptions. In the second…

Algebraic Geometry · Mathematics 2023-03-13 Michał Kosiba

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…

Mathematical Physics · Physics 2020-03-23 Grzegorz Pastuszak , Adam Skowyrski , Andrzej Jamiołkowski

We study the structure of families of well approximable elements of tensor products of Banach spaces including analogs of the classical quasianalytic classes in the sense of Bernstein and Beurling. As in the case of quasianalytic functions,…

Classical Analysis and ODEs · Mathematics 2015-05-14 Alexander Brudnyi

Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak…

Combinatorics · Mathematics 2017-10-10 Yunnan Li

We study the Weierstrass division theorem for function germs in strongly non-quasianalytic Denjoy-Carleman classes $\mathcal{C}_M$. For suitable divisors $P(x,t)=x^d+a_1(t)x^{d-1}+\cdots+a_d(t)$ with real-analytic coefficients $a_j$, we…

Complex Variables · Mathematics 2016-03-24 Vincent Thilliez

This article analyzes sublinearly quasisymmetric homeo-morphisms (generalized quasisymmetric mappings), and draws applications to the sublinear large-scale geometry of negatively curved groups and spaces. It is proven that those…

Metric Geometry · Mathematics 2020-03-02 Gabriel Pallier