LHC Symposium 2003: Summary Talk

This summary talk reviews the LHC 2003 Symposium, focusing on expectations as we prepare to leap over the current energy frontier into new territory. We may learn from what happened in the two most recent examples of leaping into new energy territory. Quite different scenarios appeared in those two cases. In addition, we review the status of the machine and experiments as reported at the Symposium. Finally, I suggest an attitude which may be most appropriate as we look forward to the opportunities anticipated for the first data from the LHC.Comment: Summary Talk: LHC Symposium, May 1-3, 2003, Fermilab, Batavia, IL US

The Experiment Road to the Heavier Quarks and Other Heavy Objects

After a brief history of heavy quarks, I will discuss charm, bottom, and top quarks in turn. For each one, I discuss its first observation, and then what we have learned about production, hadronization, and decays - and what these have taught us about the underlying physics. I will also point out remaining open issues. For this series of lectures, the charm quark will be emphasized. It is the first of the heavy quarks, and its study is where many of the techniques and issues first appeared. Only very brief mention is made of CP violation in the bottom-quark system since that topic is the subject of a separate series of lectures by Gabriel Lopez. As the three quarks are reviewed, a pattern of techniques and lessons emerges. These are identified, and then briefly considered in the context of anticipated physics signals of the future; e.g., for Higgs and SUSY particles.Comment: From three lectures at the "IX Escuela de Particulas y Campos" in Metepec, Mexico - August, 2000. 30 pages, 5 figures Revised version with spelling/grammar corrections and clearer figur

Future Hadron Physics at Fermilab

Today, hadron physics research occurs at Fermilab as parts of broader experimental programs. This is very likely to be the case in the future. Thus, much of this presentation focuses on our vision of that future - a future aimed at making Fermilab the host laboratory for the International Linear Collider (ILC). Given the uncertainties associated with the ILC - the level of needed R&D, the ILC costs, and the timing - Fermilab is also preparing for other program choices. I will describe these latter efforts, efforts focused on a Proton Driver to increase the numbers of protons available for experiments. As examples of the hadron physics which will be coming from Fermilab, I summarize three experiments: MIPP/E907 which is running currently, and MINER A and Drell-Yan/E906 which are scheduled for future running periods. Hadron physics coming from the Tevatron Collider program will be summarized by Arthur Maciel in another talk at Hadron05.Comment: To be published in the Proceedings of the XI International Conference on Hadron Spectroscopy (Alberto Reis, editor) in the AIP Conference Proceedings series, 10 page

Charm Results on CP Violation and Mixing

The most recent results on CP violation and mixing in the charm system are reviewed as a guide to the future. While no surprising results are reported so far, charm provides a unique window to physics beyond the Standard Model. The results reported here come from four sources: ALEPH at LEP, E791 and FOCUS/E831 at Fermilab, and CLEO II.V at CESR. Results beyond these sources may be expected as a byproduct of B-motivated experiments.Comment: 17 pages,including 4 figures, Workshop on Physics and Detectors for Daphne, Frascati, Italy, November 16-19, 199

Stochastic quantum molecular dynamics for finite and extended systems

We present a detailed account of the technical aspects of stochastic quantum molecular dynamics, an approach introduced recently by the authors [H. Appel and M. Di Ventra, Phys. Rev. B 80 212303 (2009)] to describe coupled electron-ion dynamics in open quantum systems. As example applications of the method we consider both finite systems with and without ionic motion, as well as describe its applicability to extended systems in the limit of classical ions. The latter formulation allows the study of important phenomena such as decoherence and energy relaxation in bulk systems and surfaces in the presence of time-dependent fields

Monodromy of the Casimir connection of a symmetrisable Kac-Moody algebra

Let g be a symmetrisable Kac-Moody algebra and V an integrable g-module in category O. We show that the monodromy of the (normally ordered) rational Casimir connection on V can be made equivariant with respect to the Weyl group W of g, and therefore defines an action of the braid group B_W of W on V. We then prove that this action is uniquely equivalent to the quantum Weyl group action of B_W on a quantum deformation of V, that is an integrable, category O-module V_h over the quantum group U_h(g) such that V_h/hV_h is isomorphic to V. This extends a result of the second author which is valid for g semisimple.Comment: One reference added. 48 page

Quantization of continuum Kac-Moody algebras

Continuum Kac-Moody algebras have been recently introduced by the authors and O. Schiffmann. These are Lie algebras governed by a continuum root system, which can be realized as uncountable colimits of Borcherds-Kac-Moody algebras. In this paper, we prove that any continuum Kac-Moody algebra is canonically endowed with a non-degenerate invariant bilinear form. The positive and negative Borel subalgebras form a Manin triple with respect to this pairing, inducing on the continuum Kac-Moody algebra a topological quasi-triangular Lie bialgebra structure. We then construct an explicit quantization, which we refer to as a continuum quantum group, and we show that the latter is similarly realized as an uncountable colimit of Drinfeld-Jimbo quantum groups.Comment: Final version. Minor change

Separation Logic for Small-step Cminor

Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor so that it is suitable for Hoare Logic reasoning and we have designed a Separation Logic for Cminor. In this paper, we give a small-step semantics (instead of the big-step of the proved-correct compiler) that is motivated by the need to support future concurrent extensions. We detail a machine-checked proof of soundness of our Separation Logic. This is the first large-scale machine-checked proof of a Separation Logic w.r.t. a small-step semantics. The work presented in this paper has been carried out in the Coq proof assistant. It is a first step towards an environment in which concurrent Cminor programs can be verified using Separation Logic and also compiled by a proved-correct compiler with formal end-to-end correctness guarantees.Comment: Version courte du rapport de recherche RR-613