arXiv preprints from January 1, 2026 through September 16, 2026 — 05:00:31 EST
We generalize Stochastic Local Search (SLS) heuristics into a unique formal model. This model has two key components: a common structure designed to be as large as possible and a parametric structure intended to be as small as possible. Each heuristic is obtained by instantiating the parametric part in a different way. Particular...
We present a sound and complete unification procedure for deterministic higher-order patterns, a class of simply-typed lambda terms introduced by Yokoyama et al. which comes with a deterministic matching problem. Our unification procedure can be seen as a special case of full higher-order unification where flex-flex pairs can be...
Let $M$ be a von Neumann algebra and let $(N_t)_{t\in[0,T]}$ be an increasing family of abelian von Neumann subalgebras encoding a (classical) information flow. Fix a faithful normal state $\varphi_ρ$ and a filtration of normal $\varphi_ρ$-preserving conditional expectations $E_t:M\to N_t$ satisfying the tower property. Using bounded...
LLMs often produce fluent but incorrect answers, yet detecting such hallucinations typically requires multiple sampling passes or post-hoc verification, adding significant latency and cost. We hypothesize that intermediate layers encode confidence signals that are lost in the final output layer, and propose a lightweight probe to read...
Outcome-reward reinforcement learning (RL) has proven effective at improving the reasoning capabilities of large language models (LLMs). However, standard RL assigns credit only at the level of the final answer, penalizing entire reasoning traces when the outcome is incorrect and uniformly reinforcing all steps when it is correct. As...
Inspecting the undercarriage of used vehicles is a labor-intensive task that requires inspectors to crouch or crawl underneath each vehicle to thoroughly examine it. Additionally, online buyers rarely see undercarriage photos. We present an end-to-end pipeline that utilizes a three-camera rig to capture videos of the undercarriage as...
We study zero-shot 3D alignment of two given meshes, using a text prompt describing their spatial relation -- an essential capability for content creation and scene assembly. Earlier approaches primarily rely on geometric alignment procedures, while recent work leverages pretrained 2D diffusion models to model language-conditioned...
Quantum many-body scars are non-thermal eigenstates embedded in the spectra of otherwise non-integrable Hamiltonians. Paradigmatic examples often appear as quasiparticle towers of states, such as the maximally ferromagnetic spin-1/2 states, also known as Dicke states. A distinguishing feature of quantum many-body scars is that they...
This study presents a robust methodology for the three-dimensional (3D) volumetric reconstruction and morphological characterization of native Chilean pollen grains using a lens-free Digital In-line Holographic Microscopy (DLHM) system. Utilizing a 532 nm laser point-source configuration and a 3.45 $μ$m pixel pitch CMOS sensor , we...
The Hong-Ou-Mandel test estimates the overlap between spectral functions characterizing the internal degrees of freedom of two single photons. It can be viewed as a photon-native protocol that implements the well-known quantum SWAP test. Here, we propose a native linear-optical protocol that efficiently estimates multivariate traces...
Understanding the relationship between molecular structure and chemical reactivity or properties is fundamental to rational molecular design. Linear free energy relationships (LFERs), particularly Hammett analysis, have long served as powerful tools in organic chemistry. Recently, these approaches have been enhanced by incorporating...
We consider the storage problem in an asymmetric $X$-secure private information retrieval (A-XPIR) setting. The A-XPIR setting considers the $X$-secure PIR problem (XPIR) when a given arbitrary set of servers is communicating. We focus on the trade-off region between the average storage at the servers and the average download cost. In...
We propose a partitioned method for the monolithic formulation of the Stokes-Biot system that incorporates Lagrange multipliers enforcing the interface conditions. The monolithic system is discretized using finite elements, and we establish convergence of the resulting approximation. A Schur complement based algorithm is developed...
Joint Embedding Predictive Architectures (JEPA) offer a scalable paradigm for self-supervised learning by predicting latent representations rather than reconstructing high-entropy observations. However, existing formulations rely on \textit{deterministic} regression objectives, which mask probabilistic semantics and limit its...
The emergence of altermagnetism, the collinear magnetic phase characterized by momentum-dependent spin-split bands but zero net magnetization, has fundamentally reshaped the classification of magnetic order. We propose an altermagnetic (AM) order in a repulsive Hubbard model on the Lieb-$5$ lattice. Considering only nearest-neighbor...
Modeling the time-varying covariance structures of high-dimensional variables is critical across diverse scientific and industrial applications; however, existing approaches exhibit notable limitations in either modeling flexibility or inferential efficiency. For instance, change-point modeling fails to account for the continuous...
This paper introduces a method for approximately eliminating the effect that conductivity changes outside the region of interest have in electrical impedance tomography, allowing to form a local reconstruction in the region of interest only. The method considers the Jacobian matrix of the forward map, i.e., of the map that sends the...
Asteroseismology is widely used for precise determining of masses of solar-like oscillating stars by performing individual-frequency modeling or applying homological scaling relations. However, these methods lack dynamical validation on the main sequence due to the absence of eclipsing double-lined binary system (SB2) as benchmark...
In this study, we explore the relation between generalised entropies and the extended uncertainty principle (EUP) models. Starting from the higher-order extended uncertainty principle (HOEUP), we obtain the modified entropy-area relation. Then, we derive the modified Friedmann equations through three different approaches: the first...
Pickup points are widely recognized as a sustainable alternative to home delivery, as consolidating orders at pickup locations can shorten delivery routes and improve first-attempt success rates. However, these benefits may be negated when customers drive to pick up their orders. This study proposes a Differentiated Pickup Point...
Stability is crucial in matching markets, yet in many real-world settings - from hospital residency allocations to roommate assignments - full stability is either impossible to achieve or can come at the cost of leaving many agents unmatched. When stability cannot be achieved, algorithmicists and market designers face a critical...
We construct posterior distributions of the equation of state (EoS) for matter beyond the inner crust of neutron stars by incorporating finite nuclei (FN) constraints within relativistic mean field models. These constraints are implemented in three complementary ways: (i) through theoretical bounds on the EoS, (ii) implicitly via...
In a series of papers, Weil initiated the investigation of translation invariant curvature measures of convex bodies, which include as prime examples Federer's curvature measures. In this paper, we continue this line of research by introducing new tools to study curvature measures. Our main results suggest that the space of curvature...
Recent years have witnessed increasing interest in extending large language models into agentic systems. While the effectiveness of agents has continued to improve, efficiency, which is crucial for real-world deployment, has often been overlooked. This paper therefore investigates efficiency from three core components of agents:...
Photon distinguishability is a fundamental property manifested in multiphoton interference and one of the main sources of noise in any photonic quantum information processing. In this work, rather than relying on first-quantization methods, we build on a generating-function framework based on the phase-space formalism to characterize...