Searcharxiv⌕ Search

arXiv subjects

Petr Vašík

Publications and source records attributed to Petr Vašík.

4 recordsLinked to original sources

On Relationship Between Circuit Depth and Trainability of VQAs

The training efficiency of Variational Quantum Algorithms (VQAs) is dictated by the geometry of their loss landscapes, which can be formally analysed by mapping these functions to random fields on manifolds. Instead of VQAs, we can then directly study the corresponding random fields, in our case, the Wishart Hypertoroidal Random Fields (WHRFs). We are mostly interested in the distribution of critical points (especially local minima) of WHRFs. For this purpose, the Kac-Rice formula is presented, reformulated, and simulated. The findings identify a phase transition in the distribution of local minima. Beyond a specific threshold, local minima concentrate near the global minimum in function value, meaning that even local minima are good approximators of the global one. The threshold is governed by the ratio between the problem Hamiltonian degrees of freedom and by the number of independent parameters in the VQA. Since the degrees of freedom parameter scales exponentially, we propose symmetry reduction operations to lower the degrees of freedom. This mathematically reduces the dimension, scaling down the required parameter threshold and enabling to solve bigger problems.

quant-ph↗

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↗

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

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.

math.OC↗

On multi-conditioned conic fitting in Geometric algebra for conics

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.

math.NA↗