arXiv subjects

Suijie Wang

Publications and source records attributed to Suijie Wang.

At least 19 recordsLinked to original sources

arXiv2026

Nice Partitions of Signed-Graphic Arrangements Are Inductive Factorizations

Nice partitions of hyperplane arrangements give tensor factorizations of Orlik-Solomon algebras as graded vector spaces. In general, a hyperplane arrangement admitting a nice partition need not be free. In this paper, we consider signed-graphic arrangements, the subarrangements of type-$B$ Weyl arrangements, over fields of characteristic different from $2$. We prove that every nice partition of a signed-graphic arrangement is an inductive factorization and hence that the arrangement is free, with nonzero exponents given by the part sizes. In particular, Terao's conjecture holds for the intersection lattices of signed-graphic arrangements admitting a nice partition.

math.CO↗

arXiv2026

The Spherical Hadwiger Theorem

We prove the spherical Hadwiger theorem in every dimension: for $n\geq1$, every continuous $\mathrm{SO}(n+1)$-invariant valuation on all closed spherical convex sets in the unit sphere $\mathbb{S}^n$ is a unique linear combination of the spherical intrinsic volumes $V_0,\ldots,V_n$. The same classification holds on sets contained in an open hemisphere, with unique continuous invariant extension to the full domain. We first classify simple invariant valuations by an independent induction on dimension. Averaging a signed cone identity gives the spherical volume term; the remaining terms are signed coning transforms that vanish by the lower-dimensional simple classification. A second induction, together with extension to non-proper sets, gives the general classification. The cone--sphere correspondence yields, for $d\geq2$, the corresponding classification on all closed convex cones in $\mathbb{R}^d$, without normalization at the zero cone. In both settings, $\mathrm{SO}$-invariance implies $\mathrm{O}$-invariance.

math.MG↗

arXiv2026

Freeness of Arrangements with Regular Underlying Matroids

We classify freeness for finite central arrangements whose underlying matroids are regular. Let $\mathcal A$ be such an arrangement over an arbitrary field, and put $M=M(\mathcal A)$. Then $\mathcal A$ is free if and only if $M$ is supersolvable; equivalently, $M$ admits a nice partition; equivalently, $M$ is the cycle matroid of a chordal simple graph. Thus, for arrangements with regular underlying matroids, freeness has a complete combinatorial classification independent of the base field. We use Seymour's decomposition theorem for regular matroids to prove that freeness forces supersolvability. We also characterize nice partitions of finite simple binary matroids: a partition is nice if and only if it is independent and no line is contained in a single block. Consequently, a finite loopless binary matroid admits a nice partition if and only if it is simple and supersolvable.

math.CO↗

arXiv2026

Interval Deformations of Coxeter Arrangements

We study integer-interval deformations of Coxeter arrangements of types $A$, $B$, and $D$, assigning an integer interval to each root direction through an integer-valued root function. We introduce a local compatibility condition on this root function. For compatible root functions, subject to additional local bounds in types $B$ and $D$, we derive characteristic-polynomial formulas as binomial sums over cyclic orders in type $A$ and signed permutations in types $B$ and $D$. The proofs use the finite-field method and reduce hyperplane avoidance to consecutive-gap inequalities. These formulas recover, in particular, the classical Catalan and Shi characteristic polynomials.

math.CO↗

arXiv2026

Nice Partitions, Supersolvability, and Freeness in Deformations of Graphic Arrangements

We study affine deformations $\mathcal{A}(G_{\mathcal{S}})$ of graphic arrangements and their cones. Here $G=([n],E(G))$ is a simple graph, $\mathcal{S}=(S_{ij})$ is a family of finite gain sets, and $\mathcal{A}(G_{\mathcal{S}})$ consists of the hyperplanes $x_i-x_j=a$ with $a\in S_{ij}$. We call $G_{\mathcal{S}}$ blockwise admissible if every block has a vertex ordering $v_1,\ldots,v_m$ satisfying $S_{v_kv_j}-S_{v_kv_i}\subseteq S_{v_iv_j}$ for every $k$ and all distinct $i,j>k$. Every such ordering is a perfect elimination ordering. We prove, for arbitrary $G$, that the following are equivalent: (i) $G_{\mathcal{S}}$ is blockwise admissible; (ii) the cone $c\mathcal{A}(G_{\mathcal{S}})$ is supersolvable; and (iii) $\mathcal{A}(G_{\mathcal{S}})$ admits a nice partition. We give a direct arrangement-theoretic proof of these equivalences. For a block, the equivalence between admissibility and supersolvability is already contained in Zaslavsky's characterization of supersolvable graphic-lift lattices. We further show that every nice partition on a block is induced by an admissible ordering and that its induced edge classes are stars with distinct centers. Under these equivalent conditions, we construct a maximal modular chain through the hyperplane at infinity. We also prove that if $c\mathcal{A}(G_{\mathcal{S}})$ is free, then $G$ is chordal.

math.CO↗

arXiv2026

Füredi's Conjecture and a Sharp Strengthening

We prove a strengthening of Füredi's conjecture on strong Bollobás $t$-systems. For nonnegative integers $t$ and $s$, a family of $m\ge2$ pairs of finite sets $(A_i,B_i)$ satisfying $|A_i\cap B_i|\le t$ and $|A_i\cap B_j|>t+s$ for all $i\ne j$ satisfies \[ \sum_{i=1}^{m} \frac{\binom{|B_i|-t+s}{s}} {\binom{|A_i|+|B_i|-2t}{|A_i|-t}}\le1. \] When $s=0$, this is precisely Füredi's conjectured weighted inequality. The proof is based on a local growth inequality for graded exterior ideals, a basis-exchange construction, and a common-section reduction. The same method gives the corresponding inequality for subspaces over arbitrary fields. We also determine a best possible upper bound for the Füredi weight sum, construct equality examples with an arbitrary prescribed number of pairs, and derive further inequalities from two-sided basis exchanges.

math.CO↗

arXiv2026

Represented Tensor Products of Binary Matroids

For binary matroids $M,N$ representable over a common field $\F$, the Kronecker product of their $\F$-representations defines a matroid $T_{\F}(M,N)$ independent of the chosen representations. We classify when this represented tensor product is regular, cographic, graphic, or binary. For simple nonfree factors, regularity holds exactly when, up to interchange, one factor is a cactus matroid and the other is outerplanar, or one is a triangular cactus matroid and the other is series--parallel. Cographicity holds exactly in the first case. For simple factors with nonempty ground sets, graphicity holds exactly when one factor is free and the other is graphic. For fixed factors, regularity, cographicity, and graphicity are independent of the common representation field, although the isomorphism type may vary with its characteristic. Products of at least three simple nonfree factors are nonregular.

math.CO↗

arXiv2026

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 $χ_{\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↗

arXiv2026

Covering Hypercube $mB^n$

The Alon--Füredi theorem determines the minimum number of hyperplanes needed to cover every nonzero vertex of the Boolean cube while avoiding the origin. We study hyperplane coverings with multiplicity for the generalized hypercube $mB^n=\{0,1,\ldots,m\}^n$. Our main result is a polynomial multiplicity theorem extending the theorem of Sauermann and Wigderson to $mB^n$, with sharp degree bounds for polynomials having prescribed high-order zeros. We apply this result to obtain lower and upper bounds for hyperplane coverings with multiplicity and determine the exact minimum number of hyperplanes for coverings with multiplicities $k=1,2$. In the special case of the Boolean cube, our constructions improve the upper bound of Clifton and Huang for certain ranges of the parameters.

math.CO↗

arXiv2026

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 $χ(\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↗

arXiv2026

Log-Concavity of Conic Intrinsic Volumes

Let $n\ge1$ and $C\subseteq\mathbb{R}^n$ be a closed convex cone with conic intrinsic volumes $v_0(C),\ldots,v_n(C)$. We prove the long-standing log-concavity conjecture for this sequence, in the stronger form \[ v_k(C)^2\ge ρ_kρ_{n-k}v_{k-1}(C)v_{k+1}(C), \qquad 1\le k\le n-1, \] where, for $l\ge1$, $ρ_l=\frac{l+1}{l}\frac{ω_{l-1}ω_{l+1}}{ω_l^2}>1$ and $ω_j$ is the volume of the Euclidean unit ball in $\mathbb{R}^j$. The proof applies the Alexandrov--Fenchel inequality to the Takemura--Kuriki identity \[ V(A[k],D[n-k])=\frac{ω_kω_{n-k}}{\binom nk}v_k(C),\qquad A=C\cap B^n,\quad D=C^\circ\cap B^n, \] where $C^\circ$ is the polar cone, $B^n$ is the Euclidean unit ball, and repeated arguments are indicated by brackets. A Master Steiner argument gives the identity directly for arbitrary closed convex cones, including degenerate ones. We also give a circular-cone counterexample to the standard ultra-log-concavity normalizations.

math.CO↗

arXiv2026

Characteristic Polynomials of Graph- and Digraph-Deleted Catalan Arrangements

We develop a finite-field stratification for characteristic polynomials of deletion subarrangements of the full $m$-Catalan arrangement. It reduces the count to cyclic placements of rigid blocks and yields falling-factorial expansions for deletions indexed by graphs, digraphs, and gain-labeled digraphs. The coefficients are graphical Stirling numbers for zero-layer deletions, directed matching numbers when the deleted layer $\ell$ satisfies $1\le \ell\le\lfloor m/2\rfloor$, directed path-cover numbers when $\lfloor m/2\rfloor<\ell\le m$, and admissible gain-labeled arc sets for multilayer deletions. For $\ell=m$, a complementary path-cover expansion yields factorization consequences. The method also gives formulas for directed Ish-type arrangements in terms of path-cycle covers and outdegrees.

math.CO↗

arXiv2026

Convolution-type Identity for Characteristic Polynomials of Geometric Semilattices

We establish a convolution formula for the characteristic polynomial of a finite geometric semilattice $M$: \[ χ(M,st)=\sum_{X\in \underline{M}} s^{r-{\rm rk}_{\underline{M}}(X)}χ(\underline{M}^X,t)\,χ(M_{(X)},s), \] where $\underline{M}$ denotes the centralization of $M$, and $M_{(X)}$ denotes the localization at $X$. This generalizes a nice formula of Southerland, Southern, and Zhou, which is recovered at $s=1$. When specialized to hyperplane arrangements, the identity yields a new expansion closely related to Wang's convolution formula. We further provide a combinatorial interpretation of the convolution formula using the finite field method over $\mathbb{F}_{p^2}$ and $\mathbb{F}_p$.

math.CO↗

arXiv2026

Several New Generalizations of LYM Inequality

The LYM inequality is a fundamental result concerning the sizes of subsets in a Sperner family. Subsequent studies on the LYM inequality have been generalized to families of $r$-decompositions, where all components are required to avoid chains of the same length. In this paper, we relax this constraint by allowing components of a family of $r$-decompositions to avoid chains of distinct lengths, and derive generalized LYM inequalities across all the relevant settings, including set-theoretic, $q$-analog, continuous analog, and arithmetic analog frameworks. Notably, the bound in our LYM inequalities does not depend on the maximal length of all forbidden chains. Moreover, we extend our approach beyond $r$-decompositions to $r$-multichains, and establish analogous LYM inequalities.

math.CO↗

arXiv2026

Level of Faces for Exponential Sequence of Arrangements

In this paper, we introduce the bivariate exponential generating function $F_l(x,y)$ for the number of level-$l$ faces of an exponential sequence of arrangements (ESA), and establish the formula $F_l(x,y)=\big(F_1(x,y)\big)^l$ with a combinatorial interpretation. Its specialization at $x=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-$l$ 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.

math.CO↗

arXiv2025

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↗

arXiv2025

The symmetric strong circuit elimination property

If $C_1$ and $C_2$ are circuits in a matroid $M$ with $e_1$ in $C_1-C_2$ and $e$ in $C_1\cap C_2$, then $M$ has a circuit $C_3$ such that $e\in C_3\subseteq (C_1\cup C_2)-e$. This strong circuit elimination axiom is inherently asymmetric. A matroid $M$ has the symmetric strong circuit elimination property (SSCE) if, when the above conditions hold and $e_2\in C_2-C_1$, there is a circuit $C_3'$ with $\{e_1,e_2\}\subseteq C_3'\subseteq (C_1\cup C_2)-e$. We prove that a connected matroid has this property if and only if it has no two skew circuits. We also characterize such matroids in terms of forbidden series minors, and we give a new matroid axiom system that is built around a modification of SSCE.

math.CO↗

arXiv2025

A decomposition of Grassmannian associated with a hyperplane arrangement

The Grassmannian, which is the manifold of all $k$-dimensional subspaces in the Euclidean space $\mathbb{R}^n$, was decomposed through three equivalent methods connecting combinatorial geometries, Schubert cells and convex polyhedra by Gelfand, Goresky, MacPherson and Serganova. Recently, Liang, Wang and Zhao discovered a novel decomposition of the Grassmannian via an essential hyperplane arrangement, which generalizes the first two methods. However, their work was confined to essential hyperplane arrangements. Motivated by their research, we extend their results to a general hyperplane arrangement $\mathcal{A}$, and demonstrate that the $\mathcal{A}$-matroid, the $\mathcal{A}$-adjoint and the refined $\mathcal{A}$-Schubert decompositions of the Grassmannian are consistent. As a byproduct, we provide a classification for $k$-restrictions of $\mathcal{A}$ related to all $k$-subspaces through two equivalent methods: the $\mathcal{A}$-matroid decomposition and the $\mathcal{A}$-adjoint decomposition.

math.CO↗