Showing 1–50 of 123 results for author: Kuhn, F

Shared Randomness Helps with Local Distributed Problems

Authors: Alkida Balliu, Mohsen Ghaffari, Fabian Kuhn, Augusto Modanese, Dennis Olivetti, Mikaël Rabie, Jukka Suomela, Jara Uitto

Abstract: By prior work, we have many results related to distributed graph algorithms for problems that can be defined with local constraints; the formal framework used in prior work is locally checkable labeling problems (LCLs), introduced by Naor and Stockmeyer in the 1990s. It is known, for example, that if we have a deterministic algorithm that solves an LCL in $o(\log n)$ rounds, we can speed it up to… ▽ More By prior work, we have many results related to distributed graph algorithms for problems that can be defined with local constraints; the formal framework used in prior work is locally checkable labeling problems (LCLs), introduced by Naor and Stockmeyer in the 1990s. It is known, for example, that if we have a deterministic algorithm that solves an LCL in $o(\log n)$ rounds, we can speed it up to $O(\log^*n)$ rounds, and if we have a randomized $O(\log^*n)$ rounds algorithm, we can derandomize it for free. It is also known that randomness helps with some LCL problems: there are LCL problems with randomized complexity $Θ(\log\log n)$ and deterministic complexity $Θ(\log n)$. However, so far there have not been any LCL problems in which the use of shared randomness has been necessary; in all prior algorithms it has been enough that the nodes have access to their own private sources of randomness. Could it be the case that shared randomness never helps with LCLs? Could we have a general technique that takes any distributed graph algorithm for any LCL that uses shared randomness, and turns it into an equally fast algorithm where private randomness is enough? In this work we show that the answer is no. We present an LCL problem $Π$ such that the round complexity of $Π$ is $Ω(\sqrt n)$ in the usual randomized \local model with private randomness, but if the nodes have access to a source of shared randomness, then the complexity drops to $O(\log n)$. As corollaries, we also resolve several other open questions related to the landscape of distributed computing in the context of LCL problems. In particular, problem $Π$ demonstrates that distributed quantum algorithms for LCL problems strictly benefit from a shared quantum state. Problem $Π$ also gives a separation between finitely dependent distributions and non-signaling distributions. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Simpler and More General Distributed Coloring Based on Simple List Defective Coloring Algorithms

Authors: Marc Fuchs, Fabian Kuhn

Abstract: In this paper, we give list coloring variants of simple iterative defective coloring algorithms. Formally, in a list defective coloring instance, each node $v$ of a graph is given a list $L_v$ of colors and a list of allowed defects $d_v(x)$ for the colors. Each node $v$ needs to be colored with a color $x\in L_v$ such that at most $d_v(x)$ neighbors of $v$ also pick the same color $x$. For a defe… ▽ More In this paper, we give list coloring variants of simple iterative defective coloring algorithms. Formally, in a list defective coloring instance, each node $v$ of a graph is given a list $L_v$ of colors and a list of allowed defects $d_v(x)$ for the colors. Each node $v$ needs to be colored with a color $x\in L_v$ such that at most $d_v(x)$ neighbors of $v$ also pick the same color $x$. For a defect parameter $d$, it is known that by making two sweeps in opposite order over the nodes of an edge-oriented graph with maximum outdegree $β$, one can compute a coloring with $O(β^2/d^2)$ colors such that every node has at most $d$ outneighbors of the same color. We generalize this and show that if all nodes have lists of size $p^2$ and $\forall v:\sum_{x\in L_v}(d_v(x)+1)>p\cdotβ$, we can make two sweeps of the nodes such that at the end, each node $v$ has chosen a color $x\in L_v$ for which at most $d_v(x)$ outneighbors of $v$ are colored with color $x$. Our algorithm is simpler and computationally significantly more efficient than existing algorithms for similar list defective coloring problems. We show that the above result can in particular be used to obtain an alternative $\tilde{O}(\sqrtΔ)+O(\log^* n)$-round algorithm for the $(Δ+1)$-coloring problem in the CONGEST model. The neighborhood independence $θ$ of a graph is the maximum number of pairwise non-adjacent neighbors of some node of the graph. It is known that by doing a single sweep over the nodes of a graph of neighborhood independence $θ$, one can compute a $d$-defective coloring with $O(θ\cdot Δ/d)$ colors. We extend this approach to the list defective coloring setting and use it to obtain an efficient recursive coloring algorithm for graphs of neighborhood independence $θ$. In particular, if $θ=O(1)$, we get an $(\logΔ)^{O(\log\logΔ)}+O(\log^* n)$-round algorithm. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Local Advice and Local Decompression

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Krzysztof Nowicki, Dennis Olivetti, Eva Rotenberg, Jukka Suomela

Abstract: Algorithms with advice have received ample attention in the distributed and online settings, and they have recently proven useful also in dynamic settings. In this work we study local computation with advice: the goal is to solve a graph problem $Π$ with a distributed algorithm in $f(Δ)$ communication rounds, for some function $f$ that only depends on the maximum degree $Δ$ of the graph, and the k… ▽ More Algorithms with advice have received ample attention in the distributed and online settings, and they have recently proven useful also in dynamic settings. In this work we study local computation with advice: the goal is to solve a graph problem $Π$ with a distributed algorithm in $f(Δ)$ communication rounds, for some function $f$ that only depends on the maximum degree $Δ$ of the graph, and the key question is how many bits of advice per node are needed. Our main results are: - Any locally checkable labeling problem can be solved in graphs with sub-exponential growth with only $1$ bit of advice per node. Moreover, we can make the set of nodes that carry advice bits arbitrarily sparse, that is, we can make arbitrarily small the ratio between nodes carrying a 1 and the nodes carrying a 0. - The assumption of sub-exponential growth is necessary: assuming the Exponential-Time Hypothesis, there are LCLs that cannot be solved in general with any constant number of bits per node. - In any graph we can find an almost-balanced orientation (indegrees and outdegrees differ by at most one) with $1$ bit of advice per node, and again we can make the advice arbitrarily sparse. - As a corollary, we can also compress an arbitrary subset of edges so that a node of degree $d$ stores only $d/2 + 2$ bits, and we can decompress it locally, in $f(Δ)$ rounds. - In any graph of maximum degree $Δ$, we can find a $Δ$-coloring (if it exists) with $1$ bit of advice per node, and again, we can make the advice arbitrarily sparse. - In any $3$-colorable graph, we can find a $3$-coloring with $1$ bit of advice per node. Here, it remains open whether we can make the advice arbitrarily sparse. Our work shows that for many problems the key threshold is not whether we can achieve, say, $1$ bit of advice per node, but whether we can make the advice arbitrarily sparse. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Completing the Node-Averaged Complexity Landscape of LCLs on Trees

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti, Gustav Schmid

Abstract: The node-averaged complexity of a problem captures the number of rounds nodes of a graph have to spend on average to solve the problem in the LOCAL model. A challenging line of research with regards to this new complexity measure is to understand the complexity landscape of locally checkable labelings (LCLs) on families of bounded-degree graphs. Particularly interesting in this context is the fami… ▽ More The node-averaged complexity of a problem captures the number of rounds nodes of a graph have to spend on average to solve the problem in the LOCAL model. A challenging line of research with regards to this new complexity measure is to understand the complexity landscape of locally checkable labelings (LCLs) on families of bounded-degree graphs. Particularly interesting in this context is the family of bounded-degree trees as there, for the worst-case complexity, we know a complete characterization of the possible complexities and structures of LCL problems. A first step for the node-averaged complexity case has been achieved recently [DISC '23], where the authors in particular showed that in bounded-degree trees, there is a large complexity gap: There are no LCL problems with a deterministic node-averaged complexity between $ω(\log^* n)$ and $n^{o(1)}$. For randomized algorithms, they even showed that the node-averaged complexity is either $O(1)$ or $n^{Ω(1)}$. In this work we fill in the remaining gaps and give a complete description of the node-averaged complexity landscape of LCLs on bounded-degree trees. Our contributions are threefold. - On bounded-degree trees, there is no LCL with a node-averaged complexity between $ω(1)$ and $(\log^*n)^{o(1)}$. - For any constants $0<r_1 < r_2 \leq 1$ and $\varepsilon>0$, there exists a constant $c$ and an LCL problem with node-averaged complexity between $Ω((\log^* n)^c)$ and $O((\log^* n)^{c+\varepsilon})$. - For any constants $0<α\leq 1/2$ and $\varepsilon>0$, there exists an LCL problem with node-averaged complexity $Θ(n^x)$ for some $x\in [α, α+\varepsilon]$. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Local temperature control of magnon frequency and direction of supercurrents in a magnon Bose-Einstein condensate

Authors: Matthias R. Schweizer, Franziska Kühn, Victor S. L'vov, Anna Pomyalov, Georg von Freymann, Burkard Hillebrands, Alexander A. Serga

Abstract: The creation of temperature variations in magnetization, and hence in the frequencies of the magnon spectrum in laser-heated regions of magnetic films, is an important method for studying Bose-Einstein condensation of magnons, magnon supercurrents, Bogoliubov waves, and similar phenomena. In our study, we demonstrate analytically, numerically, and experimentally that, in addition to the magnetizat… ▽ More The creation of temperature variations in magnetization, and hence in the frequencies of the magnon spectrum in laser-heated regions of magnetic films, is an important method for studying Bose-Einstein condensation of magnons, magnon supercurrents, Bogoliubov waves, and similar phenomena. In our study, we demonstrate analytically, numerically, and experimentally that, in addition to the magnetization variations, it is necessary to consider the connected variations of the demagnetizing field. In case of a heat induced local minimum of the saturation magnetization, the combination of these two effects results in a local increase in the minimum frequency value of the magnon dispersion at which the Bose-Einstein condensate emerges. As a result, a magnon supercurrent directed away from the hot region is formed. △ Less

Submitted 24 November, 2023; originally announced November 2023.

On the Node-Averaged Complexity of Locally Checkable Problems on Trees

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti, Gustav Schmid

Abstract: Over the past decade, a long line of research has investigated the distributed complexity landscape of locally checkable labeling (LCL) problems on bounded-degree graphs, culminating in an almost-complete classification on general graphs and a complete classification on trees. The latter states that, on bounded-degree trees, any LCL problem has deterministic worst-case time complexity $O(1)$,… ▽ More Over the past decade, a long line of research has investigated the distributed complexity landscape of locally checkable labeling (LCL) problems on bounded-degree graphs, culminating in an almost-complete classification on general graphs and a complete classification on trees. The latter states that, on bounded-degree trees, any LCL problem has deterministic worst-case time complexity $O(1)$, $Θ(\log^* n)$, $Θ(\log n)$, or $Θ(n^{1/k})$ for some positive integer $k$, and all of those complexity classes are nonempty. Moreover, randomness helps only for (some) problems with deterministic worst-case complexity $Θ(\log n)$, and if randomness helps (asymptotically), then it helps exponentially. In this work, we study how many distributed rounds are needed on average per node in order to solve an LCL problem on trees. We obtain a partial classification of the deterministic node-averaged complexity landscape for LCL problems. As our main result, we show that every problem with worst-case round complexity $O(\log n)$ has deterministic node-averaged complexity $O(\log^* n)$. Then we show how using randomization we can speed this up and show that every problem with worst case round complexity $O(\log n)$ has randomized node-averaged complexity $O(1)$. We further establish bounds on the node-averaged complexity of problems with worst-case complexity $Θ(n^{1/k})$: we show that all these problems have node-averaged complexity $\widetildeΩ(n^{1 / (2^k - 1)})$, and that this lower bound is tight for some problems. The lower bound holds even for the randomized case and the upper bound is a deterministic algorithm. △ Less

Submitted 15 February, 2024; v1 submitted 8 August, 2023; originally announced August 2023.

Comments: 68 pages, 10 figures, conference version in 37th International Symposium on Distributed Computing (DISC 2023)

ACM Class: F.2.2; G.2.2

No distributed quantum advantage for approximate graph coloring

Authors: Xavier Coiteux-Roy, Francesco d'Amore, Rishikesh Gajjala, Fabian Kuhn, François Le Gall, Henrik Lievonen, Augusto Modanese, Marc-Olivier Renou, Gustav Schmid, Jukka Suomela

Abstract: We give an almost complete characterization of the hardness of $c$-coloring $χ$-chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that: 1) We give a new distributed algorithm that finds a $c$-coloring in $χ$-chromatic graphs in… ▽ More We give an almost complete characterization of the hardness of $c$-coloring $χ$-chromatic graphs with distributed algorithms, for a wide range of models of distributed computing. In particular, we show that these problems do not admit any distributed quantum advantage. To do that: 1) We give a new distributed algorithm that finds a $c$-coloring in $χ$-chromatic graphs in $\tilde{\mathcal{O}}(n^{\frac{1}α})$ rounds, with $α= \bigl\lfloor\frac{c-1}{χ- 1}\bigr\rfloor$. 2) We prove that any distributed algorithm for this problem requires $Ω(n^{\frac{1}α})$ rounds. Our upper bound holds in the classical, deterministic LOCAL model, while the near-matching lower bound holds in the non-signaling model. This model, introduced by Arfaoui and Fraigniaud in 2014, captures all models of distributed graph algorithms that obey physical causality; this includes not only classical deterministic LOCAL and randomized LOCAL but also quantum-LOCAL, even with a pre-shared quantum state. We also show that similar arguments can be used to prove that, e.g., 3-coloring 2-dimensional grids or $c$-coloring trees remain hard problems even for the non-signaling model, and in particular do not admit any quantum advantage. Our lower-bound arguments are purely graph-theoretic at heart; no background on quantum information theory is needed to establish the proofs. △ Less

Submitted 22 March, 2024; v1 submitted 18 July, 2023; originally announced July 2023.

Comments: Accepted to STOC 2024

Time and Space Optimal Massively Parallel Algorithm for the 2-Ruling Set Problem

Authors: Mélanie Cambus, Fabian Kuhn, Shreyas Pai, Jara Uitto

Abstract: In this work, we present a constant-round algorithm for the $2$-ruling set problem in the Congested Clique model. As a direct consequence, we obtain a constant round algorithm in the MPC model with linear space-per-machine and optimal total space. Our results improve on the $O(\log \log \log n)$-round algorithm by [HPS, DISC'14] and the $O(\log \log Δ)$-round algorithm by [GGKMR, PODC'18]. Our tec… ▽ More In this work, we present a constant-round algorithm for the $2$-ruling set problem in the Congested Clique model. As a direct consequence, we obtain a constant round algorithm in the MPC model with linear space-per-machine and optimal total space. Our results improve on the $O(\log \log \log n)$-round algorithm by [HPS, DISC'14] and the $O(\log \log Δ)$-round algorithm by [GGKMR, PODC'18]. Our techniques can also be applied to the semi-streaming model to obtain an $O(1)$-pass algorithm. Our main technical contribution is a novel sampling procedure that returns a small subgraph such that almost all nodes in the input graph are adjacent to the sampled subgraph. An MIS on the sampled subgraph provides a $2$-ruling set for a large fraction of the input graph. As a technical challenge, we must handle the remaining part of the graph, which might still be relatively large. We overcome this challenge by showing useful structural properties of the remaining graph and show that running our process twice yields a $2$-ruling set of the original input graph with high probability. △ Less

Submitted 10 October, 2023; v1 submitted 1 June, 2023; originally announced June 2023.

Rapid-prototy** of microscopic thermal landscapes in Brillouin light scattering spectroscopy

Authors: Matthias R. Schweizer, Franziska Kühn, Malte Koster, Georg von Freymann, Burkard Hillebrands, Alexander A. Serga

Abstract: Since temperature and its spatial and temporal variations affect a wide range of physical properties of material systems, they can be used to create reconfigurable spatial structures of various types in physical and biological objects. This paper presents an experimental optical setup for creating tunable two-dimensional temperature patterns on a micrometer scale. As an example of its practical ap… ▽ More Since temperature and its spatial and temporal variations affect a wide range of physical properties of material systems, they can be used to create reconfigurable spatial structures of various types in physical and biological objects. This paper presents an experimental optical setup for creating tunable two-dimensional temperature patterns on a micrometer scale. As an example of its practical application, we have produced temperature-induced magnetization landscapes in ferrimagnetic yttrium iron garnet films and investigated them using micro-focused Brillouin light scattering spectroscopy. It is shown that, due to the temperature dependence of the magnon spectrum, temperature changes can be visualized even for microscale thermal patterns. △ Less

Submitted 5 May, 2023; v1 submitted 26 April, 2023; originally announced April 2023.

Comments: 5 pages, 4 figures

Journal ref: Review of Scientific Instruments 94, 093903 (2023)

Coloring Fast with Broadcasts

Authors: Maxime Flin, Mohsen Ghaffari, Magnús M. Halldórsson, Fabian Kuhn, Alexandre Nolin

Abstract: We present an $O(\log^3\log n)$-round distributed algorithm for the $(Δ+1)$-coloring problem, where each node broadcasts only one $O(\log n)$-bit message per round to its neighbors. Previously, the best such broadcast-based algorithm required $O(\log n)$ rounds. If $Δ\in Ω(\log^{3} n)$, our algorithm runs in $O(\log^* n)$ rounds. Our algorithm's round complexity matches state-of-the-art in the muc… ▽ More We present an $O(\log^3\log n)$-round distributed algorithm for the $(Δ+1)$-coloring problem, where each node broadcasts only one $O(\log n)$-bit message per round to its neighbors. Previously, the best such broadcast-based algorithm required $O(\log n)$ rounds. If $Δ\in Ω(\log^{3} n)$, our algorithm runs in $O(\log^* n)$ rounds. Our algorithm's round complexity matches state-of-the-art in the much more powerful CONGEST model [Halldórsson et al., STOC'21 & PODC'22], where each node sends one different message to each of its neighbors, thus sending up to $Θ(n\log n)$ bits per round. This is the best complexity known, even if message sizes are unbounded. Our algorithm is simple enough to be implemented in even weaker models: we can achieve the same $O(\log^3\log n)$ round complexity if each node reads its received messages in a streaming fashion, using only $O(\log^3 n)$-bit memory. Therefore, we hope that our algorithm opens the road for adopting the recent exciting progress on sublogarithmic-time distributed $(Δ+1)$-coloring algorithms in a wider range of (theoretical or practical) settings. △ Less

Submitted 19 April, 2023; originally announced April 2023.

Comments: 42 pages. To appear in proceedings of SPAA 2023

List Defective Colorings: Distributed Algorithms and Applications

Authors: Marc Fuchs, Fabian Kuhn

Abstract: The distributed coloring problem is at the core of the area of distributed graph algorithms and it is a problem that has seen tremendous progress over the last few years. Much of the remarkable recent progress on deterministic distributed coloring algorithms is based on two main tools: a) defective colorings in which every node of a given color can have a limited number of neighbors of the same co… ▽ More The distributed coloring problem is at the core of the area of distributed graph algorithms and it is a problem that has seen tremendous progress over the last few years. Much of the remarkable recent progress on deterministic distributed coloring algorithms is based on two main tools: a) defective colorings in which every node of a given color can have a limited number of neighbors of the same color and b) list coloring, a natural generalization of the standard coloring problem that naturally appears when colorings are computed in different stages and one has to extend a previously computed partial coloring to a full coloring. In this paper, we introduce 'list defective colorings', which can be seen as a generalization of these two coloring variants. Essentially, in a list defective coloring instance, each node $v$ is given a list of colors $x_{v,1},\dots,x_{v,p}$ together with a list of defects $d_{v,1},\dots,d_{v,p}$ such that if $v$ is colored with color $x_{v, i}$, it is allowed to have at most $d_{v, i}$ neighbors with color $x_{v, i}$. We highlight the important role of list defective colorings by showing that faster list defective coloring algorithms would directly lead to faster deterministic $(Δ+1)$-coloring algorithms in the LOCAL model. Further, we extend a recent distributed list coloring algorithm by Maus and Tonoyan [DISC '20]. Slightly simplified, we show that if for each node $v$ it holds that $\sum_{i=1}^p \big(d_{v,i}+1)^2 > \mathrm{deg}_G^2(v)\cdot polylogΔ$ then this list defective coloring instance can be solved in a communication-efficient way in only $O(\logΔ)$ communication rounds. This leads to the first deterministic $(Δ+1)$-coloring algorithm in the standard CONGEST model with a time complexity of $O(\sqrtΔ\cdot polylog Δ+\log^* n)$, matching the best time complexity in the LOCAL model up to a $polylogΔ$ factor. △ Less

Submitted 7 August, 2023; v1 submitted 19 April, 2023; originally announced April 2023.

A Distributed Palette Sparsification Theorem

Authors: Maxime Flin, Mohsen Ghaffari, Magnús M. Halldórsson, Fabian Kuhn, Alexandre Nolin

Abstract: The celebrated palette sparsification result of [Assadi, Chen, and Khanna SODA'19] shows that to compute a $Δ+1$ coloring of the graph, where $Δ$ denotes the maximum degree, it suffices if each node limits its color choice to $O(\log n)$ independently sampled colors in $\{1, 2, \dots, Δ+1\}$. They showed that it is possible to color the resulting sparsified graph -- the spanning subgraph with edge… ▽ More The celebrated palette sparsification result of [Assadi, Chen, and Khanna SODA'19] shows that to compute a $Δ+1$ coloring of the graph, where $Δ$ denotes the maximum degree, it suffices if each node limits its color choice to $O(\log n)$ independently sampled colors in $\{1, 2, \dots, Δ+1\}$. They showed that it is possible to color the resulting sparsified graph -- the spanning subgraph with edges between neighbors that sampled a common color, which are only $\tilde{O}(n)$ edges -- and obtain a $Δ+1$ coloring for the original graph. However, to compute the actual coloring, that information must be gathered at a single location for centralized processing. We seek instead a local algorithm to compute such a coloring in the sparsified graph. The question is if this can be achieved in $\operatorname{poly}(\log n)$ distributed rounds with small messages. Our main result is an algorithm that computes a $Δ+1$-coloring after palette sparsification with $O(\log^2 n)$ random colors per node and runs in $O(\log^2 Δ+ \log^3 \log n)$ rounds on the sparsified graph, using $O(\log n)$-bit messages. We show that this is close to the best possible: any distributed $Δ+1$-coloring algorithm that runs in the LOCAL model on the sparsified graph, given by palette sparsification, for any $\operatorname{poly}(\log n)$ colors per node, requires $Ω(\log Δ/ \log\log n)$ rounds. This distributed palette sparsification result leads to the first $\operatorname{poly}(\log n)$-round algorithms for $Δ+1$-coloring in two previously studied distributed models: the Node Capacitated Clique, and the cluster graph model. △ Less

Submitted 11 April, 2023; v1 submitted 16 January, 2023; originally announced January 2023.

Distributed Maximal Matching and Maximal Independent Set on Hypergraphs

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti

Abstract: We investigate the distributed complexity of maximal matching and maximal independent set (MIS) in hypergraphs in the LOCAL model. A maximal matching of a hypergraph $H=(V_H,E_H)$ is a maximal disjoint set $M\subseteq E_H$ of hyperedges and an MIS $S\subseteq V_H$ is a maximal set of nodes such that no hyperedge is fully contained in $S$. Both problems can be solved by a simple sequential greedy a… ▽ More We investigate the distributed complexity of maximal matching and maximal independent set (MIS) in hypergraphs in the LOCAL model. A maximal matching of a hypergraph $H=(V_H,E_H)$ is a maximal disjoint set $M\subseteq E_H$ of hyperedges and an MIS $S\subseteq V_H$ is a maximal set of nodes such that no hyperedge is fully contained in $S$. Both problems can be solved by a simple sequential greedy algorithm, which can be implemented naively in $O(Δr + \log^* n)$ rounds, where $Δ$ is the maximum degree, $r$ is the rank, and $n$ is the number of nodes. We show that for maximal matching, this naive algorithm is optimal in the following sense. Any deterministic algorithm for solving the problem requires $Ω(\min\{Δr, \log_{Δr} n\})$ rounds, and any randomized one requires $Ω(\min\{Δr, \log_{Δr} \log n\})$ rounds. Hence, for any algorithm with a complexity of the form $O(f(Δ, r) + g(n))$, we have $f(Δ, r) \in Ω(Δr)$ if $g(n)$ is not too large, and in particular if $g(n) = \log^* n$ (which is the optimal asymptotic dependency on $n$ due to Linial's lower bound [FOCS'87]). Our lower bound proof is based on the round elimination framework, and its structure is inspired by a new round elimination fixed point that we give for the $Δ$-vertex coloring problem in hypergraphs. For the MIS problem on hypergraphs, we show that for $Δ\ll r$, there are significant improvements over the naive $O(Δr + \log^* n)$-round algorithm. We give two deterministic algorithms for the problem. We show that a hypergraph MIS can be computed in $O(Δ^2\cdot\log r + Δ\cdot\log r\cdot \log^* r + \log^* n)$ rounds. We further show that at the cost of a worse dependency on $Δ$, the dependency on $r$ can be removed almost entirely, by giving an algorithm with complexity $Δ^{O(Δ)}\cdot\log^* r + O(\log^* n)$. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Local Distributed Rounding: Generalized to MIS, Matching, Set Cover, and Beyond

Authors: Salwa Faour, Mohsen Ghaffari, Christoph Grunau, Fabian Kuhn, Václav Rozhoň

Abstract: We develop a general deterministic distributed method for locally rounding fractional solutions of graph problems for which the analysis can be broken down into analyzing pairs of vertices. Roughly speaking, the method can transform fractional/probabilistic label assignments of the vertices into integral/deterministic label assignments for the vertices, while approximately preserving a potential f… ▽ More We develop a general deterministic distributed method for locally rounding fractional solutions of graph problems for which the analysis can be broken down into analyzing pairs of vertices. Roughly speaking, the method can transform fractional/probabilistic label assignments of the vertices into integral/deterministic label assignments for the vertices, while approximately preserving a potential function that is a linear combination of functions, each of which depends on at most two vertices (subject to some conditions usually satisfied in pairwise analyses). The method unifies and significantly generalizes prior work on deterministic local rounding techniques [Ghaffari, Kuhn FOCS'21; Harris FOCS'19; Fischer, Ghaffari, Kuhn FOCS'17; Fischer DISC'17] to obtain polylogarithmic-time deterministic distributed solutions for combinatorial graph problems. Our general rounding result enables us to locally and efficiently derandomize a range of distributed algorithms for local graph problems, including maximal independent set (MIS), maximum-weight independent set approximation, and minimum-cost set cover approximation. As a highlight, we in particular obtain a deterministic $O(\log^2Δ\cdot\log n)$-round algorithm for computing an MIS in the LOCAL model and an almost as efficient $O(\log^2Δ\cdot\log\logΔ\cdot\log n)$-round deterministic MIS algorithm in the CONGEST model. As a result, the best known deterministic distributed time complexity of the four most widely studied distributed symmetry breaking problems (MIS, maximal matching, $(Δ+1)$-vertex coloring, and $(2Δ-1)$-edge coloring) is now $O(\log^2Δ\cdot\log n)$. Our new MIS algorithm is also the first direct polylogarithmic-time deterministic distributed MIS algorithm, which is not based on network decomposition. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Node and Edge Averaged Complexities of Local Graph Problems

Authors: Alkida Balliu, Mohsen Ghaffari, Fabian Kuhn, Dennis Olivetti

Abstract: The node-averaged complexity of a distributed algorithm running on a graph $G=(V,E)$ is the average over the times at which the nodes $V$ of $G$ finish their computation and commit to their outputs. We study the node-averaged complexity for some distributed symmetry breaking problems and provide the following results (among others): - The randomized node-averaged complexity of computing a maxima… ▽ More The node-averaged complexity of a distributed algorithm running on a graph $G=(V,E)$ is the average over the times at which the nodes $V$ of $G$ finish their computation and commit to their outputs. We study the node-averaged complexity for some distributed symmetry breaking problems and provide the following results (among others): - The randomized node-averaged complexity of computing a maximal independent set (MIS) in $n$-node graphs of maximum degree $Δ$ is at least $Ω\big(\min\big\{\frac{\logΔ}{\log\logΔ},\sqrt{\frac{\log n}{\log\log n}}\big\}\big)$. This bound is obtained by a novel adaptation of the well-known KMW lower bound [JACM'16]. As a side result, we obtain the same lower bound for the worst-case randomized round complexity for computing an MIS in trees -- this essentially answers open problem 11.15 in the book of Barenboim and Elkin and resolves the complexity of MIS on trees up to an $O(\sqrt{\log\log n})$ factor. We also show that, $(2,2)$-ruling sets, which are a minimal relaxation of MIS, have $O(1)$ randomized node-averaged complexity. - For maximal matching, we show that while the randomized node-averaged complexity is $Ω\big(\min\big\{\frac{\logΔ}{\log\logΔ},\sqrt{\frac{\log n}{\log\log n}}\big\}\big)$, the randomized edge-averaged complexity is $O(1)$. Further, we show that the deterministic edge-averaged complexity of maximal matching is $O(\log^2Δ+ \log^* n)$ and the deterministic node-averaged complexity of maximal matching is $O(\log^3Δ+ \log^* n)$. - Finally, we consider the problem of computing a sinkless orientation of a graph. The deterministic worst-case complexity of the problem is known to be $Θ(\log n)$, even on bounded-degree graphs. We show that the problem can be solved deterministically with node-averaged complexity $O(\log^* n)$, while kee** the worst-case complexity in $O(\log n)$. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Contention Resolution for Coded Radio Networks

Authors: Michael A. Bender, Seth Gilbert, Fabian Kuhn, John Kuszmaul, Muriel Médard

Abstract: Randomized backoff protocols, such as exponential backoff, are a powerful tool for managing access to a shared resource, often a wireless communication channel (e.g., [1]). For a wireless device to transmit successfully, it uses a backoff protocol to ensure exclusive access to the channel. Modern radios, however, do not need exclusive access to the channel to communicate; in particular, they have… ▽ More Randomized backoff protocols, such as exponential backoff, are a powerful tool for managing access to a shared resource, often a wireless communication channel (e.g., [1]). For a wireless device to transmit successfully, it uses a backoff protocol to ensure exclusive access to the channel. Modern radios, however, do not need exclusive access to the channel to communicate; in particular, they have the ability to receive useful information even when more than one device transmits at the same time. These capabilities have now been exploited for many years by systems that rely on interference cancellation, physical layer network coding and analog network coding to improve efficiency. For example, Zigzag decoding [56] demonstrated how a base station can decode messages sent by multiple devices simultaneously. In this paper, we address the following question: Can we design a backoff protocol that is better than exponential backoff when exclusive channel access is not required. We define the Coded Radio Network Model, which generalizes traditional radio network models (e.g., [30]). We then introduce the Decodable Backoff Algorithm, a randomized backoff protocol that achieves an optimal throughput of $1-o(1)$. (Throughput $1$ is optimal, as simultaneous reception does not increase the channel capacity.) The algorithm breaks the constant throughput lower bound for traditional radio networks [47-49], showing the power of these new hardware capabilities. △ Less

Submitted 24 July, 2022; originally announced July 2022.

Comments: 12 pages

ACM Class: F.2.2

Journal ref: In Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures, pp. 119-130. 2022

Distributed Edge Coloring in Time Polylogarithmic in $Δ$

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti

Abstract: We provide new deterministic algorithms for the edge coloring problem, which is one of the classic and highly studied distributed local symmetry breaking problems. As our main result, we show that a $(2Δ-1)$-edge coloring can be computed in time $\mathrm{poly}\logΔ+ O(\log^* n)$ in the LOCAL model. This improves a result of Balliu, Kuhn, and Olivetti [PODC '20], who gave an algorithm with a quasi-… ▽ More We provide new deterministic algorithms for the edge coloring problem, which is one of the classic and highly studied distributed local symmetry breaking problems. As our main result, we show that a $(2Δ-1)$-edge coloring can be computed in time $\mathrm{poly}\logΔ+ O(\log^* n)$ in the LOCAL model. This improves a result of Balliu, Kuhn, and Olivetti [PODC '20], who gave an algorithm with a quasi-polylogarithmic dependency on $Δ$. We further show that in the CONGEST model, an $(8+\varepsilon)Δ$-edge coloring can be computed in $\mathrm{poly}\logΔ+ O(\log^* n)$ rounds. The best previous $O(Δ)$-edge coloring algorithm that can be implemented in the CONGEST model is by Barenboim and Elkin [PODC '11] and it computes a $2^{O(1/\varepsilon)}Δ$-edge coloring in time $O(Δ^\varepsilon + \log^* n)$ for any $\varepsilon\in(0,1]$. △ Less

Submitted 2 June, 2022; originally announced June 2022.

A $(3+\varepsilon)$-Approximate Correlation Clustering Algorithm in Dynamic Streams

Authors: Mélanie Cambus, Fabian Kuhn, Etna Lindy, Shreyas Pai, Jara Uitto

Abstract: Grou** together similar elements in datasets is a common task in data mining and machine learning. In this paper, we study streaming and parallel algorithms for correlation clustering, where each pair of elements is labeled either similar or dissimilar. The task is to partition the elements and the objective is to minimize disagreements, that is, the number of dissimilar elements grouped togethe… ▽ More Grou** together similar elements in datasets is a common task in data mining and machine learning. In this paper, we study streaming and parallel algorithms for correlation clustering, where each pair of elements is labeled either similar or dissimilar. The task is to partition the elements and the objective is to minimize disagreements, that is, the number of dissimilar elements grouped together and similar elements that get separated. Our main contribution is a semi-streaming algorithm that achieves a $(3 + \varepsilon)$-approximation to the minimum number of disagreements using a single pass over the stream. In addition, the algorithm also works for dynamic streams. Our approach builds on the analysis of the PIVOT algorithm by Ailon, Charikar, and Newman [JACM'08] that obtains a $3$-approximation in the centralized setting. Our design allows us to sparsify the input graph by ignoring a large portion of the nodes and edges without a large extra cost as compared to the analysis of PIVOT. This sparsification makes our technique applicable in several models of massive graph processing, such as semi-streaming and Massively Parallel Computing (MPC), where sparse graphs can typically be handled much more efficiently. Our work improves on the approximation ratio of the recent single-pass $5$-approximation algorithm and on the number of passes of the recent $O(1/\varepsilon)$-pass $(3 + \varepsilon)$-approximation algorithm [Behnezhad, Charikar, Ma, Tan FOCS'22, SODA'23]. Our algorithm is also more robust and can be applied in dynamic streams. Furthermore, it is the first single pass $(3 + \varepsilon)$-approximation algorithm that uses polynomial post-processing time. △ Less

Submitted 1 November, 2023; v1 submitted 16 May, 2022; originally announced May 2022.

Comments: to appear in SODA 2024

Maximal Inequalities and Some Applications

Authors: Franziska Kühn, René L. Schilling

Abstract: A maximal inequality is an inequality which involves the (absolute) supremum $\sup_{s\leq t}|X_{s}|$ or the running maximum $\sup_{s\leq t}X_{s}$ of a stochastic process $(X_t)_{t\geq 0}$. We discuss maximal inequalities for several classes of stochastic processes with values in an Euclidean space: Martingales, Lévy processes, Lévy-type - including Feller processes, (compound) pseudo Poisson proce… ▽ More A maximal inequality is an inequality which involves the (absolute) supremum $\sup_{s\leq t}|X_{s}|$ or the running maximum $\sup_{s\leq t}X_{s}$ of a stochastic process $(X_t)_{t\geq 0}$. We discuss maximal inequalities for several classes of stochastic processes with values in an Euclidean space: Martingales, Lévy processes, Lévy-type - including Feller processes, (compound) pseudo Poisson processes, stable-like processes and solutions to SDEs driven by a Lévy process -, strong Markov processes and Gaussian processes. Using the Burkholder-Davis-Gundy inequalities we als discuss some relations between maximal estimates in probability and the Hardy-Littlewood maximal functions from analysis. This paper has been accepted for publication in Probability Surveys △ Less

Submitted 27 March, 2023; v1 submitted 10 April, 2022; originally announced April 2022.

MSC Class: 60E15

Near-Shortest Path Routing in Hybrid Communication Networks

Authors: Sam Coy, Artur Czumaj, Michael Feldmann, Kristian Hinnenthal, Fabian Kuhn, Christian Scheideler, Philipp Schneider, Martijn Struijs

Abstract: Hybrid networks, i.e., networks that leverage different means of communication, become ever more widespread. To allow theoretical study of such networks, [Augustine et al., SODA'20] introduced the $\mathsf{HYBRID}$ model, which is based on the concept of synchronous message passing and uses two fundamentally different principles of communication: a local mode, which allows every node to exchange o… ▽ More Hybrid networks, i.e., networks that leverage different means of communication, become ever more widespread. To allow theoretical study of such networks, [Augustine et al., SODA'20] introduced the $\mathsf{HYBRID}$ model, which is based on the concept of synchronous message passing and uses two fundamentally different principles of communication: a local mode, which allows every node to exchange one message per round with each neighbor in a local communication graph; and a global mode where any pair of nodes can exchange messages, but only few such exchanges can take place per round. A sizable portion of the previous research for the $\mathsf{HYBRID}$ model revolves around basic communication primitives and computing distances or shortest paths in networks. In this paper, we extend this study to a related fundamental problem of computing compact routing schemes for near-shortest paths in the local communication graph. We demonstrate that, for the case where the local communication graph is a unit-disc graph with $n$ nodes that is realized in the plane and has no radio holes, we can deterministically compute a routing scheme that has constant stretch and uses labels and local routing tables of size $O(\log n)$ bits in only $O(\log n)$ rounds. △ Less

Submitted 16 February, 2022; originally announced February 2022.

ACM Class: G.2.2; G.4

Routing Schemes and Distance Oracles in the Hybrid Model

Authors: Fabian Kuhn, Philipp Schneider

Abstract: The $\mathsf{HYBRID}$ model was introduced as a means for theoretical study of distributed networks that use various communication modes. Conceptually, it is a synchronous message passing model with a local communication mode, where in each round each node can send large messages to all its neighbors in a local network (a graph), and a global communication mode, where each node is allotted limited… ▽ More The $\mathsf{HYBRID}$ model was introduced as a means for theoretical study of distributed networks that use various communication modes. Conceptually, it is a synchronous message passing model with a local communication mode, where in each round each node can send large messages to all its neighbors in a local network (a graph), and a global communication mode, where each node is allotted limited (polylogarithmic) bandwidth per round which it can use to communicate with any node in the network. Prior work has often focused on shortest paths problems in the local network, as their global nature makes these an interesting case study how combining communication modes in the $\mathsf{HYBRID}$ model can overcome the individual lower bounds of either mode. In this work we consider a similar problem, namely computation of distance oracles and routing schemes. In the former, all nodes have to compute local tables, which allows them to look up the distance (estimates) to any target node in the local network when provided with the label of the target. In the latter, it suffices that nodes give the next node on an (approximately) shortest path to the target. Our goal is to compute these local tables as fast as possible with labels as small as possible. We show that this can be done exactly in $\widetilde O(n^{1/3})$ communication rounds and labels of size $Θ(n^{2/3})$ bits. For constant stretch approximations we achieve labels of size $O(\log n)$ in the same time. Further, as our main technical contribution, we provide computational lower bounds for a variety of problem parameters. For instance, we show that computing solutions with stretch below a certain constant takes $\widetilde Ω(n^{1/3})$ rounds even for labels of size $O(n^{2/3})$. △ Less

Submitted 14 February, 2022; originally announced February 2022.

ACM Class: G.2.2; G.4

Improved Distributed Fractional Coloring Algorithms

Authors: Alkida Balliu, Fabian Kuhn, Dennis Olivetti

Abstract: We prove new bounds on the distributed fractional coloring problem in the LOCAL model. Fractional $c$-colorings can be understood as multicolorings as follows. For some natural numbers $p$ and $q$ such that $p/q\leq c$, each node $v$ is assigned a set of at least $q$ colors from $\{1,\dots,p\}$ such that adjacent nodes are assigned disjoint sets of colors. The minimum $c$ for which a fractional… ▽ More We prove new bounds on the distributed fractional coloring problem in the LOCAL model. Fractional $c$-colorings can be understood as multicolorings as follows. For some natural numbers $p$ and $q$ such that $p/q\leq c$, each node $v$ is assigned a set of at least $q$ colors from $\{1,\dots,p\}$ such that adjacent nodes are assigned disjoint sets of colors. The minimum $c$ for which a fractional $c$-coloring of a graph $G$ exists is called the fractional chromatic number $χ_f(G)$ of $G$. Recently, [Bousquet, Esperet, and Pirot; SIROCCO '21] showed that for any constant $ε>0$, a fractional $(Δ+ε)$-coloring can be computed in $Δ^{O(Δ)} + O(Δ\cdot\log^* n)$ rounds. We show that such a coloring can be computed in only $O(\log^2 Δ)$ rounds, without any dependency on $n$. We further show that in $O\big(\frac{\log n}ε\big)$ rounds, it is possible to compute a fractional $(1+ε)χ_f(G)$-coloring, even if the fractional chromatic number $χ_f(G)$ is not known. That is, this problem can be approximated arbitrarily well by an efficient algorithm in the LOCAL model. For the standard coloring problem, it is only known that an $O\big(\frac{\log n}{\log\log n}\big)$-approximation can be computed in polylogarithmic time in the LOCAL model. We also show that our distributed fractional coloring approximation algorithm is best possible. We show that in trees, which have fractional chromatic number $2$, computing a fractional $(2+ε)$-coloring requires at least $Ω\big(\frac{\log n}ε\big)$ rounds. We finally study fractional colorings of regular grids. In [Bousquet, Esperet, and Pirot; SIROCCO '21], it is shown that in regular grids of bounded dimension, a fractional $(2+ε)$-coloring can be computed in time $O(\log^* n)$. We show that such a coloring can even be computed in $O(1)$ rounds in the LOCAL model. △ Less

Submitted 9 December, 2021; v1 submitted 8 December, 2021; originally announced December 2021.

Near-Optimal Distributed Degree+1 Coloring

Authors: Magnús M. Halldórsson, Fabian Kuhn, Alexandre Nolin, Tigran Tonoyan

Abstract: We present a new approach to randomized distributed graph coloring that is simpler and more efficient than previous ones. In particular, it allows us to tackle the $(\operatorname{deg}+1)$-list-coloring (D1LC) problem, where each node $v$ of degree $d_v$ is assigned a palette of $d_v+1$ colors, and the objective is to find a proper coloring using these palettes. While for $(Δ+1)$-coloring (where… ▽ More We present a new approach to randomized distributed graph coloring that is simpler and more efficient than previous ones. In particular, it allows us to tackle the $(\operatorname{deg}+1)$-list-coloring (D1LC) problem, where each node $v$ of degree $d_v$ is assigned a palette of $d_v+1$ colors, and the objective is to find a proper coloring using these palettes. While for $(Δ+1)$-coloring (where $Δ$ is the maximum degree), there is a fast randomized distributed $O(\log^3\log n)$-round algorithm (Chang, Li, and Pettie [SIAM J. Comp. 2020]), no $o(\log n)$-round algorithms are known for the D1LC problem. We give a randomized distributed algorithm for D1LC that is optimal under plausible assumptions about the deterministic complexity of the problem. Using the recent deterministic algorithm of Ghaffari and Kuhn [FOCS2021], our algorithm runs in $O(\log^3 \log n)$ time, matching the best bound known for $(Δ+1)$-coloring. In addition, it colors all nodes of degree $Ω(\log^7 n)$ in $O(\log^* n)$ rounds. A key contribution is a subroutine to generate slack for D1LC. When placed into the framework of Assadi, Chen, and Khanna [SODA2019] and Alon and Assadi [APPROX/RANDOM2020], this almost immediately leads to a palette sparsification theorem for D1LC, generalizing previous results. That gives fast algorithms for D1LC in three different models: an $O(1)$-round algorithm in the MPC model with $\tilde{O}(n)$ memory per machine; a single-pass semi-streaming algorithm in dynamic streams; and an $\tilde{O}(n\sqrt{n})$-time algorithm in the standard query model. △ Less

Submitted 1 December, 2021; originally announced December 2021.

Distributed CONGEST Approximation of Weighted Vertex Covers and Matchings

Authors: Salwa Faour, Marc Fuchs, Fabian Kuhn

Abstract: We provide CONGEST model algorithms for approximating minimum weighted vertex cover and the maximum weighted matching. For bipartite graphs, we show that a $(1+\varepsilon)$-approximate weighted vertex cover can be computed deterministically in polylogarithmic time. This generalizes a corresponding result for the unweighted vertex cover problem shown in [Faour, Kuhn; OPODIS '20]. Moreover, we show… ▽ More We provide CONGEST model algorithms for approximating minimum weighted vertex cover and the maximum weighted matching. For bipartite graphs, we show that a $(1+\varepsilon)$-approximate weighted vertex cover can be computed deterministically in polylogarithmic time. This generalizes a corresponding result for the unweighted vertex cover problem shown in [Faour, Kuhn; OPODIS '20]. Moreover, we show that in general weighted graph families that are closed under taking subgraphs and in which we can compute an independent set of weight at least a $λ$-fraction of the total weight, one can compute a $(2-2λ+\varepsilon)$-approximate weighted vertex cover in polylogarithmic time in the CONGEST model. Our result in particular implies that in graphs of arboricity $a$, one can compute a $(2-1/a+\varepsilon)$-approximate weighted vertex cover. For maximum weighted matchings, we show that a $(1-\varepsilon)$-approximate solution can be computed deterministically in polylogarithmic CONGEST rounds (for constant $\varepsilon$). We also provide a more efficient randomized algorithm. Our algorithm generalizes results of [Lotker, Patt-Shamir, Pettie; SPAA '08] and [Bar-Yehuda, Hillel, Ghaffari, Schwartzman; PODC '17] for the unweighted case. Finally, we show that even in the LOCAL model and in bipartite graphs of degree $\leq 3$, if $\varepsilon<\varepsilon_0$ for some constant $\varepsilon_0>0$, then computing a $(1+\varepsilon)$-approximation for the unweighted minimum vertex cover problem requires $Ω\big(\frac{\log n}{\varepsilon}\big)$ rounds. This generalizes aresult of [Göös, Suomela; DISC '12], who showed that computing a $(1+\varepsilon_0)$-approximation in such graphs requires $Ω(\log n)$ rounds. △ Less

Submitted 20 November, 2021; originally announced November 2021.

Distributed $Δ$-Coloring Plays Hide-and-Seek

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti

Abstract: We prove several new tight distributed lower bounds for classic symmetry breaking graph problems. As a basic tool, we first provide a new insightful proof that any deterministic distributed algorithm that computes a $Δ$-coloring on $Δ$-regular trees requires $Ω(\log_Δn)$ rounds and any randomized algorithm requires $Ω(\log_Δ\log n)$ rounds. We prove this result by showing that a natural relaxation… ▽ More We prove several new tight distributed lower bounds for classic symmetry breaking graph problems. As a basic tool, we first provide a new insightful proof that any deterministic distributed algorithm that computes a $Δ$-coloring on $Δ$-regular trees requires $Ω(\log_Δn)$ rounds and any randomized algorithm requires $Ω(\log_Δ\log n)$ rounds. We prove this result by showing that a natural relaxation of the $Δ$-coloring problem is a fixed point in the round elimination framework. As a first application, we show that our $Δ$-coloring lower bound proof directly extends to arbdefective colorings. We exactly characterize which variants of the arbdefective coloring problem are "easy", and which of them instead are "hard". As a second application, which we see as our main contribution, we use the structure of the fixed point as a building block to prove lower bounds as a function of $Δ$ for a large class of distributed symmetry breaking problems. For example, we obtain a tight lower bound for the fundamental problem of computing a $(2,β)$-ruling set. This is an exponential improvement over the best existing lower bound for the problem, which was proven in [FOCS '20]. Our lower bound even applies to a much more general family of problems that allows for almost arbitrary combinations of natural constraints from coloring problems, orientation problems, and independent set problems, and provides a single unified proof for known and new lower bound results for these types of problems. Our lower bounds as a function of $Δ$ also imply lower bounds as a function of $n$. We obtain, for example, that maximal independent set, on trees, requires $Ω(\log n / \log \log n)$ rounds for deterministic algorithms, which is tight. △ Less

Submitted 2 June, 2022; v1 submitted 1 October, 2021; originally announced October 2021.

Sinkless Orientation Made Simple

Authors: Alkida Balliu, Janne H. Korhonen, Fabian Kuhn, Henrik Lievonen, Dennis Olivetti, Shreyas Pai, Ami Paz, Joel Rybicki, Stefan Schmid, Jan Studený, Jukka Suomela, Jara Uitto

Abstract: The sinkless orientation problem plays a key role in understanding the foundations of distributed computing. The problem can be used to separate two fundamental models of distributed graph algorithms, LOCAL and SLOCAL: the locality of sinkless orientation is $Ω(\log n)$ in the deterministic LOCAL model and $O(\log \log n)$ in the deterministic SLOCAL model. Both of these results are known by prior… ▽ More The sinkless orientation problem plays a key role in understanding the foundations of distributed computing. The problem can be used to separate two fundamental models of distributed graph algorithms, LOCAL and SLOCAL: the locality of sinkless orientation is $Ω(\log n)$ in the deterministic LOCAL model and $O(\log \log n)$ in the deterministic SLOCAL model. Both of these results are known by prior work, but here we give new simple, self-contained proofs for them. △ Less

Submitted 10 June, 2022; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: Parts of this work appeared in DISC 2021 as a brief announcement, under the title "Sinkless orientation is hard also in the supported LOCAL model"

Feller Generators with measurable lower order terms

Authors: Franziska Kühn, Markus Kunze

Abstract: We study perturbations of Feller generators under `lower order terms' with measurable coefficients. We investigate which properties of the original semigroup -- such as positivity, conservativeness and the Feller property -- are passed to the perturbed semigroup. We give several examples and discuss applications in the theory of martingale problems and stochastic differential equations with measur… ▽ More We study perturbations of Feller generators under `lower order terms' with measurable coefficients. We investigate which properties of the original semigroup -- such as positivity, conservativeness and the Feller property -- are passed to the perturbed semigroup. We give several examples and discuss applications in the theory of martingale problems and stochastic differential equations with measurable coefficients. △ Less

Submitted 5 August, 2021; originally announced August 2021.

Comments: 32 pages, no figures

MSC Class: 60G53; 47A55; 47G20; 60J35; 60H10

For which functions are $f(X_t)-\mathbb{E} f(X_t)$ and $g(X_t)/\mathbb{E} g(X_t)$ martingales?

Authors: Franziska Kühn, René L. Schilling

Abstract: Let $X=(X_t)_{t\geq 0}$ be a one-dimensional Lévy process such that each $X_t$ has a $C^1_b$-density w.r.t. Lebesgue measure and certain polynomial or exponential moments. We characterize all polynomially bounded functions $f:\mathbb{R}\to\mathbb{R}$, and exponentially bounded functions $g:\mathbb{R}\to (0,\infty)$, such that $f(X_t)-\mathbb{E} f(X_t)$, resp. $g(X_t)/\mathbb{E} g(X_t)$, are martin… ▽ More Let $X=(X_t)_{t\geq 0}$ be a one-dimensional Lévy process such that each $X_t$ has a $C^1_b$-density w.r.t. Lebesgue measure and certain polynomial or exponential moments. We characterize all polynomially bounded functions $f:\mathbb{R}\to\mathbb{R}$, and exponentially bounded functions $g:\mathbb{R}\to (0,\infty)$, such that $f(X_t)-\mathbb{E} f(X_t)$, resp. $g(X_t)/\mathbb{E} g(X_t)$, are martingales. △ Less

Submitted 18 October, 2021; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: Accepted for publication in Theory of Probability and Mathematical Statistics

MSC Class: 60G44; 60G51; 60J65; 39B22; 45E10

Improved Distributed Lower Bounds for MIS and Bounded (Out-)Degree Dominating Sets in Trees

Authors: Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti

Abstract: Recently, Balliu, Brandt, and Olivetti [FOCS '20] showed the first $ω(\log^* n)$ lower bound for the maximal independent set (MIS) problem in trees. In this work we prove lower bounds for a much more relaxed family of distributed symmetry breaking problems. As a by-product, we obtain improved lower bounds for the distributed MIS problem in trees. For a parameter $k$ and an orientation of the edg… ▽ More Recently, Balliu, Brandt, and Olivetti [FOCS '20] showed the first $ω(\log^* n)$ lower bound for the maximal independent set (MIS) problem in trees. In this work we prove lower bounds for a much more relaxed family of distributed symmetry breaking problems. As a by-product, we obtain improved lower bounds for the distributed MIS problem in trees. For a parameter $k$ and an orientation of the edges of a graph $G$, we say that a subset $S$ of the nodes of $G$ is a $k$-outdegree dominating set if $S$ is a dominating set of $G$ and if in the induced subgraph $G[S]$, every node in $S$ has outdegree at most $k$. Note that for $k=0$, this definition coincides with the definition of an MIS. For a given $k$, we consider the problem of computing a $k$-outdegree dominating set. We show that, even in regular trees of degree at most $Δ$, in the standard \LOCAL model, there exists a constant $ε>0$ such that for $k\leq Δ^ε$, for the problem of computing a $k$-outdegree dominating set, any randomized algorithm requires at least $Ω(\min\{\logΔ,\sqrt{\log\log n}\})$ rounds and any deterministic algorithm requires at least $Ω(\min\{\logΔ,\sqrt{\log n}\})$ rounds. The proof of our lower bounds is based on the recently highly successful round elimination technique. We provide a novel way to do simplifications for round elimination, which we expect to be of independent interest. Our new proof is considerably simpler than the lower bound proof in [FOCS '20]. In particular, our round elimination proof uses a family of problems that can be described by only a constant number of labels. The existence of such a proof for the MIS problem was believed impossible by the authors of [FOCS '20]. △ Less

Submitted 4 June, 2021; originally announced June 2021.

Comments: Accepted at PODC 2021

Lévy Processes, Generalized Moments and Uniform Integrability

Authors: David Berger, Franziska Kühn, René L. Schilling

Abstract: We give new proofs of certain equivalent conditions for the existence of generalized moments of a Lévy process $(X_t)_{t\geq 0}$; in particular, the existence of a generalized $g$-moment is equivalent to the uniform integrability of $(g(X_t))_{t\in [0,1]}$. As a consequence, certain functions of a Lévy process which are integrable and local martingales are already true martingales. Our methods ext… ▽ More We give new proofs of certain equivalent conditions for the existence of generalized moments of a Lévy process $(X_t)_{t\geq 0}$; in particular, the existence of a generalized $g$-moment is equivalent to the uniform integrability of $(g(X_t))_{t\in [0,1]}$. As a consequence, certain functions of a Lévy process which are integrable and local martingales are already true martingales. Our methods extend to moments of stochastically continuous additive processes, and we give new, short proofs for the characterization of lattice distributions and the transience of Lévy processes. △ Less

Submitted 18 February, 2022; v1 submitted 17 February, 2021; originally announced February 2021.

Upper functions for sample paths of Lévy(-type) processes

Authors: Franziska Kühn

Abstract: We study the small-time asymptotics of sample paths of Lévy processes and Lévy-type processes. Namely, we investigate under which conditions the limit $$\limsup_{t \to 0} \frac{1}{f(t)} |X_t-X_0|$$ is finite resp.\ infinite with probability $1$. We establish integral criteria in terms of the infinitesimal characteristics and the symbol of the process. Our results apply to a wide class of processes… ▽ More We study the small-time asymptotics of sample paths of Lévy processes and Lévy-type processes. Namely, we investigate under which conditions the limit $$\limsup_{t \to 0} \frac{1}{f(t)} |X_t-X_0|$$ is finite resp.\ infinite with probability $1$. We establish integral criteria in terms of the infinitesimal characteristics and the symbol of the process. Our results apply to a wide class of processes, including solutions to Lévy-driven SDEs and stable-like processes. For the particular case of Lévy processes, we recover and extend earlier results from the literature. Moreover, we present a new maximal inequality for Lévy-type processes, which is of independent interest. △ Less

Submitted 8 October, 2021; v1 submitted 12 February, 2021; originally announced February 2021.

MSC Class: 60G17; 60G51; 60G53; 60J76; 47G20

Convolution inequalities for Besov and Triebel--Lizorkin spaces, and applications to convolution semigroups

Authors: Franziska Kühn, René L. Schilling

Abstract: We establish convolution inequalities for Besov spaces $B_{p,q}^s$ and Triebel--Lizorkin spaces $F_{p,q}^s$. As an application, we study the map** properties of convolution semigroups, considered as operators on the function spaces $A_{p,q}^s$, $A \in \{B,F\}$. Our results apply to a wide class of convolution semigroups including the Gauß--Weierstraß semigroup, stable semigroups and heat kernels… ▽ More We establish convolution inequalities for Besov spaces $B_{p,q}^s$ and Triebel--Lizorkin spaces $F_{p,q}^s$. As an application, we study the map** properties of convolution semigroups, considered as operators on the function spaces $A_{p,q}^s$, $A \in \{B,F\}$. Our results apply to a wide class of convolution semigroups including the Gauß--Weierstraß semigroup, stable semigroups and heat kernels for higher-order powers of the Laplacian $(-Δ)^m$, and we can derive various caloric smoothing estimates. △ Less

Submitted 22 March, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

Comments: Accepted for publication in Studia Mathematica

MSC Class: 46E35; 60J76; 60G51; 35K25

Efficient Randomized Distributed Coloring in CONGEST

Authors: Magnús M. Halldórsson, Fabian Kuhn, Yannic Maus, Tigran Tonoyan

Abstract: Distributed vertex coloring is one of the classic problems and probably also the most widely studied problems in the area of distributed graph algorithms. We present a new randomized distributed vertex coloring algorithm for the standard CONGEST model, where the network is modeled as an $n$-node graph $G$, and where the nodes of $G$ operate in synchronous communication rounds in which they can exc… ▽ More Distributed vertex coloring is one of the classic problems and probably also the most widely studied problems in the area of distributed graph algorithms. We present a new randomized distributed vertex coloring algorithm for the standard CONGEST model, where the network is modeled as an $n$-node graph $G$, and where the nodes of $G$ operate in synchronous communication rounds in which they can exchange $O(\log n)$-bit messages over all the edges of $G$. For graphs with maximum degree $Δ$, we show that the $(Δ+1)$-list coloring problem (and therefore also the standard $(Δ+1)$-coloring problem) can be solved in $O(\log^5\log n)$ rounds. Previously such a result was only known for the significantly more powerful LOCAL model, where in each round, neighboring nodes can exchange messages of arbitrary size. The best previous $(Δ+1)$-coloring algorithm in the CONGEST model had a running time of $O(\logΔ+ \log^6\log n)$ rounds. As a function of $n$ alone, the best previous algorithm therefore had a round complexity of $O(\log n)$, which is a bound that can also be achieved by a naïve folklore algorithm. For large maximum degree $Δ$, our algorithm hence is an exponential improvement over the previous state of the art. △ Less

Submitted 11 April, 2021; v1 submitted 28 December, 2020; originally announced December 2020.

Approximate Bipartite Vertex Cover in the CONGEST Model

Authors: Salwa Faour, Fabian Kuhn

Abstract: We give efficient distributed algorithms for the minimum vertex cover problem in bipartite graphs in the CONGEST model. From Kőnig's theorem, it is well known that in bipartite graphs the size of a minimum vertex cover is equal to the size of a maximum matching. We first show that together with an existing $O(n\log n)$-round algorithm for computing a maximum matching, the constructive proof of Kőn… ▽ More We give efficient distributed algorithms for the minimum vertex cover problem in bipartite graphs in the CONGEST model. From Kőnig's theorem, it is well known that in bipartite graphs the size of a minimum vertex cover is equal to the size of a maximum matching. We first show that together with an existing $O(n\log n)$-round algorithm for computing a maximum matching, the constructive proof of Kőnig's theorem directly leads to a deterministic $O(n\log n)$-round CONGEST algorithm for computing a minimum vertex cover. We then show that by adapting the construction, we can also convert an \emph{approximate} maximum matching into an \emph{approximate} minimum vertex cover. Given a $(1-δ)$-approximate matching for some $δ>1$, we show that a $(1+O(δ))$-approximate vertex cover can be computed in time $O(D+\mathrm{poly}(\frac{\log n}δ))$, where $D$ is the diameter of the graph. When combining with known graph clustering techniques, for any $\varepsilon\in(0,1]$, this leads to a $\mathrm{poly}(\frac{\log n}{\varepsilon})$-time deterministic and also to a slightly faster and simpler randomized $O(\frac{\log n}{\varepsilon^3})$-round CONGEST algorithm for computing a $(1+\varepsilon)$-approximate vertex cover in bipartite graphs. For constant $\varepsilon$, the randomized time complexity matches the $Ω(\log n)$ lower bound for computing a $(1+\varepsilon)$-approximate vertex cover in bipartite graphs even in the LOCAL model. Our results are also in contrast to the situation in general graphs, where it is known that computing an optimal vertex cover requires $\tildeΩ(n^2)$ rounds in the CONGEST model and where it is not even known how to compute any $(2-\varepsilon)$-approximation in time $o(n^2)$. △ Less

Submitted 19 November, 2020; originally announced November 2020.

Deterministic Distributed Vertex Coloring: Simpler, Faster, and without Network Decomposition

Authors: Mohsen Ghaffari, Fabian Kuhn

Abstract: We present a simple deterministic distributed algorithm that computes a $(Δ+1)$-vertex coloring in $O(\log^2 Δ\cdot \log n)$ rounds. The algorithm can be implemented with $O(\log n)$-bit messages. The algorithm can also be extended to the more general $(degree+1)$-list coloring problem. Obtaining a polylogarithmic-time deterministic algorithm for $(Δ+1)$-vertex coloring had remained a central op… ▽ More We present a simple deterministic distributed algorithm that computes a $(Δ+1)$-vertex coloring in $O(\log^2 Δ\cdot \log n)$ rounds. The algorithm can be implemented with $O(\log n)$-bit messages. The algorithm can also be extended to the more general $(degree+1)$-list coloring problem. Obtaining a polylogarithmic-time deterministic algorithm for $(Δ+1)$-vertex coloring had remained a central open question in the area of distributed graph algorithms since the 1980s, until a recent network decomposition algorithm of Rozhoň and Ghaffari [STOC'20]. The current state of the art is based on an improved variant of their decomposition, which leads to an $O(\log^5 n)$-round algorithm for $(Δ+1)$-vertex coloring. Our coloring algorithm is completely different and considerably simpler and faster. It solves the coloring problem in a direct way, without using network decomposition, by gradually rounding a certain fractional color assignment until reaching an integral color assignments. Moreover, via the approach of Chang, Li, and Pettie [STOC'18], this improved deterministic algorithm also leads to an improvement in the complexity of randomized algorithms for $(Δ+1)$-coloring, now reaching the bound of $O(\log^3\log n)$ rounds. As a further application, we also provide faster deterministic distributed algorithms for the following variants of the vertex coloring problem. In graphs of arboricity $a$, we show that a $(2+ε)a$-vertex coloring can be computed in $O(\log^3 a\cdot\log n)$ rounds. We also show that for $Δ\geq 3$, a $Δ$-coloring of a $Δ$-colorable graph $G$ can be computed in $O(\log^2 Δ\cdot\log^2 n)$ rounds. △ Less

Submitted 4 September, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Combining strong and weak lensing estimates in the Cosmos field

Authors: Felix Arjun Kuhn, Claudio Bruderer, Simon Birrer, Adam Amara, Alexandre Réfrégier

Abstract: We present a combined cosmic shear analysis of the modeling of line-of-sight distortions on strongly lensed extended arcs and galaxy shape measurements in the COSMOS field. We develop a framework to predict the covariance of strong lensing and galaxy shape measurements of cosmic shear on the basis of the small scale matter power-spectrum. The weak lensing measurement is performed using data from t… ▽ More We present a combined cosmic shear analysis of the modeling of line-of-sight distortions on strongly lensed extended arcs and galaxy shape measurements in the COSMOS field. We develop a framework to predict the covariance of strong lensing and galaxy shape measurements of cosmic shear on the basis of the small scale matter power-spectrum. The weak lensing measurement is performed using data from the COSMOS survey calibrated with a cloning scheme using the Ultra Fast Image Generator UFig (Berge 2013). The strong lensing analysis is performed by forward modeling the lensing arcs with a main lensing deflector and external shear components from the same Hubble Space Telescope imaging data set. With a sample of three strong lensing shear measurements we present a 2-sigma detection of the cross-correlation signal between the two complementary measurements of cosmic shear along the identical line of sight. With large samples of lenses available with the next generation ground and space based observatories, the covariance of the signal of the two probes with large samples of lenses allows for systematic checks, cross-calibration of either of the two measurement and the measurement of the small scale shear power-spectrum. △ Less

Submitted 14 January, 2021; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: 27 pages, 7 figures, 4 tables

Coloring Fast Without Learning Your Neighbors' Colors

Authors: Magnus M. Halldorsson, Fabian Kuhn, Yannic Maus, Alexandre Nolin

Abstract: We give an improved randomized CONGEST algorithm for distance-$2$ coloring that uses $Δ^2+1$ colors and runs in $O(\log n)$ rounds, improving the recent $O(\log Δ\cdot \log n)$-round algorithm in [Halldórsson, Kuhn, Maus; PODC '20]. We then improve the time complexity to $O(\log Δ) + 2^{O(\sqrt{\log\log n})}$. We give an improved randomized CONGEST algorithm for distance-$2$ coloring that uses $Δ^2+1$ colors and runs in $O(\log n)$ rounds, improving the recent $O(\log Δ\cdot \log n)$-round algorithm in [Halldórsson, Kuhn, Maus; PODC '20]. We then improve the time complexity to $O(\log Δ) + 2^{O(\sqrt{\log\log n})}$. △ Less

Submitted 10 August, 2020; originally announced August 2020.

Computing Shortest Paths and Diameter in the Hybrid Network Model

Authors: Fabian Kuhn, Philipp Schneider

Abstract: The $\mathsf{HYBRID}$ model, introduced in [Augustine et al., SODA '20], provides a theoretical foundation for networks that allow multiple communication modes. The model follows the principles of synchronous message passing, whereas nodes are allowed to use \textit{two} fundamentally different communication modes. First, a local mode where nodes may exchange arbitrary information per round over e… ▽ More The $\mathsf{HYBRID}$ model, introduced in [Augustine et al., SODA '20], provides a theoretical foundation for networks that allow multiple communication modes. The model follows the principles of synchronous message passing, whereas nodes are allowed to use \textit{two} fundamentally different communication modes. First, a local mode where nodes may exchange arbitrary information per round over edges of a local communication graph $G$ (akin to the $\mathsf{LOCAL}$ model). Second, a global mode where every node may exchange $O(\log n)$ messages of size $O(\log n)$ bits per round with arbitrary nodes in the network. The $\mathsf{HYBRID}$ model intends to reflect the conditions of many real hybrid networks, where high-bandwidth but inherently local communication is combined with highly flexible global communication with restricted bandwidth. We continue to explore the power and limitations of the $\mathsf{HYBRID}$ model by investigating the complexity of computing shortest paths and diameter of the local communication graph $G$. We improve on the known upper bound for the exact all pairs shortest paths problem (APSP) from [Augustine et al., SODA '20] and provide algorithms to approximate solutions for the $k$ source shortest paths problem ($k$-SSSP). We demonstrate that our results for APSP and $k$-SSP are almost tight (up to poly-logarithmic factors). Furthermore, we give an improved algorithm for the exact single source shortest paths problem for graphs with large diameter. For the problem of approximating the diameter of the local communication network we give the first non-trivial upper bound. This upper bound is complemented by a lower bound for the exact diameter problem. △ Less

Submitted 2 October, 2020; v1 submitted 15 June, 2020; originally announced June 2020.

ACM Class: G.2.2; G.4

Distance-2 Coloring in the CONGEST Model

Authors: Magnus M. Halldorsson, Fabian Kuhn, Yannic Maus

Abstract: We give efficient randomized and deterministic distributed algorithms for computing a distance-$2$ vertex coloring of a graph $G$ in the CONGEST model. In particular, if $Δ$ is the maximum degree of $G$, we show that there is a randomized CONGEST model algorithm to compute a distance-$2$ coloring of $G$ with $Δ^2+1$ colors in $O(\logΔ\cdot\log n)$ rounds. Further if the number of colors is slightl… ▽ More We give efficient randomized and deterministic distributed algorithms for computing a distance-$2$ vertex coloring of a graph $G$ in the CONGEST model. In particular, if $Δ$ is the maximum degree of $G$, we show that there is a randomized CONGEST model algorithm to compute a distance-$2$ coloring of $G$ with $Δ^2+1$ colors in $O(\logΔ\cdot\log n)$ rounds. Further if the number of colors is slightly increased to $(1+ε)Δ^2$ for some $ε>1/{\rm polylog}(n)$, we show that it is even possible to compute a distance-$2$ coloring deterministically in polylog$(n)$ time in the CONGEST model. Finally, we give a $O(Δ^2 + \log^* n)$-round deterministic CONGEST algorithm to compute distance-$2$ coloring with $Δ^2+1$ colors. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Interior Schauder estimates for elliptic equations associated with Lévy operators

Authors: Franziska Kühn

Abstract: We study the local regularity of solutions $f$ to the integro-differential equation $$ Af=g \quad \text{in $U$}$$ associated with the infinitesimal generator $A$ of a Lévy process $(X_t)_{t \geq 0}$. Under the assumption that the transition density of $(X_t)_{t \geq 0}$ satisfies a certain gradient estimate, we establish interior Schauder estimates for both pointwise and weak solutions $f$. Our re… ▽ More We study the local regularity of solutions $f$ to the integro-differential equation $$ Af=g \quad \text{in $U$}$$ associated with the infinitesimal generator $A$ of a Lévy process $(X_t)_{t \geq 0}$. Under the assumption that the transition density of $(X_t)_{t \geq 0}$ satisfies a certain gradient estimate, we establish interior Schauder estimates for both pointwise and weak solutions $f$. Our results apply for a wide class of Lévy generators, including generators of stable Lévy processes and subordinated Brownian motions. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Distributed Edge Coloring in Time Quasi-Polylogarithmic in Delta

Authors: Alkida Balliu, Fabian Kuhn, Dennis Olivetti

Abstract: The problem of coloring the edges of an $n$-node graph of maximum degree $Δ$ with $2Δ- 1$ colors is one of the key symmetry breaking problems in the area of distributed graph algorithms. While there has been a lot of progress towards the understanding of this problem, the dependency of the running time on $Δ$ has been a long-standing open question. Very recently, Kuhn [SODA '20] showed that the pr… ▽ More The problem of coloring the edges of an $n$-node graph of maximum degree $Δ$ with $2Δ- 1$ colors is one of the key symmetry breaking problems in the area of distributed graph algorithms. While there has been a lot of progress towards the understanding of this problem, the dependency of the running time on $Δ$ has been a long-standing open question. Very recently, Kuhn [SODA '20] showed that the problem can be solved in time $2^{O(\sqrt{\logΔ})}+O(\log^* n)$. In this paper, we study the edge coloring problem in the distributed LOCAL model. We show that the $(\mathit{degree}+1)$-list edge coloring problem, and thus also the $(2Δ-1)$-edge coloring problem, can be solved deterministically in time $\log^{O(\log\logΔ)}Δ+ O(\log^* n)$. This is a significant improvement over the result of Kuhn [SODA '20]. △ Less

Submitted 25 February, 2020; originally announced February 2020.

Distributed Maximum Matching Verification in CONGEST

Authors: Mohamad Ahmadi, Fabian Kuhn

Abstract: We study the maximum cardinality matching problem in a standard distributed setting, where the nodes $V$ of a given $n$-node network graph $G=(V,E)$ communicate over the edges $E$ in synchronous rounds. More specifically, we consider the distributed CONGEST model, where in each round, each node of $G$ can send an $O(\log n)$-bit message to each of its neighbors. We show that for every graph $G$ an… ▽ More We study the maximum cardinality matching problem in a standard distributed setting, where the nodes $V$ of a given $n$-node network graph $G=(V,E)$ communicate over the edges $E$ in synchronous rounds. More specifically, we consider the distributed CONGEST model, where in each round, each node of $G$ can send an $O(\log n)$-bit message to each of its neighbors. We show that for every graph $G$ and a matching $M$ of $G$, there is a randomized CONGEST algorithm to verify $M$ being a maximum matching of $G$ in time $O(|M|)$ and disprove it in time $O(D + \ell)$, where $D$ is the diameter of $G$ and $\ell$ is the length of a shortest augmenting path. We hope that our algorithm constitutes a significant step towards develo** a CONGEST algorithm to compute a maximum matching in time $\tilde{O}(s^*)$, where $s^*$ is the size of a maximum matching. △ Less

Submitted 18 February, 2020; originally announced February 2020.

Comments: 42 pages

A Liouville theorem for Lévy generators

Authors: Franziska Kühn

Abstract: Under mild assumptions, we establish a Liouville theorem for the "Laplace" equation $Au=0$ associated with the infinitesimal generator $A$ of a Lévy process: If $u$ is a weak solution to $Au=0$ which is at most of (suitable) polynomial growth, then $u$ is a polynomial. As a by-product, we obtain new regularity estimates for semigroups associated with Lévy processes. Under mild assumptions, we establish a Liouville theorem for the "Laplace" equation $Au=0$ associated with the infinitesimal generator $A$ of a Lévy process: If $u$ is a weak solution to $Au=0$ which is at most of (suitable) polynomial growth, then $u$ is a polynomial. As a by-product, we obtain new regularity estimates for semigroups associated with Lévy processes. △ Less

Submitted 21 November, 2020; v1 submitted 8 January, 2020; originally announced January 2020.

Comments: Proof of Proposition 2.2 has been substantially simplified

MSC Class: 60G51; 35B53; 31C05; 35R09; 60J35

Journal ref: Positivity 25 (2021), 997-1012

Efficient Deterministic Distributed Coloring with Small Bandwidth

Authors: Philipp Bamberger, Fabian Kuhn, Yannic Maus

Abstract: We show that the $(degree+1)$-list coloring problem can be solved deterministically in $O(D \cdot \log n \cdot\log^2Δ)$ rounds in the \CONGEST model, where $D$ is the diameter of the graph, $n$ the number of nodes, and $Δ$ the maximum degree. Using the recent polylogarithmic-time deterministic network decomposition algorithm by Rozhoň and Ghaffari [STOC 2020], this implies the first efficient (i.e… ▽ More We show that the $(degree+1)$-list coloring problem can be solved deterministically in $O(D \cdot \log n \cdot\log^2Δ)$ rounds in the \CONGEST model, where $D$ is the diameter of the graph, $n$ the number of nodes, and $Δ$ the maximum degree. Using the recent polylogarithmic-time deterministic network decomposition algorithm by Rozhoň and Ghaffari [STOC 2020], this implies the first efficient (i.e., $\poly\log n$-time) deterministic \CONGEST algorithm for the $(Δ+1)$-coloring and the $(\mathit{degree}+1)$-list coloring problem. Previously the best known algorithm required $2^{O(\sqrt{\log n})}$ rounds and was not based on network decompositions. Our techniques also lead to deterministic $(\mathit{degree}+1)$-list coloring algorithms for the congested clique and the massively parallel computation (MPC) model. For the congested clique, we obtain an algorithm with time complexity $O(\logΔ\cdot\log\logΔ)$, for the MPC model, we obtain algorithms with round complexity $O(\log^2Δ)$ for the linear-memory regime and $O(\log^2Δ+ \log n)$ for the sublinear memory regime. △ Less

Submitted 7 April, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

On infinitesimal generators of sublinear Markov semigroups

Authors: Franziska Kühn

Abstract: We establish a Dynkin formula and a Courrège-von Waldenfels theorem for sublinear Markov semigroups. In particular, we show that any sublinear operator $A$ on $C_c^{\infty}(\mathbb{R}^d)$ satisfying the positive maximum principle can be represented as supremum of a family of pseudo-differential operators: $$Af(x) = \sup_{α\in I} (-q_α(x,D) f)(x).$$ As an immediate consequence, we obtain a represen… ▽ More We establish a Dynkin formula and a Courrège-von Waldenfels theorem for sublinear Markov semigroups. In particular, we show that any sublinear operator $A$ on $C_c^{\infty}(\mathbb{R}^d)$ satisfying the positive maximum principle can be represented as supremum of a family of pseudo-differential operators: $$Af(x) = \sup_{α\in I} (-q_α(x,D) f)(x).$$ As an immediate consequence, we obtain a representation formula for infinitesimal generators of sublinear Markov semigroups with a sufficiently rich domain. We give applications in the theory of non-linear Hamilton--Jacobi--Bellman equations and Lévy processes for sublinear expectations. △ Less

Submitted 18 September, 2019; originally announced September 2019.

MSC Class: 47H20; 60J35; 47J35; 49L25

Journal ref: Osaka Journal of Mathematics 58 (2021), 487-508

Shortest Paths in a Hybrid Network Model

Authors: John Augustine, Kristian Hinnenthal, Fabian Kuhn, Christian Scheideler, Philipp Schneider

Abstract: We introduce a communication model for hybrid networks, where nodes have access to two different communication modes: a local mode where communication is only possible between specific pairs of nodes, and a global mode where communication between any pair of nodes is possible. This can be motivated, for instance, by wireless networks in which we combine direct device-to-device communication (e.g.,… ▽ More We introduce a communication model for hybrid networks, where nodes have access to two different communication modes: a local mode where communication is only possible between specific pairs of nodes, and a global mode where communication between any pair of nodes is possible. This can be motivated, for instance, by wireless networks in which we combine direct device-to-device communication (e.g., using WiFi) with communication via a shared infrastructure (like base stations, the cellular network, or satellites). Typically, communication over short-range connections is cheaper and can be done at a much higher rate. Hence, we are focusing here on the LOCAL model (in which the nodes can exchange an unbounded amount of information in each round) for the local connections while for the global communication we assume the so-called node-capacitated clique model, where in each round every node can exchange only $O(\log n)$-bit messages with just $O(\log n)$ other nodes. In order to explore the power of combining local and global communication, we study the impact of hybrid communication on the complexity of computing shortest paths in the graph given by the local connections. Specifically, for the all-pairs shortest paths problem (APSP), we show that an exact solution can be computed in time $\tilde O\big(n^{2/3}\big)$ and that approximate solutions can be computed in time $\tilde Θ\big(\!\sqrt{n}\big)$. For the single-source shortest paths problem (SSSP), we show that an exact solution can be computed in time $\tilde O\big(\!\sqrt{\mathsf{SPD}}\big)$, where $\mathsf{SPD}$ denotes the shortest path diameter. We further show that a $\big(1\!+\!o(1)\big)$-approximate solution can be computed in time $\tilde O\big(n^{1/3}\big)$. Additionally, we show that for every constant $\varepsilon>0$, it is possible to compute an $O(1)$-approximate solution in time $\tilde O(n^\varepsilon)$. △ Less

Submitted 4 September, 2019; originally announced September 2019.

Faster Deterministic Distributed Coloring Through Recursive List Coloring

Authors: Fabian Kuhn

Abstract: We provide novel deterministic distributed vertex coloring algorithms. As our main result, we give a deterministic distributed algorithm to compute a $(Δ+1)$-coloring of an $n$-node graph with maximum degree $Δ$ in $2^{O(\sqrt{\logΔ})}\cdot\log n$ rounds. This improves on the best previously known time complexity for a large range of values of $Δ$. For graphs with arboricity $a$, we obtain a deter… ▽ More We provide novel deterministic distributed vertex coloring algorithms. As our main result, we give a deterministic distributed algorithm to compute a $(Δ+1)$-coloring of an $n$-node graph with maximum degree $Δ$ in $2^{O(\sqrt{\logΔ})}\cdot\log n$ rounds. This improves on the best previously known time complexity for a large range of values of $Δ$. For graphs with arboricity $a$, we obtain a deterministic distributed algorithm to compute a $(2+o(1))a$-coloring in time $2^{O(\sqrt{\log a})}\cdot\log^2 n$. Further, for graphs with bounded neighborhood independence, we show that a $(Δ+1)$-coloring can be computed more efficiently in time $2^{O(\sqrt{\logΔ})} + O(\log^* n)$. This in particular implies that also a $(2Δ-1)$-edge coloring can be computed deterministically in $2^{O(\sqrt{\logΔ})} + O(\log^* n)$ rounds, which improves the best known time bound for small values of $Δ$. All results even hold for the list coloring variants of the problems. As a consequence, we also obtain an improved deterministic $2^{O(\sqrt{\logΔ})}\cdot\log^3 n$-round algorithm for $Δ$-coloring non-complete graphs with maximum degree $Δ\geq 3$. Most of our algorithms only require messages of $O(\log n)$ bits (including the $(Δ+1)$-vertex coloring algorithms). Our main technical contribution is a recursive deterministic distributed list coloring algorithm to solve list coloring problems with lists of size $Δ^{1+o(1)}$. Given some list coloring problem and an orientation of the edges, we show how to recursively divide the global color space into smaller subspaces, assign one of the subspaces to each node of the graph, and compute a new edge orientation such that for each node, the list size to out-degree ratio degrades at most by a constant factor on each recursion level. △ Less

Submitted 8 July, 2019; originally announced July 2019.

Comments: 21 pages

On the Use of Randomness in Local Distributed Graph Algorithms

Authors: Mohsen Ghaffari, Fabian Kuhn

Abstract: We attempt to better understand randomization in local distributed graph algorithms by exploring how randomness is used and what we can gain from it: - We first ask the question of how much randomness is needed to obtain efficient randomized algorithms. We show that for all locally checkable problems for which polylog $n$-time randomized algorithms exist, there are such algorithms even if either (… ▽ More We attempt to better understand randomization in local distributed graph algorithms by exploring how randomness is used and what we can gain from it: - We first ask the question of how much randomness is needed to obtain efficient randomized algorithms. We show that for all locally checkable problems for which polylog $n$-time randomized algorithms exist, there are such algorithms even if either (I) there is a only a single (private) independent random bit in each polylog $n$-neighborhood of the graph, (II) the (private) bits of randomness of different nodes are only polylog $n$-wise independent, or (III) there are only polylog $n$ bits of global shared randomness (and no private randomness). - Second, we study how much we can improve the error probability of randomized algorithms. For all locally checkable problems for which polylog $n$-time randomized algorithms exist, we show that there are such algorithms that succeed with probability $1-n^{-2^{\varepsilon(\log\log n)^2}}$ and more generally $T$-round algorithms, for $T\geq$ polylog $n$, that succeed with probability $1-n^{-2^{\varepsilon\log^2T}}$. We also show that polylog $n$-time randomized algorithms with success probability $1-2^{-2^{\log^\varepsilon n}}$ for some $\varepsilon>0$ can be derandomized to polylog $n$-time deterministic algorithms. Both of the directions mentioned above, reducing the amount of randomness and improving the success probability, can be seen as partial derandomization of existing randomized algorithms. In all the above cases, we also show that any significant improvement of our results would lead to a major breakthrough, as it would imply significantly more efficient deterministic distributed algorithms for a wide class of problems. △ Less

Submitted 2 June, 2019; originally announced June 2019.

Comments: 21 pages, conference version in ACM Symp. on Principles of Distributed Computing (PODC) 2019

On the Complexity of Distributed Splitting Problems

Authors: Philipp Bamberger, Mohsen Ghaffari, Fabian Kuhn, Yannic Maus, Jara Uitto

Abstract: One of the fundamental open problems in the area of distributed graph algorithms is the question of whether randomization is needed for efficient symmetry breaking. While there are fast, $\text{poly}\log n$-time randomized distributed algorithms for all of the classic symmetry breaking problems, for many of them, the best deterministic algorithms are almost exponentially slower. The following basi… ▽ More One of the fundamental open problems in the area of distributed graph algorithms is the question of whether randomization is needed for efficient symmetry breaking. While there are fast, $\text{poly}\log n$-time randomized distributed algorithms for all of the classic symmetry breaking problems, for many of them, the best deterministic algorithms are almost exponentially slower. The following basic local splitting problem, which is known as the \emph{weak splitting} problem takes a central role in this context: Each node of a graph $G=(V,E)$ has to be colored red or blue such that each node of sufficiently large degree has at least one node of each color among its neighbors. Ghaffari, Kuhn, and Maus [STOC '17] showed that this seemingly simple problem is complete w.r.t. the above fundamental open question in the following sense: If there is an efficient $\text{poly}\log n$-time determinstic distributed algorithm for weak splitting, then there is such an algorithm for all locally checkable graph problems for which an efficient randomized algorithm exists. In this paper, we investigate the distributed complexity of weak splitting and some closely related problems. E.g., we obtain efficient algorithms for special cases of weak splitting, where the graph is nearly regular. In particular, we show that if $δ$ and $Δ$ are the minimum and maximum degrees of $G$ and if $δ=Ω(\log n)$, weak splitting can be solved deterministically in time $O\big(\fracΔδ\cdot\text{poly}(\log n)\big)$. Further, if $δ= Ω(\log\log n)$ and $Δ\leq 2^{\varepsilonδ}$, there is a randomized algorithm with time complexity $O\big(\fracΔδ\cdot\text{poly}(\log\log n)\big)$. △ Less

Submitted 27 May, 2019; originally announced May 2019.

Deterministic Distributed Dominating Set Approximation in the CONGEST Model

Authors: Janosch Deurer, Fabian Kuhn, Yannic Maus

Abstract: We develop deterministic approximation algorithms for the minimum dominating set problem in the CONGEST model with an almost optimal approximation guarantee. For $ε>1/{\text{poly}}\log Δ$ we obtain two algorithms with approximation factor $(1+ε)(1+\ln (Δ+1))$ and with runtimes $2^{O(\sqrt{\log n \log\log n})}$ and $O(Δ\cdot\text{poly}\log Δ+\text{poly}\log Δ\log^{*} n)$, respectively. Further we s… ▽ More We develop deterministic approximation algorithms for the minimum dominating set problem in the CONGEST model with an almost optimal approximation guarantee. For $ε>1/{\text{poly}}\log Δ$ we obtain two algorithms with approximation factor $(1+ε)(1+\ln (Δ+1))$ and with runtimes $2^{O(\sqrt{\log n \log\log n})}$ and $O(Δ\cdot\text{poly}\log Δ+\text{poly}\log Δ\log^{*} n)$, respectively. Further we show how dominating set approximations can be deterministically transformed into a connected dominating set in the \CONGEST model while only increasing the approximation guarantee by a constant factor. This results in a deterministic $O(\log Δ)$-approximation algorithm for the minimum connected dominating set with time complexity $2^{O(\sqrt{\log n \log\log n})}$. △ Less

Submitted 23 December, 2019; v1 submitted 26 May, 2019; originally announced May 2019.

Comments: added better reasoning in the proof of Lemma 3.12