graph
34516 papers tagged with this keyword
A lower bound for the Weisfeiler-Leman dimension of circulant graphs
It is proved that for infinitely many positive integers n, there exists a circulant graph of order n whose Weisfeiler-Leman dimension is at least c\sqrt{log n} for some positive constant c not depending on n.
A new look at twin reduction
Twin reduction defines an equivalence relation on the vertex set of a graph. I give a characterisation of this equivalence relation. A consequence is a structure theorem for the automorphism group of the graph.
$(Δ-1)$-dicolouring of digraphs
In 1977, Borodin and Kostochka conjectured that every graph with maximum degree $Δ\geq 9$ is $(Δ-1)$-colourable, unless it contains a clique of size $Δ$. In 1999, Reed confirmed the conjecture when $Δ\geq 10^{14}$.
We propose different generalisations of this conjecture for digraphs, and prove the analogue of Reed's result for each of them. The chromatic number and clique number are replaced respectively by the dichromatic number and the biclique number of digraphs. If $D$ is a digraph such that $\min(\tildeΔ(D),Δ^+(D)) = Δ\geq 9$, we conjecture that $D$ has dichromatic number at most $Δ-1$, unless either (i) $D$ contains a biclique of size $Δ$, or (ii) $D$ contains a biclique $K$ of size $Δ-2$, a directed $3$-cycle $\vec{C_3}$ disjoint from $K$, and all possible arcs in both directions between $\vec{C_3}$ and $K$. If true, this implies the conjecture of Borodin and Kostochka. We prove it when $Δ$ is large enough, thereby generalising the result of Reed.
We finally give a sufficient condition for a digraph $D$ to have dichromatic number at most $Δ_{\min}(D)-1$, assuming that $Δ_{\min}(D)$ is large enough. In particular, this holds when the underlying graph of $D$ has no clique of size $Δ_{\min}(D)$, thus yielding a third independent generalisation of Reed's result. We further give a hardness result witnessing that our sufficient condition is best possible.
To obtain these new upper bounds on the dichromatic number, we prove a dense decomposition lemma for digraphs having large maximum degree, which generalises to the directed setting the so-called dense decomposition of graphs due to Molloy and Reed. We believe this may be of independent interest, especially as a tool in various applications.
p-Laplacians for Manifold-valued Hypergraphs
Hypergraphs extend traditional graphs by enabling the representation of N-ary relationships through higher-order edges. Akin to a common approach of deriving graph Laplacians, we define function spaces and corresponding symmetric products on the nodes and edges to derive hypergraph Laplacians. While this has been done before for Euclidean features, this work generalizes previous hypergraph Laplacian approaches to accommodate manifold-valued hypergraphs for many commonly encountered manifolds.
Degree-truncated choosability of graphs
A graph $G$ is called degree-truncated $k$-choosable if for every list assignment $L$ with $|L(v)| \ge \min\{d_G(v), k\}$ for each vertex $v$, $G$ is $L$-colourable. Richter asked whether every 3-connected non-complete planar graph is degree-truncated 6-choosable. We answer this question in negative by constructing a 3-connected non-complete planar graph which is not degree-truncated 7-choosable. Then we prove that every 3-connected non-complete planar graph is degree-truncated 16-DP-colourable (and hence degree-truncated $16$-choosable). We further prove that for an arbitrary proper minor closed family ${\mathcal G}$ of graphs, let $s$ be the minimum integer such that $K_{s,t} \notin \mathcal{G}$ for some $t$, then there is a constant $k$ such that every $s$-connected graph $G \in {\mathcal G}$ other than a GDP tree is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable), where a GDP-tree is a graph whose blocks are complete graphs or cycles. In particular, for any surface $Σ$, there is a constant $k$ such that every 3-connected non-complete graph embeddable on $Σ$ is degree-truncated DP-$k$-colourable (and hence degree-truncated $k$-choosable). The $s$-connectedness for graphs in $\mathcal{G}$ (and 3-connectedness for graphs embeddable on $Σ$) is necessary, as for any positive integer $k$, $K_{s-1,k^{s-1}} \in \mathcal{G}$ ($K_{2,k^2}$ is planar) is not degree-truncated $k$-choosable. Also, non-completeness is a necessary condition, as complete graphs are not degree-choosable.
Colorful Minors
We introduce the notion of colorful minors, which generalizes the classical concept of rooted minors in graphs. A $q$-colorful graph is defined as a pair $(G, χ),$ where $G$ is a graph and $χ$ assigns to each vertex a (possibly empty) subset of at most $q$ colors. The colorful minor relation enhances the classical minor relation by merging color sets at contracted edges and allowing the removal of colors from vertices. This framework naturally models algorithmic problems involving graphs with (possibly overlapping) annotated vertex sets. We develop a structural theory for colorful minors by establishing three core theorems characterizing $\mathcal{H}$-colorful minor-free graphs, where $\mathcal{H}$ consists either of a clique or a grid with all vertices assigned all colors, or of grids with colors segregated and ordered on the outer face. Our results reveal that when exclusion is imposed not only on graphs but also to the way colors are distributed in them, a more refined structural landscape appears.
Leveraging our structural insights, we provide a complete classification -- parameterized by the number $q$ of colors -- of all colorful graphs that exhibit the Erdős-Pósa property with respect to colorful minors. On the algorithmic side, we deduce that colorful minor testing is fixed-parameter tractable. Together with the fact that the colorful minor relation forms a well-quasi-order, this implies that every colorful minor-monotone parameter on colorful graphs admits a fixed-parameter algorithm. Furthermore, we derive two algorithmic meta-theorems (AMTs) whose structural conditions are linked to extensions of treewidth and Hadwiger number on colorful graphs. Our results suggest how known AMTs can be extended to incorporate not only the structure of the input graph but also the way the colored vertices are distributed in it.
Universal diameter bounds for random graphs with given degrees
Given a graph $G$, let $\mathrm{diam}(G)$ be the greatest distance between any two vertices of $G$ which lie in the same connected component, and let $\mathrm{diam}^+(G)$ be the greatest distance between any two vertices of $G$; so $\mathrm{diam}^+(G)=\infty$ if $G$ is not connected.
Fix a sequence $(d_1,\ldots,d_n)$ of positive integers, and let $\mathbf{G}$ be a uniformly random connected simple graph with $V(\mathbf{G})=[n]:=\{1,\ldots,n\}$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$. We show that, unless a $1-o(1)$ proportion of vertices have degree $2$, then $\mathbb{E}[\mathrm{diam}(\mathbf{G})]=O(\sqrt{n})$. It is not hard to see that this bound is best possible for general degree sequences (and in particular in the case of trees, in which $\sum_{v=1}^n d_v = 2(n-1)$). We also prove that this bound holds without the connectivity constraint. As a key input to the proofs, we show that graphs with minimum degree $3$ are with high probability connected and have logarithmic diameter: if $\min(d_1,\ldots,d_n) \ge 3$ and $\mathbf{G}$ is a uniformly random simple graph with $V(\mathbf{G})=[n]$ such that $\mathrm{deg}_{\mathbf{G}}(v)=d_v$ for all $v \in [n]$, then $\mathrm{diam}^+(\mathbf{G})=$ $O_{\mathbb{P}}(\log n)$; this bound is also best possible.
On the forts and related parameters of the hypercube graph
In 2018, forts were defined as non-empty subsets of vertices in a graph where no vertex outside the set has exactly one neighbor in the set. Forts have since been used to characterize zero forcing sets, model zero forcing as an integer program, and provide lower bounds on the zero forcing number. In this article, we give a complete characterization of minimum forts in the hypercube graph, showing that they are automorphic to one of two sets. In contrast, non-automorphic minimum zero forcing sets are identified with distinct propagation times. We also derive the fractional zero forcing number and bounds on the fort number of the hypercube. When the hypercube's dimension is a power of two, the fort number and fractional zero forcing number are equal to the domination number, total domination number, and open packing number. Lastly, we present general constructions for minimal forts in the Cartesian product of graphs, reflecting some minimal forts of the hypercube.
Covering Complete Geometric Graphs by Monotone Paths
Given a set $A$ of $n$ points (vertices) in general position in the plane, the \emph{complete geometric graph} $K_n[A]$ consists of all $\binom{n}{2}$ segments (edges) between the elements of $A$. It is known that the edge set of every complete geometric graph on $n$ vertices can be partitioned into $O(n^{3/2})$ crossing-free paths (or matchings). We strengthen this result under various additional assumptions on the point set. In particular, we prove that for a set $A$ of $n$ \emph{randomly} selected points, uniformly distributed in $[0,1]^2$, with probability tending to $1$ as $n\rightarrow\infty$, the edge set of $K_n[A]$ can be covered by $O(n\log n)$ crossing-free paths and by $O(n\sqrt{\log n})$ crossing-free matchings. On the other hand, we construct $n$-element point sets such that covering the edge set of $K_n[A]$ requires a quadratic number of monotone paths.
Reconstruction of real algebraic functions into curves with prescribed Reeb graphs
We discuss reconstructing smooth real algebraic maps onto curves whose Reeb graph is as prescribed. This can be contributed to real algebraic geometry, especially in explicit examples in real algebraic geometry in a new way. The Reeb graph of a smooth function is the space of all connected components of preimages of all single points and a natural quotient space of the manifold with the vertex set being all connected components containing some singular points of it. This gives a strong tool in geometry of manifolds and appeared already in 1950 with Morse functions.
The Reeb graph of the natural height of the unit sphere of dimension at least 2 is a graph with exactly two vertices and one edge. We reconstruct functions, from general finite graphs, conversely. In the differentiable situations, Sharko pioneered this in 2006, followed by Masumoto-Saeki and Michalak, mainly. Related real algebraic situations have been launched and studied by the author. The curve-valued case is first considered here.
Equiangular lines via nodal domains
For given $Δ>0$ and $0<λ<3/\sqrt{2}$, we show that the maximum multiplicity that $λ$ can appear as the second largest eigenvalue of a connected graph with maximum degree at most $Δ$ is $O_{Δ,λ}(1)$. This result answers a question due to Jiang, Tidor, Yao, Zhang and Zhao [Question 6.4, Ann. of Math. (2) 194 (2021), no. 3, 729-743] in the case of $0<λ<3/\sqrt{2}$, and consequently leads to improvements in their results on equiangular lines. Our proof is based on the concept of nodal domains of eigenfunctions. Indeed, we establish a multiplicity estimate in terms of maximum degree and cyclomatic number of the graph, via a novel construction of eigenfunctions with large number of nodal domains.
Correlations in random cluster model at $q=1$
Let $μ$ be a measure that samples a subset of a finite ground set, and let $\mathcal{A}_e$ be the event that element $e$ is sampled. The measure $μ$ is negatively correlated if for any pair of elements $e, f$ one has $μ(\mathcal{A}_e \cap \mathcal{A}_f) - μ(\mathcal{A}_e) μ(\mathcal{A}_f) \leq 0$. A measure is positively correlated if the direction of the inequality is reversed. For the random cluster model on graphs positive correlation between edges is known for $q \geq 1$ due to the FKG inequality, while the negative correlation is only conjectured for $0 \leq q \leq 1$. The main result of this paper is to give a combinatorial formula for the difference in question at $q=1$. Previously, such a formula was known in the uniform spanning tree case, which is a limit of the random cluster model at $q=0$.
Correlation Clustering for General Graphs
Correlation clustering provides a method for separating the vertices of a signed graph into the optimum number of clusters without specifying that number in advance. The main goal in this type of clustering is to minimize the number of disagreements: the number of negative edges inside clusters plus the number of positive edges between clusters. In this paper, we present an algorithm for correlation clustering in general case. Also, we show that there is a necessary and sufficient condition under which the lower bound, maximum number of edge disjoint weakly negative cycles, is equal to minimum number of disagreements. Finally, we prove that the presented algorithm gives a $2$-approximation for a subclass of signed graphs.
Paths and Intersections: Exact Emulators for Planar Graphs
We study vertex sparsification for preserving distances in planar graphs. Given an edge-weighted planar graph with $k$ terminals, the goal is to construct an emulator, which is a smaller edge-weighted planar graph that contains the terminals and exactly preserves the pairwise distances between them. We construct exact planar emulators of size $O(f^2k^2)$ in the setting where terminals lie on $f$ faces in the planar embedding of the input graph. Our result generalizes and interpolates between the previous results of Chang and Ophelders and Goranci, Henzinger, and Peng which is an $O(k^2)$ bound in the setting where all terminals lie on a single face (i.e., $f=1$), and the result of Krauthgamer, Nguyen, and Zondiner, which is an $O(k^4)$ bound for the general case (i.e., $f=k$).
Our construction follows a recent new way of analyzing graph structures, by viewing graphs as paths and their intersections, which we believe is of independent interest.
Breaking the Symmetries of Amenable Graphs
In this paper, we consider two ways of breaking a graph's symmetry: distinguishing labelings and fixing sets. A distinguishing labeling $φ$ of $G$ colors the vertices of $G$ so that the only automorphism of the labeled graph $(G, φ)$ is the identity map. The distinguishing number of $G$, $D(G)$, is the fewest number of colors needed to create a distinguishing labeling of $G$. A subset $S$ of vertices is a fixing set of $G$ if the only automorphism of $G$ that fixes every element in $S$ is the identity map. The fixing number of $G$, $Fix(G)$, is the size of a smallest fixing set. A fixing set $S$ of $G$ can be translated into a distinguishing labeling $φ_S$ by assigning distinct colors to the vertices in $S$ and assigning another color (e.g., the ``null" color) to the vertices not in $S$.
Color refinement is a well-known efficient heuristic for graph isomorphism. A graph $G$ is amenable if, for any graph $H$, color refinement correctly determines whether $G$ and $H$ are isomorphic or not. Using the characterization of amenable graphs by Arvind et al. as a starting point, we show that both $D(G)$ and $Fix(G)$ can be computed in $O((|V(G)|+|E(G)|) \log |V(G)|)$ time when $G$ is an amenable graph.
Generalised wavefunction coefficients and acyclonesto-cosmohedra
Published in J.Phys.A 58 (2025) 465403
• View Publication
• BIB
Scattering amplitudes of $\operatorname{tr}(φ^3)$ theory can be encoded as the canonical form of the Stasheff associahedron. Similarly, the flat-space wavefunction coefficients of the same theory are captured by the recently proposed cosmohedron, a non-simple polytope associated to the Stasheff associahedron; unitarity and locality of the amplitudes and wavefunction coefficients are then encoded in the factorisation properties of faces of these polytopes. In this paper, we argue that these desirable properties of the Stasheff associahedron are shared by a wider class of polytopes called acyclonestohedra and generalise the cosmohedron construction to arbitrary acyclonestohedra.
Acyclonestohedra are generalisations of Stasheff associahedra and graph associahedra defined on the data of a partially ordered set or, more generally, an acyclic realisable matroid on a building set. When the acyclonestohedron is associated to a partially ordered set, it may be interpreted as arising from Chan-Paton-like factors that are only (cyclically) partially ordered, rather than (cyclically) totally ordered as for the ordinary open string. In this paper, we argue that the canonical forms of acyclonestohedra encode scattering-amplitude-like objects that factorise onto themselves, thereby extending recent results for graph associahedra, and construct truncations of acyclonestohedra into acyclonesto-cosmohedra whose canonical forms may be interpreted as encoding a generalisation of the cosmological wavefunction coefficients. As a byproduct, we provide evidence that acyclonesto-cosmohedra can be obtained as sections of graph cosmohedra.
The Fractional Haemers Bound of The Mycielski Construction
We investigate the effect of the generalized Mycielski construction $M_r(G)$ on the complementary fractional Haemers bound $\bar{\mathcal{H}}_f(G; \mathbb{F})$, a parameter that depends on a graph $G$ and a field $\mathbb{F}$. The effect of the Mycielski construction on graph parameters has already been studied for the fractional chromatic number $χ_f$ and the complementary Lovász theta number $\bar{\vartheta}$. Larsen, Propp, and Ullman provided a formula for $ χ_f(M_2(G)) $ in terms of $χ_f(G)$. This was later generalized by Tardif to $ χ_f(M_r(G)) $ for any $r$, and Simonyi and the author gave a similar expression for $ \bar{\vartheta}(M_2(G)) $ in terms of $\bar{\vartheta}(G)$. In this paper, we show that Tardif's formula for the fractional chromatic number remains valid for $ \bar{\mathcal{H}}_f $ whenever $ \bar{\mathcal{H}}_f(G; \mathbb{F})$ equals the clique number of $G$. In particular, we provide a general upper bound on $\bar{\mathcal{H}}_f(M_r(G); \mathbb{F})$ in terms of $\bar{\mathcal{H}}_f(G;\mathbb{F})$ and we prove that this bound is tight whenever $ \bar{\mathcal{H}}_f(G; \mathbb{F})$ equals the clique number of $G$.
Ramsey numbers of sparse graphs versus disjoint books
Let $B_k$ denote a book on $k+2$ vertices and $tB_k$ be $t$ vertex-disjoint $B_k$'s. Let $G$ be a connected graph with $n$ vertices and at most $n(1+ε)$ edges, where $ε$ is a constant depending on $k$ and $t$. In this paper, we show that the Ramsey number $$r(G,tB_k)=2n+t-2$$ provided $n\ge 111t^3k^3$. Our result extends the work of Erdős, Faudree, Rousseau, and Schelp (1988), who established the corresponding result for $G$ being a tree and $t=1$.
Fan-goodness of sparse graphs
Let $G$ be a connected graph of order $n$, $F_k$ be a fan consisting of $k$ triangles sharing a common vertex, and $tF_k$ be $t$ vertex-disjoint copies of $F_k$. Brennan (2017) showed the Ramsey number $r(G,F_k)=2n-1$ for $G$ being a unicyclic graph for $n \geq k^2-k+1$ and $k\ge 18$, and asked the threshold $c(n)$ for which $r(G,F_k) \geq 2n$ holds for any $G$ containing at least $c(n)$ cycles and $n$ being large. In this paper, we consider fan-goodness of general sparse graphs and show that if $G$ has at most $n(1+ε(k))$ edges, where $ε(k)$ is a constant depending on $k$, then $$r(G,F_k)=2n-1$$ for $n\ge 36k^4$, which implies that $c(n)$ is greater than $ε(k) n$. Moreover, if $G$ has at most $n(1+ε(k,t))$ edges, where $ε(k,t)$ is a constant depending on $k,t$, then $$r(G,tF_k)=2n+t-2$$ provided $n\ge 161t^2k^4$.
Explicit geometric construction of Ramsey graphs
We present an explicit geometric construction of a large parametrized family of graphs with no $k$-cliques and with bounded independence number, generalizing the triangle-free Ramsey graphs of Codenotti, Pudlák, and Resta and revisiting the previous generalization by Kostochka, Pudlák and Rödl. Within this framework, we provide a new combinatorial proof of the upper bound on the independence number for their constructions, offering additional insight into the structure of its independent sets. For our generalized family, we establish lower bounds on the independence number and identify necessary constraints on the parameters under which these graphs could yield improved constructive asymptotic lower bounds on $R(s,t)$, with particular emphasis on $R(3,t)$. As a byproduct, we provide a linear-time approximation algorithm for finding the largest independent set within this parametrized family. For a substantial subfamily, this algorithm achieves a $\frac{1}{2}$-approximation ratio. Special attention is given to the case of triangle-free graphs: we describe explicit constructions on $n$ vertices with independence number $O(n^{\frac{2}{3}})$, giving a constructive asymptotic lower bound of $Ω(t^{\frac{3}{2}})$ for the Ramsey numbers $R(3,t)$, matching the best known constructive bound.