Hadamardova matice
Hadamardova matice, pojmenovaná po francouzském matematikovi Jacquesovi Hadamardovi (1865–1963), je v matematice čtvercová matice, jejíž prvky mají hodnotu buď +1 nebo -1 a jejíž řádky jsou navzájem ortogonální. Ortogonalitu řádků lze geometricky interpretovat tak, že každá dvojice řádků v Hadamardově matici představuje dva navzájem kolmé vektory. Kombinatorická lze ortogonalitu interpretovat tak, že každá dvojice řádků má shodné hodnoty v přesně polovině sloupců a opačné hodnoty ve zbývajících sloupcích. Hadamardovy matice jsou až na skalární násobek ortogonální, a proto všechny jejich vlastnosti platí nejen pro řádky, ale i pro sloupce.

Rovnoběžnostěn dimenze určený řádky Hadamardovy matice řádu má maximální možný -rozměrný objem mezi možnými rovnoběžnostěny určenými vektory s prvky absolutní hodnoty nejvýše 1. Jinými slovy, Hadamardovy matice mají největší možnou absolutní hodnotu determinantu mezi maticemi se prvky z intervalu , a tak je extremálním řešením Hadamardova problému maximálního determinantu.
Některé Hadamardovy matice přímo určují Hadamardův samoopravný kód (zobecněn v Reedových–Mullerových kódech). Hadamardovy matice se také používají ve statistice k odhadu rozptylu.
Vlastnosti
editovatZ kolmosti různých řádků Hadamardovy matice vyplývá, že v součinu , kde značí transpozici matice , jsou mimo diagonálu samé nuly. Na diagonále výsledné matice je hodnota standardního skalárního součinu odpovídajícího řádku se sebou samým, čili eukleidovská délka vektoru. Vektor o složkách hodnot 1 a -1 má délku .
Reálná čtvercová matice řádu je proto Hadamardova, právě když pro ni platí:
kde značí jednotkovou matici řádu .
Matice (vzniklá vydělením prvků matice hodnotou ) je ortogonální, neboli matice jejíž transpozice se shoduje s její inverzí.
Inverzní matice
editovatMatici inverzní k Hadamardově matici lze vyjádřit pomocí transpozice:
Poslední vztah lze i obrátit a vyjádřit . Z něj lze odvodit že Hadamardova matice komutuje v součinu se svou transpozicí, neboť:
Úpravy
editovatTranspozicí Hadamardovy matice vznikne opět Hadamardova matice, protože
V důsledku lze veškeré vlastnosti či úpravy řádků aplikovat i na sloupce.
Vlastnosti Hadamardovy matice se zachovávají i při přerovnání řádků a sloupců, protože ortogonalita vektorů je nezměněna, jsou-li vektory umístěné v matici v jiném pořadí.
Změna znamének v některém řádku či sloupci Hadamardovy matice odpovídá náhradě vektoru opačným vektorem. Z linearity skalárního součinu vůči skalárním násobkům vyplývá, že tato operace zachovává ortogonalitu, a proto je výsledkem opět Hadamardova matice.
Z libovolné Hadamardovy matice lze proto uvedenými operacemi získat Hadamardovu matici stejného řádu, v jejímž prvním řádku i sloupci jsou samé jedničky.
Determinant
editovatHadamardova matice má shodný determinant jako její transpozice, a tak z rovnosti:
bezprostředně vyplývá:
Hadamardova nerovnost pro komplexní matici řádu , jejíž prvky mají absolutní hodnotu nejvýše 1, udává horní mez na hodnotu determinantu:
Pro reálné matice se rovnosti nabývá, právě když je Hadamardovou maticí.
Řád
editovatHadamardovy matice mají řád 1, 2 nebo dělitelný 4.[1]
Důkaz
editovatMá-li Hadamardova matice řád , potom lze její sloupce přerovnat tak, aby první tři řádky byly ve tvaru:
Jinými slovy u dvojic prvků ve druhém a třetím řádku v témže sloupci mohou nastat čtyři různé situace podle toho jaká mají znaménka. Počty těchto případů jsou označeny následovně: značí počet jedniček ve druhém řádku nad jedničkami ve třetím řádku; je počet 1 ve druhém řádku nad -1 ve třetím řádku; je počet -1 ve druhém řádku nad 1 ve třetím řádku; a je počet -1 ve druhém řádku nad -1 ve třetím řádku.
Všechny možné situace jsou pokryty, a proto . Druhý a třetí řádek jsou navzájem kolmé, a proto . Ze součtu těchto dvou rovnic vyplývá , čili .
Jedničky tvoří polovinu prvků ve druhém řádku, neboli a podobně -1 tvoří polovinu prvků ve třetím řádku . Z rozdílu těchto rovnic vyplývá a následně i . Protože je celé číslo, je dělitelné čtyřmi.
Sylvesterova konstrukce
editovatNěkteré Hadamardovy matice ve skutečnosti poprvé zkonstruoval James Joseph Sylvester v roce 1867, konkrétně matice řádu pro každé přirozené číslo .[2] Je-li Hadamardova matice řádu , potom bloková matice
je Hadamardova matice řádu . Uvedenou konstrukci lze opakovat, což vede k následující posloupnosti:
a obecně pro :
kde označuje Kroneckerův součin matic.
Výsledné matice symetrické a pro , mají nulovou stopu. Prvky v prvním sloupci a prvním řádku jsou všechny kladné. Prvky ve všech ostatních řádcích a sloupcích jsou rovnoměrně rozděleny mezi kladné a záporné. Přerovnáním řádků podle počtu změn znamének (z 1 na -1 nebo naopak) lze získat tzv. Walshovy matice. Ty úzce souvisejí s Walshovými funkcemi.
Alternativní popis konstrukce
editovatSylvesterovu konstrukci lze popsat také pomocí grupového homomorfismu .
Označme matici typu , jejíž sloupce se skládají ze všech možných čísel ve dvojkové soustavě s nejvýše ciframi uspořádaných vzestupně. Uvedenou matici lze popsat rekurentním předpisem:
Bloky a jsou typu .
Matematickou indukcí lze ukázat, že obraz Hadamardovy matice pod výše uvedeným homomorfismem je dán vztahem:
Z uvedené konstrukce vyplývá, že řádky Hadamardovy matice odpovídají lineárnímu samoopravnému kódu délky dimenze a minimální vzdálenosti s generující maticí . Uvedený kód se nazývá Walshův kód. Hadamardův kód je naproti tomu zkonstruován z Hadamardovy matice mírně odlišným postupem.
Hadamardova domněnka
editovatV teorii Hadamardových matic je za hlavní otevřenou otázkou považována existence Hadamardových matic všech možných řádů. Hadamardova domněnka tak zní, že pro každé přirozené číslo existuje Hadamardova matice řádu . Hadamardova domněnka byla také připisována Paleymu, ačkoli i jiní před Paleyho prací ji nepřímo zvažovali.[3]
Ze zobecnění Sylvesterovy konstrukce vyplývá, že pokud jsou a Hadamardovy matice řádů a , tak potom je Hadamardova matice řádu . Tento vztah lze využít ke konstrukci Hadamardových matic vyšších řádů, jakmile jsou známy matice menších řádů.
Sylvesterova konstrukce z roku 1867 dává návod pro sestavení Hadamardových matic řádu 1, 2, 4, 8, 16, 32 atd. Hadamard sestavil v roce 1893 Hadamardovy matice řádů 12 a 20.[4] Raymond Paley objevil v roce 1933 konstrukci využívající konečných těles, pomocí níž lze sestrojit Hadamardovy matice řádu pro každé prvočíslo , které je kongruentní 3 modulo 4, a také Hadamardovy matice řádu , pro všechna prvočísla .[5]
Hadamardova matice řádu 92 je nejmenší, kterou nelze sestrojit kombinací Sylvesterových a Paleyových metod. Baumert, Golomb a Hall z Jet Propulsion Laboratory využili v roce 1962 Wiliamsonovu konstrukci,[6][7] díky níž pomocí počítače sestavili Hadamardovu matici řádu 92 i mnoha dalších řádů. Nyní je známo mnoho dalších metod pro konstrukci Hadamardových matic.
V roce 2005 Hadi Kharaghani a Behruz Tayfeh-Rezaie publikovali svou konstrukci Hadamardovy matice řádu 428.[8] Nejmenší řád, pro který není v současnosti (2014) známa žádná Hadamardova matice, je 668.
Do roku 2014 bylo 12 násobků 4 méně než 2000, pro které nebyla známa žádná Hadamardova matice tohoto řádu.[9] Jsou to: 668, 716, 892, 1132, 1244, 1388, 1436, 1676, 1772, 1916, 1948 a 1964.
Ekvivalence a jednoznačnost
editovatDvě Hadamardovy matice jsou považovány za ekvivalentní, pokud lze jednu získat z druhé změnou znamének v řádku či sloupci nebo výměnou řádků či sloupců. Hadamardovy matice řádu 1 jsou si navzájem ekvivalentní (mají jen jednu třídu ekvivalence) a totéž platí i pro řády 2, 4, 8 a 12. Hadamardovy matice řádu 16 mají 5 tříd ekvivalence, řád 20 má 3 třídy, řád 60 má 24 tříd a řád 28 má 487 tříd. Pro řády 32, 36 a 40 počet tříd přesahuje miliony. Při použití hrubšího pojmu ekvivalence, který také umožňuje transpozici, mají Hadamardovy matice řádu 16 celkem 4 třídy, řád 20 má 3 třídy, řád 24 má 36 tříd a řádu 28 má 294 tříd.
Hadamardovy matice jsou také jednoznačně obnovitelné v následujícím smyslu: Pokud je z Hadamardovy matice řádu náhodně odstraněno prvků, potom lze skoro jistě obnovit původní matici . Algoritmus obnovy má stejnou výpočetní složitost jako součin matic.[10]
Zvláštní případy
editovatŠikmé Hadamardovy matrice
editovatHadamardova matice je šikmá, pokud pro ni platí: . Šikmá Hadamardova matice zůstane šikmou i po změně znamének v libovolném řádku a jemu odpovídajícím sloupci. Šikmé Hadamardovy matici mohou být proto normalizovány tak, aby všechny prvky v prvním řádku byly rovny 1.
Reid a Brown v roce 1972 ukázali, že dvojitě regulární turnaj řádu existuje, právě když existuje šikmá Hadamardova matice řádu . V matematickém turnaji řádu hraje každý z hráčů jeden zápas proti každému z ostatních hráčů, přičemž každý zápas vede k výhře jednoho z hráčů a prohře druhého. Turnaj je regulární, pokud každý hráč vyhraje stejný počet zápasů. Turnaj je dvojitě regulární, pokud počet soupeřů poražených dvěma různými hráči je zároveň stejný pro všechny dvojice hráčů. Protože každý z odehraných zápasů vede k výhře jednoho z hráčů, každý hráč vyhraje zápasů (a prohraje stejný počet). Protože každý z hráčů poražených daným hráčem také prohrává s dalšími hráči, počet dvojic hráčů takových, že prohraje jak s , tak s daným hráčem je . Stejný výsledek by měl být získán, pokud se dvojice počítají obráceně: daný hráč a kterýkoli z ostatních hráčů společně porazí stejný počet společných soupeřů, jmenovitě . Šikmá Hadamardova matice se získá zavedením dalšího hráče, který porazí všechny původní hráče, a poté vytvořením matice s řádky a sloupci označenými hráči podle pravidla, že řádek , sloupec obsahuje 1, pokud nebo porazí a −1, pokud porazí . Tento předpis interpretován v opačném směru vede ke konstrukci dvojitě regulárního turnaje ze šikmé Hadamardovy matice, za předpokladu, že šikmá Hadamardova matice je normalizována tak, že všechny prvky prvního řádku jsou rovny 1. [11]
Regulární a cirkulační Hadamardovy matice
editovatRegulární Hadamardovy matice jsou reálné Hadamardovy matice, jejichž řádkové i sloupcové součty jsou všechny stejné. Pro existenci regulární Hadamardovy matice je nutné, aby její řád byl čtvercové číslo. Každá cirkulační matice je regulární. Aby mohla cirkulační Hadamardova matice existovat, musela by mít řád, který by byl nejen druhou mocninou nějakého přirozeného čísla, ale pro by musel být ve tvaru pro liché .[12][13]
Domněnka o cirkulačních Hadamardových maticích však tvrdí, že kromě řádů 1 a 4 žádné takové matice neexistují. Domněnka byla ověřena až na 26 hodnot pro všechna lichá .[14]
Použití v praxi
editovat- Olivia MFSK – radioamatérský digitální protokol navržený pro práci v obtížných podmínkách (nízký odstup signálu od šumu plus vícecestné šíření) na pásmech krátkých vln.
- Vyvážená opakovaná replikace (Balanced repeated replication, BRR) - technika používaná statistiky k odhadu rozptylu statistického odhadu.
- Spektrometrie kódované apertury – přístroj pro měření spektra světla. Maska používaná v kódovaných aperturových spektrometrech je často variantou Hadamardovy matice.
- Sítě se zpožděním zpětné vazby – Digitální zařízení pro dozvuk, která používají Hadamardovy matice k míchání hodnot vzorků.
- Plackettův–Burmanův návrh experimentů pro zkoumání závislosti nějaké měřené veličiny na řadě nezávislých proměnných.
- Robustní návrh parametrů pro zkoumání vlivu šumu na odezvy.
- Komprimované snímání pro zpracování signálu a nedourčené soustavy lineárních rovnic.
- Kvantová Hadamardova brána pro kvantové výpočty a Hadamardova transformace pro kvantové algoritmy.
Odkazy
editovatReference
editovatV tomto článku byl použit překlad textu z článku Hadamard matrix na anglické Wikipedii.
- ↑ Hadamard Matrices and Designs [online]. UC Denver [cit. 2023-02-11]. Dostupné online.
- ↑ J.J. Sylvester. Thoughts on inverse orthogonal matrices, simultaneous sign successions, and tessellated pavements in two or more colours, with applications to Newton's rule, ornamental tile-work, and the theory of numbers. Philosophical Magazine, 34:461–475, 1867.
- ↑ HEDAYAT, A.; WALLIS, W. D. Hadamard Matrices and Their Applications. The Annals of Statistics. 1978-11-01, roč. 6, čís. 6. Dostupné online [cit. 2025-01-01]. ISSN 0090-5364. doi:10.1214/aos/1176344370.
- ↑ HADAMARD, J. Résolution d'une question relative aux déterminants. Bulletin des Sciences Mathématiques. 1893, s. 240–246.
- ↑ PALEY, R. E. A. C. On orthogonal matrices. Journal of Mathematics and Physics. 1933, s. 311–320. doi:10.1002/sapm1933121311.
- ↑ BAUMERT, Leonard; GOLOMB, S. W.; HALL, Marshall. Discovery of an Hadamard matrix of order 92. Bulletin of the American Mathematical Society. 1962, roč. 68, čís. 3, s. 237–238. Dostupné online [cit. 2025-01-01]. ISSN 0273-0979. doi:10.1090/S0002-9904-1962-10761-7. (anglicky)
- ↑ WILLIAMSON, John. Hadamard’s determinant theorem and the sum of four squares. Duke Mathematical Journal. 1944-03-01, roč. 11, čís. 1. Dostupné online [cit. 2025-01-01]. ISSN 0012-7094. doi:10.1215/S0012-7094-44-01108-7.
- ↑ KHARAGHANI, H.; TAYFEH-REZAIE, B. A Hadamard matrix of order 428. Journal of Combinatorial Designs. 2005-11, roč. 13, čís. 6, s. 435–440. Dostupné online [cit. 2025-01-01]. ISSN 1063-8539. doi:10.1002/jcd.20043. (anglicky)
- ↑ ĐOKOVIĆ, Dragomir Ž.; GOLUBITSKY, Oleg; KOTSIREAS, Ilias S. Some New Orders of Hadamard and Skew‐Hadamard Matrices. Journal of Combinatorial Designs. 2014-06, roč. 22, čís. 6, s. 270–277. Dostupné online [cit. 2025-01-01]. ISSN 1063-8539. doi:10.1002/jcd.21358. (anglicky)
- ↑ KLINE, Jeffery. Geometric search for Hadamard matrices. Theoretical Computer Science. 2019-07-26, roč. 778, s. 33–46. Dostupné online [cit. 2025-01-01]. ISSN 0304-3975. doi:10.1016/j.tcs.2019.01.025.
- ↑ REID, K.B; BROWN, Ezra. Doubly regular tournaments are equivalent to skew hadamard matrices. Journal of Combinatorial Theory, Series A. 1972-05, roč. 12, čís. 3, s. 332–338. Dostupné online [cit. 2025-01-01]. doi:10.1016/0097-3165(72)90098-2. (anglicky)
- ↑ TURYN, Richard. Character sums and difference sets. Pacific Journal of Mathematics. 1965-03-01, roč. 15, čís. 1, s. 319–346. Dostupné online [cit. 2025-01-01]. ISSN 0030-8730. doi:10.2140/pjm.1965.15.319. (anglicky)
- ↑ TURYN, R. J. Error Correcting Codes. Redakce Mann H. B.. New York: Wiley, 1969. Kapitola Sequences with small correlation, s. 195–228.
- ↑ SCHMIDT, Bernhard. Cyclotomic integers and finite geometry. Journal of the American Mathematical Society. 1999-05-05, roč. 12, čís. 4, s. 929–952. Dostupné online [cit. 2025-01-01]. ISSN 0894-0347. doi:10.1090/S0894-0347-99-00298-2. (anglicky)
Související články
editovatExterní odkazy
editovat- Obrázky, zvuky či videa k tématu Hadamardova matice na Wikimedia Commons