{"id":"22f8c7ea-bb3a-4b8f-9130-815aa5f0d04c","arxiv_id":"2504.20292","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":3,"one_line_summary":"In AdS3, a relaxed class of boundary conditions makes Einstein's equations reduce to two AKNS integrable hierarchies, and stationary black holes in this class have constant temperatures fixed by hyperelliptic spectra, illustrated by a cnoidal KdV black hole.","lead":"This paper shows that a relaxed set of AdS3 boundary conditions makes Einstein's equations reduce to two copies of the AKNS integrable hierarchy, and that stationary black holes in this class have constant temperatures set by hyperelliptic spectral curves. It also constructs a periodic cnoidal KdV black hole and computes its mass and entropy.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The temperature formula relies on an unproven periodic diagonal gauge; zeros of C± make g± singular for the cnoidal example, so the 'always constant' claim needs a direct holonomy derivation or a domain restriction.","rationale":"The reader's weakest assumption matches the soft spot I find. The constancy of (A±)^2+B±C± itself is not the issue: it follows immediately from the stationary form of (2.4). The underived step is the existence of a smooth periodic gauge diagonalizing a± and the choice of the thermal cycle. If the direct eigenvalue computation works, the claim is true but the paper's derivation is overcomplicated; if the diagonal gauge fails for the cnoidal solution, the entropy computation via (4.25)-(4.27) is also suspect. I therefore keep the CONDITIONAL verdict rather than moving to REJECT. Separately, the proof of the abelian algebra in §3.3.1 appears to require a summation shift with s = M̄ - n depending on the summation index n; this should be corrected, but it does not directly affect the black-hole temperature claim.","tokens_in":22279,"tokens_out":33642,"duration_ms":400933,"concrete_test":"Take the cnoidal KdV solution (4.10) with generic ν±, n±, λ± and compute the eigenvalues of the Euclidean connections a±τ in (2.28) directly. Impose exp(β± a±τ) = -I and check whether the resulting β± equals (4.23), without using the gauge (4.2)-(4.3). Simultaneously check whether the functions f± from (4.4), f± = (A± ± sqrt((A±)^2+B±C±))/C±, are smooth and 2π-periodic; count the zeros of C± = -2p± - 4λ±^2. If the direct eigenvalue computation reproduces (4.23) and f± are singular where C± vanishes, then the diagonalization step is unnecessary and the temperature claim survives, but the proof must be rewritten. If the direct computation fails or requires aφ, the theorem must be restricted to configurations where the thermal cycle is generated by ∂τ alone.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim of Section 4.1 is that for every stationary AKNS black hole the Euclidean regularity condition yields β± = nπℓ/sqrt((A±)^2+B±C±). The step that carries the argument is the assertion that the connection can be brought to the diagonal form (4.2) by a gauge transformation g± = exp(f±L±)exp(h±L∓) with periodic f±, h±. The paper states this without proving existence. In fact the quadratic in (4.4) gives f± = (A± ± sqrt((A±)^2+B±C±))/C±, which is generically singular at zeros of C±. For the paper's own cnoidal KdV example, C± = -2p± - 4λ±^2 and p±(φ) oscillates, so C± has zeros for typical parameters; the advertised periodic diagonalization does not exist globally. In addition, (4.1) imposes the holonomy condition on the time circle alone, exp(β aτ) = -I; for a stationary black hole whose horizon generator is a combination of ∂τ and ∂φ, the angular component aφ enters the regularity condition. The paper does not state which case is being treated. Because both the diagonal-gauge existence and the cycle choice are assumed rather than derived, the 'always constant' claim is not fully established for the general non-axisymmetric family.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript studies the relaxed AdS3 boundary conditions introduced in earlier work, in which the Einstein equations reduce to two chiral copies of the AKNS hierarchy. It constructs field-dependent asymptotic Killing vectors, computes the Regge-Teitelboim charges and shows they are integrable and span an abelian algebra, with energy and angular momentum contained in the tower of AKNS charges. The central physical claim is that every stationary black hole in this class has constant left and right temperatures beta_plus/minus = n*pi*l / sqrt((A_plus/minus)^2 + B_plus/minus C_plus/minus), with n odd, because the spectral polynomial (A_plus/minus)^2 + B_plus/minus C_plus/minus is constant on-shell; the paper then constructs an explicit KdV reduction and a cnoidal-wave black hole, computes its mass, temperature and entropy, and identifies the temperature with the band-edge spectrum of the associated Lame problem.","tokens_in":22550,"tokens_out":19589,"duration_ms":201164,"significance":"If the proof gaps are closed, the paper offers a genuine bridge between integrable hierarchies and black hole thermodynamics: the temperature becomes an algebraic function of the spectral curve, the charge algebra is abelian and built from standard AKNS integrals, and the cnoidal KdV solution provides a concrete non-axisymmetric example whose temperature is expressed through hyperelliptic data. The metric-level derivation from (2.1) to (2.4) and the charge calculation are nontrivial and largely cross-checked against the Chern-Simons formulation. These are explicit, falsifiable predictions and useful constructions. The main unresolved issue is the rigor of the universal temperature proof in Section 4.1 and, secondarily, the self-containedness of the charge-integrability relations; these are fixable without changing the overall direction.","major_comments":[{"comment":"The proof that beta_plus/minus is constant for all stationary AKNS black holes is not self-contained. First, the existence of a smooth 2pi-periodic gauge transformation g_plus/minus = exp(f_plus/minus L_plus/minus) exp(h_plus/minus L_minus/plus) bringing the connection to the diagonal form (4.2) is asserted without proof; Eq. (4.4) gives f_plus/minus = (A_plus/minus +/- sqrt((A_plus/minus)^2+B_plus/minus C_plus/minus))/C_plus/minus, and for the cnoidal solution (4.10) C_plus/minus = -2p_plus/minus - 4lambda_plus/minus^2 has simple zeros for generic parameters, so neither root is guaranteed to extend to a smooth periodic function on the circle. Second, the holonomy condition (4.1) is imposed on the pure time circle, but for an axisymmetric stationary black hole the thermal cycle is a combination of dtau and dphi; the paper should state when the angular component drops out. Since the advertised universal constancy of the temperature rests on these steps, the proof as written is incomplete. A direct derivation from the constancy of the spectral polynomial and the eigenvalues of a_plus/minus_tau would bypass the gauge-existence question, and I recommend adding it.","section":"Section 4.1, Eqs. (4.1)-(4.6)"},{"comment":"The variational identities alpha_plus/minus_n = ((n-1)/2) H_plus/minus_n and beta_plus/minus_(n-1) = delta H_plus/minus_n/delta r_plus/minus, gamma_plus/minus_(n-1) = delta H_plus/minus_n/delta p_plus/minus are imported from [50] without derivation. They are the step that converts the non-integrable variation (3.23) into the integrated charges (3.31), so the identification of the gravitational charges with the AKNS conserved charges depends on them. The notation is also inconsistent: H_n is called both the Hamiltonian density and the conserved charge in the same sentence. Please provide a derivation from the recursion relations (3.26)-(3.27), or at least a precise statement of the normalization and of the Hamiltonian density, and resolve the apparent index shift between delta H_n in (3.29) and H_(n+1) in (3.31).","section":"Section 3.2.1, Eqs. (3.28)-(3.31)"},{"comment":"The proof of the abelian algebra is too terse to be checked. The iteration used to obtain (3.49) assumes that the relation D1 S_(n+1) = D2 S_(n+2) can be applied s times without generating boundary terms, and the lambda powers in the sum are not shown to be invariant under the shift n -> n+s; the conclusion (3.50) then identifies the bracket with its negative, but the intermediate signs are not fully displayed. Please expand the argument so that the vanishing of the bracket can be verified step by step.","section":"Section 3.3.1, Eqs. (3.45)-(3.50)"}],"minor_comments":[{"comment":"The term gamma_+_n delta p_- appears twice in the integrand; the second occurrence should be gamma_-_n delta p_-.","section":"Eq. (3.30)"},{"comment":"The symbol xi appears in the mass formula without being defined anywhere, which makes the explicit expression for M_plus/minus unusable as written; please define xi or correct the typo.","section":"Eq. (4.22)"},{"comment":"References [38] and [41] refer to the same paper (Cardenas, Correa, Lara, Pino, Phys. Rev. Lett. 127 (2021) 161601); please consolidate to a single reference.","section":"References [38] and [41]"},{"comment":"The text refers to 'temperatures (4.23)' before the displayed equation is numbered; please place the equation number in the correct position. Also, the abstract says 'two copies of hyperelliptic curves'; the phrase should be adjusted grammatically to 'two hyperelliptic curves' or similar.","section":"Section 4.2, around Eq. (4.23)"}],"recommendation":"major_revision","confidential_remarks":"This is a serious contribution to the asymptotic-symmetries/integrable-models literature. I see no circularity problem: the temperature constancy is derived from the spectral-polynomial constancy, not fitted. The main proof gap in Section 4.1 is likely fixable by a direct holonomy computation, and the charge-integrability step can be made self-contained with additional derivation or a more precise reference. I recommend major revision rather than rejection; the authors should also distinguish the novel results from the earlier PRL [38] and ensure all formulas are self-contained."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Worth reading, but with a pencil. The paper takes the AKNS/AdS3 correspondence from the group's earlier PRL and pushes it into metric-formulation territory: explicit field-dependent Killing vectors, Regge-Teitelboim charges that reproduce the AKNS conserved charges, an abelian algebra proof based on the bi-Hamiltonian recursion, and a cnoidal KdV black hole with temperature tied to the hyperelliptic spectral curve. The cnoidal solution and its thermodynamics are the most concrete new piece; the mass and entropy calculations look careful, and the connection to the Lamé problem is elegant.\n\nThe soft spot is the temperature section. The claim that every stationary AKNS black hole has constant left/right temperatures rests on the existence of a periodic gauge transformation that diagonalizes the connection simultaneously on φ and τ. The paper asserts this, gives formulas for the gauge functions, and moves on. The stress-test note is right that the quadratic for f degenerates where C±=0, though in those places it reduces to a linear equation, so f need not blow up. The larger issue is global: a periodic family of commuting sl(2,R) matrices with constant eigenvalues can still have a non-trivial eigenvector bundle, and then the diagonalizing gauge is only quasi-periodic, not periodic. The paper never proves the bundle is trivial on the circle. The same gap underlies the 'always constant' claim for non-axisymmetric solutions. I would not call the claim false; it may well be true, and for the cnoidal example one can check it directly. But it is not established at the level of generality advertised.\n\nTwo more minor points. The integrability identities (3.28) are imported from [50] without derivation; they are standard in the AKNS literature, so I don't mind much, but a referee should ask for a self-contained statement. The abelian-algebra proof is terse; it relies on shifting indices in a sum, and the logic is not spelled out. Those are fixable in revision.\n\nOverall: the core construction of charges from the AKNS recursion is solid, and the cnoidal black hole is a genuinely new solution. The temperature story is promising but under-supported. This deserves a proper referee, not a desk rejection. I'd ask the referee to focus on the diagonalization existence condition and the domain of validity of (4.6). For my own work, I'd cite the charge construction and the cnoidal solution, not the 'always constant' theorem until it's tightened.","headline":"A solid extension of the AKNS/AdS3 program with a genuinely new cnoidal black hole, but the 'always constant' temperature claim rests on an unproven diagonal gauge existence.","tokens_in":23099,"tokens_out":5738,"would_cite":true,"duration_ms":58109,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"deepseek-v4-flash","headline":"Stationary black holes in the AKNS asymptotic class of AdS3 always have constant left and right temperatures, fixed by the spectral polynomial of the integrable hierarchy, even when the solution is not axisymmetric.","keywords":["AdS3 gravity","asymptotic symmetries","AKNS hierarchy","integrable systems","black hole thermodynamics","KdV equation","hyperelliptic curve","Chern-Simons gravity"],"falsifier":"Take any stationary, non-axisymmetric AKNS solution (for example, a nonconstant cnoidal KdV solution with nonzero $p_\\pm'$) and evaluate $(A_\\pm)^2+B_\\pm C_\\pm$ at two different angular positions using the explicit fields; if the two values differ on-shell, the spectral polynomial is not constant and the claimed temperature formula collapses.","tokens_in":21968,"feed_emoji":"🕳️","tokens_out":18874,"duration_ms":165835,"temperature":0.7,"pith_summary":"This paper shows that a wide family of asymptotically AdS$_3$ spacetimes, defined by relaxing the standard boundary fall-off, is governed at the boundary by the AKNS integrable hierarchy—an infinite family of nonlinear equations with an infinite tower of conserved charges. The authors construct the field-dependent Killing vectors and canonical charges of this asymptotic structure and show that the charges close into an abelian algebra inherited from the integrable system. Their main thermodynamic result is that every stationary black hole in this class has constant left and right temperatures, with $\\beta_\\pm = n\\pi\\ell/\\sqrt{(A_\\pm)^2+B_\\pm C_\\pm}$, even when the metric depends on the angular coordinate and is not axisymmetric. The constancy follows because the spectral polynomial $(A_\\pm)^2+B_\\pm C_\\pm$ is constant on-shell, the same hyperelliptic curve that organizes the integrable system. A periodic 'cnoidal' KdV solution realizes the construction explicitly, giving a concrete non-axisymmetric black hole with closed-form mass, entropy, and temperature.","feed_headline":"Stationary AKNS black holes always have constant temperature","feed_subtitle":"Even non-axisymmetric solutions get a fixed temperature from the hyperelliptic curve.","key_machinery":"The load-bearing object is the spectral polynomial of the AKNS hierarchy, $y^2=(A_\\pm)^2+B_\\pm C_\\pm$, which is constant on-shell and defines a hyperelliptic curve whose branch points encode the conserved data of the stationary solution. In the diagonal gauge, the Euclidean connection's temporal component becomes $\\eta_\\pm=2\\sqrt{(A_\\pm)^2+B_\\pm C_\\pm}$, so the holonomy condition for regular black holes fixes $\\beta_\\pm = n\\pi\\ell/\\sqrt{(A_\\pm)^2+B_\\pm C_\\pm}$. For the KdV reduction this identity factorizes as $16(\\lambda^2-E_0)(\\lambda^2-E_1)(\\lambda^2-E_2)$, connecting the temperature to the band-edge eigenvalues of the associated quantum mechanical problem and making the temperature a purely algebraic function of the curve.","core_discovery":"The paper's central claim is that integrability of the boundary dynamics forces the temperature of every stationary black hole in the AKNS asymptotic class to be constant, regardless of axisymmetry. Concretely, after Euclidean continuation and a periodic gauge transformation that diagonalizes the auxiliary connections, the holonomy regularity condition yields $\\beta_\\pm = n\\pi\\ell/\\sqrt{(A_\\pm)^2+B_\\pm C_\\pm}$ with $n$ odd; the square root is the spectral polynomial of the AKNS system, constant along solutions by the algebro-geometric relation attached to commuting Lax operators. The same logic produces the cnoidal KdV black hole from the $2\\pi$-periodic cnoidal solution $p_\\pm(\\varphi)=\\frac{2 n_\\pm^2 K_\\pm^2}{3\\pi^2}[\\nu_\\pm+1-3\\nu_\\pm\\,\\mathrm{sn}^2(\\frac{K_\\pm\\varphi}{\\pi n_\\pm},\\nu_\\pm)]$, whose temperature is $\\beta_\\pm=\\frac{\\pi\\ell}{4\\sqrt{(\\lambda_\\pm^2-E_0^\\pm)(\\lambda_\\pm^2-E_1^\\pm)(\\lambda_\\pm^2-E_2^\\pm)}}$, with $E^\\pm$ the band-edge energies of the associated quantum mechanical problem. The paper also computes the mass $M=M_+ + M_-$ and the entropy $S=\\frac{k}{2}\\oint(J_+ + J_-)$ from the Euclidean on-shell action, placing the construction within ordinary black hole thermodynamics.","pith_inferences":["A natural next step, not developed in the paper, would be to check whether the constancy of temperature implies a generalized zeroth law for integrable asymptotics, where the spectral curve plays the role usually played by the horizon surface gravity.","The singular values of $\\lambda_\\pm$ at which the inverse temperature diverges are precisely the branch points of the hyperelliptic curve; this suggests that allowed black hole parameters are classified by the spectral gaps of the associated quantum problem, a selection rule the authors only hint at.","Because the charges are abelian and infinite in number, a generalized Gibbs ensemble built from all AKNS charges may be the correct statistical description of these black holes, potentially refining the entropy count for the cnoidal solution.","One could test the central mechanism by numerically constructing a stationary non-axisymmetric solution of another AKNS member and directly evaluating the angular derivative of $(A_\\pm)^2+B_\\pm C_\\pm$; constancy would confirm that the phenomenon is not an artifact of the KdV example."],"forward_implications":["Every stationary AKNS black hole, even a non-axisymmetric one with nontrivial angular profile, carries a well-defined constant Hawking temperature fixed only by spectral-curve data.","For the KdV class, the temperature is literally an eigenvalue expression built from band-edge energies of the associated quantum mechanical problem, tying black hole thermodynamics to the band structure of an integrable quantum model.","The conserved charges of the asymptotic symmetry algebra coincide with the infinite tower of AKNS charges, so energy and angular momentum sit inside an abelian algebra; angular momentum is conserved only in the strictly axisymmetric limit.","The cnoidal KdV solution is an explicit non-axisymmetric black hole whose mass and entropy are calculable in closed form, so the framework generates concrete thermodynamic examples beyond the usual stationary axisymmetric solutions.","The same constant-temperature formula should apply to every other member of the AKNS hierarchy, such as mKdV or nonlinear Schrödinger stationary solutions, whenever they admit a periodic stationary configuration."],"supporting_citations":[{"why":"Establishes the Chern-Simons to AKNS dictionary that defines the asymptotic class and its two chiral copies.","marker":"[41]"},{"why":"Introduces the AKNS system and the zero-curvature/Lax-pair formulation from which the hierarchy is built.","marker":"[42]"},{"why":"Supplies the algebro-geometric relation between commuting Lax operators and the hyperelliptic spectral curve used to prove temperature constancy.","marker":"[46]"},{"why":"Provides the relaxed boundary conditions and radial gauge from which the AKNS metric (2.1) is derived.","marker":"[25]"},{"why":"Gives the Hamiltonian surface-charge method used to compute the canonical charges and their algebra.","marker":"[49]"},{"why":"Earlier diagonal-gauge black hole thermodynamics that the paper extends and contrasts with the full AKNS treatment.","marker":"[17]"},{"why":"Shows KdV realized as an asymptotic symmetry of AdS3, providing the particular integrable reduction studied in Section 4.2.","marker":"[32]"}],"fun_headline_variants":["Integrability forces constant temperature for all AKNS black holes","No axisymmetry needed: AKNS black holes have fixed temperature","Hyperelliptic curve pins down temperature of stationary AKNS black holes","All stationary AKNS black holes share one temperature: constant","KdV black hole from cnoidal soliton: temperature set by hyperelliptic curves"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For every stationary solution, one can find a smooth, angle-periodic change of variables that puts the Euclidean gauge connection into the diagonal form used in the holonomy computation; if such a change does not exist for some stationary AKNS black hole, the constancy proof and the explicit formula for the temperature do not apply.","fun_headline_variants_meta":{"raw":{"variants":["Integrability forces constant temperature for all AKNS black holes","No axisymmetry needed: AKNS black holes have fixed temperature","Hyperelliptic curve pins down temperature of stationary AKNS black holes","All stationary AKNS black holes share one temperature: constant","KdV black hole from cnoidal soliton: temperature set by hyperelliptic curves"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000236,"raw_usage":{"total_tokens":1556,"prompt_tokens":1050,"completion_tokens":506,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":666,"completion_tokens_details":{"reasoning_tokens":415}},"tokens_in":666,"tokens_out":506,"duration_ms":4985,"temperature":1.0,"reasoning_tokens":415,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-16T05:33:38.374995+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take any stationary, non-axisymmetric AKNS solution (for example, a nonconstant cnoidal KdV solution with nonzero $p_\\pm'$) and evaluate $(A_\\pm)^2+B_\\pm C_\\pm$ at two different angular positions using the explicit fields; if the two values differ on-shell, the spectral polynomial is not constant and the claimed temperature formula collapses.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the AKNS system and the zero-curvature/Lax-pair formulation from which the hierarchy is built."},{"cited_title":"Gesztesy, H","cited_arxiv_id":null,"evidence_quote":"Supplies the algebro-geometric relation between commuting Lax operators and the hyperelliptic spectral curve used to prove temperature constancy."},{"cited_title":"Regge and C","cited_arxiv_id":null,"evidence_quote":"Gives the Hamiltonian surface-charge method used to compute the canonical charges and their algebra."}],"review_version":1}