Decomposing Truthful and Competitive Online Double Auctions
在本文中，我们研究在线双向拍卖，多个卖方和多个买方到达和离开动态交换一种商品。我们发现，没有确定性的在线双向拍卖，是真实的和竞争的社会福利最大化的对抗模型。然而，给定卖方是耐心的并且需求不超过供给的先验信息，确定性和真实的贪婪机制实际上是2-竞争的，即它保证其分配的社会福利至少是离线可实现的最优福利的一半。此外，如果进入的买家的数量是可预测的，我们证明了一个在线双向拍卖可以减少到一个在线单边拍卖，减少在线双向拍卖的真实性和竞争力遵循的在线单边拍卖。值得注意的是，通过使用减少，我们发现一个真实的机制，几乎是1-竞争，当买家随机到达。最后，我们认为，这些机制也有一个有前途的适用性在更一般的设置，而不假设卖方是耐心的，通过分解成多个子市场的市场。
2013-11-01 cs.GT
Double Auctions with Two-sided Bandit Feedback
Google（谷歌）；AWS（亚马逊云科技）
本文首次研究买卖双方均需学习自身估值的双重拍卖市场，提出基于置信界出价和平均定价的去中心化学习算法，实现高效价格发现，并给出个体遗憾与社会遗憾的上下界。
2023-07-10 cs.GT cs.LG
Chain: A Dynamic Double Auction Framework for Matching Patient Agents
在本文中，我们提出并评估了一个总体框架，在一个动态的双边市场匹配代理的真实拍卖的设计。单个商品，如资源或任务，由多个买家和卖家购买和出售，这些买家和卖家随着时间的推移而到达和离开。我们的算法，链，提供了第一个框架，允许一个真实的动态双向拍卖（DA）从一个真实的，单周期（即静态）的双向拍卖规则。在采用相同构造块的动态拍卖规则中，链构造的定价和匹配方法是唯一的。我们通过实验研究了在各种单周期规则（包括规范的McAfee双拍卖规则）上实例化链的分配效率。作为基线，我们还考虑了非真实的双重拍卖填充零智力加”式学习代理。与其他方案相比，基于链的拍卖表现良好，特别是当到达强度下降和代理估值变得更加波动时。
2011-10-31 cs.GT
Models for Truthful Online Double Auctions
在线双向拍卖是一个具有私人信息和自我利益的动态双边匹配问题，与动态资源和任务分配问题密切相关。我们提出了一个通用的方法来设计真实的DA，这样，没有代理可以从误报其到达时间，持续时间，或值中受益。DA系列由定价规则参数化，并包括McAfee真实DA对此动态设置的概括。我们提出了一个实证研究，在其中我们研究了一些不同的DA的配置盈余和代理盈余。我们的研究结果表明，动态定价规则是重要的，以提供良好的市场效率的市场波动性或低量。
2012-07-04 cs.GT
Double Auctions in Markets for Multiple Kinds of Goods
在股票交易所和频谱拍卖等应用的推动下，人们对双边市场中安排贸易的机制越来越感兴趣。现有的机制要么不真实，要么不能保证渐进最优的交易收益，要么依赖于交易者估值的先验，要么在有限的环境中运作，如单一种类的商品。我们将早期研究中使用的随机市场减半技术扩展到具有多种商品的市场，其中交易者具有总替代估值。本文提出了一种多物品双向拍卖机制MIDA。它是无优先级的、真实的、强预算平衡的，并保证当所有商品的市场规模以相似的速度增长到$\infty$时，从贸易中获得接近最优的收益。
2018-05-01 cs.GT
Polyhedral Clinching Auctions with a Single Sample
针对带买方预算约束的双边市场拍卖问题，基于卖方估值先验与流动性福利目标，提升了多面收紧拍卖的效率保证，并扩展出适用于可分/不可分物品、多拟阵约束的高效单样本机制。
2024-11-04 cs.GT
Formal verification of trading in financial markets
我们介绍了一个分析金融市场交易的正式框架。交易所是多个买家和卖家参与交易的地方。如今，所有大型交易所都使用计算机算法来实现双边拍卖，以匹配买入和卖出请求，这些算法必须遵守某些监管准则。例如，市场监管机构强制要求交易所生成的匹配应该是\emph{fair}、\emph{uniform}和\emph{individual rational}。为了验证交易的这些性质，我们首先在定理证明器中正式定义了这些概念，然后对匹配的相关结果给出了形式证明。最后，我们使用这个框架来验证两类重要的双边拍卖的性质。所有的定义和结果，本文中提出的完全形式化的Coq证明助手，而不添加任何额外的公理。
2019-07-18 cs.DS cs.FL cs.GT
Censorship Resistance in On-Chain Auctions
本文定义了链上抗审查性，即攻击者审查交易的成本与其小费的函数关系，并将其应用于拍卖场景，发现传统PoS区块链单区块拍卖抗审查性差，提出通过在多并发提议者间利用条件小费构建囚徒困境来实现强抗审查性。
2023-06-26 cs.GT econ.TH
Truthful Mechanisms for Two-Sided Markets via Prophet Inequalities
我们设计了双边市场中福利最大化的新机制。也就是说，有买家愿意购买物品和卖家最初持有物品，两者都是理性和战略性的，以实现效用最大化。我们的机制是基于双边市场和先知不平等之间的强大对应关系而设计的。它们满足个体理性、主导策略激励相容性、均衡约束，并给出了最优社会福利的常数因子近似。我们改进了以前的结果，在几个设置：我们的主要重点是拟阵双拍卖，其中获得一个项目的买家集需要是独立的拟阵。我们构建了两个机制，第一个是一个$1/3$ -近似的最优社会福利满足强平衡，并要求代理商在一个定制的顺序进行交易，第二个是一个$1/2$ -近似，弱平衡，并能够处理在线到达由对手。此外，我们构造了常数因子近似双边市场时，买家需要满足背包约束。此外，在组合双向拍卖，买家有估价功能的项目束，而不是只对一个项目感兴趣，使用类似的技术，我们设计了一个机制，这是一个$1/2$ -近似的最佳社会福利，强平衡，可以处理在线到达的代理在一个对抗的顺序。
2021-05-31 cs.DS cs.GT
Learning to Classify and Imitate Trading Agents in Continuous Double Auction Markets
连续双向拍卖，如交易所采用的限价订单簿，在实践中被广泛用于匹配各种金融工具的买方和卖方。在这项工作中，我们开发了一个基于代理的模型交易的限价订单簿，并显示（1）如何对手建模技术可以应用于分类交易代理原型和（2）如何行为克隆可以用来模仿这些代理在模拟设置。我们通过实验比较了这两项任务的一些技术，并评估其适用性和在现实世界中的使用情况。
2021-10-29 cs.GT q-fin.CP
A Price-Based Iterative Double Auction for Charger Sharing Markets
电动汽车（EV）充电需求的空前增长要求为当今的充电网络提供新的扩展解决方案。随着共享经济的蓬勃发展，Airbnb式的充电器共享市场为扩展现有充电网络提供了机会，而无需昂贵且耗时的基础设施投资，但此类市场的成功设计依赖于博弈论，机制设计和大规模优化之间的接口创新。在本文中，我们提出了一个基于价格的迭代双重拍卖的充电器共享市场，充电器所有者出租他们的未充分利用的充电器需要充电的电动汽车司机。充电器所有者和电动汽车司机形成了一个双边市场，通过基于价格的双向拍卖来清除。充电器的位置、可用性和时间单位成本以及EV驾驶员的时间、距离约束和偏好在分配和调度过程中被考虑。我们的目标是计算社会福利最大化分配，使充电器所有者和电动汽车驾驶员受益，从而确保市场的持续增长。我们证明了所提出的双重拍卖是预算平衡的，个人理性的，它是一个弱优势的策略，电动汽车司机和充电器所有者如实报告他们的充电时间限制。此外，从我们的计算研究的结果表明，双重拍卖达到平均94%的效率相比，最佳的解决方案和规模以及更大的问题实例。
2019-09-30 cs.GT
Competitive Equilibria in Two Sided Matching Markets with Non-transferable Utilities
我们考虑由具有不可转移效用的代理人组成的双边匹配市场;来自相对侧的代理人形成匹配对（例如，买方-卖方）并协商他们的数学条款，其中可能包括货币转移。竞争均衡是这个博弈的核心要素。我们提出了第一个组合的竞争均衡的特点，涉及到每个代理商在均衡的效用，其他代理商在一个严格的较小的市场，不包括该代理商的均衡效用，从而自动提供了一个建设性的证明竞争均衡在这样的市场中的存在。我们的特征还产生了一个组strategypproof机制分配不可分割的商品与非准线性公用事业，非常类似的维克雷克拉克格罗夫斯（VCG）机制的单位需求的买家。作为一个直接的应用程序，我们提出了一个组策略的福利最大化机制的广告拍卖，而不需要通常的假设，搜索引擎和广告商有一致的估计的点击率。
2012-12-04 cs.GT
Two-sided Market Design Meets Autobidding
Yale University（耶鲁大学）；Google Research（谷歌研究）；Stanford University（斯坦福大学）
本研究开创双边市场自动出价机制设计，证明无先验下效用诚实机制对LGFT有无界PoA，但提出在分布信息下实现激励相容、个体理性、预算平衡及最优流动性福利的双边机制，适用于匹配市场。
2026-10-01 cs.GT
Fair Combinatorial Auctions: Endogenous Best Execution in Blockchain Trade-Intent Markets
Category Labs；CoW Protocol（CoW协议）
研究交易意向拍卖中如何分配效率，提出公平组合拍卖机制，求解器对单笔和批量交易出价，依基准过滤批量出价，独立首价拍卖能保证公平，独立次价拍卖则不能，公平保证会使返还交易者的总价值降低。
2026-07-28 cs.DC cs.GT econ.TH
Discrimination-Based Double Auction for Maximizing Social Welfare in the Electricity and Heating Market Considering Privacy Preservation
提出了一种在电力和供热市场中以社会福利最大化为目标的带有价格歧视的双边拍卖机制。在该机制中，能源服务提供商（ESP）和负荷聚合商（LA）分别向能源交易中心（ETC）提交报价和投标，以实现各自效用最大化;而无私的ETC作为拍卖人，利用区分性价格权重来规范ESP和LA的行为，将各利益相关者的个体利益与整体社会福利相结合，以实现全局最优。纳什博弈被用来描述具有相同市场角色的参与者之间的相互作用。在理论上，首先证明了纳什均衡的存在唯一性;然后，考虑到博弈参与者对隐私保护的要求，提出了一种基于乘数交替方向法的分布式算法实现分布式竞价，并采用解析目标级联算法实现供需平衡。我们验证了所提出的机制，城市一级的分销系统的案例研究。实验结果表明，与其他机制相比，所实现的SW提高了4%~ 15%，也验证了分布式算法的有效性。
2022-05-28 cs.GT math.OC
Formally Verified Trades in Financial Markets
我们介绍了一个分析金融市场交易的正式框架。如今，所有大型交易所都使用计算机算法来匹配买入和卖出请求，这些算法必须遵守某些监管准则。例如，市场监管机构强制要求交易所产生的匹配应该是公平的、统一的和个体理性的。为了验证这些属性的行业，我们首先正式定义这些概念的定理证明，然后制定了许多重要的结果匹配的需求和供应。最后，我们使用这个框架来验证两类重要的双边拍卖机制的性质。本文中给出的所有定义和结果都在Coq证明助手中完全形式化，而不需要添加任何额外的公理。
2020-07-18 cs.DS cs.GT cs.LO
Efficiently Restructuring Sovereign Debt via Arctic Auctions with Convex Costs
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；King’s College London（伦敦国王学院）；University of California, Irvine（加州大学尔湾分校）
研究北极产品混合拍卖中竞争均衡的计算问题，提出首个多项式时间算法处理可分离阶梯递增边际成本，为全球金融中的复杂拍卖提供计算基础。
2026-08-25 cs.GT
Assignment Markets with Budget Constraints
本文研究了带硬预算约束的不可分割物品分配市场，提出一种基于需求查询和附加验证条件的迭代拍卖机制，在条件满足时保持激励相容与强帕累托最优，并证明了不满足条件时该问题为 NP-hard。
2025-07-14 cs.GT econ.TH
Online Two-Sided Markets: Many Buyers Enhance Learning
研究单一卖家与多买家重复交易问题，通过第二价格拍卖获取非对称反馈并设计自适应网格逼近最优交易收益，打破了单买家遗憾下界，在无分布假设下实现 $\ ilde O(T^{2/3})$ 的遗憾上界。
2025-03-03 cs.GT
Distributed Double Auctions for Large-Scale Device-to-Device Resource Trading
未来无线网络中的移动用户面临着有限的无线资源，如数据计划，计算能力和能量存储。考虑到这些用户中的一些用户可能没有充分利用其无线资源，设备到设备（D2D）资源共享是利用用户在资源使用中的多样性并在本地汇集其资源的有前景的方法。在本文中，我们提出了一种新的双边D2D交易市场模型，使大量的本地连接的用户交易资源。传统的资源分配解决方案大多是集中式的，没有考虑用户的本地D2D连接约束，对于大规模交易变得不可扩展。此外，由于自私的用户不会如实报告他们购买或出售资源的实际价值和数量，因此可能存在市场失灵。为了解决这两个关键的挑战，我们首先调查的分布式资源分配问题与D2D分配约束。基于最大加权匹配的贪婪思想，我们提出了一个快速算法，以达到接近最优的平均分配效率。然后，我们将其与一种新的定价机制相结合，该机制以一种激励买家和卖家如实报告其估值和可用资源数量的方式调整买卖资源的最终交易价格。与传统的有中央控制器的双向拍卖不同，这种定价机制是完全分布式的，因为每对匹配的用户之间的最终交易价格只取决于他们自己的声明，因此可以在本地计算。最后，我们分析了所提出的D2D交易机制在多轮中的重复执行，并确定了最佳交易频率。
2020-07-30 cs.GT
The Power of Two-sided Recruitment in Two-sided Markets
本文研究双边市场中通过增补少量买家和卖家，使简单且与先验无关的机制在增广市场上达到或近似原市场最优交易收益，并分别在独立同分布和一般相关市场下给出了理论保证。
2024-03-29 cs.GT
The Power of Recruiting the Smaller Side: Two Additional Traders Suffice in Two-Sided Markets
Google Research（谷歌研究院）；Yale University（耶鲁大学）；Google DeepMind（谷歌DeepMind）
研究双边市场中的竞争复杂度，证明在买家或卖家为较小侧时，额外招募两名交易者即可使先验无关机制达到最优贸易收益，并证明该上界最优。
2026-11-04 cs.GT
Mechanism Design via Market Clearing-Prices for Value Maximizers under Budget and RoS Constraints
Renmin University of China（中国人民大学）
本文提出了一种在预算和RoS约束下通过市场清价机制实现价值最大化，并证明其在激励相容性和收益近似方面的有效性。
2026-02-22 cs.GT
Approximating Gains-from-Trade in Matching Markets
Hebrew University of Jerusalem（耶路撒冷希伯来大学）；Stanford University（斯坦福大学）；Rutgers University（罗格斯大学）
本文提出一种简单随机 truthful 机制，在任意向下闭合约束的两面匹配市场中实现常数因子近似最优预期交易收益。
2026-03-31 cs.GT
Single-leader multi-follower games for the regulation of two-sided Mobility-as-a-Service markets
移动即服务（MaaS）是一种新兴的商业模式，由“一切即服务”的概念驱动，并通过移动互联网技术实现。在经济放松管制的背景下，MaaS系统由一个典型的双边市场组成，其中旅行者和运输服务提供商（TSP）是通过MaaS平台相互交互的两组代理。在这项研究中，我们提出了一个建模和优化框架，用于双边MaaS市场的监管。我们考虑了一个自己定价（NYOP）拍卖机制，其中旅行者通过MaaS平台提交购买出价以满足他们的旅行需求，而TSP提交出售出价以提供MaaS平台的移动资源以换取付款。我们把这个问题作为一个单领导者多追随者的游戏（SLMFG），领导者是MaaS监管机构和两组追随者的问题代表旅行者和TSP。MaaS监管机构的目标是通过优化运营来最大限度地提高利润。为了响应MaaS监管机构的决定，旅行者（分别为TSP）调整其在MaaS平台中的参与级别，以最大限度地降低其差旅成本（利润最大化）。我们分析了跨组网络效应在MaaS市场，并制定SLMFG没有和网络效应导致混合整数线性双层规划和混合整数二次双层规划问题，分别。我们提出了定制的分支定界算法的基础上强对偶重新解决这些SLMFG。在从真实移动数据生成的大规模模拟实例上进行的大量数值实验突出表明，所提出的算法的性能显着优于基准方法，并为实践中双边MaaS市场的监管提供了有意义的管理见解。
2021-09-17 cs.GT math.OC
Designing a Combinatorial Financial Options Market
金融期权是一种合同，它规定了在到期日之前以执行价格购买或出售标的资产的权利。标准交易所提供预先确定的执行价值的期权和独立的不同执行价格的交易期权，即使是针对相同标的资产的期权。这种独立的市场设计可能会引入套利机会，并导致薄市场问题。本文首先提出了一种机制，该机制整合和匹配与同一标的资产相关的标准期权订单，同时为代理商提供指定任何自定义执行价值的灵活性。该机制推广了经典的双向拍卖，在时间多项式中运行到订单数量，并且无论到期时标的资产的价值如何，都不会对交易所造成风险。对实物期权数据的实证分析表明，该机制可以为不同执行价格的期权找到新的匹配，并降低买卖价差。扩展了单一资产上的标准期权，我们提出并定义了一种新的衍生工具-组合金融期权，它为合约持有人提供了购买或出售多种标的资产的任何线性组合的权利。我们推广我们的单资产机制，以匹配不同资产组合的期权，并证明组合金融期权的最优清算是NP难的。为了方便市场操作，我们提出了一种算法，通过迭代约束生成找到确切的最优匹配，并评估其性能的综合生成的组合期权市场的不同规模。由于期权价格揭示了市场对标的资产未来价值的集体信念，因此组合期权市场能够表达对资产之间未来相关性的集体信念。
2021-09-14 cs.GT
Bulow-Klemperer-Style Results for Welfare Maximization in Two-Sided Markets
我们考虑双边市场中的福利最大化问题，使用简单的机制是先验独立的。Myerson-Satterthwaite不可能性定理表明，即使是双边贸易，也没有一种可行的（IR，真实的，预算平衡的）机制具有与最优但不可行的VCG机制一样高的福利，该机制实现了最大福利，但存在赤字。另一方面，最优可行机制需要根据贝叶斯先验进行仔细调整，并且非常复杂，无法精确描述。我们提出了Bulow-Klemperer式的结果，以规避这些障碍，在双重拍卖市场。我们建议使用买方交易减少（BTR）机制，McAfee机制的变体，这是可行的和简单的（特别是，确定性，真实，先验独立，匿名）。首先，在买方和卖方的价值被独立同分布抽样的情况下。从相同的分布，我们表明，对于任何规模的任何这样的市场，BTR与一个额外的买家，其价值是从相同的分布抽样期望福利至少高达在原始市场的最优。然后，我们转移到一个更一般的设置，买方的价值是从一个分布和卖方从另一个抽样，重点放在买方的分布一阶随机支配卖方的情况下。我们目前的买家，当添加的数量上的界限，保证BTR在增强市场的福利至少高达原始市场的最优。我们的下界扩展到一个大类的机制，我们所有的结果扩展到添加卖家而不是买家。此外，我们提出了积极的结果，在一个样本的定价福利最大化的双边市场在上述两种设置下，据我们所知，这是第一次抽样结果在这种情况下的有用性。
2019-12-23 cs.GT econ.TH
A market-based efficient matching mechanism for crowdsourced delivery systems with demand/supply elasticities
本文针对具有供需弹性和任务捆绑的大规模众包配送匹配问题，提出结合流体-粒子分解、真实拍卖机制与交通分配对偶优化的高效求解方法，在保证精度前提下将计算速度提升约700倍。
2024-12-29 cs.GT math.OC
Augmenting Batch Exchanges with Constant Function Market Makers
该研究针对批量交易所与CFMMs整合缺乏正式设计权衡理解的问题，提出基础公理与经济属性，证明属性间冲突，给出两种整合方案，并提出可计算两类资产WGS需求下Arrow-Debreu均衡的凸规划。
2024-06-21 cs.GT
