Split-Family Spectrum Overview

• Split-family spectrum is a hierarchical structure that classifies objects into groups with distinct scales or properties to reconcile conflicting constraints.
• It plays a key role in supersymmetric models by separating sfermion masses and in topology through spectral splittings that simplify complex homotopy structures.
• The concept also extends to set theory and population genetics, using combinatorial and stochastic methods to precisely quantify splitting behaviors.

A split-family spectrum refers to a hierarchical structure on a “family” of objects in mathematics or physics, where the collection naturally decomposes into classes with markedly different properties or scales. This paradigm appears in several contemporary research topics, most notably in supersymmetric (SUSY) extensions of the Standard Model, set theory and infinite combinatorics, algebraic topology via spectral splittings, and stochastic models in evolutionary biology. Each field instantiates the split-family spectrum via precise structural and quantitative frameworks, typically motivated by the requirement to reconcile apparently conflicting physical or mathematical constraints.

1. Split-Family Spectrum in Supersymmetric Theories

In supersymmetric model building, a split-family (or split-generation) spectrum refers to a scenario where the soft SUSY-breaking scalar masses associated with different fermion generations are hierarchically separated. The minimal realization assumes two classes:

• First and second generation sfermion (squark, slepton) masses $m_{\tilde f_{1,2}}$ at the scale $\mathcal{O}(10^2$–$10^3\,{\rm GeV})$.
• Third generation sfermion masses $m_{\tilde f_3}$ at $\mathcal{O}(10^4\,{\rm GeV})$.

This hierarchy preserves flavor constraints and FCNC suppression (via heavy $3^{\rm rd}$ generation) while accommodating light states needed for phenomena such as the muon $g-2$ anomaly and providing radiative corrections suitable for a 125 GeV Higgs (Endo et al., 2010, Jones-Perez, 2013, Ibe et al., 2013, Ibe et al., 2019).

Relevant soft mass matrices take a block-diagonal form, e.g., for sfermions,

$$m_{\tilde f}^2 = \begin{pmatrix} m_0^2 & 0 & 0 \ 0 & m_0^2 & 0 \ 0 & 0 & m_3^2 \end{pmatrix},$$

with $m_3^2 \gg m_0^2$. Supersymmetric FCNCs, EDMs, and lepton flavor violation are naturally suppressed for CKM-like mixing structures, and the leading new-physics effects appear in $B_s$-mixing and rare decays. In split-family scenarios, collider signals manifest as light squark/gluino production and potentially long-lived sleptons depending on the details of the gaugino spectrum.

Spectrum Features in U(2)$^5$ Models

Extended flavor symmetries (e.g., U(2)$^5$) yield technically natural split-family spectra by assigning heavier masses to the first two “doublet” generations and a lighter “singlet” third family. When implementing appropriate spurion insertions, these symmetry structures can simultaneously suppress dangerous off-diagonal soft terms and generate realistic Yukawa/mixing patterns, as in the lepton sector with shifted U(2)$^2$ symmetry (Jones-Perez, 2013).

2. Split-Family Spectrum in Set Theory and Infinite Combinatorics

In infinite combinatorics, splitting families or split-family spectra address the existence and minimal cardinality of families of sets with strong partitioning or “splitting” properties. For infinite cardinals, a fundamental result (extending Miller’s classical theorem) asserts:

If $\nu$ is an infinite cardinal and $\rho \geq \beth_\omega(\nu)$, then any family $\mathcal{A} \subseteq [X]^\rho$ of $\rho^+$ many subsets of $X$ (with $|X|=\rho$) admits a splitting subfamily $\mathcal{S} \subseteq \mathcal{A}$ of size $\rho$. That is, for every $Y \in [X]^\rho$, there exists $S \in \mathcal{S}$ with $|S \cap Y| = |S \setminus Y| = \rho$ (Kojman, 2012).

This spectrum result provides a complete ZFC characterization:

$$\bigl\{ (\nu, \rho) : \rho \geq \beth_\omega(\nu) \bigr\}$$

is the precise range for guaranteed splitting. Below this threshold, independence phenomena occur.

Further, the notion of the $X$-splitting number $\mathfrak{s}_X$ refines the spectrum in the context of asymptotic density. For $X \subseteq [0,1]$, $\mathfrak{s}_X$ is the smallest size of a family $\mathcal{S}$ of infinite-coinfinite subsets of $\omega$ such that for any $R \in [\omega]^\omega$, there exists $S \in \mathcal{S}$ and $r \in X$ with relative density $d_R(S)=r$. The spectrum of possible values for $\mathfrak{s}_X$ is tightly sandwiched by classical invariants:

$$\mathrm{cov}(\mathcal{M}) \leq \mathfrak{s}_X \leq \mathrm{non}(\mathcal{N}),$$

with exact equality $\mathfrak{s}_0 = \mathrm{cov}(\mathcal{M})$ for $X=\{0\}$ or $X=\{1\}$, and all further splitting-family independence questions (i.e., existence of strictly intermediate values, or fine distinctions among $\mathfrak{s}_X$) remain open (Valderrama, 26 Jun 2025).

3. Split-Family Spectra via Spectral Splittings in Topology

In stable homotopy theory, a “split-family spectrum” can also refer to the explicit decomposition of a sophisticated spectrum into a direct sum (“handlebody”) of simpler constituent spectra in an appropriate range. For instance, recent advances have established that the Madsen–Tillmann spectrum $MT\theta_n$ splits, after truncation, into a direct sum:

$$\tau_{\leq \ell}MT\theta_n \simeq \Sigma^{-2n}MO\langle n+1\rangle \oplus \Sigma^{\infty-2n} \mathbb{R}P^\infty_{2n},$$

for $\ell = \lfloor n/2 \rfloor - 6$, with Postnikov truncation. The splitting arises via a nullhomotopy of a connecting map in a cofiber sequence, made precise using Adams filtration arguments. As an application, this spectral decomposition directly determines the low-dimensional (co)homology of associated diffeomorphism groups (Pedersen et al., 13 Mar 2025).

This type of split-family phenomenon does not refer to families of sets or fields, but to a family of spectra whose stable homotopy-theoretic “splitting” reflects deep structural decompositions.

4. Split-Family Spectrum in Branching Processes and Population Genetics

In stochastic models of population genetics, the split-family spectrum quantifies the partition of a population into families (clonal lineages) by allele type under neutral Poissonian mutation in a splitting-tree process. The splitting tree, a binary Crump–Mode–Jagers process, models evolving lineages with independent life spans and constant birth rates. Under infinite-alleles mutation (rate $\theta$), the alive population at time $t$ is partitioned according to type, and the split-family (allele-frequency) spectrum is

• $A(k,t)$: the number of distinct alleles each carried by exactly $k$ individuals at time $t$;
• $A(t) = \sum_{k\ge 1} A(k,t)$: total number of distinct alleles.

Key facts about this spectrum include:

• Exact, Ewens-type formulae for $\mathbb{E}[A(k,t)\mid N_t=n]$ in terms of scale functions $W$, $W_\theta$.
• Large-$t$ (large-population) almost-sure limits $A(k,t)/N_t \to U_k$ with explicit integral expressions for $U_k$; likewise, $A(t) / N_t \to U$.
• Explicit computation of expected homozygosity via backward Kolmogorov equations.
• Generalization to arbitrary lifetime distributions (beyond exponential) and connection to classical birth–death–mutation results in limiting cases (Champagnat et al., 2010).

The table below summarizes the central quantities:

Symbol	Meaning	Limiting Behavior / Formula
$A(k, t)$	Number of alleles at frequency $k$ at time $t$	$$\mathbb{E}[A(k, t) | N_t = n] = n \int_0^t \theta e^{-\theta x} \frac{(1 - 1/W_\theta(x))^{k-1}}{W_\theta(x)^2} dx$$
$U_k$	Asymptotic fraction of population in type-$k$ lineages	$$U_k = \int_0^\infty \theta e^{-\theta x} (1 - 1/W_\theta(x))^{k-1} \frac{dx}{W_\theta(x)^2}$$
$A(t)$	Total number of alleles at time $t$
$U$	Asymptotic fraction of distinct alleles ($U = \sum_k U_k$)	$$U = \int_0^\infty \theta e^{-\theta x} \left(\frac{W(x) - 1}{W(x)}\right) dx$$

These results rigorously characterize both the time-dependent and stationary “split” of lineages into families by descent.

5. Interpretational and Methodological Remarks

The split-family concept invariably emerges in domains where structural hierarchies resolve tension between different types of constraints: unification versus flavor suppression (SUSY), combinatorial dichotomies at cardinal thresholds (set theory), decomposability of homotopy-theoretic objects, or the statistics of evolving populations under mutation and reproduction.

Methodological unification comes from:

• Hierarchical block-matrix structures, with different blocks associated to families with widely varying scales.
• Explicit combinatorial constructions (as in splitting and reaping numbers).
• Homological and spectral sequences to realize stable splittings.
• Use of Poisson processes and random characteristics in branching process models.

Each framework delivers a precise, sometimes optimal, spectrum or classification of split-family behaviors, often fixed by foundational theorems (e.g., Shelah’s Revised GCH, Jagers–Nerman theorems, spectral splitting results).

6. Open Questions and Future Directions

Open problems in split-family spectra are area-dependent:

• In set-theoretic splitting numbers, the possibility of models distinguishing different intermediate $\mathfrak{s}_X$ values beyond the ZFC “sandwich” is unresolved (Valderrama, 26 Jun 2025).
• In SUSY, LHC and flavor physics continue to constrain the parameter space, and forthcoming experiments (e.g., MEG, Belle II) are poised to test the low-lying split-family signatures, especially in lepton flavor violation and rare decays (Ibe et al., 2019, Jones-Perez, 2013).
• In topology, further advances in Adams-vanishing lines and Postnikov splittings may continue to refine the range and ramifications of spectral decompositions (Pedersen et al., 13 Mar 2025).
• In stochastic genealogy, the extension of split-family spectrum formulae to models with additional structure (selection, frequency-dependent reproduction, bottlenecks) remains an active area (Champagnat et al., 2010).

The split-family spectrum thus serves as a cross-disciplinary framework for structurally stratified phenomena, whose precise realization depends on the technical architecture—algebraic, analytic, or combinatorial—of the ambient domain.