A note on the Borwein conjecture

jiyou li

2015-01-01

Abstract: The Borwein conjecture asserts that for any positive integer $n$ and $k$, the coefficient $a_{3k}$ of $q^{3k}$ in the expansion of $\prod_{j=0}^n (1-q^{3j+1})(1-q^{3j+2})$ is nonnegative. In this note we prove that for any $k\leq n$, $$a_{3k}+a_{3(n+1)+3k}+\cdots+a_{3n(n+1)+3k}>0.$$

What problem does this paper attempt to address?

On the Borwein Conjecture

Jiyou Li

DOI: https://doi.org/10.1142/s1793042120500542

2019-01-01

International Journal of Number Theory

Abstract:A conjecture of Borwein asserts that for any positive integers [Formula: see text] and [Formula: see text], the coefficient [Formula: see text] of [Formula: see text] in the expansion of [Formula: see text] is nonnegative. In this paper, we prove that for any [Formula: see text], there is a constant [Formula: see text] such that [Formula: see text] In particular, [Formula: see text]
The Borwein Conjectures over Arithmetic Progressions

Jiyou Li,Xiang Yu

2020-01-01

Abstract:We obtain asymptotic formulas for sums of coefficients over arithmetic progressions of polynomials related to the Borwein conjectures. Let $a_i$ denote the coefficient of $q^i$ in the polynomial $\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s$, where $p$ is an odd prime, and $n, s$ are positive integers. In this note, we prove that $$\Big|\sum_{i=b \text{mod} 2pn}a_i-\frac{(p-1)p^{sn-1}}{2n}\Big|\leq p^{sn/2},$$ if $b$ is divisible by $p$, and $$\Big|\sum_{i=b \text{mod} 2pn}a_i+\frac{p^{sn-1}}{2n}\Big|\leq p^{sn/2},$$ if $b$ is not divisible by $p$. This improves a recent result of Goswami and Pantangi.
A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.7169/facm/1694

2018-01-01

Functiones et Approximatio Commentarii Mathematici

Abstract:Let p >= 7 be a prime, l >= 0 be an integer and k, m be two positive integers, we obtain the following congruences, Sigma((l+1)p-1)(s=lp) ((kp-1)(s))(m) {((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, ((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m; and Sigma((l+1)p-1)(s=lp) (-1)(s)((kp-1)(s))(m) {(-1)(l)((k-1)(l))(m) 2(km(p-1)) (mod p(3)), if 2 inverted iota m, (-1)(l)((k-1)(l))(m) ((kmp-2)(p-1)) (mod p(4)), if 2 vertical bar m. Let p and q are distinct odd primes and k be a positive integer, we have ((kpq-1)((pq-1)/2)) ((kp-1)((p-1)/2)) ((kq-1)((q-1)/2)) (mod pq).
A variety of Euler’s sum of powers conjecture

Tianxin Cai,Yong Zhang

DOI: https://doi.org/10.21136/CMJ.2021.0210-20

2021-01-01

Czechoslovak Mathematical Journal

Abstract:We consider a variety of Euler’s sum of powers conjecture, i.e., whether the Diophantine system $$\left\{{\matrix{{n = {a_1} + {a_2} + \ldots + {a_{s - 1}},} \hfill \cr {{a_1}{a_2} \ldots {a_{s - 1}}({a_1} + {a_2} + \ldots + {a_{s - 1}}) = {b^s}} \hfill \cr}} \right.$$ has positive integer or rational solutions n, b, aj, i = 1, 2, …, s − 1, s ⩾ 3. Using the theory of elliptic curves, we prove that it has no positive integer solution for s = 3, but there are infinitely many positive integers n such that it has a positive integer solution for s ⩾ 4. As a corollary, for s ⩾ 4 and any positive integer n, the above Diophantine system has a positive rational solution. Meanwhile, we give conditions such that it has infinitely many positive rational solutions for s ⩾ 4 and a fixed positive integer n.
A curious congruence modulo prime powers

liuquan wang,tianxin cai

DOI: https://doi.org/10.1016/j.jnt.2014.04.004

IF: 0.679

2014-01-01

Journal of Number Theory

Abstract:Zhao established a curious congruence, i.e., for any prime p≥3,∑i+j+k=pi,j,k>01ijk≡−2Bp−3(modp). In this note we prove that for any prime p≥3 and positive integer r,∑i+j+k=pri,j,k∈Pp1ijk≡−2pr−1Bp−3(modpr), where Pn denotes the set of positive integers which are prime to n.
On the positive coefficients of two families of $q$-series

Ji-Cai Liu,Kong-Lian Liao

2024-11-07

Abstract:Let $S$ be a finite set of pairwise coprime positive integers and $Ax^2+Bx$ be an integer valued polynomial with $A> B\ge 0$. For integers $k\ge 1$ and $n\ge 0$, the coefficients $\gamma_{S,A,B}^k (n)$ are defined as \begin{align*} \prod_{s\in S}\frac{1}{1-q^s}\sum_{j\not\in [-k,k-1]} (-1)^{j+k}q^{Aj^2+Bj}=\sum_{n= 0}^{\infty}\gamma_{S,A,B}^k (n)q^n. \end{align*} In this paper, we investigate the positivity of $\gamma_{S,A,B}^k (n)$ for $|S|=4,5$.

Number Theory,Combinatorics
A Variety of Euler's Conjecture

Tianxin Cai,Yong Zhang

2013-01-01

Abstract:We consider a variety of Euler's conjecture, i.e., whether the Diophantine system n=a_1+a_2+⋯+a_s-1, a_1a_2⋯ a_s-1(a_1+a_2+⋯+a_s-1)=b^s has solutions n,b,a_i∈ℤ^+,i=1,2,…,s-1,s≥ 3. By using the theory of elliptic curves, we prove that it has no solutions n,b,a_i∈ℤ^+ for s=3, but for s=4 it has infinitely many solutions n,b,a_i∈ℤ^+ and for s≥ 5 there are infinitely many polynomial solutions n,b,a_i∈ℤ[t_1,t_2,…,t_s-3] with positive value satisfying this Diophantine system.
Unimodality of partition polynomials related to Borwein's conjecture

Janet J. W. Dong,Kathy Q. Ji

2023-04-03

Abstract:The objective of this paper is to prove that the polynomials $\prod_{k=0}^n(1+q^{3k+1})(1+q^{3k+2})$ are symmetric and unimodal for $n\geq 0$ by an analytical method.

Combinatorics
Extension of Bressoud's generalization of Borwein's conjecture and some exact results

Alexander Berkovich,Aritram Dhar

2024-08-07

Abstract:In this paper, we conjecture an extension to Bressoud's 1996 generalization of Borwein's famous 1990 conjecture. We then state a few infinite hierarchies of non-negative $q$-series identities which are interesting examples of our proposed conjecture and Bressoud's generalized conjecture. Finally, using certain positivity-preserving transformations for $q$-binomial coefficients, we prove the non-negativity of the infinite families.

Combinatorics,Number Theory
Some New Congruences Concerning Binomial Coefficients

JIA Lirui,ZHANG Yong,CAI Tianxin

DOI: https://doi.org/10.11845/sxjz.2017004b

2018-01-01

Abstract:Let k be a positive integer and p be a prime.We give some congruences involving the binomial coefficients((k+1)p-a)p-a),(kp-1p-a) with 1 ≤ a ≤ p-1 and （kp+p-1/2b±p-1/2±b),(kp-1p-1/2±b) with 0 ≤ b ≤ p-1/2.In particular,we get a generalization of Morley's congruence.Meanwhile,some congruences about the summation of ((k+1)p-ap-a) are obtained.
New Borwein-type conjectures

Alexander Berkovich,Aritram Dhar

2024-08-09

Abstract:Motivated by recent research of Krattenthaler and Wang, we propose five new "Borwein-type" conjectures modulo $3$ and two new "Borwein-type" conjectures modulo $5$.

Combinatorics,Number Theory
A new generalization of Fermat's Last Theorem

tianxin cai,deyi chen,yong zhang

DOI: https://doi.org/10.1016/j.jnt.2014.09.014

IF: 0.679

2013-01-01

Journal of Number Theory

Abstract: In this paper, we consider some hybrid Diophantine equations of addition and multiplication. We first improve a result on new Hilbert-Waring problem. Then we consider the equation \begin{equation} \begin{cases} A+B=C ABC=D^n \end{cases} \end{equation} where $A,B,C,D,n \in\ZZ_{+}$ and $n\geq3$, which may be regarded as a generalization of Fermat's equation $x^n+y^n=z^n$. When $\gcd(A,B,C)=1$, $(1)$ is equivalent to Fermat's equation, which means it has no positive integer solutions. We discuss several cases for $\gcd(A,B,C)=p^k$ where $p$ is an odd prime. In particular, for $k=1$ we prove that $(1)$ has no nonzero integer solutions when $n=3$ and we conjecture that it is also true for any prime $n>3$. Finally, we consider equation $(1)$ in quadratic fields $\mathbb{Q}(\sqrt{t})$ for $n=3$.
arXiv:math.NT/0502187 CONGRUENCES FOR SUMS OF BINOMIAL COEFFICIENTS

Zhi-Wei Sun,Roberto Tauraso

2005-01-01

Abstract:Let m > 0 and q > 1 be relatively prime integers. We find an explicit period ν m (q) such that for any integers n 0 and r we have n + ν m (q) r m (a) ≡ n r m (a) (mod q), provided that a = −1 and n = 0, or a is an integer with 1 − (−a) m relatively prime to q, where n r m (a) = k≡r (mod m) n k a k. This is a further extension of a congruence of Glaisher.
Notes On a Borwein and Choi's conjecture of cyclotomic polynomials with coefficients $\pm1$

Shaofang Hong,Wei Cao

DOI: https://doi.org/10.1007/s10114-008-6444-5

2018-07-31

Abstract:Borwein and Choi conjectured that a polynomial $P(x)$ with coefficients $\pm1$ of degree $N-1$ is cyclotomic iff $$P(x)=\pm \Phi_{p_1}(\pm x)\Phi_{p_2}(\pm x^{p_1})\cdots \Phi_{p_r}(\pm x^{p_1p_2\cdots p_{r-1}})$$ where $N=p_1p_2\cdots p_{r}$ and the $p_i$ are primes, not necessarily distinct. Here $\Phi_p(x):=(x^p-1)/(x-1)$ is the $p-$th cyclotomic polynomial. In \cite{1}, they also proved the conjecture for $N$ odd or a power of 2. In this paper we introduce a so-called $E-$transformation, by which we prove the conjecture for a wider variety of cases and present the key as well as a new approach to investigate the conjecture.

Number Theory
An elementary conjecture which implies the Goldbach conjecture

Richard Williamson

DOI: https://doi.org/10.48550/arXiv.1802.02428

2018-02-02

Abstract:Let $p_{1}$, ..., $p_{k}$ be the first $k$ odd primes in succession. Let $n$ be an even integer such that $n > p_{k}$. We conjecture that if none of $n - p_{1}$, ..., $n - p_{k}$ are prime, then at least one of them has a prime factor which is greater than or equal to $p_{k}$. In this brief note, we observe that Goldbach's conjecture follows from this conjecture.

General Mathematics
A Note on the Linnik's constant

Zaizhao Meng

2010-01-01

Abstract:Let $P(a,q)$ be the least prime in the arithmetic progression $\{n\equiv a(mod\ q)\}$. In this note, when $q$ has bounded cubic part and $(a,q)=1$, we combine the Heath-Brown's method and the Burgess's bounds for L-functions to obtain $ P(a,q)\ll q^{4.5}.$
On a conjecture of Sun involving powers of three

Quan-Hui Yang,Lilu Zhao

DOI: https://doi.org/10.48550/arXiv.2111.02746

2021-11-04

Number Theory

Abstract:Given a positive integer $n\ge 2$, let $D(n)$ denote the smallest positive integer $m$ such that $a^3+a(1\le a\le n)$ are pairwise distinct modulo $m^2$. A conjecture of Z.-W. Sun states that $D(n)=3^k$, where $3^k$ is the least power of $3$ no less than $\sqrt{n}$. The purpose of this paper is to confirm this conjecture.
Improved lower bounds for strong $n$-conjectures

Rupert Hölzl,Sören Kleine,Frank Stephan

2024-09-20

Abstract:The well-known $abc$-conjecture concerns triples $(a,b,c)$ of non-zero integers that are coprime and satisfy ${a+b+c=0}$. The strong $n$-conjecture is a generalisation to $n$ summands where integer solutions of the equation ${a_1 + \ldots + a_n = 0}$ are considered such that the $a_i$ are pairwise coprime and satisfy a certain subsum condition. Ramaekers studied a variant of this conjecture with a slightly different set of conditions. He conjectured that in this setting the limit superior of the so-called qualities of the admissible solutions equals $1$ for any $n$. In this article, we follow results of Konyagin and Browkin. We restrict to a smaller, and thus more demanding, set of solutions, and improve the known lower bounds on the limit superior: for ${n \geq 6}$ we achieve a lower bound of $\frac54$; for odd $n \geq 5$ we even achieve $\frac53$. In particular, Ramaekers's conjecture is false for every ${n \ge 5}$.

Number Theory
A Note on the Large Progression-Free Sets in Z_q^n

Hongze Li

2016-01-01

Abstract:Let $k$ and $n$ be fixed positive integers. For each prime power $q\geqslant k\geqslant 3$, we show that any subset $A\subseteq \mathbb{Z}_q^n$ free of $k$-term arithmetic progressions has size $|A|\leqslant c_k(q)^n$ with a constant $c_k(q)$ that can be expressed explicitly in terms of $k$ and $q$. As a consequence, we can take $c_k(q)=0.8415q$ for sufficiently large $q$ and arbitrarily fixed $k\geq 3$.
On Nonlinear Kloosterman Sums

M. A. Korolev

DOI: https://doi.org/10.1134/s1064562422700272

2022-12-01

Doklady Mathematics

Abstract:Exponential sums of a special type—the so-called Kloosterman sums—play a key role in numerous number-theoretic problems concerning the distribution of inverse residues in residue rings modulo a given q. In many cases, estimates of such sums are based on A. Weil’s bound for complete Kloosterman sums over primes. This bound allows one to estimate Kloosterman sums of length documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$N geqslant {{q}^{{0.5 + varepsilon }}}$$end{document} for any fixed documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$varepsilon > 0$$end{document} with a power-saving factor. Weil’s bound was originally proved using methods of algebraic geometry. Later, S.A. Stepanov gave an elementary proof of this bound, but this proof was also complicated enough. The aim of this paper is to give an elementary proof of an estimate for the Kloosterman sum of length documentclass[12pt]{minimal}usepackage{amsmath}usepackage{wasysym}usepackage{amsfonts}usepackage{amssymb}usepackage{amsbsy}usepackage{mathrsfs}usepackage{upgreek}setlength{oddsidemargin}{-69pt}egin{document}$$N geqslant {{q}^{{0.5 + varepsilon }}}$$end{document}, which also leads to a power-saving factor. This proof is based on the trick of additive shift of the summation variable, which is widely used in various number theory problems.

mathematics

A note on the Borwein conjecture

On the Borwein Conjecture

The Borwein Conjectures over Arithmetic Progressions

A NOTE ON THE CONGRUENCES WITH SUMS OF POWERS OF BINOMIAL COEFFICIENTS

A variety of Euler’s sum of powers conjecture

A curious congruence modulo prime powers

On the positive coefficients of two families of $q$-series

A Variety of Euler's Conjecture

Unimodality of partition polynomials related to Borwein's conjecture

Extension of Bressoud's generalization of Borwein's conjecture and some exact results

Some New Congruences Concerning Binomial Coefficients

New Borwein-type conjectures

A new generalization of Fermat's Last Theorem

arXiv:math.NT/0502187 CONGRUENCES FOR SUMS OF BINOMIAL COEFFICIENTS

Notes On a Borwein and Choi's conjecture of cyclotomic polynomials with coefficients $\pm1$

An elementary conjecture which implies the Goldbach conjecture

A Note on the Linnik's constant

On a conjecture of Sun involving powers of three

Improved lower bounds for strong $n$-conjectures

A Note on the Large Progression-Free Sets in Z_q^n

On Nonlinear Kloosterman Sums