The Fourier restriction problem for biradial functions

Shinya Kinoshita; Juyoung Lee; Diogo Oliveira e Silva; Shobu Shiraki

Home/Archive/arXiv

arXiv · 2610.27967

The Fourier restriction problem for biradial functions

Shinya Kinoshita·Juyoung Lee·Diogo Oliveira e Silva·Shobu Shiraki

View original source ↗Read source document ↗Export metadata ↓

Abstract

We determine the exact strong-type Fourier restriction range for the unit sphere $\mathbb{S}^{d-1}$ on the class of $O(d-k)\times O(k)$-invariant functions, for every $d\geq4$ and $2\leq k\leq d-2$. This includes the critical estimates beyond the biradial Stein--Tomas endpoint left open by Mandel and Oliveira e Silva. The proof combines a weighted $L^2$ estimate for extension from a circular arc with the full two-dimensional restriction theorem. An appendix gives a direct proof of the classically conjectured range for axially symmetric functions on the whole sphere.

Explore related subjects

math.CA

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Shinya Kinoshita, Juyoung Lee, Diogo Oliveira e Silva, Shobu Shiraki. 2026-10-20. The Fourier restriction problem for biradial functions. https://arxiv.org/abs/2610.27967

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

KEEP EXPLORING

Related papers

arXiv2026

Discriminants of derivatives: square graphs and sums of squares

The discriminants of the derivatives of a real-rooted polynomial are nonnegative polynomials in its roots, and we ask whether this nonnegativity can be certified algebraically in the root differences. We compare three such certificates: sums of squares, positive combinations of symmetrized monomials in squared root differences (the square-graph cone of Alexandersson and Shapiro), and sum-of-squares factorizations of the Hermite matrix of the derivative. We work in the terminal range, where the degree $r=n-k$ of the $k$-th derivative is fixed and the degree $n$ of the polynomial grows. For $r=3$ the discriminant lies in the square-graph cone for every $n$, and we prove the three-graph formula conjectured by Alexandersson and Shapiro. For $r=4$ the two cones separate: the discriminant belongs to the square-graph cone exactly for $4\le n\le22$, but it is a sum of squares for every $n\ge4$. The negative part is certified by an explicit linear functional, the positive part by a rational Gram certificate built from nine orbits of squares under the symmetric group. Thus the square-graph conjecture fails, already at $(n,k)=(23,19)$, while the sum-of-squares question has a positive answer for all $k\ge n-4$. Finally, we give explicit sum-of-squares factorizations of the Hermite matrices of the terminal cubic and quartic. The quartic factorization yields a uniform proof of the sum-of-squares property for all $n\ge4$, and we conjecture that such a factorization exists for every derivative; this is verified in the centered outlier limit through terminal degree six.

math.CA↗

arXiv2026

Integrability of a composition of functions

The paper deals with the Riemann and Lebesgue integrability of functions. Sufficient conditions and criteria are stated for the integrability of a composition of functions. Relevant counterexamples are constructed based on Cantor's perfect sets and the Cantor staircase function. The main tool of research is Lebesgue's criterion for Riemann integrability.

math.CA↗

arXiv2026

Stability for the adjoint Finner inequality and improved lower bounds on the $k$-plane transform

We establish stability properties of near-extremisers for the Loomis--Whitney inequality and its adjoint, presenting our results in the general framework of Finner. In particular, we show that a function nearly achieves equality in the adjoint Finner inequality if and only if it is near to being an indicator function of a cartesian product. As an application, we obtain new lower bounds for the classical $k$-plane transform on $L^p(\mathbb{R}^d)$, modestly improving those obtained recently by Tao and the first author. We also present an alternative approach to such improvements based on stability in the setting of the Brascamp--Lieb inequality and the theory of fusion frames. We conclude with an interpretation of our $k$-plane transform estimates as adjoint forms of the continuous Brascamp--Lieb inequalities.

math.CA↗