SearcharxivSearch

arXiv subjects

Chengdong Zhao

Publications and source records attributed to Chengdong Zhao.

5 recordsLinked to original sources

Convex-Hull Instability of the $\gamma_2$-Functional in $L^p$

For every $2 2$, both estimates in Talagrand's Research Problem~2.11.3 fail in each of the spaces $L^p[0,1]$ and $\ell_p$. The lower bound follows from a multilevel product principle applied to a scale-separated product of Euclidean simplices. The same construction gives the sharp convexification profile of $\ell_p^r(\ell_2^{2^{128r}})$ for $2<p\le\infty$ and, by finite representability, quantitative failure in every infinite-dimensional Banach space with cotype index greater than $2$.

math.FA

Modular Ideals and Factorizations of Affine Hyperplane Arrangements

Let $\mathcal{A}$ be an affine hyperplane arrangement, let $L(\mathcal{A})$ be its intersection semilattice, and let $\chi_{\mathcal{A}}(t)$ be its characteristic polynomial. We introduce ideal decompositions of finite ranked meet-semilattices and prove that they induce purely combinatorial factorizations of characteristic polynomials. This framework recovers both Stanley's factorization associated with modular elements and Terao's factorization associated with nice partitions. For simple semimatroids, every join-closed ideal decomposition comes from a direct-sum decomposition. The two-factor case defines modular ideals, extending the role of modular elements from central to affine arrangements. Over an infinite field, every modular ideal of an arrangement intersection semilattice is realized by a suitable translated restriction of a subarrangement. We exhibit a nonempty Zariski-open set of valid translations, yielding essential realizations of the given modular ideal. We further prove that modular subarrangements correspond under coning to modular elements on the hyperplane at infinity and hence to M-ideals in the affine setting. Finally, every modular ideal gives an Orlik-Solomon graded vector-space decomposition, which becomes a graded-algebra decomposition when the two factors come from subarrangements.

math.CO

$k$-Adjoint of Hyperplane Arrangements

In this paper, we introduce the $k$-adjoint of a given hyperplane arrangement $\mathcal{A}$ associated with rank-$k$ elements in the intersection lattice $L(\mathcal{A})$, which generalizes the classical adjoint proposed by Bixby and Coullard. The $k$-adjoint of $\mathcal{A}$ induces a decomposition of the Grassmannian, which we call the $\mathcal{A}$-adjoint decomposition. Inspired by the work of Gelfand, Goresky, MacPherson, and Serganova, we generalize the matroid decomposition and refined Schubert decomposition of the Grassmannian from the perspective of $\mathcal{A}$. Furthermore, we prove that these three decompositions are exactly the same decomposition. A notable application involves providing a combinatorial classification of all the $k$-dimensional restrictions of $\mathcal{A}$. Consequently, we establish the anti-monotonicity property of some combinatorial invariants, such as Whitney numbers of the first kind and the independece numbers.

math.CO

Characterizing Nice Partition of Graphical Arrangements

The successive works of Terao as well as Stanley revealed that, for graphical arrangements, supersolvability and the existence of nice partitions are equivalent properties, both characterized by chordal graphs. In this paper, we further prove that every nice partition of a graphical arrangement arises precisely from a maximal modular chain in its intersection lattice. Moreover, we establish two converses to classical results of Orlik and Terao on nice partitions.

math.CO

Level Decompositions for Symmetric Deformations of the Braid Arrangement

Let $A\subseteq\mathbb R_{\ge0}$ be finite and nonempty, and let $\mathfrak{A}^A=(\mathcal{A}_1^A,\mathcal{A}_2^A,\ldots)$ be the associated sequence of symmetric deformations of the braid arrangement. Denote by $r_\ell(\mathcal{A}_n^A)$ the number of its level-$\ell$ regions and by $F_\ell(\mathfrak{A}^A,x)$ the corresponding exponential generating function. We prove $F_\ell(\mathfrak{A}^A,x)=\bigl(F_1(\mathfrak{A}^A,x)\bigr)^\ell$. As a consequence, the characteristic polynomial has the binomial-basis expansion $\chi(\mathcal{A}_n^A,t)=\sum_{\ell=1}^{n}(-1)^{n-\ell}\,r_\ell(\mathcal{A}_n^A)\binom{t}{\ell}$. When $0\in A$ and $A^*=A\setminus\{0\}$ is nonempty, we refine a classical identity of Stanley level by level: $F_\ell(\mathfrak{A}^{A^*},x)=F_\ell(\mathfrak{A}^{A},1-e^{-x})$. Equivalently, the Catalan-type and semiorder-type level counts satisfy an unsigned Stirling convolution of the first kind. For the $m$-Catalan arrangement $\mathcal{A}_n^{[0,m]}$, we obtain $r_\ell(\mathcal{A}_n^{[0,m]})=n!\,\operatorname{Ran}_{m+1,m\ell}(n-\ell)$, where $\operatorname{Ran}_{p,r}(q)$ is a Raney number. This realizes Raney numbers as refined region counts and answers a question of Deshpande, Menon, and Sarkar. The proofs use labeled Dyck paths, interval orders, and exponential sequences of arrangements. We also realize the inverse Fu--Wang--Zhu bijection for $m$-Catalan regions by tableaux.

math.CO