Title: Program Perspectives on Quantum Information
1Program Perspectives on Quantum Information
- Michael Foster
- National Science Foundation
2Outline
- Computing Communication Foundations
- QIS Bumper Stickers
- Quantum Computing
- Quantum Key Distribution
- Support agencies
- Where next?
3Why Foundations?
-
4Foundations Everywhere
Infrastructure
Systems
5Quantum InformationBumper Stickers
- Quantum computation
- State superposition provides parallelism
- Quantum communication
- No cloning theorem provides unforgability
- Quantum metrology
- Entanglement provides consistent measurement
6Quantum Computation
7QIP and Moores Law
General Architecture
109
CMOS ICs
106
Lattice-Gas Architecture
TX-2
103
QC Roadmap
1
MIPS
ENIAC
Quantum Dots
10-3
Conventional Computer Roadmap
10-6
Differential Analyzer
1850
2000
1900
1950
2050
Babbage Engine
Year
Liquid NMR
8Power of Qubits
- Qubit state of a quantum two-level system
Continuum of states!
1 classical bit has two states 0 and 1 1 qubit
has infinitely many states!
- Physical realizations of qubits
- photon polarization
- electron spin
- nuclear spin
- pair of electron states in a trapped ion/atom
- magnetic flux state in a Josephson junction ring
- Cooper pair number states, etc.
9Power of Qubits
A classical 3-bit state 001 A
quantum 3-qubit state
N qubits is worth 2n classical bits!
Not entangled
Entangled!
10Power of Quantum Computation
2n values of F(x) all in one go!!
An exponential amount of computation has been
achieved in the time it takes to compute the
function on a single input!
11Quantum Complexity
Provably Q-hard algorithms
Protein Folding?
Graph Isomorphism?
BQP
PSPACE
NP
P
Factorization (Shor)
AjtaiDwork Coding?
NP? BQP?
Unsorted Search (Grover)
12QIP An Example Algorithm
- Permutation Order-Finding (Chuang et al, 00)
- Permutation ? is an operation that rearranges a
set of objects -
-
-
- Order r of a permutation applied to element y of
a set is the minimum number of times ? must be
applied to put y back in its original position - Problem has wide range of applications
(Cryptography)
13Classical versus Quantum
- Quantum approach
- Order is the period of a function
- fy(x) ?x(y)
- Quantum Fourier Transform allows us to find
periods of all ?x(y) with one transform - Exponential speedup-- Minimum number of steps
proportional to bits in y
- Classical approach
- Series of trials to find the x-th permutation
?x(y). -
- Find equality. When ?a(y) ?b(y) then ord(?)
a-b - Number of trials needed increases exponentially
with the number of bits representing y
14Classical Order-Finding
Classical approach
What a permutation really looks like
Check Equality
15Quantum Order-Finding
Equality
Quantum approach
Quantum Fourier Transform Checks Equality in
Parallel
Large Fourier Components
Likely result
16Quantum Fourier Transform (QFT)
- Variant of the Discrete Fourier Transform (DFT)
that can be implemented on a quantum computer - At the heart of Factoring and Order-Finding
problems - QFT transforms state amplitudes to state
amplitudes - NOT qubits to qubits
17QFT in Order Finding
Superpose
QFT
Measure
P
R
H
H
Answer
x
y
?x(y)
- States are measured according to their
probability - Many states at P produce the same ?x(y)
- QFT produces their frequency
- Probably answer reflects large number of states
at P
18Status of Computing
- Proof of concept factoring (2001)
Chuang et al. 4-bit Shor algorithm implementation
(2001)
- Ongoing ion-trap implementation effort
- Some optical lattice efforts
- Solid-state spins moving slowly
19Ion Trap Investigations
- Done (per ARDA Roadmap April 2, 2004)
- 2-qubit operations demonstrated
- Long decoherence times in progress
- 3-10 qubit operations started
- Proposed (individual researchers)
- 10-20 qubit registers
- Architectures with 1000 circulating qubits
- Possibility
- 20 logical qubits (2-level error correct 1000
qubits) - 10 bit factoring
20Optical Lattices
- Done (individual researchers)
- 110 site lattice loaded from BEC with 200
atoms/site - Proposed (individual researchers)
- 8000 sites with CO2 lasers proposed by Berkeley
QuIST project - Filling factor 1/2
- Permits 80 logical qubits
- Permits 40 bit factoring
21Architectural Roadblocks
- Classical control
- Large feature sizes for control lines mean large
computers - Wiring and corners
- Moving qubits leads to decoherence
- Error correction
- More check bits than data bits
- Cumulative effect
- May need 100,000 times longer decoherence times
than required by operations alone (Balensiefer
et. al, ISCA32, 2005, pp186-196).
22Quantum Security
23Quantum Key Distribution
- Use unforgability to detect eavesdropping
- Shared generation of secure key
- Extensive classical processing
24(No Transcript)
25Status of Key Distribution
BBN-AFRL-QuIST Network Rollout June 1, 2004
NEC 2-week demonstration May 31, 2005 (AFRL-QuIST
inside?)
ID Quantique Turnkey System Available throughout
Switzerland June 05
13kb/sec sifted key over 16km commercial access
optical network
26Support Agencies
27DARPA Mission
Focused strategic thrusts Specific
programs Emphasize transition
Source Bridging the Gap February 2005
28DARPA Organization
Source Bridging the Gap February 2005
29QIP in DARPA Organization
Source Bridging the Gap February 2005
30NSF Mission
- National Science Foundation Act of 1950 (Public
Law 810507) - To promote the progress of science
- to advance the national health, prosperity, and
welfare - to secure the national defense
- and for other purposes.
31NSF Organization
32QIP in NSF Organization
33CISE Mission
-
- to enable the United States to remain competitive
in computing, communications, and information
science and engineering - to promote understanding of the principles and
uses of advanced computing, communications, and
information systems in service to society and - to contribute to universal, transparent, and
affordable participation in an information-based
society.
CISE has three goals
34Desired Project Characteristics
- DARPA Fast Results
- Military need
- Technical challenges and plan for meeting them
- Transition plan
- NSF Sustained Effort
- Asks fundamental questions
- Maintains U.S. competitiveness
- Societal need
- Broad participation
35DARPA Program Highlights
QuIST Network Rollout June 1, 2004
Chuang et al. 4-bit Shor algorithm implementation
(2001)
36NSF Program Highlights
- Institute for Quantum
- Information at Caltech
- Quantum Complexity and Polynomial Approximations
of Boolean Functions - Quantum and classical tradeoffs
- Classical simulation of quantum communication.
- Phase transition in biological signaling systems
- Education plan theory of computation courses
CAREER Award Yaoyun Shi at U. Michigan
37Where Next for Communication?
- DARPA
- Long range demonstrations between metronets
- GtoA and GtoS demonstrations
- ConOps for QKD
- NSF
- New protocols
- Security bounds
38Where Next for Computation?
- New algorithms
- Exponential speedups, please!
- (Hashing outdoes unstructured search)
- New applications of existing algorithms
- Pells equation
- Random walk
- Scalable architectures
- Controllable
- Fault tolerant
- Medium-scale implementations
- 10s of qubits
- Probably beyond NSF resources
39The Near Future
- NSF budget is down 3 in 2005, looks flat
- DoD will need transitions beyond crypto
- New algorithms and protocols are needed for the
next push - Scalable architectures too
40The Want Ads
41Program Directors Sought
- Numeric, Symbolic, Geometric computing
- Emerging Models and Technologies
- Interdisciplinary capability
- Across cluster, division, NSF, and globally
42Contact
- Vacancy announcements appear on www.nsf.gov
- Meanwhile contact
- Michael Foster
- Division Director
- Computing Communication Foundations
- National Science Foundation
- 4201 Wilson Boulevard
- Arlington, VA 22230
- 703-292-8910
- mfoster_at_nsf.gov