Relativistic bound states in Yukawa model

The bound state solutions of two fermions interacting by a scalar exchange are obtained in the framework of the explicitly covariant light-front dynamics. The stability with respect to cutoff of the J$^{\pi}$=$0^+$ and J$^{\pi}$=$1^+$ states is studied. The solutions for J$^{\pi}$=$0^+$ are found to be stable for coupling constants $\alpha={g^2\over4\pi}$ below the critical value $\alpha_c\approx 3.72$ and unstable above it. The asymptotic behavior of the wave functions is found to follow a ${1\over k^{2+\beta}}$ law. The coefficient $\beta$ and the critical coupling constant $\alpha_c$ are calculated from an eigenvalue equation. The binding energies for the J$^{\pi}$=$1^+$ solutions diverge logarithmically with the cutoff for any value of the coupling constant. For a wide range of cutoff, the states with different angular momentum projections are weakly split.Comment: 22 pages, 13 figures, .tar.gz fil

Synthesis for Polynomial Lasso Programs

We present a method for the synthesis of polynomial lasso programs. These programs consist of a program stem, a set of transitions, and an exit condition, all in the form of algebraic assertions (conjunctions of polynomial equalities). Central to this approach is the discovery of non-linear (algebraic) loop invariants. We extend Sankaranarayanan, Sipma, and Manna's template-based approach and prove a completeness criterion. We perform program synthesis by generating a constraint whose solution is a synthesized program together with a loop invariant that proves the program's correctness. This constraint is non-linear and is passed to an SMT solver. Moreover, we can enforce the termination of the synthesized program with the support of test cases.Comment: Paper at VMCAI'14, including appendi

Antiproton-Hydrogen annihilation at sub-kelvin temperatures

The main properties of the interaction of ultra low-energy antiprotons ($E\le10^{-6}$ a.u.) with atomic hydrogen are established. They include the elastic and inelastic cross sections and Protonium (Pn) formation spectrum. The inverse Auger process ($Pn+e \to H+\bar{p}$) is taken into account in the framework of an unitary coupled-channels model. The annihilation cross-section is found to be several times smaller than the predictions made by the black sphere absorption models. A family of $\bar{p}H$ nearthreshold metastable states is predicited. The dependence of Protonium formation probability on the position of such nearthreshold S-matrix singularities is analysed. An estimation for the $H\bar{H}$ annihilation cross section is obtained.Comment: latex.tar.gz file, 22 pages, 9 figure

A new vibrational level of the H2+_2^+ molecular ion

A new state of the H$_2^+$ molecular ion with binding energy of 1.09$\times10^{-9}$ a.u. below the first dissociation limit is predicted, using highly accurate numerical nonrelativistic quantum calculations. It is the first L=0 excited state, antisymmetric with respect to the exchange of the two protons. It manifests itself as a huge p-H scattering length of $a=750\pm 5$ Bohr radii.Comment: 6 pages + 3 figure

Convection enhanced delivery in the setting of high‐grade gliomas

Development of effective treatments for high-grade glioma (HGG) is hampered by (1) the blood–brain barrier (BBB), (2) an infiltrative growth pattern, (3) rapid development of therapeutic resistance, and, in many cases, (4) dose-limiting toxicity due to systemic exposure. Convection-enhanced delivery (CED) has the potential to significantly limit systemic toxicity and increase therapeutic index by directly delivering homogenous drug concentrations to the site of disease. In this review, we present clinical experiences and preclinical developments of CED in the setting of high-grade gliomas

Electron-deuteron scattering in the equal-time formalism: beyond the impulse approximation

Using a three-dimensional formalism that includes relativistic kinematics, the effects of negative-energy states, approximate boosts of the two-body system, and current conservation, we calculate the electromagnetic form factors of the deuteron up to Q^2 of 4 GeV^2. This is done using a dynamical boost for two-body systems with spin. We first compute form factors in impulse approxmation, but then also add an isoscalar meson-exchange current of pion range that involves the gamma-pi contact operator associated with pseudovector pi-N coupling. We also consider effects of the rho-pi-gamma meson-exchange current. The experimentally measured quantities A, B, and t20 are calculated over the kinematic range probed in recent Jefferson Laboratory experiments. The rho-pi-gamma meson-exchange current provides significant strength in A at large Q^2 and the gamma-pi contact-term exchange current shifts t20, providing good agreement with the JLab data. Relativistic effects and the gamma-pi meson-exchange current do not provide an explanation of the B observable, but the rho-pi-gamma current could help to provide agreement if a nonstandard value is used for the tensor rho-N coupling that enters this contribution.Comment: 15 pages, 10 figures. (v2) Added references on rho-pi-gamma current as well as comparison to recent Novosibirsk data on T20. Implemented \includegraphics in place of \BoxedEPSF. (v3) Modified in order to clarify the nature of the boost we implemented for particles with spin. Other minor changes. Version to be published in Physical Review

Benchmark calculation of n-3H and p-3He scattering

The n-3H and p-3He elastic phase-shifts below the trinucleon disintegration thresholds are calculated by solving the 4-nucleon problem with three different realistic nucleon-nucleon interactions (the I-N3LO model by Entem and Machleidt, the Argonne v18 potential model, and a low-k model derived from the CD-Bonn potential). Three different methods -- Alt, Grassberger and Sandhas, Hyperspherical Harmonics, and Faddeev-Yakubovsky -- have been used and their respective results are compared. For both n-3H and p-3He we observe a rather good agreement between the three different theoretical methods. We also compare the theoretical predictions with the available experimental data, confirming the large underprediction of the p-3He analyzing power.Comment: 18 pages, 9 figure

Design of the Front End Electronics for the Infrared Camera of JEM-EUSO, and manufacturing and verification of the prototype model

The Japanese Experiment Module (JEM) Extreme Universe Space Observatory (EUSO) will be launched and attached to the Japanese module of the International Space Station (ISS). Its aim is to observe UV photon tracks produced by ultra-high energy cosmic rays developing in the atmosphere and producing extensive air showers. The key element of the instrument is a very wide-field, very fast, large-lense telescope that can detect extreme energy particles with energy above $10^{19}$ eV. The Atmospheric Monitoring System (AMS), comprising, among others, the Infrared Camera (IRCAM), which is the Spanish contribution, plays a fundamental role in the understanding of the atmospheric conditions in the Field of View (FoV) of the telescope. It is used to detect the temperature of clouds and to obtain the cloud coverage and cloud top altitude during the observation period of the JEM-EUSO main instrument. SENER is responsible for the preliminary design of the Front End Electronics (FEE) of the Infrared Camera, based on an uncooled microbolometer, and the manufacturing and verification of the prototype model. This paper describes the flight design drivers and key factors to achieve the target features, namely, detector biasing with electrical noise better than $100 \mu$V from $1$ Hz to $10$ MHz, temperature control of the microbolometer, from $10^{\circ}$C to $40^{\circ}$C with stability better than $10$ mK over $4.8$ hours, low noise high bandwidth amplifier adaptation of the microbolometer output to differential input before analog to digital conversion, housekeeping generation, microbolometer control, and image accumulation for noise reduction

Limits on the low energy antinucleon-nucleus annihilations from the Heisenberg principle

We show that the quantum uncertainty principle puts some limits on the effectiveness of the antinucleon-nucleus annihilation at very low energies. This is caused by the fact that the realization a very effective short-distance reaction process implies information on the relative distance of the reacting particles. Some quantitative predictions are possible on this ground, including the approximate A-independence of antinucleon-nucleus annihilation rates.Comment: 10 pages, no figure

The Nuclear Yukawa Model on a Lattice

We present the results of the quantum field theory approach to nuclear Yukawa model obtained by standard lattice techniques. We have considered the simplest case of two identical fermions interacting via a scalar meson exchange. Calculations have been performed using Wilson fermions in the quenched approximation. We found the existence of a critical coupling constant above which the model cannot be numerically solved. The range of the accessible coupling constants is below the threshold value for producing two-body bound states. Two-body scattering lengths have been obtained and compared to the non relativistic results.Comment: 15 page