Miracle-dz/UniFAR-FTUs huggingface dataset:
Improved estimates for the number of non-negative integer matrices with given row and column sums

The number of non-negative integer matrices with given row and column sums features in a variety of problems in mathematics and statistics but no closed-form expression for it is known, so we rely on approximations. In this paper, we describe a new such approximation, motivated by consideration of the statistics of matrices with non-integer numbers of columns. This estimate can be evaluated in time linear in the size of the matrix and returns results of accuracy as good as or better than existing linear-time approximations across a wide range of settings. We show that the estimate is asymptotically exact in the regime of sparse tables, while empirically performing at least as well as other linear-time estimates in the regime of dense tables. We also use the new estimate as the starting point for an improved numerical method for either counting or sampling matrices with given margins using sequential importance sampling. Code implementing our methods is available.
Formation, distribution, and IR emission of dust in the clumpy ejecta of Type II-P core-collapse supernovae, in isotropic and anisotropic scenarios

Large discrepancies are found between observational estimates and theoretical predictions when exploring the characteristics of dust formed in the ejecta of core-collapse supernovae. We revisit the scenario of dust production in typical supernova ejecta in the first 3000 days after explosion, with an improved understanding of the evolving physical conditions and the distribution of the clumps. The generic, nonuniform distribution of dust within the ejecta was determined and using that, the relevant opacities and fluxes were calculated. The dependence of the emerging fluxes on the viewing angle was estimated for an anisotropic, ellipsoidal geometry of the ejecta that imitate SN 1987A. We model the He-core from the center to its outer edge as 450 stratified, clumpy, annular shells, uniquely identified by their distinct velocities and characterized by their variations in abundances, densities, and gas and dust temperatures. We find that the formation of dust starts between day 450 and day 550 post-explosion, and it continues until about day 2800, although the first 1600 days are the most productive. The total dust mass evolves from about 10^-5 Msun at day 500 to 10^-3 Msun at day 800, finally saturating at about 0.06 Msun. The masses of the O-rich dust (silicates, alumina) dominates the C-rich dust (amorphous carbon, silicon carbide) at all times; the formation of carbon dust is delayed beyond 2000 days post-explosion. We show that the opacities are largest between days 800 and 1600, and the characteristic spectral features of O-rich dust species are suppressed at those times. The fluxes emerging along the smallest axes of the ellipsoidal ejecta are found to be the most obscured, while a viewing angle between 16 and 21 degrees with that axis appears to be in the best agreement with the fluxes from SN 1987A at days 615 and 775.
Dynamic Modeling of Liquid Crystal-Based Metasurfaces and Its Application to Reducing Reconfigurability Times

This article describes and validates for the first time the dynamic modeling of liquid crystal (LC)-based planar multiresonant cells, as well as its use as bias signals synthesis tool to improve their reconfigurability time. The dynamic LC director equation is solved in the longitudinal direction through the finite-element method, which provides the ${z}$ - and time-dependent inhomogeneous permittivity tensor used in an electromagnetic simulator to evaluate the cell behavior. The proposed model has been experimentally validated using reflective cells for phase control (reflectarray) and measuring the transient phase, both in excitation and relaxation regimes. It is shown how a very reduced number of stratified layers are needed to model the material inhomogeneity and that even a homogeneous effective tensor can be used in most of the cases, which allows a model simplification suitable for design procedures without losing accuracy. Consequently, a novel bias signal design tool is proposed to significantly reduce the transition times of LC cells and hence of electrically large antennas composed of them. These tools, similar to those used in optical displays, are experimentally validated for the first time at mm- and sub-mm wave frequencies in this work, obtaining an improvement of orders of magnitude.
Constrained Dynamic Movement Primitives for Safe Learning of Motor Skills

Dynamic movement primitives are widely used for learning skills which can be demonstrated to a robot by a skilled human or controller. While their generalization capabilities and simple formulation make them very appealing to use, they possess no strong guarantees to satisfy operational safety constraints for a task. In this paper, we present constrained dynamic movement primitives (CDMP) which can allow for constraint satisfaction in the robot workspace. We present a formulation of a non-linear optimization to perturb the DMP forcing weights regressed by locally-weighted regression to admit a Zeroing Barrier Function (ZBF), which certifies workspace constraint satisfaction. We demonstrate the proposed CDMP under different constraints on the end-effector movement such as obstacle avoidance and workspace constraints on a physical robot. A video showing the implementation of the proposed algorithm using different manipulators in different environments could be found here https://youtu.be/hJegJJkJfys.
Experimental implementation of an efficient test of quantumness

A test of quantumness is a protocol where a classical user issues challenges to a quantum device to determine if it exhibits non-classical behavior, under certain cryptographic assumptions. Recent attempts to implement such tests on current quantum computers rely on either interactive challenges with efficient verification, or non-interactive challenges with inefficient (exponential time) verification. In this paper, we execute an efficient non-interactive test of quantumness on an ion-trap quantum computer. Our results significantly exceed the bound for a classical device's success.
Estimation of Electrical Characteristics of Inhomogeneous Walls Using Generative Adversarial Networks

Through-wall radars are researched and developed for the detection, localization, and tracking of human activities in indoor environments. Electromagnetic wave propagation through walls introduces refraction, attenuation, multipath, and ghost targets in the radar signatures. The estimation of wall characteristics (dielectric profile and thickness) can enable wall effects to be deconvolved from through-wall radar signatures. We use generative adversarial networks (GANs) to estimate wall characteristics from narrowband scattered electric fields on the same side of the wall as the transmitter. We demonstrate that the GANs, consisting of two neural networks configured in an adversarial manner, are capable of solving the highly nonlinear regression problem with limited training data to estimate the dielectric profile and thickness of actual walls up to 95% accuracy based on training with simulated data generated from full-wave solvers.
Using models of baseline gameplay to design for physical rehabilitation

Modified digital games manage to drive motivation in repetitive exercises needed for motor rehabilitation, however designing modifications that satisfy both rehabilitation and engagement goals is challenging. We present a method wherein a statistical model of baseline gameplay identifies design configurations that emulate behaviours compatible with unmodified play. We illustrate this approach through a case study involving upper limb rehabilitation with a custom controller for a Pac-Man game. A participatory design workshop with occupational therapists defined two interaction parameters for gameplay and rehabilitation adjustments. The parameters' effect on the interaction was measured experimentally with 12 participants. We show that a low-latency model, using both user input behaviour and internal game state, identifies values for interaction parameters that reproduce baseline gameplay under degraded control. We discuss how this method can be applied to systematically balance gamification problems involving trade-offs between physical requirements and subjectively engaging experiences.
Increasing Model Generalizability for Unsupervised Domain Adaptation

A dominant approach for addressing unsupervised domain adaptation is to map data points for the source and the target domains into an embedding space which is modeled as the output-space of a shared deep encoder. The encoder is trained to make the embedding space domain-agnostic to make a source-trained classifier generalizable on the target domain. A secondary mechanism to improve UDA performance further is to make the source domain distribution more compact to improve model generalizability. We demonstrate that increasing the interclass margins in the embedding space can help to develop a UDA algorithm with improved performance. We estimate the internally learned multi-modal distribution for the source domain, learned as a result of pretraining, and use it to increase the interclass class separation in the source domain to reduce the effect of domain shift. We demonstrate that using our approach leads to improved model generalizability on four standard benchmark UDA image classification datasets and compares favorably against exiting methods.
Modeling Aspect Sentiment Coherency via Local Sentiment Aggregation

Aspect sentiment coherency is an intriguing yet underexplored topic in the field of aspect-based sentiment classification. This concept reflects the common pattern where adjacent aspects often share similar sentiments. Despite its prevalence, current studies have not fully recognized the potential of modeling aspect sentiment coherency, including its implications in adversarial defense. To model aspect sentiment coherency, we propose a novel local sentiment aggregation (LSA) paradigm based on constructing a differential-weighted sentiment aggregation window. We have rigorously evaluated our model through experiments, and the results affirm the proficiency of LSA in terms of aspect coherency prediction and aspect sentiment classification. For instance, it outperforms existing models and achieves state-of-the-art sentiment classification performance across five public datasets. Furthermore, we demonstrate the promising ability of LSA in ABSC adversarial defense, thanks to its sentiment coherency modeling. To encourage further exploration and application of this concept, we have made our code publicly accessible. This will provide researchers with a valuable tool to delve into sentiment coherency modeling in future research.
LOOKING FOR A CONNECTION BETWEEN THE Am PHENOMENON AND HYBRID δ Sct –γ Dor PULSATION: DETERMINATION OF THE FUNDAMENTAL PARAMETERS AND ABUNDANCES OF HD 114839 AND BD +18 4914

δ Sct–γ Dor hybrids pulsate simultaneously in p- and g-modes, which carry information on the structure of the envelope as well as to the core. Hence, they are key objects for investigating A and F type stars with asteroseismic techniques. An important requirement for seismic modeling is small errors in temperature, gravity, and chemical composition. Furthermore, we want to investigate the existence of an abundance indicator typical for hybrids, something that is well established for the roAp stars. Previous to the present investigation, the abundance pattern of only one hybrid and another hybrid candidate has been published. We obtained high-resolution spectra of HD 114839 and BD +18 4914 using the SOPHIE spectrograph of the Observatoire de Haute-Provence and the HARPS spectrograph at ESO La Silla. For each star we determined fundamental parameters and photospheric abundances of 16 chemical elements by comparing synthetic spectra with the observations. We compare our results to that of seven δ Sct and nine γ Dor stars. For the evolved BD +18 4914 we found an abundance pattern typical for an Am star, but could not confirm this peculiarity for the less evolved star HD 114839, which is classified in the literature as uncertain Am star. Our result supports the concept of evolved Am stars being unstable. With our investigation we nearly doubled the number of spectroscopically analyzed δ Sct–γ Dor hybrid stars, but did not yet succeed in identifying a spectroscopic signature for this group of pulsating stars. A statistically significant spectroscopic investigation of δ Sct- γ Dor hybrid stars is still missing, but would be rewarding considering the asteroseismological potential of this group.
GAS CONDENSATION IN THE GALACTIC HALO

Using adaptive mesh refinement (AMR) hydrodynamic simulations of vertically stratified hot halo gas, we examine the conditions under which clouds can form and condense out of the hot halo medium to potentially fuel star formation in the gaseous disk. We find that halo clouds do not develop from linear isobaric perturbations. This is a regime where the cooling time is longer than the Brunt–Väisälä time, confirming previous linear analysis. We extend the analysis into the nonlinear regime by considering mildly or strongly nonlinear perturbations with overdensities up to 100, also varying the initial height, the cloud size, and the metallicity of the gas. Here, the result depends on the ratio of cooling time to the time required to accelerate the cloud to the sound speed (similar to the dynamical time). If the ratio exceeds a critical value near unity, the cloud is accelerated without further cooling and gets disrupted by Kelvin–Helmholtz and/or Rayleigh–Taylor instabilities. If it is less than the critical value, the cloud cools and condenses before disruption. Accreting gas with overdensities of 10–20 is expected to be marginally unstable; the cooling fraction will depend on the metallicity, the size of the incoming cloud, and the distance to the galaxy. Locally enhanced overdensities within cold streams have a higher likelihood of cooling out. Our results have implications on the evolution of clouds seeded by cold accretion that are barely resolved in current cosmological hydrodynamic simulations and absorption line systems detected in galaxy halos.
Distribution of the displacement sequence of an orientation preserving circle homeomorphism

In some applications not only the knowledge of the behaviour of trajectories of a map is important, but also their displacements. We describe in detail the distribution of elements of the displacement sequence along a trajectory of an orientation preserving circle homeomorphism ϕ with irrational rotation number ϱ(ϕ). The values of displacement are dense in a set which depends on the map γ (semi-)conjugating ϕ with the rotation by ϱ(ϕ) and which is the support of the displacement distribution. We provide an effective formula for the density of this distribution if γ is a C1-diffeomorphism. Moreover, we show approximation of the displacement distribution by sample displacements measured for any other circle homeomorphism sufficiently close to the initial homeomorphism ϕ, which constitutes a rigorous proof of numerical results seen in certain integrate-and-fire models.
The Hubble constant and new discoveries in cosmology

We report the outcome of a 3-day workshop on the Hubble constant (H_0) that took place during February 6-8 2012 at the Kavli Institute for Particle Astrophysics and Cosmology, on the campus of Stanford University. The participants met to address the following questions. Are there compelling scientific reasons to obtain more precise and more accurate measurements of H_0 than currently available? If there are, how can we achieve this goal? The answers that emerged from the workshop are (1) better measurements of H_0 provide critical independent constraints on dark energy, spatial curvature of the Universe, neutrino physics, and validity of general relativity, (2) a measurement of H_0 to 1% in both precision and accuracy, supported by rigorous error budgets, is within reach for several methods, and (3) multiple paths to independent determinations of H_0 are needed in order to access and control systematics.
Effect of edge roughness in graphene nanoribbon transistors

The effects of edge irregularity and mixed edge shapes on the characteristics of graphene nanoribbon transistors are examined by self-consistent atomistic simulations based on the non-equilibrium Green's function formalism. The minimal leakage current increases due to the localized states induced in the band gap, and the on-current decreases due to smaller quantum transmission and the self-consistent electrostatic effect in general. Although the ratio between the on-current and minimal leakage current decreases, the transistor still switches even in the presence of edge roughness. The variation between devices, however, can be large, especially for a short channel length.
X-RAY AND MULTIWAVELENGTH INSIGHTS INTO THE NATURE OF WEAK EMISSION-LINE QUASARS AT LOW REDSHIFT

We report on the X-ray and multiwavelength properties of 11 radio-quiet quasars with weak or no emission lines identified by the Sloan Digital Sky Survey (SDSS) with redshift z = 0.4–2.5. Our sample was selected from the Plotkin et al. catalog of radio-quiet, weak-featured active galactic nuclei (AGNs). The distribution of relative X-ray brightness for our low-redshift weak-line quasar (WLQ) candidates is significantly different from that of typical radio-quiet quasars, having an excess of X-ray weak sources, but it is consistent with that of high-redshift WLQs. Over half of the low-redshift WLQ candidates are X-ray weak by a factor of ≳ 5, compared to a typical SDSS quasar with similar UV/optical luminosity. These X-ray weak sources generally show similar UV emission-line properties to those of the X-ray weak quasar PHL 1811 (weak and blueshifted high-ionization lines, weak semiforbidden lines, and strong UV Fe emission); they may belong to the notable class of PHL 1811 analogs. The average X-ray spectrum of these sources is somewhat harder than that of typical radio-quiet quasars. Several other low-redshift WLQ candidates have normal ratios of X-ray-to-optical/UV flux, and their average X-ray spectral properties are also similar to those of typical radio-quiet quasars. The X-ray weak and X-ray normal WLQ candidates may belong to the same subset of quasars having high-ionization “shielding gas” covering most of the wind-dominated broad emission-line region, but be viewed at different inclinations. The mid-infrared-to-X-ray spectral energy distributions (SEDs) of these sources are generally consistent with those of typical SDSS quasars, showing that they are not likely to be BL Lac objects with relativistically boosted continua and diluted emission lines. The mid-infrared-to-UV SEDs of most radio-quiet weak-featured AGNs without sensitive X-ray coverage (34 objects) are also consistent with those of typical SDSS quasars. However, one source in our X-ray-observed sample is remarkably strong in X-rays, indicating that a small fraction of low-redshift WLQ candidates may actually be BL Lac objects residing in the radio-faint tail of the BL Lac population. We also investigate universal selection criteria for WLQs over a wide range of redshift, finding that it is not possible to select WLQ candidates in a fully consistent way using different prominent emission lines (e.g., Lyα, C iv, Mg ii, and Hβ) as a function of redshift.
Logics without the contraction rule and residuated lattices

In this paper, we will develop an algebraic study of substructural propositional logics over FLew, i.e. the logic which is obtained from intuitionistic logics by eliminating the contraction rule. Our main technical tool is to use residuated lattices as the algebraic semantics for them. This enables us to study different kinds of nonclassical logics, including intermediate logics, BCK-logics, Lukasiewicz’s many-valued logics and fuzzy logics, within a uniform framework.
Stability of three-fermion clusters with finite range of attraction

Three quantum particles with on-site repulsion and nearest-neighbour attraction on a one-dimensional lattice are considered. The three-body Schrödinger equation is reduced to a set of single-variable integral equations. Energies of three-particle bound complexes (trions) are found from self-consistency of the approximating matrix equation. In the case of spin- fermions, the ground-state trion energy, the excited-state energies, the trion spectra and stability regions are obtained for total spins S = 1/2 and S = 3/2. In the S = 1/2 sector, a narrow but finite parameter region is identified where the ground state consists of a stable fermion pair and an unbound fermion. Also presented is the reference case of spin-0 bosons.
DEEP VERY LARGE ARRAY RADIO CONTINUUM SURVEYS OF GLIMPSE EXTENDED GREEN OBJECTS (EGOs)

We present the results of deep, high angular resolution Very Large Array surveys for radio continuum emission toward a sample of 14 GLIMPSE Extended Green Objects (EGOs). Identified as massive young stellar object (MYSO) outflow candidates based on their extended 4.5 μm emission in Spitzer images, the EGOs in our survey sample are also associated with 6.7 GHz Class II and/or 44 GHz Class I CH3OH masers. No continuum is detected at 3.6 or 1.3 cm toward the majority (57%) of our targets (median rms ∼0.03 and 0.25 mJy beam−1). Only two EGOs are associated with optically thin emission consistent with ultracompact/compact H ii regions. Both of these sources exhibit cm–λ multiplicity, with evidence that one of the less-evolved members may be driving the 4.5 μm outflow. Most of the other cm–λ EGO counterparts are weak (≲1 mJy), unresolved, undetected at 1.3 cm, and characterized by intermediate spectral indices consistent with hypercompact (HC) H ii regions or ionized winds or jets. One EGO centimeter (cm) counterpart, likely an optically thick HC H ii region, is detected only at 1.3 cm and is associated with hot core line emission and H2O and 6.7 GHz CH3OH masers. The results of our exceptionally sensitive survey indicate that EGOs signify an early stage of massive star formation, before photoionizing feedback from the central MYSO significantly influences the (proto)cluster environment. Actively driving outflows (and so, presumably, actively accreting), the surveyed EGOs are associated with significant clump-scale gas reservoirs, providing sufficient material for sustained, rapid accretion.
Hypothesis Generation and Plausibility Assessment.

Abstract : A hypothesis generation model is described which consists of two sub-processes. Hypotheses are retrieved from memory using several data as retrieval cues in the hypothesis retrieval sub-process. These hypotheses are then evaluated by a plausibility assessment sub-process. Two experiments are described. A memory retrieval experiment examined hypothesis retrieval from memory using multiple data. A memory-tagging model is described which predicts the probability of multi-data hypothesis retrieval. Performance in this task was poor; subjects rarely generated an adequate hypothesis set. A second plausibility assessment experiment was performed where subjects estimated the plausibility of specified hypotheses using varying amounts of data. Plausibility assessments for specified hypotheses were usually extreme in comparison to the posterior odds calculated by Bayes' theorem. This result was also attributed to deficiencies in hypothesis retrieval from memory. (Author)