Enhanced Sensitivity to the Time Variation of the Fine-Structure Constant and mp/mem_p/m_e in Diatomic Molecules: A Closer Examination of Silicon Monobromide

Recently it was pointed out that transition frequencies in certain diatomic molecules have an enhanced sensitivity to variations in the fine-structure constant $\alpha$ and the proton-to-electron mass ratio $m_p/m_e$ due to a near cancellation between the fine-structure and vibrational interval in a ground electronic multiplet [V.~V.~Flambaum and M.~G.~Kozlov, Phys. Rev. Lett.~{\bf 99}, 150801 (2007)]. One such molecule possessing this favorable quality is silicon monobromide. Here we take a closer examination of SiBr as a candidate for detecting variations in $\alpha$ and $m_p/m_e$. We analyze the rovibronic spectrum by employing the most accurate experimental data available in the literature and perform \emph{ab initio} calculations to determine the precise dependence of the spectrum on variations in $\alpha$. Furthermore, we calculate the natural linewidths of the rovibronic levels, which place a fundamental limit on the accuracy to which variations may be determined.Comment: 8 pages, 2 figure

N2_2 and Xe Gas Scintillation Cross-Section, Spectrum, and Lifetime Measurements from 50 MeV to 26 GeV at the CERN PS and Booster

Beam parameters in CERN's Proton Synchrotron (PS) accelerator must be controlled (and measured) with tighter precision than ever before to meet the stringent requirements of the Large Hadron Collider (LHC) programme. A non-destructive beam profile measurement system would be a valuable diagnostic tool. To this end, we measured N2 and Xe gas scintillation absolute cross-sections and lifetimes for proton beam energies from 1.4 to 25 GeV, which should prove valuable in the design and construction of a gas scintillation profile measurement system. We also measured relative cross-sections for proton beam energies between 0.05 and 1.4 GeV

Transverse Profile Monitor using Ion Probe Beams

A profile monitor is described that makes use of a low-intensity and low-energy ion beam to measure the transverse profile of a dense proton beam of small dimensions. Three tehcniques are considered based on the use of ion beams having a pencil, curtain, or cylindrical shape. The detector is almost non-interceptive for the proton beam and does not introduce disturbances in the machine environment. The theroretical aspects of the techniques used, together with experimental results obtained at the CERN SPS and Linac, are presented

A Pragmatics-based Model for Narrative Dialogue Generation

We describe a method and a proof of concept which allow the generation of rich and engaging dialogues between virtual characters from a formalised plot description. The structure of the dialogue generated borrows from inferential pragmatics, following the Geneva Model of discourse analysis, in order to provide realistic interaction between characters in the narrative. At a higher level, this discourse is organised following heuristics borrowed from narratology theory in order to elicit emotions linked to dramatic tension and thus favour narrative engagement. Besides enriching narrative generation systems embedded within simulation applications, our work also has the potential to be adapted to support engaging interactive dialogues between users and virtual conversational agents in narrative systems

Linear Logic Programming for Narrative Generation

Abstract. In this paper, we explore the use of Linear Logic programming for story generation. We use the language Celf to represent narrative knowledge, and its own querying mechanism to generate story instances, through a number of proof terms. Each proof term obtained is used, through a resource-flow analysis, to build a directed graph where nodes are narrative actions and edges represent inferred causality relationships. Such graphs represent narrative plots structured by narrative causality. Building on previous work evidencing the suitability of Linear Logic as a conceptual model of action and change for narratives, we explore the conditions under which these representations can be operationalized through Linear Logic Programming techniques. This approach is a candidate technique for narrative generation which unifies declarative representations and generation via query and deduction mechanisms

Elliptic logarithms, diophantine approximation and the Birch and Swinnerton-Dyer conjecture

Most, if not all, unconditional results towards the abc-conjecture rely ultimately on classical Baker's method. In this article, we turn our attention to its elliptic analogue. Using the elliptic Baker's method, we have recently obtained a new upper bound for the height of the S-integral points on an elliptic curve. This bound depends on some parameters related to the Mordell-Weil group of the curve. We deduce here a bound relying on the conjecture of Birch and Swinnerton-Dyer, involving classical, more manageable quantities. We then study which abc-type inequality over number fields could be derived from this elliptic approach.Comment: 20 pages. Some changes, the most important being on Conjecture 3.2, three references added ([Mas75], [MB90] and [Yu94]) and one reference updated [BS12]. Accepted in Bull. Brazil. Mat. So

Laser Wire Scanner Development on CTF II

A laser wire scanner is under development at CERN in the framework of the Compact Linear Collider study (CLIC). A first test has been carried out at the CLIC Test Facility II (CTF II) with the aim of developing a beam profile monitor for a low energy, high charge electron beam. In our set-up a 2.5 mJ, 1047 nm, 4 ps laser pulse interacts with a 50 MeV, 1 nC, 4 ps electron bunch. A scintillator detects up to 600 X-ray photons, with an average energy of 17 keV. In the present status of the experiment Thomson photons have been observed, but the signal to noise ratio is however still too low for an accurate profile measurement

Zero Order Estimates for Analytic Functions

The primary goal of this paper is to provide a general multiplicity estimate. Our main theorem allows to reduce a proof of multiplicity lemma to the study of ideals stable under some appropriate transformation of a polynomial ring. In particular, this result leads to a new link between the theory of polarized algebraic dynamical systems and transcendental number theory. On the other hand, it allows to establish an improvement of Nesterenko's conditional result on solutions of systems of differential equations. We also deduce, under some condition on stable varieties, the optimal multiplicity estimate in the case of generalized Mahler's functional equations, previously studied by Mahler, Nishioka, Topfer and others. Further, analyzing stable ideals we prove the unconditional optimal result in the case of linear functional systems of generalized Mahler's type. The latter result generalizes a famous theorem of Nishioka (1986) previously conjectured by Mahler (1969), and simultaneously it gives a counterpart in the case of functional systems for an important unconditional result of Nesterenko (1977) concerning linear differential systems. In summary, we provide a new universal tool for transcendental number theory, applicable with fields of any characteristic. It opens the way to new results on algebraic independence, as shown in Zorin (2010).Comment: 42 page