graph
35299 papers tagged with this keyword
A generalization of operads based on subgraph contractions
Published in Inter Math Res Notices Issue 14 (2024) 10732-10775
• View Publication
• BIB
We introduce a generalization of the notion of operad that we call a contractad, whose set of operations is indexed by connected graphs and whose composition rules are numbered by contractions of connected subgraphs. We show that many classical operads, such as the operad of commutative algebras, Lie algebras, associative algebras, pre-Lie algebras, the little disks operad, and the operad of moduli spaces of stable curves $\overline{\mathcal{M}}_{0,n+1}$ admit generalizations to contractads. We explain that standard tools like Koszul duality and the machinery of Gröbner bases can be easily generalized to contractads. We verify the Koszul property of the commutative, Lie, associative, and Gerstenhaber contractads.
Graph bundles and Ricci-flatness
Published
• View Publication
• BIB
We develop a systematical way of constructing S-Ricci flat graphs which are not Abelian Cayley via graph bundle with explicit examples. For this purpose, we prove that, with some natural constrains, a non-trivial graph bundle can not be isomorphic (as graphs) to the product of the base graph and fiber graph. It stands in clear contrast to the continuous case.
Spanning trees of $K_{1,4}$-free graphs whose reducible stems have few leaves
Published
• View Publication
• BIB
Let $T$ be a tree, a vertex of degree one is a \emph{leaf} of $T$ and a vertex of degree at least three is a \emph{branch vertex} of $T$. The {\it reducible stem } of $T$ is the smallest subtree that contains all branch vertices of $T$. In this paper, we give some sharp sufficient conditions for $K_{1,4}$-free graphs to have a spanning tree whose reducible stem having few leaves.
Reconfiguration of Time-Respecting Arborescences
Published
• View Publication
• BIB
An arborescence, which is a directed analogue of a spanning tree in an undirected graph, is one of the most fundamental combinatorial objects in a digraph. In this paper, we study arborescences in digraphs from the viewpoint of combinatorial reconfiguration, which is the field where we study reachability between two configurations of some combinatorial objects via some specified operations. Especially, we consider reconfiguration problems for time-respecting arborescences, which were introduced by Kempe, Kleinberg, and Kumar. We first prove that if the roots of the initial and target time-respecting arborescences are the same, then the target arborescence is always reachable from the initial one and we can find a shortest reconfiguration sequence in polynomial time. Furthermore, we show if the roots are not the same, then the target arborescence may not be reachable from the initial one. On the other hand, we show that we can determine whether the target arborescence is reachable form the initial one in polynomial time. Finally, we prove that it is NP-hard to find a shortest reconfiguration sequence in the case where the roots are not the same. Our results show an interesting contrast to the previous results for (ordinary) arborescences reconfiguration problems.
Tiling edge-ordered graphs with monotone paths and other structures
Published
• View Publication
• BIB
Given graphs $F$ and $G$, a perfect $F$-tiling in $G$ is a collection of vertex-disjoint copies of $F$ in $G$ that together cover all the vertices in $G$. The study of the minimum degree threshold forcing a perfect $F$-tiling in a graph $G$ has a long history, culminating in the Kühn--Osthus theorem [Combinatorica 2009] which resolves this problem, up to an additive constant, for all graphs $F$. In this paper we initiate the study of the analogous question for edge-ordered graphs. In particular, we characterize for which edge-ordered graphs $F$ this problem is well-defined. We also apply the absorbing method to asymptotically determine the minimum degree threshold for forcing a perfect $P$-tiling in an edge-ordered graph, where $P$ is any fixed monotone path.
Aspects of the commuting graph
Published
• View Publication
• BIB
The commuting graph of a group $G$ is the graph whose vertices are the elements of $G$, two distinct vertices joined if they commute.
Our purpose in this paper is twofold: we discuss the computational problem of deciding whether a given graph is the commuting graph of a finite group; we give a quasipolynomial algorithm, and a polynomial algorithm for the case when the group is an extra\-special p-group for p an odd prime; we give new results on the question of whether the commuting graph of a given group is a cograph or a chordal graph, two classes of graphs defined by forbidden subgraphs.
The problems are not unrelated, since there are a number of cases where hard computational problems on graphs are easier when restricted to special classes of graphs; we conjecture that the recognition problem is polynomial for cographs and chordal graphs.
The Wiener index and the Wiener Complexity of the zero-divisor graph of a ring
Published
• View Publication
• BIB
We calculate the Wiener index of the zero-divisor graph of a finite semisimple ring. We also calculate the Wiener complexity of the zero-divisor graph of a finite simple ring and find an upper bound for the Wiener complexity in the semisimple case.
Graph minors and metric spaces
Published
• View Publication
• BIB
We present problems and results that combine graph-minors and coarse geometry. For example, we ask whether every geodesic metric space (or graph) without a fat $H$ minor is quasi-isometric to a graph with no $H$ minor, for an arbitrary finite graph $H$. We answer this affirmatively for a few small $H$. We also present a metric analogue of Menger's theorem and Konig's ray theorem. We conjecture metric analogues of the Erdos--Posa Theorem and Halin's grid theorem.
Alon-Boppana-type bounds for weighted graphs
Published
• View Publication
• BIB
The unraveled ball of radius $r$ centered at a vertex $v$ in a weighted graph $G$ is the ball of radius $r$ centered at $v$ in the universal cover of $G$. We present a general bound on the maximum spectral radius of unraveled balls of fixed radius in a weighted graph.
The weighted degree of a vertex in a weighted graph is the sum of weights of edges incident to the vertex. A weighted graph is called regular if the weighted degrees of its vertices are the same. Using the result on unraveled balls, we prove a variation of the Alon-Boppana theorem for regular weighted graphs.
Structural rigidity and flexibility using graphs of groups
Published
• View Publication
• BIB
In structural rigidity, one studies frameworks of bars and joints in Euclidean space. Such a framework is an articulated structure consisting of rigid bars, joined together at joints around which the bars may rotate. In this paper, we will describe articulated motions of realisations of hypergraphs that uses the terminology of graph of groups, and describe the motions of such a framework using group theory. Our approach allows to model a variety of situations, such as parallel redrawings, scenes, polytopes, realisations of graphs on surfaces, and even unique colourability of graphs. This approach allows a concise description of various dualities in rigidity theory. We also provide a lower bound on the dimension of the infinitesimal motions of such a framework in the special case when the underlying group is a Lie group.
Torsors and tilings from toric toggling
Published
• View Publication
• BIB
Much of dynamical algebraic combinatorics focuses on global dynamical systems defined via maps that are compositions of local toggle operators. The second author and Roby studied such maps that result from toggling independent sets of a path graph. We investigate a "toric" analogue of this work by analyzing the dynamics arising from toggling independent sets of a cycle graph. Each orbit in the dynamical system can be encoded via a grid of 0s and 1s; two commuting bijections on the set of 1s in this grid produce torsors for what we call the infinite snake group and the finite ouroboros groups. By studying related covering maps, we deduce precise combinatorial properties of the orbits. Because the snake and ouroboros groups are abelian, they define tilings of cylinders and tori by parallelograms, which we also characterize. Many of the ideas developed here should be adaptable both to other toggle actions in combinatorics and to other cellular automata.
Totally odd immersions in line graphs
Published
• View Publication
• BIB
The immersion-analogue of Hadwiger's Conjecture states that every graph $G$ contains an immersion of $K_{χ(G)}$. This conjecture has been recently strengthened in the following way: every graph $G$ contains a totally odd immersion of $K_{χ(G)}$. We prove this stronger conjecture for line graphs of constant-multiplicity multigraphs, thus extending a result of Guyer and McDonald.
Cubic vertices of minimal bicritical graphs
Published
• View Publication
• BIB
A graph $G$ with four or more vertices is called bicritical if the removal of any pair of distinct vertices of $G$ results in a graph with a perfect matching. A bicritical graph is minimal if the deletion of each edge results in a non-bicritical graph. Recently, Y. Zhang et al. and F. Lin et al. respectively showed that bicritical graphs without removable edges and minimal bricks have at least four cubic vertices. In this note, we show that minimal bicritical graphs also have at least four cubic vertices, so confirming O. Favaron and M. Shi's conjecture in the case of $k=2$ on minimal $k$-factor critical graphs.
Homotopy types of Vietoris-Rips complexes of Hypercube Graphs
Published
• View Publication
• BIB
We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at scale $3$. We represent the vertices in the hypercube graph $Q_m$ as the collection of all subsets of $[m]=\{1, 2, \ldots, m\}$ and equip $Q_m$ with the metric using symmetric difference distance. It is proved in \cite{AA22} that the Vietoris-Rips complexes of hypercube graphs $Q_m$ at scale $2$, $\mathcal{VR}(Q_m; 2)$, is homotopy equivalent to $c_m$-many spheres with dimension $3$ where $c_m=\sum_{0\leq j< i<m} (j+1)(2^{m-2}-2^{i-1})$. Questions are raised in \cite{AA22} for determining the homotopy types of $\mathcal{VR}(Q_m, r)$ with large scales $r=3, 4, \ldots, m-2$. We prove that for $m\geq 5$, $$\mathcal{VR}(Q_m; 3)\simeq (\bigvee_{2^{m-4}\cdot{m\choose 4}} S^7) \vee (\bigvee_{\sum_{i=4}^{m-1}2^{i-4}\cdot{i\choose 4}} S^4).$$
Linear Eulerian Extensions of Inhomogenous Random Graphs
The Eulerian extension number of any graph~\(H\) (i.e. the minimum number of edges needed to be added to make~\(H\) Eulerian) is at least~\(t(H),\) half the number of odd degree vertices of~\(H.\) In this paper we consider an inhomogenous random graph~\(G\) whose edge probabilities need not all be the same and use an iterative probabilistic method to obtain sufficient conditions for the Eulerian extension number of~\(G\) to grow \emph{linearly} with~\(t(G).\) We derive our conditions in terms of the average edge probabilities and edge density and also briefly illustrate our result with an example.
Betti Numbers of Prodsimplicial Complexes for Directed Graphs with Applications to Word Reductions
We propose custom made cell complexes, in particular prodsimplicial complexes, in order to analyze data consisting of directed graphs. These are constructed by attaching cells that are products of simplices and are suited to study data of acyclic directed graphs, called here consistently directed graphs. We investigate possible values of the first and second Betti numbers and the types of cycles that generate nontrivial homology. We apply these tools to directed graphs associated with reductions of double occurrence words, words that are associated with DNA recombination processes in certain species of ciliates. We study the effects of word operations on the homology for these graphs.
Hadwiger's Conjecture for some graphs with independence number two
Let $h(G)$ denote the largest $t$ such that $G$ contains $K_t$ as a minor and $χ(G)$ be the chromatic number of $G$ respectively. In 1943, Hadwiger conjectured that $h(G) \geq χ(G)$ for any graph $G$. In this paper, we prove that Hadwiger's conjecture holds for $H$-free graphs with independence number two, where $H$ is one of some specified graphs.
On Zagreb indices of graphs
Published in MATCH Commun. Math. Comput. Chem. 85 (2021) 295-301
• Search Publication
Let ${\mathcal G}_n$ be the set of class of graphs of order $n$. The first Zagreb index $M_1(G)$ is equal to the sum of squares of the degrees of the vertices, and the second Zagreb index $M_2(G)$ is equal to the sum of the products of the degrees of pairs of adjacent vertices of the underlying molecular graph $G$. The three set of graphs are as follows: \begin{eqnarray*} &&A=\left\{G\in {\mathcal G}_n:\,\frac{M_1(G)}{n}>\frac{M_2(G)}{m}\right\},~B=\left\{G\in {\mathcal G}_n:\,\frac{M_1(G)}{n}=\frac{M_2(G)}{m}\right\} \mbox{ and }&& &&~~~~~~~~~~~~~~~~~~~~~~~~~C=\left\{G\in {\mathcal G}_n:\,\frac{M_1(G)}{n}<\frac{M_2(G)}{m}\right\}. \end{eqnarray*} In this paper we prove that $|A|+|B|<|C|$. Finally, we give a conjecture $|A|<|B|$.
Normal 5-edge-coloring of some snarks superpositioned by the Petersen graph
Published
• View Publication
• BIB
In a (proper) edge-coloring of a bridgeless cubic graph G an edge e is rich (resp. poor) if the number of colors of all edges incident to end-vertices of e is 5 (resp. 3). An edge-coloring of G is is normal if every edge of G is either rich or poor. In this paper we consider snarks ~G obtained by a simple superposition of edges and vertices of a cycle C in a snark G: For an even cycle C we show that a normal coloring of G can be extended to a normal coloring of ~G without changing colors of edges outside C in G: An interesting remark is that this is in general impossible for odd cycles, since the normal coloring of a Petersen graph P10 cannot be extended to a superposition of P10 on a 5-cycle without changing colors outside the 5-cycle. On the other hand, as our colorings of the superpositioned snarks introduce 18 or more poor edges, we are inclined to believe that every bridgeless cubic graph istinct from P10 has a normal coloring with at least one poor edge and possibly with at least 6 if we also exclude the Petersen graph with one vertex truncated.
Transitive cornerations in maps
A corner in a map is an edge-vertex-edge triple consisting of two distinct edges incident to the same vertex. A corneration is a set of corners that covers every arc of the map exactly once. Cornerations in a dart-transitive map generalize the notion of a cycle structure in a symmetric graph. In this paper, we study the cornerations (and associated structures) that are preserved by a vertex-transitive group of automorphisms of the map.