English
Related papers

Related papers: Formal Verification of Diffusion Auctions

200 papers

Diffusion auction design is a new trend in mechanism design which extends the original incentive compatibility property to include buyers' private connection report. Reporting connections is equivalent to inviting their neighbors to join…

Computer Science and Game Theory · Computer Science 2025-11-14 Zixin Gu , Yaoxin Ge , Yao Zhang , Dengji Zhao

This paper studies a sale promotion mechanism design problem on a social network, where a node (a seller) sells one item to the other nodes on the network to maximize her revenue. However, the seller does not know other nodes except for her…

Computer Science and Game Theory · Computer Science 2020-02-28 Wen Zhang , Dengji Zhao , Yao Zhang

Strategic diffusion encourages participants to take active roles in promoting stakeholders' agendas by rewarding successful referrals. As social media continues to transform the way people communicate, strategic diffusion has become a…

Social and Information Networks · Computer Science 2019-03-12 Wen Shen , Yang Feng , Cristina V. Lopes

Simultaneous ascending auctions present agents with the exposure problem: bidding to acquire a bundle risks the possibility of obtaining an undesired subset of the goods. Auction theory provides little guidance for dealing with this…

Computer Science and Game Theory · Computer Science 2012-07-09 Anna Osepayshvili , Michael P. Wellman , Daniel Reeves , Jeffrey K. MacKie-Mason

Diffusion auction refers to an emerging paradigm of online marketplace where an auctioneer utilises a social network to attract potential buyers. Diffusion auction poses significant privacy risks. From the auction outcome, it is possible to…

Computer Science and Game Theory · Computer Science 2023-02-17 Fengjuan Jia , Mengxiao Zhang , Jiamou Liu , Bakh Khoussainov

We introduce a formal framework for analyzing trades in financial markets. These days, all big exchanges use computer algorithms to match buy and sell requests and these algorithms must abide by certain regulatory guidelines. For example,…

Logic in Computer Science · Computer Science 2020-07-22 Suneel Sarswat , Abhishek Kr Singh

Diffusion auction is a new model in auction design. It can incentivize the buyers who have already joined in the auction to further diffuse the sale information to others via social relations, whereby both the seller's revenue and the…

Computer Science and Game Theory · Computer Science 2020-04-28 Bin Li , Dong Hao , Dengji Zhao

We study independent private values auction environments in which the auctioneer's revenue depends nonlinearly on bidders' interim winning probabilities. Our framework accommodates heterogeneity among bidders and places no ad hoc…

Theoretical Economics · Economics 2026-02-23 Pasha Andreyanov , Ilia Krasikov , Alex Suzdaltsev

Bidding in simultaneous auctions is challenging because an agent's value for a good in one auction may depend on the uncertain outcome of other auctions: the so-called exposure problem. Given the gap in understanding of general simultaneous…

Computer Science and Game Theory · Computer Science 2012-10-19 Michael P. Wellman , Eric Sodomka , Amy Greenwald

In practice, most auction mechanisms are not strategy-proof, so equilibrium analysis is required to predict bidding behavior. In many auctions, though, an exact equilibrium is not known and one would like to understand whether -- manually…

Computer Science and Game Theory · Computer Science 2024-08-22 Fabian R. Pieroth , Tuomas Sandholm

We develop extensions to auction theory results that are useful in real life scenarios. 1. Since valuations are generally positive we first develop approximations using the log-normal distribution. This would be useful for many finance…

Computer Science and Game Theory · Computer Science 2019-05-09 Ravi Kashyap

In markets such as digital advertising auctions, bidders want to maximize value rather than payoff. This is different to the utility functions typically assumed in auction theory and leads to different strategies and outcomes. We refer to…

Computer Science and Game Theory · Computer Science 2016-07-14 Salman Fadaei , Martin Bichler

In this paper we design information elicitation mechanisms for Bayesian auctions. While in Bayesian mechanism design the distributions of the players' private types are often assumed to be common knowledge, information elicitation considers…

Computer Science and Game Theory · Computer Science 2018-06-27 Jing Chen , Bo Li , Yingkai Li

Auctions are modeled as Bayesian games with continuous type and action spaces. Determining equilibria in auction games is computationally hard in general and no exact solution theory is known. We introduce an algorithmic framework in which…

Computer Science and Game Theory · Computer Science 2023-05-10 Martin Bichler , Maximilian Fichtl , Matthias Oberlechner

We report statistical regularities of the opening and closing auctions of French equities, focusing on the diffusive properties of the indicative auction price. Two mechanisms are at play as the auction end time nears: the typical price…

Statistical Finance · Quantitative Finance 2018-07-03 Damien Challet

With the increasing use of auctions in online advertising, there has been a large effort to study seller revenue maximization, following Myerson's seminal work, both theoretically and practically. We take the point of view of the buyer in…

Computer Science and Game Theory · Computer Science 2019-03-27 Marc Abeille , Clément Calauzènes , Noureddine El Karoui , Thomas Nedelec , Vianney Perchet

In many first-price auctions, bidders face considerable strategic uncertainty: They cannot perfectly anticipate the other bidders' bidding behavior. We propose a model in which bidders do not know the entire distribution of opponent bids…

Theoretical Economics · Economics 2022-03-30 Bernhard Kasberger

Online auctions are one of the most fundamental facets of the modern economy and power an industry generating hundreds of billions of dollars a year in revenue. Auction theory has historically focused on the question of designing the best…

Computer Science and Game Theory · Computer Science 2021-09-23 Thomas Nedelec , Clément Calauzènes , Noureddine El Karoui , Vianney Perchet

Double auctions are widely used in financial markets, such as those for stocks, derivatives, currencies, and commodities, to match demand and supply. Once all buyers and sellers have placed their trade requests, the exchange determines how…

Logic in Computer Science · Computer Science 2024-10-25 Mohit Garg , N. Raja , Suneel Sarswat , Abhishek Kr Singh

A seller wants to sell a good to a set of bidders using a credible mechanism. We show that when the seller has private information about her cost, it is impossible for a static mechanism to achieve the optimal revenue. In particular, even…

Theoretical Economics · Economics 2025-09-29 Martino Banchio , Andrzej Skrzypacz , Frank Yang