{"id":"1ac38da8-2ddb-43f7-ad2a-90cd1b26436b","arxiv_id":"1908.07697","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"For regular n-gons with fixed total area, a single polygon minimizes total perimeter in Euclidean and spherical geometry, and in hyperbolic geometry only when the interior angle is at least a threshold Θ(n).","lead":"This paper asks when one regular n-gon has smaller perimeter than several smaller regular n-gons whose areas add up, in Euclidean, spherical, and hyperbolic geometry. It finds that in Euclidean and spherical geometry the single polygon always wins, but in hyperbolic geometry it only wins below an area threshold.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Side-length identities in §2.2 and §3 are inverted; the stated perimeter formulas are undefined for the hyperbolic counterexample and the concavity proofs target the reciprocal functions.","rationale":"Agree with the reader. The central construction collapses at the side-length identity: every subsequent derivative and concavity claim is computed for the reciprocal function, so the stated threshold Θ is not tied to the actual perimeter. The paper does contain an honest attempt, and the counterexample in Section 1 is qualitatively correct, but the proof text cannot be accepted. Since the reader already recommended REJECT and this stress-test identifies the same load-bearing concern without a different outcome, no new verdict is needed.","tokens_in":9145,"tokens_out":13677,"duration_ms":184272,"concrete_test":"Replace g_n in equation (2) with g_n(x)=arccosh(cos(π/n)/sin(x/2)) and recompute the n=3 threshold Θ by solving φ_n(x)=2g_n(x/2+π/2-π/n)-g_n(x)=0; also check lim_{ε→0} perim(T_ε) using the corrected formula. If the corrected threshold differs from the one implied by the manuscript's formula, or if the concavity of g'_n fails, Theorem 1.2 is not supported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing defect is the side-length formula used to define perimeter in both curved cases. Section 2.2 asserts cos(s/2)=cos(π/n) sin(θ/2) on the sphere, and Section 3, equation (2), asserts cosh(s/2)=cos(π/n) sin(θ/2) in the hyperbolic plane. The correct relations are the reciprocals: cos(s/2)=cos(π/n)/sin(θ/2) and cosh(s/2)=cos(π/n)/sin(θ/2). With the stated hyperbolic formula, arccosh(cos(π/n) sin(θ/2)) has argument <1 for all allowed θ (since cos(π/n)<1), so perim(P) is not even real; in particular the Section 1 counterexample T_ε requires perim(T_ε)→∞ as ε→0, while the stated formula would be undefined. The derivatives displayed in Lemma 3.2 (and the f'' computation in Theorem 2.4) are precisely the derivatives of the reciprocal formulas, so the concavity and threshold analysis is being performed on a different function than the one used to define perimeter. Consequently Theorem 2.4, Lemma 3.2, Lemma 3.4, Theorem 3.1, and Theorem 1.2 are not established as written. The defect appears to be a global inversion typo rather than a deep obstruction, but as written the central claim is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies a discrete isoperimetric problem for disconnected regions in constant-curvature geometries. For a regular n-gon P of given area, it asks whether every configuration of n-gons with the same total area has total perimeter at least perim(P). The authors prove that in Euclidean and spherical geometry the inequality always holds (Proposition 1.1), and in hyperbolic geometry it holds exactly when the interior angle θ is at least a dimension-dependent threshold Θ(n) (Theorem 1.2). The proof compares perimeters through side-length functions derived from trigonometric identities, using convexity/concavity and a threshold root.","tokens_in":9438,"tokens_out":25411,"duration_ms":431579,"significance":"If the results are correct, they provide a clean and nontrivial extension of Fejes Tóth's and Bezdek's discrete isoperimetric theorems to disconnected regions. The Euclidean case is an elegant reduction to the triangle inequality; the spherical/hyperbolic threshold phenomenon is interesting. The paper's strategy of reducing perimeter comparison to concavity of a function of the interior angle is natural. However, as written, the spherical and hyperbolic side-length formulas are inverted, leaving the perimeter function undefined in the hyperbolic case, and one of the key lemmas in the hyperbolic proof contains an invalid monotonicity argument. These are load-bearing issues.","major_comments":[{"comment":"The displayed side-length formulas are inverted. In §2.2 the paper states cos(s/2)=cos(π/n) sin(θ/2), and in §3, equation (2) states cosh(s/2)=cos(π/n) sin(θ/2). The correct relations are cos(s/2)=cos(π/n)/sin(θ/2) and cosh(s/2)=cos(π/n)/sin(θ/2). With the stated hyperbolic formula, the argument of arccosh is cos(π/n) sin(θ/2)<1 for every admissible θ, so perim(P) is not real; in particular, the counterexample T_ε in §1 requires perim(T_ε)→∞ as ε→0, which the stated formula cannot deliver. The derivative computations in Theorem 2.4 and Lemma 3.2 are precisely the derivatives of the reciprocal formulas, so the proofs are not for the perimeter function that is defined. Theorem 2.4, Theorem 3.1, and Theorem 1.2 are therefore not established as written. This appears to be a global sign/inversion typo, but it must be corrected and the proofs checked against the corrected formulas.","section":"§2.2 and §3, Eq. (2)"},{"comment":"The proof of Lemma 3.3 contains an invalid inference. It asserts that, for fixed x1, g'_n(x1+y)-g'_n(x1) strictly decreases as y increases, and justifies this by strict concavity of g'_n. Strict concavity of g'_n means g'''_n<0; it does not imply that the first difference is decreasing. In fact, from the displayed formula for g''_n in Lemma 3.2, g''_n(x)>0 for x sufficiently close to 0 (for n=3, g''_3(0.1)>0), so g'_n increases over an initial interval and the claimed monotonicity fails. Since the uniqueness of the solution to equation (5) relies on this claim, Lemma 3.3 is unproved, and with it the 'if and only if' reduction in the proof of Theorem 3.1.","section":"§3.1, Lemma 3.3"}],"minor_comments":[{"comment":"The displayed formula for perim(T2) has argument of arccosh equal to cos^2(π/6+ε)+cos(π/6+ε) sin^2(π/6+ε), which tends to less than 1 as ε→0; this is inconsistent with the corrected side-length formula and should be rechecked.","section":"§1, counterexample"},{"comment":"In the proof of Lemma 3.4, the text says \"since g' is convex (by Lemma 3.2)\", but Lemma 3.2 states that g'_n is strictly concave. The subsequent reasoning uses the concave shape (unique maximum), so this appears to be a typo, but it should be corrected for consistency.","section":"§3.1, Lemma 3.4"},{"comment":"The application of Lemma 2.3 in the proof of Theorem 2.4 is not explicit. The reader should be told to take a=(n-2)π/n, b=θ, c=θ1, d=θ2, and to note that f(a)=0 in the corrected formula.","section":"§2.2, Theorem 2.4"},{"comment":"The reference list is incomplete: [5] and [7] are not cited in the text, and [6] lacks complete bibliographic data (volume, pages, and year).","section":"References"},{"comment":"The assertion that, for fixed area, the perimeter of a regular n-gon is monotonically decreasing in n is stated without proof or reference; it is not central, but should be justified if retained.","section":"§4, item 3"}],"recommendation":"major_revision","confidential_remarks":"I agree with the reader that the manuscript as written is not acceptable. However, the main defect appears to be correctable: the inverted side-length formulas are ubiquitous and must be fixed in the introduction, §2.2, and §3, and the proof of Lemma 3.3 needs to be reworked. If the authors can supply a valid proof of Lemma 3.3 for the corrected function, the result would be a worthwhile contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper asks a natural question: when does the discrete isoperimetric inequality survive for disconnected regions? For Euclidean and spherical geometry they claim it always does; for hyperbolic geometry they claim a threshold in the interior angle of the regular polygon. The Euclidean claim is elementary and correct. The hyperbolic threshold result, if true, is genuinely new. The proof strategy is visible and mostly coherent: set up a function whose domain is interior angles and compare the perimeter of one polygon with the sum of two polygons of the same total area; then use concavity and a root of a comparison function.\n\nThat said, the text as written has a load-bearing error. In §2.2 and §3 the authors state the side-length identities as cos(s/2)=cos(π/n) sin(θ/2) (spherical) and cosh(s/2)=cos(π/n) sin(θ/2) (hyperbolic). Those are inverted. The standard identities are cos(s/2)=cos(π/n)/sin(θ/2) and cosh(s/2)=cos(π/n)/sin(θ/2). This matters immediately: with the stated hyperbolic formula, the arccosh argument is cos(π/n) sin(θ/2), which is <1 for every allowed θ, so the perimeter is not even defined. Their own counterexample requires perim(T_ε) to blow up as ε→0, but the stated formula can't produce that. And the derivatives they compute in Lemma 3.2 and Theorem 2.4 are the derivatives of the reciprocal formulas, not the ones written. So Theorem 2.4, Lemma 3.2, Lemma 3.3 (which relies on g'' being negative and the limits of g'), Lemma 3.4, Theorem 3.1, and Theorem 1.2 are all unsubstantiated as they stand.\n\nThe saving grace is that this really looks like a global inversion typo rather than a deep obstruction. If the formulas were the reciprocal ones, the domain and the limiting behavior would match the text's own claims: for hyperbolic, cosh(s/2)=cos(π/n)/sin(θ/2) gives side length →∞ as θ→0, and the concavity calculations align. So the intended proof might go through after a systematic correction of the identities and a re-checking of the sign and domain conditions. But as it is, the central claim is unsupported.\n\nThe paper is otherwise honest: no fitted parameters, no circularity, the Euclidean case is clean, and the references look like the relevant ones. It just needs a careful correction pass before it can be taken seriously.\n\nI'd send it to a referee rather than desk-reject, because the question is good and the error seems fixable, but I'd make clear that the main theorems are not established in the current version. If the authors correct the formulas and re-verify the derivative claims, it could become a solid short paper for the discrete geometry crowd.","headline":"The hyperbolic threshold question is real, but the side-length formulas are inverted; as written the main theorems don't follow, and the paper needs a correction pass.","tokens_in":9930,"tokens_out":2067,"would_cite":false,"duration_ms":519154,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["51M10","51M16","52A40"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves a sharp isoperimetric threshold for disconnected polygons in Euclidean, spherical, and hyperbolic geometry.","keywords":["discrete isoperimetric inequality","regular polygons","hyperbolic geometry","spherical geometry","Euclidean geometry","constant curvature","perimeter-area inequality","area-angle formula"],"falsifier":"Choose $n=3$. Compute the unique zero $\\Theta(3)$ of $2g_3(x/2+\\pi/6)=g_3(x)$ using the hyperbolic side-length formula, where $g_3(x)$ is the inverse-hyperbolic-cosine of the half-angle side-length expression. Then take a regular hyperbolic triangle with interior angle just below and just above $\\Theta(3)$, split its area into two congruent triangles by giving each the interior angle $(\\theta+\\pi/3)/2$, and compare total perimeters from standard hyperbolic trigonometry; the side of the inequality must switch exactly at $\\Theta(3)$.","tokens_in":8949,"feed_emoji":"📐","tokens_out":19709,"duration_ms":174304,"temperature":0.7,"pith_summary":"The paper studies what happens to the discrete isoperimetric inequality when the area is allowed to be split among several disjoint polygons instead of being held by one. Its central claim is that in the Euclidean plane and on the sphere the inequality survives: a single regular $n$-gon has total perimeter no larger than any collection of regular $n$-gons whose areas sum to the same total, and it is the unique minimizer. In the hyperbolic plane the claim is a sharp threshold: the inequality holds for every split exactly when the interior angle $\\theta$ of the one polygon is at least a constant $\\Theta(n)$ that depends only on $n$, and fails for smaller $\\theta$, where two polygons can beat one. Because the classical isoperimetric inequality allows any area-minimizing configuration to be replaced by regular polygons, these statements cover arbitrary configurations of $n$-gons, not only regular ones.","feed_headline":"Split area into many polygons: hyperbolic space can shrink perimeter","feed_subtitle":"A single polygon minimizes perimeter in Euclidean and spherical geometry; hyperbolic geometry reverses this below Θ(n).","key_machinery":"The argument turns the geometric comparison into a one-variable calculus problem. For a regular $n$-gon with interior angle $\\theta$, the perimeter is $2n\\,g_n(\\theta)$, where $g_n$ comes from the side-length formula in the right triangle formed by the circumcenter, a vertex, and a side midpoint; in the hyperbolic case $g_n$ is an inverse-hyperbolic-cosine function of a trigonometric half-angle expression, and in the spherical case the analogous function is an inverse cosine. The paper shows that the spherical analogue of $g_n$ is strictly concave, so a concavity lemma forces two polygons with the same total area to have total perimeter at least that of one polygon. In the hyperbolic case the derivative $g_n'$ is strictly concave, which constrains the sum $g_n(\\theta_1)+g_n(\\theta_2)$ for fixed $\\theta_1+\\theta_2$; the critical threshold $\\Theta(n)$ is defined as the unique zero of $\\varphi_n(x)=2g_n(x/2+\\pi/2-\\pi/n)-g_n(x)$ on the allowed interval for $\\theta$.","core_discovery":"Let $P$ be a regular $n$-gon and let $P_1,\\dots,P_k$ be disjoint $n$-gons with total area equal to $\\mathrm{area}(P)$. The paper proves that $\\operatorname{perim}(P) \\le \\sum_i \\operatorname{perim}(P_i)$ always holds when the ambient space is Euclidean or spherical. In hyperbolic space the same inequality holds for every such configuration if and only if the interior angle $\\theta$ of $P$ is at least the unique root $\\Theta(n)$ of the function $\\varphi_n(x)=2g_n(x/2+\\pi/2-\\pi/n)-g_n(x)$, where $g_n$ is the side-length function appearing in the hyperbolic perimeter formula; below that root the paper constructs two regular $n$-gons with the same total area and smaller total perimeter. The hyperbolic condition can be read as an area bound: the inequality holds exactly when $\\mathrm{area}(P)\\le (n-2)\\pi-n\\Theta(n)$. When $\\theta>\\Theta(n)$, equality forces $k=1$, so the single polygon is the unique minimizer.","pith_inferences":["The threshold is defined as the unique root of a single equation, so for small $n$ the value $\\Theta(n)$ could be tabulated numerically; the paper does not give explicit numerical values.","For configurations mixing polygons with different numbers of sides, the safe regime may differ from $\\Theta(n)$, because the perimeter of a regular $n$-gon at fixed area varies with $n$; the paper notes this direction but does not resolve it.","The Euclidean proof's right-triangle form hints that the whole family of inequalities may be a triangle inequality in an auxiliary metric; if made precise, it might unify the three geometry cases and extend the result to polygons bounded by arcs of constant geodesic curvature.","A computational experiment near $\\theta=\\Theta(n)$ could reveal the shape of all equality cases, since at the threshold the two-polygon tie is symmetric; no such numerical data appear in the paper."],"forward_implications":["In $\\mathbb{R}^2$ and on $S^2$, among all configurations of $n$-gons with fixed total area, a single regular $n$-gon uniquely minimizes total perimeter.","In $\\mathbb{H}^2$, the single regular $n$-gon remains the unique minimizer when its interior angle satisfies $\\theta>\\Theta(n)$; at $\\theta=\\Theta(n)$ it still minimizes, but two-polygon configurations can tie it.","For $\\theta<\\Theta(n)$, the inequality fails already with two regular $n$-gons, so the threshold is sharp: any configuration whose total area exceeds $(n-2)\\pi-n\\Theta(n)$ admits a lower-perimeter split.","By the classical isoperimetric inequality, these results for regular polygons transfer to arbitrary configurations of $n$-gons, since any perimeter-minimizing configuration can be taken to be regular.","The threshold $\\Theta(n)$ depends only on the number of sides $n$, so for each $n$ one can determine the largest total area for which the disconnected isoperimetric inequality is guaranteed."],"supporting_citations":[{"why":"provides the spherical discrete isoperimetric inequality, the baseline that lets the proof restrict to regular polygons on the sphere.","marker":"[8]"},{"why":"provides the hyperbolic discrete isoperimetric inequality, the baseline that justifies restricting to regular polygons in the hyperbolic plane.","marker":"[1]"},{"why":"supplies the hyperbolic trigonometric side-length identities used to write perimeter as a function of interior angle and to compute the two-triangle counterexample.","marker":"[4]"},{"why":"supplies the area formula relating a hyperbolic polygon's area to its interior angles, converting area constraints into angle constraints.","marker":"[9]"},{"why":"supplies the spherical trigonometric identity used in the right-triangle decomposition of a regular spherical n-gon.","marker":"[10]"}],"fun_headline_variants":["Hyperbolic polygons: splitting area can shrink perimeter","In hyperbolic geometry, split polygons can beat a single one","Perimeter minimum: hyperbolic space breaks single-polygon rule","Split vs single polygon: hyperbolic space flips the result","Hyperbolic space: split polygons can reduce perimeter"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire proof depends on the standard side-length identities that relate the interior angle of a regular polygon in a constant-curvature space to its side length; if those identities do not hold on the stated domain of angles, the concavity lemmas and the threshold $\\Theta(n)$ do not follow.","fun_headline_variants_meta":{"raw":{"variants":["Hyperbolic polygons: splitting area can shrink perimeter","In hyperbolic geometry, split polygons can beat a single one","Perimeter minimum: hyperbolic space breaks single-polygon rule","Split vs single polygon: hyperbolic space flips the result","Hyperbolic space: split polygons can reduce perimeter"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00066,"raw_usage":{"total_tokens":2971,"prompt_tokens":850,"completion_tokens":2121,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":466,"completion_tokens_details":{"reasoning_tokens":2044}},"tokens_in":466,"tokens_out":2121,"duration_ms":15423,"temperature":1.0,"reasoning_tokens":2044,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:00:59.636301+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose $n=3$. Compute the unique zero $\\Theta(3)$ of $2g_3(x/2+\\pi/6)=g_3(x)$ using the hyperbolic side-length formula, where $g_3(x)$ is the inverse-hyperbolic-cosine of the half-angle side-length expression. Then take a regular hyperbolic triangle with interior angle just below and just above $\\Theta(3)$, split its area into two congruent triangles by giving each the interior angle $(\\theta+\\pi/3)/2$, and compare total perimeters from standard hyperbolic trigonometry; the side of the inequality must switch exactly at $\\Theta(3)$.","supporting_citations":[{"cited_title":"Fejes T´ oth,Regular Figures, Pergamon Press, 1964","cited_arxiv_id":null,"evidence_quote":"provides the spherical discrete isoperimetric inequality, the baseline that lets the proof restrict to regular polygons on the sphere."},{"cited_title":"Bezdek, Ein elementarer Beweis f¨ ur die isoperimetrische Ungleichung in der Euklidischen und hy- perbolischen Ebene, Ann","cited_arxiv_id":null,"evidence_quote":"provides the hyperbolic discrete isoperimetric inequality, the baseline that justifies restricting to regular polygons in the hyperbolic plane."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the hyperbolic trigonometric side-length identities used to write perimeter as a function of interior angle and to compute the two-triangle counterexample."},{"cited_title":"O’Neill, Elementary Differential Geometry, Revised 2nd edition , Elsevier","cited_arxiv_id":null,"evidence_quote":"supplies the area formula relating a hyperbolic polygon's area to its interior angles, converting area constraints into angle constraints."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"supplies the spherical trigonometric identity used in the right-triangle decomposition of a regular spherical n-gon."}],"review_version":1}