graph
34585 papers tagged with this keyword
Connectedness in Friends-and-Strangers Graphs of Spiders and Complements
Let $X$ and $Y$ be two graphs with vertex set $[n]$. Their friends-and-strangers graph $\mathsf{FS}(X,Y)$ is a graph with vertices corresponding to elements of the group $S_n$, and two permutations $σ$ and $σ'$ are adjacent if they are separated by a transposition $\{a,b\}$ such that $a$ and $b$ are adjacent in $X$ and $σ(a)$ and $σ(b)$ are adjacent in $Y$. Specific friends-and-strangers graphs such as $\mathsf{FS}(\mathsf{Path}_n,Y)$ and $\mathsf{FS}(\mathsf{Cycle}_n,Y)$ have been researched, and their connected components have been enumerated using various equivalence relations such as double-flip equivalence. A spider graph is a collection of path graphs that are all connected to a single center point. In this paper, we delve deeper into the question of when $\mathsf{FS}(X,Y)$ is connected when $X$ is a spider and $Y$ is the complement of a spider or a tadpole.
Extremal Kirchhoff index in polycyclic chains
Published
• View Publication
• BIB
The Kirchhoff index of graphs, introduced by Klein and Randić in 1993, has been known useful in the study of computer science, complex network and quantum chemistry. The Kirchhoff index of a graph $G$ is defined as $Kf(G)=\sum\limits_{\{u,v\}\subseteq V(G)}Ω_{G}(u,v)$, where $Ω_{G}(u,v)$ denotes the resistance distance between $u$ and $v$ in $G$.
In this paper, we determine the maximum (resp. minimum) $k$-polycyclic chains with respect to Kirchhoff index for $k\geq 5$, which extends the results of Yang and Klein [Comparison theorems on resistance distances and Kirchhoff indices of $S,T$-isomers, Discrete Appl. Math. 175 (2014) 87-93], Yang and Sun [Minimal hexagonal chains with respect to the Kirchhoff index, Discrete Math. 345 (2022) 113099], Sun and Yang [Extremal pentagonal chains with respect to the Kirchhoff index, Appl. Math. Comput. 437 (2023) 127534] and Ma [Extremal octagonal chains with respect to the Kirchhoff index, arXiv: 2209.10264].
Faster parameterized algorithms for modification problems to minor-closed classes
Published in TheoretiCS, Volume 3 (August 12, 2024) theoretics:11623
• View Publication
• BIB
Let ${\cal G}$ be a minor-closed graph class and let $G$ be an $n$-vertex graph. We say that $G$ is a $k$-apex of ${\cal G}$ if $G$ contains a set $S$ of at most $k$ vertices such that $G\setminus S$ belongs to ${\cal G}$. Our first result is an algorithm that decides whether $G$ is a $k$-apex of ${\cal G}$ in time $2^{{\sf poly}(k)}\cdot n^2$, where ${\sf poly}$ is a polynomial function depending on ${\cal G}$. This algorithm improves the previous one, given by Sau, Stamoulis, and Thilikos [ICALP 2020], whose running time was $2^{{\sf poly}(k)}\cdot n^3$. The elimination distance of $G$ to ${\cal G}$, denoted by ${\sf ed}_{\cal G}(G)$, is the minimum number of rounds required to reduce each connected component of $G$ to a graph in ${\cal G}$ by removing one vertex from each connected component in each round. Bulian and Dawar [Algorithmica 2017] provided an FPT-algorithm, with parameter $k$, to decide whether ${\sf ed}_{\cal G}(G)\leq k$. However, its dependence on $k$ is not explicit. We extend the techniques used in the first algorithm to decide whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{2^{2^{{\sf poly}(k)}}}\cdot n^2$. This is the first algorithm for this problem with an explicit parametric dependence in $k$. In the special case where ${\cal G}$ excludes some apex-graph as a minor, we give two alternative algorithms, running in time $2^{2^{{\cal O}(k^2\log k)}}\cdot n^2$ and $2^{{\sf poly}(k)}\cdot n^3$ respectively, where $c$ and ${\sf poly}$ depend on ${\cal G}$. As a stepping stone for these algorithms, we provide an algorithm that decides whether ${\sf ed}_{\cal G}(G)\leq k$ in time $2^{{\cal O}({\sf tw}\cdot k+{\sf tw}\log{\sf tw})}\cdot n$, where ${\sf tw}$ is the treewidth of $G$. Finally, we provide explicit upper bounds on the size of the graphs in the minor-obstruction set of the class of graphs ${\cal E}_k({\cal G})=\{G\mid{\sf ed}_{\cal G}(G)\leq k\}$.
A note on non-isomorphic edge-color classes in random graphs
Published
• View Publication
• BIB
For a graph $G$, let $τ(G)$ be the maximum number of colors such that there exists an edge-coloring of $G$ with no two color classes being isomorphic. We investigate the behavior of $τ(G)$ when $G=G(n, p)$ is the classical Erdős-Rényi random graph.
$2$-polarity and algorithmic aspects of polarity variants on cograph superclasses
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Graph Theory (October 10, 2024) dmtcs:11479
• View Publication
• BIB
A graph $G$ is said to be an $(s, k)$-polar graph if its vertex set admits a partition $(A, B)$ such that $A$ and $B$ induce, respectively, a complete $s$-partite graph and the disjoint union of at most $k$ complete graphs. Polar graphs and monopolar graphs are defined as $(\infty, \infty)$- and $(1, \infty)$-polar graphs, respectively, and unipolar graphs are those graphs with a polar partition $(A, B)$ such that $A$ is a clique.
The problems of deciding whether an arbitrary graph is a polar graph or a monopolar graph are known to be NP-complete. In contrast, deciding whether a graph is a unipolar graph can be done in polynomial time. In this work we prove that the three previous problems can be solved in linear time on the classes of $P_4$-sparse and $P_4$-extendible graphs, generalizing analogous results previously known for cographs.
Additionally, we provide finite forbidden subgraph characterizations for $(2,2)$-polar graphs on $P_4$-sparse and $P_4$-extendible graphs, also generalizing analogous results recently obtained for the class of cographs.
Rainbow spanning trees in randomly coloured $G_{k-out}$
Given a graph $G=(V,E)$ on $n$ vertices and an assignment of colours to its edges, a set of edges $S \subseteq E$ is said to be rainbow if edges from $S$ have pairwise different colours assigned to them. In this paper, we investigate rainbow spanning trees in randomly coloured random $G_{k-out}$ graphs.
On the distance spectrum and distance-based topological indices of central vertex-edge join of three graphs
Topological indices are molecular descriptors that describe the properties of chemical compounds. These topological indices correlate specific physico-chemical properties like boiling point, enthalpy of vaporization, strain energy, and stability of chemical compounds. This article introduces a new graph operation based on central graph called central vertex-edge join and provides its results related to graph invariants like eccentric-connectivity index, connective eccentricity index, total-eccentricity index, average eccentricity index, Zagreb eccentricity indices, eccentric geometric-arithmetic index, eccentric atom-bond connectivity index, and Wiener index. Also, we discuss the distance spectrum of the central vertex-edge join of three regular graphs. Furthermore, we obtain new families of $D$-equienergetic graphs, which are non $D$-cospectral.
Wiener index of the Cozero-divisor graph of a finite commutative ring
Published
• View Publication
• BIB
Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$, denoted by $Γ'(R)$, is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$, and two distinct vertices $x$ and $y$ are adjacent if and only if $x \notin Ry$ and $y \notin Rx$. In this article, we extend some of the results of [24] to an arbitrary ring. In this connection, we derive a closed-form formula of the Wiener index of the cozero-divisor graph of a finite commutative ring $R$. As applications, we compute the Wiener index of $Γ'(R)$, when either $R$ is the product of ring of integers modulo $n$ or a reduced ring. At the final part of this paper, we provide a SageMath code to compute the Wiener index of the cozero-divisor graph of these class of rings including the ring $\mathbb{Z}_{n}$ of integers modulo $n$.
On the hull and interval numbers of oriented graphs
In this work, for a given oriented graph $D$, we study its interval and hull numbers, respectively, in the oriented geodetic, P3 and P3* convexities. This last one, we believe to be formally defined and first studied in this paper, although its undirected version is well-known in the literature.
Concerning bounds, for a strongly oriented graph D, and the oriented geodetic convexity, we prove that $ohng(D)\leq m(D)-n(D)+2$ and that there is at least one such that $ohng(D) = m(D)-n(D)$. We also determine exact values for the hull numbers in these three convexities for tournaments, which imply polynomial-time algorithms to compute them. These results allow us to deduce polynomial-time algorithms to compute $ohnp(D)$ when the underlying graph of $D$ is split or cobipartite.
Moreover, we provide a meta-theorem by proving that if deciding whether $oing(D)\leq k$ or $ohng(D)\leq k$ is NP-hard or W[i]-hard parameterized by $k$, for some $i\in\mathbb{Z_+^*}$, then the same holds even if the underlying graph of $D$ is bipartite. Next, we prove that deciding whether $ohnp(D)\leq k$ or $ohnps(D)\leq k$ is W[2]-hard parameterized by $k$, even if $D$ is acyclic and its underlying graph is bipartite; that deciding whether $ohng(D)\leq k$ is W[2]-hard parameterized by $k$, even if $D$ is acyclic; that deciding whether $oinp(D)\leq k$ or $oinps(D)\leq k$ is NP-complete, even if $D$ has no directed cycles and the underlying graph of $D$ is a chordal bipartite graph; and that deciding whether $oinp(D)\leq k$ or $oinps(D)\leq k$ is W[2]-hard parameterized by $k$, even if the underlying graph of $D$ is split.
Finally, also argue that the interval and hull numbers in the oriented P3 and P3* convexities can be computed in cubic time for graphs of bounded clique-width by using Courcelle's theorem.
Asymptotic behavior of Markov complexity of matrices
Published
• View Publication
• BIB
To any integer matrix $A$ one can associate a matroid structure consisting of a graph and another integer matrix $A_B$. The connected components of this graph are called bouquets. We prove that bouquets behave well with respect to the $r$--th Lawrence liftings of matrices and we use it to prove that the Markov and Graver complexities of $m\times n$ matrices of rank $d$ may be arbitrarily large for $n\geq 4$ and $d\leq n-2$. In contrast, we show they are bounded in terms of $n$ and the largest absolute value $a$ of any entry of $A$.
On the critical group of hinge graphs
Published
• View Publication
• BIB
Let $G$ be a finite, connected, simple graph. The critical group $K(G)$, also known as the sandpile group, is the torsion subgroup of the cokernel of the graph Laplacian $\operatorname{cok}(L)$. We investigate a family of graphs with relatively simple non-cyclic critical group with an end goal of understanding whether multiple divisors, i.e., formal linear combinations of vertices of $G$, generate $K(G)$. These graphs, referred to as hinge graphs, can be intuitively understood by taking multiple base shapes and ``gluing" them together by a single shared edge and two corresponding shared vertices. In the case where all base shapes are identical, we compute the explicit structure of the critical group. Additionally, we compute the order of three special divisors. We prove the structure of the critical group of hinge graphs when variance in the number of vertices of each base shape is allowed, generalizing many of the aforementioned results.
On the extremal graphs in generalized Turán problems
Published
• View Publication
• BIB
Given two graphs $H$ and $F$, the generalized Turán number $\mathrm{ex}(n,H,F)$ is the largest number of copies of $H$ in an $n$-vertex $F$-free graph. For every $F$ and sufficiently large $n$, we present an extremal graph for a generalized Turán problem, i.e., an $F$-free $n$ vertex graph $G$ that for some $H$ contains exactly $\mathrm{ex}(n,H,F)$ copies of $H$.
Non-recursive Counts of Graphs on Surfaces
Published
• View Publication
• BIB
The problem of map enumeration concerns counting connected spatial graphs, with a specified number $j$ of vertices, that can be embedded in a compact surface of genus $g$ in such a way that its complement yields a cellular decomposition of the surface. As such this problem lies at the cross-roads of combinatorial studies in low dimensional topology and graph theory. The determination of explicit formulae for map counts, in terms of closed classical combinatorial functions of $g$ and $j$ as opposed to a recursive prescription, has been a long-standing problem with explicit results known only for very low values of $g$. In this paper we derive closed-form expressions for counts of maps with an arbitrary number of even-valent vertices, embedded in surfaces of arbitrary genus. In particular, we exhibit a number of higher genus examples for 4-valent maps that have not appeared prior in the literature.
On the $A_α$ and $RD_α$ matrices over certain groups
The power graph $G = P(Ω)$ of a finite group $Ω$ is a graph with the vertex set $Ω$ and two vertices $u, v \in Ω$ form an edge if and only if one is an integral power of the other. Let $D(G)$, $A(G)$, $RT(G)$, and $RD(G)$ denote the degree diagonal matrix, adjacency matrix, the diagonal matrix of the vertex reciprocal transmission, and Harary matrix of the power graph $G$ respectively. Then the $A_α$ and $RD_α$ matrices of $G$ are defined as $A_α(G) = αD(G) + (1-α)A(G)$ and $RD_α(G) = αRT(G) + (1-α)RD(G)$. In this article, we determine the eigenvalues of $A_α$ and $RD_α$ matrices of the power graph of group $ \mathcal{G} = \langle s,r \, : r^{2^kp} = s^2 = e,~ srs^{-1} = r^{2^{k-1}p-1}\rangle$. In addition, we calculate its distant and detotar distance degree sequences, metric dimension, and strong metric dimension.
Random rotor walks and i.i.d. sandpiles on Sierpinski graphs
Published
• View Publication
• BIB
We prove that, on the infinite Sierpinski gasket graph SG, rotor walk with random initial configuration of rotors is recurrent. We also give a necessary condition for an i.i.d. sandpile to stabilize. In particular, we prove that an i.i.d. sandpile with expected number of chips per site greater or equal to three does not stabilize almost surely. Furthermore, the proof also applies to divisible sandpiles and shows that divisible sandpile at critical density one does not stabilize almost surely on SG.
Combinatorial and algebraic perspectives on the marginal independence structure of Bayesian networks
Published in Alg. Stat. 14 (2023) 233-286
• View Publication
• BIB
We consider the problem of estimating the marginal independence structure of a Bayesian network from observational data, learning an undirected graph we call the unconditional dependence graph. We show that unconditional dependence graphs of Bayesian networks correspond to the graphs having equal independence and intersection numbers. Using this observation, a Gröbner basis for a toric ideal associated to unconditional dependence graphs of Bayesian networks is given and then extended by additional binomial relations to connect the space of all such graphs. An MCMC method, called GrUES (Gröbner-based Unconditional Equivalence Search), is implemented based on the resulting moves and applied to synthetic Gaussian data. GrUES recovers the true marginal independence structure via a penalized maximum likelihood or MAP estimate at a higher rate than simple independence tests while also yielding an estimate of the posterior, for which the $20\%$ HPD credible sets include the true structure at a high rate for data-generating graphs with density at least $0.5$.
Ollivier Ricci curvature of Cayley graphs for dihedral groups, generalized quaternion groups, and cyclic groups
Published
• View Publication
• BIB
Lin, Lu, and Yau formulated the Ricci curvature of edges in simple undirected graphs[2]. Using their formulations, we calculate the Ricci curvatures of Cayley graphs for the dihedral groups, the general quaternion groups, and cyclic groups with some generating sets that are chosen so that their cardinal numbers are less than or equal to four. For the dihedral group and the general quaternion group, we obtained the Ricci curvatures of all edges of the Cayley graph with generator sets consisting of the four elements that are the two generators defining each group and their inverses elements.For the cyclic group (Z/nZ, +), we have the Ricci curvatures of edges of the Cayley graph generating by S_{1, k} = {+1, -1, +k, -k}.
Extended commonality of paths and cycles via Schur convexity
Published
• View Publication
• BIB
A graph $H$ is \emph{common} if the number of monochromatic copies of $H$ in a 2-edge-colouring of the complete graph $K_n$ is asymptotically minimised by the random colouring, or equivalently, $t_H(W)+t_H(1-W)\geq 2^{1-e(H)}$ holds for every graphon $W:[0,1]^2\rightarrow [0,1]$, where $t_H(.)$ denotes the homomorphism density of the graph $H$. Paths and cycles being common is one of the earliest cornerstones in extremal graph theory, due to Mulholland and Smith (1959), Goodman (1959), and Sidorenko (1989).
We prove a graph homomorphism inequality that extends the commonality of paths and cycles. Namely, $t_H(W)+t_H(1-W)\geq t_{K_2}(W)^{e(H)} +t_{K_2}(1-W)^{e(H)}$ whenever $H$ is a path or a cycle and $W:[0,1]^2\rightarrow\mathbb{R}$ is a bounded symmetric measurable function.
This answers a question of Sidorenko from 1989, who proved a slightly weaker result for even-length paths to prove the commonality of odd cycles. Furthermore, it also settles a recent conjecture of Behague, Morrison, and Noel in a strong form, who asked if the inequality holds for graphons $W$ and odd cycles $H$. Our proof uses Schur convexity of complete homogeneous symmetric functions, which may be of independent interest.
On Equivariant flag $f$-vectors for balanced relative simplicial complexes
We study the equivariant flag $f$-vector and equivariant flag $h$-vector of a balanced relative simplicial complex with respect to a group action. When the complex satisfies Serre's condition $(S_{\ell}),$ we show that the equivariant flag $h$-vector, the equivariant $h$-vector, and the equivariant $f$-vector satisfy several inequalities.
We apply these results to the study of $P$-partitions of double posets, and weak colorings of mixed graphs.
Local and global expansion in random geometric graphs
Published
• View Publication
• BIB
Consider a random geometric 2-dimensional simplicial complex $X$ sampled as follows: first, sample $n$ vectors $\boldsymbol{u_1},\ldots,\boldsymbol{u_n}$ uniformly at random on $\mathbb{S}^{d-1}$; then, for each triple $i,j,k \in [n]$, add $\{i,j,k\}$ and all of its subsets to $X$ if and only if $\langle{\boldsymbol{u_i},\boldsymbol{u_j}}\rangle \ge τ, \langle{\boldsymbol{u_i},\boldsymbol{u_k}}\rangle \ge τ$, and $\langle \boldsymbol{u_j}, \boldsymbol{u_k}\rangle \ge τ$. We prove that for every $\varepsilon > 0$, there exists a choice of $d = Θ(\log n)$ and $τ= τ(\varepsilon,d)$ so that with high probability, $X$ is a high-dimensional expander of average degree $n^\varepsilon$ in which each $1$-link has spectral gap bounded away from $\frac{1}{2}$.
To our knowledge, this is the first demonstration of a natural distribution over $2$-dimensional expanders of arbitrarily small polynomial average degree and spectral link expansion better than $\frac{1}{2}$. All previously known constructions are algebraic. This distribution also furnishes an example of simplicial complexes for which the trickle-down theorem is nearly tight.
En route, we prove general bounds on the spectral expansion of random induced subgraphs of arbitrary vertex transitive graphs, which may be of independent interest. For example, one consequence is an almost-sharp bound on the second eigenvalue of random $n$-vertex geometric graphs on $\mathbb{S}^{d-1}$, which was previously unknown for most $n,d$ pairs.