Tootfinder

Existence of uniform Temple charts and applications to null distance
Benjamin Meco, Anna Sakovich, Christina Sormani
https://arxiv.org/abs/2509.11281 https://

Existence of uniform Temple charts and applications to null distance
In this paper, we prove that Temple's cylindrical future null coordinate charts can be constructed uniformly and we estimate the gradients of their optical functions. We then apply these charts to study a spacetime $(N,g)$ that has been converted into a definite metric space $(N,\hat{d}_τ)$, where $\hat{d}_τ$ is the null distance of Sormani and Vega defined using a locally anti-Lipschitz (in the sense of Chrusciel, Grant, and Minguzzi) generalized time function $τ$. In particular, in the cas…

Particle creation in a cosmological background in analogy to the Schwinger effect
Walter D. van Suijlekom, Michael F. Wondrak, Heino Falcke
https://arxiv.org/abs/2510.09481 http…

Particle creation in a cosmological background in analogy to the Schwinger effect
We consider a gravitational analogue of the Schwinger effect in a cosmological context. While the Schwinger effect is usually attributed to a static electric background, its derivation is actually based on a switching on/off of the electric field in the infinite past/future. Motivated by this, and our previous work on particle production in a gravitational background, we consider a long pulse of the gravitational field in an FLRW-spacetime, thus simulating a static background. We rigorously der…

DarTwin made precise by SysMLv2 -- An Experiment
{\O}ystein Haugen, Stefan Klikovits, Martin Arthur Andersen, Jonathan Beaulieu, Francis Bordeleau, Joachim Denil, Joost Mertens
https://arxiv.org/abs/2510.12478

DarTwin made precise by SysMLv2 -- An Experiment
The new SysMLv2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysMLv2's capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalizes the existing DarTwin notation for Digital Twin (DT) evolution, through SysMLv…

Quantifying Emergent Behaviors in Agent-Based Models using Mean Information Gain
Sebasti\'an Rodr\'iguez-Falc\'on, Luciano Stucchi
https://arxiv.org/abs/2510.10381 h…

Quantifying Emergent Behaviors in Agent-Based Models using Mean Information Gain
Emergent behaviors are a defining feature of complex systems, yet their quantitative characterization remains an open challenge, as traditional classifications rely mainly on visual inspection of spatio-temporal patterns. In this Letter, we propose using the Mean Information Gain (MIG) as a metric to quantify emergence in Agent-Based Models. The MIG is a conditional entropy-based metric that quantifies the lack of information about other elements in a structure given certain known properties. W…

Universal syndrome-based recovery for noise-adapted quantum error correction
Debjyoti Biswas, Prabha Mandayam
https://arxiv.org/abs/2510.08719 https://arxi…

Universal syndrome-based recovery for noise-adapted quantum error correction
Quantum error correction (QEC) is an essential tool for quantum computing that enables reliable information processing in the presence of noise. Syndrome measurements play a central role in QEC, making it possible to unambiguously identify the location and type of errors. While syndrome extraction is natural for conventional QEC protocols, where the errors satisfy certain algebraic constraints \emph{perfectly}, this feature is largely missing in the framework of approximate or noise-adapted QEC…

Eye Movement Feature-Guided Signal De-Drifting in Electrooculography Systems
Lianming Hu, Xiaotong Zhang, Kamal Youcef-Toumi
https://arxiv.org/abs/2509.07416 https://

Eye Movement Feature-Guided Signal De-Drifting in Electrooculography Systems
Electrooculography (EOG) is widely used for gaze tracking in Human-Robot Collaboration (HRC). However, baseline drift caused by low-frequency noise significantly impacts the accuracy of EOG signals, creating challenges for further sensor fusion. This paper presents an Eye Movement Feature-Guided De-drift (FGD) method for mitigating drift artifacts in EOG signals. The proposed approach leverages active eye-movement feature recognition to reconstruct the feature-extracted EOG baseline and adaptiv…

Back in an engineering position, I come across newly written #Java code that has a lot of improvement potential regarding maintainability. It works, but I imagine engineers having to update it, including the original author’s future self and me, and I’m sure I can help them. This week, I refactored code using creational

Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
Generoso Immediato
https://arxiv.org/abs/2508.19304 htt…

Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
Floridi's conjecture offers a compelling intuition about the fundamental trade-off between certainty and scope in artificial intelligence (AI) systems. This exploration remains crucial, not merely as a philosophical exercise, but as a potential compass for guiding AI investments, particularly in safety-critical industrial domains where the level of attention will surely be higher in the future. However, while intellectually coherent, its formalization ultimately freezes this insight into a susp…

FlexNGIA 2.0: Redesigning the Internet with Agentic AI - Protocols, Services, and Traffic Engineering Designed, Deployed, and Managed by AI
Mohamed Faten Zhani, Younes Korbi, Yamen Mkadem
https://arxiv.org/abs/2509.02124

FlexNGIA 2.0: Redesigning the Internet with Agentic AI - Protocols, Services, and Traffic Engineering Designed, Deployed, and Managed by AI
The escalating demands of immersive communications, alongside advances in network softwarization and AI-driven cognition and generative reasoning, create a pivotal opportunity to rethink and reshape the future Internet. In this context, we introduce in this paper, FlexNGIA 2.0, an Agentic AI-driven Internet architecture that leverages LLM-based AI agents to autonomously orchestrate, configure, and evolve the network. These agents can, at runtime, perceive, reason, coordinate among themselves to…

Towards Verified Code Reasoning by LLMs
Meghana Sistla, Gogul Balakrishnan, Pat Rondon, Jos\'e Cambronero, Michele Tufano, Satish Chandra
https://arxiv.org/abs/2509.26546 ht…

Towards Verified Code Reasoning by LLMs
While LLM-based agents are able to tackle a wide variety of code reasoning questions, the answers are not always correct. This prevents the agent from being useful in situations where high precision is desired: (1) helping a software engineer understand a new code base, (2) helping a software engineer during code review sessions, and (3) ensuring that the code generated by an automated code generation system meets certain requirements (e.g. fixes a bug, improves readability, implements a featur…