Existential rank and essential dimension of diophantine sets

Nicolas Daans,Philip Dittmann,Arno Fehm

2024-12-02

Abstract:We study the minimal number of existential quantifiers needed to define a diophantine set over a field and relate this number to the essential dimension of the functor of points associated to such a definition.

Number Theory,Logic

What problem does this paper attempt to address?

Existential definability and diophantine stability

Barry Mazur,Karl Rubin,Alexandra Shlapentokh

DOI: https://doi.org/10.1016/j.jnt.2023.04.011

IF: 0.679

2024-01-01

Journal of Number Theory

Abstract:Let K be a number field, let L be an algebraic (possibly infinite degree) extension of K, and let O K ⊂ O L be their rings of integers. Suppose A is an abelian variety defined over K such that A ( K ) is infinite and A ( L ) / A ( K ) is a torsion group. If at least one of the following conditions is satisfied: 1. L is a number field, 2. L is totally real, 3. L is a quadratic extension of a totally real field, then O K has a diophantine definition over O L .

mathematics
Quasifinite fields of prescribed characteristic and Diophantine dimension

Ivan D. Chipchakov,Boyan Paunov

2023-10-10

Abstract:Let $\mathbb{P}$ be the set of prime numbers, $\overline {\mathbb{P}}$ the union $\mathbb{P} \cup \{0\}$, and for any field $E$, let char$(E)$ be its characteristic, ddim$(E)$ the Diophantine dimension of $E$, $\mathcal{G}_{E}$ the absolute Galois group of $E$, and cd$(\mathcal{G}_{E})$ the Galois cohomological dimension $\mathcal{G}_{E}$. The research presented in this paper is motivated by the open problem of whether cd$(\mathcal{G}_{E}) \le {\rm ddim}(E)$. It proves the existence of quasifinite fields $\Phi _{q}\colon q \in \mathbb{P}$, with ddim$(\Phi _{q})$ infinity and char$(\Phi _{q}) = q$, for each $q$. It shows that for any integer $m > 0$ and $q \in \overline {\mathbb{P}}$, there is a quasifinite field $\Phi _{m,q}$ such that char$(\Phi _{m,q}) = q$ and ddim$(\Phi _{m,q}) = m$. This is used for proving that for any $q \in \overline {\mathbb{P}}$ and each pair $k$, $\ell \in (\mathbb{N} \cup \{0, \infty \})$ satisfying $k \le \ell $, there exists a field $E _{k, \ell ; q}$ with char$(E _{k, \ell ; q}) = q$, ddim$(E _{k, \ell ; q}) = \ell $ and cd$(\mathcal{G}_{E_{k, \ell ; q}}) = k$. Finally, we show that the field $E _{k, \ell ; q}$ can be chosen to be perfect unless $k = 0 \neq \ell $.

Number Theory,Rings and Algebras
A Valuation Theoretic Approach to Essential Dimension

Aurel Meyer

DOI: https://doi.org/10.48550/arXiv.1202.5363

2012-02-24

Abstract:In this essay we explore the notion of essential dimension using the theory of valuations of fields. Given a field extension K/k and a valuation on K that is trivial on k, we prove that the rank of the valuation cannot exceed the transcendence degree trdeg K. We use this inequality to prove lower bounds on the essential dimension in some interesting situations. We study orbits of a torus action and find a formula for the essential dimension of the functor of these orbits.

Algebraic Geometry
First-order definability of Darmon points in number fields

Juan Pablo De Rasis,Hunter Handley

2024-10-04

Abstract:For a given number field $K$, we give a $\forall\exists\forall$-first order description of affine Darmon points over $\mathbb{P}^1_K$, and show that this can be improved to a $\forall\exists$-definition in a remarkable particular case. Darmon points, which are a geometric generalization of perfect powers, constitute a non-linear set-theoretical filtration between $K$ and its ring of $S$-integers, the latter of which can be defined with universal formulas, as has been progressively proven by Koenigsmann, Park, and Eisenträger & Morrison. We also show that our formulas are uniform with respect to all possible $S$, with a parameter-free uniformity, and we compute the number of quantifiers and a bound for the degree of the defining polynomial.

Number Theory
Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

Nicolas Daans

DOI: https://doi.org/10.1112/jlms.12864

2024-02-01

Abstract:We show that for a global field $K$, every ring of $S$-integers has a universal first-order definition in $K$ with $10$ quantifiers. We also give a proof that every finite intersection of valuation rings of $K$ has an existential first-order definition in $K$ with $3$ quantifiers.

Number Theory
On Quantifiers for Quantitative Reasoning

Matteo Capucci

2024-07-03

Abstract:We explore a kind of first-order predicate logic with intended semantics in the reals. Compared to other approaches in the literature, we work predominantly in the multiplicative reals $[0,\infty]$, showing they support three generations of connectives, that we call non-linear, linear additive, and linear multiplicative. Means and harmonic means emerge as natural candidates for bounded existential and universal quantifiers, and in fact we see they behave as expected in relation to the other logical connectives. We explain this fact through the well-known fact that min/max and arithmetic mean/harmonic mean sit at opposite ends of a spectrum, that of p-means. We give syntax and semantics for this quantitative predicate logic, and as example applications, we show how softmax is the quantitative semantics of argmax, and Rényi entropy/Hill numbers are additive/multiplicative semantics of the same formula. Indeed, the additive reals also fit into the story by exploiting the Napierian duality $-\log \dashv 1/\exp$, which highlights a formal distinction between 'additive' and 'multiplicative' quantities. Finally, we describe two attempts at a categorical semantics via enriched hyperdoctrines. We discuss why hyperdoctrines are in fact probably inadequate for this kind of logic.

Logic,Logic in Computer Science
Uniform existential definitions of valuations in function fields in one variable

Karim Johannes Becher,Nicolas Daans,Philip Dittmann

2023-11-10

Abstract:We study function fields of curves over a base field $K$ which is either a global field or a large field having a separable field extension of degree divisible by $4$. We show that, for any such function field, Hilbert's 10th Problem has a negative answer, the valuation rings containing $K$ are uniformly existentially definable, and finitely generated integrally closed $K$-subalgebras are definable by a universal-existential formula. In order to obtain these results, we develop further the usage of local-global principles for quadratic forms in function fields to definability of certain subrings. We include a first systematic presentation of this general method, without restriction on the characteristic.

Number Theory
Dimension in team semantics

Lauri Hella,Kerkko Luosto,Jouko Väänänen

2023-04-07

Abstract:We introduce three measures of complexity for families of sets. Each of the three measures, that we call dimensions, is defined in terms of the minimal number of convex subfamilies that are needed for covering the given family: for upper dimension, the subfamilies are required to contain a unique maximal set, for dual upper dimension a unique minimal set, and for cylindrical dimension both a unique maximal and a unique minimal set. In addition to considering dimensions of particular families of sets we study the behaviour of dimensions under operators that map families of sets to new families of sets. We identify natural sufficient criteria for such operators to preserve the growth class of the dimensions. We apply the theory of our dimensions for proving new hierarchy results for logics with team semantics. First, we show that the standard logical operators preserve the growth classes of the families arising from the semantics of formulas in such logics. Second, we show that the upper dimension of k+1-ary dependence, inclusion, independence, anonymity, and exclusion atoms is in a strictly higher growth class than that of any k-ary atoms, whence the k+1-ary atoms are not definable in terms of any atoms of smaller arity.

Logic
Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers

Bo Tan,Qing-Long Zhou

2024-09-05

Abstract:Let $E\subset [0,1]$ be a set that supports a probability measure $\mu$ with the property that $|\widehat{\mu}(t)|\ll (\log |t|)^{-A}$ for some constant $A>2.$ Let $\mathcal{A}=(q_n)_{n\in \N}$ be a positive, real-valued, lacunary sequence. We present a quantitative inhomogeneous Khintchine-type theorem in which the points of interest are restricted to $E$ and the denominators of the shifted fractions are restricted to $\mathcal{A}.$ Our result improves and extends a previous result in this direction obtained by Pollington-Velani-Zafeiropoulos-Zorin (2022). We also show that the Dirichlet non-improvable set VS well-approximable set is of positive Fourier dimension.

Number Theory
Universally defining Z in Q with 10 quantifiers

Nicolas Daans

DOI: https://doi.org/10.1112/jlms.12864

2024-02-02

Journal of the London Mathematical Society

Abstract:Abstract We show that for a global field , every ring of ‐integers has a universal first‐order definition in with 10 quantifiers. We also give a proof that every finite intersection of valuation rings of has an existential first‐order definition in with 3 quantifiers.

mathematics
Universal-existential theories of fields

Sylvy Anscombe,Arno Fehm

2024-06-18

Abstract:We study various universal-existential fragments of first-order theories of fields, in particular of function fields and of equicharacteristic henselian valued fields. For example we discuss to what extent the theory of a field k determines the universal-existential theories of the rational function field over k and of the field of Laurent series over k, and we find various many-one reductions between such fragments.

Logic
A variational principle in the parametric geometry of numbers

Tushar Das,Lior Fishman,David Simmons,Mariusz Urbański

DOI: https://doi.org/10.1016/j.aim.2023.109435

2023-11-12

Abstract:We extend the parametric geometry of numbers (initiated by Schmidt and Summerer, and deepened by Roy) to Diophantine approximation for systems of $m$ linear forms in $n$ variables, and establish a new connection to the metric theory via a variational principle that computes fractal dimensions of a variety of sets of number-theoretic interest. The proof relies on two novel ingredients: a variant of Schmidt's game capable of computing the Hausdorff and packing dimensions of any set, and the notion of templates, which generalize Roy's rigid systems. In particular, we compute the Hausdorff and packing dimensions of the set of singular systems of linear forms and show they are equal, resolving a conjecture of Kadyrov, Kleinbock, Lindenstrauss and Margulis, as well as a question of Bugeaud, Cheung and Chevallier. As a corollary of Dani's correspondence principle, the divergent trajectories of a one-parameter diagonal action on the space of unimodular lattices with exactly two Lyapunov exponents with opposite signs has equal Hausdorff and packing dimensions. Other applications include quantitative strengthenings of theorems due to Cheung and Moshchevitin, which originally resolved conjectures due to Starkov and Schmidt respectively; as well as dimension formulas with respect to the uniform exponent of irrationality for simultaneous and dual approximation in two dimensions, completing partial results due to Baker, Bugeaud, Cheung, Chevallier, Dodson, Laurent and Rynne.

Number Theory,Dynamical Systems
Mixed quantifier prefixes over Diophantine equations with integer variables

Zhi-Wei Sun

2024-06-13

Abstract:In this paper we first review the history of Hilbert's Tenth Problem, and then study mixed quantifier prefixes over Diophantine equations with integer variables. For example, we prove that $\forall^2\exists^4$ over $\mathbb Z$ is undecidable, that is, there is no algorithm to determine for any $P(x_1,\ldots,x_6)\in\mathbb Z[x_1,\ldots,x_6]$ whether $$\forall x_1\forall x_2\exists x_3\exists x_4\exists x_5\exists x_6(P(x_1,\ldots,x_6)=0),$$ where $x_1,\ldots,x_6$ are integer variables. We also have some similar undecidable results with universal quantifies bounded, for example, $\exists^2\forall^2\exists^2$ over $\mathbb Z$ with $\forall$ bounded is undecidable. We conjecture that $\forall^2\exists^2$ over $\mathbb Z$ is undecidable.

Number Theory,Logic
On the Strength of Uniqueness Quantification in Primitive Positive Formulas

Victor Lagerkvist,Gustav Nordh

DOI: https://doi.org/10.48550/arXiv.1906.07031

2019-06-17

Abstract:Uniqueness quantification ($\exists !$) is a quantifier in first-order logic where one requires that exactly one element exists satisfying a given property. In this paper we investigate the strength of uniqueness quantification when it is used in place of existential quantification in conjunctive formulas over a given set of relations $\Gamma$, so-called primitive positive definitions (pp-definitions). We fully classify the Boolean sets of relations where uniqueness quantification has the same strength as existential quantification in pp-definitions and give several results valid for arbitrary finite domains. We also consider applications of $\exists !$-quantified pp-definitions in computer science, which can be used to study the computational complexity of problems where the number of solutions is important. Using our classification we give a new and simplified proof of the trichotomy theorem for the unique satisfiability problem, and prove a general result for the unique constraint satisfaction problem.

Computational Complexity,Logic
Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields

Siu Hang Man

DOI: https://doi.org/10.1016/j.aim.2024.109694

2024-05-07

Abstract:We establish an upper bound on the number of real multiquadratic fields that admit a universal quadratic lattice of a given rank, or contain a given amount of indecomposable elements modulo totally positive units, obtaining density zero statements. We also study the structure of indecomposable elements in real biquadratic fields, and compute a system of indecomposable elements modulo totally positive units for some families of real biquadratic fields.

Number Theory
A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Kirsten Eisentraeger,Russell Miller,Caleb Springer,Linda Westrick

2023-10-27

Abstract:For any subset $Z \subseteq \mathbb{Q}$, consider the set $S_Z$ of subfields $L\subseteq \overline{\mathbb{Q}}$ which contain a co-infinite subset $C \subseteq L$ that is universally definable in $L$ such that $C \cap \mathbb{Q}=Z$. Placing a natural topology on the set $\text{Sub}(\overline{\mathbb{Q}})$ of subfields of $\overline{\mathbb{Q}}$, we show that if $Z$ is not thin in $\mathbb{Q}$, then $S_Z$ is meager in $\text{Sub}(\overline{\mathbb{Q}})$. Here, thin and meager both mean "small", in terms of arithmetic geometry and topology, respectively. For example, this implies that only a meager set of fields $L$ have the property that the ring of algebraic integers $\mathcal{O}_L$ is universally definable in $L$. The main tools are Hilbert's Irreducibility Theorem and a new normal form theorem for existential definitions. The normal form theorem, which may be of independent interest, says roughly that every $\exists$-definable subset of an algebraic extension of $\mathbb Q$ is a finite union of single points and projections of hypersurfaces defined by absolutely irreducible polynomials.

Number Theory,Logic
Beyond the Existential Theory of the Reals

Marcus Schaefer,Daniel Stefankovic

2024-02-18

Abstract:We show that completeness at higher levels of the theory of the reals is a robust notion (under changing the signature and bounding the domain of the quantifiers). This mends recognized gaps in the hierarchy, and leads to stronger completeness results for various computational problems. We exhibit several families of complete problems which can be used for future completeness results in the real hierarchy. As an application we sharpen some results by Bürgisser and Cucker on the complexity of properties of semialgebraic sets, including the Hausdorff distance problem also studied by Jungeblut, Kleist, and Miltzow.

Computational Complexity
Independence of the Diophantine exponents associated with linear subspaces

Gaétan Guillot

2024-06-11

Abstract:We elaborate on a problem raised by Schmidt in 1967 which generalizes the theory of classical Diophantine approximation to subspaces of $\R^n$. We consider Diophantine exponents for linear subspaces of $\R^n$ which generalize the irrationality measure for real numbers. We prove here that we have no smooth relations among some functions associated to these exponents. To establish this result, we construct subspaces for which we are able to compute the exponents.

Number Theory

Existential rank and essential dimension of diophantine sets

Existential definability and diophantine stability

Quasifinite fields of prescribed characteristic and Diophantine dimension

A Valuation Theoretic Approach to Essential Dimension

First-order definability of Darmon points in number fields

Universally defining $\mathbb{Z}$ in $\mathbb{Q}$ with $10$ quantifiers

On Quantifiers for Quantitative Reasoning

Uniform existential definitions of valuations in function fields in one variable

Dimension in team semantics

Quantitative Diophantine approximation and Fourier dimension of sets: Dirichlet non-improvable numbers versus well-approximable numbers

Universally defining Z in Q with 10 quantifiers

Universal-existential theories of fields

A variational principle in the parametric geometry of numbers

Mixed quantifier prefixes over Diophantine equations with integer variables

On the Strength of Uniqueness Quantification in Primitive Positive Formulas

Minimal rank of universal lattices and number of indecomposable elements in real multiquadratic fields

A topological approach to undefinability in algebraic extensions of $\mathbb{Q}$

Beyond the Existential Theory of the Reals

Independence of the Diophantine exponents associated with linear subspaces