Related papers: The converse of Sturm's Separation Theorem

Sturm-Liouville oscillation theory for periodic Jacobi operators with matrix entries is discussed and illustrated. The proof simplifies and clarifies the use of intersection theory of Bott, Maslov and Conley-Zehnder. It is shown that the…

This paper is an up-to-date introduction to the problem of uniqueness versus non-uniqueness of infinite clusters for percolation on ${\mathbb{Z}}^d$ and, more generally, on transitive graphs. For iid percolation on ${\mathbb{Z}}^d$,…

Building upon ideas of Hironaka, Bierstone-Milman, Malgrange and others we generalize the inverse and implicit function theorem (in differential, analytic and algebraic setting) to sets of functions of larger multiplicities (or ideals).…

For nonlinear wave equations with a potential term we prove pointwise space-time decay estimates and develop a perturbation theory for small initial data. We show that the perturbation series has a positive convergence radius by a method…

We show that a single special separation theorem (namely, a consequence of the geometric form of the Hahn-Banach theorem) can be used to prove Farkas type theorems, existence theorems for numerical quadrature with positive coefficients, and…

In the paper, we study the problem of recovering the potential from the spectrum of the Dirichlet boundary value problem for a Sturm--Liouville equation with frozen argument on a closed set. We consider the case when the closed set consists…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

A Central Limit Theorem is proved for linear random fields when sums are taken over finite disjoint union of rectangles. The approach does not rely upon the use of Beveridge Nelson decomposition and the conditions needed are similar to…

Two results are presented concerning the entailment problem in Separation Logic with inductively defined predicate symbols and theory reasoning. First, we show that the entailment problem is undecidable for rules with bounded tree-width, if…

In this work, the converse of the Cowling--Obrechkoff--Thron theorem is established. In addition to its theoretical interest, the result fills a gap in the proof of Kellogg's celebrated eigenvalue inequality for matrices whose principal…

We generalize several classical theorems in extremal combinatorics by replacing a global constraint with an inequality which holds for all objects in a given class. In particular we obtain generalizations of Tur\'an's theorem, the…

The Holant theorem is a powerful tool for studying the computational complexity of counting problems in the Holant framework. Due to the great expressiveness of the Holant framework, a converse to the Holant theorem would itself be a very…

The Bertrand's theorem can be formulated as the solution of an inverse problem for a classical unidimensional motion. We show that the solutions of these problems, if restricted to a given class, can be obtained by solving a numerical…

We present a concise proof for the supporting hyperplane theorem. We then observe that the proof not only establishes the supporting hyperplane theorem but also extends it to a hyperplane separation theorem for certain non-convex sets. The…

We discuss Ghys' theorem on 4 zeroes of the Schwarzian derivative and its relation with flattening points of Legendrian curves and Sturm theory.

We prove results generalizing the classical Riemann Singularity Theorem to the case of integral, singular curves. The main result is a computation of the multiplicity of the theta divisor of an integral, nodal curve at an arbitrary point.…

For a class of stationary regularly varying and weakly dependent time series, we prove the so-called complete convergence result for the corresponding space-time point processes. As an application of our main theorem, we give a simple proof…

We prove the existence of non-trivial phase transitions for the intersection of two independent random interlacements and the complement of the intersection. Some asymptotic results about the phase curves are also obtained. Moreover, we…

In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…

The present paper is devoted to a new criterion for disconjugacy of a second order linear differential equation. Unlike most of the classical sufficient conditions for disconjugacy, our criterion does not involve assumptions on the…