Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2503.04487

Positionality of Dumont--Thomas numeration systems for integers

Savinien Kreczman·Sébastien Labbé·Manon Stipulanti
View original source ↗Read source document ↗Export metadata ↓

Abstract

Introduced in 2001 by Lecomte and Rigo, abstract numeration systems provide a way of expressing natural numbers with words from a language $L$ accepted by a finite automaton. As it turns out, these numeration systems are not necessarily positional, i.e., we cannot always find a sequence $U=(U_i)_{i\ge 0}$ of integers such that the value of every word in the language $L$ is determined by the position of its letters and the first few values of $U$. Finding the conditions under which an abstract numeration system is positional seems difficult in general. In this paper, we thus consider this question for a particular sub-family of abstract numeration systems called Dumont--Thomas numeration systems. They are derived from substitutions and were introduced in 1989 by Dumont and Thomas. We exhibit conditions on the underlying substitution so that the corresponding Dumont--Thomas numeration is positional. We first work in the most general setting, then particularize our results to some practical cases. Finally, we link our numeration systems to existing literature, notably properties studied by Rényi in 1957, Parry in 1960, Bertrand-Mathis in 1989, and Fabre in 1995

Explore related subjects

math.COcs.DMcs.FL

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Savinien Kreczman, Sébastien Labbé, Manon Stipulanti. 2026-04-23. Positionality of Dumont--Thomas numeration systems for integers. https://arxiv.org/abs/2503.04487

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Sudoku Analogues of Baranyai's Theorem

Motivated by higher-dimensional generalizations of Sudoku, we study exact block-structured decompositions, algebraic characterizations, and orthogonality for Sudoku hypercubes. Let $n=\prod_{i=1}^d a_i$, let $b_i=n/a_i$, and consider the $λ$-fold complete $d$-uniform $d$-partite hypergraph with $d$ vertex classes of size $n$, where the $i$th class is partitioned into $a_i$ groups of size $b_i$. Given positive integers $m_1,\dots,m_k$ with $\sum_{j=1}^k m_j=λn^d$, we partition the edges into color classes of sizes $m_1,\dots,m_k$ so that, in color $j$, vertex degrees and block counts are each either $\lfloor m_j/n\rfloor$ or $\lceil m_j/n\rceil$, while the multiplicity of an underlying edge is either $\lfloor m_j/n^d\rfloor$ or $\lceil m_j/n^d\rceil$. When $m_j=nr_j$, the vertex and block balances are exact, yielding block factorizations and higher-dimensional Sudoku analogues of Baranyai's theorem. Within the same block framework, we give a Delsarte characterization of the Sudoku condition using association schemes and study mutually orthogonal Sudoku hypercubes of order $q^3$ for prime powers $q$. For block sizes $(q^3,q^2,q)$ and $(q^3,q^3,1)$, the resulting families attain a general upper bound and are best possible. For block size $(q^2,q^2,q^2)$, we construct $q^2(q^2-1)(q^2-q)$ mutually orthogonal hypercubes; this construction is asymptotically best possible as $q\to\infty$.

math.CO↗
arXiv2026

Quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets

In this article, we first introduce quasi-overlap and quasi-grouping functions on bounded pseudo-ordered sets, respectively, and give their respective preliminary constructions and the induced quasi-overlap functions on quotient posets.. We then explore the invariant properties under weighting and automorphisms. We also introduce the migrativity, the homogeneity, the idempotency, the cancellation law, the Archimedean and limiting properties of quasi-overlap functions and discuss their relations. We finally present two constructing methods of quasi-overlap functions, which are based on boundary-faithful mappings and adjunctions on bounded psosets and the transitive-endpoints of a bounded trellis, respectively. The corresponding statements are valid for quasi-grouping functions as well.

math.CO↗
arXiv2026

Uniform Hypergraphs with $α$-Spectral Radius at Most That of a Loose Cycle

Let $k\geq 3$ and $α\in[0,1)$, and let $λ_k(α)$ denote the $α$-spectral radius of a $k$-uniform loose cycle. Lu and Man classified all connected $k$-uniform hypergraphs with adjacency spectral radius at most $λ_k(0)$. In this paper, we extend their classification to the $α$-spectral setting. In particular, for every $k\geq 3$ and $0<α<1$, we prove that $λ_k(α)$ is the smallest limit point of the $α$-spectral radii of connected $k$-uniform hypergraphs. Moreover, we give a complete comparison between the $α$-spectral radius of an arbitrary finite connected $k$-uniform hypergraph $H$ and that of a loose cycle by determining the sign of $ρ_α(H)-λ_k(α)$. As a consequence, for each fixed $0<α<1$, we classify all finite connected $k$-uniform hypergraphs with $α$-spectral radius at most $λ_k(α)$.

math.CO↗