-
Acceleration of Power System Dynamic Simulations using a Deep Equilibrium Layer and Neural ODE Surrogate
Authors:
Matthew Bossart,
Jose Daniel Lara,
Ciaran Roberts,
Rodrigo Henriquez-Auba,
Duncan Callaway,
Bri-Mathias Hodge
Abstract:
The dominant paradigm for power system dynamic simulation is to build system-level simulations by combining physics-based models of individual components. The sheer size of the system along with the rapid integration of inverter-based resources exacerbates the computational burden of running time domain simulations. In this paper, we propose a data-driven surrogate model based on implicit machine…
▽ More
The dominant paradigm for power system dynamic simulation is to build system-level simulations by combining physics-based models of individual components. The sheer size of the system along with the rapid integration of inverter-based resources exacerbates the computational burden of running time domain simulations. In this paper, we propose a data-driven surrogate model based on implicit machine learning -- specifically deep equilibrium layers and neural ordinary differential equations -- to learn a reduced order model of a portion of the full underlying system. The data-driven surrogate achieves similar accuracy and reduction in simulation time compared to a physics-based surrogate, without the constraint of requiring detailed knowledge of the underlying dynamic models. This work also establishes key requirements needed to integrate the surrogate into existing simulation workflows; the proposed surrogate is initialized to a steady state operating point that matches the power flow solution by design.
△ Less
Submitted 10 May, 2024;
originally announced May 2024.
-
PowerSimulations.jl -- A Power Systems operations simulation Library
Authors:
Jose Daniel Lara,
Clayton Barrows,
Daniel Thom,
Sourabh Dalvi,
Duncan S. Callaway,
Dheepak Krishnamurthy
Abstract:
PowerSimulations.jl is a Julia-based BSD-licensed power system operations simulation tool developed as a flexible and open source software for quasi-static power systems simulations including Production Cost Models. PowerSimulations.jl tackles the issues of develo** a simulation model in a modular way providing tools for the formulation of decision models and emulation models that can be solved…
▽ More
PowerSimulations.jl is a Julia-based BSD-licensed power system operations simulation tool developed as a flexible and open source software for quasi-static power systems simulations including Production Cost Models. PowerSimulations.jl tackles the issues of develo** a simulation model in a modular way providing tools for the formulation of decision models and emulation models that can be solved independently or in an interconnected fashion. This paper discusses the software implementation of PowerSimulations.jl as a template for the development and implementation of operation simulators, providing solutions to commonly encountered issues like time series read/write and results sharing between models. The paper includes a publicly-available validation of classical operations simulations as well as examples of the advanced features of the software.
△ Less
Submitted 3 April, 2024;
originally announced April 2024.
-
PowerSimulationsDynamics.jl -- An Open Source Modeling Package for Modern Power Systems with Inverter-Based Resources
Authors:
Jose Daniel Lara,
Rodrigo Henriquez-Auba,
Matthew Bossart,
Duncan S. Callaway,
Clayton Barrows
Abstract:
In this paper we present the development of an open-source simulation toolbox, PowerSimulationsDynamics.jl, to study the dynamic response of power systems, focusing on the requirements to model systems with high penetrations of Inverter-Based Resources (IBRs). PowerSimulationsDynamics.jl is implemented in Julia and features a rich library of synchronous generator, inverter, and load models. In add…
▽ More
In this paper we present the development of an open-source simulation toolbox, PowerSimulationsDynamics.jl, to study the dynamic response of power systems, focusing on the requirements to model systems with high penetrations of Inverter-Based Resources (IBRs). PowerSimulationsDynamics.jl is implemented in Julia and features a rich library of synchronous generator, inverter, and load models. In addition, it allows the study of quasi-static phasors and electromagnetic dq models that use a dynamic network representation. Case studies and validation exercises show that PowerSimulationsDynamics.jl results closely match other commercial and open-source simulation tools.
△ Less
Submitted 25 March, 2024; v1 submitted 5 August, 2023;
originally announced August 2023.
-
Position as an independent variable and the emergence of the $1/2$-time fractional derivative in quantum mechanics
Authors:
Marcus W Beims,
Arlans JS Lara
Abstract:
Using the position as an independent variable, and time as the dependent variable, we derive the function ${\cal P}^{(\pm)}$, which generates the space evolution under the potential ${\cal V}(q)$ and Hamiltonian ${\cal H}$. Canonically conjugated variables are the time and minus the Hamiltonian. While the classical dynamics do not change, the corresponding quantum operator naturally leads to a…
▽ More
Using the position as an independent variable, and time as the dependent variable, we derive the function ${\cal P}^{(\pm)}$, which generates the space evolution under the potential ${\cal V}(q)$ and Hamiltonian ${\cal H}$. Canonically conjugated variables are the time and minus the Hamiltonian. While the classical dynamics do not change, the corresponding quantum operator naturally leads to a $1/2-$fractional time evolution, consistent with a recently proposed spacetime symmetric formalism of quantum mechanics. Using Dirac's procedure, separation of variables is possible, and while the coupled position-independent Dirac equations depend on the $1/2$-fractional derivative, the coupled time-independent Dirac equations (TIDE) lead to positive and negative shifts in the potential, proportional to the force. Both equations couple the ($\pm$) solutions of ${\cal \hat P}^{(\pm)}$ and the kinetic energy ${\cal K}_0$ is the coupling strength. We obtain a pair of coupled states for systems with finite forces. The potential shifts for the harmonic oscillator (HO) are $\pm\hbarω/2$, and the corresponding pair of states are coupled for ${\cal K}_0\ne 0$. No time evolution is present for ${\cal K}_0=0$, and the ground state with energy $\hbarω/2$ is stable. For ${\cal K}_0>0$, the ground state becomes coupled to the state with energy $-\hbarω/2$, and \textit{this coupling} allows to describe higher excited states. Energy quantization of the HO leads to quantization of ${\cal K}_0=k\hbarω$ ($k=1,2,\ldots$). For the one-dimensional Hydrogen atom, the potential shifts become imaginary and position-dependent. Decoupled case ${\cal K}_0=0$ leads to plane-waves-like solutions at the threshold. Above the threshold, we obtain a plane-wave-like solution, and for the bounded states the wave-function becomes similar to the exact solutions but squeezed closer to the nucleus.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Revisiting Power Systems Time-domain Simulation Methods and Models
Authors:
Jose Daniel Lara,
Rodrigo Henriquez-Auba,
Deepak Ramasubramanian,
Sairaj Dhople,
Duncan S. Callaway,
Seth Sanders
Abstract:
The changing nature of power systems dynamics is challenging present practices related to modeling and study of system-level dynamic behavior. While develo** new techniques and models to handle the new modeling requirements, it is also critical to review some of the terminology used to describe existing simulation approaches and the embedded assumptions. This paper provides a first-principles re…
▽ More
The changing nature of power systems dynamics is challenging present practices related to modeling and study of system-level dynamic behavior. While develo** new techniques and models to handle the new modeling requirements, it is also critical to review some of the terminology used to describe existing simulation approaches and the embedded assumptions. This paper provides a first-principles review of the simplifications and transformation commonly used in the formulation of time-domain simulation models. It introduces a taxonomy and classification of time-domain simulation models depending on their frequency bandwidth, network representation, and software availability. Furthermore, it focuses on the fundamental aspects of averaging techniques, and model reduction approaches that result in modeling choices, and discusses the associated challenges and opportunities of applying these methods in systems with large shares of Inverter Based Resources (IBRs). The paper concludes with an illustrative simulation that compares the trajectories of an IBR-dominated system.
△ Less
Submitted 14 June, 2023; v1 submitted 24 January, 2023;
originally announced January 2023.
-
Fractional integrodifferential equations and (anti-)hermiticity of time in a spacetime-symmetric extension of nonrelativistic Quantum Mechanics
Authors:
Arlans JS de Lara,
Marcus W Beims
Abstract:
Time continues to be an intriguing physical property in the modern era. On the one hand, we have the Classical and Relativistic notion of time, where space and time have the same hierarchy, which is essential in describing events in spacetime. On the other hand, in Quantum Mechanics, time appears as a classical parameter, meaning that it does not have an uncertainty relation with its canonical con…
▽ More
Time continues to be an intriguing physical property in the modern era. On the one hand, we have the Classical and Relativistic notion of time, where space and time have the same hierarchy, which is essential in describing events in spacetime. On the other hand, in Quantum Mechanics, time appears as a classical parameter, meaning that it does not have an uncertainty relation with its canonical conjugate. In this work, we use a recent proposed spacetime-symmetric formalism~\href{https://doi.org/10.1103/PhysRevA.95.032133}{[Phys.~Rev.~A {\bf 95}, 032133 (2017)]} that tries to solve the unbalance in nonrelativistic Quantum Mechanics by extending the usual Hilbert space. The time parameter $t$ and the position operator $\hat{X}$ in one subspace, and the position parameter $x$ and time operator $\mathbb{T}$ in the other subspace. Time as an operator is better suitable for describing tunnelling processes. We then solve the novel $1/2$-fractional integrodifferential equation for a particle subjected to strong and weak potential limits and obtain an analytical expression for the tunnelling time through a rectangular barrier. We compare to previous works, obtaining pure imaginary times for energies below the barrier and a fast-decaying imaginary part for energies above the barrier, indicating the anti-hermiticity of the time operator for tunnelling times. We also show that the expected time of arrival in the tunnelling problem has the form of an energy average of the classical times of arrival plus a quantum contribution.
△ Less
Submitted 27 December, 2022; v1 submitted 26 December, 2022;
originally announced December 2022.
-
Small-Signal Stability Impacts of Load and Network Dynamics on Grid-Forming Inverters
Authors:
Rodrigo Henriquez-Auba,
Jose Daniel Lara,
Duncan S. Callaway
Abstract:
This paper presents several stability analyses for grid-forming inverters and synchronous generators considering the dynamics of transmission lines and different load models. Load models are usually of secondary importance compared to generation source models, but as the results show, they play a crucial role in stability studies with the introduction of inverter-based resources. Given inverter co…
▽ More
This paper presents several stability analyses for grid-forming inverters and synchronous generators considering the dynamics of transmission lines and different load models. Load models are usually of secondary importance compared to generation source models, but as the results show, they play a crucial role in stability studies with the introduction of inverter-based resources. Given inverter control time scales, the implications of considering or neglecting electromagnetic transients of the network are very relevant in the stability assessments. In this paper, we perform eigenvalue analyses for inverter-based resources and synchronous machines connected to a load and explore the effects of multiples models under different network representations. We explore maximum loadability of inverter-based resources and synchronous machines, while analyzing the effects of load and network dynamic models on small-signal stability. The results show that the network representation plays a fundamental role in the stability of the system of different load models. The resulting stability regions are significantly different depending on the source and load model considered.
△ Less
Submitted 26 February, 2024; v1 submitted 15 December, 2022;
originally announced December 2022.
-
Oscillation tomografy study of Earth's composition and density with atmospheric neutrinos
Authors:
Juan Carlos D'Olivo Saez,
José Arnulfo Herrera Lara,
Ismael Romero,
Oscar Alfredo Sampayo
Abstract:
Knowledge of the composition of the Earth's interior is highly relevant to many geophysical and geochemical problems. Neutrino oscillations are modified in a non-trivial way by the matter effects and can provide valuable and unique information not only on the density but also on the chemical and isotopic composition of the deep regions of the planet. In this paper, we re-examine the possibility of…
▽ More
Knowledge of the composition of the Earth's interior is highly relevant to many geophysical and geochemical problems. Neutrino oscillations are modified in a non-trivial way by the matter effects and can provide valuable and unique information not only on the density but also on the chemical and isotopic composition of the deep regions of the planet. In this paper, we re-examine the possibility of performing an oscillation tomography of the Earth with atmospheric neutrinos and antineutrinos to obtain information on the composition and density of the outer core and the mantle, complementary to that obtained by geophysical methods. Particular attention is paid to the D$^{\prime \prime}$ layer just above the core-mantle boundary and to the water (hydrogen) content in the mantle transition zone. Our analysis is based on a Monte-Carlo simulation of the energy and azimuthal angle distribution of $μ$-like events generated by neutrinos. Taking as reference a model of the Earth consisting of 55 concentric layers with constant densities determined from the PREM, we evaluate the effect on the number of events due to changes in the composition and density of the outer core and the mantle. To examine the capacity of a detector like ORCA to resolve such variations, we construct regions in planes of two of these quantities where the statistical significance of the discrepancies between the reference and the modified Earth are less than $1σ$. The variations are implemented in such a way that the constraint imposed by both the total mass of the Earth and its moment of inertia are verified.
△ Less
Submitted 23 July, 2022;
originally announced July 2022.
-
Gamma/Hadron Separation with the HAWC Observatory
Authors:
R. Alfaro,
C. Alvarez,
J. D. Álvarez,
J. R. Angeles Camacho,
J. C. Arteaga-Velázquez,
D. Avila Rojas,
H. A. Ayala Solares,
R. Babu,
E. Belmont-Moreno,
C. Brisbois,
K. S. Caballero-Mora,
T. Capistrán,
A. Carramiñana,
S. Casanova,
O. Chaparro-Amaro,
U. Cotti,
J. Cotzomi,
S. Coutiño de León,
E. De la Fuente,
C. de León,
R. Diaz Hernandez,
B. L. Dingus,
M. A. DuVernois,
M. Durocher,
J. C. Díaz-Vélez
, et al. (68 additional authors not shown)
Abstract:
The High Altitude Water Cherenkov (HAWC) gamma-ray observatory observes atmospheric showers produced by incident gamma rays and cosmic rays with energy from 300 GeV to more than 100 TeV. A crucial phase in analyzing gamma-ray sources using ground-based gamma-ray detectors like HAWC is to identify the showers produced by gamma rays or hadrons. The HAWC observatory records roughly 25,000 events per…
▽ More
The High Altitude Water Cherenkov (HAWC) gamma-ray observatory observes atmospheric showers produced by incident gamma rays and cosmic rays with energy from 300 GeV to more than 100 TeV. A crucial phase in analyzing gamma-ray sources using ground-based gamma-ray detectors like HAWC is to identify the showers produced by gamma rays or hadrons. The HAWC observatory records roughly 25,000 events per second, with hadrons representing the vast majority ($>99.9\%$) of these events. The standard gamma/hadron separation technique in HAWC uses a simple rectangular cut involving only two parameters. This work describes the implementation of more sophisticated gamma/hadron separation techniques, via machine learning methods (boosted decision trees and neural networks), and summarizes the resulting improvements in gamma/hadron separation obtained in HAWC.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
On Gegenbauer Point Processes on the unit interval
Authors:
Carlos Beltrán,
Antonia M. Delgado,
Lidia Fernández,
Joaquín F. Sánchez Lara
Abstract:
In this note we compute the logarithmic energy of points in the unit interval $[-1,1]$ chosen from different Gegenbauer Determinantal Point Processes. We check that all the different families of Gegenbauer polynomials yield the same asymptotic result to third order, we compute exactly the value for Chebyshev polynomials and we give a closed expresion for the minimal possible logarithmic energy. Th…
▽ More
In this note we compute the logarithmic energy of points in the unit interval $[-1,1]$ chosen from different Gegenbauer Determinantal Point Processes. We check that all the different families of Gegenbauer polynomials yield the same asymptotic result to third order, we compute exactly the value for Chebyshev polynomials and we give a closed expresion for the minimal possible logarithmic energy. The comparison suggests that DPPs cannot match the value of the minimum beyond the third asymptotic term.
△ Less
Submitted 12 October, 2021;
originally announced October 2021.
-
Deep Bag-of-Sub-Emotions for Depression Detection in Social Media
Authors:
Juan S. Lara,
Mario Ezra Aragon,
Fabio A. Gonzalez,
Manuel Montes-y-Gomez
Abstract:
This paper presents the Deep Bag-of-Sub-Emotions (DeepBoSE), a novel deep learning model for depression detection in social media. The model is formulated such that it internally computes a differentiable Bag-of-Features (BoF) representation that incorporates emotional information. This is achieved by a reinterpretation of classical weighting schemes like term frequency-inverse document frequency…
▽ More
This paper presents the Deep Bag-of-Sub-Emotions (DeepBoSE), a novel deep learning model for depression detection in social media. The model is formulated such that it internally computes a differentiable Bag-of-Features (BoF) representation that incorporates emotional information. This is achieved by a reinterpretation of classical weighting schemes like term frequency-inverse document frequency into probabilistic deep learning operations. An important advantage of the proposed method is that it can be trained under the transfer learning paradigm, which is useful to enhance conventional BoF models that cannot be directly integrated into deep learning architectures. Experiments were performed in the eRisk17 and eRisk18 datasets for the depression detection task; results show that DeepBoSE outperforms conventional BoF representations and it is competitive with the state of the art, achieving a F1-score over the positive class of 0.64 in eRisk17 and 0.65 in eRisk18.
△ Less
Submitted 1 March, 2021;
originally announced March 2021.
-
Grid-Coupled Dynamic Response of Battery-Driven Voltage Source Converters
Authors:
Ciaran Roberts,
Jose Daniel Lara,
Rodrigo Henriquez-Auba,
Bala Kameshwar Poolla,
Duncan S. Callaway
Abstract:
With the increasing interest in converter-fed islanded microgrids, particularly for resilience, it is becoming more critical to understand the dynamical behavior of these systems. This paper takes a holistic view of grid-forming converters and considers control approaches for both modeling and regulating the DC-link voltage when the DC-source is a battery energy storage system. We are specifically…
▽ More
With the increasing interest in converter-fed islanded microgrids, particularly for resilience, it is becoming more critical to understand the dynamical behavior of these systems. This paper takes a holistic view of grid-forming converters and considers control approaches for both modeling and regulating the DC-link voltage when the DC-source is a battery energy storage system. We are specifically interested in understanding the performance of these controllers, subject to large load changes, for decreasing values of the DC-side capacitance. We consider a fourth, second, and zero-order model of the battery; and establish that the zero-order model captures the dynamics of interest for the timescales considered for disturbances examined. Additionally, we adapt a grid search for optimizing the controller parameters of the DC/DC controller and show how the inclusion of AC side measurements into the DC/DC controller can improve its dynamic performance. This improvement in performance offers the opportunity to reduce the DC-side capacitance given an admissible DC voltage transient deviation, thereby, potentially allowing for more reliable capacitor technology to be deployed.
△ Less
Submitted 28 July, 2020; v1 submitted 22 July, 2020;
originally announced July 2020.
-
Dissimilarity Mixture Autoencoder for Deep Clustering
Authors:
Juan S. Lara,
Fabio A. González
Abstract:
The dissimilarity mixture autoencoder (DMAE) is a neural network model for feature-based clustering that incorporates a flexible dissimilarity function and can be integrated into any kind of deep learning architecture. It internally represents a dissimilarity mixture model (DMM) that extends classical methods like K-Means, Gaussian mixture models, or Bregman clustering to any convex and differenti…
▽ More
The dissimilarity mixture autoencoder (DMAE) is a neural network model for feature-based clustering that incorporates a flexible dissimilarity function and can be integrated into any kind of deep learning architecture. It internally represents a dissimilarity mixture model (DMM) that extends classical methods like K-Means, Gaussian mixture models, or Bregman clustering to any convex and differentiable dissimilarity function through the reinterpretation of probabilities as neural network representations. DMAE can be integrated with deep learning architectures into end-to-end models, allowing the simultaneous estimation of the clustering and neural network's parameters. Experimental evaluation was performed on image and text clustering benchmark datasets showing that DMAE is competitive in terms of unsupervised classification accuracy and normalized mutual information. The source code with the implementation of DMAE is publicly available at: https://github.com/juselara1/dmae
△ Less
Submitted 15 July, 2021; v1 submitted 15 June, 2020;
originally announced June 2020.
-
Computational Experiment Design for Operations Model Simulation
Authors:
Jose Daniel Lara,
Jonathan T. Lee,
Duncan Callaway,
Bri-Mathias Hodge
Abstract:
Computer simulations that demonstrate the valueof novel approaches are crucial to develo** more flexibleand robust power systems operations with high penetrations ofrenewable energy at multiple geographic and temporal scales.However, optimization-based simulations that depend on forecastdata often face challenges in evaluating performance, reproducingresults, and testing under realistic simulati…
▽ More
Computer simulations that demonstrate the valueof novel approaches are crucial to develo** more flexibleand robust power systems operations with high penetrations ofrenewable energy at multiple geographic and temporal scales.However, optimization-based simulations that depend on forecastdata often face challenges in evaluating performance, reproducingresults, and testing under realistic simulation scenarios. In thispaper, we develop scientific computing best-practices for thevalidation and reproduction of power systems operational models.We then employ two case studies to demonstrate the proposedvalidation and reproduction framework.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
LITS.jl -- An Open-Source Julia based Simulation Toolbox for Low-Inertia Power Systems
Authors:
Rodrigo Henriquez-Auba,
Jose D. Lara,
Ciaran Roberts,
Nathan Pallo,
Duncan S. Callaway
Abstract:
The integration of converter-interfaced generation (CIG) from renewable energy sources poses challenges to the stability and transient behavior of electric power systems. Understanding the dynamic behavior of low-inertia power systems is critical to addressing these stability questions. However, there is a limited availability of open source tools explicitly geared towards low-inertia systems mode…
▽ More
The integration of converter-interfaced generation (CIG) from renewable energy sources poses challenges to the stability and transient behavior of electric power systems. Understanding the dynamic behavior of low-inertia power systems is critical to addressing these stability questions. However, there is a limited availability of open source tools explicitly geared towards low-inertia systems modeling. In this paper, we develop an open source simulation toolbox to study transient responses under high penetration scenarios. LITS.jl is implemented in the Julia computing language and features multi-machine modeling capability, a rich library of synchronous generators components (AVR, PSS, Governor, etc.) and inverter configurations. Several case studies are conducted and benchmarked and validated against existing toolboxes. Case studies are selected to showcase the integration of different device models' behavior in power systems.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Scaled Fixed Point Algorithm for Computing the Matrix Square Root
Authors:
Harry F. Oviedo,
Hugo J. Lara,
Oscar S. Dalmau
Abstract:
This paper addresses the numerical solution of the matrix square root problem. Two fixed point iterations are proposed by rearranging the nonlinear matrix equation $A - X^2 = 0$ and incorporating a positive scaling parameter. The proposals only need to compute one matrix inverse and at most two matrix multiplications per iteration. A global convergence result is established. The numerical comparis…
▽ More
This paper addresses the numerical solution of the matrix square root problem. Two fixed point iterations are proposed by rearranging the nonlinear matrix equation $A - X^2 = 0$ and incorporating a positive scaling parameter. The proposals only need to compute one matrix inverse and at most two matrix multiplications per iteration. A global convergence result is established. The numerical comparisons versus some existing methods from the literature, on several test problems, demonstrate the efficiency and effectiveness of our proposals.
△ Less
Submitted 18 February, 2020;
originally announced February 2020.
-
Competition between magnetic order and charge localization in Na$_2$IrO$_3$ thin crystal devices
Authors:
Josue Rodriguez,
Gilbert Lopez,
Samantha Crouch,
Nicholas P. Breznay,
Robert Kealhofer,
Vikram Nagarajan,
Drew Latzke,
Francisco Ramirez,
Naomy Marrufo,
Peter Santiago,
Jared Lara,
Amirari Diego,
Everardo Molina,
David Rosser,
Hadi Tavassol,
Alessandra Lanzara,
James G. Analytis,
Claudia Ojeda-Aristizabal
Abstract:
Spin orbit assisted Mott insulators such as sodium iridate (Na$_2$IrO$_3$) have been an important subject of study in the recent years. In these materials, the interplay of electronic correlations, spin-orbit coupling, crystal field effects and a honeycomb arrangement of ions bring exciting ground states, predicted in the frame of the Kitaev model. The insulating character of Na$_2$IrO$_3$ has ham…
▽ More
Spin orbit assisted Mott insulators such as sodium iridate (Na$_2$IrO$_3$) have been an important subject of study in the recent years. In these materials, the interplay of electronic correlations, spin-orbit coupling, crystal field effects and a honeycomb arrangement of ions bring exciting ground states, predicted in the frame of the Kitaev model. The insulating character of Na$_2$IrO$_3$ has hampered its integration to an electronic device, desirable for applications, such as the manipulation of quasiparticles interesting for topological quantum computing. Here we show through electronic transport measurements supported by Angle Resolved Photoemission Spectroscopy (ARPES) experiments, that electronic transport in Na$_2$IrO$_3$ is ruled by variable range hop** and it is strongly dependent on the magnetic ordering transition known for bulk Na$_2$IrO$_3$, as well as on external electric fields. Electronic transport measurements allow us to deduce a value for the localization length and the density of states in our Na$_2$IrO$_3$ thin crystals devices, offering an alternative approach to study insulating layered materials.
△ Less
Submitted 11 February, 2020;
originally announced February 2020.
-
The Advent of Technological Singularity: a Formal Metric
Authors:
Juan A. Lara,
David Lizcano,
María A. Martínez,
Juan Pazos
Abstract:
The Technological Singularity; that is, the possibility of achieving a General Artificial Intelligence (AGI) that surpasses human intelligence, is one of the vital paradigms of today's humanity. However, until now only opinions about its possibility and/or achievement were issued, therefore, in this work, a metric is presented, for the first time, to objectively measure the actual state in which t…
▽ More
The Technological Singularity; that is, the possibility of achieving a General Artificial Intelligence (AGI) that surpasses human intelligence, is one of the vital paradigms of today's humanity. However, until now only opinions about its possibility and/or achievement were issued, therefore, in this work, a metric is presented, for the first time, to objectively measure the actual state in which the advent of technological singularity is found.
△ Less
Submitted 25 June, 2019;
originally announced July 2019.
-
Ann: A domain-specific language for the effective design and validation of Java annotations
Authors:
Irene Córdoba,
Juan de Lara
Abstract:
This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are not conceived in isolation, but in groups, with dependency and integrity constraints between the…
▽ More
This paper describes a new modelling language for the effective design and validation of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are not conceived in isolation, but in groups, with dependency and integrity constraints between them. However, the native support provided by Java for expressing this design is very limited.
To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annotations, we propose a domain-specific modelling language. The proposal has been implemented as an Eclipse plug-in, including an editor and an integrated code generator that synthesises annotation processors. The environment also integrates a model finder, able to detect unsatisfiable constraints between different annotations, and to provide examples of correct annotation usages for validation. The language has been tested using a real set of annotations from the Java Persistence API (JPA). Within this subset we have found enough rich semantics expressible with Ann and omitted nowadays by the Java language, which shows the benefits of Ann in a relevant field of application.
△ Less
Submitted 2 December, 2018;
originally announced December 2018.
-
A modelling language for the effective design of Java annotations
Authors:
Irene Córdoba,
Juan de Lara
Abstract:
This paper describes a new modelling language for the effective design of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are conceived as sets with dependency and integrity constraints within them; however, the native support provided b…
▽ More
This paper describes a new modelling language for the effective design of Java annotations. Since their inclusion in the 5th edition of Java, annotations have grown from a useful tool for the addition of meta-data to play a central role in many popular software projects. Usually they are conceived as sets with dependency and integrity constraints within them; however, the native support provided by Java for expressing this design is very limited. To overcome its deficiencies and make explicit the rich conceptual model which lies behind a set of annotations, we propose a domain-specific modelling language. The proposal has been implemented as an Eclipse plug-in, including an editor and an integrated code generator that synthesises annotation processors. The language has been tested using a real set of annotations from the Java Persistence API (JPA). It has proven to cover a greater scope with respect to other related work in different shared areas of application.
△ Less
Submitted 10 July, 2018;
originally announced July 2018.
-
Equilibrium problems in weakly admissible external fields created by pointwise charges
Authors:
Ramón Orive,
Joaquín F. Sánchez Lara,
Franck Wielonsky
Abstract:
The main subject of this paper is equilibrium problems on an unbounded conductor $Σ$ of the complex plane in the presence of a weakly admissible external field. An admissible external field $Q$ on $Σ$ satisfies, along with other mild conditions, the following growth property at infinity: $$\lim_{|x| \rightarrow \infty}(Q(x) - \log |x|) = +\infty.$$ This condition guarantees the existence and uniqu…
▽ More
The main subject of this paper is equilibrium problems on an unbounded conductor $Σ$ of the complex plane in the presence of a weakly admissible external field. An admissible external field $Q$ on $Σ$ satisfies, along with other mild conditions, the following growth property at infinity: $$\lim_{|x| \rightarrow \infty}(Q(x) - \log |x|) = +\infty.$$ This condition guarantees the existence and uniqueness of the equilibrium measure in the presence of $Q$, and the compactness of its support. In the last 10-15 years, several papers have dealt with weakly admissible external fields, in the sense that $Q$ satisfies a weaker condition at infinity, namely, $$\exists M\in(-\infty,\infty],\quad\liminf_{|x| \rightarrow \infty}(Q(x) - \log |x|) = M.$$ Under this last assumption, there still exists a unique equilibrium measure in the external field $Q$, but the support need not be a compact subset of $Σ$ anymore. In most examples considered in the literature the support is indeed unbounded. Our main goal in this paper is to illustrate this topic by means of a simple class of external fields on the real axis created by a pair of attractive and repellent charges in the complex plane, and to study the dynamics of the associated equilibrium measures as the strength of the charges evolves. As one of our findings, we exhibit configurations where the support of the equilibrium measure in a weakly admissible external field is a compact subset of the real axis. To achieve our goal, we extend some results from potential theory, known for admissible external fields, to the weakly admissible case. These new results may be of independent interest. Finally, the so--called signed equilibrium measure is an important tool in our analysis. Its relationship with the (positive) equilibrium measure is also explored.
△ Less
Submitted 7 March, 2019; v1 submitted 4 May, 2018;
originally announced May 2018.
-
A direct proof of F. Riesz representation Theorem
Authors:
Rafael del Rio,
Asaf Franco,
Jose Lara
Abstract:
A direct proof of the Riesz representation theorem is provided. This theorem characterizes the linear functionals acting on the vector space $C(K)$ of continuous functions defined on a compact subset $K$ of the real numbers $\mathbb{R}$. This proof avoids complicated arguments commonly used in generalizations of Riesz original theorem.
A direct proof of the Riesz representation theorem is provided. This theorem characterizes the linear functionals acting on the vector space $C(K)$ of continuous functions defined on a compact subset $K$ of the real numbers $\mathbb{R}$. This proof avoids complicated arguments commonly used in generalizations of Riesz original theorem.
△ Less
Submitted 5 July, 2017; v1 submitted 15 June, 2016;
originally announced June 2016.
-
Equilibrium measures in the presence of weak rational external fields
Authors:
Ramon Orive,
Joaquin F. Sanchez Lara
Abstract:
In this paper equilibrium measures in the presence of external fields created by fixed charges are analyzed. These external fields are a particular case of the so-called rational external fields (in the sense that their derivatives are rational functions). Along with some general results, a thorough analysis of the particular case of two fixed negative charges (``attractors') is presented. As for…
▽ More
In this paper equilibrium measures in the presence of external fields created by fixed charges are analyzed. These external fields are a particular case of the so-called rational external fields (in the sense that their derivatives are rational functions). Along with some general results, a thorough analysis of the particular case of two fixed negative charges (``attractors') is presented. As for the main tools used, this paper is a natural continuation of \cite{MOR2015}, where polynomial external fields were thoroughly studied, and \cite{OrSL2015}, where rational external fields with a polynomial part were considered. However, the absence of the polynomial part in the external fields analyzed in the current paper adds a considerable difficulty to solve the problem and justifies its separated treatment; moreover, it is noteworthy to point out the simplicity and beauty of the results obtained.
△ Less
Submitted 6 May, 2016;
originally announced May 2016.
-
Equilibrium measures in the presence of certain rational external fields
Authors:
Ramón Orive,
Joaquín Sánchez Lara
Abstract:
Equilibrium measures in the real axis in the presence of rational external fields are considered. These external fields are called rational since their derivatives are rational functions. We analyze the evolution of the equilibrium measure, and its support, when the size of the measure, $t$, or other parameters in the external field vary. Our analysis is illustrated by studying with detail the cas…
▽ More
Equilibrium measures in the real axis in the presence of rational external fields are considered. These external fields are called rational since their derivatives are rational functions. We analyze the evolution of the equilibrium measure, and its support, when the size of the measure, $t$, or other parameters in the external field vary. Our analysis is illustrated by studying with detail the case of a generalized Gauss-Penner model, which, in addition to its mathematical relevance, has important physical applications (in the framework of random matrix models). This paper is a natural continuation of \cite{MOR2013}, where equilibrium measures in the presence of polynomial external fields are thoroughly studied.
△ Less
Submitted 16 June, 2015; v1 submitted 2 June, 2014;
originally announced June 2014.
-
An Algebraic Formalization of the GoF Design Patterns
Authors:
Paolo Bottoni,
Esther Guerra,
Juan de Lara
Abstract:
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Being based on category theory, the approach can be applied to formalize patterns in diffe…
▽ More
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and exploits triple graphs to annotate model elements with pattern roles. Being based on category theory, the approach can be applied to formalize patterns in different domains. Novel in our proposal is the possibility of describing (nested) variable submodels, inter-pattern synchronization across several diagrams (e.g. class and sequence diagrams for UML design patterns), pattern composition, and conflict analysis.
△ Less
Submitted 17 March, 2010;
originally announced March 2010.
-
Matrix Graph Grammars and Monotone Complex Logics
Authors:
Pedro Pablo Perez Velasco,
Juan de Lara
Abstract:
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previous works, we introduced Matrix Graph Grammars (MGGs) as a purely algebraic approach for the study of graph grammars and graph dynamics, based on the representation of graphs by means of their adjacency matrices. MGGs h…
▽ More
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previous works, we introduced Matrix Graph Grammars (MGGs) as a purely algebraic approach for the study of graph grammars and graph dynamics, based on the representation of graphs by means of their adjacency matrices. MGGs have been succesfully applied to problems such as applicability of rule sequences, sequentialization and reachability, providing new analysis techniques and generalizing and improving previous results.
Our next objective is to generalize MGGs in order to approach computational complexity theory and "static" properties of graphs out of the "dynamics" of certain grammars. In the present work, we start building bridges between MGGs and complexity by introducing what we call "Monotone Complex Logic", which allows establishing a (bijective) link between MGGs and complex analysis. We use this logic to recast the formulation and basic building blocks of MGGs as more proper geometric and analytic concepts (scalar products, norms, distances). MGG rules can also be interpreted - via operators - as complex numbers. Interestingly, the subset they define can be characterized as the Sierpinski gasket.
△ Less
Submitted 5 February, 2009;
originally announced February 2009.
-
Pattern-based Model-to-Model Transformation: Long Version
Authors:
Juan de Lara,
Esther Guerra
Abstract:
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple graphs declaring the allowed or forbidden relationships between source and target models. In this way, a transformation is defined by specifying a set of triple graph constraints that should be satisfied by the result o…
▽ More
We present a new, high-level approach for the specification of model-to-model transformations based on declarative patterns. These are (atomic or composite) constraints on triple graphs declaring the allowed or forbidden relationships between source and target models. In this way, a transformation is defined by specifying a set of triple graph constraints that should be satisfied by the result of the transformation.
The description of the transformation is then compiled into lower-level operational mechanisms to perform forward or backward transformations, as well as to establish map**s between two existent models. In this paper we study one of such mechanisms based on the generation of operational triple graph grammar rules. Moreover, we exploit deduction techniques at the specification level to generate more specialized constraints (preserving the specification semantics) reflecting pattern dependencies, from which additional rules can be derived.
This is an extended version of the paper submitted to ICGT'08, with additional definitions and proofs.
△ Less
Submitted 30 May, 2008;
originally announced May 2008.
-
Inhomogeneous Big Bang Nucleosynthesis Revisited
Authors:
J. F. Lara,
T. Ka**o,
G. J. Mathews
Abstract:
We reanalyze the allowed parameters for inhomogeneous big bang nucleosynthesis in light of the WMAP constraints on the baryon-to-photon ratio and a recent measurement which has set the neutron lifetime to be 878.5 +/- 0.7 +/- 0.3 seconds. For a set baryon-to-photon ratio the new lifetime reduces the mass fraction of He4 by 0.0015 but does not significantly change the abundances of other isotopes…
▽ More
We reanalyze the allowed parameters for inhomogeneous big bang nucleosynthesis in light of the WMAP constraints on the baryon-to-photon ratio and a recent measurement which has set the neutron lifetime to be 878.5 +/- 0.7 +/- 0.3 seconds. For a set baryon-to-photon ratio the new lifetime reduces the mass fraction of He4 by 0.0015 but does not significantly change the abundances of other isotopes. This enlarges the region of concordance between He4 and deuterium in the parameter space of the baryon-to-photon ratio and the IBBN distance scale. The Li7 abundance can be brought into concordance with observed He4 and deuterium abundances by using depletion factors as high as 9.3. The WMAP constraints, however, severely limit the allowed comoving (T = 100 GK) inhomogeneity distance scale to (1.3 - 2.6)x10^5 cm.
△ Less
Submitted 14 April, 2006; v1 submitted 30 March, 2006;
originally announced March 2006.
-
Neutron Diffusion and Nucleosynthesis in an Inhomogeneous Big Bang Model
Authors:
Juan F. Lara
Abstract:
This article presents an original code for Big Bang Nucleosynthesis in a baryon inhomogeneous model of the universe. In this code neutron diffusion between high and low baryon density regions is calculated simultaneously with the nuclear reactions and weak decays that compose the nucleosynthesis process. The size of the model determines the time when neutron diffusion becomes significant. This a…
▽ More
This article presents an original code for Big Bang Nucleosynthesis in a baryon inhomogeneous model of the universe. In this code neutron diffusion between high and low baryon density regions is calculated simultaneously with the nuclear reactions and weak decays that compose the nucleosynthesis process. The size of the model determines the time when neutron diffusion becomes significant. This article describes in detail how the time of neutron diffusion relative to the time of nucleosynthesis affects the final abundances of He4, deuterium and Li7. These results will be compared with the most recent observational constraints of He4, deuterium and Li7. This inhomogeneous model has He4 and deuterium constraints in concordance for baryon to photon ratio eta = (4.3 - 12.3) X 10^{-10} Li7 constraints are brought into concordance with the other isotope constraints by including a depletion factor as high as 5.9. These ranges for the baryon to photon ratio and for the depletion factor are larger than the ranges from a Standard Big Bang Nucleosynthesis model.
△ Less
Submitted 15 July, 2005; v1 submitted 15 June, 2005;
originally announced June 2005.
-
Deuterium and Li7 Concordance in Inhomogeneous Big Bang Nucleosynthesis Models
Authors:
J. F. Lara
Abstract:
Recent observational constraints on primodial deuterium and Li7 correspond to different values of the baryon-to-photon ratio when applied to the Standard Big Bang Nucleosynthesis (SBBN) model. In this article these constraints are applied to baryon Inhomogeneous (IBBN) models. A depletion factor of 3.4 applied to the Li7 constraints will bring Li7, deuterium and He4 constraints in concordance fo…
▽ More
Recent observational constraints on primodial deuterium and Li7 correspond to different values of the baryon-to-photon ratio when applied to the Standard Big Bang Nucleosynthesis (SBBN) model. In this article these constraints are applied to baryon Inhomogeneous (IBBN) models. A depletion factor of 3.4 applied to the Li7 constraints will bring Li7, deuterium and He4 constraints in concordance for both the SBBN and IBBN models. A depletion factor of 6.1 will bring concordance for the IBBN model alone.
△ Less
Submitted 4 February, 2004;
originally announced February 2004.
-
Neutrino Heating in an Inhomogeneous Big Bang Nucleosynthesis Model
Authors:
J. F. Lara
Abstract:
The effect of the heating of neutrinos by scattering with electrons and positrons and by e-e+ annihilation on nucleosynthesis is calculated for a spherically symmetric baryon inhomogeneous model of the universe. The model has a high baryon density core and a low density outer region. The heating effect is calculated by solving the Boltzmann Transport Equation for the distribution functions of el…
▽ More
The effect of the heating of neutrinos by scattering with electrons and positrons and by e-e+ annihilation on nucleosynthesis is calculated for a spherically symmetric baryon inhomogeneous model of the universe. The model has a high baryon density core and a low density outer region. The heating effect is calculated by solving the Boltzmann Transport Equation for the distribution functions of electron and muon/tau neutrinos. For a range of baryon-to-photon ratio = [ 0, 1.5 ] x 10^-10 and distance scale = [ 10^2, 10^8 ] cm the heating effect increases the mass fraction of He4 by a range of [1, 2] x 10^-4. The change of the value of the mass fraction of He4 appears similiar to the change caused by an upward shift in the value of the baryon-to-photon ratio. But the change to deuterium is a decrease in abundance ratio Y(d)/Y(p) on the order of 10^-3, one order less than the decrease due to a shift in baryon-to-photon ratio.
△ Less
Submitted 18 July, 2001;
originally announced July 2001.
-
Neutron Diffusion and Nucleosynthesis in an Inhomogeneous Big Bang Model
Authors:
J. F. Lara
Abstract:
This article describes the production of primordial He4 nuclei in an inhomogeneous universe. The baryon distribution is spherically symmetric and consists of a high density inner region and a low density outer region. As the temperature decreases neutrons diffuse to the outer region until they are homogeneously distributed, and protons may be redistributed depending on how fast diffusion occurs.…
▽ More
This article describes the production of primordial He4 nuclei in an inhomogeneous universe. The baryon distribution is spherically symmetric and consists of a high density inner region and a low density outer region. As the temperature decreases neutrons diffuse to the outer region until they are homogeneously distributed, and protons may be redistributed depending on how fast diffusion occurs. Nucleosynthesis occurs earlier in the inner region and neutrons diffuse back to that region. The rapidity of diffusion determines how much He4 is ultimately produced.
△ Less
Submitted 11 January, 2001;
originally announced January 2001.
-
Comparison of Two Distinct BBN Codes
Authors:
Juan F. Lara
Abstract:
This paper compares the results of two SBBN codes developped independently by different teams of physicists. These two codes have significant differences that lead to a discrepency between their final mass fractions of Helium-4 of 0.003. This paper shows that the mass fractions of each code had different orders of convergence, and how the number of timesteps affects the accuracy of the mass frac…
▽ More
This paper compares the results of two SBBN codes developped independently by different teams of physicists. These two codes have significant differences that lead to a discrepency between their final mass fractions of Helium-4 of 0.003. This paper shows that the mass fractions of each code had different orders of convergence, and how the number of timesteps affects the accuracy of the mass fractions. At the end, the paper shows how to modify both codes so that their Helium-4 mass fractions agree to around 0.0001.
△ Less
Submitted 3 June, 1998;
originally announced June 1998.
-
Analysis of ``Gauge Modes'' in Linearized Relativity
Authors:
Richard A. Matzner,
Mijan Huq,
Alonso Botero,
Dae Il Choi,
Ullar Kask,
Juan Lara,
Steven Liebling,
David Neilsen,
Premana Premadi,
Deirdre Shoemaker
Abstract:
By writing the complete set of $3 + 1$ (ADM) equations for linearized waves, we are able to demonstrate the properties of the initial data and of the evolution of a wave problem set by Alcubierre and Schutz. We show that the gauge modes and constraint error modes arise in a straightforward way in the analysis, and are of a form which will be controlled in any well specified convergent computatio…
▽ More
By writing the complete set of $3 + 1$ (ADM) equations for linearized waves, we are able to demonstrate the properties of the initial data and of the evolution of a wave problem set by Alcubierre and Schutz. We show that the gauge modes and constraint error modes arise in a straightforward way in the analysis, and are of a form which will be controlled in any well specified convergent computational discretization of the differential equations.
△ Less
Submitted 14 July, 1996;
originally announced July 1996.