{"id":"ae128fbb-811c-41ab-a1e5-720d2d2726b1","arxiv_id":"2506.07577","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":8.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For each s in (1/2,1), every finite-mass solution of (-Δ)^s u = e^u on R equals one explicit profile Q_s up to translation and scaling.","lead":"For fractional orders between one half and one, all finite-mass solutions of the fractional Gelfand equation on the real line are translations and scalings of one symmetric profile. The paper introduces a nonlocal shooting method that settles the classification and may serve as a template for other nonlocal elliptic uniqueness problems.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Existence proof depends on the unproved reverse HLS inequality (5.6) at q=1/(1+α); if the cited endpoint is misstated, Lemma 5.2 and the σ→0 limit collapse.","rationale":"The reader's weakest-assumption pick is exactly mine: the reverse HLS inequality at the conformal endpoint is the load-bearing external input. Lemma 5.2 is the only place where σ-independent bounds are derived, and without (5.6) the σ→0 limit in Lemma 5.3 cannot be justified. The rest of the argument—implicit function theorem, nondegeneracy via Laplace transform, moving-plane symmetry—appears internally consistent and well executed.\n\nI did not find a more serious internal flaw. The algebraic steps in Lemma 5.2 check out, the scaling of the kernel |x-y|^{2α} indeed selects q=1/(1+α) as the conformal exponent, and the cited literature plausibly covers this case. Therefore the concern is a dependency to verify, not a demonstrated error. The paper's acceptance and high confidence are reasonable, provided the citations genuinely support (2.6) in the stated endpoint form. My verdict remains unchanged.","tokens_in":34525,"tokens_out":35531,"duration_ms":400543,"concrete_test":"Independently verify the reverse HLS inequality (5.6) at q=1/(1+α) by consulting the cited references; specifically, confirm that the relevant result in [4,2,21,7] contains the case β=0 for the kernel |x-y|^{2α} on R with q=1/(1+α), that the range condition q>1/(1+2α) is satisfied, and that the constant is uniform over all nonnegative ρ∈L^1∩L^q without extra symmetry or weight assumptions. If the cited theorems are stated only for the standard Riesz kernel |x-y|^{-λ}, recompute the conformal exponent for |x-y|^{2α} and check whether q=1/(1+α) is the correct endpoint.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.2's existence proof rests on Lemma 5.2, which needs the reverse HLS inequality (5.6) at the conformal endpoint q=1/(1+α) for the growing kernel |x-y|^{2α}. The paper states (2.6) in Section 2.1 and cites [4,2,21,7] without proof. If the endpoint case β=0 is not exactly covered by those references, or if the inequality requires additional hypotheses (e.g., symmetric-decreasing ρ or an extra weighted L^1 bound), then the σ-independent L^p bounds (5.9) fail; in particular the L^{2/(1+α)} bound needed for the dominated-convergence step in Lemma 5.3 Step 1 is lost, and the passage σ_n→0 to a fixed point of T_λ cannot be concluded. Since Theorem 1.3 (uniqueness) relies on the existence of fixed points through the continuation argument in Lemma 6.3, both main theorems would be affected. The algebra in Lemma 5.2 is otherwise correct, and the cited inequality is likely valid, but this is the single point where an unproved external input carries the entire existence argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the one-dimensional fractional Gelfand equation (-Δ)^s u = e^u with e^u ∈ L^1(R) for s ∈ (1/2,1). The main results are that all such solutions are smooth, even after a translation, strictly monotone in |x|, and unique up to the scaling/translation symmetry u(x) ↦ u(µ(x+y)) + 2s log µ; in addition, every solution has finite Morse index and the linearized operator is nondegenerate. The proof rewrites the equation in terms of v = √(e^u), leading to the nonlocal first-order equation ∂_x v = -1/2 H_α(v²)v and a fixed point scheme T_λ. A Gaussian regularization T_λ^(σ) provides compactness, and a careful σ→0 limit using a reverse Hardy–Littlewood–Sobolev inequality gives existence for the original equation. Uniqueness is obtained through a nondegeneracy lemma and a global continuation argument, and the final sections extend the results to a class of nonconstant positive, even, monotone kernels K(x).","tokens_in":34730,"tokens_out":18791,"duration_ms":194271,"significance":"If correct, the paper gives a complete classification of finite-mass solutions to the fractional Gelfand equation in the supercritical range s > 1/2, which is genuinely new: the endpoint s = 1/2 had been understood via conformal invariance, but the present range requires different tools. The nonlocal shooting method, the use of the conjugate Riesz potential H_α, and the reverse HLS inequality at the conformal endpoint are interesting and likely to be influential. The paper is carefully written and the central arguments are internally consistent; the proofs of existence, including the delicate passage σ_n → 0, and of uniqueness via continuation and Perron–Frobenius arguments are detailed. The main external inputs are the reverse HLS inequality and a spectral bound from [3]; both are cited rather than proved, which is acceptable if the precise statements are included, but should be made fully transparent.","major_comments":[],"minor_comments":[{"comment":"There is a notation inconsistency: Section 1.2 and Theorem 1.5 define T_u = ∂_x u and R_u = x∂_x u + 2s, but the proof of Theorem 1.5 uses R = ∂_x u and T = x∂_x u + 2s. Since the final span is the same, this is only a presentation issue, but the notation should be aligned.","section":"7.2"},{"comment":"The text says 'multiplying both sides with -xv', but the displayed identity corresponds to multiplication by -2xv. Please correct the factor or the wording.","section":"5.2, Eq. (5.2)"},{"comment":"The reverse HLS inequality (2.6)/(5.6) is cited rather than proved. In the present application, with µ = 2α and q = 1/(1+α), the condition q > 1/(1+µ) holds and β = 0 is the conformally invariant endpoint, so the concern that the endpoint might be misstated does not land on reading the paper; nevertheless, please add a precise statement of the cited theorem, for example from [4] or [21], so the reader can verify that the endpoint case is exactly covered.","section":"2.1 / Lemma 5.2"},{"comment":"The finite-Morse-index bound imports [3, Theorem 1.1], which appears to be a recent preprint. Please state the theorem and explicitly verify its hypotheses for V = e^u, in particular that V ∈ L^1(R; |x|^{2α} dx) ∩ L^∞(R), so the reliance is transparent.","section":"7.1, Proposition 1.1"},{"comment":"For σ ≠ 0, the proof invokes Lemma 4.1, but the equation solved by u = log(K^{-1}v²) is (-Δ)^s u = e^{-σ²x²}K e^u, not (1.1). The modified kernel e^{-σ²x²}K also satisfies Assumption (A), so the conclusion is unaffected, but this should be said explicitly.","section":"5.1, Proposition 5.1"}],"recommendation":"minor_revision","confidential_remarks":"This is a strong paper that should be published after minor revision. The main risk is the reliance on external results, particularly the reverse HLS inequality and the spectral bound from [3]; asking for precise statements of these theorems will be sufficient. There are no concerns about novelty or overlap; the references to [17] and [18] are clearly flagged as future work."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a high-quality, careful paper that solves a real open problem in the one-dimensional fractional Gelfand equation. It deserves a serious referee and likely acceptance after minor revision.\n\nThe genuinely new result is Theorem 1.3: for every s in (1/2,1), there is exactly one finite-mass solution profile modulo translation and scaling. The s=1/2 case was known via conformal invariance; the non-conformal range needed new tools. The fixed-point reformulation with v = sqrt(e^u), the conjugate Riesz potential, the Gaussian regularization with sigma->0 limit, and the continuation uniqueness argument are all substantial. The proofs are detailed and internally consistent. The paper also establishes symmetry, smoothness, finite Morse index, and nondegeneracy, which round out the picture. The extension to nonconstant K under Assumption (A) is a useful bonus.\n\nThe soft spots are minor. The reverse Hardy-Littlewood-Sobolev inequality is used at the conformal endpoint q=1/(1+alpha) in Lemma 5.2 without proof, and the sigma-independent L^p bounds that carry the existence argument hang on it. That is the one load-bearing external input, and it is cited to four references. The endpoint is correctly stated - q = 2/(2+2alpha) matches the needed q - so I don't think the concern is fatal. A referee should ask for a precise statement with the exact endpoint conditions, or a proof in an appendix, but this is not a reason to doubt the result. Similarly, the negative-eigenvalue bound from [3] is cited without proof; that's standard. There is a small normalization slip in the proof of Theorem 1.3 where the text sets u(0)=0 but then defines Q_s with Q_s(0)=1; this is a cosmetic error in exposition, not a mathematical gap.\n\nThe citation pattern is healthy. Self-citations are to technique in [1] and to the upcoming thesis [17], neither of which states the main theorem. The circularity burden is low.\n\nWho is this for? Specialists in nonlinear PDEs, fractional Laplacian, and Liouville-type classification problems. Anyone working on fractional Gelfand equations will need to cite it.\n\nMy verdict: accept for peer review. The central argument holds up, the soft spots are minor, and the result is new and complete.","headline":"Completes the classification for s in (1/2,1) with a novel fixed-point proof; solid, minor external-input caveats, worth a serious referee.","tokens_in":35294,"tokens_out":3530,"would_cite":true,"duration_ms":41090,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R11","35A01","35A02","35B06"],"pacs":[],"model":"deepseek-v4-flash","headline":"Fractional Gelfand equation has exactly one solution shape","keywords":["fractional Gelfand equation","fractional Laplacian","nonlocal Liouville equation","uniqueness","fixed point method","reverse Hardy-Littlewood-Sobolev inequality","conjugate Riesz potential","finite Morse index"],"falsifier":"Compute or look up the sharp constant in the reverse Hardy-Littlewood-Sobolev inequality (2.6) at $\\beta=0$, $q=1/(1+\\alpha)$ for $\\alpha\\in(0,\\tfrac12)$; a counterexample pair $\\rho\\in L^1\\cap L^q$ violating the inequality would break Lemma 5.2 and the $\\sigma\\to 0$ existence step. Alternatively, numerically shoot fixed points of $T_\\lambda$ for $s=\\tfrac34$, $\\lambda=1$; two distinct even profiles with $v(0)=1$ would refute Theorem 1.3.","tokens_in":34299,"feed_emoji":"📐","tokens_out":5517,"duration_ms":53593,"temperature":0.7,"pith_summary":"This paper proves that the one-dimensional fractional Gelfand equation $(-\\Delta)^s u = e^u$ with finite mass $\\int_{\\mathbb{R}} e^u\\,dx < \\infty$ has, for every $s\\in(\\tfrac12,1)$, exactly one solution profile up to translation and scaling; the profile is smooth, even, and strictly decreasing. Existence is obtained by rewriting the equation with $v=\\sqrt{e^u}$ and finding fixed points of a nonlocal shooting map. The proof passes through a Gaussian-regularized version of the problem and takes a careful limit $\\sigma\\to 0$ using the reverse Hardy-Littlewood-Sobolev inequality at the conformally invariant endpoint. Uniqueness follows from a nondegeneracy result for the linearized map, and the same machinery yields analogous results for a class of positive, even, monotone-decreasing weights $K(x)$.","feed_headline":"Fractional Gelfand equation has just one solution shape","feed_subtitle":"For every s in (1/2,1), finite-mass solutions are unique up to shifting and scaling.","key_machinery":"The argument is carried by a fixed point scheme in the variable $v=\\sqrt{e^u}$, with the conjugate Riesz potential $H_\\alpha=H\\circ(-\\Delta)^{-\\alpha}$, $\\alpha=s-\\tfrac12$, converting the equation into the first-order nonlocal ODE $\\partial_x v=-\\tfrac12 H_\\alpha(v^2)v$. Fixed points of $T_\\lambda[v](x)=\\lambda\\sqrt{K(x)}\\exp(-\\tfrac12\\int_0^x H_\\alpha(v^2)\\,dy)$ are found first with a Gaussian weight $e^{-\\sigma^2 x^2}$ using Schaefer-Schauder fixed point theory, and the limit $\\sigma\\to 0$ is controlled by Pohozaev-type identities plus the reverse Hardy-Littlewood-Sobolev inequality in the conformally invariant case $q=1/(1+\\alpha)$, which supplies $\\sigma$-independent $L^p$ bounds. Uniqueness rests on a nondegeneracy lemma: the linearized fixed point operator has no eigenvalue $1$, proved by a positivity argument that represents a certain integral as the $L^2$ norm of a one-sided Laplace transform.","core_discovery":"The central discovery is Theorem 1.3: for every $s\\in(\\tfrac12,1)$, there exists a unique $Q_s\\in L_s(\\mathbb{R})$ such that every solution $u\\in L_s(\\mathbb{R})$ of $(-\\Delta)^s u=e^u$ with $e^u\\in L^1(\\mathbb{R})$ is $Q_s$ up to the symmetry $u(x)\\mapsto u(\\mu(x+y))+2s\\log\\mu$. The profile $Q_s$ is smooth, even, and strictly monotone-decreasing in $|x|$. Along with this, the paper establishes that every such solution has finite Morse index and is stable outside a compact set, and that the linearized operator $(-\\Delta)^s-e^u$ has kernel spanned exactly by the two symmetry modes $\\partial_x u$ and $x\\partial_x u+2s$.","pith_inferences":["The Laplace-transform proof of nondegeneracy suggests a spectral reading: the kernel of the linearized operator corresponds to a Perron-Frobenius eigenvalue problem on the half-line, which may extend to higher-dimensional radial problems with explicit kernels.","The $\\sigma\\to 0$ selection mechanism indicates that Gaussian regularization plus the conformal endpoint of the reverse Hardy-Littlewood-Sobolev inequality forces uniform mass and decay; the same template may apply to other nonlocal equations with exponential nonlinearities.","A concrete numerical consequence is that shooting fixed points of $T_\\lambda$ for fixed $s$ and varying $\\lambda=v(0)$ should produce a single branch; an observed bifurcation would signal a failure of the nondegeneracy lemma.","Because the authors note that fast-decaying $K$ may admit linear-growth solutions, the monotone non-decaying class of weights is likely sharp for the stated uniqueness result."],"forward_implications":["Any solution of $(-\\Delta)^s u=e^u$ with finite mass is smooth, even about some point, and strictly decreasing away from it.","The linearized operator is nondegenerate: all kernel elements are the translation and scaling modes.","All solutions have finite Morse index, so each is stable outside a compact set; no fully stable solution exists.","The uniqueness extends to $\\int_{\\mathbb{R}} K e^u\\,dx<\\infty$ for positive, even, monotone-decreasing $K$, with even solutions determined by their value at $0$.","The same uniqueness proof can be adapted to $s=\\tfrac12$, giving another proof of the classical nonlocal Liouville uniqueness."],"supporting_citations":[{"why":"Supplies the reverse Hardy-Littlewood-Sobolev inequality (2.6) used to obtain the $\\sigma$-independent $L^p$ bounds in Lemma 5.2.","marker":"[4]"},{"why":"Another source for the reverse Hardy-Littlewood-Sobolev inequality (2.6).","marker":"[2]"},{"why":"Another source for the reverse Hardy-Littlewood-Sobolev inequality (2.6).","marker":"[7]"},{"why":"Gives the sharp reversed Hardy-Littlewood-Sobolev inequality on $\\mathbb{R}^n$ cited for the conformally invariant endpoint.","marker":"[21]"},{"why":"Introduces the $v=\\sqrt{e^u}$ reformulation and fixed point scheme for the nonlocal Liouville equation on which the present scheme is built.","marker":"[1]"},{"why":"Supplies the non-existence of stable solutions quoted as Theorem 1.4, used to show the Morse index is at least one.","marker":"[8]"},{"why":"Provides the bound on negative eigenvalues of fractional Schr\\\"odinger operators used to prove finite Morse index.","marker":"[3]"},{"why":"Provides the Schaefer-Schauder fixed point theorem used to obtain existence for the Gaussian-regularized maps with $\\sigma\\neq 0$.","marker":"[15]"}],"fun_headline_variants":["Fractional Gelfand: one shape fits all s in (1/2,1)","Unique solutions for fractional Gelfand across all s","Nonlocal Gelfand equation: symmetry and uniqueness proved","Fractional Gelfand solutions are unique and symmetric","One solution profile for every fractional exponent s"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof relies on the reverse Hardy-Littlewood-Sobolev inequality in its conformally invariant endpoint $q=1/(1+\\alpha)$, cited rather than proved, to obtain the uniform $L^p$ control that lets Gaussian-regularized fixed points pass to the original equation; if that endpoint inequality fails for any $\\alpha\\in(0,\\tfrac12)$, the existence argument collapses.","fun_headline_variants_meta":{"raw":{"variants":["Fractional Gelfand: one shape fits all s in (1/2,1)","Unique solutions for fractional Gelfand across all s","Nonlocal Gelfand equation: symmetry and uniqueness proved","Fractional Gelfand solutions are unique and symmetric","One solution profile for every fractional exponent s"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000119,"raw_usage":{"total_tokens":1066,"prompt_tokens":905,"completion_tokens":161,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":521,"completion_tokens_details":{"reasoning_tokens":78}},"tokens_in":521,"tokens_out":161,"duration_ms":2476,"temperature":1.0,"reasoning_tokens":78,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T05:30:45.677463+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute or look up the sharp constant in the reverse Hardy-Littlewood-Sobolev inequality (2.6) at $\\beta=0$, $q=1/(1+\\alpha)$ for $\\alpha\\in(0,\\tfrac12)$; a counterexample pair $\\rho\\in L^1\\cap L^q$ violating the inequality would break Lemma 5.2 and the $\\sigma\\to 0$ existence step. Alternatively, numerically shoot fixed points of $T_\\lambda$ for $s=\\tfrac34$, $\\lambda=1$; two distinct even profiles with $v(0)=1$ would refute Theorem 1.3.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the reverse Hardy-Littlewood-Sobolev inequality (2.6) used to obtain the $\\sigma$-independent $L^p$ bounds in Lemma 5.2."},{"cited_title":"Beckner , Functionals for multilinear fractional embedding , Acta Math","cited_arxiv_id":null,"evidence_quote":"Another source for the reverse Hardy-Littlewood-Sobolev inequality (2.6)."},{"cited_title":"Dou and M","cited_arxiv_id":null,"evidence_quote":"Another source for the reverse Hardy-Littlewood-Sobolev inequality (2.6)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the sharp reversed Hardy-Littlewood-Sobolev inequality on $\\mathbb{R}^n$ cited for the conformally invariant endpoint."},{"cited_title":"Ahrend and E","cited_arxiv_id":null,"evidence_quote":"Introduces the $v=\\sqrt{e^u}$ reformulation and fixed point scheme for the nonlocal Liouville equation on which the present scheme is built."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the non-existence of stable solutions quoted as Theorem 1.4, used to show the Morse index is at least one."},{"cited_title":"Breteaux, J","cited_arxiv_id":null,"evidence_quote":"Provides the bound on negative eigenvalues of fractional Schr\\\"odinger operators used to prove finite Morse index."}],"review_version":1}