Fuzzy Matching, Securely: A New Approach to Private Set Intersection
Researchers have developed a highly efficient protocol for fuzzy private set intersection, enabling secure data analysis without revealing exact matches.
Science
Decoding the Black Box: Interpretable SVMs with Polynomial Kernels
![The Jacobi-kernel Support Vector Machine, applied to a double-spiral dataset with parameters [latex]\alpha = \beta = 0[/latex] and [latex]C = 1[/latex], demonstrates increasingly refined decision boundaries as the truncation level <i>n</i> varies from 1 to 16, evidenced by the evolving zero level set which accurately separates the two classes within the data.](https://arxiv.org/html/2604.15285v1/varying_n_alpha_beta0.png)
A new framework reveals the inner workings of Support Vector Machines, offering a structured understanding of how polynomial kernels contribute to classification decisions.
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.
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.