Related papers: Remling's Theorem on canonical systems

We establish a relative Bertini type theorem for multiplier ideal sheaves. Then we prove a relative version of the Koll\'ar--Nadel type vanishing theorem as an application.

We consider quantum systems which interact strongly with a rapidly varying environment and derive a Schrodinger-like equation which describes the time evolution of the average wave function. We show that the corresponding Hamiltonian can be…

We develop a canonical pairing between trees and graphs, which passes to their quotients by Jacobi identities. This pairing is an effective and simple tool for understanding the Lie and Poisson operads, providing canonical duals. In the…

We introduce O-systems (Definition \ref{DO}) of orthogonal transformations of ${\Bbb R}^{m}$, and establish $1-1$ correspondences both between equivalence classes of Clifford systems and that of O-systems, and between O-systems and…

We present a treatment of many-body Fermionic systems that facilitates an expression of the well-known quantities in a series expansion of the Planck's constant. The ensuing semiclassical result contains to a leading order of the response…

The Hamiltonian formulation plays the essential role in constructing the framework of modern physics. In this paper, a new form of canonical equations of Hamilton with the complete symmetry is obtained, which are valid not only for the…

In this paper we establish a relation between Coulomb and oscillator systems on $n$-dimensional spheres and hyperboloids for $n\geq 2$. We show that, as in Euclidean space, the quasiradial equation for the $n+1$ dimensional Coulomb problem…

We prove the abundance theorem for semi log canonical surfaces in positive characteristic.

This book can be seen either as a text on theorem proving that uses techniques from general algebra, or else as a text on general algebra illustrated and made concrete by practical exercises in theorem proving. The book considers several…

A Lemma of Riemann--Lebesgue type for Fourier--Jacobi coefficients is derived. Via integral representations of Dirichlet--Mehler type for Jacobi polynomials its proof directly reduces to the classical Riemann--Lebesgue Lemma for Fourier…

The main goal of this article is to give an explicit rigid analytic uniformization of the maximal toric quotient of the Jacobian of a Shimura curve over the field of rational numbers at a prime dividing exactly the level. This result can be…

Krein-de Branges spectral theory establishes a correspondence between the class of differential operators called canonical Hamiltonian systems and measures on the real line with finite Poisson integral. We further develop this area by…

We continue the study on sheaves of rings on finite posets. We present examples where the ring of global sections coincide with toric faces rings, quotients of a polynomial ring by a monomial ideal and algebras with straightening laws. We…

We give a counting based proof of the Graham Pollak Theorem

In this note we present a proof of multiple recurrence for ergodic systems (and thereby of Szemer\'edi's theorem) being a mixture of three known proofs. It is based on a conditional version of the Jacobs-de Leeuw-Glicksberg decomposition…

We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture using a recursive formula for the Catalan numbers.

In this paper we present the formal, computer-supported verification of a functional implementation of Buchberger's critical-pair/completion algorithm for computing Gr\"obner bases in reduction rings. We describe how the algorithm can be…

We introduce the notion of a rational dynamical system extending the classical notion of a topological dynamical system and we prove (multiple) recurrence results for such systems via a partition theorem for the rational numbers proved by…

We give a categorical account of Arrow's theorem, a seminal result in social choice theory.

Following suggestions of T. H. Koornwinder, we give a new proof of Kummer's theorem involving Zeilberger's algorithm, the WZ method and asymptotic estimates. In the first section, we recall a classical proof given by L. J. Slater. The…