---
title: Local Metric Dimension in Graphs
url: https://www.emergentmind.com/topics/local-metric-dimension
type: topic
---

# Local Metric Dimension in Graphs

Local metric dimension is a distance-based graph invariant that asks for the smallest number of vertices needed to distinguish adjacent vertices by their distance profiles. For a connected graph \(G\), a set \(W\subseteq V(G)\) is local resolving if for every adjacent \(u,v\in V(G)\) there exists \(w\in W\) such that \(d_G(u,w)\neq d_G(v,w)\); a minimum such set is a local metric basis, and its cardinality is the local metric dimension, denoted in the literature by \(lmd(G)\), \(\dim_l(G)\), \(\dim_\ell(G)\), or \(\operatorname{ldim}(G)\) [1409.2695]. This invariant is weaker than the classical metric dimension, because only adjacent pairs must be separated, but it remains tightly linked to clique structure, graph products, decomposition methods, integer programming, and fractional relaxations [1309.2275].

## 1. Definitions and foundational relations

The common starting point is the distance function \(d_G\) on a finite, simple, connected graph \(G\). A vertex \(w\) distinguishes \(u\) and \(v\) when
\[
d_G(u,w)\neq d_G(v,w).
\]
A local resolving set requires this only for adjacent pairs, whereas a resolving set for the ordinary metric dimension must distinguish all distinct pairs [1409.2695].

A closely related parameter is the local adjacency metric dimension. A set \(S\subseteq V(G)\) is a local adjacency resolving set if for every pair of adjacent vertices in \(V(G)\setminus S\) there exists a vertex in \(S\) adjacent to exactly one of them; its minimum cardinality is \(\dim_{A,l}(G)\) [2507.13777]. The comparison
\[
\dim_l(G)\leq \dim_{A,l}(G)
\]
is fundamental, because any upper bound on the adjacency-based variant transfers immediately to the local metric dimension [2507.13777].

The principal parameters and their standard relations may be organized as follows.

| Parameter | Meaning |
|---|---|
| \(\dim(G)\) | metric dimension |
| \(\dim_A(G)\) | adjacency dimension |
| \(\dim_l(G)\) | local metric dimension |
| \(\dim_{A,l}(G)\) | local adjacency dimension |

The literature records the inequalities
\[
\dim(G)\leq \dim_A(G),\qquad
\dim_l(G)\leq \dim_{A,l}(G),\qquad
\dim_l(G)\leq \dim(G),\qquad
\dim_{A,l}(G)\leq \dim_A(G)
\]
[1309.2275]. For a non-trivial connected graph of order \(n\), one also has
\[
1 \le lmd(G)\le \beta(G)\le n-1,
\]
where \(\beta(G)\) denotes the metric dimension [1409.2695].

This hierarchy clarifies a common source of confusion: local metric dimension is not a merely notational variant of metric dimension. It is strictly weaker, because it addresses only adjacency-level distinguishability. It is also distinct from strong metric dimension, where a vertex \(w\) strongly resolves \(u,v\) if
\[
d(v,w)=d(v,u)+d(u,w)\quad\text{or}\quad d(u,w)=d(u,v)+d(v,w),
\]
and from fault-tolerant metric dimension, where a resolving set must remain resolving after removal of any one of its elements [1409.2695].

## 2. Extremal values and clique-sensitive structure

Several extremal characterizations recur across the literature. For a connected graph \(G\), the local metric dimension satisfies
\[
\dim_l(G)=1 \iff G \text{ is bipartite},
\]
\[
\dim_l(G)=n(G)-1 \iff G\cong K_{n(G)},
\]
and
\[
\dim_l(G)=n(G)-2 \iff \omega(G)=n(G)-1,
\]
where \(\omega(G)\) is the clique number [2507.13752]. These facts already show that clique structure is not peripheral: it controls both maximality and near-maximality.

A lower bound recalled in recent clique-number papers is
\[
\dim_l(G)\ge \max\left\{\left\lceil \log_2 \omega(G)\right\rceil,\; n(G)-2^{\,n(G)-\omega(G)}\right\},
\]
again tying local metric dimension to \(\omega(G)\) [2507.13752].

Exact computations on explicit graph families illustrate how the parameter departs from the full metric dimension while remaining structurally sharp. For the convex polytopes \(S_n\) and \(U_n\),
\[
lmd(S_n)=
\begin{cases}
2,& n \text{ odd},\\
3,& n \text{ even},
\end{cases}
\qquad
lmd(U_n)=2 \quad \text{for all } n\ge 3,
\]
whereas the same paper proves substantially larger strong metric dimensions:
\[
sdim(S_n)=
\begin{cases}
n,& n \text{ odd},\\
\frac{3n}{2},& n \text{ even},
\end{cases}
\qquad
sdim(U_n)=
\begin{cases}
2n,& n \text{ odd},\\
\frac{5n}{2},& n \text{ even}.
\end{cases}
\]
These computations make explicit that local metric dimension can remain small on non-bipartite families for which stronger resolving notions grow linearly in \(n\) [1409.2695].

The clique number also interacts with older upper bounds. Before the sharp 2025 results, the literature already included the triangle-free estimate
\[
\dim_l(G)\le \frac{2}{5}n(G)
\]
for \(\omega(G)=2\), and the former general bound
\[
\dim_l(G)\le \left( \frac{\omega(G)-1}{\omega(G)} \right)n(G),
\]
which was weaker than the later conjectured coefficient \((\omega(G)-2)/(\omega(G)-1)\) [2507.13777].

## 3. Algorithmic formulations and computational complexity

Local metric dimension admits an exact integer linear programming formulation. For \(G=(V(G),E(G))\), with \(V(G)=\{1,2,\ldots,n\}\) and \(|E(G)|=m\), define
\[
A_{(u,v),i} =
\begin{cases}
1, & d(u,i)\neq d(v,i),\\
0, & d(u,i)=d(v,i),
\end{cases}
\]
for adjacent pairs \((u,v)\), and binary variables
\[
x_i=
\begin{cases}
1, & i\in W,\\
0, & i\notin W.
\end{cases}
\]
The model is
\[
\min \sum_{i=1}^n x_i
\]
subject to
\[
\sum_{i=1}^n A_{(u,v),i}x_i \ge 1
\]
for every adjacent pair, together with
\[
x_i\in\{0,1\},\qquad 1\le i\le n.
\]
The formulation has \(n\) binary variables and \(m\) linear constraints, and it is exact: \(W\) is a local resolving set if and only if the constraints are satisfied [1409.2695].

From a complexity standpoint, exact solvability is limited. The local adjacency dimension problem is NP-complete, even on planar instances, and assuming ETH there is no
\[
O(pol(n+m)2^{o(n)})
\]
algorithm solving it [1309.2275]. A decisive corona-product reduction then yields the same negative results for the local metric dimension: LocDim is NP-complete, and assuming ETH there is no
\[
O(pol(n+m)2^{o(n)})
\]
algorithm solving LocDim on graphs of order \(n\) and size \(m\) [1309.2275].

The reduction is driven by the identity
\[
\dim_l(G\odot H)=n\cdot \dim_{A,l}(H),
\]
valid for a connected graph \(G\) of order \(n\) and a non-trivial graph \(H\). In particular,
\[
\dim_l(K_2\odot H)=2\cdot \dim_{A,l}(H),
\]
so any sufficiently strong algorithm for local metric dimension would solve local adjacency dimension as well [1309.2275].

These algorithmic results explain why much of the subject developed through exact formulas for special families, structural decompositions, and sharp upper bounds rather than through general-purpose polynomial-time algorithms.

## 4. Graph products and decomposition frameworks

A large portion of the theory is organized around graph constructions for which local metric dimension can be transferred, bounded, or decomposed.

| Construction | Representative result |
|---|---|
| Corona product | \(\dim_l(G\odot H)=n\cdot \dim_{A,l}(H)\) [1309.2275] |
| Generalized hierarchical product | \(\max\{(G|U),(H)\}\le (G(U)\sqcap H)\le \max\{(G),(H)\}\) under a basis-containment hypothesis [1902.09116] |
| Strong product | \(3 \le \dim_l(GXH)\le n_1\dim_l(H)+n_2\dim_l(G)-\dim_l(G)\dim_l(H)\) [1505.06155] |
| Lexicographic product | \(\dim_{\ell}(G\circ \mathcal H)\) is expressed via \(\operatorname{adim}_{\ell}(H_i)\), true twin classes, and \(\mathcal Q(G,\mathcal H)\) [1602.07537] |

For corona products, two complementary descriptions coexist. One expresses the parameter directly through local adjacency dimension:
\[
\dim_l(G\odot H)=n\cdot \dim_{A,l}(H)
\]
[1309.2275]. Another reduces the problem to \(K_1+H\): if the vertex of \(K_1\) does not belong to any local metric basis of \(K_1+H\), then
\[
\dim_l(G\odot H)=n\,\dim_l(K_1+H),
\]
while if it does belong to a local metric basis of \(K_1+H\), then
\[
\dim_l(G\odot H)=n\bigl(\dim_l(K_1+H)-1\bigr)
\]
for connected \(G\) of order \(n\ge 2\) [1308.6689]. A common misconception is that coronas always scale with \(\dim_l(H)\); in fact, the exact multiplier is governed either by \(\dim_{A,l}(H)\) or by \(\dim_l(K_1+H)\), depending on the formulation [1309.2275].

For generalized hierarchical products \(G(U)\sqcap H\), one has a distance formula separating the \(G\)- and \(H\)-coordinates, and under the hypothesis that \(G\) contains a local metric basis contained in \(U\),
\[
\max\{(G|U), (H)\} \le (G(U)\sqcap H)\leq \max\{(G), (H)\}.
\]
Special cases include the Cartesian product:
\[
(G \square H)=\max \{(G), (H)\},
\]
and, when \(G\) is bipartite,
\[
(G \square H)=(H)
\]
[1902.09116].

For strong products, the distance formula
\[
d_{GXH}\big((a,b),(c,d)\big)=\max\{d_G(a,c),d_H(b,d)\}
\]
drives both universal and structure-sensitive estimates. Besides the general upper bound already listed, the theory includes exact infinite families. For any connected bipartite graph \(G\) and any integer \(t\ge 2D(G)+1\),
\[
\dim_{l}(P_tXG)=\left\lceil \frac{t}{D(G)+1}\right\rceil,
\]
and for any connected bipartite graph \(G\) and any integer \(t\ge 4D(G)\),
\[
\dim_{l}(C_tXG)\le \frac{t}{D(G)}+1,
\qquad
\dim_{l}(C_tXG)=\frac{t}{D(G)} \text{ if } t \text{ is even}
\]
[1505.06155].

Decomposition methods go beyond products. For graphs built by point-attaching from primary subgraphs \(\mathcal H=\{G_1,\dots,G_k\}\), the general formula
\[
\dim_\ell(G[\mathcal H])=\sum_{j\in J_{\mathcal H}} P_j
\]
reduces the global computation to contributions from the non-bipartite primary subgraphs [1402.0177]. In particular, if \(G_j\) is the only non-bipartite primary subgraph, then
\[
\dim_\ell(G[\mathcal H])=\dim_\ell(G_j)
\]
[1402.0177]. For subgraph-amalgamation under isometric embedding, the literature proves
\[
\sum_i |T_i| + |S| \le \dim_l(H)\le \min\left\{ \sum_i \dim_l(G_i),\ \sum_i |T_i|+|J| \right\},
\]
with refinements via co-traversals and covers [1512.07420].

## 5. Sharp upper bounds in 2025 and equality constructions

The central recent development is the confirmation of the clique-number conjecture asserting that for graphs with
\[
n(G)\ge \omega(G)+1\ge 4,
\]
the local metric dimension should satisfy
\[
\dim_l(G)\le \left(\frac{\omega(G)-2}{\omega(G)-1}\right)n(G).
\]
The decisive step was to prove the stronger adjacency version:
\[
\dim_{A,l}(G) \le \left\lfloor \left(\frac{\omega(G)-2}{\omega(G)-1}\right)n(G)\right\rfloor,
\]
for graphs with \(G\not\cong K_{n(G)}\) and \(\omega(G)\ge 3\). Because
\[
\dim_l(G)\le \dim_{A,l}(G),
\]
this immediately yields
\[
\dim_l(G) \le \left\lfloor \left(\frac{\omega(G)-2}{\omega(G)-1}\right)n(G)\right\rfloor
\]
in full generality [2507.13777].

The proof is constructive and combinatorial. It partitions the vertex set into classes determined by maximal collections of induced subgraphs isomorphic to
\[
K_{\omega(G)+1}^{-i}
\quad\text{or}\quad
K_j,
\]
where \(K_n^{-r}\) denotes the graph obtained from \(K_n\) by removing \(r\) edges incident with a common vertex. A local adjacency resolving set \(S\) is then built through \(2\omega(G)-3\) processes. At each stage, all but one or all but two vertices are selected from suitable clique-like induced subgraphs, and structural observations labeled (I)–(V) prevent the formation of larger cliques in the residual graph [2507.13777]. This suggests that the sharp coefficient \((\omega-2)/(\omega-1)\) is not merely extremal but reflects a persistent “almost-all-vertices from near-cliques” mechanism.

Equality is attained by infinitely many graphs. For integers \(t\ge 2\) and \(\omega\ge 2\), let \(G_{t,\omega}\) be formed from \(t\) disjoint copies of \(K_\omega\) by identifying one vertex from each copy into a single common vertex. Then
\[
\omega(G_{t,\omega})=\omega,\qquad n(G_{t,\omega})=t(\omega-1)+1,
\]
and
\[
\dim_{A,l}(G_{t,\omega})=\dim_l(G_{t,\omega})=t(\omega-2),
\]
while
\[
\left\lfloor \left(\frac{\omega - 2}{\omega - 1}\right)(t(\omega - 1) + 1)\right\rfloor = t(\omega -2).
\]
Hence the upper bound is sharp [2507.13777].

The small-clique cases were established separately and sharply. For \(K_4\)-free graphs, equivalently \(\omega(G)\le 3\), one has
\[
\dim_l(G)\le \left\lfloor \frac{n(G)}{2}\right\rfloor,
\]
which proves the conjectured \(\omega=3\) case and resolves positively the planar-graph problem in the \(\omega(G)\le 3\) regime [2506.00414]. Equality holds for infinitely many planar graphs of odd order \(n\), namely
\[
G=\frac{n-1}{2}K_2+K_1,
\]
for which
\[
\dim_l(G)=\left\lfloor \frac{n}{2}\right\rfloor
\]
[2506.00414].

For \(K_5\)-free graphs, the sharp bounds are
\[
\dim_l(G)\le \left\lfloor \frac{2}{5}n(G)\right\rfloor \quad \text{when } \omega(G)=2,
\]
\[
\dim_l(G)\le \left\lfloor \frac{1}{2}n(G)\right\rfloor \quad \text{when } \omega(G)=3,
\]
\[
\dim_l(G)\le \left\lfloor \frac{2}{3}n(G)\right\rfloor \quad \text{when } \omega(G)=4.
\]
The \(\omega(G)=4\) case is obtained through a five-stage constructive argument based on maximum vertex-disjoint induced copies of six small graphs \(H_1,\dots,H_6\), followed by isolated vertices \(H_7\) [2507.13752]. The bounds are sharp for planar graphs; for example,
\[
G=tK_3+K_1
\]
satisfies \(\omega(G)=4\), is planar, and attains
\[
\dim_l(G)=\left\lfloor \frac{2}{3}n(G)\right\rfloor
\]
[2507.13752]. The 2025 global theorem subsumes these earlier cases while preserving the equality phenomenon [2507.13777].

## 6. Fractional extensions, applications, and adjacent directions

A fractional relaxation replaces characteristic vectors of local resolving sets by weights. For an edge \(xy\), the local resolving neighborhood is
\[
L(xy)=\{z\in V(G): d(z,x)\neq d(z,y)\},
\]
and a function \(f:V(G)\to[0,1]\) is a local resolving function if
\[
f(L(xy))\ge 1 \quad \text{for every edge }xy\in E(G).
\]
The minimum value of \(\sum_{v\in V(G)} f(v)\) is the fractional local metric dimension \(\operatorname{ldim}_f(G)\) [1810.02882]. Equivalent notation using \(\mathcal R\{v,w\}\) for adjacent pairs is also standard [2105.07808].

The fractional parameter satisfies
\[
1\le \operatorname{ldim}_f(G)\le \operatorname{ldim}(G)\le n-\operatorname{diam}(G),
\]
\[
\operatorname{ldim}_f(G)\le \frac{n}{\ell(G)}\le \frac n2,
\]
where
\[
\ell(G):=\min\{|\mathcal{R}\{v,w\}|: vw\in E(G)\},
\]
and
\[
\operatorname{ldim}_f(G)=1 \iff G \text{ is bipartite}
\]
[2105.07808]. A sharp extremal characterization is
\[
\operatorname{ldim}_f(G)=\frac{n}{2}
\iff
\text{every vertex in }G\text{ has a true twin},
\]
and for vertex-transitive graphs,
\[
\operatorname{ldim}_f(G)=\frac{|V(G)|}{l(G)},
\qquad
l(G)=\min\{|L(uv)|:uv\in E(G)\}
\]
[1810.02882].

Fractional local metric dimension has its own product theory. For strong products,
\[
2\le \operatorname{ldim}_f(G\boxtimes H) \le n_1\,\operatorname{ldim}_f(H)+n_2\,\operatorname{ldim}_f(G)-2\,\operatorname{ldim}_f(G)\operatorname{ldim}_f(H),
\]
while for Cartesian products,
\[
\operatorname{ldim}_f(G\square H)\ge \operatorname{ldim}_f(G)
\]
[1810.02882]. On rotationally symmetric planar graphs obtained by edge coalescence of chorded cycles, exact values and asymptotically bounded families have been established; for instance,
\[
\operatorname{ldim}_f(\mathcal{G}^m(H_1))=\operatorname{ldim}_f(\mathcal{G}^m(H_2))=1,
\]
and many pentagonal and hexagonal families have upper bounds tending to \(2\) as \(m\to\infty\) [2105.07808]. On Toeplitz and zero-divisor graphs, upper-bound sequences fall into constant, bounded, and unbounded families; examples of constant families include
\[
\operatorname{ldim}_f(T_{3p}<3,p>)=1
\]
and
\[
\operatorname{ldim}_f(G(\mathbb{Z}_{2p}))=1
\]
[2311.03147].

Applications repeatedly cited for local metric dimension and its variants include network discovery and verification, robot navigation, chemistry, graphs arising in mathematical chemistry, and a delivery-services customer-coding model in which customers are assigned codes built from family-name initials and local metric representations [1409.2695]. In that model, the advantage is that local metric dimension always satisfies
\[
(G)\le {\rm dim}(G),
\]
so local codes can be at least as compact as classical metric-dimension codes, and for bipartite graphs one has \((G)=1\) while \({\rm dim}(G)\) can be arbitrarily large [1902.09116].

Taken together, these developments position local metric dimension as a structurally rich relaxation of metric dimension: it is weak enough to admit sharp clique-dependent bounds, product formulas, and compact ILP models, yet strong enough to encode nontrivial geometry, twin structure, and local identifiability across a wide range of graph classes [2507.13777].

Source: https://www.emergentmind.com/topics/local-metric-dimension