Separated Doubling Property in Analysis

• Separated Doubling Property is a refinement of classical doubling that incorporates separation constraints within various mathematical frameworks.
• It underpins integral criteria in generalized Fock-space determinantal processes, linking point separation with intrinsic process repulsion.
• It also arises in grid-restricted and weak doubling contexts, highlighting nuanced distinctions between local doubling control and global separation.

Searching arXiv for the cited papers and related uses of “Separated Doubling Property.” In current arXiv literature, the expression Separated Doubling Property does not denote a single universally standardized definition. Rather, it appears in several mathematically distinct settings in which a doubling condition is coupled to a separation requirement, a separated family of sets, or a weakened choice-dependent form of doubling. One explicit usage occurs for determinantal point processes associated with generalized Fock spaces, where an integral criterion characterizes when the random configuration is almost surely a separated sequence (Lamberti et al., 4 Feb 2025). Related usages arise for measures that are doubling on several $n$-adic grids but fail to be globally doubling (Anderson et al., 2023, Anderson et al., 2020), for weak variants of doubling that depend on a favorable representation of a ball (Aldaz, 2019), and for packing statements that bound the cardinality of well-separated sets in doubling metrics (Borradaile et al., 2017). This suggests that the term functions as an umbrella for several separation-sensitive refinements of doubling rather than as a single fixed definition.

1. Foundational doubling notions

A metric space $(X,d)$ is doubling with constant $D$ if every ball of finite radius can be covered by at most $D$ balls of half the radius: $B_r(x)=\{y\in X:d(x,y)\le r\}.$ A quasi-metric version replaces the triangle inequality by

$d(x,y)\le K\max\{d(x,z),d(z,y)\},$

whenever the right-hand side is defined and finite (Heer, 2016).

A Borel measure $\mu$ on a metric space $(X,d)$ is doubling if there exists $C>0$ such that for every $x\in X$ and every $(X,d)$0,

$(X,d)$1

In the measure-theoretic setting, the central issue is growth under radius doubling; in the metric setting, the central issue is covering by smaller balls (Aldaz, 2019).

Separation enters through additional structures. In the complex plane, a sequence $(X,d)$2 is separated if

$(X,d)$3

In metric geometry, separation often appears as an $(X,d)$4-separation condition on finite sets, while in dyadic and $(X,d)$5-adic analysis it appears through restrictions to families of intervals that are separated by the underlying grid (Lamberti et al., 4 Feb 2025).

2. Explicit use in generalized Fock-space determinantal processes

In (Lamberti et al., 4 Feb 2025), the term is used in a precise probabilistic-analytic setting. Let $(X,d)$6 be subharmonic, let $(X,d)$7 be doubling in the sense that

$(X,d)$8

and define the associated radius function $(X,d)$9 by

$D$0

The paper imposes the natural assumption

$D$1

For the determinantal point process $D$2 associated to the generalized Fock space $D$3, the main characterization is: $D$4 In that paper, this integral criterion is termed the Separated Doubling Property (Lamberti et al., 4 Feb 2025).

The criterion is sharpened by comparison with a Poisson process having the same first intensity,

$D$5

For the canonical weight $D$6, $D$7, one has

$D$8

and the associated determinantal process $D$9 is almost surely separated if and only if $D$0, whereas the corresponding Poisson process $D$1 is almost surely separated if and only if $D$2 (Lamberti et al., 4 Feb 2025). The paper interprets this gap as a manifestation of intrinsic repulsion in determinantal processes.

3. Adic and grid-restricted forms of separated doubling

A distinct strand of the literature concerns measures that satisfy doubling only along selected grids. For $D$3, the $D$4-adic system on $D$5 consists of intervals

$D$6

A measure $D$7 is $D$8-adic doubling if there exists $D$9 such that for all sibling $B_r(x)=\{y\in X:d(x,y)\le r\}.$0-adic intervals $B_r(x)=\{y\in X:d(x,y)\le r\}.$1,

$B_r(x)=\{y\in X:d(x,y)\le r\}.$2

Every global doubling measure is $B_r(x)=\{y\in X:d(x,y)\le r\}.$3-adic doubling for each $B_r(x)=\{y\in X:d(x,y)\le r\}.$4, but the reverse is not true (Anderson et al., 2023).

The main theorem of (Anderson et al., 2023) states that for any finite set $B_r(x)=\{y\in X:d(x,y)\le r\}.$5 of integers $B_r(x)=\{y\in X:d(x,y)\le r\}.$6, there exists a measure that is $B_r(x)=\{y\in X:d(x,y)\le r\}.$7-adic doubling for each $B_r(x)=\{y\in X:d(x,y)\le r\}.$8, but not globally doubling. An earlier result proves the analogous statement for any finite collection of primes: there exists an infinite family of measures on $B_r(x)=\{y\in X:d(x,y)\le r\}.$9 that are $d(x,y)\le K\max\{d(x,z),d(z,y)\},$0-adic doubling for each $d(x,y)\le K\max\{d(x,z),d(z,y)\},$1, but not globally doubling (Anderson et al., 2020). In both papers, the phenomenon is presented as a failure of local-to-global reconstruction.

The constructions are recursive and highly nonuniform. In (Anderson et al., 2020), weights $d(x,y)\le K\max\{d(x,z),d(z,y)\},$2 are assigned to children with

$d(x,y)\le K\max\{d(x,z),d(z,y)\},$3

and after $d(x,y)\le K\max\{d(x,z),d(z,y)\},$4 recursive steps one obtains

$d(x,y)\le K\max\{d(x,z),d(z,y)\},$5

so that

$d(x,y)\le K\max\{d(x,z),d(z,y)\},$6

Thus adjacent intervals of equal length can have unbounded measure ratios, even though all selected adic sibling ratios remain uniformly bounded (Anderson et al., 2020).

This usage motivates a natural interpretation of separated doubling as doubling verified on several separated or grid-constrained families of intervals, but not globally. The same mechanism yields applications to reverse Hölder classes, Muckenhoupt $d(x,y)\le K\max\{d(x,z),d(z,y)\},$7 weights, Hardy spaces, BMO, and VMO: finite intersections of $d(x,y)\le K\max\{d(x,z),d(z,y)\},$8-adic versions do not recover the full global classes (Anderson et al., 2023).

4. Weak doubling and choice-dependent representations of balls

A third usage emerges from the non-uniqueness of centers and radii in arbitrary metric spaces. In (Aldaz, 2019), the paper does not introduce a single explicit “Separated Doubling Property” by name, but it studies variants and weakenings of doubling in precisely this direction. The key point is that a ball may admit several different “names,” meaning different choices of center and radius that generate the same set.

Standard doubling requires the inequality

$d(x,y)\le K\max\{d(x,z),d(z,y)\},$9

for all representations $\mu$0 of a ball. By contrast, weak doubling or weak $\mu$1-bling requires that for every ball $\mu$2, there exists some representation $\mu$3 such that

$\mu$4

When $\mu$5, this is weak doubling; when $\mu$6, weak tripling (Aldaz, 2019).

The significance of this weakening is that it exploits non-uniqueness. In ultrametric spaces, every point of a ball can serve as its center, so favorable names can exist even when uniform control over all names fails. The paper states that weak doubling is strictly weaker than standard doubling, and that none of the Besicovitch covering properties is equivalent to weak or standard doubling in arbitrary metric spaces (Aldaz, 2019).

The analytic consequences are selective. If $\mu$7 is weakly $\mu$8-bling, then the uncentered Hardy-Littlewood maximal operator is of weak type $\mu$9 with constant at most $(X,d)$0. For the centered maximal operator, weak tripling is required, and weak $(X,d)$1-bling with $(X,d)$2 fails to guarantee weak type $(X,d)$3 (Aldaz, 2019). In this sense, the separated or weak form captures genuine geometric information, but less than full doubling.

5. Separation, packing, and combinatorial characterizations of doubling

In geometric applications, the phrase “separated doubling property” often refers less to a formal definition than to the consequences of doubling for separated configurations. In (Borradaile et al., 2017), the term is not given as a separate definition; its role is identified with the packing property of doubling metrics. If a metric space has doubling dimension $(X,d)$4, then every ball of radius $(X,d)$5 can be covered by $(X,d)$6 balls of radius at most $(X,d)$7, and any $(X,d)$8-separated subset $(X,d)$9 contained in a ball of radius $C>0$0 satisfies

$C>0$1

This bound is the core tool in the proof that greedy spanners are optimal in doubling metrics (Borradaile et al., 2017).

The same paper uses the packing estimate to bound the degree of a cluster in a cluster graph. When neighboring cluster centers are at distance $C>0$2 but lie within a ball of radius $C>0$3, the number of neighbors is at most

$C>0$4

Thus separation plus doubling yields polynomial control in the scale ratio, with exponent governed by doubling dimension (Borradaile et al., 2017).

A related combinatorial characterization appears in (Gill, 2012). For a finite subset $C>0$5, let

$C>0$6

A point $C>0$7 is $C>0$8-supported if

$C>0$9

The main theorem states that a metric space carries a Benjamini-Schramm lemma if and only if it is doubling (Gill, 2012). Non-doubling spaces admit arbitrarily large finite sets that are well separated yet contained in a bounded region, so many points become highly supported. This gives a finitary characterization of doubling through separation patterns in finite subsets.

6. Invariance, robustness, and related geometric properties

The qualitative robustness of doubling under geometric transformations is established in (Heer, 2016). If $x\in X$0 is doubling and $x\in X$1 is a quasi-Möbius homeomorphism, then $x\in X$2 is also doubling. The proof uses a factorization theorem: any quasi-Möbius homeomorphism can be written as

$x\in X$3

where $x\in X$4 is quasi-symmetric and $x\in X$5 are either metric inversions or the identity. Since doubling is already known to be invariant under quasi-symmetric maps, the essential technical step is invariance under metric inversion (Heer, 2016).

For a point $x\in X$6, metric inversion is defined by

$x\in X$7

The paper proves that if $x\in X$8 is doubling with constant $x\in X$9, then $(X,d)$00 is also doubling, with a controlled new doubling constant. An appendix extends the argument from metric spaces to quasi-metric spaces (Heer, 2016).

The same paper shows that uniform disconnectedness is invariant under quasi-Möbius maps, while Assouad dimension is not preserved, even though finite Assouad dimension is equivalent to doubling (Heer, 2016). This suggests that qualitative covering and separation properties are more stable under quasi-Möbius equivalence than quantitative dimension data. The paper also gives an application: complete, doubling, uniformly perfect, and uniformly disconnected spaces are quasi-Möbius equivalent to a symbolic Cantor set (Heer, 2016).

7. Conceptual synthesis

Across these literatures, the recurring theme is the tension between local doubling control and global geometric separation. In generalized Fock-space determinantal processes, separated doubling is an exact integral criterion for almost sure separation of random point sets (Lamberti et al., 4 Feb 2025). In adic analysis, it marks the fact that a measure can be doubling on several prescribed grids while failing to be globally doubling (Anderson et al., 2023). In general metric spaces, weak doubling isolates the dependence of doubling estimates on the choice of center and radius, exploiting the non-uniqueness of ball representations (Aldaz, 2019). In doubling metrics, separation manifests through packing bounds and through the scarcity of highly supported points (Borradaile et al., 2017, Gill, 2012).

No single formal definition subsumes all of these uses. What is common is the replacement of unrestricted doubling by a version sensitive to separation: separation of points, separation of scales, separation of interval systems, or separation of admissible representations. In that sense, the expression Separated Doubling Property identifies a class of phenomena rather than a unique axiom, and its precise meaning must be read from the surrounding framework.