Local Diversity: Neighborhood-Constrained Heterogeneity

• Local diversity is defined as evaluating heterogeneity within restricted neighborhoods or subsets across various systems.
• It employs methods such as conditionalization, windowing, and minimum-over-subsets to capture nuanced variations overlooked by global measures.
• Applications range from ecological communities and urban commuting networks to federated learning environments, offering actionable insights in theory and practice.

“Local diversity” denotes a family of scale-dependent diversity concepts in which variety is evaluated relative to a restricted patch, neighborhood, subset, node, temporal window, operating point, or local model pool rather than only at the level of an entire system. In ecology it concerns locally persistent assemblages drawn from a regional pool (Fried et al., 2016); in ultra-reliable antenna arrays it is the log-log slope of the outage CDF at a specific threshold (Abraham et al., 2021); in social choice it is the minimum number of distinct restricted orders on every $k$-subset of alternatives (Karpov et al., 2024); in commuting networks it is the entropy of direct in- or out-links of a node (Marin et al., 2021); and in one-shot sequential federated learning it is diversity among models generated within a single client (Wang et al., 2024). Taken together, these usages indicate a common emphasis on neighborhood-constrained heterogeneity, but not a single field-independent formalism.

1. Scale, neighborhood, and the formal structure of locality

Across the cited literature, local diversity is introduced precisely when global aggregates are too coarse. The relevant “local” object may be a subset $\mathcal S$ of species within a patch, a fixed outage probability, a $k$-subset of alternatives, the in-neighborhood or out-neighborhood of a node, a short temporal interval in a video, or a local model pool $\mathcal M^i$ inside one client (Fried et al., 2016, Abraham et al., 2021, Karpov et al., 2024, Marin et al., 2021, Li et al., 2018, Wang et al., 2024). In all of these cases, diversity is not defined by mere cardinality; it is defined by structured coexistence, restricted support, conditional distributions, or constrained variation within a bounded context.

The formal motifs recur. One motif is conditionalization: commuting-network local entropy uses $p_{(i|j)}$ or $p_{(j|i)}$, while DSDR uses token-level entropy only on correct trajectories (Marin et al., 2021, Wan et al., 23 Feb 2026). A second is minimum-over-subsets: abundance in Condorcet domains is $\Delta_k(D)=\min_{|A|=k}|D(A)|$ (Karpov et al., 2024). A third is windowing: local contextual attention uses a window of size $2R+1$, and DySeqDPP makes the temporal support of diversity itself dynamic through the predicted segment length $L_t$ (Pan et al., 2022, Li et al., 2018). A fourth is population-locality: in diversity optimization and genetic algorithms, locality is defined over populations rather than over single solutions (Dang et al., 2016, Antipov et al., 2024).

This suggests that “local diversity” is best read as a family resemblance term. The locality may be spatial, combinatorial, temporal, probabilistic, or algorithmic; what remains constant is that diversity is evaluated under an explicit neighborhood or scale restriction rather than over an undifferentiated whole.

2. Ecological and biodiversity meanings

In ecological theory, local diversity is treated as the composition and richness of a local assemblage drawn from a larger regional pool. In “Communities as cliques,” the local patch contains a subset $\mathcal S\subset\{1,\dots,N\}$, and ecologically meaningful local states are those subsets that are stable and uninvadable (SU) under the generalized Lotka–Volterra competition model

$\mathcal S$0

For symmetric zero–infinity interactions, SU subsets are in one-to-one correspondence with maximal cliques of a graph whose vertices are species and whose edges connect non-interfering pairs. The resulting count of locally persistent communities grows subexponentially in symmetric systems,

$\mathcal S$1

and much more weakly in asymmetric systems,

$\mathcal S$2

The characteristic local richness is only logarithmic in the regional pool size,

$\mathcal S$3

so even very large regional pools imply modest local coexistence (Fried et al., 2016).

Metacommunity theory introduces a different but related locality: the distinction between local and regional diversity under dispersal. In the consumer–resource metacommunity model of Haegeman and Loreau,

$\mathcal S$4

local diversity is the biomass-weighted average of within-patch Shannon diversities, while regional diversity is computed from pooled biomasses. Their central result is that hump-shaped local diversity–dispersal relationships are not universal: once consumer dispersal $\mathcal S$5 and resource dispersal $\mathcal S$6 are considered jointly, local diversity can be hump-shaped, monotonically increasing, monotonically decreasing, or multimodal (Haegeman et al., 2014). The classical source–sink interpretation therefore becomes only one slice through a two-parameter dispersal space.

A third ecological use appears in growing bacterial colonies modeled as growth-driven active nematics. There the question is local genetic diversity, quantified by the colony-averaged neighbor phylogenetic distance

$\mathcal S$7

together with short-range heterozygosity $\mathcal S$8. The paper finds a negative and a positive result: radial expansion suppresses chaotic defect-driven self-mixing, but rod-like colonies nonetheless maintain higher local genetic diversity than round-cell colonies. Both $\mathcal S$9 and $k$0 increase with aspect ratio and plateau around $k$1 (Schwarzendahl et al., 2022). This indicates that local diversity need not require turbulence-like mixing; steric alignment and active-nematic-like rearrangements can be sufficient to weaken demixing.

3. Urban, mobility, and community systems

In commuting networks, local diversity is defined by entropy on the immediate in-neighborhood or out-neighborhood of a node. For a weighted directed commuting graph with link probabilities $k$2, local in-flow entropy at destination $k$3 is

$k$4

and local out-flow entropy at origin $k$5 is

$k$6

These measures capture how diversified a node’s labor catchment or destination set is. The paper emphasizes that local entropy and global entropy reveal different structural properties: a node may be locally diverse in a globally centralized system, or locally concentrated in a globally diverse one (Marin et al., 2021).

Urban theory introduces another scale split between collective diversity and individual specialization. In “Professional diversity and the productivity of cities,” occupational diversity at city scale follows

$k$7

with $k$8 and $k$9 in the infinite-resolution limit, while per-capita diversity declines as

$\mathcal M^i$0

The paper links this decline to increasing social connectivity,

$\mathcal M^i$1

under the constraint

$\mathcal M^i$2

Hence larger cities are more diverse collectively and more specialized individually, a relation the paper explicitly places in dialogue with Jane Jacobs’s emphasis on urban diversity and with division-of-labor arguments about productivity (Bettencourt et al., 2012).

In spatial models of community formation, local diversity denotes the coexistence of multiple neighboring domains rather than mere global heterogeneity. “A Self-Organized Tower of Babel” uses a two-dimensional lattice of bitstring-valued agents with fitness

$\mathcal M^i$3

combining local understandability and global discommunication. In the diversified regime the system typically contains approximately $\mathcal M^i$4–$\mathcal M^i$5 clusters and the largest cluster occupies about $\mathcal M^i$6 of the system size; coexistence is maintained by boundary fitness equalization rather than bulk-fitness equality (Noronha et al., 13 Oct 2025). A plausible implication is that local diversity in such models is fundamentally interfacial: diversity is stabilized on boundaries where local coordination and global distinctiveness are both active.

In NLP on African linguistic variation, local diversity refers to dialectal, orthographic, and community-specific variation rather than merely to language counts. The paper on African local dialects describes local linguistic diversity as distinct dialects, hybridized writing practices, code-switching, varied orthographies, local semantics, and community-specific usage patterns, notes that Africa has over 2,000 languages and dialects, and studies TUNIZI as a Tunisian Arabizi case (Margani et al., 2023). The term is thus sociolinguistic and corpus-local: it concerns language use in particular communities and digital settings.

4. Temporal windows and operating-point locality

Video summarization makes locality temporal. In DySeqDPP, local diversity is defined explicitly as follows: shots selected from a short time duration should be diverse, but visually similar shots are allowed to co-exist in the summary if they appear far apart in the video. The model therefore replaces fixed temporal segments by dynamically chosen ones. At time $\mathcal M^i$7, the action is

$\mathcal M^i$8

where $\mathcal M^i$9 is the selected subset from the current segment and $p_{(i|j)}$0 is the predicted length of the next segment. The policy factorizes as

$p_{(i|j)}$1

with $p_{(i|j)}$2 implemented by a conditional DPP and $p_{(i|j)}$3 by a softmax over segment lengths (Li et al., 2018). Local diversity here is therefore neither global frame diversity nor fixed-window nonredundancy; it is a learned temporal support for diversity constraints.

A related but architecturally distinct formulation appears in SUM-DCA. That model separates global diversity from local context. Global diverse attention replaces dot-product affinity by negative squared Euclidean distance,

$p_{(i|j)}$4

while local contextual attention operates on a temporal window

$p_{(i|j)}$5

and computes

$p_{(i|j)}$6

The stated role of this local contextual attention is to recognize the most informative frame among similar adjacent frames and to avoid redundancy during summary generation (Pan et al., 2022). This suggests a narrower interpretation of local diversity in sequential media: within a short temporal neighborhood, diversity is operationalized as local representative selection under redundancy suppression.

Wireless reliability theory uses “local diversity” in a different sense of locality: locality in the operating regime rather than in space or time. For an uncorrelated Rician SIMO array with maximal ratio combining and effective power gain CDF $p_{(i|j)}$7 and PDF $p_{(i|j)}$8, the paper defines

$p_{(i|j)}$9

This is the local log-log slope of the outage CDF at threshold $p_{(j|i)}$0, and the classic diversity order is recovered only in the deep tail,

$p_{(j|i)}$1

The authors show that for more than four independent antenna elements, classic diversity can overestimate or underestimate the UR-relevant slope depending on the strength of the deterministic component (Abraham et al., 2021). Here local diversity is not subset diversity; it is slope locality at a specified outage probability.

5. Preference domains and geometric local structure

In social choice, local diversity is formalized by abundance, an egalitarian minimum-over-subsets criterion. For a domain $p_{(j|i)}$2, the restriction to a $p_{(j|i)}$3-subset $p_{(j|i)}$4 is $p_{(j|i)}$5, and

$p_{(j|i)}$6

The associated local-diversity index is

$p_{(j|i)}$7

This generalizes ampleness and copiousness: $p_{(j|i)}$8 For Condorcet domains, maximal Black’s and Arrow’s single-peaked domains are exactly $p_{(j|i)}$9-abundant for every $\Delta_k(D)=\min_{|A|=k}|D(A)|$0, and a Ramsey-theoretic ceiling theorem implies that for fixed $\Delta_k(D)=\min_{|A|=k}|D(A)|$1 and sufficiently large $\Delta_k(D)=\min_{|A|=k}|D(A)|$2, no Condorcet domain can exceed $\Delta_k(D)=\min_{|A|=k}|D(A)|$3 local diversity on all $\Delta_k(D)=\min_{|A|=k}|D(A)|$4-subsets (Karpov et al., 2024). The paper also shows that maximizing local diversity is not the same as maximizing domain size: from $\Delta_k(D)=\min_{|A|=k}|D(A)|$5, maximal Condorcet domains with highest abundance need not be those of maximum order.

Geometric packing theory uses local diversity differently, as variability of optimal local configuration. In the densest local packing problem in $\Delta_k(D)=\min_{|A|=k}|D(A)|$6, one fixes a central sphere and minimizes

$\Delta_k(D)=\min_{|A|=k}|D(A)|$7

over $\Delta_k(D)=\min_{|A|=k}|D(A)|$8 surrounding sphere centers $\Delta_k(D)=\min_{|A|=k}|D(A)|$9. The paper reports wide variability in densest local packings, including exact and approximate tetrahedral, octahedral, and imperfect icosahedral motifs, pervasive rattlers, and strong outer-shell dominance. For $2R+1$0 it identifies the only DLP optimal packing found in either $2R+1$1 or $2R+1$2 with perfect tetrahedral symmetry; for many $2R+1$3, optimal packings are dominated by the number of spheres on the outer shell at radius $2R+1$4 (Hopkins et al., 2010). A plausible implication is that “local diversity” can also refer to multiplicity and structural variation among exact local optima even when the corresponding infinite system has a fixed global density.

6. Learning systems, archives, and intra-client model diversity

In one-shot sequential federated learning, local diversity becomes intra-client model diversity. FedELMY assigns each client $2R+1$5 a local model pool $2R+1$6, initializes each new local model from the current pool average,

$2R+1$7

and trains it with the objective

$2R+1$8

where

$2R+1$9

The outgoing model passed to the next client is the pool average

$L_t$0

On CIFAR-10, the method yields more than $L_t$1 absolute accuracy improvement over strong one-shot SFL baselines (Wang et al., 2024). Local diversity here is explicitly parameter-space diversity within one client, counterbalanced by a drift-control term that anchors local exploration to the incoming model.

Archive design for multi-objective local search introduces yet another locality: the distinction between objective-space diversity and solution-space diversity in a neighborhood-based search. The paper argues that bounded archives are active search components, so diversity should also be managed in solution space, not only in objective space. Its Hamming Distance Archiving Algorithm scores an archived solution $L_t$2 by

$L_t$3

and removes the solution with smallest total Hamming distance contribution when the archive is full. Empirically, HDAA outperforms Adaptive Grid Archiving, due to Knowles and Corne, and Hypervolume Archiving, based on Fleischer’s procedure, especially on larger bi-objective TSP instances (Coco et al., 4 Feb 2026). The concept of local diversity is therefore tied to the neighborhoods actually explored by local search rather than to front coverage alone.

In RL with verifiers for LLM reasoning, DSDR decomposes diversity into global trajectory-level diversity and local token-level diversity. The local component is a length-invariant, correct-only entropy regularizer,

$L_t$4

where the weights $L_t$5 are allocated according to global distinctiveness,

$L_t$6

The stated purpose is to prevent correct-mode collapse within a reasoning mode while global diversity preserves distinct solution modes (Wan et al., 23 Feb 2026). Local diversity is thus intra-mode support broadening under a correctness mask.

7. Evolutionary search, local competition, and population-level traps

Quality-diversity and related evolutionary methods often speak of local competition rather than local diversity, but the underlying issue is similar: diversity must be maintained relative to behaviorally nearby alternatives. Dominated Novelty Search reformulates QD as a genetic algorithm with transformed fitness

$L_t$7

and defines, for solution $L_t$8,

$L_t$9

where $\mathcal S\subset\{1,\dots,N\}$0 are the $\mathcal S\subset\{1,\dots,N\}$1 nearest fitter solutions in descriptor space. Local competition is therefore dynamic and relative rather than cell-based or threshold-based, unlike MAP-Elites or threshold archives (Bahlous-Boldi et al., 1 Feb 2025). This suggests a notion of local diversity defined by behavioral distinctiveness from nearby better solutions.

On $\mathcal S\subset\{1,\dots,N\}$2, the $\mathcal S\subset\{1,\dots,N\}$3 GA exhibits a different local-diversity phenomenon: useful diversity arises among same-fitness plateau individuals. The benchmark is

$\mathcal S\subset\{1,\dots,N\}$4

and once the population sits on the plateau $\mathcal S\subset\{1,\dots,N\}$5, crossover becomes useful only if distinct plateau genotypes carry different missing 1-bits. The paper proves that crossover and mutation can catalyze a burst of such local plateau diversity, improving runtime by $\mathcal S\subset\{1,\dots,N\}$6 over mutation-only algorithms under standard mutation, and by $\mathcal S\subset\{1,\dots,N\}$7 if the mutation rate is increased from $\mathcal S\subset\{1,\dots,N\}$8 to $\mathcal S\subset\{1,\dots,N\}$9 for arbitrarily small constant $\mathcal S$00 (Dang et al., 2016). Here locality is population-local and fitness-flat: the decisive diversity is genotypic heterogeneity within a single local-optimum layer.

The strongest population-level statement appears in the study of diversity optimization for $\mathcal S$01-vertex cover. There the objective is not a single solution but a population $\mathcal S$02 of size $\mathcal S$03, maximizing total Hamming diversity

$\mathcal S$04

subject to feasibility of all members. The paper constructs instances with a population that is locally optimal in the sense that every feasible one-individual replacement decreases diversity, although replacing at least two individuals simultaneously would improve it. This shows that a $\mathcal S$05-type algorithm can be trapped forever in a suboptimal population. To overcome the barrier, the paper studies the $\mathcal S$06 EA with $\mathcal S$07 and proposes the $\mathcal S$08 EA$\mathcal S$09, a population-level analogue of the $\mathcal S$10 EA; both can find an optimal diverse population efficiently when combined with a jump-and-repair mutation inspired by Branson and Sutton (Antipov et al., 2024). Local diversity here is explicitly a property of the landscape over populations, not over individual solutions.

Taken together, these formulations show that local diversity is not a minor variant of global diversity. It is a redefinition of where diversity is measured, what interactions matter, and which moves count as improvements. Depending on the field, the relevant locality may be a patch, a subset, a node neighborhood, a time window, an outage threshold, an intra-client model pool, or a population neighborhood. The unifying theme is that diversity becomes scientifically meaningful only after the neighborhood of comparison has been specified.