-
Reconstruction of inhomogeneous turbulence based on stochastic Fourier-type integrals. Part I: Modeling and analysis
Authors:
Markus Antoni,
Quinten Kürpick,
Felix Lindner,
Nicole Marheineke,
Raimund Wegener
Abstract:
In this article, we develop and analyze a Gaussian random field model for the reconstruction of inhomogeneous turbulence from characteristic flow quantities provided by $k$-$\varepsilon$ simulations. The model is based on stochastic integrals that combine moving average and Fourier-type representations in time and space, respectively, where both the time integration kernel and the spatial energy s…
▽ More
In this article, we develop and analyze a Gaussian random field model for the reconstruction of inhomogeneous turbulence from characteristic flow quantities provided by $k$-$\varepsilon$ simulations. The model is based on stochastic integrals that combine moving average and Fourier-type representations in time and space, respectively, where both the time integration kernel and the spatial energy spectrum depend on the macroscopically varying characteristic quantities. The structure of the model is derived from standard spectral representations of homogeneous fields by means of a two scale approach in combination with specific stochastic integral transformations. Our approach allows for a rigorous analytical verification of the desired statistical properties and is accessible to numerical simulation. The constructed inhomogeneous field is shown to satisfy the characteristic $k$-$\varepsilon$ flow properties and the condition of incompressibility in an asymptotic sense. Moreover, a novel inhomogeneous ergodicity result establishes the approximation of local characteristic values by means of local averages in time and space.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Solving two-dimensional quantum eigenvalue problems using physics-informed machine learning
Authors:
Elliott G. Holliday,
John F. Lindner,
William L. Ditto
Abstract:
A particle confined to an impassable box is a paradigmatic and exactly solvable one-dimensional quantum system modeled by an infinite square well potential. Here we explore some of its infinitely many generalizations to two dimensions, including particles confined to rectangle, elliptic, triangle, and cardioid-shaped boxes, using physics-informed neural networks. In particular, we generalize an un…
▽ More
A particle confined to an impassable box is a paradigmatic and exactly solvable one-dimensional quantum system modeled by an infinite square well potential. Here we explore some of its infinitely many generalizations to two dimensions, including particles confined to rectangle, elliptic, triangle, and cardioid-shaped boxes, using physics-informed neural networks. In particular, we generalize an unsupervised learning algorithm to find the particles' eigenvalues and eigenfunctions. During training, the neural network adjusts its weights and biases, one of which is the energy eigenvalue, so its output approximately solves the Schrödinger equation with normalized and mutually orthogonal eigenfunctions. The same procedure solves the Helmholtz equation for the harmonics and vibration modes of waves on drumheads or transverse magnetic modes of electromagnetic cavities. Related applications include dynamical billiards, quantum chaos, and Laplacian spectra.
△ Less
Submitted 2 February, 2023;
originally announced February 2023.
-
Decoupling the effects of geometry and nature of strain in LaMnO$_3$: Interplay of dynamic correlations and uniaxial strain driving magnetic phase transitions
Authors:
Florian P. Lindner,
Markus Aichhorn,
Hrishit Banerjee
Abstract:
Recent years have seen tremendous progress in experimental techniques to create uniaxial strain. Motivated by these advances we investigate the effect of uniaxial strain on LaMnO$_3$ employing ab-initio dynamical mean-field theory, and put it in contrast to biaxial strain that occurs in epitaxial systems. Projecting on the low-energy subspace of Mn $3d$ states, and solving multi-impurity problems,…
▽ More
Recent years have seen tremendous progress in experimental techniques to create uniaxial strain. Motivated by these advances we investigate the effect of uniaxial strain on LaMnO$_3$ employing ab-initio dynamical mean-field theory, and put it in contrast to biaxial strain that occurs in epitaxial systems. Projecting on the low-energy subspace of Mn $3d$ states, and solving multi-impurity problems, our approach emphasizes on local dynamic correlations at Mn sites. At ambient pressures, LaMnO$_3$ crystallizes in an orthorhombic unit cell, with in-plane lattice constants $a<b$, and shows an A-type antiferromagnetic ground state. If we apply uniaxial compressive strain such that the in-plane lattice becomes square with lattice constant $a$, we find a ferromagnetic insulating state. This is in sharp contrast to DFT results using various functionals like PBE, PBE+$U$, and hybrid functionals like HSE, which all predict a half-metallic ferromagnetic behaviour. Interestingly, applying uniaxial tensile strain, such that the in-plane lattice becomes square with the longer lattice constant $b$, an antiferromagnetic insulating state is observed. We trace back these results to the reduction in Jahn-Teller distortion in the case of compressive strain, favoring a ferromagnetic state. This reduction is absent in the tensile case, and the antiferromagnetic state therefore survives. Our study shows that it is the flavour of the strain (compressive or tensile) which is decisive for the magnitude of Jahn-Teller distortions and, hence, the magnetic state.
△ Less
Submitted 16 February, 2024; v1 submitted 2 December, 2022;
originally announced December 2022.
-
Blow up phenomena for gradient descent optimization methods in the training of artificial neural networks
Authors:
Davide Gallon,
Arnulf Jentzen,
Felix Lindner
Abstract:
In this article we investigate blow up phenomena for gradient descent optimization methods in the training of artificial neural networks (ANNs). Our theoretical analysis is focused on shallow ANNs with one neuron on the input layer, one neuron on the output layer, and one hidden layer. For ANNs with ReLU activation and at least two neurons on the hidden layer we establish the existence of a target…
▽ More
In this article we investigate blow up phenomena for gradient descent optimization methods in the training of artificial neural networks (ANNs). Our theoretical analysis is focused on shallow ANNs with one neuron on the input layer, one neuron on the output layer, and one hidden layer. For ANNs with ReLU activation and at least two neurons on the hidden layer we establish the existence of a target function such that there exists a lower bound for the risk values of the critical points of the associated risk function which is strictly greater than the infimum of the image of the risk function. This allows us to demonstrate that every gradient flow trajectory with an initial risk smaller than this lower bound diverges. Furthermore, we analyze and compare various popular types of activation functions with regard to the divergence of gradient flow trajectories and gradient descent trajectories in the training of ANNs and with regard to the closely related question concerning the existence of global minimum points of the risk function.
△ Less
Submitted 28 November, 2022;
originally announced November 2022.
-
Understanding a Robot's Guiding Ethical Principles via Automatically Generated Explanations
Authors:
Benjamin Krarup,
Felix Lindner,
Senka Krivic,
Derek Long
Abstract:
The continued development of robots has enabled their wider usage in human surroundings. Robots are more trusted to make increasingly important decisions with potentially critical outcomes. Therefore, it is essential to consider the ethical principles under which robots operate. In this paper we examine how contrastive and non-contrastive explanations can be used in understanding the ethics of rob…
▽ More
The continued development of robots has enabled their wider usage in human surroundings. Robots are more trusted to make increasingly important decisions with potentially critical outcomes. Therefore, it is essential to consider the ethical principles under which robots operate. In this paper we examine how contrastive and non-contrastive explanations can be used in understanding the ethics of robot action plans. We build upon an existing ethical framework to allow users to make suggestions about plans and receive automatically generated contrastive explanations. Results of a user study indicate that the generated explanations help humans to understand the ethical principles that underlie a robot's plan.
△ Less
Submitted 20 June, 2022;
originally announced June 2022.
-
Neuronal diversity can improve machine learning for physics and beyond
Authors:
Anshul Choudhary,
Anil Radhakrishnan,
John F. Lindner,
Sudeshna Sinha,
William L. Ditto
Abstract:
Diversity conveys advantages in nature, yet homogeneous neurons typically comprise the layers of artificial neural networks. Here we construct neural networks from neurons that learn their own activation functions, quickly diversify, and subsequently outperform their homogeneous counterparts on image classification and nonlinear regression tasks. Sub-networks instantiate the neurons, which meta-le…
▽ More
Diversity conveys advantages in nature, yet homogeneous neurons typically comprise the layers of artificial neural networks. Here we construct neural networks from neurons that learn their own activation functions, quickly diversify, and subsequently outperform their homogeneous counterparts on image classification and nonlinear regression tasks. Sub-networks instantiate the neurons, which meta-learn especially efficient sets of nonlinear responses. Examples include conventional neural networks classifying digits and forecasting a van der Pol oscillator and physics-informed Hamiltonian neural networks learning Hénon-Heiles stellar orbits and the swing of a video recorded pendulum clock. Such \textit{learned diversity} provides examples of dynamical systems selecting diversity over uniformity and elucidates the role of diversity in natural and artificial systems.
△ Less
Submitted 30 August, 2023; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Stochastic aspects of crack deflection and crack path prediction in short fiber reinforced polymer matrix composites
Authors:
Andreas Ricoeur,
Felix Lindner,
Konstantin Zarjov
Abstract:
Owing to the production process, short fiber reinforced composites exhibit a pronounced anisotropy of both elastic properties and crack growth resistance. In particular the latter issue has a major impact on crack deflection and inevitably has to be taken into account for the sake of an accurate prediction of crack paths. The perpendicular axes of transverse isotropy are associated with the fiber…
▽ More
Owing to the production process, short fiber reinforced composites exhibit a pronounced anisotropy of both elastic properties and crack growth resistance. In particular the latter issue has a major impact on crack deflection and inevitably has to be taken into account for the sake of an accurate prediction of crack paths. The perpendicular axes of transverse isotropy are associated with the fiber orientations, whereupon a crack in transverse direction encounters the largest fracture toughness. While the local mean fiber orientations in polymer matrix composites are determined by the injection molding process, their statistical fluctuations can approximately be described in terms of Gaussian random field models. Furthermore, statistical variations of the volume fraction of fibers and the fiber-matrix adhesion give rise to stochasticity of the local ratio of fracture toughness anisotropy. Influencing factors of prediction regions of crack paths obtained from finite element simulations with an adapted J-integral deflection criterion are investigated, just as stochastic aspects of bifurcation phenomena of crack deflection observed under mode-I loading.
△ Less
Submitted 5 February, 2022;
originally announced February 2022.
-
preCICE v2: A Sustainable and User-Friendly Coupling Library
Authors:
Gerasimos Chourdakis,
Kyle Davis,
Benjamin Rodenberg,
Miriam Schulte,
Frédéric Simonis,
Benjamin Uekermann,
Georg Abrams,
Hans-Joachim Bungartz,
Lucia Cheung Yau,
Ishaan Desai,
Konrad Eder,
Richard Hertrich,
Florian Lindner,
Alexander Rusch,
Dmytro Sashko,
David Schneider,
Amin Totounferoush,
Dominik Volland,
Peter Vollmer,
Oguz Ziya Koseomur
Abstract:
preCICE is a free/open-source coupling library. It enables creating partitioned multi-physics simulations by gluing together separate software packages. This paper summarizes the development efforts in preCICE of the past five years. During this time span, we have turned the software from a working prototype -- sophisticated numerical coupling methods and scalability on ten thousands of compute co…
▽ More
preCICE is a free/open-source coupling library. It enables creating partitioned multi-physics simulations by gluing together separate software packages. This paper summarizes the development efforts in preCICE of the past five years. During this time span, we have turned the software from a working prototype -- sophisticated numerical coupling methods and scalability on ten thousands of compute cores -- to a sustainable and user-friendly software project with a steadily-growing community. Today, we know through forum discussions, conferences, workshops, and publications of more than 100 research groups using preCICE. We cover the fundamentals of the software alongside a performance and accuracy analysis of different data map** methods. Afterwards, we describe ready-to-use integration with widely-used external simulation software packages, tests and continuous integration from unit to system level, and community building measures, drawing an overview of the current preCICE ecosystem.
△ Less
Submitted 30 September, 2021; v1 submitted 29 September, 2021;
originally announced September 2021.
-
Accelerating the Learning of TAMER with Counterfactual Explanations
Authors:
Jakob Karalus,
Felix Lindner
Abstract:
The capability to interactively learn from human feedback would enable agents in new settings. For example, even novice users could train service robots in new tasks naturally and interactively. Human-in-the-loop Reinforcement Learning (HRL) combines human feedback and Reinforcement Learning (RL) techniques. State-of-the-art interactive learning techniques suffer from slow learning speed, thus lea…
▽ More
The capability to interactively learn from human feedback would enable agents in new settings. For example, even novice users could train service robots in new tasks naturally and interactively. Human-in-the-loop Reinforcement Learning (HRL) combines human feedback and Reinforcement Learning (RL) techniques. State-of-the-art interactive learning techniques suffer from slow learning speed, thus leading to a frustrating experience for the human. We approach this problem by extending the HRL framework TAMER for evaluative feedback with the possibility to enhance human feedback with two different types of counterfactual explanations (action and state based). We experimentally show that our extensions improve the speed of learning.
△ Less
Submitted 27 July, 2022; v1 submitted 3 August, 2021;
originally announced August 2021.
-
Charge-state resolved laser acceleration of gold ions to beyond 7 MeV/u
Authors:
F. H. Lindner,
E. G. Fitzpatrick,
D. Haffa,
L. Ponnath,
A. -K. Schmidt,
M. Speicher,
B. Zielbauer,
J. Schreiber,
P. G. Thirolf
Abstract:
In the past years, the interest in the laser-driven acceleration of heavy ions in the mass range of A ~ 200 has been increasing due to promising application ideas like the fission-fusion nuclear reaction mechanism, aiming at the production of neutron-rich isotopes relevant for the astrophysical r-process nucleosynthesis. In this paper, we report on the laser acceleration of gold ions to beyond 7 M…
▽ More
In the past years, the interest in the laser-driven acceleration of heavy ions in the mass range of A ~ 200 has been increasing due to promising application ideas like the fission-fusion nuclear reaction mechanism, aiming at the production of neutron-rich isotopes relevant for the astrophysical r-process nucleosynthesis. In this paper, we report on the laser acceleration of gold ions to beyond 7 MeV/u, exceeding for the first time an important prerequisite for this nuclear reaction scheme. Moreover, the gold ion charge states have been detected with an unprecedented resolution, which enables the separation of individual charge states up to 4 MeV/u. The recorded charge-state distributions show a remarkable dependency on the target foil thickness and differ from simulations, lacking a straight-forward explanation by the established ionization models.
△ Less
Submitted 29 April, 2021;
originally announced April 2021.
-
The EMPATHIC Project: Building an Expressive, Advanced Virtual Coach to Improve Independent Healthy-Life-Years of the Elderly
Authors:
Luisa Brinkschulte,
Natascha Mariacher,
Stephan Schlögl,
María Inés Torres,
Raquel Justo,
Javier Mikel Olaso,
Anna Esposito,
Gennaro Cordasco,
Gérard Chollet,
Cornelius Glackin,
Colin Pickard,
Dijana Petrovska-Delacretaz,
Mohamed Amine Hmani,
Ayment Mtibaa,
Anaïs Fernandez,
Daria Kyslitska,
Begoña Fernandez-Ruanova,
Jofre Tenorio-Laranga,
Mari Aksnes,
Maria Stylianou Korsnes,
Miriam Reiner,
Fredrik Lindner,
Olivier Deroo,
Olga Gordeeva
Abstract:
This paper outlines the EMPATHIC Research & Innovation project, which aims to research, innovate, explore and validate new interaction paradigms and plat-forms for future generations of Personalized Virtual Coaches to assist elderly people living independently at and around their home. Innovative multimodal face analytics, adaptive spoken dialogue systems, and natural language inter-faces are part…
▽ More
This paper outlines the EMPATHIC Research & Innovation project, which aims to research, innovate, explore and validate new interaction paradigms and plat-forms for future generations of Personalized Virtual Coaches to assist elderly people living independently at and around their home. Innovative multimodal face analytics, adaptive spoken dialogue systems, and natural language inter-faces are part of what the project investigates and innovates, aiming to help dependent aging persons and their carers. It will uses remote, non-intrusive technologies to extract physiological markers of emotional states and adapt respective coach responses. In doing so, it aims to develop causal models for emotionally believable coach-user interactions, which shall engage elders and thus keep off loneliness, sustain health, enhance quality of life, and simplify access to future telecare services. Through measurable end-user validations performed in Spain, Norway and France (and complementary user evaluations in Italy), the proposed methods and solutions will have to demonstrate useful-ness, reliability, flexibility and robustness.
△ Less
Submitted 28 April, 2021;
originally announced April 2021.
-
Forecasting Hamiltonian dynamics without canonical coordinates
Authors:
Anshul Choudhary,
John F. Lindner,
Elliott G. Holliday,
Scott T. Miller,
Sudeshna Sinha,
William L. Ditto
Abstract:
Conventional neural networks are universal function approximators, but because they are unaware of underlying symmetries or physical laws, they may need impractically many training data to approximate nonlinear dynamics. Recently introduced Hamiltonian neural networks can efficiently learn and forecast dynamical systems that conserve energy, but they require special inputs called canonical coordin…
▽ More
Conventional neural networks are universal function approximators, but because they are unaware of underlying symmetries or physical laws, they may need impractically many training data to approximate nonlinear dynamics. Recently introduced Hamiltonian neural networks can efficiently learn and forecast dynamical systems that conserve energy, but they require special inputs called canonical coordinates, which may be hard to infer from data. Here we significantly expand the scope of such networks by demonstrating a simple way to train them with any set of generalised coordinates, including easily observable ones.
△ Less
Submitted 28 October, 2020;
originally announced October 2020.
-
The RESOLVE project: a multi-physics experiment with a temporary dense seismic array on the Argentière Glacier, French Alps
Authors:
Florent Gimbert,
Ugo Nanni,
Philippe Roux,
Agnés Helmstetter,
Stéphane Garambois,
Albanne Lecointre,
Andrea Walpersdorf,
Bruno Jourdain,
Mickael Langlais,
Olivier Larman,
Fabian Lindner,
Amandine Sergeant,
Christian Vincent,
Fabian Walter
Abstract:
Recent work in the field of cryo-seismology demonstrates that high frequency (>1 Hz) waves provide key constraints on a wide range of glacier processes such as basal friction, surface crevassing or subglacial water flow. Establishing quantitative links between the seismic signal and the processes of interest however requires detailed characterization of the wavefield, which at the high frequencies…
▽ More
Recent work in the field of cryo-seismology demonstrates that high frequency (>1 Hz) waves provide key constraints on a wide range of glacier processes such as basal friction, surface crevassing or subglacial water flow. Establishing quantitative links between the seismic signal and the processes of interest however requires detailed characterization of the wavefield, which at the high frequencies of interest necessitates the deployment of large and particularly dense seismic arrays. Although dense seismic array monitoring has recently become routine in geophysics, its application to glaciated environments has yet remained limited. Here we present a dense seismic array experiment made of 98 3-component seismic stations continuously recording during 35 days in early spring on the Argentière Glacier, French Alps. The seismic dataset is supplemented by a wide range of complementary observations obtained from ground penetrating radar, drone imagery, GNSS positioning and in-situ instrumentation of basal glacier sliding velocities and subglacial water discharge. Through applying multiple processing techniques including event detection from template matching and systematic beamforming, we demonstrate that the present dataset provides enhanced spatial resolution on basal stick slip and englacial fracturing sources as well as novel constraints on heterogeneous nature of the noise field generated by subglacial water flow and on the link between crevasse properties and englacial seismic velocities. We finally outline in which ways further work using this dataset could help tackle key remaining questions in the field.
△ Less
Submitted 14 September, 2020;
originally announced September 2020.
-
Mastering high-dimensional dynamics with Hamiltonian neural networks
Authors:
Scott T. Miller,
John F. Lindner,
Anshul Choudhary,
Sudeshna Sinha,
William L. Ditto
Abstract:
We detail how incorporating physics into neural network design can significantly improve the learning and forecasting of dynamical systems, even nonlinear systems of many dimensions. A map building perspective elucidates the superiority of Hamiltonian neural networks over conventional neural networks. The results clarify the critical relation between data, dimension, and neural network learning pe…
▽ More
We detail how incorporating physics into neural network design can significantly improve the learning and forecasting of dynamical systems, even nonlinear systems of many dimensions. A map building perspective elucidates the superiority of Hamiltonian neural networks over conventional neural networks. The results clarify the critical relation between data, dimension, and neural network learning performance.
△ Less
Submitted 28 July, 2020;
originally announced August 2020.
-
Towards Contrastive Explanations for Comparing the Ethics of Plans
Authors:
Benjamin Krarup,
Senka Krivic,
Felix Lindner,
Derek Long
Abstract:
The development of robotics and AI agents has enabled their wider usage in human surroundings. AI agents are more trusted to make increasingly important decisions with potentially critical outcomes. It is essential to consider the ethical consequences of the decisions made by these systems. In this paper, we present how contrastive explanations can be used for comparing the ethics of plans. We bui…
▽ More
The development of robotics and AI agents has enabled their wider usage in human surroundings. AI agents are more trusted to make increasingly important decisions with potentially critical outcomes. It is essential to consider the ethical consequences of the decisions made by these systems. In this paper, we present how contrastive explanations can be used for comparing the ethics of plans. We build upon an existing ethical framework to allow users to make suggestions to plans and receive contrastive explanations.
△ Less
Submitted 22 June, 2020;
originally announced June 2020.
-
Physics enhanced neural networks predict order and chaos
Authors:
Anshul Choudhary,
John F. Lindner,
Elliott G. Holliday,
Scott T. Miller,
Sudeshna Sinha,
William L. Ditto
Abstract:
Conventional artificial neural networks are powerful tools in science and industry, but they can fail when applied to nonlinear systems where order and chaos coexist. We use neural networks that incorporate the structures and symmetries of Hamiltonian dynamics to predict phase space trajectories even as nonlinear systems transition from order to chaos. We demonstrate Hamiltonian neural networks on…
▽ More
Conventional artificial neural networks are powerful tools in science and industry, but they can fail when applied to nonlinear systems where order and chaos coexist. We use neural networks that incorporate the structures and symmetries of Hamiltonian dynamics to predict phase space trajectories even as nonlinear systems transition from order to chaos. We demonstrate Hamiltonian neural networks on the canonical Henon-Heiles system, which models diverse dynamics from astrophysics to chemistry. The power of the technique and the ubiquity of chaos suggest widespread utility.
△ Less
Submitted 26 November, 2019;
originally announced December 2019.
-
Strong convergence rates on the whole probability space for space-time discrete numerical approximation schemes for stochastic Burgers equations
Authors:
Martin Hutzenthaler,
Arnulf Jentzen,
Felix Lindner,
Primož Pušnik
Abstract:
The main result of this article establishes strong convergence rates on the whole probability space for explicit space-time discrete numerical approximations for a class of stochastic evolution equations with possibly non-globally monotone coefficients such as stochastic Burgers equations with additive trace-class noise. The key idea in the proof of our main result is (i) to bring the classical Al…
▽ More
The main result of this article establishes strong convergence rates on the whole probability space for explicit space-time discrete numerical approximations for a class of stochastic evolution equations with possibly non-globally monotone coefficients such as stochastic Burgers equations with additive trace-class noise. The key idea in the proof of our main result is (i) to bring the classical Alekseev-Gröbner formula from deterministic analysis into play and (ii) to employ uniform exponential moment estimates for the numerical approximations.
△ Less
Submitted 13 January, 2020; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Spatial Sobolev regularity for stochastic Burgers equations with additive trace class noise
Authors:
Arnulf Jentzen,
Felix Lindner,
Primož Pušnik
Abstract:
In this article we investigate the spatial Sobolev regularity of mild solutions to stochastic Burgers equations with additive trace class noise. Our findings are based on a combination of suitable bootstrap-type arguments and a detailed analysis of the nonlinearity in the equation.
In this article we investigate the spatial Sobolev regularity of mild solutions to stochastic Burgers equations with additive trace class noise. Our findings are based on a combination of suitable bootstrap-type arguments and a detailed analysis of the nonlinearity in the equation.
△ Less
Submitted 16 August, 2019;
originally announced August 2019.
-
Strong and weak divergence of exponential and linear-implicit Euler approximations for stochastic partial differential equations with superlinearly growing nonlinearities
Authors:
Matteo Beccari,
Martin Hutzenthaler,
Arnulf Jentzen,
Ryan Kurniawan,
Felix Lindner,
Diyora Salimova
Abstract:
The explicit Euler scheme and similar explicit approximation schemes (such as the Milstein scheme) are known to diverge strongly and numerically weakly in the case of one-dimensional stochastic ordinary differential equations with superlinearly growing nonlinearities. It remained an open question whether such a divergence phenomenon also holds in the case of stochastic partial differential equatio…
▽ More
The explicit Euler scheme and similar explicit approximation schemes (such as the Milstein scheme) are known to diverge strongly and numerically weakly in the case of one-dimensional stochastic ordinary differential equations with superlinearly growing nonlinearities. It remained an open question whether such a divergence phenomenon also holds in the case of stochastic partial differential equations with superlinearly growing nonlinearities such as stochastic Allen-Cahn equations. In this work we solve this problem by proving that full-discrete exponential Euler and full-discrete linear-implicit Euler approximations diverge strongly and numerically weakly in the case of stochastic Allen-Cahn equations. This article also contains a short literature overview on existing numerical approximation results for stochastic differential equations with superlinearly growing nonlinearities.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
Weak convergence rates for temporal numerical approximations of stochastic wave equations with multiplicative noise
Authors:
Sonja Cox,
Arnulf Jentzen,
Felix Lindner
Abstract:
In this work we establish weak convergence rates for temporal discretisations of stochastic wave equations with multiplicative noise, in particular, for the hyperbolic Anderson model. For this class of stochastic partial differential equations the weak convergence rates we obtain are indeed twice the known strong rates. To the best of our knowledge, our findings are the first in the scientific lit…
▽ More
In this work we establish weak convergence rates for temporal discretisations of stochastic wave equations with multiplicative noise, in particular, for the hyperbolic Anderson model. For this class of stochastic partial differential equations the weak convergence rates we obtain are indeed twice the known strong rates. To the best of our knowledge, our findings are the first in the scientific literature which provide essentially sharp weak convergence rates for temporal discretisations of stochastic wave equations with multiplicative noise. Key ideas of our proof are a sophisticated splitting of the error and applications of the recently introduced mild Itô formula. We complement our analytical findings by means of numerical simulations in Python for the decay of the weak approximation error for SPDEs for four different test functions.
△ Less
Submitted 23 May, 2024; v1 submitted 16 January, 2019;
originally announced January 2019.
-
Exponential moment bounds and strong convergence rates for tamed-truncated numerical approximations of stochastic convolutions
Authors:
Arnulf Jentzen,
Felix Lindner,
Primož Pušnik
Abstract:
In this article we establish exponential moment bounds, moment bounds in fractional order smoothness spaces, a uniform Hölder continuity in time, and strong convergence rates for a class of fully discrete exponential Euler-type numerical approximations of infinite dimensional stochastic convolution processes. The considered approximations involve specific taming and truncation terms and are theref…
▽ More
In this article we establish exponential moment bounds, moment bounds in fractional order smoothness spaces, a uniform Hölder continuity in time, and strong convergence rates for a class of fully discrete exponential Euler-type numerical approximations of infinite dimensional stochastic convolution processes. The considered approximations involve specific taming and truncation terms and are therefore well suited to be used in the context of SPDEs with non-globally Lipschitz continuous nonlinearities.
△ Less
Submitted 12 December, 2018;
originally announced December 2018.
-
En-route to the fission-fusion reaction mechanism: a status update on laser-driven heavy ion acceleration
Authors:
F. H. Lindner,
E. McCary,
X. Jiao,
T. M. Ostermayr,
R. Roycroft,
G. Tiwari,
B. M. Hegelich,
J. Schreiber,
P. G. Thirolf
Abstract:
The fission-fusion reaction mechanism was proposed in order to generate extremely neutron-rich nuclei close to the waiting point N = 126 of the rapid neutron capture nucleosynthesis process (r-process). The production of such isotopes and the measurement of their nuclear properties would fundamentally help to increase the understanding of the nucleosynthesis of the heaviest elements in the univers…
▽ More
The fission-fusion reaction mechanism was proposed in order to generate extremely neutron-rich nuclei close to the waiting point N = 126 of the rapid neutron capture nucleosynthesis process (r-process). The production of such isotopes and the measurement of their nuclear properties would fundamentally help to increase the understanding of the nucleosynthesis of the heaviest elements in the universe. Major prerequisite for the realization of this new reaction scheme is the development of laser-based acceleration of ultra-dense heavy ion bunches in the mass range of A = 200 and above. In this paper, we review the status of laser-driven heavy ion acceleration in the light of the fission-fusion reaction mechanism. We present results from our latest experiment on heavy ion acceleration, including a new milestone with laser-accelerated heavy ion energies exceeding 5 MeV/u.
△ Less
Submitted 24 January, 2019; v1 submitted 16 November, 2018;
originally announced November 2018.
-
A novel approach to electron data background treatment in an online wide-angle spectrometer for laser-accelerated ion and electron bunches
Authors:
F. H. Lindner,
J. H. Bin,
F. Englbrecht,
D. Haffa,
P. R. Bolton,
Y. Gao,
J. Hartmann,
P. Hilz,
C. Kreuzer,
T. M. Ostermayr,
T. F. Rösch,
M. Speicher,
K. Parodi,
P. G. Thirolf,
J. Schreiber
Abstract:
Laser-based ion acceleration is driven by electrical fields emerging when target electrons absorb laser energy and consecutively leave the target material. A direct correlation between these electrons and the accelerated ions is thus to be expected and predicted by theoretical models. We report on a modified wide-angle spectrometer allowing the simultaneous characterization of angularly resolved e…
▽ More
Laser-based ion acceleration is driven by electrical fields emerging when target electrons absorb laser energy and consecutively leave the target material. A direct correlation between these electrons and the accelerated ions is thus to be expected and predicted by theoretical models. We report on a modified wide-angle spectrometer allowing the simultaneous characterization of angularly resolved energy distributions of both ions and electrons. Equipped with online pixel detectors, the RadEye1 detectors, the investigation of this correlation gets attainable on a single shot basis. In addition to first insights, we present a novel approach for reliably extracting the primary electron energy distribution from the interfering secondary radiation background. This proves vitally important for quantitative extraction of average electron energies (temperatures) and emitted total charge.
△ Less
Submitted 14 November, 2018;
originally announced November 2018.
-
On the Alekseev-Gröbner formula in Banach spaces
Authors:
Arnulf Jentzen,
Felix Lindner,
Primož Pušnik
Abstract:
The Alekseev-Gröbner formula is a well known tool in numerical analysis for describing the effect that a perturbation of an ordinary differential equation (ODE) has on its solution. In this article we provide an extension of the Alekseev-Gröbner formula for Banach space valued ODEs under, loosely speaking, mild conditions on the perturbation of the considered ODEs.
The Alekseev-Gröbner formula is a well known tool in numerical analysis for describing the effect that a perturbation of an ordinary differential equation (ODE) has on its solution. In this article we provide an extension of the Alekseev-Gröbner formula for Banach space valued ODEs under, loosely speaking, mild conditions on the perturbation of the considered ODEs.
△ Less
Submitted 23 October, 2018;
originally announced October 2018.
-
I-BEAT: New ultrasonic method for single bunch measurement of ion energy distribution
Authors:
Daniel Haffa,
Rong Yang,
Jianhui Bin,
Sebastian Lehrack,
Florian-Emanuel Brack,
Hao Ding,
Franz Englbrecht,
Ying Gao,
Johannes Gebhard,
Max Gilljohann,
Johannes Götzfried,
Jens Hartmann,
Sebastian Herr,
Peter Hilz,
Stephan D. Kraft,
Christian Kreuzer,
Florian Kroll,
Florian H. Lindner,
Josefine Metzkes,
Tobias M. Ostermayr,
Enrico Ridente,
Thomas F. Rösch,
Gregor Schilling,
Hans-Peter Schlenvoigt,
Martin Speicher
, et al. (9 additional authors not shown)
Abstract:
The shape of a wave carries all information about the spatial and temporal structure of its source, given that the medium and its properties are known. Most modern imaging methods seek to utilize this nature of waves originating from Huygens' principle. We discuss the retrieval of the complete kinetic energy distribution from the acoustic trace that is recorded when a short ion bunch deposits its…
▽ More
The shape of a wave carries all information about the spatial and temporal structure of its source, given that the medium and its properties are known. Most modern imaging methods seek to utilize this nature of waves originating from Huygens' principle. We discuss the retrieval of the complete kinetic energy distribution from the acoustic trace that is recorded when a short ion bunch deposits its energy in water. This novel method, which we refer to as Ion-Bunch Energy Acoustic Tracing (I-BEAT), is a generalization of the ionoacoustic approach. Featuring compactness, simple operation, indestructibility and high dynamic ranges in energy and intensity, I-BEAT is a promising approach to meet the needs of petawatt-class laser-based ion accelerators. With its capability of completely monitoring a single, focused proton bunch with prompt readout it, is expected to have particular impact for experiments and applications using ultrashort ion bunches in high flux regimes. We demonstrate its functionality using it with two laser-driven ion sources for quantitative determination of the kinetic energy distribution of single, focused proton bunches.
△ Less
Submitted 7 September, 2018;
originally announced September 2018.
-
Malliavin regularity and weak approximation of semilinear SPDE with Lévy noise
Authors:
Adam Andersson,
Felix Lindner
Abstract:
We investigate the weak order of convergence for space-time discrete approximations of semilinear parabolic stochastic evolution equations driven by additive square-integrable Lévy noise. To this end, the Malliavin regularity of the solution is analyzed and recent results on refined Malliavin-Sobolev spaces from the Gaussian setting are extended to a Poissonian setting. For a class of path-depende…
▽ More
We investigate the weak order of convergence for space-time discrete approximations of semilinear parabolic stochastic evolution equations driven by additive square-integrable Lévy noise. To this end, the Malliavin regularity of the solution is analyzed and recent results on refined Malliavin-Sobolev spaces from the Gaussian setting are extended to a Poissonian setting. For a class of path-dependent test functions, we obtain that the weak rate of convergence is twice the strong rate.
△ Less
Submitted 26 August, 2018;
originally announced August 2018.
-
A Formalization of Kant's Second Formulation of the Categorical Imperative
Authors:
Felix Lindner,
Martin Mose Bentzen
Abstract:
We present a formalization and computational implementation of the second formulation of Kant's categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, goal…
▽ More
We present a formalization and computational implementation of the second formulation of Kant's categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, goals, and causal influence are represented, and we show how to formalize several readings of Kant's categorical imperative that correspond to Kant's concept of strict and wide duties towards oneself and others. Stricter versions handle cases where an action directly causally affects oneself or others, whereas the wide version maximizes the number of persons being treated as an end. We discuss limitations of our formalization by pointing to one of Kant's cases that the machinery cannot handle in a satisfying way.
△ Less
Submitted 11 July, 2019; v1 submitted 9 January, 2018;
originally announced January 2018.
-
Strong convergence of a half-explicit Euler scheme for constrained stochastic mechanical systems
Authors:
Felix Lindner,
Holger Stroot
Abstract:
This paper is concerned with the numerical approximation of stochastic mechanical systems with nonlinear holonomic constraints. Such systems are described by second order stochastic differential-algebraic equations involving an implicitly given Lagrange multiplier process. The explicit representation of the Lagrange multiplier leads to an underlying stochastic ordinary differential equation, the d…
▽ More
This paper is concerned with the numerical approximation of stochastic mechanical systems with nonlinear holonomic constraints. Such systems are described by second order stochastic differential-algebraic equations involving an implicitly given Lagrange multiplier process. The explicit representation of the Lagrange multiplier leads to an underlying stochastic ordinary differential equation, the drift coefficient of which is typically not globally one-sided Lipschitz continuous. We investigate a half-explicit drift-truncated Euler scheme which fulfills the constraint exactly. Pathwise uniform $L_p$-convergence is established. The proof is based on a suitable decomposition of the discrete Lagrange multipliers and on norm estimates for the single components, enabling the verification of consistency, semi-stability and moment growth properties of the scheme. To the best of our knowledge, the presented result is the first strong convergence result for a constraint-preserving scheme in the considered setting.
△ Less
Submitted 22 September, 2017;
originally announced September 2017.
-
Finite numbers of initial ideals in non-Noetherian polynomial rings
Authors:
Felicitas Lindner
Abstract:
In this article, we generalize the well-known result that ideals of Noetherian polynomial rings have only finitely many initial ideals to the situation of ascending ideal chains in non-Noetherian polynomial rings. More precisely, we study ideal chains in the polynomial ring $R=K[x_{i,j}\,|\,1\leq i\leq c,j\in N]$ that are invariant under the action of the monoid $Inc(N)$ of strictly increasing fun…
▽ More
In this article, we generalize the well-known result that ideals of Noetherian polynomial rings have only finitely many initial ideals to the situation of ascending ideal chains in non-Noetherian polynomial rings. More precisely, we study ideal chains in the polynomial ring $R=K[x_{i,j}\,|\,1\leq i\leq c,j\in N]$ that are invariant under the action of the monoid $Inc(N)$ of strictly increasing functions on $N$, which acts on $R$ by shifting the second variable index. We show that for every such ideal chain, the number of initial ideal chains with respect to term orders on $R$ that are compatible with the action of $Inc(N)$ is finite. As a consequence of this, we will see that $Inc(N)$-invariant ideals of $R$ have only finitely many initial ideals with respect to $Inc(N)$-compatible term orders. The article also addresses the question of how many such term orders exist. We give a complete list of the $Inc(N)$-compatible term orders for the case $c=1$ and show that there are infinitely many for $c >1$. This answers a question by Hillar, Kroner, Leykin.
△ Less
Submitted 25 August, 2017;
originally announced August 2017.
-
Poisson Malliavin calculus in Hilbert space with an application to SPDE
Authors:
Adam Andersson,
Felix Lindner
Abstract:
In this paper we introduce a Hilbert space-valued Malliavin calculus for Poisson random measures. It is solely based on elementary principles from the theory of point processes and basic moment estimates, and thus allows for a simple treatment of the Malliavin operators. The main part of the theory is developed for general Poisson random measures, defined on a $σ$-finite measure space, with minima…
▽ More
In this paper we introduce a Hilbert space-valued Malliavin calculus for Poisson random measures. It is solely based on elementary principles from the theory of point processes and basic moment estimates, and thus allows for a simple treatment of the Malliavin operators. The main part of the theory is developed for general Poisson random measures, defined on a $σ$-finite measure space, with minimal conditions. The theory is shown to apply to a space-time setting, suitable for studying stochastic partial differential equations. As an application, we analyze the weak order of convergence of space-time approximations for a class of linear equations with $α$-stable noise, $α\in(1,2)$. For a suitable class of test functions, the weak order of convergence is found to be $α$ times the strong order.
△ Less
Submitted 21 March, 2017;
originally announced March 2017.
-
The Scalability-Efficiency/Maintainability-Portability Trade-off in Simulation Software Engineering: Examples and a Preliminary Systematic Literature Review
Authors:
Dirk Pflüger,
Miriam Mehl,
Julian Valentin,
Florian Lindner,
David Pfander,
Stefan Wagner,
Daniel Graziotin,
Yang Wang
Abstract:
Large-scale simulations play a central role in science and the industry. Several challenges occur when building simulation software, because simulations require complex software developed in a dynamic construction process. That is why simulation software engineering (SSE) is emerging lately as a research focus. The dichotomous trade-off between scalability and efficiency (SE) on the one hand and m…
▽ More
Large-scale simulations play a central role in science and the industry. Several challenges occur when building simulation software, because simulations require complex software developed in a dynamic construction process. That is why simulation software engineering (SSE) is emerging lately as a research focus. The dichotomous trade-off between scalability and efficiency (SE) on the one hand and maintainability and portability (MP) on the other hand is one of the core challenges. We report on the SE/MP trade-off in the context of an ongoing systematic literature review (SLR). After characterizing the issue of the SE/MP trade-off using two examples from our own research, we (1) review the 33 identified articles that assess the trade-off, (2) summarize the proposed solutions for the trade-off, and (3) discuss the findings for SSE and future work. Overall, we see evidence for the SE/MP trade-off and first solution approaches. However, a strong empirical foundation has yet to be established; general quantitative metrics and methods supporting software developers in addressing the trade-off have to be developed. We foresee considerable future work in SSE across scientific communities.
△ Less
Submitted 5 October, 2016; v1 submitted 15 August, 2016;
originally announced August 2016.
-
An $L_p$-estimate for the stochastic heat equation on an angular domain in $\mathbb{R}^2$
Authors:
Petru A. Cioica-Licht,
Kyeong-Hun Kim,
Kijung Lee,
Felix Lindner
Abstract:
We prove a weighted $L_p$-estimate for the stochastic convolution associated to the stochastic heat equation with zero Dirichlet boundary condition on a planar angular domain $\mathcal{D}_{κ_0}\subset\mathbb{R}^2$ with angle $κ_0\in(0,2π)$. Furthermore, we use this estimate to establish existence and uniqueness of a solution to the corresponding equation in suitable weighted $L_p$-Sobolev spaces.…
▽ More
We prove a weighted $L_p$-estimate for the stochastic convolution associated to the stochastic heat equation with zero Dirichlet boundary condition on a planar angular domain $\mathcal{D}_{κ_0}\subset\mathbb{R}^2$ with angle $κ_0\in(0,2π)$. Furthermore, we use this estimate to establish existence and uniqueness of a solution to the corresponding equation in suitable weighted $L_p$-Sobolev spaces. In order to capture the singular behaviour of the solution and its derivatives at the vertex, we use powers of the distance to the vertex as weight functions. The admissible range of weight parameters depends explicitly on the angle $κ_0$.
△ Less
Submitted 20 October, 2016; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Weak error analysis via functional Itô calculus
Authors:
Mihály Kovács,
Felix Lindner
Abstract:
We consider autonomous stochastic ordinary differential equations (SDEs) and weak approximations of their solutions for a general class of sufficiently smooth path-dependent functionals f. Based on tools from functional Itô calculus, such as the functional Itô formula and functional Kolmogorov equation, we derive a general representation formula for the weak error $E(f(X_T)-f(\tilde X_T))$, where…
▽ More
We consider autonomous stochastic ordinary differential equations (SDEs) and weak approximations of their solutions for a general class of sufficiently smooth path-dependent functionals f. Based on tools from functional Itô calculus, such as the functional Itô formula and functional Kolmogorov equation, we derive a general representation formula for the weak error $E(f(X_T)-f(\tilde X_T))$, where $X_T$ and $\tilde X_T$ are the paths of the solution process and its approximation up to time T. The functional $f:C([0,T],R^d)\to R$ is assumed to be twice continuously Fréchet differentiable with derivatives of polynomial growth. The usefulness of the formula is demonstrated in the one dimensional setting by showing that if the solution to the SDE is approximated via the linearly time-interpolated explicit Euler method, then the rate of weak convergence for sufficiently regular f is 1.
△ Less
Submitted 14 June, 2016; v1 submitted 29 March, 2016;
originally announced March 2016.
-
Stochastic fiber dynamics in a spatially semi-discrete setting
Authors:
Felix Lindner,
Nicole Marheineke,
Holger Stroot,
Alexander Vibe,
Raimund Wegener
Abstract:
We investigate a spatially discrete surrogate model for the dynamics of a slender, elastic, inextensible fiber in turbulent flows. Deduced from a continuous space-time beam model for which no solution theory is available, it consists of a high-dimensional second order stochastic differential equation in time with a nonlinear algebraic constraint and an associated Lagrange multiplier term. We estab…
▽ More
We investigate a spatially discrete surrogate model for the dynamics of a slender, elastic, inextensible fiber in turbulent flows. Deduced from a continuous space-time beam model for which no solution theory is available, it consists of a high-dimensional second order stochastic differential equation in time with a nonlinear algebraic constraint and an associated Lagrange multiplier term. We establish a suitable framework for the rigorous formulation and analysis of the semi-discrete model and prove existence and uniqueness of a global strong solution. The proof is based on an explicit representation of the Lagrange multiplier and on the observation that the obtained explicit drift term in the equation satisfies a one-sided linear growth condition on the constraint manifold. The theoretical analysis is complemented by numerical studies concerning the time discretization of our model. The performance of implicit Euler-type methods can be improved when using the explicit representation of the Lagrange multiplier to compute refined initial estimates for the Newton method applied in each time step.
△ Less
Submitted 16 February, 2016; v1 submitted 18 January, 2016;
originally announced January 2016.
-
Simple nonlinear models suggest variable star universality
Authors:
John F. Lindner,
Vivek Kohar,
Behnam Kia,
Michael Hippke,
John G. Learned,
William L. Ditto
Abstract:
Dramatically improved data from observatories like the CoRoT and Kepler spacecraft have recently facilitated nonlinear time series analysis and phenomenological modeling of variable stars, including the search for strange (aka fractal) or chaotic dynamics. We recently argued [Lindner et al., Phys. Rev. Lett. 114 (2015) 054101] that the Kepler data includes "golden" stars, whose luminosities vary q…
▽ More
Dramatically improved data from observatories like the CoRoT and Kepler spacecraft have recently facilitated nonlinear time series analysis and phenomenological modeling of variable stars, including the search for strange (aka fractal) or chaotic dynamics. We recently argued [Lindner et al., Phys. Rev. Lett. 114 (2015) 054101] that the Kepler data includes "golden" stars, whose luminosities vary quasiperiodically with two frequencies nearly in the golden ratio, and whose secondary frequencies exhibit power-law scaling with exponent near -1.5, suggesting strange nonchaotic dynamics and singular spectra. Here we use a series of phenomenological models to make plausible the connection between golden stars and fractal spectra. We thereby suggest that at least some features of variable star dynamics reflect universal nonlinear phenomena common to even simple systems.
△ Less
Submitted 15 October, 2015;
originally announced October 2015.
-
On the convergence analysis of the inexact linearly implicit Euler scheme for a class of SPDEs
Authors:
Petru A. Cioica,
Stephan Dahlke,
Nicolas Döhring,
Ulrich Friedrich,
Stefan Kinzel,
Felix Lindner,
Thorsten Raasch,
Klaus Ritter,
René L. Schilling
Abstract:
This paper is concerned with the adaptive numerical treatment of stochastic partial differential equations. Our method of choice is Rothe's method. We use the implicit Euler scheme for the time discretization. Consequently, in each step, an elliptic equation with random right-hand side has to be solved. In practice, this cannot be performed exactly, so that efficient numerical methods are needed.…
▽ More
This paper is concerned with the adaptive numerical treatment of stochastic partial differential equations. Our method of choice is Rothe's method. We use the implicit Euler scheme for the time discretization. Consequently, in each step, an elliptic equation with random right-hand side has to be solved. In practice, this cannot be performed exactly, so that efficient numerical methods are needed. Well-established adaptive wavelet or finite-element schemes, which are guaranteed to converge with optimal order, suggest themselves. We investigate how the errors corresponding to the adaptive spatial discretization propagate in time, and we show how in each time step the tolerances have to be chosen such that the resulting perturbed discretization scheme realizes the same order of convergence as the one with exact evaluations of the elliptic subproblems.
△ Less
Submitted 23 January, 2015;
originally announced January 2015.
-
Strange nonchaotic stars
Authors:
John F. Lindner,
Vivek Kohar,
Behnam Kia,
Michael Hippke,
John G. Learned,
William L. Ditto
Abstract:
The unprecedented light curves of the Kepler space telescope document how the brightness of some stars pulsates at primary and secondary frequencies whose ratios are near the golden mean, the most irrational number. A nonlinear dynamical system driven by an irrational ratio of frequencies generically exhibits a strange but nonchaotic attractor. For Kepler's "golden" stars, we present evidence of t…
▽ More
The unprecedented light curves of the Kepler space telescope document how the brightness of some stars pulsates at primary and secondary frequencies whose ratios are near the golden mean, the most irrational number. A nonlinear dynamical system driven by an irrational ratio of frequencies generically exhibits a strange but nonchaotic attractor. For Kepler's "golden" stars, we present evidence of the first observation of strange nonchaotic dynamics in nature outside the laboratory. This discovery could aid the classification and detailed modeling of variable stars.
△ Less
Submitted 4 February, 2015; v1 submitted 8 January, 2015;
originally announced January 2015.
-
Weak convergence of finite element approximations of linear stochastic evolution equations with additive Lévy noise
Authors:
Mihály Kovács,
Felix Lindner,
René L. Schilling
Abstract:
We present an abstract framework to study weak convergence of numerical approximations of linear stochastic partial differential equations driven by additive Lévy noise. We first derive a representation formula for the error which we then apply to study space-time discretizations of the stochastic heat equation, a Volterra-type integro-differential equation, and the wave equation as examples. For…
▽ More
We present an abstract framework to study weak convergence of numerical approximations of linear stochastic partial differential equations driven by additive Lévy noise. We first derive a representation formula for the error which we then apply to study space-time discretizations of the stochastic heat equation, a Volterra-type integro-differential equation, and the wave equation as examples. For twice continuously differentiable test functions with bounded second derivative (with an additional condition on the second derivative for the wave equation) the weak rate of convergence is found to be twice the strong rate. The results extend earlier work by two of the authors as we consider general square-integrable infinite-dimensional Lévy processes and do not require boundedness of the test functions and their first derivative. Furthermore, the present framework is applicable to both hyperbolic and parabolic equations, and even to stochastic Volterra integro-differential equations.
△ Less
Submitted 3 February, 2015; v1 submitted 4 November, 2014;
originally announced November 2014.
-
Coupling Reduces Noise
Authors:
Behnam Kia,
Sarvenaz Kia,
John F. Lindner,
Sudeshna Sinha,
William L. Ditto
Abstract:
We demonstrate how coupling nonlinear dynamical systems can reduce the effects of noise. For simplicity we investigate noisy coupled map lattices. Noise from different lattice nodes can diffuse across the lattice and lower the noise level of individual nodes. We develop a theoretical model that explains this observed noise evolution and show how the coupled dynamics can naturally function as an av…
▽ More
We demonstrate how coupling nonlinear dynamical systems can reduce the effects of noise. For simplicity we investigate noisy coupled map lattices. Noise from different lattice nodes can diffuse across the lattice and lower the noise level of individual nodes. We develop a theoretical model that explains this observed noise evolution and show how the coupled dynamics can naturally function as an averaging filter. Our numerical simulations are in excellent agreement with the model predictions.
△ Less
Submitted 18 September, 2014;
originally announced September 2014.
-
Pulsation period variations in the RRc Lyrae star KIC 5520878
Authors:
Michael Hippke,
John G. Learned,
A. Zee,
William H. Edmondson,
Ian R. Steven,
John F. Lindner,
Benham Kia,
William L. Ditto
Abstract:
Learned et. al. proposed that a sufficiently advanced extra-terrestrial civilization may tickle Cepheid and RR Lyrae variable stars with a neutrino beam at the right time, thus causing them to trigger early and jogging the otherwise very regular phase of their expansion and contraction. This would turn these stars into beacons to transmit information throughout the galaxy and beyond. The idea is t…
▽ More
Learned et. al. proposed that a sufficiently advanced extra-terrestrial civilization may tickle Cepheid and RR Lyrae variable stars with a neutrino beam at the right time, thus causing them to trigger early and jogging the otherwise very regular phase of their expansion and contraction. This would turn these stars into beacons to transmit information throughout the galaxy and beyond. The idea is to search for signs of phase modulation (in the regime of short pulse duration) and patterns, which could be indicative of intentional, omnidirectional signaling.
We have performed such a search among variable stars using photometric data from the Kepler space telescope. In the RRc Lyrae star KIC 5520878, we have found two such regimes of long and short pulse durations. The sequence of period lengths, expressed as time series data, is strongly auto correlated, with correlation coefficients of prime numbers being significantly higher ($p=99.8$\%). Our analysis of this candidate star shows that the prime number oddity originates from two simultaneous pulsation periods and is likely of natural origin.
Simple physical models elucidate the frequency content and asymmetries of the KIC 5520878 light curve.
Despite this SETI null result, we encourage testing other archival and future time-series photometry for signs of modulated stars. This can be done as a by-product to the standard analysis, and even partly automated.
△ Less
Submitted 23 October, 2014; v1 submitted 3 September, 2014;
originally announced September 2014.
-
Construction of KMS States in Perturbative QFT and Renormalized Hamiltonian Dynamics
Authors:
Klaus Fredenhagen,
Falk Lindner
Abstract:
We present a general construction of KMS states in the framework of perturbative algebraic quantum field theory (pAQFT). Our approach may be understood as an extension of the Schwinger-Keldysh formalism. We obtain in particular the Wightman functions at positive temperature, thus solving a problem posed some time ago by Steinmann. The notorious infrared divergences observed in a diagrammatic expan…
▽ More
We present a general construction of KMS states in the framework of perturbative algebraic quantum field theory (pAQFT). Our approach may be understood as an extension of the Schwinger-Keldysh formalism. We obtain in particular the Wightman functions at positive temperature, thus solving a problem posed some time ago by Steinmann. The notorious infrared divergences observed in a diagrammatic expansion are shown to be absent due to a consequent exploitation of the locality properties of pAQFT. To this avail, we introduce a novel, Hamiltonian description of the interacting dynamics and find, in particular, a precise relation between relativistic QFT and rigorous quantum statistical mechanics.
△ Less
Submitted 13 May, 2014; v1 submitted 27 June, 2013;
originally announced June 2013.
-
Singular Behavior of the Solution to the Stochastic Heat Equation on a Polygonal Domain
Authors:
Felix Lindner
Abstract:
We study the stochastic heat equation with trace class noise and zero Dirichlet boundary condition on a bounded polygonal domain O in R^2. It is shown that the solution u can be decomposed into a regular part u_R and a singular part u_S which incorporates the corner singularity functions for the Poisson problem. Due to the temporal irregularity of the noise, both u_R and u_S have negative L_2-Sobo…
▽ More
We study the stochastic heat equation with trace class noise and zero Dirichlet boundary condition on a bounded polygonal domain O in R^2. It is shown that the solution u can be decomposed into a regular part u_R and a singular part u_S which incorporates the corner singularity functions for the Poisson problem. Due to the temporal irregularity of the noise, both u_R and u_S have negative L_2-Sobolev regularity of order s<-1/2 in time. The regular part u_R admits spatial Sobolev regularity of order r=2, while the spatial Sobolev regularity of u_S is restricted by r<1+π/γ, where γis the largest interior angle at the boundary of O. We obtain estimates for the Sobolev norm of u_R and the Sobolev norms of the coefficients of the singularity functions. The proof is based on a Laplace transform argument w.r.t. the time variable. The result is of interest in the context of numerical methods for stochastic PDEs.
△ Less
Submitted 7 June, 2013; v1 submitted 4 May, 2013;
originally announced May 2013.
-
On the Lq(Lp)-regularity and Besov smoothness of stochastic parabolic equations on bounded Lipschitz domains
Authors:
Petru A. Cioica,
Kyeong-Hun Kim,
Kijung Lee,
Felix Lindner
Abstract:
We investigate the regularity of linear stochastic parabolic equations with zero Dirichlet boundary condition on bounded Lipschitz domains $O \subset R^d$ with both theoretical and numerical purpose. We use N.V. Krylov's framework of stochastic parabolic weighted Sobolev spaces $\mathfrak{H}^{γ,q}_{p,θ}(O;T)$. The summability parameters p and q in space and time may differ. Existence and uniquenes…
▽ More
We investigate the regularity of linear stochastic parabolic equations with zero Dirichlet boundary condition on bounded Lipschitz domains $O \subset R^d$ with both theoretical and numerical purpose. We use N.V. Krylov's framework of stochastic parabolic weighted Sobolev spaces $\mathfrak{H}^{γ,q}_{p,θ}(O;T)$. The summability parameters p and q in space and time may differ. Existence and uniqueness of solutions in these spaces is established and the Hölder regularity in time is analysed. Moreover, we prove a general embedding of weighted Lp(O)-Sobolev spaces into the scale of Besov spaces $B^α_{τ,τ}(O), 1/τ=α/d+1/p, α> 0$. This leads to a Hölder-Besov regularity result for the solution process. The regularity in this Besov scale determines the order of convergence that can be achieved by certain nonlinear approximation schemes.
△ Less
Submitted 7 January, 2013;
originally announced January 2013.
-
Spatial Besov Regularity for Stochastic Partial Differential Equations on Lipschitz Domains
Authors:
Petru A. Cioica,
Stephan Dahlke,
Stefan Kinzel,
Felix Lindner,
Thorsten Raasch,
Klaus Ritter,
René L. Schilling
Abstract:
We use the scale of Besov spaces B^α_{τ,τ}(O), α>0, 1/τ=α/d+1/p, p fixed, to study the spatial regularity of the solutions of linear parabolic stochastic partial differential equations on bounded Lipschitz domains O\subset R^d. The Besov smoothness determines the order of convergence that can be achieved by nonlinear approximation schemes. The proofs are based on a combination of weighted Sobolev…
▽ More
We use the scale of Besov spaces B^α_{τ,τ}(O), α>0, 1/τ=α/d+1/p, p fixed, to study the spatial regularity of the solutions of linear parabolic stochastic partial differential equations on bounded Lipschitz domains O\subset R^d. The Besov smoothness determines the order of convergence that can be achieved by nonlinear approximation schemes. The proofs are based on a combination of weighted Sobolev estimates and characterizations of Besov spaces by wavelet expansions.
△ Less
Submitted 8 November, 2010;
originally announced November 2010.
-
Organic Zener Diodes: Tunneling across the Gap in Organic Semiconductor Materials
Authors:
Hans Kleemann,
Rafael Gutierrez,
Frank Lindner,
Stanislav Avdoshenko,
Pedro D. Manrique,
Björn Lüssem,
Gianaurelio Cuniberti,
Karl Leo
Abstract:
Organic Zener diodes with a precisely adjustable reverse breakdown from -3 V to -15 V without any influence on the forward current-voltage curve are realized. This is accomplished by controlling the width of the charge depletion zone in a pin-diode with an accuracy of one nanometer independently of the do** concentration and the thickness of the intrinsic layer. The breakdown effect with its exp…
▽ More
Organic Zener diodes with a precisely adjustable reverse breakdown from -3 V to -15 V without any influence on the forward current-voltage curve are realized. This is accomplished by controlling the width of the charge depletion zone in a pin-diode with an accuracy of one nanometer independently of the do** concentration and the thickness of the intrinsic layer. The breakdown effect with its exponential current voltage behavior and a weak temperature dependence is explained by a tunneling mechanism across the HOMO-LUMO gap of neigh- boring molecules. The experimental data are confirmed by a minimal Hamiltonian model approach, including coherent tunneling and incoherent hop** processes as possible charge transport pathways through the effective device region.
△ Less
Submitted 27 October, 2010;
originally announced October 2010.
-
Introduction to Xgrid: Cluster Computing for Everyone
Authors:
Barbara J. Breen,
John F. Lindner
Abstract:
Xgrid is the first distributed computing architecture built into a desktop operating system. It allows you to run a single job across multiple computers at once. All you need is at least one Macintosh computer running Mac OS X v10.4 or later. (Mac OS X Server is not required.) We provide explicit instructions and example code to get you started, including examples of how to distribute your computi…
▽ More
Xgrid is the first distributed computing architecture built into a desktop operating system. It allows you to run a single job across multiple computers at once. All you need is at least one Macintosh computer running Mac OS X v10.4 or later. (Mac OS X Server is not required.) We provide explicit instructions and example code to get you started, including examples of how to distribute your computing jobs, even if your initial cluster consists of just two old laptops in your basement.
△ Less
Submitted 21 July, 2010;
originally announced July 2010.
-
Weak order for the discretization of the stochastic heat equation driven by impulsive noise
Authors:
Felix Lindner,
René L. Schilling
Abstract:
Considering a linear parabolic stochastic partial differential equation driven by impulsive space time noise, dX_t+AX_t dt= Q^{1/2}dZ_t, X_0=x_0\in H, t\in [0,T], we approximate the distribution of X_T. (Z_t)_{t\in[0,T]} is an impulsive cylindrical process and Q describes the spatial covariance structure of the noise; Tr(A^{-α})<\infty for some α>0 and A^βQ is bounded for some β\in(α-1,α]. A discr…
▽ More
Considering a linear parabolic stochastic partial differential equation driven by impulsive space time noise, dX_t+AX_t dt= Q^{1/2}dZ_t, X_0=x_0\in H, t\in [0,T], we approximate the distribution of X_T. (Z_t)_{t\in[0,T]} is an impulsive cylindrical process and Q describes the spatial covariance structure of the noise; Tr(A^{-α})<\infty for some α>0 and A^βQ is bounded for some β\in(α-1,α]. A discretization (X_h^n)_{n\in\{0,1,...,N\}} is defined via the finite element method in space (parameter h>0) and a θ-method in time (parameter Δt=T/N). For φ\in C^2_b(H;R) we show an integral representation for the error |Eφ(X^N_h)-Eφ(X_T)| and prove that |Eφ(X^N_h)-Eφ(X_T)|=O(h^{2γ}+(Δt)^γ) where γ<1-α+β.
△ Less
Submitted 10 March, 2010; v1 submitted 24 November, 2009;
originally announced November 2009.
-
Attosecond double-slit experiment
Authors:
F. Lindner,
M. G. Schaetzel,
H. Walther,
A. Baltuska,
E. Goulielmakis,
F. Krausz,
D. B. Milosevic,
D. Bauer,
W. Becker,
G. G. Paulus
Abstract:
A new scheme for a double-slit experiment in the time domain is presented. Phase-stabilized few-cycle laser pulses open one to two windows (``slits'') of attosecond duration for photoionization. Fringes in the angle-resolved energy spectrum of varying visibility depending on the degree of which-way information are observed. A situation in which one and the same electron encounters a single and a…
▽ More
A new scheme for a double-slit experiment in the time domain is presented. Phase-stabilized few-cycle laser pulses open one to two windows (``slits'') of attosecond duration for photoionization. Fringes in the angle-resolved energy spectrum of varying visibility depending on the degree of which-way information are observed. A situation in which one and the same electron encounters a single and a double slit at the same time is discussed. The investigation of the fringes makes possible interferometry on the attosecond time scale. The number of visible fringes, for example, indicates that the slits are extended over about 500as.
△ Less
Submitted 22 March, 2005; v1 submitted 18 March, 2005;
originally announced March 2005.