graph
34516 papers tagged with this keyword
Enumerating all geodesics
By "geodesic" we mean any sequence of vertices $(v_1,v_2,...,v_k)$ of a graph $G$ that constitute a shortest path from $v_1$ to $v_k$. We propose a novel, natural algorithm to enumerate all geodesics of $G$, and pit it (using Mathematica) against the standard procedure for the task. The distance matrix $D(G)$ plays a crucial role in this. In fact, part of our article is devoted to survey its many uses in related tasks.
On the girth and connectivity of cubic graphs with a unique longest cycle
Published
• View Publication
• BIB
We show that there exists an infinite family of cubic $2$-connected non-hamiltonian graphs with girth $5$ containing a unique longest cycle.
Kernelization Complexity of Solution Discovery Problems
In the solution discovery variant of a vertex (edge) subset problem $Π$ on graphs, we are given an initial configuration of tokens on the vertices (edges) of an input graph $G$ together with a budget $b$. The question is whether we can transform this configuration into a feasible solution of $Π$ on $G$ with at most $b$ modification steps. We consider the token sliding variant of the solution discovery framework, where each modification step consists of sliding a token to an adjacent vertex (edge). The framework of solution discovery was recently introduced by Fellows et al. [Fellows et al., ECAI 2023] and for many solution discovery problems the classical as well as the parameterized complexity has been established. In this work, we study the kernelization complexity of the solution discovery variants of Vertex Cover, Independent Set, Dominating Set, Shortest Path, Matching, and Vertex Cut with respect to the parameters number of tokens $k$, discovery budget $b$, as well as structural parameters such as pathwidth.
Bounds on the Complete Forcing Number of Graphs
A forcing set for a perfect matching of a graph is defined as a subset of the edges of that perfect matching such that there exists a unique perfect matching containing it. A complete forcing set for a graph is a subset of its edges, such that it intersects the edges of every perfect matching in a forcing set of that perfect matching. The size of a smallest complete forcing set of a graph is called the complete forcing number of the graph. In this paper, we derive new upper bounds for the complete forcing number of graphs in terms of other graph theoretical parameters such as the degeneracy or the spectral radius of the graph. We show that for graphs with the number of edges more than some constant times the number of vertices, our result outperforms the best known upper bound for the complete forcing number. For the set of edge-transitive graphs, we present a lower bound for the complete forcing number in terms of maximum forcing number. This result in particular is applied to the hypercube graphs and Cartesian powers of even cycles.
Weighted Padovan graphs
Weighted Padovan graphs $Φ^{n}_{k}$, $n \geq 1$, $\lfloor \frac{n}{2} \rfloor \leq k \leq \lfloor \frac{2n-2}{3} \rfloor$, are introduced as the graphs whose vertices are all Padovan words of length $n$ with $k$ $1$s, two vertices being adjacent if one can be obtained from the other by replacing exactly one $01$ with a $10$. By definition, $\sum_k |V(Φ^{n}_{k})|=P_{n+2}$, where $P_n$ is the $n$th Padovan number. Two families of graphs isomorphic to weighted Padovan graphs are presented. The order, the size, the degree, the diameter, the cube polynomial, and the automorphism group of weighted Padovan graphs are determined. It is also proved that they are median graphs.
The submonoid and rational subset membership problems for Artin groups
We demonstrate that the submonoid membership problem and the rational subset membership problem are equivalent in Artin groups. Both these problem are undecidable in a given Artin group if and only if the group embeds the right-angled Artin groups of rank 4 over a path or a square; and this can be characterized using only the defining graph of the Artin group. These results generalize the ones by Lohrey - Steinberg for right-angled Artin groups. Moreover, both these decision problems are decidable for a given Artin group if and only if the group is subgroup separable. This equivalence for right-angled Artin groups is provided by Lohrey - Steinberg and Metaftsis - Raptis. The equivalence for general Artin groups comes from some observations here and the characterization of separable Artin groups by Almeida - Lima.
Ricci Curvature Formula: Applications to Bonnet-Myers Sharp Irregular Graphs
In this paper, we establish a simple formula for computing the Lin-Lu-Yau Ricci curvature on graphs. For any edge $xy$ in a simple locally finite graph $G$, the curvature $κ(x,y)$ can be expressed as a cost function of an optimal bijection between two blow-up sets of the neighbors of $x$ and $y$. Utilizing this approach, we derive several results including a structural theorem for the Bonnet-Myers sharp irregular graphs of diameter $3$ and a theorem on $C_3$-free Bonnet-Myers sharp graphs.
Listing spanning trees of outerplanar graphs by pivot-exchanges
We prove that the spanning trees of any outerplanar triangulation $G$ can be listed so that any two consecutive spanning trees differ in an exchange of two edges that share an end vertex. For outerplanar graphs $G$ with faces of arbitrary lengths (not necessarily 3) we establish a similar result, with the condition that the two exchanged edges share an end vertex or lie on a common face. These listings of spanning trees are obtained from a simple greedy algorithm that can be implemented efficiently, i.e., in time $\mathcal{O}(n \log n)$ per generated spanning tree, where $n$ is the number of vertices of $G$. Furthermore, the listings correspond to Hamilton paths on the 0/1-polytope that is obtained as the convex hull of the characteristic vectors of all spanning trees of $G$.
Spectral extrema of graphs with fixed size: forbidden a fan graph, friendship graph or theta graph
Published
• View Publication
• BIB
It is well-known that the Brualdi-Hoffman-Turán-type problem inquiries about the maximum spectral radius \( λ(G) \) of an \( F \)-free graph \( G \) with \( m \) edges. Let \( θ_{1,p,q} \) denote the theta graph, which is constructed by connecting two vertices with 3 internally disjoint paths of lengths 1, \( p \), and \( q \) respectively. Let \( F_k \) be the fan graph, that is, the join of a \( K_1 \) and a path \( P_{k - 1} \). Let \( F_{k,3} \) be the friendship graph, obtained by having \( k \) triangles share a common vertex. In this paper, we utilize the \( k \)-core method and spectral techniques to address some spectral extrema of graphs with a fixed number of edges. Firstly, we demonstrate that for \( m \geqslant \frac{9}{4}k^6 + 6k^5 + 46k^4 + 56k^3 + 196k^2 \) and \( k \geqslant 3 \), if \( G \) is \( F_{2k + 2} \)-free, then \( λ(G) \leqslant \frac{k - 1 + \sqrt{4m - k^2 + 1}}{2} \). Equality holds if and only if \( G \cong K_k \vee (\frac{m}{k}-\frac{k - 1}{2})K_1 \). This validates a conjecture by Yu, Li, and Peng [Discrete Math. 348 (2025) 114391] and refines a recent result by Li, Zhai, and Shu [European J. Combin. 120 (2024) 103966]. Secondly, we show that for \( m \geqslant \frac{9}{4}k^6 + 6k^5 + 46k^4 + 56k^3 + 196k^2 \) with \( k \geqslant 3 \), if \( G \) is \( F_{k,3} \)-free and has \( m \) edges, then \( λ(G) \leqslant \frac{k - 1 + \sqrt{4m - k^2 + 1}}{2} \). Equality holds precisely when \( G \cong K_k \vee (\frac{m}{k}-\frac{k - 1}{2})K_1 \). This confirms a conjecture put forward by Li, Lu, and Peng [Discrete Math. 346(2023)113680]. Finally, we identify the \( θ_{1,p,q} \)-free graph with \( m \) edges that possesses the largest spectral radius, where \( q \geqslant p \geqslant 3 \) and \( p + q \geqslant 2k + 1 \). A further research problem is also proposed.
A survey of Zarankiewicz problems in geometry
One of the central topics in extremal graph theory is the study of the function $ex(n,H)$, which represents the maximum number of edges a graph with $n$ vertices can have while avoiding a fixed graph $H$ as a subgraph. Tur{á}n provided a complete characterization for the case when $H$ is a complete graph on $r$ vertices. Erd{\H o}s, Stone, and Simonovits extended Tur{á}n's result to arbitrary graphs $H$ with $χ(H) > 2$ (chromatic number greater than 2). However, determining the asymptotics of $ex(n, H)$ for bipartite graphs $H$ remains a widely open problem. A classical example of this is Zarankiewicz's problem, which asks for the asymptotics of $ex(n, K_{t,t})$.
In this paper, we survey Zarankiewicz's problem, with a focus on graphs that arise from geometry. Incidence geometry, in particular, can be viewed as a manifestation of Zarankiewicz's problem in geometrically defined graphs.
Sensitivity of $m$-ary functions and low degree partitions of Hamming graphs
The study of complexity measures of Boolean functions led Nisan and Szegedy to state the sensitivity conjecture in 1994, claiming a polynomial relation between degree and sensitivity. This problem remained unsolved until 2019, when Huang proved the conjecture via an equivalent graph theoretical reformulation due to Gotsman and Linial.
We study $m$-ary functions, i.e., functions $f: T^n \rightarrow T$ where $T\subseteq \mathbb{C}$ is a finite alphabet of cardinality $|T| = m $ and extend the notions of degree $\mathrm{deg}(f)$ and sensitivity $s(f)$ to $m$-ary functions and show $s(f)\in O(\mathrm{deg}(f)^2)$. This generalizes results of Nisan and Szegedy. Conversely, we introduce the $m$-ary sensitivity conjecture, claiming a polynomial upper bound for $\mathrm{deg}(f)$ in terms of $s(f)$. Analogously to results of Gotsman and Linial, we provide a formulation of the conjecture in terms of imbalanced partitions of Hamming graphs into low degree subgraphs. Combining this with ideas of Chung, Füredi, Graham and Seymour, we show that for any prime $p$ the bound in the $p$-ary sensitivity conjecture has to be at least quadratic: there exist $p$-ary functions $f$ of arbitrarily large degree and $\mathrm{deg}(f)\in Ω(s(f)^2)$.
Equiangular lines via improved eigenvalue multiplicity
A family of lines passing through the origin in an inner product space is said to be equiangular if every pair of lines defines the same angle. In 1973, Lemmens and Seidel raised what has since become a central question in the study of equiangular lines in Euclidean spaces. They asked for the maximum number of equiangular lines in $\mathbb{R}^r$ with a common angle of $\arccos{\frac{1}{2k-1}}$ for any integer $k \geq 2$. We show that the answer equals $r-1+\left\lfloor\frac{r-1}{k-1}\right\rfloor,$ provided that $r$ is at least exponential in a polynomial in $k$. This improves upon a recent breakthrough of Jiang, Tidor, Yao, Zhang, and Zhao [Ann. of Math. (2) 194 (2021), no. 3, 729-743], who showed that this holds for $r$ at least doubly exponential in a polynomial in $k$. We also show that for any common angle $\arccosα$, the answer equals $r+o(r)$ already when $r$ is superpolynomial in $1/α\to \infty$.
The key new ingredient underlying our results is an improved upper bound on the multiplicity of the second-largest eigenvalue of a graph. In one of the regimes, this improves and significantly extends a result of McKenzie, Rasmussen, and Srivastava [STOC 2021, pp. 396-407].
On 1-Planar Graphs with Bounded Cop-Number
Cops and Robbers is a type of pursuit-evasion game played on a graph where a set of cops try to capture a single robber. The cops first choose their initial vertex positions, and later the robber chooses a vertex. The cops and robbers make their moves in alternate turns: in the cops' turn, every cop can either choose to move to an adjacent vertex or stay on the same vertex, and likewise the robber in his turn. If the cops can capture the robber in a finite number of rounds, the cops win, otherwise the robber wins. The cop-number of a graph is the minimum number of cops required to catch a robber in the graph. It has long been known that graphs embedded on surfaces (such as planar graphs and toroidal graphs) have a small cop-number. Recently, Durocher et al. [Graph Drawing, 2023] investigated the problem of cop-number for the class of $1$-planar graphs, which are graphs that can be embedded in the plane such that each edge is crossed at most once. They showed that unlike planar graphs which require just three cops, 1-planar graphs have an unbounded cop-number. On the positive side, they showed that maximal 1-planar graphs require only three cops by crucially using the fact that the endpoints of every crossing in an embedded maximal 1-planar graph induce a $K_4$. In this paper, we show that the cop-number remains bounded even under the relaxed condition that the endpoints induce at least three edges. More precisely, let an $\times$-crossing of an embedded 1-planar graph be a crossing whose endpoints induce a matching; i.e., there is no edge connecting the endpoints apart from the crossing edges themselves. We show that any 1-planar graph that can be embedded without $\times$-crossings has cop-number at most 21. Moreover, any 1-planar graph that can be embedded with at most $γ$ $\times$-crossings has cop-number at most $γ+ 21$.
Asymptotic Lower Bounds for the Feedback Arc Set Problem in Random Graphs
Published in Journal of Combinatorial Mathematics and Combinatorial Computing 128:267-277 , November 2025
• View Publication
• BIB
Given a directed graph, the Minimum Feedback Arc Set (FAS) problem asks for a minimum (size) set of arcs in a directed graph, which, when removed, results in an acyclic graph. In a seminal paper, Berger and Shor [1], in 1990, developed initial upper bounds for the FAS problem in general directed graphs. Here we find asymptotic \textit{lower bounds} for the FAS problem in a class of random, oriented, directed graphs derived from the Erdős-Rényi model $G(n,M)$, with n vertices and M (undirected) edges, the latter randomly chosen. Each edge is then randomly given a direction to form our directed graph. We show that
$$Pr\left(\textbf{Y}^* \le M \left( \frac{1}{2} -\sqrt{\frac{\log n}{Δ_{av}}}\right)\right)$$ approaches zero exponentially in $n$, with $\textbf{Y}^*$ the (random) size of the minimum feedback arc set and $Δ_{av}=2M/n$ the average vertex degree. Lower bounds for random tournaments, a special case, were obtained by Spencer [12] and de la Vega [13] and these are discussed. In comparing the bound above to averaged experimental FAS data on related random graphs developed by K. Hanauer [7] we find that the approximation $\textbf{Y}^*_{av} \approx M\left( \frac{1}{2} -\frac{1}{2}\sqrt{\frac{\log n}{Δ_{av}}}\right)$ lies remarkably close graphically to the algorithmically computed average size $\textbf{Y}^*_{av}$ of minimum feedback arc sets.
The number of perfect matchings in a brick
A 3-connected graph is a brick if the graph obtained from it by deleting any two distinct vertices has a perfect matching. The importance of bricks stems from the fact that they are building blocks of the matching decomposition procedure of Kotzig, and Lovasz and Plummer. Lucchesi and Murty conjectured that there exists a positive integer N such that for every n>N, every brick on n vertices has at least n-1 perfect matchings. We present an infinite family of bricks such that for each even integer n (n > 17), there exists a brick with n vertices in this family that contains [0:625n] perfect matchings, showing that this conjecture fails.
Bounded indegree $k$-forests problem and a faster algorithm for directed graph augmentation
We consider two problems for a directed graph $G$, which we show to be closely related. The first one is to find $k$ edge-disjoint forests in $G$ of maximal size such that the indegree of each vertex in these forests is at most $k$. We describe a min-max characterization for this problem and show that it can be solved in $O(k δm \log n)$ time, where $(n,m)$ is the size of $G$ and $δ$ is the difference between $k$ and the edge connectivity of the graph. The second problem is the directed edge-connectivity augmentation problem, which has been extensively studied before: find a smallest set of directed edges whose addition to the graph makes it strongly $k$-connected. We improve the complexity for this problem from $O(k δ(m+δn)\log n)$ [Gabow, STOC 1994] to $O(k δm \log n)$, by exploiting our solution for the first problem. A similar approach with the same complexity also works for the undirected version of the problem.
Degree Deviation and Spectral Radius
For a finite, simple, and undirected graph $G$ with $n$ vertices, $m$ edges, and largest eigenvalue $λ$, Nikiforov introduced the degree deviation of $G$ as $s=\sum_{u\in V(G)}\left|d_G(u)-\frac{2m}{n}\right|$. Contributing to a conjecture of Nikiforov, we show $λ-\frac{2m}{n}\leq \sqrt{\frac{2s}{3}}$. For our result, we show that the largest eigenvalue of a graph that arises from a bipartite graph with $m_{A,B}$ edges by adding $m_A$ edges within one of the two partite sets is at most $\sqrt{m_A+m_{A,B}+\sqrt{m_A^2+2m_Am_{A,B}}}$, which is a common generalization of results due to Stanley and Bhattacharya, Friedland, and Peled.
Properties of leveled spatial graphs
We investigate the property of a spatial graph of having a leveled embedding and characterize the abstract graphs with this property. We show that all leveled embeddings are free and we compare leveled and paneled (also known as flat) embeddings. Two new graph invariants are introduced: the level number, an invariant for graphs that admit a leveled embedding, and the Hamiltonian level number, an invariant for Hamiltonian graphs. These invariants provide a measure on how far a graph is from being planar. We study the relation between the (Hamiltonian) level number and other graph invariants that minimize the decomposition of a graph in planar subgraphs, namely the thickness and the book thickness of a graph. We characterize graphs with low level number and determine both the level number and the Hamiltonian level number of complete graphs and of complete bipartite graphs.
On the Spectrum of Locally Linear Graphs
For a locally linear graph $G$, which is a graph built out of triangles, it is possible to construct another graph $G^*$ that would consist of triangles of $G$ as vertices, while sharing (or not sharing) a common vertex between a pair of triangles would define a binary relation for edges of $G^*$. In this paper we show that the spectrum of $G^*$ is uniquely defined by $G$. We will also show some structural similarities of these graphs; in particular, that the number of quadrilaterals and pentagons in both graphs are the same; that $G^*$ does not contain $K_4-e$ and $K_{1,4}$; and that $G$ can be reconstructed from $G^*$.
Bisection Width, Discrepancy, and Eigenvalues of Hypergraphs
A celebrated result of Alon from 1993 states that any $d$-regular graph on $n$ vertices (where $d=O(n^{1/9})$) has a bisection with at most $\frac{dn}{2}(\frac{1}{2}-Ω(\frac{1}{\sqrt{d}}))$ edges, and this is optimal. Recently, this result was greatly extended by Räty, Sudakov, and Tomon. We build on the ideas of the latter, and use a semidefinite programming inspired approach to prove the following variant for hypergraphs: every $r$-uniform $d$-regular hypergraph on $n$ vertices (where $d\ll n^{1/2}$) has a bisection of size at most $$\frac{dn}{r}\left(1-\frac{1}{2^{r-1}}-\frac{c}{\sqrt{d}}\right),$$ for some $c=c(r)>0$. This bound is the best possible up to the precise value of $c$. Moreover, a bisection achieving this bound can be found by a polynomial-time randomized algorithm.
The minimum bisection is closely related to discrepancy. We also prove sharp bounds on the discrepancy and so called positive discrepancy of hypergraphs, extending results of Bollobás and Scott. Furthermore, we discuss implications about Alon-Boppana type bounds. We show that if $H$ is an $r$-uniform $d$-regular hypergraph, then certain notions of second largest eigenvalue $λ_2$ associated with the adjacency tensor satisfy $λ_2\geq Ω_r(\sqrt{d})$, improving results of Li and Mohar.