--- title: Exclusion Dilation Operator url: https://www.emergentmind.com/topics/exclusion-dilation-operator type: topic --- # Exclusion Dilation Operator The exclusion dilation operator is an operator-based extension of bilateral claims rules for environments with lower and upper exclusion thresholds, where each threshold determines whether an individual is excluded from initial gains or residual losses. In the formulation examined in "The exclusion dilation operator for bilateral claims problems" [2603.15015], the operator transforms a standard two-agent rule into an extended rule by first allocating with respect to exclusion thresholds and then distributing the remaining resources through a dilation transformation of an underlying benchmark rule. The construction is explicitly asymmetric: it preserves homogeneity and monotonicity, but it is designed to violate some classical symmetry-based axioms, most notably order-preservation, in order to reflect legal and policy-induced asymmetries. ## 1. Extended bilateral claims framework The underlying setting is a standard two-agent claims, or rationing, problem. Agents \(1\) and \(2\) have nonnegative claims \(c=(c_1,c_2)\in \mathbb{R}_+^2\) on a divisible endowment \(E\in \mathbb{R}_+\). An allocation is a vector \(x=(x_1,x_2)\) satisfying \(0\le x_i\le c_i\) for each \(i\), together with the balance condition \(x_1+x_2=E\). A standard allocation rule is a function \[ R:\{(c,E): c_1,c_2\ge 0,\; 0\le E\le c_1+c_2\}\longrightarrow \mathbb{R}_+^2 \] subject to the same feasibility constraints. The extended model adds two threshold vectors, \(\ell=(\ell_1,\ell_2)\in [0,1)^2\) and \(u=(u_1,u_2)\in (0,1]^2\), with \(\ell_iU\), each claimant is first honored up to the upper exclusion \(u_i c_i\), and the surplus \(E-U\) is then handed entirely to the claimant who still has room, so that the total equals \(E\) [2603.15015]. For the proportional benchmark rule, \[ R_i(c,E)=\frac{c_i}{c_1+c_2}E, \] the exposition gives an explicit middle-segment expression: \[ D_i(c,E,\ell,u)=\ell_i c_i+\frac{s_i}{s_1+s_2}(E-L),\qquad L\le E\le U. \] This makes the geometry of the dilation transparent: the baseline \(\ell_i c_i\) fixes the lower threshold allocation, while the increment is apportioned according to the widths \(s_i=u_i-\ell_i\) of the exclusion band. ## 3. Axiomatic profile The paper organizes the operator’s normative behavior around preservation and non-preservation of familiar claims-allocation axioms. Preservation is understood conditionally: if the benchmark rule \(R\) satisfies a property, then the extended rule \(D_{\ell,u}(R)\) does so as well. Endowment monotonicity is preserved because each piece of the definition is nondecreasing in \(E\), and the dilation of a nondecreasing rule remains nondecreasing. Claim-monotonicity is also preserved: when claimant \(i\)'s own claim rises, the thresholds and dilations move proportionally, and the path of awards does not cross downward. Homogeneity is preserved because scaling \((c,E)\) by \(\lambda>0\) scales thresholds and segments proportionally. By contrast, equal-treatment-of-equals fails in general. If \(c_1=c_2\) but the claimants have different lower or upper exclusions, the initial and final segments may award them differently. Order-preservation also fails: a larger claim does not necessarily imply a weakly larger award or weakly larger loss. In the abstract, this is described not as an incidental defect but as an intentional violation, introduced to capture asymmetries induced by exclusion thresholds. Midpoint and self-duality survive only under symmetric exclusions, namely when \(\ell_i+u_i=1\) for each claimant. Under that condition, the midpoint property—if \(E=(c_1+c_2)/2\) then \(x_i=c_i/2\)—is preserved, and the self-duality relation \[ x_i(E)=c_i-x_i(c_1+c_2-E) \] is preserved as well. The exposition attributes this to the fact that, under symmetric exclusions, the three segments reflect each other. Convexity and related comparative-shape properties are preserved only locally. Restricted endowment convexity is preserved within the exclusion band \(E\in [L,U]\), but not over the entire endowment range. Progressivity or regressivity is preserved in the middle region when the exclusions respect the original claim order, that is, when \(s_1c_1\ge s_2c_2\). Concavity or convexity of the award path is likewise preserved only inside the exclusion-space [2603.15015]. | Axiom | Preserved by \(D_{\ell,u}\)? | Condition | |---|---|---| | Equal-treatment-of-equals | No | — | | Order-preservation | No | — | | Endowment-monotonicity | Yes | — | | Claim-monotonicity | Yes | — | | Homogeneity | Yes | — | | Midpoint | Yes | If \(\ell_i+u_i=1\) | | Self-duality | Yes | If \(\ell_i+u_i=1\) | | Restricted endowment convexity | Yes | On \(E\in[L,U]\) | | Progressivity / Regressivity | Yes | On \(E\in[L,U]\) if \(s_1c_1\ge s_2c_2\) | | Concavity / Convexity | Yes | On \(E\in[L,U]\) if order-preserving | ## 4. Breakdown of order-preservation The failure of order-preservation is isolated in the exposition as a structural consequence of lower exclusions. The key lemma states that if \(\ell_i<\ell_j\) while \(c_i>c_j\), then for sufficiently small \(E\), \[ D_i=\ell_iE<\ell_jE=D_j, \] even though claimant \(i\) has the larger claim. The proof sketch is immediate from the first stage of the piecewise definition: when the endowment is small, the split is governed only by the lower-exclusion fractions, not by the claims themselves. The counterexample given is \[ c=(16,10),\qquad \ell=(0.1,0.3),\qquad u=(1,1). \] Then \[ L=1.6+3.0=4.6. \] For the small endowment \(E=3\), \[ D_1=0.1\cdot 3=0.3,\qquad D_2=0.3\cdot 3=0.9. \] Thus \(c_1>c_2\) but \(D_1U(c,u)\), then the agent with the larger upper threshold \(\max_k u_k\) is fully compensated, and the residual goes to the other claimant. This is stated to match the third line of the operator’s definition. The third is **Proportional exclusion-invariance**. On the middle band \(E\in[L,U]\), allocations must be a positive affine dilation of the benchmark rule \(R\). Formally, the exposition requires the existence of \(m=(m_1,m_2)\) with \(0\le m_i\le \ell_i\) such that \[ \delta_i\bigl(c,\;E+M(c,m),\ell,u\bigr) = s_i\,\delta_i\bigl(c,\;E,(0,0),(1,1)\bigr)+m_ic_i, \] where \[ M(c,m)=m_1c_1+m_2c_2. \] The text states that checking the three endowment regions shows that these axioms force the piecewise form and no alternative rule [2603.15015]. ## 6. Worked example and broader significance The numerical illustration uses claims \[ c=(16,10),\qquad \ell=(0.2,0),\qquad u=(1,0.6), \] so that \[ L=0.2\cdot 16+0\cdot 10=3.2,\qquad U=1\cdot 16+0.6\cdot 10=22, \] \[ s=(0.8,0.6),\qquad S=0.8\cdot 16+0.6\cdot 10=12.8+6=18.8. \] The benchmark rule is proportional: \[ R_i(c,e)=\frac{c_i}{c_1+c_2}e. \] For \(E=2U=22\), each claimant is honored up to the upper exclusion and the surplus is assigned as follows: \[ D_1=1\cdot 16+(24-22)=18,\qquad D_2=0.6\cdot 10=6, \] with \(18+6=24\). The exposition notes that, at small endowment levels, the example exhibits the same order failure emphasized earlier: the lower-exclusion structure can dominate raw claim size. Within the scope stated in the paper, the operator provides a systematic way to construct asymmetric extensions of any standard bilateral rule whenever policy or legal constraints impose priority bands, minimum guarantees, or delayed compensation. The abstract explicitly places the contribution in contexts where symmetry is inappropriate because of legal and policy considerations, and the exposition names bankruptcy, tax credits, and divorce settlements as representative settings. Its broader significance lies in showing that one can preserve robustness properties such as monotonicity and homogeneity while formally identifying the classical axioms that must be relinquished once exclusion thresholds are treated as primitive features of the allocation problem [2603.15015]. Source: https://www.emergentmind.com/topics/exclusion-dilation-operator