Showing 1–50 of 72 results for author: Müller, I

Meta-experiments: Improving experimentation through experimentation

Authors: Melanie J. I. Müller

Abstract: A/B testing is widexly used in the industry to optimize customer facing websites. Many companies employ experimentation specialists to facilitate and improve the process of A/B testing. Here, we present the application of A/B testing to this improvement effort itself, by running experiments on the experimentation process, which we call 'meta-experiments'. We discuss the challenges of this approach… ▽ More A/B testing is widexly used in the industry to optimize customer facing websites. Many companies employ experimentation specialists to facilitate and improve the process of A/B testing. Here, we present the application of A/B testing to this improvement effort itself, by running experiments on the experimentation process, which we call 'meta-experiments'. We discuss the challenges of this approach using the example of one of our meta-experiments, which helped experimenters to run more sufficiently powered A/B tests. We also point out the benefits of 'dog fooding' for the experimentation specialists when running their own experiments. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: 6 pages, 2 figures, 1 table

The Impact of Human Aspects on the Interactions Between Software Developers and End-Users in Software Engineering: A Systematic Literature Review

Authors: Hashini Gunatilake, John Grundy, Rashina Hoda, Ingo Mueller

Abstract: Context: Research on human aspects within the field of software engineering (SE) has been steadily gaining prominence in recent years. These human aspects have a significant impact on SE due to the inherently interactive and collaborative nature of the discipline. Objective: In this paper, we present a systematic literature review (SLR) on human aspects affecting developer-user interactions. The… ▽ More Context: Research on human aspects within the field of software engineering (SE) has been steadily gaining prominence in recent years. These human aspects have a significant impact on SE due to the inherently interactive and collaborative nature of the discipline. Objective: In this paper, we present a systematic literature review (SLR) on human aspects affecting developer-user interactions. The objective of this SLR is to plot the current landscape of primary studies by examining the human aspects that influence developer-user interactions, their implications, interrelationships, and how existing studies address these implications. Method: We conducted this SLR following the guidelines proposed by Kitchenham et al. We performed a comprehensive search in six digital databases, and an exhaustive backward and forward snowballing process. We selected 46 primary studies for data extraction. Results: We identified various human aspects affecting developer-user interactions in SE, assessed their interrelationships, identified their positive impacts and mitigation strategies for negative effects. We present specific recommendations derived from the identified research gaps. Conclusion: Our findings suggest the importance of leveraging positive effects and addressing negative effects in developer-user interactions through the implementation of effective mitigation strategies. These insights may benefit software practitioners for effective user interactions, and the recommendations proposed by this SLR may aid the research community in further human aspects related studies. △ Less

Submitted 7 May, 2024; originally announced May 2024.

Energy-momentum tensor of the dilute (3+1)D Glasma

Authors: Andreas Ipp, Markus Leuthner, David I. Müller, Sören Schlichting, Kayran Schmidt, Pragya Singh

Abstract: We present a succinct formulation of the energy-momentum tensor of the Glasma characterizing the initial color fields in relativistic heavy-ion collisions in the Color Glass Condensate effective theory. We derive concise expressions for the (3+1)D dynamical evolution of symmetric nuclear collisions in the weak field approximation employing a generalized McLerran-Venugopalan model with non-trivial… ▽ More We present a succinct formulation of the energy-momentum tensor of the Glasma characterizing the initial color fields in relativistic heavy-ion collisions in the Color Glass Condensate effective theory. We derive concise expressions for the (3+1)D dynamical evolution of symmetric nuclear collisions in the weak field approximation employing a generalized McLerran-Venugopalan model with non-trivial longitudinal correlations. Utilizing Monte Carlo integration, we calculate in unprecedented detail non-trivial rapidity profiles of early-time observables at RHIC and LHC energies, including transverse energy densities and eccentricities. For our setup with broken boost invariance, we carefully discuss the placement of the origin of the Milne frame and interpret the components of the energy-momentum tensor. We find longitudinal flow that deviates from standard Bjorken flow in the (3+1)D case and provide a geometric interpretation of this effect. Furthermore, we observe a universal shape in the flanks of the rapidity profiles regardless of collision energy and predict that limiting fragmentation should also hold at LHC energies. △ Less

Submitted 27 May, 2024; v1 submitted 18 January, 2024; originally announced January 2024.

Comments: 20 pages, 15 figures, 2 videos. Raw data and plots can be downloaded from https://doi.org/10.5281/zenodo.10809853

Journal ref: Phys. Rev. D 109 (2024), 094040

Enablers and Barriers of Empathy in Software Developer and User Interaction: A Mixed Methods Case Study

Authors: Hashini Gunatilake, John Grundy, Rashina Hoda, Ingo Mueller

Abstract: Software engineering (SE) requires developers to collaborate with stakeholders, and understanding their emotions and perspectives is often vital. Empathy is a concept characterising a person's ability to understand and share the feelings of another. However, empathy continues to be an under-researched human aspect in SE. We studied how empathy is practised between developers and end users using a… ▽ More Software engineering (SE) requires developers to collaborate with stakeholders, and understanding their emotions and perspectives is often vital. Empathy is a concept characterising a person's ability to understand and share the feelings of another. However, empathy continues to be an under-researched human aspect in SE. We studied how empathy is practised between developers and end users using a mixed methods case study. We used an empathy test, observations and interviews to collect data, and socio technical grounded theory and descriptive statistics to analyse data. We identified the nature of awareness required to trigger empathy and enablers of empathy. We discovered barriers to empathy and a set of potential strategies to overcome these barriers. We report insights on emerging relationships and present a set of recommendations and potential future works on empathy and SE for software practitioners and SE researchers. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Machine learning a fixed point action for SU(3) gauge theory with a gauge equivariant convolutional neural network

Authors: Kieran Holland, Andreas Ipp, David I. Müller, Urs Wenger

Abstract: Fixed point lattice actions are designed to have continuum classical properties unaffected by discretization effects and reduced lattice artifacts at the quantum level. They provide a possible way to extract continuum physics with coarser lattices, thereby allowing to circumvent problems with critical slowing down and topological freezing toward the continuum limit. A crucial ingredient for practi… ▽ More Fixed point lattice actions are designed to have continuum classical properties unaffected by discretization effects and reduced lattice artifacts at the quantum level. They provide a possible way to extract continuum physics with coarser lattices, thereby allowing to circumvent problems with critical slowing down and topological freezing toward the continuum limit. A crucial ingredient for practical applications is to find an accurate and compact parametrization of a fixed point action, since many of its properties are only implicitly defined. Here we use machine learning methods to revisit the question of how to parametrize fixed point actions. In particular, we obtain a fixed point action for four-dimensional SU(3) gauge theory using convolutional neural networks with exact gauge invariance. The large operator space allows us to find superior parametrizations compared to previous studies, a necessary first step for future Monte Carlo simulations. △ Less

Submitted 12 January, 2024; originally announced January 2024.

Comments: 22 pages, 15 figures, 6 tables

Advancing real-time Yang-Mills: towards real-time observables from first principles

Authors: Kirill Boguslavski, Paul Hotzy, David I. Müller

Abstract: The complex Langevin (CL) method shows great promise in enabling the calculation of observables for theories with complex actions. Nevertheless, real-time quantum field theories have remained largely unsolved due to the particular severity of the sign problem. In this contribution, we discuss our recent progress in applying CL to a thermal SU(2) Yang-Mills theory on a 3+1 dimensional lattice. We p… ▽ More The complex Langevin (CL) method shows great promise in enabling the calculation of observables for theories with complex actions. Nevertheless, real-time quantum field theories have remained largely unsolved due to the particular severity of the sign problem. In this contribution, we discuss our recent progress in applying CL to a thermal SU(2) Yang-Mills theory on a 3+1 dimensional lattice. We present our anisotropic kernel that stabilizes the CL approach for real times longer than the inverse temperature - a first for Yang-Mills theory. We provide explicit evidence of reproducing symmetries and relations among different types of propagators when the complex time path approaches the Schwinger-Keldysh contour. This method paves the way for calculating transport coefficients and other real-time observables from first principles. △ Less

Submitted 11 January, 2024; originally announced January 2024.

Comments: 10 pages, 7 figures; Proceedings of the 40th International Symposium on Lattice Field Theory (LATTICE2023)

Highly anisotropic lattices for Yang-Mills theory

Authors: Kirill Boguslavski, Paul Hotzy, David I. Müller, Dénes Sexty

Abstract: In this conference proceeding, we investigate the physical anisotropy in terms of the temporal and spatial lattice spacings in relation to the bare parameters of SU(2) pure gauge theory using Wilson gradient flow. Anisotropic lattices have a wide range of applications, from thermodynamic calculations in QCD to very recent real-time simulations using the complex Langevin method. We find an almost l… ▽ More In this conference proceeding, we investigate the physical anisotropy in terms of the temporal and spatial lattice spacings in relation to the bare parameters of SU(2) pure gauge theory using Wilson gradient flow. Anisotropic lattices have a wide range of applications, from thermodynamic calculations in QCD to very recent real-time simulations using the complex Langevin method. We find an almost linear relationship between the bare and renormalized anisotropy. Using a parametrization that includes nonlinear effects and was earlier proposed for SU(3) theory, we obtain a good description of the coupling dependence of the anisotropy with only two fitting parameters. Our observation of an approximately linear relationship and this parametrization should strongly reduce the computational effort of anisotropic lattice calculations in the future. △ Less

Submitted 13 December, 2023; originally announced December 2023.

Comments: 9 pages, 2 figures; Proceedings of the 40th International Symposium on Lattice Field Theory (LATTICE2023)

Real-time correlators in 3+1D thermal lattice gauge theory

Authors: Kirill Boguslavski, Paul Hotzy, David I. Müller

Abstract: Real-time quantities like spectral functions and transport coefficients are crucial for a proper understanding of the quark-gluon plasma created in relativistic heavy-ion collisions. Their numerical computation is plagued by a severe sign problem inherent in the real-time formulation of lattice field theories. In this letter, we present the first direct ab-initio computation of unequal-time correl… ▽ More Real-time quantities like spectral functions and transport coefficients are crucial for a proper understanding of the quark-gluon plasma created in relativistic heavy-ion collisions. Their numerical computation is plagued by a severe sign problem inherent in the real-time formulation of lattice field theories. In this letter, we present the first direct ab-initio computation of unequal-time correlation functions in non-Abelian lattice gauge theory, which are necessary to extract real-time quantities. We demonstrate non-trivial consistency relations among correlators, time-translation invariance, and agreement with Monte-Carlo results for thermal equilibrium in 3+1 dimensions by employing our stabilized complex Langevin method. Our work sets the stage to extract real-time observables in lattice gauge theory in a first-principles real-time framework. △ Less

Submitted 5 December, 2023; originally announced December 2023.

Comments: 6 pages + supplemental material, 5 + 3 figures

Fixed point actions from convolutional neural networks

Authors: Kieran Holland, Andreas Ipp, David I. Müller, Urs Wenger

Abstract: Lattice gauge-equivariant convolutional neural networks (L-CNNs) can be used to form arbitrarily shaped Wilson loops and can approximate any gauge-covariant or gauge-invariant function on the lattice. Here we use L-CNNs to describe fixed point (FP) actions which are based on renormalization group transformations. FP actions are classically perfect, i.e., they have no lattice artifacts on classical… ▽ More Lattice gauge-equivariant convolutional neural networks (L-CNNs) can be used to form arbitrarily shaped Wilson loops and can approximate any gauge-covariant or gauge-invariant function on the lattice. Here we use L-CNNs to describe fixed point (FP) actions which are based on renormalization group transformations. FP actions are classically perfect, i.e., they have no lattice artifacts on classical gauge-field configurations satisfying the equations of motion, and therefore possess scale invariant instanton solutions. FP actions are tree-level Symanzik-improved to all orders in the lattice spacing and can produce physical predictions with very small lattice artifacts even on coarse lattices. We find that L-CNNs are much more accurate at parametrizing the FP action compared to older approaches. They may therefore provide a way to circumvent critical slowing down and topological freezing towards the continuum limit. △ Less

Submitted 29 November, 2023; originally announced November 2023.

Comments: 9 pages, 5 figures; Proceedings of the 40th International Symposium on Lattice Field Theory (Lattice 2023)

Model-theoretic properties of nilpotent groups and Lie algebras

Authors: Christian d'Elbée, Isabel Müller, Nicholas Ramsey, Daoud Siniora

Abstract: We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for… ▽ More We give a systematic study of the model theory of generic nilpotent groups and Lie algebras. We show that the Fraïssé limit of 2-nilpotent groups of exponent $p$ studied by Baudisch is 2-dependent and NSOP$_{1}$. We prove that the class of $c$-nilpotent Lie algebras over an arbitrary field, in a language with predicates for a Lazard series, is closed under free amalgamation. We show that for $2 < c$, the generic $c$-nilpotent Lie algebra over $\mathbb{F}_{p}$ is strictly NSOP$_{4}$ and $c$-dependent. Via the Lazard correspondence, we obtain the same result for $c$-nilpotent groups of exponent $p$, for an odd prime $p > c$. △ Less

Submitted 21 June, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 45 pages

Mathematical models of Plasmodium vivax transmission: a sco** review

Authors: Md Nurul Anwar, Lauren Smith, Angela Devine, Somya Mehra, Camelia R. Walker, Elizabeth Ivory, Eamon Conway, Ivo Mueller, James M. McCaw, Jennifer A. Flegg, Roslyn I. Hickson

Abstract: Plasmodium vivax is one of the most geographically widespread malaria parasites in the world due to its ability to remain dormant in the human liver as hypnozoites and subsequently reactivate after the initial infection (i.e. relapse infections). More than 80% of P. vivax infections are due to hypnozoite reactivation. Mathematical modelling approaches have been widely applied to understand P. viva… ▽ More Plasmodium vivax is one of the most geographically widespread malaria parasites in the world due to its ability to remain dormant in the human liver as hypnozoites and subsequently reactivate after the initial infection (i.e. relapse infections). More than 80% of P. vivax infections are due to hypnozoite reactivation. Mathematical modelling approaches have been widely applied to understand P. vivax dynamics and predict the impact of intervention outcomes. In this article, we provide a sco** review of mathematical models that capture P. vivax transmission dynamics published between January 1988 and May 2023 to provide a comprehensive summary of the mathematical models and techniques used to model P. vivax dynamics. We aim to assist researchers working on P. vivax transmission and other aspects of P. vivax malaria by highlighting best practices in currently published models and highlighting where future model development is required. We provide an overview of the different strategies used to incorporate the parasite's biology, use of multiple scales (within-host and population-level), superinfection, immunity, and treatment interventions. In most of the published literature, the rationale for different modelling approaches was driven by the research question at hand. Some models focus on the parasites' complicated biology, while others incorporate simplified assumptions to avoid model complexity. Overall, the existing literature on mathematical models for P. vivax encompasses various aspects of the parasite's dynamics. We recommend that future research should focus on refining how key aspects of P. vivax dynamics are modelled, including spatial heterogeneity in exposure risk, the accumulation of hypnozoite variation, the interaction between P. falciparum and P. vivax, acquisition of immunity, and recovery under superinfection. △ Less

Submitted 24 September, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Report number: e1011931

Journal ref: Plos Computational Biology 20(3), 2024

Heavy quark $κ$ and jet $\hat{q}$ transport coefficients in the Glasma early stage of heavy-ion collisions

Authors: Dana Avramescu, Virgil Băran, Vincenzo Greco, Andreas Ipp, David. I. Müller, Marco Ruggieri

Abstract: We study the impact of the Glasma fields, used to describe the very early stage of heavy-ion collisions, on the transport of hard probes, namely heavy quarks and jets. We perform numerical simulations of the strong classical fields using techniques from real-time lattice gauge theory. The resulting fields are used as background for the classical transport of ensembles of particles, described by Wo… ▽ More We study the impact of the Glasma fields, used to describe the very early stage of heavy-ion collisions, on the transport of hard probes, namely heavy quarks and jets. We perform numerical simulations of the strong classical fields using techniques from real-time lattice gauge theory. The resulting fields are used as background for the classical transport of ensembles of particles, described by Wong's equations. For this purpose, we develop a numerical solver for the transport of the probes, based on colored particle-in-cell methods. We focus on the dynamics of heavy quarks and jets in the classical colored fields. To quantify the effect of the Glasma, we extract the momentum broadening of hard probes and evaluate the anisotropy transfer from the Glasma to the probes. Lastly, we evaluate the heavy quark $κ$ and jet $\hat{q}$ transport coefficients in the Glasma, which turn out to be large and exhibit a peak, irrespective of the particle initialization. △ Less

Submitted 16 July, 2023; originally announced July 2023.

Comments: 7 pages, 2 figures, proceedings for the 11th International Conference on Hard and Electromagnetic Probes of High-Energy Nuclear Collisions (Hard Probes 2023)

Empathy Models and Software Engineering -- A Preliminary Analysis and Taxonomy

Authors: Hashini Gunatilake, John Grundy, Ingo Mueller, Rashina Hoda

Abstract: Empathy is widely used in many disciplines such as philosophy, sociology, psychology, health care. Ability to empathise with software end-users seems to be a vital skill software developers should possess. This is because engineering successful software systems involves not only interacting effectively with users but also understanding their true needs. Empathy has the potential to address this si… ▽ More Empathy is widely used in many disciplines such as philosophy, sociology, psychology, health care. Ability to empathise with software end-users seems to be a vital skill software developers should possess. This is because engineering successful software systems involves not only interacting effectively with users but also understanding their true needs. Empathy has the potential to address this situation. Empathy is a predominant human aspect that can be used to comprehend decisions, feelings, emotions and actions of users. However, to date empathy has been under-researched in software engineering (SE) context. In this position paper, we present our exploration of key empathy models from different disciplines and our analysis of their adequacy for application in SE. While there is no evidence for empathy models that are readily applicable to SE, we believe these models can be adapted and applied in SE context with the aim of assisting software engineers to increase their empathy for diverse end-user needs. We present a preliminary taxonomy of empathy by carefully considering the most popular empathy models from different disciplines. We encourage future research on empathy in SE as we believe it is an important human aspect that can significantly influence the relationship between developers and end-users. △ Less

Submitted 6 May, 2023; originally announced May 2023.

Addressing Age-Related Accessibility Needs of Senior Users Through Model-Driven Engineering

Authors: Shavindra Wickramathilaka, Ingo Mueller

Abstract: One of the main reasons that cause seniors to face accessibility barriers when trying to use software applications is that the age-related user interface (UI) needs of seniors (e.g., physical and cognitive limitations) are not properly addressed in software user interfaces. The existing literature proposes model-driven engineering based UI adaptations as a prominent solution for this phenomenon. B… ▽ More One of the main reasons that cause seniors to face accessibility barriers when trying to use software applications is that the age-related user interface (UI) needs of seniors (e.g., physical and cognitive limitations) are not properly addressed in software user interfaces. The existing literature proposes model-driven engineering based UI adaptations as a prominent solution for this phenomenon. But in our exploration into the domain, we identified that the existing work lacks comprehensiveness when it comes to integrating accessibility into software modelling tools and methods when compared to a well-recognised accessibility standard such as the Web Content Accessibility Guidelines (WCAG). Thus in this paper, we outline a research roadmap that aims to use WCAG as a reference framework to design domain-specific languages that model the diverse accessibility scenarios of senior users via user context information and UI adaptation rules modelling so that they meet the accessibility standards specified in WCAG. △ Less

Submitted 4 May, 2023; v1 submitted 1 May, 2023; originally announced May 2023.

Comments: Accepted to the 16th International Conference on Cooperative and Human Aspects of Software Engineering (CHASE 2023), 6 pages, 2 figures, 1 table

Understanding the Influence of Motivation on Requirements Engineering-related Activities

Authors: Dulaji Hidellaarachchi, John Grundy, Rashina Hoda, Ingo Mueller

Abstract: Motivation has been identified as one of the key human aspects for software practitioners involved in Software Engineering (SE) activities to complete their tasks successfully. While prior research on motivation in SE exists, empirical studies on its influence specifically on RE are limited. As requirements engineering (RE)-related activities are a highly human-dependent phase of SE; it is importa… ▽ More Motivation has been identified as one of the key human aspects for software practitioners involved in Software Engineering (SE) activities to complete their tasks successfully. While prior research on motivation in SE exists, empirical studies on its influence specifically on RE are limited. As requirements engineering (RE)-related activities are a highly human-dependent phase of SE; it is important to identify how motivation influences RE. This study aims to identify the influence of motivation on RE, provide a better understanding of its effects, and offer guidance on how to handle them. By conducting semi-structured interviews with 21 RE-involved software practitioners, we developed a preliminary theoretical framework using socio-technical grounded theory (STGT) to explain the influence of motivation on RE. Our framework attempts to explain the contextual, causal, and intervening conditions that can give rise to or mediate the influence of motivation on RE. Furthermore, we have discovered a set of strategies that can enhance motivating situations or mitigate demotivating ones and the consequences resulting from applying these strategies. Our findings will benefit software practitioners by offering guidance on managing the influence of motivation on RE and assist researchers in refining and exploring our theoretical framework for diverse SE contexts in the future. △ Less

Submitted 17 April, 2023; originally announced April 2023.

Comments: Submitted to ACM Transactions on Software Engineering and Methodology (TOSEM) journal - 34 pages, 6 figures, 3 tables

Geometrical aspects of lattice gauge equivariant convolutional neural networks

Authors: Jimmy Aronsson, David I. Müller, Daniel Schuh

Abstract: Lattice gauge equivariant convolutional neural networks (L-CNNs) are a framework for convolutional neural networks that can be applied to non-Abelian lattice gauge theories without violating gauge symmetry. We demonstrate how L-CNNs can be equipped with global group equivariance. This allows us to extend the formulation to be equivariant not just under translations but under global lattice symmetr… ▽ More Lattice gauge equivariant convolutional neural networks (L-CNNs) are a framework for convolutional neural networks that can be applied to non-Abelian lattice gauge theories without violating gauge symmetry. We demonstrate how L-CNNs can be equipped with global group equivariance. This allows us to extend the formulation to be equivariant not just under translations but under global lattice symmetries such as rotations and reflections. Additionally, we provide a geometric formulation of L-CNNs and show how convolutions in L-CNNs arise as a special case of gauge equivariant neural networks on SU($N$) principal bundles. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 22 pages

Simulating jets and heavy quarks in the Glasma using the colored particle-in-cell method

Authors: Dana Avramescu, Virgil Băran, Vincenzo Greco, Andreas Ipp, David. I. Müller, Marco Ruggieri

Abstract: We explore the impact of strong classical color fields, which occur in the earliest stages of heavy-ion collisions and are known as the Glasma, on the classical transport of hard probes, namely heavy quarks and jets. To achieve this, we simulate SU(3) color fields using classical real-time lattice gauge theory and couple them to an ensemble of test particles whose dynamics are described by Wong's… ▽ More We explore the impact of strong classical color fields, which occur in the earliest stages of heavy-ion collisions and are known as the Glasma, on the classical transport of hard probes, namely heavy quarks and jets. To achieve this, we simulate SU(3) color fields using classical real-time lattice gauge theory and couple them to an ensemble of test particles whose dynamics are described by Wong's equations. We provide an overview of how classical color algebras are constructed and introduce a method to generate random classical SU(3) color charges. We extensively test our numerical particle solver in the limits of infinitely massive heavy quarks and ultra-relativistic light-like jets and obtain excellent quantitative agreement with previous studies. Going towards realistic masses and initial moment, we extract longitudinal and transverse momentum broadening for heavy quarks and jets. The resulting accumulated momenta and the anisotropy of these dynamical hard probes exhibit deviations from limiting scenarios, showing that the full dynamics have a significant effect. △ Less

Submitted 16 July, 2023; v1 submitted 9 March, 2023; originally announced March 2023.

Comments: 30 pages, 15 figures; v2 added references, fixed typos v3 published in PRD

Journal ref: Phys. Rev. D 107 (2023), 114021

Studying the 3+1D structure of the Glasma using the weak field approximation

Authors: Andreas Ipp, Markus Leuthner, David I. Müller, Soeren Schlichting, Pragya Singh

Abstract: We extend the weak field approximation for the Glasma beyond the boost-invariant approximation, which allows us to compute rapidity-dependent observables in the early stages of heavy-ion collisions. We show that in the limit of small fields, the weak field approximation agrees quantitatively with non-perturbative lattice simulations. Furthermore, we demonstrate that the rapidity profile of the tra… ▽ More We extend the weak field approximation for the Glasma beyond the boost-invariant approximation, which allows us to compute rapidity-dependent observables in the early stages of heavy-ion collisions. We show that in the limit of small fields, the weak field approximation agrees quantitatively with non-perturbative lattice simulations. Furthermore, we demonstrate that the rapidity profile of the transverse pressure is determined by longitudinal color correlations within the colliding nuclei. △ Less

Submitted 19 December, 2022; originally announced December 2022.

Comments: 8 pages, 4 figures, parallel talk given at the XVth Quark Confinement and the Hadron Spectrum conference

Stabilizing complex Langevin for real-time gauge theories with an anisotropic kernel

Authors: Kirill Boguslavski, Paul Hotzy, David I. Müller

Abstract: The complex Langevin (CL) method is a promising approach to overcome the sign problem that occurs in real-time formulations of quantum field theories. Using the Schwinger-Keldysh formalism, we study SU($N_c$) gauge theories with CL. We observe that current stabilization techniques are insufficient to obtain correct results. Therefore, we revise the discretization of the CL equations on complex tim… ▽ More The complex Langevin (CL) method is a promising approach to overcome the sign problem that occurs in real-time formulations of quantum field theories. Using the Schwinger-Keldysh formalism, we study SU($N_c$) gauge theories with CL. We observe that current stabilization techniques are insufficient to obtain correct results. Therefore, we revise the discretization of the CL equations on complex time contours, find a time reflection symmetric formulation and introduce a novel anisotropic kernel that enables CL simulations on discretized complex time paths. Applying it to SU(2) Yang-Mills theory in 3+1 dimensions, we obtain unprecedentedly stable results that we validate using additional observables and that can be systematically improved. For the first time, we are able to simulate non-Abelian gauge theory on time contours whose real-time extent exceeds its inverse temperature. Thus, our approach may pave the way towards an ab-initio real-time framework of QCD in and out of equilibrium with a potentially large impact on the phenomenology of heavy-ion collisions. △ Less

Submitted 12 June, 2023; v1 submitted 16 December, 2022; originally announced December 2022.

Comments: 28 pages + references and appendices, 7 figures, 1 table; v2: revised, data and plot files attached, published version

Applications of Lattice Gauge Equivariant Neural Networks

Authors: Matteo Favoni, Andreas Ipp, David I. Müller

Abstract: The introduction of relevant physical information into neural network architectures has become a widely used and successful strategy for improving their performance. In lattice gauge theories, such information can be identified with gauge symmetries, which are incorporated into the network layers of our recently proposed Lattice Gauge Equivariant Convolutional Neural Networks (L-CNNs). L-CNNs can… ▽ More The introduction of relevant physical information into neural network architectures has become a widely used and successful strategy for improving their performance. In lattice gauge theories, such information can be identified with gauge symmetries, which are incorporated into the network layers of our recently proposed Lattice Gauge Equivariant Convolutional Neural Networks (L-CNNs). L-CNNs can generalize better to differently sized lattices than traditional neural networks and are by construction equivariant under lattice gauge transformations. In these proceedings, we present our progress on possible applications of L-CNNs to Wilson flow or continuous normalizing flow. Our methods are based on neural ordinary differential equations which allow us to modify link configurations in a gauge equivariant manner. For simplicity, we focus on simple toy models to test these ideas in practice. △ Less

Submitted 1 December, 2022; originally announced December 2022.

Comments: 8 pages, 4 figures, proceedings of XVth Quark Confinement and the Hadron Spectrum conference

A stabilizing kernel for complex Langevin simulations of real-time gauge theories

Authors: Kirill Boguslavski, Paul Hotzy, David I. Müller

Abstract: The complex Langevin (CL) method is a promising approach to overcome the sign problem, which emerges in real-time formulations of quantum field theories. Over the past decade, stabilization techniques for CL have been developed with important applications in finite density QCD. However, they are insufficient for SU($N_c$) gauge theories on a Schwinger-Keldysh time contour that is required for a re… ▽ More The complex Langevin (CL) method is a promising approach to overcome the sign problem, which emerges in real-time formulations of quantum field theories. Over the past decade, stabilization techniques for CL have been developed with important applications in finite density QCD. However, they are insufficient for SU($N_c$) gauge theories on a Schwinger-Keldysh time contour that is required for a real-time formulation. In these proceedings we revise the discretization of the real-time CL equations and introduce a novel anisotropic kernel that enables CL simulations on discretized time contours. Applying it to SU(2) Yang-Mills theory in 3+1 dimensions, we obtain unprecedentedly stable results that may allow us to calculate real-time observables from first principles. △ Less

Submitted 14 October, 2022; originally announced October 2022.

Comments: 10 pages, 3 figures; Proceedings of the 39th International Symposium on Lattice Field Theory (LATTICE2022)

The Impact of Personality on Requirements Engineering Activities: A Mixed-Methods Study

Authors: Dulaji Hidellaarachchi, John Grundy, Rashina Hoda, Ingo Mueller

Abstract: Context: Requirements engineering (RE) is an important part of Software Engineering (SE), consisting of various human-centric activities that require the frequent collaboration of a variety of roles. Prior research has shown that personality is one such human aspect that has a huge impact on the success of a software project. However, a limited number of empirical studies exist focusing on the imp… ▽ More Context: Requirements engineering (RE) is an important part of Software Engineering (SE), consisting of various human-centric activities that require the frequent collaboration of a variety of roles. Prior research has shown that personality is one such human aspect that has a huge impact on the success of a software project. However, a limited number of empirical studies exist focusing on the impact of personality on RE activities. Objective: The objective of this study is to explore and identify the impact of personality on RE activities, provide a better understanding of these impacts, and provide guidance on how to better handle these impacts in RE. Method: We used a mixed-methods approach, including a personality test-based survey (50 participants) and an in-depth interview study (15 participants) with software practitioners from around the world involved in RE activities. Results: Through personality test analysis, we found a majority of the practitioners have a high score on agreeableness and conscientiousness traits and an average score on extraversion and neuroticism traits. Through analysis of the interviews, we found a range of impacts related to the personality traits of software practitioners, their team members, and external stakeholders. These impacts can be positive or negative, depending on the RE activities, the overall software development process, and the people involved in these activities. Moreover, we found a set of strategies that can be applied to mitigate the negative impact of personality on RE activities. Conclusion: Our identified impacts of personality on RE activities and mitigation strategies serve to provide guidance to software practitioners on handling such possible personality impacts on RE activities and for researchers to investigate these impacts in greater depth in future. △ Less

Submitted 20 November, 2023; v1 submitted 12 October, 2022; originally announced October 2022.

Comments: Accepted to Empirical Software Engineering Journal

Diverse End User Requirements

Authors: John Grundy, Tanjila Kanij, Jennifer McIntosh, Hourieh Khalajzadeh, Ingo Mueller

Abstract: As part of our larger research effort to improve support for diverse end user human-centric aspects during software development, we wanted to better understand how developers currently go about addressing these challenging human-centric aspects of their end users in contemporary software development projects. We wanted to find out which are the key end user human-centric aspects that software deve… ▽ More As part of our larger research effort to improve support for diverse end user human-centric aspects during software development, we wanted to better understand how developers currently go about addressing these challenging human-centric aspects of their end users in contemporary software development projects. We wanted to find out which are the key end user human-centric aspects that software developers currently find challenging to address, and how they currently go about trying to address diverse end user human-centric aspects. We wanted to find out what sorts of end user human-centric aspects they tend to encounter, which ones they view as more important and which more challenging to address, what techniques (if any) they currently use to address (some of) them, and where they perceive further research in this area could be done to provide them practical support. To this end we carried out a detailed online survey of developers and development team managers, receiving 60 usable responses. We interviewed 12 developers and managers from a range of different practice domains, role specialisations and experience levels to explore further details about issues. △ Less

Submitted 5 October, 2022; originally announced October 2022.

Comments: ED&I Book chapter submission

Resource Allocation in Serverless Query Processing

Authors: Simon Kassing, Ingo Müller, Gustavo Alonso

Abstract: Data lakes hold a growing amount of cold data that is infrequently accessed, yet require interactive response times. Serverless functions are seen as a way to address this use case since they offer an appealing alternative to maintaining (and paying for) a fixed infrastructure. Recent research has analyzed the potential of serverless for data processing. In this paper, we expand on such work by lo… ▽ More Data lakes hold a growing amount of cold data that is infrequently accessed, yet require interactive response times. Serverless functions are seen as a way to address this use case since they offer an appealing alternative to maintaining (and paying for) a fixed infrastructure. Recent research has analyzed the potential of serverless for data processing. In this paper, we expand on such work by looking into the question of serverless resource allocation to data processing tasks (number and size of the functions). We formulate a general model to roughly estimate completion time and financial cost, which we apply to augment an existing serverless data processing system with an advisory tool that automatically identifies configurations striking a good balance -- which we define as being close to the "knee" of their Pareto frontier. The model takes into account key aspects of serverless: start-up, computation, network transfers, and overhead as a function of the input sizes and intermediate result exchanges. Using (micro)benchmarks and parts of TPC-H, we show that this advisor is capable of pinpointing configurations desirable to the user. Moreover, we identify and discuss several aspects of data processing on serverless affecting efficiency. By using an automated tool to configure the resources, the barrier to using serverless for data processing is lowered and the narrow window where it is cost effective can be expanded by using a more optimal allocation instead of having to over-provision the design. △ Less

Submitted 19 August, 2022; originally announced August 2022.

Momentum broadening of heavy quarks and jets in the Glasma from classical colored particle simulations

Authors: Dana Avramescu, Virgil Băran, Vincenzo Greco, Andreas Ipp, David. I. Müller, Marco Ruggieri

Abstract: We investigate the effects of the pre-equilibrium Glasma stage of heavy-ion collisions on the broadening of momentum for heavy quarks and jets using classical colored particle simulations based on Wong's equations. Confirming previous studies, we find that these probes accumulate momentum on the order of the saturation scale $Q_s$ and that the color field of the Glasma induces an anisotropy with m… ▽ More We investigate the effects of the pre-equilibrium Glasma stage of heavy-ion collisions on the broadening of momentum for heavy quarks and jets using classical colored particle simulations based on Wong's equations. Confirming previous studies, we find that these probes accumulate momentum on the order of the saturation scale $Q_s$ and that the color field of the Glasma induces an anisotropy with more broadening along the beam axis. For quark jets the anisotropy is more pronounced at lower energies. △ Less

Submitted 9 August, 2022; originally announced August 2022.

Comments: 4 pages, 1 figure, proceedings for the 29th International Conference on Ultra-relativistic Nucleus-Nucleus Collisions (Quark Matter 2022)

Journal ref: Acta Phys. Pol. B Proc. Suppl. 16, 1-A157 (2023)

Short-lived Datacenter

Authors: Michael Wawrzoniak, Ingo Müller, Rodrigo Bruno, Ana Klimovic, Gustavo Alonso

Abstract: Serverless platforms have attracted attention due to their promise of elasticity, low cost, and fast deployment. Instead of using a fixed virtual machine (VM) infrastructure, which can incur considerable costs to operate and run, serverless platforms support short computations, triggered on demand, with cost proportional to fine-grain function execution time. However, serverless platforms offer a… ▽ More Serverless platforms have attracted attention due to their promise of elasticity, low cost, and fast deployment. Instead of using a fixed virtual machine (VM) infrastructure, which can incur considerable costs to operate and run, serverless platforms support short computations, triggered on demand, with cost proportional to fine-grain function execution time. However, serverless platforms offer a restricted execution environment. For example, functions have limited execution times, limited resources, and no support for networking between functions. In this paper, we explore what it takes to treat serverless platforms as short-lived, general purpose data-centers which can execute unmodified existing applications. As a first step in this quest, we have developed Boxer, a system providing an execution environment on top of existing functions-as-a-service platforms that allows users to seamlessly migrate conventional VM-based cloud services to serverless platforms. Boxer allows generic applications to benefit from the fine-grain elasticity of serverless platforms without having to modify applications to adopt a restrictive event-triggered programming model or orchestrate auxiliary systems for data communication. We implement Boxer on top of AWS Lambda and extend it to transparently provide standard network interfaces. We describe its implementation and demonstrate how it can be used to run off-the-shelf cloud applications with a degree of fine-grained elasticity not available on traditional VM-based platforms. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Equivariance and generalization in neural networks

Authors: Srinath Bulusu, Matteo Favoni, Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: The crucial role played by the underlying symmetries of high energy physics and lattice field theories calls for the implementation of such symmetries in the neural network architectures that are applied to the physical system under consideration. In these proceedings, we focus on the consequences of incorporating translational equivariance among the network properties, particularly in terms of pe… ▽ More The crucial role played by the underlying symmetries of high energy physics and lattice field theories calls for the implementation of such symmetries in the neural network architectures that are applied to the physical system under consideration. In these proceedings, we focus on the consequences of incorporating translational equivariance among the network properties, particularly in terms of performance and generalization. The benefits of equivariant networks are exemplified by studying a complex scalar field theory, on which various regression and classification tasks are examined. For a meaningful comparison, promising equivariant and non-equivariant architectures are identified by means of a systematic search. The results indicate that in most of the tasks our best equivariant architectures can perform and generalize significantly better than their non-equivariant counterparts, which applies not only to physical parameters beyond those represented in the training set, but also to different lattice sizes. △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: 8 pages, 7 figures, proceedings for the 14th Quark Confinement and the Hadron Spectrum Conference (vConf2021)

Generalization capabilities of neural networks in lattice applications

Authors: Srinath Bulusu, Matteo Favoni, Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: In recent years, the use of machine learning has become increasingly popular in the context of lattice field theories. An essential element of such theories is represented by symmetries, whose inclusion in the neural network properties can lead to high reward in terms of performance and generalizability. A fundamental symmetry that usually characterizes physical systems on a lattice with periodic… ▽ More In recent years, the use of machine learning has become increasingly popular in the context of lattice field theories. An essential element of such theories is represented by symmetries, whose inclusion in the neural network properties can lead to high reward in terms of performance and generalizability. A fundamental symmetry that usually characterizes physical systems on a lattice with periodic boundary conditions is equivariance under spacetime translations. Here we investigate the advantages of adopting translationally equivariant neural networks in favor of non-equivariant ones. The system we consider is a complex scalar field with quartic interaction on a two-dimensional lattice in the flux representation, on which the networks carry out various regression and classification tasks. Promising equivariant and non-equivariant architectures are identified with a systematic search. We demonstrate that in most of these tasks our best equivariant architectures can perform and generalize significantly better than their non-equivariant counterparts, which applies not only to physical parameters beyond those represented in the training set, but also to different lattice sizes. △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: 10 pages, 7 figures, proceedings for the 38th International Symposium on Lattice Field Theory (LATTICE21)

Preserving gauge invariance in neural networks

Authors: Matteo Favoni, Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: In these proceedings we present lattice gauge equivariant convolutional neural networks (L-CNNs) which are able to process data from lattice gauge theory simulations while exactly preserving gauge symmetry. We review aspects of the architecture and show how L-CNNs can represent a large class of gauge invariant and equivariant functions on the lattice. We compare the performance of L-CNNs and non-e… ▽ More In these proceedings we present lattice gauge equivariant convolutional neural networks (L-CNNs) which are able to process data from lattice gauge theory simulations while exactly preserving gauge symmetry. We review aspects of the architecture and show how L-CNNs can represent a large class of gauge invariant and equivariant functions on the lattice. We compare the performance of L-CNNs and non-equivariant networks using a non-linear regression problem and demonstrate how gauge invariance is broken for non-equivariant models. △ Less

Submitted 21 December, 2021; originally announced December 2021.

Comments: 8 pages, 3 figures, proceedings for vConf 2021

On transverse momentum broadening in real-time lattice simulations of the glasma and in the weak-field limit

Authors: Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: In these proceedings, we report on our numerical lattice simulations of partons traversing the boost-invariant, non-perturbative glasma as created at the early stages of collisions at RHIC and LHC. Since these highly energetic partons are produced from hard scatterings during heavy-ion collisions, they are already affected by the first stage of the medium's time evolution, the glasma, which is the… ▽ More In these proceedings, we report on our numerical lattice simulations of partons traversing the boost-invariant, non-perturbative glasma as created at the early stages of collisions at RHIC and LHC. Since these highly energetic partons are produced from hard scatterings during heavy-ion collisions, they are already affected by the first stage of the medium's time evolution, the glasma, which is the pre-equilibrium precursor state of the quark-gluon plasma. We find that partons quickly accumulate transverse momentum up to the saturation momentum during the glasma stage. Moreover, we observe an interesting anisotropy in transverse momentum broadening of partons with larger broadening in the rapidity than in the azimuthal direction. Its origin can be related to correlations among the longitudinal color-electric and color-magnetic flux tubes in the initial state of the glasma. We compare these observations to the semi-analytic results obtained by a weak-field approximation, where we also find such an anisotropy in a parton's transverse momentum broadening. △ Less

Submitted 7 December, 2021; originally announced December 2021.

Comments: 8 pages, 3 figures, submitted to vConf2021 conference proceedings

Lattice gauge symmetry in neural networks

Authors: Matteo Favoni, Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: We review a novel neural network architecture called lattice gauge equivariant convolutional neural networks (L-CNNs), which can be applied to generic machine learning problems in lattice gauge theory while exactly preserving gauge symmetry. We discuss the concept of gauge equivariance which we use to explicitly construct a gauge equivariant convolutional layer and a bilinear layer. The performanc… ▽ More We review a novel neural network architecture called lattice gauge equivariant convolutional neural networks (L-CNNs), which can be applied to generic machine learning problems in lattice gauge theory while exactly preserving gauge symmetry. We discuss the concept of gauge equivariance which we use to explicitly construct a gauge equivariant convolutional layer and a bilinear layer. The performance of L-CNNs and non-equivariant CNNs is compared using seemingly simple non-linear regression tasks, where L-CNNs demonstrate generalizability and achieve a high degree of accuracy in their predictions compared to their non-equivariant counterparts. △ Less

Submitted 8 November, 2021; originally announced November 2021.

Comments: 10 pages, 3 figures, proceedings for the 38th International Symposium on Lattice Field Theory (LATTICE21)

Transverse momentum broadening in real-time lattice simulations of the glasma

Authors: Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: The study of jets in heavy-ion collisions provides important information about the interaction of partons with the medium that they traverse. The seeds of jets are highly energetic partons, which are produced from hard scatterings during the collision event. As such, they are affected by all different stages of the medium's time evolution, including the glasma, which is the pre-equilibrium precurs… ▽ More The study of jets in heavy-ion collisions provides important information about the interaction of partons with the medium that they traverse. The seeds of jets are highly energetic partons, which are produced from hard scatterings during the collision event. As such, they are affected by all different stages of the medium's time evolution, including the glasma, which is the pre-equilibrium precursor state of the quark-gluon plasma. Here we report on our numerical lattice simulations of partons traversing the boost-invariant, non-perturbative glasma as created at the early stages of collisions at RHIC and LHC. We find that partons quickly accumulate transverse momentum up to the saturation momentum during the glasma stage. Furthermore, we observe an interesting anisotropy in transverse momentum broadening of partons with larger broadening in the rapidity than in the azimuthal direction. Its origin can be related to correlations among the longitudinal color-electric and color-magnetic flux tubes in the initial state of the glasma. We compare these observations to the semi-analytic results obtained by a weak-field approximation, where we also find such an anisotropy in a parton's transverse momentum broadening. △ Less

Submitted 5 November, 2021; originally announced November 2021.

Comments: 11 pages, 4 figures, submitted to LATTICE21 conference proceedings

The Influence of Human Aspects on Requirements Engineering-related Activities: Software Practitioners Perspective

Authors: Dulaji Hidellaarachchi, John Grundy, Rashina Hoda, Ingo Mueller

Abstract: Requirements Engineering (RE)-related activities require high collaboration between various roles in software engineering (SE), such as requirements engineers, stakeholders, developers, etc. Their demographics, views, understanding of technologies, working styles, communication and collaboration capabilities make RE highly human dependent. Identifying how "human aspects" such as motivation, domain… ▽ More Requirements Engineering (RE)-related activities require high collaboration between various roles in software engineering (SE), such as requirements engineers, stakeholders, developers, etc. Their demographics, views, understanding of technologies, working styles, communication and collaboration capabilities make RE highly human dependent. Identifying how "human aspects" such as motivation, domain knowledge, communication skills, personality, emotions, culture, etc. might impact RE-related activities would help us improve the RE and SE in general. This study aims to better understand current industry perspectives on the influence of human aspects on RE-related activities, specifically focusing on motivation and personality by targeting software practitioners involved in RE-related activities. Our findings indicate that software practitioners consider motivation, domain knowledge, attitude, communication skills and personality as highly important human aspects when involved in RE-related activities. A set of factors were identified as software practitioners motivational factors when involved in RE-related activities and identified important personality characteristics to have when involved in RE. We also identified factors that made individuals less effective when involved in RE-related activities and obtained an initial idea on measuring individuals performance when involved in RE. The findings from our study suggest various areas needing more investigation, and we summarise a set of key recommendations for further research. △ Less

Submitted 6 June, 2022; v1 submitted 16 September, 2021; originally announced September 2021.

Comments: Accepted in ACM Transactions on Software Engineering and Methodology, 37 pages, 8 figures, 7 tables

Space-time structure of 3+1D color fields in high energy nuclear collisions

Authors: Andreas Ipp, David I. Müller, Soeren Schlichting, Pragya Singh

Abstract: We perform an analytic calculation of the color fields in heavy-ion collisions by considering the collision of longitudinally extended nuclei in the dilute limit of the Color Glass Condensate effective field theory of high-energy QCD. Based on general analytic expressions for the color fields in the future light cone, we evaluate the rapidity profile of the transverse pressure within a simple spec… ▽ More We perform an analytic calculation of the color fields in heavy-ion collisions by considering the collision of longitudinally extended nuclei in the dilute limit of the Color Glass Condensate effective field theory of high-energy QCD. Based on general analytic expressions for the color fields in the future light cone, we evaluate the rapidity profile of the transverse pressure within a simple specific model of the nuclear collision geometry and compare our results to 3+1D classical Yang-Mills simulations. △ Less

Submitted 26 July, 2022; v1 submitted 10 September, 2021; originally announced September 2021.

Comments: 27 pages, 3 figures; v2 & v3: fixed typos

Asymptotically Optimal Bandits under Weighted Information

Authors: Matias I. Müller, Cristian R. Rojas

Abstract: We study the problem of regret minimization in a multi-armed bandit setup where the agent is allowed to play multiple arms at each round by spreading the resources usually allocated to only one arm. At each iteration the agent selects a normalized power profile and receives a Gaussian vector as outcome, where the unknown variance of each sample is inversely proportional to the power allocated to t… ▽ More We study the problem of regret minimization in a multi-armed bandit setup where the agent is allowed to play multiple arms at each round by spreading the resources usually allocated to only one arm. At each iteration the agent selects a normalized power profile and receives a Gaussian vector as outcome, where the unknown variance of each sample is inversely proportional to the power allocated to that arm. The reward corresponds to a linear combination of the power profile and the outcomes, resembling a linear bandit. By spreading the power, the agent can choose to collect information much faster than in a traditional multi-armed bandit at the price of reducing the accuracy of the samples. This setup is fundamentally different from that of a linear bandit -- the regret is known to scale as $Θ(\sqrt{T})$ for linear bandits, while in this setup the agent receives a much more detailed feedback, for which we derive a tight $\log(T)$ problem-dependent lower-bound. We propose a Thompson-Sampling-based strategy, called Weighted Thompson Sampling (\WTS), that designs the power profile as its posterior belief of each arm being the best arm, and show that its upper bound matches the derived logarithmic lower bound. Finally, we apply this strategy to a problem of control and system identification, where the goal is to estimate the maximum gain (also called $\mathcal{H}_\infty$-norm) of a linear dynamical system based on batches of input-output samples. △ Less

Submitted 28 May, 2021; originally announced May 2021.

Comments: 9 content pages, 3 references pages, 22 appendix pages, 4 figures, 34 total pages

Evaluating Query Languages and Systems for High-Energy Physics Data [Extended Version]

Authors: Dan Graur, Ingo Müller, Mason Proffitt, Ghislain Fourny, Gordon T. Watts, Gustavo Alonso

Abstract: In the domain of high-energy physics (HEP), query languages in general and SQL in particular have found limited acceptance. This is surprising since HEP data analysis matches the SQL model well: the data is fully structured and queried using mostly standard operators. To gain insights on why this is the case, we perform a comprehensive analysis of six diverse, general-purpose data processing platf… ▽ More In the domain of high-energy physics (HEP), query languages in general and SQL in particular have found limited acceptance. This is surprising since HEP data analysis matches the SQL model well: the data is fully structured and queried using mostly standard operators. To gain insights on why this is the case, we perform a comprehensive analysis of six diverse, general-purpose data processing platforms using an HEP benchmark. The result of the evaluation is an interesting and rather complex picture of existing solutions: Their query languages vary greatly in how natural and concise HEP query patterns can be expressed. Furthermore, most of them are also between one and two orders of magnitude slower than the domain-specific system used by particle physicists today. These observations suggest that, while database systems and their query languages are in principle viable tools for HEP, significant work remains to make them relevant to HEP researchers. △ Less

Submitted 30 October, 2021; v1 submitted 26 April, 2021; originally announced April 2021.

Comments: This is the extended version of a full paper to appear in PVLDB 15.2 (VLDB 2022)

Generalization capabilities of translationally equivariant neural networks

Authors: Srinath Bulusu, Matteo Favoni, Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: The rising adoption of machine learning in high energy physics and lattice field theory necessitates the re-evaluation of common methods that are widely used in computer vision, which, when applied to problems in physics, can lead to significant drawbacks in terms of performance and generalizability. One particular example for this is the use of neural network architectures that do not reflect the… ▽ More The rising adoption of machine learning in high energy physics and lattice field theory necessitates the re-evaluation of common methods that are widely used in computer vision, which, when applied to problems in physics, can lead to significant drawbacks in terms of performance and generalizability. One particular example for this is the use of neural network architectures that do not reflect the underlying symmetries of the given physical problem. In this work, we focus on complex scalar field theory on a two-dimensional lattice and investigate the benefits of using group equivariant convolutional neural network architectures based on the translation group. For a meaningful comparison, we conduct a systematic search for equivariant and non-equivariant neural network architectures and apply them to various regression and classification tasks. We demonstrate that in most of these tasks our best equivariant architectures can perform and generalize significantly better than their non-equivariant counterparts, which applies not only to physical parameters beyond those represented in the training set, but also to different lattice sizes. △ Less

Submitted 11 October, 2021; v1 submitted 26 March, 2021; originally announced March 2021.

Comments: 28 pages, 20 figures, v3: equivalent to the version published in PRD

Journal ref: Phys. Rev. D 104, 074504 (2021)

Lattice gauge equivariant convolutional neural networks

Authors: Matteo Favoni, Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: We propose Lattice gauge equivariant Convolutional Neural Networks (L-CNNs) for generic machine learning applications on lattice gauge theoretical problems. At the heart of this network structure is a novel convolutional layer that preserves gauge equivariance while forming arbitrarily shaped Wilson loops in successive bilinear layers. Together with topological information, for example from Polyak… ▽ More We propose Lattice gauge equivariant Convolutional Neural Networks (L-CNNs) for generic machine learning applications on lattice gauge theoretical problems. At the heart of this network structure is a novel convolutional layer that preserves gauge equivariance while forming arbitrarily shaped Wilson loops in successive bilinear layers. Together with topological information, for example from Polyakov loops, such a network can in principle approximate any gauge covariant function on the lattice. We demonstrate that L-CNNs can learn and generalize gauge invariant quantities that traditional convolutional neural networks are incapable of finding. △ Less

Submitted 22 November, 2021; v1 submitted 23 December, 2020; originally announced December 2020.

Comments: letter: 6 pages, 5 figures; supplementary material: 14 pages, 4 figures; replaced some figures, added supplementary material

Journal ref: Phys.Rev.Lett. 128 (2022) 3, 032003

Jet momentum broadening in the pre-equilibrium Glasma

Authors: Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: Jets are important probes of heavy ion collisions as they can provide information on the interaction of a highly energetic parton with the medium it traverses. In the hydrodynamic stage of dense, strongly interacting matter, these interactions can be explained in terms of scattering processes, soft gluon emission and collinear parton splittings. However, jets originate even before the hydrodynamic… ▽ More Jets are important probes of heavy ion collisions as they can provide information on the interaction of a highly energetic parton with the medium it traverses. In the hydrodynamic stage of dense, strongly interacting matter, these interactions can be explained in terms of scattering processes, soft gluon emission and collinear parton splittings. However, jets originate even before the hydrodynamic stage. Here we report on the first numerical simulation of transverse momentum broadening of jets stemming from the interaction of partons with boost-invariantly expanding Glasma flux tubes. The Glasma stage is a pre-hydrodynamic stage based on the Color Glass Condensate framework. Our calculation shows strong time-dependence and an intrinsic anisotropy of momentum broadening in the directions transverse to the jet propagation direction. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Comments: 6 pages, 4 figures, published in PLB

Progress on 3+1D Glasma simulations

Authors: Andreas Ipp, David I. Müller

Abstract: We review our progress on 3+1D Glasma simulations to describe the earliest stages of heavy-ion collisions. In our simulations we include nuclei with finite longitudinal extent and describe the collision process as well as the evolution of the strongly interacting gluonic fields in the laboratory frame in 3+1 dimensions using the colored particle-in-cell method. This allows us to compute the 3+1 di… ▽ More We review our progress on 3+1D Glasma simulations to describe the earliest stages of heavy-ion collisions. In our simulations we include nuclei with finite longitudinal extent and describe the collision process as well as the evolution of the strongly interacting gluonic fields in the laboratory frame in 3+1 dimensions using the colored particle-in-cell method. This allows us to compute the 3+1 dimensional Glasma energy-momentum tensor, whose rapidity dependence can be compared to experimental pion multiplicity data from RHIC. An improved scheme cures the numerical Cherenkov instability and paves the way for simulations at higher energies used at LHC. △ Less

Submitted 4 September, 2020; originally announced September 2020.

Comments: 9 pages, 5 figures, invited contribution to EPJA topical issue "Theory of Hot Matter and Relativistic Heavy-Ion Collisions (THOR)"

Journal ref: Eur. Phys. J. A 56, 243 (2020)

Modularis: Modular Relational Analytics over Heterogeneous Distributed Platforms

Authors: Dimitrios Koutsoukos, Ingo Müller, Renato Marroquín, Ana Klimovic, Gustavo Alonso

Abstract: The enormous quantity of data produced every day together with advances in data analytics has led to a proliferation of data management and analysis systems. Typically, these systems are built around highly specialized monolithic operators optimized for the underlying hardware. While effective in the short term, such an approach makes the operators cumbersome to port and adapt, which is increasing… ▽ More The enormous quantity of data produced every day together with advances in data analytics has led to a proliferation of data management and analysis systems. Typically, these systems are built around highly specialized monolithic operators optimized for the underlying hardware. While effective in the short term, such an approach makes the operators cumbersome to port and adapt, which is increasingly required due to the speed at which algorithms and hardware evolve. To address this limitation, we present Modularis, an execution layer for data analytics based on sub-operators, i.e.,composable building blocks resembling traditional database operators but at a finer granularity. To demonstrate the advantages of our approach, we use Modularis to build a distributed query processing system supporting relational queries running on an RDMA cluster, a serverless cloud platform, and a smart storage engine. Modularis requires minimal code changes to execute queries across these three diverse hardware platforms, showing that the sub-operator approach reduces the amount and complexity of the code. In fact, changes in the platform affect only sub-operators that depend on the underlying hardware. We show the end-to-end performance of Modularis by comparing it with a framework for SQL processing (Presto), a commercial cluster database (SingleStore), as well as Query-as-a-Service systems (Athena, BigQuery). Modularis outperforms all these systems, proving that the design and architectural advantages of a modular design can be achieved without degrading performance. We also compare Modularis with a hand-optimized implementation of a join for RDMA clusters. We show that Modularis has the advantage of being easily extensible to a wider range of join variants and group by queries, all of which are not supported in the hand-tuned join. △ Less

Submitted 29 September, 2021; v1 submitted 7 April, 2020; originally announced April 2020.

Comments: Accepted at PVLDB vol. 14

The Collection Virtual Machine: An Abstraction for Multi-Frontend Multi-Backend Data Analysis

Authors: Ingo Müller, Renato Marroquín, Dimitrios Koutsoukos, Mike Wawrzoniak, Sabir Akhadov, Gustavo Alonso

Abstract: Getting the best performance from the ever-increasing number of hardware platforms has been a recurring challenge for data processing systems. In recent years, the advent of data science with its increasingly numerous and complex types of analytics has made this challenge even more difficult. In practice, system designers are overwhelmed by the number of combinations and typically implement only o… ▽ More Getting the best performance from the ever-increasing number of hardware platforms has been a recurring challenge for data processing systems. In recent years, the advent of data science with its increasingly numerous and complex types of analytics has made this challenge even more difficult. In practice, system designers are overwhelmed by the number of combinations and typically implement only one analysis/platform combination, leading to repeated implementation effort -- and a plethora of semi-compatible tools for data scientists. In this paper, we propose the "Collection Virtual Machine" (or CVM) -- an extensible compiler framework designed to keep the specialization process of data analytics systems tractable. It can capture at the same time the essence of a large span of low-level, hardware-specific implementation techniques as well as high-level operations of different types of analyses. At its core lies a language for defining nested, collection-oriented intermediate representations (IRs). Frontends produce programs in their IR flavors defined in that language, which get optimized through a series of rewritings (possibly changing the IR flavor multiple times) until the program is finally expressed in an IR of platform-specific operators. While reducing the overall implementation effort, this also improves the interoperability of both analyses and hardware platforms. We have used CVM successfully to build specialized backends for platforms as diverse as multi-core CPUs, RDMA clusters, and serverless computing infrastructure in the cloud and expect similar results for many more frontends and hardware platforms in the near future. △ Less

Submitted 8 April, 2020; v1 submitted 4 April, 2020; originally announced April 2020.

Comments: This paper is currently under review at DaMoN'20

Anisotropic momentum broadening in the 2+1D Glasma: analytic weak field approximation and lattice simulations

Authors: Andreas Ipp, David I. Müller, Daniel Schuh

Abstract: In heavy ion collisions, transverse momentum broadening quantifies the modification of a hard probe due to interactions with the quark-gluon plasma (QGP). We calculate momentum broadening in the Glasma, which is the highly non-isotropic precursor stage of the QGP right after the collision. We show that the Glasma leads to anisotropic momentum broadening: high energy partons accumulate more momentu… ▽ More In heavy ion collisions, transverse momentum broadening quantifies the modification of a hard probe due to interactions with the quark-gluon plasma (QGP). We calculate momentum broadening in the Glasma, which is the highly non-isotropic precursor stage of the QGP right after the collision. We show that the Glasma leads to anisotropic momentum broadening: high energy partons accumulate more momentum along the beam axis than transverse to it. The physical origin of anisotropic broadening can be traced back to differences in the shapes of chromo-electric and chromo-magnetic flux tubes in the Glasma. We provide semi-analytic results for momentum broadening in the dilute Glasma and numerical results from real-time lattice simulations of the non-perturbative dense Glasma. △ Less

Submitted 11 September, 2020; v1 submitted 27 January, 2020; originally announced January 2020.

Comments: 25 pages, 8 figures; v2: accepted in PRD, new figure 5, fixed typos

Journal ref: Phys. Rev. D 102, 074001 (2020)

Lambada: Interactive Data Analytics on Cold Data using Serverless Cloud Infrastructure

Authors: Ingo Müller, Renato Marroquín, Gustavo Alonso

Abstract: The promise of ultimate elasticity and operational simplicity of serverless computing has recently lead to an explosion of research in this area. In the context of data analytics, the concept sounds appealing, but due to the limitations of current offerings, there is no consensus yet on whether or not this approach is technically and economically viable. In this paper, we identify interactive data… ▽ More The promise of ultimate elasticity and operational simplicity of serverless computing has recently lead to an explosion of research in this area. In the context of data analytics, the concept sounds appealing, but due to the limitations of current offerings, there is no consensus yet on whether or not this approach is technically and economically viable. In this paper, we identify interactive data analytics on cold data as a use case where serverless computing excels. We design and implement Lambada, a system following a purely serverless architecture, in order to illustrate when and how serverless computing should be employed for data analytics. We propose several system components that overcome the previously known limitations inherent in the serverless paradigm as well as additional ones we identify in this work. We can show that, thanks to careful design, a serverless query processing system can be at the same time one order of magnitude faster and two orders of magnitude cheaper compared to commercial Query-as-a-Service systems, the only alternative with similar operational simplicity. △ Less

Submitted 2 December, 2019; originally announced December 2019.

Report number: https://doi.org/10.3929/ethz-b-000413183

Rumble: Data Independence for Large Messy Data Sets

Authors: Ingo Müller, Ghislain Fourny, Stefan Irimescu, Can Berker Cikis, Gustavo Alonso

Abstract: This paper introduces Rumble, a query execution engine for large, heterogeneous, and nested collections of JSON objects built on top of Apache Spark. While data sets of this type are more and more wide-spread, most existing tools are built around a tabular data model, creating an impedance mismatch for both the engine and the query interface. In contrast, Rumble uses JSONiq, a standardized languag… ▽ More This paper introduces Rumble, a query execution engine for large, heterogeneous, and nested collections of JSON objects built on top of Apache Spark. While data sets of this type are more and more wide-spread, most existing tools are built around a tabular data model, creating an impedance mismatch for both the engine and the query interface. In contrast, Rumble uses JSONiq, a standardized language specifically designed for querying JSON documents. The key challenge in the design and implementation of Rumble is map** the recursive structure of JSON documents and JSONiq queries onto Spark's execution primitives based on tabular data frames. Our solution is to translate a JSONiq expression into a tree of iterators that dynamically switch between local and distributed execution modes depending on the nesting level. By overcoming the impedance mismatch in the engine, Rumble frees the user from solving the same problem for every single query, thus increasing their productivity considerably. As we show in extensive experiments, Rumble is able to scale to large and complex data sets in the terabyte range with a similar or better performance than other engines. The results also illustrate that Codd's concept of data independence makes as much sense for heterogeneous, nested data sets as it does on highly structured tables. △ Less

Submitted 19 October, 2020; v1 submitted 25 October, 2019; originally announced October 2019.

Comments: In revision for PVLDB 14, 2020

MSC Class: 68N99 ACM Class: H.2.3; C.2.4

Pay One, Get Hundreds for Free: Reducing Cloud Costs through Shared Query Execution

Authors: Renato Marroquín, Ingo Müller, Darko Makreshanski, Gustavo Alonso

Abstract: Cloud-based data analysis is nowadays common practice because of the lower system management overhead as well as the pay-as-you-go pricing model. The pricing model, however, is not always suitable for query processing as heavy use results in high costs. For example, in query-as-a-service systems, where users are charged per processed byte, collections of queries accessing the same data frequently… ▽ More Cloud-based data analysis is nowadays common practice because of the lower system management overhead as well as the pay-as-you-go pricing model. The pricing model, however, is not always suitable for query processing as heavy use results in high costs. For example, in query-as-a-service systems, where users are charged per processed byte, collections of queries accessing the same data frequently can become expensive. The problem is compounded by the limited options for the user to optimize query execution when using declarative interfaces such as SQL. In this paper, we show how, without modifying existing systems and without the involvement of the cloud provider, it is possible to significantly reduce the overhead, and hence the cost, of query-as-a-service systems. Our approach is based on query rewriting so that multiple concurrent queries are combined into a single query. Our experiments show the aggregated amount of work done by the shared execution is smaller than in a query-at-a-time approach. Since queries are charged per byte processed, the cost of executing a group of queries is often the same as executing a single one of them. As an example, we demonstrate how the shared execution of the TPC-H benchmark is up to 100x and 16x cheaper in Amazon Athena and Google BigQuery than using a query-at-a-time approach while achieving a higher throughput. △ Less

Submitted 1 September, 2018; originally announced September 2018.

Journal ref: Proceedings of the ACM Symposium on Cloud Computing (SoCC) 2018, pages 439-450

Reproducible Floating-Point Aggregation in RDBMSs

Authors: Ingo Müller, Andrea Arteaga, Torsten Hoefler, Gustavo Alonso

Abstract: Industry-grade database systems are expected to produce the same result if the same query is repeatedly run on the same input. However, the numerous sources of non-determinism in modern systems make reproducible results difficult to achieve. This is particularly true if floating-point numbers are involved, where the order of the operations affects the final result. As part of a larger effort to… ▽ More Industry-grade database systems are expected to produce the same result if the same query is repeatedly run on the same input. However, the numerous sources of non-determinism in modern systems make reproducible results difficult to achieve. This is particularly true if floating-point numbers are involved, where the order of the operations affects the final result. As part of a larger effort to extend database engines with data representations more suitable for machine learning and scientific applications, in this paper we explore the problem of making relational GroupBy over floating-point formats bit-reproducible, i.e., ensuring any execution of the operator produces the same result up to every single bit. To that aim, we first propose a numeric data type that can be used as drop-in replacement for other number formats and is---unlike standard floating-point formats---associative. We use this data type to make state-of-the-art GroupBy operators reproducible, but this approach incurs a slowdown between 4x and 12x compared to the same operator using conventional database number formats. We thus explore how to modify existing GroupBy algorithms to make them bit-reproducible and efficient. By using vectorized summation on batches and carefully balancing batch size, cache footprint, and preprocessing costs, we are able to reduce the slowdown due to reproducibility to a factor between 1.9x and 2.4x of aggregation in isolation and to a mere 2.7% of end-to-end query performance even on aggregation-intensive queries in MonetDB. We thereby provide a solid basis for supporting more reproducible operations directly in relational engines. This document is an extended version of an article currently in print for the proceedings of ICDE'18 with the same title and by the same authors. The main additions are more implementation details and experiments. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: This document is the extended version of an article in the Proceedings of the 34th IEEE International Conference on Data Engineering (ICDE) 2018

Journal ref: 34th IEEE International Conference on Data Engineering (ICDE) 2018, Paris, 2018, pp. 1049-1060

Nonequational Stable Groups

Authors: Isabel Müller, Rizos Sklinos

Abstract: We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter result to the first-order theory of any free product of groups of the form $G*\mathbb{F}_ω$. We introduce a combinatorial criterion for verifying whether a formula is not the conjunction of an equation and a co-equation. Using this, we give a proof for the nonequationality of the free group. Furthermore, we generalize the latter result to the first-order theory of any free product of groups of the form $G*\mathbb{F}_ω$. △ Less

Submitted 6 March, 2023; v1 submitted 12 March, 2017; originally announced March 2017.

Comments: 10 pages, version accepted in the Proc. Am. Math. Soc

Long-term sustained malaria control leads to inbreeding and fragmentation of Plasmodium vivax populations

Authors: Andreea Waltmann, Cristian Koepfli, Natacha Tessier, Stephan Karl, Andrew W. Darcy, Lyndes Wini, G. L. Abby Harrison, Celine Barnadas, Charlie Jennison, Harin Karunajeewa, Sarah Boyd, Maxine Whittaker, James Kazura, Melanie Bahlo, Ivo Mueller, Alyssa E. Barry

Abstract: Plasmodium vivax populations are more resistant to malaria control strategies than Plasmodium falciparum, maintaining high genetic diversity and gene flow even at low transmission. To quantify the impact of declining transmission on P. vivax populations, we investigated population genetic structure over time during intensified control efforts and over a wide range of transmission intensities and s… ▽ More Plasmodium vivax populations are more resistant to malaria control strategies than Plasmodium falciparum, maintaining high genetic diversity and gene flow even at low transmission. To quantify the impact of declining transmission on P. vivax populations, we investigated population genetic structure over time during intensified control efforts and over a wide range of transmission intensities and spatial scales in the Southwest Pacific. Analysis of 887 P. vivax microsatellite haplotypes (Papua New Guinea, PNG = 443, Solomon Islands = 420, Vanuatu =24) revealed substantial population structure among countries and modestly declining diversity as transmission decreases over space and time. In the Solomon Islands, which has had sustained control efforts for 20 years, significant population structure was observed on different spatial scales down to the sub-village level. Up to 37% of alleles were partitioned between populations and significant multilocus linkage disequilibrium was observed indicating substantial inbreeding. High levels of haplotype relatedness around households and within a range of 300m are consistent with a focal and clustered infections suggesting that restricted local transmission occurs within the range of vector movement and that subsequent focal inbreeding may be a key factor contributing to the observed population structure. We conclude that unique transmission strategies, including relapse allows P. vivax populations to withstand pressure from control efforts for longer than P. falciparum. However sustained control efforts do eventually impact parasite population structure and with further control pressure, populations may eventually fragment into clustered foci that could be targeted for elimination. △ Less

Submitted 22 June, 2017; v1 submitted 19 December, 2016; originally announced December 2016.

Comments: After peer review this has been extensively rewritten and is also housed on another preprint server

Interpretation of Compositional Regression with Application to Time Budget Analysis

Authors: Ivo Muller, Karel Hron, Eva Fiserova, Jan Smahaj, Panajotis Cakirpaloglu, Jana Vancakova

Abstract: Regression with compositional response or covariates, or even regression between parts of a composition, is frequently employed in social sciences. Among other possible applications, it may help to reveal interesting features in time allocation analysis. As individual activities represent relative contributions to the total amount of time, statistical processing of raw data (frequently represented… ▽ More Regression with compositional response or covariates, or even regression between parts of a composition, is frequently employed in social sciences. Among other possible applications, it may help to reveal interesting features in time allocation analysis. As individual activities represent relative contributions to the total amount of time, statistical processing of raw data (frequently represented directly as proportions or percentages) using standard methods may lead to biased results. Specific geometrical features of time budget variables are captured by the logratio methodology of compositional data, whose aim is to build (preferably orthonormal) coordinates to be applied with popular statistical methods. The aim of this paper is to present recent tools of regression analysis within the logratio methodology and apply them to reveal potential relationships among psychometric indicators in a real-world data set. In particular, orthogonal logratio coordinates have been introduced to enhance the interpretability of coefficients in regression models. △ Less

Submitted 26 September, 2016; originally announced September 2016.

Comments: 17 pages

MSC Class: 62J05; 62J12