{"id":"e4eee087-6341-4a63-a182-e269861b888a","arxiv_id":"2606.13448","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves mixed torsional rigidity increases with Neumann/Dirichlet leg ratio on right triangles and T^D(P_{N+1}) > T^D(P_N) for regular polygons of area π, plus asymptotic expansion.","lead":"The paper proves monotonicity of mixed torsional rigidity on fixed-area right triangles as the Neumann-to-Dirichlet leg ratio grows, and shows Dirichlet torsional rigidity strictly increases for regular N-gons of area π as N rises, with an asymptotic expansion. A smart generalist might read it for progress on shape optimization conjectures in mathematical physics.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"Hadamard derivative and Pohozaev identity validity for mixed BC at Dirichlet-Neumann corners on right triangles","rationale":"The reader's weakest assumption correctly isolates the regularity issue for the mixed BVP on triangles; the polygon monotonicity and expansion rely on a separate analytic argument (Schwarz-Christoffel + Bergman kernel) whose potential gaps are independent. Because the triangle result is the first and most geometrically novel claim, its proof machinery is the single load-bearing point. Full-text verification of the corner analysis would be required to move the verdict.","tokens_in":1824,"tokens_out":352,"duration_ms":13710,"concrete_test":"Fix a right triangle with legs a (Dirichlet) and b (Neumann), compute the mixed torsion function u explicitly via separation of variables in polar coordinates centered at the right-angle vertex, differentiate the energy integral directly with respect to the ratio b/a while holding area fixed, and check whether the resulting expression equals the boundary integral of (∂u/∂n)^2 without residual corner terms.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The triangle monotonicity claim rests on applying the Hadamard shape derivative and a Pohozaev-type identity to the mixed torsion problem (Dirichlet on one leg, Neumann on the other leg and hypotenuse). These identities are typically justified under C^2 boundary regularity or when boundary conditions do not change type at corners; right triangles introduce 90-degree corners where Dirichlet and Neumann conditions meet, which can produce singular gradients (r^{-1/2} behavior) that may generate unaccounted boundary integrals or invalidate the differentiation-under-the-integral step without extra corner corrections.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper proves two monotonicity results for torsional rigidity. For right triangles of fixed area with Dirichlet condition on one leg and Neumann on the other leg and hypotenuse, the mixed torsional rigidity strictly increases with the ratio of Neumann to Dirichlet leg lengths; the proof relies on the Hadamard shape derivative, a Pohozaev-type identity, and a monotonicity property of the mixed torsion function (a similar result is stated for the mixed ground state). For regular N-gons P_N of area π, it proves T^D(P_{N+1}) > T^D(P_N) for N ≥ 3 and the expansion T^D(P_N) = π/8 − πζ(3)/N^3 + π^5/(45N^4) + O(N^{-5}), via a Schwarz–Christoffel/Bergman analytic-content argument.","tokens_in":1954,"tokens_out":400,"duration_ms":15972,"significance":"If valid, the results give analytic progress on the polygonal Pólya–Szegő conjecture and new monotonicity statements for mixed boundary-value problems. The purely analytic treatment of the regular-polygon monotonicity (avoiding numerics) is a clear strength.","major_comments":[{"comment":"Abstract (first problem) and the corresponding proof section: the Hadamard shape derivative and Pohozaev-type identity are invoked for the mixed Dirichlet–Neumann problem on right triangles. The manuscript must explicitly verify that the r^{-1/2} gradient singularity at the Dirichlet–Neumann corner produces no additional boundary integrals that would invalidate differentiation under the integral or the integration-by-parts step; without this justification the monotonicity claim for the mixed torsional rigidity rests on an unverified extension of the classical identities.","section":"Abstract and proof of the triangle monotonicity result"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and the constructive comment on the justification of the shape derivative. We respond to the major comment below.","responses":[{"response":"We agree that an explicit verification of the shape derivative and integration-by-parts steps is required in the presence of the Dirichlet–Neumann corner. The gradient singularity is of order r^{-1/2}, which is square-integrable, but the boundary integrals over small arcs around the corner must be shown to vanish in the limit. In the revised manuscript we will insert a short paragraph (or appendix) using the standard corner expansion for mixed boundary-value problems (leading term proportional to r^{1/2} sin(θ/2)) to confirm that the contribution is o(1) as the radius tends to zero. This addition will be placed immediately before the application of the Hadamard formula in the triangle section and will not change the main monotonicity statements.","revision_made":"yes","referee_comment":"[Abstract and proof of the triangle monotonicity result] Abstract (first problem) and the corresponding proof section: the Hadamard shape derivative and Pohozaev-type identity are invoked for the mixed Dirichlet–Neumann problem on right triangles. The manuscript must explicitly verify that the r^{-1/2} gradient singularity at the Dirichlet–Neumann corner produces no additional boundary integrals that would invalidate differentiation under the integral or the integration-by-parts step; without this justification the monotonicity claim for the mixed torsional rigidity rests on an unverified extension of the classical identities."}],"tokens_in":1455,"tokens_out":337,"duration_ms":21755,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main results are a strict increase in mixed torsional rigidity on fixed-area right triangles as the Neumann-to-Dirichlet leg ratio grows, and T^D(P_{N+1}) > T^D(P_N) for regular N-gons of area pi, with the expansion T^D(P_N) = pi/8 - pi zeta(3)/N^3 + pi^5/(45 N^4) + O(N^{-5}).\n\nThe triangle part applies Hadamard shape derivative and a Pohozaev-type identity, together with a monotonicity property of the mixed torsion function. The polygon part uses a Schwarz-Christoffel mapping and Bergman analytic-content argument to get the inequality directly. Both are presented as analytic rather than numerical.\n\nThe polygon monotonicity and expansion are the clearer advance; they give an explicit resolution for this family and a concrete series that can be checked independently. The mixed-triangle result is new in the stated form but rests on the derivatives holding at the 90-degree corners where Dirichlet and Neumann conditions meet.\n\nThe stress-test concern about singular gradients and possible extra boundary integrals at those corners is the main soft spot. If the full argument supplies the necessary corner corrections or regularity justification, the claim stands; the abstract alone does not show the details. No circularity or invented entities appear in the stated claims.\n\nThis is for readers working on shape optimization and isoperimetric inequalities for elliptic problems. It deserves a serious referee because the statements are specific, the tools are standard in the area, and the polygon part supplies verifiable output even if the triangle part needs extra checking on corners.","headline":"The paper proves monotonicity for mixed torsional rigidity on right triangles and strict increase of Dirichlet torsional rigidity for regular polygons of fixed area, using Hadamard/Pohozaev for the first and Schwarz-Christoffel/Bergman for the second, plus an asymptotic expansion.","tokens_in":2440,"tokens_out":431,"would_cite":false,"duration_ms":12744,"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":"Mixed torsional rigidity on right triangles increases strictly as the Neumann-to-Dirichlet leg ratio grows.","keywords":["mixed torsional rigidity","right triangles","regular polygons","monotonicity","Pólya–Szegő conjecture","Dirichlet torsional rigidity","shape derivative","asymptotic expansion"],"falsifier":"A direct numerical computation of the mixed torsional rigidity for two right triangles of equal area but different Neumann-to-Dirichlet leg ratios that shows the value decreasing as the Neumann ratio increases, or a computation showing T^D(P_5) less than T^D(P_4) for regular pentagons and squares of area π.","tokens_in":2732,"feed_emoji":"","tokens_out":730,"duration_ms":21127,"temperature":0.7,"pith_summary":"The paper establishes monotonicity for torsional rigidity in two settings motivated by the polygonal Pólya–Szegő conjecture. For right triangles of fixed area with a Dirichlet condition on one leg and Neumann conditions on the other leg and hypotenuse, the mixed torsional rigidity rises strictly when the Neumann leg lengthens relative to the Dirichlet leg. The same monotonicity holds for the mixed ground state eigenvalue. For regular N-gons of area π, the Dirichlet torsional rigidity is strictly larger for N+1 sides than for N sides when N is at least 3, and an explicit asymptotic expansion in powers of 1/N is derived.","feed_headline":"Mixed torsion rigidity grows with Neumann leg ratio on right triangles","feed_subtitle":"Dirichlet torsional rigidity of regular polygons also increases strictly with the number of sides, with explicit 1/N^3 expansion.","key_machinery":"Hadamard shape derivative combined with Pohozaev-type identity for the mixed boundary problem on right triangles; Schwarz–Christoffel mapping and Bergman analytic content for the sequence of regular polygons.","core_discovery":"We prove that the mixed torsional rigidity strictly increases as the ratio of the Neumann leg to the Dirichlet leg increases. We also prove T^D(P_{N+1})>T^D(P_N) for N≥3 together with the expansion T^D(P_N)=π/8−πζ(3)/N^3+π^5/(45N^4)+O(N^{-5}).","pith_inferences":["The analytic mapping technique used for regular polygons might extend to other families of convex domains whose boundaries admit Schwarz–Christoffel representations.","If the mixed-boundary monotonicity generalizes beyond right triangles, it could constrain optimal mixed-boundary configurations in other spectral problems.","Higher-order terms in the asymptotic expansion could be derived by the same Bergman-content method to obtain sharper approximation rates."],"forward_implications":["The mixed ground state of the Laplacian satisfies an analogous monotonicity with respect to the leg ratio.","Dirichlet torsional rigidity of regular polygons increases monotonically toward the value for the disk.","The leading correction terms in the expansion quantify the rate at which regular polygons approach the disk in torsional rigidity.","The two monotonicity results supply concrete verified cases supporting the broader polygonal Pólya–Szegő conjecture."],"fun_headline_variants":["Torsional rigidity increases with Neumann leg ratio on right triangles","Dirichlet torsional rigidity increases with sides in regular polygons","Asymptotic expansion to 1/N^4 for polygon Dirichlet torsional rigidity","Monotonicity proven for mixed torsion on triangles and polygon rigidity"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The Hadamard shape derivative and Pohozaev-type identity remain valid for the mixed boundary-value problem on right triangles, and the Schwarz–Christoffel/Bergman analytic-content argument applies directly to the sequence of regular polygons without loss of regularity.","fun_headline_variants_meta":{"raw":{"variants":["Torsional rigidity increases with Neumann leg ratio on right triangles","Dirichlet torsional rigidity increases with sides in regular polygons","Asymptotic expansion to 1/N^4 for polygon Dirichlet torsional rigidity","Monotonicity proven for mixed torsion on triangles and polygon rigidity"]},"model":"grok-4.3","cost_usd":0.007269,"raw_usage":{"total_tokens":3375,"prompt_tokens":720,"num_sources_used":0,"completion_tokens":62,"cost_in_usd_ticks":72687000,"prompt_tokens_details":{"text_tokens":720,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2593,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":720,"tokens_out":62,"duration_ms":15139,"temperature":1.0,"reasoning_tokens":2593,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-27T06:03:12.909930+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A direct numerical computation of the mixed torsional rigidity for two right triangles of equal area but different Neumann-to-Dirichlet leg ratios that shows the value decreasing as the Neumann ratio increases, or a computation showing T^D(P_5) less than T^D(P_4) for regular pentagons and squares of area π.","supporting_citations":[],"review_version":1}