Source author record

Houshan Fu

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
1topics
4close collaborators

Published work

4 publications

preprint2026arXiv

Characteristic quasi-polynomials of truncated arrangements

Given an (affine) integral arrangement A\mathcal{A} in Rn\mathbb{R}^n, the reduction of A\mathcal{A} modulo an arbitrary positive integer qq naturally yields an arrangement Aq\mathcal{A}_q in Zqn\mathbb{Z}_q^n. Our primary objective is to study the combinatorial aspects of the restriction A(B,b)\mathcal{A}^{(B,\bm b)} to the solution space of Bx=bB\bm x=\bm b, and its reduction Aq(B,b)\mathcal{A}_q^{(B,\bm b)} modulo qq. This work generalizes the earlier results of Kamiya, Takemura and Terao, as well as Chen and Wang. The purpose of this paper is threefold as follows. Firstly, we derive an explicit counting formula for the cardinality of the complement M(Aq(B,b))M\big(\mathcal{A}_q^{(B,\bm b)}\big) of Aq(B,b)\mathcal{A}_q^{(B,\bm b)}; and prove that for all positive integers q>q0q>q_0, this cardinality coincides with a quasi-polynomial χquasi(A(B,b),q)χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big) in qq with a period ρCρ_C. Secondly, we weaken Chen and Wang's original hypothesis a∣ba \mid b to a strictly more general condition gcd⁡(a,ρC)∣gcd⁡(b,ρC)\gcd(a,ρ_C)\mid \gcd(b,ρ_C), and introduce the concept of combinatorial equivalence for positive integers. Within this framework, we establish three unified comparison relations: between the unsigned coefficients of χquasi(A(B,b),a)χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},a\big) and χquasi(A(B,b),b)χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},b\big); between the unsigned coefficients of distinct constituents of χquasi(A(B,b),q)χ^{\text{quasi}}\big(\mathcal{A}^{(B,\bm b)},q\big); and between the cardinalities of M(Aq(B,b))M\big(\mathcal{A}_q^{(B,\bm b)}\big) and M(Apq(B,b))M\big(\mathcal{A}_{pq}^{(B,\bm b)}\big). Thirdly, using our method, we revisit the enumerative aspects of group colorings and nowhere-zero nonhomogeneous form flows from the early work of Forge, Zaslavsky and Kochol.

preprint2026arXiv

Level of Faces for Exponential Sequence of Arrangements

In this paper, we introduce the bivariate exponential generating function Fl(x,y)F_l(x,y) for the number of level-ll faces of an exponential sequence of arrangements (ESA), and establish the formula Fl(x,y)=(F1(x,y))lF_l(x,y)=\big(F_1(x,y)\big)^l with a combinatorial interpretation. Its specialization at x=0x=0 recovers a result first obtained by Chen et al. [3,4] for certain classic ESAs and later generalized to all ESAs by Southerland et al. [8]. As a byproduct, we obtain that an alternating sum of the number of level-ll faces is invariant with respect to the choice of ESA, and is exactly the Stirling number of the second kind. We also extend the binomial-basis expansion theorem [3,4,14] and Stanley's formula on ESAs [9] from characteristic polynomials to Whitney polynomials.

preprint2020arXiv

Bijections on rr-Shi and rr-Catalan Arrangements

Associated with the rr-Shi arrangement and rr-Catalan arrangement in Rn\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 rr-Shi arrangement to OO-rooted labeled rr-trees. Secondly, the numbers of positive entries in column slices of the cubic matrix will give a bijection from regions of the rr-Catalan arrangement to pairings of permutation and rr-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 rr-Shi arrangement to rr-parking functions.

preprint2020arXiv

Truncated Homogeneous Symmetric Functions

Extending the elementary and complete homogeneous symmetric functions, we introduce the truncated homogeneous symmetric function $h_λ^{\dd}$ in $(\ref{THSF})$ for any integer partition λλ, and show that the transition matrix from $h_λ^{\dd}$ to the power sum symmetric functions pλp_λ is given by \[M(h^{\dd},p)=M'(p,m)z^{-1}D^{\dd},\] where $D^{\dd}$ and zz are nonsingular diagonal matrices. Consequently, $\{h_λ^{\dd}\}$ forms a basis of the ring ΛΛ of symmetric functions. In addition, we show that the generating function $H^{\dd}(t)=\ssum_{n\ge 0}h_n^{\dd}(x)t^n$ satisfies \[ω(H^{\dd}(t))=\left(H^{\dd}(-t)\right)^{-1},\] where ωω is the involution of ΛΛ sending each elementary symmetric function eλe_λ to the complete homogeneous symmetric function hλh_λ.

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.