中文
相关论文

相关论文: Widening Operators for Weakly-Relational Numeric A…

200 篇论文

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…

编程语言 · 计算机科学 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;…

谱理论 · 数学 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…

偏微分方程分析 · 数学 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…

量子物理 · 物理学 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…

偏微分方程分析 · 数学 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…

概率论 · 数学 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…

偏微分方程分析 · 数学 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…

数值分析 · 数学 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…

偏微分方程分析 · 数学 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…

最优化与控制 · 数学 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…

量子物理 · 物理学 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…

泛函分析 · 数学 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…

量子物理 · 物理学 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…

最优化与控制 · 数学 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…

高能物理 - 理论 · 物理学 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…

机器学习 · 计算机科学 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…

偏微分方程分析 · 数学 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…

最优化与控制 · 数学 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.

代数几何 · 数学 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…

数值分析 · 数学 2010-03-15 T. Ju. Bohonova , I. P. Gavrilyuk , V. L. Makarov , V. Vasylyk