explore the consequences of applying new formulations of the Lovász Local Lemma in an
effort to apply the probabilistic method to show that Costas arrays of a given order n must
exist. Our applications of the Lovász Local Lemma make use of a characterization of all O (n
6) configurations of ones within a permutation matrix whose existence violates the definition
of a Costas array. We show that this approach can at least be used to establish the existence …