-
Thermodynamics of Amide + Amine Mixtures. 2. Volumetric, Speed of Sound and Refractive Index Data for N,N-Dimethylacetamide +N-Propylpropan-1-Amine, +N-Butylbutan-1-Amine, +Butan-1-Amine, or +Hexan-1-Amine Systems at Several Temperatures
Authors:
Fernando Hevia,
Ana Cobos,
Juan Antonio González,
Isaías García de la Fuente,
Víctor Alonso
Abstract:
Data on density, $ρ$, speed of sound, $c$, and refractive index, $n_{\text{D}}$, of binary systems containing N,N-dimethylacetamide (DMA) + N-propylpropan-1-amine (DPA) or + butan-1-amine (BA) at 293.15 K, 298.15 K and 303.15 K, and + N-butylbutan-1-amine (DBA) or + hexan-1-amine (HxA) at 298.15 K are reported. A densimeter and sound analyzer Anton Paar DSA 5000 has been used for the measurement o…
▽ More
Data on density, $ρ$, speed of sound, $c$, and refractive index, $n_{\text{D}}$, of binary systems containing N,N-dimethylacetamide (DMA) + N-propylpropan-1-amine (DPA) or + butan-1-amine (BA) at 293.15 K, 298.15 K and 303.15 K, and + N-butylbutan-1-amine (DBA) or + hexan-1-amine (HxA) at 298.15 K are reported. A densimeter and sound analyzer Anton Paar DSA 5000 has been used for the measurement of $ρ$ and $c$, whereas $n_{\text{D}}$ values have been obtained by means of a refractometer RFM970 from Bellingham+Stanley. Also, values of excess molar volumes, $V_{\text{m}}^{\text{E}}$, excess isentropic compressibilities, $κ_S^{\text{E}}$, excess speeds of sound, $c^{\text{E}}$, excess isobaric thermal expansion coefficients, $α_p^{\text{E}}$, and of excess refractive indices, $n_{\text{D}}^{\text{E}}$, have been determined from these data. The investigated systems are characterized by amide-amine interactions and structural effects, as it is shown by their negative or low positive $V_{\text{m}}^{\text{E}}$ values and by the results from the application of the Prigogine-Flory-Patterson (PFP) model. The breaking of amine-amine interactions is more relevant in systems containing linear primary amines than in those with linear secondary amines, and the $V_{\text{m}}^{\text{E}}$ values are lower for the latter systems. Molar refraction has been used to evaluate the dispersive interactions in the mixtures under study, yielding the result that DPA and HxA systems present similar dispersive interactions and mainly differ in their dipolar character. Steric hindrance of the amide group in DMA leads to weaker amide-amine interactions than in the corresponding N,N-dimethylformamide (DMF) + amine systems.
△ Less
Submitted 28 August, 2024;
originally announced September 2024.
-
Thermodynamics of Amide + Amine Mixtures. 1. Volumetric, Speed of Sound, and Refractive Index Data for N,N-Dimethylformamide +N-Propylpropan-1-amine, +N-Butylbutan-1-amine, +Butan-1-amine, or +Hexan-1-amine Systems at Several Temperatures
Authors:
Fernando Hevia,
Ana Cobos,
Juan Antonio González,
Isaías García de la Fuente,
Luis Felipe Sanz
Abstract:
Values of density ($ρ$), speed of sound ($c$) and refractive index ($n_{\text{D}}$) for N,N-dimethylformamide (DMF) + N-propylpropan-1-amine (DPA) or + butan-1-amine (BA) mixtures at (293.15-303.15) K, and for DMF + N-butylbutan-1-amine (DBA) or hexan-1-amine (HxA) mixtures at 298.15 K are reported. $ρ$ and $c$ measurements were conducted using a vibrating-tube densimeter and sound analyzer, Anton…
▽ More
Values of density ($ρ$), speed of sound ($c$) and refractive index ($n_{\text{D}}$) for N,N-dimethylformamide (DMF) + N-propylpropan-1-amine (DPA) or + butan-1-amine (BA) mixtures at (293.15-303.15) K, and for DMF + N-butylbutan-1-amine (DBA) or hexan-1-amine (HxA) mixtures at 298.15 K are reported. $ρ$ and $c$ measurements were conducted using a vibrating-tube densimeter and sound analyzer, Anton Paar model DSA5000; $n_{\text{D}}$ values were obtained by means of a RFM970 refractometer from Bellingham+Stanley. The experimental $ρ$, $c$ and $n_{\text{D}}$ values have been used to determine excess molar volumes, $V_{\text{m}}^{\text{E}}$, excess adiabatic compressibilities, $κ_S^{\text{E}}$, excess speeds of sound, $c^{\text{E}}$, excess thermal expansion coefficients, $α_p^{\text{E}}$, and excess refractive indices, $n_{\text{D}}^{\text{E}}$. This set of data shows the existence of interactions between unlike molecules and of structural effects in the mixtures under study. $V_{\text{m}}^{\text{E}}$ values of solutions including linear secondary amines are lower than those of mixtures with linear primary amines. In fact, the contribution to $V_{\text{m}}^{\text{E}}$ from the breaking of amine-amine interactions is larger for the latter systems. Calculations on Rao's constant point out that there is no complex formation between the mixture components. Dispersive interactions have been analyzed by means of the molar refraction. It is shown that solutions with DPA or HxA are characterized by similar dispersive interactions and that they mainly differ in dipolar interactions.
△ Less
Submitted 28 August, 2024;
originally announced September 2024.
-
Orientational and steric effects in linear alkanoates + N-Alkane mixtures
Authors:
Juan Antonio González,
Fernando Hevia,
Luis Felipe Sanz,
Daniel Lozano-Martín,
Isaías García de la Fuente,
José Carlos Cobos
Abstract:
The CH$_3$(CH$_2$)$_u$COO(CH$_3$)$_v$CH$_3$ + n-alkane mixtures have been investigated on the basis of an experimental database containing effective dipole moments of esters, and excess molar functions of the systems: enthalpies ($H_{\text{m}}^{\text{E}}$), volumes ($V_{\text{m}}^{\text{E}}$), isobaric heat capacities ($C_{p\text{m}}^{\text{E}}$) and isochoric internal energies (…
▽ More
The CH$_3$(CH$_2$)$_u$COO(CH$_3$)$_v$CH$_3$ + n-alkane mixtures have been investigated on the basis of an experimental database containing effective dipole moments of esters, and excess molar functions of the systems: enthalpies ($H_{\text{m}}^{\text{E}}$), volumes ($V_{\text{m}}^{\text{E}}$), isobaric heat capacities ($C_{p\text{m}}^{\text{E}}$) and isochoric internal energies ($U_{V\text{m}}^{\text{E}}$) and by means of the application of the Flory model and the Kirkwood-Buff formalism. The situation of the mixtures within the $G_{\text{m}}^{\text{E}}$ (excess molar Gibbs energy) vs. $H_{\text{m}}^{\text{E}}$ diagram has also been briefly considered. Results indicate that dispersive interactions are dominant and that steric effects can explain some differences between solutions containing heptane and isomeric esters. Proximity and orientational effects are also discussed in diester + hexane mixtures. In the case of systems with a given alkane and different isomeric polar compounds, orientational effects become weaker in the order: n-alkanone > dialkyl carbonate > n-alkanoate. Results from the Kirkwood-Buff formalism indicate that the number of ester-ester interactions decreases in systems with alkyl ethanoates when the alkyl size increases and that preferential solvation between polar molecules decreases as follows: dialkyl carbonate > n-alkanone > n-alkanoate.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
Viscosities of iodobenzene + n-alkane mixtures at (288.15-308.15) K. Measurements and results from models
Authors:
Luis Felipe Sanz,
Juan Antonio González,
Fernando Hevia,
Daniel Lozano-Martín,
Isaías García de la Fuente,
José Carlos Cobos
Abstract:
Kinematic viscosities were measured for iodobenzene + n-alkane mixtures at (288.15-308.15) K and atmospheric pressure. Using our previous density data, dynamic viscosities ($η$), deviations in absolute viscosity ($Δη$) and quantities of viscous flow were determined. The McAllister, Grunberg-Nissan and Fang-He correlation equations and Bloomfield-Dewan's model (with residual Gibbs energies calculat…
▽ More
Kinematic viscosities were measured for iodobenzene + n-alkane mixtures at (288.15-308.15) K and atmospheric pressure. Using our previous density data, dynamic viscosities ($η$), deviations in absolute viscosity ($Δη$) and quantities of viscous flow were determined. The McAllister, Grunberg-Nissan and Fang-He correlation equations and Bloomfield-Dewan's model (with residual Gibbs energies calculated using DISQUAC with interaction parameters available in the literature) were applied to iodobenzene, or 1-chloronaphthalene, or 1,2,4-trichlorobenzene, or methyl benzoate or benzene or cyclohexane + n-alkane systems. The dependence of $U_{\text{m,}V}^{\text{E}}$ (isochoric molar excess internal energy) and $Δη$ with $n$ (the number of C atoms of the n-alkane) shows that the fluidization loss of mixtures containing iodobenzene, 1,2,4-trichlorobenzene, or 1-chloronaphthalene when $n$ increases is due to a decrease upon mixing of the number of broken interactions between like molecules. The breaking of correlations of molecular orientations characteristic of longer n-alkanes may explain the decreased negative $Δη$ values of benzene mixtures with $n$ =14,16. The replacement, in this type of systems of benzene by cyclohexane leads to increased positive $Δη$ values, probably due to the different shape of cyclohexane. On the other hand, binary mixtures formed by one of the aromatic polar compounds mentioned above and a short n-alkane show large structural effects and large negative $Δη$ values. From the application of the models, it seems that dispersive interactions are dominant and that size effects are not relevant on $η$ values. The free volume model provides good results for most of the systems considered. Results improve when, within Bloomfield-Dewan's theory, the contribution to $η$ of the absolute reaction rate model is also considered.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Density and speed of sound of (iodobenzene + n-alkane) liquid mixtures at $T$ = (288.15 to 308.15) K. Application of the Prigogine-Flory-Patterson model
Authors:
Fernando Hevia,
Daniel Lozano-Martín,
Juan Antonio González,
Luis Felipe Sanz,
Isaías García de la Fuente,
José Carlos Cobos
Abstract:
(Iodobenzene + n-alkane) liquid mixtures have been studied experimentally, in terms of densities and speeds of sound at a pressure $p$ = 0.1 MPa and in the temperature range $T$ = (288.15 to 308.15) K, and theoretically, by the application of the Prigogine-Flory-Patterson (PFP) model. The n-alkanes considered are n-heptane, n-decane, n-dodecane, and n-tetradecane. Excess molar volumes (…
▽ More
(Iodobenzene + n-alkane) liquid mixtures have been studied experimentally, in terms of densities and speeds of sound at a pressure $p$ = 0.1 MPa and in the temperature range $T$ = (288.15 to 308.15) K, and theoretically, by the application of the Prigogine-Flory-Patterson (PFP) model. The n-alkanes considered are n-heptane, n-decane, n-dodecane, and n-tetradecane. Excess molar volumes ($V_{\text{m}}^{\text{E}}$) and excess isentropic compressibilities ($κ_S^{\text{E}}$) have been calculated and correlated by Redlich-Kister polynomials. ${(\partial{V_{\text{m}}^{\text{E}}}/\partial T)}_p$ curves at the same (p,T) conditions have been obtained from correlated $V_{\text{m}}^{\text{E}}$ values. From these experimental results and the knowledge of the excess molar enthalpies and volumes of mixtures containing fluorobenzene, chlorobenzene or bromobenzene with n-alkanes, we have inferred: (i) the presence of structural effects, especially important for the n-heptane mixture and less relevant for volumetric properties as the length of the n-alkane increases; and (ii) that the interactional effects on $V_{\text{m}}^{\text{E}}$ do not vary appreciably with the length of the n-alkane, so the observed $V_{\text{m}}^{\text{E}}$ variation is fundamentally determined by the corresponding variation of the contribution from structural effects. The application of the PFP model supports this interpretation, providing free volume contributions to $V_{\text{m}}^{\text{E}}$ that vary parallelly to $V_{\text{m}}^{\text{E}}$ with the length of the n-alkane, and interactional contributions that rest approximately constant independently of the n-alkane size.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Thermodynamics of 2-alkanol + polar organic solvent mixtures. I. Systems with ketones, ethers or organic carbonates
Authors:
Juan Antonio González,
Fernando Hevia,
Luis Felipe Sanz,
Daniel Lozano-Martín,
Isaías García de la Fuente
Abstract:
The mixtures 2-propanol or 2-butanol + n-alkanone, or + acetophenone or + linear monoether, or + cyclic ether, or + linear organic carbonate, or + propylene carbonate have been investigated using thermodynamic data, and in terms of the Flory theory, and the Kirkwood-Buff integrals. The data considered are: excess molar enthalpies ($H_{\text{m}}^{\text{E}}$), volumes, entropies, and the temperature…
▽ More
The mixtures 2-propanol or 2-butanol + n-alkanone, or + acetophenone or + linear monoether, or + cyclic ether, or + linear organic carbonate, or + propylene carbonate have been investigated using thermodynamic data, and in terms of the Flory theory, and the Kirkwood-Buff integrals. The data considered are: excess molar enthalpies ($H_{\text{m}}^{\text{E}}$), volumes, entropies, and the temperature dependence of $H_{\text{m}}^{\text{E}}$. The enthalpy of the 2-alkanol-solvent interactions have been determined, and the different contributions to $H_{\text{m}}^{\text{E}}$ are discussed. It is shown that $H_{\text{m}}^{\text{E}}$ values of the 2-alkanol (fixed) + n-alkanone, or + linear carbonate mixtures change in the same manner that for n-alkanone, or linear carbonate + n-alkane (fixed) systems. In contrast, $H_{\text{m}}^{\text{E}}$ values of 2-alkanol (fixed) + linear monoether or + n-alkane mixtures change similarly. This set of results suggests that solvent-solvent interactions are determinant in systems with n-alkanone or linear carbonate, while interactions between alcohol molecules are determinant in mixtures with linear monoethers. According to the Flory model, orientational effects in systems with a given 2-alkanol become weaker in the sequence: linear monoether > linear organic carbonate > n-alkanone, and are stronger in solutions with a cyclic monoether than in those with cyclic diethers, and in systems with acetophenone or propylene carbonate than in the mixtures with the corresponding linear solvents. Results obtained from the Kirkwood-Buff integrals are consistent with these findings. The application of Flory model reveals that orientational effects are similar in systems with 1- or 2-alkanols, with the exception of solutions with linear monoethers, where such effects are stronger in mixtures containing 1-alkanols.
△ Less
Submitted 9 September, 2024;
originally announced September 2024.
-
Spectroscopic confirmation of the galaxy clusters CARLA J0950+2743 at z=2.363, and CARLA-Ser J0950+2743 at z=2.243
Authors:
Kirill A. Grishin,
Simona Mei,
Igor V. Chilingarian,
Marika Lepore,
Paolo Tozzi,
Anthony Gonzalez,
Nina Hatch,
Spencer A. Stanford,
Dominika Wylezalek
Abstract:
Galaxy clusters, being the largest gravitationally bound structures in the Universe, are a powerful tool to study mass assembly at different epochs. At z$>$2 they give an unique opportunity to put solid constraints not only on dark matter halo growth, but also on the mechanisms of galaxy quenching and morphological transformation when the Universe was younger than 3.3 Gyr. However, the currently a…
▽ More
Galaxy clusters, being the largest gravitationally bound structures in the Universe, are a powerful tool to study mass assembly at different epochs. At z$>$2 they give an unique opportunity to put solid constraints not only on dark matter halo growth, but also on the mechanisms of galaxy quenching and morphological transformation when the Universe was younger than 3.3 Gyr. However, the currently available sample of confirmed $z>2$ clusters remains very limited. We present the spectroscopic confirmation of the galaxy cluster CARLA J0950+2743 at $z=2.363\pm0.005$ and a new serendipitously discovered cluster, CARLA-Ser J0950+2743 at $z=2.243\pm0.008$ in the same region. We confirm eight star-forming galaxies in the first cluster, and five in the second by detecting [OII], [OIII] and $Hα$ emission lines. The analysis of a serendipitous X-ray observation of this field from Chandra reveals a counterpart with a total luminosity of $L_{0.5-5 keV} = 2.9\pm0.6\times10^{45}$ erg s$^{-1}$. Given the limited depth of the X-ray observations, we cannot distinguish the 1-D profile of the source from a PSF model, however, our statistical analysis of the 2-D profile favors an extended component that could be associated to a thermal contribution from the intra-cluster medium (ICM). If the extended X-ray emission is due to the hot ICM, the total dark matter mass for the two clusters would be $M_{200}=3.30 ^{+0.23}_{-0.26 (\mathrm{stat})}$ $^{+1.28}_{-0.96 (\mathrm{sys})} \times10^{14} M_{\odot}$. This makes our two clusters interesting targets for studies of the structure growth in the cosmological context. However, future investigations would require deeper high-resolution X-ray and spectroscopic observations.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Three-dimensional geometric resolution of the inverse kinematics of a 7 degree of freedom articulated arm
Authors:
Antonio Losada González
Abstract:
This work presents a three-dimensional geometric resolution method to calculate the complete inverse kinematics of a 7-degree-of-freedom articulated arm, including the hand itself. The method is classified as an analytical method with geometric solution, since it obtains a precise solution in a closed number of steps, converting the inverse kinematic problem into a three-dimensional geometric mode…
▽ More
This work presents a three-dimensional geometric resolution method to calculate the complete inverse kinematics of a 7-degree-of-freedom articulated arm, including the hand itself. The method is classified as an analytical method with geometric solution, since it obtains a precise solution in a closed number of steps, converting the inverse kinematic problem into a three-dimensional geometric model. To simplify the problem, the kinematic decoupling method is used, so that the position of the wrist is calculated independently on one hand with information on the orientation of the hand, and the angles of the rest of the arm are calculated from the wrist.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
High Precision Positioning System
Authors:
Antonio Losada González
Abstract:
SAPPO is a high-precision, low-cost and highly scalable indoor localization system. The system is designed using modified HC-SR04 ultrasound transducers as a base to be used as distance meters between beacons and mobile robots. Additionally, it has a very unusual arrangement of its elements, such that the beacons and the array of transmitters of the mobile robot are located in very close planes, i…
▽ More
SAPPO is a high-precision, low-cost and highly scalable indoor localization system. The system is designed using modified HC-SR04 ultrasound transducers as a base to be used as distance meters between beacons and mobile robots. Additionally, it has a very unusual arrangement of its elements, such that the beacons and the array of transmitters of the mobile robot are located in very close planes, in a horizontal emission arrangement, parallel to the ground, achieving a range per transducer of almost 12 meters. SAPPO represents a significant leap forward in ultrasound localization systems, in terms of reducing the density of beacons while maintaining average precision in the millimeter range.
△ Less
Submitted 3 September, 2024;
originally announced September 2024.
-
Space module with gyroscope and accelerometer integration
Authors:
Antonio Losada González
Abstract:
MEIGA is a module specially designed for people with tetraplegia or anyone who has very limited movement capacity in their upper limbs. MEIGA converts the user's head movements into mouse movements. To simulate keystrokes, it uses blinking, reading the movement of the cheek that occurs with it. The performance, speed of movement of the mouse and its precision are practically equivalent to their re…
▽ More
MEIGA is a module specially designed for people with tetraplegia or anyone who has very limited movement capacity in their upper limbs. MEIGA converts the user's head movements into mouse movements. To simulate keystrokes, it uses blinking, reading the movement of the cheek that occurs with it. The performance, speed of movement of the mouse and its precision are practically equivalent to their respective measurements using the hand.
△ Less
Submitted 2 September, 2024;
originally announced September 2024.
-
XULIA -- Comprehensive control system for Windows$^{tm}$ devices designed for people with tetraplegia
Authors:
Antonio Losada Gonzalez
Abstract:
XULIA is a comprehensive control system for Windows computers designed specifically to be used by quadriplegic people or people who do not have the ability to move their upper limbs accurately. XULIA allows you to manage all the functions necessary to control all Windows functions using only your voice. As a voice-to-text transcription system, it uses completely free modules combining the Windows…
▽ More
XULIA is a comprehensive control system for Windows computers designed specifically to be used by quadriplegic people or people who do not have the ability to move their upper limbs accurately. XULIA allows you to manage all the functions necessary to control all Windows functions using only your voice. As a voice-to-text transcription system, it uses completely free modules combining the Windows SAPI voice recognition libraries for command recognition with Google's cloud-based voice recognition systems indirectly through a Google Chrome browser, which allows you to use Google's paid voice-to-text transcription services completely free of charge. XULIA manages multiple grammars simultaneously with automatic activation to ensure that the set of commands to be recognized is reduced to a minimum at all times, which allows false positives in command recognition to be reduced to a minimum.
△ Less
Submitted 30 August, 2024;
originally announced August 2024.
-
Bipedal locomotion using geometric techniques
Authors:
Antonio Losada Gonzalez,
Manuel Perez Cota
Abstract:
This article describes a bipedal walking algorithm with inverse kinematics resolution based solely on geometric methods, so that all mathematical concepts are explained from the base, in order to clarify the reason for this solution. To do so, it has been necessary to simplify the problem and carry out didactic work to distribute content. In general, the articles related to this topic use matrix s…
▽ More
This article describes a bipedal walking algorithm with inverse kinematics resolution based solely on geometric methods, so that all mathematical concepts are explained from the base, in order to clarify the reason for this solution. To do so, it has been necessary to simplify the problem and carry out didactic work to distribute content. In general, the articles related to this topic use matrix systems to solve both direct and inverse kinematics, using complex techniques such as decoupling or the Jacobian calculation. By simplifying the walking process, its resolution has been proposed in a simple way using only geometric techniques.
△ Less
Submitted 29 August, 2024;
originally announced August 2024.
-
Thermodynamics of amide + ketone mixtures. 1. Volumetric, speed of sound and refractive index data for N,N-dimethylformamide + 2-alkanone systems at several temperatures
Authors:
Ana Cobos,
Fernando Hevia,
Juan Antonio González,
Isaías García de la Fuente,
Cristina Alonso Tristán
Abstract:
Densities, $ρ$, speeds of sound, $c$, and refractive indices, $n_{\text{D}}$, have been measured for the systems N,N-dimethylformamide (DMF) + propanone, + 2-butanone, or + 2-pentanone in the temperature ($T$) range from 293.15 to 303.15 K and at 298.15 K for the DMF + 2-heptanone mixture. Due to the high volatility of acetone, the corresponding $n_{\text{D}}$ measurements were developed at 293.15…
▽ More
Densities, $ρ$, speeds of sound, $c$, and refractive indices, $n_{\text{D}}$, have been measured for the systems N,N-dimethylformamide (DMF) + propanone, + 2-butanone, or + 2-pentanone in the temperature ($T$) range from 293.15 to 303.15 K and at 298.15 K for the DMF + 2-heptanone mixture. Due to the high volatility of acetone, the corresponding $n_{\text{D}}$ measurements were developed at 293.15 K and 298.15 K. The direct experimental data were used to determine the excess molar volumes, $V_{\text{m}}^{\text{E}}$, and the excess refractive indices, $n_{\text{D}}^{\text{E}}$, at the working $T$. Values of the excess functions at 298.15 K, for the speed of sound, $c^{\text{E}}$, the isentropic compressibility, $κ_S^{\text{E}}$ and for the excess thermal expansion coefficient, $α_p^{\text{E}}$, were also calculated. The investigated systems are characterized by strong amide-ketone interactions, which become weaker when the alkanone size is increased. This is supported by negative $V_{\text{m}}^{\text{E}}$ values; by the dependence on $T$ and pressure of $V_{\text{m}}^{\text{E}}$, and by positive $P_{\text{int}}^{\text{E}}$ (excess internal pressure) values. Analysis of the systems in terms of the Rao's constant indicates that there is no complex formation. In addition, negative $V_{\text{m}}^{\text{E}}$ values also reveal the existence of structural effects, which largely contribute to the excess molar enthalpy, $H_{\text{m}}^{\text{E}}$. $V_{\text{m}}^{\text{E}}$ and $H_{\text{m}}^{\text{E}}$ values increase with the chain length of the 2-alkanone. It allows to conclude that the relative $V_{\text{m}}^{\text{E}}$ variation with the ketone size is closely related to that of the interactional contribution to this excess function. Molar refraction values, $R_{\text{m}}$, show that dispersive interactions become more relevant for the systems including longer 2-alkanones.
△ Less
Submitted 28 August, 2024;
originally announced August 2024.
-
Thermodynamics of mixtures containing a very strongly polar compound. 11. 1-Alkanol + alkanenitrile systems
Authors:
Juan Antonio González,
Fernando Hevia,
Ana Cobos,
Isaías García de la Fuente,
Cristina Alonso Tristán
Abstract:
1-Alkanol + alkanenitrile systems have been studied by means of the DISQUAC, ERAS and UNIFAC (Dortmund) models. DISQUAC and ERAS parameters for the alkanol/nitrile interactions are reported. DISQUAC describes a whole set of thermodynamic properties: phase equilibria, vapour-liquid (VLE), liquid-liquid (LLE) and solid-liquid (SLE) equilibria, molar excess functions, Gibbs energies,…
▽ More
1-Alkanol + alkanenitrile systems have been studied by means of the DISQUAC, ERAS and UNIFAC (Dortmund) models. DISQUAC and ERAS parameters for the alkanol/nitrile interactions are reported. DISQUAC describes a whole set of thermodynamic properties: phase equilibria, vapour-liquid (VLE), liquid-liquid (LLE) and solid-liquid (SLE) equilibria, molar excess functions, Gibbs energies, $G_{\text{m}}^{\text{E}}$, and enthalpies, $H_{\text{m}}^{\text{E}}$, and partial excess molar enthalpies at infinite dilution, $H_{\text{mi}}^{\text{E,}\infty }$ using the same set of interaction parameters for each solution. The dependence on the molecular structure of the interaction parameters is similar to that observed in other previous applications to mixtures formed by 1-alkanols and a strongly polar compound, in such way that the quasichemical interchange coefficients can be kept constant from 1-propanol. However, methanol and ethanol solutions behave differently. From the analysis of experimental data for $H_{\text{m}}^{\text{E}}$, $TS_{\text{m}}^{\text{E}}(=H_{\text{m}}^{\text{E}}-G_{\text{m}}^{\text{E}})$, and molar excess volumes, $V_{\text{m}}^{\text{E}}$, it is concluded that the studied systems are characterized by dipolar interactions and strong structural effects. The former are more relevant in acetonitrile solutions. Association effects are more important in butanenitrile mixtures. DISQUAC improves $H_{\text{m}}^{\text{E}}$ results from the ERAS model. ERAS results on $H_{\text{m}}^{\text{E}}$ for systems containing acetonitrile are also improved by UNIFAC. This remarks the importance of dipolar interactions in the investigated mixtures. ERAS describes the variation of $V_{\text{m}}^{\text{E}}$(${{x}_{1}}$=0.5) with the 1-alkanol size for mixtures with a given nitrile, but the concentration dependence of this excess function is poorly represented.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Latent Anomaly Detection Through Density Matrices
Authors:
Joseph Gallego-Mejia,
Oscar Bustos-Brinez,
Fabio A. González
Abstract:
This paper introduces a novel anomaly detection framework that combines the robust statistical principles of density-estimation-based anomaly detection methods with the representation-learning capabilities of deep learning models. The method originated from this framework is presented in two different versions: a shallow approach employing a density-estimation model based on adaptive Fourier featu…
▽ More
This paper introduces a novel anomaly detection framework that combines the robust statistical principles of density-estimation-based anomaly detection methods with the representation-learning capabilities of deep learning models. The method originated from this framework is presented in two different versions: a shallow approach employing a density-estimation model based on adaptive Fourier features and density matrices, and a deep approach that integrates an autoencoder to learn a low-dimensional representation of the data. By estimating the density of new samples, both methods are able to find normality scores. The methods can be seamlessly integrated into an end-to-end architecture and optimized using gradient-based optimization techniques. To evaluate their performance, extensive experiments were conducted on various benchmark datasets. The results demonstrate that both versions of the method can achieve comparable or superior performance when compared to other state-of-the-art methods. Notably, the shallow approach performs better on datasets with fewer dimensions, while the autoencoder-based approach shows improved performance on datasets with higher dimensions.
△ Less
Submitted 14 August, 2024;
originally announced August 2024.
-
Algorithms for Markov Binomial Chains
Authors:
Alejandro Alarcón Gonzalez,
Niel Hens,
Tim Leys,
Guillermo A. Pérez
Abstract:
We study algorithms to analyze a particular class of Markov population processes that is often used in epidemiology. More specifically, Markov binomial chains are the model that arises from stochastic time-discretizations of classical compartmental models. In this work we formalize this class of Markov population processes and focus on the problem of computing the expected time to termination in a…
▽ More
We study algorithms to analyze a particular class of Markov population processes that is often used in epidemiology. More specifically, Markov binomial chains are the model that arises from stochastic time-discretizations of classical compartmental models. In this work we formalize this class of Markov population processes and focus on the problem of computing the expected time to termination in a given such model. Our theoretical contributions include proving that Markov binomial chains whose flow of individuals through compartments is acyclic almost surely terminate. We give a PSPACE algorithm for the problem of approximating the time to termination and a direct algorithm for the exact problem in the Blum-Shub-Smale model of computation. Finally, we provide a natural encoding of Markov binomial chains into a common input language for probabilistic model checkers. We implemented the latter encoding and present some initial empirical results showcasing what formal methods can do for practicing epidemilogists.
△ Less
Submitted 9 August, 2024;
originally announced August 2024.
-
Euclid preparation. Exploring the properties of proto-clusters in the Simulated Euclid Wide Survey
Authors:
Euclid Collaboration,
H. Böhringer,
G. Chon,
O. Cucciati,
H. Dannerbauer,
M. Bolzonella,
G. De Lucia,
A. Cappi,
L. Moscardini,
C. Giocoli,
G. Castignani,
N. A. Hatch,
S. Andreon,
E. Bañados,
S. Ettori,
F. Fontanot,
H. Gully,
M. Hirschmann,
M. Maturi,
S. Mei,
L. Pozzetti,
T. Schlenker,
M. Spinelli,
N. Aghanim,
B. Altieri
, et al. (241 additional authors not shown)
Abstract:
Galaxy proto-clusters are receiving an increased interest since most of the processes shaping the structure of clusters of galaxies and their galaxy population are happening at early stages of their formation. The Euclid Survey will provide a unique opportunity to discover a large number of proto-clusters over a large fraction of the sky (14 500 square degrees). In this paper, we explore the expec…
▽ More
Galaxy proto-clusters are receiving an increased interest since most of the processes shaping the structure of clusters of galaxies and their galaxy population are happening at early stages of their formation. The Euclid Survey will provide a unique opportunity to discover a large number of proto-clusters over a large fraction of the sky (14 500 square degrees). In this paper, we explore the expected observational properties of proto-clusters in the Euclid Wide Survey by means of theoretical models and simulations. We provide an overview of the predicted proto-cluster extent, galaxy density profiles, mass-richness relations, abundance, and sky-filling as a function of redshift. Useful analytical approximations for the functions of these properties are provided. The focus is on the redshift range z= 1.5 to 4. We discuss in particular the density contrast with which proto-clusters can be observed against the background in the galaxy distribution if photometric galaxy redshifts are used as supplied by the ESA Euclid mission together with the ground-based photometric surveys. We show that the obtainable detection significance is sufficient to find large numbers of interesting proto-cluster candidates. For quantitative studies, additional spectroscopic follow-up is required to confirm the proto-clusters and establish their richness.
△ Less
Submitted 29 July, 2024;
originally announced July 2024.
-
ANDES, the high resolution spectrograph for the ELT: science goals, project overview and future developments
Authors:
A. Marconi,
M. Abreu,
V. Adibekyan,
V. Alberti,
S. Albrecht,
J. Alcaniz,
M. Aliverti,
C. Allende Prieto,
J. D. Alvarado Gómez,
C. S. Alves,
P. J. Amado,
M. Amate,
M. I. Andersen,
S. Antoniucci,
E. Artigau,
C. Bailet,
C. Baker,
V. Baldini,
A. Balestra,
S. A. Barnes,
F. Baron,
S. C. C. Barros,
S. M. Bauer,
M. Beaulieu,
O. Bellido-Tirado
, et al. (264 additional authors not shown)
Abstract:
The first generation of ELT instruments includes an optical-infrared high-resolution spectrograph, indicated as ELT-HIRES and recently christened ANDES (ArmazoNes high Dispersion Echelle Spectrograph). ANDES consists of three fibre-fed spectrographs ([U]BV, RIZ, YJH) providing a spectral resolution of $\sim$100,000 with a minimum simultaneous wavelength coverage of 0.4-1.8 $μ$m with the goal of ex…
▽ More
The first generation of ELT instruments includes an optical-infrared high-resolution spectrograph, indicated as ELT-HIRES and recently christened ANDES (ArmazoNes high Dispersion Echelle Spectrograph). ANDES consists of three fibre-fed spectrographs ([U]BV, RIZ, YJH) providing a spectral resolution of $\sim$100,000 with a minimum simultaneous wavelength coverage of 0.4-1.8 $μ$m with the goal of extending it to 0.35-2.4 $μ$m with the addition of a U arm to the BV spectrograph and a separate K band spectrograph. It operates both in seeing- and diffraction-limited conditions and the fibre feeding allows several, interchangeable observing modes including a single conjugated adaptive optics module and a small diffraction-limited integral field unit in the NIR. Modularity and fibre-feeding allow ANDES to be placed partly on the ELT Nasmyth platform and partly in the Coudé room. ANDES has a wide range of groundbreaking science cases spanning nearly all areas of research in astrophysics and even fundamental physics. Among the top science cases, there are the detection of biosignatures from exoplanet atmospheres, finding the fingerprints of the first generation of stars, tests on the stability of Nature's fundamental couplings, and the direct detection of the cosmic acceleration. The ANDES project is carried forward by a large international consortium, composed of 35 Institutes from 13 countries, forming a team of almost 300 scientists and engineers which include the majority of the scientific and technical expertise in the field that can be found in ESO member states.
△ Less
Submitted 19 July, 2024;
originally announced July 2024.
-
Asymptotic structure of scalar-Maxwell theory at the null boundary
Authors:
Hernán A. González,
Oriana Labrin,
Olivera Miskovic
Abstract:
We apply the Hamiltonian formalism to investigate the massless sector of scalar field theory coupled with Maxwell electrodynamics through the Pontryagin term. Specifically, we analyze asymptotic symmetries at the null infinity of this theory, conserved charges, and their algebra. We find that the theory possesses asymptotic shift symmetries of the fields not present in the bulk manifold coming fro…
▽ More
We apply the Hamiltonian formalism to investigate the massless sector of scalar field theory coupled with Maxwell electrodynamics through the Pontryagin term. Specifically, we analyze asymptotic symmetries at the null infinity of this theory, conserved charges, and their algebra. We find that the theory possesses asymptotic shift symmetries of the fields not present in the bulk manifold coming from the zero modes of the symplectic matrix of constraints. Consequently, we conclude that the real scalar field also contains asymptotic symmetries previously found in the literature by a different approach. We show that these symmetries are the origin of the electric-magnetic duality in electromagnetism with the topological Pontryagin term, and obtain non-trivial central extension between the electric and magnetic conserved charges. Finally, we examine the full interacting theory and find that, due to the interaction, the symmetry generators are more difficult to identify among the constraints, such that we obtain them in the weak-coupling limit. We find that the asymptotic structure of the theory simplifies due to a fast fall-off of the scalar field, leading to decoupled scalar and Maxwell asymptotic sectors, and losing the electric-magnetic duality.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
Nonlinear Scalarization of Schwarzschild Black Hole in Scalar-Torsion Teleparallel Gravity
Authors:
P. A. González,
Eleftherios Papantonopoulos,
Joaquín Robledo,
Yerko Vásquez
Abstract:
We consider a scalar field coupled to the torsion in Teleparallel Gravity with a coupling function that does not allow for a tachyonic instability to occur, and it leads to the formation of new black holes with scalar hair. The scalarized black hole solutions are asymptotically flat, and they are studied under their thermodynamics, and we show that they are meta-stable solutions without phase tran…
▽ More
We consider a scalar field coupled to the torsion in Teleparallel Gravity with a coupling function that does not allow for a tachyonic instability to occur, and it leads to the formation of new black holes with scalar hair. The scalarized black hole solutions are asymptotically flat, and they are studied under their thermodynamics, and we show that they are meta-stable solutions without phase transitions of first and second order. Also, we demonstrate the existence of distinct branches of solutions classified by the number of nodes of the scalar field. For the branches analysed, the scalarized solutions have lower free energy than the Schwarzschild black hole; therefore, they are always thermodinamically preferred. Also, we show that the scalarized black holes are entropically favoured compared to the Schwarzschild solution.
△ Less
Submitted 31 July, 2024; v1 submitted 18 July, 2024;
originally announced July 2024.
-
Stability and decay of composite kinks/$Q$-balls solutions in a deformed $O(2N+1)$ linear sigma model
Authors:
A. Alonso-Izquierdo,
D. Canillas Martinez,
C. Garzon Sanchez,
M. A. Gonzalez Leon,
A. Wereszczynski
Abstract:
The defect-type solutions of a deformed $O(2N+1)$ linear sigma model with a real and $N$ complex fields in $(1+1)$-dimensional Minkowski spacetime are studied. All the solutions are analytically found for the $N=2$ case. Two types of solitons have been determined: (a) Simple solutions formed by a topological kink with or without the presence of a $Q$-ball. (b) Composite solutions. They are constit…
▽ More
The defect-type solutions of a deformed $O(2N+1)$ linear sigma model with a real and $N$ complex fields in $(1+1)$-dimensional Minkowski spacetime are studied. All the solutions are analytically found for the $N=2$ case. Two types of solitons have been determined: (a) Simple solutions formed by a topological kink with or without the presence of a $Q$-ball. (b) Composite solutions. They are constituted by some one-parameter families of solutions which can be understood as a non-linear combination of simple solutions. The properties of all of those solutions and the analysis of their linear stability, as well as decay channels, are discussed.
△ Less
Submitted 18 July, 2024;
originally announced July 2024.
-
A graph theoretic model for the derived categories of gentle algebras and their homological bilinear forms
Authors:
Jesús Arturo Jiménez González,
Andrzej Mróz
Abstract:
We formulate a simple model for the bounded derived category of gentle algebras in terms of marked ribbon graphs and their walks, in order to analyze indecomposable objects, Auslander-Reiten triangles and homological bilinear forms, and to provide some relevant derived invariants in a graph theoretic setting. Among others, we exhibit the non-negativity and Dynkin type of the homological quadratic…
▽ More
We formulate a simple model for the bounded derived category of gentle algebras in terms of marked ribbon graphs and their walks, in order to analyze indecomposable objects, Auslander-Reiten triangles and homological bilinear forms, and to provide some relevant derived invariants in a graph theoretic setting. Among others, we exhibit the non-negativity and Dynkin type of the homological quadratic form of a gentle algebra, describe its roots as the classes of indecomposable perfect complexes in the Grothendieck group, and express its Coxeter polynomial in terms of the Avella-Alaminos Geiss invariant. We also derive some consequences for Brauer graph algebras.
△ Less
Submitted 5 July, 2024;
originally announced July 2024.
-
An elementary approach based on variational inequalities for modelling a friction-based locomotion problem
Authors:
Panyu Chen,
Alvaro Mateos Gonzalez,
Laurent Mertz
Abstract:
We propose an elementary proof based on a penalization technique to show the existence and uniqueness of the solution to a system of variational inequalities modelling the friction-based motion of a two-body crawling system. Here for each body, the static and dynamic friction coefficients are equal.
We propose an elementary proof based on a penalization technique to show the existence and uniqueness of the solution to a system of variational inequalities modelling the friction-based motion of a two-body crawling system. Here for each body, the static and dynamic friction coefficients are equal.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
Control Flow Management in Modern GPUs
Authors:
Mojtaba Abaie Shoushtary,
Jordi Tubella Murgadas,
Antonio Gonzalez
Abstract:
In GPUs, the control flow management mechanism determines which threads in a warp are active at any point in time. This mechanism monitors the control flow of scalar threads within a warp to optimize thread scheduling and plays a critical role in the utilization of execution resources. The control flow management mechanism can be controlled or assisted by software through instructions. However, GP…
▽ More
In GPUs, the control flow management mechanism determines which threads in a warp are active at any point in time. This mechanism monitors the control flow of scalar threads within a warp to optimize thread scheduling and plays a critical role in the utilization of execution resources. The control flow management mechanism can be controlled or assisted by software through instructions. However, GPU vendors do not disclose details about their compiler, ISA, or hardware implementations. This lack of transparency makes it challenging for researchers to understand how the control flow management mechanism functions, is implemented, or is assisted by software, which is crucial when it significantly affects their research. It is also problematic for performance modeling of GPUs, as one can only rely on traces from real hardware for control flow and cannot model or modify the functionality of the mechanism altering it.
This paper addresses this issue by defining a plausible semantic for control flow instructions in the Turing native ISA based on insights gleaned from experimental data using various benchmarks. Based on these definitions, we propose a low-cost mechanism for efficient control flow management named Hanoi. Hanoi ensures correctness and generates a control flow that is very close to real hardware. Our evaluation shows that the discrepancy between the control flow trace of real hardware and our mechanism is only 1.03% on average. Furthermore, when comparing the Instructions Per Cycle (IPC) of GPUs employing Hanoi with the native control flow management of actual hardware, the average difference is just 0.19%.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
CIS: Composable Instruction Set for Streaming Applications: Design, Modeling, and Scheduling
Authors:
Yu Yang,
Jordi Altayó González,
Ahmed Hemani
Abstract:
The efficiency improvement of hardware accelerators such as single-instruction-multiple-data (SIMD) and coarse-grained reconfigurable architecture (CGRA) empowers the rapid advancement of AI and machine learning applications. These streaming applications consist of numerous vector operations that can be naturally parallelized. Despite the outstanding achievements of today's hardware accelerators,…
▽ More
The efficiency improvement of hardware accelerators such as single-instruction-multiple-data (SIMD) and coarse-grained reconfigurable architecture (CGRA) empowers the rapid advancement of AI and machine learning applications. These streaming applications consist of numerous vector operations that can be naturally parallelized. Despite the outstanding achievements of today's hardware accelerators, their potential is limited by their instruction set design. Traditional instruction sets, designed for microprocessors and accelerators, focus on computation and pay little attention to instruction composability and instruction-level cooperation. It leads to a rigid instruction set that is difficult to extend and significant control overhead in hardware. This paper presents an instruction set that is composable in both spatial and temporal sense and suitable for streaming applications. The proposed instruction set contains significantly fewer instruction types but can still efficiently implement complex multi-level loop structures, which is essential for accelerating streaming applications. It is also a resource-centric instruction set that can be conveniently extended by adding new hardware resources, thus creating a custom heterogeneous computation machine. Besides presenting the composable instruction set, we propose a simple yet efficient instruction scheduling algorithm. We analyzed the scalability of the scheduling algorithm and compared the efficiency of our compiled programs against RISC-V programs. The results indicate that our scheduling algorithm scales linearly, and our instruction set leads to near-optimal execution latency. The mapped applications on CIS are nearly 10 times faster than the RISC-V version.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
The VISTA Variables in the Vía Láctea eXtended (VVVX) ESO public survey: Completion of the observations and legacy
Authors:
R. K. Saito,
M. Hempel,
J. Alonso-García,
P. W. Lucas,
D. Minniti,
S. Alonso,
L. Baravalle,
J. Borissova,
C. Caceres,
A. N. Chené,
N. J. G. Cross,
F. Duplancic,
E. R. Garro,
M. Gómez,
V. D. Ivanov,
R. Kurtev,
A. Luna,
D. Majaess,
M. G. Navarro,
J. B. Pullen,
M. Rejkuba,
J. L. Sanders,
L. C. Smith,
P. H. C. Albino,
M. V. Alonso
, et al. (121 additional authors not shown)
Abstract:
The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in…
▽ More
The ESO public survey VISTA Variables in the Vía Láctea (VVV) surveyed the inner Galactic bulge and the adjacent southern Galactic disk from $2009-2015$. Upon its conclusion, the complementary VVV eXtended (VVVX) survey has expanded both the temporal as well as spatial coverage of the original VVV area, widening it from $562$ to $1700$ sq. deg., as well as providing additional epochs in $JHK_{\rm s}$ filters from $2016-2023$. With the completion of VVVX observations during the first semester of 2023, we present here the observing strategy, a description of data quality and access, and the legacy of VVVX. VVVX took $\sim 2000$ hours, covering about 4% of the sky in the bulge and southern disk. VVVX covered most of the gaps left between the VVV and the VISTA Hemisphere Survey (VHS) areas and extended the VVV time baseline in the obscured regions affected by high extinction and hence hidden from optical observations. VVVX provides a deep $JHK_{\rm s}$ catalogue of $\gtrsim 1.5\times10^9$ point sources, as well as a $K_{\rm s}$ band catalogue of $\sim 10^7$ variable sources. Within the existing VVV area, we produced a $5D$ map of the surveyed region by combining positions, distances, and proper motions of well-understood distance indicators such as red clump stars, RR Lyrae, and Cepheid variables. In March 2023 we successfully finished the VVVX survey observations that started in 2016, an accomplishment for ESO Paranal Observatory upon 4200 hours of observations for VVV+VVVX. The VVV+VVVX catalogues complement those from the Gaia mission at low Galactic latitudes and provide spectroscopic targets for the forthcoming ESO high-multiplex spectrographs MOONS and 4MOST.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Towards a second generation of metascintillators using the Purcell effect
Authors:
Avner Shultzman,
Roman Schütz,
Yaniv Kurman,
Neta Lahav,
George Dosovitskiy,
Charles Roques-Carmes,
Yehonadav Bekenstein,
Georgios Konstantinou,
Riccardo Latella,
Lei Zhang,
Francis Loignon-Houle,
Antonio J. Gonzalez,
José María Benlloch,
Ido Kaminer,
Paul Lecoq
Abstract:
This study focuses on advancing metascintillators to break the 100 ps barrier and approach the 10 ps target. We exploit nanophotonic features, specifically the Purcell effect, to shape and enhance the scintillation properties of the first-generation metascintillator. We demonstrate that a faster emission is achievable along with a more efficient conversion efficiency. This results in a coincidence…
▽ More
This study focuses on advancing metascintillators to break the 100 ps barrier and approach the 10 ps target. We exploit nanophotonic features, specifically the Purcell effect, to shape and enhance the scintillation properties of the first-generation metascintillator. We demonstrate that a faster emission is achievable along with a more efficient conversion efficiency. This results in a coincidence time resolution improved by a factor of 1.6, crucial for TOF-PET applications.
△ Less
Submitted 21 June, 2024;
originally announced June 2024.
-
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML
Authors:
Benjamin Lesage,
Frédéric Boniol,
Kevin Delmas,
Adrien Gauffriau,
Alfonso Mascarenas Gonzalez,
Claire Pagetti
Abstract:
The emergence of Deep Neural Network (DNN) and machine learning-based applications paved the way for a new generation of hybrid hardware platforms. Hybrid platforms embed several cores and accelerators in a small package. However, in order to satisfy the Size, Weight and Power (SWaP) constraints, limited and shared resources are integrated. This paper presents an overview of the standards applicab…
▽ More
The emergence of Deep Neural Network (DNN) and machine learning-based applications paved the way for a new generation of hybrid hardware platforms. Hybrid platforms embed several cores and accelerators in a small package. However, in order to satisfy the Size, Weight and Power (SWaP) constraints, limited and shared resources are integrated. This paper presents an overview of the standards applicable to the certification of hybrid platforms and an early mapping of their objectives to said platforms. In particular, we consider how the classification of AMC20-152A for airborne electronic hardware applies to hybrid platforms. We also consider AMC20-193 for multi-core platforms, and how this standard fits different types of accelerators.
△ Less
Submitted 18 June, 2024;
originally announced June 2024.
-
A modified DFC method based on full state and periodic gain for stabilization and chaos control
Authors:
Verónica E. Pastor,
Graciela A. González
Abstract:
A novel delayed feedback control based on full state is proposed. The designed scheme combines the difference between two delayed states and a periodic control gain. System stabilization is achieved in any hyperbolic unstable equilibrium point. The procedure to build the control is systematic and, the set of the stabilizing control parameters is rigorously featured by analytical arguments. An ad-h…
▽ More
A novel delayed feedback control based on full state is proposed. The designed scheme combines the difference between two delayed states and a periodic control gain. System stabilization is achieved in any hyperbolic unstable equilibrium point. The procedure to build the control is systematic and, the set of the stabilizing control parameters is rigorously featured by analytical arguments. An ad-hoc strategy based on the proposed scheme is implemented for control of chaos by stabilizing equilibrium points embedded in chaotic attractors. Simulated examples illustrate this strategy performance.
△ Less
Submitted 14 June, 2024;
originally announced June 2024.
-
MEMO-QCD: Quantum Density Estimation through Memetic Optimisation for Quantum Circuit Design
Authors:
Juan E. Ardila-García,
Vladimir Vargas-Calderón,
Fabio A. González,
Diego H. Useche,
Herbert Vinck-Posada
Abstract:
This paper presents a strategy for efficient quantum circuit design for density estimation. The strategy is based on a quantum-inspired algorithm for density estimation and a circuit optimisation routine based on memetic algorithms. The model maps a training dataset to a quantum state represented by a density matrix through a quantum feature map. This training state encodes the probability distrib…
▽ More
This paper presents a strategy for efficient quantum circuit design for density estimation. The strategy is based on a quantum-inspired algorithm for density estimation and a circuit optimisation routine based on memetic algorithms. The model maps a training dataset to a quantum state represented by a density matrix through a quantum feature map. This training state encodes the probability distribution of the dataset in a quantum state, such that the density of a new sample can be estimated by projecting its corresponding quantum state onto the training state. We propose the application of a memetic algorithm to find the architecture and parameters of a variational quantum circuit that implements the quantum feature map, along with a variational learning strategy to prepare the training state. Demonstrations of the proposed strategy show an accurate approximation of the Gaussian kernel density estimation method through shallow quantum circuits illustrating the feasibility of the algorithm for near-term quantum hardware.
△ Less
Submitted 14 June, 2024; v1 submitted 12 June, 2024;
originally announced June 2024.
-
ON-OFF Neuromorphic ISING Machines using Fowler-Nordheim Annealers
Authors:
Zihao Chen,
Zhili Xiao,
Mahmoud Akl,
Johannes Leugring,
Omowuyi Olajide,
Adil Malik,
Nik Dennler,
Chad Harper,
Subhankar Bose,
Hector A. Gonzalez,
Jason Eshraghian,
Riccardo Pignari,
Gianvito Urgese,
Andreas G. Andreou,
Sadasivan Shankar,
Christian Mayr,
Gert Cauwenberghs,
Shantanu Chakrabartty
Abstract:
We introduce NeuroSA, a neuromorphic architecture specifically designed to ensure asymptotic convergence to the ground state of an Ising problem using an annealing process that is governed by the physics of quantum mechanical tunneling using Fowler-Nordheim (FN). The core component of NeuroSA consists of a pair of asynchronous ON-OFF neurons, which effectively map classical simulated annealing (SA…
▽ More
We introduce NeuroSA, a neuromorphic architecture specifically designed to ensure asymptotic convergence to the ground state of an Ising problem using an annealing process that is governed by the physics of quantum mechanical tunneling using Fowler-Nordheim (FN). The core component of NeuroSA consists of a pair of asynchronous ON-OFF neurons, which effectively map classical simulated annealing (SA) dynamics onto a network of integrate-and-fire (IF) neurons. The threshold of each ON-OFF neuron pair is adaptively adjusted by an FN annealer which replicates the optimal escape mechanism and convergence of SA, particularly at low temperatures. To validate the effectiveness of our neuromorphic Ising machine, we systematically solved various benchmark MAX-CUT combinatorial optimization problems. Across multiple runs, NeuroSA consistently generates solutions that approach the state-of-the-art level with high accuracy (greater than 99%), and without any graph-specific hyperparameter tuning. For practical illustration, we present results from an implementation of NeuroSA on the SpiNNaker2 platform, highlighting the feasibility of mapping our proposed architecture onto a standard neuromorphic accelerator platform.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
The Massive and Distant Clusters of WISE Survey 2: A Stacking Analysis Investigating the Evolution of Star Formation Rates and Stellar Masses in Groups and Clusters
Authors:
A. Trudeau,
Anthony H. Gonzalez,
K. Thongkham,
Kyoung-Soo Lee,
Stacey Alberts,
M. Brodwin,
Thomas Connor,
Peter R. M. Eisenhardt,
Emily Moravec,
Eshwar Puvvada,
S. A. Stanford
Abstract:
The evolution of galaxies depends on their masses and local environments; understanding when and how environmental quenching starts to operate remains a challenge. Furthermore, studies of the high-redshift regime have been limited to massive cluster members, owing to sensitivity limits or small fields of views when the sensitivity is sufficient, intrinsically biasing the picture of cluster evoluti…
▽ More
The evolution of galaxies depends on their masses and local environments; understanding when and how environmental quenching starts to operate remains a challenge. Furthermore, studies of the high-redshift regime have been limited to massive cluster members, owing to sensitivity limits or small fields of views when the sensitivity is sufficient, intrinsically biasing the picture of cluster evolution. In this work, we use stacking to investigate the average star formation history of more than 10,000 groups and clusters drawn from the Massive and Distant Clusters of WISE Survey 2 (MaDCoWS2). Our analysis covers near ultraviolet to far infrared wavelengths, for galaxy overdensities at $0.5 \lesssim z \lesssim 2.54$. We employ SED fitting to measure the specific star formation rates (sSFR) in four annular apertures with radii between 0 and 1000 kpc. At $z \gtrsim 1.6$, the average sSFR evolves similarly to the field in both the core and the cluster outskirts. Between $\overline{z} = 1.60$ and $\overline{z} = 1.35$, the sSFR in the core drops sharply, and continues to fall relative to the field sSFR at lower redshifts. We interpret this change as evidence that the impact of environmental quenching dramatically increases at $z \sim 1.5$, with the short time span of the transition suggesting that the environmental quenching mechanism dominant at this redshift operates on a rapid timescale. We find indications that the sSFR may decrease with increasing host halo mass, but lower-scatter mass tracers than the signal-to-noise ratio (S/N) are needed to confirm this relationship.
△ Less
Submitted 25 June, 2024; v1 submitted 5 June, 2024;
originally announced June 2024.
-
Observation of chiral solitary waves in a nonlinear Aharonov-Bohm ring
Authors:
Ivan Velkovsky,
Anya Abraham,
Enrico Martello,
Jiarui Yu,
Yaashnaa Singhal,
Antonio Gonzalez,
DaVonte Lewis,
Hannah Price,
Tomoki Ozawa,
Bryce Gadway
Abstract:
Nonlinearities can have a profound influence on the dynamics and equilibrium properties of discrete lattice systems. The simple case of two coupled modes with self-nonlinearities gives rise to the rich bosonic Josephson effects. In many-site arrays, nonlinearities yield a wealth of rich phenomena, including a variety of solitonic excitations, the emergence of vortex lattices in the presence of gau…
▽ More
Nonlinearities can have a profound influence on the dynamics and equilibrium properties of discrete lattice systems. The simple case of two coupled modes with self-nonlinearities gives rise to the rich bosonic Josephson effects. In many-site arrays, nonlinearities yield a wealth of rich phenomena, including a variety of solitonic excitations, the emergence of vortex lattices in the presence of gauge fields, and the general support of chaotic dynamics. Here, we experimentally explore a three-site mechanical ring with tunable gauge fields and nonlinearities. We observe a macroscopic self-trapping transition that is tunable by the magnetic flux, consistent with the equilibrium response. We further observe novel behavior that appears only out of equilibrium, the emergence of interaction-stabilized chiral solitary waves. These results provide a starting point to explore nonlinear phenomena arising in larger mechanical arrays coupled to static and dynamical gauge fields.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Chiral shift symmetries as an infinite tower of subleading super-shift symmetries
Authors:
Glenn Barnich,
Luca Ciambelli,
Hernán A. González
Abstract:
Chiral shift symmetries of the massless free bosons in two dimensions are global symmetries that are somewhat similar to asymptotic symmetries. They are most transparent in double-null coordinates where they are parametrized by two functions of one variable. In BMS-type coordinates, half of them appear as an infinite tower of sub-leading super-shift symmetries.
Chiral shift symmetries of the massless free bosons in two dimensions are global symmetries that are somewhat similar to asymptotic symmetries. They are most transparent in double-null coordinates where they are parametrized by two functions of one variable. In BMS-type coordinates, half of them appear as an infinite tower of sub-leading super-shift symmetries.
△ Less
Submitted 27 May, 2024;
originally announced May 2024.
-
Laurel: Generating Dafny Assertions Using Large Language Models
Authors:
Eric Mugnier,
Emmanuel Anaya Gonzalez,
Ranjit Jhala,
Nadia Polikarpova,
Yuanyuan Zhou
Abstract:
Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof engineer. In this paper, we propose Laurel, a tool that uses large language models (LLMs) to automatically generate helper assertions for Dafny programs…
▽ More
Dafny is a popular verification language, which automates proofs by outsourcing them to an SMT solver. This automation is not perfect, however, and the solver often requires guidance in the form of helper assertions creating a burden for the proof engineer. In this paper, we propose Laurel, a tool that uses large language models (LLMs) to automatically generate helper assertions for Dafny programs. To improve the success rate of LLMs in this task, we design two domain-specific prompting techniques. First, we help the LLM determine the location of the missing assertion by analyzing the verifier's error message and inserting an assertion placeholder at that location. Second, we provide the LLM with example assertions from the same codebase, which we select based on a new lemma similarity metric. We evaluate our techniques on a dataset of helper assertions we extracted from three real-world Dafny codebases. Our evaluation shows that Laurel is able to generate over 50% of the required helper assertions given only a few attempts, making LLMs a usable and affordable tool to further automate practical program verification.
△ Less
Submitted 26 May, 2024;
originally announced May 2024.
-
HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
Authors:
Shraddha Barke,
Emmanuel Anaya Gonzalez,
Saketh Ram Kasibatla,
Taylor Berg-Kirkpatrick,
Nadia Polikarpova
Abstract:
Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately, purely neural approaches, such as large language models (LLMs), often fail to produce fully correct programs in unfamiliar DSLs, while purely symbolic methods based…
▽ More
Many structured prediction and reasoning tasks can be framed as program synthesis problems, where the goal is to generate a program in a domain-specific language (DSL) that transforms input data into the desired output. Unfortunately, purely neural approaches, such as large language models (LLMs), often fail to produce fully correct programs in unfamiliar DSLs, while purely symbolic methods based on combinatorial search scale poorly to complex problems. Motivated by these limitations, we introduce a hybrid approach, where LLM completions for a given task are used to learn a task-specific, context-free surrogate model, which is then used to guide program synthesis. We evaluate this hybrid approach on three domains, and show that it outperforms both unguided search and direct sampling from LLMs, as well as existing program synthesizers.
△ Less
Submitted 24 May, 2024;
originally announced May 2024.
-
The manifold of polygons degenerated to segments
Authors:
Manuel A. Espinosa-García,
Ahtziri González,
Yesenia Villicaña-Molina
Abstract:
In this paper we study the space $\mathbb{L}(n)$ of $n$-gons in the plane degenerated to segments. We prove that this space is a smooth real submanifold of $\mathbb{C}^n$, and describe its topology in terms of the manifold $\mathbb{M}(n)$ of $n$-gons degenerated to segments and with the first vertex at 0. We show that $\mathbb{M}(n)$ and $\mathbb{L}(n)$ contain straight lines that form a basis of…
▽ More
In this paper we study the space $\mathbb{L}(n)$ of $n$-gons in the plane degenerated to segments. We prove that this space is a smooth real submanifold of $\mathbb{C}^n$, and describe its topology in terms of the manifold $\mathbb{M}(n)$ of $n$-gons degenerated to segments and with the first vertex at 0. We show that $\mathbb{M}(n)$ and $\mathbb{L}(n)$ contain straight lines that form a basis of directions in each one of their tangent spaces, and we compute the geodesic equations in these manifolds. Finally, the quotient of $\mathbb{L}(n)$ by the diagonal action of the affine complex group and the re-enumeration of the vertices is described.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Euclid: Early Release Observations -- The intracluster light and intracluster globular clusters of the Perseus cluster
Authors:
M. Kluge,
N. A. Hatch,
M. Montes,
J. B. Golden-Marx,
A. H. Gonzalez,
J. -C. Cuillandre,
M. Bolzonella,
A. Lançon,
R. Laureijs,
T. Saifollahi,
M. Schirmer,
C. Stone,
A. Boselli,
M. Cantiello,
J. G. Sorce,
F. R. Marleau,
P. -A. Duc,
E. Sola,
M. Urbano,
S. L. Ahad,
Y. M. Bahé,
S. P. Bamford,
C. Bellhouse,
F. Buitrago,
P. Dimauro
, et al. (163 additional authors not shown)
Abstract:
We study the intracluster light (ICL) and intracluster globular clusters (ICGCs) in the nearby Perseus galaxy cluster using Euclid's EROs. By modelling the isophotal and iso-density contours, we map the distributions and properties of the ICL and ICGCs out to a radius of 600 kpc (~1/3 of the virial radius) from the brightest cluster galaxy (BCG). We find that the central 500 kpc of the Perseus clu…
▽ More
We study the intracluster light (ICL) and intracluster globular clusters (ICGCs) in the nearby Perseus galaxy cluster using Euclid's EROs. By modelling the isophotal and iso-density contours, we map the distributions and properties of the ICL and ICGCs out to a radius of 600 kpc (~1/3 of the virial radius) from the brightest cluster galaxy (BCG). We find that the central 500 kpc of the Perseus cluster hosts 70000$\pm$2800 GCs and $1.6\times10^{12}$ L$_\odot$ of diffuse light from the BCG+ICL in the near-infrared H$_E$. This accounts for 37$\pm$6% of the cluster's total stellar luminosity within this radius. The ICL and ICGCs share a coherent spatial distribution, suggesting a common origin or that a common potential governs their distribution. Their contours on the largest scales (>200 kpc) are offset from the BCG's core westwards by 60 kpc towards several luminous cluster galaxies. This offset is opposite to the displacement observed in the gaseous intracluster medium. The radial surface brightness profile of the BCG+ICL is best described by a double Sérsic model, with 68$\pm$4% of the H$_E$ light in the extended, outer component. The transition between these components occurs at ~50 kpc, beyond which the isophotes become increasingly elliptical and off-centred. The radial ICGC number density profile closely follows the BCG+ICL profile only beyond this 50 kpc radius, where we find an average of 60 GCs per $10^9$ M$_\odot$ of diffuse stellar mass. The BCG+ICL colour becomes increasingly blue with radius, consistent with the stellar populations in the ICL having subsolar metallicities [Fe/H]~-0.6. The colour of the ICL, and the specific frequency and luminosity function of the ICGCs suggest that the ICL+ICGCs were tidally stripped from the outskirts of massive satellites with masses of a few $\times10^{10}$ M$_\odot$, with an increasing contribution from dwarf galaxies at large radii.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Euclid: Early Release Observations -- Globular clusters in the Fornax galaxy cluster, from dwarf galaxies to the intracluster field
Authors:
T. Saifollahi,
K. Voggel,
A. Lançon,
Michele Cantiello,
M. A. Raj,
J. -C. Cuillandre,
S. S. Larsen,
F. R. Marleau,
A. Venhola,
M. Schirmer,
D. Carollo,
P. -A. Duc,
A. M. N. Ferguson,
L. K. Hunt,
M. Kümmel,
R. Laureijs,
O. Marchal,
A. A. Nucita,
R. F. Peletier,
M. Poulain,
M. Rejkuba,
R. Sánchez-Janssen,
M. Urbano,
Abdurro'uf,
B. Altieri
, et al. (174 additional authors not shown)
Abstract:
We present an analysis of Euclid observations of a 0.5 deg$^2$ field in the central region of the Fornax galaxy cluster that were acquired during the performance verification phase. With these data, we investigate the potential of Euclid for identifying GCs at 20 Mpc, and validate the search methods using artificial GCs and known GCs within the field from the literature. Our analysis of artificial…
▽ More
We present an analysis of Euclid observations of a 0.5 deg$^2$ field in the central region of the Fornax galaxy cluster that were acquired during the performance verification phase. With these data, we investigate the potential of Euclid for identifying GCs at 20 Mpc, and validate the search methods using artificial GCs and known GCs within the field from the literature. Our analysis of artificial GCs injected into the data shows that Euclid's data in $I_{\rm E}$ band is 80% complete at about $I_{\rm E} \sim 26.0$ mag ($M_{V\rm } \sim -5.0$ mag), and resolves GCs as small as $r_{\rm h} = 2.5$ pc. In the $I_{\rm E}$ band, we detect more than 95% of the known GCs from previous spectroscopic surveys and GC candidates of the ACS Fornax Cluster Survey, of which more than 80% are resolved. We identify more than 5000 new GC candidates within the field of view down to $I_{\rm E}$ mag, about 1.5 mag fainter than the typical GC luminosity function turn-over magnitude, and investigate their spatial distribution within the intracluster field. We then focus on the GC candidates around dwarf galaxies and investigate their numbers, stacked luminosity distribution and stacked radial distribution. While the overall GC properties are consistent with those in the literature, an interesting over-representation of relatively bright candidates is found within a small number of relatively GC-rich dwarf galaxies. Our work confirms the capabilities of Euclid data in detecting GCs and separating them from foreground and background contaminants at a distance of 20 Mpc, particularly for low-GC count systems such as dwarf galaxies.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Euclid: Early Release Observations -- Programme overview and pipeline for compact- and diffuse-emission photometry
Authors:
J. -C. Cuillandre,
E. Bertin,
M. Bolzonella,
H. Bouy,
S. Gwyn,
S. Isani,
M. Kluge,
O. Lai,
A. Lançon,
D. A. Lang,
R. Laureijs,
T. Saifollahi,
M. Schirmer,
C. Stone,
Abdurro'uf,
N. Aghanim,
B. Altieri,
F. Annibali,
H. Atek,
P. Awad,
M. Baes,
E. Bañados,
D. Barrado,
S. Belladitta,
V. Belokurov
, et al. (240 additional authors not shown)
Abstract:
The Euclid ERO showcase Euclid's capabilities in advance of its main mission, targeting 17 astronomical objects, from galaxy clusters, nearby galaxies, globular clusters, to star-forming regions. A total of 24 hours observing time was allocated in the early months of operation, engaging the scientific community through an early public data release. We describe the development of the ERO pipeline t…
▽ More
The Euclid ERO showcase Euclid's capabilities in advance of its main mission, targeting 17 astronomical objects, from galaxy clusters, nearby galaxies, globular clusters, to star-forming regions. A total of 24 hours observing time was allocated in the early months of operation, engaging the scientific community through an early public data release. We describe the development of the ERO pipeline to create visually compelling images while simultaneously meeting the scientific demands within months of launch, leveraging a pragmatic, data-driven development strategy. The pipeline's key requirements are to preserve the image quality and to provide flux calibration and photometry for compact and extended sources. The pipeline's five pillars are: removal of instrumental signatures; astrometric calibration; photometric calibration; image stacking; and the production of science-ready catalogues for both the VIS and NISP instruments. We report a PSF with a full width at half maximum of 0.16" in the optical and 0.49" in the three NIR bands. Our VIS mean absolute flux calibration is accurate to about 1%, and 10% for NISP due to a limited calibration set; both instruments have considerable colour terms. The median depth is 25.3 and 23.2 AB mag with a SNR of 10 for galaxies, and 27.1 and 24.5 AB mag at an SNR of 5 for point sources for VIS and NISP, respectively. Euclid's ability to observe diffuse emission is exceptional due to its extended PSF nearly matching a pure diffraction halo, the best ever achieved by a wide-field, high-resolution imaging telescope. Euclid offers unparalleled capabilities for exploring the LSB Universe across all scales, also opening a new observational window in the NIR. Median surface-brightness levels of 29.9 and 28.3 AB mag per square arcsec are achieved for VIS and NISP, respectively, for detecting a 10 arcsec x 10 arcsec extended feature at the 1 sigma level.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Euclid. V. The Flagship galaxy mock catalogue: a comprehensive simulation for the Euclid mission
Authors:
Euclid Collaboration,
F. J. Castander,
P. Fosalba,
J. Stadel,
D. Potter,
J. Carretero,
P. Tallada-Crespí,
L. Pozzetti,
M. Bolzonella,
G. A. Mamon,
L. Blot,
K. Hoffmann,
M. Huertas-Company,
P. Monaco,
E. J. Gonzalez,
G. De Lucia,
C. Scarlata,
M. -A. Breton,
L. Linke,
C. Viglione,
S. -S. Li,
Z. Zhai,
Z. Baghkhani,
K. Pardede,
C. Neissner
, et al. (344 additional authors not shown)
Abstract:
We present the Flagship galaxy mock, a simulated catalogue of billions of galaxies designed to support the scientific exploitation of the Euclid mission. Euclid is a medium-class mission of the European Space Agency optimised to determine the properties of dark matter and dark energy on the largest scales of the Universe. It probes structure formation over more than 10 billion years primarily from…
▽ More
We present the Flagship galaxy mock, a simulated catalogue of billions of galaxies designed to support the scientific exploitation of the Euclid mission. Euclid is a medium-class mission of the European Space Agency optimised to determine the properties of dark matter and dark energy on the largest scales of the Universe. It probes structure formation over more than 10 billion years primarily from the combination of weak gravitational lensing and galaxy clustering data. The breath of Euclid's data will also foster a wide variety of scientific analyses. The Flagship simulation was developed to provide a realistic approximation to the galaxies that will be observed by Euclid and used in its scientific analyses. We ran a state-of-the-art N-body simulation with four trillion particles, producing a lightcone on the fly. From the dark matter particles, we produced a catalogue of 16 billion haloes in one octant of the sky in the lightcone up to redshift z=3. We then populated these haloes with mock galaxies using a halo occupation distribution and abundance matching approach, calibrating the free parameters of the galaxy mock against observed correlations and other basic galaxy properties. Modelled galaxy properties include luminosity and flux in several bands, redshifts, positions and velocities, spectral energy distributions, shapes and sizes, stellar masses, star formation rates, metallicities, emission line fluxes, and lensing properties. We selected a final sample of 3.4 billion galaxies with a magnitude cut of H_E<26, where we are complete. We have performed a comprehensive set of validation tests to check the similarity to observational data and theoretical models. In particular, our catalogue is able to closely reproduce the main characteristics of the weak lensing and galaxy clustering samples to be used in the mission's main cosmological analysis. (abridged)
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Euclid. I. Overview of the Euclid mission
Authors:
Euclid Collaboration,
Y. Mellier,
Abdurro'uf,
J. A. Acevedo Barroso,
A. Achúcarro,
J. Adamek,
R. Adam,
G. E. Addison,
N. Aghanim,
M. Aguena,
V. Ajani,
Y. Akrami,
A. Al-Bahlawan,
A. Alavi,
I. S. Albuquerque,
G. Alestas,
G. Alguero,
A. Allaoui,
S. W. Allen,
V. Allevato,
A. V. Alonso-Tetilla,
B. Altieri,
A. Alvarez-Candal,
A. Amara,
L. Amendola
, et al. (1086 additional authors not shown)
Abstract:
The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme of the European Space Agency (ESA) that will provide high-resolution optical imaging, as well as near-infrared imaging and spectroscopy, over about 14…
▽ More
The current standard model of cosmology successfully describes a variety of measurements, but the nature of its main ingredients, dark matter and dark energy, remains unknown. Euclid is a medium-class mission in the Cosmic Vision 2015-2025 programme of the European Space Agency (ESA) that will provide high-resolution optical imaging, as well as near-infrared imaging and spectroscopy, over about 14,000 deg^2 of extragalactic sky. In addition to accurate weak lensing and clustering measurements that probe structure formation over half of the age of the Universe, its primary probes for cosmology, these exquisite data will enable a wide range of science. This paper provides a high-level overview of the mission, summarising the survey characteristics, the various data-processing steps, and data products. We also highlight the main science objectives and expected performance.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
Grey-box Recursive Parameter Identification of a Nonlinear Dynamic Model for Mineral Flotation
Authors:
Rodrigo A. González,
Paulina Quintanilla
Abstract:
This study presents a grey-box recursive identification technique to estimate key parameters in a mineral flotation process across two scenarios. The method is applied to a nonlinear physics-based dynamic model validated at a laboratory scale, allowing real-time updates of two model parameters, n and C, in response to changing conditions. The proposed approach effectively adapts to process variabi…
▽ More
This study presents a grey-box recursive identification technique to estimate key parameters in a mineral flotation process across two scenarios. The method is applied to a nonlinear physics-based dynamic model validated at a laboratory scale, allowing real-time updates of two model parameters, n and C, in response to changing conditions. The proposed approach effectively adapts to process variability and allows for continuous adjustments based on operational fluctuations, resulting in a significantly improved estimation of concentrate grade - one key performance indicator. In Scenario 1, parameters n and C achieved fit metrics of 97.99 and 96.86, respectively, with concentrate grade estimations improving from 75.1 to 98.69 using recursive identification. In Scenario 2, the fit metrics for n and C were 96.27 and 95.48, respectively, with the concentrate grade estimations increasing from 96.27 to 99.45 with recursive identification. The results demonstrate the effectiveness of the proposed grey-box recursive identification method in accurately estimating parameters and predicting concentrate grade in a mineral flotation process.
△ Less
Submitted 7 May, 2024;
originally announced May 2024.
-
Everything everywhere all at once: A detailed study of GW230529
Authors:
Koustav Chandra,
Ish Gupta,
Rossella Gamba,
Rahul Kashyap,
Debatri Chattopadhyay,
Alejandra Gonzalez,
Sebastiano Bernuzzi,
B. S. Sathyaprakash
Abstract:
This study investigates the origins of GW230529, delving into its formation from massive stars within isolated binary systems. Utilizing population synthesis models, we present compelling evidence that the neutron star component forms second. However, the event's low signal-to-noise ratio introduces complexities in identifying the underlying physical mechanisms driving its formation. Augmenting ou…
▽ More
This study investigates the origins of GW230529, delving into its formation from massive stars within isolated binary systems. Utilizing population synthesis models, we present compelling evidence that the neutron star component forms second. However, the event's low signal-to-noise ratio introduces complexities in identifying the underlying physical mechanisms driving its formation. Augmenting our analysis with insights from numerical relativity, we estimate the final black hole mass and spin to be approximately $5.3 M_\odot$ and $0.53$, respectively. Furthermore, we employ the obtained posterior samples to calculate the ejecta mass and kilonova light curves resulting from r-process nucleosynthesis. We find the ejecta mass to range within $0-0.06 M_{\odot}$, contingent on the neutron star equation of state. The peak brightness of the kilonovae light curves indicates that targeted follow-up observations with a Rubin-like observatory may have detected this emission.
△ Less
Submitted 8 May, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
tt+X measurements by CMS and ATLAS
Authors:
Barbara Alvarez Gonzalez
Abstract:
These proceedings present the observation of the 4-top production process and the latest results of the production of top-quark pairs associated with W and $γ$ bosons ($t\bar{t}W$ and $t\bar{t}γ$) and b jets ($t\bar{t}b\bar{b}$) at a collision energy of 13 TeV carried out by the CMS and ATLAS Collaborations.
These proceedings present the observation of the 4-top production process and the latest results of the production of top-quark pairs associated with W and $γ$ bosons ($t\bar{t}W$ and $t\bar{t}γ$) and b jets ($t\bar{t}b\bar{b}$) at a collision energy of 13 TeV carried out by the CMS and ATLAS Collaborations.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Exploring Augmentation and Cognitive Strategies for AI based Synthetic Personae
Authors:
Rafael Arias Gonzalez,
Steve DiPaola
Abstract:
Large language models (LLMs) hold potential for innovative HCI research, including the creation of synthetic personae. However, their black-box nature and propensity for hallucinations pose challenges. To address these limitations, this position paper advocates for using LLMs as data augmentation systems rather than zero-shot generators. We further propose the development of robust cognitive and m…
▽ More
Large language models (LLMs) hold potential for innovative HCI research, including the creation of synthetic personae. However, their black-box nature and propensity for hallucinations pose challenges. To address these limitations, this position paper advocates for using LLMs as data augmentation systems rather than zero-shot generators. We further propose the development of robust cognitive and memory frameworks to guide LLM responses. Initial explorations suggest that data enrichment, episodic memory, and self-reflection techniques can improve the reliability of synthetic personae and open up new avenues for HCI research.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Statistical Analysis of Block Coordinate Descent Algorithms for Linear Continuous-time System Identification
Authors:
Rodrigo A. González,
Koen Classens,
Cristian R. Rojas,
James S. Welsh,
Tom Oomen
Abstract:
Block coordinate descent is an optimization technique that is used for estimating multi-input single-output (MISO) continuous-time models, as well as single-input single output (SISO) models in additive form. Despite its widespread use in various optimization contexts, the statistical properties of block coordinate descent in continuous-time system identification have not been covered in the liter…
▽ More
Block coordinate descent is an optimization technique that is used for estimating multi-input single-output (MISO) continuous-time models, as well as single-input single output (SISO) models in additive form. Despite its widespread use in various optimization contexts, the statistical properties of block coordinate descent in continuous-time system identification have not been covered in the literature. The aim of this paper is to formally analyze the bias properties of the block coordinate descent approach for the identification of MISO and additive SISO systems. We characterize the asymptotic bias at each iteration, and provide sufficient conditions for the consistency of the estimator for each identification setting. The theoretical results are supported by simulation examples.
△ Less
Submitted 13 April, 2024;
originally announced April 2024.
-
Consistency analysis of refined instrumental variable methods for continuous-time system identification in closed-loop
Authors:
Rodrigo A. González,
Siqi Pan,
Cristian R. Rojas,
James S. Welsh
Abstract:
Refined instrumental variable methods have been broadly used for identification of continuous-time systems in both open and closed-loop settings. However, the theoretical properties of these methods are still yet to be fully understood when operating in closed-loop. In this paper, we address the consistency of the simplified refined instrumental variable method for continuous-time systems (SRIVC)…
▽ More
Refined instrumental variable methods have been broadly used for identification of continuous-time systems in both open and closed-loop settings. However, the theoretical properties of these methods are still yet to be fully understood when operating in closed-loop. In this paper, we address the consistency of the simplified refined instrumental variable method for continuous-time systems (SRIVC) and its closed-loop variant CLSRIVC when they are applied on data that is generated from a feedback loop. In particular, we consider feedback loops consisting of continuous-time controllers, as well as the discrete-time control case. This paper proves that the SRIVC and CLSRIVC estimators are not generically consistent when there is a continuous-time controller in the loop, and that generic consistency can be achieved when the controller is implemented in discrete-time. Numerical simulations are presented to support the theoretical results.
△ Less
Submitted 13 April, 2024;
originally announced April 2024.
-
WaSP: Warp Scheduling to Mimic Prefetching in Graphics Workloads
Authors:
Diya Joseph,
Juan Luis Aragón,
Joan-Manuel Parcerisa,
Antonio Gonzalez
Abstract:
Contemporary GPUs are designed to handle long-latency operations effectively; however, challenges such as core occupancy (number of warps in a core) and pipeline width can impede their latency management. This is particularly evident in Tile-Based Rendering (TBR) GPUs, where core occupancy remains low for extended durations. To address this challenge, we introduce WaSP, a lightweight warp schedule…
▽ More
Contemporary GPUs are designed to handle long-latency operations effectively; however, challenges such as core occupancy (number of warps in a core) and pipeline width can impede their latency management. This is particularly evident in Tile-Based Rendering (TBR) GPUs, where core occupancy remains low for extended durations. To address this challenge, we introduce WaSP, a lightweight warp scheduler tailored for GPUs in graphics applications. WaSP strategically mimics prefetching by initiating a select subset of warps, termed priority warps, early in execution to reduce memory latency for subsequent warps. This optimization taps into the inherent but underutilized memory parallelism within the GPU core. This underutilization is a consequence of a baseline scheduler that evenly spaces misses throughout execution to exploit the inherent spatial locality in graphics workloads. WaSP improves on this by reducing average memory latency while maintaining locality for the majority of warps. While maximizing memory parallelism utilization, WaSP prevents saturating the caches with misses to avoid filling up the MSHRs (Miss Status Holding Registers). This approach reduces cache stalls that halt further accesses to the cache. Overall, WaSP yields a significant 3.9% performance speedup. Importantly, WaSP accomplishes these enhancements with a negligible overhead, positioning it as a promising solution for enhancing the efficiency of GPUs in managing latency challenges.
△ Less
Submitted 9 April, 2024;
originally announced April 2024.
-
Interpreting Themes from Educational Stories
Authors:
Yigeng Zhang,
Fabio A. González,
Thamar Solorio
Abstract:
Reading comprehension continues to be a crucial research focus in the NLP community. Recent advances in Machine Reading Comprehension (MRC) have mostly centered on literal comprehension, referring to the surface-level understanding of content. In this work, we focus on the next level - interpretive comprehension, with a particular emphasis on inferring the themes of a narrative text. We introduce…
▽ More
Reading comprehension continues to be a crucial research focus in the NLP community. Recent advances in Machine Reading Comprehension (MRC) have mostly centered on literal comprehension, referring to the surface-level understanding of content. In this work, we focus on the next level - interpretive comprehension, with a particular emphasis on inferring the themes of a narrative text. We introduce the first dataset specifically designed for interpretive comprehension of educational narratives, providing corresponding well-edited theme texts. The dataset spans a variety of genres and cultural origins and includes human-annotated theme keywords with varying levels of granularity. We further formulate NLP tasks under different abstractions of interpretive comprehension toward the main idea of a story. After conducting extensive experiments with state-of-the-art methods, we found the task to be both challenging and significant for NLP research. The dataset and source code have been made publicly available to the research community at https://github.com/RiTUAL-UH/EduStory.
△ Less
Submitted 8 April, 2024;
originally announced April 2024.