-
The sandpile model on the complete split graph: $q,t$-Schröder polynomials, sawtooth polyominoes, and a cyclic lemma
Authors:
Henri Derycke,
Mark Dukes,
Yvan Le Borgne
Abstract:
This paper builds on work initiated in Dukes (2021) that considered the classification of recurrent configurations of the Abelian sandpile model on the complete split graph. We introduce two statistics, wtopple$_{CTI}$ and wtopple$_{ITC}$, on sorted recurrent configurations. These statistics arise from two natural but different toppling conventions, CTI and ITC, for Dhar's burning algorithm as it…
▽ More
This paper builds on work initiated in Dukes (2021) that considered the classification of recurrent configurations of the Abelian sandpile model on the complete split graph. We introduce two statistics, wtopple$_{CTI}$ and wtopple$_{ITC}$, on sorted recurrent configurations. These statistics arise from two natural but different toppling conventions, CTI and ITC, for Dhar's burning algorithm as it is applied to the complete split graph. In addition, we introduce the bivariate $q,t$-CTI and $q,t$-ITC polynomials that are the generating functions of the bistatistics (height,wtopple$_{ITC}$) and (height,wtopple$_{CTI}$) on the sorted recurrent configurations.
We prove that a modification of the bijection given in Dukes (2021) from sorted recurrent configurations to Schröder paths maps the bistatistic (height,wtopple$_{ITC}$) to the bistatistic (area,bounce). The generating function of the bistatistic (area,bounce) on Schröder paths is known in the literature as the $q,t$-Schröder polynomial and was introduced by Egge, Haglund, Killpatrick and Kremer (2003). This connection allows us to relate the $q,t$-ITC polynomial to the theory of symmetric functions and also establishes symmetry of the $q,t$-ITC polynomials.
We also give a characterization of the sorted recurrent configurations as a new class of polyominoes that we call $sawtooth$ $polyominoes$. The CTI and ITC topplings processes on sorted recurrent configurations are proven to correspond to two bounce paths from one side of the sawtooth polyomino to the other. Moreover, and building on the results of Aval et al. (2016), we present a cyclic lemma for a slight extension of stable configurations that allows for an enumeration of sorted recurrent configurations within the framework of the sandpile model. Finally, we conjecture equality of the $q,t$-CTI and $q,t$-ITC polynomials.
△ Less
Submitted 23 February, 2024;
originally announced February 2024.
-
Shuffle theorems and sandpiles
Authors:
Michele D'Adderio,
Mark Dukes,
Alessandro Iraci,
Alexander Lazar,
Yvan Le Borgne,
Anna Vanden Wyngaerd
Abstract:
We provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $\widehat{G}_{μ,ν}$, which we call clique-independent graphs, indexed by two compositions $μ$ and $ν$. Moreover, we define a delay statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of…
▽ More
We provide an explicit description of the recurrent configurations of the sandpile model on a family of graphs $\widehat{G}_{μ,ν}$, which we call clique-independent graphs, indexed by two compositions $μ$ and $ν$. Moreover, we define a delay statistic on these configurations, and we show that, together with the usual level statistic, it can be used to provide a new combinatorial interpretation of the celebrated shuffle theorem of Carlsson and Mellit. More precisely, we will see how to interpret the polynomials $\langle \nabla e_n, e_μh_ν\rangle$ in terms of these configurations.
△ Less
Submitted 15 January, 2024; v1 submitted 12 January, 2024;
originally announced January 2024.
-
Difference ascent sequences
Authors:
Mark Dukes,
Bruce Sagan
Abstract:
Let alpha = a_1 a_2 ... a_n be a sequence of nonnegative integers. The ascent set of alpha, Asc(alpha), consists of all indices k where a_{k+1} > a_k. An ascent sequence is alpha where the growth of the a_k is bounded by the elements of Asc(alpha). These sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev and have many wonderful properties. In particular, they are in bijection…
▽ More
Let alpha = a_1 a_2 ... a_n be a sequence of nonnegative integers. The ascent set of alpha, Asc(alpha), consists of all indices k where a_{k+1} > a_k. An ascent sequence is alpha where the growth of the a_k is bounded by the elements of Asc(alpha). These sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev and have many wonderful properties. In particular, they are in bijection with unlabeled (2+2)-free posets, permutations avoiding a particular bivincular pattern, certain upper-triangular nonnegative integer matrices, and a class of matchings. A weak ascent of alpha is an index k with a_{k+1} >= a_k and weak ascent sequences are defined analogously to ascent sequences. These were studied by Bényi, Claesson and Dukes and shown to have analogous equinumerous sets. Given a nonnegative integer d, we define a difference d ascent to be an index k such that a_{k+1} > a_k - d. We study the properties of the corresponding d-ascent sequences, showing that some of the maps from the weak case can be extended to bijections for general d while the extensions of others continue to be injective (but not surjective). We also make connections with other combinatorial objects such as rooted duplication trees and restricted growth functions.
△ Less
Submitted 26 November, 2023;
originally announced November 2023.
-
Characterizing traces of processes defined by precedence and response constraints: an order theory approach
Authors:
Mark Dukes,
Anton Sohn
Abstract:
In this paper we consider a general system of activities that can, but do not have to, occur. This system is governed by a set of two types of constraints: precedence and response. A precedence constraint dictates that an activity can only occur if it has been preceded by some other specified activity. Response constraints are similarly defined. An execution of the system is a listing of activitie…
▽ More
In this paper we consider a general system of activities that can, but do not have to, occur. This system is governed by a set of two types of constraints: precedence and response. A precedence constraint dictates that an activity can only occur if it has been preceded by some other specified activity. Response constraints are similarly defined. An execution of the system is a listing of activities in the order they occur and which satisfies all constraints. Such systems naturally arise in areas of theoretical computer science and decision science. An outcome of the freedom with which activities can occur is that there are many different possible executions, and gaining a combinatorial insight into these is a non-trivial problem.
We characterize all of the ways in which such a system can be executed. Our approach uses order theory to provide a classification in terms of the linear extensions of posets constructed from the constraint sets. This characterization is essential in calculating the stakeholder utility metrics that have been developed by the first author that allow for quantitative comparisons of such systems/processes. It also allows for a better understanding of the theoretical backbone to these processes and their deconstruction as a shuffle product of smaller systems.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
A bump statistic on permutations resulting from the Robinson-Schensted correspondence
Authors:
Mark Dukes,
Andrew Mullins
Abstract:
In this paper we introduce a new permutation statistic. This statistic counts the number of bumps that occur during the execution of the Robinson-Schensted procedure when applied to a given permutation. We provide several interpretations of this bump statistic that include the tableaux shape and also as an extremal problem concerning permutations and increasing subsequences. Several aspects of thi…
▽ More
In this paper we introduce a new permutation statistic. This statistic counts the number of bumps that occur during the execution of the Robinson-Schensted procedure when applied to a given permutation. We provide several interpretations of this bump statistic that include the tableaux shape and also as an extremal problem concerning permutations and increasing subsequences. Several aspects of this bump statistic are investigated from both structural and enumerative viewpoints.
△ Less
Submitted 20 November, 2023;
originally announced November 2023.
-
An Ising model having permutation spin motivated by a permutation complexity measure
Authors:
Mark Dukes
Abstract:
In this paper we define a variant of the Ising model in which spins are replaced with permutations. The energy between two spins is a function of the relative disorder of one spin, a permutation, to the other. This model is motivated by a complexity measure for declarative systems. For such systems a state is a permutation and the permutation sorting complexity measures the average sequential diso…
▽ More
In this paper we define a variant of the Ising model in which spins are replaced with permutations. The energy between two spins is a function of the relative disorder of one spin, a permutation, to the other. This model is motivated by a complexity measure for declarative systems. For such systems a state is a permutation and the permutation sorting complexity measures the average sequential disorder of neighbouring states. To measure the relative disorder between two spins we use a symmetrized version of the descent permutation statistic that has appeared in the works of Chatterjee \& Diaconis and Petersen. The classical Ising model corresponds to the length-2 permutation case of this new model. We consider and prove some elementary properties for the 1D case of this model in which spins are length-3 permutations.
△ Less
Submitted 22 July, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Counting tournament score sequences
Authors:
Anders Claesson,
Mark Dukes,
Atli Fannar Franklín,
Sigurður Örn Stefánsson
Abstract:
The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In 2013 Hanna conjectured a surprising and elegant recursion for these numbers. We settle this conjecture in the affirmative by showing that it is a corollary to o…
▽ More
The score sequence of a tournament is the sequence of the out-degrees of its vertices arranged in nondecreasing order. The problem of counting score sequences of a tournament with $n$ vertices is more than 100 years old (MacMahon 1920). In 2013 Hanna conjectured a surprising and elegant recursion for these numbers. We settle this conjecture in the affirmative by showing that it is a corollary to our main theorem, which is a factorization of the generating function for score sequences with a distinguished index. We also derive a closed formula and a quadratic time algorithm for counting score sequences.
△ Less
Submitted 14 January, 2023; v1 submitted 8 September, 2022;
originally announced September 2022.
-
A simple declarative model of the Federal Disaster Assistance Policy -- modelling and measuring transparency
Authors:
Mark Dukes
Abstract:
In this paper we will provide a quantitative analysis of a simple model of the Federal Disaster Assistance policy from the viewpoint of three different stakeholders. This quantitative methodology is new and has applications to other areas such as business and healthcare processes. The stakeholders are interested in process transparency but each has a different opinion on precisely what constitutes…
▽ More
In this paper we will provide a quantitative analysis of a simple model of the Federal Disaster Assistance policy from the viewpoint of three different stakeholders. This quantitative methodology is new and has applications to other areas such as business and healthcare processes. The stakeholders are interested in process transparency but each has a different opinion on precisely what constitutes transparency. We will also consider three modifications to the Federal Disaster Assistance policy and analyse, from a stakeholder viewpoint, how stakeholder satisfaction changes from process to process. This analysis is used to rank the favourability of four policies with respect to all collective stakeholder preferences.
△ Less
Submitted 21 July, 2023; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Stakeholder utility measures for declarative processes and their use in process comparisons
Authors:
Mark Dukes
Abstract:
We present a method for calculating and analyzing stakeholder utilities of processes that arise in, but are not limited to, the social sciences. These areas include business process analysis, healthcare workflow analysis and policy process analysis. This method is quite general and applicable to any situation in which declarative-type constraints of a modal and/or temporal nature play a part.
A…
▽ More
We present a method for calculating and analyzing stakeholder utilities of processes that arise in, but are not limited to, the social sciences. These areas include business process analysis, healthcare workflow analysis and policy process analysis. This method is quite general and applicable to any situation in which declarative-type constraints of a modal and/or temporal nature play a part.
A declarative process is a process in which activities may freely happen while respecting a set of constraints. For such a process, anything may happen so long as it is not explicitly forbidden. Declarative processes have been used and studied as models of business and healthcare workflows by several authors. In considering a declarative process as a model of some system it is natural to consider how the process behaves with respect to stakeholders. We derive a measure for stakeholder utility that can be applied in a very general setting. This derivation is achieved by listing a collection a properties which we argue such a stakeholder utility function ought to satisfy, and then using these to show a very specific form must hold for such a utility. The utility measure depends on the set of unique traces of the declarative process, and calculating this set requires a combinatorial analysis of the declarative graph that represents the process.
This builds on previous work of the author wherein the combinatorial diversity metrics for declarative processes were derived for use in policy process analysis. The collection of stakeholder utilities can themselves then be used to form a metric with which we can compare different declarative processes to one another. These are illustrated using several examples of declarative processes that already exist in the literature.
△ Less
Submitted 7 February, 2022;
originally announced February 2022.
-
Fagan's Construction, Strange Roots, and Tchoukaillon Solitaire
Authors:
Mark Dukes
Abstract:
In this paper we examine a procedure that, on starting with an integer $n$, results in a pair of equal integers that are no greater than $n$. We call the resulting value the \textit{strange root} of $n$ and we show how this strange-root-finding procedure is intimately linked to the game of Tchoukaillon solitaire. We analyze the strange-root-finding procedure in reverse to determine when a prescrib…
▽ More
In this paper we examine a procedure that, on starting with an integer $n$, results in a pair of equal integers that are no greater than $n$. We call the resulting value the \textit{strange root} of $n$ and we show how this strange-root-finding procedure is intimately linked to the game of Tchoukaillon solitaire. We analyze the strange-root-finding procedure in reverse to determine when a prescribed value is the strange root of at most two integers. We present a conjecture about strange roots and translate this conjecture into one involving Tchoukaillon solitaire.
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Weak ascent sequences and related combinatorial structures
Authors:
Beáta Bényi,
Anders Claesson,
Mark Dukes
Abstract:
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how wea…
▽ More
In this paper we introduce {\em weak ascent sequences}, a class of number sequences that properly contains ascent sequences. We show how these sequences uniquely encode each of the following objects: permutations avoiding a particular length-4 bivincular pattern; upper-triangular binary matrices that satisfy a column-adjacency rule; factorial posets that are weakly (3+1)-free. We also show how weak ascent sequences are related to a class of pattern avoiding inversion sequences that has been a topic of recent research by Auli and Elizalde. Finally, we consider the problem of enumerating these new sequences and give a closed form expression for the number of weak ascent sequences having a prescribed length and number of weak ascents.
△ Less
Submitted 10 October, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Combinatorial diversity metrics for the analysis of policy processes
Authors:
Mark Dukes,
Anthony A. Casey
Abstract:
We present several completely general diversity metrics to quantify the problem-solving capacity of any public policy decision making process. This is performed by modelling the policy process using a declarative process paradigm in conjunction with constraints modelled by expressions in linear temporal logic. We introduce a class of traces, called first-passage traces, to represent the different…
▽ More
We present several completely general diversity metrics to quantify the problem-solving capacity of any public policy decision making process. This is performed by modelling the policy process using a declarative process paradigm in conjunction with constraints modelled by expressions in linear temporal logic. We introduce a class of traces, called first-passage traces, to represent the different executions of the declarative processes. Heuristics of what properties a diversity measure of such processes ought to satisfy are used to derive two different metrics for these processes in terms of the set of first-passage traces. These metrics turn out to have formulations in terms of the entropies of two different random variables on the set of traces of the processes. In addition, we introduce a measure of `goodness' whereby a trace is termed {\it good} if it satisfies some prescribed linear temporal logic expression. This allows for comparisons of policy processes with respect to the prescribed notion of `goodness'.
△ Less
Submitted 19 August, 2020;
originally announced August 2020.
-
Parallelogram polyominoes and rectangular EW-tableaux: correspondences through the sandpile model
Authors:
Amal Alofi,
Mark Dukes
Abstract:
This paper establishes connections between EW-tableaux and parallelogram polyominoes by using recent research regarding the sandpile model on the complete bipartite graph. This paper presents and proves a direct bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes. The significance of this is that allows one to move between these objects without the need for `rec…
▽ More
This paper establishes connections between EW-tableaux and parallelogram polyominoes by using recent research regarding the sandpile model on the complete bipartite graph. This paper presents and proves a direct bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes. The significance of this is that allows one to move between these objects without the need for `recurrent configurations', the central object which previously tied this work together. It introduces the notion of a marked rectangular EW-tableaux that exactly encode all recurrent configurations of the sandpile model on the complete bipartite graph. This shows how non-cornersupport entries that featured in previous work can be utilized in a simple but important way in relation to EW-tableaux. It lifts the bijection between rectangular EW-tableaux and labelled ribbon parallelogram polyominoes to a bijection between marked rectangular EW-tableaux and labelled parallelogram polyominoes. This bijection helps us to fully understand the aspects of these very different objects that are, in a sense, different sides of the same coin.
△ Less
Submitted 31 July, 2020;
originally announced July 2020.
-
The sandpile model on the complete split graph, Motzkin words, and tiered parking functions
Authors:
Mark Dukes
Abstract:
We classify recurrent states of the Abelian sandpile model (ASM) on the complete split graph. There are two distinct cases to be considered that depend upon the location of the sink vertex in the complete split graph. This characterisation of decreasing recurrent states is in terms of Motzkin words and can also be characterised in terms of combinatorial necklaces. We also give a characterisation o…
▽ More
We classify recurrent states of the Abelian sandpile model (ASM) on the complete split graph. There are two distinct cases to be considered that depend upon the location of the sink vertex in the complete split graph. This characterisation of decreasing recurrent states is in terms of Motzkin words and can also be characterised in terms of combinatorial necklaces. We also give a characterisation of the recurrent states in terms of a new type of parking function that we call a tiered parking function. These parking functions are characterised by assigning a tier (or colour) to each of the cars, and specifying how many cars of a lower-tier one wishes to have parked before them. We also enumerate the different sets of recurrent configurations studied in this paper, and in doing so derive a formula for the number of spanning trees of the complete split graph that uses a bijective Prüfer code argument.
△ Less
Submitted 8 February, 2021; v1 submitted 14 June, 2020;
originally announced June 2020.
-
Permutation graphs and the Abelian sandpile model, tiered trees and non-ambiguous binary trees
Authors:
Mark Dukes,
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In…
▽ More
A permutation graph is a graph whose edges are given by inversions of a permutation. We study the Abelian sandpile model (ASM) on such graphs. We exhibit a bijection between recurrent configurations of the ASM on permutation graphs and the tiered trees introduced by Dugan et al. [10]. This bijection allows certain parameters of the recurrent configurations to be read on the corresponding tree. In particular, we show that the level of a recurrent configuration can be interpreted as the external activity of the corresponding tree, so that the bijection exhibited provides a new proof of a famous result linking the level polynomial of the ASM to the ubiquitous Tutte polynomial. We show that the set of minimal recurrent configurations is in bijection with the set of complete non-ambiguous binary trees introduced by Aval et al. [2], and introduce a multi-rooted generalization of these that we show to correspond to all recurrent configurations. In the case of permutations with a single descent, we recover some results from the case of Ferrers graphs presented in [11], while we also recover results of Perkinson et al. [16] in the case of threshold graphs.
△ Less
Submitted 4 October, 2018;
originally announced October 2018.
-
The Abelian sandpile model on Ferrers graphs -- A classification of recurrent configurations
Authors:
Mark Dukes,
Thomas Selig,
Jason P. Smith,
Einar Steingrimsson
Abstract:
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the de…
▽ More
We classify all recurrent configurations of the Abelian sandpile model (ASM) on Ferrers graphs. The classification is in terms of decorations of EW-tableaux, which undecorated are in bijection with the minimal recurrent configurations. We introduce decorated permutations, extending to decorated EW-tableaux a bijection between such tableaux and permutations, giving a direct bijection between the decorated permutations and all recurrent configurations of the ASM. We also describe a bijection between the decorated permutations and the intransitive trees of Postnikov, the breadth-first search of which corresponds to a canonical toppling of the corresponding configurations.
△ Less
Submitted 26 June, 2019; v1 submitted 20 September, 2018;
originally announced September 2018.
-
Refining the bijections among ascent sequences, (2+2)-free posets, integer matrices and pattern-avoiding permutations
Authors:
Mark Dukes,
Peter R. W. McNamara
Abstract:
The combined work of Bousquet-Mélou, Claesson, Dukes, Jelínek, Kitaev, Kubitzke and Parviainen has resulted in non-trivial bijections among ascent sequences, (2+2)-free posets, upper-triangular integer matrices, and pattern-avoiding permutations. To probe the finer behavior of these bijections, we study two types of restrictions on ascent sequences. These restrictions are motivated by our results…
▽ More
The combined work of Bousquet-Mélou, Claesson, Dukes, Jelínek, Kitaev, Kubitzke and Parviainen has resulted in non-trivial bijections among ascent sequences, (2+2)-free posets, upper-triangular integer matrices, and pattern-avoiding permutations. To probe the finer behavior of these bijections, we study two types of restrictions on ascent sequences. These restrictions are motivated by our results that their images under the bijections are natural and combinatorially significant. In addition, for one restriction, we are able to determine the effect of poset duality on the corresponding ascent sequences, matrices and permutations, thereby answering a question of the first author and Parviainen in this case. The second restriction should appeal to Catalaniacs.
△ Less
Submitted 23 May, 2019; v1 submitted 30 July, 2018;
originally announced July 2018.
-
Web matrices: structural properties and generating combinatorial identities
Authors:
Mark Dukes,
Chris D. White
Abstract:
In this paper we present new results for the combinatorics of web diagrams and web worlds. These are discrete objects that arise in the physics of calculating scattering amplitudes in non-abelian gauge theories. Web-colouring and web-mixing matrices (collectively known as web matrices) are indexed by ordered pairs of web-diagrams and contain information relating the number of colourings of the fir…
▽ More
In this paper we present new results for the combinatorics of web diagrams and web worlds. These are discrete objects that arise in the physics of calculating scattering amplitudes in non-abelian gauge theories. Web-colouring and web-mixing matrices (collectively known as web matrices) are indexed by ordered pairs of web-diagrams and contain information relating the number of colourings of the first web diagram that will produce the second diagram.
We introduce the black diamond product on power series and show how it determines the web-colouring matrix of disjoint web worlds. Furthermore, we show that combining known physical results with the black diamond product gives a new technique for generating combinatorial identities. Due to the complicated action of the product on power series, the resulting identities appear highly non-trivial.
We present two results to explain repeated entries that appear in the web matrices. The first of these shows how diagonal web matrix entries will be the same if the comparability graphs of their associated decomposition posets are the same. The second result concerns general repeated entries in conjunction with a flip** operation on web diagrams.
We present a combinatorial proof of idempotency of the web-mixing matrices, previously established using physical arguments only. We also show how the entries of the square of the web-colouring matrix can be achieved by a linear transformation that maps the standard basis for formal power series in one variable to a sequence of polynomials. We look at one parameterized web world that is related to indecomposable permutations and show how determining the web-colouring matrix entries in this case is equivalent to a combinatorics on words problem.
△ Less
Submitted 4 March, 2016;
originally announced March 2016.
-
Site-specific recombinatorics: in situ cellular barcoding with the Cre Lox system
Authors:
Tom S. Weber,
Mark Dukes,
Denise Miles,
Stefan Glaser,
Shalin Naik,
Ken R. Duffy
Abstract:
Cellular barcoding is a significant, recently developed, biotechnology tool that enables the familial identification of progeny of individual cells in vivo. Most existing approaches rely on ex vivo viral transduction of cells with barcodes, followed by adoptive transfer into an animal, which works well for some systems, but precludes barcoding cells in their native environment, such as those insid…
▽ More
Cellular barcoding is a significant, recently developed, biotechnology tool that enables the familial identification of progeny of individual cells in vivo. Most existing approaches rely on ex vivo viral transduction of cells with barcodes, followed by adoptive transfer into an animal, which works well for some systems, but precludes barcoding cells in their native environment, such as those inside solid tissues. With a view to overcoming this limitation, we propose a new design for a genetic barcoding construct based on the Cre Lox system that induces randomly created stable barcodes in cells in situ by exploiting inherent sequence distance constraints during site-specific recombination. Leveraging this previously unused feature, we identify the cassette with maximal code diversity. This proves to be orders of magnitude higher than what is attainable with previously considered Cre Lox barcoding approaches and is well suited for its intended applications as it exceeds the number of lymphocytes or hematopoietic progenitor cells in mice. Moreover, it can be built using established technology.
△ Less
Submitted 28 February, 2016; v1 submitted 5 February, 2016;
originally announced February 2016.
-
Revstack sort, zigzag patterns, descent polynomials of $t$-revstack sortable permutations, and Steingrímsson's sorting conjecture
Authors:
Mark Dukes
Abstract:
In this paper we examine the sorting operator $T(LnR)=T(R)T(L)n$. Applying this operator to a permutation is equivalent to passing the permutation reversed through a stack. We prove theorems that characterise $t$-revstack sortability in terms of patterns in a permutation that we call $zigzag$ patterns. Using these theorems we characterise those permutations of length $n$ which are sorted by $t$ ap…
▽ More
In this paper we examine the sorting operator $T(LnR)=T(R)T(L)n$. Applying this operator to a permutation is equivalent to passing the permutation reversed through a stack. We prove theorems that characterise $t$-revstack sortability in terms of patterns in a permutation that we call $zigzag$ patterns. Using these theorems we characterise those permutations of length $n$ which are sorted by $t$ applications of $T$ for $t=0,1,2,n-3,n-2,n-1$. We derive expressions for the descent polynomials of these six classes of permutations and use this information to prove Steingrímsson's sorting conjecture for those six values of $t$. Symmetry and unimodality of the descent polynomials for general $t$-revstack sortable permutations is also proven and three conjectures are given.
△ Less
Submitted 5 April, 2014;
originally announced April 2014.
-
Webs and Posets
Authors:
Mark Dukes,
Einan Gardi,
Heather McAslan,
Darren J. Scott,
Chris D. White
Abstract:
The non-Abelian exponentiation theorem has recently been generalised to correlators of multiple Wilson line operators. The perturbative expansions of these correlators exponentiate in terms of sets of diagrams called webs, which together give rise to colour factors corresponding to connected graphs. The colour and kinematic degrees of freedom of individual diagrams in a web are entangled by mixing…
▽ More
The non-Abelian exponentiation theorem has recently been generalised to correlators of multiple Wilson line operators. The perturbative expansions of these correlators exponentiate in terms of sets of diagrams called webs, which together give rise to colour factors corresponding to connected graphs. The colour and kinematic degrees of freedom of individual diagrams in a web are entangled by mixing matrices of purely combinatorial origin. In this paper we relate the combinatorial study of these matrices to properties of partially ordered sets (posets), and hence obtain explicit solutions for certain families of web-mixing matrix, at arbitrary order in perturbation theory. We also provide a general expression for the rank of a general class of mixing matrices, which governs the number of independent colour factors arising from such webs. Finally, we use the poset language to examine a previously conjectured sum rule for the columns of web-mixing matrices which governs the cancellation of the leading subdivergences between diagrams in the web. Our results, when combined with parallel developments in the evaluation of kinematic integrals, offer new insights into the all-order structure of infrared singularities in non-Abelian gauge theories.
△ Less
Submitted 11 October, 2013;
originally announced October 2013.
-
Two operators on sandpile configurations, the sandpile model on the complete bipartite graph, and a Cyclic Lemma
Authors:
Jean-Christophe Aval,
Michele D'Adderio,
Mark Dukes,
Yvan Le Borgne
Abstract:
We introduce two operators on stable configurations of the sandpile model that provide an algorithmic bijection between recurrent and parking configurations. This bijection preserves their equivalence classes with respect to the sandpile group. The study of these operators in the special case of the complete bipartite graph ${K}_{m,n}$ naturally leads to a generalization of the well known Cyclic L…
▽ More
We introduce two operators on stable configurations of the sandpile model that provide an algorithmic bijection between recurrent and parking configurations. This bijection preserves their equivalence classes with respect to the sandpile group. The study of these operators in the special case of the complete bipartite graph ${K}_{m,n}$ naturally leads to a generalization of the well known Cyclic Lemma of Dvoretsky and Motzkin, via pairs of periodic bi-infinite paths in the plane having slightly different slopes. We achieve our results by interpreting the action of these operators as an action on a point in the grid $\mathbb{Z}^2$ which is pointed to by one of these pairs of paths. Our Cyclic lemma allows us to enumerate several classes of polyominoes, and therefore builds on the work of Irving and Rattan (2009), Chapman et al. (2009), and Bonin et al. (2003).
△ Less
Submitted 2 March, 2015; v1 submitted 29 July, 2013;
originally announced July 2013.
-
Web worlds, web-colouring matrices, and web-mixing matrices
Authors:
Mark Dukes,
Einan Gardi,
Einar Steingrimsson,
Chris D. White
Abstract:
We introduce a new combinatorial object called a web world that consists of a set of web diagrams. The diagrams of a web world are generalizations of graphs, and each is built on the same underlying graph. Instead of ordinary vertices the diagrams have pegs, and edges incident to a peg have different heights on the peg. The web world of a web diagram is the set of all web diagrams that result from…
▽ More
We introduce a new combinatorial object called a web world that consists of a set of web diagrams. The diagrams of a web world are generalizations of graphs, and each is built on the same underlying graph. Instead of ordinary vertices the diagrams have pegs, and edges incident to a peg have different heights on the peg. The web world of a web diagram is the set of all web diagrams that result from permuting the order in which endpoints of edges appear on a peg. The motivation comes from particle physics, where web diagrams arise as particular types of Feynman diagrams describing scattering amplitudes in non-Abelian gauge (Yang-Mills) theories. To each web world we associate two matrices called the web-colouring matrix and web-mixing matrix. The entries of these matrices are indexed by ordered pairs of web diagrams (D_1,D_2), and are computed from those colourings of the edges of D_1 that yield D_2 under a transformation determined by each colouring.
We show that colourings of a web diagram (whose constituent indecomposable diagrams are all unique) that lead to a reconstruction of the diagram are equivalent to order-preserving map**s of certain partially ordered sets (posets) that may be constructed from the web diagrams. For web worlds whose web graphs have all edge labels equal to 1, the diagonal entries of web-mixing and web-colouring matrices are obtained by summing certain polynomials determined by the descents in permutations in the Jordan-Holder set of all linear extensions of the associated poset. We derive tri-variate generating generating functions for the number of web worlds according to three statistics and enumerate the number of different web diagrams in a web world. Three special web worlds are examined in great detail, and the traces of the web-mixing matrices calculated in each case.
△ Less
Submitted 28 January, 2013;
originally announced January 2013.
-
Statistics on parallelogram polyominoes and a q,t-analogue of the Narayana numbers
Authors:
Jean-Christophe Aval,
Michele D'Adderio,
Mark Dukes,
Angela Hicks,
Yvan Le Borgne
Abstract:
We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetri…
▽ More
We study the statistics area, bounce and dinv on the set of parallelogram polyominoes having a rectangular m times n bounding box. We show that the bi-statistics (area, bounce) and (area, dinv) give rise to the same q,t-analogue of Narayana numbers which was introduced by two of the authors in [arXiv:1208.0024]. We prove the main conjectures of that paper: the q,t-Narayana polynomials are symmetric in both q and t, and m and n. This is accomplished by providing a symmetric functions interpretation of the q,t-Narayana polynomials which relates them to the famous diagonal harmonics.
△ Less
Submitted 21 January, 2013;
originally announced January 2013.
-
Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial
Authors:
Mark Dukes,
Yvan Le Borgne
Abstract:
We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recur…
▽ More
We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recurrent configurations whose sum of heights is minimal are shown to correspond to polyominoes of least area. Two other classes of recurrent configurations are shown to be related to bicomposition matrices, a matrix analogue of set partitions, and (2+2)-free partially ordered sets.
A canonical toppling process for recurrent configurations gives rise to a path within the associated parallelogram polyominoes. This path bounces off the external edges of the polyomino, and is reminiscent of Haglund's well-known bounce statistic for Dyck paths. We define a collection of polynomials that we call q,t-Narayana polynomials, defined to be the generating function of the bistatistic (area,parabounce) on the set of parallelogram polyominoes, akin to the (area,hagbounce) bistatistic defined on Dyck paths in Haglund (2003). In doing so, we have extended a bistatistic of Egge, Haglund, Kremer and Killpatrick (2003) to the set of parallelogram polyominoes. This is one answer to their question concerning extensions to other combinatorial objects.
We conjecture the q,t-Narayana polynomials to be symmetric and prove this conjecture for numerous special cases. We also show a relationship between Haglund's (area,hagbounce) statistic on Dyck paths, and our bistatistic (area,parabounce) on a sub-collection of those parallelogram polyominoes living in a (n+1)*n rectangle.
△ Less
Submitted 20 January, 2013; v1 submitted 31 July, 2012;
originally announced August 2012.
-
On the inverse image of pattern classes under bubble sort
Authors:
Michael H. Albert,
M. D. Atkinson,
Mathilde Bouvel,
Anders Claesson,
Mark Dukes
Abstract:
Let B be the operation of re-ordering a sequence by one pass of bubble sort. We completely answer the question of when the inverse image of a principal pattern class under B is a pattern class.
Let B be the operation of re-ordering a sequence by one pass of bubble sort. We completely answer the question of when the inverse image of a principal pattern class under B is a pattern class.
△ Less
Submitted 10 October, 2011; v1 submitted 31 August, 2010;
originally announced August 2010.
-
Enumerating (2+2)-free posets by indistinguishable elements
Authors:
Mark Dukes,
Sergey Kitaev,
Jeffrey Remmel,
Einar Steingrimsson
Abstract:
A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the same strict down-set. Being indistinguishable defines an equivalence relation on the elements of the poset. We introduce the statistic maxindist, the maximum size…
▽ More
A poset is said to be (2+2)-free if it does not contain an induced subposet that is isomorphic to 2+2, the union of two disjoint 2-element chains. Two elements in a poset are indistinguishable if they have the same strict up-set and the same strict down-set. Being indistinguishable defines an equivalence relation on the elements of the poset. We introduce the statistic maxindist, the maximum size of a set of indistinguishable elements. We show that, under a bijection of Bousquet-Melou et al., indistinguishable elements correspond to letters that belong to the same run in the so-called ascent sequence corresponding to the poset. We derive the generating function for the number of (2+2)-free posets with respect to both maxindist and the number of different strict down-sets of elements in the poset. Moreover, we show that (2+2)-free posets P with maxindist(P) at most k are in bijection with upper triangular matrices of nonnegative integers not exceeding k, where each row and each column contains a nonzero entry. (Here we consider isomorphic posets to be equal.) In particular, (2+2)-free posets P on n elements with maxindist(P)=1 correspond to upper triangular binary matrices where each row and column contains a nonzero entry, and whose entries sum to n. We derive a generating function counting such matrices, which confirms a conjecture of Jovovic, and we refine the generating function to count upper triangular matrices consisting of nonnegative integers not exceeding k and having a nonzero entry in each row and column. That refined generating function also enumerates (2+2)-free posets according to maxindist. Finally, we link our enumerative results to certain restricted permutations and matrices.
△ Less
Submitted 5 April, 2011; v1 submitted 14 June, 2010;
originally announced June 2010.
-
Partition and composition matrices
Authors:
Anders Claesson,
Mark Dukes,
Martina Kubitzke
Abstract:
This paper introduces two matrix analogues for set partitions. A composition matrix on a finite set X is an upper triangular matrix whose entries partition X, and for which there are no rows or columns containing only empty sets. A partition matrix is a composition matrix in which an order is placed on where entries may appear relative to one-another. We show that partition matrices are in one-to-…
▽ More
This paper introduces two matrix analogues for set partitions. A composition matrix on a finite set X is an upper triangular matrix whose entries partition X, and for which there are no rows or columns containing only empty sets. A partition matrix is a composition matrix in which an order is placed on where entries may appear relative to one-another. We show that partition matrices are in one-to-one correspondence with inversion tables. Non-decreasing inversion tables are shown to correspond to partition matrices with a row ordering relation. Partition matrices which are s-diagonal are classified in terms of inversion tables. Bidiagonal partition matrices are enumerated using the transfer-matrix method and are equinumerous with permutations which are sortable by two pop-stacks in parallel. We show that composition matrices on X are in one-to-one correspondence with (2+2)-free posets on X. Also, composition matrices whose rows satisfy a column-ordering relation are shown to be in one-to-one correspondence with parking functions. Finally, we show that pairs of ascent sequences and permutations are in one-to-one correspondence with (2+2)-free posets whose elements are the cycles of a permutation, and use this relation to give an expression for the number of (2+2)-free posets on {1,...,n}.
△ Less
Submitted 15 February, 2011; v1 submitted 7 June, 2010;
originally announced June 2010.
-
A direct encoding of Stoimenow's matchings as ascent sequences
Authors:
Anders Claesson,
Mark Dukes,
Sergey Kitaev
Abstract:
In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequen…
▽ More
In connection with Vassiliev's knot invariants, Stoimenow (1998) introduced certain matchings, also called regular linearized chord diagrams. Bousquet-Melou et al. (2008) gave a bijection from those matchings to unlabeled (2+2)-free posets; they also showed how to encode the posets as so called ascent sequences. In this paper we present a direct encoding of Stoimenow's matchings as ascent sequences. In doing so we give the rules for recursively constructing and deconstructing such matchings.
△ Less
Submitted 8 October, 2009;
originally announced October 2009.
-
Ascent sequences and upper triangular matrices containing non-negative integers
Authors:
Mark Dukes,
Robert Parviainen
Abstract:
This paper presents a bijection between ascent sequences and upper triangular matrices whose non-negative entries are such that all rows and columns contain at least one non-zero entry. We show the equivalence of several natural statistics on these structures under this bijection and prove that some of these statistics are equidistributed. Several special classes of matrices are shown to have si…
▽ More
This paper presents a bijection between ascent sequences and upper triangular matrices whose non-negative entries are such that all rows and columns contain at least one non-zero entry. We show the equivalence of several natural statistics on these structures under this bijection and prove that some of these statistics are equidistributed. Several special classes of matrices are shown to have simple formulations in terms of ascent sequences. Binary matrices are shown to correspond to ascent sequences with no two adjacent entries the same. Bidiagonal matrices are shown to be related to order-consecutive set partitions and a simple condition on the ascent sequences generate this class.
△ Less
Submitted 18 September, 2009;
originally announced September 2009.
-
Descent polynomials for permutations with bounded drop size
Authors:
Fan Chung,
Anders Claesson,
Mark Dukes,
Ron Graham
Abstract:
Motivated by juggling sequences and bubble sort, we examine permutations on the set {1,2,...,n} with d descents and maximum drop size k. We give explicit formulas for enumerating such permutations for given integers k and d. We also derive the related generating functions and prove unimodality and symmetry of the coefficients.
Motivated by juggling sequences and bubble sort, we examine permutations on the set {1,2,...,n} with d descents and maximum drop size k. We give explicit formulas for enumerating such permutations for given integers k and d. We also derive the related generating functions and prove unimodality and symmetry of the coefficients.
△ Less
Submitted 18 January, 2010; v1 submitted 17 August, 2009;
originally announced August 2009.
-
Permutations sortable by n-4 passes through a stack
Authors:
Anders Claesson,
Mark Dukes,
Einar Steingrimsson
Abstract:
We characterise and enumerate permutations that are sortable by n-4 passes through a stack. We conjecture the number of permutations sortable by n-5 passes, and also the form of a formula for the general case n-k, which involves a polynomial expression.
We characterise and enumerate permutations that are sortable by n-4 passes through a stack. We conjecture the number of permutations sortable by n-5 passes, and also the form of a formula for the general case n-k, which involves a polynomial expression.
△ Less
Submitted 3 February, 2009; v1 submitted 30 November, 2008;
originally announced December 2008.
-
Random tree growth by vertex splitting
Authors:
Francois David,
Mark Dukes,
Thordur Jonsson,
Sigurdur Orn Stefansson
Abstract:
We study a model of growing planar tree graphs where in each time step we separate the tree into two components by splitting a vertex and then connect the two pieces by inserting a new link between the daughter vertices. This model generalises the preferential attachment model and Ford's $α$-model for phylogenetic trees. We develop a mean field theory for the vertex degree distribution, prove th…
▽ More
We study a model of growing planar tree graphs where in each time step we separate the tree into two components by splitting a vertex and then connect the two pieces by inserting a new link between the daughter vertices. This model generalises the preferential attachment model and Ford's $α$-model for phylogenetic trees. We develop a mean field theory for the vertex degree distribution, prove that the mean field theory is exact in some special cases and check that it agrees with numerical simulations in general. We calculate various correlation functions and show that the intrinsic Hausdorff dimension can vary from one to infinity, depending on the parameters of the model.
△ Less
Submitted 19 March, 2009; v1 submitted 19 November, 2008;
originally announced November 2008.
-
Symmetric Schroder paths and restricted involutions
Authors:
Eva Y. P. Deng,
Mark Dukes,
Toufik Mansour,
Susan Y. J. Wu
Abstract:
Let $A_k$ be the set of permutations in the symmetric group $S_k$ with prefix 12. This paper concerns the enumeration of involutions which avoid the set of patterns $A_k$. We present a bijection between symmetric Schroder paths of length $2n$ and involutions of length $n+1$ avoiding $\mathcal{A}_4$. Statistics such as the number of right-to-left maxima and fixed points of the involution correspo…
▽ More
Let $A_k$ be the set of permutations in the symmetric group $S_k$ with prefix 12. This paper concerns the enumeration of involutions which avoid the set of patterns $A_k$. We present a bijection between symmetric Schroder paths of length $2n$ and involutions of length $n+1$ avoiding $\mathcal{A}_4$. Statistics such as the number of right-to-left maxima and fixed points of the involution correspond to the number of steps in the symmetric Schroder path of a particular type. For each $k> 2$ we determine the generating function for the number of involutions avoiding the subsequences in $A_k$, according to length, first entry and number of fixed points.
△ Less
Submitted 28 October, 2008;
originally announced October 2008.
-
The area above the Dyck path of a permutation
Authors:
Mark Dukes,
Astrid Reifegerste
Abstract:
In this paper we study a map** from permutations to Dyck paths. A Dyck path gives rise to a (Young) diagram and we give relationships between statistics on permutations and statistics on their corresponding diagrams. The distribution of the size of this diagram is discussed and a generalisation given of a parity result due to Simion and Schmidt. We propose a filling of the diagram which determ…
▽ More
In this paper we study a map** from permutations to Dyck paths. A Dyck path gives rise to a (Young) diagram and we give relationships between statistics on permutations and statistics on their corresponding diagrams. The distribution of the size of this diagram is discussed and a generalisation given of a parity result due to Simion and Schmidt. We propose a filling of the diagram which determines the permutation uniquely. Diagram containment on a restricted class of permutations is shown to be related to the strong Bruhat poset.
△ Less
Submitted 25 November, 2009; v1 submitted 14 October, 2008;
originally announced October 2008.
-
(2+2)-free posets, ascent sequences and pattern avoiding permutations
Authors:
Mireille Bousquet-Mélou,
Anders Claesson,
Mark Dukes,
Sergey Kitaev
Abstract:
We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An…
▽ More
We present bijections between four classes of combinatorial objects. Two of them, the class of unlabeled (2+2)-free posets and a certain class of involutions (or chord diagrams), already appeared in the literature, but were apparently not known to be equinumerous. We present a direct bijection between them. The third class is a family of permutations defined in terms of a new type of pattern. An attractive property of these patterns is that, like classical patterns, they are closed under the action of $D_8$, the symmetry group of the square. The fourth class is formed by certain integer sequences, called ascent sequences, which have a simple recursive structure and are shown to encode (2+2)-free posets and permutations. Our bijections preserve numerous statistics.
We determine the generating function of these classes of objects, thus recovering a non-D-finite series obtained by Zagier for the class of chord diagrams. Finally, we characterize the ascent sequences that correspond to permutations avoiding the barred pattern $3{\bar 1}52{\bar 4}$ and use this to enumerate those permutations, thereby settling a conjecture of Pudwell.
△ Less
Submitted 26 November, 2009; v1 submitted 3 June, 2008;
originally announced June 2008.
-
New equivalences for pattern avoiding involutions
Authors:
Mark Dukes,
Vit Jelínek,
Toufik Mansour,
Astrid Reifegerste
Abstract:
We complete the Wilf classification of signed patterns of length 5 for both signed permutations and signed involutions. New general equivalences of patterns are given which prove Jaggard's conjectures concerning involutions in the symmetric group avoiding certain patterns of length 5 and 6. In this way, we also complete the Wilf classification of S_5, S_6, and S_7 for both permutations and invol…
▽ More
We complete the Wilf classification of signed patterns of length 5 for both signed permutations and signed involutions. New general equivalences of patterns are given which prove Jaggard's conjectures concerning involutions in the symmetric group avoiding certain patterns of length 5 and 6. In this way, we also complete the Wilf classification of S_5, S_6, and S_7 for both permutations and involutions.
△ Less
Submitted 22 January, 2008; v1 submitted 9 August, 2007;
originally announced August 2007.
-
Combinatorial Gray codes for classes of pattern avoiding permutations
Authors:
W. M. B. Dukes,
Mark F. Flanagan,
Toufik Mansour,
V. Vajnovszki
Abstract:
The past decade has seen a flurry of research into pattern avoiding permutations but little of it is concerned with their exhaustive generation. Many applications call for exhaustive generation of permutations subject to various constraints or imposing a particular generating order. In this paper we present generating algorithms and combinatorial Gray codes for several families of pattern avoidi…
▽ More
The past decade has seen a flurry of research into pattern avoiding permutations but little of it is concerned with their exhaustive generation. Many applications call for exhaustive generation of permutations subject to various constraints or imposing a particular generating order. In this paper we present generating algorithms and combinatorial Gray codes for several families of pattern avoiding permutations. Among the families under consideration are those counted by Catalan, Schröder, Pell, even index Fibonacci numbers and the central binomial coefficients. Consequently, this provides Gray codes for $\s_n(τ)$ for all $τ\in \s_3$ and the obtained Gray codes have distances 4 and 5.
△ Less
Submitted 9 January, 2008; v1 submitted 16 April, 2007;
originally announced April 2007.
-
Wilf classification of three and four letter signed patterns
Authors:
W. M. B. Dukes,
T. Mansour,
A. Reifegerste
Abstract:
We give some new Wilf equivalences for signed patterns which allow the complete classification of signed patterns of lengths three and four. The problem is considered for pattern avoidance by general as well as involutive signed permutations.
We give some new Wilf equivalences for signed patterns which allow the complete classification of signed patterns of lengths three and four. The problem is considered for pattern avoidance by general as well as involutive signed permutations.
△ Less
Submitted 3 April, 2006;
originally announced April 2006.
-
Concerning the shape of a geometric lattice
Authors:
W. M. B. Dukes
Abstract:
A well-known conjecture states that the Whitney numbers of the second kind of a geometric lattice (simple matroid) are logarithmically concave. We show this conjecture to be equivalent to proving an upper bound on the number of new copoints in the free erection of the associated simple matroid M. A bound on the number of these new copoints is given in terms of the copoints and colines of M. Also…
▽ More
A well-known conjecture states that the Whitney numbers of the second kind of a geometric lattice (simple matroid) are logarithmically concave. We show this conjecture to be equivalent to proving an upper bound on the number of new copoints in the free erection of the associated simple matroid M. A bound on the number of these new copoints is given in terms of the copoints and colines of M. Also, the points-lines-planes conjecture is shown to be equivalent to a problem concerning the number subgraphs of a certain bipartite graph whose vertices are the points and lines of a geometric lattice.
△ Less
Submitted 17 August, 2007; v1 submitted 13 December, 2004;
originally announced December 2004.
-
Permutation statistics on involutions
Authors:
W. M. B. Dukes
Abstract:
In this paper we look at polynomials arising from statistics on the classes of involutions, $I_n$, and involutions with no fixed points, $J_n$, in the symmetric group. Our results are motivated by F. Brenti's conjecture which states that the Eulerian distribution of $I_n$ is log-concave. Symmetry of the generating functions is shown for the statistics $des,maj$ and the joint distribution…
▽ More
In this paper we look at polynomials arising from statistics on the classes of involutions, $I_n$, and involutions with no fixed points, $J_n$, in the symmetric group. Our results are motivated by F. Brenti's conjecture which states that the Eulerian distribution of $I_n$ is log-concave. Symmetry of the generating functions is shown for the statistics $des,maj$ and the joint distribution $(des,maj)$. We show that $exc$ is log-concave on $I_n$, $inv$ is log-concave on $J_n$ and $des$ is partially unimodal on both $I_n$ and $J_n$. We also give recurrences and explicit forms for the generating functions of the inversions statistic on involutions in Coxeter groups of types $B_n$ and $D_n$. Symmetry and unimodality of $inv$ is shown on the subclass of signed permutations in $D_n$ with no fixed points. In light of these new results, we present further conjectures at the end of the paper.
△ Less
Submitted 11 December, 2004;
originally announced December 2004.
-
The number of matroids on a finite set
Authors:
W. M. B. Dukes
Abstract:
In this paper we highlight some enumerative results concerning matroids of low rank and prove the tail-ends of various sequences involving the number of matroids on a finite set to be log-convex. We give a recursion for a new, slightly improved, lower bound on the number of rank-$r$ matroids on $n$ elements when $n=2^m-1$. We also prove an adjacent result showing the point-lines-planes conjectur…
▽ More
In this paper we highlight some enumerative results concerning matroids of low rank and prove the tail-ends of various sequences involving the number of matroids on a finite set to be log-convex. We give a recursion for a new, slightly improved, lower bound on the number of rank-$r$ matroids on $n$ elements when $n=2^m-1$. We also prove an adjacent result showing the point-lines-planes conjecture to be true if and only if it is true for a special subcollection of matroids. Two new tables are also presented, giving the number of paving matroids on at most eight elements.
△ Less
Submitted 13 December, 2004; v1 submitted 24 November, 2004;
originally announced November 2004.