English
Related papers

Related papers: Hensel minimality I

200 papers

In this paper we develop a general theory of metric Diophantine approximation for systems of linear forms. A new notion of `weak non-planarity' of manifolds and more generally measures on the space of $m\times n$ matrices over $\Bbb R$ is…

Number Theory · Mathematics 2013-10-21 Victor Beresnevich , Dmitry Kleinbock , Gregory Margulis

The first papers on o-minimal structures appeared in the mid 1980s, since then the subject has grown into a wide ranging generalisation of semialgebraic, subanalytic and subpfaffian geometry. In these notes we try to show that this is in…

Logic · Mathematics 2007-05-23 Mario J. Edmundo

We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…

Logic · Mathematics 2017-05-24 Sylvy Anscombe , Arno Fehm

One can see deep-learning models as compositions of functions within the so-called tame geometry. In this expository note, we give an overview of some topics at the interface of tame geometry (also known as o-minimality), optimization…

Optimization and Control · Mathematics 2025-09-23 Gilles Bareilles , Allen Gehret , Johannes Aspman , Jana Lepšová , Jakub Mareček

An ordered structure is called o-minimalistic if it has all the first-order features of an o-minimal structure. We propose a theory, DCTC (Definable Completeness/Type Completeness), that describes many properties of o-minimalistic…

Logic · Mathematics 2014-08-27 Hans Schoutens

This paper is devoted to the study of a problem of Cassels in multiplicative Diophantine approximation which involves minimising values of a product of affine linear forms computed at integral points. It was previously known that values of…

Number Theory · Mathematics 2016-01-15 Alexander Gorodnik , Pankaj Vishe

This work provides a characterization of the regularity of noncharacteristic intrinsic minimal graphs for a class of vector fields that includes non nilpotent Lie algebras as the one given by Euclidean motions of the plane. The main result…

Analysis of PDEs · Mathematics 2011-11-04 Davide Barbieri , Giovanna Citti

We develop geometry of algebraic subvarieties of $K^{n}$ over arbitrary Henselian valued fields $K$. This is a continuation of our previous article concerned with algebraic geometry over rank one valued fields. At the center of our approach…

Algebraic Geometry · Mathematics 2020-03-10 Krzysztof Jan Nowak

We consider locally o-minimal structures possessing tame topological properties shared by models of DCTC and uniformly locally o-minimal expansions of the second kind of densely linearly ordered abelian groups. We derive basic properties of…

Logic · Mathematics 2023-02-22 Masato Fujita

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Logic · Mathematics 2021-09-17 Pablo Andujar Guerrero , Margaret E. M. Thomas , Erik Walsberg

We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…

Logic · Mathematics 2015-07-15 Franziska Jahnke , Pierre Simon , Erik Walsberg

We study d-minimal expansions of ordered fields, and dense pairs thereof. We also consider other generalizations of o-minimality.

Logic · Mathematics 2021-07-12 Antongiulio Fornasiero

We overview some of the foundations of the so-called henselian rigid geometry, and show that henselian rigid geometry has many aspects, useful in applications, that one cannot expect in the usual rigid geometry. This is done by announcing a…

Algebraic Geometry · Mathematics 2017-02-03 Fumiharu Kato

Exploiting the special features of four-dimensional Riemannian geometry, we derive topological and rigidity results for hypersurfaces immersed in space forms of dimension 5. First, we provide a complete description of the Weyl tensor for…

Differential Geometry · Mathematics 2026-05-01 Davide Dameno , Aaron J. Tyrrell

In this note, we derive a uniqueness theorem for minimal graphs of general codimension under certain restrictions closed related to the convexity (not strict convexity) of the area functional with respect to singular values, improving the…

Differential Geometry · Mathematics 2023-11-21 Minghao Li , Ling Yang , Taiyang Zhu

Let $v$ be an odd real polynomial (i.e. a polynomial of the form $\sum_{j=1}^\ell a_jx^{2j-1}$). We utilize sets of iterated differences to establish new results about sets of the form $\mathcal…

Combinatorics · Mathematics 2024-01-09 Vitaly Bergelson , Rigoberto Zelada

This is a very brief report on recent developments on the Dirichlet problem for the minimal surface system and minimal cones in Euclidean spaces. We shall mainly focus on two directions: (1) Further systematic developments after…

Differential Geometry · Mathematics 2019-06-20 Yongsheng Zhang

We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…

Logic · Mathematics 2015-12-16 Sylvy Anscombe , Franziska Jahnke

We give an explicit algebraic characterisation of all definable henselian valuations on a dp-minimal real field. Additionally we characterise all dp-minimal real fields that admit a definable henselian valuation with real closed residue…

Logic · Mathematics 2024-10-15 Lothar Sebastian Krapp , Salma Kuhlmann , Lasse Vogel

Continuity of set-valued maps is hereby revisited: after recalling some basic concepts of variational analysis and a short description of the State-of-the-Art, we obtain as by-product two Sard type results concerning local minima of scalar…

Optimization and Control · Mathematics 2011-06-14 Aris Daniilidis , C. H. Jeffrey Pang