Multi-symbol forbidden configurations
From MaRDI portal
Publication:2309548
Abstract: An -matrix is a matrix with symbols in . A matrix is simple if it has no repeated columns. Let the support of a matrix , be the largest simple matrix such that every column in is in . For a family of -matrices , we define as the maximum number of columns of an -rowed, -matrix such that is not a row-column permutation of for all . While many results exist for , there are fewer for larger numbers of symbols. We expand on the field of forbidding matrices with -symbols, introducing a new construction for lower bounds of the growth of (with respect to ) that is applicable to matrices that are either not simple or have a constant row. We also introduce a new upper bound restriction that helps with avoiding non-simple matrices, limited either by the asymptotic bounds of the support, or the size of the forbidden matrix, whichever is larger. Continuing the trend of upper bounds, we represent a well-known technique of standard induction as a graph, and use graph theory methods to obtain asymptotic upper bounds. With these techniques we solve multiple, previously unknown, asymptotic bounds for a variety of matrices. Finally, we end with block matrices, or matrices with only constant row, and give bounds for all possible cases.
Recommendations
Cites work
- A combinatorial problem; stability and order for models and theories in infinitary languages
- A survey of forbidden configuration results
- Forbidden configurations: Induction and linear algebra
- Forbidden families of configurations
- Large forbidden configurations and design theory
- On the Uniform Convergence of Relative Frequencies of Events to Their Probabilities
- On the density of families of sets
- Optimal multivalued shattering
- Small forbidden configurations
- Unavoidable traces of set systems
Cited in
(2)
This page was built for publication: Multi-symbol forbidden configurations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2309548)