Nicole Immorlica, Brendan Lucier, Emmanouil Pountourakis, Sam Taggart
{"title":"Repeated Sales with Multiple Strategic Buyers","authors":"Nicole Immorlica, Brendan Lucier, Emmanouil Pountourakis, Sam Taggart","doi":"10.1145/3033274.3085130","DOIUrl":"https://doi.org/10.1145/3033274.3085130","url":null,"abstract":"In a market with repeated sales of a single item to a single buyer, prior work has established the existence of a zero revenue perfect Bayesian equilibrium in the absence of a commitment device for the seller. This counter-intuitive outcome is the result of strategic purchasing decisions, where the buyer worries that the seller will update future prices in response to past purchasing behavior. We first show that in fact almost any revenue can be achieved in equilibrium, but the zero revenue equilibrium uniquely survives natural refinements. This establishes that single buyer markets without commitment are subject to market failure. However, our main result shows that this market failure depends crucially on the assumption of a single buyer. If there are multiple buyers, the seller can approximate the revenue that is possible with commitment. We construct an intuitive equilibrium for multiple buyers that survives our refinements, in which the seller learns from past purchasing behavior and obtains a constant factor of the per-round Myerson optimal revenue. The seller's pricing policy has a natural explore-exploit structure, where the seller starts with low prices that gradually ascend to learn buyers' values, and in later rounds exploits the surviving high-valued buyers. The result resembles an ascending-price auction, implemented over time. This relates to the intuition from the Coase conjecture in the durable goods literature [Coase 1972] which states that in the absence of commitment, one should expect the VCG outcome (which, for multiple buyers, yields non-trivial revenue for the seller). We further explore this relationship to the Coase conjecture by considering a setting with unlimited supply of goods each round. The Coasian intuition would suggest that the seller makes no revenue in this case, since the VCG outcome gives each item away for a trivial price. However, we show that this intuition does not hold for our setting with non-durable goods. As in the single-item setting, when the seller is constrained to posting a single, anonymous price to all buyers, there exist equilibria for which the seller's revenue is within a constant factor of the Myerson optimal revenue. Finally, we consider the importance of our restriction to anonymous prices. We show that if the seller is permitted to offer different prices to each agent then the Coasian intuition from the single-item setting binds once more: the seller is no longer able to extract nontrivial revenue from any equilibrium with sufficiently natural structure. In other words, the restriction of the seller to an anonymous price was crucial in deriving nontrivial revenue with unlimited supply. Intuitively, an anonymous price mitigates the ability of the seller to use the information an individual buyer leaks with each purchasing decision. Consequently, buyers are more willing to make nontrivial purchasing decisions, which in turn allows the seller to learn.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"94 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129630476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Controlled Dynamic Fair Division","authors":"E. Friedman, Alexandros Psomas, Shai Vardi","doi":"10.1145/3033274.3085123","DOIUrl":"https://doi.org/10.1145/3033274.3085123","url":null,"abstract":"In the single-resource dynamic fair division framework there is a homogeneous resource that is shared between agents dynamically arriving and departing over time. When n agents are present, there is only one truly ``fair'' allocation: each agent receives 1/n of the resource. Implementing this static solution in the dynamic world is notoriously impractical; there are too many disruptions to existing allocations: for a new agent to get her fair share, all other agents must give up a small piece. A natural remedy is simply to restrict the number of allowed disruptions when a new agent arrives. [16] considered this setting, and introduced a natural benchmark - the fairness ratio - the ratio of the minimal share to the ideal share (1/k when there are k agents in the system). They described an algorithm that obtains the optimal fairness ratio when d ≥ 1 disruptions are allowed per arriving agent. However, in systems with high arrival rates even one disruption per arrival can be too costly. We consider the scenario when fewer than one disruption per arrival is allowed. We show that we can maintain high levels of fairness even with significantly fewer than one disruption per arrival. In particular, we present an instance-optimal algorithm (the input to the algorithm is a vector of allowed disruptions) and show that the fairness ratio of this algorithm decays logarithmically with c, where c is the longest number of consecutive time steps in which we are not allowed any disruptions. We then consider dynamic fair division with multiple, heterogeneous resources. In this model, agents demand the resources in fixed proportions, known in economics as Leontief preferences. We show that the general problem is NP-hard, even if the resource demands are binary and known in advance. We study the case where the fairness criterion is Dominant Resource Fairness (DRF), and the demand vectors are binary. We design a generic algorithm for this setting using a reduction to the single-resource case. To prove an impossibility result, we take an integer program for the problem and analyze an algorithm for constructing dual solutions to a ``residual'' linear program; this approach may be of independent interest.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"44 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131206215","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Machine-Learning Aided Peer Prediction","authors":"Yang Liu, Yiling Chen","doi":"10.1145/3033274.3085126","DOIUrl":"https://doi.org/10.1145/3033274.3085126","url":null,"abstract":"Information Elicitation without Verification (IEWV) is a classic problem where a principal wants to truthfully elicit high-quality answers of some tasks from strategic agents despite that she cannot evaluate the quality of agents' contributions. The established solution to this problem is a class of peer prediction mechanisms, where each agent is rewarded based on how his answers compare with those of his peer agents. These peer prediction mechanisms are designed by exploring the stochastic correlation of agents' answers. The prior distribution of agents' true answers is often assumed to be known to the principal or at least to the agents. In this paper, we consider the problem of IEWV for heterogeneous binary signal tasks, where the answer distributions for different tasks are different and unknown a priori. A concrete setting is eliciting labels for training data. Here, data points are represented by their feature vectors x's and the principal wants to obtain corresponding binary labels y's from strategic agents. We design peer prediction mechanisms that leverage not only the stochastic correlation of agents' labels for the same feature vector x but also the (learned) correlation between feature vectors x's and the ground-truth labels y's. In our mechanism, each agent is rewarded by how his answer compares with a reference answer generated by a classification algorithm specialized for dealing with noisy data. Every agent truthfully reporting and exerting high effort form a Bayesian Nash Equilibrium. Some benefits of this approach include: (1) we do not need to always re-assign each task to multiple workers to obtain redundant answers. (2) A class of surrogate loss functions for binary classification can help us design new reward functions for peer prediction. (3) Symmetric uninformative reporting strategy (pure or mixed) is not an equilibrium strategy. (4) The principal does not need to know the joint distribution of workers' information a priori. We hope this work can point to a new and promising direction of information elicitation via more intelligent algorithms.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128292378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
D. Goldstein, R. McAfee, Siddharth Suri, J. R. Wright
{"title":"Learning in the Repeated Secretary Problem","authors":"D. Goldstein, R. McAfee, Siddharth Suri, J. R. Wright","doi":"10.1145/3033274.3085112","DOIUrl":"https://doi.org/10.1145/3033274.3085112","url":null,"abstract":"In the classical secretary problem, one attempts to find the maximum of an unknown and unlearnable distribution through sequential search. In many real-world searches, however, distributions are not entirely unknown and can be learned through experience. To investigate learning in such a repeated secretary problem we conduct a large-scale behavioral experiment in which people search repeatedly from fixed distributions. In contrast to prior investigations that find no evidence for learning in the classical scenario, in the repeated setting we observe substantial learning resulting in near-optimal stopping behavior. We conduct a Bayesian comparison of multiple behavioral models which shows that participants' behavior is best described by a class of threshold-based models that contains the theoretically optimal strategy. In fact, fitting such a threshold-based model to data reveals players' estimated thresholds to be surprisingly close to the optimal thresholds after only a small number of games.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116175401","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Making it Safe to Use Centralized Markets: Epsilon - Dominant Individual Rationality and Applications to Market Design","authors":"Benjamin N. Roth, Ran I. Shorrer","doi":"10.1145/3033274.3085139","DOIUrl":"https://doi.org/10.1145/3033274.3085139","url":null,"abstract":"A critical, yet underappreciated feature of market design is that centralized markets operate within a broader economic context; often market designers cannot force participants to join a centralized market. As such, well-designed centralized markets must induce participants to join voluntarily, in spite of pre-existing decentralized institutions they may already be using. Utilizing the general framework of Monderer and Tennenholtz (2006), we take the view that centralizing a market is akin to designing a mediator to which people may sign away their decision rights. The mediator is voluntary in the sense that it cannot condition the actions of those who participate on the actions of those who do not. Within this setting we propose a new desideratum for market design: Dominant Individual Rationality (D-IR). A mediator is D-IR if every decentralized strategy is weakly dominated by some centralized strategy. While such a criterion does not offer a prediction about how people will behave within the centralized market, it does provide a strong guarantee that all players will use centralized strategies rather than opting out of the centralized market. We show that suitable modification of the Boston mechanism satisfies D-IR and a similar modification of any stable matching mechanism satisfies an approximation of D-IR. In both cases the modification relies on allowing the receiving end of the market to accept offers in either the centralized or decentralized part of the market. This design closely resembles the suggestion of Niederle and Roth (2006) about centralizing the market for gastroenterologists. Relative to their analysis, ours highlights why this design feature coupled with some, but not all, matching algorithms is effective in inducing participation of the proposing side of the market. Further, by highlighting its role in attaining (approximate) D-IR our analysis provides a new non-cooperative justification for stability. In other applications we demonstrate that, suitably modified, Top Trading Cycles satisfies D-IR, and double auctions satisfy approximate D-IR.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122465793","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Arpit Agarwal, Debmalya Mandal, D. Parkes, Nisarg Shah
{"title":"Peer Prediction with Heterogeneous Users","authors":"Arpit Agarwal, Debmalya Mandal, D. Parkes, Nisarg Shah","doi":"10.1145/3033274.3085127","DOIUrl":"https://doi.org/10.1145/3033274.3085127","url":null,"abstract":"Peer prediction mechanisms incentivize agents to truthfully report their signals, in the absence of a verification mechanism, by comparing their reports with those of their peers. Prior work in this area is essentially restricted to the case of homogeneous agents, whose signal distributions are identical. This is limiting in many domains, where we would expect agents to differ in taste, judgment and reliability. Although the Correlated Agreement (CA) mechanism [30] can be extended to handle heterogeneous agents, the new challenge is with the efficient estimation of agent signal types. We solve this problem by clustering agents based on their reporting behavior, proposing a mechanism that works with clusters of agents and designing algorithms that learn such a clustering. In this way, we also connect peer prediction with the Dawid and Skene [5] literature on latent types. We retain the robustness against coordinated misreports of the CA mechanism, achieving an approximate incentive guarantee of ε-informed truthfulness. We show on real data that this incentive approximation is reasonable in practice, and even with a small number of clusters.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"195 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123008708","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
I. Ashlagi, M. Braverman, Yashodhan Kanoria, Peng Shi
{"title":"Communication Requirements and Informative Signaling in Matching Markets","authors":"I. Ashlagi, M. Braverman, Yashodhan Kanoria, Peng Shi","doi":"10.1145/3033274.3084093","DOIUrl":"https://doi.org/10.1145/3033274.3084093","url":null,"abstract":"We study how much communication is needed to find a stable matching in a two-sided matching market with private preferences. Segal (2007) and Gonczarowski et al.~(2015) showed that in the worst case, any protocol that computes a stable matching requires the communication cost per agent to scale linearly in the total number of agents. In real-world markets with many agents, this communication requirement is implausibly high. This casts doubts on whether stable matching can arise in large markets. We study markets with realistic structure on the preferences and information of agents, and show that in \"typical\" markets, a stable matching can be found with much less communication effort. In our model, the preferences of workers are unrestricted, and the preferences of firms follow an additively separable latent utility model. Our efficient communication protocol modifies workers-proposing DA, by having firms signal workers they especially like, while also broadcasting qualification requirements to discourage other workers who have no realistic chances from applying. In the special case of tiered random markets, the protocol can be modified to run in two-rounds and involve only private messages. Our protocols have good incentive properties and give insights on how to mediate large matching markets to reduce congestion.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121018379","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Making Right Decisions Based on Wrong Opinions","authors":"Gerdus Benade, Anson Kahng, A. Procaccia","doi":"10.1145/3033274.3085108","DOIUrl":"https://doi.org/10.1145/3033274.3085108","url":null,"abstract":"We revisit the classic problem of designing voting rules that aggregate objective opinions, in a setting where voters have noisy estimates of a true ranking of the alternatives. Previous work has replaced structural assumptions on the noise with a worst-case approach that aims to choose an outcome that minimizes the maximum error with respect to any feasible true ranking. This approach underlies algorithms that have recently been deployed on the social choice website RoboVote.org. We take a less conservative viewpoint by minimizing the average error with respect to the set of feasible ground truth rankings. We derive (mostly sharp) analytical bounds on the expected error and establish the practical benefits of our approach through experiments.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"128 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115888542","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Stability, Strategy-Proofness, and Cumulative Offer Mechanisms","authors":"J. Hatfield, S. Kominers, Alexander Westkamp","doi":"10.2139/ssrn.3120463","DOIUrl":"https://doi.org/10.2139/ssrn.3120463","url":null,"abstract":"In many-to-one matching with contracts, agents on one side of the market, e.g., workers, can fulfill at most one contract, while agents on the other side of the market, e.g., firms, may desire multiple contracts. Hatfield and Molgrom [6] showed that when firms' preferences are substitutable and size monotonic, the worker-proposing cumulative offer mechanism is stable and strategy-proof (for workers). Recently, stable and strategy-proof matching has been shown to be possible in a number of real-world settings in which preferences are not necessarily substitutable (see, e.g., Sönmez ans Switzer, [13], Sönmez [12] Kamada and Kojima [7], and Aygün and Turhan [1]; this has motivated a search for weakened substitutability conditions that guarantee the existence of stable and strategy-proof mechanisms. Hatfield and Kojima [3] introduced unilateral substitutability and showed that when all firms' preferences are unilaterally substitutable (and size monotonic), the cumulative offer mechanism is stable and strategy-proof. Kominers and Sönmez [9] identified a novel class of preferences, called slot-specific priorities, and showed that if each firm's preferences are in this class, then the cumulative offer mechanism is again stable and strategy-proof. Subsequently, Hatfield and Kominers [4] developed a concept of substitutable completion and showed that when each firm's preferences admit a size monotonic substitutable completion, the cumulative offer mechanism is once more stable and strategy-proof. In this paper, we introduce three novel conditions---observable substitutability, observable size monotonicity, and non-manipulability via contractual terms---and show that when these conditions are satisfied, the cumulative offer mechanism is the unique mechanism that is stable and strategy-proof. Moreover, when the choice function of any firm fails one of our three conditions, we can construct unit-demand choice functions for the other firms such that no stable and strategy-proof mechanism exists. Our results give the first characterization of sufficient and necessary conditions for the guaranteed existence of stable and strategy-proof mechanisms for many-to-one matching with contracts. Our conditions are strictly weaker than the previously known sufficient conditions for the existence of stable and strategy-proof mechanisms; this enables new applications, as well as a new interpretation of prior models of matching with distributional constraints (Hatfield et al. [5]; see also Kamada and Kojima [7,8]). Additionally, our work gives a foundation for the use of cumulative offer mechanisms in many-to-one matching markets with contracts: Whenever a stable and strategy-proof matching mechanism exists, either it must coincide with a cumulative offer mechanism, or its stability and/or strategy-proofness depends crucially on some specific interdependence of preferences across hospitals that rules out certain unit-demand choice functions.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"44 5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126070258","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"The Theory is Predictive, but is it Complete?: An Application to Human Perception of Randomness","authors":"J. Kleinberg, Annie Liang, S. Mullainathan","doi":"10.1145/3033274.3084094","DOIUrl":"https://doi.org/10.1145/3033274.3084094","url":null,"abstract":"When we test a theory using data, it is common to focus on correctness: do the predictions of the theory match what we see in the data? But we also care about completeness: how much of the predictable variation in the data is captured by the theory? This question is difficult to answer, because in general we do not know how much \"predictable variation\" there is in the problem. In this paper, we consider approaches motivated by machine learning algorithms as a means of constructing a benchmark for the best attainable level of prediction. We illustrate our methods on the task of prediction of human-generated random sequences. Relative to an atheoretical machine learning algorithm benchmark, we find that existing behavioral models explain roughly 10 to 12 percent of the predictable variation in this problem. This fraction is robust across several variations on the problem. We also consider a version of this approach for analyzing field data from domains in which human perception and generation of randomness has been used as a conceptual framework; these include sequential decision-making and repeated zero-sum games. In these domains, our framework for testing the completeness of theories suggest that existing theoretical models may be more complete in their predictions for some domains than for others, suggesting that our methods can offer a comparative perspective across settings. Overall, our results indicate that (i) there is a significant amount of structure in this problem that existing models have yet to capture and (ii) there are rich domains in which machine learning may provide a viable approach to testing completeness.","PeriodicalId":287551,"journal":{"name":"Proceedings of the 2017 ACM Conference on Economics and Computation","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122142117","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}