Hoover index¶

An inequality measure equal to the share of total income or another resource that would need redistribution to achieve equal per-capita shares.

Version: v1 · 2026-09-08 · History
Domain-specific #: 4910
Origin domain: inequality measurement
Subdomain: specialized structures

Core Idea¶

The Hoover index interprets distributional imbalance as the minimum total share transferred from above-average to below-average units to reach equality. Positive deviations above equal share exactly balance deficits below it, and half the sum of absolute deviations gives the required redistribution fraction. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

The load-bearing residual is not the broad topic of inequality measurement. It is An inequality measure equal to the share of total income or another resource that would need redistribution to achieve equal per-capita shares.

Scope of Application¶

Hoover index belongs to inequality measurement and is useful where the analyst can specify population units, nonnegative resource shares, equal-share benchmark, absolute deviations, normalization and aggregation level, then evaluate resource and population shares use the same partition and sum to one, producing an index between zero and one. The scope is broad within that domain but bounded by the need for resource and population shares use the same partition and sum to one, producing an index between zero and one. The entry records a descriptive analytical identity; practical use requires the governing domain's evidence, standards, and safety obligations.

Clarity¶

The abstraction clarifies a crowded vocabulary by making resource and population shares use the same partition and sum to one, producing an index between zero and one the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test. A bare label is insufficient because the name Hoover index can be used for a formal identity, an implementation, or a neighboring result unless carrier and convention are stated.

Manages Complexity¶

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Hoover index. Hoover index compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning¶

Identify the carrier. State what the elements, states, objects, or observations are: population units, nonnegative resource shares, equal-share benchmark, absolute deviations, normalization and aggregation level. Reject examples whose alleged carrier belongs to a different problem. 2. Lock the constitutive rule. Express resource and population shares use the same partition and sum to one, producing an index between zero and one independently of one notation or implementation.

Knowledge Transfer¶

Knowledge transfers strongly among subfields of inequality measurement because they reuse population units, nonnegative resource shares, equal-share benchmark, absolute deviations, normalization and aggregation level, Positive deviations above equal share exactly balance deficits below it, and half the sum of absolute deviations gives the required redistribution fraction., and type the carrier, state every parameter and convention in the definition, test that resource and population shares use the same partition and sum to one, producing an index between zero and one, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions¶

Current abstraction Hoover index Domain-specific

Parents (1) — more general patterns this builds on

Hoover index is a kind of Fairness Prime

The proposed strict upward parent is prime:fairness.

Hierarchy path (1) — routes to 1 parentless root

Hoover index → Fairness → Impartiality → Symmetry

Neighborhood in Abstraction Space¶

Hoover index sits in a sparse region of the domain-specific corpus (65^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Statistical Dispersion & Testing (44 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08