Researcher profile

Joanna Kułaga-Przymus

Joanna Kułaga-Przymus contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
7works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

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&#39;&#39; 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.

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&#39;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.

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).