Showing 1–46 of 46 results for author: Morales, S

Spectral dimensionality of spacetime around a radiating Schwarzschild black-hole

Authors: Mauricio Bellini, Juan Ignacio Musmarra, Pablo Alejandro Sanchez, Alan Sebastian Morales

Abstract: In this work we study the spectral dimensionality of spacetime around a radiating Schwarzschild black hole using a recently introduced formalism of quantum gravity, where the alterations of the gravitational field produced by the radiation are represented on an extended manifold, and describe a non-commutative and non-linear algebra. The ration between classical and quantum perturbations of spacet… ▽ More In this work we study the spectral dimensionality of spacetime around a radiating Schwarzschild black hole using a recently introduced formalism of quantum gravity, where the alterations of the gravitational field produced by the radiation are represented on an extended manifold, and describe a non-commutative and non-linear algebra. The ration between classical and quantum perturbations of spacetime can be measured by the parameter $z \geq 0$. When $z=(1+\sqrt{3})/2\simeq 1.3660$, a relativistic observer approaching the Schwarzschild horizon perceives a spectral dimension $N(z)=4\left[θ(z)-1\right]\simeq 2.8849$. Under these conditions, all studied Schwarzschild black holes with masses ranging from the Planck mass to $10^{46}$ times the Planck mass, present the same stability configuration which suggests the existence of an universal property of these objects under those particular conditions. The difference from the spectral dimension previously obtained at cosmological scales leads to the conclusion that the dimensionality of spacetime is scale-dependent. Another important result presented here, is the fundamental alteration of the effective gravitational potential near the horizon due to Hawking radiation. This quantum phenomenon prevents the potential from diverging to negative infinity as the observable approaches the Schwarzschild horizon. △ Less

Submitted 5 May, 2025; originally announced May 2025.

Comments: 11 pages, 5 figures

Mind the Language Gap: Automated and Augmented Evaluation of Bias in LLMs for High- and Low-Resource Languages

Authors: Alessio Buscemi, Cédric Lothritz, Sergio Morales, Marcos Gomez-Vazquez, Robert Clarisó, Jordi Cabot, German Castignani

Abstract: Large Language Models (LLMs) have exhibited impressive natural language processing capabilities but often perpetuate social biases inherent in their training data. To address this, we introduce MultiLingual Augmented Bias Testing (MLA-BiTe), a framework that improves prior bias evaluation methods by enabling systematic multilingual bias testing. MLA-BiTe leverages automated translation and paraphr… ▽ More Large Language Models (LLMs) have exhibited impressive natural language processing capabilities but often perpetuate social biases inherent in their training data. To address this, we introduce MultiLingual Augmented Bias Testing (MLA-BiTe), a framework that improves prior bias evaluation methods by enabling systematic multilingual bias testing. MLA-BiTe leverages automated translation and paraphrasing techniques to support comprehensive assessments across diverse linguistic settings. In this study, we evaluate the effectiveness of MLA-BiTe by testing four state-of-the-art LLMs in six languages -- including two low-resource languages -- focusing on seven sensitive categories of discrimination. △ Less

Submitted 19 April, 2025; originally announced April 2025.

Efficiently learning fermionic unitaries with few non-Gaussian gates

Authors: Sharoon Austin, Mauro E. S. Morales, Alexey Gorshkov

Abstract: Fermionic Gaussian unitaries are known to be efficiently learnable and simulatable. In this paper, we present a learning algorithm that learns an $n$-mode circuit containing $t$ parity-preserving non-Gaussian gates. While circuits with $t = \textrm{poly}(n)$ are unlikely to be efficiently learnable, for constant $t$, we present a polynomial-time algorithm for learning the description of the unknow… ▽ More Fermionic Gaussian unitaries are known to be efficiently learnable and simulatable. In this paper, we present a learning algorithm that learns an $n$-mode circuit containing $t$ parity-preserving non-Gaussian gates. While circuits with $t = \textrm{poly}(n)$ are unlikely to be efficiently learnable, for constant $t$, we present a polynomial-time algorithm for learning the description of the unknown fermionic circuit within a small diamond-distance error. Building on work that studies the state-learning version of this problem, our approach relies on learning approximate Gaussian unitaries that transform the circuit into one that acts non-trivially only on a constant number of Majorana operators. Our result also holds for the case where we have a qubit implementation of the fermionic unitary. △ Less

Submitted 21 April, 2025; originally announced April 2025.

Comments: 26 pages, 4 figures

Lightweight Deep Models for Dermatological Disease Detection: A Study on Instance Selection and Channel Optimization

Authors: Ian Mateos Gonzalez, Estefani Jaramilla Nava, Abraham Sánchez Morales, Jesús García-Ramírez, Ricardo Ramos-Aguilar

Abstract: The identification of dermatological disease is an important problem in Mexico according with different studies. Several works in literature use the datasets of different repositories without applying a study of the data behavior, especially in medical images domain. In this work, we propose a methodology to preprocess dermaMNIST dataset in order to improve its quality for the classification stage… ▽ More The identification of dermatological disease is an important problem in Mexico according with different studies. Several works in literature use the datasets of different repositories without applying a study of the data behavior, especially in medical images domain. In this work, we propose a methodology to preprocess dermaMNIST dataset in order to improve its quality for the classification stage, where we use lightweight convolutional neural networks. In our results, we reduce the number of instances for the neural network training obtaining a similar performance of models as ResNet. △ Less

Submitted 1 April, 2025; originally announced April 2025.

Comments: Submitted to Mexican Conference on Pattern Recognition 2025

The Software Diversity Card: A Framework for Reporting Diversity in Software Projects

Authors: Joan Giner-Miguelez, Sergio Morales, Sergio Cobos, Javier Luis Canovas Izquierdo, Robert Clariso, Jordi Cabot

Abstract: The interest and concerns about diversity in software development have soared in recent years. Reporting diversity-related aspects of software projects can increase user trust and help regulators evaluate potential adoption. Furthermore, recent directives around AI are beginning to require diversity information in the development of AI products, indicating the growing interest of public regulators… ▽ More The interest and concerns about diversity in software development have soared in recent years. Reporting diversity-related aspects of software projects can increase user trust and help regulators evaluate potential adoption. Furthermore, recent directives around AI are beginning to require diversity information in the development of AI products, indicating the growing interest of public regulators in it. Despite this importance, current documentation assets in software development processes frequently overlook diversity in favor of technical features, partly due to a lack of tools for describing and annotating diversity. This work introduces the Software Diversity Card, a comprehensive framework for reporting diversity-related aspects of software projects. The card is designed to profile the different types of teams involved in developing and governing software projects (including the final user groups involved in testing), and the software adaptations for specific social groups. To encourage its adoption, we provide a diversity modeling language, a toolkit for generating the cards using such language, and a collection of real-world examples from active software projects. Our proposal can enhance diversity practices in software development e.g., through open-source projects like the CONTRIBUTING.md file), support public administrations in software assessment, and help businesses promote diversity as a key asset. △ Less

Submitted 7 March, 2025; originally announced March 2025.

Quantum-Inspired Solver for Simulating Material Deformations

Authors: Mazen Ali, Aser Cortines, Siddhartha Morales, Samuel Mugel, Mireia Olave, Roman Orus, Samuel Palmer, Hodei Usabiaga

Abstract: This paper explores the application of tensor networks (TNs) to the simulation of material deformations within the framework of linear elasticity. Material simulations are essential computational tools extensively used in both academic research and industrial applications. TNs, originally developed in quantum mechanics, have recently shown promise in solving partial differential equations (PDEs) d… ▽ More This paper explores the application of tensor networks (TNs) to the simulation of material deformations within the framework of linear elasticity. Material simulations are essential computational tools extensively used in both academic research and industrial applications. TNs, originally developed in quantum mechanics, have recently shown promise in solving partial differential equations (PDEs) due to their potential for exponential speedups over classical algorithms. Our study successfully employs TNs to solve linear elasticity equations with billions of degrees of freedom, achieving exponential reductions in both memory usage and computational time. These results demonstrate the practical viability of TNs as a powerful classical backend for executing quantum-inspired algorithms with significant efficiency gains. This work is based on our research conducted with IKERLAN. △ Less

Submitted 2 February, 2025; v1 submitted 21 January, 2025; originally announced January 2025.

Comments: 12 pages, 7 figures

Assessing Quantum and Classical Approaches to Combinatorial Optimization: Testing Quadratic Speed-ups for Heuristic Algorithms

Authors: Pedro C. S. Costa, Mauro E. S. Morales, Dong An, Yuval R. Sanders

Abstract: Many recent investigations conclude, based on asymptotic complexity analyses, that quantum computers could accelerate combinatorial optimization (CO) tasks relative to a purely classical computer. However, asymptotic analysis alone cannot support a credible claim of quantum advantage. Here, we highlight the challenges involved in benchmarking quantum and classical heuristics for combinatorial opti… ▽ More Many recent investigations conclude, based on asymptotic complexity analyses, that quantum computers could accelerate combinatorial optimization (CO) tasks relative to a purely classical computer. However, asymptotic analysis alone cannot support a credible claim of quantum advantage. Here, we highlight the challenges involved in benchmarking quantum and classical heuristics for combinatorial optimization (CO), with a focus on the Sherrington-Kirkpatrick problem. Whereas hope remains that a quadratic quantum advantage is possible,our numerical analysis casts doubt on the idea that current methods exhibit any quantum advantage at all. This doubt arises because even a simple classical approach can match with quantum methods we investigated. We conclude that more careful numerical investigations are needed to evaluate the potential for quantum advantage in CO, and we give some possible future directions for such investigations. △ Less

Submitted 17 December, 2024; originally announced December 2024.

Comments: 11 pages, 8 figures

Designing Flat Bands and Pseudo-Landau Levels in GaAs with Patterned Gates

Authors: Pierre A. Pantaleon, Zhen Zhan, Siddhartha E. Morales, Gerardo G. Naumis

Abstract: We investigate the electronic properties of two-dimensional electron gases (2DEGs) subjected to a periodic patterned gate. By incorporating the superlattice (SL) potential induced by patterning into the Schrodinger equation, we develop a methodology for obtaining exact analytical solutions. These solutions enable us to construct a comprehensive phase diagram illustrating the emergence of narrow ba… ▽ More We investigate the electronic properties of two-dimensional electron gases (2DEGs) subjected to a periodic patterned gate. By incorporating the superlattice (SL) potential induced by patterning into the Schrodinger equation, we develop a methodology for obtaining exact analytical solutions. These solutions enable us to construct a comprehensive phase diagram illustrating the emergence of narrow bands and pseudo-Landau levels driven by the SL potential. To complement the analytical approach, we employ a standard plane-wave formalism to track the evolution of the band structure as the SL strength increases. By breaking the inversion symmetry of the SL potential, we found a nontrivial band topology. Furthermore, we introduce a self-consistent Hartree screening to account for the interplay between the SL potential and electronic interactions. Our findings not only reveal the emergence of a non-trivial band topology and a competition between SL strength and electron-electron interactions, but also highlight the value of exact analytical solutions for understanding and engineering electronic phases in patterned 2DEG systems. △ Less

Submitted 17 March, 2025; v1 submitted 5 December, 2024; originally announced December 2024.

Comments: 13 pages, 5 figures. Additional results included. Comments are very welcome

Towards scalable active steering protocols for genuinely entangled state manifolds

Authors: Samuel Morales, Silvia Pappalardi, Reinhold Egger

Abstract: We introduce and analyze an active steering protocol designed to target multipartite entangled states. The protocol involves multiple qubits subjected to weak Bell pair measurements with active feedback, where the feedback operations are optimized to maximize the Quantum Fisher Information. Our scheme efficiently reaches a genuinely entangled one-parameter state manifold. Numerical simulations for… ▽ More We introduce and analyze an active steering protocol designed to target multipartite entangled states. The protocol involves multiple qubits subjected to weak Bell pair measurements with active feedback, where the feedback operations are optimized to maximize the Quantum Fisher Information. Our scheme efficiently reaches a genuinely entangled one-parameter state manifold. Numerical simulations for systems with up to 22 qubits suggest that the protocol is scalable and allows high multipartite entanglement across the system. △ Less

Submitted 9 April, 2025; v1 submitted 5 December, 2024; originally announced December 2024.

Comments: 7 pages, 6 figures

Improved Upper Bounds on Key Invariants of Erdős-Rényi Numerical Semigroups

Authors: Tristram Bogart, Santiago Morales

Abstract: De Loera, O'Neill and Wilburne introduced a general model for random numerical semigroups in which each positive integer is chosen independently with some probability p to be a generator, and proved upper and lower bounds on the expected Frobenius number and expected embedding dimensions. We use a range of probabilistic methods to improve the upper bounds to within a polylogarithmic factor of the… ▽ More De Loera, O'Neill and Wilburne introduced a general model for random numerical semigroups in which each positive integer is chosen independently with some probability p to be a generator, and proved upper and lower bounds on the expected Frobenius number and expected embedding dimensions. We use a range of probabilistic methods to improve the upper bounds to within a polylogarithmic factor of the lower bounds in each case. As one of the tools to do this, we prove that for any prime q, if A is a random subset of the cyclic group Z_q whose size is of order log(q) and k is also of order log(q), then with high probability the k-fold sumset kA is all of Z_q. △ Less

Submitted 21 January, 2025; v1 submitted 20 November, 2024; originally announced November 2024.

Comments: 17 pages, 4 figures. Corrected various minor mistakes, including constants that were incorrectly swapped between the two parts of the main theorem (Theorem 1.6). Added a new reference (Bac90) and associated discussion in the introduction

MSC Class: 20M14; 06F05; 05D40; 11P70

Enhancing Predictive Maintenance in Mining Mobile Machinery through a TinyML-enabled Hierarchical Inference Network

Authors: Raúl de la Fuente, Luciano Radrigan, Anibal S Morales

Abstract: Mining machinery operating in variable environments faces high wear and unpredictable stress, challenging Predictive Maintenance (PdM). This paper introduces the Edge Sensor Network for Predictive Maintenance (ESN-PdM), a hierarchical inference framework across edge devices, gateways, and cloud services for real-time condition monitoring. The system dynamically adjusts inference locations--on-devi… ▽ More Mining machinery operating in variable environments faces high wear and unpredictable stress, challenging Predictive Maintenance (PdM). This paper introduces the Edge Sensor Network for Predictive Maintenance (ESN-PdM), a hierarchical inference framework across edge devices, gateways, and cloud services for real-time condition monitoring. The system dynamically adjusts inference locations--on-device, on-gateway, or on-cloud--based on trade-offs among accuracy, latency, and battery life, leveraging Tiny Machine Learning (TinyML) techniques for model optimization on resource-constrained devices. Performance evaluations showed that on-sensor and on-gateway inference modes achieved over 90\% classification accuracy, while cloud-based inference reached 99\%. On-sensor inference reduced power consumption by approximately 44\%, enabling up to 104 hours of operation. Latency was lowest for on-device inference (3.33 ms), increasing when offloading to the gateway (146.67 ms) or cloud (641.71 ms). The ESN-PdM framework provides a scalable, adaptive solution for reliable anomaly detection and PdM, crucial for maintaining machinery uptime in remote environments. By balancing accuracy, latency, and energy consumption, this approach advances PdM frameworks for industrial applications. △ Less

Submitted 16 November, 2024; v1 submitted 11 November, 2024; originally announced November 2024.

Comments: This work has been submitted to the IEEE for possible publication

Quantum Linear System Solvers: A Survey of Algorithms and Applications

Authors: Mauro E. S. Morales, Lirandë Pira, Philipp Schleich, Kelvin Koor, Pedro C. S. Costa, Dong An, Alán Aspuru-Guzik, Lin Lin, Patrick Rebentrost, Dominic W. Berry

Abstract: Solving linear systems of equations plays a fundamental role in numerous computational problems from different fields of science. The widespread use of numerical methods to solve these systems motivates investigating the feasibility of solving linear systems problems using quantum computers. In this work, we provide a survey of the main advances in quantum linear systems algorithms, together with… ▽ More Solving linear systems of equations plays a fundamental role in numerous computational problems from different fields of science. The widespread use of numerical methods to solve these systems motivates investigating the feasibility of solving linear systems problems using quantum computers. In this work, we provide a survey of the main advances in quantum linear systems algorithms, together with some applications. We summarize and analyze the main ideas behind some of the algorithms for the quantum linear systems problem in the literature. The analysis begins by examining the Harrow-Hassidim-Lloyd (HHL) solver. We note its limitations and reliance on computationally expensive quantum methods, then highlight subsequent research efforts which aimed to address these limitations and optimize runtime efficiency and precision via various paradigms. We focus in particular on the post-HHL enhancements which have paved the way towards optimal lower bounds with respect to error tolerance and condition number. By doing so, we propose a taxonomy that categorizes these studies. Furthermore, by contextualizing these developments within the broader landscape of quantum computing, we explore the foundational work that have inspired and informed their development, as well as subsequent refinements. Finally, we discuss the potential applications of these algorithms in differential equations, quantum machine learning, and many-body physics. △ Less

Submitted 9 January, 2025; v1 submitted 4 November, 2024; originally announced November 2024.

Comments: 42 pages, 7 figures

Error threshold in active steering protocols for few-qubit systems

Authors: Nico Ackermann, Samuel Morales, Alfredo Levy Yeyati, Sebastian Diehl, Reinhold Egger

Abstract: We study active steering protocols for weakly measured qubits in the presence of error channels due to amplitude and phase noise. If the error rate is sufficiently small, the protocol approaches and stabilizes a predesignated pure target state with high fidelity and high purity, and thus implements autonomous state stabilization. We present numerical simulation results for one and two qubits, taki… ▽ More We study active steering protocols for weakly measured qubits in the presence of error channels due to amplitude and phase noise. If the error rate is sufficiently small, the protocol approaches and stabilizes a predesignated pure target state with high fidelity and high purity, and thus implements autonomous state stabilization. We present numerical simulation results for one and two qubits, taking Andreev qubit circuits as example. As function of the error rate, a sharp threshold separates an error-correcting weak-damping regime from a strong-damping regime where the target state cannot be reached anymore. At the threshold, the purity gap closes. △ Less

Submitted 13 December, 2024; v1 submitted 20 August, 2024; originally announced August 2024.

Comments: 15 pages, 8 figures

Journal ref: Phys. Rev. Research 7, 013045 (2025)

LangBiTe: A Platform for Testing Bias in Large Language Models

Authors: Sergio Morales, Robert Clarisó, Jordi Cabot

Abstract: The integration of Large Language Models (LLMs) into various software applications raises concerns about their potential biases. Typically, those models are trained on a vast amount of data scrapped from forums, websites, social media and other internet sources, which may instill harmful and discriminating behavior into the model. To address this issue, we present LangBiTe, a testing platform to s… ▽ More The integration of Large Language Models (LLMs) into various software applications raises concerns about their potential biases. Typically, those models are trained on a vast amount of data scrapped from forums, websites, social media and other internet sources, which may instill harmful and discriminating behavior into the model. To address this issue, we present LangBiTe, a testing platform to systematically assess the presence of biases within an LLM. LangBiTe enables development teams to tailor their test scenarios, and automatically generate and execute the test cases according to a set of user-defined ethical requirements. Each test consists of a prompt fed into the LLM and a corresponding test oracle that scrutinizes the LLM's response for the identification of biases. LangBite provides users with the bias evaluation of LLMs, and end-to-end traceability between the initial ethical requirements and the insights obtained. △ Less

Submitted 29 April, 2024; originally announced April 2024.

A Framework to Model ML Engineering Processes

Authors: Sergio Morales, Robert Clarisó, Jordi Cabot

Abstract: The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these challenges by standardizing task orchestration, providing a common language to facilitate communication, and nurturing a collaborative environment. Unfortunately,… ▽ More The development of Machine Learning (ML) based systems is complex and requires multidisciplinary teams with diverse skill sets. This may lead to communication issues or misapplication of best practices. Process models can alleviate these challenges by standardizing task orchestration, providing a common language to facilitate communication, and nurturing a collaborative environment. Unfortunately, current process modeling languages are not suitable for describing the development of such systems. In this paper, we introduce a framework for modeling ML-based software development processes, built around a domain-specific language and derived from an analysis of scientific and gray literature. A supporting toolkit is also available. △ Less

Submitted 28 August, 2024; v1 submitted 29 April, 2024; originally announced April 2024.

A Comparative Investigation of Compositional Syntax and Semantics in DALL-E 2

Authors: Elliot Murphy, Jill de Villiers, Sofia Lucero Morales

Abstract: In this study we compared how well DALL-E 2 visually represented the meaning of linguistic prompts also given to young children in comprehension tests. Sentences representing fundamental components of grammatical knowledge were selected from assessment tests used with several hundred English-speaking children aged 2-7 years for whom we had collected original item-level data. DALL-E 2 was given the… ▽ More In this study we compared how well DALL-E 2 visually represented the meaning of linguistic prompts also given to young children in comprehension tests. Sentences representing fundamental components of grammatical knowledge were selected from assessment tests used with several hundred English-speaking children aged 2-7 years for whom we had collected original item-level data. DALL-E 2 was given these prompts five times to generate 20 cartoons per item, for 9 adult judges to score. Results revealed no conditions in which DALL-E 2-generated images that matched the semantic accuracy of children, even at the youngest age (2 years). DALL-E 2 failed to assign the appropriate roles in reversible forms; it failed on negation despite an easier contrastive prompt than the children received; it often assigned the adjective to the wrong noun; it ignored implicit agents in passives. This work points to a clear absence of compositional sentence representations for DALL-E 2. △ Less

Submitted 18 March, 2024; originally announced March 2024.

Further improving quantum algorithms for nonlinear differential equations via higher-order methods and rescaling

Authors: Pedro C. S. Costa, Philipp Schleich, Mauro E. S. Morales, Dominic W. Berry

Abstract: The solution of large systems of nonlinear differential equations is needed for many applications in science and engineering. In this study, we present three main improvements to existing quantum algorithms based on the Carleman linearisation technique. First, by using a high-precision technique for the solution of the linearised differential equations, we achieve logarithmic dependence of the com… ▽ More The solution of large systems of nonlinear differential equations is needed for many applications in science and engineering. In this study, we present three main improvements to existing quantum algorithms based on the Carleman linearisation technique. First, by using a high-precision technique for the solution of the linearised differential equations, we achieve logarithmic dependence of the complexity on the error and near-linear dependence on time. Second, we demonstrate that a rescaling technique can considerably reduce the cost, which would otherwise be exponential in the Carleman order for a system of ODEs, preventing a quantum speedup for PDEs. Third, we provide improved, tighter bounds on the error of Carleman linearisation. We apply our results to a class of discretised reaction-diffusion equations using higher-order finite differences for spatial resolution. We show that providing a stability criterion independent of the discretisation can conflict with the use of the rescaling due to the difference between the max-norm and 2-norm. An efficient solution may still be provided if the number of discretisation points is limited, as is possible when using higher-order discretisations. △ Less

Submitted 14 December, 2023; originally announced December 2023.

Comments: 37 pages, 2 figures

Engineering unsteerable quantum states with active feedback

Authors: Samuel Morales, Yuval Gefen, Igor Gornyi, Alex Zazunov, Reinhold Egger

Abstract: We propose active steering protocols for quantum state preparation in quantum circuits where each system qubit is connected to a single detector qubit, employing a simple coupling selected from a small set of steering operators. The decision is made such that the expected cost-function gain in one time step is maximized. We apply these protocols to several many-qubit models. Our results are underl… ▽ More We propose active steering protocols for quantum state preparation in quantum circuits where each system qubit is connected to a single detector qubit, employing a simple coupling selected from a small set of steering operators. The decision is made such that the expected cost-function gain in one time step is maximized. We apply these protocols to several many-qubit models. Our results are underlined by three remarkable insights. First, we show that the standard fidelity does not give a useful cost function; instead, successful steering is achieved by including local fidelity terms. Second, although the steering dynamics acts on each system qubit separately, entanglement in the generated target state is introduced, and can be tuned at will, by performing Bell measurements on detector qubit pairs after every time step. This implements a weak-measurement variant of entanglement swapping. Third, numerical simulations suggest that the active steering protocol can reach arbitrarily designated target states, including passively unsteerable states such as the $N$-qubit W state. △ Less

Submitted 7 February, 2024; v1 submitted 1 August, 2023; originally announced August 2023.

Comments: 26 pages, 14 figures

Challenging mitosis detection algorithms: Global labels allow centroid localization

Authors: Claudio Fernandez-Martín, Umay Kiraz, Julio Silva-Rodríguez, Sandra Morales, Emiel Janssen, Valery Naranjo

Abstract: Mitotic activity is a crucial proliferation biomarker for the diagnosis and prognosis of different types of cancers. Nevertheless, mitosis counting is a cumbersome process for pathologists, prone to low reproducibility, due to the large size of augmented biopsy slides, the low density of mitotic cells, and pattern heterogeneity. To improve reproducibility, deep learning methods have been proposed… ▽ More Mitotic activity is a crucial proliferation biomarker for the diagnosis and prognosis of different types of cancers. Nevertheless, mitosis counting is a cumbersome process for pathologists, prone to low reproducibility, due to the large size of augmented biopsy slides, the low density of mitotic cells, and pattern heterogeneity. To improve reproducibility, deep learning methods have been proposed in the last years using convolutional neural networks. However, these methods have been hindered by the process of data labelling, which usually solely consist of the mitosis centroids. Therefore, current literature proposes complex algorithms with multiple stages to refine the labels at pixel level, and to reduce the number of false positives. In this work, we propose to avoid complex scenarios, and we perform the localization task in a weakly supervised manner, using only image-level labels on patches. The results obtained on the publicly available TUPAC16 dataset are competitive with state-of-the-art methods, using only one training phase. Our method achieves an F1-score of 0.729 and challenges the efficiency of previous methods, which required multiple stages and strong mitosis location information. △ Less

Submitted 30 November, 2022; originally announced November 2022.

Comments: Presented at IDEAL 2022

Journal ref: IDEAL 2022

Parameterized Complexity of Weighted Local Hamiltonian Problems and the Quantum Exponential Time Hypothesis

Authors: Michael J. Bremner, Zhengfeng Ji, Xingjian Li, Luke Mathieson, Mauro E. S. Morales

Abstract: We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant quantum states are superpositions of computational basis states of Hamming weight $k$. The Hamming weight constraint can have a physical interpretation as a constraint on the number of excitations allowed or particle number in a system. We prove that this problem is… ▽ More We study a parameterized version of the local Hamiltonian problem, called the weighted local Hamiltonian problem, where the relevant quantum states are superpositions of computational basis states of Hamming weight $k$. The Hamming weight constraint can have a physical interpretation as a constraint on the number of excitations allowed or particle number in a system. We prove that this problem is in QW[1], the first level of the quantum weft hierarchy and that it is hard for QM[1], the quantum analogue of M[1]. Our results show that this problem cannot be fixed-parameter quantum tractable (FPQT) unless certain natural quantum analogue of the exponential time hypothesis (ETH) is false. △ Less

Submitted 9 November, 2022; originally announced November 2022.

Comments: 37 pages, 10 figures

Selection and improvement of product formulae for best performance of quantum simulation

Authors: Mauro E. S. Morales, Pedro C. S. Costa, Giacomo Pantaleoni, Daniel K. Burgarth, Yuval R. Sanders, Dominic W. Berry

Abstract: Quantum algorithms for simulation of Hamiltonian evolution are often based on product formulae. The fractal methods give a systematic way to find arbitrarily high-order product formulae, but result in a large number of exponentials. On the other hand, product formulae with fewer exponentials can be found by numerical solution of simultaneous nonlinear equations. It is also possible to reduce the c… ▽ More Quantum algorithms for simulation of Hamiltonian evolution are often based on product formulae. The fractal methods give a systematic way to find arbitrarily high-order product formulae, but result in a large number of exponentials. On the other hand, product formulae with fewer exponentials can be found by numerical solution of simultaneous nonlinear equations. It is also possible to reduce the cost of long-time simulations by processing, where a kernel is repeated and a processor need only be applied at the beginning and end of the simulation. In this work, we found thousands of new product formulae, and numerically tested these formulae, together with many formulae from prior literature. We provide methods to fairly compare product formulae of different lengths and different orders. For the case of 8th order, we have found new product formulae with exceptional performance, about two orders of magnitude better accuracy than prior work, both in the processed and non-processed cases. The processed product formula provides the best performance due to being shorter than the non-processed product formula. It outperforms all other tested product formulae over a range of many orders of magnitude in system parameters $T$ (time) and $ε$ (allowable error). That includes reasonable combinations of parameters to be used in quantum algorithms, where the size of the simulation is large enough to be classically intractable, but not so large it takes an impractically long time on a quantum computer. △ Less

Submitted 9 January, 2025; v1 submitted 27 October, 2022; originally announced October 2022.

Comments: Greatly expanded with new solutions and new comparisons to prior work. 31 pages, 2 figures

Journal ref: Quantum Information & Computation Volume 25. 1 (2025)

Comprehensive investigation of fission yields by using spallation- and (p,2p)-induced fission reactions in inverse kinematics

Authors: J. L. Rodríguez-Sánchez, A. Graña-González, J. Benlliure, A. Chatillon, G. García-Jiménez, J. Taieb, H. Alvarez-Pol, L. Atar, L. Audouin, G. Authelet, A. Besteiro, G. Blanchon, K. Boretzky, P. Cabanelas, E. Casarejos, J. Cederkall, D. Cortina-Gil, A. Corsi, E. De Filippo, M. Feijoo, D. Galaviz, I. Gasparic, R. Gernhäuser, E. Haettner, M. Heil , et al. (44 additional authors not shown)

Abstract: In the last decades, measurements of spallation, fragmentation and Coulex induced fission reactions in inverse kinematics have provided valuable data to accurately investigate the fission dynamics and nuclear structure at large deformations of a large variety of stable and non-stable heavy nuclei. To go a step further, we propose now to induce fission by the use of quasi-free (p,2p) scattering rea… ▽ More In the last decades, measurements of spallation, fragmentation and Coulex induced fission reactions in inverse kinematics have provided valuable data to accurately investigate the fission dynamics and nuclear structure at large deformations of a large variety of stable and non-stable heavy nuclei. To go a step further, we propose now to induce fission by the use of quasi-free (p,2p) scattering reactions in inverse kinematics, which allows us to reconstruct the excitation energy of the compound fissioning system by using the four-momenta of the two outgoing protons. Therefore, this new approach might permit to correlate the excitation energy with the charge and mass distributions of the fission fragments and with the fission probabilities, given for the first time direct access to the simultaneous measurement of the fission yield dependence on temperature and fission barrier heights of exotic heavy nuclei, respectively. The first experiment based on this methodology was realized recently at the GSI/FAIR facility and a detailed description of the experimental setup is given here. △ Less

Submitted 10 October, 2022; originally announced October 2022.

Comments: 4 pages, 15th International Conference on Nuclear Data for Science and Technology (ND2022)

Quantum Parameterized Complexity

Authors: Michael J. Bremner, Zhengfeng Ji, Ryan L. Mann, Luke Mathieson, Mauro E. S. Morales, Alexis T. E. Shaw

Abstract: Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity theory, motivated by the need for new tools for the classifications of the complexity of real-world problems. We introduce the quantum analogues of a range of pa… ▽ More Parameterized complexity theory was developed in the 1990s to enrich the complexity-theoretic analysis of problems that depend on a range of parameters. In this paper we establish a quantum equivalent of classical parameterized complexity theory, motivated by the need for new tools for the classifications of the complexity of real-world problems. We introduce the quantum analogues of a range of parameterized complexity classes and examine the relationship between these classes, their classical counterparts, and well-studied problems. This framework exposes a rich classification of the complexity of parameterized versions of QMA-hard problems, demonstrating, for example, a clear separation between the Quantum Circuit Satisfiability problem and the Local Hamiltonian problem. △ Less

Submitted 15 March, 2022; originally announced March 2022.

Comments: 23 pages, 1 figure

Fermion Sampling: a robust quantum computational advantage scheme using fermionic linear optics and magic input states

Authors: Michał Oszmaniec, Ninnat Dangniam, Mauro E. S. Morales, Zoltán Zimborás

Abstract: Fermionic Linear Optics (FLO) is a restricted model of quantum computation which in its original form is known to be efficiently classically simulable. We show that, when initialized with suitable input states, FLO circuits can be used to demonstrate quantum computational advantage with strong hardness guarantees. Based on this, we propose a quantum advantage scheme which is a fermionic analogue o… ▽ More Fermionic Linear Optics (FLO) is a restricted model of quantum computation which in its original form is known to be efficiently classically simulable. We show that, when initialized with suitable input states, FLO circuits can be used to demonstrate quantum computational advantage with strong hardness guarantees. Based on this, we propose a quantum advantage scheme which is a fermionic analogue of Boson Sampling: Fermion Sampling with magic input states. We consider in parallel two classes of circuits: particle-number conserving (passive) FLO and active FLO that preserves only fermionic parity and is closely related to Matchgate circuits introduced by Valiant. Mathematically, these classes of circuits can be understood as fermionic representations of the Lie groups $U(d)$ and $SO(2d)$. This observation allows us to prove our main technical results. We first show anticoncentration for probabilities in random FLO circuits of both kind. Moreover, we prove robust average-case hardness of computation of probabilities. To achieve this, we adapt the worst-to-average-case reduction based on Cayley transform, introduced recently by Movassagh, to representations of low-dimensional Lie groups. Taken together, these findings provide hardness guarantees comparable to the paradigm of Random Circuit Sampling. Importantly, our scheme has also a potential for experimental realization. Both passive and active FLO circuits are relevant for quantum chemistry and many-body physics and have been already implemented in proof-of-principle experiments with superconducting qubit architectures. Preparation of the desired quantum input states can be obtained by a simple quantum circuit acting independently on disjoint blocks of four qubits and using 3 entangling gates per block. We also argue that due to the structured nature of FLO circuits, they can be efficiently certified. △ Less

Submitted 23 November, 2021; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: 65 pages, 13 figures, 1 table, v2: improved discussion and narrative, numerics about anticoncentration added, references updated, comments and suggestions are welcome

Journal ref: PRX Quantum 3, 020328 (2022)

On the Resource Allocation for Political Campaigns

Authors: Sebastián Morales, Charles Thraves

Abstract: In an election campaign, candidates must decide how to optimally allocate their efforts/resources optimally among the regions of a country. As a result, the outcome of the election will depend on the players' strategies and the voters' preferences. In this work, we present a zero-sum game where two candidates decide how to invest a fixed resource in a set of regions, while considering their sizes… ▽ More In an election campaign, candidates must decide how to optimally allocate their efforts/resources optimally among the regions of a country. As a result, the outcome of the election will depend on the players' strategies and the voters' preferences. In this work, we present a zero-sum game where two candidates decide how to invest a fixed resource in a set of regions, while considering their sizes and biases. We explore the Majority System (MS) as well as the Electoral College (EC) voting systems. We prove equilibrium existence and uniqueness under MS in a deterministic model; in addition, their closed form expressions are provided when fixing the subset of regions and relaxing the non-negative investing constraint. For the stochastic case, we use Monte Carlo simulations to compute the players' payoffs, together with its gradient and hessian. For the EC, given the lack of Equilibrium in pure strategies, we propose an iterative algorithm to find Equilibrium in mixed strategies in a subset of the simplex lattice. We illustrate numerical instances under both election systems, and contrast players' equilibrium strategies. Finally, we show that polarization induces candidates to focus on larger regions with negative biases under MS, whereas candidates concentrate on swing states under EC. △ Less

Submitted 4 December, 2020; originally announced December 2020.

AB Aur, a Rosetta stone for studies of planet formation (I): chemical study of a planet-forming disk

Authors: Pablo Rivière Marichalar, Asunción Fuente, Romane Le Gal, Clément Baruteau, Roberto Neri, David Navarro-Almaida, Sandra Patricia Treviño Morales, Enrique Macías, Rafael Bachiller, Mayra Osorio

Abstract: AB Aur is a Herbig Ae star that hosts a prototypical transition disk. The disk shows a plethora of features connected with planet formation mechanisms. Understanding the physical and chemical characteristics of these features is crucial to advancing our knowledge of planet formation. We aim to characterize the gaseous disk around the Herbig Ae star AB Aur. A complete spectroscopic study was perfor… ▽ More AB Aur is a Herbig Ae star that hosts a prototypical transition disk. The disk shows a plethora of features connected with planet formation mechanisms. Understanding the physical and chemical characteristics of these features is crucial to advancing our knowledge of planet formation. We aim to characterize the gaseous disk around the Herbig Ae star AB Aur. A complete spectroscopic study was performed using NOEMA to determine the physical and chemical conditions. We present new observations of the continuum and 12CO, 13CO, C18O, H2CO, and SO lines. We used the integrated intensity maps and stacked spectra to derive estimates of the disk temperature. By combining our 13CO and C18O observations, we computed the gas-to-dust ratio along the disk. We also derived column density maps for the different species and used them to compute abundance maps. The results of our observations were compared with Nautilus astrochemical models. We detected continuum emission in a ring that extends from 0.6 to 2.0 arcsec, peaking at 0.97 and with a strong azimuthal asymmetry. The molecules observed show different spatial distributions, and the peaks of the distributions are not correlated with the binding energy. Using H2CO and SO lines, we derived a mean disk temperature of 39 K. We derived a gas-to-dust ratio that ranges from 10 to 40. The comparison with Nautilus models favors a disk with a low gas-to-dust ratio (40) and prominent sulfur depletion. From a very complete spectroscopic study of the prototypical disk around AB Aur, we derived, for the first time, the gas temperature and the gas-to-dust ratio along the disk, providing information that is essential to constraining hydrodynamical simulations.Moreover, we explored the gas chemistry and, in particular, the sulfur depletion. The derived sulfur depletion is dependent on the assumed C/O ratio. Our data are better explained with C/O ~ 0.7 and S/H=8e-8. △ Less

Submitted 4 August, 2020; v1 submitted 3 August, 2020; originally announced August 2020.

Comments: 13 figures, 6 tables

High precision indoor positioning by means of LiDAR

Authors: Eduardo Sánchez Morales, Michael Botsch, Bertold Huber, Andrés García Higuera

Abstract: The trend towards autonomous driving and the continuous research in the automotive area, like Advanced Driver Assistance Systems (ADAS), requires an accurate localization under all circumstances. An accurate estimation of the vehicle state is a basic requirement for any trajectory-planning algorithm. Still, even when the introduction of the GPS L5 band promises lane-accuracy, coverage limitations… ▽ More The trend towards autonomous driving and the continuous research in the automotive area, like Advanced Driver Assistance Systems (ADAS), requires an accurate localization under all circumstances. An accurate estimation of the vehicle state is a basic requirement for any trajectory-planning algorithm. Still, even when the introduction of the GPS L5 band promises lane-accuracy, coverage limitations in roofed areas still have to be addressed. In this work, a method for high precision indoor positioning using a LiDAR is presented. The method is based on the combination of motion models with LiDAR measurements, and uses infrastructural elements as positioning references. This allows to estimate the orientation, velocity over ground and position of a vehicle in a Local Tangent Plane (LTP) reference frame. When the outputs of the proposed method are compared to those of an Automotive Dynamic Motion Analyzer (ADMA), mean errors of 1 degree, 0.1 m/s and of 4.7 cm respectively are obtained. The method can be implemented by using a LiDAR sensor as a stand-alone unit. A median runtime of 40.77 us on an Intel i7-6820HQ CPU signals the possibility of real-time processing. △ Less

Submitted 14 May, 2020; originally announced May 2020.

High Precision Indoor Navigation for Autonomous Vehicles

Authors: Eduardo Sánchez Morales, Michael Botsch, Bertold Huber, Andrés García Higuera

Abstract: Autonomous driving is an important trend of the automotive industry. The continuous research towards this goal requires a precise reference vehicle state estimation under all circumstances in order to develop and test autonomous vehicle functions. However, even when lane-accurate positioning is expected from oncoming technologies, like the L5 GPS band, the question of accurate positioning in roofe… ▽ More Autonomous driving is an important trend of the automotive industry. The continuous research towards this goal requires a precise reference vehicle state estimation under all circumstances in order to develop and test autonomous vehicle functions. However, even when lane-accurate positioning is expected from oncoming technologies, like the L5 GPS band, the question of accurate positioning in roofed areas, e.\,g., tunnels or park houses, still has to be addressed. In this paper, a novel procedure for a reference vehicle state estimation is presented. The procedure includes three main components. First, a robust standstill detection based purely on signals from an Inertial Measurement Unit. Second, a vehicle state estimation by means of statistical filtering. Third, a high accuracy LiDAR-based positioning method that delivers velocity, position and orientation correction data with a mean error of 0.1 m/s, 4.7 cm and 1$^\circ$ respectively. Runtime tests on a CPU indicates the possibility of real-time implementation. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Parallel Multi-Hypothesis Algorithm for Criticality Estimation in Traffic and Collision Avoidance

Authors: Eduardo Sánchez Morales, Richard Membarth, Andreas Gaull, Philipp Slusallek, Tobias Dirndorfer, Alexander Kammenhuber, Christoph Lauer, Michael Botsch

Abstract: Due to the current developments towards autonomous driving and vehicle active safety, there is an increasing necessity for algorithms that are able to perform complex criticality predictions in real-time. Being able to process multi-object traffic scenarios aids the implementation of a variety of automotive applications such as driver assistance systems for collision prevention and mitigation as w… ▽ More Due to the current developments towards autonomous driving and vehicle active safety, there is an increasing necessity for algorithms that are able to perform complex criticality predictions in real-time. Being able to process multi-object traffic scenarios aids the implementation of a variety of automotive applications such as driver assistance systems for collision prevention and mitigation as well as fall-back systems for autonomous vehicles. We present a fully model-based algorithm with a parallelizable architecture. The proposed algorithm can evaluate the criticality of complex, multi-modal (vehicles and pedestrians) traffic scenarios by simulating millions of trajectory combinations and detecting collisions between objects. The algorithm is able to estimate upcoming criticality at very early stages, demonstrating its potential for vehicle safety-systems and autonomous driving applications. An implementation on an embedded system in a test vehicle proves in a prototypical manner the compatibility of the algorithm with the hardware possibilities of modern cars. For a complex traffic scenario with 11 dynamic objects, more than 86 million pose combinations are evaluated in 21 ms on the GPU of a Drive PX~2. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Accuracy Characterization of the Vehicle State Estimation from Aerial Imagery

Authors: Eduardo Sánchez Morales, Friedrich Kruber, Michael Botsch, Bertold Huber, Andrés García Higuera

Abstract: Due to their capability of acquiring aerial imagery, camera-equipped Unmanned Aerial Vehicles (UAVs) are very cost-effective tools for acquiring traffic information. However, not enough attention has been given to the validation of the accuracy of these systems. In this paper, an analysis of the most significant sources of error is done. This includes three key components. First, a vehicle state e… ▽ More Due to their capability of acquiring aerial imagery, camera-equipped Unmanned Aerial Vehicles (UAVs) are very cost-effective tools for acquiring traffic information. However, not enough attention has been given to the validation of the accuracy of these systems. In this paper, an analysis of the most significant sources of error is done. This includes three key components. First, a vehicle state estimation by means of statistical filtering. Second, a quantification of the most significant sources of error. Third, a benchmark of the estimated state compared with state-of-the-art reference sensors. This work presents ways to minimize the errors of the most relevant sources. With these error reductions, camera-equipped UAVs are very attractive tools for traffic data acquisition. The test data and the source code are made publicly available. △ Less

Submitted 13 May, 2020; originally announced May 2020.

Vehicle Position Estimation with Aerial Imagery from Unmanned Aerial Vehicles

Authors: Friedrich Kruber, Eduardo Sánchez Morales, Samarjit Chakraborty, Michael Botsch

Abstract: The availability of real-world data is a key element for novel developments in the fields of automotive and traffic research. Aerial imagery has the major advantage of recording multiple objects simultaneously and overcomes limitations such as occlusions. However, there are only few data sets available. This work describes a process to estimate a precise vehicle position from aerial imagery. A rob… ▽ More The availability of real-world data is a key element for novel developments in the fields of automotive and traffic research. Aerial imagery has the major advantage of recording multiple objects simultaneously and overcomes limitations such as occlusions. However, there are only few data sets available. This work describes a process to estimate a precise vehicle position from aerial imagery. A robust object detection is crucial for reliable results, hence the state-of-the-art deep neural network Mask-RCNN is applied for that purpose. Two training data sets are employed: The first one is optimized for detecting the test vehicle, while the second one consists of randomly selected images recorded on public roads. To reduce errors, several aspects are accounted for, such as the drone movement and the perspective projection from a photograph. The estimated position is comapared with a reference system installed in the test vehicle. It is shown, that a mean accuracy of 20 cm can be achieved with flight altitudes up to 100 m, Full-HD resolution and a frame-by-frame detection. A reliable position estimation is the basis for further data processing, such as obtaining additional vehicle state variables. The source code, training weights, labeled data and example videos are made publicly available. This supports researchers to create new traffic data sets with specific local conditions. △ Less

Submitted 13 May, 2020; v1 submitted 17 April, 2020; originally announced April 2020.

Comments: Copyright 20xx IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Journal ref: 2020 IEEE Intelligent Vehicles Symposium (IV)

Gas phase Elemental abundances in Molecular cloudS (GEMS). II. On the quest for the sulphur reservoir in molecular clouds: the $H_{2}S$ case

Authors: D. Navarro-Almaida, R. Le Gal, A. Fuente, P. Rivière-Marichalar, V. Wakelam, S. Cazaux, P. Caselli, Jacob C. Laas, T. Alonso-Albi, J. C. Loison, M. Gerin, C. Kramer, E. Roueff, R. Bachiller, B. Commerçon, R. Friesen, S. García-Burillo, J. R. Goicoechea, B. M. Giuliano, I. Jiménez-Serra, J. M. Kirk, V. Lattanzi, J. Malinen, N. Marcelino, R. Martín-Domènech , et al. (8 additional authors not shown)

Abstract: Sulphur is one of the most abundant elements in the Universe. Surprisingly, sulphuretted molecules are not as abundant as expected in the interstellar medium, and the identity of the main sulphur reservoir is still an open question. Our goal is to investigate the H$_{2}$S chemistry in dark clouds, as this stable molecule is a potential sulphur reservoir. Using millimeter observations of CS, SO, H… ▽ More Sulphur is one of the most abundant elements in the Universe. Surprisingly, sulphuretted molecules are not as abundant as expected in the interstellar medium, and the identity of the main sulphur reservoir is still an open question. Our goal is to investigate the H$_{2}$S chemistry in dark clouds, as this stable molecule is a potential sulphur reservoir. Using millimeter observations of CS, SO, H$_{2}$S, and their isotopologues, we determine the physical conditions and H$_{2}$S abundances along the cores TMC 1-C, TMC 1-CP, and Barnard 1b. The gas-grain model Nautilus is then used to model the sulphur chemistry and explore the impact of photo-desorption and chemical desorption on the H$_2$S abundance. Our model shows that chemical desorption is the main source of gas-phase H$_2$S in dark cores. The measured H$_{2}$S abundance can only be fitted if we assume that the chemical desorption rate decreases by more than a factor of 10 when $n_{\rm H}>2\times10^{4}$. This change in the desorption rate is consistent with the formation of thick H$_2$O and CO ice mantles on grain surfaces. The observed SO and H$_2$S abundances are in good agreement with our predictions adopting an undepleted value of the sulphur abundance. However, the CS abundance is overestimated by a factor of $5-10$. Along the three cores, atomic S is predicted to be the main sulphur reservoir. We conclude that the gaseous H$_2$S abundance is well reproduced, assuming undepleted sulphur abundance and chemical desorption as the main source of H$_2$S. The behavior of the observed H$_{2}$S abundance suggests a changing desorption efficiency, which would probe the snowline in these cores. Our model, however, overestimates the observed gas-phase CS abundance. Given the uncertainty in the sulphur chemistry, our data are consistent with a cosmic elemental S abundance with an uncertainty of a factor of 10. △ Less

Submitted 7 April, 2020; originally announced April 2020.

Comments: 23 pages, 16 figures

Journal ref: A&A 637, A39 (2020)

Unsupervised and Supervised Learning with the Random Forest Algorithm for Traffic Scenario Clustering and Classification

Authors: Friedrich Kruber, Jonas Wurst, Eduardo Sánchez Morales, Samarjit Chakraborty, Michael Botsch

Abstract: The goal of this paper is to provide a method, which is able to find categories of traffic scenarios automatically. The architecture consists of three main components: A microscopic traffic simulation, a clustering technique and a classification technique for the operational phase. The developed simulation tool models each vehicle separately, while maintaining the dependencies between each other.… ▽ More The goal of this paper is to provide a method, which is able to find categories of traffic scenarios automatically. The architecture consists of three main components: A microscopic traffic simulation, a clustering technique and a classification technique for the operational phase. The developed simulation tool models each vehicle separately, while maintaining the dependencies between each other. The clustering approach consists of a modified unsupervised Random Forest algorithm to find a data adaptive similarity measure between all scenarios. As part of this, the path proximity, a novel technique to determine a similarity based on the Random Forest algorithm is presented. In the second part of the clustering, the similarities are used to define a set of clusters. In the third part, a Random Forest classifier is trained using the defined clusters for the operational phase. A thresholding technique is described to ensure a certain confidence level for the class assignment. The method is applied for highway scenarios. The results show that the proposed method is an excellent approach to automatically categorize traffic scenarios, which is particularly relevant for testing autonomous vehicle functionality. △ Less

Submitted 5 April, 2020; originally announced April 2020.

Comments: Copyright 20xx IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works

Journal ref: 2019 IEEE Intelligent Vehicles Symposium (IV)

On the Universality of the Quantum Approximate Optimization Algorithm

Authors: Mauro E. S. Morales, Jacob Biamonte, Zoltán Zimborás

Abstract: The quantum approximate optimization algorithm (QAOA) is considered to be one of the most promising approaches towards using near-term quantum computers for practical application. In its original form, the algorithm applies two different Hamiltonians, called the mixer and the cost Hamiltonian, in alternation with the goal being to approach the ground state of the cost Hamiltonian. Recently, it has… ▽ More The quantum approximate optimization algorithm (QAOA) is considered to be one of the most promising approaches towards using near-term quantum computers for practical application. In its original form, the algorithm applies two different Hamiltonians, called the mixer and the cost Hamiltonian, in alternation with the goal being to approach the ground state of the cost Hamiltonian. Recently, it has been suggested that one might use such a set-up as a parametric quantum circuit with possibly some other goal than reaching ground states. From this perspective, a recent work [S. Lloyd, arXiv:1812.11075] argued that for one-dimensional local cost Hamiltonians, composed of nearest neighbor ZZ terms, this set-up is quantum computationally universal, i.e., all unitaries can be reached up to arbitrary precision. In the present paper, we give the complete proof of this statement and the precise conditions under which such a one-dimensional QAOA might be considered universal. We further generalize this type of universality for certain cost Hamiltonians with ZZ and ZZZ terms arranged according to the adjacency structure of certain graphs and hypergraphs. △ Less

Submitted 6 September, 2019; originally announced September 2019.

Comments: 18+6 pages, 3 figures

Journal ref: Quantum Information Processing 19, 291 (2020)

Reachability Deficits in Quantum Approximate Optimization

Authors: V. Akshay, H. Philathong, M. E. S. Morales, J. Biamonte

Abstract: The quantum approximate optimization algorithm (QAOA) has rapidly become a cornerstone of contemporary quantum algorithm development. Despite a growing range of applications, only a few results have been developed towards understanding the algorithms ultimate limitations. Here we report that QAOA exhibits a strong dependence on a problem instances constraint to variable ratio$-$this problem densit… ▽ More The quantum approximate optimization algorithm (QAOA) has rapidly become a cornerstone of contemporary quantum algorithm development. Despite a growing range of applications, only a few results have been developed towards understanding the algorithms ultimate limitations. Here we report that QAOA exhibits a strong dependence on a problem instances constraint to variable ratio$-$this problem density places a limiting restriction on the algorithms capacity to minimize a corresponding objective function (and hence solve optimization problem instances). Such $reachability~deficits$ persist even in the absence of barren plateaus [McClean et al., 2018] and are outside of the recently reported level-1 QAOA limitations [Hastings 2019]. These findings are among the first to determine strong limitations on variational quantum approximate optimization. △ Less

Submitted 24 October, 2019; v1 submitted 26 June, 2019; originally announced June 2019.

Comments: feedback welcome; 8 pages; 4 composite figures; RevTeX

Journal ref: Phys. Rev. Lett. 124, 090504 (2020)

Mössbauer and X-ray Photoelectron Spectroscopy Studies of Fe2BiMO7 (M = Sb, Ta) pyrochlore compounds synthesized by molten salts method

Authors: Jesús Alberto León Flores, José Luis Pérez Mazariego, Shirley Saraí Flores Morales, Roberto Hinojosa Nava, Paola Arévalo López, Raúl Escamilla Guerrero, Raúl W. Gómez González

Abstract: Polycrystalline samples of Fe2BiMO7 (M = Sb, Ta) compounds with pyrochlore-type structure were synthesized for the first time by the molten salts method. The compounds were obtained in one hour at 950 C. The structures were determined by Rietveld refinement. Through Mössbauer spectroscopy and X-ray photoelectron spectroscopy, the site occupancies and ionic states of the cations in the pyrochlore s… ▽ More Polycrystalline samples of Fe2BiMO7 (M = Sb, Ta) compounds with pyrochlore-type structure were synthesized for the first time by the molten salts method. The compounds were obtained in one hour at 950 C. The structures were determined by Rietveld refinement. Through Mössbauer spectroscopy and X-ray photoelectron spectroscopy, the site occupancies and ionic states of the cations in the pyrochlore structure were investigated.Polycrystalline samples of Fe2BiMO7 (M = Sb, Ta) compounds with pyrochlore-type structure were synthesized for the first time by the molten salts method. The compounds were obtained in one hour at 950 C. The structures were determined by Rietveld refinement. Through Mössbauer spectroscopy and X-ray photoelectron spectroscopy, the site occupancies and ionic states of the cations in the pyrochlore structure were investigated. △ Less

Submitted 21 November, 2018; originally announced November 2018.

Comments: 18 pages, 8 figures, 4 tables

Asymptotic joint spectra of Cartesian powers of strongly regular graphs and bivariate Charlier-Hermite polynomials

Authors: John Vincent S. Morales, Nobuaki Obata, Hajime Tanaka

Abstract: Generalizing previous work of Hora (1998) on the asymptotic spectral analysis for the Hamming graph $H(n,q)$ which is the $n^{\mathrm{th}}$ Cartesian power $K_q^{\square n}$ of the complete graph $K_q$ on $q$ vertices, we describe the possible limits of the joint spectral distribution of the pair $(G^{\square n},\overline{G}\vphantom{G}^{\square n})$ of the $n^{\mathrm{th}}$ Cartesian powers of a… ▽ More Generalizing previous work of Hora (1998) on the asymptotic spectral analysis for the Hamming graph $H(n,q)$ which is the $n^{\mathrm{th}}$ Cartesian power $K_q^{\square n}$ of the complete graph $K_q$ on $q$ vertices, we describe the possible limits of the joint spectral distribution of the pair $(G^{\square n},\overline{G}\vphantom{G}^{\square n})$ of the $n^{\mathrm{th}}$ Cartesian powers of a strongly regular graph $G$ and its complement $\overline{G}$, where we let $n\rightarrow\infty$, and $G$ may vary with $n$. This result is an analogue of the bivariate central limit theorem, and we obtain in this way the bivariate Poisson distributions and the standard bivariate Gaussian distribution, together with the product measures of univariate Poisson and Gaussian distributions. We also report a family of bivariate hypergeometric orthogonal polynomials with respect to the last distributions, which we call the bivariate Charlier-Hermite polynomials, and prove basic formulas for them. This family of orthogonal polynomials seems previously unnoticed, possibly because of its peculiarity. △ Less

Submitted 11 September, 2018; originally announced September 2018.

Comments: 19 pages

MSC Class: 46L53; 60F05; 05E30; 33C45

Journal ref: Colloq. Math. 162 (2020) 1-22

Entanglement Scaling in Quantum Advantage Benchmarks

Authors: Jacob D. Biamonte, Mauro E. S. Morales, Dax Enshan Koh

Abstract: A contemporary technological milestone is to build a quantum device performing a computational task beyond the capability of any classical computer, an achievement known as quantum adversarial advantage. In what ways can the entanglement realized in such a demonstration be quantified? Inspired by the area law of tensor networks, we derive an upper bound for the minimum random circuit depth needed… ▽ More A contemporary technological milestone is to build a quantum device performing a computational task beyond the capability of any classical computer, an achievement known as quantum adversarial advantage. In what ways can the entanglement realized in such a demonstration be quantified? Inspired by the area law of tensor networks, we derive an upper bound for the minimum random circuit depth needed to generate the maximal bipartite entanglement correlations between all problem variables (qubits). This bound is (i) lattice geometry dependent and (ii) makes explicit a nuance implicit in other proposals with physical consequence. The hardware itself should be able to support super-logarithmic ebits of entanglement across some poly($n$) number of qubit-bipartitions, otherwise the quantum state itself will not possess volumetric entanglement scaling and full-lattice-range correlations. Hence, as we present a connection between quantum advantage protocols and quantum entanglement, the entanglement implicitly generated by such protocols can be tested separately to further ascertain the validity of any quantum advantage claim. △ Less

Submitted 31 December, 2019; v1 submitted 1 August, 2018; originally announced August 2018.

Comments: updates and improvements from the review process; 8 pages; 3 figures

Journal ref: Phys. Rev. A 101, 012349 (2020)

Variationally Learning Grover's Quantum Search Algorithm

Authors: Mauro E. S. Morales, Timur Tlyachev, Jacob Biamonte

Abstract: Given a parameterized quantum circuit such that a certain setting of these real-valued parameters corresponds to Grover's celebrated search algorithm, can a variational algorithm recover these settings and hence learn Grover's algorithm? We studied several constrained variations of this problem and answered this question in the affirmative, with some caveats. Grover's quantum search algorithm is o… ▽ More Given a parameterized quantum circuit such that a certain setting of these real-valued parameters corresponds to Grover's celebrated search algorithm, can a variational algorithm recover these settings and hence learn Grover's algorithm? We studied several constrained variations of this problem and answered this question in the affirmative, with some caveats. Grover's quantum search algorithm is optimal up to a constant. The success probability of Grover's algorithm goes from unity for two-qubits, decreases for three- and four-qubits and returns near unity for five-qubits then oscillates ever-so-close to unity, reaching unity in the infinite qubit limit. The variationally approach employed here found an experimentally discernible improvement of $5.77\%$ and $3.95\%$ for three- and four-qubits respectively. Our findings are interesting as an extreme example of variational search, and illustrate the promise of using hybrid quantum classical approaches to improve quantum algorithms. This paper further demonstrates that to find optimal parameters one doesn't need to vary over a family of quantum circuits to find an optimal solution. This result looks promising and points out that there is a set of variational quantum problems with parameters that can be efficiently found on a classical computer for arbitrary number of qubits. △ Less

Submitted 1 December, 2018; v1 submitted 23 May, 2018; originally announced May 2018.

Comments: Accepted version (PRA); All supporting data and source code are available online; 8 pages; 4 figures; RevTeX

Journal ref: Phys. Rev. A 98, 062333 (2018)

An Assmus-Mattson theorem for codes over commutative association schemes

Authors: John Vincent S. Morales, Hajime Tanaka

Abstract: We prove an Assmus-Mattson-type theorem for block codes where the alphabet is the vertex set of a commutative association scheme (say, with $s$ classes). This in particular generalizes the Assmus-Mattson-type theorems for $\mathbb{Z}_4$-linear codes due to Tanabe (2003) and Shin, Kumar, and Helleseth (2004), as well as the original theorem by Assmus and Mattson (1969). The weights of a code are… ▽ More We prove an Assmus-Mattson-type theorem for block codes where the alphabet is the vertex set of a commutative association scheme (say, with $s$ classes). This in particular generalizes the Assmus-Mattson-type theorems for $\mathbb{Z}_4$-linear codes due to Tanabe (2003) and Shin, Kumar, and Helleseth (2004), as well as the original theorem by Assmus and Mattson (1969). The weights of a code are $s$-tuples of non-negative integers in this case, and the conditions in our theorem for obtaining $t$-designs from the code involve concepts from polynomial interpolation in $s$ variables. The Terwilliger algebra is the main tool to establish our results. △ Less

Submitted 7 June, 2017; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: 24 pages

MSC Class: 05E30; 94B05; 05B05

Journal ref: Des. Codes Cryptogr. 86 (2018) 1039-1062

Equations of motion of a relativistic charged particle with a curvature depending actions

Authors: Guillermo Arreaga-Garcia, Julio Saucedo Morales

Abstract: We present an introduction to the study of a relativistic particle moving under the influence of its own Frenet-Serret curvatures. With the aim of introducing the notation and conventions used in this paper, we first recall the action of a relativistic particle. We then suggest a mathematical generalization of this action in the sense that now the action may include terms of the curvatures of the… ▽ More We present an introduction to the study of a relativistic particle moving under the influence of its own Frenet-Serret curvatures. With the aim of introducing the notation and conventions used in this paper, we first recall the action of a relativistic particle. We then suggest a mathematical generalization of this action in the sense that now the action may include terms of the curvatures of the world line generated by the particle in Minkowski space-time. We go on to develop a pedagogical introduction to a variational calculus which takes advantage of the Frenet-Serret equations for the relativistic particle. Finally, we consider a relativistic particle coupled to an electromagnetic field that is moving under the influence of its own Frenet-Serret curvatures. Within this frame based on the Frenet-Serret basis, we obtain the equations of motion for several curvature dependent actions of interest in physics. Later, as an illustration of the formalism developed, we consider the simplest case, that of a relativistic particle when no geometrical action is included, in order to show (i) the equivalence of this formalism to the Newton's second law with the Lorentz force and (ii) the integrability in the case of a constant electromagnetic field. △ Less

Submitted 5 September, 2013; v1 submitted 20 August, 2013; originally announced August 2013.

Comments: comments are welcome

Physical effects of gas envelopes with different extension on the collapse of a gas core

Authors: Guillermo Arreaga-Garcia, Julio Saucedo Morales

Abstract: In this paper we study the gravitational collapse of a molecular hydrogen gas cloud composed of a core plus a gas envelope surrounding the core. We numerically simulate the collapse of four cloud models to take a glimpse to the time evolution of several dynamic variables, such as the angular momentum and the $aem$ ratio, as well as the ratios between the thermal and rotational energies with respec… ▽ More In this paper we study the gravitational collapse of a molecular hydrogen gas cloud composed of a core plus a gas envelope surrounding the core. We numerically simulate the collapse of four cloud models to take a glimpse to the time evolution of several dynamic variables, such as the angular momentum and the $aem$ ratio, as well as the ratios between the thermal and rotational energies with respect to the potential gravitational energy, denoted as $α$ and $β$, respectively, among others. We re-take those models introduced by Arreaga et.al (Astronomy and Astrophysics, {\bf Vol. 509}, (2010), pag. A96.) in the present paper in order to produce different outcomes of the collapsing cloud characterized in terms of the aforementioned dynamical variables. Such characterization was missing in the paper by Arreaga et.al (Astronomy and Astrophysics, {\bf Vol. 509}, (2010), pag. A96.), and here we show that the gas envelope extension effects on the collapsing core can be quantitatively compared. △ Less

Submitted 20 August, 2013; originally announced August 2013.

Comments: comments are welcome to this previous manuscript prior to publication

Journal ref: Revista Mexicana de Astronomia y Astrofisica, 48, Num. 1, (2012), pp.61-84

Complete proper minimal surfaces in convex bodies of $\mathbb{R}^3$ (II): The behavior of the limit set

Authors: Francisco Martin, Santiago Morales

Abstract: Let $D$ be a regular strictly convex bounded domain of $\mathbb{R}^3$, and consider a regular Jordan curve $Γ\subset \partial D$. Then, for each $ε>0$, we obtain the existence of a complete proper minimal immersion $ψ_ε:\mathbb{D} \to D$ satisfying that the Hausdorff distance $δ^H(ψ_ε(\partial \mathbb{D}), Γ) < ε,$ where $ψ_ε(\partial \mathbb{D})$ represents the limit set of the minimal disk… ▽ More Let $D$ be a regular strictly convex bounded domain of $\mathbb{R}^3$, and consider a regular Jordan curve $Γ\subset \partial D$. Then, for each $ε>0$, we obtain the existence of a complete proper minimal immersion $ψ_ε:\mathbb{D} \to D$ satisfying that the Hausdorff distance $δ^H(ψ_ε(\partial \mathbb{D}), Γ) < ε,$ where $ψ_ε(\partial \mathbb{D})$ represents the limit set of the minimal disk $ψ_ε(\mathbb{D}).$ This result has some interesting consequences. Among other things, we can prove that any bounded regular domain $R$ in $\mathbb{R}^3$ admits a complete proper minimal immersion $ψ: \mathbb{D} \longrightarrow R$. △ Less

Submitted 14 March, 2025; v1 submitted 24 May, 2005; originally announced May 2005.

Comments: 21 pages, 5 figures

MSC Class: Primary 53A10; Secondary 49Q05; 49Q10; 53C42

Complete proper minimal surfaces in convex bodies of $R^3$

Authors: Francisco Martin, Santiago Morales

Abstract: Consider a convex domain B of space. We prove that there exist complete minimal surfaces which are properly immersed in B. We also demonstrate that if D and D' are convex domains with D bounded and the closure of D contained in D' then any minimal disk whose boundary lies in the boundary of D, can be approximated in any compact subdomain of D by a complete minimal disk which is proper in D'. We… ▽ More Consider a convex domain B of space. We prove that there exist complete minimal surfaces which are properly immersed in B. We also demonstrate that if D and D' are convex domains with D bounded and the closure of D contained in D' then any minimal disk whose boundary lies in the boundary of D, can be approximated in any compact subdomain of D by a complete minimal disk which is proper in D'. We apply these results to study the so called type problem for a minimal surface: we demonstrate that the interior of any convex region is not a universal region for minimal surfaces, in the sense explained by Meeks and Perez. △ Less

Submitted 26 May, 2004; originally announced May 2004.

Comments: 26 pages, 7 figures

MSC Class: Primary 53A10; Secondary 49Q05; 49Q10; 53C42

On the existence of a proper minimal surface in $R^3$ with the conformal type of a disk

Authors: Santiago Morales

Abstract: The main goal of this paper is to show a counterexample to the following conjecture: {\bf Conjecture} [Meeks, Sullivan]: If $f:M\to \mathbb{R}^3$ is a complete proper minimal immersion where $M$ is a Riemannian surface without boundary and with finite genus, then $M$ is parabolic. We have proved: {\bf Theorem:} There exists $χ: D\longrightarrow \mathbb{R}^3$, a conformal proper minimal imm… ▽ More The main goal of this paper is to show a counterexample to the following conjecture: {\bf Conjecture} [Meeks, Sullivan]: If $f:M\to \mathbb{R}^3$ is a complete proper minimal immersion where $M$ is a Riemannian surface without boundary and with finite genus, then $M$ is parabolic. We have proved: {\bf Theorem:} There exists $χ: D\longrightarrow \mathbb{R}^3$, a conformal proper minimal immersion defined on the unit disk. △ Less

Submitted 13 January, 2003; originally announced January 2003.

Comments: 23 pages, 4 figures

MSC Class: 53A10

A complete bounded minimal cylinder in R^3

Authors: Francisco Martin, Santiago Morales

Abstract: In 1996, Nadirashvili used Runge's theorem to produce a complete minimal disc inside a ball in R^3. In this paper we generalize the techniques used by Nadirashvili to obtain new examples of complete minimal surfaces inside a ball in R^3, with the conformal structure of an annulus. In 1996, Nadirashvili used Runge's theorem to produce a complete minimal disc inside a ball in R^3. In this paper we generalize the techniques used by Nadirashvili to obtain new examples of complete minimal surfaces inside a ball in R^3, with the conformal structure of an annulus. △ Less

Submitted 17 February, 2000; originally announced February 2000.

Comments: 18 pages, 3 figures

MSC Class: 53A10