arXiv++ Combinatorics

We prove a refined version of Markov's theorem in Diophantine approximation. More precisely, we characterize completely the set of irrationals $x$ such that $\left|x-\frac{p}{q}\right|<\frac{1}{3q^2}$ has only finitely many rational solutions: their continued fraction is eventually a balanced sequence through a simple coding. As consequence, we show that all such numbers are either quadratic surds or transcendental numbers. In particular, for any algebraic real number $x$ of degree at least $3$ there are infinitely rational numbers $\frac{p}{q}$ such that $\left|x-\frac{p}{q}\right|<\frac{1}{3q^2}$.

For $c>0$, let $X_c$ denote the set of $x\in\mathbb{R}\backslash\mathbb{Q}$ such that $\left| x-\frac{p}{q} \right|<\frac{1}{cq^2}$ has only finitely many rational solutions $\frac{p}{q}$. It is a classical fact, known since the 1950s, that $X_c$ is uncountable for $c>3$ and countable for $c<3$. However, the cardinality of $X_3$ does not appear to be present in the literature. We prove that $X_3$ is uncountable. More generally, we show that for any $n\in\mathbb{N}\cup\{\infty\}$, the set of $x\in\mathbb{R}\backslash\mathbb{Q}$ with Lagrange value exactly $3$ and such that $\left| x-\frac{p}{q} \right|<\frac{1}{3q^2}$ has exactly $n$ rational solutions $\frac{p}{q}$ is also uncountable.

We study the asymptotics and fine-scale behavior of quantitative combinatorial measures of infinite words and related dynamical and algebraic structures. We construct infinite recurrent words $w$ whose complexity functions $p_w(n)$ are arbitrarily close to linear, but whose discrete derivatives are not bounded from above by $p_w(n)/n$. Moreover, we construct words of polynomially bounded complexity whose discrete derivatives exceed $p_w(n)/n^\varepsilon$ infinitely often, for every given $\varepsilon>0$. These provide negative answers in a strong sense to an open question of Cassaigne from 1997, showing that his theorem on words of linear complexity is best possible. Next, we characterize, up to a linear multiplicative error, the complexity functions of strictly ergodic subshifts, showing that every non-decreasing, submultiplicative function arises in this setting. This gives the first `industrial' construction of strictly ergodic subshifts of prescribed subexponential complexity. We then investigate quantitative recurrence in uniformly recurrent words and, as an application, address a question of Bavula from 2006 related to holonomic inequalities on the spectrum of possible filter dimensions of simple associative algebras: we construct simple algebras of prescribed filter dimension in $[1,\infty)$ and essentially settling the problem entirely in the graded case. Throughout, we construct uniformly recurrent words of linear complexity and with arbitrary polynomial recurrence growth.

We characterize the complexity functions of subshifts up to asymptotic equivalence. The complexity function of every aperiodic function is non-decreasing, submultiplicative and grows at least linearly. We prove that conversely, every function satisfying these conditions is asymptotically equivalent to the complexity function of a recurrent subshift, equivalently, a recurrent infinite word. Our construction is explicit, algorithmic in nature and is philosophically based on constructing certain 'Cantor sets of integers', whose 'gaps' correspond to blocks of zeros. We also prove that every non-decreasing submultiplicative function is asymptotically equivalent, up a linear error term, to the complexity function of a minimal subshift.

Given graphs $G$, $H_1$, and $H_2$, let $G\xrightarrow{\text{mr}}(H_1,H_2)$ denote the property that in every edge colouring of $G$ there is a monochromatic copy of $H_1$ or a rainbow copy of $H_2$. The constrained Ramsey number, defined as the minimum $n$ such that $K_n\xrightarrow{\text{mr}}(H_1,H_2)$, exists if and only if $H_1$ is a star or $H_2$ is a forest. We determine the threshold for the property $G(n,p)\xrightarrow{\text{mr}}(H_1,H_2)$ when $H_2$ is a forest, explicitly when the threshold is $Ω(n^{-1})$ and implicitly otherwise.

These are lecture notes for the AGRA II school, which took place in August 2015 at Universidad de San Antonio Abad del Cusco (Perú). They are geared towards graduate students and young researchers. I. Modular forms and Shimura curves (R. J. Miatello, G. Tornaría, A. Pacetti, M. Harris) II. Additive combinatorics (J. Rué, J. Wolf, J. Cilleruelo, P. Candela) III. Introduction to elliptic curves (M. Rebolledo and M. Hindry) IV. Growth in groups and expanders (H. A. Helfgott, M. Belolipetsky) V. Analysis and geometry in groups (A. Zuk) VI. Equidistribution and Diophantine analysis (R. Menares)

A permutation sequence is said to be convergent if the density of occurrences of every fixed permutation in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue measurable function $Z:[0,1]^2 \to [0,1]$ with the additional properties that, for every fixed $x \in [0,1]$, the restriction $Z(x,\cdot)$ is a cumulative distribution function and, for every $y \in [0,1]$, the restriction $Z(\cdot,y)$ satisfies a "mass" condition. This limit process is well-behaved: every function in the class of limit objects is a limit of some permutation sequence, and two of these functions are limits of the same sequence if and only if they are equal almost everywhere. An ingredient in the proofs is a new model of random permutations, which generalizes previous models and might be interesting for its own sake.

We propose a counting dimension for subsets of Z and prove that, under certain conditions on two such subsets E and F, for Lebesgue almost every real λ the counting dimension of E+[λF] is at least the minimum between 1 and the sum of the counting dimensions of E and F. Furthermore, if the sum of the counting dimensions of E and F is larger than 1, then E+[λF] has positive upper Banach density for Lebesgue almost every λ. The result has direct consequences when E,F are arithmetic sets, e.g. the integer values of a polynomial with integer coefficients.