Search arXivSearch

arXiv · 2504.15997

A Lagrangian Approach to Optimal Randomization

Abstract

We develop an efficient method for solving non-convex constrained optimization problems that are pervasive in economics. The optimal solution to these problems often involves randomization. We employ a Lagrangian framework and prove that the value of the saddle point characterizing the optimal random solution equals the value of the deterministic dual problem. Our algorithm solves this dual via subgradient descent and recovers the optimal random solution directly from deterministic optima computed along the iterations. For many non-convex economic problems, our method is orders of magnitude faster than linear programming, making previously intractable lottery problems feasible. As an application, we solve for optimal Mirrleesian income taxation with multi-dimensional types. We show that heterogeneity in productivity and Frisch elasticity can make randomization welfare-improving over the optimal deterministic schedule.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Chengfeng Shen, Felix Kübler, Yucheng Yang, Zhennan Zhou. 2026-05-06. A Lagrangian Approach to Optimal Randomization. https://arxiv.org/abs/2504.15997

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Privacy-Aware Sequential Learning

Sequential learning often relies on individuals reporting private information, with early reports shaping later beliefs and collective decisions. When such reports are sensitive, privacy protection creates a fundamental trade-off in the design of sequential feedback systems. We study this trade-off as a platform design problem: before reporting begins, the platform commits to a local privacy-preserving reporting protocol, seeking to improve final-decision accuracy while limiting the time required to accumulate sufficient evidence. Surprisingly, privacy protection can accelerate learning. With continuous Gaussian signals, smooth randomized response under metric differential privacy preserves asymptotic learning and yields a public log-likelihood ratio growing at rate $Θ_{\varepsilon}(\log n)$, faster than the nonprivate $Θ(\sqrt{\log n})$ benchmark, substantially reducing high-confidence stopping times. With heterogeneous privacy parameters, learning can be faster still; when privacy budgets are uniformly distributed on $[0,1]$, public belief grows at rate $Θ(n^{1/4})$. With binary signals, randomized response generates a nonmonotone relationship between privacy and decision accuracy because privacy affects both report informativeness and cascade thresholds. Stopping time can also be nonmonotone because stronger privacy reduces report informativeness while encouraging participation. Overall, privacy is not merely a constraint on information release, but a platform design lever shaping participation, stopping, and collective learning.

econ.TH

Singleton-Attainability and Transparent Access in Matching

Matching mechanisms differ in how much of an agent's preference ranking must be determined and reported to obtain a particular object. A mechanism is singleton-attainable (SA) if every object that an agent can obtain through some report can also be obtained by reporting only that object as acceptable. With an SA mechanism, once an attainable object has been identified, the agent need not rank or report any other object. Singleton-attainability identifies a distinct dimension in matching theory and market design: transparent access to attainable outcomes, separate from incentives, stability, welfare or equity. We establish general conditions for SA and derive its strategic implications. Top-lift invariance and truncation invariance together imply SA, while strategyproofness and stability each imply SA. By contrast, no Pareto improvement over a strategyproof, individually rational, and non-wasteful mechanism is SA. In particular, every Pareto improvement over Deferred Acceptance violates SA. We introduce report width, which measures how many acceptable objects may have to be reported to obtain an object. SA mechanisms have report width one. Report width is unbounded for a large class of efficient mechanisms that Pareto-improve Deferred Acceptance. Stable selection with report-induced priorities has width one when priorities are monotone and maximal width under reverse priority dominance. Rank-welfare maximization has width one when the outside-option rank is fixed and maximal width when it is report-dependent. These results reveal a structural divide, which we call the width dichotomy: across all mechanisms and families in our classification and all structural classes we study, report width is either one or unbounded.

econ.TH

Minimally rational reallocation of objects

Matching theory has largely evolved around two canonical rules: deferred acceptance (DA) in the marriage problem and top trading cycles (TTC) in the object reallocation problem. Although the two rules operate through different procedures, we show that they rest on a common axiomatic foundation. In the marriage problem, stability decomposes into individual rationality and pair rationality, and a classic result characterizes DA by these two axioms together with strategy-proofness for the proposing side. We show that individual rationality, pair rationality, and strategy-proofness likewise characterize TTC. More strongly, three weak rationality axioms concerning individuals and pairs, together with strategy-proofness, uniquely determine TTC. Even weak rationality requirements therefore rule out strategy-proof implementation when there is a cap on the size of exchange cycles.

econ.TH