Pith. sign in

REVIEW 1 cited by

Proof of the Kresch-Tamvakis Conjecture

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 2309.08869 v1 pith:JBFH3B3U submitted 2023-09-16 math.NT math.AGmath.CAmath.CO

classification math.NTmath.AGmath.CAmath.CO
keywords theoremarraybeginconjectureequationfollowingabsolutebiedenharn-elliott
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In this paper we resolve a conjecture of Kresch and Tamvakis. Our result is the following. Theorem: For any positive integer $D$ and any integers $i,j$ $(0\leq i,j \leq D)$, the absolute value of the following hypergeometric series is at most 1: \begin{equation*} {_4F_3} \left[ \begin{array}{c} -i, \; i+1, \; -j, \; j+1 \\ 1, \; D+2, \; -D \end{array} ; 1 \right]. \end{equation*} To prove this theorem, we use the Biedenharn-Elliott identity, the theory of Leonard pairs, and the Perron-Frobenius theorem.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Variations on a circular Hessenberg pair

    math.CO 2026-07 conditional novelty 6.0 of 10

    Quasi-circular Hessenberg systems and systems satisfying the tridiagonal relations are the same family; the tridiagonal-relations family splits exactly into the circular and tridiagonal-Hessenberg cases.

Pith tools