{"id":"f48b9247-e54f-4fa3-b38d-1fe1c5e684f6","arxiv_id":"1908.08107","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The polarization constant of every finite-dimensional complex Banach space equals 1.","lead":"For any finite-dimensional complex Banach space, the polarization constant is exactly 1, meaning polynomial norms and the norms of their associated symmetric multilinear forms become asymptotically equal as the degree grows. This resolves a natural question about hypercontractive inequalities for polynomials and has consequences for the radius of convergence of holomorphic functions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified; the central claim is supported by a sound quotient argument and a correct application of Sarantopoulos's formula (9).","rationale":"The paper's central theorem is correct. The only non-elementary ingredient is formula (9), but it is standard and the paper's application is accurate. The minor issues the reader flagged (Theorem 3.1 branch, Prop 2.3 wording) do not touch the central claim. Therefore no load-bearing concern lands; the CONDITIONAL verdict can remain unchanged.","tokens_in":16385,"tokens_out":14988,"duration_ms":142633,"concrete_test":"Independently verify formula (9) for d=2,3 and small k (e.g., k=2,3,4) by computing the maximum of ||∨P||/||P|| over monomials and random polynomials on ℓ^d_1(C), or by directly consulting Sarantopoulos [26]; if the maximum for any (d,k) disagrees with the balanced formula (10), the proof of Theorem 1.1 needs revision.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most exposed point is the use of Sarantopoulos's formula (9) as a black box: if it were misquoted or inapplicable to complex ℓ^d_1, Theorem 1.1 would collapse, since Proposition 2.1 reduces the whole theorem to it. I checked the internal algebra: the balancing argument in Proposition 2.1 is correct, the evaluation of the limit in (10) is correct, and the alternative Stirling proof gives the same asymptotic. Lemma 2.2 is sound: an η-net with η<1 necessarily spans X, the greedy expansion x=Σδ_j h_{n_j} converges absolutely, and the lifting constant is (1-η)^{-1}<1+ε. Inequality (11) then follows: |∨P(x_1,...,x_k)| ≤ c(k,ℓ^d_1(C))||P||∏||z_j||. The sentence in the proof of Theorem 1.1 saying the multilinear form has norm ≤1 is imprecise, but the displayed inequality (12) supplies the correct bound. Formula (9) is a published result (Sarantopoulos [26, Prop. 4]) and its d=2,k=2 specialization gives the known value 2, so I do not see a genuine flaw.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves that the polarization constant c(X) = limsup_{k→∞} c(k,X)^{1/k} of every finite-dimensional complex Banach space X is equal to 1 (Theorem 1.1). The proof first establishes c(ℓ_1^d(C)) = 1 using Sarantopoulos's closed formula (9) for c(k, ℓ_1^d(C)) and an exact balancing argument. It then shows, via an almost-isometric quotient lemma (Lemma 2.2), that every finite-dimensional complex space is an almost-isometric quotient of ℓ_1^d(C), so the polarization constants of X are bounded above by those of ℓ_1^d(C) up to a factor (1+ε)^k. Letting ε→0 yields c(X) ≤ 1, while c(X) ≥ 1 is trivial. The remainder of the paper develops consequences: equality of the two notions of radius of convergence for holomorphic functions (Corollary 2.4), the failure of the theorem over the reals together with c(X)=b(X)≤2 for real finite-dimensional spaces (Proposition 2.7), type/cotype restrictions for spaces with the symmetric operator norm property (Theorem 3.1), and identities relating polarization constants to nuclear norms of products of polynomials (Theorem 4.1 and subsequent corollaries).","tokens_in":16584,"tokens_out":11920,"duration_ms":104679,"significance":"If correct, Theorem 1.1 is a striking and natural result: every finite-dimensional complex Banach space has the same asymptotic polarization constant as Hilbert space, saturating the trivial lower bound 1. The proof is elegant and, apart from the black-box use of Sarantopoulos's formula, essentially self-contained; the quotient-lifting argument is a nice technique. The paper also contains several auxiliary results of independent interest: the identification of the polarization constant with the Bochnak constant in the real setting, the type/cotype necessary conditions, and the sharp identities for nuclear norms of products of polynomials. The exposition is clear overall, and the main theorem is supported by a sound chain of reasoning with no adjustable parameters.","major_comments":[],"minor_comments":[{"comment":"The sentence immediately before inequality (12) says that the multilinear form ∨P∘(q,...,q) has norm less than or equal to one; this is not true in general (its norm can be as large as c(k, ℓ_1^d(C))‖P‖). The displayed inequality (12) uses the correct bound via ‖P∘q‖ ≤ ‖P‖, so the argument is valid, but the offending sentence should be corrected or removed.","section":"§2, proof of Theorem 1.1"},{"comment":"In the construction of the counterexample, the series f = ∑_{j} P_{k_j} has radius of convergence 1 and is not defined on all of X; the text says “f ∈ H(X)”, which should be “f ∈ H(B_X)” or “f defined in a neighborhood of 0”. The contradiction argument still works with this clarification.","section":"§2.1, proof of Proposition 2.3"},{"comment":"The chain of inequalities leading to R(f)/(c(X)+ε) ≤ R_mult(f) ≤ R(f) is correct, but the presentation would be clearer if the definition of radius of convergence via limsup were invoked explicitly, since the notation R and R_mult is used without restating formulas (14)–(15).","section":"§2.1, equation (18) and surrounding text"},{"comment":"In the lower-bound computation for ‖∨P‖, the sum of the three moduli equals 6 because λ+λ^2 = −1 and |λ−λ^2| = √3; spelling this out would improve readability and avoid leaving the reader to verify the value 6.","section":"§3, proof of Lemma 3.4"},{"comment":"There are numerous typographical and OCR-style errors, including “Bellow” for “Below”, “concuide” for “conclude”, “T ake” for “Take”, “consid er” for “consider”, and inconsistent spacing in displayed formulas. A careful proofreading pass is recommended.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The paper is mathematically sound and the central theorem is well supported. The only substantive external input is Sarantopoulos's formula (9); this is a published result and the specialization checks out, so I do not see a grounds for rejection. The minor issues listed are local and editorial. The paper is a good fit for a functional analysis journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The headline is simple: the main theorem is true and it deserves a cite. c(X)=1 for every finite-dimensional complex Banach space, and the proof is a clean reduction. Proposition 2.1 computes the ℓ1^d(C) case from Sarantopoulos's formula, Lemma 2.2 provides the almost-isometric quotient lifting, and Theorem 1.1 follows by transfer. I checked the balancing argument and the limit in Proposition 2.1; it works, and the referee's Stirling alternative is a nice compact verification. The formula (9) is the main black box—if it were wrong the theorem would collapse—but the citation is correct and the d=2,k=2 specialization gives the known value 2, so I do not see a genuine flaw there.\n\nThe paper does more than the title. The real-case results are useful: c(ℓ1^2(R)) is pinned between the fourth root of 2 and sqrt(2), and every finite-dimensional real space has c(X)=b(X)≤2 via Bochnak's complexification. The type/cotype theorem in Section 3 is a solid necessary condition for the symmetric operator norm property, and the interpolation construction for p>2 is a real contribution. Section 4 links polarization constants to nuclear norms of products of polynomials; Theorem 4.1 is clean and the Lp consequences follow naturally. The paper is well-written and the literature is handled fairly; there is no load-bearing self-citation.\n\nThe soft spots are minor. In the proof of Theorem 1.1, the sentence saying the multilinear form has norm at most one is imprecise—the norm is at most ‖P‖, as the displayed inequality (12) correctly states. Theorem 3.1's proof is terse: the p<2 and p>2 branches rely on different lemmas, and the text does not explicitly separate the cases, but the argument still goes through. Proposition 2.3 talks about a minimum when the limsup definition only guarantees an infimum; using δ>c(X) keeps the proof valid. None of these affect the central result.\n\nWho should read it: anyone working on polynomial norms, hypercontractive inequalities, or holomorphic functions on finite-dimensional spaces. It is a short paper with one big result and good side results. I would send it to a serious referee; my own verdict is accept.","headline":"The main theorem is correct and settles the natural open problem: every finite-dimensional complex Banach space has polarization constant 1, with a clean proof and worthwhile extras on the real case and nuclear norms.","tokens_in":17176,"tokens_out":2594,"would_cite":true,"duration_ms":24216,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["46G25","47A07","15A69","46T25"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every finite-dimensional complex Banach space, the polarization constant equals 1.","keywords":["polarization constant","homogeneous polynomials","symmetric multilinear forms","finite-dimensional complex Banach space","holomorphic functions","complexification of real spaces","type and cotype","nuclear norm"],"falsifier":"Compute $\\mathbf{c}(k,\\ell^2_1(\\mathbb{C}))$ for large $k$ by evaluating the displayed maximum over $k_1+k_2=k$; if $(\\mathbf{c}(k,\\ell^2_1(\\mathbb{C})))^{1/k}$ does not tend to $1$, Proposition 2.1 and hence Theorem 1.1 fail. More directly, any finite-dimensional complex space with a sequence of norm-one polynomials $P_k$ satisfying $\\|P_k^{\\vee}\\|^{1/k}>1+\\delta$ for some $\\delta>0$ would refute the theorem.","tokens_in":16148,"feed_emoji":"📐","tokens_out":10686,"duration_ms":87558,"temperature":0.7,"pith_summary":"The paper proves that in any finite-dimensional complex Banach space, the polarization constant $\\mathbf{c}(X)$ is exactly $1$. This means that for high-degree homogeneous polynomials, the norm of the associated symmetric multilinear form is asymptotically the same as the polynomial's uniform norm. The value $1$ is the smallest possible, so the result is sharp and it matches what was already known for inner-product spaces. The paper also shows the real analogue fails, with some real spaces having polarization constant strictly above $1$, and it connects the real case to a complexification procedure.","feed_headline":"Every finite-dimensional complex space has polarization constant 1","feed_subtitle":"For high-degree polynomials, the symmetric form has the same norm asymptotically, which fixes convergence radii.","key_machinery":"The load-bearing object is the exact formula for the polarization constants of finite-dimensional complex $\\ell_1$ spaces, which reduces the constant to a maximum over multi-indices $k_1+\\cdots+k_d=k$ of $$\\frac{k_1!\\cdots k_d!}{k!}\\,\\frac{k^k}{$k_1^{{k_1}}$\\cdots $k_d^{{k_d}}$}.$$ That maximum is attained at the balanced multi-index, and its $k$-th root growth is $1/e$ multiplied by $(k^k/k!)^{1/k}$, which tends to $e$, so the product tends to $1$. Around this, an approximate-quotient lemma shows every finite-dimensional complex space can be replaced by $\\ell^d_1(\\mathbb{C})$ at multiplicative cost $(1+\\varepsilon)$ per factor, and the balanced-maximum computation closes the limit.","core_discovery":"The central claim is Theorem 1.1: for any finite-dimensional complex Banach space $X$, $\\mathbf{c}(X)=1$, where $\\mathbf{c}(X)=\\limsup_{k\\to\\infty}\\mathbf{c}(k,X)^{1/k}$. The proof first settles the extremal case $X=\\ell^d_1(\\mathbb{C})$ using the exact formula displayed as equation (9) for $\\mathbf{c}(k,\\ell^d_1(\\mathbb{C}))$; a Stirling and arithmetic-geometric mean estimate shows the $k$-th root tends to $1$. It then shows every finite-dimensional complex $X$ is an almost-isometric quotient of $\\ell^d_1(\\mathbb{C})$: a norm-one surjection $q$ with every unit vector $x$ admitting a preimage of norm $<1+\\varepsilon$. Pulling a polarization bound back through $q$ costs a factor $(1+\\varepsilon)^k$, whose $k$-th root tends to $1$, completing the proof.","pith_inferences":["One testable extension is to replace $\\ell^d_1(\\mathbb{C})$ by $\\ell^d_p(\\mathbb{C})$ for $1<p<\\infty$; with an exact or asymptotic formula there, the same quotient technique could give explicit convergence rates for $\\mathbf{c}(k,X)^{1/k}$, which the paper does not quantify.","The theorem makes the asymptotic polarization constant a trivial invariant for finite-dimensional complex spaces, so finer distinctions must come from finite-degree constants $\\mathbf{c}(k,X)$ or from the real case; classifying spaces with the symmetric operator norm property remains an open geometric question.","Because equality of the two radii is equivalent to $\\mathbf{c}(X)=1$, the paper implies that on finite-dimensional complex domains, Taylor-series convergence is governed by the symmetric multilinear forms alone, which may simplify how convergence radii are computed in several complex variables."],"forward_implications":["For holomorphic functions on a finite-dimensional complex space, the radius of convergence equals the radius computed from the symmetric multilinear Taylor coefficients: $R_a(f)=R_a^{\\mathrm{mult}}(f)$ (Corollary 2.4).","A monomial power series converges absolutely and uniformly on the full polydisc of radius $R$, rather than only on $(1/e)R$ of that polydisc, when the space is finite-dimensional and complex (Proposition 2.5).","In every finite-dimensional real space, the polarization constant is at most $2$ and equals the complexification constant, so the finite-dimensional complex theorem marks a sharp real/complex divide.","For an infinite-dimensional complex space, having $\\mathbf{c}(2,X)=1$ forces type $2$ and cotype $2$, placing $X$ in the same isomorphic class as inner-product spaces (Theorem 3.1).","The best constant for multiplying nuclear polynomials satisfies $m(k_1,\\ldots,k_n,X)=\\mathbf{c}(k_1,\\ldots,k_n,X^*)$, transferring all polarization results to nuclear-norm product estimates (Theorem 4.1)."],"supporting_citations":[{"why":"defines the polarization constants and records the general polarization inequality giving $\\mathbf{c}(X)\\le e$.","marker":"[12]"},{"why":"establishes equality of polynomial and symmetric-form norms on inner-product spaces, supplying the target value $1$.","marker":"[4]"},{"why":"provides the exact formula for $\\mathbf{c}(k,\\ell^d_1(\\mathbb{C}))$ used as the starting point of Proposition 2.1.","marker":"[26]"},{"why":"gives the complexification bound $b(k,X)\\le 2^{k-1}$ used to show every finite-dimensional real space has $\\mathbf{c}(X)\\le 2$.","marker":"[19]"},{"why":"supplies the strict inequality $\\mathbf{c}(2,\\ell^2_p(\\mathbb{C}))>1$ for $p<2$, needed in the type/cotype theorem.","marker":"[25]"},{"why":"provides the interpolation theorem for homogeneous polynomials used to get $\\mathbf{c}(2,\\ell^3_p(\\mathbb{C}))>1$ for $p>2$.","marker":"[8]"},{"why":"gives the norm of the explicit $2$-homogeneous polynomial on $\\ell^3_\\infty$ used in Lemma 3.4.","marker":"[29]"},{"why":"states that type $2$ and cotype $2$ characterize spaces isomorphic to inner-product spaces, framing the conclusion of Theorem 3.1.","marker":"[16]"},{"why":"provides the localization result in $L_p$ used to prove continuity of the constants in $p$.","marker":"[23]"}],"fun_headline_variants":["Complex spaces: polarization constant is always 1","Finite-dim complex: polarization constant = 1","Polarization constant hits 1 for finite-dim complex","All finite-dim complex spaces share polarization constant 1","No polarization deviation in finite-dim complex spaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof leans on an exact formula for the polarization constants of finite-dimensional complex $\\ell_1$ spaces, taken as given; if that formula were false, the proof that these constants have $k$-th root tending to $1$ would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Complex spaces: polarization constant is always 1","Finite-dim complex: polarization constant = 1","Polarization constant hits 1 for finite-dim complex","All finite-dim complex spaces share polarization constant 1","No polarization deviation in finite-dim complex spaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0002,"raw_usage":{"total_tokens":1375,"prompt_tokens":944,"completion_tokens":431,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":560,"completion_tokens_details":{"reasoning_tokens":357}},"tokens_in":560,"tokens_out":431,"duration_ms":4103,"temperature":1.0,"reasoning_tokens":357,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T11:51:09.198215+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $\\mathbf{c}(k,\\ell^2_1(\\mathbb{C}))$ for large $k$ by evaluating the displayed maximum over $k_1+k_2=k$; if $(\\mathbf{c}(k,\\ell^2_1(\\mathbb{C})))^{1/k}$ does not tend to $1$, Proposition 2.1 and hence Theorem 1.1 fail. More directly, any finite-dimensional complex space with a sequence of norm-one polynomials $P_k$ satisfying $\\|P_k^{\\vee}\\|^{1/k}>1+\\delta$ for some $\\delta>0$ would refute the theorem.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"defines the polarization constants and records the general polarization inequality giving $\\mathbf{c}(X)\\le e$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"establishes equality of polynomial and symmetric-form norms on inner-product spaces, supplying the target value $1$."},{"cited_title":"Sarantopoulos","cited_arxiv_id":null,"evidence_quote":"provides the exact formula for $\\mathbf{c}(k,\\ell^d_1(\\mathbb{C}))$ used as the starting point of Proposition 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the complexification bound $b(k,X)\\le 2^{k-1}$ used to show every finite-dimensional real space has $\\mathbf{c}(X)\\le 2$."},{"cited_title":"Sarantopoulos","cited_arxiv_id":null,"evidence_quote":"supplies the strict inequality $\\mathbf{c}(2,\\ell^2_p(\\mathbb{C}))>1$ for $p<2$, needed in the type/cotype theorem."},{"cited_title":"Bergh and J","cited_arxiv_id":null,"evidence_quote":"provides the interpolation theorem for homogeneous polynomials used to get $\\mathbf{c}(2,\\ell^3_p(\\mathbb{C}))>1$ for $p>2$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the norm of the explicit $2$-homogeneous polynomial on $\\ell^3_\\infty$ used in Lemma 3.4."},{"cited_title":"Kwapie ´ n","cited_arxiv_id":null,"evidence_quote":"states that type $2$ and cotype $2$ characterize spaces isomorphic to inner-product spaces, framing the conclusion of Theorem 3.1."},{"cited_title":"Pelczynski and H","cited_arxiv_id":null,"evidence_quote":"provides the localization result in $L_p$ used to prove continuity of the constants in $p$."}],"review_version":1}