Single-photon sources are essential building blocks in quantum photonic networks, where quantum-mechanical properties of photons are utilised to achieve quantum technologies such as quantum cryptography and quantum computing. In this thesis, a single-photon source driven by a surface acoustic wave (SAW) is developed and characterised. This single-photon source is based on a SAW-driven lateral n-i-p junction in a GaAs quantum-well structure. On this device, the lateral n-i-p junction is formed by gate-induced electrons and holes in two adjacent regions. The SAW potential minima create dynamic quantum dots in a 1D channel between these two regions, and are able to transport single electrons to the region of holes along the channel. Single-photon emission can therefore be generated as these electrons consecutively recombine with holes. After characterisation and optimisation in four batches of devices, clear SAW-driven charge transport and the corresponding electroluminescence (EL) can be observed on an optimised SAW-driven n-i-p junction. Time-resolved measurements have been carried out to study the dynamics of SAW-driven electrons. Time-resolved EL signals indicate that a packet of electrons is transported to the region of holes in each SAW minimum. In addition, the carrier lifetime of SAW-driven electrons in the region of holes is shown to be $\sim 100$ ps, which is much shorter than the SAW period of $860$ ps. Hence, it is promising to observe single-photon emission in the optimised device. In order to test single-photon emission, a Hanbury Brown-Twiss experimental setup has been employed to record an autocorrelation histogram of the SAW-driven EL signal at the single-electron regime. Suppression of autocorrelation coincidences at time delay $\Delta t = 0$ is evidence of photon antibunching. By fitting theoretical functions describing the SAW-driven EL signal, it is found that the second-order correlation function shows $g^{(2)}(0) = 0.39 \pm 0.05$, which is lower than the common criterion for a single-photon source $g^{(2)}(0) < 0.5$. Moreover, theoretical calculation and simulation suggest that, if a constant background signal can be filtered out, $\sim 80 \%$ of the SAW-driven EL is single-photon emission.

Dans la course à l’ordinateur quantique, le silicium est devenu ces dernières années un matériau de choix pour l'implémentation des qubits de spin. De tels dispositifs sont fabriqués au CEA en utilisant les technologies CMOS, afin de faciliter leur intégration à grande échelle. Cette thèse porte sur la modélisation de ces qubits, et en particulier sur la manipulation de l’état de spin par un champ électrique. Pour cela nous utilisons un ensemble de techniques numériques avancées pour calculer le potentiel et la structure électronique des qubits (notamment les méthodes de liaisons fortes et k.p), afin d’être le plus proche possible des dispositifs expérimentaux. Ces simulations nous ont permis d’étudier deux résultats expérimentaux d’importance : l’observation de la manipulation par champ électrique du spin d’un électron d’une part, et la caractérisation de l’anisotropie de la fréquence de Rabi d’un qubit de trou d’autre part. Le premier résultat était plutôt inattendu, étant donné; le très faible couplage spin-orbite dans la bande de conduction du silicium. Nous développons un modèle, validé par les simulations et certains résultats expérimentaux, qui met en évidence le rôle essentiel du couplage spin-orbite inter-vallée, exacerbé par la faible symétrie du système. Nous utilisons ces résultats pour proposer et tester numériquement un schéma de manipulation électrique consistant à passer réversiblement d’un qubit de spin à un qubit de vallée. Concernant les qubits de trous, le couplage spin-orbite relativement élevé autorise la manipulation du spin par champ électrique, toutefois les mesures expérimentales d’anisotropie donnent à voir une physique complexe, insuffisamment bien décrite par les modèles actuels. Nous développons donc un formalisme permettant de caractériser simplement la fréquence de Rabi en fonction du champ magnétique, et qui peut s’appliquer à d’autre type de qubit spin-orbite. Les simulations permettent de reproduire les résultats expérimentaux, et de souligner le rôle important de la contrainte. / In the race for quantum computing, these last years silicon has become a material of choice for the implementation of spin qubits. Such devices are fabricated in CEA using CMOS technologies, in order to facilitate their large-scale integration. This thesis covers the modeling of these qubits andin particular the manipulation of the spin state with an electric field. To that end, we use a set numerical tools to compute the potential and electronic structure in the qubits (in particular tightbinding and k.p methods), in order to be as close as possible to the experimental devices. These simulations allowed us to study two important experimental results: on one hand the observation of the electrical manipulation of an electron spin, and on the other hand the characterization of the anisotropy of the Rabi frequency of a hole spin qubit. The first one was rather unexpected, since the spin-orbit coupling is very low in the silicon conduction band. We develop a model, confirmed by thesimulations and some experimental results, that highlights the essential role of the intervalley spinorbit coupling, enhanced by the low symmetry of the system. We use these results to propose and test numerically a scheme for electrical manipulation which consists in switching reversibly betweena spin qubit and a valley qubit. Concerning the hole qubits, the relatively large spin-orbit coupling allows for electrical spin manipulation. However the experimental measurements of Rabi frequency anisotropy show a complex physics, insufficiently described by the usual models. Therefore we developa formalism which allows to characterize simply the Rabi frequency as a function of the magnetic field, and that can be applied to other types of spin-orbit qubits. The simulations reproduce the experimental features, underline the important role of strain.

With the emergence of quantum physics and computer science in the 20th century, a new era was born which can solve very difficult problems in a much faster rate or problems that classical computing just can't solve. In the 21st century, quantum computing needs to be used to solve tough problems in engineering, business, medical, and other fields that required results not today but yesterday. To make this dream come true, engineers in the semiconductor industry need to make the quantum circuits a reality. To realize quantum circuits and make them scalable, they need to be fault tolerant, therefore Clifford+T gates need to be implemented into those circuits. But the main issue is that in the Clifford+T gate set, T gates are expensive to implement. Carry Look-Ahead addition circuits have caught the interest of researchers because the number of gate layers encountered by a given qubit in the circuit (or the circuit's depth) is logarithmic in terms of the input size n. Therefore, this thesis focuses on optimizing previous designs of out-of-place and in-place Carry Look-Ahead Adders to decrease the T-count, sum of all T and T Hermitian transpose gates in a quantum circuit.

At this time the synthesis of reversible circuits for quantum computing is an active area of research. In the most restrictive quantum computing models there are no ancilla lines and the quantum cost, or latency, of performing a reversible form of the AND gate, or Toffoli gate, increases exponentially with the number of input variables. In contrast, the quantum cost of performing any combination of reversible EXOR gates, or CNOT gates, on n input variables requires at most O(n2/log2n) gates. It was under these conditions that EXOR-AND-EXOR, or EPOE, synthesis was developed. In this work, the GF(2) logic theory used in EPOE is expanded and the concept of an EXOR-AND product transform is introduced. Because of the generality of this logic theory, it is adapted to EXOR-AND-OR, or SPOE, synthesis. Three heuristic spectral logic synthesis algorithms are introduced, implemented in a program called XAX, and compared with previous work in classical logic circuits of up to 26 inputs. Three linear reversible circuit methods are also introduced and compared with previous work in linear reversible logic circuits of up to 100 inputs.

The objective of this research is to design, fabricate, and demonstrate a microfabricated monolithic ion trap for applications in quantum computation and quantum simulation. Most current microfabricated ion trap designs are based on planar-segmented surface electrodes. Although promising scalability to trap arrays containing ten to one hundred ions, these planar designs suffer from the challenges of shallow trap depths, radial asymmetry of the confining potential, and electrode charging resulting from laser interactions with dielectric surfaces. In this research, the design, fabrication, and testing of a monolithic and symmetric two-level ion trap is presented. This ion trap overcomes the challenges of surface-electrode ion traps. Numerical electrostatic simulations show that this symmetric trap produces a deep (1 eV for 171Yb+ ion), radially symmetric RF confinement potential. The trap has an angled through-chip slot that allows back-side ion loading and generous through laser access, while avoiding surface-light scattering and dielectric charging that can corrupt the design control electrode compensating potentials. The geometry of the trap and its dimensions are optimized for trapping long and linear ion chains with equal spacing for use with quantum simulation problems and quantum computation architectures.

Devices that exploit the properties of quantum mechanics for their operation can offer unique advantages over their classical counterparts. Interference of matter waves can be used to dramatically increase the rotational sensitivity of gyroscopes. Complete control of the quantum evolution of a system could produce a new powerful computational device known as a quantum computer. Research into these technologies offers a deeper understanding of quantum mechanics as well as exciting new insights into many other areas of science. Currently, a limiting factor in many quantum devices using neutral atoms is accurate motional control over the atoms. This thesis describes two recent advancements in neutral atom motional control using both magnetic and electromagnetic confining fields. Part I reports on the demonstration of the first storage ring for neutral atoms. This storage ring may one day provide the basis for the world's most sensitive gyroscope. Part II describes the optical delivery of neutral atoms into the mode of a high-finesse cavity for applications in quantum computing and communication.

Laser-cooled atomic ions have led to an unprecedented amount of control over the quantum states of matter. The Coulombic interaction allows for information to be transferred between neighboring ions, and this interaction can be used to entangle qubits for logic operations in quantum information processors. The same procedure for logic operations can be used for high resolution atomic spectroscopy, and is the basis for the most accurate atomic optical clocks to date. This thesis describes how laser-cooled atomic ions can impact physical chemistry through the development of molecular ion spectroscopy techniques and the simulation of magnetic systems by ion trap quantum computers. A new technique developed for spectroscopy, Sympathetic Heating Spectroscopy (SHS), takes advantage of the Coulombic interaction between two trapped ions: the control ion and a spectroscopy ion. SHS uses the back action of the interrogating laser to map spectroscopy ion information onto the Doppler shift of the control ion for measurement. SHS only requires Doppler cooling of the ions and fluorescence measurement and represents a simplification of quantum logic spectroscopy. This technique is demonstrated on two individual isotopes of calcium: Ca-40(+) for cooling and Ca-44(+) as the spectroscopy ion. Having demonstrated SHS with atomic ions, the next step was to extend the technique by loading and characterizing molecular ions. The identification of an unknown molecular ion is necessary and can be achieved by monitoring the change in motion of the two ion crystal, which is dependent on the molecular ion mass. The motion of two trapped ions is described by their normal modes, which can be accurately measured by performing resolved sideband spectroscopy of the S(1/2)-D(5/2) transition of calcium. The resolved sidebands can be used to identify unknown ions (atomic and molecular) by calculating the mass based on the observed value in axial normal mode frequencies. Again, the trapped molecular ion is sympathetically cooled via the Coulombic interaction between the Ca-40(+) and the unknown molecular ion. The sensitivity of SHS could be improved by implementing sympathetic sideband cooling and determining the heating by measuring single quanta of motion. The ultimate limit of control would be the development of an ion trap quantum computer. Many theoretical quantum computing researchers have made bold claims of the exponential improvement a quantum computer would have over a classical computer for the simulation of physical systems such as molecules. These claims are true in principle for ideal systems, but given non-ideal components it is necessary to consider the scaling due to error correction. An estimate of the resource requirements, the total number of physical qubits and computational time, required to compute the ground state energy of a 1-D quantum Transverse Ising Model (TIM) of N spin-1/2 particles, as a function of the system size and the numerical precision, is presented. This estimate is based on analyzing the impact of fault-tolerant quantum error correction in the context of the quantum logic array architecture. The results show that a significant amount of error correction is required to implement the TIM problem due to the exponential scaling of the computational time with the desired precision of the energy. Comparison of this result to the resource requirements for a fault-tolerant implementation of Shor's quantum factoring algorithm reveals that the required logical qubit reliability is similar for both the TIM problem and the factoring problem.

The reversible logic has the promising applications in emerging computing paradigm such as quantum computing, quantum dot cellular automata, optical computing, etc. In reversible logic gates there is a unique one-to-one mapping between the inputs and outputs. To generate an useful gate function the reversible gates require some constant ancillary inputs called ancilla inputs. Also to maintain the reversibility of the circuits some additional unused outputs are required that are referred as the garbage outputs. The number of ancilla inputs, number of garbage outputs and quantum cost plays an important role in the evaluation of reversible circuits. Thus minimizing these parameters are important for designing an efficient reversible circuit. Barrel shifter is an integral component of many computing systems due to its useful property that it can shift and rotate multiple bits in a single cycle. The main contribution of this thesis is a set of design methodologies for the reversible realization of reversible barrel shifters where the designs are based on the Fredkin gate and the Feynman gate. The Fredkin gate can implement the 2:1 MUX with minimum quantum cost, minimum number of ancilla inputs and minimum number of garbage outputs and the Feynman gate can be used so as to avoid the fanout, as fanout is not allowed in reversible logic. The design methodologies considered in this work targets 1.) Reversible logical right- shifter, 2.) Reversible universal right shifter that supports logical right shift, arithmetic right shift and the right rotate, 3.) Reversible bidirectional logical shifter, 4.) Reversible bidirectional arithmetic and logical shifter, 5) Reversible universal bidirectional shifter that supports bidirectional logical and arithmetic shift and rotate operations. The proposed design methodologies are evaluated in terms of the number of the garbage outputs, the number of ancilla inputs and the quantum cost. The detailed architecture and the design of a (8,3) reversible logical right-shifter and the (8,3) reversible universal right shifter are presented for illustration of the proposed methodologies.

In this thesis we develop a methodology for the modeling and analysis of quantum security protocols, and apply it to a cheat sensitive quantum bit commitment protocol. Our method consists of a formalization of the protocol in the process algebra CQP, a conversion to the PRISM modeling language, verification of security properties, and the quantitative analysis of optimal cheat strategies for a dishonest party. We also define additional syntax and operational semantics for CQP to add decision making capability. For a two party protocol involving Alice committing a bit to Bob, we show that the protocol favors a dishonest Alice over a dishonest Bob. When only one party is dishonest, and uses an optimal cheat strategy, we also show that the probability of cheat detection is bounded at 0.037 for Bob and 0.076 for Alice. In addition, a dishonest Alice is able to reveal an arbitrary commit bit with probability 1 while a dishonest Bob is only able to extract the correct bit before it is revealed with probability 0.854. This bias is interesting as it gives us insight into how the overall protocol functions and where its weaknesses are. By identifying these weaknesses we provide a foundation for future improvements to the protocol to reduce cheating bias or increase cheat detection. Finally, our methodology reveals the weakness of PRISM in modeling quantum variables to their full power and as a result we propose the development of a new modeling tool for quantum protocols.

A neutral atom interacting with a single mode of a high finesse cavity provides an opportunity to study uncharted quantum mechanical systems and to explore the field of quantum computing and networking. Ranging from being a deterministic single photon source to a coherent storage unit for quantum information, a strong coupling cavity QED system has proven to be a powerful tool. In this thesis, single atoms are deterministically delivered over long distances and probed in an optical cavity. Once in the cavity, a single atom is stored and continuously observed for over 15 seconds. Progress towards using atoms in the cavity to produce entangled photon pairs is presented. Dual 1D optical lattices are implemented to create a foundation for advancements in two qubit quantum operations and entanglements.