English
Related papers

Related papers: Monotone Contractions

200 papers

Fixpoints are ubiquitous in computer science as they play a central role in providing a meaning to recursive and cyclic definitions. Bisimilarity, behavioural metrics, termination probabilities for Markov chains and stochastic games are…

Logic in Computer Science · Computer Science 2025-07-23 Paolo Baldan , Richard Eggert , Barbara König , Timo Matt , Tommaso Padoan

We study dynamic $(1-\epsilon)$-approximate rounding of fractional matchings -- a key ingredient in numerous breakthroughs in the dynamic graph algorithms literature. Our first contribution is a surprisingly simple deterministic rounding…

Data Structures and Algorithms · Computer Science 2024-02-26 Sayan Bhattacharya , Peter Kiss , Aaron Sidford , David Wajc

Succinct representations of a graph have been objects of central study in computer science for decades. In this paper, we study the operation called \emph{Distance Preserving Graph Contractions}, which was introduced by Bernstein et al.…

Computational Complexity · Computer Science 2019-12-03 Siddhartha Jain

We study the problem of maximizing a monotone submodular function subject to a matroid independence constraint. For more than a decade, a rich body of work has studied this problem. Initially, a tight approximation of $ (1-\frac{1}{e})$ was…

Data Structures and Algorithms · Computer Science 2026-05-06 Amit Ganz Rozenman , Ariel Kulik , Roy Schwartz , Mohit Singh

This paper considers stochastic first-order algorithms for convex-concave minimax problems of the form $\min_{\bf x}\max_{\bf y}f(\bf x, \bf y)$, where $f$ can be presented by the average of $n$ individual components which are $L$-average…

Optimization and Control · Mathematics 2022-02-01 Luo Luo , Guangzeng Xie , Tong Zhang , Zhihua Zhang

Convergence to a saddle point for convex-concave functions has been studied for decades, while recent years has seen a surge of interest in non-convex (zero-sum) smooth games, motivated by their recent wide applications. It remains an…

Machine Learning · Computer Science 2022-02-04 Guojun Zhang , Pascal Poupart , Yaoliang Yu

In this paper, we propose a class of penalty methods with stochastic approximation for solving stochastic nonlinear programming problems. We assume that only noisy gradients or function values of the objective function are available via…

Optimization and Control · Mathematics 2016-05-20 Xiao Wang , Shiqian Ma , Ya-xiang Yuan

Makespan minimization on unrelated machines is a classic problem in approximation algorithms. No polynomial time $(2-\delta)$-approximation algorithm is known for the problem for constant $\delta> 0$. This is true even for certain special…

Data Structures and Algorithms · Computer Science 2014-10-29 Deeparnab Chakrabarty , Sanjeev Khanna , Shi Li

We study minimization of a structured objective function, being the sum of a smooth function and a composition of a weakly convex function with a linear operator. Applications include image reconstruction problems with regularizers that…

Optimization and Control · Mathematics 2021-06-01 Axel Böhm , Stephen J. Wright

Here, we establish the existence of weak solutions to a wide class of time-dependent monotone mean-field games (MFGs). These MFGs are given as a system of degenerate parabolic equations with initial and terminal conditions. To construct…

Analysis of PDEs · Mathematics 2020-01-14 Rita Ferreira , Diogo Gomes , Teruo Tada

Countless science and engineering applications in multi-objective optimization (MOO) necessitate that decision-makers (DMs) select a Pareto-optimal (PO) solution which aligns with their preferences. Evaluating individual solutions is often…

We study a catching-up algorithm for a class of differential inclusions driven by maximal monotone operators with continuous perturbations. Using a decomposition of the monotone operator into the closed convex hull of its single-valued part…

Optimization and Control · Mathematics 2026-04-14 Tan H. Cao , Hassan Saoud

The most important open problem in Monotone Operator Theory concerns the maximal monotonicity of the sum of two maximally monotone operators provided that Rockafellar's constraint qualification holds. In this paper, we prove the maximal…

Functional Analysis · Mathematics 2010-10-22 Liangjin Yao

Congestion games constitute an important class of games in which computing an exact or even approximate pure Nash equilibrium is in general {\sf PLS}-complete. We present a surprisingly simple polynomial-time algorithm that computes…

Computer Science and Game Theory · Computer Science 2011-07-14 Ioannis Caragiannis , Angelo Fanelli , Nick Gravin , Alexander Skopalik

We study the problem of finding approximate first-order stationary points in optimization problems of the form $\min_{x \in X} \max_{y \in Y} f(x,y)$, where the sets $X,Y$ are convex and $Y$ is compact. The objective function $f$ is smooth,…

Optimization and Control · Mathematics 2021-10-11 Dmitrii M. Ostrovskii , Babak Barazandeh , Meisam Razaviyayn

We develop fixed-point algorithms for the approximation of structured matrices with rank penalties. In particular we use these fixed-point algorithms for making approximations by sums of exponentials, or frequency estimation. For the basic…

Numerical Analysis · Mathematics 2016-01-07 Fredrik Andersson , Marcus Carlsson

Given $n$ points in a $d$ dimensional Euclidean space, the Minimum Enclosing Ball (MEB) problem is to find the ball with the smallest radius which contains all $n$ points. We give a $O(nd\Qcal/\sqrt{\epsilon})$ approximation algorithm for…

Computational Geometry · Computer Science 2010-09-16 Ankan Saha , S. V. N. Vishwanathan , Xinhua Zhang

We study the extent to which it is possible to approximate the optimal value of a Unique Games instance in Fixed-Point Logic with Counting (FPC). Formally, we prove lower bounds against the accuracy of FPC-interpretations that map Unique…

Logic in Computer Science · Computer Science 2024-08-07 Jamie Tucker-Foltz

The vector field of a mixed-monotone system is decomposable via a decomposition function into increasing (cooperative) and decreasing (competitive) components, and this decomposition allows for, e.g., efficient computation of reachable sets…

Systems and Control · Electrical Eng. & Systems 2020-05-25 Matthew Abate , Maxence Dutreix , Samuel Coogan

Each non-zero point in $\mathbb{R}^d$ identifies a closest point $x$ on the unit sphere $\mathbb{S}^{d-1}$. We are interested in computing an $\epsilon$-approximation $y \in \mathbb{Q}^d$ for $x$, that is exactly on $\mathbb{S}^{d-1}$ and…

Computational Geometry · Computer Science 2017-07-27 Daniel Bahrdt , Martin P. Seybold