🔢 mathematics

On Generalizations of Maiorana-McFarland and $\mathcal{PS}_{ap}$ Functions

Este artigo apresenta generalizações das classes clássicas de funções bent de Maiorana-McFarland e $\mathcal{PS}_{ap}$ , construindo novas famílias fora dessas classes completas, investigando a decomposição das funções generalizadas e propondo uma construção secundária baseada na concatenação de componentes de funções vetoriais generalizadas.

Autores originais: Sezel Alkan, Nurdagül Anbar, Athina Avrantini, Erroxe Etxabarri-Alberdi, Tekgül Kalaycı, Beatrice Toesca

Publicado 2026-03-31

📖 4 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Sezel Alkan, Nurdagül Anbar, Athina Avrantini, Erroxe Etxabarri-Alberdi, Tekgül Kalaycı, Beatrice Toesca

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ê está tentando construir o castelo de segurança digital mais forte do mundo. Para fazer isso, você precisa de "tijolos" matemáticos especiais chamados funções booleanas. Esses tijolos são usados para proteger senhas, criptografar mensagens e garantir que seus dados não sejam roubados.

Dentro desse mundo, existe um tipo de tijolo "perfeito" chamado função bent. Eles são tão bons que, se você tentar analisá-los de qualquer ângulo, eles parecem totalmente aleatórios e imprevisíveis. Isso é ótimo para a segurança, mas difícil de encontrar.

Os matemáticos já conheciam dois "modelos de fábrica" principais para criar esses tijolos perfeitos:

O Modelo Maiorana-McFarland (MM): Uma receita clássica e confiável.
O Modelo PSap (Partial Spread): Outra receita antiga, baseada em espalhamento de peças.

Por muito tempo, os cientistas acharam que todos os tijolos perfeitos eram apenas variações desses dois modelos. Mas, recentemente, eles descobriram que existem "tijolos fora da caixa" — funções perfeitas que não se encaixam em nenhuma das duas receitas antigas.

Este artigo é como um manual de engenharia para criar novos tipos desses tijolos e entender por que eles são tão especiais. Vamos simplificar os três grandes feitos dos autores:

1. Criando Novos Tijolos que "Quebram" as Regras Antigas

Os autores criaram uma nova família de tijolos, chamados Generalizados Maiorana-McFarland.

A Analogia: Imagine que a receita antiga (MM) exige que você use apenas tijolos vermelhos e azuis em um padrão fixo. Os autores disseram: "E se misturarmos tijolos de cores diferentes de uma forma que o padrão antigo não consegue descrever?"
O Resultado: Eles provaram que podem criar funções perfeitas que são tão diferentes das receitas antigas que, não importa como você tente transformá-las (girar, inverter, mudar a cor), elas nunca se parecerão com os modelos clássicos. É como descobrir uma nova espécie de animal que não é nem um cachorro nem um gato, mas ainda assim é um mamífero perfeito.

2. O Mistério da "Desmontagem" (Por que alguns tijolos são indivisíveis?)

Um dos maiores desafios é saber se um tijolo complexo pode ser desmontado em pedaços menores (funções mais simples) para ser reconstruído.

A Analogia: Pense em um quebra-cabeça. Alguns quebra-cabeças são feitos de 4 peças grandes que você pode separar e juntar de novo. Outros são como uma peça de cerâmica fundida: se você tentar quebrá-la, ela se despedaça em pedaços inúteis.
O Descobrimento: Os autores estudaram os novos tijolos (chamados Generalizados PSap) e descobriram que, quando eles são "pequenos" (matematicamente falando), não podem ser desmontados em peças menores que sejam perfeitas.
Por que isso importa? Isso significa que você não pode criar esses tijolos apenas colando pedaços de outros tijolos conhecidos. Eles são originais, nascidos de uma estrutura única e complexa que não pode ser simplificada. É como descobrir um diamante que não pode ser cortado em pedacinhos menores sem perder seu brilho.

3. A Técnica de "Costura" (Construindo o Impossível)

Se não podemos desmontar esses tijolos, como podemos construí-los? Os autores mostraram uma técnica de "costura" inteligente.

A Analogia: Imagine que você tem 4 tecidos diferentes (peças de um tecido maior). Em vez de tentar costurá-los aleatoriamente, eles descobriram uma regra específica de como costurar as bordas desses tecidos para criar um novo tecido perfeito e forte.
O Resultado: Eles mostraram como pegar as "peças" de funções vetoriais (que são como múltiplos tijolos juntos) e costurá-las de uma maneira muito específica para criar um novo tijolo perfeito. Isso abre uma nova porta para a engenharia de segurança, permitindo criar proteções que os hackers nunca viram antes.

Resumo da Ópera

Em linguagem simples, este artigo diz:

"Nós descobrimos como fabricar novos tipos de escudos matemáticos que são tão diferentes dos modelos antigos que as regras de classificação antigas não funcionam mais para eles. Além disso, provamos que alguns desses escudos são indivisíveis — você não pode quebrá-los em pedaços menores — e mostramos um novo método de costura para construí-los a partir de peças maiores. Isso significa que o mundo da criptografia tem muito mais opções seguras do que imaginávamos."

Por que isso é importante para você?
Quanto mais tipos diferentes de "tijolos perfeitos" existirem, mais difícil fica para os hackers encontrarem uma falha. Se todos usássemos o mesmo modelo de fechadura, um ladrão poderia inventar uma chave mestra. Com esses novos modelos, cada porta pode ter uma fechadura única e complexa, tornando o mundo digital muito mais seguro.

Resumo Técnico: Generalizações de Funções Maiorana–McFarland e PSap

1. Problema e Contexto

O artigo aborda a construção e classificação de funções booleanas bent (curvadas), que são funções com não-linearidade máxima e desempenham um papel crucial na criptografia, especialmente no design de cifras de fluxo e blocos.
O problema central reside na necessidade de construir funções bent que não pertençam às classes completadas (fechadas sob equivalência afim estendida - EA) das duas construções primárias clássicas:

Classe Maiorana–McFarland (MM#): A maioria das funções bent em dimensões baixas pertence a esta classe.
Classe Partial Spread Desarguesiana (PSap#): Uma subclasse distinta das construções de "spread" (espalhamento).

Apesar de se saber que a classe MM# representa apenas uma fração minúscula de todas as funções bent (especialmente em dimensões maiores), a construção explícita de funções bent fora dessas classes completadas permanece um desafio ativo. O artigo foca em generalizações das classes MM e PSap para investigar se elas podem gerar novas famílias de funções bent fora dessas classes completadas e analisar suas propriedades de decomposição.

2. Metodologia

Os autores utilizam uma abordagem híbrida que combina teoria de funções booleanas, teoria de corpos finitos e geometria algébrica:

Critério de Dillon e Derivadas de Segunda Ordem: Para determinar se uma função pertence à classe MM#, o artigo utiliza o critério de Dillon, que caracteriza a classe através da existência de subespaços vetoriais de dimensão $n/2$ (chamados de subespaços M) onde as derivadas de segunda ordem da função se anulam identicamente.
Decomposição e Concatenação: O estudo investiga a decomposição de funções bent em subespaços de codimensão 2. Uma função bent admite uma "decomposição bent" (ou semibent) se suas restrições a certos cosetos forem também bent (ou semibent). Isso está ligado à existência de subespaços M na função dual.
Teoria de Curvas Algébricas e Corpos de Funções: Para provar que certas funções generalizadas não admitem decomposições, os autores modelam o problema como a existência de pontos racionais afins em curvas algébricas definidas sobre corpos finitos (curvas de Artin-Schreier). Eles aplicam o Limite de Hasse-Weil para estimar o número de pontos racionais, provando que, sob certas condições de grau e tamanho do corpo, a curva possui pontos que tornam a derivada de segunda ordem não constante.
Construções Primárias e Secundárias: O trabalho propõe novas construções primárias (generalizações de MM e PSap) e secundárias (baseadas na concatenação de componentes de funções vetoriais).

3. Contribuições Principais e Resultados

A. Construção de Funções Generalizadas Maiorana–McFarland (GMM) Fora de MM#

Os autores apresentam uma família de funções GMM definidas sobre $F_{2^n} \times F_{2^k} \times F_{2^k}$ .
Resultado Chave: Eles provam que, ao combinar funções MM que compartilham apenas subespaços M triviais (dimensão $\le 1$ ) e aplicá-las em um framework GMM, é possível obter funções bent que não pertencem à classe MM#.
Condição: Isso é garantido quando a dimensão $n$ é suficientemente grande em relação a $k$ (especificamente $n > 2k + 4$ ).
Exemplos Concretos: São fornecidos exemplos usando permutações específicas, como a função inversa ( $x^{2^m-2}$ ) e funções de Gold ( $x^{2^k+1}$ ), que satisfazem as propriedades necessárias para garantir que a função resultante tenha um índice de linearidade estritamente menor que $n/2 + k$ , excluindo-a de MM#.

B. Análise de Decomposição de Funções Generalizadas PSap

O artigo investiga se as funções bent generalizadas PSap (G-PSap) podem ser decompostas em funções bent ou semibent via concatenação.
Resultado Chave: É provado que, quando o grau do polinômio definidor da função G-PSap é suficientemente pequeno em relação ao tamanho do corpo finito ( $m > 4$ e grau $\le 2^{m/4-1}$ ), essas funções não admitem, em geral, uma decomposição bent ou semibent.
Implicação: Isso significa que tais funções não podem ser obtidas a partir de construções secundárias conhecidas baseadas na concatenação de funções bent ou semibent. A prova baseia-se na demonstração de que a derivada de segunda ordem da função dual não é constante, utilizando estimativas de pontos racionais em curvas algébricas.

C. Nova Construção Secundária via Concatenação de Componentes Vetoriais

Inspirados pela estrutura das funções PSap vetoriais, os autores propõem uma nova construção secundária de funções bent booleanas.
Mecanismo: A função é construída pela concatenação de componentes de uma função bent vetorial G-PSap.
Resultado: Eles demonstram que, sob condições específicas de permutação e parâmetros do corpo, a concatenação de quatro componentes específicos ( $F_\alpha, F_\beta, F_\gamma, F_{\alpha+\beta+\gamma+1}$ ) resulta em uma nova função bent booleana. Esta construção explora a propriedade de que a soma das funções duais dos componentes satisfaz uma relação linear específica.

4. Significado e Impacto

Expansão do Conhecimento Teórico: O trabalho fornece novas famílias explícitas de funções bent que residem fora das classes completadas MM e PSap, preenchendo uma lacuna na classificação de funções bent em dimensões superiores.
Limites de Construção Secundária: Ao provar que certas funções G-PSap não admitem decomposição, o artigo estabelece limites teóricos sobre quais funções podem ser geradas por métodos de concatenação, indicando a necessidade de métodos primários diretos para certas classes.
Ferramentas Matemáticas: A aplicação rigorosa da teoria de curvas algébricas (via o limite de Hasse-Weil) para resolver problemas de derivadas de segunda ordem em funções booleanas destaca uma interdisciplinaridade valiosa entre a criptografia e a geometria algébrica.
Aplicações Criptográficas: A descoberta de novas funções bent com propriedades de não-linearidade e estrutura de subespaços distintas é fundamental para o desenvolvimento de primitivas criptográficas mais robustas e resistentes a ataques algébricos.

Em suma, o artigo avança significativamente na compreensão da estrutura das funções bent, oferecendo métodos para gerar exemplos fora das classes tradicionais e caracterizando as limitações de suas decomposições.