arXiv preprints from January 1, 2026 through September 26, 2026 — 02:00:54 EST
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...
Recently, Macharete, Del-Vecchio, Teixeira and de Lima showed that a star and any threshold graph on the same number of vertices share the same eigenbasis relative to the Laplacian matrix. We use this fact to establish two main results in this paper. The first one is a characterization of threshold graphs that are \textit{simply...
Climate discourse online shapes public understanding of climate change and informs political and policy debate, yet it unfolds across structurally different environments: paid advertising platforms host targeted, institutionally produced messaging, while public social media reflects largely organic, user-driven discussion. We present...
Radio halos are megaparsec-scale diffuse, non-thermal radio sources located at the centers of galaxy clusters, tracing relativistic particles and magnetic fields in the intra-cluster medium. Their origin is generally attributed to cluster mergers that generate turbulence and re-accelerate aged electrons. We study the diffuse radio...
Within the framework of the extra-dimensional Randall-Sundrum set-up, we investigate the freeze-in production of Standard Model (SM) gauge-singlet scalar, fermionic, and massive vector dark matter (DM). Assuming that both the DM and SM fields reside on the IR brane and interact solely through the graviton and radion portal, we...
Quantifying non-stabilizerness (``magic'') in interacting fermionic systems remains a formidable challenge, particularly for extracting high order correlations from quantum Monte Carlo simulations. In this Letter, we establish the two-point stabilizer Rényi entropy (SRE) and its mutual counterpart as robust, computationally accessible...
Our understanding of the $γ$-ray sky has greatly advanced, yet studying the unresolved $γ$-ray background (UGRB) can unveil the nature of the faintest $γ$-ray source populations in the Universe. Statistical cross-correlations between the UGRB and tracers of large-scale cosmic structure allow us to infer which sources contribute the...
Fault-tolerant state preparation is essential for reliable quantum error correction, particularly in Steane-type error correction, which relies on robust ancilla states for syndrome readout. One method of fault-tolerant state preparation is to initialize multiple ancilla states and check them against each other to detect problematic...