-
Laboratory realization of relativistic pair-plasma beams
Authors:
C. D. Arrowsmith,
P. Simon,
P. Bilbao,
A. F. A. Bott,
S. Burger,
H. Chen,
F. D. Cruz,
T. Davenne,
I. Efthymiopoulos,
D. H. Froula,
A. M. Goillot,
J. T. Gudmundsson,
D. Haberberger,
J. Halliday,
T. Hodge,
B. T. Huffman,
S. Iaquinta,
F. Miniati,
B. Reville,
S. Sarkar,
A. A. Schekochihin,
L. O. Silva,
R. Simpson,
V. Stergiou,
R. M. G. M. Trines
, et al. (4 additional authors not shown)
Abstract:
Relativistic electron-positron plasmas are ubiquitous in extreme astrophysical environments such as black holes and neutron star magnetospheres, where accretion-powered jets and pulsar winds are expected to be enriched with such pair plasmas. Their behaviour is quite different from typical electron-ion plasmas due to the matter-antimatter symmetry of the charged components and their role in the dy…
▽ More
Relativistic electron-positron plasmas are ubiquitous in extreme astrophysical environments such as black holes and neutron star magnetospheres, where accretion-powered jets and pulsar winds are expected to be enriched with such pair plasmas. Their behaviour is quite different from typical electron-ion plasmas due to the matter-antimatter symmetry of the charged components and their role in the dynamics of such compact objects is believed to be fundamental. So far, our experimental inability to produce large yields of positrons in quasi-neutral beams has restricted the understanding of electron-positron pair plasmas to simple numerical and analytical studies which are rather limited. We present first experimental results confirming the generation of high-density, quasi-neutral, relativistic electron-positron pair beams using the 440 GeV/c beam at CERN's Super Proton Synchrotron (SPS) accelerator. The produced pair beams have a volume that fills multiple Debye spheres and are thus able to sustain collective plasma oscillations. Our work opens up the possibility of directly probing the microphysics of pair plasmas beyond quasi-linear evolution into regimes that are challenging to simulate or measure via astronomical observations.
△ Less
Submitted 8 December, 2023;
originally announced December 2023.
-
BASALISC: Programmable Hardware Accelerator for BGV Fully Homomorphic Encryption
Authors:
Robin Geelen,
Michiel Van Beirendonck,
Hilder V. L. Pereira,
Brian Huffman,
Tynan McAuley,
Ben Selfridge,
Daniel Wagner,
Georgios Dimou,
Ingrid Verbauwhede,
Frederik Vercauteren,
David W. Archer
Abstract:
Fully Homomorphic Encryption (FHE) allows for secure computation on encrypted data. Unfortunately, huge memory size, computational cost and bandwidth requirements limit its practicality. We present BASALISC, an architecture family of hardware accelerators that aims to substantially accelerate FHE computations in the cloud. BASALISC is the first to implement the BGV scheme with fully-packed bootstr…
▽ More
Fully Homomorphic Encryption (FHE) allows for secure computation on encrypted data. Unfortunately, huge memory size, computational cost and bandwidth requirements limit its practicality. We present BASALISC, an architecture family of hardware accelerators that aims to substantially accelerate FHE computations in the cloud. BASALISC is the first to implement the BGV scheme with fully-packed bootstrap** -- the noise removal capability necessary for arbitrary-depth computation. It supports a customized version of bootstrap** that can be instantiated with hardware multipliers optimized for area and power.
BASALISC is a three-abstraction-layer RISC architecture, designed for a 1 GHz ASIC implementation and underway toward 150mm2 die tape-out in a 12nm GF process. BASALISC's four-layer memory hierarchy includes a two-dimensional conflict-free inner memory layer that enables 32 Tb/s radix-256 NTT computations without pipeline stalls. Its conflict-resolution permutation hardware is generalized and re-used to compute BGV automorphisms without throughput penalty. BASALISC also has a custom multiply-accumulate unit to accelerate BGV key switching.
The BASALISC toolchain comprises a custom compiler and a joint performance and correctness simulator. To evaluate BASALISC, we study its physical realizability, emulate and formally verify its core functional units, and we study its performance on a set of benchmarks. Simulation results show a speedup of more than 5,000 times over HElib -- a popular software FHE library.
△ Less
Submitted 25 July, 2023; v1 submitted 27 May, 2022;
originally announced May 2022.
-
Jets and Jet Substructure at Future Colliders
Authors:
Ben Nachman,
Salvatore Rappoccio,
Nhan Tran,
Johan Bonilla,
Grigorios Chachamis,
Barry M. Dillon,
Sergei V. Chekanov,
Robin Erbacher,
Loukas Gouskos,
Andreas Hinzmann,
Stefan Höche,
B. Todd Huffman,
Ashutosh. V. Kotwal,
Deepak Kar,
Roman Kogler,
Clemens Lange,
Matt LeBlanc,
Roy Lemmon,
Christine McLean,
Mark S. Neubauer,
Tilman Plehn,
Debarati Roy,
Giordan Stark,
Jennifer Roloff,
Marcel Vos
, et al. (2 additional authors not shown)
Abstract:
Even though jet substructure was not an original design consideration for the Large Hadron Collider (LHC) experiments, it has emerged as an essential tool for the current physics program. We examine the role of jet substructure on the motivation for and design of future energy frontier colliders. In particular, we discuss the need for a vibrant theory and experimental research and development prog…
▽ More
Even though jet substructure was not an original design consideration for the Large Hadron Collider (LHC) experiments, it has emerged as an essential tool for the current physics program. We examine the role of jet substructure on the motivation for and design of future energy frontier colliders. In particular, we discuss the need for a vibrant theory and experimental research and development program to extend jet substructure physics into the new regimes probed by future colliders. Jet substructure has organically evolved with a close connection between theorists and experimentalists and has catalyzed exciting innovations in both communities. We expect such developments will play an important role in the future energy frontier physics program.
△ Less
Submitted 14 March, 2022;
originally announced March 2022.
-
Generating ultra-dense pair beams using 400 GeV/c protons
Authors:
C. D. Arrowsmith,
N. Shukla,
N. Charitonidis,
R. Boni,
H. Chen,
T. Davenne,
D. H. Froula,
B. T. Huffman,
Y. Kadi,
B. Reville,
S. Richardson,
S. Sarkar,
J. L. Shaw,
L. O. Silva,
R. M. G. M. Trines,
R. Bingham,
G. Gregori
Abstract:
A previously unexplored experimental scheme is presented for generating low-divergence, ultra-dense, relativistic, electron-positron beams using 400 GeV/c protons available at facilities such as HiRadMat and AWAKE at CERN. Preliminary Monte-Carlo and Particle-in-cell simulations demonstrate the possibility of generating beams containing $10^{13}-10^{14}$ electron-positron pairs at sufficiently hig…
▽ More
A previously unexplored experimental scheme is presented for generating low-divergence, ultra-dense, relativistic, electron-positron beams using 400 GeV/c protons available at facilities such as HiRadMat and AWAKE at CERN. Preliminary Monte-Carlo and Particle-in-cell simulations demonstrate the possibility of generating beams containing $10^{13}-10^{14}$ electron-positron pairs at sufficiently high densities to drive collisionless beam-plasma instabilities, which are expected to play an important role in magnetic field generation and the related radiation signatures of relativistic astrophysical phenomena. The pair beams are quasi-neutral, with size exceeding several skin-depths in all dimensions, allowing for the first time the examination of the effect of competition between transverse and longitudinal instability modes on the growth of magnetic fields. Furthermore, the presented scheme allows for the possibility of controlling the relative density of hadrons to electron-positron pairs in the beam, making it possible to explore the parameter spaces for different astrophysical environments.
△ Less
Submitted 9 November, 2020;
originally announced November 2020.
-
Formal Verification of Flow Equivalence in Desynchronized Designs
Authors:
Jennifer Paykin,
Brian Huffman,
Daniel M. Zimmerman,
Peter A. Beerel
Abstract:
Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a hand-written proof that a particular handshaking protocol preserves flow equivalence, a notion of equivalence between synchronous latch-based specifications and their desynchronized bundled-data asynchronous implementations. In this work we identify a counterexample to Cortadella et al.'s proof illustrating how their protocol…
▽ More
Seminal work by Cortadella, Kondratyev, Lavagno, and Sotiriou includes a hand-written proof that a particular handshaking protocol preserves flow equivalence, a notion of equivalence between synchronous latch-based specifications and their desynchronized bundled-data asynchronous implementations. In this work we identify a counterexample to Cortadella et al.'s proof illustrating how their protocol can in fact lead to a violation of flow equivalence. However, two of the less concurrent protocols identified in their paper do preserve flow equivalence. To verify this fact, we formalize flow equivalence in the Coq proof assistant and provide mechanized, machine-checkable proofs of our results.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
Tagging $b$ quarks without tracks using an Artificial Neural Network algorithm
Authors:
B. Todd Huffman,
Thomas Russell,
Jeff Tseng
Abstract:
Pixel detectors currently in use by high energy physics experiments such as ATLAS, CMS, LHCb, etc., are critical systems for tagging $B$ hadrons within particle jets. However, the performance of standard tagging algorithms begins to fall in the case of highly boosted $B$ hadrons ($γβ= p/m >200$). This paper builds on the work of our previous study that uses the jump in hit multiplicity among the p…
▽ More
Pixel detectors currently in use by high energy physics experiments such as ATLAS, CMS, LHCb, etc., are critical systems for tagging $B$ hadrons within particle jets. However, the performance of standard tagging algorithms begins to fall in the case of highly boosted $B$ hadrons ($γβ= p/m >200$). This paper builds on the work of our previous study that uses the jump in hit multiplicity among the pixel layers when a $B$ hadron decays within the detector volume. First, multiple $pp$ interactions within a finite luminous region were found to have little effect. Second, the study has been extended to use the multivariant techniques of an artificial neural network (ANN). After training, the ANN shows significant improvements to the ability to reject light-quark and charm jets; thus increasing the expected significance of the technique.
△ Less
Submitted 15 June, 2017; v1 submitted 24 January, 2017;
originally announced January 2017.
-
Tagging $b$ quarks at extreme energies without tracks
Authors:
B. Todd Huffman,
Charles Jackson,
Jeff Tseng
Abstract:
We describe a new hit-based $b$-tagging technique for high energy jets and study its performance with a Geant4-based simulation. The technique uses the fact that at sufficiently high energy a B meson or baryon can live long enough to traverse the inner layers of pixel detectors such as those in the ATLAS, ALICE, or CMS experiments prior to decay. By first defining a "jet" via the calorimeter, and…
▽ More
We describe a new hit-based $b$-tagging technique for high energy jets and study its performance with a Geant4-based simulation. The technique uses the fact that at sufficiently high energy a B meson or baryon can live long enough to traverse the inner layers of pixel detectors such as those in the ATLAS, ALICE, or CMS experiments prior to decay. By first defining a "jet" via the calorimeter, and then counting hits within that jet between pixel layers at increasing radii, we show it is possible to identify jets that contain $b$-quarks by detecting a jump in the number of hits. We show that the technique maintains its efficiency at energies beyond the range of conventional $b$-taggers.
△ Less
Submitted 1 July, 2016; v1 submitted 18 April, 2016;
originally announced April 2016.
-
Certified HLints with Isabelle/HOLCF-Prelude
Authors:
Joachim Breitner,
Brian Huffman,
Neil Mitchell,
Christian Sternagel
Abstract:
We present the HOLCF-Prelude, a formalization of a large part of Haskell's standard prelude in Isabelle/HOLCF. Applying this formalization to the hints suggested by HLint allows us to certify them formally.
We present the HOLCF-Prelude, a formalization of a large part of Haskell's standard prelude in Isabelle/HOLCF. Applying this formalization to the hints suggested by HLint allows us to certify them formally.
△ Less
Submitted 6 June, 2013;
originally announced June 2013.
-
Formal Verification of Monad Transformers
Authors:
Brian Huffman
Abstract:
We present techniques for reasoning about constructor classes that (like the monad class) fix polymorphic operations and assert polymorphic axioms. We do not require a logic with first-class type constructors, first-class polymorphism, or type quantification; instead, we rely on a domain-theoretic model of the type system in a universal domain to provide these features.
These ideas are implement…
▽ More
We present techniques for reasoning about constructor classes that (like the monad class) fix polymorphic operations and assert polymorphic axioms. We do not require a logic with first-class type constructors, first-class polymorphism, or type quantification; instead, we rely on a domain-theoretic model of the type system in a universal domain to provide these features.
These ideas are implemented in the Tycon library for the Isabelle theorem prover, which builds on the HOLCF library of domain theory. The Tycon library provides various axiomatic type constructor classes, including functors and monads. It also provides automation for instantiating those classes, and for defining further subclasses.
We use the Tycon library to formalize three Haskell monad transformers: the error transformer, the writer transformer, and the resumption transformer. The error and writer transformers do not universally preserve the monad laws; however, we establish datatype invariants for each, showing that they are valid monads when viewed as abstract datatypes.
△ Less
Submitted 13 July, 2012;
originally announced July 2012.
-
Search for First-Generation Scalar Leptoquarks in $\bm{p \bar{p}}$ collisions at $\sqrt{s}$=1.96 TeV
Authors:
The CDF Collaboration,
D. Acosta,
J. Adelman,
T. Affolder,
T. Akimoto,
M. G. Albrow,
D. Ambrose,
S. Amerio,
D. Amidei,
A. Anastassov,
K. Anikeev,
A. Annovi,
J. Antos,
M. Aoki,
G. Apollinari,
T. Arisawa,
J-F. Arguin,
A. Artikov,
W. Ashmanskas,
A. Attal,
F. Azfar,
P. Azzi-Bacchetta,
N. Bacchetta,
H. Bachacou,
W. Badgett
, et al. (605 additional authors not shown)
Abstract:
We report on a search for pair production of first-generation scalar leptoquarks ($LQ$) in $p \bar{p}$ collisions at $\sqrt{s}$=1.96 TeV using an integrated luminosity of 203 $pb^{-1}$ collected at the Fermilab Tevatron collider by the CDF experiment. We observe no evidence for $LQ$ production in the topologies arising from $LQ \bar{LQ} \to eqeq$ and $LQ \bar{LQ} \to eq νq$, and derive 95% C.L.…
▽ More
We report on a search for pair production of first-generation scalar leptoquarks ($LQ$) in $p \bar{p}$ collisions at $\sqrt{s}$=1.96 TeV using an integrated luminosity of 203 $pb^{-1}$ collected at the Fermilab Tevatron collider by the CDF experiment. We observe no evidence for $LQ$ production in the topologies arising from $LQ \bar{LQ} \to eqeq$ and $LQ \bar{LQ} \to eq νq$, and derive 95% C.L. upper limits on the $LQ$ production cross section. %as a function of $β$, where $β$ is the branching fraction for $LQ \to eq$. The results are combined with those obtained from a separately reported CDF search in the topology arising from $LQ\bar{LQ} \to νq νq$ and 95% C.L. lower limits on the LQ mass as a function of $β= BR(LQ \to eq) $ are derived. The limits are 236, 205 and 145 GeV/c$^2$ for $β$ = 1, $β$ = 0.5 and $β$ = 0.1, respectively.
△ Less
Submitted 29 June, 2005;
originally announced June 2005.
-
Comparison of Three-jet Events in Proton-Antiproton Collisions at Center-of-mass Energy 1.8 TeV to Predictions from a Next-to-leading Order QCD Calculation
Authors:
D. Acosta,
T. Affolder,
M. G. Albrow,
D. Ambrose,
D. Amidei,
K. Anikeev,
J. Antos,
G. Apollinari,
T. Arisawa,
A. Artikov,
W. Ashmanskas,
F. Azfar,
P. Azzi-Bacchetta,
N. Bacchetta,
H. Bachacou,
W. Badgett,
A. Barbaro-Galtieri,
V. E. Barnes,
B. A. Barnett,
S. Baroiant,
M. Barone,
G. Bauer,
F. Bedeschi,
S. Behari,
S. Belforte
, et al. (388 additional authors not shown)
Abstract:
The properties of three-jet events with total transverse energy greater than 320 GeV and individual jet energy greater than 20 GeV have been analyzed and compared to absolute predictions from a next-to-leading order (NLO) perturbative QCD calculation. These data, of integrated luminosity 86 pb^-1, were recorded by the CDF Experiment for proton-antiproton collisions at sqrt{s}=1.8 TeV. This study…
▽ More
The properties of three-jet events with total transverse energy greater than 320 GeV and individual jet energy greater than 20 GeV have been analyzed and compared to absolute predictions from a next-to-leading order (NLO) perturbative QCD calculation. These data, of integrated luminosity 86 pb^-1, were recorded by the CDF Experiment for proton-antiproton collisions at sqrt{s}=1.8 TeV. This study tests a model of higher order QCD processes that result in gluon emission and can be used to estimate the magnitude of the contribution of processes higher than NLO. The total cross section is measured to be 466 +/- 3(stat.)^{+207}_{-70}(syst.) pb. The differential cross section is furthermore measured for all kinematically accessible regions of the Dalitz plane, including those for which the theoretical prediction is unreliable. While the measured cross section is consistent with the theoretical prediction in magnitude, the two differ somewhat in shape in the Dalitz plane.
△ Less
Submitted 6 October, 2004;
originally announced October 2004.
-
Bounding the MSSM Higgs sector from above with the Tevatron's B_s --> mu^+ mu^-
Authors:
Athanasios Dedes,
B. Todd Huffman
Abstract:
The discovery potential of the Tevatron CDF for the rare B-decay B_s --> mu^+ mu^- is analysed. We find that with an integrated luminosity of 2 fb^(-1), and using CDF as the example detector, a 5 sigma combined discovery reach of the Tevatron is possible if the Branching ratio for B_s --> mu^+ mu^- is (1.7 +- 0.46) \times 10^(-7). Such a possible signal for the decay B_s --> mu^+ mu^- will invit…
▽ More
The discovery potential of the Tevatron CDF for the rare B-decay B_s --> mu^+ mu^- is analysed. We find that with an integrated luminosity of 2 fb^(-1), and using CDF as the example detector, a 5 sigma combined discovery reach of the Tevatron is possible if the Branching ratio for B_s --> mu^+ mu^- is (1.7 +- 0.46) \times 10^(-7). Such a possible signal for the decay B_s --> mu^+ mu^- will invite large tan(beta) values and set an upper bound on the heaviest mass of the MSSM Higgs sector in a complete analogy to the upper bound of the lightest observable supersymmetric particle set from the excess over the SM prediction of the muon anomalous magnetic moment. If for example, the decay B_s -->mu^+ mu^- is found at Tevatron with branching ratio 2 \times 10^(-7) then the heaviest Higgs boson mass in the MSSM should be less than 790 GeV for tan(beta) < 50 provided that the CKM matrix is the only source for (s)quark flavour changing processes.
△ Less
Submitted 16 September, 2004; v1 submitted 24 July, 2004;
originally announced July 2004.
-
Flexibly Instructable Agents
Authors:
S. B. Huffman,
J. E. Laird
Abstract:
This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent. Tutorial instruction is a flexible (and thus powerful) paradigm for teaching tasks because it allows an instructor to communicate whatever types of knowledge an agent might need in whatever situations might arise. To support this flexibility, however, the agent must be able to lea…
▽ More
This paper presents an approach to learning from situated, interactive tutorial instruction within an ongoing agent. Tutorial instruction is a flexible (and thus powerful) paradigm for teaching tasks because it allows an instructor to communicate whatever types of knowledge an agent might need in whatever situations might arise. To support this flexibility, however, the agent must be able to learn multiple kinds of knowledge from a broad range of instructional interactions. Our approach, called situated explanation, achieves such learning through a combination of analytic and inductive techniques. It combines a form of explanation-based learning that is situated for each instruction with a full suite of contextually guided responses to incomplete explanations. The approach is implemented in an agent called Instructo-Soar that learns hierarchies of new tasks and other domain knowledge from interactive natural language instructions. Instructo-Soar meets three key requirements of flexible instructability that distinguish it from previous systems: (1) it can take known or unknown commands at any instruction point; (2) it can handle instructions that apply to either its current situation or to a hypothetical situation specified in language (as in, for instance, conditional instructions); and (3) it can learn, from instructions, each class of knowledge it uses to perform tasks.
△ Less
Submitted 31 October, 1995;
originally announced November 1995.