---
title: Local Outer Multiset Dimension in Graphs
url: https://www.emergentmind.com/topics/local-outer-multiset-dimension
type: topic
---

# Local Outer Multiset Dimension in Graphs

Searching arXiv for the specified papers to ground the article in current sources.
arxiv_search(query="Local (Outer) Multiset Dimensions of Graphs", max_results=5)
arxiv_search(query="Distance-based vertex identification in graphs: the outer multiset dimension", max_results=5)
arxiv_search(query="2507.15071", max_results=5)
Local outer multiset dimension is a distance-based graph parameter defined for a finite, connected, undirected, simple graph \(G\). For a set \(W \subseteq V(G)\), the representation multiset of a vertex \(u\) with respect to \(W\) is
\[
m(u|W)=\{d(u,w): w\in W\},
\]
viewed as a multiset rather than an ordered vector. The set \(W\) is a local outer multiset resolving set if every two adjacent vertices in \(V(G)\setminus W\) have distinct representation multisets, and the minimum cardinality of such a set is the local outer multiset dimension, denoted \(\operatorname{ldim}_{ms}(G)\) [2507.15071]. The notion is the local counterpart of the outer multiset dimension introduced earlier for global separation of all vertices outside the landmark set [1902.03017].

## 1. Formal framework and historical placement

The underlying distance model is inherited from multiset-based vertex identification. If \(W=\{w_1,\dots,w_t\}\subseteq V(G)\), then \(m(u|W)\) records the distances from \(u\) to the vertices of \(W\), but ignores the order of the landmarks. This distinguishes the theory from metric-dimension variants based on ordered distance vectors.

In the 2025 formulation, two local parameters are separated. A local multiset resolving set requires \(m(u|W)\neq m(v|W)\) for every edge \(uv\in E(G)\). A local outer multiset resolving set weakens this by requiring the inequality only when both \(u\) and \(v\) lie outside \(W\). The corresponding minimum cardinalities are the local multiset dimension \(lmd(G)\) and the local outer multiset dimension \(\operatorname{ldim}_{ms}(G)\), respectively [2507.15071].

Historically, the precursor is the outer multiset dimension studied in 2019. There, a set \(S\subseteq V(G)\) is required to distinguish all distinct vertices in \(V(G)\setminus S\), not merely adjacent ones. The 2019 paper explicitly does not define or analyze a local outer multiset dimension; all of its results concern the global requirement that all pairs in \(V(G)\setminus S\) be distinguished [1902.03017]. The later local theory therefore extends the multiset-based framework by replacing global separation with adjacency-restricted separation.

## 2. Hierarchy among distance dimensions

The local outer multiset dimension sits between several established parameters. The inequalities
\[
1 \le ldim(G) \le ldim_{ms}(G) \le lmd(G) \le md(G)
\]
and
\[
1 \le ldim_{ms}(G) \le dim_{ms}(G) \le n-1
\]
hold for every graph of order \(n\) [2507.15071]. In addition, the broader chain
\[
1 \le ldim(G) \le dim(G) \le dim_{ms}(G) \le md(G)
\]
links the local and global metric and multiset parameters.

These inequalities encode three important comparisons. First, replacing ordered distance vectors by multisets does not make local identification easier than local metric resolution, since \(ldim(G)\le ldim_{ms}(G)\). Second, restricting attention to adjacent pairs outside the landmark set makes the local outer requirement weaker than the global outer requirement, since \(ldim_{ms}(G)\le dim_{ms}(G)\). Third, the local multiset dimension may be strictly harder than the local outer version, since \(ldim_{ms}(G)\le lmd(G)\), and \(lmd(G)\) may even be infinite [2507.15071].

A central finiteness property distinguishes the local outer parameter from the non-outer local multiset dimension. Every graph has finite local outer multiset dimension: if \(v\in V(G)\) and \(W=V(G)\setminus\{v\}\), then \(V(G)\setminus W=\{v\}\), so there is no adjacent pair outside \(W\), and the local outer condition holds vacuously. Hence \(\operatorname{ldim}_{ms}(G)\le n-1\) for every graph [2507.15071]. This parallels the global outer theory, where the outer multiset dimension is always defined because taking the entire vertex set as landmarks is trivially outer resolving [1902.03017].

## 3. Structural constraints and general bounds

A recurring structural mechanism is the presence of clique end-vertices. For \(r\ge 3\), a vertex \(u\) in a clique \(K_r\) is a \(K_r\)-end vertex if \(\deg_G(u)=r-1\). The necessary condition for finiteness of \(lmd(G)\) states that if \(lmd(G)<\infty\), then every clique contains at most two \(K\)-end vertices; moreover, if a clique contains two \(K\)-end vertices, then exactly one of them must belong to every local multiset resolving set. For the local outer parameter, if a clique contains more than two \(K\)-end vertices, then all of them except one belong to every local outer multiset resolving set [2507.15071]. This supplies a direct lower-bound mechanism in dense local structures.

The minimum possible value is characterized exactly: \(lmd(G)=ldim_{ms}(G)=1\) if and only if \(G\) is bipartite. Consequently, any non-bipartite graph satisfies \(lmd(G)\ge 2\) and \(ldim_{ms}(G)\ge 2\) [2507.15071]. This is one of the sharpest available characterizations in the theory, because it identifies a purely structural class realizing the absolute minimum.

Two general lower bounds tie \(\operatorname{ldim}_{ms}(G)\) to standard graph invariants. If \(\omega(G)\) is the clique number, then
\[
ldim_{ms}(G)\ge \lceil \log_2 \omega(G)\rceil.
\]
The bound is sharp: for each \(n\ge 2\), there exists a graph \(G\) with \(\omega(G)=n\) such that \(ldim_{ms}(G)=\lceil \log_2 n\rceil\) [2507.15071]. A second bound uses diameter and chromatic number. If \(\operatorname{diam}(G)=d\ge 2\) and \(\chi(G)\) is the chromatic number, let \(g(d,\chi)\) be the smallest integer \(k\) such that
\[
\binom{k+d-1}{d-1}+\binom{k+d-2}{d-1}-d+1\ge \chi(G).
\]
Then
\[
ldim_{ms}(G)\ge g(d,\chi(G)).
\]
For diameter \(2\), this yields \(ldim_{ms}(G)\ge \chi(G)/2\); for diameter \(3\), it yields \(ldim_{ms}(G)\ge \sqrt{\chi(G)+2}-1\) [2507.15071].

There is also a useful monotonicity-style upper bound under leaf attachment. If \(H\) is a maximal subgraph of \(G\) with no leaf, then
\[
ldim_{ms}(G)\le ldim_{ms}(H).
\]
The bound is sharp, for example when \(G\cong H\odot K_2\) [2507.15071]. This suggests that, for the local outer parameter, pendant growth does not increase complexity beyond that already present in the leafless core.

## 4. Exact values for basic graph families

Several standard graph classes admit complete formulas. For complete graphs,
\[
ldim_{ms}(K_n)=n-1.
\]
This coincides with the global outer multiset value for \(K_n\). By contrast, the local multiset dimension behaves differently: \(lmd(K_2)=1\) and \(lmd(K_n)=\infty\) for \(n\ge 3\) [2507.15071]. Thus complete graphs simultaneously witness finiteness of the local outer parameter and infinitude of the non-outer local multiset parameter.

Cycles exhibit a sharp parity dichotomy. The local outer multiset dimension satisfies
\[
ldim_{ms}(C_n)=
\begin{cases}
1,& \text{if } n \text{ is even},\\
2,& \text{if } n \text{ is odd}.
\end{cases}
\]
For local multiset dimension, the corresponding formula is
\[
lmd(C_n)=
\begin{cases}
1,& \text{if } n \text{ is even},\\
3,& \text{if } n \text{ is odd and } n\ge 7,\\
\infty,& \text{if } n=3 \text{ or } 5.
\end{cases}
\]
For odd cycles, the paper uses adjacent landmarks \(W=\{u,v\}\) and analyzes the longer \(u\)-\(v\) path to show that all adjacent pairs outside \(W\) receive distinct multisets [2507.15071].

Unicyclic graphs that are not cycles also admit a complete dichotomy. If such a graph contains an even cycle, then it is bipartite and
\[
lmd(G)=ldim_{ms}(G)=1.
\]
If it contains an odd cycle and is not itself a cycle, then
\[
lmd(G)=ldim_{ms}(G)=2.
\]
The proofs are constructive, using a 2-vertex set \(W=\{t_1,c_2\}\) that resolves adjacent pairs by multiset distances [2507.15071].

These formulas show that locality drastically lowers the required number of landmarks in many sparse families. In particular, for cycles the local outer parameter is strictly smaller than the global outer multiset dimension studied earlier, where \(dim_{ms}(C_3)=2\), \(dim_{ms}(C_4)=3\), \(dim_{ms}(C_5)=4\), and \(dim_{ms}(C_n)=3\) for all \(n\ge 6\) [1902.03017].

## 5. Wheels, amalgamations, and corona products

For wheel graphs \(W_n\) of diameter \(2\), exact formulas are known. If \(v_p\) is the hub and \(W'_n\) is the rim cycle, then
\[
lmd(W_n)=
\begin{cases}
3,& n=4 \text{ or } 6,\\
\lceil n/4\rceil,& n\ge 8 \text{ even},\\
\infty,& \text{otherwise},
\end{cases}
\]
whereas
\[
ldim_{ms}(W_n)=
\begin{cases}
3,& n=3,4,6,\\
\lceil n/4\rceil,& n\ge 8 \text{ even or } n\equiv 1 \pmod 4,\\
\lceil n/4\rceil+1,& \text{otherwise}.
\end{cases}
\]
The key combinatorial restriction is that in the induced rim subgraphs \(W'_n[W]\) and \(W'_n[W'_n\setminus W]\), any induced path must have order \(1\) or \(3\). This forces the optimal periodic selection pattern on the rim [2507.15071].

Amalgamations of complete graphs provide further exact formulas. For vertex amalgamation \(\operatorname{Amal}(K_{n_i},m)\), with \(m_3\) the number of \(K_3\) components and \(m_{\ge 4}\) the number of \(K_{n_i}\) with \(n_i\ge 4\),
\[
ldim_{ms}(\operatorname{Amal}(K_{n_i},m))=
\begin{cases}
1,& m_3=0 \text{ and } m_{\ge 4}=0,\\
2,& m_3=1 \text{ and } m_{\ge 4}=0,\\
\sum_{n_i\ge 3}(n_i-2),& \text{otherwise}.
\end{cases}
\]
For edge amalgamation \(\operatorname{EdgeAmal}(K_{n_i},m)\), with \(m_2,m_3,m_4,m_{\ge 4}\) counting the complete graphs of the indicated sizes,
\[
ldim_{ms}(\operatorname{EdgeAmal}(K_{n_i},m))=
\begin{cases}
1,& m_2=m,\\
2,& 1\le m_3\le 2 \text{ and } m_2+m_3=m,\\
3,& m_3\ge 3 \text{ and } m_2+m_3=m,\\
\left(\sum_{n_i\ge 4}(n_i-3)\right)+1,& m_{\ge 4}\neq 0.
\end{cases}
\]
In both constructions, the formulas are driven by the \(K\)-end vertex constraints, and the extra \(+1\) in edge amalgamation frequently arises from the need to include one of the identified vertices to separate remaining adjacent pairs outside the landmark set [2507.15071].

For corona products \(G\odot K_{m_i}\), the available result is a sharp lower bound:
\[
ldim_{ms}(G\odot K_{m_i})\ge \sum_i (m_i-1).
\]
The bound is sharp. It follows directly from the clique end-vertex constraints, since each attached clique forces the inclusion of all but one of its end-vertices in any local outer multiset resolving set [2507.15071].

## 6. Relation to global outer multiset dimension, extremal behavior, and open questions

The local outer multiset dimension is best understood against the background of the global outer multiset dimension. In the global version, a set \(S\subseteq V(G)\) must distinguish every pair of distinct vertices in \(V(G)\setminus S\) through their multiset representations. The 2019 theory established the general bounds
\[
1\le dim_{ms}(G)\le |V(G)|-1
\quad\text{and}\quad
dim_{ms}(G)\ge dim(G),
\]
proved exact values for paths, cycles, complete graphs, balanced complete multipartite graphs, and some wheels, and showed that deciding whether \(dim_{ms}(G)\le k\) is NP-complete [1902.03017]. By contrast, the 2025 local theory gives no explicit complexity classification and concentrates instead on structural bounds, exact formulas for families, and constructive proofs [2507.15071].

Several examples illustrate the gap between local and global outer requirements. For complete graphs, the two parameters coincide at the maximal value \(n-1\). For cycles, however, the local outer values are \(1\) or \(2\), whereas the global outer values are \(2\), \(3\), or \(4\) depending on \(n\). This indicates that adjacency-restricted separation can be much weaker than global separation, even in highly symmetric graphs.

The theory also highlights extremal behavior. The value \(ldim_{ms}(G)=1\) occurs exactly for bipartite graphs, so the minimum is completely classified. At the other extreme, \(ldim_{ms}(G)\) can reach \(n-1\), as shown by \(K_n\). The clique-number lower bound \(ldim_{ms}(G)\ge \lceil \log_2 \omega(G)\rceil\) is sharp, and the diameter/chromatic lower bound is sharp for \(\chi(G)=2\) [2507.15071].

Several open problems remain. For corona products \(G\odot K_{m_i}\), good upper bounds for \(lmd(G\odot K_{m_i})\) and \(ldim_{ms}(G\odot K_{m_i})\) are not known in general. For the diameter/chromatic lower bound, sharpness is open for \(\chi(G)\ge 3\). For graph joins \(G+H\), determining \(lmd(G+H)\) and \(ldim_{ms}(G+H)\) in terms of the corresponding parameters of \(G\) and \(H\) is also open [2507.15071]. Together, these questions indicate that the local outer multiset dimension is structurally well-founded but still far from exhausted, especially in dense diameter-\(2\) regimes and in graph operations that amplify clique interactions.

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