Author(s):
Kovačec, Alexander 
Date: 1999
Persistent ID: http://hdl.handle.net/10316/4662
Origin: Estudo Geral - Universidade de Coimbra
Document details
The Marcus-de Oliveira conjecture, bilinear forms, and cones
Description
The well-known determinantal cinjecture of de Oliveira and Marcus (OMC) confines the determinant det (X + Y) of the sum of normaln × n matricesX,Y to a certain region in the complex plane. Even the subconjecture obtained by specializing it ton = 4,X Hermitian andY normal is still open. We view the subconjecture as a special case of an assertion concerning a certain family of bilinear forms ofR16 ×C16 and give a method that may prove useful for establishing it for many of such matrix pairs, independent of their spectrum; in particular we apply it successfully in the case of a prominent unitary similarity of Drury's threatening OMC. Unfortunately we find the assertion, extended naturally to pairs of complex arguments to be false and the ideas outlined inapplicable for the general OMC(n=4) case. We also report on some computer experiments, formulate OMC(n=4) as a statement about cones, and find it would be implied by establishing the emptiness of certain semialgebraic sets defined by systems of quadratic and linear relations. http://www.sciencedirect.com/science/article/B6V0R-3YVMNR9-N/1/ad328010cb9d36e1fb515f79bb6b21d7
The well-known determinantal cinjecture of de Oliveira and Marcus (OMC) confines the determinant det (X + Y) of the sum of normaln × n matricesX,Y to a certain region in the complex plane. Even the subconjecture obtained by specializing it ton = 4,X Hermitian andY normal is still open. We view the subconjecture as a special case of an assertion concerning a certain family of bilinear forms ofR16 ×C16 and give a method that may prove useful for establishing it for many of such matrix pairs, independent of their spectrum; in particular we apply it successfully in the case of a prominent unitary similarity of Drury's threatening OMC. Unfortunately we find the assertion, extended naturally to pairs of complex arguments to be false and the ideas outlined inapplicable for the general OMC(n=4) case. We also report on some computer experiments, formulate OMC(n=4) as a statement about cones, and find it would be implied by establishing the emptiness of certain semialgebraic sets defined by systems of quadratic and linear relations. http://www.sciencedirect.com/science/article/B6V0R-3YVMNR9-N/1/ad328010cb9d36e1fb515f79bb6b21d7
Document Type
Article
Language English
Language English
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||