---
title: Sequence-Wise Temporal Voting
url: https://www.emergentmind.com/topics/sequence-wise-temporal-voting
type: topic
---

# Sequence-Wise Temporal Voting

Searching arXiv for the cited temporal voting papers and closely related work.
Sequence-wise temporal voting is a model of repeated collective choice in which a fixed electorate participates over a finite time horizon and the social outcome is a sequence of winners rather than a single one-shot decision. In the approval-based single-winner setting, one fixes a time horizon $\ell$, a voter set $N$, a candidate set $P$, voter-specific approval trajectories $\mathcal{s}_i=(s_{i,1},\dots,s_{i,\ell})$, and a winner sequence $W=(w_1,\dots,w_\ell)$ with one winner per round; voter $i$ then derives satisfaction
$$
\mathrm{sat}_i(W)=|\{t\in[\ell]: w_t\in s_{i,t}\}|.
$$
Within this framework, proportionality is assessed over the entire sequence, not round by round, and the strongest temporal fairness requirements are explicitly called “sequence-wise” axioms [2502.05949]. In the broader temporal-fairness literature, the same sequence-oriented viewpoint also appears in repeated committee selection, sequential decision making with changing approvals, and related models of temporal governance and delegation [2312.04417].

## 1. Conceptual scope and modeling perspective

Sequence-wise temporal voting arises from the observation that many electoral and decision systems are repeated: one candidate, alternative, or committee is selected at each period, while voter preferences may change over time. A unified temporal framework therefore treats the outcome as a sequence $W=(W^1,\dots,W^T)$ in the multiwinner case, or $D=(d_1,\dots,d_T)$ in the single-winner sequential-decision case, with ballots that may be approval-based, ranking-based, or cardinal, and with preferences that may be static, dynamic non-adaptive, or dynamic adaptive [2312.04417].

In the approval-based sequential-decision formulation, each round $j$ has its own set of alternatives $C_j$, voter $i$ submits an approval ballot $A^i_j\subseteq C_j$, and the utility of voter $i$ under a decision sequence $D=(d_1,\dots,d_T)$ is
$$
U^i_D=\bigl|\{j:d_j\in A^i_j\}\bigr|.
$$
This representation makes temporal proportionality possible: rather than selecting the most popular option in each round independently, one asks whether groups that repeatedly agree receive a commensurate share of favorable decisions over time [2306.14858].

The sequence-wise perspective is therefore not a minor extension of static voting. It changes both the object being evaluated and the relevant fairness question. A plausible implication is that per-round legitimacy does not by itself guarantee across-time proportionality, because the cumulative sequence may systematically underserve cohesive groups even when each individual round appears acceptable.

## 2. Formal sequence-wise proportionality axioms

In the approval-based temporal model with fixed candidate set $P$, the key coalitional statistics are a coalition’s agreement and demand. For a coalition $N'\subseteq N$,
$$
\beta(N')=|\{t\in[\ell]: \cap_{i\in N'} s_{i,t}\neq\emptyset\}|,
$$
and
$$
\alpha(N')=\left\lfloor \beta(N')\cdot |N'|/n\right\rfloor.
$$
Here $\beta(N')$ counts the rounds in which the coalition has a common approved candidate, while $\alpha(N')$ is its proportional demand over the horizon [2502.05949].

The strong temporal axioms are JR, PJR, and EJR. JR requires that for every coalition $N'$ with $\alpha(N')>0$, some member of $N'$ obtains positive satisfaction. PJR requires that for every coalition $N'$,
$$
|\{t:w_t\in \cup_{i\in N'} s_{i,t}\}|\ge \alpha(N').
$$
EJR requires that for every coalition $N'$, there exists a voter $i\in N'$ such that $\mathrm{sat}_i(W)\ge \alpha(N')$. Their weak counterparts, w-JR, w-PJR, and w-EJR, restrict attention to coalitions with $\beta(N')=\ell$, that is, coalitions that agree in every round [2502.05949].

A closely related formulation appears in sequential decision making under the names PJR, Strong PJR, EJR, and Strong EJR. There, a group $S$ of size $\alpha n$ that agrees in a $\beta$ fraction of rounds must be satisfied in at least $\lfloor \alpha\beta T\rfloor$ rounds, and the stronger variants require that one member of the group personally obtains the corresponding number of approved outcomes [2306.14858]. This suggests a direct conceptual bridge between the “sequence-wise” axioms of temporal voting and strong proportionality notions for sequential public decisions.

The temporal-fairness literature also includes alternative axiom families beyond justified representation. Examples include average-utility guarantees, prefix-style requirements such as Temporal Justified Representation, and frequency-based no-starve conditions forbidding long stretches of low utility for a voter [2312.04417]. These variants broaden the scope of sequence-wise evaluation while retaining the central premise that fairness is a property of the full trajectory.

## 3. Verification problems, hardness, and tractable fragments

A central computational question is verification: given a temporal election
$$
E=(P,N,\ell,(s_{i,t}))
$$
and a winner sequence $W=(w_1,\dots,w_\ell)$, does $W$ satisfy a chosen proportionality axiom? In the sequence-wise setting this verification problem is substantially harder than in static multiwinner voting. For each $X\in\{\text{w-JR},\text{w-PJR},\text{w-EJR}\}$, deciding whether $W$ provides $X$ is coNP-complete; the hardness already holds when $|P|=3$ for w-JR and w-PJR, and when $|P|=2$ for w-EJR. For each $X\in\{\text{JR},\text{PJR},\text{EJR}\}$, verification is also coNP-complete, already for $|P|=2$ [2502.05949].

The reductions isolate different sources of hardness. For w-JR, the proof reduces Clique to coalition checking by encoding vertices as voters and edges so that a large clique induces a coalition witnessing failure. For w-EJR, the reduction is from Independent-Set with $\Delta\le 3$. For the strong axioms, the reductions are from Maximum–Edge–Biclique to JR, PJR, and EJR [2502.05949]. These results show that temporal proportionality is computationally difficult even when the candidate space is very small.

At the same time, several natural fragments are tractable. When $|P|=2$, checking w-JR is polynomial-time: one identifies all “grumpy” voters who never get any of the two winners and checks their demand. When $|P|=2$ and all $s_{i,t}\neq\emptyset$, even JR is polynomial-time. Verification is fixed-parameter tractable in the number of voters $n$ by brute-forcing all $2^n$ coalitions, and it is also FPT in $(m,\ell)$ and XP in $\ell$ by enumerating round-types and coalition-size patterns. By contrast, for the weak axioms, parameterization by $\ell$ alone is W[1]-hard [2502.05949].

A particularly important positive result concerns monotonic preferences, where approvals only grow over time, $s_{i,t}\subseteq s_{i,t+1}$. In that case all six axioms become polynomial-time verifiable. The structural reason is that any coalition’s rounds of full agreement form one contiguous suffix, so it suffices to check $O(m\cdot \ell\cdot n)$ extremal coalitions [2502.05949].

| Verification/search setting | Status | Notable tractable case |
|---|---|---|
| w-JR, w-PJR, w-EJR | coNP-complete | w-JR is polytime for $|P|=2$ |
| JR, PJR, EJR | coNP-complete | JR is polytime for $|P|=2$ and all $s_{i,t}\neq\emptyset$ |
| EJR-sequence search | Constructive algorithms exist | FPT in $n$ via ILP |

Beyond verification, the same work gives constructive methods for finding EJR sequences. A Greedy Cohesive Rule runs in $O(2^n\cdot \mathrm{poly}(n,m,\ell))$ and always returns an EJR sequence; on monotonic inputs, candidate-coalition pruning yields a truly polynomial-time implementation. An ILP formulation with $O(f(n))$ variables and constraints characterizes EJR outcomes, and Lenstra’s theorem then yields an FPT algorithm in $n$ that can additionally impose minimum-satisfaction constraints or maximize total welfare [2502.05949].

## 4. Voting rules and constructive guarantees

Several rule families have been proposed to realize sequence-wise proportionality under different information regimes. In approval-based sequential decision making, Sequential Phragmén is online, maintains nondecreasing voter loads, chooses in each round the alternative minimizing a water-level objective, and satisfies Strong PJR but fails EJR. The Method of Equal Shares (MES) is semi-online, assigns each voter budget $1$, sets price $p=n/T$, chooses affordable alternatives via minimal uniform cost $\rho$, satisfies EJR, fails Strong PJR, and may terminate early if no candidate is affordable. Proportional Approval Voting (PAV) is fully offline, maximizes a harmonic objective over the whole sequence, and satisfies Strong EJR; exact optimization is NP-hard, but a local-search variant is polynomial-time and preserves the same axiomatic guarantees [2306.14858].

| Rule | Information regime | Guarantee or limitation |
|---|---|---|
| Sequential Phragmén | Online | Strong PJR; fails EJR |
| MES | Semi-online | EJR; fails Strong PJR; may terminate early |
| PAV / LS-PAV | Offline | Strong EJR; exact PAV NP-hard |

The temporal-fairness survey records related constructive results for repeated committee selection. Under static approvals and no availability constraints, there always exists a sequence of length $T$ satisfying TJR. A Greedy Perpetual JR rule picks in each round the candidate that maximally increases the number of as-yet-unserved approved voters; each round takes $O(m\cdot n)$ time, for a total of $O(T\cdot m\cdot n)$ [2312.04417].

Constructive existence and verification are therefore closely linked but not identical. A sequence may be hard to certify in the worst case and yet still be computable by a dedicated rule on structured instances. This suggests that algorithm design in sequence-wise temporal voting is shaped less by a single universal procedure than by an explicit trade-off among online implementability, proportionality strength, and worst-case computational cost.

## 5. Online strategyproofness and strategic dynamics

Recent work on online temporal voting adds game-theoretic properties to the sequence-wise fairness agenda. In that model, each round $t$ has its own alternative set $C_t$, each voter submits a $0/1$ approval vector, and group satisfaction is
$$
\mathrm{sat}(G,R(A^T))=\sum_{t=1}^T \mathbf{1}\bigl(w_t\in \cup_{v\in G}A_t(v)\bigr).
$$
The paper defines classical strategyproofness (SP), myopic online strategyproofness (OSP), and online independence of irrelevant alternatives (OIIA), and proves the implication $\text{OIIA}\Rightarrow \text{OSP}$ [2603.26504].

This framework yields a refined picture of strategic robustness. All Weighted Approval Methods satisfy OIIA and hence OSP, but none satisfy full SP in general. MES satisfies OIIA, hence OSP, and wEJR in the offline sense, but fails SP because free-riding is possible and may terminate early. Perpetual Phragmén satisfies OIIA, hence OSP, and PJR, but fails SP. Temporal Serial Dictator is fully SP because only the designated dictator’s ballot matters each round, yet it fails JR and PJR in the worst-case offline sense. At the same time, Temporal Serial Dictator satisfies PJR up to an additive $O(|G|)$ error and asymptotically satisfies proportional representation, with
$$
\frac{\mathrm{sat}(G)}{PR(G)}\ge \frac{q}{q+1}\to 1
$$
when $T=qn+r$ [2603.26504].

The same paper introduces the price of manipulability, measuring how strategic play degrades proportional-representation guarantees. Under JR, a single manipulator cannot violate the JR bound at all, so the price is $0$. Under PJR, a single manipulator can force an $\Omega(T)$ drop [2603.26504]. This separates robustness of minimal representation from robustness of stronger proportionality demands.

Strategic timing itself can also become endogenous when interim tallies are public. In a two-period online-election model with informed voters, a swing voter, costly voting, and temporal bandwagon effects, equilibria may display always-early voting, last-minute voting, or mixed timing. The model formalizes “last minute” behavior as an equilibrium region in which all informed voters wait until the second period and vote only if needed to affect the outcome [2402.09776]. Although this is a distinct model from proportional sequence-wise voting, it shows that temporal structure affects not only fairness guarantees but also participation incentives.

## 6. Related temporal formulations and terminological scope

Sequence-wise temporal voting is part of a broader family of temporal social-choice models. One neighboring line studies two-stage committee elections with aversion to change. There, a first-stage committee $C^1$ is fixed, a second-stage committee $C^2$ must again be chosen under a Thiele rule, and the objective is to maximize stage-two score while also maximizing overlap $|C^1\cap C^2|$. The resulting Resilient Committee Elections problem is polynomial-time for Approval Voting and NP-hard for every non-AV Thiele rule, even when the two profiles differ by a single approval; experimentally, small perturbations can already cause several committee replacements, and tie-breaking materially affects resilience [2408.11017].

Another neighboring formulation is temporal liquid democracy. A temporal multigraph records time-stamped delegation edges, trust horizons $\delta$, and $\delta$-time-conscious paths. The final object is a sequence of per-round delegation states, and the core computational problem is to resolve delegations over time while respecting time-consciousness and, optionally, confluence. The time-conscious plus confluent problem is NP-hard, the time-conscious unconfluent problem is NP-hard even when there is a single delegator and $L=3$, but dropping one of the two constraints yields polynomial-time algorithms, and insisting on both admits an $O^*(3^{|D|})$ exact algorithm via Directed Steiner Tree [2307.12898]. This does not select winners directly, but it extends the sequence-wise paradigm to evolving representation paths.

Temporal governance on blockchains provides a further variant. Always on Voting divides the interval between main elections into randomized epochs, allows participants to update their private ballots at any point within an epoch, tallies only the latest ballot at epoch end, and uses a Bitcoin puzzle oracle plus verifiable delay function to make epoch endings unpredictable. The realized outcome is again a sequence of temporally separated tallies rather than a single static election [2107.10571].

The phrase “temporal voting” also appears outside computational social choice. In large-scale video search, it denotes a queue-based voting scheme that accumulates evidence for temporally consistent matches without allocating a full voting table [1607.07160]. In action localization, a Temporal Voting Network accumulates frame-level voting evidence for action boundaries and improves high-IoU localization [2201.00434]. These uses share the idea of aggregating evidence across time, but they are terminologically rather than institutionally connected to sequence-wise temporal voting in social choice.

Across these strands, the unifying feature is that outcomes are evaluated as temporal objects. In the social-choice literature, the sequence-wise viewpoint has made proportionality, tractability, and strategic behavior genuinely temporal notions: coalitions are defined by cross-round agreement, guarantees are formulated over whole trajectories, and algorithmic or incentive analyses must account for the fact that fairness is accumulated over time rather than decided in a single snapshot.

Source: https://www.emergentmind.com/topics/sequence-wise-temporal-voting