arXiv++ Combinatorics

Subdiffusion on graphs is often modeled by time-fractional diffusion equations, yet its structural and dynamical consequences remain unclear. We show that subdiffusive transport on graphs is a memory-driven process generated by a random time change that compresses operational time, produces long-tailed waiting times, and breaks Markovianity while preserving linearity and mass conservation. We prove that Mittag-Leffler graph dynamics admit an exact convex, mass-preserving representation as a superposition of classical heat semigroups evaluated at rescaled times, revealing fractional diffusion as ordinary diffusion acting across multiple intrinsic time scales. This framework uncovers heterogeneous, vertex-dependent memory effects and induces transport biases absent in classical diffusion, including algebraic relaxation, degree-dependent waiting times, and early-time asymmetries between sources and neighbors. These features define a subdiffusive geometry on graphs enabling particles to locally discover global shortest paths while favoring high-degree regions. Finally, we show that time-fractional diffusion arises as a singular limit of multi-rate diffusion.

The notion of mutual visibility in graphs arises from constraining shortest paths by forbidding internal vertices from belonging to a specified subset. Mutual-visibility sets, originally introduced as a tool for studying information flow and structural restrictions in complex networks, have since gained increasing attention due to their theoretical significance and diverse applications. In this paper, a complete characterization of mutual-visibility sets in trees is presented. It is shown that a subset $S$ is a mutual-visibility set of $T$ if and only if it coincides with the set of leaves of the Steiner subtree $T\langle S\rangle$. As a consequence, the mutual-visibility number of a tree is equal to the number of its leaves. For trees containing branch vertices, the notion of legs is introduced and an explicit formula for the number of maximal mutual-visibility sets is derived in terms of the corresponding leg lengths. It is proved that every tree is absolute-clear. It is further established that the mutual-visibility number is preserved under the line graph operation for trees with at least two edges, that is, $μ(L(T))=μ(T)$.

We introduce a two-parameter framework that refines several classical graph invariants by imposing higher-order constraints along bounded-length geodesics. For integers $k,d\ge1$, a vertex set is called $k,d$-independent if every shortest path of length at most $d$ contains fewer than $k$ vertices of the set, giving rise to corresponding $k,d$-independence, chromatic, clique, and domination invariants. We develop a general framework for these parameters by associating each graph with a $k$-uniform hypergraph that encodes its geodesic structure. We then establish basic bounds and monotonicity properties, and introduce a notion of $k,d$-perfection extending the classical theory of perfect graphs. Exact formulas are obtained for the $k,d$-chromatic number of paths and cycles. In particular, all paths are $k,d$-perfect for all parameters, while cycles admit a complete classification of $k,d$-perfection that recovers the classical case when $k=2$ and exhibits new periodic and finite-exception behavior for $k\ge3$. We further investigate the interaction between $k,d$-invariants and graph powers, showing that while the $k=2$ case reduces to graph powers in a straightforward way, substantially different behavior arises for higher values of $k$, even for powers of paths.

For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ composed of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path between $u_0$ and $u_s$. We say that $Γ$ is {\em $s$-geodesic transitive} if for each $i\leq s$, $Γ$ contains at least one $i$-geodesic, and its automorphism group acts transitively on the set of all $i$-geodesics. In this paper, by using the classification of almost simple primitive groups of rank $4$, we first classify all distance transitive graphs of diameter $3$. The resulting classification encompasses $73$ classes of graphs. As an application of this result, we have extended the main result of Jin and Tan [J. Algebra Combin. 60 (2024) 949--963]. More precisely, for a connected $(G,4)$-geodesic transitive graph with a nontrivial intransitive normal subgroup $N$ of $G$ that has at least $3$ orbits, where $G$ is an automorphism group of $Γ$, it is shown that either both $Γ$ and $Γ_N$ are known, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,4)$-geodesic transitive.

This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears exactly once on its vertices. A connected graph is said to be strongly conflict-free vertex-connection $k$-colorable if it admits a (proper) vertex $k$-coloring such that any two distinct vertices are connected by a conflict-free shortest path. Among others, we show that deciding, for a given graph $G$ and an integer $k$, whether $G$ is strongly conflict-free $k$-colorable is fixed-parameter tractable when parameterized by the vertex cover number. But under the standard complexity-theoretic assumption NP $\not\subseteq$ coNP/poly, deciding, for a given graph $G$, whether $G$ is strongly conflict-free $3$-colorable does not admit a polynomial kernel, even for bipartite graphs. This kernel lower bound is in stark contrast to the ordinal $k$-Coloring problem which is known to admit a polynomial kernel when parameterized by the vertex cover number.

Networks are often modeled using graphs, and within this setting we introduce the notion of $k$-fault-tolerant mutual visibility. Informally, a set of vertices $X \subseteq V(G)$ in a graph $G$ is a $k$-fault-tolerant mutual-visibility set ($k$-ftmv set) if any two vertices in $X$ are connected by a bundle of $k+1$ shortest paths such that: ($i$) each shortest path contains no other vertex of $X$, and ($ii$) these paths are internally disjoint. The cardinality of a largest $k$-ftmv set is denoted by $\mathrm{f}μ^{k}(G)$. The classical notion of mutual visibility corresponds to the case $k = 0$. This generalized concept is motivated by applications in communication networks, where agents located at vertices must communicate both efficiently (i.e., via shortest paths) and confidentially (i.e., without messages passing through the location of any other agent). The original notion of mutual visibility may fail in unreliable networks, where vertices or links can become unavailable. Several properties of $k$-ftmv sets are established, including a natural relationship between $\mathrm{f}μ^{k}(G)$ and $ω(G)$, as well as a characterization of graphs for which $\mathrm{f}μ^{k}(G)$ is large. It is shown that computing $\mathrm{f}μ^{k}(G)$ is NP-hard for any positive integer $k$, whether $k$ is fixed or not. Exact formulae for $\mathrm{f}μ^{k}(G)$ are derived for several specific graph topologies, including grid-like networks such as cylinders and tori, and for diameter-two networks defined by Hamming graphs and by the direct product of complete graphs.

Cyclic structures are fundamental topological features in graphs, playing critical roles in network robustness, information flow, community structure, and various dynamic processes. Algorithmic tools that can efficiently probe and analyze these cyclic topologies are increasingly vital for tasks in graph mining, network optimization, bioinformatics, and social network analysis. A core primitive for quantitative analysis of cycles is finding the Minimum Weight Cycle (MWC), representing the shortest cyclic path in a weighted graph. However, computing the MWC efficiently remains a challenge, particularly compared to shortest path computations. This paper introduces a novel deterministic algorithm for finding the MWC in general weighted graphs. Our approach adapts the structure of Dijkstra's algorithm by introducing and minimizing a \textit{composite distance} metric, effectively translating the global cycle search into an iterative node-centric optimization. We provide a rigorous proof of correctness based on loop invariants. We detail two mechanisms for accelerating the search: a provable node discarding technique based on intermediate results, and a highly effective graph pruning heuristic. This heuristic dynamically restricts the search to relevant subgraphs, leveraging the principle of locality often present in complex networks to achieve significant empirical speedups, while periodic resets ensure global optimality is maintained. The efficiency of the proposed MWC algorithm enables its use as a core component in more complex analyses focused on cyclic properties. We illustrate this through a detailed application case study: accelerating the computation of the Loop Modulus, a measure of cycle richness used in advanced network characterization. Our algorithm dramatically reduces the runtime of the iterative constraint-finding bottleneck in this computation.

Two directions in algorithms and complexity involve: (1) classifying which optimization problems can be solved in polynomial time, and (2) understanding which computational problems are hard to solve \emph{on average} in addition to the worst case. For many average-case problems, there does not currently exist strong evidence via reductions that they are hard. However, we can still attempt to predict their polynomial time tractability by proving lower bounds against restricted classes of algorithms. Geometric approaches to predicting tractability typically study the \emph{optimization landscape}. For optimization problems with random objectives or constraints, ideas originating in statistical physics suggest we should study the \emph{overlap} between approximately-optimal solutions. Formally, properties of \emph{Gibbs measures} and the \emph{Franz--Parisi potential} imply lower bounds against natural local search algorithms, such as Langevin dynamics. A related theory, the \emph{Overlap Gap Property (OGP)}, proves rigorous lower bounds against classes of algorithms which are stable functions of their input. A remarkable recent work of Li and Schramm showed that the shortest path problem in random graphs admits lower bounds against a class of stable algorithms, via the OGP. Yet this problem is polynomial time tractable. We further investigate this. We find that both the OGP and the Franz--Parisi potential predict that: (1) local search will fail in the optimization landscape of shortest paths, but (2) local search should succeed in the optimization landscape for shortest path \emph{trees}, which is true. Using the Franz--Parisi potential, we explain an analogy with results from combinatorial optimization -- submodular minimization is tractable via local search on the Lovász extension, even though ``naive'' local search over sets or the multilinear extension provably fails.

A graph $G=(V,E)$ on $n$ vertices is said to be \emph{distance exceptional} if the equation $D\vec{x} = \vec{1}$ admits no solution $\vec{x}\in\mathbb{R}^{n}$, where $D\in\mathbb{R}^{n\times n}$ is the shortest path distance matrix of $G$. These graphs were first studied by Steinerberger in the context of a notion of discrete curvature (``Curvature on graphs via equilibrium measures,'' \emph{Journal of Graph Theory}, 103(3), 2023). This work has led to several open questions about distance exceptional graphs, including: What is the structure of such graphs? How can they be characterized? How rare are they? In this paper, we investigate these questions through the lens of a graph invariant we term the \emph{curvature index}. We show that a graph is distance exceptional if and only if this invariant vanishes, and we develop a calculus for this invariant under graph operations including the Cartesian product and graph join. As a result, we recover and generalize a number of known results in this area. We show that any graph $G$ can be realized as an induced subgraph of a distance exceptional graph $G'$. Moreover, in many cases, this embedding is an isometry. In turn, this leads to a number of methods for constructing distance exceptional graphs.

Minimum joins in a graft $(G, T)$, also known as minimum $T$-joins of a graph $G$, are said to be connected if they determine a connected subgraph of $G$. Grafts with a connected minimum join have gained interest ever since Middendorf and Pfeiffer showed that they satisfy Seymour's min-max formula for joins and $T$-cut packings; that is, in such grafts, the size of a minimum join is equal to the size of a maximum packing of $T$-cuts. In this paper, we provide a constructive characterization of grafts with a connected minimum join. We also obtain a polynomial time algorithm that decides whether a given graft has a connected minimum join and, if so, outputs one. Our algorithm has two bottlenecks; one is the time required to compute a minimum join of a graft, and the other is the time required to solve the single-source all-sink shortest path problem in a graph with conservative $\pm 1$-valued edge weights. Thus, our algorithm runs in $O(n(m + n\log n) )$ time. In the nondense case, it improves upon the time bound for this problem due to Sebő and Tannier that was introduced as an application of their results on metrics on graphs.

Dumas, Foucaud, Perez and Todinca (2024) recently proved that every graph whose edges can be covered by $k$ shortest paths has pathwidth at most $O(3^k)$. In this paper, we improve this upper bound on the pathwidth to a polynomial one; namely, we show that every graph whose edge set can be covered by $k$ shortest paths has pathwidth $O(k^4)$, answering a question from the same paper. Moreover, we prove that when $k\leq 3$, every such graph has pathwidth at most $k$ (and this bound is tight). Finally, we show that even though there exist graphs with arbitrarily large treewidth whose vertex set can be covered by $2$ isometric trees, every graph whose set of edges can be covered by $2$ isometric trees has treewidth at most $2$.

Mutual visibility in graphs provides a framework for analysing how vertices can observe one another along shortest paths free of internal obstructions. The visibility polynomial, which enumerates mutual-visibility sets of all orders, has emerged as a central invariant in this study, with both theoretical significance and practical relevance in areas such as surveillance, target tracking, and distributed coordination. While computing this polynomial is computationally demanding, with known complexity $O(n^32^n)$, explicit characterizations for specific graph families yield valuable structural insights. In this paper, we characterize the mutual-visibility sets of several fundamental graph classes and derive closed-form expressions for their associated visibility polynomials. These results deepen the understanding of visibility-based invariants and expand the toolkit available for studying visibility phenomena in networks.

Let $G$ be a simple connected graph with vertex set $V(G)=\{v_{1}, v_{2}, \ldots, v_{n}\}$. The distance $d_G(v_i,v_j)$ between two vertices $v_i$ and $v_j$ of $G$ is the length of a shortest path between $v_i$ and $v_j$. The distance matrix of $G$ is defined as $D(G)=(d_G(v_i,v_j))_{n\times n}$. The second largest distance eigenvalue of \( G \) is the second largest eigenvalues of $D(G)$. Guo and Zhou [Discrete Math. 347(2024), 114082] proved that any connected graph with the second largest distance eigenvalue less than $-\frac{1}{2}$ is chordal, and characterize all bicyclic graphs and split graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$. Based on this, we characterize all tricyclic graphs with the second largest distance eigenvalue less than $-\frac{1}{2}$.

In multiagent systems, effective coordination, coverage, and communication often rely on the concept of visibility between agents or nodes within the system. Graph-theoretically, for any subset $X$ of vertices of a graph $G$, two vertices are said to be $X$-visible if there exists a shortest path between them that contains no vertex of $X$ as an internal vertex. In this paper, we investigate the visibility polynomial associated with the corona product of two graphs. The visibility polynomial encodes the number of mutual-visibility sets of all orders within a graph, and the process of enumerating these sets provides a deeper understanding of their structural properties. We characterize the structure of mutual-visibility sets arising specifically within the corona product. As part of this study, we introduce the notion of $C_Q$-visible sets, defined with respect to a selected subset $Q$ of vertices in a graph $G$. A $C_Q$-visible set is a collection of vertices in $\overline{Q}$ that is not only $Q$-visible, but also individually visible from each vertex in $Q$. Using this concept, we establish several characterizations and properties of mutual-visibility sets within the corona product, thereby providing deeper insights into their structure and behavior.

We study a large family of graph covering problems, whose definitions rely on distances, for graphs of bounded cyclomatic number (that is, the minimum number of edges that need to be removed from the graph to destroy all cycles). These problems include (but are not restricted to) three families of problems: (i) variants of metric dimension, where one wants to choose a small set $S$ of vertices of the graph such that every vertex is uniquely determined by its ordered vector of distances to the vertices of $S$; (ii) variants of geodetic sets, where one wants to select a small set $S$ of vertices such that any vertex lies on some shortest path between two vertices of $S$; (iii) variants of path covers, where one wants to select a small set of paths such that every vertex or edge belongs to one of the paths. We generalize and/or improve previous results in the area which show that the optimal values for these problems can be upper-bounded by a linear function of the cyclomatic number and the degree~1-vertices of the graph. To this end, we develop and enhance a technique recently introduced in [C. Lu, Q. Ye, C. Zhu. Algorithmic aspect on the minimum (weighted) doubly resolving set problem of graphs, Journal of Combinatorial Optimization 44:2029--2039, 2022] and give near-optimal bounds in several cases. This solves (in some cases fully, in some cases partially) some conjectures and open questions from the literature. The method, based on breadth-first search, is of algorithmic nature and thus, all the constructions can be computed in linear time. Our results also imply an algorithmic consequence for the computation of the optimal solutions: for some of the problems, they can be computed in polynomial time for graphs of bounded cyclomatic number.

The general position problem for graphs asks for the largest number of vertices in a subset $S \subseteq V(G)$ of a graph $G$ such that for any $u,v \in S$ and any shortest $u,v$-path $P$ we have $S \cap V(P) = \{ u,v\} $, whereas the mutual visibility problem requires only that for any $u,v \in S$ there exists a shortest $u,v$-path with $S \cap V(P) = \{ u,v\} $. In the mobile versions of these problems, robots must move through the network in general position/mutual visibility such that every vertex is visited by a robot. This paper solves some open problems from the literature. We quantify the effect of adding the restriction that every robot can visit every vertex (the so-called \emph{completely mobile} variants), prove a bound on both mobile numbers in terms of the clique number, and find the mobile mutual visibility number of line graphs of complete graphs, strong grids and Cartesian grids.

In this paper, we provide upper and lower bounds on the crossing numbers of dense graphs on surfaces, which match up to constant factors. First, we prove that if $G$ is a dense enough graph with $m$ edges and $Σ$ is a surface of genus $g$, then any drawing of $G$ on $Σ$ incurs at least $Ω\left(\frac{m^2}{g} \log ^2 g\right)$ crossings. The poly-logarithmic factor in this lower bound is new even in the case of complete graphs and disproves a conjecture of Shahrokhi, Székely and Vrt'o from 1996. Then we prove a geometric converse to this lower bound: we provide an explicit family of hyperbolic surfaces such that for any graph $G$, sampling the vertices uniformly at random on this surface and connecting them with shortest paths yields $O\left(\frac{m^2}{g} \log ^2 g\right)$ crossings in expectation.

In this paper, we establish the theory of $p$-modulus of a family of infinite paths on an infinite-rooted tree and then explore its interpretation and properties. One key result is the formulation of $p$-modulus on the infinite tree as a limit of $p$-modulus on truncated trees, with a formula given in terms of a series. Analogous to the existing theory for finite graphs, the $1$-modulus of a family of descending paths in an infinite tree is related to the minimum cut problem, the $2$-modulus is related to effective resistance, and the $\infty$-modulus is related to the length of shortest paths. Another key result is the existence of a critical $p$-value for radially symmetric infinite binary trees, which assigns a kind of dimension to the boundaries

For an integer $s\geq1$ and a graph $Γ$, a path $(u_0, u_1, \ldots, u_{s})$ of vertices of $Γ$ is called an {\em $s$-geodesic} if it is a shortest path from $u_0$ to $u_{s}$. We say that $Γ$ is {\em $s$-geodesic transitive} if, for each $i\leq s$, $Γ$ has at least one $i$-geodesic, and its automorphism group is transitive on the set of $i$-geodesics. In 2021, Jin and Praeger [J. Combin. Theory Ser. A 178 (2021) 105349] have studied $3$-geodesic transitive graphs of girth $5$ or $6$, and they also proposed to the problem that to classify $s$-geodesic transitive graphs of girth $2s-1$ or $2s-2$ for $s=4, 5, 6, 7, 8$. The case of $s = 4$ was investigated in [J. Algebra Combin. 60 (2024) 949--963]. In this paper, we study such graphs with $s\geq5$. More precisely, it is shown that a connected $(G,s)$-geodesic transitive graph $Γ$ with a nontrivial intransitive normal subgroup $N$ of $G$ which has at least $3$ orbits, where $G$ is an automorphism group of $Γ$ and $s\geq 5$, either $Γ$ is the Foster graph and $Γ_N$ is the Tutte's $8$-cage, or $Γ$ and $Γ_N$ have the same girth and $Γ_N$ is $(G/N,s)$-geodesic transitive. Moreover, it is proved that if $G$ acts quasiprimitively on its vertex set, then $G$ is an almost simple group, and if $G$ acts biquasiprimitively, the stabilizer of biparts of $Γ$ in $G$ is an almost simple quasiprimitive group on each of biparts. In addition, $G$ cannot be primitive or biprimitive.

For a graph $Γ$, the {\em distance} $d_Γ(u,v)$ between two distinct vertices $u$ and $v$ in $Γ$ is defined as the length of the shortest path from $u$ to $v$, and the {\em diameter} $\mathrm{diam}(Γ)$ of $Γ$ is the maximum distance between $u$ and $v$ for all vertices $u$ and $v$ in the vertex set of $Γ$. For a positive integer $s$, a path $(u_0,u_1,\ldots,u_{s})$ is called an {\em $s$-geodesic} if the distance of $u_0$ and $u_s$ is $s$. The graph $Γ$ is said to be {\em distance transitive} if for any vertices $u,v,x,y$ of $\Ga$ such that $d_\Ga(u,v)=d_\Ga(x,y)$, there exists an automorphism of $Γ$ that maps the pair $(u,v)$ to the pair $(x,y)$. Moreover, $Γ$ is said to be {\em geodesic transitive} if for each $i\leq \mathrm{diam}(\Ga)$, the full automorphism group acts transitively on the set of all $i$-geodesics. In the monograph [Distance-Regular Graphs, Section 7.5], the authors listed all distance transitive graphs of valency at most $13$. By using this classification, in this paper, we provide a complete classification of geodesic transitive graphs with valency at most $13$. As a result, there are exactly seven graphs of valency at most $13$ that are distance transitive but not geodesic transitive.