title: New insights on binary black hole formation channels after GWTC-2: young star clusters versus isolated binaries

abstract: With the recent release of the second gravitational-wave transient catalogue (GWTC-2), which introduced dozens of new detections, we are at a turning point of gravitational wave astronomy, as we are now able to directly infer constraints on the astrophysical population of compact objects. Here, we tackle the burning issue of understanding the origin of binary black hole (BBH) mergers. To this effect, we make use of state-of-the-art population synthesis and N-body simulations, to represent two distinct formation channels: BBHs formed in the field (isolated channel) and in young star clusters (dynamical channel). We then use a Bayesian hierarchical approach to infer the distribution of the mixing fraction $f$, with $f=0$ ($f=1$) in the pure dynamical (isolated) channel. %that controls the proportion of isolated and dynamical BBHs. We explore the effects of additional hyper-parameters of the model, such as the spread in metallicity $\sigma_{\text{Z}}$ and the parameter $\sigma_{\text{sp}}$, describing the distribution of spin magnitudes. We find that the dynamical model is slightly favoured with a median value of $f=0.26$, when $\sigma_{\text{sp}}=0.1$ and $\sigma_{\text{Z}}=0.4$. Models with higher spin magnitudes tend to strongly favour dynamically formed BBHs ($f\le{}0.1$ if $\sigma_{\text{sp}}=0.3$). Furthermore, we show that hyper-parameters controlling the rates of the model, such as $\sigma_{\rm Z}$, have a large impact on the inference of the mixing fraction, which rises from $0.18$ to $0.43$ when we increase $\sigma_{\text{Z}}$ from 0.2 to 0.6, for a fixed value of $\sigma_{\text{sp}}=0.1$. Finally, our current set of observations is better described by a combination of both formation channels, as a pure dynamical scenario is excluded at the $99\%$ credible interval, except when the spin magnitude is high.


title: Exceptional Non-Hermitian Phases in Disordered Quantum Wires

abstract: We demonstrate the occurrence of nodal non-Hermitian (NH) phases featuring exceptional degeneracies in chiral-symmetric disordered quantum wires, where NH physics naturally arises from the self-energy in a disorder-averaged Green's function description. Notably, we find that at least two nodal points in the clean Hermitian system are required for exceptional points to be effectively stabilized upon adding disorder. We identify and study experimental signatures of our theoretical findings both in the spectral functions and in mesoscopic quantum transport properties of the considered systems. Our results are quantitatively corroborated and exemplified by numerically exact simulations on a microscopic lattice model. The proposed setting provides a conceptually minimal framework for the realization and study of topological NH phases in quantum many-body systems.


title: Dissecting the inner Galaxy with $\gamma$-ray pixel count statistics

abstract: We combine adaptive template fitting and pixel count statistics in order to assess the nature of the Galactic center excess in Fermi-LAT data. We reconstruct the flux distribution of point sources well below the Fermi-LAT detection threshold, and measure their radial and longitudinal profiles in the inner Galaxy. We find that all point sources $and$ the bulge-correlated diffuse emission each contributes $\mathcal{O}$(10\%) of the total inner Galaxy emission, and disclose a potential sub-threshold point-source contribution to the Galactic center excess.


title: Linear cosmological constraints on 2-body decaying dark matter scenarios and the $S_8$ tension

abstract: The '$S_8$ tension' is a longstanding discrepancy between the cosmic microwave background (CMB) and weak gravitational lensing determination of the amplitude of matter fluctuations, parametrized as $S_8\equiv\sigma_8(\Omega_m/0.3)^{0.5}$, where $\sigma_8$ is the root mean square of matter fluctuations on a 8 $h^{-1}$Mpc scale, and $\Omega_m$ is the total matter abundance. It was recently shown that dark matter (DM) decaying into a massless (dark radiation) and a massive (warm DM) species, with a lifetime $\Gamma^{-1} \simeq 55~(\varepsilon/0.007)^{1.4}$ Gyrs -- where $\varepsilon$ represent the mass-energy fraction transferred to the massless component -- can ease the tension. Thanks to a fast and accurate fluid approximation scheme for the warm species, we perform a comprehensive study of this 2-body decaying DM scenario, discussing in detail its dynamics and its impact on the CMB and linear matter power spectra. We then investigate the implications for the '$S_8$ tension' against a number of changes in the analysis: different $S_8$ priors, marginalization over the lensing information in Planck data, trading Planck high$-\ell$ polarization data for those from the SPTpol and ACTPol surveys, and the inclusion of the recent results from the Xenon1T collaboration. We conclude that the preference for decaying DM, apparent only when the $S_8$ value determined from weak lensing data is added to the analysis, does not sensibly degrade the fit to any of the cosmological data-sets considered, and that the model could potentially explain the anomalous electron recoil excess reported by the Xenon1T collaboration. Furthermore, we explictly show that while current CMB data alone are not sensitive enough to distinguish between standard CDM and decaying DM, next-generation CMB observations (CMB-S4) can unambiguously detect its signature.


title: The dynamics of three nearby E0 galaxies in refracted gravity

abstract: We tested whether refracted gravity, a theory of modified gravity that describes the dynamics of galaxies without the aid of dark matter, can model the dynamics of the three massive elliptical galaxies, NGC 1407, NGC 4486, and NGC 5846, out to $\sim$$10R_{\rm e}$, where the baryonic mass component fades out and dark matter is required in Newtonian gravity. We probed these outer regions with the kinematics of the globular clusters provided by the SLUGGS survey. Refracted gravity mimics dark matter with the gravitational permittivity, a monotonic function of the local mass density depending on three parameters, $\epsilon_0$, $\rho_{\rm c}$, and $Q$, which are expected to be universal. Refracted gravity satisfactorily reproduces the velocity dispersion profiles of the stars and red and blue globular clusters, with stellar mass-to-light ratios in agreement with stellar population synthesis models, and orbital anisotropy parameters consistent with previous results obtained in Newtonian gravity with dark matter. The sets of the three parameters of the gravitational permittivity found for each galaxy are consistent with each other within $\sim$2$\sigma$. We compare the mean $\{\epsilon_0,Q,\log_{10}\left[\rho_{\rm c}\left(\mathrm{g}\, \mathrm{cm}^{-3}\right)\right]\} = \{0.089^{+0.038}_{-0.035}, 0.47^{+0.29}_{-0.21}, -24.25^{+0.28}_{-0.20}\}$ found here with the means of the parameters required to model the rotation curves and vertical velocity dispersion profiles of 30 disk galaxies from the DiskMass Survey (DMS): $\rho_{\rm c}$ and $Q$ agree within 1$\sigma$ with the DMS values, whereas $\epsilon_0$ agrees within 3$\sigma$. This agreement suggests that ellipticals and disk galaxies allow for common values of the parameters of the permittivity and supports the universality of the permittivity function.


title: Cosmic filaments in galaxy cluster outskirts: quantifying finding filaments in redshift space

abstract: Inferring line-of-sight distances from redshifts in and around galaxy clusters is complicated by peculiar velocities, a phenomenon known as the "Fingers of God" (FoG). This presents a significant challenge for finding filaments in large observational data sets as these artificial elongations can be wrongly identified as cosmic web filaments by extraction algorithms. Upcoming targeted wide-field spectroscopic surveys of galaxy clusters and their infall regions such as the WEAVE Wide-Field Cluster Survey motivate our investigation of the impact of FoG on finding filaments connected to clusters. Using zoom-in resimulations of 324 massive galaxy clusters and their outskirts from The ThreeHundred project, we test methods typically applied to large-scale spectroscopic data sets. This paper describes our investigation of whether a statistical compression of the FoG of cluster centres and galaxy groups can lead to correct filament extractions in the cluster outskirts. We find that within 5 R200 (~15 Mpc/h) statistically correcting for FoG elongations of virialized regions does not achieve reliable filament networks compared to reference filament networks based on true positions. This is due to the complex flowing motions of galaxies towards filaments in addition to the cluster infall, which overwhelm the signal of the filaments relative to the volume we probe. While information from spectroscopic redshifts is still important to isolate the cluster regions, and thereby reduce background and foreground interlopers, we expect future spectroscopic surveys of galaxy cluster outskirts to rely on 2D positions of galaxies to extract cosmic filaments.


title: Preheating from target space curvature and unitarity violation: Analysis in field space

abstract: We study particle production and unitarity violation caused by a curved target space right after inflation. We use the inflaton field value instead of cosmic time as the time variable, and derive a semiclassical formula for the spectrum of produced particles. We then derive a simple condition for unitarity violation during preheating, which we confirm by our semiclassical method and numerical solution. This condition depends not only on the target space curvature but also on the height of the inflaton potential at the end of inflation. This condition tells us, for instance, that unitarity is violated in running kinetic inflation and Higgs inflation, while unitarity is conserved in $\alpha$-attractor inflation and Higgs-Palatini inflation.


title: Tunable topological states hosted by unconventional superconductors with adatoms

abstract: Chains of magnetic atoms, placed on the surface of s-wave superconductors, have been established as a laboratory for the study of Majorana bound states. In such systems, the breaking of time reversal due to magnetic moments gives rise to the formation of in-gap states, which hybridize to form one-dimensional topological superconductors. However, in unconventional superconductors even non-magnetic impurities induce in-gap states since scattering of Cooper pairs changes their momentum but not their phase. Here, we propose a path for creating topological superconductivity, which is based on an unconventional superconductor with a chain of non-magnetic adatoms on its surface. The topological phase can be reached by tuning the magnitude and direction of a Zeeman field, such that Majorana zero modes at its boundary can be generated, moved and fused. To demonstrate the feasibility of this platform, we develop a general mapping of films with adatom chains to one-dimensional lattice Hamiltonians. This allows us to study unconventional superconductors such as Sr$_2$RuO$_4$ exhibiting multiple bands and an anisotropic order parameter.


title: Axions: From Magnetars and Neutron Star Mergers to Beam Dumps and BECs

abstract: We review topics in searches for axion-like-particles (ALPs), covering material that is complementary to other recent reviews. The first half of our review covers ALPs in the extreme environments of neutron star cores, the magnetospheres of highly magnetized neutron stars (magnetars), and in neutron star mergers. The focus is on possible signals of ALPs in the photon spectrum of neutron stars and gravitational wave/electromagnetic signals from neutron star mergers. We then review recent developments in laboratory-produced ALP searches, focusing mainly on accelerator-based facilities including beam-dump type experiments and collider experiments. We provide a general-purpose discussion of the ALP search pipeline from production to detection, in steps, and our discussion is straightforwardly applicable to most beam-dump type and reactor experiments. We end with a selective look at the rapidly developing field of ultralight dark matter, specifically the formation of Bose-Einstein Condensates (BECs). We review the properties of BECs of ultralight dark matter and bridge these properties with developments in numerical simulations, and ultimately with their impact on experimental searches.


title: FUMES. II. Ly$\alpha$ Reconstructions of Young, Active M Dwarfs

abstract: The HI Ly$\alpha$ (1215.67 $\unicode{xC5}$) emission line dominates the far-UV spectra of M dwarf stars, but strong absorption from neutral hydrogen in the interstellar medium makes observing Ly$\alpha$ challenging even for the closest stars. As part of the Far-Ultraviolet M-dwarf Evolution Survey (FUMES), the Hubble Space Telescope has observed 10 early-to-mid M dwarfs with ages ranging from $\sim$24 Myr to several Gyrs to evaluate how the incident UV radiation evolves through the lifetime of exoplanetary systems. We reconstruct the intrinsic Ly$\alpha$ profiles from STIS G140L and E140M spectra and achieve reconstructed fluxes with 1-$\sigma$ uncertainties ranging from 5% to a factor of two for the low resolution spectra (G140L) and 3-20% for the high resolution spectra (E140M). We observe broad, 500-1000 km s$^{-1}$ wings of the Ly$\alpha$ line profile, and analyze how the line width depends on stellar properties. We find that stellar effective temperature and surface gravity are the dominant factors influencing the line width with little impact from the star's magnetic activity level, and that the surface flux density of the Ly$\alpha$ wings may be used to estimate the chromospheric electron density. The Ly$\alpha$ reconstructions on the G140L spectra are the first attempted on $\lambda/\Delta\lambda\sim$1000 data. We find that the reconstruction precision is not correlated with SNR of the observation, rather, it depends on the intrinsic broadness of the stellar Ly$\alpha$ line. Young, low-gravity stars have the broadest lines and therefore provide more information at low spectral resolution to the fit to break degeneracies among model parameters.


title: Kernel-based framework to estimate deformations of pneumothorax lung using relative position of anatomical landmarks

abstract: In video-assisted thoracoscopic surgeries, successful procedures of nodule resection are highly dependent on the precise estimation of lung deformation between the inflated lung in the computed tomography (CT) images during preoperative planning and the deflated lung in the treatment views during surgery. Lungs in the pneumothorax state during surgery have a large volume change from normal lungs, making it difficult to build a mechanical model. The purpose of this study is to develop a deformation estimation method of the 3D surface of a deflated lung from a few partial observations. To estimate deformations for a largely deformed lung, a kernel regression-based solution was introduced. The proposed method used a few landmarks to capture the partial deformation between the 3D surface mesh obtained from preoperative CT and the intraoperative anatomical positions. The deformation for each vertex of the entire mesh model was estimated per-vertex as a relative position from the landmarks. The landmarks were placed in the anatomical position of the lung's outer contour. The method was applied on nine datasets of the left lungs of live Beagle dogs. Contrast-enhanced CT images of the lungs were acquired. The proposed method achieved a local positional error of vertices of 2.74 mm, Hausdorff distance of 6.11 mm, and Dice similarity coefficient of 0.94. Moreover, the proposed method could estimate lung deformations from a small number of training cases and a small observation area. This study contributes to the data-driven modeling of pneumothorax deformation of the lung.


title: New Mid-Infrared Imaging Constraints on Companions and Protoplanetary Disks around six Young Stars

abstract: Mid-infrared imaging traces the sub-micron and micron sized dust grains in protoplanetary disks and it offers constraints on the geometrical properties of the disks and potential companions, particularly if those companions have circumplanetary disks. We use the VISIR instrument and its upgrade NEAR on the VLT to take new mid-infrared images of five (pre-)transition disks and one circumstellar disk with proposed planets and obtain the deepest resolved mid-infrared observations to date in order to put new constraints on the sizes of the emitting regions of the disks and the presence of possible companions. We derotate and stack the data to find the disk properties. Where available we compare the data to ProDiMo (Protoplanetary Disk Model) radiation thermo-chemical models to achieve a deeper understanding of the underlying physical processes within the disks. We apply the circularised PSF subtraction method to find upper limits on the fluxes of possible companions and model companions with circumplanetary disks. We resolve three of the six disks and calculate position angles, inclinations and (upper limits to) sizes of emission regions in the disks, improving upper limits on two of the unresolved disks. In all cases the majority of the mid-IR emission comes from small inner disks or the hot inner rims of outer disks. We refine the existing ProDiMo HD 100546 model SED fit in the mid-IR by increasing the PAH abundance relative to the ISM, adopting coronene as the representative PAH, and increase the outer cavity radius to 22.3 AU. We produce flux estimates for putative planetary-mass companions and circumplanetary disks, ruling out the presence of planetary-mass companions with $L > 0.0028 L_{\odot}$ for $a > 180$ AU in the HD 100546 system. Upper limits of 0.5 mJy-30 mJy are obtained at 8 $\mu$m-12 $\mu$m for potential companions in the different disks.


title: Studies of nonresonant Higgs pair production at electron-proton colliders

abstract: The measurement of the Higgs quartic coupling modifier between a Higgs boson pair and a vector boson pair, $\kappa _{2V}$, is expected to be achieved from vector-boson fusion (VBF) production of a Higgs boson pair. However, this process involves another unmeasured parameter, the trilinear Higgs self-coupling modifier $\kappa _{\lambda }$. A sensitivity analysis should target both parameters. Since the LHC cannot avoid the gluon fusion pollution, which becomes severe for non-SM $\kappa _{\lambda }$, an electron-proton collider is more appropriate for the comprehensive measurement. In this regard, we study the VBF production of a Higgs boson pair in the $b\bar{b}b\bar{b}$ final state at the LHeC and FCC-he. Performing detailed analysis using the simulated dataset, we devise the search strategy specialized at the LHeC and FCC-he and give a prediction for the sensitivity to both $\kappa _{2V}$ and $\kappa _{\lambda }$. We find that the two electron-proton colliders have high potential: the LHeC has similar exclusion prospects as the HL-LHC; the FCC-he is extremely efficient, excluding the parameter space outside $\kappa _{2V} \in [0.8, 1.2]$ and $\kappa _{\lambda }\in [1, 2.5]$ at 95% C.L. for the total luminosity of $10$ ab$^{-1}$ and 10% uncertainty on the background yields.


title: Sandpile models in the large

abstract: This contribution is a review of the deep and powerful connection between the large scale properties of critical systems and their description in terms of a field theory. Although largely applicable to many other models, the details of this connection are illustrated in the class of two-dimensional Abelian sandpile models. Bulk and boundary height variables, spanning tree related observables, boundary conditions and dissipation are all discussed in this context and found to have a proper match in the field theoretic description.


title: Adding Flavor to the Narain Ensemble

abstract: We revisit the proposal that the ensemble average over free boson CFTs in two dimensions - parameterized by Narain's moduli space - is dual to an exotic theory of gravity in three dimensions dubbed $U(1)$ gravity. We consider flavored partition functions, where the usual genus $g$ partition function is weighted by Wilson lines coupled to the conserved $U(1)$ currents of these theories. These flavored partition functions obey a heat equation which relates deformations of the Riemann surface moduli to those of the chemical potentials which measure these $U(1)$ charges. This allows us to derive a Siegel-Weil formula which computes the average of these flavored partition functions. The result takes the form of a "sum over geometries," albeit with modifications relative to the unflavored case.


title: An ALMA survey of the SCUBA-2 Cosmology Legacy SurveyUKIDSS/UDS Field: Halo Masses for Submillimetre Galaxies

abstract: We present an analysis of the spatial clustering of a large sample of high-resolution, interferometically identified, submillimetre galaxies (SMGs). We measure the projected cross-correlation function of ~350 SMGs in the UKIDSS Ultra Deep-Survey Field across a redshift range of $z=1.5-3$ utilising a method that incorporates the uncertainties in the redshift measurements for both the SMGs and cross-correlated galaxies through sampling their full probability distribution functions. By measuring the absolute linear bias of the SMGs we derive halo masses of $\log_{10}(M_{\rm halo}[{h^{-1}\,\rm M_{\odot}}])\sim12.8$ with no evidence of evolution in the halo masses with redshift, contrary to some previous work. From considering models of halo mass growth rates we predict that the SMGs will reside in haloes of mass $\log_{10}(M_{\rm halo}[{h^{-1}\,\rm M_{\odot}}])\sim13.2$ at $z=0$, consistent with the expectation that the majority of $z=1.5-3$ SMGs will evolve into present-day spheroidal galaxies. Finally, comparing to models of stellar-to-halo mass ratios, we show that SMGs may correspond to systems that are maximally efficient at converting their gas reservoirs into stars. We compare them to a simple model for gas cooling in halos that suggests that the unique properties of the SMG population, including their high levels of star-formation and their redshift distribution, are a result of the SMGs being the most massive galaxies that are still able to accrete cool gas from their surrounding intragalactic medium.


title: References in Wikipedia: The Editors' Perspective

abstract: References are an essential part of Wikipedia. Each statement in Wikipedia should be referenced. In this paper, we explore the creation and collection of references for new Wikipedia articles from an editors' perspective. We map out the workflow of editors when creating a new article, emphasising how they select references.


title: Symmetric distinguishability as a quantum resource

abstract: We develop a resource theory of symmetric distinguishability, the fundamental objects of which are elementary quantum information sources, i.e., sources that emit one of two possible quantum states with given prior probabilities. Such a source can be represented by a classical-quantum state of a composite system $XA$, corresponding to an ensemble of two quantum states, with $X$ being classical and $A$ being quantum. We study the resource theory for two different classes of free operations: $(i)$ ${\rm{CPTP}}_A$, which consists of quantum channels acting only on $A$, and $(ii)$ conditional doubly stochastic (CDS) maps acting on $XA$. We introduce the notion of symmetric distinguishability of an elementary source and prove that it is a monotone under both these classes of free operations. We study the tasks of distillation and dilution of symmetric distinguishability, both in the one-shot and asymptotic regimes. We prove that in the asymptotic regime, the optimal rate of converting one elementary source to another is equal to the ratio of their quantum Chernoff divergences, under both these classes of free operations. This imparts a new operational interpretation to the quantum Chernoff divergence. We also obtain interesting operational interpretations of the Thompson metric, in the context of the dilution of symmetric distinguishability.

categories: quant-ph cs.IT math-ph math.IT math.MP math.ST stat.TH


title: General dispersion properties of magnetized plasmas with drifting bi-Kappa distributions. DIS-K: DIspersion Solver for Kappa plasmas

abstract: Space plasmas are known to be out of (local) thermodynamic equilibrium, as observations show direct or indirect evidences of non-thermal velocity distributions of plasma particles. Prominent are the anisotropies relative to the magnetic field, anisotropic temperatures, field-aligned beams or drifting populations, but also, the suprathermal populations enhancing the high-energy tails of the observed distributions. Drifting bi-Kappa distribution functions can provide a good representation of these features and enable for a kinetic fundamental description of the dispersion and stability of these collision-poor plasmas, where particle-particle collisions are rare but wave-particle interactions appears to play a dominant role in the dynamic. In the present paper we derive the full set of components of the dispersion tensor for magnetized plasma populations modeled by drifting bi-Kappa distributions. A new solver called DIS-K (DIspersion Solver for Kappa plasmas) is proposed to solve numerically the dispersion relations of high complexity. The solver is validated by comparing to the damped and unstable wave solutions obtained with other codes, operating in the limits of drifting Maxwellian and non-drifting Kappa models. These new theoretical tools enable more realistic characterizations, both analytical and numerical, of wave fluctuations and instabilities in complex kinetic configurations measured in-situ in space plasmas.


title: Computing the Discrete Fourier Transform of signals with spectral frequency support

abstract: We consider the problem of finding the Discrete Fourier Transform (DFT) of $N-$ length signals with known frequency support of size $k$. When $N$ is a power of 2 and the frequency support is a spectral set, we provide an $O(k \log k)$ algorithm to compute the DFT. Our algorithm uses some recent characterizations of spectral sets and is a generalization of the standard radix-2 algorithm.


title: Complexity Conjecture of Regular Electric Black Holes

abstract: Recently, the action growth rate of a variety of four-dimensional regular magnetic black holes in F frame is obtained in [1]. Here, we study the action growth rate of a four-dimensional regular electric black hole in P frame that is the Legendre transformation of F frame. We also investigate the action growth rates of the Wheeler-De Witt patch for such black hole configurations at the late time and examine the Lloyd bound on the rate of quantum computation. We show that although the form of the Lloyd bound formula remains unaltered, the energy modifies due to a non-vanishing trace of the energy-momentum tensor and some extra terms may appear in the total growth action. We also investigate the asymptotic behavior of complexity in two conjectures for static and rotating regular black holes.


title: A Large-Scale, Automated Study of Language Surrounding Artificial Intelligence

abstract: This work presents a large-scale analysis of artificial intelligence (AI) and machine learning (ML) references within news articles and scientific publications between 2011 and 2019. We implement word association measurements that automatically identify shifts in language co-occurring with AI/ML and quantify the strength of these word associations. Our results highlight the evolution of perceptions and definitions around AI/ML and detect emerging application areas, models, and systems (e.g., blockchain and cybersecurity). Recent small-scale, manual studies have explored AI/ML discourse within the general public, the policymaker community, and researcher community, but are limited in their scalability and longevity. Our methods provide new views into public perceptions and subject-area expert discussions of AI/ML and greatly exceed the explanative power of prior work.


title: Thermodynamic properties of a charged particle in non-uniform magnetic field

abstract: We solve the Schr\"odinger equation for a charged particle in the non-uniform magnetic field by using the Nikiforov-Uvarov method. We find the energy spectrum and the wave function, and present an explicit relation for the partition function. We give analytical expressions for the thermodynamic properties such as mean energy and magnetic susceptibility, and analyze the entropy, free energy and specific heat of this system numerically. It is concluded that the specific heat and magnetic susceptibility increase with external magnetic field strength and different values of the non-uniformity parameter, $\alpha$, in the low temperature region, while the mentioned quantities are decreased in high temperature regions due to increasing the occupied levels at these regions. The non-uniformity parameter has the same effect with a constant value of the magnetic field on the behavior of thermodynamic properties. On the other hand, the results show that transition from positive to negative magnetic susceptibility depends on the values of non-uniformity parameter in the constant external magnetic field.


title: Facilitating Asynchronous Participatory Design of Open Source Software: Bringing End Users into the Loop

abstract: As open source software (OSS) becomes increasingly mature and popular, there are significant challenges with properly accounting for usability concerns for the diverse end users. Participatory design, where multiple stakeholders collaborate on iterating the design, can be an efficient way to address the usability concerns for OSS projects. However, barriers such as a code-centric mindset and insufficient tool support often prevent OSS teams from effectively including end users in participatory design methods. This paper proposes preliminary contributions to this problem through the user-centered exploration of (1) a set of design guidelines that capture the needs of OSS participatory design tools, (2) two personas that represent the characteristics of OSS designers and end users, and (3) a low-fidelity prototype tool for end user involvement in OSS projects. This work paves the road for future studies about tool design that would eventually help improve OSS usability.


title: The Catenary Robot: Design and Control of a Cable Propelled by Two Quadrotors

abstract: Transporting objects using aerial robots has been widely studied in the literature. Still, those approaches always assume that the connection between the quadrotor and the load is made in a previous stage. However, that previous stage usually requires human intervention, and autonomous procedures to locate and attach the object are not considered. Additionally, most of the approaches assume cables as rigid links, but manipulating cables requires considering the state when the cables are hanging. In this work, we design and control a catenary robot. Our robot is able to transport hook-shaped objects in the environment. The robotic system is composed of two quadrotors attached to the two ends of a cable. By defining the catenary curve with five degrees of freedom, position in 3-D, orientation in the z-axis, and span, we can drive the two quadrotors to track a given trajectory. We validate our approach with simulations and real robots. We present four different scenarios of experiments. Our numerical solution is computationally fast and can be executed in real-time.


title: Software Engineering for Robotic Systems:a systematic mapping study

abstract: Robots are being applied in a vast range of fields, leading researchers and practitioners to write tasks more complex than in the past. The robot software complexity increases the difficulty of engineering the robot's software components with quality requirements. Researchers and practitioners have applied software engineering (SE) approaches and robotic domains to address this issue in the last two decades. This study aims to identify, classify and evaluate the current state-of-the-art Software Engineering for Robotic Systems (SERS). We systematically selected and analyzed 50 primary studies extracted from an automated search on Scopus digital library and manual search on the two editions of the RoSE workshop. We present three main contributions. Firstly, we provide an analysis from three following perspectives: demographics of publication, SE areas applied in robotics domains, and RSE findings. Secondly, we show a catalogue of research studies that apply software engineering techniques in the robotic domain, classified with the SWEBOK guide. We have identified 5 of 15 software engineering areas from the SWEBOK guide applied explicitly in robotic domains. The majority of the studies focused on the development phase (design, models and methods and construction). Testing and quality software areas have little coverage in SERS. Finally, we identify research opportunities and gaps in software engineering for robotic systems for future studies.


title: Superconducting Quantum Interference at the Atomic Scale

abstract: A single spin in a Josephson junction can reverse the flow of the supercurrent. At mesoscopic length scales, such $\pi$-junctions are employed in various instances from finding the pairing symmetry to quantum computing. In Yu-Shiba-Rusinov (YSR) states, the atomic scale counterpart of a single spin in a superconducting tunnel junction, the supercurrent reversal so far has remained elusive. Using scanning tunneling microscopy (STM), we demonstrate such a 0 to $\pi$ transition of a Josephson junction through a YSR state as we continuously change the impurity-superconductor coupling. We detect the sign change in the critical current by exploiting a second transport channel as reference in analogy to a superconducting quantum interference device (SQUID), which provides the STM with the required phase sensitivity. The measured change in the Josephson current is a signature of the quantum phase transition and allows its characterization with unprecedented resolution.


title: Impact of locus coeruleus and its projections on memory and aging

abstract: Introduction: Locus coeruleus (LC) is the primary source of norepinephrine to the brain and its efferent projections innervate many brain regions, including the thalamus. LC degrades with normal aging, but not much is known regarding whether its structural connectivity evolves with age or predicts aspects of cognition. Methods: Here, we use high-resolution diffusion tensor imaging (DTI)-based tractography to examine structural connectivity between LC and the thalamus in younger and older adults. Results: We found LC projections to be bundled in a fiber tract anatomically consistent with the central tegmental tract (CTT) and branch from this tract into the thalamus. The older cohort exhibited a significant reduction in mean and radial diffusivity within CTT as compared to the young cohort. We also observed a significant correlation between CTT mean, axial, and radial diffusivities and memory performance (delayed recall) in the older adult cohort. Discussion: These observations suggest that although LC projections degrade with age, the degree of degradation is associated with cognitive abilities in older adults.


title: Online Mobile App Usage as an Indicator of Sleep Behavior and Job Performance

abstract: Sleep is critical to human function, mediating factors like memory, mood, energy, and alertness; therefore, it is commonly conjectured that a good night's sleep is important for job performance. However, both real-world sleep behavior and job performance are hard to measure at scale. In this work, we show that people's everyday interactions with online mobile apps can reveal insights into their job performance in real-world contexts. We present an observational study in which we objectively tracked the sleep behavior and job performance of salespeople (N = 15) and athletes (N = 19) for 18 months, using a mattress sensor and online mobile app. We first demonstrate that cumulative sleep measures are correlated with job performance metrics, showing that an hour of daily sleep loss for a week was associated with a 9.0% and 9.5% reduction in performance of salespeople and athletes, respectively. We then examine the utility of online app interaction time as a passively collectible and scalable performance indicator. We show that app interaction time is correlated with the performance of the athletes, but not the salespeople. To support that our app-based performance indicator captures meaningful variation in psychomotor function and is robust against potential confounds, we conducted a second study to evaluate the relationship between sleep behavior and app interaction time in a cohort of 274 participants. Using a generalized additive model to control for per-participant random effects, we demonstrate that participants who lost one hour of daily sleep for a week exhibited 5.0% slower app interaction times. We also find that app interaction time exhibits meaningful chronobiologically consistent correlations with sleep history, time awake, and circadian rhythms. Our findings reveal an opportunity for online app developers to generate new insights regarding cognition and productivity.


title: Infinitely many virtual geometric triangulations

abstract: We prove that every cusped hyperbolic 3-manifold has a finite cover admitting infinitely many geometric ideal triangulations. Furthermore, every long Dehn filling of one cusp in this cover admits infinitely many geometric ideal triangulations. This cover is constructed in several stages, using results about separability of peripheral subgroups and their double cosets, in addition to a new conjugacy separability theorem that may be of independent interest. The infinite sequence of geometric triangulations is supported in a geometric submanifold associated to one cusp, and can be organized into an infinite trivalent tree of Pachner moves.


title: Prior Image-Constrained Reconstruction using Style-Based Generative Models

abstract: Obtaining a useful estimate of an object from highly incomplete imaging measurements remains a holy grail of imaging science. Deep learning methods have shown promise in learning object priors or constraints to improve the conditioning of an ill-posed imaging inverse problem. In this study, a framework for estimating an object of interest that is semantically related to a known prior image, is proposed. An optimization problem is formulated in the disentangled latent space of a style-based generative model, and semantically meaningful constraints are imposed using the disentangled latent representation of the prior image. Stable recovery from incomplete measurements with the help of a prior image is theoretically analyzed. Numerical experiments demonstrating the superior performance of our approach as compared to related methods are presented.


title: Optimized Diffusion Imaging for Brain Structural Connectome Analysis

abstract: High angular resolution diffusion imaging (HARDI) is a type of diffusion magnetic resonance imaging (dMRI) that measures diffusion signals on a sphere in q-space. It has been widely used in data acquisition for human brain structural connectome analysis. To more accurately estimate the structural connectome, dense samples in q-space are often acquired, potentially resulting in long scanning times and logistical challenges. This paper proposes a statistical method to select q-space directions optimally and estimate the local diffusion function from sparse observations. The proposed approach leverages relevant historical dMRI data to calculate a prior distribution to characterize local diffusion variability in each voxel in a template space. For a new subject to be scanned, the priors are mapped into the subject-specific coordinate and used to help select the best q-space samples. Simulation studies demonstrate big advantages over the existing HARDI sampling and analysis framework. We also applied the proposed method to the Human Connectome Project data and a dataset of aging adults with mild cognitive impairment. The results indicate that with very few q-space samples (e.g., 15 or 20), we can recover structural brain networks comparable to the ones estimated from 60 or more diffusion directions with the existing methods. n Connectome Project data demonstrate that our proposed method provides substantial advantages over its competitors.


title: Johari-Goldstein heterogeneous dynamics in a model polymer

abstract: The heterogeneous character of the Johari-Goldstein (JG) relaxation is evidenced by molecular-dynamics simulation of a model polymer system. A double-peaked evolution of dynamic heterogeneity (DH), with maxima located at JG and structural relaxation time scales, is observed and mechanistically explained. {The short-time single-particle displacement during JG relaxation weakly correlates with the long-time one observed during structural relaxation}.


title: Preserved central model for faster bidirectional compression in distributed settings

abstract: We develop a new approach to tackle communication constraints in a distributed learning problem with a central server. We propose and analyze a new algorithm that performs bidirectional compression and achieves the same convergence rate as algorithms using only uplink (from the local workers to the central server) compression. To obtain this improvement, we design MCM, an algorithm such that the downlink compression only impacts local models, while the global model is preserved. As a result, and contrary to previous works, the gradients on local servers are computed on perturbed models. Consequently, convergence proofs are more challenging and require a precise control of this perturbation. To ensure it, MCM additionally combines model compression with a memory mechanism. This analysis opens new doors, e.g. incorporating worker dependent randomized-models and partial participation.


title: Spherical accretion: Bondi, Michel and rotating black holes

abstract: In this work we revisit the steady state, spherically symmetric gas accretion problem from the non-relativistic regime to the ultra-relativistic one. We first perform a detailed comparison between the Bondi and Michel models, and show how the mass accretion rate in the Michel solution approaches a constant value as the fluid temperature increases, whereas the corresponding Bondi value continually decreases, the difference between these two predicted values becoming arbitrarily large at ultra-relativistic temperatures. Additionally, we extend the Michel solution to the case of a fluid with an equation of state corresponding to a monoatomic, relativistic gas. Finally, using general relativistic hydrodynamic simulations, we study spherical accretion onto a rotating black hole, exploring the influence of the black hole spin on the mass accretion rate, the flow morphology and characteristics, and the sonic surface. The effect of the black hole spin becomes more significant as the gas temperature increases and as the adiabatic index $\gamma$ stiffens. For an ideal gas in the ultra-relativistic limit ($\gamma=4/3$), we find a reduction of 10 per cent in the mass accretion rate for a maximally rotating black hole as compared to a non-rotating one, while this reduction is of up to 50 per cent for a stiff fluid ($\gamma=2$).


title: Behavior of solutions and chaos in nonlinear reaction-diffusion PDE's related to cancer

abstract: In this paper, we study the mixed problem for new class of nonlinear reaction-diffusion PDEs with the nonlocal nonlinearity with variable exponents. Here we obtain results on solvability and behavior of solutions both when these are yet dissipative and when these get become non-dissipative problems. These problems are possess special properties: these can be to remain dissipative all time or can get become non dissipative after finite time. It is shown that if the studied problems get become non-dissipative can have an infinite number of different unstable solutions with varying speeds and also an infinite number of different states of spatio-temporal (diffusion) chaos that are generated by cascades of bifurcations governed by the corresponding steady states. The behavior of these solutions is analyzed in detail and it is explained how space-time chaos can arise. Since these problems desctibe the dynamics of cancer, we explain the behavior of the dynamics of cancer using obtained here results.


title: SALSA: Self-Adjusting Lean Streaming Analytics

abstract: Counters are the fundamental building block of many data sketching schemes, which hash items to a small number of counters and account for collisions to provide good approximations for frequencies and other measures. Most existing methods rely on fixed-size counters, which may be wasteful in terms of space, as counters must be large enough to eliminate any risk of overflow. Instead, some solutions use small, fixed-size counters that may overflow into secondary structures. This paper takes a different approach. We propose a simple and general method called SALSA for dynamic re-sizing of counters and show its effectiveness. SALSA starts with small counters, and overflowing counters simply merge with their neighbors. SALSA can thereby allow more counters for a given space, expanding them as necessary to represent large numbers. Our evaluation demonstrates that, at the cost of a small overhead for its merging logic, SALSA significantly improves the accuracy of popular schemes (such as Count-Min Sketch and Count Sketch) over a variety of tasks. Our code is released as open-source [1].


title: Experimental and numerical evidence of intensified non-linearity at the micro and nano scale: The lipid coated acoustic bubble

abstract: A lipid coated bubble (LCB) oscillator is a very interesting non-smooth oscillator with many important applications ranging from industry and chemistry to medicine. However, due to the complex behavior of the coating intermixed with the nonlinear behavior of the bubble itself, the dynamics of the LCB are not well understood. In this work, lipid coated Definity microbubbles (MBs) were sonicated with 25 MHz 30 cycle pulses with pressure amplitudes between 70kPa-300kPa. Here, we report higher order subharmonics in the scattered signals of single MBs at low amplitude high frequency ultrasound excitations. Experimental observations reveal the generation of period 2(P2), P3, and two different P4 oscillations at low excitation amplitude. Despite the reduced damping of the uncoated bubble system, such enhanced nonlinear oscillations has not been observed and can not be theoretically explained for the uncoated bubble. To investigate the mechanism of the enhanced nonlinearity, the bifurcation structure of the lipid coated MBs is studied for a wide range of MBs sizes and shell parameters. Consistent with the experimental results, we show that this unique oscillator can exhibit chaotic oscillations and higher order subharmonics at excitation amplitudes considerably below those predicted by the uncoated oscillator. Buckling or rupture of the shell and the dynamic variation of the shell elasticity causes the intensified non-linearity at low excitations. The simulated scattered pressure by single MBs are in good agreement with the experimental signals.

categories: physics.flu-dyn cond-mat.soft nlin.CD physics.app-ph


title: High-fidelity laser-free universal control of two trapped ion qubits

abstract: Universal control of multiple qubits -- the ability to entangle qubits and to perform arbitrary individual qubit operations -- is a fundamental resource for quantum computation, simulation, and networking. Here, we implement a new laser-free scheme for universal control of trapped ion qubits based on microwave magnetic fields and radiofrequency magnetic field gradients. We demonstrate high-fidelity entanglement and individual control by creating symmetric and antisymmetric two-qubit maximally entangled states with fidelities in the intervals [0.9983, 1] and [0.9964, 0.9988], respectively, at 68% confidence, corrected for state initialization error. This technique is robust against multiple sources of decoherence, usable with essentially any trapped ion species, and has the potential to perform simultaneous entangling operations on many pairs of ions without increasing control signal power or complexity.


title: Entanglement Diagnostics for Efficient Quantum Computation

abstract: We consider information spreading measures in randomly initialized variational quantum circuits and introduce entanglement diagnostics for efficient variational quantum/classical computations. We establish a robust connection between entanglement measures and optimization accuracy by solving two eigensolver problems for Ising Hamiltonians with nearest-neighbor and long-range spin interactions. As the circuit depth affects the average entanglement of random circuit states, the entanglement diagnostics can identify a high-performing depth range for optimization tasks encoded in local Hamiltonians. We argue, based on an eigensolver problem for the Sachdev-Ye-Kitaev model, that entanglement alone is insufficient as a diagnostic to the approximation of volume-law entangled target states and that a large number of circuit parameters is needed for such an optimization task.


title: Several topological indices of random caterpillars

abstract: In chemical graph theory, caterpillar trees have been an appealing model to represent the molecular structures of benzenoid hydrocarbon. Meanwhile, topological index has been thought of as a powerful tool for modeling quantitative structure-property relationship and quantitative structure-activity between molecules in chemical compounds. In this article, we consider a class of caterpillar trees that are incorporated with randomness, called random caterpillars, and investigate several popular topological indices of this random class, including Zagreb index, Randi\'{c} index and Wiener index, etc. Especially, a central limit theorem is developed for the asymptotic distribution of the Zagreb index of random caterpillars.


title: Confined Hyperbolic Metasurface Modes for Structured Illumination Microscopy

abstract: Plasmonic hyperbolic metasurfaces have emerged as an effective platform for manipulating the propagation of light. Here, confined modes on arrays of silver nanoridges that exhibit hyperbolic dispersion are used to demonstrate and model a super-resolution imaging technique based on structured illumination microscopy. A spatial resolution of ~75 nm at 458 nm is demonstrated, which is 3.1 times better than an equivalent diffraction limited image. This work emphasizes the ability to engineer the properties of confined optical modes and to leverage those characteristics for applications in imaging. The results of this work could lead to improved approaches for super-resolution imaging using designed sub-wavelength structures.


title: Collision rates of planetesimals near mean-motion resonances

abstract: In circumstellar discs, collisional grinding of planetesimals produces second-generation dust. While it remains unclear whether this ever becomes a major component of the total dust content, the presence of such dust, and potentially the substructure within, it can be used to explore a disc's physical conditions. A perturbing planet produces nonaxisymmetric structures and gaps in the dust, regardless of its origin. The dynamics of planetesimals, however, will be very different than that of small dust grains due to weaker gas interactions. Therefore, planetesimal collisions could create dusty disc structures that would not exist otherwise. In this work, we use N-body simulations to investigate the collision rate profile of planetesimals near mean-motion resonances. We find that a distinct bump or dip feature is produced in the collision profile, the presence of which depends on the libration width of the resonance and the separation between the peri- and apocenter distances of the edges of the resonance. The presence of one of these two features depends on the mass and eccentricity of the planet. Assuming that the radial dust emission traces the planetesimal collision profile, the presence of a bump or dip feature in the dust emission at the 2:1 mean-motion resonance can constrain the orbital properties of the perturbing planet. This assumption is valid, so long as radial drift does not play a significant role during the collisional cascade process. Under this assumption, these features in the dust emission should be marginally observable in nearby protoplanetary disks with ALMA.


title: Quantum hydrodynamics of the spinor Bose-Einstein condensate at non-zero temperatures

abstract: Finite temperature hydrodynamic model is derived for the spin-1 ultracold bosons by the many-particle quantum hydrodynamic method. It is presented as the two fluid model of the BEC and normal fluid. The linear and quadratic Zeeman effects are included. Scalar and spin-spin like short-range interactions are considered in the first order by the interaction radius. It is also represented as the set of two nonlinear Pauli equations. The spectrum of the bulk collective excitations is considered for the ferromagnetic phase in the small temperature limit. The spin wave is not affected by the presence of the small temperature in the described minimal coupling model, where the thermal part of the spin-current of the normal fluid is neglected. The two sound waves are affected by the spin evolution in the same way as the change of spectrum of the single sound wave in BEC, where speed of sound is proportional to $g_{1}+g_{2}$ with $g_{i}$ are the interaction constants.


title: Mixed QCD-EW corrections to $\boldsymbol{pp\!\to\!\ell\nu_\ell\!+\!X}$ at the LHC

abstract: We consider the hadroproduction of a massive charged lepton plus the corresponding neutrino through the Drell-Yan mechanism. We present a new computation of the mixed QCD-EW corrections to this process. The cancellation of soft and collinear singularities is achieved by using a formulation of the $q_T$ subtraction formalism derived from the next-to-next-to-leading order QCD calculation for heavy-quark production. For the first time, all the real and virtual contributions due to initial- and final-state radiation are consistently included without any approximation, except for the finite part of the two-loop virtual correction, which is computed in the pole approximation and suitably improved through a reweighting procedure. We demonstrate that our calculation is reliable in both on-shell and off-shell regions, thereby providing the first prediction of the mixed QCD-EW corrections in the entire region of the lepton transverse momentum. The computed corrections are in qualitative agreement with what we obtain in a factorised approach of QCD and EW corrections. At large values of the lepton $p_T$, the mixed QCD-EW corrections are negative and increase in size, to about $-20\%$ with respect to the next-to-leading order QCD result at $p_T=500\,$GeV.


title: Quantum Annealing for Large MIMO Downlink Vector Perturbation Precoding

abstract: In a multi-user system with multiple antennas at the base station, precoding techniques in the downlink broadcast channel allow users to detect their respective data in a non-cooperative manner. Vector Perturbation Precoding (VPP) is a non-linear variant of transmit-side channel inversion that perturbs user data to achieve full diversity order. While promising, finding an optimal perturbation in VPP is known to be an NP-hard problem, demanding heavy computational support at the base station and limiting the feasibility of the approach to small MIMO systems. This work proposes a radically different processing architecture for the downlink VPP problem, one based on Quantum Annealing (QA), to enable the applicability of VPP to large MIMO systems. Our design reduces VPP to a quadratic polynomial form amenable to QA, then refines the problem coefficients to mitigate the adverse effects of QA hardware noise. We evaluate our proposed QA based VPP (QAVP) technique on a real Quantum Annealing device over a variety of design and machine parameter settings. With existing hardware, QAVP can achieve a BER of $10^{-4}$ with 100$\mu$s compute time, for a 6$\times$6 MIMO system using 64 QAM modulation at 32 dB SNR.


title: Elucidating the effect of intermediate resonances in the quark interaction kernel on the time-like electromagnetic pion form factor

abstract: An exploratory study of the time-like pion electromagnetic form factor in a Poincar\'e-covariant bound state formalism in the isospin symmetric limit is presented. Starting from a quark interaction kernel representing gluon-intermediated interactions for valence-type quarks, non-valence effects are included by introducing pions as explicit degrees of freedom. The two most important qualitative aspects are, in view of the presented study, the opening of the dominant $\rho$-meson decay channel and the presence of a multi-particle branch cut setting in when the two-pion threshold is crossed. Based on a recent respective computation of the quark-photon vertex, the pion electromagnetic form factor for space-like and time-like kinematics is calculated. The obtained results for its absolute value and its phase compare favorably to the available experimental data, and they are analyzed in detail by confronting them to the expectations based on an isospin-symmetric version of a vector-meson dominance model.


title: Atmospheric ray tomography for low-Z materials: implementing new methods on a proof-of-concept tomograph

abstract: Cosmic rays interacting with the atmosphere result in a flux of secondary particles including muons and electrons. Atmospheric ray tomography (ART) uses the muons and electrons for detecting objects and their composition. This paper presents new methods and a proof-of-concept tomography system developed for the ART of low-Z materials. We introduce the Particle Track Filtering (PTF) and Multi-Modality Tomographic Reconstruction (MMTR) methods. Based on Geant4 models we optimized the tomography system, the parameters of PTF and MMTR. Based on plastic scintillating fiber arrays we achieved the spatial resolution 120 $\mu$m and 1 mrad angular resolution in the track reconstruction. We developed a novel edge detection method to separate the logical volumes of scanned object. We show its effectiveness on single (e.g. water, aluminum) and double material (e.g. explosive RDX in flesh) objects. The tabletop tomograph we built showed excellent agreement between simulations and measurements. We are able to increase the discriminating power of ART on low-Z materials significantly. This work opens up new routes for the commercialization of ART tomography.


title: Certifying the Classical Simulation Cost of a Quantum Channel

abstract: A fundamental objective in quantum information science is to determine the cost in classical resources of simulating a particular quantum system. The classical simulation cost is quantified by the signaling dimension which specifies the minimum amount of classical communication needed to perfectly simulate a channel's input-output correlations when unlimited shared randomness is held between encoder and decoder. This paper provides a collection of device-independent tests that place lower and upper bounds on the signaling dimension of a channel. Among them, a single family of tests is shown to determine when a noisy classical channel can be simulated using an amount of communication strictly less than either its input or its output alphabet size. In addition, a family of eight Bell inequalities is presented that completely characterize when any four-outcome measurement channel, such as a Bell measurement, can be simulated using one communication bit and shared randomness. Finally, we bound the signaling dimension for all partial replacer channels in $d$ dimensions. The bounds are found to be tight for the special case of the erasure channel.


title: Auto-Detection of Tibial Plateau Angle in Canine Radiographs Using a Deep Learning Approach

abstract: Stifle joint issues are a major cause of lameness in dogs and it can be a significant marker for various forms of diseases or injuries. A known Tibial Plateau Angle (TPA) helps in the reduction of the diagnosis time of the cause. With the state of the art object detection algorithm YOLO, and its variants, this paper delves into identifying joints, their centroids and other regions of interest to draw multiple line axes and finally calculating the TPA. The methods investigated predicts successfully the TPA within the normal range for 80 percent of the images.


title: The Second Vanishing Theorem for Local Cohomology Modules

abstract: We prove the Second Vanishing Theorem for local cohomology modules of an unramified regular local ring in its full generality and provide a new proof of the Second Vanishing Theorem in prime characteristic $p$. As an application of our vanishing theorem for unramified regular local rings, we extend our topological characterization of the highest Lyubeznik number of an equi-characteristic local ring to the setting of mixed characteristic. An upper bound of local cohomological dimension in mixed characteristic is also obtained by partially extending Lyubeznik's vanishing theorem in prime characteristic $p$ to mixed characteristic.


title: Non-Abelian charged nodal links in dielectric photonic crystal

abstract: A nodal link is a special form of a line degeneracy (a nodal line) between adjacent bands in the momentum space of a three-dimensional topological crystal. Unlike nodal chains or knots, a nodal link consists of two or more mutually-linked rings that do not touch each other. Recent studies on non-Abelian band topology revealed that the topological charges of the nodal links can have the properties of quaternions. However, a photonic crystal that has a nodal link with non-Abelian charges has not been reported. Here, we propose dielectric photonic crystals in forms of double diamond structures which realize the nodal links in the momentum space. By examining the evolution of the eigenstate correlations along the closed loops which enclose the nodal line(s) of the links, their non-Abelian topological charges are also analyzed. The proposed design scheme and theoretical approach in this work will allow for experimental observation of photonic non-Abelian charges in purely dielectric materials and facilitate the control of the degeneracy in complex photonic structures.


title: Self-assembly of biomolecular condensates with shared components

abstract: Biomolecular condensates self-assemble when proteins and nucleic acids spontaneously demix to form droplets within the crowded intracellular milieu. This simple mechanism underlies the formation of a wide variety of membraneless compartments in living cells. To understand how multiple condensates with distinct compositions can self-assemble in such a heterogeneous system, we study a minimal model in which we can "program" the pairwise interactions among hundreds of species. We show that the number of distinct condensates that can be reliably assembled grows superlinearly with the number of species in the mixture when the condensates are allowed to share components. Furthermore, we show that we can predict the maximum number of distinct condensates in a mixture without knowing the details of the pairwise interactions. Simulations of condensate growth confirm these predictions and suggest that the physical rules governing the achievable complexity of condensate-mediated spatial organization are broadly applicable to biomolecular mixtures.


title: TeethTap: Recognizing Discrete Teeth Gestures Using Motion and Acoustic Sensing on an Earpiece

abstract: Teeth gestures become an alternative input modality for different situations and accessibility purposes. In this paper, we present TeethTap, a novel eyes-free and hands-free input technique, which can recognize up to 13 discrete teeth tapping gestures. TeethTap adopts a wearable 3D printed earpiece with an IMU sensor and a contact microphone behind both ears, which works in tandem to detect jaw movement and sound data, respectively. TeethTap uses a support vector machine to classify gestures from noise by fusing acoustic and motion data, and implements K-Nearest-Neighbor (KNN) with a Dynamic Time Warping (DTW) distance measurement using motion data for gesture classification. A user study with 11 participants demonstrated that TeethTap could recognize 13 gestures with a real-time classification accuracy of 90.9% in a laboratory environment. We further uncovered the accuracy differences on different teeth gestures when having sensors on single vs. both sides. Moreover, we explored the activation gesture under real-world environments, including eating, speaking, walking and jumping. Based on our findings, we further discussed potential applications and practical challenges of integrating TeethTap into future devices.


title: Estimation and Distributed Eradication of SIR Epidemics on Networks

abstract: This work examines the discrete-time networked SIR (susceptible-infected-recovered) epidemic model, where the infection and recovery parameters may be time-varying. We provide a sufficient condition for the SIR model to converge to the set of healthy states exponentially. We propose a stochastic framework to estimate the system states from observed testing data and provide an analytic expression for the error of the estimation algorithm. Employing the estimated and the true system states, we provide two novel eradication strategies that guarantee at least exponential convergence to the set of healthy states. We illustrate the results via simulations over northern Indiana, USA.


title: Learning Emergent Discrete Message Communication for Cooperative Reinforcement Learning

abstract: Communication is a important factor that enables agents work cooperatively in multi-agent reinforcement learning (MARL). Most previous work uses continuous message communication whose high representational capacity comes at the expense of interpretability. Allowing agents to learn their own discrete message communication protocol emerged from a variety of domains can increase the interpretability for human designers and other agents.This paper proposes a method to generate discrete messages analogous to human languages, and achieve communication by a broadcast-and-listen mechanism based on self-attention. We show that discrete message communication has performance comparable to continuous message communication but with much a much smaller vocabulary size.Furthermore, we propose an approach that allows humans to interactively send discrete messages to agents.


title: Learning logic programs by explaining their failures

abstract: Scientists form hypotheses and experimentally test them. If a hypothesis fails (is refuted), scientists try to explain the failure to eliminate other hypotheses. The more precise the failure analysis the more hypotheses can be eliminated. Thus inspired, we introduce failure explanation techniques for inductive logic programming. Given a hypothesis represented as a logic program, we test it on examples. If a hypothesis fails, we explain the failure in terms of failing sub-programs. In case a positive example fails, we identify failing sub-programs at the granularity of literals. We introduce a failure explanation algorithm based on analysing branches of SLD-trees. We integrate a meta-interpreter based implementation of this algorithm with the test-stage of the Popper ILP system. We show that fine-grained failure analysis allows for learning fine-grained constraints on the hypothesis space. Our experimental results show that explaining failures can drastically reduce hypothesis space exploration and learning times.


title: Multipole-phase beams: a new paradigm for structured waves

abstract: The control of structured waves has recently opened innovative scenarios in the perspective of radiation propagation and light-matter interaction. In particular, the transmission of customized electromagnetic fields is investigated for telecommunications, with the aim of exploring new modulation formats besides the traditional, almost saturated, division multiplexing techniques. Beams carrying twisted wavefronts have long been recognized as the promising candidates, however their phase singularities and efficient multiplexing still raise open issues. In a more general insight into structured-phase beams, we introduce and develop here a new and unique paradigm based on the transmission of beams with harmonic phases having a multipole structure. The outlined framework encompasses multiplexing, transmission, and demultiplexing as a whole for the first time, describing wavefields evolution in terms of conformal mappings, and solving straightforwardly the critical issues of previous solutions. Because of its potentialities, versatility, and ease of implementation, we expect this completely new paradigm to find widespread applications for space division multiplexing especially in free space, from the optical to the microwave and radio regimes.


title: Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs

abstract: The program synthesis problem within the Inductive Logic Programming (ILP) community has typically been seen as untyped. We consider the benefits of user provided types on background knowledge. Building on the Meta-Interpretive Learning (MIL) framework, we show that type checking is able to prune large parts of the hypothesis space of programs. The introduction of polymorphic type checking to the MIL approach to logic program synthesis is validated by strong theoretical and experimental results, showing a cubic reduction in the size of the search space and synthesis time, in terms of the number of typed background predicates. Additionally we are able to infer polymorphic types of synthesized clauses and of entire programs. The other advancement is in developing an approach to leveraging refinement types in ILP. Here we show that further pruning of the search space can be achieved, though the SMT solving used for refinement type checking comes


title: Maximum Likelihood Constraint Inference from Stochastic Demonstrations

abstract: When an expert operates a perilous dynamic system, ideal constraint information is tacitly contained in their demonstrated trajectories and controls. The likelihood of these demonstrations can be computed, given the system dynamics and task objective, and the maximum likelihood constraints can be identified. Prior constraint inference work has focused mainly on deterministic models. Stochastic models, however, can capture the uncertainty and risk tolerance that are often present in real systems of interest. This paper extends maximum likelihood constraint inference to stochastic applications by using maximum causal entropy likelihoods. Furthermore, we propose an efficient algorithm that computes constraint likelihood and risk tolerance in a unified Bellman backup, allowing us to generalize to stochastic systems without increasing computational complexity.


title: Robust SleepNets

abstract: State-of-the-art convolutional neural networks excel in machine learning tasks such as face recognition, and object classification but suffer significantly when adversarial attacks are present. It is crucial that machine critical systems, where machine learning models are deployed, utilize robust models to handle a wide range of variability in the real world and malicious actors that may use adversarial attacks. In this study, we investigate eye closedness detection to prevent vehicle accidents related to driver disengagements and driver drowsiness. Specifically, we focus on adversarial attacks in this application domain, but emphasize that the methodology can be applied to many other domains. We develop two models to detect eye closedness: first model on eye images and a second model on face images. We adversarially attack the models with Projected Gradient Descent, Fast Gradient Sign and DeepFool methods and report adversarial success rate. We also study the effect of training data augmentation. Finally, we adversarially train the same models on perturbed images and report the success rate for the defense against these attacks. We hope our study sets up the work to prevent potential vehicle accidents by capturing drivers' face images and alerting them in case driver's eyes are closed due to drowsiness.


title: Simulation of Collective Neutrino Oscillations on a Quantum Computer

abstract: In astrophysical scenarios with large neutrino density, like supernovae and the early universe, the presence of neutrino-neutrino interactions can give rise to collective flavor oscillations in the out-of-equilibrium collective dynamics of a neutrino cloud. The role of quantum correlations in these phenomena is not yet well understood, in large part due to complications in solving for the real-time evolution of the strongly coupled many-body system. Future fault-tolerant quantum computers hold the promise to overcome much of these limitations and provide direct access to the correlated neutrino dynamic. In this work, we present the first simulation of a small system of interacting neutrinos using current generation quantum devices. We introduce a strategy to overcome limitations in the natural connectivity of the qubits and use it to track the evolution of entanglement in real-time. The results show the critical importance of error-mitigation techniques to extract meaningful results for entanglement measures using noisy, near term, quantum devices.


title: Benchmarking Graph Neural Networks on Link Prediction

abstract: In this paper, we benchmark several existing graph neural network (GNN) models on different datasets for link predictions. In particular, the graph convolutional network (GCN), GraphSAGE, graph attention network (GAT) as well as variational graph auto-encoder (VGAE) are implemented dedicated to link prediction tasks, in-depth analysis are performed, and results from several different papers are replicated, also a more fair and systematic comparison are provided. Our experiments show these GNN architectures perform similarly on various benchmarks for link prediction tasks.


title: A CO-to-H$_2$ ratio of $\approx 10^{-5}$ towards the Herbig Ae star HK Ori

abstract: Measurements of gas mass in protoplanetary gas disks form the basis for estimating the conditions of planet formation. Among the most important constraints derived from disk diagnostics are the abundances of gas-phase species critical for understanding disk chemistry. Towards this end, we present direct line-of-sight measurements of H$_{2}$ and CO, employing UV absorption spectroscopy from $HST$-COS to characterize disk composition, molecular excitation temperatures, and spatial distribution in the circumstellar material around the Herbig Ae stars HK Ori and T Ori. We observe strong CO (N(CO) = 10$^{15.5}$ cm$^{-2}$; T$_{rot}$(CO) = 19 K) and H$_{2}$ (N(H$_{2}$) = 10$^{20.34}$ cm$^{-2}$; T$_{rot}$(H$_{2}$) = 141 K) absorption towards HK Ori with a CO/H$_{2}$ ratio ($\equiv$ N(CO)/N(H$_{2}$)) = 1.3$^{+1.6}_{-0.7}$~$\times$~10$^{-5}$. These measurements place direct empirical constraints on the CO-to-H$_{2}$ conversion factor in the disk around a Herbig Ae star for the first time, although there is uncertainty concerning the exact viewing geometry of the disk. The spectra of T Ori show CO (N(CO) = 10$^{14.9}$ cm$^{-2}$; T$_{rot}$(CO) = 124 K) absorption. Interestingly, we do not detect any H$_{2}$ absorption towards this star (N(H$_{2}$) $<$ 10$^{15.9}$ cm$^{-2}$). We discuss a potential scenario for the detection of CO without H$_{2}$, which deserves further investigation. The low abundance ratio measured around HK Ori suggests significant depletion of CO in the circumstellar gas, which conforms with the handful of other recent CO abundance measurements in protoplanetary disks.


title: Multi-scale semi-Lagrangian lattice Boltzmann method

abstract: We present a multi-scale lattice Boltzmann scheme, which adaptively refines particles' velocity space. Different velocity sets, i.e., higher- and lower-order lattices, are consistently and efficiently coupled, allowing us to use the higher-order lattice only when and where needed. This includes regions of either high Mach number or high Knudsen number. The coupling procedure of different lattices consists of either projection of the moments of the higher-order lattice onto the lower-order lattice or lifting of the lower-order lattice to the higher-order velocity space. Both lifting and projection are local operations, which enable a flexible adaptive velocity set. The proposed scheme can be formulated both in a static and an optimal, co-moving reference frame, in the spirit of the recently introduced Particles on Demand method. The multi-scale scheme is first validated through a convected athermal vortex and also studied in a jet flow setup. The performance of the proposed scheme is further investigated through the shock structure problem and a high Knudsen Couette flow, typical examples of highly non-equilibrium flows in which the order of the velocity set plays a decisive role. The results demonstrate that the proposed multi-scale scheme can operate accurately, with flexibility in terms of the underlying models and with reduced computational requirements.


title: PsiPhi-Learning: Reinforcement Learning with Demonstrations using Successor Features and Inverse Temporal Difference Learning

abstract: We study reinforcement learning (RL) with no-reward demonstrations, a setting in which an RL agent has access to additional data from the interaction of other agents with the same environment. However, it has no access to the rewards or goals of these agents, and their objectives and levels of expertise may vary widely. These assumptions are common in multi-agent settings, such as autonomous driving. To effectively use this data, we turn to the framework of successor features. This allows us to disentangle shared features and dynamics of the environment from agent-specific rewards and policies. We propose a multi-task inverse reinforcement learning (IRL) algorithm, called \emph{inverse temporal difference learning} (ITD), that learns shared state features, alongside per-agent successor features and preference vectors, purely from demonstrations without reward labels. We further show how to seamlessly integrate ITD with learning from online environment interactions, arriving at a novel algorithm for reinforcement learning with demonstrations, called $\Psi \Phi$-learning (pronounced `Sci-Fi'). We provide empirical evidence for the effectiveness of $\Psi \Phi$-learning as a method for improving RL, IRL, imitation, and few-shot transfer, and derive worst-case bounds for its performance in zero-shot transfer to new tasks.


title: Generalised Boosted Forests

abstract: This paper extends recent work on boosting random forests to model non-Gaussian responses. Given an exponential family $\mathbb{E}[Y|X] = g^{-1}(f(X))$ our goal is to obtain an estimate for $f$. We start with an MLE-type estimate in the link space and then define generalised residuals from it. We use these residuals and some corresponding weights to fit a base random forest and then repeat the same to obtain a boost random forest. We call the sum of these three estimators a \textit{generalised boosted forest}. We show with simulated and real data that both the random forest steps reduces test-set log-likelihood, which we treat as our primary metric. We also provide a variance estimator, which we can obtain with the same computational cost as the original estimate itself. Empirical experiments on real-world data and simulations demonstrate that the methods can effectively reduce bias, and that confidence interval coverage is conservative in the bulk of the covariate distribution.


title: Approximating the Derivative of Manifold-valued Functions

abstract: We consider the approximation of manifold-valued functions by embedding the manifold into a higher dimensional space, applying a vector-valued approximation operator and projecting the resulting vector back to the manifold. It is well known that the approximation error for manifold-valued functions is close to the approximation error for vector-valued functions. This is not true anymore if we consider the derivatives of such functions. In our paper we give pre-asymptotic error bounds for the approximation of the derivative of manifold-valued function. In particular, we provide explicit constants that depend on the reach of the embedded manifold.


title: Communication and Personality Profiles of Global Software Developers

abstract: Context: Prior research has established that a small proportion of individuals dominate team communication during global software development. It is not known, however, how these members' contributions affect their teams' knowledge diffusion process, or whether their personality profiles are responsible for their dominant presence. Objective: We set out to address this gap through the study of repository artifacts. Method: Artifacts from ten teams were mined from the IBM Rational Jazz repository. We employed social network analysis (SNA) to group practitioners into two clusters, Top Members and Others, based on the numbers of messages they communicated and their engagement in task changes. SNA metrics (density, in-degree and closeness) were then used to study practitioners' importance in knowledge diffusion. Thereafter, we performed psycholinguistic analysis on practitioners' messages using linguistic dimensions that had been previously correlated with the Big Five personality profiles. Results: For our sample of 146 practitioners we found that Top Members occupied critical roles in knowledge diffusion, and demonstrated more openness to experience than the Others. Additionally, all personality profiles were represented during teamwork, although openness to experience, agreeableness and extroversion were particularly evident. However, no specific personality predicted members' involvement in knowledge diffusion. Conclusion: Task assignment that promotes highly connected team communication networks may mitigate tacit knowledge loss in global software teams. Additionally, while members expressing openness to experience are likely to be particularly driven to perform, this is not entirely responsible for a global team's success.


title: Triplet loss based embeddings for forensic speaker identification in Spanish

abstract: With the advent of digital technology, it is more common that committed crimes or legal disputes involve some form of speech recording where the identity of a speaker is questioned [1]. In face of this situation, the field of forensic speaker identification has been looking to shed light on the problem by quantifying how much a speech recording belongs to a particular person in relation to a population. In this work, we explore the use of speech embeddings obtained by training a CNN using the triplet loss. In particular, we focus on the Spanish language which has not been extensively studies. We propose extracting the embeddings from speech spectrograms samples, then explore several configurations of such spectrograms, and finally, quantify the embeddings quality. We also show some limitations of our data setting which is predominantly composed by male speakers. At the end, we propose two approaches to calculate the Likelihood Radio given out speech embeddings and we show that triplet loss is a good alternative to create speech embeddings for forensic speaker identification.


title: An FPGA Implementation of Convolutional Spiking Neural Networks for Radioisotope Identification

abstract: This paper details the FPGA implementation methodology for Convolutional Spiking Neural Networks (CSNN) and applies this methodology to low-power radioisotope identification using high-resolution data. Power consumption of 75 mW has been achieved on an FPGA implementation of a CSNN, with an inference accuracy of 90.62% on a synthetic dataset. The chip validation method is presented. Prototyping was accelerated by evaluating SNN parameters using SpiNNaker neuromorphic platform.


title: Analyzing Confidentiality and Privacy Concerns: Insights from Android Issue Logs

abstract: Context: Post-release user feedback plays an integral role in improving software quality and informing new features. Given its growing importance, feedback concerning security enhancements is particularly noteworthy. In considering the rapid uptake of Android we have examined the scale and severity of Android security threats as reported by its stakeholders. Objective: We systematically mine Android issue logs to derive insights into stakeholder perceptions and experiences in relation to certain Android security issues. Method: We employed contextual analysis techniques to study issues raised regarding confidentiality and privacy in the last three major Android releases, considering covariance of stakeholder comments, and the level of consistency in user preferences and priorities. Results: Confidentiality and privacy concerns varied in severity, and were most prevalent over Jelly Bean releases. Issues raised in regard to confidentiality related mostly to access, user credentials and permission management, while privacy concerns were mainly expressed about phone locking. Community users also expressed divergent preferences for new security features, ranging from more relaxed to very strict. Conclusion: Strategies that support continuous corrective measures for both old and new Android releases would likely maintain stakeholder confidence. An approach that provides users with basic default security settings, but with the power to configure additional security features if desired, would provide the best balance for Android's wide cohort of stakeholders.


title: Sketching Curvature for Efficient Out-of-Distribution Detection for Deep Neural Networks

abstract: In order to safely deploy Deep Neural Networks (DNNs) within the perception pipelines of real-time decision making systems, there is a need for safeguards that can detect out-of-training-distribution (OoD) inputs both efficiently and accurately. Building on recent work leveraging the local curvature of DNNs to reason about epistemic uncertainty, we propose Sketching Curvature of OoD Detection (SCOD), an architecture-agnostic framework for equipping any trained DNN with a task-relevant epistemic uncertainty estimate. Offline, given a trained model and its training data, SCOD employs tools from matrix sketching to tractably compute a low-rank approximation of the Fisher information matrix, which characterizes which directions in the weight space are most influential on the predictions over the training data. Online, we estimate uncertainty by measuring how much perturbations orthogonal to these directions can alter predictions at a new test input. We apply SCOD to pre-trained networks of varying architectures on several tasks, ranging from regression to classification. We demonstrate that SCOD achieves comparable or better OoD detection performance with lower computational burden relative to existing baselines.


title: Masses of positive- and negative-parity hadron ground-states, including those with heavy quarks

abstract: A symmetry-preserving treatment of a vector$\times$vector contact interaction is used to compute spectra of ground-state $J^P = 0^\pm, 1^\pm$ $(f\bar g)$ mesons, their partner diquark correlations, and $J^P=1/2^\pm, 3/2^\pm$ $(fgh)$ baryons, where $f,g,h \in \{u,d,s,c,b\}$. Results for the leptonic decay constants of all mesons are also obtained, including scalar and pseudovector states involving heavy quarks. The spectrum of baryons produced by this chiefly algebraic approach reproduces the 64 masses known empirically or computed using lattice-regularised quantum chromodynamics with an accuracy of 1.4(1.2)%. It also has the richness of states typical of constituent-quark models and predicts many baryon states that have not yet been observed. The study indicates that dynamical, nonpointlike diquark correlations play an important role in all baryons; and, typically, the lightest allowed diquark is the most important component of a baryon's Faddeev amplitude.


title: Probabilistic feature extraction, dose statistic prediction and dose mimicking for automated radiation therapy treatment planning

abstract: Purpose: We propose a general framework for quantifying predictive uncertainties of dose-related quantities and leveraging this information in a dose mimicking problem in the context of automated radiation therapy treatment planning. Methods: A three-step pipeline, comprising feature extraction, dose statistic prediction and dose mimicking, is employed. In particular, the features are produced by a convolutional variational autoencoder and used as inputs in a previously developed nonparametric Bayesian statistical method, estimating the multivariate predictive distribution of a collection of predefined dose statistics. Specially developed objective functions are then used to construct a probabilistic dose mimicking problem based on the produced distributions, creating deliverable treatment plans. Results: The numerical experiments are performed using a dataset of 94 retrospective treatment plans of prostate cancer patients. We show that the features extracted by the variational autoencoder capture geometric information of substantial relevance to the dose statistic prediction problem and are related to dose statistics in a more regularized fashion than hand-crafted features. The estimated predictive distributions are reasonable and outperforms a non-input-dependent benchmark method, and the deliverable plans produced by the probabilistic dose mimicking agree better with their clinical counterparts than for a non-probabilistic formulation. Conclusions: We demonstrate that prediction of dose-related quantities may be extended to include uncertainty estimation and that such probabilistic information may be leveraged in a dose mimicking problem. The treatment plans produced by the proposed pipeline resemble their original counterparts well, illustrating the merits of a holistic approach to automated planning based on probabilistic modeling.


title: Deep Compact Polyhedral Conic Classifier for Open and Closed Set Recognition

abstract: In this paper, we propose a new deep neural network classifier that simultaneously maximizes the inter-class separation and minimizes the intra-class variation by using the polyhedral conic classification function. The proposed method has one loss term that allows the margin maximization to maximize the inter-class separation and another loss term that controls the compactness of the class acceptance regions. Our proposed method has a nice geometric interpretation using polyhedral conic function geometry. We tested the proposed method on various visual classification problems including closed/open set recognition and anomaly detection. The experimental results show that the proposed method typically outperforms other state-of-the art methods, and becomes a better choice compared to other tested methods especially for open set recognition type problems.


title: The Logical Options Framework

abstract: Learning composable policies for environments with complex rules and tasks is a challenging problem. We introduce a hierarchical reinforcement learning framework called the Logical Options Framework (LOF) that learns policies that are satisfying, optimal, and composable. LOF efficiently learns policies that satisfy tasks by representing the task as an automaton and integrating it into learning and planning. We provide and prove conditions under which LOF will learn satisfying, optimal policies. And lastly, we show how LOF's learned policies can be composed to satisfy unseen tasks with only 10-50 retraining steps. We evaluate LOF on four tasks in discrete and continuous domains, including a 3D pick-and-place environment.


title: On Compressible Navier-Stokes Equations Subject to Large Potential Forces with Slip Boundary Conditions in 3D Bounded Domains

abstract: We deal with the barotropic compressible Navier-Stokes equations subject to large external potential forces with slip boundary condition in a 3D simply connected bounded domain, whose smooth boundary has a finite number of 2D connected components. The global existence of strong or classical solutions to the initial boundary value problem of this system is established provided the initial energy is suitably small. Moreover, the density has large oscillations and contains vacuum states. Finally, we show that the global strong or classical solutions decay exponentially in time to the equilibrium in some Sobolev's spaces, but the oscillation of the density will grow unboundedly in the long run with an exponential rate when the initial density contains vacuum states.


title: A large-scale heuristic modification of Newtonian gravity as alternative approach to the dark energy and dark matter

abstract: The peculiarities of the inverse square law of Newtonian gravity in standard Big Bang Cosmology are discussed. It is shown that the incorporation of an additive term to Newtonian gravitation, as the inverse Yukawa-like field, allows remove the incompatibility between the flatness of the Universe and the density of matter in the Friedmann equation, provides a new approach for dark energy, and enable theoretical deduce the Hubble-Lemaitre's law. The source of this inverse Yukawa-like field is the ordinary baryonic matter and represents the large-scale contribution of gravity in accordance with the Mach's principle. It's heuristically build from a specular reflection of the Yukawa potential, in agreement with astronomical and laboratory observables, result null in the inner solar system, weakly attractive in ranges of interstellar distances, very attractive in distance ranges comparable to the clusters of galaxies and repulsive in cosmic scales. Its implications in the missing mass of Zwicky, Virial Theorem, Kepler's Third Law in Globular Clusters, rotations curves of galaxies, gravitational redshift and the Jean's mass are discussed. The inclusion of the inverse Yukawa-like field in Newtonian gravitation predicts a graviton mass of at least 10-64 kg and could be an alternative to the paradigm of non-baryonic dark matter concomitant with the observables of the Big Bang.


title: Knowledge engineering mixed-integer linear programming: constraint typology

abstract: In this paper, we investigate the constraint typology of mixed-integer linear programming MILP formulations. MILP is a commonly used mathematical programming technique for modelling and solving real-life scheduling, routing, planning, resource allocation, timetabling optimization problems, providing optimized business solutions for industry sectors such as: manufacturing, agriculture, defence, healthcare, medicine, energy, finance, and transportation. Despite the numerous real-life Combinatorial Optimization Problems found and solved, and millions yet to be discovered and formulated, the number of types of constraints, the building blocks of a MILP, is relatively much smaller. In the search of a suitable machine readable knowledge representation for MILPs, we propose an optimization modelling tree built based upon an MILP ontology that can be used as a guidance for automated systems to elicit an MILP model from end-users on their combinatorial business optimization problems.


title: Ordinal relative belief entropy

abstract: Specially customised Entropies are widely applied in measuring the degree of uncertainties existing in the frame of discernment. However, all of these entropies regard the frame as a whole that has already been determined which dose not conform to actual situations. In real life, everything comes in an order, so how to measure uncertainties of the dynamic process of determining sequence of propositions contained in a frame of discernment is still an open issue and no related research has been proceeded. Therefore, a novel ordinal entropy to measure uncertainties of the frame of discernment considering the order of confirmation of propositions is proposed in this paper. Compared with traditional entropies, it manifests effects on degree of uncertainty brought by orders of propositions existing in a frame of discernment. Besides, some numerical examples are provided to verify the correctness and validity of the proposed entropy in this paper.


title: Intermediate mass and heavy Galactic cosmic-ray nuclei: the case of new AMS-02 measurements

abstract: The recent measurement of the spectra of intermediate mass nuclei and iron nuclei carried out with the AMS-02 experiment provided us with the most complete set of data on cosmic ray fluxes to date, and allowed us to test the standard model for the transport of these particles through the Galaxy to the finest details. We show that the parameters derived from lighter primary and secondary elements in the cosmic radiation also lead to a good description of the data on heavier nuclei, with no need to invoke different injection spectra for such nuclei, provided the whole chain of fragmentation is properly accounted for. The only exception to this finding is represented by iron nuclei, which show a very unusual trend at rigidity $\lesssim 100$ GV. This trend reflects in a Fe/O ratio that is at odds with the results of the standard model of cosmic ray transport, and is in contradiction with data collected by HEAO, ACE-CRIS and Voyager at lower energy. We speculate on possible origins of such findings.


title: Dynamics and decay rates of a time-dependent two-saddle system

abstract: The framework of transition state theory (TST) provides a powerful way for analyzing the dynamics of physical and chemical reactions. While TST has already been successfully used to obtain reaction rates for systems with a single time-dependent saddle point, multiple driven saddles have proven challenging because of their fractal-like phase space structure. This paper presents the construction of an approximately recrossing-free dividing surface based on the normally hyperbolic invariant manifold in a time-dependent two-saddle model system. Based on this, multiple methods for obtaining instantaneous (time-resolved) decay rates of the underlying activated complex are presented and their results discussed.