REVIEW 2 major objections 5 minor 25 references
Fault tolerance for metric dimension and its variants
T0 review · 2 major / 5 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read Fault-tolerant metric dimension grows exponentially with base 3, not 2 or 5, in the worst case.
desk verdict The paper settles the exponential base for fault-tolerant metric dimension (it's 3) and proves a clean equivalence with the Erdős–Kleitman problem; the gaps are presentational, not mathematical. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The upper bound is carried by the closed-neighborhood enlargement of a resolving set: from any resolving set $S$, take $S$ together with all neighbors of vertices in $S$, then add one extra vertex for each landmark to repair the single unresolved pair that can remain; the bound that a landmark in a resolving set of size $k$ has at most $3^{k-1}$ neighbors controls the total size. The matching lower bound is carried by the family $J_k$: a star $K_{1,3^k}$ whose leaves are labeled by distinct ternary strings of length $k$, plus vertices $s_i,r_i$ that read the $i$-th ternary digit. In $J_k$, two leaves whose labels agree except in the first digit (0 versus 1) are distinguished only by themselves and by $s_1$, which forces any fault-tolerant resolving set to spend one vertex on almost every one of the $3^{k-1}$ digit classes.
What would settle it
Compute the exact fault-tolerant metric dimension of $J_4$, the graph with $3^4$ leaves minus 5 plus the added $s_i,r_i$ vertices. The paper predicts $\operatorname{ftdim}(J_4)\ge 3^3-4-1=22$, so a fault-tolerant resolving set of size 21 or less would refute the lower-bound construction. More directly, check whether any vertex other than a pair of leaves with ternary labels $0abc$ and $1abc$ resolves that pair; the proof of Theorem 2.8 asserts that only the two leaves and $s_1$ do.
Extended reading notes
Core claim
The central discovery is that the largest possible fault-tolerant metric dimension among graphs of metric dimension $k$ grows like $3^k$ up to subexponential factors, i.e. $\lim_{k\to\infty}\frac{\log_3(\max_{G:\dim(G)=k}\operatorname{ftdim}(G))}{k}=1$. Toward this limit, the paper proves $\operatorname{ftdim}(G)\le \dim(G)(2+3^{\dim(G)-1})$ for every graph of order greater than 1, improving the long-standing base-5 upper bound, and constructs connected graphs $J_k$ with $\dim(J_k)=k$ and $\operatorname{ftdim}(J_k)\ge 3^{k-1}-k-1$, forcing the matching base-3 lower bound. The same machinery proves the analogous base-2 limit for fault-tolerant edge metric dimension and yields sharp extremal bounds for adjacency dimension and $k$-truncated metric dimension, together with characterizations of when the fault-tolerant values equal 2 or $n$.
Load-bearing premise
The lower-bound construction rests on the assertion that in $J_k$, a pair of leaves whose ternary labels agree except in the first digit (0 and 1) is resolved only by the two leaves themselves and by $s_1$; if any additional vertex also distinguished such a pair, the $3^{k-1}$ lower bound would collapse.
Editorial extensions
If this is right
- For every graph $G$, a fault-tolerant resolving set of size at most $\dim(G)(2+3^{\dim(G)-1})$ always exists, and the exponential base 3 cannot be lowered because the graphs $J_k$ require roughly $3^{k-1}$ vertices in any fault-tolerant resolving set.
- The analogous limit for edge metric dimension holds with base 2: the largest fault-tolerant edge metric dimension among graphs of edge metric dimension $k$ grows like $2^k$.
- For $k$-truncated metric dimension with $k\ge 2$, the fault-tolerance base is again 3; for adjacency dimension, the 1-truncated case, the base is 2.
- In every variant considered, a fault-tolerant resolving set of size 2 exists exactly when the ordinary resolving set has size 1, and the paper gives neighborhood conditions under which the fault-tolerant value equals the order $n$.
- The maximum clique number of a graph of edge metric dimension at most $k$ equals the Erdős–Kleitman function $ek(k)$, so any improvement on $ek(k)$ transfers directly to that extremal graph problem.
Reading between the lines
- The pattern in the paper suggests a general principle: for a metric-dimension variant whose maximum degree grows like $c^k$, the fault-tolerant version should have worst-case exponential base $c$; Section 9 asks exactly when this principle can fail, and the base-5-to-3 correction here shows why the principle needs proof rather than analogy.
- The equivalence with the Erdős–Kleitman problem is two-way: any set family with more than about $(8/3)^{k/6}$ members having distinct pairwise unions would immediately produce edge-metric-dimension-$k$ graphs with larger cliques, and any upper-bound technique for such cliques would transfer back to set families.
- A testable extension is to restrict to trees or bounded-degree graphs: the exponential lower-bound graphs are high-degree stars, so fault-tolerant metric dimension may grow only polynomially in $k$ on trees, and computing it for path and star families would show whether the $3^k$ phenomenon is driven by high degree.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies how large fault-tolerant versions of metric dimension can be relative to the original dimension. For standard metric dimension it proves ftdim(G) ≤ dim(G)(2+3^{dim(G)-1}) and constructs graphs J_k with dim(J_k)=k and ftdim(J_k) ≥ 3^{k-1}-k, yielding the limit lim_{k→∞} max_{G: dim(G)=k} log_3(ftdim(G))/k = 1. Analogous base-2 limits are proved for fault-tolerant edge metric dimension and adjacency dimension, and a base-3 limit is proved for k-truncated metric dimension for k ≥ 2. The paper also characterizes graphs with fault-tolerant dimension 2 or n for several variants, proves sharp degree bounds for vertices in resolving sets, and establishes an equivalence between the maximum clique number of graphs of edge metric dimension at most k and the Erdős–Kleitman problem on families with distinct pairwise unions.
Significance. If the results are correct, the paper closes a real gap by showing that the exponential base of fault-tolerant metric dimension is 3, improving on the previous base-5 upper bound and base-2 lower bound. The edge and adjacency analogues, and the truncated-metric extension, give a coherent picture in which the fault-tolerant exponential base matches the maximum-degree base. The constructive lower bounds are explicit and elementary, and the upper-bound method (closed neighborhood plus a bounded number of added vertices) is simple and likely to be reusable. The equivalence with the Erdős–Kleitman problem is a nice bridge between graph theory and extremal set theory. The paper's reliance on the first author's earlier theorems ([11], [12], [13]) is a standard use of established tools and does not appear circular.
major comments (2)
- [Abstract; Theorem 2.7] The abstract states ftdim(G) ≤ dim(G)(1+3^{dim(G)-1}), but Theorem 2.7 proves only the weaker bound ftdim(G) ≤ dim(G)(2+3^{dim(G)-1}). The extra additive term arises because the proof adds one vertex u_s for each landmark s. Thus the abstract's advertised upper bound is not established by the manuscript, and the statement should be corrected to match the theorem (or the theorem must be strengthened). The asymptotic limit in Corollary 2.9 is unaffected by this correction.
- [Theorem 2.8 proof (also Theorems 3.9 and 4.9)] The proof of Theorem 2.8 concludes that |T − {s1}| ≥ 3^{k-1} − k − 1 and then states the theorem's bound ftdim(J_k) ≥ 3^{k-1} − k. The inference appears to use |T| ≥ |T − {s1}| + 1, which is valid only if s1 ∈ T; the proof does not justify this. If s1 ∉ T, the same counting gives only |T| ≥ |R|. The gap is repairable: exactly one partition cell has size 1 and k−1 cells have size 2, so |R| = 3^{k-1} − k, and if s1 ∉ T then fault-tolerance forces both vertices of each full cell into T. As written, however, the proof is incomplete. The same 'remove the first landmark' issue appears in the proofs of Theorem 3.9 and Theorem 4.9, where it should be handled with the analogous case split.
minor comments (5)
- [Theorem 2.8; Abstract] The statement that J_k is connected with dim(J_k)=k fails for k=1: J_1 is a disjoint union of two edges, and dim(J_1)=2. Since only k ≥ 2 is used for the limits, the theorem should be stated for k ≥ 2 or include a separate treatment of k=1.
- [Theorem 2.8 proof] The sentence about r_i says the distance is 1 to both v and w when the common ith digit is 0 or 1; when the digit is 0, the distance is actually 2 via s_i. This does not affect the conclusion because the distances to v and w remain equal, but it should be corrected.
- [Section 8, Theorem 8.1] In the forward direction of Theorem 8.1, the distance-vector formulas for clique edges and for edges {u_i, v_j} assume every coordinate not in the relevant union has value 2. If an index appears in no subset of the family F, the corresponding vertex u_t is isolated and the coordinate is ∞, not 2. This should be stated; the distinctness argument is unaffected because differences only occur at coordinates belonging to some subset.
- [Theorem 7.4] The proof says that a landmark v has one coordinate equal to 0 and the rest positive; for disconnected graphs the other coordinates may be infinite. The upper bound still holds, but the sentence should allow ∞.
- [Theorem 2.8 proof] The notation is confusing: the proof uses S both for the resolving set {s1,...,sk} and for the set of non-center vertices in the copy of K1,3^k when it writes '|S| = 3^k − k − 1'. Also, in the final paragraph 'T − {u1}' should be 'T − {s1}'.
Circularity Check
No significant circularity: central lower and upper bounds are independent; cited self-results are published lemmas, not definitions of the target quantities.
full rationale
The central derivation is not circular. The upper bound in Theorem 2.7 starts from an arbitrary resolving set S and builds S'' via closed neighborhoods, with the only external size estimate being the published degree bound |N(s)| ≤ 3^{|S|-1} from [12]; this bound is not a restatement of ftdim. The lower bound in Theorem 2.8 introduces a new graph J_k and argues directly that for each full ternary cell only the two vertices themselves and s1 resolve a 0/1 pair, forcing one vertex per cell into any fault-tolerant resolving set; that forcing argument is a structural computation, not a fitted input. The citations [11], [12], and [13] are prior published results used as lemmas, and they do not assume the theorem being proved. The Section 8 equivalence is an explicit two-way bijection between uniquely resolved clique edges and set families with distinct pairwise unions, so it is a genuine translation rather than a renaming of a known result. The same holds for the edge, adjacency, and truncated variants: upper bounds use closed neighborhoods plus published degree bounds, while lower bounds use explicit H_k, A_k, and J_k constructions with direct cell-counting arguments. No fitted parameter is renamed as a prediction, and no uniqueness theorem is imported from the authors' prior work to force a choice. Minor self-citations occur, but they are not load-bearing in the circular sense, so the score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption Maximum degree of a vertex in a graph of metric dimension k is at most 3^k - 1 (Geneson et al. [12]).
- domain assumption Any graph with adjacency dimension k has order at most k + 2^k (Geneson and Yi [13]).
- domain assumption Lemma 7.1 of [12]: For every graph H and positive integer k, there exists a graph of metric dimension k containing H iff D_k contains H.
- domain assumption The graph H_k from [11] satisfies edim(H_k)=k and has vertices in its edge resolving set with degree 2^(k-1).
- standard math Standard graph metric facts: triangle inequality and the identity dist(s,x)=1+min over neighbors x' of s of dist(x',x) for a non-isolated vertex s.
Cite this review
Pith. "Pith review of Fault tolerance for metric dimension and its variants." pith.science (2026). https://pith.science/paper/6BVT7D57
@misc{pith2026250202731,
author = {Pith},
title = {Pith review of: Fault tolerance for metric dimension and its variants},
year = {2026},
howpublished = {\url{https://pith.science/paper/6BVT7D57}},
note = {Machine review of arXiv:2502.02731}
}
abstract
Hernando et al. (2008) introduced the fault-tolerant metric dimension $\text{ftdim}(G)$, which is the size of the smallest resolving set $S$ of a graph $G$ such that $S-\left\{s\right\}$ is also a resolving set of $G$ for every $s \in S$. They found an upper bound $\text{ftdim}(G) \le \dim(G) (1+2 \cdot 5^{\dim(G)-1})$, where $\dim(G)$ denotes the standard metric dimension of $G$. It was unknown whether there exists a family of graphs where $\text{ftdim}(G)$ grows exponentially in terms of $\dim(G)$, until recently when Knor et al. (2024) found a family with $\text{ftdim}(G) = \dim(G)+2^{\dim(G)-1}$ for any possible value of $\dim(G)$. We improve the upper bound on fault-tolerant metric dimension by showing that $\text{ftdim}(G) \le \dim(G)(1+3^{\dim(G)-1})$ for every connected graph $G$. Moreover, we find an infinite family of connected graphs $J_k$ such that $\dim(J_k) = k$ and $\text{ftdim}(J_k) \ge 3^{k-1}-k-1$ for each positive integer $k$. Together, our results show that \[\lim_{k \rightarrow \infty} \left( \max_{G: \text{ } \dim(G) = k} \frac{\log_3(\text{ftdim}(G))}{k} \right) = 1.\] In addition, we consider the fault-tolerant edge metric dimension $\text{ftedim}(G)$ and bound it with respect to the edge metric dimension $\text{edim}(G)$, showing that \[\lim_{k \rightarrow \infty} \left( \max_{G: \text{ } \text{edim}(G) = k} \frac{\log_2(\text{ftedim}(G))}{k} \right) = 1.\] We also obtain sharp extremal bounds on fault-tolerance for adjacency dimension and $k$-truncated metric dimension. Furthermore, we obtain sharp bounds for some other extremal problems about metric dimension and its variants. In particular, we prove an equivalence between an extremal problem about edge metric dimension and an open problem of Erd\H{o}s and Kleitman (1974) in extremal set theory.
Reference graph
Works this paper leans on
-
[11]
Geneson, Metric dimension and pattern avoidance in g raphs
J. Geneson, Metric dimension and pattern avoidance in g raphs. Discrete Applied Math- ematics 284 (2020) 1-7
work page 2020
-
[12]
J. Geneson, S. Kaustav, and A. Labelle. Extremal result s for graphs of bounded metric dimension. Discrete Applied Mathematics 309 (2022) 123-12 9
work page 2022
-
[13]
J. Geneson, E. Yi. Broadcast dimension of graphs. Austr alasian Journal of Combina- torics 83 (2022) 243-264
work page 2022
-
[1]
G. Abrishami, M. A. Henning, M. Tavakoli, Local metric di mension for graphs with small clique numbers, Discrete Math. 345 (2022) Paper 11276 3
work page 2022
-
[2]
Barrag´ an-Ram ´ ırez, J.A
G.A. Barrag´ an-Ram ´ ırez, J.A. Rodr ´ ıguez-Vel´ azquez, The local metric dimension of strong product graphs, Graphs Combin. 32 (2016) 1263–1278
2016
-
[3]
A.F. Beardon, J.A. Rodr ´ ıguez-Vel´ azquez, On the k-metric dimension of metric spaces, Ars Math. Contemp. 16 (2019) 25–38
work page 2019
-
[4]
G. Chartrand, L. Eroh, M.A. Johnson, and O.R. Oellermann , Resolvability in graphs and the metric dimension of a graph, Discrete Applied Mathem atics 105 (2000), no. 1, 99–113
work page 2000
-
[5]
P. Erd˝ os, D.J. Kleitman, Extremal problems among subse ts of a set. Disc. Math. 8 (1974) 281-294
work page 1974
Show all 25 references
-
[6]
Estrada-Moreno, On the (K, T)-Metric Dimension of a Gr aph (Doctoral Thesis), 2016
A. Estrada-Moreno, On the (K, T)-Metric Dimension of a Gr aph (Doctoral Thesis), 2016
2016
-
[7]
Estrada-Moreno, I.G
A. Estrada-Moreno, I.G. Yero, J.A. Rodr ´ ıguez-Vel´ azquez, On the (k, t)-metric dimension of graphs, Comput. J. 64 (2021) 707–720
2021
-
[8]
Estrada-Moreno, J
A. Estrada-Moreno, J. A. Rodr ´ ıguez-Vel´ azquez, I. G. Yero. The k-metric dimension of a graph. Appl. Math. Inf. Sci. 9 (2015) 2829-2840
2015
-
[9]
Fernau, J.A
H. Fernau, J.A. Rodr ´ ıguez-Vel´ azquez, On the (adjacency) metric dimension of corona and strong product graphs and their local variants: combina torial and computational results, Discrete Appl. Math. 236 (2018) 183–202. 24
2018
-
[10]
R. M. Frongillo, J. Geneson, M. E. Lladser, R. C. Tillqui st, E. Yi. Truncated metric dimension for finite graphs. Discret. Appl. Math. 320 (2022) 150-169
2022
-
[14]
Ghalavand, M
A. Ghalavand, M. A. Henning, M. Tavakoli, On a conjectur e about the local metric dimension of graphs, Graphs Combin. 39 (2023) Paper 5
2023
-
[15]
Ghalavand, S
A. Ghalavand, S. Klavˇ zar, X. Li, Interplay between the local metric dimension and the clique number of a graph, arXiv:2412.17074 [math.CO] (2024 )
2024 arXiv
-
[16]
Harary, R.A
F. Harary, R.A. Melter, The metric dimension of a graph, Ars Combin. 2 (1976) 191–195
1976
-
[17]
Hernando, M
M. Hernando, M. Mora, I. Pelayo, C. Seara, and D. Wood. Ex tremal Graph Theory for Metric Dimension and Diameter. Electron. J. Combin. 17 ( 2010) R30
2010
-
[18]
Hernando, M
C. Hernando, M. Mora, P. J. Slater, D. R. Wood, Fault-tol erant metric dimension of graphs, in: Proc. Internat. Conf. Convexity in Discrete S tructures, in: Ramanujan Math. Society Lecture Notes 5 (2008)
2008
-
[19]
Jannesari and B
M. Jannesari and B. Omoomi, The metric dimension of the l exicographic product of graphs. Discrete Math. 312(22) (2012) 3349-3356
2012
-
[20]
Kelenc, N
A. Kelenc, N. Tratnik, and I. Yero. Uniquely identifyin g the edges of a graph: the edge metric dimension. Discrete Appl. Math. 251 (2018) 204-220
2018
-
[21]
Khuller, B
S. Khuller, B. Raghavachari, and A. Rosenfeld. Landmar ks in graphs. Discrete Appl. Math. 70 (1996) 217-229
1996
-
[22]
M. Knor, J. Sedlar, and R. ˇSkrekovski. Fault tolerance of metric basis can be expensiv e. ArXiv preprint 2410.03656
-
[23]
X. Liu, M. Ahsan, Z. Zahid, and S. Ren, Fault-tolerant ed ge metric dimension of certain families of graphs. AIMS Mathematics 6 (2021) 1140-1152
2021
-
[24]
Okamoto, B
F. Okamoto, B. Phinezy, P. Zhang, The local metric dimen sion of a graph, Math. Bohem. 135 (2010) 239–255
2010
-
[25]
Slater, Leaves of trees, Congress
P.J. Slater, Leaves of trees, Congress. Numer. 14 (1975 ) 549–559. 25
1975
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.