arxiv: 2604.27834 · v1 · submitted 2026-04-30 · 🧮 math-ph · math.FA· math.MP· math.SP· quant-ph

Recognition: unknown

Hypergeometric Functions of Nilpotent Operators: Functional Collapse and Structural Depth at Exceptional Points

Ramon Moya

Authors on Pith no claims yet

Pith reviewed 2026-05-07 06:25 UTC · model grok-4.3

classification 🧮 math-ph math.FAmath.MPmath.SPquant-ph

keywords hypergeometric functionsnilpotent operatorsJordan blocksexceptional pointsnon-Hermitian quantum mechanicsfunctional calculusanalytic functions

0 comments

The pith

Nilpotent operators force hypergeometric functions to collapse into finite polynomials of degree at most m.

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

The paper shows that when a nilpotent operator N satisfies N to the power m+1 equals zero in an associative algebra over the complex numbers, every generalized hypergeometric function pFq evaluated at N becomes a polynomial in N of degree no higher than m. This termination is purely algebraic and does not rely on the usual parameter choices that make series finite or on questions of convergence. The same mechanism yields a bound on how much an analytic function F can reduce the size of Jordan blocks when applied to a Hamiltonian at an exceptional point, with the reduction factor set by the lowest degree r at which the Taylor series of F differs from a constant. Readers interested in non-Hermitian quantum mechanics would care because the result supplies an exact rule for how functions of such operators simplify their non-diagonalizable algebraic structure, including effects on time evolution and resolvents.

Core claim

If N is a nilpotent operator of index m+1 in an associative algebra over C, then every generalized hypergeometric function pFq evaluated at N reduces to a finite polynomial in N of degree at most m, without any analytic convergence requirement. If the first non-constant coefficient of a formal series F appears in degree r greater than or equal to 1, then the nilpotent part F(N) minus F(0) times the identity has nilpotency index bounded above by the ceiling of (m+1) divided by r. For a Hamiltonian H equal to lambda times the identity plus N at an exceptional point, a function F analytic at lambda therefore reduces the Jordan depth from m+1 to at most the ceiling of (m+1) divided by r.

What carries the argument

The nilpotent depth criterion, which bounds the nilpotency index of F(N) minus F(0)I by the ceiling of (m+1)/r when the lowest non-constant term of F has degree r.

If this is right

The time evolution operator exp(tH) preserves the full Jordan depth for every nonzero t.
A function with a zero of order m+1 at lambda annihilates the entire Jordan structure of the exceptional point.
The order of the pole of the modified resolvent is reduced from m+1 to at most m+1-r.
Explicit 3 by 3 Jordan block computations for 1F1, 2F1, and the time evolution operator attain the predicted bounds.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The collapse to a polynomial holds for arbitrary formal power series, not only hypergeometric ones, because the proof relies only on the vanishing of higher powers of N.
The same depth-reduction rule supplies a practical truncation criterion when numerically evaluating analytic functions of matrices that contain a nilpotent part.
The criterion quantifies how the analytic properties of a function directly control the algebraic size of Jordan blocks after the function is applied.

Load-bearing premise

The hypergeometric series can be manipulated formally inside the finite-dimensional associative algebra without convergence issues, and the contact order r of F at lambda is well-defined and positive.

What would settle it

A direct matrix calculation for a nilpotent Jordan block of index m+1 and a hypergeometric function whose first non-constant term has degree r, showing that F(N) minus F(0)I has nilpotency index strictly larger than ceil((m+1)/r), would falsify the depth criterion.

read the original abstract

We study hypergeometric functions of nilpotent operators in finite-dimensional settings, motivated by the algebraic structure of exceptional points in non-Hermitian quantum mechanics. Our starting point is the following exact result: if N is a nilpotent operator of index m+1 in an associative algebra over C, then every generalized hypergeometric function pFq evaluated at N reduces to a finite polynomial in N of degree at most m, without any analytic convergence requirement. This "functional collapse" is distinct from the classical parameter-termination mechanism and arises purely from the nilpotent structure of the argument. The main result is a "nilpotent depth criterion" (Theorem 2): if the first non-constant coefficient of a formal series F appears in degree r >= 1, then the nilpotent part F(N) - F(0)I has nilpotency index bounded above by ceil((m+1)/r). We apply this criterion to Hamiltonians at exceptional points, where H = lambda I + N with N^{m+1} = 0. Theorem 3 establishes that a function F analytic at lambda reduces the Jordan depth of the exceptional point from m+1 to at most ceil((m+1)/r), where r is the contact order of F at lambda. As consequences: the time evolution operator e^{tH} preserves the full Jordan depth for all t != 0; a function with a zero of order m+1 at lambda annihilates the entire Jordan structure; and the order of the pole of the modified resolvent is reduced from m+1 to at most m+1-r. Results are illustrated with explicit 3x3 Jordan block computations for 1F1, 2F1, and the time evolution operator, confirming sharpness of the bounds.

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

The nilpotent depth criterion gives a clean algebraic bound on how analytic functions reduce Jordan block size at exceptional points, and the supporting arguments hold up.

read the letter

The main thing here is that nilpotency of index m+1 forces any formal power series, including hypergeometrics, to truncate to a polynomial of degree at most m, and the paper gives an exact bound: if the lowest non-constant term sits at degree r, the nilpotent part of F(N) has index at most ceil((m+1)/r). They then shift to H = lambda I + N at an exceptional point and show the same reduction applies to the Jordan depth of the perturbed operator. That organizes a bunch of phenomena without case-by-case work.

Referee Report

1 major / 3 minor

Summary. The manuscript claims that if N is a nilpotent operator of index m+1 in an associative algebra over C, then any generalized hypergeometric function _pF_q evaluated at N reduces to a polynomial in N of degree at most m (functional collapse). Theorem 2 gives a nilpotent depth criterion: if the lowest non-constant coefficient in the formal series for F occurs at degree r >=1, then F(N)-F(0)I has nilpotency index at most ceil((m+1)/r). Theorem 3 applies this to analytic functions F at an exceptional point of H=lambda I + N, showing that the Jordan depth is reduced to at most ceil((m+1)/r). Consequences include that exp(tH) preserves full Jordan depth for t !=0, and a zero of order m+1 at lambda annihilates the Jordan structure. The claims are illustrated and sharpness checked via explicit 3x3 Jordan block calculations for 1F1, 2F1, and the time-evolution operator.

Significance. If the algebraic results hold, the work supplies a parameter-free, convergence-free framework for the functional calculus of nilpotents that directly quantifies how analytic functions modify Jordan structure at exceptional points. The explicit 3x3 verifications confirming sharpness of the depth bounds and the clean leading-term argument for the nilpotency index are notable strengths. The results are likely to be useful in finite-dimensional models of non-Hermitian quantum mechanics and PT-symmetric systems where exceptional points appear.

major comments (1)

[Theorem 2] The central claims rest on formal power-series manipulation inside the algebra generated by N. The manuscript should state explicitly (perhaps in the statement of Theorem 2) that associativity is used to guarantee that all powers N^k are unambiguously defined and that the binomial expansion of (c_r N^r + higher)^k has leading term proportional to N^{r k}.

minor comments (3)

[Section 4] In the 3x3 Jordan-block examples, the explicit matrix representations of N and the resulting polynomials for 1F1(N), 2F1(N), and exp(tN) should be displayed so that the degree truncation and depth reduction can be verified by direct matrix multiplication.
[Theorem 3] The definition of the contact order r (the lowest degree with non-zero coefficient in the Taylor series of F at lambda) is used in Theorem 3; a short remark clarifying that r is independent of the nilpotent part N would help readers.
[Introduction] A brief comparison with the classical termination of hypergeometric series when a numerator parameter is a negative integer would distinguish the nilpotent collapse mechanism from the usual parameter-termination mechanism.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript and for the constructive suggestion concerning the explicit statement of associativity in Theorem 2. We agree that this clarification will improve the rigor and readability of the central result, and we will incorporate the requested revision in the updated version.

read point-by-point responses

Referee: [Theorem 2] The central claims rest on formal power-series manipulation inside the algebra generated by N. The manuscript should state explicitly (perhaps in the statement of Theorem 2) that associativity is used to guarantee that all powers N^k are unambiguously defined and that the binomial expansion of (c_r N^r + higher)^k has leading term proportional to N^{r k}.

Authors: We agree with the referee's observation. The proof of Theorem 2 indeed relies on the associativity of the underlying algebra to ensure that all powers N^k are unambiguously defined within the algebra generated by N and to justify that the binomial expansion of (c_r N^r + higher)^k has leading term proportional to N^{r k}. In the revised manuscript we will add an explicit statement to this effect directly in the formulation of Theorem 2, as suggested. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation is algebraically self-contained

full rationale

The paper's core results follow directly from the definition of nilpotency (N^{m+1}=0) in an associative algebra, which forces any formal power series—including generalized hypergeometric pFq—to truncate after degree m, yielding a polynomial without invoking convergence or external data. The nilpotent depth bound in Theorem 2 is obtained by isolating the lowest-degree non-constant term c_r N^r in F(N)-F(0)I and observing that its k-th power has leading term proportional to N^{r k}, which vanishes for r k > m; this is a direct algebraic consequence of the nilpotency index and requires no fitted parameters, self-referential definitions, or load-bearing self-citations. Theorem 3 applies the identical leading-term argument after the shift H = lambda I + N for analytic F with contact order r. All steps are internal to the finite-dimensional associative algebra setting, with explicit 3x3 Jordan-block verifications serving only as sharpness checks rather than inputs. No reduction of a claimed prediction to its own fitted inputs or imported uniqueness theorems occurs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the algebraic definition of nilpotency in finite-dimensional associative algebras over C and the formal power-series definition of generalized hypergeometric functions; no free parameters are fitted and no new entities are postulated.

axioms (2)

standard math A nilpotent operator N of index m+1 satisfies N^{m+1} = 0 but N^m != 0 in a finite-dimensional associative algebra over C.
Standard definition invoked at the start of the exact result and Theorem 2.
standard math Generalized hypergeometric functions pFq are defined by their formal power series with coefficients depending on Pochhammer symbols.
Used to establish the functional collapse without analytic convergence requirements.

pith-pipeline@v0.9.0 · 5633 in / 1709 out tokens · 106932 ms · 2026-05-07T06:25:12.705906+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references · 4 canonical work pages

[1]

G. E. Andrews, R. Askey, and R. Roy, Special Functions, Encyclopedia of Mathematics and its Applications, vol. 71, Cambridge University Press, Cambridge, 1999

1999
[2]

W. N. Bailey, Generalized Hypergeometric Series, Cambridge Tracts in Mathematics, vol. 32, Cambridge University Press, Cambridge, 1935

1935
[3]

R. A. Horn and C. R. Johnson, Matrix Analysis , 2nd ed., Cambridge University Press, Cambridge, 2013

2013
[4]

P. W. Karlsson, Hypergeometric functions with integral parameter differences, J. Math. Phys. 12 (1971), 270–271

1971
[5]

H. M. Srivastava and H. L. Manocha, A Treatise on Generating Functions , Ellis Horwood, Chichester, 1984

1984
[6]

Moya, Unified Nilpotent Operational Framework: Foundations, Algebraic Exactness, and Complexity, Zenodo, 2026

R. Moya, Unified Nilpotent Operational Framework: Foundations, Algebraic Exactness and Complexity, manuscript, Universidad Autónoma de Santo Domingo, 2025. DOI: 10.5281/zenodo.19775677

work page doi:10.5281/zenodo.19775677 2025
[7]

N. J. Higham, Functions of Matrices: Theory and Computation, SIAM, Philadelphia, 2008

2008
[8]

Kato, Perturbation Theory for Linear Operators, 2nd ed., Grundlehren der mathematischen Wissenschaften, vol

T. Kato, Perturbation Theory for Linear Operators, 2nd ed., Grundlehren der mathematischen Wissenschaften, vol. 132, Springer, Berlin, 1976

1976
[9]

W. D. Heiss, The physics of exceptional points, J. Phys. A: Math. Theor. 45 (2012), 444016

2012
[10]

C. M. Bender and S. Boettcher, Real spectra in non -Hermitian Hamiltonians having PT symmetry, Phys. Rev. Lett. 80 (1998), 5243–5246

1998
[11]

M. V . Berry, Physics of non-Hermitian degeneracies, Czech. J. Phys. 54 (2004), 1039–1047

2004
[12]

D. I. Borisov, F. Ružička, and M. Znojil, Multiply degenerate exceptional points and quantum phase transitions, Int. J. Theor. Phys. 54 (2015), 4293–4305. arXiv:1412.6634

work page arXiv 2015
[13]

Znojil, Passage through exceptional point: Case study, Proc

M. Znojil, Passage through exceptional point: Case study, Proc. R. Soc. A 476 (2020), 20190831. arXiv:2003.05876

work page arXiv 2020
[14]

Znojil, Intrinsic exceptional point: a challenge in quantum theory, Foundations 5 (2025), Article 8

M. Znojil, Intrinsic exceptional point: a challenge in quantum theory, Foundations 5 (2025), Article 8. arXiv:2411.12501

work page arXiv 2025
[15]

B. M. Minton, Generalized hypergeometric function of unit argument, J. Math. Phys. 11 (1970), 1375–1376

1970