Mathematical Analysis Confirms a Long-Standing Conjecture About Special Function Values

Scientists have long sought to understand the properties of Hörmander, Bernhardsson extremal zeros and their implications for spectral analysis. Khai-Hoan Nguyen-Dang, undertaking this research independently, demonstrates that the squared values of these real zeros constitute an admissible sequence, allowing for a complete expansion of the heat trace in terms of pure powers. This proof relies on establishing an analytic normal form with a uniform Taylor expansion and employing Mellin, Hurwitz zeta analysis of weighted Gaussian sums. The findings yield significant results including meromorphic continuation and special-value information for related zeta functions, alongside large-parameter asymptotics for the canonical product, and crucially confirm a conjecture proposed by Bondarenko, Ortega-Cerdà, Radchenko, and Seip. Furthermore, Nguyen-Dang establishes a clear parity dichotomy, revealing that admissibility holds for even sequences, but is obstructed by a nonzero term for odd sequences.

This work establishes that the squares of these zeros form what is known as an ‘admissible sequence’ in the sense defined by Quine, Heydari, Song, meaning the associated heat trace, a tool for studying the distribution of these zeros, expands as a series of pure powers of the square root of time.

The significance lies in demonstrating a surprising degree of spectral regularity for a function whose zeros are not perfectly spaced, revealing hidden connections to elliptic spectral theory. This research builds upon recent analytic descriptions of the zero set, allowing for a precise characterisation of its behaviour.
The proof relies on transforming the problem into an analytic normal form, a uniform Taylor expansion, and a detailed analysis using Mellin, Hurwitz zeta functions, techniques that allow for the extraction of subtle information from weighted Gaussian sums. Furthermore, a striking parity dichotomy emerges: sequences are admissible for even powers, but a non-zero term obstructs admissibility for odd powers, revealing a fundamental asymmetry in the structure of the zeros.

This discovery has implications for understanding the behaviour of these functions and their connection to broader mathematical frameworks. The implications extend beyond purely theoretical mathematics. Establishing admissibility allows researchers to apply powerful zeta regularization techniques, providing a robust framework for analysing spectral properties and extracting precise information about the function’s behaviour.

This advancement opens avenues for exploring related problems in areas such as quantum mechanics and signal processing, where spectral analysis plays a crucial role. The refined understanding of the zero set and its associated zeta functions promises to stimulate further investigation into the interplay between extremal problems, spectral theory, and analytic number theory.

Hörmander Extremal Function Zeros Define Admissible Sequences and Resolve Heat Trace Expansion

The research demonstrates that squared real zeros of the Hörmander, Bernhardsson extremal function form an admissible sequence, confirming a full expansion of the heat trace in pure powers of t. This admissibility is established through an analytic normal form, a uniform Taylor expansion, and a Mellin, Hurwitz zeta analysis of resulting weighted Gaussian sums.

Detailed analysis reveals that the leading heat coefficients exhibit a precise Weyl law, consistent with expected spectral behaviour. This confirms a long-standing open problem in the field. Further investigation reveals a parity dichotomy governing the admissibility of sequences.

Sequences with even powers are confirmed as QHS-admissible, while those with odd powers exhibit an obstruction to admissibility in the form of a non-zero term involving t log t. This logarithmic term arises from a harmonic weighted sum, indicating a deviation from the purely polynomial behaviour expected in admissible sequences.

The analysis of odd powers also yields information about residues and logarithms within the spectral zeta function. The work rigorously proves that for even m, the sequences (τm n)n≥1 are QHS-admissible, while for odd m, a nonzero t log t term obstructs admissibility. This distinction is crucial for understanding the spectral properties associated with the Hörmander, Bernhardsson function and its zeros, providing a refined understanding of their behaviour within the framework of zeta regularization. Initially, the research establishes an analytic normal form, a uniform Taylor expansion, to facilitate precise calculations.

This approach centres on transforming complex functions into a simplified representation, enabling clearer analysis of their behaviour. The choice of an analytic normal form is advantageous as it streamlines the subsequent Mellin, Hurwitz analysis, reducing computational complexity and enhancing the accuracy of the results.

Following this, the study meticulously constructs weighted Gaussian sums, which are essential for examining the distribution of the function’s zeros. These sums are not merely calculated but subjected to a rigorous Mellin, Hurwitz zeta analysis, a powerful technique for understanding the analytic properties of functions defined by infinite sums or integrals.

This technique is particularly well-suited for analysing the asymptotic behaviour of these sums, revealing crucial information about the zero set. The implementation of this analysis requires careful consideration of convergence properties and the selection of appropriate integration contours. Further methodological innovation lies in the application of this framework to determine the admissibility of sequences formed from the squared zeros.

Admissibility, in this context, refers to whether these sequences satisfy specific criteria related to heat trace expansions and zeta regularization, concepts central to spectral theory. The research proceeds by establishing full asymptotic expansions for both Θm(t) and Fr(t), functions derived from the zero sequence, which are then used to demonstrate the full heat-trace expansion and confirm admissibility. This detailed analysis allows for a robust assessment of the sequence’s properties and its implications for associated spectral zeta functions.

The Bigger Picture

Scientists have long sought a complete understanding of how seemingly abstract mathematical functions connect to the physical world. This recent work offers a significant advance in our ability to characterise the zeros of certain complex functions, specifically those arising in spectral geometry and number theory.

For decades, establishing a robust link between the distribution of these zeros and the properties of the underlying spaces has proved remarkably difficult, hampered by the intricate interplay of analytical and geometric considerations. The implications extend beyond purely mathematical curiosity. Precise knowledge of these zeros is crucial for calculating quantities like energy levels in quantum systems and for understanding the distribution of prime numbers.

The demonstrated ability to express spectral zeta functions as full expansions in powers of these zeros represents a powerful new tool for tackling problems in both physics and mathematics. It’s a refinement of techniques used to analyse wave propagation and resonance phenomena. However, the current analysis is largely confined to a specific class of functions and relies on strong assumptions about their behaviour.

The parity dichotomy observed, differing admissibility criteria for even and odd sequences, hints at deeper structural principles, but also raises questions about the generality of these results. Future work will likely focus on extending these techniques to more general settings and exploring the connections to other areas of mathematical physics, perhaps leveraging insights from random matrix theory or non-commutative geometry. The challenge now is to translate this elegant analytical framework into practical algorithms and predictive models.