{"id":"bdf71da2-bc03-448d-94ec-669dee9f0329","arxiv_id":"2411.17380","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Sequences in uniformly convex Banach spaces satisfying the norm inequality ||v_{n+m}|| <= ||v_n + v_m|| have a convergent limit v_n/n.","lead":"The paper proves a vector-valued version of Fekete's lemma: in a uniformly convex Banach space, any sequence whose norms grow subadditively in the vector sense must have its scaled vectors converge. This extends a classical scalar tool used across combinatorics and functional analysis, and it identifies which geometric assumptions are genuinely needed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: Theorem 1.1 is sound; the flagged Section 3 slip is not a slip, and Section 4 omissions are secondary.","rationale":"I read the proof as an honest extension of Fekete's lemma; the geometric Lemma 2.1 and the two-step Cauchy argument are internally consistent. The conditional verdict rests on secondary exposition, not on the main theorem. Because the suspected slip in (3.3) is actually justified by nonnegative remainder terms, and because the omitted Section 4 details are plausibly routine, I do not find a load-bearing concern. I keep the reader's CONDITIONAL verdict: the paper would benefit from writing out the Section 4 computations, but the central claim stands.","tokens_in":9819,"tokens_out":20333,"duration_ms":179888,"concrete_test":"Re-run the Section 3 verification with interval arithmetic for n = 10^4, m = 2n to confirm inequality (3.3); this would settle the only suspected computational slip and, if it failed, would require repairing the R^2 counterexample for the weakened subadditivity condition.","verdict_should_be":"UNCHANGED","load_bearing_attack":"No load-bearing flaw in the central claim was found. The main proof's only delicate point is the iterative bound (2.2) when m > 4n. I checked the index hypotheses at every induction step: for r < k, both m and rn+m lie in [N, 2m], so Proposition 2.4 applies, and the relation ||v_n|| ≤ 2n ≤ 2(rn+m) ≤ 2||v_{rn+m}|| holds, so Lemma 2.1 is usable. The algebra in Proposition 2.4 and the final contradiction (1-(1+δ)γ) ≤ δ are correct. The Section 3 estimate (3.3), despite the reader's suspicion, is valid: for n ≤ m ≤ 2n, the difference between r_n+r_m-r_{n+m} and n(1/ln(n+1)^{1/2} − 1/ln(2n+1)^{1/2}) equals m(1/ln(m+1)^{1/2} − 1/ln(n+m+1)^{1/2}) + n(1/ln(2n+1)^{1/2} − 1/ln(n+m+1)^{1/2}) ≥ 0, so the ln(2n+1) lower bound is legitimate. The Section 4 examples omit routine estimates, but the first example's inequality is shown explicitly and the second is a two-stage application of the same argument; neither omission threatens Theorem 1.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a vector-valued version of Fekete's subadditive lemma: in a uniformly convex Banach space X, any sequence {v_n} satisfying ||v_{n+m}|| ≤ ||v_n + v_m|| for all n,m has the property that v_n/n converges in X. The proof combines the classical scalar Fekete lemma (for the norms) with a geometric lemma (Lemma 2.1) that controls the angle between two vectors from the subadditivity-type inequality, followed by a two-scale Cauchy argument: a local ratio bound (Proposition 2.4) and an iteration argument for large ratios (display (2.2)). The paper also contains a real-line local version (Proposition 3.1), a planar counterexample showing the all-pairs condition is needed, Banach-space examples showing convexity is not sufficient and uniform convexity is not necessary for the conclusion, and a criterion (Theorem 5.5) for convergence in a general convex Banach space in terms of uniform convexity of the normalized sequence.","tokens_in":10061,"tokens_out":32519,"duration_ms":252393,"significance":"If correct, the main theorem is a genuine and natural extension of Fekete's lemma from scalar sequences to sequences in uniformly convex Banach spaces. The proof is elementary, self-contained, and rests on a clean geometric lemma that is likely to be useful elsewhere. The paper also crisply delineates the boundary of the result: Section 3 shows the all-pairs condition cannot be weakened to the de Bruijn--Erdős local condition, and Section 4 shows that convexity alone is insufficient while uniform convexity is not necessary. The positive credit due to the authors includes the clear two-step Cauchy argument, the explicit planar counterexample, and the acknowledgment of the MathOverflow provenance of the problem and of the contributions of F. Petrov and D. Wei. The main theorem appears sound; I checked the index hypotheses in the iteration step and the algebra in Proposition 2.4 and the final contradiction.","major_comments":[],"minor_comments":[{"comment":"The proof that Fekete's lemma holds in the constructed space X is only sketched. In particular, the sentence 'We leave the details of the computations to the interested reader' covers the crucial step of passing from the convergence of w_n/n in ℓ2 to the coordinatewise convergence of u_{n,k}/n for each k. The displayed inequality before that step contains an additional term Σ_{l≠k}(w_{n,l}+w_{m,l})² that is not present in Theorem 1.1, so the reduction to the uniform-convexity argument for a fixed pair coordinate is not automatic. Since this example supports the paper's claim that uniform convexity is not necessary, the authors should either supply the missing estimates or clearly indicate that this part is a sketch.","section":"Section 4, second example"},{"comment":"The inequality ||v_{n+m}|| ≤ ||v_n + v_m|| is asserted without proof. It does follow from the componentwise comparison c_{n+m} ≤ c_n + c_m and the monotonicity of c_n/n, but this should be stated explicitly rather than left to the reader.","section":"Section 4, incomplete normed space example"},{"comment":"The bound |a_n + a_{n+1}| ≤ L + (2n+1)ε is used without derivation. A short explanation using (3.2) and the fact that a_n and a_{n+1} have opposite signs would make the argument substantially easier to follow.","section":"Section 3, proof of Proposition 3.1"},{"comment":"There are several typographical errors: 'subadditivite' appears in the title and abstract, 'Exercise 6.23' in reference [1] should be 'Exercise 6.23', and in the proof of Theorem 1.1 'we already obtain edit' should read 'we already obtained it'.","section":"Throughout"},{"comment":"The notation v_n/||v_n|| presupposes that v_n ≠ 0. In Theorem 5.5 the assumption lim ||v_n||/n > 0 makes this harmless, but the text should explicitly say that the finitely many exceptional indices are ignored or handled separately.","section":"Section 5, Corollaries 5.2 and 5.4, Theorem 5.5"}],"recommendation":"minor_revision","confidential_remarks":"This is a well-written short note whose central theorem is correct. The main proof is sound and the auxiliary results are mostly correct, but the Section 4 examples, especially the second one, are too compressed; I would ask the authors to expand those arguments before publication. The MathOverflow origin is properly acknowledged, and the contributions of Petrov and Wei are credited. No concerns about novelty or scope for a functional-analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper does what it says: proves the vector-valued Fekete lemma in uniformly convex Banach spaces, and the proof is coherent. The reader flagged a possible indexing slip in Section 3, but I checked it and it is not a slip: because m >= n, n+m >= 2n, so the ln(2n+1) lower bound is legitimate. The central argument (Lemma 2.1 plus the two-step Cauchy estimate) is sound, and the iterative bound (2.2) holds at every induction step. This is a real extension, not a repackaging: the classical references are scalar, and the MathOverflow question only posed the finite-dimensional Hilbert case.\n\nWhat is genuinely new: the geometric Lemma 2.1, the sharpness examples in Section 3 showing the de Bruijn–Erdos local condition fails in R^2, and the Section 5 criterion. The examples in Section 4 are also informative, cleanly separating convexity from uniform convexity. The paper is honest about provenance and open questions.\n\nSoft spots: Section 4 leans on 'we leave the details to the interested reader' for the non-uniformly-convex example and the non-complete space example. These are routine verifications, but a referee will want them written out or at least sketched. Section 5 is a bit quick: the criterion proof is essentially a repackaging of the main argument plus Proposition 5.3, and that is fine, but it deserved a few more sentences. None of this touches Theorem 1.1, which holds up.\n\nThe citation pattern is fine: the classical papers are cited, the MathOverflow exchange is acknowledged, and the de Bruijn–Erdos result is properly attributed. No circularity, no fitted parameters.\n\nWho this is for: functional analysts and anyone using subadditivity arguments in Banach spaces. The main theorem will be cited. It deserves a serious referee; the referee should ask for the Section 4 details to be filled in but should not reject the paper over them.\n\nRecommendation: send it to review.","headline":"The main theorem is sound and genuinely new: vector-valued Fekete in uniformly convex Banach spaces, with the proof checking out; the flagged Section 3 concern is a false alarm.","tokens_in":10628,"tokens_out":3778,"would_cite":true,"duration_ms":32003,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that in every uniformly convex Banach space, sequences with subadditive vector norms have convergent averages, and it maps precisely how far the hypothesis can be relaxed.","keywords":["Fekete's lemma","subadditive sequences","Banach spaces","uniform convexity","convex Banach spaces","vector-valued sequences","de Bruijn–Erdős lemma","convergence of averages"],"falsifier":"Find a sequence $\\{v_n\\}$ in a Hilbert space (the simplest uniformly convex space) satisfying $\\|v_{n+m}\\|\\le \\|v_n+v_m\\|$ for all $n,m$ but with $\\lim v_n/n$ non-existent; Theorem 1.1 asserts no such sequence exists, so any explicit construction would refute it. The paper's own counterexamples all rely on non-Hilbert geometry, making $\\ell^2$ the sharp test case.","tokens_in":104,"feed_emoji":"📐","tokens_out":11195,"duration_ms":193408,"temperature":0.7,"pith_summary":"Classical Fekete's lemma says that a scalar sequence with subadditive real values has a limit after division by $n$. This paper proves the vector-valued analogue: in a uniformly convex Banach space, any sequence $v_n$ satisfying $\\|v_{n+m}\\|\\le \\|v_n+v_m\\|$ for all $n,m$ admits the limit $\\lim_{n\\to\\infty} v_n/n$ in the space. The proof isolates a geometric inequality (Lemma 2.1) that turns angular separation into a strict norm contraction, and iterates it along the index set. The paper also shows the theorem is sharp in a precise sense: convexity alone does not force convergence, uniform convexity is not necessary, and a criterion (Theorem 5.5) describes exactly when the limit exists in a convex space.","feed_headline":"Fekete's lemma extends to uniformly convex Banach spaces","feed_subtitle":"The classic subadditivity limit survives for vectors only under uniform convexity—convexity alone is too weak.","key_machinery":"The load-bearing mechanism is Lemma 2.1, a quantitative geometric inequality: in a uniformly convex Banach space, if two non-zero vectors $u,v$ have normalized directions separated by at least $\\varepsilon$ and satisfy $\\|v\\|\\le 2\\|u\\|$, then $\\|u+v\\|\\le \\|u\\|+\\gamma\\|v\\|$ with $\\gamma=\\gamma(\\varepsilon)<1$. This converts angular separation into a multiplicative loss in norm. The proof applies this loss repeatedly through the iterated inequality (2.2), $\\|v_{rn+m}\\|\\le \\|v_m\\|+r\\gamma\\|v_n\\|$, valid for every $r$ up to the integer part of $m/n$, and combines it with the scalar Fekete lemma on the sequence $\\|v_n\\|$ to extract a contradiction if the normalized vectors fail to be Cauchy.","core_discovery":"The central discovery is that the scalar Fekete phenomenon—subadditivity forcing $a_n/n$ to converge—persists for vector sequences precisely when the geometry of the ambient space is strong enough to make normalized vectors contract under addition. Theorem 1.1 states that in a uniformly convex Banach space, the hypothesis $\\|v_{n+m}\\|\\le \\|v_n+v_m\\|$ for all $n,m$ implies the existence of $\\lim_{n\\to\\infty} v_n/n$. The proof shows the normalized sequence $v_n/\\|v_n\\|$ is Cauchy: first for comparable indices, then for arbitrary indices by an iteration that accumulates a fixed geometric loss. The paper's examples delimit the result: a convex but non-uniformly-convex space is constructed where convergence fails, a non-uniformly-convex space is constructed where it holds, and Theorem 5.5 gives a necessary and sufficient condition on the normalized vectors in convex spaces.","pith_inferences":["The contraction argument in Lemma 2.1 should carry over to any metric setting with a modulus of convexity—geodesic spaces, CAT(0) spaces, or uniformly convex metric spaces—suggesting a Fekete-type theorem beyond Banach spaces.","The superlinear counterexample in $\\mathbb{R}^2$ suggests a quantitative question the authors leave open: the minimal growth of the admissible ratio $f(n)$ in Question 3.2 is likely tied to the modulus of convexity of the space, which could be tested dimension by dimension.","Theorem 5.5 recasts the convergence of $v_n/n$ as a purely geometric property of the set of directions, so convergence could be verified or falsified computationally by checking uniform convexity of the normalized sequence in concrete convex spaces."],"forward_implications":["In every uniformly convex Banach space—including all Hilbert spaces and $L^p$ spaces with $1<p<\\infty$—any sequence satisfying $\\|v_{n+m}\\|\\le \\|v_n+v_m\\|$ for all $n,m$ has a well-defined limit $\\lim v_n/n$ in the space.","For finite-dimensional spaces, the Fekete property is equivalent to convexity (Corollary 1.2): a finite-dimensional Banach space enjoys the conclusion for all admissible sequences iff it is convex.","The nearby-pairs de Bruijn–Erdős condition $\\frac12 n\\le m\\le 2n$ suffices in $\\mathbb{R}$ but not in $\\mathbb{R}^2$ with the Euclidean norm; the paper builds a sequence satisfying the nearby-pairs inequality whose averages do not converge.","In a convex Banach space, for a sequence with $\\lim \\|v_n\\|/n>0$, the limit $\\lim v_n/n$ exists if and only if $\\{v_n/\\|v_n\\|\\}$ is a uniformly convex subset (Theorem 5.5).","If some vector $v_i=0$, then $v_{ki}=0$ for all $k$, the norm averages tend to $0$, and the limit $\\lim v_n/n$ is $0$ (Corollary 5.2)."],"supporting_citations":[{"why":"Fekete's original scalar subadditivity lemma; it supplies the limit $L=\\inf_n \\|v_n\\|/n$ that anchors the normalization in the proof of Theorem 1.1.","marker":"[3]"},{"why":"de Bruijn and Erdős's near-subadditive lemma; it supplies the scalar result extended in Proposition 3.1 and the comparison showing failure in $\\mathbb{R}^2$.","marker":"[2]"},{"why":"The MathOverflow question between the authors that posed the vector-valued Fekete problem for Hilbert spaces and contained the original proof later streamlined here.","marker":"[7]"}],"fun_headline_variants":["Fekete's lemma for vectors holds in uniformly convex spaces","Uniform convexity, not convexity, extends Fekete's lemma to vectors","Subadditive vector sequences converge under uniform convexity","Fekete's limit exists for vectors in uniformly convex Banach spaces","Vector Fekete: uniform convexity is the geometric key"],"cache_read_input_tokens":12672,"weakest_assumption_plain":"The proof requires the subadditivity inequality $\\|v_{n+m}\\|\\le \\|v_n+v_m\\|$ to hold for every pair of indices $n,m$; weakening it to nearby pairs only, as in the de Bruijn–Erdős variant, lets the conclusion fail already in $\\mathbb{R}^2$ (Section 3).","fun_headline_variants_meta":{"raw":{"variants":["Fekete's lemma for vectors holds in uniformly convex spaces","Uniform convexity, not convexity, extends Fekete's lemma to vectors","Subadditive vector sequences converge under uniform convexity","Fekete's limit exists for vectors in uniformly convex Banach spaces","Vector Fekete: uniform convexity is the geometric key"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000477,"raw_usage":{"total_tokens":2295,"prompt_tokens":804,"completion_tokens":1491,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":420,"completion_tokens_details":{"reasoning_tokens":1411}},"tokens_in":420,"tokens_out":1491,"duration_ms":13434,"temperature":1.0,"reasoning_tokens":1411,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T12:12:50.767463+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a sequence $\\{v_n\\}$ in a Hilbert space (the simplest uniformly convex space) satisfying $\\|v_{n+m}\\|\\le \\|v_n+v_m\\|$ for all $n,m$ but with $\\lim v_n/n$ non-existent; Theorem 1.1 asserts no such sequence exists, so any explicit construction would refute it. The paper's own counterexamples all rely on non-Hilbert geometry, making $\\ell^2$ the sharp test case.","supporting_citations":[{"cited_title":"Fekete, \\\"Uber die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganzzahligen Koeffizienten","cited_arxiv_id":null,"evidence_quote":"Fekete's original scalar subadditivity lemma; it supplies the limit $L=\\inf_n \\|v_n\\|/n$ that anchors the normalization in the proof of Theorem 1.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"de Bruijn and Erdős's near-subadditive lemma; it supplies the scalar result extended in Proposition 3.1 and the comparison showing failure in $\\mathbb{R}^2$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The MathOverflow question between the authors that posed the vector-valued Fekete problem for Hilbert spaces and contained the original proof later streamlined here."}],"review_version":1}