Related papers: Wolstenholme again
The aim of this expository article is to reveal the equivalence of J\"orgens' Theorem on the two dimensional unimodular Hessian equation and Fu's Theorem on the two dimensional special Lagrangian equation.
In this note we prove a converse of Bohr's equivalence theorem for Dirichlet series under some natural assumptions.
We provide a combinatorial proof of an infinite extension of the Hales--Jewett theorem due to T. Carlson and independently due to H. Furstenberg and Y. Katznelson
Under Gromov--Hausdorff convergence, and equivariant Gromov--Hausdorff convergence, we prove stability results of Wasserstein spaces over certain classes of singular and non-singular spaces. For example, we obtain an analogue of Perelman's…
In the recent article arXiv:1606.03351, Apagodu and Zeilberger discuss some applications of an algorithm for finding and proving congruence identities (modulo primes) of indefinite sums of many combinatorial sequence. At the end they…
We give a complete self-contained proof of Statman's finite completeness theorem and of a corollary of this theorem stating that the $\lambda$-definability conjecture implies the higher-order matching conjecture.
Uniform interpolation properties are defined for equational consequence in a variety of algebras and related to properties of compact congruences on first the free and then the finitely presented algebras of the variety. It is also shown,…
We prove that Ramanujan-type congruences for integral weight modular forms away from the level and the congruence prime are equivalent to specific congruences for Hecke eigenvalues. In particular, we show that Ramanujan-type congruences are…
In this sequel to arxiv:arXiv:1012.0835 we develop Bezout type theorems for semidegrees (including an explicit formula for {\em iterated semidegrees}) and an inequality for subdegrees. In addition we prove (in case of surfaces) a Bernstein…
Based on a $q$-congruence of the author and Petrov, we set up a $q$-analogue of Sun--Tauraso's congruence for sums of Catalan numbers, which extends a $q$-congruence due to Tauraso.
In this paper, new inequalities connected with the celebrated Steffensen's integral inequality are proved.
In most text books on number theory Wilson Theorem is proved by applying Lagrange theorem concerning polynomial congruences.Hardy and Wright also give a proof using cuadratic residues. In this article Wilson theorem is derived as a…
We prove a conjecture of Gao and Kitaev on Wilf-equivalence of sets of patterns {12345,12354} and {45123,45213} that extends the list of 10 related conjectures proved in the literature in a series of papers. To achieve our goals, we prove…
We give q-analogues of Wilson's theorem for the primes congruent 1 and 3 modulo 4 respectively. And q-analogues of two congruences due to Mordell and Chowla are also established.
A proof is given of Rosenthal's \(\ell_1\) theorem.
In this article we present an unpublished proof of W. Thurston that pure braid groups have the congruence subgroup property.
We prove that the Deligne-Lusztig varieties associated to elements of the Weyl group which are of minimal length in their twisted class are affine. Our proof differs from the proof of He and Orlik-Rapoport and it is inspired by the case of…
The partition function is known to exhibit beautiful congruences that are often proved using the theory of modular forms. In this paper, we study the extent to which these congruence results apply to the generalized Frobenius partitions…
We prove existence of conjugate Galois representations, and we use it to derive a simple method of weight reduction. As a consequence, an alternative proof of the level 1 case of Serre's conjecture follows.
The classification of Grassmannian cluster algebras resembles that of regular polygonal tilings. We conjecture that this resemblance may indicate a deeper connection between these seemingly unrelated structures.