My economic research focuses on microeconomic theory, and in particular on the study of auctions. I am currently pursuing a thread of topics which relate to the provisioning of multiple homogeneous goods in the same auction, a method which is commonly used to allocate government securities, power generation, and other commodities routed through a central agency. I aim to lend theoretical support to arguments in favor of mechanism selection by the auctioneer, with an eye toward practical implementability.

- Equilibrium and Approximation in Auction-Like ModelsI define auction-like models with continuum actions to satisfy a number of conditions which are met in common auction contexts, when action spaces are appropriately constrained. In these models, I prove that there exists a monotone pure-strategy Bayesian-Nash euqilibrium. The proof of equilibrium existence constructs equilibrium as a limit of equilibria of nearby discretized models, which implies that utility-relevant observable functions of actions are converging in probability to the continuum-action limit. The conditions defining auction-like models are intuitive: first, bidder utility cannot be adversely affected by small upward deviations; second, with small deviations bidders can guarantee themselves nearly the utility at a limit of strategies in the limit of the deviated strategies; third, if one bidder is discontinuously worse off in a limit of strategies, some other bidder is occasionally better off. Under mild additional conditions, the action space constraints are irrelevant, and the limiting strategies are an equilibrium in the unconstrained continuum-action model. I use these results to prove the existence of pure-strategy equilibria in divisible-good pay-as-bid auctions with private information, heterogeneous agents, and generic decreasing value functions. Equilibrium approximation implies that the distribution of observed allocations and seller revenue in discrete auctions may be close to the distribution of these outcomes predicted by the divisible-good model.
- Pay-as-Bid: Selling Divisible Goods
*With Marek Pycia.*Pay-as-bid is the most popular auction format for selling treasury securities. We prove the uniqueness of pure-strategy Bayesian-Nash equilibria in pay-as-bid auctions where symmetrically-informed bidders face uncertain supply, and we establish a tight sufficient condition for the existence of this equilibrium. Equilibrium bids have a convenient separable representation: the bid for any unit is a weighted average of marginal values for larger quantities. With optimal supply and reserve price, the pay-as-bid auction is revenue-equivalent to the uniform-price auction.

- Sharpness of Approximation Boundary in the Bipartite Pricing ProblemThe bipartite demand problem is known to have an easy approximation which generates at least half the maximum profits for the selling side of the market. We demonstrate via an example that this approximation is tight, and that the results of the approximation algorithm cannot necessarily be improved upon any subsequent algorithm which takes the approximation as given.
**Herding as a Robust Phenomenon**We address the generality of herding outcomes when agents are not necessarily Bayesian-rational. Herding is shown to arise from optimal responses to observed choice sequences under the relatively weak constraint that preferences must "point in the same direction." This generalizes to suboptimal reasoning processes which obey certain properties.- White Elephant is not Strategy-ProofIn an extended blog post, I show that the traditional American holiday game White Elephant — alternatively, Yankee Swap — is not strategy-proof.

I am in the process of building and maintaining a list of references contained in my papers. Having been stymied by Google Scholar more than a few times, even with VPN, I think it's only fair to make accessible the papers that I have found in the public domain.

Coding helps me explore unusual, aesthetic questions. While it might be a stretch to classify the following as research proper, each represents something deeper than just-a-website. All can be played with to satisfy your own curiosity, although some need to be downloaded first.

- Fractal generatorHTML5 implementation of the splash page fractals, built to test real-time image generation prior to site upgrade. 2D rendering in WebGL is still an emerging feature, with especial pitfalls if the underlying optimization problems are not known in advance; there's a
`<canvas>`backup for browsers that don't make the grade. - Javascript LogoA partial (yet fairly robust) implementation of the Microworlds dialect of Logo through Javascript and canvas. Documentation is as-yet nonexistent, but there are several examples to demonstrate basic features; the header graphics on this website are generated through the interpreter, so viewing source is another excellent tool. Currently there is no turtle icon moving around, since Inkscape runs like molasses on my machine.
- LaTeX to pngGenerates png graphics from LaTeX math markup; although there are many similar services out there at present, back in 2008 this was pretty much the option. As of
*right now*, I am hosting 29464 mathematical formulas available to the world, which proves that someone out there finds this useful. - ROFLBOTA locally-successful rock-paper-scissors runner-up, coming in second place in the first-and-last annual Homestead Rock-Paper-Scissors championship (where the only rule was to not implement Iocaine Powder). The primary challenge of this was not so much implementing a complex decision rule as it was implementing it in LOLCODE; I am proud of its performance given the constraints.
- YALIA Perl interpreter for LOLCODE; now ships with FreeBSD. While cat macros have come and gone — and good riddance — this experiment in language design and implementation has proved fairly instructive downstream.