66 research outputs found
On the Hardness of Entropy Minimization and Related Problems
We investigate certain optimization problems for Shannon information
measures, namely, minimization of joint and conditional entropies ,
, , and maximization of mutual information , over
convex regions. When restricted to the so-called transportation polytopes (sets
of distributions with fixed marginals), very simple proofs of NP-hardness are
obtained for these problems because in that case they are all equivalent, and
their connection to the well-known \textsc{Subset sum} and \textsc{Partition}
problems is revealed. The computational intractability of the more general
problems over arbitrary polytopes is then a simple consequence. Further, a
simple class of polytopes is shown over which the above problems are not
equivalent and their complexity differs sharply, namely, minimization of
and is trivial, while minimization of and
maximization of are strongly NP-hard problems. Finally, two new
(pseudo)metrics on the space of discrete probability distributions are
introduced, based on the so-called variation of information quantity, and
NP-hardness of their computation is shown.Comment: IEEE Information Theory Workshop (ITW) 201
On the Computational Complexity of Stochastic Controller Optimization in POMDPs
We show that the problem of finding an optimal stochastic 'blind' controller
in a Markov decision process is an NP-hard problem. The corresponding decision
problem is NP-hard, in PSPACE, and SQRT-SUM-hard, hence placing it in NP would
imply breakthroughs in long-standing open problems in computer science. Our
result establishes that the more general problem of stochastic controller
optimization in POMDPs is also NP-hard. Nonetheless, we outline a special case
that is convex and admits efficient global solutions.Comment: Corrected error in the proof of Theorem 2, and revised Section
Tight inapproximability of Nash equilibria in public goods games
We study public goods games, a type of game where every player has to decide whether or not to produce a good which is public, i.e., neighboring players can also benefit from it. Specifically, we consider a setting where the good is indivisible and where the neighborhood structure is represented by a directed graph, with the players being the nodes. Papadimitriou and Peng (2023) recently showed that in this setting computing mixed Nash equilibria is PPAD-hard, and that this remains the case even for ε-well-supported approximate equilibria for some sufficiently small constant ε. In this work, we strengthen this inapproximability result by showing that the problem remains PPAD-hard for any non-trivial approximation parameter ε
Stochastic Control via Entropy Compression
We consider an agent trying to bring a system to an acceptable state by
repeated probabilistic action. Several recent works on algorithmizations of the
Lovasz Local Lemma (LLL) can be seen as establishing sufficient conditions for
the agent to succeed. Here we study whether such stochastic control is also
possible in a noisy environment, where both the process of state-observation
and the process of state-evolution are subject to adversarial perturbation
(noise). The introduction of noise causes the tools developed for LLL
algorithmization to break down since the key LLL ingredient, the sparsity of
the causality (dependence) relationship, no longer holds. To overcome this
challenge we develop a new analysis where entropy plays a central role, both to
measure the rate at which progress towards an acceptable state is made and the
rate at which noise undoes this progress. The end result is a sufficient
condition that allows a smooth tradeoff between the intensity of the noise and
the amenability of the system, recovering an asymmetric LLL condition in the
noiseless case.Comment: 18 page
Optimal Pricing Is Hard
We show that computing the revenue-optimal deterministic auction in unit-demand single-buyer Bayesian settings, i.e. the optimal item-pricing, is computationally hard even in single-item settings where the buyer’s value distribution is a sum of independently distributed attributes, or multi-item settings where the buyer’s values for the items are independent. We also show that it is intractable to optimally price the grand bundle of multiple items for an additive bidder whose values for the items are independent. These difficulties stem from implicit definitions of a value distribution. We provide three instances of how different properties of implicit distributions can lead to intractability: the first is a #P-hardness proof, while the remaining two are reductions from the SQRT-SUM problem of Garey, Graham, and Johnson [14]. While simple pricing schemes can oftentimes approximate the best scheme in revenue, they can have drastically different underlying structure. We argue therefore that either the specification of the input distribution must be highly restricted in format, or it is necessary for the goal to be mere approximation to the optimal scheme’s revenue instead of computing properties of the scheme itself.Microsoft Research (Fellowship)Alfred P. Sloan Foundation (Fellowship)National Science Foundation (U.S.) (CAREER Award CCF-0953960)National Science Foundation (U.S.) (Award CCF-1101491)Hertz Foundation (Daniel Stroock Fellowship
- …