Linear Collider Physics

The International Linear Collider has a rich physics programme, whatever lies beyond the standard model. Accurate measurement of the top quark mass is needed to constrain the model or its extensions. If there is a light Higgs boson the LHC should see it, but the ILC will pin down its characteristics and test them against model predictions. If Supersymmetric particles appear the ILC will measure a complementary set of them to those seen at the LHC, and may allow extrapolation to the Grand Unified scale. And if a strong electroweak sector is indicated the ILC will be sensitive to the presence of new structures in difermion and diboson systems up to higher masses than the direct search range of the LHC. Beyond the LHC and ILC there could be need for a multi TeV lepton collider.Comment: Plenary talk at ICHEP 2004, Beijing, 22 August 200

Electroweak Absorptive Parts in NRQCD Matching Conditions

Electroweak corrections associated with the instability of the top quark to the next-to-next-to-leading logarithmic (NNLL) total top pair threshold cross section in e+e- annihilation are determined. Our method is based on absorptive parts in electroweak matching conditions of the NRQCD operators and the optical theorem. The corrections lead to ultraviolet phase space divergences that have to be renormalized and lead to NLL mixing effects. Numerically, the corrections can amount to several percent and are comparable to the known NNLL QCD corrections.Comment: 17 pages, revtex4, 4 postscript figures included; minor changes in text and references, title modified in printed versio

Strong efficiency improvement of SOI-LEDs through carrier confinement

Contemporary silicon light-emitting diodes in silicon-on-insulator (SOI) technology suffer from poor efficiency compared to their bulk-silicon counterparts. In this letter, we present a new device structure where the carrier injection takes place through silicon slabs of only a few nanometer thick. Its external quantum efficiency of 1.4 • 10−4 at room temperature, with a spectrum peaking at 1130 nm, is almost two orders higher than reported thus far on SOI. The structure diminishes the dominant role of nonradiative recombination at the n+ and p+contacts, by confining the injected carriers in an SOI peninsula.\ud With this approach, a compact infrared light source can be fabricated using standard semiconductor processing steps.\u

Three-Loop Anomalous Dimension of the Heavy Quark Pair Production Current in Non-Relativistic QCD

The three-loop non-mixing contributions to the anomalous dimension of the leading order quark pair production current in non-relativistic QCD are computed. It is demonstrated that the renormalization procedure can only be carried out consistently if the dynamics of both soft and the ultrasoft degrees of freedom is present for all scales below the heavy quark mass, and if the soft and ultrasoft renormalization scales are always correlated.Comment: 19 pages, revtex, 5 postscript figures include

On Electroweak Matching Conditions for Top Pair Production at Threshold

We determine the real parts of electroweak matching conditions relevant for top quark pair production close to threshold in e+e- annihilation at next-to-next-to-leading logarithmic (NNLL) order. Numerically the corrections are comparable to the NNLL QCD corrections.Comment: 12 pages, revtex4, 1 postscript figure included; minor changes in text and references, version published in Phys. Rev.

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014

SPARK 2014 is a modern programming language and a new state-of-the-art tool set for development and verification of high-integrity software. In this paper, we explore the capabilities and limitations of its latest version in the context of building a flight stack for a high-altitude unmanned glider. Towards that, we deliberately applied static analysis early and continuously during implementation, to give verification the possibility to steer the software design. In this process we have identified several limitations and pitfalls of software design and verification in SPARK, for which we give workarounds and protective actions to avoid them. Finally, we give design recommendations that have proven effective for verification, and summarize our experiences with this new language

Phase Space Matching and Finite Lifetime Effects for Top-Pair Production Close to Threshold

The top-pair $t\bar t$ production cross section close to threshold in $e^+e^-$ collisions is strongly affected by the small lifetime of the top quark. Since the cross section is defined through final states containing the top decay products, a consistent definition of the cross section depends on prescriptions how these final states are accounted for the cross section. Experimentally, these prescriptions are implemented for example through cuts on kinematic quantities such as the reconstructed top quark invariant masses. As long as these cuts do not reject final states that can arise from the decay of a top and an anti-top quark with a small off-shellness compatible with the nonrelativistic power-counting, they can be implemented through imaginary phase space matching conditions in NRQCD. The prescription-dependent cross section can then be determined from the optical theorem using the $e^+e^-$ forward scattering amplitude. We compute the phase space matching conditions associated to cuts on the top and anti-top invariant masses at next-to-next-to-leading logarithmic (NNLL) order and partially at next-to-next-to-next-to-leading logarithmic (N${}^3$LL) order in the nonrelativistic expansion and, together with finite lifetime and electroweak effects known from previous work, analyze their numerical impact on the $t\bar t$ cross section. We show that the phase space matching contributions are essential to make reliable NRQCD predictions, particularly for energies below the peak region, where the cross section is small. We find that irreducible background contributions associated to final states that do not come from top decays are strongly suppressed and can be neglected for the theoretical predictions.Comment: 62 pages, 21 figure