We study rational generating functions of sequences $\{a_n\}_{n\geq 0}$ that agree with a polynomial and investigate symmetric decompositions of the numerator polynomial for subsequences $\{a_{rn}\}_{n\geq 0}$. We prove that if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is of degree $s$ and its coefficients satisfy a set of natural linear inequalities then the symmetric decomposition of the numerator for $\{a_{rn}\}_{n\geq 0}$ is real-rooted whenever $r\geq \max \{s,d+1-s\}$. Moreover, if the numerator polynomial for $\{a_n\}_{n\geq 0}$ is symmetric then we show that the symmetric decomposition for $\{a_{rn}\}_{n\geq 0}$ is interlacing. We apply our results to Ehrhart series of lattice polytopes. In particular, we obtain that the $h^\ast$-polynomial of every dilation of a $d$-dimensional lattice polytope of degree $s$ has a real-rooted symmetric decomposition whenever the dilation factor $r$ satisfies $r\geq \max \{s,d+1-s\}$. Moreover, if the polytope is Gorenstein then this decomposition is interlacing.
In this paper we contribute towards the classification of partially symmetric tensors in $\mathbb{F}_q^3\otimes S^2\mathbb{F}_q^3$, $q$ even, by classifying planes which intersect the Veronese surface $\mathcal{V}(\mathbb{F}_q)$ in at least one point, under the action of $K\leq \rm{PGL}(6,q)$, $K\cong \rm{PGL}(3,q)$, stabilising the Veronese surface. We also determine a complete set of geometric and combinatorial invariants for each of the orbits.
In their study of a quartic integral, Boros and Moll introduced a special case of Jacobi polynomials, which are now known as the Boros-Moll polynomials. In this paper, we study a symmetric decomposition of Boros-Moll polynomials. We discover that both of the polynomials in the symmetric decomposition are alternatingly gamma-positive polynomials.
We review the Green/Kleitman/Leeb interpretation of de Bruijn's symmetric chain decomposition of ${\cal B}_{n}$, and explain how it can be used to find a maximal collection of disjoint symmetric chains in the nonsymmetric lattice of partitions of a set.
In 1979, Shearer and Kleitman conjectured that there exist $\lfloor n/2 \rfloor+1$ orthogonal chain decompositions of the hypercube $Q_n$, and constructed two orthogonal chain decompositions. In this paper, we make the first non-trivial progress on this conjecture since by constructing three orthogonal chain decompositions of $Q_n$ for $n$ large enough. To do this, we introduce the notion of "almost orthogonal symmetric chain decompositions". We explicitly describe three such decompositions of $Q_5$ and $Q_7$, and describe conditions which allow us to decompose products of hypercubes into $k$ …
A Hamilton decomposition of a graph is a partitioning of its edge set into disjoint spanning cycles. The existence of such decompositions is known for all hypercubes of even dimension $2n$. We give a decomposition for the case $n = 2^a3^b$ that is highly symmetric in the sense that every cycle can be derived from every other cycle just by permuting the axes. We conjecture that a similar decomposition exists for every n.
We ask if there exists a symmetric chain decomposition of the cuboid $Q_k \times n$ such that no chain is "taut", i.e. no chain has a subchain of the form $(a_1,\ldots, a_k,0)\prec \ldots\prec (a_1,\ldots,a_k,n-1)$. In this paper, we show this is true precisely when $k \ge 5$ and $n\ge 3$. This question arises naturally when considering products of symmetric chain decompositions which induce orthogonal chain decompositions --- the existence of the decompositions provided in this paper unexpectedly resolves the most difficult case of previous work by the second author on almost orthogonal symme…
We examine a result of Basor and Ehrhardt concerning Hankel and Toeplitz plus Hankel matrices, within the context of the Riordan group of lower-triangular matrices. This allows us to determine the LDU decomposition of certain symmetric Toeplitz plus Hankel matrices. We also determine the generating functions and Hankel transforms of associated sequences.
Polynomials which afford nonnegative, real-rooted symmetric decompositions have been investigated recently in algebraic, enumerative and geometric combinatorics. Brändén and Solus have given sufficient conditions under which the image of a polynomial under a certain operator associated to barycentric subdivision has such a decomposition. This paper gives a new proof of their result which generalizes to subdivision operators in the setting of uniform triangulations of simplicial complexes, introduced by the first named author. Sufficient conditions under which these decompositions are also inte…
For any positive integer $m$, the complete graph on $2^{2m}(2^m+2)$ vertices is decomposed into $2^m+1$ commuting strongly regular graphs, which give rise to a symmetric association scheme of class $2^{m+2}-2$. Furthermore, the eigenmatrices of the symmetric association schemes are determined explicitly. As an application, the eigenmatrix of the commutative strongly regular decomposition obtained from the strongly regular graphs is derived.
In this paper we deal with edge-to-edge, irreducible decompositions of a centrally symmetric convex $(2k)$-gon into centrally symmetric convex pieces. We prove an upper bound on the number of these decompositions for any value of $k$, and characterize them for octagons.
We bound the tensor ranks of elementary symmetric polynomials, and we give explicit decompositions into powers of linear forms. The bound is attained when the degree is odd.
Subgroups of the symmetric group $S_n$ act on powers of chains $C^n$ by permuting coordinates, and induce automorphisms of the ordered sets $C^n$. The quotients defined are candidates for symmetric chain decompositions. We establish this for some families of groups in order to enlarge the collection of subgroups $G$ of the symmetric group $S_n$ for which the quotient $B_n/G$ obtained from the $G$-orbits on the Boolean lattice $B_n$ is a symmetric chain order. The methods are also used to provide an elementary proof that quotients of powers of SCOs by cyclic groups are SCOs.
The complete symmetric directed graph of order $v$, denoted $K_{v}^*$, is the directed graph on $v$ vertices that contains both arcs $(x,y)$ and $(y,x)$ for each pair of distinct vertices $x$ and $y$. For a given directed graph, $D$, the set of all $v$ for which $K_{v}^*$ admits a $D$-decomposition is called the spectrum of $D$. There are 10 non-isomorphic orientations of a $7$-cycle (heptagon). In this paper, we completely settled the spectrum problem for each of the oriented heptagons.
We create a framework for studying symmetric chain decompositions of families of finite posets based on the geometry of polytopes. Our framework unifies almost all known results regarding symmetric chain decompositions of the Young posets $L(m,n)$ --- arising as cells in the Bruhat decomposition of quotients of $SL_{m+n+1}$ --- and yields unexpected new results. The methods we provide are geometric in nature, systematic, and totally amenable to human analysis. This allows us to discover new phenomena which are impenetrable to casework and brute force computer search. In particular, our method …
Consider a uniformly chosen random reduced decomposition of the longest element in the symmetric group. It is known that the location of the first transposition in this decomposition converges to the semicircle distribution. In this note we provide a sharp error term for this result, using the "comparison of generators" approach to Stein's method.
A poset is called a symmetric chain decomposition if the poset can be expressed as a disjoint union of symmetric chains. For positive integers $m$ and $n$, let $N(m,n)$ denote the set of all compositions $α=(α_1,\cdots,α_m)$, with $0\le α_i \le n$ for each $i=1,\cdots,m$. Define order $<$ as follow, $\forall α,β\in N(m,n)$, $β< α$ if and only if $β_i \le α_i(i=1,\cdots,m)$ and $\sum\limits_{i=1}^{m}β_i <\sum\limits_{i=1}^{m}α_i$. In this paper, we show that the poset $(N(m,n),<)$ can be expressed as a disjoint of symmetric chains by constructive method.
In this paper, we give a combinatorial rule to calculate the decomposition of the tensor product (Kronecker product) of two irreducible complex representations of the symmetric group ${\mathfrak S}_n$, when one of the representations corresponds to a hook $(n-m, 1^m)$.
We prove that the noncrossing partition lattices associated with the complex reflection groups $G(d,d,n)$ for $d,n\geq 2$ admit symmetric decompositions into Boolean subposets. As a result, these lattices have the strong Sperner property and their rank-generating polynomials are symmetric, unimodal, and $γ$-nonnegative. We use computer computations to complete the proof that every noncrossing partition lattice associated with a well-generated complex reflection group is strongly Sperner, thus answering affirmatively a question raised by D. Armstrong.
A finite ranked poset is called a symmetric chain order if it can be written as a disjoint union of rank-symmetric, saturated chains. If $P$ is any symmetric chain order, we prove that $P^n/\mathbb{Z}_n$ is also a symmetric chain order, where $\mathbb{Z}_n$ acts on $P^n$ by cyclic permutation of the factors.
In algebraic, topological, and geometric combinatorics inequalities among the coefficients of combinatorial polynomials are frequently studied. Recently a notion called the alternatingly increasing property, which is stronger than unimodality, was introduced. In this paper, we relate the alternatingly increasing property to real-rootedness of the symmetric decomposition of a polynomial to develop a systematic approach for proving the alternatingly increasing property for several classes of polynomials. We apply our results to strengthen and generalize real-rootedness, unimodality, and alternat…
The derangement polynomial $d_n (x)$ for the symmetric group enumerates derangements by the number of excedances. The derangement polynomial $d^B_n(x)$ for the hyperoctahedral group is a natural type $B$ analogue. A new combinatorial formula for this polynomial is given in this paper. This formula implies that $d^B_n (x)$ decomposes as a sum of two nonnegative, symmetric and unimodal polynomials whose centers of symmetry differ by a half and thus provides a new transparent proof of its unimodality. A geometric interpretation, analogous to Stanley's interpretation of $d_n (x)$ as the local $h$-…
The quotient of a Boolean algebra by a cyclic group is proven to have a symmetric chain decomposition. This generalizes earlier work of Griggs, Killian and Savage on the case of prime order, giving an explicit construction for any order, prime or composite. The combinatorial map specifying how to proceed downward in a symmetric chain is shown to be a natural cyclic analogue of the $\mathfrak{sl}_2$ lowering operator in the theory of crystal bases.
This paper is an attempt to compute the decomposition numbers of the blocks of the symmetric group which have "small defect"; that is, blocks of weight smaller than the characteristic. We present various methods for computing such decomposition numbers and use these as support for a conjecture which relates decomposition numbers in different characteristics. Finally, we apply our techniques to blocks of weight three.
The $n$-cube is the poset obtained by ordering all subsets of $\{1,\ldots,n\}$ by inclusion, and it can be partitioned into $\binom{n}{\lfloor n/2\rfloor}$ chains, which is the minimum possible number. Two such decompositions of the $n$-cube are called orthogonal if any two chains of the decompositions share at most a single element. Shearer and Kleitman conjectured in 1979 that the $n$-cube has $\lfloor n/2\rfloor+1$ pairwise orthogonal decompositions into the minimum number of chains, and they constructed two such decompositions. Spink recently improved this by showing that the $n$-cube has …
Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the rigidity matrix. This paper explores how the decomposition and analysis of symmetric frameworks and their symmetric motions can be supported by the new symmetry adapted tools.
Littlewood-Richardson rule gives the decomposition formula for the multiplication of two Schur functions, while the decomposition formula for the multiplication of two Hall-Littlewood functions or two universal characters is also given by the combinatorial method. In this paper, using the vertex operator realizations of these symmetric functions, we construct the algebraic forms of these decomposition formulas.
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we …
