arXiv++ Combinatorics

Browse math.CO papers from arXiv

permutation ↗ reference

4849 papers tagged with this keyword
2023-05-02 v2
When the Tracy-Singh product of matrices represents a certain operation on linear operators
Published in Communications in Algebra (2024) • View PublicationBIB
Given two linear transformations, with representing matrices $A$ and $B$ with respect to some bases, it is not clear, in general, whether the Tracy-Singh product of the matrices $A$ and $B$ corresponds to a particular operation on the linear transformations. Nevertheless, it is not hard to show that in the particular case that each matrix is a square matrix of order of the form $n^2$, $n>1$, and is partitioned into $n^2$ square blocks of order $n$, then their Tracy-Singh product, $A \boxtimes B$, is similar to $A \otimes B$, and the change of basis matrix is a permutation matrix. In this note, we prove that in the special case of linear operators induced from set-theoretic solutions of the Yang-Baxter equation, the Tracy-Singh product of their representing matrices is the representing matrix of the linear operator obtained from the direct product of the set-theoretic solutions.
2023-05-01 v4
Sequentially constrained Hamilton cycles in random graphs
We discuss the existence of Hamilton cycles in the random graph $G_{n,p}$ where there are restrictions caused by (i) coloring sequences, (ii) a subset of vertices must occur in a specific order and (iii) there is a bound on the number of inversions in the associated permutation.
Descent polynomials for labeled tree
Motivated by the properties of the descent polynomials, which enumerate permutations of $S_n$ with a fixed descent set, we define descent polynomials for labeled rooted trees. We give recursive and explicit formulas for these polynomials and show when known properties of the descent polynomials carry over to the setting of trees.
2023-04-28 v4
Consecutive Pattern Containment and c-Wilf Equivalence
We offer elementary proofs for several results in consecutive pattern containment that were previously demonstrated using ideas from cluster method and analytical combinatorics. Furthermore, we establish new general bounds on the growth rates of consecutive pattern avoidance in permutations.
2023-04-27 v2
Continued fractions using a Laguerre digraph interpretation of the Foata--Zeilberger bijection and its variants
In the combinatorial theory of continued fractions, the Foata--Zeilberger bijection and its variants have been extensively used to derive various continued fractions enumerating several (sometimes infinitely many) simultaneous statistics on permutations (combinatorial model for factorials) and D-permutations (combinatorial model for Genocchi and median Genocchi numbers). A Laguerre digraph is a digraph in which each vertex has in- and out-degrees $0$ or $1$. In this paper, we interpret the Foata--Zeilberger bijection in terms of Laguerre digraphs, which enables us to count cycles in permutations. Using this interpretation, we obtain Jacobi-type continued fractions for multivariate polynomials enumerating permutations, and also Thron-type and Stieltjes-type continued fractions for multivariate polynomials enumerating D-permutations, in both cases including the counting of cycles. This enables us to prove some conjectured continued fractions due to Sokal and Zeng (2022 Advances in Applied Mathematics) in the case of permutations, and Randrianarivony and Zeng (1996 Electronic Journal of Combinatorics) and Deb and Sokal (2024 Advances in Applied Mathematics) in the case of D-permutations.
Design and analysis of bent functions using $\mathcal{M}$-subspaces
In this article, we provide the first systematic analysis of bent functions $f$ on $\mathbb{F}_2^{n}$ in the Maiorana-McFarland class $\mathcal{MM}$ regarding the origin and cardinality of their $\mathcal{M}$-subspaces, i.e., vector subspaces on which the second-order derivatives of $f$ vanish. By imposing restrictions on permutations $π$ of $\mathbb{F}_2^{n/2}$, we specify the conditions, such that Maiorana-McFarland bent functions $f(x,y)=x\cdot π(y) + h(y)$ admit a unique $\mathcal{M}$-subspace of dimension $n/2$. On the other hand, we show that permutations $π$ with linear structures give rise to Maiorana-McFarland bent functions that do not have this property. In this way, we contribute to the classification of Maiorana-McFarland bent functions, since the number of $\mathcal{M}$-subspaces is invariant under equivalence. Additionally, we give several generic methods of specifying permutations $π$ so that $f\in\mathcal{MM}$ admits a unique $\mathcal{M}$-subspace. Most notably, using the knowledge about $\mathcal{M}$-subspaces, we show that using the bent 4-concatenation of four suitably chosen Maiorana-McFarland bent functions, one can in a generic manner generate bent functions on $\mathbb{F}_2^{n}$ outside the completed Maiorana-McFarland class $\mathcal{MM}^\#$ for any even $n\geq 8$. Remarkably, with our construction methods it is possible to obtain inequivalent bent functions on $\mathbb{F}_2^8$ not stemming from two primary classes, the partial spread class $\mathcal{PS}$ and $\mathcal{MM}$. In this way, we contribute to a better understanding of the origin of bent functions in eight variables, since only a small fraction, of which size is about $2^{76}$, stems from $\mathcal{PS}$ and $\mathcal{MM}$, whereas the total number of bent functions on $\mathbb{F}_2^8$ is approximately $2^{106}$.
2023-04-25
Quadratic rotation symmetric Boolean functions
Let $(0, a_1, \ldots, a_{d-1})_n$ denote the function $f_n(x_0, x_1, \ldots, x_{n-1})$ of degree $d$ in $n$ variables generated by the monomial $x_0x_{a_1} \cdots x_{a_{d-1}}$ and having the property that $f_n$ is invariant under cyclic permutations of the variables. Such a function $f_n$ is called monomial rotation symmetric (MRS). Much of this paper extends the work on quadratic MRS functions in a $2020$ paper of the authors to the case of binomial RS functions, that is sums of two quadratic MRS functions. There are also some results for the sum of any number of quadratic MRS functions.
2023-04-24 v2
Construction of Permutation Polynomials of Certain Specific Cycle Structure over Finite Fields
For a finite field of odd number of elements we construct families of permutation binomials and permutation trinomials with one fixed-point (namely zero) and remaining elements being permuted as disjoint cycles of same length. Binomials and trinomials providing permutations with cycles of many lengths with certain frequency are also constructed.
2023-04-14 v2
Decoding twisted permutation codes
We consider twisted permutation codes, a class of frequency permutation arrays obtained from finite groups with multiple permutation representations of the same degree, introduced by Gillespie, Praeger and Spiga (and later studied by Akbari, Gillespie and Praeger), and develop a decoding algorithm for such codes based on earlier work of the first author for permutation group codes. In particular, we show how to implement this algorithm for an infinite family of groups considered by Akbari, Gillespie and Praeger.
2023-04-13 v2
Continued fractions for cycle-alternating permutations
Published in Ramanujan J. 65, 1013-1060 (2024) • View PublicationBIB
A permutation is said to be cycle-alternating if it has no cycle double rises, cycle double falls or fixed points; thus each index $i$ is either a cycle valley ($σ^{-1}(i)>i<σ(i)$) or a cycle peak ($σ^{-1}(i)<i>σ(i)$). We find Stieltjes-type continued fractions for some multivariate polynomials that enumerate cycle-alternating permutations with respect to a large (sometimes infinite) number of simultaneous statistics that measure cycle status, record status, crossings and nestings along with the parity of the indices. Our continued fractions are specializations of more general continued fractions of Sokal and Zeng. We then introduce alternating Laguerre digraphs, which are generalization of cycle-alternating permutations, and find exponential generating functions for some polynomials enumerating them. We interpret the Stieltjes--Rogers and Jacobi--Rogers matrices associated to some of our continued fractions in terms of alternating Laguerre digraphs.
2023-04-13
Jack Derangements
For each integer partition $λ\vdash n$ we give a simple combinatorial expression for the sum of the Jack character $θ^λ_α$ over the integer partitions of $n$ with no singleton parts. For $α= 1,2$ this gives closed forms for the eigenvalues of the permutation and perfect matching derangement graphs, resolving an open question in algebraic graph theory. A byproduct of the latter is a simple combinatorial formula for the immanants of the matrix $J-I$ where $J$ is the all-ones matrix, which might be of independent interest. Our proofs center around a Jack analogue of a hook product related to Cayley's $Ω$--process in classical invariant theory, which we call the principal lower hook product.
Numerical ranges of cyclic shift matrices
We study the numerical range of an $n\times n$ cyclic shift matrix, which can be viewed as the adjacency matrix of a directed cycle with $n$ weighted arcs. In particular, we consider the change in the numerical range if the weights are rearranged or perturbed. In addition to obtaining some general results on the problem, a permutation of the given weights is identified such that the corresponding matrix yields the largest numerical range (in terms of set inclusion), for $n \le 6$. We conjecture that the maximizing pattern extends to general $n\times n$ cylic shift matrices. For $n \le 5$, we also determine permutations such that the corresponding cyclic shift matrix yields the smallest numerical range.
2023-04-10 v2
Three New Refined Arnold Families
The Springer numbers, introduced by Arnold, are generalizations of Euler numbers in the sense of Coxeter groups. They appear as the row sums of a double triangular array $(v_{n,k})$ of integers, $1\leq|k|\leq n$, defined recursively by a boustrophedon algorithm. We say a sequence of combinatorial objects $(X_{n,k})$ is an Arnold family if $X_{n,k}$ is counted by $v_{n,k}$. A polynomial refinement $V_{n,k}(t)$ of $v_{n,k}$, together with the combinatorial interpretations in several combinatorial structures was introduced by Eu and Fu recently. In this paper, we provide three new Arnold families of combinatorial objects, namely the cycle-up-down permutations, the valley signed permutations and Knuth's flip equivalences on permutations. We shall find corresponding statistics to realize the refined polynomial arrays.
2023-04-09
Combinatorial Statistics on Pattern-avoiding Permutations
The study of Mahonian statistics dated back to 1915 when MacMahon showed that the major index and the inverse number have the same distribution on a set of permutations with length n. Since then, many Mahonian statistics have been discovered and much effort have been done to find the equidistribution between two Mahonian statistics on permutations avoiding length-3 classical patterns. In recent years, Amini and Do et al. have done extensive research with various methods to prove the equidistributions, ranging from using generating functions, Dyck paths, block decompositions, to bijections. In this thesis, we will solve the conjectured equidistribution between bast and foze on Av(312) using the bijection method, as well as refine two established results by Do et al. with a combinatorial approach.
2023-04-09 v3
Enumeration of Payphone Permutations
Published in American Mathematical Monthly 131:6 (2024), 491-500 • View PublicationBIB
The desire for privacy significantly impacts various aspects of social behavior as illustrated by people's tendency to seek out the most secluded spot when multiple options are available. In particular, this can be seen at rows of payphones, where people tend to occupy an available payphone that is most distant from those already occupied. Assuming that there are n payphones in a row and that n people occupy payphones one after another as privately as possible, the resulting assignment of people to payphones defines a permutation, which we will refer to as a payphone permutation. In the present study, we consider different variations of payphone permutations and enumerate them.
2023-04-07
Systems of ideals parametrized by combinatorial structures
A symmetric chain of ideals is a rule that assigns to each finite set $S$ an ideal $I_S$ in the polynomial ring $\mathbb{C}[x_i]_{i \in S}$ such that if $φ\colon S \to T$ is an embedding of finite sets then the induced homomorphism $φ_*$ maps $I_S$ into $I_T$. Cohen proved a fundamental noetherian result for such chains, which has seen intense interest in recent years due to a wide array of new applications. In this paper, we consider similar chains of ideals, but where finite sets are replaced by more complicated combinatorial objects, such as trees. We give a general criterion for a Cohen-like theorem, and give several specific examples where our criterion holds. We also prove similar results for certain limiting situations, where a permutation group acts on an infinite variable polynomial ring. This connects to topics in model theory, such as Fraïssé limits and oligomorphic groups.
The $S_k$ shuffle block dynamics
Published • View PublicationBIB
We introduce and analyze the $S_k$ shuffle on $N$ cards, a natural generalization of the celebrated random adjacent transposition shuffle. In the $S_k$ shuffle, we choose uniformly at random a block of $k$ consecutive cards, and shuffle these cards according to a permutation chosen uniformly at random from the symmetric group on $k$ elements. We study the total-variation mixing time of the $S_k$ shuffle when the number of cards $N$ goes to infinity, allowing also $k=k(N)$ to grow with $N$. In particular, we show that the cutoff phenomenon occurs when $k=o(N^{\frac{1}{6}})$.
2023-04-05
Cryptanalysis of quantum permutation pad
Cryptanalysis increases the level of confidence in cryptographic algorithms. We analyze the security of a symmetric cryptographic algorithm - quantum permutation pad (QPP) [8]. We found the instances of ciphertext the same as plaintext even after the action of QPP with the probability 1/N when the entire set of permutation matrices of dimension N is used and with the probability 1/N^m when an incomplete set of m permutation matrices of dimension N are used. We visually show such instances in a cipher image created by QPP of 256 permutation matrices of different dimensions. For any practical usage of QPP, we recommend a set of 256 permutation matrices of a dimension more or equal to 2048.
2023-04-03 v4
A complete classification of shuffle groups
Published in Forum of Mathematics, Sigma 12 (2024) e104 • View PublicationBIB
For positive integers $k$ and $n$, the shuffle group $G_{k,kn}$ is generated by the $k!$ permutations of a deck of $kn$ cards performed by cutting the deck into $k$ piles with $n$ cards in each pile, and then perfectly interleaving these cards following a certain permutation of the $k$ piles. For $k=2$, the shuffle group $G_{2,2n}$ was determined by Diaconis, Graham and Kantor in 1983. The Shuffle Group Conjecture states that, for general $k$, the shuffle group $G_{k,kn}$ contains $\mathrm{A}_{kn}$ whenever $k\notin\{2,4\}$ and $n$ is not a power of $k$. In particular, the conjecture in the case $k=3$ was posed by Medvedoff and Morrison in 1987. The only values of $k$ for which the Shuffle Group Conjecture has been confirmed so far are powers of $2$, due to recent work of Amarra, Morgan and Praeger based on Classification of Finite Simple Groups. In this paper, we confirm the Shuffle Group Conjecture for all cases using results on $2$-transitive groups and elements of large fixed point ratio in primitive groups.
2023-04-02
Gallai-like characterization of strong cocomparability graphs
Strong cocomparability graphs are the reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows $01, 10$. Strong cocomparability graphs form a subclass of cocomparability graphs (i.e., the complements of comparability graphs) and can be recognized in polynomial time. In his seminal paper, Gallai characterized cocomparability graphs in terms of a forbidden structure called asteroids. Gallai proved that cocomparability graphs are precisely those reflexive graphs which do not contain asteroids. In this paper, we give a characterization of strong cocomparability graphs which is analogous to Gallai's characterization for cocomparability graphs. We prove that strong cocomparability graphs are precisely those reflexive graphs which do not contain weak edge-asteroids (a weaker version of asteroids). Our characterization also leads to a polynomial time recognition algorithm for strong cocomparability graphs.