Derivadas de gradiente e vetor: vetor de linha ou coluna?


9

Muitas referências (incluindo a wikipedia e http://www.atmos.washington.edu/~dennis/MatrixCalculus.pdf e http://michael.orlitzky.com/articles/the_derivative_of_a_quadratic_form.php ) definem a derivada de um função por um vetor como derivadas parciais da função organizada em uma linha (portanto, uma derivada de uma função com valor escalar é um vetor de linha). Nesta convenção, o gradiente e a derivada do vetor são transpostos um do outro. O benefício desta convenção é que podemos interpretar o significado da derivada como uma função que informa a taxa linear de mudança em cada direção. O gradiente continua sendo um vetor, indica a direção e a magnitude da maior taxa de mudança.

Recentemente, li a álgebra matricial de Gentle ( http://books.google.com/books/about/Matrix_Algebra.html?id=Pbz3D7Tg5eoC ) e ele parece usar outra convenção, na qual define o gradiente como igual à derivada do vetor, resultando em em um arranjo de coluna (portanto, um derivado de uma função com valor escalar é um vetor de coluna). Como resultado desse arranjo, todo resultado de diferenciação é a transposição do resultado na outra convenção. O benefício desta convenção, suponho aqui, é que o gradiente e a derivada são iguais. Portanto, para tarefas de otimização, em vez de diferenciar e depois fazer a transposição, você pode apenas diferenciar.

Eu acho que a tensão está entre jacobiana e gradiente. Na convenção de linha, o jacobiano segue diretamente da definição da derivada, mas você deve aplicar uma transposição para obter o gradiente; enquanto na convenção da coluna o gradiente é o que não precisa ser transposto, mas você deve aplicar uma transposição para obter o jacobiano. Portanto, se você prefere pensar no resultado derivado como um mapa linear, a primeira convenção faz sentido; se você prefere pensar no resultado como um vetor / direção, a segunda convenção faz sentido. Então você só precisa ser consistente.

Qual dessas convenções é mais comumente usada no Machine Learning? Vou ficar irremediavelmente confuso se gastar muito tempo lendo trabalhos na convenção "errada"?


Possivelmente relacionado a math.stackexchange.com/questions/336640/… , que basicamente diz que a primeira convenção é o caminho a percorrer, mas ainda estou curioso para saber o que fazer com a convenção de Gentle.
Simplefish

chrishecker.com/Column_vs_row_vectors faz um forte argumento para a primeira convenção.
Simplefish 24/01

Em econometria, o arranjo das colunas é a convenção.
Tchakravarty

Um exemplo incrivelmente frustrante de ambiguidade nessa área é o livro didático de séries temporais de Leutkepohl. Ele nunca especifica qual notação é usada para vetores de linha e coluna; portanto, a única maneira de usar equações do livro é seguir meticulosamente provas e definições do início ao fim, o que pode envolver declarações em vários capítulos do livro.
shadowtalker

Respostas:


4

Se você considerar um mapa linear entre espaços vetoriais (como o jacobiano) , os elementos terão que concordar em forma com a definição de vetor de matriz : os componentes de são os produtos internos das linhas de com .v = J u v J uJ:uUvVv=JuvJu

Por exemplo, na regressão linear, o espaço de saída (escalar neste caso) é uma combinação ponderada de recursos: , exigindo novamente o produto interno.wu=v

Qual convenção você usa em última análise não tem importância, desde que você mantenha o mesmo o tempo todo. O Matrix Cookbook de Pedersen e Petersen é um recurso bastante seco, mas definitivamente informativo.


Ah entendo. Eu olhei mais de perto a definição de Jacobi feita por Gentle e, na verdade, é a mesma nas duas convenções e concorda com a definição da representação matricial de um mapa linear. Especificamente, sob a convenção da coluna, existe a noção de um "gradiente de matriz" que é a transposição do jacobiano sob a convenção de linha. Mas na convenção da coluna, o jacobiano é definido exatamente como essa transposição, de modo que a definição matricial do jacobiano é a mesma nas duas convenções! São apenas as entidades unidimensionais que são diferentes (vetores versus mapas lineares para R).
Simplefish
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.