graph
34516 papers tagged with this keyword
Kempe Equivalent List Colorings Revisited
Published
• View Publication
• BIB
A \emph{Kempe chain} on colors $a$ and $b$ is a component of the subgraph induced by colors $a$ and $b$. A \emph{Kempe change} is the operation of interchanging the colors of some Kempe chain. For a list-assignment $L$ and an $L$-coloring $\varphi$, a Kempe change is \emph{$L$-valid} for $\varphi$ if performing the Kempe change yields another $L$-coloring. Two $L$-colorings are \emph{$L$-equivalent} if we can form one from the other by a sequence of $L$-valid Kempe changes. A \emph{degree-assignment} is a list-assignment $L$ such that $L(v)\ge d(v)$ for every $v\in V(G)$. Cranston and Mahmoud (\emph{Combinatorica}, 2023) asked: For which graphs $G$ and degree-assignment $L$ of $G$ is it true that all the $L$-colorings of $G$ are $L$-equivalent? We prove that for every 4-connected graph $G$ which is not complete and every degree-assignment $L$ of $G$, all $L$-colorings of $G$ are $L$-equivalent.
A characterisation of edge-affine $2$-arc-transitive covers of $\K_{2^n,2^n}$
We introduce the notion of an \emph{$n$-dimensional mixed dihedral group}, a general class of groups for which we give a graph theoretic characterisation. In particular, if $H$ is an $n$-dimensional mixed dihedral group then the we construct an edge-transitive Cayley graph $Γ$ of $H$ such that the clique graph $Σ$ of $Γ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing a particular \emph{edge-affine} action on $\K_{2^n,2^n}$. Conversely, we prove that if $Σ$ is a $2$-arc-transitive normal cover of $\K_{2^n,2^n}$, with a subgroup of $\Aut(Σ)$ inducing an \emph{edge-affine} action on $\K_{2^n,2^n}$, then the line graph $Γ$ of $Σ$ is a Cayley graph of an $n$-dimensional mixed dihedral group. Furthermore, we give an explicit construction of a family of $n$-dimensional mixed dihedral groups. This family addresses a problem proposed by Li concerning normal covers of prime power order of the `basic' $2$-arc-transitive graphs. In particular, we construct, for each $n\geq 2$, a $2$-arc-transitive normal cover of $2$-power order of the `basic' graph $\K_{2^n,2^n}$.
Resolving Prime Modules: The Structure of Pseudo-cographs and Galled-Tree Explainable Graphs
Published
• View Publication
• BIB
The modular decomposition of a graph $G$ is a natural construction to capture key features of $G$ in terms of a labeled tree $(T,t)$ whose vertices are labeled as "series" ($1$), "parallel" ($0$) or "prime". However, full information of $G$ is provided by its modular decomposition tree $(T,t)$ only, if $G$ is a cograph, i.e., $G$ does not contain prime modules. In this case, $(T,t)$ explains $G$, i.e., $\{x,y\}\in E(G)$ if and only if the lowest common ancestor $\mathrm{lca}_T(x,y)$ of $x$ and $y$ has label "$1$". Pseudo-cographs, or, more general, GaTEx graphs $G$ are graphs that can be explained by labeled galled-trees, i.e., labeled networks $(N,t)$ that are obtained from the modular decomposition tree $(T,t)$ of $G$ by replacing the prime vertices in $T$ by simple labeled cycles. GaTEx graphs can be recognized and labeled galled-trees that explain these graphs can be constructed in linear time.
In this contribution, we provide a novel characterization of GaTEx graphs in terms of a set $\mathfrak{F}_{\mathrm{GT}}$ of 25 forbidden induced subgraphs. This characterization, in turn, allows us to show that GaTEx graphs are closely related to many other well-known graph classes such as $P_4$-sparse and $P_4$-reducible graphs, weakly-chordal graphs, perfect graphs with perfect order, comparability and permutation graphs, murky graphs as well as interval graphs, Meyniel graphs or very strongly-perfect and brittle graphs. Moreover, we show that every GaTEx graph as twin-width at most 1 and and provide linear-time algorithms to solve several NP-hard problems (clique, coloring, independent set) on GaTEx graphs by utilizing the structure of the underlying galled-trees they explain.
An Algorithmic Approach to Antimagic Labeling of Edge Corona Graphs
An antimagic labeling of a graph $G$ is a $1-1$ correspondence between the edge set $E(G)$ and $\lbrace 1,2,...,|E(G)|\rbrace$ in which the sum of the labels of edges incident to the distinct vertices are different. The edge corona of any two graphs $G$ and $H$, (denoted by $G$ $\diamond$ $H$) is obtained by joining one copy of $G$ with $|E(G)|$ copies of H such that the end vertices of $i^{th}$ edge of $G$ is adjacent to every vertex in the $i^{th}$ copy of $H$. In this paper, we provide an algorithm to prove that the following graphs admit an antimagic labeling:
$-$ $n$-barbell graph $B_n$, $n\geq3$
$-$ edge corona of a bistar graph $B_{x,n}$ and a $k$-regular graph $H$ denoted by $B_{x,n}\diamond H$, $x,n\geq 2$
$-$ edge corona of a cycle $C_m$ and $C_n$ denoted by $C_m \diamond C_n$, $m,n\geq3$
Properties of uniformly $3$-connected graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:3 special issue ICGT'22, Special issues (June 7, 2024) dmtcs:10407
• View Publication
• BIB
A graph on at least ${k+1}$ vertices is uniformly $k$-connected if each pair of its vertices is connected by $k$ and not more than $k$ independent paths. We reinvestigate a recent constructive characterization of uniformly $3$-connected graphs and obtain a more detailed result that relates the number of vertices to the operations involved in constructing a respective uniformly $3$-connected graph. Furthermore, we investigate how crossing numbers and treewidths behave under the mentioned constructions. We demonstrate how these results can be utilized to study the structure and properties of uniformly $3$-connected graphs with minimum number of vertices of minimum degree.
Internal Closedness and von Neumann-Morgenstern Stability in Matching Theory: Structures and Complexity
Published
• View Publication
• BIB
Let $G$ be a graph and suppose we are given, for each $v \in V(G)$, a strict ordering of the neighbors of $v$. A set of matchings ${\cal M}$ of $G$ is called internally stable if there are no matchings $M,M' \in {\cal M}$ such that an edge of $M$ blocks $M'$. The sets of stable (à la Gale and Shapley) matchings and of von Neumann-Morgenstern stable matchings are examples of internally stable sets of matching. In this paper, we study, in both the marriage and the roommate case, inclusionwise maximal internally stable sets of matchings. We call those sets internally closed. By building on known and newly developed algebraic structures associated to sets of matchings, we investigate the complexity of deciding if a set of matchings is internally closed or von Neumann-Morgenstern stable, and of finding sets with those properties.
Gauge theory on graphs
In this paper, we provide the notions of connection $1$-forms and curvature $2$-forms on graphs. We prove a Weitzenböck formula for connection Laplacians in this setting. We also define a discrete Yang-Mills functional and study its Euler-Lagrange equations.
Twice-Marked Banana Graphs & Brill-Noether Generality
Published
• View Publication
• BIB
We analyze a family of graphs known as banana graphs, with two marked vertices, through the lens of Hurwitz-Brill-Noether theory. As an application, we construct explicit new examples of finite graphs which are Brill-Noether general. These are the first such examples since the analysis of chains of loops by Cools, Draisma, Payne and Robeva. The graphs constructed are chains of loops and "theta graphs," which are banana graphs of genus 2. We also demonstrate that almost all banana graphs of genus at least 3 cannot be used for this purpose, due either to failure of a submodularity condition or to the presence of far too many inversions in certain permutations associated to divisors called transmission permutations.
Isospectral reductions and quantum walks on graphs
Published
• View Publication
• BIB
We give a new formula for computing the isospectral reduction of a matrix (and graph) down to a submatrix (or subgraph). Using this, we generalize the notion of isospectral reductions. In addition, we give a procedure for constructing a matrix whose isospectral reduction down to a submatrix is given. We also prove that the isospectral reduction completely determines the restriction of the quantum walk transition matrix to a subset. Using these, we construct new families of simple graphs exhibiting perfect quantum state transfer.
On the use of senders for asymmetric tuples of cliques in Ramsey theory
Published
• View Publication
• BIB
A graph $G$ is $q$-Ramsey for a $q$-tuple of graphs $(H_1,\ldots,H_q)$ if for every $q$-coloring of the edges of $G$ there exists a monochromatic copy of $H_i$ in color $i$ for some $i\in[q]$. Over the last few decades, researchers have investigated a number of questions related to this notion, aiming to understand the properties of graphs that are $q$-Ramsey for a fixed tuple. Among the tools developed while studying questions of this type are gadget graphs, called signal senders and determiners, which have proven invaluable for building Ramsey graphs with certain properties. However, until now these gadgets have been shown to exist and used mainly in the two-color setting or in the symmetric multicolor setting, and our knowledge about their existence for multicolor asymmetric tuples is extremely limited. In this paper, we construct such gadgets for any tuple of cliques. We then use these gadgets to generalize three classical theorems in this area to the asymmetric multicolor setting.
Graceful Coloring of Ladder Graphs
A graceful k-coloring of a non-empty graph $G=(V,E)$ is a proper vertex coloring $f:V(G)\rightarrow\lbrace 1,2,...,k \rbrace$, $k\geq 2$, which induces a proper edge coloring $f^{*}:E(G)\rightarrow\lbrace 1, 2, . . . , k-1 \rbrace $ defined by $f^{*}(uv) = |f(u)-f(v)|$, where $u,v\in V(G)$. The minimum $k$ for which $G$ has a graceful $k$-coloring is called graceful chromatic number, $χ_{g}(G)$. The graceful chromatic number for a few variants of ladder graphs are investigated in this article.
Color-avoiding percolation on the Erdős-Rényi random graph
Published
• View Publication
• BIB
We consider a recently introduced model of color-avoiding percolation defined as follows. Every edge in a graph $G$ is colored in some of $k\ge 2$ colors. Two vertices $u$ and $v$ in $G$ are said to be CA-connected if $u$ and $v$ may be connected using any subset of $k-1$ colors. CA-connectivity defines an equivalence relation on the vertex set of $G$ whose classes are called CA-components.
We study the component structure of a randomly colored Erdős-Rényi random graph of constant average degree. We distinguish three regimes for the size of the largest component: a supercritical regime, a so-called intermediate regime, and a subcritical regime, in which the largest CA-component has respectively linear, logarithmic, and bounded size. Interestingly, in the subcritical regime, the bound is deterministic and given by the number of colors.
Query complexity of Boolean functions on slices
Published
• View Publication
• BIB
We study the deterministic query complexity of Boolean functions on slices of the hypercube. The $k^{th}$ slice $\binom{[n]}{k}$ of the hypercube $\{0,1\}^n$ is the set of all $n$-bit strings with Hamming weight $k$. We show that there exists a function on the balanced slice $\binom{[n]}{n/2}$ requiring $n - O(\log \log n)$ queries. We give an explicit function on the balanced slice requiring $n - O(\log n)$ queries based on independent sets in Johnson graphs. On the weight-2 slice, we show that hard functions are closely related to Ramsey graphs. Further we describe a simple way of transforming functions on the hypercube to functions on the balanced slice while preserving several complexity measures.
A proof of the 3/4 conjecture for the total domination game
Published
• View Publication
• BIB
In this paper we describe a strategy for Dominator that finishes the total domination game in at most $3/4n$ moves for every graph $G$ on $n$ vertices without any isolated vertices or edges, confirming the 3/4-conjecture for the total domination game made by Henning, Klav{ž}ar, and Rall.
Average-case and smoothed analysis of graph isomorphism
Published
• View Publication
• BIB
We propose a simple and efficient local algorithm for graph isomorphism which succeeds for a large class of sparse graphs. This algorithm produces a low-depth canonical labeling, which is a labeling of the vertices of the graph that identifies its isomorphism class using vertices' local neighborhoods.
Prior work by Czajka and Pandurangan showed that the degree profile of a vertex (i.e., the sorted list of the degrees of its neighbors) gives a canonical labeling with high probability when $n p_n = ω( \log^{4}(n) / \log \log n )$ (and $p_{n} \leq 1/2$); subsequently, Mossel and Ross showed that the same holds when $n p_n = ω( \log^{2}(n) )$. We first show that their analysis essentially cannot be improved: we prove that when $n p_n = o( \log^{2}(n) / (\log \log n)^{3} )$, with high probability there exist distinct vertices with isomorphic $2$-neighborhoods. Our first main result is a positive counterpart to this, showing that $3$-neighborhoods give a canonical labeling when $n p_n \geq (1+δ) \log n$ (and $p_n \leq 1/2$); this improves a recent result of Ding, Ma, Wu, and Xu, completing the picture above the connectivity threshold.
Our second main result is a smoothed analysis of graph isomorphism, showing that for a large class of deterministic graphs, a small random perturbation ensures that $3$-neighborhoods give a canonical labeling with high probability. While the worst-case complexity of graph isomorphism is still unknown, this shows that graph isomorphism has polynomial smoothed complexity.
Adversarial graph burning densities
Published
• View Publication
• BIB
Graph burning is a discrete-time process that models the spread of influence in a network. Vertices are either burning or unburned, and in each round, a burning vertex causes all of its neighbours to become burning before a new fire source is chosen to become burning. We introduce a variation of this process that incorporates an adversarial game played on a nested, growing sequence of graphs. Two players, Arsonist and Builder, play in turns: Builder adds a certain number of new unburned vertices and edges incident to these to create a larger graph, then every vertex neighbouring a burning vertex becomes burning, and finally Arsonist `burns' a new fire source. This process repeats forever. Arsonist is said to win if the limiting fraction of burning vertices tends to 1, while Builder is said to win if this fraction is bounded away from 1.
The central question of this paper is determining if, given that Builder adds $f(n)$ vertices at turn $n$, either Arsonist or Builder has a winning strategy. In the case that $f(n)$ is asymptotically polynomial, we give threshold results for which player has a winning strategy.
Reconnectads
Published in Algebraic Combinatorics, Volume 7 (2024) 801-842
• View Publication
• BIB
We introduce a new operad-like structure that we call a reconnectad; the ``input'' of an element of a reconnectad is a finite simple graph, rather than a finite set, and ``compositions'' of elements are performed according to the notion of the reconnected complement of a subgraph. The prototypical example of a reconnectad is given by the collection of toric varieties of graph associahedra of Carr and Devadoss, with the structure operations given by inclusions of orbits closures. We develop the general theory of reconnectads, and use it to study the ``wonderful reconnectad'' assembled from homology groups of complex toric varieties of graph associahedra.
On powers of the cover ideals of graphs
For a simple graph $G$, assume that $J(G)$ is the vertex cover ideal of $G$ and $J(G)^{(s)}$ is the $s$-th symbolic power of $J(G)$. We prove that $(J(C)^{(s)})=(J(C)^s)$ for all $s\geq 1$ and for all odd cycle $C$. For a simplicial complex $Δ$, we show that $Δ$ is vertex decomposable if $I_Δ^{\vee}$ is weakly polymatroidal. Let $W=G^π$ be a fully clique-whiskering graph, we prove that $J(W)^s$ is weakly polymatroidal for all $s\geq 1$.
Partition universality for graphs of bounded degeneracy and degree
Published
• View Publication
• BIB
We prove asymptotically optimal bounds on the number of edges a graph $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $D$-degenerate graph on $n$ vertices with bounded maximum degree. We also improve the upper bounds on the number of edges $G$ must have in order that any $r$-colouring of $E(G)$ has a colour class which contains every $n$-vertex graph with maximum degree $Δ$, for each $Δ\ge 4$. In both cases, we show that a binomial random graph with $Cn$ vertices and a suitable edge probability is likely to provide the desired $G$.
Quantum State Transfer in Graphs with Tails
Published
• View Publication
• BIB
We consider quantum state transfer on finite graphs which are attached to infinite paths. The finite graph represents an operational quantum system for performing useful quantum information tasks. In contrast, the infinite paths represent external infinite-dimensional systems which have limited (but nontrivial) interaction with the finite quantum system. We show that {\em perfect} state transfer can surprisingly still occur on the finite graph even in the presence of the infinite tails. Our techniques are based on a decoupling theorem for eventually-free Jacobi matrices, equitable partitions, and standard Lie theoretic arguments. Through these methods, we rehabilitate the notion of a dark subspace which had been so far viewed in an unflattering light.