-
Towards a theory of eigenvalue asymptotics on infinite metric graphs: the case of diagonal combs
Authors:
James B. Kennedy,
Delio Mugnolo,
Matthias Täufer
Abstract:
We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a…
▽ More
We examine diagonal combs, a recently identified class of infinite metric graphs whose properties depend on one parameter. These graphs exhibit a fascinating regime where they possess infinite volume while maintaining purely discrete spectrum for the Neumann Laplacian. In this regime, we establish polynomial upper and lower bounds on the $k$-th eigenvalue, revealing that the eigenvalues grow at a rate strictly slower than quadratic. However, once the diagonal combs transition to finite volume, their growth accelerates to a quadratic rate. Our methodology involves employing spectral geometric principles tailored for metric graphs, complemented by deriving estimates for the $k$-th eigenvalue on compact metric graphs.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
Magnetic Bernstein inequalities and spectral inequality on thick sets for the Landau operator
Authors:
Paul Pfeiffer,
Matthias Täufer
Abstract:
We prove a spectral inequality for the Landau operator. This means that for all $f$ in the spectral subspace corresponding to energies up to $E$, the $L^2$-integral over suitable $S \subset \mathbb{R}^2$ can be lower bounded by an explicit constant times the $L^2$-norm of $f$ itself. We identify the class of all measurable sets $S \subset \mathbb{R}^2$ for which such an inequality can hold, namely…
▽ More
We prove a spectral inequality for the Landau operator. This means that for all $f$ in the spectral subspace corresponding to energies up to $E$, the $L^2$-integral over suitable $S \subset \mathbb{R}^2$ can be lower bounded by an explicit constant times the $L^2$-norm of $f$ itself. We identify the class of all measurable sets $S \subset \mathbb{R}^2$ for which such an inequality can hold, namely so-called thick or relatively dense sets, and deduce an asymptotically optimal expression for the constant in terms of the energy, the magnetic field strength and in terms of parameters determining the thick set $S$. Our proofs rely on so-called magnetic Bernstein inequalities. As a consequence, we obtain the first proof of null-controllability for the magnetic heat equation (with sharp bound on the control cost), and can relax assumptions in existing proofs of Anderson localization in the continuum alloy-type model.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Reproducing the results for NICER observation of PSR J0030+0451
Authors:
Chaitanya Afle,
Patrick R. Miles,
Silvina Caino-Lores,
Collin D. Capano,
Ingo Tews,
Karan Vahi,
Ewa Deelman,
Michela Taufer,
Duncan A. Brown
Abstract:
NASA's Neutron Star Interior Composition Explorer (NICER) observed X-ray emission from the pulsar PSR J0030+0451 in 2018. Riley et al. reported Bayesian parameter measurements of the mass and the star's radius using pulse-profile modeling of the X-ray data. This paper reproduces their result using the open-source software X-PSI and publicly available data within expected statistical errors. We not…
▽ More
NASA's Neutron Star Interior Composition Explorer (NICER) observed X-ray emission from the pulsar PSR J0030+0451 in 2018. Riley et al. reported Bayesian parameter measurements of the mass and the star's radius using pulse-profile modeling of the X-ray data. This paper reproduces their result using the open-source software X-PSI and publicly available data within expected statistical errors. We note the challenges we faced in reproducing the results and demonstrate that the analysis can be reproduced and reused in future works by changing the prior distribution for the radius and the sampler configuration. We find no significant change in the measurement of the mass and radius, demonstrating that the original result is robust to these changes. Finally, we provide a containerized working environment that facilitates third-party reproduction of the measurements of mass and radius of PSR J0030+0451 using the NICER observations.
△ Less
Submitted 31 January, 2024; v1 submitted 3 April, 2023;
originally announced April 2023.
-
Robustness of flat bands on the perturbed Kagome and the perturbed Super-Kagome lattice
Authors:
Joachim Kerner,
Matthias Täufer,
Jens Wintermayr
Abstract:
We study spectral properties of perturbed discrete Laplacians on two-dimensional Archimedean tilings. The perturbation manifests itself in the introduction of non-trivial edge weights. We focus on the two lattices on which the unperturbed Laplacian exhibits flat bands, namely the $(3.6)^2$ Kagome lattice and the $(3.12)^2$ ``Super-Kagome'' lattice. We characterize all possible choices for edge wei…
▽ More
We study spectral properties of perturbed discrete Laplacians on two-dimensional Archimedean tilings. The perturbation manifests itself in the introduction of non-trivial edge weights. We focus on the two lattices on which the unperturbed Laplacian exhibits flat bands, namely the $(3.6)^2$ Kagome lattice and the $(3.12)^2$ ``Super-Kagome'' lattice. We characterize all possible choices for edge weights which lead to flat bands. Furthermore, we discuss spectral consequences such as the emergence of new band gaps. Among our main findings is that flat bands are robust under physically reasonable assumptions on the perturbation and we completely describe the perturbation-spectrum phase diagram. The two flat bands in the Super-Kagome lattice are shown to even exhibit an ``all-or-nothing'' phenomenon in the sense that there is no perturbation which can destroy only one flat band while preserving the other.
△ Less
Submitted 12 January, 2023;
originally announced January 2023.
-
Co-scheduling Ensembles of In Situ Workflows
Authors:
Tu Mai Anh Do,
Loïc Pottier,
Rafael Ferreira da Silva,
Frédéric Suter,
Silvina Caíno-Lores,
Michela Taufer,
Ewa Deelman
Abstract:
Molecular dynamics (MD) simulations are widely used to study large-scale molecular systems. HPC systems are ideal platforms to run these studies, however, reaching the necessary simulation timescale to detect rare processes is challenging, even with modern supercomputers. To overcome the timescale limitation, the simulation of a long MD trajectory is replaced by multiple short-range simulations th…
▽ More
Molecular dynamics (MD) simulations are widely used to study large-scale molecular systems. HPC systems are ideal platforms to run these studies, however, reaching the necessary simulation timescale to detect rare processes is challenging, even with modern supercomputers. To overcome the timescale limitation, the simulation of a long MD trajectory is replaced by multiple short-range simulations that are executed simultaneously in an ensemble of simulations. Analyses are usually co-scheduled with these simulations to efficiently process large volumes of data generated by the simulations at runtime, thanks to in situ techniques. Executing a workflow ensemble of simulations and their in situ analyses requires efficient co-scheduling strategies and sophisticated management of computational resources so that they are not slowing down each other. In this paper, we propose an efficient method to co-schedule simulations and in situ analyses such that the makespan of the workflow ensemble is minimized. We present a novel approach to allocate resources for a workflow ensemble under resource constraints by using a theoretical framework modeling the workflow ensemble's execution. We evaluate the proposed approach using an accurate simulator based on the WRENCH simulation framework on various workflow ensemble configurations. Results demonstrate the significance of co-scheduling simulations and in situ analyses that couple data together to benefit from data locality, in which inefficient scheduling decisions can lead up to a factor 30 slowdown in makespan.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
Boundary Conditions Matter: On The Spectrum Of Infinite Quantum Graphs
Authors:
Marco Düfel,
James B. Kennedy,
Delio Mugnolo,
Marvin Plümer,
Matthias Täufer
Abstract:
We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metr…
▽ More
We study the interplay between spectrum, geometry and boundary conditions for two distinguished self-adjoint realisations of the Laplacian on infinite metric graphs, the so-called Friedrichs and Neumann extensions. We introduce a new criterion for compactness of the resolvent and apply this to identify a transition from purely discrete to non-empty essential spectrum among a class of infinite metric graphs, a phenomenon that seems to have no known counterpart for Laplacians on Euclidean domains of infinite volume. In the case of discrete spectrum we then prove upper and lower bounds on eigenvalues, thus extending a number of bounds previously only known in the compact setting to infinite graphs. Some of our bounds, for instance in terms of the inradius, are new even on compact graphs.
△ Less
Submitted 11 January, 2024; v1 submitted 8 July, 2022;
originally announced July 2022.
-
Controllability of the Schrödinger equation on unbounded domains without geometric control condition
Authors:
Matthias Täufer
Abstract:
We prove controllability of the Schrödinger equation in $\mathbb{R}^d$ in any time $T > 0$ with internal control supported on nonempty, periodic, open sets. This demonstrates in particular that controllability of the Schrödinger equation in full space holds for a strictly larger class of control supports than for the wave equation and suggests that the control theory of Schrödinger equation in ful…
▽ More
We prove controllability of the Schrödinger equation in $\mathbb{R}^d$ in any time $T > 0$ with internal control supported on nonempty, periodic, open sets. This demonstrates in particular that controllability of the Schrödinger equation in full space holds for a strictly larger class of control supports than for the wave equation and suggests that the control theory of Schrödinger equation in full space might be closer to the diffusive nature of the heat equation than to the ballistic nature of the wave equation. Our results are based on a combination of Floquet-Bloch theory with Ingham-type estimates on lacunary Fourier series.
△ Less
Submitted 10 March, 2023; v1 submitted 21 June, 2022;
originally announced June 2022.
-
Reproducibility of the First Image of a Black Hole in the Galaxy M87 from the Event Horizon Telescope (EHT) Collaboration
Authors:
Ria Patel,
Brandan Roachell,
Silvina Caino-Lores,
Ross Ketron,
Jacob Leonard,
Nigel Tan,
Duncan Brown,
Ewa Deelman,
Michela Taufer
Abstract:
This paper presents an interdisciplinary effort aiming to develop and share sustainable knowledge necessary to analyze, understand, and use published scientific results to advance reproducibility in multi-messenger astrophysics. Specifically, we target the breakthrough work associated with the generation of the first image of a black hole, called M87. The image was computed by the Event Horizon Te…
▽ More
This paper presents an interdisciplinary effort aiming to develop and share sustainable knowledge necessary to analyze, understand, and use published scientific results to advance reproducibility in multi-messenger astrophysics. Specifically, we target the breakthrough work associated with the generation of the first image of a black hole, called M87. The image was computed by the Event Horizon Telescope Collaboration. Based on the artifacts made available by EHT, we deliver documentation, code, and a computational environment to reproduce the first image of a black hole. Our deliverables support new discovery in multi-messenger astrophysics by providing all the necessary tools for generalizing methods and findings from the EHT use case. Challenges encountered during the reproducibility of EHT results are reported. The result of our effort is an open-source, containerized software package that enables the public to reproduce the first image of a black hole in the galaxy M87.
△ Less
Submitted 20 May, 2022;
originally announced May 2022.
-
Designing an Interactive, Notebook-Embedded, Tree Visualization to Support Exploratory Performance Analysis
Authors:
Connor Scully-Allison,
Ian Lumsden,
Katy Williams,
Jesse Bartels,
Michela Taufer,
Stephanie Brink,
Abhinav Bhatele,
Olga Pearce,
Katherine E. Isaacs
Abstract:
Interactive visualization via direct manipulation has inherent design trade-offs in flexibility, discoverability, and ease-of-use. Scripting languages can support a vast range of user queries and tasks, but may be more cumbersome for free-form exploration. Embedding interactive visualization in a scripting environment, such as a computational notebook, provides an opportunity for leveraging the st…
▽ More
Interactive visualization via direct manipulation has inherent design trade-offs in flexibility, discoverability, and ease-of-use. Scripting languages can support a vast range of user queries and tasks, but may be more cumbersome for free-form exploration. Embedding interactive visualization in a scripting environment, such as a computational notebook, provides an opportunity for leveraging the strengths of both direct manipulation and scripting. We conduct a design study investigating this opportunity in the context of calling context trees as used for performance analysis of parallel software. Our collaborators make new performance analysis functionality available to users via Jupyter notebook examples, making the project setting conducive to such an investigation. Through a series of semi-structured interviews and regular meetings with project stakeholders, we produce a formal task analysis grounded in the expectation that tasks may be supported by scripting, interactive visualization, or both paradigms. We then design an interactive bivariate calling context tree visualization for embedding in Jupyter notebooks with features to pass data and state between the scripting and visualization contexts. We evaluated our embedded design with seven high performance computing experts. The experts were able to complete tasks and provided further feedback on the visualization and the notebook-embedded interactive visualization paradigm. We reflect upon the project and discuss factors in both the process and the design of the embedded visualization.
△ Less
Submitted 9 May, 2022;
originally announced May 2022.
-
On the spectral gap of higher-dimensional Schrödinger operators on large domains
Authors:
Joachim Kerner,
Matthias Täufer
Abstract:
We study the asymptotic behaviour of the spectral gap of Schrödinger operators in two and higher dimensions and in a limit where the volume of the domain tends to infinity. Depending on properties of the underlying potential, we will find different asymptotic behaviours of the gap. In some cases the gap behaves as the gap of the free Dirichlet Laplacian and in some cases it does not.
We study the asymptotic behaviour of the spectral gap of Schrödinger operators in two and higher dimensions and in a limit where the volume of the domain tends to infinity. Depending on properties of the underlying potential, we will find different asymptotic behaviours of the gap. In some cases the gap behaves as the gap of the free Dirichlet Laplacian and in some cases it does not.
△ Less
Submitted 28 October, 2021;
originally announced October 2021.
-
On fully supported eigenfunctions of quantum graphs
Authors:
Marvin Plümer,
Matthias Täufer
Abstract:
We prove that every metric graph which is a tree has an orthonormal sequence of Laplace-eigenfunctions of full support. This implies that the number of nodal domains $ν_n$ of the $n$-th eigenfunction of the Laplacian with standard conditions satisfies $ν_n/n \to 1$ along a subsequence and has previously only been known in special cases such as mutually rationally dependent or rationally independen…
▽ More
We prove that every metric graph which is a tree has an orthonormal sequence of Laplace-eigenfunctions of full support. This implies that the number of nodal domains $ν_n$ of the $n$-th eigenfunction of the Laplacian with standard conditions satisfies $ν_n/n \to 1$ along a subsequence and has previously only been known in special cases such as mutually rationally dependent or rationally independent side lengths. It shows in particular that the Pleijel nodal domain asymptotics from two- or higher dimensional domains cannot occur on these graphs: Despite their more complicated topology, they still behave as in the one-dimensional case. We prove an analogous result on general metric graphs under the condition that they have at least one Dirichlet vertex. Furthermore, we generalize our results to Delta vertex conditions and to edgewise constant potentials. The main technical contribution is a new expression for a secular function in which modifications to the graph, to vertex conditions, and to the potential are particularly easy to understand.
△ Less
Submitted 18 June, 2021;
originally announced June 2021.
-
Cybercosm: New Foundations for a Converged Science Data Ecosystem
Authors:
Mark Asch,
François Bodin,
Micah Beck,
Terry Moore,
Michela Taufer,
Martin Swany,
Jean-Pierre Vilotte
Abstract:
Scientific communities naturally tend to organize around data ecosystems created by the combination of their observational devices, their data repositories, and the workflows essential to carry their research from observation to discovery. However, these legacy data ecosystems are now breaking down under the pressure of the exponential growth in the volume and velocity of these workflows, which ar…
▽ More
Scientific communities naturally tend to organize around data ecosystems created by the combination of their observational devices, their data repositories, and the workflows essential to carry their research from observation to discovery. However, these legacy data ecosystems are now breaking down under the pressure of the exponential growth in the volume and velocity of these workflows, which are further complicated by the need to integrate the highly data intensive methods of the Artificial Intelligence revolution. Enabling ground breaking science that makes full use of this new, data saturated research environment will require distributed systems that support dramatically improved resource sharing, workflow portability and composability, and data ecosystem convergence.
The Cybercosm vision presented in this white paper describes a radically different approach to the architecture of distributed systems for data-intensive science and its application workflows. As opposed to traditional models that restrict interoperability by hiving off storage, networking, and computing resources in separate technology silos, Cybercosm defines a minimally sufficient hypervisor as a spanning layer for its data plane that virtualizes and converges the local resources of the system's nodes in a fully interoperable manner. By building on a common, universal interface into which the problems that infect today's data-intensive workflows can be decomposed and attacked, Cybercosm aims to support scalable, portable and composable workflows that span and merge the distributed data ecosystems that characterize leading edge research communities today.
△ Less
Submitted 29 June, 2021; v1 submitted 22 May, 2021;
originally announced May 2021.
-
Wegner estimate and localisation for alloy type operators with minimal support assumptions on the single site potential
Authors:
Matthias Täufer,
Ivan Veselic
Abstract:
We prove a Wegner estimate for alloy type models merely assuming that the single site potential is lower bounded by a characteristic function of a thick set, that is a particular set of positive measure. The proof is based on two ingredients: New unique continuation principles or uncertainty relations for linear combinations of eigenfunctions of the Laplacian on cubes from [EV20] and established p…
▽ More
We prove a Wegner estimate for alloy type models merely assuming that the single site potential is lower bounded by a characteristic function of a thick set, that is a particular set of positive measure. The proof is based on two ingredients: New unique continuation principles or uncertainty relations for linear combinations of eigenfunctions of the Laplacian on cubes from [EV20] and established proofs for Wegner estimates, e.g.~from [CHK07].
We obtain a Wegner estimate with optimal volume dependence at all energies, and localisation near the minimum of the spectrum, even for some non-stationary random potentials.
We complement the result by showing that a lower bound on the potential by the characteristic function of a thick set is necessary for a (translation uniform) Wegner estimate to hold. Hence, we have identified a sharp condition on the size for the support of random potentials that is sufficient and necessary for the validity of Wegner estimates.
△ Less
Submitted 26 January, 2023; v1 submitted 16 March, 2021;
originally announced March 2021.
-
VPIC 2.0: Next Generation Particle-in-Cell Simulations
Authors:
Robert Bird,
Nigel Tan,
Scott V. Luedtke,
Stephen Lien Harrell,
Michela Taufer,
Brian Albright
Abstract:
VPIC is a general purpose Particle-in-Cell simulation code for modeling plasma phenomena such as magnetic reconnection, fusion, solar weather, and laser-plasma interaction in three dimensions using large numbers of particles. VPIC's capacity in both fidelity and scale makes it particularly well-suited for plasma research on pre-exascale and exascale platforms. In this paper we demonstrate the uniq…
▽ More
VPIC is a general purpose Particle-in-Cell simulation code for modeling plasma phenomena such as magnetic reconnection, fusion, solar weather, and laser-plasma interaction in three dimensions using large numbers of particles. VPIC's capacity in both fidelity and scale makes it particularly well-suited for plasma research on pre-exascale and exascale platforms. In this paper we demonstrate the unique challenges involved in preparing the VPIC code for operation at exascale, outlining important optimizations to make VPIC efficient on accelerators. Specifically, we show the work undertaken in adapting VPIC to exploit the portability-enabling framework Kokkos and highlight the enhancements to VPIC's modeling capabilities to achieve performance at exascale. We assess the achieved performance-portability trade-off through a suite of studies on nine different varieties of modern pre-exascale hardware. Our performance-portability study includes weak-scaling runs on three of the top ten TOP500 supercomputers, as well as a comparison of low-level system performance of hardware from four different vendors.
△ Less
Submitted 25 February, 2021;
originally announced February 2021.
-
PEng4NN: An Accurate Performance Estimation Engine for Efficient Automated Neural Network Architecture Search
Authors:
Ariel Keller Rorabaugh,
Silvina Caíno-Lores,
Michael R. Wyatt II,
Travis Johnston,
Michela Taufer
Abstract:
Neural network (NN) models are increasingly used in scientific simulations, AI, and other high performance computing (HPC) fields to extract knowledge from datasets. Each dataset requires tailored NN model architecture, but designing structures by hand is a time-consuming and error-prone process. Neural architecture search (NAS) automates the design of NN architectures. NAS attempts to find well-p…
▽ More
Neural network (NN) models are increasingly used in scientific simulations, AI, and other high performance computing (HPC) fields to extract knowledge from datasets. Each dataset requires tailored NN model architecture, but designing structures by hand is a time-consuming and error-prone process. Neural architecture search (NAS) automates the design of NN architectures. NAS attempts to find well-performing NN models for specialized datsets, where performance is measured by key metrics that capture the NN capabilities (e.g., accuracy of classification of samples in a dataset). Existing NAS methods are resource intensive, especially when searching for highly accurate models for larger and larger datasets.
To address this problem, we propose a performance estimation strategy that reduces the resources for training NNs and increases NAS throughput without jeopardizing accuracy. We implement our strategy via an engine called PEng4NN that plugs into existing NAS methods; in doing so, PEng4NN predicts the final accuracy of NNs early in the training process, informs the NAS of NN performance, and thus enables the NAS to terminate training NNs early. We assess our engine on three diverse datasets (i.e., CIFAR-100, Fashion MNIST, and SVHN). By reducing the training epochs needed, our engine achieves substantial throughput gain; on average, our engine saves 61% to 82% of training epochs, increasing throughput by a factor of 2.5 to 5 compared to a state-of-the-art NAS method. We achieve this gain without compromising accuracy, as we demonstrate with two key outcomes. First, across all our tests, between 74% and 97% of the ground truth best models lie in our set of predicted best models. Second, the accuracy distributions of the ground truth best models and our predicted best models are comparable, with the mean accuracy values differing by at most .7 percentage points across all tests.
△ Less
Submitted 11 August, 2021; v1 submitted 11 January, 2021;
originally announced January 2021.
-
On the spectral gap of one-dimensional Schrödinger operators on large intervals
Authors:
Joachim Kerner,
Matthias Täufer
Abstract:
We study the effect of non-negative potentials on the spectral gap of one-dimensional Schrödinger operators in the limit of large intervals. In particular, we derive upper and lower bounds on the gap for different classes of potentials which characterize its asymptotic behaviour.
We study the effect of non-negative potentials on the spectral gap of one-dimensional Schrödinger operators in the limit of large intervals. In particular, we derive upper and lower bounds on the gap for different classes of potentials which characterize its asymptotic behaviour.
△ Less
Submitted 13 August, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
The Statistics of Noisy One-Stage Group Testing in Outbreaks
Authors:
Christoph Schumacher,
Matthias Täufer
Abstract:
In one-stage or non-adaptive group testing, instead of testing every sample unit individually, they are split, bundled in pools, and simultaneously tested. The results are then decoded to infer the states of the individual items. This combines advantages of adaptive pooled testing, i. e. saving resources and higher throughput, with those of individual testing, e. g. short detection time and lean l…
▽ More
In one-stage or non-adaptive group testing, instead of testing every sample unit individually, they are split, bundled in pools, and simultaneously tested. The results are then decoded to infer the states of the individual items. This combines advantages of adaptive pooled testing, i. e. saving resources and higher throughput, with those of individual testing, e. g. short detection time and lean laboratory organisation, and might be suitable for screening during outbreaks. We study the COMP and NCOMP decoding algorithms for non-adaptive pooling strategies based on maximally disjunct pooling matrices with constant row and column sums in the linear prevalence regime and in the presence of noisy measurements motivated by PCR tests. We calculate sensitivity, specificity, the probabilities of Type I and II errors, and the expected number of items with a positive result as well as the expected number of false positives and false negatives. We further provide estimates on the variance of the number of positive and false positive results. We conduct a thorough discussion of the calculations and bounds derived. Altogether, the article provides blueprints for screening strategies and tools to help decision makers to appropriately tune them in an outbreak.
△ Less
Submitted 23 November, 2020;
originally announced December 2020.
-
Reproducing GW150914: the first observation of gravitational waves from a binary black hole merger
Authors:
Duncan A. Brown,
Karan Vahi,
Michela Taufer,
Von Welch,
Ewa Deelman
Abstract:
In 2016, LIGO and Virgo announced the first observation of gravitational waves from a binary black hole merger, known as GW150914. To establish the confidence of this detection, large-scale scientific workflows were used to measure the event's statistical significance. They used code written by the LIGO/Virgo and were executed on the LIGO Data Grid. The codes are publicly available, but there has…
▽ More
In 2016, LIGO and Virgo announced the first observation of gravitational waves from a binary black hole merger, known as GW150914. To establish the confidence of this detection, large-scale scientific workflows were used to measure the event's statistical significance. They used code written by the LIGO/Virgo and were executed on the LIGO Data Grid. The codes are publicly available, but there has not yet been an attempt to directly reproduce the results, although several analyses have replicated the analysis, confirming the detection. We attempt to reproduce the result presented in the GW150914 discovery paper using publicly available code on the Open Science Grid. We show that we can reproduce the main result but we cannot exactly reproduce the LIGO analysis as the original data set used is not public. We discuss the challenges we encountered and make recommendations for scientists who wish to make their work reproducible.
△ Less
Submitted 2 March, 2021; v1 submitted 14 October, 2020;
originally announced October 2020.
-
Building Containerized Environments for Reproducibility and Traceability of Scientific Workflows
Authors:
Paula Olaya,
Jay Lofstead,
Michela Taufer
Abstract:
Scientists rely on simulations to study natural phenomena. Trusting the simulation results is vital to develop sciences in any field. One approach to build trust is to ensure the reproducibility and traceability of the simulations through the annotation of executions at the system-level; by the generation of record trails of data moving through the simulation workflow. In this work, we present a s…
▽ More
Scientists rely on simulations to study natural phenomena. Trusting the simulation results is vital to develop sciences in any field. One approach to build trust is to ensure the reproducibility and traceability of the simulations through the annotation of executions at the system-level; by the generation of record trails of data moving through the simulation workflow. In this work, we present a system-level solution that leverages the intrinsic characteristics of containers (i.e., portability, isolation, encapsulation, and unique identifiers). Our solution consists of a containerized environment capable to annotate workflows, capture provenance metadata, and build record trails. We assess our environment on four different workflows and measure containerization costs in terms of time and space. Our solution, built with a tolerable time and space overhead, enables transparent and automatic provenance metadata collection and access, an easy-to-read record trail, and tight connections between data and metadata.
△ Less
Submitted 17 September, 2020;
originally announced September 2020.
-
Spectral localization for quantum Hamiltonians with weak random delta interaction
Authors:
Denis I. Borisov,
Matthias Taeufer,
Ivan Veselic
Abstract:
We consider a negative Laplacian in multi-dimensional Euclidean space (or a multi-dimensional layer) with a weak disorder random perturbation.
The perturbation consists of a sum of lattice translates of a delta interaction supported on a compact manifold of co-dimension one and modulated by coupling constants which are independent identically distributed random variables times a small disorder p…
▽ More
We consider a negative Laplacian in multi-dimensional Euclidean space (or a multi-dimensional layer) with a weak disorder random perturbation.
The perturbation consists of a sum of lattice translates of a delta interaction supported on a compact manifold of co-dimension one and modulated by coupling constants which are independent identically distributed random variables times a small disorder parameter.
We establish that the spectrum of the considered operator is almost surely a fixed set, characerize its minimum, give an initial length scale estimate and the Wegner estimate and conclude that there is a small zone of a pure point spectrum containing the almost sure spectral bottom. The length of this zone is proportional to the small disorder parameter.
△ Less
Submitted 15 March, 2020;
originally announced March 2020.
-
Quantum Hamiltonians with weak random abstract perturbation. II. Localization in the expanded spectrum
Authors:
Denis Borisov,
Matthias Täufer,
Ivan Veselic
Abstract:
We consider multi-dimensional Schrödinger operators with a weak random perturbation distributed in the cells of some periodic lattice. In every cell the perturbation is described by the translate of a fixed abstract operator depending on a random variable. The random variables, indexed by the lattice, are assumed to be independent and identically distributed according to an absolutely continuous p…
▽ More
We consider multi-dimensional Schrödinger operators with a weak random perturbation distributed in the cells of some periodic lattice. In every cell the perturbation is described by the translate of a fixed abstract operator depending on a random variable. The random variables, indexed by the lattice, are assumed to be independent and identically distributed according to an absolutely continuous probability density. A small global coupling constant tunes the strength of the perturbation. We treat analogous random Hamiltonians defined on multi-dimensional layers, as well. For such models we determine the location of the almost sure spectrum and its dependence on the global coupling constant. In this paper we concentrate on the case that the spectrum expands when the perturbation is switched on. Furthermore, we derive a Wegner estimate and an initial length scale estimate, which together with Combes--Thomas estimate allows to invoke the multi-scale analysis proof of localization. We specify an energy region, including the bottom of the almost sure spectrum, which exhibits spectral and dynamical localization. Due to our treatment of general, abstract perturbations our results apply at once to many interesting examples both known and new.
△ Less
Submitted 7 March, 2020;
originally announced March 2020.
-
Band edge localization beyond regular Floquet eigenvalues
Authors:
Albrecht Seelmann,
Matthias Täufer
Abstract:
We prove that localization near band edges of multi-dimensional ergodic random Schrödinger operators with periodic background potential in $L^2(\mathbb{R}^d)$ is universal. By this we mean that localization in its strongest dynamical form holds without extra assumptions on the random variables and independently of regularity or degeneracy of the Floquet eigenvalues of the background operator. The…
▽ More
We prove that localization near band edges of multi-dimensional ergodic random Schrödinger operators with periodic background potential in $L^2(\mathbb{R}^d)$ is universal. By this we mean that localization in its strongest dynamical form holds without extra assumptions on the random variables and independently of regularity or degeneracy of the Floquet eigenvalues of the background operator. The main novelty is an initial scale estimate the proof of which avoids Floquet theory altogether and uses instead an interplay between quantitative unique continuation and large deviation estimates. Furthermore, our reasoning is sufficiently flexible to prove this initial scale estimate in a non-ergodic setting, which promises to be an ingredient for understanding band edge localization also in these situations.
△ Less
Submitted 7 May, 2020; v1 submitted 18 October, 2019;
originally announced October 2019.
-
Protecting points from operator pencils
Authors:
Albrecht Seelmann,
Matthias Täufer,
Krešimir Veselić
Abstract:
We classify all sets of the form $\bigcup_{t\in\mathbb{R}}\mathrm{spec}(A+tB)$ where $A$ and $B$ are self-adjoint operators and $B$ is bounded, non-negative, and non-zero. We show that these sets are exactly the complements of discrete subsets of $\mathbb{R}$, that is, of at most countable subsets of $\mathbb{R}$ that contain none of their accumulation points.
We classify all sets of the form $\bigcup_{t\in\mathbb{R}}\mathrm{spec}(A+tB)$ where $A$ and $B$ are self-adjoint operators and $B$ is bounded, non-negative, and non-zero. We show that these sets are exactly the complements of discrete subsets of $\mathbb{R}$, that is, of at most countable subsets of $\mathbb{R}$ that contain none of their accumulation points.
△ Less
Submitted 11 May, 2020; v1 submitted 23 August, 2019;
originally announced August 2019.
-
SOMOSPIE: A modular SOil MOisture SPatial Inference Engine based on data driven decisions
Authors:
Danny Rorabaugh,
Mario Guevara,
Ricardo Llamas,
Joy Kitson,
Rodrigo Vargas,
Michela Taufer
Abstract:
The current availability of soil moisture data over large areas comes from satellite remote sensing technologies (i.e., radar-based systems), but these data have coarse resolution and often exhibit large spatial information gaps. Where data are too coarse or sparse for a given need (e.g., precision agriculture), one can leverage machine-learning techniques coupled with other sources of environment…
▽ More
The current availability of soil moisture data over large areas comes from satellite remote sensing technologies (i.e., radar-based systems), but these data have coarse resolution and often exhibit large spatial information gaps. Where data are too coarse or sparse for a given need (e.g., precision agriculture), one can leverage machine-learning techniques coupled with other sources of environmental information (e.g., topography) to generate gap-free information and at a finer spatial resolution (i.e., increased granularity). To this end, we develop a spatial inference engine consisting of modular stages for processing spatial environmental data, generating predictions with machine-learning techniques, and analyzing these predictions. We demonstrate the functionality of this approach and the effects of data processing choices via multiple prediction maps over a United States ecological region with a highly diverse soil moisture profile (i.e., the Middle Atlantic Coastal Plains). The relevance of our work derives from a pressing need to improve the spatial representation of soil moisture for applications in environmental sciences (e.g., ecological niche modeling, carbon monitoring systems, and other Earth system models) and precision agriculture (e.g., optimizing irrigation practices and other land management decisions).
△ Less
Submitted 20 May, 2019; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Applicability study of the PRIMAD model to LIGO gravitational wave search workflows
Authors:
Dylan Chapp,
Danny Rorabaugh,
Duncan Brown,
Ewa Deelman,
Karan Vahi,
Von Welch,
Michela Taufer
Abstract:
The PRIMAD model with its six components (i.e., Platform, Research Objective, Implementation, Methods, Actors, and Data), provides an abstract taxonomy to represent computational experiments and enforce reproducibility by design. In this paper, we assess the model applicability to a set of Laser Interferometer Gravitational-Wave Observatory (LIGO) workflows from literature sources (i.e., published…
▽ More
The PRIMAD model with its six components (i.e., Platform, Research Objective, Implementation, Methods, Actors, and Data), provides an abstract taxonomy to represent computational experiments and enforce reproducibility by design. In this paper, we assess the model applicability to a set of Laser Interferometer Gravitational-Wave Observatory (LIGO) workflows from literature sources (i.e., published papers). Our work outlines potentials and limits of the model in terms of its abstraction levels and application process.
△ Less
Submitted 10 April, 2019;
originally announced April 2019.
-
Studying the Impact of Power Cap** on MapReduce-based, Data-intensive Mini-applications on Intel KNL and KNM Architectures
Authors:
Joshua Hoke Davis,
Tao Gao,
Sunita Chandresekaran,
Michela Taufer
Abstract:
In this poster, we quantitatively measure the impacts of data movement on performance in MapReduce-based applications when executed on HPC systems. We leverage the PAPI 'powercap' component to identify ideal conditions for execution of our applications in terms of (1) dataset characteristics (i.e., unique words); (2) HPC system (i.e., KNL and KNM); and (3) implementation of the MapReduce programmi…
▽ More
In this poster, we quantitatively measure the impacts of data movement on performance in MapReduce-based applications when executed on HPC systems. We leverage the PAPI 'powercap' component to identify ideal conditions for execution of our applications in terms of (1) dataset characteristics (i.e., unique words); (2) HPC system (i.e., KNL and KNM); and (3) implementation of the MapReduce programming model (i.e., with or without combiner optimizations). Results confirm the high energy and runtime costs of data movement, and the benefits of the combiner optimization on these costs.
△ Less
Submitted 15 February, 2019;
originally announced March 2019.
-
Null-controllability and control cost estimates for the heat equation on unbounded and large bounded domains
Authors:
Michela Egidi,
Ivica Nakić,
Albrecht Seelmann,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
We survey recent results on the control problem for the heat equation on unbounded and large bounded domains. First we formulate new uncertainty relations, respectively spectral inequalities. Then we present an abstract control cost estimate which improves upon earlier results. It is particularly interesting when combined with the earlier mentioned spectral inequalities since it yields sharp contr…
▽ More
We survey recent results on the control problem for the heat equation on unbounded and large bounded domains. First we formulate new uncertainty relations, respectively spectral inequalities. Then we present an abstract control cost estimate which improves upon earlier results. It is particularly interesting when combined with the earlier mentioned spectral inequalities since it yields sharp control cost bounds in several asymptotic regimes. We also show that control problems on unbounded domains can be approximated by corresponding problems on a sequence of bounded domains forming an exhaustion. Our results apply also for the generalized heat equation associated with a Schrödinger semigroup.
△ Less
Submitted 17 August, 2020; v1 submitted 26 October, 2018;
originally announced October 2018.
-
Sharp estimates and homogenization of the control cost of the heat equation on large domains
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
We prove new bounds on the control cost for the abstract heat equation, assuming a spectral inequality or uncertainty relation for spectral projectors. In particular, we specify quantitatively how upper bounds on the control cost depend on the constants in the spectral inequality. This is then applied to the heat flow on bounded and unbounded domains modeled by a Schrödinger semigroup. This means…
▽ More
We prove new bounds on the control cost for the abstract heat equation, assuming a spectral inequality or uncertainty relation for spectral projectors. In particular, we specify quantitatively how upper bounds on the control cost depend on the constants in the spectral inequality. This is then applied to the heat flow on bounded and unbounded domains modeled by a Schrödinger semigroup. This means that the heat evolution generator is allowed to contain a potential term. The observability/control set is assumed to obey an equidistribution or a thickness condition, depending on the context. Complementary lower bounds and examples show that our control cost estimates are sharp in certain asymptotic regimes. One of these is dubbed homogenization regime and corresponds to the situation that the control set becomes more and more evenly distributed throughout the domain while its density remains constant.
△ Less
Submitted 29 September, 2020; v1 submitted 25 October, 2018;
originally announced October 2018.
-
Eigenfunctions and the Integrated Density of States on Archimedean Tilings
Authors:
Norbert Peyerimhoff,
Matthias Täufer
Abstract:
We study existence and absence of $\ell^2$-eigenfunctions of the combinatorial Laplacian on the 11 Archimedean tilings of the Euclidean plane by regular convex polygons. We show that exactly two of these tilings (namely the $(3.6)^2$ "Kagome" tiling and the $(3.12^2)$ tiling) have $\ell^2$-eigenfunctions. These eigenfunctions are infinitely degenerate and are constituted of explicitly described ei…
▽ More
We study existence and absence of $\ell^2$-eigenfunctions of the combinatorial Laplacian on the 11 Archimedean tilings of the Euclidean plane by regular convex polygons. We show that exactly two of these tilings (namely the $(3.6)^2$ "Kagome" tiling and the $(3.12^2)$ tiling) have $\ell^2$-eigenfunctions. These eigenfunctions are infinitely degenerate and are constituted of explicitly described eigenfunctions which are supported on a finite number of vertices of the underlying graph (namely on the hexagons and $12$-gons in the tilings, respectively). Furthermore, we provide an explicit expression for the Integrated Density of States (IDS) of the Laplacian on Archimedean tilings in terms of eigenvalues of Floquet matrices and deduce integral formulas for the IDS of the Laplacian on the $(4^4)$, $(3^6)$, $(6^3)$, $(3.6)^2$, and $(3.12^2)$ tilings. Our method of proof can be applied to other $\mathbb{Z}^d$-periodic graphs as well.
△ Less
Submitted 24 January, 2020; v1 submitted 17 July, 2018;
originally announced July 2018.
-
Unique continuation and lifting of spectral band edges of Schrödinger operators on unbounded domains (With an Appendix by Albrecht Seelmann)
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic,
Albrecht Seelmann
Abstract:
We prove and apply two theorems: First, a quantitative, scale-free unique continuation estimate for functions in a spectral subspace of a Schrödinger operator on a bounded or unbounded domain, second, a perturbation and lifting estimate for edges of the essential spectrum of a self-adjoint operator under a semi-definite perturbation. These two results are combined to obtain lower and upper Lipschi…
▽ More
We prove and apply two theorems: First, a quantitative, scale-free unique continuation estimate for functions in a spectral subspace of a Schrödinger operator on a bounded or unbounded domain, second, a perturbation and lifting estimate for edges of the essential spectrum of a self-adjoint operator under a semi-definite perturbation. These two results are combined to obtain lower and upper Lipschitz bounds on the function parametrizing locally a chosen edge of the essential spectrum of a Schrödinger operator in dependence of a coupling constant. Analogous estimates for eigenvalues, possibly in gaps of the essential spectrum, are exhibited as well.
△ Less
Submitted 17 August, 2020; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Laplace-eigenfunctions on the torus with high vanishing order
Authors:
Matthias Täufer
Abstract:
We use the sum-of-squares theorem from number theory to construct eigenfunctions of the Laplacian on the $d$-dimensional torus, $d \geq 2$, which vanish to any prescribed order at some point. These functions are then applied to provide a negative answer (in dimension $d \geq 2$) to a question in the context of quantitative unique continuation for spectral projectors of Schrödinger operators, asked…
▽ More
We use the sum-of-squares theorem from number theory to construct eigenfunctions of the Laplacian on the $d$-dimensional torus, $d \geq 2$, which vanish to any prescribed order at some point. These functions are then applied to provide a negative answer (in dimension $d \geq 2$) to a question in the context of quantitative unique continuation for spectral projectors of Schrödinger operators, asked by Egidi and Veselić.
△ Less
Submitted 25 October, 2017;
originally announced October 2017.
-
Wegner estimate and disorder dependence for alloy-type Hamiltonians with bounded magnetic potential
Authors:
Matthias Täufer,
Martin Tautenhahn
Abstract:
We consider non-ergodic magnetic random Schödinger operators with a bounded magnetic vector potential. We prove an optimal Wegner estimate valid at all energies. The proof is an adaptation of the arguments from [Kle13], combined with a recent quantitative unique continuation estimate for eigenfunctions of elliptic operators from [BTV15]. This generalizes Klein's result to operators with a bounded…
▽ More
We consider non-ergodic magnetic random Schödinger operators with a bounded magnetic vector potential. We prove an optimal Wegner estimate valid at all energies. The proof is an adaptation of the arguments from [Kle13], combined with a recent quantitative unique continuation estimate for eigenfunctions of elliptic operators from [BTV15]. This generalizes Klein's result to operators with a bounded magnetic vector potential. Moreover, we study the dependence of the Wegner-constant on the disorder parameter. In particular, we show that above the model-dependent threshold $E_0(\infty) \in (0, \infty]$, it is impossible that the Wegner-constant tends to zero if the disorder increases. This result is new even for the standard (ergodic) Anderson Hamiltonian with vanishing magnetic field.
△ Less
Submitted 8 December, 2017; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Unique continuation principles and their absence for Schrödinger eigenfunctions on combinatorial and quantum graphs and in continuum space
Authors:
Norbert Peyerimhoff,
Matthias Täufer,
Ivan Veselic
Abstract:
For the analysis of the Schrödinger and related equations it is of central importance whether a unique continuation principle (UCP) holds or not. In continuum Euclidean space quantitative forms of unique continuation imply Wegner estimates and regularity properties of the integrated density of states (IDS) of Schrödinger operators with random potentials. For discrete Schrödinger equations on the l…
▽ More
For the analysis of the Schrödinger and related equations it is of central importance whether a unique continuation principle (UCP) holds or not. In continuum Euclidean space quantitative forms of unique continuation imply Wegner estimates and regularity properties of the integrated density of states (IDS) of Schrödinger operators with random potentials. For discrete Schrödinger equations on the lattice only a weak analog of the UCP holds, but it is sufficient to guarantee the continuity of the IDS. For other combinatorial graphs this is no longer true. Similarly, for quantum graphs the UCP does not hold in general and consequently, the IDS does not need to be continuous.
△ Less
Submitted 17 February, 2017;
originally announced February 2017.
-
Scale-free and quantitative unique continuation for infinite dimensional spectral subspaces of Schrödinger operators
Authors:
Matthias Täufer,
Martin Tautenhahn
Abstract:
We prove a quantitative unique continuation principle for infinite dimensional spectral subspaces of Schrödinger operators. Let $Λ_L = (-L/2,L/2)^d$ and $H_L = -Δ_L + V_L$ be a Schrödinger operator on $L^2 (Λ_L)$ with a bounded potential $V_L : Λ_L \to \mathbb{R}^d$ and Dirichlet, Neumann, or periodic boundary conditions. Our main result is of the type
\[
\int_{Λ_L} \lvert φ\rvert^2 \leq C_{\m…
▽ More
We prove a quantitative unique continuation principle for infinite dimensional spectral subspaces of Schrödinger operators. Let $Λ_L = (-L/2,L/2)^d$ and $H_L = -Δ_L + V_L$ be a Schrödinger operator on $L^2 (Λ_L)$ with a bounded potential $V_L : Λ_L \to \mathbb{R}^d$ and Dirichlet, Neumann, or periodic boundary conditions. Our main result is of the type
\[
\int_{Λ_L} \lvert φ\rvert^2 \leq C_{\mathrm{sfuc}} \int_{W_δ(L)} \lvert φ\rvert^2,
\] where $φ$ is an infinite complex linear combination of eigenfunctions of $H_L$ with exponentially decaying coefficients, $W_δ(L)$ is some union of equidistributed $δ$-balls in $Λ_L$ and $C_{\mathrm{sfuc}} > 0$ an $L$-independent constant. The exponential decay condition on $φ$ can alternatively be formulated as an exponential decay condition of the map $λ\mapsto \lVert χ_{[λ, \infty)} (H_L) φ\rVert^2$. The novelty is that at the same time we allow the function $φ$ to be from an infinite dimensional spectral subspace and keep an explicit control over the constant $C_{\mathrm{sfuc}}$ in terms of the parameters. Moreover, we show that a similar result cannot hold under a polynomial decay condition.
△ Less
Submitted 22 May, 2017; v1 submitted 23 September, 2016;
originally announced September 2016.
-
Scale-free unique continuation principle, eigenvalue lifting and Wegner estimates for random Schrödinger operators
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
We prove a scale-free, quantitative unique continuation principle for functions in the range of the spectral projector $χ_{(-\infty,E]}(H_L)$ of a Schrödinger operator $H_L$ on a cube of side $L\in \mathbb{N}$, with bounded potential. Such estimates are also called, depending on the context, uncertainty principles, observability estimates, or spectral inequalities. We apply it to (i) prove a Wegne…
▽ More
We prove a scale-free, quantitative unique continuation principle for functions in the range of the spectral projector $χ_{(-\infty,E]}(H_L)$ of a Schrödinger operator $H_L$ on a cube of side $L\in \mathbb{N}$, with bounded potential. Such estimates are also called, depending on the context, uncertainty principles, observability estimates, or spectral inequalities. We apply it to (i) prove a Wegner estimate for random Schrödinger operators with non-linear parameter-dependence and to (ii) exhibit the dependence of the control cost on geometric model parameters for the heat equation in a multi-scale domain.
△ Less
Submitted 7 September, 2016;
originally announced September 2016.
-
Wegner estimate for Landau-breather Hamiltonians
Authors:
Matthias Täufer,
Ivan Veselic
Abstract:
We consider Landau Hamiltonians with a weak coupling random electric potential of breather type.
Under appropriate assumptions we prove a Wegner estimate.
It implies the Hoelder continuity of the integrated density of states.
The main challenge is the problem how to deal with non-linear dependence on the random parameters.
We consider Landau Hamiltonians with a weak coupling random electric potential of breather type.
Under appropriate assumptions we prove a Wegner estimate.
It implies the Hoelder continuity of the integrated density of states.
The main challenge is the problem how to deal with non-linear dependence on the random parameters.
△ Less
Submitted 1 July, 2016;
originally announced July 2016.
-
Harmonic Analysis and Random Schrödinger Operators
Authors:
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselic
Abstract:
This survey is based on a series of lectures given during the \emph{School on Random Schrödinger Operators} and the \emph{International Conference on Spectral Theory and Mathematical Physics} at the Pontificia Universidad Catolica de Chile, held in Santiago in November 2014. As the title suggests, the presented material has two foci: Harmonic analysis, more precisely, unique continuation propertie…
▽ More
This survey is based on a series of lectures given during the \emph{School on Random Schrödinger Operators} and the \emph{International Conference on Spectral Theory and Mathematical Physics} at the Pontificia Universidad Catolica de Chile, held in Santiago in November 2014. As the title suggests, the presented material has two foci: Harmonic analysis, more precisely, unique continuation properties of several natural function classes and Schrödinger operators, more precisely properties of their eigenvalues, eigenfunctions and solutions of associated differential equations. It mixes topics from (rather) pure to (rather) applied mathematics, as well as classical questions and results dating back a whole century to very recent and even unpublished ones. The selection of material covered is based on the selection made for the minicourse, and is certainly a personal choice corresponding to the research interests of the authors.
△ Less
Submitted 15 January, 2016; v1 submitted 14 January, 2016;
originally announced January 2016.
-
In-Situ Data Analysis of Protein Folding Trajectories
Authors:
Travis Johnston,
Boyu Zhang,
Adam Liwo,
Silvia Crivelli,
Michela Taufer
Abstract:
The transition from petascale to exascale computers is characterized by substantial changes in the computer architectures and technologies. The research community relying on computational simulations is being forced to revisit the algorithms for data generation and analysis due to various concerns, such as higher degrees of concurrency, deeper memory hierarchies, substantial I/O and communication…
▽ More
The transition from petascale to exascale computers is characterized by substantial changes in the computer architectures and technologies. The research community relying on computational simulations is being forced to revisit the algorithms for data generation and analysis due to various concerns, such as higher degrees of concurrency, deeper memory hierarchies, substantial I/O and communication constraints. Simulations today typically save all data to analyze later. Simulations at the exascale will require us to analyze data as it is generated and save only what is really needed for analysis, which must be performed predominately in-situ, i.e., executed sufficiently fast locally, limiting memory and disk usage, and avoiding the need to move large data across nodes.
In this paper, we present a distributed method that enables in-situ data analysis for large protein folding trajectory datasets. Traditional trajectory analysis methods currently follow a centralized approach that moves the trajectory datasets to a centralized node and processes the data only after simulations have been completed. Our method, on the other hand, captures conformational information in-situ using local data only while reducing the storage space needed for the part of the trajectory under consideration. This method processes the input trajectory data in one pass, breaks from the centralized approach of traditional analysis, avoids the movement of trajectory data, and still builds the global knowledge on the formation of individual $α$-helices or $β$-strands as trajectory frames are generated.
△ Less
Submitted 30 October, 2015; v1 submitted 29 October, 2015;
originally announced October 2015.
-
Conditional Wegner estimate for the standard random breather potential
Authors:
Matthias Täufer,
Ivan Veselic
Abstract:
We prove a conditional Wegner estimate for Schrödinger operators with random potentials of breather type. More precisely, we reduce the proof of the Wegner estimate to a scale free unique continuation principle. The relevance of such unique continuation principles has been emphasized in previous papers, in particular in recent years.
We consider the standard breather model, meaning that the sing…
▽ More
We prove a conditional Wegner estimate for Schrödinger operators with random potentials of breather type. More precisely, we reduce the proof of the Wegner estimate to a scale free unique continuation principle. The relevance of such unique continuation principles has been emphasized in previous papers, in particular in recent years.
We consider the standard breather model, meaning that the single site potential is the characteristic function of a ball or a cube. While our methods work for a substantially larger class of random breather potentials, we discuss in this particular paper only the standard model in order to make the arguments and ideas easily accessible.
△ Less
Submitted 9 September, 2015;
originally announced September 2015.
-
Scale-free uncertainty principles and Wegner estimates for random breather potentials
Authors:
Ivica Nakić,
Matthias Täufer,
Martin Tautenhahn,
Ivan Veselić
Abstract:
We present new scale-free quantitative unique continuation principles for Schrödinger operators. They apply to linear combinations of eigenfunctions corresponding to eigenvalues below a prescribed energy, and can be formulated as an uncertainty principle for spectral projectors. This extends recent results of Rojas-Molina & Veselić, and Klein. We apply the scale-free unique continuation principle…
▽ More
We present new scale-free quantitative unique continuation principles for Schrödinger operators. They apply to linear combinations of eigenfunctions corresponding to eigenvalues below a prescribed energy, and can be formulated as an uncertainty principle for spectral projectors. This extends recent results of Rojas-Molina & Veselić, and Klein. We apply the scale-free unique continuation principle to obtain a Wegner estimate for a random Schrödinger operator of breather type. It holds for arbitrarily high energies. Schrödinger operators with random breather potentials have a non-linear dependence on random variables. We explain the challenges arising from this non-linear dependence.
△ Less
Submitted 6 October, 2015; v1 submitted 20 October, 2014;
originally announced October 2014.
-
Hierarchical fractional-step approximations and parallel kinetic Monte Carlo algorithms
Authors:
Giorgos Arampatzis,
Markos A. Katsoulakis,
Petr Plechac,
Michela Taufer,
Lifan Xu
Abstract:
We present a mathematical framework for constructing and analyzing parallel algorithms for lattice Kinetic Monte Carlo (KMC) simulations. The resulting algorithms have the capacity to simulate a wide range of spatio-temporal scales in spatially distributed, non-equilibrium physiochemical processes with complex chemistry and transport micro-mechanisms. The algorithms can be tailored to specific hie…
▽ More
We present a mathematical framework for constructing and analyzing parallel algorithms for lattice Kinetic Monte Carlo (KMC) simulations. The resulting algorithms have the capacity to simulate a wide range of spatio-temporal scales in spatially distributed, non-equilibrium physiochemical processes with complex chemistry and transport micro-mechanisms. The algorithms can be tailored to specific hierarchical parallel architectures such as multi-core processors or clusters of Graphical Processing Units (GPUs). The proposed parallel algorithms are controlled-error approximations of kinetic Monte Carlo algorithms, departing from the predominant paradigm of creating parallel KMC algorithms with exactly the same master equation as the serial one.
Our methodology relies on a spatial decomposition of the Markov operator underlying the KMC algorithm into a hierarchy of operators corresponding to the processors' structure in the parallel architecture. Based on this operator decomposition, we formulate Fractional Step Approximation schemes by employing the Trotter Theorem and its random variants; these schemes, (a) determine the communication schedule} between processors, and (b) are run independently on each processor through a serial KMC simulation, called a kernel, on each fractional step time-window.
Furthermore, the proposed mathematical framework allows us to rigorously justify the numerical and statistical consistency of the proposed algorithms, showing the convergence of our approximating schemes to the original serial KMC. The approach also provides a systematic evaluation of different processor communicating schedules.
△ Less
Submitted 23 May, 2011;
originally announced May 2011.
