arXiv++ Combinatorics

Let $k$ be an integer with $k\geq 2$. A $k$-king in a digraph $D$ is a vertex which can reach every other vertex by a directed path of length at most $k$ and a non-king is a vertex which is not a 3-king. A subset $K$ is $k$-independent if for every pair of vertices $x,y \in K$, we have $d_D(x, y), d_D(y, x)\geq k$; it is $\ell$-absorbent if for every $x\in V(D)\setminus K$ there exists $y\in K$ such that $d_D(x, y)\leq \ell$. A $k$-kernel of $D$ is a $k$-independent and $(k-1)$-absorbent subset of $V(D)$. A kernel is a 2-kernel. A set $K\subseteq V(D)$ is a quasi-kernel of $D$ if it is independent, and for every vertex $x\in V(D)\setminus K$, there exists $y\in K$ such that $d_D(x, y)\leq 2$. The problem {\sc $k$-Kernel} is determining whether a given digraph has a $k$-kernel. Let $Q=T[H_1, \dots, H_t]$ be the composition of $T$ and $H_i$ ($1\leq i\leq t, t\ge 2$), where $T$ is a digraph with $t$ vertices, and $H_1, \dots, H_t$ are pairwise disjoint digraphs. The composition $Q=T[H_1, \dots, H_t]$ is a semicomplete composition if $T$ is semicomplete. In this paper, we study kings and kernels in semicomplete compositions. For the topic of kings, we characterize digraph compositions with a $k$-king and digraph compositions all of whose vertices are $k$-kings, respectively. We also discuss the existence of 3-kings, and study the minimum number of 4-kings in a strong semicomplete composition. For the topic of kernels, we first study the existence of a pair of disjoint quasi-kernels in semicomplete compositions. We then deduce that the problem {\sc $k$-Kernel} restricted to strong semicomplete compositions is NP-complete when $k\in \{2,3\}$, and is polynomial-time solvable when $k\geq 4$. We also prove that when $k$ is divisible by 2 or 3, the problem {\sc $k$-Kernel} restricted to non-strong semicomplete compositions is NP-complete.

The main achievement of this paper is a geometric characterisation of certain subvarieties of the Cartan variety (the standard projective variety associated to the split exceptional group of Lie type E_6) over an arbitrary field K. The characterised varieties arise as Veronese representations of certain ring projective planes over quadratic subalgebras of the split octonions over K (among which the sextonions, a 6-dimensional non-associative algebra). We describe how these varieties are linked to the Freudenthal-Tits magic square, and discuss how they would even fit in, when also allowing the sextonions and other "degenerate composition algebras" as the algebras used to construct the square.

We generalize the asymptotic estimates by Bubboloni, Luca and Spiga (2012) on the number of $k$-compositions of $n$ satisfying some coprimality conditions. We substantially refine the error term concerning the number of $k$-compositions of $n$ with pairwise relatively prime summands. We use a different approach, based on properties of multiplicative arithmetic functions of $k$ variables and on an asymptotic formula for the restricted partition function.

Given a binary quasigroup $G$ of order $n$, a $d$-iterated quasigroup $G[d]$ is the $(d+1)$-ary quasigroup equal to the $d$-times composition of $G$ with itself. The Cayley table of every $d$-ary quasigroup is a $d$-dimensional latin hypercube. Transversals and diagonals in multiary quasigroups are defined so as to coincide with those in the corresponding latin hypercube. We prove that if a group $G$ of order $n$ satisfies the Hall--Paige condition, then the number of transversals in $G[d]$ is equal to $ \frac{n!}{ |G'| n^{n-1}} \cdot n!^{d} (1 + o(1))$ for large $d$, where $G'$ is the commutator subgroup of $G$. For a general quasigroup $G$, we obtain similar estimations on the numbers of transversals and near transversals in $G[d]$ and develop a method for counting diagonals of other types in iterated quasigroups.

Danilov, Karzanov and Koshevoy (2012) geometrically introduced an interesting operation of composition on tiling Condorcet domains and using it they disproved a long-standing problem of Fishburn about the maximal size of connected Condorcet domains. We give an algebraic definition of this operation and investigate its properties. We give a precise formula for the cardinality of composition of two Condorcet domains and improve the Danilov, Karzanov and Koshevoy result showing that Fishburn's alternating scheme does not always define a largest peak-pit Condorcet domain.

Let $T$ be a digraph with vertices $u_1, \dots, u_t$ ($t\ge 2$) and let $H_1, \dots, H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1, \dots, H_t]$ is a digraph with vertex set $\{u_{i,j_i}\colon\, 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\colon\, u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ The composition $Q=T[H_1, \dots, H_t]$ is a semicomplete composition if $T$ is semicomplete, i.e. there is at least one arc between every pair of vertices. Digraph compositions generalize some families of digraphs, including (extended) semicomplete digraphs, quasi-transitive digraphs and lexicographic product digraphs. In particular, strong semicomplete compositions form a significant generalization of strong quasi-transitive digraphs. In this paper, we study the structural properties of semicomplete compositions and obtain results on connectivity, paths, cycles, strong spanning subdigraphs and acyclic spanning subgraphs. Our results show that this class of digraphs shares some nice properties of quasi-transitive digraphs.

Pairs of graded graphs, together with the Fomin property of graded graph duality, are rich combinatorial structures providing among other a framework for enumeration. The prototypical example is the one of the Young graded graph of integer partitions, allowing us to connect number of standard Young tableaux and numbers of permutations. Here, we use operads, that algebraic devices abstracting the notion of composition of combinatorial objects, to build pairs of graded graphs. For this, we first construct a pair of graded graphs where vertices are syntax trees, the elements of free nonsymmetric operads. This pair of graphs is dual for a new notion of duality called $φ$-diagonal duality, similar to the ones introduced by Fomin. We also provide a general way to build pairs of graded graphs from operads, wherein underlying posets are analogous to the Young lattice. Some examples of operads leading to new pairs of graded graphs involving integer compositions, Motzkin paths, and $m$-trees are considered.

By studying non-commutative series in an infinite alphabet we introduce shift-plethystic trees and a class of integer compositions as new combinatorial models for the Rogers-Ramanujan identities. We prove that the language associated to shift-plethystic trees can be expressed as a non-commutative generalization of the Rogers-Ramanujan continued fraction. By specializing the noncommutative series to $q$-series we obtain new combinatorial interpretations to the Rogers-Ramanujan identities in terms of signed integer compositions. We introduce the operation of shift-plethysm on non-commutative series and use this to obtain interesting enumerative identities involving compositions and partitions related to Rogers-Ramanujan identities.

In this article, we define an information-theoretic entropy based on the Ihara zeta function of a graph which is called the Ihara entropy. A dynamical system consists of a billiard ball and a set of reflectors correspond to a combinatorial graph. The reflectors are represented by the vertices of the graph. Movement of the billiard ball between two reflectors is represented by the edges. The prime cycles of this graph generate the bi-infinite sequences of the corresponding symbolic dynamical system. The number of different prime cycles of a given length can be expressed in terms of the adjacency matrix of the oriented line graph. It also constructs the formal power series expansion of Ihara zeta function. Therefore, the Ihara entropy has a deep connection with the dynamical system of billiards. As an information-theoretic entropy, it fulfils the generalized Shannon-Khinchin axioms. It is a weakly decomposable entropy whose composition law is given by the Lazard formal group law.

We study the $H_n(0)$-module $\mathbf{S}^σ_α$ due to Tewari and van Willigenburg, which was constructed using new combinatorial objects called standard permuted composition tableaux and decomposed into cyclic submodules. First, we show that every direct summand appearing in their decomposition is indecomposable and characterize when $\mathbf{S}^σ_α$ is indecomposable. Second, we find characteristic relations among $\mathbf{S}^σ_α$'s and expand the image of $\mathbf{S}^σ_α$ under the quasi characteristic in terms of quasisymmetric Schur functions. Finally, we show that the canonical submodule of $\mathbf{S}^σ_α$ appears as a homomorphic image of a projective indecomposable module.

Agarwal introduced $n$-color compositions in 2000 and most subsequent research has focused on restricting which parts are allowed. Here we focus instead on restricting allowed colors. After three general results, giving recurrence formulas for the cases of given allowed colors, given prohibited colors, and colors satisfying modular conditions, we consider several more specific conditions, establishing direct formulas and connections to other combinatorial objects. Proofs are combinatorial, mostly using the notion of spotted tilings introduced by the first named author in 2012.

The degree of symmetry of a combinatorial object, such as a lattice path, is a measure of how symmetric the object is. It typically ranges from zero, if the object is completely asymmetric, to its size, if it is completely symmetric. We study the behavior of this statistic on Dyck paths and grand Dyck paths, with symmetry described by reflection along a vertical line through their midpoint; partitions, with symmetry given by conjugation; and certain compositions interpreted as bargraphs. We find expressions for the generating functions for these objects with respect to their degree of symmetry, and their semilength or semiperimeter, deducing in most cases that, asymptotically, the degree of symmetry has a Rayleigh or half-normal limiting distribution. The resulting generating functions are often algebraic, with the notable exception of Dyck paths, for which we conjecture that it is D-finite (but not algebraic), based on a functional equation that we obtain using bijections to walks in the plane.

In 2000, Kadell gave an orthogonality conjecture for a symmetric function generalization of the $q$-Dyson constant term identity or the Zeilberger--Bressoud $q$-Dyson theorem. The non-zero part of Kadell's orthogonality conjecture is a constant term identity indexed by a weak composition $v=(v_1,\dots,v_n)$ in the case when only one $v_i\neq 0$. This conjecture was first proved by Károlyi, Lascoux and Warnaar in 2015. They further formulated a closed-form expression for the above mentioned constant term in the case when all the parts of $v$ are distinct. Recently we obtain a recursion for this constant term provided that the largest part of $v$ occurs with multiplicity one in $v$. In this paper, we generalize our previous result to all compositions $v$.

We exhibit a set of operators on pairs of domino tableaux of the same shape sending them to other such pairs with the same right tableau, in such a way that any two pairs with the same right tableau are conjugate by some composition of the operators. Using these operators we give explicit bases for the isotypic components of a classical Kazhdan-Lusztig left cell in terms of Kazhdan-Lusztig basis vectors.

How many ways can we write $n$ as a sum of $3$ positive integers, no pair of which share a common factor? We express this quantity in terms of the number of solutions to a certain class of linear Diophantine equations. This allows us to show that there are $$ \prod_{p \mid n} \left( 1- \frac{1}{p^2} \right) \prod_{q \nmid n} \left( 1- \frac{3}{q^2} \right) \frac{n^2}{2} + O(n^{3/2+o(1)}) $$ such compositions, where the products are over primes that respectively do and don't divide $n$. This strengthens the previous result of Bubbolini, Luca, and Spiga (arXiv:1202.1670)

Integer compositions, integer partitions, Fibonacci numbers, and generalizations of these have recently been shown to be interconnected via two-toned tilings of horizontal grids. In this article, we present refinements of two-toned tilings, describe functions which analyze them, and apply these to generalizations of integer compositions and partitions which interpolate between the two.

We construct a geometric lifting of the Burge correspondence as a composition of local birational maps on generic Young-diagram-shaped arrays. We establish its fundamental relation to the geometric Robinson-Schensted-Knuth correspondence and to the geometric Schützenberger involution. We also show a number of properties of the geometric Burge correspondence, specializing them to the case of symmetric input arrays. In particular, our construction shows that such a mapping is volume preserving in log-log variables. As an application, we consider a model of two polymer paths of given length constrained to have the same endpoint, known as polymer replica. We prove that the distribution of the polymer replica partition function in a log-gamma random environment is a Whittaker measure, and deduce the corresponding Whittaker integral identity. For a certain choice of the parameters, we notice a distributional identity between our model and the symmetric log-gamma polymer studied by O'Connell, Seppäläinen, and Zygouras (2014).

Lock polynomials and lock Kohnert tableaux are natural analogues to key polynomials and key Kohnert tableaux, respectively. In this paper, we compare lock polynomials to the much-studied key polynomials and show that the difference of a key polynomial and lock polynomial for the same composition is monomial positive. We also examine the conditions for which key and lock polynomials are symmetric or quasisymmetric. We accomplish these goals combinatorially using key Kohnert tableaux and lock Kohnert tableaux. In particular, for the difference of a key minus a lock, we focus on the behavior of crystal operators on Kohnert tableaux. The Type A Demazure crystal can be realized on the vertex set of key Kohnert tableaux, and we show with an explicit combinatorial definition that a similar crystal-like structure exists on the vertex set of lock Kohnert tableaux. Finally, we construct an injective, weight-preserving map from lock Kohnert tableaux to key Kohnert tableaux that intertwines the crystal operators.

Let $\mathfrak{S}_w(x)$ be the Schubert polynomial for a permutation $w$ of $\{1,2,\ldots,n\}$. For any given composition $μ$, we say that $x^μ\mathfrak{S}_w(x^{-1})$ is the complement of $\mathfrak{S}_w(x)$ with respect to $μ$. When each part of $μ$ is equal to $n-1$, Huh, Matherne, Mészáros and St.\,Dizier proved that the normalization of $x^μ\mathfrak{S}_w(x^{-1})$ is a Lorentzian polynomial. They further conjectured that the normalization of $\mathfrak{S}_w(x)$ is Lorentzian. It can be shown that if there exists a composition $μ$ such that $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then the normalization of $\mathfrak{S}_w(x)$ will be Lorentzian. This motivates us to investigate the problem of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial. We show that if $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial, then $μ$ must be a partition. We also consider the case when $μ$ is the staircase partition $δ_n=(n-1,\ldots, 1,0)$, and obtain that $x^{δ_n} \mathfrak{S}_w(x^{-1})$ is a Schubert polynomial if and only if $w$ avoids the patterns 132 and 312. A conjectured characterization of when $x^μ\mathfrak{S}_w(x^{-1})$ is a Schubert polynomial is proposed.

This paper builds on two covering Hopf algebras of the Hopf algebra QSym of quasi-symmetric functions, with linear bases parameterized by compositions. One is the Malvenuto-Reutenauer Hopf algebra SSym of permutations, mapped onto QSym by taking descents of permutations. The other one is the recently introduced Hopf algebra RQSym of weak quasi-symmetric functions, mapped onto QSym by extracting compositions from weak compositions. We extend these two surjective Hopf algebra homomorphisms into a commutative diagram by introducing a Hopf algebra HSym, linearly spanned by signed permutations from the hyperoctahedral groups, equipped with the shifted quasi-shuffle product and deconcatenation coproduct. Extracting a permutation from a signed permutation defines a Hopf algebra surjection form HSym to SSym and taking a suitable descent from a signed permutation defines a linear surjection from HSym to RQSym. The notion of signed $P$-partitions from signed permutations is introduced which, by taking generating functions, gives fundamental weak quasi-symmetric functions and sends the shifted quasi-shuffle product to the product of the corresponding generating functions. Together with the existing Hopf algebra surjections from SSym and RQSym to QSym, we obtain a commutative diagram of Hopf algebras revealing the close relationship among compositions, weak compositions, permutations and signed permutations.