graph
34665 papers tagged with this keyword
Asymptotic values of four Laplacian-type energies for matrices with degree-distance-based entries of random graphs
Published
• View Publication
• BIB
Let $f(D(i, j), d_i, d_j)$ be a real function symmetric in $i$ and $j$ with the property that $f(d, (1+o(1))np, (1+o(1))np)=(1+o(1))f(d, np, np)$ for $d=1,2$. Let $G$ be a graph, $d_i$ denote the degree of a vertex $i$ of $G$ and $D(i, j)$ denote the distance between vertices $i$ and $j$ in $G$. In this paper, we define the $f$-weighted Laplacian matrix for random graphs in the Erd$\ddot{o}$s-R$\acute{e}$nyi random graph model $\mathcal{G}_{n, p}$, where $p\in (0, 1)$ is fixed. Four weighted Laplacian type energies: the weighted Laplacian energy $\mathscr{LE}_f(G)$, weighted signless Laplacian energy $\mathscr{LE}^{+}_f(G)$, weighted incidence energy $\mathscr{IE}_f(G)$ and the weighted Laplacian-energy like invariant $\mathscr{LEL}_f(G)$ are introduced and studied. We obtain the asymptotic values of $\mathscr{IE}_f(G)$ and $\mathscr{LEL}_f(G)$, and the values of $\mathscr{LE}_f(G)$ and $\mathscr{LE}_f^{+}(G)$ under the condition that $f(D(i, j), d_i, d_j)$ is a function dependent only on $D(i, j)$. As a consequence, we get that for almost all graphs $G_p\in \mathcal{G}_{n, p}$, the energy for the matrix with degree-distance-based entries of $G_p$, $\mathscr{E}(W_f(G_p)) < \mathscr{LE}_f(G_p),$ the Laplacian energy of the matrix, which is a generalization of a conjecture by Gutman et al.
Algebraic Properties of Clique Complexes of Line Graphs
Let $H$ be a simple undirected graph and $G=\mathrm{L}(H)$ be its line graph. Assume that $Δ(G)$ denotes the clique complex of $G$. We show that $Δ(G)$ is sequentially Cohen-Macaulay if and only if it is shellable if and only if it is vertex decomposable. Moreover if $Δ(G)$ is pure, we prove that these conditions are also equivalent to being strongly connected. Furthermore, we state a complete characterizations of those $H$ for which $Δ(G)$ is Cohen-Macaulay, sequentially Cohen-Macaulay or Gorenstein. We use these characterizations to present linear time algorithms which take a graph $G$, check whether $G$ is a line graph and if yes, decide if $Δ(G)$ is Cohen-Macaulay or sequentially Cohen-Macaulay or Gorenstein.
Domination related parameters in the generalized lexicographic product of graphs
Published
• View Publication
• BIB
In this paper we begin an exploration of several domination-related parameters (among which are the total, restrained, total restrained, paired, outer connected and
total outer connected domination numbers) in the generalized lexicographic product (GLP for short) of graphs. We prove that for each GLP of graphs there exist several equality chains containing these parameters. Some known results on standard lexicographic product of two graphs are generalized or/and extended. We also obtain results on well $μ$-dominated GLP of graphs, where $μ$ stands for any of the above mentioned domination parameters. In particular, we present a characterization of well $μ$-dominated GLP of graphs in the cases when $μ$ is the domination number or the total domination number.
The Oriented Chromatic Number of the Hexagonal Grid is 6
Published
• View Publication
• BIB
The oriented chromatic number of a directed graph $G$ is the minimum order of an oriented graph to which $G$ has a homomorphism. The oriented chromatic number $χ_o({\cal F})$ of a graph family ${\cal F}$ is the maximum oriented chromatic number over any orientation of any graph in ${\cal F}$. For the family of hexagonal grids ${\cal H}_2$, Bielak (2006) proved that $5 \le χ_o({\cal H}_2) \le 6$. Here we close the gap by showing that $χ_o({\cal H}_2) \ge 6$.
Support of Closed Walks and Second Eigenvalue Multiplicity of the Normalized Adjacency Matrix
Published in STOC 2021
• View Publication
• BIB
We show that the multiplicity of the second normalized adjacency matrix eigenvalue of any connected graph of maximum degree $Δ$ is bounded by $O(n Δ^{7/5}/\log^{1/5-o(1)}n)$ for any $Δ$, and by $O(n\log^{1/2}d/\log^{1/4-o(1)}n)$ for simple $d$-regular graphs when $d\ge \log^{1/4}n$. In fact, the same bounds hold for the number of eigenvalues in any interval of width $λ_2/\log_Δ^{1-o(1)}n$ containing the second eigenvalue $λ_2$. The main ingredient in the proof is a polynomial (in $k$) lower bound on the typical support of a closed random walk of length $2k$ in any connected graph, which in turn relies on new lower bounds for the entries of the Perron eigenvector of submatrices of the normalized adjacency matrix.
A note on watchman's walks in de Bruijn graphs
The watchman's walk problem in a digraph calls for finding a minimum length closed dominating walk, where direction of arcs is respected. The watchman's walk of a de Bruijn graph of order $k$ is described by a de Bruijn sequence of order $k-1$. This idea is extended to certain subdigraphs of de Bruijn graphs.
Graph automaton groups
Published in Adv. Group Theory Appl. 11 (2021), 75-112
• View Publication
• BIB
In this paper we define a way to get a bounded invertible automaton starting from a finite graph. It turns out that the corresponding automaton group is regular weakly branch over its commutator subgroup, contains a free semigroup on two elements and is amenable of exponential growth. We also highlight a connection between our construction and the right-angled Artin groups. We then study the Schreier graphs associated with the self-similar action of these automaton groups on the regular rooted tree. We explicitly determine their diameter and their automorphism group in the case where the initial graph is a path. Moreover, we show that the case of cycles gives rise to Schreier graphs whose automorphism group is isomorphic to the dihedral group. It is remarkable that our construction recovers some classical examples of automaton groups like the Adding machine and the Tangled odometer.
Towards the Solution of an Extremal Problem Concerning the Wiener Polarity Index of Alkanes
Published
• View Publication
• BIB
The Wiener polarity index $W_p$, one of the most studied molecular structure descriptors, was devised by the chemist Harold Wiener for predicting the boiling points of alkanes. The index $W_p$ for chemical trees (chemical graphs representing alkanes) is defined as the number of unordered pairs of vertices at distance 3. A vertex of a chemical tree with the degree at least 3 is called a branching vertex. A segment of a chemical tree $T$ is a path-subtree $S$ whose terminal vertices have degrees different from 2 in $T$ and every internal vertex (if exists) of $S$ has degree 2 in $T$. In this paper, the best possible sharp upper and lower bounds on the Wiener polarity index $W_p$ are derived for the chemical trees of order $n$ with a given number of branching vertices or segments, and the corresponding extremal chemical trees are characterized. As a consequence of the derived results, an open problem concerning the maximal $W_p$ value of chemical trees with a fixed number of segments or branching vertices is solved.
Bipartite Graft I: Dulmage-Mendelsohn Decomposition for Combs
We provide an analogue of the Dulmage-Mendelsohn decomposition for a class of grafts known as comb-bipartite grafts. The Dulmage-Mendelsohn decomposition in matching theory is a classical canonical structure theorem for bipartite graphs. The substantial part of this classical theorem resides in bipartite graphs that are factorizable, that is, those with a perfect matching. Minimum joins in grafts, also known as minimum $T$-joins in graphs,
is a generalization of perfect matchings in factorizable graphs. Sebö revealed in his paper that comb-bipartite grafts form one of the two fundamental classes of grafts that serve as skeletons or building blocks of any grafts. Particularly, any bipartite grafts, that is, bipartite counterpart of grafts, can be considered as a recursive combination of comb-bipartite grafts. In this paper, we generalize the Dulmage-Mendelsohn decomposition for comb-bipartite grafts. We also show for this decomposition a property that is characteristics to grafts using the general Kotzig-Lovász decomposition for grafts, which is a known graft analogue of another canonical structure theorem from matching theory. This paper is the first from a series of studies regarding bipartite grafts.
On sums and products along the edges, II
This note is a continuation of an earlier paper by the authors. We describe improved constructions addressing a question of Erdős and Szemerédi on sums and products of real numbers along the edges of a graph. We also add a few observations about related versions of the problem.
Bounding the trace function of a hypergraph with applications
Published
• View Publication
• BIB
An upper bound on the trace function of a hypergraph $H$ is derived and its applications are demonstrated. For instance, a new upper bound for the VC dimension of $H$, or $vc(H)$, follows as a consequence and can be used to compute $vc(H)$ in polynomial time provided that $H$ has bounded degeneracy. This was not previously known. Particularly, when $H$ is a hypergraph arising from closed neighborhoods of a graph, this approach asymptotically improves the time complexity of the previous result for computing $vc(H)$. Another consequence is a general lower bound on the {\it distinguishing transversal number } of $H$ that gives rise to applications in domination theory of graphs. To effectively apply the methods developed here, one needs to have good estimations of degeneracy, and its variation or reduced degeneracy which is introduced here.
Partition of graphs with maximum degree ratio
Published
• View Publication
• BIB
Given a graph $G$ and a non trivial partition $(V_1,V_2)$ of its vertex-set, the satisfaction of a vertex $v\in V_i$ is the ratio between the size of it's closed neighborhood in $V_i$ and the size of its closed neighborhood in $G$. The worst ratio over all the vertices defines the quality of the partition. We define $q(G)$ the degree ratio of a graph as the maximum of the worst ratio over all the non trivial partitions. We give bounds and exact values of $q(G)$ for some classes of graphs. We also show some complexity results for the associated optimization or decision problems.
Using a geometric lens to find k disjoint shortest paths
Published
• View Publication
• BIB
Given an undirected $n$-vertex graph and $k$ pairs of terminal vertices $(s_1,t_1), \ldots, (s_k,t_k)$, the $k$-Disjoint Shortest Paths ($k$-DSP)-problem asks whether there are $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ is a shortest $s_i$-$t_i$-path for each $i \in [k]$. Recently, Lochet [SODA 2021] provided an algorithm that solves $k$-DSP in $n^{O(k^{5^k})}$ time, answering a 20-year old question about the computational complexity of $k$-DSP for constant $k$. On the one hand, we present an improved $n^{O(k!k)}$-time algorithm based on a novel geometric view on this problem. For the special case $k=2$ on $m$-edge graphs, we show that the running time can be further reduced to $O(nm)$ by small modifications of the algorithm and a refined analysis. On the other hand, we show that $k$-DSP is W[1]-hard with respect to $k$, showing that the dependency of the degree of the polynomial running time on the parameter $k$ is presumably unavoidable.
Non-repeated cycle lengths and Sidon sequences
Published
• View Publication
• BIB
We prove a conjecture of Boros, Caro, Füredi and Yuster on the maximum number of edges in a 2-connected graph without repeated cycle lengths, which is a restricted version of a longstanding problem of Erdős. Our proof together with the matched lower bound construction of Boros, Caro, Füredi and Yuster show that this problem can be conceptually reduced to the seminal problem of finding the maximum Sidon sequences in number theory.
Perforated Tableaux: A Combinatorial Model for Crystal Graphs in Type $A_{n-1}$
Published
• View Publication
• BIB
We present a combinatorial model, called \emph{perforated tableaux}, to study $A_{n-1}$ crystals, unifying several previously studied combinatorial models. We identify nodes in the $k$-fold tensor product of the standard crystal with length $k$ words in $[n]= \{ 1, \ldots n\}$.
We model this crystal with perforated tableaux (ptableaux), extending this identification isomorphically to biwords, RSK $(P,Q)$ tableaux pairs, and matrix models. In the ptableaux setting, crystal operators are more simply defined and we can identify highest weights visually without computation. We generalize the tensor products in the Littlewood-Richardson rule to all of $[n]^{\otimes k}$, and not just the irreducible crystals whose reading words come from semistandard Young tableaux. We relate evacuation (Lusztig involution) to products of ptableaux crystal operators, and find a combinatorial algorithm to compute commutators of highest weight ptableaux.
Graphs isomorphisms under edge-replacements and the family of amoebas
Published
• View Publication
• BIB
This paper offers a systematic study of a family of graphs called amoebas. Amoebas recently emerged from the study of forced patterns in $2$-colorings of the edges of the complete graph in the context of Ramsey-Turan theory and played an important role in extremal zero-sum problems. Amoebas are graphs with a unique behavior with regards to the following operation: Let $G$ be a graph and let $e\in E(G)$ and $e'\in E(\overline{G})$. If the graph $G'=G-e+e'$ is isomorphic to $G$, we say $G'$ is obtained from $G$ by performing a \emph{feasible edge-replacement}. We call $G$ a \emph{local amoeba} if, for any two copies $G_1$, $G_2$ of $G$ on the same vertex set, $G_1$ can be transformed into $G_2$ by a chain of feasible edge-replacements. On the other hand, $G$ is called \emph{global amoeba} if there is an integer $t_0 \ge 0$ such that $G \cup tK_1$ is a local amoeba for all $t \ge t_0$. To model the dynamics of the feasible edge-replacements of $G$, we define a group ${\rm Fer}(G)$ that satisfies that $G$ is a local amoeba if and only if ${\rm Fer}(G) \cong S_n$, where $n$ is the order of $G$. Via this algebraic setting, a deeper understanding of the structure of amoebas and their intrinsic properties comes into light. Moreover, we present different constructions that prove the richness of these graph families showing, among other things, that any connected graph can be a connected component of a global amoeba, that global amoebas can be very dense and that they can have, in proportion to their order, large clique and chromatic numbers. Also, a family of global amoeba trees with a Fibonacci-like structure and with arbitrary large maximum degree is constructed.
The graph grabbing game on blow-ups of trees and cycles
Published
• View Publication
• BIB
The graph grabbing game is played on a non-negatively weighted connected graph by Alice and Bob who alternately claim a non-cut vertex from the remaining graph, where Alice plays first, to maximize the weights on their respective claimed vertices at the end of the game when all vertices have been claimed. Seacrest and Seacrest conjectured that Alice can secure at least half of the weight of every weighted connected bipartite even graph. Later, Egawa, Enomoto and Matsumoto partially confirmed this conjecture by showing that Alice wins the game on a class of weighted connected bipartite even graphs called $K_{m,n}$-trees. We extend the result on this class to include a number of graphs, e.g. even blow-ups of trees and cycles.
On graphs with some normalized Laplacian eigenvalue of extremal multiplicity
Let $G$ be a connected simple graph on $n$ vertices. Let $\mathcal{L}(G)$ be the normalized Laplacian matrix of $G$ and $ρ_{n-1}(G)$ be the second least eigenvalue of $\mathcal{L}(G)$. Denote by $ν(G)$ the independence number of $G$. Recently, the paper [Characterization of graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$, arXiv:1912.13227] discussed the graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$. However, there is one remaining case (graphs with $ρ_{n-1}(G)\neq 1$ and $ν(G)= 2$) not considered. In this paper, we focus on cographs and graphs with diameter 3 to investigate the graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$.
On weighted sublinear separators
Consider a graph G with an assignment of costs to vertices. Even if G and all its subgraphs admit balanced separators of sublinear size, G may only admit a balanced separator of sublinear cost after deleting a small set Z of exceptional vertices. We improve the bound on |Z| from O(log |V(G)|) to O(log log...log |V(G)|), for any fixed number of iterations of the logarithm.
Discrete harmonic functions on infinite penny graphs
Published
• View Publication
• BIB
In this paper, we study discrete harmonic functions on infinite penny graphs. For an infinite penny graph with bounded facial degree, we prove that the volume doubling property and the Poincaré inequality hold, which yields the Harnack inequality for positive harmonic functions. Moreover, we prove that the space of polynomial growth harmonic functions, or ancient solutions of the heat equation, with bounded growth rate has finite dimensional property.