-
Widespread occurrence of lava lakes on Io observed from Juno
Authors:
Alessandro Mura,
Federico Tosi,
Francesca Zambon,
Rosaly M. C. Lopes,
Pete J. Mouginis-Mark,
Jani Radebaugh,
Alberto Adriani,
Scott Bolton,
Julie Rathbun,
Andrea Cicchetti,
Davide Grassi,
Raffaella Noschese,
Giuseppe Piccioni,
Christina Plainaki,
Roberto Sordini,
Giuseppe Sindoni
Abstract:
We report recent observations of lava lakes within patera on Io made by the JIRAM imager/spectrometer on board the Juno spacecraft, taken during close observation occurred in the extended mission. At least 40 lava lakes have been identified from JIRAM observations. The majority (>50%) of paterae have elevated thermal signatures when imaged at sufficiently high spatial resolution (a few km/pixel),…
▽ More
We report recent observations of lava lakes within patera on Io made by the JIRAM imager/spectrometer on board the Juno spacecraft, taken during close observation occurred in the extended mission. At least 40 lava lakes have been identified from JIRAM observations. The majority (>50%) of paterae have elevated thermal signatures when imaged at sufficiently high spatial resolution (a few km/pixel), implying that lava lakes are ubiquitous on Io. The annular width of the spattering region around the margins, a characteristic of lava lakes, is of the order of few meters to tens of meters, the diameter of the observed lava lakes ranges from 10 to 100 km. The thickness of the crust in the center of some lava lakes is of the order of 5-10 m; we estimate that this crust is a few years old. Also, the bulk of the thermal emission comes from the much larger crust and not from the smaller exposed lava, so the total power output cannot be calculated from the 5-um radiance alone. Eight of the proposed lava lakes have never been reported previously as active hotspots.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
Redshifted Sodium Transient near Exoplanet Transit
Authors:
Apurva V. Oza,
Julia V. Seidel,
H. Jens Hoeijmakers,
Athira Unni,
Aurora Y. Kesseli,
Carl A. Schmidt,
Sivarani Thirupathi,
Aaron Bello-Arufe,
Andrea Gebek,
Moritz Meyer zu Westram,
Sérgio G. Sousa,
Rosaly M. C. Lopes,
Renyu Hu,
Katherine de Kleer,
Chloe Fisher,
Sébastien Charnoz,
Ashley D. Baker,
Samuel P. Halverson,
Nicholas M. Schneider,
Angelica Psaridi,
Aurélien Wyttenbach,
Santiago Torres,
Ishita Bhatnagar,
Robert E. Johnson
Abstract:
Neutral sodium (Na I) is an alkali metal with a favorable absorption cross section such that tenuous gases are easily illuminated at select transiting exoplanet systems. We examine both the time-averaged and time-series alkali spectral flux individually, over 4 nights at a hot Saturn system on a $\sim$ 2.8 day orbit about a Sun-like star WASP-49 A. Very Large Telescope/ESPRESSO observations are an…
▽ More
Neutral sodium (Na I) is an alkali metal with a favorable absorption cross section such that tenuous gases are easily illuminated at select transiting exoplanet systems. We examine both the time-averaged and time-series alkali spectral flux individually, over 4 nights at a hot Saturn system on a $\sim$ 2.8 day orbit about a Sun-like star WASP-49 A. Very Large Telescope/ESPRESSO observations are analyzed, providing new constraints. We recover the previously confirmed residual sodium flux uniquely when averaged, whereas night-to-night Na I varies by more than an order of magnitude. On HARPS/3.6-m Epoch II, we report a Doppler redshift at $v_{ Γ, \mathrm{NaD}} =$ +9.7 $\pm$ 1.6 km/s with respect to the planet's rest frame. Upon examining the lightcurves, we confirm night-to-night variability, on the order of $\sim$ 1-4 % in NaD rarely coinciding with exoplanet transit, not readily explained by stellar activity, starspots, tellurics, or the interstellar medium. Coincident with the $\sim$+10 km/s Doppler redshift, we detect a transient sodium absorption event dF$_{\mathrm{NaD}}$/F$_{\star}$ = 3.6 $\pm$ 1 % at a relative difference of $ΔF_{\mathrm{NaD}} (t) \sim$ 4.4 $\pm$ 1 %, enduring $Δt_{\mathrm{NaD}} \gtrsim$ 40 minutes. Since exoplanetary alkali signatures are blueshifted due to the natural vector of radiation pressure, estimated here at roughly $\sim$ -5.7 km/s, the radial velocity is rather at +15.4 km/s, far larger than any known exoplanet system. Given that the redshift magnitude v$_Γ$ is in between the Roche limit and dynamically stable satellite orbits, the transient sodium may be a putative indication of a natural satellite orbiting WASP-49 A b.
△ Less
Submitted 29 September, 2024;
originally announced September 2024.
-
GLARE: Guided LexRank for Advanced Retrieval in Legal Analysis
Authors:
Fabio Gregório,
Rafaela Castro,
Kele Belloze,
Rui Pedro Lopes,
Eduardo Bezerra
Abstract:
The Brazilian Constitution, known as the Citizen's Charter, provides mechanisms for citizens to petition the Judiciary, including the so-called special appeal. This specific type of appeal aims to standardize the legal interpretation of Brazilian legislation in cases where the decision contradicts federal laws. The handling of special appeals is a daily task in the Judiciary, regularly presenting…
▽ More
The Brazilian Constitution, known as the Citizen's Charter, provides mechanisms for citizens to petition the Judiciary, including the so-called special appeal. This specific type of appeal aims to standardize the legal interpretation of Brazilian legislation in cases where the decision contradicts federal laws. The handling of special appeals is a daily task in the Judiciary, regularly presenting significant demands in its courts. We propose a new method called GLARE, based on unsupervised machine learning, to help the legal analyst classify a special appeal on a topic from a list made available by the National Court of Brazil (STJ). As part of this method, we propose a modification of the graph-based LexRank algorithm, which we call Guided LexRank. This algorithm generates the summary of a special appeal. The degree of similarity between the generated summary and different topics is evaluated using the BM25 algorithm. As a result, the method presents a ranking of themes most appropriate to the analyzed special appeal. The proposed method does not require prior labeling of the text to be evaluated and eliminates the need for large volumes of data to train a model. We evaluate the effectiveness of the method by applying it to a special appeal corpus previously classified by human experts.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
Resonant light scattering by a slab of ultracold atoms
Authors:
R. Vatré,
R. Lopes,
J. Beugnon,
F. Gerbier
Abstract:
A gas of ultracold atoms probed with laser light is a nearly-ideal experimental realization of a medium of resonant point-like scatterers, a key problem from condensed matter to biology or photonics. Yet, several recent experiments have reported large discrepancies with theory. In this work, we measure the complex transmission through a slab of ultracold two-level atoms with an interferometric tec…
▽ More
A gas of ultracold atoms probed with laser light is a nearly-ideal experimental realization of a medium of resonant point-like scatterers, a key problem from condensed matter to biology or photonics. Yet, several recent experiments have reported large discrepancies with theory. In this work, we measure the complex transmission through a slab of ultracold two-level atoms with an interferometric technique. We find good agreement with first-principles simulations of mutually-coupled, laser-driven dipoles, and provide an explanation for the discrepancies in earlier measurements.
△ Less
Submitted 6 September, 2024;
originally announced September 2024.
-
Constant congestion linkages in polynomially strong digraphs in polynomial time
Authors:
Raul Lopes,
Ignasi Sau
Abstract:
Given integers $k,c > 0$, we say that a digraph $D$ is $(k,c)$-linked if for every pair of ordered sets $\{s_1, \ldots, s_k\}$ and $\{t_1, \ldots, t_k\}$ of vertices of $D$, there are $P_1, \ldots, P_k$ such that for $i \in [k]$ each $P_i$ is a path from $s_i$ to $t_i$ and every vertex of $D$ appears in at most $c$ of those paths. Thomassen [Combinatorica, 1991] showed that for every fixed…
▽ More
Given integers $k,c > 0$, we say that a digraph $D$ is $(k,c)$-linked if for every pair of ordered sets $\{s_1, \ldots, s_k\}$ and $\{t_1, \ldots, t_k\}$ of vertices of $D$, there are $P_1, \ldots, P_k$ such that for $i \in [k]$ each $P_i$ is a path from $s_i$ to $t_i$ and every vertex of $D$ appears in at most $c$ of those paths. Thomassen [Combinatorica, 1991] showed that for every fixed $k \geq 2$ there is no integer $p$ such that every $p$-strong digraph is $(k,1)$-linked. Edwards et al. [ESA, 2017] showed that every digraph $D$ with directed treewidth at least some function $f(k)$ contains a large bramble of congestion $2$ and that every $(36k^3 + 2k)$-strong digraph containing a bramble of congestion $2$ and size roughly $188k^3$ is $(k,2)$-linked. Since the directed treewidth of a digraph has to be at least its strong connectivity, this implies that there is a function $L(k)$ such that every $L(k)$-strong digraph is $(k,2)$-linked. This result was improved by Campos et al. [ESA, 2023], who showed that any $k$-strong digraph containing a bramble of size at least $2k(c\cdot k -c + 2) + c(k-1)$ and congestion $c$ is $(k,c)$-linked. Regarding the bramble, although the given bound on $f(k)$ is very large, Masařík et al. [SIDMA, 2022] showed that directed treewidth $\mathcal{O}(k^{48}\log^{13} k)$ suffices if the congestion is relaxed to $8$. We first show how to drop the dependence on $c$, for even $c$, on the size of the bramble that is needed in the work of Campos et al. [ESA, 2023]. Then, by making two local changes in the proof of Masařík et al. [SIDMA, 2022] we show how to build in polynomial time a bramble of size $k$ and congestion $8$ assuming that a large obstruction to directed treewidth (namely, a path system) is given. Applying these results, we show that there is a polynomial function $g(k)$ such that every $g(k)$-strong digraph is $(k,8)$-linked.
△ Less
Submitted 5 September, 2024;
originally announced September 2024.
-
Parametrized Families of Gibbs Measures and their Statistical Inference
Authors:
Manfred Denker,
Marc Keßeböhmer,
Artur O. Lopes,
Silvia R. C. Lopes
Abstract:
For Hölder continuous functions $f_i$, $i=0,\ldots ,d$, on a subshift of finite type and $Θ\subset \mathbb \R^d$ we consider a parametrized family of potentials $\{F_θ= f_0+\sum_{i=1}^d θ_i f_i : θ\in Θ\}$. We show that the maximum likelihood estimator of $θ$ for a family of Gibbs measures with potentials $F_θ$ is consistent and determine its asymptotic distribution under the associated shift-inva…
▽ More
For Hölder continuous functions $f_i$, $i=0,\ldots ,d$, on a subshift of finite type and $Θ\subset \mathbb \R^d$ we consider a parametrized family of potentials $\{F_θ= f_0+\sum_{i=1}^d θ_i f_i : θ\in Θ\}$. We show that the maximum likelihood estimator of $θ$ for a family of Gibbs measures with potentials $F_θ$ is consistent and determine its asymptotic distribution under the associated shift-invariant distribution. A second part discusses applications; from confidence intervals through testing problems to connections to Bernoulli distributions and stationary Markov chains.
△ Less
Submitted 2 August, 2024;
originally announced August 2024.
-
The Fourth S-PLUS Data Release: 12-filter photometry covering $\sim3000$ square degrees in the southern hemisphere
Authors:
Fabio R. Herpich,
Felipe Almeida-Fernandes,
Gustavo B. Oliveira Schwarz,
Erik V. R. Lima,
Lilianne Nakazono,
Javier Alonso-García,
Marcos A. Fonseca-Faria,
Marilia J. Sartori,
Guilherme F. Bolutavicius,
Gabriel Fabiano de Souza,
Eduardo A. Hartmann,
Liana Li,
Luna Espinosa,
Antonio Kanaan,
William Schoenell,
Ariel Werle,
Eduardo Machado-Pereira,
Luis A. Gutiérrez-Soto,
Thaís Santos-Silva,
Analia V. Smith Castelli,
Eduardo A. D. Lacerda,
Cassio L. Barbosa,
Hélio D. Perottoni,
Carlos E. Ferreira Lopes,
Raquel Ruiz Valença
, et al. (46 additional authors not shown)
Abstract:
The Southern Photometric Local Universe Survey (S-PLUS) is a project to map $\sim9300$ sq deg of the sky using twelve bands (seven narrow and five broadbands). Observations are performed with the T80-South telescope, a robotic telescope located at the Cerro Tololo Observatory in Chile. The survey footprint consists of several large contiguous areas, including fields at high and low galactic latitu…
▽ More
The Southern Photometric Local Universe Survey (S-PLUS) is a project to map $\sim9300$ sq deg of the sky using twelve bands (seven narrow and five broadbands). Observations are performed with the T80-South telescope, a robotic telescope located at the Cerro Tololo Observatory in Chile. The survey footprint consists of several large contiguous areas, including fields at high and low galactic latitudes, and towards the Magellanic Clouds. S-PLUS uses fixed exposure times to reach point source depths of about $21$ mag in the $griz$ and $20$ mag in the $u$ and the narrow filters. This paper describes the S-PLUS Data Release 4 (DR4), which includes calibrated images and derived catalogues for over 3000 sq deg, covering the aforementioned area. The catalogues provide multi-band photometry performed with the tools \texttt{DoPHOT} and \texttt{SExtractor} -- point spread function (\PSF) and aperture photometry, respectively. In addition to the characterization, we also present the scientific potential of the data. We use statistical tools to present and compare the photometry obtained through different methods. Overall we find good agreement between the different methods, with a slight systematic offset of 0.05\,mag between our \PSF and aperture photometry. We show that the astrometry accuracy is equivalent to that obtained in previous S-PLUS data releases, even in very crowded fields where photometric extraction is challenging. The depths of main survey (MS) photometry for a minimum signal-to-noise ratio $S/N = 3$ reach from $\sim19.5$ for the bluer bands to $\sim21.5$ mag on the red. The range of magnitudes over which accurate \PSF photometry is obtained is shallower, reaching $\sim19$ to $\sim20.5$ mag depending on the filter. Based on these photometric data, we provide star-galaxy-quasar classification and photometric redshift for millions of objects.
△ Less
Submitted 30 July, 2024;
originally announced July 2024.
-
Software Defined Vehicles for Development of Deterministic Services
Authors:
Pedro Veloso Teixeira,
Duarte Raposo,
Rui Lopes,
Susana Sargento
Abstract:
With modern vehicles evolving with more features, services, complex systems, with more sensors, actuators, and processing units, it is essential to think about vehicles not only as means of transportation that may tend towards full autonomy, but also as adaptive objects, that suit themselves to the needs of occupants. Vehicular services can be developed to support these adaptations. However, the i…
▽ More
With modern vehicles evolving with more features, services, complex systems, with more sensors, actuators, and processing units, it is essential to think about vehicles not only as means of transportation that may tend towards full autonomy, but also as adaptive objects, that suit themselves to the needs of occupants. Vehicular services can be developed to support these adaptations. However, the increasing complexity of vehicular service development, even with current standardizations and best practices and guidelines, are insufficient to tackle the high complexity of development, with expectations of up to 1 (U.S.) billion lines of code for a fully (level 5) autonomous vehicle. Within this survey, the paradigm of Deterministic Software Defined Vehicles is explored towards increasing the quality and easiness of the development of services for automotive. Towards this, a proposed vision with four pillars is also provided: the deterministic network configurator, the data layer configurator, and the hypervisor configurator and the vehicle abstraction layer, all coordinated by a software orchestrator.
△ Less
Submitted 24 July, 2024;
originally announced July 2024.
-
Production and stabilization of a spin mixture of ultracold dipolar Bose gases
Authors:
Maxime Lecomte,
Alexandre Journeaux,
Julie Veschambre,
Jean Dalibard,
Raphael Lopes
Abstract:
Mixtures of ultracold gases with long-range interactions are expected to open new avenues in the study of quantum matter. Natural candidates for this research are spin mixtures of atomic species with large magnetic moments. However, the lifetime of such assemblies can be strongly affected by the dipolar relaxation that occurs in spin-flip collisions. Here we present experimental results for a mixt…
▽ More
Mixtures of ultracold gases with long-range interactions are expected to open new avenues in the study of quantum matter. Natural candidates for this research are spin mixtures of atomic species with large magnetic moments. However, the lifetime of such assemblies can be strongly affected by the dipolar relaxation that occurs in spin-flip collisions. Here we present experimental results for a mixture composed of the two lowest Zeeman states of $^{162}$Dy atoms, that act as dark states with respect to a light-induced quadratic Zeeman effect. We show that, due to an interference phenomenon, the rate for such inelastic processes is dramatically reduced with respect to the Wigner threshold law. Additionally, we determine the scattering lengths characterizing the s-wave interaction between these states, providing all necessary data to predict the miscibility range of the mixture, depending on its dimensionality.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Systematic analysis of jellyfish galaxy candidates in Fornax, Antlia, and Hydra from the S-PLUS survey: A self-supervised visual identification aid
Authors:
Yash Gondhalekar,
Ana L. Chies-Santos,
Rafael S. de Souza,
Carolina Queiroz,
Amanda R. Lopes,
Fabricio Ferrari,
Gabriel M. Azevedo,
Hellen Monteiro-Pereira,
Roderik Overzier,
Analía V. Smith Castelli,
Yara L. Jaffé,
Rodrigo F. Haack,
P. T. Rahna,
Shiyin Shen,
Zihao Mu,
Ciria Lima-Dias,
Carlos E. Barbosa,
Gustavo B. Oliveira Schwarz,
Rogério Riffel,
Yolanda Jimenez-Teja,
Marco Grossi,
Claudia L. Mendes de Oliveira,
William Schoenell,
Thiago Ribeiro,
Antonio Kanaan
Abstract:
We study 51 jellyfish galaxy candidates in the Fornax, Antlia, and Hydra clusters. These candidates are identified using the JClass scheme based on the visual classification of wide-field, twelve-band optical images obtained from the Southern Photometric Local Universe Survey. A comprehensive astrophysical analysis of the jellyfish (JClass > 0), non-jellyfish (JClass = 0), and independently organi…
▽ More
We study 51 jellyfish galaxy candidates in the Fornax, Antlia, and Hydra clusters. These candidates are identified using the JClass scheme based on the visual classification of wide-field, twelve-band optical images obtained from the Southern Photometric Local Universe Survey. A comprehensive astrophysical analysis of the jellyfish (JClass > 0), non-jellyfish (JClass = 0), and independently organized control samples is undertaken. We develop a semi-automated pipeline using self-supervised learning and similarity search to detect jellyfish galaxies. The proposed framework is designed to assist visual classifiers by providing more reliable JClasses for galaxies. We find that jellyfish candidates exhibit a lower Gini coefficient, higher entropy, and a lower 2D Sérsic index as the jellyfish features in these galaxies become more pronounced. Jellyfish candidates show elevated star formation rates (including contributions from the main body and tails) by $\sim$1.75 dex, suggesting a significant increase in the SFR caused by the ram-pressure stripping phenomenon. Galaxies in the Antlia and Fornax clusters preferentially fall towards the cluster's centre, whereas only a mild preference is observed for Hydra galaxies. Our self-supervised pipeline, applied in visually challenging cases, offers two main advantages: it reduces human visual biases and scales effectively for large datasets. This versatile framework promises substantial enhancements in morphology studies for future galaxy image surveys.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Dynamics of spatial phase coherence in a dissipative Bose-Hubbard atomic system
Authors:
Rémy Vatré,
Raphaël Bouganne,
Manel Bosch Aguilera,
Alexis Ghermaoui,
Jérôme Beugnon,
Raphael Lopes,
Fabrice Gerbier
Abstract:
We investigate the loss of spatial coherence of one-dimensional bosonic gases in optical lattices illuminated by a near-resonant excitation laser. Because the atoms recoil in a random direction after each spontaneous emission, the atomic momentum distribution progressively broadens. Equivalently, the spatial correlation function (the Fourier-conjugate quantity of the momentum distribution) progres…
▽ More
We investigate the loss of spatial coherence of one-dimensional bosonic gases in optical lattices illuminated by a near-resonant excitation laser. Because the atoms recoil in a random direction after each spontaneous emission, the atomic momentum distribution progressively broadens. Equivalently, the spatial correlation function (the Fourier-conjugate quantity of the momentum distribution) progressively narrows down as more photons are scattered. Here we measure the correlation function of the matter field for fixed distances corresponding to nearest-neighbor (n-n) and next-nearest-neighbor (n-n-n) sites of the optical lattice as a function of time, hereafter called n-n and n-n-n correlators. For strongly interacting lattice gases, we find that the n-n correlator $C_1$ decays as a power-law at long times, $C_1\propto 1/t^α$, in stark contrast with the exponential decay expected for independent particles. The power-law decay reflects a non-trivial dissipative many-body dynamics, where interactions change drastically the interplay between fluorescence destroying spatial coherence, and coherent tunnelling between neighboring sites restoring spatial coherence at short distances. The observed decay exponent $α\approx 0.54(6) $ is in good agreement with the prediction $α=1/2$ from a dissipative Bose-Hubbard model accounting for the fluorescence-induced decoherence. Furthermore, we find that the n-n correlator $C_1$ controls the n-n-n correlator $C_2$ through the relation $C_2 \approx C_1^2$, also in accordance with the dissipative Bose-Hubbard model.
△ Less
Submitted 7 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
On the topology of concurrent systems
Authors:
Catarina Faustino,
Thomas Kahl,
Rodrigo Lopes
Abstract:
Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron.
Higher-dimensional automata, i.e., pointed labeled precubical sets, are a powerful combinatorial-topological model for concurrent systems. In this paper, we show that for every (nonempty) connected polyhedron there exists a shared-variable system such that the higher-dimensional automaton modeling the state space of the system has the homotopy type of the polyhedron.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
The S-PLUS Fornax Project (S+FP): SExtractor detection and measurement of nearby galaxies in large photometric surveys
Authors:
R. F. Haack,
A. V. Smith Castelli,
C. Mendes de Oliveira,
F. Almeida-Fernandes,
F. R. Faifer,
A. R. Lopes,
Y. Jaffe,
R. Demarco,
C. Lima-Dias,
L. Lomelí-Nuñez,
G. P. Montaguth,
W. Schoenell,
T. Ribeiro,
A. Kanaan
Abstract:
All-sky multi-band photometric surveys represent a unique opportunity of exploring rich nearby galaxy clusters up to several virial radii, reaching the filament regions where pre-processing is expected to occur. These projects aim to tackle a large number of astrophysical topics, encompassing both the galactic and extragalactic fields. In that sense, generating large catalogues with homogeneous ph…
▽ More
All-sky multi-band photometric surveys represent a unique opportunity of exploring rich nearby galaxy clusters up to several virial radii, reaching the filament regions where pre-processing is expected to occur. These projects aim to tackle a large number of astrophysical topics, encompassing both the galactic and extragalactic fields. In that sense, generating large catalogues with homogeneous photometry for both resolved and unresolved sources that might be interesting to achieve specific goals, imposes a compromise when choosing the set of parameters to automatically detect and measure such a plethora of objects. In this work we present the acquired experience on studying the galaxy content of the Fornax cluster using large catalogues obtained by the Southern Photometric Local Universe Survey (S-PLUS). We realized that some Fornax bright galaxies are missed in the S-PLUS iDR4 catalogues. In addition, Fornax star-forming galaxies are included as multiple detections due to over-deblending. To solve those issues, we performed specific SExtractor runs to identify the proper set of parameters to recover as many Fornax galaxies as possible with confident photometry and avoiding duplications. From that process, we obtained new catalogs containing 12-band improved photometry for ~ 3 x 10^6 resolved and unresolved sources in an area of ~ 208 deg2 in the direction of the Fornax cluster. Together with identifying the main difficulties to carry out the study of nearby groups and clusters of galaxies using S-PLUS catalogs, we also share possible solutions to face issues that seem to be common to other ongoing photometric surveys.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
The S-PLUS Fornax Project (S+FP): A first 12-band glimpse of the Fornax galaxy cluster
Authors:
A. V. Smith Castelli,
A. Cortesi,
R. F. Haack,
A. R. Lopes,
J. Thainá-Batista,
R. Cid Fernandes,
L. Lomelí-Núñez,
U. Ribeiro,
C. R. de Bom,
V. Cernic,
L. Sodré Jr,
L. Zenocratti,
M. E. De Rossi,
J. P. Calderón,
F. Herpich,
E. Telles,
K. Saha,
P. A. A. Lopes,
V. H. Lopes-Silva,
T. S. Gonçalves,
D. Bambrila,
N. M. Cardoso,
M. L. Buzzo,
P. Astudillo Sotomayor,
R. Demarco
, et al. (18 additional authors not shown)
Abstract:
The Fornax galaxy cluster is the richest nearby (D ~ 20 Mpc) galaxy association in the southern sky. As such, it provides a wealth of oportunities to elucidate on the processes where environment holds a key role in transforming galaxies. Although it has been the focus of many studies, Fornax has never been explored with contiguous homogeneous wide-field imaging in 12 photometric narrow- and broad-…
▽ More
The Fornax galaxy cluster is the richest nearby (D ~ 20 Mpc) galaxy association in the southern sky. As such, it provides a wealth of oportunities to elucidate on the processes where environment holds a key role in transforming galaxies. Although it has been the focus of many studies, Fornax has never been explored with contiguous homogeneous wide-field imaging in 12 photometric narrow- and broad-bands like those provided by the Southern Photometric Local Universe Survey (S-PLUS). In this paper we present the S-PLUS Fornax Project (S+FP) that aims to comprehensively analyse the galaxy content of the Fornax cluster using S-PLUS. Our data set consists of 106 S-PLUS wide-field frames (FoV ~ 1.4 x 1.4 deg$^2$) observed in five SDSS-like ugriz broad-bands and seven narrow-bands covering specific spectroscopic features like [OII], CaII H+K, H$δ$, G-band, Mg b triplet, H$α$, and the CaII triplet. Based on S-PLUS specific automated photometry, aimed at correctly detecting Fornax galaxies and globular clusters in S-PLUS images, our dataset provides the community with catalogues containing homogeneous 12-band photometry for ~ 3 x 10$^6$ resolved and unresolved objects within a region extending over ~ 208 deg$^2$ (~ 5 Rvir in RA) around Fornax' central galaxy, NGC 1399. We further explore the EAGLE and IllustrisTNG cosmological simulations to identify 45 Fornax-like clusters and generate mock images on all 12 S-PLUS bands of these structures down to galaxies with M$\star \geq 10^8$ M$\odot$. The S+FP dataset we put forward in this first paper of a series will enable a variety of studies some of which are briefly presented.
△ Less
Submitted 15 March, 2024;
originally announced March 2024.
-
GlórIA -- A Generative and Open Large Language Model for Portuguese
Authors:
Ricardo Lopes,
João Magalhães,
David Semedo
Abstract:
Significant strides have been made in natural language tasks, largely attributed to the emergence of powerful large language models (LLMs). These models, pre-trained on extensive and diverse corpora, have become increasingly capable of comprehending the intricacies of language. Despite the abundance of LLMs for many high-resource languages, the availability of such models remains limited for Europ…
▽ More
Significant strides have been made in natural language tasks, largely attributed to the emergence of powerful large language models (LLMs). These models, pre-trained on extensive and diverse corpora, have become increasingly capable of comprehending the intricacies of language. Despite the abundance of LLMs for many high-resource languages, the availability of such models remains limited for European Portuguese. We introduce GlórIA, a robust European Portuguese decoder LLM. To pre-train GlórIA, we assembled a comprehensive PT-PT text corpus comprising 35 billion tokens from various sources. We present our pre-training methodology, followed by an assessment of the model's effectiveness on multiple downstream tasks. Additionally, to evaluate our models' language modeling capabilities, we introduce CALAME-PT (Context-Aware LAnguage Modeling Evaluation for Portuguese), the first Portuguese zero-shot language-modeling benchmark. Evaluation shows that GlórIA significantly outperforms existing open PT decoder models in language modeling and that it can generate sound, knowledge-rich, and coherent PT-PT text. The model also exhibits strong potential for various downstream tasks.
△ Less
Submitted 20 February, 2024;
originally announced February 2024.
-
Finding forest-orderings of tournaments is NP-complete
Authors:
Pierre Aboulker,
Guillaume Aubian,
Raul Lopes
Abstract:
Given a class of (undirected) graphs $\mathcal{C}$, we say that a Feedback Arc Set (FAS for short) $F$ is a $\mathcal{C}$-FAS if the graph induced by the edges of $F$ (forgetting their orientations) belongs to $\mathcal{C}$. We show that deciding if a tournament has a $\mathcal{C}$-FAS is NP-complete when $\mathcal{C}$ is the class of all forests. We are motivated by connections between…
▽ More
Given a class of (undirected) graphs $\mathcal{C}$, we say that a Feedback Arc Set (FAS for short) $F$ is a $\mathcal{C}$-FAS if the graph induced by the edges of $F$ (forgetting their orientations) belongs to $\mathcal{C}$. We show that deciding if a tournament has a $\mathcal{C}$-FAS is NP-complete when $\mathcal{C}$ is the class of all forests. We are motivated by connections between $\mathcal{C}$-FAS and structural parameters of tournaments, such as the dichromatic number, the clique number of tournaments, and the strong Erdős-Hajnal property.
△ Less
Submitted 11 September, 2024; v1 submitted 16 February, 2024;
originally announced February 2024.
-
IGUANe: a 3D generalizable CycleGAN for multicenter harmonization of brain MR images
Authors:
Vincent Roca,
Grégory Kuchcinski,
Jean-Pierre Pruvo,
Dorian Manouvriez,
Renaud Lopes
Abstract:
In MRI studies, the aggregation of imaging data from multiple acquisition sites enhances sample size but may introduce site-related variabilities that hinder consistency in subsequent analyses. Deep learning methods for image translation have emerged as a solution for harmonizing MR images across sites. In this study, we introduce IGUANe (Image Generation with Unified Adversarial Networks), an ori…
▽ More
In MRI studies, the aggregation of imaging data from multiple acquisition sites enhances sample size but may introduce site-related variabilities that hinder consistency in subsequent analyses. Deep learning methods for image translation have emerged as a solution for harmonizing MR images across sites. In this study, we introduce IGUANe (Image Generation with Unified Adversarial Networks), an original 3D model that leverages the strengths of domain translation and straightforward application of style transfer methods for multicenter brain MR image harmonization. IGUANe extends CycleGAN architecture by integrating an arbitrary number of domains for training through a many-to-one strategy. During inference, the model can be applied to any image, even from an unknown acquisition site, making it a universal generator for harmonization. Trained on a dataset comprising T1-weighted images from 11 different scanners, IGUANe was evaluated on data from unseen sites. The assessments included the transformation of MR images with traveling subjects, the preservation of pairwise distances between MR images within domains, the evolution of volumetric patterns related to age and Alzheimer$^\prime$s disease (AD), and the performance in age regression and patient classification tasks. Comparisons with other harmonization and normalization methods suggest that IGUANe better preserves individual information in MR images and is more suitable for maintaining and reinforcing variabilities related to age and AD. Future studies may further assess IGUANe in other multicenter contexts, either using the same model or retraining it for applications to different image modalities.
△ Less
Submitted 12 March, 2024; v1 submitted 5 February, 2024;
originally announced February 2024.
-
Bisognano-Wichmann Hamiltonian for the entanglement spectroscopy of fractional quantum Hall states
Authors:
A. Nardin,
R. Lopes,
M. Rizzi,
L. Mazza,
S. Nascimbene
Abstract:
We study the Bisognano-Wichmann Hamiltonian for fractional quantum Hall states defined on a sphere and explore its relationship with the entanglement Hamiltonian associated to the state. We present results for several examples, namely the bosonic Laughlin state stabilized by contact two-body interactions and the bosonic Moore-Read state by either three- or two-body interactions. Our findings demon…
▽ More
We study the Bisognano-Wichmann Hamiltonian for fractional quantum Hall states defined on a sphere and explore its relationship with the entanglement Hamiltonian associated to the state. We present results for several examples, namely the bosonic Laughlin state stabilized by contact two-body interactions and the bosonic Moore-Read state by either three- or two-body interactions. Our findings demonstrate that the Bisognano-Wichmann Hamiltonian provides a reliable approximation of the entanglement Hamiltonian as a fully-local operator that can be written without any prior knowledge of the specific state under consideration.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
Towards Time Sensitive Networking on Smart Cities: Techniques, Challenges, and Solutions
Authors:
Rui Lopes,
Duarte Raposo,
Susana Sargento
Abstract:
The rapid proliferation of smart cities has transformed urban landscapes into dynamic ecosystems teeming with interconnected computational nodes and sensors. During this evolution, the search for seamless communication in time-critical scenarios has become evident. With the escalating complexity of urban environments, envisioning a future with a blend of autonomous and conventional systems, each d…
▽ More
The rapid proliferation of smart cities has transformed urban landscapes into dynamic ecosystems teeming with interconnected computational nodes and sensors. During this evolution, the search for seamless communication in time-critical scenarios has become evident. With the escalating complexity of urban environments, envisioning a future with a blend of autonomous and conventional systems, each demanding distinct quality-of-service considerations, services in smart cities vary criticality levels and necessitate differentiated traffic handling, prioritizing critical flows without compromising the network's reliability or failing on hard real-time requirements.
To tackle these challenges, in this article we propose a Time-Sensitive Networking (TSN) approach which, at the scale of a smart city network, presents multifaceted challenges, notably interoperability among diverse technologies and standards. Nonetheless, TSN emerges as a promising toolkit, encompassing synchronization, latency management, redundancy, and configuration functionalities crucial for addressing smart city challenges. Moreover, the article scrutinizes how TSN, predominantly utilized in domains like automotive and industry, can be tailored to suit the intricate needs of smart cities, emphasizing the necessity for adaptability and scalability in network design.
This survey consolidates current research on TSN, outlining its potential in fortifying critical machine-to-machine communications within smart cities while highlighting future challenges, potential solutions, and a roadmap for integrating TSN effectively into the fabric of urban connectivity.
△ Less
Submitted 6 December, 2023;
originally announced December 2023.
-
Loss features in ultracold $^{162}$Dy gases: two- versus three-body processes
Authors:
Maxime Lecomte,
Alexandre Journeaux,
Loan Renaud,
Jean Dalibard,
Raphael Lopes
Abstract:
Dipolar gases like erbium and dysprosium have a dense spectrum of resonant loss features associated with their strong anisotropic interaction potential. These resonances display various behaviours with density and temperature, implying diverse microscopic properties. Here, we quantitatively investigate the low-field ($B < 6\,\text{G}$) loss features in ultracold thermal samples of $^{162}$Dy, reve…
▽ More
Dipolar gases like erbium and dysprosium have a dense spectrum of resonant loss features associated with their strong anisotropic interaction potential. These resonances display various behaviours with density and temperature, implying diverse microscopic properties. Here, we quantitatively investigate the low-field ($B < 6\,\text{G}$) loss features in ultracold thermal samples of $^{162}$Dy, revealing two- and three-body dominated loss processes. We investigate their temperature dependence and detect a feature compatible with a $d$-wave Fano-Feshbach resonance, which has not been observed before. We also analyse the expansion of the dipolar Bose-Einstein condensate as a function of the magnetic field and interpret the changes in size close to the resonances with a variation in the scattering length.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Clique number of tournaments
Authors:
Pierre Aboulker,
Guillaume Aubian,
Pierre Charbit,
Raul Lopes
Abstract:
We introduce the notion of clique number of a tournament and investigate its relation with the dichromatic number. In particular, it permits defining $\dic$-bounded classes of tournaments, which is the paper's main topic.
We introduce the notion of clique number of a tournament and investigate its relation with the dichromatic number. In particular, it permits defining $\dic$-bounded classes of tournaments, which is the paper's main topic.
△ Less
Submitted 6 October, 2023;
originally announced October 2023.
-
Spatiotemporal patterns of Io's bright transient eruptions, 1978-2022
Authors:
Christian D. Tate,
Julie A. Rathbun,
Alexander G. Hayes,
Rosaly M. C. Lopes,
Madeline Pettine
Abstract:
This study analyzes Io's thermally detected volcanic outbursts and mini-outbursts, generally called bright transient eruptions. We examine their evolving characteristics over the history of outburst observations between the Voyager flybys in 1978 and 2022. We catalog, compare, and interpret the data of these bright transient eruptions from several spacecraft flybys and numerous ground-based observ…
▽ More
This study analyzes Io's thermally detected volcanic outbursts and mini-outbursts, generally called bright transient eruptions. We examine their evolving characteristics over the history of outburst observations between the Voyager flybys in 1978 and 2022. We catalog, compare, and interpret the data of these bright transient eruptions from several spacecraft flybys and numerous ground-based observation campaigns. To test the spatiotemporal behavior of these events, we compare them to a population of randomly spaced, stochastic events with an equal likelihood of occurrence anywhere on Io's surface. We find that the aggregate of all outbursts is consistent with a random distribution across Io, whereas mini-outbursts strongly prefer the trailing hemisphere (180 to 360 W). On shorter timescales, however, outbursts show a significant change in spatiotemporal behavior before and after the year 2012. Outbursts from 1995 to 2007 favor the northern leading hemisphere, while outbursts from 2013 to 2021 favor the southern trailing hemisphere. These temporally separated clusters of outbursts are remarkably similar to Io's two primary mountainous regions, indicating that outbursts may be related to mountain-forming activity. These trends show how bright transient eruptions are distinct from Io's other forms of volcanism. These could be essential constraints to assess models of Io's interior heat transport between tidal generation and volcanic distribution.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
A Theoretical and Practical Framework for Evaluating Uncertainty Calibration in Object Detection
Authors:
Pedro Conde,
Rui L. Lopes,
Cristiano Premebida
Abstract:
The proliferation of Deep Neural Networks has resulted in machine learning systems becoming increasingly more present in various real-world applications. Consequently, there is a growing demand for highly reliable models in many domains, making the problem of uncertainty calibration pivotal when considering the future of deep learning. This is especially true when considering object detection syst…
▽ More
The proliferation of Deep Neural Networks has resulted in machine learning systems becoming increasingly more present in various real-world applications. Consequently, there is a growing demand for highly reliable models in many domains, making the problem of uncertainty calibration pivotal when considering the future of deep learning. This is especially true when considering object detection systems, that are commonly present in safety-critical applications such as autonomous driving, robotics and medical diagnosis. For this reason, this work presents a novel theoretical and practical framework to evaluate object detection systems in the context of uncertainty calibration. This encompasses a new comprehensive formulation of this concept through distinct formal definitions, and also three novel evaluation metrics derived from such theoretical foundation. The robustness of the proposed uncertainty calibration metrics is shown through a series of representative experiments.
△ Less
Submitted 18 March, 2024; v1 submitted 1 September, 2023;
originally announced September 2023.
-
Science and engineering for what? A large-scale analysis of students' projects in science fairs
Authors:
Adelmo Eloy,
Thomas Palmeira Ferraz,
Fellip Silva Alves,
Roseli de Deus Lopes
Abstract:
Science and Engineering fairs offer K-12 students opportunities to engage with authentic STEM practices. Particularly, students are given the chance to experience authentic and open inquiry processes, by defining which themes, questions and approaches will guide their scientific endeavors. In this study, we analyzed data from over 5,000 projects presented at a nationwide science fair in Brazil ove…
▽ More
Science and Engineering fairs offer K-12 students opportunities to engage with authentic STEM practices. Particularly, students are given the chance to experience authentic and open inquiry processes, by defining which themes, questions and approaches will guide their scientific endeavors. In this study, we analyzed data from over 5,000 projects presented at a nationwide science fair in Brazil over the past 20 years using topic modeling to identify the main topics that have driven students' inquiry and design. Our analysis identified a broad range of topics being explored, with significant variations over time, region, and school setting. We argue those results and proposed methodology can not only support further research in the context of science fairs, but also inform instruction and design of contexts-specific resources to support students in open inquiry experiences in different settings.
△ Less
Submitted 13 October, 2023; v1 submitted 5 August, 2023;
originally announced August 2023.
-
Realizing the entanglement Hamiltonian of a topological quantum Hall system
Authors:
Quentin Redon,
Qi Liu,
Jean-Baptiste Bouhiron,
Nehal Mittal,
Aurélien Fabre,
Raphael Lopes,
Sylvain Nascimbene
Abstract:
Topological quantum many-body systems, such as Hall insulators, are characterized by a hidden order encoded in the entanglement between their constituents. Entanglement entropy, an experimentally accessible single number that globally quantifies entanglement, has been proposed as a first signature of topological order. Conversely, the full description of entanglement relies on the entanglement Ham…
▽ More
Topological quantum many-body systems, such as Hall insulators, are characterized by a hidden order encoded in the entanglement between their constituents. Entanglement entropy, an experimentally accessible single number that globally quantifies entanglement, has been proposed as a first signature of topological order. Conversely, the full description of entanglement relies on the entanglement Hamiltonian, a more complex object originally introduced to formulate quantum entanglement in curved spacetime. As conjectured by Li and Haldane, the entanglement Hamiltonian of a many-body system appears to be directly linked to its boundary properties, making it particularly useful for characterizing topological systems. While the entanglement spectrum is commonly used to identify complex phases arising in numerical simulations, its measurement remains an outstanding challenge. Here, we perform a variational approach to realize experimentally, as a genuine Hamiltonian, the entanglement Hamiltonian of a synthetic quantum Hall system. We use a synthetic dimension, encoded in the electronic spin of dysprosium atoms, to implement spatially deformed Hall systems, as suggested by the Bisognano-Wichmann prediction. The spectrum of the optimal variational Hamiltonian exhibits a chiral dispersion akin to a topological edge mode, revealing the fundamental link between entanglement and boundary physics. Our variational procedure can be easily generalized to interacting many-body systems on various platforms, marking an important step towards the exploration of exotic quantum systems with long-range correlations, such as fractional Hall states, chiral spin liquids and critical systems.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
New Menger-like dualities in digraphs and applications to half-integral linkages
Authors:
Victor Campos,
Jonas Costa,
Raul Lopes,
Ignasi Sau
Abstract:
We present new min-max relations in digraphs between the number of paths satisfying certain conditions and the order of the corresponding cuts. We define these objects in order to capture, in the context of solving the half-integral linkage problem, the essential properties needed for reaching a large bramble of congestion two (or any other constant) from the terminal set. This strategy has been u…
▽ More
We present new min-max relations in digraphs between the number of paths satisfying certain conditions and the order of the corresponding cuts. We define these objects in order to capture, in the context of solving the half-integral linkage problem, the essential properties needed for reaching a large bramble of congestion two (or any other constant) from the terminal set. This strategy has been used ad-hoc in several articles, usually with lengthy technical proofs, and our objective is to abstract it to make it applicable in a simpler and unified way. We provide two proofs of the min-max relations, one consisting in applying Menger's Theorem on appropriately defined auxiliary digraphs, and an alternative simpler one using matroids, however with worse polynomial running time.
As an application, we manage to simplify and improve several results of Edwards et al. [ESA 2017] and of Giannopoulou et al. [SODA 2022] about finding half-integral linkages in digraphs. Concerning the former, besides being simpler, our proof provides an almost optimal bound on the strong connectivity of a digraph for it to be half-integrally feasible under the presence of a large bramble of congestion two (or equivalently, if the directed tree-width is large, which is the hard case). Concerning the latter, our proof uses brambles as rerouting objects instead of cylindrical grids, hence yielding much better bounds and being somehow independent of a particular topology.
We hope that our min-max relations will find further applications as, in our opinion, they are simple, robust, and versatile to be easily applicable to different types of routing problems in digraphs.
△ Less
Submitted 28 June, 2023;
originally announced June 2023.
-
On the conformance of Android applications with children's data protection regulations and safeguarding guidelines
Authors:
Ricardo Lopes,
Vinh Thong Ta,
Ioannis Korkontzelos
Abstract:
With the rapid development of online technologies and the widespread usage of mobile phones among children, it is crucial to protect their online safety. Some studies reported that online abuse and incidents negatively affect children's mental health and development. In this paper, we examine how Android applications follow the rules related to children's data protection in the EU General Data Pro…
▽ More
With the rapid development of online technologies and the widespread usage of mobile phones among children, it is crucial to protect their online safety. Some studies reported that online abuse and incidents negatively affect children's mental health and development. In this paper, we examine how Android applications follow the rules related to children's data protection in the EU General Data Protection Regulation (GDPR) and the UK and EU children's online safeguarding guidelines. Our findings show that the number of non-compliant apps is still significant. Even the apps designed for children do not always comply with legislation or guidance. This lack of compliance could contribute to creating a path to causing physical or mental harm to children. We then discuss the relevance of automating the compliance verification and online safety risk assessment, including open questions, challenges, possible approaches, and directions.
△ Less
Submitted 17 May, 2023; v1 submitted 15 May, 2023;
originally announced May 2023.
-
Approaching Test Time Augmentation in the Context of Uncertainty Calibration for Deep Neural Networks
Authors:
Pedro Conde,
Tiago Barros,
Rui L. Lopes,
Cristiano Premebida,
Urbano J. Nunes
Abstract:
With the rise of Deep Neural Networks, machine learning systems are nowadays ubiquitous in a number of real-world applications, which bears the need for highly reliable models. This requires a thorough look not only at the accuracy of such systems, but also at their predictive uncertainty. Hence, we propose a novel technique (with two different variations, named M-ATTA and V-ATTA) based on test ti…
▽ More
With the rise of Deep Neural Networks, machine learning systems are nowadays ubiquitous in a number of real-world applications, which bears the need for highly reliable models. This requires a thorough look not only at the accuracy of such systems, but also at their predictive uncertainty. Hence, we propose a novel technique (with two different variations, named M-ATTA and V-ATTA) based on test time augmentation, to improve the uncertainty calibration of deep models for image classification. By leveraging na adaptive weighting system, M/V-ATTA improves uncertainty calibration without affecting the model's accuracy. The performance of these techniques is evaluated by considering diverse metrics related to uncertainty calibration, demonstrating their robustness. Empirical results, obtained on CIFAR-10, CIFAR-100, Aerial Image Dataset, as well as in two different scenarios under distribution-shift, indicate that the proposed methods outperform several state-of-the-art post-hoc calibration techniques. Furthermore, the methods proposed also show improvements in terms of predictive entropy on out-of-distribution samples. Code for M/V-ATTA available at: https://github.com/pedrormconde/MV-ATTA
△ Less
Submitted 18 March, 2024; v1 submitted 11 April, 2023;
originally announced April 2023.
-
Ten Quick Tips for Harnessing the Power of ChatGPT/GPT-4 in Computational Biology
Authors:
Tiago Lubiana,
Rafael Lopes,
Pedro Medeiros,
Juan Carlo Silva,
Andre Nicolau Aquime Goncalves,
Vinicius Maracaja-Coutinho,
Helder I Nakaya
Abstract:
The rise of advanced chatbots, such as ChatGPT, has sparked curiosity in the scientific community. ChatGPT is a general-purpose chatbot powered by large language models (LLMs) GPT-3.5 and GPT-4, with the potential to impact numerous fields, including computational biology. In this article, we offer ten tips based on our experience with ChatGPT to assist computational biologists in optimizing their…
▽ More
The rise of advanced chatbots, such as ChatGPT, has sparked curiosity in the scientific community. ChatGPT is a general-purpose chatbot powered by large language models (LLMs) GPT-3.5 and GPT-4, with the potential to impact numerous fields, including computational biology. In this article, we offer ten tips based on our experience with ChatGPT to assist computational biologists in optimizing their workflows. We have collected relevant prompts and reviewed the nascent literature in the field, compiling tips we project to remain pertinent for future ChatGPT and LLM iterations, ranging from code refactoring to scientific writing to prompt engineering. We hope our work will help bioinformaticians to complement their workflows while staying aware of the various implications of using this technology. Additionally, to track new and creative applications for bioinformatics tools such as ChatGPT, we have established a GitHub repository at https://github.com/csbl-br/awesome-compbio-chatgpt. Our belief is that ethical adherence to ChatGPT and other LLMs will increase the efficiency of computational biologists, ultimately advancing the pace of scientific discovery in the life sciences.
△ Less
Submitted 28 March, 2023;
originally announced March 2023.
-
On Computing Large Temporal (Unilateral) Connected Components
Authors:
Isnard Lopes Costa,
Raul Lopes,
Andrea Marino,
Ana Silva
Abstract:
A temporal (directed) graph is a graph whose edges are available only at specific times during its lifetime, $τ$. Paths are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly (i.e., non-decreasing) depending on the scenario. Then, the classical concept of connected components and also of unilateral connected components in static graphs and…
▽ More
A temporal (directed) graph is a graph whose edges are available only at specific times during its lifetime, $τ$. Paths are sequences of adjacent edges whose appearing times are either strictly increasing or non-strictly increasingly (i.e., non-decreasing) depending on the scenario. Then, the classical concept of connected components and also of unilateral connected components in static graphs and digraphs naturally extends to the temporal setting.
In this paper, we answer to the following fundamental questions in temporal graphs. (i) What is the complexity of deciding the existence of a component of size $k$, parameterized by $τ$, by $k$, and by $k+τ$? We show that this question has a different answer depending on the considered definition of component and whether the temporal graph is directed or undirected. (ii) What is the minimum running time required to check whether a subset of vertices are pairwise reachable? A quadratic algorithm is known but, contrary to the static case, we show that a better running time is unlikely unless SETH fails. (iii) Is it possible to verify whether a subset of vertices is a component in polynomial time? We show that depending on the definition of temporal component this test is NP-complete.
△ Less
Submitted 28 February, 2023; v1 submitted 23 February, 2023;
originally announced February 2023.
-
The Eighteenth Data Release of the Sloan Digital Sky Surveys: Targeting and First Spectra from SDSS-V
Authors:
Andrés Almeida,
Scott F. Anderson,
Maria Argudo-Fernández,
Carles Badenes,
Kat Barger,
Jorge K. Barrera-Ballesteros,
Chad F. Bender,
Erika Benitez,
Felipe Besser,
Dmitry Bizyaev,
Michael R. Blanton,
John Bochanski,
Jo Bovy,
William Nielsen Brandt,
Joel R. Brownstein,
Johannes Buchner,
Esra Bulbul,
Joseph N. Burchett,
Mariana Cano Díaz,
Joleen K. Carlberg,
Andrew R. Casey,
Vedant Chandra,
Brian Cherinka,
Cristina Chiappini,
Abigail A. Coker
, et al. (129 additional authors not shown)
Abstract:
The eighteenth data release of the Sloan Digital Sky Surveys (SDSS) is the first one for SDSS-V, the fifth generation of the survey. SDSS-V comprises three primary scientific programs, or "Mappers": Milky Way Mapper (MWM), Black Hole Mapper (BHM), and Local Volume Mapper (LVM). This data release contains extensive targeting information for the two multi-object spectroscopy programs (MWM and BHM),…
▽ More
The eighteenth data release of the Sloan Digital Sky Surveys (SDSS) is the first one for SDSS-V, the fifth generation of the survey. SDSS-V comprises three primary scientific programs, or "Mappers": Milky Way Mapper (MWM), Black Hole Mapper (BHM), and Local Volume Mapper (LVM). This data release contains extensive targeting information for the two multi-object spectroscopy programs (MWM and BHM), including input catalogs and selection functions for their numerous scientific objectives. We describe the production of the targeting databases and their calibration- and scientifically-focused components. DR18 also includes ~25,000 new SDSS spectra and supplemental information for X-ray sources identified by eROSITA in its eFEDS field. We present updates to some of the SDSS software pipelines and preview changes anticipated for DR19. We also describe three value-added catalogs (VACs) based on SDSS-IV data that have been published since DR17, and one VAC based on the SDSS-V data in the eFEDS field.
△ Less
Submitted 6 July, 2023; v1 submitted 18 January, 2023;
originally announced January 2023.
-
Search for central exclusive production of top quark pairs with the CMS and TOTEM experiments
Authors:
Beatriz Ribeiro Lopes
Abstract:
A search for central exclusive production of top quark pairs ($\mathrm{t}\bar{\mathrm{t}}$) is presented using collision data collected by CMS and the CMS-TOTEM Precision Proton Spectrometer in 2017. A data-driven method to estimate the background from coincidences of inclusive events and pileup protons is described, as well as the development of a Boosted Decision Tree classifier to separate the…
▽ More
A search for central exclusive production of top quark pairs ($\mathrm{t}\bar{\mathrm{t}}$) is presented using collision data collected by CMS and the CMS-TOTEM Precision Proton Spectrometer in 2017. A data-driven method to estimate the background from coincidences of inclusive events and pileup protons is described, as well as the development of a Boosted Decision Tree classifier to separate the exclusive $\mathrm{t}\bar{\mathrm{t}}$ signal from the inclusive $\mathrm{t}\bar{\mathrm{t}}$ background. The first-ever upper limits on the cross section of exclusive $\mathrm{t}\bar{\mathrm{t}}$ are shown.
△ Less
Submitted 25 October, 2022;
originally announced October 2022.
-
Realization of an atomic quantum Hall system in four dimensions
Authors:
Jean-Baptiste Bouhiron,
Aurélien Fabre,
Qi Liu,
Quentin Redon,
Nehal Mittal,
Tanish Satoor,
Raphael Lopes,
Sylvain Nascimbene
Abstract:
Modern condensed matter physics relies on the concept of topology to classify matter, from quantum Hall systems to topological insulators. Engineered systems, benefiting from synthetic dimensions, can potentially give access to novel topological states predicted in dimensions $D > 3$. We report the realization of an atomic quantum Hall system evolving in four dimensions (4D), with two spatial dime…
▽ More
Modern condensed matter physics relies on the concept of topology to classify matter, from quantum Hall systems to topological insulators. Engineered systems, benefiting from synthetic dimensions, can potentially give access to novel topological states predicted in dimensions $D > 3$. We report the realization of an atomic quantum Hall system evolving in four dimensions (4D), with two spatial dimensions and two synthetic ones encoded in the large spin of dysprosium atoms. The non-trivial topology is evidenced by measuring a quantized electromagnetic non-linear response and observing anisotropic hyperedge modes. We also excite non-planar cyclotron motion, contrasting with its circular equivalents in $D\leq3$. Our work opens to the investigation of strongly-correlated topological liquids in 4D generalizing fractional quantum Hall states.
△ Less
Submitted 13 May, 2024; v1 submitted 12 October, 2022;
originally announced October 2022.
-
Galaxy Distributions as Fractal Systems
Authors:
Sharon Teles,
Amanda R. Lopes,
Marcelo B. Ribeiro
Abstract:
This paper discusses if large scale galaxy distribution samples containing almost one million objects can be characterized as fractal systems. The analysis performed by Teles et al. (2021; arXiv:2012.07164) on the UltraVISTA DR1 survey is extended here to the SPLASH and COSMOS2015 catalogs, hence adding 750k new galaxies with measured redshifts to the studied samples. The standard $Λ$CDM cosmology…
▽ More
This paper discusses if large scale galaxy distribution samples containing almost one million objects can be characterized as fractal systems. The analysis performed by Teles et al. (2021; arXiv:2012.07164) on the UltraVISTA DR1 survey is extended here to the SPLASH and COSMOS2015 catalogs, hence adding 750k new galaxies with measured redshifts to the studied samples. The standard $Λ$CDM cosmology having $H_0=(70\pm5)$ km/s/Mpc and number density tools required for describing these galaxy distributions as single fractal systems with dimension $D$ are adopted. We use the luminosity distance $d_L$, redshift distance $d_z$ and galaxy area distance (transverse comoving distance) $d_G$ as relativistic distance definitions to derive galaxy number densities in the redshift interval $0.1\le z\le4$ at volume limited subsamples defined by absolute magnitudes in the K-band. Similar to the findings of Teles et al. (2021; arXiv:2012.07164), the results show two consecutive redshift scales where galaxy distribution data behave as single fractal structures. For $z<1$ we found $D=1.00\pm0.12$ for the SPLASH galaxies, and $D=1,39\pm0.19$ for the COSMOS2015. For $1\le z\le4$ we respectively found $D=0.83^{+0.36}_{-0.37}$ and $D=0.54^{+0.27}_{-0.26}$. These results were verified to be robust under the assumed Hubble constant uncertainty. Calculations considering blue and red galaxies subsamples in both surveys showed that the fractal dimensions of blue galaxies as basically unchanged, but the ones for the red galaxies changed mostly to smaller values, meaning that $D$ may be seen as a more intrinsic property of the distribution of objects in the Universe, therefore allowing for the fractal dimension to be used as a tool to study different populations of galaxies. All results confirm the decades old theoretical prediction of a decrease in the fractal dimension for $z>1$.
△ Less
Submitted 29 September, 2022;
originally announced September 2022.
-
Aveiro Tech City Living Lab: A Communication, Sensing and Computing Platform for City Environments
Authors:
Pedro Rito,
Ana Almeida,
Andreia Figueiredo,
Christian Gomes,
Pedro Teixeira,
Rodrigo Rosmaninho,
Rui Lopes,
Duarte Dias,
Gonçalo Vítor,
Gonçalo Perna,
Miguel Silva,
Carlos Senna,
Duarte Raposo,
Miguel Luís,
Susana Sargento,
Arnaldo Oliveira,
Nuno Borges de Carvalho
Abstract:
This article presents the deployment and experimentation architecture of the Aveiro Tech City Living Lab (ATCLL) in Aveiro, Portugal. This platform comprises a large number of Internet-of-Things devices with communication, sensing and computing capabilities. The communication infrastructure, built on fiber and Millimeter-wave (mmWave) links, integrates a communication network with radio terminals…
▽ More
This article presents the deployment and experimentation architecture of the Aveiro Tech City Living Lab (ATCLL) in Aveiro, Portugal. This platform comprises a large number of Internet-of-Things devices with communication, sensing and computing capabilities. The communication infrastructure, built on fiber and Millimeter-wave (mmWave) links, integrates a communication network with radio terminals (WiFi, ITS-G5, C-V2X, 5G and LoRa(WAN)), multiprotocol, spread throughout 44 connected points of access in the city. Additionally, public transportation has also been equipped with communication and sensing units. All these points combine and interconnect a set of sensors, such as mobility (Radars, Lidars, video cameras) and environmental sensors. Combining edge computing and cloud management to deploy the services and manage the platform, and a data platform to gather and process the data, the living lab supports a wide range of services and applications: IoT, intelligent transportation systems and assisted driving, environmental monitoring, emergency and safety, among others. This article describes the architecture, implementation and deployment to make the overall platform to work and integrate researchers and citizens. Moreover, it showcases some examples of the performance metrics achieved in the city infrastructure, the data that can be collected, visualized and used to build services and applications to the cities, and, finally, different use cases in the mobility and safety scenarios.
△ Less
Submitted 25 July, 2022;
originally announced July 2022.
-
Language Model Cascades
Authors:
David Dohan,
Winnie Xu,
Aitor Lewkowycz,
Jacob Austin,
David Bieber,
Raphael Gontijo Lopes,
Yuhuai Wu,
Henryk Michalewski,
Rif A. Saurous,
Jascha Sohl-dickstein,
Kevin Murphy,
Charles Sutton
Abstract:
Prompted models have demonstrated impressive few-shot learning abilities. Repeated interactions at test-time with a single model, or the composition of multiple models together, further expands capabilities. These compositions are probabilistic models, and may be expressed in the language of graphical models with random variables whose values are complex data types such as strings. Cases with cont…
▽ More
Prompted models have demonstrated impressive few-shot learning abilities. Repeated interactions at test-time with a single model, or the composition of multiple models together, further expands capabilities. These compositions are probabilistic models, and may be expressed in the language of graphical models with random variables whose values are complex data types such as strings. Cases with control flow and dynamic structure require techniques from probabilistic programming, which allow implementing disparate model structures and inference strategies in a unified language. We formalize several existing techniques from this perspective, including scratchpads / chain of thought, verifiers, STaR, selection-inference, and tool use. We refer to the resulting programs as language model cascades.
△ Less
Submitted 28 July, 2022; v1 submitted 21 July, 2022;
originally announced July 2022.
-
Menger's Theorem for Temporal Paths (Not Walks)
Authors:
Allen Ibiapina,
Raul Lopes,
Andrea Marino,
Ana Silva
Abstract:
A (directed) temporal graph is a (directed) graph whose edges are available only at specific times during its lifetime $τ$. Temporal walks are sequences of adjacent edges whose appearing times are either strictly increasing or non-decreasing (here called non-strict), depending on the scenario. Paths are temporal walks where no vertex repetition is allowed. A temporal vertex is a pair $(u,i)$ where…
▽ More
A (directed) temporal graph is a (directed) graph whose edges are available only at specific times during its lifetime $τ$. Temporal walks are sequences of adjacent edges whose appearing times are either strictly increasing or non-decreasing (here called non-strict), depending on the scenario. Paths are temporal walks where no vertex repetition is allowed. A temporal vertex is a pair $(u,i)$ where $u$ is a vertex and $i\in[τ]$ a timestep. In this paper we focus on the questions: (i) are there at least $k$ paths from a single source $s$ to a single target $t$, no two of which internally intersect on a temporal vertex? (ii) are there at most $h$ temporal vertices whose removal disconnects $s$ from $t$? Let $k^*$ be the maximum value $k$ for which the answer to (i) is YES, and let $h^*$ be the minimum value $h$ for which the answer to (ii) is YES. In static graphs, $k^*$ and $h^*$ are equal by Menger's Theorem and this is a crucial property to solve efficiently both (i) and (ii). In temporal graphs such equality has been investigated only focusing on disjoint walks rather than disjoint paths. In this context, we prove that $k^*$ is equal to $h^*$ if and only if $k^*$ is 1. We show that this implies a dichotomy for (i), which turns out to be polynomial-time solvable when $k \le 2$, and NP-complete for $k \ge 3$. Finally, we give hardness results and an XP algorithm for (ii).
△ Less
Submitted 6 November, 2023; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Learning Rhetorical Structure Theory-based descriptions of observed behaviour
Authors:
Luis Botelho,
Luis Nunes,
Ricardo Ribeiro,
Rui J. Lopes
Abstract:
In a previous paper, we have proposed a set of concepts, axiom schemata and algorithms that can be used by agents to learn to describe their behaviour, goals, capabilities, and environment. The current paper proposes a new set of concepts, axiom schemata and algorithms that allow the agent to learn new descriptions of an observed behaviour (e.g., perplexing actions), of its actor (e.g., undesired…
▽ More
In a previous paper, we have proposed a set of concepts, axiom schemata and algorithms that can be used by agents to learn to describe their behaviour, goals, capabilities, and environment. The current paper proposes a new set of concepts, axiom schemata and algorithms that allow the agent to learn new descriptions of an observed behaviour (e.g., perplexing actions), of its actor (e.g., undesired propositions or actions), and of its environment (e.g., incompatible propositions). Each learned description (e.g., a certain action prevents another action from being performed in the future) is represented by a relationship between entities (either propositions or actions) and is learned by the agent, just by observation, using domain-independent axiom schemata and or learning algorithms. The relations used by agents to represent the descriptions they learn were inspired on the Theory of Rhetorical Structure (RST). The main contribution of the paper is the relation family Although, inspired on the RST relation Concession. The accurate definition of the relations of the family Although involves a set of deontic concepts whose definition and corresponding algorithms are presented. The relations of the family Although, once extracted from the agent's observations, express surprise at the observed behaviour and, in certain circumstances, present a justification for it.
The paper shows results of the presented proposals in a demonstration scenario, using implemented software.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Proceedings of the Low-$x$ 2021 International Workshop
Authors:
L. Alcerro,
G. K. Krintiras,
C. Royon,
Michael G. Albrow,
Thomas Boettcher,
Stanley J. Brodsky,
Francesco Giovanni Celiberto,
Deniz Sunar Cerci,
Salim Cerci,
G. Chachamis,
Dimitri Colferai,
Weisong Duan,
Laura Fabbri,
Francesco Giuli,
Cristina Sánchez Gras,
Spencer R. Klein,
Maciej P. Lewicki,
Toni Mäkelä,
Jamal Jalilian-Marian,
Dmitry Melnikov,
Frigyes Nemes,
Beatriz Ribeiro Lopes,
Kenneth Österberg,
Vladimir Petrov,
Simone Ragoni
, et al. (2 additional authors not shown)
Abstract:
The purpose of the Low-$x$ Workshop series is to stimulate discussions between experimentalists and theorists in diffractive hadronic physics, QCD dynamics at low $x$, parton saturation, and exciting problems in QCD at HERA, Tevatron, LHC, RHIC, and the future EIC. The central topics of the workshop, summarized in the current Proceedings, were: Diffraction in ep and e-ion collisions (including EIC…
▽ More
The purpose of the Low-$x$ Workshop series is to stimulate discussions between experimentalists and theorists in diffractive hadronic physics, QCD dynamics at low $x$, parton saturation, and exciting problems in QCD at HERA, Tevatron, LHC, RHIC, and the future EIC. The central topics of the workshop, summarized in the current Proceedings, were: Diffraction in ep and e-ion collisions (including EIC physics); Diffraction and photon-exchange in hadron-hadron, hadron-nucleus, and nucleus-nucleus collisions; Spin Physics; Low-$x$ PDFs, forward physics, and hadronic final states. This Workshop has been the XXVIII edition in the series of the workshop.
△ Less
Submitted 23 June, 2022;
originally announced June 2022.
-
Statistical analysis of global properties of galaxies in the direction of the Fornax cluster with S-PLUS
Authors:
J. P. Calderón,
A. V. Smith Castelli,
E. V. R. de Lima,
A. R. Lopes,
F. Almeida-Fernandes,
C. Mendes de Oliveira
Abstract:
In the context of the S-PLUS Fornax Project (S+FP), we analyze the galaxy population in the direction of the Fornax cluster ($D\approx 20$~Mpc). We have 23 fields of size $1.4^{\circ}\times 1.4^{\circ}$, covering the projected positions of 999 Fornax galaxies reported in the literature. 244 of those galaxies are detected with confident photometry in our fields which were observed simultaneously in…
▽ More
In the context of the S-PLUS Fornax Project (S+FP), we analyze the galaxy population in the direction of the Fornax cluster ($D\approx 20$~Mpc). We have 23 fields of size $1.4^{\circ}\times 1.4^{\circ}$, covering the projected positions of 999 Fornax galaxies reported in the literature. 244 of those galaxies are detected with confident photometry in our fields which were observed simultaneously in 12 photometric bands. Besides those of Fornax galaxies, we obtained confident structural and photometric parameters for $\approx 3\times10^5$ additional galaxies detected in our fields. In this work we present preliminary results on the characterization of the galaxy population of the Fornax cluster with respect to the background galaxy population. Among other goals, we expect that such a characterization provides photometric criteria to identify new candidate members of the cluster.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
Photorealistic Text-to-Image Diffusion Models with Deep Language Understanding
Authors:
Chitwan Saharia,
William Chan,
Saurabh Saxena,
Lala Li,
Jay Whang,
Emily Denton,
Seyed Kamyar Seyed Ghasemipour,
Burcu Karagol Ayan,
S. Sara Mahdavi,
Rapha Gontijo Lopes,
Tim Salimans,
Jonathan Ho,
David J Fleet,
Mohammad Norouzi
Abstract:
We present Imagen, a text-to-image diffusion model with an unprecedented degree of photorealism and a deep level of language understanding. Imagen builds on the power of large transformer language models in understanding text and hinges on the strength of diffusion models in high-fidelity image generation. Our key discovery is that generic large language models (e.g. T5), pretrained on text-only c…
▽ More
We present Imagen, a text-to-image diffusion model with an unprecedented degree of photorealism and a deep level of language understanding. Imagen builds on the power of large transformer language models in understanding text and hinges on the strength of diffusion models in high-fidelity image generation. Our key discovery is that generic large language models (e.g. T5), pretrained on text-only corpora, are surprisingly effective at encoding text for image synthesis: increasing the size of the language model in Imagen boosts both sample fidelity and image-text alignment much more than increasing the size of the image diffusion model. Imagen achieves a new state-of-the-art FID score of 7.27 on the COCO dataset, without ever training on COCO, and human raters find Imagen samples to be on par with the COCO data itself in image-text alignment. To assess text-to-image models in greater depth, we introduce DrawBench, a comprehensive and challenging benchmark for text-to-image models. With DrawBench, we compare Imagen with recent methods including VQ-GAN+CLIP, Latent Diffusion Models, and DALL-E 2, and find that human raters prefer Imagen over other models in side-by-side comparisons, both in terms of sample quality and image-text alignment. See https://imagen.research.google/ for an overview of the results.
△ Less
Submitted 23 May, 2022;
originally announced May 2022.
-
Twin-width VIII: delineation and win-wins
Authors:
Édouard Bonnet,
Dibyayan Chakraborty,
Eun Jung Kim,
Noleen Köhler,
Raul Lopes,
Stéphan Thomassé
Abstract:
We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfect…
▽ More
We introduce the notion of delineation. A graph class $\mathcal C$ is said delineated if for every hereditary closure $\mathcal D$ of a subclass of $\mathcal C$, it holds that $\mathcal D$ has bounded twin-width if and only if $\mathcal D$ is monadically dependent. An effective strengthening of delineation for a class $\mathcal C$ implies that tractable FO model checking on $\mathcal C$ is perfectly understood: On hereditary closures $\mathcal D$ of subclasses of $\mathcal C$, FO model checking is fixed-parameter tractable (FPT) exactly when $\mathcal D$ has bounded twin-width. Ordered graphs [BGOdMSTT, STOC '22] and permutation graphs [BKTW, JACM '22] are effectively delineated, while subcubic graphs are not. On the one hand, we prove that interval graphs, and even, rooted directed path graphs are delineated. On the other hand, we show that segment graphs, directed path graphs, and visibility graphs of simple polygons are not delineated. In an effort to draw the delineation frontier between interval graphs (that are delineated) and axis-parallel two-lengthed segment graphs (that are not), we investigate the twin-width of restricted segment intersection classes. It was known that (triangle-free) pure axis-parallel unit segment graphs have unbounded twin-width [BGKTW, SODA '21]. We show that $K_{t,t}$-free segment graphs, and axis-parallel $H_t$-free unit segment graphs have bounded twin-width, where $H_t$ is the half-graph or ladder of height $t$. In contrast, axis-parallel $H_4$-free two-lengthed segment graphs have unbounded twin-width. Our new results, combined with the known FPT algorithm for FO model checking on graphs given with $O(1)$-sequences, lead to win-win arguments. For instance, we derive FPT algorithms for $k$-Ladder on visibility graphs of 1.5D terrains, and $k$-Independent Set on visibility graphs of simple polygons.
△ Less
Submitted 1 April, 2022;
originally announced April 2022.
-
Photometric and Morphological Analysis of Fornax Galaxies through S-PLUS
Authors:
A. V. Smith Castelli,
A. R. Lopes,
A. Cortesi,
P. Dimauro,
R. Cid Fernandes,
G. Lucatelli,
C. Mendes de Oliveira,
F. Almeida-Fernandes,
J. T. S. C. Batista,
D. Brambila,
S. Dhiwar,
P. Lopes,
K. Saha
Abstract:
The photometric and morphological analysis of galaxies in clusters provides invaluable information regarding the evolutionary stage of the cluster itself. In addition, it helps to understand how the environment affects the properties of the galaxies and, as a consequence, their evolutionary path. In this contribution we present the first steps on the photometric and morphological analysis of galax…
▽ More
The photometric and morphological analysis of galaxies in clusters provides invaluable information regarding the evolutionary stage of the cluster itself. In addition, it helps to understand how the environment affects the properties of the galaxies and, as a consequence, their evolutionary path. In this contribution we present the first steps on the photometric and morphological analysis of galaxies in the Fornax cluster using S-PLUS data. We expect that the S-PLUS novel filter set and wide field coverage allow us to obtain new information about Fornax and its galaxy population.
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
A Practical Approach of Actions for FAIRification Workflows
Authors:
Natalia Queiroz de Oliveira,
Vânia Borges,
Henrique F. Rodrigues,
Maria Luiza Machado Campos,
Giseli Rabello Lopes
Abstract:
Since their proposal in 2016, the FAIR principles have been largely discussed by different communities and initiatives involved in the development of infrastructures to enhance support for data findability, accessibility, interoperability, and reuse. One of the challenges in implementing these principles lies in defining a well-delimited process with organized and detailed actions. This paper pres…
▽ More
Since their proposal in 2016, the FAIR principles have been largely discussed by different communities and initiatives involved in the development of infrastructures to enhance support for data findability, accessibility, interoperability, and reuse. One of the challenges in implementing these principles lies in defining a well-delimited process with organized and detailed actions. This paper presents a workflow of actions that is being adopted in the VODAN BR pilot for generating FAIR (meta)data for COVID-19 research. It provides the understanding of each step of the process, establishing their contribution. In this work, we also evaluate potential tools to (semi)automatize (meta)data treatment whenever possible. Although defined for a particular use case, it is expected that this workflow can be applied for other epidemical research and in other domains, benefiting the entire scientific community.
△ Less
Submitted 19 January, 2022;
originally announced January 2022.
-
Dynamical hypothesis tests and Decision Theory for Gibbs distributions
Authors:
M. Denker,
A. O. Lopes,
S. R. C. Lopes
Abstract:
We consider the problem of testing for two Gibbs probabilities $μ_0$ and $μ_1$ defined for a dynamical system $(Ω,T)$. Due to the fact that in general full orbits are not observable or computable, one needs to restrict to subclasses of tests defined by a finite time series $h(x_0), h(x_1)=h(T(x_0)),..., h(x_n)=h(T^n(x_0))$, $x_0\in Ω$, $n\ge 0$, where $h:Ω\to\mathbb R$ denotes a suitable measurabl…
▽ More
We consider the problem of testing for two Gibbs probabilities $μ_0$ and $μ_1$ defined for a dynamical system $(Ω,T)$. Due to the fact that in general full orbits are not observable or computable, one needs to restrict to subclasses of tests defined by a finite time series $h(x_0), h(x_1)=h(T(x_0)),..., h(x_n)=h(T^n(x_0))$, $x_0\in Ω$, $n\ge 0$, where $h:Ω\to\mathbb R$ denotes a suitable measurable function. We determine in each class the Neyman-Pearson tests, the minimax tests, and the Bayes solutions, and show the asymptotic decay of their risk functions, as $n\to\infty$. In the case of $Ω$ being a symbolic space, for each $n\in \mathbb{N}$, these optimal tests rely on the information of the measures for cylinder sets of size $n$.
△ Less
Submitted 15 September, 2022; v1 submitted 1 December, 2021;
originally announced December 2021.
-
Laughlin's topological charge pump in an atomic Hall cylinder
Authors:
Aurélien Fabre,
Jean-Baptiste Bouhiron,
Tanish Satoor,
Raphael Lopes,
Sylvain Nascimbene
Abstract:
The quantum Hall effect occuring in two-dimensional electron gases was first explained by Laughlin, who envisioned a thought experiment that laid the groundwork for our understanding of topological quantum matter. His proposal is based on a quantum Hall cylinder periodically driven by an axial magnetic field, resulting in the quantized motion of electrons. We realize this milestone experiment with…
▽ More
The quantum Hall effect occuring in two-dimensional electron gases was first explained by Laughlin, who envisioned a thought experiment that laid the groundwork for our understanding of topological quantum matter. His proposal is based on a quantum Hall cylinder periodically driven by an axial magnetic field, resulting in the quantized motion of electrons. We realize this milestone experiment with an ultracold gas of dysprosium atoms, the cyclic dimension being encoded in the electronic spin and the axial field controlled by the phases of laser-induced spin-orbit couplings. Our experiment provides a straightforward manifestation of the non-trivial topology of quantum Hall insulators, and could be generalized to strongly-correlated topological systems.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Science goals and new mission concepts for future exploration of Titan's atmosphere geology and habitability: Titan POlar Scout/orbitEr and In situ lake lander and DrONe explorer (POSEIDON)
Authors:
Sébastien Rodriguez,
Sandrine Vinatier,
Daniel Cordier,
Gabriel Tobie,
Richard K. Achterberg,
Carrie M. Anderson,
Sarah V. Badman,
Jason W. Barnes,
Erika L. Barth,
Bruno Bézard,
Nathalie Carrasco,
Benjamin Charnay,
Roger N. Clark,
Patrice Coll,
Thomas Cornet,
Athena Coustenis,
Isabelle Couturier-Tamburelli,
Michel Dobrijevic,
F. Michael Flasar,
Remco de Kok,
Caroline Freissinet,
Marina Galand,
Thomas Gautier,
Wolf D. Geppert,
Caitlin A. Griffith
, et al. (39 additional authors not shown)
Abstract:
In response to ESA Voyage 2050 announcement of opportunity, we propose an ambitious L-class mission to explore one of the most exciting bodies in the Solar System, Saturn largest moon Titan. Titan, a "world with two oceans", is an organic-rich body with interior-surface-atmosphere interactions that are comparable in complexity to the Earth. Titan is also one of the few places in the Solar System w…
▽ More
In response to ESA Voyage 2050 announcement of opportunity, we propose an ambitious L-class mission to explore one of the most exciting bodies in the Solar System, Saturn largest moon Titan. Titan, a "world with two oceans", is an organic-rich body with interior-surface-atmosphere interactions that are comparable in complexity to the Earth. Titan is also one of the few places in the Solar System with habitability potential. Titan remarkable nature was only partly revealed by the Cassini-Huygens mission and still holds mysteries requiring a complete exploration using a variety of vehicles and instruments. The proposed mission concept POSEIDON (Titan POlar Scout/orbitEr and In situ lake lander DrONe explorer) would perform joint orbital and in situ investigations of Titan. It is designed to build on and exceed the scope and scientific/technological accomplishments of Cassini-Huygens, exploring Titan in ways that were not previously possible, in particular through full close-up and in situ coverage over long periods of time. In the proposed mission architecture, POSEIDON consists of two major elements: a spacecraft with a large set of instruments that would orbit Titan, preferably in a low-eccentricity polar orbit, and a suite of in situ investigation components, i.e. a lake lander, a "heavy" drone (possibly amphibious) and/or a fleet of mini-drones, dedicated to the exploration of the polar regions. The ideal arrival time at Titan would be slightly before the next northern Spring equinox (2039), as equinoxes are the most active periods to monitor still largely unknown atmospheric and surface seasonal changes. The exploration of Titan northern latitudes with an orbiter and in situ element(s) would be highly complementary with the upcoming NASA New Frontiers Dragonfly mission that will provide in situ exploration of Titan equatorial regions in the mid-2030s.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Simulating two-dimensional dynamics within a large-size atomic spin
Authors:
Aurélien Fabre,
Jean-Baptiste Bouhiron,
Tanish Satoor,
Raphael Lopes,
Sylvain Nascimbene
Abstract:
Encoding a dimension in the internal degree of freedom of an atom provides an interesting tool for quantum simulation, facilitating the realization of artificial gauge fields. We propose an extension of the synthetic dimension toolbox, making it possible to encode two dimensions within a large atomic spin. The protocol combines first- and second-order spin couplings, such that the spin projection…
▽ More
Encoding a dimension in the internal degree of freedom of an atom provides an interesting tool for quantum simulation, facilitating the realization of artificial gauge fields. We propose an extension of the synthetic dimension toolbox, making it possible to encode two dimensions within a large atomic spin. The protocol combines first- and second-order spin couplings, such that the spin projection $m$ and the remainder $r=m$ (mod 3) of its Euclidian division by 3 act as orthogonal coordinates on a synthetic cylinder. It is suited for an implementation with lanthanide atoms, which feature a large electronic spin and narrow optical transitions for applying the required spin couplings. This method is useful for simulating geometries with periodic boundary conditions, and engineering various types of topological systems evolving in high dimensions.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
A Generalization of the Ornstein-Uhlenbeck Process: Theoretical Results, Simulations and Parameter Estimation
Authors:
J. Stein,
S. R. C. Lopes,
A. V. Medino
Abstract:
In this work, we study the class of stochastic process that generalizes the Ornstein-Uhlenbeck processes, hereafter called by \emph{Generalized Ornstein-Uhlenbeck Type Process} and denoted by GOU type process. We consider them driven by the class of noise processes such as Brownian motion, symmetric $α$-stable Lévy process, a Lévy process, and even a Poisson process. We give necessary and sufficie…
▽ More
In this work, we study the class of stochastic process that generalizes the Ornstein-Uhlenbeck processes, hereafter called by \emph{Generalized Ornstein-Uhlenbeck Type Process} and denoted by GOU type process. We consider them driven by the class of noise processes such as Brownian motion, symmetric $α$-stable Lévy process, a Lévy process, and even a Poisson process. We give necessary and sufficient conditions under the memory kernel function for the time-stationary and the Markov properties for these processes. When the GOU type process is driven by a Lévy noise we prove that it is infinitely divisible showing its generating triplet. Several examples derived from the GOU type process are illustrated showing some of their basic properties as well as some time series realizations. These examples also present their theoretical and empirical autocorrelation or normalized codifference functions depending on whether the process has a finite or infinite second moment. We also present the maximum likelihood estimation as well as the Bayesian estimation procedures for the so-called \emph{Cosine process}, a particular process in the class of GOU type processes. For the Bayesian estimation method, we consider the power series representation of Fox's H-function to better approximate the density function of a random variable $α$-stable distributed. We consider four goodness-of-fit tests for helping to decide which \emph{Cosine process} (driven by a Gaussian or an $α$-stable noise) best fit real data sets. Two applications of GOU type model are presented: one based on the Apple company stock market price data and the other based on the cardiovascular mortality in Los Angeles County data.
△ Less
Submitted 13 August, 2021;
originally announced August 2021.
-
A low-overhead approach for self-sovereign identity in IoT
Authors:
Geovane Fedrecheski,
Laisa C. P. Costa,
Samira Afzal,
Jan M. Rabaey,
Roseli D. Lopes,
Marcelo K. Zuffo
Abstract:
We present a low-overhead mechanism for self-sovereign identification and communication of IoT agents in constrained networks. Our main contribution is to enable native use of Decentralized Identifiers (DIDs) and DID-based secure communication on constrained networks, whereas previous works either did not consider the issue or relied on proxy-based architectures. We propose a new extension to DIDs…
▽ More
We present a low-overhead mechanism for self-sovereign identification and communication of IoT agents in constrained networks. Our main contribution is to enable native use of Decentralized Identifiers (DIDs) and DID-based secure communication on constrained networks, whereas previous works either did not consider the issue or relied on proxy-based architectures. We propose a new extension to DIDs along with a more concise serialization method for DID metadata. Moreover, in order to reduce the security overhead over transmitted messages, we adopted a binary message envelope. We implemented these proposals within the context of Swarm Computing, an approach for decentralized IoT. Results showed that our proposal reduces the size of identity metadata in almost four times and security overhead up to five times. We observed that both techniques are required to enable operation on constrained networks.
△ Less
Submitted 21 July, 2021;
originally announced July 2021.