Related papers: A Direct Proof of a Theorem Concerning Singular Ha…
We propose an efficient algorithm for the ground state of frustration-free one-dimensional gapped Hamiltonians. This algorithm is much simpler than the original one by Landau et al., and thus may be easily accessible to a general audience…
We show that Sturm's classical separation theorem on the interlacing of the zeros of linearly independent solutions of real second order two-term ordinary differential equations necessarily fails in the presence of a unique turning point in…
In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically.
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, the structure and level of detail at which a proof is…
A local strict comparison theorem and some converse comparison theorems are proved for reflected backward stochastic differential equations under suitable conditions.
In this paper we construct such a set of `degenerate' Hamiltonians $\hat{H}$, which differ by an `intrinsic' constant but represent different physical systems yet possess the same ground state density. . Thus, although the proof of…
Mathematical theorems are human knowledge able to be accumulated in the form of symbolic representation, and proving theorems has been considered intelligent behavior. Based on the BHK interpretation and the Curry-Howard isomorphism, proof…
We show how the separability problem is dual to that of decomposing any given matrix into a conic combination of rank-one partial isometries, thus offering a duality approach different to the positive maps characterization problem. Several…
The Hamiltonian theory of isomonodromy equations for meromorphic connections with irregular singularities on algebraic curves is constructed. An explicit formula for the symplectic structure on the space of monodromy and Stokes matrices is…
The paper presents realization theory of discrete-time linear switched systems. A discrete-time linear switched system is a hybrid system, such that the continuous sub-system associated with each discrete state is linear. In this paper we…
In this paper, we study the determination of Hamiltonian from a given equations of motion. It can be cast into a problem of matrix factorization after reinterpretation of the system as first-order evolutionary equations in the phase space…
We show that for the strictly isospectral Hamiltonians, the corresponding coherent states are related by a unitary transformation. As an illustration, we discuss, the example of strictly isospectral one-dimensional harmonic oscillator…
Parabolic differential equations with discrete state-dependent delay are studied. The approach, based on an additional condition on the delay function introduced in [A.V. Rezounenko, Differential equations with discrete state-dependent…
The subject of this paper is a simulation to that in [1] but here we consider substitutions corresponding to transpositions instead of replacements.
There is considerable experimental evidence for the existence in Quantum Hall systems of an approximate emergent discrete symmetry, $\Gamma_0(2) \subset SL(2,Z)$. The evidence consists of the robustness of the tests of a suite a predictions…
Different representations of dissipative Hamiltonian and port-Hamiltonian differential-algebraic equations (DAE) systems are presented and compared. Using global geometric and algebraic points of view, translations between the different…
We analyze the method for calculation of properties of non-relativistic quantum systems based on exact diagonalization of space-discretized short-time evolution operators. In this paper we present a detailed analysis of the errors…
We derive the Helmholtz theorem for Hamiltonian systems defined on time scales in the context of nonshifted calculus of variations which encompass the discrete and continuous case. Precisely, we give a theorem characterizing first order…
We formulate and study a generalized virial theorem for contact Hamiltonian systems. Such systems describe mechanical systems in the presence of simple dissipative forces such as Rayleigh friction, or the vertical motion of a particle…
We restate the adiabatic elimination approximation as the first term in a singular perturbation expansion. We use the invariant manifold formalism for singular perturbations in dynamical systems to identify systematic improvements on…