---
title: Quasi-Unanimity in Voting and Aggregation
url: https://www.emergentmind.com/topics/quasi-unanimity
type: topic
---

# Quasi-Unanimity in Voting and Aggregation

Searching arXiv for recent papers on quasi-unanimity and related unanimity concepts.
Quasi-unanimity denotes a family of weakened unanimity conditions rather than a single universally fixed concept. Across voting theory, social ranking, universal algebra, constraint satisfaction, distributed consensus, approval voting, and aggregation under ambiguity, the common idea is that exact unanimity is replaced by a high-threshold, restricted-domain, distance-based, or structurally weakened analogue. In two-alternative voting, it appears as a qualified-majority rule with quota \(q>n/2\), with near-unanimity corresponding to \(q=n-1\) and unanimity to \(q=n\) [2509.19823]. In social ranking, the closest formal notion is “closeness to unanimity,” defined by the minimum number of swaps needed to make an individual unanimously supported [2605.18228]. In impartial rank aggregation, the relevant weakening is “weak unanimity,” which requires reproduction of a ranking only when all agents submit exactly the same full ranking [2310.13141]. In universal algebra and CSP theory, the relevant language is “near-unanimity,” “quasi near-unanimity,” and “quasi weak near unanimity,” where unanimity-type identities are weakened by allowing diagonal values or by dropping idempotence [1607.03139]; [2402.16540]; [2002.06083]. In distributed opinion dynamics, the closest operational analogue is stabilizing almost-consensus, where all but \(O(\sqrt n)\) nodes eventually share one valid opinion [1508.06782]. This diversity suggests that quasi-unanimity is best understood as a structural theme: unanimity relaxed just enough to remain informative in settings where literal unanimity is too strong, too rare, or formally inappropriate.

## 1. Qualified-majority and threshold interpretations

In voting theory, quasi-unanimity is most naturally formalized as a high-threshold version of majority rule. In the two-alternative environment \((N,A,\mathcal R,\sigma)\) with \(A=\{s,r\}\), the relevant rule is the \(q\)-sized qualified majority \(\sigma_q\), defined by
\[
(\forall R\in\mathcal R)\big[(\sigma_q(R)=r)\iff(n(r,R)\ge q)\big],
\]
where \(q>n/2\) [2509.19823]. Here \(n(r,R)\) is the number of voters who strictly top-rank reform \(r\). Under this formulation, reform is selected exactly when at least \(q\) voters strictly top-rank it; otherwise the status quo \(s\) wins.

This threshold family contains the most direct social-choice analogue of quasi-unanimity. The paper explicitly identifies \(q=n-1\) as a near-unanimity or quasi-unanimity rule and \(q=n\) as unanimity [2509.19823]. More generally, quotas \(q\) close to \(n\) implement “almost unanimity,” while \(q=\lfloor n/2\rfloor+1\) gives strict majority and \(q=2n/3\) gives a two-thirds rule when integer-valued. The central result is that for \(q>n/2\), the unique anonymous, responsive, and \(q\)-neutral voting rule is \(\sigma_q\), expressed as
\[
(q\in Q)\iff(\Sigma_a\cap\Sigma_r\cap\Sigma_q=\{\sigma_q\}).
\]
This extends May’s characterization of simple majority by replacing full neutrality with \(q\)-neutrality, a quota-indexed restricted neutrality axiom [2509.19823].

The interpretive significance is that quasi-unanimity is not treated as an ad hoc strengthening of majority rule. Rather, in this framework it is one member of a family of qualified-majority rules “precisely distinguished by their degree of neutrality” [2509.19823]. As \(q/n\to 1\), the set of profiles on which neutrality is imposed becomes smaller. A plausible implication is that higher thresholds correspond to narrower domains of symmetry: near-unanimity is associated with a more selective neutrality requirement than simple majority.

A related threshold formulation appears in the theory of indecisive choice behavior by majoritarian ballots. There a quasi-choice is \(s\)-majoritarian if
\[
x\in c(A)\iff \frac{|\{i:x\in v_i(A)\}|}{k}>s
\]
for some finite family of ballots and some \(s\in[0,1)\) [2210.16885]. The paper does not define unanimity or quasi-unanimity as primitive concepts, but thresholds \(s\) close to \(1\) are the natural analogue of near-unanimous endorsement. At the same time, the framework formally excludes \(s=1\), so exact unanimity is not one of its primitive threshold cases [2210.16885].

## 2. Distance-from-unanimity and restricted-domain formulations

A second major interpretation replaces exact unanimity by measured proximity to a unanimity configuration. In social ranking, “closeness to unanimity” is the paper’s explicit near-unanimity principle. For a coalitional ranking \(\succsim=(m_l,\dots,m_1)\in\mathcal L_l\), an individual \(x\) is unanimously supported if there exists \(k\in[l]\) such that the better-ranked classes all contain \(x\) and the worse-ranked classes all exclude \(x\) [2605.18228]. The distance to this configuration is the minimum number of swaps needed to make \(x\) unanimously supported, denoted \(\hat i_{\succsim}(x)\), and on the linear domain given by
\[
\hat{i}_{\succsim}(x)=\sum_{k\in[l]}\sum_{S\in m_k: x \in S}m_{k}(S)\cdot \sum_{k'>k}\sum_{T\in m_{k'}: x \notin T}m_{k'}(T).
\]
The formal axiom, closeness to unanimity (CU), requires that on the linear symmetric domain \(\mathcal L_l^{x,y}\), the social ranking compare \(x\) and \(y\) according to this inversion-number score [2605.18228].

This is weaker than a unanimity axiom in two senses. First, the target of measurement is an exact unanimity-like state, but the axiom ranks by nearness to that state rather than by achievement of it. Second, the requirement is restricted to the linear symmetric domain. The paper explicitly states that “quasi-unanimity” does not appear as a term, and that the faithful counterpart is CU [2605.18228]. Theorem 1 shows that on the linear symmetric domain, several Borda-like scores coincide with the inversion-number criterion, and Theorem 2 characterizes the preferred Borda-type social ranking rule \(R^{B1}\) by ECON, DCONT, NT, IPP, and CU [2605.18228].

A different restricted-domain weakening appears in the aggregation of incomplete preferences under ambiguity. There the dual Pareto principle,
\[
\forall f,g\in\mathcal F,\quad \left[\forall i\in N,\ f\not\succsim_i g\right]\implies f\not\succsim_0 g,
\]
is a unanimity-style requirement respecting unanimous non-endorsement [2512.16240]. The paper argues that this is too strong because of “spurious unanimity,” and replaces it with Common-Taste Pareto\(^*\), which applies only to acts with no taste disagreement [2512.16240]. This is a qualified unanimity principle rather than an unrestricted one. The main characterization states that Common-Taste Pareto\(^*\) holds iff social utility is utilitarian and, for every combination of plausible priors, some weighted average belongs to the social prior set [2512.16240]. A plausible implication is that quasi-unanimity, in this environment, is unanimity filtered to exclude cases where agreement is generated by heterogeneous underlying reasons.

## 3. Weak unanimity in ranking and aggregation

A third family of notions weakens unanimity by shrinking the domain on which it applies. In impartial rank aggregation, the paper distinguishes weak unanimity from full pairwise unanimity. For an \(n\)-ranking mechanism \(f:P_n^n\to P_n\), weak unanimity requires
\[
\left(\exists \hat\pi\in P_n\ \forall i\in[n],\ \pi_i=\hat\pi\right)\Rightarrow f(\boldsymbol{\pi})=\hat\pi,
\]
whereas unanimity requires preservation of every unanimously agreed pairwise comparison [2310.13141]. The paper proves that for \(n\ge 5\), there exists an \(n\)-ranking mechanism satisfying impartiality and weak unanimity, but for every \(n\ge 2\), no mechanism satisfies both impartiality and full unanimity [2310.13141]. It also states that the \(n\ge 5\) threshold is best possible, with impossibility for \(n=4\) established computationally and for \(n=2,3\) by theorem [2310.13141].

Weak unanimity is therefore a whole-ranking consensus condition that survives under impartiality only because it does not require preservation of unanimous pairwise judgments on heterogeneous profiles. The paper explicitly identifies weak unanimity as the closest notion to quasi-unanimity in its framework [2310.13141]. This is a particularly sharp example of how unanimity can be weakened: the condition is preserved on constant profiles but abandoned elsewhere.

In the theory of evaluation aggregation, the contrast is even more explicit. Earlier Arrow-type results classified predicates for which all unanimous aggregators are dictatorial, but the paper on aggregation without unanimity removes the unanimity assumption entirely and classifies all polymorphisms under enlarged notions of triviality [2502.20428]. Its main theorem states that a non-degenerate predicate is \(\Phi\)-trivial iff it is \(\Phi\)-trivial for \(n=2\), and under additional assumptions this matches the classification of impossibility domains with respect to unanimity [2502.20428]. The paper is not about quasi-unanimity in the identity-based sense, but it is directly relevant by contrast: it shows what changes when unanimity is dropped rather than merely weakened.

The paper on J. S. Mill’s liberal principle presents yet another unanimity-like weakening. It defines liberal succession by the existence of a coalition \(J\subset I\) such that coalition members weakly prefer \(x\) to \(y\), one member strictly prefers it, and outsiders are not harmed in objective interests:
\[
\forall i\in J\ xR_i y,\quad \exists j\in J\ xP_j y,\quad \forall k\notin J\ xW_k y.
\]
This is broader in appearance than Pareto unanimity, but under additive and ordinal/topological conditions the paper proves that liberal succession and Pareto superiority coincide [1903.07769]. The structure is again quasi-unanimous in a broad sense: unanimity is replaced by coalition unanimity plus a no-harm condition, yet under sufficient conditions it collapses back to full Pareto unanimity.

## 4. Universal-algebraic and CSP notions

In universal algebra, the relevant terminology is not “quasi-unanimity” but near-unanimity, quasi near-unanimity, and quasi weak near unanimity. An \(n\)-ary near-unanimity term \(t\) satisfies
\[
t(y,x,\dots,x)=t(x,y,x,\dots,x)=\cdots=t(x,\dots,x,y)=x
\]
for \(n\ge 3\); for \(n=3\), this is a majority term [1607.03139]. The paper on epic substructures and primitive positive functions uses near-unanimity as the algebraic hypothesis that turns a pp-definability characterization of epic substructures into a finite term-based test. Its abstract states that if a quasivariety \(\mathcal Q\) has an \(n\)-ary near-unanimity term, then \(\mathcal Q\) has surjective epimorphisms iff \(\mathbb{SP}_n\mathbb{P}_u(\mathcal Q_{RSI})\) has surjective epimorphisms, and that for a finite set of finite algebras with a common near-unanimity term, decidability follows [1607.03139].

In finite algebras, the paper on deciding quasi weak near unanimity terms studies a weakened version in which idempotence is removed. A \(k\)-ary qWNU operation \(w\) satisfies
\[
w(y,x,\dots,x,x)\approx w(x,y,\dots,x,x)\approx \cdots \approx w(x,x,\dots,x,y)
\]
without requiring \(w(x,\dots,x)\approx x\) [2002.06083]. For each fixed \(k\), the problem HAS-\(k\)-qWNU is solvable in polynomial time, and the proof uses a local-to-global criterion based on generated subpowers [2002.06083]. In finite algebras, quasi Taylor, existence of some \(k\)-qWNU term, and quasi Siggers are equivalent [2002.06083]. Here “quasi” means omission of idempotence, so quasi-unanimity is an identity-based weakening rather than a high-threshold voting rule.

In infinite-domain CSP theory, the most relevant term is quasi near-unanimity. The paper on quasi directed Jónsson operations states that in the infinite-domain algebraic tractability literature, “with an exception of a quasi near-unanimity operation there are no known systems of operations implying tractability in this regime” [2402.16540]. It recalls the quasi near-unanimity identity as
\[
f(y,x,\ldots,x)\approx \cdots \approx f(x,\ldots,x,y)\approx f(x,\ldots,x),
\]
and proves that, for first-order expansions of finitely bounded homogeneous symmetric binary cores with free amalgamation, chains of quasi directed Jónsson operations imply relational width \((2,L)\) and hence tractability [2402.16540]. Since every structure preserved by a quasi near-unanimity operation is also preserved by a chain of quasi directed Jónsson operations, the paper places quasi near-unanimity as a previously exceptional tractability condition and then weakens it further [2402.16540].

These algebraic uses differ from voting-theoretic ones, but the common structural feature remains clear. Exact unanimity identities are weakened either by replacing the right-hand side \(x\) with the diagonal value \(f(x,\dots,x)\), or by dropping idempotence altogether. This suggests that quasi-unanimity in algebra is best viewed as a family of weakened Maltsev conditions rather than as a threshold or probabilistic phenomenon.

## 5. Consensus dynamics and distributed systems

In distributed consensus, quasi-unanimity typically refers not to a voting axiom but to a dynamical state in which almost all agents hold the same opinion. The paper on stabilizing consensus with many opinions studies the 3-majority dynamics on a complete graph with synchronous rounds and an adaptive adversary [1508.06782]. In the adversary-free regime, if \(k\le n^{1/3-\varepsilon}\), the dynamics reaches exact consensus in
\[
\mathcal O\!\left((k^2\sqrt{\log n}+k\log n)(k+\log n)\right)
\]
rounds with high probability [1508.06782]. Under a dynamic adversary, the formal target is stabilizing almost-consensus, and the theorem states that with \(k\le n^\alpha\) and \(F=n^\beta\) for suitable constants, the 3-majority dynamics reaches a valid stabilizing almost-consensus within
\[
O\!\left((k^2\sqrt{\log n}+k\log n)(k+\log n)\right)
\]
rounds, with all but \(O(\sqrt n)\) nodes holding the same valid opinion [1508.06782]. The paper explicitly identifies this as the operational analogue of quasi-unanimity.

The mechanism is not expressed as a threshold rule but as a two-stage elimination process. The minimum support among active opinions exhibits negative drift, some opinion falls below average by about \(\sqrt{jn\log n}\), and then it rapidly dies out [1508.06782]. In the adversarial case, “small” opinions stay small and non-valid mass remains bounded, so one valid opinion holds \(n-O(\sqrt n)\) nodes over long polynomial time horizons [1508.06782]. This is a direct formalization of near-unanimity as almost-consensus rather than exact consensus.

Binary majority dynamics on random graphs shows a related but graph-dependent phenomenon. On Erdős–Rényi graphs with \(p\ge c n^{-1/2}\), majority dynamics reaches exact unanimity on the initial majority opinion by time \(4\) with probability at least \(0.4\) [1405.2486]. More recent work improves sparse-regime unanimity thresholds: if
\[
n^{-1}\log^2 n \ll p \ll n^{-1/2}\log^{1/4} n
\]
and
\[
p^{3/2}\Delta \gg n^{-1/2}\log n,
\]
then unanimity occurs on \(G(n,p)\), and under uniform random initial coloring the new lower bound becomes
\[
p \gg n^{-2/3}\log^{2/3} n
\]
[2503.07447]. Although these papers analyze full unanimity, the proof structure in the latter explicitly passes through an intermediate regime in which by day \(2\),
\[
|R_2|\ge \frac n2 + cpn,
\]
followed by geometric minority decay [2503.07447]. A plausible implication is that quasi-unanimity appears as a precursor stage in the dynamics even when the stated theorem concerns eventual exact unanimity.

The paper on majority dynamics and polarization in the Galam model gives yet another dynamic interpretation. It does not define quasi-unanimity explicitly, but treats exact unanimity at \(p_T=1\) or \(0\) and also practical unanimity when \(p_T\) is “very large around \(0.80\)” or “very low around \(0.20\)” [2306.14335]. In that usage, quasi-unanimity corresponds to overwhelming-majority attractors that survive below the critical contrarian threshold \(x_c=\frac16\) or stubborn-agent thresholds \(a_c=\frac29\) for group size \(4\) and \(a_c=\frac14\) for group size \(3\) [2306.14335].

## 6. Agreement theorems, voting geometry, and conceptual scope

Approval voting provides a geometric version of quasi-unanimity. In an approval-voting society \(S=(X,V,\mathcal A)\), the agreement number is
\[
a(S)=\max_{x\in X}\bigl|\{v\in V:x\in A_v\}\bigr|,
\]
and \((k,m)\)-agreeability means that among every \(m\) voters, some \(k\) approve a common platform [1703.09870]. The classical linear theorem states that in a \((k,m)\)-agreeable linear society,
\[
\frac{a(S)}{|S|}\ge \frac{k-1}{m-1},
\]
while in a circular society one has
\[
\frac{a(S)}{|S|}> \frac{k-1}{m}
\]
[1703.09870]. These are exactly local-to-global agreement theorems: strong local overlap forces a globally popular option.

The paper extends this framework to two-dimensional product societies. If \(S\) is a \((k,m)\)-agreeable product society and \(\alpha,\beta\) are the lower bounds on agreement proportion in the factor societies, then under a size condition
\[
\frac{a(S)}{|S|}\ge \alpha\beta
\]
[1703.09870]. This yields explicit lower bounds for 2-box, cylindrical, and toroidal societies. For example, in a cylindrical society,
\[
\frac{a(S)}{|S|}> \frac{(k-1)^2}{m(m-1)}
\]
under the large-society condition, and if \(2\le k\le m\le 2k-2\), then
\[
a(S)\ge \frac{|S|-m+k+1}{2}
\]
[1703.09870]. Thus if a cylindrical society is \((3,4)\)-agreeable, some platform is approved by at least half the voters [1703.09870]. In this setting, quasi-unanimity is not an identity or threshold quota but a guaranteed mass of common approval extracted from local consistency conditions.

Taken together, the literature shows that quasi-unanimity has no single canonical formalization. In some papers it is a supermajority quota \(q\) close to \(n\) [2509.19823]. In others it is distance to a unanimously supported configuration [2605.18228], exact reproduction of whole-ranking consensus only on constant profiles [2310.13141], a weakened near-unanimity identity [1607.03139]; [2002.06083]; [2402.16540], an almost-consensus state with \(O(\sqrt n)\) dissenters [1508.06782], or a qualified unanimity principle restricted to cases without taste disagreement [2512.16240]. A plausible synthesis is that quasi-unanimity is best treated as a comparative notion: it marks the point at which unanimity is relaxed, but not abandoned, in order to preserve structural force in environments where exact unanimity is either too strong or too fragile.

Source: https://www.emergentmind.com/topics/quasi-unanimity