graph
35299 papers tagged with this keyword
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.
Relation between broadcast domination and multipacking numbers on chordal and other hyperbolic graphs
Published
• View Publication
• BIB
For a graph $ G = (V, E) $ with a vertex set $ V $ and an edge set $ E $, a function
$ f : V \rightarrow \{0, 1, 2, . . . , diam(G)\} $ is called a \emph{broadcast} on $ G $. For each
vertex $ u \in V $, if there exists a vertex $ v $ in $ G $ (possibly, $ u = v $) such that $ f (v) > 0 $ and
$ d(u, v) \leq f (v) $, then $ f $ is called a dominating broadcast on $ G $. The cost of the dominating broadcast $f$ is the quantity $ \sum_{v\in V}f(v) $. The minimum cost of a dominating broadcast is the broadcast domination number of $G$, denoted by $ γ_{b}(G) $.
A multipacking is a set $ S \subseteq V $ in a
graph $ G = (V, E) $ such that for every vertex $ v \in V $ and for every integer $ r \geq 1 $, the
ball of radius $ r $ around $ v $ contains at most $ r $ vertices of $ S $, that is, there are at most
$ r $ vertices in $ S $ at a distance at most $ r $ from $ v $ in $ G $. The
multipacking number of $ G $ is the maximum cardinality of a multipacking of $ G $ and
is denoted by $ mp(G) $.
We show that, for any connected chordal graph $G$, $γ_{b}(G)\leq \big\lceil{\frac{3}{2} mp(G)\big\rceil}$. We also show that $γ_b(G)-mp(G)$ can be arbitrarily large for connected chordal graphs by constructing an infinite family of connected chordal graphs such that the ratio $γ_b(G)/mp(G)=10/9$, with $mp(G)$ arbitrarily large. Moreover, we show that $γ_{b}(G)\leq \big\lfloor{\frac{3}{2} mp(G)+2δ\big\rfloor} $ holds for all $δ$-hyperbolic graphs. In addition, we provide a polynomial-time algorithm to construct a multipacking of a $δ$-hyperbolic graph $G$ of size at least $ \big\lceil{\frac{2mp(G)-4δ}{3} \big\rceil} $.
Length spectrum of large genus random metric maps
Published in Forum of Mathematics, Sigma 13 (2025) e70
• View Publication
• BIB
We study the length of short cycles on uniformly random metric maps (also known as ribbon graphs) of large genus using a Teichmüller theory approach. We establish that, as the genus tends to infinity, the length spectrum converges to a Poisson point process with an explicit intensity. This result extends the work of Janson and Louf to the multi-faced case.
Combinatorial Complexes: Bridging the Gap Between Cell Complexes and Hypergraphs
Published in 57th Asilomar Conference on Signals, Systems, and Computers, 2023
• View Publication
• BIB
Graph-based signal processing techniques have become essential for handling data in non-Euclidean spaces. However, there is a growing awareness that these graph models might need to be expanded into `higher-order' domains to effectively represent the complex relations found in high-dimensional data. Such higher-order domains are typically modeled either as hypergraphs, or as simplicial, cubical or other cell complexes. In this context, cell complexes are often seen as a subclass of hypergraphs with additional algebraic structure that can be exploited, e.g., to develop a spectral theory. In this article, we promote an alternative perspective. We argue that hypergraphs and cell complexes emphasize \emph{different} types of relations, which may have different utility depending on the application context. Whereas hypergraphs are effective in modeling set-type, multi-body relations between entities, cell complexes provide an effective means to model hierarchical, interior-to-boundary type relations. We discuss the relative advantages of these two choices and elaborate on the previously introduced concept of a combinatorial complex that enables co-existing set-type and hierarchical relations. Finally, we provide a brief numerical experiment to demonstrate that this modelling flexibility can be advantageous in learning tasks.
Ratio bound (Lovász number) versus inertia bound
Matthew Kwan and Yuval Wigderson showed that for an infinite family of graphs, the Lovász number gives an upper bound of $O(n^{3/4})$ for the size of an independent set (where $n$ is the number of vertices), while the weighted inertia bound cannot do better than $Ω(n)$. Here we point out that there is an infinite family of graphs for which the Lovász number is $Ω(n^{3/4})$, while the unweighted inertia bound is $O(n^{1/2})$.
A differential approach to Maxwell-Cremona liftings
In 1864, J. C. Maxwell introduced a link between self-stressed frameworks in the plane and piecewise linear liftings to 3-space. This connection has found numerous applications in areas such as discrete geometry, control theory and structural engineering. While there are some generalisations of this theory to liftings of $d$-complexes in $d$-space, extensions for liftings of frameworks in $d$-space for $d\geq 3$ have been missing. In this paper, we introduce and study differential liftings on general graphs using differential forms associated with the elements of the homotopy groups of the complements to the frameworks. Such liftings play the role of integrands for the classical notion of liftings for planar frameworks. We show that these differential liftings have a natural extension to self-stressed frameworks in higher dimensions. As a result we generalise the notion of classical liftings to both graphs and multidimensional $k$-complexes in $d$-space ($k=2,\ldots, d$). Finally we discuss a natural representation of generalised liftings as real-valued functions on Grassmannians.
On the Alon-Tarsi Number of Some Line and Total graphs
This work discusses the Alon-Tarsi number of line graphs and total graphs. In addition, we also discuss the Alon-Tarsi number of some Erdos-Faber-Lovasz (EFL) graphs.
On graphs without cycles of length 0 modulo 4
Bollobás proved that for every $k$ and $\ell$ such that $k\mathbb{Z}+\ell$ contains an even number, an $n$-vertex graph containing no cycle of length $\ell \bmod k$ can contain at most a linear number of edges. The precise (or asymptotic) value of the maximum number of edges in such a graph is known for very few pairs $\ell$ and $k$. In this work we precisely determine the maximum number of edges in a graph containing no cycle of length $0 \bmod 4$.
The determinant of the Laplacian matrix of a quaternion unit gain graph
Published
• View Publication
• BIB
A quaternion unit gain graph is a graph where each orientation of an edge is given a quaternion unit, and the opposite orientation is assigned the inverse of this quaternion unit. In this paper, we provide a combinatorial description of the determinant of the Laplacian matrix of a quaternion unit gain graph by using row-column noncommutative determinants recently introduced by one of the authors. A numerical example is presented for illustrating our results.
Beyond the Holographic Entropy Cone via Cycle Flows
Published in Commun. Math. Phys. 405 (2024) 252
• View Publication
• BIB
Motivated by bit threads, we introduce a new prescription for computing entropy vectors outside the holographic entropy cone. By utilizing cycle flows on directed graphs, we show that the maximum cycle flow associated to any subset of vertices, which corresponds to a subsystem, manifestly obeys purification symmetry. Furthermore, by restricting ourselves to a subclass of directed graphs, we prove that the maximum cycle flow obeys both subadditivity and strong subadditivity, thereby establishing it as a viable candidate for the entropy associated to the subsystem. Finally, we demonstrate how our model generalizes the entropy vectors obtainable via conventional flows in undirected graphs, as well as conjecture that our model similarly generalizes the entropy vectors arising from hypergraphs.
On randomized estimators of the Hafnian of a nonnegative matrix
Published
• View Publication
• BIB
Gaussian Boson Samplers aim to demonstrate quantum advantage by performing a sampling task believed to be classically hard. The probabilities of individual outcomes in the sampling experiment are determined by the Hafnian of an appropriately constructed symmetric matrix. For nonnegative matrices, there is a family of randomized estimators of the Hafnian based on generating a particular random matrix and calculating its determinant. While these estimators are unbiased (the mean of the determinant is equal to the Hafnian of interest), their variance may be so high as to prevent an efficient estimation. Here we investigate the performance of two such estimators, which we call the Barvinok and Godsil-Gutman estimators. We find that in general both estimators perform well for adjacency matrices of random graphs, demonstrating a slow growth of variance with the size of the problem. Nonetheless, there are simple examples where both estimators show high variance, requiring an exponential number of samples. In addition, we calculate the asymptotic behavior of the variance for the complete graph. Finally, we simulate the Gaussian Boson Sampling using the Godsil-Gutman estimator and show that this technique can successfully reproduce low-order correlation functions.
Leaky Positive Semidefinite Forcing on Graphs
Published in Involve 18 (2025) 719-735
• View Publication
• BIB
We introduce $\ell$-leaky positive semidefinite forcing and the $\ell$-leaky positive semidefinite number of a graph, $Z_{(\ell)}^+{G}$, which combines the positive semidefinite color change rule with the addition of leaks to the graph. Furthermore, we determine general properties of $Z_{(\ell)}^+{G}$ and $Z_{(\ell)}^+{G}$ for various graphs, including path graphs, complete graphs, wheel graphs, complete bipartite graphs, trees, hypercubes, and prisms. We also define $\ell$-leaky positive semidefinite forts with the purpose of unveiling differences between $\ell$-leaky standard forcing and $\ell$-leaky positive semidefinite forcing.
On Matrix Product Factorization of graphs
Published
• View Publication
• BIB
In this paper, we explore the concept of the ``matrix product of graphs," initially introduced by Prasad, Sudhakara, Sujatha, and M. Vinay. This operation involves the multiplication of adjacency matrices of two graphs with assigned labels, resulting in a weighted digraph. Our primary focus is on identifying graphs that can be expressed as the graphical matrix product of two other graphs. Notably, we establish that the only complete graph fitting this framework is $K_{4n+1}$, and moreover the factorization is not unique. In addition, the only complete bipartite graph that can be expressed as the graphical matrix product of two other graphs is $K_{2n,2m}$ Furthermore, we introduce several families of graphs that exhibit such factorization and, conversely, some families that do not admit any factorization such as wheel graphs, friendship graphs, hypercubes and paths.
A decomposition theorem for balanced measures
Published in Discrete Math., 348(5):114389, 2025
• View Publication
• BIB
Let $G = (V,E)$ be a connected graph. A probability measure $μ$ on $V$ is called "balanced" if it has the following property: if $T_μ(v)$ denotes the "earth mover's" cost of transporting all the mass of $μ$ from all over the graph to the vertex $v$, then $T_μ$ attains its global maximum at each point in the support of $μ$. We prove a decomposition result that characterizes balanced measures as convex combinations of suitable "extremal" balanced measures that we call "basic." An upper bound on the number of basic balanced measures on $G$ follows, and an example shows that this estimate is essentially sharp.
Matrices with simple symmetric digraphs and their group inverses
A new class of simple symmetric digraphs called $\mathcal{D}$ is defined and studied here. Any digraph in $\mathcal{D}$ has the property that each non-pendant vertex is adjacent to at least one pendant vertex. A graph theoretical description for the entries of the group inverse of a real square matrix with any digraph belonging to this class is given. We classify all the real square matrices $A$ such that the digraphs associated with $A$ and $A^{\#}$ both are in $\mathcal{D}$, that is, the digraph related to $A$ is either a corona or a star digraph.
Normal 5-edge coloring of some more snarks superpositioned by the Petersen graph
A normal 5-edge-coloring of a cubic graph is a coloring such that for every edge the number of distinct colors incident to its end-vertices is 3 or 5 (and not 4). The well known Petersen Coloring Conjecture is equivalent to the statement that every bridgeless cubic graph has a normal 5-edge-coloring. All 3-edge-colorings of a cubic graph are obviously normal, so in order to establish the conjecture it is sufficient to consider only snarks. In our previous paper [J. Sedlar, R. Škrekovski, Normal 5-edge-coloring of some snarks superpositioned by the Petersen graph, Applied Mathematics and Computation 467 (2024) 128493], we considered superpositions of any snark G along a cycle C by two simple supervertices and by the superedge obtained from the Petersen graph, but only for some of the possible ways of connecting supervertices and superedges. The present paper is a continuation of that paper, herein we consider superpositions by the Petersen graph for all the remaining connections and establish that for all of them the Petersen Coloring Conjecture holds.
Boundary correlations for the Z-invariant Ising Model
Consider the natural graph associated to a rhombus tiling of a polygonal regionin the plane. The spin correlations between boundary vertices of this graph inthe Z-invariant Ising model do not depend on the choice of the rhombus tilingbut only on the region. We provide a matrix formula depending on the regionwhich allows practical computations of boundary correlations in this setting,extending the results of Galashin in the critical case.