arXiv++ Combinatorics

Betweenness centrality is a centrality measure based on the overall amount of shortest paths passing through a given vertex. A graph is betweenness-uniform if all its vertices have the same betweenness centrality. We study the properties of betweenness-uniform graphs. In particular, we show that every connected betweenness-uniform graph is either a cycle or a $3$-connected graph. Also, we show that betweenness uniform graphs of high maximal degree have small diameter.

The metric dimension, $\dim(G)$, and the fractional metric dimension, $\dim_f(G)$, of a graph $G$ have been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. Let $k$ be a positive integer. For any $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A set $S \subseteq V(G)$ is a \emph{$k$-truncated resolving set} of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any distinct $x,y\in V(G)$, and the \emph{$k$-truncated metric dimension} $\dim_k(G)$ of $G$ is the minimum cardinality over all $k$-truncated resolving sets of $G$. For a function $g$ defined on $V(G)$ and for $U \subseteq V(G)$, let $g(U)=\sum_{s\in U}g(s)$. A real-valued function $g:V(G) \rightarrow[0,1]$ is a \emph{$k$-truncated resolving function} of $G$ if $g(R_k\{x,y\}) \ge 1$ for any distinct $x, y\in V(G)$, and the \emph{fractional $k$-truncated metric dimension} $\dim_{k,f}(G)$ of $G$ is $\min\{g(V(G)): g \mbox{ is a $k$-truncated resolving function of }G\}$. Note that $\dim_{k,f}(G)$ reduces to $\dim_k(G)$ if the codomain of $k$-truncated resolving functions is restricted to $\{0,1\}$, and $\dim_{k,f}(G)=\dim_f(G)$ if $k$ is at least the diameter of $G$. In this paper, we study the fractional $k$-truncated metric dimension of graphs. For any connected graph $G$ of order $n\ge2$, we show that $1 \le \dim_{k,f}(G) \le \frac{n}{2}$; we characterize $G$ satisfying $\dim_{k,f}(G)$ equals $1$ and $\frac{n}{2}$, respectively. We examine $\dim_{k,f}(G)$ of some graph classes. We also show the existence of non-isomorphic graphs $G$ and $H$ such that $\dim_k(G)=\dim_k(H)$ and $\dim_{k,f}(G)\neq \dim_{k,f}(H)$, and we examine the relation among $\dim(G)$, $\dim_f(G)$, $\dim_k(G)$ and $\dim_{k,f}(G)$. We conclude the paper with some open problems.

In this paper we consider $m$ ($m \geq 1$)conjunctions of Max-atoms that is atoms of the form $\max(z,y) + r \geq x$, where the offset $r$ is a real constant and $x,y,z$ are variables. We show that the Max-atom problem (MAP) belongs to $\textsf{P}$. Indeed, we provide an algorithm which solves the MAP in $O(n^{6} m^{2} + n^{4} m^{3} + n^{2} m^{4})$ operations, where $n$ is the number of variables which compose the max-atoms. As a by-product other problems also known to be in $\textsf{NP} \cap \textsf{co-NP}$ are in $\textsf{P}$. P1: the problem to know if a tropical cone is trivial or not. P2: problem of tropical rank of a tropical matrix. P3: parity game problem. P4: scheduling problem with AND/OR precedence constraints. P5: problem on hypergraph (shortest path). P6: problem in model checking and $μ$-calculus.

The metric dimension, $\dim(G)$, of a graph $G$ is a graph parameter motivated by robot navigation that has been studied extensively. Let $G$ be a graph with vertex set $V(G)$, and let $d(x,y)$ denote the length of a shortest $x-y$ path in $G$. For a positive integer $k$ and for distinct $x,y \in V(G)$, let $d_k(x,y)=\min\{d(x,y), k+1\}$ and let $R_k\{x,y\}=\{z\in V(G): d_k(x,z) \neq d_k(y,z)\}$. A subset $S\subseteq V(G)$ is a distance-$k$ resolving set of $G$ if $|S \cap R_k\{x,y\}| \ge 1$ for any pair of distinct $x,y \in V(G)$, and the distance-$k$ dimension, $\dim_k(G)$, of $G$ is the minimum cardinality over all distance-$k$ resolving sets of $G$. In this paper, we study the distance-$k$ dimension of graphs. We obtain some general bounds for distance-$k$ dimension. For all $k \ge 1$, we characterize connected graphs $G$ of order $n$ with $\dim_k(G) \ge n-2$. We determine $\dim_k(G)$ when $G$ is a cycle or a path. We also examine the effect of vertex or edge deletion on the distance-$k$ dimension of graphs.

Betweenness centrality is a measure of the importance of a vertex x inside a network based on the fraction of shortest paths passing through x. We study a blow-up construction that has been shown to produce graphs with uniform distribution of betweenness. We disprove the conjecture about this procedure's universality by showing that trees with a diameter at least three cannot be transformed into betweenness-uniform by the blow-up construction. It remains open to characterize graphs for which the blow-up construction can produce betweenness-uniform graphs.

We define a so-called square $k$-zig-zag shape as a part of the regular square grid. Considering the shape as a $k$-zig-zag digraph, we give values of its vertices according to the number of the shortest paths from a base vertex. It provides several integer sequences, whose higher-order homogeneous recurrences are determined by the help of a special matrix recurrence.

The quantum alcove model associated to a dominant weight plays an important role in many branches of mathematics, such as combinatorial representation theory, the theory of Macdonald polynomials, and Schubert calculus. For a dominant weight, it is proved by Lenart-Lubovsky that the quantum alcove model does not depend on the choice of a reduced alcove path, which is a shortest path of alcoves from the fundamental one to its translation by the given dominant weight. This is established through quantum Yang-Baxter moves, which biject the objects of the model associated with two such alcove paths, and can be viewed as a generalization of jeu de taquin slides to arbitrary root systems. The purpose of this paper is to give a generalization of quantum Yang-Baxter moves to the quantum alcove model corresponding to an arbitrary weight, which was used to express a general Chevalley formula in the equivariant $K$-group of semi-infinite flag manifolds. The generalized quantum Yang-Baxter moves give rise to a "sijection" (bijection between signed sets), and are shown to preserve certain important statistics, including weights and heights. As an application, we prove that the generating function of these statistics does not depend on the choice of a reduced alcove path. Also, we obtain an identity for the graded characters of Demazure submodules of level-zero extremal weight modules over a quantum affine algebra, which can be thought of as a representation-theoretic analogue of the mentioned Chevalley formula. Other applications and some open problems involving "signed crystals" are discussed.

Let $G=(V,E)$ be a graph and $P\subseteq V$ a set of points. Two points are mutually visible if there is a shortest path between them without further points. $P$ is a mutual-visibility set if its points are pairwise mutually visible. The mutual-visibility number of $G$ is the size of any largest mutual-visibility set. In this paper we start the study about this new invariant and the mutual-visibility sets in undirected graphs. We introduce the mutual-visibility problem which asks to find a mutual-visibility set with a size larger than a given number. We show that this problem is NP-complete, whereas, to check whether a given set of points is a mutual-visibility set is solvable in polynomial time. Then we study mutual-visibility sets and mutual-visibility numbers on special classes of graphs, such as block graphs, trees, grids, tori, complete bipartite graphs, cographs. We also provide some relations of the mutual-visibility number of a graph with other invariants.

The metric dimension of a graph is the smallest number of nodes required to identify all other nodes based on shortest path distances uniquely. Applications of metric dimension include discovering the source of a spread in a network, canonically labeling graphs, and embedding symbolic data in low-dimensional Euclidean spaces. This survey gives a self-contained introduction to metric dimension and an overview of the quintessential results and applications. We discuss methods for approximating the metric dimension of general graphs, and specific bounds and asymptotic behavior for deterministic and random families of graphs. We conclude with related concepts and directions for future work.

The k-distance strong shortest path union cover of a graph is the minimum cardinality among all strong shortest path union cover at distance k of G. In this paper we determine the 2-strong shortest path union cover for certain graphs, also we prove that the k-strong shortest path union cover problem, in general, is NP-complete.

A resolving set for a graph $G$ is a set of vertices $Q = \{q_1, ..., q_k\}$ such that, for all $p\in V(G)$ the $k$-tuple $(d(p, q_1), ..., d(p, q_k ))$ uniquely determines $p$, where $d(p, q_i)$ is considered as the minimum length of a shortest path from $p$ to $q_i$ in graph $G$. In this paper, we consider the computational study of some resolving sets with the minimum size for the $m$-cylinder graph $(C_n\Box P_k)\Box P_m$. The Boolean lattice $BL_n$, $n\geq 1$, is the graph whose vertex set is the set of all subsets of $[n]=\{1,2,...,n\}$, where two subsets $X$ and $Y$ are adjacent if their symmetric difference has precisely one element. In the graph $BL_n$, the layer $L_i$ is the family of $i$-subsets of $[n]$. The subgraph $BL_n(i,i+1)$ is the subgraph of $BL_n$ induced by layers $L_i$ and $L_{i+1}$. Usually the graph $BL_n(1,2)$ is denoted by $H(n)$. We study the minimum size of a resolving set, doubly resolving set and strong resolving set for the graph $L(n)$, which is the line graph of $H(n)$.

We describe the homotopy types of Vietoris-Rips complexes of hypercube graphs at small scale parameters. In more detail, let $Q_n$ be the vertex set of the hypercube graph with $2^n$ vertices, equipped with the shortest path metric. Equivalently, $Q_n$ is the set of all binary strings of length $n$, equipped with the Hamming distance. The Vietoris-Rips complex of $Q_n$ at scale parameter zero is $2^n$ points, and the Vietoris-Rips complex of $Q_n$ at scale parameter one is the hypercube graph, which is homotopy equivalent to a wedge sum of circles. We show that the Vietoris-Rips complex of $Q_n$ at scale parameter two is homotopy equivalent to a wedge sum of 3-spheres, and furthermore we provide a formula for the number of 3-spheres. Many questions about the Vietoris-Rips complexes of $Q_n$ at larger scale parameters remain open.

Let $G=(V(G),E(G))$ be a simple graph. A set $S \subseteq V(G)$ is a strong edge geodetic set if there exists an assignment of exactly one shortest path between each pair of vertices from $S$, such that these shortest paths cover all the edges $E(G)$. The cardinality of a smallest strong edge geodetic set is the strong edge geodetic number $\text{sge}(G)$ of $G$. In this paper, the strong edge geodetic problem is studied on the Cartesian product of two paths. The exact value of the strong edge geodetic number is computed for $P_n \, \square \, P_2$, $P_n \, \square \, P_3$ and $P_n \, \square \, P_4$. Some general upper bounds for $\text{sge}(P_n \, \square \, P_m)$ are also proved.

A maximal geodesic in a graph is a geodesic (alias shortest path) which is not a subpath of a longer geodesic. The geodesic-transversal problem in a graph $G$ is introduced as the task to find a smallest set $S$ of vertices of $G$ such that each maximal geodesic has at least one vertex in $S$. The minimum cardinality of such a set is the geodesic-transversal number ${\rm gt}(G)$ of $G$. It is proved that ${\rm gt}(G) = 1$ if and only if $G$ is a subdivided star and that the geodesic-transversal problem is NP-complete. Fast algorithms to determine the geodesic-transversal number of trees and of spread cactus graphs are designed, respectively.

Given a connected graph $G=(V(G), E(G))$, the length of a shortest path from a vertex $u$ to a vertex $v$ is denoted by $d(u,v)$. For a proper subset $W$ of $V(G)$, let $m(W)$ be the maximum value of $d(u,v)$ as $u$ ranging over $W$ and $v$ ranging over $V(G)\setminus W$. The proper subset $W=\{w_1,\ldots,w_{|W|}\}$ is a {\em completeness-resolving set} of $G$ if $$ Ψ_W: V(G)\setminus W \longrightarrow [m(W)]^{|W|},\qquad u\longmapsto (d(w_1,u),\ldots,d(w_{|W|},u)) $$ is a bijection, where $$ [m(W)]^{|W|}=\{(a_{(1)},\ldots,a_{(|W|)})\mid 1\leq a_{(i)}\leq m(W)\text{ for each }i=1,\ldots,|W|\}. $$ A graph is {\em completeness-resolvable} if it admits a completeness-resolving set. In this paper, we first construct the set of all completeness-resolvable graphs by using the edge coverings of some vertices in given bipartite graphs, and then establish posets on some subsets of this set by the spanning subgraph relationship. Based on each poset, we find the maximum graph and give the lower and upper bounds for the number of edges in a minimal graph. Furthermore, minimal graphs satisfying the lower or upper bound are characterized.

Scale-free networks are prevalently observed in a great variety of complex systems, which triggers various researches relevant to networked models of such type. In this work, we propose a family of growth tree networks $\mathcal{T}_{t}$, which turn out to be scale-free, in an iterative manner. As opposed to most of published tree models with scale-free feature, our tree networks have the power-law exponent $γ=1+\ln5/\ln2$ that is obviously larger than $3$. At the same time, "small-world" property can not be found particularly because models $\mathcal{T}_{t}$ have an ultra-large diameter $D_{t}$ (i.e., $D_{t}\sim|\mathcal{T}_{t}|^{\ln3/\ln5}$) and a greater average shortest path length $\langle\mathcal{W}_{t}\rangle$ (namely, $\langle\mathcal{W}_{t}\rangle\sim|\mathcal{T}_{t}|^{\ln3/\ln5}$) where $|\mathcal{T}_{t}|$ represents vertex number. Next, we determine Pearson correlation coefficient and verify that networks $\mathcal{T}_{t}$ display disassortative mixing structure. In addition, we study random walks on tree networks $\mathcal{T}_{t}$ and derive exact solution to mean hitting time $\langle\mathcal{H}_{t}\rangle$. The results suggest that the analytic formula for quantity $\langle\mathcal{H}_{t}\rangle$ as a function of vertex number $|\mathcal{T}_{t}|$ shows a power-law form, i.e., $\langle\mathcal{H}_{t}\rangle\sim|\mathcal{T}_{t}|^{1+\ln3/\ln5}$. Accordingly, we execute extensive experimental simulations, and demonstrate that empirical analysis is in strong agreement with theoretical results. Lastly, we provide a guide to extend the proposed iterative manner in order to generate more general scale-free tree networks with large diameter.

The general position problem in graph theory asks for the largest set $S$ of vertices of a graph $G$ such that no shortest path of $G$ contains more than two vertices of $S$. In this paper we consider a variant of the general position problem called the \emph{monophonic position problem}, obtained by replacing `shortest path' by `induced path'. We prove some basic properties and bounds for the monophonic position number of a graph and determine the monophonic position number of some graph families, including unicyclic graphs, complements of bipartite graphs and split graphs. We show that the monophonic position number of triangle-free graphs is bounded above by the independence number. We present realisation results for the general position number, monophonic position number and monophonic hull number. Finally we discuss the complexity of the monophonic position problem.

Let $G = K_{n_1,n_2,\cdots,n_t}$ be a complete $t$-partite graph on $n=\sum_{i=1}^t n_i$ vertices. The distance between vertices $i$ and $j$ in $G$, denoted by $d_{ij}$ is defined to be the length of the shortest path between $i$ and $j$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. We define the squared distance energy $E_Δ(G)$ of $G$ to be the sum of the absolute values of its eigenvalues. We determine the inertia of $Δ(G)$ and compute the squared distance energy $E_Δ(G)$. More precisely, we prove that if $n_i \geq 2$ for $1\leq i \leq t$, then $ E_Δ(G)=8(n-t)$ and if $ h= |\{i : n_i=1\}|\geq 1$, then $$ 8(n-t)+2(h-1) \leq E_Δ(G) < 8(n-t)+2h.$$ Furthermore, we show that for a fixed value of $n$ and $t$, both the spectral radius of the squared distance matrix and the squared distance energy of complete $t$-partite graphs on $n$ vertices are maximal for complete split graph $S_{n,t}$ and minimal for Tur{á}n graph $T_{n,t}$.

The asymptotic dimension is an invariant of metric spaces introduced by Gromov in the context of geometric group theory. In this paper, we study the asymptotic dimension of metric spaces generated by graphs and their shortest path metric and show their applications to some continuous spaces. The asymptotic dimension of such graph metrics can be seen as a large scale generalisation of weak diameter network decomposition which has been extensively studied in computer science. We prove that every proper minor-closed family of graphs has asymptotic dimension at most 2, which gives optimal answers to a question of Fujiwara and Papasoglu and (in a strong form) to a problem raised by Ostrovskii and Rosenthal on minor excluded groups. For some special minor-closed families, such as the class of graphs embeddable in a surface of bounded Euler genus, we prove a stronger result and apply this to show that complete Riemannian surfaces have Assouad-Nagata dimension at most 2. Furthermore, our techniques allow us to prove optimal results for the asymptotic dimension of graphs of bounded layered treewidth and graphs of polynomial growth, which are graph classes that are defined by purely combinatorial notions and properly contain graph classes with some natural topological and geometric flavours.

We introduce a new graph-theoretic concept in the area of network monitoring. A set $M$ of vertices of a graph $G$ is a \emph{distance-edge-monitoring set} if for every edge $e$ of $G$, there is a vertex $x$ of $M$ and a vertex $y$ of $G$ such that $e$ belongs to all shortest paths between $x$ and $y$. We denote by $dem(G)$ the smallest size of such a set in $G$. The vertices of $M$ represent distance probes in a network modeled by $G$; when the edge $e$ fails, the distance from $x$ to $y$ increases, and thus we are able to detect the failure. It turns out that not only we can detect it, but we can even correctly locate the failing edge. In this paper, we initiate the study of this new concept. We show that for a nontrivial connected graph $G$ of order $n$, $1\leq dem(G)\leq n-1$ with $dem(G)=1$ if and only if $G$ is a tree, and $dem(G)=n-1$ if and only if it is a complete graph. We compute the exact value of $dem$ for grids, hypercubes, and complete bipartite graphs. Then, we relate $dem$ to other standard graph parameters. We show that $demG)$ is lower-bounded by the arboricity of the graph, and upper-bounded by its vertex cover number. It is also upper-bounded by twice its feedback edge set number. Moreover, we characterize connected graphs $G$ with $dem(G)=2$. Then, we show that determining $dem(G)$ for an input graph $G$ is an NP-complete problem, even for apex graphs. There exists a polynomial-time logarithmic-factor approximation algorithm, however it is NP-hard to compute an asymptotically better approximation, even for bipartite graphs of small diameter and for bipartite subcubic graphs. For such instances, the problem is also unlikey to be fixed parameter tractable when parameterized by the solution size.