An Agent Based Market Design Methodology for Combinatorial Auctions

Auction mechanisms have attracted a great deal of interest and have been used in diverse e-marketplaces. In particular, combinatorial auctions have the potential to play an important role in electronic transactions. Therefore, diverse combinatorial auction market types have been proposed to satisfy market needs. These combinatorial auction types have diverse market characteristics, which require an effective market design approach. This study proposes a comprehensive and systematic market design methodology for combinatorial auctions based on three phases: market architecture design, auction rule design, and winner determination design. A market architecture design is for designing market architecture types by Backward Chain Reasoning. Auction rules design is to design transaction rules for auctions. The specific auction process type is identified by the Backward Chain Reasoning process. Winner determination design is about determining the decision model for selecting optimal bids and auctioneers. Optimization models are identified by Forward Chain Reasoning. Also, we propose an agent based combinatorial auction market design system using Backward and Forward Chain Reasoning. Then we illustrate a design process for the general n-bilateral combinatorial auction market. This study serves as a guideline for practical implementation of combinatorial auction markets design.Combinatorial Auction, Market Design Methodology, Market Architecture Design, Auction Rule Design, Winner Determination Design, Agent-Based System

An Introduction to Mechanized Reasoning

Mechanized reasoning uses computers to verify proofs and to help discover new theorems. Computer scientists have applied mechanized reasoning to economic problems but -- to date -- this work has not yet been properly presented in economics journals. We introduce mechanized reasoning to economists in three ways. First, we introduce mechanized reasoning in general, describing both the techniques and their successful applications. Second, we explain how mechanized reasoning has been applied to economic problems, concentrating on the two domains that have attracted the most attention: social choice theory and auction theory. Finally, we present a detailed example of mechanized reasoning in practice by means of a proof of Vickrey's familiar theorem on second-price auctions

Proving soundness of combinatorial Vickrey auctions and generating verified executable code

Using mechanised reasoning we prove that combinatorial Vickrey auctions are soundly specified in that they associate a unique outcome (allocation and transfers) to any valid input (bids). Having done so, we auto-generate verified executable code from the formally defined auction. This removes a source of error in implementing the auction design. We intend to use formal methods to verify new auction designs. Here, our contribution is to introduce and demonstrate the use of formal methods for auction verification in the familiar setting of a well-known auction

Unique bid auctions: Equilibrium solutions and experimental evidence

Two types of auction were introduced on the Internet a few years ago and have rapidly been gaining widespread popularity. In both auctions, players compete for an exogenously determined prize by independently choosing an integer in some finite and common strategy space specified by the auctioneer. In the unique lowest (highest) bid auction, the winner of the prize is the player who submits the lowest (highest) bid, provided that it is unique. We construct the symmetric mixed-strategy equilibrium solutions to the two auctions, and then test them in a sequence of experiments that vary the number of bidders and size of the strategy space. Our results show that the aggregate bids, but only a minority of the individual bidders, are accounted for quite accurately by the equilibrium solutions.

¿Piensan igual los directivos actuales y futuros? Experimento con subastas de capacidad de GNL

An experiment has been carried out in the laboratory to assess the difference in the bidding behaviour between current managers of an energy company and future managers or university students of Economics. The novelty of the experiment is that it has precisely mimicked a real capacity auction of LNG off-loading and that the professionals that have participated belong to the energy company that is responsible for the auctions. The experiments show that the laboratory setting is appropriate both for teaching and experimentation. The research results demonstrate that professionals bid higher than students and that women bid higher than menSe ha llevado a cabo un experimento en laboratorio para evaluar la diferencia entre el comportamiento de licitación entre los directivos actuales de una empresa energética y los futuros directivos o estudiantes universitarios de Economía. La novedad del ensayo es que ha imitado con precisión una subasta de capacidad de descarga de GNL y que los profesionales que participaron formaban parte de la empresa energética responsable de las adjudicaciones. Las pruebas revelaron que el entorno de laboratorio es apropiado tanto para la enseñanza como para la experimentación. Los resultados de la investigación demuestran que los profesionales ofertaron un precio más alto que los estudiantes y que las mujeres ofertaron un precio más alto que los hombre

Unique bid auctions: Equilibrium solutions and experimental evidence

Two types of auction were introduced on the Internet a few years ago and have rapidly been gaining widespread popularity. In both auctions, players compete for an exogenously determined prize by independently choosing an integer in some finite and common strategy space specified by the auctioneer. In the unique lowest (highest) bid auction, the winner of the prize is the player who submits the lowest (highest) bid, provided that it is unique. We construct the symmetric mixed-strategy equilibrium solutions to the two auctions, and then test them in a sequence of experiments that vary the number of bidders and size of the strategy space. Our results show that the aggregate bids, but only a minority of the individual bidders, are accounted for quite accurately by the equilibrium solutions.unique bid auctions; equilibrium analysis; experiment

Low Price Equilibrium in Multi-Unit Auctions: The GSM Spectrum Auction in Germany

The second-generation GSM spectrum auction in Germany is probably the most clear cut example of a low price outcome in a simultaneous ascending-bid auction.The present paper gives an account of the events, describes the auction rules and market conditions, and provides a theoretical explanation of low price equilibria in simultaneous, ascending-bid auctions.In particular it is shown that the low price equilibrium that implements the efficient allocation is the unique perfect equilibrium of that game.Multi-unit auctions, spectrum auctions, telecomm-unications, industrial organization, game theory