arXiv preprints from January 1, 2026 through July 21, 2026 — 12:46:12 EST
Commutativity reasoning based on Lipton's movers is a powerful technique for verification of concurrent programs. The idea is to define a program transformation that preserves a subset of the initial set of interleavings, which is sound modulo reorderings of commutative actions. Scaling commutativity reasoning to routinely-used...
Let $K$ be aa algebraically closed field of characteristic $p\geq3$ and let $Q_{n}\subset\mathbb{P}^{n+1}_{K}$ be a smooth quadric hypersurface. We show that if $n=2m\geq4$ then $Q_{n}$ is not $D$-affine. In particular, we show the grassmannian ${Gr}(2,4)$ is not $D$-affine, which gives an example of a non $D$-affine flag variety of...
We report the magnetic and magnetotransport properties of the layered CaAl$_2$Si$_2$-type diluted magnetic semiconductor (Ba$_{1-x}$K$_x$)(Cd$_{1-y}$Mn$_y$)$_2$As$_2$ over a broad Mn (spin) substitution range of $0.05 \le y \le 0.5$. K substitution introduces hole carriers, whereas Mn provides local moments, resulting in bulk...
As multiple robots are expected to coexist in future households, natural language is increasingly envisioned as a primary medium for human-robot and robot-robot communication. This paper introduces the concept of a Natural Language Environment (NLE), defined as an interaction space in which humans and multiple heterogeneous robots...
We analyse a sample of 225 star-forming regions from the DESIRED-E project, each with simultaneous determinations of the electron temperature from ionized nitrogen and oxygen, $T_{\rm e}$([NII]) and $T_{\rm e}$([OIII]), respectively. We derive new empirical relations connecting the gas-phase metallicity to the global electron...
Using orbital angular momentum (OAM) in the terahertz (THz) range provides a new degree of freedom for communication and imaging systems. This study presents a compact diffractive optical neural network designed to recognize discrete and superposed OAM states at THz frequencies. The network consists of six diffractive layers trained...
In this study we searched for shadow bands associated with the total solar eclipse of April 8, 2024. Our aim was to improve our understanding of their origin. Shadow bands are debated to arise either from atmospheric turbulence within Earth's planetary boundary layer (PBL) or from a diffraction-interference effect occurring above the...
This paper presents SEER, an upgraded version of our prior method Context Is All You Need for detecting Gang of Four (GoF) design patterns from source code. The earlier approach modeled code as attention-ready sequences that blended lightweight structure with behavioral context; however, it lacked explicit role disambiguation within...
Computation of Uhlmann fidelity between many-body mixed states generally involves full diagonalization of exponentially large matrices. In this work, we introduce a polynomial-time algorithm to compute certified lower and upper bounds for the fidelity between matrix product density operators (MPDOs). Our method maps the fidelity...
We consider the dimer model in cylindrical domains $Ω_δ$ on square grids of mesh size $δ$ with two Temperleyan boundary components of different colors. Assuming that the $Ω_δ$ approximate a cylindrical domain $Ω$ as $δ\to 0$, we prove the convergence of height fluctuations to the Gaussian Free Field in $Ω$ plus an independent discrete...
Spatial transcriptomics (ST) enables transcriptome-wide profiling while preserving the spatial context of tissues, offering unprecedented opportunities to study tissue organization and cell-cell interactions in situ. Despite recent advances, existing methods often lack effective integration of histological morphology with molecular...
Across the social and medical sciences, researchers recognize that specifying planned research activities (i.e., 'registration') prior to the commencement of research has benefits for both the transparency and rigour of science. Despite this, evidence suggests that study registrations frequently go unexamined, minimizing their...
Packed-bed sensible heat storage (SHS) is important for balancing energy supply and demand over time. To improve the efficiency of a packed-bed SHS system through second law analysis (SLA), we developed macroscopic entropy and exergy transport equations for fluid flow and heat transfer in porous media based on microscopic transport...
Relative to English, low-resource languages suffer from substantial tokenization premiums in modern LMs, meaning that it generally requires several times as many tokens to encode a sentence in a low-resource language than to encode the analogous sentence in English. This tokenization premium results in increased API and energy costs...
We present PepEDiff, a novel peptide binder generator that designs binding sequences given a target receptor protein sequence and its pocket residues. Peptide binder generation is critical in therapeutic and biochemical applications, yet many existing methods rely heavily on intermediate structure prediction, adding complexity and...
The peer review process is essential to the success of science, but it also delays publications and absorbs considerable effort. Journals find it increasingly difficult to recruit competent reviewers. This study presents the results of agent-based simulation that models the current peer review process. We compared it to the simulation...
The AMACA project (Astronomy education with a Multi-sensory, Accessible, and Circular Approach) develops multi-sensory activities for accessible education and engagement in astronomy. Despite promising innovations, existing resources are often poorly documented, designed for one-time events, expensive, and lack interdisciplinary...
We present a unified deductive verification framework for first-order temporal properties based on well-founded rankings, where verification conditions are discharged using SMT solvers. To that end, we introduce a novel reduction from verification of arbitrary temporal properties to verification of termination. Our reduction augments...
We construct explicit tableau-level maps between indecomposable projective modules for the type A 0-Hecke algebra that assemble into canonical split short exact sequences lifting the basic ribbon product rule in NSym via concatenation and near-concatenation. Iterating these maps yields cochain complexes indexed by generalized ribbons;...
Integrated sensing and communication (ISAC) is a key enabler for future radio networks. This paper presents a sub-band full-duplex (SBFD) ISAC system that assigns non-overlapping OFDM subbands to sensing and communication, enabling simultaneous operation with minimal interference. A distributed testbed with three SIMO nodes is...
We present the Meerkat Asteroid Guard, an imminent impactor warning service developed and maintained by the European Space Agency's Near-Earth Object Coordination Centre (NEOCC). The software uses the method of systematic ranging to perform orbit determination on tracklets in the Near-Earth Object Confirmation Page (NEOCP), which...
This work presents a routing-aware pruning strategy for quantum circuits executed on Noisy Intermediate-Scale Quantum (NISQ) devices. We propose a method to remove parametric controlled rotations whose small rotation angles do not justify the routing overhead required for their implementation. By selectively pruning such gates, the...
This paper investigates the problem of extending measure theory to non-separable structures, from generalized descriptive set theory to a broader class of spaces beyond this framework. While various notions, such as the ideal of measure zero sets, have been generalized, the question of whether a satisfactory notion of $λ^+$-measure...
In recent years, there has been a growing interest in low-light image enhancement (LLIE) due to its importance for critical downstream tasks. Current Retinex-based methods and learning-based approaches have shown significant LLIE performance. However, computational complexity and dependencies on large training datasets often limit...
Dialectal Arabic (DA) speech data vary widely in domain coverage, dialect labeling practices, and recording conditions, complicating cross-dataset comparison and model evaluation. To characterize this landscape, we conduct a computational analysis of linguistic ``dialectness'' alongside objective proxies of audio quality on the...