Exact two-particle eigenstates in partially reduced QED

We consider a reformulation of QED in which covariant Green functions are used to solve for the electromagnetic field in terms of the fermion fields. It is shown that exact few-fermion eigenstates of the resulting Hamiltonian can be obtained in the canonical equal-time formalism for the case where there are no free photons. These eigenstates lead to two- and three-body Dirac-like equations with electromagnetic interactions. Perturbative and some numerical solutions of the two-body equations are presented for positronium and muonium-like systems, for various strengths of the coupling.Comment: 33 pages, LaTex 2.09, 4 figures in EPS forma

Semi-leptonic B decays into higher charmed resonances

We apply HQET to semi-leptonic $B$ meson decays into a variety of excited charm states. Using three realistic meson models with fermionic light degrees of freedom, we examine the extent that the sum of exclusive single charmed states account for the inclusive semi-leptonic $B$ decay rate. The consistency of form factors with the Bjorken and Voloshin sum rules is also investigated.Comment: Latex, 27 pages. A few references and errors corrected, to appear in Phys. Rev.

Application of Jain and Munczek's bound-state approach to gamma gamma-processes of pi0, eta_c and eta_b

We point out the problems affecting most quark--antiquark bound state approaches when they are faced with the electromagnetic processes dominated by Abelian axial anomaly. However, these problems are resolved in the consistently coupled Schwinger-Dyson and Bethe-Salpeter approach. Using one of the most successful variants of this approach, we find the dynamically dressed propagators of the light u and d quarks, as well as the heavy c and b quarks, and find the Bethe-Salpeter amplitudes for their bound states pi0, eta_c and \eta_b. Thanks to incorporating the dynamical chiral symmetry breaking, the pion simultaneously appears as the (pseudo)Goldstone boson. We give the theoretical predictions for the gamma-gamma decay widths of pi0, eta_c and eta_b, and for the pi0 gamma* -> gamma transition form factor, and compare them with experiment. In the chiral limit, the axial-anomaly result for pi0->gamma-gamma is reproduced analytically in the consistently coupled Schwinger-Dyson and Bethe-Salpeter approach, provided that the quark-photon vertex is dressed consistently with the quark propagator, so that the vector Ward-Takahashi identity of QED is obeyed. On the other hand, the present approach is also capable of quantitatively describing systems of heavy quarks, concretely eta_c and possibly eta_b, and their gamma-gamma decays. We discuss the reasons for the broad phenomenological success of the bound-state approach of Jain and Munczek.Comment: RevTeX, 37 pages, 7 eps figures, submitted to Int. J. Mod. Phys.

The acceleration and storage of radioactive ions for a neutrino factory

The term beta-beam has been coined for the production of a pure beam of electron neutrinos or their antiparticles through the decay of radioactive ions circulating in a storage ring. This concept requires radioactive ions to be accelerated to a Lorentz gamma of 150 for 6He and 60 for 18Ne. The neutrino source itself consists of a storage ring for this energy range, with long straight sections in line with the experiment(s). Such a decay ring does not exist at CERN today, nor does a high-intensity proton source for the production of the radioactive ions. Nevertheless, the existing CERN accelerator infrastructure could be used as this would still represent an important saving for a beta-beam facility. This paper outlines the first study, while some of the more speculative ideas will need further investigations.Comment: Accepted for publication in proceedings of Nufact02, London, 200

Radiative decays: a new flavour filter

Radiative decays of the $1^3D_1$ orbital excitations of the $\rho$, $\omega$ and $\phi$ to the scalars $f_0(1370)$, $f_0(1500)$ and $f_0(1710)$ are shown to provide a flavour filter, clarifying the extent of glueball mixing in the scalar states. A complementary approach to the latter is provided by the radiative decays of the scalar mesons to the ground-state vectors $\rho$, $\omega$ and $\phi$. Discrimination among different mixing scenarios is strong.Comment: 12 pages, 1 table, 0 figure

Mechanized semantics for the Clight subset of the C language

This article presents the formal semantics of a large subset of the C language called Clight. Clight includes pointer arithmetic, "struct" and "union" types, C loops and structured "switch" statements. Clight is the source language of the CompCert verified compiler. The formal semantics of Clight is a big-step operational semantics that observes both terminating and diverging executions and produces traces of input/output events. The formal semantics of Clight is mechanized using the Coq proof assistant. In addition to the semantics of Clight, this article describes its integration in the CompCert verified compiler and several ways by which the semantics was validated.Comment: Journal of Automated Reasoning (2009

Pulsed beam chopper for the PSR at LAMPF

A traveling-wave beam chopper has been designed to provide properly structured negative-ion beam to the Proton Storage Ring (PSR) and other LAMPF users. The chopper must provide a 20-mrad kick with pulse rise time <5 ns for the 750-keV H/sup -/ ions in the injector transpoft line. Variable pulse lengths from 15 ns to 750 ..mu..s at repetition rates up to 16.7 MHz must be generated in synchronization with the PSR circulation frequency. Parameter studies led to an optimized design combining good deflection efficiency and bandwidth with minimum deleterious effects from plate-to-plate coupling. Both positive and negative 600-V pulses, with lengths up to 1 ms and maximum 10% duty factor, can be generated to drive the deflectors

Ferrite kicker magnet for the LAMPF switchyard upgrade

The new LAMPF switchyard requires a kicker magnet as the first element in the transport line leading to the Proton Storage Ring (PSR). The magnet must produce 1-ms-long pulses with 40-..mu..s rise time and <0.3% flat-top regulation to deflect the 800-MeV H/sup -/ beam by 1.2/sup 0/. We have constructed two 1-m-long, single-turn ferrite magnets, each powered by a modulator supplying up to 2400 A at a maximum rate of 24 Hz. The modulators use a transistor amplifier/regulator, a dual pulse-forming-network (PFN), and a compensating circuit driven by a function generator to achieve a total 0.1% current variation in the pulse. The system also produces an alternate kicking mode consisting of 150-..mu..s-long pulses at a maximum rate of 120 Hz; the two modes can be multiplexed within the charging power-supply limitations. 3 refs., 6 figs