created: 2023-01-14
updated: 2026-09-13 by W. Bruzda
Not every file in the repository is listed on this page. The collection grows faster than these tables – for the complete set, browse the repository directly.
Slightly modified Sinkhorn's algorithm can be used to explore symmetric or Hermitian CHM providing new results almost immediately. It is enough to require that during the iterative procedure one additional step takes the form: X → (X + Xξ)/2, where ξ = T or ξ = † for the symmetric or Hermitian case, respectively.
Outputs from the Sinkhorn procedure were examined for simple dependencies between entries like in Appendix B, from which we also adapted the system of names reflecting the matrix type.
brief remainder
Symbol YN,d,L denotes a matrix of order N with defect = d and L being cardinality of Haagerup invariants. In particular Y = SH denotes symmetric and Y = HH – Hermitian Hadamard matrices.
Once a matrix is symbolically characterized, a random walk procedure is applied to recover its original numerical values, or, in many cases, to discover other independent solutions consistent with the given pattern. In other words, starting from a numerical matrix representation, we explore an alternative, slightly refined approach to the internal structure in order to confirm the result. It works!
We do not rely on pure algebra to determine the matrix elements via unitarity constraints (the available information about the matrix is still insufficient). Instead, we depend on numerical optimization of a suitable objective function, which proved to be a quite effective method for such a preliminary investigation. It even allows to present several examples analytically.
The convergence deteriorates as the dimension N increases and the average time required to obtain a solution grows accordingly. Some matrices or families of matrices may belong to more general structures and many new solutions can still be found by fixing particular entries. Moreover, distinct patterns may share the same set of solutions and we have certainly not encountered all possible solutions yet.
symmetric CHM (including families)↑
Symmetric CHM exist in any N and the canonical example is the Fourier matrix. However, given N, not every equivalence class contains a symmetrizable matrix. In contrast with Hermitian examples, many of them are isolated. Maximal possible number of #Λ(SHN,d,#Λ) = 1 + τ(N) + τ2(N), where τ(N) = N*(N - 1)/2, is denoted in bold and, as shown below, this limit was not achieved (yet?) in every dimension.
N = 6
| matrix | defect | #Λ | BH class | comment |
| 0 | 3 | BH(6, 3) | S6 |
| BH6,4,4 | 4 | 4 | BH(6, 4) | |
| BH6,4,6 | 4 | 6 | BH(6, 6) | ≅F6 |
| BH6,4,16 | 4 | 16 | | |
| SH6,general | 4 | 241 | | general symmetric form |
N = 7
All (known) CHM of order N = 7 are symmetrizable. Moreover, some of them can have their cores be written in a doubly symmetric form:
click to show details:
P7 in BH(7, 6) = F7 in BH(7, 7) =
. . . . . . . . . . . . . .
. 5 2 3 5 3 1 . 2 6 3 4 1 5
. 2 5 3 5 1 3 . 6 4 2 5 3 1
. 3 3 2 1 5 5 . 3 2 1 6 5 4
. 5 5 1 2 3 3 . 4 5 6 1 2 3
. 3 1 5 3 5 2 . 1 3 5 2 4 6
. 1 3 5 3 2 5 . 5 1 4 3 6 2
Q7 =
. . . . . . .
. a b c d e f with a = 0.888409423250061
. b c f a d e b = 0.409693609117209
. c f e b a d c = 0.357945512003075
. d a b e f c d = 0.805644956713980
. e d a f c b e = 0.242507857976937
. f e d c b a f = 0.630339632445252
C7C =
. . . . . . .
. a b c d e f with a = 0.627180715553348 (some phases depend on the others)
. b g h j k e b = 0.097739974494601
. c h m n j d c = 0.011089605651288
. d j n m h c d = 0.313590357776674
. e k j h g b e = 0.616091109902060
. f e d c b a f = 0.529440741058746
g = 0.195479948989203
h = 0.579388839087143
j = 0.795239222369215
k = 0.400240726619988
m = 0.590478444738430
n = 0.276888086961757
C7D =
. . . . . . .
. a b c d e f with a = 0.372819284446652 (some phases depend on the others)
. b g h j k e b = 0.902260025505399
. c h m n j d c = 0.988910394348712
. d j n m h c d = 0.686409642223326
. e k j h g b e = 0.383908890097940
. f e d c b a f = 0.470559258941254
g = 0.804520051010797
h = 0.420611160912857
j = 0.204760777630785
k = 0.599759273380013
m = 0.409521555261570
n = 0.723111913038243
| matrix | defect | #Λ | BH class | comment |
| SH7,0,5 | 0 | 5 | | C7A, C7B |
| 0 | 7 | BH(7, 7) | F7 |
| 0 | 43 | | C7C, C7D |
| SH7,0,97 | 0 | 97 | | SH7,0,97 includes F7, P7 ∈ BH(7, 6) and Q7 |
| 3 | 6 | | P7 |
N = 8
| matrix | defect | #Λ | BH class | comment |
| SH8,0,10 | 0 | 10 | | A8 |
| SH8,0,70 | 0 | 70 | | V8 |
| SH8,3,46(p1, p2) | 3 | 46 | | special solution of SH8,3,142 2-parameter family stemming from BH(8, 2) |
| SH8,3,50 | 3 | 50 | | |
| SH8,3,76 | 3 | 76 | | |
| SH8,3,88A | 3 | 88 | | contains SH8,11,6A(p1) |
| SH8,3,88B | 3 | 88 | | contains SH8,11,6B(p1), BH8,11,4 and some other (not described) solutions... |
| SH8,3,142 | 3 | 142 | | contains several families: SH8,3,46(p1, p2), SH8,5,26(p1, p2), SH8,9,10(p1), SH8,13,6A(p1), SH8,13,6B(p1) |
| F8 | 5 | 8 | BH(8, 8) | |
| SH8,5,26(p1, p2) | 5 | 26 | | special solution of SH8,3,142 2-parameter family stemming from BH(8, 2) |
| SH8,5,46 | 5 | 46 | | |
| SH8,general | 5 | 813 | | general symmetric form |
| SH8,9,10(p1) | 9 | 10 | | 1-parameter family stemming form BH(8, 2) |
| BH8,11,4 | 11 | 4 | BH(8, 4) | special solution of SH8,3,88B |
| SH8,11,6A(p1) | 11 | 6 | | special solution of SH8,3,88A 1-parameter family stemming form BH(8, 2) |
| SH8,11,6B(p1) | 11 | 6 | | special solution of SH8,3,88B 1-parameter family stemming form BH(8, 2) |
| SH8,13,6A(p1) | 13 | 6 | | special solution of SH8,3,142 1-parameter family stemming form BH(8, 2) |
| SH8,13,6B(p1) | 13 | 6 | | special solution of SH8,3,142 1-parameter family stemming form BH(8, 2) |
N = 9
| matrix | defect | #Λ | BH class | comment |
| SH9,0,18 | 0 | 18 | | the symmetrised form of N9 |
| SH9,0,76 | 0 | 76 | | |
| SH9,0,89 | 0 | 89 | | contains SH9,4,15(p1) |
| SH9,0,105 | 0 | 105 | | |
| SH9,0,201 | 0 | 201 | | |
| SH9,0,309 | 0 | 309 | | the core takes 13 values; its automorphism group is a Klein four-group |
| SH9,0,625 | 0 | 625 | | |
| SH9,0,681 | 0 | 681 | | the core takes 20 values; its automorphism group has order 2 |
| SH9,2,41 | 2 | 41 | | |
| 2 | 89 | | observed numerically |
| F9 | 4 | 9 | BH(9, 9) | |
| BH9,4,9 | 4 | 9 | BH(9, 12) | |
| SH9,4,15(p1) | 4 | 15 | | special solution of SH9,0,89 1-parameter family stemming from BH(9, 3) |
| SH9,4,30(p1) | 4 | 30 | | 1-parameter family stemming from BH(9, 6) |
| SH9,16,3 | 16 | 3 | BH(9, 3) | the symmetric representative of F3⊗F3; its Hermitian partner is HH9,16,3 |
N = 10
| matrix | defect | #Λ | BH class | comment |
| 0 | 5 | | observed numerically |
| 0 | 6 | | observed numerically |
| SH10,0,9A | 0 | 9 | | special solution of SH10,0,349A |
| SH10,0,9B | 0 | 9 | | special solution of SH10,0,349B |
| 0 | 10 | | observed numerically |
| 0 | 11 | | observed numerically |
| 0 | 20 | | observed numerically |
| 0 | 99 | | observed numerically |
| 0 | 109 | | observed numerically |
| SH10,0,134 | 0 | 134 | | contains: SH10,8,58 |
| SH10,0,143 | 0 | 134 | | special solution of SH10,0,349A contains: BH10,16,4 |
| 0 | 143 | | observed numerically |
| 0 | 175 | | observed numerically |
| 0 | 251 | | observed numerically |
| 0 | 271 | | observed numerically |
| 0 | 283 | | observed numerically |
| 0 | 293 | | observed numerically |
| SH10,0,349A | 0 | 349 | | contains: SH10,0,9A, SH10,0,143, BH10,8,12, BH10,9,12A, BH10,11,4 |
| SH10,0,349B | 0 | 349 | | contains: SH10,0,9B, BH10,9,12B, SH10,9,20(p1) |
| 0 | 499 | | observed numerically |
| 0 | 500 | | observed numerically |
| 0 | 526 | | observed numerically |
| 0 | 527 | | observed numerically |
| 0 | 533 | | observed numerically |
| 0 | 583 | | observed numerically |
| 0 | 703 | | observed numerically |
| 0 | 967 | | observed numerically |
| SH10,0,1007 | 0 | 1007 | | |
| SH10,0,1071 | 0 | 1071 | | |
| SH10,0,2071 | 0 | 2071 | | general symmetric form |
| 1 | 208 | | observed numerically |
| 2 | 289 | | special solution of SH10,2,577 |
| SH10,2,577 | 2 | 577 | | contains at least 2 solutions... |
| 4 | 108 | | observed numerically |
| 4 | 146 | | observed numerically |
| 4 | 216 | | special solution of SH10,4,490 |
| 4 | 218 | | observed numerically |
| 4 | 220 | | special solution of SH10,4,490 |
| SH10,4,490 | 4 | 490 | | contains at least 4 solutions, including: BH10,8,8 |
| 4 | 2071 | | observed numerically |
| 8 | 6 | | observed numerically |
| BH10,8,8 | 8 | 8 | BH(10, 8) | special solution of SH10,4,490 |
| BH10,8,10 | 8 | 10 | BH(10, 10) | special solution of SH10,0,134 |
| BH10,8,12 | 8 | 12 | BH(10, 12) | special solution of SH10,0,349A |
| SH10,8,58 | 8 | 58 | | special solution of SH10,0,134 |
| BH10,9,12A | 9 | 12 | BH(10, 12) | special solution of SH10,0,349A |
| BH10,9,12B | 9 | 12 | BH(10, 12) | special solution of SH10,0,349B |
| SH10,9,20(p1) | 9 | 20 | | special solution of SH10,0,349B 1-parameter family stemming from BH(10, 4) |
| BH10,11,4 | 10 | 4 | BH(10, 4) | special solution of SH10,0,349A |
| BH10,16,4 | 16 | 4 | BH(10, 4) | special solution of SH10,0,143 |
N = 11
All (known) CHM of order N = 11 are isolated.
| matrix | defect | #Λ | BH class | comment |
| C11Σ | 0 | 5 | | |
| N11A, N11B | 0 | 10 | | |
| F11 | 0 | 11 | BH(11, 11) | |
| Q11Σ | 0 | 63 | | special solution of SH11,general |
| 0 | 191 | | special solution of SH11,general |
| 0 | 229 | | observed numerically |
| 0 | 319 | | observed numerically |
| 0 | 323 | | special solution of SH11,general |
| 0 | 361 | | observed numerically |
| 0 | 425 | | special solution of SH11,general |
| 0 | 499 | | observed numerically |
| 0 | 713 | | observed numerically |
| 0 | 745 | | observed numerically |
| 0 | 751 | | special solution of SH11,general |
| 0 | 807 | | observed numerically |
| 0 | 911 | | observed numerically |
| 0 | 975 | | observed numerically |
| 0 | 1455 | | observed numerically |
| 0 | 1457 | | special solution of SH11,general |
| 0 | 1561 | | special solution of SH11,general |
| 0 | 3079 | | observed numerically |
| SH11,general | 0 | 3081 | | general symmetric form; it is conjectured that it contains all other 11-dim. solutions |
N = 12
| matrix | defect | #Λ | BH class | comment |
| 0 | 26 | | observed numerically |
| 0 | 1087 | | observed numerically |
| 0 | 1153 | | observed numerically |
| 0 | 1439 | | observed numerically |
| 0 | 1519 | | observed numerically |
| 0 | 2067 | | observed numerically |
| 0 | 2163 | | observed numerically |
| 0 | 2263 | | observed numerically |
| 0 | 4421 | | observed numerically |
| 0 | 4423 | | observed numerically |
| 1 | 640 | | observed numerically |
| 3 | 1221 | | observed numerically |
| 5 | 486 | | observed numerically |
| 5 | 994 | | observed numerically |
| 5 | 1094 | | observed numerically |
| 5 | 1902 | | observed numerically |
| 7 | 1333 | | observed numerically |
| F12 | 17 | 12 | BH(12, 12) | |
| RH12,55,2 | 55 | 2 | | H12 |
N = 13
| matrix | defect | #Λ | BH class | comment |
| F13 | 0 | 13 | BH(13, 13) | |
| 0 | 2943 | | observed numerically |
| 0 | 3109 | | observed numerically |
| 0 | 6163 | | observed numerically |
N = 14
N = 15
| matrix | defect | #Λ | BH class | comment |
| 0 | 11129 | | observed numerically |
| 0 | 11131 | | observed numerically |
| F15 | 16 | 15 | BH(15, 15) | |
N = 16
N = 17
| matrix | defect | #Λ | BH class | comment |
| F17 | 0 | 17 | BH(17, 17) | |
N = 18
| matrix | defect | #Λ | BH class | comment |
| F18 | 28 | 18 | BH(18, 18) | |
N = 19
| matrix | defect | #Λ | BH class | comment |
| F19 | 0 | 19 | BH(19, 19) | |
N = 20
N > 20
| matrix | defect | #Λ | BH class | comment |
| ... | ... | ... | ... | ... |
Hermitian CHM (including families)↑
N = 6
N = 8
N = 9
| matrix | defect | #Λ | BH class | comment |
| HH9,16,3 | 16 | 3 | BH(9, 3) | the symplectic form on Z3×Z3, H(a,b),(c,d) = ωad - bc; permutation-equivalent to F3⊗F3 |
N = 10
| matrix | defect | #Λ | BH class | comment |
| 4 | 108 | | observed numerically |
| HH10,6,106 | 6 | 106 | | |
| 6 | 120 | | observed numerically |
| 6 | 126 | | observed numerically |
| 6 | 130 | | observed numerically |
| HH10,6,134 | 6 | 134 | | |
| BH10,6,6 | 8 | 6 | BH(10, 6) | special solution of HH10,12,1002 |
| HH10,8,160 | 8 | 160 | | |
| HH10,12,1002 | 12 | 1002 | | contains at least 2 solutions, including BH10,6,6 |
N = 12
| matrix | defect | #Λ | BH class | comment |
| 5 | 1294 | | observed numerically |
| HH12,5,1902 | 5 | 1902 | | contains all other symmetric solutions |
| 7 | 502 | | observed numerically |
| 9 | 32 | | observed numerically |
| HH12,9,272 | 9 | 272 | | special solution of HH12,5,1902 |
| HH12,9,294 | 9 | 294 | | special solution of HH12,5,1902 |
| HH12,9,314 | 9 | 314 | | special solution of HH12,5,1902 |
| HH12,9,328 | 9 | 328 | | special solution of HH12,5,1902 |
| HH12,9,622 | 9 | 622 | | special solution of HH12,5,1902 |
| HH12,11,6 | 11 | 6 | BH(12, 6) | special solution of HH12,5,1902 |
| HH12,13,18(p1, p2) | 13 | 18 | | special solution of HH12,5,1902 2-parameter family of Hermitian CHM stemming from BH(12, 2) |
| RH12,55,2 | 55 | 2 | | H12 |
N = 14
| matrix | defect | #Λ | BH class | comment |
| 6 | 3684 | | observed numerically |
N = 16
N = 20
N > 20
| matrix | defect | #Λ | BH class | comment |
| ... | ... | ... | ... | ... |