English
Related papers

Related papers: Dp-finite fields IV: the rank 2 picture

200 papers

For any two complete discrete valued fields $K_1$ and $K_2$ of mixed characteristic with perfect residue fields, we show that if the $n$-th valued hyperfields of $K_1$ and $K_2$ are isomorphic over $p$ for each $n\ge1$, then $K_1$ and $K_2$…

Commutative Algebra · Mathematics 2018-09-10 Junguk Lee

This paper presents the first approach to visualize the importance of topological features that define classes of data. Topological features, with their ability to abstract the fundamental structure of complex data, are an integral…

Machine Learning · Computer Science 2023-09-26 Yu Qin , Brittany Terese Fasy , Carola Wenk , Brian Summa

We give a geometric description of the pair $(V,p)$, where $V$ is an affine algebraic variety over a non-trivially valued algebraically closed field $K$ with valuation ring $\mathcal{O}_K$ and $p$ is a Zariski dense generically stable type…

Logic · Mathematics 2021-09-22 Yatir Halevi

A mathematical concept is identified and analyzed that is implicit in the 2012 paper Turing Incomputable Computation, presented at the Alan Turing Centenary Conference (Turing-100, Manchester). The concept, called dynamic level sets, is…

Computational Complexity · Computer Science 2026-03-03 Michael Stephen Fiske

A Cantor minimal system is of finite topological rank if it has a Bratteli-Vershik representation whose number of vertices per level is uniformly bounded. We prove that if the topological rank of a minimal dynamical system on a Cantor set…

Dynamical Systems · Mathematics 2021-07-01 Nasser Golestani , Maryam Hosseini

We prove that a valued field of positive characteristic $p$ that has only finitely many distinct Artin-Schreier extensions (which is a property of infinite NTP$_2$ fields) is dense in its perfect hull. As a consequence, it is a deeply…

Commutative Algebra · Mathematics 2021-01-14 Franz-Viktor Kuhlmann

We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…

Logic · Mathematics 2023-05-29 Ya'acov Peterzil , Anand Pillay , Francoise Point

Two characteristic-dependent linear rank inequalities are given for eight variables. Specifically, the first inequality holds for all finite fields whose characteristic is not three and does not in general hold over characteristic three.…

Information Theory · Computer Science 2021-02-09 Randall Dougherty , Eric Freiling , Kenneth Zeger

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

Logic · Mathematics 2007-05-23 Wesley Calvert

We present a unifying theory of fields with certain classes of analytic functions, called fields with analytic structure. Both real closed fields and Henselian valued fields are considered. For real closed fields with analytic structure,…

Logic · Mathematics 2009-08-18 Raf Cluckers , Leonard Lipshitz

We calculate the number of the isomorphism class of the finite flat models over the ring of integers of an absolutely ramified $p$-adic field of constant group schemes of rank two over finite fields, by counting the rational points of a…

Number Theory · Mathematics 2020-11-24 Naoki Imai

Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for…

Logic · Mathematics 2024-07-17 Samaria Montenegro , Silvain Rideau-Kikuchi

We classify Artin-Schreier extensions of valued fields with non-trivial defect according to whether they are connected with purely inseparable extensions with non-trivial defect, or not. We use this classification to show that in positive…

Commutative Algebra · Mathematics 2013-04-02 Franz-Viktor Kuhlmann

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…

Logic · Mathematics 2015-10-27 Russell Miller , Bjorn Poonen , Hans Schoutens , Alexandra Shlapentokh

A criterion is given for a type in a finite rank stable theory to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for compact complex analytic spaces to be algebraic…

Logic · Mathematics 2007-05-29 Rahim Moosa , Anand PIllay

We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and $p$-adically closed valued fields. We give an effectiveness condition, related to Hensel's lemma, on a valued…

Logic · Mathematics 2017-09-29 Matthew Harrison-Trainor

Rational conformal field theories produce a tower of finite-dimensional representations of surface mapping class groups, acting on the conformal blocks of the theory. We review this formalism. We show that many recent mathematical…

Quantum Algebra · Mathematics 2007-10-09 T. Gannon

Let $p$ be a prime. For $p=2$, the fields of values of the complex irreducible characters of finite groups whose degrees are not divisible by $p$ have been classified; for odd primes $p$, a conjectural classification has been proposed. In…

Representation Theory · Mathematics 2026-01-26 Nguyen N. Hung , Gabriel Navarro , Pham Huu Tiep

We describe the classification of ranked definably quasi-Frobenius groups of odd type : dihedral configurations are isomorphic to PGL(2, K) for K an algebraically closed field of characteristic other than two; Frobenius groups are spilt and…

Group Theory · Mathematics 2025-06-19 Samuel Zamour

Hadwiger's Theorem states that Euclidean-invariant convex-continuous valuations of definable sets are linear combinations of intrinsic volumes. We lift this result from sets to data distributions over sets, specifically, to definable…

Differential Geometry · Mathematics 2013-07-02 Yuliy Baryshnikov , Robert Ghrist , Matthew Wright