BrandonMYates/csordas-comparator
This project formalizes in Lean 4 a counterexample to a log-concavity conjecture of Coffey and Csordas (Math. Comp. 82 (2013) 2265-2272, Conjecture 2.5, where the quantity below is written S_n), later restated as Open Problem 4.13 of Csordas (Comput. Methods Funct. Theory 15 (2015) 373-391). Let Phi be the kernel of Riemann's integral representation, Phi(u) = sum_{n>=1} (4 pi^2 n^4 e^{9u/2} - 6 pi n^2 e^{5u/2}) e^{-pi n^2 e^{2u}}, and set J_n(t) = (Phi^(n)(t))^2 - Phi^(n-1)(t) Phi^(n+1)(t), the n-th Laguerre expression of Phi. The conjecture asserts J_n(t) > 0 for every real t and every n >=…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-08-27-000002
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-27-000002/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-27-000002/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'