The $\chi $-stability index $\mathrm {es}_{\chi }(G)$ of a graph G is the minimum number of its edges whose removal results in a graph with chromatic number smaller than that of G. We consider three open problems from Akbari et al. [‘Nordhaus–Gaddum and other bounds for the chromatic edge-stability number’, European J. Combin. 84 (2020), Article no. 103042]. We show by examples that a known characterisation of k-regular ($k\le 5$) graphs G with $\mathrm {es}_{\chi }(G) = 1$ does not extend to $k\ge 6$, and we characterise graphs G with $\chi (G)=3$ for which $\mathrm { es}_{\chi }(G)+\mathrm {es}_{\chi }(\overline {G}) = 2$. We derive necessary conditions on graphs G which attain a known upper bound on $\mathrm { es}_{\chi }(G)$ in terms of the order and the chromatic number of G and show that the conditions are sufficient when $n\equiv 2 \pmod 3$ and $\chi (G)=3$.

Theorems of hyperarithmetic analysis (THAs) occupy an unusual neighborhood in the realms of reverse mathematics and recursion-theoretic complexity. They lie above all the fixed (recursive) iterations of the Turing jump but below ATR$_{0}$ (and so $\Pi _{1}^{1}$-CA$_{0}$ or the hyperjump). There is a long history of proof-theoretic principles which are THAs. Until the papers reported on in this communication, there was only one mathematical example. Barnes, Goh, and Shore [1] analyze an array of ubiquity theorems in graph theory descended from Halin’s [9] work on rays in graphs. They seem to be typical applications of ACA$_{0}$ but are actually THAs. These results answer Question 30 of Montalbán’s Open Questions in Reverse Mathematics [19] and supply several other natural principles of different and unusual levels of complexity.

This work led in [25] to a new neighborhood of the reverse mathematical zoo: almost theorems of hyperarithmetic analysis (ATHAs). When combined with ACA$_{0}$ they are THAs but on their own are very weak. Denizens both mathematical and logical are provided. Generalizations of several conservativity classes ($\Pi _{1}^{1}$, r-$\Pi _{1}^{1}$, and Tanaka) are defined and these ATHAs as well as many other principles are shown to be conservative over RCA$_{0}$ in all these senses and weak in other recursion-theoretic ways as well. These results answer a question raised by Hirschfeldt and reported in [19] by providing a long list of pairs of principles one of which is very weak over RCA$_{0}$ but over ACA$_{0}$ is equivalent to the other which may be strong (THA) or very strong going up a standard hierarchy and at the end being stronger than full second-order arithmetic.

We investigate random minimal factorizations of the n-cycle, that is, factorizations of the permutation $(1 \, 2 \cdots n)$ into a product of cycles $\tau_1, \ldots, \tau_k$ whose lengths $\ell(\tau_1), \ldots, \ell(\tau_k)$ satisfy the minimality condition $\sum_{i=1}^k(\ell(\tau_i)-1)=n-1$. By associating to a cycle of the factorization a black polygon inscribed in the unit disk, and reading the cycles one after another, we code a minimal factorization by a process of colored laminations of the disk. These new objects are compact subsets made of red noncrossing chords delimiting faces that are either black or white. Our main result is the convergence of this process as $n \rightarrow \infty$, when the factorization is randomly chosen according to Boltzmann weights in the domain of attraction of an $\alpha$-stable law, for some $\alpha \in (1,2]$. The limiting process interpolates between the unit circle and a colored version of Kortchemski’s $\alpha$-stable lamination. Our principal tool in the study of this process is a new bijection between minimal factorizations and a model of size-conditioned labeled random trees whose vertices are colored black or white, as well as the investigation of the asymptotic properties of these trees.

We discuss several ways of packing a hyperbolic surface with circles (of either varying radii or all being congruent) or horocycles, and note down some observations related to their symmetries (or the absence thereof).

We present a modification of the Depth first search algorithm, suited for finding long induced paths. We use it to give simple proofs of the following results. We show that the induced size-Ramsey number of paths satisfies $\hat{R}_{\mathrm{ind}}(P_n)\leq 5 \cdot 10^7n$, thus giving an explicit constant in the linear bound, improving the previous bound with a large constant from a regularity lemma argument by Haxell, Kohayakawa and Łuczak. We also provide a bound for the k-colour version, showing that $\hat{R}_{\mathrm{ind}}^k(P_n)=O(k^3\log^4k)n$. Finally, we present a new short proof of the fact that the binomial random graph in the supercritical regime, $G(n,\frac{1+\varepsilon}{n})$, contains typically an induced path of length $\Theta(\varepsilon^2) n$.

We study the computational complexity of approximating the partition function of the ferromagnetic Ising model with the external field parameter $\lambda $ on the unit circle in the complex plane. Complex-valued parameters for the Ising model are relevant for quantum circuit computations and phase transitions in statistical physics but have also been key in the recent deterministic approximation scheme for all $|\lambda |\neq 1$ by Liu, Sinclair and Srivastava. Here, we focus on the unresolved complexity picture on the unit circle and on the tantalising question of what happens around $\lambda =1$, where, on one hand, the classical algorithm of Jerrum and Sinclair gives a randomised approximation scheme on the real axis suggesting tractability and, on the other hand, the presence of Lee–Yang zeros alludes to computational hardness. Our main result establishes a sharp computational transition at the point $\lambda =1$ and, more generally, on the entire unit circle. For an integer $\Delta \geq 3$ and edge interaction parameter $b\in (0,1)$, we show $\mathsf {\#P}$-hardness for approximating the partition function on graphs of maximum degree $\Delta $ on the arc of the unit circle where the Lee–Yang zeros are dense. This result contrasts with known approximation algorithms when $|\lambda |\neq 1$ or when $\lambda $ is in the complementary arc around $1$ of the unit circle. Our work thus gives a direct connection between the presence/absence of Lee–Yang zeros and the tractability of efficiently approximating the partition function on bounded-degree graphs.

Let X be a finite connected poset and K a field. We study the question, when all Lie automorphisms of the incidence algebra I(X, K) are proper. Without any restriction on the length of X, we find only a sufficient condition involving certain equivalence relation on the set of maximal chains of X. For some classes of posets of length one, such as finite connected crownless posets (i.e., without weak crown subposets), crowns, and ordinal sums of two anti-chains, we give a complete answer.

Skew-gentle algebras are a generalisation of the well-known class of gentle algebras with which they share many common properties. In this work, using non-commutative Gröbner basis theory, we show that these algebras are strong Koszul and that the Koszul dual is again skew-gentle. We give a geometric model of their bounded derived categories in terms of polygonal dissections of surfaces with orbifold points, establishing a correspondence between curves in the orbifold and indecomposable objects. Moreover, we show that the orbifold dissections encode homological properties of skew-gentle algebras such as their singularity categories, their Gorenstein dimensions and derived invariants such as the determinant of their q-Cartan matrices.

Reaction networks are commonly used within the mathematical biology and mathematical chemistry communities to model the dynamics of interacting species. These models differ from the typical graphs found in random graph theory since their vertices are constructed from elementary building blocks, i.e. the species. We consider these networks in an Erdös–Rényi framework and, under suitable assumptions, derive a threshold function for the network to have a deficiency of zero, which is a property of great interest in the reaction network community. Specifically, if the number of species is denoted by n and the edge probability by $p_n$, then we prove that the probability of a random binary network being deficiency zero converges to 1 if $p_n\ll r(n)$ as $n \to \infty$, and converges to 0 if $p_n \gg r(n)$ as $n \to \infty$, where $r(n)=\frac{1}{n^3}$.

A noncomplete graph is $2$-distance-transitive if, for $i \in \{1,2\}$ and for any two vertex pairs $(u_1,v_1)$ and $(u_2,v_2)$ with the same distance i in the graph, there exists an element of the graph automorphism group that maps $(u_1,v_1)$ to $(u_2,v_2)$. This paper determines the family of $2$-distance-transitive Cayley graphs over dihedral groups, and it is shown that if the girth of such a graph is not $4$, then either it is a known $2$-arc-transitive graph or it is isomorphic to one of the following two graphs: $ {\mathrm {K}}_{x[y]}$, where $x\geq 3,y\geq 2$, and $G(2,p,({p-1})/{4})$, where p is a prime and $p \equiv 1 \ (\operatorname {mod}\, 8)$. Then, as an application of the above result, a complete classification is achieved of the family of $2$-geodesic-transitive Cayley graphs for dihedral groups.

We study quantitative relationships between the triangle removal lemma and several of its variants. One such variant, which we call the triangle-free lemma, states that for each $\epsilon>0$ there exists M such that every triangle-free graph G has an $\epsilon$-approximate homomorphism to a triangle-free graph F on at most M vertices (here an $\epsilon$-approximate homomorphism is a map $V(G) \to V(F)$ where all but at most $\epsilon \left\lvert{V(G)}\right\rvert^2$ edges of G are mapped to edges of F). One consequence of our results is that the least possible M in the triangle-free lemma grows faster than exponential in any polynomial in $\epsilon^{-1}$. We also prove more general results for arbitrary graphs, as well as arithmetic analogues over finite fields, where the bounds are close to optimal.

We demonstrate that every difference set in a finite Abelian group is equivalent to a certain ‘regular’ covering of the lattice $ A_n = \{ \boldsymbol {x} \in \mathbb {Z} ^{n+1} : \sum _{i} x_i = 0 \} $ with balls of radius $ 2 $ under the $ \ell _1 $ metric (or, equivalently, a covering of the integer lattice $ \mathbb {Z} ^n $ with balls of radius $ 1 $ under a slightly different metric). For planar difference sets, the covering is also a packing, and therefore a tiling, of $ A_n $. This observation leads to a geometric reformulation of the prime power conjecture and of other statements involving Abelian difference sets.

We introduce a notion of finite sampling consistency for phylogenetic trees and show that the set of finitely sampling-consistent and exchangeable distributions on n-leaf phylogenetic trees is a polytope. We use this polytope to show that the set of all exchangeable and sampling-consistent distributions on four-leaf phylogenetic trees is exactly Aldous’ beta-splitting model, and give a description of some of the vertices for the polytope of distributions on five leaves. We also introduce a new semialgebraic set of exchangeable and sampling consistent models we call the multinomial model and use it to characterize the set of exchangeable and sampling-consistent distributions. Using this new model, we obtain a finite de Finetti-type theorem for rooted binary trees in the style of Diaconis’ theorem on finite exchangeable sequences.

We obtain a nontrivial upper bound for the multiplicative energy of any sufficiently large subset of a subvariety of a finite algebraic group. We also find some applications of our results to the growth of conjugates classes, estimates of exponential sums, and restriction phenomenon.

Given a fixed graph H that embeds in a surface $\Sigma$, what is the maximum number of copies of H in an n-vertex graph G that embeds in $\Sigma$? We show that the answer is $\Theta(n^{f(H)})$, where f(H) is a graph invariant called the ‘flap-number’ of H, which is independent of $\Sigma$. This simultaneously answers two open problems posed by Eppstein ((1993) J. Graph Theory 17(3) 409–416.). The same proof also answers the question for minor-closed classes. That is, if H is a $K_{3,t}$ minor-free graph, then the maximum number of copies of H in an n-vertex $K_{3,t}$ minor-free graph G is $\Theta(n^{f'(H)})$, where f′(H) is a graph invariant closely related to the flap-number of H. Finally, when H is a complete graph we give more precise answers.

We determine the asymptotics of the number of independent sets of size $\lfloor \beta 2^{d-1} \rfloor$ in the discrete hypercube $Q_d = \{0,1\}^d$ for any fixed $\beta \in (0,1)$ as $d \to \infty$, extending a result of Galvin for $\beta \in (1-1/\sqrt{2},1)$. Moreover, we prove a multivariate local central limit theorem for structural features of independent sets in $Q_d$ drawn according to the hard-core model at any fixed fugacity $\lambda>0$. In proving these results we develop several general tools for performing combinatorial enumeration using polymer models and the cluster expansion from statistical physics along with local central limit theorems.

Let $Q$ be an acyclic quiver and $w \geqslant 1$ be an integer. Let $\mathsf {C}_{-w}({\mathbf {k}} Q)$ be the $(-w)$-cluster category of ${\mathbf {k}} Q$. We show that there is a bijection between simple-minded collections in $\mathsf {D}^b({\mathbf {k}} Q)$ lying in a fundamental domain of $\mathsf {C}_{-w}({\mathbf {k}} Q)$ and $w$-simple-minded systems in $\mathsf {C}_{-w}({\mathbf {k}} Q)$. This generalises the same result of Iyama–Jin in the case that $Q$ is Dynkin. A key step in our proof is the observation that the heart $\mathsf {H}$ of a bounded t-structure in a Hom-finite, Krull–Schmidt, ${\mathbf {k}}$-linear saturated triangulated category $\mathsf {D}$ is functorially finite in $\mathsf {D}$ if and only if $\mathsf {H}$ has enough injectives and enough projectives. We then establish a bijection between $w$-simple-minded systems in $\mathsf {C}_{-w}({\mathbf {k}} Q)$ and positive $w$-noncrossing partitions of the corresponding Weyl group $W_Q$.

Let $\mathcal {O}(\pi )$ denote the number of odd parts in an integer partition $\pi$. In 2005, Stanley introduced a new statistic $\operatorname {srank}(\pi )=\mathcal {O}(\pi )-\mathcal {O}(\pi ')$, where $\pi '$ is the conjugate of $\pi$. Let $p(r,\,m;n)$ denote the number of partitions of $n$ with srank congruent to $r$ modulo $m$. Generating function identities, congruences and inequalities for $p(0,\,4;n)$ and $p(2,\,4;n)$ were then established by a number of mathematicians, including Stanley, Andrews, Swisher, Berkovich and Garvan. Motivated by these works, we deduce some generating functions and inequalities for $p(r,\,m;n)$ with $m=16$ and $24$. These results are refinements of some inequalities due to Swisher.

Combinatorial samplers are algorithmic schemes devised for the approximate- and exact-size generation of large random combinatorial structures, such as context-free words, various tree-like data structures, maps, tilings, RNA molecules. They can be adapted to combinatorial specifications with additional parameters, allowing for a more flexible control over the output profile of parametrised combinatorial patterns. One can control, for instance, the number of leaves, profile of node degrees in trees or the number of certain sub-patterns in generated strings. However, such a flexible control requires an additional and nontrivial tuning procedure. Using techniques of convex optimisation, we present an efficient tuning algorithm for multi-parametric combinatorial specifications. Our algorithm works in polynomial time in the system description length, the number of tuning parameters, the number of combinatorial classes in the specification, and the logarithm of the total target size. We demonstrate the effectiveness of our method on a series of practical examples, including rational, algebraic, and so-called Pólya specifications. We show how our method can be adapted to a broad range of less typical combinatorial constructions, including symmetric polynomials, labelled sets and cycles with cardinality lower bounds, simple increasing trees or substitutions. Finally, we discuss some practical aspects of our prototype tuner implementation and provide its benchmark results.

Suppose G and H are bipartite graphs and $L: V(G)\to 2^{V(H)}$ induces a partition of $V(H)$ such that the subgraph of H induced between $L(v)$ and $L(v')$ is a matching, whenever $vv'\in E(G)$. We show for each $\varepsilon>0$ that if H has maximum degree D and $|L(v)| \ge (1+\varepsilon )D/\log D$ for all $v\in V(G)$, then H admits an independent transversal with respect to L, provided D is sufficiently large. This bound on the part sizes is asymptotically sharp up to a factor $2$. We also show some asymmetric variants of this result.