INSTITUTO NACIONAL DE TELECOMUNICAÇÕES
MESTRADO EM TELECOMUNICAÇÕES
OTIMIZAÇÃO CONVEXA – TP542
PROF. DR. DAYAN ADIONEL GUIMARÃES
4ª SÉRIE DE EXERCÍCIOS
ENTREGA NO DIA ____ / ____ / ____
1. Na p. 153 do livro-texto mais uma vez aparece o conceito de pseudo-inversa no contexto da
solução do problema dos mínimos quadrados (least squares). Revisite este conceito e determine
como é calculada a pseudo-inversa de uma matriz Am×n quando rank(A) = m, quando rank(A) =
n e quando A é quadrada e não-singular.
2. Seja a um vetor de variáveis aleatórias e um vetor x ∈ Rn. Mostre que a variância da variável
aleatória z = aTx vale var(z) = var(aTx) = xTΣx, onde Σ é a matriz de covariância de a, ou seja, Σ
= E(a – ā)(a – ā)T.
3. Estabeleça em que condições o problema (4.36), p. 156 do livro texto pode ser escrito sob a
forma de um problema de otimização quadrática com restrições de desigualdade quadráticas
(QCQP). Escreva o problema (4.36) sob forma de um QCQP.
4. Com referência ao problema (4.37), p. 157 do livro texto, explique de forma sucinta porque a
restrição linear robusta aiTx ≤ bi para todo ai ∈ εi pode ser expressa por sup{ aiTx | ai ∈ εi } ≤ bi.
Obs: O que se pretende conhecer aqui é a razão para se utilizar o supremo.
5. Com referência ao item Linear Programming with Random Constraints (p. 157-158), faça um
detalhamento de todos os passos que permitem que o problema
possa ser escrito sob a forma do SOCP
6. No problema (4.38), p. 157 diz-se que η deve ser maior ou igual a 0,5. Justifique esta restrição.
Dica: tal restrição tem a ver com a complexidade de solução do SOCP correspondente descrito
no exercício anterior.
7. No inicio da Subseção 4.5.4, p. 163 do livro texto, no exemplo sobre norma de Frobenius tem-se
que ỹ = DMD−1ũ. Mostre a validade desta simples igualdade.
8. Quando trata do assunto minimizing spectral radius via Perron-Frobenius theory (p. 165 do
livro texto, slide 4.34) na video-aula #6, o Prof. Boyd diz que a solução para inf{λ | Aυ ≼ λυ
para algum υ ≻ 0} = λpf na verdade levará a λpf tal que Aυ = λpf υ. Justifique esta igualdade.
9. Se você já estudou algo referente a Cadeias de Markov, faça uma pesquisa procurando
aplicações para a teoria de Perron-Frobenius (ver p. 165 do livro texto) no equilíbrio de matrizes
de probabilidade de transição (matrizes de Markov). Caso não tenha estudado Cadeias de
Markov, pesquise sobre outra aplicação da teoria de Perron-Frobenius em alguma área de seu
interesse. Registre os conhecimentos adquiridos em duas ou três páginas.
10. Ainda tomando como base a teoria de Perron-Frobenius, determine os modelos de otimização
não-convexa (GP) e convexa que descrevem o problema de estimação do máximo autovalor de
uma matriz de covariância modificada Σm em que todos os elementos são os valores absolutos
dos elementos da matriz de covariância original Σ.
11. Tomando como base a teoria sobre minimização de norma de uma matriz (matrix norm
minimization), determine o modelo de otimização convexa SDP que descreve o problema de
estimação do máximo autovalor de uma matriz de covariância modificada Σm em que todos os
elementos são os valores absolutos dos elementos da matriz de covariância original Σ.
12. Na página 168 do livro texto diz-se que se as matrizes da LMI em (4.50) forem diagonais, tal
LMI se torna equivalente a um conjunto de desigualdades lineares e, portanto, o problema
(4.50) se torna um problema de otimização linear. Justifique esta afirmativa.
13. Tomando por base os comentários no início da subseção 4.4.2, p. 156 do livro texto, justifique
porque o problema (4.36) pode ser expresso no formato de SOCP dado no início da subseção
4.6.3, p. 169 (item second-order cone programming).
14. No início da vídeo-aula #7 do Prof. Boyd ele mostra a equivalência entre os problemas SOCP e
SDP do slide 4-37. Durante sua explicação ele afirma que a matriz em bloco sob análise é
semidefinida positiva somente se o elemento da diagonal principal da matriz localizado mais à
direita for não-negativo. Justifique tal afirmação e em seguida demonstre a equivalência entre o
SOCP e o SDP em questão.
15. No contexto do Exemplo 4.9, p. 176 do livro texto, mostre que: 15(a)
E[(Fy – x)(Fy – x)T] = FFT.
se FA = I; 15(b)
16. No contexto do slide 4-39, mostre que se ||A||2 ≤ t ⇔ ATA ≼ t2I, para t ≥ 0. Dica: para facilitar,
mostre antes que λmax(A) ≤ t ⇔ A ≼ tI.
17. Exercício 4.50 do livro texto.
18. Exercício 4.54 do livro texto.
19. Estude os enunciados dos Exercícios 4.57, 4.59 e 4.62 do livro texto e em seguida tente resolvêlos ou ao menos tente indicar um possível caminho para a solução.
Download

4ª lista de exercícios