arXiv Science⌕ Search

arXiv subjects

Pedro Ribeiro

Publications and source records attributed to Pedro Ribeiro.

At least 19 recordsLinked to original sources
arXiv2026

Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification

Runtime Verification is well suited to autonomous and robotic systems because it checks the behaviour that is actually observed during execution. Its main limitation, however, is that it is usually reactive: the monitor detects a violation only after the system has already performed a bad event. This can be too late in domains where failures are costly or unsafe. In this paper we present PREDICTIVE VARANUS, a two-stage verification pipeline that combines VARANUS, a runtime verifier that uses models written in the process algebra Communicating Sequential Processes (CSP), with predictive runtime verification for LTL. A CSP model is first used as a conformance gate over the observed event trace; the same model is then translated into a Buchi automaton that constrains the futures explored by a predictive LTL monitor. In this way, out-of-model behaviour is rejected immediately, while model-consistent prefixes can be classified as already guaranteeing satisfaction, already forcing violation, or still being inconclusive for the monitored temporal property. We formalise the combined monitor, explain its implementation, and illustrate the approach on a robotic rover for nuclear-store inspection. The case study shows how the combination of CSP validation and predictive LTL can provide earlier verdicts than standard runtime monitoring while reusing an existing design-time CSP model.

cs.RO↗
arXiv2026

Transfer Learning for Evolving Domains

Transfer learning explores how to leverage knowledge from various tasks or domains (sources) to enhance predictive performance in related tasks or domains (targets). Typically, transfer learning research is segmented into several isolated sub-areas (such as domain generalisation, domain adaptation, or multi-domain learning), each making distinct assumptions about target data availability, namely how much data and how many labels are available at training time. However, in many real-world applications, data availability is not fixed but evolves over time, as instances and labels are progressively collected from a new domain. Each of the classical settings then describes only a snapshot of a trajectory that a deployed system must traverse in full. We formalise this trajectory as a transfer learning problem in its own right, Transfer Learning for Evolving Domains (TrED), specified by a data availability process fixed by the environment, a learning protocol that the method is free to choose, and an evaluation criterion that scores the whole trajectory of models rather than a single one. Within this formalism, the classical settings are recovered as regimes that a learner may pass through, rather than as separate problems that TrED concatenates. We then examine the transfer learning literature to identify mechanisms that are promising building blocks for a solution, and find that most methods are tailored to a single regime and that even the strongest existing candidates do not yet optimise the whole trajectory. We argue that TrED is a well-posed and unsolved problem, and an important direction for future research.

cs.LG↗
arXiv2026

Error-Correction Transitions in Finite-Depth Quantum Channels

We study error correction type protocols in which a quantum channel encodes logical information into an enlarged Hilbert space. Specifically, we consider channels realized by one dimensional random noisy quantum circuits with spatially local interaction gates. We analyze both noise acting after the encoding and noise affecting the encoding circuit itself. Using the coherent information as a metric, we show that in both cases the infinite depth limit is governed by random matrix theory, which predicts a universal phase transition at a critical noise rate. This critical point separates an error correcting phase, in which encoded information is preserved, from a phase in which it is irretrievably lost. Going beyond the infinite depth limit, we characterize the systematic finite depth deviations from random matrix universality. In particular, we show that these deviations behave parametrically differently depending on whether the noise acts after the encoding or also affects the encoding itself. For noiseless encoders, the approach is exponential in circuit depth, although boundary effects can delay perfect encoding relative to the circuit design time. For noisy encoders, we find that the circuit fidelity effectively replaces the Hashing bound, and perfect encoding is approached polynomially with depth.

quant-ph↗
arXiv2026

Dissipation-Induced Threshold on Integrability Footprints

The presence of a dissipative environment substantially disrupts unitary evolution. Nevertheless, key features of the evolution, such as its integrable or chaotic nature, are not immediately erased by dissipation. To understand this, we model environment-induced dissipation as a convex combination of unitary evolution and a random Kraus map, and examine how signatures of integrability gradually fade with increasing dissipation strength. Our analysis shows that in the weakly dissipative regime, the complex eigenvalue spectrum organizes into well-defined, high-density clusters. We estimate the critical dissipation threshold beyond which these clusters disappear, rendering the dynamics indistinguishable from chaotic evolution. This threshold depends only on the number of spectral clusters and the rank of the Kraus map. To characterize this transition, we introduce the eigenvalue angular velocity as a diagnostic of integrability loss. We illustrate our findings using several integrable quantum circuits, including the dissipative quantum Fourier transform. Our results provide a quantitative picture of how noise gradually erases the footprints of unitary integrability in open quantum systems.

quant-ph↗
arXiv2026

Quasiperiodicity-induced enhancement of superconductivity in one-dimensional critical systems

We show that quasiperiodicity can enhance superconductivity in one-dimensional narrow-band systems with s-wave pairing. Using a generalized Aubry-André-Harper model featuring quasiperiodic modulations in both the on-site potential and the hoppings, we study superconductivity across the extended, critical, and localized phases present in the noninteracting limit. Our results show that within the critical and localized phases, the superconducting critical temperature exhibits an algebraic scaling with the interaction strength, in contrast to the conventional BCS scaling observed in periodic approximants with a similar density of states. This direct comparison establishes that the enhancement originates from the nature of the single-particle eigenstates, rather than from band flattening alone. Furthermore, we find that the superfluid weight remains finite across all phases, including the localized regime, highlighting that superconducting phase coherence is retained throughout. The effects of quasiperiodicity on the superfluid weight are most pronounced in the weak-coupling regime, indicating the nontrivial role of the localization properties of the parent eigenstates in shaping the superconducting phases.

cond-mat.supr-con↗
arXiv2026

Error accumulation in dissipative quantum circuits

Present-day quantum processors are open systems in which dissipation and decoherence degrade the information carried by a quantum state as it propagates through a circuit. We study this degradation in dissipative random quantum circuits, modeling each two-qubit gate as a diluted unitary that interpolates between the intended unitary operation and a random dissipative quantum channel. Using the fidelity between the ideal and noisy output states as a diagnostic, we show that sufficiently random unitary gates or dissipative Kraus operators lead to a universal decay of the average fidelity. This decay is determined only by the dissipation strength, system size, and circuit depth, while microscopic details of the gates and noise, including the Kraus rank, appear only in subleading corrections to higher moments. We derive a closed-form expression for the average fidelity in terms of three physically meaningful error parameters, dissipation strength, coherent two-qubit gate-error strength, and connectivity-error probability. Finally, we identify the cases when dissipative effects can be reproduced by an unitary-noise model and when dissipation-induced decoherence remains distinguishable from coherent noise at the level of the average fidelity.

quant-ph↗
arXiv2026

Voice-Driven Semantic Perception for UAV-Assisted Emergency Networks

Unmanned Aerial Vehicle (UAV)-assisted networks are increasingly foreseen as a promising approach for emergency response, providing rapid, flexible, and resilient communications in environments where terrestrial infrastructure is degraded or unavailable. In such scenarios, voice radio communications remain essential for first responders due to their robustness; however, their unstructured nature prevents direct integration with automated UAV-assisted network management. This paper proposes SIREN, an AI-driven framework that enables voice-driven perception for UAV-assisted networks. By integrating Automatic Speech Recognition (ASR) with Large Language Model (LLM)-based semantic extraction and Natural Language Processing (NLP) validation, SIREN converts emergency voice traffic into structured, machine-readable information, including responding units, location references, emergency severity, and Quality-of-Service (QoS) requirements. SIREN is evaluated using synthetic emergency scenarios with controlled variations in language, speaker count, background noise, and message complexity. The results demonstrate robust transcription and reliable semantic extraction across diverse operating conditions, while highlighting speaker diarization and geographic ambiguity as the main limiting factors. These findings establish the feasibility of voice-driven situational awareness for UAV-assisted networks and show a practical foundation for human-in-the-loop decision support and adaptive network management in emergency response operations.

cs.NI↗
arXiv2026

Dissipation- versus Chaos-Induced Relaxation in Non-Markovian Quantum Many-Body Systems

In interacting quantum many-body systems, relaxation toward equilibrium reflects a competition between internal chaotic dynamics and environmental dissipation. While conventional Markovian baths typically produce exponential decay, non-Markovian dissipation can give rise to more intricate behavior, including algebraic relaxation. We study an open Sachdev-Ye-Kitaev (SYK) model coupled to a pseudogapped fermionic bath, using the Keldysh formalism to compute steady-state correlations in the large-$N$ limit. Our results uncover a rich dynamical phase diagram, with regimes of bath-driven power-law relaxation, chaos-driven exponential decay, and an intermediate pre-relaxation phase where exponential decay crosses over to algebraic decay. These findings demonstrate that non-Markovian environments can qualitatively reshape relaxation mechanisms in strongly correlated quantum many-body systems.

cond-mat.stat-mech↗
arXiv2026

Engineering Reliable Autonomous Systems: Challenges and Solutions

Engineering reliable autonomous systems is an important and growing topic in computer science. As autonomous systems become more prevalent, easy-to-use techniques for building them reliably are increasingly important. This workshop report captures and expands on the discussions at the Lorentz Center Workshop "Engineering Reliable Autonomous Systems" (ERAS), held from 10 to 14 June 2024. The workshop was co-organised by the organisers of the Workshop on Formal Methods for Autonomous Systems (FMAS) and the Workshop on Agents and Robots for reliable Engineered Autonomy (AREA). It brought together members of the FMAS and AREA communities, industry practitioners, and representatives from sectors where autonomous systems pose distinctive engineering challenges. The workshop focused on three main research topics: techniques for verification and validation of autonomous systems; engineering real-world autonomous systems; and software architectures for safe autonomous systems. Its main outcome is a catalogue of challenges in these areas and, most importantly, a pathway to solutions. Some challenges can already be tackled by techniques that are well known in academia but have not yet become regularly used in practice. Other challenges remain unresolved and require further research. This roadmap is intended to support future research and industrial collaboration.

cs.RO↗
arXiv2026

Toward Next-Generation AI Data Centers: Power Delivery Architecture Shifts, Emerging Technologies, and Challenges

The rapid growth of AI workloads is driving unprecedented increases in data center power demand, current transients, and thermal stress, exposing fundamental limitations in traditional 48 V rack architectures, low-voltage AC distribution, and line-frequency transformer interfaces. This paper reviews the three stages of architectural shifts required to support next-generation AI data centers and identifies three enabling technological building blocks: high-voltage conversion-ratio DC/DC converters, facility-level low-voltage DC distribution, and medium-voltage solid-state transformers. The advantages, technical challenges, and potential solutions associated with each building block are reviewed. Finally, future research directions and open challenges are discussed.

eess.SY↗
arXiv2026

Emergence of universality in transport of noisy free fermions

We analyze the effects of various forms of noise on one-dimensional systems of non-interacting fermions. In the strong noise limit, we demonstrate, under mild assumptions, that the statistics of the fermionic correlation matrix in the thermodynamic limit follow a universal form described by the recently introduced quantum simple symmetric exclusion process (Q-SSEP). For charge transport, we show that Q-SSEP, along with all models in its universality class, shares the same large deviation function for the transferred charge as the classical SSEP model. The method we introduce to derive this result relies on a gauge-like invariance associated with the choice of the bond where the current is measured. This approach enables the explicit calculation of the cumulant generating function for both Q-SSEP and SSEP and establishes an exact correspondence between them. These analytical findings are validated by extensive numerical simulations. Our results establish that a wide range of noisy free-fermionic models share the same Q-SSEP universality class and show that their transport properties are essentially classical.

cond-mat.stat-mech↗
arXiv2026

Do Deep Ensembles Actually Capture Uncertainty in Graph Neural Networks?

While deep ensembles are widely considered to be the default method for uncertainty quantification in deep learning, their effectiveness for graph-structured data is often simply assumed based on successes in domains like computer vision. We investigate standard deep ensembles specifically for message-passing graph neural networks. Benchmarking across seven datasets representing varied tasks and complexities, we reveal that ensembles provide surprisingly little improvement over a single model. Instead, the observed marginal gains stem primarily from stabilizing optimization noise in point predictions rather than yielding meaningfully better uncertainty estimates. Through an aleatoric-epistemic decomposition, we identify epistemic collapse: independently trained networks consistently converge to overly similar predictions. Because disagreement is the fundamental mechanism through which ensembles capture epistemic uncertainty, this lack of diversity neutralizes their key advantage. Analyzing this phenomenon further, we suggest this collapse is driven by functional rather than weight-space convexity, where distinct parameter solutions induce almost identical behavior. Our results suggest that deep ensemble success does not seamlessly transfer to graph machine learning.

cs.LG↗
arXiv2026

What We Talk About When We Talk About Dissipative Quantum Chaos

Dissipative quantum chaos is an emerging theory that is expected to extend the ideas, concepts, and methodology of conventional Hamiltonian quantum chaos from coherent evolution to open quantum dynamics. The new theory should provide a set of tools to distinguish chaotic open quantum systems from integrable ones, as well as quantitative measures of their chaoticity (or, conversely, integrability). The foundations of this theory were laid in the late 1980s, and from the very start it was clear that, like its Hamiltonian predecessor, it had to be based on the spectral properties of the operators governing open quantum evolution. After these first steps, the field remained relatively quiet for many years and it is only over the last decade that the development of dissipative quantum chaos has received a strong boost, as confirmed by a large number of publications on this topic and, very recently, the first experiments performed to test its theoretical predictions. In this chapter, we review these recent developments and outline the basic foundations of dissipative quantum chaos.

quant-ph↗
arXiv2026

An analogue of a formula of Popov II

Let $r_{k}(n)$ denote the number of representations of the positive integer $n$ as the sum of $k$ squares. We prove a generalization of a summation formula already proved by us [Advances in Applied Mathematics, 175 (2026) 103201], which involves the arithmetical function $r_{k}(n)$ and the Bessel functions of the first kind. We extend the Bessel functions in the aforementioned formula to Whittaker functions, and our proof of this generalization is drastically different from the proof of the particular case presented in [Advances in Applied Mathematics, 175 (2026) 103201].

math.NT↗
arXiv2026

Analogues of a formula of Ferrar: what I have learned from Semyon Yakubovich

W. L. Ferrar seems to have been the first mathematician to clearly draw a connection between the functional aspects of a summation formula and the behavior of the Dirichlet series underlying it. Taking a formula due to him as a starting point, I will describe some new generalizations of Ferrar's formulas and how these were actually obtained after learning a great deal from Semyon. I also present a very concise overview of the underlying theory of summation formulas and how the Mellin transform has been the link between mine and Professor Yakubovich's interests.

math.HO↗
arXiv2026

Effective band-projected description of interacting quasiperiodic systems

We study the interplay between electronic interactions and quasiperiodicity in a one-dimensional narrow-band system, focusing on ground-state and low-energy excitation properties. Using band projection as low-energy effective approach, we show that a projection restricted to first order in the interaction strength fails to reproduce the correlated phase diagram. This contrasts with the standard success of first-order band projection in translationally invariant flatband systems and highlights the essential role of virtual processes involving remote bands in quasiperiodic settings. By incorporating second-order interband contributions perturbatively, we obtain an effective Hamiltonian that quantitatively reproduces the exact phase iagram previously obtained using density matrix renormalization group calculations, including the transition between a Luttinger liquid and a charge-density-wave phase and the crossover to a quasifractal charge-density-wave regime at strong quasiperiodicity. We further use this controlled framework to investigate low-energy neutral excitations and the optical conductivity, identifying clear dynamical signatures distinguishing the different phases. Our results establish second-order band projection as a reliable tool for correlated quasiperiodic narrow-band systems and suggest a promising route for studying interacting quasiperiodic and moiré materials beyond one dimension.

cond-mat.str-el↗
arXiv2026

Multilayer Horizontal Visibility Graphs for Multivariate Time Series Analysis

Multivariate time series analysis is a vital but challenging task, with multidisciplinary applicability, tackling the characterization of multiple interconnected variables over time and their dependencies. Traditional methodologies often adapt univariate approaches or rely on assumptions specific to certain domains or problems, presenting limitations. A recent promising alternative is to map multivariate time series into high-level network structures such as multiplex networks, with past work relying on connecting successive time series components with interconnections between contemporary timestamps. In this work, we first define a novel cross-horizontal visibility mapping between lagged timestamps of different time series and then introduce the concept of multilayer horizontal visibility graphs. This allows describing cross-dimension dependencies via inter-layer edges, leveraging the entire structure of multilayer networks. To this end, a novel parameter-free topological measure is proposed and common measures are extended for the multilayer setting. Our approach is general and applicable to any kind of multivariate time series data. We provide an extensive experimental evaluation with both synthetic and real-world datasets. We first explore the proposed methodology and the data properties highlighted by each measure, showing that inter-layer edges based on cross-horizontal visibility preserve more information than previous mappings, while also complementing the information captured by commonly used intra-layer edges. We then illustrate the applicability and validity of our approach in multivariate time series mining tasks, showcasing its potential for enhanced data analysis and insights.

cs.SI↗
arXiv2026

Critical Charge and Current Fluctuations across a Voltage-Driven Phase Transition

We investigate bias-driven non-equilibrium quantum phase transitions in a paradigmatic quantum-transport setup: an interacting quantum dot coupled to non-interacting metallic leads. Using the Random Phase Approximation, which is exact in the limit of a large number of dot levels, we map out the zero-temperature non-equilibrium phase diagram as a function of interaction strength and applied bias. We focus our analysis on the behavior of the charge susceptibility and the current noise in the vicinity of the transition. Remarkably, despite the intrinsically non-equilibrium nature of the steady state, critical charge fluctuations admit an effective-temperature description, $T_{\text{eff}}(T,V)$, that collapses the steady-state behavior onto its equilibrium form. In sharp contrast, current fluctuations exhibit genuinely non-equilibrium features: the fluctuation-dissipation ratio becomes negative in the ordered phase, corresponding to a negative effective temperature for the current degrees of freedom. These results establish current noise as a sensitive probe of critical fluctuations at non-equilibrium quantum phase transitions and open new directions for exploring voltage-driven critical phenomena in quantum transport systems.

cond-mat.str-el↗