Source author record

Arunava Sen

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Computer Science and Game Theory econ.TH Logic in Computer Science

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Probabilistic Fixed Ballot Rules and Hybrid Domains

We study a class of preference domains that satisfies the familiar properties of minimal richness, diversity and no-restoration. We show that a specific preference restriction, hybridness, has been embedded in these domains so that the preferences are single-peaked at the "extremes" and unrestricted in the "middle". We also study the structure of strategy-proof and unanimous Random Social Choice Functions on these domains. We show them to be special cases of probabilistic fixed ballot rules (introduced by Ehlers, Peters, and Storcken (2002)).

preprint2014arXiv

Automated Reasoning in Social Choice Theory - Some Remarks

Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on two papers, one by Tang and Lin (2009) and another by Geist and Endriss (2011). We also provide statements and brief descriptions of the results discussed in this note.

preprint2010arXiv

Roberts' Theorem with Neutrality: A Social Welfare Ordering Approach

We consider dominant strategy implementation in private values settings, when agents have multi-dimensional types, the set of alternatives is finite, monetary transfers are allowed, and agents have quasi-linear utilities. We show that any implementable and neutral social choice function must be a weighted welfare maximizer if the type space of every agent is an $m$ -dimensional open interval, where $m$ is the number of alternatives. When the type space of every agent is unrestricted, Roberts' theorem with neutrality \cite{Roberts79} becomes a corollary to our result. Our proof technique uses a {\em social welfare ordering} approach, commonly used in aggregation literature in social choice theory. We also prove the general (affine maximizer) version of Roberts' theorem for unrestricted type spaces of agents using this approach.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.