Search arXiv⌕ Search

arXiv · 2610.20450

What Does Disagreement Mean? A Semantic Identifiability Frontier for Pairwise Preference Learning

Abstract

Pairwise comparison data are a standard supervision signal in preference learning, but disagreement in such data can reflect stable latent heterogeneity, ephemeral stochasticity, or non-binary responses hidden by a forced-choice interface. We study which of these semantic distinctions are identifiable from the feedback channel itself. We introduce a nonparametric latent semantic model with three querywise quantities: aggregate directional preference $μ_q$, persistent disagreement $τ_q$, and non-binary mass $α_q$. Under the anonymous binary channel, we prove an exact semantic fiber theorem: $μ_q$ is point-identified, whereas $(τ_q, α_q)$ vary over an explicit feasible region compatible with the same binary law. Same-annotator repeats identify $τ_q$ through a covariance identity, abstention-enabled feedback identifies $α_q$ directly, and together they point-identify the full semantic triple. We also derive finite-sample estimators, nonasymptotic concentration bounds, and semantics-aware action-recovery guarantees, and validate the theory on theorem-matched synthetic data.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Manoj Saravanan, Rohit Kumar Salla, Shrikar Reddy Kota. 2026-10-14. What Does Disagreement Mean? A Semantic Identifiability Frontier for Pairwise Preference Learning. https://arxiv.org/abs/2610.20450

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Learning in Structured Stackelberg Games

We initiate the study of structured Stackelberg games, a novel form of strategic interaction between a leader and a follower where contextual information can be predictive of the follower's (unknown) type. Motivated by applications such as security games and AI safety, we show how this additional structure can help the leader learn a utility-maximizing policy in both the online and distributional settings. In the online setting, we first prove that standard learning-theoretic measures of complexity do not characterize the difficulty of the leader's learning task. Notably, we find that there exists a learning-theoretic measure of complexity, analogous to the Littlestone dimension in online classification, that tightly characterizes the leader's instance-optimal regret. We term this the Stackelberg-Littlestone dimension, and leverage it to provide a provably optimal online learning algorithm. In the distributional setting, we provide analogous results by showing that two new dimensions control the sample complexity upper- and lower-bound.

cs.GT↗

Characterization and Computation of Normal-Form Proper Equilibria in Extensive-Form Games via the Sequence-Form Representation

Normal-form proper equilibrium, introduced by Myerson as a refinement of normal-form perfect equilibrium, plays an important role in the equilibrium analysis of extensive-form games because of its stronger stability properties. However, the exponential growth of the normal-form representation makes existing approaches for directly computing normal-form proper equilibria computationally impractical. To address this challenge, we introduce sequence-form proper equilibrium by defining a maximal payoff function over sequences, and prove its strategic equivalence to normal-form proper equilibrium. For computation, we further derive an equivalent formulation of sequence-form proper equilibrium via a class of perturbed games in sequence form, in which the perturbed realization-plan space is induced by imposing probability lower bounds on restricted sequence sets to encode the desired perturbation hierarchy. Based on this formulation, we develop two differentiable path-following methods for computing normal-form proper equilibria. These methods rely on artificial sequence-form games in which the expected payoff functions are regularized by logarithmic or entropy terms through an auxiliary variable. For each method, as the auxiliary variable tends to zero, the limit point of the induced smooth equilibrium path can derive one or more normal-form proper equilibria of the original game. Finally, Numerical experiments demonstrate the effectiveness and efficiency of the proposed methods.

cs.GT↗

Incentivize Contribution and Learn Parameters Too: Federated Learning with Strategic Data Owners

In federated learning (FL), a center trains a shared model from updates that clients compute on their private data. Collecting and training on data is costly, so a strategic client may contribute little data and free-ride on the model trained by the others. We study mechanisms that incentivize data contribution and learn the model at the same time. Our first mechanism, UPBReD, updates the clients ' contributions and the model jointly, and converges at a geometric rate to a Nash equilibrium of the contribution game together with the welfare-maximizing model for those contributions. This equilibrium can involve under-contribution, so our second mechanism, 2P-UPBReD, adds budget-balanced transfers that make full contribution a dominant strategy, after which training converges to the optimal model; we also give conditions under which every client prefers to participate. Both mechanisms trust what clients report about the data they use and the gradients they compute. We show that no payment rule can reward unverifiable contributions unless something the center observes depends on the data actually used. Building on this, T-2P-UPBReD checks each client's reported contribution against the other clients ' realized valuations of the trained model, and prices gradient reports with a budget-balanced charge. It elicits truthful contribution reports, makes gradient reports approximately truthful, still reaches full contribution and the optimal model, and never runs a deficit. Experiments on CIFAR-10, FEMNIST, and Twitter show that 2P-UPBReD matches the welfare of FedAvg trained on all data, while strategic clients without incentives lower the welfare of the learned model.

cs.GT↗