Related papers: Remling's Theorem on canonical systems
We give a sharper version of a theorem of Rosicky, Trnkova and Adamek, and a new proof of a theorem of Rosicky, both about colimit preservation between categories of structures. Unlike the original proofs, which use category-theoretic…
An observable canonical form is formulated for the set of rational systems on a variety each of which is a single-input-single-output, affine in the input, and a minimal realization of its response map. The equivalence relation for the…
We study hyperbolic curves and their Jacobians over finite fields in the context of anabelian geometry.
Is is shown in this paper that there is a connection between the Riemann zeta-function $\zf$ and the classical Jacobi's polynomials, i.e. the Legendre polynomials, Chebyshev polynomials of the first and the second kind,...
The partition function of the Chern-Simons theory on the three-sphere with the unitary group $U(N)$ provides a one-matrix model. The corresponding $N$-particle system can be mapped to the determinantal point process whose correlation kernel…
We define an equivalence relation on propositions and a proof system where equivalent propositions have the same proofs. The system obtained this way resembles several known non-deterministic and algebraic lambda-calculi.
We prove the ascending chain condition for log canonical thresholds of bounded coregularity.
In this initial paper in a series, we first discuss why classical motions of small particles should be treated statistically. Then we show that any attempted statistical description of any nonrelativistic classical system inevitably yields…
In this paper, we introduce the notion of Jacobi polynomials with multiple reference vectors of a code, and give the MacWilliams type identity for it. Moreover, we derive a formula to obtain the Jacobi polynomials using the Aronhold…
We use the homological perturbation lemma to give an explicit proof of the cyclic Eilenberg-Zilber theorem for cylindrical modules.
Jacobi's results on the computation of the order and of the normal forms of a differential system are translated in the formalism of differential algebra. In the quasi-regular case, we give complete proofs according to Jacobi's arguments.…
We prove the special termination for log canonical pairs and its generalisation in the context of generalised pairs.
We compute the Groebner basis of a system of polynomial equations related to the Jacobian conjecture, and describe completely the solution set.
The canonical transformation and its unitary counterpart which relate the rational Calogero-Moser system to the free one are constructed.
We proved a KAM theorem on existence of invariant tori in generalized Hamiltonian systems without action-angle variables. It is a generalization of the result of de la Llave et al. [Llave, 2005] that deals with canonical Hamiltonian system.
We present a new and simple proof of a theorem due to Kaplansky which unifies theorems of Kolchin and Levitzki on triangularizability of semigroups of matrices. We also give two different extensions of the theorem. As a consequence, we…
In this paper we give a new proof of Riemann's well known mapping theorem. The suggested method permits to prove an analog of that theorem for the three dimensional case.
We establish a relation between the classical non-linear Schr\"odinger equation and the KP hierarchy, and we extend this relation to the quantum case by defining a quantum KP hierarchy. We present evidence that an integrable hierarchy of…
We show that the Fourier transform on the Jacobian of a curve interchanges "$\delta$ functions" at the curve and the theta divisor. The Torelli theorem is an immediate consequence.
Making use of the theory of infinitesimal canonical transformations, a concise proof is given of Jacobi's identity for Poisson brackets.