Related papers: Periodic-point structures on parametrized spectra:…
Complex periodic structures inherit spectral properties from the constituent parts of their unit cells, chiefly their spectral band gaps. Exploiting this intuitive principle, which is made precise in this work, means spectral features of…
We show that every sheaf on the site of smooth manifolds with values in a stable (infinity,1)-category (like spectra or chain complexes) gives rise to a differential cohomology diagram and a homotopy formula, which are common features of…
In this paper we study the existence and uniqueness of fixed points of a class of mappings defined on complete, (sequentially compact) cone metric spaces, without continuity conditions and depending on another function.
Summary: A system of autonomous ordinary differential equations depending on a small parameter is considered such that the unperturbed system has an invariant manifold of periodic solutions that is not normally hyperbolic but is normally…
Point-determining graphs are graphs in which no two vertices have the same neighborhoods, co-point-determining graphs are those whose complements are point-determining, and bi-point-determining graphs are those both point-determining and…
The fundamental model of a periodic structure is a periodic point set up to rigid motion or isometry. Our recent paper in SoCG 2021 defined isometry invariants (density functions), which are complete in general position and continuous under…
Connected branches of periodic orbits originating at a Hopf bifurcation point of a differential system are considered. A computable estimate for the range of amplitudes of periodic orbits contained in the branch is provided under the…
If there exists a set of canonical classes on a compact Hamiltonian-$T$-spaces in the sense of Goldin and Tolman, we derive some formulas for certain equivariant structure constants in terms of other equivariant structure constants and the…
Fixpoint operators are tools to reason on recursive programs and data types obtained by induction (e.g. lists, trees) or coinduction (e.g. streams). They were given a categorical treatment with the notion of categories with fixpoints. A…
We study the structure of adic curves over an affinoid field of arbitrary rank. In particular, quite analogously to Berkovich geometry we classify points on curves, prove a semistable reduction theorem in the version of Ducros'…
Bifurcation analysis collects techniques for characterizing the dependence of certain classes of solutions of a dynamical system on variations in problem parameters. Common solution classes of interest include equilibria and periodic…
We construct a map from the suspension $G$-spectrum $\Sigma_G^\infty M$ of a smooth compact $G$-manifold to the equivariant $A$-theory spectrum $A_G(M)$, and we show that its fiber is, on fixed points, a wedge of stable $h$-cobordism…
In this paper, we discuss the existence of fixed points for integral type contractions in uniform spaces endowed with both a graph and an $E$-distance. We also give two sufficient conditions under which the fixed point is unique. Our main…
There exists a variety of physically interesting situations described by continuous maps that are nondifferentiable on some surface in phase space. Such systems exhibit novel types of bifurcations in which multiple coexisting attractors can…
Specification languages are essential in deductive program verification, but they are usually based on first-order logic, hence less expressive than the programs they specify. Recently, trace specification logics with fixed points that are…
We want to replace categories, functors and natural transformations by categories, open functors and open natural transformations. In analogy with open dynamical systems, the adjective open is added here to mean that some external…
This note aims at obtaining a variational characterization of complex structures by means of a calculus of variations for real vector bundle valued differential forms, and outlines a perspective to study existence questions via functionals…
We study local bifurcations of periodic solutions to time-periodic (systems of) integrodifference equations over compact habitats. Such infinite-dimensional discrete dynamical systems arise in theoretical ecology as models to describe the…
We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant…
We study existence and non-existence of constant scalar curvature metrics conformal and arbitrarily close to homogeneous metrics on spheres, using variational techniques. This describes all critical points of the Hilbert-Einstein functional…