On the properties of a sequence concerning binomial coefficients

Daeyeoul Kim,Ayyadurai Sankaranarayanan,Zhi-Hong Sun

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

2013-09-29

Abstract:For $n\ge 3$ let $f(n)$ be the least positive integer $k$ such that $\binom nk>\frac{2^n}{n+1}$. In this paper we investigate the properties of $f(n)$.

Combinatorics,Number Theory

What problem does this paper attempt to address?

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.
On divisibility concerning binomial coefficients

Zhi-Wei Sun

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

2010-05-31

Abstract:Let k and n be positive integers. We mainly show that $$(ln+1) | k\binom{kn+ln}{kn},$$ $$2\binom{kn}n | \binom {2n}{n}C_{2n}^{(k-1)}$$, $$\binom{kn}n | (2k-1)C_n\binom{2kn}{2n},$$ $$\binom{2n}n | (k+1)C_n^{(k-1)}\binom{2kn}{kn},$$ $$2^{k-1}\binom{2n}{n} | \binom{2(2^k-1)n}{(2^k-1)n}C_n^{(2^k-2)},$$ $$(6n+1)\binom{5n}{n} | \binom{3n-1}{n-1}C_{3n}^{(4)},$$ and $$\binom{3n}{n} | \binom{5n-1}{n-1}C_{5n}^{(2)},$$ where C_n denotes the Catalan number $\binom{2n}{n}/(n+1)$, and C_m^{(h)} refers to the Catalan number $\binom{(h+1)m}{m}/(hm+1)$ of order h.

Number Theory,Combinatorics
An identity involving the least common multiple of binomial coefficients and its application

Bakir Farhi

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

2009-06-13

Abstract:In this paper, we prove the identity $$\lcm\{\binom{k}{0}, \binom{k}{1}, >..., \binom{k}{k}\} = \frac{\lcm(1, 2, ..., k, k + 1)}{k + 1} (\forall k \in \mathbb{N}) .$$ As an application, we give an easily proof of the well-known nontrivial lower bound $\lcm(1, 2, ..., k) \geq 2^{k - 1}$ $(\forall k \geq 1)$.

Number Theory
New series involving binomial coefficients

Zhi-Wei Sun

2023-11-17

Abstract:In this paper, we deduce several new identities on infinite series with denominators of summands containing both binomial coefficients and linear parts. For example, we evaluate the sums $$\sum_{k=1}^\infty\frac{x_0^k}{(2k-1)\binom{3k}k},\ \sum_{k=0}^\infty\frac{x_0^k}{(3k+1)\binom{3k}k} \ \text{and}\ \sum_{k=0}^\infty\frac{x_0^k}{(3k+2)\binom{3k}k}$$ for any $x_0\in(-27/4,27/4)$. For any $1<n\le 85/4$, we obtain the following fast converging series for $\log n$: $$\begin{aligned}&\sum_{k=0}^\infty\frac{(2(n^2+6n+1)^2k+n^4+30n^2+1)(n-1)^{4k}}{(4k+1)(-n)^k(n+1)^{2k}\binom{4k}{2k}}\\&\qquad=8n(n+1)^2-2n(n^2-1)\log n.\end{aligned}$$ We also prove that $$\sum_{k=0}^\infty\frac{153965k^2-96459k+22786}{(-8)^k\binom{4k}k}=\frac{64}5(1634-45\log2).$$ In addition, we pose many new conjectural series identities involving binomial coefficients; for example, we conjecture that $$\sum_{k=1}^\infty\frac{\binom{2k}k^3}{4096^k}\bigg(9(42k+5)\sum_{j=0}^{k-1}\frac1{(2j+1)^4}+\frac{25}{(2k+1)^3}\bigg)=\frac 56\pi^3.$$

Number Theory,Combinatorics
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).
Sums of powers of integers and the sequence A304330

José L. Cereceda

2024-04-25

Abstract:For integer $k \geq 1$, let $S_k(n)$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. In this paper, we derive a new formula expressing $2^{2k}$ times $S_{2k}(n)$ as a sum of $k$ terms involving the numbers in the $k$th row of the integer sequence A304330, which is closely related to the central factorial numbers of the second kind with even indices. Furthermore, we provide an alternative proof of Knuth's formula for $S_{2k}(n)$ and show that it can equally be expressed in terms of A304330. We also deduce the corresponding formulas for the odd-indexed power sums $S_{2k-1}(n)$. Finally, we determine the Faulhaber form of $S_{2k}(n)$ and $S_{2k+1}(n)$ in terms of the sequence A304330 and the Legendre-Stirling numbers of the first kind.

General Mathematics
A Congruence Involving the Quotients of Euler and Its Applications (II)

T. X. Cai,X. D. Fu,X. Zhou

DOI: https://doi.org/10.4064/aa103-4-1

2002-01-01

Acta Arithmetica

Abstract:In this paper, we will present several new congruences involving binomial coefficients under integer moduli, which are the continuation of the previous two work by Cai \textit{et al.} (2002, 2007).
Products and Sums Divisible by Central Binomial Coefficients

Zhi-Wei Sun

DOI: https://doi.org/10.37236/3022

2013-01-01

The Electronic Journal of Combinatorics

Abstract:In this paper we initiate the study of products and sums divisible by central binomial coefficients. We show that 2(2n+1)binom(2n,n)| binom(6n,3n)binom(3n,n) for every n=1,2,3,... Also, for any nonnegative integers $k$ and $n$ we have $$\binom {2k}k | \binom{4n+2k+2}{2n+k+1}\binom{2n+k+1}{2k}\binom{2n-k+1}n$$ and $$\binom{2k}k | (2n+1)\binom{2n}nC_{n+k}\binom{n+k+1}{2k},$$ where $C_m$ denotes the Catalan number $\binom{2m}m/(m+1)=\binom{2m}m-\binom{2m}{m+1}$. Applying this result we obtain two sums divisible by central binomial coefficients.
On a sequence involving sums of primes

Zhiwei Sun

DOI: https://doi.org/10.1017/S0004972712000986

2013-01-01

Bulletin of the Australian Mathematical Society

Abstract:For n = 1, 2, 3, ... let S-n be the sum of the first n primes. We mainly show that the sequence a(n) = (n)root S-n/n (n = 1, 2, 3, ... ) is strictly decreasing, and moreover the sequence a(n+1)/a(n) (n = 10, 11, ... ) is strictly increasing. We also formulate similar conjectures involving twin primes or partitions of integers.
Congruences involving binomial coefficients and Lucas sequences

Zhi-Wei Sun

2010-01-01

Abstract:In this paper we obtain some congruences involving central binomial coefficients and Lucas sequences. For example, we show that if p>5 is a prime then $\sum_{k=0}^{p-1}F_k*binom(2k,k)/12^k$ is congruent to 0,1,-1 modulo p according as p=1,4 (mod 5), p=13,17 (mod 30), and p=7,23 (mod 30) respectively, where {F_n} is the Fibonacci sequence. We also raise several conjectures.
On the Cardinality and Sum of Reciprocals of Primitive Sequences

Shane Chern,CAI Tianxin,ZHONG Hao

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

2018-01-01

Abstract:Let A(2n) denote the set of primitive sequences A(2n) with cardinality n.In this paper,we consider the upper bound of reciprocal sum of A ∈ A(2n) and obtain A max∈ A(2n)∑ni=11/ai-log3+(1/nlog32)as n → ∞.We also find some interesting properties of |A(2n)|.
On Monotonicity of Some Combinatorial Sequences

Qing-Hu Hou,Zhi-Wei Sun,Haomin Wen

DOI: https://doi.org/10.5486/pmd.2014.5817

2014-01-01

Publicationes Mathematicae Debrecen

Abstract:We confirm Sun's conjecture that ((n+1)root Fn+1/(n)root F-n)(n >= 4) is strictly decreasing to the limit 1, where (Fn) n 0 is the Fibonacci sequence. We also prove that the sequence (n+ 1v Dn+ 1/ nv Dn) n 3 is strictly decreasing with limit 1, where Dn is the n- th derangement number. For m- th order harmonic numbers H (m) n = n k= 1 1/ k m (n = 1, 2, 3,...), we show that n+ 1 H (m) n+ 1 / n H (m) n n 3 is strictly increasing.
A Curious Identity Involving Binomial Coefficients.

Zhi-Wei Sun

DOI: https://doi.org/10.5281/zenodo.7576341

2002-01-01

Abstract:Let m be a nonnegative integer. For integers 0 6 k 6 m and n > 0 we show the following curious identity (n + 2(m − k) + 1) m ∑ i=k (−1) ( m + n + i m − i )( 2i k + i )
Sums of powers of integers via differentiation

José L. Cereceda

2023-03-24

Abstract:For integer $k \geq 0$, let $S_k$ denote the sum of the $k$th powers of the first $n$ positive integers $1^k + 2^k + \cdots + n^k$. For any given $k$, the power sum $S_k$ can in principle be determined by differentiating $k$ times (with respect to $x$) the associated exponential generating function $\sum_{k=0}^{\infty}S_k x^k/k!$, and then taking the limit of the resulting differentiated function as $x$ approaches $0$. In this paper, we exploit this method to establish a couple of seemingly novel recurrence relations, one of them involving the even-indexed power sums $S_2, S_4,\ldots, S_{2k}$, and the other the odd-indexed power sums $S_{1}, S_3, \ldots, S_{2k-1}$, with both recurrence relations depending explicitly on the parameter $N = n + \frac{1}{2}$. From this, we obtain a determinantal formula of order $k$ which yields $S_{2k}$ [$S_{2k-1}$] in the Faulhaber form, that is, as an odd [even] polynomial in $N$. As a byproduct, we discover a new determinantal formula for the Bernoulli number $B_{2k}$. Furthermore, we show that $S_{2k}$ and $S_{2k-1}$ can be obtained by taking the corresponding higher order derivatives of the Chebyshev polynomials of the second kind.

Number Theory
Sequences with Inequalities

Bernhard Heim und Markus Neuhauser

2024-08-01

Abstract:We consider infinite sequences of positive numbers. The connection between log-concavity and the Bessenrodt--Ono inequality had been in the focus of several papers. This has applications in the white noise distribution theory and combinatorics. We improve a recent result of Benfield and Roy and show that for the sequence of partition numbers $\{p(n)\}$ Nicolas' log-concavity result implies the result of Bessenrodt and Ono towards $p(n) \, p(m) > p(n+m)$.

Combinatorics,Number Theory
On Frobenius Formulas of Power Sequences

Feihu Liu,Guoce Xin

2024-06-26

Abstract:Let $A=(a_1, a_2, \ldots, a_n)$ be a sequence of relative prime integers, each greater than or equal to 2. The Frobenius number $g(A)$ represents the largest integer that cannot be expressed as a nonnegative linear combination of the elements in $A$. Our recent work has introduced a combinatorial method for calculating $g(A)$ in the specific form $A=(a, a+B)=(a, a+b_1, \ldots, a+b_k)$. This method reduces the problem to a simpler optimization problem, denoted as $O_B(M)$. In this paper, we apply this method to solve the open problem of characterizing $g(A)$ for the square sequence $A=(a,a+1,a+2^2,\ldots, a+k^2)$. We demonstrate that the Frobenius number $g(a, a+1^2, a+2^2, \ldots)$ for the infinite square sequence admits a simpler solution. This is because the corresponding optimization problem, $O_B(M)$, can be solved by applying number-theoretic principles, specifically Lagrange's Four-Square Theorem and related results. Consequently, we are able to resolve the open problem by utilizing Lagrange's Four-Square Theorem in conjunction with generating functions.

Combinatorics
On 2-Adic Orders of Some Binomial Sums

Hao Pan,Zhi-Wei Sun

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

IF: 0.679

2010-01-01

Journal of Number Theory

Abstract:We prove that for any nonnegative integers n and r the binomial sum∑k=−nn(2nn−k)k2r is divisible by 22n−min{α(n),α(r)}, where α(n) denotes the number of 1s in the binary expansion of n. This confirms a recent conjecture of Guo and Zeng [J. Number Theory 130 (2010) 172–186].
An explicit finite $B_k$-sequence

Igor S. Sergeev

2023-04-08

Abstract:For any $n$ and $k$, we provide an explicit (that is, computable in polynomial time) example of integer $B_k$-sequence of size $n$ consisting of elements bounded by $n^{k+o(k)}$.

Combinatorics
On the series $\pmb{\sum_{k = 1}^\infty \binom{3k}{k}^{-1}k^{-n} x^k}$

Necdet Batir

DOI: https://doi.org/10.48550/arXiv.math/0512310

2005-12-14

Commutative Algebra

Abstract:In this paper we investigate the series $\sum_{k = 1}^\infty \binom{3k}{k}^{-1}k^{-n}x^k$. Obtaining some integral representations of them, we evaluated the sum of them explicitly for $n = 0, 1, 2$.
A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)

Feihu Liu,Guoce Xin

2023-03-13

Abstract:Let $A=(a_1, a_2, ..., a_n)$ be relative prime positive integers with $a_i\geq 2$. The Frobenius number $g(A)$ is the greatest integer not belonging to the set $\big\{ \sum_{i=1}^na_ix_i\ |x_i\in \mathbb{N}\big\}$. The general Frobenius problem includes the determination of $g(A)$ and the related Sylvester number $n(A)$ and Sylvester sum $s(A)$. We present a new approach to the Frobenius problem. Basically, we transform the problem into an easier optimization problem. If the new problem can be solved explicitly, then we will be able to obtain a formula of $g(A)$. We illustrate the idea by giving concise proof of some existing formulas and finding some interesting new formulas of $g(A), n(A), s(A)$. Moreover, we find that MacMahon's partition analysis applies to give a new way of calculating $n(A), s(A)$ by using a rational function representation of a polynomial determined by $A$.

Combinatorics,Number Theory

On the properties of a sequence concerning binomial coefficients

Some New Congruences Concerning Binomial Coefficients

On divisibility concerning binomial coefficients

An identity involving the least common multiple of binomial coefficients and its application

New series involving binomial coefficients

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

Sums of powers of integers and the sequence A304330

A Congruence Involving the Quotients of Euler and Its Applications (II)

Products and Sums Divisible by Central Binomial Coefficients

On a sequence involving sums of primes

Congruences involving binomial coefficients and Lucas sequences

On the Cardinality and Sum of Reciprocals of Primitive Sequences

On Monotonicity of Some Combinatorial Sequences

A Curious Identity Involving Binomial Coefficients.

Sums of powers of integers via differentiation

Sequences with Inequalities

On Frobenius Formulas of Power Sequences

On 2-Adic Orders of Some Binomial Sums

An explicit finite $B_k$-sequence

On the series $\pmb{\sum_{k = 1}^\infty \binom{3k}{k}^{-1}k^{-n} x^k}$

A Combinatorial Approach to Frobenius Numbers of Some Special Sequences (Complete Version)