graph
35150 papers tagged with this keyword
Exploration of $k$-edge-deficient temporal graphs in linear time
We study the Temporal Exploration problem, where an agent must visit all vertices of a temporal graph while traversing at most one available edge per time step. Unlike static graphs, which can be explored in linear time, temporal constraints can substantially increase exploration time even when every snapshot of the graph is connected.
To better understand the source of this complexity, we focus on a near-static setting and consider always-connected $k$-edge-deficient temporal graphs, in which each snapshot is connected and differs from a fixed underlying $n$-vertex graph by at most $k$ edges. Although such graphs are structurally close to static graphs, they can still exhibit non-trivial temporal behaviour. Prior work showed that these graphs can be explored in $O(kn \log n)$ time steps and established a lower bound of $Ω(n \log k)$, leaving open whether linear-time exploration in $n$ is possible.
We resolve this question by showing that any always-connected $k$-edge-deficient temporal graph admits an exploration schedule of length $O(nk \log k)$. Moreover, given such a temporal graph, the corresponding exploration schedule can be computed in polynomial time. The obtained bound is linear in the number of vertices up to a factor depending only on $k$, removes the extraneous logarithmic dependence on $n$, and is nearly optimal. In particular, for constant $k$, our result yields an order-optimal $Θ(n)$ exploration time, showing that temporal exploration in this near-static regime essentially retains the linear-time character of static graph traversal.
Subgraphs versus Orientations: Infinite families of equidistributions
A classical enumerative result states that, given a graph $G$ and a vertex $u$, the number of connected subgraphs of $G$ is equal to the number of orientations of $G$ such that every vertex can reach $u$ by a directed path. We show that this result is an instance of a much broader set of enumerative identities between subgraphs and orientations corresponding to various connectivity constraints. Namely, given two sets of pairs of vertices $A=\{(u_i,v_i), i\in[k]\}$ and $B=\{(u_i',v_i'), i\in[l]\}$, we consider the orientations $α$ of $G$ such that adding the elements of $A$ and $B$ as additional directed edges to $α$ gives an orientation $α'$ in which $v_i$ cannot reach $u_i$ for all $i\in[k]$, but $v_i'$ can reach $u_i'$ for all $i\in[l]$. We show that this set of orientations is equinumerous to a set of subgraphs satisfying the ``same" connectivity constraints defined in terms of $A$ and $B$.
We also extend our results to the enumeration of equivalence classes of orientations satisfying such connectivity constraints. Precisely, we consider the equivalence classes under cycle reversal, cocycle reversal, or cycle-cocycle reversal. We show that the equivalences classes are equinumerous to some sets of subgraphs defined by connectivity and acyclicity constraints.
The Facial Common Neighbourhood Graph
Given a polyhedron (planar, $3$-connected graph) $G$, we investigate its common neighbourhood graph con($G$). For cubic ($3$-regular) polyhedra, we show that the planarity of con($G$) depends on the number of odd faces of $G$, and on their adjacency. We then prove that for all other polyhedra, con($G$) is non-planar.
We introduce a novel concept for polyhedra (and more generally, for plane graphs) $G$, namely the `facial common neighbourhood graph' facecon($G$). Its definition takes into account pairs of vertices with a common neighbour on the same face of $G$. It is a spanning subgraph of con($G$), that coincides with con($G$) for cubic polyhedra. It also generalises the reverse construction of the radial graph.
As part of our investigation, we also prove a technical result of independent interest: if a maximal planar graph (triangulation of the sphere) has exactly two vertices of odd degree, then they are not adjacent.
We also answer several questions in extremal graph theory. Fixing the number of vertices, we characterise the polyhedra $G$ such that con($G$) is planar and the number of edges in con($G$) is minimal/maximal. We address the same problem for facecon($G$), and prove that if it is maximal planar, then $G$ has no face of length greater than $6$. We notably characterise and explicitly construct all polyhedra $G$ of maximal face length $4$ such that facecon($G$) is maximal planar.
Graceful Labeling of Two Families of Spiders
A \emph{graceful labeling} of a graph $G$ is an injective function $f : V(G) \to \{0, \ldots, |E(G)|\}$ such that $\{\,|f(u)-f(v)| : uv \in E(G)\,\} = \{1, \ldots, |E(G)|\}$. If such a labeling exists, then we call $G$ \emph{graceful}. Introduced by Rosa in 1967, graceful labeling has been widely studied, and the Graceful Tree Conjecture asserts that every tree is graceful. The conjecture is known to hold for several classes of trees, including caterpillars, trees with at most four leaves, trees of diameter at most five, and certain spiders. An important subclass is that of \emph{$α$-labelings}, where a graceful labeling $f$ admits an integer $α$ such that each edge joins a vertex with label at most $α$ to one with label greater than $α$. A result from 1982 by Huang, Kotzig, and Rosa shows that if $H$ has an $α$-labeling with a vertex $u$ labeled $0$ or $α$, and $G$ has a graceful labeling with a vertex $v$ labeled $0$, then identifying $u$ and $v$ yields a graceful graph, though this requires a $0$-labeled vertex in $G$. We prove a related result that relaxes this condition: if $G$ has a graceful labeling $f$ such that $f(u)+\lfloor n/2 \rfloor + 1 \le n$ and $n \not\equiv 1 \pmod{4}$, where $u\in V(G)$ and $n\ge 2$ is an integer, then joining $u$ to an end vertex of the vertex-disjoint $n$-vertex path $P_n$ yields a graceful graph. As an application, we show that any spider with legs $L_1,\ldots,L_s$ ($s \ge 1$) satisfying $|E(L_{2})| \ge 2|E(L_1)|+ 4$ and $|E(L_{i+1})| \ge 2|E(L_i)|+ 2$ for $i \in \{2,\ldots, s-1\}$ is graceful. Furthermore, we give an explicit graceful labeling for spiders with one leg of arbitrary length and all others of length at most two such that the center is labeled by $0$. This labeling enables the construction of larger graceful spiders by attaching paths at the center.
A Study on Type-2 Isomorphic Circulant Graphs: Part 8: $C_{432}(R)$, $C_{6750}(S)$ -- each has 2 types of Type-2 isomorphic circulant graphs
In this study, we obtain the following two families of circulant graphs each has Type-2 isomorphic circulant graphs w.r.t. $m$ such that $m$ has more than one value. (i) Family of circulant graphs $C_{432}(R)$, each has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 2 as well as $m$ = 3; and (ii) Family of circulant graphs $C_{6750}(S)$, each has isomorphic circulant graphs of Type-2 w.r.t. $m$ = 3 as well as $m$ = 5. This study is the $8^{th}$ part of a detailed study on Type-2 isomorphic circulant graphs having ten parts \cite{v2-1}-\cite{v2-10}.
Branch-width of represented matroids in matrix multiplication time
For an $n$-element matroid $M$ given by an $n \times n$ matrix representation over a finite field $\mathbb F$ and an integer $k$, we present an $(O_{k,\mathbb F}(n^2)+O(n^ω))$-time algorithm that either finds a branch-decomposition of $M$ of width at most $k$, or confirms that the branch-width of $M$ is more than $k$, where $ω< 2.3714$ is the matrix multiplication exponent, and the $O_{k,\mathbb F}(\cdot)$-notation hides factors that depend on $k$ and $\mathbb F$ in a computable manner. All previous algorithms including Hliněný and Oum [SIAM J. Comput. (2008)] and Jeong, Kim, and Oum [SIAM J. Discrete Math. (2021)] run in at least $Ω(n^3)$ time. Moreover, if the input matrix representation is given by a standard form, our algorithm runs in $O_{k,\mathbb F}(n^2)$-time, since $O(n^ω)$-time is only needed for finding a standard form of the input matrix. When $M$ is given by an $m \times n$ matrix, the overhead for finding a standard form is $O(mn \min(m,n)^{ω-2})$.
As corollaries, we obtain faster algorithms for rank-width of directed graphs and path-width of matroids represented over a fixed finite field. Furthermore, we also present an approximation algorithm for finding branch-width that works on infinite fields provided that the input matrix is of a standard form and contains a bounded number of distinct values of entries.
To suggest that our algorithm is optimal, we observe that for every field $\mathbb F$, deciding whether the branch-width of a matroid represented over $\mathbb F$ is $0$ is as hard as deciding whether a square matrix over $\mathbb F$ is singular. Under the assumption that singularity testing requires $Ω(n^ω)$-time, this implies that the overhead of $O(n^ω)$ is unavoidable. We also show strengthenings of this observation to rule out some approximations under this assumption.
On the Eccentricity Laplacian and Eccentricity Signless Laplacian Matrices of a Graph
In this paper, we introduce the Laplacian and the signless Laplacian for the eccentricity matrix of a connected graph, referred to as the eccentricity Laplacian and the eccentricity signless Laplacian, respectively. We establish the equivalence among the eccentricity Laplacian, eccentricity signless Laplacian, and eccentricity spectrum for different classes of graphs. We provide spectral characterization of $\mathcal{E}$-bipartite graphs by the symmetry of $\mathcal{E}$-spectrum and the similarity of these Laplacian matrices.
A non-hereditary Pollyanna class that is not strongly Pollyanna
Chudnovsky, Cook, Davies, and Oum introduced the notion of Pollyanna graph classes: a class $\mathcal{C}$ is Pollyanna if for every $χ$-bounded class $\mathcal{F}$, the intersection $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded. They further defined $\mathcal{C}$ to be strongly Pollyanna if it is $k$-strongly Pollyanna for some integer $k$, meaning that $\mathcal{C} \cap \mathcal{F}$ is polynomially $χ$-bounded for every $k$-good class $\mathcal{F}$. They asked whether there are Pollyanna graph classes that are not strongly Pollyanna. In this note we answer this question affirmatively, under the literal interpretation that graph classes are not required to be hereditary. We construct a class $\mathcal{C}$ that is Pollyanna but, for every $k \ge 1$, is not $k$-strongly Pollyanna; in particular $\mathcal{C}$ is not strongly Pollyanna.
Munarini graphs: a generalization of Fibonacci cubes and Pell graphs. Part I
The Fibonacci cube $Γ_n$ is the subgraph of the hypercube $Q_n$ induced by vertices with no consecutive $1$s. Munarini introduced Pell graphs, a variation of Fibonacci cubes defined on ternary strings. A generalization of Pell graphs to $(k+1)$-ary strings has recently been proposed. In this paper we introduce Munarini graphs, which constitute an alternative generalization of Fibonacci cubes and Pell graphs. One of the main advantages of Munarini graphs is that, unlike previously proposed generalization, they are daisy cubes, as are Fibonacci cubes and Pell graphs. In this first article, we study some of their fundamental properties including the size, the recursive structure, the cube and maximal cube polynomials.
Spectral extremal results for triangle-free graphs with chromatic number at least four
A graph is called $F$-free if it does not contain a copy of $F$. Let $G(r,s)$ denote a $K_{r+1}$-free graph of order $n$ with chromatic number at least $s$ that maximizes the spectral radius. Nikiforov [Linear Algebra Appl., 2007] proved the spectral Turán theorem, which implies that $G(r,s)$ is the $r$-partite Turán graph $T_{n,r}$ for $s\leq r$. Lin, Ning, and Wu [Combin. Probab. Comput., 2021] characterized the unique spectral extremal graph $G(2,3)$. This result was later extended by Li and Peng [SIAM J. Discrete Math., 2023] to all $s=r+1\geq 3$. In this paper, we push the characterization further by determining the unique extremal graph $G(2,4)$ for all sufficiently large $n$. Specifically, we show that $G(2,4)$ is precisely a blow-up of the Grötzsch graph. Interestingly, under the same conditions, $G(2,4)$ also coincides with the unique edge-extremal graph identified by Ren, Wang, Wang, and Yang [arXiv:2404.07486v2].
Hardness of Burning Number Problem on Regular Graphs
The Burning Number Problem (BNP) models the spread of information or contagion in a network through a discrete-time process on a graph. At each step, one new vertex is selected as a burning source, while fire simultaneously spreads from previously burned vertices to their neighbors. The burning number of a graph is the minimum number of steps required to burn all vertices. The decision version asks whether the burning number is at most a given integer $k$. BNP is known to be NP-complete even on restricted graph classes such as path forests. We study BNP on connected regular graphs, a natural and previously unexplored graph class. We prove that BNP is NP-complete on connected cubic graphs, and moreover APX-hard under this restriction. We further show that BNP remains APX-hard on connected $d$-regular graphs for every fixed $d \geq 4$.
The spectral radius of $k$-chromatic $r$-graphs
For an $r$-uniform hypergraph $G$, let $λ^{(p)}(G)$ denote its $p$-spectral radius, defined as the maximum of the polyform of $G$ over the unit sphere in the $\ell_p$-norm. Let $Q_k^r(n)$ be the complete $k$-chromatic $r$-graph on $n$ vertices with color classes as equal as possible. Kang--Nikiforov--Yuan conjectured that, for every $p\ge1$ and $n>(r-1)k$, the $r$-graph $Q_k^r(n)$ is the unique maximizer of $λ^{(p)}$ among all $k$-chromatic $r$-graphs of order $n$. They also conjectured the corresponding explicit bound \[
λ^{(p)}(G)
\le
r!\left(\tbinom nr-k\tbinom{n/k}{r}\right)n^{-r/p}, \] with equality only in the divisible extremal case. The case $r=3$ was established in their work. This paper resolves the remaining cases $r\ge4$, and hence settles both conjectures for all $r\ge3$. As a consequence, the same threshold gives an anti-Wilf-type spectral certificate: any $r$-graph of order $n$ whose $p$-spectral radius exceeds the displayed bound has chromatic number at least $k+1$.
Uniquely 2-colourable 4-cycle decompositions
A cycle system of order $n$ is a decomposition of the edges of the complete graph $K_n$ into cycles of a fixed length. A cycle system is said to be $k$-colourable if we can assign $k$ colours to its vertices so that no cycle is monochromatic. A $k$-colourable cycle system is uniquely $k$-colourable if its colouring is unique up to the permutation of colour classes. In this paper, we construct uniquely $2$-colourable $4$-cycle systems of order $n$ for all admissible $n\geq 49$, and also uniquely $2$-colourable $4$-cycle decompositions of $K_n - I$, for all admissible $n \geq 50$. These constructions contribute to the broader study of uniquely colourable cycle systems and open new directions for future research.
Perturbation of the largest matching root of hypergraphs
The largest matching root of a $k$-graph is the largest real root of its matching polynomial, which is equal to the maximum modulus of all the zeros of the matching polynomial. In this paper, we investigate the perturbation of the largest matching root of $k$-graphs. We determine all $k$-graphs whose largest matching root attains the maximum among all $k$-cacti and linear $k$-cacti with a given number of cycles and edges, where a $k$-cactus is a $k$-graph in which every two distinct cycles have at most one vertex in common. To achieve this, we prove that the celebrated shifting operation of $k$-graphs, introduced by Erdős, Ko and Rado, does not decrease the largest matching root. This result extends a classical result by Csikvári (Electron. J. Combin. {\bf 18} (2011) $\#$P182) stating that the Kelmans transformation does not decrease the largest matching root of graphs.
Optimal Bounds for the k-Disjoint Paths Problem
The Graph Minors Series of Robertson and Seymour forms the foundation of algorithmic structural graph theory, yielding fixed-parameter algorithms for problems such as Disjoint Paths, Rooted Minor Checking, and Folio. A key ingredient behind the fixed-parameter tractability of the $k$-Disjoint Paths problem is the irrelevant-vertex technique. This machinery is governed by the Vital Linkage Theorem and the so-called Linkage Function $\ell$. However, despite its foundational role, the best known bounds on the Linkage Function are enormous and are only implicitly understood. The quantitative bounds behind these results have traditionally been so large that the resulting algorithms are regarded as "galactic".
Our main result is a general irrelevant-vertex theorem for a common generalisation of $k$-Disjoint Paths and Rooted Minor Checking for graphs of size at most $d,$ commonly called the $(k,d)$-Folio problem. Specifically, we show that for any graph $G$ in which the $k$ terminals are chosen from some set $R,$ if the treewidth of $G$ exceeds $β(k,b,d)\in$ $2^{{\bf poly}(b + d)}$ $\cdot {\bf poly}(k)$ then we can locate an irrelevant vertex for the $(k,d)$-Folio problem. Here, the quantity $b$ is the bidimensionality of $R,$ that is, the largest $b$ for which a $(b\times b)$-grid minor in $G$ can be rooted on $R$. Thus, the exponential component of the irrelevant-vertex threshold is driven by the bound on the bidimensionality, rather than by the number of terminals, and we argue that this dependence is essentially optimal up to polynomial factors. As a consequence, the Linkage Function satisfies $\ell(k) \in 2^{{\bf poly}(k)}$. Beyond its structural significance, our result yields improved parameter dependencies for algorithms for Disjoint Paths and Rooted Minor Checking}, and provides a quantitative improvement for a broad range of graph-minor-based algorithmic frameworks.
Twins and Co-Twins in Circulant graphs
Circulant graphs are a widely studied family of graphs whose members possess varying amounts of symmetry. Although considerable progress has been made in finding the automorphism groups of circulant graphs under certain restrictions, a complete classification is elusive. In general, the structure of the automorphism group of a graph with twins can be simplified by separating the effect of automorphisms that permute mutually twin vertices and those that operate on the twin quotient graph. Further simplification can be achieved in twin-free, vertex-transitive graphs that have co-twins, which we define to be vertices whose neighborhoods are complementary. In this paper, we demonstrate how the these simplifications can be used provide insight into the automorphism groups and symmetry parameters of vertex-transitive graphs in general and circulant graphs in particular.
On zero-sum Ramsey numbers of cycles and wheels
For an integer $q\ge 2$ and a graph $F$ with $q\mid e(F)$, let $R(F,\Z_q)$ be the least integer $n$ such that every edge-labeling $w\colon E(K_n)\to \Z_q$ contains a copy of $F$ whose edge-label sum is zero in $\Z_q$. Write $C_{qk}$ for the cycle on $qk$ vertices. We prove that $R(C_{qk},\Z_q)\le \max\{R(C_{2q},\Z_q),qk+q-1\}$ via an insertion argument rooted in the classic Erdős-Ginzburg-Ziv theorem. Combined with Pikhurko's result, we obtain $R(C_{qk},\Z_q)\le \max\{35q^2,qk+q-1\}$ for every $q\ge 3$. We also show that $R(C_{qk},\Z_q)\ge qk+q-1$ for odd $q\ge 3$. Hence, for every fixed odd $q\ge 3$ and every $k\ge 35q$, we obtain the exact value $R(C_{qk},\Z_q)=qk+q-1$. For even $q\ge 4$, the same method gives $qk+\frac q2-1\le R(C_{qk},\Z_q)\le \max\{35q^2,qk+q-1\}$, leaving an additive gap of order $q/2$ when $k$ is large. Moreover, for the case $q=3$, we prove that \(R(C_{3k}, \mathbb{Z}_3) = 3k + 2\) for all \(k \ge 2\). Extending our techniques beyond cycles, we also resolve the zero-sum Ramsey number for wheel graphs \(W_m = C_m + K_1\), proving that \(R(W_{3k}, \mathbb{Z}_3) = 3k + 1\) for all \(k \ge 2\).
Sharp Bounds on the Eigenvalues of Kikuchi Graphs and Applications to Quantum Max Cut
We prove that the maximum eigenvalue of the (both signed and unsigned) Laplacian of level $k$ Kikuchi graph of any graph $G$ with $m$ edges is at most $m+k$. This confirms four recent conjectures of Apte, Parekh, and Sud.
As applications, we obtain that tensor products of one and two qubit product states achieve an approximation ratio of $5/8$ for Quantum Max Cut and $5/7$ for the XY Hamiltonian. Moreover, combining our bounds with the algorithms analyzed by Apte, Parekh, and Sud, yields efficient algorithms achieving an approximation ratio of $0.614$ for Quantum Max Cut and $0.674$ for the XY Hamiltonian. Finally, we also make modest progress on Brouwer's conjecture and improve Lew's bound on the sum of the top-$k$ eigenvalues of a Graph Laplacian.
Conformal Rigidity of Graphs: Subdifferentials and Orbit-Isometries
A connected undirected graph $G = (V,E)$ is lower conformally rigid if uniform edge weights maximize the second smallest Laplacian eigenvalue $λ_2(w)$ over all normalized edge weights $w$, and upper conformally rigid if uniform edge weights minimize the largest eigenvalue $λ_n(w)$ over all normalized edge weights; $G$ is conformally rigid if it is lower or upper conformally rigid. This paper establishes a new framework for conformal rigidity through the language of subdifferentials, unifying the variational perspective on eigenvalue optimization with the geometry of edge-isometric spectral embeddings, which are known to characterize conformal rigidity. This subdifferential framework lends itself naturally to techniques of symmetry reduction that motivate the notion of an orbit-isometric embedding - a weaker condition than edge-isometry that accounts for the symmetries of $G$ while remaining sufficient for conformal rigidity. The notion opens the door to tools from representation theory: for a large class of graphs, including all vertex-transitive ones, we show that conformal rigidity is certified by a single eigenvector, resolving an open question and explaining the conformal rigidity of previously unexplained graphs. This extra structure enables a new, algebraically exact certification method for conformal rigidity, bypassing the numerical difficulties of prior approaches. In many cases, the problem reduces to a check of linear feasibility, and in general, to solving a system of quadratic equations via Gröbner bases.
Local maximum of inducibility profiles
For a graph $G$ and $e\in [0,1]$, denote by $I_G(e)$ the supremum of densities of $G$ over $n$-vertex graphs with edge density $e$ as $n$ goes to infinity. Liu, Mubayi and Reiher asked if there exists a graph $G$, where $I_G(e)$ has a non-trivial local maximum. In this note we resolve their problem by showing that $I_{K_{2,2,1}}(e)$ has at least two local maxima in $(0,1)$. Additionally, we determine $I_{K_{2,2,1}}(e)$, when $e=(k-1)/k$ for every integer $k\ge 3.$