English
Related papers

Related papers: Proving the Herman-Protocol Conjecture

200 papers

To deal with the ill-posed nature of the inverse heat conduction problem (IHCP), the regularization parameter alpha can be incorporated into a minimization problem, which is known as Tikhonov regularization method, a popular technique to…

Numerical Analysis · Mathematics 2021-10-05 C. Ahn , C. Park , DI. Park , JG. Kim

One way of improving the behavior of finite element schemes for classical, time-dependent Maxwell's equations, is to render them from their hyperbolic character to elliptic form. This paper is devoted to the study of the stabilized linear…

Numerical Analysis · Mathematics 2024-09-23 M. Asadzadeh , L. Beilina

A distributed algorithm is self-stabilizing if after faults and attacks hit the system and place it in some arbitrary global state, the systems recovers from this catastrophic situation without external intervention in finite time.…

Data Structures and Algorithms · Computer Science 2009-09-29 Samuel Bernard , Stéphane Devismes , Maria Gradinariu Potop-Butucaru , Sébastien Tixeuil

Physics-informed neural solvers offer a promising route to model-based reinforcement learning in continuous time, where optimal feedback synthesis is governed by Hamilton--Jacobi--Bellman (HJB) equations. Practical implementations often…

Machine Learning · Computer Science 2026-05-11 Minseok Kim , Yeongjong Kim , Namkyeong Cho , Yeoneung Kim

Sinkhorn algorithm is the de-facto standard approximation algorithm for optimal transport, which has been applied to a variety of applications, including image processing and natural language processing. In theory, the proof of its…

Data Structures and Algorithms · Computer Science 2025-01-14 Kazuki Watanabe , Noboru Isobe

In this paper, we establish optimal regularity for H\"older continuous Hamiltonian stationary Lagrangian graphs in $\mathbb{C}^n$. We prove that such a graph is smooth whenever its H\"older exponent is strictly larger than $\frac{1}{3}$ and…

Analysis of PDEs · Mathematics 2025-10-28 Arunima Bhattacharya , W. Jacob Ogden

We study the stabilization of an unpredictable linear control system where the controller must act based on a rate-limited observation of the state. More precisely, we consider the system $X_{n+1} = A_n X_n + W_n - U_n$, where the $A_n$'s…

Systems and Control · Computer Science 2018-05-16 Victoria Kostina , Yuval Peres , Gireeja Ranade , Mark Sellke

In frequency-limited model order reduction, the objective is to maintain the frequency response of the original system within a specified frequency range in the reduced-order model. In this paper, a mathematical expression for the…

Systems and Control · Electrical Eng. & Systems 2025-04-22 Umair Zulfiqar , Zhi-Hua Xiao , Qiu-Yan Song , Mohammad Monir Uddin , Victor Sreeram

We propose a combinatorial algorithm to compute the Hoffman constant of a system of linear equations and inequalities. The algorithm is based on a characterization of the Hoffman constant as the largest of a finite canonical collection of…

Optimization and Control · Mathematics 2018-04-24 Javier Pena , Juan Vera , Luis Zuluaga

Speed-robust scheduling is the following two-stage problem of scheduling $n$ jobs on $m$ uniformly related machines. In the first stage, the algorithm receives the value of $m$ and the processing times of $n$ jobs; it has to partition the…

Data Structures and Algorithms · Computer Science 2024-07-17 Josef Minařík , Jiří Sgall

We combine the fields of heuristic optimization and optimal stopping. We propose a strategy for benchmarking randomized optimization algorithms that minimizes the expected total cost for obtaining a good solution with an optimal number of…

Quantum Physics · Physics 2016-12-07 Walter Vinci , Daniel A. Lidar

In this paper we improve the approximation ratio for the problem of scheduling packets on line networks with bounded buffers, where the aim is that of maximizing the throughput. Each node in the network has a local buffer of bounded size…

Data Structures and Algorithms · Computer Science 2020-09-30 Guy Even , Moti Medina , Adi Rosén

We develop a classical well-posedness and regularity theory on a finite connected weighted graph for an extended mean field game system, its associated master equation, and a Hamilton-Jacobi- Bellman equation on the probability simplex, all…

Analysis of PDEs · Mathematics 2026-05-08 Wilfrid Gangbo , Sebastian Munoz , Jeremy Wu , Zhaoyu Zhang

Estimation of the degree of stability and the bounds of solutions to non-autonomous nonlinear systems present major concerns in numerous applied problems. Yet, current techniques are frequently yield overconservative conditions which are…

Dynamical Systems · Mathematics 2020-12-29 Mark A. Pinsky

We present a scheme to convert self-stabilizing algorithms that use randomization during and following convergence to self-stabilizing algorithms that use randomization only during convergence. We thus reduce the number of random bits from…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-05-13 Shlomi Dolev , Nir Tzachar

The best arm identification problem requires identifying the best alternative (i.e., arm) in active experimentation using the smallest number of experiments (i.e., arm pulls), which is crucial for cost-efficient and timely decision-making…

Machine Learning · Computer Science 2025-06-17 Kapilan Balagopalan , Tuan Ngo Nguyen , Yao Zhao , Kwang-Sung Jun

The stabilizer rank of a quantum state $\psi$ is the minimal $r$ such that $\left| \psi \right \rangle = \sum_{j=1}^r c_j \left|\varphi_j \right\rangle$ for $c_j \in \mathbb{C}$ and stabilizer states $\varphi_j$. The running time of several…

Quantum Physics · Physics 2022-03-09 Shir Peleg , Amir Shpilka , Ben Lee Volk

Computing an optimal cycle in a given homology class, also referred to as the homology localization problem, is known to be an NP-hard problem in general. Furthermore, there is currently no known optimality criterion that localizes classes…

Computational Geometry · Computer Science 2024-06-06 Amritendu Dhar , Vijay Natarajan , Abhishek Rathod

We consider stability of scheduled multiaccess message communication with random coding and joint maximum-likehood decoding of messages. The framework we consider here models both the random message arrivals and the subsequent reliable…

Information Theory · Computer Science 2007-07-13 KCV Kalyanarama Sesha Sayee , Utpal Mukherji

The problem of total-order (uniform reliable) broadcast is fundamental in fault-tolerant distributed computing since it abstracts a broad set of problems requiring processes to uniformly deliver messages in the same order in which they were…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-09-30 Oskar Lundström , Michel Raynal , Elad Michael Schiller