English
Related papers

Related papers: Widening Operators for Weakly-Relational Numeric A…

200 papers

Abstract Interpretation approximates the semantics of a program by mimicking its concrete fixpoint computation on an abstract domain $\mathbb{A}$. The abstract (post-) fixpoint computation is classically divided into two phases: the…

Programming Languages · Computer Science 2022-06-23 Vincenzo Arceri , Isabella Mastroeni , Enea Zaffanella

The variation of spectral subspaces for linear self-adjoint operators under an additive bounded off-diagonal perturbation is studied. To this end, the optimization approach for general perturbations in [J. Anal. Math., to appear;…

Spectral Theory · Mathematics 2016-07-28 Albrecht Seelmann

In this paper, we are concerned with the asymptotic behavior of weak solutions to certain elliptic and parabolic problems involving the fractional $p$-Laplacian in cylindrical domains that become unbounded in one direction. The nonlocal…

Analysis of PDEs · Mathematics 2025-10-24 Tahir Boudjeriou , Prosenjit Roy

Weak measurement is a new technique which allows one to describe the evolution of postselected quantum systems. It appears to be useful for resolving a variety of thorny quantum paradoxes, particularly when used to study properties of pairs…

Quantum Physics · Physics 2009-11-10 K. J. Resch , A. M. Steinberg

We prove boundedness and regularity estimates for weak solutions to a class of linear nonlocal equations involving integro-differential operators with almost no order of differentiability. In particular, we show that bounded weak solutions…

Analysis of PDEs · Mathematics 2025-03-04 Sven Jarohs , Moritz Kassmann , Tobias Weth

Motivated in part by understanding average case analysis of fundamental algorithms in computer science, and in part by the wide array of network data available over the last decade, a variety of random graph models, with corresponding…

Probability · Mathematics 2024-03-05 Sayan Banerjee , Shankar Bhamidi , Jianan Shen , Seth Parker Young

In the present paper we study the solvability of the Dirichlet problem for second order divergence form elliptic operators with bounded measurable coefficients which are small perturbations of given operators in rough domains beyond the…

Analysis of PDEs · Mathematics 2011-01-04 E. Milakis , J. Pipher , T. Toro

When approximating a function that depends on a parameter, one encounters many practical examples where linear interpolation or linear approximation with respect to the parameters prove ineffective. This is particularly true for responses…

Numerical Analysis · Mathematics 2018-12-27 Donsub Rim , Kyle T. Mandli

In this paper we study boundary value problems for higher order elliptic differential operators in divergence form. We consider the two closely related topics of inhomogeneous problems and problems with boundary data in fractional…

Analysis of PDEs · Mathematics 2017-08-01 Ariel Barton

Extended formulations are an important tool in polyhedral combinatorics. Many combinatorial optimization problems require an exponential number of inequalities when modeled as a linear program in the natural space of variables. However, by…

Optimization and Control · Mathematics 2024-06-07 Christoph Buchheim

Variational weak-coupling perturbation theory yields converging approximations, uniformly in the coupling strength. This allows us to calculate directly the coefficients of `strong-coupling' expansions. For the anharmonic oscillator we…

Quantum Physics · Physics 2016-09-08 Wolfhard Janke , Hagen Kleinert

This article improves the triangle inequality for complex numbers, using the Hermite-Hadamard inequality for convex functions. Then, applications of the obtained refinement are presented to include some operator inequalities. The operator…

Functional Analysis · Mathematics 2022-04-19 Shigeru Furuichi , Mohammad Sababheh , Hamid Reza Moradi

For many physical quantities, theory supplies weak- and strong-coupling expansions of the types $\sum a_n \alpha ^n$ and $ \alpha ^p\sum b_n (\alpha^{-2/q) ^n$, respectively. Either or both of these may have a zero radius of convergence. We…

Quantum Physics · Physics 2009-10-28 H. Kleinert

We consider the saddle point problem where the objective functions are abstract convex with respect to the class of quadratic functions. We propose primal-dual algorithms using the corresponding abstract proximal operator and investigate…

Optimization and Control · Mathematics 2026-01-13 Ewa Bednarczuk , The Hung Tran

We compute the short distance expansion of fields or operators that live in the coadjoint representation of an infinite dimensional Lie algebra by using only properties of the adjoint representation and its dual. We explicitly compute the…

High Energy Physics - Theory · Physics 2019-03-20 S. James Gates , W. D. Linch , J. Phillips , V. G. J. Rodgers

We develop a rigorous framework for extending neural operators to handle out-of-distribution input functions. We leverage kernel approximation techniques and provide theory for characterizing the input-output function spaces in terms of…

Machine Learning · Computer Science 2026-03-05 Blaine Quackenbush , Paul J. Atzberger

Recent decades have provided a host of examples and applications motivating the study of nonlocal differential operators. We discuss a class of such operators acting on bounded domains, focusing on those with integrable kernels having…

Analysis of PDEs · Mathematics 2024-08-29 Mikil Foss , Michael Pieper

This paper studies approximate solutions of a linear fractional vector optimization problem without requiring boundedness of the constraint set. We establish necessary and sufficient conditions for approximating weakly efficient points of…

Optimization and Control · Mathematics 2024-12-12 Nguyen Thi Thu Huong

We prove that rationally connected varieties over the function field of a complex curve satisfy weak approximation for places of good reduction.

Algebraic Geometry · Mathematics 2009-11-10 Brendan Hassett , Yuri Tschinkel

A new exponentially convergent algorithm is proposed for an abstract the first order differential equation with unbounded operator coefficient possessing a variable domain. The algorithm is based on a generalization of the Duhamel integral…

Numerical Analysis · Mathematics 2010-03-15 T. Ju. Bohonova , I. P. Gavrilyuk , V. L. Makarov , V. Vasylyk