-
$k$-Leaf Powers Cannot be Characterized by a Finite Set of Forbidden Induced Subgraphs for $k \geq 5$
Authors:
Max Dupré la Tour,
Manuel Lafond,
Ndiamé Ndiaye,
Adrian Vetta
Abstract:
A graph $G=(V,E)$ is a $k$-leaf power if there is a tree $T$ whose leaves are the vertices of $G$ with the property that a pair of leaves $u$ and $v$ induce an edge in $G$ if and only if they are distance at most $k$ apart in $T$. For $k\le 4$, it is known that there exists a finite set $F_k$ of graphs such that the class $L(k)$ of $k$-leaf power graphs is characterized as the set of strongly chor…
▽ More
A graph $G=(V,E)$ is a $k$-leaf power if there is a tree $T$ whose leaves are the vertices of $G$ with the property that a pair of leaves $u$ and $v$ induce an edge in $G$ if and only if they are distance at most $k$ apart in $T$. For $k\le 4$, it is known that there exists a finite set $F_k$ of graphs such that the class $L(k)$ of $k$-leaf power graphs is characterized as the set of strongly chordal graphs that do not contain any graph in $F_k$ as an induced subgraph. We prove no such characterization holds for $k\ge 5$. That is, for any $k\ge 5$, there is no finite set $F_k$ of graphs such that $L(k)$ is equivalent to the set of strongly chordal graphs that do not contain as an induced subgraph any graph in $F_k$.
△ Less
Submitted 2 July, 2024;
originally announced July 2024.
-
Matrix Rationalization via Partial Orders
Authors:
Agnes Totschnig,
Rohit Vasishta,
Adrian Vetta
Abstract:
A preference matrix $M$ has an entry for each pair of candidates in an election whose value $p_{ij}$ represents the proportion of voters that prefer candidate $i$ over candidate $j$. The matrix is rationalizable if it is consistent with a set of voters whose preferences are total orders. A celebrated open problem asks for a concise characterization of rationalizable preference matrices. In this pa…
▽ More
A preference matrix $M$ has an entry for each pair of candidates in an election whose value $p_{ij}$ represents the proportion of voters that prefer candidate $i$ over candidate $j$. The matrix is rationalizable if it is consistent with a set of voters whose preferences are total orders. A celebrated open problem asks for a concise characterization of rationalizable preference matrices. In this paper, we generalize this matrix rationalizability question and study when a preference matrix is consistent with a set of voters whose preferences are partial orders of width $α$. The width (the maximum cardinality of an antichain) of the partial order is a natural measure of the rationality of a voter; indeed, a partial order of width $1$ is a total order. Our primary focus concerns the rationality number, the minimum width required to rationalize a preference matrix. We present two main results. The first concerns the class of half-integral preference matrices, where we show the key parameter required in evaluating the rationality number is the chromatic number of the undirected unanimity graph associated with the preference matrix $M$. The second concerns the class of integral preference matrices, where we show the key parameter now is the dichromatic number of the directed voting graph associated with $M$.
△ Less
Submitted 31 May, 2024;
originally announced May 2024.
-
Robot Positioning Using Torus Packing for Multisets
Authors:
Chung Shue Chen,
Peter Keevash,
Sean Kennedy,
Élie de Panafieu,
Adrian Vetta
Abstract:
We consider the design of a positioning system where a robot determines its position from local observations. This is a well-studied problem of considerable practical importance and mathematical interest. The dominant paradigm derives from the classical theory of de Bruijn sequences, where the robot has access to a window within a larger code and can determine its position if these windows are dis…
▽ More
We consider the design of a positioning system where a robot determines its position from local observations. This is a well-studied problem of considerable practical importance and mathematical interest. The dominant paradigm derives from the classical theory of de Bruijn sequences, where the robot has access to a window within a larger code and can determine its position if these windows are distinct. We propose an alternative model in which the robot has more limited observational powers, which we argue is more realistic in terms of engineering: the robot does not have access to the full pattern of colours (or letters) in the window, but only to the intensity of each colour (or the number of occurrences of each letter). This leads to a mathematically interesting problem with a different flavour to that arising in the classical paradigm, requiring new construction techniques. The parameters of our construction are optimal up to a constant factor, and computing the position requires only a constant number of arithmetic operations.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Gerrymandering Planar Graphs
Authors:
Jack Dippel,
Max Dupré la Tour,
April Niu,
Sanjukta Roy,
Adrian Vetta
Abstract:
We study the computational complexity of the map redistricting problem (gerrymandering). Mathematically, the electoral district designer (gerrymanderer) attempts to partition a weighted graph into $k$ connected components (districts) such that its candidate (party) wins as many districts as possible. Prior work has principally concerned the special cases where the graph is a path or a tree. Our fo…
▽ More
We study the computational complexity of the map redistricting problem (gerrymandering). Mathematically, the electoral district designer (gerrymanderer) attempts to partition a weighted graph into $k$ connected components (districts) such that its candidate (party) wins as many districts as possible. Prior work has principally concerned the special cases where the graph is a path or a tree. Our focus concerns the realistic case where the graph is planar. We prove that the gerrymandering problem is solvable in polynomial time in $λ$-outerplanar graphs, when the number of candidates and $λ$ are constants and the vertex weights (voting weights) are polynomially bounded. In contrast, the problem is NP-complete in general planar graphs even with just two candidates. This motivates the study of approximation algorithms for gerrymandering planar graphs. However, when the number of candidates is large, we prove it is hard to distinguish between instances where the gerrymanderer cannot win a single district and instances where the gerrymanderer can win at least one district. This immediately implies that the redistricting problem is inapproximable in polynomial time in planar graphs, unless P=NP. This conclusion appears terminal for the design of good approximation algorithms -- but it is not. The inapproximability bound can be circumvented as it only applies when the maximum number of districts the gerrymanderer can win is extremely small, say one. Indeed, for a fixed number of candidates, our main result is that there is a constant factor approximation algorithm for redistricting unweighted planar graphs, provided the optimal value is a large enough constant.
△ Less
Submitted 7 January, 2024; v1 submitted 22 December, 2023;
originally announced December 2023.
-
One n Remains to Settle the Tree Conjecture
Authors:
Jack Dippel,
Adrian Vetta
Abstract:
In the famous network creation game of Fabrikant et al. a set of agents play a game to build a connected graph. The $n$ agents form the vertex set $V$ of the graph and each vertex $v\in V$ buys a set $E_v$ of edges inducing a graph $G=(V,\bigcup\limits_{v\in V} E_v)$. The private objective of each vertex is to minimize the sum of its building cost (the cost of the edges it buys) plus its connectio…
▽ More
In the famous network creation game of Fabrikant et al. a set of agents play a game to build a connected graph. The $n$ agents form the vertex set $V$ of the graph and each vertex $v\in V$ buys a set $E_v$ of edges inducing a graph $G=(V,\bigcup\limits_{v\in V} E_v)$. The private objective of each vertex is to minimize the sum of its building cost (the cost of the edges it buys) plus its connection cost (the total distance from itself to every other vertex). Given a cost of $α$ for each individual edge, a long-standing conjecture, called the tree conjecture, states that if $α> n$ then every Nash equilibrium graph in the game is a spanning tree. After a plethora of work, it is known that the conjecture holds for any $α>3n-3$. In this paper we prove the tree conjecture holds for $α>2n$. This reduces by half the open range for $α$ with only $[n, 2n)$ remaining in order to settle the conjecture.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Penalties and Rewards for Fair Learning in Paired Kidney Exchange Programs
Authors:
Margarida Carvalho,
Alison Caulfield,
Yi Lin,
Adrian Vetta
Abstract:
A kidney exchange program, also called a kidney paired donation program, can be viewed as a repeated, dynamic trading and allocation mechanism. This suggests that a dynamic algorithm for transplant exchange selection may have superior performance in comparison to the repeated use of a static algorithm. We confirm this hypothesis using a full scale simulation of the Canadian Kidney Paired Donation…
▽ More
A kidney exchange program, also called a kidney paired donation program, can be viewed as a repeated, dynamic trading and allocation mechanism. This suggests that a dynamic algorithm for transplant exchange selection may have superior performance in comparison to the repeated use of a static algorithm. We confirm this hypothesis using a full scale simulation of the Canadian Kidney Paired Donation Program: learning algorithms, that attempt to learn optimal patient-donor weights in advance via dynamic simulations, do lead to improved outcomes. Specifically, our learning algorithms, designed with the objective of fairness (that is, equity in terms of transplant accessibility across cPRA groups), also lead to an increased number of transplants and shorter average waiting times. Indeed, our highest performing learning algorithm improves egalitarian fairness by 10% whilst also increasing the number of transplants by 6% and decreasing waiting times by 24%. However, our main result is much more surprising. We find that the most critical factor in determining the performance of a kidney exchange program is not the judicious assignment of positive weights (rewards) to patient-donor pairs. Rather, the key factor in increasing the number of transplants, decreasing waiting times and improving group fairness is the judicious assignment of a negative weight (penalty) to the small number of non-directed donors in the kidney exchange program.
△ Less
Submitted 23 September, 2023;
originally announced September 2023.
-
The Price of Anarchy of the Asymmetric One-Sided Allocation Problem
Authors:
Sissi Jiang,
Ndiame Ndiaye,
Adrian Vetta,
Eggie Wu
Abstract:
We study fair mechanisms for the (asymmetric) one-sided allocation problem with m items and n multi-unit demand agents with additive, unit-sum valuations. The symmetric case (m=n), the one-sided matching problem, has been studied extensively for the class of unit demand agents, in particular with respect to the folklore Random Priority mechanism and the Probabilistic Serial mechanism, introduced b…
▽ More
We study fair mechanisms for the (asymmetric) one-sided allocation problem with m items and n multi-unit demand agents with additive, unit-sum valuations. The symmetric case (m=n), the one-sided matching problem, has been studied extensively for the class of unit demand agents, in particular with respect to the folklore Random Priority mechanism and the Probabilistic Serial mechanism, introduced by Bogomolnaia and Moulin. Under the assumption of unit-sum valuation functions, Christodoulou et al. proved that the price of anarchy is $Θ(\sqrt{n})$ in the one-sided matching problem for both the Random Priority and Probabilistic Serial mechanisms. Whilst both Random Priority and Probabilistic Serial are ordinal mechanisms, these approximation guarantees are the best possible even for the broader class of cardinal mechanisms.
To extend these results to the general setting there are two technical obstacles. One, asymmetry ($m\neq n$) is problematic especially when the number of items is much greater than the number of items. Two, it is necessary to study multi-unit demand agents rather than simply unit demand agents. Our approach is to study a cardinal mechanism variant of Probabilistic Serial, which we call Cardinal Probabilistic Serial. We present structural theorems for this mechanism and use them to obtain bounds on the price of anarchy. Our first main result is an upper bound of $O(\sqrt{n}\cdot \log m)$ on the price of anarchy for the asymmetric one-sided allocation problem with multi-unit demand agents. This upper bound applies to Probabilistic Serial as well and there is a complementary lower bound of $Ω(\sqrt{n})$ for any fair mechanism. Our second main result is that the price of anarchy degrades with the number of items. Specifically, a logarithmic dependence on the number of items is necessary for both mechanisms.
△ Less
Submitted 13 May, 2023; v1 submitted 3 January, 2023;
originally announced January 2023.
-
The Blocker Postulates for Measures of Voting Power
Authors:
Arash Abizadeh,
Adrian Vetta
Abstract:
A proposed measure of voting power should satisfy two conditions to be plausible: first, it must be conceptually justified, capturing the intuitive meaning of what voting power is; second, it must satisfy reasonable postulates. This paper studies a set of postulates, appropriate for a priori voting power, concerning blockers (or vetoers) in a binary voting game. We specify and motivate five such p…
▽ More
A proposed measure of voting power should satisfy two conditions to be plausible: first, it must be conceptually justified, capturing the intuitive meaning of what voting power is; second, it must satisfy reasonable postulates. This paper studies a set of postulates, appropriate for a priori voting power, concerning blockers (or vetoers) in a binary voting game. We specify and motivate five such postulates, namely, two subadditivity blocker postulates, two minimum-power blocker postulates, each in weak and strong versions, and the added-blocker postulate. We then test whether three measures of voting power, namely the classic Penrose-Banzhaf measure, the classic Shapley-Shubik index, and the newly proposed Recursive Measure, satisfy these postulates. We find that the first measure fails four of the postulates, the second fails two, while the third alone satisfies all five postulates. This work consequently adds to the plausibility of the Recursive Measure as a reasonable measure of voting power.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
A General Framework for a Class of Quarrels: The Quarrelling Paradox Revisited
Authors:
Arash Abizadeh,
Adrian Vetta
Abstract:
If a measure of voting power assigns greater voting power to a player because it no longer effectively cooperates with another, then the measure displays the quarrelling paradox and violates the quarrel postulate. We provide formal criteria by which to judge whether a given conception of quarrelling is (a) reasonable and (b) fit to serve as the basis for a reasonable quarrel postulate. To achieve…
▽ More
If a measure of voting power assigns greater voting power to a player because it no longer effectively cooperates with another, then the measure displays the quarrelling paradox and violates the quarrel postulate. We provide formal criteria by which to judge whether a given conception of quarrelling is (a) reasonable and (b) fit to serve as the basis for a reasonable quarrel postulate. To achieve this, we formalize a general framework distinguishing between three degrees of quarrelling (weak, strong, cataclysmic), symmetric vs. asymmetrical quarrels, and reciprocal vs. non-reciprocal quarrels, and which thereby yields twelve conceptions of quarrelling, which encompasses the two conceptions proposed by Felsenthal and Machover and by Laruelle and Valenciano, respectively. We argue that the two existing formulations of the quarrel postulate based on these conceptions are unreasonable. In contrast, we prove that the symmetric, weak conception of quarrelling identified by our framework -- whether reciprocal or not -- is fit to serve as the basis for a reasonable quarrel postulate. Furthermore, the classic Shapley-Shubik index and Penrose-Banzhaf measure both satisfy the quarrel postulate based on a symmetric weak quarrel.
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
Fair Algorithm Design: Fair and Efficacious Machine Scheduling
Authors:
April Niu,
Agnes Totschnig,
Adrian Vetta
Abstract:
Motivated by a plethora of practical examples where bias is induced by automated-decision making algorithms, there has been strong recent interest in the design of fair algorithms. However, there is often a dichotomy between fairness and efficacy: fair algorithms may proffer low social welfare solutions whereas welfare optimizing algorithms may be very unfair. This issue is exemplified in the mach…
▽ More
Motivated by a plethora of practical examples where bias is induced by automated-decision making algorithms, there has been strong recent interest in the design of fair algorithms. However, there is often a dichotomy between fairness and efficacy: fair algorithms may proffer low social welfare solutions whereas welfare optimizing algorithms may be very unfair. This issue is exemplified in the machine scheduling problem where, for $n$ jobs, the social welfare of any fair solution may be a factor $Ω(n)$ worse than the optimal welfare. In this paper, we prove that this dichotomy between fairness and efficacy can be overcome if we allow for a negligible amount of bias: there exist algorithms that are both "almost perfectly fair" and have a constant factor efficacy ratio, that is, are guaranteed to output solutions that have social welfare within a constant factor of optimal welfare. Specifically, for any $ε>0$, there exist mechanisms with efficacy ratio $Θ(\frac{1}ε)$ and where no agent is more than an $ε$ fraction worse off than they are in the fairest possible solution (given by an algorithm that does not use personal or type data). Moreover, these bicriteria guarantees are tight and apply to both the single machine case and the multiple machine case. The key to our results are the use of Pareto scheduling mechanisms. These mechanisms, by the judicious use of personal or type data, are able to exploit Pareto improvements that benefit every individual; such Pareto improvements would typically be forbidden by fair scheduling algorithms designed to satisfy standard statistical measures of group fairness. We anticipate this paradigm, the judicious use of personal data by a fair algorithm to greatly improve performance at the cost of negligible bias, has wider application.
△ Less
Submitted 9 July, 2023; v1 submitted 13 April, 2022;
originally announced April 2022.
-
Risk-Free Bidding in Complement-Free Combinatorial Auctions
Authors:
Vishnu V. Narayan,
Gautam Rayaprolu,
Adrian Vetta
Abstract:
We study risk-free bidding strategies in combinatorial auctions with incomplete information. Specifically, what is the maximum profit that a complement-free (subadditive) bidder can guarantee in a multi-item combinatorial auction? Suppose there are $n$ bidders and $B_i$ is the value that bidder $i$ has for the entire set of items. We study the above problem from the perspective of the first bidder…
▽ More
We study risk-free bidding strategies in combinatorial auctions with incomplete information. Specifically, what is the maximum profit that a complement-free (subadditive) bidder can guarantee in a multi-item combinatorial auction? Suppose there are $n$ bidders and $B_i$ is the value that bidder $i$ has for the entire set of items. We study the above problem from the perspective of the first bidder, Bidder~1. In this setting, the worst case profit guarantees arise in a duopsony, that is when $n=2$, so this problem then corresponds to playing an auction against a budgeted adversary with budget $B_2$. We present worst-case guarantees for two simple and widely-studied combinatorial auctions, namely, the sequential and simultaneous auctions, for both the first-price and second-price case. In the general case of distinct items, our main results are for the class of {\em fractionally subadditive} (XOS) bidders, where we show that for both first-price and second-price sequential auctions Bidder~$1$ has a strategy that guarantees a profit of at least $(\sqrt{B_1}-\sqrt{B_2})^2$ when $B_2 \leq B_1$, and this bound is tight. More profitable guarantees can be obtained for simultaneous auctions, where in the first-price case, Bidder~$1$ has a strategy that guarantees a profit of at least $\frac{(B_1-B_2)^2}{2B_1}$, and in the second-price case, a bound of $B_1-B_2$ is achievable. We also consider the special case of sequential auctions with identical items, for which we provide tight guarantees for bidders with subadditive valuations.
△ Less
Submitted 29 November, 2021;
originally announced November 2021.
-
An Improved Bound for the Tree Conjecture in Network Creation Games
Authors:
Jack Dippel,
Adrian Vetta
Abstract:
We study Nash equilibria in the network creation game of Fabrikant et al.[10]. In this game a vertex can buy an edge to another vertex for a cost of $α$, and the objective of each vertex is to minimize the sum of the costs of the edges it purchases plus the sum of the distances to every other vertex in the resultant network. A long-standing conjecture states that if $α\ge n$ then every Nash equili…
▽ More
We study Nash equilibria in the network creation game of Fabrikant et al.[10]. In this game a vertex can buy an edge to another vertex for a cost of $α$, and the objective of each vertex is to minimize the sum of the costs of the edges it purchases plus the sum of the distances to every other vertex in the resultant network. A long-standing conjecture states that if $α\ge n$ then every Nash equilibrium in the game is a spanning tree. We prove the conjecture holds for any $α>3n-3$.
△ Less
Submitted 9 June, 2021;
originally announced June 2021.
-
Two Birds With One Stone: Fairness and Welfare via Transfers
Authors:
Vishnu V. Narayan,
Mashbat Suzuki,
Adrian Vetta
Abstract:
We study the question of dividing a collection of indivisible goods amongst a set of agents. The main objective of research in the area is to achieve one of two goals: fairness or efficiency. On the fairness side, envy-freeness is the central fairness criterion in economics, but envy-free allocations typically do not exist when the goods are indivisible. A recent line of research shows that envy-f…
▽ More
We study the question of dividing a collection of indivisible goods amongst a set of agents. The main objective of research in the area is to achieve one of two goals: fairness or efficiency. On the fairness side, envy-freeness is the central fairness criterion in economics, but envy-free allocations typically do not exist when the goods are indivisible. A recent line of research shows that envy-freeness can be achieved if a small quantity of a homogeneous divisible good (money) is introduced into the system, or equivalently, if transfer payments are allowed between the agents. A natural question to explore, then, is whether transfer payments can be used to provide high welfare in addition to envy-freeness, and if so, how much money is needed to be transferred.
We show that for general monotone valuations, there always exists an allocation with transfers that is envy-free and whose Nash social welfare (NSW) is at least an $e^{-1/e}$-fraction of the optimal Nash social welfare. Additionally, when the agents have additive valuations, an envy-free allocation with negligible transfers and whose NSW is within a constant factor of optimal can be found in polynomial time. Consequently, we demonstrate that the seemingly incompatible objectives of fairness and high welfare can be achieved simultaneously via transfer payments, even for general valuations, when the welfare objective is NSW. On the other hand, we show that a similar result is impossible for utilitarian social welfare: any envy-freeable allocation that achieves a constant fraction of the optimal welfare requires non-negligible transfers. To complement this result we present algorithms that compute an envy-free allocation with a given target welfare and with bounded transfers.
△ Less
Submitted 1 June, 2021;
originally announced June 2021.
-
Pirates in Wonderland: Liquid Democracy has Bicriteria Guarantees
Authors:
Jonathan A. Noel,
Mashbat Suzuki,
Adrian Vetta
Abstract:
Liquid democracy has a natural graphical representation, the delegation graph. Consequently, the strategic aspects of liquid democracy can be studied as a game over delegation graphs, called the liquid democracy game. Our main result is that this game has bicriteria approximation guarantees, in terms of both rationality and social welfare. Specifically, we prove the price of stability for $ε$-Nash…
▽ More
Liquid democracy has a natural graphical representation, the delegation graph. Consequently, the strategic aspects of liquid democracy can be studied as a game over delegation graphs, called the liquid democracy game. Our main result is that this game has bicriteria approximation guarantees, in terms of both rationality and social welfare. Specifically, we prove the price of stability for $ε$-Nash equilibria is exactly $ε$ in the liquid democracy game.
△ Less
Submitted 22 November, 2021; v1 submitted 11 May, 2021;
originally announced May 2021.
-
A Recursive Measure of Voting Power that Satisfies Reasonable Postulates
Authors:
Arash Abizadeh,
Adrian Vetta
Abstract:
We design a recursive measure of voting power based on partial as well as full voting efficacy. Classical measures, by contrast, incorporate solely full efficacy. We motivate our design by representing voting games using a division lattice and via the notion of random walks in stochastic processes, and show the viability of our recursive measure by proving it satisfies a plethora of postulates tha…
▽ More
We design a recursive measure of voting power based on partial as well as full voting efficacy. Classical measures, by contrast, incorporate solely full efficacy. We motivate our design by representing voting games using a division lattice and via the notion of random walks in stochastic processes, and show the viability of our recursive measure by proving it satisfies a plethora of postulates that any reasonable voting measure should satisfy. These include the iso-invariance, dummy, dominance, donation, minimum-power bloc, and quarrel postulates.
△ Less
Submitted 24 May, 2022; v1 submitted 6 May, 2021;
originally announced May 2021.
-
Improved Two Sample Revenue Guarantees via Mixed-Integer Linear Programming
Authors:
Mete Şeref Ahunbay,
Adrian Vetta
Abstract:
We study the performance of the Empirical Revenue Maximizing (ERM) mechanism in a single-item, single-seller, single-buyer setting. We assume the buyer's valuation is drawn from a regular distribution $F$ and that the seller has access to {\em two} independently drawn samples from $F$. By solving a family of mixed-integer linear programs (MILPs), the ERM mechanism is proven to guarantee at least…
▽ More
We study the performance of the Empirical Revenue Maximizing (ERM) mechanism in a single-item, single-seller, single-buyer setting. We assume the buyer's valuation is drawn from a regular distribution $F$ and that the seller has access to {\em two} independently drawn samples from $F$. By solving a family of mixed-integer linear programs (MILPs), the ERM mechanism is proven to guarantee at least $.5914$ times the optimal revenue in expectation. Using solutions to these MILPs, we also show that the worst-case efficiency of the ERM mechanism is at most $.61035$ times the optimal revenue. These guarantees improve upon the best known lower and upper bounds of $.558$ and $.642$, respectively, of [Daskalakis & Zampetakis, '20].
△ Less
Submitted 27 February, 2021;
originally announced March 2021.
-
Descending the Stable Matching Lattice: How many Strategic Agents are required to turn Pessimality to Optimality?
Authors:
Ndiame Ndiaye,
Sergey Norin,
Adrian Vetta
Abstract:
The set of stable matchings induces a distributive lattice. The supremum of the stable matching lattice is the boy-optimal (girl-pessimal) stable matching and the infimum is the girl-optimal (boy-pessimal) stable matching. The classical boy-proposal deferred-acceptance algorithm returns the supremum of the lattice, that is, the boy-optimal stable matching. In this paper, we study the smallest grou…
▽ More
The set of stable matchings induces a distributive lattice. The supremum of the stable matching lattice is the boy-optimal (girl-pessimal) stable matching and the infimum is the girl-optimal (boy-pessimal) stable matching. The classical boy-proposal deferred-acceptance algorithm returns the supremum of the lattice, that is, the boy-optimal stable matching. In this paper, we study the smallest group of girls, called the {\em minimum winning coalition of girls}, that can act strategically, but independently, to force the boy-proposal deferred-acceptance algorithm to output the girl-optimal stable matching. We characterize the minimum winning coalition in terms of stable matching rotations and show that its cardinality can take on any value between $0$ and $\left\lfloor \frac{n}{2}\right\rfloor$, for instances with $n$ boys and $n$ girls. Our main result is that, for the random matching model, the expected cardinality of the minimum winning coalition is $(\frac{1}{2}+o(1))\log{n}$. This resolves a conjecture of Kupfer \cite{Kup18}.
△ Less
Submitted 11 July, 2021; v1 submitted 30 July, 2020;
originally announced July 2020.
-
The Price of Anarchy of Two-Buyer Sequential Multiunit Auctions
Authors:
Mete Şeref Ahunbay,
Adrian Vetta
Abstract:
We study the efficiency of sequential multiunit auctions with two-buyers and complete information. For general valuation functions, we show that the price of anarchy is exactly $1/T$ for auctions with $T$ items for sale. For concave valuation functions, we show that the price of anarchy is bounded below by $1-1/e\simeq 0.632$. This bound is asymptotically tight as the number of items sold tends to…
▽ More
We study the efficiency of sequential multiunit auctions with two-buyers and complete information. For general valuation functions, we show that the price of anarchy is exactly $1/T$ for auctions with $T$ items for sale. For concave valuation functions, we show that the price of anarchy is bounded below by $1-1/e\simeq 0.632$. This bound is asymptotically tight as the number of items sold tends to infinity.
△ Less
Submitted 20 July, 2020;
originally announced July 2020.
-
Two-Buyer Sequential Multiunit Auctions with No Overbidding
Authors:
Mete Şeref Ahunbay,
Brendan Lucier,
Adrian Vetta
Abstract:
We study equilibria in two-buyer sequential second-price (or first-price) auctions for identical goods. Buyers have weakly decreasing incremental values, and we make a behavioural no-overbidding assumption: the buyers do not bid above their incremental values. Structurally, we show equilibria are intrinsically linked to a greedy bidding strategy. We then prove three results. First, any equilibrium…
▽ More
We study equilibria in two-buyer sequential second-price (or first-price) auctions for identical goods. Buyers have weakly decreasing incremental values, and we make a behavioural no-overbidding assumption: the buyers do not bid above their incremental values. Structurally, we show equilibria are intrinsically linked to a greedy bidding strategy. We then prove three results. First, any equilibrium consists of three phases: a competitive phase, a competition reduction phase and a monopsony phase. In particular, there is a time after which one buyer exhibits monopsonistic behaviours. Second, the declining price anomaly holds: prices weakly decrease over time at any equilibrium in the no-overbidding game, a fact previously known for equilibria with overbidding. Third, the price of anarchy of the sequential auction is exactly $1 - 1/e$.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
How Many Freemasons Are There? The Consensus Voting Mechanism in Metric Spaces
Authors:
Mashbat Suzuki,
Adrian Vetta
Abstract:
We study the evolution of a social group when admission to the group is determined via consensus or unanimity voting. In each time period, two candidates apply for membership and a candidate is selected if and only if all the current group members agree. We apply the spatial theory of voting where group members and candidates are located in a metric space and each member votes for its closest (mos…
▽ More
We study the evolution of a social group when admission to the group is determined via consensus or unanimity voting. In each time period, two candidates apply for membership and a candidate is selected if and only if all the current group members agree. We apply the spatial theory of voting where group members and candidates are located in a metric space and each member votes for its closest (most similar) candidate. Our interest focuses on the expected cardinality of the group after $T$ time periods. To evaluate this we study the geometry inherent in dynamic consensus voting over a metric space. This allows us to develop a set of techniques for lower bounding and upper bounding the expected cardinality of a group. We specialize these methods for two-dimensional metric spaces. For the unit ball the expected cardinality of the group after $T$ time periods is $Θ(T^{1/8})$. In sharp contrast, for the unit square the expected cardinality is at least $Ω(\ln T)$ but at most $O(\ln T \cdot \ln\ln T )$.
△ Less
Submitted 25 May, 2020;
originally announced May 2020.
-
One Dollar Each Eliminates Envy
Authors:
Johannes Brustle,
Jack Dippel,
Vishnu V. Narayan,
Mashbat Suzuki,
Adrian Vetta
Abstract:
We study the fair division of a collection of $m$ indivisible goods amongst a set of $n$ agents. Whilst envy-free allocations typically do not exist in the indivisible goods setting, envy-freeness can be achieved if some amount of a divisible good (money) is introduced. Specifically, Halpern and Shah (SAGT 2019, pp.374-389) showed that, given additive valuation functions where the marginal value o…
▽ More
We study the fair division of a collection of $m$ indivisible goods amongst a set of $n$ agents. Whilst envy-free allocations typically do not exist in the indivisible goods setting, envy-freeness can be achieved if some amount of a divisible good (money) is introduced. Specifically, Halpern and Shah (SAGT 2019, pp.374-389) showed that, given additive valuation functions where the marginal value of each item is at most one dollar for each agent, there always exists an envy-free allocation requiring a subsidy of at most $(n-1)\cdot m$ dollars. The authors also conjectured that a subsidy of $n-1$ dollars is sufficient for additive valuations. We prove this conjecture. In fact, a subsidy of at most one dollar per agent is sufficient to guarantee the existence of an envy-free allocation. Further, we prove that for general monotonic valuation functions an envy-free allocation always exists with a subsidy of at most $2(n-1)$ dollars per agent. In particular, the total subsidy required for monotonic valuations is independent of the number of items.
△ Less
Submitted 5 December, 2019;
originally announced December 2019.
-
The Declining Price Anomaly is not Universal in Multi-Buyer Sequential Auctions (but almost is)
Authors:
Vishnu V. Narayan,
Enguerrand Prebet,
Adrian Vetta
Abstract:
The declining price anomaly states that the price weakly decreases when multiple copies of an item are sold sequentially over time. The anomaly has been observed in a plethora of practical applications. On the theoretical side, Gale and Stegeman proved that the anomaly is guaranteed to hold in full information sequential auctions with exactly two buyers. We prove that the declining price anomaly i…
▽ More
The declining price anomaly states that the price weakly decreases when multiple copies of an item are sold sequentially over time. The anomaly has been observed in a plethora of practical applications. On the theoretical side, Gale and Stegeman proved that the anomaly is guaranteed to hold in full information sequential auctions with exactly two buyers. We prove that the declining price anomaly is not guaranteed in full information sequential auctions with three or more buyers. This result applies to both first-price and second-price sequential auctions. Moreover, it applies regardless of the tie-breaking rule used to generate equilibria in these sequential auctions. To prove this result we provide a refined treatment of subgame perfect equilibria that survive the iterative deletion of weakly dominated strategies and use this framework to experimentally generate a very large number of random sequential auction instances. In particular, our experiments produce an instance with three bidders and eight items that, for a specific tie-breaking rule, induces a non-monotonic price trajectory. Theoretic analyses are then applied to show that this instance can be used to prove that for every possible tie-breaking rule there is a sequential auction on which it induces a non-monotonic price trajectory. On the other hand, our experiments show that non-monotonic price trajectories are extremely rare. In over six million experiments only a 0.000183 proportion of the instances violated the declining price anomaly.
△ Less
Submitted 2 May, 2019;
originally announced May 2019.
-
The Fair Division of Hereditary Set Systems
Authors:
Zhentao Li,
Adrian Vetta
Abstract:
We consider the fair division of indivisible items using the maximin shares measure. Recent work on the topic has focused on extending results beyond the class of additive valuation functions. In this spirit, we study the case where the items form an hereditary set system. We present a simple algorithm that allocates each agent a bundle of items whose value is at least $0.3636$ times the maximin s…
▽ More
We consider the fair division of indivisible items using the maximin shares measure. Recent work on the topic has focused on extending results beyond the class of additive valuation functions. In this spirit, we study the case where the items form an hereditary set system. We present a simple algorithm that allocates each agent a bundle of items whose value is at least $0.3636$ times the maximin share of the agent. This improves upon the current best known guarantee of $0.2$ due to Ghodsi et al. The analysis of the algorithm is almost tight; we present an instance where the algorithm provides a guarantee of at most $0.3738$. We also show that the algorithm can be implemented in polynomial time given a valuation oracle for each agent.
△ Less
Submitted 18 October, 2023; v1 submitted 22 December, 2018;
originally announced December 2018.
-
Welfare and Rationality Guarantees for the Simultaneous Multiple-Round Ascending Auction
Authors:
Nicolas Bousquet,
Yang Cai,
Adrian Vetta
Abstract:
The simultaneous multiple-round auction (SMRA) and the combinatorial clock auction (CCA) are the two primary mechanisms used to sell bandwidth. Under truthful bidding, the SMRA is known to output a Walrasian equilibrium that maximizes social welfare provided the bidder valuation functions satisfy the gross substitutes property. Recently, it was shown that the combinatorial clock auction (CCA) prov…
▽ More
The simultaneous multiple-round auction (SMRA) and the combinatorial clock auction (CCA) are the two primary mechanisms used to sell bandwidth. Under truthful bidding, the SMRA is known to output a Walrasian equilibrium that maximizes social welfare provided the bidder valuation functions satisfy the gross substitutes property. Recently, it was shown that the combinatorial clock auction (CCA) provides good welfare guarantees for general classes of valuation functions. This motivates the question of whether similar welfare guarantees hold for the SMRA in the case of general valuation functions.
We show the answer is no. But we prove that good welfare guarantees still arise if the degree of complementarities in the bidder valuations are bounded. In particular, if bidder valuations functions are $α$-near-submodular then, under truthful bidding, the SMRA has a welfare ratio (the worst case ratio between the social welfare of the optimal allocation and the auction allocation) of at most $(1+α)$. The special case of submodular valuations, namely $α=1$, and produces individually rational solutions. However, for $α>1$, this is a bicriteria guarantee, to obtain good welfare under truthful bidding requires relaxing individual rationality.
Finally, we examine what strategies are required to ensure individual rationality in the SMRA with general valuation functions. First, we provide a weak characterization, namely \emph{secure bidding}, for individual rationality. We then show that if the bidders use a profit-maximizing secure bidding strategy the welfare ratio is at most $1+α$. Consequently, by bidding securely, it is possible to obtain the same welfare guarantees as truthful bidding without the loss of individual rationality.
△ Less
Submitted 1 October, 2015;
originally announced October 2015.
-
Pricing Policies for Selling Indivisible Storable Goods to Strategic Consumers
Authors:
Gerardo Berbeglia,
Gautam Rayaprolu,
Adrian Vetta
Abstract:
We study the dynamic pricing problem faced by a monopolistic retailer who sells a storable product to forward-looking consumers. In this framework, the two major pricing policies (or mechanisms) studied in the literature are the preannounced (commitment) pricing policy and the contingent (threat or history dependent) pricing policy. We analyse and compare these pricing policies in the setting wher…
▽ More
We study the dynamic pricing problem faced by a monopolistic retailer who sells a storable product to forward-looking consumers. In this framework, the two major pricing policies (or mechanisms) studied in the literature are the preannounced (commitment) pricing policy and the contingent (threat or history dependent) pricing policy. We analyse and compare these pricing policies in the setting where the good can be purchased along a finite time horizon in indivisible atomic quantities. First, we show that, given linear storage costs, the retailer can compute an optimal preannounced pricing policy in polynomial time by solving a dynamic program. Moreover, under such a policy, we show that consumers do not need to store units in order to anticipate price rises. Second, under the contingent pricing policy rather than the preannounced pricing mechanism, (i) prices could be lower, (ii) retailer revenues could be higher, and (iii) consumer surplus could be higher. This result is surprising, in that these three facts are in complete contrast to the case of a retailer selling divisible storable goods Dudine et al. (2006). Third, we quantify exactly how much more profitable a contingent policy could be with respect to a preannounced policy. Specifically, for a market with $N$ consumers, a contingent policy can produce a multiplicative factor of $Ω(\log N)$ more revenues than a preannounced policy, and this bound is tight.
△ Less
Submitted 19 April, 2018; v1 submitted 24 September, 2015;
originally announced September 2015.
-
Testing Consumer Rationality using Perfect Graphs and Oriented Discs
Authors:
Shant Boodaghians,
Adrian Vetta
Abstract:
Given a consumer data-set, the axioms of revealed preference proffer a binary test for rational behaviour. A natural (non-binary) measure of the degree of rationality exhibited by the consumer is the minimum number of data points whose removal induces a rationalisable data-set.We study the computational complexity of the resultant consumer rationality problem in this paper. This problem is, in the…
▽ More
Given a consumer data-set, the axioms of revealed preference proffer a binary test for rational behaviour. A natural (non-binary) measure of the degree of rationality exhibited by the consumer is the minimum number of data points whose removal induces a rationalisable data-set.We study the computational complexity of the resultant consumer rationality problem in this paper. This problem is, in the worst case, equivalent (in terms of approximation) to the directed feedback vertex set problem. Our main result is to obtain an exact threshold on the number of commodities that separates easy cases and hard cases. Specifically, for two-commodity markets the consumer rationality problem is polynomial time solvable; we prove this via a reduction to the vertex cover problem on perfect graphs. For three-commodity markets, however, the problem is NP-complete; we prove thisusing a reduction from planar 3-SAT that is based upon oriented-disc drawings.
△ Less
Submitted 27 October, 2015; v1 submitted 27 July, 2015;
originally announced July 2015.
-
On the Economic Efficiency of the Combinatorial Clock Auction
Authors:
Nicolas Bousquet,
Yang Cai,
Christoph Hunkenschröder,
Adrian Vetta
Abstract:
Since the 1990s spectrum auctions have been implemented world-wide. This has provided for a practical examination of an assortment of auction mechanisms and, amongst these, two simultaneous ascending price auctions have proved to be extremely successful. These are the simultaneous multiround ascending auction (SMRA) and the combinatorial clock auction (CCA). It has long been known that, for certai…
▽ More
Since the 1990s spectrum auctions have been implemented world-wide. This has provided for a practical examination of an assortment of auction mechanisms and, amongst these, two simultaneous ascending price auctions have proved to be extremely successful. These are the simultaneous multiround ascending auction (SMRA) and the combinatorial clock auction (CCA). It has long been known that, for certain classes of valuation functions, the SMRA provides good theoretical guarantees on social welfare. However, no such guarantees were known for the CCA.
In this paper, we show that CCA does provide strong guarantees on social welfare provided the price increment and stop** rule are well-chosen. This is very surprising in that the choice of price increment has been used primarily to adjust auction duration and the stop** rule has attracted little attention. The main result is a polylogarithmic approximation guarantee for social welfare when the maximum number of items demanded $\mathcal{C}$ by a bidder is fixed. Specifically, we show that either the revenue of the CCA is at least an $Ω\Big(\frac{1}{\mathcal{C}^{2}\log n\log^2m}\Big)$-fraction of the optimal welfare or the welfare of the CCA is at least an $Ω\Big(\frac{1}{\log n}\Big)$-fraction of the optimal welfare, where $n$ is the number of bidders and $m$ is the number of items. As a corollary, the welfare ratio -- the worst case ratio between the social welfare of the optimum allocation and the social welfare of the CCA allocation -- is at most $O(\mathcal{C}^2 \cdot \log n \cdot \log^2 m)$. We emphasize that this latter result requires no assumption on bidders valuation functions. Finally, we prove that such a dependence on $\mathcal{C}$ is necessary. In particular, we show that the welfare ratio of the CCA is at least $Ω\Big(\mathcal{C} \cdot \frac{\log m}{\log \log m}\Big)$.
△ Less
Submitted 23 July, 2015;
originally announced July 2015.
-
The Combinatorial World (of Auctions) According to GARP
Authors:
Shant Boodaghians,
Adrian Vetta
Abstract:
Revealed preference techniques are used to test whether a data set is compatible with rational behaviour. They are also incorporated as constraints in mechanism design to encourage truthful behaviour in applications such as combinatorial auctions. In the auction setting, we present an efficient combinatorial algorithm to find a virtual valuation function with the optimal (additive) rationality gua…
▽ More
Revealed preference techniques are used to test whether a data set is compatible with rational behaviour. They are also incorporated as constraints in mechanism design to encourage truthful behaviour in applications such as combinatorial auctions. In the auction setting, we present an efficient combinatorial algorithm to find a virtual valuation function with the optimal (additive) rationality guarantee. Moreover, we show that there exists such a valuation function that both is individually rational and is minimum (that is, it is component-wise dominated by any other individually rational, virtual valuation function that approximately fits the data). Similarly, given upper bound constraints on the valuation function, we show how to fit the maximum virtual valuation function with the optimal additive rationality guarantee. In practice, revealed preference bidding constraints are very demanding. We explain how approximate rationality can be used to create relaxed revealed preference constraints in an auction. We then show how combinatorial methods can be used to implement these relaxed constraints. Worst/best-case welfare guarantees that result from the use of such mechanisms can be quantified via the minimum/maximum virtual valuation function.
△ Less
Submitted 27 July, 2015; v1 submitted 3 May, 2015;
originally announced May 2015.
-
Large Supports are required for Well-Supported Nash Equilibria
Authors:
Yogesh Anbalagan,
Hao Huang,
Shachar Lovett,
Sergey Norin,
Adrian Vetta,
Hehui Wu
Abstract:
We prove that for any constant $k$ and any $ε<1$, there exist bimatrix win-lose games for which every $ε$-WSNE requires supports of cardinality greater than $k$. To do this, we provide a graph-theoretic characterization of win-lose games that possess $ε$-WSNE with constant cardinality supports. We then apply a result in additive number theory of Haight to construct win-lose games that do not satis…
▽ More
We prove that for any constant $k$ and any $ε<1$, there exist bimatrix win-lose games for which every $ε$-WSNE requires supports of cardinality greater than $k$. To do this, we provide a graph-theoretic characterization of win-lose games that possess $ε$-WSNE with constant cardinality supports. We then apply a result in additive number theory of Haight to construct win-lose games that do not satisfy the requirements of the characterization. These constructions disprove graph theoretic conjectures of Daskalakis, Mehta and Papadimitriou, and Myers.
△ Less
Submitted 14 April, 2015;
originally announced April 2015.
-
The Inapproximability of Maximum Single-Sink Unsplittable, Priority and Confluent Flow Problems
Authors:
F. Bruce Shepherd,
Adrian Vetta
Abstract:
We consider single-sink network flow problems. An instance consists of a capacitated graph (directed or undirected), a sink node $t$ and a set of demands that we want to send to the sink. Here demand $i$ is located at a node $s_i$ and requests an amount $d_i$ of flow capacity in order to route successfully. Two standard objectives are to maximise (i) the number of demands (cardinality) and (ii) th…
▽ More
We consider single-sink network flow problems. An instance consists of a capacitated graph (directed or undirected), a sink node $t$ and a set of demands that we want to send to the sink. Here demand $i$ is located at a node $s_i$ and requests an amount $d_i$ of flow capacity in order to route successfully. Two standard objectives are to maximise (i) the number of demands (cardinality) and (ii) the total demand (throughput) that can be routed subject to the capacity constraints. Furthermore, we examine these maximisation problems for three specialised types of network flow: unsplittable, confluent and priority flows.
In the {\em unsplittable flow} problem (UFP), we have edge capacities, and the demand for $s_i$ must be routed on a single path. In the {\em confluent flow} problem, we have node capacities, and the final flow must induce a tree. Both of these problems have been studied extensively, primarily in the single-sink setting. However, most of this work imposed the {\em no-bottleneck assumption} (that the maximum demand $d_{max}$ is at most the minimum capacity $u_{min}$). Given the no-bottleneck assumption (NBA), there is a factor $4.43$-approximation algorithm due to Dinitz et al. for the unsplittable flow problem. Under the stronger assumption of uniform capacities, there is a factor $3$-approximation algorithm due to Chen et al. for the confluent flow problem. However, unlike the UFP, we show that a constant factor approximation algorithm cannot be obtained for the single-sink confluent flows even {\bf with} the NBA.
Without NBA, we show that maximum cardinality single-sink UFP is hard to approximate to within a factor $n^{.5-ε}$ even when all demands lie in a small interval $[1,1+Δ]$ where $Δ>0$ (but has polynomial input size). This is very sharp since when $Δ=0$, this becomes a maximum flow problem.
△ Less
Submitted 15 May, 2015; v1 submitted 2 April, 2015;
originally announced April 2015.
-
Coalition Games on Interaction Graphs: A Horticultural Perspective
Authors:
Nicolas Bousquet,
Zhentao Li,
Adrian Vetta
Abstract:
We examine cooperative games where the viability of a coalition is determined by whether or not its members have the ability to communicate amongst themselves independently of non-members. This necessary condition for viability was proposed by Myerson (1977) and is modeled via an interaction graph $G=(V,E)$; a coalition $S\subseteq V$ is then viable if and only if the induced graph $G[S]$ is conne…
▽ More
We examine cooperative games where the viability of a coalition is determined by whether or not its members have the ability to communicate amongst themselves independently of non-members. This necessary condition for viability was proposed by Myerson (1977) and is modeled via an interaction graph $G=(V,E)$; a coalition $S\subseteq V$ is then viable if and only if the induced graph $G[S]$ is connected. The non-emptiness of the core of a coalition game can be tested by a well-known covering LP. Moreover, the integrality gap of its dual packing LP defines exactly the multiplicative least-core and the relative cost of stability of the coalition game. This gap is upper bounded by the packing-covering ratio which, for graphical coalition games, is known to be at most the treewidth of the interaction graph plus one (Meir et al. 2013).
We examine the packing-covering ratio and integrality gaps of graphical coalition games in more detail. We introduce the thicket parameter of a graph, and prove it precisely measures the packing-covering ratio. It also approximately measures the primal and dual integrality gaps. The thicket number provides an upper bound of both integrality gaps. Moreover we show that for any interaction graph, the primal integrality gap is, in the worst case, linear in terms of the thicket number while the dual integrality gap is polynomial in terms of it. At the heart of our results, is a graph theoretic minmax theorem showing the thicket number is equal to the minimum width of a vine decomposition of the coalition graph (a vine decomposition is a generalization of a tree decomposition). We also explain how the thicket number relates to the VC-dimension of the set system produced by the game.
△ Less
Submitted 26 February, 2015;
originally announced February 2015.
-
The effect of a finite time horizon in the durable good monopoly problem with atomic consumers
Authors:
Gerardo Berbeglia,
Peter Sloan,
Adrian Vetta
Abstract:
A durable good is a long-lasting good that can be consumed repeatedly over time, and a duropolist is a monopolist in the market of a durable good. In 1972, Ronald Coase conjectured that a duropolist who lacks commitment power cannot sell the good above the competitive price if the time between periods approaches zero. Coase's counterintuitive conjecture was later proven by Gul et al. (1986) under…
▽ More
A durable good is a long-lasting good that can be consumed repeatedly over time, and a duropolist is a monopolist in the market of a durable good. In 1972, Ronald Coase conjectured that a duropolist who lacks commitment power cannot sell the good above the competitive price if the time between periods approaches zero. Coase's counterintuitive conjecture was later proven by Gul et al. (1986) under an infinite time horizon model with non-atomic consumers. Remarkably, the situation changes dramatically for atomic consumers and an infinite time horizon. Bagnoli et al. (1989) showed the existence of a subgame-perfect Nash equilibrium where the duropolist extracts all the consumer surplus. Observe that, in these cases, duropoly profits are either arbitrarily smaller or arbitrarily larger than the corresponding static monopoly profits -- the profit a monopolist for an equivalent consumable good could generate. In this paper we show that the result of Bagnoli et al. (1989) is in fact driven by the infinite time horizon. Indeed, we prove that for finite time horizons and atomic agents, in any equilibrium satisfying the standard skimming property, duropoly profits are at most an additive factor more than static monopoly profits. In particular, duropoly profits are always at least static monopoly profits but never exceed twice the static monopoly profits.
Finally we show that, for atomic consumers, equilibria may exist that do not satisfy the skimming property. For two time periods, we prove that amongst all equilibria that maximize duropoly profits, at least one of them satisfies the skimming property. We conjecture that this is true for any number of time period.
△ Less
Submitted 1 December, 2016; v1 submitted 28 September, 2014;
originally announced September 2014.
-
A Near-Optimal Mechanism for Impartial Selection
Authors:
Nicolas Bousquet,
Sergey Norin,
Adrian Vetta
Abstract:
We examine strategy-proof elections to select a winner amongst a set of agents, each of whom cares only about winning. This impartial selection problem was introduced independently by Holzman and Moulin and Alon et al. Fisher and Klimm showed that the permutation mechanism is impartial and $1/2$-optimal, that is, it selects an agent who gains, in expectation, at least half the number of votes of m…
▽ More
We examine strategy-proof elections to select a winner amongst a set of agents, each of whom cares only about winning. This impartial selection problem was introduced independently by Holzman and Moulin and Alon et al. Fisher and Klimm showed that the permutation mechanism is impartial and $1/2$-optimal, that is, it selects an agent who gains, in expectation, at least half the number of votes of most popular agent. Furthermore, they showed the mechanism is $7/12$-optimal if agents cannot abstain in the election. We show that a better guarantee is possible, provided the most popular agent receives at least a large enough, but constant, number of votes. Specifically, we prove that, for any $ε>0$, there is a constant $N_ε$ (independent of the number $n$ of voters) such that, if the maximum number of votes of the most popular agent is at least $N_ε$ then the permutation mechanism is $(\frac{3}{4}-ε)$-optimal. This result is tight.
Furthermore, in our main result, we prove that near-optimal impartial mechanisms exist. In particular, there is an impartial mechanism that is $(1-ε)$-optimal, for any $ε>0$, provided that the maximum number of votes of the most popular agent is at least a constant $M_ε$.
△ Less
Submitted 31 July, 2014;
originally announced July 2014.
-
Polylogarithmic Supports are required for Approximate Well-Supported Nash Equilibria below 2/3
Authors:
Yogesh Anbalagan,
Sergey Norin,
Rahul Savani,
Adrian Vetta
Abstract:
In an epsilon-approximate Nash equilibrium, a player can gain at most epsilon in expectation by unilateral deviation. An epsilon well-supported approximate Nash equilibrium has the stronger requirement that every pure strategy used with positive probability must have payoff within epsilon of the best response payoff. Daskalakis, Mehta and Papadimitriou conjectured that every win-lose bimatrix game…
▽ More
In an epsilon-approximate Nash equilibrium, a player can gain at most epsilon in expectation by unilateral deviation. An epsilon well-supported approximate Nash equilibrium has the stronger requirement that every pure strategy used with positive probability must have payoff within epsilon of the best response payoff. Daskalakis, Mehta and Papadimitriou conjectured that every win-lose bimatrix game has a 2/3-well-supported Nash equilibrium that uses supports of cardinality at most three. Indeed, they showed that such an equilibrium will exist subject to the correctness of a graph-theoretic conjecture. Regardless of the correctness of this conjecture, we show that the barrier of a 2/3 payoff guarantee cannot be broken with constant size supports; we construct win-lose games that require supports of cardinality at least Omega((log n)^(1/3)) in any epsilon-well supported equilibrium with epsilon < 2/3. The key tool in showing the validity of the construction is a proof of a bipartite digraph variant of the well-known Caccetta-Haggkvist conjecture. A probabilistic argument shows that there exist epsilon-well-supported equilibria with supports of cardinality O(log n/(epsilon^2)), for any epsilon> 0; thus, the polylogarithmic cardinality bound presented cannot be greatly improved. We also show that for any delta > 0, there exist win-lose games for which no pair of strategies with support sizes at most two is a (1-delta)-well-supported Nash equilibrium. In contrast, every bimatrix game with payoffs in [0,1] has a 1/2-approximate Nash equilibrium where the supports of the players have cardinality at most two.
△ Less
Submitted 21 March, 2014; v1 submitted 27 September, 2013;
originally announced September 2013.
-
Reducing the rank of a matroid
Authors:
Gwenaël Joret,
Adrian Vetta
Abstract:
We consider the rank reduction problem for matroids: Given a matroid M and an integer k, find a minimum size subset of elements of M whose removal reduces the rank of M by at least k. When M is a graphical matroid this problem is the minimum k-cut problem, which admits a 2-approximation algorithm. In this paper we show that the rank reduction problem for transversal matroids is essentially at leas…
▽ More
We consider the rank reduction problem for matroids: Given a matroid M and an integer k, find a minimum size subset of elements of M whose removal reduces the rank of M by at least k. When M is a graphical matroid this problem is the minimum k-cut problem, which admits a 2-approximation algorithm. In this paper we show that the rank reduction problem for transversal matroids is essentially at least as hard to approximate as the densest k-subgraph problem. We also prove that, while the problem is easily solvable in polynomial time for partition matroids, it is NP-hard when considering the intersection of two partition matroids. Our proof shows, in particular, that the maximum vertex cover problem is NP-hard on bipartite graphs, which answers an open problem of B. Simeone.
△ Less
Submitted 5 September, 2015; v1 submitted 20 November, 2012;
originally announced November 2012.
-
Routing Regardless of Network Stability
Authors:
Bundit Laekhanukit,
Adrian Vetta,
Gordon Wilfong
Abstract:
We examine the effectiveness of packet routing in this model for the broad class next-hop preferences with filtering. Here each node v has a filtering list D(v) consisting of nodes it does not want its packets to route through. Acceptable paths (those that avoid nodes in the filtering list) are ranked according to the next-hop, that is, the neighbour of v that the path begins with. On the negative…
▽ More
We examine the effectiveness of packet routing in this model for the broad class next-hop preferences with filtering. Here each node v has a filtering list D(v) consisting of nodes it does not want its packets to route through. Acceptable paths (those that avoid nodes in the filtering list) are ranked according to the next-hop, that is, the neighbour of v that the path begins with. On the negative side, we present a strong inapproximability result. For filtering lists of cardinality at most one, given a network in which an equilibrium is guaranteed to exist, it is NP-hard to approximate the maximum number of packets that can be routed to within a factor of O(n^{1-ε}), for any constant ε>0. On the positive side, we give algorithms to show that in two fundamental cases every packet will eventually route with probability one. The first case is when each node's filtering list contains only itself, that is, D(v)={v}. Moreover, with positive probability every packet will be routed before the control plane reaches an equilibrium. The second case is when all the filtering lists are empty, that is, $\mathcal{D}(v)=\emptyset$. Thus, with probability one packets will route even when the nodes don't care if their packets cycle! Furthermore, with probability one every packet will route even when the control plane has em no equilibrium at all.
△ Less
Submitted 15 January, 2013; v1 submitted 30 June, 2012;
originally announced July 2012.
-
On the Implications of Lookahead Search in Game Playing
Authors:
Vahab Mirrokni,
Nithum Thain,
Adrian Vetta
Abstract:
Lookahead search is perhaps the most natural and widely used game playing strategy. Given the practical importance of the method, the aim of this paper is to provide a theoretical performance examination of lookahead search in a wide variety of applications.
To determine a strategy play using lookahead search}, each agent predicts multiple levels of possible re-actions to her move (via the use o…
▽ More
Lookahead search is perhaps the most natural and widely used game playing strategy. Given the practical importance of the method, the aim of this paper is to provide a theoretical performance examination of lookahead search in a wide variety of applications.
To determine a strategy play using lookahead search}, each agent predicts multiple levels of possible re-actions to her move (via the use of a search tree), and then chooses the play that optimizes her future payoff accounting for these re-actions. There are several choices of optimization function the agents can choose, where the most appropriate choice of function will depend on the specifics of the actual game - we illustrate this in our examples. Furthermore, the type of search tree chosen by computationally-constrained agent can vary. We focus on the case where agents can evaluate only a bounded number, $k$, of moves into the future. That is, we use depth $k$ search trees and call this approach {\em k-lookahead search}.
We apply our method in five well-known settings: AdWord auctions; industrial organization (Cournot's model); congestion games; valid-utility games and basic-utility games; cost-sharing network design games. We consider two questions. First, what is the expected social quality of outcome when agents apply lookahead search? Second, what interactive behaviours can be exhibited when players use lookahead search?
△ Less
Submitted 19 February, 2012;
originally announced February 2012.