-
Efficient Forward-Mode Algorithmic Derivatives of Geant4
Authors:
Max Aehle,
Xuan Tung Nguyen,
Mihály Novák,
Tommaso Dorigo,
Nicolas R. Gauger,
Jan Kieseler,
Markus Klute,
Vassil Vassilev
Abstract:
We have applied an operator-overloading forward-mode algorithmic differentiation tool to the Monte-Carlo particle simulation toolkit Geant4. Our differentiated version of Geant4 allows computing mean pathwise derivatives of user-defined outputs of Geant4 applications with respect to user-defined inputs. This constitutes a major step towards enabling gradient-based optimization techniques in high-e…
▽ More
We have applied an operator-overloading forward-mode algorithmic differentiation tool to the Monte-Carlo particle simulation toolkit Geant4. Our differentiated version of Geant4 allows computing mean pathwise derivatives of user-defined outputs of Geant4 applications with respect to user-defined inputs. This constitutes a major step towards enabling gradient-based optimization techniques in high-energy physics, as well as other application domains of Geant4.
This is a preliminary report on the technical aspects of applying operator-overloading AD to Geant4, as well as a first analysis of some results obtained by our differentiated Geant4 prototype. We plan to follow up with a more refined analysis.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Optimization Using Pathwise Algorithmic Derivatives of Electromagnetic Shower Simulations
Authors:
Max Aehle,
Mihály Novák,
Vassil Vassilev,
Nicolas R. Gauger,
Lukas Heinrich,
Michael Kagan,
David Lange
Abstract:
Among the well-known methods to approximate derivatives of expectancies computed by Monte-Carlo simulations, averages of pathwise derivatives are often the easiest one to apply. Computing them via algorithmic differentiation typically does not require major manual analysis and rewriting of the code, even for very complex programs like simulations of particle-detector interactions in high-energy ph…
▽ More
Among the well-known methods to approximate derivatives of expectancies computed by Monte-Carlo simulations, averages of pathwise derivatives are often the easiest one to apply. Computing them via algorithmic differentiation typically does not require major manual analysis and rewriting of the code, even for very complex programs like simulations of particle-detector interactions in high-energy physics. However, the pathwise derivative estimator can be biased if there are discontinuities in the program, which may diminish its value for applications.
This work integrates algorithmic differentiation into the electromagnetic shower simulation code HepEmShow based on G4HepEm, allowing us to study how well pathwise derivatives approximate derivatives of energy depositions in a sampling calorimeter with respect to parameters of the beam and geometry. We found that when multiple scattering is disabled in the simulation, means of pathwise derivatives converge quickly to their expected values, and these are close to the actual derivatives of the energy deposition. Additionally, we demonstrate the applicability of this novel gradient estimator for stochastic gradient-based optimization in a model example.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
A Comprehensive Analysis of the Role of Artificial Intelligence and Machine Learning in Modern Digital Forensics and Incident Response
Authors:
Dipo Dunsin,
Mohamed C. Ghanem,
Karim Ouazzane,
Vassil Vassilev
Abstract:
In the dynamic landscape of digital forensics, the integration of Artificial Intelligence (AI) and Machine Learning (ML) stands as a transformative technology, poised to amplify the efficiency and precision of digital forensics investigations. However, the use of ML and AI in digital forensics is still in its nascent stages. As a result, this paper gives a thorough and in-depth analysis that goes…
▽ More
In the dynamic landscape of digital forensics, the integration of Artificial Intelligence (AI) and Machine Learning (ML) stands as a transformative technology, poised to amplify the efficiency and precision of digital forensics investigations. However, the use of ML and AI in digital forensics is still in its nascent stages. As a result, this paper gives a thorough and in-depth analysis that goes beyond a simple survey and review. The goal is to look closely at how AI and ML techniques are used in digital forensics and incident response. This research explores cutting-edge research initiatives that cross domains such as data collection and recovery, the intricate reconstruction of cybercrime timelines, robust big data analysis, pattern recognition, safeguarding the chain of custody, and orchestrating responsive strategies to hacking incidents. This endeavour digs far beneath the surface to unearth the intricate ways AI-driven methodologies are sha** these crucial facets of digital forensics practice. While the promise of AI in digital forensics is evident, the challenges arising from increasing database sizes and evolving criminal tactics necessitate ongoing collaborative research and refinement within the digital forensics profession. This study examines the contributions, limitations, and gaps in the existing research, shedding light on the potential and limitations of AI and ML techniques. By exploring these different research areas, we highlight the critical need for strategic planning, continual research, and development to unlock AI's full potential in digital forensics and incident response. Ultimately, this paper underscores the significance of AI and ML integration in digital forensics, offering insights into their benefits, drawbacks, and broader implications for tackling modern cyber threats.
△ Less
Submitted 3 December, 2023; v1 submitted 13 September, 2023;
originally announced September 2023.
-
Potential of the Julia programming language for high energy physics computing
Authors:
J. Eschle,
T. Gal,
M. Giordano,
P. Gras,
B. Hegner,
L. Heinrich,
U. Hernandez Acosta,
S. Kluth,
J. Ling,
P. Mato,
M. Mikhasenko,
A. Moreno Briceño,
J. Pivarski,
K. Samaras-Tsakiris,
O. Schulz,
G. . A. Stewart,
J. Strube,
V. Vassilev
Abstract:
Research in high energy physics (HEP) requires huge amounts of computing and storage, putting strong constraints on the code speed and resource usage. To meet these requirements, a compiled high-performance language is typically used; while for physicists, who focus on the application when develo** the code, better research productivity pleads for a high-level programming language. A popular app…
▽ More
Research in high energy physics (HEP) requires huge amounts of computing and storage, putting strong constraints on the code speed and resource usage. To meet these requirements, a compiled high-performance language is typically used; while for physicists, who focus on the application when develo** the code, better research productivity pleads for a high-level programming language. A popular approach consists of combining Python, used for the high-level interface, and C++, used for the computing intensive part of the code. A more convenient and efficient approach would be to use a language that provides both high-level programming and high-performance. The Julia programming language, developed at MIT especially to allow the use of a single language in research activities, has followed this path. In this paper the applicability of using the Julia language for HEP research is explored, covering the different aspects that are important for HEP code development: runtime performance, handling of large projects, interface with legacy code, distributed computing, training, and ease of programming. The study shows that the HEP community would benefit from a large scale adoption of this programming language. The HEP-specific foundation libraries that would need to be consolidated are identified
△ Less
Submitted 6 October, 2023; v1 submitted 6 June, 2023;
originally announced June 2023.
-
Exact solutions to a family of complex Ginzburg-Landau equations with cubic-quintic nonlinearity
Authors:
Vassil M. Vassilev
Abstract:
In these notes, using the method of differential constraints, novel exact kink-like solutions are obtained for certain classes of complex Ginzburg--Landau equations with cubic-quintic nonlinearity. The foregoing solutions are presented in terms of the Lambert W function.
In these notes, using the method of differential constraints, novel exact kink-like solutions are obtained for certain classes of complex Ginzburg--Landau equations with cubic-quintic nonlinearity. The foregoing solutions are presented in terms of the Lambert W function.
△ Less
Submitted 14 April, 2023;
originally announced April 2023.
-
Fast And Automatic Floating Point Error Analysis With CHEF-FP
Authors:
Garima Singh,
Baidyanath Kundu,
Harshitha Menon,
Alexander Penev,
David J. Lange,
Vassil Vassilev
Abstract:
As we reach the limit of Moore's Law, researchers are exploring different paradigms to achieve unprecedented performance. Approximate Computing (AC), which relies on the ability of applications to tolerate some error in the results to trade-off accuracy for performance, has shown significant promise. Despite the success of AC in domains such as Machine Learning, its acceptance in High-Performance…
▽ More
As we reach the limit of Moore's Law, researchers are exploring different paradigms to achieve unprecedented performance. Approximate Computing (AC), which relies on the ability of applications to tolerate some error in the results to trade-off accuracy for performance, has shown significant promise. Despite the success of AC in domains such as Machine Learning, its acceptance in High-Performance Computing (HPC) is limited due to stringent requirements for accuracy. We need tools and techniques to identify regions of code that are amenable to approximations and their impact on the application output quality to guide developers to employ selective approximation. To this end, we propose CHEF-FP, a flexible, scalable, and easy-to-use source-code transformation tool based on Automatic Differentiation (AD) for analyzing approximation errors in HPC applications. CHEF-FP uses Clad, an efficient AD tool built as a plugin to the Clang compiler and based on the LLVM compiler infrastructure, as a backend and utilizes its AD abilities to evaluate approximation errors in C++ code. CHEF-FP works at the source by injecting error estimation code into the generated adjoints. This enables the error-estimation code to undergo compiler optimizations resulting in improved analysis time and reduced memory usage. We also provide theoretical and architectural augmentations to source code transformation-based AD tools to perform FP error analysis. This paper primarily focuses on analyzing errors introduced by mixed-precision AC techniques. We also show the applicability of our tool in estimating other kinds of errors by evaluating our tool on codes that use approximate functions. Moreover, we demonstrate the speedups CHEF-FP achieved during analysis time compared to the existing state-of-the-art tool due to its ability to generate and insert approximation error estimate code directly into the derivative source.
△ Less
Submitted 13 April, 2023;
originally announced April 2023.
-
Efficient and Accurate Automatic Python Bindings with cppyy & Cling
Authors:
Baidyanath Kundu,
Vassil Vassilev,
Wim Lavrijsen
Abstract:
The simplicity of Python and the power of C++ force stark choices on a scientific software stack. There have been multiple developments to mitigate language boundaries by implementing language bindings, but the impedance mismatch between the static nature of C++ and the dynamic one of Python hinders their implementation; examples include the use of user-defined Python types with templated C++ and…
▽ More
The simplicity of Python and the power of C++ force stark choices on a scientific software stack. There have been multiple developments to mitigate language boundaries by implementing language bindings, but the impedance mismatch between the static nature of C++ and the dynamic one of Python hinders their implementation; examples include the use of user-defined Python types with templated C++ and advanced memory management.
The development of the C++ interpreter Cling has changed the way we can think of language bindings as it provides an incremental compilation infrastructure available at runtime. That is, Python can interrogate C++ on demand, and bindings can be lazily constructed at runtime. This automatic binding provision requires no direct support from library authors and offers better performance than alternative solutions, such as PyBind11. ROOT pioneered this approach with PyROOT, which was later enhanced with its successor, cppyy. However, until now, cppyy relied on the reflection layer of ROOT, which is limited in terms of provided features and performance.
This paper presents the next step for language interoperability with cppyy, enabling research into uniform cross-language execution environments and boosting optimization opportunities across language boundaries. We illustrate the use of advanced C++ in Numba-accelerated Python through cppyy. We outline a path forward for re-engineering parts of cppyy to use upstream LLVM components to improve performance and sustainability. We demonstrate cppyy purely based on a C++ reflection library, InterOp, which offers interoperability primitives based on Cling and Clang-Repl.
△ Less
Submitted 5 April, 2023;
originally announced April 2023.
-
Automatic Differentiation of Binned Likelihoods With Roofit and Clad
Authors:
Garima Singh,
Jonas Rembser,
Lorenzo Moneta,
David Lange,
Vassil Vassilev
Abstract:
RooFit is a toolkit for statistical modeling and fitting used by most experiments in particle physics. Just as data sets from next-generation experiments grow, processing requirements for physics analysis become more computationally demanding, necessitating performance optimizations for RooFit. One possibility to speed-up minimization and add stability is the use of Automatic Differentiation (AD).…
▽ More
RooFit is a toolkit for statistical modeling and fitting used by most experiments in particle physics. Just as data sets from next-generation experiments grow, processing requirements for physics analysis become more computationally demanding, necessitating performance optimizations for RooFit. One possibility to speed-up minimization and add stability is the use of Automatic Differentiation (AD). Unlike for numerical differentiation, the computation cost scales linearly with the number of parameters, making AD particularly appealing for statistical models with many parameters. In this paper, we report on one possible way to implement AD in RooFit. Our approach is to add a facility to generate C++ code for a full RooFit model automatically. Unlike the original RooFit model, this generated code is free of virtual function calls and other RooFit-specific overhead. In particular, this code is then used to produce the gradient automatically with Clad. Clad is a source transformation AD tool implemented as a plugin to the clang compiler, which automatically generates the derivative code for input C++ functions. We show results demonstrating the improvements observed when applying this code generation strategy to HistFactory and other commonly used RooFit models. HistFactory is the subcomponent of RooFit that implements binned likelihood models with probability densities based on histogram templates. These models frequently have a very large number of free parameters and are thus an interesting first target for AD support in RooFit.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Second Analysis Ecosystem Workshop Report
Authors:
Mohamed Aly,
Jackson Burzynski,
Bryan Cardwell,
Daniel C. Craik,
Tal van Daalen,
Tomas Dado,
Ayanabha Das,
Antonio Delgado Peris,
Caterina Doglioni,
Peter Elmer,
Engin Eren,
Martin B. Eriksen,
Jonas Eschle,
Giulio Eulisse,
Conor Fitzpatrick,
José Flix Molina,
Alessandra Forti,
Ben Galewsky,
Sean Gasiorowski,
Aman Goel,
Loukas Gouskos,
Enrico Guiraud,
Kanhaiya Gupta,
Stephan Hageboeck,
Allison Reinsvold Hall
, et al. (44 additional authors not shown)
Abstract:
The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the needs of HL-LHC and DUNE, as well as the very pressing needs of LHC Run 3 analysis.
The workshop was themed around six particular topics, which were felt to capture key questions, opportunities and challenges. Each to…
▽ More
The second workshop on the HEP Analysis Ecosystem took place 23-25 May 2022 at IJCLab in Orsay, to look at progress and continuing challenges in scaling up HEP analysis to meet the needs of HL-LHC and DUNE, as well as the very pressing needs of LHC Run 3 analysis.
The workshop was themed around six particular topics, which were felt to capture key questions, opportunities and challenges. Each topic arranged a plenary session introduction, often with speakers summarising the state-of-the art and the next steps for analysis. This was then followed by parallel sessions, which were much more discussion focused, and where attendees could grapple with the challenges and propose solutions that could be tried. Where there was significant overlap between topics, a joint discussion between them was arranged.
In the weeks following the workshop the session conveners wrote this document, which is a summary of the main discussions, the key points raised and the conclusions and outcomes. The document was circulated amongst the participants for comments before being finalised here.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
HL-LHC Analysis With ROOT
Authors:
Axel Naumann,
Philippe Canal,
Enric Tejedor,
Enrico Guiraud,
Lorenzo Moneta,
Bertrand Bellenot,
Olivier Couet,
Alja Mrak Tadel,
Matevz Tadel,
Sergey Linev,
Javier Lopez Gomez,
Jonas Rembser,
Vincenzo Eduardo Padulano,
Jakob Blomer,
Jonas Hahnfeld,
Bernhard Manfred Gruber,
Vassil Vassilev
Abstract:
ROOT is high energy physics' software for storing and mining data in a statistically sound way, to publish results with scientific graphics. It is evolving since 25 years, now providing the storage format for more than one exabyte of data; virtually all high energy physics experiments use ROOT. With another significant increase in the amount of data to be handled scheduled to arrive in 2027, ROOT…
▽ More
ROOT is high energy physics' software for storing and mining data in a statistically sound way, to publish results with scientific graphics. It is evolving since 25 years, now providing the storage format for more than one exabyte of data; virtually all high energy physics experiments use ROOT. With another significant increase in the amount of data to be handled scheduled to arrive in 2027, ROOT is preparing for a massive upgrade of its core ingredients. As part of a review of crucial software for high energy physics, the ROOT team has documented its R&D plans for the coming years.
△ Less
Submitted 12 May, 2022;
originally announced May 2022.
-
ROOT for the HL-LHC: data format
Authors:
Axel Naumann,
Philippe Canal,
Enric Tejedor,
Enrico Guiraud,
Lorenzo Moneta,
Bertrand Bellenot,
Olivier Couet,
Alja Mrak Tadel,
Matevz Tadel,
Sergey Linev,
Javier Lopez Gomez,
Jonas Rembser,
Vincenzo Eduardo Padulano,
Jakob Blomer,
Jonas Hahnfeld,
Bernhard Manfred Gruber,
Vassil Vassilev
Abstract:
This document discusses the state, roadmap, and risks of the foundational components of ROOT with respect to the experiments at the HL-LHC (Run 4 and beyond). As foundational components, the document considers in particular the ROOT input/output (I/O) subsystem. The current HEP I/O is based on the TFile container file format and the TTree binary event data format. The work going into the new RNTup…
▽ More
This document discusses the state, roadmap, and risks of the foundational components of ROOT with respect to the experiments at the HL-LHC (Run 4 and beyond). As foundational components, the document considers in particular the ROOT input/output (I/O) subsystem. The current HEP I/O is based on the TFile container file format and the TTree binary event data format. The work going into the new RNTuple event data format aims at superseding TTree, to make RNTuple the production ROOT event data I/O that meets the requirements of Run 4 and beyond.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
GPU Accelerated Automatic Differentiation With Clad
Authors:
Ioana Ifrim,
Vassil Vassilev,
David J Lange
Abstract:
Automatic Differentiation (AD) is instrumental for science and industry. It is a tool to evaluate the derivative of a function specified through a computer program. The range of AD application domain spans from Machine Learning to Robotics to High Energy Physics. Computing gradients with the help of AD is guaranteed to be more precise than the numerical alternative and have a low, constant factor…
▽ More
Automatic Differentiation (AD) is instrumental for science and industry. It is a tool to evaluate the derivative of a function specified through a computer program. The range of AD application domain spans from Machine Learning to Robotics to High Energy Physics. Computing gradients with the help of AD is guaranteed to be more precise than the numerical alternative and have a low, constant factor more arithmetical operations compared to the original function. Moreover, AD applications to domain problems typically are computationally bound. They are often limited by the computational requirements of high-dimensional parameters and thus can benefit from parallel implementations on graphics processing units (GPUs). Clad aims to enable differential analysis for C/C++ and CUDA and is a compiler-assisted AD tool available both as a compiler extension and in ROOT. Moreover, Clad works as a plugin extending the Clang compiler; as a plugin extending the interactive interpreter Cling; and as a Jupyter kernel extension based on xeus-cling. We demonstrate the advantages of parallel gradient computations on GPUs with Clad. We explain how to bring forth a new layer of optimization and a proportional speed up by extending Clad to support CUDA. The gradients of well-behaved C++ functions can be automatically executed on a GPU. The library can be easily integrated into existing frameworks or used interactively. Furthermore, we demonstrate the achieved application performance improvements, including (~10x) in ROOT histogram fitting and corresponding performance gains from offloading to GPUs.
△ Less
Submitted 16 May, 2022; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Flexoelectric fluid membranes in electric field. Shape equations and exact solutions
Authors:
Galin S. Valchev,
Vassil M. Vassilev
Abstract:
The shape equation for an axisymmetric fluid membrane is derived, assuming action of an uniform external electric field. The flexoelectric contribution to the free energy of the membrane, stemming from the latter is accounted within the theory by Steigmann and Agrawal. Additionally, we have introduced, in the aforementioned functional, another term associated with a curvature induced membrane pola…
▽ More
The shape equation for an axisymmetric fluid membrane is derived, assuming action of an uniform external electric field. The flexoelectric contribution to the free energy of the membrane, stemming from the latter is accounted within the theory by Steigmann and Agrawal. Additionally, we have introduced, in the aforementioned functional, another term associated with a curvature induced membrane polarization, as the latter was first hypothesized by A. Petrov. Some exact Naito-type solutions of the studied equation are given, with the free parameters linked to the model ones.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Learning from the Pandemic: the Future of Meetings in HEP and Beyond
Authors:
Mark S. Neubauer,
Todd Adams,
Jennifer Adelman-McCarthy,
Gabriele Benelli,
Tulika Bose,
David Britton,
Pat Burchat,
Joel Butler,
Timothy A. Cartwright,
Tomáš Davídek,
Jacques Dumarchez,
Peter Elmer,
Matthew Feickert,
Ben Galewsky,
Mandeep Gill,
Maciej Gladki,
Aman Goel,
Jonathan E. Guyer,
Bo Jayatilaka,
Brendan Kiburg,
Benjamin Krikler,
David Lange,
Claire Lee,
Nick Manganelli,
Giovanni Marchiori
, et al. (14 additional authors not shown)
Abstract:
The COVID-19 pandemic has by-and-large prevented in-person meetings since March 2020. While the increasing deployment of effective vaccines around the world is a very positive development, the timeline and pathway to "normality" is uncertain and the "new normal" we will settle into is anyone's guess. Particle physics, like many other scientific fields, has more than a year of experience in holding…
▽ More
The COVID-19 pandemic has by-and-large prevented in-person meetings since March 2020. While the increasing deployment of effective vaccines around the world is a very positive development, the timeline and pathway to "normality" is uncertain and the "new normal" we will settle into is anyone's guess. Particle physics, like many other scientific fields, has more than a year of experience in holding virtual meetings, workshops, and conferences. A great deal of experimentation and innovation to explore how to execute these meetings effectively has occurred. Therefore, it is an appropriate time to take stock of what we as a community learned from running virtual meetings and discuss possible strategies for the future. Continuing to develop effective strategies for meetings with a virtual component is likely to be important for reducing the carbon footprint of our research activities, while also enabling greater diversity and inclusion for participation. This report summarizes a virtual two-day workshop on Virtual Meetings held May 5-6, 2021 which brought together experts from both inside and outside of high-energy physics to share their experiences and practices with organizing and executing virtual workshops, and to develop possible strategies for future meetings as we begin to emerge from the COVID-19 pandemic. This report outlines some of the practices and tools that have worked well which we hope will serve as a valuable resource for future virtual meeting organizers in all scientific fields.
△ Less
Submitted 29 June, 2021;
originally announced June 2021.
-
Software Challenges For HL-LHC Data Analysis
Authors:
ROOT Team,
Kim Albertsson Brann,
Guilherme Amadio,
Sitong An,
Bertrand Bellenot,
Jakob Blomer,
Philippe Canal,
Olivier Couet,
Massimiliano Galli,
Enrico Guiraud,
Stephan Hageboeck,
Sergey Linev,
Pere Mato Vila,
Lorenzo Moneta,
Axel Naumann,
Alja Mrak Tadel,
Vincenzo Eduardo Padulano,
Fons Rademakers,
Oksana Shadura,
Matevz Tadel,
Enric Tejedor Saavedra,
Xavier Valls Pla,
Vassil Vassilev,
Stefan Wunsch
Abstract:
The high energy physics community is discussing where investment is needed to prepare software for the HL-LHC and its unprecedented challenges. The ROOT project is one of the central software players in high energy physics since decades. From its experience and expectations, the ROOT team has distilled a comprehensive set of areas that should see research and development in the context of data ana…
▽ More
The high energy physics community is discussing where investment is needed to prepare software for the HL-LHC and its unprecedented challenges. The ROOT project is one of the central software players in high energy physics since decades. From its experience and expectations, the ROOT team has distilled a comprehensive set of areas that should see research and development in the context of data analysis software, for making best use of HL-LHC's physics potential. This work shows what these areas could be, why the ROOT team believes investing in them is needed, which gains are expected, and where related work is ongoing. It can serve as an indication for future research proposals and cooperations.
△ Less
Submitted 4 May, 2020; v1 submitted 16 April, 2020;
originally announced April 2020.
-
C++ Modules in ROOT and Beyond
Authors:
Vassil Vassilev,
David Lange,
Malik Shahzad Muzaffar,
Mircho Rodozov,
Oksana Shadura,
Alexander Penev
Abstract:
C++ Modules come in C++20 to fix the long-standing build scalability problems in the language. They provide an io-efficient, on-disk representation capable to reduce build times and peak memory usage. ROOT employs the C++ modules technology further in the ROOT dictionary system to improve its performance and reduce the memory footprint.
ROOT with C++ Modules was released as a technology preview…
▽ More
C++ Modules come in C++20 to fix the long-standing build scalability problems in the language. They provide an io-efficient, on-disk representation capable to reduce build times and peak memory usage. ROOT employs the C++ modules technology further in the ROOT dictionary system to improve its performance and reduce the memory footprint.
ROOT with C++ Modules was released as a technology preview in fall 2018, after intensive development during the last few years. The current state is ready for production, however, there is still room for performance optimizations. In this talk, we show the roadmap for making the technology default in ROOT. We demonstrate a global module indexing optimization which allows reducing the memory footprint dramatically for many workflows. We will report user feedback on the migration to ROOT with C++ Modules.
△ Less
Submitted 25 August, 2020; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Automatic Differentiation in ROOT
Authors:
Vassil Vassilev,
Aleksandr Efremov,
Oksana Shadura
Abstract:
In mathematics and computer algebra, automatic differentiation (AD) is a set of techniques to evaluate the derivative of a function specified by a computer program. AD exploits the fact that every computer program, no matter how complicated, executes a sequence of elementary arithmetic operations (addition, subtraction, multiplication, division, etc.), elementary functions (exp, log, sin, cos, etc…
▽ More
In mathematics and computer algebra, automatic differentiation (AD) is a set of techniques to evaluate the derivative of a function specified by a computer program. AD exploits the fact that every computer program, no matter how complicated, executes a sequence of elementary arithmetic operations (addition, subtraction, multiplication, division, etc.), elementary functions (exp, log, sin, cos, etc.) and control flow statements. AD takes source code of a function as input and produces source code of the derived function. By applying the chain rule repeatedly to these operations, derivatives of arbitrary order can be computed automatically, accurately to working precision, and using at most a small constant factor more arithmetic operations than the original program.
This paper presents AD techniques available in ROOT, supported by Cling, to produce derivatives of arbitrary C/C++ functions through implementing source code transformation and employing the chain rule of differential calculus in both forward mode and reverse mode. We explain its current integration for gradient computation in TFormula. We demonstrate the correctness and performance improvements in ROOT's fitting algorithms.
△ Less
Submitted 9 April, 2020;
originally announced April 2020.
-
Behavior of the van der Waals force between a plate and a single-walled carbon nanotube under uniform hydrostatic pressure: a theoretical study
Authors:
Galin Valchev,
Peter Djondjorov,
Vassil Vassilev,
Daniel Dantchev
Abstract:
We study the behaviour of the non-retarded van der Waals force between a planar substrate and a single-walled carbon nanotube, assuming that the system is immersed in a liquid medium which exerts hydrostatic pressure on the tube's surface, thereby altering its cross-section profile. The shape of the latter is described as a continual structure characterized by its symmetry index $n$. Two principle…
▽ More
We study the behaviour of the non-retarded van der Waals force between a planar substrate and a single-walled carbon nanotube, assuming that the system is immersed in a liquid medium which exerts hydrostatic pressure on the tube's surface, thereby altering its cross-section profile. The shape of the latter is described as a continual structure characterized by its symmetry index $n$. Two principle mutual positions of the tube with respect to the substrate are studied: when one keeps constant the minimal separation between the surfaces of the interacting objects; when the distance from the tube's axis to the substrates bounding surface is fixed. Within these conditions, using the technique of the surface integration approach, we derive an integral form of the expressions which give the dependence of the commented force on the applied pressure.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Migrating large codebases to C++ Modules
Authors:
Yuka Takahashi,
Oksana Shadura,
Vassil Vassilev
Abstract:
ROOT has several features which interact with libraries and require implicit header inclusion. This can be triggered by reading or writing data on disk, or user actions at the prompt. Often, the headers are immutable, and reparsing is redundant. C++ Modules are designed to minimize the reparsing of the same header content by providing an efficient on-disk representation of C++ Code. ROOT has relea…
▽ More
ROOT has several features which interact with libraries and require implicit header inclusion. This can be triggered by reading or writing data on disk, or user actions at the prompt. Often, the headers are immutable, and reparsing is redundant. C++ Modules are designed to minimize the reparsing of the same header content by providing an efficient on-disk representation of C++ Code. ROOT has released a C++ Modules-aware technology preview which intends to become the default for the next release.
In this paper, we will summarize our experience with migrating C++ Modules to LHC experiment's software code bases. We outline the challenges in C++ Modules migration of the CMS software, including the integration of C++ Modules support in CMS build system. We also evaluate the performance benefits that experiments are expected to achieve.
△ Less
Submitted 22 August, 2019; v1 submitted 12 June, 2019;
originally announced June 2019.
-
Evolution of ROOT package management
Authors:
Oksana Shadura,
Brian Paul Bockelman,
Vassil Vassilev
Abstract:
ROOT is a large code base with a complex set of build-time dependencies; there is a significant difference in compilation time between the "core" of ROOT and the full-fledged deployment. We present results on a "delayed build" for internal ROOT packages and external packages. This gives the ability to offer a "lightweight" core of ROOT, later extended by building additional modules to extend the f…
▽ More
ROOT is a large code base with a complex set of build-time dependencies; there is a significant difference in compilation time between the "core" of ROOT and the full-fledged deployment. We present results on a "delayed build" for internal ROOT packages and external packages. This gives the ability to offer a "lightweight" core of ROOT, later extended by building additional modules to extend the functionality of ROOT. As a part of this work, we have improved the separation of ROOT code into distinct modules and packages with minimal dependencies. This approach gives users better flexibility and the possibility to combine various build features without rebuilding from scratch.
Dependency hell is a common problem found in software and particularly in HEP software ecosystem. We would like to discuss an improvement of artifact management ("lazy-install") system as a solution to the "dependency hell" problem. HEP software stack usually consists of multiple sub-projects with dependencies. The development model is often distributed, independent and non-coherent among the sub-projects. We believe that software should be designed to take advantage of other software components that are already available, or have already been designed and implemented for use elsewhere rather than "reinventing the wheel". In our contribution, we will present our approach to artifact management system of ROOT together with a set of examples and use cases.
△ Less
Submitted 11 June, 2019;
originally announced June 2019.
-
Exact solution for the order parameter profiles and the Casimir force in $^4$He superfluid films in an effective field theory
Authors:
Daniel Dantchev,
Joseph Rudnick,
Vassil M Vassilev,
Peter A Djondjorov
Abstract:
We present an analytical solution of an effective field theory which, in one of its formulations, is equivalent to the Ginzburg's $Ψ$-theory for the behavior of the Casimir force in a film of $^4$He in equilibrium with its vapor near the superfluid transition point. We consider three versions of the theory, depending on the way one determines its parameters from the experimental measurements. We p…
▽ More
We present an analytical solution of an effective field theory which, in one of its formulations, is equivalent to the Ginzburg's $Ψ$-theory for the behavior of the Casimir force in a film of $^4$He in equilibrium with its vapor near the superfluid transition point. We consider three versions of the theory, depending on the way one determines its parameters from the experimental measurements. We present exact results for the behavior of the order parameter profiles and of the Casimir force within this theory, which is characterized by $d=3$, $ν=2/3$ and $β=1/3$, where $d$ is the bulk spatial dimension and $ν$ and $β$ are the usual critical exponents. In addition, we revisit relevant experiments \cite{GC99} and \cite{GSGC2006} in terms of our findings. We find reasonably good agreement between our theoretical predictions and the experimental data. We demonstrate analytically that our calculated force is attractive. The position of the extremum is predicted to be at $x_{\rm min}=π$, with $x=(L/ξ_0)(T/T_λ-1)^{1/ν}$, which value effectively coincides with the experimental finding $x_{\rm min}=3.2\pm 0.18$. Here $L$ is the thickness of the film, $T_λ$ is the bulk critical temperature and $ξ_0$ is the correlation length amplitude of the system for temperature $T>T_λ$. The theoretically predicted position of the minimum does not depend on the one adjustable parameter, $M$, entering the theory.
△ Less
Submitted 10 March, 2019;
originally announced March 2019.
-
Optimizing Frameworks Performance Using C++ Modules Aware ROOT
Authors:
Yuka Takahashi,
Vassil Vassilev,
Oksana Shadura,
Raphael Isemann
Abstract:
ROOT is a data analysis framework broadly used in and outside of High Energy Physics (HEP). Since HEP software frameworks always strive for performance improvements, ROOT was extended with experimental support of runtime C++ Modules. C++ Modules are designed to improve the performance of C++ code parsing. C++ Modules offers a promising way to improve ROOT's runtime performance by saving the C++ he…
▽ More
ROOT is a data analysis framework broadly used in and outside of High Energy Physics (HEP). Since HEP software frameworks always strive for performance improvements, ROOT was extended with experimental support of runtime C++ Modules. C++ Modules are designed to improve the performance of C++ code parsing. C++ Modules offers a promising way to improve ROOT's runtime performance by saving the C++ header parsing time which happens during ROOT runtime. This paper presents the results and challenges of integrating C++ Modules into ROOT.
△ Less
Submitted 17 May, 2019; v1 submitted 10 December, 2018;
originally announced December 2018.
-
Continuous Performance Benchmarking Framework for ROOT
Authors:
Oksana Shadura,
Vassil Vassilev,
Brian Paul Bockelman
Abstract:
Foundational software libraries such as ROOT are under intense pressure to avoid software regression, including performance regressions. Continuous performance benchmarking, as a part of continuous integration and other code quality testing, is an industry best-practice to understand how the performance of a software product evolves over time. We present a framework, built from industry best pract…
▽ More
Foundational software libraries such as ROOT are under intense pressure to avoid software regression, including performance regressions. Continuous performance benchmarking, as a part of continuous integration and other code quality testing, is an industry best-practice to understand how the performance of a software product evolves over time. We present a framework, built from industry best practices and tools, to help to understand ROOT code performance and monitor the efficiency of the code for a several processor architectures. It additionally allows historical performance measurements for ROOT I/O, vectorization and parallelization sub-systems.
△ Less
Submitted 21 February, 2019; v1 submitted 7 December, 2018;
originally announced December 2018.
-
Extending ROOT through Modules
Authors:
Oksana Shadura,
Brian Paul Bockelman,
Vassil Vassilev
Abstract:
The ROOT software framework is foundational for the HEP ecosystem, providing capabilities such as IO, a C++ interpreter, GUI, and math libraries. It uses object-oriented concepts and build-time components to layer between them. We believe additional layering formalisms will benefit ROOT and its users. We present the modularization strategy for ROOT which aims to formalize the description of existi…
▽ More
The ROOT software framework is foundational for the HEP ecosystem, providing capabilities such as IO, a C++ interpreter, GUI, and math libraries. It uses object-oriented concepts and build-time components to layer between them. We believe additional layering formalisms will benefit ROOT and its users. We present the modularization strategy for ROOT which aims to formalize the description of existing source components, making available the dependencies and other metadata externally from the build system, and allow post-install additions of functionality in the runtime environment. components can then be grouped into packages, installable from external repositories to deliver post-install step of missing packages. This provides a mechanism for the wider software ecosystem to interact with a minimalistic install. Reducing intra-component dependencies improves maintainability and code hygiene. We believe hel** maintain the smallest "base install" possible will help embedding use cases. The modularization effort draws inspiration from the Java, Python, and Swift ecosystems. Kee** aligned with the modern C++, this strategy relies on forthcoming features such as C++ modules. We hope formalizing the component layer will provide simpler ROOT installs, improve extensibility, and decrease the complexity of embedding in other ecosystems
△ Less
Submitted 11 December, 2018; v1 submitted 7 December, 2018;
originally announced December 2018.
-
Exact solution of Ginzburg's $Ψ$-theory for the Casimir force in $^4$He superfluid films
Authors:
Daniel Dantchev,
Joseph Rudnick,
Vassil Vassilev,
Peter Djondjorov
Abstract:
We present an analytical solution of the Ginzburg's $Ψ$-theory for the behavior of the Casimir force in a film of $^4$He in equilibrium with its vapor near the superfluid transition point, and we revisit the corresponding experiments in light of our findings. We find reasonably good agreement between the $Ψ$-theory predictions and the experimental data. Our calculated force is attractive, and the…
▽ More
We present an analytical solution of the Ginzburg's $Ψ$-theory for the behavior of the Casimir force in a film of $^4$He in equilibrium with its vapor near the superfluid transition point, and we revisit the corresponding experiments in light of our findings. We find reasonably good agreement between the $Ψ$-theory predictions and the experimental data. Our calculated force is attractive, and the largest absolute value of the scaling function is $1.848$, while experiment yields $1.30$. The position of the extremum is predicted to be at $x=(L/ξ_0)(T/T_λ-1)^{1/ν}=π$, while experiment is consistent with $x=3.8$. Here $L$ is the thickness of the film, $T_λ$ is the bulk critical temperature and $ξ_0$ is the correlation length amplitude of the system for $T>T_λ$.
△ Less
Submitted 23 March, 2018;
originally announced March 2018.
-
Casimir Force in a Model with Strongly Adsorbing Competing Walls: Analytical Results
Authors:
Daniel Dantchev,
Vassil Vassilev,
Peter Djondjorov
Abstract:
We present both analytical and numerical results for the behaviour of the Casimir force in a Ginzburg-Landau type model of a film of a simple fluid or binary liquid mixture in which the confining surfaces are strongly adsorbing but preferring different phases of the simple fluid, or different components of the mixture. Under such boundary conditions an interface is formed between the competing pha…
▽ More
We present both analytical and numerical results for the behaviour of the Casimir force in a Ginzburg-Landau type model of a film of a simple fluid or binary liquid mixture in which the confining surfaces are strongly adsorbing but preferring different phases of the simple fluid, or different components of the mixture. Under such boundary conditions an interface is formed between the competing phases inside the system which are forced to coexist. We investigate the force as a function of the temperature and in the presence of an external ordering field and determine the (temperature-field) relief map of the force. We prove the existence of a single global maximum of the force and find its position and value. We find the asymptotic behavior of the force when any of the scaling fields becomes large while the other one is negligible. Contrary to the case of symmetric boundary conditions we find, as expected, that the finite system does not possess a phase transition of its own for any finite values of the scaling variables corresponding to the temperature and the ordering field. We perform the study near the bulk critical temperature of the corresponding bulk system and find a perfect agreement with the finite-size scaling theory.
△ Less
Submitted 15 December, 2017; v1 submitted 28 April, 2017;
originally announced April 2017.
-
Exact results for the behavior of the thermodynamic Casimir force in a model with a strong adsorption
Authors:
Daniel M Dantchev,
Vassil M Vassilev,
Peter A Djondjorov
Abstract:
When massless excitations are limited or modified by the presence of material bodies one observes a force acting between them generally called Casimir force. Such excitations are present in any fluid system close to its true bulk critical point. We derive exact analytical results for both the temperature and external ordering field behavior of the thermodynamic Casimir force within the mean-field…
▽ More
When massless excitations are limited or modified by the presence of material bodies one observes a force acting between them generally called Casimir force. Such excitations are present in any fluid system close to its true bulk critical point. We derive exact analytical results for both the temperature and external ordering field behavior of the thermodynamic Casimir force within the mean-field Ginzburg-Landau Ising type model of a simple fluid or binary liquid mixture. We investigate the case when under a film geometry the boundaries of the system exhibit strong adsorption onto one of the phases (components) of the system. We present analytical and numerical results for the (temperature-field) relief map of the force in both the critical region of the film close to its finite-size or bulk critical points as well as in the capillary condensation regime below but close to the finite-size critical point.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
Exact results for the temperature-field behavior of the thermodynamic Casimir force in a model of film system with a strong surface adsorption
Authors:
Daniel M. Dantchev,
Vassil M. Vassilev,
Peter A. Djondjorov
Abstract:
When masless excitations are limited or modified by the presence of material bodies one observes a force atcing between them generally called Casimir force. Such excitations are present in any fluid system close to its true bulk critical point. We derive exact analytical results for both the temperature and external ordering field behavior of the thermodynamic Casimir force within the mean-field G…
▽ More
When masless excitations are limited or modified by the presence of material bodies one observes a force atcing between them generally called Casimir force. Such excitations are present in any fluid system close to its true bulk critical point. We derive exact analytical results for both the temperature and external ordering field behavior of the thermodynamic Casimir force within the mean-field Ginzburg-Landau Ising type model of a simple fluid or binary liquid mixture. We investigate the case when under a film geometry the boundaries of the system exhibit strong adsorption onto one of the phases (components) of the system. We present analytical and numerical results for the (temperature-field) surface of the force in both the critical region of the film close to its finite-size or bulk critical points as well as in the capillary condensation regime below the finite-size critical point.
△ Less
Submitted 26 April, 2016; v1 submitted 28 March, 2016;
originally announced March 2016.
-
Exact results for the temperature-field behavior of the Ginzburg-Landau Ising type mean-field model
Authors:
Daniel M. Dantchev,
Vassil M. Vassilev,
Peter A. Djondjorov
Abstract:
We investigate the dependence of the order parameter profile, local and total susceptibilities on both the temperature and external magnetic field within the mean-filed Ginzburg-Landau Ising type model. We study the case of a film geometry when the boundaries of the film exhibit strong adsorption to one of the phases (components) of the system. We do that using general scaling arguments and derivi…
▽ More
We investigate the dependence of the order parameter profile, local and total susceptibilities on both the temperature and external magnetic field within the mean-filed Ginzburg-Landau Ising type model. We study the case of a film geometry when the boundaries of the film exhibit strong adsorption to one of the phases (components) of the system. We do that using general scaling arguments and deriving exact analytical results for the corresponding scaling functions of these quantities. In addition, we examine their behavior in the capillary condensation regime. Based on the derived exact analytical expressions we obtained an unexpected result -- the existence of a region in the phase transitions line where the system jumps below its bulk critical temperature from a less dense gas to a more dense gas before switching on continuously into the usual jump from gas to liquid state in the middle of the system. It is also demonstrated that on the capillary condensation line one of the coexisting local susceptibility profiles is with one maximum, whereas the other one is with two local maxima centered, approximately, around the two gas-liquid interfaces in the system.
△ Less
Submitted 2 July, 2015; v1 submitted 18 May, 2015;
originally announced May 2015.
-
Analytic description and explicit parametrization of the equilibrium shapes of elastic rings and tubes under uniform hydrostatic pressure
Authors:
Peter A. Djondjorov,
Vassil M. Vassilev,
Ivailo M. Mladenov
Abstract:
The parametric equations of the plane curves determining the equilibrium shapes that a uniform inextensible elastic ring or tube could take subject to a uniform hydrostatic pressure are presented in an explicit analytic form. The determination of the equilibrium shape of such a structure corresponding to a given pressure is reduced to the solution of two transcendental equations. The shapes with p…
▽ More
The parametric equations of the plane curves determining the equilibrium shapes that a uniform inextensible elastic ring or tube could take subject to a uniform hydrostatic pressure are presented in an explicit analytic form. The determination of the equilibrium shape of such a structure corresponding to a given pressure is reduced to the solution of two transcendental equations. The shapes with points of contact and the corresponding (contact) pressures are determined by the solutions of three transcendental equations. The analytic results presented here confirm many of the previous numerical results on this subject but the results concerning the shapes with lines of contact reported up to now are revised.
△ Less
Submitted 3 August, 2010;
originally announced August 2010.
-
Cylindrical equilibrium shapes of fluid membranes
Authors:
V. M. Vassilev,
P. A. Djondjorov,
I. M. Mladenov
Abstract:
Within the framework of the well-known curvature models, a fluid lipid bilayer membrane is regarded as a surface embedded in the three-dimensional Euclidean space whose equilibrium shapes are described in terms of its mean and Gaussian curvatures by the so-called membrane shape equation. In the present paper, all solutions to this equation determining cylindrical membrane shapes are found and pr…
▽ More
Within the framework of the well-known curvature models, a fluid lipid bilayer membrane is regarded as a surface embedded in the three-dimensional Euclidean space whose equilibrium shapes are described in terms of its mean and Gaussian curvatures by the so-called membrane shape equation. In the present paper, all solutions to this equation determining cylindrical membrane shapes are found and presented, together with the expressions for the corresponding position vectors, in explicit analytic form. The necessary and sufficient conditions for such a surface to be closed are derived and several sufficient conditions for its directrix to be simple or self-intersecting are given.
△ Less
Submitted 22 October, 2009; v1 submitted 6 March, 2008;
originally announced March 2008.
-
Symmetry Groups and Equivalence Transformations in the Nonlinear Donnell-Mushtari-Vlasov Theory for Shallow Shells
Authors:
Vassil M. Vassilev
Abstract:
In the case of transversely only loaded shallow shells, the nonlinear Donnell-Mushtari-Vlasov theory for large deflection of isotropic thin elastic shells leads to a system of two coupled nonlinear forth-order partial differential equations known as Marguerre's equations. This system involves two arbitrary elements -- the curvature tensor of the shell middle-surface and the function of transvers…
▽ More
In the case of transversely only loaded shallow shells, the nonlinear Donnell-Mushtari-Vlasov theory for large deflection of isotropic thin elastic shells leads to a system of two coupled nonlinear forth-order partial differential equations known as Marguerre's equations. This system involves two arbitrary elements -- the curvature tensor of the shell middle-surface and the function of transversal load per unit surface area. In the present note, the point symmetry groups of Marguerre's equations are established, the corresponding group classification problem being solved. It is shown that Marguerre's equations are equivalent to the von Karman equations for large deflection of plates in the time-independent case and in the time-dependent case as well. It is also observed that the same holds true in respect of the field equations for anisotropic shallow shells.
△ Less
Submitted 8 June, 2000;
originally announced June 2000.
-
Acceleration Waves in the von Karman Plate Theory
Authors:
Peter A. Djondjorov,
Vassil M. Vassilev
Abstract:
In the present work we study acceleration waves in plate-like bodies using the balance laws for the time-dependent von Karman equations presented in [P. A. Djondjorov and V. M. Vassilev, Conservation Laws and Group-Invariant Solutions of the von Karman Equations, Int. J. Nonlinear Mech. 31 (1), pp. 73-87, (1986)]. Two of these balance laws correspond to the time-dependent von Karman equations th…
▽ More
In the present work we study acceleration waves in plate-like bodies using the balance laws for the time-dependent von Karman equations presented in [P. A. Djondjorov and V. M. Vassilev, Conservation Laws and Group-Invariant Solutions of the von Karman Equations, Int. J. Nonlinear Mech. 31 (1), pp. 73-87, (1986)]. Two of these balance laws correspond to the time-dependent von Karman equations themselves. They are used to define acceleration waves in thin isotropic elastic plates as discontinuity solutions with finite jumps of second derivatives of the displacement field at a certain curve - the wave front. These two balance laws lead through Hadamard's lemma and Kotchin's theorem to a set of jump conditions on the wave front. Similarly, the other balance laws lead to additional and independent jump conditions on the curve of discontinuity. Several examples are given to illustrate the effect of involving jump conditions of that kind in analysis of acceleration waves in plates. The examples are composed on the basis of three families of group-invariant solutions to the time-dependent von Karman equations. They present three kinds of waveforms pertaining to the class of the so-called relatively undistorded progressive waves. We analyze the propagation of this special kind of acceleration waves into a known state of plate motion.
△ Less
Submitted 27 June, 2000; v1 submitted 15 June, 2000;
originally announced June 2000.
-
Application of Lie Transformation Group Methods to Classical Theories of Plates and Rods
Authors:
Vassil M. Vassilev,
Peter A. Djondjorov
Abstract:
In the present paper, a class of partial differential equations related to various plate and rod problems is studied by Lie transformation group methods. A system of equations determining the generators of the admitted point Lie groups (symmetries) is derived. A general statement of the associated group-classification problem is given. A simple intrinsic relation is deduced allowing to recognize…
▽ More
In the present paper, a class of partial differential equations related to various plate and rod problems is studied by Lie transformation group methods. A system of equations determining the generators of the admitted point Lie groups (symmetries) is derived. A general statement of the associated group-classification problem is given. A simple intrinsic relation is deduced allowing to recognize easily the variational symmetries among the ''ordinary'' symmetries of a self-adjoint equation of the class examined. Explicit formulae for the conserved currents of the corresponding (via Noether's theorem) conservation laws are suggested. Solutions of group-classification problems are presented for subclasses of equations of the foregoing type governing stability and vibration of plates, rods and fluid conveying pipes resting on variable elastic foundations and compressed by axial forces. The obtained group-classification results are used to derive conservation laws and group-invariant solutions readily applicable in plate statics or rod dynamics.
△ Less
Submitted 10 June, 2000;
originally announced June 2000.