English
Related papers

Related papers: Exponential Convergence Bounds using Integral Quad…

200 papers

The implicit boundary integral method (IBIM) provides a framework to construct quadrature rules on regular lattices for integrals over irregular domain boundaries. This work provides a systematic error analysis for IBIMs on uniform…

Numerical Analysis · Mathematics 2023-12-14 Yimin Zhong , Kui Ren , Olof Runborg , Richard Tsai

Exponential Runge-Kutta methods are a well-established tool for the numerical integration of parabolic evolution equations. However, these schemes are typically developed under the assumption of homogeneous boundary conditions. In this…

Numerical Analysis · Mathematics 2025-10-27 Carlos Arranz-Simón , Alexander Ostermann

In this paper, we delve into the intricacies of boundary stabilization for the linearized KP-II equation within the constraints of a bounded domain, a phenomenon known as ``critical length." Our primary aim is to design a feedback law that…

Analysis of PDEs · Mathematics 2025-04-09 F. A. Gallego , J. R. Muñoz

A classical method for risk-sensitive nonlinear control is the iterative linear exponential quadratic Gaussian algorithm. We present its convergence analysis from a first-order optimization viewpoint. We identify the objective that the…

Optimization and Control · Mathematics 2019-10-21 Vincent Roulet , Maryam Fazel , Siddhartha Srinivasa , Zaid Harchaoui

This second article in a two-part series (following [arXiv:2105.02865], listed here as \cite{L}) proves optimal pointwise decay rates for the quintic defocusing wave equation with large initial data on nonstationary spacetimes, and both the…

Analysis of PDEs · Mathematics 2022-05-27 Shi-Zhuo Looi

This paper studies exponential stability properties of a class of two-dimensional (2D) systems called differential repetitive processes (DRPs). Since a distinguishing feature of DRPs is that the problem domain is bounded in the "time"…

Dynamical Systems · Mathematics 2017-10-16 Berk Altın , Kira Barton

We introduce a novel framework for implementing error-correction in constrained systems. The main idea of our scheme, called Quantized-Constraint Concatenation (QCC), is to employ a process of embedding the codewords of an error-correcting…

Information Theory · Computer Science 2023-02-07 Dor Elimelech , Tom Meyerovitch , Moshe Schwartz

We study boundary value problems for degenerate elliptic equations and systems with square integrable boundary data. We can allow for degeneracies in the form of an $A_{2}$ weight. We obtain representations and boundary traces for solutions…

Classical Analysis and ODEs · Mathematics 2014-04-16 Pascal Auscher , Andreas Rosén , David Rule

IC3, a well-known model checker, proves a property of a transition system by building a sequence of formulas $F_0,\dots,F_k$. Formula $F_i$, $0 \leq i \leq k$ over-approximates the set of states reachable in at most $i$ transitions. The…

Logic in Computer Science · Computer Science 2018-10-19 Eugene Goldberg

We consider the edge-triangle model, a two-parameter family of exponential random graphs in which dependence between edges is introduced through triangles. In the so-called replica symmetric regime, the limiting free energy exists together…

Probability · Mathematics 2023-01-31 Alessandra Bianchi , Francesca Collet , Elena Magnanini

We study the ergodic and statistical properties of a class of maps of the circle and of the interval of Lorenz type which present indifferent fixed points and points with unbounded derivative. These maps have been previously investigated in…

Dynamical Systems · Mathematics 2008-12-16 Giampaolo Cristadoro , Nicolai Haydn , Philippe Marie , Sandro Vaienti

This paper concerns integral varifolds of arbitrary dimension in an open subset of Euclidean space satisfying integrability conditions on their first variation. Firstly, the study of pointwise power decay rates almost everywhere of the…

Differential Geometry · Mathematics 2017-05-26 Sławomir Kolasiński , Ulrich Menne

We propose a method to outer bound forward reachable sets on finite horizons for uncertain nonlinear systems with polynomial dynamics. This method makes use of time-dependent polynomial storage functions that satisfy appropriate dissipation…

Systems and Control · Electrical Eng. & Systems 2020-05-18 He Yin , Andrew Packard , Murat Arcak , Peter Seiler

In addition to well-motivated scenarios like supersymmetric particles, the so-called exotic matter (quirky matter, hidden valley models, etc.) can show up at the LHC and ILC, by exploring the spectroscopy of high mass levels and decay…

High Energy Physics - Phenomenology · Physics 2012-01-24 J. L. Domenech-Garret

Closed-loop positivity of feedback interconnections of positive monotone nonlinear systems is investigated. It is shown that an instantaneous gain condition on the open-loop systems which implies feedback well-posedness also guarantees…

Optimization and Control · Mathematics 2015-08-27 Sei Zhen Khong , Corentin Briat , Anders Rantzer

In this paper we determine quantitative stability bounds for the Hessian of entropic potentials, \ie, the dual solution to the entropic optimal transport problem. To the authors' knowledge this is the first work addressing this second-order…

Probability · Mathematics 2025-11-14 Giacomo Greco , Luca Tamanini

Copositive linear Lyapunov functions are used along with dissipativity theory for stability analysis and control of uncertain linear positive systems. Unlike usual results on linear systems, linear supply-rates are employed here for…

Systems and Control · Computer Science 2012-06-05 Corentin Briat

In this paper we investigate the convergence of the Policy Iteration Algorithm (PIA) for a class of general continuous-time entropy-regularized stochastic control problems. In particular, instead of employing sophisticated PDE estimates for…

Optimization and Control · Mathematics 2025-04-24 Jin Ma , Gaozhan Wang , Jianfeng Zhang

We define a novel notion of ``non-backtracking'' matrix associated to any symmetric matrix, and we prove a ``Ihara-Bass'' type formula for it. We use this theory to prove new results on polynomial-time strong refutations of random…

Computational Complexity · Computer Science 2023-05-16 Tommaso d'Orsi , Luca Trevisan

Since the control of the Lipschitz constant has a great impact on the training stability, generalization, and robustness of neural networks, the estimation of this value is nowadays a real scientific challenge. In this paper we introduce a…

Machine Learning · Computer Science 2023-06-21 Blaise Delattre , Quentin Barthélemy , Alexandre Araujo , Alexandre Allauzen