arXiv subjects
Publications and source records attributed to David G. L. Wang.
We prove that the generating function for the number of flattened permutations having a given number of occurrences of the pattern 13-2 is rational, by using the recurrence relations and the kernel method.
This paper is concerned with the surface embedding of matching extendable graphs. There are two directions extending the theory of perfect matchings, that is, matching extendability and factor-criticality. In solving a problem posed by Plummer, Dean (The matching extendability of surfaces, J. Combin. Theory Ser. B 54 (1992), 133--141) established the fascinating formula for the minimum number $k= μ(Σ) $ such that every $Σ$-embeddable graph is not $k$-extendable. Su and Zhang, Plummer and Zha found the minimum number $n=ρ(Σ)$ such that every $Σ$-embeddable graph is not $n$-factor-critical. Based on the notion of $(n,k)$-graphs which associates these two parameters, we found the formula for the minimum number $k=μ(n,Σ)$ such that every $Σ$-embeddable graph is not an $(n,k)$-graph. To access this two-parameter-problem, we consider its dual problem and find out $μ(n,Σ)$ conversely. The same approach works for rediscovering the formula of the number $ρ(Σ)$.
We formulate conditions on a set of log-concave sequences, under which any linear combination of those sequences is log-concave, and further, of conditions under which linear combinations of log-concave sequences that have been transformed by convolution are log-concave. These conditions involve relations on sequences called \textit{synchronicity} and \textit{ratio-dominance}, and a characterization of some bivariate sequences as \textit{lexicographic}. We are motivated by the 25-year old conjecture that the genus distribution of every graph is log-concave. Although calculating genus distributions is NP-hard, they have been calculated explicitly for many graphs of tractable size, and the three conditions have been observed to occur in the \textit{partitioned genus distributions} of all such graphs. They are used here to prove the log-concavity of the genus distributions of graphs constructed by iterative amalgamation of double-rooted graph fragments whose genus distributions adhere to these conditions, even though it is known that the genus polynomials of some such graphs have imaginary roots. A blend of topological and combinatorial arguments demonstrates that log-concavity is preserved through the iterations.
In this paper, we consider the number of occurrences of descents, ascents, 123-subwords, 321-subwords, peaks and valleys in flattened permutations, which were recently introduced by Callan in his study of finite set partitions. For descents and ascents, we make use of the kernel method and obtain an explicit formula (in terms of Eulerian polynomials) for the distribution on $\mathcal{S}_n$ in the flattened sense. For the other four patterns in question, we develop a unified approach to obtain explicit formulas for the comparable distributions. We find that the formulas so obtained for 123- and 321-subwords can be expressed in terms of the Chebyshev polynomials of the second kind, while those for peaks and valleys are more related to the Eulerian polynomials. We also provide a bijection showing the equidistribution of descents in flattened permutations of a given length with big descents in permutations of the same length in the usual sense.
We consider the problem of counting the occurrences of patterns of the form $xy-z$ within flattened permutations of a given length. Using symmetric functions, we find recurrence relations satisfied by the distributions on $\mathcal{S}_n$ for the patterns 12-3, 21-3, 23-1 and 32-1, and develop a unified approach to obtain explicit formulas. By these recurrences, we are able to determine simple closed form expressions for the number of permutations that, when flattened, avoid one of these patterns as well as expressions for the average number of occurrences. In particular, we find that the average number of 23-1 patterns and the average number of 32-1 patterns in $\text{Flatten}(π)$, taken over all permutations $π$ of the same length, are equal, as are the number of permutations avoiding either of these patterns. We also find that the average number of 21-3 patterns in $\text{Flatten}(π)$ over all $π$ is the same as it is for 31-2 patterns.
It is well-known that the coordinator polynomials of the classical root lattice of type $A_n$ and those of type $C_n$ are real-rooted. They can be obtained, either by the Aissen-Schoenberg-Whitney theorem, or from their recurrence relations. In this paper, we develop a trigonometric substitution approach which can be used to establish the real-rootedness of coordinator polynomials of type $D_n$. We also find the coordinator polynomials of type $B_n$ are not real-rooted in general. As a conclusion, we obtain that all coordinator polynomials of Weyl group lattices are log-concave.
Let $G$ be a graph, and $H\colon V(G)\to 2^\mathbb{N}$ a set function associated with $G$. A spanning subgraph $F$ of $G$ is called an $H$-factor if the degree of any vertex $v$ in $F$ belongs to the set $H(v)$. This paper contains two results on the existence of $H$-factors in regular graphs. First, we construct an $r$-regular graph without some given $H^*$-factor. In particular, this gives a negative answer to a problem recently posed by Akbari and Kano. Second, by using Lovász's characterization theorem on the existence of $(g, f)$-factors, we find a sharp condition for the existence of general $H$-factors in $\{r, r+1\}$-graphs, in terms of the maximum and minimum of $H$. The result reduces to Thomassen's theorem for the case that $H(v)$ consists of the same two consecutive integers for all vertices $v$, and to Tutte's theorem if the graph is regular in addition.
Let $r$ be an odd integer, and $k$ an even integer. In this note, we present $r$-regular graphs which have no $\{k,r-k\}$-factors for all $1\le k\le {r\over2}-1$. This gives a negative answer to a problem posed by Akbari and Kano recently.
A universal tiler is a convex polyhedron whose every cross-section tiles the plane. In this paper, we introduce a certain slight-rotating operation for cross-sections of pentahedra. Based on a selected initial cross-section and by applying the slight-rotating operation suitably, we prove that a convex polyhedron is a universal tiler if and only if it is a tetrahedron or a triangular prism.
An $H_n$-factor of a graph $G$ is defined to be a spanning subgraph $F$ of $G$ such that each vertex has degree belonging to the set $\{1,3,5,...,2n-1,2n\}$ in $F$. In this paper, we investigate $H_n$-factors of graphs by using Lovász's structural descriptions to the degree prescribed subgraph problem. We find some sufficient conditions for the existence of an $H_n$-factor of a graph. In particular, we make progress on the characterization problem for a special family of graphs proposed by Cui and Kano in 1988.
A famous problem in discrete geometry is to find all monohedral plane tilers, which is still open to the best of our knowledge. This paper concerns with one of its variants that to determine all convex polyhedra whose every cross-section tiles the plane. We call such polyhedra universal tilers. We obtain that a convex polyhedron is a universal tiler only if it is a tetrahedron or a pentahedron.
It is a classical result of Harper that the limiting distribution of the number of blocks in partitions of the set $\{1, 2,..., n\}$ is normal. In this paper, using the saddle point method we prove the normality of the limiting distribution of the number of block pairs in set partitions of type $B_n$. Moreover, we obtain that the limiting distribution of the number of block pairs in $B_n$-partitions without zero-block is also normal.
In the study of the algebra $\mathrm{NCSym}$ of symmetric functions in noncommutative variables, Bergeron and Zabrocki found a free generating set consisting of power sum symmetric functions indexed by atomic partitions. On the other hand, Bergeron, Reutenauer, Rosas, and Zabrocki studied another free generating set of $\mathrm{NCSym}$ consisting of monomial symmetric functions indexed by unsplitable partitions. Can and Sagan raised the question of finding a bijection between atomic partitions and unsplitable partitions. In this paper, we provide such a bijection.
Based on Bona's condition for the balanced property of the number of cycles of permutations, we give a general criterion for the balanced property in terms of the generating function of a statistic. We show that the q-derangement numbers and the q-Catalan numbers satisfy the balanced property.
We show that the joint distribution of the number of singleton pairs and the number of adjacency pairs is symmetric over the set partitions of type $B_n$ without zero-block, in analogy with the result of Callan for ordinary partitions.
Motivated by Pittel's study of minimally intersecting set partitions, we investigate minimally intersecting set partitions of type B. We find a formula for the number of minimally intersecting r-tuples of $B_n$-partitions, as well as a formula for the number of minimally intersecting r-tuples of $B_n$-partitions without zero-block. As a consequence, it follows the formula of Benoumhani for the Dowling number in analogy to Dobinski's formula.
We show that the distribution of the coefficients of the q-derangement numbers is asymptotically normal. We also show that this property holds for the q-derangement numbers of type B.
We introduce the notion of arithmetic progression blocks or AP-blocks of $\mathbb{Z}_n$, which can be represented as sequences of the form $(x, x+m, x+2m, ..., x+(i-1)m) \pmod n$. Then we consider the problem of partitioning $\mathbb{Z}_n$ into AP-blocks for a given difference $m$. We show that subject to a technical condition, the number of partitions of $\mathbb{Z}_n$ into $m$-AP-blocks of a given type is independent of $m$. When we restrict our attention to blocks of sizes one or two, we are led to a combinatorial interpretation of a formula recently derived by Mansour and Sun as a generalization of the Kaplansky numbers. These numbers have also occurred as the coefficients in Waring's formula for symmetric functions.