Skip to content

April 2026 arXiv papers — page 71

Showing 7,0017,100 of 25,061 papers

  1. Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto

    We propose a formal approach for specifying and implementing decentralised coordination in distributed systems, with a focus on smart contracts. Our model captures dynamic roles, data-driven transitions, and external coordination interfaces, enabling high-level reasoning about decentralised workflows. We implement a toolchain that supports formal model valid

  2. Zexian Liu

    The inexact adaptive stepsizes for the conjugate gradient method and the quasi-Newton method are very rare. The exact stepsizes in the gradient method, the conjugate gradient method and the quasi-Newton method for strictly convex quadratic optimization have a unified framework, while the unified framework for inexact adaptive stepsizes in the gradient method

  3. Vidhi Agrawal, Illia Oleksiienko, Alexandros Iosifidis

    Dropout is a widely used regularization technique in deep learning, but its effects are typically realized through stochastic masking rather than explicit optimization objectives. We propose a deterministic formulation that expresses dropout as an additive regularizer directly incorporated into the training loss. The framework derives explicit regularization

  4. Sarah Masaad, Jakob Declercq, Stijn Sackesyn, Ruben Van Assche

    Intensity-modulation direct-detection links must support increasing baudrates and transmission distances while operating under stringent power and cost constraints. However, as data rates and reaches increase, chromatic dispersion induces stronger inter-symbol interference and, after direct detection, frequency-selective fading, thus requiring increasingly p

  5. Wenyan Chen, Chengzhi Lu, Yanying Lin, Dmitrii Ustiugov

    Speculative decoding (SD) is a widely used approach for accelerating decode-heavy LLM inference workloads. While online inference workloads are highly dynamic, existing SD systems are rigid and take a coarse-grained approach to SD management. They typically set the speculative token length for an entire batch and serialize the execution of the draft and veri

  6. Jean Rabault, Joey Voermans, Takuji Waseda, Takehiko Nose

    Ocean wave models are critical for weather and climate forecasting, and accurate in-situ wave observations are essential for validating and improving these models. Open-source, community-driven buoys have democratized wave observations via telemetry in recent years, but these systems transmit only limited amounts of data. Full high-frequency time series, req

  7. Rob Sullivan, Jeroen Winkel

    Let $M$ be a Fra\"{i}ss\'{e} structure (a countably infinite ultrahomogeneous structure). We refer to the class of structures embeddable in $M$ as the $\omega$-age of $M$. We consider the following two properties of $M$: we say that $M$ has a universal automorphism group if, for each $A$ in the $\omega$-age of $M$, there is an embedding $\textrm{Aut}(A) \to

  8. Xueyan Li, Johannes Zenn, Ekaterina Fadeeva, Guinan Su

    Self-consistency boosts inference-time performance by sampling multiple reasoning traces in parallel and voting. However, in constrained domains like math and code, this strategy is compute-inefficient because it samples with replacement, repeatedly revisiting the same high-probability prefixes and duplicate completions. We propose Distinct Leaf Enumeration

  9. Mohamed Ismail Abdelrahman, Matteo Ciabattoni, Francesco Monticone

    On-chip inductor design plays a critical role in the advancement of radio-frequency integrated circuits (RFICs). Inductors typically occupy a substantial portion of the chip area as their performance metrics, namely, inductance density and Quality factor ($Q$-factor), are fundamentally tied to the available footprint, thereby limiting miniaturization. To bet

  10. Dominik Blain

    The April 2026 Claude Mythos sandbox escape exposed a critical weakness in frontier AI containment: the infrastructure surrounding advanced models remains susceptible to formally characterizable arithmetic vulnerabilities. Anthropic has not publicly characterized the escape vector; some secondary accounts hypothesize a CWE-190 arithmetic vulnerability in san

  11. Ziyun Chen, Fan Liu, Liang Yao, Chuanyi Zhang

    The core objective of image captioning is to achieve lossless semantic compression from visual signals into textual modalities. However, the reliance on manually curated reference texts for evaluation essentially forces models to mimic specific human annotation styles, thereby masking the true descriptive capabilities of advanced foundation models. This syst

  12. Nandakrishna Giri, Asmitha K. A., Serena Nicolazzo, Antonino Nocera

    Machine learning-based static malware detectors remain vulnerable to adversarial evasion techniques, such as metamorphic engine mutations. To address this vulnerability, we propose a certifiably robust malware detection framework based on randomized smoothing through feature ablation and targeted noise injection. During evaluation, our system analyzes an exe

  13. Qingxia Feng, Yin Fang, Meng Hua, Cheng Zhang

    Extremely large-scale multiple-input multiple-output (XL-MIMO) is a key enabling technology for sixth-generation (6G) communication systems. Nevertheless, the increase in array aperture and signal bandwidth brings new challenges to wideband channel estimation in XL-MIMO systems. Motivated by recent advances in deep generative modeling, we propose a diffusion

  14. Zhi-Jie Yang, Hao-jie Xu, Jie Zhao, Hanlin Li

    The nonlinear response coefficient, $\chi_{4,22}$, is a crucial observable for probing the dynamical properties of the quark-gluon plasma (QGP). While traditionally understood as a signature of medium response, recent studies suggest that $\chi_{4,22}$ also encapsulates critical information regarding the intrinsic initial-state configuration of the colliding

  15. Yaiza Bermudez, Samir M. Perlaza, Iñaki Esnaola

    In this paper, it is shown, for the first time, that centralized performance is achievable in decentralized learning without sharing the local datasets. Specifically, when clients adopt an empirical risk minimization with relative-entropy regularization (ERM-RER) learning framework and a forward-backward communication between clients is established, it suffi

  16. Gary Simethy, Daniel Ortiz Arroyo, Petar Durdevic

    Wastewater treatment plants (WWTPs) need digital-twin-style decision support tools that can simulate plant response under prescribed control plans, tolerate irregular and missing sensing, and remain informative over 12-36 h planning horizons. Meeting these requirements with full-scale plant data remains an open engineering-AI challenge. We present CCSS-RS, a

  17. Petter Andreas Bergh

    It has been conjectured that finite tensor categories have finitely generated cohomology. We show that this is equivalent to finitely generated Hochschild cohomology for the endomorphism algebras of the projective generators.

  18. Zhangchi Zhu, Wei Zhang

    Large language model (LLM)-enhanced recommendation models inject LLM representations into backbone recommenders to exploit rich item text without inference-time LLM cost. However, we find that existing LLM-enhanced methods significantly hinder the optimization of backbone models, resulting in high training losses that are difficult to reduce. To address it,

  19. Jon Ander Iñiguez de Gordoa, Iker Alkorta, Itziar Urbieta, Gorka Velez

    This paper presents a comprehensive end-to-end evaluation of an infrastructure-assisted collective perception (ICP) system deployed on a highway using ITS-G5 technology. Open-road tests were conducted in the Bizkaia Connected Corridor (BCC), an operational corridor which covers a winding highway, enabling a realistic assessment of system performance in diver

  20. Animesh Awasthi, Raphael Bednarsky, Moritz Schaefer, Christoph Bock

    Designing regulatory DNA elements with precise cell-type-specific activity is broadly relevant for cell engineering and gene therapy. Deep generative models can generate functional gene-regulatory elements, but existing methods struggle to achieve high specificity against undesired cell types while adhering to the genome's natural regulatory grammar. Here, w

  21. Bin Ju, Shenfeng Weng, Danying Zhou, Rongkai Xu

    Large language models (LLMs) encode knowledge in parametric weights, making it costly to update or extend without retraining. Retrieval-augmented generation (RAG) mitigates this limitation by appending retrieved text to the input, but operates purely through context expansion, where external knowledge competes as tokens within the attention mechanism. As a r

  22. Wentao Yan, Shengqin Wang, Huichi Zhou, Yihang Chen

    Training multimodal agents via reinforcement learning for knowledge-intensive visual reasoning is fundamentally hindered by the extreme sparsity of outcome-based supervision and the unpredictability of live web environments. To resolve these algorithmic and environmental bottlenecks, we introduce ProMMSearchAgent, establishing a novel Sim-to-Real training pa

  23. Surya Ratna Prakash D, Soumyendu Raha

    This paper develops a co-state based fusion frame work for spacecraft navigation, consistency monitoring, and hazard forecasting. A differential algebraic co-state is introduced as an instantaneous Lagrange multiplier that enforces measurement dynamics compatibility at the differential level and provides a physically interpretable signal of geometric inconsi

  24. M. G. Dunne, M. Faitsch, O. Sauter, E. Viezzer

    The development of operational scenarios without large Type-I ELMs is of utmost importance for the stable operation and longevity of future tokamaks. The EUROfusion tokamak exploitation program has therefore made the understanding of ELM-free regimes a major topic of exploration across all its contributing devices (ASDEX Upgrade, JET, MAST-Upgrade, TCV, and

  25. Alcides Garat

    In a previous manuscript we addressed the possibility of generating a reflection in a region of spacetime inside a null surface under electromagnetic gauge transformations. In this manuscript we will deal with the possibility of full inversions in a region of spacetime inside a null surface under electromagnetic gauge transformations. Since new tetrads whose

  26. Suraj Prasad, Raghunath Sahoo

    Symmetry-plane correlations (SPCs) are key observables sensitive to the medium's transport properties and are driven by participant-plane correlations (PPCs) in the nuclear overlap region. This study explores the possibility of nuclear-geometry-driven SPCs in Oxygen--Oxygen (OO) and Neon--Neon (Ne--Ne) collisions at $\sqrt{s_{\rm NN}}=5.36$ TeV using nuclear

  27. Georgios Anyfantis, Pere Barlet-Ros

    In this paper, we propose a proof-of-concept Graph Neural Network model that can successfully predict network flow-level traffic (NetFlow) by accurately modelling the graph structure and the connection features. We use sliding-windows to split the network traffic in equal-sized heterogeneous bidirectional graphs containing IP, Port, and Connection nodes. We

  28. Pau Dietz Romero, Nermine Chaabani, Lammert Duipmans, Alessandro David

    Electron shuttling is emerging as a key mechanism for enabling long-range coupling in scalable spin-qubit architectures. Bringing shuttling waveform generation into the cryostat can improve scalability, but imposes strict area and power constraints on the control electronics. Concurrently, shuttling in Si/SiGe is further limited by a spatially varying valley

  29. G. C. Sloan, B. Aringer, Kathleen E. Kraemer, J. Cami

    Mid-infrared spectra from the Medium Resolution Spectrometer on the James Webb Space Telescope have revealed the molecular chemistry of carbon stars in the Large Magellanic Cloud with better resolution and sensitivity than previously possible. Our sample spans a range of dust-production rates and includes three relatively dust-free semiregular variables and

  30. Timothy Fuqua, Nikolaos Vakirlis

    Biases in molecular evolution can significantly influence evolutionary trajectories. They have been described in a variety of contexts such as development and mutation, but not for acquiring new functions (i.e. emergence). Here, we formalize the term, emergence bias, as the molecular predisposition that, upon mutation, biases a genetic sequence towards or ag

  31. Idoia Cortes Garcia, Peter F. Förster, Lennart Jansen, Wil Schilders

    We derive a topological decoupling of the equations of modified nodal analysis (MNA) to a semi-explicit index one differential-algebraic equation. The decoupling explicitly allows for controlled sources, which play a crucial role in engineering design workflows. Furthermore, the proof is constructive and provides a graph-based algorithmic framework for the c

  32. Yuhe Zhang, Zhikun Tu, Zhi Li, Jian Gao

    The points on the point clouds that can entirely outline the shape of the model are of critical importance, as they serve as the foundation for numerous point cloud processing tasks and are widely utilized in computer graphics and computer-aided design. This study introduces a novel method, RWoDSN, for extracting such feature points, incorporating considerat

  33. Qizhong Tan, Zhuotao Tian, Guangming Lu, Jun Yu

    Existing Video Large Language Models (Video LLMs) struggle with complex video understanding, exhibiting limited reasoning capabilities and potential hallucinations. In particular, these methods tend to perform reasoning solely relying on the pretrained inherent reasoning rationales whilst lacking perception-aware adaptation to the input video content. To add

  34. Shelly Francis-Meretzki, Mirco Mutti, Yaniv Romano, Aviv Tamar

    Recent advances in vision-language-action (VLA) models for robotics have highlighted the importance of reliable uncertainty quantification in sequential tasks. However, assessing and improving calibration in such settings remains mostly unexplored, especially when only partial trajectories are observed. In this work, we formulate sequential calibration for e

  35. Thomas P. Wihler

    Fixed point iterations are a fundamental tool in numerical analysis and scientific computing for the approximation of solutions to nonlinear problems. Their convergence is often established via the Banach fixed point theorem, provided that a suitable contraction property can be verified. However, such conditions are typically too restrictive for more complex

  36. Yongji Long, Shijun Liang, Jintao Li, Yun Li

    Leveraging the natural spatiotemporal energy decay in video diffusion offers a path to efficiency, yet relying solely on rigid static masks risks losing critical long-range information in complex dynamics. To address this issue, we propose \textbf{DynamicRad}, a unified sparse-attention paradigm that grounds adaptive selection within a radial locality prior.

  37. Andrey Morgulis, Karrar Malal

    We address a short-wave asymptotic for one class of quasi-linear second-order PDE systems involving the cross-diffusion described by the so-called Patlak-Keller-Segel law. It is common to employ these equations for modeling the predator-prey community with the prey-taxis that means the interactions of two species of particles or cells or anything else throug

  38. Markus Knauer, Edoardo Fiorini, Maximilian Mühlbauer, Stefan Schneyer

    Industrial robot applications require increasingly flexible systems that non-expert users can easily adapt for varying tasks and environments. However, different adaptations benefit from different interaction modalities. We present an interactive framework that enables robot skill adaptation through three complementary modalities: kinesthetic touch for preci

  39. Kirsten I. Tempest, Matthias Beylich, George C. Craig

    Artificial Intelligence (AI) weather models are improving rapidly, and their forecasts are already competitive with long-established traditional Numerical Weather Prediction (NWP). To build confidence in this new methodology, it is critical that we understand how these predictions are generated. This is a huge challenge as these AI weather models remain larg

  40. Ashikuzzaman, Md. Saifuzzaman Abhi, Mahabubur Rahman, Md. Manjur Ahmed

    Software-Defined Networking (SDN) is another technology that has been developing in the last few years as a relevant technique to improve network programmability and administration. Nonetheless, its centralized design presents a major security issue, which requires effective intrusion detection systems. The SDN-specific machine learning-based intrusion detec

  41. Wenjie Liao, Like Wu, Liangjie Zhao, Shihui Xu

    Self-play fine-tuning enables large language models to improve beyond supervised fine-tuning without additional human annotations by contrasting annotated responses with self-generated ones. Many existing methods rely on a fixed divergence regime. SPIN is closely related to a KL-based regime, SPACE to a Jensen-Shannon-style objective via noise contrastive es

  42. Bhola, Yu-Jia Chen, Ashutosh Balakrishnan, Swades De

    The sixth generation (6G) communication networks are expected to provide high data rates, ultra-reliable communication, and massive connectivity, especially in challenging environments such as dense urban areas and disaster-affected regions. However, traditional terrestrial-only networks face significant challenges in these scenarios, including signal blocka

  43. Patrick Gérard, Jiao He

    In this paper, we first extend the explicit formula \cite{gerard2023explicit} for the classical Benjamin-Ono equation to each flow of the Benjamin-Ono hierarchy on line. We then use this representation to derive two main applications. First, we obtain a complete classification of traveling wave solutions for all higher-order flows in the hierarchy. Second, w

  44. Petr Koutenský, Neli Laštovičková Streshkova, Stefanie Kraus, Peter Hommelhoff

    We report on imaging the optical near-fields in resonant periodic photonic structures with nanometer resolution using ultrafast 4D scanning transmission electron microscopy (U4DSTEM). In particular, U4DSTEM is applied to visualize the transverse component of the Lorentz force of a synchronous near-field mode excited by an infrared femtosecond pulse in a peri

  45. Syful Islam, Stefano Zacchiroli

    The informativeness of security-related commit messages is crucial for patch triage: when high, it enables the rapid distribution and deployment of security fixes. Prior research (Reis et al., 2023) reported, however, that commit messages are often too uninformative to support these activities. To assess the robustness of this negative result, we independent

  46. Xingcheng Zhou, Hao Guo, Rui Song, Walter Zimmer

    Safety-critical traffic reasoning requires contrastive consistency: models must detect true hazards when an accident occurs, and reliably reject plausible-but-false hypotheses under near-identical counterfactual scenes. We present CCTVBench, a Contrastive Consistency Traffic VideoQA Benchmark built on paired real accident videos and world-model-generated cou

  47. Muhammad Ahsen, Boyan Yanakiev, Claudio Rosa, Ramoni Adeogun

    We investigate higher-rank transmissions for multi-connected Extended Reality (XR) devices enabled through tethering group (TGr), in which a nearby tethering User Equipment (UE) cooperates with an XR UE via a short-range tethering link (TL). In contrast to prior studies that are limited to rank-1 transmission and ideal tethering assumptions, we analyze TGr p

  48. Roman Remme, Fred A. Hamprecht

    We introduce surrogate functionals: machine-learned energy functionals for orbital-free density functional theory (OF-DFT) which are defined not by universal fidelity to a physical reference, but merely by the requirement that density optimization with a fixed procedure yields the true ground-state density. Helpfully, training surrogate functionals requires

  49. Yixin Cao, Peng Li

    We present a polynomial-time algorithm for the cluster vertex deletion problem on chordal graphs, resolving an open question posed in different contexts by Cao et al. [Theoretical Computer Science, 2018], Aprile et al. [Mathematical Programming, 2023], Chakraborty et al. [Discrete Applied Mathematics, 2024], and Hsieh et al. [Algorithmica, 2024]. We use dyna

  50. R. M. Krishna Sureddi, T. Satyanarayana Murthy, Nomula Varsha Reddy, Adi Kanishka

    Transformer architectures, including nnFormer,have demonstrated promising results in volumetric medical image segmentation by being able to capture long-range spatial interactions. Although they have high performance, these models need large quantities of labeled training data and are also likely to overfit and become training unstable. This is a serious pra

  51. Rashid Ahmad

    We study how strategic interaction can arise from controlled quantum dynamics rather than being imposed as an external mathematical structure. We introduce a class of interaction-defined quantum games in which players are represented by distinguishable quantum walkers, strategies correspond to local coin operations, and payoffs are defined as expectation val

  52. Yulia Otmakhova, Matteo Guida, Lea Frermann

    Metaphors are powerful framing devices, yet their source domains alone do not fully explain the specific associations they evoke. We argue that the interplay between source domains and semantic frames determines how metaphors shape understanding of complex issues, and present a computational framework that allows to derive salient discourse metaphors through

  53. Christoph Widder, Tanja Schilling

    We discuss some mathematical aspects of the Mori-Zwanzig projection operator formalism. The core of the Mori-Zwanzig formalism is the generalised Langevin equation, which is typically derived from the Dyson-Duhamel identity. We derive the projection operator formalism for Mori's projection by means of semigroup theory, and we illustrate where rigorous method

  54. Pranav Pallerla, Wilson Naik Bhukya, Bharath Vemula, Charan Ramtej Kodi

    Retrieval-augmented generation (RAG) systems are increasingly deployed in sensitive domains such as healthcare and law, where they rely on private, domain-specific knowledge. This capability introduces significant security risks, including membership inference, data poisoning, and unintended content leakage. A straightforward mitigation is to enable all rele

  55. Peng Peng, Weiwei Lin, Wentai Wu, Xinyang Wang

    Retrieval-Augmented Generation (RAG) expands the knowledge boundary of large language models (LLMs) at inference by retrieving external documents as context. However, retrieval becomes increasingly time-consuming as the knowledge databases grow in size. Existing acceleration strategies either compromise accuracy through approximate retrieval, or achieve marg

  56. Aristide F. J. -C. Launois

    Let $R$ be an algebra over an uncountable field, $\sigma$ a locally torsion automorphism and $\delta$ a locally nilpotent left $\sigma$-derivation such that $q\sigma\delta = \delta\sigma$, where $q$ is a nonzero scalar. We show that the constant part of the Jacobson radical of the Ore extension $R[x;\sigma,\delta]$ is nil. This partially answers a question o

  57. Pratip Ghosh, Akshay K. Naik

    Fano resonances are sharp asymmetrical spectral peaks which are now ubiquitous in nanophotonics. The high sensitivity of these resonances to system parameter has been exploited to improve light matter interaction and in applications such as sensing, filters and on-chip processing. The ability to dynamically change the Fano slope and spectral phase would enab

  58. Jon-Ivar Skullerud, Rachel Horohan D'Arcy, Gert Aarts, Chris Allton

    We present recent results from the FASTSUM collaboration, using anisotropic lattice QCD to study spectral properties of heavy quarkonia and open heavy flavour systems at high temperature. For heavy quarkonium, our results using a number of different methods suggest a small but significant and robust negative mass shift as well as an increasing thermal width.

  59. Andrea Maracani, Savas Ozkan, Junyi Zhu, Sinan Mutlu

    Named Entity Recognition (NER) is a key component in industrial information extraction pipelines, where systems must satisfy strict latency and throughput constraints in addition to strong accuracy. State-of-the-art NER accuracy is often achieved by span-based frameworks, which construct span representations from token encodings and classify candidate spans.

  60. Elon Litman

    Full-batch gradient descent on neural networks drives the largest Hessian eigenvalue to the threshold $2/\eta$, where $\eta$ is the learning rate. This phenomenon, the Edge of Stability, has resisted a unified explanation: existing accounts establish self-regulation near the edge but do not explain why the trajectory is forced toward $2/\eta$ from arbitrary

  61. Richard Stone

    This is the third and last of three papers introducing generalised Cesaro convergence and is split into two parts. In part 1 we introduce the notion of a "Cesaro-adapted scale" and use it to prove the key generalised Cesaro summation/convergence theorems developed in the first paper in this series. We also use it to trivially extend these results to the case

  62. Aninda Bhattacharya, Chris J. Dent, Amy L. Wilson, Gabriele C. Hegerl

    Extreme weather events during peak winter periods drive resource adequacy risk in Great Britain (GB), with weather sensitivity of the supply-demand balance increasing through additional electric heating and wind generation. This work develops an approach of time-shifting weather within the peak season, through adjustment of the relevant terms in a statistica

  63. Qianxi Hua, Xinyue Li, Zheng Yan, Yang Li

    Embodied intelligence has advanced rapidly in recent years; however, bimanual manipulation-especially in contact-rich tasks remains challenging. This is largely due to the lack of datasets with rich physical interaction signals, systematic task organization, and sufficient scale. To address these limitations, we introduce the VTOUCH dataset. It leverages vis

  64. Yingyong Hou, Xinyuan Lao, Huimei Wang, Qianyu Yao

    Background: Agent skills are increasingly deployed as modular, reusable capability units in AI agent systems. Medical research agent skills require safeguards beyond general-purpose evaluation, including scientific integrity, methodological validity, reproducibility, and boundary safety. This study developed and preliminarily evaluated a domain-specific audi

  65. Hamid Abban, Paolo Cascini, Ivan Cheltsov

    We prove that if $X$ is a smooth Fano threefold and $L$ is an ample $\mathbb{Q}$-divisor such that $(X,L)$ is K-polystable, then the automorphism group $\operatorname{Aut}(X)$ is reductive. This verifies the reductivity statement predicted by the Yau--Tian--Donaldson conjecture in the setting of smooth Fano threefolds with arbitrary ample polarisation.

  66. Yi-Qi Mu, Peng-Wen Xu, Si-Tong Chen, Yi-Tong Wei

    The nature of the recently observed $K(1690)$ state, reported by the COMPASS Collaboration as a candidate strange crypto-exotic meson with $J^P=0^-$, remains unclear. In this work, we investigate whether it can be described by local meson-meson currents within the framework of QCD sum rules. We construct a set of independent local color-singlet meson-meson i

  67. Yin Xu, Qinglin Liu, Li Gao, Hua Xu

    Accurate state-of-health (SOH) estimation for lithium-ion batteries remains a challenging problem due to complex electrochemical degradation mechanisms and long-range temporal dependencies. In this work, we propose a quantum-enhanced recurrent framework, termed QLSTM, in which variational quantum circuits are directly embedded into the gating mechanisms of l

  68. Yiqiu Zhao, Deng Pan, Yiming Pang, Jonathan Barés

    Soft composite solids, comprising discrete inclusions embedded within a compliant matrix, are emerging candidates for engineering synthetic tissues and soft robotic materials. Current strategies for controlling their nonlinear mechanics, such as strain-stiffening, have primarily relied on the nonlinear elasticity of polymer matrices. Although direct contacts

  69. Petrus Lipsanen, Liisa Rannikko, François Christophe, Konsta Kalliokoski

    Generative AI (GenAI) is reshaping software engineering by shifting development from manual coding toward agent-driven implementation. While vibe coding promises rapid prototyping, it often suffers from architectural drift, limited traceability, and reduced maintainability. Applying the design science research (DSR) methodology, this paper proposes Shift-Up,

  70. Nhu Nguyen, Dang H. Nguyen

    We study stochastic extinction for a class of Markov processes motivated by models in ecology and epidemiology. Extinction is often characterized by a boundedness condition and a condition on boundary Lyapunov exponents (invasion rates). While the latter is typically sharp, the former is often restrictive and can be improved. Building on the ideas initiated

  71. Yuting Zhang, Ying Sun, Dazhong Shen, Ziwei Xie

    The emergence of generative models enables the creation of texts and images tailored to users' preferences. Existing personalized generative models have two critical limitations: lacking a dedicated paradigm for accurate preference modeling, and generating unimodal content despite real-world multimodal-driven user interactions. Therefore, we propose personal

  72. Simone Baroncini, Bahman Gharesifard, Giuseppe Notarstefano

    This paper investigates the so-called reward-balancing methods, a novel class of algorithms for solving discounted-return reinforcement learning (RL) problems. These methods consist of iteratively adjusting the reward function to transform the RL problem into an equivalent one in which the optimal policies are greedy. For this procedure, referred to as norma

  73. Jȩdrzej Stempin, Jan Wójcik, Gabriela Banaszak, Andrzej Grudka

    We introduce a quantum analogue of a classical synchronizing automaton. In classical case the state of a system evolves according to a set of rules forming an alphabet, and sequences of these rules, called words, govern its evolution. Certain special words, known as synchronizing words, drive the automaton into a predetermined state regardless of its initial

  74. Jintao Wang, Pingping Zhang, Chengzhi Ma, Chengwang Ji

    Reconfigurable distributed antennas and reflecting surface (RDARS) has emerged as a transformative solution to address the stringent requirements of future wireless networks. By combining distributed active antennas with reconfigurable passive reflecting surfaces, RDARS integrates the advantages of both active transmission and passive wave control in a cost-

  75. Lorenzo Cavallina, Andrea Pinamonti

    In this paper, we consider a parabolic counterpart of Serrin's overdetermined problem, in which the overdetermined condition (constant flux condition) is imposed only on a discrete infinite set of time values. We show that, under suitable regularity assumptions on the domain, such a discrete-time overdetermined problem admits a solution if and only if the do

  76. Xi Chen, Xu Chen, Xiangyang Jia, Xu Zhang

    Remote sensing (RS) image-text retrieval plays a critical role in understanding massive RS imagery. However, the dense multi-object distribution and complex backgrounds in RS imagery make it difficult to simultaneously achieve fine-grained cross-modal alignment and efficient retrieval. Existing methods either rely on complex cross-modal interactions that lea

  77. Ivan Cheltsov, Frederic Mangolte, Constantin Shramov

    In this paper, we study finite subgroups $G\subset\mathrm{Aut}(\mathbb{P}^n)$ such that $\mathbb{P}^n$ is $G$-birationally rigid. For each $n\geqslant 3$, we prove that $\mathrm{Aut}(\mathbb{P}^n)$ contains at most finitely many such subgroups up to conjugation. For $n=4$, we prove that $\mathbb{P}^4$ is $G$-birationally superrigid if $G\simeq\mathrm{PSp}_{4

  78. Ivan Cheltsov, Igor Krylov, Sione Ma'u

    We classify pairs $(X,G)$ consisting of a (possibly singular) cubic threefold $X\subset\mathbb{P}^4$ and a finite subgroup $G\subset\mathrm{Aut}(X)$ such that $X$ is $G$-birationally rigid, i.e., $X$ is a $G$-Mori fiber space (over a point), and $X$ is not $G$-birational to any $G$-Mori fibre space that is not $G$-biregular to $X$.

  79. Ivan Cheltsov, Yuri Tschinkel, Zhijia Zhang

    We complete the classification of regular generically free actions of finite groups on del Pezzo surfaces, up to birational equivalence. As a byproduct, we settle several open problems in equivariant birational geometry, e.g., we classify birationally rigid actions on del Pezzo surfaces.

  80. Harry Mclean, Francis Huw Davies, Ned Thaddeus Taylor, David W. Horsell

    Thermal runaway in lithium-ion batteries is governed by the poorly-understood initiation phase, where localised heating introduces instability. Here we identify the three key components that trigger thermal runaway, decreases in local conductivity, heat capacity changes, and intercalation heating, which significantly increase temperature gradients that accel

  81. Yuhang Zhang, Jiarui Zhang, Bowen Jian, Xin Zhou

    The rapid iteration of autonomous driving algorithms has created a growing demand for high-fidelity, replayable, and diagnosable testing data. However, many public datasets lack real vehicle dynamics feedback and closed-loop interaction with surrounding traffic and road infrastructure, limiting their ability to reflect deployment readiness. To address this g

  82. Marko Lalovic, Nicos Georgiou, Istvan Z. Kiss

    We develop a likelihood-based inference for finite-state birth-death processes with composite birth rates, in which multiple distinct mechanisms contribute additively to the total birth intensity. Our main motivating example is an SIS epidemic model with pairwise and higher-order transmission. The process is observed through a single aggregate trajectory, an

  83. Richard Stone

    In this second of three introductory papers, we extend the notion of generalised Cesaro summation/convergence to the more natural setting of what we call remainder Cesaro summation/convergence. This greatly expands the range of problems susceptible to Cesaro methods and introduces the geometric location of summands as a critical consideration. We also show t

  84. Huaiyu Jia, Luofeng Zhou, Wentao Zhang, Lin William Cong

    Prediction markets are markets for trading claims on future events, such as presidential elections, and their prices provide continuously updated signals of collective beliefs. In decentralized platforms such as Polymarket, the market lifecycle spans market creation, token registration, trading, oracle interaction, dispute, and final settlement, yet the corr

  85. Hung Cuong Pham, Fatih Gedikli

    AI research often emphasizes model design and algorithmic performance, while deployment and inference remain comparatively underexplored despite being critical for real-world use. This study addresses that gap by investigating the performance and optimization of a BentoML-based AI inference system for scalable model serving developed in collaboration with gr

  86. Ángel L. Corps, Armando Relaño, Angelo Russomanno

    We study an Ising model with long-range interactions undergoing a time-periodic kicking. For different initial states we observe persistent period doubling. When there is period doubling we find that the initial state has relevant overlap with Floquet states showing time-translation symmetry breaking, organized in doublets displaying $\pi$-spectral pairing (

  87. Ahmad Ghodsi, Elias Kiritsis, Francesco Nitti

    Large families of confining holographic QFTs, described by Einstein-Dilaton gravity, are considered on constant-curvature manifolds in the presence of a $\theta$-angle. The space of ground states of such theories is explored as a function of the UV parameters, namely the dimensionless curvature and the $\theta$ angle. The free energy is computed, and the pha

  88. Leonardo Kuffo, Ioanna Tsakalidou, Roberta De Viti, Albert Angel

    We introduce Semantic Recall, a novel metric to assess the quality of approximate nearest neighbor search algorithms by considering only semantically relevant objects that are theoretically retrievable via exact nearest neighbor search. Unlike traditional recall, semantic recall does not penalize algorithms for failing to retrieve objects that are semantical

  89. Giuseppe De Luca, Paolo Li Donni

    This report describes the SHARELIFE-MI project, which aims to generate multiple imputations for missing values in the life-course data collected in SHARELIFE Waves 3 and 7. The SHARELIFE study reconstructs individual life histories through retrospective questions covering key biographical domains such as partnerships, fertility, employment, and residence. As

  90. Piotr Kowalski, Pınar Uğurlu Kowalski

    We show that generic automorphisms of stable groups are supertight in a strong sense. In particular, we obtain the existence of supertight automorphisms. We also answer a question concerning the relationship between supertight automorphisms of $\mathrm{PGL}_2(K)$ and generic automorphisms of the underlying field $K$. Moreover, we provide partial evidence-alr

  91. Huanyan Zhu, Cheng Li

    Gaussian processes are widely used for accurate emulation of unknown surfaces in sequential design of expensive simulation experiments. Integrated mean squared error (IMSE) is an effective acquisition function for sequential designs based on Gaussian processes. However, existing approaches struggle with its implementation because the required integrals often

  92. Fulong Fan, Peilin Liu, Fengzhe Liu, Shuyan Yang

    Large language models perform well on many reasoning tasks, yet they often lack awareness of whether their current knowledge or reasoning state is complete. In non-interactive puzzle settings, the narrative is fixed and the underlying structure is hidden; once a model forms an early hypothesis under incomplete premises, it can propagate that error throughout

  93. Vsevolod Gubarev

    We construct a free Poisson algebra endowed with a Rota-Baxter operator. The same construction works for a free Poisson algebra endowed with a Nijenhuis operator.

  94. Yussur Mustafa Oraji, Christian Bischof

    High-performance computing often relies on parallel programming models such as MPI for distributed-memory systems. While powerful, these models are prone to subtle programming errors, leading to development of multiple correctness checking tools. However, these are often limited to C/C++ codes, tied to specific library implementations, or restricted to certa

  95. Andrey Vasilyev, Yikai Wang, Xiaocheng Li, Guanting Chen

    We introduce and study the problem of calibrating conditional risk, which involves estimating the expected loss of a prediction model conditional on input features. We analyze this problem in both classification and regression settings and show that it is fundamentally equivalent to a standard regression task. For classification settings, we further establis

  96. Luciano Abadías, Alejandro Mahillo, Pedro J. Miana

    In this paper we study boundedness and detailed spectral properties for the Ces\`aro-Hardy operator and some generalizations in $L^p[0,1]$. The study employs $C_0$-semigroup theory, expressing the Ces\`aro-Hardy operators and their dual operators through subordination with $C_0$-semigroups $T(t)$ and $S(t)$ respectively. The spectral properties of the semigr

  97. A. Tononi

    Releasing shell-shaped Bose-Einstein condensates from the external confinement produces a spherically symmetric density distribution characterized by concentric ripples surrounding a central peak. Here we investigate how a vortex-antivortex dipole affects this dynamics, finding that increasing dipole separation progressively breaks the spherical symmetry. Co

  98. Luc Molinet, Weipeng Zhu

    We show that the $ L^2({\mathbb R}) $-unconditional well-posedness, that is well-known for the KdV equation, is shared by KdV type equations with weaker dispersion. This is despite the difference in the nature of these equations, which are quasilinear while KdV is semilinear. More precisely we prove that the low dispersion fractional KdV equation $$ \partial

  99. Domenico Truzzolillo, Thomas Hellweg, Julian Oberdisse

    The thermosensitive behavior of microgel particles suspended in solvents, i.e. their temperature-dependent swelling properties, has triggered ongoing interest in industry and academia over the past forty years. The most-studied polymer is poly(N-isopropylacrylamide) - PNIPAM -, where the volume phase transition temperature is well known to depend on the deta

  100. Burak Karabulut, Carlo Manna, Chris Develder

    Fault location in distribution grids is critical for reliability and minimizing outage durations. Yet, it remains challenging due to partial observability, given sparse measurement infrastructure. Recent works show promising results by combining Recurrent Neural Networks (RNNs) and Graph Neural Networks (GNNs) for spatio-temporal learning. Still, many modern