arXiv++ Combinatorics

Associated with the $r$-Shi arrangement and $r$-Catalan arrangement in $\Bbb{R}^n$, we introduce a cubic matrix for each region to establish two bijections in a uniform way. Firstly, the positions of minimal positive entries in column slices of the cubic matrix will give a bijection from regions of the $r$-Shi arrangement to $O$-rooted labeled $r$-trees. Secondly, the numbers of positive entries in column slices of the cubic matrix will give a bijection from regions of the $r$-Catalan arrangement to pairings of permutation and $r$-Dyck path. Moreover, the numbers of positive entries in row slices of the cubic matrix will recover the Pak-Stanley labeling, a celebrated bijection from regions of the $r$-Shi arrangement to $r$-parking functions.

In this paper, we study pattern avoidances of generalized permutations and show that the number of all generalized permutations avoiding $π$ is independent of the choice of $π\in S_3$, which extends the classic results on permutations avoiding $π\in S_3$. Extending both Dyck path and Riordan path, we introduce the Catalan-Riordan path which turns out to be a combinatorial interpretation of the difference array of Catalan numbers. As applications, we interpret both Motzkin and Riordan numbers in two ways, via semistandard Young tableaux of two rows and generalized permutations avoiding $π\in S_3$. Analogous to Lewis's method, we establish a bijection from generalized permutations to rectangular semistandard Young tableaux which will recover several known results in the literature.

Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.

For any two finite posets $P$ and $Q$, let $\Hom(P,Q)$ be the hom-poset consisting of all order preserving maps from $P$ to $Q$, and $J(Q)$ the collection of all order ideals of $Q$. In this paper, we study some basic properties of the hom-poset $\Hom(P,Q)$ and prove that $\Hom\big(P,J(Q)\big)$ is a distributive lattice and characterized by \[ \Hom\big(P,J(Q)\big)\cong J(P^*\times Q), \] where $P^*$ is the dual of $P$. Consequently, we obtain that $\Hom\big(P,J(Q)\big)$ and $\Hom\big(Q,J(P)\big)$ are dual isomorphic, i.e., \[ \Hom\big(P,J(Q)\big)\cong \Hom^{*}\big(Q,J(P)\big). \] As applications, we calculate the number of order preserving maps from any poset to the boolean algebra, and the characteristic polynomial of $\Hom\big(P,J(Q)\big)$.

This paper gives another proof of Propp and Roby's theorem saying that the average antichain size in any reverse operator orbit of the poset $[m]\times [n]$ is $\frac{mn}{m+n}$. It is conceivable that our method should work for other situations. As a demonstration, we show that the average size of antichains in any reverse operator orbit of $[m]\times K_{n-1}$ equals $\frac{2mn}{m+2n-1}$. Here $K_{n-1}$ is the minuscule poset $[n-1]\oplus ([1] \sqcup [1]) \oplus [n-1]$. Note that $[m]\times [n]$ and $[m]\times K_{n-1}$ can be interpreted as sub-families of certain root posets. We guess these root posets should provide a unified setting to exhibit the homomesy phenomenon defined by Propp and Roby.

Suppose $G$ is a simple graph with $n$ vertices, $m$ edges, and rank $r$. Let $χ_G(t)=a_0t^n-a_1t^{n-1}+\cdots +(-1)^ra_rt^{n-r}$ be the chromatic polynomial of $G$. For $q,k\in \Bbb{Z}$ and $0\le k\le q+r+1$, we obtain a sharp two-side bound for the partial binomial sum of the coefficient sequence, that is, \[ {r+q\choose k}\le \sum_{i=0}^{k}{q\choose k-i}a_{i}\le {m+q\choose k}. \] Indeed, this bound holds for the characteristic polynomial of hyperplane arrangements and matroids, and its weak version can be generalized to the characteristic polynomial of toric arrangements and arithmetic matroids. We also propose a problem on the geometric interpretation of the above bound.

Let $P$ be a locally finite poset with the interval space $\Int(P)$, and $R$ a ring with identity. We shall introduce the Möbius conjugation $μ^\ast$ sending each function $f:P\to R$ to an incidence function $μ^\ast(f):\Int(P)\to R$ such that $μ^\ast(fg)=μ^\ast(f)\astμ^\ast(g)$. Taking $P$ to be the intersection poset of a hyperplane arrangement $\mathcal{A}$, we shall obtain a convolution identity for the number $r(\mathcal{A})$ of regions and the number $b(\mathcal{A})$ of relatively bounded regions, and a reciprocity theorem of the characteristic polynomial $χ(\mathcal{A},t)$, which also leads to a combinatorial interpretation to the values $|χ(\mathcal{A},-q)|$ for large primes $q$. Moreover, all known convolution identities on Tutte polynomials of matroids will be direct consequences after specializing the poset $P$ and functions $f,g$.

This paper studies the Laplacian spectral characterization of some graph products. We consider a class of connected graphs: $\mathscr{G}={G : |EG|\leq|VG|+1}$, and characterize all graphs $G\in\mathscr{G}$ such that the products $G\times K_m$ are $L$-DS graphs. The main result of this paper states that, if $G\in\mathscr{G}$, except for $C_{6}$ and $Θ_{3,2,5}$, is $L$-DS graph, so is the product $G\times K_{m}$. In addition, the $L$-cospectral graphs with $C_{6}\times K_{m}$ and $Θ_{3,2,5}\times K_{m}$ have been found.