Searcharxiv⌕ Search

arXiv subjects

Jaroslav Hrdina

Publications and source records attributed to Jaroslav Hrdina.

14 recordsLinked to original sources
arXiv2026

Quantum Computing Algebra (QCA), the theory and implementation

We present a real geometric algebra framework designed for the direct translation of the Dirac formalism into geometric algebra representations. Unlike previous approaches based on positive-definite signatures, QCA employs a split-signature construction that enables a natural realization of quantum states and operators while simplifying computational implementation. We further present an implementation of QCA using the \textit{GAALOP} software and show how quantum gates and multi-qubit systems can be efficiently represented and generated computationally. As an application, we demonstrate the use of QCA in quantum game theory, where the real-algebraic formulation provides computational advantages for modeling entangled strategies and quantum interactions. The proposed framework establishes a practical bridge between the abstract formalism of quantum computation and efficient geometric algebra implementations.

quant-ph↗
arXiv2025

Understanding the Geometry of Faulted Power Systems under High Penetration of Inverter-Based Resources via Ellipse Fitting and Geometric Algebra

Power systems with high penetration of inverter-based resources (IBR) present significant challenges for conventional protection schemes, with traditional distance protection methods failing to detect line-to-line faults during asymmetric conditions. This paper presents a methodology for electrical fault detection and classification using ellipse fitting and geometric algebra applied to voltage and current space curves. The approach characterizes electrical faults by fitting ellipses to voltage vector data, enabling fault detection with only a quarter-cycle. The method employs bivector components for line-to-ground fault classification, while ellipse parameters identify line-to-line and three-phase faults. The geometric representation preserves voltage or current curve shapes in three-dimensional space, overcoming Clarke transform limitations when zero-sequence components are present. Validation using simulations and laboratory experiments demonstrates accurate fault identification and magnitude estimation, providing enhanced power system protection capabilities.

eess.SY↗
arXiv2023

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

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.

math.QA↗
arXiv2022

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

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.

math.DG↗
arXiv2022

Quantum Register Algebra: the mathematical language for quantum computing

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.

quant-ph↗
arXiv2022

On symmetries of a sub--Riemannian structure with growth vector $(4,7)$

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.

math.DG↗
arXiv2022

Quantum computing based on complex Clifford algebras

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.

quant-ph↗
arXiv2020

Projective Geometric Algebra as a Subalgebra of Conformal Geometric algebra

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.

math.AG↗
arXiv2016

Nilpotent approximation of a trident snake robot controlling distribution

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.

math.DG↗
arXiv2012

The generic rank for $A$--plannar structures

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.

math.DG↗
arXiv2012

Geometry of almost Cliffordian manifolds: classes of subordinated connections

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.

math.DG↗
arXiv2005

Generalized planar curves and quaternionic geometry

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.

math.DG↗