Source author record

Michael X. X. Zhong

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

4works
2topics
4close collaborators

Published work

4 publications

preprint2022arXiv

qq-Rational Reduction and qq-Analogues of Series for ππ

In this paper, we present a qq-analogue of the polynomial reduction which was originally developed for hypergeometric terms. Using the qq-Gosper representation, we describe the structure of rational functions that are summable when multiplied with a given qq-hypergeometric term. The structure theorem enables us to generalize the qq-polynomial reduction to the rational case, which can be used in the automatic proof and discovery of qq-identities. As applications, several qq-analogues of series for ππ are presented.

preprint2022arXiv

Polynomial reduction for holonomic sequences and applications in ππ-series and congruences

Polynomial reduction, designed first for hypergeometric terms, can be used to automatically prove and generate new hypergeometric identities from old ones. In this paper, we extend the reduction method to holonomic sequences. As applications, we describe an algorithmic way to prove and generate new multi-summation identities. Especially we present new families of ππ-series involving Domb numbers and Franel numbers.

preprint2014arXiv

On the Enumeration of (s,s+1,s+2)(s,s+1,s+2)-Core Partitions

Anderson established a connection between core partitions and order ideals of certain posets by mapping a partition to its ββ-set. In this paper, we give a characterization of the poset P(s,s+1,s+2)P_{(s,s+1,s+2)} whose order ideals correspond to (s,s+1,s+2)(s,s+1,s+2)-core partitions. Using this characterization, we obtain the number of (s,s+1,s+2)(s,s+1,s+2)-core partitions, the maximum size and the average size of an (s,s+1,s+2)(s,s+1,s+2)-core partition, confirming three conjectures posed by Amdeberhan.

preprint2013arXiv

Combinatorial Proof of the Inversion Formula on the Kazhdan-Lusztig R-Polynomials

Let WW be a Coxeter group, and for u,v∈Wu,v\in W, let Ru,v(q)R_{u,v}(q) be the Kazhdan-Lusztig RR-polynomial indexed by uu and vv. In this paper, we present a combinatorial proof of the inversion formula on RR-polynomials due to Kazhdan and Lusztig. This problem was raised by Brenti. Based on Dyer's combinatorial interpretation of the RR-polynomials in terms of increasing Bruhat paths, we reformulate the inversion formula in terms of VV-paths. By a VV-path from uu to vv with bottom ww we mean a pair (Δ1,Δ2)(Δ_1,Δ_2) of Bruhat paths such that Δ1Δ_1 is a decreasing path from uu to ww and Δ2Δ_2 is an increasing path from ww to vv. We find a reflection principle on VV-paths, which leads to a combinatorial proof of the inversion formula. Moreover, we give two applications of the reflection principle. First, we restrict this involution to VV-paths from uu to vv with maximal length. This provides a direct interpretation for the equi-distribution property that any nontrivial interval [u,v][u,v] has as many elements of even length as elements of odd length. This property was obtained by Verma in his derivation of the Möbius function of the Bruhat order. Second, using the reflection principle for the symmetric group, we obtain a refinement of the inversion formula by restricting the summation to permutations ending with a given element.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.