REVIEW 1 major objections 5 minor 1 cited by
Multiset Metric Dimension of Binomial Random Graphs
T0 review · 1 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash
Pith's one-line read This paper proves explicit power-law bounds for the multiset metric dimension of $G(n,p)$: at most $n^{y_4+o(1)}$ for $x\le 1/8$, at least $n^{y_1+o(1)}$ for $x\le 1/2$, and infinite for $x>1/2$.
desk verdict First bounds for the multiset metric dimension of G(n,p), but the upper bound at reciprocal points relies on an unproved extension of a cited expansion lemma. 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 argument is carried by a typical expansion profile for spheres in $G(n,p)$ (Lemma 2.1, taken from the literature): with high probability $|S_i(V')|=(1+o(1))|V'|d^i$ for $i\le i^*$, and the top shell has size roughly $(1-e^{-|V'|c})n$. The upper bound combines this profile with a random subset $R$ chosen with probability $r/n$: for a fixed pair $v,w$, the shell-intersection counts $|S_i^R(v)\setminus S_i(w)|$ and $|S_i^R(w)\setminus S_i(v)|$ are conditionally binomial with mean $\Theta(d^i r/n)$, and the maximum point mass of a binomial variable bounds the chance that the two coincide. Multiplying these failure probabilities over levels produces exactly $n^{-f_x(y)/2+o(1)}$. The lower bound counts signatures: for any $R$ of size $n^y$, a typical vertex has at most $n^{f_x(y)+o(1)}$ possible multiset signatures, so if $f_x(y)<1$ two vertices must collide.
What would settle it
Simulate $G(n,p)$ at, say, $n=10^6$ and $d=n^{1/8}$; for every pair $(v,w)$ compute $|S_{i^*+1}(w)\setminus N_{i^*+1}(v)|$ and compare it with $(1+o(1))e^{-c}(1-e^{-c})n$. Finding one pair whose shell size deviates by more than a small multiple of the predicted value would violate the expansion lemma and remove the basis for the upper bound. Alternatively, compute $\beta_{\mathrm{ms}}$ exactly for small $n$ and check whether it ever exceeds the $n^{y_4}$ bound in the stated regime.
Extended reading notes
Core claim
The central claim, stated as Theorem 1.4, is that with high probability the multiset metric dimension of $G(n,p)$ obeys $\beta_{\mathrm{ms}}(G(n,p))\le n^{y_4+O(\log^{-1}n)}$ for $x\le 1/8$, $\beta_{\mathrm{ms}}(G(n,p))\ge n^{y_1+O(\log^{-1}n)}$ for $x\le 1/2$, and $\beta_{\mathrm{ms}}(G(n,p))=\infty$ for $x>1/2$, where $d=(n-1)p=n^{x+O(\log^{-1}n)}$ and $y_4,y_1$ are the unique solutions in $(0,1)$ of $f_x(y)=4$ and $f_x(y)=1$. The upper bound is proved by sampling a random set $R$ of size roughly $n^y$ and showing that with probability $1-o(n^{-2})$ it distinguishes any fixed pair of vertices; the lower bound counts the number of distinct multiset signatures available to a set of size $n^y$ and shows it is too small once $f_x(y)<1$.
Load-bearing premise
The load-bearing premise is the quoted expansion lemma asserting that every shell of $G(n,p)$ has its predicted size for all pairs of vertices at every level up to the top; the paper notes that only a 'mild extension' is supplied for the top level, and if that extension fails the upper-bound construction cannot control the final coordinate of the multiset signature.
Editorial extensions
If this is right
- For any fixed $x\le 1/8$, random graphs with average degree $\Theta(n^x)$ have a multiset resolving set of size $O(n^{y_4(x)})$ with high probability; since the diameter is $O(1/x)$, this gives an embedding of the graph into $\mathbb{R}^{O(1/x)}$ using multiset distances.
- For any fixed $x\le 1/2$, every multiset resolving set of such a graph has size $\Omega(n^{y_1(x)})$ with high probability.
- When $x>1/2$, the graph has diameter 2 with high probability, and the paper invokes the known fact that non-path diameter-2 graphs have no finite multiset resolving set, so $\beta_{\mathrm{ms}}(G(n,p))=\infty$.
- The upper-bound proof depends only on the expansion profile, so the authors observe that it extends from $d=n^{x+o(1)}$ to the full regime $d=\omega(\log n)$.
- The two bounds leave a polynomial gap and leave open whether $\beta_{\mathrm{ms}}(G(n,p))$ is finite for $1/8<x\le 1/2$.
Reading between the lines
- If the quoted expansion lemma holds as stated, the upper-bound construction should transfer to every average degree $d=\omega(\log n)$, not just $d=n^{x+o(1)}$, yielding finite resolving sets in a much wider sparse regime than Theorem 1.4 states.
- The zig-zag behaviour of $y_1$ and $y_4$ at $x=1/k$ suggests that any eventual sharp exponent for $\beta_{\mathrm{ms}}(G(n,p))$ will also jump at reciprocal integers, tracking the drop in diameter from $k+1$ to $k$.
- The same signature-counting method could be adapted to other random graph models with known shell profiles, such as random geometric graphs, to produce analogous multiset-dimension exponents.
- Comparing $\beta_{\mathrm{ms}}$ with the already studied metric dimension of random graphs would quantify how much locating power is lost when ordered distance vectors are collapsed to multisets.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the multiset metric dimension β_ms(G(n,p)) of the binomial random graph in the regime d=(n-1)p=n^{x+O(log^{-1} n)} for fixed x∈(0,1). The main result, Theorem 1.4, states that w.h.p. β_ms(G(n,p)) ≤ n^{y4+O(log^{-1} n)} for x∈(0,1/8], β_ms(G(n,p)) ≥ n^{y1+O(log^{-1} n)} for x∈(0,1/2], and β_ms(G(n,p))=∞ for x>1/2, where y4 and y1 are the unique solutions to f_x(y)=4 and f_x(y)=1, respectively, with f_x(y)=∑_{i=0}^{⌊1/x⌋} max{ix+y-1,0}. The upper bound is proved by a probabilistic construction of a resolving set using a random subset R of size about n^y, combined with a union bound over vertex pairs; the lower bound uses a counting argument over possible multiset signatures of 'typical' vertices, under the assumption that the diameter is known and that the graph satisfies a typical expansion profile V.
Significance. If the result is correct, it provides the first bounds for the multiset metric dimension of binomial random graphs, with explicit, computable exponents that are derived from the analysis rather than fitted to simulations. The paper also clearly identifies the gap between the lower and upper bounds, states the open problem of finiteness for 1/8<x≤1/2, and gives a concrete motivation via low-dimensional embeddings. The authors are transparent about the reliance on an extension of a known expansion lemma, which is a significant weakness. The central proof strategy is standard and largely coherent, and the numerical values for y1 at small reciprocal points are a useful concrete illustration.
major comments (1)
- [Section 2, Corollary 2.2 and proof of Theorem 3.1 (x=1/k case)] The upper bound at reciprocal points x=1/k with k≥8 rests on the estimate |S_{i*+1}(w)\setminus N_{i*+1}(v)| = Θ(n) for every pair v,w, which is stated as Corollary 2.2(iv). This is precisely the 'mild extension' of [18, Lemma 5.3] that the paper flags but neither states nor proves. The estimate is load-bearing: in stage i*+1 of the proof, the failure probability is bounded by O(n^{-y/2}) only because the binomial has s_{i*+1}=Θ(n) trials; if only the trivial bound s_{i*+1}≤n is available, the product of the coordinate-wise failure probabilities at y=y4 becomes n^{-(4-y4)/2}, which is far larger than n^{-2}, so the union bound over all pairs fails. The same unproved extension underlies Corollary 2.2(iii), which is used in the lower bound for x=1/k to control i-atypical vertices at i=k. The authors should supply a precise statement and a proof of the needed extension (or a complete reference that covers it) before the stated upper and lower bounds can be considered established for x=1/k.
minor comments (5)
- [Section 1.4, Lemma 1.3] The proof that f_x(1)>4 for x≤1/8 uses the inequality (⌊1/x⌋+1)⌊1/x⌋·x/2 > (1/x)^2/2, which is false in general; for example, at x=0.112 the left side is about 4.03 and the right side about 39.9. The lemma is nevertheless true, since for m=⌊1/x⌋≥8 we have f_x(1)=m(m+1)x/2 > m/2 ≥ 4, but the written derivation should be corrected.
- [Section 1.4 and Section 3] The proofs of Lemma 1.1 and Lemma 3.2 are omitted. Both are elementary, but the paper should either include the short derivations or provide a precise reference; omitting them is unnecessary in a formal paper.
- [Proof of Theorem 3.1, x=1/k case] The expression Pr(m_R(v)=m_R(w) | V') uses an undefined event V'; this should presumably be V, the expansion event defined in Section 2.
- [Proof of Theorem 3.1, stage 0] The sentence 'We condition on neither vertex being in r' should read 'in R'; the symbol r is used for the parameter n^y, not for the random set.
- [Section 5] There is a typo: 'muiltiset' should be 'multiset' in the concluding paragraph.
Circularity Check
No significant circularity: the y1/y4 exponents are derived from the proof's own union-bound and signature-counting estimates, and the flagged 'mild extension' of the expansion lemma is a rigor gap, not a circular step.
full rationale
The exponents y4 and y1 are not fitted inputs; they are solved from conditions that the analysis itself generates. For the upper bound, the authors bound, stage by stage, the probability that a random set R fails to distinguish a fixed pair v,w by products of binomial probability maxima of order n^{-(1/2)max{ix+y-1,0}}. Summing these exponents gives the function f_x(y), and y4 is defined by the equation f_x(y)=4 so that the union bound over all pairs closes. For the lower bound, the counting argument shows that typical vertices have at most n^{f_x(y)+o(1)} possible multiset signatures with respect to a candidate resolving set of size n^y; y1 is defined by f_x(y)=1 so that this count is less than 0.49n, forcing a collision by pigeonhole. Thus both threshold exponents are derived from the proof's own failure-probability and counting estimates, not assumed from data or relabeled as predictions. The central external input is Lemma 2.1, the typical expansion profile of G(n,p), quoted from [3] and [18]; although [3] includes a present co-author, the lemma is a published, independently stated result about shell sizes and is not equivalent to the multiset-metric-dimension conclusion. The paper itself flags a limitation in Section 2: for the level i*+1 case, it says 'a mild extension is required' of [18, Lemma 5.3]. This unproved extension is used in Corollary 2.2(iv) and in the reciprocal-x case of Theorem 3.1, making the upper bound at x=1/k conditional on that external fact. This is a correctness or completeness risk, not circularity, because the required shell-size estimate is an input condition rather than a restatement of the target theorem. The omitted proofs of Lemmas 1.1 and 3.2 are elementary and not load-bearing. No step in the paper reduces, by construction or by self-citation, to its own inputs; therefore the appropriate circularity score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption Typical expansion property V holds w.h.p. for d=ω(log n) (Lemma 2.1)
- standard math Diameter of G(n,p) satisfies the conditions of Lemma 4.1 (from [2, Corollary 10.12])
- standard math Chernoff bounds and Stirling's approximation
Cite this review
Pith. "Pith review of Multiset Metric Dimension of Binomial Random Graphs." pith.science (2026). https://pith.science/paper/6ZI2FSDH
@misc{pith2026250711686,
author = {Pith},
title = {Pith review of: Multiset Metric Dimension of Binomial Random Graphs},
year = {2026},
howpublished = {\url{https://pith.science/paper/6ZI2FSDH}},
note = {Machine review of arXiv:2507.11686}
}
abstract
For a graph $G = (V,E)$ and a subset $R \subseteq V$, we say that $R$ is \textit{multiset resolving} for $G$ if for every pair of vertices $v,w$, the \textit{multisets} $\{d(v,r): r \in R\}$ and $\{d(w,r):r \in R\}$ are distinct, where $d(x,y)$ is the graph distance between vertices $x$ and $y$. The \textit{multiset metric dimension} of $G$ is the size of a smallest set $R \subseteq V$ that is multiset resolving (or $\infty$ if no such set exists). This graph parameter was introduced by Simanjuntak, Siagian, and Vitr\'{i}k in 2017~\cite{simanjuntak2017multiset}, and has since been studied for a variety of graph families. We prove bounds which hold with high probability for the multiset metric dimension of the binomial random graph $G(n,p)$ in the regime $d = (n-1)p = \Theta(n^{x})$ for fixed $x \in (0,1)$.
Figures
Forward citations
Cited by 1 Pith paper
-
Multiset resolvability parameters in graphs: A survey with new results and open problems
Multiset resolvability parameters are surveyed; sharp outer-multiset lower bounds for diameter-two and join graphs are proved, and block graphs with local multiset dimension two are characterized.
Reference graph
Works this paper leans on
-
[18]
Sequential metric dimension for random graphs
Gergely Odor and Patrick Thiran. Sequential metric dimension for random graphs. Journal of Applied Probability , 58(4):909–951, 2021
work page 2021
-
[1]
A note on multiset dimension and local multiset dimension of graphs
Ridho Alfarisi, Yuqing Lin, Joe Ryan, Dafik Dafik, and Ika Hesti Agustin. A note on multiset dimension and local multiset dimension of graphs. Statistics, Optimization & Information Computing , 8(4):890–901, 2020
work page 2020
- [2]
-
[3]
Metric dimension for random graphs
B´ ela Bollob´ as, Dieter Mitsche, and Pawe l Pra lat. Metric dimension for random graphs. The Electronic Journal of Combinatorics , 20(4):P52, 2013
work page 2013
-
[4]
Some properties of the multiset dimension of graphs
Novi H Bong and Yuqing Lin. Some properties of the multiset dimension of graphs. Electron. J. Graph Theory Appl. , 9(1):215–221, 2021
work page 2021
-
[5]
The Metric Dimension of Sparse Random Graphs
Josep D ´ ıaz, Harrison Hartle, and Cristopher Moore. The metric dimension of sparse random graphs. arXiv preprint arXiv:2504.21244 , 2025
work page Pith review arXiv 2025
-
[6]
Local- ization game for random graphs
Andrzej Dudek, Sean English, Alan Frieze, Calum MacRury, and Pawe l Pra lat. Local- ization game for random graphs. Discrete Applied Mathematics , 309:202–214, 2022
work page 2022
-
[7]
A note on the localization number of random graphs: diameter two case
Andrzej Dudek, Alan Frieze, and Wesley Pegden. A note on the localization number of random graphs: diameter two case. Discrete Applied Mathematics , 254:107–112, 2019
work page 2019
Show all 23 references
-
[8]
An introduction to probability theory and its applications , volume 1
William Feller. An introduction to probability theory and its applications , volume 1. Wiley Series in Probability and Mathematical Statistics, 1957
1957
-
[9]
Cambridge University Press, 2016
Alan Frieze and Micha l Karo´ nski.Introduction to random graphs. Cambridge University Press, 2016. 14
2016
-
[10]
Distance-based vertex identification in graphs: The outer multiset dimension
Reynaldo Gil-Pons, Yunior Ram ´ ırez-Cruz, Rolando Trujillo-Rasua, and Ismael G Yero. Distance-based vertex identification in graphs: The outer multiset dimension. Applied Mathematics and Computation , 363:124612, 2019
2019
-
[11]
Complexity and equivalency of multiset dimension and id-colorings
Anni Hakanen and Ismael G Yero. Complexity and equivalency of multiset dimension and id-colorings. Fundamenta Informaticae, 191(3-4):315–330, 2024
2024
-
[12]
Harary and R.A
F. Harary and R.A. Melter. The metric dimension of a graph. Ars Combinatoria , 2:191–195, 1976
1976
-
[13]
John Wiley & Sons, 2011
Svante Janson, Tomasz Luczak, and Andrzej Ruci´ nski.Random graphs. John Wiley & Sons, 2011
2011
-
[14]
Further contributions on the outer multiset dimension of graphs
Sandi Klavˇ zar, Dorota Kuziak, and Ismael G Yero. Further contributions on the outer multiset dimension of graphs. Results in Mathematics , 78(2):50, 2023
2023
-
[15]
Localization game for random geo- metric graphs
Lyuben Lichev, Dieter Mitsche, and Pawe l Pra lat. Localization game for random geo- metric graphs. European Journal of Combinatorics , 108:103616, 2023
2023
-
[16]
On the limiting distribution of the metric dimension for random forests
Dieter Mitsche and Juanjo Ru´ e. On the limiting distribution of the metric dimension for random forests. European Journal of Combinatorics , 49:68–89, 2015
2015
-
[17]
The role of adaptivity in source identification with time queries
Gergely Odor. The role of adaptivity in source identification with time queries. Technical report, EPFL, 2022
2022
-
[19]
The multiset dimension of graphs
Rinovia Simanjuntak, Presli Siagian, and Tomas Vetrik. The multiset dimension of graphs. arXiv preprint arXiv:1711.00225 , 2017
2017 arXiv
-
[20]
P. Slater. Leaves of trees. Congressus Numerantium, 14:549–559, 1975
1975
-
[21]
Getting the lay of the land in discrete space: A survey of metric dimension and its applications
Richard C Tillquist, Rafael M Frongillo, and Manuel E Lladser. Getting the lay of the land in discrete space: A survey of metric dimension and its applications. SIAM Review, 65(4):919–962, 2023
2023
-
[22]
Low-dimensional representation of genomic sequences
Richard C Tillquist and Manuel E Lladser. Low-dimensional representation of genomic sequences. Journal of mathematical biology , 79(1):1–29, 2019
2019
-
[23]
Multilateration of random networks with community structure
Richard D Tillquist and Manuel E Lladser. Multilateration of random networks with community structure. arXiv preprint arXiv:1911.01521 , 2019. 15
1911 arXiv
Reviewed August 6, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.