Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order

We employ computer algebra algorithms to prove a collection of identities involving Bessel functions with half-integer orders and other special functions. These identities appear in the famous Handbook of Mathematical Functions, as well as in its successor, the DLMF, but their proofs were lost. We use generating functions and symbolic summation techniques to produce new proofs for them.Comment: Final version, some typos were corrected. 21 pages, uses svmult.cl

Interferometric detection of a single vortex in a dilute Bose-Einstein condensate

Using two radio frequency pulses separated in time we perform an amplitude division interference experiment on a rubidium Bose-Einstein condensate. The presence of a quantized vortex, which is nucleated by stirring the condensate with a laser beam, is revealed by a dislocation in the fringe pattern.Comment: 4 pages, 4 figure

Semiparametric theory and empirical processes in causal inference

In this paper we review important aspects of semiparametric theory and empirical processes that arise in causal inference problems. We begin with a brief introduction to the general problem of causal inference, and go on to discuss estimation and inference for causal effects under semiparametric models, which allow parts of the data-generating process to be unrestricted if they are not of particular interest (i.e., nuisance functions). These models are very useful in causal problems because the outcome process is often complex and difficult to model, and there may only be information available about the treatment process (at best). Semiparametric theory gives a framework for benchmarking efficiency and constructing estimators in such settings. In the second part of the paper we discuss empirical process theory, which provides powerful tools for understanding the asymptotic behavior of semiparametric estimators that depend on flexible nonparametric estimators of nuisance functions. These tools are crucial for incorporating machine learning and other modern methods into causal inference analyses. We conclude by examining related extensions and future directions for work in semiparametric causal inference

Accuracy and Stability of Computing High-Order Derivatives of Analytic Functions by Cauchy Integrals

High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of convergence is equal, numerical stability strongly depends on r. We give a comprehensive study of this effect; in particular we show that there is a unique radius that minimizes the loss of accuracy caused by round-off errors. For large classes of functions, though not for all, this radius actually gives about full accuracy; a remarkable fact that we explain by the theory of Hardy spaces, by the Wiman-Valiron and Levin-Pfluger theory of entire functions, and by the saddle-point method of asymptotic analysis. Many examples and non-trivial applications are discussed in detail.Comment: Version 4 has some references and a discussion of other quadrature rules added; 57 pages, 7 figures, 6 tables; to appear in Found. Comput. Mat

Observational diagnostics of gas in protoplanetary disks

Protoplanetary disks are composed primarily of gas (99% of the mass). Nevertheless, relatively few observational constraints exist for the gas in disks. In this review, I discuss several observational diagnostics in the UV, optical, near-IR, mid-IR, and (sub)-mm wavelengths that have been employed to study the gas in the disks of young stellar objects. I concentrate in diagnostics that probe the inner 20 AU of the disk, the region where planets are expected to form. I discuss the potential and limitations of each gas tracer and present prospects for future research.Comment: Review written for the proceedings of the conference "Origin and Evolution of Planets 2008", Ascona, Switzerland, June 29 - July 4, 2008. Date manuscript: October 2008. 17 Pages, 6 graphics, 134 reference

High-contrast imaging constraints on gas giant planet formation - The Herbig Ae/Be star opportunity

Planet formation studies are often focused on solar-type stars, implicitly considering our Sun as reference point. This approach overlooks, however, that Herbig Ae/Be stars are in some sense much better targets to study planet formation processes empirically, with their disks generally being larger, brighter and simply easier to observe across a large wavelength range. In addition, massive gas giant planets have been found on wide orbits around early type stars, triggering the question if these objects did indeed form there and, if so, by what process. In the following I briefly review what we currently know about the occurrence rate of planets around intermediate mass stars, before discussing recent results from Herbig Ae/Be stars in the context of planet formation. The main emphasis is put on spatially resolved polarized light images of potentially planet forming disks and how these images - in combination with other data - can be used to empirically constrain (parts of) the planet formation process. Of particular interest are two objects, HD100546 and HD169142, where, in addition to intriguing morphological structures in the disks, direct observational evidence for (very) young planets has been reported. I conclude with an outlook, what further progress we can expect in the very near future with the next generation of high-contrast imagers at 8-m class telescopes and their synergies with ALMA.Comment: Accepted by Astrophysics and Space Science as invited short review in special issue about Herbig Ae/Be stars; 12 pages incl. 5 figures, 2 tables and reference

Quantum superchemistry: Role of trapping profile and quantum statistics

The process of Raman photoassociation of a trapped atomic condensate to form condensed molecules has been labeled superchemistry because it can occur at 0 K and experiences coherent bosonic stimulation. We show here that the differences from ordinary chemical processes go even deeper, with the conversion rates depending on the quantum state of the reactants, as expressed by the Wigner function. We consider different initial quantum states of the trapped atomic condensate and different forms of the confining potentials, demonstrating the importance of the quantum statistics and the extra degrees of freedom which massive particles and trapping potentials make available over the analogous optical process of second-harmonic generation. We show that both mean-field analyses and quantum calculations using an inappropriate initial condition can make inaccurate predictions for a given system. This is possible whether using a spatially dependent analysis or a zero-dimensional approach as commonly used in quantum optics

Use of SMS texts for facilitating access to online alcohol interventions: a feasibility study

A41 Use of SMS texts for facilitating access to online alcohol interventions: a feasibility study In: Addiction Science & Clinical Practice 2017, 12(Suppl 1): A4

Search for the associated production of the Higgs boson with a top-quark pair

A search for the standard model Higgs boson produced in association with a top-quark pair t t ¯ H (tt¯H) is presented, using data samples corresponding to integrated luminosities of up to 5.1 fb −1 and 19.7 fb −1 collected in pp collisions at center-of-mass energies of 7 TeV and 8 TeV respectively. The search is based on the following signatures of the Higgs boson decay: H → hadrons, H → photons, and H → leptons. The results are characterized by an observed t t ¯ H tt¯H signal strength relative to the standard model cross section, μ = σ/σ SM ,under the assumption that the Higgs boson decays as expected in the standard model. The best fit value is μ = 2.8 ± 1.0 for a Higgs boson mass of 125.6 GeV