{"id":"f93def4a-c400-462e-b827-3c67513dc633","arxiv_id":"2606.29299","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Bayesian optimization on low-dimensional Negishi-weight equilibrium manifolds enables reliable computation and probabilistic certification of optimal carbon taxes in a calibrated heterogeneous-agent climate economy.","lead":"The paper demonstrates that Bayesian optimization can locate approximate optimal policies in heterogeneous-agent macroeconomic models when the equilibrium manifold admits a low-dimensional parameterization by Negishi weights, and can certify solutions probabilistically. A smart generalist might read it because the approach targets a long-standing computational bottleneck in climate-economy modeling with heterogeneous agents.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"Central claim is conditional on low-dimensional Negishi-weight parameterization of the equilibrium manifold, which is asserted but not explicitly dimension-checked in the climate application.","rationale":"The reader's weakest_assumption directly identifies the structural precondition stated in the abstract. Because the full manuscript applies the method to a specific economy without an explicit dimension verification step, the same assumption remains the load-bearing point; no stronger internal inconsistency or missing guarantee was located in the claim as formulated.","tokens_in":1613,"tokens_out":348,"duration_ms":26134,"concrete_test":"In the calibrated climate-economy model, vary the vector of Negishi weights over a fine grid, solve the equilibrium conditions at each point, and compute the numerical rank of the Jacobian of the market-clearing map with respect to the weights; if the rank exceeds the low dimension presupposed by the BO procedure (or if the manifold is not locally a smooth manifold of that dimension), the parameterization assumption fails for the target economy.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The strongest claim requires that the equilibrium manifold admits a low-dimensional parameterization by Negishi weights for Bayesian optimization to reliably locate approximate solutions and certify them with high probability. The paper states this condition holds for the dynamic heterogeneous-agent climate model and concludes that competitive equilibria are most likely unique under realistic damage calibration. However, uniqueness alone does not automatically establish that the effective dimension of the manifold (i.e., the number of free Negishi weights needed to trace all equilibria) remains low enough for the stated BO reliability and probabilistic certification guarantees to apply; if the numerical rank of the equilibrium map with respect to weights is higher than assumed, the procedure loses its claimed properties.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims that when the equilibrium manifold in heterogeneous-agent economies admits a low-dimensional parameterization by Negishi weights, Bayesian optimization reliably locates approximate competitive equilibria and can certify candidate solutions with high probability. The method is applied to a dynamic heterogeneous-agent economy with climate change to compute optimal carbon taxes; under realistic damage calibration the paper concludes that competitive equilibria are most likely unique.","tokens_in":1736,"tokens_out":347,"duration_ms":44921,"significance":"If the central claims hold, the work is significant because it imports recent Bayesian optimization techniques from machine learning to address the longstanding difficulty of multiple equilibria when computing optimal policy in heterogeneous-agent macroeconomic models. The climate-economy application illustrates a concrete use case for carbon-tax design. The paper explicitly credits the transfer of ML advances to a core problem in macroeconomics.","major_comments":[{"comment":"The reliability and high-probability certification guarantees of the Bayesian optimization procedure rest on the equilibrium manifold having a low-dimensional Negishi-weight parameterization. In the climate-model application the manuscript asserts this property and concludes that equilibria are most likely unique, yet it supplies no explicit verification of the effective dimension (numerical rank of the equilibrium map with respect to the Negishi weights). Uniqueness alone does not establish that the dimension remains low enough for the stated guarantees to apply.","section":"climate-model application"}],"minor_comments":[{"comment":"The abstract refers to 'high-probability certification' without a one-sentence pointer to the underlying probabilistic argument or error analysis; adding such a pointer would improve readability.","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and constructive feedback. The positive assessment of the paper's significance is appreciated. We respond to the single major comment below.","responses":[{"response":"We agree that an explicit verification of the effective dimension strengthens the application of the certification guarantees. The manuscript demonstrates that, under the realistic damage calibration, competitive equilibria are most likely unique by showing that the Bayesian optimization procedure consistently converges to the same point across multiple random initializations and that the posterior probability of additional equilibria is low. However, as the referee notes, this does not automatically confirm that the numerical rank of the equilibrium map with respect to the Negishi weights is sufficiently low. In the revised manuscript we will add a direct computation of this rank (via the numerical rank of the relevant Jacobian or equilibrium map) for the calibrated climate-economy example and report the resulting effective dimension.","revision_made":"yes","referee_comment":"The reliability and high-probability certification guarantees of the Bayesian optimization procedure rest on the equilibrium manifold having a low-dimensional Negishi-weight parameterization. In the climate-model application the manuscript asserts this property and concludes that equilibria are most likely unique, yet it supplies no explicit verification of the effective dimension (numerical rank of the equilibrium map with respect to the Negishi weights). Uniqueness alone does not establish that the dimension remains low enough for the stated guarantees to apply."}],"tokens_in":1174,"tokens_out":304,"duration_ms":31943,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is that Kubler frames equilibrium computation in HA economies as a search over Negishi weights and uses Bayesian optimization to handle possible multiplicity, then applies it to optimal carbon taxes in a dynamic climate model. The result is that competitive equilibria appear unique under the chosen damage calibration.\n\nWhat is new is the direct use of Bayesian optimization on the Negishi-weight parameterization to compute policy in this setting. Prior work on Negishi weights and equilibrium manifolds exists, but the combination with modern BO for certification in a climate HA model is the fresh angle. The paper does a clean job of stating the structural condition that makes the method work and showing a concrete application.\n\nThe soft spot is exactly the one flagged in the stress-test note. The reliability and high-probability certification claims rest on the manifold having low effective dimension in the Negishi weights. Uniqueness of equilibrium does not by itself guarantee that dimension stays small enough for the BO guarantees to apply. The paper asserts the condition holds for the example, but an explicit check on numerical rank or dimension in the climate calibration would make the argument tighter. Without seeing the full error analysis or validation runs, the certification part remains hard to judge from the abstract alone.\n\nThis is for people doing quantitative macro with heterogeneous agents and externalities who need reliable solvers when multiplicity is a concern. It is worth sending to referees because the computational problem is real and the proposed route is worth testing, even if revisions on the dimension verification are likely needed.","headline":"The paper shows Bayesian optimization over Negishi weights can locate equilibria in a heterogeneous-agent climate model and concludes likely uniqueness under realistic damages, but the low-dimensional manifold assumption needs explicit verification.","tokens_in":2223,"tokens_out":379,"would_cite":false,"duration_ms":27090,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"When the equilibrium manifold has a low-dimensional Negishi-weight parameterization, Bayesian optimization reliably finds approximate solutions and certifies them with high probability.","keywords":["Bayesian optimization","equilibrium manifold","Negishi weights","heterogeneous agents","carbon taxes","multiple equilibria","macroeconomics","climate policy"],"falsifier":"An economy whose equilibrium manifold requires a high-dimensional parameterization, in which Bayesian optimization fails to locate approximate solutions or to certify them at the claimed probability level.","tokens_in":2485,"feed_emoji":"","tokens_out":574,"duration_ms":42453,"temperature":0.7,"pith_summary":"The paper establishes that multiple equilibria complicate optimal policy computation in heterogeneous-agent economies. It shows that Bayesian optimization overcomes this barrier when the equilibrium manifold admits a low-dimensional parameterization by Negishi weights, delivering approximate solutions that can be certified with high probability. The method is applied to compute optimal carbon taxes in a dynamic economy with heterogeneous agents and climate damages. In the calibrated example, the approach indicates that competitive equilibria are most likely unique despite the externality.","feed_headline":"Bayesian optimization certifies equilibria via Negishi weights","feed_subtitle":"The low-dimensional parameterization lets the method locate optimal policies like carbon taxes with high-probability guarantees in heterogen","key_machinery":"Bayesian optimization performed over the low-dimensional Negishi-weight parameterization of the equilibrium manifold, which reduces the search for equilibria to a tractable space.","core_discovery":"The central claim is that Bayesian optimization applied to the low-dimensional Negishi-weight parameterization of the equilibrium manifold reliably locates approximate equilibria and provides probabilistic certification of their quality, as demonstrated by computing optimal carbon taxes in a heterogeneous-agent climate economy where equilibria are most likely unique under realistic damage calibration.","pith_inferences":["The dimensionality reduction via Negishi weights is what makes the high-dimensional equilibrium search tractable for the optimizer.","The same reduction could support policy calculations in other macroeconomic settings that feature potential equilibrium multiplicity.","Models without the low-dimensional property would mark the boundary where the certification guarantees cease to hold."],"forward_implications":["Optimal carbon taxes can be computed in dynamic economies with heterogeneous agents and climate change.","Competitive equilibria are most likely unique in the example economy with realistic calibration of damages.","Candidate solutions can be certified with high probability using the Bayesian optimization procedure.","Recent machine learning advances can be applied to core problems of multiple equilibria in macroeconomics."],"fun_headline_variants":["Negishi weights let Bayesian opt find macro equilibria","Bayesian optimization on equilibrium manifold with Negishi param","Computing optimal carbon taxes via Bayesian equilibrium search","High-probability certification of equilibria using Bayesian opt","Heterogeneous agent climate equilibria solved by Bayesian optimization"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The equilibrium manifold must admit a low-dimensional parameterization by Negishi weights, or else the reliability and certification guarantees of the optimization procedure do not apply.","fun_headline_variants_meta":{"raw":{"variants":["Negishi weights let Bayesian opt find macro equilibria","Bayesian optimization on equilibrium manifold with Negishi param","Computing optimal carbon taxes via Bayesian equilibrium search","High-probability certification of equilibria using Bayesian opt","Heterogeneous agent climate equilibria solved by Bayesian optimization"]},"model":"grok-4.3","cost_usd":0.004405,"raw_usage":{"total_tokens":2133,"prompt_tokens":527,"num_sources_used":0,"completion_tokens":69,"cost_in_usd_ticks":44049500,"prompt_tokens_details":{"text_tokens":527,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1537,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":527,"tokens_out":69,"duration_ms":20504,"temperature":1.0,"reasoning_tokens":1537,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T02:31:11.270227+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An economy whose equilibrium manifold requires a high-dimensional parameterization, in which Bayesian optimization fails to locate approximate solutions or to certify them at the claimed probability level.","supporting_citations":[],"review_version":1}