Inviato: 01 gen 1970, 01:33
Ciao Francesco. Mi sono appena imbattuto casualmente nella tua home page e ho visto la tua pagina con la lista di esercizi. L\'ultimo problema di cui parli e che immagino ti abbia dato parecchie rogne è ben noto ed è stato risolto più di un secolo fa da quel matto di JJ Silvester (lo stesso del teorema sulla segnatura delle forme quadratiche). Praticamente il limite superiore per il determinante di matrici di 1 e -1 è n^(n/2) ed è il migliore possibile dato che le matrici di Hadamard (cioè le matrici quadrate di 1 e -1 che moltiplicate per la propria trasposta danno n per la matrice identica) lo raggiungono. Quest\'ultima cosa è piuttosto facile da provare: |A*At|=|A||At|=|A|^2 ma in questo caso |A*At|=n^n-->|A|=n^(n/2). Sulle matrici di Hadamard (che esistono solo se n è un multiplo di 4, a parte il caso banale in cui n=2, ma non si sa se esistano per ogni multiplo di 4, e questo, a quanto ne so è uno dei più rognosi problemi aperti di combinatoria che ci siano in giro) puoi trovare informazioni in qualsiasi (o quasi) libro di combinatoria (specie se si tratta di libri che parlano di Teoria dei Disegni), per la dimostrazione di Sylvester, invece, non so darti referenze.