HISKP-LQCD / sLapH-projection-NG

2 stars 0 forks source link

Further reduction of correlators #26

Open martin-ueding opened 4 years ago

martin-ueding commented 4 years ago

There is one thing in the projection code that I have conciously ignored up to this point. During the various simplification stages I rotate the traces in a way that the first element is the lowest according to some sorting key. This way a few redundancies are lifted. But I do that before inserting the momenta. When inserting the momenta there might be new redundancies because the same momenta might be inserted into different parts of the trace.

This morning I wanted to see how much of a reduction one can actually gain from that. So I have just written a Python script which splits the correlator name string, takes a look at all the operators at the source and rotates the trace until the lexicographically smallest element is in the front. Then I build up the correlator name from that again. The following is a random sample from the names that have changed in the C4cC:

Before After
C4cC_uuuu_p101.d000.g5_p-1-1-1.d000.g5_p010.d000.g5_p000.d000.g5 C4cC_uuuu_p010.d000.g5_p000.d000.g5_p101.d000.g5_p-1-1-1.d000.g5
C4cC_uuuu_p101.d000.g5_p011.d000.g5_p00-1.d000.g5_p-1-1-1.d000.g5 C4cC_uuuu_p00-1.d000.g5_p-1-1-1.d000.g5_p101.d000.g5_p011.d000.g5
C4cC_uuuu_p0-20.d000.g5_p110.d000.g5_p-110.d000.g5_p000.d000.g5 C4cC_uuuu_p-110.d000.g5_p000.d000.g5_p0-20.d000.g5_p110.d000.g5
C4cC_uuuu_p1-10.d000.g5_p-200.d000.g5_p00-1.d000.g5_p111.d000.g5 C4cC_uuuu_p00-1.d000.g5_p111.d000.g5_p1-10.d000.g5_p-200.d000.g5
C4cC_uuuu_p111.d000.g5_p-11-1.d000.g5_p000.d000.g5_p0-20.d000.g5 C4cC_uuuu_p000.d000.g5_p0-20.d000.g5_p111.d000.g5_p-11-1.d000.g5
C4cC_uuuu_p110.d000.g5_p00-1.d000.g5_p001.d000.g5_p-1-10.d000.g5 C4cC_uuuu_p001.d000.g5_p-1-10.d000.g5_p110.d000.g5_p00-1.d000.g5
C4cC_uuuu_p101.d000.g5_p0-10.d000.g5_p000.d000.g5_p-11-1.d000.g5 C4cC_uuuu_p000.d000.g5_p-11-1.d000.g5_p101.d000.g5_p0-10.d000.g5
C4cC_uuuu_p1-11.d000.g5_p000.d000.g5_p-100.d000.g5_p01-1.d000.g5 C4cC_uuuu_p-100.d000.g5_p01-1.d000.g5_p1-11.d000.g5_p000.d000.g5
C4cC_uuuu_p110.d000.g5_p0-1-1.d000.g5_p-110.d000.g5_p0-11.d000.g5 C4cC_uuuu_p-110.d000.g5_p0-11.d000.g5_p110.d000.g5_p0-1-1.d000.g5
C4cC_uuuu_p10-1.d000.g5_p111.d000.g5_p-100.d000.g5_p-1-10.d000.g5 C4cC_uuuu_p-100.d000.g5_p-1-10.d000.g5_p10-1.d000.g5_p111.d000.g5
C4cC_uuuu_p1-1-1.d000.g5_p-100.d000.g5_p010.d000.g5_p001.d000.g5 C4cC_uuuu_p010.d000.g5_p001.d000.g5_p1-1-1.d000.g5_p-100.d000.g5
C4cC_uuuu_p111.d000.g5_p-1-10.d000.g5_p00-1.d000.g5_p000.d000.g5 C4cC_uuuu_p00-1.d000.g5_p000.d000.g5_p111.d000.g5_p-1-10.d000.g5
C4cC_uuuu_p010.d000.g5_p-110.d000.g5_p0-10.d000.g5_p1-10.d000.g5 C4cC_uuuu_p0-10.d000.g5_p1-10.d000.g5_p010.d000.g5_p-110.d000.g5
C4cC_uuuu_p1-10.d000.g5_p100.d000.g5_p-110.d000.g5_p-100.d000.g5 C4cC_uuuu_p-110.d000.g5_p-100.d000.g5_p1-10.d000.g5_p100.d000.g5
C4cC_uuuu_p010.d000.g5_p0-1-1.d000.g5_p0-10.d000.g5_p011.d000.g5 C4cC_uuuu_p0-10.d000.g5_p011.d000.g5_p010.d000.g5_p0-1-1.d000.g5
C4cC_uuuu_p002.d000.g5_p020.d000.g5_p-1-1-1.d000.g5_p1-1-1.d000.g5 C4cC_uuuu_p-1-1-1.d000.g5_p1-1-1.d000.g5_p002.d000.g5_p020.d000.g5
C4cC_uuuu_p1-10.d000.g5_p-100.d000.g5_p011.d000.g5_p00-1.d000.g5 C4cC_uuuu_p011.d000.g5_p00-1.d000.g5_p1-10.d000.g5_p-100.d000.g5
C4cC_uuuu_p200.d000.g5_p-1-1-1.d000.g5_p-110.d000.g5_p001.d000.g5 C4cC_uuuu_p-110.d000.g5_p001.d000.g5_p200.d000.g5_p-1-1-1.d000.g5
C4cC_uuuu_p010.d000.g5_p001.d000.g5_p0-10.d000.g5_p00-1.d000.g5 C4cC_uuuu_p0-10.d000.g5_p00-1.d000.g5_p010.d000.g5_p001.d000.g5
C4cC_uuuu_p1-11.d000.g5_p020.d000.g5_p-10-1.d000.g5_p0-10.d000.g5 C4cC_uuuu_p-10-1.d000.g5_p0-10.d000.g5_p1-11.d000.g5_p020.d000.g5
C4cC_uuuu_p002.d000.g5_p100.d000.g5_p-1-1-1.d000.g5_p01-1.d000.g5 C4cC_uuuu_p-1-1-1.d000.g5_p01-1.d000.g5_p002.d000.g5_p100.d000.g5
C4cC_uuuu_p001.d000.g5_p01-1.d000.g5_p-100.d000.g5_p1-10.d000.g5 C4cC_uuuu_p-100.d000.g5_p1-10.d000.g5_p001.d000.g5_p01-1.d000.g5
C4cC_uuuu_p10-1.d000.g5_p-111.d000.g5_p0-11.d000.g5_p00-1.d000.g5 C4cC_uuuu_p0-11.d000.g5_p00-1.d000.g5_p10-1.d000.g5_p-111.d000.g5
C4cC_uuuu_p110.d000.g5_p-110.d000.g5_p0-1-1.d000.g5_p0-11.d000.g5 C4cC_uuuu_p0-1-1.d000.g5_p0-11.d000.g5_p110.d000.g5_p-110.d000.g5
C4cC_uuuu_p200.d000.g5_p001.d000.g5_p-100.d000.g5_p-10-1.d000.g5 C4cC_uuuu_p-100.d000.g5_p-10-1.d000.g5_p200.d000.g5_p001.d000.g5
C4cC_uuuu_p002.d000.g5_p11-1.d000.g5_p-11-1.d000.g5_p0-20.d000.g5 C4cC_uuuu_p-11-1.d000.g5_p0-20.d000.g5_p002.d000.g5_p11-1.d000.g5
C4cC_uuuu_p10-1.d000.g5_p10-1.d000.g5_p-101.d000.g5_p-101.d000.g5 C4cC_uuuu_p-101.d000.g5_p-101.d000.g5_p10-1.d000.g5_p10-1.d000.g5
C4cC_uuuu_p11-1.d000.g5_p-100.d000.g5_p0-11.d000.g5_p000.d000.g5 C4cC_uuuu_p0-11.d000.g5_p000.d000.g5_p11-1.d000.g5_p-100.d000.g5
C4cC_uuuu_p10-1.d000.g5_p-1-1-1.d000.g5_p010.d000.g5_p002.d000.g5 C4cC_uuuu_p010.d000.g5_p002.d000.g5_p10-1.d000.g5_p-1-1-1.d000.g5
C4cC_uuuu_p020.d000.g5_p010.d000.g5_p0-10.d000.g5_p0-20.d000.g5 C4cC_uuuu_p0-10.d000.g5_p0-20.d000.g5_p020.d000.g5_p010.d000.g5

Similarly I did that with the C6cC diagram:

Before After
C6cC_uuuuuu_p1-10.d000.g5_p000.d000.g5_p0-10.d000.g5_p001.d000.g5_p010.d000.g5_p-11-1.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p001.d000.g5_p010.d000.g5_p-11-1.d000.g5_p1-10.d000.g5_p000.d000.g5
C6cC_uuuuuu_p1-11.d000.g5_p-10-1.d000.g5_p-100.d000.g5_p110.d000.g5_p-100.d000.g5_p100.d000.g5 C6cC_uuuuuu_p-100.d000.g5_p110.d000.g5_p-100.d000.g5_p100.d000.g5_p1-11.d000.g5_p-10-1.d000.g5
C6cC_uuuuuu_p0-1-1.d000.g5_p001.d000.g5_p-110.d000.g5_p1-10.d000.g5_p010.d000.g5_p000.d000.g5 C6cC_uuuuuu_p-110.d000.g5_p1-10.d000.g5_p010.d000.g5_p000.d000.g5_p0-1-1.d000.g5_p001.d000.g5
C6cC_uuuuuu_p011.d000.g5_p-10-1.d000.g5_p1-10.d000.g5_p100.d000.g5_p000.d000.g5_p-100.d000.g5 C6cC_uuuuuu_p000.d000.g5_p-100.d000.g5_p011.d000.g5_p-10-1.d000.g5_p1-10.d000.g5_p100.d000.g5
C6cC_uuuuuu_p10-1.d000.g5_p100.d000.g5_p011.d000.g5_p-100.d000.g5_p000.d000.g5_p-1-10.d000.g5 C6cC_uuuuuu_p000.d000.g5_p-1-10.d000.g5_p10-1.d000.g5_p100.d000.g5_p011.d000.g5_p-100.d000.g5
C6cC_uuuuuu_p10-1.d000.g5_p000.d000.g5_p001.d000.g5_p-100.d000.g5_p000.d000.g5_p000.d000.g5 C6cC_uuuuuu_p000.d000.g5_p000.d000.g5_p10-1.d000.g5_p000.d000.g5_p001.d000.g5_p-100.d000.g5
C6cC_uuuuuu_p1-10.d000.g5_p010.d000.g5_p001.d000.g5_p-1-1-1.d000.g5_p000.d000.g5_p010.d000.g5 C6cC_uuuuuu_p000.d000.g5_p010.d000.g5_p1-10.d000.g5_p010.d000.g5_p001.d000.g5_p-1-1-1.d000.g5
C6cC_uuuuuu_p011.d000.g5_p01-1.d000.g5_p001.d000.g5_p000.d000.g5_p0-10.d000.g5_p0-1-1.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p0-1-1.d000.g5_p011.d000.g5_p01-1.d000.g5_p001.d000.g5_p000.d000.g5
C6cC_uuuuuu_p10-1.d000.g5_p0-11.d000.g5_p110.d000.g5_p-110.d000.g5_p-100.d000.g5_p0-10.d000.g5 C6cC_uuuuuu_p-100.d000.g5_p0-10.d000.g5_p10-1.d000.g5_p0-11.d000.g5_p110.d000.g5_p-110.d000.g5
C6cC_uuuuuu_p1-10.d000.g5_p-100.d000.g5_p001.d000.g5_p-110.d000.g5_p00-1.d000.g5_p100.d000.g5 C6cC_uuuuuu_p00-1.d000.g5_p100.d000.g5_p1-10.d000.g5_p-100.d000.g5_p001.d000.g5_p-110.d000.g5
C6cC_uuuuuu_p101.d000.g5_p00-1.d000.g5_p00-1.d000.g5_p-101.d000.g5_p100.d000.g5_p-100.d000.g5 C6cC_uuuuuu_p00-1.d000.g5_p-101.d000.g5_p100.d000.g5_p-100.d000.g5_p101.d000.g5_p00-1.d000.g5
C6cC_uuuuuu_p01-1.d000.g5_p101.d000.g5_p001.d000.g5_p-1-10.d000.g5_p10-1.d000.g5_p-100.d000.g5 C6cC_uuuuuu_p001.d000.g5_p-1-10.d000.g5_p10-1.d000.g5_p-100.d000.g5_p01-1.d000.g5_p101.d000.g5
C6cC_uuuuuu_p10-1.d000.g5_p011.d000.g5_p00-1.d000.g5_p-1-10.d000.g5_p001.d000.g5_p000.d000.g5 C6cC_uuuuuu_p00-1.d000.g5_p-1-10.d000.g5_p001.d000.g5_p000.d000.g5_p10-1.d000.g5_p011.d000.g5
C6cC_uuuuuu_p001.d000.g5_p010.d000.g5_p-100.d000.g5_p0-1-1.d000.g5_p000.d000.g5_p100.d000.g5 C6cC_uuuuuu_p-100.d000.g5_p0-1-1.d000.g5_p000.d000.g5_p100.d000.g5_p001.d000.g5_p010.d000.g5
C6cC_uuuuuu_p011.d000.g5_p0-20.d000.g5_p00-1.d000.g5_p000.d000.g5_p010.d000.g5_p000.d000.g5 C6cC_uuuuuu_p00-1.d000.g5_p000.d000.g5_p010.d000.g5_p000.d000.g5_p011.d000.g5_p0-20.d000.g5
C6cC_uuuuuu_p001.d000.g5_p010.d000.g5_p0-10.d000.g5_p-100.d000.g5_p00-1.d000.g5_p100.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p-100.d000.g5_p00-1.d000.g5_p100.d000.g5_p001.d000.g5_p010.d000.g5
C6cC_uuuuuu_p0-11.d000.g5_p100.d000.g5_p-10-1.d000.g5_p010.d000.g5_p00-1.d000.g5_p001.d000.g5 C6cC_uuuuuu_p-10-1.d000.g5_p010.d000.g5_p00-1.d000.g5_p001.d000.g5_p0-11.d000.g5_p100.d000.g5
C6cC_uuuuuu_p11-1.d000.g5_p-1-10.d000.g5_p0-10.d000.g5_p-100.d000.g5_p010.d000.g5_p101.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p-100.d000.g5_p010.d000.g5_p101.d000.g5_p11-1.d000.g5_p-1-10.d000.g5
C6cC_uuuuuu_p010.d000.g5_p100.d000.g5_p001.d000.g5_p000.d000.g5_p000.d000.g5_p-1-1-1.d000.g5 C6cC_uuuuuu_p000.d000.g5_p-1-1-1.d000.g5_p010.d000.g5_p100.d000.g5_p001.d000.g5_p000.d000.g5
C6cC_uuuuuu_p100.d000.g5_p00-1.d000.g5_p010.d000.g5_p000.d000.g5_p000.d000.g5_p-1-11.d000.g5 C6cC_uuuuuu_p000.d000.g5_p-1-11.d000.g5_p100.d000.g5_p00-1.d000.g5_p010.d000.g5_p000.d000.g5
C6cC_uuuuuu_p110.d000.g5_p1-10.d000.g5_p-100.d000.g5_p-100.d000.g5_p-101.d000.g5_p10-1.d000.g5 C6cC_uuuuuu_p-100.d000.g5_p-100.d000.g5_p-101.d000.g5_p10-1.d000.g5_p110.d000.g5_p1-10.d000.g5
C6cC_uuuuuu_p101.d000.g5_p01-1.d000.g5_p000.d000.g5_p001.d000.g5_p0-10.d000.g5_p-10-1.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p-10-1.d000.g5_p101.d000.g5_p01-1.d000.g5_p000.d000.g5_p001.d000.g5
C6cC_uuuuuu_p001.d000.g5_p101.d000.g5_p-100.d000.g5_p000.d000.g5_p00-1.d000.g5_p00-1.d000.g5 C6cC_uuuuuu_p-100.d000.g5_p000.d000.g5_p00-1.d000.g5_p00-1.d000.g5_p001.d000.g5_p101.d000.g5
C6cC_uuuuuu_p011.d000.g5_p1-10.d000.g5_p0-10.d000.g5_p010.d000.g5_p-1-10.d000.g5_p01-1.d000.g5 C6cC_uuuuuu_p-1-10.d000.g5_p01-1.d000.g5_p011.d000.g5_p1-10.d000.g5_p0-10.d000.g5_p010.d000.g5
C6cC_uuuuuu_p0-11.d000.g5_p101.d000.g5_p00-1.d000.g5_p100.d000.g5_p-10-1.d000.g5_p-110.d000.g5 C6cC_uuuuuu_p-10-1.d000.g5_p-110.d000.g5_p0-11.d000.g5_p101.d000.g5_p00-1.d000.g5_p100.d000.g5
C6cC_uuuuuu_p111.d000.g5_p000.d000.g5_p0-10.d000.g5_p-1-1-1.d000.g5_p000.d000.g5_p010.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p-1-1-1.d000.g5_p000.d000.g5_p010.d000.g5_p111.d000.g5_p000.d000.g5
C6cC_uuuuuu_p0-11.d000.g5_p0-10.d000.g5_p-110.d000.g5_p11-1.d000.g5_p000.d000.g5_p000.d000.g5 C6cC_uuuuuu_p-110.d000.g5_p11-1.d000.g5_p000.d000.g5_p000.d000.g5_p0-11.d000.g5_p0-10.d000.g5
C6cC_uuuuuu_p110.d000.g5_p00-1.d000.g5_p001.d000.g5_p010.d000.g5_p0-10.d000.g5_p-1-10.d000.g5 C6cC_uuuuuu_p0-10.d000.g5_p-1-10.d000.g5_p110.d000.g5_p00-1.d000.g5_p001.d000.g5_p010.d000.g5
C6cC_uuuuuu_p1-1-1.d000.g5_p-110.d000.g5_p-100.d000.g5_p011.d000.g5_p100.d000.g5_p0-10.d000.g5 C6cC_uuuuuu_p-100.d000.g5_p011.d000.g5_p100.d000.g5_p0-10.d000.g5_p1-1-1.d000.g5_p-110.d000.g5
C6cC_uuuuuu_p10-1.d000.g5_p0-10.d000.g5_p01-1.d000.g5_p-110.d000.g5_p001.d000.g5_p0-11.d000.g5 C6cC_uuuuuu_p001.d000.g5_p0-11.d000.g5_p10-1.d000.g5_p0-10.d000.g5_p01-1.d000.g5_p-110.d000.g5

And with the C6cCD diagram:

Before After
C6cCD_uuuuuu_p110.d000.g5_p000.d000.g5_p010.d000.g5_p00-1.d000.g5_p0-10.d000.g5_p-1-11.d000.g5 C6cCD_uuuuuu_p010.d000.g5_p00-1.d000.g5_p110.d000.g5_p000.d000.g5_p0-10.d000.g5_p-1-11.d000.g5
C6cCD_uuuuuu_p011.d000.g5_p-1-10.d000.g5_p010.d000.g5_p10-1.d000.g5_p0-10.d000.g5_p000.d000.g5 C6cCD_uuuuuu_p010.d000.g5_p10-1.d000.g5_p011.d000.g5_p-1-10.d000.g5_p0-10.d000.g5_p000.d000.g5
C6cCD_uuuuuu_p101.d000.g5_p010.d000.g5_p00-1.d000.g5_p00-1.d000.g5_p0-11.d000.g5_p-100.d000.g5 C6cCD_uuuuuu_p00-1.d000.g5_p00-1.d000.g5_p101.d000.g5_p010.d000.g5_p0-11.d000.g5_p-100.d000.g5
C6cCD_uuuuuu_p011.d000.g5_p01-1.d000.g5_p-100.d000.g5_p000.d000.g5_p0-10.d000.g5_p1-10.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p000.d000.g5_p011.d000.g5_p01-1.d000.g5_p0-10.d000.g5_p1-10.d000.g5
C6cCD_uuuuuu_p0-10.d000.g5_p00-1.d000.g5_p-100.d000.g5_p101.d000.g5_p010.d000.g5_p000.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p101.d000.g5_p0-10.d000.g5_p00-1.d000.g5_p010.d000.g5_p000.d000.g5
C6cCD_uuuuuu_p01-1.d000.g5_p-1-10.d000.g5_p0-10.d000.g5_p100.d000.g5_p010.d000.g5_p001.d000.g5 C6cCD_uuuuuu_p0-10.d000.g5_p100.d000.g5_p01-1.d000.g5_p-1-10.d000.g5_p010.d000.g5_p001.d000.g5
C6cCD_uuuuuu_p1-10.d000.g5_p010.d000.g5_p-100.d000.g5_p010.d000.g5_p0-10.d000.g5_p000.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p010.d000.g5_p1-10.d000.g5_p010.d000.g5_p0-10.d000.g5_p000.d000.g5
C6cCD_uuuuuu_p1-10.d000.g5_p0-10.d000.g5_p000.d000.g5_p01-1.d000.g5_p011.d000.g5_p-100.d000.g5 C6cCD_uuuuuu_p000.d000.g5_p01-1.d000.g5_p1-10.d000.g5_p0-10.d000.g5_p011.d000.g5_p-100.d000.g5
C6cCD_uuuuuu_p011.d000.g5_p00-1.d000.g5_p-100.d000.g5_p0-11.d000.g5_p100.d000.g5_p00-1.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p0-11.d000.g5_p011.d000.g5_p00-1.d000.g5_p100.d000.g5_p00-1.d000.g5
C6cCD_uuuuuu_p11-1.d000.g5_p00-1.d000.g5_p000.d000.g5_p0-10.d000.g5_p001.d000.g5_p-101.d000.g5 C6cCD_uuuuuu_p000.d000.g5_p0-10.d000.g5_p11-1.d000.g5_p00-1.d000.g5_p001.d000.g5_p-101.d000.g5
C6cCD_uuuuuu_p110.d000.g5_p0-11.d000.g5_p00-1.d000.g5_p00-1.d000.g5_p-100.d000.g5_p001.d000.g5 C6cCD_uuuuuu_p00-1.d000.g5_p00-1.d000.g5_p110.d000.g5_p0-11.d000.g5_p-100.d000.g5_p001.d000.g5
C6cCD_uuuuuu_p01-1.d000.g5_p10-1.d000.g5_p0-10.d000.g5_p011.d000.g5_p-1-10.d000.g5_p001.d000.g5 C6cCD_uuuuuu_p0-10.d000.g5_p011.d000.g5_p01-1.d000.g5_p10-1.d000.g5_p-1-10.d000.g5_p001.d000.g5
C6cCD_uuuuuu_p1-10.d000.g5_p-101.d000.g5_p01-1.d000.g5_p0-11.d000.g5_p010.d000.g5_p00-1.d000.g5 C6cCD_uuuuuu_p01-1.d000.g5_p0-11.d000.g5_p1-10.d000.g5_p-101.d000.g5_p010.d000.g5_p00-1.d000.g5
C6cCD_uuuuuu_p010.d000.g5_p001.d000.g5_p01-1.d000.g5_p0-10.d000.g5_p-1-10.d000.g5_p100.d000.g5 C6cCD_uuuuuu_p01-1.d000.g5_p0-10.d000.g5_p010.d000.g5_p001.d000.g5_p-1-10.d000.g5_p100.d000.g5
C6cCD_uuuuuu_p10-1.d000.g5_p00-1.d000.g5_p001.d000.g5_p-101.d000.g5_p011.d000.g5_p0-1-1.d000.g5 C6cCD_uuuuuu_p001.d000.g5_p-101.d000.g5_p10-1.d000.g5_p00-1.d000.g5_p011.d000.g5_p0-1-1.d000.g5
C6cCD_uuuuuu_p001.d000.g5_p00-1.d000.g5_p0-10.d000.g5_p-100.d000.g5_p000.d000.g5_p110.d000.g5 C6cCD_uuuuuu_p0-10.d000.g5_p-100.d000.g5_p001.d000.g5_p00-1.d000.g5_p000.d000.g5_p110.d000.g5
C6cCD_uuuuuu_p1-10.d000.g5_p001.d000.g5_p000.d000.g5_p00-1.d000.g5_p-10-1.d000.g5_p011.d000.g5 C6cCD_uuuuuu_p000.d000.g5_p00-1.d000.g5_p1-10.d000.g5_p001.d000.g5_p-10-1.d000.g5_p011.d000.g5
C6cCD_uuuuuu_p000.d000.g5_p000.d000.g5_p-100.d000.g5_p-100.d000.g5_p1-10.d000.g5_p110.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p-100.d000.g5_p000.d000.g5_p000.d000.g5_p1-10.d000.g5_p110.d000.g5
C6cCD_uuuuuu_p01-1.d000.g5_p000.d000.g5_p-100.d000.g5_p0-10.d000.g5_p0-10.d000.g5_p111.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p0-10.d000.g5_p01-1.d000.g5_p000.d000.g5_p0-10.d000.g5_p111.d000.g5
C6cCD_uuuuuu_p000.d000.g5_p000.d000.g5_p-100.d000.g5_p0-10.d000.g5_p110.d000.g5_p000.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p0-10.d000.g5_p000.d000.g5_p000.d000.g5_p110.d000.g5_p000.d000.g5
C6cCD_uuuuuu_p101.d000.g5_p010.d000.g5_p-100.d000.g5_p1-10.d000.g5_p-110.d000.g5_p0-1-1.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p1-10.d000.g5_p101.d000.g5_p010.d000.g5_p-110.d000.g5_p0-1-1.d000.g5
C6cCD_uuuuuu_p00-1.d000.g5_p10-1.d000.g5_p-100.d000.g5_p000.d000.g5_p0-11.d000.g5_p011.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p000.d000.g5_p00-1.d000.g5_p10-1.d000.g5_p0-11.d000.g5_p011.d000.g5
C6cCD_uuuuuu_p100.d000.g5_p-1-1-1.d000.g5_p001.d000.g5_p010.d000.g5_p0-10.d000.g5_p010.d000.g5 C6cCD_uuuuuu_p001.d000.g5_p010.d000.g5_p100.d000.g5_p-1-1-1.d000.g5_p0-10.d000.g5_p010.d000.g5
C6cCD_uuuuuu_p110.d000.g5_p-1-11.d000.g5_p-10-1.d000.g5_p100.d000.g5_p000.d000.g5_p000.d000.g5 C6cCD_uuuuuu_p-10-1.d000.g5_p100.d000.g5_p110.d000.g5_p-1-11.d000.g5_p000.d000.g5_p000.d000.g5
C6cCD_uuuuuu_p001.d000.g5_p100.d000.g5_p0-11.d000.g5_p-110.d000.g5_p-10-1.d000.g5_p10-1.d000.g5 C6cCD_uuuuuu_p0-11.d000.g5_p-110.d000.g5_p001.d000.g5_p100.d000.g5_p-10-1.d000.g5_p10-1.d000.g5
C6cCD_uuuuuu_p1-11.d000.g5_p-100.d000.g5_p010.d000.g5_p-10-1.d000.g5_p0-10.d000.g5_p110.d000.g5 C6cCD_uuuuuu_p010.d000.g5_p-10-1.d000.g5_p1-11.d000.g5_p-100.d000.g5_p0-10.d000.g5_p110.d000.g5
C6cCD_uuuuuu_p101.d000.g5_p-10-1.d000.g5_p-100.d000.g5_p110.d000.g5_p1-10.d000.g5_p-100.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p110.d000.g5_p101.d000.g5_p-10-1.d000.g5_p1-10.d000.g5_p-100.d000.g5
C6cCD_uuuuuu_p110.d000.g5_p-100.d000.g5_p010.d000.g5_p0-10.d000.g5_p-100.d000.g5_p1-10.d000.g5 C6cCD_uuuuuu_p010.d000.g5_p0-10.d000.g5_p110.d000.g5_p-100.d000.g5_p-100.d000.g5_p1-10.d000.g5
C6cCD_uuuuuu_p10-1.d000.g5_p010.d000.g5_p-100.d000.g5_p000.d000.g5_p1-10.d000.g5_p-101.d000.g5 C6cCD_uuuuuu_p-100.d000.g5_p000.d000.g5_p10-1.d000.g5_p010.d000.g5_p1-10.d000.g5_p-101.d000.g5
C6cCD_uuuuuu_p000.d000.g5_p000.d000.g5_p0-10.d000.g5_p10-1.d000.g5_p-111.d000.g5_p000.d000.g5 C6cCD_uuuuuu_p0-10.d000.g5_p10-1.d000.g5_p000.d000.g5_p000.d000.g5_p-111.d000.g5_p000.d000.g5

These are the numbers of correlators before and after I ran the reduction via symmetries:

Diagram Before After
C4cC 4709 3878
C6cC 81391 64663
C6cCD 124021 100486

This means that we went from 210121 correlators down to to 169027, that's 20 % less stuff to compute. This might also bring down the number of cached elements in between, I am not sure.

I would appreciate if somebody could look at the logic in the script and also at some of the examples above. If that checks out I would use that to reduce the number of correlators that we compute in the hope that it improves out situation.

marcuspetschlies commented 4 years ago

Hi Martin,

another quick question: you have taken out all combos, which go into each other under projection, right? And you still do all-time-to-all-time contractions ?

marcuspetschlies commented 4 years ago

Hi Martin, reducing redundancy by permutations and LG rotations; I get 896 operators; momentum configurations attachen ( p3 level and p3 list ); I'll check for the diagrams ppp-ops-prelim.gz

marcuspetschlies commented 4 years ago

( with total up to P^2 = 4 and max individual momentum component 2 )

martin-ueding commented 4 years ago

you have taken out all combos, which go into each other under projection, right?

Which projection do you mean? In order to project onto the little group irreps I need to compute various correlation functions. I will compute the linear combinations of the ones that the Wolfram Language code gave me. So in that sense my list of correlators that I need already has the group theoretical projection taken into account.

And you still do all-time-to-all-time contractions ?

Exactly, we compute these correlators for each of the time slices.

ppp-ops-prelim.gz

That basically is a list of all the single operators that can occur? Basically all momentum combinations?


I have just implemented also the permutation of the traces in the direct diagrams. The reductions are therefore the following:

Diagram Before After
C6cD 47833 32405
C4cD 4709 3851
C6cC 81391 64663
C4cC 4709 3878
C6cCD 124021 100486

So the reduction is now 262663 to 205283, that is a saving of 21.8 % for everything.

marcuspetschlies commented 4 years ago

you have taken out all combos, which go into each other under projection, right?

Which projection do you mean? In order to project onto the little group irreps I need to compute various correlation functions. I will compute the linear combinations of the ones that the Wolfram Language code gave me. So in that sense my list of correlators that I need already has the group theoretical projection taken into account.

And you still do all-time-to-all-time contractions ?

Exactly, we compute these correlators for each of the time slices.

ppp-ops-prelim.gz

That basically is a list of all the single operators that can occur? Basically all momentum combinations?

I have just implemented also the permutation of the traces in the direct diagrams. The reductions are therefore the following: Diagram Before After C6cD 47833 32405 C4cD 4709 3851 C6cC 81391 64663 C4cC 4709 3878 C6cCD 124021 100486

So the reduction is now 262663 to 205283, that is a saving of 21.8 % for everything.

marcuspetschlies commented 4 years ago

That basically is a list of all the single operators that can occur? Basically all momentum combinations?

yes, that was ops first; I am going step-wise. But of course, the same redundancies can be removed at different stages.

marcuspetschlies commented 4 years ago

Okay, so without further constraints, I get C6cC 127252 distinct components, in all frames. Next step is irrep selection. The number above is for all frames, and <Lambda,r | Lambda,r > only ? or still r,r' ?

kostrzewa commented 4 years ago

@marcuspetschlies @martin-ueding I take it that you're cross-checking the logic here so I'll sit this one out for now, right?

marcuspetschlies commented 4 years ago

no problem; just building in my filtering by irreps

marcuspetschlies commented 4 years ago

Hi Martin, before going into code detail, let me summarize redundancy removal first, to be on the same page. I assume that is what you have now implemented

(a) only one representative operator per momentum config for projection ( we discussed this some time ago; taking out momentum configs that rotate into each other by rotations during projection )

(b) any permutation of vertices individually at source and sink; results in only one diagram topology per CXcY with appropriately adjusted momenta, then going round the diagram in the one and only order

(c) in particular of (b) the permutation of complete trace terms for disconnected diagrams

(d) cyclic permutation within any trace term for C6c and C4c this would be terms U Gamma_1 U^+ Gamma_2 = U Gamma_1 D Gamma_2 ( to preserve preserve the structure of the diagram topology ) [ for 3pi+ this Gamma_1 means only momentum p_1 etc. ] This is what I read in your Before-After listing.

(e) reoccurence of diagrams; you keep track of those by keeping in memory

(f) complex conjugation to relate opposite momentum configs

Anything i missed ?

Are you still doing off-diagonal row correlators ( for irrep dim > 1 ) ? ( Need to check yet how that impacts the load.)

marcuspetschlies commented 4 years ago

just remember, for dim irrep > 1 in the rho case you also did all projector versions ( per operator ) for different choices of what Markus called phi vector ( so irrep matrix element T_alpha gamma in the projector for operator multiplet gamma, but also all alpha ) ? If so, and it has impact, how about going to diagonal only ( standard procedure for many others ) ?

marcuspetschlies commented 4 years ago

We discussed it; the procedure itself is safe and sound; we agree on (a) - (f) above; I'll check the before - after listing; otherwise okay on that level.

martin-ueding commented 4 years ago

I have just let the program write out the old and the new name, separated with a space. There is one paragraph per diagram type.

old_and_new.txt.gz

marcuspetschlies commented 4 years ago

Thanks, that'll do.