Source author record

Hailun Zheng

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

ResearcherUnclaimed source record

math.CO math.GT

Catalog footprint

Research overview

9works

2topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2026arXiv

Simplicial spheres with $g_k=1$

For $d\geq 4$ , Kalai (1987) characterized all simplicial $(d-1)$ -spheres with $g_2=0$ , and for $k\geq 2$ and $d\geq 2k$ , Murai and Nevo (2013) characterized all simplicial $(d-1)$ -spheres with $g_k=0$ . In addition, for $d\geq 4$ , Nevo and Novinsky (2011) characterized all simplicial $(d-1)$ -spheres with $g_2=1$ . Motivated by these results, we characterize, for any $k\geq 2$ and $d\geq 2k+1$ , all simplicial $(d-1)$ -spheres with no missing faces of dimension larger than $d-k$ that satisfy $g_k=1$ . When $d=2k$ , we obtain a characterization of simplicial $(d-1)$ -spheres with $g_k=1$ and no missing faces of dimension greater than $k$ , under the additional assumption that there exists at least one missing face of dimension $k$ . Finally, for $k=3$ , we are able to remove this assumption and characterize all simplicial $5$ -spheres with no missing faces of dimension larger than $3$ that satisfy $g_3=1$ .

preprint2022arXiv

Neighborly spheres and transversal numbers

We survey several old and new problems related to the number of simplicial spheres, the number of neighborly simplicial spheres, the number of centrally symmetric simplicial spheres that are cs-neighborly, and the transversal numbers of hypergraphs that arise from simplicial spheres.

preprint2022arXiv

New families of highly neighborly centrally symmetric spheres

In 1995, Josckusch constructed an infinite family of centrally symmetric (cs, for short) triangulations of $3$ -spheres that are cs- $2$ -neighborly. Recently, Novik and Zheng extended Jockusch's construction: for all $d$ and $n>d$ , they constructed a cs triangulation of a $d$ -sphere with $2n$ vertices, $Δ^d_n$ , that is cs- $\lceil d/2\rceil$ -neighborly. Here, several new cs constructions, related to $Δ^d_n$ , are provided. It is shown that for all $k>2$ and a sufficiently large $n$ , there is another cs triangulation of a $(2k-1)$ -sphere with $2n$ vertices that is cs- $k$ -neighborly, while for $k=2$ there are $Ω(2^n)$ such pairwise non-isomorphic triangulations. It is also shown that for all $k>2$ and a sufficiently large $n$ , there are $Ω(2^n)$ pairwise non-isomorphic cs triangulations of a $(2k-1)$ -sphere with $2n$ vertices that are cs- $(k-1)$ -neighborly. The constructions are based on studying facets of $Δ^d_n$ , and, in particular, on some necessary and some sufficient conditions similar in spirit to Gale's evenness condition. Along the way, it is proved that Jockusch's spheres $Δ^3_n$ are shellable and an affirmative answer to Murai--Nevo's question about $2$ -stacked shellable balls is given.

preprint2022arXiv

Reconstructing simplicial polytopes from their graphs and affine $2$ -stresses

A conjecture of Kalai from 1994 posits that for an arbitrary $2\leq k\leq \lfloor d/2 \rfloor$ , the combinatorial type of a simplicial $d$ -polytope $P$ is uniquely determined by the $(k-1)$ -skeleton of $P$ (given as an abstract simplicial complex) together with the space of affine $k$ -stresses on $P$ . We establish the first non-trivial case of this conjecture, namely, the case of $k=2$ . We also prove that for a general $k$ , Kalai's conjecture holds for the class of $k$ -neighborly polytopes.

preprint2020arXiv

A new family of triangulations of $\mathbb{R}P^d$

We construct a family of PL triangulations of the $d$ -dimensional real projective space $\mathbb{R}P^d$ on $Θ((\frac{1+\sqrt{5}}{2})^{d+1})$ vertices for every $d\geq 1$ . This improves a construction due to Kühnel on $2^{d+1}-1$ vertices.

preprint2020arXiv

Ear Decomposition and Balanced Neighborly Simplicial Manifolds

We find the first non-octahedral balanced 2-neighborly 3-sphere and the balanced 2-neighborly triangulation of the lens space $L(3,1)$ . Each construction has 16 vertices. We show that there exists a balanced 3-neighborly non-spherical 5-manifold with 18 vertices. We also show that the rank-selected subcomplexes of a balanced simplicial sphere do not necessarily have an ear decomposition.

preprint2020arXiv

Highly neighborly centrally symmetric spheres

In 1995, Jockusch constructed an infinite family of centrally symmetric $3$ -dimensional simplicial spheres that are cs- $2$ -neighborly. Here we generalize his construction and show that for all $d\geq 3$ and $n\geq d+1$ , there exists a centrally symmetric $d$ -dimensional simplicial sphere with $2n$ vertices that is cs- $\lceil d/2\rceil$ -neighborly. This result combined with work of Adin and Stanley completely resolves the upper bound problem for centrally symmetric simplicial spheres.

preprint2020arXiv

The upper bound theorem for flag homology 5-manifolds

We prove that among all flag homology $5$ -manifolds with $n$ vertices, the join of $3$ circles of as equal length as possible is the unique maximizer of all the face numbers. The same upper bounds on the face numbers hold for $5$ -dimensional flag Eulerian normal pseudomanifolds.

preprint2016arXiv

Minimal Balanced Triangulations of Sphere Bundles over the Circle

We determine the minimum number of vertices needed to provide balanced triangulations of $\mathbb S^{d-2}$ -bundles over $\mathbb S^1$ . If $d$ is odd and the bundle is orientable, or $d$ is even and the bundle is non-orientable, the minimum number of vertices is $3d$ ; otherwise, it is $3d+2$ . Similar results apply to all balanced simplicial complexes that triangulate homology manifolds with $β_1\neq 0$ and $β_2=0$ , where $β_i$ 's are the Betti numbers, computed with coefficients in $\mathbb Q$ .

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.

Hailun Zheng

Research overview

Is this your work?

9 publications

Simplicial spheres with $g_k=1$

Neighborly spheres and transversal numbers

New families of highly neighborly centrally symmetric spheres

Reconstructing simplicial polytopes from their graphs and affine $2$ -stresses

A new family of triangulations of $\mathbb{R}P^d$

Ear Decomposition and Balanced Neighborly Simplicial Manifolds

Highly neighborly centrally symmetric spheres

The upper bound theorem for flag homology 5-manifolds

Minimal Balanced Triangulations of Sphere Bundles over the Circle

See the researcher in context

Building this map preview

Hailun Zheng

Research overview

Is this your work?

9 publications

Simplicial spheres with gk=1g_k=1gk​=1

Neighborly spheres and transversal numbers

New families of highly neighborly centrally symmetric spheres

Reconstructing simplicial polytopes from their graphs and affine 222-stresses

A new family of triangulations of RPd\mathbb{R}P^dRPd

Ear Decomposition and Balanced Neighborly Simplicial Manifolds

Highly neighborly centrally symmetric spheres

The upper bound theorem for flag homology 5-manifolds

Minimal Balanced Triangulations of Sphere Bundles over the Circle

See the researcher in context

Building this map preview

Simplicial spheres with $g_k=1$

Reconstructing simplicial polytopes from their graphs and affine $2$ -stresses

A new family of triangulations of $\mathbb{R}P^d$