2,448 research outputs found
Expressiveness and Robustness of First-Price Position Auctions
Since economic mechanisms are often applied to very different instances of
the same problem, it is desirable to identify mechanisms that work well in a
wide range of circumstances. We pursue this goal for a position auction setting
and specifically seek mechanisms that guarantee good outcomes under both
complete and incomplete information. A variant of the generalized first-price
mechanism with multi-dimensional bids turns out to be the only standard
mechanism able to achieve this goal, even when types are one-dimensional. The
fact that expressiveness beyond the type space is both necessary and sufficient
for this kind of robustness provides an interesting counterpoint to previous
work on position auctions that has highlighted the benefits of simplicity. From
a technical perspective our results are interesting because they establish
equilibrium existence for a multi-dimensional bid space, where standard
techniques break down. The structure of the equilibrium bids moreover provides
an intuitive explanation for why first-price payments may be able to support
equilibria in a wider range of circumstances than second-price payments
Generalized Second Price Auction with Probabilistic Broad Match
Generalized Second Price (GSP) auctions are widely used by search engines
today to sell their ad slots. Most search engines have supported broad match
between queries and bid keywords when executing GSP auctions, however, it has
been revealed that GSP auction with the standard broad-match mechanism they are
currently using (denoted as SBM-GSP) has several theoretical drawbacks (e.g.,
its theoretical properties are known only for the single-slot case and
full-information setting, and even in this simple setting, the corresponding
worst-case social welfare can be rather bad). To address this issue, we propose
a novel broad-match mechanism, which we call the Probabilistic Broad-Match
(PBM) mechanism. Different from SBM that puts together the ads bidding on all
the keywords matched to a given query for the GSP auction, the GSP with PBM
(denoted as PBM-GSP) randomly samples a keyword according to a predefined
probability distribution and only runs the GSP auction for the ads bidding on
this sampled keyword. We perform a comprehensive study on the theoretical
properties of the PBM-GSP. Specifically, we study its social welfare in the
worst equilibrium, in both full-information and Bayesian settings. The results
show that PBM-GSP can generate larger welfare than SBM-GSP under mild
conditions. Furthermore, we also study the revenue guarantee for PBM-GSP in
Bayesian setting. To the best of our knowledge, this is the first work on
broad-match mechanisms for GSP that goes beyond the single-slot case and the
full-information setting
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
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
Delivering services by building and running virtual organisations
Non peer reviewedPostprin
A Formal Framework for Concrete Reputation Systems
In a reputation-based trust-management system, agents maintain information about the past behaviour of other agents. This information is used to guide future trust-based decisions about interaction. However, while trust management is a component in security decision-making, many existing reputation-based trust-management systems provide no formal security-guarantees. In this extended abstract, we describe a mathematical framework for a class of simple reputation-based systems. In these systems, decisions about interaction are taken based on policies that are exact requirements on agents’ past histories. We present a basic declarative language, based on pure-past linear temporal logic, intended for writing simple policies. While the basic language is reasonably expressive (encoding e.g. Chinese Wall policies) we show how one can extend it with quantification and parameterized events. This allows us to encode other policies known from the literature, e.g., ‘one-out-of-k’. The problem of checking a history with respect to a policy is efficient for the basic language, and tractable for the quantified language when policies do not have too many variables
Recommended from our members
Expressiveness And Robustness of First-Price Position Auctions
Since economic mechanisms are often applied to very different instances of the same problem, it is desirable to identify mechanisms that work well in a wide range of circumstances. We pursue this goal for a position auction setting and specifically seek mechanisms that guarantee good outcomes under both complete and incomplete information. A variant of the generalized first-price mechanism with multi-dimensional bids turns out to be the only standard mechanism able to achieve this goal, even when types are one-dimensional. The fact that expressiveness beyond the type space is both necessary and sufficient for this kind of robustness provides an interesting counterpoint to previous work on position auctions that has highlighted the benefits of simplicity. From a technical perspective our results are interesting because they establish equilibrium existence for a multi-dimensional bid space, where standard techniques break down. The structure of the equilibrium bids moreover provides an intuitive explanation for why first-price payments may be able to support equilibria in a wider range of circumstances than second-price payments.Engineering and Applied Science
- …