Motivated by the incidence problems between points and flats of a symplectic polar space, we study a large class of submodules of the space of functions on the standard module of a finite symplectic group of odd characteristic. Our structure results on this class of submodules allow us to determine the $p$-ranks of the incidence matrices between points and flats of the symplectic polar space. In particular, we give an explicit formula for the $p$-rank of the generalized quadrangle ${\rm W}(3,q)$, where $q$ is an odd prime power. Combined with the earlier results of Sastry and Sin on the 2-rank of ${\rm W}(3,2^t)$, it completes the determination of the $p$-ranks of ${\rm W}(3,q)$.
We consider "odd symplectic Lie algebras" defined in terms of maximal rank skew-symmetric forms. We provide FFLV polytopes for these algebras and prove their standard properties. In particular, we obtain a new graded character formula and PBW bases for an analogue of irreducible representations in terms of lattice points of FFLV polytopes.
We present a bialternant formula for odd symplectic characters, which are the characters of indecomposable modules of odd symplectic groups introduced by R. Proctor. As an application, we give a linear algebraic proof to an odd symplectic character identity due to R. P. Brent, C. Krattenthaler and S. O. Warnaar.
Every symplectic spread of PG(3,q), or equivalently every ovoid of Q(4,q), is shown to give rise to a certain family of permutation polynomials of GF(q) and conversely. This leads to an algebraic proof of the existence of the Tits-Luneburg spread of W(2^{2h+1}) and the Ree-Tits spread of W(3^{2h+1}), as well as to a new family of low-degree permutation polynomials over GF(3^{2h+1}). We prove the permutation property of the latter polynomials via an odd characteristic analogue of Dobbertin's approach to uniformly representable permutation polynomials over GF(2^n). These new permutation polynomi…
We give a new semi-combinatorial proof for the equality of the number of ballot permutations of length $n$ and the number of odd order permutations of length $n$, which is due to Bernardi, Duplantier and Nadeau. Spiro conjectures that the descent number of ballot permutations and certain cyclic weight of odd order permutations of the same length are equi-distributed. We present a bijection to establish a Toeplitz property for ballot permutations with any fixed number of descents, and a Toeplitz property for odd order permutations with any fixed cyclic weight. This allows us to refine Spiro's c…
A Parity Alternating Permutation of the set $[n] = \{1, 2,\ldots, n\}$ is a permutation with even and odd entries alternatively. We deal with parity alternating permutations having an odd entry in the first position, PAPs. We study the numbers that count the PAPs with even as well as odd parity. We also study a subclass of PAPs being derangements as well, Parity Alternating Derangements (PADs). Moreover, by considering the parity of these PADs we look into their statistical property of excedance.
We define and study odd analogues of classical geometric and combinatorial objects associated to permutations, namely odd Schubert varieties, odd diagrams, and odd inversion sets. We show that there is a bijection between odd inversion sets of permutations and acyclic orientations of the Turán graph, that the dimension of the odd Schubert variety associated to a permutation is the odd length of the permutation, and give several necessary conditions for a subset of $[n] \times [n]$ to be the odd diagram of a permutation. We also study the sign-twisted generating function of the odd length over …
In this paper, the compositional inverses of a class of linearized permutation polynomials of the form $P(x)=x+x^2+\tr(\frac{x}{a})$ over the finite field $\mathbb{F}_{2^n}$ for an odd positive integer $n$ are explicitly determined.
In this paper, we present three classes of complete permutation monomials over finite fields of odd characteristic. Meanwhile, the compositional inverses of these complete permutation polynomials are also proposed.
The odd diagram of a permutation is a subset of the classical diagram with additional parity conditions. In this paper, we study classes of permutations with the same odd diagram, which we call odd diagram classes. First, we prove a conjecture relating odd diagram classes and 213- and 312-avoiding permutations. Secondly, we show that each odd diagram class is a Bruhat interval. Instrumental to our proofs is an explicit description of the Bruhat edges that link permutations in a class.
We prove bijectively that the total number of cycles of all even permutations of $[n]=\{1,2,...,n\}$ and the total number of cycles of all odd permutations of $[n]$ differ by $(-1)^n(n-2)!$, which was stated as an open problem by Miklós Bóna. We also prove bijectively the following more general identity: $$\sum_{i=1}^n c(n,i)\cdot i \cdot (-k)^{i-1} = (-1)^k k! (n-k-1)!,$$ where $c(n,i)$ denotes the number of permutations of $[n]$ with $i$ cycles.
A permutation $π$ is ballot if, for all $k$, the word $π_1\cdots π_k$ has at least as many ascents as it has descents. Let $b(n)$ denote the number of ballot permutations of order $n$, and let $p(n)$ denote the number of permutations which have odd order in the symmetric group $S_n$. Callan conjectured that $b(n)=p(n)$ for all $n$, which was proved by Bernardi, Duplantier, and Nadeau. We propose a refinement of Callan's original conjecture. Let $b(n,d)$ denote the number of ballot permutations with $d$ descents. Let $p(n,d)$ denote the number of odd order permutations with $M(π)=d$, where $M(π…
Let $\mathrm{IG}(k, 2n+1)$ be the odd-symplectic Grassmannian. Property $\mathcal{O}$, introduced by Galkin, Golyshev and Iritani for arbitrary complex, Fano manifolds $X$, is a statement about the eigenvalues of the linear operator obtained by the quantum multiplication by the anticanonical class of $X$. We prove that property $\mathcal{O}$ holds in the case when $X= \mathrm{IG}(k, 2n+1)$ is an odd-symplectic Grassmannian. The proof uses the combinatorics of the recently found quantum Chevalley formula for $\mathrm{IG}(k, 2n+1)$, together with the Perron-Frobenius theory of nonnegative matric…
The goal of this paper is to study the link between the topology of the degenerate flag varieties and combinatorics of the Dellac configurations. We define three new classes of algebraic varieties closely related to the degenerate flag varieties of types A and C. The construction is based on the quiver Grassmannian realization of the degenerate flag varieties and odd symplectic and odd and even orthogonal groups. We study basic properties of our varieties; in particular, we construct cellular decomposition in all the three cases above (as well as in the case of even symplectic group). We also …
Let $G$ be a transitive permutation group of degree $n$. We say that $G$ is $2'$-elusive if $n$ is divisible by an odd prime, but $G$ does not contain a derangement of odd prime order. In this paper we study the structure of quasiprimitive and biquasiprimitive $2'$-elusive permutation groups, extending earlier work of Giudici and Xu on elusive groups. As an application, we use our results to investigate automorphisms of finite arc-transitive graphs of prime valency.
In this paper, we give a new bijective proof of a multiset analogue of even-odd permutations identity. This multiset version is equivalent to the original coin arrangements lemma which is a key combinatorial lemma in the Sherman's Proof of a conjecture of Feynman about an identity on paths in planar graphs related to combinatorial solution of two dimensional Ising model in statistical physics.
We study the permutation action of a finite symplectic group of characteristic 2 on the set of subspaces of its standard module which are either totally isotropic or else complementary to totally isotropic subspaces with respect to the alternating form. A general formula is obtained for the 2-rank of the incidence matrix for the inclusion of one-dimensional subspaces in the distinguished subspaces of a fixed dimension.
The odd symplectic Grassmannian $\mathrm{IG}:=\mathrm{IG}(k, 2n+1)$ parametrizes $k$ dimensional subspaces of $\mathbb{C}^{2n+1}$ which are isotropic with respect to a general (necessarily degenerate) symplectic form. The odd symplectic group acts on $\mathrm{IG}$ with two orbits, and $\mathrm{IG}$ is itself a smooth Schubert variety in the submaximal isotropic Grassmannian $\mathrm{IG}(k, 2n+2)$. We use the technique of curve neighborhoods to prove a Chevalley formula in the equivariant quantum cohomology of $\mathrm{IG}$, i.e. a formula to multiply a Schubert class by the Schubert divisor cl…
Recently, Lazar and Wachs (arXiv:1910.07651) showed that the (median) Genocchi numbers play a fundamental role in the study of the homogenized Linial arrangement and obtained two new permutation models (called D-permutations and E-permutations) for (median) Genocchi numbers. They further conjecture that the distributions of cycle numbers over the two models are equal. In a follow-up, Eu et al. (arXiv:2103.09130) further proved the gamma-positivity of the descent polynomials of even-odd descent permutations, which are in bijection with E-permutations by Foata's fundamental transformation. This …
When dealing with symmetry properties of mathematical objects, one of the fundamental questions is to determine their full automorphism group. In this paper this question is considered in the context of even/odd permutations dichotomy. More precisely: when is it that existence of automorphisms acting as even permutations on the vertex set of a graph, called {\em even automorphisms}, forces existence of automorphisms that act as odd permutations, called {\em odd automorphisms}. As a first step towards resolving the above question, a complete information on existence of odd automorphisms in cubi…
We study the double Grothendieck polynomials of Kirillov--Naruse for the symplectic and odd orthogonal Grassmannians. These functions are explicitly written as sums of Pfaffian and are identified with the stable limits of the fundamental classes of Schubert varieties in the torus equivariant connective K-theory of these isotropic Grassmannians. We also provide a combinatorial description of the ring formally spanned by double Grothendieck polynomials.
In order to study signed Eulerian numbers, we introduce permutations of a particular type, called parity-alternate permutations, because they take even and odd entries alternately. The objective of this paper is twofold. The first is to derive several properties of those permutations, by subdividing them into even and odd ones. The second is to discuss relationships between those and signed Eulerian numbers. Divisibility properties by prime powers are also deduced for signed Eulerian numbers and several related numbers.
In this paper we provide constructive lower bounds on the sizes of the largest partial ovoids of the symplectic polar spaces ${\cal W}(3, q)$, $q$ odd square, $q \not\equiv 0 \pmod{3}$, ${\cal W}(5, q)$ and of the Hermitian polar spaces ${\cal H}(4, q^2)$, $q$ even or $q$ odd square, $q \not\equiv 0 \pmod{3}$, ${\cal H}(6, q^2)$, ${\cal H}(8, q^2)$.
Let $\mathbb{Z}_n$ denote the ring of integers modulo $n$. In this paper we consider two extremal problems on permutations of $\mathbb{Z}_n$, namely, the maximum size of a collection of permutations such that the sum of any two distinct permutations in the collection is again a permutation, and the maximum size of a collection of permutations such that the sum of any two distinct permutations in the collection is not a permutation. Let the sizes be denoted by $s(n)$ and $t(n)$ respectively. The case when $n$ is even is trivial in both the cases, with $s(n)=1$ and $t(n)=n!$. For $n$ odd, we pro…
Fix $q\neq 1$, and sample $w\in S_n$ from the Mallows measure. We study the distribution of $C_i(w)$, the number of $i$-cycles, as $n$ grows large. When $q<1$, they are jointly Gaussian, and this more or less follows from known ideas, but the regime $q>1$ behaves quite differently. In particular, we show that the even cycles $C_{2i}(w)$ have a mean and variance of order $n$, and jointly converge to Gaussian random variables, while the odd cycles $C_{2i+1}(w)$ have a bounded mean and variance, and converge to $C_{2i+1}(w^{even})$ or $C_{2i+1}(w^{odd})$ for some explicit random permutations $w^{…
We study the generating function for the number of even (or odd) permutations on n letters containing exactly $r\gs0$ occurrences of 132. It is shown that finding this function for a given r amounts to a routine check of all permutations in $S_{2r}$.
We study generating functions for the number of even (odd) permutations on n letters avoiding 132 and an arbitrary permutation $τ$ on k letters, or containing $τ$ exactly once. In several interesting cases the generating function depends only on k and is expressed via Chebyshev polynomials of the second kind.
Let $p$ be an odd prime and let $n$ be a natural number. In this article we determine the irreducible constituents of the permutation module induced by the action of the symmetric group $\mathfrak{S}_n$ on the cosets of a Sylow $p$-subgroup $P_n$. As a consequence, we determine the number of irreducible representations of the corresponding Hecke algebra $\mathcal{H}(\mathfrak{S}_n, P_n, 1_{P_n})$.
We obtain a combinatorial expression for the coefficients of the boundary map of real isotropic and odd orthogonal Grassmannians providing a natural generalization of the formulas already obtained for Lagrangian and maximal isotropic Grassmannians. The results are given in terms of the classification into four types of covering pairs among the Schubert cells when identified with signed $k$-Grassmannian permutations. It turns out that these coefficients only depend on the positions changed over each pair of permutations. As an application, we give an orientability criterion, exhibit a symmetry …
In this paper, we give bijections between the set of 4123-avoiding down-up alternating permutations of length $2n$ and the set of standard Young tableaux of shape $(n,n,n)$, and between the set of 4123-avoiding down-up alternating permutations of length $2n-1$ and the set of shifted standard Young tableaux of shape $(n+1, n, n-1)$ via an intermediate structure of Yamanouchi words. Moreover, we get the enumeration of 4123-avoiding up-down alternating permutations of even and odd length by presenting bijections between 4123-avoiding up-down alternating permutations and standard Young tableaux.
Two elements $g$ and $h$ of a permutation group $G$ acting on a set $V$ are said to be intersecting if $g(v) = h(v)$ for some $v \in V$. More generally, a subset ${\cal F}$ of $G$ is an intersecting set if every pair of elements of ${\cal F}$ is intersecting. The intersection density $ρ(G)$ of a transitive permutation group $G$ is the maximum value of the quotient $|{\cal F}|/|G_v|$ where $G_v$ is a stabilizer of $v\in V$ and ${\cal F}$ runs over all intersecting sets in $G$. Intersection densities of transitive groups of degree $pq$, where $p>q$ are odd primes, is considered. In particular, t…
In \cite{D1}, Dickson listed all permutation polynomials up to degree 5 over an arbitrary finite field, and all permutation polynomials of degree 6 over finite fields of odd characteristic. The classification of degree 6 permutation polynomials over finite fields of characteristic 2 was left incomplete. In this paper we complete the classification of permutation polynomials of degree 6 over finite fields of characteristic 2. In addition, all permutation polynomials of degree 7 over finite fields of characteristic 2 are classified.
This paper concerns the enumeration of simultaneous conjugacy classes of tuples of commuting unitary matrices and of commuting symplectic matrices over a finite field $\mathbf{F}_q$ of odd size. For any given conjugacy class, the orbits for the action of its centralizer group on itself by conjugation are called branches. We determine the branching rules for the unitary groups $U_2(\mathbf{F}_q), U_3(\mathbf{F}_q)$, and for the symplectic groups $Sp_2(\mathbf{F}_q), Sp_4(\mathbf{F}_q)$.
