https://arxiv.org/api/GgngeSRUBAGGUnSRiCfetEA/op4 2026-07-18T22:05:53Z 15094 15 15 http://arxiv.org/abs/2607.13832v1 2026-07-15T13:42:13Z

Encrypted mempools are designed to hide transaction contents until execution order is fixed, preventing many victim dependent forms of maximal extractable value. This paper studies a different class of attack in the form of self-authored state manipulation, in which the attacker knows its own transaction and owns a downstream claim on the state that transaction changes. Perpetual futures funding is a canonical example. The funding signal determines a transfer rate, while receiving side open interest is the transfer base. In a commit then reveal mempool, an adaptive corrective transaction cannot enter the already committed batch. Privacy can therefore create an economic reaction gap even when cryptographic decryption overhead is negligible. We microfound correction through executable arbitrage opportunities. Correctors choose order size against local price impact and inventory cost, while the protocol information schedule determines which opportunities are actionable. The ordering barrier removes ordinary adaptive searchers from the closed stage. It therefore yields a closed stage correction rate below the adaptive correction rate whenever positive adaptive capacity becomes available after reveal. The distortion entering a funding window is multiplied by an explicit response factor. Transaction privacy can also reduce capitalization of predictable funding into entry prices, producing a second amplification channel. The resulting local security index separates attacker blindness, correction shielding, and capitalization shielding.

2026-07-15T13:42:13Z Benjamin Marsh http://arxiv.org/abs/2607.13795v1 2026-07-15T12:59:01Z

We consider a new auction model where the bidders' utilities and the auctioneer's revenue depend on a quality factor of the transaction determined by costly and strategic investments of the bidders. Applications of our model include ad auctions, government concessions and crowdsourcing contests. Crucially, these quality-enhancing efforts made by the bidders are often sunk costs incurred prior to the allocation, creating a fundamental moral hazard problem where the risk of losing the auction discourages investments. In this paper, we study the design of revenue-maximizing contracts integrated into auctions: the auctioneer commits to a transfer rule that rewards the winner for the ex-post realized quality of the transaction to incentivize higher effort. Our new framework is a natural generalization of both the auction theory and the principal-agent model. We consider both the second-price and the first-price auctions. We show that natural symmetric Bayes Nash equilibria exist in both auctions. Assuming these natural equilibria are played by the bidders and the number of bidders is large, we study linear contracts and derive the optimal reward factor of the transfer rule that maximizes the auctioneer's revenue. As the main result, we show that the optimal reward factor converges to the auctioneer's marginal benefit from the quality, as the number of bidders grows. That is, it is optimal for the auctioneer to fully pass through the quality value to the winner. This observation is largely independent of the auction rule used: we derive a revenue equivalence theorem showing that the revenue remains the same as long as symmetric Bayes Nash equilibria exist. Lastly, by quantitatively comparing with the standard auctions where no quality reward is used, we show that the use of contracts effectively improves the revenue by incentivizing high investments from the bidders.

2026-07-15T12:59:01Z Xiaolin Bu Jiarong Jin Junzhu Ke Pinyan Lu Biaoshuai Tao Xiang Yan Chunxue Yang Haikuo Yang Zhihua Zhu http://arxiv.org/abs/2606.03527v2 2026-07-15T08:00:43Z

Advertisements reveal information to consumers who decide on further information acquisition and eventual purchase. Anderson and Renault (2006) first modeled this problem using an information-design framework where the advertiser acts as a sender and the consumer as a receiver. Due to search frictions and the consumer's outside option, search for additional information is not always worthwhile for the receiver. Thus, the sender's information design is used to make further search attractive and ultimately induce purchase. Following Lyu (2023), we study the optimal information design for a sender who sells search goods to a consumer with uncertain alternatives. Instead of making relaxations to the sender's problem (as done in Lyu, 2023), we work directly on the joint distribution over realized values and signals. Our contributions are twofold. First, we give a method, based on duality arguments, to verify whether a given information strategy is optimal. We illustrate the value of this verification framework in a competitive extension, where it certifies a non-trivial symmetric equilibrium for two senders with a common convex prior. Second, on the algorithmic front, we develop an FPTAS that finds for the seller a signaling scheme whose utility differs from that of the optimal solution by at most an additive $ε$ error, for any $ε> 0$.

2026-06-02T11:50:09Z An earlier version of this paper was titled Competitive Information Design in Sequential Search Zhicheng Du Hu Fu Ying Qin Zihe Wang http://arxiv.org/abs/2411.08026v3 2026-07-15T04:27:44Z

A principal uses payments conditioned on stochastic outcomes of a team project to elicit costly effort from the team members. We develop a multi-agent generalization of a classic first-order approach to contract optimization by leveraging methods from network games. The main results characterize the optimal allocation of incentive pay across agents and outcomes. Incentive optimality requires equalizing, across agents, a product of (i) individual productivity (ii) organizational centrality and (iii) responsiveness to monetary incentives. We specialize the model to explore several applied questions, including whether compensation should reward individual ability or collaborativeness and how the strength of complementarities shapes pay dispersion.

2024-11-12T18:56:31Z Krishna Dasaratha Benjamin Golub Anant Shah http://arxiv.org/abs/2512.02416v2 2026-07-15T03:37:45Z

We introduce a graph-theoretic framework based on discrete sheaves to diagnose and localize inconsistencies in preference aggregation and, more broadly, in the fusion of partial rankings supplied by many overlapping sources. Unlike linearization methods such as HodgeRank, which embed comparisons into a numerical flow, this approach stays purely ordinal and locates conflict in the interaction structure via the Obstruction Locus, identifying which voter pairs fail to cohere. We formalize the Incompatibility Index to quantify these local conflicts and examine their behavior under stochastic variations using the Mallows model. We further develop a sheaf-theoretic pushforward operation to model voter merging, implemented via a polynomial-time constraint digraph algorithm. We demonstrate that graph quotients transform distributed edge conflicts into local impossibilities (empty stalks), showing topologically how aggregation paradoxes can persist across scales.

2025-12-02T04:57:49Z Karen Sargsyan http://arxiv.org/abs/2502.11449v4 2026-07-15T01:08:27Z

We study Walrasian economies (or general equilibrium models) and their solution concept, the Walrasian equilibrium. A key challenge in this domain is identifying price-adjustment processes that converge to equilibrium. One such process, tâtonnement, is an auction-like algorithm first proposed in 1874 by Léon Walras. While continuous-time variants of tâtonnement are known to converge to equilibrium in economies satisfying the Weak Axiom of Revealed Preferences (WARP), the process fails to converge in a pathological Walrasian economy known as the Scarf economy. To address these issues, we analyze Walrasian economies using variational inequalities (VIs), an optimization framework. We introduce the class of mirror extragradient algorithms, which, under suitable Lipschitz-continuity-like assumptions, converge to a solution of any VI satisfying the Minty condition in polynomial time. We show that the set of Walrasian equilibria of any balanced economy-which includes among others Arrow-Debreu economies-corresponds to the solution set of an associated VI that satisfies the Minty condition but is generally discontinuous. Applying the mirror extragradient algorithm to this VI we obtain a class of tâtonnement-like processes, which we call the mirror extratâtonnement process. While our VI formulation is generally discontinuous, it is Lipschitz-continuous in variationally stable Walrasian economies with bounded elasticity-including those satisfying WARP and the Scarf economy-thus establishing the polynomial-time convergence of mirror extratâtonnement in these economies. We validate our approach through experiments on large Arrow-Debreu economies with Cobb-Douglas, Leontief, and CES consumers, as well as the Scarf economy, demonstrating fast convergence in all cases without failure.

2025-02-17T05:14:14Z Denizalp Goktas Klára Chura Alp Emin Guneri Amy Greenwald http://arxiv.org/abs/2607.13340v1 2026-07-14T23:59:26Z

We present an $(e^{1/e} - c)$-approximation algorithm for maximizing Nash social welfare under additive valuations, for some constant $c > 0$. This result improves upon the previous best-known approximation factor of $e^{1/e}$ [Barman, Krishnamurthy and Vaish, EC 2018].

2026-07-14T23:59:26Z Vignesh Viswanathan http://arxiv.org/abs/2607.12867v1 2026-07-14T15:19:33Z

We consider a quiz show game in which a contestant is presented with a sequence of questions. Each time the contestant answers a question correctly, she receives a prize and proceeds to the next question; the probability of answering each question correctly is given. If the contestant answers a question incorrectly, she receives a consolation prize and the game ends. The contestant's problem of determining the optimal order in which to answer questions, for known fixed parameters, is a classic one studied in Kadane (1969), and admits a simple index-based solution. We consider game-theoretic versions of this problem in which a game show host can choose how to allocate a fixed prize budget. Our models are motivated by operational search problems in national security involving reconnaissance missions and inspecting for evidence of nuclear enrichment, as well as certain scheduling problems. We study three variants of the game, corresponding to different ways in which the host can distribute the prize money. For the first variant, we provide complete closed-form solutions, including equilibrium strategies and the value of the game. We reduce the second variant to a game solved in the literature. For the third variant, we obtain partial results by analyzing a more general game with a geometric structure.

2026-07-14T15:19:33Z Mingshi Yao Thomas Lidbetter Melike Baykal-Gürsoy http://arxiv.org/abs/2607.12742v1 2026-07-14T13:13:13Z

Encrypted control lets a cloud coordinate a fleet of agents on fully homomorphically encrypted state, keeping their positions and commands private. The approximate scheme for real-valued control, CKKS, returns decryptions that carry the encryption noise, a key-recovery leak; the loop must decrypt to actuate, so the leak is unavoidable. Yet the security of approximate FHE is studied statically, encrypted control assumes an honest-but-curious cloud, and persistent-threat games never reach inside the cryptosystem. We model the loop's security under an advanced persistent threat as a two-phase game, passive reconnaissance then active manipulation, separated by a measured residual detector that sees only the manipulation. The passive phase reduces to the known flooding tradeoff; the active defense is re-keying, not bootstrapping, since only re-keying resets accumulated leakage. The active phase is a detection-evasion timing game: overt manipulation is caught, so the rational adversary stays stealthy, and at its Stackelberg equilibrium the defender re-keys on the laziest cadence that denies it, set by the control-theoretic fragility of the graph topology. The marginally-stable graph must re-key far more often than the well-connected one. A three-way tension among FHE precision, control accuracy, and re-key cadence sets where this game lives, between a securability floor and a static-suffices ceiling. The efficient secure point is that window, where re-keying is the price of precision efficiency. More broadly, security for an approximate cryptosystem in a feedback loop is a dynamic game whose defender's move is the scheme's own refresh, applying beyond control to any system that must repeatedly decrypt to act.

2026-07-14T13:13:13Z 20 pages, 3 figures. Submitted to the 17th Conference on Game Theory and AI for Security (GameSec-26) Sai Sandeep Damera John S. Baras http://arxiv.org/abs/2606.30776v2 2026-07-14T12:45:35Z

We study single-parameter, multi-buyer auctions in which buyers are subject to constraints that affect their bidding strategy. Such constraints arise in many real-world auction settings and fundamentally alter the auction design space. As a consequence, the Revelation Principle, Envelope Theorem, and Myerson's Lemma no longer hold. In this paper we focus on a large family of buyer constraints where the buyers are restricted in the manner in which they can bid or spend their budget, but do not have a hard budget cap. These include the common constraints of no-overbidding, ex-post individual rationality, and stagewise individual rationality. We ask whether the seller can leverage the buyers' constraints to obtain improved payoff. Our main finding is a separation between \emph{revenue-aligned} seller objectives (e.g., revenue maximization, welfare, or any linear combination of the two), and \emph{consumer-aligned} seller objectives, which are objectives where the seller prefers \emph{lower} payments, e.g.~to maximize consumer surplus. For revenue-aligned objectives, we establish a unified theory for all constraints in the family, which parallels Myerson's theory of optimal auctions for unconstrained buyers. We develop a new measure-theoretic technique to show that Myerson-style auctions remain optimal, despite the altered design space and failure of the classical theory's central tenets. For consumer-aligned objectives, the picture is different: we show that the seller can leverage the buyers' strategic limitations to strictly outperform classically incentive compatible mechanisms. We design an optimal deterministic auction for a wide class of instances, focusing in particular on buyers who cannot tolerate temporary debt.

2026-06-29T18:07:04Z Minor revision: updated title, revised exposition Batya Berzack Rotem Oshman Inbal Talgam-Cohen http://arxiv.org/abs/2607.12615v1 2026-07-14T10:53:38Z

We study the limits of third-degree price discrimination when the production cost is Bayesian and private to the seller, generalizing the seminal work of Bergemann, Brooks and Morris (2015). The rough setup is the following: A monopoly seller sets different prices for buyers in different "segments" of the market so as to maximize seller surplus. Different ways in which the aggregate market is decomposed into segments lead to different welfare outcomes, i.e., (seller surplus, buyer surplus) pairs. When the production cost is Bayesian, the region of achievable welfare outcomes can exhibit complex shapes beyond the clean characterization by Bergemann, Brooks and Morris for the case with a fixed cost. We show that with a Bayesian cost, this region coincides with a proper projection of a polytope defined by a polynomial number of linear constraints, the essential ones of which correspond to flow conservation in a "discounted" flow network. As a result, we give a polynomial-time algorithm that computes optimal market segmentations in terms of any linear combination of the seller surplus and the buyer surplus. En route, we establish the following structural property: Any market can be written as a convex combination of "extremal markets" in a way preserving the seller surplus and the buyer surplus. These extremal markets are piecewise equal-surplus with respect to different possible costs, generalizing a similar notion introduced by Bergemann, Brooks and Morris when the cost is fixed.

2026-07-14T10:53:38Z Yuan Deng Yilin Li Wei Tang Hanrui Zhang http://arxiv.org/abs/2607.12610v1 2026-07-14T10:40:17Z

A common criticism of liquid democracy within the relevant academic literature is that delegation cycles can occur, seemingly resulting in unused voting power. Yet, practitioners argue that delegation cycles are not only unproblematic but are even formed intentionally by participants. To bring theory closer to reality, we introduce a model that captures this strategic behavior under uncertainty. We study the existence, structure and quality of Nash equilibria, revealing that delegation cycles naturally emerge. To complement these findings, we perform computational experiments using best-response dynamics.

2026-07-14T10:40:17Z Markus Brill Rachael Colley Anne-Marie George Grzegorz Lisowski Georgios Papasotiropoulos Ulrike Schmidt-Kraepelin http://arxiv.org/abs/2604.16944v2 2026-07-14T06:13:46Z

For an extensive-form game, logistic quantal response equilibrium (QRE) is defined with respect to its associated normal form and provides a natural equilibrium-selection mechanism as the rationality parameter tends to infinity. However, direct computation of logistic QRE in the normal form is generally impractical because the strategy space grows exponentially in the number of information sets. To address this difficulty, we construct a dilated-entropy-barrier artificial game in the sequence form and prove that its Nash equilibria characterize the corresponding logistic QREs. Building on this characterization, we further develop a sequence-form formulation of logistic QRE relative to a totally mixed strategy profile. This formulation gives rise to a differentiable path-following method for tracing the associated logit-QRE path, and we establish the existence of the corresponding smooth path. By recasting the dilated-entropy terms as the standard entropy terms, we additionally derive an equivalent smooth path. Numerical experiments illustrate the equilibrium-selection process of the proposed methods and evaluate their computational performance.

2026-04-18T09:57:42Z Yuqing Hou Yiyin Cao Chuangyin Dang Yong Wang http://arxiv.org/abs/2606.25431v2 2026-07-14T04:15:15Z

We study algorithmic fair contract design, where a principal designs task-level contracts and fairly delegates a set of tasks to a set of agents. Prior work reveals a fairness-revenue dilemma: exact envy-free (EF) contracts may have an unbounded price of fairness (PoF), while approximate notions avoid this unboundedness only by weakening strict fairness. To address this dilemma, we propose a novel scheme, called {\it Envy-free Contracts with Subsidies} (EFS), in which the principal may additionally offer agent-specific subsidies to restore strict fairness. Our main technical result is a tight characterization of the price of fairness for EFS contracts. In sharp contrast to EF contracts, whose PoF can be unbounded, we show that the PoF of EFS contracts is $n^{n+O(1)}$, where $n$ is the number of agents. Moreover, EFS contracts can outperform EF contracts by an arbitrarily large factor in terms of the principal's revenue. Finally, we present the complexity landscape: computing optimal EFS contracts is NP-hard in general, whereas a polynomial-time algorithm exists when the number of tasks is constant.

2026-06-24T05:50:06Z some improvements Matteo Castiglioni Junjie Chen Yingkai Li http://arxiv.org/abs/2511.13770v2 2026-07-13T21:07:57Z

Decentralized air traffic management systems offer a scalable alternative to centralized control, but often assume high levels of cooperation. In practice, such assumptions frequently break down since airspace sectors operate independently and prioritize local objectives. We address the problem of sector overload in decentralized air traffic management by proposing a regulated decentralized protocol that models self-interested behaviors based on best response dynamics. Each sector adjusts the departure times of flights under its control to reduce its own congestion, without requiring centralized joint optimization. A tunable cooperativeness factor models the degree to which each sector accounts for overload in other sectors, while a minimal admissibility rule prevents local updates from creating new overloads. We prove that the proposed protocol satisfies a potential game structure, ensuring that best response dynamics converge to a pure Nash equilibrium under this restriction. In addition, we identify a sufficient condition under which an overload-free solution corresponds to a global minimizer of the potential function. Numerical experiments using 24 hours of European flight data demonstrate that the proposed algorithm substantially reduces overload even with only minimal cooperation between sectors, while maintaining scalability and achieving solution quality comparable to the centralized benchmark.

2025-11-14T22:46:21Z Jaehan Im Daniel Delahaye David Fridovich-Keil Ufuk Topcu