Related papers: On finite imaginaries
We study the algebraic implications of the non-independence property (NIP) and variants thereof (dp-minimality) on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a…
We consider existentially closed fields with several orderings, valuations, and $p$-valuations. We show that these structures are NTP$_2$ of finite burden, but usually have the independence property. Moreover, forking agrees with dividing,…
We prove a result on lower bounds in large dimensions.
In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the…
In this paper we present the following two results: we give an explicit description of the space of orderings of the field Q(x) as an inverse limit of finite spaces of orderings and we provide a new, simple proof of the fact that the class…
We consider the problem of bounding the number of exceptional projections (projections which are smaller than typical) of a subset of a vector space over a finite field onto subspaces. We establish bounds that depend on $L^p$ estimates for…
In 2007, Dmytrenko, Lazebnik and Williford posed two related conjectures about polynomials over finite fields. Conjecture~1 is a claim about the uniqueness of certain monomial graphs. Conjecture~2, which implies Conjecture~1, deals with…
Motivated by Lang-Vojta's conjectures on hyperbolic varieties, we prove a new version of the Shafarevich conjecture in which we establish the finiteness of pointed families of polarized varieties. We then give an arithmetic application to…
We give a definition of a class of Dedekind domains which includes the rings of integers of global fields and give a proof that all rings in this class have finite ideal class group. We also prove that this class coincides with the class of…
We consider discrete-time uncertain processes with finite state space and study the properties of game-theoretic upper expectations developed by Shafer and Vovk. We start by proving some basic properties, e.g. monotonicity, law of iterated…
The survey is devoted to the rationality question of finite linear groups. We concentrate on lower-dimensional cases, especially on the case of dimension four.
Discrete integrable equations over finite fields are investigated. The indeterminacy of the equation is resolved by treating it over a field of rational functions instead of the finite field itself. The main discussion concerns a…
Motivated by recent interests in predictive inference under distribution shift, we study the problem of approximating finite weighted exchangeable sequences by a mixture of finite sequences with independent terms. Various bounds are derived…
In this paper, we give a survey of the known results concerning the tensor rank of the multiplication in finite fields and we establish new asymptotical and not asymptotical upper bounds about it.
Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…
We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite…
We characterize countable dimensionality and strong countable dimensionality by means of an infinite game.
We discuss various computational issues around the problem of determining the character values of finite Chevalley groups, in the framework provided by Lusztig's theory of character sheaves. Some of the remaining open questions (concerning…
We review old and recent finite de Finetti theorems in total variation distance and in relative entropy, and we highlight their connections with bounds on the difference between sampling with and without replacement. We also establish two…
We describe a new source of counterexamples to the so-called integral Hodge and integral Tate conjectures. As in the other known counterexamples to the integral Tate conjecture over finite fields, ours are approximations of the classifying…