English
Related papers

Related papers: Proving the Herman-Protocol Conjecture

200 papers

This paper studies the parameter tuning problem of positive linear systems for optimizing their stability properties. We specifically show that, under certain regularity assumptions on the parametrization, the problem of finding the…

Optimization and Control · Mathematics 2019-11-26 Masaki Ogura , Masako Kishida , James Lam

In this work, we study online submodular maximization, and how the requirement of maintaining a stable solution impacts the approximation. In particular, we seek bounds on the best-possible approximation ratio that is attainable when the…

Data Structures and Algorithms · Computer Science 2024-12-04 Paul Dütting , Federico Fusco , Silvio Lattanzi , Ashkan Norouzi-Fard , Ola Svensson , Morteza Zadimoghaddam

Designing algorithms for balanced allocation of clients to servers in dynamic settings is a challenging problem for a variety of reasons. Both servers and clients may be added and/or removed from the system periodically, and the main…

Data Structures and Algorithms · Computer Science 2017-07-28 Vahab Mirrokni , Mikkel Thorup , Morteza Zadimoghaddam

Stablecoins face an unresolved trilemma of balancing decentralization, stability, and regulatory compliance. We present a hybrid stabilization protocol that combines crypto-collateralized reserves, algorithmic futures contracts, and…

Cryptography and Security · Computer Science 2025-06-09 Shengwei You , Andrey Kuehlkamp , Jarek Nabrzyski

We revisit the majority problem in the population protocol communication model, as first studied by Angluin et al. (Distributed Computing 2008). We consider a more general version of this problem known as plurality consensus, which has…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-05-06 Antoine El-Hayek , Robert Elsässer , Stefan Schmid

We propose a general technique for extracting a larger set of stable information from persistent homology computations than is currently done. The persistent homology algorithm is usually viewed as a procedure which starts with a filtered…

Computational Geometry · Computer Science 2021-01-29 Paul Bendich , Peter Bubenik , Alexander Wagner

We propose a novel framework for analyzing convergence rates of stochastic optimization algorithms with adaptive step sizes. This framework is based on analyzing properties of an underlying generic stochastic process, in particular by…

Optimization and Control · Mathematics 2018-10-23 Jose Blanchet , Coralia Cartis , Matt Menickelly , Katya Scheinberg

In 2024, Kliuchnikov and Sch\"onnenbeck showed a connection between the Barnes Wall lattices, stabilizer states and Clifford operations. In this work, we study their results and relate them to the problem of lower bounding stabilizer ranks.…

Quantum Physics · Physics 2025-11-06 Amolak Ratan Kalra , Pulkit Sinha

In the stabilizing consensus problem, each agent of a networked system has an input value and is repeatedly writing an output value; it is required that eventually all the output values stabilize to the same value which, moreover, must be…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-06-24 Bernadette Charron-Bost , Shlomo Moran

A population protocol can be viewed as a sequence of pairwise interactions of $n$ agents (nodes). During one interaction, two agents selected uniformly at random update their states by applying a specified deterministic transition function.…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-06-12 Petra Berenbrink , Robert Elsässer , Tom Friedetzky , Dominik Kaaser , Peter Kling , Tomasz Radzik

In this paper, we analyze the generalization performance of the Iterative Hard Thresholding (IHT) algorithm widely used for sparse recovery problems. The parameter estimation and sparsity recovery consistency of IHT has long been known in…

Machine Learning · Statistics 2022-03-18 Xiao-Tong Yuan , Ping Li

Inspired by the recent work [28] on the statistical robustness of empirical risks in reproducing kernel Hilbert space (RKHS) where the training data are potentially perturbed or even corrupted, we take a step further in this paper to…

Optimization and Control · Mathematics 2024-06-18 Sainan Zhang , Huifu Xu , Hailin Sun

In this paper, we develop novel perturbation bounds for the high-order orthogonal iteration (HOOI) [DLDMV00b]. Under mild regularity conditions, we establish blockwise tensor perturbation bounds for HOOI with guarantees for both tensor…

Statistics Theory · Mathematics 2021-06-08 Yuetian Luo , Garvesh Raskutti , Ming Yuan , Anru R. Zhang

This paper discusses a general and useful stability principle which, roughly speaking, says that given a uniformly continuous function defined on an arbitrary metric space, if the function is bounded on the constraint set and we slightly…

Optimization and Control · Mathematics 2020-09-04 Daniel Reem , Simeon Reich , Alvaro De Pierro

It has been proven that, when normalized by $n$, the expected length of a longest common subsequence of $d$ random strings of length $n$ over an alphabet of size $\sigma$ converges to some constant that depends only on $d$ and $\sigma$.…

Data Structures and Algorithms · Computer Science 2024-07-16 George T. Heineman , Chase Miller , Daniel Reichman , Andrew Salls , Gábor Sárközy , Duncan Soiffer

We propose an algorithm to restrict the switching signals of a constrained switched system in order to guarantee its stability, while at the same time attempting to keep the largest possible set of allowed switching signals. Our work is…

Optimization and Control · Mathematics 2018-09-11 Cláudio Gomes , Raphaël M. Jungers , Benoît Legat , Hans Vangheluwe

We study the fundamental problem of high-dimensional mean estimation in a robust model where a constant fraction of the samples are adversarially corrupted. Recent work gave the first polynomial time algorithms for this problem with…

Machine Learning · Computer Science 2018-11-26 Yu Cheng , Ilias Diakonikolas , Rong Ge

This paper focuses on compact deterministic self-stabilizing solutions for the leader election problem. When the protocol is required to be \emph{silent} (i.e., when communication content remains fixed from some point in time during any…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-01-21 Lélia Blin , Sébastien Tixeuil

The main goal of this paper is to provide a point-based expression for the Hoffman constant of the argmin mapping in linear optimization, understood as the sharp Lipschitz constant restricted to its domain. The work is mainly developed in…

Optimization and Control · Mathematics 2026-05-21 J. Camacho , M. J. Cánovas , H. Gfrerer , J. Parra

We prove that the classic approximation guarantee for the higher-order singular value decomposition (HOSVD) is tight by constructing a tensor for which HOSVD achieves an approximation ratio of $N/(1+\varepsilon)$, for any $\varepsilon > 0$.…

Data Structures and Algorithms · Computer Science 2025-08-12 Matthew Fahrbach , Mehrdad Ghadiri
‹ Prev 1 4 5 6 7 8 10 Next ›