arXiv++ Combinatorics

In this paper, we propose a general framework that extends the theory of permutation patterns to higher dimensions and unifies several combinatorial objects studied in the literature. Our approach involves introducing the concept of a "level" for an element in a multi-dimensional permutation, which can be defined in multiple ways. We consider two natural definitions of a level, each establishing connections to other combinatorial sequences found in the Online Encyclopedia of Integer Sequences (OEIS). Our framework allows us to offer combinatorial interpretations for various sequences found in the OEIS, many of which previously lacked such interpretations. As a notable example, we introduce an elegant combinatorial interpretation for the Springer numbers: they count weakly increasing 3-dimensional permutations under the definition of levels determined by maximal entries.

In this paper, we find distributions of the left-to-right maxima, right-to-left maxima, left-to-right minima and right-to-left-minima statistics on up-down and down-up permutations of even and odd lengths. For instance, we show that the distribution of right-to-left maxima on up-down permutations of even length is given by $(\sec (t))^{q}$. We also derive the joint distribution of the maxima (resp., minima) statistics. To accomplish this, we generalize a result of Kitaev and Remmel by deriving joint distributions involving non-maxima (resp., non-minima) statistics. Consequently, we refine classic enumeration results of André by introducing new $q$-analogues and $(p,q)$-analogues for the number of alternating permutations. Additionally, we verify Callan's conjecture (2012) that the number of up-down permutations of even length fixed by reverse and complement equals the Springer numbers, thereby offering another combinatorial interpretation of these numbers. Furthermore, we propose two $q$-analogues and a $(p,q)$-analogue of the Springer numbers. Lastly, we enumerate alternating permutations that avoid certain flat partially ordered patterns (POPs), where the only minimum or maximum elements are labeled by the largest or smallest numbers.

A notable problem within permutation patterns that has attracted considerable attention in literature since 1973 is the search for a bijective proof demonstrating that 123-avoiding and 132-avoiding permutations are equinumerous, both counted by the Catalan numbers. Despite this equivalence, the distributions of occurrences of the patterns 123 and 132 are distinct. When considering 123 and 132 as mesh patterns and selectively shading boxes, similar scenarios arise, even when avoidance is defined by the Bell numbers or other sequences, rather than the Catalan numbers. However, computer experiments suggest that mesh patterns 123 and 132 may indeed be equidistributed. Furthermore, by considering symmetric shadings relative to the anti-diagonal, a maximum of 93 such equidistributed pairs can potentially exist. This paper establishes 75 such equidistributions, leaving the justification of the remaining cases as open problems. As a by-product, we also prove 36 relevant non-symmetric equidistributions. All our proofs are bijective and involve swapping occurrences of the patterns in question, thereby demonstrating their joint equidistribution. Our findings are a continuation of the systematic study of distributions of short-length mesh patterns initiated by Kitaev and Zhang in 2019.

A universal cycle (u-cycle) for permutations of length $n$ is a cyclic word, any size $n$ window of which is order-isomorphic to exactly one permutation of length $n$, and all permutations of length $n$ are covered. It is known that u-cycles for permutations exist, and they have been considered in the literature in several papers from different points of view. In this paper, we show how to construct a family of u-cycles for multi-dimensional permutations, which is based on applying an appropriate greedy algorithm. Our construction is a generalisation of the greedy way by Gao et al. to construct u-cycles for permutations. We also note the existence of u-cycles for $d$-dimensional matrices.

An orientation of a graph is semi-transitive if it contains no directed cycles and has no shortcuts. An undirected graph is semi-transitive if it can be oriented in a semi-transitive manner. The class of semi-transitive graphs includes several important graph classes. The Mycielski graph of an undirected graph is a larger graph constructed in a specific manner, which maintains the property of being triangle-free but increases the chromatic number. In this note, we prove Hameed's conjecture, which states that the Mycielski graph of a graph $G$ is semi-transitive if and only if $G$ is a bipartite graph. Notably, our solution to the conjecture provides an alternative and shorter proof of the Hameed's result on a complete characterization of semi-transitive extended Mycielski graphs.

The notion of a $k$-11-representable graph was introduced by Jeff Remmel in 2017 and studied by Cheon et al.\ in 2019 as a natural extension of the extensively studied notion of word-representable graphs, which are precisely 0-11-representable graphs. A graph $G$ is $k$-11-representable if it can be represented by a word $w$ such that for any edge (resp., non-edge) $xy$ in $G$ the subsequence of $w$ formed by $x$ and $y$ contains at most $k$ (resp., at least $k+1$) pairs of consecutive equal letters. A remarkable result of Cheon at al.\ is that {\em any} graph is 2-11-representable, while it is unknown whether every graph is 1-11-representable. Cheon et al.\ showed that the class of 1-11-representable graphs is strictly larger than that of word-representable graphs, and they introduced a useful toolbox to study 1-11-representable graphs. In this paper, we introduce new tools for studying 1-11-representation of graphs. We apply them for establishing 1-11-representation of Chvátal graph, Mycielski graph, split graphs, and graphs whose vertices can be partitioned into a comparability graph and an independent set.

We prove a conjecture of Gao and Kitaev on Wilf-equivalence of sets of patterns {12345,12354} and {45123,45213} that extends the list of 10 related conjectures proved in the literature in a series of papers. To achieve our goals, we prove generalized versions of shape-Wilf-equivalence results of Backelin, West, and Xin and use a particular result on shape-Wilf-equivalence of monotone patterns. We also derive general results on shape-Wilf-equivalence of certain classes of partially ordered patterns and use their specialization (also appearing in a paper by Bloom and Elizalde) as an essential piece in proving the conjecture. Our results allow us to show (shape-)Wilf-equivalence of large classes of sets of patterns, including 11 out of 12 classes found by Bean et al. in relation to the conjecture.

We derive functional equations for distributions of six classical statistics (ascents, descents, left-to-right maxima, right-to-left maxima, left-to-right minima, and right-to-left minima) on separable and irreducible separable permutations. The equations are used to find a third degree equation for joint distribution of ascents and descents on separable permutations that generalizes the respective known result for the descent distribution. Moreover, our general functional equations allow us to derive explicitly (joint) distribution of any subset of maxima and minima statistics on irreducible, reducible and all separable permutations. In particular, there are two equivalence classes of distributions of a pair of maxima or minima statistics. Finally, we present three unimodality conjectures about distributions of statistics on separable permutations.

Word-representable graphs, which are the same as semi-transitively orientable graphs, generalize several fundamental classes of graphs. In this paper we propose a novel approach to study word-representability of graphs using a technique of homomorphisms. As a proof of concept, we apply our method to show word-representability of the simplified graph of overlapping permutations that we introduce in this paper. For another application, we obtain results on word-representability of certain subgraphs of simplified de Bruijn graphs that were introduced recently by Petyuk and studied in the context of word-representability.

A partial order $\prec$ on $[n]$ is naturally labelled (NL) if $x\prec y$ implies $x<y$. We establish a bijection between {3, 2+2}-free NL posets and 12-34-avoiding permutations, determine functional equations satisfied by their generating function, and use series analysis to investigate their asymptotic growth, presenting evidence of stretched exponential behaviour. We also exhibit bijections between 3-free NL posets and various other objects, and determine their generating function. The connection between our results and a hierarchy of combinatorial objects related to interval orders is described.

Finding distributions of permutation statistics over pattern-avoiding classes of permutations attracted much attention in the literature. In particular, Bukata et al. found distributions of ascents and descents on permutations avoiding any two patterns of length 3. In this paper, we generalize these results in two different ways: we find explicit formulas for the joint distribution of six statistics (asc, des, lrmax, lrmin, rlmax, rlmin), and also explicit formulas for the joint distribution of four statistics (asc, des, MNA, MND) on these permutations in all cases. The latter result also extends the recent studies by Kitaev and Zhang of the statistics MNA and MND (related to non-overlapping occurrences of ascents and descents) on stack-sortable permutations. All multivariate generating functions in our paper are rational, and we provide combinatorial proofs of five equidistribution results that can be derived from the generating functions.

The Eulerian polynomials $A_n(x)$ give the distribution of descents over permutations. It is also known that the distribution of descents over stack-sortable permutations (i.e. permutations sortable by a certain algorithm whose internal storage is limited to a single stack data structure) is given by the Narayana numbers $\frac{1}{n}{n \choose k}{n \choose k+1}$. On the other hand, as a corollary of a much more general result, the distribution of the statistic ``maximum number of non-overlapping descents'', MND, over all permutations is given by $\sum_{n,k \geq 0}D_{n,k}x^k\ frac{t^n}{n!}=\frac{e^t}{1-x(1+(t-1)e^t)}$. In this paper, we show that the distribution of MND over stack-sortable permutations is given by $\frac{1}{n+1}{n+1\choose 2k+1}{n+k \choose k}$. We give two proofs of the result via bijections with rooted plane (binary) trees allowing us to control MND. Moreover, we show combinatorially that MND is equidistributed with the statistic MNA, the maximum number of non-overlapping ascents, over stack-sortable permutations. The last fact is obtained by establishing an involution on stack-sortable permutations that gives equidistribution of 8 statistics.

This paper introduces the notion of mesh patterns in multidimensional permutations and initiates a systematic study of singleton mesh patterns (SMPs), which are multidimensional mesh patterns of length 1. A pattern is avoidable if there exist arbitrarily large permutations that do not contain it. As our main result, we give a complete characterization of avoidable SMPs using an invariant of a pattern that we call its rank. We show that determining avoidability for a $d$-dimensional SMP $P$ of cardinality $k$ is an $O(d\cdot k)$ problem, while determining rank of $P$ is an NP-complete problem. Additionally, using the notion of a minus-antipodal pattern, we characterize SMPs which occur at most once in any $d$-dimensional permutation. Lastly, we provide a number of enumerative results regarding the distributions of certain general projective, plus-antipodal, minus-antipodal and hyperplane SMPs.

A crucial permutation is a permutation that avoids a given set of prohibitions, but any of its extensions, in an allowable way, results in a prohibition being introduced. In this paper, we introduce five natural types of crucial permutations with respect to monotone patterns, notably quadrocrucial permutations that are linked most closely to Erdős-Szekeres extremal permutations. The way we define right-crucial and bicrucial permutations is consistent with the definition of respective permutations studied in the literature in the contexts of other prohibitions. For each of the five types, we provide its characterization in terms of Young tableaux via the RSK correspondence. Moreover, we use the characterizations to prove that the number of such permutations of length $n$ is growing when $n\to\infty$, and to enumerate minimal crucial permutations in all but one case. We also provide other enumerative results.

Partially ordered patterns (POPs) generalize the notion of classical patterns studied in the literature in the context of permutations, words, compositions and partitions. In this paper, we give a number of general, and specific enumerative results for POPs in permutations defined by bipartite graphs, substantially extending the list of known results in this direction. In particular, we completely characterize the Wilf-equivalence for patterns defined by the N-shape posets.

A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$. Recognizing semi-transitive orientability of a graph is an NP-complete problem. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. Semi-transitive orientability of spit graphs was recently studied in the literature. The main result in this paper is proving that recognition of semi-transitive orientability of split graphs can be done in a polynomial time. We also characterize, in terms of minimal forbidden induced subgraphs, semi-transitively orientable split graphs with the size of the independent set at most 3, hence extending the known classification of such graphs with the size of the clique at most 5.

A graph is word-representable if it can be represented in a certain way using alternation of letters in words. Word-representable graphs generalise several important and well-studied classes of graphs, and they can be characterised by semi-transitive orientations. Recognising word-representability is an NP-complete problem, and the bottleneck of the theory of word-representable graphs is convincing someone that a graph is non-word-representable, keeping in mind that references to (even publicly available and user-friendly) software are not always welcome. (Word-representability can be justified by providing a semi-transitive orientation as a certificate that can be checked in polynomial time.) In the literature, a variety of (usually ad hoc) proofs of non-word-representability for particular graphs, or families of graphs, appear, but for a randomly selected graph, one should expect looking at O(2^{#{edges}}) orientations and justifying that none of them is semi-transitive. In this paper, we develop methods for an automatic search of human-verifiable proofs of graph non-word-representability. As a proof-of-concept, we provide ``short'' proofs of non-word-representability, generated automatically by our publicly available user-friendly software, of the Shrikhande graph on 16 vertices and 48 edges (6 ``lines'' of proof) and the Clebsch graph on 16 vertices and 40 edges (10 ``lines'' of proof). As a bi-product of our studies, we correct two mistakes published multiple times (two graphs out of the 25 non-word-representable graphs on 7 vertices were actually word-representable, while two non-word-representable graphs on 7 vertices were missing).

A directed graph is semi-transitive if and only if it is acyclic and for any directed path $u_1\rightarrow u_2\rightarrow \cdots \rightarrow u_t$, $t \geq 2$, either there is no edge from $u_1$ to $u_t$ or all edges $u_i\rightarrow u_j$ exist for $1 \leq i < j \leq t$. In this paper, we study semi-transitivity of families of directed split graphs obtained by iterations of morphisms applied to the adjacency matrices and giving in the limit infinite directed split graphs. A split graph is a graph in which the vertices can be partitioned into a clique and an independent set. We fully classify semi-transitive infinite directed split graphs when a morphism in question can involve any $n\times m$ matrices over $\{-1,0,1\}$ with a single natural condition.

We introduce the notion of a properly ordered coloring (POC) of a weighted graph, that generalizes the notion of vertex coloring of a graph. Under a POC, if $xy$ is an edge, then the larger weighted vertex receives a larger color; in the case of equal weights of $x$ and $y$, their colors must be different. In this paper, we shall initiate the study of this special coloring in graphs. For a graph $G$, we introduce the function $f(G)$ which gives the maximum number of colors required by a POC over all weightings of $G$. We show that $f(G)=\ell(G)$, where $\ell(G)$ is the number of vertices of a longest path in $G$. Another function we introduce is $χ_{POC}(G;t)$ giving the minimum number of colors required over all weightings of $G$ using $t$ distinct weights. We show that the ratio of $χ_{POC}(G;t)-1$ to $χ(G)-1$ can be bounded by $t$ for any graph $G$; in fact, the result is shown by determining $χ_{POC}(G;t)$ when $G$ is a complete multipartite graph. We also determine the minimum number of colors to give a POC on a vertex-weighted graph in terms of the number of vertices of a longest directed path in an orientation of the underlying graph. This extends the so called Gallai-Hasse-Roy-Vitaver theorem, a classical result concerning the relationship between the chromatic number of a graph $G$ and the number of vertices of a longest directed path in an orientation of $G$.

We give a brief overview of the life and combinatorics of Jeff Remmel, a mathematician with successful careers in both logic and combinatorics.