Related papers: A note on the Hasse norm principle
The Suslin hypothesis states that there are no nonseparable complete dense linear orderings without endpoints which have the countable chain condition. $\mathsf{ZF + AD^+ + V = L(\mathscr{P}(\mathbb{R}))}$ proves the Suslin hypothesis. In…
It is proved that any continuous function f on the unit circle such that the sequence e^{in f}, n=1,2,... has small Wiener norm \| e^{in f} \|_A = o (\frac{\log^{1/22} |n|}{(\log \log |n|)^{3/11}}), is linear. Moreover, we get lower bounds…
In a recent work, N. Hindman, D. Strauss and L. Zamboni have shown that the Hales-Jewett theorem can be combined with a sufficiently well behaved homomorphisms. In this paper we will show that those combined extensions can be made if we…
Let $f$ be a holomorphic, or even meromorphic, function on the unit disc. Plessner's theorem then says that, for almost every boundary point $\zeta $, either (i) $f$ has a finite nontangential limit at $\zeta $, or (ii) the image $f(S)$ of…
We develop a version of Freiman's theorem for a class of non-abelian groups, which includes finite nilpotent, supersolvable and solvable A-groups. To do this we have to replace the small doubling hypothesis with a stronger relative…
$A$ be an abelian variety over a number field $K$ of dimension $r$, $a_1, \dots, a_g \in A(K)$ and $F/K$ a finite Galois extension. We consider the density of primes $\frak p$ of $K$ such that the quotient $\bar{A}(k({\frak p}))/\langle…
We prove that the law of the minimum $m:=\min_{t\in[0,1]} \xi(t)$ of the solution $\xi$ to a one-dimensional ODE with good nonlinearity has continuous density with respect to the Lebesgue measure. As a byproduct of the procedure, we show…
A set is nontypical in the Russell sense, if it belongs to a countable ordinal definable set. The class HNT of all hereditarily nontypical sets satisfies all axioms of ZF and the double inclusion HOD $\subseteq$ HNT $\subseteq$ V holds.…
We show that small normal subsets $A$ of finite simple groups expand very rapidly -- namely, $|A^2| \ge |A|^{2-\epsilon}$, where $\epsilon >0$ is arbitrarily small.
We show that if $A$ is a finite $K$-approximate subgroup of an $s$-step nilpotent group then there is a finite normal subgroup $H\subset A^{K^{O_s(1)}}$ modulo which $A^{O_s(\log^{O_s(1)}K)}$ contains a nilprogression of rank at most…
We describe how previously known methods for determining the number of decimation classes of density $\delta$ binary vectors can be extended to nonnegative integer vectors, where the vectors are indexed by a finite abelian group $G$ of size…
We show that every isoperimetric set in R^N with density is bounded if the density is continuous and bounded by above and below. This improves the previously known boundedness results, which basically needed a Lipschitz assumption; on the…
We show that for an irreducible cubic $f\in\mathbb Z[x]$ and a full norm form $\mathbf N(x_1,\ldots,x_k)$ for a number field $K/\mathbb Q$ satisfying certain hypotheses the variety $f(t)=\mathbf N(x_1,\ldots,x_k)\ne 0$ satisfies the Hasse…
We give a purely combinatorial proof of the density Hales--Jewett Theorem that is modeled after Polymath's proof but is significantly simpler. In particular, we avoid the use of the equal-slices measure and work exclusively with the uniform…
The law of large numbers for the empirical density for the pairs of uniformly distributed integers with a given greatest common divisor is a classic result in number theory. In this paper, we study the large deviations of the empirical…
Let $C$ be a smooth projective curve defined over the finite field $\mathbb{F}_q$ ($q$ is odd) and let $K=\mathbb{F}_q(C)$ be its function field. Removing one closed point $C^\text{af} = C-\{\infty\}$ results in an integral domain…
We show that a domain is an extension domain for a Haj\l asz-Besov or for a Haj\l asz-Triebel-Lizorkin space if and only if it satisfies a measure density condition. We use a modification of the Whitney extension where integral averages are…
From the generalized Riemann hypothesis for motivic L-functions, we derive an effective version of the Sato-Tate conjecture for an abelian variety A defined over a number field k with connected Sato-Tate group. By effective we mean that we…
We prove the following theorem: For a partially ordered set Q such that every countable subset has a strict upper bound, there is a forcing notion satisfying ccc such that, in the forcing model, there is a basis of the meager ideal of the…
Chebotarev's density theorem asserts that the prime ideals are equidistributed among the conjugacy classes of the Galois group of any normal extension of number fields. An effective version of this theorem was first established by Lagarias…