Related papers: Proof of Andrews' conjecture on a_4\phi_3 summatio…

In this paper, we present several new congruences on the $q$-trinomial coefficients introduced by Andrews and Baxter. A new congruence on sums of central $q$-binomial coefficients is also established.

A conjecture is given that, if true, could lead to an algorithm for computing definite sums of rational functions.

In this paper we present many congruences for several Ap\'ery-like sequences.

This article proposes a unified analytical approach leading to a partial resolution of the Erdos-Straus, Sierpinski conjectures, and their generalization. We introduce an equivalent reformulation of these conjectures while constructing two…

In this note, we take another look at some arithmetic identities of N.J. Fine associated with divisor functions. We connect these functions with indefinite quadratic forms using a result due to Andrews. As a consequence, arithmetic theorems…

Recently, Rosengren utilized an integral method to prove a number of conjectural identities found by Kanade and Russell. Using this integral method, we give new proofs to some double sum identities of Rogers-Ramanujan type. These identities…

This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} =…

In 1969, Andrews proved a theorem on partitions with difference conditions which generalises Schur's celebrated partition identity. In this paper, we generalise Andrews' theorem to overpartitions. The proof uses q-differential equations and…

In this paper, we prove a conjecture by Daniele Mundici on the sum of squared distances between consecutive elements in the $Q$-th Farey sequence for $Q\in\mathbb{Z}$ and $Q\geq 2$.

In this paper, we prove the conjecture that if there is an odd perfect number, then there are infinitely many of them.

In this paper, we prove a conjecture of Schnell in the surface case.

Transformation formulas for four-parameter refinements of the q-trinomial coefficients are proven. The iterative nature of these transformations allows for the easy derivation of several infinite series of q-trinomial identities, and can be…

In this short note we give an alternative proof of Glivenko's Theorem, stating that a formula $\phi$ is provable in classical propositional logic if and only if $\neg\neg\phi$ is provable in intuitionistic propositional logic. We work in…

First a few reformulations of Frankl's conjecture are given, in terms of reduced families or matrices, or analogously in terms of lattices. These lead naturally to a stronger conjecture with a neat formulation which might be easier to…

We prove a partition identity conjectured by Lassalle (Adv. in Appl. Math. 21 (1998), 457-472).

In this work we resolve several conjectures stated in the On-Line Encyclopedia of Integer sequences.

We combine two of Igusa's conjectures with recent semi-continuity results by Musta\c{t}\u{a} and Popa to form a new, natural conjecture about bounds for exponential sums. These bounds have a deceivingly simple and general formulation in…

We give a new proof of the existence of designs, which is much shorter and gives better bounds.

We establish estimates for the number of solutions of certain affine congruences. These estimates are then used to prove Manin's conjecture for a cubic surface split over Q and whose singularity type is D_4. This improves on a result of…

We give a new proof of Johnsonbaugh's refined error estimates of an alternating series based on an idea of R. M. Young. We also give a new proof of the error estimate and convergence of the Euler transform.