Results 1  10
of
13
A functional quantum programming language
 In: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
, 2005
"... This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are inte ..."
Abstract

Cited by 64 (10 self)
 Add to MetaCart
(Show Context)
This thesis introduces the language QML, a functional language for quantum computations on finite types. QML exhibits quantum data and control structures, and integrates reversible and irreversible quantum computations. The design of QML is guided by the categorical semantics: QML programs are interpreted by morphisms in the category FQC of finite quantum computations, which provides a constructive operational semantics of irreversible quantum computations, realisable as quantum circuits. The quantum circuit model is also given a formal categorical definition via the category FQC. QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings, which may lead to the collapse of the quantum wavefunction, explicit. Strict programs are free from measurement, and hence preserve superpositions and entanglement. A denotational semantics of QML programs is presented, which maps QML terms
Quantum computing with trapped ions
, 2008
"... Quantum computers hold the promise to solve certain computational task much more efficiently than classical computers. We review the recent experimental advancements towards a quantum computer with trapped ions. In particular, various implementations of qubits, quantum gates and some key experiments ..."
Abstract

Cited by 17 (2 self)
 Add to MetaCart
Quantum computers hold the promise to solve certain computational task much more efficiently than classical computers. We review the recent experimental advancements towards a quantum computer with trapped ions. In particular, various implementations of qubits, quantum gates and some key experiments are discussed. Furthermore, we review some implementations of quantum algorithms such as a deterministic teleportation of quantum information and an error correction scheme.
On the transport of atomic ions in linear and multidimensinal ion trap arrays
, 2008
"... Trapped atomic ions have become one of the most promising architectures for a quantum computer, and current effort is now devoted to the transport of trapped ions through complex segmented ion trap structures in order to scale up to much larger numbers of trapped ion qubits. This paper covers severa ..."
Abstract

Cited by 6 (0 self)
 Add to MetaCart
Trapped atomic ions have become one of the most promising architectures for a quantum computer, and current effort is now devoted to the transport of trapped ions through complex segmented ion trap structures in order to scale up to much larger numbers of trapped ion qubits. This paper covers several important issues relevant to ion transport in any type of complex multidimensional rf (Paul) ion trap array. We develop a general theoretical framework for the application of timedependent electric fields to shuttle lasercooled ions along any desired trajectory, and describe a method for determining the effect of arbitrary shuttling schedules on the quantum state of trapped ion motion. In addition to the general case of linear shuttling over short distances, we introduce issues particular to the shuttling through multidimensional junctions, which are required for the arbitrary control of the positions of large arrays of trapped ions. This includes the transport of ions around a corner, through a cross or T junction, and the swapping of positions of multiple ions in a lasercooled crystal. Where possible, we make connection to recent experimental results in a multidimensional T junction trap, where arbitrary 2dimensional transport was realized. 1
High Fidelity Quantum Information Processing with Trapped Ions
, 2006
"... The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline. ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
The final copy of this thesis has been examined by the signatories, and we find that both the content and the form meet acceptable presentation standards of scholarly work in the above mentioned discipline.
Detection and Control of Individual Trapped Ions and Neutral Atoms
, 2008
"... ii ..."
(Show Context)
Scalable, efficient ionphoton coupling with phase Fresnel lenses for largescale quantum computing
, 805
"... Efficient ionphoton coupling is an important component for largescale iontrap quantum computing. We propose that arrays of phase Fresnel lenses (PFLs) are a favorable optical coupling technology to match with multizone ion traps. Both are scalable technologies based on conventional microfabrica ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Efficient ionphoton coupling is an important component for largescale iontrap quantum computing. We propose that arrays of phase Fresnel lenses (PFLs) are a favorable optical coupling technology to match with multizone ion traps. Both are scalable technologies based on conventional microfabrication techniques. The large numerical apertures (NAs) possible with PFLs can reduce the readout time for ion qubits. PFLs also provide good coherent ionphoton coupling by matching a large fraction of an ion’s emission pattern to a single optical propagation mode (TEM00). To this end we have optically characterized a large numerical aperture phase Fresnel lens (NA=0.64) designed for use at 369.5 nm, the principal fluorescence detection transition for Yb + ions. A diffractionlimited spot w0 = 350 ± 15 nm (1/e 2 waist) with mode quality M 2 = 1.08 ± 0.05 was measured with this PFL. From this we estimate the minimum expected free space coherent ionphoton coupling to be 0.64%, which is twice the best previous experimental measurement using a conventional multielement lens. We also evaluate two techniques for improving the entanglement fidelity between the ion state and photon polarization with large numerical aperture lenses.
An algorithm for minimization of quantum cost
 quantph 0910.2129v2
, 2007
"... Abstract: A new algorithm for minimization of quantum cost of classical reversible and quantum circuits have been designed. The quantum cost obtained using the proposed algorithm is compared with the existing results and it is found that the algorithm produces minimum quantum cost in all cases. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
Abstract: A new algorithm for minimization of quantum cost of classical reversible and quantum circuits have been designed. The quantum cost obtained using the proposed algorithm is compared with the existing results and it is found that the algorithm produces minimum quantum cost in all cases.
1 TOC Why Quantum Compute? • Algorithmic speedups.
"... with pdflatex and inkscape • Why quantum compute? • How does it work? • Why is it difficult? • How much can we do today? • What are the prospects? ..."
Abstract
 Add to MetaCart
(Show Context)
with pdflatex and inkscape • Why quantum compute? • How does it work? • Why is it difficult? • How much can we do today? • What are the prospects?
Advisor
, 2007
"... This is to certify that this report entitled “Quantum Computing: A Distributed Approach”, contains the work carried out by Devesh Tiwari, under our supervision and the same has not been submitted elsewhere towards achievement of a degree. Prof. Harish C Karnick from CSE Department has been the admin ..."
Abstract
 Add to MetaCart
(Show Context)
This is to certify that this report entitled “Quantum Computing: A Distributed Approach”, contains the work carried out by Devesh Tiwari, under our supervision and the same has not been submitted elsewhere towards achievement of a degree. Prof. Harish C Karnick from CSE Department has been the administrative coguide for this project without whose help this report could not have been completed.
unknown title
"... (will be inserted by the editor) Quantum associative memory with improved distributed queries ..."
Abstract
 Add to MetaCart
(Show Context)
(will be inserted by the editor) Quantum associative memory with improved distributed queries