To save content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about saving content to .
To save content items to your Kindle, first ensure no-reply@cambridge.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about saving to your Kindle.
Note you can select to save to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be saved to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
We give a simple method to estimate the number of distinct copies of some classes of spanning subgraphs in hypergraphs with a high minimum degree. In particular, for each $k\geq 2$ and $1\leq \ell \leq k-1$, we show that every $k$-graph on $n$ vertices with minimum codegree at least
contains $\exp\!(n\log n-\Theta (n))$ Hamilton $\ell$-cycles as long as $(k-\ell )\mid n$. When $(k-\ell )\mid k$, this gives a simple proof of a result of Glock, Gould, Joos, Kühn, and Osthus, while when $(k-\ell )\nmid k$, this gives a weaker count than that given by Ferber, Hardiman, and Mond, or when $\ell \lt k/2$, by Ferber, Krivelevich, and Sudakov, but one that holds for an asymptotically optimal minimum codegree bound.
A linear equation $E$ is said to be sparse if there is $c\gt 0$ so that every subset of $[n]$ of size $n^{1-c}$ contains a solution of $E$ in distinct integers. The problem of characterising the sparse equations, first raised by Ruzsa in the 90s, is one of the most important open problems in additive combinatorics. We say that $E$ in $k$ variables is abundant if every subset of $[n]$ of size $\varepsilon n$ contains at least $\text{poly}(\varepsilon )\cdot n^{k-1}$ solutions of $E$. It is clear that every abundant $E$ is sparse, and Girão, Hurley, Illingworth, and Michel asked if the converse implication also holds. In this note, we show that this is the case for every $E$ in four variables. We further discuss a generalisation of this problem which applies to all linear equations.
In this paper, we provide an application to the random distance-t walk in finite planes and derive asymptotic formulas (as $q \to \infty $) for the probability of return to start point after $\ell $ steps based on the “vertical” equidistribution of Kloosterman sums established by N. Katz. This work relies on a “Euclidean” association scheme studied in prior work of W. M. Kwok, E. Bannai, O. Shimabukuro, and H. Tanaka. We also provide a self-contained computation of the P-matrix and intersection numbers of this scheme for convenience in our application as well as a more explicit form for the intersection numbers in the planar case.
We study the noise sensitivity of the minimum spanning tree (MST) of the $n$-vertex complete graph when edges are assigned independent random weights. It is known that when the graph distance is rescaled by $n^{1/3}$ and vertices are given a uniform measure, the MST converges in distribution in the Gromov–Hausdorff–Prokhorov (GHP) topology. We prove that if the weight of each edge is resampled independently with probability $\varepsilon \gg n^{-1/3}$, then the pair of rescaled minimum spanning trees – before and after the noise – converges in distribution to independent random spaces. Conversely, if $\varepsilon \ll n^{-1/3}$, the GHP distance between the rescaled trees goes to $0$ in probability. This implies the noise sensitivity and stability for every property of the MST that corresponds to a continuity set of the random limit. The noise threshold of $n^{-1/3}$ coincides with the critical window of the Erdős-Rényi random graphs. In fact, these results follow from an analog theorem we prove regarding the minimum spanning forest of critical random graphs.
Let $\mathcal{V}$ and $\mathcal{U}$ be the point sets of two independent homogeneous Poisson processes on $\mathbb{R}^d$. A graph $\mathcal{G}_\mathcal{V}$ with vertex set $\mathcal{V}$ is constructed by first connecting pairs of points (v, u) with $v\in\mathcal{V}$ and $u\in\mathcal{U}$ independently with probability $g(v-u)$, where g is a non-increasing radial function, and then connecting two points $v_1,v_2\in\mathcal{V}$ if and only if they have a joint neighbor $u\in\mathcal{U}$. This gives rise to a random intersection graph on $\mathbb{R}^d$. Local properties of the graph, including the degree distribution, are investigated and quantified in terms of the intensities of the underlying Poisson processes and the function g. Furthermore, the percolation properties of the graph are characterized and shown to differ depending on whether g has bounded or unbounded support.
As a generalization of random recursive trees and preferential attachment trees, we consider random recursive metric spaces. These spaces are constructed from random blocks, each a metric space equipped with a probability measure, containing a labelled point called a hook, and assigned a weight. Random recursive metric spaces are equipped with a probability measure made up of a weighted sum of the probability measures assigned to its constituent blocks. At each step in the growth of a random recursive metric space, a point called a latch is chosen at random according to the equipped probability measure, and a new block is chosen at random and attached to the space by joining together the latch and the hook of the block. We use martingale theory to prove a law of large numbers and a central limit theorem for the insertion depth, the distance from the master hook to the latch chosen. We also apply our results to further generalizations of random trees, hooking networks, and continuous spaces constructed from line segments.
The $\lambda $-quiddities of size n are n-tuples of elements of a fixed set, solutions of a matrix equation appearing in the study of Coxeter’s friezes. Their number and properties are closely linked to the structure and the cardinality of the chosen set. Our main objective is an explicit formula giving the number of $\lambda $-quiddities of odd size, and a lower and upper bound for the number of $\lambda $-quiddities of even size, over the rings ${\mathbb {Z}}/2^{m}{\mathbb {Z}}$ ($m \geq 2$). We also give explicit formulae for the number of $\lambda $-quiddities of size n over ${\mathbb {Z}}/8{\mathbb {Z}}$.
We introduce new types of examples of bounded degree acyclic Borel graphs and study their combinatorial properties in the context of descriptive combinatorics, using a generalization of the determinacy method of Marks [Mar16]. The motivation for the construction comes from the adaptation of this method to the $\mathsf {LOCAL}$ model of distributed computing [BCG+21]. Our approach unifies the previous results in the area, as well as produces new ones. In particular, strengthening the main result of [TV21], we show that for $\Delta>2$, it is impossible to give a simple characterization of acyclic $\Delta $-regular Borel graphs with Borel chromatic number at most $\Delta $: such graphs form a $\mathbf {\Sigma }^1_2$-complete set. This implies a strong failure of Brooks-like theorems in the Borel context.
We investigate the existence of a rainbow Hamilton cycle in a uniformly edge-coloured randomly perturbed digraph. We show that for every $\delta \in (0,1)$ there exists $C = C(\delta ) \gt 0$ such that the following holds. Let $D_0$ be an $n$-vertex digraph with minimum semidegree at least $\delta n$ and suppose that each edge of the union of $D_0$ with a copy of the random digraph $\mathbf{D}(n,C/n)$ on the same vertex set gets a colour in $[n]$ independently and uniformly at random. Then, with high probability, $D_0 \cup \mathbf{D}(n,C/n)$ has a rainbow directed Hamilton cycle.
This improves a result of Aigner-Horev and Hefetz ((2021) SIAM J. Discrete Math.35(3) 1569–1577), who proved the same in the undirected setting when the edges are coloured uniformly in a set of $(1 + \varepsilon )n$ colours.
A set $S\subset {\mathbb {N}}$ is a Sidon set if all pairwise sums $s_1+s_2$ (for $s_1, s_2\in S$, $s_1\leqslant s_2$) are distinct. A set $S\subset {\mathbb {N}}$ is an asymptotic basis of order 3 if every sufficiently large integer $n$ can be written as the sum of three elements of $S$. In 1993, Erdős, Sárközy and Sós asked whether there exists a set $S$ with both properties. We answer this question in the affirmative. Our proof relies on a deep result of Sawin on the $\mathbb {F}_q[t]$-analogue of Montgomery's conjecture for convolutions of the von Mangoldt function.
In his 1984 AMS Memoir, Andrews introduced the family of functions $c\phi_k(n)$, the number of k-coloured generalized Frobenius partitions of n. In 2019, Chan, Wang and Yang systematically studied the arithmetic properties of $\textrm{C}\Phi_k(q)$ for $2\leq k\leq17$ by utilizing the theory of modular forms, where $\textrm{C}\Phi_k(q)$ denotes the generating function of $c\phi_k(n)$. In this paper, we first establish another expression of $\textrm{C}\Phi_{12}(q)$ with integer coefficients, then prove some congruences modulo small powers of 3 for $c\phi_{12}(n)$ by using some parameterized identities of theta functions due to A. Alaca, S. Alaca and Williams. Finally, we conjecture three families of congruences modulo powers of 3 satisfied by $c\phi_{12}(n)$.
Given a graph $F$, we consider the problem of determining the densest possible pseudorandom graph that contains no copy of $F$. We provide an embedding procedure that improves a general result of Conlon, Fox, and Zhao which gives an upper bound on the density. In particular, our result implies that optimally pseudorandom graphs with density greater than $n^{-1/3}$ must contain a copy of the Peterson graph, while the previous best result gives the bound $n^{-1/4}$. Moreover, we conjecture that the exponent $1/3$ in our bound is tight. We also construct the densest known pseudorandom $K_{2,3}$-free graphs that are also triangle-free. Finally, we give a different proof for the densest known construction of clique-free pseudorandom graphs due to Bishnoi, Ihringer, and Pepe that they have no large clique.
In this paper, we give Pieri rules for skew dual immaculate functions and their recently discovered row-strict counterparts. We establish our rules using a right-action analogue of the skew Littlewood–Richardson rule for Hopf algebras of Lam–Lauve–Sottile. We also obtain Pieri rules for row-strict (dual) immaculate functions.
We prove a Khintchine-type recurrence theorem for pairs of endomorphisms of a countable discrete abelian group. As a special case of the main result, if $\Gamma $ is a countable discrete abelian group, $\varphi , \psi \in \mathrm {End}(\Gamma )$, and $\psi - \varphi $ is an injective endomorphism with finite index image, then for any ergodic measure-preserving $\Gamma $-system $( X, {\mathcal {X}}, \mu , (T_g)_{g \in \Gamma } )$, any measurable set $A \in {\mathcal {X}}$, and any ${\varepsilon }> 0$, there is a syndetic set of $g \in \Gamma$ such that $\mu ( A \cap T_{\varphi(g)}^{-1} A \cap T_{\psi(g)}^{-1} A ) > \mu(A)^3 - \varepsilon$. This generalizes the main results of Ackelsberg et al [Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma10 (2022), Paper no. e107] and essentially answers a question left open in that paper [Question 1.12; Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma10 (2022), Paper no. e107]. For the group $\Gamma = {\mathbb {Z}}^d$, the result applies to pairs of endomorphisms given by matrices whose difference is non-singular. The key ingredients in the proof are: (1) a recent result obtained jointly with Bergelson and Shalom [Khintchine-type recurrence for 3-point configurations. Forum Math. Sigma10 (2022), Paper no. e107] that says that the relevant ergodic averages are controlled by a characteristic factor closely related to the quasi-affine (or Conze–Lesigne) factor; (2) an extension trick to reduce to systems with well-behaved (with respect to $\varphi $ and $\psi $) discrete spectrum; and (3) a description of Mackey groups associated to quasi-affine cocycles over rotational systems with well-behaved discrete spectrum.
Motivated by the work initiated by Chapman [‘Determinants of Legendre symbol matrices’, Acta Arith.115 (2004), 231–244], we investigate some arithmetical properties of generalised Legendre matrices over finite fields. For example, letting $a_1,\ldots ,a_{(q-1)/2}$ be all the nonzero squares in the finite field $\mathbb {F}_q$ containing q elements with $2\nmid q$, we give the explicit value of the determinant $D_{(q-1)/2}=\det [(a_i+a_j)^{(q-3)/2}]_{1\le i,j\le (q-1)/2}$. In particular, if $q=p$ is a prime greater than $3$, then
The $d$-process generates a graph at random by starting with an empty graph with $n$ vertices, then adding edges one at a time uniformly at random among all pairs of vertices which have degrees at most $d-1$ and are not mutually joined. We show that, in the evolution of a random graph with $n$ vertices under the $d$-process with $d$ fixed, with high probability, for each $j \in \{0,1,\dots,d-2\}$, the minimum degree jumps from $j$ to $j+1$ when the number of steps left is on the order of $\ln (n)^{d-j-1}$. This answers a question of Ruciński and Wormald. More specifically, we show that, when the last vertex of degree $j$ disappears, the number of steps left divided by $\ln (n)^{d-j-1}$ converges in distribution to the exponential random variable of mean $\frac{j!}{2(d-1)!}$; furthermore, these $d-1$ distributions are independent.
The bipartite independence number of a graph $G$, denoted as $\tilde \alpha (G)$, is the minimal number $k$ such that there exist positive integers $a$ and $b$ with $a+b=k+1$ with the property that for any two disjoint sets $A,B\subseteq V(G)$ with $|A|=a$ and $|B|=b$, there is an edge between $A$ and $B$. McDiarmid and Yolov showed that if $\delta (G)\geq \tilde \alpha (G)$ then $G$ is Hamiltonian, extending the famous theorem of Dirac which states that if $\delta (G)\geq |G|/2$ then $G$ is Hamiltonian. In 1973, Bondy showed that, unless $G$ is a complete bipartite graph, Dirac’s Hamiltonicity condition also implies pancyclicity, i.e., existence of cycles of all the lengths from $3$ up to $n$. In this paper, we show that $\delta (G)\geq \tilde \alpha (G)$ implies that $G$ is pancyclic or that $G=K_{\frac{n}{2},\frac{n}{2}}$, thus extending the result of McDiarmid and Yolov, and generalizing the classic theorem of Bondy.
The protection number of a vertex $v$ in a tree is the length of the shortest path from $v$ to any leaf contained in the maximal subtree where $v$ is the root. In this paper, we determine the distribution of the maximum protection number of a vertex in simply generated trees, thereby refining a recent result of Devroye, Goh, and Zhao. Two different cases can be observed: if the given family of trees allows vertices of outdegree $1$, then the maximum protection number is on average logarithmic in the tree size, with a discrete double-exponential limiting distribution. If no such vertices are allowed, the maximum protection number is doubly logarithmic in the tree size and concentrated on at most two values. These results are obtained by studying the singular behaviour of the generating functions of trees with bounded protection number. While a general distributional result by Prodinger and Wagner can be used in the first case, we prove a variant of that result in the second case.
We define a notion of substitution on colored binary trees that we call substreetution. We show that a point fixed by a substreetution may (or not) be almost periodic, and thus the closure of the orbit under the $\mathbb {F}_{2}^{+}$-action may (or not) be minimal. We study one special example: we show that it belongs to the minimal case and that the number of preimages in the minimal set increases just exponentially fast, whereas it could be expected a super-exponential growth. We also give examples of periodic trees without invariant measures on their orbit. We use our construction to get quasi-periodic colored tilings of the hyperbolic disk.