Source author record

Deeksha Adil

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

6works
5topics
4close collaborators

Published work

6 publications

preprint2026arXiv

Convex optimization with pp-norm oracles

In recent years, there have been significant advances in efficiently solving ℓs\ell_s-regression using linear system solvers and ℓ2\ell_2-regression [Adil-Kyng-Peng-Sachdeva, J. ACM'24]. Would efficient smoothed ℓp\ell_p-norm solvers lead to even faster rates for solving ℓs\ell_s-regression when 2≤p<s2 \leq p < s? In this paper, we give an affirmative answer to this question and show how to solve ℓs\ell_s-regression using O~(nν1+ν)\tilde{O}(n^{\fracν{1+ν}}) iterations of solving smoothed ℓp\ell_p regression problems, where ν:=1p−1sν:= \frac{1}{p} - \frac{1}{s}. To obtain this result, we provide improved accelerated rates for convex optimization problems when given access to an ℓps(λ)\ell_p^s(λ)-proximal oracle, which, for a point cc, returns the solution of the regularized problem min⁡xf(x)+λ∣∣x−c∣∣ps\min_{x} f(x) + λ||x-c||_p^s. Additionally, we show that these rates for the ℓps(λ)\ell_p^s(λ)-proximal oracle are optimal for algorithms that query in the span of the outputs of the oracle, and we further apply our techniques to settings of high-order and quasi-self-concordant optimization.

preprint2026arXiv

On efficient robust regression with subquadratic samples

We revisit the problem of robust linear regression under Gaussian covariates with an unknown covariance matrix of condition number κκ. For this fundamental problem, significant gaps remain in our understanding of the trade-offs among sample complexity, condition number, runtime, and prediction error for efficient algorithms. Our first result is a near-linear-time algorithm that uses O~(d/ε4)\widetilde{O}(d/ε^4) samples, where dd is the dimension and εε is the corruption rate, and achieves prediction error O(εκ)O(\sqrt{εκ}) under the condition εκ≲1εκ\lesssim 1, improving over all prior works. We complement this result with a Statistical Query (SQ) lower bound showing that efficient SQ algorithms achieving error o(εκ)o(\sqrt{εκ}) when εκ≲1εκ\lesssim 1 require queries that take Ω(d2)Ω(d^2) samples to simulate. Finally, we prove a low-degree polynomial lower bound that gives fine-grained evidence that, without assumptions such as εκ≲1εκ\lesssim 1, efficient algorithms may require Ω~(min⁡{dε2κ2, ε2d2})\tildeΩ\left(\min\{dε^{2}κ^{2},\ ε^{2}d^{2}\}\right) samples to significantly outperform the trivial estimator that always guesses 00.

preprint2022arXiv

Optimal Methods for Higher-Order Smooth Monotone Variational Inequalities

In this work, we present new simple and optimal algorithms for solving the variational inequality (VI) problem for pthp^{th}-order smooth, monotone operators -- a problem that generalizes convex optimization and saddle-point problems. Recent works (Bullins and Lai (2020), Lin and Jordan (2021), Jiang and Mokhtari (2022)) present methods that achieve a rate of O~(ε−2/(p+1))\tilde{O}(ε^{-2/(p+1)}) for p≥1p\geq 1, extending results by (Nemirovski (2004)) and (Monteiro and Svaiter (2012)) for p=1,2p=1,2. A drawback to these approaches, however, is their reliance on a line search scheme. We provide the first pthp^{\textrm{th}}-order method that achieves a rate of O(ε−2/(p+1)).O(ε^{-2/(p+1)}). Our method does not rely on a line search routine, thereby improving upon previous rates by a logarithmic factor. Building on the Mirror Prox method of Nemirovski (2004), our algorithm works even in the constrained, non-Euclidean setting. Furthermore, we prove the optimality of our algorithm by constructing matching lower bounds. These are the first lower bounds for smooth MVIs beyond convex optimization for p>1p > 1. This establishes a separation between solving smooth MVIs and smooth convex optimization, and settles the oracle complexity of solving pthp^{\textrm{th}}-order smooth MVIs.

preprint2021arXiv

Almost-linear-time Weighted ℓp\ell_p-norm Solvers in Slightly Dense Graphs via Sparsification

We give almost-linear-time algorithms for constructing sparsifiers with n poly(log⁡n)n\ poly(\log n) edges that approximately preserve weighted (ℓ22+ℓpp)(\ell^{2}_2 + \ell^{p}_p) flow or voltage objectives on graphs. For flow objectives, this is the first sparsifier construction for such mixed objectives beyond unit ℓp\ell_p weights, and is based on expander decompositions. For voltage objectives, we give the first sparsifier construction for these objectives, which we build using graph spanners and leverage score sampling. Together with the iterative refinement framework of [Adil et al, SODA 2019], and a new multiplicative-weights based constant-approximation algorithm for mixed-objective flows or voltages, we show how to find (1+2−poly(log⁡n))(1+2^{-\text{poly}(\log n)}) approximations for weighted ℓp\ell_p-norm minimizing flows or voltages in p(m1+o(1)+n4/3+o(1))p(m^{1+o(1)} + n^{4/3 + o(1)}) time for p=ω(1),p=ω(1), which is almost-linear for graphs that are slightly dense (m≥n4/3+o(1)m \ge n^{4/3 + o(1)}).

preprint2020arXiv

Fast, Provably convergent IRLS Algorithm for p-norm Linear Regression

Linear regression in ℓp\ell_p-norm is a canonical optimization problem that arises in several applications, including sparse recovery, semi-supervised learning, and signal processing. Generic convex optimization algorithms for solving ℓp\ell_p-regression are slow in practice. Iteratively Reweighted Least Squares (IRLS) is an easy to implement family of algorithms for solving these problems that has been studied for over 50 years. However, these algorithms often diverge for p > 3, and since the work of Osborne (1985), it has been an open problem whether there is an IRLS algorithm that is guaranteed to converge rapidly for p > 3. We propose p-IRLS, the first IRLS algorithm that provably converges geometrically for any p∈[2,∞).p \in [2,\infty). Our algorithm is simple to implement and is guaranteed to find a (1+ε)(1+\varepsilon)-approximate solution in O(p3.5mp−22(p−1)log⁡mε)≤Op(mlog⁡mε)O(p^{3.5} m^{\frac{p-2}{2(p-1)}} \log \frac{m}{\varepsilon}) \le O_p(\sqrt{m} \log \frac{m}{\varepsilon} ) iterations. Our experiments demonstrate that it performs even better than our theoretical bounds, beats the standard Matlab/CVX implementation for solving these problems by 10--50x, and is the fastest among available implementations in the high-accuracy regime.

preprint2020arXiv

Faster p-norm minimizing flows, via smoothed q-norm problems

We present faster high-accuracy algorithms for computing ℓp\ell_p-norm minimizing flows. On a graph with mm edges, our algorithm can compute a (1+1/poly(m))(1+1/\text{poly}(m))-approximate unweighted ℓp\ell_p-norm minimizing flow with pm1+1p−1+o(1)pm^{1+\frac{1}{p-1}+o(1)} operations, for any p≥2,p \ge 2, giving the best bound for all p≳5.24.p\gtrsim 5.24. Combined with the algorithm from the work of Adil et al. (SODA '19), we can now compute such flows for any 2≤p≤mo(1)2\le p\le m^{o(1)} in time at most O(m1.24).O(m^{1.24}). In comparison, the previous best running time was Ω(m1.33)Ω(m^{1.33}) for large constant p.p. For p∼δ−1log⁡m,p\simδ^{-1}\log m, our algorithm computes a (1+δ)(1+δ)-approximate maximum flow on undirected graphs using m1+o(1)δ−1m^{1+o(1)}δ^{-1} operations, matching the current best bound, albeit only for unit-capacity graphs. We also give an algorithm for solving general ℓp\ell_{p}-norm regression problems for large p.p. Our algorithm makes pm13+o(1)log⁡2(1/ε)pm^{\frac{1}{3}+o(1)}\log^2(1/\varepsilon) calls to a linear solver. This gives the first high-accuracy algorithm for computing weighted ℓp\ell_{p}-norm minimizing flows that runs in time o(m1.5)o(m^{1.5}) for some p=mΩ(1).p=m^{Ω(1)}. Our key technical contribution is to show that smoothed ℓp\ell_p-norm problems introduced by Adil et al., are interreducible for different values of p.p. No such reduction is known for standard ℓp\ell_p-norm problems.

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.