{"id":"9b17f9bc-21eb-4410-a0d6-656679fafdf3","arxiv_id":"2508.17313","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"The enriched CREM free energy in the weak correlation regime equals the maximum over one parameter of a simple formula involving t, the path q, and ln 2, and this value is independent of the covariance function A.","lead":"This paper proves a Hopf-type variational formula for the free energy of an enriched continuous random energy model in the weak correlation regime, and shows the formula is universal across covariance functions. It also exhibits a non-convex example where the naive variational formula fails.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the theorem's assumptions are honestly stated and the proof chain is coherent; only minor normalization typos appear in Section 5.","rationale":"The reader identifies the finite left-derivative condition as the weakest assumption. I agree this is the least secure regularity hypothesis, but it is explicitly assumed in Theorem 1.3 and is used precisely where stated. Moreover, in the weak-correlation regime the condition is benign: A≤x and A(1)=1 force the left derivative at 1 to be at least 1, so the lower-envelope construction in Lemma 5.4 works. The theorem does not claim to cover all A≤x without this regularity, so the assumption is a limitation rather than an internal inconsistency. The rest of the proof, including the extension of FN to Q1, the explicit initial condition Ψ, the Hopf-formula reduction, and the comparison argument, appears internally consistent. The only substantive issue I noticed is a set of apparent coefficient typos in the finite-dimensional Hamiltonian computations in Section 5, but these do not appear to affect the direction of the inequalities or the M→∞ limit. The paper uses standard external tools (Biggins' shape theorem and Hamilton-Jacobi theory from [13,14]) and the main q=0 formula matches the known CREM result. Therefore I would keep the reader's ACCEPT verdict unchanged.","tokens_in":39485,"tokens_out":46996,"duration_ms":520629,"concrete_test":"Recompute Propositions 5.6 and 5.8 with the explicit finite-dimensional normalizations: set H_A^M(g)=inf_{p≥g} (1/(M+1))Σ A(p_m) and the transport Hamiltonian H_id^M(g)=Σ_m g_m, then verify that (5.26) and (5.29) hold with the correct coefficients. If the displayed 1/M factors are retained, check whether the chain (5.11) still yields the limit formula (1.11); if the inequalities fail under the corrected normalization, the finite-dimensional proof needs repair, and if they hold, the typos are harmless.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I reviewed the main line of proof for Theorem 1.3 and did not find a load-bearing flaw. The theorem is explicitly conditional on a finite left derivative of A at 1, and that hypothesis is used exactly where the paper says it is used (Lemma 5.4 and Remark 5.5). Under the weak-correlation assumption A(x)≤x with A(1)=1, the left derivative at 1, when it exists, is necessarily at least 1, so the δ used in Lemma 5.4 can be chosen and the convex Lipschitz lower envelope exists. The lower and upper sandwich in (5.9)-(5.11) is coherent, and the hopf-formula computations in Section 5 reduce correctly to the one-parameter variational formula (1.11). I did find apparent coefficient inconsistencies in the displayed computations of Proposition 5.6 and Proposition 5.8: for example, (5.26) and (5.29) contain 1/M factors while the surrounding definitions suggest 1/(M+1) or no factor. However, the inequalities in the supersolution argument go in the correct direction, and the infinite-M limits used to obtain the Hopf formulae would wash out any such finite-dimensional typo. I could not identify a gap that would change the verdict.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the continuous random energy model (CREM) with covariance A, enriched by a Ruelle-cascade term that couples the binary-tree spins to cascade weights. It defines an enriched free energy F_N(t,q) for step functions q, proves a Lipschitz extension to Q1 (Proposition 1.2), and computes the initial condition Ψ(q) explicitly (Theorem 1.7). The main result, Theorem 1.3, states that under A(x)≤x and a finite left derivative at 1, the limit f(t,q) is the one-parameter variational formula sup_{λ∈[0,1)} [λt + ∫_{1-λ}^1 q(u)du - ln2/(1-λ)], independent of A. The proof uses a Gaussian comparison sandwich (Lemmas 5.3–5.4), viscosity supersolution and subsolution arguments (Propositions 5.6 and 5.8), the external Hamilton–Jacobi framework of [13,14], and an explicit computation of the convex dual Ψ* (Proposition 5.9). Section 6 discusses the finite-left-derivative hypothesis as an open problem and constructs a two-speed covariance A_{θ,c} for which the naive variational extension strictly overestimates the true CREM free energy (Proposition 6.4).","tokens_in":39736,"tokens_out":15373,"duration_ms":168533,"significance":"If the main theorem is correct, it gives a new Hamilton–Jacobi proof of the known CREM free energy, establishes universality of the limit over all weak-correlation covariances, and provides a tractable enriched model interpolating between the CREM and the Ruelle probability cascade. The paper is careful about its hypotheses: the finite-left-derivative condition is used exactly where stated, in Lemma 5.4, and the limitations of the non-convex extension are honestly recorded. The explicit initial condition Ψ, the closed-form dual Ψ*, and the counterexample outside the weak-correlation regime are concrete contributions. The proof is detailed and the reliance on external results is clearly flagged; there are no fitted parameters and the central claim is falsifiable.","major_comments":[],"minor_comments":[{"comment":"The normalization and index ranges in these displays do not match the definition of H^A_M in Proposition 5.6. The sums should run over m=0,...,M with factor 1/(M+1); as written, the displayed equality followed by the Jensen step is not algebraically correct. The intended inequalities are clear and local, but the displayed proof should be corrected.","section":"Section 5, Eq. (5.26), (5.29)"},{"comment":"The sequence q_i^M is defined for i=0,...,M+1, but C^(M) has M+1 coordinates q_0,...,q_M; the upper index should be M.","section":"Section 5, paragraph before Eq. (5.12)"},{"comment":"The sentence after (5.27) says one can substitute q'−q_N by q' in (5.28); since (5.28) already contains q'−q_N, the intended statement is that the cone structure lets one replace q'−q_N by an arbitrary element of C^(M)_≤. Please rephrase for clarity.","section":"Section 5.1, proof of Proposition 5.6"},{"comment":"In the lower-bound part, the text cites '(4.29) follows from the fact that z_M(σ)∼N(0,N)' but equation (4.29) has not yet appeared at that point; the cross-reference should be corrected.","section":"Section 4, proof of Theorem 1.7"},{"comment":"In the display following (5.47), the term 'u∗(y2)' should presumably be 'u∗(y)^2'; the surrounding computation indicates a typographical error.","section":"Section 5.3, proof of Proposition 5.9"}],"recommendation":"minor_revision","confidential_remarks":"The central argument of the paper is coherent and the limitations are stated honestly. I found no load-bearing flaw; the main issue is the normalization/index inconsistencies in the displayed computations of Section 5, which should be fixed before publication. The paper is a solid contribution to the Hamilton–Jacobi approach to disordered systems."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper deserves a serious referee. The headline result is not the free energy itself — for q=0 in the weak-correlation regime it reproduces known CREM values — but the route to it: an enriched model that puts the CREM into the Hamilton–Jacobi framework, an explicit initial condition, and a clean Hopf-formula proof that the limit is independent of the covariance A. The non-convex counterexample in Section 6.2 is a useful sanity check: it shows that a naive variational extension overestimates the true free energy. That is a real contribution, not a restatement.\n\nWhat I like most is the bookkeeping. Theorem 1.3 is stated with the finite-left-derivative hypothesis, the proof uses that hypothesis exactly where Lemma 5.4 needs it, and the outlook (Section 6.1) honestly explains why removing it is not a trivial continuity argument. The initial-condition computation in Section 4 is the most original technical part, and the use of Biggins' shape theorem is appropriate. The dependence on external HJ theory is standard; the authors say what they import and what they prove.\n\nSoft spots, in proportion. The finite-left-derivative assumption is genuinely restrictive; the paper does not remove it, and the REM-based route sketched in Section 6.1 is left open. That is fine, but it means Theorem 1.3 is not the last word on the weak-correlation regime. The non-convex analysis is confined to a two-piece linear A; it illustrates the failure mode but does not give a general theory. The stress-test note found apparent coefficient inconsistencies in the displayed computations of Proposition 5.6 and 5.8 (e.g., 1/M versus 1/(M+1) factors). They do not appear load-bearing — the inequalities point the right way and the infinite-M limit washes them out — but a referee should ask the authors to fix them. The self-citations are benign: one is an alternative proof of a range-filling fact, the other restates the known CREM formula.\n\nOverall: the central argument holds up, the limitations are labeled, and the method is genuinely new even if the q=0 answer is not. This is the kind of paper that should go to a competent referee with a request to check the finite-dimensional approximation details and the typos. I would cite the enriched-model construction and the non-convex counterexample in my own work on HJ methods for disordered systems.","headline":"A careful, honest HJ proof of an enriched CREM variational formula that does not change the known q=0 answer but extends the method to a non-product configuration space; worth refereeing despite a restrictive derivative assumption and some harmless-looking typos.","tokens_in":40264,"tokens_out":992,"would_cite":true,"duration_ms":13341,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60K35","82B44"],"pacs":[],"model":"deepseek-v4-flash","headline":"For every continuous random energy model with covariance bounded by the identity and a finite one-sided slope at 1, the enriched free energy converges to a universal one-parameter variational formula independent of the covariance.","keywords":["continuous random energy model","enriched model","Ruelle probability cascade","weak correlation regime","Hopf formula","Hamilton-Jacobi equation","universality of free energy"],"falsifier":"Take $A(x)=x$, $q(u)=u$, $t=1$, and simulate the enriched partition function $-(1/N)\\mathbb{E}\\ln\\sum_{\\alpha}v_\\alpha\\sum_{\\sigma}\\exp(H_N)$ for increasing $N$; if the finite-$N$ values do not approach $\\sup_{\\lambda\\in[0,1)}(\\lambda+\\int_{1-\\lambda}^{1}u\\,du-\\ln2/(1-\\lambda))$, then Theorem 1.3 is false.","tokens_in":39284,"feed_emoji":"🧮","tokens_out":9172,"duration_ms":91156,"temperature":0.7,"pith_summary":"This paper proves that, for every continuous random energy model (CREM) whose covariance $A$ satisfies $A(x)\\le x$ and has a finite left derivative at $1$, the limiting free energy of a suitably enriched model is given by a single one-parameter variational formula independent of $A$. Because the covariance drops out entirely, the result confirms that in the weak-correlation regime the detailed shape of correlations is irrelevant to the thermodynamic limit. The proof passes through a Hamilton–Jacobi equation and a Hopf formula, yielding a new route to the CREM free energy and recovering the classical formula at zero enrichment. The paper also exhibits a non-convex covariance for which the naive extension of the formula fails, showing why the weak-correlation restriction is essential.","feed_headline":"Covariance shape drops out of CREM free energy","feed_subtitle":"An enriched model plus Hopf formula shows only one scalar matters in the weak-correlation limit.","key_machinery":"The engine is an enriched Hamiltonian built from the CREM field $H^A_N$ together with a Ruelle cascade: normalized weights $v_\\alpha$ and Gaussian fields $Y_q$ indexed by spin and cascade level, so the model interpolates between the CREM and the Ruelle probability cascade. The enrichment gives a complete overlap structure and makes the free energy tractable as a finite-dimensional Hamilton–Jacobi equation with monotone nonlinearity. The explicit initial condition $\\Psi$ is computed by writing the partition function as a nested branching-random-walk expectation and applying the asymptotic shape theorem for branching random walks. A Gaussian comparison lemma and a convex, Lipschitz lower envelope of $A$ sandwich the free energy between the identity-covariance case and the convex case, and the Hopf formula for the Hamilton–Jacobi equation collapses to the one-parameter supremum in Theorem 1.3.","core_discovery":"The central claim is Theorem 1.3: for all $t>0$ and all $q\\in Q^1$, the enriched free energy converges to $f(t,q)=\\sup_{\\lambda\\in[0,1)}\\bigl(\\lambda t+\\int_{1-\\lambda}^{1}q(u)\\,du-\\frac{\\ln 2}{1-\\lambda}\\bigr)$, for every covariance $A$ with $A(x)\\le x$ and finite left derivative at $1$. At $q=0$ this reads $f(t,0)=-\\ln2$ for $t\\le\\ln2$ and $f(t,0)=t-2\\sqrt{t\\ln2}$ for $t>\\ln2$. The theorem is proved by showing the free energy is the viscosity solution of an infinite-dimensional Hamilton–Jacobi equation with initial condition $\\Psi(q)=-\\ln2+\\int_0^1(q(u)-\\ln2/u^2)_+\\,du$, then solving the equation by a Hopf variational formula. A corollary is that the limit is universal in the weak-correlation regime: the only remnant of the enrichment is the integral of $q$ over an interval of length $\\lambda$ at the right endpoint.","pith_inferences":["If the pure-REM inequality proposed in Section 6.1 can be proved directly, the finite left-derivative hypothesis in Theorem 1.3 could be removed, extending universality to every covariance with $A(x)\\le x$; the paper identifies this inequality as the only obstruction.","The explicit gap in the non-convex example makes this enriched model a natural testbed for conjectures about non-convex multi-species mean-field models, because both the true free energy and the naive variational bound are computable.","The universal formula depends on $q$ only through $\\int_{1-\\lambda}^{1}q(u)\\,du$, so for many purposes a step-function or even constant enrichment path is as informative as a general path, which may simplify numerical checks."],"forward_implications":["The limiting free energy is the same for every covariance $A$ with $A(x)\\le x$ and finite left derivative at $1$, so within this regime the model is universal.","At zero enrichment, the formula reproduces the classical CREM transition: $f(t,0)=-\\ln2$ for $t\\le\\ln2$ and $t-2\\sqrt{t\\ln2}$ for $t>\\ln2$.","Because the initial condition $\\Psi$ is explicit, the variational formula can be solved in closed form, reducing the limit to a one-parameter supremum over $\\lambda$.","Outside the weak-correlation regime, the naive Hopf extension fails: for a simple non-convex covariance, it is strictly larger than the true limiting free energy."],"supporting_citations":[{"why":"Supplies the known limiting CREM free-energy formula that Theorem 1.3 recovers at $q=0$ and extends to the enriched setting.","marker":"[5]"},{"why":"Provides the Ruelle-cascade enrichment and the recursive expectation identity (Proposition 2.2) used to compute the initial condition.","marker":"[19]"},{"why":"Gives the Hamilton–Jacobi theory with monotone nonlinearities whose viscosity-solution and comparison results underpin the upper and lower bounds.","marker":"[13]"},{"why":"Yields the Hopf variational formula for finite-dimensional approximations of the Hamilton–Jacobi equation, from which the one-parameter formula is obtained.","marker":"[14]"},{"why":"Supplies the asymptotic shape theorem for branching random walks, used to prove the lower bound on the initial condition $\\Psi$.","marker":"[3]"},{"why":"Gives the exact REM free energy, which serves as the $q=0$ reference and as the proposed route to removing the derivative hypothesis.","marker":"[15]"}],"fun_headline_variants":["Weak-correlation CREM free energy ignores covariance shape","CREM limit universal: only one scalar from covariance matters","Hopf solution drops covariance details from CREM free energy","Enriched CREM: weak-correlation free energy is shape-blind","Free energy in weak CREM: no dependence on A's form"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof requires the covariance function to have a finite one-sided slope at its right endpoint, because that slope is used to construct a convex path lying below $A$; without it, the lower-bound sandwich and the theorem are not established.","fun_headline_variants_meta":{"raw":{"variants":["Weak-correlation CREM free energy ignores covariance shape","CREM limit universal: only one scalar from covariance matters","Hopf solution drops covariance details from CREM free energy","Enriched CREM: weak-correlation free energy is shape-blind","Free energy in weak CREM: no dependence on A's form"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.0003,"raw_usage":{"total_tokens":1728,"prompt_tokens":935,"completion_tokens":793,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":551,"completion_tokens_details":{"reasoning_tokens":709}},"tokens_in":551,"tokens_out":793,"duration_ms":7907,"temperature":1.0,"reasoning_tokens":709,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:06:20.708792+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take $A(x)=x$, $q(u)=u$, $t=1$, and simulate the enriched partition function $-(1/N)\\mathbb{E}\\ln\\sum_{\\alpha}v_\\alpha\\sum_{\\sigma}\\exp(H_N)$ for increasing $N$; if the finite-$N$ values do not approach $\\sup_{\\lambda\\in[0,1)}(\\lambda+\\int_{1-\\lambda}^{1}u\\,du-\\ln2/(1-\\lambda))$, then Theorem 1.3 is false.","supporting_citations":[{"cited_title":"Bovier and I","cited_arxiv_id":null,"evidence_quote":"Supplies the known limiting CREM free-energy formula that Theorem 1.3 recovers at $q=0$ and extends to the enriched setting."},{"cited_title":"Dominguez and J.-C","cited_arxiv_id":null,"evidence_quote":"Provides the Ruelle-cascade enrichment and the recursive expectation identity (Proposition 2.2) used to compute the initial condition."},{"cited_title":"Chen and J","cited_arxiv_id":null,"evidence_quote":"Yields the Hopf variational formula for finite-dimensional approximations of the Hamilton–Jacobi equation, from which the one-parameter formula is obtained."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the asymptotic shape theorem for branching random walks, used to prove the lower bound on the initial condition $\\Psi$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the exact REM free energy, which serves as the $q=0$ reference and as the proposed route to removing the derivative hypothesis."}],"review_version":2}