A Lopez-Escobar Theorem for Continuous Domains

We prove an effective version of the Lopez-Escobar theorem for continuous domains. Let $Mod(\tau)$ be the set of countable structures with universe $\omega$ in vocabulary $\tau$ topologized by the Scott topology. We show that an invariant set $X \subseteq Mod(\tau)$ is $\Pi^0_\alpha$ in the effective Borel hierarchy of this topology if and only if it is definable by a $\Pi^p_\alpha$ - formula, a positive $\Pi^0_\alpha$ formula in the infinitary logic $L_{\omega_1,\omega}$. As a corollary of this result we obtain a new pullback theorem for positive computable embeddings: Let $K$ be positively computably embeddable in $K'$ by $\Phi$, then for every $\Pi^p_\alpha$ formula $\xi$ in the vocabulary of $K'$ there is a $\Pi^p_\alpha$ formula $\xi^\star$ in the vocabulary of $K$ such that for all $A \in K$, $A \models \xi^\star$ if and only if $\Phi(A) \models \xi$. We use this to obtain new results on the possibility of positive computable embeddings into the class of linear orderings.Comment: 17 page

The ALICE TPC, a large 3-dimensional tracking device with fast readout for ultra-high multiplicity events

The design, construction, and commissioning of the ALICE Time-Projection Chamber (TPC) is described. It is the main device for pattern recognition, tracking, and identification of charged particles in the ALICE experiment at the CERN LHC. The TPC is cylindrical in shape with a volume close to 90 m^3 and is operated in a 0.5 T solenoidal magnetic field parallel to its axis. In this paper we describe in detail the design considerations for this detector for operation in the extreme multiplicity environment of central Pb--Pb collisions at LHC energy. The implementation of the resulting requirements into hardware (field cage, read-out chambers, electronics), infrastructure (gas and cooling system, laser-calibration system), and software led to many technical innovations which are described along with a presentation of all the major components of the detector, as currently realized. We also report on the performance achieved after completion of the first round of stand-alone calibration runs and demonstrate results close to those specified in the TPC Technical Design Report.Comment: 55 pages, 82 figure

The consumption of Internet child pornography and violent and sex offending

Background: There is an ongoing debate on whether consumers of child pornography pose a risk for hands-on sex offenses. Up until now, there have been very few studies which have analyzed the association between the consumption of child pornography and the subsequent perpetration of hands-on sex offenses. The aim of this study was to examine the recidivism rates for hands-on and hands-off sex offenses in a sample of child pornography users using a 6 year follow-up design.Methods: The current study population consisted of 231 men, who were subsequently charged with consumption of illegal pornographic material after being detected by a special operation against Internet child pornography, conducted by the Swiss police in 2002. Criminal history, as well as recidivism, was assessed using the criminal records from 2008.Results: 4.8% (n = 11) of the study sample had a prior conviction for a sexual and/or violent offense, 1% (n = 2) for a hands-on sex offense, involving child sexual abuse, 3.3% (n = 8) for a handsoff sex offense and one for a nonsexual violent offense. When applying a broad definition of recidivism, which included ongoing investigations, charges and convictions, 3% (n = 7) of the study sample recidivated with a violent and/or sex offense, 3.9% (n = 9) with a hands-off sex offense and 0.8% (n = 2) with a hands-on sex offense.Conclusion: Consuming child pornography alone is not a risk factor for committing hands-on sex offenses at least not for those subjects who had never committed a hands-on sex offense. The majority of the investigated consumers had no previous convictions for hands-on sex offenses. For those offenders, the prognosis for hands-on sex offenses, as well as for recidivism with child pornography, is favorable

Charge separation relative to the reaction plane in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}= 2.76 TeV

Measurements of charge dependent azimuthal correlations with the ALICE detector at the LHC are reported for Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV. Two- and three-particle charge-dependent azimuthal correlations in the pseudo-rapidity range $|\eta| < 0.8$ are presented as a function of the collision centrality, particle separation in pseudo-rapidity, and transverse momentum. A clear signal compatible with a charge-dependent separation relative to the reaction plane is observed, which shows little or no collision energy dependence when compared to measurements at RHIC energies. This provides a new insight for understanding the nature of the charge dependent azimuthal correlations observed at RHIC and LHC energies.Comment: 12 pages, 3 captioned figures, authors from page 2 to 6, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/286

A note on comonotonicity and positivity of the control components of decoupled quadratic FBSDE

In this small note we are concerned with the solution of Forward-Backward Stochastic Differential Equations (FBSDE) with drivers that grow quadratically in the control component (quadratic growth FBSDE or qgFBSDE). The main theorem is a comparison result that allows comparing componentwise the signs of the control processes of two different qgFBSDE. As a byproduct one obtains conditions that allow establishing the positivity of the control process.Comment: accepted for publicatio

Transverse sphericity of primary charged particles in minimum bias proton-proton collisions at s=0.9\sqrt{s}=0.9, 2.76 and 7 TeV

Measurements of the sphericity of primary charged particles in minimum bias proton--proton collisions at $\sqrt{s}=0.9$, 2.76 and 7 TeV with the ALICE detector at the LHC are presented. The observable is linearized to be collinear safe and is measured in the plane perpendicular to the beam direction using primary charged tracks with $p_{\rm T}\geq0.5$ GeV/c in $|\eta|\leq0.8$. The mean sphericity as a function of the charged particle multiplicity at mid-rapidity ($N_{\rm ch}$) is reported for events with different $p_{\rm T}$ scales ("soft" and "hard") defined by the transverse momentum of the leading particle. In addition, the mean charged particle transverse momentum versus multiplicity is presented for the different event classes, and the sphericity distributions in bins of multiplicity are presented. The data are compared with calculations of standard Monte Carlo event generators. The transverse sphericity is found to grow with multiplicity at all collision energies, with a steeper rise at low $N_{\rm ch}$, whereas the event generators show the opposite tendency. The combined study of the sphericity and the mean $p_{\rm T}$ with multiplicity indicates that most of the tested event generators produce events with higher multiplicity by generating more back-to-back jets resulting in decreased sphericity (and isotropy). The PYTHIA6 generator with tune PERUGIA-2011 exhibits a noticeable improvement in describing the data, compared to the other tested generators.Comment: 21 pages, 9 captioned figures, 3 tables, authors from page 16, published version, figures from http://aliceinfo.cern.ch/ArtSubmission/node/308

Centrality dependence of charged particle production at large transverse momentum in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm{NN}}} = 2.76 TeV

The inclusive transverse momentum ($p_{\rm T}$) distributions of primary charged particles are measured in the pseudo-rapidity range $|\eta|<0.8$ as a function of event centrality in Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}=2.76$ TeV with ALICE at the LHC. The data are presented in the $p_{\rm T}$ range $0.15<p_{\rm T}<50$ GeV/$c$ for nine centrality intervals from 70-80% to 0-5%. The Pb-Pb spectra are presented in terms of the nuclear modification factor $R_{\rm{AA}}$ using a pp reference spectrum measured at the same collision energy. We observe that the suppression of high-$p_{\rm T}$ particles strongly depends on event centrality. In central collisions (0-5%) the yield is most suppressed with $R_{\rm{AA}}\approx0.13$ at $p_{\rm T}=6$-7 GeV/$c$. Above $p_{\rm T}=7$ GeV/$c$, there is a significant rise in the nuclear modification factor, which reaches $R_{\rm{AA}} \approx0.4$ for $p_{\rm T}>30$ GeV/$c$. In peripheral collisions (70-80%), the suppression is weaker with $R_{\rm{AA}} \approx 0.7$ almost independently of $p_{\rm T}$. The measured nuclear modification factors are compared to other measurements and model calculations.Comment: 17 pages, 4 captioned figures, 2 tables, authors from page 12, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/284

Anisotropic flow of charged hadrons, pions and (anti-)protons measured at high transverse momentum in Pb-Pb collisions at sNN=2.76\sqrt{s_{\rm NN}}=2.76 TeV

The elliptic, $v_2$, triangular, $v_3$, and quadrangular, $v_4$, azimuthal anisotropic flow coefficients are measured for unidentified charged particles, pions and (anti-)protons in Pb-Pb collisions at $\sqrt{s_{\rm NN}} = 2.76$ TeV with the ALICE detector at the Large Hadron Collider. Results obtained with the event plane and four-particle cumulant methods are reported for the pseudo-rapidity range $|\eta|<0.8$ at different collision centralities and as a function of transverse momentum, $p_{\rm T}$, out to $p_{\rm T}=20$ GeV/$c$. The observed non-zero elliptic and triangular flow depends only weakly on transverse momentum for $p_{\rm T}>8$ GeV/$c$. The small $p_{\rm T}$ dependence of the difference between elliptic flow results obtained from the event plane and four-particle cumulant methods suggests a common origin of flow fluctuations up to $p_{\rm T}=8$ GeV/$c$. The magnitude of the (anti-)proton elliptic and triangular flow is larger than that of pions out to at least $p_{\rm T}=8$ GeV/$c$ indicating that the particle type dependence persists out to high $p_{\rm T}$.Comment: 16 pages, 5 captioned figures, authors from page 11, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/186

Measurement of charm production at central rapidity in proton-proton collisions at s=2.76\sqrt{s} = 2.76 TeV

The $p_{\rm T}$-differential production cross sections of the prompt (B feed-down subtracted) charmed mesons D$^0$, D$^+$, and D$^{*+}$ in the rapidity range $|y|<0.5$, and for transverse momentum $1< p_{\rm T} <12$ GeV/$c$, were measured in proton-proton collisions at $\sqrt{s} = 2.76$ TeV with the ALICE detector at the Large Hadron Collider. The analysis exploited the hadronic decays D$^0 \rightarrow$K$\pi$, D$^+ \rightarrow$K$\pi\pi$, D$^{*+} \rightarrow$D$^0\pi$, and their charge conjugates, and was performed on a $L_{\rm int} = 1.1$ nb$^{-1}$ event sample collected in 2011 with a minimum-bias trigger. The total charm production cross section at $\sqrt{s} = 2.76$ TeV and at 7 TeV was evaluated by extrapolating to the full phase space the $p_{\rm T}$-differential production cross sections at $\sqrt{s} = 2.76$ TeV and our previous measurements at $\sqrt{s} = 7$ TeV. The results were compared to existing measurements and to perturbative-QCD calculations. The fraction of cdbar D mesons produced in a vector state was also determined.Comment: 20 pages, 5 captioned figures, 4 tables, authors from page 15, published version, figures at http://aliceinfo.cern.ch/ArtSubmission/node/307