{"id":"arxiv/2606.12037","url":"https://arxiv.org/abs/2606.12037","tags":["math.NT"],"score":0,"title":"Proofs of two $q$-congruence conjectures of Guo","domain":"math.NT","source":"arxiv","authors":["Ji-Cai Liu","Qing-Yuan Tao"],"reviews":0,"subject":"math.NT","summary":"We prove two conjectural $q$-congruences proposed by Guo. The first is Conjecture 7.2 in Guo's work on $q$-analogues of two ``divergent'' Ramanujan-type supercongruences; it asserts a square-cyclotomic congruence for a truncated $q$-analogue of a Ramanujan-type sum when $n\\equiv1\\pmod4$. The second is Conjecture 4.1 in Guo's extension of Van Hamme's $(A.2)$ supercongruence; it gives divisibility modulo $[n]$ for a family of truncated basic hypergeometric sums with a parameter $s$. The proof of the first result relies on a known Watson-transformation congruence obtained by Guo. The proof of…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-10","reactions":{}}