Unlocking Light Nuclei with Chiral Theory
![The study demonstrates that finite-difference computations of the expectation value [latex]E(\nu)E^{(\nu)}[/latex]-using both J-NCSM and M-NCSM methods-achieve relative errors comparable to exact Rayleigh-Schrödinger computations across NLO, N2LO, and N3LO orders, with errors modeled by [latex]E\_{\epsilon}(h)[/latex] for [latex]\epsilon=2\times 10^{-{15}}[/latex] and [latex]\epsilon=2\times 10^{-7}[/latex], all while employing consistent parameters of [latex]N\_{\mathrm{max}}=14[/latex], [latex]\Lambda=450[/latex] MeV, [latex]\omega=24[/latex] MeV, and a [latex]p=2[/latex] stencil.](https://arxiv.org/html/2604.14985v1/x4.png)
New calculations demonstrate the power of chiral effective field theory to accurately model the behavior of light atomic nuclei.
Science
Haskell Gets Borrowing: A New Path to Safe Concurrency
Researchers have developed a framework called Pure Borrow that brings Rust-style memory safety to the purely functional world of Haskell, opening up possibilities for concurrent state management without sacrificing formal verification.
Decoding the Limit: Reed-Muller Codes Hit Capacity on Complex Channels
New research proves that strategically designed Reed-Muller codes can reliably transmit data at the theoretical maximum rate across a challenging class of communication channels.
Correcting Turbulence Models with AI – and Understanding Why
A new framework combines data-driven optimization with symbolic regression to refine turbulence simulations while maintaining interpretability.
Beyond Rationality: A New Look at Fourfold Varieties
A recent mathematical proof establishes that a very general Verra fourfold cannot be reconstructed from simpler building blocks, revealing fundamental constraints on its geometry.
Unlocking SAT Solutions with Hypergraph Containers
![The hypergraph [latex]\mathcal{H}_{\varphi}[/latex] induced by the Boolean formula [latex]\varphi = (\neg x_{1} \lor \neg x_{2} \lor \neg x_{3}) \bigwedge (\neg x_{1} \lor x_{2}) \bigwedge (x_{2} \lor x_{3})[/latex] visually represents the constraints imposed by each clause, where each hyperedge connects the literals present in a corresponding disjunctive clause, thereby mapping the logical structure of the formula into a combinatorial object.](https://arxiv.org/html/2604.15031v1/hypergraph_1.png)
New research leverages hypergraph theory to reveal structural properties in SAT formulas, potentially leading to faster and more efficient solvers.
Unconventional Superconductivity Emerges from Interacting Fermions
New simulations reveal a robust high-temperature superconducting phase in a unique SU(4) fermionic system, challenging conventional understandings of Cooper pairing.
Proof Simplified: A New Path to System Safety
Researchers have developed a technique that streamlines the process of verifying complex systems, potentially unlocking more effective automated safety checks.
Asking the Right Questions: Fine-Tuning Language Models for Clinical Insights
Researchers demonstrate a system that effectively answers patient-focused clinical questions by leveraging efficient fine-tuning techniques and improved evidence retrieval.
Life Finds a Way: Computation with Reversible Chemical Reactions
New research shows that chemical reaction networks can still perform complex computations-even with reactions running in reverse-as long as a stable state remains accessible.