arXiv preprints from January 1, 2026 through July 20, 2026 — 08:53:25 EST
Artificial Intelligence (AI) applications, such as Large Language Models, are primarily driven and executed by Graphics Processing Units (GPUs). These GPU programs (kernels) consume substantial amounts of energy, yet software developers often lack the hardware expertise and ad hoc knowledge required to optimize for power efficiency....
Rotation and quantum tunneling are fundamental concepts in physics, and their interplay in the ultracold atomic systems is of particular interest. In this theoretical work, we explore how tunneling dynamics in a bosonic Josephson junction are modified when the system is placed in a rotating, non-inertial frame. We show that the...
People often have things they want to say but hold back in conversations, fearing vulnerability or social consequences. Online, this restraint can take a distinctive form: even when such thoughts are written out - in moments of anger, guilt, or longing - people may choose to withhold them, leaving them unsent. This process is...
In the study of Human-Computer Interaction, privacy is often seen as a core issue, and it has been explored directly in connection with User Interface (UI) and User Experience (UX) design. We systematically investigate the key considerations and factors for privacy in UI/UX, drawing upon the extant literature and 15 semi-structured...
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...