(* ::Package:: *)

(*
This is the second ancillary file associated with the article
"Color-Kinematics Duality with Minimal Deformation: Two-Loop Four-Gluon Amplitudes in Pure Yang-Mills Revisited" 
by Zeyu Li and Gang Yang
*)


(*
This file provides additional detailed information for discussion in section 4.2.
We provide explicit linear relations for Eq.(4.28) and Eq.(4.33), and corresponding symmetry basis that appear in the linear relations. 
Using these expressions one can construct different ansatz for deformation \[CapitalDelta]_1 following the discussion in section 4.2.

The notation in the symmetrybasis is as follows:
1) ee[i,j] is lorentz product of two polarization vectors : $\varepsilon_i \cdot \varepsilon_j$
2) ep[i,j] is lorentz product of polarization vector with a momentum vector : $\varepsilon_i \cdot p_j$
3) p[i,j] is lorentz product of two momentum vectors: $p_i \cdot p_j$
*)



(*
tc[2][i] corresponds to \!\(
\*SubsuperscriptBox[
OverscriptBox[\(c\), \(~\)], \(i\), \([2]\)] . \ \n\n'\)linearrelationS2' gives the linear relation for \!\(
\*SubsuperscriptBox[
OverscriptBox[\(c\), \(~\)], \(i\), \([2]\)] . \n\ \ \ \n'\)symmetrybasisS2' gives symmetry basis which appears in linear relations. Momentum label follows Fig.10.
*)

linearrelationS2={tc[2][1]->1/2 (-tc[2][3]-tc[2][4]-tc[2][5]-tc[2][6]),tc[2][2]->1/2 (-tc[2][7]+tc[2][8])};

(*
Expression of the symmetry basis that appear in the linear relations.
symmetrybasisS2[[i]] is related to the coefficient tc[2][i].
*)
symmetrybasisS2={ee[p1,p2] ep[p3,l5] ep[p4,l5] pp[l4,l4]+ee[p3,p4] ep[p1,l4] ep[p2,l4] pp[l5,l5],
-ee[p3,p4] ep[p1,l3] ep[p2,p3] pp[l2-l7-p1,l2-l7-p1]-ee[p3,p4] (-ep[p1,p2]-ep[p1,p3]) ep[p2,l7] pp[-l2-l3-p2,-l2-l3-p2]+ee[p1,p2] ep[p3,l6] ep[p4,p1] pp[l1-l2-p3,l1-l2-p3]+ee[p1,p2] ep[p3,p2] ep[p4,l1] pp[l2+l6-p4,l2+l6-p4],
ee[p1,p2] ep[p3,l6] ep[p4,p1] pp[l2,p1]-ee[p1,p2] ep[p3,p2] ep[p4,l1] pp[l2,p2]-ee[p3,p4] (-ep[p1,p2]-ep[p1,p3]) ep[p2,l7] (-pp[l2,p1]-pp[l2,p2]-pp[l2,p3])+ee[p3,p4] ep[p1,l3] ep[p2,p3] pp[l2,p3],
ee[p1,p2] ep[p3,l7] ep[p4,p1] pp[l2,p1]-ee[p1,p2] ep[p3,p2] ep[p4,l3] pp[l2,p2]-ee[p3,p4] (-ep[p1,p2]-ep[p1,p3]) ep[p2,l6] (-pp[l2,p1]-pp[l2,p2]-pp[l2,p3])+ee[p3,p4] ep[p1,l1] ep[p2,p3] pp[l2,p3],
ee[p1,p2] ep[p3,l6] ep[p4,p2] pp[l2,p1]-ee[p1,p2] ep[p3,p1] ep[p4,l1] pp[l2,p2]-ee[p3,p4] ep[p1,p3] ep[p2,l7] (-pp[l2,p1]-pp[l2,p2]-pp[l2,p3])+ee[p3,p4] ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) pp[l2,p3],
ee[p1,p2] ep[p3,l7] ep[p4,p2] pp[l2,p1]-ee[p1,p2] ep[p3,p1] ep[p4,l3] pp[l2,p2]-ee[p3,p4] ep[p1,p3] ep[p2,l6] (-pp[l2,p1]-pp[l2,p2]-pp[l2,p3])+ee[p3,p4] ep[p1,l1] (-ep[p2,p1]-ep[p2,p3]) pp[l2,p3],
ee[p1,p2] ep[p3,l7] ep[p4,p1] pp[l1,p3]+ee[p3,p4] (-ep[p1,p2]-ep[p1,p3]) ep[p2,l6] pp[l3,p2]+ee[p1,p2] ep[p3,p2] ep[p4,l3] (-pp[l6,p1]-pp[l6,p2]-pp[l6,p3])+ee[p3,p4] ep[p1,l1] ep[p2,p3] pp[l7,p1],
ee[p1,p2] ep[p3,l7] ep[p4,p2] pp[l1,p3]+ee[p3,p4] ep[p1,p3] ep[p2,l6] pp[l3,p2]+ee[p1,p2] ep[p3,p1] ep[p4,l3] (-pp[l6,p1]-pp[l6,p2]-pp[l6,p3])+ee[p3,p4] ep[p1,l1] (-ep[p2,p1]-ep[p2,p3]) pp[l7,p1]};


(*
tc[3][i] corresponds to \!\(
\*SubsuperscriptBox[
OverscriptBox[\(c\), \(~\)], \(i\), \([3]\)] . \ \n\n'\)linearrelationS3' gives the linear relation for \!\(
\*SubsuperscriptBox[
OverscriptBox[\(c\), \(~\)], \(i\), \([3]\)] . \n\ \ \ \n'\)symmetrybasisS3' gives symmetry basis which appears in linear relations. Momentum label follows Fig.10 .
*)

linearrelationS3={tc[3][1]->-2 tc[3][12]+1/2 tc[3][13]+5/2 tc[3][14]-3/2 tc[3][16]-3/2 tc[3][17]+7/2 tc[3][21]+tc[3][22]-7/2 tc[3][24]-tc[3][29]-5/2 tc[3][33]-5/2 tc[3][35]-3/2 tc[3][36]-3/2 tc[3][38],
tc[3][2]->-16+8 d-2 tc[3][12]+2 tc[3][14]+tc[3][15]-3/2 tc[3][16]+3/2 tc[3][17]+tc[3][18]+tc[3][19]+2 tc[3][20]+3/2 tc[3][21]-3/2 tc[3][22]-3/2 tc[3][23]-3/2 tc[3][24]+tc[3][25]+2 tc[3][26]-1/2 tc[3][27]+tc[3][28]-3/2 tc[3][29]+tc[3][30]-tc[3][32]-7/2 tc[3][33]-1/2 tc[3][34]-3 tc[3][35]+2 tc[3][37]+tc[3][38]+1/2 tc[3][39],
tc[3][3]->-16+8 d+2 tc[3][12]+3/2 tc[3][13]-1/2 tc[3][14]+tc[3][15]+3 tc[3][17]+tc[3][18]+tc[3][19]+2 tc[3][20]-2 tc[3][21]-5/2 tc[3][22]-3/2 tc[3][23]+2 tc[3][24]+tc[3][25]+2 tc[3][26]-1/2 tc[3][27]+tc[3][28]-1/2 tc[3][29]+tc[3][30]-tc[3][32]-tc[3][33]-1/2 tc[3][34]-1/2 tc[3][35]+3/2 tc[3][36]+2 tc[3][37]+5/2 tc[3][38]+1/2 tc[3][39],
tc[3][4]->-32+16 d+3 tc[3][12]+2 tc[3][13]-tc[3][14]+2 tc[3][15]-tc[3][16]+5 tc[3][17]+2 tc[3][18]+2 tc[3][19]+4 tc[3][20]-4 tc[3][21]-5 tc[3][22]-3 tc[3][23]+4 tc[3][24]+2 tc[3][25]+4 tc[3][26]-tc[3][27]+2 tc[3][28]-tc[3][29]+2 tc[3][30]-2 tc[3][32]-tc[3][33]-tc[3][34]+3 tc[3][36]+2 tc[3][37]+5 tc[3][38]+tc[3][39],
tc[3][5]->152-76 d-3/2 tc[3][12]-3 tc[3][13]-3/2 tc[3][14]-7/2 tc[3][15]+11/4 tc[3][16]-31/4 tc[3][17]-7/2 tc[3][18]-7/2 tc[3][19]-7 tc[3][20]+13/4 tc[3][21]+33/4 tc[3][22]+13/4 tc[3][23]-13/4 tc[3][24]-9/2 tc[3][25]-7 tc[3][26]-5/4 tc[3][27]-7/2 tc[3][28]+9/4 tc[3][29]-7/2 tc[3][30]+7/2 tc[3][32]+15/4 tc[3][33]+1/4 tc[3][34]+5 tc[3][35]-2 tc[3][36]-7 tc[3][37]-11/2 tc[3][38]+5/4 tc[3][39],
tc[3][6]->-128+64 d-tc[3][12]-tc[3][13]-2 tc[3][15]+2 tc[3][18]-2 tc[3][23]+2 tc[3][25]+2 tc[3][28]+2 tc[3][30]-tc[3][34]+tc[3][36]+tc[3][38],
tc[3][7]->-tc[3][13]-tc[3][14]+tc[3][16]-tc[3][17]-tc[3][19]-2 tc[3][20]+tc[3][22]-2 tc[3][26]+tc[3][33]+tc[3][35]-2 tc[3][37],
tc[3][8]->-(1/2) tc[3][12]-1/2 tc[3][13]+1/2 tc[3][16]-1/2 tc[3][17]-1/2 tc[3][19]+1/2 tc[3][21]+1/2 tc[3][22]-1/2 tc[3][24]+1/2 tc[3][33]+1/2 tc[3][35]+1/2 tc[3][36]+1/2 tc[3][38],
tc[3][9]->-2 tc[3][12]+2 tc[3][14]-2 tc[3][16]+tc[3][19]+tc[3][20]+2 tc[3][21]-2 tc[3][24]+tc[3][26]-tc[3][29]-3 tc[3][33]-3 tc[3][35]-2 tc[3][36]+tc[3][37]-tc[3][38],
tc[3][10]->tc[3][12]-tc[3][14]-tc[3][21]+tc[3][24]+tc[3][33]+tc[3][35]+tc[3][36]-tc[3][37]+tc[3][38],
tc[3][11]->tc[3][13]+tc[3][14]+2 tc[3][15]-tc[3][16]+2 tc[3][17]+tc[3][19]+2 tc[3][20]-2 tc[3][22]+2 tc[3][26]-tc[3][29]-tc[3][32]-2 tc[3][33]-2 tc[3][35]+2 tc[3][37]+tc[3][38]};

(*
Expression of the symmetry basis that appear in the linear relations.
symmetrybasisS3[[i]] is related to the coefficient tc[3][i].
*)
symmetrybasisS3={ep[p1,l4] ep[p2,l4] ep[p3,l5] ep[p4,l5],
ep[p1,l5] ep[p2,l5] ep[p3,l4] ep[p4,l4],
ep[p1,l1] ep[p2,l6] ep[p3,l7] ep[p4,l3],
ep[p1,l5] ep[p2,l6] ep[p3,l4] ep[p4,l3]+ep[p1,l1] ep[p2,l5] ep[p3,l7] ep[p4,l4],
ep[p1,l7] ep[p2,l3] ep[p3,l7] ep[p4,l3]+ep[p1,l1] ep[p2,l6] ep[p3,l1] ep[p4,l6],
ep[p1,p3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l3] ep[p4,l7]+ep[p1,l6] ep[p2,l1] ep[p3,p1] ep[p4,p2],
ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,p1] ep[p4,l1]+ep[p1,p3] ep[p2,l7] ep[p3,l6] ep[p4,p2],
ep[p1,p3] ep[p2,l5] ep[p3,p1] ep[p4,l1]+ep[p1,p3] ep[p2,l7] ep[p3,p1] ep[p4,l4]-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l4] ep[p4,p2]-ep[p1,l5] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l6] ep[p4,p2],
-((-ep[p1,p2]-ep[p1,p3]) ep[p2,l5] ep[p3,p1] ep[p4,l1])-ep[p1,p3] ep[p2,l7] ep[p3,p2] ep[p4,l4]+ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l4] ep[p4,p1]+ep[p1,l5] ep[p2,p3] ep[p3,l6] ep[p4,p2],
-ep[p1,l1] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l4] ep[p4,l3]-ep[p1,l1] ep[p2,l5] ep[p3,p1] ep[p4,l3]+ep[p1,p3] ep[p2,l6] ep[p3,l7] ep[p4,l4]+ep[p1,l5] ep[p2,l6] ep[p3,l7] ep[p4,p2],
-((-ep[p1,p2]-ep[p1,p3]) (-ep[p2,p1]-ep[p2,p3]) ep[p3,l4] ep[p4,l1])+ep[p1,p3] ep[p2,p3] ep[p3,l6] ep[p4,l4]+ep[p1,l3] ep[p2,l5] ep[p3,p1] ep[p4,p1]-ep[p1,l5] ep[p2,l7] ep[p3,p2] ep[p4,p2],
ep[p1,l7] ep[p2,l2] ep[p3,l1] ep[p4,l2]+ep[p1,l2] ep[p2,l3] ep[p3,l2] ep[p4,l6],ep[p1,l6] ep[p2,l1] ep[p3,l2] ep[p4,l2]+ep[p1,l2] ep[p2,l2] ep[p3,l3] ep[p4,l7],
ep[p1,l3] ep[p2,l1] ep[p3,l3] ep[p4,l1]+ep[p1,l6] ep[p2,l7] ep[p3,l6] ep[p4,l7],-ep[p1,l1] ep[p2,l1] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l1]+ep[p1,l3] ep[p2,p1] ep[p3,l3] ep[p4,l3]+ep[p1,p2] ep[p2,l7] ep[p3,l7] ep[p4,l7]-ep[p1,l6] ep[p2,l6] ep[p3,l6] (-ep[p4,p1]-ep[p4,p2]),
-ep[p1,l1] ep[p2,l3] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l1]+ep[p1,l3] ep[p2,p1] ep[p3,l1] ep[p4,l3]+ep[p1,p2] ep[p2,l7] ep[p3,l7] ep[p4,l6]-ep[p1,l7] ep[p2,l6] ep[p3,l6] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l3] ep[p2,p1] ep[p3,l3] ep[p4,l1]-ep[p1,l3] ep[p2,l1] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l1]+ep[p1,p2] ep[p2,l7] ep[p3,l6] ep[p4,l7]-ep[p1,l6] ep[p2,l7] ep[p3,l6] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l3] ep[p2,p1] ep[p3,l1] ep[p4,l1]-ep[p1,l3] ep[p2,l3] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l1]+ep[p1,p2] ep[p2,l7] ep[p3,l6] ep[p4,l6]-ep[p1,l7] ep[p2,l7] ep[p3,l6] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l3] ep[p2,p1] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l1]+ep[p1,p2] ep[p2,l7] ep[p3,l6] (-ep[p4,p1]-ep[p4,p2]),
-((-ep[p1,p2]-ep[p1,p3]) ep[p2,l5] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l1])-ep[p1,p2] ep[p2,l7] ep[p3,p2] ep[p4,l4]+ep[p1,l3] ep[p2,p1] ep[p3,l4] ep[p4,p1]+ep[p1,l5] ep[p2,p3] ep[p3,l6] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l1] ep[p2,p1] ep[p3,l1] ep[p4,l3]-ep[p1,l1] ep[p2,l3] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3]+ep[p1,p2] ep[p2,l6] ep[p3,l7] ep[p4,l6]-ep[p1,l7] ep[p2,l6] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l1] ep[p2,p1] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3]+ep[p1,p2] ep[p2,l6] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
-ep[p1,l1] ep[p2,p1] ep[p3,l4] ep[p4,l1]-ep[p1,l3] ep[p2,l5] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3]+ep[p1,p2] ep[p2,l6] ep[p3,l6] ep[p4,l4]+ep[p1,l5] ep[p2,l7] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l1] ep[p2,p1] ep[p3,l3] ep[p4,l1]-ep[p1,l3] ep[p2,l1] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3]+ep[p1,p2] ep[p2,l6] ep[p3,l6] ep[p4,l7]-ep[p1,l6] ep[p2,l7] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
ep[p1,l1] ep[p2,p1] ep[p3,l1] ep[p4,l1]-ep[p1,l3] ep[p2,l3] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3]+ep[p1,p2] ep[p2,l6] ep[p3,l6] ep[p4,l6]-ep[p1,l7] ep[p2,l7] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
-((-ep[p1,p2]-ep[p1,p3]) ep[p2,l4] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3])-ep[p1,p2] ep[p2,l6] ep[p3,p2] ep[p4,l5]+ep[p1,l1] ep[p2,p1] ep[p3,l5] ep[p4,p1]+ep[p1,l4] ep[p2,p3] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
-((-ep[p1,p2]-ep[p1,p3]) ep[p2,l5] (-ep[p3,p1]-ep[p3,p2]) ep[p4,l3])-ep[p1,p2] ep[p2,l6] ep[p3,p2] ep[p4,l4]+ep[p1,l1] ep[p2,p1] ep[p3,l4] ep[p4,p1]+ep[p1,l5] ep[p2,p3] ep[p3,l7] (-ep[p4,p1]-ep[p4,p2]),
(-ep[p1,p2]-ep[p1,p3]) ep[p2,p1] ep[p3,l5] ep[p4,l3]-ep[p1,p2] ep[p2,p3] ep[p3,l7] ep[p4,l5]-ep[p1,l1] ep[p2,l4] (-ep[p3,p1]-ep[p3,p2]) ep[p4,p1]+ep[p1,l4] ep[p2,l6] ep[p3,p2] (-ep[p4,p1]-ep[p4,p2]),
(-ep[p1,p2]-ep[p1,p3]) ep[p2,p1] ep[p3,l5] ep[p4,l1]-ep[p1,p2] ep[p2,p3] ep[p3,l6] ep[p4,l5]-ep[p1,l3] ep[p2,l4] (-ep[p3,p1]-ep[p3,p2]) ep[p4,p1]+ep[p1,l4] ep[p2,l7] ep[p3,p2] (-ep[p4,p1]-ep[p4,p2]),
(-ep[p1,p2]-ep[p1,p3]) ep[p2,p1] ep[p3,l4] ep[p4,l1]-ep[p1,p2] ep[p2,p3] ep[p3,l6] ep[p4,l4]-ep[p1,l3] ep[p2,l5] (-ep[p3,p1]-ep[p3,p2]) ep[p4,p1]+ep[p1,l5] ep[p2,l7] ep[p3,p2] (-ep[p4,p1]-ep[p4,p2]),
-ep[p1,p2] ep[p2,p3] ep[p3,p2] ep[p4,l7]-(-ep[p1,p2]-ep[p1,p3]) ep[p2,p1] ep[p3,l3] ep[p4,p1]+(-ep[p1,p2]-ep[p1,p3]) ep[p2,l1] (-ep[p3,p1]-ep[p3,p2]) ep[p4,p1]+ep[p1,l6] ep[p2,p3] ep[p3,p2] (-ep[p4,p1]-ep[p4,p2]),
-ep[p1,p2] ep[p2,p3] ep[p3,p2] ep[p4,l6]-(-ep[p1,p2]-ep[p1,p3]) ep[p2,p1] ep[p3,l1] ep[p4,p1]+(-ep[p1,p2]-ep[p1,p3]) ep[p2,l3] (-ep[p3,p1]-ep[p3,p2]) ep[p4,p1]+ep[p1,l7] ep[p2,p3] ep[p3,p2] (-ep[p4,p1]-ep[p4,p2]),
-ep[p1,l1] ep[p2,l5] ep[p3,p1] ep[p4,l1]-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l4] ep[p4,l3]+ep[p1,p3] ep[p2,l7] ep[p3,l7] ep[p4,l4]+ep[p1,l5] ep[p2,l6] ep[p3,l6] ep[p4,p2],
ep[p1,l1] ep[p2,l1] ep[p3,p1] ep[p4,l1]-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l3] ep[p4,l3]-ep[p1,p3] ep[p2,l7] ep[p3,l7] ep[p4,l7]+ep[p1,l6] ep[p2,l6] ep[p3,l6] ep[p4,p2],ep[p1,l1] ep[p2,l3] ep[p3,p1] ep[p4,l1]-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l1] ep[p4,l3]-ep[p1,p3] ep[p2,l7] ep[p3,l7] ep[p4,l6]+ep[p1,l7] ep[p2,l6] ep[p3,l6] ep[p4,p2],
-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l4] ep[p4,l1]-ep[p1,l3] ep[p2,l5] ep[p3,p1] ep[p4,l1]+ep[p1,p3] ep[p2,l7] ep[p3,l6] ep[p4,l4]+ep[p1,l5] ep[p2,l7] ep[p3,l6] ep[p4,p2],
-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l3] ep[p4,l1]+ep[p1,l3] ep[p2,l1] ep[p3,p1] ep[p4,l1]-ep[p1,p3] ep[p2,l7] ep[p3,l6] ep[p4,l7]+ep[p1,l6] ep[p2,l7] ep[p3,l6] ep[p4,p2],
-ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l1] ep[p4,l1]+ep[p1,l3] ep[p2,l3] ep[p3,p1] ep[p4,l1]-ep[p1,p3] ep[p2,l7] ep[p3,l6] ep[p4,l6]+ep[p1,l7] ep[p2,l7] ep[p3,l6] ep[p4,p2],
-((-ep[p1,p2]-ep[p1,p3]) ep[p2,l4] ep[p3,p1] ep[p4,l1])-ep[p1,p3] ep[p2,l7] ep[p3,p2] ep[p4,l5]+ep[p1,l3] (-ep[p2,p1]-ep[p2,p3]) ep[p3,l5] ep[p4,p1]+ep[p1,l4] ep[p2,p3] ep[p3,l6] ep[p4,p2]};


