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

# Local Adjacency Metric Dimension

Searching arXiv for recent and foundational papers on local adjacency metric dimension and related parameters.
Local adjacency metric dimension is a graph invariant that measures the minimum size of a landmark set that distinguishes only adjacent vertices and does so by adjacency rather than by full shortest-path distance. In the literature, the same parameter appears as **local adjacency dimension** \(\operatorname{adim}_\ell(G)\) and as **local adjacency metric dimension** \(\dim_{A,l}(G)\). Formally, for a graph \(G\), a set \(S\subseteq V(G)\) is a local adjacency generator if for every two adjacent vertices \(x,y\in V(G)\setminus S\), there exists \(s\in S\) adjacent to exactly one of \(x\) and \(y\); a minimum such set is a local adjacency basis, and its cardinality is the invariant. The subject connects local resolving theory, adjacency-based metric theory, graph products, and structural bounds in terms of classical invariants such as clique number [1309.2275] [1602.07537] [2507.13777].

## 1. Definitions and terminological variants

The parameter is defined on finite simple graphs. In the notation used in one line of work, a set \(S\subseteq V(G)\) is a local adjacency generator if for every two adjacent vertices \(x,y\in V(G)\setminus S\), there exists \(s\in S\) such that
\[
|N_G(s)\cap\{x,y\}|=1.
\]
A minimum local adjacency generator is a local adjacency basis, and its size is denoted
\[
\dim_{A,l}(G).
\]
Another line of work uses the notation \(\operatorname{adim}_\ell(G)\) and the name **local adjacency dimension** for the same adjacency-based local resolving condition. In that terminology, the concepts of local adjacency generator, local adjacency basis, and local adjacency dimension are “defined by analogy” with adjacency dimension and local metric dimension [1309.2275] [1602.07537].

This parameter sits naturally beside the truncated-distance viewpoint of adjacency dimension. For a graph \(G\), the truncated distance
\[
d_{G,2}(x,y)=\min\{d_G(x,y),2\}
\]
encodes whether vertices are equal, adjacent, or non-adjacent. Adjacency dimension is the metric dimension of \((V(G),d_{G,2})\), and local adjacency dimension is the corresponding local analogue in which only adjacent pairs must be distinguished. A common misconception is that “local adjacency metric dimension” denotes a different invariant from “local adjacency dimension”; in the cited literature, the distinction is terminological rather than mathematical, and the local parameter is the adjacency-based counterpart of local metric dimension [1602.07537] [1501.04647].

## 2. Position within resolving theory

The local adjacency metric dimension is one member of a four-parameter family obtained by crossing two distinctions: all pairs versus adjacent pairs, and full distances versus adjacency-truncated information. The standard inequalities recorded in the literature are
\[
\dim(G)\leq \dim_A(G),
\]
\[
\dim_l(G)\leq \dim_{A,l}(G),
\]
\[
\dim_l(G)\leq \dim(G),
\]
\[
\dim_{A,l}(G)\leq \dim_A(G).
\]
The inequality
\[
\dim_l(G)\le \dim_{A,l}(G)
\]
is especially important: if a vertex is adjacent to exactly one of two adjacent vertices, then its distances to them differ, so every local adjacency generator is automatically a local metric generator [1309.2275] [2507.13777].

The diameter-two regime collapses the metric and adjacency local parameters. One source states that if \(D(G)\le 2\), then
\[
\dim_\ell(G)=\operatorname{adim}_\ell(G),
\]
and another states, in the same spirit, that if \(H\) has diameter two, then
\[
\dim_{A,l}(H)=\dim_l(H).
\]
Thus the distinction between metric and adjacency local resolving is meaningful mainly beyond diameter two [1602.07537] [1309.2275].

The parameter behaves differently from local metric dimension on basic graph classes. For paths \(P_n\) with \(n\ge 7\),
\[
\dim_l(P_n)=\dim(P_n)=1
\leq \left\lfloor\frac{n}{4}\right\rfloor
\leq \dim_{A,l}(P_n)
\leq \left\lceil\frac{n}{4}\right\rceil
\leq \left\lfloor \frac{2n+2}{5}\right\rfloor
=\dim_A(P_n).
\]
For stars \(K_{1,n}\) with \(n\ge 2\),
\[
\dim_l(K_{1,n})=\dim_{A,l}(K_{1,n})=1\leq n-1=\dim(K_{1,n})=\dim_A(K_{1,n}).
\]
These formulas show that local adjacency dimension can coincide with local metric dimension on one family and separate sharply from it on another. The parameter is also bounded above by the vertex cover number:
\[
\dim_{A,l}(G)\leq\beta(G),
\]
because every vertex cover is a local adjacency generator [1309.2275].

## 3. Corona products and exact families

The foundational product formula for the subject concerns corona products. If \(G\) is a connected graph of order \(n\ge 2\) and \(H\) is a non-trivial graph, then
\[
\dim_l(G\odot H)=n\cdot \dim_{A,l}(H).
\]
This identity turns a local metric problem on \(G\odot H\) into a local adjacency problem on \(H\), and it is the main bridge by which local adjacency dimension entered product-graph theory [1309.2275].

The same source gives a dichotomy for the local adjacency dimension of the corona product itself. If there exists a local adjacency basis \(S\) for \(H\) such that for every \(v\in V(H)-S\),
\[
S\not\subseteq N_H(v),
\]
then
\[
\dim_{A,l}(G\odot H)=n\cdot \dim_{A,l}(H).
\]
If, on the contrary, for any local adjacency basis \(S\) for \(H\), there exists some \(v\in V(H)-S\) such that
\[
S\subseteq N_H(v),
\]
then
\[
\dim_{A,l}(G\odot H)=n\cdot \dim_{A,l}(H)+\gamma(G).
\]
Accordingly, for connected \(G\) of order \(n\ge 2\) and non-trivial \(H\), either
\[
\dim_{A,l}(G\odot H)=n\cdot \dim_{A,l}(H)
\]
or
\[
\dim_{A,l}(G\odot H)=n\cdot \dim_{A,l}(H)+\gamma(G).
\]

The same theory yields exact formulas on standard families. For \(t\ge 4\),
\[
\dim_{A,l}(P_t)=
\begin{cases}
\left\lfloor\frac{t}{4}\right\rfloor, & t\equiv 1 \pmod 4,\\[4pt]
\left\lceil\frac{t}{4}\right\rceil, & t\not\equiv 1 \pmod 4,
\end{cases}
\]
and
\[
\dim_{A,l}(C_t)=\left\lceil\frac{t}{4}\right\rceil.
\]
For a non-empty graph \(H\) of order \(n'\),
\[
\dim_{A,l}(H)=1
\]
if and only if \(H\) is a bipartite graph having only one non-trivial connected component \(H^*\) and \(r(H^*)\le 2\), while
\[
\dim_{A,l}(H)=n'-1
\]
if and only if
\[
H\cong K_{n'} \quad \text{or} \quad H\cong K_1\cup K_{n'-1}.
\]
Special corona formulas include
\[
\dim_{A,l}(G\odot K_{1,r})=n+\gamma(G)\qquad (r\ge 2),
\]
and
\[
\dim_{A,l}(G\odot K_{n'})=n(n'-1)+\gamma(G).
\]
These results show that the local adjacency parameter is already rich on very elementary families [1309.2275].

## 4. Lexicographic products and fiberwise structure

The lexicographic product provides the main setting in which local adjacency dimension acts as a fiberwise building block for other invariants. For a connected graph \(G\) of order \(n\), an ordered family \(\mathcal H=\{H_1,\dots,H_n\}\), and non-singleton true twin classes \(U_1,\dots,U_k\) of \(G\), the local metric dimension of \(G\circ \mathcal H\) is expressed by
\[
\dim_\ell(G\circ \mathcal{H})=
\sum_{i=1}^n \operatorname{adim}_\ell(H_i)
+\sum_{I\cap U_j\neq \emptyset}\big(|I\cap U_j|-1\big)
+\varrho(G,\mathcal{H}).
\]
Here the first term is the baseline contribution from the fibers, the second corrects for true twin classes, and the third is a residual correction term governed by a relation \(\mathcal R\) on certain vertices of the base graph. The central mechanism is the distance formula inside a fiber:
\[
d_{G\circ \mathcal H}\big((u_i,b),(u_i,d)\big)=d_{H_i,2}(b,d),
\]
which forces local adjacency dimension, rather than local metric dimension of \(H_i\), to control same-fiber adjacent pairs [1602.07537].

The same paper also derives the local adjacency dimension of the lexicographic product itself:
\[
\operatorname{adim}_\ell(G\circ \mathcal{H})=
\sum_{i=1}^n \operatorname{adim}_\ell(H_i)
+\sum_{I\cap U_j\neq \emptyset} (|I\cap U_j|-1)
+\varrho'(G,\mathcal{H}).
\]
Thus the local metric and local adjacency dimensions of \(G\circ\mathcal H\) differ only through the replacement of \(\varrho\) by \(\varrho'\). The criterion
\[
\dim_\ell(G\circ \mathcal{H})=\operatorname{adim}_\ell(G\circ \mathcal{H})
\quad\Longleftrightarrow\quad
\varrho(G,\mathcal H)=\varrho'(G,\mathcal H)
\]
makes this relation explicit. When all fibers are non-empty, the local metric formula simplifies to
\[
\dim_\ell(G\circ \mathcal H)=
\sum_{i=1}^n \operatorname{adim}_\ell(H_i)
+\sum_{I\cap U_j\neq \emptyset} (|I\cap U_j|-1),
\]
and for complete base graphs,
\[
\dim_\ell(K_n\circ H)=
\begin{cases}
n\cdot \operatorname{adim}_\ell(H)+n-1, & H\in\mathcal G,\\
n\cdot \operatorname{adim}_\ell(H), & H\notin\mathcal G.
\end{cases}
\]
These formulas show that local adjacency dimension is not merely an auxiliary notion: it is the primary fiber invariant governing lexicographic-product behavior [1602.07537].

## 5. Clique number and sharp upper bounds

A recent development links local adjacency metric dimension directly to clique number. If \(G\) is a simple connected graph with
\[
n(G)\ge \omega(G)+1\ge 4,
\]
then
\[
\dim_{A,l}(G)\le
\left\lfloor
\left(\frac{\omega(G)-2}{\omega(G)-1}\right)n(G)
\right\rfloor.
\]
Because
\[
\dim_l(G)\le \dim_{A,l}(G),
\]
this immediately confirms the conjectured upper bound for local metric dimension as well. The theorem is sharp: for integers \(t\ge 2\) and \(\omega\ge 2\), if \(G_{t,\omega}\) is obtained from \(t\) copies of \(K_\omega\) by identifying one chosen vertex from each copy into a common vertex, then
\[
n(G_{t,\omega})=t(\omega-1)+1,
\]
\[
\omega(G_{t,\omega})=\omega,
\]
and
\[
\dim_{A,l}(G_{t,\omega})=\dim_l(G_{t,\omega})=t(\omega-2),
\]
so equality holds in the bound [2507.13777].

The proof is constructive and combinatorial. It partitions \(V(G)\) into maximal induced subgraphs of types \(K_{\omega+1}^{-i}\) and \(K_j\), derives structural restrictions from maximality and the clique bound, and then constructs a local adjacency generator \(S\) by selecting almost all vertices from each block while preserving adjacency distinguishability through \(P_3\)-configurations. The counting argument is tuned to the coefficient
\[
\frac{\omega(G)-2}{\omega(G)-1}.
\]
For small clique number the bound specializes to familiar forms:
\[
\omega(G)=3 \Longrightarrow \dim_{A,l}(G)\le \left\lfloor \frac{n(G)}{2}\right\rfloor,
\]
\[
\omega(G)=4 \Longrightarrow \dim_{A,l}(G)\le \left\lfloor \frac{2}{3}n(G)\right\rfloor.
\]

The case \(\omega(G)=3\), equivalently the \(K_4\)-free setting, had already been isolated on the local metric side. If \(G\) is a graph with \(n(G)\ge 4>\omega(G)\), then
\[
\dim_l(G)\le \left\lfloor \frac{n(G)}{2}\right\rfloor,
\]
which confirms the clique-number conjecture for \(\omega=3\) and, in particular, yields the same half-order upper bound for planar graphs with \(\omega(G)\le 3\) [2506.00414] [2507.13777].

## 6. Complexity and current directions

The decision problem **LocAdjDim**, which asks whether \(\dim_{A,l}(G)\le k\), is NP-complete. The same source proves that it remains NP-complete on planar instances, and that, assuming ETH, there is no
\[
O(pol(n+m)2^{o(n)})
\]
algorithm solving LocAdjDim on graphs of order \(n\) and size \(m\). Through the corona identity
\[
\dim_l(G\odot H)=n\cdot \dim_{A,l}(H),
\]
this hardness transfers to local metric dimension: **LocDim** is NP-complete and admits the same ETH-based lower bound. The complexity theory therefore matches the combinatorial richness of the parameter rather than reducing it to a simple neighborhood-cover problem [1309.2275].

Two structural directions recur in the literature. One is equality theory. For the clique-number bound
\[
\dim_{A,l}(G)\le
\left\lfloor
\left(\frac{\omega(G)-2}{\omega(G)-1}\right)n(G)
\right\rfloor,
\]
infinitely many extremal graphs are known, but no complete characterization of all equality graphs is given. Another is the control of correction terms in product formulas: in lexicographic products, the distinction between
\[
\dim_\ell(G\circ \mathcal H)
\quad\text{and}\quad
\operatorname{adim}_\ell(G\circ \mathcal H)
\]
is encoded by \(\varrho(G,\mathcal H)\) and \(\varrho'(G,\mathcal H)\), and equality between the two parameters is equivalent to the equality of those correction terms [2507.13777] [1602.07537].

Taken together, these results place local adjacency metric dimension at a junction of local resolvability, product-graph structure, extremal graph theory, and complexity. The invariant is local in the sense that only edges matter, adjacency-based in the sense that longer distances are discarded, and sufficiently rigid to support sharp formulas, dichotomy theorems, and clique-number bounds across broad graph classes.

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