In the AES proposal, the last sentence on page 30 it is said:
To be resistant against LC, it is a necessary condition that there are no linear trails with a correlation coefficient higher than 2^(n/2)
I know that the correlation coefficient can have values in the range [-1,1]. Moreover, In the same proposal, they mentioned that
we prove that there are no 4-round linear trails with a correlation above 2^–75
My question is: do they mean "To be resistant against LC, it is a necessary condition that there are no linear trails with a correlation coefficient higher than 2^(-n/2)"