Abstract:We consider the distributed message-passing model and the Local Computational Algorithms (LCA) model. In both models a network is represented by an n-vertex graph G = (V, E). We focus on labeling problems, such as vertex-coloring, edge-coloring, maximal independent set (MIS) and maximal matching. In the distributed model the vertices of v perform computations in parallel, in order to compute their parts in the solution for G. In the LCA model, on the other hand, probes are performed on certain vertices in order to compute their labels in a solution to a given problem. We study the possibility of estimating a solution produced by an algorithm, much before the algorithm terminates. This estimation not only allows for size estimation of a solution, but also for an early detection of failure in randomized algorithms, so that a correcting procedure can be executed. To this end, we propose a sampling technique, in which the labels in the sampling are distributed proportionally to the distribution in the algorithm’s output. However, the sampling running time is significantly smaller than that of the algorithm in hand. We achieve the following results, in terms of the maximum degree Δ and the arboricity a of the input graph. The running time of our procedures is O(log a + log log n), for sampling vertex-coloring, edge-coloring, maximal matching and MIS. This significantly improves upon previous sampling techniques, which incur additional dependency on the maximum degree Δ that can be much higher than the arboricity, as well as more significant dependency on n. Our techniques for sampling in the distributed model provide a powerful and general tool for estimation in the LCA model. In this setting the goal is estimating the size of a solution to a given problem, by making as few vertex probes as possible. For the above-mentioned problems, we achieve estimations with probe complexity dO(log a + log log n), where d = min(Δ, a · poly(log(n)).

Sampling in unitary invariant subspaces associated to LCA groups

Random average sampling over quasi shift-invariant spaces on LCA groups

Multi-tiling sets, Riesz bases, and sampling near the critical density in LCA groups

Laws of Large Numbers, Spectral Translates and Sampling Over LCA Groups

Landau's necessary density conditions for LCA groups

Sampling in the shift-invariant space generated by the bivariate Gaussian function

Sampling and Output Estimation in Distributed Algorithms and LCAs

Phase retrieval from short-time Fourier transform in LCA groups

Invariant Subspaces in the Dual of $A_{cb}(G)$ and $A_M(G)$

On Riesz duals for the Gabor system on LCA groups

Multiplication-invariant operators and the classification of LCA group frames

A dynamical approach to sampling and interpolation in unimodular groups

Invariant random subgroups over non-Archimedean local fields

Generalized group algebras and generalized measure algebras on non-discrete locally compact abelian groups

Operators for matrix-valued Riesz bases over LCA groups

Lorentz-covariant sampling theory for fields

New criteria for equivalence of locally compact abelian groups

Sampling projections in the uniform norm

Maximally localized Gabor orthonormal bases on locally compact Abelian groups

Bayesian analysis of finite population sampling in multivariate co-exchangeable structures with separable covariance matric

Kahane's upper density and syndetic sets in LCA groups