complete graph
2162 papers tagged with this keyword
On the Depth of Generalized Binomial Edge Ideals
This research focuses on analyzing the depth of generalized binomial edge ideals. We extend the notion of $d$-compatible map for the pairs of a complete graph and an arbitrary graph, and using it, we give a combinatorial lower bound for the depth of generalized binomial edge ideals. Subsequently, we determine an upper bound for the depth of generalized binomial edge ideals in terms of the vertex-connectivity of graphs. We demonstrate that the difference between the upper and lower bounds can be arbitrarily large, even in cases when one of the bounds is sharp. In addition, we calculate the depth of generalized binomial edge ideals of certain classes of graphs, including cyclic graphs and graphs with Cohen-Macaulay binomial edge ideals.
Spectral integral variation of signed graphs
We characterize when the spectral variation of the signed Laplacian matrices is integral after a new edge is added to a signed graph. As an application, for every fixed signed complete graph, we fully characterize the class of signed graphs to which one can recursively add new edges keeping spectral integral variation to make the signed complete graph.
Design spectra for 6-regular graphs with 12 vertices
The design spectrum of a simple graph $G$ is the set of positive integers $n$ such that there exists an edgewise decomposition of the complete graph $K_n$ into $n(n - 1)/(2 |E(G)|)$ copies of $G$. We compute the design spectra for 7788 6-regular graphs with 12 vertices.
Ordered Ramsey numbers of powers of paths
Given two vertex-ordered graphs $G$ and $H$, the ordered Ramsey number $R_<(G,H)$ is the smallest $N$ such that whenever the edges of a vertex-ordered complete graph $K_N$ are red/blue-coloured, then there is a red (ordered) copy of $G$ or a blue (ordered) copy of $H$. Let $P_n^t$ denote the $t$-th power of a monotone path on $n$ vertices. The ordered Ramsey numbers of powers of paths have been extensively studied. We prove that there exists an absolute constant $C$ such that $R_<(K_s,P_n^t)\leq R(K_s,K_t)^{C} \cdot n$ holds for all $s,t,n$, which is tight up to the value of $C$. As a corollary, we obtain that there is an absolute constant $C$ such that $R_<(K_n,P_n^t)\leq n^{Ct}$. These results resolve a problem and a conjecture of Gishboliner, Jin and Sudakov. Furthermore, we show that $R_<(P_n^t,P_n^t)\leq n^{4+o(1)}$ for any fixed $t$. This answers questions of Balko, Cibulka, Král and Kynčl, and of Gishboliner, Jin and Sudakov.
Mutual-visibility problems on graphs of diameter two
The mutual-visibility problem in a graph $G$ asks for the cardinality of a largest set of vertices $S\subseteq V(G)$ so that for any two vertices $x,y\in S$ there is a shortest $x,y$-path $P$ so that all internal vertices of $P$ are not in $S$. This is also said as $x,y$ are visible with respect to $S$, or $S$-visible for short. Variations of this problem are known, based on the extension of the visibility property of vertices that are in and/or outside $S$. Such variations are called total, outer and dual mutual-visibility problems. This work is focused on studying the corresponding four visibility parameters in graphs of diameter two, throughout showing bounds and/or closed formulae for these parameters.
The mutual-visibility problem in the Cartesian product of two complete graphs is equivalent to (an instance of) the celebrated Zarankievicz's problem. Here we study the dual and outer mutual-visibility problem for the Cartesian product of two complete graphs and all the mutual-visibility problems for the direct product of such graphs as well. We also study all the mutual-visibility problems for the line graphs of complete and complete bipartite graphs. As a consequence of this study, we present several relationships between the mentioned problems and some instances of the classical Turán problem. Moreover, we study the visibility problems for cographs and several non-trivial diameter-two graphs of minimum size.
On the Constructor-Blocker Game
Published
• View Publication
• BIB
In the Constructor-Blocker game, two players, Constructor and Blocker, alternatively claim unclaimed edges of the complete graph $K_n$. For given graphs $F$ and $H$, Constructor can only claim edges that leave her graph $F$-free, while Blocker has no restrictions. Constructor's goal is to build as many copies of $H$ as she can, while Blocker attempts to stop this. The game ends once there are no more edges that Constructor can claim. The score $g(n,H,F)$ of the game is the number of copies of $H$ in Constructor's graph at the end of the game, when both players play optimally and Constructor plays first. In this paper, we extend results of Patkós, Stojaković and Vizer on $g(n, H, F)$ to many pairs of $H$ and $F$: We determine $g(n, H, F)$ when $H=K_r$ and $χ(F)>r$, also when both $H$ and $F$ are odd cycles, using Szemerédi's Regularity Lemma. We also obtain bounds of $g(n, H, F)$ when $H=K_3$ and $F=K_{2,2}$.
Extending simple monotone drawings
Published in Combinatorial Algorithms (2025) 17-30
• View Publication
• BIB
We prove the following variant of Levi's Enlargement Lemma: for an arbitrary arrangement $\mathcal{A}$ of $x$-monotone pseudosegments in the plane and a pair of points $a,b$ with distinct $x$-coordinates and not on the same pseudosegment, there exists a simple $x$-monotone curve with endpoints $a,b$ that intersects every curve of $\mathcal{A}$ at most once. As a consequence, every simple monotone drawing of a graph can be extended to a simple monotone drawing of a complete graph. We also show that extending an arrangement of cylindrically monotone pseudosegments is not always possible; in fact, the corresponding decision problem is NP-hard.
Truncated degree DP-colourability of $K_{2,4}$-minor free graphs
Assume $G$ is a graph and $k$ is a positive integer. Let $f$ from $V(G)$ to $ N$ be defined as $f(v)$ is the minimum of $k$ and $d(v)$. If $G$ is $f$-DP-colourable (respectively, $f$-choosable), then we say $G$ is $k$-truncated degree DP-colourable (respectively, $k$-truncated degree-choosable). Hutchinson proved that 2-connected maximal outerplanar graphs other than the triangle are $5$-truncated degree-choosable, and asked whether the result can be extended to all outerplanar graphs, and the question remained open.
This paper proves that 2-connected $K24$-minor free graphs other than cycles and complete graphs are $5$-truncated degree DP-colourable. This not only answers Hutchinson's question in the affirmative, but also extends to a larger family of graphs, and strengthens choosability to DP-colourability.
Theoretical Studies of the k-Strong Roman Domination Problem
The concept of Roman domination has been a subject of intrigue for more than two decades with the fundamental Roman domination problem standing out as one of the most significant challenges in this field. This article studies a practically motivated generalization of this problem, known as the k-strong Roman domination. In this variation, defenders within a network are tasked with safeguarding any k vertices simultaneously, under multiple attacks. The objective is to find a feasible mapping that assigns an (integer) weight to each vertex of the input graph with a minimum sum of weights across all vertices. A function is considered feasible if any non-defended vertex, i.e. one labeled by zero, is protected by at least one of its neighboring vertices labeled by at least two. Furthermore, each defender ensures the safety of a non-defended vertex by imparting a value of one to it while always retaining a one for themselves. To the best of our knowledge, this paper represents the first theoretical study on this problem. The study presents results for general graphs, establishes connections between the problem at hand and other domination problems, and provides exact values and bounds for specific graph classes, including complete graphs, paths, cycles, complete bipartite graphs, grids, and a few selected classes of convex polytopes. Additionally, an attainable lower bound for general cubic graphs is provided.
Separating path systems in complete graphs
Published
• View Publication
• BIB
We prove that in any $n$-vertex complete graph there is a collection $\mathcal{P}$ of $(1 + o(1))n$ paths that strongly separates any pair of distinct edges $e, f$, meaning that there is a path in $\mathcal{P}$ which contains $e$ but not $f$. Furthermore, for certain classes of $n$-vertex $αn$-regular graphs we find a collection of $(\sqrt{3 α+ 1} - 1 + o(1))n$ paths that strongly separates any pair of edges. Both results are best-possible up to the $o(1)$ term.
An intermediate case of exponential multivalued forbidden matrix configuration
The forbidden number forb$(m,F)$, which denotes the maximum number of distinct columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\cdots,r-1\}$. forb$(m,r,F)$ is the maximum number of distinct columns in an $r$-matrix with no submatrix that is a row and column permutation of $F$. While forb$(m,F)$ is polynomial in $m$, forb$(m,r,F)$ is exponential for $r\geq 3$. Recently, forb$(m,r,F)$ was studied for some small $(0,1)$-matrices $F$, and exact values were determined in some cases. In this paper we study forb$(m,r,M)$ for $M=\begin{bmatrix}0&1\\0&1\\1&0\end{bmatrix}$, which is the smallest matrix for which this forbidden number is unknown. Interestingly, it turns out that this problem is closely linked with the following optimisation problem. For each triangle in the complete graph $K_m$, pick one of its edges. Let $m_e$ denote the number of times edge $e$ is picked. For each $α\in\mathbb{R}$, what is $H(m,α)=\max\sum_{e\in E(K_m)}α^{m_e}$? We establish a relationship between forb$(m,r,M)$ and $H(m,(r-1)/(r-2))$, find upper and lower bounds for $H(m,α)$, and use them to significantly improve known bounds for forb$(m,r,M)$.
On randomized estimators of the Hafnian of a nonnegative matrix
Published
• View Publication
• BIB
Gaussian Boson Samplers aim to demonstrate quantum advantage by performing a sampling task believed to be classically hard. The probabilities of individual outcomes in the sampling experiment are determined by the Hafnian of an appropriately constructed symmetric matrix. For nonnegative matrices, there is a family of randomized estimators of the Hafnian based on generating a particular random matrix and calculating its determinant. While these estimators are unbiased (the mean of the determinant is equal to the Hafnian of interest), their variance may be so high as to prevent an efficient estimation. Here we investigate the performance of two such estimators, which we call the Barvinok and Godsil-Gutman estimators. We find that in general both estimators perform well for adjacency matrices of random graphs, demonstrating a slow growth of variance with the size of the problem. Nonetheless, there are simple examples where both estimators show high variance, requiring an exponential number of samples. In addition, we calculate the asymptotic behavior of the variance for the complete graph. Finally, we simulate the Gaussian Boson Sampling using the Godsil-Gutman estimator and show that this technique can successfully reproduce low-order correlation functions.
Leaky Positive Semidefinite Forcing on Graphs
Published in Involve 18 (2025) 719-735
• View Publication
• BIB
We introduce $\ell$-leaky positive semidefinite forcing and the $\ell$-leaky positive semidefinite number of a graph, $Z_{(\ell)}^+{G}$, which combines the positive semidefinite color change rule with the addition of leaks to the graph. Furthermore, we determine general properties of $Z_{(\ell)}^+{G}$ and $Z_{(\ell)}^+{G}$ for various graphs, including path graphs, complete graphs, wheel graphs, complete bipartite graphs, trees, hypercubes, and prisms. We also define $\ell$-leaky positive semidefinite forts with the purpose of unveiling differences between $\ell$-leaky standard forcing and $\ell$-leaky positive semidefinite forcing.
On Matrix Product Factorization of graphs
Published
• View Publication
• BIB
In this paper, we explore the concept of the ``matrix product of graphs," initially introduced by Prasad, Sudhakara, Sujatha, and M. Vinay. This operation involves the multiplication of adjacency matrices of two graphs with assigned labels, resulting in a weighted digraph. Our primary focus is on identifying graphs that can be expressed as the graphical matrix product of two other graphs. Notably, we establish that the only complete graph fitting this framework is $K_{4n+1}$, and moreover the factorization is not unique. In addition, the only complete bipartite graph that can be expressed as the graphical matrix product of two other graphs is $K_{2n,2m}$ Furthermore, we introduce several families of graphs that exhibit such factorization and, conversely, some families that do not admit any factorization such as wheel graphs, friendship graphs, hypercubes and paths.
The Four-Color Ramsey Multiplicity of Triangles
Published
• View Publication
• BIB
We study a generalization of a famous result of Goodman and establish that asymptotically at least a $1/256$ fraction of all triangles needs to be monochromatic in any four-coloring of the edges of a complete graph. We also show that any large enough extremal construction must be based on a blow-up of one of the two $R(3,3,3)$ Ramsey-colorings of $K_{16}$. This result is obtained through an efficient flag algebra formulation by exploiting problem-specific combinatorial symmetries that also allows us to study some related problems.
Triangle Ramsey numbers of complete graphs
Published in J. Combin. Theory Ser. B 176 (2026), 268--286
• View Publication
• BIB
A graph is $H$-Ramsey if every two-coloring of its edges contains a monochromatic copy of $H$. Define the $F$-Ramsey number of $H$, denoted by $r_F(H)$, to be the minimum number of copies of $F$ in a graph which is $H$-Ramsey. This generalizes the Ramsey number and size Ramsey number of a graph. Addressing a question of Spiro, we prove that \[r_{K_3}(K_t)=\binom{r(K_t)}{3}\] for all sufficiently large $t$. We do so through a result on graph coloring: there exists an absolute constant $K$ such that every $r$-chromatic graph where every edge is contained in at least $K$ triangles must contain at least $\binom{r}{3}$ triangles in total.
4-Chromatic Graphs Have At Least 4 Cycles of Length $0 \bmod 3$
Published
• View Publication
• BIB
A 2018 conjecture of Brewster, McGuinness, Moore, and Noel asserts that for $k \ge 3$, if a graph has chromatic number greater than $k$, then it contains at least as many cycles of length $0 \bmod k$ as the complete graph on $k+1$ vertices. Our main result confirms this in the $k=3$ case by showing every $4$-critical graph contains at least $4$ cycles of length $0 \bmod 3$, and that $K_4$ is the unique such graph achieving the minimum.
We make progress on the general conjecture as well, showing that $(k+1)$-critical graphs with minimum degree $k$ have at least as many cycles of length $0\bmod r$ as $K_{k+1}$, provided $k+1 \ne 0 \bmod r$. We also show that $K_{k+1}$ uniquely minimizes the number of cycles of length $1\bmod k$ among all $(k+1)$-critical graphs, strengthening a recent result of Moore and West and extending it to the $k=3$ case.
Tree universality in positional games
Published in Combinator. Probab. Comp. 34 (2025) 338-358
• View Publication
• BIB
In this paper we consider positional games where the winning sets are tree universal graphs. Specifically, we show that in the unbiased Maker-Breaker game on the complete graph $K_n$, Maker has a strategy to occupy a graph which contains copies of all spanning trees with maximum degree at most $cn/\log(n)$, for a suitable constant $c$ and $n$ being large enough. We also prove an analogous result for Waiter-Client games. Both of our results show that the building player can play at least as good as suggested by the random graph intuition. Moreover, they improve on a special case of earlier results by Johannsen, Krivelevich, and Samotij as well as Han and Yang for Maker-Breaker games.
The Complement of the Djokovic-Winkler Relation
The Djoković-Winkler relation $Θ$ is a binary relation defined on the edge set of a given graph that is based on the distances of certain vertices and which plays a prominent role in graph theory. In this paper, we explore the relatively uncharted ``reflexive complement'' $\overlineΘ$ of $Θ$, where $(e,f)\in \overlineΘ$ if and only if $e=f$ or $(e,f)\notin Θ$ for edges $e$ and $f$. We establish the relationship between $\overlineΘ$ and the set $Δ_{ef}$, comprising the distances between the vertices of $e$ and $f$ and shed some light on the intricacies of its transitive closure $\overlineΘ^*$. Notably, we demonstrate that $\overlineΘ^*$ exhibits multiple equivalence classes only within a restricted subclass of complete multipartite graphs. In addition, we characterize non-trivial relations $R$ that coincide with $\overlineΘ$ as those where the graph representation is disconnected, with each connected component being the (join of) Cartesian product of complete graphs. The latter results imply, somewhat surprisingly, that knowledge about the distances between vertices is not required to determine $\overlineΘ^*$. Moreover, $\overlineΘ^*$ has either exactly one or three equivalence classes.
Star colouring and locally constrained graph homomorphisms
We relate star colouring of even-degree regular graphs to the notions of locally constrained graph homomorphisms to the oriented line graph $ \vec{L}(K_q) $ of the complete graph $ K_q $ and to its underlying undirected graph $ L^*(K_q) $. Our results have consequences for locally constrained graph homomorphisms and oriented line graphs in addition to star colouring. We show that $ L^*(H) $ is a 2-lift of the line graph $ L(H) $ for every graph $ H $. Dvořák, Mohar and Šámal (J. Graph Theory, 2013) proved that for every 3-regular graph $ G $, the line graph of $ G $ is 4-star colourable if and only if $ G $ admits a locally bijective homomorphism to the cube $ Q_3 $. We generalise this result as follows: for $ p\geq 2 $, a $ K_{1,p+1} $-free $ 2p $-regular graph $ G $ admits a $ (p+2) $-star colouring if and only if $ G $ admits a locally bijective homomorphism to $ L^*(K_{p+2}) $. As a result, if a $ K_{p+1} $-free $ 2p $-regular graph $ G $ with $ p\geq 2 $ is $ (p+2) $-star colourable, then $ -2 $ and $ p-2 $ are eigenvalues of $ G $. We also prove the following: (i) for $ p\geq 2 $, a $ 2p $-regular graph $ G $ admits a $ (p+2) $-star colouring if and only if $ G $ has an orientation that admits an out-neighbourhood bijective homomorphism to $ \vec{L}(K_{p+2}) $; (ii) the line graph of a 3-regular graph $ G $ is 4-star colourable if and only if $ G $ is bipartite and distance-two 4-colourable; and (iii) it is NP-complete to check whether a planar 4-regular 3-connected graph is 4-star colourable.