Related papers: Stationary phase lemmas for general functions

We begin a systematic development of structure theory for a first order theory, which is stable over a monadic predicate. We show that stability over a predicate implies quantifier free definability of types over stable sets, introduce an…

If the zeta function regularization is used and a complex mass term considered for fermions, the phase does not appear in the fermion determinant. This is not a drawback of the regularization, which can recognize the phase through source…

We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general term-orderings (instead of level mappings), like it is done in transformational approaches to logic program…

We provide a Lawvere-style definition for partial theories, extending the classical notion of equational theory by allowing partially defined operations. As in the classical case, our definition is syntactic: we use an appropriate class of…

In the present note, we generalize the first part of the Borel-Cantelli lemma. By this generalization, we obtain some strong limit results.

In this note we show that the locally stationary wavelet process can be decomposed into a sum of signals, each of which following a moving average process with time-varying parameters. We then show that such moving average processes are…

We consider methods for constructing explicit solutions of the non-stationary Lam\'e equation, which is a generalization of the classical Lam\'e equation, that has appeared in works on integrable models, conformal field theory, high energy…

The main purpose of this work is to prove characterization theorems for generalized moment functions on groups. According one of the main results these are exponential polynomials that can be described with the aid of complete (exponential)…

In a general class of one dimensional random differential equation the convergence of the distribution function of the solution to stationary state distribution is studied. In particular it is proved the boundedness respectively the…

Stationary points or derivative zero crossings of a regression function correspond to points where a trend reverses, making their estimation scientifically important. Existing approaches to uncertainty quantification for stationary points…

We prove the Yoneda lemma inside an elementary higher topos, generalizing the Yonda lemma for spaces.

In this paper we prove the existence of non-stationary periodic solutions of delay Lotka-Volterra equations. In the proofs we use the degree for $S^1$-equivariant maps.

We prove a quantitative averaging lemma for spatially dependent vector fields. Our proof is based on an iteration of the regularizing operator and some elementary considerations about the local inversion theorem.

Another stabilizer term is used in the classical Hamiltonian of the Skyrme Model that permits in a much simple way the generalization of the higher-order terms in the pion derivative field. Improved numerical results are obtained.

In this paper we prove several results on normal forms for linear displacement context-free grammars. The results themselves are rather simple and use well-known techniques, but they are extensively used in more complex constructions.…

We derive a moment formula for generalized fractional polynomial processes, i.e., for polynomial-preserving Markov processes time-changed by an inverse L\'evy-subordinator. If the time change is inverse $\alpha$-stable, the time-derivative…

We give a short and self-contained proof of Levi's Extension Lemma for pseudoline arrangements.

This paper proposes a methodology to estimate characteristic functions of stochastic differential equations that are defined over polynomials and driven by L\'evy noise. For such systems, the time evolution of the characteristic function is…

It is well known that phase function methods allow for the numerical solution of a large class of oscillatory second order linear ordinary differential equations in time independent of frequency. Unfortunately, these methods break down in…

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…