graph
34516 papers tagged with this keyword
Snake Graphs for Graph LP Algebras
Published
• View Publication
• BIB
Graph LP algebras are a generalization of cluster algebras introduced by Lam and Pylyavskyy. We provide a combinatorial proof of positivity for certain cluster variables in these algebras. This proof uses a hypergraph generalization of snake graphs, a class of planar graphs which were used by Musiker, Schiffler, and Williams to prove positivity for cluster algebras from surfaces. These results extend those given in our previous paper, where we used a related combinatorial object known as a $T$-path.
Diffusion limited aggregation in the layers model
In the classical model of Diffusion Limited Aggregation (DLA), introduced by Witten and Sander, the process begins with a single particle cluster placed at the origin of a space, and then, one at a time, particles make a random walk from infinity until they collide with, and stick to, the existing cluster.
We consider an analogous version of this process on large but finite graphs with a designated source and sink vertex. Initially the cluster of halted particles contains a single particle at the sink vertex. Starting one at a time from the source, each particle makes a random walk in the direction of the sink vertex. The particle halts at the last unoccupied vertex before the walk enters the cluster for the first time, thus increasing the size of the cluster. This continues until the source vertex becomes occupied, at which point the process ends. We study the DLA process on several classes of layered graphs, including Cayley trees of branching factor at least two with a sink vertex attached to the leaves. We determine the finish time of the process for a given class of graphs and show that the subcomponent of the final cluster linking source to sink is essentially a unique path.
Automating Weight Function Generation in Graph Pebbling
Published
• View Publication
• BIB
Graph pebbling is a combinatorial game played on an undirected graph with an initial configuration of pebbles. A pebbling move consists of removing two pebbles from one vertex and placing one pebble on an adjacent vertex. The pebbling number of a graph is the smallest number of pebbles necessary such that, given any initial configuration of pebbles, at least one pebble can be moved to a specified root vertex. Recent lines of inquiry apply computational techniques to pebbling bound generation and improvement.
Along these lines, we present a computational framework that produces a set of tree strategy weight functions that are capable of proving pebbling number upper bounds on a connected graph. Our mixed-integer linear programming approach automates the generation of large sets of such functions and provides verifiable certificates of pebbling number upper bounds. The framework is capable of producing verifiable pebbling bounds on any connected graph, regardless of its structure or pebbling properties. We apply the model to the 4th weak Bruhat to prove $π(B_4) \leq 66$ and to the Lemke square graph to produce a set of certificates that verify $π(L x L) \leq 96$.
More on greedy construction heuristics for the MAX-CUT problem
A cut of a graph can be represented in many different ways. Here we propose to represent a cut through a ``relation tree'', which is a spanning tree with signed edges. We show that this picture helps to classify the main greedy heuristics for the maximum cut problem, in analogy with the minimum spanning tree problem. Namely, all versions of the Sahni-Gonzalez~(SG) algorithms could be classified as the Prim class, while various Edge-Contraction~(EC) algorithms are of the Kruskal class. We further elucidate the relation of this framework to the stabilizer formalism in quantum computing, and point out that the recently proposed \textit{ADAPT-Clifford} algorithm is a reformulation of a refined version of the SG algorithm, SG3. Numerical performance of the typical algorithms from the two classes are studied with various kinds of graphs. It turns out that, the Prim-class algorithms perform better for general dense graphs, and the Kruskal-class algorithms performs better when the graphs are sparse enough.
A Note on Graph Burning of Path Forests
Published in Discrete Mathematics & Theoretical Computer Science, vol. 26:3, Discrete Algorithms (August 21, 2024) dmtcs:12709
• View Publication
• BIB
Graph burning is a natural discrete graph algorithm inspired by the spread of social contagion. Despite its simplicity, some open problems remain steadfastly unsolved, notably the burning number conjecture, which says that every connected graph of order $m^2$ has burning number at most $m$. Earlier, we showed that the conjecture also holds for a path forest, which is disconnected, provided each of its paths is sufficiently long. However, finding the least sufficient length for this to hold turns out to be nontrivial. In this note, we present our initial findings and conjectures that associate the problem to some naturally impossibly burnable path forests. It is noteworthy that our problem can be reformulated as a topic concerning sumset partition of integers.
Families of Harris Graphs
A Harris Graph is a tough, Eulerian, non-Hamiltonian graph. Several approaches to creating new Harris graphs from existing ones are explored, including creating families of Harris graphs and combining Harris graphs. Pictures of all Harris Graphs through order 9 and the number of Harris graphs through order 12 are included. We also prove a result about barnacle-free Harris graphs.
Spanning caterpillar in biconvex bipartite graphs
Published in Discrete Applied Mathematics, 356, (2024), 32-36
• View Publication
• BIB
A bipartite graph $G=(A, B, E)$ is said to be a biconvex bipartite graph if there exist orderings $<_A$ in $A$ and $<_B$ in $B$ such that the neighbors of every vertex in $A$ are consecutive with respect to $<_B$ and the neighbors of every vertex in $B$ are consecutive with respect to $<_A$. A caterpillar is a tree that will result in a path upon deletion of all the leaves. In this note, we prove that there exists a spanning caterpillar in any connected biconvex bipartite graph. Besides being interesting on its own, this structural result has other consequences. For instance, this directly resolves the burning number conjecture for biconvex bipartite graphs.
Simple homotopy of flag simplicial complexes and contractible contractions of graphs
Published
• View Publication
• BIB
In his work on molecular spaces, Ivashchenko introduced the notion of an $\mathfrak{I}$-contractible transformation on a graph $G$, a family of addition/deletion operations on its vertices and edges. Chen, Yau, and Yeh used these operations to define the $\mathfrak{I}$-homotopy type of a graph, and showed that $\mathfrak{I}$-contractible transformations preserve the simple homotopy type of $C(G)$, the clique complex of $G$. In other work, Boulet, Fieux, and Jouve introduced the notion of $s$-homotopy of graphs to characterize the simple homotopy type of a flag simplicial complex. They proved that $s$-homotopy preserves $\mathfrak{I}$-homotopy, and asked whether the converse holds. In this note, we answer their question in the affirmative, concluding that graphs $G$ and $H$ are $\mathfrak{I}$-homotopy equivalent if and only if $C(G)$ and $C(H)$ are simple homotopy equivalent. We also show that a finite graph $G$ is $\mathfrak{I}$-contractible if and only if $C(G)$ is contractible, which answers a question posed by the first author, Espinoza, Frías-Armenta, and Hernández. We use these ideas to give a characterization of simple homotopy for arbitrary simplicial complexes in terms of links of vertices.
Pretty good fractional revival on Cayley graphs over dicyclic groups
In this paper, we investigate the existence of pretty good fractional revival on Cayley graphs over dicyclic groups. We first give a necessary and sufficient description for Cayley graphs over dicyclic groups admitting pretty good fractional revival. By this description, we give some sufficient conditions for Cayley graphs over dicyclic groups admitting or not admitting pretty good fractional revival.
The Weyl groupoid in Type A, Young diagrams and Borel subalgebras
Let $\mathtt{k}$ be an algebraically closed field of characteristic zero. Let ${\stackrel{\rm o}{\mathfrak{g}}}$ be the Lie superalgebra ${\mathfrak{sl}}(n|m)$ and let $\mathfrak{W}$ be the Weyl groupoid introduced by
Sergeev and Veselov using the root system of ${\stackrel{\rm o}{\mathfrak{g}}}$. An important subgroupoid $\mathfrak T_{iso}$ of ${\mathfrak{W}}$ has base $Δ_{iso}$, the set of all the isotropic roots.
Motivated by deformed quantum Calogero-Moser problems, the same authors considered an action of $\mathfrak{W}$ on $\mathtt{k}^{n|m}$ depending on a parameter $κ$. %When $κ$ is negative special, they showed this action has infinite orbits. In the case $m>n$, with $m,n $ relatively prime and $κ=-n/m$ we study a particular infinite orbit of $\mathfrak T_{iso}$ with some special properties. This orbit, thought of as a directed graph is isomorphic to the graph of an orbit for the action of $\mathfrak T_{iso}$ on certain Borel subalgebras of the affinization ${\widehat{L}(\stackrel{\rm _o}{\mathfrak{g}})}$ of ${\stackrel{\rm o}{\mathfrak{g}}}$. %The root groupoid has a base consisting of Borel subalgebras with fixed even part, and morphisms are given by odd reflections.
The underlying reason for this graph isomorphism is that both have combinatorics which can be described using Young diagrams and tableaux drawn on the surface of a rotating cylinder with circumference $n$ and length $m$. Allowing the cylinder to rotate produces an infinite orbit. This leads to a third graph which is isomorphic to the other two.
Fractional factors and component factors in graphs with isolated toughness smaller than 1
Published in J. Graph Theory (2024), 1-14
• View Publication
• BIB
Let $G$ be a simple graph and let $n,m$ be two integers with $0<m<n$. We prove that $iso(G-S)\leq \frac{n}{m}|S|$ for every $S \subset V(G)$ if and only if $G$ has a $\{C_{2i+1},T \colon 1 \leq i < \frac{m}{n-m}, T\in\mathcal{T}_{\frac{n}{m}}\}$-factor, where $iso(G-S)$ denotes the number of isolated vertices of $G-S$ and $\mathcal{T}_{\frac{n}{m}}$ is a special family of trees. Furthermore, we characterize the trees in $\mathcal{T}_{\frac{n}{m}}$ in terms of their bipartition.
Strong Edge Geodetic Problem on Complete Multipartite Graphs and some Extremal Graphs for the Problem
A set of vertices $X$ of a graph $G$ is a strong edge geodetic set if to any pair of vertices from $X$ we can assign one (or zero) shortest path between them such that every edge of $G$ is contained in at least one on these paths. The cardinality of a smallest strong edge geodetic set of $G$ is the strong edge geodetic number ${\rm sg_e}(G)$ of $G$. In this paper, the strong edge geodetic number of complete multipartite graphs is determined. Graphs $G$ with ${\rm sg_e}(G) = n(G)$ are characterized and ${\rm sg_e}$ is determined for Cartesian products $P_n\,\square\, K_m$. The latter result in particular corrects an error from the literature.
Number of facets of symmetric edge polytopes arising from join graphs
Published
• View Publication
• BIB
Symmetric edge polytopes of graphs are important object in Ehrhart theory,and have an application to Kuramoto models. In the present paper, we study the upper and lower bounds for the number of facets of symmetric edge polytopes of connected graphs conjectured by Braun and Bruegge. In particular, we show that their conjecture is true for any graph that is the join of two graphs (equivalently, for any connected graph whose complement graph is not connected). It is known that any symmetric edge polytope is a centrally symmetric reflexive polytope. Hence our results give a partial answer to Nill's conjecture: the number of facets of a $d$-dimensional reflexive polytope is at most $6^{d/2}$.
Random surfaces with large systoles
We present two constructions, both inspired by ideas from graph theory, of sequences random surfaces of growing area, whose systoles grow logarithmically as a function of their area. This also allows us to prove a new lower bound on the maximal systole of a closed orientable hyperbolic surface of a given genus.
An intermediate case of exponential multivalued forbidden matrix configuration
The forbidden number forb$(m,F)$, which denotes the maximum number of distinct columns in an $m$-rowed $(0,1)$-matrix with no submatrix that is a row and column permutation of $F$, has been widely studied in extremal set theory. Recently, this function was extended to $r$-matrices, whose entries lie in $\{0,1,\cdots,r-1\}$. forb$(m,r,F)$ is the maximum number of distinct columns in an $r$-matrix with no submatrix that is a row and column permutation of $F$. While forb$(m,F)$ is polynomial in $m$, forb$(m,r,F)$ is exponential for $r\geq 3$. Recently, forb$(m,r,F)$ was studied for some small $(0,1)$-matrices $F$, and exact values were determined in some cases. In this paper we study forb$(m,r,M)$ for $M=\begin{bmatrix}0&1\\0&1\\1&0\end{bmatrix}$, which is the smallest matrix for which this forbidden number is unknown. Interestingly, it turns out that this problem is closely linked with the following optimisation problem. For each triangle in the complete graph $K_m$, pick one of its edges. Let $m_e$ denote the number of times edge $e$ is picked. For each $α\in\mathbb{R}$, what is $H(m,α)=\max\sum_{e\in E(K_m)}α^{m_e}$? We establish a relationship between forb$(m,r,M)$ and $H(m,(r-1)/(r-2))$, find upper and lower bounds for $H(m,α)$, and use them to significantly improve known bounds for forb$(m,r,M)$.
A Polynomial Method for Counting Colorings of Sparse Graphs
The notion of $S$-labeling of graphs, where $S$ is a subset of a symmetric group, was introduced in 2019 by Jin, Wong, and Zhu. This notion provides the framework for a common generalization of various well studied notions of graph coloring, including classical coloring, signed $k$-coloring, signed $\mathbb{Z}_k$-coloring, DP (or correspondence) coloring, group coloring, and coloring of gained graphs. In this paper, we present a unified and simple polynomial method for giving exponential lower bounds on the number of colorings of an $S$-labeled graph for all such $S$. This algebraic technique allows us to prove new lower bounds on the number of colorings of any $S$-labeling of graphs satisfying certain sparsity conditions. We also investigate how the structure of $S$ can be exploited to improve the applicability of these bounds. Our results give new lower bounds on the number of DP-colorings, and consequently the number of all types of colorings listed above. This includes the chromatic polynomial and the number of list colorings of families of planar graphs, and the number of colorings of signed graphs. These enumerative bounds improve previously known results or are the first such known results.
Bisimplicial separators
A minimal separator of a graph $G$ is a set $S \subseteq V(G)$ such that there exist vertices $a,b \in V(G) \setminus S$ with the property that $S$ separates $a$ from $b$ in $G$, but no proper subset of $S$ does. For an integer $k\ge 0$, we say that a minimal separator is $k$-simplicial if it can be covered by $k$ cliques and denote by $\mathcal{G}_k$ the class of all graphs in which each minimal separator is $k$-simplicial. We show that for each $k \geq 0$, the class $\mathcal{G}_k$ is closed under induced minors, and we use this to show that the Maximum Weight Stable Set problem can be solved in polynomial time for $\mathcal{G}_k$. We also give a complete list of minimal forbidden induced minors for $\mathcal{G}_2$. Next, we show that, for $k \geq 1$, every nonnull graph in $\mathcal{G}_k$ has a $k$-simplicial vertex, i.e., a vertex whose neighborhood is a union of $k$ cliques; we deduce that the Maximum Weight Clique problem can be solved in polynomial time for graphs in $\mathcal{G}_2$. Further, we show that, for $k \geq 3$, it is NP-hard to recognize graphs in $\mathcal{G}_k$; the time complexity of recognizing graphs in $\mathcal{G}_2$ is unknown. We also show that the Maximum Clique problem is NP-hard for graphs in $\mathcal{G}_3$. Finally, we prove a decomposition theorem for diamond-free graphs in $\mathcal{G}_2$ (where the diamond is the graph obtained from $K_4$ by deleting one edge), and we use this theorem to obtain polynomial-time algorithms for the Vertex Coloring and recognition problems for diamond-free graphs in $\mathcal{G}_2$, and improved running times for the Maximum Weight Clique and Maximum Weight Stable Set problems for this class of graphs.
Introduction to graph theory and basic algorithms
This book collects the lectures about graph theory and its applications which were given to students of mathematical departments of Moscow State University and Peking University. Graph theory is a very wide field with a lot of applications in almost every scientific area: in many branches of mathematics, computer science, physics, chemistry, biology and also in psychology, arts, philosophy and many others. Nowadays, graph theory becomes especially more important because of the rapid development of molecular biology, neural networks and AI fields. One of the aims of writing this book was to give students thorough knowledge about graphs to understand modern scientific fields more deeply. Here we tried to give classical and modern theorems and algorithms in more understandable and simple way. We spent many time to rewrite them and close the gaps in several simplest well-known proofs to provide more precise and accurate material for students.
An embedding technique in the study of word-representabiliy of graphs
Published
• View Publication
• BIB
Word-representable graphs, which are the same as semi-transitively orientable graphs, generalize several fundamental classes of graphs. In this paper we propose a novel approach to study word-representability of graphs using a technique of homomorphisms. As a proof of concept, we apply our method to show word-representability of the simplified graph of overlapping permutations that we introduce in this paper. For another application, we obtain results on word-representability of certain subgraphs of simplified de Bruijn graphs that were introduced recently by Petyuk and studied in the context of word-representability.
Self-complementary (Pseudo-)Split Graphs
Published
• View Publication
• BIB
We are concerned with split graphs and pseudo-split graphs whose complements are isomorphic to themselves. These special subclasses of self-complementary graphs are actually the core of self-complementary graphs. Indeed, we show that all self-complementary graphs with forcibly self-complementary degree sequences are pseudo-split graphs. We also give formulas to calculate the number of self-complementary (pseudo-)split graphs of a given order, and show that Trotignon's conjecture holds for all self-complementary split graphs.