On the Carlitz-Mehler formula for Hermite polynomials

Manish Chaurasia

arxiv: 2508.12676 · v2 · submitted 2025-08-18 · 🧮 math.CA · math.CO

On the Carlitz-Mehler formula for Hermite polynomials

Manish Chaurasia This is my paper

Pith reviewed 2026-05-18 23:18 UTC · model grok-4.3

classification 🧮 math.CA math.CO

keywords Hermite polynomialsMehler formulaCarlitz generalizationgenerating functionsorthogonal polynomialsdirect proof

0 comments

The pith

A direct proof is given for a further generalization of Carlitz's version of Mehler's formula for Hermite polynomials.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper seeks to prove directly a broader form of the identity that sums products of Hermite polynomials against a Gaussian weight. Carlitz first extended Mehler's original formula in several directions, and later work supplied alternative proofs for some of those extensions. This manuscript supplies a self-contained argument for one more general statement. A reader would care because the resulting identity can be inserted into generating-function calculations for orthogonal polynomials without retracing earlier lemmas. If the claim holds, the generalized relation becomes available for immediate use in expansions or integral evaluations involving Hermite functions.

Core claim

The author states and directly proves a further generalization of the Carlitz-Mehler formula that encompasses previous extensions and yields the classical Mehler formula as a special case.

What carries the argument

The further generalized Carlitz-Mehler identity, established by a direct argument that avoids reliance on intermediate results from earlier papers.

Load-bearing premise

The stated further generalization is correctly formulated and the direct proof establishes it without hidden reliance on unproven lemmas from the cited literature.

What would settle it

A concrete numerical counterexample for specific values of the parameters in the generalized sum, or an explicit gap in one of the algebraic steps of the direct proof.

read the original abstract

Carlitz proved a few generalizations of Mehler's formula. Later, Srivastava et al. gave a new proof for some extensions of Carlitz's formula. Here, a direct proof of the further generalization is given.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This short note supplies a direct proof for one more extension of the Carlitz-Mehler formula beyond the cases already treated by Carlitz and by Srivastava et al.

read the letter

The punchline is that the author claims a direct proof of a further generalization of the Carlitz-Mehler identity for Hermite polynomials. The paper does what it sets out to do by staying with elementary operations on generating functions or Rodrigues-type formulas instead of routing everything through earlier results. That approach keeps the argument self-contained on its own terms and gives readers a clean alternative derivation for the extended case. Credit is due for making the steps explicit rather than invoking unproven lemmas from the literature as black boxes. The main soft spot is that the abstract is terse, so the precise parameter range of the new generalization and the exact length of the derivation are not visible without the full text. If the manuscript actually states the extended identity with clear bounds and carries out every step without circular appeals, the claim holds; if any intermediate identity is simply cited rather than re-derived, the direct-proof label weakens. Nothing in the setup looks load-bearing or contradictory. This piece is aimed at specialists who already work with Hermite polynomials, Mehler-type kernels, or generating-function identities in classical orthogonal polynomials. A reader outside that narrow circle will find little to use. The work is coherent enough on its own terms to deserve a serious referee who can check the algebra and the scope of the extension. I would send it to peer review rather than desk-reject, with the expectation that referees will ask for an explicit statement of the new formula and perhaps a short numerical verification.

Referee Report

1 major / 1 minor

Summary. The manuscript provides a direct proof of a further generalization of the Carlitz-Mehler formula for Hermite polynomials, extending results previously obtained by Carlitz and by Srivastava et al. The central claim is that this generalization can be established elementarily from generating functions or Rodrigues-type representations without relying on prior unproven identities.

Significance. If the derivation is self-contained and the stated generalization is new and correctly formulated, the result would be a modest but useful addition to the literature on orthogonal polynomials and Mehler-type identities. It could simplify certain calculations in special-function theory and serve as a reference for direct proofs in this area.

major comments (1)

The precise statement of the 'further generalization' (including the exact parameter ranges or operator form) is not visible in the provided abstract and must be checked against the main theorem; without an explicit formulation, it is impossible to verify that the claimed extension is both new and correctly bounded for convergence.

minor comments (1)

The abstract is extremely terse; a one-sentence statement of the exact generalized identity (e.g., the form of the kernel or the range of the extra parameter) should be added for immediate readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the detailed review and the recommendation for major revision. We address the single major comment below and agree that greater explicitness in the abstract will improve accessibility and verifiability of the claimed generalization.

read point-by-point responses

Referee: The precise statement of the 'further generalization' (including the exact parameter ranges or operator form) is not visible in the provided abstract and must be checked against the main theorem; without an explicit formulation, it is impossible to verify that the claimed extension is both new and correctly bounded for convergence.

Authors: We agree that the abstract is deliberately concise and does not contain the full statement of the generalization. The explicit formulation, including the precise parameter ranges (ensuring absolute convergence of the series) and the operator form, appears in the main theorem of the manuscript, which extends the identities of Carlitz and Srivastava et al. by allowing an additional free parameter while retaining an elementary proof from generating functions. To resolve the referee's concern, we will revise the abstract to include a compact but complete statement of the main result together with the convergence conditions. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to prior extensions; central direct proof remains independent.

full rationale

The paper cites Carlitz and Srivastava et al. for the original generalizations and extensions, then states it provides a direct proof of a further generalization. No evidence that the new identity is defined in terms of itself, that a fitted parameter is relabeled as a prediction, or that the proof reduces to a self-citation chain. The derivation is presented as self-contained using standard operations on Hermite generating functions or Rodrigues formulas. This is the normal case of a proof paper building on cited literature without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work is a proof of an identity and therefore rests on standard properties of Hermite polynomials and generating functions already established in the literature.

axioms (1)

standard math Standard recurrence and generating-function identities for Hermite polynomials hold.
Any direct proof of a Mehler-type formula necessarily invokes these background facts.

pith-pipeline@v0.9.0 · 5539 in / 1018 out tokens · 44607 ms · 2026-05-18T23:18:07.655295+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

We shall prove formula (2) by the use of Bargmann transform and formula (3). To prove formula (3), we shall use some combinatorial properties of Hermite polynomials.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.1 ... (A*_d)^r_d ... (A*_1)^r_1 e^{-x^t C x} = ...

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.