Showing 1–19 of 19 results for author: Marzantowicz, W

Dold coefficients of quasi-unipotent homeomorphisms of orientable surfaces

Authors: Grzegorz Graff, Wacław Marzantowicz, Łukasz Patryk Michalak

Abstract: The sequence of Dold coefficients $(a_n(f))$ of a self-map $f\colon X \to X$ forms a dual sequence to the sequence of Lefschetz numbers $(L(f^n))$ of iterations of $f$ under the Möbius inversion formula. The set ${\mathcal AP}(f) = \{ n \,\colon\, a_n(f) \neq 0 \}$ is called the set of algebraic periods of $f$. Both the set of algebraic periods and sequence of Dold coefficients play an important r… ▽ More The sequence of Dold coefficients $(a_n(f))$ of a self-map $f\colon X \to X$ forms a dual sequence to the sequence of Lefschetz numbers $(L(f^n))$ of iterations of $f$ under the Möbius inversion formula. The set ${\mathcal AP}(f) = \{ n \,\colon\, a_n(f) \neq 0 \}$ is called the set of algebraic periods of $f$. Both the set of algebraic periods and sequence of Dold coefficients play an important role in dynamical systems and periodic point theory. In this work we provide a description of surface homeomorphisms with bounded $(L(f^n))$ (quasi-unipotent maps) in terms of Dold coefficients. We also discuss the problem of minimization of the genus of a surface for which one can realize a given set of natural numbers as the set of algebraic periods. Finally, we compute and list all possible Dold coefficients and algebraic periods for a given orientable surface with small genus and give some geometrical applications of the obtained results. △ Less

Submitted 28 May, 2025; v1 submitted 28 November, 2024; originally announced November 2024.

MSC Class: Primary: 37C25; Secondary: 55M20; 37E30; 37D15

Journal ref: Qual. Theory Dyn. Syst. 24 (2025), article no. 116

Every finite set of natural numbers is realizable as algebraic periods of a Morse$\unicode{x2013}$Smale diffeomorphism

Authors: Grzegorz Graff, Wacław Marzantowicz, Łukasz Patryk Michalak, Adrian Myszkowski

Abstract: A given self-map $f\colon M\to M$ of a compact manifold determines the sequence $(L(f^n))$ of the Lefschetz numbers of its iterations. We consider its dual sequence $(a_n(f))$ given by the Möbius inversion formula. The set ${\mathcal AP}(f)=\{ n\in \mathbb N\ \colon\ a_n(f)\neq 0\}$ is called the set of algebraic periods. We solve an open problem existing in literature by showing that for every… ▽ More A given self-map $f\colon M\to M$ of a compact manifold determines the sequence $(L(f^n))$ of the Lefschetz numbers of its iterations. We consider its dual sequence $(a_n(f))$ given by the Möbius inversion formula. The set ${\mathcal AP}(f)=\{ n\in \mathbb N\ \colon\ a_n(f)\neq 0\}$ is called the set of algebraic periods. We solve an open problem existing in literature by showing that for every finite subset ${\mathcal A}$ of natural numbers there exist an orientable surface $S_{\rm g}$, as well as a non-orientable surface $N_{\rm g}$, of genus ${\rm g}$, and a Morse$\unicode{x2013}$Smale diffeomorphism $f$ of this surface such that $\mathcal{AP}(f)=\mathcal{A}$. For such a map it implies the existence of points of a minimal period $n$ for each odd $n \in \mathcal{A}$. For the orientation-reversing Morse$\unicode{x2013}$Smale diffeomorphisms of $S_{\rm g}$, we identify strong restrictions on ${\mathcal AP}(f)$. Our method also provides an estimate of the number of conjugacy classes of mapping classes containing Morse$\unicode{x2013}$Smale diffeomorphisms, which is exponential in ${\rm g}$. △ Less

Submitted 28 May, 2025; v1 submitted 22 August, 2024; originally announced August 2024.

MSC Class: Primary: 37C25 37E30; 57K20; Secondary: 55M20; 37D15

Journal ref: Discrete Contin. Dyn. Syst. 45 (2025), no. 11, 4510-4528

Equivariant covering type and the number of vertices in equivariant triangulations

Authors: Dejan Govc, Waclaw Marzantowicz, Petar Pavesic

Abstract: We introduce the notion of the \emph{equivariant covering type} of a space $X$ on which a finite group $G$ acts, and study its properties. The equivariant covering type measures the size of $G$-equivariant good covers of $X$ and is thus an extension of the \emph{covering type} of a space, introduced by Karoubi and Weibel. We show that the equivariant covering type is a $G$-homotopy invariant and d… ▽ More We introduce the notion of the \emph{equivariant covering type} of a space $X$ on which a finite group $G$ acts, and study its properties. The equivariant covering type measures the size of $G$-equivariant good covers of $X$ and is thus an extension of the \emph{covering type} of a space, introduced by Karoubi and Weibel. We show that the equivariant covering type is a $G$-homotopy invariant and describe its relation with other $G$-invariants, like the equivariant LS-category, $G$-genus and the multiplicative structures of equivariant cohomology theories. We also compute the $G$-covering type of regular $G$-graphs, give estimates for orientation-preserving actions on surfaces and for the projectivizations of complex representations of $G$ and cohomology spheres. As an application, we derive estimates of sizes of minimal $G$-triangulations for various $G$-spaces. △ Less

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

Comments: Revised version with a new title

MSC Class: 55M30; 57Q15; 57R05

Estimates of covering type and minimal triangulations based on category weight

Authors: Dejan Govc, Waclaw Marzantowicz, Petar Pavesic

Abstract: In a recent publication (D. Govc, W. Marzantowicz, P. Pavesic, Estimates of covering type and the number of vertices of minimal triangulations, Discr. Comp. Geom. 63 (2019), 31-48) we have introduced a new method, based on the Lusternik-Schnirelmann category and the cohomology ring of a space X, that yields lower bounds for the size of a triangulation of X. In this paper we present an important ex… ▽ More In a recent publication (D. Govc, W. Marzantowicz, P. Pavesic, Estimates of covering type and the number of vertices of minimal triangulations, Discr. Comp. Geom. 63 (2019), 31-48) we have introduced a new method, based on the Lusternik-Schnirelmann category and the cohomology ring of a space X, that yields lower bounds for the size of a triangulation of X. In this paper we present an important extension that takes into account the fundamental group of X. In fact, if it contains elements of finite order, then one can often find cohomology classes of high 'category weight', which in turn allow for much stronger estimates of the size of triangulations of X. We develop several weighted estimates and then apply our method to compute explicit lower bounds for the size of triangulations of orbit spaces of cyclic group actions on a variety of spaces including products of spheres, Stiefel manifolds, Lie groups and highly-connected manifolds. △ Less

Submitted 24 March, 2022; v1 submitted 22 August, 2021; originally announced August 2021.

MSC Class: Primary 55M; Secondary 55M30; 57Q15; 57R05

Estimate of number of simplices of triangulations of Lie groups

Authors: Haibao Duan, Wacław Marzantowicz, Xuezhi Zhao

Abstract: We present estimates of number of simplices of given dimension of classical compact Lie groups. As in the previous work \cite{GMP2} the approach is a combination of an estimate of number of vertices with a use of valuation of the covering type by cohomological argument of \cite{GMP} and application of the recent versions of the Lower Bound Theorem of combinatorial topology. For the case of excepti… ▽ More We present estimates of number of simplices of given dimension of classical compact Lie groups. As in the previous work \cite{GMP2} the approach is a combination of an estimate of number of vertices with a use of valuation of the covering type by cohomological argument of \cite{GMP} and application of the recent versions of the Lower Bound Theorem of combinatorial topology. For the case of exceptional Lie groups we made a complete calculation using the description of their cohomology rings given by the first and third author. For infinite increasing series of Lie groups of growing dimension $d$ the rate of growth of number of simplices of highest dimension is given which extends onto the case of simplices of (fixed) codimension $d-i$. △ Less

Submitted 5 April, 2021; v1 submitted 29 March, 2020; originally announced March 2020.

MSC Class: 57Q15; 52B05; 57T10

Journal ref: Topology and its Applications, Volume 293, 15 April 2021, 107559

Relations between Reeb graphs, systems of hypersurfaces and epimorphisms onto free groups

Authors: Wacław Marzantowicz, Łukasz Patryk Michalak

Abstract: We construct a correspondence between epimorphisms $\varphi \colon π_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which induces a bijection onto framed cobordism classes of such systems. In consequence, for closed manifolds any such $\varphi$ can be represented by the Reeb epimorph… ▽ More We construct a correspondence between epimorphisms $\varphi \colon π_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which induces a bijection onto framed cobordism classes of such systems. In consequence, for closed manifolds any such $\varphi$ can be represented by the Reeb epimorphism of a Morse function $f\colon M \to \mathbb{R}$, i.e. by the epimorphism induced by the quotient map $M \to \mathcal{R}(f)$ onto the Reeb graph of $f$. Applying this construction we discuss the problem of classification up to (strong) equivalence of epimorphisms onto free groups, providing a new purely geometrical-topological proof of the solution of this problem for surface groups. △ Less

Submitted 4 March, 2024; v1 submitted 6 February, 2020; originally announced February 2020.

Comments: Published in Fundamenta Mathematicae (online first)

MSC Class: 20F65 (Primary); 57M15; 57R90 (Secondary)

Journal ref: Fundamenta Mathematicae 265 (2024), 97-140

How many simplices are needed to triangulate a Grassmannian?

Authors: Dejan Govc, Wacław Marzantowicz, Petar Pavešić

Abstract: We compute a lower bound for the number of simplices that are needed to triangulate the Grassmann manifold $G_k(\mathbb{R}^n)$. In particular, we show that the number of top-dimensional simplices grows exponentially with $n$. More precise estimates are given for $k=2,3,4$. Our method can be used to estimate the minimal size of triangulations for other spaces, like Lie groups, flag manifolds, Stief… ▽ More We compute a lower bound for the number of simplices that are needed to triangulate the Grassmann manifold $G_k(\mathbb{R}^n)$. In particular, we show that the number of top-dimensional simplices grows exponentially with $n$. More precise estimates are given for $k=2,3,4$. Our method can be used to estimate the minimal size of triangulations for other spaces, like Lie groups, flag manifolds, Stiefel manifolds etc. △ Less

Submitted 22 January, 2020; originally announced January 2020.

MSC Class: 57Q15; 52B05; 52B70; 14M15

Geometrically distinct solutions given by symmetries of variational problems with the $O(N)$-symmetry

Authors: Wacław Marzantowicz

Abstract: For variational problems with $O(N)$-symmetry the existence of several geometrically distinct solutions had been shown by use of group theoretic approach in previous articles. It was done by a crafty choice of a family $H_i \subset O(N)$ subgroups such that the fixed point subspaces $E^{H_i} \subset E$ of the action in a corresponding functional space are linearly independent, next restricting the… ▽ More For variational problems with $O(N)$-symmetry the existence of several geometrically distinct solutions had been shown by use of group theoretic approach in previous articles. It was done by a crafty choice of a family $H_i \subset O(N)$ subgroups such that the fixed point subspaces $E^{H_i} \subset E$ of the action in a corresponding functional space are linearly independent, next restricting the problem to each $E^{H_i}$ and using the Palais symmetry principle. In this work we give a thorough explanation of this approach showing a correspondence between the equivalence classes of such subgroups, partial orthogonal flags in $\mathbb{R}^N$, and unordered partitions of the number $N$. By showing that spaces of functions invariant with respect to different classes of groups are linearly independent we prove that the amount of series of geometrically distinct solutions obtained in this way grows exponentially in $N$, in contrast to logarithmic, and linear growths of earlier papers. △ Less

Submitted 27 September, 2018; v1 submitted 22 November, 2017; originally announced November 2017.

Comments: 27 pages

MSC Class: 35J50; 58E40 (Primary); 11P81; 20C (Secondary)

Journal ref: Communications in Contemporary Mathematics, (2018) 1850080 (34 pages)

Estimates of covering type and the number of vertices of minimal triangulations

Authors: Dejan Govc, Wacław Marzantowicz, Petar Pavešić

Abstract: The covering type of a space $X$ is defined as the minimal cardinality of a good cover of a space that is homotopy equivalent to $X$. We derive estimates for the covering type of $X$ in terms of other invariants of $X$, namely the ranks of the homology groups, the multiplicative structure of the cohomology ring and the Lusternik-Schnirelmann category of $X$. By relating the covering type to the nu… ▽ More The covering type of a space $X$ is defined as the minimal cardinality of a good cover of a space that is homotopy equivalent to $X$. We derive estimates for the covering type of $X$ in terms of other invariants of $X$, namely the ranks of the homology groups, the multiplicative structure of the cohomology ring and the Lusternik-Schnirelmann category of $X$. By relating the covering type to the number of vertices of minimal triangulations of complexes and combinatorial manifolds, we obtain, within a unified framework, several estimates which are either new or extensions of results that have been previously obtained by ad hoc combinatorial arguments. Moreover, our methods give results that are valid for entire homotopy classes of spaces. △ Less

Submitted 28 June, 2019; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: Corrected some statements and proofs, mostly in Section 4

MSC Class: Primary 55M; Secondary 55M30; 57Q15; 57R05

Equivariant maps between representation spheres

Authors: Zbigniew Błaszczyk, Wacław Marzantowicz, Mahender Singh

Abstract: Let $G$ be a compact Lie group. We prove that if $V$ and $W$ are orthogonal $G$-representations such that $V^G=W^G=\{0\}$, then a $G$-equivariant map $S(V) \to S(W)$ exists provided that $\dim V^H \leq \dim W^H$ for any closed subgroup $H\subseteq G$. This result is complemented by a reinterpretation in terms of divisibility of certain Euler classes when $G$ is a torus. Let $G$ be a compact Lie group. We prove that if $V$ and $W$ are orthogonal $G$-representations such that $V^G=W^G=\{0\}$, then a $G$-equivariant map $S(V) \to S(W)$ exists provided that $\dim V^H \leq \dim W^H$ for any closed subgroup $H\subseteq G$. This result is complemented by a reinterpretation in terms of divisibility of certain Euler classes when $G$ is a torus. △ Less

Submitted 5 December, 2017; v1 submitted 5 April, 2017; originally announced April 2017.

Comments: The previous Subsection 4.1 and Section 5 are removed, as they relied on a false result from another paper: it is not true that the localization of the integral cohomology ring of the classifying space of $G = (\mathbb{S}^1)^k \times (\mathbb{Z}_p)^l$ with respect to the set of Euler classes of complex $G$-representations without a trivial direct summand is non-zero. 10 pages, no figures

MSC Class: 55S37 (primary); 55M20; 55S35; 55N91 (secondary)

Journal ref: Bull. Belg. Math. Soc. Simon Stevin 24, Number 4 (2017), 621-630

Topology of unavoidable complexes

Authors: Duško Jojić, Wacław Marzantowicz, Siniša T. Vrećica, Rade T. Živaljević

Abstract: The partition number $π(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. We say that a complex $K$ is globally $r$-non-embeddable in $\mathbb{R}^d$ if for each continuous map $f: | K| \rightarrow \mathbb{R}^d$ th… ▽ More The partition number $π(K)$ of a simplicial complex $K\subset 2^{[m]}$ is the minimum integer $ν$ such that for each partition $A_1\uplus\ldots\uplus A_ν= [m]$ of $[m]$ at least one of the sets $A_i$ is in $K$. A complex $K$ is $r$-unavoidable if $π(K)\leq r$. We say that a complex $K$ is globally $r$-non-embeddable in $\mathbb{R}^d$ if for each continuous map $f: | K| \rightarrow \mathbb{R}^d$ there exist $r$ vertex disjoint faces $σ_1,\ldots, σ_r$ of $| K|$ such that $f(σ_1)\cap\ldots\cap f(σ_r)\neq\emptyset$. Motivated by the problems of Tverberg-Van Kampen-Flores type we prove several results (Theorems 3.6, 3.9, 4.6) which link together the combinatorics and topology of these two classes of complexes. One of our central observations (Theorem 4.6), summarizing and extending results of G. Schild, B. Grünbaum and many others, is that interesting examples of (globally) $r$-non-embeddable complexes can be found among the joins $K = K_1\ast\ldots\ast K_s$ of $r$-unavoidable complexes. △ Less

Submitted 16 September, 2018; v1 submitted 28 March, 2016; originally announced March 2016.

Comments: The paper has undergone a major revision. There is a new coauthor (W. Marzantowicz) and the title was changed ("topology and combinatorics" replaced by "topology") which reflects the fact that the combinatorics of unavoidable complexes is now a separate project, see arXiv:1612.09487 [math.CO]

MSC Class: 05E45; 57Q35; 57Q91

General Bourgin-Yang theorems

Authors: Zbigniew Błaszczyk, Wacław Marzantowicz, Mahender Singh

Abstract: We describe a unified approach to estimating the dimension of $f^{-1}(A)$ for any $G$-equivariant map $f \colon X \to Y$ and any closed $G$-invariant subset $A\subseteq Y$ in terms of connectivity of $X$ and dimension of $Y$, where $G$ is either a cyclic group of order $p^k$, a $p$-torus ($p$ a prime), or a torus. We describe a unified approach to estimating the dimension of $f^{-1}(A)$ for any $G$-equivariant map $f \colon X \to Y$ and any closed $G$-invariant subset $A\subseteq Y$ in terms of connectivity of $X$ and dimension of $Y$, where $G$ is either a cyclic group of order $p^k$, a $p$-torus ($p$ a prime), or a torus. △ Less

Submitted 30 September, 2018; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: Final version. Numerous minor improvements throughout the text to improve readability. 19 pages, no figures

MSC Class: 55M20; 57S10 (primary); 55N91 (secondary)

Journal ref: Topology Appl. 249 (2018), 112-126

On Representation of the Reeb Graph as a Sub-Complex of Manifold

Authors: Marek Kaluba, Wacław Marzantowicz, Nelson Silva

Abstract: The Reeb graph $\mathcal{R}(f) $ is one of the fundamental invariants of a smooth function $f\colon M\to \mathbb{R} $ with isolated critical points. It is defined as the quotient space $M/_{\!\sim}$ of the closed manifold $M$ by a relation that depends on $f$. Here we construct a $1$-dimensional complex $Γ(f)$ embedded into $M$ which is homotopy equivalent to $\mathcal{R}(f)$. As a consequence we… ▽ More The Reeb graph $\mathcal{R}(f) $ is one of the fundamental invariants of a smooth function $f\colon M\to \mathbb{R} $ with isolated critical points. It is defined as the quotient space $M/_{\!\sim}$ of the closed manifold $M$ by a relation that depends on $f$. Here we construct a $1$-dimensional complex $Γ(f)$ embedded into $M$ which is homotopy equivalent to $\mathcal{R}(f)$. As a consequence we show that for every function $f$ on a manifold with finite fundamental group, the Reeb graph of $f$ is a tree. If $π_1(M)$ is an abelian group, or more general, a discrete amenable group, then $\mathcal{R}(f)$ contains at most one loop. Finally we prove that the number of loops in the Reeb graph of every function on a surface $M_g$ is estimated from above by $g$, the genus of $M_g$. △ Less

Submitted 18 May, 2014; originally announced May 2014.

Comments: 18 pages

MSC Class: primary: 57N65; 57R70; secondary: 57M50; 58K65

Journal ref: Topological Methods in Nonlinear Analysis, Vol. 45, No. 1, March 2015

On the interspike-intervals of periodically-driven integrate-and-fire models

Authors: Wacław Marzantowicz, Justyna Signerska

Abstract: We analyze properties of the firing map, which iterations give information about consecutive spikes, for periodically driven linear integrate-and-fire models. By considering locally integrable (thus in general not continuous) input functions, we generalize some results of other authors. In particular we prove theorems concerning continuous dependence of the firing map on the input in suitable func… ▽ More We analyze properties of the firing map, which iterations give information about consecutive spikes, for periodically driven linear integrate-and-fire models. By considering locally integrable (thus in general not continuous) input functions, we generalize some results of other authors. In particular we prove theorems concerning continuous dependence of the firing map on the input in suitable function spaces. Using mathematical study of the displacement sequence of an orientation preserving circle homeomorphism, we provide also a complete description of the regularity properties of the sequence of interspike-intervals and behaviour of the interspike-interval distribution. Our results allow to explain some facts concerning this distribution observed numerically by other authors. These theoretical findings are illustrated by carefully chosen computational examples. △ Less

Submitted 11 April, 2013; originally announced April 2013.

MSC Class: 37E10; 37E45; 37M25; 37A05; 92B20

A new approach to the equivariant topological complexity

Authors: Wojciech Lubawski, Wacław Marzantowicz

Abstract: We present a new approach to equivariant version of the topological complexity, called a symmetric topological complexity. It seems that the presented approach is more adequate for the analysis of an impact of symmetry on the the motion planning algoritm than the one introduced and studied by Colman and Grant. We show many bounds for the symmetric topological complexity comparing it with already k… ▽ More We present a new approach to equivariant version of the topological complexity, called a symmetric topological complexity. It seems that the presented approach is more adequate for the analysis of an impact of symmetry on the the motion planning algoritm than the one introduced and studied by Colman and Grant. We show many bounds for the symmetric topological complexity comparing it with already known invariants and prove that in the case of a free action it is equal to the Farber's topological complexity of the orbit space. We define the Whitehead version of it. △ Less

Submitted 9 July, 2014; v1 submitted 1 March, 2013; originally announced March 2013.

Comments: 18 pages, new 3 figures, minor bugs and misprints fixed

MSC Class: 55M99; 57S10 (Primary); 55M30; 55R91 (Secondary)

Bourgin-Yang versions of the Borsuk-Ulam theorem for $p$-toral groups

Authors: Wacław Marzantowicz, Denise de Mattos, Edivaldo L. dos Santos

Abstract: Let $V$ and $W$ be orthogonal representations of $G$ with $V^G= W^G=\{0\}$. Let $S(V )$ be the sphere of $V$ and $f : S(V ) \to W$ be a $G$-equivariant mapping. We give an estimate for the dimension of the set $Z_f=f^{-1}\{0\}$ in terms of $ \dim V$ and $\dim W$, if $G$ is the torus $\mathbb T^k$, or the $p$-torus $\mathbb Z_p^k$. This extends the classical Bourgin-Yang theorem onto this class of… ▽ More Let $V$ and $W$ be orthogonal representations of $G$ with $V^G= W^G=\{0\}$. Let $S(V )$ be the sphere of $V$ and $f : S(V ) \to W$ be a $G$-equivariant mapping. We give an estimate for the dimension of the set $Z_f=f^{-1}\{0\}$ in terms of $ \dim V$ and $\dim W$, if $G$ is the torus $\mathbb T^k$, or the $p$-torus $\mathbb Z_p^k$. This extends the classical Bourgin-Yang theorem onto this class of groups. Finally, we show that for any $p$-toral group $G$ and a $G$-map $f:S(V) \to W$, with $\dim V=\infty$ and $\dim W<\infty$, we have $\dim Z_f= \infty$. △ Less

Submitted 17 August, 2016; v1 submitted 6 February, 2013; originally announced February 2013.

Comments: Major revision

MSC Class: 55M20 (Primary); 55M35; 55N91; 57S17 (Secondary)

Displacement sequence of an orientation preserving circle homeomorphism

Authors: Wacław Marzantowicz, Justyna Signerska

Abstract: We give a complete description of the behaviour of the sequence of displacements $η_n(z)=Φ^n(x) - Φ^{n-1}(x) \ \rmod \ 1$, $z=\exp(2π\rmi x)$, along a trajectory $\{\varphi^{n}(z)\}$, where $\varphi$ is an orientation preserving circle homeomorphism and $Φ:\mathbb{R} \to \mathbb{R}$ its lift. If the rotation number $\varrho(\varphi)=\frac{p}{q}$ is rational then $η_n(z)$ is asymptotically periodic… ▽ More We give a complete description of the behaviour of the sequence of displacements $η_n(z)=Φ^n(x) - Φ^{n-1}(x) \ \rmod \ 1$, $z=\exp(2π\rmi x)$, along a trajectory $\{\varphi^{n}(z)\}$, where $\varphi$ is an orientation preserving circle homeomorphism and $Φ:\mathbb{R} \to \mathbb{R}$ its lift. If the rotation number $\varrho(\varphi)=\frac{p}{q}$ is rational then $η_n(z)$ is asymptotically periodic with semi-period $q$. This convergence to a periodic sequence is uniform in $z$ if we admit that some points are iterated backward instead of taking only forward iterations for all $z$. If $\varrho(\varphi) \notin \mathbb{Q}$ then the values of $η_n(z)$ are dense in a set which depends on the map $γ$ (semi-)conjugating $\varphi$ with the rotation by $\varrho(\varphi)$ and which is the support of the displacements distribution. We provide an effective formula for the displacement distribution if $\varphi$ is $C^1$-diffeomorphism and show approximation of the displacement distribution by sample displacements measured along a trajectory of any other circle homeomorphism which is sufficiently close to the initial homeomorphism $\varphi$. Finally, we prove that even for the irrational rotation number $\varrho$ the displacement sequence exhibits some regularity properties. △ Less

Submitted 12 October, 2012; originally announced October 2012.

Comments: 18 pages, 1 figure

MSC Class: 37E10; 37E30; 37N25

Firing map of an almost periodic input function

Authors: W. Marzantowicz, J. Signerska

Abstract: In mathematical biology and the theory of electric networks the firing map of an integrate-and-fire system is a notion of importance. In order to prove useful properties of this map authors of previous papers assumed that the stimulus function f of the system \dot{x}= f(t,x) is continuous and usually periodic in the time variable. In this work we show that the required properties of the firing map… ▽ More In mathematical biology and the theory of electric networks the firing map of an integrate-and-fire system is a notion of importance. In order to prove useful properties of this map authors of previous papers assumed that the stimulus function f of the system \dot{x}= f(t,x) is continuous and usually periodic in the time variable. In this work we show that the required properties of the firing map for the simplified model \dot{x}=f(t) still hold if f \in L_{loc}^1(R) and f is an almost periodic function. Moreover, in this way we prepare a formal framework for next study of a discrete dynamics of the firing map arising from almost periodic stimulus that gives information on consecutive resets (spikes). △ Less

Submitted 16 June, 2011; originally announced June 2011.

Estimates of the topological entropy from below for continuous self-maps on some compact manifolds

Authors: W. Marzantowicz, F. Przytycki

Abstract: Extending our results in "Entropy conjecture for continuous maps of nilmanifolds", to appear in Israel Jour. of Math., we confirm that Entropy Conjecture holds for every continuous self-map of a compact $K(π,1)$ manifold with the fundamental group $π$ torsion free and virtually nilpotent, in particular for every continuous map of an infra-nilmanifold. In fact we prove a stronger version, a lower… ▽ More Extending our results in "Entropy conjecture for continuous maps of nilmanifolds", to appear in Israel Jour. of Math., we confirm that Entropy Conjecture holds for every continuous self-map of a compact $K(π,1)$ manifold with the fundamental group $π$ torsion free and virtually nilpotent, in particular for every continuous map of an infra-nilmanifold. In fact we prove a stronger version, a lower estimate of the topological entropy of a map by logarithm of the spectral radius of an associated "linearization matrix" with integer entries. From this, referring to known estimates of Mahler measure of polynomials, we deduce some absolute lower bounds for the entropy. △ Less

Submitted 11 May, 2007; originally announced May 2007.

Comments: 13 pages

MSC Class: 37B40