Showing 1–9 of 9 results for author: Vašík, P

Quantum Register Algebra: the mathematical language for quantum computing

Authors: Jaroslav Hrdina, Dietmar Hildenbrand, Aleš Návrat, Christian Steinmetz, Rafael Alves, Carlile Campos Lavor, Petr Vašík, Ivan Eryganov

Abstract: We introduce Quantum Register Algebra (QRA) as an efficient tool for quantum computing. We show the direct link between QRA and Dirac formalism. We present GAALOP (Geometric Algebra Algorithms Optimizer) implementation of our approach. Using the QRA basis vectors definitions given in Section 4 and the framework based on the de Witt basis presented in Section 5, we are able to fully describe and co… ▽ More We introduce Quantum Register Algebra (QRA) as an efficient tool for quantum computing. We show the direct link between QRA and Dirac formalism. We present GAALOP (Geometric Algebra Algorithms Optimizer) implementation of our approach. Using the QRA basis vectors definitions given in Section 4 and the framework based on the de Witt basis presented in Section 5, we are able to fully describe and compute with QRA in GAALOP using the geometric product. We illustrate the intuitiveness of this computation by presenting the QRA form for the well known SWAP operation on a two qubit register. △ Less

Submitted 4 August, 2022; originally announced August 2022.

Comments: 11 pages

MSC Class: 81P68; 15A66

Quantum computing based on complex Clifford algebras

Authors: Jaroslav Hrdina, Ales Navrat, Petr Vasik

Abstract: We propose to represent both $n$--qubits and quantum gates acting on them as elements in the complex Clifford algebra defined on a complex vector space of dimension $2n.$ In this framework, the Dirac formalism can be realized in straightforward way. We demonstrate its functionality by performing quantum computations with several well known examples of quantum gates. We also compare our approach wi… ▽ More We propose to represent both $n$--qubits and quantum gates acting on them as elements in the complex Clifford algebra defined on a complex vector space of dimension $2n.$ In this framework, the Dirac formalism can be realized in straightforward way. We demonstrate its functionality by performing quantum computations with several well known examples of quantum gates. We also compare our approach with representations that use real geometric algebras. △ Less

Submitted 3 March, 2022; v1 submitted 6 January, 2022; originally announced January 2022.

MSC Class: 68Q12; 15A66

Note on geometric algebras and control problems with SO(3)-symmetries

Authors: Jaroslav Hrdina, Ales Navrat, Petr Vasik, Lenka Zalabova

Abstract: We study the role of symmetries in control systems through the geometric algebra approach. We discuss two specific control problems on Carnot groups of step $2$ invariant with respect to the action of $SO(3)$. We understand the geodesics as the curves in suitable geometric algebras which allows us to assess a new algorithm for the local control. We study the role of symmetries in control systems through the geometric algebra approach. We discuss two specific control problems on Carnot groups of step $2$ invariant with respect to the action of $SO(3)$. We understand the geodesics as the curves in suitable geometric algebras which allows us to assess a new algorithm for the local control. △ Less

Submitted 1 September, 2022; v1 submitted 22 November, 2021; originally announced November 2021.

Comments: Final version, few mistakes corrected

MSC Class: 53C17; 22E60; 93C15

On multi-conditioned conic fitting in Geometric algebra for conics

Authors: Pavel Loučka, Petr Vašík

Abstract: We introduce several modifications of conic fitting in Geometric algebra for conics by incorporating additional conditions into the optimisation problem. Each of these extra conditions ensure additional geometric properties of a fitted conic, in particular, centre point position at the origin of coordinate system, axial alignment with coordinate axes, or, eventually, combination of both. All deriv… ▽ More We introduce several modifications of conic fitting in Geometric algebra for conics by incorporating additional conditions into the optimisation problem. Each of these extra conditions ensure additional geometric properties of a fitted conic, in particular, centre point position at the origin of coordinate system, axial alignment with coordinate axes, or, eventually, combination of both. All derived algorithms are accompanied by a discussion of the underlying algebra and optimisation issues, together with the implementation in MATLAB. Finally, we present examples on a sample dataset and offer possible use of the algorithms. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: 40 pages, 6 figures

Solver-free optimal control for Linear Dynamical Switched System by means of Geometric Algebra

Authors: Anna Derevianko, Petr Vašík

Abstract: We design an algorithm for control of a linear switched system by means of Geometric Algebra. More precisely, we develop a switching path searching algorithm for a two-dimensional linear dynamical switched system with non-singular matrix whose integral curves are formed by two sets of centralised ellipses. Then it is natural to represent them as elements of Geometric Algebra for Conics (GAC) and c… ▽ More We design an algorithm for control of a linear switched system by means of Geometric Algebra. More precisely, we develop a switching path searching algorithm for a two-dimensional linear dynamical switched system with non-singular matrix whose integral curves are formed by two sets of centralised ellipses. Then it is natural to represent them as elements of Geometric Algebra for Conics (GAC) and construct the switching path by calculating the switching points, i.e. intersections and contact points. For this, we use symbolic algebra operations, more precisely the wedge and inner products, that are realisable by sums of products in the coordinate form. Therefore, no numerical solver to the system of equations is needed. Indeed, the only operation that may bring in an inaccuracy is a vector normalisation, i.e. square root calculation. The resulting switching path is formed by pieces of ellipses that are chosen respectively from the two sets of integral curves. The switching points are either intersections in the first or final step of our algorithm, or contact points. This choice guarantees optimality of the switching path with respect to the number of switches. On two examples we demonstrate the search for conics' intersections and, consequently, we describe a construction of a switching path in both cases. △ Less

Submitted 25 March, 2021; originally announced March 2021.

Comments: 21 pages, 10 figures

Projective Geometric Algebra as a Subalgebra of Conformal Geometric algebra

Authors: Ales Navrat, Jaroslav Hrdina, Petr Vasik, Leo Dorst

Abstract: We show that if PGA is understood as a subalgebra of CGA in mathematically correct sense, then the flat objects share the same representation in PGA and CGA. Particularly, we treat duality in PGA. This leads to unification of PGA and CGA objects which is important especially for software implementation and symbolic calculations. We show that if PGA is understood as a subalgebra of CGA in mathematically correct sense, then the flat objects share the same representation in PGA and CGA. Particularly, we treat duality in PGA. This leads to unification of PGA and CGA objects which is important especially for software implementation and symbolic calculations. △ Less

Submitted 4 May, 2020; v1 submitted 14 February, 2020; originally announced February 2020.

MSC Class: 15A66; 51N25

Nilpotent approximation of a trident snake robot controlling distribution

Authors: Jaroslav Hrdina, Ales Navrat, Petr Vasik

Abstract: We construct a privileged system of coordinates with respect to the controlling distribution of a trident snake robot and, furthermore, we construct a nilpotent approximation with respect to the given filtration. Note that all constructions are local in the neighbourhood of a particular point. We compare the motions corresponding to the Lie bracket of the original controlling vector fields and the… ▽ More We construct a privileged system of coordinates with respect to the controlling distribution of a trident snake robot and, furthermore, we construct a nilpotent approximation with respect to the given filtration. Note that all constructions are local in the neighbourhood of a particular point. We compare the motions corresponding to the Lie bracket of the original controlling vector fields and their nilpotent approximation. △ Less

Submitted 28 July, 2016; originally announced July 2016.

Comments: 10 pages, 7 figures

MSC Class: 93B27

A note on jet and geometric approach to higher order connections

Authors: Maido Rahula, Petr Vasik

Abstract: We compare two ways of interpreting higher order connections. The geometric approach lies in the decomposition of higher order tangent space into the horizontal and vertical structures while the jet--like approach considers a higher order connection as the section of a jet prolongation of a fibered manifold. Particularly, we use the Ehresmann prolongation of a general connection and study the resu… ▽ More We compare two ways of interpreting higher order connections. The geometric approach lies in the decomposition of higher order tangent space into the horizontal and vertical structures while the jet--like approach considers a higher order connection as the section of a jet prolongation of a fibered manifold. Particularly, we use the Ehresmann prolongation of a general connection and study the result from the point of view of geometric theory. We pay attention to linear connections, too. △ Less

Submitted 25 June, 2012; originally announced June 2012.

Comments: 9 pages

MSC Class: 58A20; 53C05; 58A05

Geometry of almost Cliffordian manifolds: classes of subordinated connections

Authors: Jaroslav Hrdina, Petr Vasik

Abstract: An almost Clifford and an almost Cliffordian manifold is a $G$--structure based on the definition of Clifford algebras. An almost Clifford manifold based on $\mathcal O:= \cc l (s,t)$ is given by a reduction of the structure group $GL(km, \mathbb R)$ to $GL(m, {\mathcal O})$, where $k=2^{s+t}$ and $m \in \mathbb N$. An almost Cliffordian manifold is given by a reduction of the structure group to… ▽ More An almost Clifford and an almost Cliffordian manifold is a $G$--structure based on the definition of Clifford algebras. An almost Clifford manifold based on $\mathcal O:= \cc l (s,t)$ is given by a reduction of the structure group $GL(km, \mathbb R)$ to $GL(m, {\mathcal O})$, where $k=2^{s+t}$ and $m \in \mathbb N$. An almost Cliffordian manifold is given by a reduction of the structure group to $GL(m, \mathcal O) GL(1,\mathcal O)$. We prove that an almost Clifford manifold based on $\mathcal O$ is such that there exists a unique subordinated connection, while the case of an almost Cliffordian manifold based on $\mathcal O$ is more rich. A class of distinguished connections in this case is described explicitly. △ Less

Submitted 28 May, 2012; originally announced May 2012.

MSC Class: 53C10; 53C15