Showing 1–50 of 115 results for author: Luna, A

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.

Comments: 17 pages, 11 figures (+ appendix). Accepted for publication in Astronomy and Astrophysics in section 14: Catalogs and data

drGAT: Attention-Guided Gene Assessment of Drug Response Utilizing a Drug-Cell-Gene Heterogeneous Network

Authors: Yoshitaka Inoue, Hunmin Lee, Tianfan Fu, Augustin Luna

Abstract: Drug development is a lengthy process with a high failure rate. Increasingly, machine learning is utilized to facilitate the drug development processes. These models aim to enhance our understanding of drug characteristics, including their activity in biological contexts. However, a major challenge in drug response (DR) prediction is model interpretability as it aids in the validation of findings.… ▽ More Drug development is a lengthy process with a high failure rate. Increasingly, machine learning is utilized to facilitate the drug development processes. These models aim to enhance our understanding of drug characteristics, including their activity in biological contexts. However, a major challenge in drug response (DR) prediction is model interpretability as it aids in the validation of findings. This is important in biomedicine, where models need to be understandable in comparison with established knowledge of drug interactions with proteins. drGAT, a graph deep learning model, leverages a heterogeneous graph composed of relationships between proteins, cell lines, and drugs. drGAT is designed with two objectives: DR prediction as a binary sensitivity prediction and elucidation of drug mechanism from attention coefficients. drGAT has demonstrated superior performance over existing models, achieving 78\% accuracy (and precision), and 76\% F1 score for 269 DNA-damaging compounds of the NCI60 drug response dataset. To assess the model's interpretability, we conducted a review of drug-gene co-occurrences in Pubmed abstracts in comparison to the top 5 genes with the highest attention coefficients for each drug. We also examined whether known relationships were retained in the model by inspecting the neighborhoods of topoisomerase-related drugs. For example, our model retained TOP1 as a highly weighted predictive feature for irinotecan and topotecan, in addition to other genes that could potentially be regulators of the drugs. Our method can be used to accurately predict sensitivity to drugs and may be useful in the identification of biomarkers relating to the treatment of cancer patients. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Investigating the dissemination of STEM content on social media with computational tools

Authors: Oluwamayokun Oshinowo, Priscila Delgado, Meredith Fay, C. Alessandra Luna, Anjana Dissanayaka, Rebecca Jeltuhin, David R. Myers

Abstract: Social media platforms can quickly disseminate STEM content to diverse audiences, but their operation can be mysterious. We used open-source machine learning methods such as clustering, regression, and sentiment analysis to analyze over 1000 videos and metrics thereof from 6 social media STEM creators. Our data provide insights into how audiences generate interest signals(likes, bookmarks, comment… ▽ More Social media platforms can quickly disseminate STEM content to diverse audiences, but their operation can be mysterious. We used open-source machine learning methods such as clustering, regression, and sentiment analysis to analyze over 1000 videos and metrics thereof from 6 social media STEM creators. Our data provide insights into how audiences generate interest signals(likes, bookmarks, comments, shares), on the correlation of various signals with views, and suggest that content from newer creators is disseminated differently. We also share insights on how to optimize dissemination by analyzing data available exclusively to content creators as well as via sentiment analysis of comments. △ Less

Submitted 25 April, 2024; originally announced April 2024.

Comments: 17 pages, 3 figures, 3 supplemental figures

Black Hole Search by a Set of Scattered Agents in Dynamic Rings

Authors: Giuseppe Antonio Di Luna, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro

Abstract: In this paper we investigate the problem of searching for a black hole in a dynamic graph by a set of scattered agents (i.e., the agents start from arbitrary locations of the graph). The black hole is a node that silently destroys any agent visiting it. This kind of malicious node nicely models network failures such as a crashed host or a virus that erases the visiting agents. The black hole searc… ▽ More In this paper we investigate the problem of searching for a black hole in a dynamic graph by a set of scattered agents (i.e., the agents start from arbitrary locations of the graph). The black hole is a node that silently destroys any agent visiting it. This kind of malicious node nicely models network failures such as a crashed host or a virus that erases the visiting agents. The black hole search problem is solved when at least one agent survives, and it has the entire map of the graph with the location of the black hole. We consider the case in which the underlining graph is a dynamic 1-interval connected ring: a ring graph in which at each round at most one edge can be missing. We first show that the problem cannot be solved if the agents can only communicate by using a face-to-face mechanism: this holds for any set of agents of constant size, with respect to the size $n$ of the ring. To circumvent this impossibility we consider agents equipped with movable pebbles that can be left on nodes as a form of communication with other agents. When pebbles are available, three agents can localize the black hole in $O(n^2)$ moves. We show that such a number of agents is optimal. We also show that the complexity is tight, that is $Ω(n^2)$ moves are required for any algorithm solving the problem with three agents, even with stronger communication mechanisms (e.g., a whiteboard on each node on which agents can write messages of unlimited size). To the best of our knowledge this is the first paper examining the problem of searching a black hole in a dynamic environment with scattered agents. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: arXiv admin note: text overlap with arXiv:2005.07453

New candidate hypervelocity red clump stars in the inner Galactic bulge

Authors: A. Luna, T. Marchetti, M. Rejkuba, N. W. C. Leigh, J. Alonso-García, A. Valenzuela Navarro, D. Minniti, L. C. Smith

Abstract: We search for high-velocity stars in the inner region of the Galactic bulge using a selected sample of red clump stars. Some of those stars might be considered hypervelocity stars (HVSs). Even though the HVSs ejection relies on an interaction with the supermassive black hole (SMBH) at the centre of the Galaxy, there are no confirmed detections of HVSs in the inner region of our Galaxy. With the de… ▽ More We search for high-velocity stars in the inner region of the Galactic bulge using a selected sample of red clump stars. Some of those stars might be considered hypervelocity stars (HVSs). Even though the HVSs ejection relies on an interaction with the supermassive black hole (SMBH) at the centre of the Galaxy, there are no confirmed detections of HVSs in the inner region of our Galaxy. With the detection of HVSs, ejection mechanism models can be constrained by exploring the stellar dynamics in the Galactic centre through a recent stellar interaction with the SMBH. Based on a previously developed methodology by our group, we searched with a sample of preliminary data from version 2 of the Vista Variables in the Via Lactea (VVV) Infrared Astrometric Catalogue (VIRAC2) and Gaia DR3 data, including accurate optical and NIR proper motions. This search resulted in a sample of 46 stars with transverse velocities larger than the local escape velocity within the Galactic bulge, of which 4 are prime candidate HVSs with high-proper motions consistent with being ejections from the Galactic centre. Adding to that, we studied a sample of reddened stars without a Gaia DR3 counterpart and found 481 stars with transverse velocities larger than the local escape velocity, from which 65 stars have proper motions pointing out of the Galactic centre and are candidate HVSs. In total, we found 69 candidate HVSs pointing away from the Galactic centre with transverse velocities larger than the local escape velocity. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: Accepted for publication in MNRAS. 18 pages (5 of Appendix), 15 figures

Observables from the Spinning Eikonal

Authors: Andres Luna, Nathan Moynihan, Donal O'Connell, Alasdair Ross

Abstract: We study the classical dynamics of spinning particles using scattering amplitudes and eikonal exponentiation. We show that observables are determined by a simple algorithm. A wealth of complexity arises in perturbation theory as positions, momenta and spins must be iteratively corrected at each order. Even though we restrict ourselves to one-loop computations at quadratic order in spin, neverthele… ▽ More We study the classical dynamics of spinning particles using scattering amplitudes and eikonal exponentiation. We show that observables are determined by a simple algorithm. A wealth of complexity arises in perturbation theory as positions, momenta and spins must be iteratively corrected at each order. Even though we restrict ourselves to one-loop computations at quadratic order in spin, nevertheless we encounter and resolve a number of subtle effects. Finally, we clarify the links between our work and various other eikonal approaches to spinning observables. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 27 pages, plus references

Variable stars in the field of the Galactic bulge globular cluster NGC 6522

Authors: A. Arellano Ferro, Z. Prudil, M. A. Yepez, I. Bustos Fierro, A. Luna

Abstract: We present a comprehensive analysis of the variable stars projected on the field of the Galactic bulge globular cluster NGC 6522, offering valuable insights into their characteristics. Using proper motions from Gaia DR3, we aim to distinguish between field stars and true cluster members. For an accurate color-magnitude diagram of the member stars, we produced a differential reddening map. We detec… ▽ More We present a comprehensive analysis of the variable stars projected on the field of the Galactic bulge globular cluster NGC 6522, offering valuable insights into their characteristics. Using proper motions from Gaia DR3, we aim to distinguish between field stars and true cluster members. For an accurate color-magnitude diagram of the member stars, we produced a differential reddening map. We detect and discuss the peculiarities of variable stars of the types RR Lyrae, type II Cepheids, Long Period Variables (LPV) and eclipsing binaries, whose light curves are available through the OGLE III and IV databases. Notably, we explore the variable V24, which shows a prominent phase modulation resulting from period changes in a time scale of ~1100 days. The variable stars among the cluster members serve as indicators of the cluster metallicity and distance; these determinations are based on their light curves. With the Fourier light curve decomposition of three RRc stars, we have derived the following cluster parameters: the metallicity in the spectroscopic scale [Fe/H]$_{\rm UVES}$=--1.16 $\pm$0.09; and the mean distance $D=8.77 \pm 0.16$ kpc. △ Less

Submitted 24 October, 2023; originally announced October 2023.

Comments: 15 pages, 10 Figures, 3 tables

Quantum Field Theory, Worldline Theory, and Spin Magnitude Change in Orbital Evolution

Authors: Zvi Bern, Dimitrios Kosmopoulos, Andres Luna, Radu Roiban, Trevor Scheopner, Fei Teng, Justin Vines

Abstract: A previous paper~\cite{Bern:2022kto} identified a puzzle stemming from the amplitudes-based approach to spinning bodies in general relativity: additional Wilson coefficients appear compared to current worldline approaches to conservative dynamics of generic astrophysical objects, including neutron stars. In this paper we clarify the nature of analogous Wilson coefficients in the simpler theory of… ▽ More A previous paper~\cite{Bern:2022kto} identified a puzzle stemming from the amplitudes-based approach to spinning bodies in general relativity: additional Wilson coefficients appear compared to current worldline approaches to conservative dynamics of generic astrophysical objects, including neutron stars. In this paper we clarify the nature of analogous Wilson coefficients in the simpler theory of electrodynamics. We analyze the original field-theory construction, identifying definite-spin states some of which have negative norms, and relating the additional Wilson coefficients in the classical theory to transitions between different quantum spin states. We produce a new version of the theory which also has additional Wilson coefficients, but no negative-norm states. We match, through $\mathcal O(α^2)$ and $\mathcal O(S^2)$, the Compton amplitudes of these field theories with those of a modified worldline theory with extra degrees of freedom introduced by releasing the spin supplementary condition. We build an effective two-body Hamiltonian that matches the impulse and spin kick of the modified field theory and of the worldline theory, displaying additional Wilson coefficients compared to standard worldline approaches. The results are then compactly expressed in terms of an eikonal formula. Our key conclusion is that, contrary to standard approaches, while the magnitude of the spin tensor is still conserved, the magnitude of the spin vector can change under conserved Hamiltonian dynamics and this change is governed by the additional Wilson coefficients. For specific values of Wilson coefficients the results are equivalent to those from a definite spin obeying the spin supplementary condition, but for generic values they are physically inequivalent. These results warrant detailed studies of the corresponding issues in general relativity. △ Less

Submitted 1 March, 2024; v1 submitted 27 August, 2023; originally announced August 2023.

Comments: 96 pages, 3 figures

Astrometry in crowded fields towards the Galactic Bulge

Authors: Alonso Luna, Tommaso Marchetti, Marina Rejkuba, Dante Minniti, .

Abstract: The astrometry towards the Galactic Bulge is hampered by high stellar crowding and patchy extinction. This effect is particularly severe for optical surveys such as Gaia. In this study, we assess the consistency of proper motions (PMs) between optical (Gaia DR3) and near-infrared (VIRAC2) catalogues in comparison with PMs measured with the Hubble Space Telescope (HST) in several crowded fields tow… ▽ More The astrometry towards the Galactic Bulge is hampered by high stellar crowding and patchy extinction. This effect is particularly severe for optical surveys such as Gaia. In this study, we assess the consistency of proper motions (PMs) between optical (Gaia DR3) and near-infrared (VIRAC2) catalogues in comparison with PMs measured with the Hubble Space Telescope (HST) in several crowded fields towards the Galactic Bulge and in Galactic globular clusters. Assuming that the PMs are well characterised, the uncertainty-normalised PM differences between pairs of catalogues are expected to follow a normal distribution. A deviation from a normal distribution defines the inflation factor $r$. Multiplying the PM uncertainties by $r$ brings the Gaia (VIRAC2) PMs into a $1σ$ agreement with HST PMs. The factor $r$ has a dependence on stellar surface density and for the brightest stars in our sample (G<18), there is a strong dependence on G-band magnitude. Assuming that the HST PMs are well determined and free from systematic errors, we find that Gaia DR3 PM uncertainties are better characterised, having r<1.5, in fields under 200 Gaia DR3 sources per arcmin$^2$, and are underestimated by up to a factor of 4 in fields with more than 300 Gaia DR3 sources per arcmin$^2$. For the most crowded fields in VIRAC2, the PM uncertainties are underestimated by a factor of 1.1 up to 1.5, with a dependence on J-band magnitude. In all fields, the brighter sources have the larger $r$ value. At the faint end (G>19), $r$ is close to 1, meaning that the PMs already fully agree with the HST measurements within $1σ$. In the crowded fields with both catalogues in common, VIRAC2 PMs agree with HST PMs and do not need an inflation factor for their uncertainties. Given the depth and completeness of VIRAC2 in such fields, it is an ideal complement to Gaia DR3 for proper motion studies towards the Galactic Bulge. △ Less

Submitted 25 July, 2023; originally announced July 2023.

Comments: Accepted for publication in A&A. 11 pages (+6 in Appendix), 9 figures (+18 in Appendix), 4 tables

Journal ref: A&A 677, A185 (2023)

Multi-Scenario Empirical Assessment of Agile Governance Theory: A Technical Report

Authors: Alexandre J. H. de O. Luna, Marcelo L. M. Marinho

Abstract: Context: Agile Governance Theory (AGT) has emerged as a potential model for organizational chains of responsibility across business units and teams. Objective: This study aims to assess how AGT is reflected in practice. Method: AGT was operationalized down into 16 testable hypotheses. All hypotheses were tested by arranging eight theoretical scenarios with 118 practitioners from 86 organizations a… ▽ More Context: Agile Governance Theory (AGT) has emerged as a potential model for organizational chains of responsibility across business units and teams. Objective: This study aims to assess how AGT is reflected in practice. Method: AGT was operationalized down into 16 testable hypotheses. All hypotheses were tested by arranging eight theoretical scenarios with 118 practitioners from 86 organizations and 19 countries who completed an in-depth explanatory scenario-based survey. The feedback results were analyzed using Structural Equation Modeling (SEM) and Confirmatory Factor Analysis (CFA). Results: The analyses supported key theory components and hypotheses, such as mediation between agile capabilities and business operations through governance capabilities. Conclusion: This study supports the theory and suggests that AGT can assist teams in gaining a better understanding of their organization governance in an agile context. A better understanding can help remove delays and misunderstandings that can come about with unclear decision-making channels, which can jeopardize the fulfillment of the overall strategy. △ Less

Submitted 3 July, 2023; originally announced July 2023.

Comments: The full paper, "Agile governance theory: a multi-scenario empirical assessment", derived from this Technical Report, is published in the Revista Observatorio de La Economia Latinoamericana, ISSN 1696-8352. DOI: https://doi.org/10.55905/oelv21n6-135

Journal ref: Observatorio de la Economia Latinoamericana, 21(6), 5767 5800 (2023)

The variable stars in the field of NGC 6139: A critical approach to their reddening and membership

Authors: M. A. Yepez, A. Arellano Ferro, I. Bustos Fierro, A. Luna

Abstract: We present a CCD $VI$ time-series analysis of the globular cluster NGC 6139 and its variable star population. Using the astrometric data available in $Gaia$-DR3 we performed a membership analysis that enabled the construction of a clean Colour-Magnitude Diagram (CMD). Variable stars in the field of the cluster reported by $Gaia$-DR3 and newly discovered ones in this paper are classified and their… ▽ More We present a CCD $VI$ time-series analysis of the globular cluster NGC 6139 and its variable star population. Using the astrometric data available in $Gaia$-DR3 we performed a membership analysis that enabled the construction of a clean Colour-Magnitude Diagram (CMD). Variable stars in the field of the cluster reported by $Gaia$-DR3 and newly discovered ones in this paper are classified and their membership is critically evaluated. We report two cluster member RRc (V12, V15) and four SR (V13, V14, V17, V18) not previously detected and assign variable names to V11 and V16 detected by $Gaia$ as they proof to be cluster members. Light curves and periods for non-member $Gaia$ eclipsing binaries, semi regular variables and newly detected RR Lyrae stars are provided. Fourier decomposition of the light curves of the cluster member RRab and RRc stars leads to the values [Fe/H]=$-1.63$ dex, and distance of 9.63$\pm$0.68 kpc. The Oosterhoff type II nature of the cluster is confirmed. We adopted the mean reddening $E(B-V)$=0.786 mag and performed a differential reddening analysis based on the dispersion of the red giant branch. The differential map allowed a mild correction of the CMD. △ Less

Submitted 14 June, 2023; originally announced June 2023.

Comments: 12 pages, 10 figures, 5 tables

Adversarial Attacks against Binary Similarity Systems

Authors: Gianluca Capozzi, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni

Abstract: In recent years, binary analysis gained traction as a fundamental approach to inspect software and guarantee its security. Due to the exponential increase of devices running software, much research is now moving towards new autonomous solutions based on deep learning models, as they have been showing state-of-the-art performances in solving binary analysis problems. One of the hot topics in this c… ▽ More In recent years, binary analysis gained traction as a fundamental approach to inspect software and guarantee its security. Due to the exponential increase of devices running software, much research is now moving towards new autonomous solutions based on deep learning models, as they have been showing state-of-the-art performances in solving binary analysis problems. One of the hot topics in this context is binary similarity, which consists in determining if two functions in assembly code are compiled from the same source code. However, it is unclear how deep learning models for binary similarity behave in an adversarial context. In this paper, we study the resilience of binary similarity models against adversarial examples, showing that they are susceptible to both targeted and untargeted attacks (w.r.t. similarity goals) performed by black-box and white-box attackers. In more detail, we extensively test three current state-of-the-art solutions for binary similarity against two black-box greedy attacks, including a new technique that we call Spatial Greedy, and one white-box attack in which we repurpose a gradient-guided strategy used in attacks to image classifiers. △ Less

Submitted 3 November, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

The stellar population responsible for a kiloparsec size superbubble seen in the JWST "phantom" images of NGC628

Authors: Y. D. Mayya, J. A. Alzate, L. Lomelí-Núñez, J. Zaragoza-Cardiel, V. M. A. Gómez-González, S. Silich, D. Fernández-Arenas, O. Vega, P. A. Ovando, L. H. Rodríguez, D. Rosa-González, A. Luna, M. Zamora-Avilés, F. Rosales-Ortega

Abstract: We here study the multi-band properties of a kiloparsec-size superbubble in the late-type spiral galaxy NGC628. The superbubble is the largest of many holes seen in the early release images using JWST/MIRI filters that trace the Polycyclic Aromatic Hydrocarbon (PAH) emissions. The superbubble is located in the interarm region ~3 kpc from the galactic center in the south-east direction. The shell s… ▽ More We here study the multi-band properties of a kiloparsec-size superbubble in the late-type spiral galaxy NGC628. The superbubble is the largest of many holes seen in the early release images using JWST/MIRI filters that trace the Polycyclic Aromatic Hydrocarbon (PAH) emissions. The superbubble is located in the interarm region ~3 kpc from the galactic center in the south-east direction. The shell surrounding the superbubble is detected in HI, CO, and Halpha with an expansion velocity of 12 km/s, and contains as much as 2x10^7 Msun of mass in gas that is mostly in molecular form. We find a clear excess of blue, bright stars inside the bubble as compared to the surrounding disk on the HST/ACS images. These excess blue, bright stars are part of a stellar population of 10^5 Msun mass that is formed over the last 50 Myr in different star formation episodes, as determined from an analysis of color-magnitude diagrams using a Bayesian technique. The mechanical power injected by the massive stars of these populations is sufficient to provide the energy necessary for the expansion of the shell gas. Slow and steady, rather than violent, injection of energy is probably the reason for the maintenance of the shell structure over the kiloparsec scale. The expanding shell is currently the site for triggered star formation as inferred from the JWST 21 micron (F2100W filter) and the Halpha images. △ Less

Submitted 24 February, 2023; originally announced February 2023.

Comments: 18 pages, Accepted for publication in MNRAS

Near-Infrared Polarimetry and H$_2$ emission toward Massive Young Stars: Discovery of a Bipolar Outflow associated to S235 e2s3

Authors: R. Devaraj, A. Caratti o Garatti, L. K. Dewangan, R. Fedriani, T. P. Ray, A. Luna

Abstract: We present a near-infrared $H$ band polarimetric study toward the S235 e2s3 protostar, obtained using the POLICAN instrument on the 2.1m OAGH telescope. The images reveal a bipolar outflow with a total length of about 0.5pc. The outflow nebulosity presents a high degree of linear polarization ($\sim80\%$) and reveals a centrosymmetric pattern with the polarization position angles. The polarization… ▽ More We present a near-infrared $H$ band polarimetric study toward the S235 e2s3 protostar, obtained using the POLICAN instrument on the 2.1m OAGH telescope. The images reveal a bipolar outflow with a total length of about 0.5pc. The outflow nebulosity presents a high degree of linear polarization ($\sim80\%$) and reveals a centrosymmetric pattern with the polarization position angles. The polarization characteristics suggest their origin to be single scattering associated with dust in the outflow. Using multiwavelength archival data, we performed spectral energy distribution (SED) fitting based on radiative transfer models of turbulent core accretion theory. The best-fit SED model indicated that the protostar has a mass of $6.8\pm1.2\,M_\odot$, with a disk accretion rate of $3.6\pm1.2\times10^{-4}\,M_\odot\,yr^{-1}$ and a total bolometric luminosity of $9.63\pm2.1\times10^{3}\,L_\odot$. Narrowband H$_2$ ($2.12\,μ$m) observations show shocked emission along the bipolar lobes tracing the jet's interaction with the surrounding medium. The estimated H$_2$ luminosity of the outflow is $2.3_{-1.3}^{+3.5}\,L_\odot$, which matched the known power-law correlation with the source bolometric luminosity, similar to other high-mass outflows. The orientation of the bipolar outflow was found to be parallel to the local magnetic field direction. The overall results assert the fact that the S235 e2s3 source is a massive young star driving a highly collimated bipolar outflow through disk accretion. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 14 pages, 8 figures

Efficient Computation in Congested Anonymous Dynamic Networks

Authors: Giuseppe A. Di Luna, Giovanni Viglietta

Abstract: An anonymous dynamic network is a network of indistinguishable processes whose communication links may appear or disappear unpredictably over time. Previous research has shown that deterministically computing an arbitrary function of a multiset of input values given to these processes takes only a linear number of communication rounds (Di Luna-Viglietta, FOCS 2022). However, fast algorithms for… ▽ More An anonymous dynamic network is a network of indistinguishable processes whose communication links may appear or disappear unpredictably over time. Previous research has shown that deterministically computing an arbitrary function of a multiset of input values given to these processes takes only a linear number of communication rounds (Di Luna-Viglietta, FOCS 2022). However, fast algorithms for anonymous dynamic networks rely on the construction and transmission of large data structures called "history trees", whose size is polynomial in the number of processes. This approach is unfeasible if the network is congested, and only messages of logarithmic size can be sent through its links. Observe that sending a large message piece by piece over several rounds is not in itself a solution, due to the anonymity of the processes combined with the dynamic nature of the network. Moreover, it is known that certain basic tasks such as all-to-all token dissemination (by means of single-token forwarding) require $Ω(n^2/\log n)$ rounds in congested networks (Dutta et al., SODA 2013). In this work, we develop a series of practical and efficient techniques that make it possible to use history trees in congested anonymous dynamic networks. Among other applications, we show how to compute arbitrary functions in such networks in $O(n^3)$ communication rounds, greatly improving upon previous state-of-the-art algorithms for congested networks. △ Less

Submitted 29 June, 2024; v1 submitted 18 January, 2023; originally announced January 2023.

Comments: 26 pages, 2 figures

Where Did My Variable Go? Poking Holes in Incomplete Debug Information

Authors: Cristian Assaiante, Daniele Cono D'Elia, Giuseppe Antonio Di Luna, Leonardo Querzoni

Abstract: The availability of debug information for optimized executables can largely ease crucial tasks such as crash analysis. Source-level debuggers use this information to display program state in terms of source code, allowing users to reason on it even when optimizations alter program structure extensively. A few recent endeavors have proposed effective methodologies for identifying incorrect instance… ▽ More The availability of debug information for optimized executables can largely ease crucial tasks such as crash analysis. Source-level debuggers use this information to display program state in terms of source code, allowing users to reason on it even when optimizations alter program structure extensively. A few recent endeavors have proposed effective methodologies for identifying incorrect instances of debug information, which can mislead users by presenting them with an inconsistent program state. In this work, we identify and study a related important problem: the completeness of debug information. Unlike correctness issues for which an unoptimized executable can serve as reference, we find there is no analogous oracle to deem when the cause behind an unreported part of program state is an unavoidable effect of optimization or a compiler implementation defect. In this scenario, we argue that empirically derived conjectures on the expected availability of debug information can serve as an effective means to expose classes of these defects. We propose three conjectures involving variable values and study how often synthetic programs compiled with different configurations of the popular gcc and LLVM compilers deviate from them. We then discuss techniques to pinpoint the optimizations behind such violations and minimize bug reports accordingly. Our experiments revealed, among others, 24 bugs already confirmed by the developers of the gcc-gdb and clang-lldb ecosystems. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: Full online version (includes an Appendix not in the ASPLOS proceedings)

Journal ref: Proceedings of ASPLOS 2023 - 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems

Scattering Angles in Kerr Metrics

Authors: Poul H. Damgaard, Jitze Hoogeveen, Andres Luna, Justin Vines

Abstract: Scattering angles for probes in Kerr metrics are derived for scattering in the equatorial plane of the black hole. We use a method that naturally resums all orders in the spin of the Kerr black hole, thus facilitating comparisons with scattering-angle computations based on the Post-Minkowskian expansion from scattering amplitudes or worldline calculations. We extend these results to spinning black… ▽ More Scattering angles for probes in Kerr metrics are derived for scattering in the equatorial plane of the black hole. We use a method that naturally resums all orders in the spin of the Kerr black hole, thus facilitating comparisons with scattering-angle computations based on the Post-Minkowskian expansion from scattering amplitudes or worldline calculations. We extend these results to spinning black-hole probes up to and including second order in the probe spin and any order in the Post- Minkowskian expansion, for probe spins aligned with the Kerr spin. When truncating to third Post-Minkowskian order, our results agree with those obtained by amplitude and worldline methods. △ Less

Submitted 23 August, 2022; originally announced August 2022.

Comments: 18 pages, 3 tables

An economical in-class sticker microfluidic activity develops student expertise in microscale physics and device manufacturing

Authors: Priscilla Delgado, C. Alessandra Luna, Anjana Dissanayaka, Oluwamayokun Oshinowo, Jesse J Waggoner, Sara Schley, Todd Fernandez, David R. Myers

Abstract: Learning miniaturization science remains challenging due to the non-intuitive behavior of microscale objects and complex assembly approaches. Traditional approaches for creating microsystems require expensive equipment, facilities, and trained staff. To improve as well as democratize microdevice education, we created a new educational activity that enables students to build and test advanced micro… ▽ More Learning miniaturization science remains challenging due to the non-intuitive behavior of microscale objects and complex assembly approaches. Traditional approaches for creating microsystems require expensive equipment, facilities, and trained staff. To improve as well as democratize microdevice education, we created a new educational activity that enables students to build and test advanced microfluidics by leveraging sticker microfluidics, composed of double-sided dry film adhesive layers. Along with T-mixers and bubble generators, our activity is the first to enable students to build a valve and F-mixer in the classroom setting. This helps emphasize less intuitive aspects of device manufacturing such as the creation of complex 3-dimenstional shapes with layers and layer alignment. In addition, this paper provides the first reported quantitative data on significant improvements in student knowledge and confidence from building and testing several common devices. All 11 students had substantial improvements in conceptual mastery and confidence after the activity. Student responses to a guided reflection highlight how the activity supports a variety of learning needs and preferences. Given the impact on student learning, our low-cost activity helps reduce global barriers to miniaturization science education. △ Less

Submitted 22 August, 2022; originally announced August 2022.

Comments: 6 figures, 24 pages

Why is the Weyl double copy local in position space?

Authors: Andres Luna, Nathan Moynihan, Chris D. White

Abstract: The double copy relates momentum-space scattering amplitudes in gauge and gravity theories. It has also been extended to classical solutions, where in some cases an exact double copy can be formulated directly in terms of products of fields in position space. This is seemingly at odds with the momentum-space origins of the double copy, and the question of why exact double copies are possible in po… ▽ More The double copy relates momentum-space scattering amplitudes in gauge and gravity theories. It has also been extended to classical solutions, where in some cases an exact double copy can be formulated directly in terms of products of fields in position space. This is seemingly at odds with the momentum-space origins of the double copy, and the question of why exact double copies are possible in position space and when this form will break has remained largely unanswered. In this paper, we provide an answer to this question, using a recently developed twistorial formulation of the double copy. We show that for certain vacuum type-D solutions, the momentum-space, twistor-space and position-space double copies amount to the same thing, and are directly related by integral transforms. Locality in position space is ultimately a consequence of the very special form of momentum-space three-point amplitudes, and we thus confirm suspicions that local position-space double copies are possible only for highly algebraically-special spacetimes. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 23 pages plus references, 5 figures

Report number: QMUL-PH-22-24

BinBert: Binary Code Understanding with a Fine-tunable and Execution-aware Transformer

Authors: Fiorella Artuso, Marco Mormando, Giuseppe A. Di Luna, Leonardo Querzoni

Abstract: A recent trend in binary code analysis promotes the use of neural solutions based on instruction embedding models. An instruction embedding model is a neural network that transforms sequences of assembly instructions into embedding vectors. If the embedding network is trained such that the translation from code to vectors partially preserves the semantic, the network effectively represents an asse… ▽ More A recent trend in binary code analysis promotes the use of neural solutions based on instruction embedding models. An instruction embedding model is a neural network that transforms sequences of assembly instructions into embedding vectors. If the embedding network is trained such that the translation from code to vectors partially preserves the semantic, the network effectively represents an assembly code model. In this paper we present BinBert, a novel assembly code model. BinBert is built on a transformer pre-trained on a huge dataset of both assembly instruction sequences and symbolic execution information. BinBert can be applied to assembly instructions sequences and it is fine-tunable, i.e. it can be re-trained as part of a neural architecture on task-specific data. Through fine-tuning, BinBert learns how to apply the general knowledge acquired with pre-training to the specific task. We evaluated BinBert on a multi-task benchmark that we specifically designed to test the understanding of assembly code. The benchmark is composed of several tasks, some taken from the literature, and a few novel tasks that we designed, with a mix of intrinsic and downstream tasks. Our results show that BinBert outperforms state-of-the-art models for binary instruction embedding, raising the bar for binary code understanding. △ Less

Submitted 13 August, 2022; originally announced August 2022.

Optimal Computation in Anonymous Dynamic Networks

Authors: Giuseppe A. Di Luna, Giovanni Viglietta

Abstract: We give a simple characterization of which functions can be computed deterministically by anonymous processes in dynamic networks, depending on the number of leaders in the network. In addition, we provide efficient distributed algorithms for computing all such functions assuming minimal or no knowledge about the network. Each of our algorithms comes in two versions: one that terminates with the c… ▽ More We give a simple characterization of which functions can be computed deterministically by anonymous processes in dynamic networks, depending on the number of leaders in the network. In addition, we provide efficient distributed algorithms for computing all such functions assuming minimal or no knowledge about the network. Each of our algorithms comes in two versions: one that terminates with the correct output and a faster one that stabilizes on the correct output without explicit termination. Notably, these are the first deterministic algorithms whose running times scale linearly with both the number of processes and a parameter of the network which we call "dynamic disconnectivity" (meaning that our dynamic networks do not necessarily have to be connected at all times). We also provide matching lower bounds, showing that all our algorithms are asymptotically optimal for any fixed number of leaders. While most of the existing literature on anonymous dynamic networks relies on classic mass-distribution techniques, our work makes use of a novel combinatorial structure called "history tree", which is of independent interest. Among other contributions, our results make conclusive progress on two popular fundamental problems for anonymous dynamic networks: leaderless Average Consensus (i.e., computing the mean value of input numbers distributed among the processes) and multi-leader Counting (i.e., determining the exact number of processes in the network). Our contribution not only opens a promising line of research on applications of history trees, but also demonstrates that computation in anonymous dynamic networks is practically feasible and far less demanding than previously conjectured. △ Less

Submitted 5 April, 2024; v1 submitted 16 July, 2022; originally announced July 2022.

Comments: 50 pages, 10 figures

Thomae's function and the space of ergodic measures

Authors: Anton Gorodetski, Alexandro Luna

Abstract: We study the space of ergodic measures of the map $$f:\mathbb{T}^2\to \mathbb{T}^2, \ f(x, y)=(x, \ x+y)(\text{mod}\, 1),$$ and show that its structure is similar to the graph of Thomae's function. We study the space of ergodic measures of the map $$f:\mathbb{T}^2\to \mathbb{T}^2, \ f(x, y)=(x, \ x+y)(\text{mod}\, 1),$$ and show that its structure is similar to the graph of Thomae's function. △ Less

Submitted 28 June, 2022; originally announced June 2022.

Comments: 6 pages, 2 figures

MSC Class: 37E99

Image Data collection and implementation of deep learning-based model in detecting Monkeypox disease using modified VGG16

Authors: Md Manjurul Ahsan, Muhammad Ramiz Uddin, Mithila Farjana, Ahmed Nazmus Sakib, Khondhaker Al Momin, Shahana Akter Luna

Abstract: While the world is still attempting to recover from the damage caused by the broad spread of COVID-19, the Monkeypox virus poses a new threat of becoming a global pandemic. Although the Monkeypox virus itself is not deadly and contagious as COVID-19, still every day, new patients case has been reported from many nations. Therefore, it will be no surprise if the world ever faces another global pand… ▽ More While the world is still attempting to recover from the damage caused by the broad spread of COVID-19, the Monkeypox virus poses a new threat of becoming a global pandemic. Although the Monkeypox virus itself is not deadly and contagious as COVID-19, still every day, new patients case has been reported from many nations. Therefore, it will be no surprise if the world ever faces another global pandemic due to the lack of proper precautious steps. Recently, Machine learning (ML) has demonstrated huge potential in image-based diagnoses such as cancer detection, tumor cell identification, and COVID-19 patient detection. Therefore, a similar application can be adopted to diagnose the Monkeypox-related disease as it infected the human skin, which image can be acquired and further used in diagnosing the disease. Considering this opportunity, in this work, we introduce a newly developed "Monkeypox2022" dataset that is publicly available to use and can be obtained from our shared GitHub repository. The dataset is created by collecting images from multiple open-source and online portals that do not impose any restrictions on use, even for commercial purposes, hence giving a safer path to use and disseminate such data when constructing and deploying any type of ML model. Further, we propose and evaluate a modified VGG16 model, which includes two distinct studies: Study One and Two. Our exploratory computational results indicate that our suggested model can identify Monkeypox patients with an accuracy of $97\pm1.8\%$ (AUC=97.2) and $88\pm0.8\%$ (AUC=0.867) for Study One and Two, respectively. Additionally, we explain our model's prediction and feature extraction utilizing Local Interpretable Model-Agnostic Explanations (LIME) help to a deeper insight into specific features that characterize the onset of the Monkeypox virus. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Monkeypox Image Data collection

Authors: Md Manjurul Ahsan, Muhammad Ramiz Uddin, Shahana Akter Luna

Abstract: This paper explains the initial Monkeypox Open image data collection procedure. It was created by assembling images collected from websites, newspapers, and online portals and currently contains around 1905 images after data augmentation. This paper explains the initial Monkeypox Open image data collection procedure. It was created by assembling images collected from websites, newspapers, and online portals and currently contains around 1905 images after data augmentation. △ Less

Submitted 3 June, 2022; originally announced June 2022.

Comments: This is the attempt of creating monkeypox image dataset collected from various sources and it will continue to update by collectiong samples from journals and other public access domains

Computing in Anonymous Dynamic Networks Is Linear

Authors: Giuseppe A. Di Luna, Giovanni Viglietta

Abstract: We give the first linear-time counting algorithm for processes in anonymous 1-interval-connected dynamic networks with a leader. As a byproduct, we are able to compute in $3n$ rounds every function that is deterministically computable in such networks. If explicit termination is not required, the running time improves to $2n$ rounds, which we show to be optimal up to a small additive constant (thi… ▽ More We give the first linear-time counting algorithm for processes in anonymous 1-interval-connected dynamic networks with a leader. As a byproduct, we are able to compute in $3n$ rounds every function that is deterministically computable in such networks. If explicit termination is not required, the running time improves to $2n$ rounds, which we show to be optimal up to a small additive constant (this is also the first non-trivial lower bound for counting). As our main tool of investigation, we introduce a combinatorial structure called "history tree", which is of independent interest. This makes our paper completely self-contained, our proofs elegant and transparent, and our algorithms straightforward to implement. In recent years, considerable effort has been devoted to the design and analysis of counting algorithms for anonymous 1-interval-connected networks with a leader. A series of increasingly sophisticated works, mostly based on classical mass-distribution techniques, have recently led to a celebrated counting algorithm in $O({n^{4+ ε}} \log^{3} (n))$ rounds (for $ε>0$), which was the state of the art prior to this paper. Our contribution not only opens a promising line of research on applications of history trees, but also demonstrates that computation in anonymous dynamic networks is practically feasible, and far less demanding than previously conjectured. △ Less

Submitted 20 February, 2024; v1 submitted 5 April, 2022; originally announced April 2022.

Comments: 34 pages, 8 figures

Binary Dynamics Through the Fifth Power of Spin at $\mathcal{O}(G^2)$

Authors: Zvi Bern, Dimitrios Kosmopoulos, Andrés Luna, Radu Roiban, Fei Teng

Abstract: We use a previously developed scattering-amplitudes-based framework for determining two-body Hamiltonians for generic binary systems with arbitrary spin $S$. By construction this formalism bypasses difficulties with unphysical singularities or higher-time derivatives. This framework has been previously used to obtain the exact velocity dependence of the $\mathcal O(G^2)$ quadratic-in-spin two-body… ▽ More We use a previously developed scattering-amplitudes-based framework for determining two-body Hamiltonians for generic binary systems with arbitrary spin $S$. By construction this formalism bypasses difficulties with unphysical singularities or higher-time derivatives. This framework has been previously used to obtain the exact velocity dependence of the $\mathcal O(G^2)$ quadratic-in-spin two-body Hamiltonian. We first evaluate the $S^3$ scattering angle and two-body Hamiltonian at this order in $G$, including not only all operators corresponding to the usual worldline operators, but also an additional set due to an interesting subtlety. We then evaluate $S^4$ and $S^5$ contributions at $\mathcal O(G^2)$ which we confirm by comparing against aligned-spin results. We conjecture that a certain shift symmetry together with a constraint on the high-energy growth of the scattering amplitude specify the Wilson coefficients for the Kerr black hole to all orders in the spin and confirm that they reproduce the previously-obtained results through $S^4$. △ Less

Submitted 28 December, 2022; v1 submitted 11 March, 2022; originally announced March 2022.

Comments: 8 pages and ancillary files; v2: references added; typos corrected; presentation improved; v3: accepted for publication; additional data on aligned-spin scattering angles included as ancillary files

Scalar QED as a toy model for higher-order effects in classical gravitational scattering

Authors: Zvi Bern, Juan Pablo Gatica, Enrico Herrmann, Andres Luna, Mao Zeng

Abstract: Quantum Electrodynamics (QED) serves as a useful toy model for classical observables in gravitational two-body systems with reduced complexity due to the linearity of QED. We investigate scattering observables in scalar QED at the sixth order in the charges (two-loop order) in a classical regime analogous to the post-Minkowskian expansion in General Relativity. We employ modern scattering amplitud… ▽ More Quantum Electrodynamics (QED) serves as a useful toy model for classical observables in gravitational two-body systems with reduced complexity due to the linearity of QED. We investigate scattering observables in scalar QED at the sixth order in the charges (two-loop order) in a classical regime analogous to the post-Minkowskian expansion in General Relativity. We employ modern scattering amplitude tools and extract classical observables by both eikonal methods and the formalism of Kosower, Maybee, and O'Connell (KMOC). In addition, we provide a simplified approach to extracting the radial action beyond the conservative sector. △ Less

Submitted 22 December, 2021; originally announced December 2021.

Comments: 44pages; Results included as an ancillary file

Performance of BeBe, a proposed dedicated beam-beam monitoring detector for the MPD-NICA experiment at JINR

Authors: Marco Alberto Ayala Torres, Lucina Gabriela Espinoza Beltrán, Marcos Aurelio Fontaine Sánchez, Luis A. Hernández-Cruz, Luis Manuel Montaño, Braian Adair Maldonado Luna, Eduardo Moreno-Barbosa, Lucio Fidel Rebolledo Herrera, Mario Rodríguez-Cahuantzi, Valeria Z. Reyna-Ortiz, Guillermo Tejeda-Muñoz, C. H. Zepeda Fernández

Abstract: The Multipurpose Detector (MPD) is an experimental array, currently under construction, designed to study the nuclear matter created during the collisions that will be provided by the Nuclotron-based Ion Collider fAcility (NICA) at JINR. The MPD-NICA experiment consists of a typical array of particle detectors as those used to study heavy-ion collisions at LHC and RHIC. To increase the trigger cap… ▽ More The Multipurpose Detector (MPD) is an experimental array, currently under construction, designed to study the nuclear matter created during the collisions that will be provided by the Nuclotron-based Ion Collider fAcility (NICA) at JINR. The MPD-NICA experiment consists of a typical array of particle detectors as those used to study heavy-ion collisions at LHC and RHIC. To increase the trigger capabilities of MPD for stage 2 of NICA operation, a detector conformed by two arrays of 80 plastic scintillator cells each located symmetrically at opposite sides of the interaction point of MPD is proposed (BeBe). Based on Monte Carlo simulations, a discussion of the potential physics performance of BeBe detector is given for triggering tasks and for the resolution in the determination of the event plane reaction and the centrality of the collisions at NICA. Also, laboratory measurements to estimate the time resolution of individual BeBe cells prototypes are presented. It is shown that a time resolution between 0.65 and 1.48 ns can be reached depending on the number of photosensors employed to collect the scintillation photons. The BeBe detector will be complementary to FFD and FHCAL forward detectors. △ Less

Submitted 24 August, 2022; v1 submitted 6 October, 2021; originally announced October 2021.

Comments: 30 pages, 25 figures. Submitted to JINST

The double copy of the multipole expansion

Authors: Erick Chacón, Andres Luna, Chris D. White

Abstract: We consider the classical double copy, that relates solutions of biadjoint scalar, gauge and gravity theories. Using a recently developed twistor expression of this idea, we use well-established techniques to show that the multipole moments of arbitrary vacuum type D gravity fields are straightforwardly mapped to their counterparts in gauge and biadjoint scalar theory by the single and zeroth copi… ▽ More We consider the classical double copy, that relates solutions of biadjoint scalar, gauge and gravity theories. Using a recently developed twistor expression of this idea, we use well-established techniques to show that the multipole moments of arbitrary vacuum type D gravity fields are straightforwardly mapped to their counterparts in gauge and biadjoint scalar theory by the single and zeroth copies. We cross-check our results using previously obtained results for the Kerr metric. Our results provide further physical intuition of how the double copy operates. △ Less

Submitted 17 August, 2021; originally announced August 2021.

Comments: 9 pages plus references, 1 figure

Report number: QMUL-PH-21-35

Yang-Mills observables: from KMOC to eikonal through EFT

Authors: Leonardo de la Cruz, Andres Luna, Trevor Scheopner

Abstract: We obtain a conservative Hamiltonian describing the interactions of two charged bodies in Yang-Mills through $\mathcal{O}(α^2)$ and to all orders in velocity. Our calculation extends a recently-introduced framework based on scattering amplitudes and effective field theory (EFT) to consider color-charged objects. These results are checked against the direct integration of the observables in the Kos… ▽ More We obtain a conservative Hamiltonian describing the interactions of two charged bodies in Yang-Mills through $\mathcal{O}(α^2)$ and to all orders in velocity. Our calculation extends a recently-introduced framework based on scattering amplitudes and effective field theory (EFT) to consider color-charged objects. These results are checked against the direct integration of the observables in the Kosower-Maybee-O'Connell (KMOC) formalism. At the order we consider we find that the linear and color impulses in a scattering event can be concisely described in terms of the eikonal phase, thus extending the domain of applicability of a formula originally proposed in the context of spinning particles. △ Less

Submitted 4 August, 2021; originally announced August 2021.

Comments: 18 pages + References. arXiv admin note: text overlap with arXiv:2102.10137

Poisson brackets on some skew PBW extensions

Authors: Brian Andres Zambrano Luna

Abstract: In [1] the author gives a description of Poisson brackets on some algebras of quantum polynomials $\mathcal{O}_q$, which is called\textit{ general algebra of quantum polynomials}. The main of this paper is to present a generalization of [1] through a description of Poisson brackets on some skew PBW extensions of a ring $A$ by the extensions $\mathcal{O}^{r,n}_{q,δ}$, which are a generalization of… ▽ More In [1] the author gives a description of Poisson brackets on some algebras of quantum polynomials $\mathcal{O}_q$, which is called\textit{ general algebra of quantum polynomials}. The main of this paper is to present a generalization of [1] through a description of Poisson brackets on some skew PBW extensions of a ring $A$ by the extensions $\mathcal{O}^{r,n}_{q,δ}$, which are a generalization of $\mathcal{O}_q$ and show some examples of skew PBW extension where we can apply this description. △ Less

Submitted 19 July, 2021; originally announced July 2021.

The COMBS Survey -- III. The Chemodynamical Origins of Metal-Poor Bulge Stars

Authors: Madeline Lucey, Keith Hawkins, Melissa Ness, Tyler Nelson, Victor P. Debattista, Alice Luna, Thomas Bensby, Kenneth C. Freeman, Chiaki Kobayashi

Abstract: The characteristics of the stellar populations in the Galactic Bulge inform and constrain the Milky Way's formation and evolution. The metal-poor population is particularly important in light of cosmological simulations, which predict that some of the oldest stars in the Galaxy now reside in its center. The metal-poor bulge appears to consist of multiple stellar populations that require dynamical… ▽ More The characteristics of the stellar populations in the Galactic Bulge inform and constrain the Milky Way's formation and evolution. The metal-poor population is particularly important in light of cosmological simulations, which predict that some of the oldest stars in the Galaxy now reside in its center. The metal-poor bulge appears to consist of multiple stellar populations that require dynamical analyses to disentangle. In this work, we undertake a detailed chemodynamical study of the metal-poor stars in the inner Galaxy. Using R$\sim$ 20,000 VLT/GIRAFFE spectra of 319 metal-poor (-2.55 dex$\leq$[Fe/H]$\leq$0.83 dex, with $\overline{\rm{[Fe/H]}}$=-0.84 dex) stars, we perform stellar parameter analysis and report 12 elemental abundances (C, Na, Mg, Al, Si, Ca, Sc, Ti, Cr, Mn, Zn, Ba, and Ce) with precisions of $\approx$0.10 dex. Based on kinematic and spatial properties, we categorise the stars into four groups, associated with the following Galactic structures: the inner bulge, the outer bulge, the halo, and the disk. We find evidence that the inner and outer bulge population is more chemically complex (i.e., higher chemical dimensionality and less correlated abundances) than the halo population. This result suggests that the older bulge population was enriched by a larger diversity of nucleosynthetic events. We also find one inner bulge star with a [Ca/Mg] ratio consistent with theoretical pair-instability supernova yields and two stars that have chemistry consistent with globular cluster stars. △ Less

Submitted 1 October, 2021; v1 submitted 6 July, 2021; originally announced July 2021.

Comments: 26 pages, 15 figures, accepted to MNRAS

3D Reconstruction and Alignment by Consumer RGB-D Sensors and Fiducial Planar Markers for Patient Positioning in Radiation Therapy

Authors: Hamid Sarmadi, Rafael Muñoz-Salinas, M. Álvaro Berbís, Antonio Luna, Rafael Medina-Carnicer

Abstract: BACKGROUND AND OBJECTIVE: Patient positioning is a crucial step in radiation therapy, for which non-invasive methods have been developed based on surface reconstruction using optical 3D imaging. However, most solutions need expensive specialized hardware and a careful calibration procedure that must be repeated over time.This paper proposes a fast and cheap patient positioning method based on inex… ▽ More BACKGROUND AND OBJECTIVE: Patient positioning is a crucial step in radiation therapy, for which non-invasive methods have been developed based on surface reconstruction using optical 3D imaging. However, most solutions need expensive specialized hardware and a careful calibration procedure that must be repeated over time.This paper proposes a fast and cheap patient positioning method based on inexpensive consumer level RGB-D sensors. METHODS: The proposed method relies on a 3D reconstruction approach that fuses, in real-time, artificial and natural visual landmarks recorded from a hand-held RGB-D sensor. The video sequence is transformed into a set of keyframes with known poses, that are later refined to obtain a realistic 3D reconstruction of the patient. The use of artificial landmarks allows our method to automatically align the reconstruction to a reference one, without the need of calibrating the system with respect to the linear accelerator coordinate system. RESULTS:The experiments conducted show that our method obtains a median of 1 cm in translational error, and 1 degree of rotational error with respect to reference pose. Additionally, the proposed method shows as visual output overlayed poses (from the reference and the current scene) and an error map that can be used to correct the patient's current pose to match the reference pose. CONCLUSIONS: A novel approach to obtain 3D body reconstructions for patient positioning without requiring expensive hardware or dedicated graphic cards is proposed. The method can be used to align in real time the patient's current pose to a preview pose, which is a relevant step in radiation therapy. △ Less

Submitted 22 March, 2021; originally announced March 2021.

Comments: 11 pages, 5 figures

Probabilistic combination of eigenlungs-based classifiers for COVID-19 diagnosis in chest CT images

Authors: Juan E. Arco, Andrés Ortiz, Javier Ramírez, Francisco J. Martínez-Murcia, Yu-Dong Zhang, Jordi Broncano, M. Álvaro Berbís, Javier Royuela-del-Val, Antonio Luna, Juan M. Górriz

Abstract: The outbreak of the COVID-19 (Coronavirus disease 2019) pandemic has changed the world. According to the World Health Organization (WHO), there have been more than 100 million confirmed cases of COVID-19, including more than 2.4 million deaths. It is extremely important the early detection of the disease, and the use of medical imaging such as chest X-ray (CXR) and chest Computed Tomography (CCT)… ▽ More The outbreak of the COVID-19 (Coronavirus disease 2019) pandemic has changed the world. According to the World Health Organization (WHO), there have been more than 100 million confirmed cases of COVID-19, including more than 2.4 million deaths. It is extremely important the early detection of the disease, and the use of medical imaging such as chest X-ray (CXR) and chest Computed Tomography (CCT) have proved to be an excellent solution. However, this process requires clinicians to do it within a manual and time-consuming task, which is not ideal when trying to speed up the diagnosis. In this work, we propose an ensemble classifier based on probabilistic Support Vector Machine (SVM) in order to identify pneumonia patterns while providing information about the reliability of the classification. Specifically, each CCT scan is divided into cubic patches and features contained in each one of them are extracted by applying kernel PCA. The use of base classifiers within an ensemble allows our system to identify the pneumonia patterns regardless of their size or location. Decisions of each individual patch are then combined into a global one according to the reliability of each individual classification: the lower the uncertainty, the higher the contribution. Performance is evaluated in a real scenario, yielding an accuracy of 97.86%. The large performance obtained and the simplicity of the system (use of deep learning in CCT images would result in a huge computational cost) evidence the applicability of our proposal in a real-world environment. △ Less

Submitted 26 September, 2022; v1 submitted 4 March, 2021; originally announced March 2021.

Comments: 15 pages, 9 figures

Magnetic fields and Star Formation around HII regions: The S235 complex

Authors: R. Devaraj, D. P. Clemens, L. K. Dewangan, A. Luna, T. P. Ray, J. Mackey

Abstract: Magnetic fields are ubiquitous and essential in star formation. In particular, their role in regulating formation of stars across diverse environments like HII regions needs to be well understood. In this study, we present magnetic field properties towards the S235 complex using near-infrared (NIR) $H$-band polarimetric observations, obtained with the Mimir and POLICAN instruments. We selected 375… ▽ More Magnetic fields are ubiquitous and essential in star formation. In particular, their role in regulating formation of stars across diverse environments like HII regions needs to be well understood. In this study, we present magnetic field properties towards the S235 complex using near-infrared (NIR) $H$-band polarimetric observations, obtained with the Mimir and POLICAN instruments. We selected 375 background stars in the field through combination of Gaia distances and extinctions from NIR colors. The plane-of-sky (POS) magnetic field orientations inferred from starlight polarization angles reveal a curved morphology tracing the spherical shell of the HII region. The large-scale magnetic field traced by Planck is parallel to the Galactic plane. We identified 11 dense clumps using $1.1\,\mathrm{mm}$ dust emission, with masses between $33-525\,\rm M_\odot$. The clump averaged POS magnetic field strengths were estimated to be between $36-121\,\mathrm{μG}$, with a mean of ${\sim}65\,\mathrm{μG}$. The mass-to-flux ratios for the clumps are found to be sub-critical with turbulent Alfvén Mach numbers less than 1, indicating a strongly magnetized region. The clumps show scaling of magnetic field strength vs density with a power-law index of $0.52\pm0.07$, similar to ambipolar diffusion models. Our results indicate the S235 complex is a region where stellar feedback triggers new stars and the magnetic fields regulate the rate of new star formation. △ Less

Submitted 4 March, 2021; originally announced March 2021.

Journal ref: The Astrophysical Journal, 2021

Quadratic-in-Spin Hamiltonian at $\mathcal{O}(G^2)$ from Scattering Amplitudes

Authors: Dimitrios Kosmopoulos, Andres Luna

Abstract: We obtain the quadratic-in-spin terms of the conservative Hamiltonian describing the interactions of a binary of spinning bodies in General Relativity through $\mathcal{O}(G^2)$ and to all orders in velocity. Our calculation extends a recently-introduced framework based on scattering amplitudes and effective field theory to consider non-minimal coupling of the spinning objects to gravity. At the o… ▽ More We obtain the quadratic-in-spin terms of the conservative Hamiltonian describing the interactions of a binary of spinning bodies in General Relativity through $\mathcal{O}(G^2)$ and to all orders in velocity. Our calculation extends a recently-introduced framework based on scattering amplitudes and effective field theory to consider non-minimal coupling of the spinning objects to gravity. At the order that we consider, we establish the validity of the formula proposed in \cite{Bern:2020buy} that relates the impulse and spin kick in a scattering event to the eikonal phase. △ Less

Submitted 19 February, 2021; originally announced February 2021.

Comments: 21 pages + references, 5 figures, 1 ancillary file

Who is Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries

Authors: Giuseppe Antonio Di Luna, Davide Italiano, Luca Massarelli, Sebastian Osterlund, Cristiano Giuffrida, Leonardo Querzoni

Abstract: Despite the advancements in software testing, bugs still plague deployed software and result in crashes in production. When debugging issues -- sometimes caused by "heisenbugs" -- there is the need to interpret core dumps and reproduce the issue offline on the same binary deployed. This requires the entire toolchain (compiler, linker, debugger) to correctly generate and use debug information. Litt… ▽ More Despite the advancements in software testing, bugs still plague deployed software and result in crashes in production. When debugging issues -- sometimes caused by "heisenbugs" -- there is the need to interpret core dumps and reproduce the issue offline on the same binary deployed. This requires the entire toolchain (compiler, linker, debugger) to correctly generate and use debug information. Little attention has been devoted to checking that such information is correctly preserved by modern toolchains' optimization stages. This is particularly important as managing debug information in optimized production binaries is non-trivial, often leading to toolchain bugs that may hinder post-deployment debugging efforts. In this paper, we present Debug$^{2}$, a framework to find debug information bugs in modern toolchains. Our framework feeds random source programs to the target toolchain and surgically compares the debugging behavior of their optimized/unoptimized binary variants. Such differential analysis allows Debug$^{2}$ to check invariants at each debugging step and detect bugs from invariant violations. Our invariants are based on the (in)consistency of common debug entities, such as source lines, stack frames, and function arguments. We show that, while simple, this strategy yields powerful cross-toolchain and cross-language invariants, which can pinpoint several bugs in modern toolchains. We have used Debug$^{2}$ to find 23 bugs in the LLVM toolchain (clang/lldb), 8 bugs in the GNU toolchain (GCC/gdb), and 3 in the Rust toolchain (rustc/lldb) -- with 14 bugs already fixed by the developers. △ Less

Submitted 4 December, 2020; v1 submitted 27 November, 2020; originally announced November 2020.

Joint Scene and Object Tracking for Cost-Effective Augmented Reality Assisted Patient Positioning in Radiation Therapy

Authors: Hamid Sarmadi, Rafael Muñoz-Salinas, M. Álvaro Berbís, Antonio Luna, R. Medina-Carnicer

Abstract: BACKGROUND AND OBJECTIVE: The research done in the field of Augmented Reality (AR) for patient positioning in radiation therapy is scarce. We propose an efficient and cost-effective algorithm for tracking the scene and the patient to interactively assist the patient's positioning process by providing visual feedback to the operator. Up to our knowledge, this is the first framework that can be empl… ▽ More BACKGROUND AND OBJECTIVE: The research done in the field of Augmented Reality (AR) for patient positioning in radiation therapy is scarce. We propose an efficient and cost-effective algorithm for tracking the scene and the patient to interactively assist the patient's positioning process by providing visual feedback to the operator. Up to our knowledge, this is the first framework that can be employed for mobile interactive AR to guide patient positioning. METHODS: We propose a point cloud processing method that combined with a fiducial marker-mapper algorithm and the generalized ICP algorithm tracks the patient and the camera precisely and efficiently only using the CPU unit. The alignment between the 3D reference model and body marker map is calculated employing an efficient body reconstruction algorithm. RESULTS: Our quantitative evaluation shows that the proposed method achieves a translational and rotational error of 4.17 mm/0.82 deg at 9 fps. Furthermore, the qualitative results demonstrate the usefulness of our algorithm in patient positioning on different human subjects. CONCLUSION: Since our algorithm achieves a relatively high frame rate and accuracy employing a regular laptop (without the usage of a dedicated GPU), it is a very cost-effective AR-based patient positioning method. It also opens the way for other researchers by introducing a framework that could be improved upon for better mobile interactive AR patient positioning solutions in the future. △ Less

Submitted 11 January, 2021; v1 submitted 5 October, 2020; originally announced October 2020.

Comments: 16 pages, 7 figures

The COMBS Survey -- II. Distinguishing the Metal-Poor Bulge from the Halo Interlopers

Authors: Madeline Lucey, Keith Hawkins, Melissa Ness, Victor P. Debattista, Alice Luna, Martin Asplund, Thomas Bensby, Luca Casagrande, Sofia Feltzing, Kenneth C. Freeman, Chiaki Kobayashi, Anna F. Marino

Abstract: The metal-poor stars in the bulge are important relics of the Milky Way's formation history, as simulations predict that they are some of the oldest stars in the Galaxy. In order to determine if they are truly ancient stars, we must understand the origins of this population. Currently, it is unclear if the metal-poor stars in the bulge ([Fe/H] < -1 dex) are merely halo interlopers, a unique accret… ▽ More The metal-poor stars in the bulge are important relics of the Milky Way's formation history, as simulations predict that they are some of the oldest stars in the Galaxy. In order to determine if they are truly ancient stars, we must understand the origins of this population. Currently, it is unclear if the metal-poor stars in the bulge ([Fe/H] < -1 dex) are merely halo interlopers, a unique accreted population, part of the boxy/peanut-shaped (B/P) bulge or a classical bulge population. In this work, we use spectra from the VLT/FLAMES spectrograph to obtain metallicity estimates using the Ca-II triplet (CaT) of 473 bulge stars (187 of which have [Fe/H]<-1 dex), targeted using SkyMapper photometry. We also use Gaia DR2 parallaxes and proper motions to infer the Galactic positions and velocities along with orbital properties for 523 bulge stars. We employ a probabilistic orbit analysis and find that about half of our sample has a > 50\% probability of being bound to the bulge, and half are halo interlopers. We also see that the occurrence rate of halo interlopers increases steadily with decreasing metallicity across the full range of our sample (-3 < [Fe/H] < 0.5). Our examination of the kinematics of the confined compared to the unbound stars indicates the metal-poor bulge ([Fe/H] < -1 dex) comprises at least two populations; those confined to the boxy/peanut bulge and halo stars passing through the inner galaxy. We conclude that an orbital analysis approach, as we have employed, is important to uncover and understand the composite nature of the metal-poor stars in the inner region. △ Less

Submitted 19 January, 2021; v1 submitted 8 September, 2020; originally announced September 2020.

Comments: 18 pages, 12 figures, accepted to MNRAS, comments welcome

New heavenly double copies

Authors: Erick Chacón, Hugo García-Compeán, Andres Luna, Ricardo Monteiro, Chris D. White

Abstract: The double copy relates scattering amplitudes and classical solutions in Yang-Mills theory, gravity, and related field theories. Previous work has shown that this has an explicit realisation in self-dual YM theory, where the equation of motion can be written in a form that maps directly to Plebański's heavenly equation for self-dual gravity. The self-dual YM equation involves an area-preserving di… ▽ More The double copy relates scattering amplitudes and classical solutions in Yang-Mills theory, gravity, and related field theories. Previous work has shown that this has an explicit realisation in self-dual YM theory, where the equation of motion can be written in a form that maps directly to Plebański's heavenly equation for self-dual gravity. The self-dual YM equation involves an area-preserving diffeomorphism algebra, two copies of which appear in the heavenly equation. In this paper, we show that this construction is a special case of a wider family of heavenly-type examples, by (i) performing Moyal deformations, and (ii) replacing the area-preserving diffeomorphisms with a less restricted algebra. As a result, we obtain a double-copy interpretation for hyper-Hermitian manifolds, extending the previously known hyper-Kähler case. We also introduce a double-Moyal deformation of the heavenly equation. The examples where the construction of Lax pairs is possible are manifestly consistent with Ward's conjecture, and suggest that the classical integrability of the gravity-type theory may be guaranteed in general by the integrability of at least one of two gauge-theory-type single copies. △ Less

Submitted 21 August, 2020; originally announced August 2020.

Comments: 34 pages, 1 figure

Towards Dense People Detection with Deep Learning and Depth images

Authors: David Fuentes-Jimenez, Cristina Losada-Gutierrez, David Casillas-Perez, Javier Macias-Guarasa, Roberto Martin-Lopez, Daniel Pizarro, Carlos A. Luna

Abstract: This paper proposes a DNN-based system that detects multiple people from a single depth image. Our neural network processes a depth image and outputs a likelihood map in image coordinates, where each detection corresponds to a Gaussian-shaped local distribution, centered at the person's head. The likelihood map encodes both the number of detected people and their 2D image positions, and can be use… ▽ More This paper proposes a DNN-based system that detects multiple people from a single depth image. Our neural network processes a depth image and outputs a likelihood map in image coordinates, where each detection corresponds to a Gaussian-shaped local distribution, centered at the person's head. The likelihood map encodes both the number of detected people and their 2D image positions, and can be used to recover the 3D position of each person using the depth image and the camera calibration parameters. Our architecture is compact, using separated convolutions to increase performance, and runs in real-time with low budget GPUs. We use simulated data for initially training the network, followed by fine tuning with a relatively small amount of real data. We show this strategy to be effective, producing networks that generalize to work with scenes different from those used during training. We thoroughly compare our method against the existing state-of-the-art, including both classical and DNN-based solutions. Our method outperforms existing methods and can accurately detect people in scenes with significant occlusions. △ Less

Submitted 14 July, 2020; originally announced July 2020.

DPDnet: A Robust People Detector using Deep Learning with an Overhead Depth Camera

Authors: David Fuentes-Jimenez, Roberto Martin-Lopez, Cristina Losada-Gutierrez, David Casillas-Perez, Javier Macias-Guarasa, Daniel Pizarro, Carlos A. Luna

Abstract: In this paper we propose a method based on deep learning that detects multiple people from a single overhead depth image with high reliability. Our neural network, called DPDnet, is based on two fully-convolutional encoder-decoder neural blocks based on residual layers. The Main Block takes a depth image as input and generates a pixel-wise confidence map, where each detected person in the image is… ▽ More In this paper we propose a method based on deep learning that detects multiple people from a single overhead depth image with high reliability. Our neural network, called DPDnet, is based on two fully-convolutional encoder-decoder neural blocks based on residual layers. The Main Block takes a depth image as input and generates a pixel-wise confidence map, where each detected person in the image is represented by a Gaussian-like distribution. The refinement block combines the depth image and the output from the main block, to refine the confidence map. Both blocks are simultaneously trained end-to-end using depth images and head position labels. The experimental work shows that DPDNet outperforms state-of-the-art methods, with accuracies greater than 99% in three different publicly available datasets, without retraining not fine-tuning. In addition, the computational complexity of our proposal is independent of the number of people in the scene and runs in real time using conventional GPUs. △ Less

Submitted 1 June, 2020; originally announced June 2020.

Infrared Dark Clouds and high-mass star formation activity in Galactic Molecular Clouds

Authors: R. Retes-Romero, Y. D. Mayya, A. Luna, L. Carrasco

Abstract: Ever since their discovery, Infrared dark clouds (IRDCs) are generally considered to be the sites just at the onset of high-mass (HM) star formation. In recent years, it has been realized that not all IRDCs harbour HM Young Stellar Objects (YSOs). Only those IRDCs satisfying a certain mass-size criterion, or equivalently above a certain threshold density, are found to contain HMYSOs. In all cases,… ▽ More Ever since their discovery, Infrared dark clouds (IRDCs) are generally considered to be the sites just at the onset of high-mass (HM) star formation. In recent years, it has been realized that not all IRDCs harbour HM Young Stellar Objects (YSOs). Only those IRDCs satisfying a certain mass-size criterion, or equivalently above a certain threshold density, are found to contain HMYSOs. In all cases, IRDCs provide ideal conditions for the formation of stellar clusters. In this paper, we study the massive stellar content of IRDCs to re-address the relation between IRDCs and HM star formation. For this purpose, we have identified all IRDCs associated to a sample of 12 Galactic molecular clouds (MCs). The selected MCs have been the target of a systematic search for YSOs in an earlier study. The catalogued positions of YSOs have been used to search all YSOs embedded in each identified IRDC. In total, we have found 834 YSOs in 128 IRDCs. The sample of IRDCs have mean surface densities of 319 Mo/pc2, mean mass of 1062 Mo, and a mass function power-law slope -1.8, which are similar to the corresponding properties for the full sample of IRDCs and resulting physical properties in previous studies. We find that all those IRDCs containing at least one intermediate to high-mass young star satisfy the often-used mass-size criterion for forming HM stars. However, not all IRDCs satisfying the mass-size criterion contain HM stars. We find that the often used mass-size criterion corresponds to 35% probability of an IRDC forming a massive star. Twenty five (20%) of the IRDCs are potential sites of stellar clusters of mass more than 100 Mo. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Comments: 9 pages. Accepted for publication in ApJ

Gathering on a Circle with Limited Visibility by Anonymous Oblivious Robots

Authors: Giuseppe A. Di Luna, Ryuhei Uehara, Giovanni Viglietta, Yukiko Yamauchi

Abstract: A swarm of anonymous oblivious mobile robots, operating in deterministic Look-Compute-Move cycles, is confined within a circular track. All robots agree on the clockwise direction (chirality), they are activated by an adversarial semi-synchronous scheduler (SSYNCH), and an active robot always reaches the destination point it computes (rigidity). Robots have limited visibility: each robot can see o… ▽ More A swarm of anonymous oblivious mobile robots, operating in deterministic Look-Compute-Move cycles, is confined within a circular track. All robots agree on the clockwise direction (chirality), they are activated by an adversarial semi-synchronous scheduler (SSYNCH), and an active robot always reaches the destination point it computes (rigidity). Robots have limited visibility: each robot can see only the points on the circle that have an angular distance strictly smaller than a constant $\vartheta$ from the robot's current location, where $0<\vartheta\leqπ$ (angles are expressed in radians). We study the Gathering problem for such a swarm of robots: that is, all robots are initially in distinct locations on the circle, and their task is to reach the same point on the circle in a finite number of turns, regardless of the way they are activated by the scheduler. Note that, due to the anonymity of the robots, this task is impossible if the initial configuration is rotationally symmetric; hence, we have to make the assumption that the initial configuration be rotationally asymmetric. We prove that, if $\vartheta=π$ (i.e., each robot can see the entire circle except its antipodal point), there is a distributed algorithm that solves the Gathering problem for swarms of any size. By contrast, we also prove that, if $\vartheta\leq π/2$, no distributed algorithm solves the Gathering problem, regardless of the size of the swarm, even under the assumption that the initial configuration is rotationally asymmetric and the visibility graph of the robots is connected. The latter impossibility result relies on a probabilistic technique based on random perturbations, which is novel in the context of anonymous mobile robots. Such a technique is of independent interest, and immediately applies to other Pattern-Formation problems. △ Less

Submitted 28 September, 2023; v1 submitted 16 May, 2020; originally announced May 2020.

Comments: 33 pages, 9 figures

Tight Bounds for Black Hole Search in Dynamic Rings

Authors: Giuseppe Antonio Di Luna, Paola Flocchini, Giuseppe Prencipe, Nicola Santoro

Abstract: In this paper, we start the investigation of distributed computing by mobile agents in dangerous dynamic networks. The danger is posed by the presence in the network of a black hole BH, a harmful site that destroys all incoming agents without leaving any trace. The problem of determining the location of the black hole in a network, known as black hole search BHS, has been extensively studied in th… ▽ More In this paper, we start the investigation of distributed computing by mobile agents in dangerous dynamic networks. The danger is posed by the presence in the network of a black hole BH, a harmful site that destroys all incoming agents without leaving any trace. The problem of determining the location of the black hole in a network, known as black hole search BHS, has been extensively studied in the literature, but always and only assuming that the network is static. At the same time, the existing results on mobile agents computing in dynamic networks never consider the presence of harmful sites. In this paper we start filling this research gap by studying black hole search in temporal rings, specifically focusing on 1-interval connectivity adversarial dynamics. The problem is solved if within finite time at least one agent survives and knows the location of BH. The main complexity parameters of BHS is the number of agents (called size) needed to solve the problem, and the number of moves (called cost) performed by the agents; in synchronous systems, such as temporal rings, an additional complexity measure is the amount of time until termination occurs. Feasibility and complexity depend on many parameters; in particular: whether the agents start from the same safe node or from possibly distinct safe locations, the size $n$ of the ring, whether or not $n$ is known, and the type of inter-agent communication (whiteboards, tokens, face-to-face, visual). In this paper, we provide a complete feasibility characterization for all instances of those parameters; all our algorithms are size optimal. Furthermore, we establish lower bounds on the cost (i.e., the number of moves) and time of size-optimal solutions for all instances of those parameters and show that our algorithms achieve those bound. △ Less

Submitted 1 August, 2020; v1 submitted 15 May, 2020; originally announced May 2020.

The Near-Infrared Polarization of the Pre-Planetary Nebula Frosty Leo

Authors: E. O. Serrano Bernal, L. Sabin, A. Luna, R. Devaraj, Y. D. Mayya, L. Carrasco

Abstract: We present a near-infrared imaging polarimetric study of the pre-planetary nebula: Frosty Leo. The observations were carried out in J, H and K' bands using the new polarimeter POLICAN mounted on the 2.1m telescope of the Guillermo Haro Astrophysical Observatory, Sonora, Mexico. The most prominent result observed in the polarization maps is a large and well defined dusty envelope (35\arcsec\ diamet… ▽ More We present a near-infrared imaging polarimetric study of the pre-planetary nebula: Frosty Leo. The observations were carried out in J, H and K' bands using the new polarimeter POLICAN mounted on the 2.1m telescope of the Guillermo Haro Astrophysical Observatory, Sonora, Mexico. The most prominent result observed in the polarization maps is a large and well defined dusty envelope (35\arcsec\ diameter in H-band). The polarization position angles in the envelope are particularly well ordered and nearly parallel to the equator of the nebula (seen in J and H bands). The nebula presents a known bipolar outflow and the envelope completely wraps around it. Within the bipolar lobes, we find high polarization levels ranging from $60\%$ (J band) to $90\%$ (K' band) and the polarization angles trace a centrosymmetric pattern. We found the remnants of superwind shells at the edges of the bipolar lobes and the duration of this phase is around 600 yrs. The origin of polarization features in the nebula is most likely due to a combination of single and multiple scattering. Our results clearly demonstrate new structures that provide new hints on the evolution of Frosty Leo from its previous asymptotic giant branch phase. △ Less

Submitted 14 May, 2020; originally announced May 2020.

Comments: 5 figures, 9 pages, accepted in MNRAS

Spinning Black Hole Binary Dynamics, Scattering Amplitudes and Effective Field Theory

Authors: Zvi Bern, Andres Luna, Radu Roiban, Chia-Hsien Shen, Mao Zeng

Abstract: We describe a systematic framework for finding the conservative potential of compact binary systems with spin based on scattering amplitudes of particles of arbitrary spin and effective field theory. An arbitrary-spin formalism is generally required in the classical limit. By matching the tree and one-loop amplitudes of four spinning particles with those of a suitably-chosen effective field theory… ▽ More We describe a systematic framework for finding the conservative potential of compact binary systems with spin based on scattering amplitudes of particles of arbitrary spin and effective field theory. An arbitrary-spin formalism is generally required in the classical limit. By matching the tree and one-loop amplitudes of four spinning particles with those of a suitably-chosen effective field theory, we obtain the spin1-spin2 terms of a two-body effective Hamiltonian through O(G^2) and valid to all orders in velocity. Solving Hamilton's equations yields the impulse and spin changes of the individual bodies. We write them in a surprisingly compact form as appropriate derivatives of the eikonal phase obtained from the amplitude. It seems likely this structure persists to higher orders. We also point out various double-copy relations for general spin. △ Less

Submitted 6 May, 2020; originally announced May 2020.

Comments: 73 pages + refs; 11 figures and 1 table; 2 anc files

Journal ref: Phys. Rev. D 104, 065014 (2021)

The convolutional double copy: a case study with a point

Authors: Andres Luna, Silvia Nagy, Chris White

Abstract: The double copy relates scattering amplitudes in gauge and gravity theories. It has also been extended to classical solutions, and a number of approaches have been developed for doing so. One of these involves expressing fields in a variety of (super-)gravity theories in terms of convolutions of gauge fields, including also BRST ghost degrees of freedom that map neatly to their corresponding count… ▽ More The double copy relates scattering amplitudes in gauge and gravity theories. It has also been extended to classical solutions, and a number of approaches have been developed for doing so. One of these involves expressing fields in a variety of (super-)gravity theories in terms of convolutions of gauge fields, including also BRST ghost degrees of freedom that map neatly to their corresponding counterparts in gravity. In this paper, we spell out how to use the convolutional double copy to map gauge and gravity solutions in the manifest Lorenz and de Donder gauges respectively. We then apply this to a particular example, namely the point charge in pure gauge theory. As well as clarifying how to use the convolutional approach, our results provide an alternative point of view on a recent discussion concerning whether point charges map to the Schwarzschild solution, or the more general two-parameter JNW solution, which includes a dilaton field. We confirm the latter. △ Less

Submitted 3 June, 2020; v1 submitted 23 April, 2020; originally announced April 2020.

Comments: 15 pages

Mobile RAM and Shape Formation by Programmable Particles

Authors: Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Yukiko Yamauchi

Abstract: We investigate computational issues in the distributed model Amoebots of programmable matter. In this model, the computational entities, called particles, are anonymous finite-state machines that operate and move on an hexagonal tasselation of the plane. In this paper we show how a constant number of such weak particles can simulate a powerful Turing-complete entity that is able to move on the pla… ▽ More We investigate computational issues in the distributed model Amoebots of programmable matter. In this model, the computational entities, called particles, are anonymous finite-state machines that operate and move on an hexagonal tasselation of the plane. In this paper we show how a constant number of such weak particles can simulate a powerful Turing-complete entity that is able to move on the plane while computing. We then show an application of our tool to the classical Shape-Formation problem, providing a new and much more general distributed solution protocol. Indeed, the existing algorithms would allow to form only shapes made of arrangements of segments and triangles. Our algorithm allows the particles to form more abstract and general connected shapes, including circles and spirals, as well as fractal objects of non-integer dimension, such as the Sierpinski triangle or the Koch snowflake. In lieu of the existing limitation on the formability of a shape depending on the symmetry of the initial configuration of the particles, our result provides a complete characterization of the connected shapes that can be formed by an initially simply connected set of particles. Furthermore, in the case of non-connected shapes, we give almost-matching necessary and sufficient conditions for their formability. △ Less

Submitted 29 May, 2020; v1 submitted 9 February, 2020; originally announced February 2020.

Synchronous Byzantine Lattice Agreement in ${\cal O}(\log (f))$ Rounds

Authors: Giuseppe Antonio Di Luna, Emmanuelle Anceaume, Silvia Bonomi, Leonardo Querzoni

Abstract: In the Lattice Agreement (LA) problem, originally proposed by Attiya et al. \cite{Attiya:1995}, a set of processes has to decide on a chain of a lattice. More precisely, each correct process proposes an element $e$ of a certain join-semi lattice $L$ and it has to decide on a value that contains $e$. Moreover, any pair $p_i,p_j$ of correct processes has to decide two values $dec_i$ and $dec_j$ that… ▽ More In the Lattice Agreement (LA) problem, originally proposed by Attiya et al. \cite{Attiya:1995}, a set of processes has to decide on a chain of a lattice. More precisely, each correct process proposes an element $e$ of a certain join-semi lattice $L$ and it has to decide on a value that contains $e$. Moreover, any pair $p_i,p_j$ of correct processes has to decide two values $dec_i$ and $dec_j$ that are comparable (e.g., $dec_i \leq dec_j$ or $dec_j < dec_i$). LA has been studied for its practical applications, as example it can be used to implement a snapshot objects \cite{Attiya:1995} or a replicated state machine with commutative operations \cite{Faleiro:2012}. Interestingly, the study of the Byzantine Lattice Agreement started only recently, and it has been mainly devoted to asynchronous systems. The synchronous case has been object of a recent pre-print \cite{Zheng:aa} where Zheng et al. propose an algorithm terminating in ${\cal O}(\sqrt f)$ rounds and tolerating $f < \lceil n/3 \rceil$ Byzantine processes. In this paper we present new contributions for the synchronous case. We investigate the problem in the usual message passing model for a system of $n$ processes with distinct unique IDs. We first prove that, when only authenticated channels are available, the problem cannot be solved if $f=n/3$ or more processes are Byzantine. We then propose a novel algorithm that works in a synchronous system model with signatures (i.e., the {\em authenticated message} model), tolerates up to $f$ byzantine failures (where $f<n/3$) and that terminates in ${\cal O}(\log f)$ rounds. We discuss how to remove authenticated messages at the price of algorithm resiliency ($f < n/4$). Finally, we present a transformer that converts any synchronous LA algorithm to an algorithm for synchronous Generalised Lattice Agreement. △ Less

Submitted 13 January, 2020; v1 submitted 8 January, 2020; originally announced January 2020.