Related papers: Large subsets avoiding algebraic patterns

We adapt the construction of subsets of {1, 2, ..., N} that contain no k-term arithmetic progressions to give a relatively thick subset of an arbitrary set of N integers. Particular examples include a thick subset of {1, 4, 9, ..., N^2}…

We construct large subsets of the first $N$ positive integers which avoid certain arithmetic configurations. In particular, we construct a set of order $N^{0.7685}$ lacking the configuration $\{x,x+y,x+y^2\},$ surpassing the $N^{3/4}$ limit…

Let $2^{[n]}$ denote the power set of $[n]:=\{1,2,..., n\}$. A collection $\B\subset 2^{[n]}$ forms a $d$-dimensional {\em Boolean algebra} if there exist pairwise disjoint sets $X_0, X_1,..., X_d \subseteq [n]$, all non-empty with perhaps…

A symmetric subset of the reals is one that remains invariant under some reflection x --> c-x. Given 0 < x < 1, there exists a real number D(x) with the following property: if 0 < d < D(x), then every subset of [0,1] with measure x contains…

We use weighted polynomial approximation to prove the existence of a compact set K with non-empty interior and a function f is dense in the space A(K) of all continuous functions on K that are holomorphic in the interior of K, endowed with…

We show the existence of large $\mathcal C^1$ open sets of area preserving endomorphisms of the two-torus which have no dominated splitting and are non-uniformly hyperbolic, meaning that Lebesgue almost every point has a positive and a…

We use $K$-theory to prove an isomorphism theorem for a large class of generalised Bunce-Deddens algebras constructed by Kribs and Solel from a directed graph $E$ and a sequence $\omega$ of positive integers. In particular, we compute the…

We prove limit theorems for row sums of a rowwise independent infinitesimal array of random variables with values in a locally compact Abelian group. First we give a proof of Gaiser's theorem, since it does not have an easy access and it is…

Quantum cat maps are toy models in quantum chaos associated to hyperbolic symplectic matrices $A\in \operatorname{Sp}(2n,\mathbb{Z})$. The macroscopic limits of sequences of eigenfunctions of a quantum cat map are characterized by…

The theory of uniform approximation of real numbers motivates the study of products of consecutive partial quotients in regular continued fractions. For any non-decreasing positive function $\varphi:\mathbb{N}\to [2,\infty)$, we determine…

Talagrand conjectured that if a family of sets $\mathcal{F}$ over $X = \{ 1,2,\cdots, N \}$ is of large measure, then constant times of unions of sets in $\mathcal{F}$ will cover a large portion of the power set of $X$. This conjecture is a…

We investigate subsets with small sumset in arbitrary abelian groups. For an abelian group $G$ and an $n$-element subset $Y \subseteq G$ we show that if $m \ll s^2/(\log n)^2$, then the number of subsets $A \subseteq Y$ with $|A| = s$ and…

A subset $A$ of $[n] = \{1, \dots, n\}$ is $k$-separated if, when the elements of $[n]$ are considered on a circle, between any two elements of $A$ there are at least $k$ elements of $[n]$ that are not in $A$. A family $\mathcal{A}$ of sets…

We show that for any set $A\subseteq [0,1]^n$ with $\text{Vol}(A)\ge 1/2$ there exists a line $\ell $ such that the one-dimensional Lebesgue measure of $\ell \cap A$ is at least $\Omega ( n^{1/4} )$. The exponent $1/4$ is tight. More…

In this paper, we give rates of convergence in the strong invariance principle for non-adapted sequences satisfying projective criteria. The results apply to the iterates of ergodic automorphisms T of the d-dimensional torus, even in the…

If a compact set K \subset R^2 contains a positive-dimensional family of line-segments in positively many directions, then K has positive measure.

A theorem of Sierpi\'nski says that every infinite set Q of reals contains an infinite number of disjoint subsets whose outer Lebesgue measure is the same as that of Q. He also has a similar theorem involving the Baire property. We give a…

Let $a_{i1}x_1+\cdots+a_{ik}x_k=0$, $i\in[m]$ be a balanced homogeneous system of linear equations with coefficients $a_{ij}$ from a finite field $\mathbb{F}_q$. We say that a solution $x=(x_1,\ldots, x_k)$ with $x_1,\ldots, x_k\in…

Lifting theorems form an important collection of tools in showing that Galois representations are associated to automorphic forms. (Key examples in dimension n>2 are the lifting theorems of Clozel, Harris and Taylor and of Geraghty.) All…

Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A…