graph
35175 papers tagged with this keyword
Undecidability of Polynomial Inequalities in Subset Densities and Additive Energies
Published
• View Publication
• BIB
Many results in extremal graph theory can be formulated as certain polynomial inequalities in graph homomorphism densities. Answering fundamental questions raised by Lov{á}sz, Szegedy and Razborov, Hatami and Norine proved that determining the validity of an arbitrary such polynomial inequality in graph homomorphism densities is undecidable. We observe that many results in additive combinatorics can also be formulated as polynomial inequalities in subset's density and its variants. Based on techniques introduced in Hatami and Norine, together with algebraic and graph construction and Fourier analysis, we prove similarly two theorems of undecidability, thus showing that establishing such polynomial inequalities in additive combinatorics are inherently difficult in their full generality.
On core of categorical product of (di)graphs
The core of a graph is the smallest graph (in terms of number of vertices) to which it is homomorphically equivalent.
The question of the possible order of the core of the tensor product (also known as categorical, Heidetnemi or direct product) of two graphs captures some well known problems. For instance, the recent counterexample to the Hedetniemi conjecture for 5-chromatic graphs is equivalent to saying that there are cores of order at least 5 whose product has a core of order 4.
In this work, motivated by a question from Leonid Libkin in the area of graph databases, we first present methods of building cores whose categorical product is also a core. Extending on this we present sufficient conditions for a set of cores to have a product which is also a core. Presenting an example of such a family of digraphs, we construct a family of $\binom{2n}{n}$ digraphs, where the number of vertices of each is between $n^2+5n+2$ and $3n^2+3n+2$ and the product is a core. We then present a method of transforming the example into a family of graphs.
Extremal Cat Herding
The game of Cat Herding is one in which cat and herder players alternate turns, with the evasive cat moving along non-trivial paths between vertices, and the herder deleting single edges from the graph. Eventually the cat cannot move, and the number of edges deleted is the cat number of the graph. We analyze both when the cat is captured quickly, and when the cat evades capture forever, or for an arbitrarily long time. We develop a reduction construction that retains the cat number of the graph, and classify all (reduced) graphs that have cat number 3 or less as a finite set of graphs. We expand on a logical characterization of infinite Cat Herding on trees to describe all infinite graphs on which the cat can evade capture forever. We also provide a brief characterization of the graphs on which the cat can score arbitrarily high. We conclude by motivating a definition of cat herding ordinals for future research.
Odd clique minors in graphs with independence number two
A $K_t$-expansion consists of $t$ vertex-disjoint trees, every two of which are joined by an edge. We call such an expansion odd if its vertices can be two-colored so that the edges of the trees are bichromatic but the edges between trees are monochromatic. A graph contains an odd $K_t$ minor or an odd clique minor of order $t$ if it contains an odd $K_t$-expansion. Gerards and Seymour from 1995 conjectured that every graph $G$ contains an odd $K_{χ(G)}$ minor, where $χ(G)$ denotes the chromatic number of $G$. This conjecture is referred to as ``Odd Hadwiger's Conjecture". Let $α(G)$ denote the independence number of a graph $G$. In this paper we investigate the Odd Hadwiger's Conjecture for graphs $G$ with $α(G)\le2$. We first observe that a graph $G$ on $n$ vertices with $α(G)\le2$ contains an odd $K_{χ(G)}$ minor if and only if $G$ contains an odd clique minor of order $\lceil n/2\rceil$. We then prove that every graph $G$ on $n$ vertices with $α(G)\le 2$ contains an odd clique minor of order $\lceil n/2\rceil$ if $G$ contains a clique of order $n/4$ when $n$ is even and $(n+3)/4$ when $n$ is odd, or $G$ does not contain $H$ as an induced subgraph, where $α(H)\le 2$ and $H$ is an induced subgraph of $K_1 + P_4$, $K_2+(K_1\cup K_3)$, $K_1+(K_1\cup K_4)$, $K_7^-$, $K_7$, or the kite graph.
Homomorphism Indistinguishability Relations induced by Quantum Groups
Homomorphism indistinguishability is a way of characterising many natural equivalence relations on graphs. Two graphs $G$ and $H$ are called homomorphism indistinguishable over a graph class $\mathcal{F}$ if for each $F \in \mathcal{F}$, the number of homomorphisms from $F$ to $G$ equals the number of homomorphisms from $F$ to $H$. Examples of such equivalence relations include isomorphism and cospectrality, as well as equivalence with respect to many formal logics. Quantum groups are a generalisation of topological groups that describe "non-commutative symmetries" and, inter alia, have applications in quantum information theory. An important subclass are the easy quantum groups, which enjoy a combinatorial characterisation and have been fully classified by Raum and Weber. A recent connection between these seemingly distant concepts was made by Mančinska and Roberson, who showed that quantum isomorphism, a relaxation of classical isomorphism that can be phrased in terms of the quantum symmetric group, is equivalent to homomorphism indistinguishability over the class of planar graphs. We generalise Mančinska and Roberson's result to all orthogonal easy quantum groups. We obtain for each orthogonal easy quantum group a graph isomorphism relaxation $\approx$ and a graph class $\mathcal{F}$, such that homomorphism indistinguishability over $\mathcal{F}$ coincides with $\approx$. Our results include a full classification of the $(0, 0)$-intertwiners of the graph-theoretic quantum group obtained by adding the adjacency matrix of a graph to the intertwiners of an orthogonal easy quantum group.
$(2k+1)$-Neighborhood Balanced Coloring
Let $G=(V,E)$ be a simple graph and $(2k+1)$ be a prime integer. Let each vertex of $G$ be colored using one of the $(2k+1)$ colors, say $R_1,R_2,...,R_{2k+1}$. If every vertex has an equal number of neighbors of each color, then the coloring is a $(2k+1)$-neighborhood balanced coloring. We establish a number of results for common families of graphs and present some families of graphs that have this property.
An example showing that Schrijver's $\vartheta$-function need not upper bound the Shannon capacity of a graph
Published in AIMS Mathematics, vol. 10, no. 7, paper 685, pp. 15294--15301, July 2025
• View Publication
• BIB
This letter addresses an open question concerning a variant of the Lovász $\vartheta$ function, which was introduced by Schrijver and independently by McEliece et al. (1978). The question of whether this variant provides an upper bound on the Shannon capacity of a graph was explicitly stated by Bi and Tang (2019). This letter presents an explicit example of a Tanner graph on 32 vertices, which shows that, in contrast to the Lovász $\vartheta$ function, this variant does not necessarily upper bound the Shannon capacity of a graph. The example, previously outlined by the author in a recent paper (2024), is presented here in full detail, making it easy to follow and verify. By resolving this question, the note clarifies a subtle but significant distinction between these two closely related graph invariants.
Isomorphisms of unit distance graphs of layers
Published
• View Publication
• BIB
For any $\varepsilon \in (0,+\infty)$, consider the metric spaces $\mathbb{R} \times [0,\varepsilon]$ in the Euclidean plane named layers or strips. B. Baslaugh in 1998 found the minimal width $\varepsilon \in (0,1)$ of a layer such that its unit distance graph contains a cycle of a given odd length $k$. The first of the main results of this paper is the fact that the unit distance graphs of two layers $\mathbb{R} \times [0,\varepsilon_1], \mathbb{R} \times [0,\varepsilon_2]$ are non-isomorphic for any different values $\varepsilon_1,\varepsilon_2 \in (0,+\infty)$.
We also get a multidimensional analogue of this theorem. For given $n,m \in \mathbb{N}, p \in (1,+\infty), \varepsilon \in (0,+\infty)$, we say that the metric space on $\mathbb{R}^n \times [0,\varepsilon]^m$ with the metric space distance generated by $l_p$-norm in $\mathbb{R}^{n+m}$ is a layer $L(n,m,p,\varepsilon)$. We show that the unit distance graphs of layers $L(n,m,p,\varepsilon_1), L(n,m,p,\varepsilon_2)$ are non-isomorphic for $\varepsilon_1 \neq \varepsilon_2$.
The third main result of this paper is the theorem that, for $n \geq 2, \varepsilon > 0$, any automorphism $φ$ of the unit distance graph of layer $L = L(n,1,2,\varepsilon) = \mathbb{R}^n \times [0,\varepsilon]$ is an isometry. This is related to the Beckman-Quarles theorem of 1953, which states that any unit-preserving mapping of $\mathbb{R}^n$ is an isometry, and to the rational analogue of this theorem obtained by A. Sokolov in 2023.
Defects in weighted graphs and Commutators
Published
• View Publication
• BIB
Let $R$ be a commutative ring. In \cite{KK_2025(1)}, the authors introduced $R$-weighted graphs as a tool for studying commutators in groups and Lie algebras. These graphs are equivalent to a system of balance equations, and their consistent labelings correspond to solutions of this system of balance equations. In this article, we apply these ideas in the case when $R$ is a field $F$. We focus on $F$-weighted graphs with four vertices and establish necessary and sufficient conditions for the existence of consistent labelings on them. A notion of defects in weighted graphs is introduced for this purpose. We prove that defects in weighted graphs prevent Lie brackets from being surjective onto its derived Lie subalgebra. Similarly, these defects prevent certain elements in the commutator subgroup of a nilpotent group of class $2$ from being a commutator. As an application of our techniques, we prove that for a Lie algebra $L$ whose dimension over $F$ is at most countable and the dimension of its derived subalgebra $L'$ is at most $3$, the Lie bracket is surjective onto $L'$. We provide a counterexample when $\dim(L') = 4$. We also characterize commutators among $L$' for the Lie algebras $L$ with $\dim(L/Z(L))\leq 4$.
Perfect state transfer on graphs with clusters
Using graphs with clusters, we provide a unified approach for constructing graphs with pair state transfer-relative to the adjacency, Laplacian, and signless Laplacian matrix-between the same pair of states at the same time, despite being non-regular. We show that for each $k\geq 5$, there are infinitely many connected graphs with maximum valency $k$ admitting this property. This framework also aids in establishing sufficient conditions for pair state transfer in edge-perturbed graphs, including complete graphs and complete bipartite graphs. Furthermore, we utilize graph products to generate new infinite families of graphs with the above property.
A decomposition structure of resonance graphs that are daisy cubes
Published
• View Publication
• BIB
It has recently been shown in [\emph{Discrete Appl. Math.} {\bf 366} (2025) 75--85] that the resonance graph of a plane elementary bipartite graph $G$ is a daisy cube if and only if $G$ is peripherally 2-colorable. Let $G$ be a peripherally 2-colorable graph and $R(G)$ be its resonance graph. We provide a decomposition structure of $R(G)$ with respect to an arbitrary finite face of $G$ together with a proper labelling for the vertex set of $R(G)$. An algorithm is obtained to generate a proper labelling for all perfect matchings of $G$ which induces an isometric embedding of $R(G)$ as a daisy cube into an $n$-dimensional hypercube, where $n$ is the isometric dimension of $R(G)$. Moreover, the algorithm can be applied to generate such a proper labelling for all perfect matchings of any plane weakly elementary bipartite graph whose each elementary component with more than two vertices is peripherally 2-colorable. We also compare two binary codings for all perfect matchings of $G$ which induces distinct structures on $R(G)$: one as a daisy cube and the other as a finite distributive, respectively.
Reconfiguration of List Colourings
Given a proper (list) colouring of a graph $G$, a recolouring step changes the colour at a single vertex to another colour (in its list) that is currently unused on its neighbours, hence maintaining a proper colouring. Suppose that each vertex $v$ has its own private list $L(v)$ of allowed colours such that $|L(v)|\ge \mbox{deg}(v)+1$. We prove that if $G$ is connected and its maximum degree $Δ$ is at least $3$, then for any two proper $L$-colourings in which at least one vertex can be recoloured, one can be transformed to the other by a sequence of $O(|V(G)|^2)$ recolouring steps. We also show that reducing the list-size of a single vertex $w$ to $\mbox{deg}(w)$ can lead to situations where the space of proper $L$-colourings is `shattered'. Our results can be interpreted as showing a sharp phase transition in the Glauber dynamics of proper $L$-colourings of graphs. This constitutes a `local' strengthening and generalisation of a result of Feghali, Johnson, and Paulusma, which considered the situation where the lists are all identical to $\{1,\ldots,Δ+1\}$.
Three-edge-coloring (Tait coloring) cubic graphs on the torus: A proof of Grünbaum's conjecture
Published
• View Publication
• BIB
We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the torus, with the exceptional graph class called "Petersen-like", is 3-edge-colorable. This means every (non-trivial) toroidal snark can be obtained from several copies of the Petersen graph using the dot product operation. The first two snarks in this family are the Petersen graph and one of Blanuša snarks; the rest are exposed by Vodopivec in 2008. This proves a strengthening of the well-known, long-standing conjecture of Grünbaum from 1968.
This implies that a 2-connected cubic (multi)graph that can be embedded in the torus is not 3-edge-colorable if and only if it can be obtained from a dot product of copies of the Petersen graph by replacing its vertices with 2-edge-connected planar cubic (multi)graphs. Here, replacing a vertex $v$ in a cubic graph $G$ is the operation that takes a 2-connected planar cubic multigraph $H$ and one of its vertices $u$ of degree 3, unifying $G-v$ and $H-u$ and connecting the neighbors of $v$ in $G-v$ with the neighbors of $u$ in $H-u$ with a matching.
This result is a highly nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability.
An important consequence of this result is a very strong version of the Tutte 4-Flow Conjecture for toroidal graphs. We show that a 2-edge connected graph embedded in the torus admits a nowhere-zero 4-flow unless it is Petersen-like (in which case it does not admit nowhere-zero 4-flows). Observe that this is a vast strengthening over the Tutte 4-Flow Conjecture on the torus, which assumes that the graph does not contain the Petersen graph as a minor because almost all toroidal graphs contain the Petersen graph minor, but almost none are Petersen-like.
Components of Flip Graph of Triangulated S^3
Let (\mathcal{F}(n)) be the graph of (n)-vertex triangulations of the 3-sphere (S^3), with edges as bistellar 2--3 and 3--2 moves. Pachner's theorem \cite{P91} shows the flip graph is connected with 1--4 and 4--1 moves, but (\mathcal{F}(n)) loses connectivity: it is connected for (5 \leq n \leq 9) ((n=5) minimal for (S^3)) but splits into multiple components at (n=16), (n=20), (n=21), and likely beyond. The polytopal closure of (\mathcal{F}(n)) is the component with all boundary complexes of convex 4-polytopes. We prove (\mathcal{F}(10)) and (\mathcal{F}(11)) are connected by showing: every non-polytopal 10-vertex seed triangulation (no 3--2 flips) is one 2--3 flip from a convex-polytope boundary, and every 11-vertex seed triangulation arises from a 10-vertex convex polytope via a 1--4 flip and 2--3 or 3--2 flips, both in the polytopal closure. We address four unflippable (S^3) complexes ((U(16)), (U(20)), (U_1(21)), (U_2(21))), showing each connects to the polytopal closure of (\mathcal{F}(n+1)) after one 1--4 vertex insertion and an annealing process maximizing removable-vertex chains. We propose the Weeping Willow Conjecture: non-polytopal components of (\mathcal{F}(n)) stem from the polytopal closure of (\mathcal{F}(m)), (m > n), via 4--1 moves, with the polytopal closure as the trunk and other components as branches.
The Chromatic Symmetric Function for Unicyclic Graphs
Published
• View Publication
• BIB
Motivated by the question of which structural properties of a graph can be recovered from the chromatic symmetric function (CSF), we study the CSF of connected unicyclic graphs. While it is known that there can be non-isomorphic unicyclic graphs with the same CSF, we find experimentally that such examples are rare for graphs with up to 17 vertices. In fact, in many cases we can recover data such as the number of leaves, number of internal edges, cycle size, and number of attached non-trivial trees, by extending known results for trees to unicyclic graphs. These results are obtained by analyzing the CSF of a connected unicyclic graph in the $\textit{star-basis}$ using the deletion-near-contraction (DNC) relation developed by Aliste-Prieto, Orellana and Zamora, and computing the "leading" partition, its coefficient, as well as coefficients indexed by hook partitions. We also give explicit formulas for star-expansions of several classes of graphs, developing methods for extracting coefficients using structural properties of the graph.
Coarse Balanced Separators and Tree-Decompositions
A classical result of Robertson and Seymour (1986) states that the treewidth of a graph is linearly tied to its separation number: the smallest integer $k$ such that, for every weighting of the vertices, the graph admits a balanced separator of size at most $k$. Motivated by recent progress on coarse treewidth, Abrishami, Czyżewska, Kluk, Pilipczuk, Pilipczuk, and Rzążewski (2025) conjectured a coarse analogue to this result: every graph that has a balanced separator consisting of a bounded number of balls of bounded radius is quasi-isometric to a graph with bounded treewidth. In this paper, we confirm their conjecture for $K_{t,t}$-induced-subgraph-free graphs when the separator consists of a bounded number of balls of radius $1$. In doing so, we bridge two important conjectures concerning the structure of graphs that exclude a planar graph as an induced minor.
Generalised Erdős distance theory on graphs
The famous Erdős distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hyper)graph, $g$ is a map assigning polynomial measurements to the edges of $G$ and $f_{g,G}(P^V)$ gives the set of $g$-distinct realisations of the $g$-rigid graph $G$, where vertices must lie in a point set $P$, our main results describe sharp lower bounds for the size of $\big|f_{g,G}(P^V)\big|$. This allows us to obtain results for pseudo-Euclidean metrics, $\ell_p$ metrics, dot-product problems, matrix completion problems, and symmetric tensor completion problems.
In addition, we use the recent work of Alon, Bucić and Sauermann along with a simple colouring argument to prove that the number of $\| \cdot\|$-distinct realisations of a graph $G=(V,E)$ within a $d$-dimensional point set $P$ is at least $Ω\left(\frac{|P|^{|V|-1}}{(\log |P|)^2} \right)$ for almost all $d$-norms. Our methods here also provide a short proof that the unit distance conjecture implies the pinned distance conjecture.
Shellability of Higher Independence Complexes of Graphs
This paper investigates the shellability of $r$-independence complexes $\mathcal{I}_r(G)$, a generalization of classical independence complexes introduced by Paolini and Salvetti. For a graph $G$, a subset $A \subseteq V(G)$ is $r$-independent if every connected component of the induced subgraph $G[A]$ has at most $r$ vertices. The associated simplicial complex $\mathcal{I}_r(G)$ has been the subject of significant interest due to its connections to combinatorial topology and commutative algebra. We address the classification problem for shellable $r$-independence complexes, focusing on block graphs, trees, and related families. Our main results establish sufficient conditions for shellability based on structural graph parameters such as diameter and forbidden subgraphs. Furthermore, we develop constructive techniques for generating shellable complexes through graph operations, including star-clique attachments, clique whiskering, and clique cycle constructions. These results extend and refine earlier work on classical independence complexes and provide a framework for understanding the topological and algebraic properties of higher independence complexes in structured graph families.
Counting subgraphs of coloring graphs using shadow graphs
Published
• View Publication
• BIB
Given a graph $G$, the $k$-coloring graph $\mathcal{C}_k(G)$ is constructed by selecting proper $k$-colorings of $G$ as vertices, with an edge between two colorings if they differ in the color of exactly one vertex. The number of vertices in $\mathcal{C}_k(G)$ is the famous chromatic polynomial of $G$. Asgarli, Krehbiel, Levinson and Russell showed that for any subgraph $H$, the number of induced copies of $H$ in $\mathcal{C}_k(G)$ is a polynomial function in $k$. Hogan, Scott, Tamitegama, and Tan found a shorter proof for polynomiality of these chromatic $H$-polynomials. In this paper, we provide a method of constructing these polynomials explicitly in terms of chromatic polynomials of shadow graphs. We illustrate the practicality of our formulas by computing an explicit formula for $H$-polynomial for trees when $H=Q_d$ is an arbitrary hypercube, a task which does not seem approachable from previous methods. The coefficients of the resulting polynomials feature generalized degree sequences introduced by Crew. In the special case when $H=P_2$, the corresponding polynomial is dubbed the chromatic pairs polynomial. We present a pair of graphs $G_1$ and $G_2$ sharing the same chromatic pairs polynomial but different chromatic polynomials, disproving a conjecture raised by Asgarli, Krehbiel, Levinson and Russell.
Minimal $L^p$-congestion spanning trees on weighted graphs
A generalization of the notion of spanning tree congestion for weighted graphs is introduced. The $L^p$ congestion of a spanning tree is defined as the $L^p$ norm of the edge congestion of that tree. In this context, the classical congestion is the $L^\infty$-congestion. Explicit estimations of the minimal spanning tree $L^p$ congestion for some families of graphs are given. In addition, we introduce a polynomial-time algorithm for approximating the minimal $L^p$-congestion spanning tree in any weighted graph and another two similar algorithms for weighted planar graphs. The performance of these algorithms is tested in several graphs.