Projections of convex polytopes to a line and higher univariate Prony systems

Resumo Técnico: Projeções de Politopos Convexos em uma Linha e Sistemas de Prony Univariados de Ordem Superior

Enunciado do Problema
O artigo investiga o problema inverso de momentos para politopos convexos, focando especificamente no empurrão (pushforward) da medida de Lebesgue restrita a um politopo convexo $d$-dimensional $P$ sobre uma linha. Enquanto o sistema clássico de Prony (introduzido por de Prony em 1795) aborda a recuperação de uma configuração finita de massas pontuais a partir de seus momentos, este trabalho generaliza o problema para o caso em que a medida é contínua, representada por uma densidade de spline de grau $d-1$. A questão central é como reconstruir a estrutura geométrica subjacente (nós e amplitudes) a partir da sequência de momentos dessas medidas projetadas e compreender as relações algébricas que governam tais momentos.

Metodologia
O autor emprega uma síntese de geometria algébrica, teoria de splines e problemas de momentos. A metodologia procede através das seguintes etapas:

1. Caracterização Geométrica: A medida de empurrão é identificada como uma densidade de spline não negativa suportada no intervalo definido pelos vértices projetados do politopo. A $d$-ésima derivada distribucional dessa densidade é mostrada ser uma medida discreta com sinal suportada no conjunto de vértices projetados.
2. Formulação no Espaço de Splines: O problema é enquadrado dentro de um espaço de splines univariados com nós fixos $L_{d,X}$, gerado por splines de simplex normalizados consecutivos (B-splines) associados aos vértices projetados.
3. Reconstrução Algébrica: A sequência de momentos é analisada usando funções geradoras racionais. O artigo estabelece que os momentos normalizados satisfazem uma relação de recorrência linear determinada pelas coordenadas dos vértices projetados.
4. Análise da Matriz de Hankel: A reconstrução dos nós é alcançada através do núcleo de uma matriz de Hankel retangular construída a partir dos momentos normalizados. A recuperação das amplitudes é reduzida à resolução de um sistema linear envolvendo uma matriz de coeficientes específica derivada de polinômios simétricos homogêneos completos.
5. Positividade e Realização: O artigo distingue entre o "relaxamento de spline" (medidas no cone simplicial positivo gerado por B-splines) e o "cone literal de politopo único" (medidas originadas de um único politopo convexo). Utiliza a desigualdade de Brunn–Minkowski para derivar condições necessárias e suficientes para este último em baixas dimensões.
6. Compatibilidade Multidirecional: O estudo estende-se a múltiplas direções de projeção, analisando as restrições de compatibilidade necessárias para que um conjunto de sequências de momentos univariados origine-se de uma única medida comum.

Principais Contribuições e Resultados

• Sistemas de Prony de Ordem Superior: O artigo define um sistema de Prony univariado "superior" (Definição 2.10) para $d \geq 0$. Para $d=0$, isso recupera o sistema clássico de Prony. Para $d > 0$, o sistema relaciona momentos a uma soma de medidas de B-spline com nós nos vértices projetados.
• Funções Geradoras Racionais e Recorrência: Uma função geradora racional para os momentos escalados é derivada (Teorema 2.8). Mostra-se que os momentos normalizados satisfazem uma recorrência linear de ordem $n$ (onde $n$ é o número de vértices), com o polinômio característico tendo raízes nas coordenadas dos vértices projetados.
• Algoritmo de Reconstrução Explícito:
  • Recuperação de Nós: Para dados genéricos, os vértices projetados são recuperados como as raízes do polinômio do núcleo de uma matriz de Hankel formada a partir de momentos normalizados (Proposição 2.11).
  • Recuperação de Amplitudes: Uma vez conhecidos os nós, as amplitudes são unicamente determinadas pela inversão de uma matriz $A_{d,n}(X)$, cujo determinante admite uma fatoração fechada envolvendo diferenças dos nós (Proposição 2.12).
• Critérios de Positividade: O artigo fornece desigualdades lineares explícitas que caracterizam o cone de splines simpliciais positivos em termos dos primeiros $n-d$ momentos normalizados (Teorema 2.13).
• Variedades de Momentos Direcionais: A variedade de momentos direcionais para politopos $d$-dimensionais com $n$ vértices é identificada com uma variedade determinantal de Hankel (Teorema 2.17). O ideal primo que define essa variedade é gerado pelos menores maximais de uma matriz de Hankel específica.
• Realização de Politopo Único:
  • Para $d=2$, o artigo fornece uma caracterização completa: uma densidade linear por partes corresponde a um polígono convexo se e somente se for não negativa, côncava e se anular nas extremidades (Teorema 4.1).
  • Para $d \geq 2$, uma condição necessária é derivada via o teorema de Brunn–Minkowski: a raiz $(d-1)$-ésima da densidade de volume da fatia deve ser côncava (Proposição 4.3).
• Compatibilidade Multidirecional: O artigo demonstra que condições KSS (Kohn–Sturmfels–Shapiro) independentes em múltiplas direções são insuficientes para a existência de uma medida comum. Estabelece que os momentos direcionais de ordem $r$ formam um polinômio homogêneo de grau $r$ no vetor de direção. Consequentemente, a compatibilidade impõe restrições lineares (Proposição 6.4) e problemas de correspondência não triviais entre vértices projetados em diferentes direções (Proposição 5.3).

Significado e Alegações
O artigo posiciona-se não como uma reafirmação da teoria Kohn–Sturmfels–Shapiro (KSS), mas como uma reinterpretação dela através da lente da reconstrução de Prony e problemas inversos. O autor alega as seguintes contribuições específicas:

1. Interpretação Explícita de Prony: Fornecimento de um procedimento de reconstrução claro para o sistema de ordem superior, incluindo fórmulas explícitas para a recuperação de nós e amplitudes.
2. Positividade e Cones de Splines: Esclarecimento da distinção entre o cone de todas as combinações positivas de splines e o cone mais restritivo de medidas realizáveis por um único politopo convexo.
3. Restrições Multidirecionais: Identificação de que o problema inverso multidirecional introduz restrições de compatibilidade fundamentalmente novas (além das relações de Hankel de direção única) relacionadas à correspondência de dados projetados e à estrutura algébrica dos momentos direcionais.

O trabalho conclui que, embora a geometria unidirecional seja bem compreendida através da teoria KSS, o cenário multidirecional apresenta uma estrutura mais rígida envolvendo problemas de correspondência semelhantes à recuperação de fase e restrições lineares e não lineares adicionais, sugerindo uma área rica para investigação algébrica e geométrica futura.