Showing 1–50 of 73 results for author: Beltran, J

Technical Report: Toward Applying Quantum Computing to Network Verification

Authors: Kahlil Dozier, Justin Beltran, Kylie Berg, Hugo Matousek, Loqman Salamatian, Ethan Katz-Bassett, Dan Rubenstein

Abstract: Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware via brute force. Prior work has developed a variety of methods that scale by observing a structure in the search space and then evaluating classes within the search space instead of individual instances. However, even the… ▽ More Network verification (NWV), broadly defined as the verification of properties of distributed protocols used in network systems, cannot be efficiently solved on classical hardware via brute force. Prior work has developed a variety of methods that scale by observing a structure in the search space and then evaluating classes within the search space instead of individual instances. However, even these classification mechanisms have their limitations. In this paper, we consider a radically different approach: applying quantum computing to more efficiently solve NWV problems. We provide an overview of how to map variants of NWV problems into unstructured search problems that can be solved via quantum computing with quadratic speedup, making the approach feasible in theory to problems that are double in size (of the input). Emerging quantum systems cannot yet tackle problems of practical interest, but rapid advances in hardware and algorithm development make now a great time to start thinking about their application. With this in mind, we explore the limits of scale of the problem for which quantum computing can solve NWV problems as unstructured search. △ Less

Submitted 14 November, 2024; v1 submitted 22 October, 2024; originally announced October 2024.

ACM Class: C.2.2

Enhancement of Harvesting Vacuum Entanglement in Cosmic String Spacetime

Authors: Willy Izquierdo, J. Beltran, Enrique Arias

Abstract: We analyze the entanglement generation in a pair of qubits that experience the vacuum fluctuations of a scalar field in the Cosmic String spacetime. The qubits are modeled as Unruh-DeWitt detectors coupled to a massless scalar field. We introduce a Heisenberg $XY$-interaction between the qubits that enhances the generation of quantum correlations. It is supposed that the qubits begin at a general… ▽ More We analyze the entanglement generation in a pair of qubits that experience the vacuum fluctuations of a scalar field in the Cosmic String spacetime. The qubits are modeled as Unruh-DeWitt detectors coupled to a massless scalar field. We introduce a Heisenberg $XY$-interaction between the qubits that enhances the generation of quantum correlations. It is supposed that the qubits begin at a general mixed state described by a density operator with no entanglement while the field stays at its vacuum state. In this way, we find the general properties and conditions to create entanglement between the qubits by exploiting the field vacuum fluctuations. We quantify the qubits entanglement using the Negativity measure based on the Peres-Horodecki positive partial transpose criterion. We find that the Cosmic String would increase the entanglement harvesting when both qubits are near the Cosmic String. When the qubits locations are far from the Cosmic String we recover the usual results for Minkowski space. The Heisenberg $XY$-interaction enhance the entanglement harvesting irrespective of the coupling nature (ferromagnetic or anti-ferromagnetic). When the qubits are far apart from each other we find a maximum entanglement harvesting at the resonance points between the Heisenberg coupling constant and the qubits energy gap. △ Less

Submitted 24 July, 2024; originally announced July 2024.

Comments: 54 pages, 29 figures

Joint object detection and re-identification for 3D obstacle multi-camera systems

Authors: Irene Cortés, Jorge Beltrán, Arturo de la Escalera, Fernando García

Abstract: In recent years, the field of autonomous driving has witnessed remarkable advancements, driven by the integration of a multitude of sensors, including cameras and LiDAR systems, in different prototypes. However, with the proliferation of sensor data comes the pressing need for more sophisticated information processing techniques. This research paper introduces a novel modification to an object det… ▽ More In recent years, the field of autonomous driving has witnessed remarkable advancements, driven by the integration of a multitude of sensors, including cameras and LiDAR systems, in different prototypes. However, with the proliferation of sensor data comes the pressing need for more sophisticated information processing techniques. This research paper introduces a novel modification to an object detection network that uses camera and lidar information, incorporating an additional branch designed for the task of re-identifying objects across adjacent cameras within the same vehicle while elevating the quality of the baseline 3D object detection outcomes. The proposed methodology employs a two-step detection pipeline: initially, an object detection network is employed, followed by a 3D box estimator that operates on the filtered point cloud generated from the network's detections. Extensive experimental evaluations encompassing both 2D and 3D domains validate the effectiveness of the proposed approach and the results underscore the superiority of this method over traditional Non-Maximum Suppression (NMS) techniques, with an improvement of more than 5\% in the car category in the overlapping areas. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Permutation Invariant Recurrent Neural Networks for Sound Source Tracking Applications

Authors: David Diaz-Guerra, Archontis Politis, Antonio Miguel, Jose R. Beltran, Tuomas Virtanen

Abstract: Many multi-source localization and tracking models based on neural networks use one or several recurrent layers at their final stages to track the movement of the sources. Conventional recurrent neural networks (RNNs), such as the long short-term memories (LSTMs) or the gated recurrent units (GRUs), take a vector as their input and use another vector to store their state. However, this approach re… ▽ More Many multi-source localization and tracking models based on neural networks use one or several recurrent layers at their final stages to track the movement of the sources. Conventional recurrent neural networks (RNNs), such as the long short-term memories (LSTMs) or the gated recurrent units (GRUs), take a vector as their input and use another vector to store their state. However, this approach results in the information from all the sources being contained in a single ordered vector, which is not optimal for permutation-invariant problems such as multi-source tracking. In this paper, we present a new recurrent architecture that uses unordered sets to represent both its input and its state and that is invariant to the permutations of the input set and equivariant to the permutations of the state set. Hence, the information of every sound source is represented in an individual embedding and the new estimates are assigned to the tracked trajectories regardless of their order. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: Accepted for publication at Forum Acusticum 2023

Symbolic Music Structure Analysis with Graph Representations and Changepoint Detection Methods

Authors: Carlos Hernandez-Olivan, Sonia Rubio Llamas, Jose R. Beltran

Abstract: Music Structure Analysis is an open research task in Music Information Retrieval (MIR). In the past, there have been several works that attempt to segment music into the audio and symbolic domains, however, the identification and segmentation of the music structure at different levels is still an open research problem in this area. In this work we propose three methods, two of which are novel grap… ▽ More Music Structure Analysis is an open research task in Music Information Retrieval (MIR). In the past, there have been several works that attempt to segment music into the audio and symbolic domains, however, the identification and segmentation of the music structure at different levels is still an open research problem in this area. In this work we propose three methods, two of which are novel graph-based algorithms that aim to segment symbolic music by its form or structure: Norm, G-PELT and G-Window. We performed an ablation study with two public datasets that have different forms or structures in order to compare such methods varying their parameter values and comparing the performance against different music styles. We have found that encoding symbolic music with graph representations and computing the novelty of Adjacency Matrices obtained from graphs represent the structure of symbolic music pieces well without the need to extract features from it. We are able to detect the boundaries with an online unsupervised changepoint detection method with a F_1 of 0.5640 for a 1 bar tolerance in one of the public datasets that we used for testing our methods. We also provide the performance results of the algorithms at different levels of structure, high, medium and low, to show how the parameters of the proposed methods have to be adjusted depending on the level. We added the best performing method with its parameters for each structure level to musicaiz, an open source python package, to facilitate the reproducibility and usability of this work. We hope that this methods could be used to improve other MIR tasks such as music generation with structure, music classification or key changes detection. △ Less

Submitted 24 March, 2023; originally announced March 2023.

Fluid limit for the coarsening phase of the condensing zero-range process

Authors: Inés Armendáriz, Johel Beltrán, Daniela Cuesta, Milton Jara

Abstract: We prove a fluid limit for the coarsening phase of the condensing zero-range process on a finite number of sites. When time and occupation per site are linearly rescaled by the total number of particles, the evolution of the process is described by a piecewise linear trajectory in the simplex indexed by the sites. The linear coefficients are determined by the trace process of the underlying random… ▽ More We prove a fluid limit for the coarsening phase of the condensing zero-range process on a finite number of sites. When time and occupation per site are linearly rescaled by the total number of particles, the evolution of the process is described by a piecewise linear trajectory in the simplex indexed by the sites. The linear coefficients are determined by the trace process of the underlying random walk on the subset of non-empty sites, and the trajectory reaches an absorbing configuration in finite time. A boundary of the simplex is called absorbing for the fluid limit if a trajectory started at a configuration in the boundary remains in it for all times. We identify the set of absorbing configurations and characterize the absorbing boundaries. △ Less

Submitted 10 February, 2023; originally announced February 2023.

Comments: 30 pages

MSC Class: 60K35; 82C22; 60F15

Ion Chamber Collection Efficiencies for Proton Spot Scanning Calibration

Authors: Keith M. Furutani, Nicholas N. Remmes, Jon J. Kruse, Michael G. Herman, Jiajian Shen, Chris J. Beltran

Abstract: Charge accumulation was measured under calibration conditions in the spread-out Bragg peak (SOBP) using the calibration bias as well as a range of voltages from 10V to 500V and a Farmer-style ion chamber. Collection efficiency was determined by extrapolating to infinite voltage. Similar measurements were taken in an identical dose distribution with a much shorter spot duration. The impact of each… ▽ More Charge accumulation was measured under calibration conditions in the spread-out Bragg peak (SOBP) using the calibration bias as well as a range of voltages from 10V to 500V and a Farmer-style ion chamber. Collection efficiency was determined by extrapolating to infinite voltage. Similar measurements were taken in an identical dose distribution with a much shorter spot duration. The impact of each of the three models on calibration was then quantified using the TRS-398 protocol. The collection efficiency for the standard calibration was determined to agree well with the prediction of a continuous beam recombination correction. The standard calibration field was found to persistently agree with a continuous beam recombination correction for much lower operating biases. The collection efficiency result for the short spot duration field did not agree with either the continuous or pulsed-beam correction. Using the incorrect recombination model under the standard calibration conditions resulted in a 0.5% calibration difference. We have determined that our spot scanning system would be most appropriately calibrated using a recombination correction with continuous beam model. Physicists responsible for the calibration of such systems are advised to take measurements described here to correctly identify the applicable recombination model for their clinics. △ Less

Submitted 22 November, 2022; originally announced November 2022.

Comments: Submitted December 16, 2015 to Medical Physics

A Survey on Artificial Intelligence for Music Generation: Agents, Domains and Perspectives

Authors: Carlos Hernandez-Olivan, Javier Hernandez-Olivan, Jose R. Beltran

Abstract: Music is one of the Gardner's intelligences in his theory of multiple intelligences. How humans perceive and understand music is still being studied and is crucial to develop artificial intelligence models that imitate such processes. Music generation with Artificial Intelligence is an emerging field that is gaining much attention in the recent years. In this paper, we describe how humans compose… ▽ More Music is one of the Gardner's intelligences in his theory of multiple intelligences. How humans perceive and understand music is still being studied and is crucial to develop artificial intelligence models that imitate such processes. Music generation with Artificial Intelligence is an emerging field that is gaining much attention in the recent years. In this paper, we describe how humans compose music and how new AI systems could imitate such process by comparing past and recent advances in the field with music composition techniques. To understand how AI models and algorithms generate music and the potential applications that might appear in the future, we explore, analyze and describe the agents that take part of the music generation process: the datasets, models, interfaces, the users and the generated music. We mention possible applications that might benefit from this field and we also propose new trends and future research directions that could be explored in the future. △ Less

Submitted 3 November, 2022; v1 submitted 25 October, 2022; originally announced October 2022.

Comments: Under review

musicaiz: A Python Library for Symbolic Music Generation, Analysis and Visualization

Authors: Carlos Hernandez-Olivan, Jose R. Beltran

Abstract: In this article, we present musicaiz, an object-oriented library for analyzing, generating and evaluating symbolic music. The submodules of the package allow the user to create symbolic music data from scratch, build algorithms to analyze symbolic music, encode MIDI data as tokens to train deep learning sequence models, modify existing music data and evaluate music generation systems. The evaluati… ▽ More In this article, we present musicaiz, an object-oriented library for analyzing, generating and evaluating symbolic music. The submodules of the package allow the user to create symbolic music data from scratch, build algorithms to analyze symbolic music, encode MIDI data as tokens to train deep learning sequence models, modify existing music data and evaluate music generation systems. The evaluation submodule builds on previous work to objectively measure music generation systems and to be able to reproduce the results of music generation models. The library is publicly available online. We encourage the community to contribute and provide feedback. △ Less

Submitted 16 September, 2022; originally announced September 2022.

Direction of Arrival Estimation of Sound Sources Using Icosahedral CNNs

Authors: David Diaz-Guerra, Antonio Miguel, Jose R. Beltran

Abstract: In this paper, we present a new model for Direction of Arrival (DOA) estimation of sound sources based on an Icosahedral Convolutional Neural Network (CNN) applied over SRP-PHAT power maps computed from the signals received by a microphone array. This icosahedral CNN is equivariant to the 60 rotational symmetries of the icosahedron, which represent a good approximation of the continuous space of s… ▽ More In this paper, we present a new model for Direction of Arrival (DOA) estimation of sound sources based on an Icosahedral Convolutional Neural Network (CNN) applied over SRP-PHAT power maps computed from the signals received by a microphone array. This icosahedral CNN is equivariant to the 60 rotational symmetries of the icosahedron, which represent a good approximation of the continuous space of spherical rotations, and can be implemented using standard 2D convolutional layers, having a lower computational cost than most of the spherical CNNs. In addition, instead of using fully connected layers after the icosahedral convolutions, we propose a new soft-argmax function that can be seen as a differentiable version of the argmax function and allows us to solve the DOA estimation as a regression problem interpreting the output of the convolutional layers as a probability distribution. We prove that using models that fit the equivariances of the problem allows us to outperform other state-of-the-art models with a lower computational cost and more robustness, obtaining root mean square localization errors lower than 10° even in scenarios with a reverberation time $T_{60}$ of 1.5 s. △ Less

Submitted 6 December, 2022; v1 submitted 31 March, 2022; originally announced March 2022.

Comments: The code to reproduce this work can be found in our GitHub repository: https://github.com/DavidDiazGuerra/icoDOA

Journal ref: IEEE/ACM Transactions on Audio, Speech, and Language Processing, vol. 31, pp. 313-321, 2023

Subjective Evaluation of Deep Learning Models for Symbolic Music Composition

Authors: Carlos Hernandez-Olivan, Jorge Abadias Puyuelo, Jose R. Beltran

Abstract: Deep learning models are typically evaluated to measure and compare their performance on a given task. The metrics that are commonly used to evaluate these models are standard metrics that are used for different tasks. In the field of music composition or generation, the standard metrics used in other fields have no clear meaning in terms of music theory. In this paper, we propose a subjective met… ▽ More Deep learning models are typically evaluated to measure and compare their performance on a given task. The metrics that are commonly used to evaluate these models are standard metrics that are used for different tasks. In the field of music composition or generation, the standard metrics used in other fields have no clear meaning in terms of music theory. In this paper, we propose a subjective method to evaluate AI-based music composition systems by asking questions related to basic music principles to different levels of users based on their musical experience and knowledge. We use this method to compare state-of-the-art models for music composition with deep learning. We give the results of this evaluation method and we compare the responses of each user level for each evaluated model. △ Less

Submitted 3 April, 2022; v1 submitted 28 March, 2022; originally announced March 2022.

Comments: Workshop on Generative AI and HCI, CHI 2022

MATISSE, the VLTI mid-infrared imaging spectro-interferometer

Authors: B. Lopez, S. Lagarde, R. G. Petrov, W. Jaffe, P. Antonelli, F. Allouche, P. Berio, A. Matter, A. Meilland, F. Millour, S. Robbe-Dubois, Th. Henning, G. Weigelt, A. Glindemann, T. Agocs, Ch. Bailet, U. Beckmann, F. Bettonvil, R. van Boekel, P. Bourget, Y. Bresson, P. Bristow, P. Cruzalèbes, E. Eldswijk, Y. Fanteï Caujolle , et al. (128 additional authors not shown)

Abstract: Context:Optical interferometry is at a key development stage. ESO's VLTI has established a stable, robust infrastructure for long-baseline interferometry for general astronomical observers. The present second-generation instruments offer a wide wavelength coverage and improved performance. Their sensitivity and measurement accuracy lead to data and images of high reliability. Aims:We have develope… ▽ More Context:Optical interferometry is at a key development stage. ESO's VLTI has established a stable, robust infrastructure for long-baseline interferometry for general astronomical observers. The present second-generation instruments offer a wide wavelength coverage and improved performance. Their sensitivity and measurement accuracy lead to data and images of high reliability. Aims:We have developed MATISSE, the Multi AperTure mid-Infrared SpectroScopic Experiment, to access high resolution imaging in a wide spectral domain and explore topics such: stellar activity and mass loss; planet formation and evolution in the gas and dust disks around young stars; accretion processes around super massive black holes in AGN. Methods:The instrument is a spectro-interferometric imager covering three atmospheric bands (L,M,N) from 2.8 to 13.0 mu, combining four optical beams from the VLTI's telscopes. Its concept, related observing procedure, data reduction and calibration approach are the product of 30 years of instrumental research. The instrument utilizes a multi-axial beam combination that delivers spectrally dispersed fringes. The signal provides the following quantities at several spectral resolutions: photometric flux, coherent fluxes, visibilities, closure phases, wavelength differential visibilities and phases, and aperture-synthesis imaging. Results:We provide an overview of the physical principle of the instrument and its functionalities, the characteristics of the delivered signal, a description of the observing modes and of their performance limits. An ensemble of data and reconstructed images are illustrating the first acquired key observations. Conclusion:The instrument has been in operation at Cerro Paranal, ESO, Chile since 2018, and has been open for science use by the international community since April 2019. The first scientific results are being published now. △ Less

Submitted 2 March, 2022; v1 submitted 29 October, 2021; originally announced October 2021.

Comments: 24 pages, 26 figures, submitted to Astronomy & Astrophysics

Journal ref: A&A 659, A192 (2022)

Music Composition with Deep Learning: A Review

Authors: Carlos Hernandez-Olivan, Jose R. Beltran

Abstract: Generating a complex work of art such as a musical composition requires exhibiting true creativity that depends on a variety of factors that are related to the hierarchy of musical language. Music generation have been faced with Algorithmic methods and recently, with Deep Learning models that are being used in other fields such as Computer Vision. In this paper we want to put into context the exis… ▽ More Generating a complex work of art such as a musical composition requires exhibiting true creativity that depends on a variety of factors that are related to the hierarchy of musical language. Music generation have been faced with Algorithmic methods and recently, with Deep Learning models that are being used in other fields such as Computer Vision. In this paper we want to put into context the existing relationships between AI-based music composition models and human musical composition and creativity processes. We give an overview of the recent Deep Learning models for music composition and we compare these models to the music composition process from a theoretical point of view. We have tried to answer some of the most relevant open questions for this task by analyzing the ability of current Deep Learning models to generate music with creativity or the similarity between AI and human composition processes, among others. △ Less

Submitted 7 September, 2021; v1 submitted 27 August, 2021; originally announced August 2021.

Timbre Classification of Musical Instruments with a Deep Learning Multi-Head Attention-Based Model

Authors: Carlos Hernandez-Olivan, Jose R. Beltran

Abstract: The aim of this work is to define a model based on deep learning that is able to identify different instrument timbres with as few parameters as possible. For this purpose, we have worked with classical orchestral instruments played with different dynamics, which are part of a few instrument families and which play notes in the same pitch range. It has been possible to assess the ability to classi… ▽ More The aim of this work is to define a model based on deep learning that is able to identify different instrument timbres with as few parameters as possible. For this purpose, we have worked with classical orchestral instruments played with different dynamics, which are part of a few instrument families and which play notes in the same pitch range. It has been possible to assess the ability to classify instruments by timbre even if the instruments are playing the same note with the same intensity. The network employed uses a multi-head attention mechanism, with 8 heads and a dense network at the output taking as input the log-mel magnitude spectrograms of the sound samples. This network allows the identification of 20 instrument classes of the classical orchestra, achieving an overall F$_1$ value of 0.62. An analysis of the weights of the attention layer has been performed and the confusion matrix of the model is presented, allowing us to assess the ability of the proposed architecture to distinguish timbre and to establish the aspects on which future work should focus. △ Less

Submitted 13 July, 2021; originally announced July 2021.

Cycle and Semantic Consistent Adversarial Domain Adaptation for Reducing Simulation-to-Real Domain Shift in LiDAR Bird's Eye View

Authors: Alejandro Barrera, Jorge Beltrán, Carlos Guindel, Jose Antonio Iglesias, Fernando García

Abstract: The performance of object detection methods based on LiDAR information is heavily impacted by the availability of training data, usually limited to certain laser devices. As a result, the use of synthetic data is becoming popular when training neural network models, as both sensor specifications and driving scenarios can be generated ad-hoc. However, bridging the gap between virtual and real envir… ▽ More The performance of object detection methods based on LiDAR information is heavily impacted by the availability of training data, usually limited to certain laser devices. As a result, the use of synthetic data is becoming popular when training neural network models, as both sensor specifications and driving scenarios can be generated ad-hoc. However, bridging the gap between virtual and real environments is still an open challenge, as current simulators cannot completely mimic real LiDAR operation. To tackle this issue, domain adaptation strategies are usually applied, obtaining remarkable results on vehicle detection when applied to range view (RV) and bird's eye view (BEV) projections while failing for smaller road agents. In this paper, we present a BEV domain adaptation method based on CycleGAN that uses prior semantic classification in order to preserve the information of small objects of interest during the domain adaptation process. The quality of the generated BEVs has been evaluated using a state-of-the-art 3D object detection framework at KITTI 3D Object Detection Benchmark. The obtained results show the advantages of the proposed method over the existing alternatives. △ Less

Submitted 22 April, 2021; originally announced April 2021.

Comments: Submitted to IEEE International Conference on Intelligent Transportation Systems (ITSC2021)

Mid-infrared circumstellar emission of the long-period Cepheid l Carinae resolved with VLTI/MATISSE

Authors: V. Hocdé, N. Nardetto, A. Matter, E. Lagadec, A. Mérand, P. Cruzalèbes, A. Meilland, F. Millour, B. Lopez, P. Berio, G. Weigelt, R. Petrov, J. W. Isbell, W. Jaffe, P. Kervella, A. Glindemann, M. Schöller, F. Allouche, A. Gallenne, A. Domiciano de Souza, G. Niccolini, E. Kokoulina, J. Varga, S. Lagarde, J. -C. Augereau , et al. (129 additional authors not shown)

Abstract: The nature of circumstellar envelopes (CSE) around Cepheids is still a matter of debate. The physical origin of their infrared (IR) excess could be either a shell of ionized gas, or a dust envelope, or both. This study aims at constraining the geometry and the IR excess of the environment of the long-period Cepheid $\ell$ Car (P=35.5 days) at mid-IR wavelengths to understand its physical nature. W… ▽ More The nature of circumstellar envelopes (CSE) around Cepheids is still a matter of debate. The physical origin of their infrared (IR) excess could be either a shell of ionized gas, or a dust envelope, or both. This study aims at constraining the geometry and the IR excess of the environment of the long-period Cepheid $\ell$ Car (P=35.5 days) at mid-IR wavelengths to understand its physical nature. We first use photometric observations in various bands and Spitzer Space Telescope spectroscopy to constrain the IR excess of $\ell$ Car. Then, we analyze the VLTI/MATISSE measurements at a specific phase of observation, in order to determine the flux contribution, the size and shape of the environment of the star in the L band. We finally test the hypothesis of a shell of ionized gas in order to model the IR excess. We report the first detection in the L band of a centro-symmetric extended emission around l Car, of about 1.7$R_\star$ in FWHM, producing an excess of about 7.0\% in this band. In the N band, there is no clear evidence for dust emission from VLTI/MATISSE correlated flux and Spitzer data. On the other side, the modeled shell of ionized gas implies a more compact CSE ($1.13\pm0.02\,R_\star$) and fainter (IR excess of 1\% in the L band). We provide new evidences for a compact CSE of $\ell$ Car and we demonstrate the capabilities of VLTI/MATISSE for determining common properties of CSEs. While the compact CSE of $\ell$ Car is probably of gaseous nature, the tested model of a shell of ionized gas is not able to simultaneously reproduce the IR excess and the interferometric observations. Further Galactic Cepheids observations with VLTI/MATISSE are necessary for determining the properties of CSEs, which may also depend on both the pulsation period and the evolutionary state of the stars. △ Less

Submitted 31 March, 2021; originally announced March 2021.

Comments: 13 pages, 8 figures, accepted in Astronomy and Astrophysics

Automatic Extrinsic Calibration Method for LiDAR and Camera Sensor Setups

Authors: Jorge Beltrán, Carlos Guindel, Arturo de la Escalera, Fernando García

Abstract: Most sensor setups for onboard autonomous perception are composed of LiDARs and vision systems, as they provide complementary information that improves the reliability of the different algorithms necessary to obtain a robust scene understanding. However, the effective use of information from different sources requires an accurate calibration between the sensors involved, which usually implies a te… ▽ More Most sensor setups for onboard autonomous perception are composed of LiDARs and vision systems, as they provide complementary information that improves the reliability of the different algorithms necessary to obtain a robust scene understanding. However, the effective use of information from different sources requires an accurate calibration between the sensors involved, which usually implies a tedious and burdensome process. We present a method to calibrate the extrinsic parameters of any pair of sensors involving LiDARs, monocular or stereo cameras, of the same or different modalities. The procedure is composed of two stages: first, reference points belonging to a custom calibration target are extracted from the data provided by the sensors to be calibrated, and second, the optimal rigid transformation is found through the registration of both point sets. The proposed approach can handle devices with very different resolutions and poses, as usually found in vehicle setups. In order to assess the performance of the proposed method, a novel evaluation suite built on top of a popular simulation framework is introduced. Experiments on the synthetic environment show that our calibration algorithm significantly outperforms existing methods, whereas real data tests corroborate the results obtained in the evaluation suite. Open-source code is available at https://github.com/beltransen/velo2cam_calibration △ Less

Submitted 15 March, 2022; v1 submitted 12 January, 2021; originally announced January 2021.

Comments: Published on IEEE Transactions on Intelligent Transportation Systems

Journal ref: IEEE Transactions on Intelligent Transportation Systems, 2022

The asymmetric inner disk of the Herbig Ae star HD 163296 in the eyes of VLTI/MATISSE: evidence for a vortex?

Authors: J. Varga, M. Hogerheijde, R. van Boekel, L. Klarmann, R. Petrov, L. B. F. M. Waters, S. Lagarde, E. Pantin, Ph. Berio, G. Weigelt, S. Robbe-Dubois, B. Lopez, F. Millour, J. -C. Augereau, H. Meheut, A. Meilland, Th. Henning, W. Jaffe, F. Bettonvil, P. Bristow, K. -H. Hofmann, A. Matter, G. Zins, S. Wolf, F. Allouche , et al. (111 additional authors not shown)

Abstract: Context. The inner few au region of planet-forming disks is a complex environment. High angular resolution observations have a key role in understanding the disk structure and the dynamical processes at work. Aims. In this study we aim to characterize the mid-infrared brightness distribution of the inner disk of the young intermediate-mass star HD 163296, from VLTI/MATISSE observations. Methods. W… ▽ More Context. The inner few au region of planet-forming disks is a complex environment. High angular resolution observations have a key role in understanding the disk structure and the dynamical processes at work. Aims. In this study we aim to characterize the mid-infrared brightness distribution of the inner disk of the young intermediate-mass star HD 163296, from VLTI/MATISSE observations. Methods. We use geometric models to fit the data. Our models include a smoothed ring, a flat disk with inner cavity, and a 2D Gaussian. The models can account for disk inclination and for azimuthal asymmetries as well. We also perform numerical hydro-dynamical simulations of the inner edge of the disk. Results. Our modeling reveals a significant brightness asymmetry in the L-band disk emission. The brightness maximum of the asymmetry is located at the NW part of the disk image, nearly at the position angle of the semimajor axis. The surface brightness ratio in the azimuthal variation is $3.5 \pm 0.2$. Comparing our result on the location of the asymmetry with other interferometric measurements, we confirm that the morphology of the $r<0.3$ au disk region is time-variable. We propose that this asymmetric structure, located in or near the inner rim of the dusty disk, orbits the star. For the physical origin of the asymmetry, we tested a hypothesis where a vortex is created by Rossby wave instability, and we find that a unique large scale vortex may be compatible with our data. The half-light radius of the L-band emitting region is $0.33\pm 0.01$ au, the inclination is ${52^\circ}^{+5^\circ}_{-7^\circ}$, and the position angle is $143^\circ \pm 3^\circ$. Our models predict that a non-negligible fraction of the L-band disk emission originates inside the dust sublimation radius for $μ$m-sized grains. Refractory grains or large ($\gtrsim 10\ μ$m-sized) grains could be the origin for this emission. △ Less

Submitted 10 December, 2020; originally announced December 2020.

Comments: accepted for publication in A&A

Journal ref: A&A 647, A56 (2021)

Towards Autonomous Driving: a Multi-Modal 360$^{\circ}$ Perception Proposal

Authors: Jorge Beltrán, Carlos Guindel, Irene Cortés, Alejandro Barrera, Armando Astudillo, Jesús Urdiales, Mario Álvarez, Farid Bekka, Vicente Milanés, Fernando García

Abstract: In this paper, a multi-modal 360$^{\circ}$ framework for 3D object detection and tracking for autonomous vehicles is presented. The process is divided into four main stages. First, images are fed into a CNN network to obtain instance segmentation of the surrounding road participants. Second, LiDAR-to-image association is performed for the estimated mask proposals. Then, the isolated points of ever… ▽ More In this paper, a multi-modal 360$^{\circ}$ framework for 3D object detection and tracking for autonomous vehicles is presented. The process is divided into four main stages. First, images are fed into a CNN network to obtain instance segmentation of the surrounding road participants. Second, LiDAR-to-image association is performed for the estimated mask proposals. Then, the isolated points of every object are processed by a PointNet ensemble to compute their corresponding 3D bounding boxes and poses. Lastly, a tracking stage based on Unscented Kalman Filter is used to track the agents along time. The solution, based on a novel sensor fusion configuration, provides accurate and reliable road environment detection. A wide variety of tests of the system, deployed in an autonomous vehicle, have successfully assessed the suitability of the proposed perception stack in a real autonomous driving application. △ Less

Submitted 21 August, 2020; originally announced August 2020.

Comments: Accepted for publication in IEEE ITSC 2020

Music Boundary Detection using Convolutional Neural Networks: A comparative analysis of combined input features

Authors: Carlos Hernandez-Olivan, Jose R. Beltran, David Diaz-Guerra

Abstract: The analysis of the structure of musical pieces is a task that remains a challenge for Artificial Intelligence, especially in the field of Deep Learning. It requires prior identification of structural boundaries of the music pieces. This structural boundary analysis has recently been studied with unsupervised methods and \textit{end-to-end} techniques such as Convolutional Neural Networks (CNN) us… ▽ More The analysis of the structure of musical pieces is a task that remains a challenge for Artificial Intelligence, especially in the field of Deep Learning. It requires prior identification of structural boundaries of the music pieces. This structural boundary analysis has recently been studied with unsupervised methods and \textit{end-to-end} techniques such as Convolutional Neural Networks (CNN) using Mel-Scaled Log-magnitude Spectograms features (MLS), Self-Similarity Matrices (SSM) or Self-Similarity Lag Matrices (SSLM) as inputs and trained with human annotations. Several studies have been published divided into unsupervised and \textit{end-to-end} methods in which pre-processing is done in different ways, using different distance metrics and audio characteristics, so a generalized pre-processing method to compute model inputs is missing. The objective of this work is to establish a general method of pre-processing these inputs by comparing the inputs calculated from different pooling strategies, distance metrics and audio characteristics, also taking into account the computing time to obtain them. We also establish the most effective combination of inputs to be delivered to the CNN in order to establish the most efficient way to extract the limits of the structure of the music pieces. With an adequate combination of input matrices and pooling strategies we obtain a measurement accuracy $F_1$ of 0.411 that outperforms the current one obtained under the same conditions. △ Less

Submitted 1 December, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Journal ref: International Journal of Interactive Multimedia & Artificial Intelligence (2021), vol. 7, no 2, p. 78-88

Robust Sound Source Tracking Using SRP-PHAT and 3D Convolutional Neural Networks

Authors: David Diaz-Guerra, Antonio Miguel, Jose R. Beltran

Abstract: In this paper, we present a new single sound source DOA estimation and tracking system based on the well-known SRP-PHAT algorithm and a three-dimensional Convolutional Neural Network. It uses SRP-PHAT power maps as input features of a fully convolutional causal architecture that uses 3D convolutional layers to accurately perform the tracking of a sound source even in highly reverberant scenarios w… ▽ More In this paper, we present a new single sound source DOA estimation and tracking system based on the well-known SRP-PHAT algorithm and a three-dimensional Convolutional Neural Network. It uses SRP-PHAT power maps as input features of a fully convolutional causal architecture that uses 3D convolutional layers to accurately perform the tracking of a sound source even in highly reverberant scenarios where most of the state of the art techniques fail. Unlike previous methods, since we do not use bidirectional recurrent layers and all our convolutional layers are causal in the time dimension, our system is feasible for real-time applications and it provides a new DOA estimation for each new SRP-PHAT map. To train the model, we introduce a new procedure to simulate random trajectories as they are needed during the training, equivalent to an infinite-size dataset with high flexibility to modify its acoustical conditions such as the reverberation time. We use both acoustical simulations on a large range of reverberation times and the actual recordings of the LOCATA dataset to prove the robustness of our system and its good performance even using low-resolution SRP-PHAT maps. △ Less

Submitted 16 December, 2020; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: This is a pre-print of an article published in IEEE/ACM Transactions on Audio Speech and Language Processing. The code to reproduce this work can be found in our GitHub repository: https://github.com/DavidDiazGuerra/Cross3D

Journal ref: in IEEE/ACM Transactions on Audio, Speech, and Language Processing, vol. 29, pp. 300-311, 2021

BirdNet+: End-to-End 3D Object Detection in LiDAR Bird's Eye View

Authors: Alejandro Barrera, Carlos Guindel, Jorge Beltrán, Fernando García

Abstract: On-board 3D object detection in autonomous vehicles often relies on geometry information captured by LiDAR devices. Albeit image features are typically preferred for detection, numerous approaches take only spatial data as input. Exploiting this information in inference usually involves the use of compact representations such as the Bird's Eye View (BEV) projection, which entails a loss of informa… ▽ More On-board 3D object detection in autonomous vehicles often relies on geometry information captured by LiDAR devices. Albeit image features are typically preferred for detection, numerous approaches take only spatial data as input. Exploiting this information in inference usually involves the use of compact representations such as the Bird's Eye View (BEV) projection, which entails a loss of information and thus hinders the joint inference of all the parameters of the objects' 3D boxes. In this paper, we present a fully end-to-end 3D object detection framework that can infer oriented 3D boxes solely from BEV images by using a two-stage object detector and ad-hoc regression branches, eliminating the need for a post-processing stage. The method outperforms its predecessor (BirdNet) by a large margin and obtains state-of-the-art results on the KITTI 3D Object Detection Benchmark for all the categories in evaluation. △ Less

Submitted 9 March, 2020; originally announced March 2020.

Comments: Submitted to IEEE International Conference on Intelligent Transportation Systems (ITSC2020)

siaNMS: Non-Maximum Suppression with Siamese Networks for Multi-Camera 3D Object Detection

Authors: Irene Cortes, Jorge Beltran, Arturo de la Escalera, Fernando Garcia

Abstract: The rapid development of embedded hardware in autonomous vehicles broadens their computational capabilities, thus bringing the possibility to mount more complete sensor setups able to handle driving scenarios of higher complexity. As a result, new challenges such as multiple detections of the same object have to be addressed. In this work, a siamese network is integrated into the pipeline of a wel… ▽ More The rapid development of embedded hardware in autonomous vehicles broadens their computational capabilities, thus bringing the possibility to mount more complete sensor setups able to handle driving scenarios of higher complexity. As a result, new challenges such as multiple detections of the same object have to be addressed. In this work, a siamese network is integrated into the pipeline of a well-known 3D object detector approach to suppress duplicate proposals coming from different cameras via re-identification. Additionally, associations are exploited to enhance the 3D box regression of the object by aggregating their corresponding LiDAR frustums. The experimental evaluation on the nuScenes dataset shows that the proposed method outperforms traditional NMS approaches. △ Less

Submitted 19 February, 2020; originally announced February 2020.

Comments: Submitted to IEEE Intelligent Vehicles Symposium 2020 (IV2020)

Dynamics of weighted composition operators on spaces of continuous functions

Authors: María José Beltrán, Enrique Jordá, Marina Murillo-Arcila

Abstract: Our study is focused on the dynamics of weighted composition operators defined on a locally convex space $E\hookrightarrow (C(X),τ_p)$ with $X$ being a topological Hausdorff space containing at least two different points and such that the evaluations $\{δ_x:\ x\in X\}$ are linearly independent in $E'$. We prove, when $X$ is compact and $E$ is a Banach space containing a nowhere vanishing function,… ▽ More Our study is focused on the dynamics of weighted composition operators defined on a locally convex space $E\hookrightarrow (C(X),τ_p)$ with $X$ being a topological Hausdorff space containing at least two different points and such that the evaluations $\{δ_x:\ x\in X\}$ are linearly independent in $E'$. We prove, when $X$ is compact and $E$ is a Banach space containing a nowhere vanishing function, that a weighted composition operator $C_{\varphi,ω}$ is never weakly supercyclic on $E$. We also prove that if the symbol $\varphi$ lies in the unit ball of $A(\mathbb{D})$, then every weighted composition operator can never be $τ_p$-supercyclic neither on $C(\mathbb{D})$ nor on the disc algebra $A(\mathbb{D})$. Finally, we obtain Ansari-Bourdon type results and conditions on the spectrum for arbitrary weakly supercyclic operators, and we provide necessary conditions for a composition operator to be weakly supercyclic on the space of holomorphic functions defined in non necessarily simply connected planar domains. As a consequence, we show that no composition operator can be weakly supercyclic neither on the space of holomorphic functions on the punctured disc nor in the punctured plane. △ Less

Submitted 21 February, 2019; originally announced February 2019.

Comments: 20 pages

gpuRIR: A Python Library for Room Impulse Response Simulation with GPU Acceleration

Authors: David Diaz-Guerra, Antonio Miguel, Jose R. Beltran

Abstract: The Image Source Method (ISM) is one of the most employed techniques to calculate acoustic Room Impulse Responses (RIRs), however, its computational complexity grows fast with the reverberation time of the room and its computation time can be prohibitive for some applications where a huge number of RIRs are needed. In this paper, we present a new implementation that dramatically improves the compu… ▽ More The Image Source Method (ISM) is one of the most employed techniques to calculate acoustic Room Impulse Responses (RIRs), however, its computational complexity grows fast with the reverberation time of the room and its computation time can be prohibitive for some applications where a huge number of RIRs are needed. In this paper, we present a new implementation that dramatically improves the computation speed of the ISM by using Graphic Processing Units (GPUs) to parallelize both the simulation of multiple RIRs and the computation of the images inside each RIR. Additional speedups were achieved by exploiting the mixed precision capabilities of the newer GPUs and by using lookup tables. We provide a Python library under GNU license that can be easily used without any knowledge about GPU programming and we show that it is about 100 times faster than other state of the art CPU libraries. It may become a powerful tool for many applications that need to perform a large number of acoustic simulations, such as training machine learning systems for audio signal processing, or for real-time room acoustics simulations for immersive multimedia systems, such as augmented or virtual reality. △ Less

Submitted 9 October, 2020; v1 submitted 26 October, 2018; originally announced October 2018.

Comments: This is a pre-print of an article published in Multimedia Tools and Applications (2020)

The causal approach proof for the equivalence of $SDKP_{4}$ and $SQED_{4}$ at tree-level

Authors: J. Beltran, B. M. Pimentel, D. E. Soto

Abstract: The description of the electromagnetic interaction of charged spinless particles is usually formulated by the Scalar Quantum Electrodynamics. However, there is an alternative formulation given by the Duffin-Kemmer-Petiau theory: the Scalar DKP gauge theory. The proof of the equivalence between these two formulations has been discussed in many researches, but there is not yet a conclusive proof. In… ▽ More The description of the electromagnetic interaction of charged spinless particles is usually formulated by the Scalar Quantum Electrodynamics. However, there is an alternative formulation given by the Duffin-Kemmer-Petiau theory: the Scalar DKP gauge theory. The proof of the equivalence between these two formulations has been discussed in many researches, but there is not yet a conclusive proof. In this paper, we initiate a complete proof in the framework of the Causal Perturbation theory, showing that both scalar formulations provide the same results for the differential cross section at tree level. △ Less

Submitted 6 August, 2019; v1 submitted 3 August, 2018; originally announced August 2018.

BirdNet: a 3D Object Detection Framework from LiDAR information

Authors: Jorge Beltran, Carlos Guindel, Francisco Miguel Moreno, Daniel Cruzado, Fernando Garcia, Arturo de la Escalera

Abstract: Understanding driving situations regardless the conditions of the traffic scene is a cornerstone on the path towards autonomous vehicles; however, despite common sensor setups already include complementary devices such as LiDAR or radar, most of the research on perception systems has traditionally focused on computer vision. We present a LiDAR-based 3D object detection pipeline entailing three sta… ▽ More Understanding driving situations regardless the conditions of the traffic scene is a cornerstone on the path towards autonomous vehicles; however, despite common sensor setups already include complementary devices such as LiDAR or radar, most of the research on perception systems has traditionally focused on computer vision. We present a LiDAR-based 3D object detection pipeline entailing three stages. First, laser information is projected into a novel cell encoding for bird's eye view projection. Later, both object location on the plane and its heading are estimated through a convolutional neural network originally designed for image processing. Finally, 3D oriented detections are computed in a post-processing phase. Experiments on KITTI dataset show that the proposed framework achieves state-of-the-art results among comparable methods. Further tests with different LiDAR sensors in real scenarios assess the multi-device capabilities of the approach. △ Less

Submitted 3 May, 2018; originally announced May 2018.

Comments: Submittied to IEEE International Conference on Intelligent Transportation Systems 2018 (ITSC)

From coalescing random walks on a torus to Kingman's coalescent

Authors: J. Beltrán, E. Chavez, C. Landim

Abstract: Let $\mathbb{T}^d_N$, $d\ge 2$, be the discrete $d$-dimensional torus with $N^d$ points. Place a particle at each site of $\mathbb{T}^d_N$ and let them evolve as independent, nearest-neighbor, symmetric, continuous-time random walks. Each time two particles meet, they coalesce into one. Denote by $C_N$ the first time the set of particles is reduced to a singleton. Cox [6] proved the existence of a… ▽ More Let $\mathbb{T}^d_N$, $d\ge 2$, be the discrete $d$-dimensional torus with $N^d$ points. Place a particle at each site of $\mathbb{T}^d_N$ and let them evolve as independent, nearest-neighbor, symmetric, continuous-time random walks. Each time two particles meet, they coalesce into one. Denote by $C_N$ the first time the set of particles is reduced to a singleton. Cox [6] proved the existence of a time-scale $θ_N$ for which $C_N/θ_N$ converges to the sum of independent exponential random variables. Denote by $Z^N_t$ the total number of particles at time $t$. We prove that the sequence of Markov chains $(Z^N_{tθ_N})_{t\ge 0}$ converges to the total number of partitions in Kingman's coalescent. △ Less

Submitted 8 March, 2018; originally announced March 2018.

Predicting Hurricane Trajectories using a Recurrent Neural Network

Authors: Sheila Alemany, Jonathan Beltran, Adrian Perez, Sam Ganzfried

Abstract: Hurricanes are cyclones circulating about a defined center whose closed wind speeds exceed 75 mph originating over tropical and subtropical waters. At landfall, hurricanes can result in severe disasters. The accuracy of predicting their trajectory paths is critical to reduce economic loss and save human lives. Given the complexity and nonlinearity of weather data, a recurrent neural network (RNN)… ▽ More Hurricanes are cyclones circulating about a defined center whose closed wind speeds exceed 75 mph originating over tropical and subtropical waters. At landfall, hurricanes can result in severe disasters. The accuracy of predicting their trajectory paths is critical to reduce economic loss and save human lives. Given the complexity and nonlinearity of weather data, a recurrent neural network (RNN) could be beneficial in modeling hurricane behavior. We propose the application of a fully connected RNN to predict the trajectory of hurricanes. We employed the RNN over a fine grid to reduce typical truncation errors. We utilized their latitude, longitude, wind speed, and pressure publicly provided by the National Hurricane Center (NHC) to predict the trajectory of a hurricane at 6-hour intervals. Results show that this proposed technique is competitive to methods currently employed by the NHC and can predict up to approximately 120 hours of hurricane path. △ Less

Submitted 12 September, 2018; v1 submitted 1 February, 2018; originally announced February 2018.

Scalar Quantum Electrodynamics via Duffin-Kemmer-Petiau Gauge Theory in the Heisenberg Picture:Vacuum Polarization

Authors: J. Beltran, N. T. Maia, B. M. Pimentel

Abstract: Scalar Quantum Electrodynamics is investigated in the Heisenberg picture via the Duffin-Kemmer-Petiau gauge theory. On this framework, a perturbative method is used to compute the vacuum polarization tensor and its corresponding induced current for the case of a charged scalar field in the presence of an external electromagnetic field. Charge renormalization is brought into discussion for the inte… ▽ More Scalar Quantum Electrodynamics is investigated in the Heisenberg picture via the Duffin-Kemmer-Petiau gauge theory. On this framework, a perturbative method is used to compute the vacuum polarization tensor and its corresponding induced current for the case of a charged scalar field in the presence of an external electromagnetic field. Charge renormalization is brought into discussion for the interpretation of the results for the vacuum polarization. △ Less

Submitted 4 October, 2017; originally announced October 2017.

Journal ref: International Journal of Modern Physics A Vol. 33 (2018) 1850059 (13 pages)

Automatic Extrinsic Calibration for Lidar-Stereo Vehicle Sensor Setups

Authors: Carlos Guindel, Jorge Beltrán, David Martín, Fernando García

Abstract: Sensor setups consisting of a combination of 3D range scanner lasers and stereo vision systems are becoming a popular choice for on-board perception systems in vehicles; however, the combined use of both sources of information implies a tedious calibration process. We present a method for extrinsic calibration of lidar-stereo camera pairs without user intervention. Our calibration approach is aime… ▽ More Sensor setups consisting of a combination of 3D range scanner lasers and stereo vision systems are becoming a popular choice for on-board perception systems in vehicles; however, the combined use of both sources of information implies a tedious calibration process. We present a method for extrinsic calibration of lidar-stereo camera pairs without user intervention. Our calibration approach is aimed to cope with the constraints commonly found in automotive setups, such as low-resolution and specific sensor poses. To demonstrate the performance of our method, we also introduce a novel approach for the quantitative assessment of the calibration results, based on a simulation environment. Tests using real devices have been conducted as well, proving the usability of the system and the improvement over the existing approaches. Code is available at http://wiki.ros.org/velo2cam_calibration △ Less

Submitted 27 July, 2017; v1 submitted 11 May, 2017; originally announced May 2017.

Comments: Accepted to IEEE International Conference on Intelligent Transportation Systems 2017 (ITSC)

MSC Class: 68T45 ACM Class: I.4.8; I.2.9; I.4.1

Computational study of atomic mobility in HCP Mg-Al-Zn ternary alloys

Authors: J. Wang, N. Li, C. Wang, J. I. Beltran, J. LLorca, Y. Cui

Abstract: The experimental data in the literature for the hcp phase of the Mg-Al-Zn ternary system have been critically reviewed. Based on the concentration profiles from the literature, the diffusion coefficients have been re-extracted using the Hall method for the impurity diffusion, and the Sauer-Freise and the Whittle-Green strategies for interdiffusion coefficients in binary and ternary systems, respec… ▽ More The experimental data in the literature for the hcp phase of the Mg-Al-Zn ternary system have been critically reviewed. Based on the concentration profiles from the literature, the diffusion coefficients have been re-extracted using the Hall method for the impurity diffusion, and the Sauer-Freise and the Whittle-Green strategies for interdiffusion coefficients in binary and ternary systems, respectively. Moreover, extra interdiffusion coefficients were obtained from the Darken-type couples, which present relative maxima or/and minima at the concentration profiles. This information was assessed to obtain an atomic mobility database, by means of DICTRA software in conjunction with the CALPHAD thermodynamic description that is able to reproduce the diffusion couple experiments. Comprehensive comparisons between the calculated results and experimental values show an excellent agreement not only for the diffusion coefficient data, but also for the concentration profiles and the diffusion paths. △ Less

Submitted 8 August, 2016; originally announced August 2016.

Journal ref: CALPHAD: Computer Coupling of Phase Diagrams and Thermochemistry, 54, 134-143, 2016

Landau modeling of dynamical nucleation of martensite at grain boundaries under local stress

Authors: G. Xu, C. Wang, J. I. Beltrán, J. LLorca, Y. Cui

Abstract: The dynamical nucleation of martensite in polycrystals is simulated by means of Lagrange-Rayleigh dynamics with Landau energetics, which is capable of obtaining the local stress as a result of the interplay of the potential of transformation and external loadings. By monitoring the patio-temporal distribution of the strain in response to the local stress, we demonstrate that the postcursors, high… ▽ More The dynamical nucleation of martensite in polycrystals is simulated by means of Lagrange-Rayleigh dynamics with Landau energetics, which is capable of obtaining the local stress as a result of the interplay of the potential of transformation and external loadings. By monitoring the patio-temporal distribution of the strain in response to the local stress, we demonstrate that the postcursors, high angle grain boundaries and triple junctions act as favorable heterogeneous nucleation sites corresponding to different loading and cooling conditions, and predict the phase diagram of the nucleation mode of martensite. △ Less

Submitted 28 July, 2016; originally announced July 2016.

Journal ref: Computational Materials Science, 118 (2016) 103-111

Mean Ergodic Composition Operators on Banach spaces of holomorphic functions

Authors: María José Beltrán, María del Carmen Gómez, Enrique Jordá, David Jornet

Abstract: Given a symbol $\varphi,$ i.e., a holomorphic endomorphism of the unit disc, we consider the composition operator $C_{\varphi}(f)=f\circ\varphi$ defined on the Banach spaces of holomorphic functions $A(\mathbb{D})$ and $H^{\infty}(\mathbb{D})$. We obtain different conditions on the symbol $\varphi$ which characterize when the composition operator is mean ergodic and uniformly mean ergodic in the c… ▽ More Given a symbol $\varphi,$ i.e., a holomorphic endomorphism of the unit disc, we consider the composition operator $C_{\varphi}(f)=f\circ\varphi$ defined on the Banach spaces of holomorphic functions $A(\mathbb{D})$ and $H^{\infty}(\mathbb{D})$. We obtain different conditions on the symbol $\varphi$ which characterize when the composition operator is mean ergodic and uniformly mean ergodic in the corresponding spaces. These conditions are related to the asymptotic behaviour of the iterates of the symbol. As an appendix, we deal with some particular case in the setting of weighted Banach spaces of holomorphic functions. △ Less

Submitted 13 January, 2016; originally announced January 2016.

MSC Class: 47B33; 47A35; 46E15

Scalable Package Queries in Relational Database Systems

Authors: Matteo Brucato, Juan Felipe Beltran, Azza Abouzied, Alexandra Meliou

Abstract: Traditional database queries follow a simple model: they define constraints that each tuple in the result must satisfy. This model is computationally efficient, as the database system can evaluate the query conditions on each tuple individually. However, many practical, real-world problems require a collection of result tuples to satisfy constraints collectively, rather than individually. In this… ▽ More Traditional database queries follow a simple model: they define constraints that each tuple in the result must satisfy. This model is computationally efficient, as the database system can evaluate the query conditions on each tuple individually. However, many practical, real-world problems require a collection of result tuples to satisfy constraints collectively, rather than individually. In this paper, we present package queries, a new query model that extends traditional database queries to handle complex constraints and preferences over answer sets. We develop a full-fledged package query system, implemented on top of a traditional database engine. Our work makes several contributions. First, we design PaQL, a SQL-based query language that supports the declarative specification of package queries. We prove that PaQL is as least as expressive as integer linear programming, and therefore, evaluation of package queries is in general NP-hard. Second, we present a fundamental evaluation strategy that combines the capabilities of databases and constraint optimization solvers to derive solutions to package queries. The core of our approach is a set of translation rules that transform a package query to an integer linear program. Third, we introduce an offline data partitioning strategy allowing query evaluation to scale to large data sizes. Fourth, we introduce SketchRefine, a scalable algorithm for package evaluation, with strong approximation guarantees ($(1 \pmε)^6$-factor approximation). Finally, we present extensive experiments over real-world and benchmark data. The results demonstrate that SketchRefine is effective at deriving high-quality package results, and achieves runtime performance that is an order of magnitude faster than directly using ILP solvers over large datasets. △ Less

Submitted 15 December, 2015; v1 submitted 11 December, 2015; originally announced December 2015.

Comments: Extended version of PVLDB 2016 submission

Tight-binding approach to penta-graphene

Authors: T. Stauber, J. I. Beltrán, J. Schliemann

Abstract: We introduce an effective tight-binding model to discuss penta-graphene and present an analytical solution. This model only involves the $π$-orbitals of the sp$^2$-hybridized carbon atoms and reproduces the two highest valence bands. By introducing energy-dependent hopping elements, originating from the elimination of the sp$^3$-hybridized carbon atoms, also the two lowest conduction bands can be… ▽ More We introduce an effective tight-binding model to discuss penta-graphene and present an analytical solution. This model only involves the $π$-orbitals of the sp$^2$-hybridized carbon atoms and reproduces the two highest valence bands. By introducing energy-dependent hopping elements, originating from the elimination of the sp$^3$-hybridized carbon atoms, also the two lowest conduction bands can be well approximated - but only after the inclusion of a Hubbard onsite interaction as well as of assisted hopping terms. The eigenfunctions can be approximated analytically for the effective model without energy-dependent hopping elements and the optical absorption is discussed. We find large isotropic absorption of up to 24\% for transitions at the $Γ$-point, but the general absorption will show a strongly anisotropic behaviour depending on the linear polarization of the incident light. △ Less

Submitted 29 September, 2015; originally announced September 2015.

Comments: 9 pages, 4 figures

Journal ref: Sci. Rep. 6, 22672 (2016)

A martingale problem for an absorbed diffusion: the nucleation phase of condensing zero range processes

Authors: J. Beltrán, M. Jara, C. Landim

Abstract: We prove uniqueness of a martingale problem with boundary conditions on a simplex associated to a differential operator with an unbounded drift. We show that the solution of the martingale problem remains absorbed at the boundary once it attains it, and that, after hitting the boundary, it performs a diffusion on a lower dimensional simplex, similar to the original one. We also prove that in the d… ▽ More We prove uniqueness of a martingale problem with boundary conditions on a simplex associated to a differential operator with an unbounded drift. We show that the solution of the martingale problem remains absorbed at the boundary once it attains it, and that, after hitting the boundary, it performs a diffusion on a lower dimensional simplex, similar to the original one. We also prove that in the diffusive time scale condensing zero-range processes evolve as this absorbed diffusion. △ Less

Submitted 5 May, 2015; originally announced May 2015.

Composite Bulges: The Coexistence of Classical Bulges and Disky Pseudobulges in S0 and Spiral Galaxies

Authors: Peter Erwin, Roberto P. Saglia, Maximilian Fabricius, Jens Thomas, Nina Nowak, Stephanie Rusli, Ralf Bender, Juan Carlos Vega Beltran, John E. Beckman

Abstract: We study nine S0-Sb galaxies with (photometric) bulges consisting of two distinct components. The outer component is a flattened, kinematically cool, disklike structure: a "disky pseudobulge". Embedded inside is a rounder, kinematically hot spheroid: a "classical bulge". This indicates that pseudobulges and classical bulges are not mutually exclusive: some galaxies have both. The disky pseudobul… ▽ More We study nine S0-Sb galaxies with (photometric) bulges consisting of two distinct components. The outer component is a flattened, kinematically cool, disklike structure: a "disky pseudobulge". Embedded inside is a rounder, kinematically hot spheroid: a "classical bulge". This indicates that pseudobulges and classical bulges are not mutually exclusive: some galaxies have both. The disky pseudobulges almost always have an exponential disk (scale lengths = 125-870 pc, mean $\sim 440$ pc) with disk-related subcomponents: nuclear rings, bars, and/or spiral arms. They constitute 11-59% of the galaxy stellar mass (mean PB/T = 0.33), with stellar masses $\sim 7 \times 10^{9}$-$9 \times 10^{10} M_{\odot}$. Classical-bulge components have Sersic indices of 0.9-2.2, effective radii of 25-430 pc and stellar masses of $5 \times 10^{8}$-$3 \times 10^{10} M_{\odot}$ (usually < 10% of the galaxy's stellar mass; mean B/T = 0.06). The classical bulges show rotation, but are kinematically hotter than the disky pseudobulges. Dynamical modeling of three systems indicates that velocity dispersions are isotropic in the classical bulges and equatorially biased in the disky pseudobulges. In the mass--radius and mass--stellar mass density planes, classical-bulge components follow sequences defined by ellipticals and (larger) classical bulges. Disky pseudobulges also fall on this sequence; they are more compact than similar-mass large-scale disks. Although some classical bulges are quite compact, they are distinct from nuclear star clusters in both size and mass, and coexist with nuclear clusters in at least two galaxies. Since almost all the galaxies in this study are barred, they probably also host boxy/peanut-shaped bulges (vertically thickened inner parts of bars). NGC 3368 shows evidence for such a zone outside its disky pseudobulge, making it a galaxy with all three types of "bulge". △ Less

Submitted 10 November, 2014; originally announced November 2014.

Comments: pdflatex, 44 pages, 26 figures. Accepted by Monthly Notices

Using 3D Spectroscopy to Probe the Orbital Structure of Composite Bulges

Authors: Peter Erwin, Roberto Saglia, Jens Thomas, Maximilian Fabricius, Ralf Bender, Stephanie Rusli, Nina Nowak, John E. Beckman, Juan Carlos Vega Beltrán

Abstract: Detailed imaging and spectroscopic analysis of the centers of nearby S0 and spiral galaxies shows the existence of "composite bulges", where both classical bulges and disky pseudobulges coexist in the same galaxy. As part of a search for supermassive black holes in nearby galaxy nuclei, we obtained VLT-SINFONI observations in adaptive-optics mode of several of these galaxies. Schwarzschild dynamic… ▽ More Detailed imaging and spectroscopic analysis of the centers of nearby S0 and spiral galaxies shows the existence of "composite bulges", where both classical bulges and disky pseudobulges coexist in the same galaxy. As part of a search for supermassive black holes in nearby galaxy nuclei, we obtained VLT-SINFONI observations in adaptive-optics mode of several of these galaxies. Schwarzschild dynamical modeling enables us to disentangle the stellar orbital structure of the different central components, and to distinguish the differing contributions of kinematically hot (classical bulge) and kinematically cool (pseudobulge) components in the same galaxy. △ Less

Submitted 28 September, 2014; originally announced September 2014.

Comments: LaTeX, 2 pages, 1 PDF figure. To appear in "Proceedings of IAU Symposium 309: Galaxies in 3D across the Universe", eds. B. L. Ziegler, F. Combes, H. Dannerbauer, and M. Verdugo

Quadrangulations with no pendant vertices

Authors: Johel Beltran, Jean-François Le Gall

Abstract: We prove that the metric space associated with a uniformly distributed planar quadrangulation with n faces and no pendant vertices converges modulo a suitable rescaling to the Brownian map. This is a first step towards the extension of recent convergence results for random planar maps to the case of graphs satisfying local constraints. We prove that the metric space associated with a uniformly distributed planar quadrangulation with n faces and no pendant vertices converges modulo a suitable rescaling to the Brownian map. This is a first step towards the extension of recent convergence results for random planar maps to the case of graphs satisfying local constraints. △ Less

Submitted 26 September, 2013; v1 submitted 29 July, 2013; originally announced July 2013.

Comments: Published in at http://dx.doi.org/10.3150/12-BEJSP13 the Bernoulli (http://isi.cbs.nl/bernoulli/) by the International Statistical Institute/Bernoulli Society (http://isi.cbs.nl/BS/bshome.htm)

Report number: IMS-BEJ-BEJSP13

Journal ref: Bernoulli 2013, Vol. 19, No. 4, 1150-1175

Barrier Height Formation in Organic Blends / Metal Interfaces: Case of (TTF-TCNQ) / Au(111)

Authors: Jose Ignacio Martinez, Enrique Abad, Juan Beltran, Fernando Flores, Jose Ortega

Abstract: The interface between the tetrathiafulvalene / tetracyanoquinodimethane (TTFTCNQ) organic blend and the Au(111) metal surface is analyzed by Density Functional Theory calculations, including the effect of the charging energies on the molecule transport gaps. Given the strong donor and acceptor characters of the TTF and TCNQ molecules, respectively, there is a strong intermolecular interaction, wit… ▽ More The interface between the tetrathiafulvalene / tetracyanoquinodimethane (TTFTCNQ) organic blend and the Au(111) metal surface is analyzed by Density Functional Theory calculations, including the effect of the charging energies on the molecule transport gaps. Given the strong donor and acceptor characters of the TTF and TCNQ molecules, respectively, there is a strong intermolecular interaction, with a relatively high charge transfer between the two organic materials. We find that the TCNQ LUMO peak is very close to the Fermi level; due to the interaction with the metal surface, the organic blend molecular levels are broadened, creating an important induced density of interface states. We show that the interface energy level alignment is controlled by the charge transfer between TTF, TCNQ and Au, and by the molecular dipoles created in the molecules because of their deformations when adsorbed on Au(111); in particular the TCNQ molecules present a bent adsorption geometry with the N atoms bonded to the Au surface. A generalization of the Unified-IDIS model, to explain how the interface energy levels alignment is achieved for the case of this blended organic layer, is presented by introducing matrix equations associated with the Charge Neutrality Levels of both organic materials and with their intermixed screening properties. △ Less

Submitted 11 July, 2013; originally announced July 2013.

A Martingale approach to metastability

Authors: J. Beltrán, C. Landim

Abstract: We presented in \cite{bl2,bl7} an approach to derive the metastable behavior of continuous-time Markov chains. We assumed in these articles that the Markov chains visit points in the time scale in which it jumps among the metastable sets. We replace this condition here by assumtpions on the mixing times and on the relaxation times of the chains reflected at the boundary of the metastable sets. We presented in \cite{bl2,bl7} an approach to derive the metastable behavior of continuous-time Markov chains. We assumed in these articles that the Markov chains visit points in the time scale in which it jumps among the metastable sets. We replace this condition here by assumtpions on the mixing times and on the relaxation times of the chains reflected at the boundary of the metastable sets. △ Less

Submitted 26 May, 2013; originally announced May 2013.

Quillen superconnections and connections on supermanifolds

Authors: J. V. Beltrán, J. Monterde, J. A. Vallejo

Abstract: Given a supervector bundle $E = E_0\oplus E_1 \to M$, we exhibit a parametrization of Quillen superconnections on $E$ by graded connections on the Cartan-Koszul supermanifold $(M;Ω(M))$. The relation between the curvatures of both kind of connections, and their associated Chern classes, is discussed in detail. In particular, we find that Chern classes for graded vector bundles on split supermanifo… ▽ More Given a supervector bundle $E = E_0\oplus E_1 \to M$, we exhibit a parametrization of Quillen superconnections on $E$ by graded connections on the Cartan-Koszul supermanifold $(M;Ω(M))$. The relation between the curvatures of both kind of connections, and their associated Chern classes, is discussed in detail. In particular, we find that Chern classes for graded vector bundles on split supermanifolds can be computed through the associated Quillen superconnections. △ Less

Submitted 16 May, 2013; originally announced May 2013.

Comments: First version

MSC Class: 53C07; 58C50; 81T13

Energy Level Alignment in Organic-Organic Heterojunctions: The TTF-TCNQ Interface

Authors: Juan I. Beltrán, Fernando Flores, José I. Martínez, José Ortega

Abstract: The energy level alignment of the two organic materials forming the TTF-TCNQ interface is analyzed by means of a local orbital DFT calculation, including an appropriate correction for the transport energy gaps associated with both materials. These energy gaps are determined by a combination of some experimental data and the results of our calculations for the difference between the TTF_{HOMO} and… ▽ More The energy level alignment of the two organic materials forming the TTF-TCNQ interface is analyzed by means of a local orbital DFT calculation, including an appropriate correction for the transport energy gaps associated with both materials. These energy gaps are determined by a combination of some experimental data and the results of our calculations for the difference between the TTF_{HOMO} and the TCNQ_{LUMO} levels. We find that the interface is metallic, as predicted by recent experiments, due to the overlap (and charge transfer) between the Density of States corresponding to these two levels, indicating that the main mechanism controlling the TTF-TCNQ energy level alignment is the charge transfer between the two materials. We find an induced interface dipole of 0.7 eV in good agreement with the experimental evidence. We have also analyzed the electronic properties of the TTF-TCNQ interface as a function of an external bias voltage Δ, between the TCNQ and TTF crystals, finding a transition between metallic and insulator behavior for Δ~0.5 eV. △ Less

Submitted 16 July, 2012; originally announced July 2012.

Tunneling and Metastability of continuous time Markov chains II, the nonreversible case

Authors: J. Beltrán, C. Landim

Abstract: We proposed in \cite{bl2} a new approach to prove the metastable behavior of reversible dynamics based on potential theory and local ergodicity. In this article we extend this theory to nonreversible dynamics based on the Dirichlet principle proved in \cite{gl2}. We proposed in \cite{bl2} a new approach to prove the metastable behavior of reversible dynamics based on potential theory and local ergodicity. In this article we extend this theory to nonreversible dynamics based on the Dirichlet principle proved in \cite{gl2}. △ Less

Submitted 2 May, 2012; originally announced May 2012.

Non-adiabatic effects during the dissociative adsorption of O2 at Ag(111)? A first-principles divide and conquer study

Authors: Itziar Goikoetxea, Juan Beltrán, Jörg Meyer, J. Iñaki Juaristi, Maite Alducin, Karsten Reuter

Abstract: We study the gas-surface dynamics of O2 at Ag(111) with the particular objective to unravel whether electronic non-adiabatic effects are contributing to the experimentally established inertness of the surface with respect to oxygen uptake. We employ a first-principles divide and conquer approach based on an extensive density-functional theory mapping of the adiabatic potential energy surface (PES)… ▽ More We study the gas-surface dynamics of O2 at Ag(111) with the particular objective to unravel whether electronic non-adiabatic effects are contributing to the experimentally established inertness of the surface with respect to oxygen uptake. We employ a first-principles divide and conquer approach based on an extensive density-functional theory mapping of the adiabatic potential energy surface (PES) along the six O2 molecular degrees of freedom. Neural networks are subsequently used to interpolate this grid data to a continuous representation. The low computational cost with which forces are available from this PES representation allows then for a sufficiently large number of molecular dynamics trajectories to quantitatively determine the very low initial dissociative sticking coefficient at this surface. Already these adiabatic calculations yield dissociation probabilities close to the scattered experimental data. Our analysis shows that this low reactivity is governed by large energy barriers in excess of 1.1 eV very close to the surface. Unfortunately, these adiabatic PES characteristics render the dissociative sticking a rather insensitive quantity with respect to a potential spin or charge non-adiabaticity in the O2-Ag(111) interaction. We correspondingly attribute the remaining deviations between the computed and measured dissociation probabilities primarily to unresolved experimental issues with respect to surface imperfections. △ Less

Submitted 26 January, 2012; originally announced January 2012.

Comments: 18 pages including 6 figures

Journal ref: New J. Phys. 14, 013050 (2012)

Tunneling of the Kawasaki dynamics at low temperatures in two dimensions

Authors: J. Beltrán, C. Landim

Abstract: Consider a lattice gas evolving according to the conservative Kawasaki dynamics at inverse temperature $β$ on a two dimensional torus $Λ_L=\{0,..., L-1\}^2$ . We prove the tunneling behavior of the process among the states of minimal energy. More precisely, assume that there are $n^2\ll L$ particles and that the initial state is the configuration in which all sites of the square… ▽ More Consider a lattice gas evolving according to the conservative Kawasaki dynamics at inverse temperature $β$ on a two dimensional torus $Λ_L=\{0,..., L-1\}^2$ . We prove the tunneling behavior of the process among the states of minimal energy. More precisely, assume that there are $n^2\ll L$ particles and that the initial state is the configuration in which all sites of the square $\mb x + \{0,..., n-1\}^2$ are occupied. We show that in the time scale $e^{2β}$ the process is close to a Markov process on $Λ_L$ which jumps from any site $\mb x$ to any other site $\mb y\not =\mb x$ at a strictly positive rate which can be expressed in terms of the jump rates of simple random walks. △ Less

Submitted 20 May, 2013; v1 submitted 13 September, 2011; originally announced September 2011.

Metastability of reversible finite state Markov processes

Authors: Johel Beltran, Claudio Landim

Abstract: We prove the metastable behavior of reversible Markov processes on finite state spaces under minimal conditions on the jump rates. To illustrate the result we deduce the metastable behavior of the Ising model with a small magnetic field at very low temperature. We prove the metastable behavior of reversible Markov processes on finite state spaces under minimal conditions on the jump rates. To illustrate the result we deduce the metastable behavior of the Ising model with a small magnetic field at very low temperature. △ Less

Submitted 21 September, 2010; originally announced September 2010.

Metastability of reversible condensed zero range processes on a finite set

Authors: Johel Beltran, Claudio Landim

Abstract: Let $r: S\times S\to \bb R_+$ be the jump rates of an irreducible random walk on a finite set $S$, reversible with respect to some probability measure $m$. For $α>1$, let $g: \bb N\to \bb R_+$ be given by $g(0)=0$, $g(1)=1$, $g(k) = (k/k-1)^α$, $k\ge 2$. Consider a zero range process on $S$ in which a particle jumps from a site $x$, occupied by $k$ particles, to a site $y$ at rate $g(k) r(x,y)$.… ▽ More Let $r: S\times S\to \bb R_+$ be the jump rates of an irreducible random walk on a finite set $S$, reversible with respect to some probability measure $m$. For $α>1$, let $g: \bb N\to \bb R_+$ be given by $g(0)=0$, $g(1)=1$, $g(k) = (k/k-1)^α$, $k\ge 2$. Consider a zero range process on $S$ in which a particle jumps from a site $x$, occupied by $k$ particles, to a site $y$ at rate $g(k) r(x,y)$. Let $N$ stand for the total number of particles. In the stationary state, as $N\uparrow\infty$, all particles but a finite number accumulate on one single site. We show in this article that in the time scale $N^{1+α}$ the site which concentrates almost all particles evolves as a random walk on $S$ whose transition rates are proportional to the capacities of the underlying random walk. △ Less

Submitted 21 October, 2009; originally announced October 2009.

MSC Class: 60K35

Tunneling and Metastability of continuous time Markov chains

Authors: Johel Beltrán, Claudio Landim

Abstract: We propose a new definition of metastability of Markov processes on countable state spaces. We obtain sufficient conditions for a sequence of processes to be metastable. In the reversible case these conditions are expressed in terms of the capacity and of the stationary measure of the metastable states. We propose a new definition of metastability of Markov processes on countable state spaces. We obtain sufficient conditions for a sequence of processes to be metastable. In the reversible case these conditions are expressed in terms of the capacity and of the stationary measure of the metastable states. △ Less

Submitted 21 October, 2009; originally announced October 2009.

MSC Class: 60K35