English
Related papers

Related papers: Is a LOCAL algorithm computable?

200 papers

The immediate past has witnessed an increased amount of interest in local algorithms, i.e., constant time distributed algorithms. In a recent survey of the topic (Suomela, ACM Computing Surveys, 2013), it is argued that local algorithms…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-08-27 Antti Kuusisto

While graphs and abstract data structures can be large and complex, practical instances are often regular or highly structured. If the instance has sufficient structure, we might hope to compress the object into a more succinct…

Computational Complexity · Computer Science 2024-12-02 Shreya Gupta , Boyang Huang , Russell Impagliazzo , Stanley Woo , Christopher Ye

Non-local quantum computation (NLQC) replaces a local interaction between two systems with a single round of communication and shared entanglement. Despite many partial results, it is known that a characterization of entanglement cost in at…

Quantum Physics · Physics 2025-06-02 Andreas Bluhm , Simon Höfer , Alex May , Mikka Stasiuk , Philip Verduyn Lunel , Henry Yuen

A local algorithm is a distributed algorithm that completes after a constant number of synchronous communication rounds. We present local approximation algorithms for the minimum dominating set problem and the maximum matching problem in…

Distributed, Parallel, and Cluster Computing · Computer Science 2010-02-02 Matti Åstrand , Valentin Polishchuk , Joel Rybicki , Jukka Suomela , Jara Uitto

Recently, Brandt et al. [STOC'16] proved a lower bound for the distributed Lov\'asz Local Lemma, which has been conjectured to be tight for sufficiently relaxed LLL criteria by Chang and Pettie [FOCS'17]. At the heart of their result lies a…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-02-27 Sebastian Brandt

Motivated by applications of large-scale graph clustering, we study random-walk-based LOCAL algorithms whose running times depend only on the size of the output cluster, rather than the entire graph. All previously known such algorithms…

Data Structures and Algorithms · Computer Science 2013-11-08 Zeyuan Allen Zhu , Silvio Lattanzi , Vahab Mirrokni

A major issue of locally repairable codes is their robustness. If a local repair group is not able to perform the repair process, this will result in increasing the repair cost. Therefore, it is critical for a locally repairable code to…

Information Theory · Computer Science 2019-04-09 Ali Tebbi , Terence H. Chan , Chi Wan Sung

Linear temporal logic (LTL) is a specification language for finite sequences (called traces) widely used in program verification, motion planning in robotics, process mining, and many other areas. We consider the problem of learning LTL…

Artificial Intelligence · Computer Science 2026-01-22 Ritam Raha , Rajarshi Roy , Nathanaël Fijalkow , Daniel Neider

flip is an extremely simple and maximally local classical decoder which has been used to great effect in certain classes of classical codes. When applied to quantum codes there exist constant-weight errors (such as half of a stabiliser)…

Quantum Physics · Physics 2023-08-30 T. R. Scruby , K. Nemoto

We consider the sets of dimensions for which there is an optimal sphere packing with special regularity properties (respectively, a lattice, or a periodic set with a given bound on the number of translations, or an arbitrary periodic set).…

Information Theory · Computer Science 2022-12-13 Yuri Manin , Matilde Marcolli

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…

Data Structures and Algorithms · Computer Science 2019-06-04 Mohsen Ghaffari , Fabian Kuhn

In three-dimensional computational topology, the theory of normal surfaces is a tool of great theoretical and practical significance. Although this theory typically leads to exponential time algorithms, very little is known about how these…

Geometric Topology · Mathematics 2018-10-24 Benjamin A. Burton , João Paixão , Jonathan Spreer

Locally repairable codes (LRCs) are error correcting codes used in distributed data storage. A traditional approach is to look for codes which simultaneously maximize error tolerance and minimize storage space consumption. However, this…

Information Theory · Computer Science 2015-12-21 Antti Pöllänen

Error-correcting codes that admit local decoding and correcting algorithms have been the focus of much recent research due to their numerous theoretical and practical applications. An important goal is to obtain the best possible tradeoffs…

Data Structures and Algorithms · Computer Science 2018-09-19 Jeremiah Blocki , Venkata Gandikota , Elena Grigorescu , Samson Zhou

The classic lower bound of Kuhn, Moscibroda and Wattenhofer [JACM 2016] states that approximate maximum matching and approximate vertex cover (among other problems) in the LOCAL model require $\Omega(\min\{\sqrt{\frac{\log n}{\log\log n}},…

Data Structures and Algorithms · Computer Science 2026-05-14 Peter Davies-Peck

The topological properties of a set have a strong impact on its computability properties. A striking illustration of this idea is given by spheres and closed manifolds: if a set $X$ is homeomorphic to a sphere or a closed manifold, then any…

Logic · Mathematics 2022-02-11 Djamel Eddine Amir , Mathieu Hoyrup

Local Convertibility refers to the possibility of transforming a given state into a target one, just by means of LOCC with respect to a given bipartition of the system and it is possible if and only if all the Renyi-entropies of the initial…

Strongly Correlated Electrons · Physics 2022-08-15 Luigi Amico , Vladimir Korepin , Alioscia Hamma , Salvatore Marco Giampaolo , Fabio Franchini

The locally repairable codes (LRCs) were introduced to correct erasures efficiently in distributed storage systems. LRCs are extensively studied recently. In this paper, we first deal with the open case remained in \cite{q} and derive an…

Information Theory · Computer Science 2015-06-17 Jun Zhang , Xin Wang , Gennian Ge

In this work, we give two results that put new limits on distributed quantum advantage in the context of the LOCAL model of distributed computing. First, we show that there is no distributed quantum advantage for any linear program. Put…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-30 Alkida Balliu , Corinna Coupette , Antonio Cruciani , Francesco d'Amore , Massimo Equi , Henrik Lievonen , Augusto Modanese , Dennis Olivetti , Jukka Suomela

We show that locally repairable codes (LRCs) can be list decoded efficiently beyond the Johnson radius for a large range of parameters by utilizing the local error correction capabilities. The new decoding radius is derived and the…

Information Theory · Computer Science 2018-05-09 Lukas Holzbaur , Antonia Wachter-Zeh