Exclusion-Rotation Method Overview

• Exclusion-Rotation Method is an umbrella term for exclusion-based procedures that modify feasible regions or response scales, rather than employing literal geometric rotations.
• In claims allocation and ASEP, the method uses dilation and boundary-coupling transformations to reparameterize rules, preserving key axioms while introducing controlled asymmetry.
• Across domains—from quantum contextuality to forensic calibration—the approach adapts underlying mechanisms (dilation, additive encoding, Bayesian mapping) to meet unique operational and normative requirements.

The available literature suggests that the expression Exclusion-Rotation Method is not a single standardized term but an umbrella label applied to several exclusion-based transformations in distinct research areas. The most formal construction close to that label is the exclusion dilation operator for bilateral claims problems, where lower and upper exclusion thresholds reshape the feasible allocation domain and a standard rule is reapplied on a reduced interval (Calo-Blanco, 16 Mar 2026). In parity-oblivious prepare-and-measure protocols, exclusion likewise changes the operational task, but the relevant paper explicitly states that it uses dilation-free additive Bloch geometry rather than a special rotation family (Roy et al., 9 May 2026). In open-boundary ASEP, the pertinent methodology combines exclusion, boundary coupling, Laplace-space resolvents, and signed-permutation contour formulas, though the paper does not explicitly name an “Exclusion-Rotation Method” (Tracy et al., 2013). In forensic statistics, the label is used for a beta-binomial calibration that maps traditional ACE / ACE-V outputs—“identification,” “inconclusive,” and “exclusion”—to Bayes factors (Morrison, 2024).

1. Terminological scope and cross-domain usage

In the bilateral claims literature, the operative term is exclusion dilation operator, not rotation. The paper states that the method “does not rotate the rule; it rescales it,” and describes the transformation as a geometric reparameterization in which the feasible region is compressed horizontally and vertically according to $s_i=u_i-\ell_i$, after which the benchmark rule is evaluated on that compressed region and shifted back by the lower thresholds (Calo-Blanco, 16 Mar 2026).

In the contextuality literature, the relevant work introduces the parity-oblivious random exclusion code (POREC) and explicitly notes that the derivations do not use “a nontrivial continuous rotation protocol or a special rotation family.” Instead, they rely on additive decomposition, orthogonal Pauli axes, convexity/extremality, Cauchy–Schwarz, and Bloch-sphere constraints (Roy et al., 9 May 2026). A common misconception is therefore that the exclusion advantage is generated by a rotation code; the cited treatment rejects that interpretation.

In open-boundary ASEP, the paper develops what it calls an exclusion-plus-boundary-plus-symmetry/contour framework. The summary states that the paper “does not explicitly name an ‘Exclusion-Rotation Method,’” but that it does exploit exclusion, boundary coupling, and symmetry/contour transformations to derive transition probabilities (Tracy et al., 2013). Here “rotation” is, at most, an interpretive analogy for contour or symmetry transformations.

In fingerprint forensics, the label denotes something altogether different: a Bayesian calibration procedure that leaves the examiner’s categorical workflow largely unchanged but converts the outputs to Bayes factors by means of a beta-binomial model with uninformative or informative priors (Morrison, 2024). This is not a geometric transformation of a feasible region or state space; it is a probabilistic calibration of categorical decisions.

2. Bilateral claims problems and the exclusion dilation operator

The most mathematically explicit exclusion-based construction appears in bilateral claims problems with thresholds. There are two agents with claims

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$

a divisible endowment $E\in\mathbb{R}_+$, and a standard allocation $x=(x_1,x_2)$ satisfying

$0\le x_i\le c_i,\qquad x_1+x_2=E.$

The extension introduces lower exclusions

$\ell=(\ell_1,\ell_2)\in [0,1)^2$

and upper exclusions

$u=(u_1,u_2)\in (0,1]^2,$

with $\ell_i<u_i$ for each $i$. These define aggregate thresholds

$$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$

satisfying

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$0

The interpretation given is that if $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$1, resources are so scarce that one agent is excluded from initial gains; if $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$2, resources are abundant enough that one agent is fully compensated in the loss regime; and between these thresholds the rule behaves like a transformed version of the original rule (Calo-Blanco, 16 Mar 2026).

The key geometric quantity is

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$3

which measures the remaining feasible “exclusion space” after thresholds are imposed. For $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$4, the dilation of a function $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$5 is

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$6

In the claims model, the underlying rule is reapplied on the reduced interval

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$7

This is the precise sense in which the method is a dilation-style, rather than rotation-style, transformation.

For any standard rule $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$8, the exclusion dilation operator defines the extended rule by three cases: $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$9 The middle term is defined through

$E\in\mathbb{R}_+$0

and

$E\in\mathbb{R}_+$1

with $E\in\mathbb{R}_+$2. Operationally, the procedure has three stages: proportional allocation with respect to lower exclusions below $E\in\mathbb{R}_+$3; application of the dilated underlying rule in the interval $E\in\mathbb{R}_+$4; and proportional distribution of residual compensation above $E\in\mathbb{R}_+$5.

The paper works out explicit extended forms for several benchmark rules: the proportional rule, constrained equal awards (CEA), constrained equal losses (CEL), concede-and-divide (CD), reverse Talmud (RT), a nonlinear rule, and a differentiable self-dual rule. For the proportional rule, the middle-region path is especially simple: $E\in\mathbb{R}_+$6 yielding

$E\in\mathbb{R}_+$7

3. Property preservation, asymmetry, and axiomatic characterization

A central feature of the exclusion dilation operator is that it preserves some standard claims axioms while deliberately violating others. The paper states in Theorem 1 that equal treatment of equals and order preservation are not preserved, whereas endowment monotonicity, claim monotonicity, and homogeneity are preserved (Calo-Blanco, 16 Mar 2026). The stated intuition is that exclusions are asymmetric by design, so equality or order in claims need not translate into equality or order in awards.

Additional preservation results are conditional. Midpoint and self-duality are preserved if exclusions are symmetric: $E\in\mathbb{R}_+$8 Restricted endowment convexity is preserved only within the exclusion space. Progressivity, regressivity, concavity, and convexity are preserved within the exclusion space if exclusions are order-preserving, meaning that the rank order of claims is not reversed after threshold subtraction. These statements define the operator’s normative profile: it is not a symmetry-preserving extension of ordinary claims rules, but a controlled asymmetry mechanism.

The axiomatic characterization is given in Theorem 2. An extended allocation rule is generated by the exclusion dilation operator if and only if it satisfies three axioms.

The first is full exclusion: $E\in\mathbb{R}_+$9 The second is null exclusion: $x=(x_1,x_2)$0 The third is proportional exclusion invariance: $x=(x_1,x_2)$1 with

$x=(x_1,x_2)$2

The paper also shows that these three axioms are independent by constructing counterexamples when any one of them is dropped. A plausible implication is that the operator is not merely one convenient implementation among many; within the bilateral framework, the three axioms uniquely pin down the transformation.

The applications suggested in the paper include bankruptcy with privileged public claims, tax or exemption systems, divorce settlements, education or welfare budgets, and other policy problems where one party must be protected differently from another. These applications are presented as contexts in which “symmetry is not appropriate due to legal and policy considerations.”

4. Exclusion in parity-oblivious prepare-and-measure protocols

In quantum contextuality, exclusion enters through the parity-oblivious random exclusion code. Alice receives a uniformly random string

$x=(x_1,x_2)$3

with prime $x=(x_1,x_2)$4, and Bob receives a uniformly random index

$x=(x_1,x_2)$5

In parity-oblivious retrieval, Bob must output $x=(x_1,x_2)$6; in POREC, he must output any value satisfying $x=(x_1,x_2)$7. Parity-obliviousness requires that for masks $x=(x_1,x_2)$8 with Hamming weight $x=(x_1,x_2)$9, the average encoding over each parity class be independent of the parity value. In the quantum case,

$0\le x_i\le c_i,\qquad x_1+x_2=E.$0

The figure of merit is

$0\le x_i\le c_i,\qquad x_1+x_2=E.$1

For prime $0\le x_i\le c_i,\qquad x_1+x_2=E.$2, the optimal classical and preparation-noncontextual value is

$0\le x_i\le c_i,\qquad x_1+x_2=E.$3

The proof uses a Fourier-collapse argument: parity-obliviousness kills all Fourier components with $0\le x_i\le c_i,\qquad x_1+x_2=E.$4, and for prime $0\le x_i\le c_i,\qquad x_1+x_2=E.$5 this forces the encoding to depend on at most one digit (Roy et al., 9 May 2026).

For the first nontrivial case $0\le x_i\le c_i,\qquad x_1+x_2=E.$6, the paper gives the exact qubit optimum

$0\le x_i\le c_i,\qquad x_1+x_2=E.$7

numerically $0\le x_i\le c_i,\qquad x_1+x_2=E.$8, exceeding the noncontextual bound

$0\le x_i\le c_i,\qquad x_1+x_2=E.$9

The optimal qubit realization is in the Bloch $\ell=(\ell_1,\ell_2)\in [0,1)^2$0-$\ell=(\ell_1,\ell_2)\in [0,1)^2$1 plane, with states arranged as a $\ell=(\ell_1,\ell_2)\in [0,1)^2$2 grid, one digit encoded along $\ell=(\ell_1,\ell_2)\in [0,1)^2$3, the other along $\ell=(\ell_1,\ell_2)\in [0,1)^2$4, and measurements

$\ell=(\ell_1,\ell_2)\in [0,1)^2$5

with $\ell=(\ell_1,\ell_2)\in [0,1)^2$6. The paper states that the advantage comes from anti-aligned measurements for exclusion.

The paper’s comparison with parity-oblivious retrieval is especially important. It states that retrieval shows no qubit advantage under the same parity-oblivious constraints, whereas exclusion does. The difference is operational: exclusion only requires Bob to rule out the correct value, while retrieval requires full identification. The paper further states that there is no rotation-like encoding beyond the additive Bloch structure

$\ell=(\ell_1,\ell_2)\in [0,1)^2$7

with the zero-sum gauge

$\ell=(\ell_1,\ell_2)\in [0,1)^2$8

A common misunderstanding is therefore that exclusion-based contextuality protocols derive their advantage from a continuous rotation code. The cited analysis states the opposite: the mechanism is additive decomposition plus orthogonal, complementary measurements.

The exact qubit optimum also yields a semi-device-independent dimension witness: $\ell=(\ell_1,\ell_2)\in [0,1)^2$9 The paper reports nonzero critical white-noise thresholds $u=(u_1,u_2)\in (0,1]^2,$0 in all tested cases for $u=(u_1,u_2)\in (0,1]^2,$1, with $u=(u_1,u_2)\in (0,1]^2,$2 increasing with dimension.

5. Exclusion, boundary coupling, and symmetry in open-boundary ASEP

A separate lineage arises in the asymmetric simple exclusion process on $u=(u_1,u_2)\in (0,1]^2,$3 with an open boundary at $u=(u_1,u_2)\in (0,1]^2,$4. Particles obey the exclusion rule, move right with probability $u=(u_1,u_2)\in (0,1]^2,$5, move left with probability $u=(u_1,u_2)\in (0,1]^2,$6, are injected at site $u=(u_1,u_2)\in (0,1]^2,$7 from a reservoir at rate $u=(u_1,u_2)\in (0,1]^2,$8 if site $u=(u_1,u_2)\in (0,1]^2,$9 is empty, and are ejected from site $\ell_i<u_i$0 into the reservoir at rate $\ell_i<u_i$1. Because of the reservoir, particle number is not conserved: a system that starts in $\ell_i<u_i$2 may later be in $\ell_i<u_i$3 (Tracy et al., 2013).

The paper studies transition probabilities $\ell_i<u_i$4 and their Laplace transforms

$\ell_i<u_i$5

The central open-boundary formula is the Laplace-space resolvent

$\ell_i<u_i$6

Here $\ell_i<u_i$7 and $\ell_i<u_i$8 are boundary operators coupling neighboring particle-number sectors. When one boundary rate vanishes, the matrix becomes triangular and the paper gives explicit recursions. For $\ell_i<u_i$9,

$i$0

and for $i$1,

$i$2

with

$i$3

The paper’s structural reduction is stated in Remark 1.1. By restricting to configurations with first coordinate $i$4, the open-boundary problem is rewritten in terms of lower-dimensional operators involving kernels such as $i$5. This is the main boundary-reduction method in the paper.

The symmetry/contour aspect appears in the appendix through the Weyl group $i$6 of signed permutations. For $i$7, the transition probability is

$i$8

For TASEP $i$9, this simplifies to the determinant formula

$$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$0

The paper therefore supplies an exclusion-plus-boundary-plus-symmetry/contour method, but not a literal rotation construction. A plausible implication is that the phrase “rotation” can only be used metaphorically here, to denote contour or group-action transformations rather than geometric rotations of states or paths.

6. Bayesian calibration of “identification,” “inconclusive,” and “exclusion”

In forensic statistics, the method labeled Exclusion-Rotation Method is a beta-binomial calibration of traditional fingerprint ACE / ACE-V outputs into Bayes factors. The conceptual move is to keep the familiar categorical workflow—“identification,” “inconclusive,” or “exclusion”—but to map each response to a Bayes factor using empirical examiner behavior under known same-source and different-source conditions (Morrison, 2024).

For each response category $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$1 and truth state $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$2, the model uses counts $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$3 out of $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$4 opportunities: $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$5 By conjugacy,

$$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$6

where $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$7. The posterior mean is

$$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$8

The Bayes factor assigned to response $$L(c,\ell)=\ell_1 c_1+\ell_2 c_2, \qquad U(c,u)=u_1 c_1+u_2 c_2,$$9 is then

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$00

For uninformative priors, the paper uses weighted Jeffreys-type choices

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$01

For informative priors, it uses a leave-one-out cross-validated procedure in which posterior hyperparameters from the remaining examiners are averaged and used as prior hyperparameters for the held-out examiner.

The proof-of-concept uses Langenburg et al. data with $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$02 same-source pairs and $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$03 different-source pairs. For one illustrative examiner, under uninformative priors, the counts for “identification” are $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$04 and $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$05, giving posterior means $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$06 and $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$07, and therefore

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$08

Under informative priors $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$09, $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$10, $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$11, $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$12, the posterior means become $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$13 and $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$14, yielding

$c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$15

The paper reports analogous examples for $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$16 and $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$17, and emphasizes that “inconclusive” often does not correspond to neutrality $c=(c_1,c_2)\in \mathbb{R}_+^2, \qquad C=c_1+c_2,$18. In the example dataset, “inconclusive” often produced values above 1, indicating that it was somewhat more associated with same-source than different-source evidence.

This use of the term differs fundamentally from the allocation, contextuality, and ASEP usages. There is no rotated geometry or reparameterized path. The method is a calibrated evidential mapping from categorical outputs to Bayes factors. Its stated advantage is that the examiner’s workflow changes minimally, while the evidential interpretation becomes probabilistically explicit.

7. Comparative assessment

Across these literatures, the common element is exclusion, but the operative mechanism varies sharply. In bilateral claims problems, exclusion thresholds carve out a reduced feasible interval and the underlying rule is dilated into that interval. In POREC, exclusion is a task requirement that reveals preparation contextuality under parity-obliviousness; the paper explicitly denies the use of a special rotation family. In open-boundary ASEP, exclusion is the particle interaction itself, and the key tools are boundary operators, resolvent inversion, and signed-permutation contour formulas. In fingerprint calibration, exclusion is one categorical response among three, and the method is a beta-binomial conversion to Bayes factors.

The strongest unifying interpretation is therefore methodological rather than formal. These constructions use exclusion to reshape either a feasible domain, an operational success criterion, a boundary-coupled stochastic evolution, or an evidential response scale. What varies is the transformation that follows: dilation in claims, additive Bloch encoding in contextuality, contour/symmetry reduction in ASEP, and Bayesian calibration in forensics. The literature thus supports no single canonical “Exclusion-Rotation Method.” It instead supports a family of exclusion-centered procedures whose mathematical content depends entirely on the domain in which the term is invoked.