graph
34604 papers tagged with this keyword
Isomorphisms between random graphs
Published
• View Publication
• BIB
Consider two independent Erdős-Rényi $G(N,1/2)$ graphs. We show that with probability tending to $1$ as $N\to\infty$, the largest induced isomorphic subgraph has size either $\lfloor x_N-\varepsilon_N\rfloor$ or $\lfloor x_N+\varepsilon_N \rfloor$, where $x_N=4\log_2 N -2 \log_2 \log_2 N - 2\log_2(4/e)+1$ and $\varepsilon_N = (4\log_2 N)^{-1/2}$. Using similar techniques, we also show that if $Γ_1$ and $Γ_2$ are independent $G(n,1/2)$ and $G(N,1/2)$ random graphs, then $Γ_2$ contains an isomorphic copy of $Γ_1$ as an induced subgraph with high probability if $n\le \lfloor y_N - \varepsilon_N \rfloor$ and does not contain an isomorphic copy of $Γ_1$ as an induced subgraph with high probability if $n>\lfloor y_N+\varepsilon_N \rfloor$, where $y_N=2\log_2 N+1$ and $\varepsilon_N$ is as above.
A family of tetravalent one-regular graphs
A graph is one-regular if its automorphism group acts regularly on the set of its arcs. In this paper, $4$-valent one-regular graphs of order $5p^2$, where $p$ is a prime, are classified
Pseudo-multifan and Lollipop
Published
• View Publication
• BIB
A simple graph $G$ with maximum degree $Δ$ is \emph{overfull} if $|E(G)|>Δ\lfloor |V(G)|/2\rfloor$. The \emph{core} of $G$, denoted $G_Δ$, is the subgraph of $G$ induced by its vertices of degree $Δ$. Clearly, the chromatic index of $G$ equals $Δ+1$ if $G$ is overfull. Conversely, Hilton and Zhao in 1996 conjectured that if $G$ is a simple connected graph with $Δ\ge 3$ and $Δ(G_Δ)\le 2$, then $χ'(G)=Δ+1$ implies that $G$ is overfull or $G=P^*$, where $P^*$ is obtained from the Petersen graph by deleting a vertex (Core Conjecture). The goal of this paper is to develop the concepts of ``pseudo-multifan'' and ``lollipop'' and study their properties in an edge colored graph. These concepts turn out to be powerful tools in edge coloring graphs with a small core degree.
Spectral extremal graphs for intersecting cliques
Published
• View Publication
• BIB
The $(k,r)$-fan is the graph consisting of $k$ copies of the complete graph $K_r$ which intersect in a single vertex, and is denoted by $F_{k,r}$. Erdős, Füredi, Gould and Gunderson [J. Combin. Theory Ser. B 64 (1995) 89--100] determined the maximum number of edges in an $n$-vertex graph that does not contain $F_{k,3}$ as a subgraph. Furthermore, Chen, Gould, Pfender and Wei [J. Combin. Theory Ser. B 89 (2003) 159--171] proved the analogous result on $F_{k,r}$ for the general case $r\ge 3$.In this paper, we show that for sufficiently large $n$, the graphs of order $n$ that contain no copy of $F_{k,r}$ and attain the maximum spectral radius are also edge-extremal. That is, such graphs must have $\mathrm{ex}(n, F_{k,r})$ edges.
On some explicit integrals related to "fractal mountains"
Loop counting functions $U(x)$ estimate the number of "weighted" loops in a digital representation of $x\in[-1,1]$. Roughly speaking, each $x$ is considered as an infinite walk, where the steps of the walk correspond to digits of $x$. The graph of loop counting functions $U$ has a fractal structure that resembles complex mountain landscapes. In some sense, $U$ allows us to look at random walks globally. These functions may be helpful in the analysis of some hard problems related to the distribution of self-avoiding random walks (SAW) in a multi-dimensional case since SAW closely relate to zeros of $U(x)$. We note here that $U(x)$ can be naturally extended to a multidimensional argument $x$. In this article, the focus will be on some analytic aspects. It will be shown that integrals $\int x^AU(x)^Bdx$ with non-negative integers $A$ and $B$ can be expressed in terms of integrals of rational functions with integer coefficients. Moreover, it will be shown that $\int x^A U(x)dx$ admits closed-form expressions. Fourier series for $U$ is also computed. Finally, we discuss some connections with special functions and generalized continued fractions, and other perspectives.
Complexity of Restricted Star Colouring
Published
• View Publication
• BIB
Restricted star colouring is a variant of star colouring introduced to design heuristic algorithms to estimate sparse Hessian matrices. For $k\in\mathbb{N}$, a $k$-restricted star colouring ($k$-rs colouring) of a graph $G$ is a function $f:V(G)\to{0,1,\dots,k-1}$ such that (i)$f(x)\neq f(y)$ for every edge $xy$ of G, and (ii) there is no bicoloured 3-vertex path ($P_3$) in $G$ with the higher colour on its middle vertex. We show that for $k\geq 3$, it is NP-complete to test whether a given planar bipartite graph of maximum degree $k$ and arbitrarily large girth admits a $k$-rs colouring, and thereby answer a problem posed by Shalu and Sandhya (Graphs and Combinatorics, 2016). In addition, it is NP-complete to test whether a 3-star colourable graph admits a 3-rs colouring. We also prove that for all $ε> 0$, the optimization problem of restricted star colouring a 2-degenerate bipartite graph with the minimum number of colours is NP-hard to approximate within $n^{(1/3)-ε}$. On the positive side, we design (i) a linear-time algorithm to test 3-rs colourability of trees, and (ii) an $O(n^3)$-time algorithm to test 3-rs colourability of chordal graphs.
Effects of edge addition or removal on the nullity of a graph
Published
• View Publication
• BIB
Lights Out is a game which can be played on any graph $G$. Initially we have a configuration which assigns one of the two states on or off to each vertex. The aim of the game is to turn all vertices to off state for an initial configuration by activating some vertices where each activation switches the state of the vertex and all of its neighbors. If the aim of the game can be accomplished for all initial configurations then $G$ is called always solvable. We call the dimension of the kernel of the closed neighborhood matrix of the graph over the field $\mathbb{Z}_2$, nullity of $G$. It turns out that $G$ is always solvable if and only if its nullity is zero. Moreover, the number of solutions of a given configuration is also determined by the nullity. We investigate the problem of how nullity changes when an edge is added to or removed from a graph. As a result we show that for every graph with positive nullity there exists an edge whose removal decreases the nullity. Conversely, we show that for every always solvable graph which is not an even graph with odd order, there exists an edge whose addition increases the nullity. We also show that if an always solvable graph is not even, then there is an edge whose removal increases the nullity.
The line graph of a tree and its edge ideal
We describe all the trees with the property that the corresponding edge ideal of their line graph has a linear resolution. As a consequence, we give a complete characterization of those trees $T$ for which the line graph $L(T)$ is co-chordal. We also compute the second Betti number of the edge ideal of $L(T)$ and we determine the number of cycles in $\overline{L(T)}$. As a consequence, we obtain also the first Zagreb index of a graph. For edge ideals of line graphs of caterpillar graphs we determine the Krull dimension, the Castelnuovo-Mumford regularity, and the projective dimension under some additional assumption on the degrees of the cutpoints.
The facet ideals of matching complexes of line graphs
Published
• View Publication
• BIB
Let $L_n$ be a line graph with $n$ edges and $\F(L_n)$ the facet ideal of its matching complex. In this paper, we provide the irreducible decomposition of $\F(L_n)$ and some exact formulas for the projective dimension and the regularity of $\F(L_n)$.
Local girth choosability of planar graphs
Published in Advances in Combinatorics, 2022:8, 38pp
• View Publication
• BIB
In 1994, Thomassen famously proved that every planar graph is 5-choosable, resolving a conjecture initially posed by Vizing and, independently, Erd\H{os}, Rubin, and Taylor in the 1970s. Later, Thomassen proved that every planar graph of girth at least five is 3-choosable. In this paper, we introduce the concept of a \emph{local girth list assignment}: a list assignment wherein the list size of a vertex depends not on the girth of the graph, but rather on the length of the shortest cycle in which the vertex is contained. We give a local list colouring theorem unifying the two theorems of Thomassen mentioned above. In particular, we show that if $G$ is a planar graph and $L$ is a list assignment for $G$ such that $|L(v)| \geq 3$ for all $v \in V(G)$; $|L(v)| \geq 4$ for every vertex $v$ contained in a 4-cycle; and $|L(v)| \geq 5$ for every $v$ contained in a triangle, then $G$ admits an $L$-colouring.
On the Existence of Word-representable Line Graphs of Non-word-representable Graphs
An open question in the theory of word-representable graphs for the past decade has been whether the line graph of a non-word-representable graph is always non-word-representable. By formulating an appropriate optimization problem for the decision problem of 3-semi-transitive graphs, we show that the line graph of a non-word-representable graph can be word-representable. Using IBM's CPLEX solver, we demonstrate for several known word-representable and non-word-representable graphs that the line graph of a graph is 3-semi-transitive when there is a solution to the optimization problem. This results in an example where the line graph of a non-word-representable graph is both 3-semi-transitive and semi-transitive and thus is word-representable.
Spectral extrema of $K_{s,t}$-minor free graphs--On a conjecture of M. Tait
Published
• View Publication
• BIB
Minors play an important role in extremal graph theory and spectral extremal graph theory. Tait [The Colin de Verdière parameter, excluded minors, and the spectral radius, J. Combin. Theory Ser. A 166 (2019) 42--58] determined the maximum spectral radius and characterized the unique extremal graph for $K_r$-minor free graphs of sufficiently large order $n$, he also made great progress on $K_{s,t}$-minor free graphs and posed a conjecture: Let $2\leq s\leq t$ and $n-s+1=pt+q$, where $n$ is sufficiently large and $1\leq q\leq t.$ Then $K_{s-1}\nabla (pK_t\cup K_q)$ is the unique extremal graph with the maximum spectral radius over all $n$-vertex $K_{s,t}$-minor free graphs. In this paper, Tait's conjecture is completely solved. We also determine the maximum spectral radius and its extremal graphs for $n$-vertex $K_{1,t}$-minor free graphs. To prove our results, some spectral and structural tools, such as, local edge maximality, local degree sequence majorization, double eigenvectors transformation, are used to deduce structural properties of extremal graphs.
Rainbow independent sets in graphs with maximum degree two
Published
• View Publication
• BIB
Given a graph $G$, let $f_{G}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in $G$ have a rainbow $m$-set. Let $\mathcal{D}(2)$ be the family of all graphs with maximum degree at most two. Aharoni et al. (2019) conjectured that (i) $f_G(n,n-1)=n-1$ for all graphs $G\in\mathcal{D}(2)$ and (ii) $f_{C_t}(n,n)=n$ for $t\ge 2n+1$. Lv and Lu (2020) showed that the conjecture (ii) holds when $t=2n+1$. In this article, we show that the conjecture (ii) holds for $t\ge\frac{1}{3}n^2+\frac{44}{9}n$. Let $C_t$ be a cycle of length $t$ with vertices being arranged in a clockwise order. An ordered set $I=(a_1,a_2,\ldots,a_n)$ on $C_t$ is called a $2$-jump independent $n$-set of $C_t$ if $a_{i+1}-a_i=2\pmod{t}$ for any $1\le i\le n-1$. We also show that a collection of 2-jump independent $n$-sets $\mathcal{F}$ of $C_t$ with $|\mathcal{F}|=n$ admits a rainbow independent $n$-set, i.e. (ii) holds if we restrict $\mathcal{F}$ on the family of 2-jump independent $n$-sets. Moreover, we prove that if the conjecture (ii) holds, then (i) holds for all graphs $G\in\mathcal{D}(2)$ with $c_e(G)\le 4$, where $c_e(G)$ is the number of components of $G$ isomorphic to cycles of even lengths.
Existence and polynomial time construction of biregular, bipartite Ramanujan graphs of all degrees
We prove that there exist bipartite, biregular Ramanujan graphs of every degree and every number of vertices provided that the cardinalities of the two sets of the bipartition divide each other. This generalizes a result of Marcus, Spielman, and Srivastava and, similar to theirs, the proof is based on the analysis of expected polynomials. The primary difference is the use of some new machinery involving rectangular convolutions, developed in a companion paper. We also prove the constructibility of such graphs in polynomial time in the number of vertices, extending a result of Cohen to this biregular case.
The bipartite Ramsey numbers $BR(C_8, C_{2n})$
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:2, Graph Theory (February 16, 2024) dmtcs:11207
• View Publication
• BIB
For the given bipartite graphs $G_1,G_2,\ldots,G_t$, the multicolor bipartite Ramsey number $BR(G_1,G_2,\ldots,G_t)$ is the smallest positive integer $b$ such that any $t$-edge-coloring of $K_{b,b}$ contains a monochromatic subgraph isomorphic to $G_i$, colored with the $i$th color for some $1\leq i\leq t$. We compute the exact values of the bipartite Ramsey numbers $BR(C_8,C_{2n})$ for $n\geq2$.
Irregular Subgraphs
Published
• View Publication
• BIB
We suggest two related conjectures dealing with the existence of spanning irregular subgraphs of graphs. The first asserts that any $d$-regular graph on $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ deviates from $\frac{n}{d+1}$ by at most $2$. The second is that every graph on $n$ vertices with minimum degree $δ$ contains a spanning subgraph in which the number of vertices of each degree does not exceed $\frac{n}{δ+1}+2$. Both conjectures remain open, but we prove several asymptotic relaxations for graphs with a large number of vertices $n$. In particular we show that if $d^3 \log n \leq o(n)$ then every $d$-regular graph with $n$ vertices contains a spanning subgraph in which the number of vertices of each degree between $0$ and $d$ is $(1+o(1))\frac{n}{d+1}$. We also prove that any graph with $n$ vertices and minimum degree $δ$ contains a spanning subgraph in which no degree is repeated more than $(1+o(1))\frac{n}{δ+1}+2$ times.
Multipath cohomology of directed graphs
Published in Algebr. Geom. Topol. 24 (2024) 4373-4421
• View Publication
• BIB
This work is part of a series of papers focusing on multipath cohomology of directed graphs. Multipath cohomology is defined as the (poset) homology of the path poset -- i.e., the poset of disjoint simple paths in a graph -- with respect to a certain functor. This construction is essentially equivalent, albeit more computable, to taking the higher limits of said functor on (a certain modification of) the path poset. We investigate the functorial properties of multipath cohomology. We provide a number of sample computations, show that the multipath cohomology does not vanish on trees, and that, when evaluated at the coherently oriented polygon, it recovers Hochschild homology. Finally, we use the same techniques employed to study the functoriality to investigate the connection with the chromatic homology of (undirected) graphs introduced by L. Helme-Guizon and Y. Rong.
The fractional $k$-truncated metric dimension of graphs
Published
• View Publication
• BIB
The metric dimension, $\dim(G)$, and the fractional metric dimension, $\dim_f(G)$, of a graph $G$ have been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. Let $k$ be a positive integer. For any $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A set $S \subseteq V(G)$ is a \emph{$k$-truncated resolving set} of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any distinct $x,y\in V(G)$, and the \emph{$k$-truncated metric dimension} $\dim_k(G)$ of $G$ is the minimum cardinality over all $k$-truncated resolving sets of $G$. For a function $g$ defined on $V(G)$ and for $U \subseteq V(G)$, let $g(U)=\sum_{s\in U}g(s)$. A real-valued function $g:V(G) \rightarrow[0,1]$ is a \emph{$k$-truncated resolving function} of $G$ if $g(R_k\{x,y\}) \ge 1$ for any distinct $x, y\in V(G)$, and the \emph{fractional $k$-truncated metric dimension} $\dim_{k,f}(G)$ of $G$ is $\min\{g(V(G)): g \mbox{ is a $k$-truncated resolving function of }G\}$. Note that $\dim_{k,f}(G)$ reduces to $\dim_k(G)$ if the codomain of $k$-truncated resolving functions is restricted to $\{0,1\}$, and $\dim_{k,f}(G)=\dim_f(G)$ if $k$ is at least the diameter of $G$. In this paper, we study the fractional $k$-truncated metric dimension of graphs. For any connected graph $G$ of order $n\ge2$, we show that $1 \le \dim_{k,f}(G) \le \frac{n}{2}$; we characterize $G$ satisfying $\dim_{k,f}(G)$ equals $1$ and $\frac{n}{2}$, respectively. We examine $\dim_{k,f}(G)$ of some graph classes. We also show the existence of non-isomorphic graphs $G$ and $H$ such that $\dim_k(G)=\dim_k(H)$ and $\dim_{k,f}(G)\neq \dim_{k,f}(H)$, and we examine the relation among $\dim(G)$, $\dim_f(G)$, $\dim_k(G)$ and $\dim_{k,f}(G)$. We conclude the paper with some open problems.
Generalized splines on graphs with two labels and polynomial splines on cycles
Published
• View Publication
• BIB
Generalized splines are an algebraic combinatorial framework that generalizes and unifies various established concepts across different fields, most notably the classical notion of splines and the topological notion of GKM theory. The former consists of piecewise polynomials on a combinatorial geometric object like a polytope, whose polynomial pieces agree to a specified degree of differentiability. The latter is a graph-theoretic construction of torus-equivariant cohomology that Shareshian and Wachs used to reformulate the well-known Stanley$\unicode{x2013}$Stembridge conjecture, a reformulation that was recently proven to hold by Brosnan and Chow and independently Guay-Paquet.
This paper focuses on the theory of generalized splines. A generalized spline on a graph $G$ with each edge labeled by an ideal in a ring $R$ consists of a vertex-labeling by elements of $R$ so that the labels on adjacent vertices $u, v$ differ by an element of the ideal associated to the edge $uv$. We study the $R$-module of generalized splines and produce minimum generating sets for several families of graphs and edge-labelings: $1)$ for all graphs when the set of possible edge-labelings consists of at most two finitely-generated ideals, and $2)$ for cycles when the set of possible edge-labelings consists of principal ideals generated by elements of the form $(ax+by)^2$ in the polynomial ring $\mathbb{C}[x,y]$. We obtain the generators using a constructive algorithm that is suitable for computer implementation and give several applications, including contextualizing several results in the theory of classical (analytic) splines.
Graphs with at most one generalized cospectral mate
Published
• View Publication
• BIB
Let $G$ be an $n$-vertex graph with adjacency matrix $A$, and $W=[e,Ae,\ldots,A^{n-1}e]$ be the walk matrix of $G$, where $e$ is the all-one vector. In Wang [J. Combin. Theory, Ser. B, 122 (2017): 438-451], the author showed that any graph $G$ is uniquely determined by its generalized spectrum (DGS) whenever $2^{-\lfloor n/2 \rfloor}\det W$ is odd and square-free. In this paper, we introduce a large family of graphs $\mathcal{F}_n=\{$ $n$-vertex graphs $G\colon\, 2^{-\lfloor n/2 \rfloor}\det W =p^2b$ and rank$W=n-1$ over $\mathbb{Z}/p\mathbb{Z}\},$ where $b$ is odd and square-free, $p$ is an odd prime and $p\nmid b$. We prove that any graph in $\mathcal{F}_n$ either is DGS or has exactly one generalized cospectral mate up to isomorphism. Moreover, we show that the problem of finding the generalized cospectral mate for a graph in $\mathcal{F}_n$ is equivalent to that of generating an appropriate rational orthogonal matrix from a given integral vector. This equivalence essentially depends on an amazing property of graphs in terms of generalized spectra, which states that any symmetric integral matrix generalized cospectral with the adjacency matrix of some graph must be an adjacency matrix. Based on this equivalence, we develop an efficient algorithm to decide whether a given graph in $\mathcal{F}_n$ is DGS and further to find the unique generalized cospectral mate when it is not. We give some experimental results on graphs with at most 20 vertices, which suggest that $\mathcal{F}_n$ may have a positive density (nearly $3\%$) and possibly almost all graphs in $\mathcal{F}_n$ are DGS as $n\rightarrow \infty$. This gives a supporting evidence for Haemers' conjecture that almost all graphs are determined by their spectra.