Interpolating classical partitions of the set of positive integers
type: Item
instance of: scholarly article
title: Interpolating classical partitions of the set of positive integers
zbMATH Open document ID: 1471.11256
author: Jared Krandel
author: Weiru Chen
published in: The Ramanujan Journal
publication date: 2021-05-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1810.11938
review text: If \(\alpha\), \(\beta\) are irrational numbers such that \(\alpha^{-1}+\beta^{-1}=1\), then the Beatty theorem [Am. Math. Monthly 33, 159 (1926; JFM 52.0189.01)] states that the sets \(A=\{\lfloor k\alpha\rfloor\}_{k\geq1}\) and \(B=\{\lfloor k\beta\rfloor\}_{k\geq1}\) partition the positive integers. A relevant Beatty partition is given by \(\alpha=\phi\) and \(\beta=\phi^2\), where \(\phi\) is the golden ratio. The Beatty theorem is the main motivation of the present work. The authors define a class of partitions \(D_1,D_2,\ldots,D_n\) of positive integers into disjoint sets as follows. Let \(n\geq1\), \[ G=\left\{2^{n-1},2^{n-1}+2^{n-2},\ldots,\sum_{i=1}^n2^{n-i}\right\}, \] and let \(l(k)\) be a non-decreasing integer-valued sequence such that \(l(1)=2^{n-1}\) and \(l(k+1)-l(k)\in G\) for any \(k\geq1\). Then the authors prove that for \(D_1=\{l(k)\}_{k\geq1}\), the sets \begin{align*} &D_1,\quad D_2=\{k-2^{n-2}: k\in D_1\}\cup\{k+2^{n-2}: k\in D_1\},\\ &D_3=\{k-2^{n-3}: k\in D_2\}\cup\{k+2^{n-3}: k\in D_2\},\\ &\ldots,\quad D_n=\{k-1: k\in D_{n-1}\}\cup\{k+1: k\in D_{n-1}\} \end{align*} are disjoint and partition the set of positive integers. As a corollary, if \(l(k)=(2^{n-1}-1)h(k)+k\), where \(h(k)\) is an integer-valued sequence such that \(h(1)=1\) and \(h(k)-h(k-1)\leq2\), then the aforementioned condition is satisfied, and we obtain a partition of positive integers. Moreover, the authors also consider the interactions of Beatty partitions and the 3-set partitions. Let \(A=\{\lfloor k\phi\rfloor\}_{k\geq1}\) and \(B=\{\lfloor k\phi^2\rfloor\}_{k\geq1}\). Let \(D_1=\{d_{k1}\}_{k\geq1}=\{l(k)\}_{k\geq1}\), \(D_2=\{d_{k2}\}_{k\geq1}=\{D_1-2\}\cup\{D_1+2\}\), \(D_3=\{d_{k 3}\}_{k\geq1}=\{D_2-1\}\cup\{D_2+1\}\) be the 3-set partition created with \(l(k)={\left(2^{3-1}-1\right)}\lfloor k\phi\rfloor+k\). We classify the row \((d_{k1},d_{k2},d_{k3})\) as \((A,A,A)\) if \(d_{k1}\), \(d_{k2}\), \(d_{k3}\in A\); as \((A,B,A)\) if \(d_{k2}\in B\), \(d_{k1}\), \(d_{k…
reviewed by: Dazhao Tang
Mathematics Subject Classification ID: 11P81
Mathematics Subject Classification ID: 05A18
Mathematics Subject Classification ID: 05A17
Mathematics Subject Classification ID: 11B05
zbMATH DE Number: 7343722
zbMATH Keywords: partitions
zbMATH Keywords: Beatty
zbMATH Keywords: Golden ratio
zbMATH Keywords: fractional parts
zbMATH Keywords: sequences
describes a project that uses: OEIS
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2999263785
arXiv ID: 1810.11938
cites work: Q3353115
cites work: Additive partitions and continued fractions
cites work: Complementary Systems of Integers
cites work: On Certain Dense, Uncountable Subsets of the Real Line
cites work: Q4767350
cites work: Q5459716
cites work: Q4001741
cites work: A golden iterated map number system: Results and conjectures
cites work: Fraenkel's conjecture for six sequences
Wikidata QID: Q126383941
DOI: 10.1007/S11139-019-00196-3
description: scientific article