arXiv++ Combinatorics

A conflict-avoiding code (CAC) is a deterministic transmission scheme for asynchronous multiple access without feedback. When the number of simultaneously active users is less than or equal to $w$, a CAC of length $L$ with weight $w$ can provide a hard guarantee that each active user has at least one successful transmission within every consecutive $L$ slots. In this paper, we generalize some previously known constructions of constant-weight CACs, and then derive several classes of optimal CACs by the help of Kneser's Theorem and some techniques in Additive Combinatorics. Another spotlight of this paper is to relax the identical-weight constraint in prior studies to study mixed-weight CACs for the first time, for the purpose of increasing the throughput and reducing the access delay of some potential users with higher priority. As applications of those obtained optimal CACs, we derive some classes of optimal mixed-weight CACs.

We present a simplified variant of Biane's bijection between permutations and 3-colored Motzkin paths with weight that keeps track of the inversion number, excedance number and a statistic so-called depth of a permutation. This generalizes a result by Guay-Paquet and Petersen about a continued fraction of the generating function for depth on the permutations of n elements. In terms of weighted Motzkin path, we establish an involution on the permutations that reverses the parities of depth and excedance numbers simultaneously, which proves that the numbers of permutations with even and odd depth (excedance numbers, respectively) are equal if n is even and differ by the tangent number if n is odd. Moreover, we present some interesting sign-imbalance results on permutations and derangements, refined with respect to depth and excedance numbers.

We study the generating function of descent numbers for the permutations with descent pairs of prescribed parities, the distribution of which turns out to be a refinement of median Genocchi numbers. We prove the $γ$-positivity for the polynomial and derive the generating function for the $γ$-vectors, expressed in the form of continued fraction. We also come up with an artificial statistic that gives a $q$-analogue of the $γ$-positivity for the permutations with descents only allowed from an odd value to an odd value.

Conflict-avoiding codes (CACs) were introduced by Levenshtein as a single-channel transmission scheme for a multiple-access collision channel without feedback. When the number of simultaneously active source nodes is less than or equal to the weight of a CAC, it is able to provide a hard guarantee that each active source node transmits at least one packet successfully within a fixed time duration, no matter what the relative time offsets between the source nodes are. In this paper, we extend CACs to multichannel CACs for providing such a hard guarantee over multiple orthogonal channels. Upper bounds on the number of codewords for multichannel CACs of weights three and four are derived, and constructions that are optimal with respect to these bounds are presented.

We study the generating polynomial of the flag major index with each one-dimensional character, called signed Mahonian polynomial, over the colored permutation group, the wreath product of a cyclic group with the symmetric group. Using the insertion lemma of Han and Haglund-Loehr-Remmel and a signed extension established by Eu et al., we derive the signed Mahonian polynomial over the quotients of parabolic subgroups of the colored permutation group, for a variety of systems of coset representatives in terms of subsequence restrictions. This generalizes the related work over parabolic quotients of the symmetric group due to Caselli as well as to Eu et al. As a byproduct, we derive a product formula that generalizes Biagioli's result about the signed Mahonian on the even signed permutation groups.

A relationship between signed Eulerian polynomials and the classical Eulerian polynomials on $\mathfrak{S}_n$ was given by Désarménien and Foata in 1992, and a refined version, called signed Euler-Mahonian identity, together with a bijective proof were proposed by Wachs in the same year. By generalizing this bijection, in this paper we extend the above results to the Coxeter groups of types $B_n$, $D_n$, and the complex reflection group $G(r,1,n)$, where the `sign' is taken to be any one-dimensional character. Some obtained identities can be further restricted on some particular set of permutations. We also derive some new interesting sign-balance polynomials for types $B_n$ and $D_n$.

For a connected graph $G$, an instance $I$ is a set of pairs of vertices and a corresponding routing $R$ is a set of paths specified for all vertex-pairs in $I$. Let $\mathfrak{R}_I$ be the collection of all routings with respect to $I$. The undirected optical index of $G$ with respect to $I$ refers to the minimum integer $k$ to guarantee the existence of a mapping $φ:R\to\{1,2,\ldots,k\}$, such that $φ(P)\neqφ(P')$ if $P$ and $P'$ have common edge(s), over all routings $R\in\mathfrak{R}_I$. A natural lower bound of the undirected optical index is the edge-forwarding index, which is defined to be the minimum of the maximum edge-load over all possible routings. Let $w(G,I)$ and $π(G,I)$ denote the undirected optical index and edge-forwarding index with respect to $I$, respectively. In this paper, we derive the inequality $w(T,I_A)<\frac{3}{2}π(T,I_A)$ for any tree $T$, where $I_A:=\{\{x,y\}:\,x,y\in V(T)\}$ is the all-to-all instance.

The routing and wavelength assignment problem arises from the investigation of optimal wavelength allocation in an optical network that employs Wavelength Division Multiplexing (WDM). Consider an optical network that is represented by a connected, simple graph $G$. An all-to-all routing $R$ in $G$ is a set of paths connecting all pairs of vertices of $G$. The undirected optical index of $G$ is the minimum integer $k$ to guarantee the existence of a mapping $φ:R\to\{1,2,\ldots,k\}$, such that $φ(P)\neqφ(P')$ if $P$ and $P'$ have common edge(s), over all possible routings $R$. A natural lower bound of the undirected optical index of $G$ is the (undirected) edge-forwarding index, which is defined to be the minimum of the maximum edge-load over all possible all-to-all routings. In this paper, we first derive the exact value of the optical index of the complete $m$-ary trees, and then investigate the gap between undirected optical and edge-forwarding indices.

Protocol sequences are binary and periodic sequences used for deterministic multiple access in a collision channel without feedback. In this paper, we focus on user-irrepressible (UI) protocol sequences that can guarantee a positive individual throughput per sequence period with probability one for a slot-synchronous channel, regardless of the delay offsets among the users. As the sequence period has a fundamental impact on the worst-case channel access delay, a common objective of designing UI sequences is to make the sequence period as short as possible. Consider a communication channel that is shared by $M$ active users, and assume that each protocol sequence has a constant Hamming weight $w$. To attain a better delay performance than previously known UI sequences, this paper presents a CRTm construction of UI sequences with $w=M+1$, which is a variation of the previously known CRT construction. For all non-prime $M\geq 8$, our construction produces the shortest known sequence period and the shortest known worst-case delay of UI sequences. Numerical results show that the new construction enjoys a better average delay performance than the optimal random access scheme and other constructions with the same sequence period, in a variety of traffic conditions. In addition, we derive an asymptotic lower bound on the minimum sequence period for $w=M+1$ if the sequence structure satisfies some technical conditions, called equi-difference, and prove the tightness of this lower bound by using the CRTm construction.

A spanning tree of a properly edge-colored complete graph, $K_n$, is rainbow provided that each of its edges receives a distinct color. In 1996, Brualdi and Hollingsworth conjectured that if $K_{2m}$ is properly $(2m-1)$-edge-colored, then the edges of $K_{2m}$ can be partitioned into $m$ rainbow spanning trees except when $m=2$. By means of an explicit, constructive approach, in this paper we construct $\lfloor \sqrt{6m+9}/3 \rfloor$ mutually edge-disjoint rainbow spanning trees for any positive value of $m$. Not only are the rainbow trees produced, but also some structure of each rainbow spanning tree is determined in the process. This improves upon best constructive result to date in the literature which produces exactly three rainbow trees.

It is known that a lattice path matroid polytope can be associated with two given noncrossing lattice paths on $\mathbb{Z}\times\mathbb{Z}$ with the same end points. In this short note we give explicit formulae for the $f$-vector, toric $f$- and $g$-polynomials of a lattice path matroid polytope when two boundary paths enclose a hook shape.

In this paper we give a partial shift version of user-irrepressible sequence sets and conflict-avoiding codes. By means of disjoint difference sets, we obtain an infinite number of such user-irrepressible sequence sets whose lengths are shorter than known results in general. Subsequently, the newly defined partially conflict-avoiding codes are discussed.

In this paper, we first prove that if the edges of $K_{2m}$ are properly colored by $2m-1$ colors in such a way that any two colors induce a 2-factor of which each component is a 4-cycle, then $K_{2m}$ can be decomposed into $m$ isomorphic multicolored spanning trees. Consequently, we show that there exist three disjoint isomorphic multicolored spanning trees in any properly (2$m-$1)-edge-colored $K_{2m}$ for $m\geq 14$.

We define a new statistic $\mathsf{sor}$ on the set of colored permutations $\mathsf{G}_{r,n}$ and prove that it has the same distribution as the length function. For the set of restricted colored permutations corresponding to the arrangements of $n$ non-attacking rooks on a fixed Ferrers shape we show that the following two sequences of set-valued statistics are joint equidistributed: $(\ell,\mathsf{Rmil}^0,\mathsf{Rmil}^1,...,\mathsf{Rmil}^{r-1}$, $\mathsf{Lmil}^0,\mathsf{Lmil}^1,...,\mathsf{Lmil}^{r-1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$ and $(\mathsf{sor},\mathsf{Cyc}^0,\mathsf{Cyc}^{r-1},...,\mathsf{Cyc}^{1}$, $\mathsf{Lmic}^0,\mathsf{Lmic}^{r-1},...,\mathsf{Lmic}^{1}$, $\mathsf{Lmal}^0,\mathsf{Lmal}^1,...,\mathsf{Lmal}^{r-1}$, $\mathsf{Lmap}^0,\mathsf{Lmap}^1,...,\mathsf{Lmap}^{r-1})$. Analogous results are also obtained for Coxeter group of type $D$. Our results extend recent results of Petersen, Chen-Gong-Guo and Poznanović.

A subgraph in an edge-colored graph is multicolored if all its edges receive distinct colors. In this paper, we study the proper edge-colorings of the complete bipartite graph $K_{m,n}$ which forbid multicolored cycles. Mainly, we prove that (1) for any integer $k\geq 2$, if $n\geq 5k-6$, then any properly $n$-edge-colored $K_{k,n}$ contains a multicolored $C_{2k}$, and (2) determine the order of the properly edge-colored complete bipartite graphs which forbid multicolored $C_6$.

Strongly conflict-avoiding codes (SCACs) are employed in a slot-asynchronous multiple-access collision channel without feedback to guarantee that each active user can send at least one packet successfully in the worst case within a fixed period of time. Assume all users are assigned distinct codewords, the number of codewords in an SCAC is equal to the number of potential users that can be supported. SCACs have different combinatorial structure compared with conflict-avoiding codes (CACs) due to additional collisions incurred by partially overlapped transmissions. In this paper, we establish upper bounds on the size of SCACs of even length and weight three. Furthermore, it is shown that some optimal CACs can be used to construct optimal SCACs of weight three.

Recently Petersen defined a new Mahonian index sor over the symmetric group $\mathfrak{S}_n$ and proved that $(\text{inv}, \text{rlmin})$ and $(\text{sor}, \text{cyc})$ have the same joint distribution. Foata and Han proved that the pairs of set-valued statistics $(\text{Cyc}, \text{Rmil}), (\text{Cyc}, \text{Lmap}), (\text{Rmil}, \text{Lmap})$ have the same joint distribution over $\mathfrak{S}_n$. In this paper we introduce the set-valued statistics $\text{Inv}, \text{Lmil}, \text{Sor}$ and $\text{Lmicycl}_1$ and generalize simultaneously results of Petersen and Foata-Han and find many equidistributed triples of set-valued statistics and quadruples of statistics.

The sorting indices $\text{sor}_B$ and $\text{sor}_D$ on the Coxeter groups of type $B$ and $D$ respectively are defined by Petersen and it is proved that $(\text{inv}_B, \text{rlmin})$ and $(\text{sor}_B, \ell'_B)$ have the same joint distribution for type $B$ while $\text{inv}_D$ and $\text{sor}_D$ have the same distribution for type $D$. These results, including a set-valued extension of type $B$ involving two equildistributed pairs of three statistics, are proved combinatorially by Chen et al. via two mappings $\varphi:=\text{(B-code)}^{-1}\circ \text{(A-code)}$ and $ψ:=\text{(D-code)}^{-1}\circ \text{(C-code)}$. In this paper we further extend these results. In type $B$ we prove a set-valued joint equildistribution between a pair of seven statistics, and find a five-variable generating function. In type $D$ we define new set-valued statistics, among them $\text{Cyc}^+_D$ and $\text{Cyc}^-_D$, and firstly find a set-valued joint equidistribution between a pair of five statistics and find a four-variable generating function.

We derive some new signed Mahonian polynomials over the complex reflection group $G(r,1,n)=C_r\wr\mathfrak{S}_n$, where the "sign" is taken to be any of the $2r$ $1$-dim characters and the "Mahonian" statistics are the $\mathsf{lmaj}$ defined by Bagno and the $\mathsf{sor}$ defined by Eu et al. Various new signed Mahonian polynomials over Coxeter groups of types $B_n$ and $D_n$ are derived as well. We also investigate the signed counting polynomials on $G(r,1,n)$ for those statistics with the distribution $[r]_q[2r]_q\cdots [nr]_q$.