Download Quantum Rendering - University of Michigan

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Topological quantum field theory wikipedia , lookup

Event symmetry wikipedia , lookup

Line (geometry) wikipedia , lookup

Quantum gravity wikipedia , lookup

T-symmetry wikipedia , lookup

Transcript
Quantum Computational
Geometry
Marco Lanzagorta
Jeffrey K. Uhlmann
Center for Computational Science
US Naval Research Laboratory
Department for Computer Science
University of Missouri-Columbia
Unclassified
1
Introduction
Unclassified
2
Objective
• To investigate how a quantum computer
could be used as a fully functional
computational device to solve real problems
found in a wide variety of scientific,
industrial and military software systems.
– Explore the applications of QC beyond its use
as a dedicated cryptographic device or a
quantum physics simulator.
Unclassified
3
Computational
Geometry
• Computational Geometry is concerned with
the computational complexity of geometric
problems that arise in a variety of
disciplines.
–
–
–
–
–
Computer Graphics
Computer Vision
Virtual Reality
Multi-Object Simulation and Visualization
Multi-Target Tracking.
Unclassified
4
Some Computational
Geometry Problems
• Many of the most fundamental problems in
computational geometry involve:
– Multidimensional searches
• Search for those objects in space that satisfy a
certain query criteria.
– Representation of spatial information
• Determination of the convex hull of a set of points.
• Determination of object-object intersections.
Unclassified
5
Relevance to Naval
Systems
• These computational geometry problems arise in a
wide variety of defense systems of interest to the
US Navy.
–
–
–
–
–
Modeling & Simulation of Combat Platforms
VR Training Systems
Command and Control Systems
Missile Defense Systems
Missile and Unmanned Aerial Vehicles Guidance
Systems
– Data Fusion in Network Centric Warfare Systems
– Robotics
Unclassified
6
Grover’s Algorithm
Unclassified
7
Grover’s Algorithm
Quantum algorithm developed by Grover to
perform a search of an item from an unsorted,
unstructured list of N records.
– Performs the search in O(N1/2)
• Instead of the O(N) required by brute force methods in
classical computing.
• It can be shown that Grover’s algorithm is optimal: no
other quantum algorithm can solve the search problem
in less than O(N1/2).
Unclassified
8
Classical Data
Structures
• Any comparative analysis between CC and QC should
acknowledge the existence of classical data structures.
– Speed up classical computational tasks
– Reorganize the original format of the data set in a way that
increases efficiency, abstraction and reusability
– Caveats: Require a non-constant time process to store the
data, and it may increase the space/storage complexity of the
original data set.
Unclassified
9
Exact-Match
Retrieval Queries
• Exact-match retrieval queries: Is a specific
element present in the database?
• If a classical algorithm is permitted to spend
O(N log(N)) time to structure the database a
variety of searches can be performed in O(log(N))
time or better.
– A “hash table” can be created in O(N) and it can find an
item in a list in O(1).
• Therefore, classical data structures seem to be
superior to any quantum algorithm in terms of
asymptotic query-time complexity.
Unclassified
10
What Grover’s Algorithm
Isn’t Good For
• If there is no way to sort and/or structure the
dataset, then Grover’s algorithm for exact-match
retrieval is unbeatable.
• However, all the known scientific, industrial,
military and financial datasets of practical interest
are alphanumerical strings that somehow can be
sorted, structured and ordered.
• Grover’s algorithm is most appropriate for some
multidimensional spatial search problems found in
the realm of computational geometry.
Unclassified
11
Quantum Multidimensional
Range Searches
Unclassified
12
Multidimensional
Range Searches
• Multidimensional search problems are usually cast
in the form of query-answer:
– Given a collection of points in space, one is to find
those that satisfy a certain query criteria.
• Range queries require the identification of all
points within a d-dimensional coordinate aligned
box.
– Range queries are the most general multidimensional
queries and special cases of general region queries.
– Optimality results for range queries provide lower
bounds for more sophisticated queries.
Unclassified
13
Classical Range Queries:
Linear Space
• Given a dataset of N points, a classical data
structure of size O(N) can be used to satisfy
range queries in O(N1-1/d + k) time, where k
is the number of points satisfying the query
and d is the number of dimensions. This is
optimal.
Unclassified
14
Classical Range Queries:
Non-Linear Space
• In many applications it is possible within the CC
framework to optimize a tradeoff between
execution time and storage.
• In particular, range queries can be satisfied in
O(log d-1 N+k) time using O(N log d-1 N) storage.
• The storage complexity becomes problematic for
large N, e.g., if N is 1 million, the storage in 3D is
multiplied by a factor of 400.
Unclassified
15
Quantum Range
Queries
• It can be shown that Grover’s quantum
search algorithm permits general spatial
search queries to be performed with
O((N/k)1/2 + k log k) complexity.
• If k is essentially a constant, then quantum
range queries can be satisfied in O(N1/2)
time, where the exponent is independent of
the dimensionality.
Unclassified
16
Spatial Search
Comparisons
Search Type
Classical
General
Preprocessing
Time
Space
Resources
O(N1-1/d )
O(N)
O(logd-1 N)
O(N logd-1 N)
O(N1/2)
O(log N)
O(N)
Classical
O(N log N)
Linear Space
Classical Non- O(N logd-1 N)
Linear Space
Quantum
General
Query
Time
O(N)
O(N)
d = space dimensions
Unclassified
O(N)
17
Practical
Considerations
• By far the greatest practical advantage offered
by quantum computing is the ability to store
pointers to N data items using only log(N)
qubits.
• The quantum O(N1/2) complexity may prove
to be problematic for large N if the QC runtime coefficients are not extremely small.
Unclassified
18
Quantum Determination of
the Convex Hull
Unclassified
19
The Convex Hull
• The convex hull of a set of points S is the
smallest convex set that contains S.
• The determination of the convex hull is a
computational geometry problem that
emphasizes the representation of spatial
information.
• The convex hull of a set of points is used to
represent its spatial extent.
Unclassified
20
CC Convex Hull
Algorithms
• The most efficient classical algorithm (known to
date) to compute the convex hull requires
O(N log(h)) time for N objects with h points
forming the convex hull.
– h is usually a constant.
• The Jarvis-March algorithm calculates the convex
hull in O(N h), but it is a good candidate to be
ported to a quantum computer using Grover’s
algorithm.
Unclassified
21
Jarvis-March
Algorithm
• Identify a point in the convex hull (the one
with the minimum x-coordinate), then, for
each point in the dataset:
– Compute the angles between the line y=0 and
every point in the dataset. The line with the
smallest angle goes through the next point in
the convex hull.
• Overall complexity is O(N h).
Unclassified
22
Quantum JarvisMarch Algorithm
• Each successive point can be determined
after the application of a simple calculation
for each of the points in the dataset.
• The angles for the points in each step can be
computed, and the minimum point retrieved
in O(N1/2) using Grover’s algorithm.
• Overall complexity of O(N1/2 h).
Unclassified
23
Comparison of Convex
Hull Algorithms
Method
Computation
Time
Space Resources
Classical
O(N log(h))
O(N)
Quantum
O(N1/2 h)
O(log N)
N = Total number of points.
h = Number of points comprising the hull
Unclassified
24
Quantum Determination of
Object-Object Intersections
Unclassified
25
Classical Algorithms
• Given a set of N objects, in general it is
impossible to avoid spending O(N2) time
checking whether or not each pair of objects
intersect.
• For coordinated-aligned orthogonal boxes,
it is possible to determine the intersections
in O(N logd-2(N) + m) time, where m is the
total number of intersections.
Unclassified
26
A Grover-Based
Quantum Algorithm
• Assume that O(1) time is sufficient to determine
whether a pair of objects intersect.
• Construct a quantum register that enumerates all
the possible N2 pairs of objects in O(log N) time.
• Use Grover’s algorithm to determine which
objects intersect and retrieve them.
• This algorithm has O(N/m1/2 + m log m) time
complexity.
Unclassified
27
Comparison of Intersection
Detection Algorithms
Method
Computation Time
Space Resources
Classical for General
Objects
O(N2)
O(N)
Quantum for General
Objects
Classical for CoordAlign Boxes
O(N/m1/2 + m log m)
O(log N)
O(N logd-2 (N) + m)
O(N)
Quantum for CoordAlign Boxes
O(N/m1/2 + m log m)
O(log N)
N = Total number of
objects
Unclassified
m = Total number of
intersections
28
Advantages of the
Quantum Solution
• The quantum algorithm is attractive because of its
generality.
• The complexity of the quantum algorithm holds for
any class of objects for which comparisons take
O(1) time.
– Annuli with arbitrary radii for sonar applications.
– Nurbs and surface patches in computer graphics.
• No classical method exists for efficiently identifying
intersections among general objects with curved
surfaces.
Unclassified
29
Conclusions
Unclassified
30
On the positive side…
• We have discussed efficient applications of
Grover’s algorithm to computational geometry
problems.
• We have described quantum algorithms which
outperform the best classical computing
algorithms currently known.
• The algorithms describe combine classical and
quantum computing techniques, and resources
from both types of hardware.
Unclassified
31
On the negative side…
• The success of these algorithms presumes:
– A smooth integration between classical and quantum
computational systems.
– The realization of an efficient (approximate) quantum
register copying circuit.
– Quantum software able to compile general purpose
Grover’s “black box” functions and oracles.
– The engineering and manufacturing of stable (quantum
noise resistant) quantum registers with logarithmic
space complexity.
Unclassified
32