Related papers: Large subsets avoiding algebraic patterns
It is well known that axiom of choice implies the existence of non-measurable sets for Lebesgue's measure on R as well as the existence of "paradoxical" decompositions of the unit ball of R^3 (Banach-Tarski). This is generally interpreted…
We estimate the growth rate of the function which counts the number of torsion points of order at most $T$ on an algebraic subvariety of the algebraic torus $\mathbb G_m^n$ over some algebraically closed field. We prove a general upper…
Let $(a_n)_{n \geq 1}$ be a sequence of distinct positive integers. In a recent paper Rudnick established asymptotic upper bounds for the minimal gaps of $\{a_n \alpha \bmod 1, 1 \leq n \leq N\}$ as $N \to \infty$, valid for Lebesgue-almost…
In this paper we introduce and explore the notion of rigidity group, associated with a collection of finitely many sequences, and show that this concept has many, somewhat surprising characterizations of algebraic, spectral, and unitary…
Let $1 < p < \infty$, $p\neq 2$. We prove that if $d\geq d_p$ is sufficiently large, and $A\subs\R^d$ is a measurable set of positive upper density then there exists $\la_0=\la_0(A)$ such for all $\la\geq\la_0$ there are $x,y\in\R^d$ such…
The presence of large partial quotients can invalidate many classical limit theorems in the metric theory of continued fractions. A commonly employed strategy to overcome this problem is to discard the largest partial quotient when…
For each integer $n\ge 1$, denote by $T_{n}$ the map $x\mapsto nx\mod 1$ from the circle group $\mathbb{T} = \mathbb{R}/\mathbb{Z}$ into itself. Let $p,q\ge 2$ be two multiplicatively independent integers. Using Baire Category arguments, we…
Let $\alpha_1, \cdots, \alpha_d$ be real numbers, and let $S$ be the set of integers $s$ so that $||\alpha_i s||_{\mathbb{R}/\mathbb{Z}}>\delta$ for some $i$ and some fixed $\delta>0$. We prove $S$ is not \enquote{$2$-large}, i.e. there is…
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by…
We consider the problem of testing whether the points in a complex or real variety with non-zero coordinates form a multiplicative group or, more generally, a coset of a multiplicative group. For the coset case, we study the notion of…
We prove a variety of results concerning singular sets of reals. Our results concern: Kysiak and Laver-null sets, Kocinac and gamma-k-sets, Fleissner and square Q-sets, Alikhani-Koopaei and minimal Q-like-sets, Rubin and sigma-sets, and…
Let $X$ be a connected affine homogenous space of a linear algebraic group $G$ over $\C$. (1) If $X$ is different from a line or a torus we show that the space of all algebraic vector fields on $X$ coincides with the Lie algebra generated…
We enumerate permutations that avoid all but one of the $k$ patterns of length $k$ starting with a monotone increasing subsequence of length $k-1$. We compare the size of such permutation classes to the size of the class of permutations…
We prove the following result due to Hamidoune using an analytic approach. Suppose that A is a subset of a finite group G with |AA^{-1}| \leq (2-\varepsilon)|A|. Then there is a subgroup H of G and a set X of size O_\varepsilon(1) such that…
Applying E. Kowalski's recent generalization of the large sieve we prove that certain properties expected to be typical (irreducibility of the characteristic polynomial, absence of squares among the matrix coefficients...) are indeed…
We apply Kr\"{o}necker's approximation theorem to measure (in a topological sense) a set of constants which turn a vector field into a non-globally hypoelliptic operator. We present situations in which this set is a discrete enumerable…
We study the distribution of sequences of the form $(q_ny)_{n=1}^\infty$, where $(q_n)_{n=1}^\infty$ is some increasing sequence of integers. In particular, we study the Lebesgue measure and find bounds on the Hausdorff dimension of the set…
A linear order $L$ is strongly surjective if $L$ can be mapped onto any of its suborders in an order preserving way. We prove various results on the existence and non-existence of uncountable strongly surjective linear orders answering…
A \Def{composition} of a positive integer $n$ is a $k$-tuple $(\l_1, \l_2, \dots, \l_k) \in \Z_{> 0}^k$ such that $n = \l_1 + \l_2 + \dots + \l_k$. Our goal is to enumerate those compositions whose parts $\l_1, \l_2, \dots, \l_k$ avoid a…
We give examples of a linear combination of algebraic knots and their mirrors that are algebraically slice, but whose topological and smooth four-genus is two. Our examples generalize an example of non-slice algebraically slice linear…