teal-sea/zeta-lab
A variational identity for the Fredholm operator A = I + T on the interval I = [-1/2, 1/2], where T is convolution against the Farmer-Gonek-Lee pair-correlation form factor F1(x) = |x| - 4x^2 + sum_k a_k |x|^(2k+3) with a_k = 2^(2k+3) k! / (2k+2)!. Let w = A^(-1)1 and c* = . Over the source-admissible class of scalar profiles v(s) = phi(Ls)^2 induced by even, radially nonincreasing C^2 windows supported exactly on [-L/2, L/2] with 0 ^2 / equals c*, and the infimum of the reciprocal quotient / ^2 equals 1/c*. The upper bound ^2 is energy Cauchy-Schwarz. It holds for every v, it is classical,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/palomar/PALOMAR-2026-08-21-000004
curl -X POST /api/v1/records/palomar/PALOMAR-2026-08-21-000004/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-21-000004/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'