Source author record

Yushuang Fan

Yushuang Fan appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

6 published item(s)

preprint2016arXiv

Minimal relations and catenary degrees in Krull monoids

Let $H$ be a Krull monoid with class group $G$. Then $H$ is factorial if and only if $G$ is trivial. Sets of lengths and sets of catenary degrees are well studied invariants describing the arithmetic of $H$ in the non-factorial case. In this note we focus on the set $Ca (H)$ of catenary degrees of $H$ and on the set $\mathcal R (H)$ of distances in minimal relations. We show that every finite nonempty subset of $\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 $G$ contains a prime divisor. Then $Ca (H)\subset \mathcal R (H)$ and $\mathcal R (H)$ contains a long interval. Under a reasonable condition on the Davenport constant of $G$, $\mathcal R (H)$ coincides with this interval and the maximum equals the catenary degree of $H$.

preprint2015arXiv

On the Erd{ő}s-Ginzburg-Ziv constant of groups of the form $C_2^r\oplus C_n$

Let $G$ be a finite abelian group. The Erd{ő}s-Ginzburg-Ziv constant $\mathsf s(G)$ of $G$ is defined as the smallest integer $l\in \mathbb{N}$ such that every sequence $S$ over $G$ of length $|S|\geq l$ has a zero-sum subsequence $T$ of length $|T|= {\exp}(G)$. The value of this classical invariant for groups with rank at most two is known. But the precise value of $\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 $C_2^{r-1}\oplus C_{2n}$, where $r\geq 3$ and $n\ge 2$. We give a new upper bound of $\mathsf s(C_2^{r-1}\oplus C_{2n})$ for odd integer $n$. For $r\in [3,4]$, we obtain that $\mathsf s(C_2^2\oplus C_{2n})=4n+3$ for $n\ge 2$ and $\mathsf s(C_2^{3}\oplus C_{2n})=4n+5$ for $n\geq 36$.

preprint2015arXiv

Products of $k$ atoms in Krull monoids

Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. For $k\in \mathbb N$, let $\mathcal U_k(H)$ denote the set of all $m\in \mathbb N$ with the following property: There exist atoms $u_1, \ldots, u_k, v_1, \ldots , v_m\in H$ such that $u_1\cdot\ldots\cdot u_k=v_1\cdot\ldots\cdot v_m$. It is well-known that the sets $\mathcal U_k (H)$ are finite intervals whose maxima $ρ_k(H)=\max \mathcal U_k(H) $ depend only on $G$. If $|G|\le 2$, then $ρ_k (H) = k$ for every $k \in \mathbb N$. Suppose that $|G| \ge 3$. An elementary counting argument shows that $ρ_{2k}(H)=k\mathsf D(G)$ and $k\mathsf D(G)+1\le ρ_{2k+1}(H)\le k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ where $\mathsf D(G)$ is the Davenport constant. In \cite{Ga-Ge09b} it was proved that for cyclic groups we have $k\mathsf D(G)+1 = ρ_{2k+1}(H)$ for every $k \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^*\in \mathbb N$ such that $ρ_{2k+1}(H)= k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ for every $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 $C_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 $\varepsilon \in (0,\frac 14)$ and $c>0$, and let $p$ be a sufficiently large prime depending on $\varepsilon$ and $c$. Then every zero-sumfree sequence $S$ over $C_p\oplus C_p$ of length $|S|\geq 2p-c\sqrt{p}$ contains some element at least $\lfloor p^{\frac14-\varepsilon}\rfloor$ times.

preprint2011arXiv

On short zero-sum subsequences of zero-sum sequences

Let $G$ be a finite abelian group, and let $η(G)$ be the smallest integer $d$ such that every sequence over $G$ of length at least $d$ contains a zero-sum subsequence $T$ with length $|T|\in [1,\exp(G)]$. In this paper, we investigate the question whether all non-cyclic finite abelian groups $G$ share with the following property: There exists at least one integer $t\in [\exp(G)+1,η(G)-1]$ such that every zero-sum sequence of length exactly $t$ contains a zero-sum subsequence of length in $[1,\exp(G)]$. Previous results showed that the groups $C_n^2$ ($n\geq 3$) and $C_3^3$ have the property above. In this paper we show that more groups including the groups $C_m\oplus C_n$ with $3\leq m\mid n$, $C_{3^a5^b}^3$, $C_{3\times 2^a}^3$, $C_{3^a}^4$ and $C_{2^b}^r$ ($b\geq 2$) have this property. We also determine all $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 $G$ be a finite abelian group. The Erd{\H o}s--Ginzburg--Ziv constant $\mathsf s (G)$ of $G$ is defined as the smallest integer $l \in \mathbb N$ such that every sequence \ $S$ \ over $G$ of length $|S| \ge l$ \ has a zero-sum subsequence $T$ of length $|T| = \exp (G)$. If $G$ has rank at most two, then the precise value of $\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 = C_n^r$, with $n, r \in \N$ and $n \ge 2$, and we tackle the study of $\mathsf s (G)$ with a new approach, combining the direct problem with the associated inverse problem.