Recent advances in quantum computational science promise substantial improvements in the speed with which certain classes of problems can be computed. Various algorithms that utilize the distinctively non-classical characteristics of quantum mechanics have been formulated to take advantage of this promising new approach to computation. One such algorithm was formulated by David Deutsch and Richard Jozsa. By measuring the output of a quantum network that implements this algorithm, it is possible to determine with N 1 measurements certain global properties of a function f(x), where N is the number of network inputs. Classically, it may not be possible to determine these same properties without evaluating f(x) a number of times that rises exponentially as N increases. Hitherto, the potential power of this algorithm has been explored in the context of qubits, the quantum computational analogue of classical bits. However, just as one can conceive of classical computation in the context of non-binary logic, such as ternary or quaternary logic, so also can one conceive of corresponding higher-order quantum computational equivalents.<p>This thesis investigates the behaviour of the Deutsch-Jozsa algorithm in the context of these higher-order quantum computational forms of logic and explores potential applications for this algorithm. An important conclusion reached is that, not only can the Deutsch-Jozsa algorithms known computational advantages be formulated in more general terms, but also a new algorithmic property is revealed with potential practical applications.

In thinking about quantum causality one would like to approach rigorous QFT from outside the perspective of QFT, which one expects to recover only in a specific physical domain of quantum gravity. This thesis considers issues in causality using Category Theory, and their application to field theoretic observables. It appears that an abstract categorical Machian principle of duality for a ribbon graph calculus has the potential to incorporate the recent calculation of particle rest masses by Brannen, as well as the Bilson-Thompson characterisation of the particles of the Standard Model. This thesis shows how Veneziano n point functions may be recovered in such a framework, using cohomological techniques inspired by twistor theory and recent MHV techniques. This distinct approach fits into a rich framework of higher operads, leaving room for a generalisation to other physical amplitudes. The utility of operads raises the question of a categorical description for the underlying physical logic. We need to consider quantum analogues of a topos. Grothendieck's concept of a topos is a genuine extension of the notion of a space that incorporates a logic internal to itself. Conventional quantum logic has yet to be put into a form of equal utility, although its logic has been formulated in category theoretic terms. Axioms for a quantum topos are given in this thesis, in terms of braided monoidal categories. The associated logic is analysed and, in particular, elements of linear vector space logic are shown to be recovered. The usefulness of doing so for ordinary quantum computation was made apparent recently by Coecke et al. Vector spaces underly every notion of algebra, and a new perspective on it is therefore useful. The concept of state vector is also readdressed in the language of tricategories.

This thesis reports high-fidelity near-field spatial microwave addressing of long-lived ⁴³Ca⁺ "atomic clock" qubits performed in a two-zone single-layer surface-electrode ion trap. Addressing is implemented by using two of the trap's integrated microwave electrodes, one in each zone, to drive single-qubit rotations in the zone we choose to address whilst interferometrically cancelling the microwave field at the neighbour (non-addressed) zone. Using this field-nulling scheme, we measure a Rabi frequency ratio between addressed and non-addressed zones of up to 1400, from which we calculate an addressing error (or a spin-flip probability on the qubit transition) of 1e-6. Off-resonant excitation out of the qubit state is a more significant source of error in this experiment, but we also demonstrate polarisation control of the microwave field at an error level of 2e-5, which, if combined with individual-ion addressing, would be sufficient to suppress off-resonant excitation errors to the 1e-9 level. Further, this thesis presents preliminary results obtained with a micron-scale coupled-microstrip differential antenna probe that can be scanned over an ion-trap chip to map microwave magnetic near fields. The probe is designed to enable the measurement of fields at tens of microns above electrode surfaces and to act as an effective characterisation tool, speeding up design-fabrication-characterisation cycles in the production of new prototype microwave ion-trap chips. Finally, a new multi-layer design for an ion-trap chip which displays, in simulations, a 100-fold improvement in addressing performance, is presented. The chip electrode structure is designed to use the cancelling effect of microwave return currents to produce Rabi frequency ratios of order 1000 between trap zones using a single microwave electrode (i.e. without the need for nulling fields). If realised, this chip could be used to drive individually addressed single-qubit operations on arrays of memory qubits in parallel and with high fidelity.

Since Quantum Computer is almost realizable on large scale and Quantum Technology is one of the main solutions to the Moore Limit, Quantum Logic Synthesis (QLS) has become a required theory and tool for designing Quantum Logic Circuits. However, despite its growth, there is no any unified aproach to QLS as Quantum Computing is still being discovered and novel applications are being identified. The intent of this study is to experimentally explore principles of Quantum Logic Synthesis and its applications to Inductive Machine Learning. Based on algorithmic approach, I first design a Genetic Algorithm for Quantum Logic Synthesis that is used to prove and verify the methods proposed in this work. Based on results obtained from the evolutionary experimentation, I propose a fast, structure and cost based exhaustive search that is used for the design of a novel, least expensive universal family of quantum gates. The results form both the evolutionary and heuristic search are used to formulate an Inductive Learning Approach based on Quantum Logic Synthesis with the intended application being the humanoid behavioral robotics. The presented approach illustrates a successful algorithmic approach, where the search algorithm was able to invent/discover novel quantum circuits as well as novel principles in Quantum Logic Synthesis.

We investigate the geometric phase (GP) acquired by the states of a spin-1/2 nucleus which is subject to a static magnetic field. This nucleus as the carrier system of GP, is taken as coupled to a dissipative environment, so that it evolves non-unitarily. We study the effects of different characteristics of different environments on GP as nucleus evolves in time. We showed that magnetic field strength is the primary physical parameter that determines the stability of GP / its stability decreases as the magnetic field strength increases. (By decrease in stability what we mean is the increase in the time rate of change of GP.) We showed that this decrease can be very rapid, and so it could be impossible to make use of it as a quantum logic gate in quantum information theory (QIT). To see if these behaviors differ in different environments, we analyze the same system for a fixed temperature environment which is under the influence of an electromagnetic field in a squeezed state. We find that the general dependence of GP on magnetic field does not change, but this time the effects are smoother. Namely, increase in magnetic field decreases the stability of GP also for in this environment / but this decrease is slower in comparison with the former case, and furthermore it occurs gradually. As a second problem we examine the entanglement of two atoms, which can be used as a two-qubit system in QIT. The entanglement is induced by an external quantum system. Both two-level atoms are coupled to a third two-level system by dipole-dipole interaction. The two atoms are assumed to be in ordinary vacuum and the third system is taken as influenced by a certain environment. We examined different types of environments. We show that the steady-state bipartite entanglement can be achieved in case the environment is a strongly fluctuating, that is a squeezed-vacuum, while it is not possible for a thermalized environment.

In recent years ternary reversible logic has caught the attention of researchers because of its enormous potential in different fields, in particular quantum computing. It is desirable that any future reversible technology should be fault tolerant and have low power consumption; hence developing testing techniques in this area is of great importance. In this work we propose a design for an online testable ternary reversible circuit. The proposed design can implement almost all of the ternary logic operations and is also capable of testing the reversible ternary network in real time (online). The error detection unit is also constructed in a reversible manner, which results in an overall circuit which meets the requirements of reversible computing. We have also proposed an upgrade of the initial design to make the design more optimized. Several ternary benchmark circuits have been implemented using the proposed approaches. The number of gates required to implement the benchmarks for each approach have also been compared. To our knowledge this is the first such circuit in ternary with integrated online testability feature. / xii, 92 leaves : ill. ; 29 cm

Introduced by C.C. Chang in the 1950s, MV algebras are to many-valued (Łukasiewicz) logics what boolean algebras are to two-valued logic. More recently, effect algebras were introduced by physicists to describe quantum logic. In this thesis, we begin by investigating how these two structures, introduced decades apart for wildly different reasons, are intimately related in a mathematically precise way. We survey some connections between MV/effect algebras and more traditional algebraic structures. Then, we look at the categorical structure of effect algebras in depth, and in particular see how the partiality of their operations cause things to be vastly more complicated than their totally defined classical analogues. In the final chapter, we discuss coordinatization of MV algebras and prove some new theorems and construct some new concrete examples, connecting these structures up (requiring a detour through effect algebras!) to boolean inverse semigroups.

We present the theory of orbital angular momentum of light (MAO), based on the basic concepts of electromagnetism, as well as some techniques from generation and characterization of light beams possessing MAO. We also present non-linear optical processes of parametric conversion spontaneous descendant (CPD) and stimulated (CPDE). We reviewed the problem of conservation of MAO in CPD in the scheme does not collinear, describing States of using Laguerre-Gauss beams MAO. We extend this study to the case in which Bessel beams are used to describe the States of MAO. Our results show that rape occurs on conservation law of MAO, which is attributed to deformation of the angular spectrum of beam pumping (pump) transferred to the twin photons. However, this violation can be advantageous because through breach of MAO have access to entangled States of dimension greater than those generated with collinear geometry. As an alternative to the note of the violation of the law of conservation in parametric down conversion process we proposed an experiment based on CPDE, where the experimental implementation is simpler. Using MAO as target and polarization qubit as qubit control, we experimentally a alternative to optical circuit proposal for Li-Ping et al. [16] for the implementation of the logic gate C-NOT. Also we present an application of logic gate C-NOT for the generation of entangled States of a single photon, which can be implemented with our optical circuit. The generation of entangled States, multidimensional, and the implementation quantum logic gates are important for the areas of information and quantum computation. / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Apresentamos a teoria do momento angular orbital da luz (MAO), baseada nos conceitos básicos do eletromagnetismo, bem como algumas técnicas de geração e caracterização de feixes de luz possuindo MAO. Apresentamos também os processos ópticos não lineares de conversão paramétrica descendente espontânea (CPD) e estimulada (CPDE). Revisamos o problema da conservação do MAO na CPD no regime não colinear, descrevendo os estados de MAO utilizando feixes Laguerre-Gauss. Extendemos este estudo para o caso em que feixes Bessel são usados para descrever os estados de MAO. Nossos resultados mostram que ocorre violação na lei de conservação do MAO, que é atribuída a deformação do espectro angular do feixe de bombeamento (pump) transferido para os fótons gêmeos. Entretanto, esta violação pode ser vantajosa, pois através da violação do MAO conseguimos ter acesso a estados emaranhados de dimensão maior do que aqueles gerados com geometria colinear. Como alternativa para a observação da violação da lei de conservação no processo de conversão paramétrica descendente, propusemos um experimento baseado na CPDE, onde a realização experimental é mais simples. Utilizando o MAO como qubit alvo e a polarização como qubit controle, realizamos experimentalmente um circuito ótico alternativo à proposta de Li-Ping e colaboradores [16] para a implementação da porta lógica C-NOT. Também apresentamos uma aplicação da porta lógica C-NOT para a geração de estados emaranhados de um único fóton, que pode ser implementada com nosso circuito ótico. A geração de estados emaranhados multidimensionais e a implementaçãode portas lógicas quânticas são importantes para as áreas de informação e computação quântica.

A presente tese aborda dois problemas distintos e independentes: triangularização de sistemas não-lineares com duas entradas e controle de sistemas sem arrasto que evoluem no grupo especial unitário SU(n). Em relação ao primeiro, estabeleceu-se, através da generalização de resultados bem conhecidos, condições geométricas para que um sistema com duas entradas seja descrito por uma forma triangular específica após uma mudança de coordenadas e uma realimentação de estado estática regular. Para o segundo problema, desenvolveu-se uma estratégia de controle que força o estado do sistema a rastrear assintoticamente uma trajetória de referência periódica que passa por um estado objetivo arbitrário. O método de controle proposto utiliza os resultados de convergência de tipo- Lyapunov que foram estabelecidos pela presente pesquisa e que tiveram como inspiração uma versão periódica do princípio da invariância de LaSalle. Apresentou-se, ainda, os resultados de simulação obtidos com a aplicação da técnica de controle desenvolvida a um sistema quântico consistindo de duas partículas de spin-1/2, com o objetivo de gerar a porta lógica quântica C-NOT. / This thesis treats two distinct and independent problems: triangularization of nonlinear systems with two inputs and control of driftless systems which evolve on the special unitary group SU(n). Concerning the first, one has established, by means of the generalization of well-known results, geometric conditions for a system with two inputs to be described by a specific triangular form after a change of coordinates and a regular static state feedback. For the second problem, one has developed a control strategy that forces the state of the system to track in an asymptotic manner a periodic reference trajectory which passes by an arbitrary goal state. The proposed control method uses Lyapunovlike convergence results that were established in this research and which were inspired in a periodic version of LaSalles invariance principle. Furthermore, one has shown the simulation results obtained from the application of the developed control technique to a quantum system consisting of two spin-1/2 particles, with the aim of generating the C-NOT quantum logic gate.

A presente tese aborda dois problemas distintos e independentes: triangularização de sistemas não-lineares com duas entradas e controle de sistemas sem arrasto que evoluem no grupo especial unitário SU(n). Em relação ao primeiro, estabeleceu-se, através da generalização de resultados bem conhecidos, condições geométricas para que um sistema com duas entradas seja descrito por uma forma triangular específica após uma mudança de coordenadas e uma realimentação de estado estática regular. Para o segundo problema, desenvolveu-se uma estratégia de controle que força o estado do sistema a rastrear assintoticamente uma trajetória de referência periódica que passa por um estado objetivo arbitrário. O método de controle proposto utiliza os resultados de convergência de tipo- Lyapunov que foram estabelecidos pela presente pesquisa e que tiveram como inspiração uma versão periódica do princípio da invariância de LaSalle. Apresentou-se, ainda, os resultados de simulação obtidos com a aplicação da técnica de controle desenvolvida a um sistema quântico consistindo de duas partículas de spin-1/2, com o objetivo de gerar a porta lógica quântica C-NOT. / This thesis treats two distinct and independent problems: triangularization of nonlinear systems with two inputs and control of driftless systems which evolve on the special unitary group SU(n). Concerning the first, one has established, by means of the generalization of well-known results, geometric conditions for a system with two inputs to be described by a specific triangular form after a change of coordinates and a regular static state feedback. For the second problem, one has developed a control strategy that forces the state of the system to track in an asymptotic manner a periodic reference trajectory which passes by an arbitrary goal state. The proposed control method uses Lyapunovlike convergence results that were established in this research and which were inspired in a periodic version of LaSalles invariance principle. Furthermore, one has shown the simulation results obtained from the application of the developed control technique to a quantum system consisting of two spin-1/2 particles, with the aim of generating the C-NOT quantum logic gate.