|
|
|
|
|
|
by generationP
405 days ago
|
|
|
The actual article (OA!): https://www.tandfonline.com/doi/full/10.1080/00029890.2025.2... This is about solving polynomial equations using Lagrange inversion. This method, as one might have guessed, is due to... Lagrange. See https://www.numdam.org/item/RHM_1998__4_1_73_0.pdf for a historical survey. What Wildberger is suggesting is a new(?) formula for the coefficients of the resulting power series. Whether it is new I am not sure about -- Wildberger has been working in isolation from others in the field, which is already full of rediscoveries. Note that the method does not compete with solutions in radicals (as in the quadratic formula, Tartaglia, Cardano, del Ferro, Galois) because it produces infinite sums even when applied to quadratic equations. Phys.org has gotten no part of the story correct. |
|
|
The proof they give that the hyper-Catalan series solves the Lagrange inversion problem is very good from a pedagogical point of view - I don't think I'll ever be able to forget it now that I've seen it. The only thing this paper is missing is a direct, self-contained combinatorial proof of the factorial-ratio formula they gave for the hyper-Catalan numbers - digging though the chain of equivalences proved in the references eventually got too annoying for me and I had to sit down and find a proof myself (there is a simple variation of the usual argument for counting Dyck paths [1] that does the trick).
Another thing to note is that the power series solution isn't just "a power series" - it's a hypergeometric series. There are lots of computation techniques that apply to hypergeometric series which don't apply to power series in general (see [2]).
[1] https://jlmartin.ku.edu/courses/math724-F13/count-dyck.pdf (for instance) [2] https://sites.math.rutgers.edu/~zeilberg/AeqB.pdf