Guppy: Process-Oriented Programming on Embedded Devices

Guppy is a new and experimental process-oriented programming language, taking much inspiration (and some code-base) from the existing occam-pi language. This paper reports on a variety of aspects related to this, specifically language, compiler and run-time system development, enabling Guppy programs to run on desktop and embedded systems. A native code-generation approach is taken, using C as the intermediate language, and with stack-space requirements determined at compile-time

Communicating Mobile Processes

This paper presents a new model for mobile processes in occam-pi. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely disconnected from its local environment, moved (by communication along a channel), reconnected to a new environment and reactivated. Upon reactivation, the process resumes execution from the same state (i.e. data values and code positions) it held when it suspended. Its view of its environment is unchanged, since that is abstracted by its synchronisation (e.g. channels and barriers) interface and that remains constant. The environment behind that interface will (usually) be completely different. The mobile process itself may contain any number of levels of dynamic sub-network. This model is simpler and, in some ways, more powerful than our earlier proposal, which required a process to terminate before it could be moved. Its formal semantics and implementation, however, throw up extra challenges. We present details and performance of an initial implementation

Dynamical Properties of Two Coupled Hubbard Chains at Half-filling

Using grand canonical Quantum Monte Carlo (QMC) simulations combined with Maximum Entropy analytic continuation, as well as analytical methods, we examine the one- and two-particle dynamical properties of the Hubbard model on two coupled chains at half-filling. The one-particle spectral weight function, $A({\bf k},\omega)$, undergoes a qualitative change with interchain hopping $t_\perp$ associated with a transition from a four-band insulator to a two-band insulator. A simple analytical model based on the propagation of exact rung singlet states gives a good description of the features at large $t_\perp$. For smaller $t_\perp$, $A({\bf k}, \omega)$ is similar to that of the one-dimensional model, with a coherent band of width the effective antiferromagnetic exchange $J$ reasonably well-described by renormalized spin-wave theory. The coherent band rides on a broad background of width several times the parallel hopping integral $t$, an incoherent structure similar to that found in calculations on both the one- and two-dimensional models. We also present QMC results for the two-particle spin and charge excitation spectra, and relate their behavior to the rung singlet picture for large $t_\perp$ and to the results of spin-wave theory for small $t_\perp$.Comment: 9 pages + 10 postscript figures, submitted to Phys.Rev.B, revised version with isotropic t_perp=t data include

Inelastic Neutron Scattering from the Spin Ladder Compound (VO)2P2O7

We present results from an inelastic neutron scattering experiment on the candidate Heisenberg spin ladder vanadyl pyrophosphate, (VO)2P2O7. We find evidence for a spin-wave excitation gap of $E_{gap} = 3.7\pm 0.2$ meV, at a band minimum near $Q=0.8 A^{-1}$. This is consistent with expectations for triplet spin waves in (VO)2P2O7 in the spin-ladder model, and is to our knowledge the first confirmation in nature of a Heisenberg antiferromagnetic spin ladder.Comment: 11 pages and 2 figures (available as hard copy or postscript files from the authors, send request to [email protected] or [email protected]), TEX using jnl, reforder and eqnorder, ORNL-CCIP-94-05 / RAL-94-04

The ground state of the two-leg Hubbard ladder: a density--matrix renormalization group study

We present density-matrix renormalization group results for the ground state properties of two-leg Hubbard ladders. The half-filled Hubbard ladder is an insulating spin-gapped system, exhibiting a crossover from a spin-liquid to a band-insulator as a function of the interchain hopping matrix element. When the system is doped, there is a parameter range in which the spin gap remains. In this phase, the doped holes form singlet pairs and the pair-field and the "$4 k_F$" density correlations associated with pair density fluctuations decay as power laws, while the "$2 k_F$" charge density wave correlations decay exponentially. We discuss the behavior of the exponents of the pairing and density correlations within this spin gapped phase. Additional one-band Luttinger liquid phases which occur in the large interband hopping regime are also discussed.Comment: 14 pages, 18 figures, uses Revtex with epsfig to include the figure

Possible Molecular States of Ds∗Dˉs∗D^{*}_s\bar{D}^{*}_s System and Y(4140)

The interpretation of Y(4140) as a $D^{*}_s\bar{D}^{*}_s$ molecule is studied dynamically in the one boson exchange approach, where $\sigma$, $\eta$ and $\phi$ exchange are included. Ten allowed $D^{*}_s\bar{D}^{*}_s$ states with low spin parity are considered, we find that the $J^{PC}=0^{++}$, $1^{+-}$, $0^{-+}$, $2^{++}$ and $1^{--}$ $D^{*}_s\bar{D}^{*}_s$ configurations are most tightly bound. We suggest the most favorable quantum numbers are $J^{PC}=0^{++}$ for Y(4140) as a $D^{*}_s\bar{D}^{*}_s$ molecule, however, $J^{PC}=0^{-+}$ and $2^{++}$ can not be excluded. We propose to search for the $1^{+-}$ and $1^{--}$ partners in the $J/\psi\eta$ and $J/\psi\eta'$ final states, which is an important test of the molecular hypothesis of Y(4140) and the reasonability of our model. The $0^{++}$ $B^{*}_s\bar{B}^{*}_s$ molecule is deeply bound, experimental search in the $\Upsilon(1S)\phi$ channel at Tevatron and LHC is suggested.Comment: 13 pages,2 figure

Glueball spectrum based on a rigorous three-dimensional relativistic equation for two-gluon bound states I: Derivation of the relativistic equation

A rigorous three-dimensional relativistic equation satisfied by two-gluon bound states is derived from the QCD with massive gluons. With the gluon fields and the quark fields being expanded in terms of the gluon multipole fields and the spherical Dirac spinors respectively, the equation is well established in the angular momentum representation and hence is much convenient for solving the problem of two-gluon glueball spectra. In particular, the interaction kernel in the equation is exactly derived and given a closed expression which includes all the interactions taking place in the two-gluon glueballs. The kernel contains only a few types of Green's functions and commutators. Therefore, it is not only easily calculated by the perturbation method, but also provides a suitable basis for nonperturbative investigations

Glueball spectrum based on a rigorous three-dimensional relativistic equation for two-gluon bound states II: calculation of the glueball spectrum

In the preceding paper, a rigorous three-dimensional relativistic equation for two-gluon bound states was derived from the QCD with massive gluons and represented in the angular momentum representation. In order to apply this equation to calculate the glueball spectrum, in this paper, the equation is recast in an equivalent three-dimensional relativistic equation satisfied by the two-gluon positive energy state amplitude. The interaction Hamiltonian in the equation is exactly derived and expressed as a perturbative series. The first term in the series describes the one-gluon exchange interaction which includes fully the retardation effect in it. This term plus the linear confining potential are chosen to be the interaction Hamiltonian and employed in the practical calculation. With the integrals containing three and four spherical Bessel functions in the QCD vertices being analytically calculated, the interaction Hamiltonian is given an explicit expression in the angular momentum representation. Numerically solving the relativistic equation with taking the contributions arising from the retardation effect and the longitudinal mode of gluon fields into account, a set of masses for the $0^{++},0^{-+},1^{++},1^{-+},2^{++}$ and $2^{-+\text{}}$ glueball states are obtained and are in fairly good agreement with the predictions given by the lattice simulatio

The transition between hole-pairs and four-hole clusters in four-leg tJ ladders

Holes weakly doped into a four-leg \tj ladder bind in pairs. At dopings exceeding a critical doping of $\delta_c\simeq {1/8}$ four hole clusters are observed to form in DMRG calculations. The symmetry of the ground state wavefunction does not change and we are able to reproduce this behavior qualitatively with an effective bosonic model in which the four-leg ladder is represented as two coupled two-leg ladders and hole-pairs are mapped on hard core bosons moving along and between these ladders. At lower dopings, $\delta<\delta_c$, a one dimensional bosonic representation for hole-pairs works and allows us to calculate accurately the Luttinger liquid parameter \krho, which takes the universal value \krho=1 as half-filling is approached

An entangled two photon source using biexciton emission of an asymmetric quantum dot in a cavity

A semiconductor based scheme has been proposed for generating entangled photon pairs from the radiative decay of an electrically-pumped biexciton in a quantum dot. Symmetric dots produce polarisation entanglement, but experimentally-realised asymmetric dots produce photons entangled in both polarisation and frequency. In this work, we investigate the possibility of erasing the `which-path' information contained in the frequencies of the photons produced by asymmetric quantum dots to recover polarisation-entangled photons. We consider a biexciton with non-degenerate intermediate excitonic states in a leaky optical cavity with pairs of degenerate cavity modes close to the non-degenerate exciton transition frequencies. An open quantum system approach is used to compute the polarisation entanglement of the two-photon state after it escapes from the cavity, measured by the visibility of two-photon interference fringes. We explicitly relate the two-photon visibility to the degree of Bell-inequality violation, deriving a threshold at which Bell-inequality violations will be observed. Our results show that an ideal cavity will produce maximally polarisation-entangled photon pairs, and even a non-ideal cavity will produce partially entangled photon pairs capable of violating a Bell-inequality.Comment: 16 pages, 10 figures, submitted to PR