{"id":"fbdf2f9a-8a70-4c85-af81-8328cc669428","arxiv_id":"1908.08425","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For every 1<p<∞ there exists ε_p>0 such that ||Mf||_p ≥ (1+ε_p)||f||_p for all f in L^p(R), resolving the Ivanisvili-Zbarsky conjecture.","lead":"This paper proves that the centered Hardy-Littlewood maximal operator on the real line increases the L^p norm of every function by a fixed percentage, for every p between 1 and infinity. It settles an open conjecture in harmonic analysis and supplies an explicit value for that percentage.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the proof is sound, and the most delicate step (the rising sun identity) is valid for L^p functions.","rationale":"The reader's weakest_assumption correctly identifies the rising sun identity as the most load-bearing step; I agree that Lemma 2.9 rests on it, but I do not find it a genuine vulnerability. The identity is a classical sharp weak-type (1,1) property for the one-sided maximal operator, and the extension from L^1 to L^p is routine via truncation and monotone convergence. I also checked the other core components: the pointwise inequality M^n f ≥ γ_n M_L f in Lemma 2.7 follows from a sound induction using the explicit g_n; Lemma 2.2's explicit formula and the Lagrange expansion proof that γ_n → 1 are algebraically correct; Lemma 2.9's set-splitting argument is valid because on {f > λ} \\ {M_L f > λ/γ_n} we have f ≤ λ/γ_n a.e.; and Theorem 1.1's norm extraction via the sublinearity of the iterated maximal operator is justified by the pointwise bound |M^i f − M^{i−1} f| ≤ M^{i−1}(M f − f). No hidden assumption, circular step, or unjustified identity was found. The verdict should remain ACCEPT.","tokens_in":5608,"tokens_out":44665,"duration_ms":392742,"concrete_test":"Verify the rising sun equality for f ∈ L^p, p > 1, by a rigorous truncation argument: define f_N = f 1_{[-N,N]}, confirm M_L f_N ↑ M_L f pointwise, and check that |{M_L f_N > α}| = (1/α)∫_{M_L f_N > α} f_N passes to the limit via monotone convergence. If the equality fails for locally integrable f outside L^1, then Lemma 2.9 and hence Theorem 1.1 would collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After reviewing the argument, I find no load-bearing flaw. The proof hinges on Lemma 2.9, which uses the exact rising sun identity |{M_L f > α}| = (1/α)∫_{M_L f > α} f for the one-sided left maximal operator. This identity is the key step that turns the inclusion {M^n f > λ} ⊇ {f > λ} ∪ {M_L f > λ/γ_n} into the distributional lower bound. It is a standard sharp weak-type property for the one-sided maximal function, usually stated for f ∈ L^1; the paper applies it to f ∈ L^p, 1 < p < ∞. The extension is justified by truncation: if f_N = f 1_{[-N,N]}, then f_N ∈ L^1, f_N ↑ f, and M_L f_N ↑ M_L f pointwise, so the identity passes to the limit by monotone convergence. All other steps—Lemma 2.7's induction with the explicit g_n, Lemma 2.2's explicit formula and Lagrange expansion proof that γ_n ↑ 1, and the norm-extraction argument in Theorem 1.1 using the sublinearity of the iterated maximal operator—are internally consistent. No circular reasoning or missing assumptions were found.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that for every 1 < p < ∞ the centered Hardy-Littlewood maximal operator M on the real line satisfies the uniform lower bound ‖Mf‖_{L^p} ≥ (1+ε_p)‖f‖_{L^p} for all f ∈ L^p(ℝ), with an explicit (though not numerically computed) ε_p > 0. The proof introduces a sequence γ_n defined by a recursive integral formula, establishes the pointwise inequality M^n f ≥ γ_n M_L f, converts this via the exact rising-sun identity into a distributional lower bound, integrates by the layer-cake formula to obtain a lower bound for ‖M^n f‖_p, and finally transfers this to a lower bound for ‖M f‖_p using sublinearity and the known strong (p,p) bound of M. The manuscript is an extended and self-contained version of the methods of Ivanisvili and Zbarsky and affirmatively answers their conjecture for d = 1.","tokens_in":5884,"tokens_out":12860,"duration_ms":117960,"significance":"If correct, the result settles a conjecture of Ivanisvili and Zbarsky and strengthens the earlier partial result for 1 < p < 2 to all p. The main novelty is the precise pointwise inequality M^n f ≥ γ_n M_L f with monotone constants γ_n ↑ 1, which gives a quantitative iteration argument. The paper is notable for its clarity and for avoiding fitted parameters: the constants γ_n are generated by a recurrence, the constant ε_p is expressed explicitly through the Hardy-Littlewood bound A_p, and the proof of the key distributional estimate is fully exposed. The techniques are elementary and likely to be useful for related maximal operators.","major_comments":[],"minor_comments":[{"comment":"The phrase 'for every n ≥ 1 we can select' is too broad; the displayed expression for (1+ε_p)^p involves the term [(γ_n^p/(p−1))^{1/p} − 1]^p, which is not a real number when γ_n^p/(p−1) < 1 and p is not an integer. The statement should explicitly restrict to n sufficiently large so that γ_n^p/(p−1) > 1, as is correctly done in the proof.","section":"Section 1, Theorem 1.1"},{"comment":"In the proof of part (2), the verification that the functions c_n satisfy the same recurrence as h_n is dismissed as 'a calculus exercise'. Since this explicit formula is the basis for the monotonicity γ_n ↑ 1, please include the short computation or provide a precise reference.","section":"Section 2, Lemma 2.2"},{"comment":"The exact rising-sun identity |{M_L f > α}| = (1/α)∫_{M_L f > α} f is cited from Grafakos [2, p.93], but that reference typically states the result for integrable functions. The paper applies it to locally integrable functions in L^p; please add a sentence explaining the extension, for example by truncating f to f_N = f 1_{[-N,N]} and using monotone convergence.","section":"Section 2, Lemma 2.9"},{"comment":"The induction display contains two typographical errors: the term 'hF(x+h)' should read 'hF(x,h)', and the lower limit of the second integral should be x rather than 2y−x+h (the integral is over [x, 2y−x+h]). These do not affect the validity of the argument.","section":"Section 2, proof of Lemma 2.7"},{"comment":"In the final line, 'γnp/(p−1)' should read 'γ_n^p/(p−1)'; the exponent p is missing. The condition for choosing n is γ_n^p/(p−1) > 1, not γ_n p/(p−1) > 1.","section":"Section 3, proof of Theorem 1.1"}],"recommendation":"minor_revision","confidential_remarks":"This is a correct and well-written paper. The proof strategy is transparent, the key induction and distributional estimates are valid, and the result resolves the open conjecture. The only issues are local presentation matters: an imprecise quantification in the statement of Theorem 1.1, a deferred calculus check, a missing justification for the L^p extension of the rising-sun identity, and a few typos. These are all easily fixed without changing the substance, so I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Verdict first: this is a sound, honest paper that settles the Ivanisvili-Zbarsky conjecture for the centered Hardy-Littlewood maximal operator on the real line. The headline is that there is a uniform epsilon_p > 0. The genuinely new part is the iteration inequality M^n f ≥ γ_n M_L f with explicit γ_n → 1, and the resulting explicit formula for epsilon_p. The existence part overlaps with Zbarsky's simultaneous and independent work, but the paper says so in plain terms and adds a quantitative bound, so the novelty claim is fair.\n\nThe proof is mostly self-contained. Lemma 2.7's induction is neat; the functions g_n are explicit and the Lagrange expansion argument that γ_n → 1 is believable, though it compresses a 'calculus exercise' that a referee would want spelled out. The delicate step is Lemma 2.9, where the rising sun identity for the one-sided maximal operator is used as an equality rather than just weak-type. The paper applies it to L^p functions, while the standard statement is for L^1. That is fixable by truncation, but the manuscript itself does not acknowledge the extension. I would call that a minor gap, not a fault in the argument.\n\nThe extraction of the norm bound in Theorem 1.1 via inequality (11) and the telescoping (12) is standard and correct. The constant depends on A_p, the best strong (p,p) constant, which is not known explicitly; this makes the result existential in practice, but still an honest quantitative statement relative to A_p.\n\nCitation pattern looks appropriate. The dependence on Grafakos, Ivanisvili-Zbarsky, and Zbarsky is acknowledged. No circularity.\n\nWho is this for? Specialists in maximal operators and anyone interested in sharp norm estimates of classical operators. It deserves a serious referee; with a request to expand the proof of Lemma 2.2(2) and to justify the rising sun identity for L^p, it should be accepted.","headline":"A clean, honest proof of the Ivanisvili-Zbarsky conjecture for the centered Hardy-Littlewood maximal operator on R, with a new explicit constant; minor gaps only.","tokens_in":6385,"tokens_out":1877,"would_cite":true,"duration_ms":18487,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42B25"],"pacs":[],"model":"deepseek-v4-flash","headline":"Centered maximal operator on the real line has Lp norm strictly above 1","keywords":["centered Hardy-Littlewood maximal operator","lower bounds","Lp operator norm","real line","rising sun lemma","iterated maximal operator","one-sided maximal operator"],"falsifier":"Find one exponent $p\\in(1,\\infty)$ and one sequence $f_k\\in L^p(\\mathbb{R})$ with $\\|Mf_k\\|_p/\\|f_k\\|_p\\to1$; the paper predicts the infimum of this ratio is at least $1+\\varepsilon_p>1$. Alternatively, take any locally integrable $f\\ge0$ and any $\\lambda>0$ and compute both sides of the claimed distributional inequality $|\\{M^n f>\\lambda\\}|\\ge \\frac{\\gamma_n}{\\lambda}\\int_{\\{f>\\lambda\\}} f$; a single counterexample to this inequality would disprove Lemma 2.9 and with it Theorem 1.1.","tokens_in":5422,"feed_emoji":"","tokens_out":9116,"duration_ms":83613,"temperature":0.7,"pith_summary":"The centered Hardy–Littlewood maximal operator $M$ replaces a function at each point by the largest average of $|f|$ over intervals centered at that point. The paper proves that on the real line, for every $1<p<\\infty$, this operator is strictly expanding in $L^p$: there is a constant $\\varepsilon_p>0$ such that $\\|Mf\\|_{L^p(\\mathbb{R})} \\ge (1+\\varepsilon_p)\\|f\\|_{L^p(\\mathbb{R})}$ for all $f\\in L^p(\\mathbb{R})$. This answers a conjecture left open after earlier work established the bound only for $1<p<2$ or for special classes of functions. The result means the centered maximal operator is never asymptotically the identity on any $L^p$ space on the line, in contrast with higher dimensions, where nonconstant fixed points can occur.","feed_headline":"Centered maximal operator on the line has Lp norm above 1","feed_subtitle":"For every p>1 the expansion gap is uniform: no sequence of functions can make the ratio approach 1.","key_machinery":"The engine of the proof is the sequence $\\gamma_n = g_n(0)$, where $g_n:[-1/2,\\infty)\\to[0,1]$ is defined recursively by $g_0=0$ and $g_n(t)= \\frac{1+\\int_0^{1+2t} g_{n-1}(u)\\,du}{2(1+t)}$. The parameter $\\gamma_n$ measures how much of the leftward average survives after $n$ iterations of the centered maximal operator: Lemma 2.7 states $M^n f \\ge \\gamma_n M_L f$ pointwise for every locally integrable $f$, where $M_L$ is the one-sided left maximal operator, the largest average of $|f|$ over intervals ending at the point and extending leftwards. Since $\\gamma_n$ increases to $1$, iterating the centered operator eventually captures almost all of the one-sided maximal function. Lemma 2.9 then converts this into the distributional inequality $|\\{M^n f>\\lambda\\}| \\ge \\frac{\\gamma_n}{\\lambda}\\int_{\\{f>\\lambda\\}} f$, which is stronger than the usual weak $(1,1)$ bound and is what forces the $L^p$ norm to grow.","core_discovery":"The central discovery is Theorem 1.1: for every $1<p<\\infty$ there is $\\varepsilon_p>0$ such that $\\|Mf\\|_{L^p(\\mathbb{R})} \\ge (1+\\varepsilon_p)\\|f\\|_{L^p(\\mathbb{R})}$ for every $f\\in L^p(\\mathbb{R})$. The proof gives a quantitative value: writing $A_p$ for the best constant in the strong $(p,p)$ inequality for $M$, and $\\gamma_n$ for a sequence that increases to $1$, one may take $(1+\\varepsilon_p)^p = 1 + \\left(\\frac{A_p-1}{A_p^n-1}\\right)^p \\left[\\left(\\frac{\\gamma_n p}{p-1}\\right)^{1/p}-1\\right]^p$ for large enough $n$. The key step is to compare the iterated maximal operator $M^n$ with the one-sided left maximal operator $M_L$: the inequality $M^n f \\ge \\gamma_n M_L f$ combined with the rising-sun lemma yields a distributional lower bound for $M^n f$ in terms of the distribution of $f$ itself, which then converts into the $L^p$ lower bound.","pith_inferences":["The paper does not pursue it, but the comparison $M^n f\\ge \\gamma_n M_L f$ should transfer to any one-parameter family of averaging sets for which an exact distributional identity holds for the associated one-sided maximal function, yielding explicit lower constants.","One could also use Lemma 2.9 to derive lower bounds in rearrangement-invariant spaces: since it controls level sets of $M^n f$ by averages of $f$ over its own level sets, the argument is not intrinsically tied to the $L^p$ scale.","Because the formula for $\\varepsilon_p$ involves the best constant $A_p$, plugging in any proven upper bound for $A_p$ would turn the existence result into a concrete numerical gap for each $p$."],"forward_implications":["For every $p>1$, the $L^p$ operator norm of the centered Hardy–Littlewood maximal operator on $\\mathbb{R}$ is strictly larger than $1$; the ratio $\\|Mf\\|_p/\\|f\\|_p$ cannot be made arbitrarily close to $1$ by any choice of $f$.","The lower bound is quantitative: choosing $n$ with $\\gamma_n p/(p-1)>1$ yields the displayed expression for $\\varepsilon_p$, so the gap is not merely existential.","For $1<p<2$, taking $n=1$ and $\\gamma_1=1/2$ recovers the earlier bound $\\|Mf\\|_p \\ge (p/(2(p-1)))^{1/p}\\|f\\|_p$, and the new argument extends it to all $p$.","Because nonconstant fixed points satisfying $Mf=f$ exist in dimensions $d\\ge3$ for large $p$, the theorem shows the real line is a special case where expansion always wins.","The argument also applies to each iterate $M^n$: every iterate has a uniform $L^p$ lower bound with constant $(\\gamma_n p/(p-1))^{1/p}>1$, a stronger statement than the single-operator bound."],"supporting_citations":[{"why":"Proves the lower bound for $1<p<2$ and states the conjecture for all $p$, supplying the method that the present paper extends.","marker":"[4]"},{"why":"Provides the rising-sun lemma and the exact distributional identity for the left maximal operator used in Lemma 2.9.","marker":"[2]"},{"why":"Supplies the Lagrange expansion identity used to show that the sequence $\\gamma_n$ increases to $1$, making the gap quantitative.","marker":"[1]"}],"fun_headline_variants":["Centered Hardy-Littlewood max operator has Lp norm above 1","For each p>1, centered maximal map has norm strictly greater than 1","Uniform gap: ||Mf||_p ≥ (1+ε_p)||f||_p for all f in L^p","No Lp function makes centered maximal ratio approach 1","Iterated maximal operator yields strict Lp lower bound over 1"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument hinges on an exact formula, from the classical rising-sun lemma, for how often the one-sided leftward maximal operator exceeds a level; if that formula failed for ordinary locally integrable functions, the main lower bound would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Centered Hardy-Littlewood max operator has Lp norm above 1","For each p>1, centered maximal map has norm strictly greater than 1","Uniform gap: ||Mf||_p ≥ (1+ε_p)||f||_p for all f in L^p","No Lp function makes centered maximal ratio approach 1","Iterated maximal operator yields strict Lp lower bound over 1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001138,"raw_usage":{"total_tokens":4689,"prompt_tokens":870,"completion_tokens":3819,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":486,"completion_tokens_details":{"reasoning_tokens":3710}},"tokens_in":486,"tokens_out":3819,"duration_ms":28309,"temperature":1.0,"reasoning_tokens":3710,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:40:39.971998+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find one exponent $p\\in(1,\\infty)$ and one sequence $f_k\\in L^p(\\mathbb{R})$ with $\\|Mf_k\\|_p/\\|f_k\\|_p\\to1$; the paper predicts the infimum of this ratio is at least $1+\\varepsilon_p>1$. Alternatively, take any locally integrable $f\\ge0$ and any $\\lambda>0$ and compute both sides of the claimed distributional inequality $|\\{M^n f>\\lambda\\}|\\ge \\frac{\\gamma_n}{\\lambda}\\int_{\\{f>\\lambda\\}} f$; a single counterexample to this inequality would disprove Lemma 2.9 and with it Theorem 1.1.","supporting_citations":[{"cited_title":"Ivanisvili, S","cited_arxiv_id":null,"evidence_quote":"Proves the lower bound for $1<p<2$ and states the conjecture for all $p$, supplying the method that the present paper extends."},{"cited_title":"Grafakos, Classical and modern Fourier analysis, Prentice Hall, 2004","cited_arxiv_id":null,"evidence_quote":"Provides the rising-sun lemma and the exact distributional identity for the left maximal operator used in Lemma 2.9."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Lagrange expansion identity used to show that the sequence $\\gamma_n$ increases to $1$, making the gap quantitative."}],"review_version":1}