Arrow Research search

Author name cluster

Ragesh Jaiswal

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

9 papers
2 author rows

Possible papers

9

ICLR Conference 2025 Conference Paper

Quantum (Inspired) D2-sampling with Applications

  • Poojan Chetan Shah
  • Ragesh Jaiswal

$D^2$-sampling is a fundamental component of sampling-based clustering algorithms such as $k$-means++. Given a dataset $V \subset \mathbb{R}^d$ with $N$ points and a center set $C \subset \mathbb{R}^d$, $D^2$-sampling refers to picking a point from $V$ where the sampling probability of a point is proportional to its squared distance from the nearest center in $C$. The popular $k$-means++ algorithm is simply a $k$-round $D^2$-sampling process, which runs in $O(Nkd)$ time and gives $O(\log{k})$-approximation in expectation for the $k$-means problem. In this work, we give a quantum algorithm for (approximate) $D^2$-sampling in the QRAM model that results in a quantum implementation of $k$-means++ with a running time $\tilde{O}(\zeta^2 k^2)$. Here $\zeta$ is the aspect ratio ( i.e., largest to smallest interpoint distance) and $\tilde{O}$ hides polylogarithmic factors in $N, d, k$. It can be shown through a robust approximation analysis of $k$-means++ that the quantum version preserves its $O(\log{k})$ approximation guarantee. Further, we show that our quantum algorithm for $D^2$-sampling can be dequantized using the sample-query access model of Tang (PhD Thesis, Ewin Tang, University of Washington, 2023). This results in a fast quantum-inspired classical implementation of $k$-means++, which we call QI-$k$-means++, with a running time $O(Nd) + \tilde{O}(\zeta^2k^2d)$, where the $O(Nd)$ term is for setting up the sample-query access data structure. Experimental investigations show promising results for QI-$k$-means++ on large datasets with bounded aspect ratio. Finally, we use our quantum $D^2$-sampling with the known $ D^2$-sampling-based classical approximation scheme to obtain the first quantum approximation scheme for the $k$-means problem with polylogarithmic running time dependence on $N$.

AAAI Conference 2024 Conference Paper

Universal Weak Coreset

  • Ragesh Jaiswal
  • Amit Kumar

Coresets for k-means and k-median problems yield a small summary of the data, which preserves the clustering cost with respect to any set of k centers. Recently coresets have also been constructed for constrained k-means and k-median problems. However, the notion of coresets has the drawback that (i) they can only be applied in settings where the input points are allowed to have weights, and (ii) in general metric spaces, the size of the coresets can depend logarithmically on the number of points. The notion of weak coresets, which has less stringent requirements than coresets, has been studied in the context of classical k-means and k-median problems. A weak coreset is a pair (J,S) of subsets of points, where S acts as a summary of the point set and J as a set of potential centers. This pair satisfies the properties that (i) S is a good summary of the data as long as the k centers are chosen from J only, and (ii) there is a good choice of k centers in J with a cost close to the optimal cost. We develop this framework, which we call universal weak coresets, for constrained clustering settings. In conjunction with recent coreset constructions for constrained settings, our designs give greater data compression, are conceptually simpler, and apply to a wide range of constrained k-median and k-means problems.

TCS Journal 2023 Journal Article

Tight FPT approximation for constrained k-center and k-supplier

  • Dishant Goyal
  • Ragesh Jaiswal

In this work, we study a range of constrained versions of the k-supplier and k-center problems. In the classical (unconstrained) k-supplier problem, we are given a set of clients C in a metric space X, with distance function d (. ,. ). We are also given a set of feasible facility locations L ⊆ X. The goal is to open a set F of k facilities in L to minimize the maximum distance of any client to the closest open facility, i. e. , minimize, cost ( F, C ) ≡ max j ∈ C ⁡ { d ( F, j ) }, where d ( F, j ) is the distance of client j to the closest facility in F. The k-center problem is a special case of the k-supplier problem where L = C. We study various constrained versions of the k-supplier problem such as: capacitated, fault-tolerant, ℓ-diversity, etc. These problems fall under a broad framework of constrained clustering. A unified framework for constrained clustering was proposed by Ding and Xu [Algorithmica 2020] in the context of the k-median and k-means objectives. We extend this framework to the k-supplier and k-center objectives in this work. This unified framework allows us to obtain results simultaneously for the following constrained versions of the k-supplier problem: r-gather, r-capacity, balanced, chromatic, fault-tolerant, strongly private, ℓ-diversity, and fair k-supplier problems, with and without outliers. We design Fixed-Parameter Tractable (FPT) algorithms for these problems. FPT algorithms have polynomial running time if the parameter under consideration is a constant. This may be relevant even to a practitioner since the parameter k is a small number in many real clustering scenarios. We obtain the following results: • We give 3 and 2 approximation algorithms for the constrained k-supplier and k-center problems, respectively, with FPT running time k O ( k ) ⋅ n O ( 1 ), where n = | C ∪ L |. Moreover, these approximation guarantees are tight; that is, for any constant ε > 0, no algorithm can achieve ( 3 − ε ) and ( 2 − ε ) approximation guarantees for the constrained k-supplier and k-center problems in FPT time, assuming FPT ≠ W [ 2 ]. • We study the constrained clustering problem with outliers. Our algorithm gives 3 and 2 approximation guarantees for the constrained outlier k-supplier and k-center problems, respectively, with FPT running time ( k + m ) O ( k ) ⋅ n O ( 1 ), where n = | C ∪ L | and m is the number of outliers. • Our techniques generalise for distance function d (. ,. ) z. That is, for any positive real number z, if the cost of a client is defined by d (. ,. ) z instead of d (. ,. ), then our algorithm gives 3 z and 2 z approximation guarantees for the constrained k-supplier and k-center problems, respectively.

TCS Journal 2016 Journal Article

Tight lower bound instances for k-means++ in two dimensions

  • Anup Bhattacharya
  • Ragesh Jaiswal
  • Nir Ailon

The k-means++ seeding algorithm is one of the most popular algorithms that is used for finding the initial k centers when using the Lloyd's algorithm for the k-means problem. It was conjectured by Brunsch and Röglin [9] that k-means++ behaves well for datasets with small dimension. More specifically, they conjectured that the k-means++ seeding algorithm gives O ( log ⁡ d ) approximation with high probability for any d-dimensional dataset. In this work, we refute this conjecture by giving two dimensional datasets on which the k-means++ seeding algorithm achieves an O ( log ⁡ k ) approximation ratio with probability exponentially small in k. This solves open problems posed by Mahajan et al. [12] and by Brunsch and Röglin [9].

TCS Journal 2015 Journal Article

k- Means + + under approximation stability

  • Manu Agarwal
  • Ragesh Jaiswal
  • Arindam Pal

One of the most popular algorithms for finding centers for initializing Lloyd's heuristic is the k- means + + seeding algorithm. The algorithm is a simple sampling procedure that can be described as follows: The algorithm picks the first center randomly from among the given points and then for i = 2, 3, …, k, picks a point to be the ith center with probability proportional to the squared Euclidean distance of this point to the nearest center out of the ( i − 1 ) previously chosen centers. The k- means + + seeding algorithm is known to exhibit nice properties. It has been noticed that this seeding algorithm tends to perform well when the optimal clusters are separated in some sense. Intuitively, this is because the algorithm gives preference to further away points when picking centers. One separation condition that has been studied in the past was due to Ostrovsky et al. [9]. Jaiswal and Garg [8] showed that if any dataset satisfies the separation condition of [9], then this sampling algorithm gives a constant approximation with probability Ω ( 1 k ) on this dataset. Another separation condition that is strictly weaker than [9] is the approximation stability condition studied by Balcan et al. [5]. In this work, we show that the sampling algorithm gives a constant approximation with probability Ω ( 1 k ) on any dataset that satisfies the separation condition of [5] and the optimal k clusters are not too small. We give a negative result for datasets that have small optimal clusters.

FOCS Conference 2009 Conference Paper

Bounded Independence Fools Halfspaces

  • Ilias Diakonikolas
  • Parikshit Gopalan
  • Ragesh Jaiswal
  • Rocco A. Servedio
  • Emanuele Viola

We show that any distribution on {-1, +1} n that is k-wise independent fools any halfspace (a. k. a. threshold) h: {-1, +1} n ¿ {-1, +1}, i. e. , any function of the form h(x) = sign(¿ i=1 n w i X i - ¿) where the w 1, .. ., w n, ¿ are arbitrary real numbers, with error ¿ for k = O(¿ -2 log 2 (1/¿)). Our result is tight up to log(1/¿) factors. Using standard constructions of k-wise independent distributions, we obtain the first explicit pseudorandom generators G: {-1, +1} s ¿ {-1, +1} n that fool halfspaces. Specifically, we fool halfspaces with error e and seed length s = k · log n = O(log n · ¿ -2 log 2 (1/¿)). Our approach combines classical tools from real approximation theory with structural results on halfspaces by Servedio (Comput. Complexity 2007).

NeurIPS Conference 2009 Conference Paper

Streaming k-means approximation

  • Nir Ailon
  • Ragesh Jaiswal
  • Claire Monteleoni

We provide a clustering algorithm that approximately optimizes the k-means objective, in the one-pass streaming setting. We make no assumptions about the data, and our algorithm is very light-weight in terms of memory, and computation. This setting is applicable to unsupervised learning on massive data sets, or resource-constrained devices. The two main ingredients of our theoretical work are: a derivation of an extremely simple pseudo-approximation batch algorithm for k-means, in which the algorithm is allowed to output more than k centers (based on the recent k-means++"), and a streaming clustering algorithm in which batch clustering algorithms are performed on small inputs (fitting in memory) and combined in a hierarchical manner. Empirical evaluations on real and simulated data reveal the practical utility of our method. "

STOC Conference 2008 Conference Paper

Uniform direct product theorems: simplified, optimized, and derandomized

  • Russell Impagliazzo
  • Ragesh Jaiswal
  • Valentine Kabanets
  • Avi Wigderson

The classical Direct-Product Theorem for circuits says that if a Boolean function f: {0,1} n -> {0,1} is somewhat hard to compute on average by small circuits, then the corresponding k-wise direct product function f k (x 1 ,...,x k )=(f(x 1 ),...,f(x k )) (where each x i -> {0,1} n ) is significantly harder to compute on average by slightly smaller circuits. We prove a fully uniform version of the Direct-Product Theorem with information-theoretically optimal parameters, up to constant factors. Namely, we show that for given k and ε, there is an efficient randomized algorithm A with the following property. Given a circuit C that computes f k on at least ε fraction of inputs, the algorithm A outputs with probability at least 3/4 a list of O(1/ε) circuits such that at least one of the circuits on the list computes f on more than 1-δ fraction of inputs, for δ = O((log 1/ε)/k). Moreover, each output circuit is an AC 0 circuit (of size poly(n,k,log 1/δ,1/ε)), with oracle access to the circuit C. Using the Goldreich-Levin decoding algorithm [5], we also get a fully uniform version of Yao's XOR Lemma [18] with optimal parameters, up to constant factors. Our results simplify and improve those in [10]. Our main result may be viewed as an efficient approximate, local, list-decoding algorithm for direct-product codes (encoding a function by its values on all k-tuples) with optimal parameters. We generalize it to a family of "derandomized" direct-product codes, which we call intersection codes , where the encoding provides values of the function only on a subfamily of k-tuples. The quality of the decoding algorithm is then determined by sampling properties of the sets in this family and their intersections. As a direct consequence of this generalization we obtain the first derandomized direct product result in the uniform setting, allowing hardness amplification with only constant (as opposed to a factor of k) increase in the input length. Finally, this general setting naturally allows the decoding of concatenated codes, which further yields nearly optimal derandomized amplification.

FOCS Conference 2006 Conference Paper

Approximately List-Decoding Direct Product Codes and Uniform Hardness Amplification

  • Russell Impagliazzo
  • Ragesh Jaiswal
  • Valentine Kabanets

We consider the problem of approximately locally list-decoding direct product codes. For a parameter k, the k-wise direct product encoding of an N-bit message msg is an N k -length string over the alphabet {0, l} k indexed by k-tuples (i 1, .. ., i k ) isin {1, .. ., N} k so that the symbol at position (i 1, .. ., i k ) of the codeword is msg(i 1 ). .. msg(i k ). Such codes arise naturally in the context of hardness amplification of Boolean functions via the direct product lemma (and the closely related Yao 's XOR Lemma), where typically k Lt N (e. g. , k = poly log N). We describe an efficient randomized algorithm for approximate local list-decoding of direct product codes. Given access to a word which agrees with the k-wise direct product encoding of some message msg in at least an epsiv fraction of positions, our algorithm outputs a list of poly(l/epsiv) Boolean circuits computing N-bit strings (viewed as truth tables of log N-variable Boolean functions) such that at least one of them agrees with msg in at least 1 - delta fraction of positions, for delta = O(k -0. 1 ), provided that epsiv = Omega(poly(l/k); the running time of the algorithm is polynomial in log N and 1/epsiv. When epsiv > epsiv kalpha for a certain constant alpha > 0, we get a randomized approximate list-decoding algorithm that runs in time quasi-polynomial in 1/epsiv (i. e. , (1/epsiv) poly log 1 epsiv/)By concatenating the k-wise direct product codes with Hadamard codes, we obtain locally list-decodable codes over the binary alphabet, which can be efficiently approximately list-decoded from fewer than frac12 - epsiv fraction of corruptions as long as epsiv = Omega(poly(l/k)). As an immediate application, we get uniform hardness amplification for P NP par, the class of languages reducible to NP through one round of parallel oracle queries: If there is a language in P NP par that cannot be decided by any BPP algorithm on more that 1 $1/n Omega(1) fraction of inputs, then there is another language in P NP par that cannot be decided by any BPP algorithm on more than frac12 + 1/n omega(1) fraction of inputs

v2026.09.13