Thesis (Ph.D.) - University of Queensland, 2006. / Includes bibliography.

published_or_final_version / abstract / Physics / Master / Master of Philosophy

published_or_final_version / Physics / Doctoral / Doctor of Philosophy

Spin-frustrated molecular triangles have four low-lying energy states, so called chiral states, which can be employed as the unit of information, qubit, in a quantum computer. The fact that the chiral states are characterized by two quantum numbers chirality and spin allows the control of the magnetization of the molecule by an electric field due to the spin-electric interaction. Unlike a magnetic field, electric fields can be applied spatially and temporally on the scale of single molecules, as an electric impulse by using a scanning tunneling microscope (STM) tip. In this thesis, I report on, i. Theoretical description of spin-frustrated molecular triangles based on sym-metry group theory, ii. Modeling of the system by using an extended Hubbard Hamiltonian includ-ing spin-orbit coupling and an external magnetic field. iii. Modeling of the spin-electric interaction for a spin-frustrated molecular tri-angle. iv. Studying the chiral states by performing numerical calculations based on exact diagonalization of the Hubbard Hamiltonian. v. Investigating the electrical control of the chiral qubits through numerical calculation.

動力學解耦(DD) 是一種源於核磁共振(NMR) 的技術。通過快速地控制量子系統， DD可以把不需要的耦合抑制。它可以用來保護處於噪音環境中的量于系統或者用來測量環境噪音譜，甚至它可以用來測量單分子的核磁共振信號。 / 在論文的第一部分，我們主要研究和設計DD技術來保護量子系統。(i)我們提出最套DD來保護量子算符，例如嵌套Uhrig DD (NUDD)。NUDD保護一個相互正交算符集(MOOS); 通過保護這個MOOS算符集， NUDD可以保護所有由MOOS生成的算符。對於量子比特系統，任何一個物理量都可以由NUDD保護;而且，NUDD可以通過單量子比特的操作實現。由於對於單量子比特系統， NUDD 剛好是內層含有偶數階UDD 的quadratic DD (QDD). 所以我們證明了內層含有偶數階UDD 的QDD可以達到設計上所期待的效能。隨著解耦階數的增長， NUDD 只需要多項式增長的脈衝數目，而以前的最套DD(CDD)則要指數增長的脈衝數目。基於保護MOOS 的DD可以用一種通用的有限寬度的服衝代替理想的瞬時脈衝，這種非瞬時的脈衝只會引起正比於脈衝寬度的二階小量的誤差。(ii) 我們也證明了，如果一個動態操控方法能夠以一定的控制精度O(TN +1 )控制一個與不依賴於時間的通屬量子庫耦合的量子系統，那麼它也能夠以同樣階數的精度控制含時的這類系統。這裡T是很短的控制時間。這個結果拓展了各種普適量子控制方法的應用範圍，使它們也可以用於含時系統。(iii) 一個量子系統如果和一個無限大的環境耦合，它會受到馬科夫噪音的影響。這種噪音的關聯函數對於時間的級數展開會有奇數項。我們證明，對於這種噪音， DD不會特別有效，因為退相干只能被DD抑制到一定的階數(以時間的級數展開的階數計算)。在這種噪音下，我們做了DD 的脈衝優化。我們發現，當脈衝比較少的時候，它和UDD序列一樣，但當脈衝比較多的時候，它接近於Carr-Purcell-Meiboom-Gill(CPMG)序列 。對於關聯函數對時間的級數展開含有線性項的情況， CPMG序列在時間很短的情況下是最優的。我們也得到了外加約束條件的做衝序列優化方程組，通過解這方程組，我們得到了一些DD序列，它們可以完全消去由非均勻展寬導致的退相干。(iv) 我們通過一個例子演示了，如果我們不能解析地優化量子控制方案，遺傳算法是很有用的。遺傳算法可以有效地得到優化的控制方案。對比以前的控制方案，我們通過遺傳算法得到的控制方案在性能上好很多。 / 在論文的第二部分，我們提出用原子干涉技術和動力學解捐助〈衝技術來選擇性地測量隨時間變化的引力場。通過惆整脈衝序列的時間，我們可以提取特定頻率下的信號或者噪音譜。我們得到了通用的相移公式。這些公式對於任意的π 脈衝序列都適用。當引力場的漲落對於光子的頻率的變化可以忽略的時候，由引力場引起的相位差和序列時間T的二次方成正比，或者對於某個測量頻率，相位差和脈衝數N成正比。對於引力波探測，這個相位差和自永衝數N的平方成正比，所以，對比於以前的π/2一π一π/2序列，我們的方法提供了額外的N²倍信號放大。 / Dynamical decoupling (DD) is a technique originated from the spin echo techniques in nuclear magnetic resonance (NMR). DD can average out unwanted couplings through fast control on the quantum systems. It has applications in protection of quantum systems from noisy environments, measurements of environmental noise spectra, and even NMR of single molecule. / In the first part of this thesis, we study and design DD techniques for quantum system preservation. (i) We propose nested DD, such as nested Uhrig DD (NUDD), for protection of system operators. NUDD protects a set of mutually orthogonal operators (a MOOS) and hence all system operators generated by the MOOS. For multiqubit systems, any physical quantities can be protected, and NUDD can be implemented by single-qubit operations. For single-qubit systems NUDD reduces to quadratic DD (QDD) with even-order UDD on the inner level. Thus we have proved the validity of QDD with even-order DD on the inner level. NUDD achieves a desired decoupling order with only a polynomial increase in the number of pulses, with exponential saving of the number of pulses as compared with concatenated DD (CDD) of the same decoupling order. DD based on protection of a MOOS can be implemented with pulses of finite amplitude, up to an error in the second order of the pulse durations. (ii) We also establish that if a scheme can control a time-independent system arbitrarily coupled to a generic finite bath over a short period oftime T with control precision O(T[superscript N]⁺¹), it can also realize the control with the same order of precision on smoothly time-dependent systems. This result extends the validity of various universal dynamical control schemes to arbitrary analytically time-dependent systems. (iii) A quantum systems coupled to infinite baths feels a Markovian noise. The short-time correlation function expansion of this noise has odd-order expansion terms. We proof that in this case DD is not very efficient and the decoherence can be suppressed only to some order in short-time T. In the optimization of pulse sequence for a qubit under dephasing due to Markovian noise, the optimal sequences coincide the Uhrig DD sequence when the number N of pulses is small, and they resemble Carr-Purcell-Meiboom-Gill (CPMG) sequences when N is large. For a special case, if the short-time correlation function expansion has a linear term in time, the CPMG sequences are optimal in short-time limit. We have also derived the optimizing equations for suppressing decoherence with arbitrary constraints, and have obtained optimized sequences that can also perfectly eliminate the decoherence due to inhomogeneous broadening. (iv) When analytic results is not possible, we demonstrate that genetic algorithm may be useful by showing an optimized quantum control which has much better performance than the previous results. / In the second part, we combine atom interferometry and dynamical decoupling pulse sequences to selectively measure time-dependent gravitational fields. Using the pulse sequences, we can extract signals or noise with certain frequencies by tuning the timing of the sequences. We obtain the general phase-shift formulas for arbitrary π pulse sequences. When the effect of gravity fluctuations on the light is not considered in the interferometers, the phase shift due to gravitational fields scales quadratically with the duration time T of pulse sequences or linearly with the number N of pulses for a given detection frequency. For gravitational wave detection, the phase shift due to the spacetime fluctuations scales quadratic ally with the number N of pulses, N²-fold enhancement over the traditional π/2-π-π/2 sequences. / Detailed summary in vernacular field only. / Detailed summary in vernacular field only. / Detailed summary in vernacular field only. / Wang, Zhenyu = 信息處理和頻譜測定中的量子相干動態操控 / 王振宇. / "December 2011." / Thesis (Ph.D.)--Chinese University of Hong Kong, 2012. / Includes bibliographical references (leaves 100-112). / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Abstract also in Chinese. / Wang, Zhenyu = Xin xi chu li he pin pu ce ding zhong de liang zi xiang gan dong tai cao kong / Wang Zhenyu. / Abstract --- p.iii / Acknowledgment --- p.vii / List of Figures --- p.xiii / List of Appendices --- p.xiv / Chapter 1 --- Introduction and Outline --- p.1 / Chapter I --- Dynamical Control of Quantum Coherence / Chapter 2 --- Introduction --- p.5 / Chapter 3 --- Decoherence and Dynamical Control --- p.11 / Chapter 3.1 --- Quantum decoherence --- p.11 / Chapter 3.1.1 --- Semiclassical picture of decoherence --- p.12 / Chapter 3.1.2 --- Quantum picture of decoherence --- p.13 / Chapter 3.2 --- Dynamical control of open quantum systems --- p.14 / Chapter 3.3 --- Protection of system operators --- p.15 / Chapter 4 --- Dynamical Oecoupling for Quantum Systems --- p.19 / Chapter 4.1 --- Dynamical decoupling for a qubit --- p.19 / Chapter 4.1.1 --- A semiclassical model --- p.19 / Chapter 4.1.1.1 --- Filter functions --- p.21 / Chapter 4.1.2 --- Geometrical view of decoherence and control --- p.22 / Chapter 4.1.3 --- Uhrig dynamical decoupling (UDD) --- p.25 / Chapter 4.2 --- Nested dynamical decoupling for quantum systems --- p.26 / Chapter 4.2.1 --- Mutually orthogonal operation set --- p.26 / Chapter 4.2.2 --- Lowest-order protection of system operators --- p.29 / Chapter 4.2.3 --- Higher-order protection by nesting and concatenation --- p.31 / Chapter 4.2.4 --- Higher-order protection by nested UDD (NUDD) --- p.33 / Chapter 4.2.4.1 --- A theorem on UDD control of time-dependent systerns --- p.34 / Chapter 4.2.4.2 --- Nested Uhrig dynamical decoupling (NUDD) --- p.37 / Chapter 4.2.5 --- Pulses of finite amplitude --- p.39 / Chapter 5 --- Dynamical Control for Time-Dependent Hamiltonians --- p.43 / Chapter 5.1 --- Universal control of time-independent systems --- p.44 / Chapter 5.2 --- Time-dependence in interaction frames --- p.44 / Chapter 5.3 --- Generalization to time-dependent systems --- p.45 / Chapter 6 --- Dynamical Decoupling for Noise Spectra with Soft Cutoff --- p.49 / Chapter 6.1 --- Decoherence functions in frequency domain --- p.50 / Chapter 6.2 --- Performance of dynamical decoupling against noise with soft highfrequency cutoff --- p.53 / Chapter 6.3 --- Relation between noise correlation and high-frequency cutoff --- p.54 / Chapter 6.4 --- Sequence optimization --- p.57 / Chapter 6.4.1 --- Short-time optimization --- p.57 / Chapter 6.4.2 --- Optimization with constraints --- p.59 / Chapter 7 --- Design of Optimal Control by Genetic Algorithm --- p.64 / Chapter 8 --- Summary and Discussions --- p.69 / Chapter II --- Dynamical Decoupling for Gravitational Spectrometry / Chapter 9 --- Introduction --- p.73 / Chapter 10 --- Selective Detection of Gravitational Field by Dynamical Decoupling --- p.75 / Chapter 10.1 --- Atom interferometry --- p.75 / Chapter 10.2 --- Phase shift calculation --- p.76 / Chapter 10.2.1 --- Path phase Δφ[subscript path] --- p.79 / Chapter 10.2.2 --- Laser phase Δφ[subscript laser] --- p.80 / Chapter 10.3 --- Spectroscopy by dynamical decoupling --- p.82 / Chapter 10.4 --- Effects due to gravity gradient --- p.85 / Chapter 11 --- Gravitational Wave Antenna by Dynamical Decoupling --- p.89 / Chapter 11.1 --- Configuration and simple understanding --- p.89 / Chapter 11.1.1 --- Path phase --- p.93 / Chapter 11.1.2 --- Laser phase --- p.95 / Chapter 11.2 --- Gravitational wave signal --- p.96 / Chapter 12 --- Summary and Discussions --- p.99 / Bibliography --- p.100

本論文研究兩個有關量子計算理論中的問題，其一為量子博弈論，其二為量子查詢複雜度。 / 博弈論於經濟學、計算機科學、生物學、數學等領域中皆為一門重要課題，近年越來越多有關的研究都把焦點放於量子博弈論之上。本論文的第一部份，我們研究由張氏於2010 年提出的量子策略博弈模型。其中研究重點在於某特定類型的博弈中，計算使用量子策略比經典策略多出的優勢。我們成功建構出一個特定的博弈，並証明使用量子策略比經典策略多出的優勢跟策略的多少成線性關係。 / 本論文的第二部份，主要研究有關量子查詢複雜度，它提供一個簡單的框架，用於理解量子力學的計算能力和限制。我們研究的重點在於量子的安得拉-卡普-羅森伯格猜想，那是關於決定某一類圖特性所需的量子查詢複雜度。我們將會介紹施氏與張氏的猜想、布爾函數分析及查詢複雜度研究中重要的研究結果。我們嘗試証明施氏與張氏的猜想，並於最後提出一個有關布爾函數塊敏感度，影響度及方差值的猜想。 / We study two problems, one in quantum game theory and another in quantum query complexity. / Game theory is an important research topic in many elds like economics, computer sciences, biology, mathematics, etc. A growing trend is that game theory is being studied under quantum setting. In part I, we study the quantum strategic game model proposed by Zhang [Zha10], in which one of the main problem is to measure quantitatively the advantages of using quantum strategies over classical ones. A natural measure is the increase of payoff , which is quantified in terms of multiplicative incentive in a normalized n x n bimatrix game. The maximal incentive under superposition mapping, which maps a classical correlated equilibrium p to a quantum state Σ[subscript s] Pspp(s) jsi, is conjectured to be Ω(n). However only a correlated equilibrium with multiplicative incentive n°·⁵⁸⁵··· under such mapping was found. We proved this conjecture by constructing a classical correlated equilibrium with multiplicative incentive of (n+3)/4 =Ω(n) under such mapping. The proof is much simpler than the old one and gives an optimal result. / On the other hand, we studied quantum query complexity, which provides a simple framework for understanding the computational power and limit by quantum mechanics. In particular, we are interested in the quantum version of Aanderaa-Karp-Rosenberg conjecture for non-trivial monotone graph properties. In part II, we introduce the conjecture by Shi and Zhang [SZ05], survey some important results in Boolean function analysis and query complexity. We put down some partial results on resolving conjecture of Shi and Zhang and propose another conjecture regarding block sensitivity, in uence and variance of a Boolean function, which is simple, interesting and related to the problem. / Detailed summary in vernacular field only. / Detailed summary in vernacular field only. / Detailed summary in vernacular field only. / Wong, Chung Hoi. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2012. / Includes bibliographical references (leaves [89]-94). / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Abstracts also in Chinese. / Chapter I --- Quantum Strategic Game --- p.1 / Chapter 1 --- Classical and Quantum Strategic Game --- p.5 / Chapter 1.1 --- Classical Strategic Game Theory --- p.6 / Chapter 1.1.1 --- Notation for Strategic Game --- p.6 / Chapter 1.1.2 --- Classical Equilibrium --- p.7 / Chapter 1.2 --- Quantum Strategic Game Theory --- p.9 / Chapter 1.2.1 --- Notation for Quantum Strategic Game --- p.9 / Chapter 1.2.2 --- Quantum Equilibrium --- p.11 / Chapter 1.3 --- Preservation of Equilibrium --- p.11 / Chapter 1.3.1 --- Quantum to Classical --- p.12 / Chapter 1.3.2 --- Classical to Quantum --- p.12 / Chapter 2 --- Incentives in Quantum Strategic Game --- p.15 / Chapter 2.1 --- Previous Result --- p.15 / Chapter 2.2 --- Improved Multiplicative Incentive to n0:638 --- p.17 / Chapter 2.3 --- Improved Multiplicative Incentives to (n) --- p.19 / Chapter II --- Quantum Aanderaa-Karp-Rosenberg Conjecture --- p.23 / Chapter 3 --- Introduction --- p.27 / Chapter 3.1 --- Non-Trivial Monotone Graph Properties --- p.27 / Chapter 3.2 --- Aanderaa-Karp-Rosenberg Conjecture --- p.27 / Chapter 3.3 --- Conjecture of Shi and Zhang --- p.28 / Chapter 4 --- Boolean Function Analysis --- p.31 / Chapter 4.1 --- Notations --- p.31 / Chapter 4.1.1 --- Sensitivity and Block Sensitivity --- p.32 / Chapter 4.1.2 --- p-biased Mean and Variance --- p.33 / Chapter 4.1.3 --- p-biased Influence --- p.34 / Chapter 4.2 --- p-biased Fourier Analysis --- p.36 / Chapter 5 --- Decision Tree Complexity --- p.43 / Chapter 5.1 --- Deterministic Decision Tree Complexity --- p.43 / Chapter 5.2 --- Randomized Decision Tree Complexity --- p.45 / Chapter 5.3 --- Non-Deterministic Decision Tree Complexity --- p.47 / Chapter 5.4 --- Quantum Query Complexity --- p.50 / Chapter 5.5 --- The General Adversary Bound --- p.52 / Chapter 5.6 --- Quantum Query Complexity Lower Bound --- p.54 / Chapter 6 --- Classes of Boolean Function and Their Properties --- p.59 / Chapter 6.1 --- Properties of Monotone Functions --- p.59 / Chapter 6.2 --- Properties of Transitive Functions --- p.64 / Chapter 6.3 --- Properties of Monotone and Transitive Function --- p.70 / Chapter 7 --- Conjecture of Shi and Zhang --- p.73 / Chapter 7.1 --- Designing the Adversary Matrix by Fourier Coefficients of the Weight Function --- p.73 / Chapter 7.2 --- Designing of Adversary Matrix by Level k Fourier Weight --- p.78 / Chapter 8 --- Block Sensitivity-Influence Conjecture --- p.81 / Chapter 8.1 --- Boolean Functions That Satisfy the BSI Conjecture --- p.83 / Chapter 8.2 --- Recursive k-Majority --- p.84 / Chapter 8.3 --- Tribes of Size k --- p.85 / Chapter 8.4 --- Boolean Functions with Small Sensitivity Are Sparse --- p.87 / Bibliography --- p.89

Adopting the continuous frequency mode approach and the resolvent method, we study the interaction between atoms and photons in leaky optical cavities. In particular, we highlight the physical significance of quantum states of photons in such processes. Single-photon processes and two-photon processes are intensively investigated. With single-photon scattering, various schemes for generating entangled pairs and constructing quantum gates are developed using two-level atoms or Λ-type atoms. The fidelities of these schemes tend to unity for injected photons with specific spectra. We examine the efficiency of the feedback scheme proposed by Hong and Lee [Phys. Rev. Lett. 89 , 237901 (2002)] to generate maximally entangled states of two atoms in an optical cavity from first principles. We find that the efficiency of the scheme deteriorates gradually and hence other competing processes have to be considered properly. Besides, nonlinearity and entanglement of two-photon states in two-sided and one-sided cavities are analyzed in terms of detection probabilities and frequency-correlation of the left- and right-output photons. We discover that two-photon processes in a one-sided cavity can be exploited to generate two-photon maximally entangled states, from which nonlocal shaping effect in the spectra of the two photons can be demonstrated. Lastly, based on the Fredholm method, an iterative analytical method yielding the Schmidt modes and eigenvalues of an entangled state is proposed and discussed. / Fung, Ho Tak = 光子與原子在漏空腔中的糾纏及其在量子計算中的應用 / 馮浩德. / "May 2008." / Adviser: P. T. Leung. / Source: Dissertation Abstracts International, Volume: 70-03, Section: B, page: 1736. / Thesis (Ph.D.)--Chinese University of Hong Kong, 2008. / Includes bibliographical references (p. 155-163). / Electronic reproduction. Hong Kong : Chinese University of Hong Kong, [2012] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Electronic reproduction. [Ann Arbor, MI] : ProQuest Information and Learning, [200-] System requirements: Adobe Acrobat Reader. Available via World Wide Web. / Abstracts in English and Chinese. / School code: 1307. / Fung, Ho Tak = Guang zi yu yuan zi zai lou kong qiang zhong de jiu chan ji qi zai liang zi ji suan zhong de ying yong / Feng Haode.

Leung, Ming Lam. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2011. / Includes bibliographical references and index. / Abstracts in English and Chinese. / List of Figures --- p.viii / Chapter 1 --- Overview --- p.1 / Chapter 2 --- Background and Preliminaries --- p.7 / Chapter 2.1 --- Linear Algebra --- p.7 / Chapter 2.2 --- Quantum Mechanics and Quantum Computation --- p.12 / Chapter 2.3 --- Communication Complexity --- p.16 / Chapter 2.4 --- Game Theory and Evolutionary Dynamics --- p.20 / Chapter 2.4.1 --- Multiplayer Strategic Games in Normal-Form --- p.20 / Chapter 2.4.2 --- Classifications of Games --- p.22 / Chapter 2.4.3 --- Mixed Strategies and Correlated Strategies --- p.26 / Chapter 2.4.4 --- Nash Equilibria --- p.28 / Chapter 2.4.5 --- Dynamic Fixed Points and Stability --- p.31 / Chapter 3 --- Classical and Quantum Communication Complexity --- p.35 / Chapter 3.1 --- Summary of Previous Upper Bounds and Lower Bounds --- p.35 / Chapter 3.2 --- Two-way randomized protocol of Symmetric XOR Functions --- p.38 / Chapter 3.3 --- One-way and SMP randomized protocol of Symmetric XOR Functions --- p.41 / Chapter 3.4 --- Significance of Our Results --- p.45 / Chapter 4 --- Quantum Strategic Games and Static Equilibria --- p.49 / Chapter 4.1 --- Brief History of Quantum Game Theory --- p.50 / Chapter 4.2 --- Models of Quantum Strategies --- p.52 / Chapter 4.2.1 --- Meyer's quantum unitary strategies --- p.53 / Chapter 4.2.2 --- EWL-model of quantum strategies --- p.54 / Chapter 4.2.3 --- Zhang's model of quantum strategies --- p.55 / Chapter 4.3 --- Quantum Equilibrium Concepts --- p.58 / Chapter 4.4 --- Relations between Classical and Quantum Equilibria --- p.60 / Chapter 4.5 --- Refinements of Quantum Equilibria --- p.71 / Chapter 4.6 --- Generating Quantum Equilibria and PPAD-completeness --- p.74 / Chapter 5 --- Classical and Quantum Evolutionary Strategy Dynamics --- p.79 / Chapter 5.1 --- Evolutionary Game Theory --- p.80 / Chapter 5.2 --- Dynamic Strategy Evolution --- p.81 / Chapter 5.3 --- Major Properties of Classical Evolutionary Dynamics --- p.83 / Chapter 5.4 --- Analysis of Classical Strategy Evolution in Bimatrix Games --- p.86 / Chapter 5.4.1 --- Division of Regions in Strategy Space --- p.86 / Chapter 5.4.2 --- Symmetric Games --- p.91 / Chapter 5.4.3 --- Zero-Sum Games --- p.100 / Chapter 5.5 --- Quantum Strategy Evolution --- p.101 / Chapter 5.6 --- Significances of Employing Quantum Strategv Evolution --- p.106 / Chapter A Appendix: --- Common Classical Evolutionary Dynamics --- p.113 / Chapter A.1 --- Replicator Dynamics --- p.113 / Chapter A.2 --- Imitation Dynamics --- p.113 / Chapter A.3 --- Best Response Dynamics --- p.116 / Chapter A.4 --- Smoothed Best Response Dynamics --- p.117 / Chapter A.5 --- Differential Dynamics --- p.117 / Chapter A.6 --- Projective Dynamics --- p.121 / Bibliography --- p.123 / Index --- p.132

In this work we tackle the challenge of designing quantum unitary operators which represent solutions to optimization problems. We start with a novel method which combines an evolutionary algorithm known as an Evolution Strategy (ES) with a method to randomly generate unitary operators. With this new method, a quantum operator is represented for the first time using real-valued vectors and can be "evolved" or designed to meet certain target criteria. This criteria could be the solution to an optimization problem. With the ability to evolve quantum operators, we attempt to evolve various known single and multi-qubit quantum gates as well as quantum oracles. We evolve quantum operators which solve instance problems of a known NP-Hard problem and even attempt to evolve a generalized solution operator. We evolve multiple operators with varying size and investigate their properties through eigenanalysis methods as well as by synthesizing them into quantum logic gates using the quantum compiler Qubiter. We also present a new quantum logic algebra which offers a new way to represent quantum circuits and demonstrate its immediate uses in quantum computing.

Thesis (Ph. D.)--University of Hong Kong, 2009. / Includes bibliographical references (leaves 92-100). Also available in print.