Related papers: Ideal Perturbation Lemma
As Large Language Models become more ubiquitous across domains, it becomes important to examine their inherent limitations critically. This work argues that hallucinations in language models are not just occasional errors but an inevitable…
(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy…
This paper presents an approach to lemma synthesis to support advanced inductive entailment procedures based on separation logic. We first propose a mechanism where lemmas are automatically proven and systematically applied. The lemmas may…
In this paper, binomial difference ideals are studied. Three canonical representations for Laurent binomial difference ideals are given in terms of the reduced Groebner basis of Z[x]-lattices, regular and coherent difference ascending…
In an overall framework of quantum mechanics of unitary systems a rather sophisticated new version of perturbation theory is developed. What is assumed is, firstly, that the perturbed Hamiltonians $H=H_0+\lambda V$ are non-Hermitian and lie…
The quantum Lifshitz model provides an effective description of a quantum critical point. It has been shown that even though non--Lorentz invariant, the action admits a natural supersymmetrization. In this note we introduce a perturbative…
In the constrained synchronization problem we ask if a given automaton admits a synchronizing word coming from a fixed regular constraint language. We show that intersecting a given constraint language with an ideal language decreases the…
We consider the representation of the value of a class of optimal stopping problems of linear diffusions in a linearized form as an expected supremum of a known function. We establish an explicit integral representation of this representing…
The paper presents an enriched categorical account of homological perturbation theory, including the formulation, proof and functoriality properties of the homological perturbation lemma.
An optimal control problem for the continuity equation is considered. The aim of a "controller" is to maximize the total mass within a target set at a given time moment. The existence of optimal controls is established. For a particular…
Perturbation theory is an important tool in the analysis of oscillators and their response to external stimuli. It is predicated on the assumption that the perturbations in question are "sufficiently weak", an assumption that is not always…
Scalar conservation laws sit at the intersection between being simple enough to study analytically, while being complex enough to exhibit a wide range of nonlinear phenomena. We introduce a novel stochastic perturbation of scalar…
In this paper, ordinary and exponential dichotomies are defined in differential equations with equations with piecewise constant argument of general type. We prove the asymptotic equivalence between the bounded solutions of a linear system…
The harmonic chain is a classical many-particle system which can be solved exactly for arbitrary number of particles (at least in simple cases, such as equal masses and spring constants). A nice feature of the harmonic chain is that the…
We discuss the application of perturbation theory to a system of particles confined in a spherical box. A simple argument shows that the particles behave almost independently in sufficiently strong confinement. We choose the helium atom…
A \emph{new} notion of equilibrium, which we call \emph{strong equilibrium}, is introduced for time-inconsistent stopping problems in continuous time. Compared to the existing notions introduced in ArXiv: 1502.03998 and ArXiv: 1709.05181,…
An explicit perturbative solution to all orders is given for a general class of nonlinear differential equations. This solution is written as a sum indexed by rooted trees and uses the Green function of a linearization of the equations. The…
Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our…
The perturbation theory for critical points of causal variational principles is developed. We first analyze the class of perturbations obtained by multiplying the universal measure by a weight function and taking the push-forward under a…
We introduced the notation of a set of prohibitions and give definitions of a complete set and a crucial word with respect to a given set of prohibitions. We consider 3 particular sets which appear in different areas of mathematics and for…