Showing 1–49 of 49 results for author: Hölzer, M

Persistence of steady-states for dynamical systems on large networks

Authors: Jason J. Bramburger, Matt Holzer, Jackson Williams

Abstract: The goal of this work is to identify steady-state solutions to dynamical systems defined on large, random families of networks. We do so by passing to a continuum limit where the adjacency matrix is replaced by a non-local operator with kernel called a graphon. This graphon equation is often more amenable to analysis and provides a single equation to study instead of the infinitely many variations… ▽ More The goal of this work is to identify steady-state solutions to dynamical systems defined on large, random families of networks. We do so by passing to a continuum limit where the adjacency matrix is replaced by a non-local operator with kernel called a graphon. This graphon equation is often more amenable to analysis and provides a single equation to study instead of the infinitely many variations of networks that lead to the limit. Our work establishes a rigorous connection between steady-states of the continuum and network systems. Precisely, we show that if the graphon equation has a steady-state solution whose linearization is invertible, there exists related steady-state solutions to the finite-dimensional networked dynamical system over all sufficiently large graphs converging to the graphon. The proof involves setting up a Newton--Kantorovich type iteration scheme which is shown to be a contraction on a suitable metric space. Interestingly, we show that the first iterate of our defined operator in general fails to be a contraction map**, but the second iterate is proven to contract on the space. We extend our results to show that linear stability properties further carry over from the graphon system to the graph dynamical system. Our results are applied to twisted states in a Kuramoto model of coupled oscillators, steady-states in a model of neuronal network activity, and a Lotka--Volterra model of ecological interaction. △ Less

Submitted 14 February, 2024; originally announced February 2024.

Development of a central-moment phase-field lattice Boltzmann model for thermocapillary flows: Droplet capture and computational performance

Authors: Markus Holzer, Travis Mitchell, Christopher R. Leonardi, Ulrich Ruede

Abstract: This study develops a computationally efficient phase-field lattice Boltzmann model with the capability to simulate thermocapillary flows. The model was implemented into the open-source simulation framework, waLBerla, and extended to conduct the collision stage using central moments. The multiphase model was coupled with both a passive-scalar thermal LB, and a RK solution to the energy equation in… ▽ More This study develops a computationally efficient phase-field lattice Boltzmann model with the capability to simulate thermocapillary flows. The model was implemented into the open-source simulation framework, waLBerla, and extended to conduct the collision stage using central moments. The multiphase model was coupled with both a passive-scalar thermal LB, and a RK solution to the energy equation in order to resolve temperature-dependent surface tension phenomena. Various lattice stencils (D3Q7, D3Q15, D3Q19, D3Q27) were tested for the passive-scalar LB and both the second- and fourth-order RK methods were investigated. There was no significant difference observed in the accuracy of the LB or RK schemes. The passive scalar D3Q7 LB discretisation tended to provide computational benefits, while the second order RK scheme is superior in memory usage. This paper makes contributions relating to the modelling of thermocapillary flows and to understanding the behaviour of droplet capture with thermal sources analogous to thermal tweezers. Four primary contributions to the literature are identified. First, a new 3D thermocapillary, central-moment phase-field LB model is presented and implemented in the open-source software, waLBerla. Second, the accuracy and computational performance of various techniques to resolve the energy equation for multiphase, incompressible fluids is investigated. Third, the dynamic droplet transport behaviour in the presence of thermal sources is studied and insight is provided on the potential ability to manipulate droplets based on local domain heating. Finally, a concise analysis of the computational performance together with near-perfect scaling results on NVIDIA and AMD GPU-clusters is shown. This research enables the detailed study of droplet manipulation and control in thermocapillary devices. △ Less

Submitted 5 January, 2024; originally announced January 2024.

A rigorous benchmarking of methods for SARS-CoV-2 lineage abundance estimation in wastewater

Authors: Viorel Munteanu, Victor Gordeev, Michael Saldana, Eva Aßmann, Justin Maine Su, Nicolae Drabcinski, Oksana Zlenko, Maryna Kit, Felicia Iordachi, Khooshbu Kantibhai Patel, Abdullah Al Nahid, Likhitha Chittampalli, Yidian Xu, Pavel Skums, Shelesh Agrawal, Martin Hölzer, Adam Smith, Alex Zelikovsky, Serghei Mangul

Abstract: In light of the continuous transmission and evolution of SARS-CoV-2 coupled with a significant decline in clinical testing, there is a pressing need for scalable, cost-effective, long-term, passive surveillance tools to effectively monitor viral variants circulating in the population. Wastewater genomic surveillance of SARS-CoV-2 has arrived as an alternative to clinical genomic surveillance, allo… ▽ More In light of the continuous transmission and evolution of SARS-CoV-2 coupled with a significant decline in clinical testing, there is a pressing need for scalable, cost-effective, long-term, passive surveillance tools to effectively monitor viral variants circulating in the population. Wastewater genomic surveillance of SARS-CoV-2 has arrived as an alternative to clinical genomic surveillance, allowing to continuously monitor the prevalence of viral lineages in communities of various size at a fraction of the time, cost, and logistic effort and serving as an early warning system for emerging variants, critical for developed communities and especially for underserved ones. Importantly, lineage prevalence estimates obtained with this approach aren't distorted by biases related to clinical testing accessibility and participation. However, the relative performance of bioinformatics methods used to measure relative lineage abundances from wastewater sequencing data is unknown, preventing both the research community and public health authorities from making informed decisions regarding computational tool selection. Here, we perform comprehensive benchmarking of 18 bioinformatics methods for estimating the relative abundance of SARS-CoV-2 (sub)lineages in wastewater by using data from 36 in vitro mixtures of synthetic lineage and sublineage genomes. In addition, we use simulated data from 78 mixtures of lineages and sublineages co-occurring in the clinical setting with proportions mirroring their prevalence ratios observed in real data. Importantly, we investigate how the accuracy of the evaluated methods is impacted by the sequencing technology used, the associated error rate, the read length, read depth, but also by the exposure of the synthetic RNA mixtures to wastewater, with the goal of capturing the effects induced by the wastewater matrix, including RNA fragmentation and degradation. △ Less

Submitted 21 January, 2024; v1 submitted 29 September, 2023; originally announced September 2023.

Comments: For correspondence: [email protected]

SARS-CoV-2 Wastewater Genomic Surveillance: Approaches, Challenges, and Opportunities

Authors: Viorel Munteanu, Michael Saldana, Dumitru Ciorba, Viorel Bostan, Justin Maine Su, Nadiia Kasianchuk, Nitesh Kumar Sharma, Sergey Knyazev, Victor Gordeev, Eva Aßmann, Andrei Lobiuc, Mihai Covasa, Keith A. Crandall, Wenhao O. Ouyang, Nicholas C. Wu, Christopher Mason, Braden T Tierney, Alexander G Lucaci, Alex Zelikovsky, Fatemeh Mohebbi, Pavel Skums, Cynthia Gibas, Jessica Schlueter, Piotr Rzymski, Helena Solo-Gabriele , et al. (3 additional authors not shown)

Abstract: During the SARS-CoV-2 pandemic, wastewater-based genomic surveillance (WWGS) emerged as an efficient viral surveillance tool that takes into account asymptomatic cases and can identify known and novel mutations and offers the opportunity to assign known virus lineages based on the detected mutations profiles. WWGS can also hint towards novel or cryptic lineages, but it is difficult to clearly iden… ▽ More During the SARS-CoV-2 pandemic, wastewater-based genomic surveillance (WWGS) emerged as an efficient viral surveillance tool that takes into account asymptomatic cases and can identify known and novel mutations and offers the opportunity to assign known virus lineages based on the detected mutations profiles. WWGS can also hint towards novel or cryptic lineages, but it is difficult to clearly identify and define novel lineages from wastewater (WW) alone. While WWGS has significant advantages in monitoring SARS-CoV-2 viral spread, technical challenges remain, including poor sequencing coverage and quality due to viral RNA degradation. As a result, the viral RNAs in wastewater have low concentrations and are often fragmented, making sequencing difficult. WWGS analysis requires advanced computational tools that are yet to be developed and benchmarked. The existing bioinformatics tools used to analyze wastewater sequencing data are often based on previously developed methods for quantifying the expression of transcripts or viral diversity. Those methods were not developed for wastewater sequencing data specifically, and are not optimized to address unique challenges associated with wastewater. While specialized tools for analysis of wastewater sequencing data have also been developed recently, it remains to be seen how they will perform given the ongoing evolution of SARS-CoV-2 and the decline in testing and patient-based genomic surveillance. Here, we discuss opportunities and challenges associated with WWGS, including sample preparation, sequencing technology, and bioinformatics methods. △ Less

Submitted 30 January, 2024; v1 submitted 23 September, 2023; originally announced September 2023.

Comments: V Munteanu and M Saldana contributed equally to this work. M Hölzer, A Smith and S Mangul jointly supervised this work. For correspondence: [email protected]

On Minimal Pum** Constants for Regular Languages

Authors: Markus Holzer, Christian Rauch

Abstract: The study of the operational complexity of minimal pum** constants started in [J. DASSOW and I. JECKER. Operational complexity and pum** lemmas. Acta Inform., 59:337-355, 2022], where an almost complete picture of the operational complexity of minimal pum** constants for two different variants of pum** lemmata from the literature was given. We continue this research by considering a pumpin… ▽ More The study of the operational complexity of minimal pum** constants started in [J. DASSOW and I. JECKER. Operational complexity and pum** lemmas. Acta Inform., 59:337-355, 2022], where an almost complete picture of the operational complexity of minimal pum** constants for two different variants of pum** lemmata from the literature was given. We continue this research by considering a pum** lemma for regular languages that allows pum** of sub-words at any position of the considered word, if the sub-word is long enough [S. J. SAVITCH. Abstract Machines and Grammars. 1982]. First we improve on the simultaneous regulation of minimal pum** constants induced by different pum** lemmata including Savitch's pum** lemma. In this way we are able to simultaneously regulate four different minimal pum** constants. This is a novel result in the field of descriptional complexity. Moreover, for Savitch's pum** lemma we are able to completely classify the range of the minimal pum** constant for the operations Kleene star, reversal, complement, prefix- and suffix-closure, union, set-subtraction, concatenation, intersection, and symmetric difference. In this way, we also solve some of the open problems from the paper that initiated the study of the operational complexity of minimal pum** constants mentioned above. △ Less

Submitted 6 September, 2023; originally announced September 2023.

Comments: In Proceedings AFL 2023, arXiv:2309.01126

ACM Class: F.1.1; F.4.3,

Journal ref: EPTCS 386, 2023, pp. 127-141

Charge-Trap**-Induced Compensation of the Ferroelectric Polarization in FTJs: Optimal Conditions for a Synaptic Device Operation

Authors: R. Fontanini, M. Segatto, K. S. Nair, M. Holzer, F. Driussi, I. Häusler, C. T. Koch, C. Dubourdieu, V. Deshpande, D. Esseni

Abstract: In this work, we present a clear evidence, based on numerical simulations and experiments, that the polarization compensation due to trapped charge strongly influences the ON/ OFF ratio in Hf 0.5 Zr 0.5 O 2 (HZO)-based ferroelectric tunnel junctions (FTJs). Furthermore, we identify and explain compensation conditions that enable an optimal operation of FTJs. Our results provide both key physical i… ▽ More In this work, we present a clear evidence, based on numerical simulations and experiments, that the polarization compensation due to trapped charge strongly influences the ON/ OFF ratio in Hf 0.5 Zr 0.5 O 2 (HZO)-based ferroelectric tunnel junctions (FTJs). Furthermore, we identify and explain compensation conditions that enable an optimal operation of FTJs. Our results provide both key physical insights and design guidelines for the operation of FTJs as multilevel synaptic devices. △ Less

Submitted 4 September, 2023; originally announced September 2023.

Pushed and pulled fronts in a logistic Keller-Segel model with chemorepulsion

Authors: Montie Avery, Matt Holzer, Arnd Scheel

Abstract: We analyze spatial spreading in a population model with logistic growth and chemorepulsion. In a parameter range of short-range chemo-diffusion, we use geometric singular perturbation theory and functional-analytic farfield-core decompositions to identify spreading speeds with marginally stable front profiles. In particular, we identify a sharp boundary between between linearly determined, pulled… ▽ More We analyze spatial spreading in a population model with logistic growth and chemorepulsion. In a parameter range of short-range chemo-diffusion, we use geometric singular perturbation theory and functional-analytic farfield-core decompositions to identify spreading speeds with marginally stable front profiles. In particular, we identify a sharp boundary between between linearly determined, pulled propagation, and nonlinearly determined, pushed propagation, induced by the chemorepulsion. The results are motivated by recent work on singular limits in this regime using PDE methods. △ Less

Submitted 3 August, 2023; originally announced August 2023.

Comments: 34 pages, 1 figure

Scalable Flow Simulations with the Lattice Boltzmann Method

Authors: Markus Holzer, Jayesh Badwaik, Radim Vavrik, Gabriel Staffelbach, Andreas Herten, Ondrej Vysocky, Ilan Rocchi, Lubomir Riha, Romain Cuidard, Ulrich Ruede

Abstract: The primary goal of the EuroHPC JU project SCALABLE is to develop an industrial Lattice Boltzmann Method (LBM)-based computational fluid dynamics (CFD) solver capable of exploiting current and future extreme scale architectures, expanding current capabilities of existing industrial LBM solvers by at least two orders of magnitude in terms of processor cores and lattice cells, while preserving its a… ▽ More The primary goal of the EuroHPC JU project SCALABLE is to develop an industrial Lattice Boltzmann Method (LBM)-based computational fluid dynamics (CFD) solver capable of exploiting current and future extreme scale architectures, expanding current capabilities of existing industrial LBM solvers by at least two orders of magnitude in terms of processor cores and lattice cells, while preserving its accessibility from both the end-user and software developer's point of view. This is accomplished by transferring technology and knowledge between an academic code (waLBerla) and an industrial code (LaBS). This paper briefly introduces the characteristics and main features of both software packages involved in the process. We also highlight some of the performance achievements in scales of up to tens of thousand of cores presented on one academic and one industrial benchmark case. △ Less

Submitted 16 May, 2023; originally announced May 2023.

Glass fracture surface energy calculated from crystal structure and bond-energy data

Authors: Marco Holzer, Tina Waurischk, Janine George, Robert Maaß, Ralf Müller

Abstract: We present a novel method to predict the fracture surface energy, γ, of isochemically crystallizing silicate glasses using readily available crystallographic structure data of their crystalline counterpart and tabled diatomic chemical bond energies, D0. The method assumes that γ equals the fracture surface energy of the most likely cleavage plane of the crystal. Calculated values were in excellent… ▽ More We present a novel method to predict the fracture surface energy, γ, of isochemically crystallizing silicate glasses using readily available crystallographic structure data of their crystalline counterpart and tabled diatomic chemical bond energies, D0. The method assumes that γ equals the fracture surface energy of the most likely cleavage plane of the crystal. Calculated values were in excellent agreement with those calculated from glass density, network connectivity and D0 data in earlier work. This finding demonstrates a remarkable equivalence between crystal cleavage planes and glass fracture surfaces. △ Less

Submitted 15 November, 2023; v1 submitted 21 April, 2023; originally announced April 2023.

Pushed fronts in a Fisher-KPP-Burgers system using geometric desingularization

Authors: Matt Holzer, Matthew Kearney, Samuel Molseed, Katie Tuttle, David Wigginton

Abstract: We study traveling fronts in a system of one dimensional reaction-diffusion-advection equations motivated by problems in reactive flows. In the limit as a parameter tends to infinity, we construct the approximate front profile and determine the leading order expansion for the selected wavespeed. Such fronts are often constructed as transverse intersections of stable and unstable manifolds of the t… ▽ More We study traveling fronts in a system of one dimensional reaction-diffusion-advection equations motivated by problems in reactive flows. In the limit as a parameter tends to infinity, we construct the approximate front profile and determine the leading order expansion for the selected wavespeed. Such fronts are often constructed as transverse intersections of stable and unstable manifolds of the traveling wave differential equation. However, a re-scaling of the dependent variable leads to a lack of hyperbolicity for one of the end states making the definition of one such manifold unclear. We use geometric blow-up techniques to recover hyperbolicity and following an analysis of the blown up vector field are able to show the existence of a traveling front with a leading order expansion of its speed. △ Less

Submitted 14 February, 2024; v1 submitted 13 December, 2022; originally announced December 2022.

Advanced Automatic Code Generation for Multiple Relaxation-Time Lattice Boltzmann Methods

Authors: Frederik Hennig, Markus Holzer, Ulrich Rüde

Abstract: The scientific code generation package lbmpy supports the automated design and the efficient implementation of lattice Boltzmann methods (LBMs) through metaprogramming. It is based on a new, concise calculus for describing multiple relaxation-time LBMs, including techniques that enable the numerically advantageous subtraction of the constant background component from the populations. These techniq… ▽ More The scientific code generation package lbmpy supports the automated design and the efficient implementation of lattice Boltzmann methods (LBMs) through metaprogramming. It is based on a new, concise calculus for describing multiple relaxation-time LBMs, including techniques that enable the numerically advantageous subtraction of the constant background component from the populations. These techniques are generalized to a wide range of collision spaces and equilibrium distributions. The article contains an overview of lbmpy's front-end and its code generation pipeline, which implements the new LBM calculus by means of symbolic formula manipulation tools and object-oriented programming. The generated codes have only a minimal number of arithmetic operations. Their automatic derivation rests on two novel Chimera transforms that have been specifically developed for efficiently computing raw and central moments. Information contained in the symbolic representation of the methods is further exploited in a customized sequence of algebraic simplifications, further reducing computational cost. When combined, these algebraic transformations lead to concise and compact numerical kernels. Specifically, with these optimizations, the advanced central moment- and cumulant-based methods can be realized with only little additional cost as when compared with the simple BGK method. The effectiveness and flexibility of the new lbmpy code generation system is demonstrated in simulating Taylor-Green vortex decay and the automatic derivation of an LBM algorithm to solve the shallow water equations. △ Less

Submitted 4 November, 2022; originally announced November 2022.

Comments: 23 pages, 6 figures

On the Accepting State Complexity of Operations on Permutation Automata

Authors: Christian Rauch, Markus Holzer

Abstract: We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement, difference, intersection, Kleene star, Kleene plus, and reversal. The paper thus joins the study of accepting state complexity of regularity preserving language operation… ▽ More We investigate the accepting state complexity of deterministic finite automata for regular languages obtained by applying one of the following operations to languages accepted by permutation automata: union, quotient, complement, difference, intersection, Kleene star, Kleene plus, and reversal. The paper thus joins the study of accepting state complexity of regularity preserving language operations which was initiated by the work [J. Dassow: On the number of accepting states of finite automata, J. Autom., Lang. Comb., 21, 2016]. We show that for almost all of the operations, except for reversal and quotient, there is no difference in the accepting state complexity for permutation automata compared to deterministic finite automata in general. For both reversal and quotient we prove that certain accepting state complexities cannot be obtained; these number are called "magic" in the literature. Moreover, we solve the left open accepting state complexity problem for the intersection of unary languages accepted by permutation automata and deterministic finite automata in general. △ Less

Submitted 31 August, 2022; originally announced August 2022.

Comments: In Proceedings NCMA 2022, arXiv:2208.13015

ACM Class: F.1.1; F.1.3

Journal ref: EPTCS 367, 2022, pp. 177-189

Comparison of free-surface and conservative Allen-Cahn phase-field lattice Boltzmann method

Authors: Christoph Schwarzmeier, Markus Holzer, Travis Mitchell, Moritz Lehmann, Fabian Häusl, Ulrich Rüde

Abstract: This study compares the free-surface lattice Boltzmann method (FSLBM) with the conservative Allen-Cahn phase-field lattice Boltzmann method (PFLBM) in their ability to model two-phase flows in which the behavior of the system is dominated by the heavy phase. Both models are introduced and their individual properties, strengths and weaknesses are thoroughly discussed. Six numerical benchmark cases… ▽ More This study compares the free-surface lattice Boltzmann method (FSLBM) with the conservative Allen-Cahn phase-field lattice Boltzmann method (PFLBM) in their ability to model two-phase flows in which the behavior of the system is dominated by the heavy phase. Both models are introduced and their individual properties, strengths and weaknesses are thoroughly discussed. Six numerical benchmark cases were simulated with both models, including (i) a standing gravity and (ii) capillary wave, (iii) an unconfined rising gas bubble in liquid, (iv) a Taylor bubble in a cylindrical tube, and (v) the vertical and (vi) oblique impact of a drop into a pool of liquid. Comparing the simulation results with either analytical models or experimental data from the literature, four major observations were made. Firstly, the PFLBM selected was able to simulate flows purely governed by surface tension with reasonable accuracy. Secondly, the FSLBM, a sharp interface model, generally requires a lower resolution than the PFLBM, a diffuse interface model. However, in the limit case of a standing wave, this was not observed. Thirdly, in simulations of a bubble moving in a liquid, the FSLBM accurately predicted the bubble's shape and rise velocity with low computational resolution. Finally, the PFLBM's accuracy is found to be sensitive to the choice of the model's mobility parameter and interface width. △ Less

Submitted 24 November, 2022; v1 submitted 23 June, 2022; originally announced June 2022.

Journal ref: Journal of Computational Physics 473 (2023)

Pushed-to-pulled front transitions: continuation, speed scalings, and hidden monotonicity

Authors: Montie Avery, Matt Holzer, Arnd Scheel

Abstract: We analyze the transition between pulled and pushed fronts both analytically and numerically from a model-independent perspective. Based on minimal conceptual assumptions, we show that pushed fronts bifurcate from a branch of pulled fronts with an effective speed correction that scales quadratically in the bifurcation parameter. Strikingly, we find that in this general context without assumptions… ▽ More We analyze the transition between pulled and pushed fronts both analytically and numerically from a model-independent perspective. Based on minimal conceptual assumptions, we show that pushed fronts bifurcate from a branch of pulled fronts with an effective speed correction that scales quadratically in the bifurcation parameter. Strikingly, we find that in this general context without assumptions on comparison principles, the pulled front loses stability and gives way to a pushed front when monotonicity in the leading edge is lost. Our methods rely on far-field core decompositions that identify explicitly asymptotics in the leading edge of the front. We show how the theoretical construction can be directly implemented to yield effective algorithms that determine spreading speeds and bifurcation points with exponentially small error in the domain size. Example applications considered here include an extended Fisher-KPP equation, a Fisher-Burgers equation, negative taxis in combination with logistic population growth, an autocatalytic reaction, and a Lotka-Volterra model. △ Less

Submitted 20 June, 2022; originally announced June 2022.

Comments: 35 pages, 10 figures

Analytical Performance Estimation during Code Generation on Modern GPUs

Authors: Dominik Ernst, Markus Holzer, Georg Hager, Matthias Knorr, Gerhard Wellein

Abstract: Automatic code generation is frequently used to create implementations of algorithms specifically tuned to particular hardware and application parameters. The code generation process involves the selection of adequate code transformations, tuning parameters, and parallelization strategies. We propose an alternative to time-intensive autotuning, scenario-specific performance models, or black-box ma… ▽ More Automatic code generation is frequently used to create implementations of algorithms specifically tuned to particular hardware and application parameters. The code generation process involves the selection of adequate code transformations, tuning parameters, and parallelization strategies. We propose an alternative to time-intensive autotuning, scenario-specific performance models, or black-box machine learning to select the best-performing configuration. This paper identifies the relevant performance-defining mechanisms for memory-intensive GPU applications through a performance model coupled with an analytic hardware metric estimator. This enables a quick exploration of large configuration spaces to identify highly efficient code candidates with high accuracy. We examine the changes of the A100 GPU architecture compared to the predecessor V100 and address the challenges of how to model the data transfer volumes through the new memory hierarchy. We show how our method can be coupled to the pystencils stencil code generator, which is used to generate kernels for a range-four 3D-25pt stencil and a complex two-phase fluid solver based on the Lattice Boltzmann Method. For both, it delivers a ranking that can be used to select the best-performing candidate. The method is not limited to stencil kernels but can be integrated into any code generator that can generate the required address expressions. △ Less

Submitted 29 April, 2022; originally announced April 2022.

Comments: arXiv admin note: substantial text overlap with arXiv:2107.01143

Pattern Formation in Random Networks Using Graphons

Authors: Jason Bramburger, Matt Holzer

Abstract: We study Turing bifurcations on one-dimensional random ring networks where the probability of a connection between two nodes depends on the distance between the two nodes. Our approach uses the theory of graphons to approximate the graph Laplacian in the limit as the number of nodes tends to infinity by a nonlocal operator -- the graphon Laplacian. For the ring networks considered here, we employ… ▽ More We study Turing bifurcations on one-dimensional random ring networks where the probability of a connection between two nodes depends on the distance between the two nodes. Our approach uses the theory of graphons to approximate the graph Laplacian in the limit as the number of nodes tends to infinity by a nonlocal operator -- the graphon Laplacian. For the ring networks considered here, we employ center manifold theory to characterize Turing bifurcations in the continuum limit in a manner similar to the classical partial differential equation case and classify these bifurcations as sub/super/trans-critical. We derive estimates that relate the eigenvalues and eigenvectors of the finite graph Laplacian to those of the graphon Laplacian. We are then able to show that, for a sufficiently large realization of the network, with high probability the bifurcations that occur in the finite graph are well approximated by those in the graphon limit. The number of nodes required depends on the spectral gap between the critical eigenvalue and the remaining ones, with the smaller this gap the more nodes that are required to guarantee that the graphon and graph bifurcations are similar. We demonstrate that if this condition is not satisfied then the bifurcations that occur in the finite network can differ significantly from those in the graphon limit. △ Less

Submitted 18 October, 2022; v1 submitted 26 October, 2021; originally announced October 2021.

On the Complexity of Intersection Non-emptiness for Star-Free Language Classes

Authors: Emmanuel Arrighi, Henning Fernau, Stefan Hoffmann, Markus Holzer, Ismaël Jecker, Mateus de Oliveira Oliveira, Petra Wolf

Abstract: In the Intersection Non-Emptiness problem, we are given a list of finite automata $A_1,A_2,\dots,A_m$ over a common alphabet $Σ$ as input, and the goal is to determine whether some string $w\in Σ^*$ lies in the intersection of the languages accepted by the automata in the list. We analyze the complexity of the Intersection Non-Emptiness problem under the promise that all input automata accept a la… ▽ More In the Intersection Non-Emptiness problem, we are given a list of finite automata $A_1,A_2,\dots,A_m$ over a common alphabet $Σ$ as input, and the goal is to determine whether some string $w\in Σ^*$ lies in the intersection of the languages accepted by the automata in the list. We analyze the complexity of the Intersection Non-Emptiness problem under the promise that all input automata accept a language in some level of the dot-depth hierarchy, or some level of the Straubing-Thérien hierarchy. Automata accepting languages from the lowest levels of these hierarchies arise naturally in the context of model checking. We identify a dichotomy in the dot-depth hierarchy by showing that the problem is already NP-complete when all input automata accept languages of the levels zero or one half and already PSPACE-hard when all automata accept a language from the level one. Conversely, we identify a tetrachotomy in the Straubing-Thérien hierarchy. More precisely, we show that the problem is in AC$^0$ when restricted to level zero; complete for LOGSPACE or NLOGSPACE, depending on the input representation, when restricted to languages in the level one half; NP-complete when the input is given as DFAs accepting a language in from level one or three half; and finally, PSPACE-complete when the input automata accept languages in level two or higher. Moreover, we show that the proof technique used to show containment in NP for DFAs accepting languages in the Straubing-Thérien hierarchy levels one ore three half does not generalize to the context of NFAs. To prove this, we identify a family of languages that provide an exponential separation between the state complexity of general NFAs and that of partially ordered NFAs. To the best of our knowledge, this is the first superpolynomial separation between these two models of computation. △ Less

Submitted 4 October, 2021; originally announced October 2021.

Epidemic spreading on complex networks as front propagation into an unstable state

Authors: Ashley Armbruster, Matt Holzer, Noah Roselli, Lena Underwood

Abstract: We study epidemic arrival times in meta-population disease models through the lens of front propagation into unstable states. We demonstrate that several features of invasion fronts in the PDE context are also relevant to the network case. We show that the susceptible-infected-recovered model on a network is linearly determined in the sense that the arrival times in the nonlinear system are approx… ▽ More We study epidemic arrival times in meta-population disease models through the lens of front propagation into unstable states. We demonstrate that several features of invasion fronts in the PDE context are also relevant to the network case. We show that the susceptible-infected-recovered model on a network is linearly determined in the sense that the arrival times in the nonlinear system are approximated by the arrival times of the instability in the system linearized near the disease free state. Arrival time predictions are extended to an susceptible-exposed-infected-recovered model. We then study a recent model of social epidemics where high order interactions of individuals lead to faster invasion speeds. For these pushed fronts we compute corrections to the estimated arrival time in this case. Finally, we show how inhomogeneities in local infection rates lead to faster average arrival times. △ Less

Submitted 18 October, 2022; v1 submitted 24 September, 2021; originally announced September 2021.

CMOS back-end-of-line compatible ferroelectric tunnel junction devices

Authors: Veeresh Deshpande, Keerthana Shajil Nair, Marco Holzer, Sourish Banerjee, Catherine Dubourdieu

Abstract: Ferroelectric tunnel junction devices based on ferroelectric thin films of solid solutions of hafnium dioxide can enable CMOS integration of ultra-low power ferroelectric devices with potential for memory and emerging computing schemes such as in-memory computing and neuromorphic applications. In this work, we present ferroelectric tunnel junctions based on Hf$_{0.5}$Zr$_{0.5}$O$_{2}$ with materia… ▽ More Ferroelectric tunnel junction devices based on ferroelectric thin films of solid solutions of hafnium dioxide can enable CMOS integration of ultra-low power ferroelectric devices with potential for memory and emerging computing schemes such as in-memory computing and neuromorphic applications. In this work, we present ferroelectric tunnel junctions based on Hf$_{0.5}$Zr$_{0.5}$O$_{2}$ with materials and processes compatible with CMOS back-end-of-line integration. We show a device architecture based on W-Hf$_{0.5}$Zr$_{0.5}$O$_{2}$-Al$_{2}$O$_{3}$-TiN stacks featuring low temperature annealing at 400°C with performance comparable to those obtained with higher temperature annealing conditions. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Journal ref: Solid-State Electronics, Volume 186, 108054 (2021)

Opening the Black Box: Performance Estimation during Code Generation for GPUs

Authors: Dominik Ernst, Georg Hager, Markus Holzer, Matthias Knorr, Gerhard Wellein

Abstract: Automatic code generation is frequently used to create implementations of algorithms specifically tuned to particular hardware and application parameters. The code generation process involves the selection of adequate code transformations, tuning parameters, and parallelization strategies. To cover the huge search space, code generation frameworks may apply time-intensive autotuning, exploit scena… ▽ More Automatic code generation is frequently used to create implementations of algorithms specifically tuned to particular hardware and application parameters. The code generation process involves the selection of adequate code transformations, tuning parameters, and parallelization strategies. To cover the huge search space, code generation frameworks may apply time-intensive autotuning, exploit scenario-specific performance models, or treat performance as an intangible black box that must be described via machine learning. This paper addresses the selection problem by identifying the relevant performance-defining mechanisms through a performance model coupled with an analytic hardware metric estimator. This enables a quick exploration of large configuration spaces to identify highly efficient candidates with high accuracy. Our current approach targets memory-intensive GPGPU applications and focuses on the correct modeling of data transfer volumes to all levels of the memory hierarchy. We show how our method can be coupled to the pystencils stencil code generator, which is used to generate kernels for a range four 3D25pt stencil and a complex two phase fluid solver based on the Lattice Boltzmann Method. For both, it delivers a ranking that can be used to select the best performing candidate. The method is not limited to stencil kernels, but can be integrated into any code generator that can generate the required address expressions. △ Less

Submitted 2 July, 2021; originally announced July 2021.

ACM Class: C.4

Asymptotic spreading for Fisher-KPP reaction-diffusion equations with heterogeneous shifting diffusivity

Authors: Grégory Faye, Thomas Giletti, Matt Holzer

Abstract: We determine the asymptotic spreading speed of the solutions of a Fisher-KPP reaction-diffusion equation, starting from compactly supported initial data, when the diffusion coefficient is a fixed bounded monotone profile that is shifted at a given forcing speed and satisfies a general uniform ellipticity condition. Depending on the monotony of the profile, we are able to characterize this spreadin… ▽ More We determine the asymptotic spreading speed of the solutions of a Fisher-KPP reaction-diffusion equation, starting from compactly supported initial data, when the diffusion coefficient is a fixed bounded monotone profile that is shifted at a given forcing speed and satisfies a general uniform ellipticity condition. Depending on the monotony of the profile, we are able to characterize this spreading speed as a function of the forcing speed and the two linear spreading speeds associated to the asymptotic problems. Most notably, when the profile of the coefficient diffusion is increasing we show that there is an intermediate range for the forcing speed where spreading actually occurs at a speed which is larger than the linear speed associated with the homogeneous state around the position of the front. We complement our study with the construction of strictly monotone traveling front solutions with strong exponential decay near the unstable state when the profile of the coefficient diffusion is decreasing and in the regime where the forcing speed is precisely the selected spreading speed. △ Less

Submitted 29 March, 2021; originally announced March 2021.

Hybrid computer approach to train a machine learning system

Authors: Mirko Holzer, Bernd Ulmann

Abstract: This book chapter describes a novel approach to training machine learning systems by means of a hybrid computer setup i.e. a digital computer tightly coupled with an analog computer. As an example a reinforcement learning system is trained to balance an inverted pendulum which is simulated on an analog computer, thus demonstrating a solution to the major challenge of adequately simulating the envi… ▽ More This book chapter describes a novel approach to training machine learning systems by means of a hybrid computer setup i.e. a digital computer tightly coupled with an analog computer. As an example a reinforcement learning system is trained to balance an inverted pendulum which is simulated on an analog computer, thus demonstrating a solution to the major challenge of adequately simulating the environment for reinforcement learning. △ Less

Submitted 13 March, 2021; originally announced March 2021.

Comments: Book chapter

MSC Class: 68T05 ACM Class: I.2.6; B.m

Highly Efficient Lattice-Boltzmann Multiphase Simulations of Immiscible Fluids at High-Density Ratios on CPUs and GPUs through Code Generation

Authors: Markus Holzer, Martin Bauer, Ulrich Rüde

Abstract: A high-performance implementation of a multiphase lattice Boltzmann method based on the conservative Allen-Cahn model supporting high-density ratios and high Reynolds numbers is presented. Metaprogramming techniques are used to generate optimized code for CPUs and GPUs automatically. The coupled model is specified in a high-level symbolic description and optimized through automatic transformations… ▽ More A high-performance implementation of a multiphase lattice Boltzmann method based on the conservative Allen-Cahn model supporting high-density ratios and high Reynolds numbers is presented. Metaprogramming techniques are used to generate optimized code for CPUs and GPUs automatically. The coupled model is specified in a high-level symbolic description and optimized through automatic transformations. The memory footprint of the resulting algorithm is reduced through the fusion of compute kernels. A roofline analysis demonstrates the excellent efficiency of the generated code on a single GPU. The resulting single GPU code has been integrated into the multiphysics framework waLBerla to run massively parallel simulations on large domains. Communication hiding and GPUDirect-enabled MPI yield near-perfect scaling behaviour. Scaling experiments are conducted on the Piz Daint supercomputer with up to 2048 GPUs, simulating several hundred fully resolved bubbles. Further, validation of the implementation is shown in a physically relevant scenario-a three-dimensional rising air bubble in water. △ Less

Submitted 11 December, 2020; originally announced December 2020.

Comments: 17 pages, 9 figures

Locked fronts in a discrete time discrete space population model

Authors: Matt Holzer, Zachary Richey, Wyatt Rush, Samuel Schmidgall

Abstract: A model of population growth and dispersal is considered where the spatial habitat is a lattice and reproduction occurs generationally. The resulting discrete dynamical systems exhibits velocity locking, where rational speed invasion fronts are observed to persist as parameters are varied. In this article, we construct locked fronts for a particular piecewise linear reproduction function. These fr… ▽ More A model of population growth and dispersal is considered where the spatial habitat is a lattice and reproduction occurs generationally. The resulting discrete dynamical systems exhibits velocity locking, where rational speed invasion fronts are observed to persist as parameters are varied. In this article, we construct locked fronts for a particular piecewise linear reproduction function. These fronts are shown to be linear combinations of exponentially decaying solutions to the linear system near the unstable state. Based upon these front solutions, we then derive expressions for the boundary of locking regions in parameter space. We obtain leading order expansions for the locking regions in the limit as the migration parameter tends to zero. Strict spectral stability in exponentially weighted spaces is also established. △ Less

Submitted 21 December, 2021; v1 submitted 11 September, 2020; originally announced September 2020.

Invasion into remnant instability: a case study of front dynamics

Authors: Gregory Faye, Matt Holzer, Arnd Scheel, Lars Siemer

Abstract: We study the invasion of an unstable state by a propagating front in a peculiar but generic situation where the invasion process exhibits a remnant instability. Here, remnant instability refers to the fact that the spatially constant invaded state is linearly unstable in any exponentially weighted space in a frame moving with the linear invasion speed. Our main result is the nonlinear asymptotic s… ▽ More We study the invasion of an unstable state by a propagating front in a peculiar but generic situation where the invasion process exhibits a remnant instability. Here, remnant instability refers to the fact that the spatially constant invaded state is linearly unstable in any exponentially weighted space in a frame moving with the linear invasion speed. Our main result is the nonlinear asymptotic stability of the selected invasion front for a prototypical model coupling spatio-temporal oscillations and monotone dynamics. We establish stability through a decomposition of the perturbation into two pieces: one that is bounded in the weighted space and a second that is unbounded in the weighted space but which converges uniformly to zero in the unweighted space at an exponential rate. Interestingly, long-time numerical simulations reveal an apparent instability in some cases. We exhibit how this instability is caused by round-off errors that introduce linear resonant coupling of otherwise non-resonant linear modes, and we determine the accelerated invasion speed. △ Less

Submitted 4 September, 2020; originally announced September 2020.

Asymptotic stability of the critical pulled front in a Lotka-Volterra competition model

Authors: Gregory Faye, Matt Holzer

Abstract: We prove that the critical pulled front of Lotka-Volterra competition systems is nonlinearly asymptotically stable. More precisely, we show that perturbations of the critical front decay algebraically with rate $t^{-3/2}$ in a weighted $L^\infty$ space. Our proof relies on pointwise semigroup methods and utilizes in a crucial way that the faster decay rate $t^{-3/2}$ is a consequence of the lack o… ▽ More We prove that the critical pulled front of Lotka-Volterra competition systems is nonlinearly asymptotically stable. More precisely, we show that perturbations of the critical front decay algebraically with rate $t^{-3/2}$ in a weighted $L^\infty$ space. Our proof relies on pointwise semigroup methods and utilizes in a crucial way that the faster decay rate $t^{-3/2}$ is a consequence of the lack of an embedded zero of the Evans function at the origin for the linearized problem around the critical front. △ Less

Submitted 5 April, 2019; originally announced April 2019.

Asymptotic stability of the critical Fisher-KPP front using pointwise estimates

Authors: Gregory Faye, Matt Holzer

Abstract: We propose a simple alternative proof of a famous result of Gallay regarding the nonlinear asymptotic stability of the critical front of the Fisher-KPP equation which shows that perturbations of the critical front decay algebraically with rate $t^{-3/2}$ in a weighted $L^\infty$ space. Our proof is based on pointwise semigroup methods and the key remark that the faster algebraic decay rate… ▽ More We propose a simple alternative proof of a famous result of Gallay regarding the nonlinear asymptotic stability of the critical front of the Fisher-KPP equation which shows that perturbations of the critical front decay algebraically with rate $t^{-3/2}$ in a weighted $L^\infty$ space. Our proof is based on pointwise semigroup methods and the key remark that the faster algebraic decay rate $t^{-3/2}$ is a consequence of the lack of an embedded zero of the Evans function at the origin for the linearized problem around the critical front. △ Less

Submitted 13 September, 2018; v1 submitted 19 December, 2017; originally announced December 2017.

Input-Driven Double-Head Pushdown Automata

Authors: Markus Holzer, Martin Kutrib, Andreas Malcher, Matthias Wendlandt

Abstract: We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton t… ▽ More We introduce and study input-driven deterministic and nondeterministic double-head pushdown automata. A double-head pushdown automaton is a slight generalization of an ordinary pushdown automaton working with two input heads that move in opposite directions on the common input tape. In every step one head is moved and the automaton decides on acceptance if the heads meet. Demanding the automaton to work input-driven it is required that every input symbol uniquely defines the action on the pushdown store (push, pop, state change). Normally this is modeled by a partition of the input alphabet and is called a signature. Since our automaton model works with two heads either both heads respect the same signature or each head owes its own signature. This results in two variants of input-driven double-head pushdown automata. The induced language families on input-driven double-head pushdown automata are studied from the perspectives of their language describing capability, their closure properties, and decision problems. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: In Proceedings AFL 2017, arXiv:1708.06226

ACM Class: F.1.1; F.4.3

Journal ref: EPTCS 252, 2017, pp. 128-142

On the Descriptional Complexity of Operations on Semilinear Sets

Authors: Simon Beier, Markus Holzer, Martin Kutrib

Abstract: We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and period vectors. The interesting parameters of a semilinear set are: (i) the maximal value that appears in the vectors of periods and constants and (ii) the number of such sets of periods and constants necessary to descr… ▽ More We investigate the descriptional complexity of operations on semilinear sets. Roughly speaking, a semilinear set is the finite union of linear sets, which are built by constant and period vectors. The interesting parameters of a semilinear set are: (i) the maximal value that appears in the vectors of periods and constants and (ii) the number of such sets of periods and constants necessary to describe the semilinear set under consideration. More precisely, we prove upper bounds on the union, intersection, complementation, and inverse homomorphism. In particular, our result on the complementation upper bound answers an open problem from [G. J. LAVADO, G. PIGHIZZINI, S. SEKI: Operational State Complexity of Parikh Equivalence, 2014]. △ Less

Submitted 21 August, 2017; originally announced August 2017.

Comments: In Proceedings AFL 2017, arXiv:1708.06226

ACM Class: F.4.3

Journal ref: EPTCS 252, 2017, pp. 41-55

Estimating epidemic arrival times using linear spreading theory

Authors: Lawrence M. Chen, Matt Holzer, Anne Shapiro

Abstract: We study the dynamics of a spatially structured model of worldwide epidemics and formulate predictions for arrival times of the disease at any city in the network. The model is comprised of a system of ordinary differential equations describing a meta-population SIR compartmental model defined on a network where each node represents a city and edges represent flight paths connecting cities. Making… ▽ More We study the dynamics of a spatially structured model of worldwide epidemics and formulate predictions for arrival times of the disease at any city in the network. The model is comprised of a system of ordinary differential equations describing a meta-population SIR compartmental model defined on a network where each node represents a city and edges represent flight paths connecting cities. Making use of the linear determinacy of the system, we consider spreading speeds and arrival times in the system linearized about the unstable disease free state and compare these to arrival times in the nonlinear system. Two predictions are presented. The first is based upon expansion of the heat kernel for the linearized system. The second assumes that the dominant transmission pathway between any two cities can be approximated by a one dimensional lattice or homogeneous tree and gives a uniform prediction for arrival times independent of specific network features. We test these predictions on a real network describing worldwide airline traffic. △ Less

Submitted 19 December, 2017; v1 submitted 14 August, 2017; originally announced August 2017.

Bifurcation to locked fronts in two component reaction-diffusion systems

Authors: Gregory Faye, Matt Holzer

Abstract: We study invasion fronts and spreading speeds in two component reaction-diffusion systems. Using a variation of Lin's method, we construct traveling front solutions and show the existence of a bifurcation to locked fronts where both components invade at the same speed. Expansions of the wave speed as a function of the diffusion constant of one species are obtained. The bifurcation can be sub or su… ▽ More We study invasion fronts and spreading speeds in two component reaction-diffusion systems. Using a variation of Lin's method, we construct traveling front solutions and show the existence of a bifurcation to locked fronts where both components invade at the same speed. Expansions of the wave speed as a function of the diffusion constant of one species are obtained. The bifurcation can be sub or super-critical depending on whether the locked fronts exist for parameter values above or below the bifurcation value. Interestingly, in the sub-critical case numerical simulations reveal that the spreading speed of the PDE system does not depend continuously on the coefficient of diffusion. △ Less

Submitted 2 May, 2018; v1 submitted 27 April, 2017; originally announced April 2017.

Pattern formation, traveling fronts and consensus versus fragmentation in a model of opinion dynamics

Authors: Matt Holzer, Ratna Khatri

Abstract: We consider a continuous version of the Hegselmann-Krause model of opinion dynamics. Interaction between agents either leads to a state of consensus, where agents converge to a single opinion as time evolves, or to a fragmented state with multiple opinions. In this work, we linearize the system about a uniform density solution and predict consensus or fragmentation based on properties of the resul… ▽ More We consider a continuous version of the Hegselmann-Krause model of opinion dynamics. Interaction between agents either leads to a state of consensus, where agents converge to a single opinion as time evolves, or to a fragmented state with multiple opinions. In this work, we linearize the system about a uniform density solution and predict consensus or fragmentation based on properties of the resulting dispersion relation. This prediction is different depending on whether the initial agent distribution is uniform or nearly uniform. In the uniform case, we observe traveling fronts in the agent based model and make predictions for the speed and pattern selected by this front. △ Less

Submitted 27 April, 2017; originally announced April 2017.

Invasion fronts on graphs: the Fisher-KPP equation on homogeneous trees and Erdős-Réyni graphs

Authors: Aaron Hoffman, Matt Holzer

Abstract: We study the dynamics of the Fisher-KPP equation on the infinite homogeneous tree and Erdős-Réyni random graphs. We assume initial data that is zero everywhere except at a single node. For the case of the homogeneous tree, the solution will either form a traveling front or converge pointwise to zero. This dichotomy is determined by the linear spreading speed and we compute critical values of the d… ▽ More We study the dynamics of the Fisher-KPP equation on the infinite homogeneous tree and Erdős-Réyni random graphs. We assume initial data that is zero everywhere except at a single node. For the case of the homogeneous tree, the solution will either form a traveling front or converge pointwise to zero. This dichotomy is determined by the linear spreading speed and we compute critical values of the diffusion parameter for which the spreading speed is zero and maximal and prove that the system is linearly determined. We also study the growth of the total population in the network and identify the exponential growth rate as a function of the diffusion coefficient, $α$. Finally, we make predictions for the Fisher-KPP equation on Erdős-Rényi random graphs based upon the results on the homogeneous tree. When $α$ is small we observe via numerical simulations that mean arrival times are linearly related to distance from the initial node and the speed of invasion is well approximated by the linear spreading speed on the tree. Furthermore, we observe that exponential growth rates of the total population on the random network can be bounded by growth rates on the homogeneous tree and provide an explanation for the sub-linear exponential growth rates that occur for small diffusion. △ Less

Submitted 2 May, 2018; v1 submitted 21 October, 2016; originally announced October 2016.

Linear spreading speeds from nonlinear resonant interaction

Authors: Gregory Faye, Matt Holzer, Arnd Scheel

Abstract: We identify a new mechanism for propagation into unstable states in spatially extended systems, that is based on resonant interaction in the leading edge of invasion fronts. Such resonant invasion speeds can be determined solely based on the complex linear dispersion relation at the unstable equilibrium, but rely on the presence of a nonlinear term that facilitates the resonant coupling. We prove… ▽ More We identify a new mechanism for propagation into unstable states in spatially extended systems, that is based on resonant interaction in the leading edge of invasion fronts. Such resonant invasion speeds can be determined solely based on the complex linear dispersion relation at the unstable equilibrium, but rely on the presence of a nonlinear term that facilitates the resonant coupling. We prove that these resonant speeds give the correct invasion speed in a simple example, we show that fronts with speeds slower than the resonant speed are unstable, and corroborate our speed criterion numerically in a variety of model equations, including a nonlocal scalar neural field model. △ Less

Submitted 19 September, 2016; originally announced September 2016.

Comments: 42 pages

A proof of anomalous invasion speeds in a system of coupled Fisher-KPP equations

Authors: Matt Holzer

Abstract: This article is concerned with the rigorous validation of anomalous spreading speeds in a system of coupled Fisher-KPP equations of cooperative type. Anomalous spreading refers to a scenario wherein the coupling of two equations leads to faster spreading speeds in one of the components. The existence of these spreading speeds can be predicted from the linearization about the unstable state. We pro… ▽ More This article is concerned with the rigorous validation of anomalous spreading speeds in a system of coupled Fisher-KPP equations of cooperative type. Anomalous spreading refers to a scenario wherein the coupling of two equations leads to faster spreading speeds in one of the components. The existence of these spreading speeds can be predicted from the linearization about the unstable state. We prove that initial data consisting of compactly supported perturbations of Heaviside step functions spreads asymptotically with the anomalous speed. The proof makes use of a comparison principle and the explicit construction of sub and super solutions. △ Less

Submitted 21 July, 2015; v1 submitted 30 September, 2014; originally announced September 2014.

Modulated traveling fronts for a nonlocal Fisher-KPP equation: a dynamical systems approach

Authors: Gregory Faye, Matt Holzer

Abstract: We consider a nonlocal generalization of the Fisher-KPP equation in one spatial dimension. As a parameter is varied the system undergoes a Turing bifurcation. We study the dynamics near this Turing bifurcation. Our results are two-fold. First, we prove the existence of a two-parameter family of bifurcating stationary periodic solutions and derive a rigorous asymptotic approximation of these soluti… ▽ More We consider a nonlocal generalization of the Fisher-KPP equation in one spatial dimension. As a parameter is varied the system undergoes a Turing bifurcation. We study the dynamics near this Turing bifurcation. Our results are two-fold. First, we prove the existence of a two-parameter family of bifurcating stationary periodic solutions and derive a rigorous asymptotic approximation of these solutions. We also study the spectral stability of the bifurcating stationary periodic solutions with respect to almost co-periodic perturbations. Secondly, we restrict to a specific class of exponential kernels for which the nonlocal problem is transformed into a higher order partial differential equation. In this context, we prove the existence of modulated traveling fronts near the Turing bifurcation that describe the invasion of the Turing unstable homogeneous state by the periodic pattern established in the first part. Both results rely on a center manifold reduction to a finite dimensional ordinary differential equation. △ Less

Submitted 11 December, 2014; v1 submitted 29 September, 2014; originally announced September 2014.

Comments: 29 pages, 2 figures

More Structural Characterizations of Some Subregular Language Families by Biautomata

Authors: Markus Holzer, Sebastian Jakobi

Abstract: We study structural restrictions on biautomata such as, e.g., acyclicity, permutation-freeness, strongly permutation-freeness, and orderability, to mention a few. We compare the obtained language families with those induced by deterministic finite automata with the same property. In some cases, it is shown that there is no difference in characterization between deterministic finite automata and bi… ▽ More We study structural restrictions on biautomata such as, e.g., acyclicity, permutation-freeness, strongly permutation-freeness, and orderability, to mention a few. We compare the obtained language families with those induced by deterministic finite automata with the same property. In some cases, it is shown that there is no difference in characterization between deterministic finite automata and biautomata as for the permutation-freeness, but there are also other cases, where it makes a big difference whether one considers deterministic finite automata or biautomata. This is, for instance, the case when comparing strongly permutation-freeness, which results in the family of definite language for deterministic finite automata, while biautomata induce the family of finite and co-finite languages. The obtained results nicely fall into the known landscape on classical language families. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal ref: EPTCS 151, 2014, pp. 271-285

Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes

Authors: Henning Fernau, Rudolf Freund, Markus Holzer

Abstract: We study cooperating distributed grammar systems working in hybrid modes in connection with the finite index restriction in two different ways: firstly, we investigate cooperating distributed grammar systems working in hybrid modes which characterize programmed grammars with the finite index restriction; looking at the number of components of such systems, we obtain surprisingly rich lattice struc… ▽ More We study cooperating distributed grammar systems working in hybrid modes in connection with the finite index restriction in two different ways: firstly, we investigate cooperating distributed grammar systems working in hybrid modes which characterize programmed grammars with the finite index restriction; looking at the number of components of such systems, we obtain surprisingly rich lattice structures for the inclusion relations between the corresponding language families. Secondly, we impose the finite index restriction on cooperating distributed grammar systems working in hybrid modes themselves, which leads us to new characterizations of programmed grammars of finite index. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: In Proceedings AFL 2014, arXiv:1405.5272

Journal ref: EPTCS 151, 2014, pp. 246-260

From Finite Automata to Regular Expressions and Back--A Summary on Descriptional Complexity

Authors: Hermann Gruber, Markus Holzer

Abstract: The equivalence of finite automata and regular expressions dates back to the seminal paper of Kleene on events in nerve nets and finite automata from 1956. In the present paper we tour a fragment of the literature and summarize results on upper and lower bounds on the conversion of finite automata to regular expressions and vice versa. We also briefly recall the known bounds for the removal of spo… ▽ More The equivalence of finite automata and regular expressions dates back to the seminal paper of Kleene on events in nerve nets and finite automata from 1956. In the present paper we tour a fragment of the literature and summarize results on upper and lower bounds on the conversion of finite automata to regular expressions and vice versa. We also briefly recall the known bounds for the removal of spontaneous transitions (epsilon-transitions) on non-epsilon-free nondeterministic devices. Moreover, we report on recent results on the average case descriptional complexity bounds for the conversion of regular expressions to finite automata and brand new developments on the state elimination algorithm that converts finite automata to regular expressions. △ Less

Submitted 21 May, 2014; originally announced May 2014.

Comments: In Proceedings AFL 2014, arXiv:1405.5272

ACM Class: F.1.1; F.2.3; F.4.3

Journal ref: EPTCS 151, 2014, pp. 25-48

Criteria for pointwise growth and their role in invasion processes

Authors: Matt Holzer, Arnd Scheel

Abstract: This article is concerned with pointwise growth and spreading speeds in systems of parabolic partial differential equations. Several criteria exist for quantifying pointwise growth rates. These include the location in the complex plane of singularities of the pointwise Green's function and pinched double roots of the dispersion relation. The primary aim of this work is to establish some rigorous p… ▽ More This article is concerned with pointwise growth and spreading speeds in systems of parabolic partial differential equations. Several criteria exist for quantifying pointwise growth rates. These include the location in the complex plane of singularities of the pointwise Green's function and pinched double roots of the dispersion relation. The primary aim of this work is to establish some rigorous properties related to these criteria and the relationships between them. In the process, we discover that these concepts are not equivalent and point to some interesting consequences for nonlinear front invasion problems. Among the more striking is the fact that pointwise growth does not depend continuously on system parameters. Other results include a determination of the circumstances under which pointwise growth on the real line implies pointwise growth on a semi-infinite interval. As a final application, we consider invasion fronts in an infinite cylinder and show that the linear prediction always favors the formation of stripes in the leading edge. △ Less

Submitted 14 November, 2013; originally announced November 2013.

Anomalous spreading in a system of coupled Fisher-KPP equations

Authors: Matt Holzer

Abstract: In this article, we report on the curious phenomena of anomalous spreading in a system of coupled Fisher-KPP equations. When a single parameter is set to zero, the system consists of two uncoupled Fisher-KPP equations which give rise to traveling fronts propagating with the unique, minimal KPP speed. When the coupling parameter is nonzero various behaviors can be observed. Anomalous spreading occu… ▽ More In this article, we report on the curious phenomena of anomalous spreading in a system of coupled Fisher-KPP equations. When a single parameter is set to zero, the system consists of two uncoupled Fisher-KPP equations which give rise to traveling fronts propagating with the unique, minimal KPP speed. When the coupling parameter is nonzero various behaviors can be observed. Anomalous spreading occurs when one component of the system spreads at a speed significantly faster in the coupled system than it does in isolation, while the speed of the second component remains unchanged. We study these anomalous spreading speeds and show that they arise due to poles of the pointwise Green's function corresponding to the linearizion about the unstable homogeneous state. These poles lead to anomalous spreading in the linearized system and come in two varieties -- one that persists and leads to anomalous spreading for the nonlinear system and one that does not. We describe the mechanisms leading to these two behaviors and prove that one class of poles are irrelevant as far as nonlinear wavespeed selection is concerned. Finally, we show that the same mechanism can give rise to anomalous spreading even when the slower component does not spread. △ Less

Submitted 14 November, 2013; v1 submitted 26 November, 2012; originally announced November 2012.

The Magic Number Problem for Subregular Language Families

Authors: Markus Holzer, Sebastian Jakobi, Martin Kutrib

Abstract: We investigate the magic number problem, that is, the question whether there exists a minimal n-state nondeterministic finite automaton (NFA) whose equivalent minimal deterministic finite automaton (DFA) has alpha states, for all n and alpha satisfying n less or equal to alpha less or equal to exp(2,n). A number alpha not satisfying this condition is called a magic number (for n). It was shown… ▽ More We investigate the magic number problem, that is, the question whether there exists a minimal n-state nondeterministic finite automaton (NFA) whose equivalent minimal deterministic finite automaton (DFA) has alpha states, for all n and alpha satisfying n less or equal to alpha less or equal to exp(2,n). A number alpha not satisfying this condition is called a magic number (for n). It was shown in [11] that no magic numbers exist for general regular languages, while in [5] trivial and non-trivial magic numbers for unary regular languages were identified. We obtain similar results for automata accepting subregular languages like, for example, combinational languages, star-free, prefix-, suffix-, and infix-closed languages, and prefix-, suffix-, and infix-free languages, showing that there are only trivial magic numbers, when they exist. For finite languages we obtain some partial results showing that certain numbers are non-magic. △ Less

Submitted 10 August, 2010; originally announced August 2010.

Comments: In Proceedings DCFS 2010, arXiv:1008.1270

Journal ref: EPTCS 31, 2010, pp. 110-119

Effect of interfacial Cr on magnetoelectricity of Fe2/CrO2/BaTiO3(001)

Authors: Martin Hölzer, Michael Fechner, Sergey Ostanin, Ingrid Mertig

Abstract: On the basis of first-principles calculations we study the effect of interfacial Cr on the magnetoelectric properties of a composite multiferroic Fe_L/BaTiO_3(001), with the Fe thickness L=1,2 monolayers. The use of the CrO_2-terminated interface instead of TiO_2 may significantly enhance magnetoelectricity in the system, showing an unexpected change in magnetization induced by the electric polari… ▽ More On the basis of first-principles calculations we study the effect of interfacial Cr on the magnetoelectric properties of a composite multiferroic Fe_L/BaTiO_3(001), with the Fe thickness L=1,2 monolayers. The use of the CrO_2-terminated interface instead of TiO_2 may significantly enhance magnetoelectricity in the system, showing an unexpected change in magnetization induced by the electric polarization reversal. In the case of L=2, for instance, the magnetic order of the Fe bilayer can be switched from nearly zero ferrimagnetic to ferromagnetic upon polarization reversal. △ Less

Submitted 18 May, 2010; originally announced May 2010.

Comments: 7 pages, 9 figures

On Iterated Dominance, Matrix Elimination, and Matched Paths

Authors: Felix Brandt, Felix Fischer, Markus Holzer

Abstract: We study computational problems arising from the iterated removal of weakly dominated actions in anonymous games. Our main result shows that it is NP-complete to decide whether an anonymous game with three actions can be solved via iterated weak dominance. The two-action case can be reformulated as a natural elimination problem on a matrix, the complexity of which turns out to be surprisingly di… ▽ More We study computational problems arising from the iterated removal of weakly dominated actions in anonymous games. Our main result shows that it is NP-complete to decide whether an anonymous game with three actions can be solved via iterated weak dominance. The two-action case can be reformulated as a natural elimination problem on a matrix, the complexity of which turns out to be surprisingly difficult to characterize and ultimately remains open. We however establish connections to a matching problem along paths in a directed graph, which is computationally hard in general but can also be used to identify tractable cases of matrix elimination. We finally identify different classes of anonymous games where iterated dominance is in P and NP-complete, respectively. △ Less

Submitted 3 February, 2010; v1 submitted 4 January, 2010; originally announced January 2010.

Comments: 12 pages, 3 figures, 27th International Symposium on Theoretical Aspects of Computer Science (STACS)

ACM Class: F.2.2; J.4

On Measuring Non-Recursive Trade-Offs

Authors: Hermann Gruber, Markus Holzer, Martin Kutrib

Abstract: We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of lan… ▽ More We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their growth rate, and show how to deduce such bounds in general. We also identify criteria which, in the spirit of abstract language theory, allow us to deduce non-recursive tradeoffs from effective closure properties of language families on the one hand, and differences in the decidability status of basic decision problems on the other. We develop a qualitative classification of non-recursive trade-offs in order to obtain a better understanding of this very fundamental behaviour of descriptional systems. △ Less

Submitted 29 July, 2009; originally announced July 2009.

Journal ref: EPTCS 3, 2009, pp. 141-150

Multi-Head Finite Automata: Characterizations, Concepts and Open Problems

Authors: Markus Holzer, Martin Kutrib, Andreas Malcher

Abstract: Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these devices has been developed. Although multi-head finite automata are a simple concept, their computational behavior can be already very complex and leads to undec… ▽ More Multi-head finite automata were introduced in (Rabin, 1964) and (Rosenberg, 1966). Since that time, a vast literature on computational and descriptional complexity issues on multi-head finite automata documenting the importance of these devices has been developed. Although multi-head finite automata are a simple concept, their computational behavior can be already very complex and leads to undecidable or even non-semi-decidable problems on these devices such as, for example, emptiness, finiteness, universality, equivalence, etc. These strong negative results trigger the study of subclasses and alternative characterizations of multi-head finite automata for a better understanding of the nature of non-recursive trade-offs and, thus, the borderline between decidable and undecidable problems. In the present paper, we tour a fragment of this literature. △ Less

Submitted 17 June, 2009; originally announced June 2009.

Journal ref: EPTCS 1, 2009, pp. 93-107

A common algebraic description for probabilistic and quantum computations

Authors: Martin Beaudry, Jose M. Fernandez, Markus Holzer

Abstract: We study the computational complexity of the problem SFT (Sum-free Formula partial Trace): given a tensor formula F over a subsemiring of the complex field (C,+,.) plus a positive integer k, under the restrictions that all inputs are column vectors of L2-norm 1 and norm-preserving square matrices, and that the output matrix is a column vector, decide whether the k-partial trace of $F\dagg{F}$ is… ▽ More We study the computational complexity of the problem SFT (Sum-free Formula partial Trace): given a tensor formula F over a subsemiring of the complex field (C,+,.) plus a positive integer k, under the restrictions that all inputs are column vectors of L2-norm 1 and norm-preserving square matrices, and that the output matrix is a column vector, decide whether the k-partial trace of $F\dagg{F}$ is superior to 1/2. The k-partial trace of a matrix is the sum of its lowermost k diagonal elements. We also consider the promise version of this problem, where the 1/2 threshold is an isolated cutpoint. We show how to encode a quantum or reversible gate array into a tensor formula which satisfies the above conditions, and vice-versa; we use this to show that the promise version of SFT is complete for the class BPP for formulas over the semiring (Q^+,+,.) of the positive rational numbers, for BQP in the case of formulas defined over the field (Q,+,.), and for P in the case of formulas defined over the Boolean semiring, all under logspace-uniform reducibility. This suggests that the difference between probabilistic and quantum polynomial-time computers may ultimately lie in the possibility, in the latter case, of having destructive interference between computations occuring in parallel. △ Less

Submitted 16 December, 2002; originally announced December 2002.

Comments: 16 pages, 1 PS figure

Logarithmically slow domain growth in nonrandomly frustrated systems--- A summary of the major results

Authors: Joel D. Shore, James P. Sethna, Mark Holzer, Veit Elser

Abstract: Here, we summarize the most important results of our study of logarithmically slow growth of domains following a quench in two models without randomness in their Hamiltonians. This is a slightly updated version of a paper to appear in the Proceedings of the 1st Annual Tohwa University International Symposium, Fukuoka, Japan (American Institute of Physics, 1992). It is meant to serve as a brief… ▽ More Here, we summarize the most important results of our study of logarithmically slow growth of domains following a quench in two models without randomness in their Hamiltonians. This is a slightly updated version of a paper to appear in the Proceedings of the 1st Annual Tohwa University International Symposium, Fukuoka, Japan (American Institute of Physics, 1992). It is meant to serve as a brief summary of cond-mat/9204015 for those who do not wish to read all the details contained therein (and don't want to hassle with 2 MBytes of tex/ps files). △ Less

Submitted 28 April, 1992; originally announced April 1992.

Comments: 8 pages (including 4 figures)

Logarithmically slow domain growth in nonrandomly frustrated systems: Ising models with competing interactions

Authors: Joel D. Shore, Mark Holzer, James P. Sethna

Abstract: It is known that in systems which contain randomness explicitly in their Hamiltonians (e.g., due to impurities), the characteristic size L of the ordered domains can grow only logarithmically with time t following a quench below the transition temperature. However, in systems without such imposed randomness, much faster power law growth has generally been predicted. Motivated by the slow dynamic… ▽ More It is known that in systems which contain randomness explicitly in their Hamiltonians (e.g., due to impurities), the characteristic size L of the ordered domains can grow only logarithmically with time t following a quench below the transition temperature. However, in systems without such imposed randomness, much faster power law growth has generally been predicted. Motivated by the slow dynamics present in glasses, we have been looking for counterexamples, i.e., for models without randomness which nonetheless order logarithmically slowly. Here, we discuss two closely related models for which we have simple physical arguments that such slow growth occurs. The basis of these arguments is the claim that the free energy barriers to domain growth in these models are proportional to L. Thus, the barriers grow as the domains coarsen. We present the results of Monte Carlo simulations, which lend strong support to our claims of growing barriers and logarithmically slow dynamics. Finally, we discuss how quickly the system orders when it is cooled continuously through the transition (rather than quenched). △ Less

Submitted 28 April, 1992; originally announced April 1992.

Comments: 88 pages (including 23 figures)

Journal ref: Phys. Rev. B 46, 11376 (1992)