Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2605.20504 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866917514456334336 |
|---|---|
| author | Eyidoğan, Sadık Göral, Haydar Tanısalı, Nihan |
| author_facet | Eyidoğan, Sadık Göral, Haydar Tanısalı, Nihan |
| contents | Given balls and boxes both enumerated by the positive integers, we consider a sequential allocation of the balls into the boxes. We fix $\ell \ge 2$. Proceeding in increasing order of box labels, assign to each box the next $r$ smallest balls for some $ 1\leq r\leq\ell$. Given an integer $k\ge 3$, is there a natural number $N$ such that in any placement of $N$ balls into boxes, there exist $k$ balls whose labels and box labels each form a $k$-term arithmetic progression? We address this question by identifying abelian power-free fixed points of morphisms over a binary alphabet. We present sufficient conditions under which a morphism is abelian $k$-power-free. Our conditions extend Dekking's result over a binary alphabet and offer a weaker, yet more effective alternative to Carpi's. Combining Dekking's result with the template method of Currie and Rampersad, we develop a sieve technique that significantly reduces the number of parents that must be examined to establish abelian power-freeness. We then identify a binary morphism that is abelian 16-power free (but not abelian $15$-power free) with an abelian 14-power free fixed point, demonstrating the strength of our technique in verifying abelian power-freeness. Furthermore, we give a binary morphism which is not abelian power-free, yet has an abelian $5$-power free fixed point. These results offer novel examples of morphisms whose fixed points exhibit stronger abelian power-freeness than the corresponding morphisms. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_20504 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Box Progressions, Abelian Power-Free Morphisms and A Sieve Technique for the Template Method Eyidoğan, Sadık Göral, Haydar Tanısalı, Nihan Combinatorics 68R15, 68R05, 11B25 Given balls and boxes both enumerated by the positive integers, we consider a sequential allocation of the balls into the boxes. We fix $\ell \ge 2$. Proceeding in increasing order of box labels, assign to each box the next $r$ smallest balls for some $ 1\leq r\leq\ell$. Given an integer $k\ge 3$, is there a natural number $N$ such that in any placement of $N$ balls into boxes, there exist $k$ balls whose labels and box labels each form a $k$-term arithmetic progression? We address this question by identifying abelian power-free fixed points of morphisms over a binary alphabet. We present sufficient conditions under which a morphism is abelian $k$-power-free. Our conditions extend Dekking's result over a binary alphabet and offer a weaker, yet more effective alternative to Carpi's. Combining Dekking's result with the template method of Currie and Rampersad, we develop a sieve technique that significantly reduces the number of parents that must be examined to establish abelian power-freeness. We then identify a binary morphism that is abelian 16-power free (but not abelian $15$-power free) with an abelian 14-power free fixed point, demonstrating the strength of our technique in verifying abelian power-freeness. Furthermore, we give a binary morphism which is not abelian power-free, yet has an abelian $5$-power free fixed point. These results offer novel examples of morphisms whose fixed points exhibit stronger abelian power-freeness than the corresponding morphisms. |
| title | Box Progressions, Abelian Power-Free Morphisms and A Sieve Technique for the Template Method |
| topic | Combinatorics 68R15, 68R05, 11B25 |
| url | https://arxiv.org/abs/2605.20504 |