BZPEER

preprint2026arXiv

$\mathfrak{B}$ -free integers in number fields and dynamics

In 2010, Sarnak initiated the study of the dynamics of the system determined by the square of the Möbius function (the characteristic function of the square-free integers). We deal with his program in the more general context of $\mathfrak{B}$ -free integers in number fields, suggested 5 years later by Baake and Huck. This setting encompasses the classical square-free case and its generalizations. Given a number field $K$ , let $\mathfrak{B}$ be a family of pairwise coprime ideals in its ring of integers $\mathcal{O}_K$ , such that $\sum_{\mathfrak{b}\in\mathfrak{B}}1/|\mathcal{O}_K / \mathfrak{b}|<\infty$ . We study the dynamical system determined by the set $\mathcal{F}_\mathfrak{B}=\mathcal{O}_K\setminus \bigcup_{\mathfrak{b}\in\mathfrak{B}}\mathfrak{b}$ of $\mathfrak{B}$ -free integers in $\mathcal{O}_K$ . We show that the characteristic function $\mathbb{1}_{\mathcal{F}_\mathfrak{B}}$ of $\mathcal{F}_\mathfrak{B}$ is generic along the natural Følner sequence for a probability measure on $\{0,1\}^{\mathcal{O}_K}$ , invariant under the multidimensional shift. The corresponding measure-theoretical dynamical system is proved to be isomorphic to an ergodic rotation on a compact Abelian group. In particular, it is of zero Kolmogorov entropy. Moreover, we provide a description of ``patterns'' appearing in $\mathcal{F}_\mathfrak{B}$ and compute the topological entropy of the orbit closure of $\mathbb{1}_{\mathcal{F}_\mathfrak{B}}$ . Finally, we show that this topological dynamical system has a non-trivial topological joining with an ergodic rotation on a compact Abelian group.

preprint2022arXiv

Minimality of $\mathfrak{B}$ -free systems in number fields

Let $K$ be a finite extension of $\mathbb{Q}$ and $\mathcal{O}_K$ be its ring of integers. Let $\mathfrak{B}$ be a primitive collection of ideals in $\mathcal{O}_K$ . We show that any $\mathfrak{B}$ -free system is essentially minimal. Moreoever, the $\mathfrak{B}$ -free system is minimal if and only if the characteristic function of $\mathfrak{B}$ -free numbers is a Toeplitz sequence. Equivalently, there are no ideal $\mathfrak{d}$ and no infinite pairwise coprime collection of ideals $\mathcal{C}$ such that $\mathfrak{d}\mathcal{C}\subseteq\mathfrak{B}$ . Moreover, we find a periodic structure in the Toeplitz case. Last but not least, we describe the restrictions on the cosets of ideals contained in unions of ideals.

preprint2020arXiv

Sarnak's Conjecture from the Ergodic Theory Point of View

This is a survey on Sarnak's Conjecture

preprint2019arXiv

A structure theorem for level sets of multiplicative functions and applications

Given a level set $E$ of an arbitrary multiplicative function $f$ , we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost periodic and a pseudo-random parts. Using this structure theorem together with the technique developed by the authors in [3], we obtain the following result pertaining to polynomial multiple recurrence. Let $E=\{n_1<n_2<\ldots\}$ be a level set of an arbitrary multiplicative function with positive density. Then the following are equivalent: - $E$ is divisible, i.e. the upper density of the set $E\cap u\mathbb{N}$ is positive for all $u\in\mathbb{N}$ ; - $E$ is an averaging set of polynomial multiple recurrence, i.e. for all measure preserving systems $(X,\mathcal{B},μ,T)$ , all $A\in\mathcal{B}$ with $μ(A)>0$ , all $\ell\geq 1$ and all polynomials $p_i\in\mathbb{Z}[x]$ , $i=1,\ldots,\ell$ , with $p_i(0)=0$ we have $\lim_{N\to\infty}\frac{1}{N}\sum_{j=1}^N μ\big(A\cap T^{-p_1(n_j)}A\cap\ldots\cap T^{-p_\ell(n_j)}A\big)>0.$ We also show that if a level set $E$ of a multiplicative function has positive upper density, then any self-shift $E-r$ , $r\in E$ , is a set of averaging polynomial multiple recurrence. This in turn leads to the following refinement of the polynomial Szemerédi theorem (cf. [4]). Let $E$ be a level set of an arbitrary multiplicative function, suppose $E$ has positive upper density and let $r\in E$ . Then for any set $D\subset \mathbb{N}$ with positive upper density and any polynomials $p_i\in\mathbb{Q}[t]$ , $i=1,\ldots,\ell$ , which satisfy $p_i(\mathbb{Z})\subset\mathbb{Z}$ and $p_i(0)=0$ for all $i\in\{1,\ldots,\ell\}$ , there exists $β>0$ such that the set $\left\{\,n\in E-r:\overline{d}\Big(D\cap (D-p_1(n))\cap \ldots\cap(D-p_\ell(n)) \Big)>β\,\right\}$ has positive lower density.

preprint2018arXiv

Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics

A set $R\subset \mathbb{N}$ is called rational if it is well-approximable by finite unions of arithmetic progressions. Examples of rational sets include many classical sets of number-theoretical origin such as the set of squarefree numbers, the set of abundant numbers, or sets of the form $Φ_x:=\{n\in\mathbb{N}: \frac{\boldsymbolφ(n)}{n}<x\}$ , where $x\in[0,1]$ and $\boldsymbolφ$ is Euler's totient function. We investigate the combinatorial and dynamical properties of rational sets and obtain new results in ergodic Ramsey theory. We show that if $R$ is a rational set with $\overline{d}(R)>0$ , then the following are equivalent: (a) $R$ is divisible, i.e. $\overline{d}(R\cap u \mathbb{N})>0$ for all $u\in\mathbb{N}$ . (b) $R$ is an averaging set of polynomial single recurrence. (c) $R$ is an averaging set of polynomial multiple recurrence. As an application, we show that if $R$ is rational and divisible, then for any set $E\subset\mathbb{N}$ with $\overline{d}(E)>0$ and any polynomials $p_i\in\mathbb{Q}[t]$ , $i=1,\ldots,\ell$ , which satisfy $p_i(\mathbb{Z})\subset\mathbb{Z}$ and $p_i(0)=0$ for all $i\in\{1,\ldots,\ell\}$ , there exists $β>0$ such that the set $\{n\in R:\overline{d}( E\cap (E-p_1(n))\cap\ldots\cap(E-p_\ell(n)))>β\}$ has positive lower density. Ramsey-theoretical applications naturally lead to problems in symbolic dynamics, which involve rationally almost periodic sequences. We prove that if $\mathcal{A}$ is a finite alphabet, $η\in\mathcal{A}^\mathbb{N}$ is rationally almost periodic, $S$ denotes the left-shift on $\mathcal{A}^\mathbb{Z}$ and $X:=\{y\in \mathcal{A}^\mathbb{Z} : \text{each finite word appearing in $y$ appears in }η\},$ then $η$ is a generic point for an $S$ -invariant probability measure $ν$ on $X$ such that $(X,ν,S)$ is ergodic and has rational discrete spectrum.

preprint2016arXiv

Approximate orthogonality of powers for ergodic affine unipotent diffeomorphisms on nilmanifolds

Let $G$ be a connected, simply connected nilpotent Lie group and $Γ< G$ a lattice. We prove that each ergodic diffeomorphism $ϕ(xΓ)=uA(x)Γ$ on the nilmanifold $G/Γ$ , where $u\in G$ and $A:G\to G$ is a unipotent automorphism satisfying $A(Γ)=Γ$ , enjoys the property of asymptotically orthogonal powers (AOP). Two consequences follow: (i) Sarnak's conjecture on Möbius orthogonality holds in every uniquely ergodic model of an ergodic affine unipotent diffeomorphism; (ii) For ergodic affine unipotent diffeomorphisms themselves, the Möbius orthogonality holds on so called typical short interval: $\frac1 M\sum_{M\leq m<2M}\left|\frac1H\sum_{m\leq n<m+H} f(ϕ^n(xΓ))μ(n)\right|\to 0$ as $H\to\infty$ and $H/M\to0$ for each $xΓ\in G/Γ$ and each $f\in C(G/Γ)$ . In particular, the results in (i) and (ii) hold for ergodic nil-translations. Moreover, we prove that each nilsequence is orthogonal to the Möbius function $μ$ on a typical short interval. We also study the problem of lifting of the AOP property to induced actions and derive some applications on uniform distribution.

preprint2015arXiv

$\mathscr{B}$ -free sets and dynamics

Let $B\subset \mathbb{N}$ and let $η\in \{0,1\}^\mathbb{Z}$ be the characteristic function of the set $F_B:=\mathbb{Z}\setminus\bigcup_{b}b\mathbb{Z}$ of B-free numbers. Consider $(S,X_η)$ , where $X_η$ is the closure of the orbit of $η$ under the left shift S. When $B=\{p^2 : p\in P\}$ , $(S,X_η)$ was studied by Sarnak. This case + some generalizations, including the case (*) of B infinite, coprime with $\sum_{b}1/b<\infty$ , were discussed by several authors. For general B, contrary to (*), we may have $X_η\subsetneq X_B:=\{x\in \{0,1\}^\mathbb{Z} : |\text{supp }x\bmod b|\leq b-1 \forall_b\}$ . Also, $X_η$ may not be hereditary (heredity means that if $x\in X$ and $y\leq x$ coordinatewise then $y\in X$ ). We show that $η$ is quasi-generic for a natural measure $ν_η$ . We solve the problem of proximality by showing first that $X_η$ has a unique minimal (Toeplitz) subsystem. Moreover B-free system is proximal iff B contains an infinite coprime set. B is taut when $δ(F_B)<δ(F_{B\setminus \{b\} })$ for each b. We give a characterization of taut B in terms of the support of $ν_η$ . Moreover, for any B there exists a taut B' with $ν_η=ν_{η'}$ . For taut sets B,B', we have B=B' iff $X_B=X_{B'}$ . For each B there is a taut B' with $\tilde{X}_{η'}\subset \tilde{X}_η$ and all invariant measures for $(S,\tilde{X}_η)$ live on $\tilde{X}_{η'}$ . $(S,\tilde{X}_η)$ is shown to be intrinsically ergodic for all B. We give a description of all invariant measures for $(S,\tilde{X}_η)$ . The topological entropies of $(S,\tilde{X}_η)$ and $(S,X_B)$ are both equal to $\overline{d}(F_B)$ . We show that for a subclass of taut B-free systems proximality is the same as heredity. Finally, we give applications in number theory on gaps between consecutive B-free numbers. We apply our results to the set of abundant numbers.

preprint2015arXiv

Hereditary subshifts whose simplex of invariant measures is Poulsen

We give a sufficient condition for the simplex of invariant measures for a hereditary system to be Poulsen. In particular, we show that this simplex is Poulsen in case of positive entropy $\mathscr{B}$ -free systems. We also give an example of a positive entropy hereditary system whose simplex of invariant measures is not Poulsen.

preprint2014arXiv

On embeddability of automorphisms into measurable flows from the point of view of self-joining properties

We compare self-joining- and embeddability properties. In particular, we prove that a measure preserving flow $(T_t)_{t\in\mathbb{R}}$ with $T_1$ ergodic is 2-fold quasi-simple (2-fold distally simple) if and only if $T_1$ is 2-fold quasi-simple (2-fold distally simple). We also show that the Furstenberg-Zimmer decomposition for a flow $(T_t)_{t\in\mathbb{R}}$ with $T_1$ ergodic with respect to any flow factor is the same for $(T_t)_{t\in\mathbb{R}}$ and for $T_1$ . We give an example of a 2-fold quasi-simple flow disjoint from simple flows and whose time-one map is simple. We describe two classes of flows (flows with minimal self-joining property and flows with the so-called Ratner property) whose time-one maps have unique embeddings into measurable flows. We also give an example of a 2-fold simple flow whose time-one map has more than one embedding.

preprint2014arXiv

On invariant measures for $\mathscr{B}$ -free systems

We show that the $\mathscr{B}$ -free subshift $(S,X_{\mathscr{B}})$ associated to a $\mathscr{B}$ -free system is intrinsically ergodic, i.e.\ it has exactly one measure of maximal entropy. Moreover, we study invariant measures for such systems. It is proved that each ergodic invariant measure is of joining type, determined by a joining of the Mirsky measure of a $\mathscr{B}'$ -free subshift contained in $(S,X_{\mathscr{B}})$ and an ergodic invariant measure of the full shift on $\{0,1\}^{\mathbb{Z}}$ . Moreover, each ergodic joining type measure yields a measure-theoretic dynamical system with infinite rational part of the spectrum corresponding to the above Mirsky measure. Finally, we show that, in general, hereditary systems may not be intrinsically ergodic.

preprint2014arXiv

The Moebius function and continuous extensions of rotations

Let $f\colon \mathbb{T}\to \mathbb{R}$ be of class $C^{1+δ}$ for some $δ>0$ and let $c\in\mathbb{Z}$ . We show that for a generic $α\in\mathbb{R}$ , the extension $T_{c,f}\colon \mathbb{T}^2\to\mathbb{T}^2$ of the irrational rotation $Tx=x+α$ , given by $T_{c,f}(x,u)=(x+α, u+cx+f(x))$ ( $\bmod\ 1$ ) satisfies Sarnak's conjecture.

preprint2013arXiv

On the strong convolution singularity property

We develop a new method for proving that a flow has the so-called strong convolution singularity property, i.e. the Gaussian system induced by its (reduced) maximal spectral type has simple spectrum. We use these methods to give examples of smooth flows on closed orientable surfaces of genus at least 2 with a weaker property: each of their maximal spectral types $σ$ is such that the Gaussian system induced by $σ$ has simple spectrum on the so-called 3rd chaos (i.e. $V_σ^{\odot 3}$ has simple spectrum).

Joanna Kułaga-Przymus

Research overview

Is this your work?

12 publications

$\mathfrak{B}$ -free integers in number fields and dynamics

Minimality of $\mathfrak{B}$ -free systems in number fields

Sarnak's Conjecture from the Ergodic Theory Point of View

A structure theorem for level sets of multiplicative functions and applications

Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics

Approximate orthogonality of powers for ergodic affine unipotent diffeomorphisms on nilmanifolds

$\mathscr{B}$ -free sets and dynamics

Hereditary subshifts whose simplex of invariant measures is Poulsen

On embeddability of automorphisms into measurable flows from the point of view of self-joining properties

On invariant measures for $\mathscr{B}$ -free systems

The Moebius function and continuous extensions of rotations

On the strong convolution singularity property

See the researcher in context

Building this map preview

Joanna Kułaga-Przymus

Research overview

Is this your work?

12 publications

B\mathfrak{B}B-free integers in number fields and dynamics

Minimality of B\mathfrak{B}B-free systems in number fields

Sarnak's Conjecture from the Ergodic Theory Point of View

A structure theorem for level sets of multiplicative functions and applications

Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics

Approximate orthogonality of powers for ergodic affine unipotent diffeomorphisms on nilmanifolds

B\mathscr{B}B-free sets and dynamics

Hereditary subshifts whose simplex of invariant measures is Poulsen

On embeddability of automorphisms into measurable flows from the point of view of self-joining properties

On invariant measures for B\mathscr{B}B-free systems

The Moebius function and continuous extensions of rotations

On the strong convolution singularity property

See the researcher in context

Building this map preview

$\mathfrak{B}$ -free integers in number fields and dynamics

Minimality of $\mathfrak{B}$ -free systems in number fields

$\mathscr{B}$ -free sets and dynamics

On invariant measures for $\mathscr{B}$ -free systems