-
The VISTA Variables in the Vía Láctea eXtended (VVVX) ESO public survey: Completion of the observations and legacy
Authors:
R. K. Saito,
M. Hempel,
J. Alonso-García,
P. W. Lucas,
D. Minniti,
S. Alonso,
L. Baravalle,
J. Borissova,
C. Caceres,
A. N. Chené,
N. J. G. Cross,
F. Duplancic,
E. R. Garro,
M. Gómez,
V. D. Ivanov,
R. Kurtev,
A. Luna,
D. Majaess,
M. G. Navarro,
J. B. Pullen,
M. Rejkuba,
J. L. Sanders,
L. C. Smith,
P. H. C. Albino,
M. V. Alonso
, et al. (121 additional authors not shown)
Abstract:
The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in…
▽ More
The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in $JHK_{\rm s}$ filters from $2016-2023$. With the completion of VVVX observations during the first semester of 2023, we present here the observing strategy, a description of data quality and access, and the legacy of VVVX. VVVX took $\sim 2000$ hours, covering about 4% of the sky in the bulge and southern disk. VVVX covered most of the gaps left between the VVV and the VISTA Hemisphere Survey (VHS) areas and extended the VVV time baseline in the obscured regions affected by high extinction and hence hidden from optical observations. VVVX provides a deep $JHK_{\rm s}$ catalogue of $\gtrsim 1.5\times10^9$ point sources, as well as a $K_{\rm s}$ band catalogue of $\sim 10^7$ variable sources. Within the existing VVV area, we produced a $5D$ map of the surveyed region by combining positions, distances, and proper motions of well-understood distance indicators such as red clump stars, RR Lyrae, and Cepheid variables. In March 2023 we successfully finished the VVVX survey observations that started in 2016, an accomplishment for ESO Paranal Observatory upon 4200 hours of observations for VVV+VVVX. The VVV+VVVX catalogues complement those from the Gaia mission at low Galactic latitudes and provide spectroscopic targets for the forthcoming ESO high-multiplex spectrographs MOONS and 4MOST.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Algorithms for learning value-aligned policies considering admissibility relaxation
Authors:
Andrés Holgado-Sánchez,
Joaquín Arias,
Holger Billhardt,
Sascha Ossowski
Abstract:
The emerging field of \emph{value awareness engineering} claims that software agents and systems should be value-aware, i.e. they must make decisions in accordance with human values. In this context, such agents must be capable of explicitly reasoning as to how far different courses of action are aligned with these values. For this purpose, values are often modelled as preferences over states or a…
▽ More
The emerging field of \emph{value awareness engineering} claims that software agents and systems should be value-aware, i.e. they must make decisions in accordance with human values. In this context, such agents must be capable of explicitly reasoning as to how far different courses of action are aligned with these values. For this purpose, values are often modelled as preferences over states or actions, which are then aggregated to determine the sequences of actions that are maximally aligned with a certain value. Recently, additional value admissibility constraints at this level have been considered as well.
However, often relaxed versions of these constraints are needed, and this increases considerably the complexity of computing value-aligned policies. To obtain efficient algorithms that make value-aligned decisions considering admissibility relaxation, we propose the use of learning techniques, in particular, we have used constrained reinforcement learning algorithms. In this paper, we present two algorithms, $ε\text{-}ADQL$ for strategies based on local alignment and its extension $ε\text{-}CADQL$ for a sequence of decisions. We have validated their efficiency in a water distribution problem in a drought scenario.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
Authors:
Sopam Dasgupta,
Joaquín Arias,
Elmer Salazar,
Gopal Gupta
Abstract:
Machine learning models that automate decision-making are increasingly used in consequential areas such as loan approvals, pretrial bail approval, and hiring. Unfortunately, most of these models are black boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might also desire expl…
▽ More
Machine learning models that automate decision-making are increasingly used in consequential areas such as loan approvals, pretrial bail approval, and hiring. Unfortunately, most of these models are black boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might also desire explanations to understand why a decision was made. Ethical and legal considerations require informing the individual of changes in the input attribute (s) that could be made to produce a desirable outcome. Our work focuses on the latter problem of generating counterfactual explanations by considering the causal dependencies between features. In this paper, we present the framework CFGs, CounterFactual Generation with s(CASP), which utilizes the goal-directed Answer Set Programming (ASP) system s(CASP) to automatically generate counterfactual explanations from models generated by rule-based machine learning algorithms in particular. We benchmark CFGs with the FOLD-SE model. Reaching the counterfactual state from the initial state is planned and achieved using a series of interventions. To validate our proposal, we show how counterfactual explanations are computed and justified by imagining worlds where some or all factual assumptions are altered/changed. More importantly, we show how CFGs navigates between these worlds, namely, go from our initial state where we obtain an undesired outcome to the imagined goal state where we obtain the desired decision, taking into account the causal relationships among features.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
The extended Lipkin model: proposal for implementation in a quantum platform and machine learning analysis of its phase diagram
Authors:
S. Baid,
A. Sáiz,
L. Lamata,
P. Pérez-Fernández,
A. M. Romero,
A. Ríos,
J. M. Arias,
J. E. García-Ramos
Abstract:
We investigate the Extended Lipkin Model (ELM), whose phase diagram mirrors that of the Interacting Boson Approximation model (IBA). Unlike the standard Lipkin model, the ELM (as the IBA) features both first- and second-order quantum shape phase transitions depending on the model parameters. Our goal is to implement the ELM on a quantum platform, leveraging Machine Learning techniques to identify…
▽ More
We investigate the Extended Lipkin Model (ELM), whose phase diagram mirrors that of the Interacting Boson Approximation model (IBA). Unlike the standard Lipkin model, the ELM (as the IBA) features both first- and second-order quantum shape phase transitions depending on the model parameters. Our goal is to implement the ELM on a quantum platform, leveraging Machine Learning techniques to identify its quantum phase transitions and critical lines. To achieve this, we offer: i) ground state energy calculations using a variational quantum eigensolver; ii) a detailed formulation for ELM dynamics within quantum computing, facilitating experimental exploration of the IBA phase diagram; and iii) a phase diagram determination using various Machine Learning methods. We successfully replicate the ELM ground-state energy using the Adaptive Derivative-Assembled Pseudo-Trotter ansatz Variational Quantum Eigensolver (ADAPT-VQE) algorithm across the entire phase space. Our framework ensures ELM implementation on quantum platforms with controlled errors. Lastly, our ML predictions yield a meaningful phase diagram for the model.
Keywords: Quantum Platforms Nuclear Models ADAPT-VQE Quantum Shape Phase Transitions Interacting Boson Approximation Extended Lipkin Model Machine Learning
△ Less
Submitted 23 April, 2024;
originally announced April 2024.
-
Counterfactual Generation with Answer Set Programming
Authors:
Sopam Dasgupta,
Farhad Shakerin,
Joaquín Arias,
Elmer Salazar,
Gopal Gupta
Abstract:
Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail approval, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might…
▽ More
Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail approval, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might also desire explanations to understand why a decision was made. Ethical and legal considerations may further require informing the individual of changes in the input attribute that could be made to produce a desirable outcome. This paper focuses on the latter problem of automatically generating counterfactual explanations. We propose a framework Counterfactual Generation with s(CASP) (CFGS) that utilizes answer set programming (ASP) and the s(CASP) goal-directed ASP system to automatically generate counterfactual explanations from rules generated by rule-based machine learning (RBML) algorithms. In our framework, we show how counterfactual explanations are computed and justified by imagining worlds where some or all factual assumptions are altered/changed. More importantly, we show how we can navigate between these worlds, namely, go from our original world/scenario where we obtain an undesired outcome to the imagined world/scenario where we obtain a desired/favourable outcome.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
Del Visual al Auditivo: Sonorización de Escenas Guiada por Imagen
Authors:
María Sánchez,
Laura Fernández,
Julián Arias,
Mateo Cámara,
Giulia Comini,
Adam Gabrys,
José Luis Blanco,
Juan Ignacio Godino,
Luis Alfonso Hernández
Abstract:
Recent advances in image, video, text and audio generative techniques, and their use by the general public, are leading to new forms of content generation. Usually, each modality was approached separately, which poses limitations. The automatic sound recording of visual sequences is one of the greatest challenges for the automatic generation of multimodal content. We present a processing flow that…
▽ More
Recent advances in image, video, text and audio generative techniques, and their use by the general public, are leading to new forms of content generation. Usually, each modality was approached separately, which poses limitations. The automatic sound recording of visual sequences is one of the greatest challenges for the automatic generation of multimodal content. We present a processing flow that, starting from images extracted from videos, is able to sound them. We work with pre-trained models that employ complex encoders, contrastive learning, and multiple modalities, allowing complex representations of the sequences for their sonorization. The proposed scheme proposes different possibilities for audio map** and text guidance. We evaluated the scheme on a dataset of frames extracted from a commercial video game and sounds extracted from the Freesound platform. Subjective tests have evidenced that the proposed scheme is able to generate and assign audios automatically and conveniently to images. Moreover, it adapts well to user preferences, and the proposed objective metrics show a high correlation with the subjective ratings.
△ Less
Submitted 2 February, 2024;
originally announced February 2024.
-
Decapodes: A Diagrammatic Tool for Representing, Composing, and Computing Spatialized Partial Differential Equations
Authors:
Luke Morris,
Andrew Baas,
Jesus Arias,
Maia Gatlin,
Evan Patterson,
James P. Fairbanks
Abstract:
We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations, a method for composing systems of partial differential equations using an operad of wiring diagrams, and an algorithm for deriving solvers using hypergraphs and…
▽ More
We present Decapodes, a diagrammatic tool for representing, composing, and solving partial differential equations. Decapodes provides an intuitive diagrammatic representation of the relationships between variables in a system of equations, a method for composing systems of partial differential equations using an operad of wiring diagrams, and an algorithm for deriving solvers using hypergraphs and string diagrams. The string diagrams are in turn compiled into executable programs using the techniques of categorical data migration, graph traversal, and the discrete exterior calculus. The generated solvers produce numerical solutions consistent with state-of-the-art open source tools as demonstrated by benchmark comparisons with SU2. These numerical experiments demonstrate the feasibility of this approach to multiphysics simulation and identify areas requiring further development.
△ Less
Submitted 30 January, 2024;
originally announced January 2024.
-
Automated legal reasoning with discretion to act using s(LAW)
Authors:
Joaquín Arias,
Mar Moreno-Rebato,
José A. Rodríguez-García,
Sascha Ossowski
Abstract:
Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the advice given. Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex kn…
▽ More
Automated legal reasoning and its application in smart contracts and automated decisions are increasingly attracting interest. In this context, ethical and legal concerns make it necessary for automated reasoners to justify in human-understandable terms the advice given. Logic Programming, specially Answer Set Programming, has a rich semantics and has been used to very concisely express complex knowledge. However, modelling discretionality to act and other vague concepts such as ambiguity cannot be expressed in top-down execution models based on Prolog, and in bottom-up execution models based on ASP the justifications are incomplete and/or not scalable. We propose to use s(CASP), a top-down execution model for predicate ASP, to model vague concepts following a set of patterns. We have implemented a framework, called s(LAW), to model, reason, and justify the applicable legislation and validate it by translating (and benchmarking) a representative use case, the criteria for the admission of students in the "Comunidad de Madrid".
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
Authors:
Jaime Arias,
Kyungmin Bae,
Carlos Olarte,
Peter Csaba Ölveczky,
Laure Petrucci
Abstract:
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where parameters are allowed in firing bounds. We prove that our semantics is bisimilar to the "standard" semantics of PITPNs. This allows us to use the rewriting logic tool Maude, combined with SMT solving, to provide sound and comp…
▽ More
This paper presents a concrete and a symbolic rewriting logic semantics for parametric time Petri nets with inhibitor arcs (PITPNs), a flexible model of timed systems where parameters are allowed in firing bounds. We prove that our semantics is bisimilar to the "standard" semantics of PITPNs. This allows us to use the rewriting logic tool Maude, combined with SMT solving, to provide sound and complete formal analyses for PITPNs. We develop and implement a new general folding approach for symbolic reachability, so that Maude-with-SMT reachability analysis terminates whenever the parametric state-class graph of the PITPN is finite. Our work opens up the possibility of using the many formal analysis capabilities of Maude -- including full LTL model checking, analysis with user-defined analysis strategies, and even statistical model checking -- for such nets. We illustrate this by explaining how almost all formal analysis and parameter synthesis methods supported by the state-of-the-art PITPN tool Romeo can be performed using Maude with SMT. In addition, we also support analysis and parameter synthesis from parametric initial markings, as well as full LTL model checking and analysis with user-defined execution strategies. Experiments show that our methods outperform Romeo in many cases.
△ Less
Submitted 5 April, 2024; v1 submitted 3 January, 2024;
originally announced January 2024.
-
At the edge of shape coexistence in the Z=40 region
Authors:
Esperanza Maya-Barbecho,
Samira Baid,
José-Manuel Arias,
José-Enrique García-Ramos
Abstract:
In this contribution, the shape coexistence phenomenon near the proton sub-shell closure at Z=40 is analyzed. Particular emphasis is placed on extracting the nuclear deformation values by examining experimental B(E2) transition rates and observing how the kinematic moment of inertia evolves in these nuclei. Based on the analysis of these two observables, we arrive at the conclusion that the notabl…
▽ More
In this contribution, the shape coexistence phenomenon near the proton sub-shell closure at Z=40 is analyzed. Particular emphasis is placed on extracting the nuclear deformation values by examining experimental B(E2) transition rates and observing how the kinematic moment of inertia evolves in these nuclei. Based on the analysis of these two observables, we arrive at the conclusion that the notable effects of shape coexistence at approximately Z=40 are largely diminished in Mo isotopes and are scarcely detectable in Ru isotopes.
△ Less
Submitted 30 October, 2023;
originally announced October 2023.
-
Counterfactual Explanation Generation with s(CASP)
Authors:
Sopam Dasgupta,
Farhad Shakerin,
Joaquín Arias,
Elmer Salazar,
Gopal Gupta
Abstract:
Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might desire e…
▽ More
Machine learning models that automate decision-making are increasingly being used in consequential areas such as loan approvals, pretrial bail, hiring, and many more. Unfortunately, most of these models are black-boxes, i.e., they are unable to reveal how they reach these prediction decisions. A need for transparency demands justification for such predictions. An affected individual might desire explanations to understand why a decision was made. Ethical and legal considerations may further require informing the individual of changes in the input attribute that could be made to produce a desirable outcome. This paper focuses on the latter problem of automatically generating counterfactual explanations. Our approach utilizes answer set programming and the s(CASP) goal-directed ASP system. Answer Set Programming (ASP) is a well-known knowledge representation and reasoning paradigm. s(CASP) is a goal-directed ASP system that executes answer-set programs top-down without grounding them. The query-driven nature of s(CASP) allows us to provide justifications as proof trees, which makes it possible to analyze the generated counterfactual explanations. We show how counterfactual explanations are computed and justified by imagining multiple possible worlds where some or all factual assumptions are untrue and, more importantly, how we can navigate between these worlds. We also show how our algorithm can be used to find the Craig Interpolant for a class of answer set programs for a failing query.
△ Less
Submitted 22 October, 2023;
originally announced October 2023.
-
At the borderline of shape coexistence: Mo and Ru
Authors:
E. Maya-Barbecho,
S. Baid,
J. M. Arias,
J. E. García-Ramos
Abstract:
Background
Even-even isotopes of Mo ($Z=42$) and Ru ($Z=44$) are nuclei close to the subshell closure at $Z=40$, where shape coexistence plays a significant role. As a result, their spectroscopic properties are expected to resemble those of Sr ($Z=38$) and Zr ($Z=40$). Exploring the evolution of these properties as they move away from the subshell closure is of great interest.
Purpose
The pu…
▽ More
Background
Even-even isotopes of Mo ($Z=42$) and Ru ($Z=44$) are nuclei close to the subshell closure at $Z=40$, where shape coexistence plays a significant role. As a result, their spectroscopic properties are expected to resemble those of Sr ($Z=38$) and Zr ($Z=40$). Exploring the evolution of these properties as they move away from the subshell closure is of great interest.
Purpose
The purpose of this study is to reproduce the spectroscopic properties of even-even $^{96-110}_{\phantom{961-}42}$Mo and $^{98-114}_{\phantom{961-}44}$Ru isotopes and to determine the influence of shape coexistence.
Method
We have employed the interacting boson model with configuration mixing as the framework to calculate all the observables for Mo and Ru isotopes. We have considered two types of configurations: 0-particle-0-hole and 2-particle-2-hole excitations. The model parameters have been determined using a least-squares fitting to match the excitation energies and the $B(E2)$ transition rates.
Results
We have obtained the excitation energies, $B(E2)$ values, two-neutron separation energies, nuclear radii, and isotope shifts for the entire chain of isotopes. Our theoretical results have shown good agreement with experimental data. Furthermore, we have conducted a detailed analysis of the wave functions and obtained the mean-field energy surfaces and the nuclear deformation parameter, $β$, for all considered isotopes.
Conclusions
Our findings reveal that shape coexistence plays a significant role in Mo isotopes, with the crossing of intruder and regular configurations occurring at neutron number $60$ ($A=102$), which induces a quantum phase transition. In contrast, in Ru isotopes, the intruder states have minimal influence, remaining at higher energies. However, at neutron number $60$, also a quantum phase transition occurs in Ru isotopes.
△ Less
Submitted 14 September, 2023;
originally announced September 2023.
-
Unveiling the evolutionary state of three B supergiant stars: PU Gem, $ε$ CMa and $η$ CMa
Authors:
Julieta P. Sánchez Arias,
Péter Németh,
Elisson S. G. de Almeida,
Matias A. Ruiz Diaz,
Michaela Kraus,
Maximiliano Haucke
Abstract:
We aim to combine asteroseismology, spectroscopy, and evolutionary models to establish a comprehensive picture of the evolution of Galactic blue supergiant stars (BSG). To start such an investigation, we selected three BSG candidates for our analysis: HD 42087 (PU Gem), HD 52089 ($ε$ CMa) and HD 58350 ($η$ CMa). These stars show pulsations and were suspected to be in an evolutionary stage either p…
▽ More
We aim to combine asteroseismology, spectroscopy, and evolutionary models to establish a comprehensive picture of the evolution of Galactic blue supergiant stars (BSG). To start such an investigation, we selected three BSG candidates for our analysis: HD 42087 (PU Gem), HD 52089 ($ε$ CMa) and HD 58350 ($η$ CMa). These stars show pulsations and were suspected to be in an evolutionary stage either preceding or succeding the red supergiant (RSG) stage.
For our analysis, we utilized the 2-min cadence TESS data to study the photometric variability and obtained new spectroscopic observations at the CASLEO observatory. We calculated CMFGEN non-LTE radiative transfer models and derived stellar and wind parameters using the iterative spectral analysis pipeline XTGRID. The spectral modeling was limited to changing only the effective temperature, surface gravity, CNO abundances, and mass-loss rates. Finally, we compared the derived metal abundances with predictions from Geneva stellar evolution models. The frequency spectra of all three stars show either stochastic oscillations, nonradial strange modes, or a rotational splitting.
We conclude that the rather short sectoral observing windows of TESS prevent establishing a reliable mode identification of low frequencies connected to mass-loss variabilities. The spectral analysis confirmed gradual changes in the mass-loss rates and the derived CNO abundances comply with the values reported in the literature. We were able to achieve a quantitative match with stellar evolution models for the stellar masses and luminosities. However, the spectroscopic surface abundances turned out to be inconsistent with theoretical predictions. The stars show N enrichment, typical for CNO cycle processed material, but the abundance ratios do not reflect the associated levels of C and O depletion.
△ Less
Submitted 24 August, 2023;
originally announced August 2023.
-
Frequencies analysis of the hybrid delta Sct-gamma Dor star CoRoT-102314644
Authors:
Julieta Sánchez Arias,
Orlagh Louise Creevey,
Eric Chapellier,
Bernard Pichon
Abstract:
Observations from space missions have allowed significant progress in many scientific domains due to the absence of atmospheric noise contributions and having uninterrupted data sets. In the context of asteroseismology, this has been extremely beneficial because many oscillation frequencies with small amplitudes, not observable from the ground, can be detected. One example of this success is the l…
▽ More
Observations from space missions have allowed significant progress in many scientific domains due to the absence of atmospheric noise contributions and having uninterrupted data sets. In the context of asteroseismology, this has been extremely beneficial because many oscillation frequencies with small amplitudes, not observable from the ground, can be detected. One example of this success is the large number of hybrid delta Sct-gamma Dor stars discovered. These stars have radial and non-radial p- and g-modes simultaneously excited to an observable level allowing us to probe both the external and near-to-core layers of the star. We analyse the light curve of hybrid delta Sct-gamma Dor star CoRoT ID 102314644 and characterise its frequency spectrum. We detected 29 gamma Dor type frequencies in the range [0.32-3.66] cycles per day (c/d) and a series of 6 equidistant periods with a mean period spacing of DeltaPi=1612 s. In the delta Sct domain we found 38 frequencies in the range 8.63-24.73 c/d and a quintuplet centred on the frequency p_1=11.39 c/d and derived a possible rotational period of 3.06 d. The frequency analysis of this object suggests the presence of spots at the stellar surface, nevertheless we could not dismiss the possibility of a binary system. The initial modelling of the frequency data along with external constraints has allowed us to refine its astrophysical parameters giving a mass of approximately 1.75 solar masses, a radius of 2.48 solar radii and an age of 1241 Myr. The observed period spacing, a p-mode quintuplet, the possible rotation period and the analysis of the individual frequencies provide important input constraints for the understanding of different transport phenomena in A-F-type stars.[abridged]
△ Less
Submitted 23 July, 2023;
originally announced July 2023.
-
Nuclear Physics in the Era of Quantum Computing and Quantum Machine Learning
Authors:
J. E. García-Ramos,
A. Sáiz,
J. M. Arias,
L. Lamata,
P. Pérez-Fernández
Abstract:
In this paper, the application of quantum simulations and quantum machine learning to solve low-energy nuclear physics problems is explored. The use of quantum computing to deal with nuclear physics problems is, in general, in its infancy and, in particular, the use of quantum machine learning in the realm of nuclear physics at low energy is almost nonexistent. We present here three specific examp…
▽ More
In this paper, the application of quantum simulations and quantum machine learning to solve low-energy nuclear physics problems is explored. The use of quantum computing to deal with nuclear physics problems is, in general, in its infancy and, in particular, the use of quantum machine learning in the realm of nuclear physics at low energy is almost nonexistent. We present here three specific examples where the use of quantum computing and quantum machine learning provides, or could provide in the future, a possible computational advantage: i) the determination of the phase/shape in schematic nuclear models, ii) the calculation of the ground state energy of a nuclear shell model-type Hamiltonian and iii) the identification of particles or the determination of trajectories in nuclear physics experiments.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Crystal bases for reduced imaginary Verma modules of untwisted quantum affine algebras
Authors:
Juan Camilo Arias,
Vyacheslav Futorny,
Kailash C. Misra
Abstract:
We consider reduced imaginary Verma modules for the untwisted quantum affine algebras $U_q(\hat{\g})$ and define a crystal-like base which we call imaginary crystal base using the Kashiwara algebra $\mathcal K_q$ constructed in earlier work by Ben Cox and two of the authors. We prove the existence of the imaginary crystal base for any object in a suitable category $\mc{O}^q_{red,im}$ containing th…
▽ More
We consider reduced imaginary Verma modules for the untwisted quantum affine algebras $U_q(\hat{\g})$ and define a crystal-like base which we call imaginary crystal base using the Kashiwara algebra $\mathcal K_q$ constructed in earlier work by Ben Cox and two of the authors. We prove the existence of the imaginary crystal base for any object in a suitable category $\mc{O}^q_{red,im}$ containing the reduced imaginary Verma modules for $U_q(\hat{\g})$.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
The Category of reduced imaginary Verma modules
Authors:
Juan Camilo Arias,
Vyacheslav Futorny,
André de Oliveira
Abstract:
For an arbitrary affine Lie algebra we study an analog of the category O for the natural Borel subalgebra and zero central charge. We show that such category is semisimple having the reduced imaginary Verma modules as its simple objects. This generalizes the result of Cox, Futorny, Misra in the case of affine sl(2).
For an arbitrary affine Lie algebra we study an analog of the category O for the natural Borel subalgebra and zero central charge. We show that such category is semisimple having the reduced imaginary Verma modules as its simple objects. This generalizes the result of Cox, Futorny, Misra in the case of affine sl(2).
△ Less
Submitted 9 July, 2023;
originally announced July 2023.
-
Introducción a los D-módulos
Authors:
Juan Camilo Arias,
Camilo Rengifo
Abstract:
Estas notas son las memorias del cursillo dictado en el XXII Congreso Colombiano de Matemáticas en la Universidad del Cauca en Popayán - Colombia. El objetivo de este escrito es brindar un acercamiento a la teoría de módulos sobre el anillo de operadores diferenciales de una variedad algebraica suave.
These are the lecture notes of a short course given at the XXII Colombian Congress of Mathemati…
▽ More
Estas notas son las memorias del cursillo dictado en el XXII Congreso Colombiano de Matemáticas en la Universidad del Cauca en Popayán - Colombia. El objetivo de este escrito es brindar un acercamiento a la teoría de módulos sobre el anillo de operadores diferenciales de una variedad algebraica suave.
These are the lecture notes of a short course given at the XXII Colombian Congress of Mathematics held at Universidad del Cauca in Popayán - Colombia. The aim of this paper is to provide an introduction to the theory of modules over rings of differential operators over a smooth algebraic variety.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Optimal Scheduling of Agents in ADTrees: Specialised Algorithm and Declarative Models
Authors:
Jaime Arias,
Carlos Olarte,
Laure Petrucci,
Łukasz Maśko,
Wojciech Penczek,
Teofil Sidoruk
Abstract:
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that syn…
▽ More
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that synthesises such an assignment, targeting minimal attack time and using the minimal number of agents for a given attack-defence tree. We also investigate an alternative approach for the same problem using Rewriting Logic, starting with a simple and elegant declarative model, whose correctness (in terms of schedule's optimality) is self-evident. We then refine this specification, inspired by the design of our specialised algorithm, to obtain an efficient system that can be used as a playground to explore various aspects of attack-defence trees. We compare the two approaches on different benchmarks.
△ Less
Submitted 19 October, 2023; v1 submitted 8 May, 2023;
originally announced May 2023.
-
Automated Interactive Domain-Specific Conversational Agents that Understand Human Dialogs
Authors:
Yankai Zeng,
Abhiramon Rajasekharan,
Parth Padalkar,
Kinjal Basu,
Joaquín Arias,
Gopal Gupta
Abstract:
Achieving human-like communication with machines remains a classic, challenging topic in the field of Knowledge Representation and Reasoning and Natural Language Processing. These Large Language Models (LLMs) rely on pattern-matching rather than a true understanding of the semantic meaning of a sentence. As a result, they may generate incorrect responses. To generate an assuredly correct response,…
▽ More
Achieving human-like communication with machines remains a classic, challenging topic in the field of Knowledge Representation and Reasoning and Natural Language Processing. These Large Language Models (LLMs) rely on pattern-matching rather than a true understanding of the semantic meaning of a sentence. As a result, they may generate incorrect responses. To generate an assuredly correct response, one has to "understand" the semantics of a sentence. To achieve this "understanding", logic-based (commonsense) reasoning methods such as Answer Set Programming (ASP) are arguably needed. In this paper, we describe the AutoConcierge system that leverages LLMs and ASP to develop a conversational agent that can truly "understand" human dialogs in restricted domains. AutoConcierge is focused on a specific domain-advising users about restaurants in their local area based on their preferences. AutoConcierge will interactively understand a user's utterances, identify the missing information in them, and request the user via a natural language sentence to provide it. Once AutoConcierge has determined that all the information has been received, it computes a restaurant recommendation based on the user-preferences it has acquired from the human user. AutoConcierge is based on our STAR framework developed earlier, which uses GPT-3 to convert human dialogs into predicates that capture the deep structure of the dialog's sentence. These predicates are then input into the goal-directed s(CASP) ASP system for performing commonsense reasoning. To the best of our knowledge, AutoConcierge is the first automated conversational agent that can realistically converse like a human and provide help to humans based on truly understanding human utterances.
△ Less
Submitted 17 March, 2023; v1 submitted 15 March, 2023;
originally announced March 2023.
-
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Authors:
Jaime Arias,
Kyungmin Bae,
Carlos Olarte,
Peter Csaba Ölveczky,
Laure Petrucci,
Fredrik Rømming
Abstract:
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a concrete and a symbolic rewriting logic semantics for PITPNs. We show how this allows us to use Maude combined with SMT solving to provide sound and complete formal analyses for PITPNs. We develop a new general folding a…
▽ More
Parametric time Petri nets with inhibitor arcs (PITPNs) support flexibility for timed systems by allowing parameters in firing bounds. In this paper we present and prove correct a concrete and a symbolic rewriting logic semantics for PITPNs. We show how this allows us to use Maude combined with SMT solving to provide sound and complete formal analyses for PITPNs. We develop a new general folding approach for symbolic reachability that terminates whenever the parametric state-class graph of the PITPN is finite. We explain how almost all formal analysis and parameter synthesis supported by the state-of-the-art PITPN tool Roméo can be done in Maude with SMT. In addition, we also support analysis and parameter synthesis from parametric initial markings, as well as full LTL model checking and analysis with user-defined execution strategies. Experiments on three benchmarks show that our methods outperform Roméo in many cases.
△ Less
Submitted 15 March, 2023;
originally announced March 2023.
-
Strategic (Timed) Computation Tree Logic
Authors:
Jaime Arias,
Wojciech Jamroga,
Wojciech Penczek,
Laure Petrucci,
Teofil Sidoruk
Abstract:
We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networks of extended Timed Automata (TA) that either make synchronous moves or synchronise via joint actions. We consider several semantics regarding inform…
▽ More
We define extensions of CTL and TCTL with strategic operators, called Strategic CTL (SCTL) and Strategic TCTL (STCTL), respectively. For each of the above logics we give a synchronous and asynchronous semantics, i.e., STCTL is interpreted over networks of extended Timed Automata (TA) that either make synchronous moves or synchronise via joint actions. We consider several semantics regarding information: imperfect (i) and perfect (I), and recall: imperfect (r) and perfect (R). We prove that SCTL is more expressive than ATL for all semantics, and this holds for the timed versions as well. Moreover, the model checking problem for SCTL[ir] is of the same complexity as for ATL[ir], the model checking problem for STCTL[ir] is of the same complexity as for TCTL, while for STCTL[iR] it is undecidable as for ATL[iR]. The above results suggest to use SCTL[ir] and STCTL[ir] in practical applications. Therefore, we use the tool IMITATOR to support model checking of STCTL[ir].
△ Less
Submitted 19 October, 2023; v1 submitted 26 February, 2023;
originally announced February 2023.
-
Quantum Phase Transitions in periodically quenched systems
Authors:
Á. Sáiz,
J. Khalouf-Rivera,
J. M. Arias,
P. Pérez-Fernández,
J. Casado-Pascual
Abstract:
Quantum phase transitions encompass a variety of phenomena that occur in quantum systems exhibiting several possible symmetries. Traditionally, these transitions are explored by continuously varying a control parameter that connects two different symmetry configurations. Here we propose an alternative approach where the control parameter undergoes abrupt and time-periodic jumps between only two va…
▽ More
Quantum phase transitions encompass a variety of phenomena that occur in quantum systems exhibiting several possible symmetries. Traditionally, these transitions are explored by continuously varying a control parameter that connects two different symmetry configurations. Here we propose an alternative approach where the control parameter undergoes abrupt and time-periodic jumps between only two values. This approach yields results surprisingly similar to those obtained by the traditional one and may prove experimentally useful in situations where accessing the control parameter is challenging.
△ Less
Submitted 3 June, 2024; v1 submitted 1 February, 2023;
originally announced February 2023.
-
Periodic variable A-F spectral type stars in the northern TESS continuous viewing zone
Authors:
M. Skarka,
J. Žák,
M. Fedurco,
E. Paunzen,
Z. Henzl,
M. Mašek,
R. Karjalainen,
J. P. Sanchez Arias,
Á. Sódor,
R. F. Auer,
P. Kabáth,
M. Karjalainen,
J. Liška,
D. Štegner
Abstract:
The goal of our study is to provide a reliable classification of variability of A-F stars brighter than 11 mag located in the northern TESS continuous viewing zone. We also aim at thorough discussion about issues in the classification related to the data characteristics and the issues arising from the similar light curve shape generated by different physical mechanisms. We used TESS long- and shor…
▽ More
The goal of our study is to provide a reliable classification of variability of A-F stars brighter than 11 mag located in the northern TESS continuous viewing zone. We also aim at thorough discussion about issues in the classification related to the data characteristics and the issues arising from the similar light curve shape generated by different physical mechanisms. We used TESS long- and short-cadence photometric data and corresponding Fourier transform to classify the variability type of the stars. We present a clear and concise classification system that is demonstrated on many examples. We found clear signs of variability in 3025 of 5923 studied stars (51 %). For 1813 of these 3025 stars, we provide a classification. From the classified stars, 64.5 % are pulsating stars of GDOR and DSCT types and their hybrids. We realised that the long- and short-cadence PDCSAP data can differ significantly not only in amplitudes but also in the content of instrumental/data reduction artifacts making the long-cadence data less reliable. We identified a new group of stars showing stable light curves and characteristic frequency spectra pattern (8.5 % of the classified stars). According to the position in the Hertzsprung-Russell diagram, these stars are likely GDOR stars but are about 200 K cooler than GDORs on average and have smaller amplitudes and longer periods in average. We show that without spectroscopic observations, it can be impossible to unambiguously distinguish between ellipsoidal variability and rotational variability. We also apply our methodology to three previous studies and found significant discrepancies in the classification. We demonstrate how difficult the classification of variable A-F stars can be when using only photometric data.
△ Less
Submitted 5 August, 2022; v1 submitted 26 July, 2022;
originally announced July 2022.
-
Excited-State Quantum Phase Transitions in the Anharmonic Lipkin-Meshkov-Glick Model: Dynamical Aspects
Authors:
Jamil Khalouf-Rivera,
Juan Gamito,
Francisco Pérez-Bernal,
José Miguel Arias,
Pedro Pérez-Fernández
Abstract:
The standard Lipkin-Meshkov-Glick (LMG) model undergoes a second-order ground-state quantum phase transition (QPT) and an excited-state quantum phase transition (ESQPT). The inclusion of an anharmonic term in the LMG Hamiltonian gives rise to a second ESQPT that alters the static properties of the model [Phys. Rev. E 106, 044125 (2022)]. In the present work, the dynamical implications associated t…
▽ More
The standard Lipkin-Meshkov-Glick (LMG) model undergoes a second-order ground-state quantum phase transition (QPT) and an excited-state quantum phase transition (ESQPT). The inclusion of an anharmonic term in the LMG Hamiltonian gives rise to a second ESQPT that alters the static properties of the model [Phys. Rev. E 106, 044125 (2022)]. In the present work, the dynamical implications associated to this new ESQPT are analyzed. For that purpose, a quantum quench protocol is defined on the system Hamiltonian that takes an initial state, usually the ground state, into a complex excited state that evolves on time. The impact of the new ESQPT on the time evolution of the survival probability and the local density of states after the quantum quench, as well as on the Loschmidt echoes and the microcanonical out-of-time-order correlator (OTOC) are discussed. The anharmonity-induced ESQPT, despite having a different physical origin, has dynamical consequences similar to those observed in the ESQPT already present in the standard LMG model.
△ Less
Submitted 2 June, 2023; v1 submitted 10 July, 2022;
originally announced July 2022.
-
Digital quantum simulation of an extended Agassi model: Using machine learning to disentangle its phase-diagram
Authors:
Álvaro Sáiz,
José-Enrique García-Ramos,
José Miguel Arias,
Lucas Lamata,
Pedro Pérez-Fernández
Abstract:
A digital quantum simulation for the extended Agassi model is proposed using a quantum platform with eight trapped ions. The extended Agassi model is an analytically solvable model including both short range pairing and long range monopole-monopole interactions with applications in nuclear physics and in other many-body systems. In addition, it owns a rich phase diagram with different phases and t…
▽ More
A digital quantum simulation for the extended Agassi model is proposed using a quantum platform with eight trapped ions. The extended Agassi model is an analytically solvable model including both short range pairing and long range monopole-monopole interactions with applications in nuclear physics and in other many-body systems. In addition, it owns a rich phase diagram with different phases and the corresponding phase transition surfaces. The aim of this work is twofold: on one hand, to propose a quantum simulation of the model at the present limits of the trapped ions facilities and, on the other hand, to show how to use a machine learning algorithm on top of the quantum simulation to accurately determine the phase of the system. Concerning the quantum simulation, this proposal is scalable with polynomial resources to larger Agassi systems. Digital quantum simulations of nuclear physics models assisted by machine learning may enable one to outperform the fastest classical computers in determining fundamental aspects of nuclear matter.
△ Less
Submitted 2 May, 2023; v1 submitted 30 May, 2022;
originally announced May 2022.
-
Building Information Modeling Using Constraint Logic Programming
Authors:
Joaquín Arias,
Seppo Törmä,
Manuel Carro,
Gopal Gupta
Abstract:
Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction (AEC) industry. Buildings need to be compliant with regulations about stability, safety, and environmental impact. Manual compliance checking is tedious…
▽ More
Building Information Modeling (BIM) produces three-dimensional models of buildings combining the geometrical information with a wide range of properties. BIM is slowly but inevitably revolutionizing the architecture, engineering, and construction (AEC) industry. Buildings need to be compliant with regulations about stability, safety, and environmental impact. Manual compliance checking is tedious and error-prone, and amending flaws discovered only at construction time causes huge additional costs and delays. Several tools can check BIM models for conformance with rules/guidelines. For example, Singapore's CORENET e-Submission System checks fire safety. But since the current BIM exchange format only contains basic information of building objects, a separate, ad-hoc model pre-processing is required to determine, e.g., evacuation routes. Moreover, they face difficulties in adapting existing built-in rules and/or adding new ones (to cater for building regulations, that can vary not only among countries but also among parts of the same city), if at all possible. We propose the use of logic-based executable formalisms (CLP and Constraint ASP) to couple BIM models with advanced knowledge representation and reasoning capabilities. Previous experience shows that such formalisms can be used to uniformly capture and reason with knowledge (including ambiguity) in a large variety of domains. Additionally, incorporating checking within design tools makes it possible to ensure that models are rule-compliant at every step. This also prevents erroneous designs from having to be (partially) redone, which is also costly and burdensome. To validate our proposal, we implemented a preliminary reasoner under CLP(Q/R) and ASP with constraints and evaluated it with several BIM models. Under consideration for acceptance in Theory and Practice of Logic Programming (TPLP).
△ Less
Submitted 17 May, 2022;
originally announced May 2022.
-
The outer orbit of the high-mass stellar triple system Herschel 36 determined with the VLTI
Authors:
J. Sanchez-Bermudez,
C. A. Hummel,
J. Díaz-López,
A. Alberdi,
R. Schödel,
J. I. Arias,
R. H. Barbá,
E. Bastida-Escamilla,
W. Brandner,
J. Maíz Apellániz,
J. -U. Pott
Abstract:
Multiplicity is a ubiquitous characteristic of massive stars. Multiple systems offer us a unique observational constraint on the formation of high-mass systems. Herschel 36 A is a massive triple system composed of a close binary (Ab1-Ab2) and an outer component (Aa). We measured the orbital motion of the outer component of Herschel 36 A using infrared interferometry with the AMBER and PIONIER inst…
▽ More
Multiplicity is a ubiquitous characteristic of massive stars. Multiple systems offer us a unique observational constraint on the formation of high-mass systems. Herschel 36 A is a massive triple system composed of a close binary (Ab1-Ab2) and an outer component (Aa). We measured the orbital motion of the outer component of Herschel 36 A using infrared interferometry with the AMBER and PIONIER instruments of ESO's Very Large Telescope Interferometer. Our immediate aims are to constrain the masses of all components of this system and to determine if the outer orbit is co-planar with the inner one. Reported spectroscopic data for all three components of this system and our interferometric data allow us to derive full orbital solutions for the outer orbit Aa-Ab and the inner orbit Ab1-Ab2. For the first time, we derive the absolute masses of mAa = 22.3 +/- 1.7 M_sun, mAb1 = 20.5 +/- 1.5 M_sun and mAb2 = 12.5 +/- 0.9 M_sun. Despite not being able to resolve the close binary components, we infer the inclination of their orbit by imposing the same parallax as the outer orbit. Inclinations derived from the inner and outer orbits imply a modest difference of about 22 deg. between the orbital planes. We discuss this result and the formation of Herschel 36 A in the context of Core Accretion and Competitive Accretion models, which make different predictions regarding the statistic of the relative orbital inclinations.
△ Less
Submitted 27 April, 2022;
originally announced April 2022.
-
$2+1$ Einstein-Klein-Gordon black holes by gravitational decoupling
Authors:
Pio J. Arias,
Pedro Bargueño,
Ernesto Contreras,
Ernesto Fuenmayor
Abstract:
In this work we study the 2+1 Einstein-Klein-Gordon system in the framework of Gravitational Decoupling. We associate the generic matter decoupling sector with a real scalar field so we can obtain a constraint which allows to close the system of differential equations. The constraint corresponds to a differential equation involving the decoupling functions and the metric of the seed sector and wil…
▽ More
In this work we study the 2+1 Einstein-Klein-Gordon system in the framework of Gravitational Decoupling. We associate the generic matter decoupling sector with a real scalar field so we can obtain a constraint which allows to close the system of differential equations. The constraint corresponds to a differential equation involving the decoupling functions and the metric of the seed sector and will be independent of the scalar field itself. We show that when the equation admits analytical solutions, the scalar field and the self-interacting potential can be obtained straightforwardly. We found that, in the cases under consideration, it is possible to express the potential as an explicit function of the scalar field only for certain particular cases corresponding to limiting values of the parameters involved.
△ Less
Submitted 3 March, 2022; v1 submitted 1 March, 2022;
originally announced March 2022.
-
Excited-State Quantum Phase Transitions in the Anharmonic Lipkin-Meshkov-Glick Model I: Static Aspects
Authors:
Juan Gamito,
Jamil Khalouf-Rivera,
J. Miguel Arias,
Pedro Pérez-Fernández,
Francisco Pérez-Bernal
Abstract:
The basic Lipkin-Meshkov-Glick model displays a second order ground state quantum phase transition and an excited state quantum phase transition (ESQPT). The inclusion of an anharmonic term in the Hamiltonian implies a second ESQPT of a different nature. We characterize this ESQPT using the mean field limit of the model. The new ESQPT, associated with the changes in the boundary of the finite Hilb…
▽ More
The basic Lipkin-Meshkov-Glick model displays a second order ground state quantum phase transition and an excited state quantum phase transition (ESQPT). The inclusion of an anharmonic term in the Hamiltonian implies a second ESQPT of a different nature. We characterize this ESQPT using the mean field limit of the model. The new ESQPT, associated with the changes in the boundary of the finite Hilbert space of the system, can be properly described using the order parameter of the ground state quantum phase transition, the energy gap between adjacent states, the participation ratio, and the quantum fidelity susceptibility.
△ Less
Submitted 12 July, 2022; v1 submitted 23 February, 2022;
originally announced February 2022.
-
Entropies and IPR as Markers for a Phase Transition in a Two-Level Model for Atom-Diatomic Molecule Coexistence
Authors:
Ignacio Baena,
Pedro Pérez-Fernández,
Manuela Rodríguez-Gallardo,
José Miguel Arias
Abstract:
A Quantum Phase Transition (QPT) in a simple model that describes the coexistence of atoms and diatomic molecules is studied. The model, that is briefly discussed, presents a second order ground state phase transition in the thermodynamic (or large particle number) limit, changing from a molecular condensate in one phase to an equilibrium of diatomic molecules-atoms in coexistence in the other one…
▽ More
A Quantum Phase Transition (QPT) in a simple model that describes the coexistence of atoms and diatomic molecules is studied. The model, that is briefly discussed, presents a second order ground state phase transition in the thermodynamic (or large particle number) limit, changing from a molecular condensate in one phase to an equilibrium of diatomic molecules-atoms in coexistence in the other one. Usual markers for this phase transition are the ground state energy and the expectation value of the number of atoms (or, alternatvely, the number of molecules) in the ground state. In this work, other markers for the QPT as the Inverse Participation Ratio (IPR) and, particularly, the Rényi entropy are analysed and proposed as QPT markers. Both magnitudes present abrupt changes at the critical point of the QPT.
△ Less
Submitted 12 January, 2022;
originally announced January 2022.
-
Towards Dynamic Consistency Checking in Goal-directed Predicate Answer Set Programming
Authors:
Joaquín Arias,
Manuel Carro,
Gopal Gupta
Abstract:
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP) is one of these systems and has been already used to write reasoning systems in several fields. It provides enhanced expressiveness w.r.t. other ASP systems due to its ability to use cons…
▽ More
Goal-directed evaluation of Answer Set Programs is gaining traction thanks to its amenability to create AI systems that can, due to the evaluation mechanism used, generate explanations and justifications. s(CASP) is one of these systems and has been already used to write reasoning systems in several fields. It provides enhanced expressiveness w.r.t. other ASP systems due to its ability to use constraints, data structures, and unbound variables natively. However, the performance of existing s(CASP) implementations is not on par with other ASP systems: model consistency is checked once models have been generated, in kee** with the generate-and-test paradigm. In this work, we present a variation of the top-down evaluation strategy, termed Dynamic Consistency Checking, which interleaves model generation and consistency checking. This makes it possible to determine when a literal is not compatible with the denials associated to the global constraints in the program, prune the current execution branch, and choose a different alternative. This strategy is specially (but not exclusively) relevant in problems with a high combinatorial component. We have experimentally observed speedups of up to 90x w.r.t. the standard versions of s(CASP).
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Fundamental parameters of the massive eclipsing binary HM1 8
Authors:
Cinthya N. Rodríguez,
Gabriel A. Ferrero,
Omar G. Benvenuto,
Roberto Gamen,
Nidia I. Morrell,
Rodolfo H. Barbá,
Julia Arias,
Phillip Massey
Abstract:
We present a comprehensive study of the massive binary system HM1~8, based on multi-epoch high resolution spectroscopy, $V$-band photometry and archival X-ray data. Spectra from the OWN Survey, a high resolution optical monitoring of Southern O and WN stars, are used to analyse the spectral morphology and perform quantitative spectroscopic analysis of both stellar components. The primary and secon…
▽ More
We present a comprehensive study of the massive binary system HM1~8, based on multi-epoch high resolution spectroscopy, $V$-band photometry and archival X-ray data. Spectra from the OWN Survey, a high resolution optical monitoring of Southern O and WN stars, are used to analyse the spectral morphology and perform quantitative spectroscopic analysis of both stellar components. The primary and secondary components are classified as O4.5~IV(f) and O9.7~V, respectively. From a radial-velocity (RV) study we derived a set of orbital parameters for the system. We found an eccentric orbit ($e=0.14 \pm 0.01$) with a period of $P = 5.87820 \pm 0.00008$~days. Through the simultaneous analysis of the RVs and the $V$-band light curve we derived an orbital inclination of $70.0^{\circ} \pm 2.0$ and stellar masses of $M_a=33.6^{+1.4}_{-1.2}~\text{M}_{\sun}$ for the primary, and $M_b=17.7^{+0.5}_{-0.7}~\text{M}_{\sun}$ for the secondary. The components show projected rotational velocities $v_1\sin{i}=105 \pm 14~\text{km~s}^{-1}$ and $v_2\sin{i}=82 \pm 15~\text{km~s}^{-1}$, respectively. A tidal evolution analysis is also performed and found to be in agreement with the orbital characteristics. Finally, the available X-ray observations show no evidence of a colliding winds region, therefore the X-ray emission is attributed to stellar winds.
△ Less
Submitted 27 September, 2021;
originally announced September 2021.
-
The winking eye of a very massive star: WR 21a revealed as an eclipsing binary by TESS
Authors:
Rodolfo H. Barbá,
Roberto C. Gamen,
Pablo Martín-Ravelo,
Julia I. Arias,
Nidia I. Morrell
Abstract:
WR~21a was known as a massive spectroscopic binary composed of an O2.5 If*/WN6ha primary and an O3 V((f*))z secondary. Although a minimum value, the mass estimated for the primary placed it as one of the most massive stars found in our Galaxy. We report the discovery of photometric variations in the time series observations carried out by the Transiting Exoplanet Survey Satellite (TESS). These lig…
▽ More
WR~21a was known as a massive spectroscopic binary composed of an O2.5 If*/WN6ha primary and an O3 V((f*))z secondary. Although a minimum value, the mass estimated for the primary placed it as one of the most massive stars found in our Galaxy. We report the discovery of photometric variations in the time series observations carried out by the Transiting Exoplanet Survey Satellite (TESS). These light variations are interpreted as formed by two main components: a sharp partial eclipse of the O3 secondary by the O2.5/WN6 star, and tidally excited oscillations. Based on the light minima a new ephemeris for the system is calculated. The system configuration is detached and the observed eclipse corresponds to the periastron passage. During the eclipse, the light curve shape suggests the presence of the heartbeat effect. The frequencies derived for the tidally excited oscillations are harmonics of the orbital period. Combining new and previously published radial velocity measurements, a new spectroscopic orbital solution is also obtained. Using the \textsc{phoebe} code we model the \textit{TESS} light curve and determine stellar radii of $R_{\rm O2.5/WN6}=23.4$ R$_\odot$ and $R_{\rm O3}=14.3$ R$_\odot$ and an orbital inclination $i=62^\circ\!\!.2\pm0^\circ\!\!.9$. The latter combined with the spectroscopic minimum masses lead to absolute masses of $M_{\rm O2.5/WN6}=93.2$ M$_\odot$ and $M_{\rm O3}=52.9$ M$_\odot$, which establishes WR21a as belonging to the rare group of the very massive stars.
△ Less
Submitted 25 August, 2022; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Authors:
Brendan Hall,
Sarat Chandra Varanasi,
Jan Fiedor,
Joaquín Arias,
Kinjal Basu,
Fang Li,
Devesh Bhatt,
Kevin Driscoll,
Elmer Salazar,
Gopal Gupta
Abstract:
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and…
▽ More
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and change. We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements. This event calculus model can be used to automatically validate the requirements. Since ASP is an expressive knowledge representation language, it can also be used to represent contextual knowledge about cyber-physical systems, which, in turn, can be used to find gaps in their requirements specifications. We illustrate our approach through an altitude alerting system from the avionics domain.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Resolving the circumstellar environment of the Galactic B[e] supergiant star MWC 137. II. Nebular kinematics and stellar variability
Authors:
Michaela Kraus,
Tiina Liimets,
Alexei Moiseev,
Julieta P. Sanchez Arias,
Dieter H. Nickeler,
Lydia S. Cidale,
David Jones
Abstract:
The Galactic B[e] supergiant MWC 137 is surrounded by a large-scale optical nebula. To shed light on the physical conditions and kinematics of the nebula, we analyze the optical forbidden emission lines [NII] 6548,6583 and [SII] 6716,6731 in long-slit spectra taken with ALFOSC at the Nordic Optical Telescope. The radial velocities display a complex behavior but, in general, the northern nebular fe…
▽ More
The Galactic B[e] supergiant MWC 137 is surrounded by a large-scale optical nebula. To shed light on the physical conditions and kinematics of the nebula, we analyze the optical forbidden emission lines [NII] 6548,6583 and [SII] 6716,6731 in long-slit spectra taken with ALFOSC at the Nordic Optical Telescope. The radial velocities display a complex behavior but, in general, the northern nebular features are predominantly approaching while the southern ones are mostly receding. The electron density shows strong variations across the nebula with values spreading from about zero to ~800 cm$^{-3}$. Higher densities are found closer to MWC~137 and in regions of intense emission, whereas in regions with high radial velocities the density decreases significantly. We also observe the entire nebula in the two [SII] lines with the scanning Fabry-Perot interferometer attached to the 6-m telescope of the Special Astrophysical Observatory. These data reveal a new bow-shaped feature at PA = 225-245 and a distance 80" from MWC 137. A new H$α$ image has been taken with the Danish 1.54-m telescope on La Silla. No expansion or changes in the nebular morphology appear within 18.1 years. We derive a mass of 37 (+9/-5) solar masses and an age of $4.7\pm0.8$ Myr for MWC 137. Furthermore, we detect a period of 1.93 d in the time series photometry collected with the TESS satellite, which could suggest stellar pulsations. Other, low-frequency variability is seen as well. Whether these signals are caused by internal gravity waves in the early-type star or by variability in the wind and circumstellar matter currently cannot be distinguished.
△ Less
Submitted 30 June, 2021;
originally announced June 2021.
-
Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
Authors:
Joaquín Arias,
Manuel Carro,
Zhuo Chen,
Gopal Gupta
Abstract:
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logical basis. Previous attempts to mechanize reasoning using EC faced difficulties in the treatment of the continuous change in dense domains (e.g., time and other physical quantities),…
▽ More
Automated commonsense reasoning is essential for building human-like AI systems featuring, for example, explainable AI. Event Calculus (EC) is a family of formalisms that model commonsense reasoning with a sound, logical basis. Previous attempts to mechanize reasoning using EC faced difficulties in the treatment of the continuous change in dense domains (e.g., time and other physical quantities), constraints among variables, default negation, and the uniform application of different inference methods, among others. We propose the use of s(CASP), a query-driven, top-down execution model for Predicate Answer Set Programming with Constraints, to model and reason using EC. We show how EC scenarios can be naturally and directly encoded in s(CASP) and how it enables deductive and abductive reasoning tasks in domains featuring constraints involving both dense time and dense fluents.
△ Less
Submitted 28 June, 2021;
originally announced June 2021.
-
A digital quantum simulation of the Agassi model
Authors:
Pedro Pérez-Fernández,
José Miguel Arias,
José Enrique García-Ramos,
Lucas Lamata
Abstract:
A digital quantum simulation of the Agassi model from nuclear physics is proposed and analyzed. The proposal is worked out for the case with four different sites. Numerical simulations and analytical estimations are presented to illustrate the feasibility of this proposal with current technology. The proposed approach is fully scalable to a larger number of sites. The use of a quantum correlation…
▽ More
A digital quantum simulation of the Agassi model from nuclear physics is proposed and analyzed. The proposal is worked out for the case with four different sites. Numerical simulations and analytical estimations are presented to illustrate the feasibility of this proposal with current technology. The proposed approach is fully scalable to a larger number of sites. The use of a quantum correlation function as a probe to explore the quantum phases by quantum simulating the time dynamics, with no need of computing the ground state, is also studied. Evidence is given showing that the amplitude of the time dynamics of a correlation function in this quantum simulation is linked to the different quantum phases of the system. This approach establishes an avenue for the digital quantum simulation of useful models in nuclear physics.
△ Less
Submitted 12 May, 2022; v1 submitted 6 May, 2021;
originally announced May 2021.
-
Simultaneous Confidence Corridors for neuroimaging data analysis: applications to Alzheimer's Disease diagnosis
Authors:
Juan A. Arias,
Carmen Cadarso-Suárez,
Pablo Aguiar-Fernández
Abstract:
Alzheimer's disease (AD) is a chronic neurodegenerative condition responsible for most cases of dementia and considered as one of the greatest challenges for neuroscience in this century. Early Ad signs are usually mistaken for normal age-related cognitive dysfunctions, thus patients usually start their treatment in advanced AD stages, when its benefits are severely limited. AD has no known cure,…
▽ More
Alzheimer's disease (AD) is a chronic neurodegenerative condition responsible for most cases of dementia and considered as one of the greatest challenges for neuroscience in this century. Early Ad signs are usually mistaken for normal age-related cognitive dysfunctions, thus patients usually start their treatment in advanced AD stages, when its benefits are severely limited. AD has no known cure, as such, hope lies on early diagnosis which usually depends on neuroimaging techniques such as Positron Emission Tomography (PET). PET data is then analyzed with Statistical Parametric Map** (SPM) software, which uses mass univariate statistical analysis, inevitably incurring in errors derived from this multiple testing approach. Recently, Wang et al. (2020) formulated an alternative: applying functional data analysis (FDA), a relatively new branch of statistics, to calculate mean function and simultaneous confidence corridors (SCCs) for the difference between two groups' PET values. Here we test this approach with a practical application for AD diagnosis, estimating mean functions and SCCs for the difference between AD and control group's PET activity and locating regions where this difference galls outside estimated SCCs, indicating differences in brain activity attributable to AD-derived neural loss. Our results are consistent with previous literature on AD pathology and suggest that this FDA approach is more resilient to reductions in sample size and less dependent on ad hoc selection of an α level than its counterpart, suggesting that this novel technique is a promising venue for research in the field of medical imaging.
△ Less
Submitted 22 January, 2021;
originally announced February 2021.
-
Knowledge-driven Natural Language Understanding of English Text and its Applications
Authors:
Kinjal Basu,
Sarat Varanasi,
Farhad Shakerin,
Joaquin Arias,
Gopal Gupta
Abstract:
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) research. An ideal NLU system should process a language in a way that is not exclusive to a single task or a dataset. Kee** this in mind, we have introduced a novel knowledge driven semantic representation approach for English text. By leveraging the VerbNet lexicon, we are able to map syntax t…
▽ More
Understanding the meaning of a text is a fundamental challenge of natural language understanding (NLU) research. An ideal NLU system should process a language in a way that is not exclusive to a single task or a dataset. Kee** this in mind, we have introduced a novel knowledge driven semantic representation approach for English text. By leveraging the VerbNet lexicon, we are able to map syntax tree of the text to its commonsense meaning represented using basic knowledge primitives. The general purpose knowledge represented from our approach can be used to build any reasoning based NLU system that can also provide justification. We applied this approach to construct two NLU applications that we present here: SQuARE (Semantic-based Question Answering and Reasoning Engine) and StaCACK (Stateful Conversational Agent using Commonsense Knowledge). Both these systems work by "truly understanding" the natural language text they process and both provide natural language explanations for their responses while maintaining high accuracy.
△ Less
Submitted 27 January, 2021;
originally announced January 2021.
-
Minimal Schedule with Minimal Number of Agents in Attack-Defence Trees
Authors:
Jaime Arias,
Łukasz Maśko,
Wojciech Penczek,
Laure Petrucci,
Teofil Sidoruk
Abstract:
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that syn…
▽ More
Expressing attack-defence trees in a multi-agent setting allows for studying a new aspect of security scenarios, namely how the number of agents and their task assignment impact the performance, e.g. attack time, of strategies executed by opposing coalitions. Optimal scheduling of agents' actions, a non-trivial problem, is thus vital. We discuss associated caveats and propose an algorithm that synthesises such an assignment, targeting minimal attack time and using minimal number of agents for a given attack-defence tree.
△ Less
Submitted 29 April, 2022; v1 submitted 17 January, 2021;
originally announced January 2021.
-
Asteroseismology of the heartbeat star KIC 5006817
Authors:
J. Merc,
Cs. Kalup,
R. S. Rathour,
J. P. Sánchez Arias,
P. G. Beck
Abstract:
This paper summarizes the project work on asteroseismology at the ERASMUS+ GATE 2020 Summer school on space satellite data. The aim was to do a global asteroseismic analysis of KIC 5006817 and quantify its stellar properties using the high-quality, state of the art space missions data. We employed the aperture photometry to analyze the data from the Kepler space telescope and the Transiting Exopla…
▽ More
This paper summarizes the project work on asteroseismology at the ERASMUS+ GATE 2020 Summer school on space satellite data. The aim was to do a global asteroseismic analysis of KIC 5006817 and quantify its stellar properties using the high-quality, state of the art space missions data. We employed the aperture photometry to analyze the data from the Kepler space telescope and the Transiting Exoplanet Survey Satellite (TESS). Using the lightkurve Python package, we have derived the asteroseismic parameters and calculated the stellar parameters using the scaling relations. Our analysis of KIC 5006817 confirmed its classification as a heartbeat binary. The rich oscillation spectrum facilitate estimating power excess ($ν_{\rm max}$) at 145.50$\pm$0.50 $μ$Hz and large frequency separation ($Δν$) to be 11.63$\pm$0.10 $μ$Hz. Our results showed that the primary component is a low-luminosity, red-giant branch star with a mass, radius, surface gravity, and luminosity of 1.53$\pm$0.07 M$_\odot$, 5.91$\pm$0.12 R$_\odot$, 3.08$\pm$0.01 dex, and 19.66$\pm$0.73 L$_\odot$, respectively. The orbital period of the system is 94.83$\pm$0.05 d.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
A Theoretical Study of (Full) Tabled Constraint Logic Programming
Authors:
Joaquín Arias,
Manuel Carro
Abstract:
Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and, in some cases, more efficient than LP, CLP, or LP with tabling. In this paper we provide insights regarding the semantics, correctness, completeness, and termination of top-down execution strategies for full TCLP, i.e., TCLP featuring entailment checking in the calls…
▽ More
Logic programming with tabling and constraints (TCLP, tabled constraint logic programming) has been shown to be more expressive and, in some cases, more efficient than LP, CLP, or LP with tabling. In this paper we provide insights regarding the semantics, correctness, completeness, and termination of top-down execution strategies for full TCLP, i.e., TCLP featuring entailment checking in the calls and in the answers. We present a top-down semantics for TCLP and show that it is equivalent to a fixpoint semantics. We study how the constraints that a program generates can effectively impact termination, even for constraint classes that are not constraint compact, generalizing previous results. We also present how different variants of constraint projection impact the correctness and completeness of TCLP implementations. All of the presented characteristics are implemented (or can be experimented with) in Mod TCLP, a modular framework for Tabled Constraint Logic Programming, part of the Ciao Prolog logic programming system.
△ Less
Submitted 28 September, 2020;
originally announced September 2020.
-
Justifications for Goal-Directed Constraint Answer Set Programming
Authors:
Joaquín Arias,
Manuel Carro,
Zhuo Chen,
Gopal Gupta
Abstract:
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable terms the advice given. Answer Set Programming has a rich semantics that makes it possible to very concisely express complex knowledge. However, justifying why an answer is a consequence from an ASP program may be non-tr…
▽ More
Ethical and legal concerns make it necessary for programs that may directly influence the life of people (via, e.g., legal or health counseling) to justify in human-understandable terms the advice given. Answer Set Programming has a rich semantics that makes it possible to very concisely express complex knowledge. However, justifying why an answer is a consequence from an ASP program may be non-trivial -- even more so when the user is an expert in a given domain, but not necessarily knowledgeable in ASP. Most ASP systems generate answers using SAT-solving procedures on ground rules that do not match how humans perceive reasoning. We propose using s(CASP), a query-driven, top-down execution model for predicate ASP with constraints to generate justification trees of (constrained) answer sets. The operational semantics of s(CASP) relies on backward chaining, which is intuitive to follow and lends itself to generating explanations that are easier to translate into natural language. We show how s(CASP) provides minimal justifications for, among others, relevant examples proposed in the literature, both as search trees but, more importantly, as explanations in natural language. We validate our design with real ASP applications and evaluate the cost of generating s(CASP) justification trees.
△ Less
Submitted 21 September, 2020;
originally announced September 2020.
-
The Making of 5G: Building an End-to-End 5G-Enabled System
Authors:
Idelkys Quintana-Ramirez,
Anthony Tsiopoulos,
Maria A Lema,
Fragkiskos Sardis,
Luis Sequeira,
James Arias,
Aravindh Raman,
Ali Azam,
Mischa Dohler
Abstract:
This article documents one of the world's first standards-compliant pre-commercial end-to-end 5th generation (5G) systems. Focus is on a standardized 5G architecture which includes the underlying 3GPP components but also the ETSI Network Function Virtualization (NFV) management and orchestration capabilities. The truly innovative character of 5G enabling fundamental changes to architecture and imp…
▽ More
This article documents one of the world's first standards-compliant pre-commercial end-to-end 5th generation (5G) systems. Focus is on a standardized 5G architecture which includes the underlying 3GPP components but also the ETSI Network Function Virtualization (NFV) management and orchestration capabilities. The truly innovative character of 5G enabling fundamental changes to architecture and implementation is discussed, and details of monitoring and orchestration approaches that are deemed instrumental in unlocking the full potential of 5G. Finally, it is important to us to share the lessons learned which we hope are of use to industry and academia alike when building, deploying and testing emerging 5G systems.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
Two-neutron transfer reactions as a tool to study the interplay between shape coexistence and quantum phase transitions
Authors:
J. E. García-Ramos,
J. M. Arias,
A. Vitturi
Abstract:
The goal of this study is to find an observable that could distinguish between both phenomena, shape coexistence and quantum phase transitions. The selected observable to be analyzed is the two-neutron transfer intensity between the 0+ states in the parent and daughter nuclei. The framework in which the study is done is the Interacting Boson Model (IBM), including its version with configuration mi…
▽ More
The goal of this study is to find an observable that could distinguish between both phenomena, shape coexistence and quantum phase transitions. The selected observable to be analyzed is the two-neutron transfer intensity between the 0+ states in the parent and daughter nuclei. The framework in which the study is done is the Interacting Boson Model (IBM), including its version with configuration mixing (IBM-CM). In order to generate the wave functions of the isotope chains of interest, needed for calculating transfer intensities, previous systematic studies with IBM and IBM-CM are taken without changing the parameters. Results for two-neutron transfer intensities are presented for Zr, Hg and Pt isotopic chains using IBM-CM and, moreover, the same is done for Zr, Pt and Sm isotopic chains using IBM with just a single configuration, i.e., without using configuration mixing. In the case of Zr, the two-neutron transfer intensities between the ground states provide a clear observable indicating that normal and intruder configurations coexist in the low-lying spectrum and that they cross at A=98->100, and this could allow to disentangle whether or not shape coexistence is inducing a given QPT. In the case of Pt, where shape coexistence is present and the regular and the intruder configurations cross for the ground state, there is almost no influence in the value of the two-neutron transfer, neither in the case of Hg where the ground state always has regular nature. For the Sm isotope chain that is one of the quantum phase transition paradigms, the value of the two-neutron transfer is strongly affected.
△ Less
Submitted 24 July, 2020;
originally announced July 2020.
-
Projective and Whittaker functors on category $\mathcal{O}$
Authors:
Juan Camilo Arias,
Erik Backelin
Abstract:
We show that the Whittaker functor on a regular block of the BGG-category $\mathcal{O}$ of a semisimple complex Lie algebra can be obtained by composing a translation to the wall functor with Soergel and Miličić's equivalence between the category of Whittaker modules and a singular block of $\mathcal{O}$. We show that the Whittaker functor is a quotient functor that commutes with all projective fu…
▽ More
We show that the Whittaker functor on a regular block of the BGG-category $\mathcal{O}$ of a semisimple complex Lie algebra can be obtained by composing a translation to the wall functor with Soergel and Miličić's equivalence between the category of Whittaker modules and a singular block of $\mathcal{O}$. We show that the Whittaker functor is a quotient functor that commutes with all projective functors and endomorphisms between them.
△ Less
Submitted 11 July, 2020;
originally announced July 2020.
-
The IACOB project. VI. On the elusive detection of massive O-type stars close to the ZAMS
Authors:
G. Holgado,
S. Simón-Díaz,
L. Haemmerlé,
D. J. Lennon,
R. H. Barbá,
M. Cerviño,
N. Castro,
A. Herrero,
G. Meynet,
J. I. Arias
Abstract:
The apparent lack of massive O-type stars near the zero-age main sequence (at ages < 2 Myr) is a topic widely discussed. Different explanations for this elusive detection have been proposed, but no firm conclusions have been reached yet. We reassess this empirical result benefiting from the high-quality spectroscopic observations of >400 Galactic O-type stars gathered by the IACOB and OWN surveys.…
▽ More
The apparent lack of massive O-type stars near the zero-age main sequence (at ages < 2 Myr) is a topic widely discussed. Different explanations for this elusive detection have been proposed, but no firm conclusions have been reached yet. We reassess this empirical result benefiting from the high-quality spectroscopic observations of >400 Galactic O-type stars gathered by the IACOB and OWN surveys. We used temperatures and gravities from a iacob-gbat/fastwind spectroscopic analysis to locate our sample in the Kiel and spectroscopic HR diagrams. We evaluated the completeness of our sample of stars, observational biases using information from the Galactic O star catalog (GOSC), systematics of our methodology, and compare with other recent studies using smaller samples of Galactic O-type stars. We base our discussion on the spectroscopic HR diagram to avoid the use of uncertain distances. We performed a detailed study of the young cluster Trumpler-14 as an example of how Gaia cluster distances can help to construct the associated classical HR diagram. The apparent lack of massive O-type stars near the ZAMS with masses between 30 and 70 Msol persist even when spectroscopic results from a large, non-biased sample of stars are used. We do not find correlation between the dearth of stars and observational biases, limitations of our methodology, or the use of spectroscopic HR diagram instead of the classical one. Investigating the efficiency of mass accretion during the formation process we conclude that an adjustment of the accretion rate towards lower values could reconcile the hotter boundary of detected O-type stars and the theoretical birthline. Last, we discuss that the presence of a small sample of O2-O3.5 stars found closer to the ZAMS might be explained taking into account non-standard star evolution (e.g. binary interaction, mergers, or homogeneous evolution).
△ Less
Submitted 5 July, 2020; v1 submitted 11 May, 2020;
originally announced May 2020.
-
On the importance of trip destination for modeling individual human mobility patterns
Authors:
Maxime Lenormand,
Juan Murillo Arias,
Maxi San Miguel,
José J. Ramasco
Abstract:
Getting insights on human mobility patterns and being able to reproduce them accurately is of the utmost importance in a wide range of applications from public health, to transport and urban planning. Still the relationship between the effort individuals will invest in a trip and its purpose importance is not taken into account in the individual mobility models that can be found in the recent lite…
▽ More
Getting insights on human mobility patterns and being able to reproduce them accurately is of the utmost importance in a wide range of applications from public health, to transport and urban planning. Still the relationship between the effort individuals will invest in a trip and its purpose importance is not taken into account in the individual mobility models that can be found in the recent literature. Here, we address this issue by introducing a model hypothesizing a relation between the importance of a trip and the distance traveled. In most practical cases, quantifying such importance is undoable. We overcome this difficulty by focusing on shop** trips (for which we have empirical data) and by taking the price of items as a proxy. Our model is able to reproduce the long-tailed distribution in travel distances empirically observed and to explain the scaling relationship between distance traveled and item value found in the data.
△ Less
Submitted 14 October, 2020; v1 submitted 3 April, 2020;
originally announced April 2020.
-
Similarity Isometries of Point Packings
Authors:
Jeanine Concepcion H. Arias,
Manuel Joseph C. Loquias
Abstract:
A linear isometry $R$ of $\mathbb{R}^d$ is called a similarity isometry of a lattice $Γ\subseteq \mathbb{R}^d$ if there exists a positive real number $β$ such that $βRΓ$ is a sublattice of (finite index in) $Γ$. The set $βRΓ$ is referred to as a similar sublattice of $Γ$. A (crystallographic) point packing generated by a lattice $Γ$ is a union of $Γ$ with finitely many shifted copies of $Γ$. In th…
▽ More
A linear isometry $R$ of $\mathbb{R}^d$ is called a similarity isometry of a lattice $Γ\subseteq \mathbb{R}^d$ if there exists a positive real number $β$ such that $βRΓ$ is a sublattice of (finite index in) $Γ$. The set $βRΓ$ is referred to as a similar sublattice of $Γ$. A (crystallographic) point packing generated by a lattice $Γ$ is a union of $Γ$ with finitely many shifted copies of $Γ$. In this study, the notion of similarity isometries is extended to point packings. We provide a characterization for the similarity isometries of point packings and identify the corresponding similar subpackings. Planar examples will be discussed, namely, the $1 \times 2$ rectangular lattice and the hexagonal packing (or honeycomb lattice). Finally, we also consider similarity isometries of point packings about points different from the origin by studying similarity isometries of shifted point packings. In particular, similarity isometries of a certain shifted hexagonal packing will be computed and compared with that of the hexagonal packing.
△ Less
Submitted 28 September, 2020; v1 submitted 18 February, 2020;
originally announced February 2020.