🔢 mathematics

Balanced rectangles over Sturmian words and minimal discrepancy intervals

Este artigo caracteriza completamente as propriedades de equilíbrio de matrizes retangulares $m \times n$ formadas por palavras de Sturmian com inclinação $\alpha$ , generalizando resultados anteriores para qualquer $\alpha$ através do uso das representações de Ostrowski e da distribuição de $n\alpha \bmod 1$ .

Autores originais: Ingrid Vukusic

Publicado 2026-04-20

📖 5 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Ingrid Vukusic

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você tem uma fita infinita de mosaico, feita apenas de duas cores: Preto e Branco. Essa fita não é aleatória; ela segue uma regra matemática muito específica baseada em um número especial e "quebrado" (chamado de número irracional, como $\pi$ ou a razão áurea). Vamos chamar essa fita de Palavra de Sturmian.

A grande pergunta que a matemática tenta responder sobre essas fitas é: Elas são equilibradas?

O Que Significa "Equilibrado"?

Pense em cortar um pedaço da sua fita de mosaico. Se você pegar dois pedaços do mesmo tamanho, eles devem ter quase a mesma quantidade de cor preta.

Se um pedaço tem 5 quadrados pretos, o outro não pode ter 10. Ele deve ter 4 ou 5.
Se a diferença for sempre 0 ou 1, a fita é equilibrada.

Isso é fácil de entender quando olhamos para uma linha reta (1 dimensão). Mas o que acontece se transformarmos essa fita em uma grade retangular (como uma folha de papel quadriculado)?

Imagine que você pega essa fita infinita e a escreve em linhas, uma embaixo da outra, formando uma matriz. Agora, você corta um retângulo dessa grade (digamos, 3 linhas por 4 colunas).

A pergunta do artigo é: Se eu pegar qualquer retângulo desse tamanho (3x4) em qualquer lugar da grade, a quantidade de quadrados pretos será sempre a mesma (ou diferirá apenas por 1)?

Às vezes, sim. Às vezes, não. Se você pegar um retângulo 2x3, talvez seja equilibrado. Mas se mudar para 2x4, pode virar um caos onde alguns retângulos têm 2 pretos e outros têm 4.

O Problema do "Mapa do Tesouro"

O autor, Ingrid Vukusic, quer descobrir uma regra mágica. Ela quer saber: "Para quais tamanhos de retângulo (m x n) a grade será sempre equilibrada?"

Antes deste trabalho, os matemáticos só conseguiam responder isso para casos muito especiais (quando o número que define a fita era um tipo específico de irracional, chamado "quadrático"). Era como se eles só soubessem ler mapas de tesouro em uma única ilha.

A grande contribuição deste artigo é criar um mapa para todos os tipos de ilhas (todos os números irracionais).

A Solução: A "Representação Ostrowski"

Para resolver o mistério, a autora usa uma ferramenta chamada Representação de Ostrowski. Vamos usar uma analogia para entender isso:

Imagine que você tem uma régua mágica onde as marcas não são 1, 2, 3, 4... Mas sim números especiais que dependem do seu número irracional (vamos chamar de "A").

A régua tem marcas: $q_0, q_1, q_2, q_3...$
Qualquer número inteiro (como o tamanho do seu retângulo, $m$ ou $n$ ) pode ser construído somando essas marcas, como se fosse uma moeda de troca.
Você usa uma "estratégia gananciosa": pega a maior marca que cabe, depois a próxima maior que cabe no resto, e assim por diante.

A descoberta do artigo é que a "equilíbrio" do retângulo depende inteiramente de como os números $m$ e $n$ são escritos usando essas marcas especiais.

Existem basicamente quatro cenários onde o retângulo é equilibrado:

A Separação Total: O número $m$ usa apenas as "moedas pequenas" da régua, e o número $n$ usa apenas as "moedas grandes". Eles não se misturam. É como se um fosse feito de centavos e o outro de notas de 100 reais.
O Salto Específico: $m$ usa moedas pequenas, e $n$ começa com uma moeda específica e depois pula algumas marcas na régua antes de continuar.
O Espelho Perfeito: $m$ é exatamente uma das marcas principais da régua (um denominador de uma aproximação fracionária), e $n$ é construído de uma forma que respeita a "paridade" (se é par ou ímpar) das marcas restantes.
A Variação Controlada: $m$ é uma marca principal somada a um pouco da próxima, e $n$ segue um padrão similar ao caso anterior.

Por Que Isso Importa?

O artigo conecta três mundos que parecem não ter nada a ver:

Palavras Infinitas: A fita de mosaico.
Retângulos: A grade 2D.
Distribuição de Pontos: Imagine jogar pontos em um círculo. Se você jogar pontos de forma muito regular, eles cobrem o círculo perfeitamente. O artigo mostra que o retângulo é equilibrado se e somente se os pontos caírem no círculo de uma maneira "justa" (com discrepância mínima).

A Conclusão em Linguagem Comum

Pense no artigo como um manual de instruções definitivo para arquitetos que constroem mosaicos matemáticos.

Antes: Eles diziam: "Se você usar o número de Fibonacci, seus retângulos 2x3 ficam bonitos. Mas se usar outro número, não sabemos."
Agora: A autora diz: "Não importa qual número irracional você use. Olhe para o tamanho do seu retângulo ( $m$ e $n$ ). Escreva-os na nossa 'moeda especial' (Ostrowski). Se eles se encaixarem em um desses quatro padrões de 'separação' ou 'espelhamento', seu mosaico será perfeitamente equilibrado. Se não, haverá desequilíbrio."

É uma beleza da matemática mostrar que, por trás de padrões complexos e infinitos, existe uma estrutura oculta e elegante que pode ser descrita com regras simples de "contagem de moedas".

Resumo Técnico: Retângulos Balanceados sobre Palavras de Sturmian e Intervalos de Discrepância Mínima

1. O Problema

O artigo aborda o problema de balanceamento em palavras de Sturmian bidimensionais.

Contexto: Uma palavra de Sturmian é uma sequência infinita sobre o alfabeto $\{0, 1\}$ definida por uma inclinação irracional $\alpha$ e um intercepto $\theta$ . A propriedade fundamental das palavras de Sturmian unidimensionais é que são "balanceadas": a diferença entre o número de 1s (peso) em quaisquer dois fatores de mesmo comprimento é no máximo 1.
Generalização: Berthé e Tijdeman provaram que, em dimensões maiores que 1, apenas palavras periódicas podem ser estritamente balanceadas. No entanto, pode-se estudar o balanceamento de submatrizes retangulares específicas.
Objetivo: Determinar sob quais condições os retângulos $m \times n$ extraídos de uma palavra de Sturmian (formando uma matriz de Hankel infinita) são balanceados. Ou seja, quando o peso (soma dos elementos) de qualquer retângulo $m \times n$ na matriz assume apenas dois valores consecutivos inteiros ( $c$ e $c+1$ ), independentemente da posição inicial do retângulo.
Limitação de Trabalhos Anteriores: Resultados anteriores (Anselmo et al., Shallit e a autora) caracterizaram esse balanceamento apenas para inclinações $\alpha$ que são irracionais quadráticos (usando representações de Zeckendorf e ferramentas como o software Walnut). O objetivo deste trabalho é generalizar a caracterização para qualquer número irracional $\alpha$ .

2. Metodologia

A abordagem do autor combina Teoria dos Números (Aproximação Diofantina), Teoria da Discrepância e Dinâmica Simbólica.

Redução a Intervalos: O autor estabelece uma equivalência crucial (Teorema 3.1): o balanceamento dos retângulos $m \times n$ $m \times n$ é equivalente ao balanceamento de intervalos de comprimento $\{n\alpha\}$ em relação ao conjunto de pontos $\{0, \alpha, 2\alpha, \dots, (m-1)\alpha\}$ ${0, α, 2 α, \dots, (m - 1) α}$ módulo 1.
- Um intervalo é considerado "balanceado" se o número de pontos do conjunto contido nele varia no máximo em 1, independentemente da posição do intervalo.
Mapeamento Bijectivo: Para analisar o balanceamento dos intervalos, o problema é reformulado em termos de bijectividade de certas funções ( $f_{left}$ e $f_{right}$ ) que mapeiam índices de pontos para os pontos mais próximos à esquerda e à direita de uma extremidade do intervalo (Seção 4).
Representação de Ostrowski: A ferramenta central para a caracterização final é a Representação de Ostrowski. Dado um irracional $\alpha = [a_0; a_1, a_2, \dots]$ , qualquer inteiro positivo $n$ possui uma representação única como soma de denominadores de convergentes $q_k$ :
$n = \sum_{k=0}^N b_k q_k$
com restrições específicas nos dígitos $b_k$ .
Aproximação Diofantina: O autor utiliza propriedades finas dos denominadores de convergentes ( $q_k$ ) e semi-convergentes para analisar a distribuição dos pontos $\{k\alpha\}$ e determinar quando as funções de mapeamento são bijectivas.

3. Contribuições Principais e Resultados

O resultado central é o Teorema 2.1, que fornece uma caracterização completa e necessária/suficiente para que os retângulos $m \times n$ sejam balanceados, baseada nas representações de Ostrowski de $m$ e $n$ em relação a $\alpha$ .

Assumindo $2 \le m \le n$ , os retângulos são balanceados se e somente se as representações de Ostrowski de $m$ e $n$ satisfizerem pelo menos uma das quatro formas estruturais:

Representações "Divididas" (Split):
- $m$ usa apenas dígitos de baixa ordem ( $k \le M$ ) e $n$ usa apenas dígitos de alta ordem ( $k \ge M+1$ ).
- Ou $m$ usa dígitos baixos e $n$ é da forma $q_M + \text{dígitos altos com paridade específica}$ .
- Intuição: Nestes casos, o comprimento do intervalo $\{n\alpha\}$ é extremamente pequeno (ou grande), contendo no máximo um ponto do conjunto, garantindo o balanceamento trivial.
$m$ como Denominador de Convergente ou Semi-Convergente:
- $m = q_M$ (denominador de um convergente) e $n$ tem uma estrutura específica onde os dígitos "grandes" respeitam restrições de paridade.
- $m = q_{M-1} + a q_M$ (semi-convergente) com restrições similares em $n$ .
- Intuição: Nestes casos, os pontos $\{k\alpha\}$ estão distribuídos de forma extremamente uniforme, permitindo que intervalos de certos comprimentos capturem um número quase constante de pontos.

Outras Contribuições:

Generalização: Remove a restrição de $\alpha$ ser irracional quadrático, cobrindo todos os irracionais.
Conexão Teórica: Estabelece uma ligação explícita entre o balanceamento de retângulos em palavras de Sturmian e a teoria de conjuntos de resto limitado (bounded remainder sets) e discrepância mínima.
Algoritmo de Verificação: A caracterização via Ostrowski fornece um método algorítmico direto para verificar o balanceamento para qualquer par $(m, n)$ e qualquer $\alpha$ .

4. Significado e Impacto

Unificação Teórica: O trabalho unifica resultados fragmentados sobre o balanceamento de retângulos, mostrando que a estrutura algébrica dos inteiros (via Ostrowski) governa diretamente as propriedades combinatórias das palavras de Sturmian.
Aplicabilidade: A caracterização é puramente aritmética, permitindo a verificação computacional eficiente sem a necessidade de simulações de grandes matrizes.
Avanço na Teoria da Discrepância: O artigo aprofunda a compreensão de como a distribuição de sequências do tipo $\{n\alpha\}$ se comporta em intervalos de tamanho fixo, conectando problemas de teoria dos números clássicos com a complexidade de palavras.
Fechamento de Lacunas: Resolve completamente o problema bidimensional de balanceamento para o caso geral, superando as limitações impostas pela dependência de expansões contínuas periódicas (caso quadrático) em trabalhos anteriores.

Em suma, Ingrid Vukusic demonstra que o balanceamento de retângulos em palavras de Sturmian não é um fenômeno aleatório, mas sim uma consequência direta e previsível da estrutura das representações de Ostrowski dos comprimentos dos lados do retângulo em relação à inclinação da palavra.