-
Master Stability Function for networks of coupled non-smooth oscillators
Authors:
Volodymyr Denysenko,
Marek Balcerzak,
Artur Dabrowski
Abstract:
This paper describes extension of the Master Stability Function for arrays of non-smooth oscillators. This extension is based on the previously introduced Jacobi matrix estimation method, which can be applied to networks of non-smooth coupled oscillators. Proposed method and its limitations were described. Then the new algorithm was applied to calculate MSF for an impact oscillator. The results we…
▽ More
This paper describes extension of the Master Stability Function for arrays of non-smooth oscillators. This extension is based on the previously introduced Jacobi matrix estimation method, which can be applied to networks of non-smooth coupled oscillators. Proposed method and its limitations were described. Then the new algorithm was applied to calculate MSF for an impact oscillator. The results were presented and validated using an alternative MSF estimation method.
△ Less
Submitted 28 March, 2025; v1 submitted 25 March, 2025;
originally announced March 2025.
-
Fourier series-based algorithm for control optimization in pendulum capsule drive: an integrated computational and experimental study
Authors:
Sandra Zarychta,
Marek Balcerzak,
Katarzyna Wojdalska,
Rafał Dolny,
Jerzy Wojewoda
Abstract:
Pendulum-driven systems have emerged as a notable modification of vibro-impact mechanisms, replacing the conventional mass-on-spring oscillator with a pendulum. Such systems exhibit intricate behavior resulting from the interplay of directional dynamics, pendulum motion, and contact forces between the designed device and the underlying surface. This paper delves into the application of a Fourier s…
▽ More
Pendulum-driven systems have emerged as a notable modification of vibro-impact mechanisms, replacing the conventional mass-on-spring oscillator with a pendulum. Such systems exhibit intricate behavior resulting from the interplay of directional dynamics, pendulum motion, and contact forces between the designed device and the underlying surface. This paper delves into the application of a Fourier series-based greedy algorithm for control optimization in pendulum capsule drives, which hold potential for diverse scenarios, including endoscopy capsule robots, pipeline inspection, and rescue operations in confined spaces. The emphasis is placed on experimental studies involving prototype development to validate the system's efficacy with previous computational simulations. Empirical findings closely align (<2% loss) with numerical investigations, showcasing the pendulum capsule drive's ability to achieve average speeds of 2.48 cm/s and 2.58 cm/s for three and six harmonics, respectively. These results are reinforced by high-quality signal-tracking accuracy, which demonstrates resilience against potential disturbances during motion. The authors envision the Fourier series-based control optimization method as a significant step towards ensuring enhanced locomotion performance in discontinuous systems, effectively handling the non-linearities arising from dry friction.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
Topological complexity of ideal limit points
Authors:
Marek Balcerzak,
Szymon Glab,
Paolo Leonetti
Abstract:
Given an ideal $\mathcal{I}$ on the nonnegative integers $ω$ and a Polish space $X$, let $\mathscr{L}(\mathcal{I})$ be the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$. First, we show that $\mathscr{L}(\mathcal{I})$ may attain arbitrarily large Borel complexity. Second, we prove that if $\mathcal{I}$ is a $G_{δσ}$-ide…
▽ More
Given an ideal $\mathcal{I}$ on the nonnegative integers $ω$ and a Polish space $X$, let $\mathscr{L}(\mathcal{I})$ be the family of subsets $S\subseteq X$ such that $S$ is the set of $\mathcal{I}$-limit points of some sequence taking values in $X$. First, we show that $\mathscr{L}(\mathcal{I})$ may attain arbitrarily large Borel complexity. Second, we prove that if $\mathcal{I}$ is a $G_{δσ}$-ideal then all elements of $\mathscr{L}(\mathcal{I})$ are closed. Third, we show that if $\mathcal{I}$ is a simply coanalytic ideal and $X$ is first countable, then every element of $\mathscr{L}(\mathcal{I})$ is simply analytic. Lastly, we studied certain structural properties and the topological complexity of minimal ideals $\mathcal{I}$ for which $\mathscr{L}(\mathcal{I})$ contains a given set.
△ Less
Submitted 16 July, 2024;
originally announced July 2024.
-
Point-set games and functions with the hereditary small oscillation property
Authors:
Marek Balcerzak,
Tomasz Natkaniec,
Piotr Szuca
Abstract:
Given a metric space $X$, we consider certain families of functions $f:X\to\mathbb{R}$ having the hereditary oscillation property HSOP and the hereditary continuous restriction property HCRP on large sets. When $X$ is Polish, among them there are families of Baire measurable functions, $\overlineμ$-measurable functions (for a finite nonatomic Borel measure $μ$ on $X$) and Marczewski measurable fun…
▽ More
Given a metric space $X$, we consider certain families of functions $f:X\to\mathbb{R}$ having the hereditary oscillation property HSOP and the hereditary continuous restriction property HCRP on large sets. When $X$ is Polish, among them there are families of Baire measurable functions, $\overlineμ$-measurable functions (for a finite nonatomic Borel measure $μ$ on $X$) and Marczewski measurable functions. We obtain their characterizations using a class of equivalent point-set games. In similar aspects, we study cliquish functions, SZ-functions and countably continuous functions.
△ Less
Submitted 11 June, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Exploring iterative and non-iterative Fourier series-based methods of control optimization in application to a discontinuous capsule drive model
Authors:
Sandra Zarychta,
Marek Balcerzak,
Jerzy Wojewoda
Abstract:
The paper explains iterative and non-iterative approaches to control optimization with use of the Fourier series-based method. Both variants of the presented algorithm are used to numerically approximate optimal control of a discontinuous pendulum capsule drive. Firstly, the general algorithm and its two realizations (iterative and non-iterative) are presented. It is shown that the iterative varia…
▽ More
The paper explains iterative and non-iterative approaches to control optimization with use of the Fourier series-based method. Both variants of the presented algorithm are used to numerically approximate optimal control of a discontinuous pendulum capsule drive. Firstly, the general algorithm and its two realizations (iterative and non-iterative) are presented. It is shown that the iterative variant assures non-decreasing quality of solutions in subsequent repetitions of the procedure and the background of such guarantees is explained. A numerical example follows: control of a self-propelled capsule drive is optimized using both approaches. Results are compared and discussed. It is expected that the presented methods can be useful in optimal control estimation for complex systems, particularly discontinuous ones.
△ Less
Submitted 11 March, 2024;
originally announced March 2024.
-
Properties of equi-Baire 1 and equi-Lebesgue families of functions
Authors:
Marek Balcerzak,
Lubica Hola,
Dusan Holy
Abstract:
We study several properties of equi-Baire 1 families of functions between metric spaces. We consider the related equi-Lebesgue property for such families. We examine the behaviour of equi-Baire 1 and equi-Lebesgue families with respect to pointwise and uniform convergence. In particular, we obtain a criterion for a choice of a uniformly convergent subsequence from a sequence of functions that form…
▽ More
We study several properties of equi-Baire 1 families of functions between metric spaces. We consider the related equi-Lebesgue property for such families. We examine the behaviour of equi-Baire 1 and equi-Lebesgue families with respect to pointwise and uniform convergence. In particular, we obtain a criterion for a choice of a uniformly convergent subsequence from a sequence of functions that form an equi-Baire 1 family, which solves a problem posed in [3]. Finally, we discuss the notion of equi-cliquishness and relations between equi-Baire 1 families and sets of equi-continuity points.
△ Less
Submitted 16 April, 2023;
originally announced April 2023.
-
Optimization of the closed-loop controller of a discontinuous capsule drive using a neural network
Authors:
Sandra Zarychta,
Marek Balcerzak,
Volodymyr Denysenko,
Andrzej Stefanski,
Artur Dabrowski,
Stefano Lenci
Abstract:
In this paper, construction of a neural-network based, closed-loop control of a discontinuous capsule drive is analyzed. The foundation of the designed controller is an optimized open-loop control function. A neural network is used to determine the dependence between the open-loop controller's output and the system's state. Robustness of the neural controller with respect to variation of parameter…
▽ More
In this paper, construction of a neural-network based, closed-loop control of a discontinuous capsule drive is analyzed. The foundation of the designed controller is an optimized open-loop control function. A neural network is used to determine the dependence between the open-loop controller's output and the system's state. Robustness of the neural controller with respect to variation of parameters of the controlled system is analyzed and compared with the original, optimized open-loop control. It is expected that the presented method can facilitate construction of closed-loop controllers of systems, for which other methods are not effective, such as non-smooth or discontinuous ones.
△ Less
Submitted 31 August, 2022;
originally announced September 2022.
-
The existence of UFO implies projectively universal morphisms
Authors:
Marek Balcerzak,
Tomasz Kania
Abstract:
Let $\mathcal C$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf F$, then there is a projectively universal morphism $u\colon \mathsf F\to \mathsf F$, i.e., a morphism $u$ such that for any $B\in \mathcal{C}$ and $τ\in {\rm Mor}(B)$ there exists an epimorphism $π\in {\rm Mor}(\mathsf F, B)$ such that $πτ= u π$. This builds upon and extends various i…
▽ More
Let $\mathcal C$ be a concrete category. We prove that if $\mathcal{C}$ admits a universally free object $\mathsf F$, then there is a projectively universal morphism $u\colon \mathsf F\to \mathsf F$, i.e., a morphism $u$ such that for any $B\in \mathcal{C}$ and $τ\in {\rm Mor}(B)$ there exists an epimorphism $π\in {\rm Mor}(\mathsf F, B)$ such that $πτ= u π$. This builds upon and extends various ideas by Darji and Matheron (Proc. Am. Math. Soc. 145 (2017)) who proved such a result for the category of separable Banach spaces with contractive operators as well as certain classes of dynamical systems on compact metric spaces. Specialising from our abstract setting, we conclude that the result applies to various categories of Banach spaces/lattices/algebras, C*-algebras, etc.
△ Less
Submitted 9 August, 2022; v1 submitted 6 August, 2022;
originally announced August 2022.
-
Baire Category Lower Density Operators with Borel Values
Authors:
Marek Balcerzak,
Jacek Hejduk,
Artur Wachowicz
Abstract:
We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $\pmb Π^0_3$ which is analogous to the measure case. We also introduce the notion of the Baire category density point of a subset with the Baire property of the Cantor space, and we prove that it generates a lower density operator with Borel values of class…
▽ More
We prove that the lower density operator associated with the Baire category density points in the real line has Borel values of class $\pmb Π^0_3$ which is analogous to the measure case. We also introduce the notion of the Baire category density point of a subset with the Baire property of the Cantor space, and we prove that it generates a lower density operator with Borel values of class $\pmb Π^0_3$.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Transition to hyperchaos and rare large-intensity pulses in Zeeman laser
Authors:
S. Leo Kingston,
Marek Balcerzak,
Syamal K. Dana,
Tomasz Kapitaniak
Abstract:
A discontinuous transition to hyperchaos is observed at discrete critical parameters in the Zeeman laser model for three well known nonlinear sources of instabilities, namely, quasiperiodic breakdown to chaos followed by interior crisis, quasiperiodic intermittency, and Pomeau-Manneville intermittency. Hyperchaos appears with a sudden expansion of the attractor of the system at a critical paramete…
▽ More
A discontinuous transition to hyperchaos is observed at discrete critical parameters in the Zeeman laser model for three well known nonlinear sources of instabilities, namely, quasiperiodic breakdown to chaos followed by interior crisis, quasiperiodic intermittency, and Pomeau-Manneville intermittency. Hyperchaos appears with a sudden expansion of the attractor of the system at a critical parameter for each case and it coincides with triggering of occasional and recurrent large-intensity pulses. The transition to hyperchaos from a periodic orbit via Pomeau-Manneville intermittency shows hysteresis at the critical point, while no hysteresis is recorded during the other two processes. The recurrent large-intensity pulses show characteristic features of extremes by their height larger than a threshold and probability of rare occurrence. The phenomenon is robust to weak noise although the critical parameter of transition to hyperchaos shifts with noise strength. This phenomenon appears as common in many low dimensional systems as reported earlier, there the emergent large-intensity events or extreme events dynamics have been recognized simply as chaotic in nature although the temporal dynamics shows occasional large deviations from the original chaotic state in many examples. We need a new metric, in the future, that would be able to classify such significantly different dynamics and distinguish from chaos.
△ Less
Submitted 9 February, 2023; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Instabilities in quasiperiodic motion lead to intermittent large-intensity events in Zeeman laser
Authors:
S. Leo Kingston,
Arindam Mishra,
Marek Balcerzak,
Tomasz Kapitaniak,
Syamal K. Dana
Abstract:
We report intermittent large-intensity pulses that originate in Zeeman laser due to instabilities in quasiperiodic motion, one route follows torus-doubling to chaos and another goes via quasiperiodic intermittency in response to variation in system parameters. The quasiperiodic breakdown route to chaos via torus-doubling is well known, however, the laser model shows intermittent large-intensity pu…
▽ More
We report intermittent large-intensity pulses that originate in Zeeman laser due to instabilities in quasiperiodic motion, one route follows torus-doubling to chaos and another goes via quasiperiodic intermittency in response to variation in system parameters. The quasiperiodic breakdown route to chaos via torus-doubling is well known, however, the laser model shows intermittent large-intensity pulses for parameter variation beyond the chaotic regime. During quasiperiodic intermittency, the temporal evolution of the laser shows intermittent chaotic bursting episodes intermediate to the quasiperiodic motion instead of periodic motion as usually seen during the Pomeau-Manneville intermittency. The intermittent bursting appears as occasional large-intensity events. In particular, this quasiperiodic intermittency has not been given much attention so far from the dynamical system perspective, in general. In both the cases, the infrequent and recurrent large events show non-Gaussian probability distribution of event height extended beyond a significant threshold with a decaying probability confirming rare occurrence of large-intensity pulses.
△ Less
Submitted 24 September, 2021;
originally announced September 2021.
-
Games characterizing certain families of functions
Authors:
Marek Balcerzak,
Tomasz Natkaniec,
Piotr Szuca
Abstract:
We obtain several game characterizations of Baire 1 functions between Polish spaces X, Y which extends the recent result of V. Kiss. Then we propose similar characterizations for equi-Bare 1 families of functions. Also, using related ideas, we give game characterizations of Baire measurable and Lebesgue measurable functions.
We obtain several game characterizations of Baire 1 functions between Polish spaces X, Y which extends the recent result of V. Kiss. Then we propose similar characterizations for equi-Bare 1 families of functions. Also, using related ideas, we give game characterizations of Baire measurable and Lebesgue measurable functions.
△ Less
Submitted 11 April, 2024; v1 submitted 12 September, 2021;
originally announced September 2021.
-
Another characterization of meager ideals
Authors:
Marek Balcerzak,
Szymon Glab,
Paolo Leonetti
Abstract:
We show that an ideal $\mathcal{I}$ on the positive integers is meager if and only if there exists a bounded nonconvergent real sequence $x$ such that the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-limit points is comeager and, in addition, every accumulation point of $x$ is also an $\mathcal{I}$-limit point (that is, a limit of a subsequence…
▽ More
We show that an ideal $\mathcal{I}$ on the positive integers is meager if and only if there exists a bounded nonconvergent real sequence $x$ such that the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-limit points is comeager and, in addition, every accumulation point of $x$ is also an $\mathcal{I}$-limit point (that is, a limit of a subsequence $(x_{n_k})$ such that $\{n_1,n_2,\ldots,\} \notin \mathcal{I}$). The analogous characterization holds also for $\mathcal{I}$-cluster points.
△ Less
Submitted 11 September, 2021;
originally announced September 2021.
-
A novel, Fourier series based method of control optimization and its application to a discontinuous capsule drive model
Authors:
Sandra Zarychta,
Tomasz Sagan,
Marek Balcerzak,
Artur Dabrowski,
Andrzej Stefanski,
Tomasz Kapitaniak
Abstract:
This paper presents a novel, Fourier series based numerical method of open-loop control optimization. Due to its flexible assumptions, it can be applied in a large variety of systems, including discontinuous ones or even so-called black boxes, whose equations are not fully known. This aspect is particularly important in mechanical systems, where friction or impact induced discontinuities are commo…
▽ More
This paper presents a novel, Fourier series based numerical method of open-loop control optimization. Due to its flexible assumptions, it can be applied in a large variety of systems, including discontinuous ones or even so-called black boxes, whose equations are not fully known. This aspect is particularly important in mechanical systems, where friction or impact induced discontinuities are common. The paper includes a mathematical background of the new method, a detailed discussion of the algorithm and a numerical example, in which control function of a discontinuous capsule drive is optimized. It is expected that the proposed method can facilitate research in all areas where control of non-smooth, discontinuous or black box systems is crucial. In particular, authors hope that the presented algorithm is going to be used for control optimization of other capsule drives.
△ Less
Submitted 24 August, 2021;
originally announced August 2021.
-
Cutting sets of continuous functions on the unit interval
Authors:
Marek Balcerzak,
Piotr Nowakowski,
Michał Popławski
Abstract:
For a function $f\colon [0,1]\to\mathbb R$, we consider the set $E(f)$ of points at which $f$ cuts the real axis. Given $f\colon [0,1]\to\mathbb R$ and a Cantor set $D\subset [0,1]$ with $\{0,1\}\subset D$, we obtain conditions equivalent to the conjunction $f\in C[0,1]$ (or $f\in C^\infty [0,1]$) and $D\subset E(f)$. This generalizes some ideas of Zabeti. We observe that, if $f$ is continuous, th…
▽ More
For a function $f\colon [0,1]\to\mathbb R$, we consider the set $E(f)$ of points at which $f$ cuts the real axis. Given $f\colon [0,1]\to\mathbb R$ and a Cantor set $D\subset [0,1]$ with $\{0,1\}\subset D$, we obtain conditions equivalent to the conjunction $f\in C[0,1]$ (or $f\in C^\infty [0,1]$) and $D\subset E(f)$. This generalizes some ideas of Zabeti. We observe that, if $f$ is continuous, then $E(f)$ is a closed nowhere dense subset of $f^{-1}[\{ 0\}]$ where each $x\in \{0,1\}\cap E(f)$ is an accumulation point of $E(f)$. Our main result states that, for a closed nowhere dense set $F\subset [0,1]$ with each $x\in \{0,1\}\cap E(f)$ being an accumulation point of $F$, there exists $f\in C^\infty [0,1]$ such that $F=E(f)$.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Convergent subseries of divergent series
Authors:
Marek Balcerzak,
Paolo Leonetti
Abstract:
Let $\mathscr{X}$ be the set of positive real sequences $x=(x_n)$ such that the series $\sum_n x_n$ is divergent. For each $x \in \mathscr{X}$, let $\mathcal{I}_x$ be the collection of all $A\subseteq \mathbf{N}$ such that the subseries $\sum_{n \in A}x_n$ is convergent. Moreover, let $\mathscr{A}$ be the set of sequences $x \in \mathscr{X}$ such that $\lim_n x_n=0$ and…
▽ More
Let $\mathscr{X}$ be the set of positive real sequences $x=(x_n)$ such that the series $\sum_n x_n$ is divergent. For each $x \in \mathscr{X}$, let $\mathcal{I}_x$ be the collection of all $A\subseteq \mathbf{N}$ such that the subseries $\sum_{n \in A}x_n$ is convergent. Moreover, let $\mathscr{A}$ be the set of sequences $x \in \mathscr{X}$ such that $\lim_n x_n=0$ and $\mathcal{I}_x\neq \mathcal{I}_y$ for all sequences $y=(y_n) \in \mathscr{X}$ with $\liminf_n y_{n+1}/y_n>0$. We show that $\mathscr{A}$ is comeager and that contains uncountably many sequences $x$ which generate pairwise nonisomorphic ideals $\mathcal{I}_x$. This answers, in particular, an open question recently posed by M. Filipczak and G. Horbaczewska.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
The Baire Category of Subsequences and Permutations which preserve Limit Points
Authors:
Marek Balcerzak,
Paolo Leonetti
Abstract:
Let $\mathcal{I}$ be a meager ideal on $\mathbf{N}$. We show that if $x$ is a sequence with values in a separable metric space then the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-cluster points of $x$ is topologically large if and only if every ordinary limit point of $x$ is also an $\mathcal{I}$-cluster point of $x$. The analogue statement fails for al…
▽ More
Let $\mathcal{I}$ be a meager ideal on $\mathbf{N}$. We show that if $x$ is a sequence with values in a separable metric space then the set of subsequences [resp. permutations] of $x$ which preserve the set of $\mathcal{I}$-cluster points of $x$ is topologically large if and only if every ordinary limit point of $x$ is also an $\mathcal{I}$-cluster point of $x$. The analogue statement fails for all maximal ideals. This extends the main results in [Topology Appl. \textbf{263} (2019), 221--229]. As an application, if $x$ is a sequence with values in a first countable compact space which is $\mathcal{I}$-convergent to $\ell$, then the set of subsequences [resp. permutations] which are $\mathcal{I}$-convergent to $\ell$ is topologically large if and only if $x$ is convergent to $\ell$ in the ordinary sense. Analogous results hold for $\mathcal{I}$-limit points, provided $\mathcal{I}$ is an analytic P-ideal.
△ Less
Submitted 20 September, 2020; v1 submitted 25 January, 2020;
originally announced January 2020.
-
Families of feebly continuous functions and their properties
Authors:
Marek Balcerzak,
Tomasz Natkaniec,
Małgorzata Terepeta
Abstract:
Let $f\colon\mathbb{R}^2\to\mathbb{R}$. The notions of feebly continuity and very feebly continuity of $f$ at a point $\langle x,y\rangle\in\mathbb{R}^2$ were considered by I. Leader in 2009. We study properties of the sets $FC(f)$ (respectively, $VFC(f)\supset FC(f)$) of points at which $f$ is feebly continuous (very feebly continuous). We prove that $VFC(f)$ is densely nonmeager, and, if $f$ has…
▽ More
Let $f\colon\mathbb{R}^2\to\mathbb{R}$. The notions of feebly continuity and very feebly continuity of $f$ at a point $\langle x,y\rangle\in\mathbb{R}^2$ were considered by I. Leader in 2009. We study properties of the sets $FC(f)$ (respectively, $VFC(f)\supset FC(f)$) of points at which $f$ is feebly continuous (very feebly continuous). We prove that $VFC(f)$ is densely nonmeager, and, if $f$ has the Baire property (is measurable), then $FC(f)$ is residual (has full outer Lebesgue measure). We describe several examples of functions $f$ for which $FC(f)\neq VFC(f)$. Then we consider the notion of two-feebly continuity which is strictly weaker than very feebly continuity. We prove that the set of points where (an arbitrary) $f$ is two-feebly continuous forms a residual set of full outer measure. Finally, we study the existence of large algebraic structures inside or outside various sets of feebly continuous functions.
△ Less
Submitted 26 October, 2019;
originally announced October 2019.
-
A Tauberian theorem for ideal statistical convergence
Authors:
Marek Balcerzak,
Paolo Leonetti
Abstract:
Given an ideal $\mathcal{I}$ on the positive integers, a real sequence $(x_n)$ is said to be $\mathcal{I}$-statistically convergent to $\ell$ provided that $$ \textstyle \left\{n \in \mathbf{N}: \frac{1}{n}|\{k \le n: x_k \notin U\}| \ge \varepsilon\right\} \in \mathcal{I} $$ for all neighborhoods $U$ of $\ell$ and all $\varepsilon>0$. First, we show that $\mathcal{I}$-statistical convergence coin…
▽ More
Given an ideal $\mathcal{I}$ on the positive integers, a real sequence $(x_n)$ is said to be $\mathcal{I}$-statistically convergent to $\ell$ provided that $$ \textstyle \left\{n \in \mathbf{N}: \frac{1}{n}|\{k \le n: x_k \notin U\}| \ge \varepsilon\right\} \in \mathcal{I} $$ for all neighborhoods $U$ of $\ell$ and all $\varepsilon>0$. First, we show that $\mathcal{I}$-statistical convergence coincides with $\mathcal{J}$-convergence, for some unique ideal $\mathcal{J}=\mathcal{J}(\mathcal{I})$. In addition, $\mathcal{J}$ is Borel [analytic, coanalytic, respectively] whenever $\mathcal{I}$ is Borel [analytic, coanalytic, resp.].
Then we prove, among others, that if $\mathcal{I}$ is the summable ideal $\{A\subseteq \mathbf{N}: \sum_{a \in A}1/a<\infty\}$ or the density zero ideal $\{A\subseteq \mathbf{N}: \lim_{n\to \infty} \frac{1}{n}|A\cap [1,n]|=0\}$ then $\mathcal{I}$-statistical convergence coincides with statistical convergence. This can be seen as a Tauberian theorem which extends a classical theorem of Fridy. Lastly, we show that this is never the case if $\mathcal{I}$ is maximal.
△ Less
Submitted 13 August, 2019;
originally announced August 2019.
-
A lower density operator for the Borel algebra
Authors:
Marek Balcerzak,
Szymon Głab
Abstract:
We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $σ$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.
We prove that the existence of a Borel lower density operator (a Borel lifting) with respect to the $σ$-ideal of countable sets, for an uncountable Polish space, is equivalent to the Continuum Hypothesis.
△ Less
Submitted 26 February, 2019;
originally announced March 2019.
-
Ideal convergent subseries in Banach spaces
Authors:
Marek Balcerzak,
Michał Popławski,
Artur Wachowicz
Abstract:
Assume that $\mathcal{I}$ is an ideal on $\mathbb{N}$, and $\sum_n x_n$ is a divergent series in a Banach space $X$. We study the Baire category, and the measure of the set $A(\mathcal{I}):=\left\{t \in \{0,1\}^{\mathbb{N}} \colon \sum_n t(n)x_n \textrm{ is } \mathcal{I}\textrm{-convergent}\right\}$. In the category case, we assume that $\mathcal{I}$ has the Baire property and $\sum_n x_n$ is not…
▽ More
Assume that $\mathcal{I}$ is an ideal on $\mathbb{N}$, and $\sum_n x_n$ is a divergent series in a Banach space $X$. We study the Baire category, and the measure of the set $A(\mathcal{I}):=\left\{t \in \{0,1\}^{\mathbb{N}} \colon \sum_n t(n)x_n \textrm{ is } \mathcal{I}\textrm{-convergent}\right\}$. In the category case, we assume that $\mathcal{I}$ has the Baire property and $\sum_n x_n$ is not unconditionally convergent, and we deduce that $A(\mathcal{I})$ is meager. We also study the smallness of $A(\mathcal{I})$ in the measure case when the Haar probability measure $λ$ on $\{0,1\}^{\mathbb{N}}$ is considered. If $\mathcal{I}$ is analytic or coanalytic, and $\sum_n x_n$ is $\mathcal{I}$-divergent, then $λ(A(\mathcal{I}))=0$ which extends the theorem of Dindoš, Šalát and Toma. Generalizing one of their examples, we show that, for every ideal $\mathcal{I}$ on $\mathbb{N}$, with the property of long intervals, there is a divergent series of reals such that $λ(A(Fin))=0$ and $λ(A(\mathcal{I}))=1$.
△ Less
Submitted 9 March, 2018;
originally announced March 2018.
-
On the Relationship between Ideal Cluster Points and Ideal Limit Points
Authors:
Marek Balcerzak,
Paolo Leonetti
Abstract:
Let $X$ be a first countable space which admits a non-trivial convergent sequence and let $\mathcal{I}$ be an analytic P-ideal. First, it is shown that the sets of $\mathcal{I}$-limit points of all sequences in $X$ are closed if and only if $\mathcal{I}$ is also an $F_σ$-ideal.
Moreover, let $(x_n)$ be a sequence taking values in a Polish space without isolated points. It is known that the set…
▽ More
Let $X$ be a first countable space which admits a non-trivial convergent sequence and let $\mathcal{I}$ be an analytic P-ideal. First, it is shown that the sets of $\mathcal{I}$-limit points of all sequences in $X$ are closed if and only if $\mathcal{I}$ is also an $F_σ$-ideal.
Moreover, let $(x_n)$ be a sequence taking values in a Polish space without isolated points. It is known that the set $A$ of its statistical limit points is an $F_σ$-set, the set $B$ of its statistical cluster points is closed, and that the set $C$ of its ordinary limit points is closed, with $A\subseteq B\subseteq C$. It is proved the sets $A$ and $B$ own some additional relationship: indeed, the set $S$ of isolated points of $B$ is contained also in $A$. Conversely, if $A$ is an $F_σ$-set, $B$ is a closed set with a subset $S$ of isolated points such that $B\setminus S\neq \emptyset$ is regular closed, and $C$ is a closed set with $S\subseteq A\subseteq B\subseteq C$, then there exists a sequence $(x_n)$ for which: $A$ is the set of its statistical limit points, $B$ is the set of its statistical cluster points, and $C$ is the set of its ordinary limit points.
Lastly, we discuss topological nature of the set of $\mathcal{I}$-limit points when $\mathcal{I}$ is neither $F_σ$- nor analytic P-ideal.
△ Less
Submitted 30 September, 2017; v1 submitted 6 September, 2017;
originally announced September 2017.
-
Ideal convergent subsequences and rearrangements for divergent sequences of functions
Authors:
Marek Balcerzak,
Michał Popławski,
Artur Wachowicz
Abstract:
Let $\I$ be an ideal on $\N$ which is either analytic or coanalytic. Assume that $(f_n)$ is a sequence of functions with the Baire property from a Polish space $X$ into a complete metric space $Z$, which is divergent on a comeager set. We investigate the Baire category of $\I$-convergent subsequences and rearrangements of $(f_n)$. Our result generalizes a theorem of Kallman. A similar theorem for…
▽ More
Let $\I$ be an ideal on $\N$ which is either analytic or coanalytic. Assume that $(f_n)$ is a sequence of functions with the Baire property from a Polish space $X$ into a complete metric space $Z$, which is divergent on a comeager set. We investigate the Baire category of $\I$-convergent subsequences and rearrangements of $(f_n)$. Our result generalizes a theorem of Kallman. A similar theorem for subsequences is obtained if $(X,μ)$ is a $σ$-finite complete measure space and a sequence $(f_n)$ of measurable functions from $X$ to $Z$ is $\I$-divergent $μ$-almost everywhere. Then the set of subsequences of $(f_n)$, $\I$-divergent $μ$-almost everywhere, is of full product measure on $\{ 0,1\}^\N$. Here we assume additionally that $\mathcal I$ has property (G).
△ Less
Submitted 28 April, 2016;
originally announced April 2016.
-
Dielectric and Magnetic Properties of (Bi1-xLaxFeO3)0.5(PbTiO3)0.5 Ceramics Prepared from Mechanically Synthesized Powders
Authors:
E. Markiewicz,
B. Andrzejewski,
B. Hilczer,
M. Balcerzak,
A. Pietraszko,
M. Jurczyk
Abstract:
Multiferroic (Bi1-xLaxFeO3)0.5(PbTiO3)0.5 ceramics was prepared from mechanical synthesized nanopowders. The XRD studies revealed the tetragonal structure and the tetragonality decreased with La content. Dielectric response of the compounds was found to contain three anomalies: 1) relaxor-like behavior due to lattice disorder (below 300 K); 2) dielectric permittivity maxima at~400 K attributed to…
▽ More
Multiferroic (Bi1-xLaxFeO3)0.5(PbTiO3)0.5 ceramics was prepared from mechanical synthesized nanopowders. The XRD studies revealed the tetragonal structure and the tetragonality decreased with La content. Dielectric response of the compounds was found to contain three anomalies: 1) relaxor-like behavior due to lattice disorder (below 300 K); 2) dielectric permittivity maxima at~400 K attributed to the presence of oxygen vacancies; 3) grain boundary effect above 475 K. The Curie point at ~500 K was observed for the compound with x=0.5. The composition near the morphotropic boundary: (Bi0.8La0.2FeO3)0.5(PbTiO3)0.5 shoved the highest remnant magnetization. The irreversible magnetic properties of the (Bi1-xLaxFeO3)0.5(PbTiO3)0.5 compounds can be explained in terms of disorder induced spin-glass behavior due to random substitution of La or Pb ions for Bi sites. A sharp step in magnetization about 250 K is caused by the A-site distortion associated with tilts of FeO6 octahedra leading to modification of Fe-O-Fe angles and of antiferromagnetic coupling between magnetic Fe3+ moments.
△ Less
Submitted 13 December, 2013;
originally announced December 2013.
-
Uniform openness of multiplication in Banach spaces $L_p$
Authors:
Marek Balcerzak,
Adam Majchrzycki,
Filip Strobin
Abstract:
We show that multiplication from $L_p\times L_q$ to $L_1$ (for $p,q\in [1,\infty]$, $1/p+1/q=1$) is a uniformly open mapping. We also prove the uniform openness of the multiplication from $\ell_1\times c_0$ to $\ell_1$. This strengthens the former results obtained by M. Balcerzak, A. Majchrzycki and A. Wachowicz.
We show that multiplication from $L_p\times L_q$ to $L_1$ (for $p,q\in [1,\infty]$, $1/p+1/q=1$) is a uniformly open mapping. We also prove the uniform openness of the multiplication from $\ell_1\times c_0$ to $\ell_1$. This strengthens the former results obtained by M. Balcerzak, A. Majchrzycki and A. Wachowicz.
△ Less
Submitted 13 September, 2013;
originally announced September 2013.
-
Nonseparable spaceability and strong algebrability of sets of continuous singular functions
Authors:
Marek Balcerzak,
Artur Bartoszewicz,
Malgorzata Filipczak
Abstract:
Let CBV denote the Banach algebra of all continuous real-valued functions of bounded variation, defined in [0,1]. We show that the set of strongly singular functions in CBV is nonseparably spaceable. We also prove that certain families of singular functions constitute strongly c-algebrable sets. The argument is based on a new general criterion of strong c-algebrability.
Let CBV denote the Banach algebra of all continuous real-valued functions of bounded variation, defined in [0,1]. We show that the set of strongly singular functions in CBV is nonseparably spaceable. We also prove that certain families of singular functions constitute strongly c-algebrable sets. The argument is based on a new general criterion of strong c-algebrability.
△ Less
Submitted 22 January, 2013;
originally announced January 2013.
-
Plant defense multigene families: II Evolution of coding sequence and differential expression of PR10 genes in Pisum
Authors:
S. Tewari,
S. M. Brown,
P. Kenyon,
M. Balcerzak,
B. Fristensky
Abstract:
While it is not possible to directly the observe evolution of multigene families, the best alternative is to compare orthologous family members among several closely-related species with varying degrees of reproductive isolation. Using RT-PCR we show that in pea (Pisum sativum) each member of the pathogenesis-related PR10 family has a distinct pattern of expression in response to the fungus Fusa…
▽ More
While it is not possible to directly the observe evolution of multigene families, the best alternative is to compare orthologous family members among several closely-related species with varying degrees of reproductive isolation. Using RT-PCR we show that in pea (Pisum sativum) each member of the pathogenesis-related PR10 family has a distinct pattern of expression in response to the fungus Fusarium solani, and in treatment with salicylic acid, chitosan and abcisic acid. Sequencing reveals that PR10.1, PR10.2 and PR10.3 exist in P. humile, P. elatius and P. fulvum, except that no PR10.2 orthologue was identified in P. elatius. PR10.1, PR10.2 and PR10.3 appear to have diverged from a single gene in the common Pisum ancestor. For the recently diverged PR10.1 and PR10.2, the timing of fungal-induced expression differs greatly among species. For example, PR10.1 was strongly induced in P. sativum by F. solani within 8 hours postinoculation (h.p.i.), whereas little PR10.1 expression was seen in pea's closest relative, P. humile, and in the more distantly-related P. elatius. In P. fulvum, expression did not peak until 48 h.p.i. Expression of the more ancient PR10.4 and PR10.5 genes is more tightly conserved among Pisum species. These data indicate that expression, as well as sequence, can evolve rapidly. We hypothesize that changes in differential expression of multigene family members could provide a source of phenotypic diversity in populations, which may be of particular importance to plant/pathogen coevolution.
△ Less
Submitted 30 October, 2003;
originally announced October 2003.
-
Ideals without ccc
Authors:
Marek Balcerzak,
Andrzej Rosłanowski,
Saharon Shelah
Abstract:
Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F subseteq P(X) of size c, consisting of Borel sets which are not in I. Condition (M) states that there is a function f:X-> X with f^{-1}[{x}] not…
▽ More
Let I be an ideal of subsets of a Polish space X, containing all singletons and possessing a Borel basis. Assuming that I does not satisfy ccc, we consider the following conditions (B), (M) and (D). Condition (B) states that there is a disjoint family F subseteq P(X) of size c, consisting of Borel sets which are not in I. Condition (M) states that there is a function f:X-> X with f^{-1}[{x}] notin I for each x in X. Provided that X is a group and I is invariant, condition (D) states that there exist a Borel set B notin I and a perfect set P subseteq X for which the family {B+x: x in P} is disjoint. The aim of the paper is to study whether the reverse implications in the chain (D) => (M) => (B) => not-ccc can hold. We build a sigma-ideal on the Cantor group witnessing''(M) and not (D)'' (Section 2). A modified version of that sigma-ideal contains the whole space (Section 3). Some consistency results deriving (M) from (B) for''nicely'' defined ideals are established (Section 4). We show that both ccc and (M) can fail (Theorems 1.3 and 4.2). Finally, some sharp versions of (M) for invariant ideals on Polish groups are investigated (Section 5).
△ Less
Submitted 14 October, 1996;
originally announced October 1996.
