Dimensão VC de polinômios sobre semirriscos tropicais?

14

Como no esta questão, me interessa a vs / problema para tropical e circuitos. Essa questão se reduz à exibição de limites superiores para a dimensão VC de polinômios sobre as semirrependentes tropicais (consulte o Teorema 2 abaixo). B P P BPPP Pp o l ypoly ( máx . + ) (max,+)( mín . + )(min,+)

Seja um semicondutor. Um padrão zero de uma sequência de polinômios em R [x_1, \ ldots, x_n] é um subconjunto S \ subseteq \ {1, \ ldots, m \} para o qual existe x \ em R ^ n e y \ em I de tal modo que para todos os i = 1, \ ldots, m , f_i (x) = y sse i \ em S . Ou seja, os gráficos exatamente daqueles polinômios f_i com i \ in S devem atingir o ponto (x, y) \ em R ^ {n + 1} . ("Padrão zero" porque a condição f_i (x) = y pode ser substituída por f_i (x) -y = 0 ).RR( f 1 , , f m ) (f1,,fm)m mR [ x 1 , , x n ] R[x1,,xn]S { 1 , , m } S{1,,m}x R nxRn y R yRi = 1 , , m i=1,,mf i ( x ) = y fi(x)=yi S iSf ifi i S iS( x , y ) R n + 1(x,y)Rn+1 f i ( x ) = y fi(x)=yf i ( x ) - y = 0 fi(x)y=0Z ( m )Z(m) = o número máximo possível de padrões zero de uma sequência de mm polinômios de grau no máximo dd . Portanto, 0 Z ( m ) 2 m0Z(m)2m . A dimensão Vapnik-Chervonenkis dos polinômios de grau dd é V C ( n , d ) : = max { m : Z ( m ) = 2 m }VC(n,d):=max{m:Z(m)=2m} .

Observação: geralmente, a dimensão VC é definida para uma família FF de conjuntos como a maior cardinalidade | S ||S|de um conjunto SS de tal modo que { F S : F F } = 2S{FS:FF}=2S . Para ajustar-se a esse quadro, podemos associar a cada par (x,y)Rn+1(x,y)Rn+1 o conjunto Fx,yFx,y de todos os polinômios de grau f \ leq d para os quais f (x) = y vale. Então a dimensão VC da família {\ cal F} de todos esses conjuntos F_ {x, y} é exatamente VC (n, d) . ffddf(x)=yf(x)=yFFFx,yFx,yVC(n,d)VC(n,d)

Um limite superior trivial em m=VC(n,d)m=VC(n,d) é mnlog|R|mnlog|R|(precisamos de pelo menos 2m2m vetores distintos xRnxRn para ter todos os 2m2m padrões possíveis), mas é inútil em semirrecursos infinitos. Para ter bons limites superiores na dimensão VC, precisamos de bons limites superiores em Z(m)Z(m) . Sobre os campos , esses limites são conhecidos.

Teorema 1: Sobre qualquer campo RR , temos Z(m)(md+nn)Z(m)(md+nn) .
Limites superiores semelhantes foram comprovados anteriormente por Milnor , Heintz e Warren ; suas provas usam técnicas pesadas da geometria algébrica real. Por outro lado, uma prova de meia página do Teorema 1 de Ronyai, Babai e Ganapathy (a seguir mostramos) é uma aplicação simples da álgebra linear.

Ao procurar por pequenos mm satisfazendo (md+nn)<2m(md+nn)<2m , obtemos que VC(n,d)=O(nlogd)VC(n,d)=O(nlogd) mantém-se sobre qualquer campo . Em vista do BPPBPP vs. PP / polypoly , importante aqui é que a dimensão é apenas logarítmica no grau dd . Isso é importante porque circuitos de tamanho polinomial podem computar polinômios de grau exponencial e porque um resultado do aprendizado de Haussler no PAC (Corolário 2 na página 114 deste artigo ) produz o seguinte (onde assumimos que os circuitos determinísticos podem usar o voto majoritário) para produzir seus valores).

Teorema 2: BPPP/polyBPPP/poly é válido para circuitos em qualquer R semiring RR, em que VC(n,d)VC(n,d) é polinomial apenas em nn e logdlogd .
Veja aqui como o resultado de Haussler implica o Teorema 2.

Em particular, pelo Teorema 1, permanece sobre qualquer campo. (Interessante é aqui apenas o caso de infinitos campos: para os finitos, argumentos muito mais simples trabalhar: Chernoff ligado, em seguida, faz o trabalho.) Mas o que dizer (infinitas) semirings que são não campos, ou até mesmo não anéis? Motivado pela programação dinâmica, estou interessado principalmente em semirrugas tropicais e , mas outras semirrugas "fora do campo" (infinitas) também são interessantes. Observe que, ao longo do semiring , um polinômio com eBPPP/polyBPPP/poly(max,+)(max,+)(min,+)(min,+)(max,+)(max,+)f(x)=aAcani=1xaiif(x)=aAcani=1xaiiANANcaRcaR , se transforma no problema de maximização ; o grau de é (como habitual), o máximo de sobre toda .f(x)=maxaA {ca+a1x1+a2x2++anxn}f(x)=maxaA {ca+a1x1+a2x2++anxn}ffa1++ana1++anaAaA

Pergunta: A dimensão VC de polinômios de grau sobre polinômio de semirrópteros tropicais está em ? ddnlogdnlogd

Admito que essa pode ser uma pergunta bastante difícil de se esperar uma resposta rápida: a álgebra tropical é bastante "louca". Mas talvez alguém tenha algumas idéias sobre por que (se houver) polinômios tropicais poderiam produzir mais padrões zero do que polinômios reais? Ou por que eles "não deveriam"? Ou algumas referências relacionadas.

Ou, talvez, a prova de Babai, Ronyai e Ganapathy (abaixo) possa ser de alguma forma "distorcida" para trabalhar durante semirrendamentos tropicais? Ou sobre quaisquer outros semirriscos infinitos (que não são campos)?

Prova do teorema 1: Suponha que uma sequência tenha padrões zero diferentes e permita que sejam testemunhas desses padrões zero. Seja um padrão zero testemunhado pelo vetor e considere os polinômios . Afirmamos que esses polinômios são linearmente independentes sobre o nosso campo. Essa afirmação completa a prova do teorema, pois cada possui grau no máximo , e a dimensão do espaço de polinômios de grau no máximo é(f1,,fm)(f1,,fm)ppv1,,vpRnv1,,vpRnSi={k:fk(vi)0}Si={k:fk(vi)0}iivigi:=kSifkgiD:=mdD(n+DD). Para provar a afirmação, basta observar que se e somente se . Suponha, ao contrário, que uma relação linear não trivial . Seja um subscrito tal queé mínimo entre os com . Substitua na relação. Enquanto , temos para todos os , uma contradição. gi(vj)0SiSjλ1gi(x)++λpgp(x)=0j|Sj|Siλi0vjλjgj(vj)0λigi(vj)=0ij

Stasys
fonte

Respostas:

9

Percebi que a resposta para minha pergunta é: sim: a dimensão VC de polinômios de grau em variáveis ​​em qualquer sem tropical tropical é no máximo constante . Isso pode ser mostrado usando o Teorema 1 acima. Veja aqui para detalhes. Portanto, BPP P / poly também se aplica a circuitos tropicais e, portanto, também a algoritmos de programação dinâmica "puros". dnn2log(n+d)


NB (adicionado 2019/06/25) Nesse meio tempo, eu já resolveu o problema completamente no presente trabalho . Em tal generalidade, que eu nem sonhei no começo. O caso Tropical é apenas um caso muito, muito especial. E ainda mais curiosamente: por apenas uma combinação apropriada de resultados já conhecidos (em qualquer aspecto) de outros autores.

O que resta mais a fazer nessa direção (BPP vs. P / poly)? Além da diminuição do tamanho dos circuitos determinísticos resultantes (uma questão interessante por si só).

Stasys
fonte