-
Even Faster Knapsack via Rectangular Monotone Min-Plus Convolution and Balancing
Authors:
Karl Bringmann,
Anita Dürr,
Adam Polak
Abstract:
We present a pseudopolynomial-time algorithm for the Knapsack problem that has running time $\widetilde{O}(n + t\sqrt{p_{\max}})$, where $n$ is the number of items, $t$ is the knapsack capacity, and $p_{\max}$ is the maximum item profit. This improves over the $\widetilde{O}(n + t \, p_{\max})$-time algorithm based on the convolution and prediction technique by Bateni et al.~(STOC 2018). Moreover,…
▽ More
We present a pseudopolynomial-time algorithm for the Knapsack problem that has running time $\widetilde{O}(n + t\sqrt{p_{\max}})$, where $n$ is the number of items, $t$ is the knapsack capacity, and $p_{\max}$ is the maximum item profit. This improves over the $\widetilde{O}(n + t \, p_{\max})$-time algorithm based on the convolution and prediction technique by Bateni et al.~(STOC 2018). Moreover, we give some evidence, based on a strengthening of the Min-Plus Convolution Hypothesis, that our running time might be optimal.
Our algorithm uses two new technical tools, which might be of independent interest. First, we generalize the $\widetilde{O}(n^{1.5})$-time algorithm for bounded monotone min-plus convolution by Chi et al.~(STOC 2022) to the \emph{rectangular} case where the range of entries can be different from the sequence length. Second, we give a reduction from general knapsack instances to \emph{balanced} instances, where all items have nearly the same profit-to-weight ratio, up to a constant factor.
Using these techniques, we can also obtain algorithms that run in time $\widetilde{O}(n + OPT\sqrt{w_{\max}})$, $\widetilde{O}(n + (nw_{\max}p_{\max})^{1/3}t^{2/3})$, and $\widetilde{O}(n + (nw_{\max}p_{\max})^{1/3} OPT^{2/3})$, where $OPT$ is the optimal total profit and $w_{\max}$ is the maximum item weight.
△ Less
Submitted 1 July, 2024; v1 submitted 8 April, 2024;
originally announced April 2024.
-
Connectivity Oracles for Predictable Vertex Failures
Authors:
Bingbing Hu,
Evangelos Kosinas,
Adam Polak
Abstract:
The problem of designing connectivity oracles supporting vertex failures is one of the basic data structures problems for undirected graphs. It is already well understood: previous works [Duan--Pettie STOC'10; Long--Saranurak FOCS'22] achieve query time linear in the number of failed vertices, and it is conditionally optimal as long as we require preprocessing time polynomial in the size of the gr…
▽ More
The problem of designing connectivity oracles supporting vertex failures is one of the basic data structures problems for undirected graphs. It is already well understood: previous works [Duan--Pettie STOC'10; Long--Saranurak FOCS'22] achieve query time linear in the number of failed vertices, and it is conditionally optimal as long as we require preprocessing time polynomial in the size of the graph and update time polynomial in the number of failed vertices.
We revisit this problem in the paradigm of algorithms with predictions: we ask if the query time can be improved if the set of failed vertices can be predicted beforehand up to a small number of errors. More specifically, we design a data structure that, given a graph $G=(V,E)$ and a set of vertices predicted to fail $\widehat{D} \subseteq V$ of size $d=|\widehat{D}|$, preprocesses it in time $\tilde{O}(d|E|)$ and then can receive an update given as the symmetric difference between the predicted and the actual set of failed vertices $\widehat{D} \triangle D = (\widehat{D} \setminus D) \cup (D \setminus \widehat{D})$ of size $η= |\widehat{D} \triangle D|$, process it in time $\tilde{O}(η^4)$, and after that answer connectivity queries in $G \setminus D$ in time $O(η)$. Viewed from another perspective, our data structure provides an improvement over the state of the art for the \emph{fully dynamic subgraph connectivity problem} in the \emph{sensitivity setting} [Henzinger--Neumann ESA'16].
We argue that the preprocessing time and query time of our data structure are conditionally optimal under standard fine-grained complexity assumptions.
△ Less
Submitted 1 July, 2024; v1 submitted 13 December, 2023;
originally announced December 2023.
-
Parameterized algorithms for block-structured integer programs with large entries
Authors:
Jana Cslovjecsek,
Martin Koutecký,
Alexandra Lassota,
Michał Pilipczuk,
Adam Polak
Abstract:
We study two classic variants of block-structured integer programming. Two-stage stochastic programs are integer programs of the form $\{A_i \mathbf{x} + D_i \mathbf{y}_i = \mathbf{b}_i\textrm{ for all }i=1,\ldots,n\}$, where $A_i$ and $D_i$ are bounded-size matrices. On the other hand, $n$-fold programs are integer programs of the form…
▽ More
We study two classic variants of block-structured integer programming. Two-stage stochastic programs are integer programs of the form $\{A_i \mathbf{x} + D_i \mathbf{y}_i = \mathbf{b}_i\textrm{ for all }i=1,\ldots,n\}$, where $A_i$ and $D_i$ are bounded-size matrices. On the other hand, $n$-fold programs are integer programs of the form $\{{\sum_{i=1}^n C_i\mathbf{y}_i=\mathbf{a}} \textrm{ and } D_i\mathbf{y}_i=\mathbf{b}_i\textrm{ for all }i=1,\ldots,n\}$, where again $C_i$ and $D_i$ are bounded-size matrices. It is known that solving these kind of programs is fixed-parameter tractable when parameterized by the maximum dimension among the relevant matrices $A_i,C_i,D_i$ and the maximum absolute value of any entry appearing in the constraint matrix.
We show that the parameterized tractability results for two-stage stochastic and $n$-fold programs persist even when one allows large entries in the global part of the program. More precisely, we prove that:
- The feasibility problem for two-stage stochastic programs is fixed-parameter tractable when parameterized by the dimensions of matrices $A_i,D_i$ and by the maximum absolute value of the entries of matrices $D_i$. That is, we allow matrices $A_i$ to have arbitrarily large entries.
- The linear optimization problem for $n$-fold integer programs that are uniform -- all matrices $C_i$ are equal -- is fixed-parameter tractable when parameterized by the dimensions of matrices $C_i$ and $D_i$ and by the maximum absolute value of the entries of matrices $D_i$. That is, we require that $C_i=C$ for all $i=1,\ldots,n$, but we allow $C$ to have arbitrarily large entries.
In the second result, the uniformity assumption is necessary; otherwise the problem is $\mathsf{NP}$-hard already when the parameters take constant values. Both our algorithms are weakly polynomial: the running time is measured in the total bitsize of the input.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Deterministic 3SUM-Hardness
Authors:
Nick Fischer,
Piotr Kaliciak,
Adam Polak
Abstract:
As one of the three main pillars of fine-grained complexity theory, the 3SUM problem explains the hardness of many diverse polynomial-time problems via fine-grained reductions. Many of these reductions are either directly based on or heavily inspired by Pătraşcu's framework involving additive hashing and are thus randomized. Some selected reductions were derandomized in previous work [Chan, He; SO…
▽ More
As one of the three main pillars of fine-grained complexity theory, the 3SUM problem explains the hardness of many diverse polynomial-time problems via fine-grained reductions. Many of these reductions are either directly based on or heavily inspired by Pătraşcu's framework involving additive hashing and are thus randomized. Some selected reductions were derandomized in previous work [Chan, He; SOSA'20], but the current techniques are limited and a major fraction of the reductions remains randomized.
In this work we gather a toolkit aimed to derandomize reductions based on additive hashing. Using this toolkit, we manage to derandomize almost all known 3SUM-hardness reductions. As technical highlights we derandomize the hardness reductions to (offline) Set Disjointness, (offline) Set Intersection and Triangle Listing -- these questions were explicitly left open in previous work [Kopelowitz, Pettie, Porat; SODA'16]. The few exceptions to our work fall into a special category of recent reductions based on structure-versus-randomness dichotomies.
We expect that our toolkit can be readily applied to derandomize future reductions as well. As a conceptual innovation, our work thereby promotes the theory of deterministic 3SUM-hardness.
As our second contribution, we prove that there is a deterministic universe reduction for 3SUM. Specifically, using additive hashing it is a standard trick to assume that the numbers in 3SUM have size at most $n^3$. We prove that this assumption is similarly valid for deterministic algorithms.
△ Less
Submitted 28 November, 2023; v1 submitted 19 October, 2023;
originally announced October 2023.
-
Reentrant phase behavior in systems with density-induced tunneling
Authors:
A. Krzywicka T. P. Polak
Abstract:
Open many body quantum systems play a paramount role in various branches of physics, such as quantum information, nonlinear optics or condensed matter. The dissipative character of open systems has gained a lot of interest especially within the fields of quantum optics, due to unprecedented stabilization of quantum coherence, and quantum information, with its desire to control environmental degree…
▽ More
Open many body quantum systems play a paramount role in various branches of physics, such as quantum information, nonlinear optics or condensed matter. The dissipative character of open systems has gained a lot of interest especially within the fields of quantum optics, due to unprecedented stabilization of quantum coherence, and quantum information, with its desire to control environmental degrees of freedom. We look beyond the typical mechanism of dissipation associated with an external source and show that strongly interacting many particle systems can create quantum decoherence within themselves. We study a quantum bosonic two-dimensional many body system with extended interactions between particles. Analytical calculations show that the system can be driven out of its coherent state, which is prevalent among commonly used setups. However, we also observe a revival of the superfluid phase within the same framework for sufficiently large interaction strength. The breakdown of quantum coherence is inevitable, but can be misinterpreted if one assumes improper coupling between the constituents of the many particle system. We show an adequate path to retrieve physically relevant results and consider its limitations. The system displays a natural cutoff that enforces the breakdown of superfluidity.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
On Dynamic Graph Algorithms with Predictions
Authors:
Jan van den Brand,
Sebastian Forster,
Yasamin Nazari,
Adam Polak
Abstract:
We study dynamic algorithms in the model of algorithms with predictions. We assume the algorithm is given imperfect predictions regarding future updates, and we ask how such predictions can be used to improve the running time. This can be seen as a model interpolating between classic online and offline dynamic algorithms. Our results give smooth tradeoffs between these two extreme settings.
Firs…
▽ More
We study dynamic algorithms in the model of algorithms with predictions. We assume the algorithm is given imperfect predictions regarding future updates, and we ask how such predictions can be used to improve the running time. This can be seen as a model interpolating between classic online and offline dynamic algorithms. Our results give smooth tradeoffs between these two extreme settings.
First, we give algorithms for incremental and decremental transitive closure and approximate APSP that take as an additional input a predicted sequence of updates (edge insertions, or edge deletions, respectively). They preprocess it in $\tilde{O}(n^{(3+ω)/2})$ time, and then handle updates in $\tilde{O}(1)$ worst-case time and queries in $\tilde{O}(η^2)$ worst-case time. Here $η$ is an error measure that can be bounded by the maximum difference between the predicted and actual insertion (deletion) time of an edge, i.e., by the $\ell_\infty$-error of the predictions.
The second group of results concerns fully dynamic problems with vertex updates, where the algorithm has access to a predicted sequence of the next $n$ updates. We show how to solve fully dynamic triangle detection, maximum matching, single-source reachability, and more, in $O(n^{ω-1}+nη_i)$ worst-case update time. Here $η_i$ denotes how much earlier the $i$-th update occurs than predicted.
Our last result is a reduction that transforms a worst-case incremental algorithm without predictions into a fully dynamic algorithm which is given a predicted deletion time for each element at the time of its insertion. As a consequence we can, e.g., maintain fully dynamic exact APSP with such predictions in $\tilde{O}(n^2)$ worst-case vertex insertion time and $\tilde{O}(n^2 (1+η_i))$ worst-case vertex deletion time (for the prediction error $η_i$ defined as above).
△ Less
Submitted 8 December, 2023; v1 submitted 19 July, 2023;
originally announced July 2023.
-
Mixing predictions for online metric algorithms
Authors:
Antonios Antoniadis,
Christian Coester,
Marek Eliáš,
Adam Polak,
Bertrand Simon
Abstract:
A major technique in learning-augmented online algorithms is combining multiple algorithms or predictors. Since the performance of each predictor may vary over time, it is desirable to use not the single best predictor as a benchmark, but rather a dynamic combination which follows different predictors at different times. We design algorithms that combine predictions and are competitive against suc…
▽ More
A major technique in learning-augmented online algorithms is combining multiple algorithms or predictors. Since the performance of each predictor may vary over time, it is desirable to use not the single best predictor as a benchmark, but rather a dynamic combination which follows different predictors at different times. We design algorithms that combine predictions and are competitive against such dynamic combinations for a wide class of online problems, namely, metrical task systems. Against the best (in hindsight) unconstrained combination of $\ell$ predictors, we obtain a competitive ratio of $O(\ell^2)$, and show that this is best possible. However, for a benchmark with slightly constrained number of switches between different predictors, we can get a $(1+ε)$-competitive algorithm. Moreover, our algorithms can be adapted to access predictors in a bandit-like fashion, querying only one predictor at a time. An unexpected implication of one of our lower bounds is a new structural insight about covering formulations for the $k$-server problem.
△ Less
Submitted 15 December, 2023; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Bellman-Ford is optimal for shortest hop-bounded paths
Authors:
Tomasz Kociumaka,
Adam Polak
Abstract:
This paper is about the problem of finding a shortest $s$-$t$ path using at most $h$ edges in edge-weighted graphs. The Bellman--Ford algorithm solves this problem in $O(hm)$ time, where $m$ is the number of edges. We show that this running time is optimal, up to subpolynomial factors, under popular fine-grained complexity assumptions.
More specifically, we show that under the APSP Hypothesis th…
▽ More
This paper is about the problem of finding a shortest $s$-$t$ path using at most $h$ edges in edge-weighted graphs. The Bellman--Ford algorithm solves this problem in $O(hm)$ time, where $m$ is the number of edges. We show that this running time is optimal, up to subpolynomial factors, under popular fine-grained complexity assumptions.
More specifically, we show that under the APSP Hypothesis the problem cannot be solved faster already in undirected graphs with non-negative edge weights. This lower bound holds even restricted to graphs of arbitrary density and for arbitrary $h \in O(\sqrt{m})$. Moreover, under a stronger assumption, namely the Min-Plus Convolution Hypothesis, we can eliminate the restriction $h \in O(\sqrt{m})$. In other words, the $O(hm)$ bound is tight for the entire space of parameters $h$, $m$, and $n$, where $n$ is the number of nodes.
Our lower bounds can be contrasted with the recent near-linear time algorithm for the negative-weight Single-Source Shortest Paths problem, which is the textbook application of the Bellman--Ford algorithm.
△ Less
Submitted 14 February, 2023; v1 submitted 14 November, 2022;
originally announced November 2022.
-
On Minimizing Tardy Processing Time, Max-Min Skewed Convolution, and Triangular Structured ILPs
Authors:
Kim-Manuel Klein,
Adam Polak,
Lars Rohwedder
Abstract:
The starting point of this paper is the problem of scheduling $n$ jobs with processing times and due dates on a single machine so as to minimize the total processing time of tardy jobs, i.e., $1||\sum p_j U_j$. This problem was identified by Bringmann et al. (Algorithmica 2022) as a natural subquadratic-time special case of the classic $1||\sum w_j U_j$ problem, which likely requires time quadrati…
▽ More
The starting point of this paper is the problem of scheduling $n$ jobs with processing times and due dates on a single machine so as to minimize the total processing time of tardy jobs, i.e., $1||\sum p_j U_j$. This problem was identified by Bringmann et al. (Algorithmica 2022) as a natural subquadratic-time special case of the classic $1||\sum w_j U_j$ problem, which likely requires time quadratic in the total processing time $P$, because of a fine-grained lower bound. Bringmann et al.~obtain their $\tilde{O}(P^{7/4})$ time scheduling algorithm through a new variant of convolution, dubbed Max-Min Skewed Convolution, which they solve in $\tilde{O}(n^{7/4})$ time. Our main technical contribution is a faster and simpler convolution algorithm running in $\tilde{O}(n^{5/3})$ time. It implies an $\tilde{O}(P^{5/3})$ time algorithm for $1||\sum p_j U_j$, but may also be of independent interest.
Inspired by recent developments for the Subset Sum and Knapsack problems, we study $1||\sum p_j U_j$ parameterized by the maximum job processing time $p_{\max}$. With proximity techniques borrowed from integer linear programming (ILP), we show structural properties of the problem that, coupled with a new dynamic programming formulation, lead to an $\tilde{O}(n+p_{\max}^3)$ time algorithm. Moreover, in the setting with multiple machines, we use similar techniques to get an $n \cdot p_{\max}^{O(m)}$ time algorithm for $Pm||\sum p_j U_j$.
Finally, we point out that the considered problems exhibit a particular triangular block structure in the constraint matrices of their ILP formulations. In light of recent ILP research, a question that arises is whether one can devise a generic algorithm for such a class of ILPs. We give a negative answer to this question: we show that already a slight generalization of the structure of the scheduling ILP leads to a strongly NP-hard problem.
△ Less
Submitted 10 November, 2022; v1 submitted 9 November, 2022;
originally announced November 2022.
-
Paging with Succinct Predictions
Authors:
Antonios Antoniadis,
Joan Boyar,
Marek Eliáš,
Lene M. Favrholdt,
Ruben Hoeksma,
Kim S. Larsen,
Adam Polak,
Bertrand Simon
Abstract:
Paging is a prototypical problem in the area of online algorithms. It has also played a central role in the development of learning-augmented algorithms -- a recent line of research that aims to ameliorate the shortcomings of classical worst-case analysis by giving algorithms access to predictions. Such predictions can typically be generated using a machine learning approach, but they are inherent…
▽ More
Paging is a prototypical problem in the area of online algorithms. It has also played a central role in the development of learning-augmented algorithms -- a recent line of research that aims to ameliorate the shortcomings of classical worst-case analysis by giving algorithms access to predictions. Such predictions can typically be generated using a machine learning approach, but they are inherently imperfect. Previous work on learning-augmented paging has investigated predictions on (i) when the current page will be requested again (reoccurrence predictions), (ii) the current state of the cache in an optimal algorithm (state predictions), (iii) all requests until the current page gets requested again, and (iv) the relative order in which pages are requested.
We study learning-augmented paging from the new perspective of requiring the least possible amount of predicted information. More specifically, the predictions obtained alongside each page request are limited to one bit only. We consider two natural such setups: (i) discard predictions, in which the predicted bit denotes whether or not it is ``safe'' to evict this page, and (ii) phase predictions, where the bit denotes whether the current page will be requested in the next phase (for an appropriate partitioning of the input into phases). We develop algorithms for each of the two setups that satisfy all three desirable properties of learning-augmented algorithms -- that is, they are consistent, robust and smooth -- despite being limited to a one-bit prediction per request. We also present lower bounds establishing that our algorithms are essentially best possible.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Learning-Augmented Maximum Flow
Authors:
Adam Polak,
Maksym Zub
Abstract:
We propose a framework for speeding up maximum flow computation by using predictions. A prediction is a flow, i.e., an assignment of non-negative flow values to edges, which satisfies the flow conservation property, but does not necessarily respect the edge capacities of the actual instance (since these were unknown at the time of learning). We present an algorithm that, given an $m$-edge flow net…
▽ More
We propose a framework for speeding up maximum flow computation by using predictions. A prediction is a flow, i.e., an assignment of non-negative flow values to edges, which satisfies the flow conservation property, but does not necessarily respect the edge capacities of the actual instance (since these were unknown at the time of learning). We present an algorithm that, given an $m$-edge flow network and a predicted flow, computes a maximum flow in $O(mη)$ time, where $η$ is the $\ell_1$ error of the prediction, i.e., the sum over the edges of the absolute difference between the predicted and optimal flow values. Moreover, we prove that, given an oracle access to a distribution over flow networks, it is possible to efficiently PAC-learn a prediction minimizing the expected $\ell_1$ error over that distribution. Our results fit into the recent line of research on learning-augmented algorithms, which aims to improve over worst-case bounds of classical algorithms by using predictions, e.g., machine-learned from previous similar instances. So far, the main focus in this area was on improving competitive ratios for online problems. Following Dinitz et al. (NeurIPS 2021), our results are one of the firsts to improve the running time of an offline problem.
△ Less
Submitted 26 July, 2022;
originally announced July 2022.
-
Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs
Authors:
Alexandra Lassota,
Aleksander Łukasiewicz,
Adam Polak
Abstract:
We solve the Bin Packing problem in $O^*(2^k)$ time, where $k$ is the number of items less or equal to one third of the bin capacity. This parameter measures the distance from the polynomially solvable case of only large (i.e., greater than one third) items. Our algorithm is actually designed to work for a more general Vector Bin Packing problem, in which items are multidimensional vectors. We imp…
▽ More
We solve the Bin Packing problem in $O^*(2^k)$ time, where $k$ is the number of items less or equal to one third of the bin capacity. This parameter measures the distance from the polynomially solvable case of only large (i.e., greater than one third) items. Our algorithm is actually designed to work for a more general Vector Bin Packing problem, in which items are multidimensional vectors. We improve over the previous fastest $O^*(k! \cdot 4^k)$ time algorithm.
Our algorithm works by reducing the problem to finding an exact weight perfect matching in a (multi-)graph with $O^*(2^k)$ edges, whose weights are integers of the order of $O^*(2^k)$. To solve the matching problem in the desired time, we give a variant of the classic Mulmuley-Vazirani-Vazirani algorithm with only a linear dependence on the edge weights and the number of edges, which may be of independent interest.
Moreover, we give a tight lower bound, under the Strong Exponential Time Hypothesis (SETH), showing that the constant $2$ in the base of the exponent cannot be further improved for Vector Bin Packing.
Our techniques also lead to improved algorithms for Vector Multiple Knapsack, Vector Bin Covering, and Perfect Matching with Hitting Constraints.
△ Less
Submitted 18 July, 2022; v1 submitted 18 March, 2022;
originally announced March 2022.
-
Learning-Augmented Dynamic Power Management with Multiple States via New Ski Rental Bounds
Authors:
Antonios Antoniadis,
Christian Coester,
Marek Eliáš,
Adam Polak,
Bertrand Simon
Abstract:
We study the online problem of minimizing power consumption in systems with multiple power-saving states. During idle periods of unknown lengths, an algorithm has to choose between power-saving states of different energy consumption and wake-up costs. We develop a learning-augmented online algorithm that makes decisions based on (potentially inaccurate) predicted lengths of the idle periods. The a…
▽ More
We study the online problem of minimizing power consumption in systems with multiple power-saving states. During idle periods of unknown lengths, an algorithm has to choose between power-saving states of different energy consumption and wake-up costs. We develop a learning-augmented online algorithm that makes decisions based on (potentially inaccurate) predicted lengths of the idle periods. The algorithm's performance is near-optimal when predictions are accurate and degrades gracefully with increasing prediction error, with a worst-case guarantee almost identical to the optimal classical online algorithm for the problem. A key ingredient in our approach is a new algorithm for the online ski rental problem in the learning augmented setting with tight dependence on the prediction error. We support our theoretical findings with experiments.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Nearly-Tight and Oblivious Algorithms for Explainable Clustering
Authors:
Buddhima Gamlath,
Xinrui Jia,
Adam Polak,
Ola Svensson
Abstract:
We study the problem of explainable clustering in the setting first formalized by Dasgupta, Frost, Moshkovitz, and Rashtchian (ICML 2020). A $k$-clustering is said to be explainable if it is given by a decision tree where each internal node splits data points with a threshold cut in a single dimension (feature), and each of the $k$ leaves corresponds to a cluster. We give an algorithm that outputs…
▽ More
We study the problem of explainable clustering in the setting first formalized by Dasgupta, Frost, Moshkovitz, and Rashtchian (ICML 2020). A $k$-clustering is said to be explainable if it is given by a decision tree where each internal node splits data points with a threshold cut in a single dimension (feature), and each of the $k$ leaves corresponds to a cluster. We give an algorithm that outputs an explainable clustering that loses at most a factor of $O(\log^2 k)$ compared to an optimal (not necessarily explainable) clustering for the $k$-medians objective, and a factor of $O(k \log^2 k)$ for the $k$-means objective. This improves over the previous best upper bounds of $O(k)$ and $O(k^2)$, respectively, and nearly matches the previous $Ω(\log k)$ lower bound for $k$-medians and our new $Ω(k)$ lower bound for $k$-means. The algorithm is remarkably simple. In particular, given an initial not necessarily explainable clustering in $\mathbb{R}^d$, it is oblivious to the data points and runs in time $O(dk \log^2 k)$, independent of the number of data points $n$. Our upper and lower bounds also generalize to objectives given by higher $\ell_p$-norms.
△ Less
Submitted 24 October, 2021; v1 submitted 30 June, 2021;
originally announced June 2021.
-
Robust Learning-Augmented Caching: An Experimental Study
Authors:
Jakub Chłędowski,
Adam Polak,
Bartosz Szabucki,
Konrad Zolna
Abstract:
Effective caching is crucial for the performance of modern-day computing systems. A key optimization problem arising in caching -- which item to evict to make room for a new item -- cannot be optimally solved without knowing the future. There are many classical approximation algorithms for this problem, but more recently researchers started to successfully apply machine learning to decide what to…
▽ More
Effective caching is crucial for the performance of modern-day computing systems. A key optimization problem arising in caching -- which item to evict to make room for a new item -- cannot be optimally solved without knowing the future. There are many classical approximation algorithms for this problem, but more recently researchers started to successfully apply machine learning to decide what to evict by discovering implicit input patterns and predicting the future. While machine learning typically does not provide any worst-case guarantees, the new field of learning-augmented algorithms proposes solutions that leverage classical online caching algorithms to make the machine-learned predictors robust. We are the first to comprehensively evaluate these learning-augmented algorithms on real-world caching datasets and state-of-the-art machine-learned predictors. We show that a straightforward method -- blindly following either a predictor or a classical robust algorithm, and switching whenever one becomes worse than the other -- has only a low overhead over a well-performing predictor, while competing with classical methods when the coupled predictor fails, thus providing a cheap worst-case insurance.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
Knapsack and Subset Sum with Small Items
Authors:
Adam Polak,
Lars Rohwedder,
Karol Węgrzycki
Abstract:
Knapsack and Subset Sum are fundamental NP-hard problems in combinatorial optimization. Recently there has been a growing interest in understanding the best possible pseudopolynomial running times for these problems with respect to various parameters.
In this paper we focus on the maximum item size $s$ and the maximum item value $v$. We give algorithms that run in time $O(n + s^3)$ and…
▽ More
Knapsack and Subset Sum are fundamental NP-hard problems in combinatorial optimization. Recently there has been a growing interest in understanding the best possible pseudopolynomial running times for these problems with respect to various parameters.
In this paper we focus on the maximum item size $s$ and the maximum item value $v$. We give algorithms that run in time $O(n + s^3)$ and $O(n + v^3)$ for the Knapsack problem, and in time $\tilde{O}(n + s^{5/3})$ for the Subset Sum problem.
Our algorithms work for the more general problem variants with multiplicities, where each input item comes with a (binary encoded) multiplicity, which succinctly describes how many times the item appears in the instance. In these variants $n$ denotes the (possibly much smaller) number of distinct items.
Our results follow from combining and optimizing several diverse lines of research, notably proximity arguments for integer programming due to Eisenbrand and Weismantel (TALG 2019), fast structured $(\min,+)$-convolution by Kellerer and Pferschy (J. Comb. Optim. 2004), and additive combinatorics methods originating from Galil and Margalit (SICOMP 1991).
△ Less
Submitted 9 May, 2021;
originally announced May 2021.
-
Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths
Authors:
Yuzhou Gu,
Adam Polak,
Virginia Vassilevska Williams,
Yinzhan Xu
Abstract:
One of the most basic graph problems, All-Pairs Shortest Paths (APSP) is known to be solvable in $n^{3-o(1)}$ time, and it is widely open whether it has an $O(n^{3-ε})$ time algorithm for $ε> 0$. To better understand APSP, one often strives to obtain subcubic time algorithms for structured instances of APSP and problems equivalent to it, such as the Min-Plus matrix product.
A natural structured…
▽ More
One of the most basic graph problems, All-Pairs Shortest Paths (APSP) is known to be solvable in $n^{3-o(1)}$ time, and it is widely open whether it has an $O(n^{3-ε})$ time algorithm for $ε> 0$. To better understand APSP, one often strives to obtain subcubic time algorithms for structured instances of APSP and problems equivalent to it, such as the Min-Plus matrix product.
A natural structured version of Min-Plus product is Monotone Min-Plus product which has been studied in the context of the Batch Range Mode [SODA'20] and Dynamic Range Mode [ICALP'20] problems. This paper improves the known algorithms for Monotone Min-Plus Product and for Batch and Dynamic Range Mode, and establishes a connection between Monotone Min-Plus Product and the Single Source Replacement Paths (SSRP) problem on an $n$-vertex graph with potentially negative edge weights in $\{-M, \ldots, M\}$.
SSRP with positive integer edge weights bounded by $M$ can be solved in $\tilde{O}(Mn^ω)$ time, whereas the prior fastest algorithm for graphs with possibly negative weights [FOCS'12] runs in $O(M^{0.7519} n^{2.5286})$ time, the current best running time for directed APSP with small integer weights. Using Monotone Min-Plus Product, we obtain an improved $O(M^{0.8043} n^{2.4957})$ time SSRP algorithm, showing that SSRP with constant negative integer weights is likely easier than directed unweighted APSP, a problem that is believed to require $n^{2.5-o(1)}$ time.
Complementing our algorithm for SSRP, we give a reduction from the Bounded-Difference Min-Plus Product problem studied by Bringmann et al. [FOCS'16] to negative weight SSRP. This reduction shows that it might be difficult to obtain an $\tilde{O}(M n^ω)$ time algorithm for SSRP with negative weight edges, thus separating the problem from SSRP with only positive weight edges.
△ Less
Submitted 6 May, 2021;
originally announced May 2021.
-
Euler Meets GPU: Practical Graph Algorithms with Theoretical Guarantees
Authors:
Adam Polak,
Adrian Siwiec,
Michał Stobierski
Abstract:
The Euler tour technique is a classical tool for designing parallel graph algorithms, originally proposed for the PRAM model. We ask whether it can be adapted to run efficiently on GPU. We focus on two established applications of the technique: (1) the problem of finding lowest common ancestors (LCA) of pairs of nodes in trees, and (2) the problem of finding bridges in undirected graphs. In our ex…
▽ More
The Euler tour technique is a classical tool for designing parallel graph algorithms, originally proposed for the PRAM model. We ask whether it can be adapted to run efficiently on GPU. We focus on two established applications of the technique: (1) the problem of finding lowest common ancestors (LCA) of pairs of nodes in trees, and (2) the problem of finding bridges in undirected graphs. In our experiments, we compare theoretically optimal algorithms using the Euler tour technique against simpler heuristics supposed to perform particularly well on typical instances. We show that the Euler tour-based algorithms not only fulfill their theoretical promises and outperform practical heuristics on hard instances, but also perform on par with them on easy instances.
△ Less
Submitted 28 March, 2021;
originally announced March 2021.
-
Monochromatic Triangles, Intermediate Matrix Products, and Convolutions
Authors:
Andrea Lincoln,
Adam Polak,
Virginia Vassilevska Williams
Abstract:
The most studied linear algebraic operation, matrix multiplication, has surprisingly fast $O(n^ω)$ time algorithms for $ω<2.373$. On the other hand, the $(\min,+)$ matrix product which is at the heart of many fundamental graph problems such as APSP, has received only minor improvements over its brute-force cubic running time and is widely conjectured to require $n^{3-o(1)}$ time. There is a pletho…
▽ More
The most studied linear algebraic operation, matrix multiplication, has surprisingly fast $O(n^ω)$ time algorithms for $ω<2.373$. On the other hand, the $(\min,+)$ matrix product which is at the heart of many fundamental graph problems such as APSP, has received only minor improvements over its brute-force cubic running time and is widely conjectured to require $n^{3-o(1)}$ time. There is a plethora of matrix products and graph problems whose complexity seems to lie in the middle of these two problems. For instance, the Min-Max matrix product, the Minimum Witness matrix product, APSP in directed unweighted graphs and determining whether an edge-colored graph contains a monochromatic triangle, can all be solved in $\tilde O(n^{(3+ω)/2})$ time. A similar phenomenon occurs for convolution problems, where analogous intermediate problems can be solved in $\tilde O(n^{1.5})$ time.
Can one improve upon the running times for these intermediate problems, in either the matrix product or the convolution world? Or, alternatively, can one relate these problems to each other and to other key problems in a meaningful way?
This paper makes progress on these questions by providing a network of fine-grained reductions. We show for instance that APSP in directed unweighted graphs and Minimum Witness product can be reduced to both the Min-Max product and a variant of the monochromatic triangle problem. We also show that a natural convolution variant of monochromatic triangle is fine-grained equivalent to the famous 3SUM problem. As this variant is solvable in $O(n^{1.5})$ time and 3SUM is in $O(n^2)$ time (and is conjectured to require $n^{2-o(1)}$ time), our result gives the first fine-grained equivalence between natural problems of different running times.
△ Less
Submitted 30 September, 2020;
originally announced September 2020.
-
Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost
Authors:
Aaron Berger,
William Kuszmaul,
Adam Polak,
Jonathan Tidor,
Nicole Wein
Abstract:
We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of $w$ workers and a multiset $T \subseteq[t]$ of $|T|=w$ tasks, a memoryless worker-task assignment function is any function $φ$ that assigns the workers $[w]$ to the tasks $T$ based only on the current value of $T$. The assignment function $φ$ is said to have switching cost at most…
▽ More
We study the basic problem of assigning memoryless workers to tasks with dynamically changing demands. Given a set of $w$ workers and a multiset $T \subseteq[t]$ of $|T|=w$ tasks, a memoryless worker-task assignment function is any function $φ$ that assigns the workers $[w]$ to the tasks $T$ based only on the current value of $T$. The assignment function $φ$ is said to have switching cost at most $k$ if, for every task multiset $T$, changing the contents of $T$ by one task changes $φ(T)$ by at most $k$ worker assignments. The goal of memoryless worker task assignment is to construct an assignment function with the smallest possible switching cost.
In past work, the problem of determining the optimal switching cost has been posed as an open question. There are no known sub-linear upper bounds, and after considerable effort, the best known lower bound remains 4 (ICALP 2020).
We show that it is possible to achieve polylogarithmic switching cost. We give a construction via the probabilistic method that achieves switching cost $O(\log w \log (wt))$ and an explicit construction that achieves switching cost $\operatorname{polylog} (wt)$. We also prove a super-constant lower bound on switching cost: we show that for any value of $w$, there exists a value of $t$ for which the optimal switching cost is $w$. Thus it is not possible to achieve a switching cost that is sublinear strictly as a function of $w$.
Finally, we present an application of the worker-task assignment problem to a metric embeddings problem. In particular, we use our results to give the first low-distortion embedding from sparse binary vectors into low-dimensional Hamming space.
△ Less
Submitted 28 April, 2022; v1 submitted 24 August, 2020;
originally announced August 2020.
-
Consumer Wearables and Affective Computing for Wellbeing Support
Authors:
Stanisław Saganowski,
Przemysław Kazienko,
Maciej Dzieżyc,
Patrycja Jakimów,
Joanna Komoszyńska,
Weronika Michalska,
Anna Dutkowiak,
Adam Polak,
Adam Dziadek,
Michał Ujma
Abstract:
Wearables equipped with pervasive sensors enable us to monitor physiological and behavioral signals in our everyday life. We propose the WellAff system able to recognize affective states for wellbeing support. It also includes health care scenarios, in particular patients with chronic kidney disease (CKD) suffering from bipolar disorders. For the need of a large-scale field study, we revised over…
▽ More
Wearables equipped with pervasive sensors enable us to monitor physiological and behavioral signals in our everyday life. We propose the WellAff system able to recognize affective states for wellbeing support. It also includes health care scenarios, in particular patients with chronic kidney disease (CKD) suffering from bipolar disorders. For the need of a large-scale field study, we revised over 50 off-the-shelf devices in terms of usefulness for emotion, stress, meditation, sleep, and physical activity recognition and analysis. Their usability directly comes from the types of sensors they possess as well as the quality and availability of raw signals. We found there is no versatile device suitable for all purposes. Using Empatica E4 and Samsung Galaxy Watch, we have recorded physiological signals from 11 participants over many weeks. The gathered data enabled us to train a classifier that accurately recognizes strong affective states.
△ Less
Submitted 12 August, 2021; v1 submitted 30 April, 2020;
originally announced May 2020.
-
Online metric algorithms with untrusted predictions
Authors:
Antonios Antoniadis,
Christian Coester,
Marek Elias,
Adam Polak,
Bertrand Simon
Abstract:
Machine-learned predictors, although achieving very good results for inputs resembling training data, cannot possibly provide perfect predictions in all situations. Still, decision-making systems that are based on such predictors need not only to benefit from good predictions but also to achieve a decent performance when the predictions are inadequate. In this paper, we propose a prediction setup…
▽ More
Machine-learned predictors, although achieving very good results for inputs resembling training data, cannot possibly provide perfect predictions in all situations. Still, decision-making systems that are based on such predictors need not only to benefit from good predictions but also to achieve a decent performance when the predictions are inadequate. In this paper, we propose a prediction setup for arbitrary metrical task systems (MTS) (e.g., caching, k-server and convex body chasing) and online matching on the line. We utilize results from the theory of online algorithms to show how to make the setup robust. Specifically for caching, we present an algorithm whose performance, as a function of the prediction error, is exponentially better than what is achievable for general MTS. Finally, we present an empirical evaluation of our methods on real world datasets, which suggests practicality.
△ Less
Submitted 6 April, 2023; v1 submitted 4 March, 2020;
originally announced March 2020.
-
Emotion Recognition Using Wearables: A Systematic Literature Review Work in progress
Authors:
Stanisław Saganowski,
Anna Dutkowiak,
Adam Dziadek,
Maciej Dzieżyc,
Joanna Komoszyńska,
Weronika Michalska,
Adam Polak,
Michał Ujma,
Przemysław Kazienko
Abstract:
Wearables like smartwatches or wrist bands equipped with pervasive sensors enable us to monitor our physiological signals. In this study, we address the question whether they can help us to recognize our emotions in our everyday life for ubiquitous computing. Using the systematic literature review, we identified crucial research steps and discussed the main limitations and problems in the domain.
Wearables like smartwatches or wrist bands equipped with pervasive sensors enable us to monitor our physiological signals. In this study, we address the question whether they can help us to recognize our emotions in our everyday life for ubiquitous computing. Using the systematic literature review, we identified crucial research steps and discussed the main limitations and problems in the domain.
△ Less
Submitted 15 January, 2020; v1 submitted 22 December, 2019;
originally announced December 2019.
-
Equivalences between triangle and range query problems
Authors:
Lech Duraj,
Krzysztof Kleiner,
Adam Polak,
Virginia Vassilevska Williams
Abstract:
We define a natural class of range query problems, and prove that all problems within this class have the same time complexity (up to polylogarithmic factors). The equivalence is very general, and even applies to online algorithms. This allows us to obtain new improved algorithms for all of the problems in the class.
We then focus on the special case of the problems when the queries are offline…
▽ More
We define a natural class of range query problems, and prove that all problems within this class have the same time complexity (up to polylogarithmic factors). The equivalence is very general, and even applies to online algorithms. This allows us to obtain new improved algorithms for all of the problems in the class.
We then focus on the special case of the problems when the queries are offline and the number of queries is linear. We show that our range query problems are runtime-equivalent (up to polylogarithmic factors) to counting for each edge $e$ in an $m$-edge graph the number of triangles through $e$. This natural triangle problem can be solved using the best known triangle counting algorithm, running in $O(m^{2ω/(ω+1)}) \leq O(m^{1.41})$ time. Moreover, if $ω=2$, the $O(m^{2ω/(ω+1)})$ running time is known to be tight (within $m^{o(1)}$ factors) under the 3SUM Hypothesis. In this case, our equivalence settles the complexity of the range query problems. Our problems constitute the first equivalence class with this peculiar running time bound.
To better understand the complexity of these problems, we also provide a deeper insight into the family of triangle problems, in particular showing black-box reductions between triangle listing and per-edge triangle detection and counting. As a byproduct of our reductions, we obtain a simple triangle listing algorithm matching the state-of-the-art for all regimes of the number of triangles. We also give some not necessarily tight, but still surprising reductions from variants of matrix products, such as the $(\min,\max)$-product.
△ Less
Submitted 8 April, 2020; v1 submitted 30 August, 2019;
originally announced August 2019.
-
Online Coloring of Short Intervals
Authors:
Joanna Chybowska-Sokół,
Grzegorz Gutowski,
Konstanty Junosza-Szaniawski,
Patryk Mikos,
Adam Polak
Abstract:
We study the online graph coloring problem restricted to the intersection graphs of intervals with lengths in $[1,σ]$. For $σ=1$ it is the class of unit interval graphs, and for $σ=\infty$ the class of all interval graphs. Our focus is on intermediary classes.
We present a $(1+σ)$-competitive algorithm, which beats the state of the art for $1 < σ< 2$, and proves that the problem we study can be…
▽ More
We study the online graph coloring problem restricted to the intersection graphs of intervals with lengths in $[1,σ]$. For $σ=1$ it is the class of unit interval graphs, and for $σ=\infty$ the class of all interval graphs. Our focus is on intermediary classes.
We present a $(1+σ)$-competitive algorithm, which beats the state of the art for $1 < σ< 2$, and proves that the problem we study can be strictly easier than online coloring of general interval graphs.
On the lower bound side, we prove that no algorithm is better than $5/3$-competitive for any $σ>1$, nor better than $7/4$-competitive for any $σ>2$, and that no algorithm beats the $5/2$ asymptotic competitive ratio for all, arbitrarily large, values of $σ$. That last result shows that the problem we study can be strictly harder than unit interval coloring. Our main technical contribution is a recursive composition of strategies, which seems essential to prove any lower bound higher than $2$.
△ Less
Submitted 3 August, 2020; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Tight Conditional Lower Bounds for Longest Common Increasing Subsequence
Authors:
Lech Duraj,
Marvin Künnemann,
Adam Polak
Abstract:
We consider the canonical generalization of the well-studied Longest Increasing Subsequence problem to multiple sequences, called $k$-LCIS: Given $k$ integer sequences $X_1,\dots,X_k$ of length at most $n$, the task is to determine the length of the longest common subsequence of $X_1,\dots,X_k$ that is also strictly increasing. Especially for the case of $k=2$ (called LCIS for short), several algo…
▽ More
We consider the canonical generalization of the well-studied Longest Increasing Subsequence problem to multiple sequences, called $k$-LCIS: Given $k$ integer sequences $X_1,\dots,X_k$ of length at most $n$, the task is to determine the length of the longest common subsequence of $X_1,\dots,X_k$ that is also strictly increasing. Especially for the case of $k=2$ (called LCIS for short), several algorithms have been proposed that require quadratic time in the worst case.
Assuming the Strong Exponential Time Hypothesis (SETH), we prove a tight lower bound, specifically, that no algorithm solves LCIS in (strongly) subquadratic time. Interestingly, the proof makes no use of normalization tricks common to hardness proofs for similar problems such as LCS. We further strengthen this lower bound (1) to rule out $O((nL)^{1-\varepsilon})$ time algorithms for LCIS, where $L$ denotes the solution size, (2) to rule out $O(n^{k-\varepsilon})$ time algorithms for $k$-LCIS, and (3) to follow already from weaker variants of SETH. We obtain the same conditional lower bounds for the related Longest Common Weakly Increasing Subsequence problem.
△ Less
Submitted 28 September, 2017;
originally announced September 2017.
-
On an extremal problem for poset dimension
Authors:
Grzegorz Guśpiel,
Piotr Micek,
Adam Polak
Abstract:
Let $f(n)$ be the largest integer such that every poset on $n$ elements has a $2$-dimensional subposet on $f(n)$ elements. What is the asymptotics of $f(n)$? It is easy to see that $f(n)\geqslant n^{1/2}$. We improve the best known upper bound and show $f(n)=\mathcal{O}(n^{2/3})$. For higher dimensions, we show $f_d(n)=\mathcal{O}\left(n^\frac{d}{d+1}\right)$, where $f_d(n)$ is the largest integer…
▽ More
Let $f(n)$ be the largest integer such that every poset on $n$ elements has a $2$-dimensional subposet on $f(n)$ elements. What is the asymptotics of $f(n)$? It is easy to see that $f(n)\geqslant n^{1/2}$. We improve the best known upper bound and show $f(n)=\mathcal{O}(n^{2/3})$. For higher dimensions, we show $f_d(n)=\mathcal{O}\left(n^\frac{d}{d+1}\right)$, where $f_d(n)$ is the largest integer such that every poset on $n$ elements has a $d$-dimensional subposet on $f_d(n)$ elements.
△ Less
Submitted 3 November, 2017; v1 submitted 29 April, 2017;
originally announced May 2017.
-
Why is it hard to beat $O(n^2)$ for Longest Common Weakly Increasing Subsequence?
Authors:
Adam Polak
Abstract:
The Longest Common Weakly Increasing Subsequence problem (LCWIS) is a variant of the classic Longest Common Subsequence problem (LCS). Both problems can be solved with simple quadratic time algorithms. A recent line of research led to a number of matching conditional lower bounds for LCS and other related problems. However, the status of LCWIS remained open.
In this paper we show that LCWIS cann…
▽ More
The Longest Common Weakly Increasing Subsequence problem (LCWIS) is a variant of the classic Longest Common Subsequence problem (LCS). Both problems can be solved with simple quadratic time algorithms. A recent line of research led to a number of matching conditional lower bounds for LCS and other related problems. However, the status of LCWIS remained open.
In this paper we show that LCWIS cannot be solved in strongly subquadratic time unless the Strong Exponential Time Hypothesis (SETH) is false.
The ideas which we developed can also be used to obtain a lower bound based on a safer assumption of NC-SETH, i.e. a version of SETH which talks about NC circuits instead of less expressive CNF formulas.
△ Less
Submitted 3 March, 2017;
originally announced March 2017.
-
Flying, Hop** Pit-Bots for Cave and Lava Tube Exploration on the Moon and Mars
Authors:
Jekanthan Thangavelautham,
Mark S. Robinson,
Alexander Taits,
Tyler McKinney,
Sean Amidan,
Adam Polak
Abstract:
Wheeled ground robots are limited from exploring extreme environments such as caves, lava tubes and skylights. Small robots that utilize unconventional mobility through hop**, flying and rolling can overcome many roughness limitations and thus extend exploration sites of interest on Moon and Mars. In this paper we introduce a network of 3 kg, 0.30 m diameter ball robots (pit-bots) that can fly,…
▽ More
Wheeled ground robots are limited from exploring extreme environments such as caves, lava tubes and skylights. Small robots that utilize unconventional mobility through hop**, flying and rolling can overcome many roughness limitations and thus extend exploration sites of interest on Moon and Mars. In this paper we introduce a network of 3 kg, 0.30 m diameter ball robots (pit-bots) that can fly, hop and roll using an onboard miniature propulsion system. These pit-bots can be deployed from a lander or large rover. Each robot is equipped with a smartphone sized computer, stereo camera and laser rangefinder to per-form navigation and map**. The ball robot can carry a payload of 1 kg or perform sample return. Our studies show a range of 5 km and 0.7 hours flight time on the Moon.
△ Less
Submitted 26 January, 2017;
originally announced January 2017.
-
Counting Triangles in Large Graphs on GPU
Authors:
Adam Polak
Abstract:
The clustering coefficient and the transitivity ratio are concepts often used in network analysis, which creates a need for fast practical algorithms for counting triangles in large graphs. Previous research in this area focused on sequential algorithms, MapReduce parallelization, and fast approximations.
In this paper we propose a parallel triangle counting algorithm for CUDA GPU. We describe t…
▽ More
The clustering coefficient and the transitivity ratio are concepts often used in network analysis, which creates a need for fast practical algorithms for counting triangles in large graphs. Previous research in this area focused on sequential algorithms, MapReduce parallelization, and fast approximations.
In this paper we propose a parallel triangle counting algorithm for CUDA GPU. We describe the implementation details necessary to achieve high performance and present the experimental evaluation of our approach. Our algorithm achieves 8 to 15 times speedup over the CPU implementation and is capable of finding 3.8 billion triangles in an 89 million edges graph in less than 10 seconds on the Nvidia Tesla C2050 GPU.
△ Less
Submitted 6 August, 2016; v1 submitted 2 March, 2015;
originally announced March 2015.
-
Performance Bounds for Grouped Incoherent Measurements in Compressive Sensing
Authors:
Adam C. Polak,
Marco F. Duarte,
Dennis L. Goeckel
Abstract:
Compressive sensing (CS) allows for acquisition of sparse signals at sampling rates significantly lower than the Nyquist rate required for bandlimited signals. Recovery guarantees for CS are generally derived based on the assumption that measurement projections are selected independently at random. However, for many practical signal acquisition applications, including medical imaging and remote se…
▽ More
Compressive sensing (CS) allows for acquisition of sparse signals at sampling rates significantly lower than the Nyquist rate required for bandlimited signals. Recovery guarantees for CS are generally derived based on the assumption that measurement projections are selected independently at random. However, for many practical signal acquisition applications, including medical imaging and remote sensing, this assumption is violated as the projections must be taken in groups. In this paper, we consider such applications and derive requirements on the number of measurements needed for successful recovery of signals when groups of dependent projections are taken at random. We find a penalty factor on the number of required measurements with respect to the standard CS scheme that employs conventional independent measurement selection and evaluate the accuracy of the predicted penalty through simulations.
△ Less
Submitted 20 October, 2014; v1 submitted 9 May, 2012;
originally announced May 2012.
-
Measuring Fundamental Galactic Parameters with Stellar Tidal Streams and SIM PlanetQuest
Authors:
Steven R. Majewski,
David R. Law,
Allyson A. Polak,
Richard J. Patterson
Abstract:
Extended halo tidal streams from disrupting Milky Way satellites offer new opportunities for gauging fundamental Galactic parameters without challenging observations of the Galactic center. In the roughly spherical Galactic potential tidal debris from a satellite system is largely confined to a single plane containing the Galactic center, so accurate distances to stars in the tidal stream can be…
▽ More
Extended halo tidal streams from disrupting Milky Way satellites offer new opportunities for gauging fundamental Galactic parameters without challenging observations of the Galactic center. In the roughly spherical Galactic potential tidal debris from a satellite system is largely confined to a single plane containing the Galactic center, so accurate distances to stars in the tidal stream can be used to gauge the Galactic center distance, R_0, given reasonable projection of the stream orbital pole on the X_GC axis. Alternatively, a tidal stream with orbital pole near the Y_GC axis, like the Sagittarius stream, can be used to derive the speed of the Local Standard of Rest (Θ_LSR). Modest improvements in current astrometric catalogues might allow this measurement to be made, but NASA's Space Interferometry Mission (SIM PlanetQuest) can definitively obtain both R_0 and Θ_LSR using tidal streams.
△ Less
Submitted 5 December, 2005; v1 submitted 31 July, 2005;
originally announced August 2005.
-
Present and Future Astrometric Study of Halo Substructure
Authors:
Steven R. Majewski,
Allyson A. Polak,
David R. Law,
Helio J. Rocha-Pinto
Abstract:
We focus on how astrometric surveys might be exploited for the study of Galactic halo substructure originating from the disruption of satellite systems. The Sagittarius (Sgr) dwarf spheroidal tidal stream provides a useful template to explore present and future capabilities of proper motion surveys for finding and studying substructure as well as for using individual tidal streams to probe the g…
▽ More
We focus on how astrometric surveys might be exploited for the study of Galactic halo substructure originating from the disruption of satellite systems. The Sagittarius (Sgr) dwarf spheroidal tidal stream provides a useful template to explore present and future capabilities of proper motion surveys for finding and studying substructure as well as for using individual tidal streams to probe the global properties of the Milky Way. The configuration of the Sgr stream is particularly well suited for measuring the flattening of the halo and for providing an independent means for measuring the speed of the Local Standard of Rest. For the various proposed experiments, the required proper motion accuracies are well within the capabilities of the Space Interferometry Mission (SIM PlanetQuest).
△ Less
Submitted 31 March, 2005;
originally announced March 2005.
-
A Two Micron All-Sky Survey View of the Sagittarius Dwarf Galaxy: II. Swope Telescope Spectroscopy of M Giant Stars in the Dynamically Cold Sagittarius Tidal Stream
Authors:
Steven R. Majewski,
William E. Kunkel,
David R. Law,
Richard J. Patterson,
Allyson A. Polak,
Helio J. Rocha-Pinto,
Jeffrey D. Crane,
Peter M. Frinchaboy,
Cameron B. Hummels,
Kathryn V. Johnston,
Jaehyon Rhee,
Michael F. Skrutskie,
Martin Weinberg
Abstract:
We present moderate resolution (~6 km/s) spectroscopy of 284 M giant candidates selected from the Two Micron All Sky Survey photometry. Radial velocities (RVs) are presented for stars mainly in the south, with a number having positions consistent with association to the trailing tidal tail of the Sagittarius (Sgr) dwarf galaxy. The latter show a clear RV trend with orbital longitude, as expected…
▽ More
We present moderate resolution (~6 km/s) spectroscopy of 284 M giant candidates selected from the Two Micron All Sky Survey photometry. Radial velocities (RVs) are presented for stars mainly in the south, with a number having positions consistent with association to the trailing tidal tail of the Sagittarius (Sgr) dwarf galaxy. The latter show a clear RV trend with orbital longitude, as expected from models of the orbit and destruction of Sgr. A minimum 8 kpc width of the trailing stream about the Sgr orbital midplane is implied by verified RV members. The coldness of this stream (dispersion ~10 km/s) provides upper limits on the combined contributions of stream heating by a lumpy Galactic halo and the intrinsic dispersion of released stars, which is a function of the Sgr core mass. The Sgr trailing arm is consistent with a Galactic halo containing one dominant, LMC-like lump, however some lumpier halos are not ruled out. An upper limit to the total M/L of the Sgr core is 21 in solar units. A second structure that roughly mimics expectations for wrapped, leading Sgr arm debris crosses the trailing arm in the Southern Hemisphere; however, this may also be an unrelated tidal feature. Among the <13 kpc M giants toward the South Galactic Pole are some with large RVs that identify them as halo stars, perhaps part of the Sgr leading arm near the Sun. The positions and RVs of Southern Hemisphere M giants are compared with those of southern globular clusters potentially stripped from the Sgr system and support for association of Pal 2 and Pal 12 with Sgr debris is found. Our discussion includes description of a masked-filtered cross-correlation methodology that achieves better than 1/20 of a resolution element RVs in moderate resolution spectra.
△ Less
Submitted 30 March, 2004;
originally announced March 2004.
-
Exploring Halo Substructure with Giant Stars III: First Results from the Grid Giant Star Survey and Discovery of a Possible Nearby Sagittarius Tidal Structure in Virgo
Authors:
A. Kundu,
S. R. Majewski,
J. Rhee,
H. J. Rocha-Pinto,
A. A. Polak,
C. L. Slesnick,
W. E. Kunkel,
K. V. Johnston,
R. J. Patterson,
D. Geisler,
W. Gieren,
J. Seguel,
V. V. Smith,
C. Palma,
J. Arenas,
J. D. Crane,
C. B. Hummels
Abstract:
We describe first results of a spectroscopic probe of selected fields from the Grid Giant Star Survey. Multifiber spectroscopy of several hundred stars in a strip of eleven fields along delta approximately -17^{circ}, in the range 12 <~ alpha <~ 17 hours, reveals a group of 8 giants that have kinematical characteristics differing from the main field population, but that as a group maintain coher…
▽ More
We describe first results of a spectroscopic probe of selected fields from the Grid Giant Star Survey. Multifiber spectroscopy of several hundred stars in a strip of eleven fields along delta approximately -17^{circ}, in the range 12 <~ alpha <~ 17 hours, reveals a group of 8 giants that have kinematical characteristics differing from the main field population, but that as a group maintain coherent, smoothly varying distances and radial velocities with position across the fields. Moreover, these stars have roughly the same abundance, according to their MgH+Mgb absorption line strengths. Photometric parallaxes place these stars in a semi-loop structure, arcing in a contiguous distribution between 5.7 and 7.9 kpc from the Galactic center. The spatial, kinematical, and abundance coherence of these stars suggests that they are part of a diffuse stream of tidal debris, and one roughly consistent with a wrapped, leading tidal arm of the Sagittarius dwarf spheroidal galaxy.
△ Less
Submitted 14 August, 2002;
originally announced August 2002.