arXiv++ Combinatorics

Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the semi-inducibility problem. This problem is a generalisation of the inducibility problem of Pippenger and Golumbic which is solved only for some small graphs and limited families of graphs. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern. Liu, Mubayi and Reiher asked whether there is a graph $F$ for which the binomial random graph is an asymptotically extremal graph in the inducibility problem over all graphs of a given edge density. This was recently answered in a strong negative sense by Jain, Michelen and Wei. In contrast, we find a \emph{quantum} graph $Q$ with positive coefficients and an interval of edge densities for which the only extremal graphs are quasirandom.

The study of Roman domination has evolved to encompass a variety of challenging extensions, each contributing to the broader understanding of domination problems in graph theory. This paper explores the Perfect Location Signed Roman Domination (PLSRD) problem, a novel combination of the Perfect Roman, Locating Roman, and Signed Roman Domination paradigms. In PLSRD, each weak vertex, assigned the label -1, must be protected by exactly one strong vertex, with additional limitation that two weak vertices cannot share the same strong vertex, while the total sum of labels in the closed neighborhood of each vertex must remain positive. This paper provides exact values for the PLSRD number in several well-known graph classes, including complete graphs, complete bipartite graphs, wheels, paths, cycles, ladders, prism graphs, and 3 x n grids. Additionally, we establish a lower bound for a general 3 regular graph, as well as the upper bounds for flower snarks graphs, highlighting the intricate interplay between the PLSRD constraints and the structural properties of these graph families.

The \emph{$r$-neighbourhood complexity} of a graph $G$ is the function counting, for a given integer $k$, the largest possible number, over all vertex-subsets $A$ of size $k$, of subsets of $A$ realized as the intersection between the $r$-neighbourhood of some vertex and $A$. A~refinement of this notion is the \emph{$r$-profile complexity}, that counts the maximum number of distinct distance-vectors from any vertex to the vertices of $A$, ignoring distances larger than~$r$. Typically, in structured graph classes such as graphs of bounded VC-dimension or chordal graphs, these functions are bounded, leading to insights into their structural properties and efficient algorithms. We improve existing bounds on the $r$-profile complexity (and thus on the $r$-neighbourhood complexity) for graphs in several structured graph classes. We show that the $r$-profile complexity of graphs excluding $K_h$ as a minor is in $O_h(r^{3h-3}k)$. For graphs of treewidth at most~$t$, we give a bound in $O_t(r^{t+1}k)$, which is tight up to a function of~$t$ as a factor. These bounds improve results of Joret and Rambaud and answer a question of their paper [Combinatorica, 2024]. We also apply our methods to other classes of bounded expansion such as graphs excluding a fixed complete graph as a subdivision. For outerplanar graphs, we can improve our treewidth bound by a factor of $r$ and conjecture that a similar improvement holds for graphs with bounded simple treewidth. For graphs of treelength at most~$\ell$, we give the upper bound of $O(k(r^2(\ell+1)^k))$, which we improve to $O\left (k\cdot (r 2^k + r^2k^2) \right)$ in the case of chordal graphs and $O(k^2r)$ for interval graphs. Our bounds also imply relations between the order, diameter and metric dimension of graphs in these classes, improving results from [Beaudou et al., SIDMA 2017].

The divisor theory of the complete graph $K_n$ is in many ways similar to that of a plane curve of degree $n$. We compute the splitting types of all divisors on the complete graph $K_n$. We see that the possible splitting types of divisors on $K_n$ exactly match the possible splitting types of line bundles on a smooth plane curve of degree $n$. This generalizes the earlier result of Cori and Le Borgne computing the ranks of all divisors on $K_n$, and the earlier work of Cools and Panizzut analyzing the possible ranks of divisors of fixed degree on $K_n$.

We introduce the \textit{crossing profile} of a drawing of a graph. This is a sequence of integers whose $(k+1)^{\text{th}}$ entry counts the number of edges in the drawing which are involved in exactly $k$ crossings. The first and second entries of this sequence (which count uncrossed edges and edges with one crossing, respectively) have been studied by multiple authors. However, to the best of our knowledge, we are the first to consider the entire sequence. Most of our results concern crossing profiles of rectilinear drawings of the complete graph $K_n$. We show that for any $k\leq (n-2)^2/4$ there is such a drawing for which the $k^{\text{th}}$ entry of the crossing profile is of magnitude $Ω(n)$. On the other hand, we prove that for any $k \geq 1$ and any sufficiently large $n$, the $k^{\text{th}}$ entry can also be made to be $0$. As our main result, we essentially characterize the asymptotic behavior of both the maximum and minimum values that the sum of the first $k$ entries of the crossing profile might achieve. Our proofs are elementary and rely mostly on geometric constructions and classical results from discrete geometry and geometric graph theory.

Let $G$ be a weighted graph embedded in a metric space $(M, d_M )$. The vertices of $G$ correspond to the points in $M$ , with the weight of each edge $uv$ being the distance $d_M (u, v)$ between their respective points in $M$ . The dilation (or stretch) of $G$ is defined as the minimum factor $t$ such that, for any pair of vertices $u, v$, the distance between $u$ and $v$-represented by the weight of a shortest $u$, $v$-path is at most $ t \cdot d_M (u, v)$. We study Dilation t-Augmentation, where the objective is, given a metric $M $, a graph $G$, and numerical values $k$ and $t$, to determine whether $G$ can be transformed into a graph with dilation $t$ by adding at most $k$ edges. Our primary focus is on the scenario where the metric $M$ is the shortest path metric of an unweighted graph $Γ$. Even in this specific case, Dilation $t$-Augmentation remains computationally challenging. In particular, the problem is W[2]-hard parameterized by $k$ when $Γ$ is a complete graph, already for $t=2$. Our main contribution lies in providing new insights into the impact of combinations of various parameters on the computational complexity of the problem. We establish the following. -- The parameterized dichotomy of the problem with respect to dilation $t$, when the graph $G$ is sparse: Parameterized by $k$, the problem is FPT for graphs excluding a biclique $K_{d,d}$ as a subgraph for $t\leq 2$ and the problem is W[1]-hard for $t\geq 3$ even if $G$ is a forest consisting of disjoint stars. -- The problem is FPT parameterized by the combined parameter $k+t+Δ$, where $Δ$ is the maximum degree of the graph $G$ or $Γ$.

We introduce a family of domination-type problems in Cartesian products of two graphs. The framework captures several well-studied topics, including variants of bootstrap percolation, line growth, distance domination, and target set selection. We focus on Cartesian products of two complete graphs and formulate the notion of Young domination number in terms of a growth rule determined by a Young diagram; this number is the smallest cardinality of an initial set that covers the entire vertex set in a prescribed number $L$ of iterations of the rule. We compute the Young domination number with $L=1$ for several natural cases, including $k$-domination for Cartesian products of two complete graphs of the same order, thereby proving a conjecture from 2009 due to Burchett, Lane, and Lachniet. We show that the case of $L=1$ of Young domination is equivalent to computing bipartite Turán numbers for families of double stars, yielding implications of our results in extremal graph theory. For arbitrary fixed $L$, we devise constant-factor approximation algorithms for the problem. Our approach is based on a variety of techniques, including duality between Young diagrams, algebraic formulations, explicit constructions, and dynamic programming.

Recently, Gross, Mansour, and Tucker introduced the partial Petrial polynomial, which enumerates all partial Petrials of a ribbon graph by Euler genus. They provided formulas or recursions for various families of ribbon graphs, including ladder ribbon graphs. In this paper, we focus on the partial Petrial polynomial of bouquets, which are ribbon graphs with exactly one vertex. We prove that the partial Petrial polynomial of a bouquet primarily depends on its intersection graph, meaning that two bouquets with identical intersection graphs will have the same partial Petrial polynomial. Additionally, we introduce the concept of the partial Petrial polynomial for circle graphs and prove that for a connected graph with $n$ vertices ($n\geq 2$), the polynomial has non-zero coefficients for all terms of degrees from 1 to $n$ if and only if the graph is complete. Finally, we present the partial Petrial polynomials for paths.

The complementary second Zagreb index of a graph $G$ is defined as $cM_2(G)=\sum_{uv\in E(G)}|(d_u(G))^2-(d_v(G))^2|$, where $d_u(G)$ denotes the degree of a vertex $u$ in $G$ and $E(G)$ represents the edge set of $G$. Let $G^*$ be a graph having the maximum value of $cM_2$ among all connected graphs of order $n$. Furtula and Oz [MATCH Commun. Math. Comput. Chem. 93 (2025) 247--263] conjectured that $G^*$ is the join $K_k+\overline{K}_{n-k}$ of the complete graph $K_k$ of order $k$ and the complement $\overline{K}_{n-k}$ of the complete graph $K_{n-k}$ such that the inequality $k<\lceil n/2 \rceil$ holds. We prove that (i) the maximum degree of $G^*$ is $n-1$ and (ii) no two vertices of minimum degree in $G^*$ are adjacent; both of these results support the aforementioned conjecture. We also prove that the number of vertices of maximum degree in $G^*$, say $k$, is at most $-\frac{2}{3}n+\frac{3}{2}+\frac{1}{6}\sqrt{52n^2-132n+81}$, which implies that $k<5352n/10000$. Furthermore, we establish results that support the conjecture under consideration for certain bidegreed and tridegreed graphs. In the aforesaid paper, it was also mentioned that determining the $k$ as a function of the $n$ is far from being an easy task; we obtain the values of $k$ for $5\le n\le 149$ in the case of certain bidegreed graphs by using computer software and found that the resulting sequence of the values of $k$ does not exist in "The On-Line Encyclopedia of Integer Sequences" (an online database of integer sequences).

The reciprocal of the Ihara zeta function of a graph is a polynomial invariant introduced by Ihara in 1966. Scott and Storm gave a method to determine the coefficients of the polynomial. Here we simplify their calculation and determine the zeta function for all graphs of rank two. We verify that it is a complete invariant for such graphs: If $G_1$ and $G_2$ are of rank two, then $G_1$ and $G_2$ are isomorphic if and only if they have the same Ihara zeta function. We observe that the reciprocal of the zeta function is an even polynomial if the graph is bipartite. We also determine the zeta function for several graph families: complete graphs, complete bipartite graphs, Möbius ladders, cocktail party graphs, and all graphs of order five or less. We use the special value $u=1$ to count the spanning trees for these families.

We prove that a random Cayley graph on a group of order $N$ has clique number $O(\log N \log \log N)$ with high probability. This bound is best possible up to the constant factor for certain groups, including~$\mathbb{F}_2^n$, and improves the longstanding upper bound of $O(\log^2 N)$ due to Alon. Our proof does not make use of the underlying group structure and is purely combinatorial, with the key result being an essentially best possible upper bound for the number of subsets of given order that contain at most a given number of colors in a properly edge-colored complete graph. As a further application of this result, we study a conjecture of Alon stating that every group of order $N$ has a Cayley graph whose clique number and independence number are both $O(\log N)$, proving the conjecture for all abelian groups of order $N$ for almost all $N$. For finite vector spaces of order $N$ with characteristic congruent to $1 \pmod 4$, we prove the existence of a self-complementary Cayley graph on the vector space whose clique number and independence number are both at most $(2+o(1))\log N$. This matches the lower bound for Ramsey numbers coming from random graphs and solves, in a strong form, a problem of Alon and Orlitsky motivated by information theory.

Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The general Turán number, denoted by $ex(n, H,\mathscr{F})$, is the maximum number of copies of $H$ in an $n$-vertex $\mathscr{F}$-free graph. Then $ex(n, K_2,\mathscr{F})$, also denote by $ex(n, \mathscr{F})$, is the Turán number. Recently, Alon and Frankl determined the exact value of $ex(n, \{K_{k},M_{s+1}\})$, where $K_{k}$ and $M_{s+1}$ are a complete graph on $k $ vertices and a matching of size $s +1$, respectively. Then many results were obtained by extending $K_{k}$ to a general fixed graph or family of graphs. Let $C_k$ be a cycle of order $k$. Denote $C_{\ge k}=\{C_k,C_{k+1},\ldots\}$. In this paper, we determine the value of $ex(n,K_r, \{C_{\ge k},M_{s+1}\})$ for large enough $n$ and obtain the extremal graphs when $k$ is odd. Particularly, the exact value of $ex(n, \{C_{\ge k},M_{s+1}\})$ and the extremal graph are given for large enough $n$.

We study a controlled random graph process introduced by Frieze, Krivelevich, and Michaeli. In this model, the edges of a complete graph are randomly ordered and revealed sequentially to a builder. For each edge revealed, the builder must irrevocably decide whether to purchase it. The process is subject to two constraints: the number of observed edges $t$ and the builder's budget $b$. The goal of the builder is to construct, with high probability, a graph possessing a desired property. Previously, the optimal dependencies of the budget $b$ on $n$ and $t$ were established for constructing a graph containing a fixed tree or cycle, and the authors claimed that their proof could be extended to any unicyclic graph. The problem, however, remained open for graphs containing at least two cycles, the smallest of which is the graph $K_4^-$ (a clique of size four with one edge removed). In this paper, we provide a strategy to construct a copy of the graph $K_4^-$ if $b \gg \max\left\{n^6 / t^4, n^{4 / 3} / t^{2 / 3}\right\}$, and show that this bound is tight, answering the question posed by Frieze et al. concerning this specific graph. We also give a strategy to construct a copy of a graph consisting of $k$ triangles intersecting at a single vertex (the $k$-fan) if $b \gg \max\left\{n^{4k - 1} / t^{3k - 1}, n / \sqrt{t}\right\}$, and also show that this bound is tight. These are the first optimal strategies for constructing a multi-cyclic graph in this random graph model.

We show that for all $n \equiv 0 \pmod{6}$, $n \geq 18$, there is an orientable triangular embedding of the octahedral graph on $n$ vertices that can be augmented with handles to produce a genus embedding of the complete graph of the same order. For these values of $n$, the intermediate embeddings of the construction also determine some surface crossing numbers of the complete graph on $n$ vertices and the genus of all graphs on $n$ vertices and minimum degree $n-2$.

Let $k\geq 2$ and fix a $k$-uniform hypergraph $\mathcal{F}$. Consider the random process that, starting from a $k$-uniform hypergraph $\mathcal{H}$ on $n$ vertices, repeatedly deletes the edges of a copy of $\mathcal{F}$ chosen uniformly at random and terminates when no copies of $\mathcal{F}$ remain. Let $R(\mathcal{H},\mathcal{F})$ denote the number of edges that are left after termination. We show that $R(\mathcal{H},\mathcal{F})=n^{k-1/ρ\pm o(1)}$, where $ρ:=(\lvert E(\mathcal{F})\rvert-1)/(\lvert V(\mathcal{F})\rvert -k)$, holds with high probability provided that $\mathcal{F}$ is strictly $k$-balanced and $\mathcal{H}$ is sufficiently dense with pseudorandom properties. Since we may in particular choose $\mathcal{F}$ and $\mathcal{H}$ to be complete graphs, this confirms the major folklore conjecture in the area in a very strong form.

Locally Markov walks are natural generalizations of classical Markov chains, where instead of a particle moving independently of the past, it decides where to move next depending on the last action performed at the current location. We introduce the concept of locally Markov walks and we describe their stationary distribution and recurrent states, and we prove several properties such as irreducibility and ergodicity. For a particular locally Markov walk - the uniform unicycle walk on the complete graph - we investigate the mixing time and we prove that it exhibits cutoff.

We study the problem of partitioning the edge set of the complete graph into bipartite subgraphs under certain constraints defined by forbidden subgraphs. These constraints lead to both classical problems, such as partitioning into independent matchings or complete bipartite subgraphs, and novel variants motivated by structural restrictions. Our theoretical framework is inspired by clustering problems in real-world transaction graphs, which can be formulated naturally as edge partitioning problems under bipartite graph constraints. The main result of this paper is the proof of the bounds for $χ'_{2K_2}(n)$, which corresponds to the minimum number of induced $2K_2$-free bipartite subgraphs needed to partition the edges of $K_n$. In addition to this central result, we also present several similar bounds for other forbidden subgraphs on three or four vertices. Some are included primarily for the sake of completeness, to demonstrate the broad applicability of our approach, and some lead to other novel or well-known graph theoretical problems.

The paper is devoted to the study of abelian (in the sense defined by Godsil and Hensel) distance-regular $r$-covers of the complete graphs $K_n$. According to the construction by Coutinho, Godsil, Shirazi, and Zhan (2016), each such cover yields an equiangular set of lines of size $n$ that attains the relative bound. Moreover, there are four families of abelian covers that, through this construction, yield sets of lines attaining the absolute bound. All known representatives of these families -- the hexagon, the icosahedron graph, Taylor extensions of the Schläfli and McLaughlin graphs together with their distance-$2$ graphs, and three other examples arising from generalized quadrangles -- have a vertex-transitive automorphism group with at most two orbits on the arc set of the cover. We aim to classify the covers from these families under the condition that the automorphism group of the cover is vertex-transitive and has at most two orbits on its arc set, which holds precisely when this group induces a transitive permutation group of rank at most $3$ on the set of cover fibres. We apply several fundamental classification results on permutation groups of rank at most $3$ to describe the family of covers for which $r$ is odd and the smallest eigenvalue is extremal, equaling $-\sqrt{\sqrt{n}+1}$, which corresponds to lines in a complex Hilbert space. The results obtained encompass cases where the automorphism group of the cover induces a primitive or imprimitive group of rank at most $3$ on the set of fibres.

The study of quantum chromatic numbers of graphs is a hot research topic in recent years. However, the infinite family of graphs with known quantum chromatic numbers are rare, as far as we know, the only known such graphs (except for complete graphs, cycles, bipartite graphs and some trivial cases) are the Hadamard graphs $H_n$ with $2^n$ vertices and $n$ a multiple of $4$. In this paper, we consider the graphs in Hamming schemes, we determined the quantum chromatic numbers of one class of such graphs. Notably, this is the second known family of graphs whose quantum chromatic numbers are explicitly determined except for some cases aforementioned. We also provide some bounds for the quantum chromatic numbers of some other graphs in Hamming schemes. Consequently, we can obtain the quantum chromatic numbers of products of some graphs.

It is easy to see that every $q$-edge-colouring of the complete graph on $2^q+1$ vertices must contain a monochromatic odd cycle. A natural question raised by Erdős and Graham in $1973$ asks for the smallest $L(q)$ such that every $q$-edge-colouring of $K_{2^q+1}$ must contain a monochromatic odd cycle of length at most $L(q)$. In here, we show that $L(q)=O\left(\frac{2^q}{q^{1-o(1)}}\right)$ giving the first non-trivial upper bound on $L(q)$.