Verification of Linear Optical Quantum Computing using Quantum Process Calculus

We explain the use of quantum process calculus to describe and analyse linear optical quantum computing (LOQC). The main idea is to define two processes, one modelling a linear optical system and the other expressing a specification, and prove that they are behaviourally equivalent. We extend the theory of behavioural equivalence in the process calculus Communicating Quantum Processes (CQP) to include multiple particles (namely photons) as information carriers, described by Fock states or number states. We summarise the theory in this paper, including the crucial result that equivalence is a congruence, meaning that it is preserved by embedding in any context. In previous work, we have used quantum process calculus to model LOQC but without verifying models against specifications. In this paper, for the first time, we are able to carry out verification. We illustrate this approach by describing and verifying two models of an LOQC CNOT gate.Comment: In Proceedings EXPRESS/SOS 2014, arXiv:1408.127

Open Bisimulation for Quantum Processes

Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of open bisimulation, by extending the Hennessy-Milner logic to a quantum setting

Yukawa and triscalar processes in electroweak baryogenesis

We derive the contributions to the quantum transport equations for electroweak baryogenesis due to decays and inverse decays induced by triscalar and Yukawa interactions. In the minimal supersymmetric standard model (MSSM), these contributions give rise to couplings between Higgs and fermion supermultiplet densities, thereby communicating the effects of CP-violation in the Higgs sector to the baryon sector. We show that the decay and inverse decay-induced contributions that arise at zeroth order in the strong coupling, alphas, can be substantially larger than the [script O](alphas) terms that are generated by scattering processes and that are usually assumed to dominate. We revisit the often-used approximation of fast Yukawa-induced processes and show that for realistic parameter choices it is not justified. We solve the resulting quantum transport equations numerically with special attention to the impact of Yukawa rates and study the dependence of the baryon-to-entropy ratio YB on MSSM parameters

The quantum formulation derived from assumptions of epistemic processes

Motivated by Quantum Bayesianism I give background for a general epistemic approach to quantum mechanics, where complementarity and symmetry are the only essential features. A general definition of a symmetric epistemic setting is introduced, and for this setting the basic Hilbert space formalism is arrived at under certain technical assumptions. Other aspects of ordinary quantum mechanics will be developed from the same basis elsewhere.Comment: 10 page