Quantum computing algorithms for inverse problems on graphs and an NP-complete inverse problem

06/08/2023
by   Joonas Ilmavirta, et al.
0

We consider an inverse problem for a finite graph (X,E) where we are given a subset of vertices B⊂ X and the distances d_(X,E)(b_1,b_2) of all vertices b_1,b_2∈ B. The distance of points x_1,x_2∈ X is defined as the minimal number of edges needed to connect two vertices, so all edges have length 1. The inverse problem is a discrete version of the boundary rigidity problem in Riemannian geometry or the inverse travel time problem in geophysics. We will show that this problem has unique solution under certain conditions and develop quantum computing methods to solve it. We prove the following uniqueness result: when (X,E) is a tree and B is the set of leaves of the tree, the graph (X,E) can be uniquely determined in the class of all graphs having a fixed number of vertices. We present a quantum computing algorithm which produces a graph (X,E), or one of those, which has a given number of vertices and the required distances between vertices in B. To this end we develop an algorithm that takes in a qubit representation of a graph and combine it with Grover's search algorithm. The algorithm can be implemented using only O(|X|^2) qubits, the same order as the number of elements in the adjacency matrix of (X,E). It also has a quadratic improvement in computational cost compared to standard classical algorithms. Finally, we consider applications in theory of computation, and show that a slight modification of the above inverse problem is NP-complete: all NP-problems can be reduced to a discrete inverse problem we consider.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/27/2018

Computing the metric dimension by decomposing graphs into extended biconnected components

A vertex set U ⊆ V of an undirected graph G=(V,E) is a resolving set for...
research
08/30/2022

Simpler and efficient characterizations of tree t-spanners for graphs with few P4's and (k, l)-graphs

A tree t-spanner of a graph G is a spanning tree T in which the distance...
research
02/22/2022

A QUBO formulation for the Tree Containment problem

Phylogenetic (evolutionary) trees and networks are leaf-labeled graphs t...
research
03/22/2021

Continuous mean distance of a weighted graph

We study the concept of the continuous mean distance of a weighted graph...
research
09/29/2022

Quantum invariants for the graph isomorphism problem

Graph Isomorphism is such an important problem in computer science, that...
research
01/03/2021

Computing Cliques and Cavities in Networks

Complex networks have complete subgraphs such as nodes, edges, triangles...
research
12/13/2018

Polygon Simplification by Minimizing Convex Corners

Let P be a polygon with r>0 reflex vertices and possibly with holes and ...

Please sign up or login with your details

Forgot password? Click here to reset