-
A Cyclical Fast Iterative Method for Simulating Reentries in Cardiac Electrophysiology Using an Eikonal-Based Model
Authors:
C. Barrios Espinosa,
J. Sánchez,
S. Appel,
S. Becker,
J. Krauß,
P. Martínez Díaz,
L. Unger,
Marie Houillon,
Axel Loewe
Abstract:
Background: Computer models for simulating cardiac electrophysiology are valuable tools for research and clinical applications. Traditional reaction-diffusion (RD) models used for these purposes are computationally expensive. While eikonal models offer a faster alternative, they are not well-suited to study cardiac arrhythmias driven by reentrant activity. The present work extends the diffusion-re…
▽ More
Background: Computer models for simulating cardiac electrophysiology are valuable tools for research and clinical applications. Traditional reaction-diffusion (RD) models used for these purposes are computationally expensive. While eikonal models offer a faster alternative, they are not well-suited to study cardiac arrhythmias driven by reentrant activity. The present work extends the diffusion-reaction eikonal alternant model (DREAM), incorporating conduction velocity (CV) restitution for simulating complex cardiac arrhythmias.
Methods: The DREAM modifies the fast iterative method to model cyclical behavior, dynamic boundary conditions, and frequency-dependent anisotropic CV. Additionally, the model alternates with an approximated RD model, using a detailed ionic model for the reaction term and a triple-Gaussian to approximate the diffusion term. The DREAM and monodomain models were compared, simulating reentries in 2D manifolds with different resolutions.
Results: The DREAM produced similar results across all resolutions, while experiments with the monodomain model failed at lower resolutions. CV restitution curves obtained using the DREAM closely approximated those produced by the monodomain simulations. Reentry in 2D slabs yielded similar results in vulnerable window and mean reentry duration for low CV in both models. In the left atrium, most inducing points identified by the DREAM were also present in the high-resolution monodomain model. DREAM's reentry simulations on meshes with an average edge length of 1600$μ$m were 40x faster than monodomain simulations at 200$μ$m.
Conclusion: This work establishes the mathematical foundation for using the accelerated DREAM simulation method for cardiac electrophysiology. Cardiac research applications are enabled by a publicly available implementation in the openCARP simulator.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Discrete vs. continuous in the semiclassical limit
Authors:
Simon Becker,
Jens Wittsten,
Maciej Zworski
Abstract:
We compare the bottom of the spectrum of discrete and continuous Schrödinger operators with periodic potentials with barriers at the boundaries of their fundamental domains. Our results show that these energy levels coincide in the semiclassical limit and we provide an explicit rate of convergence. We demonstrate the optimality of our results by using Bohr-Sommerfeld quantization conditions for po…
▽ More
We compare the bottom of the spectrum of discrete and continuous Schrödinger operators with periodic potentials with barriers at the boundaries of their fundamental domains. Our results show that these energy levels coincide in the semiclassical limit and we provide an explicit rate of convergence. We demonstrate the optimality of our results by using Bohr-Sommerfeld quantization conditions for potentials exhibiting non-degenerate wells, and by numerical experiments for more general potentials. We also investigate the dependence of the spectrum of the discrete semiclassical Schrödinger operator on the semiclassical parameter $h$ and show that it can be discontinuous.
△ Less
Submitted 9 June, 2024;
originally announced June 2024.
-
Online randomized interpolative decomposition with a posteriori error estimator for temporal PDE data reduction
Authors:
Angran Li,
Stephen Becker,
Alireza Doostan
Abstract:
Traditional low-rank approximation is a powerful tool to compress the huge data matrices that arise in simulations of partial differential equations (PDE), but suffers from high computational cost and requires several passes over the PDE data. The compressed data may also lack interpretability thus making it difficult to identify feature patterns from the original data. To address this issue, we p…
▽ More
Traditional low-rank approximation is a powerful tool to compress the huge data matrices that arise in simulations of partial differential equations (PDE), but suffers from high computational cost and requires several passes over the PDE data. The compressed data may also lack interpretability thus making it difficult to identify feature patterns from the original data. To address this issue, we present an online randomized algorithm to compute the interpolative decomposition (ID) of large-scale data matrices in situ. Compared to previous randomized IDs that used the QR decomposition to determine the column basis, we adopt a streaming ridge leverage score-based column subset selection algorithm that dynamically selects proper basis columns from the data and thus avoids an extra pass over the data to compute the coefficient matrix of the ID. In particular, we adopt a single-pass error estimator based on the non-adaptive Hutch++ algorithm to provide real-time error approximation for determining the best coefficients. As a result, our approach only needs a single pass over the original data and thus is suitable for large and high-dimensional matrices stored outside of core memory or generated in PDE simulations. We also provide numerical experiments on turbulent channel flow and ignition simulations, and on the NSTX Gas Puff Image dataset, comparing our algorithm with the offline ID algorithm to demonstrate its utility in real-world applications.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
New Procedure for Evaluation of U(3) Coupling and Recoupling Coefficients
Authors:
Phong Dang,
Jerry P. Draayer,
Feng Pan,
Kevin S. Becker
Abstract:
A simple method to calculate Wigner coupling coefficients and Racah recoupling coefficients for U(3) in two group-subgroup chains is presented. While the canonical U(3)->U(2)->U(1) coupling and recoupling coefficients are applicable to any system that respects U(3) symmetry, the U(3)->SO(3) coupling coefficients are more specific to nuclear structure studies. This new procedure precludes the use o…
▽ More
A simple method to calculate Wigner coupling coefficients and Racah recoupling coefficients for U(3) in two group-subgroup chains is presented. While the canonical U(3)->U(2)->U(1) coupling and recoupling coefficients are applicable to any system that respects U(3) symmetry, the U(3)->SO(3) coupling coefficients are more specific to nuclear structure studies. This new procedure precludes the use of binomial coefficients and alternating sums which were used in the 1973 formulation of Draayer and Akiyama, and hence provides faster and more accurate output of requested results. The resolution of the outer multiplicity is based on the null space concept of the U(3) generators proposed by Arne Alex et al., whereas the inner multiplicity in the angular momentum subgroup chain is obtained from the dimension of the null space of the SO(3) raising operator. A C++ library built on this new methodology will be published in a complementary journal that specializes in the management and distribution of such programs.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
Generating Synthetic Ground Truth Distributions for Multi-step Trajectory Prediction using Probabilistic Composite Bézier Curves
Authors:
Ronny Hug,
Stefan Becker,
Wolfgang Hübner,
Michael Arens
Abstract:
An appropriate data basis grants one of the most important aspects for training and evaluating probabilistic trajectory prediction models based on neural networks. In this regard, a common shortcoming of current benchmark datasets is their limitation to sets of sample trajectories and a lack of actual ground truth distributions, which prevents the use of more expressive error metrics, such as the…
▽ More
An appropriate data basis grants one of the most important aspects for training and evaluating probabilistic trajectory prediction models based on neural networks. In this regard, a common shortcoming of current benchmark datasets is their limitation to sets of sample trajectories and a lack of actual ground truth distributions, which prevents the use of more expressive error metrics, such as the Wasserstein distance for model evaluation. Towards this end, this paper proposes a novel approach to synthetic dataset generation based on composite probabilistic Bézier curves, which is capable of generating ground truth data in terms of probability distributions over full trajectories. This allows the calculation of arbitrary posterior distributions. The paper showcases an exemplary trajectory prediction model evaluation using generated ground truth distribution data.
△ Less
Submitted 5 April, 2024;
originally announced April 2024.
-
Uncertainty Quantification of Collective Nuclear Observables From the Chiral Potential Parametrization
Authors:
Kevin S. Becker,
Kristina D. Launey,
Andreas Ekström,
Tomáš Dytrych,
Daniel Langr,
Grigor H. Sargsyan,
Jerry P. Draayer
Abstract:
We perform an uncertainty estimate of quadrupole moments and B(E2) transition rates that inform nuclear collectivity. In particular, we study the low-lying states of 6Li and 12C using the ab initio symmetry-adapted no-core shell model. For a narrow standard deviation of approximately 1% on the low-energy constants which parametrize high-precision chiral potentials, we find output standard deviatio…
▽ More
We perform an uncertainty estimate of quadrupole moments and B(E2) transition rates that inform nuclear collectivity. In particular, we study the low-lying states of 6Li and 12C using the ab initio symmetry-adapted no-core shell model. For a narrow standard deviation of approximately 1% on the low-energy constants which parametrize high-precision chiral potentials, we find output standard deviations in the collective observables ranging from approximately 3-6%. The results mark the first step towards a rigorous uncertainty quantification of collectivity in nuclei that aims to account for all sources of uncertainty in ab initio descriptions of challenging collective and clustering observables.
△ Less
Submitted 27 March, 2024;
originally announced April 2024.
-
On the Hartree-Fock Ground State Manifold in Magic Angle Twisted Graphene Systems
Authors:
Kevin D. Stubbs,
Simon Becker,
Lin Lin
Abstract:
Recent experiments have shown that magic angle twisted bilayer graphene (MATBG) can exhibit correlated insulator behavior at half-filling. Seminal theoretical results towards understanding this phase in MATBG has shown that Hartree-Fock ground states (with a positive charge gap) can be exact many-body ground states of an idealized flat band interacting (FBI) Hamiltonian. We prove that in the absen…
▽ More
Recent experiments have shown that magic angle twisted bilayer graphene (MATBG) can exhibit correlated insulator behavior at half-filling. Seminal theoretical results towards understanding this phase in MATBG has shown that Hartree-Fock ground states (with a positive charge gap) can be exact many-body ground states of an idealized flat band interacting (FBI) Hamiltonian. We prove that in the absence of spin and valley degrees of freedom, the only Hartree-Fock ground states of the FBI Hamiltonian for MATBG are two ferromagnetic Slater determinants. Incorporating spin and valley degrees of freedom, we provide a complete characterization of the Hartree-Fock ground state manifold, which is generated by a ${\rm U}(4) \times {\rm U}(4)$ hidden symmetry group acting on five elements. We also introduce new tools for ruling out translation symmetry breaking in the Hartree-Fock ground state manifold, which may be of independent interest.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
HyLiMo: A Hybrid Live-Synchronized Modular Diagramming Editor as IDE Extension for Technical and Scientific Publications
Authors:
Niklas Krieger,
Sandro Speth,
Steffen Becker
Abstract:
Creating suitable diagrams for technical and scientific publications is challenging and time-consuming, as manual control over the layout is required to communicate information effectively. Existing diagramming tools usually allow modeling the diagrams via a textual domain-specific language (DSL) that can be rendered and auto-layouted or via a graphical editor. While auto-layout is fast, the resul…
▽ More
Creating suitable diagrams for technical and scientific publications is challenging and time-consuming, as manual control over the layout is required to communicate information effectively. Existing diagramming tools usually allow modeling the diagrams via a textual domain-specific language (DSL) that can be rendered and auto-layouted or via a graphical editor. While auto-layout is fast, the results are often not satisfying for most publications. However, graphical editors are time-consuming to create large diagrams. The blended or hybrid modeling concept enables creating diagrams efficiently using a DSL and editing the rendered diagram via the graphical editor for fine-tuning. However, hybrid modeling editors are limited to individual diagram types and do not save the layout and style information in the textual description. Therefore, we propose HyLiMo, a hybrid live-synchronized modular diagramming editor. In HyLiMo, diagrams are created using an internal DSL and live synchronized with an interactive graphical editor for the rendered diagram, allowing a straightforward layout and style change, which is stored in the DSL code. HyLiMo is independent of specific diagram types, but we offer specific functionality for UML class diagrams. Using the language server protocol, we implement it as a web app and IDE extension. The results of our user study indicate that such an approach enables fast and precise diagramming.
△ Less
Submitted 20 March, 2024;
originally announced March 2024.
-
Large Language Models to Generate System-Level Test Programs Targeting Non-functional Properties
Authors:
Denis Schwachhofer,
Peter Domanski,
Steffen Becker,
Stefan Wagner,
Matthias Sauer,
Dirk Pflüger,
Ilia Polian
Abstract:
System-Level Test (SLT) has been a part of the test flow for integrated circuits for over a decade and still gains importance. However, no systematic approaches exist for test program generation, especially targeting non-functional properties of the Device under Test (DUT). Currently, test engineers manually compose test suites from off-the-shelf software, approximating the end-user environment of…
▽ More
System-Level Test (SLT) has been a part of the test flow for integrated circuits for over a decade and still gains importance. However, no systematic approaches exist for test program generation, especially targeting non-functional properties of the Device under Test (DUT). Currently, test engineers manually compose test suites from off-the-shelf software, approximating the end-user environment of the DUT. This is a challenging and tedious task that does not guarantee sufficient control over non-functional properties. This paper proposes Large Language Models (LLMs) to generate test programs. We take a first glance at how pre-trained LLMs perform in test program generation to optimize non-functional properties of the DUT. Therefore, we write a prompt to generate C code snippets that maximize the instructions per cycle of a super-scalar, out-of-order architecture in simulation. Additionally, we apply prompt and hyperparameter optimization to achieve the best possible results without further training.
△ Less
Submitted 19 March, 2024; v1 submitted 15 March, 2024;
originally announced March 2024.
-
Decoding Complexity: Exploring Human-AI Concordance in Qualitative Coding
Authors:
Elisabeth Kirsten,
Annalina Buckmann,
Abraham Mhaidli,
Steffen Becker
Abstract:
Qualitative data analysis provides insight into the underlying perceptions and experiences within unstructured data. However, the time-consuming nature of the coding process, especially for larger datasets, calls for innovative approaches, such as the integration of Large Language Models (LLMs). This short paper presents initial findings from a study investigating the integration of LLMs for codin…
▽ More
Qualitative data analysis provides insight into the underlying perceptions and experiences within unstructured data. However, the time-consuming nature of the coding process, especially for larger datasets, calls for innovative approaches, such as the integration of Large Language Models (LLMs). This short paper presents initial findings from a study investigating the integration of LLMs for coding tasks of varying complexity in a real-world dataset. Our results highlight the challenges inherent in coding with extensive codebooks and contexts, both for human coders and LLMs, and suggest that the integration of LLMs into the coding process requires a task-by-task evaluation. We examine factors influencing the complexity of coding tasks and initiate a discussion on the usefulness and limitations of incorporating LLMs in qualitative research.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
CARISMA: CAR-Integrated Service Mesh Architecture
Authors:
Kevin Klein,
Pascal Hirmer,
Steffen Becker
Abstract:
The amount of software in modern cars is increasing continuously with traditional electric/electronic (E/E) architectures reaching their limit when deploying complex applications, e.g., regarding bandwidth or computational power. To mitigate this situation, more powerful computing platforms are being employed and applications are developed as distributed applications, e.g., involving microservices…
▽ More
The amount of software in modern cars is increasing continuously with traditional electric/electronic (E/E) architectures reaching their limit when deploying complex applications, e.g., regarding bandwidth or computational power. To mitigate this situation, more powerful computing platforms are being employed and applications are developed as distributed applications, e.g., involving microservices. Microservices received widespread adoption and changed the way modern applications are developed. However, they also introduce additional complexity regarding inter-service communication. This has led to the emergence of service meshes, a promising approach to cope with this complexity. In this paper, we present an architecture applying the service mesh approach to automotive E/E platforms comprising multiple interlinked High-Performance Computers (HPCs). We validate the feasibility of our approach through a prototypical implementation.
△ Less
Submitted 7 March, 2024;
originally announced March 2024.
-
Optimization of array encoding for ultrasound imaging
Authors:
Jacob Spainhour,
Korben Smart,
Stephen Becker,
Nick Bottenus
Abstract:
Objective: The transmit encoding model for synthetic aperture imaging is a robust and flexible framework for understanding the effects of acoustic transmission on ultrasound image reconstruction. Our objective is to use machine learning (ML) to construct scanning sequences, parameterized by time delays and apodization weights, that produce high-quality B-mode images. Approach: We use a custom ML m…
▽ More
Objective: The transmit encoding model for synthetic aperture imaging is a robust and flexible framework for understanding the effects of acoustic transmission on ultrasound image reconstruction. Our objective is to use machine learning (ML) to construct scanning sequences, parameterized by time delays and apodization weights, that produce high-quality B-mode images. Approach: We use a custom ML model in PyTorch with simulated RF data from Field II to probe the space of possible encoding sequences for those that minimize a loss function that describes image quality. This approach is made computationally feasible by a novel formulation of the derivative for delay-and-sum beamforming. Main Results: When trained for a specified experimental setting (imaging domain, hardware restrictions, etc.), our ML model produces optimized encoding sequences that, when deployed in the REFoCUS imaging framework, improve a number of standard quality metrics over conventional sequences including resolution, field of view, and contrast. We demonstrate these results experimentally on both wire targets and a tissue-mimicking phantom. Significance: This work demonstrates that the set of commonly used encoding schemes represent only a narrow subset of those available. Additionally, it demonstrates the value for ML tasks in synthetic transmit aperture imaging to consider the beamformer within the model, instead of purely as a post-processing step.
△ Less
Submitted 20 June, 2024; v1 submitted 1 March, 2024;
originally announced March 2024.
-
I see an IC: A Mixed-Methods Approach to Study Human Problem-Solving Processes in Hardware Reverse Engineering
Authors:
René Walendy,
Markus Weber,
**gjie Li,
Steffen Becker,
Carina Wiesen,
Malte Elson,
Younghyun Kim,
Kassem Fawaz,
Nikol Rummel,
Christof Paar
Abstract:
Trust in digital systems depends on secure hardware, often assured through Hardware Reverse Engineering (HRE). This work develops methods for investigating human problem-solving processes in HRE, an underexplored yet critical aspect. Since reverse engineers rely heavily on visual information, eye tracking holds promise for studying their cognitive processes. To gain further insights, we additional…
▽ More
Trust in digital systems depends on secure hardware, often assured through Hardware Reverse Engineering (HRE). This work develops methods for investigating human problem-solving processes in HRE, an underexplored yet critical aspect. Since reverse engineers rely heavily on visual information, eye tracking holds promise for studying their cognitive processes. To gain further insights, we additionally employ verbal thought protocols during and immediately after HRE tasks: Concurrent and Retrospective Think Aloud. We evaluate the combination of eye tracking and Think Aloud with 41 participants in an HRE simulation. Eye tracking accurately identifies fixations on individual circuit elements and highlights critical components. Based on two use cases, we demonstrate that eye tracking and Think Aloud can complement each other to improve data quality. Our methodological insights can inform future studies in HRE, a specific setting of human-computer interaction, and in other problem-solving settings involving misleading or missing information.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Absence of small magic angles for disordered tunneling potentials in twisted bilayer graphene
Authors:
Simon Becker,
Izak Oltman,
Martin Vogel
Abstract:
We consider small random perturbations of the standard high-symmetry tunneling potentials in the Bistritzer-MacDonald Hamiltonian describing twisted bilayer graphene. Using methods developed by Sjöstrand for studying the spectral asymptotics of non-selfadjoint pseudo-differential operators, we prove that for sufficiently small twisting angles the Hamiltonian will not exhibit a flat band with overw…
▽ More
We consider small random perturbations of the standard high-symmetry tunneling potentials in the Bistritzer-MacDonald Hamiltonian describing twisted bilayer graphene. Using methods developed by Sjöstrand for studying the spectral asymptotics of non-selfadjoint pseudo-differential operators, we prove that for sufficiently small twisting angles the Hamiltonian will not exhibit a flat band with overwhelming probability, and hence the absence of the so-called \textit{magic angels}. Moreover, we prove a probabilistic Weyl law for the eigenvalues of the non-selfadjoint tunneling operator, subject to small random perturbations, of the Bistritzer-MacDonald Hamiltonian in the chiral limit.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Variational Entropy Search for Adjusting Expected Improvement
Authors:
Nuo** Cheng,
Stephen Becker
Abstract:
Bayesian optimization is a widely used technique for optimizing black-box functions, with Expected Improvement (EI) being the most commonly utilized acquisition function in this domain. While EI is often viewed as distinct from other information-theoretic acquisition functions, such as entropy search (ES) and max-value entropy search (MES), our work reveals that EI can be considered a special case…
▽ More
Bayesian optimization is a widely used technique for optimizing black-box functions, with Expected Improvement (EI) being the most commonly utilized acquisition function in this domain. While EI is often viewed as distinct from other information-theoretic acquisition functions, such as entropy search (ES) and max-value entropy search (MES), our work reveals that EI can be considered a special case of MES when approached through variational inference (VI). In this context, we have developed the Variational Entropy Search (VES) methodology and the VES-Gamma algorithm, which adapts EI by incorporating principles from information-theoretic concepts. The efficacy of VES-Gamma is demonstrated across a variety of test functions and read datasets, highlighting its theoretical and practical utilities in Bayesian optimization scenarios.
△ Less
Submitted 17 February, 2024;
originally announced February 2024.
-
Twisted TMDs in the small-angle limit: exponentially flat and trivial bands
Authors:
Simon Becker,
Mengxuan Yang
Abstract:
Recent experiments discovered fractional Chern insulator states at zero magnetic field in twisted bilayer MoTe$_2$ [C23,Z23] and WSe$_2$ [MD23]. In this article, we study the MacDonald Hamiltonian for twisted transition metal dichalcogenides (TMDs) and analyze the low-lying spectrum in TMDs in the limit of small twisting angles. Unlike in twisted bilayer graphene Hamiltonians, we show that TMDs do…
▽ More
Recent experiments discovered fractional Chern insulator states at zero magnetic field in twisted bilayer MoTe$_2$ [C23,Z23] and WSe$_2$ [MD23]. In this article, we study the MacDonald Hamiltonian for twisted transition metal dichalcogenides (TMDs) and analyze the low-lying spectrum in TMDs in the limit of small twisting angles. Unlike in twisted bilayer graphene Hamiltonians, we show that TMDs do not exhibit flat bands. The flatness in TMDs for small twisting angles is due to spatial confinement by a matrix-valued potential. We show that by generalizing semiclassical techniques developed by Simon [Si83] and Helffer-Sjöstrand [HS84] to matrix-valued potentials, there exists a wide range of model parameters such that the low-lying bands are of exponentially small width in the twisting angle, topologically trivial, and obey a harmonic oscillator-type spacing with explicit parameters.
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
All-optical nonlinear activation function based on stimulated Brillouin scattering
Authors:
Grigorii Slinkov,
Steven Becker,
Dirk Englund,
Birgit Stiller
Abstract:
Photonic neural networks have demonstrated their potential over the past decades, but have not yet reached the full extent of their capabilities. One reason for this lies in an essential component - the nonlinear activation function, which ensures that the neural network can perform the required arbitrary nonlinear transformation. The desired all-optical nonlinear activation function is difficult…
▽ More
Photonic neural networks have demonstrated their potential over the past decades, but have not yet reached the full extent of their capabilities. One reason for this lies in an essential component - the nonlinear activation function, which ensures that the neural network can perform the required arbitrary nonlinear transformation. The desired all-optical nonlinear activation function is difficult to realize, and as a result, most of the reported photonic neural networks rely on opto-electronic activation functions. Usually, the sacrifices made are the unique advantages of photonics, such as resource-efficient coherent and frequency-multiplexed information encoding. In addition, opto-electronic activation functions normally limit the photonic neural network depth by adding insertion losses. Here, we experimentally demonstrate an in-fiber photonic nonlinear activation function based on stimulated Brillouin scattering. Our design is coherent and frequency selective, making it suitable for multi-frequency neural networks. The optoacoustic activation function can be tuned continuously and all-optically between a variety of activation functions such as LeakyReLU, Sigmoid, and Quadratic. In addition, our design amplifies the input signal with gain as high as $20\,\mathrm{dB}$, compensating for insertion losses on the fly, and thus paving the way for deep optical neural networks.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Spectral theory of twisted bilayer graphene in a magnetic field
Authors:
Simon Becker,
Xiaowen Zhu
Abstract:
In this article we study the Bistritzer-MacDonald (BM) model with external magnetic field. We study the spectral properties of the Hamiltonian in an external magnetic field with a particular emphasis on the flat band of the chiral model at magic angles. Our analysis includes different types of interlayer tunneling potentials, the so-called chiral and anti-chiral limits. One novelty of our article…
▽ More
In this article we study the Bistritzer-MacDonald (BM) model with external magnetic field. We study the spectral properties of the Hamiltonian in an external magnetic field with a particular emphasis on the flat band of the chiral model at magic angles. Our analysis includes different types of interlayer tunneling potentials, the so-called chiral and anti-chiral limits. One novelty of our article is that we show that using a magnetic field one can discriminate between flat bands of different multiplicities, as they lead to different Chern numbers in the presence of magnetic fields, while for zero magnetic field their Chern numbers always coincide.
△ Less
Submitted 4 January, 2024;
originally announced January 2024.
-
Exact ground state of interacting electrons in magic angle graphene
Authors:
Simon Becker,
Lin Lin,
Kevin D. Stubbs
Abstract:
One of the most remarkable theoretical findings in magic angle twisted bilayer graphene (TBG) is the emergence of ferromagnetic Slater determinants as exact ground states for the interacting Hamiltonian at the chiral limit. This discovery provides an explanation for the correlated insulating phase which has been experimentally observed at half filling. This work is the first mathematical study of…
▽ More
One of the most remarkable theoretical findings in magic angle twisted bilayer graphene (TBG) is the emergence of ferromagnetic Slater determinants as exact ground states for the interacting Hamiltonian at the chiral limit. This discovery provides an explanation for the correlated insulating phase which has been experimentally observed at half filling. This work is the first mathematical study of interacting models in magic angle graphene systems. These include not only TBG but also TBG-like systems featuring four flat bands per valley, and twisted trilayer graphene (TTG) systems with equal twist angles. We identify symmetries of the Bistritzer-MacDonald Hamiltonian that are responsible for characterizing the Hartree-Fock ground states as zero energy many-body ground states. Furthermore, for a general class of Hamiltonian, we establish criteria that the ferromagnetic Slater determinants are the unique ground states within the class of uniformly half-filled, translation invariant Slater determinants. We then demonstrate that these criteria can be explicitly verified for TBG and TBG-like systems at the chiral limit, using properties of Jacobi-$θ$ and Weierstrass-$\wp$ functions.
△ Less
Submitted 23 December, 2023;
originally announced December 2023.
-
Towards a Peer-to-Peer Data Distribution Layer for Efficient and Collaborative Resource Optimization of Distributed Dataflow Applications
Authors:
Dominik Scheinert,
Soeren Becker,
Jonathan Will,
Luis Englaender,
Lauritz Thamsen
Abstract:
Performance modeling can help to improve the resource efficiency of clusters and distributed dataflow applications, yet the available modeling data is often limited. Collaborative approaches to performance modeling, characterized by the sharing of performance data or models, have been shown to improve resource efficiency, but there has been little focus on actual data sharing strategies and implem…
▽ More
Performance modeling can help to improve the resource efficiency of clusters and distributed dataflow applications, yet the available modeling data is often limited. Collaborative approaches to performance modeling, characterized by the sharing of performance data or models, have been shown to improve resource efficiency, but there has been little focus on actual data sharing strategies and implementation in production environments. This missing building block holds back the realization of proposed collaborative solutions.
In this paper, we envision, design, and evaluate a peer-to-peer performance data sharing approach for collaborative performance modeling of distributed dataflow applications. Our proposed data distribution layer enables access to performance data in a decentralized manner, thereby facilitating collaborative modeling approaches and allowing for improved prediction capabilities and hence increased resource efficiency. In our evaluation, we assess our approach with regard to deployment, data replication, and data validation, through experiments with a prototype implementation and simulation, demonstrating feasibility and allowing discussion of potential limitations and next steps.
△ Less
Submitted 23 January, 2024; v1 submitted 24 November, 2023;
originally announced November 2023.
-
Understanding the Effect of Chiral NN Parametrization on Nuclear Shapes From an Ab Initio Perspective
Authors:
Kevin S. Becker,
Kristina D. Launey,
Andreas Ekström,
Grigor H. Sargsyan,
Darin C. Mumma,
Tomáš Dytrych,
Daniel Langr,
Jerry P. Draayer
Abstract:
The ab initio symmetry-adapted no-core shell model naturally describes nuclear deformation and collectivity, and is therefore well-suited to studying the dynamics and coexistence of shapes in atomic nuclei. For the first time, we analyze how these features in low-lying states of 6Li and 12C are impacted by the underlying realistic nucleon-nucleon interaction. We find that the interaction parametri…
▽ More
The ab initio symmetry-adapted no-core shell model naturally describes nuclear deformation and collectivity, and is therefore well-suited to studying the dynamics and coexistence of shapes in atomic nuclei. For the first time, we analyze how these features in low-lying states of 6Li and 12C are impacted by the underlying realistic nucleon-nucleon interaction. We find that the interaction parametrization has a notable but limited effect on collective shapes in the lowest 6Li and 12C states, while collective structures in the excited 2+ state of 12C are significantly more sensitive to the interaction parameters and exhibits emergent shape coexistence.
△ Less
Submitted 21 November, 2023;
originally announced November 2023.
-
Utilizing dataset affinity prediction in object detection to assess training data
Authors:
Stefan Becker,
Jens Bayer,
Ronny Hug,
Wolfgang Hübner,
Michael Arens
Abstract:
Data pooling offers various advantages, such as increasing the sample size, improving generalization, reducing sampling bias, and addressing data sparsity and quality, but it is not straightforward and may even be counterproductive. Assessing the effectiveness of pooling datasets in a principled manner is challenging due to the difficulty in estimating the overall information content of individual…
▽ More
Data pooling offers various advantages, such as increasing the sample size, improving generalization, reducing sampling bias, and addressing data sparsity and quality, but it is not straightforward and may even be counterproductive. Assessing the effectiveness of pooling datasets in a principled manner is challenging due to the difficulty in estimating the overall information content of individual datasets. Towards this end, we propose incorporating a data source prediction module into standard object detection pipelines. The module runs with minimal overhead during inference time, providing additional information about the data source assigned to individual detections. We show the benefits of the so-called dataset affinity score by automatically selecting samples from a heterogeneous pool of vehicle datasets. The results show that object detectors can be trained on a significantly sparser set of training samples without losing detection accuracy.
△ Less
Submitted 8 May, 2024; v1 submitted 16 November, 2023;
originally announced November 2023.
-
High-speed coherent photonic random-access memory in long-lasting sound waves
Authors:
Andreas Geilen,
Steven Becker,
Birgit Stiller
Abstract:
In recent years, remarkable advances in photonic computing have highlighted the need for photonic memory, particularly high-speed and coherent random-access memory. Addressing the ongoing challenge of implementing photonic memories is required to fully harness the potential of photonic computing. A photonic-phononic memory based on stimulated Brillouin scattering is a possible solution as it coher…
▽ More
In recent years, remarkable advances in photonic computing have highlighted the need for photonic memory, particularly high-speed and coherent random-access memory. Addressing the ongoing challenge of implementing photonic memories is required to fully harness the potential of photonic computing. A photonic-phononic memory based on stimulated Brillouin scattering is a possible solution as it coherently transfers optical information into sound waves at high-speed access times. Such an optoacoustic memory has shown great potential as it fulfils key requirements for high-performance optical random-access memory due to its coherence, on-chip compatibility, frequency selectivity, and high bandwidth. However, the storage time has so far been limited to a few nanoseconds due to the nanosecond decay of the acoustic wave. In this work, we experimentally enhance the intrinsic storage time of an optoacoustic memory by more than one order of magnitude and coherently retrieve optical information after a storage time of 120 ns. This is achieved by employing the optoacoustic memory in a highly nonlinear fiber at 4.2 K, increasing the intrinsic phonon lifetime by a factor of six. We demonstrate the capability of our scheme by measuring the initial and readout optical data pulse with a direct and double homodyne detection scheme. Finally, we analyze the dynamics of the optoacoustic memory at different cryogenic temperatures in the range of 4.2 K to 20 K and compare the findings to continuous wave measurements. The extended storage time is not only beneficial for photonic computing, but also for Brillouin applications that require long phonon lifetimes, such as optoacoustic filters, true-time delay networks, and synthesizers in microwave photonics.
△ Less
Submitted 10 November, 2023;
originally announced November 2023.
-
ODEFormer: Symbolic Regression of Dynamical Systems with Transformers
Authors:
Stéphane d'Ascoli,
Sören Becker,
Alexander Mathis,
Philippe Schwaller,
Niki Kilbertus
Abstract:
We introduce ODEFormer, the first transformer able to infer multidimensional ordinary differential equation (ODE) systems in symbolic form from the observation of a single solution trajectory. We perform extensive evaluations on two datasets: (i) the existing "Strogatz" dataset featuring two-dimensional systems; (ii) ODEBench, a collection of one- to four-dimensional systems that we carefully cura…
▽ More
We introduce ODEFormer, the first transformer able to infer multidimensional ordinary differential equation (ODE) systems in symbolic form from the observation of a single solution trajectory. We perform extensive evaluations on two datasets: (i) the existing "Strogatz" dataset featuring two-dimensional systems; (ii) ODEBench, a collection of one- to four-dimensional systems that we carefully curated from the literature to provide a more holistic benchmark. ODEFormer consistently outperforms existing methods while displaying substantially improved robustness to noisy and irregularly sampled observations, as well as faster inference. We release our code, model and benchmark dataset publicly.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Vocal Fold Reconstruction from Optical Velocity and Displacement Measurements
Authors:
Daniel Zieger,
Christoph Näger,
Stefan Becker,
Tobias Günther
Abstract:
The three-dimensional reconstruction of vocal folds in medicine usually involves endoscopy and an approach to extract depth information like structured light or stereo matching of images. The resulting mesh can accurately represent the superior area of the vocal folds, while new approaches also try to reconstruct the inferior area. We propose a novel approach to extract the time-dependent 3D geome…
▽ More
The three-dimensional reconstruction of vocal folds in medicine usually involves endoscopy and an approach to extract depth information like structured light or stereo matching of images. The resulting mesh can accurately represent the superior area of the vocal folds, while new approaches also try to reconstruct the inferior area. We propose a novel approach to extract the time-dependent 3D geometry of the vocal fold from optical measurements on both the superior and inferior side, requiring optical measurements only from the superior side. First, a time-dependent, tri-variate surface velocity vector field is reconstructed using a high-speed camera and a laser Doppler vibrometer in an experimental environment. This vector field serves as target in an inverse finite-element simulation that optimizes the forces applied to a deformable vocal fold model such that the resulting movement after FEM simulation matches the velocity observations on the superior side. The required forces for the finite element method simulation are treated as unknowns and are assembled using multiple scalar fields. We use tensor products in Bézier Bernstein basis for our scalar fields to reduce the degrees of freedom for our optimization. We use gradient descent to optimize the control points of the force field polynomials. Our utilized error metric for gradient descent consists of two terms. The first term is used to match the simulated velocities to the observed measurements, while the second term measures the silhouette difference between observation and simulation.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
REVERSIM: A Game-Based Environment to Study Human Aspects in Hardware Reverse Engineering
Authors:
Steffen Becker,
René Walendy,
Markus Weber,
Carina Wiesen,
Nikol Rummel,
Christof Paar
Abstract:
Hardware Reverse Engineering (HRE) is a technique for analyzing Integrated Circuits (ICs). Experts employ HRE for security-critical tasks, such as detecting Trojans or intellectual property violations. They rely not only on their experience and customized tools but also on their cognitive abilities. Conducting controlled experiments to assess the cognitive processes involved in HRE can open new av…
▽ More
Hardware Reverse Engineering (HRE) is a technique for analyzing Integrated Circuits (ICs). Experts employ HRE for security-critical tasks, such as detecting Trojans or intellectual property violations. They rely not only on their experience and customized tools but also on their cognitive abilities. Conducting controlled experiments to assess the cognitive processes involved in HRE can open new avenues for hardware protection. However, HRE experts are largely unavailable for empirical research in real-world settings. To address this challenge, we have developed REVERSIM, a game-based environment that mimics realistic HRE subprocesses and can integrate standardized cognitive tests. REVERSIM enables quantitative studies with easier-to-recruit non-experts to uncover cognitive factors relevant to HRE, which can subsequently be validated with small expert samples. To evaluate the design of REVERSIM, the minimum requirements for successful participation, and its measurement capabilities, we conducted two studies: First, we performed semi-structured interviews with 14 professionals and researchers from the HRE domain, who attested to the comparability of REVERSIM to real-world HRE problems. Second, we conducted an online user study with 109 participants, demonstrating that they could engage in REVERSIM with low domain-specific prior knowledge. We provide refined screening criteria, derive fine-grained performance metrics, and successfully perform a cognitive test for mental speed in REVERSIM, thus contributing an important piece of the puzzle for the development of innovative hardware protection mechanisms.
△ Less
Submitted 24 March, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
Magic angle (in)stability and mobility edges in disordered Chern insulators
Authors:
Simon Becker,
Izak Oltman,
Martin Vogel
Abstract:
Why do experiments only exhibit one magic angle if the chiral limit of the Bistritzer-MacDonald Hamiltonian suggest a plethora of them? - In this article, we investigate the remarkable stability of the first magic angle in contrast to higher (smaller) magic angles. More precisely, we examine the influence of disorder on magic angles and the Bistritzer-MacDonald Hamiltonian. We establish the existe…
▽ More
Why do experiments only exhibit one magic angle if the chiral limit of the Bistritzer-MacDonald Hamiltonian suggest a plethora of them? - In this article, we investigate the remarkable stability of the first magic angle in contrast to higher (smaller) magic angles. More precisely, we examine the influence of disorder on magic angles and the Bistritzer-MacDonald Hamiltonian. We establish the existence of a mobility edge near the energy of the flat band for small disorder. We also show that the mobility edges persist even when all global Chern numbers become zero, leveraging the $C_{2z}T$ symmetry of the system to demonstrate non-trivial sublattice transport. This effect is robust even beyond the chiral limit and in the vicinity of perfect magic angles, as is expected from experiments.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
An optoacoustic field-programmable perceptron for recurrent neural networks
Authors:
Steven Becker,
Dirk Englund,
Birgit Stiller
Abstract:
A critical feature in signal processing is the ability to interpret correlations in time series signals, such as speech. Machine learning systems process this contextual information by tracking internal states in recurrent neural networks (RNNs), but these can cause memory and processor bottlenecks in applications from edge devices to data centers, motivating research into new analog inference arc…
▽ More
A critical feature in signal processing is the ability to interpret correlations in time series signals, such as speech. Machine learning systems process this contextual information by tracking internal states in recurrent neural networks (RNNs), but these can cause memory and processor bottlenecks in applications from edge devices to data centers, motivating research into new analog inference architectures. But whereas photonic accelerators, in particular, have demonstrated big leaps in uni-directional feedforward deep neural network (DNN) inference, the bi-directional architecture of RNNs presents a unique challenge: the need for a short-term memory that (i) programmably transforms optical waveforms with phase coherence , (ii) minimizes added noise, and (iii) enables programmable readily scales to large neuron counts. Here, we address this challenge by introducing an optoacoustic recurrent operator (OREO) that simultaneously meets (i,ii,iii). Specifically, we experimentally demonstrate an OREO that contextualizes and computes the information carried by a sequence of optical pulses via acoustic waves. We show that the acoustic waves act as a link between the different optical pulses, capturing the optical information and using it to manipulate the subsequent operations. Our approach can be controlled completely optically on a pulse-by-pulse basis, offering simple reconfigurability for a use case-specific optimization. We use this feature to demonstrate a recurrent drop-out, which excludes optical input pulses from the recurrent operation. We furthermore apply OREO as an acceptor to recognize up-to $27$ patterns in a sequence of optical pulses. Finally, we introduce a DNN architecture that uses the OREO as bi-directional perceptrons to enable new classes of DNNs in coherent optical signal processing.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Spectral analysis and phase transitions for long-range interactions in harmonic chains of oscillators
Authors:
Simon Becker,
Angeliki Menegaki,
Jiming Yu
Abstract:
We consider chains of $N$ harmonic oscillators in two dimensions coupled to two Langevin heat reservoirs at different temperatures - a classical model for heat conduction introduced by Lebowitz, Lieb, and Rieder \cite{RLL67}. We extend our previous results \cite{BM20} significantly by providing a full spectral description of the full Fokker-Planck operator allowing also for the presence of a const…
▽ More
We consider chains of $N$ harmonic oscillators in two dimensions coupled to two Langevin heat reservoirs at different temperatures - a classical model for heat conduction introduced by Lebowitz, Lieb, and Rieder \cite{RLL67}. We extend our previous results \cite{BM20} significantly by providing a full spectral description of the full Fokker-Planck operator allowing also for the presence of a constant external magnetic field for charged oscillators. We then study oscillator chains with additional next-to-nearest-neighbor interactions and find that the spectral gap undergoes a phase transition if the next-to-nearest-neighbour interactions are sufficiently strong and may even cease to exist for oscillator chains of finite length.
△ Less
Submitted 2 September, 2023;
originally announced September 2023.
-
From the chiral model of TBG to the Bistritzer--MacDonald model
Authors:
Simon Becker,
Maciej Zworski
Abstract:
We analyse the splitting of exact flat bands in the chiral model of the twisted bilayer graphene (TBG) when the $AA'/BB'$ coupling of the full Bistritzer--MacDonald model is taken into account. The first-order perturbation caused by the $AA'/BB'$ potential the same for both bands and satisfies interesting symmetries, in particular it vanishes on the line defined by the $K$ points. The splitting of…
▽ More
We analyse the splitting of exact flat bands in the chiral model of the twisted bilayer graphene (TBG) when the $AA'/BB'$ coupling of the full Bistritzer--MacDonald model is taken into account. The first-order perturbation caused by the $AA'/BB'$ potential the same for both bands and satisfies interesting symmetries, in particular it vanishes on the line defined by the $K$ points. The splitting of the flat bands is governed by the quadratic term which vanishes at the $K$ points.
△ Less
Submitted 22 August, 2023;
originally announced August 2023.
-
Chiral limit of twisted trilayer graphene
Authors:
Simon Becker,
Tristan Humbert,
Jens Wittsten,
Mengxuan Yang
Abstract:
We initiate the mathematical study of the Bistritzer-MacDonald Hamiltonian for twisted trilayer graphene in the chiral limit (and beyond). We develop a spectral theoretic approach to investigate the presence of flat bands under specific magic parameters. This allows us to derive trace formulae that show that the tunnelling parameters that lead to flat bands are nowhere continuous as functions of t…
▽ More
We initiate the mathematical study of the Bistritzer-MacDonald Hamiltonian for twisted trilayer graphene in the chiral limit (and beyond). We develop a spectral theoretic approach to investigate the presence of flat bands under specific magic parameters. This allows us to derive trace formulae that show that the tunnelling parameters that lead to flat bands are nowhere continuous as functions of the twisting angles.
△ Less
Submitted 21 August, 2023;
originally announced August 2023.
-
Enhancing Gravity Currents Analysis through Physics-Informed Neural Networks: Insights from Experimental Observations
Authors:
Mickaël Delcey,
Yoann Cheny,
Jean Schneider,
Simon Becker,
Yvan Dossmann,
Sébastien Kiesgen De Richter
Abstract:
Gravity currents in oceanic flows require simultaneous measurements of pressure and velocity to assess energy flux, which is crucial for predicting fluid circulation, mixing, and overall energy budget. In this paper, we apply Physics Informed Neural Networks (PINNs) to infer velocity and pressure field from Light Attenuation Technique (LAT) measurements for gravity current induced by lock-exchange…
▽ More
Gravity currents in oceanic flows require simultaneous measurements of pressure and velocity to assess energy flux, which is crucial for predicting fluid circulation, mixing, and overall energy budget. In this paper, we apply Physics Informed Neural Networks (PINNs) to infer velocity and pressure field from Light Attenuation Technique (LAT) measurements for gravity current induced by lock-exchange. In a PINN model, physical laws are embedded in the loss function of a neural network, such that the model fits the training data but is also constrained to reduce the residuals of the governing equations. PINNs are able to solve ill-posed inverse problems training on sparse and noisy data, and therefore can be applied to real engineering applications. The noise robustness of PINNs and the model parameters are investigated in a 2 dimensions toy case on a lock-exchange configuration , employing synthetic data. Then we train a PINN with experimental LAT measurements and quantitatively compare the velocity fields inferred to PIV measurements performed simultaneously on the same experiment. Finally, we study the energy flux field $J=p \boldsymbol{u}$ derived from the model. The results state that accurate and useful quantities can be derived from a PINN model trained on real experimental data which is encouraging for a better description of gravity currents and improve models of ocean circulation.
△ Less
Submitted 17 September, 2023; v1 submitted 27 July, 2023;
originally announced July 2023.
-
Predicting Ordinary Differential Equations with Transformers
Authors:
Sören Becker,
Michal Klein,
Alexander Neitz,
Giambattista Parascandolo,
Niki Kilbertus
Abstract:
We develop a transformer-based sequence-to-sequence model that recovers scalar ordinary differential equations (ODEs) in symbolic form from irregularly sampled and noisy observations of a single solution trajectory. We demonstrate in extensive empirical evaluations that our model performs better or on par with existing methods in terms of accurate recovery across various settings. Moreover, our me…
▽ More
We develop a transformer-based sequence-to-sequence model that recovers scalar ordinary differential equations (ODEs) in symbolic form from irregularly sampled and noisy observations of a single solution trajectory. We demonstrate in extensive empirical evaluations that our model performs better or on par with existing methods in terms of accurate recovery across various settings. Moreover, our method is efficiently scalable: after one-time pretraining on a large set of ODEs, we can infer the governing law of a new observed solution in a few forward passes of the model.
△ Less
Submitted 24 July, 2023;
originally announced July 2023.
-
Temperature-driven confinements of surface electrons and adatoms in a weakly interacting 2D organic porous network
Authors:
Lu Lyu,
** Xiao,
Zakaria M. Abd El-Fattah,
Tobias Eul,
Mostafa Ashoush,
Jun He,
Wei Yao,
Ignacio Piquero-Zulaica,
Sina Mousavion,
Benito Arnoldi,
Sebastian Becker,
Johannes V. Barth,
Martin Aeschlimann,
Benjamin Stadtmüller
Abstract:
Two-dimensional organic porous networks (2DOPNs) have opened new vistas for tailoring the physicochemical characteristics of metallic surfaces. These typically chemically bound nanoporous structures act as periodical quantum wells leading to the 2D confinements of surface electron gases, adatoms and molecular guests. Here we propose a new type of porous network with weakly interacting 2,4,6-triphe…
▽ More
Two-dimensional organic porous networks (2DOPNs) have opened new vistas for tailoring the physicochemical characteristics of metallic surfaces. These typically chemically bound nanoporous structures act as periodical quantum wells leading to the 2D confinements of surface electron gases, adatoms and molecular guests. Here we propose a new type of porous network with weakly interacting 2,4,6-triphenyl-1,3,5-triazine (TPT) molecules on a Cu(111) surface, in which a temperature-driven (T-driven) phase transition can reversibly alter the supramolecular structures from a close-packed (CP-TPT) phase to a porous-network (PN-TPT) phase. Crucially, only the low-temperature PN-TPT exhibits subnano-scale cavities that can confine the surface state electrons and metal adatoms. The confined surface electrons undergo a significant electronic band renormalization. To activate the spin degree of freedom, the T-driven PN-TPT structure can additionally trap Co atoms within the cavities, forming highly ordered quantum dots. Our theoretical simulation reveals a complex spin carrier transfer from the confined Co cluster to the neighbouring TPT molecules via the underlying substrate. Our results demonstrate that weakly interacting 2DOPN offers a unique quantum switch capable of steering and controlling electrons and spin at surfaces via tailored quantum confinements.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
52 Weeks Later: Attitudes Towards COVID-19 Apps for Different Purposes Over Time
Authors:
Marvin Kowalewski,
Christine Utz,
Martin Degeling,
Theodor Schnitzler,
Franziska Herbert,
Leonie Schaewitz,
Florian M. Farke,
Steffen Becker,
Markus Dürmuth
Abstract:
The COVID-19 pandemic has prompted countries around the world to introduce smartphone apps to support disease control efforts. Their purposes range from digital contact tracing to quarantine enforcement to vaccination passports, and their effectiveness often depends on widespread adoption. While previous work has identified factors that promote or hinder adoption, it has typically examined data co…
▽ More
The COVID-19 pandemic has prompted countries around the world to introduce smartphone apps to support disease control efforts. Their purposes range from digital contact tracing to quarantine enforcement to vaccination passports, and their effectiveness often depends on widespread adoption. While previous work has identified factors that promote or hinder adoption, it has typically examined data collected at a single point in time or focused exclusively on digital contact tracing apps. In this work, we conduct the first representative study that examines changes in people's attitudes towards COVID-19-related smartphone apps for five different purposes over the first 1.5 years of the pandemic. In three survey rounds conducted between Summer 2020 and Summer 2021 in the United States and Germany, with approximately 1,000 participants per round and country, we investigate people's willingness to use such apps, their perceived utility, and people's attitudes towards them in different stages of the pandemic. Our results indicate that privacy is a consistent concern for participants, even in a public health crisis, and the collection of identity-related data significantly decreases acceptance of COVID-19 apps. Trust in authorities is essential to increase confidence in government-backed apps and foster citizens' willingness to contribute to crisis management. There is a need for continuous communication with app users to emphasize the benefits of health crisis apps both for individuals and society, thus counteracting decreasing willingness to use them and perceived usefulness as the pandemic evolves.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
In Situ Framework for Coupling Simulation and Machine Learning with Application to CFD
Authors:
Riccardo Balin,
Filippo Simini,
Cooper Simpson,
Andrew Shao,
Alessandro Rigazzi,
Matthew Ellis,
Stephen Becker,
Alireza Doostan,
John A. Evans,
Kenneth E. Jansen
Abstract:
Recent years have seen many successful applications of machine learning (ML) to facilitate fluid dynamic computations. As simulations grow, generating new training datasets for traditional offline learning creates I/O and storage bottlenecks. Additionally, performing inference at runtime requires non-trivial coupling of ML framework libraries with simulation codes. This work offers a solution to b…
▽ More
Recent years have seen many successful applications of machine learning (ML) to facilitate fluid dynamic computations. As simulations grow, generating new training datasets for traditional offline learning creates I/O and storage bottlenecks. Additionally, performing inference at runtime requires non-trivial coupling of ML framework libraries with simulation codes. This work offers a solution to both limitations by simplifying this coupling and enabling in situ training and inference workflows on heterogeneous clusters. Leveraging SmartSim, the presented framework deploys a database to store data and ML models in memory, thus circumventing the file system. On the Polaris supercomputer, we demonstrate perfect scaling efficiency to the full machine size of the data transfer and inference costs thanks to a novel co-located deployment of the database. Moreover, we train an autoencoder in situ from a turbulent flow simulation, showing that the framework overhead is negligible relative to a solver time step and training epoch.
△ Less
Submitted 22 June, 2023;
originally announced June 2023.
-
Eigenpatches -- Adversarial Patches from Principal Components
Authors:
Jens Bayer,
Stefan Becker,
David Münch,
Michael Arens
Abstract:
Adversarial patches are still a simple yet powerful white box attack that can be used to fool object detectors by suppressing possible detections. The patches of these so-called evasion attacks are computational expensive to produce and require full access to the attacked detector. This paper addresses the problem of computational expensiveness by analyzing 375 generated patches, calculating the p…
▽ More
Adversarial patches are still a simple yet powerful white box attack that can be used to fool object detectors by suppressing possible detections. The patches of these so-called evasion attacks are computational expensive to produce and require full access to the attacked detector. This paper addresses the problem of computational expensiveness by analyzing 375 generated patches, calculating the principal components of these and show, that linear combinations of the resulting "eigenpatches" can be used to fool object detections successfully.
△ Less
Submitted 19 June, 2023;
originally announced June 2023.
-
Degenerate flat bands in twisted bilayer graphene
Authors:
Simon Becker,
Tristan Humbert,
Maciej Zworski
Abstract:
We prove that in the chiral limit of the Bistritzer-MacDonald Hamiltonian, there exist magic angles at which the Hamiltonian exhibits flat bands of multiplicity four instead of two. We analyze the structure of the Bloch functions associated with the four bands, the corresponding Chern number, and show that there exist infinitely many degenerate magic angles for a generic choice of tunnelling poten…
▽ More
We prove that in the chiral limit of the Bistritzer-MacDonald Hamiltonian, there exist magic angles at which the Hamiltonian exhibits flat bands of multiplicity four instead of two. We analyze the structure of the Bloch functions associated with the four bands, the corresponding Chern number, and show that there exist infinitely many degenerate magic angles for a generic choice of tunnelling potentials.
△ Less
Submitted 22 August, 2023; v1 submitted 5 June, 2023;
originally announced June 2023.
-
Bi-fidelity Variational Auto-encoder for Uncertainty Quantification
Authors:
Nuo** Cheng,
Osman Asif Malik,
Subhayan De,
Stephen Becker,
Alireza Doostan
Abstract:
Quantifying the uncertainty of quantities of interest (QoIs) from physical systems is a primary objective in model validation. However, achieving this goal entails balancing the need for computational efficiency with the requirement for numerical accuracy. To address this trade-off, we propose a novel bi-fidelity formulation of variational auto-encoders (BF-VAE) designed to estimate the uncertaint…
▽ More
Quantifying the uncertainty of quantities of interest (QoIs) from physical systems is a primary objective in model validation. However, achieving this goal entails balancing the need for computational efficiency with the requirement for numerical accuracy. To address this trade-off, we propose a novel bi-fidelity formulation of variational auto-encoders (BF-VAE) designed to estimate the uncertainty associated with a QoI from low-fidelity (LF) and high-fidelity (HF) samples of the QoI. This model allows for the approximation of the statistics of the HF QoI by leveraging information derived from its LF counterpart. Specifically, we design a bi-fidelity auto-regressive model in the latent space that is integrated within the VAE's probabilistic encoder-decoder structure. An effective algorithm is proposed to maximize the variational lower bound of the HF log-likelihood in the presence of limited HF data, resulting in the synthesis of HF realizations with a reduced computational cost. Additionally, we introduce the concept of the bi-fidelity information bottleneck (BF-IB) to provide an information-theoretic interpretation of the proposed BF-VAE model. Our numerical results demonstrate that BF-VAE leads to considerably improved accuracy, as compared to a VAE trained using only HF data, when limited HF data is available.
△ Less
Submitted 17 October, 2023; v1 submitted 25 May, 2023;
originally announced May 2023.
-
READMem: Robust Embedding Association for a Diverse Memory in Unconstrained Video Object Segmentation
Authors:
Stéphane Vujasinović,
Sebastian Bullinger,
Stefan Becker,
Norbert Scherer-Negenborn,
Michael Arens,
Rainer Stiefelhagen
Abstract:
We present READMem (Robust Embedding Association for a Diverse Memory), a modular framework for semi-automatic video object segmentation (sVOS) methods designed to handle unconstrained videos. Contemporary sVOS works typically aggregate video frames in an ever-expanding memory, demanding high hardware resources for long-term applications. To mitigate memory requirements and prevent near object dup…
▽ More
We present READMem (Robust Embedding Association for a Diverse Memory), a modular framework for semi-automatic video object segmentation (sVOS) methods designed to handle unconstrained videos. Contemporary sVOS works typically aggregate video frames in an ever-expanding memory, demanding high hardware resources for long-term applications. To mitigate memory requirements and prevent near object duplicates (caused by information of adjacent frames), previous methods introduce a hyper-parameter that controls the frequency of frames eligible to be stored. This parameter has to be adjusted according to concrete video properties (such as rapidity of appearance changes and video length) and does not generalize well. Instead, we integrate the embedding of a new frame into the memory only if it increases the diversity of the memory content. Furthermore, we propose a robust association of the embeddings stored in the memory with query embeddings during the update process. Our approach avoids the accumulation of redundant data, allowing us in return, to restrict the memory size and prevent extreme memory demands in long videos. We extend popular sVOS baselines with READMem, which previously showed limited performance on long videos. Our approach achieves competitive results on the Long-time Video dataset (LV1) while not hindering performance on short sequences. Our code is publicly available.
△ Less
Submitted 25 September, 2023; v1 submitted 22 May, 2023;
originally announced May 2023.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
Simulation and modeling of the vaporization of a freely moving and deforming drop at low to moderate Weber numbers
Authors:
Bradley Boyd,
Sid Becker,
Yue Ling
Abstract:
The vaporization of a freely moving drop in a uniform, high-temperature gas stream is investigated through direct numerical simulation. The incompressible Navier-Stokes equations with surface tension and phase change are solved in conjunction with the energy equations of each phase. The sharp liquid-gas interface is tracked using the geometric Volume-of-Fluid (VOF) method and an immersed Dirichlet…
▽ More
The vaporization of a freely moving drop in a uniform, high-temperature gas stream is investigated through direct numerical simulation. The incompressible Navier-Stokes equations with surface tension and phase change are solved in conjunction with the energy equations of each phase. The sharp liquid-gas interface is tracked using the geometric Volume-of-Fluid (VOF) method and an immersed Dirichlet boundary condition for temperature is imposed at the interface. The simulation approach is validated by simulating water and acetone drops at nearly zero Weber numbers, and the simulation results agree very well with the empirical relation for spherical drops. Parametric simulations were conducted to investigate the aerodynamic breakup of vaporizing drops at low to moderate Weber and Reynolds numbers. The range of Weber numbers considered has covered the vibrational and bag breakup regimes. Through the simulation results, we have characterized the impact of drop deformation and breakup on the drop vaporization rate. When the drop Weber number increases, the windward surface area increases more rapidly over time. As a result, the rate of drop volume reduction also increases. The correlation between the vaporization rate and the windward surface area is examined for different Weber and Reynolds numbers. Using the approximate correlation between the drop vaporization rate and the windward surface area and the TAB model for drop deformation, a new time-dependent drop vaporization model is proposed. The present model agrees well with the simulation results and shows a significant improvement over the conventional model for spherical drops.
△ Less
Submitted 30 September, 2023; v1 submitted 9 May, 2023;
originally announced May 2023.
-
Temperature dependent study of the spin dynamics of coupled Y$_3$Fe$_5$O$_{12}$/Gd$_3$Fe$_5$O$_{12}$/Pt trilayers
Authors:
Felix Fuhrmann,
Sven Becker,
Akashdeep Akashdeep,
Zengyao Ren,
Mathias Weiler,
Gerhard Jakob,
Mathias Kläui
Abstract:
In this study, we investigate the dynamic response of a Y$_3$Fe$_5$O$_{12}$ (YIG)/ Gd$_3$Fe$_5$O$_{12}$ (GdIG)/ Pt trilayer system by measurements of the ferromagnetic resonance (FMR) and the pumped spin current detected by the inverse spin Hall effect. This trilayer system offers the unique opportunity to investigate the spin dynamics of the ferrimagnetic GdIG, close to its compensation temperatu…
▽ More
In this study, we investigate the dynamic response of a Y$_3$Fe$_5$O$_{12}$ (YIG)/ Gd$_3$Fe$_5$O$_{12}$ (GdIG)/ Pt trilayer system by measurements of the ferromagnetic resonance (FMR) and the pumped spin current detected by the inverse spin Hall effect. This trilayer system offers the unique opportunity to investigate the spin dynamics of the ferrimagnetic GdIG, close to its compensation temperature. We show that our trilayer acts as a highly tunable spin current source. Our experimental results are supported by micro-magnetic simulations. As the detected spin current in the top Pt layer is distinctly dominated by the GdIG layer, this gives the unique opportunity to investigate the excitation and dynamic properties of GdIG while comparing it to the broadband FMR absorption spectrum of the heterostructure.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Dirac points for twisted bilayer graphene with in-plane magnetic field
Authors:
Simon Becker,
Maciej Zworski
Abstract:
We study Dirac points of the chiral model of twisted bilayer graphene (TBG) with constant in-plane magnetic field. For a fixed small magnetic field, we show that as the angle of twisting varies between magic angles, the Dirac points move between $ K, K' $ points and the $ Γ$ point. The Dirac points for zero magnetic field and non magic angles lie at $ K $ and $ K'$, while in the presence of a non-…
▽ More
We study Dirac points of the chiral model of twisted bilayer graphene (TBG) with constant in-plane magnetic field. For a fixed small magnetic field, we show that as the angle of twisting varies between magic angles, the Dirac points move between $ K, K' $ points and the $ Γ$ point. The Dirac points for zero magnetic field and non magic angles lie at $ K $ and $ K'$, while in the presence of a non-zero magnetic field and near magic angles, they lie near the $ Γ$ point. For special directions of the magnetic field, we show that the Dirac points move, as the twisting angle varies, along straight lines and bifurcate orthogonally at distinguished points. At the bifurcation points, the linear dispersion relation of the merging Dirac points disappears and exhibit a quadratic band crossing point (QBCP). The results are illustrated by links to animations suggesting interesting additional structure.
△ Less
Submitted 21 June, 2023; v1 submitted 1 March, 2023;
originally announced March 2023.
-
Ab Initio Symmetry-Adapted Emulator for Studying Emergent Collectivity and Clustering in Nuclei
Authors:
Kevin S. Becker,
Kristina D. Launey,
Andreas Ekström,
Tomas Dytrych
Abstract:
We discuss emulators from the ab initio symmetry-adapted no-core shell-model framework for studying the formation of alpha clustering and collective properties without effective charges. We present a new type of an emulator, one that utilizes the eigenvector continuation technique but is based on the use of symplectic symmetry considerations. This is achieved by using physically relevant degrees o…
▽ More
We discuss emulators from the ab initio symmetry-adapted no-core shell-model framework for studying the formation of alpha clustering and collective properties without effective charges. We present a new type of an emulator, one that utilizes the eigenvector continuation technique but is based on the use of symplectic symmetry considerations. This is achieved by using physically relevant degrees of freedom, namely, the symmetry-adapted basis, which exploits the almost perfect symplectic symmetry in nuclei. Specifically, we study excitation energies, point-proton root-mean-square radii, along with electric quadrupole moments and transitions for 6Li and 12C. We show that the set of parameterizations of the chiral potential used to train the emulators has no significant effect on predictions of dominant nuclear features, such as shape and the associated symplectic symmetry, along with cluster formation, but slightly varies details that affect collective quadrupole moments, asymptotic normalization coefficients, and alpha partial widths up to a factor of two. This makes these types of emulators important for further constraining the nuclear force for high-precision nuclear structure and reaction observables.
△ Less
Submitted 1 March, 2023;
originally announced March 2023.
-
Tuning to non-veridical features in attention and perceptual decision-making
Authors:
Stefanie I. Becker,
Zachary Hamblin-Frohman,
Hongfeng Xia,
Zeguo Qiu
Abstract:
When searching for a lost item, we tune attention to the known properties of the object. Previously, it was believed that attention is tuned to the veridical attributes of the search target (e.g., orange), or an attribute that is slightly shifted away from irrelevant features towards a value that can more optimally distinguish the target from the distractors (e.g., red-orange; optimal tuning). How…
▽ More
When searching for a lost item, we tune attention to the known properties of the object. Previously, it was believed that attention is tuned to the veridical attributes of the search target (e.g., orange), or an attribute that is slightly shifted away from irrelevant features towards a value that can more optimally distinguish the target from the distractors (e.g., red-orange; optimal tuning). However, recent studies showed that attention is often tuned to the relative feature of the search target (e.g., redder), so that all items that match the relative features of the target equally attract attention (e.g., all redder items; relational account). Optimal tuning was shown to occur only at a later stage of identifying the target. However, the evidence for this division mainly relied on eye tracking studies that assessed the first eye movements. The present study tested whether this division can also be observed when the task is completed with covert attention and without moving the eyes. We used the N2pc in the EEG of participants to assess covert attention, and found comparable results: Attention was initially tuned to the relative colour of the target, as shown by a significantly larger N2pc to relatively matching distractors than a target-coloured distractor. However, in the response accuracies, a slightly shifted, "optimal" distractor interfered most strongly with target identification. These results confirm that early (covert) attention is tuned to the relative properties of an item, in line with the relational account, while later decision-making processes may be biased to optimal features.
△ Less
Submitted 28 February, 2023;
originally announced March 2023.
-
Explainability as a Requirement for Hardware: Introducing Explainable Hardware (XHW)
Authors:
Timo Speith,
Julian Speith,
Steffen Becker,
Yixin Zou,
Asia Biega,
Christof Paar
Abstract:
In today's age of digital technology, ethical concerns regarding computing systems are increasing. While the focus of such concerns currently is on requirements for software, this article spotlights the hardware domain, specifically microchips. For example, the opaqueness of modern microchips raises security issues, as malicious actors can manipulate them, jeopardizing system integrity. As a conse…
▽ More
In today's age of digital technology, ethical concerns regarding computing systems are increasing. While the focus of such concerns currently is on requirements for software, this article spotlights the hardware domain, specifically microchips. For example, the opaqueness of modern microchips raises security issues, as malicious actors can manipulate them, jeopardizing system integrity. As a consequence, governments invest substantially to facilitate a secure microchip supply chain. To combat the opaqueness of hardware, this article introduces the concept of Explainable Hardware (XHW). Inspired by and building on previous work on Explainable AI (XAI) and explainable software systems, we develop a framework for achieving XHW comprising relevant stakeholders, requirements they might have concerning hardware, and possible explainability approaches to meet these requirements. Through an exploratory survey among 18 hardware experts, we showcase applications of the framework and discover potential research gaps. Our work lays the foundation for future work and structured debates on XHW.
△ Less
Submitted 25 April, 2024; v1 submitted 28 February, 2023;
originally announced February 2023.
-
The Dependence of Parallel Imaging with Linear Predictability on the Undersampling Direction
Authors:
Alex McManus,
Stephen Becker,
Nicholas Dwork
Abstract:
Parallel imaging with linear predictability takes advantage of information present in multiple receive coils to accurately reconstruct the image with fewer samples. Commonly used algorithms based on linear predictability include GRAPPA and SPIRiT. We present a sufficient condition for reconstruction based on the direction of undersampling and the arrangement of the sensing coils. This condition is…
▽ More
Parallel imaging with linear predictability takes advantage of information present in multiple receive coils to accurately reconstruct the image with fewer samples. Commonly used algorithms based on linear predictability include GRAPPA and SPIRiT. We present a sufficient condition for reconstruction based on the direction of undersampling and the arrangement of the sensing coils. This condition is justified theoretically and examples are shown using real data. We also propose a metric based on the fully-sampled auto-calibration region which can show which direction(s) of undersampling will allow for a good quality image reconstruction.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Lung airway geometry as an early predictor of autism: A preliminary machine learning-based study
Authors:
Asef Islam,
Anthony Ronco,
Stephen M. Becker,
Jeremiah Blackburn,
Johannes C. Schittny,
Kyoungmi Kim,
Rebecca Stein-Wexler,
Anthony S. Wexler
Abstract:
The goal of this study is to assess the feasibility of airway geometry as a biomarker for ASD. Chest CT images of children with a documented diagnosis of ASD as well as healthy controls were identified retrospectively. 54 scans were obtained for analysis, including 31 ASD cases and 23 age and sex-matched controls. A feature selection and classification procedure using principal component analysis…
▽ More
The goal of this study is to assess the feasibility of airway geometry as a biomarker for ASD. Chest CT images of children with a documented diagnosis of ASD as well as healthy controls were identified retrospectively. 54 scans were obtained for analysis, including 31 ASD cases and 23 age and sex-matched controls. A feature selection and classification procedure using principal component analysis (PCA) and support vector machine (SVM) achieved a peak cross validation accuracy of nearly 89% using a feature set of 8 airway branching angles. Sensitivity was 94%, but specificity was only 78%. The results suggest a measurable difference in airway branchpoint angles between children with ASD and the control population. Under review at Scientific Reports
△ Less
Submitted 9 February, 2023; v1 submitted 13 January, 2023;
originally announced January 2023.
-
The progression of visual search in multiple item displays: First relational, then feature-based
Authors:
Zachary Hamblin-Frohman,
Koralalage Don Raveen Amarasekera,
Stefanie I. Becker
Abstract:
It is well-known that visual attention can be tuned in a context-dependent manner to elementary features, such as searching for all redder items or the reddest item, supporting a relational theory of visual attention. However, in previous studies, the conditions were often conducive for relational search, allowing successfully selecting the target relationally on 50% of trials or more. Moreover, t…
▽ More
It is well-known that visual attention can be tuned in a context-dependent manner to elementary features, such as searching for all redder items or the reddest item, supporting a relational theory of visual attention. However, in previous studies, the conditions were often conducive for relational search, allowing successfully selecting the target relationally on 50% of trials or more. Moreover, the search displays were often only sparsely populated and presented repeatedly, rendering it possible that relational search was based on context learning and not spontaneous. The present study tested the shape of the attentional tuning function in 36-item search displays, when the target never had a maximal feature value (e.g., was never the reddest or yellowest item), and when only the target colour but not the context colour was known. The first fixations on a trial showed that these displays still reliably evoked relational search, even when participants had no advance information about the context and no on-task training. Context learning further strengthened relational tuning on subsequent trials, but was not necessary for relational search. Analysing the progression of visual search within a singe trial showed that attention is first guided to the relationally maximal item (e.g., reddest), then the next-maximal (e.g., next-reddest) item, and so forth, before attention can hone in on target-matching features. In sum, the results support two tenets of the relational account, that information about the dominant feature in a display can be rapidly extracted and used to guide attention to the relatively best-matching features.
△ Less
Submitted 8 January, 2023;
originally announced January 2023.