Related papers: Large subsets avoiding algebraic patterns

Let $X \subset \mathbb{R}^N$ be a Borel set, $\mu$ a Borel probability measure on $X$ and $T:X \to X$ a Lipschitz and injective map. Fix $k \in \mathbb{N}$ greater than the (Hausdorff) dimension of $X$ and assume that the set of…

We study relations between subsets of integers that are large, where large can be interpreted in terms of size (such as a set of positive upper density or a set with bounded gaps) or in terms of additive structure (such as a Bohr set). Bohr…

Let $p/q$ ($p, q \in \mathbb{N}^*$) be a positive rational number such that $p > q^2$. We show that for any $\epsilon > 0$, there exists a set $A(\epsilon) \subset [0, 1[$, with finite border and with Lebesgue measure $< \epsilon$, for…

This paper introduces a new family of models of intensional Martin-L\"of type theory. We use constructive ordered algebra in toposes. Identity types in the models are given by a notion of Moore path. By considering a particular gros topos,…

It is well known that a classical Fubini theorem for Hausdorff dimension cannot hold; that is, the dimension of the intersections of a fixed set with a parallel family of planes do not determine the dimension of the set. Here we prove that…

For $\lambda\in(0,1/2]$ let $K_\lambda \subset\mathbb{R}$ be a self-similar set generated by the iterated function system $\{\lambda x, \lambda x+1-\lambda\}$. Given $x\in(0,1/2)$, let $\Lambda(x)$ be the set of $\lambda\in(0,1/2]$ such…

We classify the measures on SL (k,R)/SL (k,Z) which are invariant and ergodic under the action of the group A of positive diagonal matrices with positive entropy. We apply this to prove that the set of exceptions to Littlewood's conjecture…

We explore the occurrence of point configurations within non-meager (second category) Baire sets. A celebrated result of Steinhaus asserts that $A+B$ and $A-B$ contain an interval whenever $A$ and $B$ are sets of positive Lebesgue measure…

We make quantitative improvements to recently obtained results on the structure of the image of a large difference set under certain quadratic forms and other homogeneous polynomials. Previous proofs used deep results of Benoist-Quint on…

We show that the Baum-Connes morphism twisted by a non-unitary representation, defined in [GA08], is an isomorphism for a large class of groups satisfying the Baum-Connes conjecture. Such class contains all the real semi-simple Lie groups,…

We show that there exists a positive arithmetical formula $\psi(x,R)$, where $x \in \omega$, $R \subseteq \omega$, with no hyperarithmetical fixed point. This answers a question of Gerhard J\"{a}ger. As corollaries we obtain results on the…

We prove that convex functions of finite order on the real line and subharmonic functions of finite order on finite dimensional real space, bounded from above outside of some set of zero relative Lebesgue density, are bounded from above…

Soprunov and Soprunova introduced the notion of a good infinite family of toric codes. We prove that such good families do not exist by proving a more general Szemer\'edi-type result: for all $c\in(0,1]$ and all positive integers $N$,…

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to…

Our aim is to find the minimal Hausdorff dimension of the union of scaled and/or rotated copies of the $k$-skeleton of a fixed polytope centered at the points of a given set. For many of these problems, we show that a typical arrangement in…

In this article, we propose a general theory of integration of the Riemann and Lebesgue types with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract vector spaces endowed with a…

We review the basic theory of More Sums Than Differences (MSTD) sets, specifically their existence, simple constructions of infinite families, the proof that a positive percentage of sets under the uniform binomial model are MSTD but not if…

A set A of positive integers is called a perfect difference set if every nonzero integer has an unique representation as the difference of two elements of A. We construct dense perfect difference sets from dense Sidon sets. As a consequence…

Let $X$ be any scheme defined over a Dedekind scheme $S$ with a given section $x\in X(S)$. We prove the existence of a pro-finite $S$-group scheme $\aleph(X,x)$ and a universal $\aleph(X,x)$-torsor dominating all the pro-finite pointed…

In many dynamical systems, countably infinitely many invariant tori co-exist. The occurrence of quasiperiodicity on any one of these tori is sometimes sufficient to establish strong global properties, like dense trajectories and periodic…