3 citations · 5 across the 8 of their papers we have counts for
8 papers
Chainmail links and non-left-orderability
Zipei Nie
We prove that the alternating surgeries on flat fully augmented chainmail links yield total L-spaces. We also study the non-left-orderability of surgeries on the connected sum with…
Petal diagram from simple braids
Zipei Nie
We construct petal diagrams from simple braids. This approach allows us to confirm a conjecture proposed by Kim, No and Yoo, which states that the petal number of the nontrivial to…
Automated reasoning for proving non-orderability of groups
Alexei Lisitsa, Zipei Nie, Alexei Vernitski
We demonstrate how a generic automated theorem prover can be applied to establish the non-orderability of groups. Our approach incorporates various tools such as positive cones, to…
Simpler Analyses of Union-Find
Zhiyi Huang, Chris Lambert, Zipei Nie +1
We analyze union-find using potential functions motivated by continuous algorithms, and give alternate proofs of the , , , and $O(α(n))…
On a conjecture of Knuth about forward and back arcs
Zipei Nie
Following Janson's method, we prove a conjecture of Knuth: the numbers of forward and back arcs for the depth-first search (DFS) in a digraph with a geometric outdegree distributio…
Matrix anti-concentration inequalities with applications
Zipei Nie
We provide a polynomial lower bound on the minimum singular value of an random matrix with jointly Gaussian entries, under a polynomial bound on the matrix norm and…