Showing 1–24 of 24 results for author: Pantone, J

Restricted Permutations Enumerated by Inversions

Authors: Atli Fannar Franklín, Anders Claesson, Christian Bean, Henning Úlfarsson, Jay Pantone

Abstract: Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion and Schmidt, we investigate all combinations of permutation patterns of length at most 3. Permutations are usually enumerated by size, but new results can be found by enumerating them by inversions instead, in which case one must restrict one's attention to indecomposable permutations. In the style of the seminal paper by Simion and Schmidt, we investigate all combinations of permutation patterns of length at most 3. △ Less

Submitted 24 June, 2024; originally announced June 2024.

Comments: In Proceedings GASCom 2024, arXiv:2406.14588

Journal ref: EPTCS 403, 2024, pp. 96-100

Permutations avoiding bipartite partially ordered patterns have a regular insertion encoding

Authors: Christian Bean, Émile Nadeau, Jay Pantone, Henning Ulfarsson

Abstract: We prove that any class of permutations defined by avoiding a partially ordered pattern (POP) with height at most two has a regular insertion encoding and thus has a rational generating function. Then, we use Combinatorial Exploration to find combinatorial specifications and generating functions for hundreds of other permutation classes defined by avoiding a size 5 POP, allowing us to resolve seve… ▽ More We prove that any class of permutations defined by avoiding a partially ordered pattern (POP) with height at most two has a regular insertion encoding and thus has a rational generating function. Then, we use Combinatorial Exploration to find combinatorial specifications and generating functions for hundreds of other permutation classes defined by avoiding a size 5 POP, allowing us to resolve several conjectures of Gao and Kitaev and of Chen and Lin. △ Less

Submitted 12 December, 2023; originally announced December 2023.

The enumeration of inversion sequences avoiding the patterns 201 and 210

Authors: Jay Pantone

Abstract: We derive the algebraic generating function for inversion sequences avoiding the patterns $201$ and $210$ by describing a set of succession rules, converting them to a system of generating function equations with one catalytic variable, and then solving the system with kernel method techniques. We derive the algebraic generating function for inversion sequences avoiding the patterns $201$ and $210$ by describing a set of succession rules, converting them to a system of generating function equations with one catalytic variable, and then solving the system with kernel method techniques. △ Less

Submitted 25 April, 2024; v1 submitted 30 October, 2023; originally announced October 2023.

Combinatorial Exploration: An algorithmic framework for enumeration

Authors: Michael H. Albert, Christian Bean, Anders Claesson, Émile Nadeau, Jay Pantone, Henning Ulfarsson

Abstract: Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combin… ▽ More Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications. We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions. △ Less

Submitted 8 August, 2022; v1 submitted 15 February, 2022; originally announced February 2022.

Permutations avoiding sets of patterns with long monotone subsequences

Authors: Miklós Bóna, Jay Pantone

Abstract: We enumerate permutations that avoid all but one of the $k$ patterns of length $k$ starting with a monotone increasing subsequence of length $k-1$. We compare the size of such permutation classes to the size of the class of permutations avoiding the monotone increasing subsequence of length $k-1$. We enumerate permutations that avoid all but one of the $k$ patterns of length $k$ starting with a monotone increasing subsequence of length $k-1$. We compare the size of such permutation classes to the size of the class of permutations avoiding the monotone increasing subsequence of length $k-1$. △ Less

Submitted 22 August, 2022; v1 submitted 11 March, 2021; originally announced March 2021.

Colored Multipermutations and a Combinatorial Generalization of Worpitzky's Identity

Authors: John Engbers, Jay Pantone, Christopher Stocker

Abstract: Worpitzky's identity expresses $n^p$ in terms of the Eulerian numbers and binomial coefficients: $$n^p = \sum_{i=0}^{p-1} \genfrac<>{0pt}{}{p}{i} \binom{n+i}{p}.$$ Pita-Ruiz recently defined numbers $A_{a,b,r}(p,i)$ implicitly to satisfy a generalized Worpitzky identity $$\binom{an+b}{r}^p = \sum_{i=0}^{rp} A_{a,b,r}(p,i) \binom{n+rp-i}{rp},$$ and asked whether there is a combinatorial interpret… ▽ More Worpitzky's identity expresses $n^p$ in terms of the Eulerian numbers and binomial coefficients: $$n^p = \sum_{i=0}^{p-1} \genfrac<>{0pt}{}{p}{i} \binom{n+i}{p}.$$ Pita-Ruiz recently defined numbers $A_{a,b,r}(p,i)$ implicitly to satisfy a generalized Worpitzky identity $$\binom{an+b}{r}^p = \sum_{i=0}^{rp} A_{a,b,r}(p,i) \binom{n+rp-i}{rp},$$ and asked whether there is a combinatorial interpretation of the numbers $A_{a,b,r}(p,i)$. We provide such a combinatorial interpretation by defining a notion of descents in colored multipermutations, and then proving that $A_{a,b,r}(p,i)$ is equal to the number of colored multipermutations of $\{1^r, 2^r, \ldots, p^r\}$ with $a$ colors and $i$ weak descents. We use this to give combinatorial proofs of several identities involving $A_{a,b,r}(p,i)$, including the aforementioned generalized Worpitzky identity. △ Less

Submitted 7 October, 2019; originally announced October 2019.

Counting pop-stacked permutations in polynomial time

Authors: Anders Claesson, Bjarki Ágúst Guðmundsson, Jay Pantone

Abstract: Permutations in the image of the pop-stack operator are said to be pop-stacked. We give a polynomial-time algorithm to count pop-stacked permutations up to a fixed length and we use it to compute the first 1000 terms of the corresponding counting sequence. Only the first 16 terms had previously been computed. With the 1000 terms we prove some negative results concerning the nature of the generatin… ▽ More Permutations in the image of the pop-stack operator are said to be pop-stacked. We give a polynomial-time algorithm to count pop-stacked permutations up to a fixed length and we use it to compute the first 1000 terms of the corresponding counting sequence. Only the first 16 terms had previously been computed. With the 1000 terms we prove some negative results concerning the nature of the generating function for pop-stacked permutations. We also predict the asymptotic behavior of the counting sequence using differential approximation. △ Less

Submitted 23 August, 2019; originally announced August 2019.

Completing the Structural Analysis of the 2x4 Permutation Classes

Authors: Samuel Miner, Jay Pantone

Abstract: We study the structure and enumeration of the final two 2x4 permutation classes, completing a research program that has spanned almost two decades. For both classes, careful structural analysis produces a complicated functional equation. One of these equations is solved with the guess-and-check paradigm, while the other is solved with kernel method-like techniques and Gröbner basis calculations. We study the structure and enumeration of the final two 2x4 permutation classes, completing a research program that has spanned almost two decades. For both classes, careful structural analysis produces a complicated functional equation. One of these equations is solved with the guess-and-check paradigm, while the other is solved with kernel method-like techniques and Gröbner basis calculations. △ Less

Submitted 1 February, 2018; originally announced February 2018.

A structural characterisation of Av(1324) and new bounds on its growth rate

Authors: David Bevan, Robert Brignall, Andrew Elvey Price, Jay Pantone

Abstract: We establish an improved lower bound of 10.271 for the exponential growth rate of the class of permutations avoiding the pattern 1324, and an improved upper bound of 13.5. These results depend on a new exact structural characterisation of 1324-avoiders as a subclass of an infinite staircase grid class, together with precise asymptotics of a small domino subclass whose enumeration we relate to West… ▽ More We establish an improved lower bound of 10.271 for the exponential growth rate of the class of permutations avoiding the pattern 1324, and an improved upper bound of 13.5. These results depend on a new exact structural characterisation of 1324-avoiders as a subclass of an infinite staircase grid class, together with precise asymptotics of a small domino subclass whose enumeration we relate to West-two-stack-sortable permutations and planar maps. The bounds are established by carefully combining copies of the dominoes in particular ways consistent with the structural characterisation. The lower bound depends on concentration results concerning the substructure of a typical domino, the determination of exactly when dominoes can be combined in the fewest distinct ways, and technical analysis of the resulting generating function. △ Less

Submitted 10 May, 2019; v1 submitted 28 November, 2017; originally announced November 2017.

Comments: 35 pages; 15 figures

MSC Class: 05A05

Universal layered permutations

Authors: Michael Albert, Michael Engen, Jay Pantone, Vincent Vatter

Abstract: We establish an exact formula for the length of the shortest permutation containing all layered permutations of length $n$, proving a conjecture of Gray. We establish an exact formula for the length of the shortest permutation containing all layered permutations of length $n$, proving a conjecture of Gray. △ Less

Submitted 11 October, 2017; originally announced October 2017.

Shift equivalence in the generalized factor order

Authors: Jennifer Fidler, Daniel Glasscock, Brian Miceli, Jay Pantone, Min Xu

Abstract: We provide a geometric condition that guarantees strong Wilf equivalence in the generalized factor order. This provides a powerful tool for proving specific and general Wilf equivalence results, and several such examples are given. We provide a geometric condition that guarantees strong Wilf equivalence in the generalized factor order. This provides a powerful tool for proving specific and general Wilf equivalence results, and several such examples are given. △ Less

Submitted 28 December, 2016; originally announced December 2016.

On the growth of merges and staircases of permutation classes

Authors: Michael Albert, Jay Pantone, Vincent Vatter

Abstract: There is a well-known upper bound on the growth rate of the merge of two permutation classes. Curiously, there is no known merge for which this bound is not achieved. Using staircases of permutation classes, we provide sufficient conditions for this upper bound to be achieved. In particular, our results apply to all merges of principal permutation classes. We end by demonstrating how our technique… ▽ More There is a well-known upper bound on the growth rate of the merge of two permutation classes. Curiously, there is no known merge for which this bound is not achieved. Using staircases of permutation classes, we provide sufficient conditions for this upper bound to be achieved. In particular, our results apply to all merges of principal permutation classes. We end by demonstrating how our techniques can be used to reprove a result of Bóna. △ Less

Submitted 24 August, 2016; originally announced August 2016.

Is the full susceptibility of the square-lattice Ising model a differentially algebraic function?

Authors: A. J. Guttmann, I. Jensen, J-M. Maillard, J. Pantone

Abstract: We study the class of non-holonomic power series with integer coefficients that reduce, modulo primes, or powers of primes, to algebraic functions. In particular we try to determine whether the susceptibility of the square-lattice Ising model belongs to this class, and more broadly whether the susceptibility is a solution of a differentially algebraic equation. Initial results on Tutte's non-linea… ▽ More We study the class of non-holonomic power series with integer coefficients that reduce, modulo primes, or powers of primes, to algebraic functions. In particular we try to determine whether the susceptibility of the square-lattice Ising model belongs to this class, and more broadly whether the susceptibility is a solution of a differentially algebraic equation. Initial results on Tutte's non-linear ordinary differential equation (ODE) and other simple quadratic non-linear ODEs suggest that a large set of differentially algebraic power series solutions with integer coefficients might reduce to algebraic functions modulo primes, or powers of primes. Here we give several examples of series with integer coefficients and non-zero radius of convergence that reduce to algebraic functions modulo (almost) every prime (or power of a prime). These examples satisfy differentially algebraic equations with the encoding polynomial occasionally possessing quite high degree (and thus difficult to identify even with long series). Additionally, we have extended both the high- and low-temperature Ising square-lattice susceptibility series to 5043 coefficients. We find that even this long series is insufficient to determine whether it reduces to algebraic functions modulo $3$, $5$, etc. This negative result is in contrast to the comparatively easy confirmation that the corresponding series reduce to algebraic functions modulo powers of $2$. △ Less

Submitted 20 October, 2016; v1 submitted 14 July, 2016; originally announced July 2016.

Comments: 36 pages

MSC Class: 03D05; 11Yxx; 33Cxx; 34Lxx; 34Mxx; 34M55; 39-04; 68Q70

Journal ref: J. Phys A 49 504002 (2016)

The Asymptotic Number of Simple Singular Vector Tuples of a Cubical Tensor

Authors: Jay Pantone

Abstract: S. Ekhad and D. Zeilberger recently proved that the multivariate generating function for the number of simple singular vector tuples of a generic $m_1 \times \cdots \times m_d$ tensor has an elegant rational form involving elementary symmetric functions, and provided a partial conjecture for the asymptotic behavior of the cubical case $m_1 = \cdots = m_d$. We prove this conjecture and further iden… ▽ More S. Ekhad and D. Zeilberger recently proved that the multivariate generating function for the number of simple singular vector tuples of a generic $m_1 \times \cdots \times m_d$ tensor has an elegant rational form involving elementary symmetric functions, and provided a partial conjecture for the asymptotic behavior of the cubical case $m_1 = \cdots = m_d$. We prove this conjecture and further identify completely the dominant asymptotic term, including the multiplicative constant. Finally, we use the method of differential approximants to conjecture that the subdominant connective constant effect observed by Ekhad and Zeilberger for a particular case in fact occurs more generally. △ Less

Submitted 13 October, 2017; v1 submitted 19 May, 2016; originally announced May 2016.

Growth rates of permutation classes: categorization up to the uncountability threshold

Authors: Jay Pantone, Vincent Vatter

Abstract: In the antecedent paper to this it was established that there is an algebraic number $ξ\approx 2.30522$ such that while there are uncountably many growth rates of permutation classes arbitrarily close to $ξ$, there are only countably many less than $ξ$. Here we provide a complete characterization of the growth rates less than $ξ$. In particular, this classification establishes that $ξ$ is the leas… ▽ More In the antecedent paper to this it was established that there is an algebraic number $ξ\approx 2.30522$ such that while there are uncountably many growth rates of permutation classes arbitrarily close to $ξ$, there are only countably many less than $ξ$. Here we provide a complete characterization of the growth rates less than $ξ$. In particular, this classification establishes that $ξ$ is the least accumulation point from above of growth rates and that all growth rates less than or equal to $ξ$ are achieved by finitely based classes. A significant part of this classification is achieved via a reconstruction result for sum indecomposable permutations. We conclude by refuting a suggestion of Klazar, showing that $ξ$ is an accumulation point from above of growth rates of finitely based permutation classes. △ Less

Submitted 11 April, 2019; v1 submitted 13 May, 2016; originally announced May 2016.

Comments: To appear in Israel J. Math

Pattern avoidance in forests of binary shrubs

Authors: David Bevan, Derek Levin, Peter Nugent, Jay Pantone, Lara Pudwell, Manda Riehl, ML Tlachac

Abstract: We investigate pattern avoidance in permutations satisfying some additional restrictions. These are naturally considered in terms of avoiding patterns in linear extensions of certain forest-like partially ordered sets, which we call binary shrub forests. In this context, we enumerate forests avoiding patterns of length three. In four of the five non-equivalent cases, we present explicit enumeratio… ▽ More We investigate pattern avoidance in permutations satisfying some additional restrictions. These are naturally considered in terms of avoiding patterns in linear extensions of certain forest-like partially ordered sets, which we call binary shrub forests. In this context, we enumerate forests avoiding patterns of length three. In four of the five non-equivalent cases, we present explicit enumerations by exhibiting bijections with certain lattice paths bounded above by the line $y=\ell x$, for some $\ell\in\mathbb{Q}^+$, one of these being the celebrated Duchon's club paths with $\ell=2/3$. In the remaining case, we use the machinery of analytic combinatorics to determine the minimal polynomial of its generating function, and deduce its growth rate. △ Less

Submitted 17 July, 2016; v1 submitted 27 October, 2015; originally announced October 2015.

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (July 21, 2016) dmtcs:1322

Generating Permutations with Restricted Containers

Authors: Michael H. Albert, Cheyne Homberger, Jay Pantone, Nathaniel Shar, Vincent Vatter

Abstract: We investigate a generalization of stacks that we call $\mathcal{C}$-machines. We show how this viewpoint rapidly leads to functional equations for the classes of permutations that $\mathcal{C}$-machines generate, and how these systems of functional equations can frequently be solved by either the kernel method or, much more easily, by guessing and checking. General results about the rationality,… ▽ More We investigate a generalization of stacks that we call $\mathcal{C}$-machines. We show how this viewpoint rapidly leads to functional equations for the classes of permutations that $\mathcal{C}$-machines generate, and how these systems of functional equations can frequently be solved by either the kernel method or, much more easily, by guessing and checking. General results about the rationality, algebraicity, and the existence of Wilfian formulas for some classes generated by $\mathcal{C}$-machines are given. We also draw attention to some relatively small permutation classes which, although we can generate thousands of terms of their enumerations, seem to not have D-finite generating functions. △ Less

Submitted 29 January, 2018; v1 submitted 1 October, 2015; originally announced October 2015.

Equipopularity Classes in the Separable Permutations

Authors: Michael Albert, Cheyne Homberger, Jay Pantone

Abstract: When two patterns occur equally often in a set of permutations, we say that these patterns are equipopular. Using both structural and analytic tools, we classify the equipopular patterns in the set of separable permutations. In particular, we show that the number of equipopularity classes for length $n$ patterns in the separable permutations is equal to the number of partitions of $n-1$. When two patterns occur equally often in a set of permutations, we say that these patterns are equipopular. Using both structural and analytic tools, we classify the equipopular patterns in the set of separable permutations. In particular, we show that the number of equipopularity classes for length $n$ patterns in the separable permutations is equal to the number of partitions of $n-1$. △ Less

Submitted 27 October, 2014; originally announced October 2014.

Deflatability of Permutation Classes

Authors: M. H. Albert, M. D. Atkinson, Cheyne Homberger, Jay Pantone

Abstract: A deflatable permutation class is one in which the simple permutations are contained in a proper subclass. Deflatable permutation classes are often easier to describe and enumerate than non-deflatable ones. Some theorems which guarantee non-deflatability are proved and examples of both deflatable and non-deflatable principal classes are given. A deflatable permutation class is one in which the simple permutations are contained in a proper subclass. Deflatable permutation classes are often easier to describe and enumerate than non-deflatable ones. Some theorems which guarantee non-deflatability are proved and examples of both deflatable and non-deflatable principal classes are given. △ Less

Submitted 18 September, 2014; originally announced September 2014.

On the Rearrangement Conjecture for Generalized Factor Order Over $\mathbb{P}$

Authors: Jay Pantone, Vincent Vatter

Abstract: The Rearrangement Conjecture states that if two words over $\mathbb{P}$ are Wilf-equivalent in the factor order on $\mathbb{P}^\ast$ then they are rearrangements of each other. We introduce the notion of strong Wilf-equivalence and prove that if two words over $\mathbb{P}$ are strongly Wilf-equivalent then they are rearrangements of each other. We further conjecture that Wilf-equivalence implies s… ▽ More The Rearrangement Conjecture states that if two words over $\mathbb{P}$ are Wilf-equivalent in the factor order on $\mathbb{P}^\ast$ then they are rearrangements of each other. We introduce the notion of strong Wilf-equivalence and prove that if two words over $\mathbb{P}$ are strongly Wilf-equivalent then they are rearrangements of each other. We further conjecture that Wilf-equivalence implies strong Wilf-equivalence. △ Less

Submitted 11 September, 2014; v1 submitted 19 March, 2014; originally announced March 2014.

On Isomorphism Classes of Generalized Fibonacci Cubes

Authors: Jernej Azarija, Sandi Klavžar, Jaehun Lee, Jay Pantone, Yoomi Rho

Abstract: The generalized Fibonacci cube $Q_d(f)$ is the subgraph of the $d$-cube $Q_d$ induced on the set of all strings of length $d$ that do not contain $f$ as a substring. It is proved that if $Q_d(f) \cong Q_d(f')$ then $|f|=|f'|$. The key tool to prove this result is a result of Guibas and Odlyzko about the autocorrelation polynomial associated to a binary string. It is also proved that there exist pa… ▽ More The generalized Fibonacci cube $Q_d(f)$ is the subgraph of the $d$-cube $Q_d$ induced on the set of all strings of length $d$ that do not contain $f$ as a substring. It is proved that if $Q_d(f) \cong Q_d(f')$ then $|f|=|f'|$. The key tool to prove this result is a result of Guibas and Odlyzko about the autocorrelation polynomial associated to a binary string. It is also proved that there exist pairs of strings $f, f'$ such that $Q_d(f) \cong Q_d(f')$, where $|f| \ge \frac{2}{3}(d+1)$ and $f'$ cannot be obtained from $f$ by its reversal or binary complementation. Strings $f$ and $f'$ with $|f|=|f'|=d-1$ for which $Q_d(f) \cong Q_d(f')$ are characterized. △ Less

Submitted 25 February, 2014; originally announced February 2014.

Two Examples of Unbalanced Wilf-Equivalence

Authors: Alexander Burstein, Jay Pantone

Abstract: We prove that the set of patterns {1324,3416725} is Wilf-equivalent to the pattern 1234 and that the set of patterns {2143,3142,246135} is Wilf-equivalent to the set of patterns {2413,3142}. These are the first known unbalanced Wilf-equivalences for classical patterns between finite sets of patterns. We prove that the set of patterns {1324,3416725} is Wilf-equivalent to the pattern 1234 and that the set of patterns {2143,3142,246135} is Wilf-equivalent to the set of patterns {2413,3142}. These are the first known unbalanced Wilf-equivalences for classical patterns between finite sets of patterns. △ Less

Submitted 30 September, 2014; v1 submitted 16 February, 2014; originally announced February 2014.

Comments: 10 pages, minor revision, to appear in Journal of Combinatorics

MSC Class: 05A05; 05A15

Pattern-Avoiding Involutions: Exact and Asymptotic Enumeration

Authors: Miklós Bóna, Cheyne Homberger, Jay Pantone, Vincent Vatter

Abstract: We consider the enumeration of pattern-avoiding involutions, focusing in particular on sets defined by avoiding a single pattern of length 4. As we demonstrate, the numerical data for these problems demonstrates some surprising behavior. This strange behavior even provides some very unexpected data related to the number of 1324-avoiding permutations. We consider the enumeration of pattern-avoiding involutions, focusing in particular on sets defined by avoiding a single pattern of length 4. As we demonstrate, the numerical data for these problems demonstrates some surprising behavior. This strange behavior even provides some very unexpected data related to the number of 1324-avoiding permutations. △ Less

Submitted 11 September, 2014; v1 submitted 25 October, 2013; originally announced October 2013.

The Enumeration of Permutations Avoiding 3124 and 4312

Authors: Jay Pantone

Abstract: We find the generating function for the class of all permutations that avoid the patterns 3124 and 4312 by showing that it is an inflation of the union of two geometric grid classes. We find the generating function for the class of all permutations that avoid the patterns 3124 and 4312 by showing that it is an inflation of the union of two geometric grid classes. △ Less

Submitted 11 February, 2015; v1 submitted 3 September, 2013; originally announced September 2013.