{"id":"458c318d-2c08-43d9-b55f-835e77ec5015","arxiv_id":"1909.00905","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"For every sufficiently small ρ there exist tiny hole radii such that the sinh-Poisson problem has a solution blowing up positively at m1 prescribed points and negatively at the remaining points as ρ→0.","lead":"This paper proves that a sinh-Poisson type equation with variable intensities on a planar domain with small holes has solutions that concentrate sharply upward at some chosen points and sharply downward at others as a small parameter tends to zero. The result is a rigorous existence statement for mixed-sign bubbling solutions in a model connected to two-dimensional turbulence.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Linear-theory gap in Claim 1: the limit is restricted to Y0i 'by using symmetry assumptions if necessary', but Theorem 1.1 assumes no symmetry, so the invertibility estimate in Proposition 3.1 is not established as written.","rationale":"The reader's verdict is CONDITIONAL, and I agree. The imported expansions in Lemmas 2.1, 2.3, and 4.1 are indeed load-bearing, but they are at least explicitly attributed to [14]; the more immediate gap is in the part this note attempts to prove itself. Section 4 derives the invertibility of the linearized operator by contradiction: one assumes a normalized sequence φ_n with right-hand side h_n of size o(1/|logρ|), rescales around each concentration point, and tries to show the rescaled limits are zero. Claim 1 is the step that identifies each limit as a_i Y0i. The phrase 'by using symmetry assumptions if necessary' is the only justification given, yet no symmetry assumption appears in Theorem 1.1 or in the proof. Because Y1i and Y2i are the other bounded kernel elements listed by the paper, and because Claim 2 does not annihilate them, the a priori bound is not established as written. The suggested check is narrow and decisive: for the admissible α_i, decide whether L_i has any single-valued finite-energy solutions beyond Y0i. The explicit Y1i and Y2i functions fail the single-valuedness test when α_i/2 is not an integer, so it is plausible the gap is repairable; but the repair must be written. Until then, the central claim remains conditional rather than accepted.","tokens_in":19683,"tokens_out":14351,"duration_ms":149516,"concrete_test":"Check the kernel of L_i φ = Δφ + 2α_i^2 |y|^{α_i-2} (1+|y|^{α_i})^{-2} φ in the single-valued weighted space H_α_i(R^2) for an allowed value such as α_i = 3 or α_i = 5/2. Separate variables and compute the radial zero modes for angular frequencies k; in particular, verify whether Y1i and Y2i are admissible (they are not single-valued for α_i = 3) and whether any other non-radial finite-energy solution exists. If the kernel is exactly span{Y0i}, then replace the 'symmetry assumptions' sentence in Claim 1 by the single-valuedness argument and the linear theory stands; if any additional mode appears, Proposition 3.1 lacks proof and the fixed-point scheme fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The most load-bearing weakness is internal, not just the imported lemmas: Proposition 3.1 (Section 4) is the invertibility estimate that powers the fixed-point argument, and its proof hinges on Claim 1, which asserts that any normalized blow-up sequence has rescaled limit Φ_i* equal to a multiple of Y0i. The proof of Claim 1 ends with 'by using symmetry assumptions if necessary', but Theorem 1.1 assumes no symmetry on Ω, V1, V2, or the points ξ_i. The paper itself states that bounded solutions of L_i φ = 0 are exactly linear combinations of Y0i, Y1i, Y2i. Y1i and Y2i are the non-radial modes, and for the allowed parameters α_i > 2 with α_i ∉ 2N the explicit formulas are multi-valued (e.g. α_i = 3 gives cos(3θ/2)), so a separate single-valuedness argument is needed to exclude them; no such argument is given. Claim 2 only tests the Y0i coefficient (equation (4.9)) and never constructs test functions for Y1i or Y2i. If Y1i or Y2i components survive in the limit, the a priori estimate ‖φ‖ ≤ C|logρ| ‖h‖_p in Proposition 3.1 is false, and the contraction mapping in Proposition 3.2 has no operator to contract. This is exactly the condition that must hold for Theorem 1.1.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves Theorem 1.1: for the sinh-Poisson type equation with variable intensities on a domain pierced by small holes centered at prescribed points ξ_1,...,ξ_m, for every sufficiently small ρ>0 there exist hole radii ε_1(ρ),...,ε_m(ρ) and a solution u_ρ in Ω_ε that blows up positively at ξ_1,...,ξ_{m_1} and negatively at ξ_{m_1+1},...,ξ_m as ρ→0. The proof follows the Lyapunov-Schmidt strategy of the companion paper [14]: an ansatz U is built from projected singular Liouville bubbles with parameters chosen by (2.7)-(2.12); the error R is estimated in Lemma 2.4; the linearized operator is shown invertible in Proposition 3.1; and a contraction argument in Proposition 3.2 produces the small correction φ. Several key asymptotic and spectral lemmas are imported verbatim from [14] without proofs.","tokens_in":20060,"tokens_out":18932,"duration_ms":181526,"significance":"If the construction is correct, the paper establishes a new existence result for mixed-sign concentrating solutions of a sinh-Poisson type equation in non-simply connected planar domains, extending the normalized mean-field results of [14] to the direct small-ρ formulation. The explicit parameter choices (2.7)-(2.12) and the transparent fixed-point scheme are strengths, and the blow-up profile is stated precisely through the Green's function expansion (2.10). The main obstacles to accepting the result as it stands are the unproved exclusion of non-radial kernel modes in the linear theory and the heavy reliance on imported unproved estimates from [14]; neither appears fatal, but both need to be repaired before the central claim is fully supported.","major_comments":[{"comment":"The claim that the rescaled limit Φ_i^* equals a_i Y_{0i} is justified only by the phrase \"by using symmetry assumptions if necessary,\" but Theorem 1.1 assumes no symmetry on Ω, V_1, V_2, or the points ξ_i. According to the manuscript's own statement, the bounded solutions of L_i φ=0 are linear combinations of Y_{0i}, Y_{1i}, Y_{2i}; for the allowed range α_i>2 with α_i∉2N, the functions Y_{1i} and Y_{2i} are not single-valued on R^2, so a single-valuedness argument is needed to exclude them, and no such argument is supplied. This gap is load-bearing because the a priori estimate (3.5) in Proposition 3.1 and hence the contraction argument in Proposition 3.2 depend on Claim 1. The fix is local: replace the symmetry remark with a proof that the only single-valued bounded solutions in H_{α_i} are multiples of Y_{0i} under the condition α_i∉2N.","section":"Section 4, proof of Proposition 3.1, Claim 1"},{"comment":"Several load-bearing results are stated with references to [14] and no proofs: Lemma 2.1 (expansion of P_ε w_i), Lemma 2.3 (the relation r_i=d_i e^{-π ρ_i}), Lemma 4.1 (projected test-function expansions), and the test-function construction in Claim 3 of Section 4. These results support the error estimate Lemma 2.4 and the invertibility Proposition 3.1, which are the backbone of Theorem 1.1. The author should either include the proofs in the note or state precisely which results from [14] are being imported and verify that their hypotheses, including the parameter choices (2.7)-(2.12) and the error rates, are satisfied for the present equation (1.1). Without this, the reader cannot independently verify that the approximate solution U has the claimed accuracy.","section":"Sections 2 and 4 (Lemma 2.1, Lemma 2.3, Lemma 4.1, Claim 3)"}],"minor_comments":[{"comment":"The statement \"we deduce that Ψ_j,n converges to zero weakly\" uses the symbol Ψ_j,n, which was never defined; it should refer to Φ_j,n.","section":"Section 4, after Claim 2"},{"comment":"The clause \"In Theorem 1.1 we intend that m1=m if ν=0 (or V2≡0) and m1=0 if V1≡0\" conflicts with the abstract's statement that the result holds for m1∈{0,...,m} with V_1,V_2>0; the exact hypotheses for the endpoint cases should be stated unambiguously.","section":"Section 1, Theorem 1.1 and abstract"},{"comment":"The exponent in the error estimate is first denoted σ=min{1/α_i} and later written σ_p, but the dependence of σ_p on p is not defined; the notation should be made consistent.","section":"Section 2, proof of Lemma 2.4"},{"comment":"The definition of σ_{0,q} just before (3.14) is ambiguous as printed, and the Hölder exponents r_i, s_i, t_i used in (3.9) should be stated clearly; as written, the estimates are difficult to verify.","section":"Section 3, proof of Lemma 3.3, around (3.14)"}],"recommendation":"major_revision","confidential_remarks":"The main technical concern is the unproved exclusion of the non-radial kernel modes in Claim 1 of Section 4; this is a fixable but load-bearing gap. In addition, the manuscript's dependence on imported results from the companion paper [14] is extensive, so I recommend asking the author to make the transferred lemmas precise and to clarify the endpoint cases m1=0 and m1=m in the statement of Theorem 1.1."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a legitimate, incremental extension of the Esposito–Figueroa–Pistoia construction [14]. Theorem 1.1 — existence of sign-changing blowing-up solutions for all small ρ on pierced domains — is not in the earlier papers, and the ansatz/error/fixed-point structure is coherent. But Section 4 has a real gap. Claim 1 concludes Φ_i* = a_i Y0i \"by using symmetry assumptions if necessary\", only there is no symmetry anywhere in Theorem 1.1. The linearized limit operator has kernel spanned by Y0i, Y1i, Y2i; Claim 2 only tests the Y0i coefficient, so it does not exclude non-radial components. Without excluding them, the a priori bound in Proposition 3.1, and hence the contraction argument, lack a foundation.\n\nThe likely repair is short: for α_i > 2 with α_i ∉ 2N, the Y1i and Y2i modes are not single-valued on R^2 \\ {0}, while Φ_i* is a limit of single-valued functions, so those modes cannot appear. If the author adds this argument, Claim 1 goes through. As written, the sentence about symmetry is either wrong or hiding the real reason. A referee should insist on this fix.\n\nOther soft spots are minor and inherited: several load-bearing lemmas (2.1, 2.3, 4.1, and Claim 3 of [14]) are cited without proof, so the note is hard to verify independently. The literature review is fine; the self-citations are appropriate. The exposition is clear, and the result is positioned honestly relative to [14] and [28].\n\nBottom line: I believe the theorem is true, and the construction is competent. The paper deserves peer review, but only after the author addresses the Claim 1 gap — either by the single-valuedness argument or by an explicit symmetry assumption on the domain/potentials/blow-up points. If I worked on sinh-Poisson blow-up, I would cite it once the proof is patched.","headline":"A useful, incremental existence result for sign-changing sinh-Poisson blow-up on pierced domains, but the linear-theory proof has a gap involving non-radial kernel modes that the paper dismisses with an unstated symmetry assumption.","tokens_in":20550,"tokens_out":6775,"would_cite":true,"duration_ms":70798,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B44","35J25","35J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"For small ρ, a sinh-Poisson equation on a pierced domain admits blow-up solutions with prescribed signs at chosen points.","keywords":["sinh-Poisson equation","pierced domain","blowing-up solutions","variable intensities","Liouville type equation","mean field equation","fixed-point method"],"falsifier":"The quantitative crux is the residual estimate (2.13): at the parameter choices (2.7)–(2.12) one must have $\\|R\\|_p=O(\\rho^{\\sigma_p})$ with $\\sigma_p>0$ for some $p>1$, so that $|\\log\\rho|\\,\\|R\\|_p\\to 0$. A concrete check would be to take the simplest non-trivial case — $\\Omega$ the unit disk, one hole, $V_1=V_2=1$, $\\tau=1$, and the endpoint $m_1=m=1$ — write the ansatz $U$ explicitly for the parameters prescribed by (2.12), and compute the residual $R=\\Delta U+\\rho(e^U-e^{-\\tau U})$ on a sequence $\\rho\\to 0$; if $\\rho^{-\\sigma}\\|R\\|_p$ with some fixed $p>1$ is not bounded, or if a logarithm of $\\rho$ survives, then the estimate (2.13) fails and the fixed-point argument collapses.","tokens_in":19467,"feed_emoji":"💥","tokens_out":17973,"duration_ms":256292,"temperature":0.7,"pith_summary":"This paper establishes an existence result for a $\\sinh$-Poisson type equation with variable coefficients and zero boundary data on a pierced domain: when the parameter $\\rho$ is small enough, there are small hole radii for which the problem has a solution that blows up at a prescribed set of points, positively at a chosen subset and negatively at the rest. The equation is $\\Delta u + \\rho(V_1(x)e^u - V_2(x)e^{-\\tau u})=0$ on $\\Omega \\setminus \\bigcup_{i=1}^m \\overline{B(\\xi_i,\\varepsilon_i)}$, a model connected to the statistical mechanics of two-dimensional turbulence and to mean-field equations. The proof builds an approximate solution from projections of explicit bubbles and then corrects it by a fixed-point argument. The interest is that mixed-sign blow-up is obtained for every sufficiently small $\\rho$, without quantization conditions such as masses approaching multiples of $8\\pi$, and the endpoint cases $m_1=0$ and $m_1=m$ yield single-sign Liouville-type blow-up as well.","feed_headline":"Blow-up at chosen points, positive and negative, as ρ→0","feed_subtitle":"For every small ρ, the pierced-domain sinh-Poisson equation has a solution concentrating at prescribed points.","key_machinery":"The load-bearing mechanism is a parameter-tuned ansatz built from the projection operator $P_\\varepsilon$ onto $H_0^1(\\Omega_\\varepsilon)$. For each $i$, $w_i(x)=\\log\\frac{2\\alpha_i^2\\delta_i^{\\alpha_i}}{(\\delta_i^{\\alpha_i}+|x-\\xi_i|^{\\alpha_i})^2}$ is an entire solution of the singular Liouville equation $\\Delta w+|x-\\xi_i|^{\\alpha_i-2}e^w=0$, and $P_\\varepsilon w_i$ is its $H_0^1$ projection, which encodes the influence of the holes and the outer boundary through Green functions. The decisive step is the choice $\\delta_i^{\\alpha_i}=d_i\\rho$, $\\varepsilon_i^{(\\alpha_i-2)/2}=r_i\\rho$ with $r_i=d_i e^{-\\pi\\rho_i}$ (Lemma 2.3), which makes the leading logarithmic interactions cancel in identity (2.6), so that the signed sum $U$ is a good approximate solution; the coefficients $d_i,r_i$ in (2.12) are fixed by the values of $V_1,V_2$ at the blow-up points. The remaining machinery is a linear theory for $L(\\varphi)=\\Delta\\varphi+\\rho(V_1e^U+\\tau V_2e^{-\\tau U})\\varphi$: solutions of the limiting operator in the plane are classified, suitable test functions are used to rule out the kernel, and the resulting a priori bound $\\|\\varphi\\|\\le C|\\log\\rho|\\|h\\|_p$ feeds the contraction mapping.","core_discovery":"The paper's central claim is Theorem 1.1: for any $m$, any $m_1\\in\\{0,\\dots,m\\}$, and any distinct points $\\xi_1,\\dots,\\xi_m$ in a smooth bounded planar domain $\\Omega$, there exist radii $\\varepsilon(\\rho)$ small enough such that the Dirichlet problem (1.1) has a solution $u_\\rho$ in $\\Omega_\\varepsilon$ which, as $\\rho\\to 0$, blows up positively at $\\xi_1,\\dots,\\xi_{m_1}$ and negatively at $\\xi_{m_1+1},\\dots,\\xi_m$. Away from the points, the solution is asymptotically a signed combination of Green functions, $u_\\rho \\to 2\\pi\\sum_{i=1}^{m_1}(\\alpha_i+2)G(\\cdot,\\xi_i) - \\frac{2\\pi}{\\tau}\\sum_{i=m_1+1}^{m}(\\alpha_i+2)G(\\cdot,\\xi_i)$, where $G$ is the Green function of $-\\Delta$ in $\\Omega$ and the $\\alpha_i>2$ are parameters not in $2\\mathbb{N}$. The construction uses a signed sum of projected singular Liouville bubbles $U=\\sum_{i\\le m_1} P_\\varepsilon w_i - \\frac{1}{\\tau}\\sum_{i>m_1}P_\\varepsilon w_i$, with the $\\delta_i$ and $\\varepsilon_i$ chosen as $\\delta_i^{\\alpha_i}=d_i\\rho$, $\\varepsilon_i^{(\\alpha_i-2)/2}=r_i\\rho$, $r_i=d_i e^{-\\pi\\rho_i}$, so that the residual is $O(\\rho^{\\sigma_p})$ in $L^p$ for some $p>1$; a linear estimate $\\|\\varphi\\|\\le C|\\log\\rho|\\|h\\|_p$ for the linearized operator then allows a contraction argument to produce the small correction $\\varphi$.","pith_inferences":["Extension beyond the paper: for a single bubble in the unit disk the ansatz and parameter prescriptions become fully explicit, so the residual estimate (2.13) could be checked numerically on a sequence $\\rho=10^{-k}$; this would give independent evidence for the expansions imported from [14].","The condition $\\alpha_i\\notin 2\\mathbb{N}$ appears through the kernel of the limiting linearized operator (the functions $Y_{1i},Y_{2i}$ involve $\\cos(\\alpha_i\\theta/2)$ and $\\sin(\\alpha_i\\theta/2)$, which are not periodic for even $\\alpha_i$); one may conjecture that even integer $\\alpha_i$ requires additional orthogonality conditions or breaks the construction.","The theorem chooses hole radii after prescribing the blow-up points; a natural inverse direction — prescribe the radii and look for small $\\rho$ — is not addressed and would need different estimates.","The construction likely extends to uniformly bounded $\\tau$ in a compact subset of $(0,\\infty)$ with constants depending on $\\tau$ uniformly, since the estimates in Section 3 involve $\\tau$ only through powers of $\\tau$ and $1/\\tau$."],"forward_implications":["For every sufficiently small $\\rho$ there is a pierced domain $\\Omega_\\varepsilon$ (with radii of order $\\rho^{2/(\\alpha_i-2)}$) on which the problem has a solution with prescribed positive blow-up at some chosen points and prescribed negative blow-up at the remaining points.","Away from the punctures the solution converges locally uniformly to $2\\pi\\sum_{i\\le m_1}(\\alpha_i+2)G(\\cdot,\\xi_i)-\\frac{2\\pi}{\\tau}\\sum_{i>m_1}(\\alpha_i+2)G(\\cdot,\\xi_i)$, so both the locations and the signs of concentration are explicit in the data.","The endpoint cases $m_1=0$ (with $V_1\\equiv 0$) and $m_1=m$ (with $V_2\\equiv 0$) yield blow-up solutions to a Liouville-type equation on a pierced domain for all small $\\rho$.","Smallness of $\\rho$ alone suffices: unlike the mean-field formulation in [14], no condition that the Liouville masses $\\lambda_1,\\lambda_2\\tau^2$ be close to multiples of $8\\pi$ is needed for existence of mixed-sign blowing-up solutions.","The fixed-point proof yields the quantitative bound $\\|\\varphi\\|_\\infty \\le C\\rho^{\\sigma_p}|\\log\\rho|$ for the correction, so the constructed solution is a small perturbation of the bubble sum $U$."],"supporting_citations":[{"why":"Supplies the asymptotic expansion machinery for the projected bubbles (Lemmas 2.1 and 2.3) and the test-function expansions for the linear theory (Lemma 4.1), which the paper uses without proofs.","marker":"[14]"},{"why":"Introduced the perturbative approach on pierced domains for the mean-field equation whose projection and linear-theory framework is adapted here.","marker":"[28]"},{"why":"Classifies bounded solutions of the limiting linearized operator $\\Delta \\varphi+2\\alpha_i^2|y|^{\\alpha_i-2}(1+|y|^{\\alpha_i})^{-2}\\varphi=0$, used to identify the kernel in the linear theory.","marker":"[9]"},{"why":"Provides earlier concentrating solutions for a Liouville-type equation with variable intensities when parameters are close to $8\\pi$, a baseline the present small-$\\rho$ result does not require.","marker":"[29]"},{"why":"Gives sign-changing tower-of-bubbles solutions for a sinh-Poisson equation with asymmetric exponents, a related existence result that motivates the mixed-sign construction.","marker":"[30]"}],"fun_headline_variants":["Prescribed signs for blow-up on pierced domains","Mixed-sign blow-up at any chosen points","For sinh-Poisson, tiny holes give signed blow-up","Sign-alternating blow-up via hole-size tuning","Arbitrary sign patterns for blow-up in planar domains"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on a set of asymptotic expansions imported from [14] — Lemma 2.1 for the projected bubbles, Lemma 2.3 relating the radii, and Lemma 4.1 with the test-function expansions for the linear theory — which are stated without proof; if any of them fails in the parameter range (2.7)–(2.12), the approximate solution would carry an uncontrolled error and the contraction argument would not close.","fun_headline_variants_meta":{"raw":{"variants":["Prescribed signs for blow-up on pierced domains","Mixed-sign blow-up at any chosen points","For sinh-Poisson, tiny holes give signed blow-up","Sign-alternating blow-up via hole-size tuning","Arbitrary sign patterns for blow-up in planar domains"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0017,"raw_usage":{"total_tokens":6894,"prompt_tokens":1268,"completion_tokens":5626,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":884,"completion_tokens_details":{"reasoning_tokens":5550}},"tokens_in":884,"tokens_out":5626,"duration_ms":293091,"temperature":1.0,"reasoning_tokens":5550,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:33:48.242995+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"The quantitative crux is the residual estimate (2.13): at the parameter choices (2.7)–(2.12) one must have $\\|R\\|_p=O(\\rho^{\\sigma_p})$ with $\\sigma_p>0$ for some $p>1$, so that $|\\log\\rho|\\,\\|R\\|_p\\to 0$. A concrete check would be to take the simplest non-trivial case — $\\Omega$ the unit disk, one hole, $V_1=V_2=1$, $\\tau=1$, and the endpoint $m_1=m=1$ — write the ansatz $U$ explicitly for the parameters prescribed by (2.12), and compute the residual $R=\\Delta U+\\rho(e^U-e^{-\\tau U})$ on a sequence $\\rho\\to 0$; if $\\rho^{-\\sigma}\\|R\\|_p$ with some fixed $p>1$ is not bounded, or if a logarithm of $\\rho$ survives, then the estimate (2.13) fails and the fixed-point argument collapses.","supporting_citations":[{"cited_title":"Esposito, P","cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic expansion machinery for the projected bubbles (Lemmas 2.1 and 2.3) and the test-function expansions for the linear theory (Lemma 4.1), which the paper uses without proofs."},{"cited_title":"Ould Ahmedou, A","cited_arxiv_id":null,"evidence_quote":"Introduced the perturbative approach on pierced domains for the mean-field equation whose projection and linear-theory framework is adapted here."},{"cited_title":"del Pino, P","cited_arxiv_id":null,"evidence_quote":"Classifies bounded solutions of the limiting linearized operator $\\Delta \\varphi+2\\alpha_i^2|y|^{\\alpha_i-2}(1+|y|^{\\alpha_i})^{-2}\\varphi=0$, used to identify the kernel in the linear theory."},{"cited_title":"Pistoia, T","cited_arxiv_id":null,"evidence_quote":"Provides earlier concentrating solutions for a Liouville-type equation with variable intensities when parameters are close to $8\\pi$, a baseline the present small-$\\rho$ result does not require."},{"cited_title":"Pistoia, T","cited_arxiv_id":null,"evidence_quote":"Gives sign-changing tower-of-bubbles solutions for a sinh-Poisson equation with asymmetric exponents, a related existence result that motivates the mixed-sign construction."}],"review_version":1}