Showing 1–48 of 48 results for author: Fiedler, B

Real-time blow-up and connection graphs of rational vector fields on the Riemann sphere

Authors: Bernold Fiedler

Abstract: Inspired by pioneering work of Kyûya Masuda in the 1980s, only much more recent PDE studies address global boundedness versus finite-time blow-up. The two phenomena are related by passage from real to purely imaginary time. As a simple ODE example, we study scalar rational vector fields \begin{equation*} \label{*} \dot{w}=P(w)/Q(w), \tag{*} \end{equation*} for complex polynomials $P,Q$. We impose… ▽ More Inspired by pioneering work of Kyûya Masuda in the 1980s, only much more recent PDE studies address global boundedness versus finite-time blow-up. The two phenomena are related by passage from real to purely imaginary time. As a simple ODE example, we study scalar rational vector fields \begin{equation*} \label{*} \dot{w}=P(w)/Q(w), \tag{*} \end{equation*} for complex polynomials $P,Q$. We impose mild generic nondegeneracy conditions, including simplicity of poles and hyperbolicity of zeros. Generically, the real-time dynamics become gradient-like Morse. Poles play the role of hyperbolic saddle points. Towards poles, however, solutions may blow up in finite time. On the Riemann sphere $w\in\widehat{\mathbb{C}}$, we classify the resulting global dynamics up to $C^0$ orbit equivalence, in real time. This relies on a global description of the connection graph of blow-up orbits, from sources towards saddles/poles, in forward time. Time reversal identifies the dual graph of blow-down orbits. We show that the blow-up and blow-down graphs of (*) realize all finite multi-graphs on $\mathbb{S}^2$. The purely polynomial case $Q=1$ realizes all planar trees, alias diagrams of non-intersecting circle chords. The anti-holomorphic cousin $P=1$ realizes all noncrossing trees with vertices restricted to circles. This classification identifies combinatorial counts for the number of global phase portraits, which only depend on the degrees of $P$ and $Q$, respectively. △ Less

Submitted 29 April, 2025; originally announced April 2025.

Comments: ii+60 pages, 9 figures

MSC Class: 34C37; 34M05; 30F30;

Enhancing Swelling Kinetics of pNIPAM Lyogels: The Role of Crosslinking, Copolymerization, and Solvent

Authors: Kathrin Marina Eckert, Jelisa Bonsen, Anja Hajnal, Johannes Gmeiner, Jonah Hasse, Muhammad Adrian, Julian Karsten, Patrick A. Kißling, Alexander Penn, Bodo Fiedler, Gerrit A. Luinstra, Irina Smirnova

Abstract: Stimuli-responsive lyogels are known for their ability to undergo significant macroscopic changes when exposed to external stimuli. While thermo-responsive gels, such as poly N isopropylacrylamide (pNIPAM), have been extensively studied across various applications, solvent-induced swelling has predominantly been investigated in aqueous solutions. This study explores the tailoring of lyogel formula… ▽ More Stimuli-responsive lyogels are known for their ability to undergo significant macroscopic changes when exposed to external stimuli. While thermo-responsive gels, such as poly N isopropylacrylamide (pNIPAM), have been extensively studied across various applications, solvent-induced swelling has predominantly been investigated in aqueous solutions. This study explores the tailoring of lyogel formulations for future applications by controlling their solvent-induced swelling behavior, comparing both homopolymeric and semi-interpenetrating polymer networks (semi-IPNs). In contrast to most previous studies, the impact of chemical and physical crosslinking, as well as copolymer inclusion, on the swelling behavior and mechanical properties of lyogels in organic solvents is examined and compared with solvent-induced swelling kinetics measurements. The results demonstrate that increasing chemically crosslinking in homopolymers and physically crosslinking in semi-IPNs enhances mechanical stability, while improving mass transport properties and solvent exchange kinetics. However, increases degree of crosslinking results in a prolonged response time to the solvent exchange stimulus and a reduction in the overall swelling capacity of the lyogels. Furthermore, variations in solvent properties, including molecular size and diffusion rates, significantly influence the swelling kinetics, whereas smaller, faster-diffusing solvents leading to more pronounced solvent spillage effects. Our findings highlight the complex interplay between gel formulation, network structure, and solvent nature in determining the solvent-induced swelling kinetics of lyogels, providing insights into how these materials can be tailored for specific applications especially those requiring short response times and optimized mechanical properties. △ Less

Submitted 7 May, 2025; v1 submitted 18 March, 2025; originally announced March 2025.

Comments: 26 pages

An Astronomical Interpretation of the Nebra Sky Disc

Authors: Bernd Fiedler

Abstract: We agree with the interpretation of W. Schlosser, that the Nebra Sky Disc is a reminder of a method of determining a start date (and possibly also an end date) of the farming year. We extend this interpretation. We think that we found the constellation Taurus on the Disc, which forms by addition of three stars from the constellation Gemini the pattern of a plough of Bronze Age. Moreover we found a… ▽ More We agree with the interpretation of W. Schlosser, that the Nebra Sky Disc is a reminder of a method of determining a start date (and possibly also an end date) of the farming year. We extend this interpretation. We think that we found the constellation Taurus on the Disc, which forms by addition of three stars from the constellation Gemini the pattern of a plough of Bronze Age. Moreover we found a line on the disc consisting of the stars epsilon Gem, theta Aur, beta Aur and alpha Aur, which we called the Auriga line. We think that the Nebra people used the Auriga line to determine the day (which we call beta day) on which the Pleiades are vertically below beta Aur at dusk in February. We found a second representation of the Auriga line on the Disc where the distance ratios between the stars are very precisely equal to the distance ratios in the sky, and where the Pleiades are vertically below beta Aur. This proves that the Nebra people must have measured the distances, and that our hypothesis is correct. The beta day could have been used to harmonize a lunisolar calendar with the solar year. However, the most likely possibility seems to us that a good sowing date could be determined by setting the sowing on the second round lunar phase after the beta day. (By round lunar phases we mean the full moon and the new moon.) Such a sowing date makes it possible to start a week count based on the lunar phases with the sowing in order to determine other agricultural dates. The astronomical knowledge for this procedure can be gained by astronomical observations only. No mathematical calculations and import of knowledge from a Mediterranean culture are necessary. △ Less

Submitted 26 November, 2024; originally announced November 2024.

Comments: 89 pages, 45 tables, 38 figures

MSC Class: 01A15 (Primary) 85-03; 85-04; 85-05 (Secondary)

Universal Sets for Projections

Authors: Jacob B. Fiedler, D. M. Stull

Abstract: We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for every set $E$ in the class, there is a direction $e\in D$ such that the projection of $E$ in the direction $e$ has maximal Hausdorff dimension. We construct sm… ▽ More We investigate variants of Marstrand's projection theorem that hold for sets of directions and classes of sets in $\mathbb{R}^2$. We say that a set of directions $D \subseteq\mathcal{S}^1$ is $\textit{universal}$ for a class of sets if, for every set $E$ in the class, there is a direction $e\in D$ such that the projection of $E$ in the direction $e$ has maximal Hausdorff dimension. We construct small universal sets for certain classes. Particular attention is paid to the role of regularity. We prove the existence of universal sets with arbitrarily small positive Hausdorff dimension for the class of weakly regular sets. We prove that there is a universal set of zero Hausdorff dimension for the class of AD-regular sets. △ Less

Submitted 23 March, 2025; v1 submitted 24 November, 2024; originally announced November 2024.

Comments: 30 pages, expanded introduction and added references

MSC Class: 28A78; 28A80; 68Q30

Scalar polynomial vector fields in real and complex time

Authors: Bernold Fiedler

Abstract: In the present paper, the simplest scalar ODE case is studied for polynomials $$ \dot{w}=f(w)=(w-e_0)\cdot\ldots\cdot(w-e_{d-1}) $$ of degree $d$ with $d$ simple complex zeros. The explicit solution by separation of variables and explicit integration is an almost trivial matter. In a classical spirit, indeed, we describe the complex Riemann surface $\mathcal{R}$ of the global nontrivial solution… ▽ More In the present paper, the simplest scalar ODE case is studied for polynomials $$ \dot{w}=f(w)=(w-e_0)\cdot\ldots\cdot(w-e_{d-1}) $$ of degree $d$ with $d$ simple complex zeros. The explicit solution by separation of variables and explicit integration is an almost trivial matter. In a classical spirit, indeed, we describe the complex Riemann surface $\mathcal{R}$ of the global nontrivial solution $(t,w(t))$ in complex time, as an unbranched cover of the punctured Riemann sphere. The flow property, however, fails at $w=\infty$. The global consequences depend on the period map of the residues $2π\mathrm{i}/f'(e_j)$ of $1/f$ at the punctures, in detail. We therefore show that polynomials $f$ exist for arbitrarily prescribed residues with zero sum. This result is not covered by standard interpolation theory. Motivated by the PDE case, we also classify the planar real-time phase portraits of the above ODE. Poincaré compactification of $w$ regularizes $w=\infty$ by $2(d-1)$ equilibria, alternatingly stable and unstable within the invariant circle boundary at infinity. In structurally stable cases, we classify all compactified phase portraits, up to orientation preserving orbit equivalence and time reversal. Combinatorially, their connection graphs are equivalent to certain unrooted, unlabeled, undirected planar trees of $d$ vertices or, dually, to certain chord diagrams with $d-1$ nonintersecting chords. We sketch a proof that all planar trees are actually realized by Poincaré compactifications. Not least, we offer a 1,000 Euro reward for the discovery, or refutation, of complex entire homoclinic orbits. △ Less

Submitted 29 April, 2025; v1 submitted 7 October, 2024; originally announced October 2024.

Comments: 50 + ii pages, 3 figures. Realization conjecture 1.4 has become theorem 1.4

MSC Class: 34C37; 34M05; 30F30; 65L20;

Pinned distances of planar sets with low dimension

Authors: Jacob B. Fiedler, D. M. Stull

Abstract: In this paper, we give improved bounds on the Hausdorff dimension of pinned distance sets of planar sets with dimension strictly less than one. As the planar set becomes more regular (i.e., the Hausdorff and packing dimension become closer), our lower bound on the Hausdorff dimension of the pinned distance set improves. Additionally, we prove the existence of small universal sets for pinned distan… ▽ More In this paper, we give improved bounds on the Hausdorff dimension of pinned distance sets of planar sets with dimension strictly less than one. As the planar set becomes more regular (i.e., the Hausdorff and packing dimension become closer), our lower bound on the Hausdorff dimension of the pinned distance set improves. Additionally, we prove the existence of small universal sets for pinned distances. In particular, we show that, if a Borel set $X\subseteq\mathbb{R}^2$ is weakly regular ($\dim_H(X) = \dim_P(X)$), and $\dim_H(X) > 1$, then \begin{equation*} \sup\limits_{x\in X}\dim_H(Δ_x Y) = \min\{\dim_H(Y), 1\} \end{equation*} for every Borel set $Y\subseteq\mathbb{R}^2$. Furthermore, if $X$ is also compact and Ahlfors-David regular, then for every Borel set $Y\subseteq\mathbb{R}^2$, there exists some $x\in X$ such that \begin{equation*} \dim_H(Δ_x Y) = \min\{\dim_H(Y), 1\}. \end{equation*} △ Less

Submitted 28 March, 2025; v1 submitted 1 August, 2024; originally announced August 2024.

Comments: 36 pages, updated introduction

MSC Class: 28A78; 28A80; 68Q30

A study guide for "On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" after T. Orponen and P. Shmerkin

Authors: Jacob B. Fiedler, Guo-Dong Hong, Donggeun Ryou, Shukun Wu

Abstract: This article is a study guide for ``On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" by Orponen and Shmerkin. We begin by introducing Furstenberg set problem and exceptional set of projections and provide a summary of the proof with the core ideas. This article is a study guide for ``On the Hausdorff dimension of Furstenberg sets and orthogonal projections in the plane" by Orponen and Shmerkin. We begin by introducing Furstenberg set problem and exceptional set of projections and provide a summary of the proof with the core ideas. △ Less

Submitted 6 June, 2024; originally announced June 2024.

Comments: 23 pages, 5 figures, Study guide written at the UPenn Study Guide Writing Workshop 2023

MSC Class: 28A80; 28A75; 28A78

Bounds on the dimension of lineal extensions

Authors: Ryan E. G. Bushling, Jacob B. Fiedler

Abstract: Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff dimension of $F$ should equal that of $E$. Working in $\mathbb{R}^2$, we use effective methods to prove a strong packing dimension variant of this conjecture, fr… ▽ More Let $E \subseteq \mathbb{R}^n$ be a union of line segments and $F \subseteq \mathbb{R}^n$ the set obtained from $E$ by extending each line segment in $E$ to a full line. Keleti's line segment extension conjecture posits that the Hausdorff dimension of $F$ should equal that of $E$. Working in $\mathbb{R}^2$, we use effective methods to prove a strong packing dimension variant of this conjecture, from which the generalized Kakeya conjecture for packing dimension immediately follows. This is followed by several doubling estimates in higher dimensions and connections to related problems. △ Less

Submitted 8 March, 2025; v1 submitted 24 April, 2024; originally announced April 2024.

Comments: Published in the Journal of Fractal Geometry

MSC Class: 03D32; 28A80 (Primary) 68Q30 (Secondary)

Journal ref: J. Fractal Geom., 12(1/2):105-133, 2025

Real eternal PDE solutions are not complex entire: a quadratic parabolic example

Authors: Bernold Fiedler, Hannes Stuke

Abstract: In parabolic or hyperbolic PDEs, solutions which remain uniformly bounded for all real times $t=r\in\mathbb{R}$ are often called PDE entire or eternal. For example, consider the quadratic parabolic PDE \begin{equation*} \label{*} w_t=w_{xx}+6w^2-λ, \tag{*} \end{equation*} for $0<x<\tfrac{1}{2}$, under Neumann boundary conditions. By its gradient-like structure, all real eternal non-equilibrium orb… ▽ More In parabolic or hyperbolic PDEs, solutions which remain uniformly bounded for all real times $t=r\in\mathbb{R}$ are often called PDE entire or eternal. For example, consider the quadratic parabolic PDE \begin{equation*} \label{*} w_t=w_{xx}+6w^2-λ, \tag{*} \end{equation*} for $0<x<\tfrac{1}{2}$, under Neumann boundary conditions. By its gradient-like structure, all real eternal non-equilibrium orbits $Γ(r)$ of \eqref{*} are heteroclinic among equilibria $w=W_n(x)$. All nontrivial real $W_n$ are rescaled and properly translated real-valued Weierstrass elliptic functions with Morse index $i(W_n)=n$. We show that the complex time extensions $Γ(r+\mathrm{i}s)$, of analytic real heteroclinic orbits towards $W_0=-\sqrt{λ/6}$, are not complex entire. For example, consider the time-reversible complex-valued solution $ψ(s)$ of the nonlinear and nonconservative quadratic Schrödinger equation \begin{equation*} \label{**} \mathrm{i}ψ_s=ψ_{xx}+6ψ^2-λ\tag{**} \end{equation*} with real initial condition $ψ_0=Γ(r_0)$. Then there exist $r_0$ such that $ψ(s)$ blows up at some finite real times $\pm s^*$. Abstractly, our results are formulated in the setting of analytic semigroups. They are based on Poincaré non-resonance of unstable eigenvalues at equilibria $W_n$, near pitchfork bifurcation. Technically, we have to except a discrete set of $λ>0$, and are currently limited to unstable dimensions $n\leq22$, or to fast unstable manifolds of dimensions $d<1+\tfrac{1}{\sqrt{2}}n$. △ Less

Submitted 3 December, 2024; v1 submitted 11 March, 2024; originally announced March 2024.

Comments: 52+ii pages, 4 figures

MSC Class: 35B44; 35B08; 35B34; 35K58; 37F44

Real chaos and complex time

Authors: Bernold Fiedler

Abstract: Real vector fields $\dot{z} = f(z)$ in $\mathbb{R}^N$ extend to $\mathbb{C}^N$, for complex entire $f$. One known consequence are exponentially small upper bounds \begin{equation*} \label{*} C_η\exp(-η/\varepsilon) \tag{*} \end{equation*} on homoclinic splittings under discretizations of step size $\varepsilon>0$, or under rapid forcings of that period. Here the complex time extension of $Γ(t)$ is… ▽ More Real vector fields $\dot{z} = f(z)$ in $\mathbb{R}^N$ extend to $\mathbb{C}^N$, for complex entire $f$. One known consequence are exponentially small upper bounds \begin{equation*} \label{*} C_η\exp(-η/\varepsilon) \tag{*} \end{equation*} on homoclinic splittings under discretizations of step size $\varepsilon>0$, or under rapid forcings of that period. Here the complex time extension of $Γ(t)$ is assumed to be analytic in the complex horizontal strip $|\mathrm{Im}\, t|\leq η$. The phenomenon relates to adiabatic elimination, infinite order averaging, invisible chaos, and backward error analysis. However, what if $Γ(t)$ itself were complex entire? Then $η$ could be chosen arbitrarily large. We consider connecting orbits $Γ(t)$ between limiting hyperbolic equilibria $f(v_\pm)=0$, for real $t\rightarrow\pm\infty$. For the linearizations $f'(v_\pm)$, we assume real eigenvalues which are nonresonant, separately at $v_\pm$. We then show the existence of singularities of $Γ(t)$ in complex time $t$. In that sense, real connecting orbits are accompanied by finite time blow-up, in imaginary time. Moreover, the singularities bound admissible $η$ in exponential estimates \eqref{*}. The cases of complex or resonant eigenvalues are completely open. We therefore offer a 1,000 Euro reward to any mathematician, up to and including non-permanent PostDoc level, who first comes up with a complex entire homoclinic orbit $Γ(t)$, in the above setting. Such an example would exhibit ultra-exponentially small separatrix splittings, and ultra-invisible chaos, under discretization. We also provide a time-reversible example of an entire periodic orbit with ultra-sharp Arnold tongues, alias ultra-invisible phaselocking, under discretization. △ Less

Submitted 4 April, 2024; v1 submitted 12 October, 2023; originally announced October 2023.

Comments: 30+ii pages, 3 figures

MSC Class: 34C37; 34M05; 34C27; 34C29; 65L20

Dimension of Pinned Distance Sets for Semi-Regular Sets

Authors: Jacob B. Fiedler, D. M. Stull

Abstract: We prove that if $E\subseteq \R^2$ is analytic and $1<d < \dim_H(E)$, there are ``many'' points $x\in E$ such that the Hausdorff dimension of the pinned distance set $Δ_x E$ is at least $d\left(1 - \frac{\left(D-1\right)\left(D-d\right)}{2D^2+\left(2-4d\right)D+d^2+d-2}\right)$, where $D = \dim_P(E)$. In particular, we prove that $\dim_H(Δ_x E) \geq \frac{d(d-4)}{d-5}$ for these $x$, which gives t… ▽ More We prove that if $E\subseteq \R^2$ is analytic and $1<d < \dim_H(E)$, there are ``many'' points $x\in E$ such that the Hausdorff dimension of the pinned distance set $Δ_x E$ is at least $d\left(1 - \frac{\left(D-1\right)\left(D-d\right)}{2D^2+\left(2-4d\right)D+d^2+d-2}\right)$, where $D = \dim_P(E)$. In particular, we prove that $\dim_H(Δ_x E) \geq \frac{d(d-4)}{d-5}$ for these $x$, which gives the best known lower bound for this problem when $d \in (1, 5-\sqrt{15})$. We also prove that there exists some $x\in E$ such that the packing dimension of $Δ_x E$ is at least $\frac{12 -\sqrt{2}}{8\sqrt{2}}$. Moreover, whenever the packing dimension of $E$ is sufficiently close to the Hausdorff dimension of $E$, we show the pinned distance set $Δ_x E$ has full Hausdorff dimension for many points $x\in E$; in particular the condition is that $D<\frac{(3+\sqrt{5})d-1-\sqrt{5}}{2}$. We also consider the pinned distance problem between two sets $X, Y\subseteq \R^2$, both of Hausdorff dimension greater than 1. We show that if either $X$ or $Y$ has equal Hausdorff and packing dimensions, the pinned distance $Δ_x Y$ has full Hausdorff dimension for many points $x\in X$. △ Less

Submitted 20 September, 2023; originally announced September 2023.

Design of Sturm global attractors 2: Time-reversible Chafee-Infante lattices of 3-nose meanders

Authors: Bernold Fiedler, Carlos Rocha

Abstract: This sequel continues our exploration arxiv:2302.12531 of a deceptively ``simple'' class of global attractors, called Sturm due to nodal properties. They arise for the semilinear scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advectio… ▽ More This sequel continues our exploration arxiv:2302.12531 of a deceptively ``simple'' class of global attractors, called Sturm due to nodal properties. They arise for the semilinear scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advection, and diffusion. Our classification is based on the Sturm meanders, which arise from a shooting approach to the ODE boundary value problem of equilibrium solutions $u=v(x)$. Specifically, we address meanders with only three ``noses'', each of which is innermost to a nested family of upper or lower meander arcs. The Chafee-Infante paradigm of 1974, with cubic nonlinearity $f=f(u)$, features just two noses. We present, and fully prove, a precise description of global PDE connection graphs, graded by Morse index, for such gradient-like Morse-Smale systems \eqref{eq:*}. The directed edges denote PDE heteroclinic orbits $v_1 \leadsto v_2$ between equilibrium vertices $v_1, v_2$ of adjacent Morse index. The connection graphs can be described as a lattice-like structure of Chafee-Infante subgraphs. However, this simple description requires us to adjoin a single ``equilibrium'' vertex, formally, at Morse level -1. Surprisingly, for parabolic PDEs based on irreversible diffusion, the connection graphs then also exhibit global time reversibility. △ Less

Submitted 4 October, 2023; v1 submitted 8 June, 2023; originally announced June 2023.

Comments: 39+ii pages, 7 figures

MSC Class: 37D15 (Primary) 35B41; 35K58

Design of Sturm global attractors 1: Meanders with three noses, and reversibility

Authors: Bernold Fiedler, Carlos Rocha

Abstract: We systematically explore a simple class of global attractors, called Sturm due to nodal properties, for the semilinear scalar parabolic PDE \begin{equation*}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) %\tag{$*$} \end{equation*} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advection, and diffusion. Our classification is based on the S… ▽ More We systematically explore a simple class of global attractors, called Sturm due to nodal properties, for the semilinear scalar parabolic PDE \begin{equation*}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) %\tag{$*$} \end{equation*} on the unit interval $0 < x<1$, under Neumann boundary conditions. This models the interplay of reaction, advection, and diffusion. Our classification is based on the Sturm meanders, which arise from a shooting approach to the ODE boundary value problem of equilibrium solutions $u_t=0$. Specifically, we address meanders with only three "noses", each of which is innermost to a nested family of upper or lower meander arcs. The Chafee-Infante paradigm, with cubic nonlinearity $f=f(u)$, features just two noses. Our results on the gradient-like global PDE dynamics include a precise description of the connection graphs. The edges denote PDE heteroclinic orbits $v_1 \leadsto v_2$ between equilibrium vertices $v_1, v_2$ of adjacent Morse index. The global attractor turns out to be a ball of dimension $d$, given as the closure of the unstable manifold $W^u(\mathcal{O})$ of the unique equilibrium with maximal Morse index $d$. Surprisingly, for parabolic PDEs based on irreversible diffusion, the connection graph indicates time reversibility on the ($d$-1)-sphere boundary of the global attractor. △ Less

Submitted 26 July, 2023; v1 submitted 24 February, 2023; originally announced February 2023.

Comments: 41+(ii) pages, 8 figures

MSC Class: 37D15 (Primary) 35B41; 35K58

Molecular simulation of thermosetting polymer hardening: reactive events enabled by controlled topology transfer

Authors: Robert H. Meißner, Julian Konrad, Benjamin Boll, Bodo Fiedler, Dirk Zahn

Abstract: We present a quantum mechanical / molecular mechanics (QM/MM) to tackle chemical reactions with substantial molecular reorganization. For this, molecular dynamics simulations with smoothly switched interaction models are used to suggest suitable product states, whilst a Monte Carlo algorithm is employed to assess the reaction likeliness subject to energetic feasibility. As a demonstrator, we study… ▽ More We present a quantum mechanical / molecular mechanics (QM/MM) to tackle chemical reactions with substantial molecular reorganization. For this, molecular dynamics simulations with smoothly switched interaction models are used to suggest suitable product states, whilst a Monte Carlo algorithm is employed to assess the reaction likeliness subject to energetic feasibility. As a demonstrator, we study the cross-linking of bisphenol F diglycidyl ether (BFDGE) and 4,6-diethyl-2-methylbenzene-1,3-diamine (DETDA). The modeling of epoxy curing was supplemented by Differential Scanning Calorimetry (DSC) measurements, which confirms the degrees of cross-linking as a function of curing temperature. Likewise, the heat of formation and the mechanical properties of the resulting thermosetting polymer are found to be in good agreement with previous experiments. △ Less

Submitted 5 November, 2020; originally announced November 2020.

Comments: To be published in ACS Macromolecules

2-Cluster Fixed-Point Analysis of Mean-Coupled Stuart-Landau Oscillators in the Center Manifold

Authors: Felix P. Kemeth, Bernold Fiedler, Sindre W. Haugland, Katharina Krischer

Abstract: We reduce the dynamics of an ensemble of mean-coupled Stuart-Landau oscillators close to the synchronized solution. In particular, we map the system onto the center manifold of the Benjamin-Feir instability, the bifurcation destabilizing the synchronized oscillation. Using symmetry arguments, we describe the structure of the dynamics on this center manifold up to cubic order, and derive expression… ▽ More We reduce the dynamics of an ensemble of mean-coupled Stuart-Landau oscillators close to the synchronized solution. In particular, we map the system onto the center manifold of the Benjamin-Feir instability, the bifurcation destabilizing the synchronized oscillation. Using symmetry arguments, we describe the structure of the dynamics on this center manifold up to cubic order, and derive expressions for its parameters. This allows us to investigate phenomena described by the Stuart-Landau ensemble, such as clustering and cluster singularities, in the lower-dimensional center manifold, providing further insights into the symmetry-broken dynamics of coupled oscillators. We show that cluster singularities in the Stuart-Landau ensemble correspond to vanishing quadratic terms in the center manifold dynamics. In addition, they act as organizing centers for the saddle-node bifurcations creating unbalanced cluster states as well for the transverse bifurcations altering the cluster stability. Furthermore, we show that bistability of different solutions with the same cluster-size distribution can only occur when either cluster contains at least $1/3$ of the oscillators, independent of the system parameters. △ Less

Submitted 16 February, 2021; v1 submitted 13 October, 2020; originally announced October 2020.

Comments: 22 pages, 6 figures

Journal ref: J. Phys. Complex. 2 025005 (2021)

Global heteroclinic rebel dynamics among large 2-clusters in permutation equivariant systems

Authors: Bernold Fiedler, Sindre W. Haugland, Felix P. Kemeth, Katharina Krischer

Abstract: We explore equivariant dynamics under the symmetric group $S_N$ of all permutations of $N$ elements. Specifically we study one-parameter vector fields, up to cubic order, which commute with the standard real $(N-1)$-dimensional irreducible representation of $S_N$. The parameter is the linearization at the trivial 1-cluster equilibrium of total synchrony. All equilibria are cluster solutions invo… ▽ More We explore equivariant dynamics under the symmetric group $S_N$ of all permutations of $N$ elements. Specifically we study one-parameter vector fields, up to cubic order, which commute with the standard real $(N-1)$-dimensional irreducible representation of $S_N$. The parameter is the linearization at the trivial 1-cluster equilibrium of total synchrony. All equilibria are cluster solutions involving up to three clusters. The resulting global dynamics is of gradient type: all bounded solutions are cluster equilibria and heteroclinic orbits between them. In the limit of large $N$, we present a detailed analysis of the web of heteroclinic orbits among the plethora of 2-cluster equilibria. Our focus is on the global dynamics of 3-cluster solutions with one rebel cluster of small size. These solutions describe slow relative growth and decay of 2-cluster states. For $N\rightarrow\infty$, the limiting heteroclinic web defines an integrable \emph{rebel flow} in the space of 2-cluster equilibrium configurations. We identify and study the seven qualitatively distinct global rebel flows which arise in this setting. Applications include oscillators with all-to-all coupling, and electrochemistry. For illustration we consider synchronization clusters among $N$ complex Stuart-Landau oscillators with complex linear global coupling. △ Less

Submitted 1 January, 2021; v1 submitted 16 August, 2020; originally announced August 2020.

Comments: 46 pages, 21 figures

MSC Class: 37G40; 34C15; 34C23; 37B35

Meanders, zero numbers and the cell structure of Sturm global attractors

Authors: Carlos Rocha, Bernold Fiedler

Abstract: We study global attractors $\mathcal{A}=\mathcal{A}_f$ of semiflows generated by semilinear partial parabolic differential equations of the form $u_t = u_{xx} + f(x,u,u_x), 0<x<1$, satisfying Neumann boundary conditions. The equilibria $v\in\mathcal{E}\subset\mathcal{A}$ of the semiflow are the stationary solutions of the PDE, hence they are solutions of the corresponding second order ODE boundary… ▽ More We study global attractors $\mathcal{A}=\mathcal{A}_f$ of semiflows generated by semilinear partial parabolic differential equations of the form $u_t = u_{xx} + f(x,u,u_x), 0<x<1$, satisfying Neumann boundary conditions. The equilibria $v\in\mathcal{E}\subset\mathcal{A}$ of the semiflow are the stationary solutions of the PDE, hence they are solutions of the corresponding second order ODE boundary value problem. Assuming hyperbolicity of all equilibria, the dynamic decomposition of $\mathcal{A}$ into unstable manifolds of equilibria provides a geometric and topological characterization of Sturm global attractors $\mathcal{A}$ as finite regular signed CW-complexes, the Sturm complexes, with cells given by the unstable manifolds of equilibria. Concurrently, the permutation $σ=σ_f$ derived from the ODE boundary value problem by ordering the equilibria according to their values at the boundaries $x=0,1$, respectively, completely determines the Sturm global attractor $\mathcal{A}$. Equivalently, we use a planar curve, the meander $\mathcal{M}=\mathcal{M}_f$, associated to the the ODE boundary value problem by shooting. The main objective of this paper is to derive a minimax property which identifies the equilibria on the cell boundary of $\mathcal{O}$ which are closest or most distant from $\mathcal{O}$ at the boundaries $x=0,1$, directly from the permutation $σ$, the Sturm permutation, or equivalently from the meander $\mathcal{M}$, the Sturm meander, based on the Sturm nodal properties of the solutions of the ODE boundary value problem. We emphasize the local aspect of this result by applying it to an example for which the identification of the equilibria in the cell boundary of $\mathcal{O}$ is obtained from the knowledge of only a section of the Sturm meander $\mathcal{M}$. △ Less

Submitted 9 April, 2021; v1 submitted 1 February, 2020; originally announced February 2020.

Comments: 27 pages, 9 figures. Dedicated to the memory of Pavol Brunovsky

MSC Class: 37D15; 35B41; 35K59; 57N60

Unbounded sequences of stable limit cycles in the delayed Duffing equation: an exact analysis

Authors: Si Mohamed Sah, Bernold Fiedler, B. Shayak, Richard H. Rand

Abstract: The delayed Duffing equation $\ddot{x}(t)+x(t-T)+x^3(t)=0$ is shown to possess an infinite and unbounded sequence of rapidly oscillating, asymptotically stable periodic solutions, for fixed delays such that $T^2<\tfrac{3}{2}π^2$. In contrast to several previous works which involved approximate solutions, the treatment here is exact. The delayed Duffing equation $\ddot{x}(t)+x(t-T)+x^3(t)=0$ is shown to possess an infinite and unbounded sequence of rapidly oscillating, asymptotically stable periodic solutions, for fixed delays such that $T^2<\tfrac{3}{2}π^2$. In contrast to several previous works which involved approximate solutions, the treatment here is exact. △ Less

Submitted 18 August, 2019; originally announced August 2019.

Comments: 16 pages, 8 figures

Coexistence of infinitely many large, stable, rapidly oscillating periodic solutions in time-delayed Duffing oscillators

Authors: Bernold Fiedler, Alejandro López Nieto, Richard H. Rand, Si Mohamed Sah, Isabelle Schneider, Babette de Wolff

Abstract: We explore stability and instability of rapidly oscillating solutions $x(t)$ for the hard spring delayed Duffing oscillator $$x''(t)+ ax(t)+bx(t-T)+x^3(t)=0.$$ Fix $T>0$. We target periodic solutions $x_n(t)$ of small minimal periods $p_n=2T/n$, for integer $n\rightarrow \infty$, and with correspondingly large amplitudes. Note how $x_n(t)$ are also marginally stable solutions, respectively, of the… ▽ More We explore stability and instability of rapidly oscillating solutions $x(t)$ for the hard spring delayed Duffing oscillator $$x''(t)+ ax(t)+bx(t-T)+x^3(t)=0.$$ Fix $T>0$. We target periodic solutions $x_n(t)$ of small minimal periods $p_n=2T/n$, for integer $n\rightarrow \infty$, and with correspondingly large amplitudes. Note how $x_n(t)$ are also marginally stable solutions, respectively, of the two standard, non-delayed, Hamiltonian Duffing oscillators $$x''+ ax+(-1)^nbx+x^3=0.$$ Stability changes for the delayed Duffing oscillator. Simultaneously for all sufficiently large $n\geq n_0$, we obtain local exponential stability for $(-1)^nb<0$, and exponential instability for $(-1)^nb>0$, provided that $$0 \neq (-1)^{n+1}b\,T^2< \tfrac{3}{2}π^2.$$ We interpret our results in terms of noninvasive delayed feedback stabilization and destabilization for large amplitude rapidly periodic solutions of the standard Duffing oscillators. We conclude with numerical illustrations of our results for small and moderate $n$ which also indicate a Neimark-Sacker torus bifurcation at the validity boundary of our theoretical results. △ Less

Submitted 30 November, 2019; v1 submitted 15 June, 2019; originally announced June 2019.

Comments: 27+ii pages, 6 figures

Global Hopf bifurcation in networks with fast feedback cycles

Authors: Bernold Fiedler

Abstract: Autonomous sustained oscillations are ubiquitous in living and nonliving systems. As open systems, far from thermodynamic equilibrium, they defy entropic laws which mandate convergence to stationarity. We present structural conditions on network cycles which support global Hopf bifurcation, i.e. global bifurcation of non-stationary time-periodic solutions from stationary solutions. Specifically, w… ▽ More Autonomous sustained oscillations are ubiquitous in living and nonliving systems. As open systems, far from thermodynamic equilibrium, they defy entropic laws which mandate convergence to stationarity. We present structural conditions on network cycles which support global Hopf bifurcation, i.e. global bifurcation of non-stationary time-periodic solutions from stationary solutions. Specifically, we show how monotone feedback cycles of the linearization at stationary solutions give rise to global Hopf bifurcation, for sufficiently dominant coefficients along the cycle. We include four example networks which feature such strong feedback cycles of length three and larger: Oregonator chemical reaction networks, Lotka-Volterra ecological population dynamics, citric acid cycles, and a circadian gene regulatory network in mammals. Reaction kinetics in our approach are not limited to mass action or Michaelis-Menten type. △ Less

Submitted 5 January, 2020; v1 submitted 24 March, 2019; originally announced March 2019.

Comments: 32+i pages

Boundary orders and geometry of the signed Thom-Smale complex for Sturm global attractors

Authors: Bernold Fiedler, Carlos Rocha

Abstract: We embark on a detailed analysis of the close relations between combinatorial and geometric aspects of the scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$ with Neumann boundary conditions. We assume $f$ to be dissipative with $N$ hyperbolic equilibria $v\in\mathcal{E}$. The global attractor $\mathcal{A}$ of \… ▽ More We embark on a detailed analysis of the close relations between combinatorial and geometric aspects of the scalar parabolic PDE \begin{equation}\label{eq:*} u_t = u_{xx} + f(x,u,u_x) \tag{$*$} \end{equation} on the unit interval $0 < x<1$ with Neumann boundary conditions. We assume $f$ to be dissipative with $N$ hyperbolic equilibria $v\in\mathcal{E}$. The global attractor $\mathcal{A}$ of \eqref{eq:*}, also called \emph{Sturm global attractor}, consists of the unstable manifolds of all equilibria $v$. As cells, these form the \emph{Thom-Smale complex} $\mathcal{C}$. Based on the fast unstable manifolds of $v$, we introduce a refinement $\mathcal{C}^s$ of the regular cell complex $\mathcal{C}$, which we call the \emph{signed Thom-Smale complex}. Given the signed cell complex $\mathcal{C}^s$ and its underlying partial order, only, we derive the two total boundary orders $h_ι:\{1,\ldots , N\}\rightarrow\mathcal{E}$ of the equilibrium values $v(x)$ at the two Neumann boundaries $ι=x=0,1$. In previous work we have already established how the resulting Sturm permutation \[σ:=h_{0}^{-1} \circ h_1,\] conversely, determines the global attractor $\mathcal{A}$ uniquely, up to topological conjugacy. △ Less

Submitted 25 January, 2020; v1 submitted 10 November, 2018; originally announced November 2018.

Comments: 39+(ii) pages, 6 figures

MSC Class: 37D15; 35B41; 05C90; 57N60

An explicit Lyapunov function for reflection symmetric parabolic partial differential equations on the circle

Authors: Bernold Fiedler, Clodoaldo Grotta-Ragazzo, Carlos Rocha

Abstract: We construct an explicit Lyapunov function for scalar parabolic reaction-advection-diffusion equations under periodic boundary conditions. We assume the nonlinearity is even in the advection term. We follow a method originally suggested by Matano and Zelenyak for, and limited to, separated boundary conditions. We construct an explicit Lyapunov function for scalar parabolic reaction-advection-diffusion equations under periodic boundary conditions. We assume the nonlinearity is even in the advection term. We follow a method originally suggested by Matano and Zelenyak for, and limited to, separated boundary conditions. △ Less

Submitted 27 February, 2018; originally announced February 2018.

Comments: 17 pages

MSC Class: 35B40; 35K55

Journal ref: Russian Math. Surveys 69:3 (2014) 419-433

A Lyapunov function for fully nonlinear parabolic equations in one spatial variable

Authors: Phillipo Lappicy, Bernold Fiedler

Abstract: Lyapunov functions are used to prove stability of equilibria, or to indicate a gradient-like structure of a dynamical system. Zelenyak (1968) and Matano (1988) constructed a Lyapunov function for quasilinear parabolic equations. We modify Matano's method to construct a Lyapunov function for fully nonlinear parabolic equations under Dirichlet and mixed nonlinear boundary conditions of Robin type. Lyapunov functions are used to prove stability of equilibria, or to indicate a gradient-like structure of a dynamical system. Zelenyak (1968) and Matano (1988) constructed a Lyapunov function for quasilinear parabolic equations. We modify Matano's method to construct a Lyapunov function for fully nonlinear parabolic equations under Dirichlet and mixed nonlinear boundary conditions of Robin type. △ Less

Submitted 26 November, 2018; v1 submitted 27 February, 2018; originally announced February 2018.

Comments: 9 pages

MSC Class: 35B40; 35K55

Stabilized rapid oscillations in a delay equation: Feedback control by a small resonant delay

Authors: Bernold Fiedler, Isabelle Schneider

Abstract: We study scalar delay equations $$\dot{x} (t) = λf(x(t-1)) + b^{-1} (x(t) + x(t -p/2))$$ with odd nonlinearity $f$, real nonzero parameters $λ, \, b$, and two positive time delays $1,\ p/2$. We assume supercritical Hopf~bifurcation from $x \equiv 0$ in the well-understood single-delay case $b = \infty$. Normalizing $f' (0)=1$, branches of constant minimal period $p_k = 2π/ω_k$ are known to bifurca… ▽ More We study scalar delay equations $$\dot{x} (t) = λf(x(t-1)) + b^{-1} (x(t) + x(t -p/2))$$ with odd nonlinearity $f$, real nonzero parameters $λ, \, b$, and two positive time delays $1,\ p/2$. We assume supercritical Hopf~bifurcation from $x \equiv 0$ in the well-understood single-delay case $b = \infty$. Normalizing $f' (0)=1$, branches of constant minimal period $p_k = 2π/ω_k$ are known to bifurcate from eigenvalues $iω_k = i(k+\tfrac{1}{2})π$ at $λ_k = (-1)^{k+1}ω_k$, for any nonnegative integer $k$. The unstable dimension of these rapidly oscillating periodic solutions is $k$, at the local branch $k$. We obtain stabilization of such branches, for arbitrarily large unstable dimension $k$, and for, necessarily, delicately narrow regions of control amplitudes $b < 0$. For $p$:= $p_k$ the branch $k$ of constant period $p_k$ persists as a solution, for any $b\neq 0$. Indeed the delayed feedback term controlled by $b$ vanishes on branch $k$: the feedback control is noninvasive there. Following an idea of Pyragas (1992), we seek parameter regions $\mathcal{P} = (\underline{b}_k,\overline{b}_k)$ of controls $b \neq 0$ such that the branch $k$ becomes stable, locally at Hopf~bifurcation. We determine rigorous expansions for $\mathcal{P}$ in the limit of large $k$. Our analysis is based on a 2-scale covering lift for the slow and rapid frequencies involved. These results complement earlier results by Fiedler and Oliva (2016) which required control terms $$b^{-1} (x(t-\vartheta) + x(t-\vartheta -p/2))$$ with a third delay $\vartheta$ near 1. △ Less

Submitted 17 February, 2018; v1 submitted 27 August, 2017; originally announced August 2017.

Comments: 49 pages, 7 figures

MSC Class: 34K20; 34K18; 34K35; 34K13

Sturm 3-ball global attractors 3: Examples of Thom-Smale complexes

Authors: Bernold Fiedler, Carlos Rocha

Abstract: Examples complete our trilogy on the geometric and combinatorial characterization of global Sturm attractors $\mathcal{A}$ which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria $v_t=0$ are assumed to be hyperbolic. Geometrically, we study the resulting Thom-Smal… ▽ More Examples complete our trilogy on the geometric and combinatorial characterization of global Sturm attractors $\mathcal{A}$ which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria $v_t=0$ are assumed to be hyperbolic. Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the fast unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. In the first two papers we characterized 3-ball Sturm attractors $\mathcal{A}$ as 3-cell templates $\mathcal{C}$. The characterization involves bipolar orientations and hemisphere decompositions which are closely related to the geometry of the fast unstable manifolds. An equivalent combinatorial description was given in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem. It involves the relative positioning of extreme 2-dimensionally unstable equilibria at the Neumann boundaries $x=0$ and $x=1$, respectively, and the overlapping reach of polar serpents in the shooting meander. In the present paper we apply these descriptions to explicitly enumerate all 3-ball Sturm attractors $\mathcal{A}$ with at most 13 equilibria. We also give complete lists of all possibilities to obtain solid tetrahedra, cubes, and octahedra as 3-ball Sturm attractors with 15 and 27 equilibria, respectively. For the remaining Platonic 3-balls, icosahedra and dodecahedra, we indicate a reduction to mere planar considerations as discussed in our previous trilogy on planar Sturm attractors. △ Less

Submitted 27 February, 2018; v1 submitted 2 August, 2017; originally announced August 2017.

Comments: 73+(ii) pages, 40 figures, 14 table; see also parts 1 and 2 under arxiv:1611.02003 and arxiv:1704.00344

MSC Class: 37D15; 35B41; 05C90; 57N60

Sturm 3-ball global attractors 2: Design of Thom-Smale complexes

Authors: Bernold Fiedler, Carlos Rocha

Abstract: This is the second of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic.\\ \newline Geometrically, we study the resulting Thom-Smale dyna… ▽ More This is the second of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic.\\ \newline Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the fast unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. Our geometric description involves a bipolar orientation of the 1-skeleton, a hemisphere decomposition of the boundary 2-sphere by two polar meridians, and a meridian overlap of certain 2-cell faces in opposite hemispheres.\\ \newline The combinatorial description is in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem.\\ \newline In the first paper we showed the implications $$ \text{Sturm attractor}\quad \Longrightarrow \quad \text{Thom-Smale complex} \quad \Longrightarrow \quad \text{meander}\,.$$ The present part 2, closes the cycle of equivalences by the implication $$ \text{meander} \quad \Longrightarrow \quad \text{Sturm attractor}\,.$$ In particular this cycle allows us to construct a unique Sturm 3-ball attractor for any prescribed Thom-Smale complex which satisfies the geometric properties of the bipolar orientation and the hemisphere decomposition. Many explicit examples and illustrations will be discussed in part 3. The present 3-ball trilogy, however, is just another step towards the still elusive geometric and combinational characterization of all Sturm global attractors in arbitrary dimensions. △ Less

Submitted 2 April, 2017; originally announced April 2017.

Comments: 47 pages, 11 figures, for part 1 see arXiv:1611.02003 [math.DS]

MSC Class: 37D15; 35B41; 05C90; 57N60

Sturm 3-ball global attractors 1: Thom-Smale complexes and meanders

Authors: Bernold Fiedler, Carlos Rocha

Abstract: This is the first of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic. Geometrically, we study the resulting Thom-Smale dynamic complex… ▽ More This is the first of three papers on the geometric and combinatorial characterization of global Sturm attractors which consist of a single closed 3-ball. The underlying scalar PDE is parabolic, $$ u_t = u_{xx} + f(x,u,u_x)\,, $$ on the unit interval $0 < x<1$ with Neumann boundary conditions. Equilibria are assumed to be hyperbolic. Geometrically, we study the resulting Thom-Smale dynamic complex with cells defined by the unstable manifolds of the equilibria. The Thom-Smale complex turns out to be a regular cell complex. Our geometric description involves a bipolar orientation of the 1-skeleton, a hemisphere decomposition of the boundary 2-sphere by two polar meridians, and a meridian overlap of certain 2-cell faces in opposite hemispheres. The combinatorial description is in terms of the Sturm permutation, alias the meander properties of the shooting curve for the equilibrium ODE boundary value problem. It involves the relative positioning of extreme 2-dimensionally unstable equilibria at the Neumann boundaries $x=0$ and $x=1$, respectively, and the overlapping reach of polar serpents in the shooting meander. In the present paper we show the implications $$ \text{Sturm attractor}\quad \Longrightarrow \quad \text{Thom-Smale complex} \quad \Longrightarrow \quad \text{meander}\,.$$ The sequel, part 2, closes the cycle of equivalences by the implication $$ \text{meander} \quad \Longrightarrow \quad \text{Sturm attractor}\,.$$ Many explicit examples will be discussed in part 3. The present 3-ball trilogy extends our previous trilogy on planar Sturm global attractors towards the still elusive goal of geometric and combinational characterizations of all Sturm global attractors of arbitrary dimension. △ Less

Submitted 13 November, 2017; v1 submitted 7 November, 2016; originally announced November 2016.

Comments: Dedicated to Waldyr M. Oliva, mentor and friend; 51 pages, 17 figures

MSC Class: 37D15; 35B41; 05C90; 57N60;

Global Dynamics, Blow-Up, and Bianchi Cosmology

Authors: Nitsan Ben-Gal, Bernhard Brehm, Johannes Buchner, Juliette Hell, Anna Karnauhova, Stefan Liebscher, Alan Rendall, Brian Smith, Hannes Stuke, Martin Väth, Bernold Fiedler

Abstract: Many central problems in geometry, topology, and mathematical physics lead to questions concerning the long-time dynamics of solutions to ordinary and partial differential equations. Examples range from the Einstein field equations of general relativity to quasilinear reaction-advection-diffusion equations of parabolic type. Specific questions concern the convergence to equilibria, the existence o… ▽ More Many central problems in geometry, topology, and mathematical physics lead to questions concerning the long-time dynamics of solutions to ordinary and partial differential equations. Examples range from the Einstein field equations of general relativity to quasilinear reaction-advection-diffusion equations of parabolic type. Specific questions concern the convergence to equilibria, the existence of periodic, homoclinic, and heteroclinic solutions, and the existence and geometric structure of global attractors. On the other hand, many solutions develop singularities in finite time. The singularities have to be analyzed in detail before attempting to extend solutions beyond their singularities, or to understand their geometry in conjunction with globally bounded solutions. In this context we have also aimed at global qualitative descriptions of blow-up and grow-up phenomena. △ Less

Submitted 15 July, 2016; originally announced July 2016.

Comments: 39 pages, 16 figures, survey

MSC Class: 35B32; 35B41; 35B44; 35K59; 37C29; 37C70; 37C80; 37L10; 37L30; 83C80; 83C52; 83C75

Sensitivity of chemical reaction networks: a structural approach 3. Regular multimolecular systems

Authors: Bernhard Brehm, Bernold Fiedler

Abstract: We present a systematic mathematical analysis of the qualitative steady-state response to rate perturbations in large classes of reaction networks. This includes multimolecular reactions and allows for catalysis, enzymatic reactions, multiple reaction products, nonmonotone rate functions, and non-closed autonomous systems. Our structural sensitivity analysis is based on the stoichiometry of the re… ▽ More We present a systematic mathematical analysis of the qualitative steady-state response to rate perturbations in large classes of reaction networks. This includes multimolecular reactions and allows for catalysis, enzymatic reactions, multiple reaction products, nonmonotone rate functions, and non-closed autonomous systems. Our structural sensitivity analysis is based on the stoichiometry of the reaction network, only. It does not require numerical data on reaction rates. Instead, we impose mild and generic nondegeneracy conditions of algebraic type. From the structural data, only, we derive which steady-state concentrations are sensitive to, and hence influenced by, changes of any particular reaction rate - and which are not. We also establish transitivity properties for influences involving rate perturbations. This allows us to derive an influence graph which globally summarizes the influence pattern of the given network. The influence graph allows the computational, but meaningful, automatic identification of functional subunits in general networks, which hierarchically influence each other. We illustrate our results for several variants of the glycolytic citric acid cycle. Biological applications include enzyme knockout experiments, and metabolic control. △ Less

Submitted 20 November, 2017; v1 submitted 1 June, 2016; originally announced June 2016.

Comments: 48 pages, 2 tables, 7 figures

MSC Class: 34C23; 92C42; 97M60

Localized Semi-LASER Dynamic 31P Magnetic Resonance Spectroscopy of the Soleus During and Following Exercise at 7 T

Authors: Georg B. Fiedler, Martin Meyerspeer, Albrecht I. Schmid, Sigrun Goluch, Kiril Schewzow, Elmar Laistler, Arash Mirzahosseini, Fabian Niess, Ewald Unger, Michael Wolzt, Ewald Moser

Abstract: Object This study demonstrates the applicability of semi-LASER localized dynamic $^{31}$P MRS to deeper lying areas of the exercising human soleus muscle (SOL). The effect of accurate localization and high temporal resolution on data specificity is investigated. Materials and Methods To achieve high signal-to-noise ratio (SNR) at a temporal resolution of 6 s, a custom-built calf coil array was… ▽ More Object This study demonstrates the applicability of semi-LASER localized dynamic $^{31}$P MRS to deeper lying areas of the exercising human soleus muscle (SOL). The effect of accurate localization and high temporal resolution on data specificity is investigated. Materials and Methods To achieve high signal-to-noise ratio (SNR) at a temporal resolution of 6 s, a custom-built calf coil array was used at 7T. The kinetics of phosphocreatine (PCr) and intracellular pH were quantified separately in SOL and gastrocnemius medialis (GM) muscle of 9 volunteers, during rest, plantar flexion exercise and recovery. Results The average SNR of PCr at rest was 64$\pm$15 in SOL (83$\pm$12 in GM). End exercise PCr depletion in SOL (19$\pm$9%) was far lower than in GM (74$\pm$14%). pH in SOL increased rapidly and, in contrast to GM, remained elevated until the end of exercise. Conclusion $^{31}$P MRS in single-shots every 6 s localized in the deeper lying SOL enabled quantification of PCr recovery times at low depletions and of fast pH changes, like the initial rise. Both high temporal resolution and accurate spatial localization improve specificity of Pi and thus pH quantification by avoiding multiple, and potentially indistinguishable sources for changing Pi peak shape. △ Less

Submitted 7 October, 2015; originally announced October 2015.

Comments: MAGMA. 2015 Apr 18. [Epub ahead of print] http://link.springer.com/article/10.1007/s10334-015-0484-5

Stable and transient multi-cluster oscillation death in nonlocally coupled networks

Authors: Isabelle Schneider, Marie Kapeller, Sarah Loos, Anna Zakharova, Bernold Fiedler, Eckehard Schöll

Abstract: In a network of nonlocally coupled Stuart-Landau oscillators with symmetry-breaking coupling, we study numerically, and explain analytically, a family of inhomogeneous steady states (oscillation death). They exhibit multi-cluster patterns, depending on the cluster distribution prescribed by the initial conditions. Besides stable oscillation death, we also find a regime of long transients asymptoti… ▽ More In a network of nonlocally coupled Stuart-Landau oscillators with symmetry-breaking coupling, we study numerically, and explain analytically, a family of inhomogeneous steady states (oscillation death). They exhibit multi-cluster patterns, depending on the cluster distribution prescribed by the initial conditions. Besides stable oscillation death, we also find a regime of long transients asymptotically approaching synchronized oscillations. To explain these phenomena analytically in dependence on the coupling range and the coupling strength, we first use a mean-field approximation which works well for large coupling ranges but fails for coupling ranges which are small compared to the cluster size. Going beyond standard mean-field theory, we predict the boundaries of the different stability regimes as well as the transient times analytically in excellent agreement with numerical results. △ Less

Submitted 12 October, 2015; v1 submitted 7 July, 2015; originally announced July 2015.

Time delay control of symmetry-breaking primary and secondary oscillation death

Authors: A. Zakharova, I. Schneider, Y. N. Kyrychko, K. B. Blyuss, A. Koseska, B. Fiedler, E. Schöll

Abstract: We show that oscillation death as a specific type of oscillation suppression, which implies symmetry breaking, can be controlled by introducing time-delayed coupling. In particular, we demonstrate that time delay influences the stability of an inhomogeneous steady state, providing the opportunity to modulate the threshold for oscillation death. Additionally, we find a novel type of oscillation dea… ▽ More We show that oscillation death as a specific type of oscillation suppression, which implies symmetry breaking, can be controlled by introducing time-delayed coupling. In particular, we demonstrate that time delay influences the stability of an inhomogeneous steady state, providing the opportunity to modulate the threshold for oscillation death. Additionally, we find a novel type of oscillation death representing a secondary bifurcation of an inhomogeneous steady state. △ Less

Submitted 23 September, 2013; originally announced September 2013.

Comments: 6 pages, 4 figures

Anisotropic Einstein data with isotropic nonnegative scalar curvature

Authors: Bernold Fiedler, Juliette Hell, Brian Smith

Abstract: We construct a black hole initial data for the Einstein equations with prescribed scalar curvature, or more precisely a piece of initial data contained inside the black hole. The constraints translate into a parabolic equation, with radius as "time" variable, on a metric component u that undergoes blow up. The metric itself is regular up to and including the surface at blow up radius, which is a m… ▽ More We construct a black hole initial data for the Einstein equations with prescribed scalar curvature, or more precisely a piece of initial data contained inside the black hole. The constraints translate into a parabolic equation, with radius as "time" variable, on a metric component u that undergoes blow up. The metric itself is regular up to and including the surface at blow up radius, which is a minimal surface. By applying equivariant bifurcation theory on a self similarly rescaled equation, we show the existence of blow up profiles that are not O(3) symmetric - or anisotropic - although the curvature was isotropically prescribed. △ Less

Submitted 11 July, 2012; v1 submitted 9 July, 2012; originally announced July 2012.

MSC Class: 53

Self-adjoint symmetry operators connected with the magnetic Heisenberg ring

Authors: Bernd Fiedler

Abstract: We consider symmetry operators a from the group ring C[S_N] which act on the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites. We investigate such symmetry operators a which are self-adjoint (in a sence defined in the paper) and which yield consequently observables of the Heisenberg model. We prove the following results: (i) One can construct a self-adjoint idempotent sym… ▽ More We consider symmetry operators a from the group ring C[S_N] which act on the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites. We investigate such symmetry operators a which are self-adjoint (in a sence defined in the paper) and which yield consequently observables of the Heisenberg model. We prove the following results: (i) One can construct a self-adjoint idempotent symmetry operator from every irreducible character of every subgroup of S_N. This leads to a big manifold of observables. In particular every commutation symmetry yields such an idempotent. (ii) The set of all generating idempotents of a minimal right ideal R of C[S_N] contains one and only one idempotent which ist self-adjoint. (iii) Every self-adjoint idempotent e can be decomposed into primitive idempotents e = f_1 + ... + f_k which are also self-adjoint and pairwise orthogonal. We give a computer algorithm for the calculation of such decompositions. Furthermore we present 3 additional algorithms which are helpful for the calculation of self-adjoint operators by means of discrete Fourier transforms of S_N. In our investigations we use computer calculations by means of our Mathematica packages PERMS and HRing. △ Less

Submitted 2 October, 2009; originally announced October 2009.

Comments: 13 pages

MSC Class: 20C35; 16D60; 05E10; 05-04

Symmetry classes connected with the magnetic Heisenberg ring

Authors: Bernd Fiedler

Abstract: We define symmetry classes and commutation symmetries in the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites and investigate them by means of tools from the representation theory of symmetric groups S_N such as decompositions of ideals of the group ring C[S_N], idempotents of C[S_N], discrete Fourier transforms of S_N, Littlewood-Richardson products. In particular, we de… ▽ More We define symmetry classes and commutation symmetries in the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites and investigate them by means of tools from the representation theory of symmetric groups S_N such as decompositions of ideals of the group ring C[S_N], idempotents of C[S_N], discrete Fourier transforms of S_N, Littlewood-Richardson products. In particular, we determine smallest symmetry classes and stability subgroups of both single eigenvectors v and subspaces U of eigenvectors of the Hamiltonian of the magnet. The determination of the smallest symmetry class for U bases on an algorithm which calculates explicitely a generating idempotent for a non-direct sum of right ideals of C[S_N]. Let U be a subspace of eigenvectors of a a fixed eigenvalue μof the Hamiltonian with weight (r_1,r_2). If one determines the smallest symmetry class for every v in U then one can observe jumps of the symmetry behaviour. For ''generic'' v all smallest symmetry classes have the same maximal dimension d and structure. But U can contain linear subspaces on which the dimension of the smallest symmetry class of v jumps to a value smaller than d. Then the stability subgroup of v can increase. We can calculate such jumps explicitely. In our investigations we use computer calculations by means of the Mathematica packages PERMS and HRing. △ Less

Submitted 2 September, 2007; originally announced September 2007.

Comments: 9 pages

MSC Class: 20C35; 16D60; 05E10; 05-04

Stanilov-Tsankov-Videv Theory

Authors: M. Brozos-Vazquez, B. Fiedler, E. Garcia-Rio, P. Gilkey, S. Nikcevic, G. Stanilov, Y. Tsankov, R. Vazquez-Lorenzo, V. Videv

Abstract: We survey some recent results concerning Stanilov-Tsankov-Videv theory, conformal Osserman geometry, and Walker geometry which relate algebraic properties of the curvature operator to the underlying geometry of the manifold. We survey some recent results concerning Stanilov-Tsankov-Videv theory, conformal Osserman geometry, and Walker geometry which relate algebraic properties of the curvature operator to the underlying geometry of the manifold. △ Less

Submitted 28 September, 2007; v1 submitted 7 August, 2007; originally announced August 2007.

Comments: This is a contribution to the Proceedings of the 2007 Midwest Geometry Conference in honor of Thomas P. Branson, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

MSC Class: 53B20

Journal ref: SIGMA 3 (2007), 095, 13 pages

Refuting the odd number limitation of time-delayed feedback control

Authors: B. Fiedler, V. Flunkert, M. Georgi, P. Hoevel, E. Schoell

Abstract: We refute an often invoked theorem which claims that a periodic orbit with an odd number of real Floquet multipliers greater than unity can never be stabilized by time-delayed feedback control in the form proposed by Pyragas. Using a generic normal form, we demonstrate that the unstable periodic orbit generated by a subcritical Hopf bifurcation, which has a single real unstable Floquet multiplie… ▽ More We refute an often invoked theorem which claims that a periodic orbit with an odd number of real Floquet multipliers greater than unity can never be stabilized by time-delayed feedback control in the form proposed by Pyragas. Using a generic normal form, we demonstrate that the unstable periodic orbit generated by a subcritical Hopf bifurcation, which has a single real unstable Floquet multiplier, can in fact be stabilized. We derive explicit analytical conditions for the control matrix in terms of the amplitude and the phase of the feedback control gain, and present a numerical example. Our results are of relevance for a wide range of systems in physics, chemistry, technology,and life sciences, where subcritical Hopf bifurcations occur. △ Less

Submitted 12 February, 2007; v1 submitted 22 September, 2006; originally announced September 2006.

Comments: 4 pages, 3 figures, in print at Phys Rev Lett

Journal ref: Phys. Rev. Lett. 98, 114101 (2007)

Stationary or static space-times and Young tableaux

Authors: Bernd Fiedler

Abstract: Algebraic curvature tensors possess generators which can be formed from symmetric or alternating tensors S, A or tensors θwith an irreducible (2,1)-symmetry. In differential geometry examples of curvature formulas are known which contain generators on the basis of S or A realized by differentiable tensor fields in a natural way. We show that certain curvature formulas for stationary or static sp… ▽ More Algebraic curvature tensors possess generators which can be formed from symmetric or alternating tensors S, A or tensors θwith an irreducible (2,1)-symmetry. In differential geometry examples of curvature formulas are known which contain generators on the basis of S or A realized by differentiable tensor fields in a natural way. We show that certain curvature formulas for stationary or static space-times contain such differentiable realizations of generators based on θ. The tensor θis connected with the timelike Killing vector field of the space-time. θlies in a special symmetry class from the infinite family of irreducible (2,1)-symmetry classes. We determine characteristics of this class. In particular, this class allows a maximal reduction of the length of the curvature formulas. We use a projection formalism by Vladimirov, Young symmetrizers and Littlewood-Richardson products. Computer calculations were carried out by means of the packages Ricci and PERMS. △ Less

Submitted 14 October, 2005; originally announced October 2005.

Comments: 11 pages

MSC Class: 53B20; 83C20; 05E10; 16D60; 05-04

Journal ref: J.Phys.Conf.Ser.30:152-162,2006

Methods for the construction of generators of algebraic curvature tensors

Authors: Bernd Fiedler

Abstract: We demonstrate the use of several tools from Algebraic Combinatorics such as Young tableaux, symmetry operators, the Littlewood-Richardson rule and discrete Fourier transforms of symmetric groups in investigations of algebraic curvature tensors. We demonstrate the use of several tools from Algebraic Combinatorics such as Young tableaux, symmetry operators, the Littlewood-Richardson rule and discrete Fourier transforms of symmetric groups in investigations of algebraic curvature tensors. △ Less

Submitted 20 July, 2005; originally announced July 2005.

Comments: 11 pages

MSC Class: 53B20; 15A72; 05E10; 16D60; 05-04

Generators of algebraic curvature tensors based on a (2,1)-symmetry

Authors: Bernd Fiedler

Abstract: We consider generators of algebraic curvature tensors R which can be constructed by a Young symmetrization of product tensors U*w or w*U, where U and w are covariant tensors of order 3 and 1. We assume that U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). We show that the set S contains exactly one symmetry class S_0 whose elements… ▽ More We consider generators of algebraic curvature tensors R which can be constructed by a Young symmetrization of product tensors U*w or w*U, where U and w are covariant tensors of order 3 and 1. We assume that U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). We show that the set S contains exactly one symmetry class S_0 whose elements U can not play the role of generators of tensors R. The tensors U of all other symmetry classes from S\{S_0} can be used as generators for tensors R. Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 8 summands. In special cases these numbers can be reduced to the minimum 4. If this minimum occurs then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of alternating 2-tensor fields. We apply ideals and idempotents of group rings C[S_r] of symmetric groups S_r, Young symmetrizers, discrete Fourier transforms and Littlewood-Richardson products. For symbolic calculations we used the Mathematica packages Ricci and PERMS. △ Less

Submitted 2 November, 2004; originally announced November 2004.

Comments: 16 pages

MSC Class: 53B20; 15A72; 05E10; 16D60; 05-04

The structure of algebraic covariant derivative curvature tensors

Authors: J. Diaz-Ramos, B. Fiedler, E. Garcia-Rio, P. Gilkey

Abstract: We use the Nash embedding theorem to construct generators for the space of algebraic covariant derivative curvature tensors. We use the Nash embedding theorem to construct generators for the space of algebraic covariant derivative curvature tensors. △ Less

Submitted 3 April, 2004; originally announced April 2004.

MSC Class: 53B20

Short formulas for algebraic covariant derivative curvature tensors via Algebraic Combinatorics

Authors: Bernd Fiedler

Abstract: We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra w… ▽ More We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 16 or 20 summands if W is symmetric or skew-symmetric, respectively. In special cases these numbers can be reduced to the minima 12 or 10. If these minima occur then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of symmetric or alternating 2-tensor fields. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[S_r] and discrete Fourier transforms for symmetric groups S_r. For symbolic calculations we used the Mathematica packages Ricci and PERMS. △ Less

Submitted 8 December, 2003; originally announced December 2003.

Comments: 38 pages

MSC Class: 53B20; 15A72; 05E10; 16D60; 05-04

Generators of algebraic covariant derivative curvature tensors and Young symmetrizers

Authors: B. Fiedler

Abstract: We show that the space of algebraic covariant derivative curvature tensors R' is generated by Young symmetrized tensor products W*U or U*W, where W and U are covariant tensors of order 2 and 3 whose symmetry classes are irreducible and characterized by the following pairs of partitions: {(2),(3)}, {(2),(2 1)} or {(1 1),(2 1)}. Each of the partitions (2), (3) and (1 1) describes exactly one symme… ▽ More We show that the space of algebraic covariant derivative curvature tensors R' is generated by Young symmetrized tensor products W*U or U*W, where W and U are covariant tensors of order 2 and 3 whose symmetry classes are irreducible and characterized by the following pairs of partitions: {(2),(3)}, {(2),(2 1)} or {(1 1),(2 1)}. Each of the partitions (2), (3) and (1 1) describes exactly one symmetry class, whereas the partition (2 1) characterizes an infinite set S of irreducible symmetry classes. This set S contains exactly one symmetry class S_0 whose elements U can not play the role of generators of tensors R'. The tensors U of all other symmetry classes from S\{S_0} can be used as generators for tensors R'. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[Sr], the Littlewood-Richardson rule and discrete Fourier transforms for symmetric groups Sr. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS. △ Less

Submitted 2 October, 2003; originally announced October 2003.

Comments: 18 pages. Chapter for a book "Progress in Computer Science Research", in preparation by Nova Science Publishers, Inc.: http://www.novapublishers.com/

MSC Class: 53B20; 15A72; 05E10; 16D60; 05-04

Journal ref: In: Leading-Edge Computer Science, S. Shannon (ed.), Nova Science Publishers, Inc. New York, 2006. pp. 219-239. ISBN: 1-59454-526-X

Bifurcations without parameters: some ODE and PDE examples

Authors: Bernold Fiedler, Stefan Liebscher

Abstract: Standard bifurcation theory is concerned with families of vector fields $dx/dt = f(x,λ)$, $x \in \R^n$, involving one or several constant real parameters $λ$. Viewed as a differential equation for the pair $(x,λ)$, we observe a foliation of the total phase space by constant $λ$. Frequently, the presence of a trivial stationary solution $x=0$ is also imposed: $0 = f(0,λ)$. Bifurcation without p… ▽ More Standard bifurcation theory is concerned with families of vector fields $dx/dt = f(x,λ)$, $x \in \R^n$, involving one or several constant real parameters $λ$. Viewed as a differential equation for the pair $(x,λ)$, we observe a foliation of the total phase space by constant $λ$. Frequently, the presence of a trivial stationary solution $x=0$ is also imposed: $0 = f(0,λ)$. Bifurcation without parameters, in contrast, discards the foliation by a constant parameter $λ$. Instead, we consider systems $dx/dt = f(x,y), dy/dt = g(x,y)$. Standard bifurcation theory then corresponds to the special case $y=λ, g=0$. To preserve only the trivial solution $x=0$, instead, we only require $0 = f(0,y) = g(0,y)$ for all $y$. A rich dynamic phenomenology arises, when normal hyperbolicity of the trivial stationary manifold $x=0$ fails, due to zero or purely imaginary eigenvalues of the Jacobian $f_x(0,y)$. Specifically, we address the cases of failure of normal hyperbolicity due to a simple eigenvalue zero, a simple purely imaginary pair (Hopf bifurcation without parameters), a double eigenvalue zero (Takens-Bogdanov bifurcation without parameters), and due to a double eigenvalue zero with additional time reversal symmetries. The results are joint work with Andrei Afendikov, James C. Alexander, and Stefan Liebscher. △ Less

Submitted 28 April, 2003; originally announced April 2003.

MSC Class: 34C23; 34C29; 34C37

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 3, 305--316

On the symmetry classes of the first covariant derivatives of tensor fields

Authors: B. Fiedler

Abstract: We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primiti… ▽ More We show that the symmetry classes of torsion-free covariant derivatives $\nabla T$ of r-times covariant tensor fields T can be characterized by Littlewood-Richardson products $σ[1]$ where $σ$ is a representation of the symmetric group $S_r$ which is connected with the symmetry class of T. If $σ= [λ]$ is irreducible then $σ[1]$ has a multiplicity free reduction $[λ][1] = \sum [μ]$ and all primitive idempotents belonging to that sum can be calculated from a generating idempotent e of the symmetry class of T by means of the irreducible characters or of a discrete Fourier transform of $S_{r+1}$. We apply these facts to derivatives $\nabla S$, $\nabla A$ of symmetric or alternating tensor fields. The symmetry classes of the differences $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ are characterized by Young frames (r, 1) and (2, 1^{r-1}), respectively. However, while the symmetry class of $\nabla A - alt(\nabla A)$ can be generated by Young symmetrizers of (2, 1^{r-1}), no Young symmetrizer of (r, 1) generates the symmetry class of $\nabla S - sym(\nabla S)$. Furthermore we show in the case r = 2 that $\nabla S - sym(\nabla S)$ and $\nabla A - alt(\nabla A)$ can be applied in generator formulas of algebraic covariant derivative curvature tensors. For certain symbolic calculations we used the Mathematica packages Ricci and PERMS. △ Less

Submitted 6 January, 2003; originally announced January 2003.

Comments: 21 pages. Sent in to Seminaire Lotharingien de Combinatoire: http://www.mat.univie.ac.at/~slc/

MSC Class: 53B20; 15A72; 05E10; 16D60; 05-04

Journal ref: Seminaire Lotharingien de Combinatoire, 49 (2003) Article B49f

Determination of the structure of algebraic curvature tensors by means of Young symmetrizers

Authors: B. Fiedler

Abstract: For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford commutation relations. We show by means of Young symmetrizers and a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins that every algebraic cu… ▽ More For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford commutation relations. We show by means of Young symmetrizers and a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins that every algebraic curvature tensor has a structure which is very similar to that of the above Osserman curvature tensors. We verify our results by means of the Littlewood-Richardson rule and plethysms. For certain symbolic calculations we used the Mathematica packages MathTensor, Ricci and PERMS. △ Less

Submitted 23 December, 2002; v1 submitted 19 December, 2002; originally announced December 2002.

Comments: 19 pages. To appear Seminaire Lotharingien de Combinatoire: http://www.mat.univie.ac.at/~slc/

MSC Class: 53B20; 15A72; 05E10; 16D60; 05-04

Journal ref: Seminaire Lotharingien de Combinatoire, 48 (2003) Article B48d

Ideal decompositions and computation of tensor normal forms

Authors: B. Fiedler

Abstract: Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give… ▽ More Symmetry properties of r-times covariant tensors T can be described by certain linear subspaces W of the group ring K[S_r] of a symmetric group S_r. If for a class of tensors T such a W is known, the elements of the orthogonal subspace W^{\bot} of W within the dual space of K[S_r] yield linear identities needed for a treatment of the term combination problem for the coordinates of the T. We give the structure of these W for every situation which appears in symbolic tensor calculations by computer. Characterizing idempotents of such W can be determined by means of an ideal decomposition algorithm which works in every semisimple ring up to an isomorphism. Furthermore, we use tools such as the Littlewood-Richardson rule, plethysms and discrete Fourier transforms for S_r to increase the efficience of calculations. All described methods were implemented in a Mathematica package called PERMS. △ Less

Submitted 9 November, 2002; originally announced November 2002.

Comments: 16 pages

MSC Class: 16D60; 15A72; 05E10; 16D70; 16S50; 05-04

Journal ref: Seminaire Lotharingien de Combinatoire, 45 (2001) Article B45g. http://www.mat.univie.ac.at/~slc/wpapers/s45fiedler.html

Nilpotent Szabo, Osserman and Ivanov-Petrova pseudo-Riemannian manifolds

Authors: B. Fiedler, P. Gilkey

Abstract: We exhibit pseudo Riemannian manifolds which are Szabó nilpotent of arbitrary order, or which are Osserman nilpotent of arbitrary order, or which are Ivanov-Petrova nilpotent of order 3. We exhibit pseudo Riemannian manifolds which are Szabó nilpotent of arbitrary order, or which are Osserman nilpotent of arbitrary order, or which are Ivanov-Petrova nilpotent of order 3. △ Less

Submitted 5 November, 2002; originally announced November 2002.

MSC Class: 53B20