arXiv subjects

Guangyan Zhu

Publications and source records attributed to Guangyan Zhu.

4 recordsLinked to original sources

arXiv2026

Gcd-closed sets and divisibility among power GCD matrices and power LCM matrices

Let $a, b$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. We denote by $(S^a)$ (resp. $[S^a]$) the $n\times n$ matrix having the $a$th power of the greatest common divisor (resp. the least common multiple) of $x_i$ and $x_j$ as its $(i,j)$-entry. For any $x\in S$, let $G_{S}(x) :=\{d\in S: d<x, d|x \ {\rm and} \ (d|y|x, y\in S)\Rightarrow y\in \{d,x\}\}$. In this paper, we first establish some interesting and important arithmetic properties of gcd-closed sets satisfying the condition $\mathcal{G}$ (i.e., for any element $x\in S$, either $G_S(x)$ contains at most one element, or $G_S(x)$ contains at least two elements and satisfies that $[y_1,y_2]=x$ and $(y_1,y_2)\in G_S(y_1)\cap G_S(y_2)$ for any $\{y_1,y_2\}\subseteq G_S(x)$), and then make use of these results to show that $(S^a)|(S^b)$ and $(S^a)|[S^b]$ when $a|b$ and $S$ is a gcd-closed set satisfying the condition $\mathcal{G}$. This confirms a conjecture of Hong proposed in [S.F. Hong, Divisibility among power GCD matrices and power LCM matrices, {\it Bull. Aust. Math. Soc.} {\bf 113} (2026), 231-243].

math.NT↗

arXiv2026

Gcd-closed sets and divisibility among power LCM matrices

Let $a,b$, and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. We denote by $[S^a]$ the $n\times n$ matrix having the $a$th power of the least common multiple of $x_i$ and $x_j$ as its $(i,j)$-entry. For $x\in S$, let $G_{S}(x)=\{d\in S: d<x, d|x \ {\rm and} \ (d|y|x, y\in S)\Rightarrow y\in \{d,x\}\}$. In this article, we show that $[S^a]$ divides $[S^b]$ in the ring of $n\times n$ matrices over the integers if $a|b$ and $S$ is gcd closed (i.e., $\gcd(x_i,x_j)\in S$ for all integers $i$ and $j$ with $1\le i,j\le n$) and satisfies the condition $\mathcal G$ (that is, for any $x\in S$, either $G_S(x)$ contains at most one element, or $G_S(x)$ contains at least two elements and satisfies that ${\rm lcm}(y_1,y_2)=x$ and $\gcd(y_1,y_2)\in G_S(y_1)\cap G_S(y_2)$ for any $\{y_1,y_2\}\subseteq G_S(x)$). This confirms a conjecture of Hong proposed in (2026, Bull. Aust. Math. Soc., 113, 231-243).

math.NT↗

arXiv2025

Factorization of power GCD matrices and power LCM matrices on certain gcd-closed sets

For integers $x$ and $y$, $(x, y)$ and $[x, y]$ stand for the greatest common divisor and the least common multiple of $x$ and $y$ respectively. Denote by $|T|$ the number of elements of a finite set $T$. Let $a,b$ and $n$ be positive integers and let $S=\{x_1, \cdots, x_n\}$ be a set of $n$ distinct positive integers. We denote by $(S^a)$ (resp. $[S^a]$) the $n\times n$ matrix having the $a$th power of $(x_i,x_j)$ (resp. $[x_i,x_j]$) as its $(i,j)$-entry. For any $x\in S$, define $G_{S}(x):=\{d\in S: d<x, d|x \ {\rm and} \ (d|y|x, y\in S) \Rightarrow y\in \{d,x\}\}$. In this paper, we show that if $a|b$ and $S$ is gcd closed (namely, $(x_i, x_j)\in S$ for all integers $i$ and $j$ with $1\le i, j\le n$) and $\max_{x\in S}\{|G_S (x)|\}=3$ such that any elements $y_1,y_2\in G_S(x)$ satisfy that $[y_1,y_2]=x$ and $(y_1,y_2)\in G_S(y_1)\cap G_S(y_2)$), then $(S^a)|(S^b)$, $(S^a)|[S^b]$ and $[S^a]|[S^b]$ hold in the ring $M_{n}({\mathbb Z})$. This extends the Chen-Hong-Zhao theorem gotten in 2022. This also partially confirms a conjecture of Hong raised in [S.F. Hong, Divisibility among power GCD matrices and power LCM matrices, {\it Bull. Aust. Math. Soc.}, doi:10.1017/S0004972725100361].

math.NT↗

arXiv2025

Divisibility among power GCD and power LCM matrices on certain gcd-closed sets

Let $(x, y)$ and $[x, y]$ denote the greatest common divisor and the least common multiple of the integers $x$ and $y$ respectively. We denote by $|T|$ the number of elements of a finite set $T$. Let $a,b$ and $n$ be positive integers and let $S=\{x_1, ..., x_n\}$ be a set of $n$ distinct positive integers. We denote by $(S^a)$ (resp. $[S^a]$) the $n\times n$ matrix whose $(i,j)$-entry is the $a$th power of $(x_i,x_j)$ (resp. $[x_i,x_j]$). For any $x\in S$, define $G_{S}(x):=\{d\in S: d<x, d|x \ {\rm and} \ (d|y|x, y\in S)\Rightarrow y\in \{d,x\}\}$. In this paper, we show that if $a|b$ and $S$ is gcd closed (namely, $(x_i, x_j)\in S$ for all integers $i$ and $j$ with $1\le i, j\le n$) and $\max_{x\in S}\{|G_S (x)|\}=2$ and the condition $\mathcal{G}$ being satisfied (i.e., any element $x\in S$ satisfies that either $|G_S(x)|\le 1$, or $G_S(x)=\{y_1,y_2\}$ satisfying that $[y_1,y_2]=x$ and $(y_1,y_2)\in G_S(y_1)\cap G_S(y_2)$), then $(S^a)|(S^b), (S^a)|[S^b]$ and $[S^a]|[S^b]$ hold in the ring $M_{n}({\bf Z})$. Furthermore, we show the existences of gcd-closed sets $S$ such that $S$ does not satisfy the condition $\mathcal{G}$ and such factorizations are true. Our result extends the Feng-Hong-Zhao theorem gotten in 2009. This also partially confirms a conjecture raised by Hong in [S.F. Hong, Divisibility among power GCD matrices and power LCM matrices, {\it Bull. Aust. Math. Soc.}, doi:10.1017/S0004972725100361].

math.NT↗