---
title: Homogeneous Relative Externality in Economic Systems
url: https://www.emergentmind.com/topics/homogeneous-relative-externality
type: topic
---

# Homogeneous Relative Externality in Economic Systems

Searching arXiv for the specified papers and topic.
Homogeneous Relative Externality (HRE) denotes a family of restrictions on externality structure under which the impact of one agent’s action on others is homogeneous in a relative sense rather than arbitrary across identities or scales. The term is used explicitly as an axiom in contest success functions, where it requires scale invariance of the ratio of pairwise relative externalities [2508.12934]. In adjacent literatures the label is not always used verbatim, but closely related structures appear as anonymous additive externalities in data markets, centrality-parallel exposure conditions in multiplex exchange economies, symmetric distance-based spillovers in homogeneous sharing networks, and common externality weights in chore division [2302.08012] [2605.21117] [1811.09992] [2303.12446]. Across these settings, HRE serves to constrain cross-effects sufficiently to recover tractable equilibrium, welfare, or fairness characterizations.

## 1. Conceptual scope across research areas

The term is not uniform across fields. In contest theory, HRE is an explicit axiom on the relative change in one contestant’s allocation caused by another contestant’s effort. In data markets and chore division, by contrast, HRE is a mapped or natural specialization of more general externality formalisms rather than a primitive definition. In multiplex network economies, the corresponding condition is topological: planner-relevant exposure vectors must be pairwise proportional across layers. In homogeneous ring networks, relative externality is operationalized through symmetric gain or loss shares induced by endogenous link formation [2508.12934] [2302.08012] [2605.21117] [1811.09992] [2303.12446].

| Domain | HRE formulation | Main implication |
|---|---|---|
| Contest success functions | Scale invariance of $\frac{d_{ij}(x)}{d_{ji}(x)}$ | Logit form with luck baselines |
| Data markets | Anonymous/symmetric specialization of externalities | Equilibrium and welfare guarantees under intervention |
| Multiplex economies | $\widetilde{b}^{(l)} \parallel \widetilde{b}^{(t)}$ | First and Second Welfare Theorems |
| Sharing networks | Symmetry among equidistant agents in a ring | Structured distribution of beneficiaries and losers |
| Chore division | Common externality share relative to baseline density | Fairness and algorithmic guarantees under specialization |

A plausible unifying interpretation is that HRE rules out identity-specific idiosyncrasy in how externalities compare across agents or across layers, while still permitting heterogeneity in levels, baselines, or network positions. The precise form of “relative” therefore depends on the ambient model: ratios of deviations in contests, sums of anonymous spillovers in data markets, proportionality of exposure vectors in network economies, and piece-size- or valuation-relative spillovers in fair division.

## 2. Axiomatic HRE in contest success functions

In contest success functions with luck, contestants choose nonnegative efforts on the active domain $X \equiv \mathbb{R}_+^n \setminus \{\mathbf{0}\}$, and a CSF assigns probabilities $p_i^M(x^M)$ summing to one over every sub-contest $M \subseteq N$, $|M| \ge 2$. Under strict monotonicity (SM) and Luce’s choice axiom (LCA), the CSF has the logit representation
$$
p_i^M(x^M)=\frac{f_i(x_i)}{\sum_{j\in M} f_j(x_j)},
$$
where each $f_j(\cdot)$ is strictly increasing and nonnegative [2508.12934].

The paper defines relative externality through the percentage change in contestant $j$’s allocation when contestant $i$ turns active from inactive:
$$
d_{ij}(x)\equiv \frac{p_j^N(0,x_{-i})-p_j^N(x)}{p_j^N(0,x_{-i})}.
$$
Under the logit form,
$$
d_{ij}(x)=\frac{f_i(x_i)-f_i(0)}{\sum_{k\in N} f_k(x_k)}.
$$
HRE is then the requirement
$$
\frac{d_{ij}(x)}{d_{ji}(x)}=\frac{d_{ij}(\lambda x)}{d_{ji}(\lambda x)}
\quad \forall x\in X,\ \forall i,j\in N \text{ with } x_i,x_j>0,\ \forall \lambda>0.
$$
Equivalently,
$$
\frac{f_i(x_i)-f_i(0)}{f_j(x_j)-f_j(0)}
=
\frac{f_i(\lambda x_i)-f_i(0)}{f_j(\lambda x_j)-f_j(0)}.
$$
This is weaker than homogeneity of absolute allocations or relative homogeneity of odds, because it permits positive baselines $b_i=f_i(0)\ge 0$ and therefore accommodates luck [2508.12934].

The main characterization states that SM, LCA, and HRE hold iff
$$
p_i^M(x^M)=\frac{b_i+a_i x_i^r}{\sum_{j\in M}(b_j+a_j x_j^r)},
$$
for parameters $a_i>0$, $b_i\ge 0$, and common $r>0$. Here $a_i$ are bias weights on effort, $b_i$ are luck baselines, and $r$ is the discriminating parameter. The symmetric case under anonymity becomes
$$
p_i^M(x^M)=\frac{b+x_i^r}{\sum_{j\in M}(b+x_j^r)}.
$$
Setting $b_i=0$ recovers the classic Tullock form, whereas HRE rather than HOM or RH is what allows additive luck [2508.12934].

The same structure appears in comparative statics. With $S(x)\equiv \sum_{k\in N}(b_k+a_k x_k^r)$, the cross-effect satisfies
$$
\frac{\partial p_j^N}{\partial x_i}
=
-
\frac{(b_j+a_j x_j^r)(a_i r x_i^{r-1})}{S(x)^2},
$$
and the cross-elasticity is
$$
\epsilon_{p_j,x_i}(x)
=
-\frac{a_i r x_i^r}{S(x)}
=
-r\cdot d_{ij}(x).
$$
Hence the ratio of cross-elasticities inherits the HRE invariance. This makes HRE an externality restriction on comparative statics, not merely an equilibrium normalization [2508.12934].

## 3. HRE as a specialization of data-market externalities

In data markets with posted prices, sellers offer datasets, buyers choose arbitrary bundles $\gamma \subseteq L$, and the simultaneous-move game is driven by expected utility
$$
u_i(S)=g_i(\gamma_i)-\sum_{j\ne i} e_{ij}(\gamma_j)-T_i(S),
$$
where $g_i(\gamma_i)=P_i(\gamma_i)-c(\gamma_i)$ is expected net gain. The paper does not use “HRE” explicitly. In this context, HRE arises as a symmetric specialization of the independent model $e_{ij}(\gamma_j)$ and of the richer joint model $e_{ij}(\gamma_i,\gamma_j)$ [2302.08012].

Under the independent model, HRE corresponds to anonymity:
$$
e_{ij}(\gamma_j)=f(\gamma_j)\quad \text{for all } i,
$$
so that buyer $i$ suffers
$$
E_i(x_{-i})=\sum_{j\ne i} f(\gamma_j).
$$
Without intervention, it is a dominant strategy for buyer $i$ to choose
$$
\gamma_i^d=\arg\max_\gamma g_i(\gamma),
$$
and a pure Nash equilibrium exists, but welfare can be poor: there exist instances with welfare regret WRaE equal to $\Theta(n)$. WRaE is defined as
$$
sw(S^*)-\max_{S\in S^q} sw(S),
$$
where $S^*$ maximizes social welfare and $S^q$ denotes PNE profiles [2302.08012].

The platform intervention is a revenue-neutral transaction cost
$$
T_i(S)=\alpha\left[\sum_{j\ne i}\hat{E}_{ji}(\gamma_i)-\sum_{j\ne i}\hat{E}_{ij}(\gamma_j)\right],
$$
with $\alpha\in[0,1]$. The best-response-relevant effective utility becomes
$$
u_i^e(\gamma_i)=g_i(\gamma_i)-\alpha\sum_{j\ne i} e_{ji}(\gamma_i),
$$
and buyer $i$ has dominant strategy
$$
\gamma_i^d=\arg\max_\gamma\left[g_i(\gamma)-\alpha\sum_{j\ne i} e_{ji}(\gamma)\right].
$$
The resulting WRaE bound is
$$
\mathrm{WRaE}\le n(1-\alpha)+\max
\quad\text{and}\quad
\mathrm{WRaE}\ge n(1-\alpha),
$$
where
$$
\max=\sum_{i\ne j}\max_{\gamma^1,\gamma^2}|b_{ij}(\gamma^1)-b_{ij}(\gamma^2)|.
$$
As $\alpha\to 1$ and prediction bias tends to zero, equilibrium welfare approaches optimum [2302.08012].

The richer joint externality model goes beyond HRE. Without intervention, there exist instances with no $\epsilon$-PNE for any $\epsilon<1$, and even when pure equilibria exist, WRaE can approach $n$. With intervention and symmetrization, however, there always exists an $\epsilon$-PNE with
$$
\epsilon
=
2|\alpha-0.5|\sum_{j\ne i}\max_{\gamma_i,\gamma_j}|e_{ji}(\gamma_i,\gamma_j)-e_{ij}(\gamma_i,\gamma_j)|
+
\sum_{j\ne i}\max_{\gamma_i,\gamma_j}|b_{ij}(\gamma_i,\gamma_j)-b_{ji}(\gamma_i,\gamma_j)|.
$$
When externalities are symmetric and prediction bias is small, $\epsilon\to 0$ as $\alpha\to 0.5$, and WRaE is bounded by $n/2$. The paper identifies $\alpha\approx 0.5$ as a “sweet spot” in this setting [2302.08012].

The learning extension shows that the same intervention remains feasible under repeated interaction with bandit feedback. Buyers learn over $T$ rounds, and the paper studies individual effective regret
$$
R_i(T)=\mathbb{E}\!\left[\sum_{t=1}^T\big(U_i^e(\gamma_i^d)-U_i^e(\gamma_i^t)\big)\right]
$$
and welfare regret
$$
R_w(T)=\sum_{i=1}^n\sum_{t=1}^T\left[g_i(\gamma_i^*)-g_i(\gamma_i^t)-\sum_{j\ne i}(e_{ij}(\gamma_j^*)-e_{ij}(\gamma_j^t))\right].
$$
A zooming/UCB-type algorithm in Hamming metric yields worst-case
$$
R_i(T)\le O(\sqrt{2^k T\log T}),
$$
and under the metric/Hamming structure,
$$
R_i(T)\le O\!\big(k(\sqrt{kT\log T}+2^{0.58k}\log T)\big).
$$
Moreover,
$$
R_w(T;I)\le 2nT(1-\alpha)+2T\cdot \max+n\cdot R_d(T;I),
$$
so increasing $\alpha$ as learning improves aligns equilibrium and welfare [2302.08012].

## 4. Centrality-parallel HRE in multiplex market economies

In an Arrow–Debreu economy with multiplex network externalities, consumers $i\in\{1,\dots,n\}$ consume goods or layers $l\in\{1,\dots,L\}$, and effective consumption is
$$
q_i^{(l)}=x_i^{(l)}+\phi^{(l)}\sum_{j=1}^n A_{ij}^{(l)}x_j^{(l)}.
$$
Preferences are log-Cobb-Douglas across layers,
$$
u_i(x)=\sum_{l=1}^L \alpha^{(l)}\ln\big(q_i^{(l)}\big),
$$
with the usual competitive budget constraint and layer-by-layer market clearing [2605.21117].

The paper identifies HRE with a network-topological condition. Let
$$
M^{(l)}=(I+\phi^{(l)}A^{(l)})^{-1},
$$
and define the unweighted transposed Katz–Bonacich exposure vector
$$
\widetilde{b}^{(l)}=(M^{(l)})^\top \mathbf{1}.
$$
HRE holds iff, for any pair of layers $l,t$,
$$
\widetilde{b}^{(l)} \parallel \widetilde{b}^{(t)},
$$
that is, there exists $\kappa_{lt}>0$ such that
$$
\widetilde{b}^{(l)}=\kappa_{lt}\widetilde{b}^{(t)}.
$$
This means that every agent’s relative externality exposure is aligned across layers up to a scalar multiple [2605.21117].

Competitive equilibrium consumption in layer $l$ is
$$
x^{(l)*}=\frac{\bar{\omega}^{(l)}}{b^{(l)}(\mu)}\,M^{(l)}\mu,
\qquad
b^{(l)}(\mu):=\mathbf{1}^\top M^{(l)}\mu,
$$
and equilibrium prices are
$$
p^{(l)*}=\frac{\alpha^{(l)}\,b^{(l)}(\mu)}{\bar{\omega}^{(l)}}.
$$
The effective endowment vector $\mu$ is determined by
$$
\overline{M}\mu=0,
\qquad
\overline{M}:=\sum_{l=1}^L \alpha^{(l)}\big(I-\eta^{(l)}\mathbf{1}^\top\big)M^{(l)}.
$$
The paper’s welfare result is sharp: if the interior competitive equilibrium exists and HRE holds, then both the First Welfare Theorem and the Second Welfare Theorem hold despite externalities. If HRE fails, both fail: no interior competitive equilibrium is efficient because private and social marginal rates of substitution cannot be equalized across agents [2605.21117].

Two sufficient conditions generate HRE. First, if every $(A^{(l)})^\top$ is regular, then $\widetilde{b}^{(l)}\propto \mathbf{1}$ for all $l$. Second, if $\phi^{(l)}A^{(l)}$ is identical across layers, then all $M^{(l)}$ coincide and so do the exposure vectors. When neither condition holds, a centrality wedge appears between private and social first-order conditions [2605.21117].

The efficiency-restoring instrument is a Lindahl equilibrium with personalized prices. Up to normalization,
$$
p^{(l)}=\frac{\alpha^{(l)}}{\bar{\omega}^{(l)}},
\qquad
p_{ii}^{(l)}=\widetilde{b}_i^{(l)}p^{(l)},
\qquad
p_{ij}^{(l)}=\phi^{(l)}A_{ij}^{(l)}p_{ii}^{(l)}\quad (j\ne i).
$$
The resulting allocation is Pareto efficient, but the paper emphasizes that highly central agents may be worse off relative to the competitive equilibrium because they pay for externalities that market prices had left unpriced [2605.21117].

The framework also quantifies inefficiency when HRE fails. For Pareto weights $\theta$,
$$
L(\theta)=\sum_{l=1}^L \alpha^{(l)}D_{KL}\!\big(\theta\ \|\ \rho^{(l)}\big),
\qquad
\rho^{(l)}:=\frac{\mu\odot \widetilde{b}^{(l)}}{\mu^\top \widetilde{b}^{(l)}},
$$
and the coefficient of resource utilization satisfies
$$
\ln(\mathrm{CRU})
=
-
\min_{\theta\in\Delta}
\sum_{l=1}^L \alpha^{(l)}D_{KL}\!\big(\theta\ \|\ \rho^{(l)}\big).
$$
Under HRE, the $\rho^{(l)}$ coincide and $\mathrm{CRU}=1$, so approximate proportionality of exposure vectors implies approximate efficiency [2605.21117].

## 5. Homogeneity and relative externality in sharing-economy networks

In endogenous sharing economy networks, a social cloud is an undirected graph $g$ of $N$ agents with links $L$. The paper studies externalities generated when a pair of agents forms a link and thereby changes resource availability for third parties. Distances are shortest-path distances $d_{ij}(g)$, and the relevant closeness notion is harmonic centrality
$$
\Phi_i(g)=\sum_{j\in g,\ j\ne i}\frac{1}{d_{ij}(g)}.
$$
Resource availability for agent $i$ is
$$
\gamma_i(g)=1-\prod_{j\in g,\ j\ne i}(1-\alpha_{ij}(g)),
\qquad
\alpha_{ij}(g)=\frac{(1/d_{ij}(g))}{\Phi_j(g)},
$$
so the externality from a new link is $\Delta R_i=\gamma_i(g')-\gamma_i(g)$ [1811.09992].

The homogeneous case studied in detail is the populated ring network. Agents are homogeneous, the topology is vertex-transitive, each node has degree $2$, and harmonic centrality is uniform. This symmetry generates a relative-externality interpretation: agents at the same ring distance from the newly formed link are equivalent, and their gain or loss shares can be compared through
$$
RE_i=\frac{\Delta R_i}{\sum_{\ell\ne u,v}\max\{\Delta R_\ell,0\}}
\quad\text{for }\Delta R_i>0,
$$
and
$$
RL_i=\frac{|\Delta R_i|}{\sum_{\ell\ne u,v}\max\{-\Delta R_\ell,0\}}
\quad\text{for }\Delta R_i<0.
$$
In the ring, these relative externalities are identical for agents equidistant from the new chord and decay with ring distance from it [1811.09992].

A central empirical finding is that an increment in closeness is necessary but not sufficient for positive externalities. The paper conjectures, and experimentally supports, that if $\Delta R_i>0$, then $\Delta\Phi_i\ge 0$, and in observed cases of positive externality one has $\Delta\Phi_i>0$. Yet some agents satisfy $\Delta\Phi_i>0$ while still experiencing $\Delta R_i\le 0$. The mechanism is the normalization in $\alpha_{ij}(g)$: when link endpoints become more central, their larger $\Phi_j$ dilutes supply probability to many others, offsetting shorter-path gains for some agents [1811.09992].

The ring simulations establish a clear size effect. For $N\le 10$, no agent experiences positive externalities. For $N\ge 11$, one or more agents do experience positive externalities, and the number of beneficiaries generally increases with the initial ring distance between the link endpoints. Across all tested cases, however, the number of beneficiaries is strictly less than the number of non-beneficiaries, and beneficiaries constitute between $0\%$ and $26\%$ of agents. This suggests that homogeneity of topology does not imply uniformly positive spillovers; it merely makes the distribution of those spillovers structurally analyzable [1811.09992].

## 6. Homogeneous-relative externalities in chore division

In chore division with externalities, the heterogeneous bad is the interval $C=[0,1]$, and for each ordered pair $(i,j)$ agent $i$ has an integrable nonnegative disutility density $v_{i,j}$. If agent $j$ receives piece $X$, then the disutility to $i$ is
$$
V_{i,j}(X)=\int_{x\in X} v_{i,j}(x)\,dx,
$$
and total disutility under allocation $A=(A_1,\dots,A_n)$ is
$$
U_i(A)=\sum_{j=1}^n V_{i,j}(A_j).
$$
The paper itself works with general $v_{i,j}$ and does not introduce HRE explicitly. A natural specialization consistent with the framework is to fix $\alpha\in[0,1]$ and baseline density $w_i$ with $\int_0^1 w_i(x)\,dx=1$, then define
$$
v_{i,i}(x)=(1-\alpha)w_i(x),
\qquad
v_{i,j}(x)=\frac{\alpha}{n-1}w_i(x)\quad (j\ne i).
$$
This makes externalities homogeneous across targets and relative to agent $i$’s baseline density [2303.12446].

Within the general model, proportionality requires
$$
U_i(A)=\sum_{j=1}^n V_{i,j}(A_j)\le \frac{1}{n},
$$
and swap envy-freeness requires
$$
V_{i,i}(A_i)+V_{i,j}(A_j)\le V_{i,i}(A_j)+V_{i,j}(A_i)
\quad \forall i,j.
$$
Swap stability is stronger:
$$
V_{i,j}(A_j)+V_{i,k}(A_k)\le V_{i,j}(A_k)+V_{i,k}(A_j)
\quad \forall i,j,k.
$$
The paper proves that for $n=2$, proportionality and swap envy-freeness are equivalent; for $n\ge 3$, neither implies the other; and swap stability implies proportionality [2303.12446].

The structured classes give constructive consequences under homogeneous-relative specializations. For piecewise constant disutilities, the uniform allocation is swap stable and uses $mn-1$ cuts. For piecewise linear disutilities, the sandwich allocation is swap stable and uses $2(n-1)m$ cuts. For piecewise constant inputs, a linear program computes an optimal allocation that is proportional and swap envy-free in polynomial time in $m$ and $n$. For general $K$-Lipschitz disutilities lower bounded by $M$, the paper gives polynomial-time approximation schemes for proportionality and swap envy-freeness [2303.12446].

The homogeneous-relative specialization makes these results transparent. With $n=3$, $\alpha=0.6$, and $w_i\equiv 1$, equal thirds satisfy
$$
U_i(A)=0.4\cdot \frac{1}{3}+0.3\cdot \frac{2}{3}=\frac{1}{3},
$$
so proportionality holds with equality, and the swap envy-freeness inequalities bind at equality as well. With uneven shares, swap envy-freeness can fail, and for sufficiently large $\alpha$ proportionality can fail too. Thus homogeneous-relative externality in chore division preserves the general tension between fairness and allocation shape while remaining compatible with the paper’s existence and algorithmic results [2303.12446].

Homogeneous Relative Externality is therefore best understood not as a single invariant formula shared across all models, but as a recurrent structural restriction that makes externality comparisons homogeneous in a relative sense. In contest theory it yields the canonical logit form with luck; in data markets it isolates anonymous relative spillovers that can be internalized by revenue-neutral transaction costs; in multiplex exchange economies it becomes the centrality-parallel condition under which competitive equilibrium is efficient; in homogeneous sharing networks it organizes the spatial distribution of gains and losses from link formation; and in chore division it identifies a tractable externality specialization consistent with proportionality, swap envy-freeness, and algorithmic optimization [2508.12934] [2302.08012] [2605.21117] [1811.09992] [2303.12446].

Source: https://www.emergentmind.com/topics/homogeneous-relative-externality