DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction

Recently much attention has been paid to quantum circuit design to prepare for the future "quantum computation era." Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits. For that purpose, we propose an efficient verification method for quantum circuits under a practical restriction. Thanks to the restriction, we can introduce an efficient verification scheme based on decision diagrams called Decision Diagrams for Matrix Functions (DDMFs). Then, we show analytically the advantages of our approach based on DDMFs over the previous verification techniques. In order to introduce DDMFs, we also introduce new concepts, quantum functions and matrix functions, which may also be interesting and useful on their own for designing quantum circuits.Comment: 15 pages, 14 figures, to appear IEICE Trans. Fundamentals, Vol. E91-A, No.1

Software fault characteristics: A synthesis of the literature

Faults continue to be a significant problem in software. Understanding the nature of these faults is important for practitioners and researchers. There are many published fault characteristics schemes but no one scheme dominates. Consequently it is difficult for practitioners to effectively evaluate the nature of faults in their software systems, and it is difficult for researchers to compare the types of faults found by different fault detection techniques. In this paper we synthesise previous fault characteristics schemes into one comprehensive scheme. Our scheme provides a richer view of faults than the previous schemes published and presents a comprehensive, unified approach which accommodates the many previous schemes. A characteristics-based view of faults should be considered by future researchers in the analysis of software faults and in the design and evaluation of new fault detection tools. We recommend that our fault characteristics scheme be used as a benchmark scheme

Universality of Brunnian (NN-body Borromean) four and five-body systems

We compute binding energies and root mean square radii for weakly bound systems of $N=4$ and $5$ identical bosons. Ground and first excited states of an $N$-body system appear below the threshold for binding the system with $N-1$ particles. Their root mean square radii approach constants in the limit of weak binding. Their probability distributions are on average located in non-classical regions of space which result in universal structures. Radii decrease with increasing particle number. The ground states for more than five particles are probably non-universal whereas excited states may be universal

Pendulum Leptogenesis

We propose a new non-thermal Leptogenesis mechanism that takes place during the reheating epoch, and utilizes the Ratchet mechanism. The interplay between the oscillation of the inflaton during reheating and a scalar lepton leads to a dynamical system that emulates the well-known forced pendulum. This is found to produce driven motion in the phase of the scalar lepton which leads to the generation of a non-zero lepton number density that is later redistributed to baryon number via sphaleron processes. This model successfully reproduces the observed baryon asymmetry, while simultaneously providing an origin for neutrino masses via the seesaw mechanism.Comment: 14 pages, no figures; minor revision to match PL

On-demand single-photon state generation via nonlinear absorption

We propose a method for producing on-demand single-photon states based on collision-induced exchanges of photons and unbalanced linear absorption between two single-mode light fields. These two effects result in an effective nonlinear absorption of photons in one of the modes, which can lead to single photon states. A quantum nonlinear attenuator based on such a mechanism can absorb photons in a normal input light pulse and terminate the absorption at a single-photon state. Because the output light pulses containing single photons preserve the properties of the input pulses, we expect this method to be a means for building a highly controllable single photon source.Comment: 5 pages, 2 figures, to appear in PRA. To be published in PR

A unified model for the long and high jump

A simple model based on the maximum energy that an athlete can produce in a small time interval is used to describe the high and long jump. Conservation of angular momentum is used to explain why an athlete should run horizontally to perform a vertical jump. Our results agree with world records.Comment: Accepted for publication in Am. J. Phy

Molecular Hydrogen Emission Lines in Far Ultraviolet Spectroscopic Explorer Observations of Mira B

We present new Far Ultraviolet Spectroscopic Explorer (FUSE) observations of Mira A's wind-accreting companion star, Mira B. We find that the strongest lines in the FUSE spectrum are H2 lines fluoresced by H I Lyman-alpha. A previously analyzed Hubble Space Telescope (HST) spectrum also shows numerous Lyman-alpha fluoresced H2 lines. The HST lines are all Lyman band lines, while the FUSE H2 lines are mostly Werner band lines, many of them never before identified in an astrophysical spectrum. We combine the FUSE and HST data to refine estimates of the physical properties of the emitting H2 gas. We find that the emission can be reproduced by an H2 layer with a temperature and column density of T=3900 K and log N(H2)=17.1, respectively. Another similarity between the HST and FUSE data, besides the prevalence of H2 emission, is the surprising weakness of the continuum and high temperature emission lines, suggesting that accretion onto Mira B has weakened dramatically. The UV fluxes observed by HST on 1999 August 2 were previously reported to be over an order of magnitude lower than those observed by HST and the International Ultraviolet Explorer (IUE) from 1979--1995. Analysis of the FUSE data reveals that Mira B was still in a similarly low state on 2001 November 22.Comment: 23 pages, 6 figures; AASTEX v5.0 plus EPSF extensions in mkfig.sty; accepted by Ap

Universality of three-body systems in 2D: parametrization of the bound states energies

Universal properties of mass-imbalanced three-body systems in 2D are studied using zero-range interactions in momentum space. The dependence of the three-particle binding energy on the parameters (masses and two-body energies) is highly non-trivial even in the simplest case of two identical particles and a distinct one. This dependence is parametrized for ground and excited states in terms of {\itshape supercircles} functions in the most general case of three distinguishable particles.Comment: 3 pages, 1 figure, published versio