Showing 1–43 of 43 results for author: Babichenko, Y

Robust Price Discrimination

Authors: Itai Arieli, Yakov Babichenko, Omer Madmon, Moshe Tennenholtz

Abstract: We consider a model of third-degree price discrimination where the seller's product valuation is unknown to the market designer, who aims to maximize buyer surplus by revealing buyer valuation information. Our main result shows that the regret is bounded by a $\frac{1}{e}$-fraction of the optimal buyer surplus when the seller has zero valuation for the product. This bound is attained by randomly d… ▽ More We consider a model of third-degree price discrimination where the seller's product valuation is unknown to the market designer, who aims to maximize buyer surplus by revealing buyer valuation information. Our main result shows that the regret is bounded by a $\frac{1}{e}$-fraction of the optimal buyer surplus when the seller has zero valuation for the product. This bound is attained by randomly drawing a seller valuation and applying the segmentation of Bergemann et al. (2015) with respect to the drawn valuation. We show that this bound is tight in the case of binary buyer valuation. △ Less

Submitted 16 June, 2024; v1 submitted 30 January, 2024; originally announced January 2024.

Fair Division via Quantile Shares

Authors: Yakov Babichenko, Michal Feldman, Ron Holzman, Vishnu V. Narayan

Abstract: We consider the problem of fair division, where a set of indivisible goods should be distributed fairly among a set of agents with combinatorial valuations. To capture fairness, we adopt the notion of shares, where each agent is entitled to a fair share, based on some fairness criterion, and an allocation is considered fair if the value of every agent (weakly) exceeds her fair share. A share-based… ▽ More We consider the problem of fair division, where a set of indivisible goods should be distributed fairly among a set of agents with combinatorial valuations. To capture fairness, we adopt the notion of shares, where each agent is entitled to a fair share, based on some fairness criterion, and an allocation is considered fair if the value of every agent (weakly) exceeds her fair share. A share-based notion is considered universally feasible if it admits a fair allocation for every profile of monotone valuations. A major question arises: is there a non-trivial share-based notion that is universally feasible? The most well-known share-based notions, namely proportionality and maximin share, are not universally feasible, nor are any constant approximations of them. We propose a novel share notion, where an agent assesses the fairness of a bundle by comparing it to her valuation in a random allocation. In this framework, a bundle is considered $q$-quantile fair, for $q\in[0,1]$, if it is at least as good as a bundle obtained in a uniformly random allocation with probability at least $q$. Our main question is whether there exists a constant value of $q$ for which the $q$-quantile share is universally feasible. Our main result establishes a strong connection between the feasibility of quantile shares and the classical Erdős Matching Conjecture. Specifically, we show that if a version of this conjecture is true, then the $\frac{1}{2e}$-quantile share is universally feasible. Furthermore, we provide unconditional feasibility results for additive, unit-demand and matroid-rank valuations for constant values of $q$. Finally, we discuss the implications of our results for other share notions. △ Less

Submitted 4 December, 2023; originally announced December 2023.

Comments: 23 pages, no figures

Algorithmic Cheap Talk

Authors: Yakov Babichenko, Inbal Talgam-Cohen, Haifeng Xu, Konstantin Zabarnyi

Abstract: The literature on strategic communication originated with the influential cheap talk model, which precedes the Bayesian persuasion model by three decades. This model describes an interaction between two agents: sender and receiver. The sender knows some state of the world which the receiver does not know, and tries to influence the receiver's action by communicating a cheap talk message to the rec… ▽ More The literature on strategic communication originated with the influential cheap talk model, which precedes the Bayesian persuasion model by three decades. This model describes an interaction between two agents: sender and receiver. The sender knows some state of the world which the receiver does not know, and tries to influence the receiver's action by communicating a cheap talk message to the receiver. This paper initiates the algorithmic study of cheap talk in a finite environment (i.e., a finite number of states and receiver's possible actions). We first prove that approximating the sender-optimal or the welfare-maximizing cheap talk equilibrium up to a certain additive constant or multiplicative factor is NP-hard. Fortunately, we identify three naturally-restricted cases that admit efficient algorithms for finding a sender-optimal equilibrium. These include a state-independent sender's utility structure, a constant number of states or a receiver having only two actions. △ Less

Submitted 15 November, 2023; originally announced November 2023.

MSC Class: 91A68 (Primary) 91A27 (Secondary)

Persuasion as Transportation

Authors: Itai Arieli, Yakov Babichenko, Fedor Sandomirskiy

Abstract: We consider a model of Bayesian persuasion with one informed sender and several uninformed receivers. The sender can affect receivers' beliefs via private signals, and the sender's objective depends on the combination of induced beliefs. We reduce the persuasion problem to the Monge-Kantorovich problem of optimal transportation. Using insights from optimal transportation theory, we identify seve… ▽ More We consider a model of Bayesian persuasion with one informed sender and several uninformed receivers. The sender can affect receivers' beliefs via private signals, and the sender's objective depends on the combination of induced beliefs. We reduce the persuasion problem to the Monge-Kantorovich problem of optimal transportation. Using insights from optimal transportation theory, we identify several classes of multi-receiver problems that admit explicit solutions, get general structural results, derive a dual representation for the value, and generalize the celebrated concavification formula for the value to multi-receiver problems. △ Less

Submitted 14 July, 2023; originally announced July 2023.

A Random Dictator Is All You Need

Authors: Itai Arieli, Yakov Babichenko, Inbal Talgam-Cohen, Konstantin Zabarnyi

Abstract: We study information aggregation with a decision maker aggregating binary recommendations from symmetric agents. Each agent's recommendation depends on her private information about a hidden state. While the decision maker knows the prior distribution over states and the marginal distribution of each agent's recommendation, the recommendations are adversarially-correlated. The decision maker's goa… ▽ More We study information aggregation with a decision maker aggregating binary recommendations from symmetric agents. Each agent's recommendation depends on her private information about a hidden state. While the decision maker knows the prior distribution over states and the marginal distribution of each agent's recommendation, the recommendations are adversarially-correlated. The decision maker's goal is choosing a robustly-optimal aggregation rule. We prove that for a large number of agents, for the three standard robustness paradigms - minimax, regret and approximation ratio - the unique optimal aggregation rule is random dictator. We further characterize the minimal regret for any agents' number through concavification. △ Less

Submitted 15 November, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

MSC Class: 91A05; 91A10; 91A27; 91A28; 91A68

The Hazards and Benefits of Condescension in Social Learning

Authors: Itai Arieli, Yakov Babichenko, Stephan Müller, Farzad Pourbabaee, Omer Tamuz

Abstract: In a misspecified social learning setting, agents are condescending if they perceive their peers as having private information that is of lower quality than it is in reality. Applying this to a standard sequential model, we show that outcomes improve when agents are mildly condescending. In contrast, too much condescension leads to worse outcomes, as does anti-condescension. In a misspecified social learning setting, agents are condescending if they perceive their peers as having private information that is of lower quality than it is in reality. Applying this to a standard sequential model, we show that outcomes improve when agents are mildly condescending. In contrast, too much condescension leads to worse outcomes, as does anti-condescension. △ Less

Submitted 17 February, 2024; v1 submitted 26 January, 2023; originally announced January 2023.

Comments: 34 pages

Information Design in the Principal-Agent Problem

Authors: Yakov Babichenko, Inbal Talgam-Cohen, Haifeng Xu, Konstantin Zabarnyi

Abstract: We study a variant of the principal-agent problem in which the principal does not directly observe the outcomes; rather, she gets a signal related to the agent's action, according to a variable information structure. We provide simple necessary and sufficient conditions for implementability of an action and a utility profile by some information structure and the corresponding optimal contract - fo… ▽ More We study a variant of the principal-agent problem in which the principal does not directly observe the outcomes; rather, she gets a signal related to the agent's action, according to a variable information structure. We provide simple necessary and sufficient conditions for implementability of an action and a utility profile by some information structure and the corresponding optimal contract - for a risk-neutral or risk-averse agent, with or without the limited liability assumption. It turns out that the set of implementable utility profiles is characterized by simple thresholds on the utilities. △ Less

Submitted 27 September, 2022; originally announced September 2022.

Bayesian Persuasion with Mediators

Authors: Itai Arieli, Yakov Babichenko, Fedor Sandomirskiy

Abstract: An informed sender communicates with an uninformed receiver through a sequence of uninformed mediators; agents' utilities depend on receiver's action and the state. For any number of mediators, the sender's optimal value is characterized. For one mediator, the characterization has a geometric meaning of constrained concavification of sender's utility, optimal persuasion requires the same number of… ▽ More An informed sender communicates with an uninformed receiver through a sequence of uninformed mediators; agents' utilities depend on receiver's action and the state. For any number of mediators, the sender's optimal value is characterized. For one mediator, the characterization has a geometric meaning of constrained concavification of sender's utility, optimal persuasion requires the same number of signals as without mediators, and the presence of the mediator is never profitable for the sender. Surprisingly, the second mediator may improve the value but optimal persuasion may require more signals. △ Less

Submitted 10 September, 2022; v1 submitted 8 March, 2022; originally announced March 2022.

A Population's Feasible Posterior Beliefs

Authors: Itai Arieli, Yakov Babichenko

Abstract: We consider a population of Bayesian agents who share a common prior over some finite state space and each agent is exposed to some information about the state. We ask which distributions over empirical distributions of posteriors beliefs in the population are feasible. We provide a necessary and sufficient condition for feasibility. We apply this result in several domains. First, we study the pro… ▽ More We consider a population of Bayesian agents who share a common prior over some finite state space and each agent is exposed to some information about the state. We ask which distributions over empirical distributions of posteriors beliefs in the population are feasible. We provide a necessary and sufficient condition for feasibility. We apply this result in several domains. First, we study the problem of maximizing the polarization of beliefs in a population. Second, we provide a characterization of the feasible agent-symmetric product distributions of posteriors. Finally, we study an instance of a private Bayesian persuasion problem and provide a clean formula for the sender's optimal value. △ Less

Submitted 3 February, 2022; originally announced February 2022.

Multi-Channel Bayesian Persuasion

Authors: Yakov Babichenko, Inbal Talgam-Cohen, Haifeng Xu, Konstantin Zabarnyi

Abstract: The celebrated Bayesian persuasion model considers strategic communication between an informed agent (the sender) and uninformed decision makers (the receivers). The current rapidly-growing literature mostly assumes a dichotomy: either the sender is powerful enough to communicate separately with each receiver (a.k.a. private persuasion), or she cannot communicate separately at all (a.k.a. public p… ▽ More The celebrated Bayesian persuasion model considers strategic communication between an informed agent (the sender) and uninformed decision makers (the receivers). The current rapidly-growing literature mostly assumes a dichotomy: either the sender is powerful enough to communicate separately with each receiver (a.k.a. private persuasion), or she cannot communicate separately at all (a.k.a. public persuasion). We study a model that smoothly interpolates between the two, by considering a natural multi-channel communication structure in which each receiver observes a subset of the sender's communication channels. This captures, e.g., receivers on a network, where information spillover is almost inevitable. We completely characterize when one communication structure is better for the sender than another, in the sense of yielding higher optimal expected utility universally over all prior distributions and utility functions. The characterization is based on a simple pairwise relation among receivers - one receiver information-dominates another if he observes at least the same channels. We prove that a communication structure $M_1$ is (weakly) better than $M_2$ if and only if every information-dominating pair of receivers in $M_1$ is also such in $M_2$. We also provide an additive FPTAS for the optimal sender's signaling scheme when the number of states is constant and the graph of information-dominating pairs is a directed forest. Finally, we prove that finding an optimal signaling scheme under multi-channel persuasion is, generally, computationally harder than under both public and private persuasion. △ Less

Submitted 15 March, 2022; v1 submitted 18 November, 2021; originally announced November 2021.

Regret-Minimizing Bayesian Persuasion

Authors: Yakov Babichenko, Inbal Talgam-Cohen, Haifeng Xu, Konstantin Zabarnyi

Abstract: We study a Bayesian persuasion setting with binary actions (adopt and reject) for Receiver. We examine the following question - how well can Sender perform, in terms of persuading Receiver to adopt, when ignorant of Receiver's utility? We take a robust (adversarial) approach to study this problem; that is, our goal is to design signaling schemes for Sender that perform well for all possible Receiv… ▽ More We study a Bayesian persuasion setting with binary actions (adopt and reject) for Receiver. We examine the following question - how well can Sender perform, in terms of persuading Receiver to adopt, when ignorant of Receiver's utility? We take a robust (adversarial) approach to study this problem; that is, our goal is to design signaling schemes for Sender that perform well for all possible Receiver's utilities. We measure performance of signaling schemes via the notion of (additive) regret: the difference between Sender's hypothetically optimal utility had she known Receiver's utility function and her actual utility induced by the given scheme. On the negative side, we show that if Sender has no knowledge at all about Receiver's utility, then Sender has no signaling scheme that performs robustly well. On the positive side, we show that if Sender only knows Receiver's ordinal preferences of the states of nature - i.e., Receiver's utility upon adoption is monotonic as a function of the state - then Sender can guarantee a surprisingly low regret even when the number of states tends to infinity. In fact, we exactly pin down the minimum regret value that Sender can guarantee in this case, which turns out to be at most 1/e. We further show that such positive results are not possible under the alternative performance measure of a multiplicative approximation ratio by proving that no constant ratio can be guaranteed even for monotonic Receiver's utility; this may serve to demonstrate the merits of regret as a robust performance measure that is not too pessimistic. Finally, we analyze an intermediate setting in between the no-knowledge and the ordinal-knowledge settings. △ Less

Submitted 28 May, 2021; originally announced May 2021.

Sequential Naive Learning

Authors: Itai Arieli, Yakov Babichenko, Manuel Mueller-Frank

Abstract: We analyze boundedly rational updating from aggregate statistics in a model with binary actions and binary states. Agents each take an irreversible action in sequence after observing the unordered set of previous actions. Each agent first forms her prior based on the aggregate statistic, then incorporates her signal with the prior based on Bayes rule, and finally applies a decision rule that assig… ▽ More We analyze boundedly rational updating from aggregate statistics in a model with binary actions and binary states. Agents each take an irreversible action in sequence after observing the unordered set of previous actions. Each agent first forms her prior based on the aggregate statistic, then incorporates her signal with the prior based on Bayes rule, and finally applies a decision rule that assigns a (mixed) action to each belief. If priors are formed according to a discretized DeGroot rule, then actions converge to the state (in probability), i.e., \emph{asymptotic learning}, in any informative information structure if and only if the decision rule satisfies probability matching. This result generalizes to unspecified information settings where information structures differ across agents and agents know only the information structure generating their own signal. Also, the main result extends to the case of $n$ states and $n$ actions. △ Less

Submitted 8 January, 2021; originally announced January 2021.

Settling the complexity of Nash equilibrium in congestion games

Authors: Yakov Babichenko, Aviad Rubinstein

Abstract: We consider (i) the problem of finding a (possibly mixed) Nash equilibrium in congestion games, and (ii) the problem of finding an (exponential precision) fixed point of the gradient descent dynamics of a smooth function $f:[0,1]^n \rightarrow \mathbb{R}$. We prove that these problems are equivalent. Our result holds for various explicit descriptions of $f$, ranging from (almost general) arithmeti… ▽ More We consider (i) the problem of finding a (possibly mixed) Nash equilibrium in congestion games, and (ii) the problem of finding an (exponential precision) fixed point of the gradient descent dynamics of a smooth function $f:[0,1]^n \rightarrow \mathbb{R}$. We prove that these problems are equivalent. Our result holds for various explicit descriptions of $f$, ranging from (almost general) arithmetic circuits, to degree-$5$ polynomials. By a very recent result of [Fearnley, Goldberg, Hollender, Savani '20] this implies that these problems are PPAD$\cap$PLS-complete. As a corollary, we also obtain the following equivalence of complexity classes: CCLS = PPAD$\cap$PLS. △ Less

Submitted 23 March, 2021; v1 submitted 8 December, 2020; originally announced December 2020.

Bayesian Persuasion under Ex Ante and Ex Post Constraints

Authors: Yakov Babichenko, Inbal Talgam-Cohen, Konstantin Zabarnyi

Abstract: Bayesian persuasion is the study of information sharing policies among strategic agents. A prime example is signaling in online ad auctions: what information should a platform signal to an advertiser regarding a user when selling the opportunity to advertise to her? Practical considerations such as preventing discrimination, protecting privacy or acknowledging limited attention of the information… ▽ More Bayesian persuasion is the study of information sharing policies among strategic agents. A prime example is signaling in online ad auctions: what information should a platform signal to an advertiser regarding a user when selling the opportunity to advertise to her? Practical considerations such as preventing discrimination, protecting privacy or acknowledging limited attention of the information receiver impose constraints on information sharing. In this work, we propose and analyze a simple way to mathematically model such constraints as restrictions on Receiver's admissible posterior beliefs. We consider two families of constraints - ex ante and ex post, where the latter limits each instance of Sender-Receiver communication, while the former more general family can also pose restrictions in expectation. For the ex ante family, Doval and Skreta establish the existence of an optimal signaling scheme with a small number of signals - at most the number of constraints plus the number of states of nature; we show this result is tight and provide an alternative proof for it. For the ex post family, we tighten a bound of Vølund, showing that the required number of signals is at most the number of states of nature, as in the original Kamenica-Gentzkow setting. As our main algorithmic result, we provide an additive bi-criteria FPTAS for an optimal constrained signaling scheme assuming a constant number of states; we improve the approximation to single-criteria under a Slater-like regularity condition. The FPTAS holds under standard assumptions; relaxed assumptions yield a PTAS. Finally, we bound the ratio between Sender's optimal utility under convex ex ante constraints and the corresponding ex post constraints. This bound applies to finding an approximately welfare-maximizing constrained signaling scheme in ad auctions. △ Less

Submitted 10 April, 2021; v1 submitted 6 December, 2020; originally announced December 2020.

Communication complexity of Nash equilibrium in potential games

Authors: Yakov Babichenko, Aviad Rubinstein

Abstract: We prove communication complexity lower bounds for (possibly mixed) Nash equilibrium in potential games. In particular, we show that finding a Nash equilibrium requires $poly(N)$ communication in two-player $N \times N$ potential games, and $2^{poly(n)}$ communication in $n$-player two-action games. To the best of our knowledge, these are the first results to demonstrate hardness in any model of (… ▽ More We prove communication complexity lower bounds for (possibly mixed) Nash equilibrium in potential games. In particular, we show that finding a Nash equilibrium requires $poly(N)$ communication in two-player $N \times N$ potential games, and $2^{poly(n)}$ communication in $n$-player two-action games. To the best of our knowledge, these are the first results to demonstrate hardness in any model of (possibly mixed) Nash equilibrium in potential games. △ Less

Submitted 12 November, 2020; originally announced November 2020.

Incentive-Compatible Selection Mechanisms for Forests

Authors: Yakov Babichenko, Oren Dean, Moshe Tennenholtz

Abstract: Given a directed forest-graph, a probabilistic \emph{selection mechanism} is a probability distribution over the vertex set. A selection mechanism is \emph{incentive-compatible} (IC), if the probability assigned to a vertex does not change when we alter its outgoing edge (or even remove it). The quality of a selection mechanism is the worst-case ratio between the expected progeny under the mechani… ▽ More Given a directed forest-graph, a probabilistic \emph{selection mechanism} is a probability distribution over the vertex set. A selection mechanism is \emph{incentive-compatible} (IC), if the probability assigned to a vertex does not change when we alter its outgoing edge (or even remove it). The quality of a selection mechanism is the worst-case ratio between the expected progeny under the mechanism's distribution and the maximal progeny in the forest. In this paper we prove an upper bound of 4/5 and a lower bound of $ 1/\ln16\approx0.36 $ for the quality of any IC selection mechanism. The lower bound is achieved by two novel mechanisms and is a significant improvement to the results of Babichenko et al. (WWW '18). The first, simpler mechanism, has the nice feature of generating distributions which are fair (i.e., monotone and proportional). The downside of this mechanism is that it is not exact (i.e., the probabilities might sum-up to less than 1). Our second, more involved mechanism, is exact but not fair. We also prove an impossibility for an IC mechanism that is both exact and fair and has a positive quality. △ Less

Submitted 31 May, 2020; originally announced June 2020.

Feasible Joint Posterior Beliefs

Authors: Itai Arieli, Yakov Babichenko, Fedor Sandomirskiy, Omer Tamuz

Abstract: We study the set of possible joint posterior belief distributions of a group of agents who share a common prior regarding a binary state, and who observe some information structure. For two agents we introduce a quantitative version of Aumann's Agreement Theorem, and show that it is equivalent to a characterization of feasible distributions due to Dawid et al. (1995). For any number of agents, we… ▽ More We study the set of possible joint posterior belief distributions of a group of agents who share a common prior regarding a binary state, and who observe some information structure. For two agents we introduce a quantitative version of Aumann's Agreement Theorem, and show that it is equivalent to a characterization of feasible distributions due to Dawid et al. (1995). For any number of agents, we characterize feasible distributions in terms of a "no-trade" condition. We use these characterizations to study information structures with independent posteriors. We also study persuasion problems with multiple receivers, exploring the extreme feasible distributions. △ Less

Submitted 22 December, 2020; v1 submitted 26 February, 2020; originally announced February 2020.

Comments: 51 pages

Incentive-Compatible Classification

Authors: Yakov Babichenko, Oren Dean, Moshe Tennenholtz

Abstract: We investigate the possibility of an incentive-compatible (IC, a.k.a. strategy-proof) mechanism for the classification of agents in a network according to their reviews of each other. In the $ α$-classification problem we are interested in selecting the top $ α$ fraction of users. We give upper bounds (impossibilities) and lower bounds (mechanisms) on the worst-case coincidence between the classif… ▽ More We investigate the possibility of an incentive-compatible (IC, a.k.a. strategy-proof) mechanism for the classification of agents in a network according to their reviews of each other. In the $ α$-classification problem we are interested in selecting the top $ α$ fraction of users. We give upper bounds (impossibilities) and lower bounds (mechanisms) on the worst-case coincidence between the classification of an IC mechanism and the ideal $ α$-classification. We prove bounds which depend on $ α$ and on the maximal number of reviews given by a single agent, $ Δ$. Our results show that it is harder to find a good mechanism when $ α$ is smaller and $ Δ$ is larger. In particular, if $ Δ$ is unbounded, then the best mechanism is trivial (that is, it does not take into account the reviews). On the other hand, when $ Δ$ is sublinear in the number of agents, we give a simple, natural mechanism, with a coincidence ratio of $ α$. △ Less

Submitted 20 November, 2019; originally announced November 2019.

Golden games

Authors: Urban Larsson, Yakov Babichenko

Abstract: We consider extensive form win-lose games over a complete binary-tree of depth $n$ where players act in an alternating manner. We study arguably the simplest random structure of payoffs over such games where 0/1 payoffs in the leafs are drawn according to an i.i.d. Bernoulli distribution with probability $p$. Whenever $p$ differs from the golden ratio, asymptotically as $n\rightarrow \infty$, the… ▽ More We consider extensive form win-lose games over a complete binary-tree of depth $n$ where players act in an alternating manner. We study arguably the simplest random structure of payoffs over such games where 0/1 payoffs in the leafs are drawn according to an i.i.d. Bernoulli distribution with probability $p$. Whenever $p$ differs from the golden ratio, asymptotically as $n\rightarrow \infty$, the winner of the game is determined. In the case where $p$ equals the golden ratio, we call such a random game a \emph{golden game}. In golden games the winner is the player that acts first with probability that is equal to the golden ratio. We suggest the notion of \emph{fragility} as a measure for "fairness" of a game's rules. Fragility counts how many leaves' payoffs should be flipped in order to convert the identity of the winning player. Our main result provides a recursive formula for asymptotic fragility of golden games. Surprisingly, golden games are extremely fragile. For instance, with probability $\approx 0.77$ a losing player could flip a single payoff (out of $2^n$) and become a winner. With probability $\approx 0.999$ a losing player could flip 3 payoffs and become the winner. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 14 pages

MSC Class: 91A05

Paradoxes in Sequential Voting

Authors: Oren Dean, Yakov Babichenko, Moshe Tennenholtz

Abstract: We analyse strategic, complete information, sequential voting with ordinal preferences over the alternatives. We consider several voting mechanisms: plurality voting and approval voting with deterministic or uniform tie-breaking rules. We show that strategic voting in these voting procedures may lead to a very undesirable outcome: Condorcet winning alternative might be rejected, Condorcet losing a… ▽ More We analyse strategic, complete information, sequential voting with ordinal preferences over the alternatives. We consider several voting mechanisms: plurality voting and approval voting with deterministic or uniform tie-breaking rules. We show that strategic voting in these voting procedures may lead to a very undesirable outcome: Condorcet winning alternative might be rejected, Condorcet losing alternative might be elected, and Pareto dominated alternative might be elected. These undesirable phenomena occur already with four alternatives and a small number of voters. For the case of three alternatives we present positive and negative results. △ Less

Submitted 18 April, 2019; v1 submitted 11 July, 2018; originally announced July 2018.

Sequential Voting with Confirmation Network

Authors: Yakov Babichenko, Oren Dean, Moshe Tennenholtz

Abstract: We discuss voting scenarios in which the set of voters (agents) and the set of alternatives are the same; that is, voters select a single representative from among themselves. Such a scenario happens, for instance, when a committee selects a chairperson, or when peer researchers select a prize winner. Our model assumes that each voter either renders worthy (confirms) or unworthy any other agent. W… ▽ More We discuss voting scenarios in which the set of voters (agents) and the set of alternatives are the same; that is, voters select a single representative from among themselves. Such a scenario happens, for instance, when a committee selects a chairperson, or when peer researchers select a prize winner. Our model assumes that each voter either renders worthy (confirms) or unworthy any other agent. We further assume that the prime goal of each agent is to be selected himself. Only if that is not feasible, will he try to get one of those that he confirms selected. In this paper, we investigate the open-sequential voting system in the above model. We consider both plurality (where each voter has one vote) and approval (where a voter may vote for any subset). Our results show that it is possible to find scenarios in which the selected agent is much less popular than the optimal (most popular) agent. We prove, however, that in the case of approval voting, the ratio between their popularity is always bounded from above by 2. In the case of plurality voting, we show that there are cases in which some of the equilibria give an unbounded ratio, but there always exists at least one equilibrium with ratio 2 at most. △ Less

Submitted 22 July, 2019; v1 submitted 11 July, 2018; originally announced July 2018.

Comments: In Proceedings TARK 2019, arXiv:1907.08335

Journal ref: EPTCS 297, 2019, pp. 19-34

Incentive-Compatible Diffusion

Authors: Yakov Babichenko, Oren Dean, Moshe Tennenholtz

Abstract: Our work bridges the literature on incentive-compatible mechanism design and the literature on diffusion algorithms. We introduce the study of finding an incentive-compatible (strategy-proof) mechanism for selecting an influential vertex in a directed graph (e.g. Twitter's network). The goal is to devise a mechanism with a bounded ratio between the maximal influence and the influence of the select… ▽ More Our work bridges the literature on incentive-compatible mechanism design and the literature on diffusion algorithms. We introduce the study of finding an incentive-compatible (strategy-proof) mechanism for selecting an influential vertex in a directed graph (e.g. Twitter's network). The goal is to devise a mechanism with a bounded ratio between the maximal influence and the influence of the selected user, and in which no user can improve its probability of being selected by following or unfollowing other users. We introduce the `Two Path' mechanism which is based on the idea of selecting the vertex that is the first intersection of two independent random walks in the network. The Two Path mechanism is incentive compatible on directed acyclic graphs (DAGs), and has a finite approximation ratio on natural subfamilies of DAGs. Simulations indicate that this mechanism is suitable for practical uses. △ Less

Submitted 21 May, 2018; originally announced May 2018.

The Communication Complexity of Local Search

Authors: Yakov Babichenko, Shahar Dobzinski, Noam Nisan

Abstract: We study the following communication variant of local search. There is some fixed, commonly known graph $G$. Alice holds $f_A$ and Bob holds $f_B$, both are functions that specify a value for each vertex. The goal is to find a local maximum of $f_A+f_B$ with respect to $G$, i.e., a vertex $v$ for which $(f_A+f_B)(v)\geq (f_A+f_B)(u)$ for every neighbor $u$ of $v$. Our main result is that finding… ▽ More We study the following communication variant of local search. There is some fixed, commonly known graph $G$. Alice holds $f_A$ and Bob holds $f_B$, both are functions that specify a value for each vertex. The goal is to find a local maximum of $f_A+f_B$ with respect to $G$, i.e., a vertex $v$ for which $(f_A+f_B)(v)\geq (f_A+f_B)(u)$ for every neighbor $u$ of $v$. Our main result is that finding a local maximum requires polynomial (in the number of vertices) bits of communication. The result holds for the following families of graphs: three dimensional grids, hypercubes, odd graphs, and degree 4 graphs. Moreover, we provide an \emph{optimal} communication bound of $Ω(\sqrt{N})$ for the hypercube, and for a constant dimensional greed, where $N$ is the number of vertices in the graph. We provide applications of our main result in two domains, exact potential games and combinatorial auctions. First, we show that finding a pure Nash equilibrium in $2$-player $N$-action exact potential games requires polynomial (in $N$) communication. We also show that finding a pure Nash equilibrium in $n$-player $2$-action exact potential games requires exponential (in $n$) communication. The second domain that we consider is combinatorial auctions, in which we prove that finding a local maximum in combinatorial auctions requires exponential (in the number of items) communication even when the valuations are submodular. Each one of the results demonstrates an exponential separation between the non-deterministic communication complexity and the randomized communication complexity of a total search problem. △ Less

Submitted 7 October, 2018; v1 submitted 8 April, 2018; originally announced April 2018.

Learning of Optimal Forecast Aggregation in Partial Evidence Environments

Authors: Yakov Babichenko, Dan Garber

Abstract: We consider the forecast aggregation problem in repeated settings, where the forecasts are done on a binary event. At each period multiple experts provide forecasts about an event. The goal of the aggregator is to aggregate those forecasts into a subjective accurate forecast. We assume that experts are Bayesian; namely they share a common prior, each expert is exposed to some evidence, and each ex… ▽ More We consider the forecast aggregation problem in repeated settings, where the forecasts are done on a binary event. At each period multiple experts provide forecasts about an event. The goal of the aggregator is to aggregate those forecasts into a subjective accurate forecast. We assume that experts are Bayesian; namely they share a common prior, each expert is exposed to some evidence, and each expert applies Bayes rule to deduce his forecast. The aggregator is ignorant with respect to the information structure (i.e., distribution over evidence) according to which experts make their prediction. The aggregator observes the experts' forecasts only. At the end of each period the actual state is realized. We focus on the question whether the aggregator can learn to aggregate optimally the forecasts of the experts, where the optimal aggregation is the Bayesian aggregation that takes into account all the information (evidence) in the system. We consider the class of partial evidence information structures, where each expert is exposed to a different subset of conditionally independent signals. Our main results are positive; We show that optimal aggregation can be learned in polynomial time in a quite wide range of instances of the partial evidence environments. We provide a tight characterization of the instances where learning is possible and impossible. △ Less

Submitted 20 February, 2018; originally announced February 2018.

Robust Forecast Aggregation

Authors: Itai Areili, Yakov Babichenko, Rann Smorodinsky

Abstract: Bayesian experts who are exposed to different evidence often make contradictory probabilistic forecasts. An aggregator, ignorant of the underlying model, uses this to calculate her own forecast. We use the notions of scoring rules and regret to propose a natural way to evaluate an aggregation scheme. We focus on a binary state space and construct low regret aggregation schemes whenever there are o… ▽ More Bayesian experts who are exposed to different evidence often make contradictory probabilistic forecasts. An aggregator, ignorant of the underlying model, uses this to calculate her own forecast. We use the notions of scoring rules and regret to propose a natural way to evaluate an aggregation scheme. We focus on a binary state space and construct low regret aggregation schemes whenever there are only two experts which are either Blackwell-ordered or receive conditionally i.i.d. signals. In contrast, if there are many experts with conditionally i.i.d. signals, then no scheme performs (asymptotically) better than a $(0.5,0.5)$ forecast. △ Less

Submitted 12 February, 2018; v1 submitted 8 October, 2017; originally announced October 2017.

Stable Secretaries

Authors: Yakov Babichenko, Yuval Emek, Michal Feldman, Boaz Patt-Shamir, Ron Peretz, Rann Smorodinsky

Abstract: We define and study a new variant of the secretary problem. Whereas in the classic setting multiple secretaries compete for a single position, we study the case where the secretaries arrive one at a time and are assigned, in an on-line fashion, to one of multiple positions. Secretaries are ranked according to talent, as in the original formulation, and in addition positions are ranked according to… ▽ More We define and study a new variant of the secretary problem. Whereas in the classic setting multiple secretaries compete for a single position, we study the case where the secretaries arrive one at a time and are assigned, in an on-line fashion, to one of multiple positions. Secretaries are ranked according to talent, as in the original formulation, and in addition positions are ranked according to attractiveness. To evaluate an online matching mechanism, we use the notion of blocking pairs from stable matching theory: our goal is to maximize the number of positions (or secretaries) that do not take part in a blocking pair. This is compared with a stable matching in which no blocking pair exists. We consider the case where secretaries arrive randomly, as well as that of an adversarial arrival order, and provide corresponding upper and lower bounds. △ Less

Submitted 3 May, 2017; originally announced May 2017.

Comments: Accepted for presentation at the 18th ACM conference on Economics and Computation (EC 2017)

Simple approximate equilibria in games with many players

Authors: Itai Arieli, Yakov Babichenko

Abstract: We consider $ε$-equilibria notions for constant value of $ε$ in $n$-player $m$-actions games where $m$ is a constant. We focus on the following question: What is the largest grid size over the mixed strategies such that $ε$-equilibrium is guaranteed to exist over this grid. For Nash equilibrium, we prove that constant grid size (that depends on $ε$ and $m$, but not on $n$) is sufficient to guara… ▽ More We consider $ε$-equilibria notions for constant value of $ε$ in $n$-player $m$-actions games where $m$ is a constant. We focus on the following question: What is the largest grid size over the mixed strategies such that $ε$-equilibrium is guaranteed to exist over this grid. For Nash equilibrium, we prove that constant grid size (that depends on $ε$ and $m$, but not on $n$) is sufficient to guarantee existence of weak approximate equilibrium. This result implies a polynomial (in the input) algorithm for weak approximate equilibrium. For approximate Nash equilibrium we introduce a closely related question and prove its \emph{equivalence} to the well-known Beck-Fiala conjecture from discrepancy theory. To the best of our knowledge this is the first result introduces a connection between game theory and discrepancy theory. For correlated equilibrium, we prove a $O(\frac{1}{\log n})$ lower-bound on the grid size, which matches the known upper bound of $Ω(\frac{1}{\log n})$. Our result implies an $Ω(\log n)$ lower bound on the rate of convergence of dynamics (any dynamic) to approximate correlated (and coarse correlated) equilibrium. Again, this lower bound matches the $O(\log n)$ upper bound that is achieved by regret minimizing algorithms. △ Less

Submitted 27 January, 2017; originally announced January 2017.

Communication complexity of approximate Nash equilibria

Authors: Yakov Babichenko, Aviad Rubinstein

Abstract: For a constant $ε$, we prove a poly(N) lower bound on the (randomized) communication complexity of $ε$-Nash equilibrium in two-player NxN games. For n-player binary-action games we prove an exp(n) lower bound for the (randomized) communication complexity of $(ε,ε)$-weak approximate Nash equilibrium, which is a profile of mixed actions such that at least $(1-ε)$-fraction of the players are $ε$-best… ▽ More For a constant $ε$, we prove a poly(N) lower bound on the (randomized) communication complexity of $ε$-Nash equilibrium in two-player NxN games. For n-player binary-action games we prove an exp(n) lower bound for the (randomized) communication complexity of $(ε,ε)$-weak approximate Nash equilibrium, which is a profile of mixed actions such that at least $(1-ε)$-fraction of the players are $ε$-best replying. △ Less

Submitted 13 September, 2016; v1 submitted 23 August, 2016; originally announced August 2016.

Comments: Second revision extends the lower bounds to randomized communication

Computational Aspects of Private Bayesian Persuasion

Authors: Yakov Babichenko, Siddharth Barman

Abstract: We study computational questions in a game-theoretic model that, in particular, aims to capture advertising/persuasion applications such as viral marketing. Specifically, we consider a multi-agent Bayesian persuasion model where an informed sender (marketer) tries to persuade a group of agents (consumers) to adopt a certain product. The quality of the product is known to the sender, but it is unkn… ▽ More We study computational questions in a game-theoretic model that, in particular, aims to capture advertising/persuasion applications such as viral marketing. Specifically, we consider a multi-agent Bayesian persuasion model where an informed sender (marketer) tries to persuade a group of agents (consumers) to adopt a certain product. The quality of the product is known to the sender, but it is unknown to the agents. The sender is allowed to commit to a signaling policy where she sends a private signal---say, a viral marketing ad---to every agent. This work studies the computation aspects of finding a signaling policy that maximizes the sender's revenue. We show that if the sender's utility is a submodular function of the set of agents that adopt the product, then we can efficiently find a signaling policy whose revenue is at least (1-1/e) times the optimal. We also prove that approximating the sender's optimal revenue by a factor better than (1-1/e) is NP-hard and, hence, the developed approximation guarantee is essentially tight. When the senders' utility is a function of the number of agents that adopt the product (i.e., the utility function is anonymous), we show that an optimal signaling policy can be computed in polynomial time. Our results are based on an interesting connection between the Bayesian persuasion problem and the evaluation of the concave closure of a set function. △ Less

Submitted 4 March, 2016; originally announced March 2016.

Comments: 16 pages

Random Extensive Form Games and its Application to Bargaining

Authors: Itai Arieli, Yakov Babichenko

Abstract: We consider two-player random extensive form games where the payoffs at the leaves are independently drawn uniformly at random from a given feasible set C. We study the asymptotic distribution of the subgame perfect equilibrium outcome for binary-trees with increasing depth in various random (or deterministic) assignments of players to nodes. We characterize the assignments under which the asympto… ▽ More We consider two-player random extensive form games where the payoffs at the leaves are independently drawn uniformly at random from a given feasible set C. We study the asymptotic distribution of the subgame perfect equilibrium outcome for binary-trees with increasing depth in various random (or deterministic) assignments of players to nodes. We characterize the assignments under which the asymptotic distribution concentrates around a point. Our analysis provides a natural way to derive from the asymptotic distribution a novel solution concept for two-player bargaining problems with a solid strategic justification. △ Less

Submitted 8 September, 2015; originally announced September 2015.

Can Almost Everybody be Almost Happy? PCP for PPAD and the Inapproximability of Nash

Authors: Yakov Babichenko, Christos Papadimitriou, Aviad Rubinstein

Abstract: We conjecture that PPAD has a PCP-like complete problem, seeking a near equilibrium in which all but very few players have very little incentive to deviate. We show that, if one assumes that this problem requires exponential time, several open problems in this area are settled. The most important implication, proved via a "birthday repetition" reduction, is that the n^O(log n) approximation scheme… ▽ More We conjecture that PPAD has a PCP-like complete problem, seeking a near equilibrium in which all but very few players have very little incentive to deviate. We show that, if one assumes that this problem requires exponential time, several open problems in this area are settled. The most important implication, proved via a "birthday repetition" reduction, is that the n^O(log n) approximation scheme of [LMM03] for the Nash equilibrium of two-player games is essentially optimum. Two other open problems in the area are resolved once one assumes this conjecture, establishing that certain approximate equilibria are PPAD-complete: Finding a relative approximation of two-player Nash equilibria (without the well-supported restriction of [Das13]), and an approximate competitive equilibrium with equal incomes [Bud11] with small clearing error and near-optimal Gini coefficient. △ Less

Submitted 8 June, 2015; v1 submitted 9 April, 2015; originally announced April 2015.

Comments: Revision 2 derandomizes the main reduction

Pareto Efficient Nash Implementation Via Approval Voting

Authors: Yakov Babichenko, Leonard J. Schulman

Abstract: We study implementation of a social choice correspondence in the case of two players who have von Neumann - Morgenstern utilities over a finite set of social alternatives, and the mechanism is allowed to output lotteries. Our main positive result shows that a close variant of the popular approval voting mechanism succeeds in selecting only Pareto efficient alternatives as pure Nash equilibria outc… ▽ More We study implementation of a social choice correspondence in the case of two players who have von Neumann - Morgenstern utilities over a finite set of social alternatives, and the mechanism is allowed to output lotteries. Our main positive result shows that a close variant of the popular approval voting mechanism succeeds in selecting only Pareto efficient alternatives as pure Nash equilibria outcomes. Moreover, we provide an exact characterization of pure Nash equilibria profiles and outcomes of the mechanism. The characterization demonstrates a close connection between the approval voting mechanism and the notion of average fixed point, which is a point that is equal to the average of all points that it does not Pareto dominate. △ Less

Submitted 3 March, 2017; v1 submitted 18 February, 2015; originally announced February 2015.

Graphical potential games

Authors: Yakov Babichenko, Omer Tamuz

Abstract: We study the class of potential games that are also graphical games with respect to a given graph $G$ of connections between the players. We show that, up to strategic equivalence, this class of games can be identified with the set of Markov random fields on $G$. From this characterization, and from the Hammersley-Clifford theorem, it follows that the potentials of such games can be decomposed t… ▽ More We study the class of potential games that are also graphical games with respect to a given graph $G$ of connections between the players. We show that, up to strategic equivalence, this class of games can be identified with the set of Markov random fields on $G$. From this characterization, and from the Hammersley-Clifford theorem, it follows that the potentials of such games can be decomposed to local potentials. We use this decomposition to strongly bound the number of strategy changes of a single player along a better response path. This result extends to generalized graphical potential games, which are played on infinite graphs. △ Less

Submitted 23 March, 2016; v1 submitted 6 May, 2014; originally announced May 2014.

Comments: Accepted to the Journal of Economic Theory

Journal ref: Journal of Economic Theory, Volume 163, May 2016, Pages 889-899

Axiomatic Approach to Solutions of Games

Authors: Yakov Babichenko

Abstract: We consider solutions of normal form games that are invariant under strategic equivalence. We consider additional properties that can be expected (or be desired) from a solution of a game, and we observe the following: - Even the weakest notion of individual rationality restricts the set of solutions to be equilibria. This observation holds for all types of solutions: in pure-strategies, in mixe… ▽ More We consider solutions of normal form games that are invariant under strategic equivalence. We consider additional properties that can be expected (or be desired) from a solution of a game, and we observe the following: - Even the weakest notion of individual rationality restricts the set of solutions to be equilibria. This observation holds for all types of solutions: in pure-strategies, in mixed strategies, and in correlated strategies where the corresponding notions of equilibria are pure-Nash, Nash and coarse-correlated. An action profile is (strict) simultaneous maximizer if it simultaneously globally (strictly) maximizes the payoffs of all players. - If we require that a simultaneous maximizer (if it exists) will be a solution, then the solution contains the set of pure Nash equilibria. - There is no solution for which a strict simultaneous maximizer (if it exists) is the unique solution. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Empirical Distribution of Equilibrium Play and Its Testing Application

Authors: Yakov Babichenko, Siddharth Barman, Ron Peretz

Abstract: We show that in any $n$-player $m$-action normal-form game, we can obtain an approximate equilibrium by sampling any mixed-action equilibrium a small number of times. We study three types of equilibria: Nash, correlated and coarse correlated. For each one of them we obtain upper and lower bounds on the number of samples required for the empirical distribution over the sampled action profiles to fo… ▽ More We show that in any $n$-player $m$-action normal-form game, we can obtain an approximate equilibrium by sampling any mixed-action equilibrium a small number of times. We study three types of equilibria: Nash, correlated and coarse correlated. For each one of them we obtain upper and lower bounds on the number of samples required for the empirical distribution over the sampled action profiles to form an approximate equilibrium with probability close to one. These bounds imply that using a small number of samples we can test whether or not players are playing according to an approximate equilibrium, even in games where $n$ and $m$ are large. In addition, our results substantially improve previously known upper bounds on the support size of approximate equilibria in games with many players. In particular, for all the three types of equilibria we show the existence of approximate equilibrium with support size polylogarithmic in $n$ and $m$, whereas the previously best-known upper bounds were polynomial in $n$. △ Less

Submitted 19 October, 2014; v1 submitted 28 October, 2013; originally announced October 2013.

Comments: Updated writeup, 29 pages

ACM Class: F.2.0

Small-Support Approximate Correlated Equilibria

Authors: Yakov Babichenko, Siddharth Barman, Ron Peretz

Abstract: We prove the existence of approximate correlated equilibrium of support size polylogarithmic in the number of players and the number of actions per player. In particular, using the probabilistic method, we show that there exists a multiset of polylogarithmic size such that the uniform distribution over this multiset forms an approximate correlated equilibrium. Along similar lines, we establish the… ▽ More We prove the existence of approximate correlated equilibrium of support size polylogarithmic in the number of players and the number of actions per player. In particular, using the probabilistic method, we show that there exists a multiset of polylogarithmic size such that the uniform distribution over this multiset forms an approximate correlated equilibrium. Along similar lines, we establish the existence of approximate coarse correlated equilibrium with logarithmic support. We complement these results by considering the computational complexity of determining small-support approximate equilibria. We show that random sampling can be used to efficiently determine an approximate coarse correlated equilibrium with logarithmic support. But, such a tight result does not hold for correlated equilibrium, i.e., sampling might generate an approximate correlated equilibrium of support size Ω(m) where m is the number of actions per player. Finally, we show that finding an exact correlated equilibrium with smallest possible support is NP-hard under Cook reductions, even in the case of two-player zero-sum games. △ Less

Submitted 27 August, 2013; originally announced August 2013.

Comments: 16 pages

ACM Class: F.2.0

Approximate Nash Equilibria via Sampling

Authors: Yakov Babichenko, Ron Peretz

Abstract: We prove that in a normal form n-player game with m actions for each player, there exists an approximate Nash equilibrium where each player randomizes uniformly among a set of O(log(m) + log(n)) pure strategies. This result induces an $N^{\log \log N}$ algorithm for computing an approximate Nash equilibrium in games where the number of actions is polynomial in the number of players (m=poly(n)), wh… ▽ More We prove that in a normal form n-player game with m actions for each player, there exists an approximate Nash equilibrium where each player randomizes uniformly among a set of O(log(m) + log(n)) pure strategies. This result induces an $N^{\log \log N}$ algorithm for computing an approximate Nash equilibrium in games where the number of actions is polynomial in the number of players (m=poly(n)), where $N=nm^n$ is the size of the game (the input size). In addition, we establish an inverse connection between the entropy of Nash equilibria in the game, and the time it takes to find such an approximate Nash equilibrium using the random sampling algorithm. △ Less

Submitted 18 July, 2013; originally announced July 2013.

Query Complexity of Approximate Nash Equilibria

Authors: Yakov Babichenko

Abstract: We study the query complexity of approximate notions of Nash equilibrium in games with a large number of players $n$. Our main result states that for $n$-player binary-action games and for constant $\varepsilon$, the query complexity of an $\varepsilon$-well-supported Nash equilibrium is exponential in $n$. One of the consequences of this result is an exponential lower bound on the rate of converg… ▽ More We study the query complexity of approximate notions of Nash equilibrium in games with a large number of players $n$. Our main result states that for $n$-player binary-action games and for constant $\varepsilon$, the query complexity of an $\varepsilon$-well-supported Nash equilibrium is exponential in $n$. One of the consequences of this result is an exponential lower bound on the rate of convergence of adaptive dynamics to approxiamte Nash equilibrium. △ Less

Submitted 18 July, 2014; v1 submitted 27 June, 2013; originally announced June 2013.

Query Complexity of Correlated Equilibrium

Authors: Yakov Babichenko, Siddharth Barman

Abstract: We study lower bounds on the query complexity of determining correlated equilibrium. In particular, we consider a query model in which an n-player game is specified via a black box that returns players' utilities at pure action profiles. In this model we establish that in order to compute a correlated equilibrium any deterministic algorithm must query the black box an exponential (in n) number of… ▽ More We study lower bounds on the query complexity of determining correlated equilibrium. In particular, we consider a query model in which an n-player game is specified via a black box that returns players' utilities at pure action profiles. In this model we establish that in order to compute a correlated equilibrium any deterministic algorithm must query the black box an exponential (in n) number of times. △ Less

Submitted 11 July, 2013; v1 submitted 11 June, 2013; originally announced June 2013.

Comments: Added references

ACM Class: F.2.0

Small Support Equilibria in Large Games

Authors: Yakov Babichenko

Abstract: In this note we provide a new proof for the results of Lipton et al. on the existence of an approximate Nash equilibrium with logarithmic support size. Besides its simplicity, the new proof leads to the following contributions: 1. For n-player games, we improve the bound on the size of the support of an approximate Nash equilibrium. 2. We generalize the result of Daskalakis and Papadimitriou o… ▽ More In this note we provide a new proof for the results of Lipton et al. on the existence of an approximate Nash equilibrium with logarithmic support size. Besides its simplicity, the new proof leads to the following contributions: 1. For n-player games, we improve the bound on the size of the support of an approximate Nash equilibrium. 2. We generalize the result of Daskalakis and Papadimitriou on small probability games from the two-player case to the general n-player case. 3. We provide a logarithmic bound on the size of the support of an approximate Nash equilibrium in the case of graphical games. △ Less

Submitted 21 May, 2013; v1 submitted 10 May, 2013; originally announced May 2013.

Musical chairs

Authors: Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov

Abstract: In the {\em Musical Chairs} game $MC(n,m)$ a team of $n$ players plays against an adversarial {\em scheduler}. The scheduler wins if the game proceeds indefinitely, while termination after a finite number of rounds is declared a win of the team. At each round of the game each player {\em occupies} one of the $m$ available {\em chairs}. Termination (and a win of the team) is declared as soon as eac… ▽ More In the {\em Musical Chairs} game $MC(n,m)$ a team of $n$ players plays against an adversarial {\em scheduler}. The scheduler wins if the game proceeds indefinitely, while termination after a finite number of rounds is declared a win of the team. At each round of the game each player {\em occupies} one of the $m$ available {\em chairs}. Termination (and a win of the team) is declared as soon as each player occupies a unique chair. Two players that simultaneously occupy the same chair are said to be {\em in conflict}. In other words, termination (and a win for the team) is reached as soon as there are no conflicts. The only means of communication throughout the game is this: At every round of the game, the scheduler selects an arbitrary nonempty set of players who are currently in conflict, and notifies each of them separately that it must move. A player who is thus notified changes its chair according to its deterministic program. As we show, for $m\ge 2n-1$ chairs the team has a winning strategy. Moreover, using topological arguments we show that this bound is tight. For $m\leq 2n-2$ the scheduler has a strategy that is guaranteed to make the game continue indefinitely and thus win. We also have some results on additional interesting questions. For example, if $m \ge 2n-1$ (so that the team can win), how quickly can they achieve victory? △ Less

Submitted 3 August, 2012; originally announced August 2012.

Comments: arXiv admin note: substantial text overlap with arXiv:1106.2065

Hunter, Cauchy Rabbit, and Optimal Kakeya Sets

Authors: Yakov Babichenko, Yuval Peres, Ron Peretz, Perla Sousi, Peter Winkler

Abstract: A planar set that contains a unit segment in every direction is called a Kakeya set. We relate these sets to a game of pursuit on a cycle $\Z_n$. A hunter and a rabbit move on the nodes of $\Z_n$ without seeing each other. At each step, the hunter moves to a neighbouring vertex or stays in place, while the rabbit is free to jump to any node. Adler et al (2003) provide strategies for hunter and rab… ▽ More A planar set that contains a unit segment in every direction is called a Kakeya set. We relate these sets to a game of pursuit on a cycle $\Z_n$. A hunter and a rabbit move on the nodes of $\Z_n$ without seeing each other. At each step, the hunter moves to a neighbouring vertex or stays in place, while the rabbit is free to jump to any node. Adler et al (2003) provide strategies for hunter and rabbit that are optimal up to constant factors and achieve probability of capture in the first $n$ steps of order $1/\log n$. We show these strategies yield a Kakeya set consisting of $4n$ triangles with minimal area, (up to constant), namely $Θ(1/\log n)$. As far as we know, this is the first non-iterative construction of a boundary-optimal Kakeya set. Considering the continuum analog of the game yields a construction of a random Kakeya set from two independent standard Brownian motions $\{B(s): s \ge 0\}$ and $\{W(s): s \ge 0\}$. Let $τ_t:=\min\{s \ge 0: B(s)=t\}$. Then $X_t=W(τ_t)$ is a Cauchy process, and $K:=\{(a,X_t+at) : a,t \in [0,1]\}$ is a Kakeya set of zero area. The area of the $ε$-neighborhood of $K$ is as small as possible, i.e., almost surely of order $Θ(1/|\log ε|)$. △ Less

Submitted 26 July, 2012; originally announced July 2012.

MSC Class: 49N75; 05C57; 60G50

Oblivious Collaboration

Authors: Yehuda Afek, Yakov Babichenko, Uriel Feige, Eli Gafni, Nati Linial, Benny Sudakov

Abstract: Communication is a crucial ingredient in every kind of collaborative work. But what is the least possible amount of communication required for a given task? We formalize this question by introducing a new framework for distributed computation, called {\em oblivious protocols}. We investigate the power of this model by considering two concrete examples, the {\em musical chairs} task $MC(n,m)$ and… ▽ More Communication is a crucial ingredient in every kind of collaborative work. But what is the least possible amount of communication required for a given task? We formalize this question by introducing a new framework for distributed computation, called {\em oblivious protocols}. We investigate the power of this model by considering two concrete examples, the {\em musical chairs} task $MC(n,m)$ and the well-known {\em Renaming} problem. The $MC(n,m)$ game is played by $n$ players (processors) with $m$ chairs. Players can {\em occupy} chairs, and the game terminates as soon as each player occupies a unique chair. Thus we say that player $P$ is {\em in conflict} if some other player $Q$ is occupying the same chair, i.e., termination means there are no conflicts. By known results from distributed computing, if $m \le 2n-2$, no strategy of the players can guarantee termination. However, there is a protocol with $m = 2n-1$ chairs that always terminates. Here we consider an oblivious protocol where in every time step the only communication is this: an adversarial {\em scheduler} chooses an arbitrary nonempty set of players, and for each of them provides only one bit of information, specifying whether the player is currently in conflict or not. A player notified not to be in conflict halts and never changes its chair, whereas a player notified to be in conflict changes its chair according to its deterministic program. Remarkably, even with this minimal communication termination can be guaranteed with only $m=2n-1$ chairs. Likewise, we obtain an oblivious protocol for the Renaming problem whose name-space is small as that of the optimal nonoblivious distributed protocol. Other aspects suggest themselves, such as the efficiency (program length) of our protocols. We make substantial progress here as well, though many interesting questions remain open. △ Less

Submitted 10 June, 2011; originally announced June 2011.

Comments: 25 pages