-
Solving Partial Differential Equations with Monte Carlo / Random Walk on an Analog-Digital Hybrid Computer
Authors:
Dirk Killat,
Sven Köppel,
Bernd Ulmann,
Lucas Wetzel
Abstract:
Current digital computers are about to hit basic physical boundaries with respect to integration density, clock frequencies, and particularly energy consumption. This requires the application of new computing paradigms, such as quantum and analog computing in the near future. Although neither quantum nor analog computer are general purpose computers they will play an important role as co-processor…
▽ More
Current digital computers are about to hit basic physical boundaries with respect to integration density, clock frequencies, and particularly energy consumption. This requires the application of new computing paradigms, such as quantum and analog computing in the near future. Although neither quantum nor analog computer are general purpose computers they will play an important role as co-processors to offload certain classes of compute intensive tasks from classic digital computers, thereby not only reducing run time but also and foremost power consumption.
In this work, we describe a random walk approach to the solution of certain types of partial differential equations which is well suited for combinations of digital and analog computers (hybrid computers). The experiments were performed on an Analog Paradigm Model-1 analog computer attached to a digital computer by means of a hybrid interface. At the end we give some estimates of speedups and power consumption obtainable by using future analog computers on chip.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
An Empirical Evaluation of the Impact of New York's Bail Reform on Crime Using Synthetic Controls
Authors:
Angela Zhou,
Andrew Koo,
Nathan Kallus,
Rene Ropac,
Richard Peterson,
Stephen Koppel,
Tiffany Bergin
Abstract:
We conduct an empirical evaluation of the impact of New York's bail reform on crime. New York State's Bail Elimination Act went into effect on January 1, 2020, eliminating money bail and pretrial detention for nearly all misdemeanor and nonviolent felony defendants. Our analysis of effects on aggregate crime rates after the reform informs the understanding of bail reform and general deterrence. We…
▽ More
We conduct an empirical evaluation of the impact of New York's bail reform on crime. New York State's Bail Elimination Act went into effect on January 1, 2020, eliminating money bail and pretrial detention for nearly all misdemeanor and nonviolent felony defendants. Our analysis of effects on aggregate crime rates after the reform informs the understanding of bail reform and general deterrence. We conduct a synthetic control analysis for a comparative case study of impact of bail reform. We focus on synthetic control analysis of post-intervention changes in crime for assault, theft, burglary, robbery, and drug crimes, constructing a dataset from publicly reported crime data of 27 large municipalities. Our findings, including placebo checks and other robustness checks, show that for assault, theft, and drug crimes, there is no significant impact of bail reform on crime; for burglary and robbery, we similarly have null findings but the synthetic control is also more variable so these are deemed less conclusive.
△ Less
Submitted 25 June, 2023; v1 submitted 16 November, 2021;
originally announced November 2021.
-
Analog Computing for Molecular Dynamics
Authors:
Sven Köppel,
Alexandra Krause,
Bernd Ulmann
Abstract:
Modern analog computers are ideally suited to solving large systems of ordinary differential equations at high speed with low energy consumtion and limited accuracy. In this article, we survey N-body physics, applied to a simple water model inspired by force fields which are popular in molecular dynamics. We demonstrate a setup which simulate a single water molecule in time. To the best of our kno…
▽ More
Modern analog computers are ideally suited to solving large systems of ordinary differential equations at high speed with low energy consumtion and limited accuracy. In this article, we survey N-body physics, applied to a simple water model inspired by force fields which are popular in molecular dynamics. We demonstrate a setup which simulate a single water molecule in time. To the best of our knowledge such a simulation has never been done on analog computers before. Important implementation aspects of the model, such as scaling, data range and circuit design, are highlighted. We also analyze the performance and compare the solution with a numerical approach.
△ Less
Submitted 13 July, 2021;
originally announced July 2021.
-
Using analog computers in today's largest computational challenges
Authors:
Sven Köppel,
Bernd Ulmann,
Lars Heimann,
Dirk Killat
Abstract:
Analog computers can be revived as a feasible technology platform for low precision, energy efficient and fast computing. We justify this statement by measuring the performance of a modern analog computer and comparing it with that of traditional digital processors. General statements are made about the solution of ordinary and partial differential equations. Computational fluid dynamics are discu…
▽ More
Analog computers can be revived as a feasible technology platform for low precision, energy efficient and fast computing. We justify this statement by measuring the performance of a modern analog computer and comparing it with that of traditional digital processors. General statements are made about the solution of ordinary and partial differential equations. Computational fluid dynamics are discussed as an example of large scale scientific computing applications. Several models are proposed which demonstrate the benefits of analog and digital-analog hybrid computing.
△ Less
Submitted 30 June, 2021; v1 submitted 14 February, 2021;
originally announced February 2021.
-
ExaHyPE: An Engine for Parallel Dynamically Adaptive Simulations of Wave Problems
Authors:
Anne Reinarz,
Dominic E. Charrier,
Michael Bader,
Luke Bovard,
Michael Dumbser,
Kenneth Duru,
Francesco Fambri,
Alice-Agnes Gabriel,
Jean-Matthieu Gallard,
Sven Köppel,
Lukas Krenz,
Leonhard Rannabauer,
Luciano Rezzolla,
Philipp Samfass,
Maurizio Tavelli,
Tobias Weinzierl
Abstract:
ExaHyPE ("An Exascale Hyperbolic PDE Engine") is a software engine for solving systems of first-order hyperbolic partial differential equations (PDEs). Hyperbolic PDEs are typically derived from the conservation laws of physics and are useful in a wide range of application areas. Applications powered by ExaHyPE can be run on a student's laptop, but are also able to exploit thousands of processor c…
▽ More
ExaHyPE ("An Exascale Hyperbolic PDE Engine") is a software engine for solving systems of first-order hyperbolic partial differential equations (PDEs). Hyperbolic PDEs are typically derived from the conservation laws of physics and are useful in a wide range of application areas. Applications powered by ExaHyPE can be run on a student's laptop, but are also able to exploit thousands of processor cores on state-of-the-art supercomputers. The engine is able to dynamically increase the accuracy of the simulation using adaptive mesh refinement where required. Due to the robustness and shock capturing abilities of ExaHyPE's numerical methods, users of the engine can simulate linear and non-linear hyperbolic PDEs with very high accuracy. Users can tailor the engine to their particular PDE by specifying evolved quantities, fluxes, and source terms. A complete simulation code for a new hyperbolic PDE can often be realised within a few hours - a task that, traditionally, can take weeks, months, often years for researchers starting from scratch. In this paper, we showcase ExaHyPE's workflow and capabilities through real-world scenarios from our two main application areas: seismology and astrophysics.
△ Less
Submitted 18 May, 2020; v1 submitted 20 May, 2019;
originally announced May 2019.
-
Generalized Uncertainty Principle and Black Holes in Higher Dimensional Self-Complete Gravity
Authors:
Marco Knipfer,
Sven Köppel,
Jonas Mureika,
Piero Nicolini
Abstract:
In this paper we consider generalized uncertainty principle (GUP) effects in higher dimensional black hole spacetimes via a nonlocal gravity approach. We study three possible modifications of momentum space measure emerging from GUP, including the original Kempf-Mangano-Mann (KMM) proposal. By following the KMM model we derive a family of black hole spacetimes. The case of five spacetime dimension…
▽ More
In this paper we consider generalized uncertainty principle (GUP) effects in higher dimensional black hole spacetimes via a nonlocal gravity approach. We study three possible modifications of momentum space measure emerging from GUP, including the original Kempf-Mangano-Mann (KMM) proposal. By following the KMM model we derive a family of black hole spacetimes. The case of five spacetime dimensions is a special one. We found an exact black hole solution with a Barriola-Vilenkin monopole at the origin. This object turns out to be the end point of the black hole evaporation. Interestingly for smaller masses, we found a "naked monopole" rather than a generic naked singularity. We also show that the Carr-Lake-Casadio-Scardigli proposal leads to mild modifications of spacetime metrics with respect to the Schwarzschild-Tangherlini solution. Finally, by demanding the same degree of convergence in the ultraviolet regime for any spacetime dimension, we derive a family of black hole solutions that fulfill the gravity self-completeness paradigm. The evaporation of such black holes is characterized by a fluctuating luminosity, which we dub a lighthouse effect.
△ Less
Submitted 2 August, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
A General-relativistic Determination of the Threshold Mass to Prompt Collapse in Binary Neutron Star Mergers
Authors:
Sven Köppel,
Luke Bovard,
Luciano Rezzolla
Abstract:
We study the lifetimes of the remnant produced by the merger of two neutron stars and revisit the determination of the threshold mass to prompt collapse, $M_{\rm th}$. Using a fully general-relativistic numerical approach and a novel method for a rigorous determination of $M_{\rm th}$, we show that a nonlinear universal relation exists between the threshold mass and the maximum compactness. For th…
▽ More
We study the lifetimes of the remnant produced by the merger of two neutron stars and revisit the determination of the threshold mass to prompt collapse, $M_{\rm th}$. Using a fully general-relativistic numerical approach and a novel method for a rigorous determination of $M_{\rm th}$, we show that a nonlinear universal relation exists between the threshold mass and the maximum compactness. For the temperature-dependent equations of state considered here, our results improve a similar linear relation found recently with methods that are less accurate but yield quantitatively similar results. Furthermore, exploiting the information from GW170817, we use the universal relation to set lower limits on the stellar radii for any mass.
△ Less
Submitted 3 March, 2019; v1 submitted 28 January, 2019;
originally announced January 2019.
-
ADER discontinuous Galerkin schemes for general-relativistic ideal magnetohydrodynamics
Authors:
Francesco Fambri,
Michael Dumbser,
Sven Köppel,
Luciano Rezzolla,
Olindo Zanotti
Abstract:
We present a new class of high-order accurate numerical algorithms for solving the equations of general-relativistic ideal magnetohydrodynamics in curved spacetimes. In this paper we assume the background spacetime to be given and static, i.e., we make use of the Cowling approximation. The governing partial differential equations are solved via a new family of fully-discrete and arbitrary high-ord…
▽ More
We present a new class of high-order accurate numerical algorithms for solving the equations of general-relativistic ideal magnetohydrodynamics in curved spacetimes. In this paper we assume the background spacetime to be given and static, i.e., we make use of the Cowling approximation. The governing partial differential equations are solved via a new family of fully-discrete and arbitrary high-order accurate path-conservative discontinuous Galerkin (DG) finite-element methods combined with adaptive mesh refinement and time accurate local timestep**. In order to deal with shock waves and other discontinuities, the highorder DG schemes are supplemented with a novel a-posteriori subcell finite-volume limiter, which makes the new algorithms as robust as classical second-order total-variation diminishing finite-volume methods at shocks and discontinuities, but also as accurate as unlimited high-order DG schemes in smooth regions of the flow. We show the advantages of this new approach by means of various classical two- and three-dimensional benchmark problems on fixed spacetimes. Finally, we present a performance and accuracy comparisons between Runge-Kutta DG schemes and ADER high-order finite-volume schemes, showing the higher efficiency of DG schemes.
△ Less
Submitted 25 May, 2018; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Towards an exascale code for GRMHD on dynamical spacetimes
Authors:
Sven Köppel
Abstract:
We present the first results on the construction of an exascale hyperbolic PDE engine (ExaHyPE), a code for the next generation of supercomputers with the objective to evolve dynamical spacetimes of black holes, neutron stars and binaries. We solve a novel first order formulation of Einstein field equations in the conformal and constraint dam** Z4 formulation (CCZ4) coupled to ideal general rela…
▽ More
We present the first results on the construction of an exascale hyperbolic PDE engine (ExaHyPE), a code for the next generation of supercomputers with the objective to evolve dynamical spacetimes of black holes, neutron stars and binaries. We solve a novel first order formulation of Einstein field equations in the conformal and constraint dam** Z4 formulation (CCZ4) coupled to ideal general relativistic magnetohydrodynamics (GRMHD), using divergence-cleaning. We adopt a novel communication-avoiding one-step ADER-DG scheme with an a-posteriori subcell finite volume limiter on adaptive spacetrees. Despite being only at its first stages, the code passes a number of tests in special and general relativity.
△ Less
Submitted 21 May, 2018; v1 submitted 22 November, 2017;
originally announced November 2017.
-
Conformal and covariant Z4 formulation of the Einstein equations: strongly hyperbolic first-order reduction and solution with discontinuous Galerkin schemes
Authors:
Michael Dumbser,
Federico Guercilena,
Sven Koeppel,
Luciano Rezzolla,
Olindo Zanotti
Abstract:
We present a strongly hyperbolic first-order formulation of the Einstein equations based on the conformal and covariant Z4 system (CCZ4) with constraint-violation dam**, which we refer to as FO-CCZ4. As CCZ4, this formulation combines the advantages of a conformal and traceless formulation, with the suppression of constraint violations given by the dam** terms, but being first order in time an…
▽ More
We present a strongly hyperbolic first-order formulation of the Einstein equations based on the conformal and covariant Z4 system (CCZ4) with constraint-violation dam**, which we refer to as FO-CCZ4. As CCZ4, this formulation combines the advantages of a conformal and traceless formulation, with the suppression of constraint violations given by the dam** terms, but being first order in time and space, it is particularly suited for a discontinuous Galerkin (DG) implementation. The strongly hyperbolic first-order formulation has been obtained by making careful use of first and second-order ordering constraints. A proof of strong hyperbolicity is given for a selected choice of standard gauges via an analytical computation of the entire eigenstructure of the FO-CCZ4 system. The resulting governing partial differential equations system is written in non-conservative form and requires the evolution of 58 unknowns. A key feature of our formulation is that the first-order CCZ4 system decouples into a set of pure ordinary differential equations and a reduced hyperbolic system of partial differential equations that contains only linearly degenerate fields. We implement FO-CCZ4 in a high-order path-conservative arbitrary-high-order-method-using-derivatives (ADER)-DG scheme with adaptive mesh refinement and local time-step**, supplemented with a third-order ADER-WENO subcell finite-volume limiter in order to deal with singularities arising with black holes. We validate the correctness of the formulation through a series of standard tests in vacuum, performed in one, two and three spatial dimensions, and also present preliminary results on the evolution of binary black-hole systems. To the best of our knowledge, these are the first successful three-dimensional simulations of moving punctures carried out with high-order DG schemes using a first-order formulation of the Einstein equations.
△ Less
Submitted 28 April, 2018; v1 submitted 31 July, 2017;
originally announced July 2017.
-
Generalized uncertainty principle and extra dimensions
Authors:
Sven Köppel,
Marco Knipfer,
Maximiliano Isi,
Jonas Mureika,
Piero Nicolini
Abstract:
The generalized uncertainty principle (GUP) is a modification of standard quantum mechanics due to Planck scale effects. The GUP has recently been used to improve the short distance behaviour of classical black hole spacetimes by invoking nonlocal modifications of the gravity action. We present the problem of extending such a GUP scenario to higher dimensional spacetimes and we critically review t…
▽ More
The generalized uncertainty principle (GUP) is a modification of standard quantum mechanics due to Planck scale effects. The GUP has recently been used to improve the short distance behaviour of classical black hole spacetimes by invoking nonlocal modifications of the gravity action. We present the problem of extending such a GUP scenario to higher dimensional spacetimes and we critically review the existing literature on the topic.
△ Less
Submitted 12 June, 2017; v1 submitted 15 March, 2017;
originally announced March 2017.
-
Geometric model of black hole quantum $N$-portrait, extradimensions and thermodynamics
Authors:
Antonia M. Frassino,
Sven Köppel,
Piero Nicolini
Abstract:
Recently a short scale modified black hole metric, known as holographic metric, has been proposed in order to capture the self-complete character of gravity. In this paper we show that such a metric can reproduce some geometric features expected from the quantum $N$-portrait beyond the semi-classical limit. We show that for a generic $N$ this corresponds to having an effective energy momentum tens…
▽ More
Recently a short scale modified black hole metric, known as holographic metric, has been proposed in order to capture the self-complete character of gravity. In this paper we show that such a metric can reproduce some geometric features expected from the quantum $N$-portrait beyond the semi-classical limit. We show that for a generic $N$ this corresponds to having an effective energy momentum tensor in Einstein equations or, equivalently, non-local terms in the gravity action. We also consider the higher dimensional extension of the metric and the case of an AdS cosmological term. We provide a detailed thermodynamic analysis of both cases, with particular reference to the repercussions on the Hawking-Page phase transition.
△ Less
Submitted 19 May, 2016; v1 submitted 12 April, 2016;
originally announced April 2016.