Showing 1–24 of 24 results for author: Ulfarsson, H

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.

Turning cycle restrictions into mesh patterns via Foata's fundamental transformation

Authors: Anders Claesson, Henning Ulfarsson

Abstract: An adjacent $q$-cycle is a natural generalization of an adjacent transposition. We show that the number of adjacent $q$-cycles in a permutation maps to the sum of occurrences of two mesh patterns under Foata's fundamental transformation. As a corollary we resolve Conjecture 3.14 in the paper "From Hertzprung's problem to pattern-rewriting systems" by the first author. An adjacent $q$-cycle is a natural generalization of an adjacent transposition. We show that the number of adjacent $q$-cycles in a permutation maps to the sum of occurrences of two mesh patterns under Foata's fundamental transformation. As a corollary we resolve Conjecture 3.14 in the paper "From Hertzprung's problem to pattern-rewriting systems" by the first author. △ Less

Submitted 23 October, 2023; v1 submitted 31 March, 2023; originally announced March 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.

Enumeration of Permutation Classes and Weighted Labelled Independent Sets

Authors: Christian Bean, Émile Nadeau, Henning Ulfarsson

Abstract: In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cells filled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding becomes a bijection to its image. We describe the image of those restrictions using independent sets of graphs weighted with permutations. We derive the generating fu… ▽ More In this paper, we study the staircase encoding of permutations, which maps a permutation to a staircase grid with cells filled with permutations. We consider many cases, where restricted to a permutation class, the staircase encoding becomes a bijection to its image. We describe the image of those restrictions using independent sets of graphs weighted with permutations. We derive the generating function for the independent sets and then for their weighted counterparts. The bijections we establish provide the enumeration of permutation classes. We use our results to uncover some unbalanced Wilf-equivalences of permutation classes and outline how to do random sampling in the permutation classes. In particular, we cover the classes $\mathrm{Av}(2314,3124)$, $\mathrm{Av}(2413,3142)$, $\mathrm{Av}(2413,3124)$, $\mathrm{Av}(2413,2134)$ and $\mathrm{Av}(2314,2143)$, as well as many subclasses. △ Less

Submitted 24 March, 2021; v1 submitted 16 December, 2019; originally announced December 2019.

Comments: Final formatting for publication in DMTCS

Journal ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 2, Permutation Patterns 2019, Special issues (March 29, 2021) dmtcs:5995

Algorithmic coincidence classification of mesh patterns

Authors: Christian Bean, Bjarki Gudmundsson, Tomas Ken Magnusson, Henning Ulfarsson

Abstract: We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size three. We also show that this concept can be used to enumerate classical permutation classes. We review and extend previous results on coincidence of mesh patterns. We introduce the notion of a force on a permutation pattern and apply it to the coincidence classification of mesh patterns, completing the classification up to size three. We also show that this concept can be used to enumerate classical permutation classes. △ Less

Submitted 21 October, 2019; v1 submitted 17 October, 2019; originally announced October 2019.

Comments: 26 pages

MSC Class: 05A05; 05A15; 68R15

The Poset of Mesh Patterns

Authors: Jason P. Smith, Henning Ulfarsson

Abstract: We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and… ▽ More We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns. △ Less

Submitted 23 February, 2018; originally announced February 2018.

Comments: 17 pages

Automatic discovery of structural rules of permutation classes

Authors: Christian Bean, Bjarki Gudmundsson, Henning Ulfarsson

Abstract: We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usually easily verified by a human and translated into an enumeration. The algorithm is successful on different inputs than other algorithms and can succeed with any polynomial permutation class. We apply it to every non-polyn… ▽ More We introduce an algorithm that conjectures the structure of a permutation class in the form of a disjoint cover of "rules"; similar to generalized grid classes. The cover is usually easily verified by a human and translated into an enumeration. The algorithm is successful on different inputs than other algorithms and can succeed with any polynomial permutation class. We apply it to every non-polynomial permutation class avoiding a set of length four patterns. The structures found by the algorithm can sometimes allow an enumeration of the permutation class with respect to permutation statistics, as well as choosing a permutation uniformly at random from the permutation class. We sketch a new algorithm formalizing the human verification of the conjectured covers. △ Less

Submitted 11 May, 2017; originally announced May 2017.

Comments: 23, 5 figures

MSC Class: 05A05; 05A15; 68R15 ACM Class: G.2.1

Equivalence classes of mesh patterns with a dominating pattern

Authors: Murray Tannock, Henning Ulfarsson

Abstract: Two mesh patterns are coincident if they are avoided by the same set of permutations, and are Wilf-equivalent if they have the same number of avoiders of each length. We provide sufficient conditions for coincidence of mesh patterns, when only permutations also avoiding a longer classical pattern are considered. Using these conditions we completely classify coincidences between families containing… ▽ More Two mesh patterns are coincident if they are avoided by the same set of permutations, and are Wilf-equivalent if they have the same number of avoiders of each length. We provide sufficient conditions for coincidence of mesh patterns, when only permutations also avoiding a longer classical pattern are considered. Using these conditions we completely classify coincidences between families containing a mesh pattern of length 2 and a classical pattern of length 3. Furthermore, we completely Wilf-classify mesh patterns of length 2 inside the class of 231-avoiding permutations. △ Less

Submitted 5 February, 2018; v1 submitted 24 April, 2017; originally announced April 2017.

MSC Class: 05A05; 05A15

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 19 no. 2, Permutation Patterns 2016, Permutation Patterns (February 9, 2018) dmtcs:3283

Occurrence graphs of patterns in permutations

Authors: Bjarni Jens Kristinsson, Henning Ulfarsson

Abstract: We define the \emph{occurrence graph} $G_p(π$) of a pattern $p$ in a permutation $π$ as the graph with the occurrences of $p$ in $π$ as vertices and edges between the vertices if the occurrences differ by exactly one element. We then study properties of these graphs. The main theorem in this paper is that every \emph{hereditary property} of graphs gives rise to a \emph{permutation class}. We define the \emph{occurrence graph} $G_p(π$) of a pattern $p$ in a permutation $π$ as the graph with the occurrences of $p$ in $π$ as vertices and edges between the vertices if the occurrences differ by exactly one element. We then study properties of these graphs. The main theorem in this paper is that every \emph{hereditary property} of graphs gives rise to a \emph{permutation class}. △ Less

Submitted 11 July, 2016; originally announced July 2016.

Comments: 19 pages, 15 figures

MSC Class: 05A05; 05A15; 05C30

Journal ref: Involve 12 (2019) 901-918

Pattern avoiding permutations and independent sets in graphs

Authors: Christian Bean, Murray Tannock, Henning Ulfarsson

Abstract: We introduce a new method for encoding permutations as weighted independent sets in a family of graphs we call cores. The encoding allows us to enumerate (1324, 2143)-, (1234, 1324, 2143)-, (1234, 1324, 1432, 3214)-avoiding permutations with respect to their number of "boundary points" and the size of the independent set in the graph they correspond to. We introduce a new method for encoding permutations as weighted independent sets in a family of graphs we call cores. The encoding allows us to enumerate (1324, 2143)-, (1234, 1324, 2143)-, (1234, 1324, 1432, 3214)-avoiding permutations with respect to their number of "boundary points" and the size of the independent set in the graph they correspond to. △ Less

Submitted 12 December, 2019; v1 submitted 26 December, 2015; originally announced December 2015.

Comments: 21 pages, 14 figures, 3 tables

Enumerations of Permutations Simultaneously Avoiding a Vincular and a Covincular Pattern of Length 3

Authors: Christian Bean, Anders Claesson, Henning Ulfarsson

Abstract: Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Cat… ▽ More Vincular and covincular patterns are generalizations of classical patterns allowing restrictions on the indices and values of the occurrences in a permutation. In this paper we study the integer sequences arising as the enumerations of permutations simultaneously avoiding a vincular and a covincular pattern, both of length 3, with at most one restriction. We see familiar sequences, such as the Catalan and Motzkin numbers, but also some previously unknown sequences which have close links to other combinatorial objects such as lattice paths and integer partitions. Where possible we include a generating function for the enumeration. One of the cases considered settles a conjecture by Pudwell (2010) on the Wilf-equivalence of barred patterns. We also give an alternative proof of the classic result that permutations avoiding 123 are counted by the Catalan numbers. △ Less

Submitted 9 June, 2017; v1 submitted 10 December, 2015; originally announced December 2015.

Comments: 24 pages, 11 figures, 2 tables

MSC Class: 05A05; 05A15

Coincidence among families of mesh patterns

Authors: Anders Claesson, Bridget Eileen Tenner, Henning Ulfarsson

Abstract: Two mesh patterns are coincident if they are avoided by the same set of permutations. In this paper, we provide necessary conditions for this coincidence, which include having the same set of enclosed diagonals. This condition is sufficient to prove coincidence of vincular patterns, although it is not enough to guarantee coincidence of bivincular patterns. In addition, we provide a generalization… ▽ More Two mesh patterns are coincident if they are avoided by the same set of permutations. In this paper, we provide necessary conditions for this coincidence, which include having the same set of enclosed diagonals. This condition is sufficient to prove coincidence of vincular patterns, although it is not enough to guarantee coincidence of bivincular patterns. In addition, we provide a generalization of the Shading Lemma (Hilmarsson et al.), a result that examined when a square could be added to the mesh of a pattern. △ Less

Submitted 25 May, 2016; v1 submitted 1 December, 2014; originally announced December 2014.

Comments: 17 pages, 17 figures

MSC Class: 05A05

Wilf-classification of mesh patterns of short length

Authors: Ísak Hilmarsson, Ingibjörg Jónsdóttir, Steinunn Sigurðardóttir, Lína Viðarsdóttir, Henning Ulfarsson

Abstract: This paper starts the Wilf-classification of mesh patterns of length 2. Although there are initially 1024 patterns to consider we introduce automatic methods to reduce the number of potentially different Wilf-classes to at most 65. By enumerating some of the remaining classes we bring that upper-bound further down to 56. Finally, we conjecture that the actual number of Wilf-classes of mesh pattern… ▽ More This paper starts the Wilf-classification of mesh patterns of length 2. Although there are initially 1024 patterns to consider we introduce automatic methods to reduce the number of potentially different Wilf-classes to at most 65. By enumerating some of the remaining classes we bring that upper-bound further down to 56. Finally, we conjecture that the actual number of Wilf-classes of mesh patterns of length 2 is 46. △ Less

Submitted 15 October, 2015; v1 submitted 10 September, 2014; originally announced September 2014.

Comments: 27 pages, 3 figures

MSC Class: 05A05; 05A15

Collatz meets Fibonacci

Authors: Michael Albert, Bjarki Gudmundsson, Henning Ulfarsson

Abstract: The Collatz map is defined for a positive even integer as half that integer, and for a positive odd integer as that integer threefold, plus one. The Collatz conjecture states that when the map is iterated the number one is eventually reached. We study permutations that arise as sequences from this iteration. We show that permutations of this type of length up to 14 are enumerated by the Fibonacci… ▽ More The Collatz map is defined for a positive even integer as half that integer, and for a positive odd integer as that integer threefold, plus one. The Collatz conjecture states that when the map is iterated the number one is eventually reached. We study permutations that arise as sequences from this iteration. We show that permutations of this type of length up to 14 are enumerated by the Fibonacci numbers. Beyond that excess permutations appear. We will explain the appearance of these excess permutations and give an upper bound on the exact enumeration. △ Less

Submitted 15 January, 2015; v1 submitted 11 April, 2014; originally announced April 2014.

Comments: 7 pages, 2 figures, 2 tables

MSC Class: 05A05 ACM Class: G.2.1

Algorithms for discovering and proving theorems about permutation patterns

Authors: Hjalti Magnusson, Henning Ulfarsson

Abstract: We present an algorithm, called BiSC, that describes the patterns avoided by a given set of permutations. It automatically conjectures the statements of known theorems such as the descriptions of stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990), smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-Melou and Butler 2007), and simsun permutations… ▽ More We present an algorithm, called BiSC, that describes the patterns avoided by a given set of permutations. It automatically conjectures the statements of known theorems such as the descriptions of stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990), smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-Melou and Butler 2007), and simsun permutations (Branden and Claesson 2011). The algorithm has also been used to discover new theorems and conjectures related to Young tableaux, Wilf-equivalences and sorting devices. We further give algorithms to prove a complete description of preimages of pattern classes under certain sorting devices. These generalize an algorithm of Claesson and Ulfarsson (2012) and allow us to prove a linear time algorithm for finding occurrences of the pattern 4312. △ Less

Submitted 29 November, 2012; originally announced November 2012.

Comments: 13 pages, 3 figures

MSC Class: 05A05

Sorting and preimages of pattern classes

Authors: Anders Claesson, Henning Úlfarsson

Abstract: We introduce an algorithm to determine when a sorting operation, such as stack-sort or bubble-sort, outputs a given pattern. The algorithm provides a new proof of the description of West-2-stack-sortable permutations, that is permutations that are completely sorted when passed twice through a stack, in terms of patterns. We also solve the long-standing problem of describing West-3-stack-sortable p… ▽ More We introduce an algorithm to determine when a sorting operation, such as stack-sort or bubble-sort, outputs a given pattern. The algorithm provides a new proof of the description of West-2-stack-sortable permutations, that is permutations that are completely sorted when passed twice through a stack, in terms of patterns. We also solve the long-standing problem of describing West-3-stack-sortable permutations. This requires a new type of generalized permutation pattern we call a decorated pattern. △ Less

Submitted 12 March, 2012; originally announced March 2012.

Comments: 13 pages, 5 figures, to appear at FPSAC 2012

MSC Class: 05A05

Restricted non-separable planar maps and some pattern avoiding permutations

Authors: Sergey Kitaev, Pavel Salimov, Christopher Severs, Henning Ulfarsson

Abstract: Tutte founded the theory of enumeration of planar maps in a series of papers in the 1960s. Rooted non-separable planar maps are in bijection with West-2-stack-sortable permutations, beta(1,0)-trees introduced by Cori, Jacquard and Schaeffer in 1997, as well as a family of permutations defined by the avoidance of two four letter patterns. In this paper we give upper and lower bounds on the number o… ▽ More Tutte founded the theory of enumeration of planar maps in a series of papers in the 1960s. Rooted non-separable planar maps are in bijection with West-2-stack-sortable permutations, beta(1,0)-trees introduced by Cori, Jacquard and Schaeffer in 1997, as well as a family of permutations defined by the avoidance of two four letter patterns. In this paper we give upper and lower bounds on the number of multiple-edge-free rooted non-separable planar maps. We also use the bijection between rooted non-separable planar maps and a certain class of permutations, found by Claesson, Kitaev and Steingrimsson in 2009, to show that the number of 2-faces (excluding the root-face) in a map equals the number of occurrences of a certain mesh pattern in the permutations. We further show that this number is also the number of nodes in the corresponding beta(1,0)-tree that are single children with maximum label. Finally, we give asymptotics for some of our enumerative results. △ Less

Submitted 18 December, 2012; v1 submitted 8 February, 2012; originally announced February 2012.

Comments: 18 pages, 14 figures

MSC Class: 05A05; 05C30

Which Schubert varieties are local complete intersections?

Authors: Henning Úlfarsson, Alexander Woo

Abstract: We characterize by pattern avoidance the Schubert varieties for GL_n which are local complete intersections (lci). For those Schubert varieties which are local complete intersections, we give an explicit minimal set of equations cutting out their neighborhoods at the identity. Although the statement of our characterization only requires ordinary pattern avoidance, showing that the Schubert varieti… ▽ More We characterize by pattern avoidance the Schubert varieties for GL_n which are local complete intersections (lci). For those Schubert varieties which are local complete intersections, we give an explicit minimal set of equations cutting out their neighborhoods at the identity. Although the statement of our characterization only requires ordinary pattern avoidance, showing that the Schubert varieties not satisfying our conditions are not lci appears to require working with more general notions of pattern avoidance. The Schubert varieties defined by inclusions, originally introduced by Gasharov and Reiner, turn out to be an important subclass, and we further develop some of their combinatorics. Applications include formulas for Kostant polynomials and presentations of cohomology rings for lci Schubert varieties. △ Less

Submitted 26 November, 2011; originally announced November 2011.

Comments: 54 pages, 6 figures

MSC Class: 14M15; 05A05; 05E15; 05E40; 14M10; 20F55

Journal ref: Proceedings of the London Mathematical Society 107 (2013) 1004-1052

Describing West-3-stack-sortable permutations with permutation patterns

Authors: Henning Úlfarsson

Abstract: We describe a new method for finding patterns in permutations that produce a given pattern after the permutation has been passed once through a stack. We use this method to describe West-3-stack-sortable permutations, that is, permutations that are sorted by three passes through a stack. We also show how the method can be applied to the bubble-sort operator. The method requires the use of mesh pat… ▽ More We describe a new method for finding patterns in permutations that produce a given pattern after the permutation has been passed once through a stack. We use this method to describe West-3-stack-sortable permutations, that is, permutations that are sorted by three passes through a stack. We also show how the method can be applied to the bubble-sort operator. The method requires the use of mesh patterns introduced by Brändén and Claesson (2011), as well as a new type of generalized pattern we call a decorated pattern. △ Less

Submitted 10 March, 2012; v1 submitted 6 October, 2011; originally announced October 2011.

Comments: 20 pages, 7 figures

MSC Class: 05A15

Refined inversion statistics on permutations

Authors: Joshua Sack, Henning Úlfarsson

Abstract: We introduce and study new refinements of inversion statistics for permutations, such as k-step inversions, (the number of inversions with fixed position differences) and non-inversion sums (the sum of the differences of positions of the non-inversions of a permutation). We also provide a distribution function for non-inversion sums, a distribution function for k-step inversions that relates to th… ▽ More We introduce and study new refinements of inversion statistics for permutations, such as k-step inversions, (the number of inversions with fixed position differences) and non-inversion sums (the sum of the differences of positions of the non-inversions of a permutation). We also provide a distribution function for non-inversion sums, a distribution function for k-step inversions that relates to the Eulerian polynomials, and special cases of distribution functions for other statistics we introduce, such as (\leqk)-step inversions and (k1,k2)-step inversions (that fix the value separation as well as the position). We connect our refinements to other work, such as inversion tops that are 0 modulo a fixed integer d, left boundary sums of paths, and marked meshed patterns. Finally, we use non-inversion sums to show that for every number n > 34, there is a permutation such that the dot product of that permutation and the identity permutation (of the same length) is n. △ Less

Submitted 12 January, 2012; v1 submitted 10 June, 2011; originally announced June 2011.

Comments: 27 pages, 3 figures, 6 tables

MSC Class: 05A05; 05A15

On the Representability of Line Graphs

Authors: Sergey Kitaev, Pavel Salimov, Christopher Severs, Henning Ulfarsson

Abstract: A graph G=(V,E) is representable if there exists a word W over the alphabet V such that letters x and y alternate in W if and only if (x,y) is in E for each x not equal to y. The motivation to study representable graphs came from algebra, but this subject is interesting from graph theoretical, computer science, and combinatorics on words points of view. In this paper, we prove that for n greater t… ▽ More A graph G=(V,E) is representable if there exists a word W over the alphabet V such that letters x and y alternate in W if and only if (x,y) is in E for each x not equal to y. The motivation to study representable graphs came from algebra, but this subject is interesting from graph theoretical, computer science, and combinatorics on words points of view. In this paper, we prove that for n greater than 3, the line graph of an n-wheel is non-representable. This not only provides a new construction of non-representable graphs, but also answers an open question on representability of the line graph of the 5-wheel, the minimal non-representable graph. Moreover, we show that for n greater than 4, the line graph of the complete graph is also non-representable. We then use these facts to prove that given a graph G which is not a cycle, a path or a claw graph, the graph obtained by taking the line graph of G k-times is guaranteed to be non-representable for k greater than 3. △ Less

Submitted 19 February, 2011; originally announced February 2011.

Comments: 10 pages, 5 figures

MSC Class: 68R15

Journal ref: Open J. Discrete Math. 1 (2011) 96-101

Equivalence classes of permutations avoiding a pattern

Authors: Henning Ulfarsson

Abstract: Given a permutation pattern p and an equivalence relation on permutations, we study the corresponding equivalence classes all of whose members avoid p. Four relations are studied: Conjugacy, order isomorphism, Knuth-equivalence and toric equivalence. Each of these produces a known class of permutations or a known counting sequence. For example, involutions correspond to conjugacy, and permutations… ▽ More Given a permutation pattern p and an equivalence relation on permutations, we study the corresponding equivalence classes all of whose members avoid p. Four relations are studied: Conjugacy, order isomorphism, Knuth-equivalence and toric equivalence. Each of these produces a known class of permutations or a known counting sequence. For example, involutions correspond to conjugacy, and permutations whose insertion tableau is hook-shaped with 2 in the first row correspond to Knuth-equivalence. These permutations are equinumerous with certain congruence classes of graph endomorphisms. In the case of toric equivalence we find a class of permutations that are counted by the Euler totient function, with a subclass counted by the number-of-divisors function. We also provide a new symmetry for bivincular patterns that produces some new non-trivial Wilf-equivalences △ Less

Submitted 28 May, 2010; originally announced May 2010.

Comments: 27 pages

MSC Class: 05A15; 05A19

A unification of permutation patterns related to Schubert varieties

Authors: Henning Úlfarsson

Abstract: We obtain new connections between permutation patterns and singularities of Schubert varieties, by giving a new characterization of Gorenstein varieties in terms of so called bivincular patterns. These are generalizations of classical patterns where conditions are placed on the location of an occurrence in a permutation, as well as on the values in the occurrence. This clarifies what happens when… ▽ More We obtain new connections between permutation patterns and singularities of Schubert varieties, by giving a new characterization of Gorenstein varieties in terms of so called bivincular patterns. These are generalizations of classical patterns where conditions are placed on the location of an occurrence in a permutation, as well as on the values in the occurrence. This clarifies what happens when the requirement of smoothness is weakened to factoriality and further to Gorensteinness, extending work of Bousquet-Melou and Butler (2007), and Woo and Yong (2006). We also show how mesh patterns, introduced by Branden and Claesson (2011), subsume many other types of patterns and define an extension of them called marked mesh patterns. We use these new patterns to further simplify the description of Gorenstein Schubert varieties and give a new description of Schubert varieties that are defined by inclusions, introduced by Gasharov and Reiner (2002). We also give a description of 123-hexagon avoiding permutations, introduced by Billey and Warrington (2001), Dumont permutations and cycles in terms of marked mesh patterns. △ Less

Submitted 5 April, 2012; v1 submitted 23 February, 2010; originally announced February 2010.

Comments: 21 pages, 4 figures, 2 tables. To appear in a special issue of Pure Mathematics and Applications, 2011

MSC Class: 05A05 (Primary); 14M15 (Secondary)

Very Twisted Stable Maps

Authors: Qile Chen, Steffen Marcus, Henning Úlfarsson

Abstract: Let X be a smooth projective Deligne-Mumford stack over an algebraically closed field k of characteristic 0. In this paper we construct the moduli stack of very twisted stable maps, extending the notion of twisted stable maps by Abramovich and Vistoli to allow for generic stabilizers on the source curves. We also consider the Gromov-Witten theory given by this construction. Let X be a smooth projective Deligne-Mumford stack over an algebraically closed field k of characteristic 0. In this paper we construct the moduli stack of very twisted stable maps, extending the notion of twisted stable maps by Abramovich and Vistoli to allow for generic stabilizers on the source curves. We also consider the Gromov-Witten theory given by this construction. △ Less

Submitted 5 November, 2010; v1 submitted 31 October, 2008; originally announced November 2008.

Comments: 18 pages. Corrected typos. To appear in Communications in Analysis and Geometry, Volume 18, Number 4

MSC Class: 14N35; 14A20; 14H10

Journal ref: Comm. Anal. Geom. 18 (2010) 831-855