A proof of Lin’s conjecture on inversion sequences avoiding patterns of relation triples

A sequence e=e1e2⋯en of natural numbers is called an inversion sequence if 0≤ei≤i−1 for all i∈{1,2,…,n}. Recently, Martinez and Savage initiated an investigation of inversion sequences that avoid patterns of relation triples. Let ρ1, ρ2 and ρ3 be among the binary relations {<,>,≤,≥,=,≠,−}. Martinez and Savage defined In(ρ1,ρ2,ρ3) as the set of inversion sequences of length n such that there are no indices 1≤i,≠,≥) and In(≥,≠,>). This confirms a recent conjecture of Zhicong Lin.

Files

Metadata

Work Title A proof of Lin’s conjecture on inversion sequences avoiding patterns of relation triples
Access
Open Access
Creators
  1. George E. Andrews
  2. Shane Chern
Keyword
  1. Inversion sequence
  2. Relation triple
  3. Ascent statistic
  4. Conjectures
  5. Pattern avoidance
  6. Generating function
  7. Kernel method
License CC BY-NC 4.0 (Attribution-NonCommercial)
Work Type Article
Publisher
  1. Journal of Combinatorial Theory, Series A
Publication Date December 18, 2020
Publisher Identifier (DOI)
  1. https://doi.org/10.1016/j.jcta.2020.105388
Deposited July 19, 2021

Versions

Analytics

Collections

This resource is currently not in any collection.

Work History

Version 1
published

  • Created
  • Added Creator George Andrews
  • Added Creator Shane Chern
  • Added A proof of Lin's Conjecture.pdf
  • Updated License Show Changes
    License
    • https://creativecommons.org/licenses/by-nc/4.0/
  • Published
  • Updated
  • Updated
  • Updated Keyword, Publisher, Publisher Identifier (DOI), and 1 more Show Changes
    Keyword
    • inversion sequence, relation triples, ascent statistic, conjectures
    • Inversion sequence, Relation triple, Ascent statistic, Conjectures, Pattern avoidance, Generating function, Kernel method
    Publisher
    • Journal of Combinatorial Theory, Series A
    Publisher Identifier (DOI)
    • doi.org/10.1016/j.jcta.2020.105388
    • https://doi.org/10.1016/j.jcta.2020.105388
    Publication Date
    • 2021-04
    • 2020-12-18
  • Renamed Creator George E. Andrews Show Changes
    • George Andrews
    • George E. Andrews