English
Related papers

Related papers: Improved Examples of Non-Termination for Ruppert's…

200 papers

Extrapolation is a well-known technique for solving convex optimization and variational inequalities and recently attracts some attention for non-convex optimization. Several recent works have empirically shown its success in some machine…

Optimization and Control · Mathematics 2019-02-06 Yi Xu , Zhuoning Yuan , Sen Yang , Rong Jin , Tianbao Yang

This paper is concerned with normal approximation under relaxed moment conditions using Stein's method. We obtain the explicit rates of convergence in the central limit theorem for (i) nonlinear statistics with finite absolute moment of…

Probability · Mathematics 2021-06-16 Nguyen Tien Dung

In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair steps are relatively terminating with respect to R. We further…

Logic in Computer Science · Computer Science 2009-10-30 Nao Hirokawa , Aart Middeldorp

In two recent papers we introduced some new techniques for constructing an extension of a probability-preserving system $T:\mathbb{Z}^d\curvearrowright (X,\mu)$ that enjoys certain desirable properties in connexion with the asymptotic…

Dynamical Systems · Mathematics 2014-09-09 Tim Austin

While there have been many results on lower bounds for Max Cut in unweighted graphs, there are only few results for lower bounds for Max Cut in weighted graphs. In this paper, we launch an extensive study of lower bounds for Max Cut in…

Combinatorics · Mathematics 2024-08-13 Gregory Gutin , Anders Yeo

Let $G$ be a finite graph of genus $g$. Let $d$ and $r$ be non-negative integers such that the Brill-Noether number is non-negative. It is known that for some $k$ sufficiently large, the $k$-th homothetic refinement $G^{(k)}$ of $G$ admits…

Algebraic Geometry · Mathematics 2026-04-07 Karl Christ , Qixiao Ma

This article derives lower bounds on the convergence rate of continuous-time gradient-based optimization algorithms. The algorithms are subjected to a time-normalization constraint that avoids a reparametrization of time in order to make…

Optimization and Control · Mathematics 2020-08-04 Michael Muehlebach , Michael I. Jordan

We revisit the standard ``telescoping sum'' argument ubiquitous in the final steps of analyzing evaluation complexity of algorithms for smooth nonconvex optimization, and obtain a refined formulation of the resulting bound as a function of…

Optimization and Control · Mathematics 2024-08-20 Serge Gratton , Chee-Khian Sim , Philippe L. Toint

We consider the spectral structure of indefinite second order boundary-value problems on graphs. A variational formulation for such boundary-value problems on graphs is given and we obtain both full and half-range completeness results. This…

Spectral Theory · Mathematics 2017-07-05 Sonja Currie , Bruce Alastair Watson

The angular resolution of a planar straight-line drawing of a graph is the smallest angle formed by two edges incident to the same vertex. Garg and Tamassia (ESA '94) constructed a family of planar graphs with maximum degree $d$ that have…

Computational Geometry · Computer Science 2023-09-18 Hiroyuki Miyata

Codes defined on graphs and their properties have been subjects of intense recent research. On the practical side, constructions for capacity-approaching codes are graphical. On the theoretical side, codes on graphs provide several…

Information Theory · Computer Science 2009-05-15 Srimathy Srinivasan , Andrew Thangaraj

We provide two constructions for $t$ edge-disjoint maximal outerplanar graphs on every number of $n \geq 4t$ vertices. The bound on the minimum number of vertices is tight. These constructions yield the existence of optimal…

Combinatorics · Mathematics 2026-01-12 Yuto Okada , Yota Otachi , Lena Volk

We present the new version of the Loop Acceleration Tool (LoAT), a powerful tool for proving non-termination and worst-case lower bounds for programs operating on integers. It is based on a novel calculus for loop acceleration, i.e.,…

Logic in Computer Science · Computer Science 2022-05-17 Florian Frohn , Jürgen Giesl

The total angular resolution of a straight-line drawing is the minimum angle between two edges of the drawing. It combines two properties contributing to the readability of a drawing: the angular resolution, which is the minimum angle…

Computational Geometry · Computer Science 2022-10-11 Oswin Aichholzer , Matias Korman , Yoshio Okamoto , Irene Parada , Daniel Perz , André van Renssen , Birgit Vogtenhuber

In this paper we study minimum cut and maximum flow problems on planar graphs, both in static and in dynamic settings. First, we present an algorithm that given an undirected planar graph computes the minimum cut between any two given…

Data Structures and Algorithms · Computer Science 2010-11-23 Giuseppe F. Italiano , Piotr Sankowski

Gradient clipping is a commonly used technique to stabilize the training process of neural networks. A growing body of studies has shown that gradient clipping is a promising technique for dealing with the heavy-tailed behavior that emerged…

Machine Learning · Computer Science 2023-07-26 Shaojie Li , Yong Liu

We study the Minimum Crossing Number problem: given an $n$-vertex graph $G$, the goal is to find a drawing of $G$ in the plane with minimum number of edge crossings. This is one of the central problems in topological graph theory, that has…

Data Structures and Algorithms · Computer Science 2010-12-02 Julia Chuzhoy

The diameter, radius and eccentricities are natural graph parameters. While these problems have been studied extensively, there are no known dynamic algorithms for them beyond the ones that follow from trivial recomputation after each…

Data Structures and Algorithms · Computer Science 2019-12-18 Bertie Ancona , Monika Henzinger , Liam Roditty , Virginia Vassilevska Williams , Nicole Wein

Treewidth is an important structural graph parameter that quantifies how closely a graph resembles a tree-like structure. It has applications in many algorithmic and combinatorial problems. In this paper, we study the treewidth of outer…

Discrete Mathematics · Computer Science 2025-12-01 Rafał Pyzik

In this paper we consider nonlinear problems with an operator depending only on the deformation tensor. We consider the class of operators derived from a potential and with $(p,\delta)$ structure, for $1<p\leq 2$ and for all $\delta\geq0$.…

Analysis of PDEs · Mathematics 2021-12-24 Luigi C. Berselli , Michael Růžička
‹ Prev 1 8 9 10 Next ›