arXiv preprints from January 1, 2026 through September 25, 2026 — 14:14:08 EST
The three-page index $α_3(L)$ is an invariant that measures the complexity of representing a link $L$ in a three-page book. It is known that $α_3(L)$ admits a linear upper bound in terms of the crossing number, with equality realized by the Hopf link. In this paper, we investigate the equality case of this bound from a diagrammatic...
Recent verification tools aim to make formal verification more accessible to software engineers by automating most of the verification process. However, annotating conventional programs with the formal specification and verification constructs (preconditions, postconditions, loop invariants, auxiliary predicates and functions and...
The TRAIMA project (TRaitement Automatique des Interactions Multimodales en Apprentissage), conducted between March 2019 and June 2020, investigates the potential of automatic processing of multimodal interactions in educational settings. The project addresses a central methodological challenge in educational and interactional...
In this work, we use the master function approach to describe the CFT limit of the six-vertex model at the free fermion point. Using the ODE/IM correspondence, we obtain an explicit form of the master function. This allows us to compute the asymptotic expansion of the function $ω(λ, μ)$ describing the expectation values of the...
Automated agent workflows can enhance the problem-solving ability of large language models (LLMs), but common search strategies rely on stochastic exploration and often traverse implausible branches. This occurs because current pipelines sample candidate steps from generic prompts or learned policies with weak domain priors, yielding...
Current-induced spin-orbit torque (SOT) plays a crucial role in the next-generation spin-orbitronics. Enhancing its efficiency is both fundamentally and practically interesting and remains a challenge to date. Recently, orbital counterparts of spin effects that do not rely on the spin-orbit coupling (SOC) have been found as an...
Hokkaido University and Tohoku University have been developing and operating a constellation of 50-cm-class microsatellites for Earth observation. DIWATA-1, launched in 2016, was deployed into a circular orbit at an altitude of approximately 400 km from the International Space Station (ISS). For the subsequent satellite developed in...
Detecting anomalous trajectories in decentralized crypto networks is fundamentally challenged by extreme label scarcity and the adaptive evasion strategies of illicit actors. While Graph Neural Networks (GNNs) effectively capture local structural patterns, they struggle to internalize multi hop, logic driven motifs such as fund...
Traditional statistical mechanics is constrained by the binary paradigms of identical/distinguishable and bosonic/fermionic particle statistics, leading to a fundamental logical gap in describing systems with partial distinguishability. We propose WH Statistics, a unified theoretical framework governed by three key parameters:...
Cognitive processes are realized across an extraordinary range of natural, artificial, and hybrid systems, yet there is no unified framework for comparing their forms, limits, and unrealized possibilities. Here, we propose a cognition space approach that replaces narrow, substrate-dependent definitions with a comparative...
Fine-tuning Large Language Models (LLMs) with Low-Rank Adaptation (LoRA) offers a resource-efficient way to personalize or specialize. However, LoRA is highly sensitive to hyperparameter choices, and exhaustive hyperparameter search is computationally expensive. To address this, we propose a Bayesian Optimization (BO) framework that...
The current study reports the design of advanced light-weight materials for high-energy accelerator beampipe applications. The objective is to optimize the combined requirements of high radiation length and stiffness properties of the designed materials. The present study targets conventional beampipe materials such as aluminum,...
We study temporal fair division, where agents receive goods over multiple rounds and cumulative fairness is required. We investigate Temporal Envy-Freeness Up to One Good (TEF1) and Up to Any Good (TEFX), its approximation $α$-TEFX, and Temporal Maximin Share (TMMS). Motivated by known impossibilities in standard settings, we consider...
Let $V$ be a Möbius vertex algebra and $G$ an abelian group of automorphisms of $V$. We construct $P(z)$-tensor product bifunctors for the category of $C_{n}$-cofinite grading-restricted generalized $g$-twisted $V$-modules (without $g$-actions) for $g\in G$ and the category of $C_{n}$-cofinite grading-restricted generalized...
We propose a method to prepare and certify Gaussian quantum states of the ferromagnetic resonance spin-wave modes in ferromagnets using a longitudinal drive. Contrary to quantum optics-based strategies, our approach harnesses a purely magnonic feature - the spin-wave nonlinearity - to generate magnon squeezing. This resource is used...
Molecular nanomagnets are compounds characterized by a high-spin magnetic core that is protected by organic ligands. They have recently gained attention as potential quantum information carriers in solid-state quantum computing platforms, simultaneously exhibiting classical macroscopic properties and quantum features in light of their...
Inverse problems are inherently ill-posed, suffering from non-uniqueness and instability. Classical regularization methods provide mathematically well-founded solutions, ensuring stability and convergence, but often at the cost of reduced flexibility or visual quality. Learned reconstruction methods, such as convolutional neural...
The escalating accumulation of orbital debris threatens the sustainability of space operations, necessitating active removal solutions that overcome the limitations of current fuel-dependent methods. To address this, this study introduces a novel remediation architecture that integrates a mechanical clamping system for secure capture...
The present work reports new total photoabsorption cross sections for the $N=Z$ nuclei in the $sd$-shell $^{20}$Ne, $^{24}$Mg, $^{28}$Si, $^{32}$S, $^{36}$Ar, and for $^{26}$Mg. The results are compared to predictions of a data-driven artificial neural network application and to configuration-interaction shell-model calculations...
Popularity bias and positivity bias are two prominent sources of bias in recommender systems. Both arise from input data, propagate through recommendation models, and lead to unfair or suboptimal outcomes. Popularity bias occurs when a small subset of items receives most interactions, while positivity bias stems from the...
Semantic communication has emerged as a new paradigm to facilitate the performance of integrated sensing and communication systems in 6G. However, most of the existing works mainly focus on sensing data compression to reduce the subsequent communication overheads, without considering the integrated transmission framework for both the...
Explainable Artificial Intelligence (XAI) techniques, such as Gradient-weighted Class Activation Mapping (Grad-CAM), have become indispensable for visualizing the reasoning process of deep neural networks in medical image analysis. Despite their popularity, the faithfulness and reliability of these heatmap-based explanations remain...
Berndtsson's famous theorem asserts that, for a compact Kähler fibration $p:X\to Y$, the direct image bundle $p_*(K_{X/Y}\otimes L)$ of a semi-positive Hermitian holomorphic line bundle $L\to X$ is Nakano semi-positive. As a continuation of our previous work, we prove a converse of Berndtsson's theorem in the case of a projective...
We present a method for identifying false positive double-lined spectroscopic binary (SB2) candidates by analysing medium-resolution survey spectra from the Large Sky Area Multi-Object Fiber Spectroscopic Telescope (LAMOST) DR10. Specifically, we focus on spectra contaminated by moonlight, which exhibit near-zero radial velocity (RV)...
Aerial remote sensing efficiently surveys large areas, but accurate direct object-level measurement remains difficult in complex natural scenes. Advancements in 3D computer vision, particularly radiance field representations such as NeRF and 3D Gaussian splatting, can improve reconstruction fidelity from posed imagery. Nevertheless,...