graph
34516 papers tagged with this keyword
Eigenvalue conditions implying edge-disjoint spanning trees and a forest with constraints
Let $G$ be a nontrivial graph with minimum degree $δ$ and $k$ an integer with $k\ge 2$. In the literature, there are eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees. We give eigenvalue conditions that imply $G$ contains $k$ edge-disjoint spanning trees and another forest $F$ with $|E(F)|>\frac{δ-1}δ(|V(G)|-1)$, and if $F$ is not a spanning tree, then $F$ has a component with at least $δ$ edges.
Erdős Conjecture and AR-Labeling
Given an edge labeling $f$ of a graph $G$, a vertex $v$ is called an $AR$-vertex, if $v$ has distinct edge weight sums for each distinct subset of edges incident on $v$. An injective edge labeling $f$ of a graph $G$ is called an $AR$-labeling of $G$, if $f:E(G) \rightarrow \mathbb{N}$ is such that every vertex in $G$ is an $AR$-vertex under $f$. The minimum $k$ such that there exists an $AR$-labeling $f:E\rightarrow \{1,2,3,\dots,k\}$ is called the $AR$-index of G, denoted by $ARI(G)$. In this paper, using a sequence originating from Erdős subset sum conjecture, a lower bound has been obtained for the $AR$-index of a graph and this bound is used to prove that only finitely many bistars, complete graphs and complete bipartite graphs are $AR$-graphs. The exact values of $AR$-index is obtained for stars and wheels.
Around the Merino--Welsh conjecture: improving Jackson's inequality
The Merino-Welsh conjecture states that for a graph $G$ without loops and bridges we have $$\max(T_G(2,0),T_G(0,2))\geq T_G(1,1).$$ Later Jackson proved that for any matroid $M$ without loop and coloop we have $$T_M(3,0)T_M(0,3)\geq T_M(1,1)^2.$$ The value $3$ in this statement was improved to $2.9242$ by Beke, Csáji, Csikvári and Pituk. In this paper, we further improve on this result by showing that $$T_M(2.355,0)T_M(0,2.355)\geq T_M(1,1)^2.$$ We also prove that the Merino--Welsh conjecture is true for matroids $M$, where all circuits of $M$ and its dual $M^*$ have length between $\ell$ and $(\ell-2)^4$ for some $\ell\geq 6$.
Block structures of graphs and quantum isomorphism
We prove that for every pair of quantum isomorphic graphs, their block trees and their block graphs are isomorphic, and that such an isomorphism can be chosen so that the corresponding blocks are quantum isomorphic -- in particular, 2-connectedness is preserved under quantum isomorphism. We conclude with some corollaries, including obtaining some necessary conditions on a pair of quantum isomorphic, not isomorphic graphs with a minimal number of vertices.
On Clique Graphs and Clique Regular Graphs
If $Γ$ is a graph for which every edge is in exactly one clique of order $ω$, then one can form a new graph with vertex set equal to these cliques. This is a generalization of the line graph of $Γ$. We discover many general results and classifications related to these clique graph that will be useful to researchers studying these objects. In particular, we find bounds on its eigenvalues (with exact results when $Γ$ is $k$-regular) and some complete classifications when $Γ$ is strongly regular. We apply our results to many examples, including Conway's 99-graph problem and the existence problem for other strongly regular graphs.
Merge-width and First-Order Model Checking
We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new decompositions called construction sequences. These are sequences of ever coarser partitions of the vertex set, where each pair of parts has a specified default connection, and all vertex pairs of the graph that differ from the default are marked as resolved. The radius-$r$ merge-width is the maximum number of parts reached from a vertex by following a path of at most $r$ resolved edges. Graph classes of bounded merge-width -- for which the radius-$r$ merge-width parameter can be bounded by a constant, for each fixed $r=1,2,3,\ldots$ -- include all classes of bounded expansion or of bounded twin-width, thus unifying two central notions from the Sparsity and Twin-width frameworks. Furthermore, they are preserved under first-order transductions, which attests to their robustness. We conjecture that classes of bounded merge-width are equivalent to the previously introduced classes of bounded flip-width.
As our main result, we show that the model checking problem for first-order logic is fixed-parameter tractable on graph classes of bounded merge-width, assuming the input includes a witnessing construction sequence. This unites and extends two previous model checking results: the result of Dvořák, Král, and Thomas for classes of bounded expansion, and the result of Bonnet, Kim, Thomassé, and Watrigant for classes of bounded twin-width.
Finally, we suggest future research directions that could impact the study of structural and algorithmic graph theory, in particular of monadically dependent graph classes, which we conjecture to coincide with classes of almost bounded merge-width.
Variable degeneracy of planar graphs without chorded 6-cycles
Published in Acta Mathematica Sinica (English Series), 40 (2024) 2735--2750
• View Publication
• BIB
A cover of a graph $G$ is a graph $H$ with vertex set $V(H) = \bigcup_{v \in V(G)} L_{v}$, where $L_{v} = \{v\} \times [s]$, and the edge set $M = \bigcup_{uv \in E(G)} M_{uv}$, where $M_{uv}$ is a matching between $L_{u}$ and $L_{v}$. A vertex set $T \subseteq V(H)$ is a transversal of $H$ if $|T \cap L_{v}| = 1$ for each $v \in V(G)$. Let $f$ be a nonnegative integer valued function on the vertex-set of $H$. If for any nonempty subgraph $Γ$ of $H[T]$, there exists a vertex $x \in V(H)$ such that $d(x) < f(x)$, then $T$ is called a strictly $f$-degenerate transversal. In this paper, we give a sufficient condition for the existence of strictly $f$-degenerate transversal for planar graphs without chorded $6$-cycles. As a consequence, every planar graph without subgraphs isomorphic to the configurations in Fig. 4 is DP-$4$-colorable.
Planar graphs with distance of 3-cycles at least 2 and no cycles of lengths 5, 6, 7
Published in Applied Mathematics and Computation, 481 (2024) 128946
• View Publication
• BIB
Weak degeneracy of a graph is a variation of degeneracy that has a close relationship to many graph coloring parameters. In this article, we prove that planar graphs with distance of $3$-cycles at least 2 and no cycles of lengths $5, 6, 7$ are weakly $2$-degenerate. Furthermore, such graphs can be vertex-partitioned into two subgraphs, one of which has no edges, and the other is a forest.
Realizing degree sequences with $\mathcal S_3$-connected graphs
A graph $G$ is $\mathcal S_3$-connected if, for any mapping $β: V (G) \mapsto {\mathbb Z}_3$ with $\sum_{v\in V(G)} β(v)\equiv 0\pmod3$, there exists a strongly connected orientation $D$ satisfying $d^{+}_D(v)-d^{-}_D(v)\equiv β(v)\pmod{3}$ for any $v \in V(G)$. It is known that $\mathcal S_3$-connected graphs are contractible configurations for the property of flow index strictly less than three. In this paper, we provide a complete characterization of graphic sequences that have an $\mathcal{S}_{3}$-connected realization: A graphic sequence $π=(d_1,\, \ldots,\, d_n )$ has an $\mathcal S_3$-connected realization if and only if $\min \{d_1,\, \ldots,\, d_n\} \ge 4$ and $\sum^n_{i=1}d_i \ge 6n - 4$. Consequently, every graphic sequence $π=(d_1,\, \ldots,\, d_n )$ with $\min \{d_1,\, \ldots,\, d_n\} \ge 6$ has a realization $G$ with flow index strictly less than three. This supports a conjecture of Li, Thomassen, Wu and Zhang [European J. Combin., 70 (2018) 164-177] that every $6$-edge-connected graph has flow index strictly less than three.
On connected subgraph arrangements
Recently, Cuntz and Kühne introduced a particular class of hyperplane arrangements stemming from a given graph $G$, so called connected subgraph arrangements $A_G$. In this note we strengthen some of the result from their work and prove new ones for members of this class. For instance, we show that aspherical members withing this class stem from a rather restricted set of graphs. Specifically, if $A_G$ is an aspherical connected subgraph arrangement, then $A_G$ is free with the unique possible exception when the underlying graph $G$ is the complete graph on $4$ nodes.
Connectivity for square percolation and coarse cubical rigidity in random right-angled Coxeter groups
We consider random right-angled Coxeter groups, $W_Γ$, whose presentation graph $Γ$ is taken to be an Erdős--Rényi random graph, i.e., $Γ\sim \mathcal{G}_{n,p}$. We use techniques from probabilistic combinatorics to establish several new results about the geometry of these random groups.
We resolve a conjecture of Susse and determine the connectivity threshold for square percolation on the random graph $Γ\sim \mathcal{G}_{n,p}$. We use this result to determine a large range of $p$ for which the random right-angled Coxeter group $W_Γ$ has a unique cubical coarse median structure. Until recent work of Fioravanti, Levcovitz and Sageev, there were no non-hyperbolic examples of groups with cubical coarse rigidity; our present results show the property is in fact typically satisfied by a random RACG for a wide range of the parameter $p$, including $p=1/2$.
Unbent Collections of Orthogonal Drawings
Recently, there has been interest in representing single graphs by multiple drawings; for example, using graph stories, storyplans, or uncrossed collections. In this paper, we apply this idea to orthogonal graph drawing. Due to the orthogonal drawing style, we focus on 4-graphs, that is, graphs of maximum degree 4. We restrict ourselves to plane graphs, that is, planar graphs whose embedding is fixed. Our goal is to represent any plane 4-graph $G$ by an unbent collection, that is, a collection of orthogonal drawings of $G$ that adhere to the embedding of $G$ and ensure that each edge of $G$ is drawn without bends in at least one of the drawings. We investigate two objectives. First, we consider minimizing the number of drawings in an unbent collection. We prove that every plane 4-graph can be represented by a collection with at most three drawings, which is tight. We also give necessary and sufficient conditions for a graph to admit an unbent collection of size $2$. Second, we consider minimizing the total number of bends over all drawings in an unbent collection. We show that this problem is NP-hard and give a 3-approximation algorithm. For the special case of plane triconnected cubic graphs, we show how to compute minimum-bend collections in linear time.
Factorization norms and Zarankiewicz problems
The $γ_2$-norm of Boolean matrices plays an important role in communication complexity and discrepancy theory. In this paper, we study combinatorial properties of this norm, and provide new applications, involving Zarankiewicz type problems. We show that if $M$ is an $m\times n$ Boolean matrix such that $γ_2(M)<γ$ and $M$ contains no $t\times t$ all-ones submatrix, then $M$ contains $O_{γ,t}(m+n)$ one entries. In other words, graphs of bounded $γ_2$-norm are degree bounded. This addresses a conjecture of Hambardzumyan, Hatami, and Hatami for locally sparse matrices. We prove that if $G$ is a $K_{t,t}$-free incidence graph of $n$ points and $n$ homothets of a polytope $P$ in $\mathbb{R}^d$, then the average degree of $G$ is $O_{d,P}(t(\log n)^{O(d)})$. This is sharp up the $O(.)$ notations. In particular, we prove a more general result on semilinear graphs, which greatly strengthens the work of Basit, Chernikov, Starchenko, Tao, and Tran.
CayleyPy RL: Pathfinding and Reinforcement Learning on Cayley Graphs
This paper is the second in a series of studies on developing efficient artificial intelligence-based approaches to pathfinding on extremely large graphs (e.g. $10^{70}$ nodes) with a focus on Cayley graphs and mathematical applications. The open-source CayleyPy project is a central component of our research. The present paper proposes a novel combination of a reinforcement learning approach with a more direct diffusion distance approach from the first paper. Our analysis includes benchmarking various choices for the key building blocks of the approach: architectures of the neural network, generators for the random walks and beam search pathfinding. We compared these methods against the classical computer algebra system GAP, demonstrating that they "overcome the GAP" for the considered examples. As a particular mathematical application we examine the Cayley graph of the symmetric group with cyclic shift and transposition generators. We provide strong support for the OEIS-A186783 conjecture that the diameter is equal to n(n-1)/2 by machine learning and mathematical methods. We identify the conjectured longest element and generate its decomposition of the desired length. We prove a diameter lower bound of n(n-1)/2-n/2 and an upper bound of n(n-1)/2+ 3n by presenting the algorithm with given complexity. We also present several conjectures motivated by numerical experiments, including observations on the central limit phenomenon (with growth approximated by a Gumbel distribution), the uniform distribution for the spectrum of the graph, and a numerical study of sorting networks. To stimulate crowdsourcing activity, we create challenges on the Kaggle platform and invite contributions to improve and benchmark approaches on Cayley graph pathfinding and other tasks.
Claw-free cubic graphs are (1, 1, 1, 3)-packing edge-colorable
Published in Discrete Applied Mathematics 379 (2026) 332-338
• View Publication
• BIB
For a non-decreasing positive integer sequence $S = (s_{1}, \dots, s_{k})$, an $S$-packing edge-coloring of a graph $G$ is a partition of the edge set of $G$ into subsets $E_{1}, \dots, E_{k}$ such that for each $1 \leq i \leq k$, the distance between any two distinct edges $e_{1}, e_{2} \in E_{i}$ is at least $s_{i} + 1$. Gastineau and Togni conjectured that cubic graphs, except the Petersen and Tietze graphs, admit $(1, 1, 1, 3)$-packing edge-colorings. In this paper, we prove that every claw-free cubic graph admits such a coloring.
Toroidal graphs without $K_{5}^{-}$ and 6-cycles
Published in Discrete Mathematics, 347 (2024) 114076
• View Publication
• BIB
Cai et al.\ proved that a toroidal graph $G$ without $6$-cycles is $5$-choosable, and proposed the conjecture that $\textsf{ch}(G) = 5$ if and only if $G$ contains a $K_{5}$ [J. Graph Theory 65 (2010) 1--15], where $\textsf{ch}(G)$ is the choice number of $G$. However, Choi later disproved this conjecture, and proved that toroidal graphs without $K_{5}^{-}$ (a $K_{5}$ missing one edge) and $6$-cycles are $4$-choosable [J. Graph Theory 85 (2017) 172--186]. In this paper, we provide a structural description, for toroidal graphs without $K_{5}^{-}$ and $6$-cycles. Using this structural description, we strengthen Choi's result in two ways: (I) we prove that such graphs have weak degeneracy at most three (nearly $3$-degenerate), and hence their DP-paint numbers and DP-chromatic numbers are at most four; (II) we prove that such graphs have Alon-Tarsi numbers at most $4$. Furthermore, all of our results are sharp in some sense.
On Pancyclicity in a Mixed Model for Domination Reconfiguration
A new model for domination reconfiguration is introduced which combines the properties of the preexisting token addition/removal (TAR) and token sliding (TS) models. The vertices of the TARS-graph correspond to the dominating sets of $G$, where two vertices are adjacent if and only if they are adjacent via either the TAR reconfiguration rule or the TS reconfiguration rule. While the domination reconfiguration graph obtained by using only the TAR rule (sometimes called the dominating graph) will never have a Hamilton cycle, we show that for some classes of graphs $G$, by adding a relatively small number of token sliding edges, the resulting graph is not only hamiltonian, but is in fact pancyclic. In particular, if the underlying graphs are trees, complete graphs, or complete multipartite graphs, their TARS-graphs will be pancyclic. We also provide pancyclicity results for TARS-graphs of graph unions and joins, and conclude by posing the question: Are all TARS-graphs pancyclic?
Amplitubes: Graph Cosmohedra
The tree-level scattering amplitudes for $\text{tr}(φ^3)$ theory can be interpreted as a sum over the vertices of a polytope known as the associahedron. For each graph $G$, there exists a natural generalisation of the associahedron, which is constructed by considering tubes and tubings of the underling graph. This family of polytopes are called graph associahedra. The classical associahedra then arise as the graph associahedron for the path graphs. It is therefore natural to associate to each graph associahedron an amplitude-like object, we refer to as the amplitube, defined via a sum over its vertices. Recently, also in the context of trace $\text{tr}(φ^3)$ theory, progress has been made towards defining a new geometric object, coined the cosmohedron, which computes not the amplitude, but the cosmological wavefunction as a sum over its vertices. This polytope can be constructed by consistently blowing up all boundaries of the associahedron to co-dimension one. Building on these results, in the present paper, we generalise the notion of the wavefunction for arbitrary graphs. These new expressions, which we call cosmological amplitubes, are defined via a sum over the vertices of a corresponding polytope, the graph cosmohedron. The graph cosmohedra are constructed by considering regions and regional tubings of the underlying graph which we introduce. Like the cosmohedron, the graph cosmohedra can be obtained by consistently blowing up all boundaries of the corresponding graph associahedron to co-dimension one. This new family of polytopes constitutes a vast generalisation of the cosmohedron, and we provide explicit embeddings for them, which builds upon an ABHY-like embedding for the graph associahedra.
Restricted CSPs and F-free Digraph Algorithmics
In recent years, much attention has been placed on the complexity of graph homomorphism problems when the input is restricted to ${\mathbb P}_k$-free and ${\mathbb P}_k$-subgraph-free graphs. We consider the directed version of this research line, by addressing the questions, is it true that digraph homomorphism problems CSP$({\mathbb H})$ have a P versus NP-complete dichotomy when the input is restricted to $\vec{\mathbb P}_k$-free (resp.\ $\vec{\mathbb P}_k$-subgraph-free) digraphs? Our main contribution in this direction shows that if CSP$({\mathbb H})$ is NP-complete, then there is a positive integer $N$ such that CSP$({\mathbb H})$ remains NP-hard even for $\vec{\mathbb P}_N$-subgraph-free digraphs. Moreover, it remains NP-hard for acyclic $\vec{\mathbb P}_N$-subgraph-free digraphs, and becomes polynomial-time solvable for $\vec{\mathbb P}_{N-1}$-subgraph-free acyclic digraphs. We then verify the questions above for digraphs on three vertices and a family of smooth tournaments. We prove these results by establishing a connection between $\mathbb F$-(subgraph)-free algorithmics and constraint satisfaction theory. On the way, we introduce restricted CSPs, i.e., problems of the form CSP$({\mathbb H})$ restricted to yes-instances of CSP$({\mathbb H}')$ -- these were called restricted homomorphism problems by Hell and Nešetřil. Another main result of this paper presents a P versus NP-complete dichotomy for these problems. Moreover, this complexity dichotomy is accompanied by an algebraic dichotomy in the spirit of the finite domain CSP dichotomy.
On the minimum number of eigenvalues of trees of diameter seven
The underlying graph $G$ of a symmetric matrix $M=(m_{ij})\in \mathbb{R}^{n\times n}$ is the graph with vertex set $\{v_1,\ldots,v_n\}$ such that a pair $\{v_i,v_j\}$ with $i\neq j$ is an edge if and only if $m_{ij}\neq 0$. Given a graph $G$, let $q(G)$ be the minimum number of distinct eigenvalues in a symmetric matrix whose underlying graph is $G$. A symmetric matrix $M$ is said to be a realization of $q(G)$ if it has underlying graph $G$ and $q(G)$ distinct eigenvalues. In the case of trees, a paper by Johnson and Saiago [Johnson, C.R, and Saiago, C.M, Diameter Minimal Trees, Linear and Multilinear Algebra 64(3) (2015), 557--571.] proposed an approach by which realizations of large trees are constructed from realizations of smaller trees with the same diameter, known as seeds, which has proved to be very successful. In this paper, we discuss realizations of $q(T)$ for trees of diameter seven based on the seed that defines it, correcting a result in the aforementioned paper.