Appendix C: Symmetric and Hermitian CHM

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

matrixdefect#ΛBH classcomment
03BH(6, 3)S6
BH6,4,444BH(6, 4)
BH6,4,646BH(6, 6)≅F6
BH6,4,16416
SH6,general4241general 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

matrixdefect#ΛBH classcomment
SH7,0,505C7A, C7B
07BH(7, 7)F7
043C7C, C7D
SH7,0,97097SH7,0,97 includes F7, P7 ∈ BH(7, 6) and Q7
36P7

N = 8

matrixdefect#ΛBH classcomment
SH8,0,10010A8
SH8,0,70070V8
SH8,3,46(p1, p2)346special solution of SH8,3,142
2-parameter family stemming from BH(8, 2)
SH8,3,50350
SH8,3,76376
SH8,3,88A388contains SH8,11,6A(p1)
SH8,3,88B388contains SH8,11,6B(p1), BH8,11,4 and some other (not described) solutions...
SH8,3,1423142contains several families: SH8,3,46(p1, p2), SH8,5,26(p1, p2), SH8,9,10(p1), SH8,13,6A(p1), SH8,13,6B(p1)
F858BH(8, 8)
SH8,5,26(p1, p2)526special solution of SH8,3,142
2-parameter family stemming from BH(8, 2)
SH8,5,46546
SH8,general5813general symmetric form
SH8,9,10(p1)9101-parameter family stemming form BH(8, 2)
BH8,11,4114BH(8, 4)special solution of SH8,3,88B
SH8,11,6A(p1)116special solution of SH8,3,88A
1-parameter family stemming form BH(8, 2)
SH8,11,6B(p1)116special solution of SH8,3,88B
1-parameter family stemming form BH(8, 2)
SH8,13,6A(p1)136special solution of SH8,3,142
1-parameter family stemming form BH(8, 2)
SH8,13,6B(p1)136special solution of SH8,3,142
1-parameter family stemming form BH(8, 2)

N = 9

matrixdefect#ΛBH classcomment
SH9,0,18018the symmetrised form of N9
SH9,0,76076
SH9,0,89089contains SH9,4,15(p1)
SH9,0,1050105
SH9,0,2010201
SH9,0,3090309the core takes 13 values; its automorphism group is a Klein four-group
SH9,0,6250625
SH9,0,6810681the core takes 20 values; its automorphism group has order 2
SH9,2,41241
289observed numerically
F949BH(9, 9)
BH9,4,949BH(9, 12)
SH9,4,15(p1)415special solution of SH9,0,89
1-parameter family stemming from BH(9, 3)
SH9,4,30(p1)4301-parameter family stemming from BH(9, 6)
SH9,16,3163BH(9, 3)the symmetric representative of F3⊗F3; its Hermitian partner is HH9,16,3

N = 10

matrixdefect#ΛBH classcomment
05observed numerically
06observed numerically
SH10,0,9A09special solution of SH10,0,349A
SH10,0,9B09special solution of SH10,0,349B
010observed numerically
011observed numerically
020observed numerically
099observed numerically
0109observed numerically
SH10,0,1340134contains: SH10,8,58
SH10,0,1430134special solution of SH10,0,349A
contains: BH10,16,4
0143observed numerically
0175observed numerically
0251observed numerically
0271observed numerically
0283observed numerically
0293observed numerically
SH10,0,349A0349contains: SH10,0,9A, SH10,0,143, BH10,8,12, BH10,9,12A, BH10,11,4
SH10,0,349B0349contains: SH10,0,9B, BH10,9,12B, SH10,9,20(p1)
0499observed numerically
0500observed numerically
0526observed numerically
0527observed numerically
0533observed numerically
0583observed numerically
0703observed numerically
0967observed numerically
SH10,0,100701007
SH10,0,107101071
SH10,0,207102071general symmetric form
1208observed numerically
2289special solution of SH10,2,577
SH10,2,5772577contains at least 2 solutions...
4108observed numerically
4146observed numerically
4216special solution of SH10,4,490
4218observed numerically
4220special solution of SH10,4,490
SH10,4,4904490contains at least 4 solutions, including: BH10,8,8
42071observed numerically
86observed numerically
BH10,8,888BH(10, 8)special solution of SH10,4,490
BH10,8,10810BH(10, 10)special solution of SH10,0,134
BH10,8,12812BH(10, 12)special solution of SH10,0,349A
SH10,8,58858special solution of SH10,0,134
BH10,9,12A912BH(10, 12)special solution of SH10,0,349A
BH10,9,12B912BH(10, 12)special solution of SH10,0,349B
SH10,9,20(p1)920special solution of SH10,0,349B
1-parameter family stemming from BH(10, 4)
BH10,11,4104BH(10, 4)special solution of SH10,0,349A
BH10,16,4164BH(10, 4)special solution of SH10,0,143

N = 11

All (known) CHM of order N = 11 are isolated.

matrixdefect#ΛBH classcomment
C11Σ05
N11A, N11B010
F11011BH(11, 11)
Q11Σ063special solution of SH11,general
0191special solution of SH11,general
0229observed numerically
0319observed numerically
0323special solution of SH11,general
0361observed numerically
0425special solution of SH11,general
0499observed numerically
0713observed numerically
0745observed numerically
0751special solution of SH11,general
0807observed numerically
0911observed numerically
0975observed numerically
01455observed numerically
01457special solution of SH11,general
01561special solution of SH11,general
03079observed numerically
SH11,general03081general symmetric form; it is conjectured that it contains all other 11-dim. solutions

N = 12

matrixdefect#ΛBH classcomment
026observed numerically
01087observed numerically
01153observed numerically
01439observed numerically
01519observed numerically
02067observed numerically
02163observed numerically
02263observed numerically
04421observed numerically
04423observed numerically
1640observed numerically
31221observed numerically
5486observed numerically
5994observed numerically
51094observed numerically
51902observed numerically
71333observed numerically
F121712BH(12, 12)
RH12,55,2552H12

N = 13

matrixdefect#ΛBH classcomment
F13013BH(13, 13)
02943observed numerically
03109observed numerically
06163observed numerically

N = 14

matrixdefect#ΛBH classcomment
08373observed numerically
F141214BH(14, 14)

N = 15

matrixdefect#ΛBH classcomment
011129observed numerically
011131observed numerically
F151615BH(15, 15)

N = 16

matrixdefect#ΛBH classcomment
F161716BH(16, 16)

N = 17

matrixdefect#ΛBH classcomment
F17017BH(17, 17)

N = 18

matrixdefect#ΛBH classcomment
F182818BH(18, 18)

N = 19

matrixdefect#ΛBH classcomment
F19019BH(19, 19)

N = 20

matrixdefect#ΛBH classcomment
F203312BH(20, 20)
RH20,171,21712H20

N > 20

matrixdefect#ΛBH classcomment
...............

Hermitian CHM (including families)↑

N = 6

matrixdefect#ΛBH classcomment
HH6,4,444BH(6, 4)D6
HH6,4,34434looks like a general Hermitian case: HH6,general

N = 8

matrixdefect#ΛBH classcomment
HH8,5,54554
HH8,5,1025102
HH8,7,18(p1, p2)7182-parameter family of Hermitian CHM stemming from BH(8, 2)

N = 9

matrixdefect#ΛBH classcomment
HH9,16,3163BH(9, 3)the symplectic form on Z3×Z3, H(a,b),(c,d) = ωad - bc; permutation-equivalent to F3⊗F3

N = 10

matrixdefect#ΛBH classcomment
4108observed numerically
HH10,6,1066106
6120observed numerically
6126observed numerically
6130observed numerically
HH10,6,1346134
BH10,6,686BH(10, 6)special solution of HH10,12,1002
HH10,8,1608160
HH10,12,1002121002contains at least 2 solutions, including BH10,6,6

N = 12

matrixdefect#ΛBH classcomment
51294observed numerically
HH12,5,190251902contains all other symmetric solutions
7502observed numerically
932observed numerically
HH12,9,2729272special solution of HH12,5,1902
HH12,9,2949294special solution of HH12,5,1902
HH12,9,3149314special solution of HH12,5,1902
HH12,9,3289328special solution of HH12,5,1902
HH12,9,6229622special solution of HH12,5,1902
HH12,11,6116BH(12, 6)special solution of HH12,5,1902
HH12,13,18(p1, p2)1318special solution of HH12,5,1902
2-parameter family of Hermitian CHM stemming from BH(12, 2)
RH12,55,2552H12

N = 14

matrixdefect#ΛBH classcomment
63684observed numerically

N = 16

matrixdefect#ΛBH classcomment
76498observed numerically
RH16,105,21052H16A

N = 20

matrixdefect#ΛBH classcomment
RH20,171,21712H20

N > 20

matrixdefect#ΛBH classcomment
...............