Cooperative coordination in multi-agent systems has been a topic of interest in networked control theory in recent years. In contrast to cooperative agents, Byzantine agents in a network are capable to manipulate their data arbitrarily and send bad messages to neighbors, causing serious network security issues. This paper is concerned with resilient tracking consensus over a time-varying random directed graph, which consists of cooperative agents, Byzantine agents and a single leader. The objective of resilient tracking consensus is the convergence of cooperative agents to the leader in the presence of those deleterious Byzantine agents. We assume that the number and identity of the Byzantine agents are not known to cooperative agents, and the communication edges in the graph are dynamically randomly evolving. Based upon linear system analysis and a martingale convergence theorem, we design a linear discrete-time protocol to ensure tracking consensus almost surely in a purely distributed manner. Some numerical examples are provided to verify our theoretical results.

Let K be an infinite field of characteristic $p>0$ and let $\lambda, \mu$ be partitions, where $\mu$ has two parts. We find sufficient arithmetic conditions on $p, \lambda, \mu$ for the existence of a nonzero homomorphism $\Delta(\lambda) \to \Delta (\mu)$ of Weyl modules for the general linear group $GL_n(K)$. Also, for each p we find sufficient conditions so that the corresponding homomorphism spaces have dimension at least 2.

A d-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and p is a map from V to $\mathbb {R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb {R}^d$ if the graph G and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph G is called globally rigid in $\mathbb {R}^d$ if every d-dimensional generic framework $(G,p)$ is globally rigid.

In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph G is strongly reconstructible in $\mathbb {C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in d-space, along with the number of vertices of G, uniquely determine both G and the association between the edges of G and the set of edge lengths. It is known that if G is globally rigid in $\mathbb {R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb {C}^d$. We strengthen this result and show that, under the same conditions, G is in fact fully reconstructible in $\mathbb {C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct G, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization).

As a key step in our proof, we also prove that if G is globally rigid in $\mathbb {R}^d$ on at least $d+2$ vertices, then the d-dimensional generic rigidity matroid of G is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.

The clustered chromatic number of a class of graphs is the minimum integer $k$ such that for some integer $c$ every graph in the class is $k$-colourable with monochromatic components of size at most $c$. We determine the clustered chromatic number of any minor-closed class with bounded treedepth, and prove a best possible upper bound on the clustered chromatic number of any minor-closed class with bounded pathwidth. As a consequence, we determine the fractional clustered chromatic number of every minor-closed class.

We study the problem of finding pairwise vertex-disjoint triangles in the randomly perturbed graph model, which is the union of any $n$-vertex graph $G$ satisfying a given minimum degree condition and the binomial random graph $G(n,p)$. We prove that asymptotically almost surely $G \cup G(n,p)$ contains at least $\min \{\delta (G), \lfloor n/3 \rfloor \}$ pairwise vertex-disjoint triangles, provided $p \ge C \log n/n$, where $C$ is a large enough constant. This is a perturbed version of an old result of Dirac.

Our result is asymptotically optimal and answers a question of Han, Morris, and Treglown [RSA, 2021, no. 3, 480–516] in a strong form. We also prove a stability version of our result, which in the case of pairwise vertex-disjoint triangles extends a result of Han, Morris, and Treglown [RSA, 2021, no. 3, 480–516]. Together with a result of Balogh, Treglown, and Wagner [CPC, 2019, no. 2, 159–176], this fully resolves the existence of triangle factors in randomly perturbed graphs.

We believe that the methods introduced in this paper are useful for a variety of related problems: we discuss possible generalisations to clique factors, cycle factors, and $2$-universality.

We investigate Maker–Breaker games on graphs of size $\aleph _1$ in which Maker’s goal is to build a copy of the host graph. We establish a firm dependence of the outcome of the game on the axiomatic framework. Relating to this, we prove that there is a winning strategy for Maker in the $K_{\omega ,\omega _1}$-game under ZFC+MA+$\neg $CH and a winning strategy for Breaker under ZFC+CH. We prove a similar result for the $K_{\omega _1}$-game. Here, Maker has a winning strategy under ZF+DC+AD, while Breaker has one under ZFC+CH again.

Recent works at the interface of algebraic combinatorics, algebraic geometry, number theory and topology have provided new integer-valued invariants on integer partitions. It is natural to consider the distribution of partitions when sorted by these invariants in congruence classes. We consider the prominent situations that arise from extensions of the Nekrasov–Okounkov hook product formula and from Betti numbers of various Hilbert schemes of n points on ${\mathbb {C}}^2$. For the Hilbert schemes, we prove that homology is equidistributed as $n\to \infty $. For t-hooks, we prove distributions that are often not equidistributed. The cases where $t\in \{2, 3\}$ stand out, as there are congruence classes where such counts are zero. To obtain these distributions, we obtain analytic results of independent interest. We determine the asymptotics, near roots of unity, of the ubiquitous infinite products

$$ \begin{align*}F_1(\xi; q):=\prod_{n=1}^{\infty}\left(1-\xi q^n\right), \ \ \ F_2(\xi; q):=\prod_{n=1}^{\infty}\left(1-(\xi q)^n\right) \ \ \ {\mathrm{and}}\ \ \ F_3(\xi; q):=\prod_{n=1}^{\infty}\left(1-\xi^{-1}(\xi q)^n\right). \end{align*} $$

Let $\mathcal {C}_n =\left [\chi _{\lambda }(\mu )\right ]_{\lambda , \mu }$ be the character table for $S_n,$ where the indices $\lambda $ and $\mu $ run over the $p(n)$ many integer partitions of $n.$ In this note, we study $Z_{\ell }(n),$ the number of zero entries $\chi _{\lambda }(\mu )$ in $\mathcal {C}_n,$ where $\lambda $ is an $\ell $-core partition of $n.$ For every prime $\ell \geq 5,$ we prove an asymptotic formula of the form

$$ \begin{align*}Z_{\ell}(n)\sim \alpha_{\ell}\cdot \sigma_{\ell}(n+\delta_{\ell})p(n)\gg_{\ell} n^{\frac{\ell-5}{2}}e^{\pi\sqrt{2n/3}}, \end{align*} $$

$\sigma _{\ell }(n)$

$\delta _{\ell }:=(\ell ^2-1)/24,$

$1/\alpha _{\ell }>0$

$L\left (\left ( \frac {\cdot }{\ell } \right ),\frac {\ell -1}{2}\right ).$

$\ell $

$n>\ell ^6/24,$

$\chi _{\lambda }(\mu )=0$

$\lambda $

$\mu $

$\ell $

$Z^*_{\ell }(n)$

$\ell $

$\ell \geq 5$

$$ \begin{align*}Z^*_{\ell}(n)\sim \alpha_{\ell}^2 \cdot \sigma_{\ell}( n+\delta_{\ell})^2 \gg_{\ell} n^{\ell-3}. \end{align*} $$

In this paper we define a family of preferential attachment models for random graphs with fitness in the following way: independently for each node, at each time step a random fitness is drawn according to the position of a moving average process with positive increments. We will define two regimes in which our graph reproduces some features of two well-known preferential attachment models: the Bianconi–Barabási and Barabási–Albert models. We will discuss a few conjectures on these models, including the convergence of the degree sequence and the appearance of Bose–Einstein condensation in the network when the drift of the fitness process has order comparable to the graph size.

A handlebody link is a union of handlebodies of positive genus embedded in 3-space, which generalises the notion of links in classical knot theory. In this paper, we consider handlebody links with a genus two handlebody and $n-1$ solid tori, $n>1$. Our main result is the classification of such handlebody links with six crossings or less, up to ambient isotopy.

Andrews [Generalized Frobenius Partitions, Memoirs of the American Mathematical Society, 301 (American Mathematical Society, Providence, RI, 1984)] defined two families of functions, $\phi _k(n)$ and $c\phi _k(n),$ enumerating two types of combinatorial objects which he called generalised Frobenius partitions. Andrews proved a number of Ramanujan-like congruences satisfied by specific functions within these two families. Numerous other authors proved similar results for these functions, often with a view towards a specific choice of the parameter $k.$ Our goal is to identify an infinite family of values of k such that $\phi _k(n)$ is even for all n in a specific arithmetic progression; in particular, we prove that, for all positive integers $\ell ,$ all primes $p\geq 5$ and all values $r, 0 < r < p,$ such that $24r+1$ is a quadratic nonresidue modulo $p,$

$$ \begin{align*} \phi_{p\ell-1}(pn+r) \equiv 0 \pmod{2} \end{align*} $$

for all $n\geq 0.$ Our proof of this result is truly elementary, relying on a lemma from Andrews’ memoir, classical q-series results and elementary generating function manipulations. Such a result, which holds for infinitely many values of $k,$ is rare in the study of arithmetic properties satisfied by generalised Frobenius partitions, primarily because of the unwieldy nature of the generating functions in question.

Empirical studies (e.g. Jiang et al. (2015) and Mislove et al. (2007)) show that online social networks have not only in- and out-degree distributions with Pareto-like tails, but also a high proportion of reciprocal edges. A classical directed preferential attachment (PA) model generates in- and out-degree distributions with power-law tails, but the theoretical properties of the reciprocity feature in this model have not yet been studied. We derive asymptotic results on the number of reciprocal edges between two fixed nodes, as well as the proportion of reciprocal edges in the entire PA network. We see that with certain choices of parameters, the proportion of reciprocal edges in a directed PA network is close to 0, which differs from the empirical observation. This points out one potential problem of fitting a classical PA model to a given network dataset with high reciprocity, and indicates that alternative models need to be considered.

We study the first-order consequences of Ramsey’s Theorem for k-colourings of n-tuples, for fixed $n, k \ge 2$, over the relatively weak second-order arithmetic theory $\mathrm {RCA}^*_0$. Using the Chong–Mourad coding lemma, we show that in a model of $\mathrm {RCA}^*_0$ that does not satisfy $\Sigma ^0_1$ induction, $\mathrm {RT}^n_k$ is equivalent to its relativization to any proper $\Sigma ^0_1$-definable cut, so its truth value remains unchanged in all extensions of the model with the same first-order universe.

We give a complete axiomatization of the first-order consequences of $\mathrm {RCA}^*_0 + \mathrm {RT}^n_k$ for $n \ge 3$. We show that they form a non-finitely axiomatizable subtheory of $\mathrm {PA}$ whose $\Pi _3$ fragment coincides with $\mathrm {B} \Sigma _1 + \exp $ and whose $\Pi _{\ell +3}$ fragment for $\ell \ge 1$ lies between $\mathrm {I} \Sigma _\ell \Rightarrow \mathrm {B} \Sigma _{\ell +1}$ and $\mathrm {B} \Sigma _{\ell +1}$. We also give a complete axiomatization of the first-order consequences of $\mathrm {RCA}^*_0 + \mathrm {RT}^2_k + \neg \mathrm {I} \Sigma _1$. In general, we show that the first-order consequences of $\mathrm {RCA}^*_0 + \mathrm {RT}^2_k$ form a subtheory of $\mathrm {I} \Sigma _2$ whose $\Pi _3$ fragment coincides with $\mathrm {B} \Sigma _1 + \exp $ and whose $\Pi _4$ fragment is strictly weaker than $\mathrm {B} \Sigma _2$ but not contained in $\mathrm {I} \Sigma _1$.

Additionally, we consider a principle $\Delta ^0_2$-$\mathrm {RT}^2_2$ which is defined like $\mathrm {RT}^2_2$ but with both the $2$-colourings and the solutions allowed to be $\Delta ^0_2$-sets rather than just sets. We show that the behaviour of $\Delta ^0_2$-$\mathrm {RT}^2_2$ over $\mathrm {RCA}_0 + \mathrm {B}\Sigma ^0_2$ is in many ways analogous to that of $\mathrm {RT}^2_2$ over $\mathrm {RCA}^*_0$, and that $\mathrm {RCA}_0 + \mathrm {B} \Sigma ^0_2 + \Delta ^0_2$-$\mathrm {RT}^2_2$ is $\Pi _4$- but not $\Pi _5$-conservative over $\mathrm {B} \Sigma _2$. However, the statement we use to witness failure of $\Pi _5$-conservativity is not provable in $\mathrm {RCA}_0 +\mathrm {RT}^2_2$.

In 1975 Bollobás, Erdős, and Szemerédi asked the following question: given positive integers $n, t, r$ with $2\le t\le r-1$, what is the largest minimum degree $\delta (G)$ among all $r$-partite graphs $G$ with parts of size $n$ and which do not contain a copy of $K_{t+1}$? The $r=t+1$ case has attracted a lot of attention and was fully resolved by Haxell and Szabó, and Szabó and Tardos in 2006. In this article, we investigate the $r\gt t+1$ case of the problem, which has remained dormant for over 40 years. We resolve the problem exactly in the case when $r \equiv -1 \pmod{t}$, and up to an additive constant for many other cases, including when $r \geq (3t-1)(t-1)$. Our approach utilizes a connection to the related problem of determining the maximum of the minimum degrees among the family of balanced $r$-partite $rn$-vertex graphs of chromatic number at most $t$.

The hyperbolic random geometric graph was introduced by Krioukov et al. (Phys. Rev. E 82, 2010). Among many equivalent models for the hyperbolic space, we study the d-dimensional Poincaré ball ($d\ge 2$), with a general connectivity radius. While many phase transitions are known for the expectation asymptotics of certain subgraph counts, very little is known about the second-order results. Two of the distinguishing characteristics of geometric graphs on the hyperbolic space are the presence of tree-like hierarchical structures and the power-law behaviour of the degree distribution. We aim to reveal such characteristics in detail by investigating the behaviour of sub-tree counts. We show multiple phase transitions for expectation and variance in the resulting hyperbolic geometric graph. In particular, the expectation and variance of the sub-tree counts exhibit an intricate dependence on the degree sequence of the tree under consideration. Additionally, unlike the thermodynamic regime of the Euclidean random geometric graph, the expectation and variance may exhibit different growth rates, which is indicative of power-law behaviour. Finally, we also prove a normal approximation for sub-tree counts using the Malliavin–Stein method of Last et al. (Prob. Theory Relat. Fields 165, 2016), along with the Palm calculus for Poisson point processes.

We construct families of translationally invariant, nearest-neighbour Hamiltonians on a 2D square lattice of d-level quantum systems (d constant), for which determining whether the system is gapped or gapless is an undecidable problem. This is true even with the promise that each Hamiltonian is either gapped or gapless in the strongest sense: it is promised to either have continuous spectrum above the ground state in the thermodynamic limit, or its spectral gap is lower-bounded by a constant. Moreover, this constant can be taken equal to the operator norm of the local operator that generates the Hamiltonian (the local interaction strength). The result still holds true if one restricts to arbitrarily small quantum perturbations of classical Hamiltonians. The proof combines a robustness analysis of Robinson’s aperiodic tiling, together with tools from quantum information theory: the quantum phase estimation algorithm and the history state technique mapping Quantum Turing Machines to Hamiltonians.

A hypergraph $\mathcal{F}$ is non-trivial intersecting if every pair of edges in it have a nonempty intersection, but no vertex is contained in all edges of $\mathcal{F}$. Mubayi and Verstraëte showed that for every $k \ge d+1 \ge 3$ and $n \ge (d+1)k/d$ every $k$-graph $\mathcal{H}$ on $n$ vertices without a non-trivial intersecting subgraph of size $d+1$ contains at most $\binom{n-1}{k-1}$ edges. They conjectured that the same conclusion holds for all $d \ge k \ge 4$ and sufficiently large $n$. We confirm their conjecture by proving a stronger statement.

They also conjectured that for $m \ge 4$ and sufficiently large $n$ the maximum size of a $3$-graph on $n$ vertices without a non-trivial intersecting subgraph of size $3m+1$ is achieved by certain Steiner triple systems. We give a construction with more edges showing that their conjecture is not true in general.

We establish the mean convergence for multiple ergodic averages with iterates given by distinct fractional powers of primes and related multiple recurrence results. A consequence of our main result is that every set of integers with positive upper density contains patterns of the form $\{m,m+[p_n^a], m+[p_n^b]\}$, where $a,b$ are positive nonintegers and $p_n$ denotes the nth prime, a property that fails if a or b is a natural number. Our approach is based on a recent criterion for joint ergodicity of collections of sequences, and the bulk of the proof is devoted to obtaining good seminorm estimates for the related multiple ergodic averages. The input needed from number theory are upper bounds for the number of prime k-tuples that follow from elementary sieve theory estimates and equidistribution results of fractional powers of primes in the circle.

A conjecture of Alon, Krivelevich and Sudakov states that, for any graph $F$, there is a constant $c_F \gt 0$ such that if $G$ is an $F$-free graph of maximum degree $\Delta$, then $\chi\!(G) \leqslant c_F \Delta/ \log\!\Delta$. Alon, Krivelevich and Sudakov verified this conjecture for a class of graphs $F$ that includes all bipartite graphs. Moreover, it follows from recent work by Davies, Kang, Pirot and Sereni that if $G$ is $K_{t,t}$-free, then $\chi\!(G) \leqslant (t + o(1)) \Delta/ \log\!\Delta$ as $\Delta \to \infty$. We improve this bound to $(1+o(1)) \Delta/\log\!\Delta$, making the constant factor independent of $t$. We further extend our result to the DP-colouring setting (also known as correspondence colouring), introduced by Dvořák and Postle.

Let ${\mathbb{G}(n_1,n_2,m)}$ be a uniformly random m-edge subgraph of the complete bipartite graph ${K_{n_1,n_2}}$ with bipartition $(V_1, V_2)$, where $n_i = |V_i|$, $i=1,2$. Given a real number $p \in [0,1]$ such that $d_1 \,{:\!=}\, pn_2$ and $d_2 \,{:\!=}\, pn_1$ are integers, let $\mathbb{R}(n_1,n_2,p)$ be a random subgraph of ${K_{n_1,n_2}}$ with every vertex $v \in V_i$ of degree $d_i$, $i = 1, 2$. In this paper we determine sufficient conditions on $n_1,n_2,p$ and m under which one can embed ${\mathbb{G}(n_1,n_2,m)}$ into $\mathbb{R}(n_1,n_2,p)$ and vice versa with probability tending to 1. In particular, in the balanced case $n_1=n_2$, we show that if $p\gg\log n/n$ and $1 - p \gg \left(\log n/n \right)^{1/4}$, then for some $m\sim pn^2$, asymptotically almost surely one can embed ${\mathbb{G}(n_1,n_2,m)}$ into $\mathbb{R}(n_1,n_2,p)$, while for $p\gg\left(\log^{3} n/n\right)^{1/4}$ and $1-p\gg\log n/n$ the opposite embedding holds. As an extension, we confirm the Kim–Vu Sandwich Conjecture for degrees growing faster than $(n \log n)^{3/4}$.