Aggregation¶
Core Idea¶
Aggregation collapses many items into a unified form that retains chosen features while suppressing granular detail, formalized in classical statistics as the reduction of a sample to a summary statistic (Fisher, 1925). [1] It is the structural inverse of decomposition: the act of losing information deliberately, and deciding which information to lose, constitutes a primary design choice. Any aggregation function (mean, sum, maximum, winning vote, rolled-up budget) encodes a claim about what matters.
How would you explain it like I'm…
Squishing Many Into One
Combining Lots Into One Summary
Many-to-One Summary
Structural Signature¶
Aggregation has the structural signature of a many-to-one mapping from a high-dimensional sample space to a lower-dimensional summary space, a form Halmos and Savage (1949) placed within measure theory through their factorization theorem for sufficient statistics. [2]
Characteristic phrases:
- Collapse boundaries; preserve selective features.
- Trade granularity for tractability.
- Choose loss; encode priority.
- Map-many-to-one.
Formally: an aggregation function φ takes a multiset of items {x₁, x₂, …, xₙ} and a selection rule S (defining what to aggregate and how) and returns a summary Y = φ(S({x₁, …, xₙ})) such that dim(Y) < dim({x₁, …, xₙ}). The function φ is idempotent only if applied to items already at the target granularity.
What It Is Not¶
Distinguishing aggregation from neighboring operations such as compression, simple averaging, sampling, and binning matters because each makes a different commitment about what is preserved and what is destroyed, as Cox and Hinkley (1974) develop in their canonical treatment of statistical inference and data reduction. [3]
Aggregation is not: - Compression alone: compression reduces representation without necessarily collapsing semantics; aggregation deliberately collapses semantics. - Simple averaging: averaging is one aggregation function, but aggregation includes medians, modes, sums, concatenation, voting, and pooling. - Sampling: sampling selects a subset; aggregation combines all (or a weighted subset) into a single statistic. - Binning: binning groups similar values into buckets; aggregation summarizes across boundaries.
The distinguishing feature is intentional loss of distinguishing information at the granular level in favor of a single measure or representation.
Broad Use¶
Aggregation pervades statistical analysis, social choice, economic accounting, machine learning, ecology, and organizational reporting; despite differing vocabularies, the operation is structurally identical—reducing a multiset of inputs to a single representative summary—as documented across Fisher's (1925) statistical foundations and the literatures that followed. [4]
- Statistics & experimental design (Fisher, 1925): mean, variance, percentile, sufficient statistic. Aggregation of samples into moments and quantiles. The sufficient statistic—a summary that preserves likelihood for inference—is aggregation's epistemic ideal.
- Social choice & voting (Arrow, 1951): combining individual preferences into collective decisions. Voting rules (plurality, Condorcet, proportional representation) are aggregation functions. Arrow's impossibility theorem: no aggregation rule simultaneously satisfies transitivity, IIA, and non-dictatorship.
- Economics & national accounting (Leontief, 1966): GDP as aggregation of sectoral output. Market indices (S&P 500) aggregate stock prices. Input-output tables aggregate supply chains. Household consumption rolled into aggregate demand.
- Machine learning (Breiman, 1996; McMahan et al., 2017): ensemble methods (bagging, boosting, stacking) aggregate weak learners. Federated learning aggregates local model updates without centralizing data. Knowledge distillation aggregates ensemble knowledge into a single model.
- Ecology & population biology: species abundance counts aggregate observations across sites and times. Capture-recapture aggregates sighting patterns to estimate population size. Biodiversity indices aggregate species richness and evenness.
- Organizational reporting & data warehousing: KPI rollups aggregate departmental metrics into executive dashboards. Budget consolidation aggregates spending across cost centers. OLAP cubes aggregate multidimensional data (time, geography, product line) into hypercubes for analysis.
- Epidemiology & public health: case counts and incidence rates aggregate individual infections into population-level statistics. Seroprevalence surveys aggregate antibody measurements to infer population immunity.
Clarity¶
Aggregation names the moment when multiple distinct entities are deliberately collapsed into a unified measure or category—a designed moment of information loss whose generality is captured by Shannon's (1948) information-theoretic framing of the channel between source and summary. [5] It surfaces the unavoidable tradeoff: aggregation always loses information. No aggregation function preserves all properties of its inputs. What is aggregated, how it is aggregated, and which distinctions are preserved define what signal survives compression and what is discarded—often silently.
The term clarifies intent: aggregation is not accidental or forensic; it is a designed choice to trade detail for communicability and computational tractability.
Manages Complexity¶
Aggregation bounds cognitive and computational load by reducing dimensionality—a function central to working-memory limits as Miller (1956) characterized in his analysis of "the magical number seven" and chunking as a strategy for tractable representation. [6]
A dataset of 10 million individual transactions, each with 50 attributes, exceeds human and often computational grasp. Aggregating by account, product line, and time period yields a matrix of tens of thousands of cells—still large, but navigable. Aggregating further to daily portfolio returns and sector summaries yields a dashboard.
Each aggregation operation: - Reduces the number of entities to track. - Lowers memory and storage costs. - Speeds inference and computation. - Enables decision-making at multiple scales simultaneously.
The cost is opacity: what is hidden in the summary? Simpson's paradox (Yule, 1903; Simpson, 1951) illustrates the danger: a trend visible in aggregated data may reverse within subgroups, revealing that the aggregation concealed heterogeneity.
Abstract Reasoning¶
Aggregation prompts reasoning about what is lost, whose perspective survives, and how distortion is introduced under compression—questions central to Pearl's (2009) causal-inference treatment of confounding, collapsibility, and the failure of marginal associations to track conditional structure. [7]
Aggregation invites abstract reasoning about: - What is lost? Averaging hides bimodality. Rolling up by region erases local variation. Ensemble voting obscures dissenting opinions. The inverse question—what signal remains?—is rarely posed. - Whose perspective survives? GDP aggregates value; it does not show distribution. A market index weights by capitalization, so small-cap moves are invisible. A democratic vote aggregates to a single winner; minority preferences are structurally erased. - Does aggregation distort or mask? Simpson's paradox: a strategy may improve overall but harm all subgroups. Goodhart's law: a measure becomes a target, distorting behavior. An aggregation function, by design, is vulnerable to gaming and misapplication. - Is the aggregation a sufficient statistic? In Bayesian inference, a sufficient statistic preserves all information needed for inference about a parameter. Most real-world aggregations are not sufficient; they lose information irretrievably.
Knowledge Transfer¶
The aggregation schema recurs across domains, and methods often transfer cleanly even when tradeoffs must be rethought; ensemble averaging in machine learning, for example, was explicitly imported from the statistical aggregation tradition by Breiman (1996) when introducing bagging predictors. [8]
The schema—select items, choose a function, compute the summary—appears in: - Voting systems (select ballots, apply voting rule, produce result). - Sampling theory (select observations, compute statistic, infer population). - Financial reporting (select transactions, apply consolidation rule, produce balance sheet). - Machine learning ensembles (select weak learners, apply voting or averaging, produce strong learner). - Ecological abundance (select survey plots, apply statistical estimator, infer population size).
Methods transfer cleanly across these domains. A weighted average of classifier outputs in ML is structurally similar to weighted voting in social choice. Federated learning mirrors survey design: aggregate local information without centralizing raw data.
Yet the tradeoffs must be rethought each time. A voting rule that works for 100 voters may fail for a billion. A sufficient statistic for one inference task may be inadequate for another. Transfer requires vigilance about context.
Examples¶
Formal/abstract¶
The formal examples below illustrate aggregation as a function φ that maps a multiset to a summary, with loss by design rather than by accident; Arrow's (1951) impossibility theorem, in particular, exposes that no preference-aggregation function can simultaneously satisfy a small set of plausible normative constraints. [9]
Example 1: Sufficient statistic in sampling
A sample of n observations x₁, …, xₙ from a normal distribution N(μ, σ²). The sample mean x̄ and variance s² together form a sufficient statistic: no other function of the sample can improve inference about μ and σ². Aggregation here loses individual identities but preserves inferential power. Any two samples with the same (x̄, s²) yield identical likelihood. This is aggregation at its ideal: minimum loss for maximum tractability.
Example 2: Arrow's impossibility theorem
Individual preferences over candidates {A, B, C} from n voters. An aggregation function (voting rule) maps the preference profile to a collective preference. Arrow's theorem: no voting rule can simultaneously satisfy: 1. Unrestricted domain (all preference orderings allowed). 2. Pareto efficiency (if all prefer A to B, the collective does too). 3. Independence of irrelevant alternatives (A vs. B collective ranking depends only on A vs. B individual rankings). 4. Non-dictatorship (no single voter determines the outcome).
This impossibility reveals that aggregation of preferences is structurally constrained. Any real voting rule sacrifices at least one property. Aggregation cannot be neutral.
Example 3: Simpson's paradox
A hospital reports that Treatment A has a 90% success rate, Treatment B has 85%, so A is preferred. But within each subgroup (male patients, female patients), B outperforms A. This occurs because more severe cases (lower baseline recovery) received A, biasing the aggregate. The aggregation hid confounding information. Reversing the trend upon disaggregation is Simpson's paradox: aggregation distorted causal inference.
Applied/industry¶
In contemporary practice, aggregation appears in quarterly financial rollups, ensemble model training, federated learning, and portfolio-return reporting; the federated-averaging case in particular was formalized by McMahan et al. (2017) for training deep networks across decentralized data without centralizing the underlying records. [10]
Example 1: Quarterly revenue rollup in software-as-a-service (SaaS)
A SaaS platform tracks daily active users, daily revenue, churn rate, and customer acquisition cost (CAC). Finance aggregates daily metrics to quarterly reports: Q1 2026 revenue = $4.2M, churn = 3.2%, CAC = $150. The aggregation loses: - Seasonality (maybe Q1 is weak; Q2 strong). - Customer cohort heterogeneity (early cohorts have higher lifetime value). - Real-time operational signals (a spike in churn on day 45 is invisible in a 90-day average).
Yet it enables executive summary, board reporting, and year-over-year comparison. The tradeoff is deliberate: visibility into macro trends at the cost of micro operational signals.
Mapped back: Aggregation function = SUM(daily revenue); selection rule S = {all transactions in Q1}; loss = temporal granularity, cohort effects, real-time signal.
Example 2: Federated learning in healthcare
Hospital A, B, C each train a local model on their patient data (which is private and cannot leave the hospital). Each sends local model weights to a central server. The server aggregates: θ_global = (N_A θ_A + N_B θ_B + N_C θ_C) / (N_A + N_B + N_C), where N is the number of patients. This aggregated model is sent back to each hospital for the next round (federated averaging).
The aggregation preserves statistical power (more data improves inference) without centralizing private data. Loss: the global model may not fit any local distribution perfectly; heterogeneous patient populations are flattened into a single global model.
Mapped back: Aggregation function = weighted average of model parameters; selection rule S = {local models from participating hospitals}; loss = local model specialization, heterogeneous patient effects.
Example 3: S&P 500 index
500 large-cap U.S. stocks, weighted by market capitalization. The index aggregates individual stock prices into a single number. It preserves: - Broad U.S. equity market direction. - Correlation structure (a downturn affects most stocks).
It loses: - Performance of mid-cap and small-cap stocks. - Sector rotation (a tech rally may mask energy decline). - Individual stock alpha (outperformance of specific management teams).
Investors use the index as a low-cost benchmark and market health indicator. Yet the index is neither representative of all equities nor sufficient for portfolio construction. It is aggregation in service of a specific use case (market overview) at the cost of omitted segments and false signals.
Mapped back: Aggregation function = weighted average of stock prices; selection rule S = {500 largest-cap stocks, cap-weighted}; loss = mid/small-cap exposure, individual stock variation, sector visibility.
Structural Tensions¶
The first structural tension—the irreversibility of aggregation as an operation that destroys information—follows directly from Shannon's (1948) data-processing inequality: no post-hoc transformation of the summary y can recover information about the inputs x₁, …, xₙ that was discarded in forming y. [11]
T1: Irreversibility. Aggregation destroys information. Once x₁, x₂, …, xₙ are mapped to a single summary y, the individual values are generally unrecoverable. Reverse aggregation (disaggregation) requires auxiliary assumptions or external data. Yet many real-world systems treat aggregation as though it were reversible—assuming that a budget rollup can be perfectly redistributed, or that an ensemble's internal diversity is transparent to downstream users. The tension: aggregation promises tractability but demands acceptance of permanent loss.
The second tension—the silent imposition of homogeneity—is exemplified by the contingency-table reversal Simpson (1951) formalized, in which an aggregated association can vanish or invert relative to its within-stratum counterparts. [12]
T2: Homogeneity-by-default. An average is a single number. It silently assumes homogeneity: that the aggregated population is sufficiently uniform that a single summary captures it well. Yet heterogeneous populations (bimodal distributions, heterogeneous treatment effects, diverse preferences) are poorly served by aggregation. Simpson's paradox, subgroup reversals, and composition fallacies all flow from this tension: the aggregation structure enforces false homogeneity on inherently heterogeneous data. Yet reporting the full heterogeneity is often intractable. The tension: aggregation is necessary for communication, yet it systematically misrepresents heterogeneous reality.
The third tension—that the choice of aggregation function is normative even when it presents as merely technical—is the central thesis of Sen's (1970) treatment of collective choice and social welfare, which argues that aggregation rules embed value judgments about how welfare and disagreement are weighed. [13]
T3: False objectivity. An aggregation function appears mathematically objective: a mean is just arithmetic. Yet the choice of aggregation function—mean vs. median, sum vs. max, equal weighting vs. cap-weighting—is deeply normative. A mean is sensitive to outliers; a median is robust but discards magnitude information. Cap-weighting a market index benefits large firms; equal weighting benefits small firms. Choosing the function encodes a value judgment about what matters. Yet the function is presented as "the measure," as though it were inevitable. The tension: aggregation choices are subjective and distribute power, yet they masquerade as technical objectivity.
The fourth tension—that aggregation enables large-scale inference while obscuring causal mechanisms within the aggregate—mirrors the collapsibility and ecological-fallacy concerns Yule (1903) raised in his foundational analysis of association in contingency tables, where marginal sums can mask the causal structure that generated them. [14]
T4: Scale vs. causality. Aggregation allows reasoning at scale (a single metric for a billion items). It permits inference and comparison at that level. Yet within the aggregate, causal mechanisms are often invisible. GDP rose; why? Individual production decisions are lost in the sum. A portfolio outperformed the benchmark; which stocks drove it? Individual stock contributions are obscured in the average return. A model ensemble improved accuracy; which learners contributed? Individual learner signals are mixed in voting or averaging. The tension: aggregation enables large-scale inference while destroying fine-grained causal visibility.
The fifth tension—that an optimized aggregation function is brittle under distributional shift—is the structural content of Goodhart's (1975) observation that any statistical regularity tends to collapse once pressure is placed upon it for control purposes, generalizing far beyond the monetary-policy setting in which it was first stated. [15]
T5: Aggregation brittleness under distributional shift. An aggregation function is optimized for a specific data distribution. A voting rule works if voter preferences are single-peaked and distributed around a median; if preferences become U-shaped (bimodal), the rule may invert outcomes or reveal cycles. A weighted average of model outputs works if the models are similarly trained; if one model is retrained on a shifted distribution, the weighted average may degrade unpredictably. Goodhart's law: once a measure becomes a target, it ceases to be a good measure. An aggregation function, once optimized, becomes rigid; it does not adapt to distribution shift. The tension: aggregation encodes assumptions about the world that may suddenly fail without warning.
T6: Accountability vs. comparability. An aggregated KPI (e.g., "company net income") is globally comparable across years and competitors. Yet it obscures who, within the organization, is responsible for outcomes. Profit aggregates costs and revenues; a cost reduction might come from layoffs or efficiency—the aggregate does not distinguish. Aggregation to comparability sacrifices local accountability and transparency. Conversely, hyperdetailed reporting (thousands of line items) preserves local accountability but is incomparable and unnavigable. The tension: aggregation necessary for comparability destroys granular responsibility; fine-grained accountability defeats comparison.
Structural–Framed Character¶
Aggregation sits at the structural end of the structural–framed spectrum: it is a pure relational pattern, the same in any domain where it appears, and nothing about its meaning depends on a particular field's vocabulary or assumptions.
The prime is a many-to-one mapping that collapses high-dimensional detail into a lower-dimensional summary, deliberately deciding which information to lose — the formal inverse of decomposition. Whether the function is a statistical mean, a summed budget, or a winning vote, the structure is identical, and it carries no intrinsic evaluative weight. Its definition lives in measure theory and the mathematics of summary statistics, with no appeal to human institutions, and applying it feels like recognizing a mapping that is already in place. On every diagnostic, it reads structural.
Substrate Independence¶
Aggregation is about as substrate-independent as a prime can be — composite 5 / 5 on the substrate-independence scale. At bottom it is a pure many-to-one mapping definable in measure theory, with no human reference and no evaluative weight built in. It recurs across statistics, social choice, economics and accounting, machine learning, ecology, epidemiology, and organizational reporting, spanning formal, biological, social, and computational domains with the same structure. The transfers are documented and load-bearing — bagging imported from statistical aggregation, federated averaging, Arrow's impossibility theorem in social choice — which is why the composite is fully universal.
- Composite substrate independence — 5 / 5
- Domain breadth — 5 / 5
- Structural abstraction — 5 / 5
- Transfer evidence — 5 / 5
Relationships to Other Abstractions¶
Current abstraction Aggregation Prime
Parents (1) — more general patterns this builds on
-
Aggregation is a decomposition of Micro Macro Linkage Prime
The aggregation rule taking micro states to macro regularities.After the statistics_experimental_design frame is stripped away, the retained structural roles are those of Micro Macro Linkage: A two-way bridge by which micro units produce macro regularities and macro conditions reshape the micro situation. Aggregation adds the local frame and commitments expressed in its identity: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. The parent pattern remains recognizable without that vocabulary, while the child is the framed realization of it. That preservation test establishes decomposition rather than taxonomic subsumption.
Children (108) — more specific cases that build on this
-
Accessible quasi-category Domain-specific is a kind of Aggregation
The proposed strict upward parent is
prime:aggregation.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Accessible quasi-category adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the infinity-category or quasi-category C, regular cardinal kappa, kappa-filtered colimits, kappa-compact objects, essentially small generating subcategory, equivalence with Ind-kappa of a small infinity-category, accessibility versus kappa-accessibility, accessible functors and relation to presentable and ordinary accessible categories are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Accessible quasi-category. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge toprime:aggregation. No live DAG mutation is authorized. -
Addition principle Domain-specific is a kind of Aggregation
The proposed strict upward parent is
prime:aggregation.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Addition principle adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the finite outcome set, exhaustive cases, pairwise disjointness, individual cardinalities, union and sum equation, unique assignment of each outcome to one case, extension to finitely many cases and overlap correction through inclusion–exclusion are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Addition principle. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge toprime:aggregation. No live DAG mutation is authorized. -
Additive genetic effects Domain-specific is a kind of Aggregation
The proposed strict upward parent is
prime:aggregation.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Additive genetic effects adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the population, allele coding, phenotype scale, environment, substitution-effect definition, and variance decomposition are explicit and the modeled contribution is linear in allele counts It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Additive genetic effects. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge toprime:aggregation. No live DAG mutation is authorized.
- Air quality index Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Air quality index adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by jurisdiction and version, pollutants, instruments and siting, averaging periods, breakpoints, interpolation, aggregation, forecast status, uncertainty, category language, and population guidance source are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Air quality index. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Arias intensity Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Arias intensity adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the accelerogram component, sampling and units, corrected acceleration history, integration bounds, gravitational constant, formula and result, duration fractions and relation to landslide or damage models are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Arias intensity. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Balance of payments Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Balance of payments adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the reporting economy and residence rule, period, currency and valuation, current, capital and financial accounts, reserve assets, credits and debits, accrual timing, counterpart entry, revisions and errors and omissions are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Balance of payments. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Bartlett's method Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Bartlett's method adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the sampled stationary series and sample rate, total record length, number and equal length of non-overlapping segments, detrending and window convention, DFT and periodogram normalization, binwise average, frequency grid, bias leakage variance and resolution and contrast with Welch’s method are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Bartlett's method. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Bochner integral Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Bochner integral adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the measure space and Banach target, strongly measurable function, approximating simple functions, integrability of the norm, vector-valued simple integral, L1 norm convergence, resulting integral, dominated convergence and relation to Pettis integral and finite-dimensional Lebesgue integration are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Bochner integral. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Canonical ring Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Canonical ring adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the variety and singularity assumptions, canonical divisor or dualizing sheaf, graded pieces of global sections, multiplication, degree-zero convention and finite-generation or birational claims are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Canonical ring. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Chandrasekhar virial equations Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Chandrasekhar virial equations adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the fluid and reference frame, density and velocity fields, pressure and gravity model, chosen tensor moment, surface conditions, rotation terms, integration convention and closure assumptions are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Chandrasekhar virial equations. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Chapman function Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Chapman function adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the planetary radius and observation altitude, constituent scale height and exponential profile, zenith-angle convention, ray geometry and tangent altitude, slant density integral, vertical normalization, branch by viewing direction and limiting plane-parallel and horizon behavior are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Chapman function. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Conjugacy class sum Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Conjugacy class sum adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the finite group and conjugacy class, coefficient ring or field, group-algebra basis, summation and normalization, conjugation action, centrality proof, basis theorem hypotheses, multiplication constants and relation to class functions are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Conjugacy class sum. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Dendritic Integration Domain-specific is a kind of Aggregation
Dendritic Integration is aggregation specialized to nonlinear, thresholded combining within semi-independent dendritic branches before propagation to the soma.Aggregation supplies the genus: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Dendritic Integration preserves that general structure while adding its differentia: Treat a single neuron not as a weighted-sum threshold unit but as a small layered nonlinear network, where synaptic inputs are combined nonlinearly within individual dendritic branches — depending on where they sit and how clustered they are — before summing at the soma. The parent can occur without those added commitments, whereas removing the parent structure leaves no basis for classifying the child as this subtype. That asymmetry establishes subsumption rather than mere association.
- Diffusion-limited aggregation Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Diffusion-limited aggregation adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the embedding space and dimension, lattice or continuum, seed and boundary geometry, particle release distribution, random-walk step law, sticking probability and first-contact rule, particle size, killing or relaunch boundary, cluster connectivity, harmonic measure, growth count, fractal-dimension estimator and finite-size effects are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Diffusion-limited aggregation. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Ecological regression Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation supplies the nearest broader Prime while the source-domain invariant remains autonomous. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Ecological regression adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the units and aggregation level, group populations and outcomes, subgroup shares, regression specification and weights, accounting identities, homogeneity and contextual assumptions, uncertainty, diagnostics and individual-level interpretation limits are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Ecological regression. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Edition (printmaking) Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Edition (printmaking) adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the printmaking matrix and its state, artist printer and publisher roles, impression-making process, edition type and authorized size, numbering convention, proofs and variants, signatures stamps or documentation, production period, matrix cancellation or continued use, provenance and distinction between original impressions and reproductive copies are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Edition (printmaking). This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Effective exchange rate index Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Effective exchange rate index adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the focal currency and partner basket, bilateral exchange-rate quotation, base period and normalization, trade or competitiveness weights and their update rule, arithmetic or geometric aggregation, nominal effective rate, price or cost deflator for real rate, index direction and interpretation, missing currencies and revisions and comparison across vintages are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Effective exchange rate index. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Ensemble learning Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Ensemble learning adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the task and data split, base learner family and diversity source, training dependence, aggregation or meta-model, calibration, validation protocol, comparison baseline, uncertainty and deployment update are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Ensemble learning. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Family cookbooks Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Family cookbooks adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the family household or kin group, manuscript scrapbook printed or digital collection, recipe entries and sources, compiler contributors and intended inheritors, annotations substitutions and revisions, occasions and narratives, attribution and forgotten provenance, organization and material wear, copying publication and privacy and transmission across generations are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Family cookbooks. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Final consumption expenditure Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source-domain carrier and recognition invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Final consumption expenditure adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the accounting standard and edition, economy and period, institutional sector, resident and territory basis, transaction boundary, individual or collective classification, valuation and price basis, imputations and transfers in kind, consolidation and reconciliation with disposable income are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Final consumption expenditure. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Helly family Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Helly family adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the ground set and family of subsets, intersection operation, Helly number or order k, quantified condition on all k-member or at-most-k subfamilies, equivalent bound on minimal empty-intersection subfamilies, finite and hereditary conventions, global common intersection and examples in convexity hypergraphs and clique families are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Helly family. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Hyper-Wiener Index Domain-specific is a kind of Aggregation
Hyper-Wiener Index **instantiates `prime:aggregation` by strict subsumption**.It deliberately collapses all pair distances into one scalar and thereby trades structural detail for tractability. Aggregation is broader because it does not determine a graph, distance, weight function, or normalization. It also **presupposes `prime:metric` through strict composition**. Shortest-path distance on a connected graph supplies the pairwise values being aggregated. Metric alone does not select an all-pairs scalar or the Hyper-Wiener polynomial. `prime:invariance` is a close consequence rather than a proposed parent: graph isomorphisms preserve shortest-path distances, so invariance follows once the formula is fixed. `prime:isomorphism` and `prime:symmetry` are useful reasoning neighbors but do not define the index. `prime:fractal_geometry` is neither an alias nor a parent; scale-dependent self-similarity is not part of the Hyper-Wiener signature.
- Infinitesimal model Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Infinitesimal model adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the population and trait, genotype-to-phenotype decomposition, number and distribution of locus effects, additivity and dominance assumptions, linkage and recombination, environmental contribution, mating and selection regime, additive variance and predicted relative covariance are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Infinitesimal model. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Intercultural theatre Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Intercultural theatre adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the participating cultures communities and performance traditions, artists collaborators and institutions, source texts stories techniques or aesthetics, translation adaptation and hybridization process, rehearsal and performer training, audience and venue context, attribution consent and benefit, colonial and power relations, legibility and transformation of meaning and critical reception are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Intercultural theatre. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Join (graph theory) Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Join (graph theory) adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the two disjoint graphs, retained internal edges and all cross-part edges are explicit, with no other vertices or edges added It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Join (graph theory). This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Kostant partition function Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Kostant partition function adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the root system and positive roots, root or weight lattice, target vector, nonnegative integer coefficient vector, equality to the root sum, order-insensitive count, generating-function product, support cone and role in Kostant’s multiplicity formula are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Kostant partition function. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- L-estimator Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while L-estimator adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the sample and independence assumptions, order-statistic convention, coefficient vector and normalization, estimator target, tie handling, finite-sample bias and variance, robustness properties and asymptotic distribution are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of L-estimator. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Lambert series Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Lambert series adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the coefficient sequence, variable and convergence or formal-power-series convention are fixed and the series has the declared Lambert denominator and divisor-sum reindexing It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Lambert series. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Life Quality Index Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Life Quality Index adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the exact LQI functional form, income and life-expectancy sources, purchasing-power convention, calibration parameter, population, baseline, and normative use are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Life Quality Index. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Lobb number Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Lobb number adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the nonnegative integers m and n with n at least m, word length 2n, counts n+m open and n-m close parentheses, prefix-balance nonnegativity, terminal excess 2m, L_mn notation, binomial-difference and rational-binomial formulas, Catalan specialization, lattice-path and ballot interpretation and recurrence are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Lobb number. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Main effect Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Main effect adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the response and experimental units, focal factor and levels, other factors, design balance and weights, model and link scale, marginal means or contrast, interaction terms, null hypothesis and uncertainty are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Main effect. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Manufacturing cost Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Manufacturing cost adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by only costs within the declared production boundary are included, direct costs are traced, indirect factory costs use stated allocation rules, and period and inventory flows reconcile It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Manufacturing cost. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- McShane integral Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.The integral aggregates locally weighted function values under gauge-controlled partitions; free-tag and convergence rules supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while McShane integral adds domain-specific constraints. The entry does not collapse into that parent because gauge integration with unrestricted tag placement and its equivalence to the Lebesgue integral for real-valued functions It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of McShane integral. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Mean absolute error Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Mean absolute error adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by each pair refers to the same target instance and unit, missingness and weights are declared, and the score is the stated mean of absolute residuals It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Mean absolute error. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Mertens function Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Mertens function adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the positive real or integer input, floor convention, Möbius function and inclusive summation bound are explicit, and analytic claims state their proved or conjectural status It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Mertens function. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Micromosaic Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Micromosaic adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the image design and physical scale, tessera material and unusually small dimensions, cutting or drawn-filati production, ground and setting medium, placement density and orientation, color gradation, joints and finishing, achievable pictorial resolution, workshop tradition and distinction from ordinary mosaic or painted miniature are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Micromosaic. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Midhinge Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.The statistic literally combines two distributional summaries into one value by arithmetic averaging; the fixed quartile inputs and robust-location interpretation supply its domain-specific residual. The edge is proposal-only and points to a frozen prior-baseline Prime. The entry does not collapse into the parent because the average of the two quartile locations, not a generic robust estimator, the width between quartiles, or the midpoint of the sample extremes A thematic neighbor is declined whenever it does not literally subsume that rule. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Mobile Location Analytics Domain-specific is a kind of Aggregation
**Aggregation** is the strict parent because MLA's characteristic product is an aggregate report produced by collapsing many device observations.Spatial Indexing and Measurement support the pipeline but are not always the final relation being asserted. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Monetary conditions index Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Monetary conditions index adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the economy and sample period, short-term nominal or real interest rate, nominal or real exchange-rate convention, base values, linear weights and their estimated aggregate-demand basis, sign and currency quotation, index normalization, uncertainty and instability, interpretation as indicator or operating target and distinction from financial conditions index are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Monetary conditions index. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Multidimensional Poverty Index Domain-specific is a kind of Aggregation
MPI is a strict domain-specific form of **Aggregation**: a high-dimensional microdata matrix is deliberately collapsed into one statistic under explicit information-loss choices, while decompositions preserve selected diagnostic routes back.MPI is a strict domain-specific form of **Aggregation**: a high-dimensional microdata matrix is deliberately collapsed into one statistic under explicit information-loss choices, while decompositions preserve selected diagnostic routes back to components. **Measurement** is related because the construct maps multidimensional poverty onto a scale through a declared procedure. **Threshold** supplies both indicator deprivation cutoffs and the cross-dimensional poverty cutoff. **Majority-Dominated Aggregate Objective** is a possible failure diagnosis if reporting only the total hides a disadvantaged subgroup; it is not the MPI mechanism itself.
- Neuman–Sándor Mean Domain-specific is a kind of Aggregation
The mean most directly **specializes Aggregation**.It maps two positive values to one representative value and deliberately suppresses their individual distinction, but fixes one exact nonlinear rule rather than the general many-to-one pattern. It relates to **Normalization** through (x=(a-b)/(a+b)), which makes contrast dimensionless, and to **Dimensional Analysis** through positive homogeneity. It relates to **Approximation** and **Bounding** through the sharp-inequality literature. Those are supporting reasoning patterns, not additional direct parents. Prime qualification fails because the exact arsinh formula and its named web of mathematical means do not recur as a substrate-independent abstraction across unrelated domains. What transfers broadly is aggregation and normalization, already represented by live primes.
- Niven's constant Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Niven's constant adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the integer function H and H of one convention, prime factorization and maximum exponent, Cesàro average through n, limiting operation, series one plus the sum for k at least two of one minus reciprocal zeta k, convergence proof and numerical value are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Niven's constant. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Normal convergence Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Normal convergence adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the function domain S and normed codomain, series of functions f_n, uniform or supremum norm of each term, scalar series sum of norms, finiteness condition, uniform Cauchy control and absolute pointwise consequence, rearrangement invariance, completeness and continuity or integration consequences and local-on-compact variant are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Normal convergence. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Piano quartet Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Piano quartet adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the work or ensemble sense, piano part, three named additional instruments, standard violin viola cello string-trio lineup or declared variant, four independent performers, chamber scale, movement and formal design, distribution and balance of musical roles and distinction from piano trio quintet or concerto are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Piano quartet. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Point of care medical information summary Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.The resource literally collapses a large, changing body of studies, reviews, and guidelines into tractable clinical topic summaries while choosing what detail to retain; point-of-care retrieval and editorial maintenance supply the DS residual. The edge is proposal-only and points to a frozen prior-baseline Prime. The entry does not collapse into the parent because the rapidly retrievable, maintained, evidence-synthesizing clinical reference genre, not a product list, a static textbook, an electronic record summary, a guideline alone, or an automated patient-specific order recommendation A thematic neighbor is declined whenever it does not literally subsume that rule. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- PRESS Statistic Domain-specific is a kind of Aggregation
The accepted reference-grade review places PRESS Statistic under Aggregation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.The sum of squared leave-one-out prediction errors from a fitted regression model, computed by refitting without each case or through leverage-adjusted ordinary residuals. The parent is defined more broadly: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability.
- Quantification (machine learning) Domain-specific is a kind of Aggregation
**Aggregation** (`prime:aggregation`).The target is a class-frequency summary over a sample.
- Quasi-arithmetic mean Domain-specific is a kind of Aggregation
Quasi-arithmetic Mean instantiates Aggregation because it deliberately collapses several scalar inputs to one internal summary, specialized by arithmetic averaging in a monotone transformed coordinate.The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Ran space Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source-domain carrier and recognition invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Ran space adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the base topological space or scheme and field, nonempty finite-set convention, topology or prestack functor, indexing category and surjections, labels and collision identifications, points over test rings, functoriality and contractibility or factorization claims are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Ran space. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Rank aggregation Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Rank aggregation adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the alternatives and input rankings, completeness and ties, voter or source weights, aggregation rule and objective, distance or pairwise counts, tie breaking, axiomatic properties, complexity and sensitivity to additions or manipulation are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Rank aggregation. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Signal averaging Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Signal averaging adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the repeated signal and observation model, trigger or alignment rule, replicate count, sampling rate and window, ensemble or time average, assumptions of signal repeatability and zero-mean uncorrelated noise, signal-to-noise scaling, weighting and rejection, alignment error and residual coherent artifacts are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Signal averaging. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Surface integral Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.The integral aggregates infinitesimal contributions across a surface; geometric measure and orientation supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Surface integral adds domain-specific constraints. The entry does not collapse into that parent because integration with respect to surface area or oriented surface measure It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Surface integral. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Total variation Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime; the source domain and invariant supply the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Total variation adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity determined by the carrier-specific partition rule is declared and the supremum measures uncancelled magnitude across every admissible finite decomposition It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Total variation. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Transport integrals Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Transport integrals adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the index and argument, dimensionless variable, kernel and integral bounds, convergence at endpoints, recurrence or special-function representation, numerical method and mapped transport coefficient are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Transport integrals. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Trilogue Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Trilogue adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the authored work and three speaking participants, imagined or represented conversation, turn structure and attribution, topic and expository dramatic or argumentative purpose, distinct viewpoints and relations, narrator or framing text, closure and distinction from dialogue monologue polylogue and political trilogue are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Trilogue. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- U-statistic Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while U-statistic adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the iid sample and size n, kernel order m and symmetric measurable kernel, population parameter as expected kernel value, all m-subsets or ordered-tuple normalization, U-statistic average and unbiasedness, Hoeffding projection and degeneracy, variance and asymptotic distribution, complete versus incomplete form and relation to V-statistics are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of U-statistic. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Vulnerability Index Domain-specific is a kind of Aggregation
The candidate is a strict domain-bound specialization of **Aggregation**: multiple indicator values are collapsed into a summary, with deliberate information loss in exchange for tractability.The prospective DAG therefore proposes one parent relation to `prime:aggregation`. It is strongly related to **Measurement**, because the output is a claim about a construct on a declared scale; **Feature Scaling**, because inputs often require normalization; and **Vulnerability Decomposition**, because many index designs operationalize a decomposition of susceptibility and capacity. Vulnerability Decomposition is not a universal parent, however: the live prime commits to an exposure–sensitivity–adaptive-capacity factorization, whereas authoritative frameworks may place exposure outside vulnerability and individual indices use different dimensional models. **Risk** supplies the larger decision context, and **Vulnerability Hotspot** may be a spatial interpretation of high or overlapping scores, but neither is the index's taxonomic genus.
- Wiki survey Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.The method aggregates participant-generated judgments into collective patterns; adaptive contribution supplies the residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Wiki survey adds domain-specific constraints. The entry does not collapse into that parent because open-ended crowdsourced survey whose instrument and response corpus coevolve It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Wiki survey. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Wozencraft ensemble Domain-specific is a kind of Aggregation
The proposed strict upward parent is `prime:aggregation`.prime:aggregation is the nearest broader Prime while the source-domain carrier and invariant supply the autonomous residual. This is a proposal-only workspace relationship: the accepted Prime supplies a genuinely instantiated structural prerequisite or superclass, while Wozencraft ensemble adds domain-specific constraints. The entry does not collapse into that parent because the domain-specific identity fixed by the finite field q and extension field, message dimension and block length, nonzero multiplier indexing each code, linear encoding map and generator representation, rate one half, Hamming weight and relative minimum distance, ensemble size, fraction of good members, q-ary entropy inverse and Gilbert–Varshamov asymptotic statement are explicit It also declines a nearby thematic catalog node: the neighbor does not literally subsume the constitutive identity of Wozencraft ensemble. This explicit assert-and-decline pattern keeps the proposed DAG narrow and prevents a merely thematic edge. The prospective workspace queue contains one strict upward edge to `prime:aggregation`. No live DAG mutation is authorized.
- Bioaccumulation Prime is a kind of Aggregation
Bioaccumulation is a specialization of aggregation in which the items collapsed into a summary are repeated intakes of a substance and the retained feature is total body burden.Bioaccumulation is a specialization of aggregation in which the items being collapsed into a unified summary are successive intakes of a substance and the retained quantity is the net body burden over time. It inherits the general aggregation commitment that many granular inputs are reduced into a single composite measure that captures chosen features while suppressing item-level detail. Its specialization is that the aggregating function is biological retention: intakes minus elimination accumulate into a single concentration variable whose value carries the toxicologically relevant information.
- Compression Prime is a kind of Aggregation
Compression is a kind of aggregation: it collapses redundant detail into a unified shorter representation while retaining chosen structure.Compression encodes information in a shorter representation by exploiting redundancy, deliberately losing or restructuring detail to retain the features that matter for reconstruction or downstream use. That is the move of Aggregation: collapsing many items into a unified form that keeps chosen features while suppressing granular detail. Compression specializes aggregation by tying the suppressed detail to redundancy or perceptual unimportance and by holding a reconstruction or fidelity criterion as the design constraint.
- Disjoint union Prime is a kind of Aggregation
The accepted reference-grade review places Disjoint union under Aggregation because the child instantiates or depends on the parent's broader structure while retaining its own constitutive identity.Combine collections while tagging every member with its source so equal values from different sources remain distinct in the result. The parent is defined more broadly: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability.
- Expected Value Prime is a kind of Aggregation
Expected value is aggregation specialized to collapsing a probability distribution by a probability-weighted linear average.Expected value inherits Aggregation's many-to-one collapse and adds a probability measure, a numerical random quantity, and the linear weighting rule that produces the distribution's first moment. Sums, maxima, votes, and medians are aggregations without this differentia.
- Gradual Deterioration Prime is a kind of Aggregation
Gradual Deterioration is a kind of aggregation: integrated stress accumulates many small damage increments into a single decaying functional capacity.Gradual deterioration is the accumulation of many small, individually-tolerable damage events — fatigue cycles, corrosion increments, information losses — into a single trajectory of declining functional capacity. The downstream measurement collapses the granular history into a summary state (remaining strength, residual fidelity, remaining life). That is the move of Aggregation: many items collapsed into a unified form that retains chosen features and suppresses granular detail. Gradual deterioration specializes aggregation to summed micro-damage and its macroscopic functional reading.
- Layered Accumulation Prime is a kind of Aggregation
Layered accumulation is a specific kind of aggregation, retaining sequential deposition history rather than collapsing entries into a flat summary.Layered accumulation is a specialization of aggregation. The general pattern collapses many items into a unified form that retains chosen features while suppressing detail, with the function encoding a claim about what matters. Layered accumulation instantiates this with the retained feature being deposition sequence and conditions: discrete units stack in time-ordered strata, and the current state is the vertical integral of every preserved past state. The aggregation function preserves time-order and per-layer conditions rather than averaging them away. It is aggregation that retains the historical depth dimension as a readable record.
- Linear Combination Prime is a kind of Aggregation
Every Linear Combination is aggregation specialized to scaling each input by a weight and adding the results with no interaction terms.Linear Combination inherits Aggregation's many-to-one construction from several inputs. It adds a coefficient for each input, scalar multiplication, addition, a stated weight domain, and the no-interaction invariant. Aggregation also includes maxima, medians, nonlinear roll-ups, and other rules, but every admitted linear combination is an additive weighted aggregation.
- Measure Prime is a kind of Aggregation
A Measure is aggregation specialized to collapsing every admissible subset to a non-negative size under countable additivity over disjoint parts.Every Measure maps a potentially many-element subset to one retained feature, its size, while suppressing the subset's remaining granular structure. It therefore satisfies Aggregation's many-to-one collapse. Measure adds a base space, an admissible family of subsets, non-negativity, empty-set zero, and countable additivity over disjoint parts. Medians, maxima, votes, and nonlinear roll-ups show why Aggregation is broader, not why any Measure falls outside it.
- Precision Weighting Prime is a kind of Aggregation
Precision weighting is aggregation specialized to signals about one target whose influence scales with estimated inverse variance or an equivalent reliability measure.Precision weighting maps several signals about a shared latent quantity into one estimate or update, thereby inheriting Aggregation's many-to-one collapse. It specializes the aggregation rule by requiring a per-source reliability estimate and influence proportional to precision. Fixed inverse-variance pooling and context-modulated gains are both instances; arbitrary sums, medians, or equal-weight pools are aggregation without this differentia.
- Atomistic Fallacy Domain-specific presupposes Aggregation
Atomistic Fallacy presupposes a level-forming aggregation from individual observations to a group or population target.The error cannot occur without crossing from lower-level units to a higher-level aggregate or context. Aggregation supplies that level boundary; Fallacy of Composition supplies the broader argumentative genus.
- Bezold Effect Domain-specific is part of Aggregation
Aggregation is a constituent of the Bezold Effect because unresolved target and surround samples are pooled into one local chromatic estimate.Inside the spatial integration window the visual system maps many fine-grained chromatic samples to a single local percept, retaining a blended hue, brightness, and saturation while discarding which tiny element contributed which part. Remove that many-to-one pooling and the target remains separately resolved, eliminating the defining assimilation shift. Aggregation supplies the general operation; the Bezold Effect specifies retinal scale, chromatic content, and the direction of the resulting perceptual pull.
- Divisor Function Domain-specific presupposes Aggregation
Divisor Function presupposes `prime:aggregation`: each value collapses a complete weighted divisor set to one number.The proposed relation is compositional rather than subsumptive because an arithmetic function is not itself the generic act of aggregation. `domain_specific:natural_number` supplies the input carrier but is not the closest mechanism. `domain_specific:pillai_s_arithmetical_function` is a sibling arithmetic function whose divisor-class formula uses different weights. `prime:partition` is declined because prime-exponent decomposition aids evaluation but does not define the divisor sum.
- Dow Jones FXCM Dollar Index Domain-specific is part of Aggregation
four normalized component positions collapse into one summary level.four normalized component positions collapse into one summary level.
- Duration Neglect Domain-specific is part of Aggregation
Duration Neglect contains Aggregation because it compresses a temporally extended experience into one retrospective summary while discarding most of the trajectory.Remove the many-moments-to-one-summary operation and there is no scalar remembered evaluation in which duration can be underweighted. Aggregation is the internal compression operation; Duration Neglect specifies the human-memory rule and its systematic error.
- Ecological Footprint Domain-specific is part of Aggregation
Ecological Footprint contains the lossy aggregation that collapses multiple standardized demand components into one total area.The framework deliberately reduces a heterogeneous demand vector to a single global-hectare total, preserving additive demand while suppressing internal composition. Without that many-to-one summary there is no total footprint to compare with biocapacity.
- Ecological Inference Problem Domain-specific is part of Aggregation
The lossy aggregation operator is an internal constituent of the ecological inverse problem, mapping many joint distributions to the same marginals.Ecological inference is not merely used after aggregation happened elsewhere. Its formal problem statement contains the many-to-one map from individual joint cells to observed group totals, and the map's fibers are exactly the set of nonidentified solutions. Removing that constituent changes the problem into a different inverse problem with a different observation channel.
- Fishing Effort Domain-specific is part of Aggregation
Fishing effort contains an aggregation rule that collapses heterogeneous vessel, gear, power, and time inputs into one pressure variable.Aggregation is a constituent of Fishing Effort because raw fleet activity is not a single commensurate quantity. The construct chooses equivalence weights and combines vessel-days, gear deployment, engine power, or swept area into a summary that can be multiplied by catchability. Fishing Effort adds fisheries-specific calibration and the link from the composite input to fishing mortality.
- Kaldor-Hicks Efficiency Domain-specific is part of Aggregation
Kaldor-Hicks contains aggregation by collapsing every party's gain or loss into one signed net-benefit scalar.Its decisiveness comes from intentional information loss: the vector of who gains and loses becomes a sum, while distribution is deferred and can no longer be recovered from the headline verdict alone.
- MapReduce Domain-specific is part of Aggregation
Key-scoped associative aggregation is the internal reduce constituent of every MapReduce computation.Shuffle collects all values sharing a key and reduce deliberately collapses that collection through an associative operation. The chosen reduction decides which per-record detail is discarded and what summary survives; without it the model becomes map-and-group rather than MapReduce.
- Median Voter Theorem Domain-specific is part of Aggregation
The Median Voter Theorem contains Aggregation because pairwise majority rule collapses a distribution of individual ideal points into one collective choice.The theorem's conclusion depends on the aggregation rule, not merely on the population distribution; simple pairwise majority makes the midpoint order statistic collectively decisive under single-peaked preferences.
- Package-Deal Fallacy Domain-specific presupposes Aggregation
The fallacy presupposes a many-to-one bundle or label that suppresses the members' independent status before the package can be treated as indivisible.Without multiple positions, traits, policies, or features collapsed into one named package, there is no within-package linkage to misclassify and no hidden mixed position to recover. Aggregation supplies the coarser object and its information loss; reification supplies the later hardening of that object.
- Precedence Effect Domain-specific is part of Aggregation
Aggregation is an internal constituent of the Precedence Effect because multiple wavefronts inside the fusion window are collapsed into one percept while selected attributes survive.The effect maps several physically distinct arrivals to one perceived auditory event. In doing so it discards their separate spatial claims but retains chosen information from the set: the first arrival supplies location while later arrivals still contribute loudness and timbre. That many-to-one, selectively lossy mapping is Aggregation. Remove it and thresholding could label arrivals as near or far, but could not produce the defining single fused percept.
- Temporal Binding Domain-specific is part of Aggregation
Aggregation is a constituent of Temporal Binding because several candidate inputs are collapsed into one represented event once the timing and coherence gates are satisfied.Temporal Binding does not merely judge inputs close in time; it maps multiple sensory events, or an action and its consequence, into one common-source percept and suppresses their independent identities. That many-to-one operation is required before subjective time or location can be warped to fit the unified event. Aggregation supplies the collapse, while Temporal Binding adds a temporal threshold, content-coherence gate, abductive source attribution, and perceptual warping.
- Aggregate-Marginal Divergence Prime presupposes Aggregation
The divergence is a diagnostic about READING an aggregate: it presupposes aggregation (the collapsing operation) and adds a heterogeneous mix, a stock/flow masking duration, and the opposite-direction-trends invariant.'presupposes aggregation but adds...'. Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Aggregate-Marginal Divergence operates against that background: The aggregate trends one way while the next unit's contribution trends the other. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Central Limit Theorem Prime presupposes Aggregation
The CLT is a specific claim about the limiting SHAPE a SUM-aggregation converges to under finite variance — the Gaussian attractor.Presupposes aggregation (the bare combining operation); other rules (max, product) flow to other attractors.
- Distributional Effects Prime presupposes Aggregation
Distributional_effects is the critical recognition of what the aggregation operation conceals — the vector behind the scalar; it presupposes aggregation as the collapsing step.Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Distributional Effects operates against that background: An aggregate outcome conceals systematically heterogeneous, unit-level changes. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Double Counting Prime presupposes Aggregation
'double counting is aggregation, just aggregation that has gone wrong at a specific place' — it presupposes the aggregation operation and is the failure where overlapping buckets are summed without subtracting |A n B|.Presupposes-parent, not is a specialization of. Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Double Counting operates against that background: Including the same underlying unit more than once in an aggregate because overlapping buckets are summed without subtracting their intersection. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Ensemble Prime is part of Aggregation
Every Ensemble contains an Aggregation rule that maps its member realizations to ensemble-level means, spreads, quantiles, votes, densities, or other distributional outputs.The live Ensemble identity explicitly requires an aggregation rule that combines member outputs into ensemble-level quantities while retaining selected distributional features and suppressing some trajectory detail. Aggregation is therefore a strict constituent. The ensemble as a whole is broader than that operation: it also includes the member population, the generation mechanism, uncertainty coverage, and a representativeness warrant, so subsumption would conflate the analyzed collection with one operation performed on it.
- Latent Service Bundle Prime presupposes, typical Aggregation
The bundle's invisibility is a per-category accounting frame failing to aggregate across heterogeneous categories — it presupposes the aggregation operation (and critiques its absence across categories).Loosely held; the prime is more a valuation-discipline than an aggregation specialization.
- Law of Large Numbers Prime is part of Aggregation
The law contains aggregation because its empirical mean or relative frequency is constructed by combining observations into a normalized summary.Remove the sum, count, or empirical-measure aggregation across observations and there is no sample average or frequency whose limit can be asserted.
- Majority-Dominated Aggregate Objective Prime presupposes Aggregation
This prime is 'a specific, diagnosable pathology of aggregation' — an additive/expected-value objective whose mass concentrates on a skewed majority so the optimum is minority-blind by construction.It presupposes the aggregation operation (the average revealed as a weighting) and names its failure mode. Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Majority-Dominated Aggregate Objective operates against that background: An aggregate objective whose mass lies with the majority systematically underweights an operationally important minority. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Modifiable Areal Unit Problem Prime presupposes Aggregation
MAUP is the specific finding that the CHOICE OF PARTITION used to aggregate is a non-neutral input determining the conclusions; it presupposes the aggregation operation.'aggregating is the operation; MAUP is the specific finding that the choice of partition... is non-neutral'. Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Modifiable Areal Unit Problem operates against that background: Statistics computed on aggregated data change, sometimes reversing sign, when the boundaries used to aggregate are redrawn — the partition is a non-neutral analytical input. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Multiplexing Prime presupposes Aggregation
Multiplexing presupposes aggregation because it collapses many logical streams onto one physical substrate while retaining the per-stream identities for later separation.Multiplexing presupposes aggregation because the many-into-one move -- packing multiple logical channels onto a single physical resource -- is aggregation applied to a transport substrate, with the division scheme (time, frequency, code, space) acting as the function that decides what is retained and what is interleaved. The reverse demultiplex operation depends on the aggregation's structure being chosen so that per-stream identity is recoverable. Without aggregation's discipline of deciding-what-to-fold-together, the streams would interfere rather than share the substrate non-destructively. Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Multiplexing operates against that background: Sharing one channel among many signals by dividing time, frequency, or code. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Outlier Leverage Prime presupposes Aggregation
Outlier leverage is a property of an aggregation rule's non-resistance (low breakdown point) to extremes applied to a tailed distribution — it presupposes an aggregation (mean, slope, ratio, ranking) whose result a few points dominate.Built on the collapse-to-a-summary operation.
- Partition Dependence of Aggregates Prime presupposes Aggregation
This prime is the structural consequence of the aggregation operation — that the operation's output depends on how the partition is drawn.Presupposes aggregation as the collapsing step (the verb; this is a fact about the verb's output). Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Partition Dependence of Aggregates operates against that background: Any statistic computed on partition-aggregated data is a function of the partition itself, not solely of the underlying data. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption.
- Population Coding Prime presupposes, typical Aggregation
A population code recovers a quantity by a decoder that POOLS many noisy tuned elements; it presupposes an aggregation/pooling operation over the population.Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Population Coding operates against that background: Information about a quantity is carried by the joint pattern across many individually noisy elements and read out by a decoder, yielding precision and robustness no single element provides. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption. The typical qualifier limits the claim to the characteristic route, not a constitutive requirement of every instance; exceptions must retain the child's identity through another mechanism.
- Simpson's Paradox Prime presupposes, typical Aggregation
It is the confounded failure MODE of the aggregation operation — pooling across a confounder is a modelling choice that can flip a direction; presupposes aggregation as the collapsing step.Aggregation supplies the prerequisite condition: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Simpson's Paradox operates against that background: A relationship can run one direction inside every subgroup and the opposite direction in the aggregate, because a confounder's distribution differs across subgroups and is silently mixed away on pooling. If the parent condition is removed, the child relation becomes undefined or loses the mechanism asserted by this edge; the parent can obtain independently, so the relation is presupposition rather than subsumption. The typical qualifier limits the claim to the characteristic route, not a constitutive requirement of every instance; exceptions must retain the child's identity through another mechanism.
- Social Choice Prime presupposes Aggregation
Social choice is preference aggregation: a rule mapping a profile of individual orderings to one collective outcome.It presupposes aggregation as the collapsing operation, specialized to preference-bearing inputs + a property set the impossibility results constrain.
- Triangulation Prime presupposes Aggregation
Triangulation presupposes aggregation because cross-verifying multiple independent sources is the act of combining many evidence streams into a single summary judgment.Triangulation cross-verifies claims by drawing on multiple independent sources, methods, or perspectives, with confidence increased at the intersection of converging streams. This presupposes aggregation: collapsing many items into a unified form that retains chosen features while suppressing detail, with the aggregation function encoding a claim about what matters. Combining independent evidence into a single judgment is precisely such an aggregation; the convergence test (do the streams agree?) is a function over the multiple inputs. Without aggregation's structured combination of many into one, triangulation has no operation by which multiple streams yield a verdict.
- Yield Loss Prime presupposes, typical Aggregation
Yield loss is conservation-closed deficit ACCOUNTING — it presupposes a balance/aggregation that forces named loss channels to sum to the deficit (mass/energy/cohort balance).Built on the partition-and-sum operation.
- Aggregate Demand Domain-specific is a decomposition of Aggregation
Removing the expenditure frame from aggregate demand leaves a many-to-one collapse of heterogeneous decisions into one schedule with declared information loss.Millions of household, firm, government, and foreign spending decisions become a single curve with four labeled handles. Aggregation supplies the many-to-one reduction and loss discipline; the child adds the national- expenditure identity, general-price-level axis, autonomous shifters, multiplier, and nominal-rigidity horizon branch.
- Aggregate Supply Domain-specific is a decomposition of Aggregation
Removing the macro-production frame from aggregate supply leaves the many-to-one collapse of heterogeneous producer decisions into one schedule.The child summarizes economy-wide willingness and capacity in one output- versus-price-level curve, suppressing firm and sector detail. Aggregation supplies the many-to-one reduction; aggregate supply adds nominal rigidity, potential output, supply-shock shifts, expectations, and the migration of the binding constraint with the horizon.
- Ensemble Coding Domain-specific is a decomposition of Aggregation
Removing the capacity-limited perceptual architecture from ensemble coding leaves aggregation's many-to-one reduction of a set to a chosen summary statistic while granular member information is lost.Ensemble coding turns a simultaneous set into a mean, variance, gist, or other low-dimensional statistic and can preserve that summary when the members themselves are unavailable. Its distinctive automatic, pre-attentive, faster-than-items extraction and item-biasing leak-back are domain accent; the live ensemble prime is not used because it denotes an analyst-generated population of realizations rather than perceptual set summarization.
- Gini Coefficient Domain-specific is a decomposition of Aggregation
Gini strips to a deliberate many-to-one collapse of a complete distribution into one comparable scalar at the cost of shape information.Tail-heavy and bottom-heavy distributions can share the output precisely because aggregation preserves a chosen concentration functional while discarding the rest of the input vector. After the economics_finance frame is stripped away, the retained structural roles are those of Aggregation: Deliberately collapsing many items into a single summary, choosing which information to discard to gain tractability. Gini Coefficient adds the local frame and commitments expressed in its identity: Collapse a whole distribution of a resource into one number on a 0-to-1 scale by measuring how far its Lorenz curve bows away from perfect equality. The parent pattern remains recognizable without that vocabulary, while the child is the framed realization of it. That preservation test establishes decomposition rather than taxonomic subsumption.
- Gross Domestic Product Domain-specific is a decomposition of Aggregation
GDP strictly collapses heterogeneous final production into one scalar while declared construction rules determine which distinctions and items disappear.Millions of goods, services, firms, transactions, and income claims are deliberately reduced to one total. The final-goods rule blocks duplicate counting and the expenditure and income decompositions preserve selected handles, while unpaid production, distribution, and depletion are discarded.
- Lorenz Curve Domain-specific is a decomposition of Aggregation
Removing inequality framing leaves a deliberate many-to-one collapse from unit holdings to cumulative population and quantity shares.The curve replaces one holding per unit with a one-dimensional cumulative summary, preserving concentration shape while discarding identity and most granular detail. That deliberate information choice is exactly Aggregation.
- Delphi Method Prime is a decomposition of Aggregation
The Delphi Method is the specific shape aggregation takes when distributed expert judgment is collapsed into a consensus through structured, anonymized iterative rounds.The Delphi Method is the particularization of aggregation to the setting of distributed expert opinion: many individual judgments are collapsed into a unified summary that retains the consensus signal while suppressing personal-influence and dominance distortions. Where aggregation names the deliberate loss of granular detail to retain chosen features generally, Delphi specifies that the feature retained is the convergent expert estimate while the detail suppressed is identity-linked bias, anchoring, and groupthink artifacts that contaminate unstructured pooling.
- Risk Pooling Prime is a decomposition of Aggregation
Risk pooling is the specific shape aggregation takes when independently uncertain exposures are combined so that the variance of the pooled outcome shrinks.Risk pooling is the variance-shrinking particularization of aggregation: many uncertain exposures are collapsed into a single pooled outcome whose statistical properties are governed by the law of large numbers. Where aggregation names the deliberate loss of granular detail to retain chosen features generally, risk pooling specifies that the features being retained are mean exposures while the suppressed detail is idiosyncratic individual variance — a particular choice of what to aggregate over and what summary statistic is operative.
- Wisdom of the Crowds Prime is a decomposition of Aggregation
Wisdom of the crowds is the specific shape aggregation takes when many independent noisy signals are combined into a more accurate collective estimate.Wisdom of the crowds is the structurally-particularized form aggregation takes in the information-pooling case: many items (private signals) are collapsed into a unified form (the median or mean estimate) that retains the central tendency while suppressing individual error. It inherits aggregation's commitment to deliberate information loss with retained chosen features, particularized to the case where independence and diversity of inputs cancel individual error in expectation. Galton's ox-weight median is the canonical instance.
Hierarchy path (1) — routes to 1 parentless root
- Aggregation → Micro Macro Linkage
Neighborhood in Abstraction Space¶
Aggregation sits in a sparse region of abstraction space (60th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely rather than landing on a neighbor.
Family — Aggregation & Common Measure (5 primes)
Nearest neighbors
- Risk Pooling — 0.72
- Boundary — 0.71
- Social Choice — 0.71
- Alias-to-Authority Mapping — 0.70
- Ensemble — 0.70
Computed from structural-signature embeddings · 2026-09-10
Not to Be Confused With¶
Aggregation must be distinguished from Decomposition, its structural inverse, though the two are complementary operations. Decomposition is the partitioning of a system or dataset into smaller, constituent parts for detailed analysis—breaking down to understand components. Aggregation is the combination of many elements or units into a higher-level whole for summary or tractability. Decomposition asks "What are the parts?"; aggregation asks "What is the summary?". A hospital decomposing patient records by department or condition is analyzing variation; a hospital aggregating patient records into population-level mortality statistics is summarizing. Both operations are necessary in different contexts, and they operate in opposite directions: decomposition reveals heterogeneity; aggregation conceals it.
Aggregation is also not Chunking, though both involve combining information. Chunking is a cognitive process—the mechanism by which minds group units into meaningful patterns to reduce memory load and improve retention. When a chess player recognizes a board position as a familiar pattern, they are chunking. Aggregation is a structural or mathematical operation that combines many elements into a summary form, independent of whether anyone's cognition is involved. A database query aggregating sales by region is aggregation regardless of whether a human ever reads the result; chunking is about mental organization. The mechanisms differ (chunking is psychological; aggregation is operational) and the purposes differ (chunking aids memory; aggregation aids tractability and decision-making).
Nor is aggregation equivalent to Isomorphism, the structure-preserving bijection between objects. Isomorphism is a mathematical relationship where two objects have identical structure—if you understand the structure of one, you understand the structure of the other perfectly. Aggregation, by contrast, is the combining of many units into a summary form that deliberately loses individual-level detail. Isomorphism preserves all information; aggregation loses it intentionally. The loss of information is the core feature of aggregation: you trade detail for summary. An isomorphic mapping between two graphs preserves every edge and vertex relation; an aggregation of customer transactions into daily totals loses information about individual transactions.
Aggregation is also not Transformation, though aggregation is a type of transformation. Transformation is the conversion of inputs into outputs through a mapping rule (the general case). Aggregation is a specific type of transformation—one that combines many inputs into a single output, with deliberate loss. All aggregations are transformations, but not all transformations are aggregations. A function that applies a tax to each transaction is a transformation; it is not aggregation (it doesn't combine transactions). A function that sums all transactions in a day is both a transformation and an aggregation (it combines and loses granularity). Transformation is the broader category; aggregation is a specific subtype characterized by combination and loss.
Finally, aggregation is not Scale, the characteristic size or level of a system. Scale names a level—micro, meso, macro, organizational, market, global. Aggregation is the operation of combining elements at one level to create a summary at a higher level. Scale describes position in a hierarchy; aggregation describes movement across levels. A market exhibits global scale; an analyst aggregates individual transactions into a market summary. Confusing the two leads to imprecision: "this analysis operates at scale" (which level?) versus "this analysis uses aggregation" (which operation combines elements?).
Solution Archetypes¶
Solution archetypes in the catalog that build on this prime — directly (this prime is a source ingredient) or as a related prime.
Built directly on this prime (15)
- Additive Measure-Space Design: Make size assignable and composable by declaring what subsets are measurable and how disjoint sizes add.▸ Mechanisms (10)
- Area, Volume, or Counting Template — A ready-made construction that instantiates a concrete nonnegative additive size — area, volume, or a deduplicated count — over a concrete universe, so common spatial and discrete cases aren't re-derived from axioms each time.
- Finite or Countable Additivity Test — Verifies the load-bearing axiom — that disjoint pieces' sizes sum to the size of their union, and the empty set has size zero — under the additivity regime the application actually needs.
- Measurable Family Closure Check — Tests that the declared family of measurable subsets is actually closed under the set operations the application performs — and routes the subsets that aren't to boundary review.
- Measure Invariance Review — Checks whether the measure survives the transformations a decision assumes it survives — re-partitioning, coordinate or projection changes, unit or scale swaps — before those uses rely on it.
- Measure-Space Specification — Declares the measure space up front — the universe, the nonnegative size function, and the contract for downstream use — so every later size claim traces back to a stated scope.
- Monotonicity Sanity Check — A cheap consistency check that a containing subset never receives less size than the subset it contains — catching sign errors, overlaps, and broken additivity before they reach a decision.
- Normalization Constant Calibration — Sets or resets the scale anchor — total mass, unit, or probability total — that turns raw additive sizes into comparable, interpretable values.
- Null-Set Policy Register — Records what zero or negligible measure is allowed to mean for a decision — so a set of size zero is never silently read as a set of zero importance.
- Partition Sum Table — A standing table that lays the sizes of disjoint blocks beside the recomposed whole, so double-counting, gaps, and partition-dependent totals become visible at a glance.
- Probability Measure Construction — Builds a measure specialized to uncertainty — the whole space normalized to total mass one, disjoint events additive, each subset read as the probability of an event.
- Aggregate–Marginal Trajectory Reconciliation: Pair the current aggregate with the contribution now entering it, detect durable opposite-direction movement, estimate how long legacy composition can mask the new direction, and govern the installed state and leading edge with different actions.▸ Mechanisms (10)
- Aggregate–Marginal Sign-Divergence Alert — Opens review when linked aggregate and contribution trajectories meet sign, persistence, materiality, uncertainty, and quality conditions.
- Cohort or Vintage Analysis — Compares entering groups by common start period, design, supplier, policy, or exposure at equivalent maturity.
- Contribution Waterfall Decomposition — Reconciles aggregate change to legacy stock, entering contribution, exits, mix, price, base, and residual effects.
- Crossover Scenario Projection — Projects a conditional range for aggregate flattening, convergence, or reversal under alternative contribution and turnover scenarios.
- Cumulative-versus-Incremental Dashboard — Places accumulated aggregate state, the leading-edge trajectory, uncertainty, maturity, divergence duration, and the crossover horizon on one governed surface that refuses to treat either measure as primary.
- Dual-Metric Decision Memo — Records aggregate-state obligations, leading-edge action, horizon assumptions, owners, resources, triggers, and review date together.
- First-Difference or Derivative Estimate — Estimates directional change from discrete differences or a continuous derivative approximation.
- Mix-Shift and Base-Effect Audit — Tests whether composition, denominator, price, seasonality, selection, or comparison base creates apparent divergence.
- Paired Confidence-Band Review — Reviews uncertainty in both trajectories and in their directional relationship, including shared-data dependence.
- Rolling Marginal-Contribution Curve — Estimates leading-edge direction by smoothing a declared sequence of entering units, cohorts, or periods.
- Aggregation Function Design and Weighting: Turn many inputs into one usable output by explicitly choosing the aggregation rule, weights, normalization, and information-loss guardrails.▸ Mechanisms (7)
- Aggregation Bias Audit — A structured checklist that interrogates a finished aggregate for named failure patterns — masking, ecological fallacy, Simpson-style reversals, subgroup erasure, accidental weights, and scale artifacts.
- Dashboard Rollup Formula — Encodes how many low-level metrics roll up through the org hierarchy into one headline number while keeping every underlying exception one click away.
- Ensemble Weighting Table — A standing table that fixes which judgment sources are in the pool and what reliability, calibration, and diversity weight each one carries — before any combining happens.
- Median, Trimmed-Mean, or Quantile Rule — Summarizes a single distribution with an order-statistic rule chosen so outliers, skew, or the tail survive the compression instead of being averaged away.
- Ranked-Choice or Approval Voting Rule — Converts many voters' ordinal rankings or approvals into one collective choice by a fixed, legitimacy-bearing tallying procedure with defined tie-breaks.
- Weight-Sweep Sensitivity Table — Re-runs an existing composite score across a plausible range of weights and records where the ranking holds and where it flips.
- Weighted Scoring Rubric — Turns several judged criteria into one comparable score for each option by fixing anchored rating scales, criterion weights, and a final-score formula up front.
- Boundary-Cost Coarsening Management: When boundary maintenance cost pushes many small units into fewer larger ones, measure the size distribution, preserve valuable boundaries, and channel or reverse consolidation before useful microstructure disappears.▸ Mechanisms (7)
- Anti-Coarsening Inhibitor Protocol — A materials-inspired protocol for adding pinning agents, stabilizers, membranes, standards, or constraints that slow undesired unit growth.
- Capped-Growth or Split Rule — A rule that triggers splitting, spin-outs, local autonomy, or added interfaces when a unit crosses diseconomy or concentration limits.
- Controlled Consolidation Gate — A checklist that permits mergers or aggregation only when boundary-cost savings outweigh lost diversity, resilience, and reversibility.
- Interface-Cost Accounting — A method for separating the real cost of maintaining boundaries from the value those boundaries preserve.
- Reseeding or Nucleation Program — A workflow for introducing new small units, pilots, categories, teams, grains, entrants, or local nodes after excessive coarsening.
- Size-Distribution Dashboard — A dashboard that tracks unit count, size skew, merger rate, small-unit attrition, and concentration over time.
- Target Granularity Review — A recurring review that asks whether the current number and scale of units still match the system’s purpose.
- Endpoint Fan-Out Fulfillment: Design the deconsolidation, local staging, routing, service-mode, access, evidence, and recovery layer that turns efficient trunk flow into verified endpoint completion.▸ Mechanisms (21)
- Address or Endpoint Validation — Checks each endpoint's identity, location, eligibility, connectivity, and access prerequisites before anything is dispatched, so effort is only spent on endpoints that can actually be served.
- Community Access Point — Stands up a trusted local place — staffed with people who know the community — where endpoints can get assisted pickup, connectivity, identity help, or translation to complete a service they couldn't finish alone.
- Demand Aggregation Window — Briefly holds compatible low-density requests until enough accumulate to serve them together as one efficient cluster, instead of dispatching each sparse request on its own.
- Dynamic Route Optimization — Continuously recomputes routes and assignments from live demand, capacity, traffic, priority, and failure signals, so the fan-out adapts to conditions on the ground instead of following a fixed plan.
- Endpoint Completion Dashboard — Puts verified endpoint completion — not trunk throughput or dispatch — at the center of the view, exposing the gap between what was sent and what actually arrived, sliced by segment.
- Endpoint Cost-to-Serve Analysis — Estimates the full cost of successfully completing service at each class of endpoint — including the last-mile share that trunk-level accounting hides — so the true economics of the edge become visible.
- Exception Queue — Pulls the endpoint cases that don't fit the standard flow into a dedicated queue with its own capacity and clock, so the main line keeps moving and the oddballs still get resolved.
- Failed-Attempt Recovery Workflow — Turns a failed endpoint attempt into a classified, routed recovery — diagnosing why it failed and sending it to correction, an alternate mode, a reschedule, or escalation — so one miss doesn't become a permanent non-completion.
- Geospatial Service-Area Mapping — Turns endpoint locations, travel times, terrain barriers, and service deserts into one spatial picture that shows where the fan-out is hard and where local staging could sit.
- Local Dispatch or Field Team — Standing local operational capacity — people who know the ground — assigned to work the last leg, clear on-site obstacles, and close the exceptions no ticket can specify.
- Local Inventory or Edge Cache — A forward-placed buffer of the frequently-needed goods, data, or capability held close to endpoints, so the common request is served locally — fast, and still served when the trunk is slow or down.
- Local Partner or Agent Network — Delegates endpoint completion to trained third-party local actors under an explicit contract that defines what 'done' means and where the system's responsibility hands off to theirs.
- Long-Tail Support Tier — Runs a deliberately lower-volume but still reliable service mode for niche users, rare configurations, and low-frequency needs the mainstream offering drops.
- Micro-Hub or Pickup-Point Network — Local nodes where consolidated trunk flow is broken down and staged for short final legs or self-collection — relocating the handoff off the doorstep to a dense, efficient point.
- Mobile Service Unit — A self-contained unit that travels to sparse or hard-to-reach endpoint clusters, bringing the goods, equipment, or expertise to recipients instead of requiring them to come to a fixed point.
- Multimodal Delivery Switching — Maintains a portfolio of delivery modes and moves an endpoint from one to another — home, pickup, mobile, partner, assisted, remote — when its conditions, cost, or repeated failures change which mode fits.
- Proof-of-Completion Capture — Captures just enough verifiable evidence that an endpoint was actually served — a signature, photo, scan, or confirmation — proportionate to the stakes, so completion is provable without over-collecting.
- Route Clustering and Territory Design — Groups scattered endpoints into service clusters and territories that lift route density and balance workload, while protecting latency limits, capacity, equity, and the sparse tail that clustering tends to strand.
- Scheduled Service Window — Carves out protected, recurring time to repair, patch, replace, and clean up endpoints so upkeep never has to fight live demand for the same capacity.
- Targeted Outreach Campaign — Goes out and finds the specific endpoints that are stuck — missing information, blocked by an access barrier — and proactively removes the blocker so they can complete, instead of waiting for them to come to the system.
- Transparent Cross-Subsidy Schedule — An explicit, reviewable rule that funds high-cost or essential endpoints out of pooled system revenue, making the who-pays-for-whom of universal service visible instead of hidden.
- Independent Evidence Triangulation: Cross-check a scoped claim with multiple meaningfully independent evidence streams, using both convergence and divergence to calibrate confidence and expose hidden dependence, bias, or context.▸ Mechanisms (10)
- Blinded Parallel Analysis — Has multiple analysts evaluate the same claim behind an information barrier and reveal results only after each commits, so that later agreement counts as corroboration rather than echo.
- Confidence Update Worksheet — A structured record of prior confidence, stream-specific likelihoods, dependency discounts, contradictions, and sensitivity that resolves to a single bounded confidence claim.
- Contradiction Resolution Workshop — A facilitated session that takes a specific disagreement between streams and tests whether it comes from definition, timing, sampling, incentives, transformation, or real context dependence.
- Convergence–Divergence Rubric — A precommitted rating scale that classifies how a set of streams relate — full agreement, partial compatibility, material conflict, or unresolved divergence — before the favored result is known.
- Cross-Source Corroboration Table — A claim-by-source grid that marks, for each source, whether it independently supports, merely repeats, contradicts, is silent on, or cannot be compared against each claim.
- Evidence Stream Matrix — A one-row-per-stream table recording each stream's claim coverage, origin, method, population, time, quality, uncertainty, and known dependencies before any synthesis begins.
- Independent Replication Protocol — A standing procedure for obtaining a separately executed repeat of a test by a different team, with controlled information sharing and explicit comparability conditions.
- Multi-Method Study Design — A design that assigns deliberately different methods — qualitative, quantitative, observational, experimental, model-based — to one scoped claim so their differing blind spots expose each other.
- Source Dependency Graph — A directed lineage map that traces copied claims, shared datasets, common instruments, overlapping samples, and other paths by which nominally separate streams can fail together.
- Triangulation Audit Trail — A versioned record linking each conclusion back through the weights, dependency judgments, contradictions, exclusions, challenges, and later updates that produced it.
- Patchwise Global Certification: Promote local checks to a global verdict only when the cover, witnesses, seam compatibility, and aggregation discipline are explicit.▸ Mechanisms (8)
- Coverage Completeness Audit — Maps the union of the patches against the declared domain to prove no in-scope region is left unwitnessed, and logs every gap it finds.
- Global Certificate Template — Issues a scoped certificate that states the global verdict and binds it to its cover, witness set, aggregation rule, and exceptions, traceable back to local evidence.
- Gluing or Recomposition Workflow — Fuses the passing local witnesses into one global verdict by applying the declared aggregation rule in a fixed composition order, only after the seams check out.
- Local Witness Checklist — Defines what counts as valid evidence that the global property holds inside one patch, and records it the same way everywhere, so patch verdicts are comparable.
- Local-to-Global Dashboard — Keeps a live view of local-to-global status and fires revalidation the moment a patch changes underneath the standing verdict, so drift is caught rather than assumed away.
- Obstruction Register Review — Collects every local failure, gap, and seam conflict into one register and adjudicates each — block, allow with a documented exception, or defer with a re-check trigger — before any verdict issues.
- Overlap Compatibility Test — Checks that local verdicts agree wherever patches meet, walking the seams in a fixed order, so the boundaries between patches cannot hide a global failure.
- Patch Cover Inventory — Enumerates and justifies the set of local patches, and pins the domain they are meant to fill, so a whole can be certified piece by piece.
- Population-Code Readout Design: Infer a robust estimate from many noisy, partial elements by preserving their joint pattern, mapping their tuning, and decoding the population rather than trusting any single element.▸ Mechanisms (10)
- Ablation and Dropout Robustness Test — Removes or masks subsets of elements and re-runs the decoder to expose overdependence, reveal illusory redundancy, and measure how gracefully the readout degrades.
- Bayesian Sensor-Fusion Filter — Carries a running posterior over the target state through time, fusing each new noisy reading by its likelihood against a predicted prior.
- Correlation or Covariance Audit — Measures how much nominally separate elements co-move, converting a raw count of signals into the far smaller number of effectively independent ones.
- Crowd Estimation Protocol — Treats many independent human estimates as a noisy element population and decodes their pattern, while actively protecting the independence and calibration that make a crowd informative.
- Decoder Calibration Curve — Plots the decoder's stated confidence against observed outcomes on labeled cases so systematic over- or under-confidence becomes visible and correctable.
- Ensemble Feature Readout Model — Reads a high-dimensional vector of learned features and sub-model outputs as a joint pattern of evidence for a target, preserving their disagreements and correlations rather than averaging them.
- Population Tuning Matrix — A versioned table — one row per element — recording what each element responds to, its sensitive and blind ranges, gain, noise, and calibration basis, so the population's codebook is inspectable.
- Sparse Dictionary or Basis Learning — Learns or defines a set of basis elements so any input can be re-expressed as a small, informative pattern of active elements — most stay silent.
- Telemetry Health-Score Decoder — Reads a curated pattern of named operational signals into a single service-health estimate that always ships with its uncertainty and a per-signal explanation.
- Weighted Decoder Model — Transforms the current joint pattern into an estimate by applying calibrated per-element weights and response curves in a single cross-sectional pass.
- Regroupable Aggregation: Design partial summaries to combine associatively so an aggregate can be chunked, nested, or tree-reduced without changing its defined result.▸ Mechanisms (10)
- Associativity Property Test — Checks the archetype's defining law directly by generating random contribution triples and asserting that (a⊗b)⊗c matches a⊗(b⊗c) under the declared equivalence — while proving that swapping operands is not silently assumed.
- Deterministic Pairwise Accumulation — Pins floating-point reductions to one fixed pairwise summation path so the same inputs give bit-identical totals no matter how many workers run, trading peak scheduling freedom for reproducibility and a tighter error bound.
- Hierarchical Subtotal Rollup — Rolls governed local subtotals up a reporting hierarchy so the total's meaning survives reorganizations, unequal groups, and empty branches — the parentheses move, the number doesn't.
- Map–Combine–Reduce Pipeline — Maps raw records into atomic contributions, pre-combines them locally, then reduces the compatible partial summaries — the canonical shard-and-merge pipeline that shrinks data before it moves.
- Mergeable Summary Object — Packages sufficient partial state with its own combine, identity, and validation into one object, so invalid merges become hard to even express.
- Randomized Partition Replay — Stress-tests a live aggregation by re-partitioning the same ordered inputs into many random tree shapes and replaying them against a trusted reference, watching for any divergence.
- Rollup Reconciliation Report — Reconciles a hierarchy's subtotals against an independent recomputation and its coverage lineage, flagging omissions, double-counts, and drift as an auditable artifact.
- Tree Reduction — Combines partial summaries up a balanced tree so a long serial fold collapses into a logarithmic-depth parallel reduction, folding empty branches through a defined identity.
- Versioned Merge Protocol — Governs whether partial summaries built under different definition versions may be merged, via compatibility rules, migration bridges, and an exception registry for the cases that cannot.
- Weighted Moment Accumulator — Carries count, weighted sum, and higher moments as sufficient statistics so means and variances merge exactly across any grouping, avoiding average-of-averages bias through a numerically stable combine.
- Reputational Signal Governance: Turn past behavior into a governed standing signal that helps others decide trust, access, scrutiny, cooperation, or priority while preserving evidence quality, context, correction, decay, and anti-abuse safeguards.▸ Mechanisms (13)
- Appeal and Correction Workflow — Gives a subject a governed path to contest and fix reputational information that is false, irrelevant, malicious, or stale.
- Attested Credential Registry — Anchors reputation to independently verified credentials and attestations, so trust does not have to rest on informal history alone.
- Complaint and Resolution Record — Records not just the complaint but the response, repair, and closure, so a grievance is read together with how it was handled.
- Contribution Ledger — Keeps an append-only, per-subject record of contributions, no-shows, and repairs across repeated rounds, so standing rests on a whole conduct history rather than the last impression.
- Decay-Weighted Score Update — Discounts old evidence on a schedule so standing tracks who a subject is now, not who they were years ago.
- Moderation Record with Reentry — Logs rule violations and their repair while defining the conditions under which standing is restored.
- Peer Reference or Vouching — Lets credible counterparties endorse, warn about, or contextualize a subject from direct first-hand experience.
- Rating and Review System — Collects ratings and reviews from counterparties after each interaction and publishes them as an at-a-glance standing signal.
- Reputation Portability Protocol — Lets a subject carry reputation evidence or attestations from one context to another under consent, with scope and validity limits attached.
- Reputation Score or Standing Index — Aggregates a subject's weighted traces into one score, band, or standing index used to sort trust, access, ranking, or scrutiny.
- Sybil, Collusion, and Brigading Detection — Detects fake accounts, coordinated rings, paid reviews, and retaliatory brigading that manufacture or attack reputation.
- Trust-Tier Badging — Bins subjects into a few coarse trust tiers shown as a badge, and attaches concrete treatment to each tier.
- Verified Transaction History — Presents a subject's completed transactions, fulfilled commitments, and defect or dispute outcomes as verified facts of record — evidence, not opinion.
- Selection–Transmission Change Attribution: When an aggregate mean changes, split the change into how much came from units gaining or losing weight and how much came from units changing internally.▸ Mechanisms (8)
- Composition-vs-Transformation Dashboard — Displays how much of an aggregate shift is composition versus within-unit transformation and routes the decision to the matching intervention lever.
- Covariance Selection-Term Calculation — Isolates the selection channel by computing the covariance between a unit's value and its change in relative weight — a single statistic whose sign says whether high-value units gained share.
- Decomposition Residual Reconciliation Workflow — Takes the leftover after selection and transmission are subtracted from the observed change and attributes it to unmatched units, scale drift, or normalization rather than substance.
- Entry/Exit Normalization Protocol — Fixes how entrants and exiters enter the weights so that churn in the population does not masquerade as real change in the weighted mean.
- Lineage or Panel Correspondence Matrix — Maps which units in the first state correspond to which in the second — continuing, entered, exited, split, or merged — so selection and transmission can be told apart at all.
- Price Equation Decomposition Table — Lays out every unit's weight and value in both states as a ledger and recomposes the weighted-mean change into an exact selection term plus a transmission term.
- Selection–Transmission Sensitivity Analysis — Re-runs the selection–transmission split under alternative windows, unit definitions, and weighting schemes to report how stable the verdict is before it drives a decision.
- Within-Unit Change Assay — Measures the transmission channel directly by pairing each continuing unit's before and after value and averaging the within-unit change, ignoring composition entirely.
- Shared-Channel Multiplexing Design: Share one scarce channel among many distinguishable streams by assigning separable slots, bands, codes, labels, or lanes and preserving reliable demultiplexing at the exit.
- Sliding-Kernel Local Transformation Design: Use one explicit local kernel across an input field so each output is a comparable weighted neighborhood mixture, then govern scale, boundaries, gain, and artifacts.▸ Mechanisms (10)
- Boundary Padding Protocol — A protocol specifying padding, truncation, masking, or wrapping rules at incomplete neighborhoods.
- Convolutional Feature Extractor — A software mechanism that applies kernels across a field to generate locally transformed feature maps.
- Edge-Detection Kernel — A contrast-oriented kernel that turns local changes into an edge, boundary, or gradient response.
- Finite Impulse Response Filter — A finite-kernel signal-processing method that produces each output from a fixed weighted sum of input samples.
- Gaussian Smoothing Kernel — A local smoothing method using a Gaussian-shaped kernel to reduce noise or fine-scale variation.
- Kernel Response Sensitivity Sweep — A validation procedure that varies kernel parameters and records output stability, artifacts, and interpretation drift.
- Moving-Average or Boxcar Filter — A simple convolutional filter that replaces each position with an average over a local window.
- Multiscale Kernel Bank — A set of kernels with different support sizes or orientations used to compare local structure across scales.
- Stencil Computation Template — A template for applying the same neighborhood computation at every grid or lattice position.
- Synthetic Kernel Test Pattern — A test input suite with known local structure used to diagnose kernel behavior before deployment.
- Subgroup Deliberation and Recombination: Break a deliberating group into semi-independent subgroups, let them reason separately, then recombine their artifacts so divergence becomes visible before consensus closes.
- Yield Loss Attribution: Explain why realized output falls short of its theoretical maximum by partitioning the deficit into named, measured, ranked loss channels.▸ Mechanisms (8)
- Balance-Closure Residual Audit — Interrogates the unexplained residual left after named channels are subtracted, deciding whether the balance closes tightly enough to trust the diagnosis or hides an unnamed channel.
- Before/After Yield Reconciliation — Reconciles the whole yield balance before and after a change to confirm the aggregate genuinely rose and that recovered loss did not simply relocate, double-count, or hide in the denominator.
- Loss-Channel Abatement Experiment — Runs a controlled intervention on a single loss channel to verify, causally, that acting on it recovers yield — and that no valuable minor output is destroyed in the process.
- Loss-Channel Pareto Review — Ranks loss channels into an attack order by recoverable value, tractability, and confidence over cost, so scarce effort goes to the few channels that return the most.
- Sankey Loss-Channel Map — Draws the missing output as proportional flows fanning off into each loss channel and side stream, making the big losses, the leaks, and the thin-but-valuable streams impossible to overlook.
- Side-Stream Sampling Plan — Specifies how each loss channel and side stream is sampled, measured, or bracketed, turning guessed loss figures into numbers with honest error bars.
- Theoretical Yield Benchmark — Establishes the theoretical or design maximum a process could yield, with the assumptions that make that ceiling defensible, so every later loss is measured against a fixed reference.
- Yield-Loss Balance Sheet — Forces the yield gap to close as an accounting identity — theoretical maximum minus realized output equals the sum of named loss channels plus a residual — inside one boundary and unit of account.
Also a related prime in 21 archetypes
- Adaptive Precision-Weighted Signal Fusion: Combine imperfect signals by how reliable they are now, not by treating every input as equal or permanently trustworthy.
- Conformity Pressure Calibration: Calibrate the pressure to match a group standard by protecting private judgment, exposing social-pressure channels, and preserving safe divergence before alignment becomes automatic.
- Contingency-Visibility Across Scales: Compare micro-level detail with macro-level aggregation so local contingency is not erased and broad structure is not ignored.
- Correlation Structure Analysis for Pooling Effectiveness: Measure how pooled risks co-move before assuming that a larger pool diversifies loss.
- Correlation Structure Characterization: Characterize how variables move together—by sign, strength, form, lag, condition, uncertainty, and stability—then explicitly constrain what that association may be used to claim or decide.
- Exhaustive Population Mapping: When missing even one unit changes the conclusion or action, replace representativeness with a defensible all-units map.
- Fragmented Rights Clearance Design: Unlock under-used resources by mapping fragmented exclusion rights and replacing costly one-by-one permission assembly with legitimate clearance, pooling, default, brokerage, or bundling paths.
- Funnel Attrition Localization: Represent an ordered process as denominator-preserving stages, measure where the population is lost, and prioritize the stage whose repair most improves final yield.
- Inclusive Membership Union Design: Pool collections by inclusive membership without losing identity, provenance, or overlap visibility.
- Inflation, Currency, and Real versus Nominal Adjustment: Compare money across time or currencies only after declaring and aligning its real/nominal, price-level, currency, and discounting basis.
Notes¶
Aggregation is ubiquitous and often invisible. A dashboard presents a single metric without revealing what was summed, averaged, or excluded to produce it. An organizational hierarchy aggregates decision rights upward (executives see rollups; frontline workers see detail). A newspaper headline aggregates a complex story into a sentence. Most people live within layers of aggregation and rarely interrogate them.
Yet aggregation is one of the most consequential design choices in systems, especially in: - Measurement and metrics: which dimensions are aggregated, which are preserved, entirely shapes what is visible and what incentives drive behavior. - Data warehousing and business intelligence: the granularity of the data model (fact table, dimensions, measures) determines what questions can be answered. - Governance and representation: aggregation boundaries (districts, regions, jurisdictions) shape political power and resource allocation. - Machine learning: ensemble aggregation is the default for improving model robustness, yet ensemble diversity is rarely visible to downstream users.
The term aggregation itself is often absent from discourse, replaced by domain-specific jargon (consolidation, rollup, pooling, averaging, ensemble voting). This linguistic dispersion obscures the structural commonality.
References¶
[1] Fisher, R. A. (1925). Statistical Methods for Research Workers. Oliver & Boyd, Edinburgh. Foundational statistics text introducing summary statistics and the reduction of a sample to a summary; supports the claim that the reduction of a sample to a summary statistic is formalized in classical statistics. registry ↩
[2] Halmos, P. R., & Savage, L. J. (1949). "Application of the Radon-Nikodym theorem to the theory of sufficient statistics." Annals of Mathematical Statistics, 20(2), 225–241. Measure-theoretic factorization theorem for sufficient statistics; directly supports the many-to-one-mapping-from-sample-space-to-summary-space structural-signature claim. registry ↩
[3] Cox, D. R., & Hinkley, D. V. (1974). Theoretical Statistics. Chapman and Hall, London. Canonical treatment of statistical inference, sufficiency, and data reduction; supports distinguishing aggregation from neighboring data-reduction operations (what is preserved vs destroyed). registry ↩
[4] Fisher, R. A. (1925). Statistical Methods for Research Workers. Oliver and Boyd, Edinburgh. Establishes aggregation operations (means, variances, sufficient statistics) recurring across statistics and downstream fields; supports the broad-use claim that the operation is structurally identical across domains. registry ↩
[5] Shannon, C. E. (1948). "A mathematical theory of communication." Bell System Technical Journal, 27(3), 379–423; 27(4), 623–656. Information-theoretic framing of the source-to-summary channel and compression; supports naming the deliberate information loss that defines aggregation. registry ↩
[6] Miller, G. A. (1956). "The magical number seven, plus or minus two: Some limits on our capacity for processing information." Psychological Review, 63(2), 81–97. Origin of chunking; recoding many low-information items into a few higher-order units expands effective working memory. Supports the claim that aggregation bounds cognitive load by reducing dimensionality. registry ↩
[7] Pearl, J. (2009). Causality: Models, Reasoning, and Inference (2nd ed.). Cambridge University Press. Causal-inference treatment of confounding, collapsibility, and Simpson's paradox (Ch. 6); supports the claim that aggregation invites reasoning about distortion, lost perspective, and the failure of marginal associations to track conditional structure. registry ↩
[8] Breiman, L. (1996). "Bagging predictors." Machine Learning, 24(2), 123–140. Introduces bootstrap aggregation (bagging) as a transfer of statistical aggregation into ensemble ML; directly supports the claim that ensemble averaging was explicitly imported from the statistical aggregation tradition. registry ↩
[9] Arrow, K. J. (1951). Social Choice and Individual Values. Wiley. Contains the impossibility theorem: no preference-aggregation rule can simultaneously satisfy unrestricted domain, Pareto efficiency, IIA, and non-dictatorship. Directly supports the formal-example and broad-use voting-aggregation claims. registry ↩
[10] McMahan, B., Moore, E., Ramage, D., Hampson, S., & Arcas, B. A. (2017). "Communication-efficient learning of deep networks from decentralized data." Proceedings of the 20th International Conference on Artificial Intelligence and Statistics (AISTATS), 1273–1282. Introduces federated averaging: aggregating locally-trained model parameters without centralizing raw data. Directly supports the federated-averaging applied example. registry ↩
[11] Shannon, C. E. (1948). "A mathematical theory of communication." Bell System Technical Journal, 27(3), 379–423; 27(4), 623–656. Establishes the data-processing inequality; supports the irreversibility tension — no transformation of a summary can recover the inputs' discarded information. registry ↩
[12] Simpson, E. H. (1951). "The interpretation of interaction in contingency tables." Journal of the Royal Statistical Society, Series B, 13(2), 238–241. Canonical exposition of the contingency-table reversal in which an aggregated association can vanish or invert relative to within-stratum counterparts. Directly supports the homogeneity-by-default tension and the Simpson's-paradox example. registry ↩
[13] Sen, A. K. (1970). Collective Choice and Social Welfare. Holden-Day. Foundational treatment of preference aggregation showing aggregation/social-welfare rules embed value judgments about how welfare and disagreement are weighed. Supports the 'false objectivity / aggregation choice is normative' tension. registry ↩
[14] Yule, G. U. (1903). "Notes on the theory of association of attributes in statistics." Biometrika, 2(2), 121–134. Foundational analysis of association in contingency tables; first identifies how marginal aggregates can mask or invert the structure visible within strata. Supports the scale-vs-causality / ecological-fallacy tension. registry ↩
[15] Goodhart, C. A. E. (1975). "Problems of monetary management: The U.K. experience." In Papers in Monetary Economics, Vol. I. Reserve Bank of Australia. Original statement that any statistical regularity collapses once pressure is placed on it for control purposes. Directly supports the brittleness-under-distributional-shift tension (Goodhart's law). registry ↩