Pith. sign in

REVIEW 2 cited by

Proof of conjectures on series with summands involving $ \binom{2k}{k}8^k/(\binom{3k}{k}\binom{6k}{3k})$

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2401.14197 v1 pith:RXT5IJB6 submitted 2024-01-25 math.CA math.NT

classification math.CAmath.NT
keywords binomfracmathsfinftyinvolvingleftrightseries
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

Using cyclotomic multiple zeta values of level $8$, we confirm and generalize several conjectural identities on infinite series with summands involving $\binom{2k}k8^k/(\binom{3k}k\binom{6k}{3k})$. For example, we prove that \[\sum_{k=0}^\infty\frac{(350k-17)\binom{2k}k8^k} {\binom{3k}k\binom{6k}{3k}}=15\sqrt2\,\pi+27\] and \[\sum_{k=1}^\infty\frac{\left\{(5k-1)\left[16\mathsf H_{2k-1}^{(2)}-3\mathsf H_{k-1}^{(2)}\right]-\frac{12(6k-1)}{(2k-1)^2}\right\}\binom{2k}k8^k} {k(2k-1)\binom{3k}k\binom{6k}{3k}}=\frac{\pi^3}{12\sqrt2},\] where $\mathsf H^{(2)}_m$ denotes the second-order harmonic number $\sum_{0<j\leq m}\frac1{j^2}$.

Discussion (0). Sign in to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Analytic Dilogarithm Identities

    math.NT 2025-06 conditional novelty 7.0 of 10

    A beta integral method yields analytic proofs of conjectured dilogarithm identities and new ladder relations with quartic and sextic bases.

  2. Fast Ramanujan-type Series for Logarithms. Part I

    math.NT 2025-06 conditional novelty 7.0 of 10

    The paper introduces new, mostly proven hypergeometric series for log 2, log 3, and log 5 with lower binary splitting costs than Machin-type formulas, plus a variable-p family.

Pith tools