{"id":"c9917bdb-6797-44ed-ae67-a0141b45c501","arxiv_id":"2606.20289","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Bellman-function proof of the dimension-free estimate ||R f||_{L^p(Ω; ℓ²)} ≲ (p-1) ||f||_{L^p(Ω)} for p ≥ 2 on the Hamming cube and related groups.","lead":"The paper gives a Bellman-function proof of a dimension-free bound on the vector of Riesz transforms for the Walsh operator on the Hamming cube, valid for p at least 2. A smart generalist might read it to see how optimization-style tools can replace noncommutative methods in proving operator bounds on discrete groups.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Two-point inequality for the chosen Bellman function in symmetrized edge estimates","rationale":"The reader's weakest_assumption correctly isolates the single step whose failure would invalidate the reduction from the Poisson representation to the claimed bound. Because the full text was not previously available, the unverdicted status is retained; the concern is internal to the proof architecture described in the abstract and does not rely on external consensus issues.","tokens_in":1722,"tokens_out":322,"duration_ms":16044,"concrete_test":"On the two-point space {-1,1} with the Poisson kernel, substitute the explicit Bellman function into the two-point inequality and check numerically whether it holds with constant (p-1) for p=2, p=3, and p=4; if it fails for any of these, recompute the edge estimates to see whether the dimension-free factor is lost.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The argument reduces the dimension-free bound to symmetrized estimates along edges of Ω, which in turn rest on a two-point inequality derived from the Poisson semigroup representation. For the central claim to hold, this inequality must be satisfied by the specific Bellman function with constant proportional to (p-1) for all 2 ≤ p < ∞. This step is the least secure because the abstract identifies it as the final ingredient after the semigroup representation and symmetrization, and any failure here (even on the two-point space) would block the passage from local edge estimates to the global ℓ²-valued bound.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims a Bellman-function proof of the dimension-free bound ||vec{R} f||_{L^p(Ω; ℓ²)} ≲ (p-1) ||f||_{L^p(Ω)} for 2 ≤ p < ∞, where vec{R} is the vector of Riesz transforms associated to the Walsh number operator on the Hamming cube Ω = {-1,1}^n (and more generally on locally compact abelian groups such as Z^n). The argument proceeds via a Poisson semigroup representation of the transforms, symmetrized estimates along the edges of Ω, and a two-point inequality for a suitably chosen Bellman function; the paper positions this as the first non-noncommutative proof of the result.","tokens_in":1844,"tokens_out":395,"duration_ms":18562,"significance":"If the two-point inequality is established with the stated constant, the work supplies an alternative, commutative proof strategy for a known dimension-free estimate that had previously been obtained only via noncommutative methods (Lust-Piquard, Junge-Mei-Parcet). This could facilitate extensions to other discrete or group settings and clarifies the role of Bellman functions in vector-valued martingale inequalities on the cube.","major_comments":[{"comment":"The central reduction rests on the two-point inequality for the chosen Bellman function (invoked after the Poisson semigroup representation and edge symmetrization). The abstract identifies this as the final ingredient needed to obtain the (p-1) constant, yet no explicit form of the Bellman function or verification that the inequality holds with the required constant on the two-point space is supplied in the provided outline; without this verification the passage from local edge estimates to the global ℓ²-valued bound cannot be confirmed.","section":"Proof outline (Poisson semigroup representation and two-point inequality)"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful review and for highlighting the need for explicit details on the central two-point inequality. We agree this is essential for confirming the argument and will revise the manuscript to include the missing verification.","responses":[{"response":"We agree with the referee that the manuscript outline does not supply the explicit Bellman function or its two-point verification, which is required to complete the proof. The full paper will be revised to add a dedicated subsection (or appendix) stating the Bellman function explicitly and verifying the two-point inequality with the precise constant (p-1) on the two-point space. This will make the reduction from edge estimates to the global bound fully rigorous and self-contained.","revision_made":"yes","referee_comment":"[Proof outline (Poisson semigroup representation and two-point inequality)] The central reduction rests on the two-point inequality for the chosen Bellman function (invoked after the Poisson semigroup representation and edge symmetrization). The abstract identifies this as the final ingredient needed to obtain the (p-1) constant, yet no explicit form of the Bellman function or verification that the inequality holds with the required constant on the two-point space is supplied in the provided outline; without this verification the passage from local edge estimates to the global ℓ²-valued bound cannot be confirmed."}],"tokens_in":1368,"tokens_out":290,"duration_ms":17018,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper supplies a Bellman-function proof of the dimension-free bound for the vector Riesz transform tied to the Walsh operator on the Hamming cube. The bound itself was already known from noncommutative work, but this is the first proof that stays inside commutative analysis.\n\nThe argument runs through a Poisson semigroup representation of the transforms, reduces matters to symmetrized estimates along the edges of the cube, and finishes with a two-point inequality for a chosen Bellman function. The same approach is said to cover locally compact abelian groups such as Z^n. The authors correctly record that the bound fails for 1 < p < 2 by Lamberton's example.\n\nWhat the paper does cleanly is lay out an explicit route that avoids noncommutative tools. If the two-point inequality holds with the claimed constant proportional to p-1, the reduction from global bound to local edge check is direct and self-contained.\n\nThe soft spot is precisely that two-point inequality. The abstract flags it as the final ingredient, so any shortfall in the constant or in the range of p would stop the argument. A referee would need to inspect the explicit Bellman function and the verification on the two-point space. The rest of the setup looks standard and free of circularity.\n\nThe paper is aimed at analysts who work on dimension-free estimates for discrete groups or who want to see Bellman functions applied outside the usual martingale setting. A reader looking for an alternative proof technique will find it useful. It is not a new bound, but the method could open further applications.\n\nI would send it to peer review. The result is grounded enough and the technique is distinct enough to merit referee time.","headline":"Bellman function gives the first commutative proof of the known dimension-free Riesz bound on the Hamming cube, with the two-point inequality as the key step to check.","tokens_in":2315,"tokens_out":423,"would_cite":false,"duration_ms":24278,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"A Bellman function yields the dimension-free bound ||vec R f||_p ≲ (p-1) ||f||_p for the vector of Riesz transforms on the Hamming cube when p ≥ 2.","keywords":["Bellman function","Riesz transforms","Hamming cube","dimension-free estimates","Walsh operator","Poisson semigroup"],"falsifier":"An explicit counter-example on the Hamming cube for some p ≥ 2 in which the operator norm of vec R grows with dimension n, or a direct verification that the two-point inequality fails for the chosen Bellman function.","tokens_in":2622,"feed_emoji":"","tokens_out":719,"duration_ms":13887,"temperature":0.7,"pith_summary":"The paper establishes a dimension-free L^p bound on the vector of Riesz transforms tied to the Walsh number operator on the Hamming cube Ω = {-1,1}^n. The bound carries a constant linear in (p-1) and holds for all dimensions n when p is at least 2; the same argument covers Riesz transforms on locally compact abelian groups such as Z^n. The proof proceeds from a Poisson semigroup representation of the transforms, followed by symmetrized edge estimates that reduce to a two-point inequality satisfied by a carefully chosen Bellman function. This supplies the first proof that avoids noncommutative techniques. The result is known to be sharp in the sense that no dimension-free bound of this form exists for 1 < p < 2.","feed_headline":"Bellman function yields dimension-free Riesz bound for p≥2","feed_subtitle":"The estimate ||vec R f||_p ≲ (p-1)||f||_p holds independently of dimension on the Hamming cube and on Z^n.","key_machinery":"Bellman function whose concavity-type inequality along edges of the Hamming cube encodes the desired L^p bound after integration against the Poisson semigroup.","core_discovery":"The vector of Riesz transforms satisfies ||vec R f||_{L^p(Ω; ℓ²)} ≲ (p-1) ||f||_{L^p(Ω)} with the implied constant independent of dimension n, for every 2 ≤ p < ∞; the same dimension-free estimate holds on locally compact abelian groups. The argument rests on a Poisson semigroup representation, symmetrized estimates along edges of Ω, and verification of a two-point inequality for the Bellman function.","pith_inferences":["The same Bellman-function construction may apply to other discrete groups admitting a Poisson semigroup.","The approach could be tested on related operators such as martingale transforms or square functions on product spaces.","It remains open whether a comparable dimension-free bound holds in the noncommutative setting with the same constant."],"forward_implications":["The identical bound holds for the Riesz transforms on Z^n.","The estimate is the first that is proved entirely within the commutative setting.","The method supplies an alternative to the noncommutative arguments of Lust-Piquard and Junge-Mei-Parcet.","No dimension-free bound of the same form exists when 1 < p < 2."],"fun_headline_variants":["Bellman function yields dim-free Riesz bound on Hamming cube for p≥2","Dim-free Riesz bounds via Bellman on Hamming cube for p≥2","Bellman proves dim-free bounds for Riesz transforms p≥2","Riesz transforms have dim-free bounds via Bellman for p≥2"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The selected Bellman function satisfies the two-point inequality required by the symmetrized estimates along the edges.","fun_headline_variants_meta":{"raw":{"variants":["Bellman function yields dim-free Riesz bound on Hamming cube for p≥2","Dim-free Riesz bounds via Bellman on Hamming cube for p≥2","Bellman proves dim-free bounds for Riesz transforms p≥2","Riesz transforms have dim-free bounds via Bellman for p≥2"]},"model":"grok-4.3","cost_usd":0.011861,"raw_usage":{"total_tokens":5180,"prompt_tokens":656,"num_sources_used":0,"completion_tokens":81,"cost_in_usd_ticks":118612000,"prompt_tokens_details":{"text_tokens":656,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4443,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":656,"tokens_out":81,"duration_ms":36825,"temperature":1.0,"reasoning_tokens":4443,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T15:21:05.558841+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit counter-example on the Hamming cube for some p ≥ 2 in which the operator norm of vec R grows with dimension n, or a direct verification that the two-point inequality fails for the chosen Bellman function.","supporting_citations":[],"review_version":1}