Related papers: The Lie Algebra Rank Condition for Non-Bilinear Qu…
Lattice gauge theories are fundamental to such distinct fields as particle physics, condensed matter or quantum information theory. The recent progress in the control of artificial quantum systems already allows for studying Abelian lattice…
The present work establishes necessary and sufficient conditions for a nonlinear system with two inputs to be described by a specific triangular form. Except for some regularity conditions, such triangular form is flat. This may lead to the…
We provide algebraic criteria for the unitarity of linear quantum cellular automata, i.e. one dimensional quantum cellular automata. We derive these both by direct combinatorial arguments, and by adding constraints into the model which do…
We establish necessary and sufficient conditions for invertibility of symmetric three-by-three block matrices having a double saddle-point structure \fb{that guarantee the unique solvability of double saddle-point systems}. We consider…
We study integrable systems on double Lie algebras in absence of Ad-invariant bilinear form by passing to the semidirect product with the $\tau $-representation. We show that in this stage a natural Ad-invariant bilinear form does exist,…
Here we develop two quantum-computational models for supervised and unsupervised classification tasks in quantum world. Presuming that the states of a set of given quantum systems (or objects) belong to one of two known classes, the…
We consider the problem of steering control for the systems of one spin 1/2 particle and two interacting homonuclear spin 1/2 particles in an electro-magnetic field. The describing models are bilinear systems whose state varies on the Lie…
In this paper we derive necessary optimality conditions for optimal control problems with nonlinear and nonsmooth implicit control systems. Implicit control systems have wide applications including differential algebraic equations (DAEs).…
An essential element of classical computation is the "if-then" construct, that accepts a control bit and an arbitrary gate, and provides conditional execution of the gate depending on the value of the controlling bit. On the other hand,…
In this article studies questions about the existence of left-invariant K\"{a}hler and semi-para-K\"{a}hler structures on six-dimensional unsolvable Lie groups whose Lie algebras are semidirect products. According to the classification…
A set of quantum states can be unambiguously discriminated if and only if they are linearly independent. However, for a linearly dependent set, if C copies of the state are available, then the resulting C particle states may form a linearly…
This paper is devoted to establishing an enhanced Fritz John type first-order necessary condition for a general constrained nonlinear infinite-dimensional optimization problem. Unlike traditional constraint qualifications in optimization…
The Lie-Amaldi classification of finite dimensional nilpotent algebras of vector fields is refined, using the rank of the center of the Lie algebra as an invariant.
In this article, we introduce the notion of differential flatness by pure prolongation: loosely speaking, a system admits this property if, and only if, there exists a pure prolongation of finite order such that the prolonged system is…
In this work, we study the controllability of the bilinear Schr\"odinger equation on infinite graphs for periodic quantum states. We consider the bilinear Schr\"odinger equation $i\partial_t\psi=-\Delta\psi+u(t)B\psi$ in the Hilbert space…
The Dirac quantization `procedure' for constrained systems is well known to have many subtleties and ambiguities. Within this ill-defined framework, we explore the generality of a particular interpretation of the Dirac procedure known as…
We present the necessary and sufficient condition for the violation of a new series of multipartite Bell's inequalities with many measurement settings.
One version of the concept of structural controllability defined for single-input systems by Lin and subsequently generalized to multi-input systems by others, states that a parameterized matrix pair $(A, B)$ whose nonzero entries are…
Statistical linearization has recently seen a particular surge of interest as a numerically cheap method for robust control of stochastic differential equations. Although it has already been successfully applied to control complex…
Necessary conditions for existence of normal extremals in optimal control of systems subject to nonholonomic constraints are derived as solutions of a constrained second order variational problems. In this work, a geometric interpretation…