Discrepancy of high-dimensional permutations

Nati Linial, Zur Luria

Research output: Contribution to journalArticlepeer-review

9 Scopus citations


Let L be an order-n Latin square. For X, Y, Z ⊆ (1,.., n), let L(X, Y, Z) be the number of triples i ∈ X, j ∈ Y, k ∈ Z such that L(i, j) = k. We conjecture that asymptotically almost every Latin square satisfies |L(X, Y, Z) - 1/n |X||Y ||Z|| = O(√|X||Y ||Z|) for every X, Y and Z. Let ∈(L):= max |X||Y ||Z| when L(X, Y, Z) = 0. The above conjecture implies that ∈(L) = O(n2) holds asymptotically almost surely (this bound is obviously tight). We show that there exist Latin squares with ∈(L) = O(n2), and that ∈(L) = O(n2 log2 n) for almost every order-n Latin square. On the other hand, we recall that ∈(L) ≥ Ω (n33/14) if L is the multiplication table of an order-n group. We also show the existence of Latin squares in which every empty cube has side length O((n log n)1/2), which is tight up to the √log n factor. Some of these results extend to higher dimensions. Many open problems remain.

Original languageAmerican English
Pages (from-to)1-8
Number of pages8
JournalDiscrete Analysis
Issue number2016
StatePublished - 2016

Bibliographical note

Publisher Copyright:
© 2016 N. Linial and Z. Luria.


Dive into the research topics of 'Discrepancy of high-dimensional permutations'. Together they form a unique fingerprint.

Cite this