Explicit Determinants of Homogeneous Polynomial Evaluation Matrices and Applications

Resumo Técnico: Determinantes Explícitos de Matrizes de Avaliação de Polinômios Homogêneos e Aplicações

Enunciado do Problema
Este trabalho investiga as propriedades algébricas, especificamente os determinantes, de matrizes construídas pela avaliação de polinômios bivariados homogêneos em pares de vetores. Dado um polinômio homogêneo $p(x, y) = \sum_{i=0}^k \alpha_i x^{k-i}y^i$ de grau $k$ e dois vetores $a = (a_1, \dots, a_n)$ e $b = (b_1, \dots, b_n)$ em $\mathbb{C}^n$, o artigo analisa a matriz de avaliação $n \times n$ $A_{a,b}(p(x, y)) = [p(a_r, b_s)]_{r,s=1}^n$.

Embora existam resultados clássicos para casos específicos — como matrizes de Vandermonde ou matrizes da forma $[(a_i + b_j)^k]$ — estes são frequentemente restritos a formas polinomiais específicas ou ao caso específico onde o tamanho da matriz $n$ é igual a $k+1$. Um arcabouço unificado que explique o comportamento desses determinantes para polinômios homogêneos gerais em todos os tamanhos de matriz (particularmente quando $n$ excede o grau do polinômio) era inexistente.

Metodologia
A principal contribuição metodológica é uma fatoração sistemática da matriz de avaliação $A_{a,b}(p(x, y))$. Os autores estabelecem que, para qualquer polinômio homogêneo de grau $k$, a matriz de avaliação pode ser decomposta no produto de três matrizes estruturadas:
$$A_{a,b}(p(x, y)) = V_a^{(k)} D_\alpha (W_b^{(k)})^T$$
onde:

• $V_a^{(k)}$ e $W_b^{(k)}$ são matrizes do tipo Vandermonde de ordem $n \times (k+1)$ contendo potências das componentes dos vetores $a_r$ e $b_s$.
• $D_\alpha$ é uma matriz diagonal $(k+1) \times (k+1)$ contendo os coeficientes $\alpha_i$ do polinômio.

Esta fatoração serve como o mecanismo fundamental para derivar todos os resultados subsequentes. A análise procede examinando as propriedades de posto (rank) e determinante com base na relação entre a dimensão da matriz $n$ e o grau do polinômio $k$:

1. Caso $n \ge k+2$: A matriz é um produto de matrizes com dimensão interna $k+1$. Por desigualdades de posto, o posto de $A_{a,b}$ é no máximo $k+1$, tornando a matriz $n \times n$ singular.
2. Caso $n = k+1$: A fatoração envolve matrizes quadradas, permitindo o cálculo explícito do determinante via o produto de determinantes.
3. Caso $n \le k$: Os autores aplicam a fórmula de Cauchy–Binet ao produto $V_a^{(k)} D_\alpha (W_b^{(k)})^T$. Isto expressa o determinante como uma soma sobre subconjuntos de índices, envolvendo menores de Vandermonde generalizados. Estes menores são, posteriormente, avaliados usando polinômios simétricos homogêneos completos ($H_m$).

Principais Contribuições e Resultados

• Condição de Vanishing Geral: O artigo prova que, para qualquer polinômio homogêneo de grau $k$, se o tamanho da matriz $n \ge k+2$, o determinante é identicamente zero. Isto generaliza observações anteriores limitadas a formas polinomiais específicas.
• Fórmula de Forma Fechada para $n = k+1$: No caso "limite" quadrado, uma fórmula explícita é derivada:
  $$\det(A_{a,b}(p(x, y))) = (-1)^{\binom{k+1}{2}} \left( \prod_{i=0}^k \alpha_i \right) \left( \prod_{1 \le i < j \le n} (a_j - a_i) \right) \left( \prod_{1 \le i < j \le n} (b_j - b_i) \right)$$
  Este resultado confirma que o determinante é não nulo se, e somente se, todos os coeficientes do polinômio forem não nulos e as entradas dos vetores forem distintas entre si.
• Casos Especiais: A fórmula geral recupera e estende resultados conhecidos para:
  • A forma de soma $(x+y)^k$.
  • A forma de quociente $\frac{a^{k+1}-b^{k+1}}{a-b}$.
  • A forma de soma alternada $\frac{a^{k+1}+b^{k+1}}{a+b}$ (para $k$ ímpar).
• Caso Geral $n \le k$: Para $n \le k+1$, o determinante é expresso como uma soma envolvendo produtos de coeficientes, diferenças de Vandermonde e determinantes de matrizes formadas por polinômios simétricos homogêneos completos. Isto conecta o problema à teoria das funções simétricas.
• Especificidades da Forma de Soma: Para polinômios da forma $p(x, y) = f(x+y)$, os autores derivam uma fórmula de forma fechada específica para $n=k+1$ que depende apenas do coeficiente líder de $f$, mostrando independência de coeficientes de ordens inferiores.
• Equivariância: Uma regra explícita é fornecida para como o determinante se transforma sob mudanças lineares de variáveis $(x, y) \mapsto (x', y') = B \cdot (x, y)$. Para polinômios de forma de soma, o determinante escala por fatores relacionados à soma das entradas da matriz de transformação.
• Campos Finitos: Aplicando o lema de Schwartz–Zippel, o artigo estabelece um limite superior probabilístico para o vanishing do determinante quando os vetores são escolhidos uniformemente ao acaso de um campo finito $\mathbb{F}_q$. Especificamente, para $n \le k+1$, a probabilidade de o determinante ser zero é limitada por $nk/q$.

Significância e Escopo
O artigo afirma fornecer um "arcabouço sistemático e unificado" para analisar estas matrizes, indo além de argumentos ad-hoc para exemplos específicos. Ao alavancar a homogeneidade do polinômio, os autores demonstram que a estrutura da matriz de avaliação está inerentemente ligada a fatorações do tipo Vandermonde.

A significância reside em:

1. Unificação: Explica por que os determinantes desaparecem para $n \ge k+2$ em todos os polinômios homogêneos, não apenas em instâncias específicas.
2. Fórmulas Explícitas: Fornece expressões de forma fechada para o caso crítico quadrado $n=k+1$ e expansões estruturadas para $n \le k$.
3. Aplicações: Os resultados são aplicados para derivar leis de equivariância sob transformações lineares e para fornecer limites de probabilidade de não-vanishing sobre campos finitos, que são relevantes para teoria de códigos e álgebra linear estruturada.

Os autores observam que o arcabouço atual é específico para polinômios homogêneos e identificam explicitamente a análise de polinômios bivariados não homogêneos como uma direção potencial para trabalhos futuros, mantendo um escopo modesto em relação às limitações do presente artigo.