Restriction-Sensitive Choice (RSC) Theory

• Restriction-Sensitive Choice (RSC) is a formal decision-making model that explains how restricting options triggers forbidden fruit effects and observable choice reversals.
• The model employs a two-stage process that first filters options based on welfare preferences and then selects the final option using reaction preferences.
• It extends to applications in menu-dependent decision making, privacy-preserving elicitation, and dynamic programming under restricted choice settings.

Restriction-Sensitive Choice (RSC) most specifically denotes a formal choice-theoretic model of the forbidden fruit effect: restricting access to some opportunities may steer desire toward their substitutes, so that removal of an option can induce a reversal toward another option of the same subjective “type” rather than leave the remaining ranking unchanged. In adjacent literatures, the same underlying idea of sensitivity to restrictions reappears in menu-dependent shortlisting, restricted codomains of feasible choice outputs, privacy-preserving elicitation, and preference-domain restrictions, while the acronym “RSC” is also used independently for unrelated constructions in machine learning and analysis (Boissonnet et al., 15 Sep 2025).

1. Formal choice-theoretic RSC and the forbidden fruit effect

In the choice-theoretic sense, RSC is defined on a finite set of options $X$, with $\mathcal X = 2^X \setminus \emptyset$, and a choice function $c:\mathcal X\to X$ such that $c(A)\in A$ for every menu $A$. Its basic behavioral signature is a choice reversal caused by removal of an unchosen option. The key revealed relation is

$$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$

Thus $x\mathbf{R}^c y$ means that when $y$ is present in the triple $\{x,y,z\}$, the chosen option is $z$, but when $\mathcal X = 2^X \setminus \emptyset$0 is removed and only $\mathcal X = 2^X \setminus \emptyset$1 remains, choice switches to $\mathcal X = 2^X \setminus \emptyset$2. The paper interprets this as $\mathcal X = 2^X \setminus \emptyset$3 “reacting” to the absence of $\mathcal X = 2^X \setminus \emptyset$4 (Boissonnet et al., 15 Sep 2025).

The model then builds a subjective similarity relation from such reactions. If $\mathcal X = 2^X \setminus \emptyset$5 reacts to the absence of $\mathcal X = 2^X \setminus \emptyset$6, then $\mathcal X = 2^X \setminus \emptyset$7 and $\mathcal X = 2^X \setminus \emptyset$8 are interpreted as similar; more generally, similarity is the transitive closure of reaction links. This yields equivalence classes of “types,” the subjective categories within which the forbidden fruit effect can operate.

The core representation is two-stage. A choice function $\mathcal X = 2^X \setminus \emptyset$9 is an RSC if there exist a partition $c:\mathcal X\to X$0 of $c:\mathcal X\to X$1 into types, a linear order $c:\mathcal X\to X$2 (“welfare preference”), and a linear order $c:\mathcal X\to X$3 (“reaction preference”), such that

$c:\mathcal X\to X$4

First, within each type $c:\mathcal X\to X$5, only the best available option according to $c:\mathcal X\to X$6 survives. Second, across the surviving type-representatives, the final choice is the $c:\mathcal X\to X$7-maximal option. The mismatch between $c:\mathcal X\to X$8 and $c:\mathcal X\to X$9 is what generates restriction-induced reversals.

The main characterization theorem states: $c(A)\in A$0 Here Expansion (Exp) requires that if $c(A)\in A$1, then $c(A)\in A$2; No-Reaction Similarity (NRS) imposes transitivity-like consistency among pairwise choices within the same subjective type; and Independent Reaction (IR) requires that the strength of reaction depends only on the availability of similar options, not on the identity of dissimilar outside options. Proposition $c(A)\in A$3 further identifies exactly when a reaction is observed: $c(A)\in A$4 iff there exist a type $c(A)\in A$5 and an outside option $c(A)\in A$6 such that $c(A)\in A$7, $c(A)\in A$8, and $c(A)\in A$9 (Boissonnet et al., 15 Sep 2025).

2. Identification, single-peaked reaction, welfare, and freedom

A central contribution of the RSC model is identifiability from observed reversals. The equivalence classes of the revealed similarity relation are observable from $A$0, and these classes can be taken as the types: $A$1 Proposition $A$2 states that if $A$3 is an RSC, then there exists a rationalizing RS-structure with exactly these types, and any rationalizing structure must place similar options in the same type. The types are therefore revealed by reaction data rather than imposed ex ante (Boissonnet et al., 15 Sep 2025).

The paper also studies single-peaked RSC. For each type $A$4, there exists a threshold $A$5 such that: $A$6 and $A$7 is single-peaked with respect to $A$8 on

$A$9

This means that no restriction motive operates above the threshold, while below the threshold reaction rises and then eventually weakens. The corresponding behavioral postulate is Single-Peaked Reaction (SPR), and the theorem is: $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$0

In minimal single-peaked representations, the threshold is identifiable: $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$1 The paper also identifies the most reaction-inducing options through the set of options that are never themselves “reacted to.” This yields a minimal RS-structure from revealed reaction patterns.

The normative analysis distinguishes welfare from observed choice. Welfare is represented by $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$2, not by $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$3, and the paper therefore defines a revealed welfare-improving relation $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$4. It also develops a freedom measure. For each type $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$5, the set of freedom-satisfying options is

$$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$6

A menu satisfies freedom $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$7 if it contains at least one option in $$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$8, and its freedom value is

$$x \mathbf{R}^c y \quad\text{if there exists } z \text{ such that } z=c\{x,y,z\} \text{ and } x=c\{x,z\}.$$9

Theorem $x\mathbf{R}^c y$0 states: $x\mathbf{R}^c y$1 Freedom is thus measured by the number of represented freedom-types (Boissonnet et al., 15 Sep 2025).

The model is applied to two further phenomena. In the belief backfire application, there exists a threshold $x\mathbf{R}^c y$2 such that for priors $x\mathbf{R}^c y$3, removing a moderate $x\mathbf{R}^c y$4-biased source makes the decision maker prefer the extreme source $x\mathbf{R}^c y$5 to the moderate source $x\mathbf{R}^c y$6, and then choose action $x\mathbf{R}^c y$7 after observing the signal from $x\mathbf{R}^c y$8. In the integration-policy application, the restricted menu is

$x\mathbf{R}^c y$9

the parent maximizes

$y$0

and the steady-state minority share is

$y$1

Since $y$2 rises with $y$3 when $y$4, stronger repression increases the steady-state size of the minority (Boissonnet et al., 15 Sep 2025).

3. Related menu-dependent and globally constrained models

A closely related two-stage model is Choice by Rejection (CBR). In that model,

$y$5

where $y$6 is the first-stage rationale and $y$7 is the second-stage rationale. The rejected set is defined by

$y$8

Here $y$9 is transitive and possibly incomplete, while $\{x,y,z\}$0 is complete. The shortlist is therefore not the set of $\{x,y,z\}$1-maximal elements, as in the Rational Shortlist Method, but the set of options that are not minimal under $\{x,y,z\}$2. The model is explicitly restriction-sensitive because shortlisting is menu-dependent and the final choice is taken over a restricted survivor set (Bhardwaj et al., 2021).

CBR is analyzed through reversals under set inclusion. With pairwise choice defined by

$\{x,y,z\}$3

the model admits weak reversals, strong reversals, and double reversals such as

$\{x,y,z\}$4

Its main behavioral characterization is:

A choice function $\{x,y,z\}$5 is CBR representable iff it satisfies (A1)–(A4).

The weakened WARP-like discipline is R-WARP, and, together with WCC$\{x,y,z\}$6, it implies R-WARP$\{x,y,z\}$7, which allows at most two reversals along an inclusion chain. Identification is also partial and structured: in a minimal CBR representation $\{x,y,z\}$8,

$\{x,y,z\}$9

Thus the first rationale is pinned down exactly by the transitive closure of revealed reversals, while the second rationale is only partially identified (Bhardwaj et al., 2021).

A different but related restriction-sensitive construction appears in sequential choice under uncertainty. There, dynamic decision problems are represented by finite decision trees, and abandoning separability or consequentialism invalidates Bellman’s principle. Under resolute choice, successive Selves cooperate to implement an initially chosen strategy rather than behave as adversaries in a sophisticated backward-induction game. The paper’s minimal cooperative version is justifiable choice: each Self chooses only among decisions that belong to at least one undominated strategy. Operationally, the original tree $z$0 is replaced by a reduced tree $z$1 or $z$2 spanned by undominated or justifiable strategies, and backward induction is then carried out within that restricted structure. This yields a choice procedure in which local feasibility depends on global undominatedness, not only on subtree-local information (Jaffray, 2013).

The paper formalizes the benchmark subjective expected utility

$z$3

and the non-expected-utility criterion Choquet Expected Utility

$z$4

Because CEU can violate dynamic consistency, ordinary dynamic programming may produce dominated strategies. The proposed implementation instead generates undominated strategies through families of positive weight systems, constructs a reduced subtree $z$5, and then rolls it back recursively. A limited-cooperation version replaces full commitment by $z$6-acceptability, pruning substrategies that later Selves will not accept (Jaffray, 2013).

4. Restricted choice structures and linear orders on sets

Another formalization of restriction-sensitive choice arises when the very codomain of feasible outputs is restricted. A restricted choice structure is

$z$7

where $z$8 is the set of alternatives, $z$9 is the domain of admissible inputs, and $\mathcal X = 2^X \setminus \emptyset$00 is the set of realizable choices. A choice function for $\mathcal X = 2^X \setminus \emptyset$01 is a function $\mathcal X = 2^X \setminus \emptyset$02 such that whenever there exists a realizable choice $\mathcal X = 2^X \setminus \emptyset$03 with $\mathcal X = 2^X \setminus \emptyset$04, the function returns such an $\mathcal X = 2^X \setminus \emptyset$05; if no such $\mathcal X = 2^X \setminus \emptyset$06 exists, the function returns a distinguished fallback value $\mathcal X = 2^X \setminus \emptyset$07 (Sauerwald et al., 3 Jun 2025).

The paper’s key point is that in such settings, representation by an order on alternatives is insufficient. One instead orders sets of alternatives. Let $\mathcal X = 2^X \setminus \emptyset$08 be a $\mathcal X = 2^X \setminus \emptyset$09-smooth linear order on $\mathcal X = 2^X \setminus \emptyset$10, where $\mathcal X = 2^X \setminus \emptyset$11-smoothness means that every relevant input $\mathcal X = 2^X \setminus \emptyset$12 with some realizable subset has at least one $\mathcal X = 2^X \setminus \emptyset$13-minimal such subset. Let $\mathcal X = 2^X \setminus \emptyset$14-minimality mean

$\mathcal X = 2^X \setminus \emptyset$15

Then the canonical linear choice operator is

$\mathcal X = 2^X \setminus \emptyset$16

If there is a unique $\mathcal X = 2^X \setminus \emptyset$17-minimal realizable subset of $\mathcal X = 2^X \setminus \emptyset$18, that subset is chosen; otherwise the fallback $\mathcal X = 2^X \setminus \emptyset$19 is returned (Sauerwald et al., 3 Jun 2025).

The existence theorem states that, assuming the Axiom of Choice, every restricted choice structure admits a $\mathcal X = 2^X \setminus \emptyset$20-minimal linear choice function. The union-closed characterization is:

Let $\mathcal X = 2^X \setminus \emptyset$21 be union-closed and let $\mathcal X = 2^X \setminus \emptyset$22. A function $\mathcal X = 2^X \setminus \emptyset$23 is a $\mathcal X = 2^X \setminus \emptyset$24-minimal linear choice function for $\mathcal X = 2^X \setminus \emptyset$25 iff it satisfies $\mathcal X = 2^X \setminus \emptyset$26–$\mathcal X = 2^X \setminus \emptyset$27.

For the general non-union-closed case, $\mathcal X = 2^X \setminus \emptyset$28 and $\mathcal X = 2^X \setminus \emptyset$29 are replaced by $\mathcal X = 2^X \setminus \emptyset$30 and $\mathcal X = 2^X \setminus \emptyset$31. The axioms include: $\mathcal X = 2^X \setminus \emptyset$32

$\mathcal X = 2^X \setminus \emptyset$33

$\mathcal X = 2^X \setminus \emptyset$34

together with reciprocity, monotonicity, cycle-prevention, and persistence conditions (Sauerwald et al., 3 Jun 2025).

This framework is applied to theory change and abstract argumentation. In theory change, a choice-based change operator $\mathcal X = 2^X \setminus \emptyset$35 is linear when each $\mathcal X = 2^X \setminus \emptyset$36 is $\mathcal X = 2^X \setminus \emptyset$37-minimal linear, yielding the axioms $\mathcal X = 2^X \setminus \emptyset$38–$\mathcal X = 2^X \setminus \emptyset$39. In argumentation, a semantics is linear if each $\mathcal X = 2^X \setminus \emptyset$40 is a $\mathcal X = 2^X \setminus \emptyset$41-minimal linear choice function, yielding the axioms $\mathcal X = 2^X \setminus \emptyset$42–$\mathcal X = 2^X \setminus \emptyset$43 (Sauerwald et al., 3 Jun 2025).

5. Preference-domain restrictions and privacy-preserving elicitation

Restriction sensitivity also appears when the difficulty and behavior of collective choice depend on structural restrictions on preferences. In computational social choice, restricted domains such as single-peaked, single-crossing, and Euclidean preferences alter both axiomatic and algorithmic properties. For a profile $\mathcal X = 2^X \setminus \emptyset$44, a domain restriction is a set of admissible profiles; many such restrictions are hereditary, meaning that every subprofile obtained by deleting voters and/or alternatives remains in the domain (Elkind et al., 2022).

For single-peaked preferences, alternatives lie on an axis $\mathcal X = 2^X \setminus \emptyset$45, and each vote has one peak and declines away from it. The survey gives the equivalence: $\mathcal X = 2^X \setminus \emptyset$46 For odd numbers of voters, the majority relation is transitive and the median voter’s top choice is the unique Condorcet winner. Recognition is possible in $\mathcal X = 2^X \setminus \emptyset$47, with a reduction to the consecutive-ones property. For single-crossing preferences, the voter order rather than the alternative order is constrained; recognition can be done in

$\mathcal X = 2^X \setminus \emptyset$48

For $\mathcal X = 2^X \setminus \emptyset$49-Euclidean preferences, the survey emphasizes the strict inclusion

$\mathcal X = 2^X \setminus \emptyset$50

while for fixed $\mathcal X = 2^X \setminus \emptyset$51, $\mathcal X = 2^X \setminus \emptyset$52-Euclidean recognition is $\mathcal X = 2^X \setminus \emptyset$53-complete. Under these domain restrictions, hard winner-determination problems such as Dodgson, Young, Kemeny, and Chamberlin–Courant often become polynomial-time solvable (Elkind et al., 2022).

A different operational form of restriction-sensitive choice appears in privacy-preserving polling for sensitive multiple-choice questions. The paper proposes two methods in which the respondent’s answer is not the exact choice, but a subset containing the true one. The first is the Pair method: the respondent states the true choice together with one other choice picked uniformly at random from the remaining $\mathcal X = 2^X \setminus \emptyset$54 parties, and reports the unordered pair. The response probabilities are

$\mathcal X = 2^X \setminus \emptyset$55

and the unbiased estimator is

$\mathcal X = 2^X \setminus \emptyset$56

Its variance is

$\mathcal X = 2^X \setminus \emptyset$57

The second is the List method: the respondent is shown a list of parties and answers whether the preferred party is on the list. Both methods are modeled as

$\mathcal X = 2^X \setminus \emptyset$58

with identification guaranteed if $\mathcal X = 2^X \setminus \emptyset$59 has full column rank $\mathcal X = 2^X \setminus \emptyset$60, and both use the estimator

$\mathcal X = 2^X \setminus \emptyset$61

The privacy–efficiency comparison is explicit: the Pair method is more informative and less private, while the List method is more private and less informative (Lagerås et al., 2018).

6. Acronymal and analytical uses beyond choice theory

Outside choice theory, the acronym RSC is used for unrelated constructions. In spiking neural networks, RSC stands for Randomized Smoothing Coding. The paper links Poisson coding, randomized smoothing, and certified adversarial robustness through the smoothed classifier

$\mathcal X = 2^X \setminus \emptyset$62

It defines RSC-I by

$\mathcal X = 2^X \setminus \emptyset$63

and RSC-II by

$\mathcal X = 2^X \setminus \emptyset$64

Its main theoretical point is that Poisson coding has attack-dependent covariance, while RSC has fixed covariance. On ImageNet in the white-box setting, the reported accuracies are: ANN clean $\mathcal X = 2^X \setminus \emptyset$65, FGSM $\mathcal X = 2^X \setminus \emptyset$66, PGD $\mathcal X = 2^X \setminus \emptyset$67; Direct SNN clean $\mathcal X = 2^X \setminus \emptyset$68, FGSM $\mathcal X = 2^X \setminus \emptyset$69, PGD $\mathcal X = 2^X \setminus \emptyset$70; Poisson SNN clean $\mathcal X = 2^X \setminus \emptyset$71, FGSM $\mathcal X = 2^X \setminus \emptyset$72, PGD $\mathcal X = 2^X \setminus \emptyset$73; RSC-SNN clean $\mathcal X = 2^X \setminus \emptyset$74, FGSM $\mathcal X = 2^X \setminus \emptyset$75, PGD $\mathcal X = 2^X \setminus \emptyset$76 (Wu et al., 2024).

In graph neural networks, RSC denotes Randomized Sparse Computation. The framework targets sparse matrix–dense matrix multiplications in the backward pass and manages approximation globally, layer by layer and epoch by epoch. Its constrained optimization has the budget form

$\mathcal X = 2^X \setminus \emptyset$77

uses a greedy solver with

$\mathcal X = 2^X \setminus \emptyset$78

caches sampled sparse matrices across nearby iterations, and switches back to exact sparse operations in the final phase using 80% approximate / 20% exact. The reported speedups are up to $\mathcal X = 2^X \setminus \emptyset$79 for a single sparse operation and up to $\mathcal X = 2^X \setminus \emptyset$80 end-to-end wall-clock time speedup, with an end-to-end accuracy drop of about $\mathcal X = 2^X \setminus \emptyset$81 (Liu et al., 2022).

In harmonic analysis, the phrase “restriction-sensitive” is used in a different technical sense. One paper proves that a Fourier restriction estimate

$\mathcal X = 2^X \setminus \emptyset$82

with the strict exponent gap $\mathcal X = 2^X \setminus \emptyset$83 automatically implies both maximal and variational Fourier restriction estimates. The short-variation estimate, the Christ–Kiselev splitting, and Lemma 5 all rely on the decay factor

$\mathcal X = 2^X \setminus \emptyset$84

so the implication is sensitive to the choice of exponents (Kovač, 2018). A complementary paper on restriction of exponential sums to hypersurfaces with zero curvature shows that restriction is likewise sensitive to geometry: for monomial curves with $\mathcal X = 2^X \setminus \emptyset$85, the $\mathcal X = 2^X \setminus \emptyset$86 restriction constant satisfies

$\mathcal X = 2^X \setminus \emptyset$87

and this deterioration is attributed precisely to curvature vanishing to high order (Demeter, 2021).

Taken together, these literatures do not define a single universal RSC formalism. Rather, they exhibit a recurring structural theme: the behavior of a choice, estimation, optimization, or restriction problem changes sharply when menus, feasible outputs, preference domains, exponents, or geometric conditions are themselves part of the effective input.