Search arXiv⌕ Search

arXiv · 2610.20192

Old structures, a vanishing formula

Abstract

We identify a normalization defect in a determinantal construction of fourth-order Hahn difference equations and compare its scalar equation with Foupouagnigni's 1998 elimination and its published 2001 counterpart. On an explicit positive orthogonal family, all five prescribed coefficients vanish: the formula gives \(0=0\) and imposes no condition. Along an explicit regular perturbation, division by \(\varepsilon^2\) before specialization recovers a nonzero equation on that family, the same scalar equation as the correctly executed old shift-and-eliminate procedure. On the common nondegenerate domain specified below, both constructions give the same scalar operator up to a nonzero rational factor. The first-order degree bounds follow directly from valid identities of 1998; preserving cancellations gives a bound that can be arbitrarily sharper on explicit admissible inputs, together with exact top coefficients and cancellation criteria. Explicit coefficient formulas do not by themselves yield a new scalar equation on this domain. Our comparison does not exclude corrective or expository contributions; additional computational gain or exceptional coverage must be demonstrated.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

K. Castillo, G. Gordillo-Núñez. 2026-10-14. Old structures, a vanishing formula. https://arxiv.org/abs/2610.20192

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A proof of Saari's conjecture

We prove Saari's conjecture, which states that for any solution to the classical $n$-body problem that has constant (polar) moment of inertia has to behave as a rotating rigid body. Additionally, we remark how Saari's conjecture can be generalised well beyond the confines of the classical $n$-body problem.

math.CA↗

Estimates for $L^p$ variants of Gowers norms

Motivated by a log-convexity question of Bennett and Tao, we consider Gowers-type functionals defined by $L^p$ norms of multiple autocorrelations. We prove sharp bounds in terms of $L^q$ norms and characterise the near-extremisers on Euclidean spaces as well as locally compact abelian groups. We also establish two families of degree-lowering inequalities and study their near-extremisers. As a byproduct of this broader theory, we show that the constant in the log-convexity estimate for Gowers norms is strictly less than unity, confirming the aforementioned conjecture of Bennett and Tao. Finally, we characterise the $p$ for which the Gowers-type functionals necessarily satisfy the triangle inequality on nonnegative measurable functions.

math.CA↗