Abstract:Budget feasible mechanism design studies procurement combinatorial auctions where the sellers have private costs to produce items, and the buyer(auctioneer) aims to maximize a social valuation function on subsets of items, under the budget constraint on the total payment. One of the most important questions in the field is "which valuation domains admit truthful budget feasible mechanisms with `small' approximations (compared to the social optimum)?" Singer showed that additive and submodular functions have such constant approximations. Recently, Dobzinski, Papadimitriou, and Singer gave an O(log^2 n)-approximation mechanism for subadditive functions; they also remarked that: "A fundamental question is whether, regardless of computational constraints, a constant-factor budget feasible mechanism exists for subadditive functions." We address this question from two viewpoints: prior-free worst case analysis and Bayesian analysis. For the prior-free framework, we use an LP that describes the fractional cover of the valuation function; it is also connected to the concept of approximate core in cooperative game theory. We provide an O(I)-approximation mechanism for subadditive functions, via the worst case integrality gap I of LP. This implies an O(log n)-approximation for subadditive valuations, O(1)-approximation for XOS valuations, and for valuations with a constant I. XOS valuations are an important class of functions that lie between submodular and subadditive classes. We give another polynomial time O(log n/loglog n) sub-logarithmic approximation mechanism for subadditive valuations. For the Bayesian framework, we provide a constant approximation mechanism for all subadditive functions, using the above prior-free mechanism for XOS valuations as a subroutine. Our mechanism allows correlations in the distribution of private information and is universally truthful.

Towards a formalization of budgets

Tuplix Calculus Specifications of Financial Transfer Networks

Timed tuplix calculus and the Wesseling and van den Bergh equation

Budgeting - Taking into Account and Ranking: Assembling a Budget in the Construction Industry *

Formaleuros, Formalbitcoins, and Virtual Monies

Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study

Diagrammatic Exposition of a Theory of Public Expenditure

How to Formalize It?

Synthetic Fracterm Calculus

Tachis: Higher-Order Separation Logic with Credits for Expected Costs

A Formal System for the Universal Quantification of Schematic Variables

A Formal Calculus for International Relations Computation and Evaluation

The Use of a Single Budget or Separate Budgets for Planning and Performance Evaluation

Towards a General Many-Sorted Framework for Describing Certain Kinds of Legal Statutes with a Potential Computational Realization

Optimal Budget Aggregation with Star-Shaped Preferences

Budget Feasible Mechanism Design: From Prior-Free to Bayesian

Formalizing the Cox-Ross-Rubinstein pricing of European derivatives in Isabelle/HOL

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory

Behavioral Specification Theories: an Algebraic Taxonomy

Almost Budget Balanced Mechanisms with Scalar Bids For Allocation of a Divisible Good

Strategy-proof Budgeting via a VCG-like Mechanism