Showing 1–29 of 29 results for author: Pauli, P

Lipschitz constant estimation for general neural network architectures using control tools

Authors: Patricia Pauli, Dennis Gramlich, Frank Allgöwer

Abstract: This paper is devoted to the estimation of the Lipschitz constant of neural networks using semidefinite programming. For this purpose, we interpret neural networks as time-varying dynamical systems, where the $k$-th layer corresponds to the dynamics at time $k$. A key novelty with respect to prior work is that we use this interpretation to exploit the series interconnection structure of neural net… ▽ More This paper is devoted to the estimation of the Lipschitz constant of neural networks using semidefinite programming. For this purpose, we interpret neural networks as time-varying dynamical systems, where the $k$-th layer corresponds to the dynamics at time $k$. A key novelty with respect to prior work is that we use this interpretation to exploit the series interconnection structure of neural networks with a dynamic programming recursion. Nonlinearities, such as activation functions and nonlinear pooling layers, are handled with integral quadratic constraints. If the neural network contains signal processing layers (convolutional or state space model layers), we realize them as 1-D/2-D/N-D systems and exploit this structure as well. We distinguish ourselves from related work on Lipschitz constant estimation by more extensive structure exploitation (scalability) and a generalization to a large class of common neural network architectures. To show the versatility and computational advantages of our method, we apply it to different neural network architectures trained on MNIST and CIFAR-10. △ Less

Submitted 2 May, 2024; originally announced May 2024.

State space representations of the Roesser type for convolutional layers

Authors: Patricia Pauli, Dennis Gramlich, Fran Allgöwer

Abstract: From the perspective of control theory, convolutional layers (of neural networks) are 2-D (or N-D) linear time-invariant dynamical systems. The usual representation of convolutional layers by the convolution kernel corresponds to the representation of a dynamical system by its impulse response. However, many analysis tools from control theory, e.g., involving linear matrix inequalities, require a… ▽ More From the perspective of control theory, convolutional layers (of neural networks) are 2-D (or N-D) linear time-invariant dynamical systems. The usual representation of convolutional layers by the convolution kernel corresponds to the representation of a dynamical system by its impulse response. However, many analysis tools from control theory, e.g., involving linear matrix inequalities, require a state space representation. For this reason, we explicitly provide a state space representation of the Roesser type for 2-D convolutional layers with $c_\mathrm{in}r_1 + c_\mathrm{out}r_2$ states, where $c_\mathrm{in}$/$c_\mathrm{out}$ is the number of input/output channels of the layer and $r_1$/$r_2$ characterizes the width/length of the convolution kernel. This representation is shown to be minimal for $c_\mathrm{in} = c_\mathrm{out}$. We further construct state space representations for dilated, strided, and N-D convolutions. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Novel Quadratic Constraints for Extending LipSDP beyond Slope-Restricted Activations

Authors: Patricia Pauli, Aaron Havens, Alexandre Araujo, Siddharth Garg, Farshad Khorrami, Frank Allgöwer, Bin Hu

Abstract: Recently, semidefinite programming (SDP) techniques have shown great promise in providing accurate Lipschitz bounds for neural networks. Specifically, the LipSDP approach (Fazlyab et al., 2019) has received much attention and provides the least conservative Lipschitz upper bounds that can be computed with polynomial time guarantees. However, one main restriction of LipSDP is that its formulation r… ▽ More Recently, semidefinite programming (SDP) techniques have shown great promise in providing accurate Lipschitz bounds for neural networks. Specifically, the LipSDP approach (Fazlyab et al., 2019) has received much attention and provides the least conservative Lipschitz upper bounds that can be computed with polynomial time guarantees. However, one main restriction of LipSDP is that its formulation requires the activation functions to be slope-restricted on $[0,1]$, preventing its further use for more general activation functions such as GroupSort, MaxMin, and Householder. One can rewrite MaxMin activations for example as residual ReLU networks. However, a direct application of LipSDP to the resultant residual ReLU networks is conservative and even fails in recovering the well-known fact that the MaxMin activation is 1-Lipschitz. Our paper bridges this gap and extends LipSDP beyond slope-restricted activation functions. To this end, we provide novel quadratic constraints for GroupSort, MaxMin, and Householder activations via leveraging their underlying properties such as sum preservation. Our proposed analysis is general and provides a unified approach for estimating $\ell_2$ and $\ell_\infty$ Lipschitz bounds for a rich class of neural network architectures, including non-residual and residual neural networks and implicit models, with GroupSort, MaxMin, and Householder activations. Finally, we illustrate the utility of our approach with a variety of experiments and show that our proposed SDPs generate less conservative Lipschitz bounds in comparison to existing approaches. △ Less

Submitted 25 January, 2024; originally announced January 2024.

Comments: accepted as a conference paper at ICLR 2024

Learning Soft Constrained MPC Value Functions: Efficient MPC Design and Implementation providing Stability and Safety Guarantees

Authors: Nicolas Chatzikiriakos, Kim P. Wabersich, Felix Berkel, Patricia Pauli, Andrea Iannelli

Abstract: Model Predictive Control (MPC) can be applied to safety-critical control problems, providing closed-loop safety and performance guarantees. Implementation of MPC controllers requires solving an optimization problem at every sampling instant, which is challenging to execute on embedded hardware. To address this challenge, we propose a framework that combines a tightened soft constrained MPC formula… ▽ More Model Predictive Control (MPC) can be applied to safety-critical control problems, providing closed-loop safety and performance guarantees. Implementation of MPC controllers requires solving an optimization problem at every sampling instant, which is challenging to execute on embedded hardware. To address this challenge, we propose a framework that combines a tightened soft constrained MPC formulation with supervised learning to approximate the MPC value function. This combination enables us to obtain a corresponding optimal control law, which can be implemented efficiently on embedded platforms. The framework ensures stability and constraint satisfaction for various nonlinear systems. While the design effort is similar to that of nominal MPC, the proposed formulation provides input-to-state stability (ISS) with respect to the approximation error of the value function. Furthermore, we prove that the value function corresponding to the soft constrained MPC problem is Lipschitz continuous for Lipschitz continuous systems, even if the optimal control law may be discontinuous. This serves two purposes: First, it allows to relate approximation errors to a sufficiently large constraint tightening to obtain constraint satisfaction guarantees. Second, it paves the way for an efficient supervised learning procedure to obtain a continuous value function approximation. We demonstrate the effectiveness of the method using a nonlinear numerical example. △ Less

Submitted 17 May, 2024; v1 submitted 15 January, 2024; originally announced January 2024.

Lipschitz-bounded 1D convolutional neural networks using the Cayley transform and the controllability Gramian

Authors: Patricia Pauli, Ruigang Wang, Ian R. Manchester, Frank Allgöwer

Abstract: We establish a layer-wise parameterization for 1D convolutional neural networks (CNNs) with built-in end-to-end robustness guarantees. In doing so, we use the Lipschitz constant of the input-output map** characterized by a CNN as a robustness measure. We base our parameterization on the Cayley transform that parameterizes orthogonal matrices and the controllability Gramian of the state space rep… ▽ More We establish a layer-wise parameterization for 1D convolutional neural networks (CNNs) with built-in end-to-end robustness guarantees. In doing so, we use the Lipschitz constant of the input-output map** characterized by a CNN as a robustness measure. We base our parameterization on the Cayley transform that parameterizes orthogonal matrices and the controllability Gramian of the state space representation of the convolutional layers. The proposed parameterization by design fulfills linear matrix inequalities that are sufficient for Lipschitz continuity of the CNN, which further enables unconstrained training of Lipschitz-bounded 1D CNNs. Finally, we train Lipschitz-bounded 1D CNNs for the classification of heart arrythmia data and show their improved robustness. △ Less

Submitted 25 January, 2024; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: Published as a conference paper at CDC 2023

Convolutional Neural Networks as 2-D systems

Authors: Dennis Gramlich, Patricia Pauli, Carsten W. Scherer, Frank Allgöwer, Christian Ebenbauer

Abstract: This paper introduces a novel representation of convolutional Neural Networks (CNNs) in terms of 2-D dynamical systems. To this end, the usual description of convolutional layers with convolution kernels, i.e., the impulse responses of linear filters, is realized in state space as a linear time-invariant 2-D system. The overall convolutional Neural Network composed of convolutional layers and nonl… ▽ More This paper introduces a novel representation of convolutional Neural Networks (CNNs) in terms of 2-D dynamical systems. To this end, the usual description of convolutional layers with convolution kernels, i.e., the impulse responses of linear filters, is realized in state space as a linear time-invariant 2-D system. The overall convolutional Neural Network composed of convolutional layers and nonlinear activation functions is then viewed as a 2-D version of a Lur'e system, i.e., a linear dynamical system interconnected with static nonlinear components. One benefit of this 2-D Lur'e system perspective on CNNs is that we can use robust control theory much more efficiently for Lipschitz constant estimation than previously possible. △ Less

Submitted 11 April, 2023; v1 submitted 6 March, 2023; originally announced March 2023.

Lipschitz constant estimation for 1D convolutional neural networks

Authors: Patricia Pauli, Dennis Gramlich, Frank Allgöwer

Abstract: In this work, we propose a dissipativity-based method for Lipschitz constant estimation of 1D convolutional neural networks (CNNs). In particular, we analyze the dissipativity properties of convolutional, pooling, and fully connected layers making use of incremental quadratic constraints for nonlinear activation functions and pooling operations. The Lipschitz constant of the concatenation of these… ▽ More In this work, we propose a dissipativity-based method for Lipschitz constant estimation of 1D convolutional neural networks (CNNs). In particular, we analyze the dissipativity properties of convolutional, pooling, and fully connected layers making use of incremental quadratic constraints for nonlinear activation functions and pooling operations. The Lipschitz constant of the concatenation of these map**s is then estimated by solving a semidefinite program which we derive from dissipativity theory. To make our method as efficient as possible, we exploit the structure of convolutional layers by realizing these finite impulse response filters as causal dynamical systems in state space and carrying out the dissipativity analysis for the state space realizations. The examples we provide show that our Lipschitz bounds are advantageous in terms of accuracy and scalability. △ Less

Submitted 20 June, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

The strangeness program at GlueX

Authors: Peter Pauli

Abstract: The GlueX experiment located at Jefferson Lab studies the spectrum of hadrons using photoproduction on a LH$_2$ target in a wide variety of final states. With its detector system capable of measuring neutral and charged final state particles over almost the full solid angle, and very good particle identification capabilities, GlueX can measure many different hadrons containing strangeness. A linea… ▽ More The GlueX experiment located at Jefferson Lab studies the spectrum of hadrons using photoproduction on a LH$_2$ target in a wide variety of final states. With its detector system capable of measuring neutral and charged final state particles over almost the full solid angle, and very good particle identification capabilities, GlueX can measure many different hadrons containing strangeness. A linearly polarized photon beam allows the measurement of polarization observables, which contain information about the production mechanisms involved in generating strange particles in photoproduction. In addition, GlueX can perform precise cross-section measurements, which help to study the spectrum of strange hadrons. In this presentation, the GlueX experiment is introduced, and recent progress of its strangeness program is discussed. We present recent results on $Σ^0$ beam asymmetries, $Λ$(1520) spin-density matrix elements and ongoing studies of the $Λ$(1405) lineshape. We also present our recent progress on measurements of $Λ\barΛ$ and $Ξ^{(*)}$ photoproduction. Also, future prospects for strangeness measurements at GlueX are discussed. △ Less

Submitted 1 September, 2022; originally announced September 2022.

Comments: 8 pages, Proceedings of the 14th International Conference on Hypernuclear and Strange Particle Physics (HYP2022), 27 June to 1 July 2022

Report number: JLAB-PHY-22-3712

Machine Learned Particle Detector Simulations

Authors: D. Darulis, R. Tyson, D. G. Ireland, D. I. Glazier, B. McKinnon, P. Pauli

Abstract: The use of machine learning algorithms is an attractive way to produce very fast detector simulations for scattering reactions that can otherwise be computationally expensive. Here we develop a factorised approach where we deal with each particle produced in a reaction individually: first determine if it was detected (acceptance) and second determine its reconstructed variables such as four moment… ▽ More The use of machine learning algorithms is an attractive way to produce very fast detector simulations for scattering reactions that can otherwise be computationally expensive. Here we develop a factorised approach where we deal with each particle produced in a reaction individually: first determine if it was detected (acceptance) and second determine its reconstructed variables such as four momentum (reconstruction). For the acceptance we propose using a probability classification density ratio technique to determine the probability the particle was detected as a function of many variables. Neural Network and Boosted Decision Tree classifiers were tested for this purpose and we found using a combination of both, through a reweighting stage, provided the most reliable results. For reconstruction a simple method of synthetic data generation, based on nearest neighbour or decision trees was developed. Using a toy parameterised detector we demonstrate that such a method can reliably and accurately reproduce kinematic distributions from a physics reaction. The relatively simple algorithms allow for small training overheads whilst producing reliable results. Possible applications for such fast simulated data include Toy-MC studies of parameter extraction, preprocessing expensive simulations or generating templates for background distributions shapes. △ Less

Submitted 22 July, 2022; originally announced July 2022.

Bounding the difference between model predictive control and neural networks

Authors: Ross Drummond, Stephen R. Duncan, Matthew C. Turner, Patricia Pauli, Frank Allgöwer

Abstract: There is a growing debate on whether the future of feedback control systems will be dominated by data-driven or model-driven approaches. Each of these two approaches has their own complimentary set of advantages and disadvantages, however, only limited attempts have, so far, been developed to bridge the gap between them. To address this issue, this paper introduces a method to bound the worst-case… ▽ More There is a growing debate on whether the future of feedback control systems will be dominated by data-driven or model-driven approaches. Each of these two approaches has their own complimentary set of advantages and disadvantages, however, only limited attempts have, so far, been developed to bridge the gap between them. To address this issue, this paper introduces a method to bound the worst-case error between feedback control policies based upon model predictive control (MPC) and neural networks (NNs). This result is leveraged into an approach to automatically synthesize MPC policies minimising the worst-case error with respect to a NN. Numerical examples highlight the application of the bounds, with the goal of the paper being to encourage a more quantitative understanding of the relationship between data-driven and model-driven control. △ Less

Submitted 13 April, 2022; originally announced April 2022.

Neural network training under semidefinite constraints

Authors: Patricia Pauli, Niklas Funcke, Dennis Gramlich, Mohamed Amine Msalmi, Frank Allgöwer

Abstract: This paper is concerned with the training of neural networks (NNs) under semidefinite constraints, which allows for NN training with robustness and stability guarantees. In particular, we focus on Lipschitz bounds for NNs. Exploiting the banded structure of the underlying matrix constraint, we set up an efficient and scalable training scheme for NN training problems of this kind based on interior… ▽ More This paper is concerned with the training of neural networks (NNs) under semidefinite constraints, which allows for NN training with robustness and stability guarantees. In particular, we focus on Lipschitz bounds for NNs. Exploiting the banded structure of the underlying matrix constraint, we set up an efficient and scalable training scheme for NN training problems of this kind based on interior point methods. Our implementation allows to enforce Lipschitz constraints in the training of large-scale deep NNs such as Wasserstein generative adversarial networks (WGANs) via semidefinite constraints. In numerical examples, we show the superiority of our method and its applicability to WGAN training. △ Less

Submitted 19 September, 2022; v1 submitted 3 January, 2022; originally announced January 2022.

Comments: to be published in 61st IEEE Conference on Decision and Control

Accessing glue through photoproduction measurements at GlueX

Authors: Peter Pauli

Abstract: Photoproduction experiments are a key tool in the investigation of the spectrum of hadronic states and the way gluons contribute to this spectrum. The GlueX experiment, located at Jefferson Lab, features a linearly polarized tagged photon beam and its detector system is optimized to measure a wide range of neutral and charged final states. GlueX offers unique capabilities to study the spectrum of… ▽ More Photoproduction experiments are a key tool in the investigation of the spectrum of hadronic states and the way gluons contribute to this spectrum. The GlueX experiment, located at Jefferson Lab, features a linearly polarized tagged photon beam and its detector system is optimized to measure a wide range of neutral and charged final states. GlueX offers unique capabilities to study the spectrum of hadrons and is dedicated to the search for hybrid mesons, states with gluonic degrees of freedom. This talk presents first results from our initial campaign of data taking which finished in 2018. △ Less

Submitted 10 December, 2021; originally announced December 2021.

Comments: Conference proceeding. Submitted to Suplemento de la Revista Mexicana de Física, 19th International conference on hadron spectroscopy and structure in memoriam Simon Eidelman

Search for photoproduction of axion-like particles at GlueX

Authors: GlueX Collaboration, S. Adhikari, C. S. Akondi, M. Albrecht, A. Ali, M. Amaryan, A. Asaturyan, A. Austregesilo, Z. Baldwin, F. Barbosa, J. Barlow, E. Barriga, R. Barsotti, T. D. Beattie, V. V. Berdnikov, T. Black, W. Boeglin, W. J. Briscoe, T. Britton, W. K. Brooks, E. Chudakov, S. Cole, P. L. Cole, O. Cortes, V. Crede , et al. (120 additional authors not shown)

Abstract: We present a search for axion-like particles, $a$, produced in photon-proton collisions at a center-of-mass energy of approximately 4 GeV, focusing on the scenario where the $a$-gluon coupling is dominant. The search uses $a\toγγ$ and $a\toπ^+π^-π^0$ decays, and a data sample corresponding to an integrated luminosity of 168 pb$^{-1}$ collected with the GlueX detector. The search for $a\toγγ$ decay… ▽ More We present a search for axion-like particles, $a$, produced in photon-proton collisions at a center-of-mass energy of approximately 4 GeV, focusing on the scenario where the $a$-gluon coupling is dominant. The search uses $a\toγγ$ and $a\toπ^+π^-π^0$ decays, and a data sample corresponding to an integrated luminosity of 168 pb$^{-1}$ collected with the GlueX detector. The search for $a\toγγ$ decays is performed in the mass range of $180 < m_a < 480$ MeV, while the search for $a\toπ^+π^-π^0$ decays explores the $600 < m_a < 720$ MeV region. No evidence for a signal is found, and 90% confidence-level exclusion limits are placed on the $a$-gluon coupling strength. These constraints are the most stringent to date over much of the mass ranges considered. △ Less

Submitted 24 March, 2022; v1 submitted 27 September, 2021; originally announced September 2021.

Comments: 8 pages, 4 figures, 2 tables; updated to published version

Report number: GlueX Doc 4971

Journal ref: Phys. Rev. D 105, 052007 (2022)

Measurement of Spin Density Matrix Elements in $Λ(1520)$ Photoproduction at 8.2-8.8 GeV

Authors: GlueX Collaboration, S. Adhikari, C. S. Akondi, M. Albrecht, A. Ali, M. Amaryan, A. Asaturyan, A. Austregesilo, Z. Baldwin, F. Barbosa, J. Barlow, E. Barriga, R. Barsotti, T. D. Beattie, V. V. Berdnikov, T. Black, W. Boeglin, W. J. Briscoe, T. Britton, W. K. Brooks, E. Chudakov, S. Cole, P. L. Cole, O. Cortes, V. Crede , et al. (121 additional authors not shown)

Abstract: We report on the measurement of spin density matrix elements of the $Λ(1520)$ in the photoproduction reaction $γp\rightarrow Λ(1520)K^+$, via its subsequent decay to $K^{-}p$. The measurement was performed as part of the GlueX experimental program in Hall D at Jefferson Lab using a linearly polarized photon beam with $E_γ=$ 8.2-8.8 GeV. These are the first such measurements in this photon energy r… ▽ More We report on the measurement of spin density matrix elements of the $Λ(1520)$ in the photoproduction reaction $γp\rightarrow Λ(1520)K^+$, via its subsequent decay to $K^{-}p$. The measurement was performed as part of the GlueX experimental program in Hall D at Jefferson Lab using a linearly polarized photon beam with $E_γ=$ 8.2-8.8 GeV. These are the first such measurements in this photon energy range. Results are presented in bins of momentum transfer squared, $-(t-t_\text{0})$. We compare the results with a Reggeon exchange model and determine that natural exchange amplitudes are dominant in $Λ(1520)$ photoproduction. △ Less

Submitted 3 March, 2022; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 11 pages, 8 figures, accepted version

Report number: GlueX-Doc 4258

Journal ref: Phys. Rev. C 105, 035201 (2022)

Linear systems with neural network nonlinearities: Improved stability analysis via acausal Zames-Falb multipliers

Authors: Patricia Pauli, Dennis Gramlich, Julian Berberich, Frank Allgöwer

Abstract: In this paper, we analyze the stability of feedback interconnections of a linear time-invariant system with a neural network nonlinearity in discrete time. Our analysis is based on abstracting neural networks using integral quadratic constraints (IQCs), exploiting the sector-bounded and slope-restricted structure of the underlying activation functions. In contrast to existing approaches, we levera… ▽ More In this paper, we analyze the stability of feedback interconnections of a linear time-invariant system with a neural network nonlinearity in discrete time. Our analysis is based on abstracting neural networks using integral quadratic constraints (IQCs), exploiting the sector-bounded and slope-restricted structure of the underlying activation functions. In contrast to existing approaches, we leverage the full potential of dynamic IQCs to describe the nonlinear activation functions in a less conservative fashion. To be precise, we consider multipliers based on the full-block Yakubovich / circle criterion in combination with acausal Zames-Falb multipliers, leading to linear matrix inequality based stability certificates. Our approach provides a flexible and versatile framework for stability analysis of feedback interconnections with neural network nonlinearities, allowing to trade off computational efficiency and conservatism. Finally, we provide numerical examples that demonstrate the applicability of the proposed framework and the achievable improvements over previous approaches. △ Less

Submitted 30 September, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

Offset-free setpoint tracking using neural network controllers

Authors: Patricia Pauli, Johannes Köhler, Julian Berberich, Anne Koch, Frank Allgöwer

Abstract: In this paper, we present a method to analyze local and global stability in offset-free setpoint tracking using neural network controllers and we provide ellipsoidal inner approximations of the corresponding region of attraction. We consider a feedback interconnection of a linear plant in connection with a neural network controller and an integrator, which allows for offset-free tracking of a desi… ▽ More In this paper, we present a method to analyze local and global stability in offset-free setpoint tracking using neural network controllers and we provide ellipsoidal inner approximations of the corresponding region of attraction. We consider a feedback interconnection of a linear plant in connection with a neural network controller and an integrator, which allows for offset-free tracking of a desired piecewise constant reference that enters the controller as an external input. Exploiting the fact that activation functions used in neural networks are slope-restricted, we derive linear matrix inequalities to verify stability using Lyapunov theory. After stating a global stability result, we present less conservative local stability conditions (i) for a given reference and (ii) for any reference from a certain set. The latter result even enables guaranteed tracking under setpoint changes using a reference governor which can lead to a significant increase of the region of attraction. Finally, we demonstrate the applicability of our analysis by verifying stability and offset-free tracking of a neural network controller that was trained to stabilize a linearized inverted pendulum. △ Less

Submitted 29 April, 2021; v1 submitted 23 November, 2020; originally announced November 2020.

Studying Short-Range Correlations with Real Photon Beams at GlueX

Authors: O. Hen, M. Patsyuk, E. Piasetzky, A. Schmidt, A. Somov, H. Szumila-Vance, L. B. Weinstein, D. Dutta, H. Gao, M. Amaryan, A. Ashkenazi, A. Beck, V. Berdnikov, T. Black, W. J. Briscoe, T. Britton, W. Brooks, R. Cruz-Torres, M. M. Dalton, A. Denniston, A. Deur, H. Egiyan, C. Fanelli, S. Fegan, S. Furletov , et al. (37 additional authors not shown)

Abstract: The past few years has seen tremendous progress in our understanding of short-range correlated (SRC) pairing of nucleons within nuclei, much of it coming from electron scattering experiments leading to the break-up of an SRC pair. The interpretation of these experiments rests on assumptions about the mechanism of the reaction. These assumptions can be directly tested by studying SRC pairs using al… ▽ More The past few years has seen tremendous progress in our understanding of short-range correlated (SRC) pairing of nucleons within nuclei, much of it coming from electron scattering experiments leading to the break-up of an SRC pair. The interpretation of these experiments rests on assumptions about the mechanism of the reaction. These assumptions can be directly tested by studying SRC pairs using alternate probes, such as real photons. We propose a 30-day experiment using the Hall D photon beam, nuclear targets, and the GlueX detector in its standard configuration to study short-range correlations with photon-induced reactions. Several different reaction channels are possible, and we project sensitivity in most channels to equal or exceed the 6 GeV-era SRC experiments from Halls A and B. The proposed experiment will therefore decisively test the phenomena of np dominance, the short-distance NN interaction, and reaction theory, while also providing new insight into bound nucleon structure and the onset of color transparency. △ Less

Submitted 3 October, 2020; v1 submitted 21 September, 2020; originally announced September 2020.

Comments: 38 pages, 26 figures, proposal for Jefferson Lab Experiment E12-19-003, submitted to Jefferson Lab PAC 47 (2019)

Measurement of beam asymmetry for $π^-Δ^{++}$ photoproduction on the proton at $E_γ$=8.5 GeV

Authors: GlueX Collaboration, S. Adhikari, C. S. Akondi, A. Ali, M. Amaryan, A. Asaturyan, A. Austregesilo, Z. Baldwin, F. Barbosa, J. Barlow, E. Barriga, R. Barsotti, T. D. Beattie, V. V. Berdnikov, T. Black, W. Boeglin, W. J. Briscoe, T. Britton, W. K. Brooks, B. E. Cannon, E. Chudakov, S. Cole, O. Cortes, V. Crede, M. M. Dalton , et al. (112 additional authors not shown)

Abstract: We report a measurement of the $π^-$ photoproduction beam asymmetry for the reaction $\vecγ p \rightarrow π^- Δ^{++}$ using data from the GlueX experiment in the photon beam energy range 8.2--8.8 GeV. The asymmetry $Σ$ is measured as a function of four-momentum transfer $t$ to the $Δ^{++}$ and compared to phenomenological models. We find that $Σ$ varies as a function of $t$: negative at smaller va… ▽ More We report a measurement of the $π^-$ photoproduction beam asymmetry for the reaction $\vecγ p \rightarrow π^- Δ^{++}$ using data from the GlueX experiment in the photon beam energy range 8.2--8.8 GeV. The asymmetry $Σ$ is measured as a function of four-momentum transfer $t$ to the $Δ^{++}$ and compared to phenomenological models. We find that $Σ$ varies as a function of $t$: negative at smaller values and positive at higher values of $|t|$. The reaction can be described theoretically by $t$-channel particle exchange requiring pseudoscalar, vector, and tensor intermediaries. In particular, this reaction requires charge exchange, allowing us to probe pion exchange and the significance of higher-order corrections to one-pion exchange at low momentum transfer. Constraining production mechanisms of conventional mesons may aid in the search for and study of unconventional mesons. This is the first measurement of the process at this energy. △ Less

Submitted 8 January, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: 7 pages, 5 figures

Report number: GlueX-Doc 4272

Journal ref: Phys. Rev. C 103, 022201 (2021)

Strange Hadron Spectroscopy with Secondary KL Beam in Hall D

Authors: KLF Collaboration, Moskov Amaryan, Mikhail Bashkanov, Sean Dobbs, James Ritman, Justin Stevens, Igor Strakovsky, Shankar Adhikari, Arshak Asaturyan, Alexander Austregesilo, Marouen Baalouch, Vitaly Baturin, Vladimir Berdnikov, Olga Cortes Becerra, Timothy Black, Werner Boeglin, William Briscoe, William Brooks, Volker Burkert, Eugene Chudakov, Geraint Clash, Philip Cole, Volker Crede, Donal Day, Pavel Degtyarenko , et al. (128 additional authors not shown)

Abstract: We propose to create a secondary beam of neutral kaons in Hall D at Jefferson Lab to be used with the GlueX experimental setup for strange hadron spectroscopy. The superior CEBAF electron beam will enable a flux on the order of $1\times 10^4~K_L/sec$, which exceeds the flux of that previously attained at SLAC by three orders of magnitude. The use of a deuteron target will provide first measurement… ▽ More We propose to create a secondary beam of neutral kaons in Hall D at Jefferson Lab to be used with the GlueX experimental setup for strange hadron spectroscopy. The superior CEBAF electron beam will enable a flux on the order of $1\times 10^4~K_L/sec$, which exceeds the flux of that previously attained at SLAC by three orders of magnitude. The use of a deuteron target will provide first measurements ever with neutral kaons on neutrons. The experiment will measure both differential cross sections and self-analyzed polarizations of the produced $Λ$, $Σ$, $Ξ$, and $Ω$ hyperons using the GlueX detector at the Jefferson Lab Hall D. The measurements will span CM $\cosθ$ from $-0.95$ to 0.95 in the range W = 1490 MeV to 2500 MeV. The new data will significantly constrain the partial wave analyses and reduce model-dependent uncertainties in the extraction of the properties and pole positions of the strange hyperon resonances, and establish the orbitally excited multiplets in the spectra of the $Ξ$ and $Ω$ hyperons. Comparison with the corresponding multiplets in the spectra of the charm and bottom hyperons will provide insight into he accuracy of QCD-based calculations over a large range of masses. The proposed facility will have a defining impact in the strange meson sector through measurements of the final state $Kπ$ system up to 2 GeV invariant mass. This will allow the determination of pole positions and widths of all relevant $K^\ast(Kπ)$ $S$-,$P$-,$D$-,$F$-, and $G$-wave resonances, settle the question of the existence or nonexistence of scalar meson $κ/K_0^\ast(700)$ and improve the constrains on their pole parameters. Subsequently improving our knowledge of the low-lying scalar nonet in general. △ Less

Submitted 4 March, 2021; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: Final version of the KLF Proposal [C12-19-001] approved by JLab PAC48. The intermediate version of the proposal was posted in arXiv:1707.05284 [hep-ex]. 103 pages, 52 figures, 8 tables, 324 references. Several typos were fixed

The GlueX Beamline and Detector

Authors: S. Adhikari, C. S. Akondi, H. Al Ghoul, A. Ali, M. Amaryan, E. G. Anassontzis, A. Austregesilo, F. Barbosa, J. Barlow, A. Barnes, E. Barriga, R. Barsotti, T. D. Beattie, J. Benesch, V. V. Berdnikov, G. Biallas, T. Black, W. Boeglin, P. Brindza, W. J. Briscoe, T. Britton, J. Brock, W. K. Brooks, B. E. Cannon, C. Carlin , et al. (165 additional authors not shown)

Abstract: The GlueX experiment at Jefferson Lab has been designed to study photoproduction reactions with a 9-GeV linearly polarized photon beam. The energy and arrival time of beam photons are tagged using a scintillator hodoscope and a scintillating fiber array. The photon flux is determined using a pair spectrometer, while the linear polarization of the photon beam is determined using a polarimeter based… ▽ More The GlueX experiment at Jefferson Lab has been designed to study photoproduction reactions with a 9-GeV linearly polarized photon beam. The energy and arrival time of beam photons are tagged using a scintillator hodoscope and a scintillating fiber array. The photon flux is determined using a pair spectrometer, while the linear polarization of the photon beam is determined using a polarimeter based on triplet photoproduction. Charged-particle tracks from interactions in the central target are analyzed in a solenoidal field using a central straw-tube drift chamber and six packages of planar chambers with cathode strips and drift wires. Electromagnetic showers are reconstructed in a cylindrical scintillating fiber calorimeter inside the magnet and a lead-glass array downstream. Charged particle identification is achieved by measuring energy loss in the wire chambers and using the flight time of particles between the target and detectors outside the magnet. The signals from all detectors are recorded with flash ADCs and/or pipeline TDCs into memories allowing trigger decisions with a latency of 3.3 $μ$s. The detector operates routinely at trigger rates of 40 kHz and data rates of 600 megabytes per second. We describe the photon beam, the GlueX detector components, electronics, data-acquisition and monitoring systems, and the performance of the experiment during the first three years of operation. △ Less

Submitted 26 October, 2020; v1 submitted 28 May, 2020; originally announced May 2020.

Comments: Accepted by Nuclear Instruments and Methods A, 78 pages, 54 figures

Report number: JLAB-PHY-20-3195

Journal ref: Nucl. Instrum. & Meth. A987, 164807 (2021)

Robust and optimal predictive control of the COVID-19 outbreak

Authors: Johannes Köhler, Lukas Schwenkel, Anne Koch, Julian Berberich, Patricia Pauli, Frank Allgöwer

Abstract: We investigate adaptive strategies to robustly and optimally control the COVID-19 pandemic via social distancing measures based on the example of Germany. Our goal is to minimize the number of fatalities over the course of two years without inducing excessive social costs. We consider a tailored model of the German COVID-19 outbreak with different parameter sets to design and validate our approach… ▽ More We investigate adaptive strategies to robustly and optimally control the COVID-19 pandemic via social distancing measures based on the example of Germany. Our goal is to minimize the number of fatalities over the course of two years without inducing excessive social costs. We consider a tailored model of the German COVID-19 outbreak with different parameter sets to design and validate our approach. Our analysis reveals that an open-loop optimal control policy can significantly decrease the number of fatalities when compared to simpler policies under the assumption of exact model knowledge. In a more realistic scenario with uncertain data and model mismatch, a feedback strategy that updates the policy weekly using model predictive control (MPC) leads to a reliable performance, even when applied to a validation model with deviant parameters. On top of that, we propose a robust MPC-based feedback policy using interval arithmetic that adapts the social distancing measures cautiously and safely, thus leading to a minimum number of fatalities even if measurements are inaccurate and the infection rates cannot be precisely specified by social distancing. Our theoretical findings support various recent studies by showing that 1) adaptive feedback strategies are required to reliably contain the COVID-19 outbreak, 2) well-designed policies can significantly reduce the number of fatalities compared to simpler ones while kee** the amount of social distancing measures on the same level, and 3) imposing stronger social distancing measures early on is more effective and cheaper in the long run than opening up too soon and restoring stricter measures at a later time. △ Less

Submitted 8 February, 2021; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: This is the accepted version of the paper in Annual Reviews in Control, 2020

Journal ref: Annual Reviews in Control (2020)

Training robust neural networks using Lipschitz bounds

Authors: Patricia Pauli, Anne Koch, Julian Berberich, Paul Kohler, Frank Allgöwer

Abstract: Due to their susceptibility to adversarial perturbations, neural networks (NNs) are hardly used in safety-critical applications. One measure of robustness to such perturbations in the input is the Lipschitz constant of the input-output map defined by an NN. In this work, we propose a framework to train multi-layer NNs while at the same time encouraging robustness by kee** their Lipschitz constan… ▽ More Due to their susceptibility to adversarial perturbations, neural networks (NNs) are hardly used in safety-critical applications. One measure of robustness to such perturbations in the input is the Lipschitz constant of the input-output map defined by an NN. In this work, we propose a framework to train multi-layer NNs while at the same time encouraging robustness by kee** their Lipschitz constant small, thus addressing the robustness issue. More specifically, we design an optimization scheme based on the Alternating Direction Method of Multipliers that minimizes not only the training loss of an NN but also its Lipschitz constant resulting in a semidefinite programming based training procedure that promotes robustness. We design two versions of this training procedure. The first one includes a regularizer that penalizes an accurate upper bound on the Lipschitz constant. The second one allows to enforce a desired Lipschitz bound on the NN at all times during training. Finally, we provide two examples to show that the proposed framework successfully increases the robustness of NNs. △ Less

Submitted 15 September, 2020; v1 submitted 6 May, 2020; originally announced May 2020.

Measurement of the Photon Beam Asymmetry in $\vecγ p\to K^+Σ^0$ at $E_γ = 8.5$ GeV

Authors: The GlueX Collaboration, S. Adhikari, A. Ali, M. Amaryan, A. Austregesilo, F. Barbosa, J. Barlow, E. Barriga, R. Barsotti, T. D. Beattie, V. V. Berdnikov, T. Black, W. Boeglin, W. J. Briscoe, T. Britton, W. K. Brooks, B. E. Cannon, N. Cao, E. Chudakov, S. Cole, O. Cortes, V. Crede, M. M. Dalton, T. Daniels, A. Deur , et al. (102 additional authors not shown)

Abstract: We report measurements of the photon beam asymmetry $Σ$ for the reaction $\vecγ p\to K^+Σ^0$(1193) using the GlueX spectrometer in Hall D at Jefferson Lab. Data were collected using a linearly polarized photon beam in the energy range of 8.2-8.8 GeV incident on a liquid hydrogen target. The beam asymmetry $Σ$ was measured as a function of the Mandelstam variable $t$, and a single value of $Σ$ was… ▽ More We report measurements of the photon beam asymmetry $Σ$ for the reaction $\vecγ p\to K^+Σ^0$(1193) using the GlueX spectrometer in Hall D at Jefferson Lab. Data were collected using a linearly polarized photon beam in the energy range of 8.2-8.8 GeV incident on a liquid hydrogen target. The beam asymmetry $Σ$ was measured as a function of the Mandelstam variable $t$, and a single value of $Σ$ was extracted for events produced in the $u$-channel. These are the first exclusive measurements of the photon beam asymmetry $Σ$ for the reaction in this energy range. For the $t$-channel, the measured beam asymmetry is close to unity over the $t$-range studied, $-t=(0.1-1.4)~$(GeV/$c$)$^{2}$, with an average value of $Σ= 1.00\pm 0.05$. This agrees with theoretical models that describe the reaction via the natural-parity exchange of the $K^{*}$(892) Regge trajectory. A value of $Σ= 0.41 \pm 0.09$ is obtained for the $u$-channel integrated up to $-u=2.0$~(GeV/$c$)$^{2}$. △ Less

Submitted 12 May, 2020; v1 submitted 18 March, 2020; originally announced March 2020.

Journal ref: Phys. Rev. C 101, 065206 (2020)

Photoproduction of the $Λ$(1520) hyperon with a 9 GeV photon beam at GlueX

Authors: Peter Pauli

Abstract: The GlueX experiment is located at the Thomas Jefferson National Accelerator Facility (JLab) in Newport News, VA, USA. It features a hermetic 4$π$ detector with excellent tracking and calorimetry capabilities. Its 9 GeV linearly polarized photon beam is produced from the 12 GeV electron beam, delivered by JLab's Continuous Electron Beam Accelerator Facility (CEBAF), via bremsstrahlung on a thin di… ▽ More The GlueX experiment is located at the Thomas Jefferson National Accelerator Facility (JLab) in Newport News, VA, USA. It features a hermetic 4$π$ detector with excellent tracking and calorimetry capabilities. Its 9 GeV linearly polarized photon beam is produced from the 12 GeV electron beam, delivered by JLab's Continuous Electron Beam Accelerator Facility (CEBAF), via bremsstrahlung on a thin diamond and is incident on a LH2 target. GlueX recently finished its first data taking period and published first results. The main goal of GlueX is to measure gluonic excitations of mesons. These so-called hybrid or exotic mesons are predicted by Quantum Chromodynamics (QCD) but haven't been experimentally confirmed yet. They can have quantum numbers not accessible by ordinary quark-antiquark pairs which helps in identifying them using partial wave analysis techniques. The search for exotic mesons requires a very good understanding of photoproduction processes in a wide range of final states, one of them being $pK^{+}K^{-}$ which contains many meson and baryon reactions. The $Λ$(1520) is a prominent hyperon resonance in this final state and is the subject of this presentation. This talk will give an introduction to the GlueX experiment and show preliminary results for the photoproduction of the $Λ$(1520) hyperon. The measurement of important observables like the photon beam asymmetry and spin-density matrix elements will be discussed and an outlook to possible measurements of further hyperon states in the $pK^{+}K^{-}$ final state will be given. △ Less

Submitted 3 May, 2022; v1 submitted 24 September, 2019; originally announced September 2019.

Comments: 6 pages, 6 figures, proceedings for the International Nuclear Physics Conference 2019 (INPC 2019)

Beam Asymmetry $\mathbfΣ$ for the Photoproduction of $\mathbfη$ and $\mathbf{η^{\prime}}$ Mesons at $\mathbf{E_γ=8.8}$GeV

Authors: The GlueX Collaboration, S. Adhikari, A. Ali, M. Amaryan, A. Austregesilo, F. Barbosa, J. Barlow, A. Barnes, E. Barriga, R. Barsotti, T. D. Beattie, V. V. Berdnikov, T. Black, W. Boeglin, M. Boer, W. J. Briscoe, T. Britton, W. K. Brooks, B. E. Cannon, N. Cao, E. Chudakov, S. Cole, O. Cortes, V. Crede, M. M. Dalton , et al. (109 additional authors not shown)

Abstract: We report on the measurement of the beam asymmetry $Σ$ for the reactions $\vecγp\rightarrow pη$ and $\vecγp \rightarrow pη^{\prime}$ from the GlueX experiment, using an 8.2--8.8 GeV linearly polarized tagged photon beam incident on a liquid hydrogen target in Hall D at Jefferson Lab. These measurements are made as a function of momentum transfer $-t$, with significantly higher statistical precisio… ▽ More We report on the measurement of the beam asymmetry $Σ$ for the reactions $\vecγp\rightarrow pη$ and $\vecγp \rightarrow pη^{\prime}$ from the GlueX experiment, using an 8.2--8.8 GeV linearly polarized tagged photon beam incident on a liquid hydrogen target in Hall D at Jefferson Lab. These measurements are made as a function of momentum transfer $-t$, with significantly higher statistical precision than our earlier $η$ measurements, and are the first measurements of $η^{\prime}$ in this energy range. We compare the results to theoretical predictions based on $t$--channel quasi-particle exchange. We also compare the ratio of $Σ_η$ to $Σ_{η^{\prime}}$ to these models, as this ratio is predicted to be sensitive to the amount of $s\bar{s}$ exchange in the production. We find that photoproduction of both $η$ and $η^{\prime}$ is dominated by natural parity exchange with little dependence on $-t$. △ Less

Submitted 24 November, 2019; v1 submitted 15 August, 2019; originally announced August 2019.

Comments: 18 pages, 7 figures

Report number: GlueX-Doc 4093

Journal ref: Phys. Rev. C 100, 052201 (2019)

First measurement of near-threshold J/$ψ$ exclusive photoproduction off the proton

Authors: The GlueX Collaboration, A. Ali, M. Amaryan, E. G. Anassontzis, A. Austregesilo, M. Baalouch, F. Barbosa, J. Barlow, A. Barnes, E. Barriga, T. D. Beattie, V. V. Berdnikov, T. Black, W. Boeglin, M. Boer, W. J. Briscoe, T. Britton, W. K. Brooks, B. E. Cannon, N. Cao, E. Chudakov, S. Cole, O. Cortes, V. Crede, M. M. Dalton , et al. (110 additional authors not shown)

Abstract: We report on the measurement of the $γp \rightarrow J/ψp$ cross section from $E_γ= 11.8$ GeV down to the threshold at $8.2$ GeV using a tagged photon beam with the GlueX experiment. We find the total cross section falls toward the threshold less steeply than expected from two-gluon exchange models. The differential cross section $dσ/dt$ has an exponential slope of $1.67 \pm 0.39$ GeV$^{-2}$ at… ▽ More We report on the measurement of the $γp \rightarrow J/ψp$ cross section from $E_γ= 11.8$ GeV down to the threshold at $8.2$ GeV using a tagged photon beam with the GlueX experiment. We find the total cross section falls toward the threshold less steeply than expected from two-gluon exchange models. The differential cross section $dσ/dt$ has an exponential slope of $1.67 \pm 0.39$ GeV$^{-2}$ at $10.7$ GeV average energy. The LHCb pentaquark candidates $P_c^+$ can be produced in the $s$-channel of this reaction. We see no evidence for them and set model-dependent upper limits on their branching fractions $\mathcal{B}(P_c^+ \rightarrow J/ψp)$ and cross sections $σ(γp \to P_c^+)\times\mathcal{B}(P_c^+ \to J/ψp) $. △ Less

Submitted 10 September, 2019; v1 submitted 26 May, 2019; originally announced May 2019.

Comments: 12 pages, 7 figures

Journal ref: Phys. Rev. Lett. 123, 072001 (2019)

Mass-dependent cuts in longitudinal phase space

Authors: P. Pauli, D. I. Glazier, M. Battaglieri, A. Celentano, R. De Vita, S. Diehl, A. Filippi, J. T. Londergan, V. Mathieu, A. P. Szczepaniak

Abstract: Longitudinal phase space analyses as introduced by van Hove provided a simplified method of separating different reaction production mechanisms. Cuts in the longitudinal phase space can help to select specific reaction kinematics but also induce nonflat acceptance effects in angular distributions. We show that in photoproduction reactions dominated by t-channel exchanges, selection of meson or bar… ▽ More Longitudinal phase space analyses as introduced by van Hove provided a simplified method of separating different reaction production mechanisms. Cuts in the longitudinal phase space can help to select specific reaction kinematics but also induce nonflat acceptance effects in angular distributions. We show that in photoproduction reactions dominated by t-channel exchanges, selection of meson or baryon production over a large mass range can be optimized through calculating mass-dependent cut limits compared to cuts on a van Hove plot sector alone. A cut is presented that improves this selection of one type of hadron production by rejecting another. In addition we demonstrate that using cuts in longitudinal phase space preserves sufficient information to reliably extract observables from the angular distribution of the final state particles. △ Less

Submitted 4 January, 2019; v1 submitted 6 September, 2018; originally announced September 2018.

Comments: 9 pages, 9 figures, copyright APS

Journal ref: Phys. Rev. C 98, 065201 (2018)

Argotario: Computational Argumentation Meets Serious Games

Authors: Ivan Habernal, Raffael Hannemann, Christian Pollak, Christopher Klamm, Patrick Pauli, Iryna Gurevych

Abstract: An important skill in critical thinking and argumentation is the ability to spot and recognize fallacies. Fallacious arguments, omnipresent in argumentative discourse, can be deceptive, manipulative, or simply leading to `wrong moves' in a discussion. Despite their importance, argumentation scholars and NLP researchers with focus on argumentation quality have not yet investigated fallacies empiric… ▽ More An important skill in critical thinking and argumentation is the ability to spot and recognize fallacies. Fallacious arguments, omnipresent in argumentative discourse, can be deceptive, manipulative, or simply leading to `wrong moves' in a discussion. Despite their importance, argumentation scholars and NLP researchers with focus on argumentation quality have not yet investigated fallacies empirically. The nonexistence of resources dealing with fallacious argumentation calls for scalable approaches to data acquisition and annotation, for which the serious games methodology offers an appealing, yet unexplored, alternative. We present Argotario, a serious game that deals with fallacies in everyday argumentation. Argotario is a multilingual, open-source, platform-independent application with strong educational aspects, accessible at www.argotario.net. △ Less

Submitted 19 July, 2017; originally announced July 2017.

Comments: EMNLP 2017 demo paper. Source codes: https://github.com/UKPLab/argotario

"What's (the) Matter?", A Show on Elementary Particle Physics with 28 Demonstration Experiments

Authors: Herbi K. Dreiner, Max Becker, Mikolaj Borzyszkowski, Maxim Braun, Alexander Faßbender, Julia Hampel, Maike Hansen, Dustin Hebecker, Timo Heepenstrick, Sascha Heinz, Katharina Hortmanns, Christian Jost, Michael Kortmann, Matthias U. Kruckow, Till Leuteritz, Claudia Lütz, Philip Mahlberg, Johannes Müllers, Toby Opferkuch, Ewald Paul, Peter Pauli, Merlin Rossbach, Steffen Schaepe, Tobias Schiffer, Jan F. Schmidt , et al. (4 additional authors not shown)

Abstract: We present the screenplay of a physics show on particle physics, by the Physikshow of Bonn University. The show is addressed at non-physicists aged 14+ and communicates basic concepts of elementary particle physics including the discovery of the Higgs boson in an entertaining fashion. It is also demonstrates a successful outreach activity heavily relying on the university physics students. This pa… ▽ More We present the screenplay of a physics show on particle physics, by the Physikshow of Bonn University. The show is addressed at non-physicists aged 14+ and communicates basic concepts of elementary particle physics including the discovery of the Higgs boson in an entertaining fashion. It is also demonstrates a successful outreach activity heavily relying on the university physics students. This paper is addressed at anybody interested in particle physics and/or show physics. This paper is also addressed at fellow physicists working in outreach, maybe the experiments and our choice of simple explanations will be helpful. Furthermore, we are very interested in related activities elsewhere, in particular also demonstration experiments relevant to particle physics, as often little of this work is published. Our show involves 28 live demonstration experiments. These are presented in an extensive appendix, including photos and technical details. The show is set up as a quest, where 2 students from Bonn with the aid of a caretaker travel back in time to understand the fundamental nature of matter. They visit Rutherford and Geiger in Manchester around 1911, who recount their famous experiment on the nucleus and show how particle detectors work. They travel forward in time to meet Lawrence at Berkeley around 1950, teaching them about the how and why of accelerators. Next, they visit Wu at DESY, Hamburg, around 1980, who explains the strong force. They end up in the LHC tunnel at CERN, Geneva, Switzerland in 2012. Two experimentalists tell them about colliders and our heroes watch live as the Higgs boson is produced and decays. The show was presented in English at Oxford University and University College London, as well as Padua University and ICTP Trieste. It was 1st performed in German at the Deutsche Museum, Bonn (5/'14). The show has eleven speaking parts and involves in total 20 people. △ Less

Submitted 17 August, 2016; v1 submitted 25 July, 2016; originally announced July 2016.

Comments: 113 pages, 88 figures. An up to date version of the paper with high resolution pictures can be found at http://www.th.physik.uni-bonn.de/People/dreiner/Downloads/. In v2 the acknowledgements and a citation are corrected