Source author record

Yushuang Fan

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

6works
3topics
4close collaborators

Published work

6 publications

preprint2016arXiv

Minimal relations and catenary degrees in Krull monoids

Let HH be a Krull monoid with class group GG. Then HH is factorial if and only if GG is trivial. Sets of lengths and sets of catenary degrees are well studied invariants describing the arithmetic of HH in the non-factorial case. In this note we focus on the set Ca(H)Ca (H) of catenary degrees of HH and on the set R(H)\mathcal R (H) of distances in minimal relations. We show that every finite nonempty subset of N≥2\mathbb N_{\ge 2} can be realized as the set of catenary degrees of a Krull monoid with finite class group. This answers Problem 4.1 of {arXiv:1506.07587}. Suppose in addition that every class of GG contains a prime divisor. Then Ca(H)⊂R(H)Ca (H)\subset \mathcal R (H) and R(H)\mathcal R (H) contains a long interval. Under a reasonable condition on the Davenport constant of GG, R(H)\mathcal R (H) coincides with this interval and the maximum equals the catenary degree of HH.

preprint2015arXiv

On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form C2r⊕CnC_2^r\oplus C_n

Let GG be a finite abelian group. The Erd{ő}s-Ginzburg-Ziv constant s(G)\mathsf s(G) of GG is defined as the smallest integer l∈Nl\in \mathbb{N} such that every sequence SS over GG of length ∣S∣≥l|S|\geq l has a zero-sum subsequence TT of length ∣T∣=exp⁡(G)|T|= {\exp}(G). The value of this classical invariant for groups with rank at most two is known. But the precise value of s(G)\mathsf s(G) for the groups of rank larger than two is difficult to determine. In this paper we pay our attentions to the groups of the form C2r−1⊕C2nC_2^{r-1}\oplus C_{2n}, where r≥3r\geq 3 and n≥2n\ge 2. We give a new upper bound of s(C2r−1⊕C2n)\mathsf s(C_2^{r-1}\oplus C_{2n}) for odd integer nn. For r∈[3,4]r\in [3,4], we obtain that s(C22⊕C2n)=4n+3\mathsf s(C_2^2\oplus C_{2n})=4n+3 for n≥2n\ge 2 and s(C23⊕C2n)=4n+5\mathsf s(C_2^{3}\oplus C_{2n})=4n+5 for n≥36n\geq 36.

preprint2015arXiv

Products of kk atoms in Krull monoids

Let HH be a Krull monoid with finite class group GG such that every class contains a prime divisor. For k∈Nk\in \mathbb N, let Uk(H)\mathcal U_k(H) denote the set of all m∈Nm\in \mathbb N with the following property: There exist atoms u1,…,uk,v1,…,vm∈Hu_1, \ldots, u_k, v_1, \ldots , v_m\in H such that u1⋅…⋅uk=v1⋅…⋅vmu_1\cdot\ldots\cdot u_k=v_1\cdot\ldots\cdot v_m. It is well-known that the sets Uk(H)\mathcal U_k (H) are finite intervals whose maxima ρk(H)=max⁡Uk(H)ρ_k(H)=\max \mathcal U_k(H) depend only on GG. If ∣G∣≤2|G|\le 2, then ρk(H)=kρ_k (H) = k for every k∈Nk \in \mathbb N. Suppose that ∣G∣≥3|G| \ge 3. An elementary counting argument shows that ρ2k(H)=kD(G)ρ_{2k}(H)=k\mathsf D(G) and kD(G)+1≤ρ2k+1(H)≤kD(G)+⌊D(G)2⌋k\mathsf D(G)+1\le ρ_{2k+1}(H)\le k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor where D(G)\mathsf D(G) is the Davenport constant. In \cite{Ga-Ge09b} it was proved that for cyclic groups we have kD(G)+1=ρ2k+1(H)k\mathsf D(G)+1 = ρ_{2k+1}(H) for every k∈Nk \in \mathbb N. In the present paper we show that (under a mild condition on the Davenport constant) for every noncyclic group there exists a k∗∈Nk^*\in \mathbb N such that ρ2k+1(H)=kD(G)+⌊D(G)2⌋ρ_{2k+1}(H)= k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor for every k≥k∗k\ge k^*. This confirms a conjecture of A. Geroldinger, D. Grynkiewicz, and P. Yuan in \cite{Ge-Gr-Yu15}.

preprint2012arXiv

On the maximal multiplicity of long zero-sum free sequences over Cp⊕CpC_p\oplus C_p

In this paper, we point out that the method used in [Acta Arith. 128(2007) 245-279] can be modified slightly to obtain the following result. Let ε∈(0,14)\varepsilon \in (0,\frac 14) and c>0c>0, and let pp be a sufficiently large prime depending on ε\varepsilon and cc. Then every zero-sumfree sequence SS over Cp⊕CpC_p\oplus C_p of length ∣S∣≥2p−cp|S|\geq 2p-c\sqrt{p} contains some element at least ⌊p14−ε⌋\lfloor p^{\frac14-\varepsilon}\rfloor times.

preprint2011arXiv

On short zero-sum subsequences of zero-sum sequences

Let GG be a finite abelian group, and let η(G)η(G) be the smallest integer dd such that every sequence over GG of length at least dd contains a zero-sum subsequence TT with length ∣T∣∈[1,exp⁡(G)]|T|\in [1,\exp(G)]. In this paper, we investigate the question whether all non-cyclic finite abelian groups GG share with the following property: There exists at least one integer t∈[exp⁡(G)+1,η(G)−1]t\in [\exp(G)+1,η(G)-1] such that every zero-sum sequence of length exactly tt contains a zero-sum subsequence of length in [1,exp⁡(G)][1,\exp(G)]. Previous results showed that the groups Cn2C_n^2 (n≥3n\geq 3) and C33C_3^3 have the property above. In this paper we show that more groups including the groups Cm⊕CnC_m\oplus C_n with 3≤m∣n3\leq m\mid n, C3a5b3C_{3^a5^b}^3, C3×2a3C_{3\times 2^a}^3, C3a4C_{3^a}^4 and C2brC_{2^b}^r (b≥2b\geq 2) have this property. We also determine all t∈[exp⁡(G)+1,η(G)−1]t\in [\exp(G)+1, η(G)-1] with the property above for some groups including the groups of rank two, and some special groups with large exponent.

preprint2011arXiv

On the Erd{\H o}s--Ginzburg--Ziv constant of finite abelian groups of high rank

Let GG be a finite abelian group. The Erd{\H o}s--Ginzburg--Ziv constant s(G)\mathsf s (G) of GG is defined as the smallest integer l∈Nl \in \mathbb N such that every sequence \ SS \ over GG of length ∣S∣≥l|S| \ge l \ has a zero-sum subsequence TT of length ∣T∣=exp⁡(G)|T| = \exp (G). If GG has rank at most two, then the precise value of s(G)\mathsf s (G) is known (for cyclic groups this is the Theorem of Erd{\H o}s-Ginzburg-Ziv). Only very little is known for groups of higher rank. In the present paper, we focus on groups of the form G=CnrG = C_n^r, with n,r∈Nn, r \in \N and n≥2n \ge 2, and we tackle the study of s(G)\mathsf s (G) with a new approach, combining the direct problem with the associated inverse problem.

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.