-
FeynGame-2.1 -- Feynman diagrams made easy
Authors:
Robert Harlander,
Sven Yannick Klein,
Magnus Schaaf
Abstract:
FeynGame is an open-source software tool to draw Feynman diagrams, but also to get acquainted with their structure. This article reports on a number of new features which have been added to FeynGame since its first release. These include full support of LaTeX for the line and vertex labels, the possibility to automatically include momentum arrows, new graphical elements, and new pedagogical featur…
▽ More
FeynGame is an open-source software tool to draw Feynman diagrams, but also to get acquainted with their structure. This article reports on a number of new features which have been added to FeynGame since its first release. These include full support of LaTeX for the line and vertex labels, the possibility to automatically include momentum arrows, new graphical elements, and new pedagogical features. FeynGame is freely available as jar or MacOS app file from https://web.physik.rwth-aachen.de/user/harlander/software/feyngame, and as source code from https://gitlab.com/feyngame/FeynGame.
△ Less
Submitted 23 January, 2024;
originally announced January 2024.
-
Performance of a First Full-Size WOM-Based Liquid Scintillator Detector Cell as Prototype for the SHiP Surrounding Background Tagger
Authors:
J. Alt,
O. Bezshyyko,
M. Böhles,
A. Brignoli,
A. Conaboy,
P. Deucher,
C. Eckardt,
A. Ernst,
H. Fischer,
A. Hollnagel,
M. Jadidi,
H. Lacker,
F. Lyons,
T. Molzberger,
S. Ochoa,
V. Orlov,
A. Reghunath,
F. Rehbein,
M. Schaaf,
C. Scharf,
J. Schmidt,
M. Schumann,
A. Vagts,
M. Wurm
Abstract:
As a prototype detector for the SHiP Surrounding Background Tagger (SBT), we constructed a cell (120 cm x 80 cm x 25 cm) made from corten steel that is filled with liquid scintillator (LS) composed of linear alkylbenzene (LAB) and 2,5-diphenyloxazole (PPO). The detector is equipped with two Wavelength-shifting Optical Modules (WOMs) for light collection of the primary scintillation photons. Each W…
▽ More
As a prototype detector for the SHiP Surrounding Background Tagger (SBT), we constructed a cell (120 cm x 80 cm x 25 cm) made from corten steel that is filled with liquid scintillator (LS) composed of linear alkylbenzene (LAB) and 2,5-diphenyloxazole (PPO). The detector is equipped with two Wavelength-shifting Optical Modules (WOMs) for light collection of the primary scintillation photons. Each WOM consists of an acrylic tube that is dip-coated with a wavelength-shifting layer on its surface. Via internal total reflection, the secondary photons emitted by the molecules of the wavelength shifter are guided to a ring-shaped array of 40 silicon photomultipliers (SiPMs) coupled to the WOM for light detection. The granularity of these SiPM arrays provides an innovative method to gain spatial information on the particle crossing point. Several improvements in the detector design significantly increased the light yield with respect to earlier proof-of-principle detectors. We report on the performance of this prototype detector during an exposure to high-energy positrons at the DESY II test beam facility by measuring the collected integrated yield and the signal time-of-arrival in each of the SiPM arrays. The resulting detection efficiency and reconstructed energy deposition of the incident positrons are presented, as well as the spatial and time resolution of the detector. These results are then compared to Monte Carlo simulations.
△ Less
Submitted 27 February, 2024; v1 submitted 13 November, 2023;
originally announced November 2023.
-
AutoEFT: Constructing and exploring on-shell bases of effective field theories
Authors:
Magnus C. Schaaf
Abstract:
Effective Field Theories (EFTs) provide a framework for capturing the effects of yet unseen heavy degrees of freedom in a model-independent manner. However, constructing a complete and minimal set of operators, especially at higher mass dimensions, is challenging. We present AutoEFT, an implementation of an algorithm that systematically handles redundancies among operators due to equations of moti…
▽ More
Effective Field Theories (EFTs) provide a framework for capturing the effects of yet unseen heavy degrees of freedom in a model-independent manner. However, constructing a complete and minimal set of operators, especially at higher mass dimensions, is challenging. We present AutoEFT, an implementation of an algorithm that systematically handles redundancies among operators due to equations of motion, integration-by-parts identities, Fierz identities, and repeated fields. This algorithm enables the construction of on-shell bases for a broad range of EFTs. Additionally, it facilitates the exploration of various aspects within this field, such as investigating higher mass dimensions or the relationship between different operator bases. AutoEFT can be applied to phenomenologically relevant theories like the Standard Model and its extensions, including new light particles or additional symmetry groups.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
AutoEFT: Automated Operator Construction for Effective Field Theories
Authors:
Robert V. Harlander,
Magnus C. Schaaf
Abstract:
The program AutoEFT is described. It allows one to generate Effective Field Theories (EFTs) from a given set of fields and symmetries. Allowed fields include scalars, spinors, gauge bosons, and gravitons. The symmetries can be local or global Lie groups based on U(1) and SU(N). The mass dimension of the EFT is limited only by the available computing resources. The operators are stored in a compact…
▽ More
The program AutoEFT is described. It allows one to generate Effective Field Theories (EFTs) from a given set of fields and symmetries. Allowed fields include scalars, spinors, gauge bosons, and gravitons. The symmetries can be local or global Lie groups based on U(1) and SU(N). The mass dimension of the EFT is limited only by the available computing resources. The operators are stored in a compact, human and machine-readable format. Aside from the program itself, we provide input files for EFTs based on the Standard Model and a number of its extensions. These include additional particles and symmetries, EFTs with minimal flavor violation, and gravitons.
△ Less
Submitted 25 April, 2024; v1 submitted 27 September, 2023;
originally announced September 2023.
-
Standard Model Effective Field Theory up to Mass Dimension 12
Authors:
R. V. Harlander,
T. Kempkens,
M. C. Schaaf
Abstract:
We present a complete and non-redundant basis of effective operators for the Standard Model Effective Field Theory up to mass dimension 12 with three generations of fermions. We also include operators coupling to gravity via the Weyl tensor. The results are obtained by implementing the algorithm of Li et al., and provided in the form of ancillary files.
We present a complete and non-redundant basis of effective operators for the Standard Model Effective Field Theory up to mass dimension 12 with three generations of fermions. We also include operators coupling to gravity via the Weyl tensor. The results are obtained by implementing the algorithm of Li et al., and provided in the form of ancillary files.
△ Less
Submitted 28 September, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
First measurement of the surface tension of a liquid scintillator based on Linear Alkylbenzene (HYBLENE 113)
Authors:
SHiP SBT collaboration,
J. Alt,
J. Arutinov,
O. Bezshyyko,
T. Bretz,
A. Brignoli,
A. Conaboy,
P. Deucher,
F. De Paola,
G. del Giudice,
C. di Cristo,
O. Fecarotta,
A. Fiorillo,
H. Fischer,
H. Glückler,
C. Grewing,
A. Hollnagel,
H. Lacker,
A. Miano,
G. Natour,
V. Orlov,
A. Prota,
F. Rehbein,
A. Reghunath,
A. Salzano
, et al. (7 additional authors not shown)
Abstract:
We measured the surface tension of linear alkylbenzene (LAB) HYBLENE 113 mixed with Diphenyloxazole (PPO) as well as of pure LAB HYBLENE 113 as part of material studies for the liquid-scintillator based surround background tagger (SBT) in the proposed SHiP experiment. The measurement was performed using the iron wire method and the surface tension for linear alkyl benzene HYBLENE 113 plus PPO was…
▽ More
We measured the surface tension of linear alkylbenzene (LAB) HYBLENE 113 mixed with Diphenyloxazole (PPO) as well as of pure LAB HYBLENE 113 as part of material studies for the liquid-scintillator based surround background tagger (SBT) in the proposed SHiP experiment. The measurement was performed using the iron wire method and the surface tension for linear alkyl benzene HYBLENE 113 plus PPO was found to be $(30.0\pm0.6)$ mN/m $22.0\pm 0.5$ °C and for pure HYBLENE 113, $(29.2\pm 0.6)$ mN/m at $21.0\pm 0.5$ °C.
△ Less
Submitted 4 April, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Monitoring Student Activity in Collaborative Software Development
Authors:
Daniel Dietsch,
Andreas Podelski,
Jaechang Nam,
Pantelis M. Papadopoulos,
Martin Schäf
Abstract:
This paper presents data analysis from a course on Software Engineering in an effort to identify metrics and techniques that would allow instructor to act proactively and identify patterns of low engagement and inefficient peer collaboration. Over the last two terms, 106 students in their second year of studies formed 20 groups and worked collaboratively to develop video games. Throughout the lab,…
▽ More
This paper presents data analysis from a course on Software Engineering in an effort to identify metrics and techniques that would allow instructor to act proactively and identify patterns of low engagement and inefficient peer collaboration. Over the last two terms, 106 students in their second year of studies formed 20 groups and worked collaboratively to develop video games. Throughout the lab, students have to use a variety of tools for managing and develo** their projects, such as software version control, static analysis tools, wikis, mailing lists, etc. The students are also supported by weekly meetings with teaching assistants and instructors regarding group progress, code quality, and management issues. Through these meetings and their interactions with the software tools, students leave a detailed trace of data related to their individual engagement and their collaboration behavior in their groups. The paper provides discussion on the different source of data that can be monitored, and present preliminary results on how these data can be used to analyze students' activity.
△ Less
Submitted 10 June, 2013; v1 submitted 3 May, 2013;
originally announced May 2013.
-
Towards Bounded Infeasible Code Detection
Authors:
Jürgen Christ,
Jochen Hoenicke,
Martin Schäf
Abstract:
A first step towards more reliable software is to execute each statement and each control-flow path in a method once. In this paper, we present a formal method to automatically compute test cases for this purpose based on the idea of a bounded infeasible code detection. The method first unwinds all loops in a program finitely often and then encodes all feasible executions of the loop-free programs…
▽ More
A first step towards more reliable software is to execute each statement and each control-flow path in a method once. In this paper, we present a formal method to automatically compute test cases for this purpose based on the idea of a bounded infeasible code detection. The method first unwinds all loops in a program finitely often and then encodes all feasible executions of the loop-free programs in a logical formula. Helper variables are introduced such that a theorem prover can reconstruct the control-flow path of a feasible execution from a satisfying valuation of this formula. Based on this formula, we present one algorithm that computes a feasible path cover and one algorithm that computes a feasible statement cover. We show that the algorithms are complete for loop-free programs and that they can be implemented efficiently. We further provide a sound algorithm to compute procedure summaries which makes the method scalable to larger programs.
△ Less
Submitted 29 May, 2012;
originally announced May 2012.
-
Grey-box GUI Testing: Efficient Generation of Event Sequences
Authors:
Stephan Arlt,
Ishan Banerjee,
Cristiano Bertolini,
Atif M. Memon,
Martin Schäf
Abstract:
Graphical user interfaces (GUIs), due to their event driven nature, present a potentially unbounded space of all possible ways to interact with software. During testing it becomes necessary to effectively sample this space. In this paper we develop algorithms that sample the GUI's input space by only generating sequences that (1) are allowed by the GUI's structure, and (2) chain together only thos…
▽ More
Graphical user interfaces (GUIs), due to their event driven nature, present a potentially unbounded space of all possible ways to interact with software. During testing it becomes necessary to effectively sample this space. In this paper we develop algorithms that sample the GUI's input space by only generating sequences that (1) are allowed by the GUI's structure, and (2) chain together only those events that have data dependencies between their event handlers. We create a new abstraction, called an event-dependency graph (EDG) of the GUI, that captures data dependencies between event handler code. We develop a map** between EDGs and an existing black-box user-level model of the GUI's workflow, called an event-flow graph (EFG). We have implemented automated EDG construction in a tool that analyzes the bytecode of each event handler. We evaluate our "grey-box" approach using four open-source applications and compare it with the current state-of-the-art EFG approach. Our results show that using the EDG reduces the number of test cases while still achieving at least the same coverage. Furthermore, we were able to detect 2 new bugs in the subject applications.
△ Less
Submitted 22 May, 2012;
originally announced May 2012.