Related papers: An Integrability Criterion for Banach-Lie Triple S…
Spacetimes admitting a similarity group are considered. Amongst them, special attention is given to the 3-parameter ones. A classification of such spacetimes is given based on the Bianchi type of the similarity group $H_3$, and the general…
A Lie system is a system of first-order differential equations admitting a superposition rule, i.e., a map that expresses its general solution in terms of a generic family of particular solutions and certain constants. In this work, we use…
We define the notion of a loop Hodge structure -- an infinite dimensional generalization of a Hodge structure -- and prove that a suitable variation of this object over a complex manifold is equivalent to the datum of a harmonic bundle.…
We present a formalization, in the theorem prover Lean, of the classification of solvable Lie algebras of dimension at most three over arbitrary fields. Lie algebras are algebraic objects which encode infinitesimal symmetries, and as such…
Determining whether a dynamical system is integrable is generally a difficult task which is currently done on a case by case basis requiring large human input. Here we propose and test an automated method to search for the existence of…
We classify the connected $3$-dimensional differentiable Bol loops $L$ having a solvable Lie group as the group topologically generated by the left translations of $L$ using $3$-dimensional solvable Lie triple systems. Together with…
Using the orbit method we attempt to reveal geometric and algebraic meaning of separation of variables for the integrable systems on coadjoint orbits in an $\mathfrak{sl}(3)$ loop algebra. We consider two types of generic orbits embedded…
In the study of induced bilinear systems, the classical Lie algebra rank condition (LARC) is known to be impractical since it requires computing the rank everywhere. On the other hand, the transitive Lie algebra condition, while more…
We give an abstract definition, similar to the axioms of a Stein manifold, of a class of complex Banach manifolds in such a way that a manifold belongs to the class if and only if it is biholomorphic to a closed split complex Banach…
We propose a range criterion which is a sufficient and necessary condition satisfied by two pure states transformable with each other under reversible stochastic local operations assisted with classical communication. We also provide a…
It has been known since \cite{Pgroupchunk} that any group definable in an $o$-minimal expansion of the real field can be equipped with a Lie group structure. It is therefore natural to ask when is a Lie group Lie isomorphic to a group…
A general way to construct ladder models with certain Lie algebraic or quantum Lie algebraic symmetries is presented. These symmetric models give rise to series of integrable systems. It is shown that corresponding to these SU(2) symmetric…
It is shown that every nonsingular continuous representation of the group algebra $L^{1}(G)$ in Banach spaces is completely reducible if and only if $G$ is a compact group.
We investigate the universality of multi-spin systems in architectures of various symmetries of coupling type and topology. Explicit reachability sets under symmetry constraints are provided. Thus for a given (possibly symmetric)…
We show that the semigroup associated to a second-order elliptic system is positive if and only if the differential equations are essentially decoupled and the coefficients are real-valued. This means the system can be replaced by an…
Let G be a Lie groupoid with Lie algebroid g. It is known that, unlike in the case of Lie groups, not every subalgebroid of g can be integrated by a subgroupoid of G. In this paper we study conditions on the invariant foliation defined by a…
We establish a link between the study of completely integrable systems of partial differential equations and the study of generic submanifolds in C^n. Using the recent developments of Cauchy-Riemann geometry we provide the set of symmetries…
We discuss various compatibility criteria for overdetermined systems of PDEs generalizing the approach to formal integrability via brackets of differential operators. Then we give sufficient conditions that guarantee that a PDE possessing a…
We give the classification of solvable and splitting Lie triple system and it turn that, up to isomorphism there exist 7 non isomorphic canonical Lie triple systems and 6 non isomorphic splitting canonical Lie triple systems and find the…
Positive linear systems on arbitrary time scales are studied. The theory developed in the paper unifies and extends concepts and results known for continuous-time and discrete-time systems. A necessary and sufficient condition for a linear…