Construction of codes over a commutative non-unital ring from simplicial complexes and their applications

Resumo Técnico: Construção de Códigos sobre um Anel Comutativo Não Unitário a partir de Complexos Simpliciais e Suas Aplicações

Enunciado do Problema e Contexto
O artigo aborda a construção de códigos lineares sobre anéis finitos, focando especificamente em um anel comutativo não unitário $I$ de ordem $p^2$ e sua extensão $S$ de grau $r$. Enquanto códigos lineares sobre corpos finitos e anéis unitários são bem estabelecidos, o estudo de códigos sobre anéis não unitárioss é um desenvolvimento mais recente. Trabalhos anteriores exploraram códigos quase autoduais e auto-ortogonais sobre anéis não unitários, incluindo o anel não comutativo $E$ de ordem $p^2$. Este trabalho estende a investigação para o anel comutativo não unitário $I$ e sua extensão $S$, visando construir códigos com parâmetros otimizados utilizando conjuntos definidores derivados de complexos simpliciais. O objetivo principal é determinar as distribuições de peso, a minimalidade e a otimalidade desses códigos e explorar suas aplicações em esquemas de compartilhamento de segredos, códigos localmente recuperáveis (LRCs) e na construção de grafos fortemente regulares.

Metodologia
Os autores empregam o método do conjunto definidor para construir códigos lineares sobre o anel $S$.

1. Estrutura do Anel: O anel $S$ é definido como uma extensão do anel comutativo não unitário $I = \langle a, b \mid pa=0, pb=0, a^2=b, ab=0 \rangle$. Os elementos em $S$ são da forma $as + bt$ onde $s, t \in \mathbb{F}_q$ ($q=p^r$).
2. Construção de Códigos: Um código linear $C_D$ de comprimento $|D|$ é definido sobre $S$ usando um multiconjunto ordenado $D \subseteq S^m$ como o conjunto definidor:
   $$C_D = \{ (v \cdot d)_{d \in D} : v \in S^m \}$$
   onde o produto $v \cdot d$ é definido via as regras de multiplicação do anel.
3. Complexos Simpliciais: Os conjuntos definidores $D$ são construídos usando complexos simpliciais $\Delta$ sobre $\mathbb{F}_q^m$. Especificamente, os autores consideram conjuntos da forma $D = a\Delta_1 + b\Delta_2$, onde $\Delta_1$ e $\Delta_2$ são complexos simpliciais (potencialmente com múltiplos elementos maximais) e seus complementos.
4. Análise de Peso:
   • Peso de Lee: O peso de Lee dos codewords é analisado usando o mapa de Gray $\Phi: S \to \mathbb{F}_q^2$ definido por $\Phi(as+bt) = (t, s+t)$. O peso de Lee é calculado como o peso de Hamming da imagem de Gray.
   • Códigos do tipo Subcampo: Um mapa de projeção $\tau: S \to \mathbb{F}_q$ definido como $\tau(as+bt) = t$ é usado para construir códigos do tipo subcampo $\tau(C_D)$ sobre $\mathbb{F}_q$.
5. Ferramentas Analíticas: Os autores utilizam somas de caracteres, o princípio da inclusão-exclusão e propriedades de complexos simpliciais (especificamente elementos maximais e suas interseções) para derivar distribuições de peso e parâmetros explícitos.

Principais Contribuições e Resultados

1. Distribuições de Peso e Parâmetros Explícitos:
   O artigo determina as distribuições de peso de Lee para códigos $S$-lineares onde os conjuntos definidores são formados por combinações de complexos simpliciais e seus complementos. Cinco casos distintos de conjuntos definidores ($D = a\Delta_1 + b\Delta_2$, $a\Delta_1 + b\Delta_2^c$, etc.) são analisados.

   • Os parâmetros (comprimento, tamanho e distância de Lee mínima) dos códigos $S$-lineares são estabelecidos.
   • As imagens de Gray $\Phi(C_D)$ e os códigos do tipo subcampo $\tau(C_D)$ são mostrados como códigos lineares sobre $\mathbb{F}_q$.
   • Distribuições de peso explícitas são fornecidas para casos onde os complexos simpliciais possuem elementos maximais únicos, revelando que muitos dos códigos resultantes são de poucos pesos (especificamente 1-peso ou 2-peso) e divisíveis.

2. Minimalidade e Otimalidade:

   • Minimalidade: Condições suficientes são estabelecidas sob as quais as imagens de Gray dos códigos e os códigos do tipo subcampo são minimais. Um código é minimal se cada codeword não nulo cobre apenas seus múltiplos escalares. Os autores derivam desigualdades envolvendo os tamanhos dos elementos maximais dos complexos simpliciais e o tamanho do corpo $q$ que garantem a minimalidade.
   • Otimalidade: O artigo investiga a otimalidade desses códigos em relação à cota de Griesmer. Várias famílias de códigos são mostradas como otimizadas sob condições específicas nos parâmetros $m, |M|, |N|$, e $q$.

3. Auto-ortogonalidade:
   Condições são fornecidas para que as imagens de Gray dos códigos e os códigos do tipo subcampo sejam euclidianos ou hermitianos auto-ortogonais. Essas condições dependem da divisibilidade dos pesos dos codewords e dos valores específicos de $q$ (por exemplo, $q=2, 3, 4$).

4. Aplicações:

   • Códigos Localmente Recuperáveis (LRCs): Os autores constroem famílias de LRCs com localidade 2 e 3. Esses códigos são derivados dos códigos do tipo subcampo $\tau(C_D)$ ao selecionar conjuntos definidores específicos relacionados aos elementos não nulos de complexos simpliciais.
   • Esquemas de Compartilhamento de Segredos (SSS): As estruturas de acesso mínimas de esquemas de compartilhamento de segredos baseados nos duais dos códigos minimais construídos são determinadas. O artigo especifica o número de conjuntos de acesso mínimos e a frequência de participação de cada participante.
   • Grafos Fortemente Regulares (SRGs): Ao alavancar a correspondência entre códigos projetivos de dois pesos e SRGs, o artigo constrói várias famílias de grafos de Cayley fortemente regulares. Os parâmetros $(N, K, \lambda, \mu)$ desses grafos são determinados explicitamente. Além disso, mostra-se que os grafos complementares desses SRGs também são fortemente regulares, com seus parâmetros explicitamente calculados.

Significância e Alegações
O artigo afirma avançar a teoria de códigos sobre anéis não unitários ao aplicar com sucesso a abordagem de complexos simpliciais ao anel comutativo não unitário $I$ e sua extensão $S$. A significância reside em:

• Gerar novas famílias de códigos divisíveis e de poucos pesos sobre corpos finitos via construções de imagens de Gray e de tipo subcampo.
• Fornecer critérios explícitos para que esses códigos sejam minimais, otimizáveis e auto-ortogonais, o que é crucial para aplicações em criptografia e combinatória.
• Demonstrar a versatilidade da construção ao produzir códigos adequados para Códigos Localmente Recuperáveis (críticos para armazenamento distribuído) e Esquemas de Compartilhamento de Segredos (críticos para distribuição segura de dados).
• Estabelecer uma ligação direta entre essas construções algébricas e Grafos Fortemente Regulares, fornecendo um método para gerar SRGs com parâmetros específicos a partir de princípios de teoria de códigos.

O trabalho não propõe implementações experimentais ou extensões teóricas futuras além do escopo dos códigos construídos e de suas aplicações imediatas. Ele foca na derivação algébrica de parâmetros e na verificação de suas propriedades dentro do framework estabelecido da teoria de códigos.