Exact synthesis of single-qubit unitaries over Clifford-cyclotomic gate sets

We generalize an efficient exact synthesis algorithm for single-qubit unitaries over the Clifford+T gate set which was presented by Kliuchnikov, Maslov and Mosca. Their algorithm takes as input an exactly synthesizable single-qubit unitary--one which can be expressed without error as a product of Clifford and T gates--and outputs a sequence of gates which implements it. The algorithm is optimal in the sense that the length of the sequence, measured by the number of T gates, is smallest possible. In this paper, for each positive even integer $n$ we consider the "Clifford-cyclotomic" gate set consisting of the Clifford group plus a z-rotation by $\frac{\pi}{n}$. We present an efficient exact synthesis algorithm which outputs a decomposition using the minimum number of $\frac{\pi}{n}$ z-rotations. For the Clifford+T case $n=4$ the group of exactly synthesizable unitaries was shown to be equal to the group of unitaries with entries over the ring $\mathbb{Z}[e^{i\frac{\pi}{n}},1/2]$. We prove that this characterization holds for a handful of other small values of $n$ but the fraction of positive even integers for which it fails to hold is 100%.Comment: v2: published versio

Unifying notions of pasting diagrams

In this work, we relate the three main formalisms for the notion of pasting diagram in strict ω-categories: Street's parity complexes, Johnson's pasting schemes and Steiner's augmented directed complexes. We first show that parity complexes and pasting schemes do not induce free ω-categories in general, contrarily to the claims made in their respective papers, by providing a counterexample. Then, we introduce a new formalism that is a strict generalization of augmented directed complexes, and corrected versions of parity complexes and pasting schemes, which moreover satisfies the aforementioned freeness property. Finally, we show that there are no other embeddings between these four formalisms

An Analysis of Symmetry in Quantitative Semantics

In this paper, we build on a recent bicategorical model called thin spans of groupoids, introduced by Clairambault and Forest. Notably, thin spans feature a decomposition of symmetry into two sub-groupoids of polarized -- positive and negative -- symmetries. We first construct a variation of the original exponential of thin spans, based on sequences rather than families. Then we give a syntactic characterisation of the interpretation of simply-typed lambda-terms in thin spans, in terms of rigid intersection types and rigid resource terms. Finally, we formally relate thin spans with the weighted relational model and generalized species of structure. This allows us to show how some quantities in those models reflect polarized symmetries: in particular we show that the weighted relational model counts witnesses from generalized species of structure, divided by the cardinal of a group of positive symmetries

Coherence of Gray Categories via Rewriting

Over the recent years, the theory of rewriting has been extended in order to provide systematic techniques to show coherence results for strict higher categories. Here, we investigate a further generalization to low-dimensional weak categories, and consider in details the first non-trivial case: presentations of tricategories. By a general result, those are equivalent to the stricter Gray categories, for which we introduce a notion of rewriting system, as well as associated tools: critical pairs, termination orders, etc. We show that a finite rewriting system admits a finite number of critical pairs and, as a variant of Newman\u27s lemma in our context, that a convergent rewriting system is coherent, meaning that two parallel 3-cells are necessarily equal. This is illustrated on rewriting systems corresponding to various well-known structures in the context of Gray categories (monoids, adjunctions, Frobenius monoids). Finally, we discuss generalizations in arbitrary dimension

Neutron charge form factor at large q2q^2

The neutron charge form factor $G_{En}(q)$ is determined from an analysis of the deuteron quadrupole form factor $F_{C2}$ data. Recent calculations, based on a variety of different model interactions and currents, indicate that the contributions associated with the uncertain two-body operators of shorter range are relatively small for $F_{C2}$, even at large momentum transfer $q$. Hence, $G_{En}(q)$ can be extracted from $F_{C2}$ at large $q^2$ without undue systematic uncertainties from theory.Comment: 8 pages, 3 figure

Electron-deuteron scattering in a current-conserving description of relativistic bound states: formalism and impulse approximation calculations

The electromagnetic interactions of a relativistic two-body bound state are formulated in three dimensions using an equal-time (ET) formalism. This involves a systematic reduction of four-dimensional dynamics to a three-dimensional form by integrating out the time components of relative momenta. A conserved electromagnetic current is developed for the ET formalism. It is shown that consistent truncations of the electromagnetic current and the $NN$ interaction kernel may be made, order-by-order in the coupling constants, such that appropriate Ward-Takahashi identities are satisfied. A meson-exchange model of the $NN$ interaction is used to calculate deuteron vertex functions. Calculations of electromagnetic form factors for elastic scattering of electrons by deuterium are performed using an impulse-approximation current. Negative-energy components of the deuteron's vertex function and retardation effects in the meson-exchange interaction are found to have only minor effects on the deuteron form factors.Comment: 42 pages, RevTe

Meson exchange currents in electromagnetic one-nucleon emission

The role of meson exchange currents (MEC) in electron- and photon-induced one-nucleon emission processes is studied in a nonrelativistic model including correlations and final state interactions. The nuclear current is the sum of a one-body and of a two-body part. The two-body current includes pion seagull, pion-in-flight and the isobar current contributions. Numerical results are presented for the exclusive 16O(e,e'p)15N and 16O(\gamma,p)15N reactions. MEC effects are in general rather small in (e,e'p), while in (\gamma,p) they are always large and important to obtain a consistent description of (e,e'p) and (\gamma,p) data, with the same spectroscopic factors. The calculated (\gamma,p) cross sections are sensitive to short-range correlations at high values of the recoil momentum, where MEC effects are larger and overwhelm the contribution of correlations.Comment: 9 pages, 6 figure

Femtometer Toroidal Structures in Nuclei

The two-nucleon density distributions in states with isospin $T=0$, spin $S$=1 and projection $M_S$=0 and $\pm$1 are studied in $^2$H, $^{3,4}$He, $^{6,7}$Li and $^{16}$O. The equidensity surfaces for $M_S$=0 distributions are found to be toroidal in shape, while those of $M_S$=$\pm$1 have dumbbell shapes at large density. The dumbbell shapes are generated by rotating tori. The toroidal shapes indicate that the tensor correlations have near maximal strength at $r<2$ fm in all these nuclei. They provide new insights and simple explanations of the structure and electromagnetic form factors of the deuteron, the quasi-deuteron model, and the $dp$, $dd$ and $\alpha d$ $L$=2 ($D$-wave) components in $^3$He, $^4$He and $^6$Li. The toroidal distribution has a maximum-density diameter of $\sim$1 fm and a half-maximum density thickness of $\sim$0.9 fm. Many realistic models of nuclear forces predict these values, which are supported by the observed electromagnetic form factors of the deuteron, and also predicted by classical Skyrme effective Lagrangians, related to QCD in the limit of infinite colors. Due to the rather small size of this structure, it could have a revealing relation to certain aspects of QCD.Comment: 35 pages in REVTeX, 25 PostScript figure

Faddeev Calculations of Proton-Deuteron Radiative Capture with Exchange Currents

pd capture processes at various energies have been analyzed based on solutions of 3N-Faddeev equations and using modern NN forces. The application of the Siegert theorem is compared to the explicit use of $\pi$- and $\rho$-like exchange currents connected to the AV18 NN interaction. Overall good agreement with cross sections and spin observables has been obtained but leaving room for improvement in some cases. Feasibility studies for 3NF's consistently included in the 3N continuum and the 3N bound state have been performed as well.Comment: Minor changes in notation, ps files for figure