Skip to content
Preprint

An Improved Bound for the Ovals Problem

Sep 2026 · 0 citations · 22 references
Mathematics

Abstract

Let $\gamma\subset\mathbb R^{m},\,m\geq2,$ be a closed curve of length $2\pi$ with its curvature $\kappa$, parametrized by arc length, and let $\lambda_\gamma$ be the first eigenvalue of the periodic curvature Schr\"odinger operator $-d^2/d s^2+\kappa(s)^2$. We obtain \[ \lambda_\gamma\geq \frac{\sqrt{\pi}}{2} \left(\frac{\Gamma(7/6)}{\Gamma(5/3)}\right)^3. \] This is a near-sharp lower bound for the Ovals problem. Our proof introduces a new geometric approach. We derive a convolution identity from the closure condition and combine it with projection averaging over tangent directions and sharp Poincar\'e inequalities on antipodal arcs. As applications, we provide an improved two-state kinetic Lieb-Thirring inequality and the corresponding two-eigenvalue constant.

View source

Similar papers

Preprint Aug 2026

A sharp isoperimetric inequality for the Neumann--Poincar\'e operator in every dimension

Let $\Omega\subset\mathbb{R}^d$, $d\ge2$, be a bounded connected domain with boundary of class $C^{1,\alpha}$, where $0<\alpha<1$. For the adjoint Neumann--Poincar\'e operator $K^*_{\partial\Omega}$, normalised so that its distinguished eigenvalue is $1/2$, let $\lambda_j^+(\Omega)$ denote the upper min--max values on...

Matthew J. Colbrook, Siavash Sadeghi · 0 citations
Preprint Sep 2026

On the exponential sum over squarefree integers

Let $\mu$ be the M\"obius function and $e(t)=e^{2\pi it}$. We prove that if $N\ge2$, $\alpha\in\mathbb{R}$, $(a,q)=1$, and $|\alpha-a/q|\le q^{-2}$, then \[\bigg|\sum_{n\le N}\mu^2(n)e(\alpha n)\bigg|\ll\left(\frac Nq+q\right)(\log 2N)^5, \] with an absolute implied constant, and we deduce the corresponding estimate on...

Nicolas Robles, Alexandru Zaharescu, Dirk Zeindler · 0 citations
Preprint Aug 2026

Minkowski sums with convex curves without pointwise Fourier decay

Let $\Gamma\subset\mathbb R^2$ be a compact convex graph and define \[ T(\Gamma) = \inf \left\{ t: \dim_{\mathrm H}(E)>t \Longrightarrow |E+\Gamma|>0 \text{ for every compact }E\subset\mathbb R^2 \right\}. \] For a graph over an interval of positive length the smallest possible value is $T(\Gamma)=1$. We ask whether th...

A. Iosevich, Zhang Li, E. Palsson et al. · 0 citations
Preprint Sep 2026

A set of points with optimal $L^2$ spherical cap discrepancy

We introduce an explicit deterministic collection of $N$ spherical points, $\cP_N\subset\mathbb S^2$, that we call the {\em deterministic Diamond points}. For every $0<\alpha<2$ we prove that there exists a constant $C_\alpha>0$ such that \[ 0\leq \frac{2^{\alpha+1}}{\alpha+2}N^2-\sum_{x,y\in\cP_N}|x-y|^\alpha \le C_\a...

Carlos Beltrán, J. Marzo, J. Ortega-Cerdà · 0 citations
Preprint Aug 2026

A Proof of a Conjecture on a P\'olya Functional

Let $\lambda_1(\Omega)$ and $T(\Omega)$ denote the first Dirichlet eigenvalue and torsional rigidity of a bounded convex domain $\Omega\subset\mathbb{R}^2$, and let $M=\max_\Omega u$, where $u$ is the torsion function. We prove the sharp inequalities $\pi^2/24<\lambda_1(\Omega)T(\Omega)/|\Omega|<\pi^2/12$. This proves...

Zi-Kang Deng · 0 citations
Preprint Aug 2026

Spectral and Isoperimetric Bounds on Flat Tori

We record several elementary relations between spectral and isoperimetric parameters of a flat torus $\mathbb{T}_\Lambda = \mathbb{R}^n/\Lambda$ and the covariance structure of a fundamental domain $K$ for the lattice $\Lambda \subset \mathbb{R}^n$. For every measurable fundamental domain $K$ and nonzero vector $\xi$ i...

Emanuel Milman · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.