A.

2 TrH 6
In this section we show that TrH 6 does not depend on the disorder realization.
Most contribution to TrH 6 can be reduced to combinations occurring in TrH 4 . We have
two new combinations: Trhµ h⌫ hµ h! h⌫ h! and Trhµ h⌫ h! hµ h⌫ h! with µ > ⌫ > !. For nota-
tional clarity we focus on the cases of Trhd hd 1 hd hd 2 hd 1 hd 2 and Trhd hd 1 hd 2 hd hd 1 hd 2 ,
so that we only need to use
X
hd = d,~
x ⌦ ⇢x1 ⌦ ⇢x2 ⌦ · · · , (A.17)
x1 ,...,xd 1
X
hd 1 = 0 ⌦ x0
d 1,~ ⌦ ⇢x01 ⌦ · · · , (A.18)
x01 ,...,x0d 2
X
hd 2 = 0 ⌦ 0 ⌦ x00
d 2,~ ⌦ ··· (A.19)
x00 00
1 ,...,xd 3

with the · · · representing d 3 additional factors ⇢x . Each h appears two times in the traces,
and we use another set of dummy indices y, y 0 and y 00 to be the summation indices for their
second appearances. From the multiplication of the last d 3 factors, we know the sum only
receive contributions from

x001 = y100 = x02 = y20 = x3 = y3 ,

x002 = y200 = x03 = y30 = x4 = y4 ,
.. (A.20)
.
x00d 3 = yd00 3 = x0d 2 = yd0 2 = xd 1 = yd 1,

and the summation symbol simplifies accordingly:

X X X X X X X X X
! . (A.21)
x1 ,...,xd 1 y1 ,...,yd 1 x01 ,...,x0d 0 0
2 y1 ,...,yd
00 00
2 x1 ,...,xd
00 00
3 y1 ,...,yd 3
x3 ,...,xd 1 x1 ,x2 ,x01 y1 ,y2 ,y10

We now work out Tr(hd hd 1 hd hd 2 hd 1 hd 2 ). The nontrivial part of the trace is

X X ⇣ ⌘
Tr d,~
x d,~
y Tr ⇢x1 d x0 ⇢y1 d 1,~
1,~ y 0 Tr ⇢x2 ⇢x01 ⇢y2 d 2,~
x00 ⇢y10 d y 00
2,~
x1 ,x2 ,x01 y1 ,y2 ,y10
X X ⇣ ⌘
= Tr d,~
x d,~
y Tr ⇢x1 ⇢y1c d x0
1,~ d y0
1,~ Tr ⇢x2 ⇢x01 ⇢y2 ⇢y10 c d x00
2,~ d y 00
2,~
x1 ,x2 ,x01 y1 ,y2 ,y10
X X ⇣ ⌘
= Tr d,~
x d,~
y Tr ⇢x1 ⇢y1c x0 d 1,~
d 1,~ y0 Tr ⇢x2 ⇢x01 ⇢y2 ⇢y10 c , (A.22)
x1 ,x2 ,x01 y1 ,y2 ,y10

where in the last equality we used = 2 =

x00 d 2,~
d 2,~ y 00 x00
d 2,~ 0. The nonzero traces are

– 32 –