-
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.
-
A Quantum Approach to the Discretizable Molecular Distance Geometry Problem
Authors:
Carlile Lavor,
Franklin Marquezino,
Andres Oliveira,
Renato Portugal
Abstract:
The Discretizable Molecular Distance Geometry Problem (DMDGP) aims to determine the three-dimensional protein structure using distance information from nuclear magnetic resonance experiments. The DMDGP has a finite number of candidate solutions and can be solved by combinatorial methods. We describe a quantum approach to the DMDGP by using Grover's algorithm with an appropriate oracle function, wh…
▽ More
The Discretizable Molecular Distance Geometry Problem (DMDGP) aims to determine the three-dimensional protein structure using distance information from nuclear magnetic resonance experiments. The DMDGP has a finite number of candidate solutions and can be solved by combinatorial methods. We describe a quantum approach to the DMDGP by using Grover's algorithm with an appropriate oracle function, which is more efficient than classical methods that use brute force. We show computational results by implementing our scheme on IBM quantum computers with a small number of noisy qubits.
△ Less
Submitted 2 December, 2021;
originally announced December 2021.
-
An impossible utopia in distance geometry
Authors:
Germano Abud,
Jorge Alencar,
Carlile Lavor,
Leo Liberti,
Antonio Mucherino
Abstract:
The Distance Geometry Problem asks for a realization of a given weighted graph in $\mathbb{R}^K$. Two variants of this problem, both originating from protein conformation, are based on a given vertex order (which abstracts the protein backbone). Both variants involve an element of discrete decision in the realization of the next vertex in the order using $K$ preceding (already realized) vertices.…
▽ More
The Distance Geometry Problem asks for a realization of a given weighted graph in $\mathbb{R}^K$. Two variants of this problem, both originating from protein conformation, are based on a given vertex order (which abstracts the protein backbone). Both variants involve an element of discrete decision in the realization of the next vertex in the order using $K$ preceding (already realized) vertices. The difference between these variants is that one requires the $K$ preceding vertices to be contiguous. The presence of this constraint allows one to prove, via a combinatorial counting of the number of solutions, that the realization algorithm is fixed-parameter tractable. Its absence, on the other hand, makes it possible to efficiently construct the vertex order directly from the graph. Deriving a combinatorial counting method without using the contiguity requirement would therefore be desirable. In this paper we prove that, unfortunately, such a counting method cannot be devised in general.
△ Less
Submitted 4 October, 2021;
originally announced October 2021.
-
A new algorithm for the $^K$DMDGP subclass of Distance Geometry Problems
Authors:
Douglas S. Goncalves,
Carlile Lavor,
Leo Liberti,
Michael Souza
Abstract:
The fundamental inverse problem in distance geometry is the one of finding positions from inter-point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch-and-Prune (BP) algorithm. It turns out that this combinatorial sea…
▽ More
The fundamental inverse problem in distance geometry is the one of finding positions from inter-point distances. The Discretizable Molecular Distance Geometry Problem (DMDGP) is a subclass of the Distance Geometry Problem (DGP) whose search space can be discretized and represented by a binary tree, which can be explored by a Branch-and-Prune (BP) algorithm. It turns out that this combinatorial search space possesses many interesting symmetry properties that were studied in the last decade. In this paper, we present a new algorithm for this subclass of the DGP, which exploits DMDGP symmetries more effectively than its predecessors. Computational results show that the speedup, with respect to the classic BP algorithm, is considerable for sparse DMDGP instances related to protein conformation.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Cycle-based formulations in Distance Geometry
Authors:
Leo Liberti,
Gabriele Iommazzo,
Carlile Lavor,
Nelson Maculan
Abstract:
The distance geometry problem asks to find a realization of a given simple edge-weighted graph in a Euclidean space of given dimension K, where the edges are realized as straight segments of lengths equal (or as close as possible) to the edge weights. The problem is often modelled as a mathematical programming formulation involving decision variables that determine the position of the vertices in…
▽ More
The distance geometry problem asks to find a realization of a given simple edge-weighted graph in a Euclidean space of given dimension K, where the edges are realized as straight segments of lengths equal (or as close as possible) to the edge weights. The problem is often modelled as a mathematical programming formulation involving decision variables that determine the position of the vertices in the given Euclidean space. Solution algorithms are generally constructed using local or global nonlinear optimization techniques. We present a new modelling technique for this problem where, instead of deciding vertex positions, formulations decide the length of the segments representing the edges in each cycle in the graph, projected in every dimension. We propose an exact formulation and a relaxation based on a Eulerian cycle. We then compare computational results from protein conformation instances obtained with stochastic global optimization techniques on the new cycle-based formulation and on the existing edge-based formulation. While edge-based formulations take less time to reach termination, cycle-based formulations are generally better on solution quality measures.
△ Less
Submitted 28 July, 2023; v1 submitted 20 June, 2020;
originally announced June 2020.
-
A novel low-rank matrix completion approach to estimate missing entries in Euclidean distance matrices
Authors:
Nilson Moreira,
Leonardo Duarte,
Carlile Lavor,
Cristiano Torezzan
Abstract:
A Euclidean Distance Matrix (EDM) is a table of distance-square between points on a k- dimensional Euclidean space, with applications in many fields (e.g. engineering, geodesy, economics, genetics, biochemistry, psychology). A problem that often arises is the absence (or uncertainty) of some EDM elements. In many situations, only a subset of all pairwise distances is available and it is desired to…
▽ More
A Euclidean Distance Matrix (EDM) is a table of distance-square between points on a k- dimensional Euclidean space, with applications in many fields (e.g. engineering, geodesy, economics, genetics, biochemistry, psychology). A problem that often arises is the absence (or uncertainty) of some EDM elements. In many situations, only a subset of all pairwise distances is available and it is desired to have some procedure to estimate the missing distances. In this paper, we address the problem of missing data in EDM through low-rank matrix completion techniques. We exploit the fact that the rank of a EDM is at most k+2 and does not depend on the number of points, which is, in general, much bigger then k. We use a Singular Value Decomposition approach that considers the rank of the matrix to be completed and computes, in each iteration, a parameter that controls the convergence of the method. After performing a number of computational experiments, we could observe that our proposal was able to recover, with high precision, random EDMs with more than one thousand points and up to 98 percent of missing data in few minutes. Additionally, our method required a smaller number of iterations when compared to other competitive state-of-art technique.
△ Less
Submitted 16 November, 2017;
originally announced November 2017.
-
Open research areas in distance geometry
Authors:
Leo Liberti,
Carlile Lavor
Abstract:
Distance Geometry is based on the inverse problem that asks to find the positions of points, in a Euclidean space of given dimension, that are compatible with a given set of distances. We briefly introduce the field, and discuss some open and promising research areas.
Distance Geometry is based on the inverse problem that asks to find the positions of points, in a Euclidean space of given dimension, that are compatible with a given set of distances. We briefly introduce the field, and discuss some open and promising research areas.
△ Less
Submitted 3 October, 2016;
originally announced October 2016.
-
New error measures and methods for realizing protein graphs from distance data
Authors:
Claudia D'Ambrosio,
Ky Vu,
Carlile Lavor,
Leo Liberti,
Nelson Maculan
Abstract:
The interval Distance Geometry Problem (iDGP) consists in finding a realization in $\mathbb{R}^K$ of a simple undirected graph $G=(V,E)$ with nonnegative intervals assigned to the edges in such a way that, for each edge, the Euclidean distance between the realization of the adjacent vertices is within the edge interval bounds. In this paper, we focus on the application to the conformation of prote…
▽ More
The interval Distance Geometry Problem (iDGP) consists in finding a realization in $\mathbb{R}^K$ of a simple undirected graph $G=(V,E)$ with nonnegative intervals assigned to the edges in such a way that, for each edge, the Euclidean distance between the realization of the adjacent vertices is within the edge interval bounds. In this paper, we focus on the application to the conformation of proteins in space, which is a basic step in determining protein function: given interval estimations of some of the inter-atomic distances, find their shape. Among different families of methods for accomplishing this task, we look at mathematical programming based methods, which are well suited for dealing with intervals. The basic question we want to answer is: what is the best such method for the problem? The most meaningful error measure for evaluating solution quality is the coordinate root mean square deviation. We first introduce a new error measure which addresses a particular feature of protein backbones, i.e. many partial reflections also yield acceptable backbones. We then present a set of new and existing quadratic and semidefinite programming formulations of this problem, and a set of new and existing methods for solving these formulations. Finally, we perform a computational evaluation of all the feasible solver$+$formulation combinations according to new and existing error measures, finding that the best methodology is a new heuristic method based on multiplicative weights updates.
△ Less
Submitted 4 July, 2016;
originally announced July 2016.
-
Six mathematical gems from the history of Distance Geometry
Authors:
Leo Liberti,
Carlile Lavor
Abstract:
This is a partial account of the fascinating history of Distance Geometry. We make no claim to completeness, but we do promise a dazzling display of beautiful, elementary mathematics. We prove Heron's formula, Cauchy's theorem on the rigidity of polyhedra, Cayley's generalization of Heron's formula to higher dimensions, Menger's characterization of abstract semi-metric spaces, a result of Goedel o…
▽ More
This is a partial account of the fascinating history of Distance Geometry. We make no claim to completeness, but we do promise a dazzling display of beautiful, elementary mathematics. We prove Heron's formula, Cauchy's theorem on the rigidity of polyhedra, Cayley's generalization of Heron's formula to higher dimensions, Menger's characterization of abstract semi-metric spaces, a result of Goedel on metric spaces on the sphere, and Schoenberg's equivalence of distance and positive semidefinite matrices, which is at the basis of Multidimensional Scaling.
△ Less
Submitted 10 February, 2015;
originally announced February 2015.
-
Global convergence of diluted iterations in maximum-likelihood quantum tomography
Authors:
D. S. Gonçalves,
M. A. Gomes-Ruggiero,
C. Lavor
Abstract:
In this paper we present an inexact stepsize selection for the Diluted RρR algorithm, used to obtain the maximum likelihood estimate to the density matrix in quantum state tomography. We give a new interpretation for the diluted RρR iterations that allows us to prove the global convergence under weaker assumptions. Thus, we propose a new algorithm which is globally convergent and suitable for prac…
▽ More
In this paper we present an inexact stepsize selection for the Diluted RρR algorithm, used to obtain the maximum likelihood estimate to the density matrix in quantum state tomography. We give a new interpretation for the diluted RρR iterations that allows us to prove the global convergence under weaker assumptions. Thus, we propose a new algorithm which is globally convergent and suitable for practical implementation.
△ Less
Submitted 13 June, 2013;
originally announced June 2013.
-
Quantum State Tomography with incomplete data: Maximum Entropy and Variational Quantum Tomography
Authors:
D. S. Gonçalves,
C. Lavor,
M. A. Gomes-Ruggiero,
A. T. Cesário,
R. O. Vianna,
T. O. Maciel
Abstract:
Whenever we do not have an informationally complete set of measurements, the estimate of a quantum state can not be uniquely determined. In this case, among the density matrices compatible with the available data, it is commonly preferred that one which is the most uncommitted with the missing information. This is the purpose of the Maximum Entropy estimation (MaxEnt) and the Variational Quantum T…
▽ More
Whenever we do not have an informationally complete set of measurements, the estimate of a quantum state can not be uniquely determined. In this case, among the density matrices compatible with the available data, it is commonly preferred that one which is the most uncommitted with the missing information. This is the purpose of the Maximum Entropy estimation (MaxEnt) and the Variational Quantum Tomography (VQT). Here, we propose a variant of Variational Quantum Tomography and show its relationship with Maximum Entropy methods in quantum tomographies with incomplete set of measurements. We prove their equivalence in case of eigenbasis measurements, and through numerical simulations we stress their similar behavior. Hence, in the modified VQT formulation we have an estimate of a quantum state as unbiased as in MaxEnt and with the benefit that VQT can be more efficiently solved by means of linear semidefinite programs.
△ Less
Submitted 3 June, 2013;
originally announced June 2013.
-
A New Hybrid Classical-Quantum Algorithm for Continuous Global Optimization Problems
Authors:
Pedro Lara,
Renato Portugal,
Carlile Lavor
Abstract:
Grover's algorithm can be employed in global optimization methods providing, in some cases, a quadratic speedup over classical algorithms. This paper describes a new method for continuous global optimization problems that uses a classical algorithm for finding a local minimum and Grover's algorithm to escape from this local minimum. Simulations with testbed functions and comparisons with algorithm…
▽ More
Grover's algorithm can be employed in global optimization methods providing, in some cases, a quadratic speedup over classical algorithms. This paper describes a new method for continuous global optimization problems that uses a classical algorithm for finding a local minimum and Grover's algorithm to escape from this local minimum. Simulations with testbed functions and comparisons with algorithms from the literature are presented.
△ Less
Submitted 20 January, 2013;
originally announced January 2013.
-
Euclidean distance geometry and applications
Authors:
Leo Liberti,
Carlile Lavor,
Nelson Maculan,
Antonio Mucherino
Abstract:
Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in Euclidean space that realizes the given distances. We survey some of the theory of Euclidean distance geometry and some of the most important applications: molecu…
▽ More
Euclidean distance geometry is the study of Euclidean geometry based on the concept of distance. This is useful in several applications where the input data consists of an incomplete set of distances, and the output is a set of points in Euclidean space that realizes the given distances. We survey some of the theory of Euclidean distance geometry and some of the most important applications: molecular conformation, localization of sensor networks and statics.
△ Less
Submitted 2 May, 2012;
originally announced May 2012.
-
Local solutions of Maximum Likelihood Estimation in Quantum State Tomography
Authors:
Douglas S. Gonçalves,
Márcia A. Gomes-Ruggiero,
Carlile Lavor,
Osvaldo Jiménez Farías,
P. H. Souto Ribeiro
Abstract:
Maximum likelihood estimation is one of the most used methods in quantum state tomography, where the aim is to reconstruct the density matrix of a physical system from measurement results. One strategy to deal with positivity and unit trace constraints is to parameterize the matrix to be reconstructed in order to ensure that it is physical. In this case, the negative log-likelihood function in ter…
▽ More
Maximum likelihood estimation is one of the most used methods in quantum state tomography, where the aim is to reconstruct the density matrix of a physical system from measurement results. One strategy to deal with positivity and unit trace constraints is to parameterize the matrix to be reconstructed in order to ensure that it is physical. In this case, the negative log-likelihood function in terms of the parameters, may have several local minima. In various papers in the field, a source of errors in this process has been associated to the possibility that most of these local minima are not global, so that optimization methods could be trapped in the wrong minimum, leading to a wrong density matrix. Here we show that, for convex negative log-likelihood functions, all local minima of the unconstrained parameterized problem are global, thus any minimizer leads to the maximum likelihood estimation for the density matrix. We also discuss some practical sources of errors.
△ Less
Submitted 26 June, 2012; v1 submitted 18 March, 2011;
originally announced March 2011.
-
Polynomial cases of the Discretizable Molecular Distance Geometry Problem
Authors:
Leo Liberti,
Carlile Lavor,
Benoit Masson,
Antonio Mucherino
Abstract:
An important application of distance geometry to biochemistry studies the embeddings of the vertices of a weighted graph in the three-dimensional Euclidean space such that the edge weights are equal to the Euclidean distances between corresponding point pairs. When the graph represents the backbone of a protein, one can exploit the natural vertex order to show that the search space for feasible em…
▽ More
An important application of distance geometry to biochemistry studies the embeddings of the vertices of a weighted graph in the three-dimensional Euclidean space such that the edge weights are equal to the Euclidean distances between corresponding point pairs. When the graph represents the backbone of a protein, one can exploit the natural vertex order to show that the search space for feasible embeddings is discrete. The corresponding decision problem can be solved using a binary tree based search procedure which is exponential in the worst case. We discuss assumptions that bound the search tree width to a polynomial size.
△ Less
Submitted 7 March, 2011;
originally announced March 2011.
-
On the number of solutions of the discretizable molecular distance geometry problem
Authors:
Leo Liberti,
Benoit Masson,
Jon Lee,
Carlile Lavor,
Antonio Mucherino
Abstract:
The Generalized Discretizable Molecular Distance Geometry Problem is a distance geometry problems that can be solved by a combinatorial algorithm called ``Branch-and-Prune''. It was observed empirically that the number of solutions of YES instances is always a power of two. We give a proof that this event happens with probability one.
The Generalized Discretizable Molecular Distance Geometry Problem is a distance geometry problems that can be solved by a combinatorial algorithm called ``Branch-and-Prune''. It was observed empirically that the number of solutions of YES instances is always a power of two. We give a proof that this event happens with probability one.
△ Less
Submitted 9 October, 2010;
originally announced October 2010.
-
The Discretizable Molecular Distance Geometry Problem
Authors:
Carlile Lavor,
Leo Liberti,
Nelson Maculan
Abstract:
Given a weighted undirected graph $G=(V,E,d)$, the Molecular Distance Geometry Problem (MDGP) is that of finding a function $x:G\to \mathbb{R}^{3}$, where $||x(u)-x(v)||=d(u,v)$ for each $\{u,v\}\in E$. We show that under a few assumptions usually satisfied in proteins, the MDGP can be formulated as a search in a discrete space. We call this MDGP subclass the Discretizable MDGP (DMDGP). We show…
▽ More
Given a weighted undirected graph $G=(V,E,d)$, the Molecular Distance Geometry Problem (MDGP) is that of finding a function $x:G\to \mathbb{R}^{3}$, where $||x(u)-x(v)||=d(u,v)$ for each $\{u,v\}\in E$. We show that under a few assumptions usually satisfied in proteins, the MDGP can be formulated as a search in a discrete space. We call this MDGP subclass the Discretizable MDGP (DMDGP). We show that the DMDGP is \textbf{NP}-complete and we propose an algorithm, called Branch-and-Prune (BP), which solves the DMDGP exactly. The BP algorithm performs exceptionally well in terms of solution accuracy and can find all solutions to any DMDGP instance. We successfully test the BP algorithm on several randomly generated instances.
△ Less
Submitted 5 August, 2006;
originally announced August 2006.
-
Comments on quant-ph/0506137: Fast quantum search algorithms by qubit comparisons exploiting global phase interference
Authors:
L. A. B. Kowada,
C. M. H. de Figueiredo,
R. Portugal,
C. C. Lavor
Abstract:
Recently, Andreas de Vries proposed a quantum algorithm that would find an element in an unsorted database exponentially faster than Grover's algorithm. We show that de Vries' algorithm does not work as intended and does not give any clue about the position of the searched element.
Recently, Andreas de Vries proposed a quantum algorithm that would find an element in an unsorted database exponentially faster than Grover's algorithm. We show that de Vries' algorithm does not work as intended and does not give any clue about the position of the searched element.
△ Less
Submitted 13 July, 2005;
originally announced July 2005.
-
Shor's Algorithm for Factoring Large Integers
Authors:
C. Lavor,
L. R. U. Manssur,
R. Portugal
Abstract:
This work is a tutorial on Shor's factoring algorithm by means of a worked out example. Some basic concepts of Quantum Mechanics and quantum circuits are reviewed. It is intended for non-specialists which have basic knowledge on undergraduate Linear Algebra.
This work is a tutorial on Shor's factoring algorithm by means of a worked out example. Some basic concepts of Quantum Mechanics and quantum circuits are reviewed. It is intended for non-specialists which have basic knowledge on undergraduate Linear Algebra.
△ Less
Submitted 29 March, 2003;
originally announced March 2003.
-
Grover's Algorithm: Quantum Database Search
Authors:
C. Lavor,
L. R. U. Manssur,
R. Portugal
Abstract:
We review Grover's algorithm by means of a detailed geometrical interpretation and a worked out example. Some basic concepts of Quantum Mechanics and quantum circuits are also reviewed. This work is intended for non-specialists which have basic knowledge on undergraduate Linear Algebra.
We review Grover's algorithm by means of a detailed geometrical interpretation and a worked out example. Some basic concepts of Quantum Mechanics and quantum circuits are also reviewed. This work is intended for non-specialists which have basic knowledge on undergraduate Linear Algebra.
△ Less
Submitted 15 January, 2003;
originally announced January 2003.