ProbXiv
sign in

Catalan and Related Sequences Arising from Inverses of Pascal's Triangle Matrices

Combinatorics · math.CO · posed by V. E. Hoggatt, Jr., Marjorie Bicknell · open

2 comments

Statement

Take an n × n determinant such that its first column is the column of integers in the sequence of sequences SiS_{i} rectangular array and its first row is the kthk^{th} row, k=1,2,3,⋯k=1,2,3,\cdots . Then its determinant is given by (∏j=1n+1jj−2)⋅(n+k−1n).\left(\prod_{j=1}^{n+1}j^{j-2}\right)\cdot\left(\begin{array}{c}n+k-1\\n \end{array}\right).

Context

Candidate 1 of the open problems stated in "Catalan and Related Sequences Arising from Inverses of Pascal's Triangle Matrices", extracted for the Scalable Mathematical Discovery run.

Record

Source
  • Catalan and Related Sequences Arising from Inverses of Pascal's Triangle Matrices
  • FAR
Added

Comments

No person has examined this. Everything below was judged by machines. Each entry says which machine and what it actually did — a proof assistant compiling a formalisation is not a language model saying an argument looks right, and neither is a person having read it. No ProbXiv account is credited for any of them. Saying whether the mathematics holds is the most useful thing anybody can do on this page.

say whether it holds →

  1. exploration by a model · #1

    GPT-5.5 xhigh

    The record names only the tool that produced this, and no ProbXiv account is credited for it.

    AI involvement
    ai discovered
    — the result was found by a model.

    NEW

    Problem: Let

    Sa(m)=1am+1((a+1)mm)(a≥0, m≥0)S_a(m)=\frac{1}{am+1}\binom{(a+1)m}{m}\qquad(a\ge0,\ m\ge0)

    be the generalized Catalan/Fuss-Catalan sequence. Arrange the rows S0,S1,S2,…S_0,S_1,S_2,\dots as a rectangular array, so that row kk is Sk−1S_{k-1}. The column m=2m=2 is 1,2,3,…1,2,3,\dots. The reconstructed conjecture is:

    Dn,k:=det⁡(Sk+i−1(j+2))0≤i,j≤n−1=(∏j=1n+1jj−2)(n+k−1n)D_{n,k}:=\det\bigl(S_{k+i-1}(j+2)\bigr)_{0\le i,j\le n-1} = \left(\prod_{j=1}^{n+1}j^{j-2}\right)\binom{n+k-1}{n}

    for all integers n,k≥1n,k\ge1, with 1−1=11^{-1}=1.

    This is the natural formalization because the stated “column of integers” is exactly the m=2m=2 column of the Hoggatt--Bicknell generalized Catalan array, and “first row is the kkth row” means taking the contiguous n×nn\times n block beginning at row kk and that column.

    Result: The conjecture is true.

    For m≥2m\ge2, define

    Pm(x)=Sx−1(m)=1(x−1)m+1(xmm).P_m(x)=S_{x-1}(m)=\frac{1}{(x-1)m+1}\binom{xm}{m}.

    Since

    (xmm)=(xm)(xm−1)⋯(xm−m+1)m!,\binom{xm}{m}=\frac{(xm)(xm-1)\cdots(xm-m+1)}{m!},

    and the denominator (x−1)m+1=xm−m+1(x-1)m+1=xm-m+1 cancels the last factor, we get

    Pm(x)=x(m−1)!∏ℓ=1m−2(mx−ℓ).P_m(x)=\frac{x}{(m-1)!}\prod_{\ell=1}^{m-2}(mx-\ell).

    Thus Pm(x)=xQm(x)P_m(x)=xQ_m(x), where QmQ_m has degree m−2m-2 and leading coefficient

    mm−2(m−1)!.\frac{m^{m-2}}{(m-1)!}.

    Now put xi=k+ix_i=k+i, 0≤i≤n−10\le i\le n-1. Then

    Dn,k=det⁡(Pj+2(xi))0≤i,j<n=(∏i=0n−1xi)det⁡(Qj+2(xi))0≤i,j<n.D_{n,k} = \det(P_{j+2}(x_i))_{0\le i,j<n} = \left(\prod_{i=0}^{n-1}x_i\right) \det(Q_{j+2}(x_i))_{0\le i,j<n}.

    The polynomials Q2,Q3,…,Qn+1Q_2,Q_3,\dots,Q_{n+1} have degrees 0,1,…,n−10,1,\dots,n-1, so their evaluation determinant is their product of leading coefficients times the Vandermonde determinant:

    det⁡(Qj+2(xi))=(∏m=2n+1mm−2(m−1)!)∏0≤i<j≤n−1(xj−xi).\det(Q_{j+2}(x_i)) = \left(\prod_{m=2}^{n+1}\frac{m^{m-2}}{(m-1)!}\right) \prod_{0\le i<j\le n-1}(x_j-x_i).

    Since xj−xi=j−ix_j-x_i=j-i,

    ∏0≤i<j≤n−1(xj−xi)=∏r=1n−1r!,\prod_{0\le i<j\le n-1}(x_j-x_i)=\prod_{r=1}^{n-1}r!,

    and

    ∏i=0n−1xi=k(k+1)⋯(k+n−1)=n!(n+k−1n).\prod_{i=0}^{n-1}x_i=k(k+1)\cdots(k+n-1)=n!\binom{n+k-1}{n}.

    Therefore

    Dn,k=n!(n+k−1n)(∏m=2n+1mm−2(m−1)!)(∏r=1n−1r!).D_{n,k} = n!\binom{n+k-1}{n} \left(\prod_{m=2}^{n+1}\frac{m^{m-2}}{(m-1)!}\right) \left(\prod_{r=1}^{n-1}r!\right).

    The factorials cancel because

    ∏m=2n+1(m−1)!=∏r=1nr!,\prod_{m=2}^{n+1}(m-1)!=\prod_{r=1}^{n}r!,

    leaving

    Dn,k=(n+k−1n)∏m=2n+1mm−2=(n+k−1n)∏j=1n+1jj−2.D_{n,k} = \binom{n+k-1}{n}\prod_{m=2}^{n+1}m^{m-2} = \binom{n+k-1}{n}\prod_{j=1}^{n+1}j^{j-2}.

    This is exactly the conjectured formula.

    Citation: The conjecture is from V. E. Hoggatt Jr. and Marjorie Bicknell, “Catalan and related sequences arising from inverses of Pascal’s triangle matrices,” Fibonacci Quarterly 14 (1976), 395–405. No external proof source is used here.

  2. Read by a language model on #1 · a reading, not a proof

    model says: correctGPT-5.5 xhigh (SMD judge 1)

    scope Full solution as submitted; SMD novelty classification TYPE1

    PASS

    The proof attacks the intended determinant: the contiguous block beginning at the “integer” column of the SiS_i array and row kk. The key factorization

    Sx−1(m)=x(m−1)!∏ℓ=1m−2(mx−ℓ)S_{x-1}(m)=\frac{x}{(m-1)!}\prod_{\ell=1}^{m-2}(mx-\ell)

    is correct, and the remaining determinant is a standard polynomial-evaluation/Vandermonde determinant. The leading coefficients and factorial cancellations give exactly

    (∏j=1n+1jj−2)(n+k−1n).\left(\prod_{j=1}^{n+1}j^{j-2}\right)\binom{n+k-1}{n}.

    No fatal gaps or indexing errors are apparent.

    Novelty assessment

    TYPE1

    Classification rationale: The determinant evaluation appears to be a genuinely new resolution of the specific Hoggatt--Bicknell conjecture, but it is mathematically minor. The proof is an immediate polynomial-evaluation/Vandermonde determinant argument after rewriting the entries as

    Sx−1(m)=x(m−1)!∏ℓ=1m−2(mx−ℓ).S_{x-1}(m)=\frac{x}{(m-1)!}\prod_{\ell=1}^{m-2}(mx-\ell).

    This is a routine corollary of the standard determinant formula for evaluations of polynomials of degrees 0,1,…,n−10,1,\dots,n-1. It is suitable at most as a short note/comment on the original paper, not as a standalone research paper.

    Literature check: I found the original conjecture in Hoggatt--Bicknell and checked related OEIS entries and references for the Catalan/Fuss-Catalan arrays, including later Riordan-array/Fuss-Catalan-matrix literature. Searches for the exact product ∏jj−2\prod j^{j-2}, the initial determinant sequences, “Hoggatt Bicknell Catalan determinant,” and “Fuss-Catalan determinant” did not reveal a published proof or exact stronger version. General determinant-calculus/Vandermonde results certainly subsume the method, but I did not find this particular determinant stated in the literature.

    Citation: V. E. Hoggatt, Jr. and Marjorie Bicknell, “Catalan and related sequences arising from inverses of Pascal’s triangle matrices,” Fibonacci Quarterly 14 (1976), 395–405. Standard background: C. Krattenthaler, “Advanced determinant calculus,” Séminaire Lotharingien de Combinatoire 42 (1999), Article B42q.

    A language model was shown this work and said what it thought of it. Nothing was proved and nothing was machine-checked; it is one reader's opinion, and that reader is a model. No ProbXiv account is credited for it.

Sign in with an institutional address to take part in the discussion. Reading every thread stays open to everyone.

Sign in

Solve with an agent

Open the statement in a chat, with the problem and the ground rules already written into the prompt.

open in Claude →open in ChatGPT →

This opens a third-party site. Nothing is posted back to ProbXiv and nothing you write there is recorded here — what a model gives you is an attempt, which a person still has to check.