graph
34516 papers tagged with this keyword
The polynomial method for 3-path extendability of list colourings of planar graphs
We restate Thomassen's theorem of 3-extendability, an extension of the famous planar 5-choosability theorem, in terms of graph polynomials. This yields an Alon--Tarsi equivalent of 3-extendability.
Twists of Gr(3,n) Cluster Variables as Double and Triple Dimer Partition Functions
We give a combinatorial interpretation for certain cluster variables in Grassmannian cluster algebras in terms of double and triple dimer configurations. More specifically, we examine several Gr(3,n) cluster variables that may be written as degree two or degree three polynomials in terms of Plücker coordinates, and give generating functions for their images under the twist map - a cluster algebra automorphism introduced in work of Berenstein-Fomin-Zelevinsky. The generating functions range over certain double or triple dimer configurations on an associated plabic graph, which we describe using particular non-crossing matchings or webs (as defined by Kuperberg), respectively. These connections shed light on a recent conjecture of Cheung et al., extend the concept of web duality introduced in a paper of Fraser-Lam-Le, and more broadly make headway on understanding Grassmannian cluster algebras for Gr(3,n).
Chromatic number is not tournament-local
Scott and Seymour conjectured the existence of a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G$ and tournament $T$ on the same vertex set, $χ(G) \geqslant f(k)$ implies that $χ(G[N_T^+(v)]) \geqslant k$ for some vertex $v$. In this note we disprove this conjecture even if $v$ is replaced by a vertex set of size $\mathcal{O}(\log{\lvert V(G)\rvert})$. As a consequence, we answer in the negative a question of Harutyunyan, Le, Thomassé, and Wu concerning the corresponding statement where the graph $G$ is replaced by another tournament, and disprove a related conjecture of Nguyen, Scott, and Seymour. We also show that the setting where chromatic number is replaced by degeneracy exhibits a quite different behaviour.
Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs
Published in Advances in Combinatorics 2025:3, 40pp
• View Publication
• BIB
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations.
Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs.
More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.
The Spectral Geometry of the Mesh Matrices of Graphs
The mesh matrix $Mesh(G,T_0)$ of a connected finite graph $G=(V(G),E(G))=(vertices, edges) \ of \ G$ of with respect to a choice of a spanning tree $T_0 \subset G$ is defined and studied. It was introduced by Trent \cite{Trent1,Trent2}. Its characteristic polynomial $det(X \cdot Id -Mesh(G,T_0))$ is shown to equal $Σ_{j=0}^{N} \ (-1)^j \ ST_{j}(G,T_0)\ (X-1)^{N-j} \ (\star)$ \ where $ST_j(G,T_0)$ is the number of spanning trees of $G$ meeting $E(G-T_0)$ in j edges and $N=|E(G-T_0)|$. As a consequence, there are Tutte-type deletion-contraction formulae for computing this polynomial. Additionally, $Mesh(G,T_0) -Id$ is of the special form $Y^t \cdot Y$; so the eigenvalues of the mesh matrix $Mesh(G,T_0)$ are all real and are furthermore be shown to be $\ge +1$. It is shown that $Y \cdot Y^t$, called the mesh Laplacian, is a generalization of the standard graph Kirchhoff Laplacian $Δ(H)= Deg -Adj$ of a graph $H$.For example, $(\star)$ generalizes the all minors matrix tree theorem for graphs $H$ and gives a deletion-contraction formula for the characteristic polynomial of $Δ(H)$. This generalization is explored in some detail. The smallest positive eigenvalue of the mesh Laplacian, a measure of flux, is estimated, thus extending the classical inequality for the Kirchoff Laplacian of graphs.
Near automorphisms of $G_{(n,m)}$
Let $G$ be a graph with vertex set $V(G)$, $f$ a permutation of $V(G)$. Define $δ_f(G)=|d(x,y)-d(f(x),f(y))|$ and $δ_f(G)=Σδ_f(x,y)$, where the sum is taken over all unordered pair $x$, $y$ of distinct vertices of $G$. $δ_f(x,U)=Σδ_f(x,y)$, where $U\subseteq V(G)$ and $y\in U$. Let $π(G)$ denote the smallest positive value of $δ_f(G)$ among all permutations of $V(G)$. A permutation $f$ with $δ_f(G)=π(G)$ is called a near automorphisms of $G$\cite{HV}. In this paper, we define $G_{(n,m)}$ is a graph obtained from $K_n$ by add $t_i$ pendent vertices to $y_i$ which is a vertex of $K_n$, $i=1,\cdots,m$, and we say $y_i$ is a c-pendent vertex of $G_(n,m)$. We determine $π(G_{(n,m)})$ and describe permutations $f$ of $G_{(n,m)}$ for which $π(G_{(n,m)})=δ_f(G_{(n,m)})$. Because $G_{(1,1)}$ is a star and it is easy, hence we let $n\geq 2$. Suppose $G_(n,m)$ has $m$ c-pendent vertices $\{y_1, \ldots, y_m\}$ and $y_i$ has $t_i$ pendent vertices($1\leq t_1\leq t_2\leq \ldots \leq t_m$). For $m<n$ we have $$π(G_{(n,m)})= \left\{ \begin{array}{lc} 2n-4 & n \leq t_1+2, m=1 \cr 2t_1&otherwise \end{array} \right. $$ For $m=n$ we have $$π(G_{(n,n)})= \left\{ \begin{array}{lc} 4 & t_1=1,t_2=2 \cr 2t_1+2t_2&otherwise \end{array} \right.$$
Isomorphic pastings and the two possible structures for a pair of graphs having the same deck
When G denotes a graph, the unlabeled subgraph obtained by deleting a vertex from G is called a card of G and the collection of all cards of G is the deck of G. A graph having the same deck as G is called a hypomorph of G. A graph is called reconstructible if it is isomorphic to all its hypomorphs. Reconstruction Conjecture claims that all graphs are reconstructible and it is open. A representation of a hypomorph of G in terms of two of its cards, called pasting, is introduced. Isomorphic pastings of two cards is defined. In the case of a digraph, a card with which the degree triple of the deleted vertex is also given is called a degree associated card or dacard. Dadeck, dareconstructible digraphs, dapastings and isomorphic dapastings based on dacards are defined analogously. DARC claims that all digraphs are dareconstructible and it is also open. Results: Two hypomorphs G and H of a graph are isomorphic if and only if a pair of cards in their common deck is pasted isomorphically in both G and H. Either every pair of cards in their common deck is pasted isomorphically in both G and H, or no pair of cards is pasted isomorphically in both G and H. Results analogous to the above hold for dapastings in dahypomorphs of a digraph. Some results on pastings are proved and two graph parameters are reconstructed. The neighborhood degree quintuple of a vertex and a new family of digraphs are dareconstructible. New approaches for proving the reconstruction conjecture and DARC by the method of contradiction arise.
The Complexity of 2-Intersection Graphs of 3-Hypergraphs Recognition for Claw-free Graphs and triangulated Claw-free Graphs
Given a 3-uniform hypergraph H, its 2-intersection graph G has for vertex set the hyperedges of H and ee' is an edge of G whenever e and e' have exactly two common vertices in H. Di Marco et al. prove that deciding wether a graph G is the 2-intersection graph of a 3-uniform hypergraph is NP-complete. The main problems we study concern the class of claw-free graphs. We show that the recognition problem remains NP-complete when G is claw-free graphs but becomes polynomial if in addition G is triangulated.
The number of topological types of trees
Two graphs are of the same topological type if they can be mutually embedded into each other topologically. We show that there are exactly $\aleph_1$ distinct topological types of countable trees. In general, for any infinite cardinal $κ$ there are exactly $κ^+$ distinct topological types of trees of size $κ$. This solves a problem of van der Holst from 2005.
On generic universal rigidity on the line
Published in Proceedings of the 12th Japanese-Hungarian Symposium on Discrete Mathematics and Its Applications, Budapest (March 2023)
• Search Publication
A $d$-dimensional bar-and-joint framework $(G,p)$ with underlying graph $G$ is called universally rigid if all realizations of $G$ with the same edge lengths, in all dimensions, are congruent to $(G,p)$. A graph $G$ is said to be generically universally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is universally rigid.
In this paper we focus on the case $d=1$. We give counterexamples to a conjectured characterization of generically universally rigid graphs from R. Connelly (2011). We also introduce two new operations that preserve the universal rigidity of generic frameworks, and the property of being not universally rigid, respectively. One of these operations is used in the analysis of one of our examples, while the other operation is applied to obtain a lower bound on the size of generically universally rigid graphs. This bound gives a partial answer to a question from T. Jordán and V-H. Nguyen (2015).
Settling the nonorientable genus of the nearly complete bipartite graphs
A graph is said to be nearly complete bipartite if it can be obtained by deleting a set of independent edges from a complete bipartite graph. The nonorientable genus of such graphs is known except in a few cases where the sizes of the partite classes differ by at most one, and a maximum matching is deleted. We resolve these missing cases using three classic tools for constructing genus embeddings of the complete bipartite graphs: current graphs, diamond sums, and the direct rotation systems of Ringel.
Equitable Choosability of Prism Graphs
A graph $G$ is equitably $k$-choosable if, for every $k$-uniform list assignment $L$, $G$ is $L$-colorable and each color appears on at most $\left\lceil |V(G)|/k\right\rceil$ vertices. Equitable list-coloring was introduced by Kostochka, Pelsmajer, and West in 2003. They conjectured that a connected graph $G$ with $Δ(G)\geq 3$ is equitably $Δ(G)$-choosable, as long as $G$ is not complete or $K_{d,d}$ for odd $d$. In this paper, we use a discharging argument to prove their conjecture for the infinite family of prism graphs.
Network Routing on Regular Digraphs and Their Line Graphs
This paper concerns all-to-all network routing on regular digraphs. In previous work we focused on efficient routing in highly symmetric digraphs with low diameter for fixed degree. Here, we show that every connected regular digraph has an all-to-all routing scheme and associated schedule with no waiting. In fact, this routing scheme becomes more efficient as the diameter goes down with respect to the degree and number of vertices. Lastly, we examine the simple scheduling algorithm called ``farthest-distance-first'' and prove that it yields optimal schedules for all-to-all communication in networks of interest, including Kautz graphs.
Set-coloring Ramsey numbers and error-correcting codes near the zero-rate threshold
For positive integers $n,r,s$ with $r > s$, the set-coloring Ramsey number $R(n;r,s)$ is the minimum $N$ such that if every edge of the complete graph $K_N$ receives a set of $s$ colors from a palette of $r$ colors, then there is a subset of $n$ vertices where all of the edges between them receive a common color. If $n$ is fixed and $\frac{s}{r}$ is less than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is known to grow exponentially in $r$, while if $\frac{s}{r}$ is greater than and bounded away from $1-\frac{1}{n-1}$, then $R(n;r,s)$ is bounded. Here we prove bounds for $R(n;r,s)$ in the intermediate range where $\frac{s}{r}$ is close to $1 - \frac{1}{n-1}$ by establishing a connection to the maximum size of error-correcting codes near the zero-rate threshold.
Pretty good state transfer among large sets of vertices
In a continuous-time quantum walk on a network of qubits, pretty good state transfer is the phenomenon of state transfer between two vertices with fidelity arbitrarily close to 1. We construct families of graphs to demonstrate that there is no bound on the size of a set of vertices that admit pretty good state transfer between any two vertices of the set.
Testing Isomorphism of Graphs in Polynomial Time
Given a graph $G$, the graph $[G]$ obtained by adding, for each pair of vertices of $G$, a unique vertex adjacent to both vertices is called the binding graph of $G$. In this work, we show that the class of binding graphs is graph-isomorphism complete and that the stable partitions of binding graphs by the Weisfeiler-Lehman (WL) algorithm produce automorphism partitions. To test the isomorphism of two graphs $G$ and $H$, one computes the stable graph of the binding graph $[G\uplus H]$ for the disjoint union graph $G\uplus H$. The automorphism partition reveals the isomorphism of $G$ and $H$. Because the WL algorithm is a polynomial-time procedure, the claim can be made that the graph-isomorphism problem is in complexity class $\mathtt{P}$.
Minimum degree conditions for rainbow triangles
Let $\mathbf{G}:=(G_1, G_2, G_3)$ be a triple of graphs on a common vertex set $V$ of size $n$. A rainbow triangle in $\mathbf{G}$ is a triple of edges $(e_1, e_2, e_3)$ with $e_i\in G_i$ for each $i$ and $\{e_1, e_2, e_3\}$ forming a triangle in $V$. In this paper we consider the following question: what triples of minimum degree conditions $(δ(G_1), δ(G_2), δ(G_3))$ guarantee the existence of a rainbow triangle? This may be seen as a minimum degree version of a problem of Aharoni, DeVos, de la Maza, Montejanos and Šámal on density conditions for rainbow triangles, which was recently resolved by the authors. We establish that the extremal behaviour in the minimum degree setting differs strikingly from that seen in the density setting, with discrete jumps as opposed to continuous transitions. Our work leaves a number of natural questions open, which we discuss.
On reduction for eigenfunctions of graphs
In this work, we prove a general version of the reduction lemmas for eigenfunctions of graphs admitting involutive automorphisms of a special type.
On bridge graphs with local antimagic chromatic number 3
Let $G=(V, E)$ be a connected graph. A bijection $f: E\to \{1, \ldots, |E|\}$ is called a local antimagic labeling if for any two adjacent vertices $x$ and $y$, $f^+(x)\neq f^+(y)$, where $f^+(x)=\sum_{e\in E(x)}f(e)$ and $E(x)$ is the set of edges incident to $x$. Thus a local antimagic labeling induces a proper vertex coloring of $G$, where the vertex $x$ is assigned the color $f^+(x)$. The local antimagic chromatic number $χ_{la}(G)$ is the minimum number of colors taken over all colorings induced by local antimagic labelings of $G$. In this paper, we present some families of bridge graphs with $χ_{la}(G)=3$ and give several ways to construct bridge graphs with $χ_{la}(G)=3$.
Partitioning zero-divisor graphs of finite commutative rings into global defensive alliances
For a commutative ring $R$ with identity, the zero-divisor graph of $R$, denoted $Γ(R)$, is the graph whose vertices are the non-zero zero divisors of $R$ with two distinct vertices $x$ and $y$ are adjacent if and only if $xy=0$. In this paper, we are interested in partitioning the vertex set of $Γ(R)$ into global defensive alliances for a finite commutative ring $R$. This problem has been well investigated in graph theory. Here we connected it with the ring theoretical context. We characterize various commutative finite rings for which the zero divisor graph is partitionable into global defensive alliances. We also give several examples to illustrate the scopes and limits of our results.