Alignment of the Inner Tracker Stations Using First Data

Data taken during LHC synchronisation tests in August--September 2008 has been used to align the Inner Tracker ladders with a precision of 20,$mu$m. To validate the results, simulation studies with a high multiplicity particle gun have been performed. In addition, alignment studies with data taken with a cosmic trigger are discussed

Diffusion-Limited Aggregation on Curved Surfaces

We develop a general theory of transport-limited aggregation phenomena occurring on curved surfaces, based on stochastic iterated conformal maps and conformal projections to the complex plane. To illustrate the theory, we use stereographic projections to simulate diffusion-limited-aggregation (DLA) on surfaces of constant Gaussian curvature, including the sphere ($K>0$) and pseudo-sphere ($K<0$), which approximate "bumps" and "saddles" in smooth surfaces, respectively. Although curvature affects the global morphology of the aggregates, the fractal dimension (in the curved metric) is remarkably insensitive to curvature, as long as the particle size is much smaller than the radius of curvature. We conjecture that all aggregates grown by conformally invariant transport on curved surfaces have the same fractal dimension as DLA in the plane. Our simulations suggest, however, that the multifractal dimensions increase from hyperbolic ($K0$) geometry, which we attribute to curvature-dependent screening of tip branching.Comment: 4 pages, 3 fig

Proof Theory, Transformations, and Logic Programming for Debugging Security Protocols

We define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of principals and the current global state of the session. Hereby, we can describe the operational semantics of principals and of an intruder in a simple and modular way. Furthermore, using proof theoretic tools like the analysis of permutability of rules, we are able to find efficient proof strategies that we prove complete for special classes of security protocols including Needham-Schroeder. Based on the results of this preliminary analysis, we have implemented a Prolog meta-interpreter which allows for rapid prototyping and for checking safety properties of security protocols, and we have applied it for finding error traces and proving correctness of practical examples

Alignment of LHCb tracking stations with tracks fitted with a Kalman filter

The LHCb detector, operating at the Large Hadron Collider at CERN, is a single arm spectrometer optimized for the detection of the forward b anti-b production for b physics studies. The reconstruction of vertices and tracks is done by silicon micro-strips and gaseous straw-tube based detectors. In order to achieve good mass resolution for resonances the tracking detectors should be aligned to a precision of the order of ten microns. A software framework has been developed to achieve these goals and has been tested in various configurations. After a description of the software, we present alignment results and show in particular for the first time that a global $\chi^2$ solving for alignment using a locally parameterized track trajectory can be achieved

First studies of T-station alignment with simulated data

The alignment of the tracking stations using tracks fitted using standard LHCb track fit is studied. The procedure is presented together with two examples using simulated data. The first scenario presents the alignment of the IT and OT layers using beam-gas events at 450~GeV with no magnetic field. The second scenario is the alignment of the OT layers and IT boxes, layers and ladders with magnet-on data using minimum bias events at nominal energy. The results are validated by refitting J/$\psi$ tracks using the misaligned geometry compared to the re-aligned case as well as the default. It is shown that after alignment the J $\psi$ mass resolution is degraded by at most 3~\%

Superantenna made of transformation media

We show how transformation media can make a superantenna that is either completely invisible or focuses incoming light into a needle-sharp beam. Our idea is based on representating three-dimensional space as a foliage of sheets and performing two-dimensional conformal maps on each shee

Artemis Curation: Preparing for Sample Return from the Lunar South Pole

Space Policy Directive-1 mandates that the United States will lead the return of humans to the Moon for long-term exploration and utilization, followed by human missions to Mars and other destinations. In addition, the Vice President stated that It is the stated policy of this administration and the United States of America to return American astronauts to the Moon within the next five years, that is, by 2024. These efforts, under the umbrella of the recently formed Artemis Program, include such historic goals as the flight of the first woman to the Moon and the exploration of the lunar south-polar region. Among the top priorities of the Artemis Program is the return of a suite of geologic samples, providing new and significant opportunities for progressing lunar science and human exploration. In particular, successful sample return is necessary for understanding the history of volatiles in the Solar System and the evolution of the Earth-Moon system, fully constraining the hazards of the lunar polar environment for astronauts, and providing the necessary data for constraining the abundance and distribution of resources for in-situ resource utilization (ISRU). Here we summarize the ef-forts of the Astromaterials Acquisition and Curation Office (hereafter referred to as the Curation Office) to ensure the success of Artemis sample return (per NASA Policy Directive (NPD) 7100.10E)