Effective gating and tunable magnetic proximity effects in two-dimensional heterostructures

Electrostatic gating enables key functionality in modern electronic devices by altering the properties of materials. While classical electrostatics is usually sufficient to understand the effects of gating in extended systems, the inherent quantum properties of gating in nanostructures offer unexplored opportunities for materials and devices. Using first-principles calculations for Co/bilayer graphene, Co/BN/graphene, and Co/BN/benzene, as well as a simple physical model, we show that heterostructures with two-dimensional materials yield tunable magnetic proximity effects. van der Waals bonding is identified as a requirement for large electronic structure changes by gating, enabling both the magnitude and sign change of spin polarization in physisorbed graphene. The ability to electrically reverse the spin polarization of an electrode provides an alternative to using the applied magnetic field or spin transfer torque in spintronic devices, thus transforming a spin valve into a spin transistor

Verifying higher-order concurrency with data automata

Using a combination of automata-theoretic and game-semantic techniques, we propose a method for analysing higher-order concurrent programs. Our language of choice is Finitary Idealised Concurrent Algol (FICA) due to its relatively simple fully abstract game model.Our first contribution is an automata model over a tree-structured infinite data alphabet, called split automata, whose distinctive feature is the separation of control and memory. We show that every FICA term can be translated into such an automaton. Thanks to the structure of split automata, we are able to observe subtle aspects of the underlying game semantics.This enables us to identify a fragment of FICA with iteration and limited synchronisation (but without recursion), for which, in contrast to the whole FICA, a variety of verification problems turn out to be decidable

Design, Performance, and Calibration of CMS Hadron-Barrel Calorimeter Wedges

Extensive measurements have been made with pions, electrons and muons on four production wedges of the Compact Muon Solenoid (CMS) hadron barrel (HB) calorimeter in the H2 beam line at CERN with particle momenta varying from 20 to 300 GeV/c. Data were taken both with and without a prototype electromagnetic lead tungstate crystal calorimeter (EB) in front of the hadron calorimeter. The time structure of the events was measured with the full chain of preproduction front-end electronics running at 34 MHz. Moving-wire radioactive source data were also collected for all scintillator layers in the HB. These measurements set the absolute calibration of the HB prior to first pp collisions to approximately 4%

Recent Progress and Next Steps for the MATHUSLA LLP Detector

We report on recent progress and next steps in the design of the proposed MATHUSLA Long Lived Particle (LLP) detector for the HL-LHC as part of the Snowmass 2021 process. Our understanding of backgrounds has greatly improved, aided by detailed simulation studies, and significant R&D has been performed on designing the scintillator detectors and understanding their performance. The collaboration is on track to complete a Technical Design Report, and there are many opportunities for interested new members to contribute towards the goal of designing and constructing MATHUSLA in time for HL-LHC collisions, which would increase the sensitivity to a large variety of highly motivated LLP signals by orders of magnitude.Comment: Contribution to Snowmass 2021 (EF09, EF10, IF6, IF9), 18 pages, 12 figures. v2: included additional endorser

Synchronization and Timing in CMS HCAL

The synchronization and timing of the hadron calorimeter (HCAL) for the Compact Muon Solenoid has been extensively studied with test beams at CERN during the period 2003-4, including runs with 40 MHz structured beam. The relative phases of the signals from different calorimeter segments are timed to 1 ns accuracy using a laser and equalized using programmable delay settings in the front-end electronics. The beam was used to verify the timing and to map out the entire range of pulse shapes over the 25 ns interval between beam crossings. These data were used to make detailed measurements of energy-dependent time slewing effects and to tune the electronics for optimal performance

Energy Response and Longitudinal Shower Profiles Measured in CMS HCAL and Comparison With Geant4

The response of the CMS combined electromagnetic and hadron calorimeter to beams of pions with momenta in the range 5-300 GeV/c has been measured in the H2 test beam at CERN. The raw response with the electromagnetic compartment calibrated to electrons and the hadron compartment calibrated to 300 GeV pions may be represented by sigma = (1.2) sqrt{E} oplus (0.095) E. The fraction of energy visible in the calorimeter ranges from 0.72 at 5 GeV to 0.95 at 300 GeV, indicating a substantial nonlinearity. The intrinsic electron to hadron ratios are fit as a function of energy and found to be in the range 1.3-2.7 for the electromagnetic compartment and 1.4-1.8 for the hadronic compartment. The fits are used to correct the non-linearity of the e pi response to 5% over the entire measured range resulting in a substantially improved resolution at low energy. Longitudinal shower profile have been measured in detail and compared to Geant4 models, LHEP-3.7 and QGSP-2.8. At energies below 30 GeV, the data, LHEP and QGSP are in agreement. Above 30 GeV, LHEP gives a more accurate simulation of the longitudinal shower profile

Design, Performance, and Calibration of the CMS Hadron-Outer Calorimeter

The CMS hadron calorimeter is a sampling calorimeter with brass absorber and plastic scintillator tiles with wavelength shifting fibres for carrying the light to the readout device. The barrel hadron calorimeter is complemented with an outer calorimeter to ensure high energy shower containment in the calorimeter. Fabrication, testing and calibration of the outer hadron calorimeter are carried out keeping in mind its importance in the energy measurement of jets in view of linearity and resolution. It will provide a net improvement in missing \et measurements at LHC energies. The outer hadron calorimeter will also be used for the muon trigger in coincidence with other muon chambers in CMS

Design, Performance, and Calibration of CMS Hadron Endcap Calorimeters

Detailed measurements have been made with the CMS hadron calorimeter endcaps (HE) in response to beams of muons, electrons, and pions. Readout of HE with custom electronics and hybrid photodiodes (HPDs) shows no change of performance compared to readout with commercial electronics and photomultipliers. When combined with lead-tungstenate crystals, an energy resolution of 8\% is achieved with 300 GeV/c pions. A laser calibration system is used to set the timing and monitor operation of the complete electronics chain. Data taken with radioactive sources in comparison with test beam pions provides an absolute initial calibration of HE to approximately 4\% to 5\%