Decidability in geometric grid classes of permutations

Samuel Braunfeld

2024-09-15

Abstract:We prove that the basis and the generating function of a geometric grid class of permutations Geom$(M)$ are computable from the matrix $M$, as well as some variations on this result. Our main tool is monadic second-order logic on permutations and words.

Combinatorics,Logic

What problem does this paper attempt to address?

On cycles in monotone grid classes of permutations

David Bevan,Robert Brignall,Nik Ruškuc

2024-10-08

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

Combinatorics
On the asymptotic enumeration and limit shapes of monotone grid classes of permutations

Noura Alshammari,David Bevan

2024-08-01

Abstract:We exhibit a procedure to asymptotically enumerate monotone grid classes of permutations. This is then applied to compute the asymptotic number of permutations in any connected one-corner class. Our strategy consists of enumerating the gridded permutations, finding the asymptotic distribution of points between the cells in a typical large gridded permutation, and analysing in detail the ways in which a typical permutation can be gridded. We also determine the limit shape of any connected monotone grid class.

Combinatorics
From geometry to generating functions: rectangulations and permutations

Andrei Asinowski,Cyril Banderier

2024-03-30

Abstract:We enumerate several classes of pattern-avoiding rectangulations. We establish new bijective links with pattern-avoiding permutations, prove that their generating functions are algebraic, and confirm several conjectures by Merino and Mütze. We also analyze a new class of rectangulations, called whirls, using a generating tree.

Discrete Mathematics,Computational Geometry,Formal Languages and Automata Theory,Combinatorics
On Supmodular Matrices

Shmuel Onn

DOI: https://doi.org/10.1080/03081087.2023.2256939

2023-09-14

Abstract:We consider the problem of determining which matrices are permutable to be supmodular. We show that for small dimensions any matrix is permutable by a universal permutation or by a pair of permutations, while for higher dimensions no universal permutation exists. We raise several questions including to determine the dimensions in which every matrix is permutable.

Combinatorics,Discrete Mathematics,Data Structures and Algorithms,Optimization and Control
On meandric permutations

Viktor Lopatkin

2024-10-08

Abstract:We give a bijection between meanders and special sorts of Gauss diagrams which aroused from the Thurston generators of braid groups. It allows us to give an algorithm to construct such diagrams and to code meanders by matrices which are exactly incident matrices of the corresponding adjacency graphs of the diagrams. Finally, we show that these matrices are idempotent over the field $\mathsf{GF}(2)$, and obtain a criterion for a permutation to be meandric.

Algebraic Topology,Geometric Topology
Permutation-Like Matrices

Steven Robert Lippold

2024-03-05

Abstract:Permutation Matrices are a well known class of matrices which encode the elements of the symmetric group on $d$ elements as a square $d\times d$ matrix. Motivated by [4], we define a similar class of matrices which are a generalization of Permutation Matrices. We give explicit formulas for the multiplication of these matrices. Lastly, we discuss the spectral radius, eigenvalues, and periodicity before giving a form of Birkhoff-Von Neumann's Theorem for Left Stochastic Matrices.

Rings and Algebras
Proper permutations, Schubert geometry, and randomness

David Brewster,Reuven Hodges,Alexander Yong

DOI: https://doi.org/10.48550/arXiv.2012.09749

2020-12-18

Abstract: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.

Combinatorics
A geometric approach to conjugation-invariant random permutations

Victor Dubach

2024-04-16

Abstract:We propose a new approach to conjugation-invariant random permutations. Namely, we explain how to construct uniform permutations in given conjugacy classes from certain point processes in the plane. This enables the use of geometric tools to study various statistics of such permutations. For their longest decreasing subsequences, we prove universality of the $2\sqrt n$ asymptotic. For Robinson--Schensted shapes, we prove universality of the Vershik--Kerov--Logan--Shepp limit curve, thus solving a conjecture of Kammoun. For the number of records, we establish a phase transition phenomenon as the number of fixed points grows. For pattern counts, we obtain an asymptotic normality result, partially answering a conjecture of Hamaker and Rhoades.

Probability,Combinatorics
Diagrams and essential sets for signed permutations

David Anderson

DOI: https://doi.org/10.48550/arXiv.1612.08670

2016-12-28

Abstract:We introduce diagrams and essential sets for signed permutations, extending the analogous notions for ordinary permutations. In particular, we show that the essential set provides a minimal list of rank conditions defining the Schubert variety or degeneracy locus corresponding to a signed permutation. Our essential set is in bijection with the poset-theoretic version defined by Reiner, Woo, and Yong, and thus gives an explicit, diagrammatic method for computing the latter.

Combinatorics,Algebraic Geometry
Permutations with a Given X-Descent Set

Mohamed Omar

2024-02-16

Abstract:Motivated by the work of Grinberg and Stanley, we investigate the enumeration of permutations with a given $X$-descent set, a generalization of the classical notion of a descent set. Our work expands on recent developments of Diaz-Lopez, Harris, Insko, Omar and Sagan and has interesting connections to Hamiltonian paths in directed graphs.

Combinatorics
Undecidability of translational monotilings

Rachel Greenfeld,Terence Tao

2023-10-25

Abstract:In the 60's, Berger famously showed that translational tilings of $\mathbb{Z}^2$ with multiple tiles are algorithmically undecidable. Recently, Bhattacharya proved the decidability of translational monotilings (tilings by translations of a single tile) in $\mathbb{Z}^2$. The decidability of translational monotilings in higher dimensions remained unsolved. In this paper, by combining our recently developed techniques with ideas introduced by Aanderaa and Lewis, we finally settle this problem, achieving the undecidability of translational monotilings of (periodic subsets of) virtually $\mathbb{Z}^2$ spaces, namely, spaces of the form $\mathbb{Z}^2\times G_0$, where $G_0$ is a finite Abelian group. This also implies the undecidability of translational monotilings in $\mathbb{Z}^d$, $d\geq 3$.

Combinatorics,Logic
On the effective and automatic enumeration of polynomial permutation classes

Cheyne Homberger,Vince Vatter

DOI: https://doi.org/10.48550/arXiv.1308.4946

2015-11-15

Abstract:We describe an algorithm, implemented in Python, which can enumerate any permutation class with polynomial enumeration from a structural description of the class. In particular, this allows us to find formulas for the number of permutations of length n which can be obtained by a finite number of block sorting operations (e.g., reversals, block transpositions, cut-and-paste moves).

Combinatorics
Decision problems on geometric tilings

Benjamin Hellouin de Menibus,Victor Lutfalla,Pascal Vanier

2024-09-18

Abstract:We study decision problems on geometric tilings. First, we study a variant of the Domino problem where square tiles are replaced by geometric tiles of arbitrary shape. We show that, under some weak assumptions, this variant is undecidable regardless of the shapes, extending previous results on rhombus tiles. This result holds even when the geometric tiling is forced to belong to a fixed set.Second, we consider the problem of deciding whether a geometric subshift has finite local complexity, which is a common assumption when studying geometric tilings. We show that it is undecidable even in a simple setting (square shapes with small modifications).

Discrete Mathematics
Descents in powers of permutations

Kassie Archer,Aaron Geary

2024-06-14

Abstract:We consider a few special cases of the more general question: How many permutations $\pi\in\mathcal{S}_n$ have the property that $\pi^2$ has $j$ descents for some $j$? In this paper, we first enumerate Grassmannian permutations $\pi$ by the number of descents in $\pi^2$. We then consider all permutations whose square has exactly one descent, fully enumerating when the descent is "small" and providing a lower bound in the general case. Finally, we enumerate permutations whose square or cube has the maximum number of descents, and finish the paper with a few future directions for study.

Combinatorics
Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions

Yunwen Chi,Kangquan Li,Longjiang Qu

2024-01-30

Abstract:In the literature, there are many results about permutation polynomials over finite fields. However, very few permutations of vector spaces are constructed although it has been shown that permutations of vector spaces have many applications in cryptography, especially in constructing permutations with low differential and boomerang uniformities.

Combinatorics,Information Theory
Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment

Mario Angelelli

2023-07-22

Abstract:We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a $\mathbb{Z}^{d}$-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in $\mathbb{C}(\mathbf{t})$ acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.

Commutative Algebra,Combinatorics,Rings and Algebras
Constructions of Two Classes of Permutation Polynomials

Chenfan Huang,Shixiong Xia,Fengrong Zhang,Yong Zhou

2019-01-01

Abstract:In this paper, we first investigate the constructions of permutation polynomials of the shape G(X)⊕γTr(H(X))) over F2n . A mapping function which transforms a Boolean function on n variables to a univariate function over F2n is provided. On basis of the mapping function, we put forward two methods for constructing two classes of univariate functions over F2n . Further, two classes of permutation polynomials of the shape G(X)⊕γTr(H(X))) can be obtained using the two classes of univariate functions. At last, based on the one-toone correspondence between Boolean permutations and Maiorana-McFarland’s (M-M) bent functions, we propose an algorithm to compute the algebraic normal form (ANF) of a 2kvariable M-M bent function from its truth-table. The complexity of this algorithm is much smaller than that of the Butterfly algorithm which is directly used to compute the ANF of a 2k-variable M-M bent function from its truth-table.
Irreducibility of Generalized Permutohedra, Supermodular Functions, and Balanced Multisets

Milan Haiman,Yuan Yao

2023-03-10

Abstract:We study generalized permutohedra and supermodular functions. Specifically we analyze decomposability and irreducibility for these objects and establish some asymptotic behavior. We also study a related problem on irreducibility for multisets.

Combinatorics
BiSC: An algorithm for discovering generalized permutation patterns

Henning Ulfarsson

2024-11-26

Abstract:Theorems relating permutations with objects in other fields of mathematics are often stated in terms of avoided patterns. Examples include various classes of Schubert varieties from algebraic geometry (Billey and Abe 2013), commuting functions in analysis (Baxter 1964), beta-shifts in dynamical systems (Elizalde 2011) and homology of representations (Sundaram 1994). We present a new algorithm, BiSC, that, given any set of permutations, outputs a conjecture for describing the set in terms of avoided patterns. The algorithm automatically conjectures the statements of known theorems such as the descriptions of smooth (Lakshmibai and Sandhya 1990) and forest-like permutations (Bousquet-M{é}lou and Butler 2007), Baxter permutations (Chung et al. 1978), stack-sortable (Knuth 1975) and West-2-stack-sortable permutations (West 1990). The algorithm has also been used to discover new theorems and conjectures related to the dihedral and alternating subgroups of the symmetric group, Young tableaux, Wilf-equivalences, and sorting devices.

Combinatorics
On the diagram of Schroeder permutations

Astrid Reifegerste

DOI: https://doi.org/10.48550/arXiv.math/0209227

2002-09-19

Abstract:Egge and Mansour have recently studied permutations which avoid 1243 and 2143 regarding the occurrence of certain additional patterns. Some of the open questions related to their work can easily be answered by using permutation diagrams. Like for 132-avoiding permutations the diagram approach gives insights into the structure of {1243,2143}-avoiding permutations that yield simple proofs for some enumerative results concerning forbidden patterns in such permutations.

Combinatorics

Decidability in geometric grid classes of permutations

On cycles in monotone grid classes of permutations

On the asymptotic enumeration and limit shapes of monotone grid classes of permutations

From geometry to generating functions: rectangulations and permutations

On Supmodular Matrices

On meandric permutations

Permutation-Like Matrices

Proper permutations, Schubert geometry, and randomness

A geometric approach to conjugation-invariant random permutations

Diagrams and essential sets for signed permutations

Permutations with a Given X-Descent Set

Undecidability of translational monotilings

On the effective and automatic enumeration of polynomial permutation classes

Decision problems on geometric tilings

Descents in powers of permutations

Constructing rotatable permutations of $\mathbb{F}_{2^m}^3$ with $3$-homogeneous functions

Combinatorial Reduction of Set Functions and Matroid Permutations through Minor Product Assignment

Constructions of Two Classes of Permutation Polynomials

Irreducibility of Generalized Permutohedra, Supermodular Functions, and Balanced Multisets

BiSC: An algorithm for discovering generalized permutation patterns

On the diagram of Schroeder permutations