permutation ↗ reference
4994 papers tagged with this keyword
Toward permutation bases in the equivariant cohomology rings of regular semisimple Hessenberg varieties
Published in La Matematica, 2021
• View Publication
• BIB
Recent work of Shareshian and Wachs, Brosnan and Chow, and Guay-Paquet connects the well-known Stanley-Stembridge conjecture in combinatorics to the dot action of the symmetric group $S_n$ on the cohomology rings $H^*(Hess(S,h))$ of regular semisimple Hessenberg varieties. In particular, in order to prove the Stanley-Stembridge conjecture, it suffices to construct (for any Hessenberg function $h$) a permutation basis of $H^*(Hess(S,h))$ whose elements have stabilizers isomorphic to Young subgroups. In this manuscript we give several results which contribute toward this goal. Specifically, in some special cases, we give a new, purely combinatorial construction of classes in the $T$-equivariant cohomology ring $H^*_T(Hess(S,h))$ which form permutation bases for subrepresentations in $H^*_T(Hess(S,h))$. Moreover, from the definition of our classes it follows that the stabilizers are isomorphic to Young subgroups. Our constructions use a presentation of the $T$-equivariant cohomology rings $H^*_T(Hess(S,h))$ due to Goresky, Kottwitz, and MacPherson. The constructions presented in this manuscript generalize past work of Abe-Horiguchi-Masuda, Chow, and Cho-Hong-Lee.
The diagonal graph
According to the O'Nan--Scott Theorem, a finite primitive permutation group either preserves a structure of one of three types (affine space, Cartesian lattice, or diagonal semilattice), or is almost simple. However, diagonal groups are a much larger class than those occurring in this theorem. For any positive integer $m$ and group $G$ (finite or infinite), there is a diagonal semilattice, a sub-semilattice of the lattice of partitions of a set $Ω$, whose automorphism group is the corresponding diagonal group. Moreover, there is a graph (the diagonal graph), bearing much the same relation to the diagonal semilattice and group as the Hamming graph does to the Cartesian lattice and the wreath product of symmetric groups.
Our purpose here, after a brief introduction to this semilattice and graph, is to establish some properties of this graph. The diagonal graph $Γ_D(G,m)$ is a Cayley graph for the group~$G^m$, and so is vertex-transitive. We establish its clique number in general and its chromatic number in most cases, with a conjecture about the chromatic number in the remaining cases. We compute the spectrum of the adjacency matrix of the graph, using a calculation of the Möbius function of the diagonal semilattice. We also compute some other graph parameters and symmetry properties of the graph.
We believe that this family of graphs will play a significant role in algebraic graph theory.
Distance-regular graphs obtained from the Mathieu groups
In this paper we construct distance-regular graphs admitting a transitive action of the five sporadic simple groups discovered by E. Mathieu, the Mathieu groups $M_{11}$, $M_{12}$, $M_{22}$, $M_{23}$ and $M_{24}$. From the code spanned by the adjacency matrix of the strongly regular graph with parameters (176,70,18,34) we obtain block designs having the full automorphism groups isomorphic to the Higman-Sims finite simple group. Further, we discuss a possibility of permutation decoding of the codes spanned by the adjacency matrices of the graphs constructed and find small PD-sets for some of the codes.
Transformation à la Foata for special kinds of descents and excedances
Published
• View Publication
• BIB
A pure excedance in a permutation $π=π_1π_2\ldots π_n$ is a position $i<π_i$ such that there is no $j<i$ with $i\leq π_j<π_i$. We present a one-to-one correspondence on the symmetric group that transports pure excedances to descents of special kind. As a byproduct, we prove that the popularity of pure excedances equals those of pure descents on permutations, while their distributions are different.
Existence results for cyclotomic orthomorphisms
Published in J. Algebr. Comb. 46 (2017), 1-14
• View Publication
• BIB
An {\em orthomorphism} over a finite field $\mathbb{F}$ is a permutation $θ:\mathbb{F}\mapsto\mathbb{F}$ such that the map $x\mapstoθ(x)-x$ is also a permutation of $\mathbb{F}$. The orthomorphism $θ$ is {\em cyclotomic of index $k$} if $θ(0)=0$ and $θ(x)/x$ is constant on the cosets of a subgroup of index $k$ in the multiplicative group $\mathbb{F}^*$. We say that $θ$ has {\em least index} $k$ if it is cyclotomic of index $k$ and not of any smaller index. We answer an open problem due to Evans by establishing for which pairs $(q,k)$ there exists an orthomorphism over $\mathbb{F}_q$ that is cyclotomic of least index $k$.
Two orthomorphisms over $\mathbb{F}_q$ are orthogonal if their difference is a permutation of $\mathbb{F}_q$. For any list $[b_1,\dots,b_n]$ of indices we show that if $q$ is large enough then $\mathbb{F}_q$ has pairwise orthogonal orthomorphisms of least indices $b_1,\dots,b_n$. This provides a partial answer to another open problem due to Evans. For some pairs of small indices we establish exactly which fields have orthogonal orthomorphisms of those indices. We also find the number of linear orthomorphisms that are orthogonal to certain cyclotomic orthomorphisms of higher index.
Permutations with exactly one copy of a decreasing pattern of length k
We construct an injection from the set of permutations of length $n$ that contain exactly one copy of the decreasing pattern of length $k$ to the set of permutations of length $n+2$ that avoid that pattern. We then prove that the generating function counting the former is not rational, and in the case when $k$ is even and $k\geq 4$, it is not even algebraic. We extend our injection and our nonrationality result to a larger class of patterns.
From Hertzsprung's problem to pattern-rewriting systems
Published
• View Publication
• BIB
Drawing on a problem posed by Hertzsprung in 1887, we say that a given permutation $π\in\mathcal{S}_n$ contains the Hertzsprung pattern $σ\in\mathcal{S}_k$ if there is factor $π(d+1)π(d+2)\cdotsπ(d+k)$ of $π$ such that $π(d+1)-σ(1) =\cdots = π(d+k)-σ(k)$. Using a combination of the Goulden-Jackson cluster method and the transfer-matrix method we determine the joint distribution of occurrences of any set of (incomparable) Hertzsprung patterns, thus substantially generalizing earlier results by Jackson et al. on the distribution of ascending and descending runs in permutations. We apply our results to the problem of counting permutations up to pattern-replacement equivalences, and using pattern-rewriting systems -- a new formalism similar to the much studied string-rewriting systems -- we solve a couple of open problems raised by Linton et al. in 2012.
Maximal discrete sets
Published in Set Theory and Infinity, RIMS Kôkyûroku No.2164, 2019
• Search Publication
We survey results regarding the definability and size of maximal discrete sets in analytic hypergraphs. Our main examples include maximal almost disjoint (or mad) families, $\mathcal I$-mad families, maximal eventually different families, and maximal cofinitary groups. We discuss the non-increasing sequence of cardinal characteristics $\mathfrak a_ξ$, for $ξ<ω_1$ as well as the notions of spectra of characteristics and optimal projective witnesses. We give an account of Zhang's forcing to add generic cofinitary permutations, and of a version of this forcing with built-in coding.
Matrix patterns with bounded saturation function
A 0-1 matrix $M$ contains a 0-1 matrix pattern $P$ if we can obtain $P$ from $M$ by deleting rows and/or columns and turning arbitrary 1-entries into 0s. The saturation function $\mathrm{sat}(P,n)$ for a 0-1 matrix pattern $P$ indicates the minimum number of 1s in a $n \times n$ 0-1 matrix that does not contain $P$, but changing any 0-entry into a 1-entry creates an occurrence of $P$. Fulek and Keszegh recently showed that the saturation function is either bounded or in $Θ(n)$. Building on their results, we find a large class of patterns with bounded saturation function, including both infinitely many permutation matrices and infinitely many non-permutation matrices.
Almost all permutation matrices have bounded saturation functions
Published
• View Publication
• BIB
Saturation problems for forbidden graphs have been a popular area of research for many decades, and recently Brualdi and Cao initiated the study of a saturation problem for 0-1 matrices. We say that 0-1 matrix $A$ is saturating for the forbidden 0-1 matrix $P$ if $A$ avoids $P$ but changing any zero to a one in $A$ creates a copy of $P$. Define $sat(n, P)$ to be the minimum possible number of ones in an $n \times n$ 0-1 matrix that is saturating for $P$. Fulek and Keszegh proved that for every 0-1 matrix $P$, either $sat(n, P) = O(1)$ or $sat(n, P) = Θ(n)$. They found two 0-1 matrices $P$ for which $sat(n, P) = O(1)$, as well as infinite families of 0-1 matrices $P$ for which $sat(n, P) = Θ(n)$. Their results imply that $sat(n, P) = Θ(n)$ for almost all $k \times k$ 0-1 matrices $P$.
Fulek and Keszegh conjectured that there are many more 0-1 matrices $P$ such that $sat(n, P) = O(1)$ besides the ones they found, and they asked for a characterization of all permutation matrices $P$ such that $sat(n, P) = O(1)$. We affirm their conjecture by proving that almost all $k \times k$ permutation matrices $P$ have $sat(n, P) = O(1)$. We also make progress on the characterization problem, since our proof of the main result exhibits a family of permutation matrices with bounded saturation functions.
A local injective proof of log-concavity for increasing spanning forests
Published
• View Publication
• BIB
We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to similar proofs in the literature, our injection is local in the sense that it proceeds by moving a single edge from one forest to the other. In the particular case of the complete graph, this gives a new combinatorial proof of log-concavity of unsigned Stirling numbers of the first kind where a pair of permutations is transformed into a new pair by breaking a single cycle in the first permutation and gluing two cycles in the second permutation, while all the other spectator cycles are left untouched.
On Valency Problems of Saxl Graphs
Published
• View Publication
• BIB
Let $G$ be a permutation group on a set $Ω$ and recall that a base for $G$ is a subset of $Ω$ such that its pointwise stabiliser is trivial. In a recent paper, Burness and Giudici introduced the Saxl graph of $G$, denoted $Σ(G)$, with vertex set $Ω$ and two vertices adjacent if they form a base. If $G$ is transitive, then $Σ(G)$ is vertex-transitive and it is natural to consider its valency (which we refer to as the valency of $G$). In this paper we present a general method for computing the valency of any finite transitive group and we use it to calculate the exact valency of every primitive group with stabiliser a Frobenius group with cyclic kernel. As an application, we calculate the valency of every almost simple primitive group with an alternating socle and soluble stabiliser and we use this to extend results of Burness and Giudici on almost simple primitive groups with prime-power or odd valency.
On the Möbius function of permutations under the pattern containment order
Published
• View Publication
• BIB
We study several aspects of the Möbius function, $μ[σ,π]$, on the poset of permutations under the pattern containment order.
First, we consider cases where the lower bound of the poset is indecomposable. We show that $μ[σ,π]$ can be computed by considering just the indecomposable permutations contained in the upper bound. We apply this to the case where the upper bound is an increasing oscillation, and give a method for computing the value of the Möbius function that only involves evaluating simple inequalities.
We then consider conditions on an interval which guarantee that the value of the Möbius function is zero. In particular, we show that if a permutation $π$ contains two intervals of length 2, which are not order-isomorphic to one another, then $μ[1,π] = 0$. This allows us to prove 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 $π$.
Following this, we use ''2413-balloon'' permutations to show that the growth of the principal Möbius function on the permutation poset is exponential. This improves on previous work, which has shown that the growth is at least polynomial.
We then generalise 2413-balloon permutations, and find a recursion for the value of the principal Möbius function of these generalisations.
Quantum symmetry vs nonlocal symmetry
We introduce the notion of nonlocal symmetry of a graph $G$, defined as a winning quantum correlation for the $G$-automorphism game that cannot be produced classically. Recent connections between quantum group theory and quantum information show that quantum correlations for this game correspond to tracial states on $C(\text{Qut}(G))$ -- the algebra of functions on the quantum automorphism group of $G$. This allows us to also define nonlocal symmetry for any quantum permutation group. We investigate the differences and similarities between this and the notion of quantum symmetry, defined as non-commutativity of $C(\text{Qut}(G))$. Roughly speaking, quantum symmetry vs nonlocal symmetry can be viewed respectively as non-classicality of our model of reality vs non-classicality of our observation of reality.
We show that quantum symmetry is necessary but not sufficient for nonlocal symmetry. In particular, we show that the complete graph on five vertices is the only connected graph on five or fewer vertices with nonlocal symmetry, despite a dozen others having quantum symmetry. In particular this shows that the quantum symmetric group on four points, $S_4^+$, does not exhibit nonlocal symmetry, answering a question from the literature. In contrast to quantum symmetry, we show that two disjoint classical automorphisms do not guarantee nonlocal symmetry. However, three disjoint automorphisms do suffice. We also give a construction of quantum permutation matrices built from a finite abelian group $Γ$ and a permutation $π$ on $|Γ|$ elements. Computational evidence suggests that for cyclic groups of increasing size almost all permutations $π$ result in nonlocal symmetry. Surprisingly, the construction never results in nonlocal symmetry when $\mathbb{Z}_2^3$ is used. We also investigate under what conditions nonlocal symmetry arises when taking unions or products of graphs.
Natural quasirandomness properties
Published
• View Publication
• BIB
The theory of quasirandomness has greatly expanded from its inaugural graph theoretical setting to several different combinatorial objects such as hypergraphs, tournaments, permutations, etc. However, these quasirandomness variants have been done in an ad-hoc case-by-case manner. In this paper, we propose three new hierarchies of quasirandomness properties that can be naturally defined for arbitrary combinatorial objects. Our properties are also "natural" in more formal sense: they are preserved by local combinatorial constructions (encoded by open interpretations). We show that our quasirandomness properties have several different but equivalent characterizations that are similar to hypergraph quasirandomness properties. We also prove several implications and separations comparing them to each other and to what has been known for hypergraphs.
The main notion explored by our statements and proofs is that of unique coupleability: two limit objects are uniquely coupleable if there is a unique limit object in the combined theory that is an alignment (i.e., a coupling) of these two objects.
On weak twins and up-and-down sub-permutations
Published
• View Publication
• BIB
Two permutations $(x_1,\dots,x_w)$ and $(y_1,\dots,y_w)$ are weakly similar if $x_i<x_{i+1}$ if and only if $y_i<y_{i+1}$ for all $1\leqslant i \leqslant w$. Let $π$ be a permutation of the set $[n]=\{1,2,\dots, n\}$ and let $wt(π)$ denote the largest integer $w$ such that $π$ contains a pair of disjoint weakly similar sub-permutations (called weak twins) of length $w$. Finally, let $wt(n)$ denote the minimum of $wt(π)$ over all permutations $π$ of $[n]$. Clearly, $wt(n)\le n/2$. In this paper we show that $\tfrac n{12}\le wt(n)\le\tfrac n2-Ω(n^{1/3})$.
We also study a variant of this problem. Let us say that $π'=(π(i_1),...,π(i_j))$, $i_1<\cdots<i_j$, is an alternating (or up-and-down) sub-permutation of $π$ if $π(i_1)>π(i_2)<π(i_3)>...$ or $π(i_1)<π(i_2)>π(i_3)<...$. Let $Π_n$ be a random permutation selected uniformly from all $n!$ permutations of $[n]$. It is known that the length of a longest alternating permutation in $Π_n$ is asymptotically almost surely (a.a.s.) close to $2n/3$. We study the maximum length $α(n)$ of a pair of disjoint alternating sub-permutations in $Π_n$ and show that there are two constants $1/3<c_1<c_2<1/2$ such that a.a.s. $c_1n\le α(n)\le c_2n$.
In addition, we show that the alternating shape is the most popular among all permutations of a given length.
On the homotopy type of intersections of two real Bruhat cells
Published
• View Publication
• BIB
Real Bruhat cells give an important and well studied stratification of such spaces as $GL_{n+1}$, $Flag_{n+1} = SL_{n+1}/B$, $SO_{n+1}$ and $Spin_{n+1}$. We study the intersections of a top dimensional cell with another cell (for another basis). Such an intersection is naturally identified with a subset of the lower nilpotent group $Lo_{n+1}^{1}$. We are particularly interested in the homotopy type of such intersections. In this paper we define a stratification of such intersections. As a consequence, we obtain a finite CW complex which is homotopically equivalent to the intersection.
We compute the homotopy type for several examples. It turns out that for $n \le 4$ all connected components of such subsets of $Lo_{n+1}^1$ are contractible: we prove this by explicitly constructing the corresponding CW complexes. Conversely, for $n \ge 5$ and the top permutation, there is always a connected component with even Euler characteristic, and therefore not contractible. This follows from formulas for the number of cells per dimension of the corresponding CW complex. For instance, for the top permutation $S_6$, there exists a connected component with Euler characteristic equal to $2$. We also give an example of a permutation in $S_6$ for which there exists a connected component which is homotopically equivalent to the circle $S^1$.
Recursive methods for some problems in coding and random permutations
Published
• View Publication
• BIB
In this paper, we study three applications of recursion to problems in coding and random permutations. First, we consider locally recoverable codes with partial locality and use recursion to estimate the minimum distance of such codes. Next we consider weighted lattice representative codes and use recursive subadditive techniques to obtain convergence of the minimum code size. Finally, we obtain a recursive relation involving cycle moments in random permutations and as an illustration, evaluate recursions for the mean and variance.
Proper permutations, Schubert geometry, and randomness
Published in J. Comb. 13 (2022), no. 4, 561-574
• View Publication
• BIB
We define and study proper permutations. Properness is a geometrically natural necessary criterion for a Schubert variety to be Levi-spherical. We prove the probability that a random permutation is proper goes to zero in the limit.
Induced Disjoint Paths in AT-free Graphs
Published
• View Publication
• BIB
Paths $P_1,\ldots,P_k$ in a graph $G=(V,E)$ are mutually induced if any two distinct $P_i$ and $P_j$ have neither common vertices nor adjacent vertices (except perhaps their end-vertices). The Induced Disjoint Paths problem is to decide if a graph $G$ with $k$ pairs of specified vertices $(s_i,t_i)$ contains $k$ mutually induced paths $P_i$ such that each $P_i$ connects $s_i$ and $t_i$. This is a classical graph problem that is NP-complete even for $k=2$. We study it for AT-free graphs.
Unlike its subclasses of permutation graphs and cocomparability graphs, the class of AT-free graphs has no geometric intersection model. However, by a new, structural analysis of the behaviour of Induced Disjoint Paths for AT-free graphs, we prove that it can be solved in polynomial time for AT-free graphs even when $k$ is part of the input. This is in contrast to the situation for other well-known graph classes, such as planar graphs, claw-free graphs, or more recently, (theta,wheel)-free graphs, for which such a result only holds if $k$ is fixed.
As a consequence of our main result, the problem of deciding if a given AT-free graph contains a fixed graph $H$ as an induced topological minor admits a polynomial-time algorithm. In addition, we show that such an algorithm is essentially optimal by proving that the problem is W[1]-hard with parameter $|V_H|$, even on a subclass of AT-free graph, namely cobipartite graphs. We also show that the problems $k$-in-a-Path and $k$-in-a-Tree are polynomial-time solvable on AT-free graphs even if $k$ is part of the input. These problems are to test if a graph has an induced path or induced tree, respectively, spanning $k$ given vertices.