Related papers: Equality of Dedekind sums mod $8 \mathbb{Z}$

We obtain new bounds, pointwisely and on average, for Dedekind sums $\mathsf{s}(\lambda,p)$ modulo a prime $p$ with $\lambda$ of small multiplicative order $d$ modulo $p$. Assuming the infinitude of Mersenne primes, the range of our results…

This paper explores some previously-unrecognized consequences of Lerch's 1905 formula for the Fermat quotient, with special attention to the sums which he introduced in this context. A generalization of his result is proved, and a new proof…

We present a creative reimagining of Zolotarev's classical proof of the Law of Quadratic Reciprocity.

Gauss and Dedekind have shown a bijection between the set of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of primitive positive definite binary quadratic $\mathbb{Z}$-forms of the discriminant of $\mathbb{Q}(\sqrt{\Delta<0})$ and the…

In this paper, we mainly prove two congruence conjecture of Z.-W. Sun. Let $p\equiv3\pmod 4$ be a prime. Then $$\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{8^k}\equiv-\sum_{k=0}^{p-1}\frac{\binom{2k}k^2}{(-16)^k}\pmod{p^3}.$$ And for any odd prime…

Let $\mathbb{L}$ be a Dedekind complete unital $f$-algebra. We prove the Riesz-Kantorovich formulas for order bounded $\mathbb{L}$-module homomorphisms from a directed partially ordered $\mathbb{L}$-module with the Riesz Decomposition…

Introduced by Kraitchik and Lehmer, an $x$-pseudosquare is a positive integer $n\equiv1\pmod 8$ that is a quadratic residue for each odd prime $p\le x$, yet is not a square. We use bounds of character sums to prove that pseudosquares are…

In this paper, we confirm several conjectured congruences of Sun concerning the divisibility of binomial sums. For example, with help of a quadratic hypergeometric transformation, we prove that $$…

In 1991, Rousseau gave a new proof of Gauss's quadratic reciprocity by comparing two distinct coset representations of the group $(\mathbb{Z}_{p}^{*} \times \mathbb{Z}_{q}^{*}) / U$ using the Chinese Remainder Theorem, without Gauss's…

Hickerson made an explicit formula for Dedekind sums $s(p,q)$ in terms of the continued fraction of $p/q$. We develop analogous formula for generalized Dedekind sums $s_{i,j}(p,q)$ defined in association with the $x^{i}y^{j}$-coefficient of…

The problem of finding all the integer solutions in $a$, $M$ and $s$ of sums of $M$ consecutive integer squares starting at $a^{2}\geq1$ equal to squared integers $s^{2}$, has no solutions if $M\equiv3,5,6,7,8$ or $10\left(mod\,12\right)$…

We consider Gauss sums associated to functions $T\to \mathbb R/\mathbb Z$ which satisfy some sort of quadratic property and investigate their elementary properties. These properties and a Gauss sum formula from the nineteenth century due to…

The main purpose of this paper is to study the hybrid mean value problem involving generalized Dedekind sums, generalized Hardy sums and Kloosterman sums, and give some exact computational formulae for them by using the properties of Gauss…

In [16], we obtained some congruences for Lucas quotients of two infinite families of Lucas sequences by studying the combinatorial sum $$\sum_{k\equiv r(\mbox{mod}m)}{n\choose k}a^k.$$ In this paper, we show that the sum can be expressed…

The classical Dedekind sums $s(d, c)$ can be represented as sums over the partial quotients of the continued fraction expansion of the rational $\frac{d}{c}$. Hardy sums, the analog integer-valued sums arising in the transformation of the…

For a non-negative integer $m$, let $S(m)$ denote the sum given by $$S(m):=\sum_{n=0}^{m}\frac{(-1)^n(8n+1)}{n!^3}\left(\frac{1}{4}\right)_n^3.$$ Using the powerful WZ-method, for a prime $p\equiv 3$ $($mod $4)$ and an odd integer $r>1$, we…

Let $p^k m^2$ be an odd perfect number with special prime $p$. In this article, we provide an alternative proof for the biconditional that $\sigma(m^2) \equiv 1 \pmod 4$ holds if and only if $p \equiv k \pmod 8$. We then give an application…

We obtain new elliptic function identities, which are an elliptic analogue of Fukuhara's trigonometric identities. We show that the coefficients of Laurent expansions at $z=0$ of our elliptic identities give rise to some reciprocity laws…

We give a new operator formula for Grothendieck polynomials that generalizes Magyar's Demazure operator formula for Schubert polynomials. Our proofs are purely combinatorial, contrasting with the geometric and representation theoretic tools…

We introduce and study the \emph{Rademacher-Carlitz polynomial} \[ \RC(u, v, s, t, a, b) := \sum_{k = \lceil s \rceil}^{\lceil s \rceil + b - 1} u^{\fl{\frac{ka + t}{b}}} v^k \] where $a, b \in \Z_{>0}$, $s, t \in \R$, and $u$ and $v$ are…