Showing 1–38 of 38 results for author: Brignall, R

Pin classes II: Small pin classes

Authors: Robert Brignall, Ben Jarvis

Abstract: Pin permutations play an important role in the structural study of permutation classes, most notably in relation to simple permutations and well-quasi-ordering, and in enumerative consequences arising from these. In this paper, we continue our study of pin classes, which are permutation classes that comprise all the finite subpermutations contained in an infinite pin permutation. We show that ther… ▽ More Pin permutations play an important role in the structural study of permutation classes, most notably in relation to simple permutations and well-quasi-ordering, and in enumerative consequences arising from these. In this paper, we continue our study of pin classes, which are permutation classes that comprise all the finite subpermutations contained in an infinite pin permutation. We show that there is a phase transition at $μ\approx 3.28277$: there are uncountably many different pin classes whose growth rate is equal to $μ$, yet only countably many below $μ$. Furthermore, by showing that all pin classes with growth rate less than $μ$ are essentially defined by pin permutations that possess a periodic structure, we classify the set of growth rates of pin classes up to $μ$. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Comments: 24 pages

On cycles in monotone grid classes of permutations

Authors: David Bevan, Robert Brignall, Nik Ruškuc

Abstract: We undertake a detailed investigation into the structure of permutations in monotone grid classes whose row-column graphs do not contain components with more than one cycle. Central to this investigation is a new decomposition, called the $M$-sum, which generalises the well-known notions of direct sum and skew sum, and enables a deeper understanding of the structure of permutations in these grid c… ▽ More We undertake a detailed investigation into the structure of permutations in monotone grid classes whose row-column graphs do not contain components with more than one cycle. Central to this investigation is a new decomposition, called the $M$-sum, which generalises the well-known notions of direct sum and skew sum, and enables a deeper understanding of the structure of permutations in these grid classes. Permutations which are indecomposable with respect to the $M$-sum play a crucial role in the structure of a grid class and of its subclasses, and this leads us to identify coils, a certain kind of permutation which corresponds to repeatedly traversing a chosen cycle in a particular manner. Harnessing this analysis, we give a precise characterisation for when a subclass of such a grid class is labelled well quasi-ordered, and we extend this to characterise (unlabelled) well quasi-ordering in certain cases. We prove that a large general family of these grid classes are finitely based, but we also exhibit other examples that are not, thereby disproving a conjecture from 2006 due to Huczynska and Vatter. △ Less

Submitted 8 October, 2024; originally announced October 2024.

Comments: 48 pages, 15 figures

MSC Class: 05A05; 06A07

Labelled well-quasi-order in juxtapositions of permutation classes

Authors: Robert Brignall

Abstract: The juxtaposition of permutation classes $\mathcal{C}$ and $\mathcal{D}$ is the class of all permutations formed by concatenations $στ$, such that $σ$ is order isomorphic to a permutation in $\mathcal{C}$, and $τ$ to a permutation in $\mathcal{D}$. We give simple necessary and sufficient conditions on the classes $\mathcal{C}$ and $\mathcal{D}$ for their juxtaposition to be labelled well-quasi-o… ▽ More The juxtaposition of permutation classes $\mathcal{C}$ and $\mathcal{D}$ is the class of all permutations formed by concatenations $στ$, such that $σ$ is order isomorphic to a permutation in $\mathcal{C}$, and $τ$ to a permutation in $\mathcal{D}$. We give simple necessary and sufficient conditions on the classes $\mathcal{C}$ and $\mathcal{D}$ for their juxtaposition to be labelled well-quasi-ordered (lwqo): namely that both $\C$ and $\DDD$ must themselves be lwqo, and at most one of $\mathcal{C}$ or $\mathcal{D}$ can contain arbitrarily long zigzag permutations. We also show that every class without long zigzag permutations has a growth rate which must be integral. △ Less

Submitted 18 December, 2023; originally announced December 2023.

Comments: 10 pages, 3 figures

MSC Class: 05A05 (Primary) 06A07 (Secondary)

Uncountably many enumerations of well-quasi-ordered permutation classes

Authors: Robert Brignall, Vincent Vatter

Abstract: We construct an uncountable family of well-quasi-ordered permutation classes, each with a distinct enumeration sequence. This disproves a conjecture that all well-quasi-ordered permutation classes have algebraic generating functions, and in fact shows that many such classes lack D-finite or D-algebraic generating functions. Our construction is based on an uncountably large collection of factor-clo… ▽ More We construct an uncountable family of well-quasi-ordered permutation classes, each with a distinct enumeration sequence. This disproves a conjecture that all well-quasi-ordered permutation classes have algebraic generating functions, and in fact shows that many such classes lack D-finite or D-algebraic generating functions. Our construction is based on an uncountably large collection of factor-closed, well-quasi-ordered binary languages due to Pouzet. △ Less

Submitted 13 September, 2025; v1 submitted 22 November, 2022; originally announced November 2022.

A framework for minimal hereditary classes of graphs of unbounded clique-width

Authors: Robert Brignall, Daniel Cocks

Abstract: We create a framework for hereditary graph classes $\mathcal{G}^δ$ built on a two-dimensional grid of vertices and edge sets defined by a triple $δ=\{α,β,γ\}$ of objects that define edges between consecutive columns, edges between non-consecutive columns (called bonds), and edges within columns. This framework captures all previously proven minimal hereditary classes of graph of unbounded clique-w… ▽ More We create a framework for hereditary graph classes $\mathcal{G}^δ$ built on a two-dimensional grid of vertices and edge sets defined by a triple $δ=\{α,β,γ\}$ of objects that define edges between consecutive columns, edges between non-consecutive columns (called bonds), and edges within columns. This framework captures all previously proven minimal hereditary classes of graph of unbounded clique-width, and many new ones, although we do not claim this includes all such classes. We show that a graph class $\mathcal{G}^δ$ has unbounded clique-width if and only if a certain parameter $\mathcal{N}^δ$ is unbounded. We further show that $\mathcal{G}^δ$ is minimal of unbounded clique-width (and, indeed, minimal of unbounded linear clique-width) if another parameter $\mathcal{M}^β$ is bounded, and also $δ$ has defined recurrence characteristics. Both the parameters $\mathcal{N}^δ$ and $\mathcal{M}^β$ are properties of a triple $δ=(α,β,γ)$, and measure the number of distinct neighbourhoods in certain auxiliary graphs. Throughout our work, we introduce new methods to the study of clique-width, including the use of Ramsey theory in arguments related to unboundedness, and explicit (linear) clique-width expressions for subclasses of minimal classes of unbounded clique-width. △ Less

Submitted 31 October, 2023; v1 submitted 29 March, 2022; originally announced March 2022.

Comments: 33 pages, 7 figures

MSC Class: 05C75; 05C85

Journal ref: SIAM J. Disc. Math. Vol. 37, Iss. 4 (2023)

Uncountably many minimal hereditary classes of graphs of unbounded clique-width

Authors: Robert Brignall, Daniel Cocks

Abstract: Given an infinite word over the alphabet $\{0,1,2,3\}$, we define a class of bipartite hereditary graphs $\mathcal{G}^α$, and show that $\mathcal{G}^α$ has unbounded clique-width unless $α$ contains at most finitely many non-zero letters. We also show that $\mathcal{G}^α$ is minimal of unbounded clique-width if and only if $α$ belongs to a precisely defined collection of words $Γ$. The set $Γ$ i… ▽ More Given an infinite word over the alphabet $\{0,1,2,3\}$, we define a class of bipartite hereditary graphs $\mathcal{G}^α$, and show that $\mathcal{G}^α$ has unbounded clique-width unless $α$ contains at most finitely many non-zero letters. We also show that $\mathcal{G}^α$ is minimal of unbounded clique-width if and only if $α$ belongs to a precisely defined collection of words $Γ$. The set $Γ$ includes all almost periodic words containing at least one non-zero letter, which both enables us to exhibit uncountably many pairwise distinct minimal classes of unbounded clique width, and also proves one direction of a conjecture due to Collins, Foniok, Korpelainen, Lozin and Zamaraev. Finally, we show that the other direction of the conjecture is false, since $Γ$ also contains words that are \emph{not} almost periodic. △ Less

Submitted 1 April, 2021; originally announced April 2021.

Journal ref: Electron. J. Combin. 29 (2022), no. 1, Paper No. 1.63, 27 pp

Labelled well-quasi-order for permutation classes

Authors: Robert Brignall, Vincent Vatter

Abstract: While the theory of labelled well-quasi-order has received significant attention in the graph setting, it has not yet been considered in the context of permutation patterns. We initiate this study here, and show how labelled well quasi order provides a lens through which to view and extend previous well-quasi-order results in the permutation patterns literature. Connections to the graph setting ar… ▽ More While the theory of labelled well-quasi-order has received significant attention in the graph setting, it has not yet been considered in the context of permutation patterns. We initiate this study here, and show how labelled well quasi order provides a lens through which to view and extend previous well-quasi-order results in the permutation patterns literature. Connections to the graph setting are emphasised throughout. In particular, we establish that a permutation class is labelled well-quasi-ordered if and only if its corresponding graph class is also labelled well-quasi-ordered. △ Less

Submitted 5 October, 2022; v1 submitted 15 March, 2021; originally announced March 2021.

Almost avoiding permutations

Authors: Robert Brignall, Shalosh B. Ekhad, Rebecca Smith, Vince Vatter

Abstract: We investigate the notion of almost avoiding a permutation: $π$ almost avoids $β$ if one can remove a single entry from $π$ to obtain a $β$-avoiding permutation. We investigate the notion of almost avoiding a permutation: $π$ almost avoids $β$ if one can remove a single entry from $π$ to obtain a $β$-avoiding permutation. △ Less

Submitted 29 July, 2020; originally announced July 2020.

Journal ref: Discrete Math. 309 (2009), 6626--6631

Combinatorial specifications for juxtapositions of permutation classes

Authors: Robert Brignall, Jakub Sliacan

Abstract: We show that, given a suitable combinatorial specification for a permutation class $\mathcal{C}$, one can obtain a specification for the juxtaposition (on either side) of $\mathcal{C}$ with Av(21) or Av(12), and that if the enumeration for $\mathcal{C}$ is given by a rational or algebraic generating function, so is the enumeration for the juxtaposition. Furthermore this process can be iterated, th… ▽ More We show that, given a suitable combinatorial specification for a permutation class $\mathcal{C}$, one can obtain a specification for the juxtaposition (on either side) of $\mathcal{C}$ with Av(21) or Av(12), and that if the enumeration for $\mathcal{C}$ is given by a rational or algebraic generating function, so is the enumeration for the juxtaposition. Furthermore this process can be iterated, thereby providing an effective method to enumerate any 'skinny' $k\times 1$ grid class in which at most one cell is non-monotone, with a guarantee on the nature of the enumeration given the nature of the enumeration of the non-monotone cell. △ Less

Submitted 13 September, 2019; v1 submitted 7 February, 2019; originally announced February 2019.

Comments: 22 pages, 6 figures

Zeros of the Möbius function of permutations

Authors: Robert Brignall, Vít Jelínek, Jan Kynčl, David Marchant

Abstract: We show that if a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then the Möbius function $μ[π]$ of the interval $[1,π]$ is zero. As a consequence, we show that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2\ge 0.3995$. This is the first result dete… ▽ More We show that if a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then the Möbius function $μ[π]$ of the interval $[1,π]$ is zero. As a consequence, we show that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2\ge 0.3995$. This is the first result determining the value of $μ[1,π]$ for an asymptotically positive proportion of permutations $π$. We also show that if a permutation $φ$ can be expressed as a direct sum of the form $α\oplus 1 \oplus β$, then any permutation $π$ containing an interval order-isomorphic to $φ$ has $μ[1, π]=0$; we deduce this from a more general result showing that $μ[σ, π]=0$ whenever $π$ contains an interval of a certain form. Finally, we show that if a permutation $π$ contains intervals isomorphic to certain pairs of permutations, or to certain permutations of length six, then $μ[1, π] = 0$. △ Less

Submitted 12 October, 2018; originally announced October 2018.

Comments: 21 pages, 7 figures, 1 tables. This is an expanded version of the preprint "Intervals of permutations and the principal Möbius function", available at arXiv:1806.10362, with two additional authors

Journal ref: Mathematika 65 (2019) 1074-1092

Intervals of permutations and the principal Möbius function

Authors: Robert Brignall, David Marchant

Abstract: We show that the proportion of permutations of length $n$ with principal Möbius function equal to zero, $Z(n)$, is asymptotically bounded below by 0.3995. If a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then we show that the value of the principal Möbius function $μ[1, π]$ is zero, and we use this result to find the lower bound for… ▽ More We show that the proportion of permutations of length $n$ with principal Möbius function equal to zero, $Z(n)$, is asymptotically bounded below by 0.3995. If a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then we show that the value of the principal Möbius function $μ[1, π]$ is zero, and we use this result to find the lower bound for $Z(n)$. We also show that if a permutation $φ$ has certain properties, then any permutation $π$ which contains an interval order-isomorphic to $φ$ has $μ[1, π] = 0$. △ Less

Submitted 23 October, 2018; v1 submitted 27 June, 2018; originally announced June 2018.

Comments: 18 pages, 5 figures, 4 tables. An expanded version of this paper, with two additional authors, is available at arXiv:1810.05449

MSC Class: 05A05

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

The Möbius function of permutations with an indecomposable lower bound

Authors: Robert Brignall, David Marchant

Abstract: We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequal… ▽ More We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequalities. △ Less

Submitted 14 February, 2018; v1 submitted 9 October, 2017; originally announced October 2017.

Comments: 19 pages, 6 figures. Revised following comments from anonymous reviewers

MSC Class: 05A05

A counterexample regarding labelled well-quasi-ordering

Authors: Robert Brignall, Michael Engen, Vincent Vatter

Abstract: Korpelainen, Lozin, and Razgon conjectured that a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by only finitely many minimal forbidden induced subgraphs is labelled well-quasi-ordered, a notion stronger than that of $n$-well-quasi-order introduced by Pouzet in the 1970s. We present a counterexample to this conjecture. In fact, we exhibit a her… ▽ More Korpelainen, Lozin, and Razgon conjectured that a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by only finitely many minimal forbidden induced subgraphs is labelled well-quasi-ordered, a notion stronger than that of $n$-well-quasi-order introduced by Pouzet in the 1970s. We present a counterexample to this conjecture. In fact, we exhibit a hereditary property of graphs which is well-quasi-ordered by the induced subgraph order and defined by finitely many minimal forbidden induced subgraphs yet is not $2$-well-quasi-ordered. This counterexample is based on the widdershins spiral, which has received some study in the area of permutation patterns. △ Less

Submitted 4 October, 2018; v1 submitted 28 September, 2017; originally announced September 2017.

Characterising inflations of monotone grid classes of permutations

Authors: Michael Albert, Aistis Atminas, Robert Brignall

Abstract: We characterise those permutation classes whose simple permutations are monotone griddable. This characterisation is obtained by identifying a set of nine substructures, at least one of which must occur in any simple permutation containing a long sum of 21s. We characterise those permutation classes whose simple permutations are monotone griddable. This characterisation is obtained by identifying a set of nine substructures, at least one of which must occur in any simple permutation containing a long sum of 21s. △ Less

Submitted 15 September, 2017; v1 submitted 14 February, 2017; originally announced February 2017.

Comments: 18 pages, 9 figures, accepted for JCTA

Juxtaposing Catalan permutation classes with monotone ones

Authors: Robert Brignall, Jakub Sliacan

Abstract: This paper enumerates all juxtaposition classes of the form "Av($abc$) next to Av($xy$)", where $abc$ is a permutation of length three and $xy$ is a permutation of length two. We use Dyck paths decorated by sequences of points to represent elements from such a juxtaposition class. Context-free grammars are then used to enumerate these decorated Dyck paths. This paper enumerates all juxtaposition classes of the form "Av($abc$) next to Av($xy$)", where $abc$ is a permutation of length three and $xy$ is a permutation of length two. We use Dyck paths decorated by sequences of points to represent elements from such a juxtaposition class. Context-free grammars are then used to enumerate these decorated Dyck paths. △ Less

Submitted 28 March, 2017; v1 submitted 16 November, 2016; originally announced November 2016.

Comments: 17 pages

Deciding whether there are infinitely many prime graphs with forbidden induced subgraphs

Authors: Robert Brignall, Hojin Choi, Jisu Jeong, Sang-il Oum

Abstract: A homogeneous set of a graph $G$ is a set $X$ of vertices such that $2\le \lvert X\rvert <\lvert V(G)\rvert$ and no vertex in $V(G)-X$ has both a neighbor and a non-neighbor in $X$. A graph is prime if it has no homogeneous set. We present an algorithm to decide whether a class of graphs given by a finite set of forbidden induced subgraphs contains infinitely many non-isomorphic prime graphs. A homogeneous set of a graph $G$ is a set $X$ of vertices such that $2\le \lvert X\rvert <\lvert V(G)\rvert$ and no vertex in $V(G)-X$ has both a neighbor and a non-neighbor in $X$. A graph is prime if it has no homogeneous set. We present an algorithm to decide whether a class of graphs given by a finite set of forbidden induced subgraphs contains infinitely many non-isomorphic prime graphs. △ Less

Submitted 15 January, 2019; v1 submitted 22 July, 2016; originally announced July 2016.

Comments: 13 pages, 5 figures. Accepted to Discrete Appl. Math

MSC Class: 05C75

Rationality for subclasses of 321-avoiding permutations

Authors: Michael H. Albert, Robert Brignall, Nik Ruškuc, Vincent Vatter

Abstract: We prove that every proper subclass of the 321-avoiding permutations that is defined either by only finitely many additional restrictions or is well quasi-ordered has a rational generating function. To do so we show that any such class is in bijective correspondence with a regular language. The proof makes significant use of formal languages and of a host of encodings, including a new mapping call… ▽ More We prove that every proper subclass of the 321-avoiding permutations that is defined either by only finitely many additional restrictions or is well quasi-ordered has a rational generating function. To do so we show that any such class is in bijective correspondence with a regular language. The proof makes significant use of formal languages and of a host of encodings, including a new mapping called the panel encoding that maps languages over the infinite alphabet of positive integers avoiding certain subwords to languages over finite alphabets. △ Less

Submitted 1 January, 2019; v1 submitted 1 February, 2016; originally announced February 2016.

Well-quasi-ordering and finite distinguishing number

Authors: Aistis Atminas, Robert Brignall

Abstract: Balogh, Bollobas and Weinreich showed that a parameter that has since been termed the distinguishing number can be used to identify a jump in the possible speeds of hereditary classes of graphs at the sequence of Bell numbers. We prove that every hereditary class that lies above the Bell numbers and has finite distinguishing number contains a boundary class for well-quasi-ordering. This means th… ▽ More Balogh, Bollobas and Weinreich showed that a parameter that has since been termed the distinguishing number can be used to identify a jump in the possible speeds of hereditary classes of graphs at the sequence of Bell numbers. We prove that every hereditary class that lies above the Bell numbers and has finite distinguishing number contains a boundary class for well-quasi-ordering. This means that any such hereditary class which in addition is defined by finitely many minimal forbidden induced subgraphs must contain an infinite antichain. As all hereditary classes below the Bell numbers are well-quasi-ordered, our results complete the answer to the question of well-quasi-ordering for hereditary classes with finite distinguishing number. We also show that the decision procedure of Atminas, Collins, Foniok and Lozin to decide the Bell number (and which now also decides well-quasi-ordering for classes of finite distinguishing number) has run time bounded by an explicit (quadruple exponential) function of the order of the largest minimal forbidden induced subgraph of the class. △ Less

Submitted 10 May, 2019; v1 submitted 18 December, 2015; originally announced December 2015.

Comments: 21 pages, 1 figure

$2\times 2$ monotone grid classes are finitely based

Authors: Michael Albert, Robert Brignall

Abstract: In this note, we prove that all $2 \times 2$ monotone grid classes are finitely based, i.e., defined by a finite collection of minimal forbidden permutations. This follows from a slightly more general result about certain $2 \times 2$ (generalized) grid classes having two monotone cells in the same row. In this note, we prove that all $2 \times 2$ monotone grid classes are finitely based, i.e., defined by a finite collection of minimal forbidden permutations. This follows from a slightly more general result about certain $2 \times 2$ (generalized) grid classes having two monotone cells in the same row. △ Less

Submitted 8 February, 2016; v1 submitted 2 November, 2015; originally announced November 2015.

Comments: 10 pages, 5 figures. To appear in Discrete Mathematics and Theoretical Computer Science, special issue for Permutation Patterns 2015

MSC Class: 05A05

Journal ref: Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (February 11, 2016) dmtcs:1325

Minimal classes of graphs of unbounded clique-width defined by finitely many forbidden induced subgraphs

Authors: A. Atminas, R. Brignall, V. Lozin, J. Stacho

Abstract: We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a finite list of minimal forbidden induced subgraphs. These, therefore, disprove a conjecture due to Daligault, Rao and Thomasse from 2010 claiming that all such minim… ▽ More We discover new hereditary classes of graphs that are minimal (with respect to set inclusion) of unbounded clique-width. The new examples include split permutation graphs and bichain graphs. Each of these classes is characterised by a finite list of minimal forbidden induced subgraphs. These, therefore, disprove a conjecture due to Daligault, Rao and Thomasse from 2010 claiming that all such minimal classes must be defined by infinitely many forbidden induced subgraphs. In the same paper, Daligault, Rao and Thomasse make another conjecture that every hereditary class of unbounded clique-width must contain a labelled infinite antichain. We show that the two example classes we consider here satisfy this conjecture. Indeed, they each contain a canonical labelled infinite antichain, which leads us to propose a stronger conjecture: that every hereditary class of graphs that is minimal of unbounded clique-width contains a canonical labelled infinite antichain. △ Less

Submitted 4 October, 2018; v1 submitted 5 March, 2015; originally announced March 2015.

Comments: 17 pages, 7 figures

A simple proof of a theorem of Schmerl and Trotter for permutations

Authors: Robert Brignall, Vincent Vatter

Abstract: When specialized to the context of permutations, Schmerl and Trotter's Theorem states that every simple permutation which is not a parallel alternation contains a simple permutation with one fewer entry. We give an elementary proof of this result. When specialized to the context of permutations, Schmerl and Trotter's Theorem states that every simple permutation which is not a parallel alternation contains a simple permutation with one fewer entry. We give an elementary proof of this result. △ Less

Submitted 16 September, 2014; originally announced September 2014.

Comments: To appear in the Journal of Combinatorics

Well-Quasi-Order for Permutation Graphs Omitting a Path and a Clique

Authors: Aistis Atminas, Robert Brignall, Nicholas Korpelainen, Vadim Lozin, Vincent Vatter

Abstract: We consider well-quasi-order for classes of permutation graphs which omit both a path and a clique. Our principle result is that the class of permutation graphs omitting $P_5$ and a clique of any size is well-quasi-ordered. This is proved by giving a structural decomposition of the corresponding permutations. We also exhibit three infinite antichains to show that the classes of permutation graphs… ▽ More We consider well-quasi-order for classes of permutation graphs which omit both a path and a clique. Our principle result is that the class of permutation graphs omitting $P_5$ and a clique of any size is well-quasi-ordered. This is proved by giving a structural decomposition of the corresponding permutations. We also exhibit three infinite antichains to show that the classes of permutation graphs omitting $\{P_6,K_6\}$, $\{P_7,K_5\}$, and $\{P_8,K_4\}$ are not well-quasi-ordered. △ Less

Submitted 27 April, 2015; v1 submitted 20 December, 2013; originally announced December 2013.

Comments: 21 pages, 9 figures, to appear in Elec. J. Comb

MSC Class: 06A07 (primary); 05A05; 05C75 (secondary)

Linear Clique-Width for Hereditary Classes of Cographs

Authors: Robert Brignall, Nicholas Korpelainen, Vincent Vatter

Abstract: The class of cographs is known to have unbounded linear clique-width. We prove that a hereditary class of cographs has bounded linear clique-width if and only if it does not contain all quasi-threshold graphs or their complements. The proof borrows ideas from the enumeration of permutation classes. The class of cographs is known to have unbounded linear clique-width. We prove that a hereditary class of cographs has bounded linear clique-width if and only if it does not contain all quasi-threshold graphs or their complements. The proof borrows ideas from the enumeration of permutation classes. △ Less

Submitted 25 January, 2016; v1 submitted 3 May, 2013; originally announced May 2013.

Comments: 10 pages. Accepted for J. Graph Theory

MSC Class: 05C75; 05C78; 68R10; 05C85

Enumerating indices of Schubert varieties defined by inclusions

Authors: Michael H. Albert, Robert Brignall

Abstract: By extending the notion of grid classes to include infinite grids, we establish a structural characterisation of the simple permutations in Av(4231, 35142, 42513, 351624), a pattern class which has three different connections with algebraic geometry, including the specification of indices of Schubert varieties defined by inclusions. This characterisation leads to the enumeration of the class. By extending the notion of grid classes to include infinite grids, we establish a structural characterisation of the simple permutations in Av(4231, 35142, 42513, 351624), a pattern class which has three different connections with algebraic geometry, including the specification of indices of Schubert varieties defined by inclusions. This characterisation leads to the enumeration of the class. △ Less

Submitted 12 December, 2013; v1 submitted 14 January, 2013; originally announced January 2013.

Comments: 14 pages, 3 figures. Accepted in Journal of Combinatorial Theory, Series A

MSC Class: 05A05; 05A15; 14M15

Large infinite antichains of permutations

Authors: Michael H. Albert, Robert Brignall, Vincent Vatter

Abstract: Infinite antichains of permutations have long been used to construct interesting permutation classes and counterexamples. We prove the existence and detail the construction of infinite antichains with arbitrarily large growth rates. As a consequence, we show that every proper permutation class is contained in a class with a rational generating function. While this result implies the conclusion of… ▽ More Infinite antichains of permutations have long been used to construct interesting permutation classes and counterexamples. We prove the existence and detail the construction of infinite antichains with arbitrarily large growth rates. As a consequence, we show that every proper permutation class is contained in a class with a rational generating function. While this result implies the conclusion of the Marcus-Tardos theorem, that theorem is used in our proof. △ Less

Submitted 17 December, 2012; v1 submitted 13 December, 2012; originally announced December 2012.

The enumeration of three pattern classes

Authors: M. H. Albert, M. D. Atkinson, Robert Brignall

Abstract: The structure of three pattern classes Av(2143, 4321), Av(2143, 4312) and Av(1324, 4312) is determined using the machinery of monotone grid classes. This allows the permutations in these classes to be described in terms of simple diagrams and regular languages and, using this, the rational generating functions which enumerate these classes are determined. The structure of three pattern classes Av(2143, 4321), Av(2143, 4312) and Av(1324, 4312) is determined using the machinery of monotone grid classes. This allows the permutations in these classes to be described in terms of simple diagrams and regular languages and, using this, the rational generating functions which enumerate these classes are determined. △ Less

Submitted 14 June, 2012; originally announced June 2012.

Comments: 32 pages

MSC Class: 05A05

Modular Decomposition and the Reconstruction Conjecture

Authors: Robert Brignall, Nicholas Georgiou, Robert J. Waters

Abstract: We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs. We prove that a large family of graphs which are decomposable with respect to the modular decomposition can be reconstructed from their collection of vertex-deleted subgraphs. △ Less

Submitted 27 February, 2012; v1 submitted 7 December, 2011; originally announced December 2011.

Comments: 9 pages, 2 figures

MSC Class: 05C60

The enumeration of permutations avoiding 2143 and 4231

Authors: Michael Albert, M. D. Atkinson, Robert Brignall

Abstract: We enumerate the pattern class Av(2143,4231) and completely describe its permutations. The main tools are simple permutations and monotone grid classes. We enumerate the pattern class Av(2143,4231) and completely describe its permutations. The main tools are simple permutations and monotone grid classes. △ Less

Submitted 3 August, 2011; originally announced August 2011.

MSC Class: 05A05; 05A15

Simple extensions of combinatorial structures

Authors: Robert Brignall, Nik Ruskuc, Vince Vatter

Abstract: An interval in a combinatorial structure S is a set I of points which relate to every point from S I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a simple structure by structures of smaller sizes -- this is called the substitution (or modular) decomposition. In this paper we prove several results of the fo… ▽ More An interval in a combinatorial structure S is a set I of points which relate to every point from S I in the same way. A structure is simple if it has no proper intervals. Every combinatorial structure can be expressed as an inflation of a simple structure by structures of smaller sizes -- this is called the substitution (or modular) decomposition. In this paper we prove several results of the following type: An arbitrary structure S of size n belonging to a class C can be embedded into a simple structure from C by adding at most f(n) elements. We prove such results when C is the class of all tournaments, graphs, permutations, posets, digraphs, oriented graphs and general relational structures containing a relation of arity greater than 2. The function f(n) in these cases is 2, \lceil log_2(n+1)\rceil, \lceil (n+1)/2\rceil, \lceil (n+1)/2\rceil, \lceil log_4(n+1)\rceil, \lceil \log_3(n+1)\rceil and 1, respectively. In each case these bounds are best possible. △ Less

Submitted 3 May, 2010; v1 submitted 23 November, 2009; originally announced November 2009.

Comments: 24 pages, 9 figures

MSC Class: 05C20; 06A06; 05C25; 05A05 (Primary); 03C13 (Secondary)

Grid classes and partial well order

Authors: Robert Brignall

Abstract: We prove necessary and sufficient conditions on a family of (generalised) gridding matrices to determine when the corresponding permutation classes are partially well-ordered. One direction requires an application of Higman's Theorem and relies on there being only finitely many simple permutations in the only non-monotone cell of each component of the matrix. The other direction is proved by a mor… ▽ More We prove necessary and sufficient conditions on a family of (generalised) gridding matrices to determine when the corresponding permutation classes are partially well-ordered. One direction requires an application of Higman's Theorem and relies on there being only finitely many simple permutations in the only non-monotone cell of each component of the matrix. The other direction is proved by a more general result that allows the construction of infinite antichains in any grid class of a matrix whose graph has a component containing two or more non-monotone-griddable cells. The construction uses a generalisation of pin sequences to grid classes, together with a number of symmetry operations on the rows and columns of a gridding. △ Less

Submitted 11 August, 2011; v1 submitted 19 June, 2009; originally announced June 2009.

Comments: 22 pages, 7 figures. To appear in J. Comb. Theory Series A

Growth rates for subclasses of Av(321)

Authors: M. H. Albert, M. D. Atkinson, R. Brignall, N. Ruskuc, Rebecca Smith, J. West

Abstract: Pattern classes which avoid 321 and other patterns are shown to have the same growth rates as similar (but strictly larger) classes obtained by adding articulation points to any or all of the other patterns. The method of proof is to show that the elements of the latter classes can be represented as bounded merges of elements of the original class, and that the bounded merge construction does no… ▽ More Pattern classes which avoid 321 and other patterns are shown to have the same growth rates as similar (but strictly larger) classes obtained by adding articulation points to any or all of the other patterns. The method of proof is to show that the elements of the latter classes can be represented as bounded merges of elements of the original class, and that the bounded merge construction does not change growth rates. △ Less

Submitted 9 October, 2009; v1 submitted 11 March, 2009; originally announced March 2009.

Comments: 20 pages, 5 figures

A Survey of Simple Permutations

Authors: Robert Brignall

Abstract: We survey the known results about simple permutations. In particular, we present a number of recent enumerative and structural results pertaining to simple permutations, and show how simple permutations play an important role in the study of permutation classes. We demonstrate how classes containing only finitely many simple permutations satisfy a number of special properties relating to enumera… ▽ More We survey the known results about simple permutations. In particular, we present a number of recent enumerative and structural results pertaining to simple permutations, and show how simple permutations play an important role in the study of permutation classes. We demonstrate how classes containing only finitely many simple permutations satisfy a number of special properties relating to enumeration, partial well-order and the property of being finitely based. △ Less

Submitted 18 April, 2008; v1 submitted 7 January, 2008; originally announced January 2008.

Comments: 21 pages, 6 figures

Wreath Products of Permutation Classes

Authors: Robert Brignall

Abstract: A permutation class which is closed under pattern involvement may be described in terms of its basis. The wreath product construction X \wr Y of two permutation classes X and Y is also closed, and we investigate classes Y with the property that, for any finitely based class X, the wreath product X \wr Y is also finitely based. A permutation class which is closed under pattern involvement may be described in terms of its basis. The wreath product construction X \wr Y of two permutation classes X and Y is also closed, and we investigate classes Y with the property that, for any finitely based class X, the wreath product X \wr Y is also finitely based. △ Less

Submitted 28 September, 2006; originally announced September 2006.

Comments: 14 pages

MSC Class: 05A05

Simple permutations: decidability and unavoidable substructures

Authors: Robert Brignall, Nik Ruskuc, Vince Vatter

Abstract: We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains an alternation or oscillation of length k. We prove that it is decidable if a finitely based permutation class contains infinitely many simple permutations, and establish an unavoidable substructure result for simple permutations: every sufficiently long simple permutation contains an alternation or oscillation of length k. △ Less

Submitted 7 September, 2006; originally announced September 2006.

Simple permutations and algebraic generating functions

Authors: Robert Brignall, Sophie Huczynska, Vincent Vatter

Abstract: A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avo… ▽ More A simple permutation is one that does not map a nontrivial interval onto an interval. It was recently proved by Albert and Atkinson that a permutation class with only finitely simple permutations has an algebraic generating function. We extend this result to enumerate permutations in such a class satisfying additional properties, e.g., the even permutations, the involutions, the permutations avoiding generalised permutations, and so on. △ Less

Submitted 15 August, 2006; originally announced August 2006.

Decomposing simple permutations, with enumerative consequences

Authors: Robert Brignall, Sophie Huczynska, Vince Vatter

Abstract: We prove that every sufficiently long simple permutation contains two long almost disjoint simple subsequences. This result has applications to the enumeration of restricted permutations. For example, it immediately implies a result of Bona and (independently) Mansour and Vainshtein that for any r, the number of permutations with at most r copies of 132 has an algebraic generating function. We prove that every sufficiently long simple permutation contains two long almost disjoint simple subsequences. This result has applications to the enumeration of restricted permutations. For example, it immediately implies a result of Bona and (independently) Mansour and Vainshtein that for any r, the number of permutations with at most r copies of 132 has an algebraic generating function. △ Less

Submitted 8 June, 2006; originally announced June 2006.

Permutation Classes of Polynomial Growth

Authors: M. H. Albert, M. D. Atkinson, Robert Brignall

Abstract: A pattern class is a set of permutations closed under the formation of subpermutations. Such classes can be characterised as those permutations not involving a particular set of forbidden permutations. A simple collection of necessary and sufficient conditions on sets of forbidden permutations which ensure that the associated pattern class is of polynomial growth is determined. A catalogue of al… ▽ More A pattern class is a set of permutations closed under the formation of subpermutations. Such classes can be characterised as those permutations not involving a particular set of forbidden permutations. A simple collection of necessary and sufficient conditions on sets of forbidden permutations which ensure that the associated pattern class is of polynomial growth is determined. A catalogue of all such sets of forbidden permutations having three or fewer elements is provided together with bounds on the degrees of the associated enumerating polynomials. △ Less

Submitted 7 February, 2007; v1 submitted 13 March, 2006; originally announced March 2006.

Comments: 17 pages, 4 figures

MSC Class: 05A15 (Primary); 05A05 (Secondary)