We establish a polynomial ergodic theorem for actions of the affine group of a countable field K. As an application, we deduce—via a variant of Furstenberg’s correspondence principle—that for fields of characteristic zero, any ‘large’ set $E\subset K$ contains ‘many’ patterns of the form $\{p(u)+v,uv\}$, for every non-constant polynomial $p(x)\in K[x]$. Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a finitistic variant of Bergelson’s ‘colouring trick’, show that for $r\in \mathbb N$ fixed, any r-colouring of a large enough finite field will contain monochromatic patterns of the form $\{u,p(u)+v,uv\}$. In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalization of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic ‘colouring trick’, we provide a conditional, elementary generalization of Green and Sanders’ $\{u,v,u+v,uv\}$ theorem.

Here we consider the hypergraph Turán problem in uniformly dense hypergraphs as was suggested by Erdős and Sós. Given a $3$-graph $F$, the uniform Turán density $\pi _{\boldsymbol{\therefore }}(F)$ of $F$ is defined as the supremum over all $d\in [0,1]$ for which there is an $F$-free uniformly $d$-dense $3$-graph, where uniformly $d$-dense means that every linearly sized subhypergraph has density at least $d$. Recently, Glebov, Král’, and Volec and, independently, Reiher, Rödl, and Schacht proved that $\pi _{\boldsymbol{\therefore }}(K_4^{(3)-})=\frac {1}{4}$, solving a conjecture by Erdős and Sós. Despite substantial attention, the uniform Turán density is still only known for very few hypergraphs. In particular, the problem due to Erdős and Sós to determine $\pi _{\boldsymbol{\therefore }}(K_4^{(3)})$ remains wide open.

In this work, we determine the uniform Turán density of the $3$-graph on five vertices that is obtained from $K_4^{(3)-}$ by adding an additional vertex whose link forms a matching on the vertices of $K_4^{(3)-}$. Further, we point to two natural intermediate problems on the way to determining $\pi _{\boldsymbol{\therefore }}(K_4^{(3)})$, and solve the first of these.

In this paper we consider a dynamic Erdős–Rényi graph in which edges, according to an alternating renewal process, change from present to absent and vice versa. The objective is to estimate the on- and off-time distributions while only observing the aggregate number of edges. This inverse problem is dealt with, in a parametric context, by setting up an estimator based on the method of moments. We provide conditions under which the estimator is asymptotically normal, and we point out how the corresponding covariance matrix can be identified. We also demonstrate how to adapt the estimation procedure if alternative subgraph counts are observed, such as the number of wedges or triangles.

In 1967, Klarner proposed a problem concerning the existence of reflecting n-queens configurations. The problem considers the feasibility of placing n mutually nonattacking queens on the reflecting chessboard, an $n\times n$ chessboard with a $1\times n$ “reflecting strip” of squares added along one side of the board. A queen placed on the reflecting chessboard can attack the squares in the same row, column, and diagonal, with the additional feature that its diagonal path can be reflected via the reflecting strip. Klarner noted the equivalence of this problem to a number theory problem proposed by Slater, which asks: for which n is it possible to pair up the integers 1 through n with the integers $n+1$ through $2n$ such that no two of the sums or differences of the n pairs of integers are the same. We prove the existence of reflecting n-queens configurations for all sufficiently large n, thereby resolving both Slater’s and Klarner’s questions for all but a finite number of integers.

Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2,2n,2n+2,2n,2n+2,2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but finding an explicit bijection proving this belongs to the most difficult problems in bijective combinatorics. Towards constructing such a bijection, we generalize the result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. This is a significant step from a constant number of equidistributed statistics to a linear number of statistics in n. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects and then applying certain sign-reversing involutions. Another main result concerns the expansion of the multivariate generating function into symplectic characters as a sum over totally symmetric self-complementary plane partitions, which is in perfect analogy to the situation for ordinary ASMs where the Schur expansion can be written as a sum over totally symmetric plane partitions. This is exciting as it is reminiscent of the well-known Cauchy identity, and the Cauchy identity does have a bijective proof using the Robinson-Schensted-Knuth correspondence, and thus the result raises the question of whether there is a variation of the Robinson–Schensted–Knuth correspondence that does eventually lead to a bijective proof.

Let $K^r_n$ be the complete $r$-uniform hypergraph on $n$ vertices, that is, the hypergraph whose vertex set is $[n] \, :\! = \{1,2,\ldots ,n\}$ and whose edge set is $\binom {[n]}{r}$. We form $G^r(n,p)$ by retaining each edge of $K^r_n$ independently with probability $p$. An $r$-uniform hypergraph $H\subseteq G$ is $F$-saturated if $H$ does not contain any copy of $F$, but any missing edge of $H$ in $G$ creates a copy of $F$. Furthermore, we say that $H$ is weakly $F$-saturated in $G$ if $H$ does not contain any copy of $F$, but the missing edges of $H$ in $G$ can be added back one-by-one, in some order, such that every edge creates a new copy of $F$. The smallest number of edges in an $F$-saturated hypergraph in $G$ is denoted by ${\textit {sat}}(G,F)$, and in a weakly $F$-saturated hypergraph in $G$ by $\mathop {\mbox{$w$-${sat}$}}\! (G,F)$. In 2017, Korándi and Sudakov initiated the study of saturation in random graphs, showing that for constant $p$, with high probability ${\textit {sat}}(G(n,p),K_s)=(1+o(1))n\log _{\frac {1}{1-p}}n$, and $\mathop {\mbox{$w$-${sat}$}}\! (G(n,p),K_s)=\mathop {\mbox{$w$-${sat}$}}\! (K_n,K_s)$. Generalising their results, in this paper, we solve the saturation problem for random hypergraphs $G^r(n,p)$ for cliques $K_s^r$, for every $2\le r \lt s$ and constant $p$.

For Γ a finite subgroup of $\mathrm{SL}_2(\mathbb{C})$ and $n \geq 1$, we study the fibres of the Procesi bundle over the Γ-fixed points of the Hilbert scheme of n points in the plane. For each irreducible component of this fixed point locus, our approach reduces the study of the fibres of the Procesi bundle, as an $(\mathfrak{S}_n \times \Gamma)$-module, to the study of the fibres of the Procesi bundle over an irreducible component of dimension zero in a smaller Hilbert scheme. When Γ is of type A, our main result shows, as a corollary, that the fibre of the Procesi bundle over the monomial ideal associated with a partition λ is induced, as an $(\mathfrak{S}_n \times \Gamma)$-module, from the fibre of the Procesi bundle over the monomial ideal associated with the core of λ. We give different proofs of this corollary in two edge cases using only representation theory and symmetric functions.

We develop a powerful tool for embedding any tree poset P of height k in the Boolean lattice which allows us to solve several open problems in the area. We show that:

• • If $\mathcal {F}$ is a family in $\mathcal {B}_n$ with $|\mathcal {F}|\ge (q-1+\varepsilon ){n\choose \lfloor n/2\rfloor }$ for some $q\ge k$, then $\mathcal {F}$ contains on the order of as many induced copies of P as is contained in the q middle layers of the Boolean lattice. This generalizes results of Bukh [9] and Boehnlein and Jiang [8] which guaranteed a single such copy in non-induced and induced settings, respectively.

• • The number of induced P-free families of $\mathcal {B}_n$ is $2^{(k-1+o(1)){n\choose \lfloor n/2\rfloor }}$, strengthening recent independent work of Balogh, Garcia, and Wigal [1] who obtained the same bounds in the non-induced setting.

• • The largest induced P-free subset of a p-random subset of $\mathcal {B}_n$ for $p\gg n^{-1}$ has size at most $(k-1+o(1))p{n\choose \lfloor n/2\rfloor }$, generalizing previous work of Balogh, Mycroft, and Treglown [4] and of Collares and Morris [10] for the case when P is a chain.

All three results are asymptotically tight and give affirmative answers to general conjectures of Gerbner, Nagy, Patkós, and Vizer [18] in the case of tree posets.

We prove that there is an absolute constant $C{\,\gt\,}0$ such that every k-vertex connected rainbow graph R with minimum degree at least $C\log k$ has inducibility $k!/(k^k-k)$. The same result holds if $k\ge 11$, and R is a clique. This answers a question posed by Huang, that is a generalisation of an old problem of Erdös and Sós. It remains open to determine the minimum k for which this is true.

The smallest eigenvalue of a graph is the smallest eigenvalue of its adjacency matrix. We show that the family of graphs with smallest eigenvalue at least $-\lambda $ can be defined by a finite set of forbidden induced subgraphs if and only if $\lambda < \lambda ^*$, where $\lambda ^* = \rho ^{1/2} + \rho ^{-1/2} \approx 2.01980$, and $\rho $ is the unique real root of $x^3 = x + 1$. This resolves a question raised by Bussemaker and Neumaier. As a byproduct, we find all the limit points of smallest eigenvalues of graphs, supplementing Hoffman’s work on those limit points in $[-2, \infty )$.

We also prove that the same conclusion about forbidden subgraph characterization holds for signed graphs. Our impetus for the study of signed graphs is to determine the maximum cardinality of a spherical two-distance set with two fixed angles (one acute and one obtuse) in high dimensions. Denote by $N_{\alpha , \beta }(d)$ the maximum number of unit vectors in $\mathbb {R}^d$ where all pairwise inner products lie in $\{\alpha , \beta \}$ with $-1 \le \beta < 0 \le \alpha < 1$. Very recently Jiang, Tidor, Yao, Zhang, and Zhao determined the limit of $N_{\alpha , \beta }(d)/d$ as $d\to \infty $ when $\alpha + 2\beta < 0$ or $(1-\alpha )/(\alpha -\beta ) \in \{1,\sqrt 2,\sqrt 3\}$, and they proposed a conjecture on the limit in terms of eigenvalue multiplicities of signed graphs. We establish their conjecture whenever $(1-\alpha )/(\alpha - \beta ) < \lambda ^*$.

Gcd-graphs over the ring of integers modulo n are a natural generalization of unitary Cayley graphs. The study of these graphs has foundations in various mathematical fields, including number theory, ring theory, and representation theory. Using the theory of Ramanujan sums, it is known that these gcd-graphs have integral spectra; i.e., all their eigenvalues are integers. In this work, inspired by the analogy between number fields and function fields, we define and study gcd-graphs over polynomial rings with coefficients in finite fields. We establish some fundamental properties of these graphs, emphasizing their analogy to their counterparts over ${\mathbb {Z}}.$

This paper is motivated by two conjectures proposed by Bender et al. [‘Complemented zero-divisor graphs associated with finite commutative semigroups’, Comm. Algebra 52(7) (2024), 2852–2867], which have remained open questions. The first conjecture states that if the complemented zero-divisor graph $ G(S) $ of a commutative semigroup $ S $ with a zero element has clique number three or greater, then the reduced graph $ G_r(S) $ is isomorphic to the graph $ G(\mathcal {P}(n)) $. The second conjecture asserts that if $ G(S) $ is a complemented zero-divisor graph with clique number three or greater, then $ G(S) $ is uniquely complemented. We construct a commutative semigroup $ S $ with a zero element that serves as a counter-example to both conjectures.

We establish several new results on the existence of probability distributions on the independent sets in triangle-free graphs where each vertex is present with a given probability. This setting was introduced and studied under the name of “fractional coloring with local demands” by Kelly and Postle and is closely related to the well-studied fractional chromatic number of graphs.

Our first main result strengthens Shearer’s classic bound on independence number, proving that for every triangle-free graph G there exists a distribution over independent sets where each vertex v appears with probability $(1-o(1))\frac {\ln d_G(v)}{d_G(v)}$, resolving a conjecture by Kelly and Postle. This in turn implies new upper bounds on the fractional chromatic number of triangle-free graphs with a prescribed number of vertices or edges, which resolves a conjecture by Cames van Batenburg et al. and addresses yet another one by the same authors.

Our second main result resolves Harris’ conjecture on triangle-free d-degenerate graphs, showing that such graphs have fractional chromatic number at most $(4+o(1))\frac {d}{\ln d}$. As previously observed by various authors, this in turn has several interesting consequences. A notable example is that every triangle-free graph with minimum degree d contains a bipartite induced subgraph of minimum degree $\Omega (\log d)$. This settles a conjecture by Esperet, Kang, and Thomassé.

The main technique employed to obtain our results is the analysis of carefully designed random processes on vertex-weighted triangle-free graphs that preserve weights in expectation. The analysis of these processes yields weighted generalizations of the aforementioned results that may be of independent interest.

For a family $\mathcal {F}$ of graphs, let ${\mathrm {ex}}(n,\mathcal {F})$ denote the maximum number of edges in an n-vertex graph which contains none of the members of $\mathcal {F}$ as a subgraph. A longstanding problem in extremal graph theory asks to determine the function ${\mathrm {ex}}(n,\{C_3,C_4\})$. Here we give a new construction for dense graphs of girth at least five with arbitrary number of vertices, providing the first improvement on the lower bound of ${\mathrm {ex}}(n,\{C_3,C_4\})$ since 1976. As a corollary, this yields a negative answer to a problem in Chung-Graham [3].

We lay down the foundations of the Eigenvalue Method in coding theory. The method uses modern algebraic graph theory to derive upper bounds on the size of error-correcting codes for various metrics, addressing major open questions in the field. We identify the core assumptions that allow applying the Eigenvalue Method, test it for multiple well-known classes of error-correcting codes, and compare the results with the best bounds currently available. By applying the Eigenvalue Method, we obtain new bounds on the size of error-correcting codes that often improve the state of the art. Our results show that spectral graph theory techniques capture structural properties of error-correcting codes that are missed by classical coding theory approaches.

The hard-core model has as its configurations the independent sets of some graph instance $G$. The probability distribution on independent sets is controlled by a ‘fugacity’ $\lambda \gt 0$, with higher $\lambda$ leading to denser configurations. We investigate the mixing time of Glauber (single-site) dynamics for the hard-core model on restricted classes of bounded-degree graphs in which a particular graph $H$ is excluded as an induced subgraph. If $H$ is a subdivided claw then, for all $\lambda$, the mixing time is $O(n\log n)$, where $n$ is the order of $G$. This extends a result of Chen and Gu for claw-free graphs. When $H$ is a path, the set of possible instances is finite. For all other $H$, the mixing time is exponential in $n$ for sufficiently large $\lambda$, depending on $H$ and the maximum degree of $G$.

Normal matrices, or matrices which commute with their adjoints, are of fundamental importance in pure and applied mathematics. In this paper, we study a natural functional on the space of square complex matrices whose global minimizers are normal matrices. We show that this functional, which we refer to as the non-normal energy, has incredibly well-behaved gradient descent dynamics: despite it being nonconvex, we show that the only critical points of the non-normal energy are the normal matrices, and that its gradient descent trajectories fix matrix spectra and preserve the subset of real matrices. We also show that, even when restricted to the subset of unit Frobenius norm matrices, the gradient flow of the non-normal energy retains many of these useful properties. This is applied to prove that low-dimensional homotopy groups of spaces of unit norm normal matrices vanish; for example, we show that the space of $d \times d$ complex unit norm normal matrices is simply connected for all $d \geq 2$. Finally, we consider the related problem of balancing a weighted directed graph – that is, readjusting its edge weights so that the weighted in-degree and out-degree are the same at each node. We adapt the non-normal energy to define another natural functional whose global minima are balanced graphs and show that gradient descent of this functional always converges to a balanced graph, while preserving graph spectra and realness of the weights. Our results were inspired by concepts from symplectic geometry and Geometric Invariant Theory, but we mostly avoid invoking this machinery and our proofs are generally self-contained.

We prove a new tableaux formula for the symmetric Macdonald polynomials $P_{\lambda }(X;q,t)$ that has considerably fewer terms and simpler weights than previously existing formulas. Our formula is a sum over certain sorted non-attacking tableaux, weighted by the queue inversion statistic $\operatorname {\mathrm {\texttt {quinv}}}$. The $\operatorname {\mathrm {\texttt {quinv}}}$ statistic originates from a formula for the modified Macdonald polynomials $\widetilde {H}_{\lambda }(X;q,t)$ due to Ayyer, Martin, and the author (2022), and is naturally related to the dynamics of the asymmetric simple exclusion process (ASEP) on a circle.

We prove our results by introducing probabilistic operators that act on non-attacking tableaux to generate a set of tableaux whose weighted sum equals $P_{\lambda }(X;q,t)$. These operators are a modification of the inversion flip operators of Loehr and Niese (2012), which yield an involution on tableaux that preserves the major index statistic but fails to preserve the non-attacking condition. Our tableaux are in bijection with the multiline queues introduced by Martin (2020), allowing us to derive an alternative multiline queue formula for $P_{\lambda }(X;q,t)$. Finally, our formula recovers an alternative formula for the Jack polynomials $J_{\lambda }(X;\alpha )$ due to Knop and Sahi (1996) using the same queue inversion statistic.

For each set X, an X-split is a partition of X into two parts. For each X-split S and each subset $Y\subseteq X$, the restriction of S on Y is the Y-split whose parts are obtained by intersecting the parts of S with Y. For a graph G with vertex set V, the G-coboundary size of a V-split S is the number of edges in G having non-empty intersections with both parts of S. Let T be a tree without degree-two vertices, and let V and L denote its vertex set and leaf set, respectively. For each positive integer k, a k-split on T is an L-split that is the restriction of a V-split with T-coboundary size k, while a score-k split on T is a k-split on T that is not any k′-split for any integer $k' \lt k$. Buneman’s split equivalence theorem states that the tree T is entirely encoded by its system of score-1 splits. We identify the unique exceptional case in which the tree T is not determined by its score-2 split system. To explore how our work can be extended to more general tree isomorphism problems, we propose several conjectures and open problems related to set systems and generalized Buneman graphs.

Negami found an elegant splitting formula for the Tutte polynomial. We present an analogue of this for Bollobás and Riordan’s ribbon graph polynomial, and for the transition polynomial. From this we deduce a splitting formula for the Jones polynomial.