{"id":"b2d064ce-07dc-49f0-9157-d61dc4863c19","arxiv_id":"1908.09497","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Sharp constants for John-Nirenberg and Reverse Hölder inequalities are the same on the circle, the interval, and the line, proved via a new martingale-based transference principle.","lead":"This paper proves that the sharp constants in the John-Nirenberg inequality for BMO and the Reverse Hölder inequality for Muckenhoupt weights are the same on the circle, the interval, and the whole line. The proof uses a new martingale-based transfer principle instead of trying to extend functions between these domains.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.1 applies the truncation lemma to a function obtained by averaging and flattening, not by a pointwise Lipschitz composition; the proof of Theorem 1.3 therefore rests on an unverified contraction estimate.","rationale":"The reader's broad architecture is sound: the transference principle (Theorem 2.3) and its applications to BMO2 and Ap appear coherent, the Bellman-function inputs are disclosed as external results, and Lemma A.1's Karamata proof looks correct. However, the weak point identified by the reader — the folklore truncation lemma — is not where the real stress lands. The more specific issue is that Lemma 4.1, the only step transferring the sharp BMOp extremizer, invokes Corollary A.2 for a function ψλ,n that is produced by interval averaging and endpoint flattening, not by a pointwise nondecreasing 1-Lipschitz map of log. Corollary A.2 gives no control over such operations, and the paper supplies no substitute estimate. The bound may well be true, and a conditional-expectation contraction argument might repair it, but as written the proof of Theorem 1.3 is incomplete at its most load-bearing point. The apparent direction error in the first sentence of the proof of Theorem 1.3 is secondary and repairable: the subsequent construction plus restriction (1.4) can yield both inequalities, but only if Lemma 4.1 is justified. I therefore recommend conditional acceptance rather than rejection: the mathematical claims are plausible and the proof strategy is credible, but the central BMOp bridge needs an explicit verification or a corrected argument.","tokens_in":13837,"tokens_out":41343,"duration_ms":415766,"concrete_test":"Compute the exact BMO1 norm of ψλ,n for p=1, λ=1+10^{-k} with k=1,...,5, N=2^k, and n=N/2. Since ψλ,n is piecewise constant with finitely many breakpoints, enumerate all intervals whose endpoints are breakpoints (including the jump at λ^{-n}) and compare the resulting norm with ‖log x‖BMO1([0,1]) + |logλ|. If the bound fails for any such parameter choice, Lemma 4.1 is false. Independently check whether ψλ,n can be written as g(log x) with g nondecreasing and 1-Lipschitz; if it cannot, the cited Corollary A.2 does not justify the estimate and the proof needs a separate contraction argument for the averaging operation.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The central BMOp transfer in Theorem 1.3 depends on Lemma 4.1, which asserts that for λ close to 1 the martingale segments [μ_{φλ,N|Ĩ_n}, δ_{φλ,N|I_n}] stay in Wp,ε. The proof bounds the auxiliary function ψλ,n by ‖log x‖BMOp([0,1]) + |logλ|, claiming this follows from the truncation lemma (Corollary A.2). But ψλ,n is not a pointwise truncation of log: on the cells Ik it replaces log by its interval average (a piecewise-averaging operation), and on the last cell Ĩ_N it replaces log by the endpoint value −N logλ. Corollary A.2 controls compositions g∘φ for nondecreasing 1-Lipschitz g; it does not control replacing a function by its averages or by endpoint values. If this averaging/flattening operation can increase the BMOp norm, the constructed segments leave Wp,ε and the approximation of the extremal log distribution on the circle is not established. This is the only place in the paper that transfers the sharp BMOp extremizer, so the gap is load-bearing. A secondary presentation issue: the proof of Theorem 1.3 begins with 'Since C^R_{3,p} ≤ C^I_{3,p}', but the construction that follows is precisely what proves that direction; the reverse bound follows from restriction (1.4) and is not stated. This can be repaired, but it illustrates that the write-up of this section is not fully reliable.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a transference principle asserting that certain extremal optimization constants for BMO-type spaces and Muckenhoupt weights coincide on the circle, the interval, and the line. The main results are Theorem 1.3 (equality of the sharp John-Nirenberg constants C^R_{3,p}=C^I_{3,p}), Theorem 1.4 (sharp Lp estimates on BMO over the line), Theorem 1.6 (sharp weak-type John-Nirenberg inequality for BMO2 over the line), and Theorem 1.9 (coincidence of sharp Reverse Holder constants for Ap weights). The engine is Theorem 2.3, which realizes any simple (W,Delta)-martingale as the terminal distribution of a simple function on the circle; Section 3 applies this to Bellman-function extremal problems using known Bellman values from the literature; Section 4 handles the BMOp case by approximating the extremal distribution of log x with specially constructed martingales, relying on a truncation lemma proved in Appendix A.","tokens_in":14153,"tokens_out":28122,"duration_ms":289747,"significance":"If the proof is completed, the paper would establish a useful and nontrivial principle: several sharp constants in classical inequalities do not depend on whether the ambient space is an interval, the line, or the circle. The general martingale-realization theorem (Theorem 2.3) is elegant and likely to have further applications. The derivations in Section 3 are clean and correctly reduce the BMO2 and Ap sharpness results to published Bellman-function computations. The authors are commendably explicit about the folklore status of the truncation lemma and about their reliance on external results. The main unresolved issue is concentrated in Section 4, where the transfer of the BMOp extremizer is not yet fully justified.","major_comments":[{"comment":"The proof of Lemma 4.1 asserts the bound ||psi_{lambda,n}||_{p,[0,infty)} <= ||log x||_{p,[0,infty)} + |log lambda| and cites the truncation lemma (Appendix A, Corollary A.2). However, psi_{lambda,n} is not obtained from log x by a pointwise nondecreasing 1-Lipschitz composition: on each interval I_k it replaces log x by the interval average (1/|I_k|) int_{I_k} log, and on (lambda^{-n},infty) it is replaced by a constant. Corollary A.2 controls only functions of the form g o phi with g nondecreasing and 1-Lipschitz, e.g., min(phi,N). The step function G(t) that encodes this averaging has jumps of size |log lambda| at the endpoints of the intervals in the log variable, so it is not 1-Lipschitz. Thus the cited lemma does not imply the bound. Since Lemma 4.1 is the only mechanism that transfers the extremal log distribution to the circle, the proof of Theorem 1.3 is incomplete as written. A direct proof of the contraction estimate, or a modified construction to which Corollary A.2 genuinely applies, is needed.","section":"Section 4, Lemma 4.1"},{"comment":"The proof begins with 'Since C^R_{3,p} <= C^I_{3,p}', but with the definitions in (1.7) the restriction inequality (1.4) yields the opposite inequality, C^R_{3,p} >= C^I_{3,p}. The construction that follows is precisely the hard direction C^R_{3,p} <= C^I_{3,p}, so the roles of the two inequalities are reversed and the easy direction is not stated. In addition, the displayed identity int_0^1 exp(C^I_{3,p} log x / ||log x||_{p,[0,1]}) = infty cannot hold as written, because log x < 0 on [0,1] makes the integrand bounded by 1; the intended absolute value around log x - <log x>, or the function -log x, needs to be present for the exponential integral to diverge. These two issues make the write-up of this section unreliable and must be repaired even if Lemma 4.1 is fixed.","section":"Section 4, proof of Theorem 1.3"}],"minor_comments":[{"comment":"The equality ||log x||_{p,[0,infty)} = ||log x||_{p,[0,1]} is used without justification; a one-sentence explanation using the scale invariance of the oscillation of log on intervals [a,b] would help the reader.","section":"Section 4, Lemma 4.1"},{"comment":"The arrow in '||phi||_{p,T} <= epsilon <= phi in A^circ(R,W_{p,epsilon})' is nonstandard; replacing it by 'phi in A^circ(R,W_{p,epsilon}) implies ||phi||_{p,T} <= epsilon' would avoid ambiguity.","section":"Section 3, equation (3.7)"},{"comment":"The phrase 'K may be chosen finite dimensional, that is K subset V' is imprecise; K is contained in a finite-dimensional subspace V, not equal to it.","section":"Section 2, Lemma 2.7"}],"recommendation":"major_revision","confidential_remarks":"The paper contains a genuinely useful principle, and the Section 3 parts seem sound, but the Section 4 gap is load-bearing and not a matter of exposition. I would ask for a correct proof of the BMOp bound for psi_{lambda,n} before acceptance, as well as a correction of the direction and sign issues in the proof of Theorem 1.3."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Let me give you the short version. The transfer principle behind this paper—Theorem 2.3, the martingale-to-circle realization—is genuinely new, and the coincidences for BMO2 and Ap weights follow from it cleanly. The BMOp case, Theorem 1.3, has a gap in the proof that the authors need to fix.\n\nThe problem is in Lemma 4.1. The authors need to show the martingale segments lie in W_{p,ε}, and they do it by bounding an auxiliary function ψλ,n. The bound is one line: ‖ψλ,n‖ ≤ ‖log x‖ + |log λ|, attributed to the truncation lemma in Appendix A. But ψλ,n is not a pointwise Lipschitz composition of log. On each cell it replaces log by its interval average, and on the tail it flattens to a constant. Corollary A.2 controls g∘φ for nondecreasing 1-Lipschitz g; it does not control averaging or flattening. This is not cosmetic, because Lemma 4.1 is the only step that transfers the sharp BMOp extremizer to the circle. The proof of Theorem 1.3 currently rests on an unverified estimate.\n\nThe write-up of Theorem 1.3 has a second issue. It opens with 'Since C^R_{3,p} ≤ C^I_{3,p}', but restriction (1.4) gives the opposite inequality; the nontrivial direction is the reverse. Also, the step from 'for every m there is a function with integral > m' to 'the constant is not admissible' needs a limiting argument that isn't given.\n\nWhat the paper does well is real. The homogenization idea, credited to Nazarov, is elegant, Lemma 2.4 is genuinely clever, and Section 3 is honest—it leans on published Bellman function computations and says so. The appendix proves the folklore truncation lemma correctly for the case it actually covers. If the authors supply a direct proof of the ψλ,n bound—which looks plausible, probably via a careful case analysis on intervals—the paper would be strong.\n\nThis deserves a serious referee. The transfer principle is a real contribution, and the rest of the paper is solid enough to merit careful review. But as it stands I would not accept it. I'd send it to review with the expectation that the referee asks for a complete proof of Lemma 4.1 and a cleaner limiting argument. I wouldn't cite Theorem 1.3 until that's fixed.","headline":"A genuinely new transfer principle with a real gap in the BMOp proof: Lemma 4.1's bound on ψλ,n is not justified by the truncation lemma.","tokens_in":14662,"tokens_out":29778,"would_cite":false,"duration_ms":262903,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B35","42B25","46E30","60G42"],"pacs":[],"model":"deepseek-v4-flash","headline":"Sharp constants in BMO and A_p are domain-independent","keywords":["BMO","John-Nirenberg inequality","Muckenhoupt weights","reverse Holder inequality","sharp constants","transference principle","Bellman function","martingale"],"falsifier":"Compute the sharp John–Nirenberg constant for BMO(R) directly by an independent method (e.g., a numerical optimization over periodic functions) and check whether it equals the interval value $C^I_{3,p}$; a strict inequality would refute Theorem 1.3.","tokens_in":1784,"feed_emoji":"📏","tokens_out":3377,"duration_ms":103401,"temperature":0.7,"pith_summary":"This paper establishes a transference principle: for a large class of optimization problems defined by local distribution constraints, the best constants are the same whether the underlying functions live on the circle, on an interval, or on the whole real line. In particular, it proves that the sharp John–Nirenberg constants for the natural BMO spaces on these three domains coincide for every p in $[1,\\infty)$, that the sharp $L^p$ comparisons between BMO norms on the line equal the interval ones, and that the suprema governing the reverse Hölder inequality for Muckenhoupt $A_p$ weights coincide as well. The point is not that every function on an interval extends to the line with the same norm—that is false—but that the extremal distributions can be reproduced on the circle. A sympathetic reader should care because it turns a collection of sharp interval estimates into sharp line and circle estimates without redoing the hard optimization.","feed_headline":"Sharp constants in BMO and A_p are domain-independent","feed_subtitle":"The John–Nirenberg and reverse Hölder constants on circle, interval, and line all coincide.","key_machinery":"The central object is the class $A^\\circ_s(Y,W)$ of simple functions on the circle whose distribution over every interval lies in a fixed open set $W$ of probability measures on $Y$; this class encodes both BMO$_p$, via the condition that the $p$-th centered moment is small, and $A_p$ weights, via the condition that the product of averages stays below a fixed constant. The argument is carried by two statements: Lemma 2.4, which glues two such functions whose distribution segments lie in $W$ into one function with any prescribed convex combination of their distributions, and Theorem 2.3, which iterates that gluing to realize the terminal distribution of any simple $(W,\\Delta)$-martingale. The constructive engine is the $\\lambda$-homogenization operator $\\Gamma_\\lambda$, which rescales a function into nested periodic copies so that, for $\\lambda$ close to 1, distributions over both long and short intervals stay close to the original distribution or its convex combinations. This machinery converts an extremal problem whose value is known on an interval into a nearly extremal function on the circle, and hence on the line.","core_discovery":"On the paper's own terms, the central discovery is Theorem 2.3: every simple martingale taking values in a suitable open set of probability measures on a target space can be realized as the family of local distributions of a simple function on the circle, up to closure. Since BMO$_p$ norms, $A_p$ constants, and their associated extremal problems can all be encoded as local distribution inclusions of this kind, the same realization theorem forces the sharp constants for the circle, the interval, and the line to coincide. The paper states this as coincidence of the sharp John–Nirenberg constants $C^{R}_{3,p}=C^{I}_{3,p}$, the sharp weak-type John–Nirenberg bound for BMO$_2$ on the line, the sharp $L^p$ estimates on BMO over the line, and the reverse Hölder suprema for $A_p$ weights. The proofs combine Bellman-function characterizations with an explicit homogenization construction that packs an extremal function into periodic layers of a circle function.","pith_inferences":["The same realization theorem likely transfers sharp constants to higher-dimensional tori and Euclidean spaces, provided the martingale and extremal-function machinery is available there; the paper does not pursue that direction.","Because the transfer works at the level of distributions, it suggests a general recipe: compute an interval sharp constant by extremal-function methods, then realize the extremizer's distribution periodically to obtain explicit near-extremizers on the line.","The appendix's monotonicity and truncation lemma, proved because the authors could not locate it in the literature, may be useful beyond BMO$_p$, for instance in weighted or rearrangement-invariant settings where similar folklore statements are assumed.","The equality of sharp constants for $A_p$ reverse Hölder means that any numerically observed line-versus-interval discrepancy for Muckenhoupt weights must come from non-extremal examples rather than from a genuine difference in the optimal constants."],"forward_implications":["The sharp John–Nirenberg constants for the naturally defined BMO spaces on the line and circle are exactly the known interval constants, including the classical value $2/e$ for the distributional form with the $L^1$ seminorm.","The sharp $L^p$-comparison inequalities $\\|\\varphi\\|_{2,\\mathbb R}\\le \\|\\varphi\\|_{p,\\mathbb R}\\le (p/2\\,\\Gamma(p))^{1/p}\\|\\varphi\\|_{2,\\mathbb R}$ for $p>2$ hold on the line, and the weak-type John–Nirenberg profile for BMO$_2$ transfers to the line with the same three-piece formula.","The suprema governing the reverse Hölder inequality for $A_p$ weights on the line coincide with the interval suprema for every $p$, $q$, and constant $C$.","Any optimization problem that can be encoded as a local distribution constraint of the form $A^\\circ(Y,W)$ will have the same sharp value on the circle, the interval, and the line.","Sharpness on the line is achieved not by extending extremal interval functions—which is generally impossible—but by periodic functions whose distribution approximates the extremal martingale terminal distribution."],"supporting_citations":[{"why":"supplies the Bellman-function characterization of the optimal value as the minimal locally concave majorant and the martingale framework used throughout Section 3","marker":"[18]"},{"why":"gives the exact Bellman value $B(0,1)=p/2\\,\\Gamma(p)$ at the point used to prove sharp $L^p$ estimates on the line","marker":"[15]"},{"why":"gives the exact Bellman value for the weak-type John–Nirenberg bound used in Theorem 1.6","marker":"[22]"},{"why":"establishes the formula for the sharp John–Nirenberg constant $C^I_{3,p}$ for $1\\le p\\le 2$ and identifies the logarithm as the extremal function","marker":"[13]"},{"why":"establishes the corresponding sharp constant $C^I_{3,p}$ for $p>2$","marker":"[16]"},{"why":"computes the sharp reverse Hölder constants for Muckenhoupt weights on the interval, which are the target values transferred in Theorem 1.9","marker":"[20]"},{"why":"provides mutual $L^p$-norm estimates and the Bellman-function computations for $A_p$ weights needed for the reverse Hölder suprema","marker":"[21]"},{"why":"supplies the sharp interval constant $C^I_2=2/e$ in the classical John–Nirenberg inequality","marker":"[8]"},{"why":"proves that monotone rearrangement does not increase the BMO$_p$ norm, a fact used in the appendix proof","marker":"[7]"},{"why":"supplies the rearrangement fact used to justify the truncation lemma in the appendix","marker":"[12]"}],"fun_headline_variants":["Circle, interval, line all give same sharp BMO and A_p constants","Transference principle unifies sharp BMO and A_p constants","Same sharp BMO and A_p constants on circle, interval, and line","Sharp BMO and A_p constants are identical on all domains"],"cache_read_input_tokens":16768,"weakest_assumption_plain":"The paper's equality of constants rests on the previously calculated Bellman-function values and on the lemma that composing with a Lipschitz function never increases a BMO_p norm; if either of those is wrong, the transfer claim fails.","fun_headline_variants_meta":{"raw":{"variants":["Circle, interval, line all give same sharp BMO and A_p constants","Transference principle unifies sharp BMO and A_p constants","Same sharp BMO and A_p constants on circle, interval, and line","Sharp BMO and A_p constants are identical on all domains"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001751,"raw_usage":{"total_tokens":6852,"prompt_tokens":819,"completion_tokens":6033,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":435,"completion_tokens_details":{"reasoning_tokens":5956}},"tokens_in":435,"tokens_out":6033,"duration_ms":39717,"temperature":1.0,"reasoning_tokens":5956,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:11:29.392429+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the sharp John–Nirenberg constant for BMO(R) directly by an independent method (e.g., a numerical optimization over periodic functions) and check whether it equals the interval value $C^I_{3,p}$; a strict inequality would refute Theorem 1.3.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the Bellman-function characterization of the optimal value as the minimal locally concave majorant and the martingale framework used throughout Section 3"},{"cited_title":"Slavin, V","cited_arxiv_id":null,"evidence_quote":"gives the exact Bellman value $B(0,1)=p/2\\,\\Gamma(p)$ at the point used to prove sharp $L^p$ estimates on the line"},{"cited_title":"Vasyunin, A","cited_arxiv_id":null,"evidence_quote":"gives the exact Bellman value for the weak-type John–Nirenberg bound used in Theorem 1.6"},{"cited_title":"The John--Nirenberg constant of ${\\rm BMO}^p,$ $1\\le p\\le 2$","cited_arxiv_id":"1506.04969","evidence_quote":"establishes the formula for the sharp John–Nirenberg constant $C^I_{3,p}$ for $1\\le p\\le 2$ and identifies the logarithm as the extremal function"},{"cited_title":"Slavin, V","cited_arxiv_id":null,"evidence_quote":"establishes the corresponding sharp constant $C^I_{3,p}$ for $p>2$"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"computes the sharp reverse Hölder constants for Muckenhoupt weights on the interval, which are the target values transferred in Theorem 1.9"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides mutual $L^p$-norm estimates and the Bellman-function computations for $A_p$ weights needed for the reverse Hölder suprema"},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the sharp interval constant $C^I_2=2/e$ in the classical John–Nirenberg inequality"},{"cited_title":"Klemes, A mean oscillation inequality , Proceedings of the American Mathematical Society 93:3 (1985), 497–500","cited_arxiv_id":null,"evidence_quote":"proves that monotone rearrangement does not increase the BMO$_p$ norm, a fact used in the appendix proof"},{"cited_title":"Shanin, Equimeasurable rearrangements of functions satisfying the reverse H¨ older or the reverse Jensen inequality, Ric","cited_arxiv_id":null,"evidence_quote":"supplies the rearrangement fact used to justify the truncation lemma in the appendix"}],"review_version":1}