graph
35299 papers tagged with this keyword
A framework unifying some bijections for graphs and its connection to Lawrence polytopes
Published
• View Publication
• BIB
Let $G$ be a connected graph. The Jacobian group (also known as the Picard group or sandpile group) of $G$ is a finite abelian group whose cardinality equals the number of spanning trees of $G$. The Jacobian group admits a canonical simply transitive action on the set $\mathcal{R}(G)$ of cycle-cocycle reversal classes of orientations of $G$. Hence one can construct combinatorial bijections between spanning trees of $G$ and $\mathcal{R}(G)$ to build connections between spanning trees and the Jacobian group. The BBY bijections and the Bernardi bijections are two important examples. In this paper, we construct a new family of such bijections that includes both. Our bijections depend on a pair of atlases (different from the ones in manifold theory) that abstract and generalize certain common features of the two known bijections. The definitions of these atlases are derived from triangulations and dissections of the Lawrence polytopes associated to $G$. The acyclic cycle signatures and cocycle signatures used to define the BBY bijections correspond to regular triangulations. Our bijections can extend to subgraph-orientation correspondences. Most of our results hold for regular matroids. We present our work in the language of fourientations, which are a generalization of orientations.
A binary-matroid analogue of a graph connectivity result of Jamison and Mulder
Published
• View Publication
• BIB
Let $G$ be a graph such that, whenever two vertices $x$ and $y$ of $G$ are joined by three internally disjoint paths, $x$ and $y$ are adjacent. Jamison and Mulder determined that the set of such graphs coincides with the set of graphs that can be built from cycles and complete graphs via 1-sums and parallel connections. This paper proves an analogous result for binary matroids.
Turán problem for $\mathcal{K}_4^-$-free signed graphs
Published
• View Publication
• BIB
Suppose that $\dot{G}$ is an unbalanced signed graph of order $n$ with $e(\dot{G})$ edges. Let $ρ(\dot{G})$ be the spectral radius of $\dot{G}$, and $\mathcal{K}_4^-$ be the set of the unbalanced $K_4$. In this paper, we prove that if $\dot{G}$ is a $\mathcal{K}_4^-$-free unbalanced signed graph of order $n$, then $e(\dot{G})\leqslant \frac{n(n-1)}{2}-(n-3)$ and $ρ(\dot{G})\leqslant n-2$. Moreover, the extremal graphs are completely characterized.
The relation between different edge spans of a graph
In several recent papers, the maximal safety distance that two players can maintain while moving through a graph has been defined and studied using three different spans of the graph, each with different movement conditions. Mainly, vertex spans have been studied, in which players visit all the vertices of a graph. In this paper, we analyze the values of three edge spans, which represent the maximal safety distance that two players can maintain while visiting all the edges of a graph. We present edge span values for some graph classes and examine the relationship between different variants of edge spans.
First-order asymptotics for the structure of the inhomogeneous random graph
In the inhomogeneous random graph model, each vertex $i\in\{1,\ldots,n\}$ is assigned a weight $W_i\sim\text{Unif}(0,1)$, and an edge between any two vertices $i,j$ is present with probability $k(W_i,W_j)/λ_n\in[0,1]$, where $k$ is a positive, symmetric function and $λ_n$ is a scaling parameter that controls the graph density. When $λ_n=1$ (resp.~$λ_n=O(n)$) the typical resulting graph is dense (resp.~sparse). The goal of this paper is the study of structural properties of \textit{large} inhomogeneous random graphs. We focus our attention on graph functions that grow sufficiently slowly as the graph size increases. Under some additional technical assumptions, we show that the first-order asymptotic behavior of all such properties is the same for the inhomogeneous random graph and for the Erdős-Rényi random graph. Our proof relies on two couplings between the inhomogeneous random graph and appropriately constructed Erdős-Rényi random graphs. We demonstrate our method by obtaining asymptotics for two structural properties of the inhomogeneous random graph which were previously unknown. In the sparse regime, we find the leading-order term for the chromatic number. In the dense regime, we find the asymptotics of the so-called $γ$-quasi-clique number.
List distinguishing index of graphs
We say that an edge colouring breaks an automorphism if some edge is mapped to an edge of a different colour. We say that the colouring is distinguishing if it breaks every non-identity automorphism. We show that such colouring can be chosen from any set of lists associated to the edges of a graph G, whenever the size of each list is at least $Δ-1$, where $Δ$ is the maximum degree of G, apart from a few exceptions. This holds both for finite and infinite graphs. The bound is optimal for every $Δ\ge 3$, and it is the same as in the non-list version.
Computational Complexity of Covering Disconnected Multigraphs
Published
• View Publication
• BIB
The notion of graph covers is a discretization of covering spaces introduced and deeply studied in topology. In discrete mathematics and theoretical computer science, they have attained a lot of attention from both the structural and complexity perspectives. Nonetheless, disconnected graphs were usually omitted from the considerations with the explanation that it is sufficient to understand coverings of the connected components of the target graph by components of the source one. However, different (but equivalent) versions of the definition of covers of connected graphs generalize to non-equivalent definitions for disconnected graphs. The aim of this paper is to summarize this issue and to compare three different approaches to covers of disconnected graphs: 1) locally bijective homomorphisms, 2) globally surjective locally bijective homomorphisms (which we call \emph{surjective covers}), and 3) locally bijective homomorphisms which cover every vertex the same number of times (which we call \emph{equitable covers}). The standpoint of our comparison is the complexity of deciding if an input graph covers a fixed target graph. We show that both surjective and equitable covers satisfy what certainly is a natural and welcome property: covering a disconnected graph is polynomial-time decidable if such it is for every connected component of the graph, and it is NP-complete if it is NP-complete for at least one of its components. We further argue that the third variant, equitable covers, is the most natural one, namely when considering covers of colored graphs. Moreover, the complexity of surjective and equitable covers differ from the fixed parameter complexity point of view.
In line with the current trends in topological graph theory, as well as its applications in mathematical physics, we consider graphs in a very general sense[...]
List homomorphisms to separable signed graphs
Published
• View Publication
• BIB
The complexity of the list homomorphism problem for signed graphs appears difficult to classify. Existing results focus on special classes of signed graphs, such as trees and reflexive signed graphs. Irreflexive signed graphs are in a certain sense the heart of the problem, as noted by a recent paper of Kim and Siggers. We focus on a special class of irreflexive signed graphs, namely those in which the unicoloured edges form a spanning path or cycle, which we call separable signed graphs. We classify the complexity of list homomorphisms to these separable signed graphs; we believe that these signed graphs will play an important role for the general resolution of the irreflexive case. We also relate our results to a conjecture of Kim and Siggers concerning the special case of semi-balanced irreflexive signed graphs; we have proved the conjecture in another paper, and the present results add structural information to that topic.
Augmentations of Forman's Ricci Curvature and their Applications in Community Detection
Published
• View Publication
• BIB
The notion of curvature on graphs has recently gained traction in the networks community, with the Ollivier-Ricci curvature (ORC) in particular being used for several tasks in network analysis, such as community detection. In this work, we choose a different approach and study augmentations of the discretization of the Ricci curvature proposed by Forman (AFRC). We empirically and theoretically investigate its relation to the ORC and the un-augmented Forman-Ricci curvature. In particular, we provide evidence that the AFRC frequently gives sufficient insight into the structure of a network to be used for community detection, and therefore provides a computationally cheaper alternative to previous ORC-based methods. Our novel AFRC-based community detection algorithm is competitive with an ORC-based approach.
Path Odd-Covers of Graphs
Published
• View Publication
• BIB
We introduce and study "path odd-covers", a weakening of Gallai's path decomposition problem and a strengthening of the linear arboricity problem. The "path odd-cover number" $p_2(G)$ of a graph $G$ is the minimum cardinality of a collection of paths whose vertex sets are contained in $V(G)$ and whose symmetric difference of edge sets is $E(G)$.
We prove an upper bound on $p_2(G)$ in terms of the maximum degree $Δ$ and the number of odd-degree vertices $v_{\text{odd}}$ of the form $\max\left\{v_{\text{odd}}/{2}, 2\left\lceil Δ/{2}\right \rceil\right\}$. This bound is only a factor of $2$ from a rather immediate lower bound of the form $\max \left\{ {v_{\text{odd}} }/{2} , \left\lceil Δ/{2}\right\rceil \right\}$. We also investigate some natural relaxations of the problem which highlight the connection between the path odd-cover number and other well-known graph parameters. For example, when allowing for subdivisions of $G$, the previously mentioned lower bound is always tight except in some trivial cases. Further, a relaxation that allows for the addition of isolated vertices to $G$ leads to a match with the linear arboricity when $G$ is Eulerian. Finally, we transfer our observations to establish analogous results for cycle odd-covers.
A Universal Quantum Algorithm for Weighted Maximum Cut and Ising Problems
Published
• View Publication
• BIB
We propose a hybrid quantum-classical algorithm to compute approximate solutions of binary combinatorial problems. We employ a shallow-depth quantum circuit to implement a unitary and Hermitian operator that block-encodes the weighted maximum cut or the Ising Hamiltonian. Measuring the expectation of this operator on a variational quantum state yields the variational energy of the quantum system. The system is enforced to evolve towards the ground state of the problem Hamiltonian by optimizing a set of angles using normalized gradient descent. Experimentally, our algorithm outperforms the state-of-the-art quantum approximate optimization algorithm on random fully connected graphs and challenges D-Wave quantum annealers by producing good approximate solutions. Source code and data files are publicly available.
Generalized stepwise transmission irregular graphs
Published
• View Publication
• BIB
The transmission ${\rm Tr}_G(u)$ of a vertex $u$ of a connected graph $G$ is the sum of distances from $u$ to all other vertices. $G$ is a stepwise transmission irregular (STI) graph if $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= 1$ holds for any edge $uv\in E(G)$. In this paper, generalized STI graphs are introduced as the graphs $G$ such that for some $k\ge 1$ we have $|{\rm Tr}_G(u) - {\rm Tr}_G(v)|= k$ for any edge $uv$ of $G$. It is proved that generalized STI graphs are bipartite and that as soon as the minimum degree is at least $2$, they are 2-edge connected. Among the trees, the only generalized STI graphs are stars. The diameter of STI graphs is bounded and extremal cases discussed. The Cartesian product operation is used to obtain highly connected generalized STI graphs. Several families of generalized STI graphs are constructed.
The Maker-Maker domination game in forests
We study the Maker-Maker version of the domination game introduced in 2018 by Duchêne et al. Given a graph, two players alternately claim vertices. The first player to claim a dominating set of the graph wins. As the Maker-Breaker version, this game is PSPACE-complete on split and bipartite graphs. Our main result is a linear time algorithm to solve this game in forests. We also give a characterization of the cycles where the first player has a winning strategy.
A dichotomy theorem for $Γ$-switchable $H$-colouring on $m$-edge coloured graphs
Published
• View Publication
• BIB
Let $G$ be a graph in which each edge is assigned one of the colours $1, 2, \ldots, m$, and let $Γ$ be a subgroup of $S_m$. The operation of switching at a vertex $x$ of $G$ with respect to an element $π$ of $Γ$ permutes the colours of the edges incident with $x$ according to $π$. We investigate the complexity of whether there exists a sequence of switches that transforms a given $m$-edge coloured graph $G$ so that it has a colour-preserving homomorphism to a fixed $m$-edge coloured graph $H$ and give a dichotomy theorem in the case that $Γ$ acts transitively.
Optimal distance query reconstruction for graphs without long induced cycles
Given access to the vertex set $V$ of a connected graph $G=(V,E)$ and an oracle that given two vertices $u,v\in V$, returns the shortest path distance between $u$ and $v$, how many queries are needed to reconstruct $E$?
Firstly, we show that randomised algorithms need to use at least $\frac1{200} Δn\log_Δn$ queries in expectation in order to reconstruct $n$-vertex trees of maximum degree $Δ$. The best previous lower bound (for graphs of bounded maximum degree) was an information-theoretic lower bound of $Ω(n\log n/\log \log n)$. Our randomised lower bound is also the first to break through the information-theoretic barrier for related query models including distance queries for phylogenetic trees, membership queries for learning partitions and path queries in directed trees.
Secondly, we provide a simple deterministic algorithm to reconstruct trees using $Δn\log_Δn+(Δ+2)n$ distance queries. This proves that our lower bound is optimal up to a multiplicative constant. We extend our algorithm to reconstruct graphs without induced cycles of length at least $k$ using $O_{Δ,k}(n\log n)$ queries. Our lower bound is therefore tight for a wide range of tree-like graphs, such as chordal graphs, permutation graphs and AT-free graphs. The previously best randomised algorithm for chordal graphs used $O_Δ(n\log^2 n)$ queries in expectation, so we improve by a $(\log n)$-factor for this graph class.
The Lights Out Game on Directed Graphs
Published in Involve 19 (2026) 33-50
• View Publication
• BIB
We study a version of the lights out game played on directed graphs. For a digraph $D$, we begin with a labeling of $V(D)$ with elements of $\mathbb{Z}_k$ for $k \ge 2$. When a vertex $v$ is toggled, the labels of $v$ and any vertex that $v$ dominates are increased by 1 mod $k$. The game is won when each vertex has label 0. We say that $D$ is $k$-Always Winnable (also written $k$-AW) if the game can be won for every initial labeling with elements of $\mathbb{Z}_k$. We prove that all acyclic digraphs are $k$-AW for all $k$, and we reduce the problem of determining whether a graph is $k$-AW to the case of strongly connected digraphs. We then determine winnability for tournaments with a minimum feedback arc set that arc-induces a directed path or directed star digraph.
Spectrahedral Geometry of Graph Sparsifiers
Published
• View Publication
• BIB
We propose an approach to graph sparsification based on the idea of preserving the smallest $k$ eigenvalues and eigenvectors of the Graph Laplacian. This is motivated by the fact that small eigenvalues and their associated eigenvectors tend to be more informative of the global structure and geometry of the graph than larger eigenvalues and their eigenvectors. The set of all weighted subgraphs of a graph $G$ that have the same first $k$ eigenvalues (and eigenvectors) as $G$ is the intersection of a polyhedron with a cone of positive semidefinite matrices. We discuss the geometry of these sets and deduce the natural scale of $k$. Various families of graphs illustrate our construction.
Stochastic Embeddings of Graphs into Trees
Published
• View Publication
• BIB
It is known that every graph with n vertices embeds stochastically into trees with distortion $O(\log n)$. In this paper, we show that this upper bound is sharp for a large class of graphs. As this class of graphs contains diamond graphs, this result extends known examples that obtain this largest possible stochastic distortion.
Maximum number of symmetric extensions in the random graph
Published
• View Publication
• BIB
It is known that after an appropriate rescaling the maximum degree of the binomial random graph converges in distribution to a Gumbel random variable. The same holds true for the maximum number of common neighbours of a $k$-vertex set, and for the maximum number of $s$-cliques sharing a single vertex. Can these results be generalised to the maximum number of extensions of a $k$-vertex set for any given way of extending of a $k$-vertex set by an $s$-vertex set? In this paper, we generalise the above mentioned results to a class of ``symmetric extensions'' and show that the limit distribution is not necessarily from the Gumbel family.
Colouring planar graphs with a precoloured induced cycle
Let $C$ be a cycle and $f : V(C) \rightarrow \{c_1,c_2,\ldots,c_k\}$ a proper $k$-colouring of $C$ for some $k \ge 4$. We say the colouring $f$ is safe if for any planar graph $G$ in which $C$ is an induced cycle, there exists a proper $k$-colouring $f'$ of $G$ such that $f'(v) = f(v)$ for all $v \in V(C)$. The only safe $4$-colouring is any proper colouring of a triangle. We give a simple necessary condition for a $k$-colouring of a cycle to be safe and conjecture that it is sufficient for all $k \ge 4$. The sufficiency for $k=4$ follows from the four colour theorem and we prove it for $k = 5$, independent of the four colour theorem. We show that a stronger condition is sufficient for all $k \ge 4$. As a consequence, it follows that any proper $k$-colouring of a cycle that uses at most $k-3$ distinct colours is safe. Also, any proper $k$-colouring of a cycle of length at most $2k-5$ that uses at most $k-1$ distinct colours is safe.