arXiv ScienceSearch

arXiv subjects

Andrea Delgado

Publications and source records attributed to Andrea Delgado.

At least 19 recordsLinked to original sources

A Framework for Object-Centric Predictive Monitoring of Collaborative Processes

Predictive Process Monitoring (PPM) of collaborative, inter-organizational processes requires reasoning over multiple interdependent entities, including participants, messages, local executions, and the global collaboration case. Existing approaches extend traditional event logs with collaboration attributes but retain a single-case perspective, leaving much of this structure implicit. Object-centric process mining (OCPM) provides an alternative by representing these entities as first-class objects with explicit relations and multiple notions of case. This study connects collaborative PPM and OCPM through three contributions: (i) a formal semantic mapping from extended collaborative event logs to an OCED-conformant object-centric representation, serialized in OCEL 2.0; (ii) a reformulation of collaborative prediction tasks as object-centric prediction tasks; and (iii) a reproducible converter and prediction pipeline implementing the proposed mapping. We evaluate the framework on four public collaborative event logs and a fifth derived from the BPI Challenge 2013 incident-management log by executing the fourteen reformulated tasks using five predictive strategies across tabular, sequential, and graph-native encodings. We further discuss the benefits, limitations, and threats to the approach's validity. The representation makes collaboration structure explicit and makes it natural to state prediction targets based on object relations that fall outside the case-centric taxonomy, at the cost of increased relational complexity and dependence on object-centric tooling.

cs.AI

A Preliminary Search for Evidence on Government Software Engineering Practices: Results from Three Rapid Reviews

Government agencies are major software developers and drivers of digital transformation, yet empirical evidence on their software engineering (SE) practices remains largely unexplored. This paper reports three rapid reviews of 2024 peer reviewed publications to assess the availability of evidence on government SE practices. We examined a subset of top tier international SE venues, regional South American SE conferences, and a curated newsletter on public sector digitalization. Across 984 screened papers, we identified only four studies reporting on SE practices conducted by, for, or in collaboration with government bodies, most published in regional venues as experience reports or case studies. Our findings are consistent with practitioners' perceptions that academic evidence on government SE practices has low visibility in mainstream SE venues. We discuss implications including the need for dedicated publication venues, incentives for government academia collaboration, and improved methods for evaluating grey literature, currently a key information source for government agencies. This work provides a preliminary study for understanding the evidence landscape and identifies directions for future research to better support evidence based software engineering in the public sector.

cs.SE

An extensive theory of nonlinearly intercoupled pseudomodes for noise model reduction in circuit QED

Superconducting circuit quantum electrodynamical (cQED) platforms present a persistent modeling challenge: the intrinsic nonlinearity of the Josephson potential couples to a dissipative electromagnetic environment in ways that resist both perturbative treatment and naive Markovian reduction. Standard approaches either scale poorly with system size or absorb undeclared approximations about the noise structure into their master equations. In this work, we generalize Garraway's pseudomode construction to accommodate nonlinearly intercoupled auxiliary modes, providing a nonperturbative and systematically reducible framework for open-system cQED dynamics. The key observation is that pseudomode elimination is not fundamentally tied to linearity but to representability: any eliminated sector whose influence on the retained subsystem admits a rational self-energy can be replaced by a finite set of damped auxiliary modes, independent of the internal nonlinear structure of the retained Hamiltonian. We develop the general theory in the Heisenberg picture via a Dyson equation for the retained-mode Green's function, then demonstrate closed-form elimination for two-, three-, and four-mode Kerr-coupled systems with bilinear exchange and three-wave mixing interactions. The resulting framework substantially reduces the computational overhead of open-system cQED modeling while remaining faithful to the underlying physics, provided the spectral description of the eliminated sector is chosen to match the experimentally measured response functions of the hardware.

quant-ph

Closed form logical error rate approximations for surface codes

We propose a novel method to calculate logical error rates in surface codes, assuming independent and identically distributed physical errors. These results fit well known scaling laws for studied physical error rates and code distances, but break down in some other regimes. We show how to use our method to analyze hypothetical quantum computers with various configurations and select designs with lower error rates. Currently, this requires expensive classical simulations of quantum decoders for various distances and physical error rates or inaccurate extrapolation from minimal experimental data. Instead, we use the symmetry of the problem to count the configurations that result in a logical error with our novel software. Given a physical error rate, we can deduce the probability of a logical error, to provably good accuracy. We include an analysis of measurement errors to allow a more complete comparison of different surface code implementations. We extend this counting method to a particular locally-correlated error model.

quant-ph

Quantum-HPC Software Stacks and the openQSE Reference Architecture: A Survey

Quantum resources are increasingly integrated into high-performance computing (HPC) and cloud environments, but quantum high-performance computing (QHPC) software stacks remain isolated, often proprietary, full-stack solutions lacking common interfaces across runtime, resource management, orchestration, and execution layers. This paper analyzes nine production QHPC stacks and identifies common design patterns and emerging requirements, covering deployment models, application interaction patterns, SDK support, and readiness for fault-tolerant operation. The survey exposes consistent needs in runtime abstraction, resource management, interconnect semantics, and observability. Based on these findings, we propose the open quantum-HPC software ecosystem ( openQSE) reference architecture as a first step toward unifying the state-of-the-practice. openQSE defines a set of layer boundaries that allow different implementations to interoperate while preserving deployment flexibility, and is structured to support both current noisy intermediate-scale quantum (NISQ) workloads and future fault-tolerant quantum computing (FTQC) systems without changes to upper-layer application interfaces.

quant-ph

A field-biased quantum master equation and its Markovian limit

We present a non-equilibrium quantum master equation for a driven open quantum system in the presence of a continuously applied electromagnetic field. Starting from a driven Caldeira-Leggett (CL) model in which the external electromagnetic field couples simultaneously to the subsystem and reservoir degrees of freedom, the canonical fluctuation-dissipation theorem (FDT) relations that encode the coefficients of the master equation can no longer be expected to hold. The bath statistics acquire an explicit dependence on the two-time autocorrelation function of the applied field, leading to drive-biased noise correlations and the potential for non-Markovian dynamics. By eliminating the reservoir degrees of freedom at the operator level, we obtain a modified Hu-Paz-Zhang (HPZ) master equation, in which the diffusion coefficients and coherent forces inherit an explicit memory dependence on the external field. We demonstrate that the physically observable resonant frequency remains encoded in the homogeneous Green's function of the Generalized Langevin equation (GLE), while the drive-induced corrections manifest exclusively through modified diffusion and drift terms, should the drive be treated classically. The resultant field-modified HPZ master provides a unified microscopic framework for understanding field-biased open quantum systems with direct pertinence to a wide variety of experiments in quantum optics and microscopic quantum circuits.

quant-ph

Commuting Embeddings for Parallel Strategies in Non-local Games

Non-local games (NLGs) provide a versatile framework for probing quantum correlations and for benchmarking the power of entanglement. In finite dimensions, the standard method for playing several games in parallel requires a tensor product of the local Hilbert spaces, which scales additively in the number of qubits. In this work, we show that this additive cost can be reduced by exploiting algebraic embeddings. We introduce two forms of compressions. First, when a referee selects one game from a finite collection of games at random, the game quantum strategy can be implemented using a maximally entangled state of dimension equal to the largest individual game, thereby eliminating the need for repeated state preparations. Second, we establish conditions under which several games can be played simultaneously in parallel on fewer qubits than the tensor product baseline. These conditions are expressed in terms of commuting embeddings of the game algebras. Moreover, we provide a constructive framework for building such embeddings. Using tools from Lie theory, we show that aligning the various game algebras into a common Cartan decomposition enables such a qubit reduction. Beyond the theoretical contribution, our framework casts NLGs as algebraic primitives for distributed and resource constrained quantum computations and suggested NLGs as a comparable device independent dimension witness.

quant-ph

The Role of Quantum Computing in Advancing Scientific High-Performance Computing: A perspective from the ADAC Institute

Quantum computing (QC) has gained significant attention over the past two decades due to its potential for speeding up classically demanding tasks. This transition from an academic focus to a thriving commercial sector is reflected in substantial global investments. While advancements in qubit counts and functionalities continues at a rapid pace, current quantum systems still lack the scalability for practical applications, facing challenges such as too high error rates and limited coherence times. This perspective paper examines the relationship between QC and high-performance computing (HPC), highlighting their complementary roles in enhancing computational efficiency. It is widely acknowledged that even fully error-corrected QCs will not be suited for all computational task. Rather, future compute infrastructures are anticipated to employ quantum acceleration within hybrid systems that integrate HPC and QC. While QCs can enhance classical computing, traditional HPC remains essential for maximizing quantum acceleration. This integration is a priority for supercomputing centers and companies, sparking innovation to address the challenges of merging these technologies. The Accelerated Data Analytics and Computing Institute (ADAC) is comprised of globally leading HPC centers. ADAC has established a Quantum Computing Working Group to promote and catalyze collaboration among its members. This paper synthesizes insights from the QC Working Group, supplemented by findings from a member survey detailing ongoing projects and strategic directions. By outlining the current landscape and challenges of QC integration into HPC ecosystems, this work aims to provide HPC specialists with a deeper understanding of QC and its future implications for computationally intensive endeavors.

quant-ph

Parametric Stability Analysis for Circuit Quantum Electrodynamical Hardwares

The transmon qubit, essential to quantum computation, exhibits disordered dynamics under strong parametric drives critical to its control. We present a combined theoretical and numerical study of stability regions in circuit QED using Floquet theory, focusing on the appearance of Arnold tongues that distinguish stable from unstable regimes. Starting from simple Josephson circuits and progressing to full multimode qubit-cavity systems, we show how time-dependent modulation maps the dynamics to Mathieu-type equations, revealing thresholds for parametric resonances. Perturbative corrections capture effects like higher harmonics and weak nonlinearities. Simulations validate these predictions and expose sensitivity to fabrication parameters. These findings inform thresholds for readout fidelity, amplifier gain, and multi-qubit gate stability.

quant-ph

A Game-Theoretic Quantum Algorithm for Solving Magic Squares

Variational quantum algorithms (VQAs) offer a promising near-term approach to finding optimal quantum strategies for playing non-local games. These games test quantum correlations beyond classical limits and enable entanglement verification. In this work, we present a variational framework for the Magic Square Game (MSG), a two-player non-local game with perfect quantum advantage. We construct a value Hamiltonian that encodes the game's parity and consistency constraints, then optimize parameterized quantum circuits to minimize this cost. Our approach builds on the stabilizer formalism, leverages commutation structure for circuit design, and is hardware-efficient. Compared to existing work, our contribution emphasizes algebraic structure and interpretability. We validate our method through numerical experiments and outline generalizations to larger games.

quant-ph

Flowing Through Hilbert Space: Quantum-Enhanced Generative Models for Lattice Field Theory

Sampling from high-dimensional and structured probability distributions is a fundamental challenge in computational physics, particularly in the context of lattice field theory (LFT), where generating field configurations efficiently is critical, yet computationally intensive. In this work, we apply a previously developed hybrid quantum-classical normalizing flow model to explore quantum-enhanced sampling in such regimes. Our approach embeds parameterized quantum circuits within a classical normalizing flow architecture, leveraging amplitude encoding and quantum entanglement to enhance expressivity in the generative process. The quantum circuit serves as a trainable transformation within the flow, while classical networks provide adaptive coupling and compensate for quantum hardware imperfections. This design enables efficient density estimation and sample generation, potentially reducing the resources required compared to purely classical methods. While LFT provides a representative and physically meaningful application for benchmarking, our focus is on improving the sampling efficiency of generative models through quantum components. This work contributes toward the development of quantum-enhanced generative modeling frameworks that address the sampling bottlenecks encountered in physics and beyond.

quant-ph

Error Estimates and Higher Order Trotter Product Formulas in Jordan-Banach Algebras

In quantum computing, Trotter estimates are critical for enabling efficient simulation of quantum systems and quantum dynamics, help implement complex quantum algorithms, and provide a systematic way to control approximate errors. In this paper, we extend the analysis of Trotter-Suzuki approximations, including third and higher orders, to Jordan-Banach algebras. We solve an open problem in our earlier paper on the existence of second-order Trotter formula error estimation in Jordan-Banach algebras. To illustrate our work, we apply our formula to simulate Trotter-factorized spins, and show improvements in the approximations. Our approach demonstrates the adaptability of Trotter product formulas and estimates to non-associative settings, which offers new insights into the applications of Jordan algebra theory to operator dynamics.

quant-ph

Towards a Simple and Extensible Standard for Object-Centric Event Data (OCED) -- Core Model, Design Space, and Lessons Learned

Process mining is shifting towards use cases that explicitly leverage the relations between data objects and events under the term of object-centric process mining. Realizing this shift and generally simplifying the exchange and transformation of data between source systems and process mining solutions requires a standardized data format for such object-centric event data (OCED). This report summarizes the activities and results for identifying requirements and challenges for a community-supported standard for OCED. (1) We present a proposal for a core model for object-centric event data that underlies all known use cases. (2) We detail the limitations of the core model wrt. a broad range of use cases and discuss how to overcome them through conventions, usage patterns, and extensions of OCED, exhausting the design-space for an OCED data model and the inherent trade-offs in representing object-centric event data. (3) These insights are backed by five independent OCED implementations which are presented alongside a series of lessons learned in academic and industrial case studies. The results of this report provide guidance to the community to start adopting and building new process mining use cases and solutions around the reliable concepts for object-centric event data, and to engage in a structured process for standardizing OCED based on the known OCED design space.

cs.DB

Towards Designing Scalable Quantum-Enhanced Generative Networks for Neutrino Physics Experiments with Liquid Argon Time Projection Chambers

Generative modeling for high-resolution images in Liquid Argon Time Projection Chambers (LArTPC), used in neutrino physics experiments, presents significant challenges due to the complexity and sparsity of the data. This work explores the application of quantum-enhanced generative networks to address these challenges, focusing on the scaling of models to handle larger image sizes and avoid the often encountered problem of mode collapse. To counteract mode collapse, regularization methods were introduced and proved to be successful on small-scale images, demonstrating improvements in stabilizing the training process. Although mode collapse persisted in higher-resolution settings, the introduction of these techniques significantly enhanced the model's performance in lower-dimensional cases, providing a strong foundation for further exploration. These findings highlight the potential for quantum-enhanced generative models in LArTPC data generation and offer valuable insights for the future development of scalable hybrid quantum-classical solutions in nuclear and high-energy physics.

quant-ph

A Systematic Review on Process Mining for Curricular Analysis

Educational Process Mining (EPM) is a data analysis technique that is used to improve educational processes. It is based on Process Mining (PM), which involves gathering records (logs) of events to discover process models and analyze the data from a process-centric perspective. One specific application of EPM is curriculum mining, which focuses on understanding the learning program students follow to achieve educational goals. This is important for institutional curriculum decision-making and quality improvement. Therefore, academic institutions can benefit from organizing the existing techniques, capabilities, and limitations. We conducted a systematic literature review to identify works on applying PM to curricular analysis and provide insights for further research. We reviewed 27 primary studies published across seven major databases. Our analysis classified these studies into five main research objectives: discovery of educational trajectories, identification of deviations in student behavior, bottleneck analysis, dropout / stopout analysis, and generation of recommendations. Key findings highlight challenges such as standardization to facilitate cross-university analysis, better integration of process and data mining techniques, and improved tools for educational stakeholders. This review provides a comprehensive overview of the current landscape in curricular process mining and outlines specific research opportunities to support more robust and actionable curricular analyses in educational settings.

cs.DB

Extending predictive process monitoring for collaborative processes

Process mining on business process execution data has focused primarily on orchestration-type processes performed in a single organization (intra-organizational). Collaborative (inter-organizational) processes, unlike those of orchestration type, expand several organizations (for example, in e-Government), adding complexity and various challenges both for their implementation and for their discovery, prediction, and analysis of their execution. Predictive process monitoring is based on exploiting execution data from past instances to predict the execution of current cases. It is possible to make predictions on the next activity and remaining time, among others, to anticipate possible deviations, violations, and delays in the processes to take preventive measures (e.g., re-allocation of resources). In this work, we propose an extension for collaborative processes of traditional process prediction, considering particularities of this type of process, which add information of interest in this context, for example, the next activity of which participant or the following message to be exchanged between two participants.

cs.DB

Identifying overparameterization in Quantum Circuit Born Machines

In machine learning, overparameterization is associated with qualitative changes in the empirical risk landscape, which can lead to more efficient training dynamics. For many parameterized models used in statistical learning, there exists a critical number of parameters, or model size, above which the model is constructed and trained in the overparameterized regime. There are many characteristics of overparameterized loss landscapes. The most significant is the convergence of standard gradient descent to global or local minima of low loss. In this work, we study the onset of overparameterization transitions for quantum circuit Born machines, generative models that are trained using non-adversarial gradient-based methods. We observe that bounds based on numerical analysis are in general good lower bounds on the overparameterization transition. However, bounds based on the quantum circuit's algebraic structure are very loose upper bounds. Our results indicate that fully understanding the trainability of these models remains an open question.

quant-ph

Quantum Computing for High-Energy Physics: State of the Art and Challenges. Summary of the QC4HEP Working Group

Quantum computers offer an intriguing path for a paradigmatic change of computing in the natural sciences and beyond, with the potential for achieving a so-called quantum advantage, namely a significant (in some cases exponential) speed-up of numerical simulations. The rapid development of hardware devices with various realizations of qubits enables the execution of small scale but representative applications on quantum computers. In particular, the high-energy physics community plays a pivotal role in accessing the power of quantum computing, since the field is a driving source for challenging computational problems. This concerns, on the theoretical side, the exploration of models which are very hard or even impossible to address with classical techniques and, on the experimental side, the enormous data challenge of newly emerging experiments, such as the upgrade of the Large Hadron Collider. In this roadmap paper, led by CERN, DESY and IBM, we provide the status of high-energy physics quantum computations and give examples for theoretical and experimental target benchmark applications, which can be addressed in the near future. Having the IBM 100 x 100 challenge in mind, where possible, we also provide resource estimates for the examples given using error mitigated quantum computing.

quant-ph