Efficient Allocation with Ordinal Preference Intensities

Georgios Gerasimou

University of Glasgow Georgios.Gerasimou@glasgow.ac.uk. This version: 14 \monthname 2026. Earlier versions with different titles were presented in October 2023 at the Universities of Melbourne, Queensland and Glasgow; the 2022 & 2024 Society for Social Choice and Welfare Conferences (online & Paris); 2024 Conference on Mechanism and Institution Design (Budapest); 2024 EEA-ESEM (Rotterdam); 2024 Hurwicz Workshop on Mechanism Design (Warsaw); 2025 Coalition Theory Network Conference (Paris); 2025 Durham Economic Theory Conference; 2025 Economic Design Conference (Essex); and 2025 World Congress of the Econometric Society (Seoul). The author thanks, alphabetically, Atila Abdulkadiroğlu, Jean Baccelli, Yeon-Koo Che, Federico Echenique, Aytek Erdil, Marcelo A. Fernandez, Peter J. Hammond, Hervé Moulin, Alex Nichifor, Jake Nebel, Viviane Pons, John Quah and Marek Pycia for helpful conversations.

arXiv:2011.04306 (v1: 2020).

Abstract

Standard ordinal allocation methods ignore how strongly agents value different improvements, while cardinal methods require additional assumptions that are often considered too demanding. This paper studies assignment problems in the middle ground environment of ordinal preference intensities where agents can rank alternatives as well as preference improvements. The two criteria it proposes—intensity-efficient and intensity-positional allocations—use this combined information to refine Pareto efficiency via a novel dominance concept and a generalization of Borda-style scoring, respectively. These criteria point in new directions where stronger welfare gains are possible without cardinal utility or monetary transfers assumptions.

“Suppose I am left with a ticket to a Mozart concert I am unable to attend and decide to give it to one of my closest friends. Which friend should I actually give it to? One thing I will surely consider in deciding this is which friend of mine would enjoy the concert most.”

John C. Harsanyi (1987)

“The problem I have with utilitarianism is not that it is excessively rational, but that the epistemological foundations are weak. My problem is: What are those objects we are adding up? I have no objection to adding them up if there’s something to add.”

Kenneth J. Arrow (1987)

1 Introduction

1.1 Motivation

Distributional criteria for the assignment of goods to individuals can be evaluated jointly on the realism of their assumptions and the appeal—according to some justice principle—of their prescribed allocations. Arguably the most important such criterion is Pareto efficiency: assuming only information on agents’ preferences over the relevant goods, its notion of optimality is defined by the requirement that no changes can make some individuals better off without hurting others. Yet it is well-known that among the typically many Pareto-efficient allocations there are often some which violate intuitive notions of distributive justice. Appreciation of these facts raises the question of whether Pareto’s criterion might be improved on by considering alternative principles which, in addition to agents’ preferences, also incorporate information on their preference intensities. Introducing and analyzing such a principle, in turn, requires clarity on what is meant by preference intensities. Economists have traditionally interpreted these to be synonymous to the existence of a cardinal utility function that represents an agent’s preferences over alternatives. Typically, this has been of the von Neumann and Morgenstern (1947) (vNM) kind, derived from expected-utility preferences over lotteries over alternatives. Assuming that utility differences from such functions are interpersonally comparable, the classical utilitarian summation criterion, formalized in Harsanyi (1955), has been the benchmark distributional principle of the cardinal-welfarist tradition (Moulin, 1988; Roemer, 1996; Fleurbaey and Hammond, 2004; d’Aspremont, 2018; Echenique, Immorlica, and Vazirani, 2023), refining the set of Pareto-efficient allocations in intensity-inclusive directions.

Despite the undeniable tractability and widespread application of this and related criteria in various domains of economic analysis, it is well-understood that cardinal utility functions emerging from expected-utility preferences over lotteries confound an individual’s intensity comparisons with that person’s attitudes toward risk (Arrow, 1951, 1963; Luce and Raiffa, 1957; Baccelli and Mongin, 2016; Sen, 2017; Alaoui and Penta, 2025; Samuelson, 2025). This fact, in turn, has generated concerns—such as the one expressed by Kenneth Arrow in the cited quotation—about the epistemic origins of such functions. In addition, and no less importantly, when cardinal utility differences are used to define an agent’s intensity comparisons, the person in question is portrayed as having a supernaturally high degree of precision in their capacity to quantify those intensities (Samuelson, 1938; Basu, 1982). Acknowledging the logical implication of this fact—namely, that elicitation of agents’ utilities in reality may be subject to “noise”—diminishes a planner’s confidence that application of utilitarian or related criteria in practical allocation problems is guaranteed to achieve the intended distributive outcome. In the distinct but related domain of evaluative voting problems, for example, where agents rate the candidates on numerical scales, Baujard, Gavrel, Igersheim, Laslier, and Lebona (2018); Baujard, Igersheim, and Lebon (2021) provide experimental evidence suggesting that the use of different scales leads to non-equivalent voting results.

1.2 Contribution

This skepticism notwithstanding, intensity comparisons such as those in Harsanyi’s (1987) opening quotation are common in everyday life and, in fact, do not presuppose the existence of interpersonally comparable utilities. They do, however, implicitly assume that: (i) agents can rank alternatives according to their preferences and rank preference improvements according to the intensity of these preferences; (ii) systematic interpersonal comparisons of such second-order data are possible.

Given all the above, this paper’s central question can now be stated: “When agents cannot provide credible cardinal utilities, but can report which preference improvements feel larger than others, can a planner use that information to improve upon Pareto-efficient allocations?” We answer this question by focusing on the classic assignment problem where finitely many indivisible goods must be assigned to as many agents.

To address requirement (i) we assume that agents’ preference intensity orderings belong to the broad class of those that admit a generally ordinal numerical representation by means of a preference intensity function (Gerasimou, 2021). In effect, this portrays each individual as being able to rank the above-mentioned preference improvements in a coherent way, yet without necessarily being able to quantify them. This modeling approach is one possible way of dealing with the concern expressed earlier regarding cardinal utilities, and is in line with some contemporary views in cognitive psychology that are elegantly summarized in Vlaev, Chater, Stewart, and Brown (2011, p. 551) with the remark that “the perceptual system might be like a pan in balance, which responds by tipping to the left or right, depending on which of two items is heavier, but provides no read-out of the absolute weight of either item.” To address requirement (ii), moreover, we employ an intuitive normalization of agents’ preference intensity functions and introduce an interpersonal comparability assumption that is suitable for this kind of ordinal intensity data. With this interpretational assumption in the background, finally, we propose two refinements of Pareto efficiency—intensity-efficiency and intensity-positionality—that incorporate such data and discard allocations that are intuitively inferior to others in the light of this additional information.

To illustrate both the interpersonal comparability assumption and the intensity-efficiency criterion, imagine, for example, that Anna and Baba have identical preferences that put (a)pple above (b)anana, and the latter above (o)range. Suppose Anna thinks the preference improvement from b to a is bigger than the improvement from o to b, and that the opposite is true for Baba (clearly, the improvement from o to a is the biggest one for both). Who should get the apple if it is also known that the third person in the group likes the orange most? The Pareto criterion, as well as the Pareto-refining Borda criterion (Borda, 1781; Young, 1974; Mas-Colell et al., 1995) that we recall two paragraphs below, delivers a tied recommendation based solely on the agents’ preferences: either Anna or Baba should get it. By contrast, the intensity-efficiency criterion assigns it to Anna. The reason is that the preference improvement from b to a lies in a higher position in Anna’s intensity ordering than in Baba’s. The interpersonal comparability condition translates this fact into Borda-style intensity scores on a common scale (ranging from 1 to 3 here) and, in that spirit, declares Anna’s improvement to be stronger than Baba’s because pair (a,b) has a score of 2 for Anna and 1 for Baba. Intensity-efficiency requires that, other things equal, whenever two Pareto allocations assign the same two items to the same two agents but in a “flipped” way, and one allocation assigns the commonly preferred item in every such pair to the agent who prefers it more, then that allocation should be favored over the alternative, which is discarded as being intensity-dominated.

Assuming strict preferences and ordinal intensities, in Theorem 1 we show that an intensity-efficient allocation exists under every profile when there are three agents and alternatives. Existence is not guaranteed when there are more because the underlying intensity-dominance relation may be cyclic. For the general case of n agents and items, then, we establish a sufficient condition for existence, requiring profiles to be (effectively) homeo-monotonic (Theorem 2). The key part of this condition can be summarized informally as follows: when a group of k≤n agents have identical preferences over their top k items, and the k agents can be weakly ordered in how much they prefer any item in this subset over that item’s immediate successor, this ordering cannot be violated when agents’ intensities between any non-consecutively ranked items are compared. For example, consider a group that consists of agents L₁, L₂, L₃ and items l₁, l₂, l₃ over which agents have the identical preferences l_1 l_2 l_3 but L₁ ranks the improvements from l₃ to l₂ and from l₂ to l₁ higher than L₂, who ranks them higher than L₃. Then, homeo-monotonicity requires the improvement from l₃ to l₁ be ranked weakly higher by L₁ too, followed by L₂ and then by L₃. Although the presence of such groups is not necessary for intensity-efficient allocations to exist, if a profile gives rise to a group with the antecedent structure over consecutively-ranked items, and if the relevant ordering over its agents is strict, then homeo-monotonicity within that group is indeed necessary for existence (Theorem 3).

Intensity-efficiency is the first intensity-inclusive refinement of Pareto-efficiency that operates in an environment where neither the agents’ utilities are required to be intra- or inter-personally comparable nor monetary transfers between agents are assumed to be feasible. Yet an interesting by-product of the existence investigation is the realization that, in those analytical environments where all agents’ intensity comparisons do emerge from cardinal utility functions that are interpersonally comparable, classical-utilitarian and intensity-efficient allocations do not generally coincide (Proposition 1). The reason is that an agent’s utility difference between two items may be greater than another agent’s in absolute terms but still have a lower intensity score. When no such discrepancy arises, utilitarian allocations are indeed intensity-efficient (Proposition 2).

By its definition, the intensity-dominance relation on which the intensity-efficiency criterion rests is not always applicable. Motivated by this fact, we later introduce a stronger interpersonal comparability assumption and, building on it, propose the concept of intensity-positional allocations. Toward defining it, recall that an item’s Borda score for some agent is the number of items that this person ranks below it. Importantly, although Borda scores give rise to a specific normalized ordinal utility representation of the agent’s preferences, in practice these are often used with a cardinal interpretation (see, for example, Maskin, 2025 and, for recent experimental evidence, Ambuehl and Bernheim, 2026). This is due to the fact that ordering the utility differences induced by this normalization defines the special class of intensity relations where the agent prefers two alternatives that are ranked k places apart exactly as much as she prefers any two other alternatives that are ranked k places apart. We will refer to these intensity relations as “linear”. Similar to Borda allocations, which are defined by maximization of the aggregate Borda score, intensity-positional allocations are those that maximize the aggregate intensity-rank score. Unlike, say, item a’s Borda score, however, which reveals the relative position of a in the agent’s preference ordering, a’s intensity-rank score corresponds to the highest-ranked preference improvement towards item a. The latter, in turn, is simply the position of pair (a,w) in the agent’s intensity ordering, where w is that person’s bottom-ranked item.

An item’s intensity-rank score, therefore, encodes information both about the number of alternatives that are ranked below it and about the relative intensity differences between it and the items it is preferred to. This information, in turn, is reflected in the prescribed allocation process. In the paper’s focal case of strict intensity profiles we show that intensity-positional allocations refine Pareto-efficient allocations and are distinct from Borda allocations (Propositions 3 and 4). We further show that, in a larger domain where a like-for-like comparison remains meaningful, intensity-rank and Borda-score aggregation diverge in general but coincide at linear profiles (Theorem 4). The intuitive reason is that, unlike intensity-positional aggregation, Borda aggregation treats every profile as if it were linear. Thus, the intensity-positional criterion is a genuine generalization of the standard Borda-count criterion in this extended domain, enabling the analyst to select Pareto-efficient allocations with desirable welfare properties which might otherwise have been discarded. Intensity-positional and intensity-efficient allocations are logically distinct. Two advantages of the former relative to the latter are their generic existence and their incorporation of a way to resolve intensity-pertinent welfare trade-offs across agents. A disadvantage is that making intensity-positional allocations operational implicitly invokes stronger interpersonal comparability assumptions.

1.3 Related Literature

The paper contributes to welfare economics, social choice and allocation theory, in all three cases building bridges between the ordinal- and cardinal-welfarist paradigms. In particular, similar to cardinal-welfarist refinements of Pareto-efficiency such as those based on classical or relative utilitarianism (Harsanyi, 1955; Dhillon and Mertens, 1999), the hereby proposed refinements of Pareto efficiency are inclusive of information that goes beyond agents’ preferences toward also reflecting their intensities in the allocation process. Unlike the former refinements, those studied here are the first that are applicable in principle in the general class of ordinal preference-intensity profiles. Furthermore, they build on a novel analytical environment and interpersonal-comparability criteria that are distinct from interpersonal comparisons of cardinal utility differences. The previous subsection also clarifies how they differ from the ordinal but “interpretationally cardinalized” classic Borda scoring method.

Although the building blocks differ in important ways, conceptually this paper is closely related to Abdulkadiroğlu, Che, and Yasuda (2011) (see also Miralles, 2009; Pycia, 2011; Carroll, 2018) and the several studies in matching theory with one- and two-sided preferences that have taken agents’ interpersonally comparable vNM cardinal utilities (Budish, 2011; Lee and Yariv, 2018; Ortoleva, Safonov, and Yariv, 2023) or quasi-linear preferences in willingness to pay (Che, Gale, and Kim, 2013) as inputs into the allocation process toward maximizing utilitarian welfare. Our study shares the same goal as those above, namely to improve upon the distributive-justice properties of Pareto-efficiency in the final matching by incorporating intensity-relevant information. Its distinguishing point is that it is the first to pursue this goal in the unexplored environment where only ordinal intensity comparisons are generally available to the designer. While this environment is less tractable for the modelling analyst, it is cognitively simpler for the economic agent and, as such, we believe worthy of further investigation.

2 Preliminaries

By A:={a₁,…,aₙ} and N:={1,…,n} we denote, respectively, the finite sets of choice alternatives and agents. To simplify the assignment problem under study we assume that these sets have equal sizes. When subscripts are unnecessary we also write a,b∈ A. Similarly, when no confusion arises we will refer to agent vₗ by their subscript, l. The preference intensity relation of agent l≤n on A is denoted by _l, with _l and ∼̇ₗ its asymmetric and symmetric parts. In line with extensive-measurement theory (Krantz et al., 1971; Pfanzagl, 1971; Roberts, 1979), these are quaternary relations on A or, equivalently, binary relations on A× A. The statement (a,b) _l (c,d) will be interpreted as “a is preferred to b at least as much as c is to d” when the first option in each pair is the (possibly weakly) preferred one at that pair, and as “b is preferred to a no more than d is preferred to c” when the converse is true (naturally, (a,b)_l(c,d) will also hold when a is preferred to b and d is preferred to c). When no ambiguity arises, we will interpret (a,b) _l (c,d) more succinctly as suggesting that the intensity difference between a and b is weakly larger than that between c and d.

In line with these interpretations, and with the literature, agent l’s binary preference relation _l on A is derived from their intensity relation _l by a_lb(a,b) _l (b,a). We will refer to _l as the preference relation that is induced by _l. As usual, the asymmetric and symmetric parts of _l are denoted by _l and ∼ₗ. Under the structure that _l will be endowed with below, both this relation and its induced _l are weak orders on their respective domains.

For a,b∈ A, the intensity-equivalence class of (a,b)∈ A× A under _l is defined by

$$[a,b] := \lbrace (a^{\prime},b^{\prime})\in A\times A:(a^{\prime},b^{\prime})\,\dot{\sim}_{l}\,(a,b)\rbrace$$

(1)

Furthermore, the quotient set of A× A under ∼̇ₗ is defined by

$$:= \lbrace [a,b]:[a,b]\text{is an intensity-equivalence class under}\dot{\sim}_{l}\rbrace$$

(2)

The definitions that follow omit universal quantifiers, yet they should be understood as imposing conditions that apply to all objects in the respective domains. A relation _l has a utility-difference representation if there is a function uₗ:A→ℝ that satisfies

$$\Longleftrightarrow u_{l}(a)-u_{l}(b)\geq u_{l}(c)-u_{l}(d)$$

(3)

In an influential article, psychologist S. S. Stevens (1946) distinguished between four scales of measurement that are afforded by some numerical assignment on a set of items: nominal (qualitative/categorical measurement); ordinal (invariance up to a strictly increasing transformation); interval (invariance up to positive affine transformation); and ratio (invariance up to a positive linear transformation). Utility-difference representations were added to this list by psychologist C. H. Coombs (1950) as those that correspond to ordered metric scale measurement. These are more general than neoclassical cardinal utility representations (Lange, 1934; Alt, 1936, 1971; Samuelson, 1938) because uₗ in the latter case is an interval scale whereas in the former it “falls logically between an interval scale and an ordinal scale” (p. 145).¹

More specifically, it has the complex uniqueness property of additive representations on finite sets, articulated in Krantz et al. (1971, Theorem 2, p. 431). Baccelli (2024) has recently clarified, however, that every ordinal utility representation defines a certain subset of utility-difference comparisons whose order is, in fact, preserved by all ordinal transformations of the original representation.

In Gerasimou (2021), this author recently proposed and characterized the class of ordinal intensity relations that admit the following more general numerical representation. More specifically, a relation _l is representable by a preference intensity function if there is a mapping ŝₗ:A× A→ℝ, unique up to a strictly increasing transformation, such that

$$\Longleftrightarrow \widehat{s}_{l}(a,b)\geq\widehat{s}_{l}(c,d)\qquad \Longleftrightarrow \widehat{s}_{l}(a,b)\geq\widehat{s}_{l}(e,e)\geq\widehat{s}_{l}(b,a)\qquad \min\lbrace \widehat{s}_{l}(a,b),\widehat{s}_{l}(b,c)\rbrace \geq\widehat{s}_{l}(e,e) \Longrightarrow \widehat{s}_{l}(a,c)\geq\max\lbrace \widehat{s}_{l}(a,b),\widehat{s}_{l}(b,c)\rbrace ,$$

(4) (5) (6)

with a strict inequality on the left part of (6) implying a strict inequality on the right. In words, ŝₗ represents the agent’s intensity weak ordering [(4)] and the preferences induced by it [(5)], further ensuring that these preferences are themselves weakly ordered and intensities are monotonically increasing in the preference ordering [(6)]. We denote by I the class of intensity relations that admit this ordinal representation.

The ordinal model nests the (pseudo-)cardinal utility-difference model in the special case where “lateral consistency” [(6)] is strengthened to “additivity” [(7)]:

Lemma 1.

A relation _l that is represented by a preference intensity function ŝₗ is utility-difference representable if and only if a strictly increasing transformation s̃ₗ of ŝₗ satisfies

$$\widetilde{s}_{l}(a,c) = \widetilde{s}_{l}(a,b)+\widetilde{s}_{l}(b,c)$$

(7)

The proof of this and most other results appears in the Appendix.

Next, we will say that a preference intensity function ŝₗ represents _l canonically if

$$\widehat{s}_{l}(A\times A) = \lbrace -k,-k+1,\ldots,-1,0,1,\ldots,k-1,k\rbrace ,$$

(8)

where k is the number of intensity equivalence classes [aᵢ,aⱼ]∈(A× A)_∼̇ₗ such that a_i_la_j. We will denote by sₗ the canonical intensity function that represents _l. As will be clarified later, the usefulness of this normalization for our purposes lies in the fact that the integer value it associates with a pair reveals the rank position of that pair in the agent’s intensity ordering.

Lemma 2.

Any relation _l∈ I admits a canonical preference intensity representation.

We assume throughout that every _l belongs to I, hence is representable canonically. Our subsequent analysis will further impose the following additional property on _l:

Strictness. (a,b) _l (c,d) for all distinct off-diagonal pairs of items (a,b) and (c,d).

This condition rules out the possibility of the agent preferring a to b exactly as much as they prefer c to d for distinct pairs of distinct alternatives (a,b) and (c,d). It is therefore analogous to the standard preference-strictness postulate which, in fact, it implies. As we elaborate in Section 3, strict intensities are useful for our purposes because they ensure that the canonical intensity functions of all agents are onto the same set {-k,…,-2,-1,0,1,2,…,k}, where kn 2. In particular, the only non-trivial intensity-equivalence class when _l satisfies Strictness is the diagonal subset of A× A, with every pair (a,a) in this set being mapped to 0 by the canonical representation of _l.

We conclude this section by commenting on possible sources of intensity information. Section 2 in Gerasimou (2021) discusses various non-choice variables that, according to different literatures, might be thought of as having intensity-revealing potential. Prominent examples include willingness to pay; 50/50 lottery choices; survey-based ratings; and response times. Section 5 of that paper, moreover, shows how such data can be analysed alongside choices by means of otherwise standard revealed-preference theoretic techniques, providing testable foundations for the hypothesis that an agent’s overall behaviour complies with utility maximization and ordinal intensity revelation. The present paper, in contrast, operates within the environment of the allocation problem, where agents are traditionally assumed to submit their full ordinal or cardinal preference reports directly. This is different from a lab, field or other environment that might, in principle, provide the analyst with agents’ choices at several menus at different points in time, together with intensity-revealing information at those menus. For this specific environment we assume that agents’ ordinal preferences are available, and that their ordinal intensities are elicited by asking them directly—and conditional on their submitted preferences—the kinds of simple binary questions that were mentioned earlier and which pertain to ranking preference improvements.

3 Interpersonal (Non-)Comparability of Ordinal Intensities and Intensity-Rank Scores

We denote by Î⊂I the class of ordinally representable intensity relations that are also strict in the sense described previously. Furthermore, we let S = (_1,,_n) stand for a (strict) preference intensity profile where _l∈I holds for all vₗ ∈ N, and write Ŝ for the collection of all such profiles. By P_S = (_1,…,_n) we denote the (strict) preference profile that is induced by S∈Ŝ, and by P the collection of all strict preference profiles. Given S∈Ŝ, s^S=(s₁^S,…,sₙ^S) is understood as the profile of canonical preference intensity functions that represent the agents’ preferences and intensities, as specified in S. When no confusion arises we simply write s and sₗ instead of s^S and sₗ^S, respectively.

Assumption 1 (for Sections 4–5)

Given an intensity profile S∈Ŝ and the corresponding canonical profile s, the statement

sₗ(a,b)>sₘ(c,d)>0

(9)

is interpreted as suggesting that agent l prefers a to b more than agent m prefers c to d.

Towards defending this assumption—whose importance, we stress, is interpretational—recall first that an individual’s preference intensities are not assumed to be quantifiable beyond the level of an ordinal ranking. Yet some information about the generally different welfare effects of having a or b vs c or d is available. Suppose, in particular, that a_lb_lc_ld, and that the agent prefers a to b more than she does c to d. This is equivalent to saying that her intensity difference at pair (a,b) is greater than at (c,d). Consider agent m next, and suppose for simplicity that the same applies to him too: sₘ(a,b)>sₘ(c,d). Given this, and given also that both agents have preferences and intensities over the same set of alternatives, how might (9) be interpreted?

We know that the intensity difference within pair (a,b) is ranked higher by agent l in her intensity ordering than the corresponding difference within pair (c,d) is ranked by agent m in his. By the Strictness assumption, moreover, l and m have the same number of possible rank positions in their respective intensity orderings, which pairs (a,b) and (c,d) could possibly occupy. In other words, the agents’ ordinal intensity scales coincide: if (a,b) and (c,d) are ranked 5th and 8th in l’s and m’s scales, respectively, then they are ranked 5th and 8th out of the same k possible positions. As we mentioned in the Introduction, this logic resembles the way scoring rules such as the well-known Borda-count (Borda, 1781) normalization of ordinal utilities or scoring-like (see d’Aspremont, 2018) rules such as the relative-utilitarian (Dhillon and Mertens, 1999) normalization of cardinal utilities perform interpersonal comparisons in their respective environments. Importantly, neither of these social welfare functions formally requires interpersonal utility comparisons in order for the respective social outcome to be immune to permissible transformations of the agents’ utility functions. Clearly, this is so because both welfare criteria are defined in terms of specific normalizations which reduce, respectively, any ordinally or cardinally equivalent utility function that represents an agent’s preferences into the same normalized ordinal or cardinal utility function.

At the same time, however, applications of the Borda and relative-utilitarian normalizations do introduce interpersonal utility comparisons. We elaborate on this in the case of the Borda method, which is conceptually closer to our setting. This takes agent l’s preference relation _l and defines the Borda score of every item a in A by

$$b_{l}(a) := |\lbrace a^{\prime}\in A:a\succ_{l}a^{\prime}\rbrace |,$$

(10)

i.e. by the number of alternatives that l considers inferior to a. Once these normalised utility functions are constructed for all agents, the Borda social welfare function maps any such profile to a social ordering that prioritises items with higher aggregate Borda scores. Although interpersonal comparability assumptions are not part of the axioms that characterize the Borda method, the motivation for its very existence does implicitly invoke such comparisons. This is articulated clearly in Maskin (2025, f.17), as follows: “Notice that the Borda count implies a particular way of making interpersonal comparisons, e.g., if individual 1 ranks x two positions above y, that preference is exactly canceled by two individuals who rank y one position above x. Observe, however, that none of our axioms speaks directly to interpersonal comparisons at all; such comparisons are an emergent property of the joint imposition of the axioms”.

Returning to Assumption 1, we note the analogy between the canonically-normalized values that possibly different pairs of items may occupy in the intensity orderings of different agents, and the possibly distinct positions (Borda scores) of items across agents’s preference orderings. However, unlike the additional cancellation assumptions that are implicit in the aggregation of Borda scores, Assumption 1 merely requires that an ordinal comparison be made about l’s intensity between a and b vs m’s intensity between c and d. The question now emerges: Assuming that it is desirable in the first place for this additional information that is contained in the different agents’ ordinal intensity orderings to be accounted for, should these be treated equally by the social planner? While equal treatment may or may not be an appropriate approach to follow in practice, depending on what else is known about agents and the problem at hand, since the intensity orderings are assumed here to encode all available welfare-relevant information, accepting their relevance but treating them in any way other than equal would call for a justification that appears elusive. Against this background, we view the suggested interpretation of (9) as a reasonable starting point for interpersonal comparisons of ordinal intensities in this informational environment.

Another relevant question arises, now on the analytical side: in the special case where the ordinal intensity ordering of every agent is defined by how the pairwise differences of a cardinal utility function are ordered, and these differences in turn define a strict intensity profile, does interpersonal comparability of ordinal intensities in the sense of Assumption 1 reduce to the interpersonal comparability of utility differences that is required by utilitarian aggregation? As the next example shows, the answer is no.

Example 1.

Let n=3 and consider the utility profile U:=((53,38,9),(46,33,21), (20,30,50)) over A={a₁,a₂,a₃}, where each uₗ, l≤3, is constructed so its values add up to 100 (this is without loss). It is readily seen that the intensity profile defined by the intra-personal utility differences in U is in Ŝ. Also, defining _i by (a_i,a_j)_l(a_k,a_m) $\Leftrightarrow$ uₗ(aᵢ)-uₗ(aⱼ)>uₗ(aₖ)-uₗ(aₘ), we observe that (a_2,a_3) _1 (a_1,a_2) and (a_1,a_2) _2 (a_2,a_3), hence s₂(a₁,a₂)>s₁(a₁,a₂) too. Yet u₁(a₁)-u₁(a₂)>u₂(a₁)-u₂(a₂) is also true. $\blacklozenge$

Thus, even if there is some ordinal transformation ŝᵢ of the canonical intensity function sᵢ such that ŝᵢ(a,b)≡uᵢ(a)-uᵢ(b) for some cardinally unique uᵢ [cf. (7)], the above clarifies that (9) neither implies nor is implied by the inequality uₗ(a)-uₗ(b)>uₘ(c)-uₘ(d). For this reason, and in light of the preceding discussion, in such rich special environments we must generally distinguish between the relative intensity difference that is captured by sₗ(a,b)>sₘ(c,d) and the absolute intensity difference that is captured by the above interpersonal utility-difference inequality, which is preserved under any positive affine transformation of agents’ utilities that involves a common multiplicative factor (i.e. the Cardinal Unit Comparability informational basis—see also Section 4.2).

Although the analysis of Section 4 makes use of Assumption 1², Section 5 revolves around concepts that become meaningful under a richer interpersonal comparability assumption on agents’ ordinal intensities. Before stating it we first use an agent’s canonical intensity function to introduce the intensity-rank score (or intensity rank) of item a by

In fact, it uses a weaker version where interpersonal comparisons are made when (a,b)=(c,d) in (9).

$$r_{l}(a) := \max_{a^{\prime}\in A}s_{l}(a,a^{\prime})$$

(11)

In Lemma 5 (see Appendix) we show that rₗ is an ordinal utility function for l’s preferences that are induced by _l. Recall now that, under Assumption 1, the comparison (a,b) _l (c,d) is interpreted as suggesting that the intensity difference between a and b is at least as large for agent l as the respective difference between c and d. Logically, then, rₗ^S(a)>rₗ^S(b) means that the maximum intensity difference between a and some alternative that is inferior to it exceeds the maximum such difference that corresponds to b. In other words, the intensity-rank score of a reflects the highest position in l’s intensity ordering where a finds itself being preferred to another item. By its definition, therefore, and unlike the Borda score bₗ(a), this new score contains information both about how many alternatives are worse than a in l’s preference ranking and about the intensity difference between a and its inferior alternatives.

Assumption 2 (for Section 5)

Given an intensity profile S∈Ŝ and the corresponding canonical profile s, the statement

rₗ(a)>rₘ(b)

(12)

is interpreted as suggesting that agent l prefers a more than agent m prefers b.

To motivate this assumption and connect it to the previous one, suppose rₗ(a)≡sₗ(a,a_w) and rₘ(b)≡rₘ(b,b_w), where a_w and b_w are the bottom-ranked items in A for agents l and m, respectively. Let rₗ(a)>rₘ(b). By definition, this is equivalent to sₗ(a,a_w)>sₘ(b,b_w). Under Assumption 1, this means that l prefers a to their worst possible item more than m prefers b to their own worst possible item. Assumption 2, then, makes this last statement the definition of an interpersonal utility comparison between a and b for agents l and m. Utility functions defined by Borda scores are onto the same consecutive integral range {0,1,…,n-1}. By contrast, the extended—but still common across agents—range of utility functions defined by intensity-rank scores is 0,1,…,n2. Those functions are obviously not onto this range, and their images are generally distinct, although, by definition, they all have the same minimum and maximum values. We will elaborate further on the relation between bₗ and rₗ in Section 5.

We conclude this section by stressing that every welfare-theoretic concept that we introduce in the sequel relies on the position where a pair of alternatives lies within an agent’s intensity ranking. Thus, by introducing canonically normalized intensity functions at this early stage we assign a specific name and piece of notation for these score-like positions. Crucially, this means that the welfare concepts in later sections are invariant with respect to arbitrary monotonic transformations of any intensity functions that one may choose to represent the agents’ ordinal intensities by, because—similar to the Borda and relative utilitarian functions—these are automatically translated into canonically normalized values of ordinal intensity functions that are onto the same range for all agents.

4 Intensity-Dominance and Efficiency

Since the number of agents and items are assumed to coincide, an allocation of the n goods is a permutation on A. The set of all allocations is denoted by A. As we discussed in the Introduction, we are interested in the assignment of the n objects in A to the n agents in N in a way that satisfies Pareto-efficiency but also improves upon it in delivering a narrower set of acceptable allocations that satisfy some additional desideratum that is appealing from a distributive-justice perspective and is operational in the present analytical environment where information on ordinal preference intensities and interpersonal comparisons thereof is assumed to be available. To this end, we proceed with the introduction of the following novel notions of dominance and efficiency.

Definition 1.

Let S=(_1,…,_n)∈ S be a strict intensity profile and s its canonical representation. Given allocations x and y, the former is said to intensity-dominate the latter if for every pair of agents (i,j) such that (xᵢ,xⱼ)=(yⱼ,yᵢ) it holds that sᵢ(xᵢ,xⱼ)≥sⱼ(yⱼ,yᵢ), and the inequality is strict for some pair.

Definition 2.

An allocation is intensity-efficient at profile S∈Ŝ if it is Pareto-efficient at the induced preference profile P_S ∈P and is not intensity-dominated by another Pareto-efficient allocation at P_S. It is intensity-dominant if it intensity-dominates every other Pareto-efficient allocation at P_S.

Definition 3.

Two allocations x and y that are intensity-efficient at profile S∈Ŝ are equivalent if sᵢ(xᵢ,xⱼ)=sⱼ(yⱼ,yᵢ) for all pairs of agents (i,j) such that (xᵢ,xⱼ)=(yⱼ,yᵢ), and xₖ=yₖ for every other agent k≤n.

If x and y are Pareto-efficient allocations and x intensity-dominates y, then in every pair of agents that is “flipped” by x and y in the sense that both allocations assign the same two alternatives a and b to the two agents in that pair but do so in opposite ways, the agent receiving a (which, under the postulated Pareto-efficiency, is the mutually preferred alternative) under x prefers it to b weakly more than the agent receiving it under y and, in at least one case, strictly more. An allocation that is both Pareto efficient and not intensity-dominated is intensity-efficient. Two intensity-efficient allocations x and y are equivalent if the agents in every “flipping” pair (i,j) who are assigned a and b by x and y but in opposite ways have the same preference intensity for a over b in the sense that the intensity difference at (a,b) is ranked the same way in the two agents’ intensity orderings, while every agent who is not in such a pair is treated identically by x and y.

4.1 Intensity-Efficient and Utilitarian Allocations Are Distinct

To enable a comparison between the concept introduced above and the benchmark Pareto-efficiency refinement afforded by classical utilitarianism, we assume throughout this subsection that, in addition to satisfying the Strictness condition, each _l is utility-difference representable as in (3) under some cardinal utility index uₗ. This is the case, for example, when uₗ:A→ℝ is the utility function associated with an expected-utility representation of preferences over lotteries over A and the intensity order defined by the uₗ-differences is strictly convex or strictly concave relative to the agent’s induced (strict) preferences. With this assumption in place, we finally invoke the Cardinal Unit Comparability (Roemer, 1996; Baccelli, 2023) informational basis to social welfare. More specifically, we assume that: (i) uₗ:A→ℝ is unique up to a positive affine transformation and features utility differences that define an intensity relation _l that abides with Strictness; (ii) interpersonal utility-difference comparisons are possible under such transformations of any utility profile U=(u₁,…,uₙ) where each uₗ is of this kind, as long as the scale/multiplicative parameter of such transformations is the same for all uₗ. As is well-known, this informational basis is sufficient³ for the classical utilitarian social welfare functional—recalled below—to be meaningful.

The reason why it is not necessary is closely related to the complex uniqueness properties of general utility-difference representations in the sense of (3). See Bossert (1991) for more on this.

Fixing a utility profile U with the above properties, we refer to it as strict if the ordering of every agent’s utility differences is strict (see Example 1). In this case, clearly, the ordinal intensity profile S that is induced by U is also strict, i.e. an element of Ŝ. Finally, recall that x_cu(U)∈A is a classical utilitarian allocation under profile U if it holds that

$$x_{cu}(U) \in \arg\max_{y\in\mathcal{A}}\sum_{l=1}^{n}u_{l}(y_{l})$$

(13)

Proposition 1.

The sets of intensity-efficient and classical utilitarian allocations associated with strict utility profiles are generally distinct.

This potential divergence between intensity efficiency and the hallmark cardinal-welfarist allocation criterion is important because it shows that the hereby proposed notion is indeed distinct even under the richest possible informational assumptions. Furthermore, while perhaps not obvious ex ante, as is clarified by Example 1 and the discussion in Section 3, the reason why such a divergence may occur is that the classical utilitarian criterion is guided by the utility differences across agents. By contrast, in this special environment where intensity relations are defined by the relative ordering rather than the absolute magnitude of utility differences, the Interpersonal Comparisons of Ordinal Intensities postulate upon which the intensity efficiency criterion is built compares the relative ranking of those differences across agents’ intensity orderings.

Naturally, one may inquire about the conditions under which classical utilitarian allocations are intensity-efficient. To this end, and motivated by the preceding remarks, we introduce the following condition that a utility profile may satisfy, which is sufficient—though not necessary—for utilitarian allocations to be intensity-efficient.

Definition 4.

A utility profile U=(u₁,…,uₙ) is balanced if, for any two agents i,j and alternatives a,b,

$$u_{i}(a)-u_{i}(b)\gt u_{j}(a)-u_{j}(b) \Longleftrightarrow s_{i}(a,b)\gt s_{j}(a,b),$$

(14)

where s=(s₁,…,sₙ) is the profile of canonical preference intensity functions that represent the profile S=(_1,…,_n)∈ S that is defined by the utility differences in U.

In words, a cardinal utility profile is balanced if interpersonal differences in the levels of utility differences are perfectly aligned with interpersonal differences in their rank orders.

Proposition 2.

Classical utilitarian allocations of strict and balanced utility profiles are intensity-efficient.

It is well-known that utilitarian allocations are Pareto-efficient. Proposition 2 shows that, when the utility profile is strict and balanced, this benchmark criterion has the additional normative status conveyed by intensity-efficiency. Furthermore, Proposition 2 implies the following existence result that is perhaps worth stating explicitly:

Corollary 1.

An intensity-efficient allocation exists for every intensity profile that is induced by a strict and balanced utility profile.

Example 1 (continued).

Observe that the slightly modified strict utility profile in Example 1 where the second agent’s utility vector is marginally altered from (46,33,21) to (46,34,20) remains strict but now also becomes balanced. Under the modified profile the two Pareto-efficient allocations are both utilitarian and intensity-efficient. $\blacklozenge$

4.2 Existence without Cardinality Assumptions

We now return to the general environment in which intensity profiles come from the class of relations that were specified in Section 4.1, without imposing any further restrictions such as cardinal or even utility-difference representability of the individuals’ intensities.

Theorem 1.

An intensity-efficient allocation exists for every profile S∈Ŝ when n=3 but not in general when n≥4.

Table 1: Example profile that has no intensity-efficient allocation.

We explain why non-existence is a potential issue when n≥4, as this will be useful for our subsequent analysis. To this end, consider the example strict intensity profile on A={a,b,c,d} whose canonical representation is shown in Table 1. Observe that s₁=s₄, s₂=s₃ and a_ib_ic_id, i=1,…,4. This implies that all 24 possible allocations, defined and listed below, are Pareto efficient:

(x¹,=, (a,b,c,d), ·, ·, x²,=, (a,b,d,c), ·, ·, x³,=, (a,c,b,d), ·, ·, x⁴,=, (a,c,d,b); x⁵,=, (a,d,b,c), ·, ·, x⁶,=, (a,d,c,b), ·, ·, x⁷,=, (b,a,c,d), ·, ·, x⁸,=, (b,a,d,c); x⁹,=, (b,c,a,d), ·, ·, x¹⁰,=, (b,c,d,a), ·, ·, x¹¹,=, (b,d,a,c), ·, ·, x¹²,=, (b,d,c,a); x¹³,=, (c,a,b,d), ·, ·, x¹⁴,=, (c,a,d,b), ·, ·, x¹⁵,=, (c,b,a,d), ·, ·, x¹⁶,=, (c,b,d,a); x¹⁷,=, (c,d,a,b), ·, ·, x¹⁸,=, (c,d,b,a), ·, ·, x¹⁹,=, (d,a,b,c), ·, ·, x²⁰,=, (d,a,c,b); x²¹,=, (d,b,a,c), ·, ·, x²²,=, (d,b,c,a), ·, ·, x²³,=, (d,c,a,b), ·, ·, x²⁴,=, (d,c,b,a))

The following comparisons, whose validity can be readily established by the reader, demonstrate that for each xⁱ in this set, i=1,…,24, there is a distinct xʲ that intensity-dominates xⁱ—a situation denoted by xʲ Dxⁱ.

$$\begin{array}{llllllll}x^{6}Dx^{1}&x^{1}Dx^{2}&x^{4}Dx^{3}&x^{13}Dx^{4}&x^{3}Dx^{5}&x^{17}Dx^{6}&x^{1}Dx^{7}&x^{2}Dx^{8}\\ x^{3}Dx^{9}&x^{8}Dx^{10}&x^{9}Dx^{11}&x^{11}Dx^{12}&x^{18}Dx^{13}&x^{13}Dx^{14}&x^{17}Dx^{15}&x^{22}Dx^{16}\\ x^{23}Dx^{17}&x^{24}Dx^{18}&x^{8}Dx^{19}&x^{22}Dx^{20}&x^{11}Dx^{23}&x^{12}Dx^{22}&x^{24}Dx^{23}&x^{10}Dx^{24}\end{array}$$

Therefore, no intensity-efficient allocation exists in this profile.

The somewhat surprising fact that a plausible dominance concept may be cyclic and prevent an optimal entity to emerge invites an informal analogy between intensity-dominance cycles over allocations with at least 4 agents and Condorcet cycles over alternatives in pairwise majority-based preference aggregation with at least 3 agents (Condorcet, 1785). Importantly, however, although intensity-dominance cycles here may prevent refining the Pareto set, unlike the Condorcet social-welfare theoretic framework these do not lead to a “policy paralysis” problem because the Pareto set is always non-empty and, absent any distributively juster suggestions, one of them might be promoted by the social planner. That said, it is naturally of interest to understand better the conditions under which our proposed refinement of Pareto-efficiency is well-defined. We turn to this problem next.

For any set A′ ⊆ A and preference relation _i that is induced by an intensity relation _i∈ I we write _i^A^′ for the restriction of _i on A′.

Definition 5.

Given a profile S∈Ŝ, a set of agents N′ ⊆ N is said to be:

1. Envy-free with respect to a set of items A′ ⊆ A if each vᵢ ∈ N′ has a distinct _i-best item in A, and this item (denoted bᵢ′) belongs to A′.
2. Top-preference-coincident with respect to a set of items A′ ⊆ A if _i^A^′=_j^A^′ for all vᵢ,vⱼ ∈ N′ and, when A′ ⊂ A, a′ ∈ A′, a∈ A∖ A′ holds, then a^′_ia for all vᵢ ∈ N′.

An envy-free set N′ with respect to A′ consists of agents in N′ who have distinct overall-best items in A′. This terminology is motivated by the fact that, if N′=N and A′=A, then each agent receiving their most preferred option results in an allocation that is Pareto-efficient and also envy-free (Varian, 1974; Moulin, 2004). A top-preference-coincident set N′ with respect to A′ consists of agents whose preferences over A′ are identical and such that every item in A′ is preferred to everything in A∖ A′, with no further restrictions.

We now introduce three interlinked concepts and illustrate them with two examples before explaining their content verbally.

Definition 6.

A set of agents N′ ⊆ N that is top-preference-coincident with respect to a set of items A′ ⊆ A at profile S∈Ŝ is monotonic at A′ if |N′|=|A′| and

It is strictly monotonic if every weak inequality above is replaced by a strict inequality.

Finally, a monotonic or strictly monotonic such set is homeo-monotonic at A′ if

sᵢ(aᵢ,aⱼ) ≥ sⱼ(aᵢ,aⱼ) for all 1≤i<j≤|N′|.

Definition 7.

A profile S∈Ŝ is homeo-monotonic if, whenever N and A can be partitioned into subsets N¹,…,Nᵐ and A¹,…,Aᵐ where N¹ is envy-free with respect to A¹ and Nⁱ>1 is monotonically top-preference-coincident with respect to Aⁱ>1, then Nⁱ>1 is homeo-monotonic with respect to Aⁱ>1.

Definition 8.

A profile S∈Ŝ is effectively homeo-monotonic if it induces partitions of agents and items relative to which it is homeo-monotonic.

Remark 1.

If N is envy-free with respect to A, then S∈Ŝ is effectively homeo-monotonic.

Example 2.

Table 2 describes an effectively homeo-monotonic profile S∈Ŝ where n=6 and the envy-free and top-preference-coincident sets that partition N, A are (N¹,A¹)=({v₁} ,{a₁}), (N²,A²)=({v₂,v₃,v₄} ,{a₂,a₃,a₄}), (N³,A³)=({v₅,v₆} ,{a₅,a₆}). $\blacklozenge$

Table 2: An effectively homeo-monotonic profile.

An effectively homeo-monotonic intensity profile partitions the sets of agents and goods in certain clusters. These clusters can be of the envy-free type (by definition, at most one such cluster is possible) or of the top-preference-coincident type. Agents in the first cluster have completely heterogeneous preferences as far as their top items are concerned. Agents within each cluster of the second kind have identical preferences up to a certain rank-order position (say, the 3rd-ranked item for a cluster with 3 agents), whereas agents across different clusters have distinct such preferences. Within each top-preference-coincident cluster, moreover, agents can be weakly or strictly ordered in the way in which they rank their intensity of preference between any two items that appear consecutively in the relevant upper part of their preference ordering (monotonicity and strict monotonicity). Finally, this ordering over agents within any such cluster is required to be preserved over items that do not appear in consecutive positions in that cluster’s preference ordering (homeo-monotonicity). For example, if sᵢ(a,b)≥sᵢ(b,c)>0 for all i≤3 and s₁(a,b)≥s₂(a,b)≥s₃(a,b), s₁(b,c)≥s₂(b,c)≥s₃(b,c) are also true, then homeo-monotonicity requires s₁(a,c)≥s₂(a,c)≥s₃(a,c).

Clearly, any set of agents can be partitioned into groups according to whether distinct or identical alternatives are the most preferred within each group. The additional structure imposed by effectively homeo-monotonic profiles amounts to requiring that: (i) the preferences of agents with the same top-ranked item also coincide in how they rank their second-, third-, …, kth-most preferred item for some k≤n that coincides with the number of agents in that group; (ii) the preferences of distinct such groups are sufficiently heterogeneous. While this condition is restrictive and one can easily construct profiles where intensity-efficient allocations exist but the condition is violated, the proof of the next result shows that it is helpful toward clarifying some important mechanisms for the existence of such allocations in the general case.

Theorem 2.

Every effectively homeo-monotonic profile S∈Ŝ has an intensity-efficient allocation.

Example 2 (continued).

By Lemma 3, there are 12 Pareto-efficient allocations in this profile, namely those which assign a₁ to v₁ and alternate items a₂,a₃,a₄ among agents v₂,v₃,v₄ and a₅,a₆ among v₅,v₆. Out of these 12 allocations, only the following 2 are the (in fact, equivalent) intensity-efficient ones: (a₁,a₂,a₃,a₄,a₅,a₆); (a₁,a₂,a₃,a₄,a₆,a₅). $\blacklozenge$

We note that the way in which the particular intensity-efficient allocation (labelled x∗) is constructed in the proof of Theorem 2 suggests the following stronger implication for a class of special cases:

Corollary 2.

An intensity-dominant (up to equivalence) allocation exists in any effectively homeo-monotonic profile S∈Ŝ where every top-preference-coincident set has two agents.

Evidently, the fine partitioning requirement of effective homeo-monotonicity is a restrictive sufficient condition for the existence of intensity-efficient allocations. Importantly, though, it is not necessary. Yet the intuitive structure that the homeo-monotonicity concept of Definition 6 imposes on a strictly monotonic top-preference-coincident set that may be present in some profile, even if that profile’s remaining structure rules out the possibility of partitioning agents and items in the way described in Definition 8, turns out to also be necessary for existence of intensity-efficient allocations.

Theorem 3.

If a profile S∈Ŝ has an intensity-efficient allocation, then every strictly monotonic top-preference-coincident set in it is homeo-monotonic.

The next example explains why “strictly monotonic” cannot be replaced by “monotonic” in the statement of Theorem 3.

Example 3.

For n=4 let the envy-free and top-preference-coincident sets that partition N and A be defined by (N¹,A¹)=({v₄} ,{a₄}) and (N²,A²)=({v₁,v₂,v₃} ,{a₁,a₂,a₃}), as in Table 3. The Pareto-efficient allocations are p:=(a₁,a₂,a₃,a₄), q:=(a₁,a₃,a₂,a₄), r:=(a₂,a₃,a₁,a₄), x:=(a₂,a₁,a₃,a₄), y:=(a₃,a₁,a₂,a₄) and z:=(a₃,a₂,a₁,a₄). Among them, r is intensity-efficient: it dominates x; is incomparable to p and y; and is equivalent to q, z (these are dominated by p, y, respectively). Yet N² is (non-strictly) monotonic but not homeo-monotonic with respect to A²: s₁(a₁,a₂)=s₂(a₁,a₂)>s₃(a₁,a₂) and s₁(a₂,a₃)=s₂(a₂,a₃)>s₃(a₂,a₃), but s₁(a₁,a₃)=s₂(a₁,a₃)<s₃(a₁,a₃). $\blacklozenge$

Table 3: A monotonic profile that is not homeo-monotonic but has an intensity-efficient allocation.

Our last example, finally, shows that a strictly monotonic profile that is not homeo-monotonic may fail to have an intensity-efficient allocation.

Example 4.

For n=5 let the envy-free and top-preference-coincident sets that partition N and A be defined by (N¹,A¹)=({v₄,v₅} ,{a₄,a₅}) and (N²,A²)=({v₁,v₂,v₃}, {a₁,a₂,a₃}), as in Table 4. The Pareto-efficient allocations here are

$$\begin{array}{lllllll}\underbrace{(c,a,b,d,e)}_{o},&\underbrace{(c,b,a,d,e)}_{t},&\underbrace{(a,b,c,d,e)}_{x},&\underbrace{(a,c,b,d,e)}_{y},&\underbrace{(b,c,a,d,e)}_{w},&\underbrace{(b,a,c,d,e)}_{z}\end{array}$$

Yet the intensity-dominance relation D is cyclic over this set:

((c,a,b,d,e)D(c,b,a,d,e)^[oDt: s₂(a,b)>s₃(a,b)], ·, ·, ·, ·; ·, (c,b,a,d,e)D(a,b,c,d,e)^[tDx: s₃(a,c)>s₁(a,c)], ·, ·, ·; ·, ·, (a,b,c,d,e)D(a,c,b,d,e)^[xDy: s₂(b,c)>s₃(b,c)], ·, ·; ·, ·, ·, (a,c,b,d,e)D(b,c,a,d,e)^[yDw: s₁(a,b)>s₃(a,b)], ·; ·, ·, ·, ·, (b,c,a,d,e)D(b,a,c,d,e)^[wDz: s₃(a,c)>s₂(a,c)]; @intercol(b,a,c,d,e)D(c,a,b,d,e)_zDo: s₁(b,c)>s₃(b,c)@intercol)

$\blacklozenge$

Table 4: A strictly monotonic but not homeo-monotonic profile that does not have an intensity-efficient allocation.

Together, Theorems 2-3 and Examples 2-4 highlight the importance of the intuitive structure imposed by homeo-monotonicity for the general existence of intensity-efficient allocations, both as a sufficient condition and, in a weaker sense, as a necessary one too. As the counterexample for n=4 in the proof of Theorem 1 shows, moreover, a profile may fail to have an intensity-efficient allocation even when homeo-monotonicity as defined above is satisfied, yet a subtle variation of it is not. More specifically, that profile features: (i) n=4; (ii) a_ib_ic_id for i≤4 (hence a top-preference-coincident set N with respect to A); (iii) s₁=s₄, s₂=s₃. Although the four agents’ intensities over their common preferences do not define a monotonic top-preference-coincident set, one observes that emergent here is a variant of this notion whereby each set in the partition {{v₁,v₂} ,{v₃,v₄}} of N is monotonically top-preference-coincident with respect to {a,b,c} ⊂ A: s₁(a,b)>s₂(a,b), s₁(b,c)=s₂(b,c) and s₄(a,b)>s₃(a,b), s₄(b,c)=s₃(b,c). However, both these pairs of agents violate what homeo-monotonicity would require here: s₁(a,c)<s₂(a,c) and s₄(a,c)<s₃(a,c). Thus, while the problem of fully characterizing the conditions under which strict profiles have intensity-efficient allocations remains open, the preceding analysis hopefully provides meaningful guidance in that direction.

We end this section by remarking that the paper’s new analytical environment necessitates novel arguments in the proofs of this section’s main results. More specifically, viewed as an abstract mathematical problem, existence of intensity-efficient allocations amounts to identifying sufficient conditions for acyclicity of the intensity-dominance binary relation defined on the set of permutations over alternatives. The mathematical literature on the combinatorics of permutations has studied partial orders over such sets, which may even have the richer structure of a lattice that additionally ensures the existence of both a greatest (hence maximal) and a smallest element. These results, however, are not applicable in our environment.

Indeed, the strong and weak Bruhat partial orders in question (Stanley, 2012, pp. 399-400), relate two permutations if and only if there is a single transposition (“flip”) between elements in the two permutations, and this transposition corresponds to an inversion (Stanley, 2012, p. 30) relative to some postulated fixed linear order over its elements. The weak Bruhat order (see Ceballos and Pons (2024) for a recent generalization) gives rise to a lattice, whose graph is known as the permut(a)(o)hedron, but under the additional assumption that the said single transposition occurs between adjacent elements of the two relevant permutations. Our problem, by contrast, does not assume a fixed linear order over items, and is defined by intensity-dominance comparisons that generally feature possibly multiple transpositions of non-adjacent elements. The latter, in turn, are defined by dominance between specific entries in the two relevant columns of an integer matrix, themselves dictated by the corresponding agents’ intensity orderings.

5 Allocation via Aggregation of Intensity-Rank Scores

5.1 A Generalization of Borda’s Criterion

Recall that I denotes the collection of all intensity relations that are representable by an intensity function, and Î⊂I the collection of all strict such relations. Next, by Ĩ we will refer to the class that lies between I and Î and consists of all intensity relations that induce strict preferences. In particular, like relations in Î, those in this class rule out indifferences. Unlike them, however, they do allow for non-trivial intensity equivalences such as (a,b) ∼̇ₗ (c,d) for items a, b, c and d where a_lb and c_ld. By R, moreover, we refer to the collection of all weak orders on A. Finally, we let S̃ stand for the collection of all intensity profiles S=(_1,…,_n) with the property that, for all l≤n, _l∈I and all _l have the same number of intensity-equivalence classes. This additional second requirement is introduced in order to ensure that all canonical intensity functions that represent the entries of S continue to have the same range. This, in turn, ensures that the interpretation of inequalities such as sᵢ(a,b)>sⱼ(a,b)>0 that was adopted in Section 3 remains valid here too. Note also that, by construction, SS.

A mapping W:P→R will be called a classic social welfare function, and a mapping W:S̃→R an extended one.⁴ Using this terminology, and recalling the definition of bₗ in (10), the Borda count (Borda, 1781; Young, 1974; Mas-Colell et al., 1995; Maskin, 2025) is the classic social welfare function Bo:P→R defined by

Harvey (1999), Weymark (2005) and Nebel (2024) study versions of the classical utilitarian social welfare function by also taking profiles of cardinal-utility representable intensity relations—rather than interpersonally comparable cardinal utility profiles—as the relevant domain.

$$c\;\mathbb{Bo}(P)\;d \Longleftrightarrow \sum_{l=1}^{n}b_{l}^{P}(c)\geq\sum_{l=1}^{n}b_{l}^{P}(d)$$

(15)

Thus, when strict preference profiles act as inputs to the social welfare aggregation process, a is socially preferred to b under Bo if the aggregate Borda score of a is larger than b.

Definition 9.

The intensity-positional extended social welfare function IP:S̃→R is defined by

$$c \mathbb{IP}(S)\,d \Longleftrightarrow \sum_{l=1}^{n}r_{l}^{S}(c)\geq\sum_{l=1}^{n}r_{l}^{S}(d),$$

(16)

where rₗ is as defined in (11).

There are notable similarities and differences between the Borda and intensity-positional social welfare functions. Both are so-called “scoring” rules in the sense that the way in which they rank alternatives comes about as the outcome of summing their scores under some criterion. However, Bo is defined over preference profiles and takes the cardinality of agents’ lower preference-contour set as its scoring criterion. As such, it is oblivious to the actual differences in preference intensities between agents (more precisely, it always treats such intensities as if they were linear in the sense that we define below). By contrast, in order to account for such differences, IP takes profiles of intensity relations as its input, and is sensitive to the information they convey. In particular: (i) it identifies the intensity-rank score of each item under every agent (cf Section 3); (ii) finds that item’s aggregate intensity rank score; and (iii) uses this to determine the item’s relative standing in the resulting social ranking. As such, IP breaks free from the much-criticized “arbitrariness [of the Borda rule] in seeing the gaps between any two proximate alternatives to be exactly the same – for every person and every pair of alternatives” (Sen, 2017, p.393).

As was anticipated in Section 3, an alternative’s intensity-rank and Borda scores are generally distinct but subtly related concepts. Towards clarifying their connection further we introduce an additional notion.

Definition 10.

An intensity relation _l∈I is linear if, whenever

$$a_{\pi(1)}\succ_{l}a_{\pi(2)}\succ_{l}\cdots\succ_{l}a_{\pi(n)}$$

is true for the induced _l under some permutation π on N, then

∼̇ₗ

(17)

holds for all i=1,…,n-2.

A profile S∈S̃ is linear if _l is linear for every l∈ N.

If _l is linear and admits a utility-difference representation under uₗ:A→ℝ, then uₗ(a_π(1))-uₗ(a_π(2))=⋯=uₗ(a_π(m-1))-uₗ(a_π(m))=c>0. That is, utility—as measured within the numerical scale defined by uₗ—increases by a constant increment in any transition from some alternative to the one that lies just above it in l’s preference ranking.

The next result establishes that, on linear intensity profiles that induce strict preferences, the social ordering that is prescribed by the intensity-positional rule coincides with the social ordering prescribed by Borda on the corresponding induced preference profile.

Theorem 4.

If S∈S̃ is a linear intensity profile, then IP(S)=Bo(P_S).

Crucially, Bo and IP do not coincide in general. The reason is that the former is not definable on domains of intensity relations and, by construction, implicitly treats every non-linear profile as if it were linear. An axiomatic characterization of the IP rule in such a domain is a distinct problem that will be treated elsewhere. However, in line with this paper’s focus on the problem of improving upon Pareto efficiency on allocation problems where ordinal intensity information may be available, we now return to this problem and apply the newly introduced concept to its study.

5.2 Intensity-Positional Allocations

The previous subsection clarified how intensity-positional social welfare generalizes Borda social welfare in the domain of intensity profiles that induce strict preferences and, in addition, feature the same number of intensity-equivalence classes for every agent. We now build on these insights and return our focus to the more restricted domain of strict (hence non-linear) intensity profiles, Ŝ⊂S̃, in order to make the ensuing analysis of the assignment problem directly comparable to that of Section 4.

The concept that we introduce next translates the intensity-positional scoring notation and formulae (16)–(11) into the language of allocations.

Definition 11.

Let S=(_1,…,_n)∈ S be a strict intensity profile, and let s be its canonical representation. An allocation x is intensity-positional at S if

$$x \in \arg\max_{y\in\mathcal{A}}\sum_{l=1}^{n}r_{l}^{S}(y_{l})\qquad {} \equiv \arg\max_{y\in\mathcal{A}}\sum_{l=1}^{n}\max_{y^{\prime}_{l}\in A}s_{l}^{S}(y_{l},y^{\prime}_{l})\qquad := \mathsf{IP}(S)$$

An intensity-positional allocation maximizes the total of agents’ ordinal intensity-rank scores at their assigned items, and thus resolves trade-offs across agents globally rather than only through pairwise dominance comparisons. Indeed, as was noted earlier, an item’s intensity-rank score contains information about the number of alternatives that are ranked below it as well as about the relative intensity difference between that item and the one ranked at the bottom. This double channel—and trade-offs thereof—guides the intensity-positional allocation criterion and makes it distinct from Borda’s criterion that is guided by the former channel only.

By analogy, a Borda allocation at profile S∈Ŝ—henceforth denoted by Bo(S)≡Bo(P_S)—is defined as in (11) but with the Borda scores bₗ^P at the strict preference profile P_S replacing the intensity-rank scores rₗ^S at the strict intensity profile S.

Example 5.

Consider the example profile in Table 1 (n=4) for which we established that no intensity-efficient allocation exists. Since all agents’ preferences in this example are identical, all 24 (Pareto-efficient) allocations are also Borda allocations. As the reader can easily verify, however, only the following 8 such allocations are intensity-positional:

$$\begin{array}{llll}(a,c,d,b),&(a,d,c,b),&(b,a,c,d),&(b,c,a,d)\\ (b,c,d,a),&(b,d,c,a),&(d,a,c,b),&(d,c,a,b)\end{array}$$

$\blacklozenge$

This example illustrates two important features of intensity-positional allocations: (i) they exist even when intensity-efficient allocations do not; (ii) they can refine the sets of Pareto-efficient and Borda-optimal allocations quite significantly (in this case, by discarding 2 3 of them). This fact, in turn, naturally invites a formal investigation of general properties that such allocations have in the present analytical environment.

Proposition 3.

An intensity-positional allocation is Pareto-efficient.

Proposition 4.

The sets of intensity-efficient, intensity-positional and Borda allocations are generally distinct.

That an intensity-positional allocation may not be intensity-efficient has already been shown in Example 5. The converse implication can also be seen by modifying the profile of Example 3 (Table 3) so that s₂(a₁,a₃)=5, s₂(a₂,a₄)=4 and s₃(a₁,a₂)=4, s₃(a₂,a₄)=3, s₃(a₂,a₃)=2, s₃(a₃,a₄)=1. In this case, the set of intensity-efficient allocations contains three elements, one of which—namely, (a₃,a₂,a₁,a₄)—is not intensity-positional. As far as the comparison between intensity-positional and Borda allocations is concerned, in light of Example 5 it suffices to show that there are profiles where some allocations are of the former but not of the latter kind. To this end, let n=3 and suppose s₁(a,c)=3, s₁(b,c)=2, s₁(a,b)=1; s₂(a,b)=3, s₂(a,c)=2, s₂(c,b)=1; and s₃(b,a)=3, s₃(c,a)=2, s₃(b,c)=1. Allocation (b,a,c) is intensity-positional but not Borda. □

This analysis uncovers that it is possible for allocations that are intensity-dominated to be intensity-positional. Intuitively, this happens in those situations where, despite the presence of a pairwise intensity dominance that favours x over y, there are sufficiently many agents who do not belong to a “swapping” pair and who receive items under y which they prefer more—according to the intensity-rank criterion—than those items’ beneficiaries under allocation x. In such cases, the welfare argument in favour of x that is conveyed by the relevant pairwise intensity dominance comparisons—which are ordinal and ignore intensity-rank information—is offset by the welfare argument in favour of y that are represented by the total differences in aggregate intensity rank scores. This also helps clarify how the two concepts that are studied in this and the preceding section jointly provide two distinct and complementary ways in which an analyst can utilise ordinal intensity information in order to improve upon the Pareto criterion.

6 Concluding Remarks

In this paper we study the classic one-to-one assignment problem in an environment where, in addition to standard ordinal preferences, agents are also assumed to have ordinal preference intensities. These are internally consistent comparisons between preference improvements that do not require any quantification of the kind that is implied by cardinal utility functions. Two interpersonal comparability assumptions for such ordinal intensities are introduced and motivated. Building on this analytical environment, which provides a novel and potentially fertile middle ground between purely ordinal and fully cardinal environments for the study of allocation problems, we introduce and analyze the concepts of intensity-efficient and intensity-positional allocations. While distinct and with different points of strength and weakness, they share the feature that they refine the set of Pareto-efficient allocations in ways that incorporate this cognitively less demanding information about agents’ intensities into the allocation process with the goal—shared by notions defined in the cardinal-welfarist tradition—of achieving greater distributive justice.

Appendix

Proof of Lemma 1. Upon viewing ŝₗ as a general function of two variables, (7) is known as Sincov’s functional equation, whose solution is some f:A→ℝ, unique up to an additive constant, such that ŝₗ(a,b)≡f(a)-f(b) (Aczél, 1966). This establishes the “if” part. The “only if” part is immediate upon defining ŝₗ(a,b):=uₗ(a)-uₗ(b) for the postulated function uₗ with the requisite representation property. □

Proof of Lemma 2. Let sₗ be an arbitrary preference intensity function for _l∈ I. Define the level set of sₗ at (a,b)∈ A× A by sₗ[a,b]:={(a′,b′)∈ A× A:sₗ(a,b)=sₗ(a′,b′)}. Further, define rₗ:A× A→ℝ by

$$r_{l}(a,b) := \left\lbrace \begin{array}{ll}|\lbrace \mathbf{s}_{l}[a^{\prime},b^{\prime}]:s_{l}(a,b)\gt s_{l}(a^{\prime},b^{\prime})\geq s_{l}(e,e)\rbrace |, \text{if}s_{l}(a,b)\gt s_{l}(e,e)\qquad s_{l}(a,b), \text{if}s_{l}(a,b)=s_{l}(e,e)\qquad {}-r_{l}(b,a), \text{if}s_{l}(a,b)\lt s_{l}(e,e)\end{array}\right.$$

By construction, rₗ is canonical and r_l(a,b)≥ r_l(c,d) s_l(a,b)≥ s_l(c,d). □

Proof of Proposition 1. Consider the strict utility profile of Example 1. Observe that the Pareto-efficient allocations are (a₁,a₂,a₃) and (a₂,a₁,a₃), and the former is the utilitarian one. Yet this is intensity-dominated by the latter since s₂(a₁,a₂)>s₁(a₁,a₂). □

Proof of Proposition 2. Under the postulated conditions, suppose to the contrary that x(U) is a utilitarian but not intensity-efficient allocation. Then, given that agent l’s intensity relation _l is defined by (a,b) _l (c,d) u_l(a)-u_l(b)≥ u_l(c)-u_l(d), from the definition of intensity-dominance and intensity-efficiency there exist at least one pair of agents (i,j) and of objects (a,b) such that xᵢ(U)=a, xⱼ(U)=b and sⱼ(a,b)>sᵢ(a,b). By balancedness, this implies

$$u_{j}(a)-u_{j}(b) \gt u_{i}(a)-u_{i}(b)$$

(20)

Consider allocation x′ that is identical to x(U) except that x′ᵢ=b and x′ⱼ=a. From (20) we get uⱼ(a)-uᵢ(a)>uⱼ(b)-uᵢ(b). This shows that the utilitarian benefit from the i↔ j swap in the transition from x(U) to x′, uⱼ(a)-uᵢ(a), exceeds the corresponding loss, uⱼ(b)-uᵢ(b). It follows that Σₗ₌₁ⁿ uₗ(x′ₗ)>Σₗ₌₁ⁿ uₗ (xₗ(U)), which contradicts the postulated utilitarian-efficiency of x(U). □

Proof of Theorem 1. The argument proceeds by considering the possible ways in which an arbitrary profile S∈Ŝ when n=3 might generate a sequence of distinct Pareto-efficient allocations that are implicated in an intensity-dominance cycle. To this end, let D be the intensity-dominance relation that is introduced in Definition 1. Suppose to the contrary that

$$w^{1}Dw^{2}D\ldots Dw^{k}Dw^{1}$$

(21)

for Pareto efficient allocations w¹,…,wᵏ on X:={a,b,c}.

Observation 1.

n=3 implies that for any two allocations wⁱ,wⁱ⁺¹ such that wⁱ Dwⁱ⁺¹ it must be that wⁱₗ=wⁱ⁺¹ₗ for exactly one agent l∈{1,2,3} and (wⁱⱼ,wⁱₖ)=(wⁱ⁺¹ₖ,wⁱ⁺¹ⱼ) for j,k≠l.

Observation 2.

n=3 implies k≤6.

Observation 3.

Pareto efficiency of wⁱ=(a′,b′,c′) and Strictness together imply

$$s_{2}(a^{\prime},b^{\prime})\gt 0 \Longrightarrow s_{1}(a^{\prime},b^{\prime})\gt 0\qquad s_{3}(b^{\prime},c^{\prime})\gt 0 \Longrightarrow s_{2}(b^{\prime},c^{\prime})\gt 0\qquad s_{3}(a^{\prime},c^{\prime})\gt 0 \Longrightarrow s_{1}(a^{\prime},c^{\prime})\gt 0$$

(22) (23) (24)

Observation 4.

Strictness and canonicality of sᵢ imply s_i(a^′,b^′)=s_i(c^′,d^′)> 0(a^′,b^′)=(c^′,d^′) and, jointly with n=3, also s_i(a^′,b^′)> 0 s_i(a^′,b^′)∈ 1,2,3.

Notice that (21) is impossible for k=2 because D is asymmetric by construction. Suppose k=3. Without loss of generality, write w¹:=(a,b,c) and w²:=(b,a,c). Then, by Observation 1, either w³=(b,c,a) or w³=(c,a,b). Since, in both cases, w¹ and w³ are D-incomparable by construction, the w³ Dw¹ postulate in (21) is contradicted.

Now suppose k=4. By (21) and the above implications, we may take w¹, w², w³ to be as in the k=3 case, from which it then follows that allocation w⁴ must be either (c,b,a) or (a,c,b). Notice that either possibility is compatible with w³=(b,c,a) and with w³=(c,a,b). We therefore have the following 4 cases to consider:

[Note: in what follows we make repeated use—often without explicit reference—of the Pareto-efficiency implications (22)–(24), the skew-symmetry property sₗ(a,b)=-sₗ(b,a) of canonical representations and, whenever exact values of the sᵢ functions are asserted, of the lateral-consistency property (6) together with the assumption that every sᵢ is canonical and strict (cf Observations 3–4).]

Case 1. w³=(b,c,a), w⁴=(c,b,a). By the definition of D, and by the above assumptions:

$$w^{1}Dw^{2} \Longrightarrow s_{1}(a,b)\gt s_{2}(a,b)\qquad w^{2}Dw^{3} \Longrightarrow s_{2}(a,c)\gt s_{3}(a,c)\qquad w^{3}Dw^{4} \Longrightarrow s_{1}(b,c)\gt s_{2}(b,c)\qquad w^{4}Dw^{1} \Longrightarrow s_{3}(a,c)\gt s_{1}(a,c)$$

(25) (26)

Therefore,

$$s_{2}(a,c)\gt s_{3}(a,c)\gt s_{1}(a,c)$$

(27)

Since wⁱ is Pareto efficient for i≤4, it follows from (22)–(24) that there are 4 subcases to consider:

Subcase 1-i. s₁(a,b)>s₂(a,b)>0 and s₁(b,c)>s₂(b,c)>0. By (6) and the fact that s₁,s₂ are canonical, this implies s₁(a,c)=3, which contradicts (27).

Subcase 1-ii. s₁(a,b)>s₂(a,b)>0 and s₂(c,b)>s₁(c,b)>0. Suppose s₁(a,c)>0 is also true. Then, by (6), (27) and the fact that s₁ is canonical, s₁(a,c)=1 and s₁(a,b)=3. If s₂(a,c)>0 is also true, then s₂(a,b)=3. This contradicts s₁(a,b)>s₂(a,b). So, it must be that s₂(c,a)>0 instead. But in this case s₂(c,a)>0, s₂(a,b)>0 and (6) together imply s₂(c,b)=3. This contradicts s₂(a,c)=3 which is now implied by (27) and the fact that the profile s is canonical. Thus, it must be that s₁(c,a)>0 instead. So now we have s₁(c,a)>0, s₁(a,b)>0, which implies s₁(c,b)=3. But since, by assumption, s₂(c,b)>s₁(c,b) and s₂ is canonical, this is a contradiction.

Subcase 1-iii. s₂(b,a)>s₁(b,a)>0 and s₁(b,c)>s₂(b,c)>0. Suppose first that s₂(a,c)>0 is also true. Then, s₂(b,a)>0 and s₂(a,c)>0 implies s₂(b,c)=3. If s₁(a,c)>0 is also true, then (27) and the fact that s is canonical together imply s₂(a,c)=s₂(b,c), which contradicts (6) and Strictness. So, it must be that s₁(c,a)>0. From s₁(b,c)>0 and s₁(c,a)>0 we now get s₁(b,a)=3. In view of s being canonical, this contradicts s₂(b,a)>s₁(b,a).

Subcase 1-iv. s₂(b,a)>s₁(b,a)>0 and s₂(c,b)>s₁(c,b)>0. Because s is canonical, this and (6) readily imply s₁(c,a)=s₂(c,a)=3. But since (27) is equivalent to s₁(c,a)>s₃(c,a)>s₂(c,a), this is a contradiction.

Hence, w⁴ Dw¹ is impossible for such w³ and w⁴.

Case 2. w³=(c,a,b), w⁴=(c,b,a).

We again have w^1Dw^2 s_1(a,b)> s_2(a,b) and w^2Dw^3 s_1(b,c)> s_3(b,c) and, in addition,

$$w^{3}Dw^{4} \Longrightarrow s_{2}(a,b)\gt s_{3}(a,b)\qquad w^{4}Dw^{1} \Longrightarrow s_{3}(a,c)\gt s_{1}(a,c)$$

(28) (29)

Therefore,

$$s_{1}(a,b)\gt s_{2}(a,b)\gt s_{3}(a,b)$$

(30)

In view of (22)–(24), we can now consider the following 4 possible subcases:

Subcase 2-i. s₁(a,b)>s₂(a,b)>0 and s₁(b,c)>s₃(b,c)>0. By (30) and (22)–(24), the former postulate implies s₃(a,b)>0. Since s is canonical, this further implies s₃(a,b)=1, s₂(a,b)=2 and s₁(a,b)=3. This, canonicality of s and s₁(b,c)>s₃(b,c)>0 together imply s₁(b,c)=2 and s₃(b,c)=1=s₃(a,b), which contradicts Strictness.

Subcase 2-ii. s₁(a,b)>s₂(a,b)>0 and s₃(c,b)>s₁(c,b)>0. For the same reasons as in 2α, we have s₃(a,b)=1, s₂(a,b)=2 and s₁(a,b)=3. This, together with canonicality of s and s₃(c,b)>s₁(c,b)>0, further implies s₁(c,b)=1. Hence, it also follows that either s₁(a,c)=2 or s₁(c,a)=2. The latter possibility cannot be valid, for (6) and s₁(c,a)>0, s₁(a,b)>0 would then imply s₁(c,b)=3, which contradicts s₁(c,b)=1. Consider then the case of s₁(a,c)=2. This, together with (29) and canonicality of s, implies s₃(a,c)=3. Thus, we have s₃(a,c)=3, s₃(a,b)=1 and, from s₃(c,b)>s₁(c,b)>0 and canonicality, s₃(c,b)=2. But, by (6) and canonicality, s₃(a,c)>0 and s₃(c,b)>0 implies s₃(a,b)=3, a contradiction.

Subcase 2-iii. s₂(b,a)>s₁(b,a)>0 and s₁(b,c)>s₃(b,c)>0. The former postulate, together with (30) and canonicality, implies s₃(b,a)=3, s₂(b,a)=2, s₁(b,a)=1. By (28), either s₃(a,c)>s₁(a,c)>0 or s₁(c,a)>s₃(c,a)>0 also holds. Consider the first possibility. From s₁(b,a)=1, s₁(a,c)>0, (6) and canonicality we get s₁(a,c)=2. This and (29) implies s₃(a,c)=3. Since s₃(b,a)=3 is also true, this contradicts Strictness. Hence, it must be that s₁(c,a)>s₃(c,a)>0. But in this case s₁(b,c)>0, s₁(c,a)>0, (6) and canonicality imply s₁(b,a)=3, which contradicts (30).

Subcase 2-iv. s₂(b,a)>s₁(b,a)>0 and s₃(c,b)>s₁(c,b)>0. As in 2-iii, we have s₃(b,a)=3, s₂(b,a)=2, s₁(b,a)=1. But s₃(c,b)>0, s₃(b,a)>0 and (6) imply s₃(c,a)>s₃(b,a)=3 which, by canonicality, is impossible.

Hence, w⁴ Dw¹ is impossible for such w³ and w⁴ too.

Case 3. w³=(b,c,a), w⁴=(a,c,b).

We now have

$$w^{3}Dw^{4} \Longrightarrow s_{3}(a,b)\gt s_{1}(a,b)\qquad w^{4}Dw^{1} \Longrightarrow s_{3}(b,c)\gt s_{2}(b,c)$$

(31) (32)

It follows that

$$s_{3}(a,b)\gt s_{1}(a,b)\gt s_{2}(a,b)$$

(33)

We consider the 4 subcases that are now possible:

Subcase 3-i. s₁(a,b)>s₂(a,b)>0 and s₁(b,c)>s₃(b,c)>0. The latter, together with (22)–(24), (32) and canonicality, implies s₃(a,b)=1. But canonicality, (22)–(24) and (24) also implies s₃(a,b)=3, which contradicts Strictness.

Subcase 3-ii. s₁(a,b)>s₂(a,b)>0 and s₃(c,b)>s₁(c,b)>0. The first postulate and (33), together with canonicality, implies s₃(a,b)=3, s₁(a,b)=2 and s₂(a,b)=1. Since s₃(c,b)>s₁(c,b)>0 is also assumed, this and canonicality further imply s₃(c,b)=2. Now, because s₃(a,b)>0 and s₃(c,b)>0, it follows from (6) that s₃(c,a)>0 too. But (6) in this case further implies s₃(c,a)>s₃(a,b)=3, which is impossible.

Subcase 3-iii. s₂(b,a)>s₁(b,a)>0 and s₁(b,c)>s₃(b,c)>0. The first postulate, together with (33) and canonicality, implies s₂(b,a)=3, s₁(b,a)=2, s₃(b,a)=1. The second postulate and s₁(b,a)=2, together with Strictness, implies s₁(b,c)=3. This in turn implies s₁(a,c)=1 or s₁(c,a)=1. If the latter is true, then s₁(b,c)>0, s₁(c,a)>0 and (6), together with canonicality, implies s₁(b,a)=3, a contradiction. Hence, it must be that s₁(a,c)=1. We therefore have s₁(b,a)=2, s₁(a,c)=1 and, by (6) and canonicality, s₁(b,c)=3. From (22)–(24), (26), (32) and canonicality we also know that s₁(b,c)>s₃(b,c)>s₂(b,c)>0 implies s₃(b,c)=2 and s₂(b,c)=1. Thus, we have s₃(b,a)>0, s₃(b,c)>0 and, by (22)–(24) and s₁(a,c)>0, also s₃(a,c)>0. But s₃(b,a)>0, s₃(a,c)>0 together with (6) and canonicality implies s₃(b,c)=3, a contradiction.

Subcase 3-iv. s₂(b,a)>s₁(b,a)>0 and s₃(c,b)>s₁(c,b)>0. These readily imply s₁(c,a)=3. As above, (33) implies s₂(b,a)=3, s₁(b,a)=2 and s₃(b,a)=1. By (6), s₁(c,a)=3 and s₁(a,b)=2 implies s₁(c,b)=1. From the above postulates and from (32), s₂(c,b)>s₃(c,b)>s₁(c,b) further implies s₂(c,b)=3, which contradicts s₂(b,a)=3 and Strictness.

Hence, w⁴ Dw¹ is impossible for such w³ and w⁴ here as well.

Case 4. w³=(c,a,b), w⁴=(a,c,b). It is now true that

$$w^{3}Dw^{4} \Longrightarrow s_{2}(a,c)\gt s_{1}(a,c)\qquad w^{4}Dw^{1} \Longrightarrow s_{3}(b,c)\gt s_{2}(b,c)$$

(34) (35)

which, together with (25)–(26), imply

$$s_{1}(b,c)\gt s_{3}(b,c)\gt s_{2}(b,c)$$

(36)

Suppose first that s₂(b,c)>0. Then, by (36) and (22)–(24), s₁(b,c)=3, s₂(b,c)=1 and s₃(b,c)=2. From s₁(b,c)=3 and (6) we also get s₁(b,a)>0 and s₁(a,c)>0. Hence, by (25), s₂(b,a)>s₁(b,a)>0 and, by (34), s₂(a,c)>s₁(a,c)>0. These inequalities and (6) together imply s₂(b,c)=3, which is a contradiction.

Now suppose instead that s₂(b,c)<0, i.e. s₂(c,b)>0. It follows from (36) that s₂(c,b)=3, s₃(c,b)=2 and s₁(c,b)=1. Suppose s₁(a,c)>0. From (34) and (22)–(24), s₂(a,c)>0. Since s₂(a,c)>0 and s₃(c,b)>0, by (6) we get s₂(a,b)>s₂(c,b)=3, which is impossible. Hence, s₁(c,a)>0 holds instead and, from (34) and (22)–(24), s₁(c,a)>s₂(c,a)>0 is also true. Suppose s₂(a,b)>0 holds too. By (25), s₁(a,b)>0. By (6) and s₁(c,a)>0, s₁(a,b)>0 we get s₁(c,b)=3, a contradiction. Hence, s₂(b,a)>0 must be true instead and, by (25), s₂(b,a)>s₁(b,a)>0 also. So, we have s₂(c,b)>0 and s₂(b,a)>0, which, by (6), implies s₂(c,a)>s₍ c,b)=3. This too is a contradiction.

Hence, w⁴ Dw¹ is impossible for such w³ and w⁴ also.

Next, suppose k=5. Arguing as above, allocations w¹,…,w⁴ in (21) must be as in one of the four cases considered previously. Combined with the fact that each wⁱ in sequence (w¹,…,w⁵) must be distinct and the notational convention w¹=(a,b,c) and w²=(b,a,c), this gives rise to the following four possibilities:

$$\begin{array}{lll}w^{3}=(b,c,a),&w^{4}=(c,b,a),&w^{5}=(c,a,b)\\ w^{3}=(c,a,b),&w^{4}=(c,b,a),&w^{5}=(b,c,a)\\ w^{3}=(b,c,a),&w^{4}=(a,c,b),&w^{5}=(c,a,b)\\ w^{3}=(c,a,b),&w^{4}=(a,c,b),&w^{5}=(b,c,a)\\ \end{array}$$

Clearly, because either w⁵=(b,c,a) or w⁵=(c,a,b) must hold in all four cases, and recalling that w¹=(a,b,c), it cannot be that w⁵ Dw¹.

Finally, suppose k=6. With allocations w¹,…,w⁵ in (21) being as in the k=5 case that was just considered above, w⁶ can only coincide with allocation (a,c,b) in each of the four relevant cases. In view of the previous steps, these are as follows:

Case 1: w¹=(a,b,c), w²=(b,a,c), w³=(b,c,a), w⁴=(c,b,a), w⁵=(c,a,b), w⁶=(a,c,b). By definition of D, and by the above assumptions: w^1Dw^2 s_1(a,b)> s_2(a,b); w^2Dw^3 s_2(a,c)> s_3(a,c); w^3Dw^4 s_1(b,c)> s_2(b,c); w^4Dw^5 s_3(a,b)> s_2(a,b); w^5Dw^6 s_2(a,c)> s_1(a,c); and w^6Dw^1 s_3(b,c)> s_2(b,c). It follows that

$$s_{2}(a,c)\gt s_{1}(a,c)\gt s_{1}(a,b)\gt s_{2}(a,b)$$

(37)

Suppose s₂(a,b)>0. Then, (37) implies s₂(a,c)>3, which contradicts canonicality. If s₂(b,a)>0 instead, then (37) together with skew-symmetry of s₂ implies s₂(b,a)>3 and results in the same contradiction.

Case 2: w¹=(a,b,c), w²=(b,a,c), w³=(c,a,b), w⁴=(c,b,a), w⁵=(b,c,a), w⁶=(a,c,b). Notice that the postulated dominance implications w^1Dw^2 s_1(a,b)> s_2(a,b), w^3Dw^4 s_2(a,b)> s_3(a,b) and w^5Dw^6 s_3(a,b)> s_1(a,b) lead to s₁(a,b)>s₂(a,b)>s₃(a,b)>s₁(a,b), which is absurd.

Case 3: w¹=(a,b,c), w²=(b,a,c), w³=(b,c,a), w⁴=(a,c,b), w⁵=(c,a,b), w⁶=(a,c,b). Observe here that the postulated dominance implications w^4Dw^5 s_1(a,c)> s_2(a,c) and w^5Dw^6 s_2(a,c)> s_1(a,c) directly contradict each other.

Case 4: w¹=(a,b,c), w²=(b,a,c), w³=(c,a,b), w⁴=(a,c,b), w⁵=(b,c,a), w⁶=(a,c,b). As in Case 2, the postulated dominance implications w^4Dw^5 s_1(a,b)> s_3(a,b) and w^5Dw^6 s_3(a,b)> s_1(a,b) result in the same contradiction.

It has therefore been shown that D is acyclic when n=3, establishing the existence of an intensity-efficient allocation in this case. The potential non-existence when n≥4 is proved in the main text. (cf Table 1). □

Proof of Theorem 2. Consider a profile S∈Ŝ with the postulated structure. Let N¹:={N¹₁,…,N¹_|N¹|} be the envy-free set with respect to A¹:={a¹₁,…,a¹_|A¹|}, and let Nⁱ>1:={i₁,…,i_|Nⁱ|} be the ith top-preference-coincident set with respect to Aⁱ>1:={i₁,…,i_|Aⁱ|}, i=2,…,m. By the profile assumption, |Aⁱ|=|Nⁱ| for all i≤m, and the collections (Nⁱ)ᵢ₌₁ᵐ and (Aⁱ)ᵢ₌₁ᵐ partition the sets N and A, respectively. Without loss of generality we may assume that a¹ⱼ is the top-ranked item of agent N¹ⱼ, j=1,…,|A¹| (for the general case we apply a permutation over {1,…,|A¹|} on the a¹-subscripts). Recalling our earlier notation, this amounts to writing a₁¹≡b₁¹, a₂¹≡b₂¹, etc. Also without loss, for Aⁱ>1, Nⁱ>1 we may assume that a^i_1_ja^i_2_j_ja^i_|A^i| for all vⱼ ∈ Nⁱ>1. (Note: the special cases where N¹=∅, N¹=N or Nⁱ=N for some i>1 are allowed by the postulated S∈Ŝ, and so will they be in the proof.)

Lemma 3.

If S∈Ŝ is effectively homeo-monotonic, then an allocation x is Pareto-efficient with respect to P_S if and only if it satisfies the following: (i) vⱼ ∈ N¹ ⇒ xⱼ=bⱼ¹. (ii) vⱼ ∈ Nⁱ>1 ⇒ xⱼ ∈ Aⁱ>1.

Proof.

For the “if” part, let x be an arbitrary allocation that satisfies (i) and (ii). Assume to the contrary that x is not Pareto efficient. Let y be another allocation that Pareto-dominates x. This implies sₗ(yₗ,xₗ)≥0 for every l≤n, with strict inequality for some l. Let N∗ ⊊ N consist of every agent l for whom sₗ(yₗ,xₗ)=0. By Strictness, s_l(y_l,x_l)=0 y_l=x_l. Suppose N∗=∅. From the above, this implies sₗ(yₗ,xₗ)>0 for all l≤n, with every agent assigned a different item under x and y. If the envy-free set N¹ is non-empty, then this readily contradicts (i) for every vₗ ∈ N¹. If N¹=∅, then there is at least one i>1 such that the top-preference-coincident set Nⁱ>1 is non-empty. Since |V|=|A|=n holds by assumption, and recalling the notation that precedes the statement of Lemma 3, it follows from (ii) that for the specific agent v₁ⁱ ∈ Nⁱ>1 we must have s₁ⁱ(x₁ⁱ,x′ᵢ)>0 for all x′ᵢ ∈ A∖{x₁ⁱ}, a contradiction. Now suppose N∗≠∅. Since y Pareto-dominates x, the set N∗ ∗:=N∖ N∗ that comprises every agent l for whom sₗ(yₗ,xₗ)>0 holds is non-empty. From the preceding argument we know that for every vₗ ∈ N∗ ∗ it must be that vₗ∉N¹ and vₗ≠v₁ⁱ ∈ Nⁱ>1, for all i>1. By sₗ(yₗ,xₗ)>0 and |A|=|N|, there is some agent vₖ≠vₗ such that yₗ=xₖ. By Strictness and Pareto-dominance, sₖ(yₖ,xₖ)>0. Since both vₖ and vₗ are improved upon by y, it follows that vₗ ∈ Nⁱ>1 and vₖ ∈ Vʲ>1 for distinct top-preference-coincident sets Nⁱ>1 and Nʲ>1 with respect to Aⁱ>1 and Aʲ>1. By the homeo-monotonicity assumption, Aⁱ ∩ Aʲ=∅. Since, by the definition of top-preference-coincident sets, sₗ(a,a′)>0 and sₖ(b,b′)>0 holds for all a∈ Aⁱ>1,a′ ∈ A∖ Aⁱ>1 and b∈ Aʲ>1,b′ ∈ A∖ Aʲ>1, and since, by (ii), it holds that xₗ ∈ Aⁱ>1 and xₖ≡yₗ ∈ Aʲ>1, the postulate sₗ(yₗ,xₗ)>0 leads to a contradiction. Therefore, x is Pareto-efficient.

For the “only if” part, consider an arbitrary Pareto-efficient allocation x. Suppose to the contrary that (i) is false. That is, xⱼ≠bⱼ¹ for some vⱼ ∈ N¹. Let bⱼ¹=xₗ for the relevant distinct agent vₗ ∈ N (such an agent exists because |N|=|A|). Either vₗ ∈ N¹ or vₗ ∈ Nⁱ>1. In the former case, swapping xⱼ and xₗ between the two agents Pareto-improves upon x, contradicting its postulated Pareto optimality. In the latter case, from the assumption that Nⁱ>1 is top-preference-coincident with respect to Aⁱ>1, and that S is homeo-monotonic, we have a^i_t_lx_l b^1_j for every aⁱₜ ∈ Aⁱ>1. Furthermore, in this case (again because |V|=|A|) there must also exist another agent k∈ Vᵖ, p≠i, such that xₖ ∈ Aⁱ>1. There are two possibilities: p=1 or p>1. If p=1, then the above contradiction is obtained now for xₗ and xₖ. If p>1, then, by homeo-monotonicity of S and the implied structure of (Nˡ>1,Aˡ>1), (Nᵖ>1,Aᵖ>1), we have sₗ(xₖ,xₗ)>0 and sₖ(xₗ,xₖ)>0, which also contradicts the postulated Pareto-efficiency of x. The argument establishing necessity of (ii) is analogous and omitted. ∎

Next, consider a top-preference-coincident set Nⁱ>1 with respect to Aⁱ>1. By effective homeo-monotonicity, either such a non-empty set exists or the envy-free set N¹ coincides with N. In the latter case, the allocation x∗ ∈A defined by x∗ᵢ=b¹ᵢ is obviously the unique Pareto-efficient allocation at S and therefore, trivially, intensity-efficient. So, in the sequel we assume that Nⁱ>1≠∅.

Denote by a_1^i_ia_2^i_i_ia_|A^i|^i the induced preference order on Aⁱ>1 which, by the definition of (Nⁱ>1,Aⁱ>1), is common across all agents in Nⁱ>1. Define the binary relation ^i on Nⁱ>1 by

$$v_{j}\trianglerighteq^{i}v_{k} \Longleftrightarrow s_{j}(a^{i}_{l},a^{i}_{l+1})\geq s_{k}(a^{i}_{l},a^{i}_{l+1})\text{for all}l=1,\ldots,|A^{i\gt 1}|-1$$

By the postulated monotonicity of (Nⁱ>1,Aⁱ>1), ^i is a weak order on Nⁱ>1. Let _i^ be some extension of ^i into a linear order over Nⁱ>1, and denote by ^ i(j) the ^ i-rank of agent vⱼ ∈ Nⁱ>1. By construction, ^ i coincides with ^i except where it breaks any equivalence ties that the latter relation may feature.

Now define x∗ ∈A by

$$x_{j}^{\ast 1}:=b_{j}^{1},\;j=1,\ldots,|N^{1}|\qquad \Longleftrightarrow \qquad v_{j}\in N^{1}\qquad x_{j}^{\ast i\gt 1}:=a^{i}_{l},\;j=1,\ldots,|N^{i\gt 1}|\qquad \Longleftrightarrow \qquad v_{j}\in N^{i\gt 1}\text{and}\trianglerighteq^{\ast i}(j)=l$$

That is, each agent in the set N¹ (which could be empty) is assigned their most preferred item, while the ^ i-lth-ranked agent in Nⁱ>1 is assigned their lth most preferred item. Recalling that N¹ is envy-free and each Nⁱ>1 is top-preference-coincident, it follows from Lemma 3 that x∗ is Pareto-efficient. We will prove that it is also intensity-efficient.

To this end, suppose to the contrary that some Pareto-efficient allocation y∈A intensity-dominates x∗. Then, there are agents vᵢ,vⱼ ∈ N such that (xᵢ∗,xⱼ∗)=(yⱼ,yᵢ) and sⱼ(yⱼ,yᵢ)≡sⱼ(xᵢ∗,xⱼ∗)>sᵢ(x∗ᵢ,xⱼ∗)>0. By construction of x∗, vᵢ,vⱼ cannot belong to the same Nˡ≥1. For l=1 this is obvious because x∗ i=b¹ᵢ and x∗ j=b¹ⱼ, contradicting the above postulate. For l>1, moreover, one has x∗ᵢ,xⱼ∗ ∈ Aˡ>1 while items in Aˡ>1 are assigned to agents in Nˡ>1 according to the linear order ^ l, which, by homeo-monotonicity of S, ensures that sᵢ(xᵢ∗,xⱼ∗)≥sⱼ(xᵢ∗,xⱼ∗), thereby contradicting that postulate. The remaining possibility is vᵢ ∈ Nˡ>1 and vⱼ ∈ Nᵏ>1 for some k≠l. By construction of x∗, however, we have xᵢ∗ ∈ Aˡ>1 and xⱼ∗ ∈ Aᵏ>1 which, because Nˡ>1, Nᵏ>1 are top-preference-coincident with respect to Aˡ>1, Aᵏ>1 and Aˡ>1 ∩ Aᵏ>1=∅, implies sᵢ(xᵢ∗,xⱼ∗)≡sᵢ(yⱼ,yᵢ)>0 and sⱼ(xᵢ∗,xⱼ∗)≡sⱼ(yⱼ,yᵢ)<0. Thus, the postulate that y intensity-dominates x∗ is contradicted in all situations. □

Proof of Theorem 3. Assume to the contrary that profile S∈Ŝ has a strictly monotonic but not homeo-monotonic top-preference-coincident set N′ ⊆ N with respect to A′ ⊆ A. Write N′:={N′₁,N′₂,…,N′|N′|} and A′:={a′₁,a′₂,…,a′|A′|}. By definition, |N′|=|A′| and _i^A^′ = _m^A^′ := ^A^′ for all N′ᵢ,N′ₘ ∈ N′. Without loss of generality, define this common A′-restricted preference by a^′_1^A^′a^′2^A^′^A^′a^′|A^′| (in the general case subscripts will be indexed by some permutation on {1,…,|A′|}). By strict monotonicity of N′ with respect to A′, the binary relation ^′ on N′ defined by N^′_i^′N^′_m $\Leftrightarrow$ s′ᵢ(a′ⱼ,a′ⱼ₊₁)>s′ₘ(a′ⱼ,a′ⱼ₊₁) for all j≤|A′|-1 is a linear order.

Lemma 4.

If x is an intensity-efficient allocation at S∈Ŝ, then the allocation x′ that is identical to x except in that it assigns the commonly ^A^′-ordered items in A′ to agents in N′ according to the ^′-order on N′ is also intensity-efficient.

Proof.

The only difference between allocations x and x′ lies in how they permute items in A′ to agents in N′. Denote their restrictions on these subsets by x̂ and x̂′, respectively. By Lemma 3 and the postulated intensity-efficiency (hence Pareto-efficiency) of x it follows that x′ is Pareto-efficient too. Since x is intensity-efficient, it is not intensity-dominated by x′. Hence, there is no pair (a′,a^′′)∈ A′ × A′ such that (a′,a^′′)=(x̂ᵢ,x̂ⱼ)=(x̂′ⱼ,x̂′ᵢ) for some N′ᵢ,N′ⱼ ∈ N′, making x and x′ incomparable by intensity-dominance. The argument in the proof of Theorem 2 following Lemma 3 establishes that there is no other Pareto-efficient allocation that intensity-dominates x′ either. Thus, x′ is intensity-efficient. ∎

By strict monotonicity of (N′,A′), and by the order ^′ on N′, we get

$$\begin{array}{lllllllll}s^{\prime}_{1}(a^{\prime}_{i},a^{\prime}_{i+1})&\gt &s^{\prime}_{2}(a^{\prime}_{i},a^{\prime}_{i+1})&\gt &\cdots&\gt &s^{\prime}_{|N^{\prime}|}(a^{\prime}_{i},a^{\prime}_{i+1})&&\text{for all}i\leq|A^{\prime}|-1\end{array}$$

Now recall that the allocation x′ constructed above is intensity-efficient. This assigns x′ₘ=a′ₘ ∈ A′ to each N′ₘ ∈ N′. Since (N′,A′) is strictly monotonic but not homeo-monotonic, there are N′ⱼ,N′ₗ ∈ N′ such that N^′_j^′N^′_l, j-l>1 and s′ₗ(a′ⱼ,a′ₗ)>s′ⱼ(a′ⱼ,a′ₗ). Since (x′ⱼ,x′ₗ)=(a′ⱼ,a′ₗ), this implies that the allocation x^′′ which is identical to x′ except that (x^′′ⱼ,x^′′ₗ)=(a′ₗ,a′ⱼ) intensity-dominates x′, contradicting the postulated intensity-efficiency of the latter allocation. □

Proof of Theorem 4. To ease notation, we write rₗ instead of rₗ^S in much of the proof. We start with the following lemma, which is valid regardless of whether the intensity relation _l is linear or whether it induces a strict or weak preference relation on A:

Lemma 5.

For _l∈ I, the function rₗ:A→ℝ defined in (11) represents the _l-induced preference relation _l ordinally.

Proof.

Let wˡ ∈ A be any _l-minimal alternative, i.e. such that a_lw^l for all a∈ A. We first show that

$$r_{l}(a)=\max_{b\in A}s_{l}(a,b)=s_{l}(a,w^{l})\qquad\text{for all}a\in A.$$

Fix a,b∈ A. If a_lb, then sₗ(a,b)≥0. Since wˡ is _l-minimal, b_lw^l is true, so sₗ(b,wˡ)≥0 too. By lateral consistency,

$$s_{l}(a,w^{l})\geq\max\lbrace s_{l}(a,b),\,s_{l}(b,w^{l})\rbrace \geq s_{l}(a,b).$$

If, instead, b_la, then sₗ(a,b)<0, while a_lw^l implies sₗ(a,wˡ)≥0. Hence, again sₗ(a,wˡ)≥sₗ(a,b). Since this holds for every b∈ A, it follows that sₗ(a,wˡ) is the maximum value of sₗ(a,·) on A, i.e. rₗ(a)=sₗ(a,wˡ) for all a∈ A. Now let aᵢ,aⱼ ∈ A. Then

$$r_{l}(a_{i})\geq r_{l}(a_{j}) \Longleftrightarrow s_{l}(a_{i},w^{l})\geq s_{l}(a_{j},w^{l})\qquad \Longleftrightarrow$$

(38) (39)

We will show that (a_i,w^l) _l (a_j,w^l) $\Leftrightarrow$ (a_i,a_j) _l (a_j,a_i). Suppose (a_i,w^l) _l (a_j,w^l). This is equivalent to sₗ(aᵢ,wˡ)≥sₗ(aⱼ,wˡ). By the definition of wˡ, moreover, sₗ(aⱼ,wˡ)≥0. Suppose to the contrary that (a_j,a_i) _l (a_i,a_j). This is equivalent to sₗ(aⱼ,aᵢ)>0>sₗ(aᵢ,aⱼ). By (6), sₗ(aⱼ,aᵢ)>0 and sₗ(aᵢ,wˡ)≥0 implies sₗ(aⱼ,wˡ)>sₗ(aᵢ,wˡ), which is equivalent to (a_j,w^l) _l (a_i,w^l). This contradicts our original postulate. Conversely, suppose (a_i,a_j) _l (a_j,a_i), and assume to the contrary that (a_j,w^l) _l (a_i,w^l); that is, sₗ(aᵢ,aⱼ)≥sₗ(aⱼ,aᵢ) and sₗ(aⱼ,wˡ)>sₗ(aᵢ,wˡ). By (6) and a similar reasoning we are now led to the absurd conclusion that sₗ(aᵢ,wˡ)>sₗ(aⱼ,wˡ). Now, by the definition of the preference relation induced by _l, (a_i,a_j) _l (a_j,a_i) is equivalent to $a_{i}\succsim_{l}a_{j}$. Therefore, from (39) we get

$$r_{l}(a_{i})\geq r_{l}(a_{j})\Longleftrightarrow a_{i}\succsim_{l}a_{j},$$

so rₗ is an ordinal utility representation of the preference relation induced by $\dot{\succsim}_{l}$. ∎

Considering now the stronger postulate whereby $\dot{\succsim}_{l}\in\mathcal{\widetilde{I}}$ is linear, note first that this implies that the relation $\succsim_{l}$ induced by $\dot{\succsim}_{l}$ is a linear order. To ease notation, in the rest of the proof we assume without loss that the n elements of A are $\succ_{l}$-ranked by every agent l∈ N as follows:

$$\begin{array}{lllllllllll}a_{1}&\succ_{l}&a_{2}&\succ_{l}&a_{3}&\succ_{l}&\cdots&\succ_{l}&a_{n-1}&\succ_{l}&a_{n}\end{array}$$

(Dealing with heterogeneous preferences in P_S is straightforward and involves replacing the index i in aᵢ with πˡ(i) for a suitable agent-specific permutation πˡ on {1,…,n}.)

Lemma 6.

If $\dot{\succsim}_{l}\in\mathcal{\widetilde{I}}$ is linear, then the function rₗ:A→ℝ defined in (11) satisfies

$$r_{l}(A) = \lbrace 0,1,\ldots,n-1\rbrace$$

(40)

Proof.

Consider a linear $\dot{\succsim}_{l}\in\mathcal{\widetilde{I}}$ and assume that it induces the linear order $\succ_{l}$ above. We will show that the “upper half” of this intensity ordering—in which the left item in each pair is preferred to its right counterpart—exhibits the following pattern: (a₁,aₙ)

$\dot{\succ}_{l}$

(a₁,aₙ₋₁) ∼̇ₗ (a₂,aₙ)

$\vdots$

(a₁,a₃) ∼̇ₗ (a₂,a₄) ∼̇ₗ ⋯ ∼̇ₗ (aₙ₋₂,aₙ)

$\dot{\succ}_{l}$

(a₁,a₂) ∼̇ₗ (a₂,a₃) ∼̇ₗ (a₃,a₄) ∼̇ₗ ⋯ ∼̇ₗ (aₙ₋₁,aₙ)

$\dot{\succ}_{l}$

(a₁,a₁) ∼̇ₗ (a₂,a₂) ∼̇ₗ (a₃,a₃) ∼̇ₗ ⋯ ∼̇ₗ (aₙ₋₁,aₙ₋₁) ∼̇ₗ (aₙ,aₙ)

The bottom two lines are true by reflexivity of $\dot{\succsim}_{l}$ and by the postulated linearity of $\dot{\succsim}_{l}$, respectively, while the $\dot{\succ}_{l}$ sign between them is implied by $a_{i}\succ_{l}a_{i+1}$ for all i≤n-1. Consider now the preceding line. We know from the above that sₗ(aᵢ,aᵢ₊₁)=sₗ(aᵢ₊₁,aᵢ₊₂)=sₗ(aᵢ₊₂,aᵢ₊₃)>0. Hence, by (6), sₗ(aᵢ,aᵢ₊₂)=sₗ(aᵢ₊₁,aᵢ₊₂) is also true. Since sₗ(aᵢ₊₁,aᵢ₊₂)=sₗ(aᵢ₊₂,aᵢ₊₃) holds too, (6) further implies sₗ(aᵢ₊₁,aᵢ₊₃)=sₗ(aᵢ₊₁,aᵢ₊₂). Combined, these yield sₗ(aᵢ,aᵢ₊₂)=sₗ(aᵢ₊₁,aᵢ₊₃) or, equivalently, (aᵢ,aᵢ₊₂)∼̇ₗ (aᵢ₊₁,aᵢ₊₃). This proves that the intensity-equivalence statements in that line are valid too, while the $\dot{\succ}_{l}$ sign following it is a direct consequence of (6). By finiteness, proceeding upwards in this fashion and applying the same argument repeatedly establishes the claimed pattern in the structure of $\dot{\succsim}_{l}$. (Equivalently, this pyramidal scheme shows how the top-half intensity-equivalence classes of $\dot{\succsim}_{l}$ are formed and ordered by $\dot{\succ}_{l}$.)

Since there are n alternatives in A, the above shows that there are n-1 intensity-equivalence classes [aᵢ,aⱼ]∈(A× A)_∼̇ₗ such that $a_{i}\succ_{l}a_{j}$. By (11), $r_{l}(a_{i})\equiv\max\limits_{a_{k}\in A}s_{l}(a_{i},a_{k})$. This and the above-postulated $\succ_{l}$ ordering on A jointly imply

$$s_{l}(a_{1},a_{n}) = n-1\qquad s_{l}(a_{2},a_{n})=s_{l}(a_{1},a_{n-1}) = n-2\qquad \vdots\qquad s_{l}(a_{1},a_{2})=\cdots=s_{l}(a_{n-1},a_{n}) = 1$$ $$s_{l}(a_{1},a_{1})=\cdots=s_{l}(a_{n},a_{n}) = 0$$

Thus, in line with Lemma 5, we have $a_{i}\succ_{l}a_{j}\Leftrightarrow r_{l}(a_{i})\gt r_{l}(a_{j})$ and, in addition,

$$r_{l}(a_{i}) = n-i\quad\text{for}i\leq n\text{,}$$

from which the claim follows. ∎

Now consider the induced profile P_S ∈P. By definition, $b_{l}^{P_{S}}(a_{i})\equiv|\lbrace a_{k}\in A:a_{i}\succ_{l}a_{k}\rbrace |$. This and the given ordering $\succ_{l}$ on A readily imply bₗ^P_S(aᵢ)=n-i. Therefore, for every linear intensity profile S∈S̃, every agent l≤n, and every alternative aᵢ ∈ A,

$$r_{l}^{S}(a_{i}) = b_{l}^{P_{S}}(a_{i})\qquad {} = n-i$$

By (16) and (15) it now follows that IP(S)=Bo(P_S) for every such profile. □

Proof of Proposition 3. Let x be intensity-positional at S∈Ŝ. Suppose, toward a contradiction, that x is not Pareto-efficient. Then there exists some y∈A that Pareto-dominates x at the induced preference profile P_S. That is, $y_{i}\succsim_{i}x_{i}$ for all i≤n, with $y_{j}\succ_{j}x_{j}$ for some j≤n. For each agent i≤n, the Borda score function bᵢ^P_S is an ordinal utility representation of $\succ_{i}$, and so is the intensity-rank score rᵢ^S (Lemma 5). Hence there exists a strictly increasing function $f_{i}:\lbrace 0,1,\dots,n-1\rbrace \to\lbrace 0,1,\dots,{n\atopwithdelims( )2}\rbrace$ such that rᵢ^S(a)=fᵢ (bᵢ^P_S(a)) for all a∈ A. Since $y_{i}\succsim_{i}x_{i}$ for all i and $y_{j}\succ_{j}x_{j}$ for some j, it follows that bᵢ^P_S(yᵢ)≥bᵢ^P_S(xᵢ) for all i, with strict inequality for at least one i. Because each fᵢ is strictly increasing, we obtain rᵢ^S(yᵢ)≥rᵢ^S(xᵢ) for all i, with strict inequality for at least one i. Therefore, $\sum\limits_{i=1}^{n}r_{i}^{S}(y_{i})\gt \sum\limits_{i=1}^{n}r_{i}^{S}(x_{i})$, contradicting the assumption that x is intensity-positional at S. Hence, any intensity-positional allocation is Pareto-efficient. □

Proof of Proposition 4. In the main text. □

References

• Abdulkadiroğlu et al. (2011)

  Abdulkadiroğlu, Atila, Yeon-Koo Che, and Yosuke Yasuda (2011): “Resolving Conflicting Preferences in School Choice: The “Boston Mechanism” Reconsidered,” American Economic Review, 101, 399–410.

• Aczél (1966)

  Aczél, J. (1966): Lectures on Functional Equations and their Applications, New York: Academic Press.

• Alaoui and Penta (2025)

  Alaoui, Larbi and Antonio Penta (2025): “What’s in a u?” Working Paper.

• Alt (1936)

  Alt, F. (1936): “Über die Messbarkeit des Nutzens,” Zeitschrift für Nationalökonomie, 7, 161–169.

• Alt (1971)

  ——— (1971): “On the Measurability of Utility,” in Preferences, Utility and Demand, ed. by J. S. Chipman, L. Hurwicz, M. K. Richter, and H. F. Sonnenschein, New York: Harcourt Brace Jovanovich, chap. 20, (English translation of Alt (1936) by S. Schach).

• Ambuehl and Bernheim (2026)

  Ambuehl, Sandro and B. Douglas Bernheim (2026): “Social Preferences over Ordinal Outcomes,” American Economic Review, forthcoming.

• Arrow (1951)

  Arrow, Kenneth J. (1951): Social Choice and Individual Values, New York: Wiley.

• Arrow (1963)

  ——— (1963): Social Choice and Individual Values, New Haven: Yale University Press, 2nd ed.

• Arrow and Kelly (1987)

  Arrow, Kenneth J. and J. S. Kelly (1987): “An Interview with Kenneth J. Arrow,” Social Choice and Welfare, 4, 43–62.

• Baccelli (2023)

  Baccelli, Jean (2023): “Interpersonal Comparisons of What?” Journal of Philosophy, 120, 5–41.

• Baccelli (2024)

  ——— (2024): “Ordinal Utility Differences,” Social Choice and Welfare, 62, 275–287.

• Baccelli and Mongin (2016)

  Baccelli, Jean and Philippe Mongin (2016): “Choice-Based Cardinal Utility: A Tribute to Patrick Suppes,” Journal of Economic Methodology, 23, 268–288.

• Basu (1982)

  Basu, Kaushik (1982): “Determinateness of the Utility Function: Revisiting a Controversy of the Thirties,” The Review of Economic Studies, 49, 307–311.

• Baujard et al. (2018)

  Baujard, Antoinette, Frédéric Gavrel, Herrade Igersheim, Jean-François Laslier, and Isabelle Lebona (2018): “How Voters Use Grade Scales in Evaluative Voting,” European Journal of Political Economy, 55, 14–28.

• Baujard et al. (2021)

  Baujard, Antoinette, Herrade Igersheim, and Isabelle Lebon (2021): “Some Regrettable Grading Scale Effects under Different Versions of Evaluative Voting,” Social Choice and Welfare, 56, 803–834.

• Borda (1781)

  Borda, Jean-Charles (1781): “Mémoire sur les Élections au Scrutin,” Histoire de I’Academie Royale des Sciences, 657–665.

• Bossert (1991)

  Bossert, Walter (1991): “On Intra- and Interpersonal Comparisons of Utility,” Social Choice and Welfare, 8, 207–219.

• Budish (2011)

  Budish, Eric (2011): “The Combinatorial Assignment Problem: Approximate Competitive Equilibrium from Equal Incomes,” Journal of Political Economy, 119, 1061–1103.

• Carroll (2018)

  Carroll, Gabriel (2018): “On Mechanisms Eliciting Ordinal Preferences,” Theoretical Economics, 13, 1275–1318.

• Ceballos and Pons (2024)

  Ceballos, Cesar and Viviane Pons (2024): “The s-Weak Order and s-Permutahedra I: Combinatorics and Lattice Structure,” SIAM Journal of Discrete Mathematics, 38, 2855–2895.

• Che et al. (2013)

  Che, Yeon-Koo, Ian Gale, and Jinwoo Kim (2013): “Assigning Resources to Budget-Constrained Agents,” The Review of Economic Studies, 80, 73–107.

• Condorcet (1785)

  Condorcet, Marie Jean Antoine Nicolas de Caritat (1785): Essai sur L’Application de l’Analyse à la Pluralité des Voix, Paris: Imprimerie Royale.

• Coombs (1950)

  Coombs, Clyde H. (1950): “Psychological Scaling Without A Unit of Measurement,” Psychological Review, 57, 145–158.

• d’Aspremont (2018)

  d’Aspremont, Claude (2018): Interpersonal Utility Comparisons (New Developments), London: Palgrave Macmillan UK, 6891–6896.

• Dhillon and Mertens (1999)

  Dhillon, Amrita and Jean-Francois Mertens (1999): “Relative Utilitarianism,” Econometrica, 67, 471–498.

• Echenique et al. (2023)

  Echenique, Federico, Nicole Immorlica, and Vijay V. Vazirani (2023): “Objectives,” in Online and Matching-Based Market Design, ed. by Federico Echenique, Nicole Immorlica, and Vijay V. Vazirani, Cambridge, UK: Cambridge University Press.

• Fleurbaey and Hammond (2004)

  Fleurbaey, Marc and Peter Hammond (2004): “Interpersonally Comparable Utility,” in Handbook of Utility Theory, Volume 2, ed. by S. Barbera, P. Hammond, and C. Seidl, Dordrecht: Kluwer, 1179–1285.

• Gerasimou (2021)

  Gerasimou, Georgios (2021): “Simple Preference Intensity Comparisons,” Journal of Economic Theory, 192, 105199.

• Harsanyi (1955)

  Harsanyi, John C. (1955): “Cardinal Welfare, Individualistic Ethics, and Interpersonal Comparisons of Utility,” Journal of Political Economy, 63, 309–321.

• Harsanyi (1987)

  ——— (1987): “Interpersonal Utility Comparisons,” in The New Palgrave: A Dictionary of Economics, ed. by John Eatwell, Murray Milgate, and Peter Newman, London: Palgrave Macmillan.

• Harvey (1999)

  Harvey, Charles M. (1999): “Aggregation of Individuals’ Preference Intensities Into Social Preference Intensity,” Social Choice and Welfare, 16, 65–79.

• Krantz et al. (1971)

  Krantz, David H., R. Duncan Luce, Patrick Suppes, and Amos Tversky (1971): Foundations of Measurement, Volume I, New York: Wiley.

• Lange (1934)

  Lange, Oscar (1934): “The Determinateness of the Utility Function,” The Review of Economic Studies, 2, 218–225.

• Lee and Yariv (2018)

  Lee, SangMok and Leeat Yariv (2018): “On the Efficiency of Stable Matchings in Large Markets,” Working Paper.

• Luce and Raiffa (1957)

  Luce, R. Duncan and Howard Raiffa (1957): Games and Decisions, New York: Wiley.

• Mas-Colell et al. (1995)

  Mas-Colell, Andrew, Michael D. Whinston, and Jerry R. Green (1995): Microeconomic Theory, New York: Oxford University Press.

• Maskin (2025)

  Maskin, Erik (2025): “Borda’s Rule and Arrow’s Independence Condition,” Journal of Political Economy, 133, 385–420.

• Miralles (2009)

  Miralles, Antonio (2009): “School Choice: The Case for the Boston Mechanism,” in Auctions, Market Mechanisms and their Applications: First International ICST Conference, AMMA 2009, Boston, MA, USA, ed. by Sanmay Das, Michael Ostrovsky, David Pennock, and Boleslaw Szymanski, Springer, 58–60.

• Moulin (1988)

  Moulin, Hervé J. (1988): Axioms for Cooperative Decision Making, Econometric Society Monograph 15, Cambridge, UK: Cambridge University Press.

• Moulin (2004)

  ——— (2004): Fair Division and Collective Welfare, Cambridge, MA: MIT Press.

• Nebel (2024)

  Nebel, Jacob M. (2024): “Extensive Measurement in Social Choice,” Theoretical Economics, 19, 1581–1618.

• Ortoleva et al. (2023)

  Ortoleva, Pietro, Evgenii Safonov, and Leeat Yariv (2023): “Who Cares More? Allocation with Diverse Preference Intensities,” Working Paper.

• Pfanzagl (1971)

  Pfanzagl, J. (1971): Theory of Measurement, Berlin Heidelberg: Springer-Verlag.

• Pycia (2011)

  Pycia, Marek (2011): “The Cost of Ordinality,” Working Paper.

• Roberts (1979)

  Roberts, Fred S. (1979): Measurement Theory with Applications to Decisionmaking, Utility and the Social Sciences, Reading, MA: Addison-Wesley.

• Roemer (1996)

  Roemer, John E. (1996): Theories of Distributive Justice, Cambridge, MA: Harvard University Press.

• Samuelson (2025)

  Samuelson, Larry (2025): “Modelling People Who Make Decisions,” Presidential Address, World Congress of the Econometric Society, Seoul, South Korea.

• Samuelson (1938)

  Samuelson, Paul A. (1938): “The Numerical Representation of Ordered Classifications and the Concept of Utility,” The Review of Economic Studies, 6, 65–70.

• Sen (2017)

  Sen, Amartya (2017): Collective Choice and Social Welfare, UK: Penguin, expanded edition of the 1970 original.

• Stanley (2012)

  Stanley, Richard P. (2012): Enumerative Combinatorics. Volume 1, Cambridge: Cambridge University Press, 2nd ed.

• Stevens (1946)

  Stevens, S. S. (1946): “On the Theory of Scales of Measurement,” Science, 103, 677–680.

• Varian (1974)

  Varian, Hal R. (1974): “Equity, Envy and Efficiency,” Journal of Economic Theory, 9, 63–91.

• Vlaev et al. (2011)

  Vlaev, Ivo, Nick Chater, Neil Stewart, and Gordon D.A. Brown (2011): “Does the Brain Calculate Value?” Trends in Cognitive Sciences, 15, 546–554.

• von Neumann and Morgenstern (1947)

  von Neumann, J. and O. Morgenstern (1947): Theory of Games and Economic Behavior, Princeton: Princeton University Press, 2nd ed.

• Weymark (2005)

  Weymark, John A. (2005): “Measurement Theory and the Foundations of Utilitarianism,” Social Choice and Welfare, 25, 527–555.

• Young (1974)

  Young, H. P. (1974): “An Axiomatization of Borda’s Rule,” Journal of Economic Theory, 9, 43–52.