BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Hailun Zheng

Hailun Zheng contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.COmath.GT

Trust snapshot

Quick read

Trust 21 - Emerging
9works
0followers
2topics
2close collaborators

Actions

Decide how to stay connected

Follow researcher0

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

9 published item(s)

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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access