The dimension of the feasible region of pattern densities

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Garbe, Frederik, Kral, Daniel, Malekshahian, Alexandru, Penaguiao, Raul
Format: Preprint
Publié: 2023
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866915203154706432
author Garbe, Frederik
Kral, Daniel
Malekshahian, Alexandru
Penaguiao, Raul
author_facet Garbe, Frederik
Kral, Daniel
Malekshahian, Alexandru
Penaguiao, Raul
contents A classical result of Erdős, Lovász and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecomposable permutations of size at most k. However, this lower bound is not tight already for k=3. We prove that the dimension of the feasible region of densities of permutation patterns of size at most k is equal to the number of non-trivial Lyndon permutations of size at most k. The proof exploits an interplay between algebra and combinatorics inherent to the study of Lyndon words.
format Preprint
id arxiv_https___arxiv_org_abs_2309_10203
institution arXiv
publishDate 2023
record_format arxiv
spellingShingle The dimension of the feasible region of pattern densities
Garbe, Frederik
Kral, Daniel
Malekshahian, Alexandru
Penaguiao, Raul
Combinatorics
A classical result of Erdős, Lovász and Spencer from the late 1970s asserts that the dimension of the feasible region of densities of graphs with at most k vertices in large graphs is equal to the number of non-trivial connected graphs with at most k vertices. Indecomposable permutations play the role of connected graphs in the realm of permutations, and Glebov et al. showed that pattern densities of indecomposable permutations are independent, i.e., the dimension of the feasible region of densities of permutation patterns of size at most k is at least the number of non-trivial indecomposable permutations of size at most k. However, this lower bound is not tight already for k=3. We prove that the dimension of the feasible region of densities of permutation patterns of size at most k is equal to the number of non-trivial Lyndon permutations of size at most k. The proof exploits an interplay between algebra and combinatorics inherent to the study of Lyndon words.
title The dimension of the feasible region of pattern densities
topic Combinatorics
url https://arxiv.org/abs/2309.10203