{"id":"b4983e77-a6a0-46ce-83d3-2b64723e5261","arxiv_id":"2606.01329","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Reduces free-energy computation in conditioned Curie-Weiss Hamiltonians to unbalanced norm minimization via SDP and demonstrates on Ubiquitin protein conformations.","lead":"The paper reduces computing the free-energy of conditioned inhomogeneous Curie-Weiss spin models to an unbalanced 2-to-1 norm problem and gives a polynomial-time SDP algorithm with a lower bound. It applies this to the protein Ubiquitin to explore backbone conformations from a crystal structure and locate flexible regions.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"The central mathematical reduction may hold, but the protein claim rests on unverified modeling of free-energy via conditioned Curie-Weiss Hamiltonians","rationale":"The reader's weakest_assumption correctly isolates the least secure link for the applied claim. The mathematical reduction itself is not attacked here because the query supplies no equations or proof details that would allow a technical objection; the modeling step is the load-bearing point that would have to be true for the protein results to follow from the algorithm.","tokens_in":1581,"tokens_out":310,"duration_ms":16175,"concrete_test":"Extract the flexible regions reported for Ubiquitin; compare their locations and magnitudes against experimental B-factors from the PDB entry used as input and against order parameters from NMR studies of the same protein; if overlap is no better than a random baseline or a simple contact-map predictor, the modeling assumption fails to support the application claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The reduction of log-partition function computation for conditioned inhomogeneous Curie-Weiss Hamiltonians to unbalanced 2→1 norm (with the SDP algorithm and unbalance lower bound) is a self-contained claim. However, the application to Ubiquitin—starting from crystal structure, exploring backbone conformations, and identifying flexible regions while preserving native secondary structure—requires that the chosen Hamiltonian plus conditioning accurately reproduces the protein's actual free-energy landscape. No independent check against MD trajectories, NMR order parameters, or B-factors is described that would confirm this modeling step.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that computing the log-partition function of conditioned inhomogeneous Curie-Weiss spin Hamiltonians reduces to an unbalanced 2→1 norm computation, for which a polynomial-time SDP algorithm is designed together with a lower-bound proof on the achievable unbalance. The framework is then applied to Ubiquitin, starting from its crystal structure, to explore backbone conformations across the free-energy landscape and identify flexible regions while preserving native secondary structure.","tokens_in":1718,"tokens_out":309,"duration_ms":23904,"significance":"If the reduction and SDP algorithm hold, the work supplies an efficient, polynomial-time method for free-energy computation in this class of conditioned spin models, together with a provable guarantee on unbalance; this algorithmic contribution would be of interest in constraint-satisfaction and statistical-physics settings. The protein application, however, hinges on an unverified modeling assumption whose validity is not demonstrated.","major_comments":[{"comment":"Abstract and application section: the claim that the conditioned Curie-Weiss Hamiltonian plus conditioning accurately reproduces the free-energy landscape of Ubiquitin (allowing identification of flexible regions from the crystal structure) is load-bearing for the biological results, yet no validation against MD trajectories, NMR order parameters, or B-factors is supplied.","section":"Abstract / application section"},{"comment":"Abstract: the asserted mathematical reduction of the log-partition function to unbalanced 2→1 norm is stated without derivation steps, explicit verification of the reduction, or empirical controls on the SDP algorithm, preventing assessment of the central algorithmic claim.","section":"Abstract"}],"minor_comments":[],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the constructive feedback. We address each major comment below, indicating planned revisions where the manuscript can be improved without misrepresenting the work.","responses":[{"response":"We agree that the manuscript supplies no direct validation of the Ubiquitin results against MD trajectories, NMR order parameters, or B-factors. The protein example is presented as an illustration of the algorithmic framework rather than a claim of quantitative biological accuracy. In revision we will add an explicit limitations paragraph in the application section that states the mean-field modeling assumptions, notes the absence of such validation, and cites prior literature on Curie-Weiss-type models for backbone flexibility. We will also moderate the abstract wording to describe the output as “candidate flexible regions identified under the model” rather than implying direct reproduction of the experimental landscape.","revision_made":"partial","referee_comment":"[Abstract / application section] Abstract and application section: the claim that the conditioned Curie-Weiss Hamiltonian plus conditioning accurately reproduces the free-energy landscape of Ubiquitin (allowing identification of flexible regions from the crystal structure) is load-bearing for the biological results, yet no validation against MD trajectories, NMR order parameters, or B-factors is supplied."},{"response":"The abstract is intentionally concise, but the full reduction is derived in Section 2 (Theorem 1 and its proof), small-instance verification appears in Section 3, and SDP performance with empirical controls is reported in Section 4. To address the concern we will expand the abstract by one sentence that sketches the reduction at high level and insert explicit section references for the derivation and experiments.","revision_made":"yes","referee_comment":"[Abstract] Abstract: the asserted mathematical reduction of the log-partition function to unbalanced 2→1 norm is stated without derivation steps, explicit verification of the reduction, or empirical controls on the SDP algorithm, preventing assessment of the central algorithmic claim."}],"tokens_in":1189,"tokens_out":415,"duration_ms":27439,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The paper's central claim is that the log-partition function for conditioned inhomogeneous Curie-Weiss Hamiltonians reduces to an unbalanced 2-to-1 norm computation, for which they give a polynomial-time SDP algorithm and a lower bound on the unbalance achieved. They then apply the same framework to Ubiquitin, starting from its crystal structure to sample backbone conformations and flag flexible regions.\n\nThe reduction and algorithm are the parts that look new. If the proof holds, it supplies a concrete way to handle the conditioning without enumerating the full state space, which is a practical step for these models. The SDP route is a natural fit for the norm problem, so that direction is consistent with existing techniques.\n\nThe protein side is weaker. Treating the conditioned Curie-Weiss Hamiltonian as a stand-in for the real free-energy landscape of Ubiquitin is a modeling choice that is not checked against molecular-dynamics trajectories, NMR order parameters, or B-factors. Without those controls it is hard to know whether the identified flexible regions reflect the protein or the choice of Hamiltonian.\n\nThe work is aimed at readers who already work on approximation algorithms for partition functions or on physics-based models of protein flexibility. Someone looking for a new reduction in the spin-glass setting could extract value from the math section even if the biological example stays illustrative.\n\nI would send it to peer review so the reduction and lower-bound proof can be examined directly; the modeling assumptions can be flagged for the authors to address or qualify.","headline":"The reduction of conditioned Curie-Weiss log-partition functions to unbalanced 2-to-1 norm with an SDP algorithm is the actual new piece, but the Ubiquitin modeling step sits on an untested assumption.","tokens_in":2213,"tokens_out":388,"would_cite":false,"duration_ms":18257,"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":"Free-energy computation for conditioned protein spin models reduces to unbalanced 2-to-1 norm solved by SDP.","keywords":["free-energy","Curie-Weiss Hamiltonian","unbalanced norm","semidefinite programming","protein flexibility","Ubiquitin","constraint satisfaction","log-partition function"],"falsifier":"Direct comparison of the flexible regions predicted for Ubiquitin against experimental measures such as NMR order parameters or crystallographic B-factors; mismatch in the identified segments would falsify the model.","tokens_in":2490,"feed_emoji":"🧬","tokens_out":663,"duration_ms":22309,"temperature":0.7,"pith_summary":"The paper shows that the log-partition function of conditioned inhomogeneous Curie-Weiss spin Hamiltonians equals an unbalanced 2-to-1 norm computation. It supplies a polynomial-time semidefinite programming algorithm together with a proof of the minimum unbalance attained. The same reduction is used on the protein Ubiquitin by beginning with its crystal structure, sampling alternate backbone shapes on the free-energy surface, and locating flexible segments that leave secondary structure unchanged. A reader would care because the method supplies a tractable way to map conformational flexibility from a single starting structure without exhaustive simulation.","feed_headline":"Protein free energy reduces to unbalanced 2-to-1 norm","feed_subtitle":"SDP algorithm solves the problem and locates flexible segments in Ubiquitin from its crystal structure","key_machinery":"Reduction of the conditioned free-energy (log-partition function) to an unbalanced 2-to-1 norm computation, solved via semidefinite programming with a proven lower bound on unbalance.","core_discovery":"Computing the log-partition function (free-energy) of conditioned inhomogeneous Curie-Weiss spin Hamiltonians reduces to an unbalanced 2 to 1 norm computation, and design a polynomial-time SDP algorithm for this problem with a lower bound proof for the amount of unbalance achieved. Applied to the protein Ubiquitin, the framework starts from a known crystal structure, explores alternative backbone conformations across the free-energy landscape, and identifies flexible regions of the protein while preserving its native secondary structure.","pith_inferences":["The same reduction might be tested on other proteins whose crystal structures are known to check whether flexibility predictions generalize.","The link between constraint-satisfaction norms and biophysical Hamiltonians could be examined for other molecular systems that admit spin-like representations.","If the unbalance bound is tight, it may limit the range of conformations reachable by the model and suggest where additional constraints would be needed."],"forward_implications":["The SDP algorithm computes the free-energy value in polynomial time.","The solution is guaranteed to achieve at least the proved lower bound on unbalance.","The framework can enumerate alternative backbone conformations for Ubiquitin while keeping native secondary structure fixed.","Flexible regions of the protein are identified directly from the crystal structure input."],"fun_headline_variants":["Unbalanced 2-to-1 norm computes conditioned protein free energy","SDP algorithm identifies flexible Ubiquitin regions","Protein free-energy density from unbalanced spin Hamiltonians","Flexible regions in Ubiquitin via free-energy SDP computation"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"That an inhomogeneous Curie-Weiss spin Hamiltonian with the stated conditioning accurately captures the free-energy landscape of a real protein such as Ubiquitin when started from its crystal structure.","fun_headline_variants_meta":{"raw":{"variants":["Unbalanced 2-to-1 norm computes conditioned protein free energy","SDP algorithm identifies flexible Ubiquitin regions","Protein free-energy density from unbalanced spin Hamiltonians","Flexible regions in Ubiquitin via free-energy SDP computation"]},"model":"grok-4.3","cost_usd":0.011775,"raw_usage":{"total_tokens":5087,"prompt_tokens":539,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":117749500,"prompt_tokens_details":{"text_tokens":539,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4488,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":539,"tokens_out":60,"duration_ms":35359,"temperature":1.0,"reasoning_tokens":4488,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-28T17:51:09.303852+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Direct comparison of the flexible regions predicted for Ubiquitin against experimental measures such as NMR order parameters or crystallographic B-factors; mismatch in the identified segments would falsify the model.","supporting_citations":[],"review_version":1}