3D critical Bochner–Riesz exponent ()
3D critical Bochner–Riesz exponent: determine or improve its bounds; the repository records 3 (lower) and (upper).
Editorial MSC2020 classification. Original article codes and source evidence are recorded in the literature directory.
Problem statement
In harmonic analysis, for let denote the Bochner–Riesz operator on , initially defined for Schwartz functions by
where denotes the Fourier transform of and . For , let denote the Hölder conjugate exponent, defined by with the usual conventions and . The Bochner–Riesz conjecture predicts that
whenever
[Wu2023-def-operator] [Wu2023-conj-formula]
We define
Thus is the least symmetric exponent for which the conjectural range is established throughout the region . The conjectural value is , and the best established range is
Lean 4
No Lean statement or proof is attached yet. Have a formalization? Share its source to add it to this problem.
Background
-
Relation to Fourier restriction. Tao proved that the Bochner–Riesz conjecture implies the restriction conjecture, and recent work shows that after a pseudo-conformal transformation the modern restriction machinery applies directly to the Bochner–Riesz problem. [GOWWZ2025-restriction-link]
-
A second proof of the current upper bound. The 2025 paper of Guo–Oh–Wang–Wu–Zhang recovers the three-dimensional range by a different and slightly simpler approach. [GOWWZ2025-r3-recover]
-
Foundational references for earlier milestones. The Tomas bound, Lee's three-dimensional improvements, and Tao's implication "Bochner–Riesz restriction" are standard landmarks repeatedly cited in modern surveys. [Wu2023-historical-ranges] [GOWWZ2025-restriction-link]
References (from the repository page)
-
[GOWWZ2025] Guo, Shaoming; Oh, Changkeun; Wang, Hong; Wu, Shukun; Zhang, Ruixiang. The Bochner–Riesz Problem: An Old Approach Revisited. Peking Mathematical Journal 8 (2025), 201–270. DOI: 10.1007/s42543-023-00082-4. arXiv PDF: arXiv:2104.11188. Google Scholar
-
[GOWWZ2025-restriction-link] loc: arXiv v1 PDF p.2, Introduction, paragraph beginning “Tao [Tao99] proved...” quote: “Tao [Tao99] proved that the Bochner-Riesz conjecture implies the restriction conjecture. Moreover, he mentioned in his paper that these two conjectures ‘are widely believed to be at least heuristically equivalent’. The information we would like to convey in the current paper is that, after applying the pseudo-conformal transformation (see (2.12) below), the recently developed techniques in the Fourier restriction literature apply equally well to the Bochner-Riesz problem.”
-
[GOWWZ2025-r3-recover] loc: arXiv v1 PDF pp.3–4, Introduction, Remark 1.4 quote: “Regarding the Bochner-Riesz problem in , recently Wu [Wu20] proved that the Bochner-Riesz conjecture holds for when . His proof partially relies on some ideas from Wang [Wan18]. Our Theorem 1.3 recovers the result in [Wu20] via a quite different and a slightly simpler approach.”
-
[Wu2023] Wu, Shukun. On the Bochner–Riesz operator in . Journal d'Analyse Mathématique 149 (2023), no. 2, 677–718. DOI: 10.1007/s11854-022-0263-y. arXiv PDF: arXiv:2008.13043. Google Scholar
-
[Wu2023-def-operator] loc: arXiv v2 PDF p.1, Introduction, equation (1.1) quote: “Recall that for , the Bochner-Riesz multiplier of order in is defined by .”
-
[Wu2023-conj-formula] loc: arXiv v2 PDF p.1, Introduction, Conjecture 1.1 and equation (1.3) quote: “Conjecture 1.1. (Bochner-Riesz) Assume and . Then for , where the factor is defined to be .”
-
[Wu2023-historical-ranges] loc: arXiv v2 PDF p.1, Introduction, paragraph beginning “In higher dimensions, Tomas [17] proved...” quote: “In higher dimensions, Tomas [17] proved that the Bochner-Riesz conjecture is true when , via a method. This result was improved by Bourgain [1] later in 1991, using new estimates for the Nikodym maximal function. After that, improvements have been made by several authors. See for instance, [20], [12], [2]. To the author’s knowledge, in , the best result so far is due to Lee [12] and [13], who proved that the Bochner-Riesz conjecture is true when ; In , , the best results are given by Guth, Hickman and Iliopoulou [9].”
-
[Wu2023-thm-3.25] loc: arXiv v2 PDF p.2, Introduction, Theorem 1.2 quote: “Theorem 1.2. Let be the Bochner-Riesz operator defined in (1.1). Then the Bochner-Riesz conjecture (1.2) holds when , .”
-
[Tomas1975] Tomas, Peter A. A restriction theorem for the Fourier transform. Bulletin of the American Mathematical Society 81 (1975), no. 4, 477–478. Publisher page: Project Euclid. Google Scholar
-
[Lee2004] Lee, Sanghyuk. Improved bounds for Bochner-Riesz and maximal Bochner-Riesz operators. Duke Mathematical Journal 122 (2004), no. 1, 205–232. DOI: 10.1215/S0012-7094-04-12217-1. Google Scholar
-
[Lee2006] Lee, Sanghyuk. Linear and bilinear estimates for oscillatory integral operators related to restriction to hypersurfaces. Journal of Functional Analysis 241 (2006), no. 1, 56–98. DOI: 10.1016/j.jfa.2006.05.011. Google Scholar
-
[Tao1999] Tao, Terence. The Bochner-Riesz conjecture implies the restriction conjecture. Duke Mathematical Journal 96 (1999), no. 2, 363–375. DOI: 10.1215/S0012-7094-99-09610-2. Google Scholar
Progress & source assessment
Repository table (commit 2c1968c, 26 September 2026): best known lower bound 3; best known upper bound . Values marked with an asterisk have minimal verification.
Known upper bounds
| Bound | Reference | Comments |
|---|---|---|
| [Tomas1975], [Wu2023] | Classical range, with attribution discussed in Wu's historical survey paragraph. [Wu2023-historical-ranges] | |
| [Lee2004], [Lee2006], [Wu2023] | Previous best range in , with attribution discussed in Wu's historical survey paragraph. [Wu2023-historical-ranges] | |
| [Wu2023], [GOWWZ2025] | Wu proved this range, and Guo–Oh–Wang–Wu–Zhang later recovered it by a different argument. [Wu2023-thm-3.25] [GOWWZ2025-r3-recover] |
Known lower bounds
| Bound | Reference | Comments |
|---|---|---|
| [Wu2023] | Immediate from the definition of ; conjectured to be sharp. [Wu2023-conj-formula] |
- [1]Davis, Damek; Ivanisvili, Paata; Tao, Terence (maintainers). Optimization Constants in Mathematics, github.com/teorth/optimizationproblems (commit 2c1968c, 26 September 2026). — 3D critical Bochner–Riesz exponent ($C_{77}$) linkApache-2.0 (repository license); constant pages reproduced with attribution; repository references retained.
Recorded progress
Add yours →Nothing recorded yet. A pointer to a paper the entry is missing counts.
Machine attempts
0 recordedAttempts run against the statement below and are recorded in full, including the failures. The point is to stop the next model — and the next person — from re-walking a road that is already known to end. Each attempt costs 25 credits.
No machine attempts recorded.
Sign in to run an attempt. New accounts start with enough credits for ten.
Discussion
0 notesNotes are for clarifying the statement, flagging a missing reference, or recording why an approach fails. Claimed solutions belong in a submission, where they can be reviewed.
No notes yet.
Sign in to add a note.