Showing 1–46 of 46 results for author: Reiser, P

Examples of tangent cones of non-collapsed Ricci limit spaces

Authors: Philipp Reiser

Abstract: We give new examples of manifolds that appear as cross sections of tangent cones of non-collapsed Ricci limit spaces. It was shown by Colding-Naber that the homeomorphism types of the tangent cones of a fixed point of such a space do not need to be unique. In fact, they constructed an example in dimension 5 where two different homeomorphism types appear at the same point. In this note, we extend t… ▽ More We give new examples of manifolds that appear as cross sections of tangent cones of non-collapsed Ricci limit spaces. It was shown by Colding-Naber that the homeomorphism types of the tangent cones of a fixed point of such a space do not need to be unique. In fact, they constructed an example in dimension 5 where two different homeomorphism types appear at the same point. In this note, we extend this result and construct limit spaces in all dimensions at least 5 where any finite collection of manifolds that admit core metrics, a type of metric introduced by Perelman and Burdick to study Riemannian metrics of positive Ricci curvature on connected sums, can appear as cross sections of tangent cones of the same point. △ Less

Submitted 18 September, 2024; originally announced September 2024.

Comments: 11 pages, comments welcome!

MSC Class: 53C20; 53C21; 54E35

Discovering one molecule out of a million: inverse design of molecular hole transporting semiconductors tailored for perovskite solar cells

Authors: Jianchang Wu, Luca Torresi, ManMan Hu, Patrick Reiser, Jiyun Zhang, Juan S. Rocha-Ortiz, Luyao Wang, Zhiqiang Xie, Kaicheng Zhang, Byung-wook Park, Anastasia Barabash, Yicheng Zhao, Junsheng Luo, Yunuo Wang, Larry L��er, Lin-Long Deng, Jens A. Hauch, Sang Il Seok, Pascal Friederich, Christoph J. Brabec

Abstract: The inverse design of tailored organic molecules for specific optoelectronic devices of high complexity holds an enormous potential, but has not yet been realized1,2. The complexity and literally infinite diversity of conjugated molecular structures present both, an unprecedented opportunity for technological breakthroughs as well as an unseen optimization challenge. Current models rely on big dat… ▽ More The inverse design of tailored organic molecules for specific optoelectronic devices of high complexity holds an enormous potential, but has not yet been realized1,2. The complexity and literally infinite diversity of conjugated molecular structures present both, an unprecedented opportunity for technological breakthroughs as well as an unseen optimization challenge. Current models rely on big data which do not exist for specialized research films. However, a hybrid computational and high throughput experimental screening workflow allowed us to train predictive models with as little as 149 molecules. We demonstrate a unique closed-loop workflow combining high throughput synthesis and Bayesian optimization that discovers new hole transporting materials with tailored properties for solar cell applications. A series of high-performance molecules were identified from minimal suggestions, achieving up to 26.23% (certified 25.88%) power conversion efficiency in perovskite solar cells. Our work paves the way for rapid, informed discovery in vast molecular libraries, revolutionizing material selection for complex devices. We believe that our approach can be generalized to other emerging fields and indeed accelerate the development of optoelectronic semiconductor devices in general. △ Less

Submitted 30 June, 2024; originally announced July 2024.

Comments: 21 pages, 5 figures

Positive Ricci curvature on connected sums of fibre bundles

Authors: Philipp Reiser

Abstract: We consider the problem of preserving positive Ricci curvature along connected sums. In this context, based on earlier work by Perelman, Burdick introduced the notion of core metrics and showed that the connected sum of manifolds with core metrics admits a Riemannian metric of positive Ricci curvature. He subsequently showed that core metrics exist on compact rank one symmetric spaces, certain sph… ▽ More We consider the problem of preserving positive Ricci curvature along connected sums. In this context, based on earlier work by Perelman, Burdick introduced the notion of core metrics and showed that the connected sum of manifolds with core metrics admits a Riemannian metric of positive Ricci curvature. He subsequently showed that core metrics exist on compact rank one symmetric spaces, certain sphere bundles and manifolds obtained as boundaries of certain plumbings. In this article, we show that core metrics can be lifted along general fibre bundles, including sphere bundles and projective bundles. Our techniques also apply to spaces that decompose as the union of two disc bundles such as the Wu manifold. As application we show that all classes in the torsion-free oriented bordism ring can be represented by connected manifolds of positive Ricci curvature. △ Less

Submitted 4 June, 2024; originally announced June 2024.

Comments: 33 pages

MSC Class: 53C20; 57R65

Thermal cycling induced evolution and colossal exchange bias in MnPS3/Fe3GeTe2 van der Waals heterostructures

Authors: Aravind Puthirath Balan, Aditya Kumar, Patrick Reiser, Joseph Vas, Thibaud Denneulin, Khoa Dang Lee, Tom G Saunderson, Märta Tschudin, Clement Pellet-Mary, Debarghya Dutta, Carolin Schrader, Tanja Scholz, Jaco Geuchies, Shuai Fu, Hai Wang, Alberta Bonanni, Bettina V. Lotsch, Ulrich Nowak, Gerhard Jakob, Jacob Gayles, Andras Kovacs, Rafal E. Dunin-Borkowski, Patrick Maletinsky, Mathias Kläui

Abstract: The exchange bias phenomenon, inherent in exchange-coupled ferromagnetic and antiferromagnetic systems, has intrigued researchers for decades. Van der Waals materials, with their layered structure, provide an optimal platform for probing such physical phenomena. However, achieving a facile and effective means to manipulate exchange bias in pristine van der Waals heterostructures remains challengin… ▽ More The exchange bias phenomenon, inherent in exchange-coupled ferromagnetic and antiferromagnetic systems, has intrigued researchers for decades. Van der Waals materials, with their layered structure, provide an optimal platform for probing such physical phenomena. However, achieving a facile and effective means to manipulate exchange bias in pristine van der Waals heterostructures remains challenging. In this study, we investigate the origin of exchange bias in MnPS3/Fe3GeTe2 van der Waals heterostructures. Our work demonstrates a method to modulate unidirectional exchange anisotropy, achieving an unprecedented nearly 1000% variation through simple thermal cycling. Despite the compensated interfacial spin configuration of MnPS3, magneto-transport measurements reveal a huge 170 mT exchange bias at 5 K, the largest observed in pristine van der Waals antiferromagnet-ferromagnet interfaces. This substantial magnitude of the exchange bias is linked to an anomalous weak ferromagnetic ordering in MnPS3 below 40 K. On the other hand, the tunability of exchange bias during thermal cycling is ascribed to the modified arrangement of interfacial atoms and changes in the vdW gap during field cooling. Our findings highlight a robust and easily adjustable exchange bias in van der Waals antiferromagnetic/ferromagnetic heterostructures, presenting a straightforward approach to enhance other interface related spintronic phenomena for practical applications. △ Less

Submitted 8 March, 2024; originally announced March 2024.

Positive Ricci Curvature on Twisted Suspensions

Authors: Philipp Reiser

Abstract: The twisted suspension of a manifold is obtained by surgery along the fibre of a principal circle bundle over the manifold. It generalizes the spinning operation for knots and preserves various topological properties. In this article, we show that Riemannian metrics of positive Ricci curvature can be lifted along twisted suspensions. As an application we show that the maximal symmetry rank of a cl… ▽ More The twisted suspension of a manifold is obtained by surgery along the fibre of a principal circle bundle over the manifold. It generalizes the spinning operation for knots and preserves various topological properties. In this article, we show that Riemannian metrics of positive Ricci curvature can be lifted along twisted suspensions. As an application we show that the maximal symmetry rank of a closed, simply-connected Riemannian manifold of positive Ricci curvature is $(n-2)$ in all dimensions $n\geq 4$. Further applications include simply-connected 6-manifolds whose homology has torsion, (rational) homology spheres in all dimensions at least 4, and manifolds with prescribed third homology. △ Less

Submitted 2 April, 2024; v1 submitted 12 January, 2024; originally announced January 2024.

Comments: Added result on the symmetry rank (Theorem B), improved Theorem D, some minor changes, 24 pages

MSC Class: 53C20; 57R65; 57S15

Nanoscale magnetism and magnetic phase transitions in atomically thin CrSBr

Authors: Märta A. Tschudin, David A. Broadway, Patrick Reiser, Carolin Schrader, Evan J. Telford, Boris Gross, Jordan Cox, Adrien E. E. Dubois, Daniel G. Chica, Ricardo Rama-Eiroa, Elton J. G. Santos, Martino Poggio, Michael E. Ziebel, Cory R. Dean, Xavier Roy, Patrick Maletinsky

Abstract: Since their first observation in 2017, atomically thin van der Waals (vdW) magnets have attracted significant fundamental, and application-driven attention. However, their low ordering temperatures, $T_c$, sensitivity to atmospheric conditions and difficulties in preparing clean large-area samples still present major limitations to further progress. The remarkably stable high-$T_c$ vdW magnet CrSB… ▽ More Since their first observation in 2017, atomically thin van der Waals (vdW) magnets have attracted significant fundamental, and application-driven attention. However, their low ordering temperatures, $T_c$, sensitivity to atmospheric conditions and difficulties in preparing clean large-area samples still present major limitations to further progress. The remarkably stable high-$T_c$ vdW magnet CrSBr has the potential to overcome these key shortcomings, but its nanoscale properties and rich magnetic phase diagram remain poorly understood. Here we use single spin magnetometry to quantitatively characterise saturation magnetization, magnetic anisotropy constants, and magnetic phase transitions in few-layer CrSBr by direct magnetic imaging. We show pristine magnetic phases, devoid of defects on micron length-scales, and demonstrate remarkable air-stability down the monolayer limit. We address the spin-flip transition in bilayer CrSBr by direct imaging of the emerging antiferromagnetic (AFM) to ferromagnetic (FM) phase wall and elucidate the magnetic properties of CrSBr around its ordering temperature. Our work will enable the engineering of exotic electronic and magnetic phases in CrSBr and the realisation of novel nanomagnetic devices based on this highly promising vdW magnet. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 8 pages, 4 figures, plus supplementary material. Questions and comments are welcome

Journal ref: Nat. Commun. 15, 6005 (2024)

Uncertainty Quantification and Propagation in Surrogate-based Bayesian Inference

Authors: Philipp Reiser, Javier Enrique Aguilar, Anneli Guthke, Paul-Christian Bürkner

Abstract: Surrogate models are statistical or conceptual approximations for more complex simulation models. In this context, it is crucial to propagate the uncertainty induced by limited simulation budget and surrogate approximation error to predictions, inference, and subsequent decision-relevant quantities. However, quantifying and then propagating the uncertainty of surrogates is usually limited to speci… ▽ More Surrogate models are statistical or conceptual approximations for more complex simulation models. In this context, it is crucial to propagate the uncertainty induced by limited simulation budget and surrogate approximation error to predictions, inference, and subsequent decision-relevant quantities. However, quantifying and then propagating the uncertainty of surrogates is usually limited to special analytic cases or is otherwise computationally very expensive. In this paper, we propose a framework enabling a scalable, Bayesian approach to surrogate modeling with thorough uncertainty quantification, propagation, and validation. Specifically, we present three methods for Bayesian inference with surrogate models given measurement data. This is a task where the propagation of surrogate uncertainty is especially relevant, because failing to account for it may lead to biased and/or overconfident estimates of the parameters of interest. We showcase our approach in three detailed case studies for linear and nonlinear real-world modeling scenarios. Uncertainty propagation in surrogate models enables more reliable and safe approximation of expensive simulators and will therefore be useful in various fields of applications. △ Less

Submitted 22 July, 2024; v1 submitted 8 December, 2023; originally announced December 2023.

Tilted Dirac superconductor at quantum criticality: Restoration of Lorentz symmetry

Authors: Pablo Reiser, Vladimir Juricic

Abstract: Lorentz symmetry appears as a quite robust feature of the strongly interacting Dirac materials even though the lattice interactions break such a symmetry. We here demonstrate that the Lorentz symmetry is restored at the quantum-critical point (QCP) separating the tilted Dirac semimetal, breaking this symmetry already at the noninteracting level, from a gapped $s-$wave superconducting instability.… ▽ More Lorentz symmetry appears as a quite robust feature of the strongly interacting Dirac materials even though the lattice interactions break such a symmetry. We here demonstrate that the Lorentz symmetry is restored at the quantum-critical point (QCP) separating the tilted Dirac semimetal, breaking this symmetry already at the noninteracting level, from a gapped $s-$wave superconducting instability. To this end, we employ a one-loop $ε=(3-D)-$expansion close to the $D=3$ upper critical dimension of the corresponding Gross-Neveu-Yukawa field theory. In particular, we show that the tilt parameter is irrelevant and ultimately vanishes at the QCP separating the two phases. In fact, as we argue here, such a Lorentz symmetry restoration may be generic for the strongly interacting tilted Dirac semimetals, irrespective of whether they feature mirror-symmetric or mirror-asymmetric tilting, and is also insensitive to whether the instability represents an insulator or a gapped superconductor. The proposed scenario can be tested in the quantum Monte Carlo simulations of the interacting tilted Dirac fermion lattice models. △ Less

Submitted 27 February, 2024; v1 submitted 21 November, 2023; originally announced November 2023.

Comments: 22 pages, 4 figures

Journal ref: J. High Energ. Phys. 2024, 181 (2024)

Positive intermediate Ricci curvature on connected sums

Authors: Philipp Reiser, David J. Wraith

Abstract: We consider the problem of performing connected sums in the context of positive $k^{th}$ intermediate Ricci curvature. We show that such connected sums are possible if the manifolds involved possess `$k$-core metrics' for some $k$. Here, a $k$-core metric is a generalization of the notion of core metric introduced by Burdick for positive Ricci curvature. Further, we show that connected sums of lin… ▽ More We consider the problem of performing connected sums in the context of positive $k^{th}$ intermediate Ricci curvature. We show that such connected sums are possible if the manifolds involved possess `$k$-core metrics' for some $k$. Here, a $k$-core metric is a generalization of the notion of core metric introduced by Burdick for positive Ricci curvature. Further, we show that connected sums of linear sphere bundles over bases admitting such metrics admit positive $k^{th}$ intermediate Ricci curvature for $k$ in a particular range. This follows from a plumbing result we establish, which generalizes other recent plumbing results in the literature and is possibly of independent interest. As an example of a manifold admitting a $k$-core metric, we prove that $\mathbb{H} P^n$ admits a $(4n-3)$-core metric and that $\mathbb{O}P^2$ admits a $9$-core metric, and we show that in both cases these are optimal. △ Less

Submitted 17 January, 2024; v1 submitted 4 October, 2023; originally announced October 2023.

Comments: Minor changes

MSC Class: 53C20

Scalable Performance Evaluation of Byzantine Fault-Tolerant Systems Using Network Simulation

Authors: Christian Berger, Sadok Ben Toumia, Hans P. Reiser

Abstract: Recent Byzantine fault-tolerant (BFT) state machine replication (SMR) protocols increasingly focus on scalability to meet the requirements of distributed ledger technology (DLT). Validating the performance of scalable BFT protocol implementations requires careful evaluation. Our solution uses network simulations to forecast the performance of BFT protocols while experimentally scaling the environm… ▽ More Recent Byzantine fault-tolerant (BFT) state machine replication (SMR) protocols increasingly focus on scalability to meet the requirements of distributed ledger technology (DLT). Validating the performance of scalable BFT protocol implementations requires careful evaluation. Our solution uses network simulations to forecast the performance of BFT protocols while experimentally scaling the environment. Our method seamlessly plug-and-plays existing BFT implementations into the simulation without requiring code modification or re-implementation, which is often time-consuming and error-prone. Furthermore, our approach is also significantly cheaper than experiments with real large-scale cloud deployments. In this paper, we first explain our simulation architecture, which enables scalable performance evaluations of BFT systems through high performance network simulations. We validate the accuracy of these simulations for predicting the performance of BFT systems by comparing simulation results with measurements of real systems deployed on cloud infrastructures. We found that simulation results display a reasonable approximation at a larger system scale, because the network eventually becomes the dominating factor limiting system performance. In the second part of our paper, we use our simulation method to evaluate the performance of PBFT and BFT protocols from the blockchain generation, such as HotStuff and Kauri, in large-scale and realistic wide-area network scenarios, as well as under induced faults. △ Less

Submitted 29 September, 2023; originally announced September 2023.

Comments: 10 pages, accepted at the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023) 24-27, OCT, 2023, Singapore, Singapore

A generalization of the Perelman gluing theorem and applications

Authors: Philipp Reiser, David J. Wraith

Abstract: We extend a positive Ricci curvature gluing theorem of Perelman to a range of positive intermediate curvature conditions, ranging from positive scalar curvature up to (and including) positive sectional curvature. As an application of this, we demonstrate that the observer moduli space of metrics with positive intermediate Ricci curvatures can have non-trivial higher homotopy groups. Further applic… ▽ More We extend a positive Ricci curvature gluing theorem of Perelman to a range of positive intermediate curvature conditions, ranging from positive scalar curvature up to (and including) positive sectional curvature. As an application of this, we demonstrate that the observer moduli space of metrics with positive intermediate Ricci curvatures can have non-trivial higher homotopy groups. Further applications include deriving a sufficient condition for the existence of a metric with positive intermediate Ricci curvature and totally geodesic boundary. △ Less

Submitted 17 January, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: Minor changes

MSC Class: 53C20

Shallow Silicon Vacancy Centers with lifetime-limited optical linewidths in Diamond Nanostructures

Authors: Josh A. Zuber, Minghao Li, Marcel. li Grimau Puigibert, Jodok Happacher, Patrick Reiser, Brendan J. Shields, Patrick Maletinsky

Abstract: The negatively charged silicon vacancy center (SiV$^-$) in diamond is a promising, yet underexplored candidate for single-spin quantum sensing at sub-kelvin temperatures and tesla-range magnetic fields. A key ingredient for such applications is the ability to perform all-optical, coherent addressing of the electronic spin of near-surface SiV$^-$ centers. We present a robust and scalable approach f… ▽ More The negatively charged silicon vacancy center (SiV$^-$) in diamond is a promising, yet underexplored candidate for single-spin quantum sensing at sub-kelvin temperatures and tesla-range magnetic fields. A key ingredient for such applications is the ability to perform all-optical, coherent addressing of the electronic spin of near-surface SiV$^-$ centers. We present a robust and scalable approach for creating individual, $\sim$50nm deep SiV$^-$ with lifetime-limited optical linewidths in diamond nanopillars through an easy-to-realize and persistent optical charge-stabilization scheme. The latter is based on single, prolonged 445nm laser illumination that enables continuous photoluminescence excitation spectroscopy, without the need for any further charge stabilization or repumping. Our results constitute a key step towards the use of near-surface, optically coherent SiV$^-$ for sensing under extreme conditions, and offer a powerful approach for stabilizing the charge-environment of diamond color centers for quantum technology applications. △ Less

Submitted 24 July, 2023; originally announced July 2023.

Comments: 15 pages, 13 figures including supplementary information

JARVIS-Leaderboard: A Large Scale Benchmark of Materials Design Methods

Authors: Kamal Choudhary, Daniel Wines, Kangming Li, Kevin F. Garrity, Vishu Gupta, Aldo H. Romero, Jaron T. Krogel, Kayahan Saritas, Addis Fuhr, Panchapakesan Ganesh, Paul R. C. Kent, Keqiang Yan, Yuchao Lin, Shuiwang Ji, Ben Blaiszik, Patrick Reiser, Pascal Friederich, Ankit Agrawal, Pratyush Tiwary, Eric Beyerle, Peter Minch, Trevor David Rhone, Ichiro Takeuchi, Robert B. Wexler, Arun Mannodi-Kanakkithodi , et al. (13 additional authors not shown)

Abstract: Lack of rigorous reproducibility and validation are major hurdles for scientific development across many fields. Materials science in particular encompasses a variety of experimental and theoretical approaches that require careful benchmarking. Leaderboard efforts have been developed previously to mitigate these issues. However, a comprehensive comparison and benchmarking on an integrated platform… ▽ More Lack of rigorous reproducibility and validation are major hurdles for scientific development across many fields. Materials science in particular encompasses a variety of experimental and theoretical approaches that require careful benchmarking. Leaderboard efforts have been developed previously to mitigate these issues. However, a comprehensive comparison and benchmarking on an integrated platform with multiple data modalities with both perfect and defect materials data is still lacking. This work introduces JARVIS-Leaderboard, an open-source and community-driven platform that facilitates benchmarking and enhances reproducibility. The platform allows users to set up benchmarks with custom tasks and enables contributions in the form of dataset, code, and meta-data submissions. We cover the following materials design categories: Artificial Intelligence (AI), Electronic Structure (ES), Force-fields (FF), Quantum Computation (QC) and Experiments (EXP). For AI, we cover several types of input data, including atomic structures, atomistic images, spectra, and text. For ES, we consider multiple ES approaches, software packages, pseudopotentials, materials, and properties, comparing results to experiment. For FF, we compare multiple approaches for material property predictions. For QC, we benchmark Hamiltonian simulations using various quantum algorithms and circuits. Finally, for experiments, we use the inter-laboratory approach to establish benchmarks. There are 1281 contributions to 274 benchmarks using 152 methods with more than 8 million data-points, and the leaderboard is continuously expanding. The JARVIS-Leaderboard is available at the website: https://pages.nist.gov/jarvis_leaderboard △ Less

Submitted 26 March, 2024; v1 submitted 20 June, 2023; originally announced June 2023.

Chasing the Speed of Light: Low-Latency Planetary-Scale Adaptive Byzantine Consensus

Authors: Christian Berger, Lívio Rodrigues, Hans P. Reiser, Vinicius Cogo, Alysson Bessani

Abstract: Blockchain technology sparked renewed interest in planetary-scale Byzantine fault-tolerant (BFT) state machine replication (SMR). While recent works predominantly focused on improving the scalability and throughput of these protocols, few of them addressed latency. We present Mercury, a novel transformation to autonomously optimize the latency of quorum-based BFT consensus. Mercury employs a dual… ▽ More Blockchain technology sparked renewed interest in planetary-scale Byzantine fault-tolerant (BFT) state machine replication (SMR). While recent works predominantly focused on improving the scalability and throughput of these protocols, few of them addressed latency. We present Mercury, a novel transformation to autonomously optimize the latency of quorum-based BFT consensus. Mercury employs a dual resilience threshold that enables faster transaction ordering when the system contains few faulty replicas. Mercury allows forming compact quorums that substantially accelerate consensus using a smaller resilience threshold. Nevertheless, Mercury upholds standard SMR safety and liveness guarantees with optimal resilience, thanks to its judicious use of a dual operation mode and BFT forensics techniques. Our experiments spread tens of replicas across continents and reveal that Mercury can order transactions with finality in less than 0.4 seconds, half the time of a PBFT-like protocol (optimal in terms of number of communication steps and resilience) in the same network. Furthermore, Mercury matches the latency of running its base protocol on theoretically optimal internet links (transmitting at 67% of the speed of light). △ Less

Submitted 30 September, 2024; v1 submitted 24 May, 2023; originally announced May 2023.

Comments: 17 pages, accepted at the 25th ACM/IFIP International Middleware Conference 2024 conference

An integrated system built for small-molecule semiconductors via high-throughput approaches

Authors: Jianchang Wu, Jiyun Zhang, Manman Hu, Patrick Reiser, Luca Torresi, Pascal Friederich, Leopold Lahn, Olga Kasian, Dirk M. Guldi, M. Eugenia Pérez-Ojeda, Anastasia Barabash, Juan S. Rocha-Ortiz, Yicheng Zhao, Zhiqiang Xie, Junsheng Luo, Yunuo Wang, Sang Il Seok, Jens A. Hauch, Christoph J. Brabec

Abstract: High-throughput synthesis of solution-processable structurally variable small-molecule semiconductors is both an opportunity and a challenge. A large number of diverse molecules provide a possibility for quick material discovery and machine learning based on experimental data. However, the diversity of molecular structure leads to the complexity of molecular properties, such as solubility, polarit… ▽ More High-throughput synthesis of solution-processable structurally variable small-molecule semiconductors is both an opportunity and a challenge. A large number of diverse molecules provide a possibility for quick material discovery and machine learning based on experimental data. However, the diversity of molecular structure leads to the complexity of molecular properties, such as solubility, polarity, and crystallinity, which poses great challenges to solution processing and purification. Here, we first report an integrated system for the high-throughput synthesis, purification, and characterization of molecules with a large variety. Based on the principle of Like dissolves like, we combine theoretical calculations and a robotic platform to accelerate the purification of those molecules. With this platform, a material library containing 125 molecules and their optical-electric properties was built within a timeframe of weeks. More importantly, the high repeatability of recrystallization we design is a reliable approach to further upgrading and industrial production. △ Less

Submitted 13 May, 2023; originally announced May 2023.

Comments: 18 pages, 5 figures

Journal ref: J. Am. Chem. Soc. 2023, 145, 30, 1651-16525

Free torus actions and twisted suspensions

Authors: Fernando Galaz-García, Philipp Reiser

Abstract: We express the total space of a principal circle bundle over a connected sum of two manifolds in terms of the total spaces of circle bundles over each summand, provided certain conditions hold. We then apply this result to provide sufficient conditions for the existence of free circle and torus actions on connected sums of products of spheres and obtain a topological classification of closed, simp… ▽ More We express the total space of a principal circle bundle over a connected sum of two manifolds in terms of the total spaces of circle bundles over each summand, provided certain conditions hold. We then apply this result to provide sufficient conditions for the existence of free circle and torus actions on connected sums of products of spheres and obtain a topological classification of closed, simply-connected manifolds with a free cohomogeneity-four torus action. As a corollary, we obtain infinitely-many manifolds with Riemannian metrics of positive Ricci curvature and isometric torus actions. △ Less

Submitted 23 June, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: Minor changes, 29 pages

MSC Class: 57S15 (Primary) 55R15; 53C20; 57R65; 57R22; 55R25 (Secondary)

Neural networks trained on synthetically generated crystals can extract structural information from ICSD powder X-ray diffractograms

Authors: Henrik Schopmans, Patrick Reiser, Pascal Friederich

Abstract: Machine learning techniques have successfully been used to extract structural information such as the crystal space group from powder X-ray diffractograms. However, training directly on simulated diffractograms from databases such as the ICSD is challenging due to its limited size, class-inhomogeneity, and bias toward certain structure types. We propose an alternative approach of generating synthe… ▽ More Machine learning techniques have successfully been used to extract structural information such as the crystal space group from powder X-ray diffractograms. However, training directly on simulated diffractograms from databases such as the ICSD is challenging due to its limited size, class-inhomogeneity, and bias toward certain structure types. We propose an alternative approach of generating synthetic crystals with random coordinates by using the symmetry operations of each space group. Based on this approach, we demonstrate online training of deep ResNet-like models on up to a few million unique on-the-fly generated synthetic diffractograms per hour. For our chosen task of space group classification, we achieved a test accuracy of 79.9% on unseen ICSD structure types from most space groups. This surpasses the 56.1% accuracy of the current state-of-the-art approach of training on ICSD crystals directly. Our results demonstrate that synthetically generated crystals can be used to extract structural information from ICSD powder diffractograms, which makes it possible to apply very large state-of-the-art machine learning models in the area of powder X-ray diffraction. We further show first steps toward applying our methodology to experimental data, where automated XRD data analysis is crucial, especially in high-throughput settings. While we focused on the prediction of the space group, our approach has the potential to be extended to related tasks in the future. △ Less

Submitted 19 September, 2023; v1 submitted 21 March, 2023; originally announced March 2023.

Journal ref: Digital Discovery, 2023,2, 1414-1424

SoK: Scalability Techniques for BFT Consensus

Authors: Christian Berger, Signe Schwarz-Rüsch, Arne Vogel, Kai Bleeke, Leander Jehl, Hans P. Reiser, Rüdiger Kapitza

Abstract: With the advancement of blockchain systems, many recent research works have proposed distributed ledger technology~(DLT) that employs Byzantine fault-tolerant~(BFT) consensus protocols to decide which block to append next to the ledger. Notably, BFT consensus can offer high performance, energy efficiency, and provable correctness properties, and it is thus considered a promising building block for… ▽ More With the advancement of blockchain systems, many recent research works have proposed distributed ledger technology~(DLT) that employs Byzantine fault-tolerant~(BFT) consensus protocols to decide which block to append next to the ledger. Notably, BFT consensus can offer high performance, energy efficiency, and provable correctness properties, and it is thus considered a promising building block for creating highly resilient and performant blockchain infrastructures. Yet, a major ongoing challenge is to make BFT consensus applicable to large-scale environments. A large body of recent work addresses this challenge by developing novel ideas to improve the scalability of BFT consensus, thus opening the path for a new generation of BFT protocols tailored to the needs of blockchain. In this survey, we create a systematization of knowledge about the novel scalability-enhancing techniques that state-of-the-art BFT consensus protocols use. For our comparison, we closely analyze the efforts, assumptions, and trade-offs these protocols make. △ Less

Submitted 20 March, 2023; originally announced March 2023.

Comments: 18 pages, accepted to appear in the proceedings of the 5th IEEE International Conference on Blockchain and Cryptocurrency

ACM Class: A.1; C.2

Accurate GW frontier orbital energies of 134 kilo molecules

Authors: Artem Fediai, Patrick Reiser, Jorge Enrique Olivares Peña, Pascal Friederich, Wolfgang Wenzel

Abstract: The QM9 dataset [Scientific Data, Vol. 1, 140022 (2014)] became a standard dataset to benchmark machine learning methods, especially on molecular graphs. It contains geometries as well as multiple computed molecular properties of 133,885 compounds at B3LYP/6-31G(2df,p) level of theory, including frontier orbitals (HOMO and LUMO) energies. However, the accuracy of HOMO/LUMO predictions from density… ▽ More The QM9 dataset [Scientific Data, Vol. 1, 140022 (2014)] became a standard dataset to benchmark machine learning methods, especially on molecular graphs. It contains geometries as well as multiple computed molecular properties of 133,885 compounds at B3LYP/6-31G(2df,p) level of theory, including frontier orbitals (HOMO and LUMO) energies. However, the accuracy of HOMO/LUMO predictions from density functional theory, including hybrid methods such as B3LYP, is limited for many applications. In contrast, the GW method significantly improves HOMO/LUMO prediction accuracy, with mean unsigned errors in the GW100 benchmark dataset of 100 meV. In this work, we present a new dataset of HOMO/LUMO energies for the QM9 compounds, computed using the GW method. This database may serve as a benchmark of HOMO/LUMO prediction, delta-learning, and transfer learning, particularly for larger molecules where GW is the most accurate but still numerically feasible method. We expect this dataset to enable the development of more accurate machine learning models for predicting molecular properties △ Less

Submitted 15 March, 2023; originally announced March 2023.

Journal ref: Sci Data 10, 581 (2023)

Connectivity Optimized Nested Graph Networks for Crystal Structures

Authors: Robin Ruff, Patrick Reiser, Jan Stühmer, Pascal Friederich

Abstract: Graph neural networks (GNNs) have been applied to a large variety of applications in materials science and chemistry. Here, we recapitulate the graph construction for crystalline (periodic) materials and investigate its impact on the GNNs model performance. We suggest the asymmetric unit cell as a representation to reduce the number of atoms by using all symmetries of the system. This substantiall… ▽ More Graph neural networks (GNNs) have been applied to a large variety of applications in materials science and chemistry. Here, we recapitulate the graph construction for crystalline (periodic) materials and investigate its impact on the GNNs model performance. We suggest the asymmetric unit cell as a representation to reduce the number of atoms by using all symmetries of the system. This substantially reduced the computational cost and thus time needed to train large graph neural networks without any loss in accuracy. Furthermore, with a simple but systematically built GNN architecture based on message passing and line graph templates, we introduce a general architecture (Nested Graph Network, NGN) that is applicable to a wide range of tasks. We show that our suggested models systematically improve state-of-the-art results across all tasks within the MatBench benchmark. Further analysis shows that optimized connectivity and deeper message functions are responsible for the improvement. Asymmetric unit cells and connectivity optimization can be generally applied to (crystal) graph networks, while our suggested nested graph framework will open new ways of systematic comparison of GNN architectures. △ Less

Submitted 9 August, 2023; v1 submitted 27 February, 2023; originally announced February 2023.

Comments: 19 pages, 13 figures

ACM Class: J.2

Temperature Dependent Photophysics of Single NV Centers in Diamond

Authors: Jodok Happacher, Juanita Bocquel, Hossein T. Dinani, Märta A. Tschudin, Patrick Reiser, David A. Broadway, Jeronimo R. Maze, Patrick Maletinsky

Abstract: We present a comprehensive study of the temperature and magnetic-field dependent photoluminescence (PL) of individual NV centers in diamond, spanning the temperature-range from cryogenic to ambient conditions. We directly observe the emergence of the NV's room-temperature effective excited state structure and provide a clear explanation for a previously poorly understood broad quenching of NV PL a… ▽ More We present a comprehensive study of the temperature and magnetic-field dependent photoluminescence (PL) of individual NV centers in diamond, spanning the temperature-range from cryogenic to ambient conditions. We directly observe the emergence of the NV's room-temperature effective excited state structure and provide a clear explanation for a previously poorly understood broad quenching of NV PL at intermediate temperatures around 50 K. We develop a model that quantitatively explains all of our findings, including the strong impact that strain has on the temperaturedependence of the NV's PL. These results complete our understanding of orbital averaging in the NV excited state and have significant implications for the fundamental understanding of the NV center and its applications in quantum sensing. △ Less

Submitted 31 January, 2023; originally announced February 2023.

Comments: 5 pages, 4 figures plus Supplementary Material. Questions and comments are welcome. arXiv admin note: text overlap with arXiv:2105.08075

Journal ref: Phys. Rev. Lett. 131, 086904 (2023)

Positive intermediate Ricci curvature on fibre bundles

Authors: Philipp Reiser, David J. Wraith

Abstract: We prove a canonical variation-type result for submersion metrics with positive intermediate Ricci curvatures. This can then be used in conjunction with surgery techniques to establish the existence of metrics with positive intermediate Ricci curvatures on a wide range of examples which had previously only been known to admit positive Ricci curvature, such as highly connected manifolds and exotic… ▽ More We prove a canonical variation-type result for submersion metrics with positive intermediate Ricci curvatures. This can then be used in conjunction with surgery techniques to establish the existence of metrics with positive intermediate Ricci curvatures on a wide range of examples which had previously only been known to admit positive Ricci curvature, such as highly connected manifolds and exotic spheres. Further, we extend results of the second author on the moduli space of metrics with positive Ricci curvature to positive intermediate Ricci curvatures. △ Less

Submitted 20 December, 2023; v1 submitted 26 November, 2022; originally announced November 2022.

Comments: Minor changes

MSC Class: 53C20

MEGAN: Multi-Explanation Graph Attention Network

Authors: Jonas Teufel, Luca Torresi, Patrick Reiser, Pascal Friederich

Abstract: We propose a multi-explanation graph attention network (MEGAN). Unlike existing graph explainability methods, our network can produce node and edge attributional explanations along multiple channels, the number of which is independent of task specifications. This proves crucial to improve the interpretability of graph regression predictions, as explanations can be split into positive and negative… ▽ More We propose a multi-explanation graph attention network (MEGAN). Unlike existing graph explainability methods, our network can produce node and edge attributional explanations along multiple channels, the number of which is independent of task specifications. This proves crucial to improve the interpretability of graph regression predictions, as explanations can be split into positive and negative evidence w.r.t to a reference value. Additionally, our attention-based network is fully differentiable and explanations can actively be trained in an explanation-supervised manner. We first validate our model on a synthetic graph regression dataset with known ground-truth explanations. Our network outperforms existing baseline explainability methods for the single- as well as the multi-explanation case, achieving near-perfect explanation accuracy during explanation supervision. Finally, we demonstrate our model's capabilities on multiple real-world datasets. We find that our model produces sparse high-fidelity explanations consistent with human intuition about those tasks. △ Less

Submitted 25 May, 2023; v1 submitted 23 November, 2022; originally announced November 2022.

Comments: 24 pages, accepted for xAI 2023 conference portugal

Metrics of Positive Ricci Curvature on Simply-Connected Manifolds of Dimension $6k$

Authors: Philipp Reiser

Abstract: A consequence of the surgery theorem of Gromov and Lawson is that every closed, simply-connected 6-manifold admits a Riemannian metric of positive scalar curvature. For metrics of positive Ricci curvature it is widely open whether a similar result holds; there are no obstructions known for those manifolds to admit a metric of positive Ricci curvature, while the number of examples known is limited.… ▽ More A consequence of the surgery theorem of Gromov and Lawson is that every closed, simply-connected 6-manifold admits a Riemannian metric of positive scalar curvature. For metrics of positive Ricci curvature it is widely open whether a similar result holds; there are no obstructions known for those manifolds to admit a metric of positive Ricci curvature, while the number of examples known is limited. In this article we introduce a new description of certain $6k$-dimensional manifolds via labeled bipartite graphs and use an earlier result of the author to construct metrics of positive Ricci curvature on these manifolds. In this way we obtain many new examples, both spin and non-spin, of $6k$-dimensional manifolds with a metric of positive Ricci curvature. △ Less

Submitted 11 October, 2024; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: Minor changes, final version, accepted for publication in the Journal of Topology

MSC Class: 53C20; 57R65

SmartKex: Machine Learning Assisted SSH Keys Extraction From The Heap Dump

Authors: Christofer Fellicious, Stewart Sentanoe, Michael Granitzer, Hans P. Reiser

Abstract: Digital forensics is the process of extracting, preserving, and documenting evidence in digital devices. A commonly used method in digital forensics is to extract data from the main memory of a digital device. However, the main challenge is identifying the important data to be extracted. Several pieces of crucial information reside in the main memory, like usernames, passwords, and cryptographic k… ▽ More Digital forensics is the process of extracting, preserving, and documenting evidence in digital devices. A commonly used method in digital forensics is to extract data from the main memory of a digital device. However, the main challenge is identifying the important data to be extracted. Several pieces of crucial information reside in the main memory, like usernames, passwords, and cryptographic keys such as SSH session keys. In this paper, we propose SmartKex, a machine-learning assisted method to extract session keys from heap memory snapshots of an OpenSSH process. In addition, we release an openly available dataset and the corresponding toolchain for creating additional data. Finally, we compare SmartKex with naive brute-force methods and empirically show that SmartKex can extract the session keys with high accuracy and high throughput. With the provided resources, we intend to strengthen the research on the intersection between digital forensics, cybersecurity, and machine learning. △ Less

Submitted 13 September, 2022; v1 submitted 12 September, 2022; originally announced September 2022.

Simulating BFT Protocol Implementations at Scale

Authors: Christian Berger, Sadok Ben Toumia, Hans P. Reiser

Abstract: The novel blockchain generation of Byzantine fault-tolerant (BFT) state machine replication (SMR) protocols focuses on scalability and performance to meet requirements of distributed ledger technology (DLT), e.g., decentralization and geographic dispersion. Validating scalability and performance of BFT protocol implementations requires careful evaluation. While experiments with real protocol deplo… ▽ More The novel blockchain generation of Byzantine fault-tolerant (BFT) state machine replication (SMR) protocols focuses on scalability and performance to meet requirements of distributed ledger technology (DLT), e.g., decentralization and geographic dispersion. Validating scalability and performance of BFT protocol implementations requires careful evaluation. While experiments with real protocol deployments usually offer the best realism, they are costly and time-consuming. In this paper, we explore simulation of unmodified BFT protocol implementations as as a method for cheap and rapid protocol evaluation: We can accurately forecast the performance of a BFT protocol while experimentally scaling its environment, i.e., by varying the number of nodes or geographic dispersion. Our approach is resource-friendly and preserves application-realism, since existing BFT frameworks can be simply plugged into the simulation engine without requiring code modifications or re-implementation. △ Less

Submitted 6 September, 2022; v1 submitted 31 August, 2022; originally announced August 2022.

Intermediate Ricci curvatures and Gromov's Betti number bound

Authors: Philipp Reiser, David J. Wraith

Abstract: We consider intermediate Ricci curvatures $Ric_k$ on a closed Riemannian manifold $M^n$. These interpolate between the Ricci curvature when $k=n-1$ and the sectional curvature when $k=1$. By establishing a surgery result for Riemannian metrics with $Ric_k>0$, we show that Gromov's upper Betti number bound for sectional curvature bounded below fails to hold for $Ric_k>0$ when… ▽ More We consider intermediate Ricci curvatures $Ric_k$ on a closed Riemannian manifold $M^n$. These interpolate between the Ricci curvature when $k=n-1$ and the sectional curvature when $k=1$. By establishing a surgery result for Riemannian metrics with $Ric_k>0$, we show that Gromov's upper Betti number bound for sectional curvature bounded below fails to hold for $Ric_k>0$ when $\lfloor n/2 \rfloor+2 \le k \le n-1$. This was previously known only in the case of positive Ricci curvature. △ Less

Submitted 9 May, 2023; v1 submitted 29 August, 2022; originally announced August 2022.

Comments: Minor changes

MSC Class: 53C20

Graph neural networks for materials science and chemistry

Authors: Patrick Reiser, Marlen Neubert, André Eberhard, Luca Torresi, Chen Zhou, Chen Shao, Houssam Metni, Clint van Hoesel, Henrik Schopmans, Timo Sommer, Pascal Friederich

Abstract: Machine learning plays an increasingly important role in many areas of chemistry and materials science, e.g. to predict materials properties, to accelerate simulations, to design new materials, and to predict synthesis routes of new materials. Graph neural networks (GNNs) are one of the fastest growing classes of machine learning models. They are of particular relevance for chemistry and materials… ▽ More Machine learning plays an increasingly important role in many areas of chemistry and materials science, e.g. to predict materials properties, to accelerate simulations, to design new materials, and to predict synthesis routes of new materials. Graph neural networks (GNNs) are one of the fastest growing classes of machine learning models. They are of particular relevance for chemistry and materials science, as they directly work on a graph or structural representation of molecules and materials and therefore have full access to all relevant information required to characterize materials. In this review article, we provide an overview of the basic principles of GNNs, widely used datasets, and state-of-the-art architectures, followed by a discussion of a wide range of recent applications of GNNs in chemistry and materials science, and concluding with a road-map for the further development and application of GNNs. △ Less

Submitted 5 August, 2022; originally announced August 2022.

Comments: 37 pages, 2 figures

Automatic Integration of BFT State-Machine Replication into IoT Systems

Authors: Christian Berger, Hans P. Reiser, Franz J. Hauck, Florian Held, Jörg Domaschka

Abstract: Byzantine fault tolerance (BFT) can preserve the availability and integrity of IoT systems where single components may suffer from random data corruption or attacks that can expose them to malicious behavior. While state-of-the-art BFT state-machine replication (SMR) libraries are often tailored to fit a standard request-response interaction model with dedicated client-server roles, in our design,… ▽ More Byzantine fault tolerance (BFT) can preserve the availability and integrity of IoT systems where single components may suffer from random data corruption or attacks that can expose them to malicious behavior. While state-of-the-art BFT state-machine replication (SMR) libraries are often tailored to fit a standard request-response interaction model with dedicated client-server roles, in our design, we employ an IoT-fit interaction model that assumes a loosly-coupled, event-driven interaction between arbitrarily wired IoT components. In this paper, we explore the possibility of automating and streamlining the complete process of integrating BFT SMR into a component-based IoT execution environment. Our main goal is providing simplicity for the developer: We strive to decouple the specification of a logical application architecture from the difficulty of incorporating BFT replication mechanisms into it. Thus, our contributions address the automated configuration, re-wiring and deployment of IoT components, and their replicas, within a component-based, event-driven IoT platform. △ Less

Submitted 6 July, 2022; v1 submitted 1 July, 2022; originally announced July 2022.

Comments: 8 pages, accepted to appear in the Proceedings of the 18th European Dependable Computing Conference (EDCC'22)

Charge Transfer Simulations using Hamiltonian Elements and Forces from Neural Networks

Authors: Philipp M. Dohmen, Mila Krämer, Patrick Reiser, Pascal Friederich, Marcus Elstner, Weiwei Xie

Abstract: The trajectory surface hopping method has been widely used in the simulation of charge transport in organic semiconductors. In the present study, we employ the machine learning (ML) based Hamiltonian to simulate the charge transport in anthracene and pentacene. The neural network (NN) based models are able to predict not just site energies and couplings but also the gradients of the site energy as… ▽ More The trajectory surface hopping method has been widely used in the simulation of charge transport in organic semiconductors. In the present study, we employ the machine learning (ML) based Hamiltonian to simulate the charge transport in anthracene and pentacene. The neural network (NN) based models are able to predict not just site energies and couplings but also the gradients of the site energy as well as off-diagonal gradients necessary for forces. We train the models on DFTB-quality data for both anthracene and pentacene. By using the obtained models in propagation simulations, we evaluate their performance in reproducing hole mobilities in these materials in terms of both quality and computational cost. The results show that the charge mobilities obtained using the NN-based Hamiltonian are in very good agreements with the charge mobilities computed using the DFTB-based Hamiltonian. △ Less

Submitted 22 March, 2022; v1 submitted 6 March, 2022; originally announced March 2022.

Evaluating Blockchain Application Requirements and their Satisfaction in Hyperledger Fabric

Authors: Sadok Ben Toumia, Christian Berger, Hans P. Reiser

Abstract: Blockchain applications may offer better fault-tolerance, integrity, traceability and transparency compared to centralized solutions. Despite these benefits, few businesses switch to blockchain-based applications. Industries worry that the current blockchain implementations do not meet their requirements, e.g., when it comes to scalability, throughput or latency. Hyperledger Fabric (HLF) is a perm… ▽ More Blockchain applications may offer better fault-tolerance, integrity, traceability and transparency compared to centralized solutions. Despite these benefits, few businesses switch to blockchain-based applications. Industries worry that the current blockchain implementations do not meet their requirements, e.g., when it comes to scalability, throughput or latency. Hyperledger Fabric (HLF) is a permissioned blockchain infrastructure that aims to meet enterprise needs and provides a highly modular and well-conceived architecture. In this paper, we survey and analyse requirements of blockchain applications in respect to their underlying infrastructure by focusing mainly on performance and resilience characteristics. Subsequently, we discuss to what extent Fabric's current design allows it to meet these requirements. We further evaluate the performance of Hyperledger Fabric 2.2 simulating different use case scenarios by comparing single with multi ordering service performance and conducting an evaluation with mixed workloads. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: 9 pages

A Survey on Resilience in the IoT: Taxonomy, Classification and Discussion of Resilience Mechanisms

Authors: Christian Berger, Philipp Eichhammer, Hans P. Reiser, Jörg Domaschka, Franz J. Hauck, Gerhard Habiger

Abstract: Internet-of-Things (IoT) ecosystems tend to grow both in scale and complexity as they consist of a variety of heterogeneous devices, which span over multiple architectural IoT layers (e.g., cloud, edge, sensors). Further, IoT systems increasingly demand the resilient operability of services as they become part of critical infrastructures. This leads to a broad variety of research works that aim to… ▽ More Internet-of-Things (IoT) ecosystems tend to grow both in scale and complexity as they consist of a variety of heterogeneous devices, which span over multiple architectural IoT layers (e.g., cloud, edge, sensors). Further, IoT systems increasingly demand the resilient operability of services as they become part of critical infrastructures. This leads to a broad variety of research works that aim to increase the resilience of these systems. In this paper, we create a systematization of knowledge about existing scientific efforts of making IoT systems resilient. In particular, we first discuss the taxonomy and classification of resilience and resilience mechanisms and subsequently survey state-of-the-art resilience mechanisms that have been proposed by research work and are applicable to IoT. As part of the survey, we also discuss questions that focus on the practical aspects of resilience, e.g., which constraints resilience mechanisms impose on developers when designing resilient systems by incorporating a specific mechanism into IoT systems. △ Less

Submitted 6 September, 2021; originally announced September 2021.

Comments: 37 pages. This preprint is an accepted version to be published as an OpenAccess article in an upcoming issue of ACM Computing Surveys (CSUR). The final, published version of this article will be available under DOI http://dx.doi.org/10.1145/3462513. OpenAcess: This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International license CC-BY-NC

ACM Class: A.1

Making Reads in BFT State Machine Replication Fast, Linearizable, and Live

Authors: Christian Berger, Hans P. Reiser, Alysson Bessani

Abstract: Practical Byzantine Fault Tolerance (PBFT) is a seminal state machine replication protocol that achieves a performance comparable to non-replicated systems in realistic environments. A reason for such high performance is the set of optimizations introduced in the protocol. One of these optimizations is read-only requests, a particular type of client request which avoids running the three-step agre… ▽ More Practical Byzantine Fault Tolerance (PBFT) is a seminal state machine replication protocol that achieves a performance comparable to non-replicated systems in realistic environments. A reason for such high performance is the set of optimizations introduced in the protocol. One of these optimizations is read-only requests, a particular type of client request which avoids running the three-step agreement protocol and allows replicas to respond directly, thus reducing the latency of reads from five to two communication steps. Given PBFT's broad influence, its design and optimizations influenced many BFT protocols and systems that followed, e.g., BFT-SMaRt. We show, for the first time, that the read-only request optimization introduced in PBFT more than 20 years ago can violate its liveness. Notably, the problem affects not only the optimized read-only operations but also standard, totally-ordered operations. We show this weakness by presenting an attack in which a malicious leader blocks correct clients and present two solutions for patching the protocol, making read-only operations fast and correct. The two solutions were implemented on BFT-SMaRt and evaluated in different scenarios, showing their effectiveness in preventing the identified attack. △ Less

Submitted 23 July, 2021; originally announced July 2021.

Comments: 12 pages, to appear in the 40th IEEE Symposium on Reliable Distributed Systems (SRDS)

Low temperature photo-physics of single NV centers in diamond

Authors: Jodok Happacher, David Broadway, Patrick Reiser, Alejandro Jiménez, Märta A. Tschudin, Lucas Thiel, Dominik Rohner, Marcel. li Grimau Puigibert, Brendan Shields, Jeronimo R. Maze, Vincent Jacques, Patrick Maletinsky

Abstract: We investigate the magnetic field dependent photo-physics of individual Nitrogen-Vacancy (NV) color centers in diamond under cryogenic conditions. At distinct magnetic fields, we observe significant reductions in the NV photoluminescence rate, which indicate a marked decrease in the optical readout efficiency of the NV's ground state spin. We assign these dips to excited state level anti-crossings… ▽ More We investigate the magnetic field dependent photo-physics of individual Nitrogen-Vacancy (NV) color centers in diamond under cryogenic conditions. At distinct magnetic fields, we observe significant reductions in the NV photoluminescence rate, which indicate a marked decrease in the optical readout efficiency of the NV's ground state spin. We assign these dips to excited state level anti-crossings, which occur at magnetic fields that strongly depend on the effective, local strain environment of the NV center. Our results offer new insights into the structure of the NVs' excited states and a new tool for their effective characterization. Using this tool, we observe strong indications for strain-dependent variations of the NV's orbital g-factor, obtain new insights into NV charge state dynamics, and draw important conclusions regarding the applicability of NV centers for low-temperature quantum sensing. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: 5 pages, 4 figures plus Supplementary Material. Questions and comments are welcome

Generalized Surgery on Riemannian Manifolds of Positive Ricci Curvature

Authors: Philipp Reiser

Abstract: The surgery theorem of Wraith states that positive Ricci curvature is preserved under surgery if certain metric and dimensional conditions are satisfied. We generalize this theorem as follows: Instead of attaching a product of a sphere and a disc, we glue a sphere bundle over a manifold with a so-called core metric, a type of metric which was recently introduced by Burdick to construct metrics of… ▽ More The surgery theorem of Wraith states that positive Ricci curvature is preserved under surgery if certain metric and dimensional conditions are satisfied. We generalize this theorem as follows: Instead of attaching a product of a sphere and a disc, we glue a sphere bundle over a manifold with a so-called core metric, a type of metric which was recently introduced by Burdick to construct metrics of positive Ricci curvature on connected sums. As applications we construct core metrics on 2-sphere bundles, where the base admits a core metric, and obtain new examples of 6-manifolds with metrics of positive Ricci curvature. △ Less

Submitted 8 May, 2023; v1 submitted 9 March, 2021; originally announced March 2021.

Comments: Final version. Minor changes

MSC Class: 53C20

Journal ref: Trans. Amer. Math. Soc. 376 (2023), 3397-3418

Implementing graph neural networks with TensorFlow-Keras

Authors: Patrick Reiser, Andre Eberhard, Pascal Friederich

Abstract: Graph neural networks are a versatile machine learning architecture that received a lot of attention recently. In this technical report, we present an implementation of convolution and pooling layers for TensorFlow-Keras models, which allows a seamless and flexible integration into standard Keras layers to set up graph models in a functional way. This implies the usage of mini-batches as the first… ▽ More Graph neural networks are a versatile machine learning architecture that received a lot of attention recently. In this technical report, we present an implementation of convolution and pooling layers for TensorFlow-Keras models, which allows a seamless and flexible integration into standard Keras layers to set up graph models in a functional way. This implies the usage of mini-batches as the first tensor dimension, which can be realized via the new RaggedTensor class of TensorFlow best suited for graphs. We developed the Keras Graph Convolutional Neural Network Python package kgcnn based on TensorFlow-Keras that provides a set of Keras layers for graph networks which focus on a transparent tensor structure passed between layers and an ease-of-use mindset. △ Less

Submitted 7 March, 2021; originally announced March 2021.

Journal ref: Softw. Impacts 2021, 9, 100095

Analyzing dynamical disorder for charge transport in organic semiconductors via machine learning

Authors: Patrick Reiser, Manuel Konrad, Artem Fediai, Salvador Léon, Wolfgang Wenzel, Pascal Friederich

Abstract: Organic semiconductors are indispensable for today's display technologies in form of organic light emitting diodes (OLEDs) and further optoelectronic applications. However, organic materials do not reach the same charge carrier mobility as inorganic semiconductors, limiting the efficiency of devices. To find or even design new organic semiconductors with higher charge carrier mobility, computation… ▽ More Organic semiconductors are indispensable for today's display technologies in form of organic light emitting diodes (OLEDs) and further optoelectronic applications. However, organic materials do not reach the same charge carrier mobility as inorganic semiconductors, limiting the efficiency of devices. To find or even design new organic semiconductors with higher charge carrier mobility, computational approaches, in particular multiscale models, are becoming increasingly important. However, such models are computationally very costly, especially when large systems and long time scales are required, which is the case to compute static and dynamic energy disorder, i.e. dominant factor to determine charge transport. Here we overcome this drawback by integrating machine learning models into multiscale simulations. This allows us to obtain unprecedented insight into relevant microscopic materials properties, in particular static and dynamic disorder contributions for a series of application-relevant molecules. We find that static disorder and thus the distribution of shallow traps is highly asymmetrical for many materials, impacting widely considered Gaussian disorder models. We furthermore analyse characteristic energy level fluctuation times and compare them to typical hopping rates to evaluate the importance of dynamic disorder for charge transport. We hope that our findings will significantly improve the accuracy of computational methods used to predict application relevant materials properties of organic semiconductors, and thus make these methods applicable for virtual materials design. △ Less

Submitted 2 February, 2021; originally announced February 2021.

Journal ref: J. Chem. Theory Comput. 2021, 17, 6, 3750-3759

Unsupervised Behaviour Analysis and Magnification (uBAM) using Deep Learning

Authors: Biagio Brattoli, Uta Buechler, Michael Dorkenwald, Philipp Reiser, Linard Filli, Fritjof Helmchen, Anna-Sophia Wahl, Bjoern Ommer

Abstract: Motor behaviour analysis is essential to biomedical research and clinical diagnostics as it provides a non-invasive strategy for identifying motor impairment and its change caused by interventions. State-of-the-art instrumented movement analysis is time- and cost-intensive, since it requires placing physical or virtual markers. Besides the effort required for marking keypoints or annotations neces… ▽ More Motor behaviour analysis is essential to biomedical research and clinical diagnostics as it provides a non-invasive strategy for identifying motor impairment and its change caused by interventions. State-of-the-art instrumented movement analysis is time- and cost-intensive, since it requires placing physical or virtual markers. Besides the effort required for marking keypoints or annotations necessary for training or finetuning a detector, users need to know the interesting behaviour beforehand to provide meaningful keypoints. We introduce unsupervised behaviour analysis and magnification (uBAM), an automatic deep learning algorithm for analysing behaviour by discovering and magnifying deviations. A central aspect is unsupervised learning of posture and behaviour representations to enable an objective comparison of movement. Besides discovering and quantifying deviations in behaviour, we also propose a generative model for visually magnifying subtle behaviour differences directly in a video without requiring a detour via keypoints or annotations. Essential for this magnification of deviations even across different individuals is a disentangling of appearance and behaviour. Evaluations on rodents and human patients with neurological diseases demonstrate the wide applicability of our approach. Moreover, combining optogenetic stimulation with our unsupervised behaviour analysis shows its suitability as a non-invasive diagnostic tool correlating function to brain plasticity. △ Less

Submitted 6 April, 2021; v1 submitted 16 December, 2020; originally announced December 2020.

Comments: Published in Nature Machine Intelligence (2021), https://rdcu.be/ch6pL

AWARE: Adaptive Wide-Area Replication for Fast and Resilient Byzantine Consensus

Authors: Christian Berger, Hans P. Reiser, João Sousa, Alysson Bessani

Abstract: With upcoming blockchain infrastructures, world-spanning Byzantine consensus is getting practical and necessary. In geographically distributed systems, the pace at which consensus is achieved is limited by the heterogenous latencies of connections between replicas. If deployed on a wide-area network, consensus-based systems benefit from weighted replication, an approach that utilizes extra replica… ▽ More With upcoming blockchain infrastructures, world-spanning Byzantine consensus is getting practical and necessary. In geographically distributed systems, the pace at which consensus is achieved is limited by the heterogenous latencies of connections between replicas. If deployed on a wide-area network, consensus-based systems benefit from weighted replication, an approach that utilizes extra replicas and assigns higher voting power to well connected replicas. This enables more choice in quorum formation and replicas can leverage proportionally smaller quorums to advance, thus decreasing consensus latency. However, the system needs a solution to autonomously adjust to its environment if network conditions change or faults occur. We present Adaptive Wide-Area REplication (AWARE), a mechanism which improves the geographical scalability of consensus with nodes being widely spread across the world. Essentially, AWARE is an automated and dynamic voting weight tuning and leader positioning scheme, which supports the emergence of fast quorums in the system. It employs a reliable self-monitoring process and provides a prediction model seeking to minimize the system's consensus latency. In experiments using several AWS EC2 regions, AWARE dynamically optimizes consensus latency by self-reliantly finding a fast weight configuration yielding latency gains observed by clients located across the globe. △ Less

Submitted 3 November, 2020; originally announced November 2020.

Comments: This paper consists of 16 pages in total. This paper is the accepted version to be published in IEEE Transactions on Dependable and Secure Computing (2020). For the published version refer to DOI https://doi.org/10.1109/TDSC.2020.3030605

Cohomogeneity One Manifolds and Homogeneous Spaces of Positive Scalar Curvature

Authors: Georg Frenck, Fernando Galaz-Garcia, Philipp Reiser

Abstract: We characterize cohomogeneity one manifolds and homogeneous spaces with a compact Lie group action admitting an invariant metric with positive scalar curvature. We characterize cohomogeneity one manifolds and homogeneous spaces with a compact Lie group action admitting an invariant metric with positive scalar curvature. △ Less

Submitted 19 July, 2021; v1 submitted 28 September, 2020; originally announced September 2020.

Comments: Final version. To appear in the Bulletin of the London Mathematical Society

MSC Class: 53C20; 57S15

Modified SIR Model Yielding a Logistic Solution

Authors: Paul A. Reiser

Abstract: The SIR pandemic model suffers from an unrealistic assumption: The rate of removal from the infectious class of individuals is assumed to be proportional to the number of infectious individuals. This means that a change in the rate of infection is simultaneous with an equal change in the rate of removal. A more realistic assumption is that an individual is removed at a certain time interval after… ▽ More The SIR pandemic model suffers from an unrealistic assumption: The rate of removal from the infectious class of individuals is assumed to be proportional to the number of infectious individuals. This means that a change in the rate of infection is simultaneous with an equal change in the rate of removal. A more realistic assumption is that an individual is removed at a certain time interval after having been infected. A simple modified SIR model is proposed which implements this delay, resulting in a single delay differential equation which comprises the model. A solution to this equation which is applicable to a pandemic is of the form A+B L(t) where L(t) is a logistic function, and A and B are constants. While the classical SIR model is often an oversimplification of pandemic behavior, it is instructive in that many of the fundamental dynamics and descriptors of pandemics are clearly and simply defined. The logistic model is generally used descriptively, dealing as it does with only the susceptible and infected classes and the rate of transfer between them. The present model presents a full but modified SIR model with a simpler logistic solution which is more realistic and equally instructive. △ Less

Submitted 21 February, 2021; v1 submitted 2 June, 2020; originally announced June 2020.

(111)-oriented, single crystal diamond tips for nanoscale scanning probe imaging of out-of-plane magnetic fields

Authors: D. Rohner, J. Happacher, P. Reiser, M. A. Tschudin, A. Tallaire, J. Achard, B. J. Shields, P. Maletinsky

Abstract: We present an implementation of all-diamond scanning probes for scanning nitrogen-vacancy (NV) magnetometry fabricated from (111)-oriented diamond material. The realized scanning probe tips on average contain single NV spins, a quarter of which have their spin quantization axis aligned parallel to the tip direction. Such tips enable single-axis vector magnetic field imaging with nanoscale resoluti… ▽ More We present an implementation of all-diamond scanning probes for scanning nitrogen-vacancy (NV) magnetometry fabricated from (111)-oriented diamond material. The realized scanning probe tips on average contain single NV spins, a quarter of which have their spin quantization axis aligned parallel to the tip direction. Such tips enable single-axis vector magnetic field imaging with nanoscale resolution, where the measurement axis is oriented normal to the scan plane. We discuss how these tips bring multiple practical advantages for NV magnetometry, in particular regarding quantitative analysis of the resulting data. We further demonstrate the beneficial optical properties of NVs oriented along the tip direction, such as polarization-insensitive excitation, which simplifies optical setups needed for NV magnetometry. Our results will be impactful for scanning NV magnetometry in general and for applications in spintronics and the investigation of thin film magnets in particular. △ Less

Submitted 18 November, 2019; v1 submitted 23 October, 2019; originally announced October 2019.

Comments: 5 pages, 4 figures

Moduli Spaces of Metrics of Positive Scalar Curvature on Topological Spherical Space Forms

Authors: Philipp Reiser

Abstract: Let $M$ be a topological spherical space form, i.e. a smooth manifold whose universal cover is a homotopy sphere. We determine the number of path components of the space and moduli space of Riemannian metrics with positive scalar curvature on $M$ if the dimension of $M$ is at least 5 and $M$ is not simply-connected. Let $M$ be a topological spherical space form, i.e. a smooth manifold whose universal cover is a homotopy sphere. We determine the number of path components of the space and moduli space of Riemannian metrics with positive scalar curvature on $M$ if the dimension of $M$ is at least 5 and $M$ is not simply-connected. △ Less

Submitted 19 February, 2020; v1 submitted 20 September, 2019; originally announced September 2019.

Comments: 9 pages

MSC Class: 53C20

A Physical Model for Self-Similar Seashells

Authors: Paul A. Reiser

Abstract: This paper presents a simple physical model for self-similar (gnomonic, or first-order) seashell growth which is expressed in coordinate-free terms. The shell is expressed as the solution of a differential equation which expresses the growth dynamics, and may be used to investigate shell growth from both the local viewpoint of the organism building it and moving with the shell opening (aperture),… ▽ More This paper presents a simple physical model for self-similar (gnomonic, or first-order) seashell growth which is expressed in coordinate-free terms. The shell is expressed as the solution of a differential equation which expresses the growth dynamics, and may be used to investigate shell growth from both the local viewpoint of the organism building it and moving with the shell opening (aperture), as well as that of a researcher making global measurements upon a complete motionless shell. Coordinate systems needed to express the global and local descriptions of the shell are chosen. The parameters of growth, or their information equivalent, remain constant in the local system, and are used by the organism to build the shell, and are likely mirrored in the DNA of the organism building it. The transformations between local and global representations are provided. The global model of Cortie, which is very similar to the present model, is expressed in terms of the present model, and the global parameters provided by Cortie for various species of mollusk may be used to calculate the equivalent local parameters.Mathematica code is provided to implement these transformations, as well as to plot the shells using both global and local parameters. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Comments: 34 pages, 5 figures

Analysis of Static and Dynamic Configurability of Existing Group Communication Systems

Authors: Johannes Köstler, Hans P. Reiser

Abstract: Active replication following the state machine replication (SMR) approach is a way to make existing systems and services more reliable and fault-tolerant. The additional communication overhead has a negative impact on the system's throughput and overall request latency. Today's systems should be highly optimized to their execution environment and usage scenario in order to remedy the performance l… ▽ More Active replication following the state machine replication (SMR) approach is a way to make existing systems and services more reliable and fault-tolerant. The additional communication overhead has a negative impact on the system's throughput and overall request latency. Today's systems should be highly optimized to their execution environment and usage scenario in order to remedy the performance loss introduced by such group communication systems (GCS). In addition to that, systems should be able to adapt to changing environmental conditions. This report analyzes the available configuration options of three existing GCSs. Therefore, it explains the available configuration parameters and describes the given reconfiguration mechanisms. The found parameters are then classified in a parameter scheme. △ Less

Submitted 17 August, 2017; originally announced August 2017.

Comments: Technical Report (38 pages)

SecureSMART: A Security Architecture for BFT Replication Libraries

Authors: Benedikt Höfling, Hans P. Reiser

Abstract: Several research projects have shown that Byzantine fault tolerance (BFT) is practical today in terms of performance. Deficiencies in other aspects might still be an obstacle to a more wide-spread deployment in real-world applications. One of these aspects is an over-all security architecture beyond the low-level protocol. This paper proposes the security architecture SecureSMART, which provides d… ▽ More Several research projects have shown that Byzantine fault tolerance (BFT) is practical today in terms of performance. Deficiencies in other aspects might still be an obstacle to a more wide-spread deployment in real-world applications. One of these aspects is an over-all security architecture beyond the low-level protocol. This paper proposes the security architecture SecureSMART, which provides dynamic key distribution, internal and external integrity and confidentiality measures, as well as mechanisms for availability and access control. For this purpose, it implements security mechanism among clients, nodes and an external trust center. △ Less

Submitted 11 April, 2012; originally announced April 2012.

Comments: 2 pages, EDCC 2012 fast abstract