{"id":"9e1270d9-28ca-4682-aa2c-60f442252781","arxiv_id":"1908.01397","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"A proposed correction to norm bounds for bi-starlike functions of order alpha, whose proof contains an invalid subordination step and a false value at alpha=1/2.","lead":"This paper claims to correct published estimates for the pre-Schwarzian norm of bi-starlike functions, giving a piecewise bound in the order alpha. The correction replaces bounds by Rahmatan et al., but the new proof has an unjustified subordination step and a computation error.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Step from (2.5) to (2.6) assumes f(Delta) is contained in Delta; the paper's own example f1(z)=z/(1-z) falsifies that assumption, so Theorem 2.1's inverse-order bound is not established.","rationale":"The reader's weakest assumption, the unjustified substitution w=f(z) in moving from (2.5) to (2.6), is exactly the load-bearing gap I find, and the paper's own f1 example makes it concrete. I diverge from the reader on one point: the alpha=1/2 evaluation is not a separate error, since phi(1/2)=infinity and min{6-4alpha, infinity}=4 gives the stated bound. There is also an independent flaw in the same proof: the supremum after (2.8) is not actually equal to 4(1-alpha)/(1-|1-2alpha|); for instance, with |1-2alpha|=0.1 the function (2+r-r^2)/(1-0.1r) has an interior maximum larger than its limit at r=1. This reinforces the rejection, but the primary concern remains the false subordination composition. The paper's critique of Rahmatan et al. may retain value; the central theorem itself is not established.","tokens_in":5046,"tokens_out":14112,"duration_ms":134350,"concrete_test":"Verify the claimed equivalence (2.5) iff (2.6) on f1(z)=z/(1-z) with inverse g1(w)=w/(1+w) and alpha=1/2. Compute h(w)=w g1'(w)/g1(w)=1/(1+w), which satisfies Re h(w)>1/2 on |w|<1, so (2.5) holds with F(w)=1/(1-w). If (2.6) were true, 1-z would lie in F(Delta)={Re zeta > 1/2} for every z in Delta; but z=0.9 gives 1-z=0.1. Equivalently, the required Schwarz function phi(z)=1-1/(1-z)=-z/(1-z) is unbounded in Delta. This single evaluation settles whether the central equivalence is valid.","verdict_should_be":"REJECT","load_bearing_attack":"Theorem 2.1 needs the inverse-condition subordination (2.5) to imply the f-side subordination (2.6). The proof says the two are 'equivalent' after setting w=f(z). Substitution into h(w)=F(phi(w)) is legitimate only if phi composed with f is a Schwarz function; this requires f(Delta) to be contained in Delta, which is not part of bi-univalence and fails for the paper's own example f1(z)=z/(1-z), whose image is {Re w > -1/2}. At alpha=1/2, f1 belongs to S*_Sigma(1/2): both z f1'(z)/f1(z)=1/(1-z) and w g1'(w)/g1(w)=1/(1+w) have real part > 1/2, so (2.5) holds. Yet (2.6) would assert 1-z is subordinate to 1/(1-z), i.e. phi(z)=-z/(1-z) would have to be a Schwarz function, which fails as z approaches 1 along the real axis. Thus the asserted equivalence is false inside the class, and the second bound in Theorem 2.1 does not follow from the inverse condition by the paper's argument. The later statement that phi(1/2)=infinity is not the real defect; the false substitution is. Without (2.6), the only established bound is the standard 6-4alpha from (2.2), so the claimed piecewise improvement is unproved.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the norm of the pre-Schwarzian derivative for functions in the bi-starlike class S*_Sigma(alpha). It states Theorem 2.1 with a piecewise bound, claiming ||f|| ≤ 6 for alpha=0, min{6-4alpha, 4(1-alpha)/alpha} for 0<alpha<1/2, 4 for alpha=1/2, and 2 for 1/2<alpha<1. The proof uses Yamashita's estimate ||f|| ≤ 6-4alpha from the direct starlike condition and attempts to derive an additional estimate from the subordination (2.5) associated with the inverse condition, obtaining the bound phi(alpha)=4(1-alpha)/(1-|1-2alpha|). Section 3 gives remarks arguing that the prior proof of Theorem B by Rahmatan et al. used an invalid identity and states that estimating |f(z)/z| for V_Sigma(alpha) remains an open problem.","tokens_in":5371,"tokens_out":13404,"duration_ms":112148,"significance":"If Theorem 2.1 were correct, it would improve on the earlier estimate of Rahmatan et al. by combining the starlike-order bound of Yamashita with a bound obtained from the inverse condition; the claimed sharp values for alpha in (1/2,1) would be of interest to specialists in geometric function theory. However, the proof of the theorem has a fundamental gap, so the improvement is not established. The paper does make a useful critical observation about the earlier proof of Theorem B, and it is honest in stating that estimating |f(z)/z| for V_Sigma(alpha) remains open. No circular reasoning or computational artifacts are present; the failure is a mathematical error in a central step.","major_comments":[{"comment":"The equivalence between (2.5) and (2.6) is invalid. Substituting w=f(z) into (2.5) yields f(z)/(z f'(z)) = F(phi(f(z))), where phi is the Schwarz function from (2.5). For this to be a subordination in z, the map phi∘f must be a Schwarz function, which requires f(Delta)⊂Delta. The class S*_Sigma(alpha) does not imply this inclusion, and the authors' own example f1(z)=z/(1-z), which lies in S*_Sigma(1/2), maps Delta to {Re w>-1/2}, not into Delta. For this example, (2.5) holds for g1(w)=w/(1+w), but (2.6) would assert 1-z ≺ 1/(1-z), i.e. that phi(z)=-z/(1-z) is a Schwarz function, which is false. Consequently, the bound 4(1-alpha)/alpha and the cases alpha=1/2 and alpha>1/2 in Theorem 2.1 are not established; the only bound that follows from the proof is ||f||≤6-4alpha from (2.2).","section":"§2, Eqs. (2.5)–(2.6)"},{"comment":"The value of phi(alpha) at alpha=1/2 is computed incorrectly. The displayed formula gives phi(1/2)=4(1-1/2)/(1-|1-2*1/2|)=2, not infinity. The case analysis in Case 1 is therefore wrong, and the stated theorem's value 4 for alpha=1/2 is inconsistent with the proof's own formula. Moreover, the incorrect value is not harmless: f1(z)=z/(1-z) belongs to S*_Sigma(1/2) and has pre-Schwarzian norm sup_{|z|<1} 2(1-|z|^2)/|1-z| = 4, so no bound of 2 can hold for the class at alpha=1/2. This supports the conclusion that the derivation of (2.6)–(2.8) is not sound.","section":"§2, Case 1 of proof of Theorem 2.1"}],"minor_comments":[{"comment":"In Case 2, the sentence '6 - 4alpha in (2,4) when alpha in (1/2,1)' is outside the case under consideration (0<alpha<1/2); for that range one has 6-4alpha in (4,6).","section":"§2, Case 2"},{"comment":"The displayed formula for f''(z)/f'(z) has ambiguous parentheses; the term should be written as (f(z)/z)( (1+(1-2alpha)phi(z))/(z(1-phi(z))) - 1 ).","section":"§3, Eq. (3.4)"},{"comment":"There are many typographical errors, e.g. 'pre-Schwarzi an' in the abstract and 'i s' in §2; a careful proofreading is needed.","section":"Abstract and throughout"}],"recommendation":"reject","confidential_remarks":"The main result of this paper is not established because the key equivalence (2.5) to (2.6) is false and the computation of phi(1/2) is erroneous. The paper does contain a useful criticism of Rahmatan et al.'s Theorem B, but this is not sufficient for acceptance. I recommend rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe paper has one genuinely useful contribution and one load-bearing mistake. The useful part is the critique of Rahmatan et al.: the old Theorem B proof is indeed flawed, and the note that |f(z)/z| is not controlled is fair. The authors also catch that the earlier Theorem A proof could not be right, and they try a new route via the inverse condition.\n\nThe new route, however, does not work as written. The equivalence between (2.5) and (2.6) is asserted by substituting w=f(z). That only makes sense if f(Δ) lies inside Δ, which is not part of bi-univalence. The paper's own example f1(z)=z/(1-z) is bi-starlike of order 1/2 and maps the disk onto a half-plane, so the substitution is illegitimate. For that example (2.6) is actually false: it would require the function -z/(1-z) to be a Schwarz function, which it is not. So Theorem 2.1 is not proved.\n\nThere is also a smaller arithmetic slip: at α=1/2 the claimed φ(α) is not infinite; it is 2. Taken at face value the proof would predict ‖f‖≤2 for α=1/2, and their own example f1 has norm 4, so something has to give. The paper actually states the correct bound 4 for α=1/2, but the proof as written cannot deliver it.\n\nOne more thing: in the case 0<α<1/2 the \"min\" is redundant, because 6−4α is always the smaller term. So the inverse-condition improvement only matters, if at all, for α>1/2, and the argument there is the part that collapses.\n\nI want to give credit where it is due. The paper is not a restatement of old results; the piecewise bound is a real attempt, and identifying the published errors is a service. The style is clear and the references look appropriate. But the central theorem is unproven, and the arithmetic slip shows the proof was not checked carefully.\n\nWho is this for? Specialists in geometric function theory working on bi-univalent functions. The critique part could be published as a short note. As it stands, the paper is not acceptable. A serious referee could sort out whether the α>1/2 bound can be rescued, but the current text should not appear unchanged.\n\nI'd send it to review rather than desk-reject, because the error analysis of the published results deserves to be sorted out. But my own verdict would be: major revision or reject.","headline":"The critique of Rahmatan et al. is useful, but the paper's own Theorem 2.1 is unproved because the subordination step (2.5)→(2.6) requires f(Δ)⊂Δ, which fails for the paper's own example.","tokens_in":5818,"tokens_out":10210,"would_cite":false,"duration_ms":85778,"reading_group":"no","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["30C45"],"pacs":[],"model":"deepseek-v4-flash","headline":"Bi-starlike functions of order alpha have pre-Schwarzian norm at most 6, 4, or 2, depending on alpha — a corrected bound for an earlier wrong one.","keywords":["univalent functions","bi-univalent functions","starlike of order alpha","pre-Schwarzian derivative","subordination","Schwarz-Pick lemma","norm estimate"],"falsifier":"Between (2.5) and (2.6), the proof substitutes $w=f(z)$ into a subordination defined only for $w\\in\\Delta$. For the paper's own bi-univalent example $f(z)=z/(1-z)$, the point $z=1/2$ gives $f(1/2)=1\\notin\\Delta$, so the composite Schwarz function is not defined there; checking this one transition for this function settles that the equivalence the inverse-side bound depends on is not valid as stated.","tokens_in":4865,"feed_emoji":"📐","tokens_out":18168,"duration_ms":165879,"temperature":0.7,"pith_summary":"The paper studies the pre-Schwarzian norm $\\|f\\|=\\sup_{z\\in\\Delta}(1-|z|^2)\\left|f''(z)/f'(z)\\right|$ on bi-univalent functions that are starlike of order $\\alpha$. It claims that an earlier published bound for this class is wrong and presents a corrected piecewise estimate: $\\|f\\|\\le 6$ at $\\alpha=0$, $\\|f\\|\\le \\min\\{6-4\\alpha,\\,4(1-\\alpha)/\\alpha\\}$ for $0<\\alpha<1/2$, $\\|f\\|\\le 4$ at $\\alpha=1/2$, and $\\|f\\|\\le 2$ for $1/2<\\alpha<1$. The argument splits into the classical starlike-order bound and a new bound obtained by rewriting the inverse starlikeness condition as a subordination and applying the Schwarz–Pick lemma. On the related class $V_\\Sigma(\\alpha)$, the paper argues that the earlier proof remains invalid and leaves the sharp bound open.","feed_headline":"Bi-starlike norm bound fixed at 6, 4, or 2","feed_subtitle":"Piecewise estimate replaces an invalid 2017 bound for bi-univalent functions of order alpha.","key_machinery":"The load-bearing object is the subordination chain for the inverse function. From $\\operatorname{Re}(wg'(w)/g(w))>\\alpha$, the paper gets $wg'(w)/g(w)\\prec(1+(1-2\\alpha)w)/(1-w)$, and with $g=f^{-1}$ rewrites it as $f(z)/(zf'(z))\\prec(1+(1-2\\alpha)z)/(1-z)$. This identity turns the inverse-side hypothesis into an explicit expression for $f''/f'$ in terms of a Schwarz function $\\varphi$ and its derivative; the Schwarz–Pick lemma, the pointwise derivative bound for holomorphic self-maps of the disk, controls that expression. The norm $\\|f\\|=\\sup_{z\\in\\Delta}(1-|z|^2)|f''/f'|$ converts the pointwise bound into the piecewise constants of Theorem 2.1.","core_discovery":"The central claim is Theorem 2.1: every $f\\in S^*_\\Sigma(\\alpha)$ obeys the piecewise norm bound above. The first input is the sharp starlike-order estimate $\\|f\\|\\le 6-4\\alpha$. The second input comes from the inverse condition: because $\\operatorname{Re}(wg'(w)/g(w))>\\alpha$, the ratio $wg'(w)/g(w)$ is subordinate to the half-plane map $(1+(1-2\\alpha)w)/(1-w)$; the paper rewrites this as $f(z)/(zf'(z))\\prec(1+(1-2\\alpha)z)/(1-z)$ and derives a formula for $f''(z)/f'(z)$ in terms of a Schwarz function $\\varphi$ and its derivative. The Schwarz–Pick lemma bounds $\\varphi'$, and the norm supremum produces the second constant in each case. For the class $V_\\Sigma(\\alpha)$, the paper states that the earlier result and its proof are incorrect, and that completing the estimate would require a currently missing bound for $|f(z)/z|$.","pith_inferences":["A natural next step is to apply the same subordination-plus-Schwarz–Pick template to other bi-univalent subclasses whose inverse condition admits a subordination form, such as bi-convex or bi-spiral-like functions.","If the $\\alpha>1/2$ constant $2$ is sharp, the extremal functions would sit at the boundary of the subordination half-plane; a coefficient-based search over $S^*_\\Sigma(\\alpha)$ could test sharpness.","The open $|f(z)/z|$ bound for $V_\\Sigma(\\alpha)$ suggests that growth or radius-of-univalence theorems for that class would be the most direct route to completing the estimate."],"forward_implications":["If Theorem 2.1 holds, the $\\alpha=0$ case reproduces the sharp universal bound $\\|f\\|\\le 6$, so bi-univalence adds no new restriction at order zero.","For $1/2<\\alpha<1$, the theorem forces $\\|f\\|\\le 2$, which is well inside the univalence criterion $\\|f\\|\\le 1$; bi-starlike order above $1/2$ is therefore a strong normalization.","For $0<\\alpha<1/2$, the inverse-condition constant $4(1-\\alpha)/\\alpha$ can be smaller than the starlike-order bound $6-4\\alpha$, so the bi-univalence hypothesis genuinely improves the estimate in this range.","The paper's Section 3 remarks imply that the analogous norm problem for the class $V_\\Sigma(\\alpha)$ remains open, since the missing estimate for $|f(z)/z|$ is not yet available."],"supporting_citations":[{"why":"Supplies the earlier theorem and proof that the paper claims are incorrect, as well as the inverse-derivative identity $d f^{-1}(w)/dw=1/f'(z)$ reused in the new proof.","marker":"[6]"},{"why":"Gives the sharp starlike-order norm bound $\\|f\\|\\le 6-4\\alpha$ that forms the first half of Theorem 2.1.","marker":"[7]"},{"why":"Provides the background equivalence for subordination by half-plane maps and the Schwarz lemma used to bound the Schwarz function.","marker":"[3]"},{"why":"Supplies the sharp bound $\\|f\\|\\le 6$ for univalent functions and the criterion $\\|f\\|\\le 1$ for univalence, which frame the cases $\\alpha=0$ and $\\alpha>1/2$.","marker":"[2]"}],"fun_headline_variants":["Sharp piecewise norm for bi-starlike pre-Schwarzian","2017 bound wrong: corrected norm for bi-univalent","Pre-Schwarzian norm: inverse brings sharp bound","Bounds fixed: norm of pre-Schwarzian derivative","Bi-starlike order alpha: norm bound corrected"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof needs $f(\\Delta)\\subset\\Delta$ to rewrite the inverse subordination in the variable $z$, a containment the paper never states or proves and which its own example $f(z)=z/(1-z)$ fails; if that containment is false the key equivalence between (2.5) and (2.6) is not established.","fun_headline_variants_meta":{"raw":{"variants":["Sharp piecewise norm for bi-starlike pre-Schwarzian","2017 bound wrong: corrected norm for bi-univalent","Pre-Schwarzian norm: inverse brings sharp bound","Bounds fixed: norm of pre-Schwarzian derivative","Bi-starlike order alpha: norm bound corrected"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000182,"raw_usage":{"total_tokens":1259,"prompt_tokens":843,"completion_tokens":416,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":459,"completion_tokens_details":{"reasoning_tokens":336}},"tokens_in":459,"tokens_out":416,"duration_ms":4989,"temperature":1.0,"reasoning_tokens":336,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:14:23.825455+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Between (2.5) and (2.6), the proof substitutes $w=f(z)$ into a subordination defined only for $w\\in\\Delta$. For the paper's own bi-univalent example $f(z)=z/(1-z)$, the point $z=1/2$ gives $f(1/2)=1\\notin\\Delta$, so the composite Schwarz function is not defined there; checking this one transition for this function settles that the equivalence the inverse-side bound depends on is not valid as stated.","supporting_citations":[{"cited_title":"Rahmatan, Sh","cited_arxiv_id":null,"evidence_quote":"Supplies the earlier theorem and proof that the paper claims are incorrect, as well as the inverse-derivative identity $d f^{-1}(w)/dw=1/f'(z)$ reused in the new proof."},{"cited_title":"Yamashita, Norm estimates for function starlike or convex of order alph a, Hokkaido Math","cited_arxiv_id":null,"evidence_quote":"Gives the sharp starlike-order norm bound $\\|f\\|\\le 6-4\\alpha$ that forms the first half of Theorem 2.1."},{"cited_title":"Duren, Univalent Functions, Springer–Verlag, New York, 1983","cited_arxiv_id":null,"evidence_quote":"Provides the background equivalence for subordination by half-plane maps and the Schwarz lemma used to bound the Schwarz function."},{"cited_title":"Becker and Ch","cited_arxiv_id":null,"evidence_quote":"Supplies the sharp bound $\\|f\\|\\le 6$ for univalent functions and the criterion $\\|f\\|\\le 1$ for univalence, which frame the cases $\\alpha=0$ and $\\alpha>1/2$."}],"review_version":1}