The BDSIM Toolkit

This report is a description of the BDSIM toolkit based on the User's Manual for the v0.1 version

BDSIM-Beamline Simulation Toolkit Based on GEANT4

http://cern.ch/AccelConf/e06/PAPERS/WEPCH124.PDFInternational audienceBDSIM is a code that combines accelerator-style par- ticle tracking with traditional Geant-style tracking based on Runge-Kutta techniques. This approach means that particle beams can be tracked efficiently when inside the beampipe, while also enabling full Geant4 processes when beam-particles interact with beamline apertures. Tracking of the resulting secondary particles is automatic. The code is described, including a new MAD-style interface and new geometry description, and key performance parameters are listed

Hidden symmetries and Killing tensors on curved spaces

Higher order symmetries corresponding to Killing tensors are investigated. The intimate relation between Killing-Yano tensors and non-standard supersymmetries is pointed out. In the Dirac theory on curved spaces, Killing-Yano tensors generate Dirac type operators involved in interesting algebraic structures as dynamical algebras or even infinite dimensional algebras or superalgebras. The general results are applied to space-times which appear in modern studies. One presents the infinite dimensional superalgebra of Dirac type operators on the 4-dimensional Euclidean Taub-NUT space that can be seen as a twisted loop algebra. The existence of the conformal Killing-Yano tensors is investigated for some spaces with mixed Sasakian structures.Comment: 12 pages; talk presented at Group 27 Colloquium, Yerevan, Armenia, August 200

Vortex pairing in two-dimensional Bose gases

Recent experiments on ultracold Bose gases in two dimensions have provided evidence for the existence of the Berezinskii-Kosterlitz-Thouless (BKT) phase via analysis of the interference between two independent systems. In this work we study the two-dimensional quantum degenerate Bose gas at finite temperature using the projected Gross-Pitaevskii equation classical field method. While this describes the highly occupied modes of the gas below a momentum cutoff, we have developed a method to incorporate the higher momentum states in our model. We concentrate on finite-sized homogeneous systems in order to simplify the analysis of the vortex pairing. We determine the dependence of the condensate fraction on temperature and compare this to the calculated superfluid fraction. By measuring the first order correlation function we determine the boundary of the Bose-Einstein condensate and BKT phases, and find it is consistent with the superfluid fraction decreasing to zero. We reveal the characteristic unbinding of vortex pairs above the BKT transition via a coarse-graining procedure. Finally, we model the procedure used in experiments to infer system correlations [Hadzibabic et al., Nature 441, 1118 (2006)], and quantify its level of agreement with directly calculated in situ correlation functions.Comment: published versio

High-Energy Approach for Heavy-Ion Scattering with Excitations of Nuclear Collective States

A phenomenological optical potential is generalized to include the Coulomb and nuclear interactions caused by the dynamical deformation of its surface. In the high-energy approach analytical expressions for elastic and inelastic scattering amplitudes are obtained where all the orders in the deformation parameters are included. The multistep effect of the 2$^+$ rotational state excitation on elastic scattering is analyzed. Calculations of inelastic cross sections for the $^{17}$O ions scattered on different nuclei at about hundred Mev/nucleon are compared with experimental data, and important role of the Coulomb excitation is established.Comment: 9 pages; 3 figures. Submitted to the Physics of Atomic Nucle

On transversally elliptic operators and the quantization of manifolds with ff-structure

An $f$-structure on a manifold $M$ is an endomorphism field \phi\in\Gamma(M,\End(TM)) such that $\phi^3+\phi=0$. Any $f$-structure $\phi$ determines an almost CR structure E_{1,0}\subset T_\C M given by the $+i$-eigenbundle of $\phi$. Using a compatible metric $g$ and connection $\nabla$ on $M$, we construct an odd first-order differential operator $D$, acting on sections of $\S=\Lambda E_{0,1}^*$, whose principal symbol is of the type considered in arXiv:0810.0338. In the special case of a CR-integrable almost $\S$-structure, we show that when $\nabla$ is the generalized Tanaka-Webster connection of Lotta and Pastore, the operator $D$ is given by D = \sqrt{2}(\dbbar+\dbbar^*), where \dbbar is the tangential Cauchy-Riemann operator. We then describe two "quantizations" of manifolds with $f$-structure that reduce to familiar methods in symplectic geometry in the case that $\phi$ is a compatible almost complex structure, and to the contact quantization defined in \cite{F4} when $\phi$ comes from a contact metric structure. The first is an index-theoretic approach involving the operator $D$; for certain group actions $D$ will be transversally elliptic, and using the results in arXiv:0810.0338, we can give a Riemann-Roch type formula for its index. The second approach uses an analogue of the polarized sections of a prequantum line bundle, with a CR structure playing the role of a complex polarization.Comment: 31 page

Specification and Verification of Media Constraints using UPPAAL

We present the formal specification and verification of a multimedia stream. The stream is described in a timed automata notation. We verify that the stream satisfies certain quality of service properties, in particular, throughput and end-to-end latency. The verification tool used is the real-time model checker UPPAAL