-
Bidiagonal factorization of the recurrence matrix for the Hahn multiple orthogonal polynomials
Authors:
Amílcar Branquinho,
Juan E. F. Díaz,
Ana Foulquié-Moreno,
Manuel Mañas
Abstract:
This paper explores a factorization using bidiagonal matrices of the recurrence matrix of Hahn multiple orthogonal polynomials. The factorization is expressed in terms of ratios involving the generalized hypergeometric function ${}_3F_2$ and is proven using recently discovered contiguous relations. Moreover, employing the multiple Askey scheme, a bidiagonal factorization is derived for the Hahn de…
▽ More
This paper explores a factorization using bidiagonal matrices of the recurrence matrix of Hahn multiple orthogonal polynomials. The factorization is expressed in terms of ratios involving the generalized hypergeometric function ${}_3F_2$ and is proven using recently discovered contiguous relations. Moreover, employing the multiple Askey scheme, a bidiagonal factorization is derived for the Hahn descendants, including Jacobi-Piñeiro, multiple Meixner (kinds I and II), multiple Laguerre (kinds I and II), multiple Kravchuk, and multiple Charlier, all represented in terms of hypergeometric functions. For the cases of multiple Hahn, Jacobi-Piñeiro, Meixner of kind II, and Laguerre of kind I, where there exists a region where the recurrence matrix is nonnegative, subregions are identified where the bidiagonal factorization becomes a positive bidiagonal factorization.
△ Less
Submitted 3 August, 2023; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Finite Markov chains and multiple orthogonal polynomials
Authors:
Amílcar Branquinho,
Juan EF Díaz,
Ana Foulquié-Moreno,
Manuel Mañas
Abstract:
This paper investigates stochastic finite matrices and the corresponding finite Markov chains constructed using recurrence matrices for general families of orthogonal polynomials and multiple orthogonal polynomials. The paper explores the spectral theory of transition matrices, utilizing both orthogonal and multiple orthogonal polynomials. Several properties are derived, including classes, periodi…
▽ More
This paper investigates stochastic finite matrices and the corresponding finite Markov chains constructed using recurrence matrices for general families of orthogonal polynomials and multiple orthogonal polynomials. The paper explores the spectral theory of transition matrices, utilizing both orthogonal and multiple orthogonal polynomials. Several properties are derived, including classes, periodicity, recurrence, stationary states, ergodicity, expected recurrence times, time-reversed chains, and reversibility. Furthermore, the paper uncovers factorization in terms of pure birth and pure death processes. The case study focuses on hypergeometric orthogonal polynomials, where all the computations can be carried out effectively. Particularly within the Askey scheme, all descendants under Hahn (excluding Bessel), such as Hahn, Jacobi, Meixner, Kravchuk, Laguerre, Charlier, and Hermite, present interesting examples of recurrent reversible birth and death finite Markov chains. Additionally, the paper considers multiple orthogonal polynomials, including multiple Hahn, Jacobi-Piñeiro, Laguerre of the first kind, and Meixner of the second kind, along with their hypergeometric representations and derives the corresponding recurrent finite Markov chains and time-reversed chains.
△ Less
Submitted 10 July, 2024; v1 submitted 31 July, 2023;
originally announced August 2023.
-
Algoritmo Concurrente por Conjuntos de Pilas con Multiplicidad: SetStackLogic
Authors:
Jose Damian Lopez Diaz
Abstract:
This article aims to describe and explain the theoretical foundations of concurrent and set concurrent algorithms, considering an asynchronous shared memory system where any number of processes can crash. Verification of concurrent algorithms is often described in terms of their progress condition, which guarantees that eventually something good will happen, also called the security of the algorit…
▽ More
This article aims to describe and explain the theoretical foundations of concurrent and set concurrent algorithms, considering an asynchronous shared memory system where any number of processes can crash. Verification of concurrent algorithms is often described in terms of their progress condition, which guarantees that eventually something good will happen, also called the security of the algorithms, and correctness, which guarantees that nothing bad will happen, also called liveliness. of the algorithms. The meaning of correctness of a concurrent algorithm is explained in detail, focusing on linearizability, and a generalization is addressed, concurrency by sets; which is much more recent and less well known. The {\it SetStackLogic} algorithm is shown, which is a set-concurrent algorithm and is also an implementation of a stack with multiplicity. The properties of the algorithm {\it SetStackLogic} are demonstrated in a formal and detailed way, in order to present a rigorous scheme in the formalization of this type of algorithm; same that could be used for other algorithms. In addition, the operation of the algorithm is explained through scenario examples that illustrate its dynamics in some possible executions.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
The FENIKS Survey: Spectroscopic Confirmation of Massive Quiescent Galaxies at z ~ 3-5
Authors:
Jacqueline Antwi-Danso,
Casey Papovich,
James Esdaile,
Themiya Nanayakkara,
Karl Glazebrook,
Taylor A. Hutchison,
Katherine E. Whitaker,
Z. Cemile Marsan,
Ruben J. Diaz,
Danilo Marchesini,
Adam Muzzin,
Kim-Vy H. Tran,
David J. Setton,
Yasha Kaushal,
Joshua S. Speagle,
Justin Cole
Abstract:
The measured ages of massive, quiescent galaxies at $z\sim 3-4$ imply that massive galaxies quench as early as $z\sim 6$. While the number of spectroscopic confirmations of quiescent galaxies at $z < 3$ has increased over the years, there are only a handful at $z > 3.5$. We report spectroscopic redshifts of one secure ($z=3.757$) and two tentative ($z = 3.336$, $z=4.673$) massive (…
▽ More
The measured ages of massive, quiescent galaxies at $z\sim 3-4$ imply that massive galaxies quench as early as $z\sim 6$. While the number of spectroscopic confirmations of quiescent galaxies at $z < 3$ has increased over the years, there are only a handful at $z > 3.5$. We report spectroscopic redshifts of one secure ($z=3.757$) and two tentative ($z = 3.336$, $z=4.673$) massive ($\log(M_\ast/M_\odot) > 10.3$) quiescent galaxies with 11 hours of Keck/MOSFIRE $K$-band observations. Our candidates were selected from the FENIKS survey, which uses deep Gemini/Flamingos-2 $K_b$ $K_r$ imaging optimized for increased sensitivity to the characteristic red colors of galaxies at $z > 3$ with strong Balmer/4000 Å breaks. The rest-frame $UVJ$ and $(ugi)_s$ colors of 3/4 quiescent candidates are consistent with $1-2$ Gyr old stellar populations. This places these galaxies as the oldest objects at these redshifts, and challenges the notion that quiescent galaxies at $z > 3$ are all recently-quenched, "post-starburst" galaxies. Our spectroscopy shows that the other quiescent-galaxy candidate is a broad-line AGN ($z = 3.594$) with strong, redshifted $Hβ$+[O III] emission with a velocity offset $>1000$ km/s, indicative of a powerful outflow. The star-formation history of our highest redshift candidate suggests that its progenitor was already in place by $z \sim 7-11$, reaching $\sim$ 10$^{11} M_{\odot}$ by $z \simeq 8$. These observations reveal the limit of what is possible with deep near-infrared photometry and targeted spectroscopy from the ground and demonstrate that secure spectroscopic confirmation of quiescent galaxies at $z > 4$ is only feasible with JWST.
△ Less
Submitted 1 May, 2024; v1 submitted 18 July, 2023;
originally announced July 2023.
-
Gauss-Bonnet Dark Energy and the Speed of Gravitational Waves
Authors:
José Jaime Terente Díaz,
Konstantinos Dimopoulos,
Mindaugas Karčiauskas,
Antonio Racioppi
Abstract:
Gauss-Bonnet Dark Energy has been a popular model to explain the accelerated expansion of the Universe. Quite generically it also predicts the speed of gravitational waves $c_{GW}$ to be different from the speed of light. This fact alone led some authors to exclude such models in view of the new tight observational constraints on $c_{GW}$. However, the behaviour of $c_{GW}$ depends on the choice o…
▽ More
Gauss-Bonnet Dark Energy has been a popular model to explain the accelerated expansion of the Universe. Quite generically it also predicts the speed of gravitational waves $c_{GW}$ to be different from the speed of light. This fact alone led some authors to exclude such models in view of the new tight observational constraints on $c_{GW}$. However, the behaviour of $c_{GW}$ depends on the choice of the Gauss-Bonnet (GB) coupling function. It is possible to construct models where $c_{GW}$ is always equal to the speed of light. More generally, $c_{GW}$ is a time dependent function with instances where both speeds coincide. Nevertheless, we observe that the bound on $c_{GW}$ excludes scenarios where the GB term directly affects the expansion of the Universe, even if the constraint on the variation of the coupling function does not appear to be strong. We perform the dynamical systems analysis to see if the expansion of the Universe could be affected indirectly by modulating the behaviour of the scalar field, which modulates the GB coupling. It is shown that either the bounds on $c_{GW}$ are violated by many orders of magnitude, or it might be very difficult to find models that are consistent with other cosmological observations.
△ Less
Submitted 13 October, 2023; v1 submitted 12 July, 2023;
originally announced July 2023.
-
The Ca II lines as tracers of disk structure in T Tauri Stars: The Chamaeleon I region
Authors:
Marbely Micolta,
Nuria Calvet,
Thanawuth Thanathibodee,
Gladis Magris C.,
María José Colmenares,
Jesús V. Díaz,
Jairo Alzate-Trujillo
Abstract:
We present a study of the Ca II K and IR-triplet lines in a sample of Classical T Tauri stars in the Chamaeleon I star-forming region. We study X-shooter spectra of the stars in the sample and find that in some of these stars the Ca II lines are much weaker than expected from their H line fluxes and mass accretion rate. Since the Ca II K lines have characteristic magnetospheric accretion line prof…
▽ More
We present a study of the Ca II K and IR-triplet lines in a sample of Classical T Tauri stars in the Chamaeleon I star-forming region. We study X-shooter spectra of the stars in the sample and find that in some of these stars the Ca II lines are much weaker than expected from their H line fluxes and mass accretion rate. Since the Ca II K lines have characteristic magnetospheric accretion line profiles and the magnetospheric flows feed directly from the inner disk, we interpret the Ca deficit in terms of depletion due to processes happening in the disk. To test this hypothesis, we define a coarse depletion indicator using the flux of the Ca II K line and show that it correlates with disk properties. In particular, using indicators extracted from Spitzer/IRS spectra, we obtain that all the transitional and pre-transitional disks of the sample show depletion, consistent with trapping of refractories in pressure bumps created by planets and/or in the planets themselves. We find full disks with Ca depletion in the sample that also show indications of advanced dust evolution. We apply magnetospheric accretion models to fit the Balmer and Ca II line fluxes of a star showing clear Ca depletion and derive a Ca abundance in its inner disk of about 17% solar.
△ Less
Submitted 18 June, 2023;
originally announced June 2023.
-
Comoving curvature perturbation in Jordan and Einstein frames
Authors:
José Jaime Terente Díaz,
Mindaugas Karčiauskas
Abstract:
In the context of $F(φ)R$ models of gravity, the conformal invariance of the curvature perturbation on uniform-field slices has been already demonstrated in several publications. In this work we study the curvature perturbation $\mathcal{R}$ defined on hypersurfaces that comove with the effective fluid whose energy-momentum tensor is covariantly conserved. We derive the expressions of…
▽ More
In the context of $F(φ)R$ models of gravity, the conformal invariance of the curvature perturbation on uniform-field slices has been already demonstrated in several publications. In this work we study the curvature perturbation $\mathcal{R}$ defined on hypersurfaces that comove with the effective fluid whose energy-momentum tensor is covariantly conserved. We derive the expressions of $\mathcal{R}$ at first order in perturbations in the Jordan and Einstein frames and relate the two. Generically $\mathcal{R}$ is not conformally invariant, but it is on sufficiently large scales during slow-roll inflation. Using our results we also rederive the expressions for inflation observables in the Jordan frame.
△ Less
Submitted 2 August, 2023; v1 submitted 24 May, 2023;
originally announced May 2023.
-
Comparison of machine learning models applied on anonymized data with different techniques
Authors:
Judith Sáinz-Pardo Díaz,
Álvaro López García
Abstract:
Anonymization techniques based on obfuscating the quasi-identifiers by means of value generalization hierarchies are widely used to achieve preset levels of privacy. To prevent different types of attacks against database privacy it is necessary to apply several anonymization techniques beyond the classical k-anonymity or $\ell$-diversity. However, the application of these methods is directly conne…
▽ More
Anonymization techniques based on obfuscating the quasi-identifiers by means of value generalization hierarchies are widely used to achieve preset levels of privacy. To prevent different types of attacks against database privacy it is necessary to apply several anonymization techniques beyond the classical k-anonymity or $\ell$-diversity. However, the application of these methods is directly connected to a reduction of their utility in prediction and decision making tasks. In this work we study four classical machine learning methods currently used for classification purposes in order to analyze the results as a function of the anonymization techniques applied and the parameters selected for each of them. The performance of these models is studied when varying the value of k for k-anonymity and additional tools such as $\ell$-diversity, t-closeness and $δ$-disclosure privacy are also deployed on the well-known adult dataset.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Search for gravitational-lensing signatures in the full third observing run of the LIGO-Virgo network
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
C. Alléné,
A. Allocca,
P. A. Altin
, et al. (1670 additional authors not shown)
Abstract:
Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated…
▽ More
Gravitational lensing by massive objects along the line of sight to the source causes distortions of gravitational wave-signals; such distortions may reveal information about fundamental physics, cosmology and astrophysics. In this work, we have extended the search for lensing signatures to all binary black hole events from the third observing run of the LIGO--Virgo network. We search for repeated signals from strong lensing by 1) performing targeted searches for subthreshold signals, 2) calculating the degree of overlap amongst the intrinsic parameters and sky location of pairs of signals, 3) comparing the similarities of the spectrograms amongst pairs of signals, and 4) performing dual-signal Bayesian analysis that takes into account selection effects and astrophysical knowledge. We also search for distortions to the gravitational waveform caused by 1) frequency-independent phase shifts in strongly lensed images, and 2) frequency-dependent modulation of the amplitude and phase due to point masses. None of these searches yields significant evidence for lensing. Finally, we use the non-detection of gravitational-wave lensing to constrain the lensing rate based on the latest merger-rate estimates and the fraction of dark matter composed of compact objects.
△ Less
Submitted 17 April, 2023;
originally announced April 2023.
-
Markov Chains and Multiple Orthogonality
Authors:
Amílcar Branquinho,
Juan E. F. Díaz,
Ana Foulquié-Moren,
Manuel Mañas
Abstract:
In this work we survey on connections of Markov chains and the theory of multiple orthogonality. Here we mainly concentrate on give a procedure to generate stochastic tetra diagonal Hessenberg matrices, coming from some specific families of multiple orthogonal, such as the ones of Jacobi--Piñeiro and Hypergeometric Lima--Loureiro. We show that associated with a positive tetra diagonal nonnegative…
▽ More
In this work we survey on connections of Markov chains and the theory of multiple orthogonality. Here we mainly concentrate on give a procedure to generate stochastic tetra diagonal Hessenberg matrices, coming from some specific families of multiple orthogonal, such as the ones of Jacobi--Piñeiro and Hypergeometric Lima--Loureiro. We show that associated with a positive tetra diagonal nonnegative bounded Hessenberg matrix we can construct two stochastic tetra diagonal ones. These two stochastic tridiagonal nonnegative Hessenberg matrices are shown to be, enlightened by the Poincaré theorem, limit transpose of each other.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
Impact of cross-section uncertainties on supernova neutrino spectral parameter fitting in the Deep Underground Neutrino Experiment
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson,
D. A. Andrade
, et al. (1294 additional authors not shown)
Abstract:
A primary goal of the upcoming Deep Underground Neutrino Experiment (DUNE) is to measure the $\mathcal{O}(10)$ MeV neutrinos produced by a Galactic core-collapse supernova if one should occur during the lifetime of the experiment. The liquid-argon-based detectors planned for DUNE are expected to be uniquely sensitive to the $ν_e$ component of the supernova flux, enabling a wide variety of physics…
▽ More
A primary goal of the upcoming Deep Underground Neutrino Experiment (DUNE) is to measure the $\mathcal{O}(10)$ MeV neutrinos produced by a Galactic core-collapse supernova if one should occur during the lifetime of the experiment. The liquid-argon-based detectors planned for DUNE are expected to be uniquely sensitive to the $ν_e$ component of the supernova flux, enabling a wide variety of physics and astrophysics measurements. A key requirement for a correct interpretation of these measurements is a good understanding of the energy-dependent total cross section $σ(E_ν)$ for charged-current $ν_e$ absorption on argon. In the context of a simulated extraction of supernova $ν_e$ spectral parameters from a toy analysis, we investigate the impact of $σ(E_ν)$ modeling uncertainties on DUNE's supernova neutrino physics sensitivity for the first time. We find that the currently large theoretical uncertainties on $σ(E_ν)$ must be substantially reduced before the $ν_e$ flux parameters can be extracted reliably: in the absence of external constraints, a measurement of the integrated neutrino luminosity with less than 10\% bias with DUNE requires $σ(E_ν)$ to be known to about 5%. The neutrino spectral shape parameters can be known to better than 10% for a 20% uncertainty on the cross-section scale, although they will be sensitive to uncertainties on the shape of $σ(E_ν)$. A direct measurement of low-energy $ν_e$-argon scattering would be invaluable for improving the theoretical precision to the needed level.
△ Less
Submitted 7 July, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Recovering Arrhythmic EEG Transients from Their Stochastic Interference
Authors:
Javier Díaz,
Hiroyasu Ando,
GoEun Han,
Olga Malyshevskaya,
Xifang Hayashi,
Juan-Carlos Letelier,
Masashi Yanagisawa,
Kaspar E. Vogt
Abstract:
Traditionally, the neuronal dynamics underlying electroencephalograms (EEG) have been understood as arising from \textit{rhythmic oscillators with varying degrees of synchronization}. This dominant metaphor employs frequency domain EEG analysis to identify the most prominent populations of neuronal current sources in terms of their frequency and spectral power. However, emerging perspectives on EE…
▽ More
Traditionally, the neuronal dynamics underlying electroencephalograms (EEG) have been understood as arising from \textit{rhythmic oscillators with varying degrees of synchronization}. This dominant metaphor employs frequency domain EEG analysis to identify the most prominent populations of neuronal current sources in terms of their frequency and spectral power. However, emerging perspectives on EEG highlight its arrhythmic nature, which is primarily inferred from broadband EEG properties like the ubiquitous $1/f$ spectrum. In the present study, we use an \textit{arrhythmic superposition of pulses} as a metaphor to explain the origin of EEG. This conceptualization has a fundamental problem because the interference produced by the superpositions of pulses generates colored Gaussian noise, masking the temporal profile of the generating pulse. We solved this problem by developing a mathematical method involving the derivative of the autocovariance function to recover excellent approximations of the underlying pulses, significantly extending the analysis of this type of stochastic processes. When the method is applied to spontaneous mouse EEG sampled at $5$ kHz during the sleep-wake cycle, specific patterns -- called $Ψ$-patterns -- characterizing NREM sleep, REM sleep, and wakefulness are revealed. $Ψ$-patterns can be understood theoretically as \textit{power density in the time domain} and correspond to combinations of generating pulses at different time scales. Remarkably, we report the first EEG wakefulness-specific feature, which corresponds to an ultra-fast ($\sim 1$ ms) transient component of the observed patterns. By shifting the paradigm of EEG genesis from oscillators to random pulse generators, our theoretical framework pushes the boundaries of traditional Fourier-based EEG analysis, paving the way for new insights into the arrhythmic components of neural dynamics.
△ Less
Submitted 14 March, 2023;
originally announced March 2023.
-
Open data from the third observing run of LIGO, Virgo, KAGRA and GEO
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Al-Jodah,
C. Alléné,
A. Allocca
, et al. (1719 additional authors not shown)
Abstract:
The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasti…
▽ More
The global network of gravitational-wave observatories now includes five detectors, namely LIGO Hanford, LIGO Livingston, Virgo, KAGRA, and GEO 600. These detectors collected data during their third observing run, O3, composed of three phases: O3a starting in April of 2019 and lasting six months, O3b starting in November of 2019 and lasting five months, and O3GK starting in April of 2020 and lasting 2 weeks. In this paper we describe these data and various other science products that can be freely accessed through the Gravitational Wave Open Science Center at https://gwosc.org. The main dataset, consisting of the gravitational-wave strain time series that contains the astrophysical signals, is released together with supporting data useful for their analysis and documentation, tutorials, as well as analysis software packages.
△ Less
Submitted 7 February, 2023;
originally announced February 2023.
-
On Memory Codelets: Prefetching, Recoding, Moving and Streaming Data
Authors:
Dawson Fox,
Jose Monsalve Diaz,
Xiaoming Li
Abstract:
For decades, memory capabilities have scaled up much slower than compute capabilities, leaving memory utilization as a major bottleneck. Prefetching and cache hierarchies mitigate this in applications with easily predictable memory accesses or those with high locality. In other applications like sparse linear algebra or graph-based applications, these strategies do not achieve effective utilizatio…
▽ More
For decades, memory capabilities have scaled up much slower than compute capabilities, leaving memory utilization as a major bottleneck. Prefetching and cache hierarchies mitigate this in applications with easily predictable memory accesses or those with high locality. In other applications like sparse linear algebra or graph-based applications, these strategies do not achieve effective utilization of memory. This is the case for the von Neumann model of computation, but other program execution models (PXM) provide different opportunities. Furthermore, the problem is complicated by increasing levels of heterogeneity and devices' varying memory subsystems. The Codelet PXM presented in this paper provides a program structure that allows for well-defined prefetching, streaming, and recoding operations to improve memory utilization and efficiently coordinate data movement with respect to computation. We propose the Memory Codelet, an extension to the original Codelet Model, to provide users these functionalities in a well-defined manner within the Codelet PXM.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
Harmonizing DevOps Taxonomies -- Theory Operationalization and Testing
Authors:
Isaque Alves,
Jorge Pérez,
Jessica Díaz,
Daniel López-Fernández,
Manuel Pais,
Fabio Kon,
Carla Rocha
Abstract:
DevOps responds the growing need of companies to streamline the software development process and, thus, has experienced widespread adoption in the past years. However, the successful adoption of DevOps requires companies to address significant cultural and organizational changes. Understanding the organizational structure and characteristics of teams adopting DevOps is key, and comprehending the e…
▽ More
DevOps responds the growing need of companies to streamline the software development process and, thus, has experienced widespread adoption in the past years. However, the successful adoption of DevOps requires companies to address significant cultural and organizational changes. Understanding the organizational structure and characteristics of teams adopting DevOps is key, and comprehending the existing theories and representations of team taxonomies is critical to guide companies in a more systematic and structured DevOps adoption process. As there was no unified theory to explain the different topologies of DevOps teams, in previous work, we built a theory to represent the organizational structure and characteristics of teams adopting DevOps, harmonizing the existing knowledge. In this paper, we expand the theory-building in the context of DevOps Team Taxonomies. Our main contributions are presenting and executing the Operationalization and Testing phases for a continuously evolving theory on DevOps team structures. We operationalize the constructs and propositions that make up our theory to generate empirically testable hypotheses to confirm or disconfirm the theory. Specifically, we focus on the research operation side of the theory-research cycle: identifying propositions, deriving empirical indicators from constructs, establishing testable hypotheses, and testing them. We performed the operationalization and testing of the DevOps Team Taxonomies Theory, which resulted in an empirically verified and trustworthy theory. Our theory has 28 propositions representing this model that map properties to the constructs of our theory. The operationalization generated 34 testable hypotheses, and we thoroughly tested 11 of them. The testing has proved the effectiveness of the theoretical framework, while the operationalization of the constructs has enhanced the initial framework.
△ Less
Submitted 31 January, 2023;
originally announced February 2023.
-
Morphology and Magnetic vortex chiral symmetry of 2D arrays of magnetic trilayer disks with magnetostatic interlayer coupling determined by X ray resonant magnetic scattering
Authors:
J. Díaz,
L. M. Álvarez-Prado,
S. M. Valvidares,
I. Montoya,
C. Redondo,
R. Morales,
M. Vélez
Abstract:
X ray resonant magnetic scattering (XRMS) was used to characterize the magnetization of 2D arrays of trilayer submicron magnets. The interpretation of the data required the understanding of the morphology of the magnets which was also deduced from the scattered intensity. The magnets consisted of two magnetostatically coupled ferromagnetic layers separated by a non-magnetic spacer. The scattered i…
▽ More
X ray resonant magnetic scattering (XRMS) was used to characterize the magnetization of 2D arrays of trilayer submicron magnets. The interpretation of the data required the understanding of the morphology of the magnets which was also deduced from the scattered intensity. The magnets consisted of two magnetostatically coupled ferromagnetic layers separated by a non-magnetic spacer. The scattered intensity from the disks resulted to be dependent on the disks surface curvature. This made the collected intensity at each Bragg reflection (BR) to be correlated to the reflected light from locations of the disk with the same angle of curvature. Due to this, quantitative information was obtained, averaged over the disks illuminated by x rays, of the variations in thickness and magnetization across the entire area of the disks. This averaged magnetization mapping of the disks served to study their vortex configuration in each of their magnetic layers, determining the average location of the vortex, the chiral symmetry of its magnetic circulation, and the specific locations where the vortex nucleation starts within the disks. Chiral asymmetry appeared in the disks when the field was oriented at an oblique angle with respect to the easy axis of the array. The local magnetic sensitivity of the technique allowed to identify a non-centrosymmetric distribution of the magnetization of the disks that explains the observed chiral asymmetry. Unexpectedly, the magnetic circulation sense of the vortex was the same in both ferromagnetic layers. In addition, the magnetization of the buried layer was different in the descent branch than in the ascent branch of its hysteresis loops.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Hahn multiple orthogonal polynomials of type I: Hypergeometrical expressions
Authors:
Amílcar Branquinho,
Juan E. F. Díaz,
Ana Foulquié-Moreno,
Manuel Mañas
Abstract:
Explicit expressions for the Hahn multiple polynomials of type I, in terms of Kampé de Fériet hypergeometric series, are given. Orthogonal and biorthogonal relations are proven. Then, part of the Askey scheme for multiple orthogonal polynomials type I is completed. In particular, explicit expressions in terms of generalized hypergeometric series and Kampé de Fériet hypergeometric series, are given…
▽ More
Explicit expressions for the Hahn multiple polynomials of type I, in terms of Kampé de Fériet hypergeometric series, are given. Orthogonal and biorthogonal relations are proven. Then, part of the Askey scheme for multiple orthogonal polynomials type I is completed. In particular, explicit expressions in terms of generalized hypergeometric series and Kampé de Fériet hypergeometric series, are given for the multiple orthogonal polynomials of type I for the Jacobi-Piñeiro, Meixner I, Meixner II, Kravchuk, Laguerre I, Laguerre II and Charlier families.
△ Less
Submitted 30 December, 2022; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Highly-parallelized simulation of a pixelated LArTPC on a GPU
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1282 additional authors not shown)
Abstract:
The rapid development of general-purpose computing on graphics processing units (GPGPU) is allowing the implementation of highly-parallelized Monte Carlo simulation chains for particle physics experiments. This technique is particularly suitable for the simulation of a pixelated charge readout for time projection chambers, given the large number of channels that this technology employs. Here we pr…
▽ More
The rapid development of general-purpose computing on graphics processing units (GPGPU) is allowing the implementation of highly-parallelized Monte Carlo simulation chains for particle physics experiments. This technique is particularly suitable for the simulation of a pixelated charge readout for time projection chambers, given the large number of channels that this technology employs. Here we present the first implementation of a full microphysical simulator of a liquid argon time projection chamber (LArTPC) equipped with light readout and pixelated charge readout, developed for the DUNE Near Detector. The software is implemented with an end-to-end set of GPU-optimized algorithms. The algorithms have been written in Python and translated into CUDA kernels using Numba, a just-in-time compiler for a subset of Python and NumPy instructions. The GPU implementation achieves a speed up of four orders of magnitude compared with the equivalent CPU version. The simulation of the current induced on $10^3$ pixels takes around 1 ms on the GPU, compared with approximately 10 s on the CPU. The results of the simulation are compared against data from a pixel-readout LArTPC prototype.
△ Less
Submitted 28 February, 2023; v1 submitted 19 December, 2022;
originally announced December 2022.
-
Search for subsolar-mass black hole binaries in the second part of Advanced LIGO's and Advanced Virgo's third observing run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
C. Alléné,
A. Allocca,
P. A. Altin
, et al. (1680 additional authors not shown)
Abstract:
We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate t…
▽ More
We describe a search for gravitational waves from compact binaries with at least one component with mass 0.2 $M_\odot$ -- $1.0 M_\odot$ and mass ratio $q \geq 0.1$ in Advanced LIGO and Advanced Virgo data collected between 1 November 2019, 15:00 UTC and 27 March 2020, 17:00 UTC. No signals were detected. The most significant candidate has a false alarm rate of 0.2 $\mathrm{yr}^{-1}$. We estimate the sensitivity of our search over the entirety of Advanced LIGO's and Advanced Virgo's third observing run, and present the most stringent limits to date on the merger rate of binary black holes with at least one subsolar-mass component. We use the upper limits to constrain two fiducial scenarios that could produce subsolar-mass black holes: primordial black holes (PBH) and a model of dissipative dark matter. The PBH model uses recent prescriptions for the merger rate of PBH binaries that include a rate suppression factor to effectively account for PBH early binary disruptions. If the PBHs are monochromatically distributed, we can exclude a dark matter fraction in PBHs $f_\mathrm{PBH} \gtrsim 0.6$ (at 90% confidence) in the probed subsolar-mass range. However, if we allow for broad PBH mass distributions we are unable to rule out $f_\mathrm{PBH} = 1$. For the dissipative model, where the dark matter has chemistry that allows a small fraction to cool and collapse into black holes, we find an upper bound $f_{\mathrm{DBH}} < 10^{-5}$ on the fraction of atomic dark matter collapsed into black holes.
△ Less
Submitted 26 January, 2024; v1 submitted 2 December, 2022;
originally announced December 2022.
-
A Neural Active Inference Model of Perceptual-Motor Learning
Authors:
Zhizhuo Yang,
Gabriel J. Diaz,
Brett R. Fajen,
Reynold Bailey,
Alexander Ororbia
Abstract:
The active inference framework (AIF) is a promising new computational framework grounded in contemporary neuroscience that can produce human-like behavior through reward-based learning. In this study, we test the ability for the AIF to capture the role of anticipation in the visual guidance of action in humans through the systematic investigation of a visual-motor task that has been well-explored…
▽ More
The active inference framework (AIF) is a promising new computational framework grounded in contemporary neuroscience that can produce human-like behavior through reward-based learning. In this study, we test the ability for the AIF to capture the role of anticipation in the visual guidance of action in humans through the systematic investigation of a visual-motor task that has been well-explored -- that of intercepting a target moving over a ground plane. Previous research demonstrated that humans performing this task resorted to anticipatory changes in speed intended to compensate for semi-predictable changes in target speed later in the approach. To capture this behavior, our proposed "neural" AIF agent uses artificial neural networks to select actions on the basis of a very short term prediction of the information about the task environment that these actions would reveal along with a long-term estimate of the resulting cumulative expected free energy. Systematic variation revealed that anticipatory behavior emerged only when required by limitations on the agent's movement capabilities, and only when the agent was able to estimate accumulated free energy over sufficiently long durations into the future. In addition, we present a novel formulation of the prior function that maps a multi-dimensional world-state to a uni-dimensional distribution of free-energy. Together, these results demonstrate the use of AIF as a plausible model of anticipatory visually guided behavior in humans.
△ Less
Submitted 16 November, 2022;
originally announced November 2022.
-
Failure of the Hopf-Oleinik lemma for a linear elliptic problem with singular convection of non-negative divergence
Authors:
Lucio Boccardo,
David Gómez-Castro,
Jesús Ildefonso Díaz
Abstract:
In this paper we study existence, uniqueness, and integrability of solutions to the Dirichlet problem $-\mathrm{div}( M(x) \nabla u ) = -\mathrm{div} (E(x) u) + f$ in a bounded domain of $\mathbb R^N$ with $N \ge 3$. We are particularly interested in singular $E$ with $\mathrm{div} E \ge 0$. We start by recalling known existence results when $|E| \in L^N$ that do not rely on the sign of…
▽ More
In this paper we study existence, uniqueness, and integrability of solutions to the Dirichlet problem $-\mathrm{div}( M(x) \nabla u ) = -\mathrm{div} (E(x) u) + f$ in a bounded domain of $\mathbb R^N$ with $N \ge 3$. We are particularly interested in singular $E$ with $\mathrm{div} E \ge 0$. We start by recalling known existence results when $|E| \in L^N$ that do not rely on the sign of $\mathrm{div} E $. Then, under the assumption that $\mathrm{div} E \ge 0$ distributionally, we extend the existence theory to $|E| \in L^2$. For the uniqueness, we prove a comparison principle in this setting. Lastly, we discuss the particular cases of $E$ singular at one point as $Ax /|x|^2$, or towards the boundary as $\mathrm{div} E \sim \mathrm{dist}(x, \partial Ω)^{-2-α}$. In these cases the singularity of $E$ leads to $u$ vanishing to a certain order. In particular, this shows that the Hopf-Oleinik lemma, i.e. $\partial u / \partial n < 0$, fails in the presence of such singular drift terms $E$.
△ Less
Submitted 13 September, 2023; v1 submitted 18 November, 2022;
originally announced November 2022.
-
On Vertex Bisection Width of Random $d$-Regular Graphs
Authors:
Josep Díaz,
Öznur Yaşar Diner,
Maria Serna,
Oriol Serra
Abstract:
Vertex bisection is a graph partitioning problem in which the aim is to find a partition into two equal parts that minimizes the number of vertices in one partition set that have a neighbor in the other set. We are interested in giving upper bounds on the vertex bisection width of random $d$-regular graphs for constant values of $d$. Our approach is based on analyzing a greedy algorithm by using t…
▽ More
Vertex bisection is a graph partitioning problem in which the aim is to find a partition into two equal parts that minimizes the number of vertices in one partition set that have a neighbor in the other set. We are interested in giving upper bounds on the vertex bisection width of random $d$-regular graphs for constant values of $d$. Our approach is based on analyzing a greedy algorithm by using the Differential Equations Method. In this way, we obtain the first known upper bounds for the vertex bisection width in random regular graphs. The results are compared with experimental ones and with lower bounds obtained by Kolesnik and Wormald, (Lower Bounds for the Isoperimetric Numbers of Random Regular Graphs, SIAM J. on Disc. Math. 28(1), 553-575, 2014).
△ Less
Submitted 6 November, 2022;
originally announced November 2022.
-
Identification and reconstruction of low-energy electrons in the ProtoDUNE-SP detector
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
K. Allison,
S. Alonso Monsalve,
M. Alrashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo,
J. Anderson
, et al. (1235 additional authors not shown)
Abstract:
Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is…
▽ More
Measurements of electrons from $ν_e$ interactions are crucial for the Deep Underground Neutrino Experiment (DUNE) neutrino oscillation program, as well as searches for physics beyond the standard model, supernova neutrino detection, and solar neutrino measurements. This article describes the selection and reconstruction of low-energy (Michel) electrons in the ProtoDUNE-SP detector. ProtoDUNE-SP is one of the prototypes for the DUNE far detector, built and operated at CERN as a charged particle test beam experiment. A sample of low-energy electrons produced by the decay of cosmic muons is selected with a purity of 95%. This sample is used to calibrate the low-energy electron energy scale with two techniques. An electron energy calibration based on a cosmic ray muon sample uses calibration constants derived from measured and simulated cosmic ray muon events. Another calibration technique makes use of the theoretically well-understood Michel electron energy spectrum to convert reconstructed charge to electron energy. In addition, the effects of detector response to low-energy electron energy scale and its resolution including readout electronics threshold effects are quantified. Finally, the relation between the theoretical and reconstructed low-energy electron energy spectrum is derived and the energy resolution is characterized. The low-energy electron selection presented here accounts for about 75% of the total electron deposited energy. After the addition of lost energy using a Monte Carlo simulation, the energy resolution improves from about 40% to 25% at 50~MeV. These results are used to validate the expected capabilities of the DUNE far detector to reconstruct low-energy electrons.
△ Less
Submitted 31 May, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Virgo Detector Characterization and Data Quality: tools
Authors:
F. Acernese,
M. Agathos,
A. Ain,
S. Albanesi,
A. Allocca,
A. Amato,
T. Andrade,
N. Andres,
M. Andrés-Carcasona,
T. Andrić,
S. Ansoldi,
S. Antier,
T. Apostolatos,
E. Z. Appavuravther,
M. Arène,
N. Arnaud,
M. Assiduo,
S. Assis de Souza Melo,
P. Astone,
F. Aubin,
S. Babak,
F. Badaracco,
M. K. M. Bader,
S. Bagnasco,
J. Baird
, et al. (469 additional authors not shown)
Abstract:
Detector characterization and data quality studies -- collectively referred to as {\em DetChar} activities in this article -- are paramount to the scientific exploitation of the joint dataset collected by the LIGO-Virgo-KAGRA global network of ground-based gravitational-wave (GW) detectors. They take place during each phase of the operation of the instruments (upgrade, tuning and optimization, dat…
▽ More
Detector characterization and data quality studies -- collectively referred to as {\em DetChar} activities in this article -- are paramount to the scientific exploitation of the joint dataset collected by the LIGO-Virgo-KAGRA global network of ground-based gravitational-wave (GW) detectors. They take place during each phase of the operation of the instruments (upgrade, tuning and optimization, data taking), are required at all steps of the dataflow (from data acquisition to the final list of GW events) and operate at various latencies (from near real-time to vet the public alerts to offline analyses). This work requires a wide set of tools which have been developed over the years to fulfill the requirements of the various DetChar studies: data access and bookkeeping; global monitoring of the instruments and of the different steps of the data processing; studies of the global properties of the noise at the detector outputs; identification and follow-up of noise peculiar features (whether they be transient or continuously present in the data); quick processing of the public alerts. The present article reviews all the tools used by the Virgo DetChar group during the third LIGO-Virgo Observation Run (O3, from April 2019 to March 2020), mainly to analyse the Virgo data acquired at EGO. Concurrently, a companion article focuses on the results achieved by the DetChar group during the O3 run using these tools.
△ Less
Submitted 25 March, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Virgo Detector Characterization and Data Quality: results from the O3 run
Authors:
F. Acernese,
M. Agathos,
A. Ain,
S. Albanesi,
A. Allocca,
A. Amato,
T. Andrade,
N. Andres,
M. Andrés-Carcasona,
T. Andrić,
S. Ansoldi,
S. Antier,
T. Apostolatos,
E. Z. Appavuravther,
M. Arène,
N. Arnaud,
M. Assiduo,
S. Assis de Souza Melo,
P. Astone,
F. Aubin,
S. Babak,
F. Badaracco,
M. K. M. Bader,
S. Bagnasco,
J. Baird
, et al. (469 additional authors not shown)
Abstract:
The Advanced Virgo detector has contributed with its data to the rapid growth of the number of detected gravitational-wave (GW) signals in the past few years, alongside the two Advanced LIGO instruments. First during the last month of the Observation Run 2 (O2) in August 2017 (with, most notably, the compact binary mergers GW170814 and GW170817), and then during the full Observation Run 3 (O3): an…
▽ More
The Advanced Virgo detector has contributed with its data to the rapid growth of the number of detected gravitational-wave (GW) signals in the past few years, alongside the two Advanced LIGO instruments. First during the last month of the Observation Run 2 (O2) in August 2017 (with, most notably, the compact binary mergers GW170814 and GW170817), and then during the full Observation Run 3 (O3): an 11-months data taking period, between April 2019 and March 2020, that led to the addition of about 80 events to the catalog of transient GW sources maintained by LIGO, Virgo and now KAGRA. These discoveries and the manifold exploitation of the detected waveforms require an accurate characterization of the quality of the data, such as continuous study and monitoring of the detector noise sources. These activities, collectively named {\em detector characterization and data quality} or {\em DetChar}, span the whole workflow of the Virgo data, from the instrument front-end hardware to the final analyses. They are described in details in the following article, with a focus on the results achieved by the Virgo DetChar group during the O3 run. Concurrently, a companion article describes the tools that have been used by the Virgo DetChar group to perform this work.
△ Less
Submitted 25 March, 2023; v1 submitted 14 October, 2022;
originally announced October 2022.
-
Search for gravitational-wave transients associated with magnetar bursts in Advanced LIGO and Advanced Virgo data from the third observing run
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
K. Agatsuma,
N. Aggarwal,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
A. Allocca,
P. A. Altin
, et al. (1645 additional authors not shown)
Abstract:
Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bu…
▽ More
Gravitational waves are expected to be produced from neutron star oscillations associated with magnetar giant flares and short bursts. We present the results of a search for short-duration (milliseconds to seconds) and long-duration ($\sim$ 100 s) transient gravitational waves from 13 magnetar short bursts observed during Advanced LIGO, Advanced Virgo and KAGRA's third observation run. These 13 bursts come from two magnetars, SGR 1935$+$2154 and Swift J1818.0$-$1607. We also include three other electromagnetic burst events detected by Fermi GBM which were identified as likely coming from one or more magnetars, but they have no association with a known magnetar. No magnetar giant flares were detected during the analysis period. We find no evidence of gravitational waves associated with any of these 16 bursts. We place upper bounds on the root-sum-square of the integrated gravitational-wave strain that reach $2.2 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at 100 Hz for the short-duration search and $8.7 \times 10^{-23}$ $/\sqrt{\text{Hz}}$ at $450$ Hz for the long-duration search, given a detection efficiency of 50%. For a ringdown signal at 1590 Hz targeted by the short-duration search the limit is set to $1.8 \times 10^{-22}$ $/\sqrt{\text{Hz}}$. Using the estimated distance to each magnetar, we derive upper bounds on the emitted gravitational-wave energy of $3.2 \times 10^{43}$ erg ($7.3 \times 10^{43}$ erg) for SGR 1935$+$2154 and $8.2 \times 10^{42}$ erg ($2.8 \times 10^{43}$ erg) for Swift J1818.0$-$1607, for the short-duration (long-duration) search. Assuming isotropic emission of electromagnetic radiation of the burst fluences, we constrain the ratio of gravitational-wave energy to electromagnetic energy for bursts from SGR 1935$+$2154 with available fluence information. The lowest of these ratios is $3 \times 10^3$.
△ Less
Submitted 19 October, 2022;
originally announced October 2022.
-
Euclid Near Infrared Spectrometer and Photometer instrument flight model presentation, performance and ground calibration results summary
Authors:
T. Maciaszek,
A. Ealet,
W. Gillard,
K. Jahnke,
R. Barbier,
E. Prieto,
W. Bon,
A. Bonnefoi,
A. Caillat,
M. Carle,
A. Costille,
F. Ducret,
C. Fabron,
B. Foulon,
J. L. Gimenez,
E. Grassi,
M. Jaquet,
D. Le Mignant,
L. Martin,
T. Pamplona,
P. Sanchez,
J. C. Clémens,
L. Caillat,
M. Niclas,
A. Secroun
, et al. (73 additional authors not shown)
Abstract:
The NISP (Near Infrared Spectrometer and Photometer) is one of the two Euclid instruments. It operates in the near-IR spectral region (950-2020nm) as a photometer and spectrometer. The instrument is composed of: a cold (135 K) optomechanical subsystem consisting of a Silicon carbide structure, an optical assembly, a filter wheel mechanism, a grism wheel mechanism, a calibration unit, and a thermal…
▽ More
The NISP (Near Infrared Spectrometer and Photometer) is one of the two Euclid instruments. It operates in the near-IR spectral region (950-2020nm) as a photometer and spectrometer. The instrument is composed of: a cold (135 K) optomechanical subsystem consisting of a Silicon carbide structure, an optical assembly, a filter wheel mechanism, a grism wheel mechanism, a calibration unit, and a thermal control system, a detection system based on a mosaic of 16 H2RG with their front-end readout electronic, and a warm electronic system (290 K) composed of a data processing / detector control unit and of an instrument control unit that interfaces with the spacecraft via a 1553 bus for command and control and via Spacewire links for science data.
This paper presents: the final architecture of the flight model instrument and subsystems, and the performance and the ground calibration measurement done at NISP level and at Euclid Payload Module level at operational cold temperature.
△ Less
Submitted 18 October, 2022;
originally announced October 2022.
-
Finite time extinction for a critically damped Schr{ö}dinger equation with a sublinear nonlinearity
Authors:
Pascal Bégout,
Jesús Ildefonso Díaz
Abstract:
This paper completes some previous studies by several authors on the finite time extinction for nonlinear Schr{ö}dinger equation when the nonlinear damping term corresponds to the limit cases of some ``saturating non-Kerr law'' $F(|u|^2)u=\frac{a}{\varepsilon+(|u|^2)^α}u,$ with $a\in\mathbb{C},$ $\varepsilon\geqslant0,$ $2α=(1-m)$ and $m\in[0,1).$ Here we consider the sublinear case $0<m<1$ with a…
▽ More
This paper completes some previous studies by several authors on the finite time extinction for nonlinear Schr{ö}dinger equation when the nonlinear damping term corresponds to the limit cases of some ``saturating non-Kerr law'' $F(|u|^2)u=\frac{a}{\varepsilon+(|u|^2)^α}u,$ with $a\in\mathbb{C},$ $\varepsilon\geqslant0,$ $2α=(1-m)$ and $m\in[0,1).$ Here we consider the sublinear case $0<m<1$ with a critical damped coefficient: $a\in\mathbb{C}$ is assumed to be in the set $D(m)=\big\{z\in\mathbb{C}; \; \mathrm{Im}(z)>0 \text{ and } 2\sqrt{m}\mathrm{Im}(z)=(1-m)\mathrm{Re}(z)\big\}.$ Among other things, we know that this damping coefficient is critical, for instance, in order to obtain the monotonicity of the associated operator (see the paper by Liskevich and Perel'muter [16] and the more recent study by Cialdea and Maz'ya [14]). The finite time extinction of solutions is proved by a suitable energy method after obtaining appropiate a priori estimates. Most of the results apply to non-necessarily bounded spatial domains.
△ Less
Submitted 26 February, 2024; v1 submitted 10 October, 2022;
originally announced October 2022.
-
Correctness of Broadcast via Multicast: Graphically and Formally
Authors:
Wolfgang Jeltsch,
Javier Díaz
Abstract:
Maintaining data consistency among multiple parties requires nodes to repeatedly send data to all other nodes. For example, the nodes of a blockchain network have to disseminate the blocks they create across the whole network. The scientific literature typically takes the ideal perspective that such data distribution is performed by broadcasting to all nodes directly, while in practice data is dis…
▽ More
Maintaining data consistency among multiple parties requires nodes to repeatedly send data to all other nodes. For example, the nodes of a blockchain network have to disseminate the blocks they create across the whole network. The scientific literature typically takes the ideal perspective that such data distribution is performed by broadcasting to all nodes directly, while in practice data is distributed by repeated multicast. Since correctness and security of consistency maintenance protocols usually have been established for the ideal setting only, it is vital to show that these properties carry over to real-world implementations. Therefore, it is desirable to prove that the ideal and the real behavior are equivalent.
In the work described in this paper, we take an important step towards such a proof by proving a simpler variant of this equivalence statement. The simplification is that we consider only a concrete pair of network topologies, which nevertheless illustrates important phenomena encountered with arbitrary topologies. For describing systems that distribute data, we use a domain-specific language of processes that corresponds to a class of Petri nets and is embedded in a general-purpose process calculus. This way, we can outline our proof using an intuitive graphical notation and leverage the rich theory of process calculi in the actual proof, which is machine-checked using the Isabelle proof assistant.
△ Less
Submitted 20 September, 2022;
originally announced September 2022.
-
Chiplets and the Codelet Model
Authors:
Dawson Fox,
Jose M Monsalve Diaz,
Xiaoming Li
Abstract:
Recently, hardware technology has rapidly evolved pertaining to domain-specific applications/architectures. Soon, processors may be composed of a large collection of vendor-independent IP specialized for application-specific algorithms, resulting in extreme heterogeneity. However, integrating multiple vendors within the same die is difficult. Chiplet technology is a solution that integrates multip…
▽ More
Recently, hardware technology has rapidly evolved pertaining to domain-specific applications/architectures. Soon, processors may be composed of a large collection of vendor-independent IP specialized for application-specific algorithms, resulting in extreme heterogeneity. However, integrating multiple vendors within the same die is difficult. Chiplet technology is a solution that integrates multiple vendor dies within the same chip by breaking each piece into an independent block, each with a common interconnect for fast data transfer.
Most prior chiplet research focuses on interconnect technology, but program execution models (PXMs) that enable programmability and performance are missing from the discussion. In chiplet architectures, a cohesive co-designed PXM can further separate the roles of the different actors, while maintaining a common abstraction for program execution. This position paper describes the need for co-designed PXMs and proposes the Codelet PXM and associated architectural features as a candidate to fill this need in extremely heterogeneous chiplet-based architectures.
△ Less
Submitted 13 September, 2022;
originally announced September 2022.
-
Model-based cross-correlation search for gravitational waves from the low-mass X-ray binary Scorpius X-1 in LIGO O3 data
Authors:
The LIGO Scientific Collaboration,
the Virgo Collaboration,
the KAGRA Collaboration,
R. Abbott,
H. Abe,
F. Acernese,
K. Ackley,
S. Adhicary,
N. Adhikari,
R. X. Adhikari,
V. K. Adkins,
V. B. Adya,
C. Affeldt,
D. Agarwal,
M. Agathos,
O. D. Aguiar,
L. Aiello,
A. Ain,
P. Ajith,
T. Akutsu,
S. Albanesi,
R. A. Alfaidi,
C. Alléné,
A. Allocca,
P. A. Altin
, et al. (1670 additional authors not shown)
Abstract:
We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to bala…
▽ More
We present the results of a model-based search for continuous gravitational waves from the low-mass X-ray binary Scorpius X-1 using LIGO detector data from the third observing run of Advanced LIGO, Advanced Virgo and KAGRA. This is a semicoherent search which uses details of the signal model to coherently combine data separated by less than a specified coherence time, which can be adjusted to balance sensitivity with computing cost. The search covered a range of gravitational-wave frequencies from 25Hz to 1600Hz, as well as ranges in orbital speed, frequency and phase determined from observational constraints. No significant detection candidates were found, and upper limits were set as a function of frequency. The most stringent limits, between 100Hz and 200Hz, correspond to an amplitude h0 of about 1e-25 when marginalized isotropically over the unknown inclination angle of the neutron star's rotation axis, or less than 4e-26 assuming the optimal orientation. The sensitivity of this search is now probing amplitudes predicted by models of torque balance equilibrium. For the usual conservative model assuming accretion at the surface of the neutron star, our isotropically-marginalized upper limits are close to the predicted amplitude from about 70Hz to 100Hz; the limits assuming the neutron star spin is aligned with the most likely orbital angular momentum are below the conservative torque balance predictions from 40Hz to 200Hz. Assuming a broader range of accretion models, our direct limits on gravitational-wave amplitude delve into the relevant parameter space over a wide range of frequencies, to 500Hz or more.
△ Less
Submitted 2 January, 2023; v1 submitted 6 September, 2022;
originally announced September 2022.
-
Your Blockchain Needn't Care How the Message is Spread
Authors:
Wolfgang Jeltsch,
Javier Díaz
Abstract:
In a blockchain system, nodes regularly distribute data to other nodes. The ideal perspective taken in the scientific literature is that data is broadcast to all nodes directly, while in practice data is distributed by repeated multicast. Since correctness and security typically have been established for the ideal setting only, it is vital to show that these properties carry over to real-world imp…
▽ More
In a blockchain system, nodes regularly distribute data to other nodes. The ideal perspective taken in the scientific literature is that data is broadcast to all nodes directly, while in practice data is distributed by repeated multicast. Since correctness and security typically have been established for the ideal setting only, it is vital to show that these properties carry over to real-world implementations. This can be done by proving that the ideal and the real behavior are equivalent.
In the work described in this paper, we take an important step towards such a proof by proving a simpler variant of the above equivalence statement. The simplification is that we consider only a concrete pair of network topologies, which nevertheless illustrates important phenomena encountered with arbitrary topologies. For describing systems that distribute data, we use a domain-specific language of processes that is embedded in a general-purpose process calculus. This allows us to leverage the rich theory of process calculi in our proof, which is machine-checked using the Isabelle proof assistant.
△ Less
Submitted 23 August, 2022;
originally announced August 2022.
-
pyCANON: A Python library to check the level of anonymity of a dataset
Authors:
Judith Sáinz-Pardo Díaz,
Álvaro López García
Abstract:
Openly sharing data with sensitive attributes and privacy restrictions is a challenging task. In this document we present the implementation of pyCANON, a Python library and command line interface (CLI) to check and assess the level of anonymity of a dataset through some of the most common anonymization techniques: k-anonymity, ($α$,k)-anonymity, $\ell$-diversity, entropy $\ell$-diversity, recursi…
▽ More
Openly sharing data with sensitive attributes and privacy restrictions is a challenging task. In this document we present the implementation of pyCANON, a Python library and command line interface (CLI) to check and assess the level of anonymity of a dataset through some of the most common anonymization techniques: k-anonymity, ($α$,k)-anonymity, $\ell$-diversity, entropy $\ell$-diversity, recursive (c,$\ell$)-diversity, basic $β$-likeness, enhanced $β$-likeness, t-closeness and $δ$-disclosure privacy. For the case of more than one sensitive attributes, two approaches are proposed for evaluating this techniques. The main strength of this library is to obtain a full report of the parameters that are fulfilled for each of the techniques mentioned above, with the unique requirement of the set of quasi-identifiers and that of sensitive attributes. We present the methods implemented together with the attacks they prevent, the description of the library, use examples of the different functions, as well as the impact and the possible applications that can be developed. Finally, some possible aspects to be incorporated in future updates are proposed.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Einstein gravity with generalized cosmological term from five-dimensional AdS-Maxwell-Chern-Simons gravity
Authors:
L. Avilés,
J. Diaz,
D. M. Penafiel,
V. C. Orozco,
P. Salgado
Abstract:
Some time ago, the standard geometric framework of Einstein gravity was extended by gauging the Maxwell algebra as well as the so called AdS-Maxwell algebra. In this letter it is shown that the actions for these four-dimensional extended Einstein gravities can be obtained from the five-dimensional Chern-Simons gravities actions by using the Randall-Sundrum compactification procedure. It is found t…
▽ More
Some time ago, the standard geometric framework of Einstein gravity was extended by gauging the Maxwell algebra as well as the so called AdS-Maxwell algebra. In this letter it is shown that the actions for these four-dimensional extended Einstein gravities can be obtained from the five-dimensional Chern-Simons gravities actions by using the Randall-Sundrum compactification procedure. It is found that the Inönü-Wigner contraction procedure, in the Weimar-Woods sense, can be used both to obtain the Maxwell-Chern-Simons action from the AdS-Maxwell-Chern-Simons action and to obtain the Maxwell extension of Einstein gravity in 4D from the four-dimensional extended AdS-Maxwell-Einstein-Hilbert action. It is also shown that the extended four-dimensional gravities belongs to the Horndeski family of scalar-tensor theories.
△ Less
Submitted 25 March, 2024; v1 submitted 12 August, 2022;
originally announced August 2022.
-
Generalized Einstein gravities and generalized AdS symmetries
Authors:
L. Cardenas,
J. Diaz,
P. Salgado,
D. Salgado
Abstract:
We consider the curvatures 2 form asociated with AdSL4 valued one-form gauge connetion, and then we construct a four-dimensional action that generalize the Einstein-Hilbert gravity. It is shown that the Maxwell extension of Einstein gravity can be obtained from AdSL4-gravity making use of the Inonu-Wigner contraction method. In the same way, by gauging the AdSL5 spacetime algebra, the Einstein-Hil…
▽ More
We consider the curvatures 2 form asociated with AdSL4 valued one-form gauge connetion, and then we construct a four-dimensional action that generalize the Einstein-Hilbert gravity. It is shown that the Maxwell extension of Einstein gravity can be obtained from AdSL4-gravity making use of the Inonu-Wigner contraction method. In the same way, by gauging the AdSL5 spacetime algebra, the Einstein-Hilbert gravity is extended including the vector fields kab and ha which are associated with non-Abelian tensors and non Abelian vectors charges in the AdSL5 algebra. The B5 extension of Einstein gravity can be obtained from AdSL5 gravity using of the above mentioned contraction procedure. Some aspects of a gravity based on the algebra AdSL6 are considered in an appendix.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Bottom-up Trust Registry in Self Sovereign Identity
Authors:
Kai Jun Eer,
Jesus Diaz,
Markulf Kohlweiss
Abstract:
Self sovereign identity is a form of decentralised credential management. During credential verification, data exchange only happens between the data owner and the verifier without passing through any third parties. While this approach offers a privacy-centric solution, it poses a challenge. How do verifiers trust that the credential is vouched by a trusted source? More specifically, how do verifi…
▽ More
Self sovereign identity is a form of decentralised credential management. During credential verification, data exchange only happens between the data owner and the verifier without passing through any third parties. While this approach offers a privacy-centric solution, it poses a challenge. How do verifiers trust that the credential is vouched by a trusted source? More specifically, how do verifiers know that the issuer has the reputation or is authorised to issue the credential? In this paper, we propose a trust registry design that handles the aspect of human trust in self sovereign identity. We also introduce an incentivisation mechanism for the trust registry in order to motivate each stakeholder to participate actively and honestly.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Assessing The Performance of YOLOv5 Algorithm for Detecting Volunteer Cotton Plants in Corn Fields at Three Different Growth Stages
Authors:
Pappu Kumar Yadav,
J. Alex Thomasson,
Stephen W. Searcy,
Robert G. Hardin,
Ulisses Braga-Neto,
Sorin C. Popescu,
Daniel E. Martin,
Roberto Rodriguez,
Karem Meza,
Juan Enciso,
Jorge Solorzano Diaz,
Tianyi Wang
Abstract:
The boll weevil (Anthonomus grandis L.) is a serious pest that primarily feeds on cotton plants. In places like Lower Rio Grande Valley of Texas, due to sub-tropical climatic conditions, cotton plants can grow year-round and therefore the left-over seeds from the previous season during harvest can continue to grow in the middle of rotation crops like corn (Zea mays L.) and sorghum (Sorghum bicolor…
▽ More
The boll weevil (Anthonomus grandis L.) is a serious pest that primarily feeds on cotton plants. In places like Lower Rio Grande Valley of Texas, due to sub-tropical climatic conditions, cotton plants can grow year-round and therefore the left-over seeds from the previous season during harvest can continue to grow in the middle of rotation crops like corn (Zea mays L.) and sorghum (Sorghum bicolor L.). These feral or volunteer cotton (VC) plants when reach the pinhead squaring phase (5-6 leaf stage) can act as hosts for the boll weevil pest. The Texas Boll Weevil Eradication Program (TBWEP) employs people to locate and eliminate VC plants growing by the side of roads or fields with rotation crops but the ones growing in the middle of fields remain undetected. In this paper, we demonstrate the application of computer vision (CV) algorithm based on You Only Look Once version 5 (YOLOv5) for detecting VC plants growing in the middle of corn fields at three different growth stages (V3, V6, and VT) using unmanned aircraft systems (UAS) remote sensing imagery. All the four variants of YOLOv5 (s, m, l, and x) were used and their performances were compared based on classification accuracy, mean average precision (mAP), and F1-score. It was found that YOLOv5s could detect VC plants with a maximum classification accuracy of 98% and mAP of 96.3 % at the V6 stage of corn while YOLOv5s and YOLOv5m resulted in the lowest classification accuracy of 85% and YOLOv5m and YOLOv5l had the least mAP of 86.5% at the VT stage on images of size 416 x 416 pixels. The developed CV algorithm has the potential to effectively detect and locate VC plants growing in the middle of corn fields as well as expedite the management aspects of TBWEP.
△ Less
Submitted 31 July, 2022;
originally announced August 2022.
-
Study of the performance and scalability of federated learning for medical imaging with intermittent clients
Authors:
Judith Sáinz-Pardo Díaz,
Álvaro López García
Abstract:
Federated learning is a data decentralization privacy-preserving technique used to perform machine or deep learning in a secure way. In this paper we present theoretical aspects about federated learning, such as the presentation of an aggregation operator, different types of federated learning, and issues to be taken into account in relation to the distribution of data from the clients, together w…
▽ More
Federated learning is a data decentralization privacy-preserving technique used to perform machine or deep learning in a secure way. In this paper we present theoretical aspects about federated learning, such as the presentation of an aggregation operator, different types of federated learning, and issues to be taken into account in relation to the distribution of data from the clients, together with the exhaustive analysis of a use case where the number of clients varies. Specifically, a use case of medical image analysis is proposed, using chest X-Ray images obtained from an open data repository. In addition to the advantages related to privacy, improvements in predictions (in terms of accuracy, loss and area under the curve) and reduction of execution times will be studied with respect to the classical case (the centralized approach). Different clients will be simulated from the training data, selected in an unbalanced manner. The results of considering three or ten clients are exposed and compared between them and against the centralized case. Two different problems related to intermittent clients are discussed, together with two approaches to be followed for each of them. Specifically, this type of problems may occur because in a real scenario some clients may leave the training, and others enter it, and on the other hand because of client technical or connectivity problems. Finally, improvements and future work in the field are proposed.
△ Less
Submitted 3 November, 2022; v1 submitted 18 July, 2022;
originally announced July 2022.
-
Computer Vision for Volunteer Cotton Detection in a Corn Field with UAS Remote Sensing Imagery and Spot Spray Applications
Authors:
Pappu Kumar Yadav,
J. Alex Thomasson,
Stephen W. Searcy,
Robert G. Hardin,
Ulisses Braga-Neto,
Sorin C. Popescu,
Daniel E. Martin,
Roberto Rodriguez,
Karem Meza,
Juan Enciso,
Jorge Solorzano Diaz,
Tianyi Wang
Abstract:
To control boll weevil (Anthonomus grandis L.) pest re-infestation in cotton fields, the current practices of volunteer cotton (VC) (Gossypium hirsutum L.) plant detection in fields of rotation crops like corn (Zea mays L.) and sorghum (Sorghum bicolor L.) involve manual field scouting at the edges of fields. This leads to many VC plants growing in the middle of fields remain undetected that conti…
▽ More
To control boll weevil (Anthonomus grandis L.) pest re-infestation in cotton fields, the current practices of volunteer cotton (VC) (Gossypium hirsutum L.) plant detection in fields of rotation crops like corn (Zea mays L.) and sorghum (Sorghum bicolor L.) involve manual field scouting at the edges of fields. This leads to many VC plants growing in the middle of fields remain undetected that continue to grow side by side along with corn and sorghum. When they reach pinhead squaring stage (5-6 leaves), they can serve as hosts for the boll weevil pests. Therefore, it is required to detect, locate and then precisely spot-spray them with chemicals. In this paper, we present the application of YOLOv5m on radiometrically and gamma-corrected low resolution (1.2 Megapixel) multispectral imagery for detecting and locating VC plants growing in the middle of tasseling (VT) growth stage of cornfield. Our results show that VC plants can be detected with a mean average precision (mAP) of 79% and classification accuracy of 78% on images of size 1207 x 923 pixels at an average inference speed of nearly 47 frames per second (FPS) on NVIDIA Tesla P100 GPU-16GB and 0.4 FPS on NVIDIA Jetson TX2 GPU. We also demonstrate the application of a customized unmanned aircraft systems (UAS) for spot-spray applications based on the developed computer vision (CV) algorithm and how it can be used for near real-time detection and mitigation of VC plants growing in corn fields for efficient management of the boll weevil pests.
△ Less
Submitted 15 July, 2022;
originally announced July 2022.
-
Detecting Volunteer Cotton Plants in a Corn Field with Deep Learning on UAV Remote-Sensing Imagery
Authors:
Pappu Kumar Yadav,
J. Alex Thomasson,
Robert Hardin,
Stephen W. Searcy,
Ulisses Braga-Neto,
Sorin C. Popescu,
Daniel E. Martin,
Roberto Rodriguez,
Karem Meza,
Juan Enciso,
Jorge Solorzano Diaz,
Tianyi Wang
Abstract:
The cotton boll weevil, Anthonomus grandis Boheman is a serious pest to the U.S. cotton industry that has cost more than 16 billion USD in damages since it entered the United States from Mexico in the late 1800s. This pest has been nearly eradicated; however, southern part of Texas still faces this issue and is always prone to the pest reinfestation each year due to its sub-tropical climate where…
▽ More
The cotton boll weevil, Anthonomus grandis Boheman is a serious pest to the U.S. cotton industry that has cost more than 16 billion USD in damages since it entered the United States from Mexico in the late 1800s. This pest has been nearly eradicated; however, southern part of Texas still faces this issue and is always prone to the pest reinfestation each year due to its sub-tropical climate where cotton plants can grow year-round. Volunteer cotton (VC) plants growing in the fields of inter-seasonal crops, like corn, can serve as hosts to these pests once they reach pin-head square stage (5-6 leaf stage) and therefore need to be detected, located, and destroyed or sprayed . In this paper, we present a study to detect VC plants in a corn field using YOLOv3 on three band aerial images collected by unmanned aircraft system (UAS). The two-fold objectives of this paper were : (i) to determine whether YOLOv3 can be used for VC detection in a corn field using RGB (red, green, and blue) aerial images collected by UAS and (ii) to investigate the behavior of YOLOv3 on images at three different scales (320 x 320, S1; 416 x 416, S2; and 512 x 512, S3 pixels) based on average precision (AP), mean average precision (mAP) and F1-score at 95% confidence level. No significant differences existed for mAP among the three scales, while a significant difference was found for AP between S1 and S3 (p = 0.04) and S2 and S3 (p = 0.02). A significant difference was also found for F1-score between S2 and S3 (p = 0.02). The lack of significant differences of mAP at all the three scales indicated that the trained YOLOv3 model can be used on a computer vision-based remotely piloted aerial application system (RPAAS) for VC detection and spray application in near real-time.
△ Less
Submitted 14 July, 2022;
originally announced July 2022.
-
Forecasting COVID-19 spreading trough an ensemble of classical and machine learning models: Spain's case study
Authors:
Ignacio Heredia Cacha,
Judith Sainz-Pardo Díaz,
María Castrillo Melguizo,
Álvaro López García
Abstract:
In this work we evaluate the applicability of an ensemble of population models and machine learning models to predict the near future evolution of the COVID-19 pandemic, with a particular use case in Spain. We rely solely in open and public datasets, fusing incidence, vaccination, human mobility and weather data to feed our machine learning models (Random Forest, Gradient Boosting, k-Nearest Neigh…
▽ More
In this work we evaluate the applicability of an ensemble of population models and machine learning models to predict the near future evolution of the COVID-19 pandemic, with a particular use case in Spain. We rely solely in open and public datasets, fusing incidence, vaccination, human mobility and weather data to feed our machine learning models (Random Forest, Gradient Boosting, k-Nearest Neighbours and Kernel Ridge Regression). We use the incidence data to adjust classic population models (Gompertz, Logistic, Richards, Bertalanffy) in order to be able to better capture the trend of the data. We then ensemble these two families of models in order to obtain a more robust and accurate prediction. Furthermore, we have observed an improvement in the predictions obtained with machine learning models as we add new features (vaccines, mobility, climatic conditions), analyzing the importance of each of them using Shapley Additive Explanation values. As in any other modelling work, data and predictions quality have several limitations and therefore they must be seen from a critical standpoint, as we discuss in the text. Our work concludes that the ensemble use of these models improves the individual predictions (using only machine learning models or only population models) and can be applied, with caution, in cases when compartmental models cannot be utilized due to the lack of relevant data.
△ Less
Submitted 12 August, 2022; v1 submitted 12 July, 2022;
originally announced July 2022.
-
Dynamic random graphs with vertex removal
Authors:
Josep Díaz,
Lyuben Lichev,
Bas Lodewijks
Abstract:
We introduce and analyse a Dynamic Random Graph with Vertex Removal (DRGVR) defined as follows. At every step, with probability $p > 1/2$ a new vertex is introduced, and with probability $1-p$ a vertex, chosen uniformly at random among the present ones (if any), is removed from the graph together with all edges adjacent to it. In the former case, the new vertex connects by an edge to every other v…
▽ More
We introduce and analyse a Dynamic Random Graph with Vertex Removal (DRGVR) defined as follows. At every step, with probability $p > 1/2$ a new vertex is introduced, and with probability $1-p$ a vertex, chosen uniformly at random among the present ones (if any), is removed from the graph together with all edges adjacent to it. In the former case, the new vertex connects by an edge to every other vertex with probability proportional to the number of vertices already present.
We prove that the DRGVR converges to a local limit and determine this limit. Moreover, we analyse its component structure and distinguish a subcritical and a supercritical regime with respect to the existence of a giant component. As a byproduct of this analysis, we obtain upper and lower bounds for the critical parameter. Furthermore, we provide precise expression of the maximum degree (as well as in- and out-degree for a natural orientation of the DRGVR). Several concentration and stability results complete the study.
△ Less
Submitted 11 July, 2022;
originally announced July 2022.
-
Virial masses of late type galaxies from the SDSS DR16
Authors:
A. Nigoche-Netro,
E. de la Fuente,
R. J. Diaz,
M. P. Aguero,
S. N. Kemp,
R. A. Marquez-Lugo,
P. Lagos,
A. Ruelas-Mayorga,
N. L. Lopez-Contreras
Abstract:
Motivated by the challenges of calculating the dynamical masses of late-type galaxies (LTGs) and the enormous amount of data from the Sloan Digital Sky Survey (SDSS), we calculate virial masses of a sample of approximately 126,000 LTGs from the sixteenth data release of the SDSS. The virial mass estimations were made considering Newtonian mechanics, virial equilibrium and velocity dispersion from…
▽ More
Motivated by the challenges of calculating the dynamical masses of late-type galaxies (LTGs) and the enormous amount of data from the Sloan Digital Sky Survey (SDSS), we calculate virial masses of a sample of approximately 126,000 LTGs from the sixteenth data release of the SDSS. The virial mass estimations were made considering Newtonian mechanics, virial equilibrium and velocity dispersion from stars and gas. The procedure gave as a result seven mass estimations for each galaxy. The calculated masses were calibrated using a sample of spiral galaxies with velocity rotation curves. Considering the results from the calibration, we find that the correlation between virial and dynamical (rotation curve) masses is stronger for high inclination values. Therefore the calibration relies more on the available data for higher inclination angle galaxies. We also show that if we have a heterogeneous sample of galaxies one must take into consideration the size and colour of these galaxies by using the following variables: Sersic index n, concentration index and colour of the stars. For relatively smaller and bluer LTGs the gas velocity dispersion provides a more consistent mass calculation, while for LTGs that are relatively larger and redder the stellar velocity dispersion provides a better correlated mass calculation.
△ Less
Submitted 9 July, 2022;
originally announced July 2022.
-
Targeted learning in observational studies with multi-valued treatments: An evaluation of antipsychotic drug treatment safety
Authors:
Jason Poulos,
Marcela Horvitz-Lennon,
Katya Zelevinsky,
Tudor Cristea-Platon,
Thomas Huijskens,
Pooja Tyagi,
Jiaju Yan,
Jordi Diaz,
Sharon-Lise Normand
Abstract:
We investigate estimation of causal effects of multiple competing (multi-valued) treatments in the absence of randomization. Our work is motivated by an intention-to-treat study of the relative cardiometabolic risk of assignment to one of six commonly prescribed antipsychotic drugs in a cohort of nearly 39,000 adults with serious mental illnesses. Doubly-robust estimators, such as targeted minimum…
▽ More
We investigate estimation of causal effects of multiple competing (multi-valued) treatments in the absence of randomization. Our work is motivated by an intention-to-treat study of the relative cardiometabolic risk of assignment to one of six commonly prescribed antipsychotic drugs in a cohort of nearly 39,000 adults with serious mental illnesses. Doubly-robust estimators, such as targeted minimum loss-based estimation (TMLE), require correct specification of either the treatment model or outcome model to ensure consistent estimation; however, common TMLE implementations estimate treatment probabilities using multiple binomial regressions rather than multinomial regression. We implement a TMLE estimator that uses multinomial treatment assignment and ensemble machine learning to estimate average treatment effects. Our multinomial implementation improves coverage, but does not necessarily reduce bias, relative to the binomial implementation in simulation experiments with varying treatment propensity overlap and event rates. Evaluating the causal effects of the antipsychotics on three-year diabetes risk or death, we find a safety benefit of moving from a second-generation drug considered among the safest of the second-generation drugs to an infrequently prescribed first-generation drug known for having low cardiometabolic risk.
△ Less
Submitted 28 November, 2023; v1 submitted 30 June, 2022;
originally announced June 2022.
-
Reconstruction of interactions in the ProtoDUNE-SP detector with Pandora
Authors:
DUNE Collaboration,
A. Abed Abud,
B. Abi,
R. Acciarri,
M. A. Acero,
M. R. Adames,
G. Adamov,
M. Adamowski,
D. Adams,
M. Adinolfi,
C. Adriano,
A. Aduszkiewicz,
J. Aguilar,
Z. Ahmad,
J. Ahmed,
B. Aimard,
F. Akbar,
B. Ali-Mohammadzadeh,
K. Allison,
S. Alonso Monsalve,
M. AlRashed,
C. Alt,
A. Alton,
R. Alvarez,
P. Amedo
, et al. (1203 additional authors not shown)
Abstract:
The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction software used at ProtoDUNE-SP, a prototype for the Deep Underground Neutrino Experiment far detector. ProtoDUNE-SP, located at CERN, is exposed to a char…
▽ More
The Pandora Software Development Kit and algorithm libraries provide pattern-recognition logic essential to the reconstruction of particle interactions in liquid argon time projection chamber detectors. Pandora is the primary event reconstruction software used at ProtoDUNE-SP, a prototype for the Deep Underground Neutrino Experiment far detector. ProtoDUNE-SP, located at CERN, is exposed to a charged-particle test beam. This paper gives an overview of the Pandora reconstruction algorithms and how they have been tailored for use at ProtoDUNE-SP. In complex events with numerous cosmic-ray and beam background particles, the simulated reconstruction and identification efficiency for triggered test-beam particles is above 80% for the majority of particle type and beam momentum combinations. Specifically, simulated 1 GeV/$c$ charged pions and protons are correctly reconstructed and identified with efficiencies of 86.1$\pm0.6$% and 84.1$\pm0.6$%, respectively. The efficiencies measured for test-beam data are shown to be within 5% of those predicted by the simulation.
△ Less
Submitted 17 July, 2023; v1 submitted 29 June, 2022;
originally announced June 2022.
-
Slow-Roll Inflation in the Jordan Frame
Authors:
Mindaugas Karčiauskas,
José Jaime Terente Díaz
Abstract:
Inflation models based on scalar-tensor theories of gravity are formulated in the Jordan frame but most often analysed in the Einstein frame. The transformation between the frames is not always desirable. In this work we formulate slow-roll conditions in the Jordan frame. This is achieved by comparing different background quantities and approximations on the same spatial slice in both frames. We u…
▽ More
Inflation models based on scalar-tensor theories of gravity are formulated in the Jordan frame but most often analysed in the Einstein frame. The transformation between the frames is not always desirable. In this work we formulate slow-roll conditions in the Jordan frame. This is achieved by comparing different background quantities and approximations on the same spatial slice in both frames. We use these approximations to derive simple equations that can be applied to compute inflation model observables in terms of Jordan frame quantities only. Finally, we apply some of the results to analyse generalised induced gravity models and compare them with the latest observations.
△ Less
Submitted 23 September, 2022; v1 submitted 17 June, 2022;
originally announced June 2022.
-
Controlled boundary explosions: dynamics after blow-up for some semilinear problems with global controls
Authors:
A. C. Casal,
G. Díaz,
J. I. Díaz,
J. M. Vegas
Abstract:
The main goal of this paper is to show that the blow up phenomenon (the explosion of the $ \rL^{\infty }$-norm) of the solutions of several classes of evolution problems can be controlled by means of suitable global controls $α(t)$ ($i.e.$ only dependent on time) in such a way that the corresponding solution be well defined (as element of $\rL_{loc}^{1}(0,+\infty :\rX)$, for some functional space…
▽ More
The main goal of this paper is to show that the blow up phenomenon (the explosion of the $ \rL^{\infty }$-norm) of the solutions of several classes of evolution problems can be controlled by means of suitable global controls $α(t)$ ($i.e.$ only dependent on time) in such a way that the corresponding solution be well defined (as element of $\rL_{loc}^{1}(0,+\infty :\rX)$, for some functional space $\rX$) after the explosion time. We start by considering the case of an ordinary differential equation with a superlinear term and show that the controlled explosion property holds by using a delayed control (built through the solution of the problem and by generalizing the {\em nonlinear variation of constants formula}, due to V.M. Alekseev in 1961, to the case of {\em neutral delayed equations} (since the control is only in the space $\rW_{loc}^{-1,q\prime }(0,+\infty :\RR )$, for some $q>1$)$.$ We apply those arguments to the case of an evolution semilinear problem in which the differential equation is a semilinear elliptic equation with a superlinear absorption and the boundary condition is dynamic and involves the forcing superlinear term giving rise to the blow up phenomenon. We prove that, under a suitable balance between the forcing and the absorption terms, the blow up takes place only on the boundary of the spatial domain which here is assumed to be a ball $\rB_{\rR}$ and for a constant as initial datum.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
EllSeg-Gen, towards Domain Generalization for head-mounted eyetracking
Authors:
Rakshit S. Kothari,
Reynold J. Bailey,
Christopher Kanan,
Jeff B. Pelz,
Gabriel J. Diaz
Abstract:
The study of human gaze behavior in natural contexts requires algorithms for gaze estimation that are robust to a wide range of imaging conditions. However, algorithms often fail to identify features such as the iris and pupil centroid in the presence of reflective artifacts and occlusions. Previous work has shown that convolutional networks excel at extracting gaze features despite the presence o…
▽ More
The study of human gaze behavior in natural contexts requires algorithms for gaze estimation that are robust to a wide range of imaging conditions. However, algorithms often fail to identify features such as the iris and pupil centroid in the presence of reflective artifacts and occlusions. Previous work has shown that convolutional networks excel at extracting gaze features despite the presence of such artifacts. However, these networks often perform poorly on data unseen during training. This work follows the intuition that jointly training a convolutional network with multiple datasets learns a generalized representation of eye parts. We compare the performance of a single model trained with multiple datasets against a pool of models trained on individual datasets. Results indicate that models tested on datasets in which eye images exhibit higher appearance variability benefit from multiset training. In contrast, dataset-specific models generalize better onto eye images with lower appearance variability.
△ Less
Submitted 4 May, 2022;
originally announced May 2022.
-
Virgo Detector Characterization and Data Quality during the O3 run
Authors:
F. Acernese,
M. Agathos,
A. Ain,
S. Albanesi,
A. Allocca,
A. Amato,
T. Andrade,
N. Andres,
M. Andrés-Carcasona,
T. Andrić,
S. Ansoldi,
S. Antier,
T. Apostolatos,
E. Z. Appavuravther,
M. Arène,
N. Arnaud,
M. Assiduo,
S. Assis de Souza Melo,
P. Astone,
F. Aubin,
S. Babak,
F. Badaracco,
M. K. M. Bader,
S. Bagnasco,
J. Baird
, et al. (469 additional authors not shown)
Abstract:
The Advanced Virgo detector has contributed with its data to the rapid growth of the number of detected gravitational-wave signals in the past few years, alongside the two LIGO instruments. First, during the last month of the Observation Run 2 (O2) in August 2017 (with, most notably, the compact binary mergers GW170814 and GW170817) and then during the full Observation Run 3 (O3): an 11 months dat…
▽ More
The Advanced Virgo detector has contributed with its data to the rapid growth of the number of detected gravitational-wave signals in the past few years, alongside the two LIGO instruments. First, during the last month of the Observation Run 2 (O2) in August 2017 (with, most notably, the compact binary mergers GW170814 and GW170817) and then during the full Observation Run 3 (O3): an 11 months data taking period, between April 2019 and March 2020, that led to the addition of about 80 events to the catalog of transient gravitational-wave sources maintained by LIGO, Virgo and KAGRA. These discoveries and the manifold exploitation of the detected waveforms require an accurate characterization of the quality of the data, such as continuous study and monitoring of the detector noise. These activities, collectively named {\em detector characterization} or {\em DetChar}, span the whole workflow of the Virgo data, from the instrument front-end to the final analysis. They are described in details in the following article, with a focus on the associated tools, the results achieved by the Virgo DetChar group during the O3 run and the main prospects for future data-taking periods with an improved detector.
△ Less
Submitted 28 October, 2022; v1 submitted 3 May, 2022;
originally announced May 2022.
-
Learning with Signatures
Authors:
J. de Curtò,
I. de Zarzà,
Hong Yan,
Carlos T. Calafate
Abstract:
In this work we investigate the use of the Signature Transform in the context of Learning. Under this assumption, we advance a supervised framework that potentially provides state-of-the-art classification accuracy with the use of few labels without the need of credit assignment and with minimal or no overfitting. We leverage tools from harmonic analysis by the use of the signature and log-signatu…
▽ More
In this work we investigate the use of the Signature Transform in the context of Learning. Under this assumption, we advance a supervised framework that potentially provides state-of-the-art classification accuracy with the use of few labels without the need of credit assignment and with minimal or no overfitting. We leverage tools from harmonic analysis by the use of the signature and log-signature, and use as a score function RMSE and MAE Signature and log-signature. We develop a closed-form equation to compute probably good optimal scale factors, as well as the formulation to obtain them by optimization. Techniques of Signal Processing are addressed to further characterize the problem. Classification is performed at the CPU level orders of magnitude faster than other methods. We report results on AFHQ, MNIST and CIFAR10, achieving 100% accuracy on all tasks assuming we can determine at test time which probably good optimal scale factor to use for each category.
△ Less
Submitted 19 May, 2022; v1 submitted 17 April, 2022;
originally announced April 2022.