Better upper bounds on the Füredi-Hajnal limits of permutations

From MaRDI portal
Publication:4575898

DOI10.1137/1.9781611974782.150zbMATH Open1410.05014arXiv1607.07491OpenAlexW2558067245MaRDI QIDQ4575898FDOQ4575898


Authors: Josef Cibulka, Jan Kynčl Edit this on Wikidata


Publication date: 16 July 2018

Published in: Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms (Search for Journal in Brave)

Abstract: A binary matrix is a matrix with entries from the set 0,1. We say that a binary matrix A contains a binary matrix S if S can be obtained from A by removal of some rows, some columns, and changing some 1-entries to 0-entries. If A does not contain S, we say that A avoids S. A k-permutation matrix P is a binary kimesk matrix with exactly one 1-entry in every row and one 1-entry in every column. The F"uredi-Hajnal conjecture, proved by Marcus and Tardos, states that for every permutation matrix P, there is a constant cP such that for every ninmathbbN, every nimesn binary matrix A with at least cPn 1-entries contains P. We show that cPle2O(k2/3log7/3k/(loglogk)1/3) asymptotically almost surely for a random k-permutation matrix P. We also show that cPle2(4+o(1))k for every k-permutation matrix P, improving the constant in the exponent of a recent upper bound on cP by Fox. Moreover, we improve the upper bound on cP in terms of the Stanley-Wilf limit sP to . We also consider a higher-dimensional generalization of the Stanley-Wilf conjecture about the number of d-dimensional n-permutation matrices avoiding a fixed d-dimensional k-permutation matrix, and prove almost matching upper and lower bounds of the form (2k)O(n)cdot(n!)d11/(d1) and nO(k)kOmega(n)cdot(n!)d11/(d1), respectively.


Full work available at URL: https://arxiv.org/abs/1607.07491




Recommendations




Cited In (9)





This page was built for publication: Better upper bounds on the Füredi-Hajnal limits of permutations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4575898)