The algorithmic economics seminar takes place at Carnegie Mellon University, and is generously supported by Yahoo! Academic Relations. The seminar's goal is to bring together computer scientists, economists, and social scientists (from Carnegie Mellon and the University of Pittsburgh) who are interested in research at the intersection of these disciplines. Each semester, three distinguished speakers are invited to speak at the seminar.
The seminar is organized by Ariel Procaccia. The talks usually take place on a Tuesday at noon (please check the schedule below). Lunch is served before every talk.
To receive announcements about the seminar, please join the mailing list.
March 17, 2015 @ noon, Newell Simon Hall (NSH) 3305
Itai Ashlagi, asst. prof. of operations management, MIT Sloan
January 14, 2015 @ noon, Gates Hillman Center (GHC) 6115 [joint w. theory lunch]
Eva Tardos, prof. of computer science, Cornell University
November 18, 2014 @ noon, Gates Hillman Center (GHC) 6115
Arpita Ghosh, assoc. prof. of information sciences, Cornell University
Incentives in Online Contribution: A game-theoretic framework
User contribution---whether explicit, as in online crowdsourcing and user-generated content systems, or implicit, via utilization of user data---is central to the Web. The efficacy of systems based on user contribution, however, hinges on users actually participating and behaving as intended by the designer. How does one design various aspects of online contribution platforms---algorithms, reward allocation mechanisms, interfaces---to elicit `good’ outcomes, given that the potential participants in these systems are economic agents with their own costs and benefits to contribution?
In this talk, we describe a game-theoretic framework for incentive design for online contribution. To illustrate this framework, we investigate widely-used reward mechanisms in user-generated content and crowdsourcing platforms on the Web---such as badges and leaderboards---in the context of equilibrium outcomes that arise when potential users derive benefit from these social-psychological rewards but incur a cost to contribution. Motivated by a growing literature suggesting that user behavior in online environments might deviate from standard economic models, we explore the idea of `behavioral’ design---theoretical analysis with abstract models based on `real’ behavior---in the context of optimal contest design for simple agents, who do reason strategically about whether or not to participate in a system, but not about the input they provide to it. The differences in equilibrium outcomes in different environments translate to design guidelines in the presence of strategic behavior, and illustrate the idea that formal analysis can inform wide-ranging aspects of the design of online environments for user contribution.
October 29, 2014 @ noon, Gates Hillman Center (GHC) 6115 [joint w. theory lunch]
Noga Alon, prof. of mathematics and computer science, Tel Aviv University
The Complexity of Forming an Effective Government
The theory of Social Choice investigates procedures to combine the preferences of individuals in order to reach a collective decision. This often leads to intriguing combinatorial and algorithmic problems. I will illustrate this phenomenon by discussing two recent examples. The first deals with the complexity of the problem of deciding whether or not it is possible to form an agenda supported by a majority of the members of a parliament with known individual preferences. The second studies the possibilities to bias the decisions in judgment aggregation over multiple independent issues by bundling several issues together. Based on joint papers with Bredereck, Chen, Kratsch, Niedermeier and Woeginger, and with Falik, Meir and Tennenholtz.
September 23, 2014 @ noon, Gates Hillman Center (GHC) 6115 [joint w. CSD distinguished lecture series]
Christos Papadimitriou, prof. of electrical engineering and computer science, UC Berkeley
Computational Ideas and the Theory of Evolution
Covertly computational ideas have influenced the Theory of Evolution from the very start. This talk is about recent work on Evolution that was inspired and informed by computation. Considerations about the performance of genetic algorithms led to a novel theory of the role of sex in Evolution based on the concept of mixability, while the equations describing the evolution of a species can be reinterpreted as a repeated game between genes. The complexity of local optimality informs the mystery of variation, and a theorem on Boolean functions helps us understand better the emergence of complex adaptations.
May 13, 2014 @ noon, Newell Simon Hall (NSH) 1507
Michael Bowling, prof. of computer science, University of Alberta
Adversaries, Abstractions, and Algorithms
The Computer Poker Research Group at the University of Alberta has for over a decade developed the strongest poker playing programs in the world. We have tested them in competition against other programs, winning 20 of 33 events since the inauguration of the AAAI Computer Poker Competition in 2006. We have also tested them against top professional players, becoming the first to beat professional poker players in a meaningful competition in 2008. Our success follows the modus operandi of the very pioneers of game theory: when facing an intractably complex game, abstract the game to a smaller one and reason in that game. "It seems to us... ", as Von Neumann and Morgenstern wrote, "its decisive properties will be conserved in our simplified form." Recently, this approach has been shown to be on shaky ground, or rather on no ground at all. In this talk, I'll be looking down to see what, if anything, the abstraction methodology can stand on; and what this line of research means for real-world applications where abstraction is step one, as well as applications that don't involve an apparent adversary.
March 11, 2014 @ noon, Gates Hillman Center (GHC) 6115
Tim Roughgarden, assoc. prof. of computer science, Stanford University
Approximation in Algorithmic Game Theory
Exact solutions are great when you can get them. When you can't, allowing approximation can extend the reach of a theory. We survey two genres of such results in algorithmic game theory:
1. Quantifying the inefficiency of equilibria. Equilibria are generally sub-optimal (think Prisoner's Dilemma). But are they ever guaranteed to be approximately optimal? The answer is "yes" for a remarkably wide range of applications and equilibrium concepts.
2. Reasoning about simple and practical auctions. Classical optimal auction theory assumes knowledge of a common prior, and can advocate unreasonably complex auctions. How much past data is required to justify rigorously a Bayesian approach? Can simple auctions, with little to no distributional dependence, perform approximately as well?
February 18, 2014 @ noon, Gates Hillman Center (GHC) 6115
Ruggiero Cavallo, research scientist, Yahoo! Research
Efficient Auctions with Public Budget Constraints
In most real-world auction settings, bidders do not have unlimited money to spend on acquiring the goods they seek. In this talk I'll address how to maximize efficiency when bidders are subject to arbitrary publicly-known budget constraints. I'll start by presenting the optimal budget-feasible auction among those that make allocation decisions deterministically as a function of bids; notably, maximizing expected efficiency requires sometimes not allocating the good to an agent that is willing and able to pay more than all others. Then, expanding our scope to randomized mechanisms, I will introduce an auction that is optimal among all those that make allocation decisions based on the rank of each bid. Finally, I'll describe a simple auction that converges to perfect efficiency as the population size gets large, showing that budgets do not pose a significant obstacle to allocative efficiency in settings with lots of bidders.
November 5, 2013 @ noon, Gates Hillman Center (GHC) 6115 [joint with CSD distinguished lecture series]
Jennifer Chayes, distinguished scientist, Microsoft Research New England
The Power of Locality for Network Algorithms
Given the massive size of many networks, conventional algorithms which scale as polynomials in the network size are woefully inadequate. In the first part of this talk, we consider how to use locality to deliver much more efficient algorithms (quasi-linear or even sub-linear in the network size) for quantities and questions like pagerank, coverage, diffusion, and determining the most influential nodes. In this second part of this talk, we consider another aspect of locality, namely the question of local data access. Many large networks are encoded locally, e.g., with adjacency lists. How does the nature of the data access impact the efficiency of algorithms? Surprisingly, we show that small differences in data access can lead to very large differences in efficiency and approximability of network algorithms. As an example, we consider a covering problem which arises naturally for recruiters on social networks, and show how small differences between the information on neighbors in LinkedIn and Facebook lead to large differences in their utility to recruiters.
October 15, 2013 @ noon, Gates Hillman Center (GHC) 6115
Steven Brams, prof. of politics, New York University
Fair Division: From Cake Cutting to Dispute Resolution
I begin with an overview of the literature on the fair division of divisible goods--starting with the use of "I cut, you choose" in the Hebrew Bible--and then survey both 2-person and n-person more modern procedures, including Last Diminisher, Divide and Conquer, and Adjusted Winner.
I then turn to a new algorithm for the fair division of indivisible goods between two players, who strictly rank the goods from best to worst. Its allocations are Pareto-optimal, envy-free, and maximal. As the number of goods increases, the probability that all the goods are allocated approaches 1 if all possible rankings are equiprobable. The algorithm seems eminently applicable to real-world disputes, such as dividing the marital property in a divorce.
September 17, 2013 @ noon, Gates Hillman Center (GHC) 6115 [joint with the Intelligence Seminar]
Joseph Halpern, prof. of computer science, Cornell University
Beyond Nash Equilibrium: Solution Concepts for the 21st Century
Nash equilibrium is the most commonly-used notion of equilibrium in game theory. However, it suffers from numerous problems. Some are well known in the game theory community; for example, the Nash equilibrium of repeated prisoner's dilemma is neither normatively nor descriptively reasonable. However, new problems arise when considering Nash equilibrium from a computer science perspective: for example, Nash equilibrium is not robust (it does not tolerate "faulty" or "unexpected" behavior), it does not deal with coalitions, it does not take computation cost into account, and it does not deal with cases where players are not aware of all aspects of the game. In this talk, I discuss solution concepts that try to address these shortcomings of Nash equilibrium. This talk represents joint work with various collaborators, including Ittai Abraham, Danny Dolev, Rica Gonen, Rafael Pass, and Leandro Rego. No background in game theory will be presumed.
April 30, 2013 @ noon, Newell Simon Hall (NSH) 3305
Craig Boutilier, prof. of computer science, University of Toronto
Preference Elicitation for Social Choice: A Study in Voting and Stable Matching
While the methods of social choice provide firm foundations for many decision problem involving groups of individuals, their practical realization requires some means of eliciting, assessing, or learning the underlying preferences of participants. This can impose a tremendous cognitive burden on participants, who may be required provide precise rankings or utilities for dozens, hundreds, or thousands of alternatives, only to discover that much of this information has no impact on the ultimate decision.
In this talk, I will describe methods for robust optimization in social choice problems given only partial user preference information, using the concept of minimax regret. I will also describe techniques for effectively eliciting user preferences, driven by the robust solutions of the partial preference problems, that allow the computation of optimal decisions with relatively little preference information. I will focus on the application of these techniques to both voting and stable matching problems, emphasizing their their use in distribution-free models, but also discussing how to exploit probabilistic preference models to further reduce the elicitation burden. Time permitting, I'll also briefly discuss the value of a more data-driven, empirical perspective on social choice, and its impact on learning and the analysis of manipulation.
Joint work with Tyler Lu, Joanna Drummond.
April 16, 2013 @ noon, Newell Simon Hall (NSH) 1507
Tuomas Sandholm, prof. of computer science, Carnegie Mellon University
Modern Dynamic Kidney Exchanges
In kidney exchanges, patients with kidney disease can obtain compatible donors by swapping their own willing but incompatible donors. The clearing problem involves finding a social welfare maximizing set of non-overlapping short cycles. We proved this is NP-hard. It was one of the main obstacles to a national kidney exchange. We developed an algorithm capable of clearing optimally on a nationwide scale. The key was incremental problem formulation because the formulation that gives tight LP bounds is too large to even store. On top of the branch-and-price paradigm we developed techniques that dramatically improve runtime and memory usage.
Furthermore, clearing is actually a dynamic problem where patient-donor pairs and altruistic donors appear and expire over time. We first developed trajectory-based online stochastic optimization algorithms (that use our optimal offline solver as a subroutine) for this. Such algorithms tend to be too compute-intensive at run time, so recently we developed a general approach for giving batch algorithms guidance about the future without a run-time hit. It learns potentials of elements of the problem, and then uses them in each batch clearing.
I will share experiences from using our algorithms to run the UNOS US-wide kidney exchange and two regional ones. We introduced several design enhancements to the exchanges. For one, we used our algorithms to launch the first never-ending altruistic donor chains. I will present new results – both theoretical and experimental – on the role of long chains. I will also discuss a brand new optimal probabilistic planning algorithm for this domain that generates plans that are robust against last-minute execution failures.
The talk covers material from the following papers:
- Failure-Aware Kidney Exchange. EC-13. (With Dickerson, J. and Procaccia, A.)
- The Organ Procurement and Transplantation Network (OPTN) Kidney Paired Donation Pilot Program (KPDPP): Review of Current Results. American Transplant Congress (ATC), 2013. (With Leishman, R., Formica, R., Andreoni, K., Friedewald, J., Sleeman, E., Monstello, C., and Stewart, D.)
- Dynamic Matching via Weighted Myopia with Application to Kidney Exchange. AAAI-12. (With Dickerson, J. and Procaccia, A.)
- Optimizing Kidney Exchange with Transplant Chains: Theory and Reality. AAMAS-12. (With Dickerson, J. and Procaccia, A.)
- Online Stochastic Optimization in the Large: Application to Kidney Exchange. IJCAI-09. (With Awasthi, P.)
- A Nonsimultaneous, Extended, Altruistic-Donor Chain. New England Journal of Medicine 360(11), March 2009. (With Rees, M., Kopke, J., Pelletier, R., Segev, D., Rutter, M., Fabrega, A., Rogers, J., Pankewycz, O., Hiller, J., Roth, A., Ünver, U., and Montgomery, R.)
- Clearing Algorithms for Barter Exchange Markets: Enabling Nationwide Kidney Exchanges. EC-07. (With Abraham, D. and Blum, A.)
February 26, 2013 @ noon, Newell Simon Hall (NSH) 3305
Vahab Mirrokni, staff research scientist, Google Research
Online Ad Allocation: Simultaneous Approximations, and Budget-constrained Mechanism Design
As an important component of any ad serving system, online capacity (or budget) planning is a central problem in online ad allocation. I will survey primal-based and dual-based techniques borrowed from the online stochastic matching literature and report theoretical approximation guarantees and practical evaluations of these algorithms on real data sets. Finally, inspired by practical applications, I will discuss a two new results in the area:
(i) simultaneous approximation for both adversarial and stochastic models and recent theoretical results in this context, and (ii) computationally efficient mechanisms for dealing with budget constraints in the presence of strategic agents. Time permitting, I will conclude with some problems in advertising exchanges.
November 27, 2012 @ noon, Newell Simon Hall (NSH) 3305
David Parkes, prof. of computer science, Harvard University
Mechanism Design as a Classification Problem
How can machine learning be used for the design of mechanisms for resource allocation in the presence of self-interested agents? In this talk, I will outline a new methodology that takes as input an allocation rule and leverages multi-class classification in order to design a payment rule. The payment rule comes from the discriminant function of the classifier. By defining an appropriate hypothesis space, an exact classifier generates a strategyproof mechanism and minimizing error corresponds to minimizing regret for truthful participation. Given time, I will mention some challenges in extending the approach to learn strategyproof allocation rules for use in environments without money.
This talk is based in part on the paper "Payment Rules through Discriminant-Based Classifiers", Paul Duetting, Felix Fischer, Pichayut Jirapinyo, John K. Lai, Benjamin Lubin, and David C. Parkes, in Proc. 13th ACM Conference on Electronic Commerce (EC '12), 2012.
November 6, 2012 @ noon, GHC 6115 [joint with the Intelligence Seminar]
Milind Tambe, prof. of computer science, University of Southern California
Security and Game Theory: Key Algorithmic Principles, Deployed Applications, Lessons Learned
Security is a critical concern around the world, whether it is the challenge of protecting ports, airports, and other critical national infrastructure, or protecting wildlife and forests, or suppressing crime in urban areas. In many of these cases, limited security resources prevent full security coverage at all times. Instead, these limited resources must be scheduled, avoiding schedule predictability, while simultaneously taking into account different target priorities, the responses of the adversaries to the security posture, and potential uncertainty over adversary types.
Computational game theory can help design such unpredictable security schedules. Indeed, casting the problem as a Bayesian Stackelberg game, we have developed new algorithms that are now deployed over multiple years in multiple applications for security scheduling: for the US coast guard in Boston and New York (and potentially other ports), for the Federal Air Marshals, for the Los Angeles Airport Police, with the Los Angeles Sheriff's Department for patrolling metro trains, with further applications under evaluation for the TSA and other agencies. These applications are leading to real-world use-inspired research in the emerging research area of security games. Specifically, the research challenges posed by these applications include scaling up security games to large-scale problems, handling significant adversarial uncertainty, dealing with bounded rationality of human adversaries, and other interdisciplinary challenges. This lecture will provide an overview of my research group's work in this area, outlining key algorithmic principles and research results, as well as a discussion of our deployed systems and lessons learned.
September 25, 2012 @ noon, Gates Hillman Center (GHC) 6115
Ehud Kalai, prof. of decision and game sciences, Northwestern University
Cooperation in Strategic Games Revisited
Much of strategic interaction involves cooperation. Strategic players commit to cooperate through contracts, the use of third parties, reputation and more. But game theory does not provide a general solution to strategic games in which cooperation is allowed. Building on foundational work of Nash, Raiffa and Selten from the 1950s, this paper offers a theory of cooperation in two-person incomplete-information strategic games with side payments. We present a closed-form expression, as a solution to such situations, together with an axiomatic justification and protocols that implement it.
April 3, 2012 @ noon, Hamburg Hall (HBH) 1000 [joint with the iLab Seminar]
Duncan Watts, principal research scientist, Yahoo! Research
Using the Web to do Social Science
Social science is often concerned with the emergence of collective behavior out of the interactions of large numbers of individuals, but in this regard it has long suffered from a severe measurement problem—namely that interactions between people are hard to observe, especially at scale, over time, and at the same time as observing behavior. In this talk, I will argue that the technological revolution of the Internet is beginning to lift this constraint. To illustrate, I will describe several examples of internet-based research that would have been impractical to perform until recently, and that shed light on some longstanding sociological questions. Although internet-based research still faces serious methodological and procedural obstacles, I propose that the ability to study truly “social” dynamics at individual-level resolution will have dramatic consequences for social science.
Mar 13, 2012 @ noon, Newell Simon Hall (NSH) 3305
Michael Wellman, prof. of computer science and engineering, University of Michigan
Empirical Game-Theoretic Analysis for Canonical Auction Games
Some canonical auction scenarios -- involving simultaneous markets or dynamic trading, for example -- are descriptively simple yet resist analytical game-theoretic solution. We gain traction on such problems by combining simulation, search, and machine learning with game-theoretic reasoning, in an approach we call "empirical game-theoretic analysis". EGTA studies have produced strategic insights and improved strategies for simultaneous ascending auctions and continuous double auctions, as well as the more complex domains presented by a series of Trading Agent Competition events. Our most recent investigation, of simultaneous one-shot auctions, demonstrates the utility of EGTA for suggesting and evaluating theoretical characterizations of equilibrium bidding strategies.
Feb 28, 2012 @ noon, Newell Simon Hall (NSH) 3305
Michael Kearns, prof. of computer and information science, University of Pennsylvania
Behavioral Experiments in Networked Trading
I will describe recent human-subject experiments in a detailed microeconomic model of trading in networks. Players are divided into two types with symmetric incentives that create mutual interest in trade, and are arranged in bipartite networks with varying topologies that create potential asymmetries in negotiating power. Players can only trade with their immediate neighbors, via a local limit order mechanism that permits partial executions of orders.
An interesting aspect of this model is that it has a detailed equilibrium theory in which any variation in individual wealth is directly related to global network structure. This permits comparison between equilibrium and human subject wealth at the individual and collective levels. We describe these findings along with a number of other analyses.
Joint work with Stephen Judd.