Search

The ALPHA Collaboration, based at the CERN Antiproton Decelerator, has recently implemented a novel beamline for low-energy ($\lesssim$ 100 eV) positron and antiproton transport between cylindrical Penning traps that have strong axial magnetic fields. Here, we describe how a combination of semianalytical and numerical calculations were used to optimise the layout and design of this beamline. Using experimental measurements taken during the initial commissioning of the instrument, we evaluate its performance and validate the models used for its development. By combining data from a range of sources, we show that the beamline has a high transfer efficiency, and estimate that the percentage of particles captured in the experiments from each bunch is (78 $\pm$ 3)% for up to $10^{5}$ antiprotons, and (71 $\pm$ 5)% for bunches of up to $10^{7}$ positrons., Comment: 15 pages, 15 figures

Model-Based Systems Engineering (MBSE) is a development approach aiming to build correct-by-construction systems, provided the use of clear, unambiguous and complete models to describe them along the design process. The approach is supported by several engineering tools that automate the development steps, for example the production of code, documentation, test cases and more. TASTE [1] is pragmatic MBSE toolset supported by ESA that encapsulates several technologies to design a system (data modelling, architecture modelling, behaviour modelling/implementation), to automatically generate the binary application(s), and to validate it. One topic left open in TASTE is the formal verification of a system design with respect to specified properties. In this paper we describe our approach based on the IF model-checker [4] to enable the formal verification of properties on TASTE designs. The approach is currently under development in the ESA MoC4Space project.

The ALPHA collaboration has successfully demonstrated the production and the confinement of cold antihydrogen, $\overline{\mathrm{H}}$. An analysis of trapping data allowed a stringent limit to be placed on the electric charge of the simplest antiatom. Charge neutrality of matter is known to a very high precision, hence a neutrality limit of $\overline{\mathrm{H}}$ provides a test of CPT invariance. The experimental technique is based on the measurement of the deflection of putatively charged $\overline{\mathrm{H}}$ in an electric field. The tendency for trapped $\overline{\mathrm{H}}$ atoms to be displaced by electrostatic fields is measured and compared to the results of a detailed simulation of $\overline{\mathrm{H}}$ dynamics in the trap. An extensive survey of the systematic errors is performed, with particular attention to those due to the silicon vertex detector, which is the device used to determine the $\overline{\mathrm{H}}$ annihilation position. The limit obtained on the charge of the $\overline{\mathrm{H}}$ atom is \mbox{$ Q = (-1.3\pm1.8\pm0.4)\times10^{-8}$}, representing the first precision measurement with $\overline{\mathrm{H}}$., Comment: 5 pages, 3 figures

We demonstrate a novel detection method for the cyclotron resonance frequency of an electron plasma in a Penning-Malmberg trap. With this technique, the electron plasma is used as an in situ diagnostic tool for measurement of the static magnetic field and the microwave electric field in the trap. The cyclotron motion of the electron plasma is excited by microwave radiation and the temperature change of the plasma is measured non-destructively by monitoring the plasma's quadrupole mode frequency. The spatially-resolved microwave electric field strength can be inferred from the plasma temperature change and the magnetic field is found through the cyclotron resonance frequency. These measurements were used extensively in the recently reported demonstration of resonant quantum interactions with antihydrogen.

Recently, antihydrogen atoms were trapped at CERN in a magnetic minimum (minimum-B) trap formed by superconducting octupole and mirror magnet coils. The trapped antiatoms were detected by rapidly turning off these magnets, thereby eliminating the magnetic minimum and releasing any antiatoms contained in the trap. Once released, these antiatoms quickly hit the trap wall, whereupon the positrons and antiprotons in the antiatoms annihilated. The antiproton annihilations produce easily detected signals; we used these signals to prove that we trapped antihydrogen. However, our technique could be confounded by mirror-trapped antiprotons, which would produce seemingly-identical annihilation signals upon hitting the trap wall. In this paper, we discuss possible sources of mirror-trapped antiprotons and show that antihydrogen and antiprotons can be readily distinguished, often with the aid of applied electric fields, by analyzing the annihilation locations and times. We further discuss the general properties of antiproton and antihydrogen trajectories in this magnetic geometry, and reconstruct the antihydrogen energy distribution from the measured annihilation time history., Comment: 17 figures

Atoms made of a particle and an antiparticle are unstable, usually surviving less than a microsecond. Antihydrogen, made entirely of antiparticles, is believed to be stable, and it is this longevity that holds the promise of precision studies of matter-antimatter symmetry. We have recently demonstrated trapping of antihydrogen atoms by releasing them after a confinement time of 172 ms. A critical question for future studies is: how long can anti-atoms be trapped? Here we report the observation of anti-atom confinement for 1000 s, extending our earlier results by nearly four orders of magnitude. Our calculations indicate that most of the trapped anti-atoms reach the ground state. Further, we report the first measurement of the energy distribution of trapped antihydrogen which, coupled with detailed comparisons with simulations, provides a key tool for the systematic investigation of trapping dynamics. These advances open up a range of experimental possibilities, including precision studies of CPT symmetry and cooling to temperatures where gravitational effects could become apparent., Comment: 30 pages, 4 figures

Charges in cold, multiple-species, non-neutral plasmas separate radially by mass, forming centrifugally-separated states. Here, we report the first detailed measurements of such states in an electron-antiproton plasma, and the first observations of the separation dynamics in any centrifugally-separated system. While the observed equilibrium states are expected and in agreement with theory, the equilibration time is approximately constant over a wide range of parameters, a surprising and as yet unexplained result. Electron-antiproton plasmas play a crucial role in antihydrogen trapping experiments.

ALPHA is an experiment at CERN, whose ultimate goal is to perform a precise test of CPT symmetry with trapped antihydrogen atoms. After reviewing the motivations, we discuss our recent progress toward the initial goal of stable trapping of antihydrogen, with some emphasis on particle detection techniques., Comment: Invited talk presented at the Fifth Meeting on CPT and Lorentz Symmetry, Bloomington, Indiana, June 28-July 2, 2010

We report the application of evaporative cooling to clouds of trapped antiprotons, resulting in plasmas with measured temperature as low as 9~K. We have modeled the evaporation process for charged particles using appropriate rate equations. Good agreement between experiment and theory is observed, permitting prediction of cooling efficiency in future experiments. The technique opens up new possibilities for cooling of trapped ions and is of particular interest in antiproton physics, where a precise \emph{CPT} test on trapped antihydrogen is a long-standing goal., Comment: 5 pages, 4 figures

Antihydrogen production in a neutral atom trap formed by an octupole-based magnetic field minimum is demonstrated using field-ionization of weakly bound anti-atoms. Using our unique annihilation imaging detector, we correlate antihydrogen detection by imaging and by field-ionization for the first time. We further establish how field-ionization causes radial redistribution of the antiprotons during antihydrogen formation and use this effect for the first simultaneous measurements of strongly and weakly bound antihydrogen atoms. Distinguishing between these provides critical information needed in the process of optimizing for trappable antihydrogen. These observations are of crucial importance to the ultimate goal of performing CPT tests involving antihydrogen, which likely depends upon trapping the anti-atom.

We have demonstrated production of antihydrogen in a 1$,$T solenoidal magnetic field. This field strength is significantly smaller than that used in the first generation experiments ATHENA (3$,$T) and ATRAP (5$,$T). The motivation for using a smaller magnetic field is to facilitate trapping of antihydrogen atoms in a neutral atom trap surrounding the production region. We report the results of measurements with the ALPHA (Antihydrogen Laser PHysics Apparatus) device, which can capture and cool antiprotons at 3$,$T, and then mix the antiprotons with positrons at 1$,$T. We infer antihydrogen production from the time structure of antiproton annihilations during mixing, using mixing with heated positrons as the null experiment, as demonstrated in ATHENA. Implications for antihydrogen trapping are discussed.

We report results from a novel diagnostic that probes the outer radial profile of trapped antiproton clouds. The diagnostic allows us to determine the profile by monitoring the time-history of antiproton losses that occur as an octupole field in the antiproton confinement region is increased. We show several examples of how this diagnostic helps us to understand the radial dynamics of antiprotons in normal and nested Penning-Malmberg traps. Better understanding of these dynamics may aid current attempts to trap antihydrogen atoms.

Control of the radial profile of trapped antiproton clouds is critical to trapping antihydrogen. We report the first detailed measurements of the radial manipulation of antiproton clouds, including areal density compressions by factors as large as ten, by manipulating spatially overlapped electron plasmas. We show detailed measurements of the near-axis antiproton radial profile and its relation to that of the electron plasma.

We discuss aspects of antihydrogen studies, that relate to particle physics ideas and techniques, within the context of the ALPHA experiment at CERN's Antiproton Decelerator facility. We review the fundamental physics motivations for antihydrogen studies, and their potential physics reach. We argue that initial spectroscopy measurements, once antihydrogen is trapped, could provide competitive tests of CPT, possibly probing physics at the Planck Scale. We discuss some of the particle detection techniques used in ALPHA. Preliminary results from commissioning studies of a partial system of the ALPHA Si vertex detector are presented, the results of which highlight the power of annihilation vertex detection capability in antihydrogen studies., Comment: Invited talk at Pbar08 - Workshop on Cold Antimatter Plasmas and Application to Fundamental Physics, Okinawa, Japan, 2008. 14 pages, 8 figures

ALPHA is an international project that has recently begun experimentation at CERN's Antiproton Decelerator (AD) facility. The primary goal of ALPHA is stable trapping of cold antihydrogen atoms with the ultimate goal of precise spectroscopic comparisons with hydrogen. We discuss the status of the ALPHA project and the prospects for antihydrogen trapping., Comment: Invited talk at International Conference on Trapped Charged Particles and Fundamental Physics: TCP06, Parksville, BC, Canada, September 2006. To be published in Hyperfine Interactions