{"id":"c23c2a06-ace4-4670-a93f-14f17e72dbc9","arxiv_id":"1908.07621","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For an n-gon, all harmonic moments are rational functions of the first 2n-2 of them; adding anti-harmonic moments, the whole moment field is generated by the symmetric functions plus one area-like moment.","lead":"This paper describes the algebraic relations that must hold among the harmonic and anti-harmonic moments of polygons with a fixed number of vertices. It shows that almost all moment information is determined by a few independent moments, with explicit counts and a Galois group description.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.7 and Theorem 1.9(ii) rely on the unproven generic invertibility of the Toeplitz matrix U in (2.6); if det U were identically zero, the field-generation proof would collapse.","rationale":"The reader's weakest_assumption correctly identifies the most load-bearing gap: the unproven generic invertibility of U in (2.5)-(2.6). All field-generation statements—Theorem 1.7(i)-(ii), Theorem 1.8(ii), and Theorem 1.9(i)-(ii)—depend on solving this linear system for the elementary symmetric functions. Since D_n is also used as the universal denominator in the ring localization Theorem 1.8(ii), a vanishing D_n would be a genuine obstruction, not a minor omission. The concern is a proof gap rather than a disproof: explicit evaluations show D_4 is nonzero at a generic point, and analogous checks for larger n are straightforward, so the underlying assertion is very likely true. A short argument using the rational generating function representation would close the gap. I also noticed a smaller expositional issue in the proof of algebraic independence of D_{1,k,k+1} over C(e_1,...,e_n): the text says to vary z_3 and zbar_3, but varying z_3 changes the elementary symmetric functions; the argument is repaired by varying only zbar_3 while keeping all z_j fixed. This does not affect the central claim. No fatal flaw was found, so the CONDITIONAL verdict remains appropriate.","tokens_in":20658,"tokens_out":45580,"duration_ms":380439,"concrete_test":"For n=4,5,6, evaluate D_n=det U from (2.6) at a point with z_j=j and zbar_j=t^j for a random complex t, using the explicit formula (1.1) for ν_k; if any determinant vanishes identically or is zero at random points, the field-generation proof fails. To turn this into a proof, express the moment sequence as the coefficients of AD_z(w)/∏(1-z_j w) and show that D_n equals a nonzero multiple of the resultant of AD_z and ∏(1-z_j w), or exhibit a single substitution with nonzero determinant for every n.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.7 solves the linear system U·E=V from (2.5) for the elementary symmetric functions e_j(z), and Theorem 1.9(i)-(ii) invokes the same mechanism. Nowhere is it shown that D_n=det U is a nonzero polynomial. If D_n were identically zero, the conclusion C(e_1,...,e_n) ⊂ C(ν_2,...,ν_{2n-1}) would not follow from the displayed linear system, and with it the equalities F_n = C(ν_2,...,ν_{2n-1}) and ~F_n = H(ν_2) would lose their stated support. The issue is not cosmetic: Theorem 1.8(ii) uses D_n as the fixed denominator for the ring localization, so a vanishing D_n would contradict that statement as well. For n=3, D_3=ν_2^3 is nonzero, but the paper gives no argument for n≥4. The gap is likely fixable—for instance, evaluating at z=(1,2,3,4), zbar=(1,0,0,0) through (1.1) gives a nonzero 4×4 determinant—but the proof as written omits the required nonvanishing argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the algebraic relations among normalized harmonic and anti-harmonic moments ν_k(z,\\bar z) of polygonal measures associated to n-vertex (not necessarily convex) polygons. The main results are: (Theorem 1.7) the field F_n generated by all harmonic moments is C(ν_2,\\ldots,\\nu_{2n-1}), it contains the field C(z)^{S_n}, and ν_2,\\ldots,\\nu_{2n-1} are algebraically independent; (Theorem 1.8) the ring R_n generated by harmonic moments is not finitely generated, while its localization at a certain determinant D_n is C[ν_2,\\ldots,\\nu_{2n-1}][1/D_n]; (Theorem 1.9) the joint field \\tilde F_n is generated by the first 4n-5 moments, contains H=C(z,\\bar z)^{S_n\\times S_n}, and is an algebraic extension of H generated by ν_2 of the stated degree, n!(n-1)! for odd n and 2((n-1)!)^2 for even n. The paper also describes the stabilizer of ν_2 under the natural S_n\\times S_n action, computes the Galois group of the Galois closure, and works out the triangle case n=3 explicitly. The proofs use an explicit Stokes-theorem formula for moments, a generating function for the moment sequence, a Toeplitz linear system derived from the denominator of the generating function, and a birationality argument for the geometric approach.","tokens_in":20894,"tokens_out":10570,"duration_ms":103321,"significance":"If the stated results hold, they give a precise and satisfying answer to a natural question: the harmonic moments of an n-gon satisfy exactly 2n-2 algebraically independent relations with all higher moments rational functions of the first 2n-2, and the full harmonic/anti-harmonic system is controlled by the single lowest moment ν_2 up to the symmetric-field extension H. The paper's strengths include explicit polynomial formulas for moments, a clean recurrence argument, a representation-theoretic computation of the stabilizer and Galois group, and a fully worked n=3 example with an explicit resultant relation. The dependence on standard tools (Stanley's recurrence, Wedderburn's theorem, Mumford's birationality criterion) is appropriate. The main load-bearing gap is the unproved generic invertibility of the Toeplitz matrix U in equation (2.5)-(2.6); this is a local, likely fixable issue rather than a fundamental flaw.","major_comments":[{"comment":"The proof solves the linear system U·E=V after the phrase 'Assuming that U is invertible', but the paper never proves that the determinant D_n = det U is a nonzero polynomial in z and \\bar z. This assumption is load-bearing: it is used to conclude that e_j(z) ∈ C(ν_2,\\ldots,\\nu_{2n-1}), hence C(z)^{S_n} ⊂ F_n, and then F_n = C(ν_2,\\ldots,\\nu_{2n-1}); Theorem 1.8(ii) additionally localizes at D_n. If D_n were identically zero, the displayed linear system would not imply these conclusions. For n=3 one has D_3 = ν_2^3, so the missing case is n ≥ 4; the authors should supply an explicit nonvanishing argument, for example an evaluation at a suitable choice of (z,\\bar z), which a referee check indicates exists for n=4.","section":"§2, proof of Theorem 1.7, Eqs. (2.5)–(2.6)"},{"comment":"The proof begins by saying that assertions (i) and (ii) are proved similarly to the corresponding statements in Theorem 1.7. This inheritance carries the same unproved invertibility of the Toeplitz matrix: the anti-harmonic moments require solving the analogue of (2.5) with \\bar z in place of z, and the joint field generation for \\tilde F_n depends on that nonvanishing. The proof should explicitly state the anti-harmonic Toeplitz system and its determinant, note that it is D_n(\\bar z,z), and reduce its nonvanishing to the same evaluation used for D_n.","section":"§3, proof of Theorem 1.9(i)–(ii)"},{"comment":"The argument that the factor Q(t) has coefficients in H and hence forces the set U to be invariant under S_n\\times S_n is correct, but the phrase 'By Proposition 3.2, this implies that U intersects any right coset' is terse. The point is that the left action on right cosets is transitive for any subgroup, so a nonempty invariant subset is the whole set; spelling this out would improve clarity. This is not a technical gap, but it is a place where a reader can easily get stuck.","section":"§3, proof of Theorem 1.9(iii), irreducibility of P(t)"}],"minor_comments":[{"comment":"The abstract contains the typo 'bu t' instead of 'but'.","section":"Abstract"},{"comment":"In equation (2.7), the summation index is printed as 'm−0' and should be 'm=0'; the product sign is also typeset ambiguously.","section":"§2, Eq. (2.7)"},{"comment":"The argument that no ν_j is a polynomial in lower moments is terse; expanding it by observing that a polynomial in ν_2,\\ldots,\\nu_N has total degree in \\bar z equal to the degree of the polynomial and z-degree at most N−1 would remove any ambiguity.","section":"§2, proof of Theorem 1.8(i)"},{"comment":"The statement that a finite-dimensional vector space over C cannot be a finite union of nontrivial quadrics is used without proof; a one-sentence justification, for instance by restriction to a generic line, would be helpful.","section":"§3, proof of Lemma 3.4"},{"comment":"The description of the Galois group as all permutations preserving the relations in Corollary 4.5 is close to the definition of a Galois group; the authors should clarify what additional information this corollary is meant to provide, for example an algorithmic or structural characterization.","section":"§4, Corollary 4.6"},{"comment":"Reference [3] is a MathOverflow discussion; since the identity 16M² = −det Ω(S) is verified directly in the proof, the reliance on [3] could be stated as a remark rather than a formal citation.","section":"§5, references"}],"recommendation":"major_revision","confidential_remarks":"This is a solid and interesting paper with a clear main theorem. The main issue is the unproved nonvanishing of D_n in the Toeplitz system; this is load-bearing for Theorems 1.7, 1.8, and 1.9(i)-(ii), but it appears to be readily fixable by an explicit evaluation. I recommend major revision rather than rejection. The authors should also make the 'similarly' in the proof of Theorem 1.9 more explicit to avoid the appearance of an inherited gap."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a good paper that substantially clarifies the algebraic dependencies among harmonic and anti-harmonic moments of polygons. The explicit field-generation theorem for the harmonic moments (2n-2 independent generators), the ring-localization statement, and the one-generator picture over the symmetric-function field are genuinely new, and the degree formulas n!(n-1)! and 2((n-1)!)^2 are clean. The Galois group computation in Section 4 is a real addition. The authors are honest: Remark 2.5 discloses that equation (2.5) coincides with [7], and overlap with the shape-from-moments recurrence is flagged clearly.\n\nThe main proofs are standard and mostly complete: Stokes' theorem gives the moment formulas, the Toeplitz recurrence generates the field, and the birationality argument for Theorem 1.9(iii) is sound. The one real soft spot is the unproven generic invertibility of the Toeplitz matrix U in (2.5)-(2.6). To solve for the elementary symmetric polynomials e_j as rational functions of ν_2,...,ν_{2n-1}, the authors write \"Assuming that U is invertible\" and never show that det U = D_n is not identically zero. This assumption is load-bearing: it underlies Theorem 1.7(ii), the equality F_n = C(ν_2,...,ν_{2n-1}), and the localization Theorem 1.8(ii). The same issue appears in the proof of Theorem 1.9(i)-(ii). For n=3, D_3 = ν_2^3, so it is true; for n≥4 the paper has no argument. The stress-test note says an explicit evaluation makes the determinant nonzero, so I expect the gap is fixable, but it belongs in the proof.\n\nA couple of smaller remarks: the genericity arguments (e.g., that a vector space over C is not a finite union of quadrics) are fine, and the ring non-finite-generation argument is correct. The citation pattern looks fair.\n\nVerdict: this deserves peer review. Send it to a good complex analysis or algebraic geometry journal, and ask the authors to patch the nonvanishing argument for D_n. Once that is supplied, the main results stand.","headline":"Solid structural result on moment relations for polygons; the main proofs are mostly complete but one unproven determinant nonvanishing assumption needs a patch.","tokens_in":21440,"tokens_out":3264,"would_cite":true,"duration_ms":493999,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["44A60","31B20"],"pacs":[],"model":"deepseek-v4-flash","headline":"All harmonic and anti-harmonic moments of an n-vertex polygon are rational functions of the separately symmetric vertex data plus the single quadratic moment \\(\\nu_2\\).","keywords":["harmonic moments","anti-harmonic moments","polygonal measures","algebraic relations","logarithmic potential","Galois group","symmetric functions","Segre variety"],"falsifier":"Compute the symbolic determinant \\(D_n\\) of the Toeplitz matrix (2.6) from the explicit moment formulas (1.1), starting with \\(n=4\\). If \\(D_n\\) is identically zero as a polynomial in \\(z_1,\\dots,z_n,\\bar z_1,\\dots,\\bar z_n\\), then the recurrence (2.4)-(2.10) cannot express the elementary symmetric functions \\(e_j\\) in terms of \\(\\nu_2,\\dots,\\nu_{2n-1}\\), and Theorem 1.7(i) would need a different argument.","tokens_in":20408,"feed_emoji":"📐","tokens_out":10925,"duration_ms":96217,"temperature":0.7,"pith_summary":"The paper asks which algebraic relations hold among the infinitely many harmonic moments \\(m_j=\\int z^j\\,d\\mu\\) and anti-harmonic moments \\(\\bar m_j=\\int \\bar z^j\\,d\\mu\\) of a planar polygon with \\(n\\) vertices. It answers by complexifying the vertices, treating \\(z\\) and \\(\\bar z\\) as independent variables, and proving that the field generated by all these moments is an algebraic extension of the field of rational functions symmetric in the \\(z\\)'s and symmetric in the \\(\\bar z\\)'s separately, generated by a single element \\(\\nu_2\\), the normalized quadratic moment that for real polygons is the signed area. The degree of this extension is \\(n!(n-1)!\\) for odd \\(n\\) and \\(2((n-1)!)^2\\) for even \\(n\\). For harmonic moments alone, the paper proves that the field is generated rationally by the first \\(2n-2\\) moments, so a finite list of \\(2n-2\\) numbers carries all information. A reader should care because this reduces an infinite, a priori highly redundant system of moment relations to one algebraic equation with an explicit Galois symmetry.","feed_headline":"One moment governs every polygon moment relation","feed_subtitle":"An n-gon's infinite moments reduce to ν2 plus symmetric vertex data — exact degrees for all n.","key_machinery":"The load-bearing object is \\(\\nu_2(z,\\bar z)\\), the normalized quadratic moment, a bilinear form giving the signed area of the polygonal fan; it is the unique moment that generates everything in the geometric approach. Its orbit under the action of \\(S_n\\times S_n\\) has a stabilizer \\(G\\) described in Proposition 3.2, and the polynomial \\(P(t)=\\prod_{(\\$\\sigma$,\\tau)\\in(S_n\\times S_n)/G}(t-\\$nu_2^{{(\\sigma,\\tau)}}$)\\) is shown to be the minimal polynomial of \\(\\nu_2\\) over \\(H\\), with the exact degree above. The technical engine on the harmonic side is the normalized generating function \\(\\Psi_\\mu(w)=\\sum_{j\\ge 2}\\nu_j $w^{{j-2}}$=A_D(z,w)/\\prod_{j=1}^n(1-z_j w)\\), whose denominator produces a constant-coefficient recurrence relating consecutive moments to the elementary symmetric functions \\(e_1(z),\\dots,e_n(z)\\); writing the first \\(n\\) recurrences gives the Toeplitz system \\(U\\cdot E=V\\) (equation (2.5)), which solves for the \\(e_j\\) in terms of \\(\\nu_2,\\dots,\\nu_{2n-1}\\) with common denominator \\(D_n=\\det U\\). The algebra generated by all orbit copies of \\(\\nu_2\\) is isomorphic to the Segre coordinate ring \\(\\mathbb{C}[d_{ij}]/\\langle I_2\\rangle\\), the ring of a product of two projective spaces cut out by all \\(2\\times 2\\) minors, and from that presentation the Galois group of the Galois closure is described.","core_discovery":"On the paper's own terms, the central claim is Theorem 1.9: with independent complex variables \\(z_1,\\dots,z_n,\\bar z_1,\\dots,\\bar z_n\\), the field \\(\\tilde F_n=\\mathbb{C}(\\nu_j,\\bar\\nu_j)_{j\\ge 2}\\) equals \\(H(\\nu_2)\\), where \\(H=\\mathbb{C}(z,\\bar z)^{S_n\\times S_n}\\) is the field of rational functions symmetric in the \\(z\\)'s and symmetric in the \\(\\bar z\\)'s. Thus, once the elementary symmetric functions of the vertex coordinates and of their conjugates are known, the single bilinear form \\(\\nu_2\\) determines every higher harmonic and anti-harmonic moment as a rational function. The minimal polynomial of \\(\\nu_2\\) over \\(H\\) is \\(P(t)=\\prod_{(\\$\\sigma$,\\tau)\\in(S_n\\times S_n)/G}(t-\\$nu_2^{{(\\sigma,\\tau)}}$)\\), whose degree is \\(n!(n-1)!\\) for odd \\(n\\) and \\(2((n-1)!)^2\\) for even \\(n\\); Lemma 3.4 shows its roots are pairwise distinct for generic vertex data. For the harmonic moments alone, Theorem 1.7 states \\(F_n=\\mathbb{C}(\\nu_2,\\dots,\\nu_{2n-1})\\), a purely transcendental extension of \\(\\mathbb{C}\\) of transcendence degree \\(2n-2\\), so all higher \\(\\nu_j\\) are rational in the first \\(2n-2\\) with denominators that are powers of one determinant \\(D_n\\).","pith_inferences":["A practical reconstruction algorithm could proceed in two steps: recover the separately symmetric data and \\(\\nu_2\\) from low-order moments, then evaluate the explicit rational formulas for higher moments; this is an algorithmic route the paper does not develop.","The description of the orbit algebra as a Segre ring suggests that moment measurements of polygons live near a determinantal variety, so rank-constrained fitting could be used to denoise or complete partial moment data.","The genericity assumption behind Lemma 3.4 fails on special loci, for example for highly symmetric or degenerate polygons, where the degree of the extension drops; a stratified classification of these loci would be a natural testable extension.","The unproved nonvanishing of \\(D_n\\) is likely true for all \\(n\\); if it failed for some \\(n\\), the equality \\(F_n=\\mathbb{C}(\\nu_2,\\dots,\\nu_{2n-1})\\) would still hold on the open set where \\(D_n\\ne 0\\), but the global statement would need a different proof."],"forward_implications":["For a real \\(n\\)-gon, the entire logarithmic potential at infinity is determined by the \\(n\\) elementary symmetric functions of the vertices \\(z_j\\), the \\(n\\) elementary symmetric functions of their conjugates \\(\\bar z_j\\), and the single number \\(\\nu_2\\); the higher moments carry no further information.","The exact integer \\(d_n\\) counts the number of distinct conjugate values of \\(\\nu_2\\) under all relabelings of the vertices and anti-vertices, so it quantifies how many different area-type assignments are compatible with one set of symmetric vertex data.","Harmonic-moment inversion for polygons requires fitting only \\(2n-2\\) numbers, namely \\(\\nu_2,\\dots,\\nu_{2n-1}\\); all later harmonic moments are rational functions of these.","All denominators in expressing higher harmonic moments are powers of one fixed determinant \\(D_n\\), and the full ring of harmonic moments is not finitely generated, so the finite description is a field-level phenomenon, not a polynomial-ring phenomenon.","For triangles, the whole system collapses to one explicit resultant equation \\(L=\\mathrm{Res}_S(R,Q)=0\\), which gives a complete algebraic test for whether seven moment values come from a triangle."],"supporting_citations":[{"why":"Supplies the normalized generating function formula \\(\\Psi_\\mu(w)=D_{123}/\\prod(1-z_j w)\\), the starting point for the moment recurrence.","marker":"[17]"},{"why":"Provides the linear-algebra template for the Toeplitz system (2.5) used to recover elementary symmetric functions from moments.","marker":"[7]"},{"why":"Supplies the standard recurrence for coefficients of rational generating functions used to derive equation (2.4).","marker":"[18]"},{"why":"Gives the algebraic-geometric fact that a generically one-to-one morphism has a rational inverse, used in the proof of Theorem 1.9(iii).","marker":"[14]"},{"why":"Provides the adjoint polynomial \\(A_z(u,v)\\) and its degree properties, which identify the numerator in the generating function.","marker":"[19]"},{"why":"Supplies the resultant-style matrix argument \\(\\omega\\omega^*=\\Omega(S)\\), \\(16M^2=-\\det \\Omega(S)\\), used for the explicit triangle relation.","marker":"[3]"}],"fun_headline_variants":["One moment, ν2, fixes all polygon moment relations","All n-gon moments reduce to ν2 plus symmetric data","Moment algebra collapses to a single bilinear form","ν2 determines every harmonic moment rationally","Polygon moment relations stem from ν2 alone"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof that the harmonic moments generate the field assumes that the Toeplitz matrix \\(U\\) in equation (2.6) is invertible as a matrix of rational functions; the paper never proves that its determinant \\(D_n\\) is not identically zero for \\(n\\ge 4\\).","fun_headline_variants_meta":{"raw":{"variants":["One moment, ν2, fixes all polygon moment relations","All n-gon moments reduce to ν2 plus symmetric data","Moment algebra collapses to a single bilinear form","ν2 determines every harmonic moment rationally","Polygon moment relations stem from ν2 alone"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000347,"raw_usage":{"total_tokens":1862,"prompt_tokens":866,"completion_tokens":996,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":482,"completion_tokens_details":{"reasoning_tokens":921}},"tokens_in":482,"tokens_out":996,"duration_ms":9101,"temperature":1.0,"reasoning_tokens":921,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:02:07.138944+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the symbolic determinant \\(D_n\\) of the Toeplitz matrix (2.6) from the explicit moment formulas (1.1), starting with \\(n=4\\). If \\(D_n\\) is identically zero as a polynomial in \\(z_1,\\dots,z_n,\\bar z_1,\\dots,\\bar z_n\\), then the recurrence (2.4)-(2.10) cannot express the elementary symmetric functions \\(e_j\\) in terms of \\(\\nu_2,\\dots,\\nu_{2n-1}\\), and Theorem 1.7(i) would need a different argument.","supporting_citations":[{"cited_title":"Pasechnik, and B","cited_arxiv_id":null,"evidence_quote":"Supplies the normalized generating function formula \\(\\Psi_\\mu(w)=D_{123}/\\prod(1-z_j w)\\), the starting point for the moment recurrence."},{"cited_title":"Golib, P","cited_arxiv_id":null,"evidence_quote":"Provides the linear-algebra template for the Toeplitz system (2.5) used to recover elementary symmetric functions from moments."},{"cited_title":"Stanley, Enumerative combinatorics","cited_arxiv_id":null,"evidence_quote":"Supplies the standard recurrence for coefficients of rational generating functions used to derive equation (2.4)."},{"cited_title":"Mumford, Algebraic Geometry I: Complex Projective V arieties, Springer Science & Busi- ness Media, 1995, 186 pp","cited_arxiv_id":null,"evidence_quote":"Gives the algebraic-geometric fact that a generically one-to-one morphism has a rational inverse, used in the proof of Theorem 1.9(iii)."},{"cited_title":"W achspress, A Rational Finite Element basis, Academ ic Press, 1975, 330 pp","cited_arxiv_id":null,"evidence_quote":"Provides the adjoint polynomial \\(A_z(u,v)\\) and its degree properties, which identify the numerator in the generating function."},{"cited_title":"Bryant, https://mathoverflow.net/questions/81690 /area-of-triangle-from-coefficients-of- its-cubic","cited_arxiv_id":null,"evidence_quote":"Supplies the resultant-style matrix argument \\(\\omega\\omega^*=\\Omega(S)\\), \\(16M^2=-\\det \\Omega(S)\\), used for the explicit triangle relation."}],"review_version":1}