Tootfinder

Fully mixed virtual element schemes for steady-state poroelastic stress-assisted diffusion
Isaac Bermudez, Bryan Gomez-Vargas, Andres E. Rubiano, Ricardo Ruiz-Baier
https://arxiv.org/abs/2510.12307

Fully mixed virtual element schemes for steady-state poroelastic stress-assisted diffusion
We propose a fully mixed virtual element method for the numerical approximation of the coupling between stress-altered diffusion and linear elasticity equations with strong symmetry of total poroelastic stress (using the Hellinger--Reissner principle). A novelty of this work is that we introduce a less restrictive assumption on the stress-assisted diffusion coefficient, requiring an analysis of the perturbed diffusion equation using Banach spaces. The solvability of the continuous and discrete …

Bayesian Semiparametric Joint Modeling of Gap-Time Distribution for Multitype Recurrent Events and a Terminal Event
Mithun Kumar Acharjee, AKM Fazlur Rahman
https://arxiv.org/abs/2509.10354

Bayesian Semiparametric Joint Modeling of Gap-Time Distribution for Multitype Recurrent Events and a Terminal Event
In biomedical settings, multitype recurrent events such as stroke and heart failure occur frequently, often concluding with a terminal event such as death. Understanding the links between these recurring and terminal events is fundamental to developing interventions that delay detrimental outcomes. Joint modeling is needed to quantify the dependence between event types and between recurrent events and mortality. We propose a Bayesian semiparametric joint model on the gap-time scale for multityp…

Weyl symmetry without the traceless condition
Israel Quiros
https://arxiv.org/abs/2510.09957 https://arxiv.org/pdf/2510.09957

Weyl symmetry without the traceless condition
We show that the requirement that the trace of the stress-energy tensor of matter must vanish if invariance under Weyl rescalings is a symmetry of a given gravitational theory, is not a general result but depends on the gravitational theory and on whether the matter action is form-invariant under Weyl rescalings or not. We focus on conformal general relativity with a Weyl form-invariant matter action. In this case, a linear dependence of the variations of the metric and of the Brans-Dicke scala…

Tycho supernova exploded inside a planetary nebula (SNIP)
Noam Soker (Technion, Israel)
https://arxiv.org/abs/2510.12674 https://arxiv.org/pdf/2510.12674…

Tycho supernova exploded inside a planetary nebula (SNIP)
I examine recent observations of the type Ia supernova remnant (SNR Ia) Tycho and conclude that Tycho is an SN Ia inside a planetary nebula (SNIP). The observations reveal two opposite protrusions, termed ears, projected on the main shell of Tycho. The pair of ear structures resembles that of the SNRs Ia Kepler, SNR G299-2.9, and SNR G1.9+0.3, which earlier studies considered as SNIPs. The requirement that the explosion occurs within hundreds of thousands of years after the formation of the pla…

Recurrence relations for harmonic and derangement numbers
Taekyun Kim, Dae san Kim, Jongkyum Kwon, Kyo-Shin Hwang
https://arxiv.org/abs/2509.10404 https://…

Recurrence relations for harmonic and derangement numbers
We use elementary methods to establish three key recurrence relations: one for derangement numbers, a second for harmonic numbers, and a third for degenerate harmonic numbers. Our results not only contribute to the understanding of the underlying structure of these numbers but also highlight the effectiveness of elementary techniques in discovering new mathematical properties. The findings have potential applications in various fields where these numbers appear, including combinatorics, probabi…

From Reasoning LLMs to BERT: A Two-Stage Distillation Framework for Search Relevance
Runze Xia, Yupeng Ji, Yuxi Zhou, Haodong Liu, Teng Zhang, Piji Li
https://arxiv.org/abs/2510.11056

From Reasoning LLMs to BERT: A Two-Stage Distillation Framework for Search Relevance
Query-service relevance prediction in e-commerce search systems faces strict latency requirements that prevent the direct application of Large Language Models (LLMs). To bridge this gap, we propose a two-stage reasoning distillation framework to transfer reasoning capabilities from a powerful teacher LLM to a lightweight, deployment-friendly student model. In the first stage, we address the limitations of general-purpose LLMs by constructing a domain-adapted teacher model. This is achieved thro…

Setchain Algorithms for Blockchain Scalability
Arivarasan Karmegam, Gabina Luz Bianchi, Margarita Capretto, Mart\'in Ceresa, Antonio Fern\'andez Anta, C\'esar S\'anchez
https://arxiv.org/abs/2509.09795

Setchain Algorithms for Blockchain Scalability
Setchain has been proposed to increase blockchain scalability by relaxing the strict total order requirement among transactions. Setchain organizes elements into a sequence of sets, referred to as epochs, so that elements within each epoch are unordered. In this paper, we propose and evaluate three distinct Setchain algorithms, that leverage an underlying block-based ledger. Vanilla is a basic implementation that serves as a reference point. Compresschain aggregates elements into batches, and c…

MeTA-LoRA: Data-Efficient Multi-Task Fine-Tuning for Large Language Models
Bo Cheng, Xu Wang, Jinda Liu, Yi Chang, Yuan Wu
https://arxiv.org/abs/2510.11598 https://

MeTA-LoRA: Data-Efficient Multi-Task Fine-Tuning for Large Language Models
Low-Rank Adaptation (LoRA) has emerged as one of the most widely used parameter-efficient fine-tuning (PEFT) methods for adapting large language models (LLMs) to downstream tasks. While highly effective in single-task settings, it struggles to efficiently leverage inter-task knowledge in complex multi-task learning scenarios, often requiring substantial task-specific data to achieve optimal performance. To address this limitation, we introduce MeTA-LoRA, a two-stage optimization framework that …

SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion
Zehan Chen, Long Zhang, Zhiwei Zhang, JingJing Zhang, Ruoyu Zhou, Yulong Shen, JianFeng Ma, Lin Yang
https://arxiv.org/abs/2509.09917

SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion
Automatically generating formal specifications from program code can greatly enhance the efficiency of program verification and enable end-to-end automation from requirements to reliable software. However, existing LLM-based approaches often struggle with programs that include complex loop structures, leading to irrelevant specifications. Moreover, the rigorous proof obligations and design constraints imposed by verification tools can further result in incomplete and ambiguous specifications. T…

Storage Participation in Electricity Markets: Arbitrage and Ancillary Services
Dirk Lauinger, Luc Cot\'e, Andy Sun
https://arxiv.org/abs/2510.10856 https://

Storage Participation in Electricity Markets: Arbitrage and Ancillary Services
Electricity storage is used for intertemporal price arbitrage and for ancillary services that balance unforeseen supply and demand fluctuations via frequency regulation. We present an optimization model that computes bids for both arbitrage and frequency regulation and ensures that storage operators can honor their market commitments at all times for all fluctuation signals in an uncertainty set inspired by market rules. This requirement, initially expressed by an infinite number of nonconvex f…