Related papers: Demonstration de la conjecture de Dumont
This paper presents both a method and a result. The result presents a closed formula for the sum of the first $m+1,m \ge 0,$ squares of the sequence $F^{(k)}$ where each member is the sum of the previous $k$ members and with initial…
Recently, Z.-W. Sun introduced two kinds of polynomials related to the Delannoy numbers, and proved some supercongruences on sums involving those polynomials. We deduce new summation formulas for squares of those polynomials and use them to…
Based on a classical result on partitions of an integer into a finite set of positive integers, we establish a general positivity result on coefficients of certain $q$-series which uniformly refines the positivity of truncated pentagonal…
In recent years, Z.-W. Sun proposed several sophisticated conjectures on congruences for finite sums with terms involving combinatorial sequences such as central trinomial coefficients, Domb numbers and Franel numbers. These sums are double…
We connect and generalize Matiyasevich's identity #0102 with Bernoulli numbers and an identity of Candelpergher, Coppo and Delabaere on Ramanujan summation of the divergent series of the infinite sum of the harmonic numbers. The formulae…
Capelli's and Turnbull's classical identities are given elegant combinatorial proofs.
A conjecture of Chunwei Song on a limiting case of the q,t-Schr\"{o}der theorem is proved combinatorially. The proof matches pairs of tableaux to Catalan words in a manner that preserves differences in the maj statistic.
We give a combinatorial proof of an identity that involves Eulerian numbers and was obtained algebraically by Brenti and Welker (2009). To do so, we study alcoved triangulations of dilated hypersimplices. As a byproduct, we describe the…
Lagrange's four-square theorem states that every natural number $n$ can be represented as the sum of four integer squares: $n=x_1^2+x_2^2+x_3^2+x_4^2$. Ramanujan generalized Lagrange's result by providing, up to equivalence, all $54$…
In this article we provide with combinatorial proofs of some recent identities due to Sury and McLaughlin. We show that, the solution of a general linear recurrence with constant coefficients can be interpreted as a determinant of a matrix.…
In a recent paper, Merca posed three conjectures on congruences for specific convolutions of a sum of odd divisor functions with a generating function for generalized $m$-gonal numbers. Extending Merca's work, we complete the proof of these…
An identity is proved connecting two finite sums of inverse tangents. This identity is discretized version of Jacobi's imaginary transformation for the modular angle from the theory of elliptic functions. Some other related identities are…
A combinatorial identity that was needed in Ahlgren and Ono's proof of a certain congruence conjecture of Frits Beukers is stated, and a pointer to its WZ proof is given.
Lagrange's four squares theorem is a classical theorem in number theory. Recently, Z.-W. Sun found that it can be further refined in various ways. In this paper we study some conjectures of Sun and obtain various refinements of Lagrange's…
Dumont and Foata introduced in 1976 a three-variable symmetric refinement of Genocchi numbers, which satisfies a simple recurrence relation. A six-variable generalization with many similar properties was later considered by Dumont. They…
We present and prove a general form of Vandermonde's identity and use it as an alternative solution to a classic probability problem.
In previous work on Clebsch-Gordan coefficients, certain remarkable hexagonal arrays of integers are constructed that display behaviors found in Pascal's Triangle. We explain these behaviors further using the binomial transform and discrete…
By using the Rodriguez-Villegas-Mortenson supercongruences, we prove four supercongruences on sums involving binomial coefficients, which were originally conjectured by Sun. We also confirm a related conjecture of Guo on integer-valued…
In this paper we confirm three conjectures of Z.-W. Sun on determinants. We first show that any odd integer $n>3$ divides the determinant $$\left|(i^2+dj^2)\left(\frac{i^2+dj^2}n\right)\right|_{0\le i,j\le (n-1)/2},$$ where $d$ is any…
This report formulates a conjectural combinatorial rule that positively expands Grothendieck polynomials into Lascoux polynomials. It generalizes one such formula expanding Schubert polynomials into key polynomials, and refines another one…