Showing 1–10 of 10 results for author: Hrdina, J

Quantization of Two- and Three-player Cooperative Games Based on QRA

Authors: Ivan Eryganov, Jaroslav Hrdina, Aleš Návrat

Abstract: In this paper, a novel quantization scheme for cooperative games is proposed. The considered circuit is inspired by the Eisert-Wilkens-Lewenstein protocol modified to represent cooperation between players and extended to $3$-qubit states. The framework of Clifford algebra is used to perform necessary computations. In particular, we use a direct analogy between Dirac formalism and Quantum Register… ▽ More In this paper, a novel quantization scheme for cooperative games is proposed. The considered circuit is inspired by the Eisert-Wilkens-Lewenstein protocol modified to represent cooperation between players and extended to $3$-qubit states. The framework of Clifford algebra is used to perform necessary computations. In particular, we use a direct analogy between Dirac formalism and Quantum Register Algebra to represent circuits. This analogy enables us to perform automated proofs of the circuit equivalence in a simple fashion. To distribute players' payoffs after the measurement, the expected value of the Shapley value with respect to quantum probabilities is employed. We study how entanglement, representing the level of pre-agreement between players, affects the final distribution of utility. The paper also demonstrates how all necessary calculations can be automatized using the Quantum Register Algebra and GAALOP software. △ Less

Submitted 27 October, 2023; originally announced October 2023.

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 symmetries of a sub--Riemannian structure with growth vector $(4,7)$

Authors: Jaroslav Hrdina, Aleš Návrat, Lenka Zalabová

Abstract: We study symmetries of specific left--invariant sub--Riemannian structure with filtration $(4,7)$ and their impact on sub--Riemannian geodesics of corresponding control problem. We show that there are two very different types of geodesics, they either do not intersect the fixed point set of symmetries or are contained in this set for all times. We use the symmetry reduction to study properties of… ▽ More We study symmetries of specific left--invariant sub--Riemannian structure with filtration $(4,7)$ and their impact on sub--Riemannian geodesics of corresponding control problem. We show that there are two very different types of geodesics, they either do not intersect the fixed point set of symmetries or are contained in this set for all times. We use the symmetry reduction to study properties of geodesics. △ Less

Submitted 3 August, 2022; v1 submitted 15 February, 2021; originally announced February 2021.

Comments: final version

MSC Class: 53C17; 22E60; 35R03

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

Geometric control theory of vertical rolling disc using symmetries

Authors: Jaroslav Hrdina, Ales Navrat, Lenka Zalabova

Abstract: We use the methods of geometric control theory to study extremal trajectories of vertical rolling disk. We focus on the role of symmetries of the underlying geometric structures. We demonstrate the computations in the CAS Maple package DifferentialGeometry. We use the methods of geometric control theory to study extremal trajectories of vertical rolling disk. We focus on the role of symmetries of the underlying geometric structures. We demonstrate the computations in the CAS Maple package DifferentialGeometry. △ Less

Submitted 9 August, 2019; originally announced August 2019.

MSC Class: 53C17; 70Q05; 22E60; 37J60

Local geometric control of a certain mechanism with the growth vector (4,7)

Authors: Jaroslav Hrdina, Lenka Zalabova

Abstract: We study local control of the mechanism with the growth vector (4,7). We study controllability and extremal trajectories on the nilpotent approximation as an example of the control theory on Lie group. We give solutions of the system an show examples of local extremal trajectories. We study local control of the mechanism with the growth vector (4,7). We study controllability and extremal trajectories on the nilpotent approximation as an example of the control theory on Lie group. We give solutions of the system an show examples of local extremal trajectories. △ Less

Submitted 20 March, 2019; v1 submitted 23 February, 2018; originally announced February 2018.

MSC Class: 53C17; 93C15; 34H05

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

The generic rank for $A$--plannar structures

Authors: Jaroslav Hrdina

Abstract: The paper mostly collects material on generic rank of $A$--modules with respect to differential geometric applications. Our research was motivated by geometry of $A$--structures. In particular, we discuss the case where $A$ is an unitary associative algebra not necessary with inversion. Some of the examples are studied in detail. The paper mostly collects material on generic rank of $A$--modules with respect to differential geometric applications. Our research was motivated by geometry of $A$--structures. In particular, we discuss the case where $A$ is an unitary associative algebra not necessary with inversion. Some of the examples are studied in detail. △ Less

Submitted 18 June, 2012; originally announced June 2012.

Comments: 6 pages

MSC Class: 53B10

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

Generalized planar curves and quaternionic geometry

Authors: Jaroslav Hrdina, Jan Slovak

Abstract: Motivated by the analogies between the projective and the almost quaternionic geometries, we study the generalized planar curves and mappings. We follow, recover, and extend the classical approach as developed by Mikes and Sinyukov. Then we exploit the impact of the general results in the almost quaternionic geometry. In particular we show, that the natural class of H--planar curves coincides wi… ▽ More Motivated by the analogies between the projective and the almost quaternionic geometries, we study the generalized planar curves and mappings. We follow, recover, and extend the classical approach as developed by Mikes and Sinyukov. Then we exploit the impact of the general results in the almost quaternionic geometry. In particular we show, that the natural class of H--planar curves coincides with the class of all geodesics of the so called Weyl connections and preserving this class turns out to be the necessary and sufficient condition on diffeomorphisms to become morphisms of almost quaternionic geometries. △ Less

Submitted 27 December, 2005; originally announced December 2005.

MSC Class: 53C15