🔢 mathematics

Matrices with cyclically monotone rows and Cantor numeration systems

The paper proves that square matrices with cyclically monotone rows and dominant diagonal elements are regular, a result used to solve an open problem regarding the one-to-one relationship between periodic Cantor real bases and sequences of integers satisfying the Parry condition.

Original authors: Pavel Šťovíček, Edita Pelantová

Published 2026-04-27

📖 3 min read🧠 Deep dive

CC BY 4.0

Original authors: Pavel Šťovíček, Edita Pelantová

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to build a custom ruler. Usually, we use a standard ruler where the marks are always at the same intervals (like centimeters or inches). But what if you wanted a "musical ruler," where the distance between marks changes in a rhythmic, repeating pattern—like a drumbeat?

This paper is about the mathematical "blueprints" for those strange, rhythmic rulers, known as Cantor Numeration Systems.

Here is a breakdown of the paper using three simple analogies.

1. The "Rhythmic Ruler" (Cantor Numeration Systems)

In our normal decimal system (Base 10), every position in a number has a fixed value: the ones place, the tens place, the hundreds place, and so on. It’s very predictable.

The authors are looking at "Alternate" Cantor systems. Imagine a ruler where the "scale" changes every few inches in a repeating cycle. For example, the first inch is divided into 2 parts, the second into 3, the third into 2, and the fourth into 3 again. This creates a "rhythm" (a period).

The big question the mathematicians were trying to solve was: "If I give you a list of rules for how these rhythmic marks should behave, can you tell me exactly what the ruler looks like?"

2. The "Perfectly Balanced Matrix" (Cyclically Monotone Rows)

To solve this "ruler problem," the authors had to invent a new mathematical tool: a special kind of grid called a Matrix with Cyclically Monotone Rows.

Think of a matrix like a seating chart for a circular dinner party.

In a normal seating chart, people just sit anywhere.
In this special "cyclically monotone" chart, the guests are arranged in a very specific way: if you start at the "VIP" (the largest number on the diagonal) and move around the table, the "importance" of the guests must steadily decrease as you go around, until you get back to the start.

The authors proved that these specific types of "seating charts" have a special property: they are "Regular." In math-speak, this means they are stable and don't collapse into zero. This stability is the "secret sauce" that allows them to solve the ruler problem.

3. The "One-to-One Map" (The Solution)

The core of the paper is proving a Uniqueness Theorem.

Imagine you have a complex, rhythmic song (the list of sequences). You want to know if there is only one specific instrument (the Cantor base) that can play that exact song.

Before this paper, mathematicians knew that an instrument could play the song, but they weren't 100% sure if two different instruments could produce the exact same rhythmic pattern.

Using their "Perfectly Balanced Matrix" tool, the authors proved that the relationship is one-to-one. If you know the rhythm of the song, there is one, and only one, mathematical "ruler" that can measure it. It’s like saying if you hear a specific heartbeat, there is only one specific heart that could be producing it.

Summary for the Non-Mathematician

The researchers created a new way to organize numbers in grids (Matrices). They proved these grids are mathematically "solid" (Regular). They then used that solidity to prove that for every rhythmic pattern of numbers, there is a unique, perfectly defined mathematical system that creates it.

They essentially proved that the "music" of these number systems is unique and can be traced back to a single, specific "instrument."

This paper, titled "Matrices with cyclically monotone rows and Cantor numeration systems" by Pavel Štovíček and Edita Pelantová, provides a mathematical bridge between the theory of non-negative matrices and the existence/uniqueness of alternate Cantor real numeration systems.

1. The Problem

The central motivation is an open problem in the theory of Cantor numeration systems. While Cantor originally studied positional systems with a sequence of integer bases, recent research has extended this to Cantor real bases (sequences of real numbers $\beta_i > 1$ ).

A specific sub-class is the alternate numeration system, where the base sequence is periodic with period $p$ . For such systems, it is known that a base $B$ can be associated with $p$ sequences of non-negative integers that satisfy the Parry condition. However, the converse—whether any list of $p$ sequences satisfying the Parry condition uniquely determines an alternate real base $B$ —remained partially unresolved regarding the uniqueness of the base.

2. Methodology

The authors approach this problem by introducing a new algebraic tool: a specific class of square matrices with cyclically monotone rows.

Matrix Definition: A matrix has cyclically monotone rows if its entries are non-negative and each row consists of a cyclically non-increasing sequence starting from a maximal element on the diagonal.
Analytical Approach: To prove properties of these matrices, the authors use mathematical induction on the size of the matrix and employ matrix-valued functions of a real variable $x$ . They utilize the properties of determinants and minors to show that these matrices possess specific sign properties.
Topological/Calculus Approach: To link these matrices to the numeration problem, the authors define alternate power series of type $p$ . They use the Jacobian matrix of these power series and apply the Gale-Nikaido Theorem (regarding injective mappings) and Brouwer’s Theorem on the Invariance of Domain to prove the injectivity and range of the associated mappings.

3. Key Contributions and Results

A. Matrix Theory (The Tool)

Theorem 4: The authors prove that if a square matrix has cyclically monotone rows, its determinant is non-negative ( $\det A \geq 0$ ). If the rows are strictly cyclically monotone, the matrix is regular ( $\det A > 0$ ).
This result generalizes known properties of circulant matrices to a broader class of matrices.

B. Alternate Power Series (The Bridge)

Lemma 10 & Corollary 11: The authors demonstrate that the Jacobian matrix of a vector-valued function associated with alternate power series (multiplied by a diagonal matrix of the variables) results in a matrix with strictly cyclically monotone rows.
Theorem 13: Using the properties of the Jacobian, they prove that the vector-valued function $\Psi$ associated with these series is injective on $(0, 1)^p$ .

C. Cantor Numeration Systems (The Solution)

Theorem 22 (Main Result): The authors solve the open problem by proving that two alternate real bases of period $p$ are identical if they share the same list of quasi-greedy expansions of unity.
This establishes the uniqueness of the Cantor real base $B$ for any given list of sequences that satisfy the Parry condition.

4. Significance

The significance of this work is twofold:

Theoretical Unification: It provides a rigorous proof for the uniqueness of alternate Cantor real bases, completing a piece of the puzzle in non-standard numeration theory.
New Mathematical Framework: The introduction of "cyclically monotone rows" provides a new way to study the regularity and determinants of non-negative matrices, which has potential applications in other areas of linear algebra and dynamical systems.

The paper concludes by suggesting that while the uniqueness for periodic (alternate) bases is now settled, the question of existence and uniqueness for non-periodic Cantor bases remains a fertile ground for future research.