Related papers: A Direct Proof of a Theorem Concerning Singular Ha…
In this note, we present a simple non-directed graph proof of Sharkovsky's theorem which is different from the one given in [2].
In this note, we consider the resultant of systems of homogeneous multivariate polynomials which are equivariant under the action of direct product of two symmetric groups. We establish a decomposition formula for the resultant of such…
We obtain sufficient conditions ensuring the existence of a uniformly continuous and H\"older continuous homeomorphism between the solutions of a linear system of differential equations with piecewise constant argument of generalized type…
In the current note, we present a new, short proof of the famous AM-GM-HM inequality using only induction and basic calculus.
In this paper, we prove several generalizations and applications of a fixed point theorem. This theorem is used to prove the existence and uniqueness of solutions of the linear sparse matrix problem considered.
The 1:1:2 resonant elastic pendulum is a simple classical system that displays the phenomenon known as Hamiltonian monodromy. With suitable initial conditions, the system oscillates between nearly pure springing and nearly pure…
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…
We present a new class of exponential integrators for ordinary differential equations. They are locally exact, i.e., they preserve the linearization of the original system at every point. Their construction consists in modifying existing…
Dualities are hidden symmetries that map seemingly unrelated physical systems onto each other. The goal of this work is to systematically construct families of Hamiltonians endowed with a given duality and to provide a universal description…
We show that a singlet of many multi-level quantum systems arises naturally as the ground state of a physically-motivated Hamiltonian. The Hamiltonian simply exchanges the states of nearest-neighbours in some network of qudits (d-level…
We comment on two formal proofs of Fermat's sum of two squares theorem, written using the Mathematical Components libraries of the Coq proof assistant. The first one follows Zagier's celebrated one-sentence proof; the second follows David…
A Hamiltonian formulation of generic many-body systems with balanced loss and gain is presented. It is shown that a Hamiltonian formulation is possible only if the balancing of loss and gain terms occur in a pairwise fashion. It is also…
We consider a direct conversion of the, classical, set splitting problem to the directed Hamiltonian cycle problem. A constructive procedure for such a conversion is given, and it is shown that the input size of the converted instance is a…
Ordinary differential equations of the first order on the torus have been investigated in detail by H. Poincar\'e and A. Denjoy. The long-standing problem of generalising these results for the equations of the order $k>1$ (or for the…
There are significant differences between Helmholtz and Hodge's decomposition theorems, but both share a common flavor. This paper is a first step to bring them together. We here produce Helmholtz theorems for differential 1-forms and…
Two coupled two-level systems placed under external time-dependent magnetic fields are modeled by a general Hamiltonian endowed with a symmetry that enables us to reduce the total dynamics into two independent two-dimensional sub-dynamics.…
This note presents a unified theorem of the alternative that explicitly allows for any combination of equality, componentwise inequality, weak dominance, strict dominance, and nonnegativity relations. The theorem nests 60 special cases,…
We give a direct and elementary proof of the theorem on formal functions by studying the behaviour of the Godement resolution of a sheaf of modules under completion.
We construct so-called Darboux transformations and solutions of the dynamical Hamiltonian systems with several space variables $\frac{\partial \psi}{\partial t}=\sum_{k=1}^r H_k(t)\frac{\partial \psi}{\partial \zeta_k}\,$ $( H_k(t)=…
The completeness of the group classification of systems of two linear second-order ordinary differential equations with constant coefficients is delineated in the paper. The new cases extend what has been done in the literature. These cases…