Source author record

Yihui Liang

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

3works
1topics
1close collaborators

Published work

3 publications

preprint2022arXiv

Explicit Stillman bounds for all degrees

In 2016 Ananyan and Hochster proved Stillman's conjecture by showing the existence of a uniform upper bound for the projective dimension of all homogeneous ideals, in polynomial rings over a field, generated by n forms of degree at most d. Explicit values of the bounds for forms of degrees 5 and higher are not yet known. The main result of this article is the construction of explicit such bounds, for all degrees d, which behave like power towers of height d^3/6+11d/6-4. This is done by establishing a bound D(k,d), which controls the number of generators of a minimal prime over an ideal of a regular sequence of k or fewer forms of degree d, and supplementing it into Ananyan and Hochster's proof in order to obtain a recurrence relation.

preprint2022arXiv

Upper bounds for regularity of radicals of ideals and arithmetic degrees

Let SS be a polynomial ring in nn variables over a field. Let II be a homogeneous ideal in SS generated by forms of degree at most dd with dim(S/I)=r\text{dim}(S/I)=r. In the first part of this paper, we show how to derive from a result of Hoa an upper bound for the regularity of I\sqrt{I}. More specifically we show that reg(I)≤d(n−1)2r−1\text{reg}(\sqrt{I})\leq d^{(n-1)2^{r-1}}. In the second part, we show that the rr-th arithmetic degree of II is bounded above by 2⋅d2n−r−12\cdot d^{2^{n-r-1}}. This is done by proving upper bounds for arithmetic degrees of strongly stable ideals and ideals of Borel type.

preprint2020arXiv

Degree bounds for Gröbner bases of modules

Let FF be a non-negatively graded free module over a polynomial ring K[x1,…,xn]\mathbb{K}[x_1,\dots,x_n] generated by mm basis elements. Let MM be a submodule of FF generated by elements in FF with degrees bounded by DD and dim F/MF/M=rr. We prove that if MM is graded, the degree of the reduced Gröbner basis of MM for any term order is bounded by 2[1/2((Dm)n−rm+D)]2r−12\left[1/2((Dm)^{n-r}m+D) \right]^{2^{r-1}}. If MM is not graded, the bound is 2[1/2((Dm)(n−r)2m+D)]2r2\left[1/2((Dm)^{(n-r)^2}m+D) \right]^{2^{r}}. This is a generalization of Dubé(1990) and Mayr-Ritscher(2013)'s bounds for ideals in a polynomial ring.

Research graph

See the researcher in context

Open full explorer

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.