Source author record

Aditi Laddha

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
2topics
4close collaborators

Published work

4 publications

preprint2024arXiv

Approximation Algorithms for the Weighted Nash Social Welfare via Convex and Non-Convex Programs

In an instance of the weighted Nash Social Welfare problem, we are given a set of mm indivisible items, G\mathscr{G}, and nn agents, A\mathscr{A}, where each agent i∈Ai \in \mathscr{A} has a valuation vij≥0v_{ij}\geq 0 for each item j∈Gj\in \mathscr{G}. In addition, every agent ii has a non-negative weight wiw_i such that the weights collectively sum up to 11. The goal is to find an assignment σ:G→Aσ:\mathscr{G}\rightarrow \mathscr{A} that maximizes ∏i∈A(∑j∈σ−1(i)vij)wi\prod_{i\in \mathscr{A}} \left(\sum_{j\in σ^{-1}(i)} v_{ij}\right)^{w_i}, the product of the weighted valuations of the players. When all the weights equal 1n\frac1n, the problem reduces to the classical Nash Social Welfare problem, which has recently received much attention. In this work, we present a 5⋅exp⁡(2⋅DKL(w ∣∣ 1⃗n))=5⋅exp⁡(2log⁡n+2∑i=1nwilog⁡wi)5\cdot\exp\left(2\cdot D_{\text{KL}}(\mathbf{w}\, ||\, \frac{\vec{\mathbf{1}}}{n})\right) = 5\cdot\exp\left(2\log{n} + 2\sum_{i=1}^n w_i \log{w_i}\right)-approximation algorithm for the weighted Nash Social Welfare problem, where DKL(w ∣∣ 1⃗n)D_{\text{KL}}(\mathbf{w}\, ||\, \frac{\vec{\mathbf{1}}}{n}) denotes the KL-divergence between the distribution induced by w\mathbf{w} and the uniform distribution on [n][n]. We show a novel connection between the convex programming relaxations for the unweighted variant of Nash Social Welfare presented in \cite{cole2017convex, anari2017nash}, and generalize the programs to two different mathematical programs for the weighted case. The first program is convex and is necessary for computational efficiency, while the second program is a non-convex relaxation that can be rounded efficiently. The approximation factor derives from the difference in the objective values of the convex and non-convex relaxation.

preprint2022arXiv

Convergence of Gibbs Sampling: Coordinate Hit-and-Run Mixes Fast

The Gibbs Sampler is a general method for sampling high-dimensional distributions, dating back to Turchin, 1971. In each step of the Gibbs Sampler, we pick a random coordinate and re-sample that coordinate from the distribution induced by fixing all other coordinates. While it has become widely used over the past half-century, guarantees of efficient convergence have been elusive. We show that for a convex body KK in Rn\mathbb{R}^{n} with diameter DD, the mixing time of the Coordinate Hit-and-Run (CHAR) algorithm on KK is polynomial in nn and DD. We also give a lower bound on the conductance of CHAR, showing that it is strictly worse than hit-and-run or the ball walk in the worst case.

preprint2022arXiv

Determinant Maximization via Matroid Intersection Algorithms

Determinant maximization problem gives a general framework that models problems arising in as diverse fields as statistics \cite{pukelsheim2006optimal}, convex geometry \cite{Khachiyan1996}, fair allocations\linebreak \cite{anari2016nash}, combinatorics \cite{AnariGV18}, spectral graph theory \cite{nikolov2019proportional}, network design, and random processes \cite{kulesza2012determinantal}. In an instance of a determinant maximization problem, we are given a collection of vectors $U=\{v_1,\ldots, v_n\} \subset \RR^d$, and a goal is to pick a subset S⊆US\subseteq U of given vectors to maximize the determinant of the matrix ∑i∈Svivi⊤\sum_{i\in S} v_i v_i^\top . Often, the set SS of picked vectors must satisfy additional combinatorial constraints such as cardinality constraint (∣S∣≤k)\left(|S|\leq k\right) or matroid constraint (SS is a basis of a matroid defined on the vectors). In this paper, we give a polynomial-time deterministic algorithm that returns a rO(r)r^{O(r)}-approximation for any matroid of rank r≤dr\leq d. This improves previous results that give eO(r2)e^{O(r^2)}-approximation algorithms relying on eO(r)e^{O(r)}-approximate \emph{estimation} algorithms \cite{NikolovS16,anari2017generalization,AnariGV18,madan2020maximizing} for any r≤dr\leq d. All previous results use convex relaxations and their relationship to stable polynomials and strongly log-concave polynomials. In contrast, our algorithm builds on combinatorial algorithms for matroid intersection, which iteratively improve any solution by finding an \emph{alternating negative cycle} in the \emph{exchange graph} defined by the matroids. While the det⁡(.)\det(.) function is not linear, we show that taking appropriate linear approximations at each iteration suffice to give the improved approximation algorithm.

preprint2020arXiv

Strong Self-Concordance and Sampling

Motivated by the Dikin walk, we develop aspects of an interior-point theory for sampling in high dimension. Specifically, we introduce a symmetric parameter and the notion of strong self-concordance. These properties imply that the corresponding Dikin walk mixes in O~(nνˉ)\tilde{O}(n\barν) steps from a warm start in a convex body in Rn\mathbb{R}^{n} using a strongly self-concordant barrier with symmetric self-concordance parameter νˉ\barν. For many natural barriers, νˉ\barν is roughly bounded by νν, the standard self-concordance parameter. We show that this property and strong self-concordance hold for the Lee-Sidford barrier. As a consequence, we obtain the first walk to mix in O~(n2)\tilde{O}(n^{2}) steps for an arbitrary polytope in Rn\mathbb{R}^{n}. Strong self-concordance for other barriers leads to an interesting (and unexpected) connection -- for the universal and entropic barriers, it is implied by the KLS conjecture.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.