title: Binary evolution along the Red Giant Branch with BINSTAR: The barium star perspective

abstract: Barium (Ba), CH, and extrinsic or Tc-poor S-type stars are evolved low- and intermediate-mass stars that show enhancement of slow-neutron-capture-process elements on their surface, an indication of mass accretion from a former asymptotic giant branch (AGB) companion, which is now a white dwarf (WD). Ba and CH stars can be found in the main-sequence (MS), the sub-giant, and the giant phase, while extrinsic S-type stars populate the giant branches only. As these polluted stars evolve, they might be involved in a second phase of interaction with their now white dwarf companion. In this paper, we consider systems composed of a main-sequence Ba star and a WD companion when the former evolves along the Red Giant Branch (RGB). We want to determine if the orbital properties of the known population of Ba, CH, and S giants can be inferred from the evolution of their suspected dwarf progenitors. For this purpose, we use the BINSTAR binary evolution code and model MS+WD binary systems, considering different binary interaction mechanisms, such as a tidally-enhanced wind mass-loss and a reduced circularisation efficiency. To explore their impact on the second RGB ascent, we compare the modelled orbits with the observed period and eccentricity distributions of Ba and related giants. We show that, independently of the considered mechanism, there is a strong period cut off below which core-He burning stars should not be found in binary systems with a WD companion. This limit is shorter for more massive RGB stars and for more metal-poor systems. However, we still find a few low-mass short-period giant systems that are difficult to explain with our models as well as two systems with very high eccentricities.


title: Workspace Partitioning and Topology Discovery Algorithms for Heterogeneous Multi-Agent Networks

abstract: In this paper, we consider a class of workspace partitioning problems that arise in the context of area coverage and spatial load balancing for spatially distributed heterogeneous multi-agent networks. It is assumed that each agent has certain directions of motion or directions for sensing and exploration that are more preferable than others. These preferences are measured by means of convex and anisotropic (direction-dependent) quadratic proximity metrics which are, in general, different for each agent. These proximity metrics induce Voronoi-like partitions of the network's workspace that are comprised of cells which may not always be convex (or even connected) sets but are necessarily contained in ellipsoids that are known to their corresponding agents. The main contributions of this work are 1) a distributed algorithm for the computation of a Voronoi-like partition of the workspace of a heterogeneous multi-agent network and 2) a systematic process to discover the network topology induced by the latter Voronoi-like partition. Numerical simulations that illustrate the efficacy of the proposed algorithms are also presented.


title: Magneto-toroidal nonreciprocity of second harmonic generation

abstract: The Lorentz reciprocity principle is a fundamental concept that governs light propagation in any optically linear medium in zero magnetic field. Here, we demonstrate experimentally a novel mechanism of reciprocity breaking in nonlinear optics driven by the toroidal moment. Using high-resolution femtosecond spectroscopy at optical electronic resonances in the magnetoelectric antiferromagnet CuB$_2$O$_4$, we show that by controlling the nonlinear interference of coherent sources of second harmonic generation originating from the toroidal spin order, applied magnetic field, and noncentrosymmetric crystal structure, we induce a huge nonreciprocity approaching 100% for opposite magnetic fields. The experimental results are corroborated by a convincing theoretical analysis based on the magnetic and crystal symmetry. These findings open new degrees of freedom in the nonlinear physics of electronic and magnetic structures and pave the way for future nonreciprocal spin-optronic devices operating on the femtosecond time scale.


title: Dynamics and Synchronization of Boundary Coupled FitzHugh-Nagumo Neural Networks

abstract: In this work a new mathematical model for complex neural networks is presented by the partly diffusive FitzHugh-Nagumo equations with ensemble boundary coupling. We analyze the dissipative dynamics and boundary coupling dynamics of the solution semiflow with sharp estimates. The exponential synchronization of this kind complex neural networks is proved under the condition that synaptic stimulation signal strength reaches a threshold quantitatively expressed.


title: On low-energy tail distortions in the detector responsefunction of x-ray microcalorimeter spectrometers

abstract: We use narrow spectral lines from the x-ray spectra of various highlycharged ions to measure low-energy tail-like deviations from a Gaussian responsefunction in a microcalorimter x-ray spectrometer with Au absorbers at energiesfrom 650 eV to 3320 eV. We review the literature on low energy tails in othermicrocalorimter x-ray spectrometers and present a model that explains all thereviewed tail fraction measurements. In this model a low energy tail arises fromthe combination of electron escape and energy trapping associated with Bi x-rayabsorbers.


title: High-Field Q-slope Mitigation due to Impurity Profile in Superconducting Radio-Frequency Cavities

abstract: In this study, we present new insights on the origin of the high-field Q-slope in superconducting radio-frequency cavities. Consequent hydrofluoric acid rinses are used to probe the radio-frequency performance as a function of the material removal of two superconducting bulk niobium cavities prepared with low temperature nitrogen infusion. The study reveals that nitrogen infusion affects only the first few tens of nanometers below the native oxide layer. The typical high-field Q-slope behavior of electropolished cavities is indeed completely recovered after a dozen hydrofluoric acid rinses. The reappearance of the high-field Q-slope as a function of material removal was modeled by means of London's local description of screening currents in the superconductor, returning good fitting of the experimental data and suggesting that interstitial impurities layers with diffusion length of the order to tens of nanometers can mitigate high-field Q-slope.


title: Superflares on the late-type giant KIC 2852961 -- Scaling effect behind flaring at different energy levels

abstract: The most powerful superflares reaching 10$^{39}$erg bolometric energy are from giant stars. The mechanism behind flaring is supposed to be the magnetic reconnection, which is closely related to magnetic activity including starspots. However, it is poorly understood, how the underlying magnetic dynamo works and how the flare activity is related to the stellar properties which eventually control the dynamo action. We analyse the flaring activity of KIC 2852961, a late-type giant star, in order to understand how the flare statistics are related to that of other stars with flares and superflares and what the role of the observed stellar properties in generating flares is. We search for flares in the full Kepler dataset of the star by an automated technique together with visual inspection. We set a final list of 59 verified flares during the observing term. We calculate flare energies for the sample and perform a statistical analysis. The stellar properties of KIC 2852961 are revised and a more consistent set of parameters are proposed. The cumulative flare energy distribution can be characterized by a broken power-law, i.e. on the log-log representation the distribution function is fitted by two linear functions with different slopes, depending on the energy range fitted. We find that the total flare energy integrated over a few rotation periods correlates with the average amplitude of the rotational modulation due to starspots. Flares and superflares seem to be the result of the same physical mechanism at different energetic levels, also implying that late-type stars in the main sequence and flaring giant stars have the same underlying physical process for emitting flares. There might be a scaling effect behind generating flares and superflares in the sense that the higher the magnetic activity the higher the overall magnetic energy released by flares and/or superflares.


title: Solving the Faddeev-Merkuriev equations in total orbital momentum representation via spline collocation and tensor product preconditioning

abstract: The computational approach for solving the Faddeev-Merkuriev equations in total orbital momentum representation is presented. These equations describe a system of three quantum charged particles and are widely used in bound state and scattering calculations. The approach is based on the spline collocation method and exploits intensively the tensor product form of discretized operators and preconditioner, which leads to a drastic economy in both computer resources and time.


title: The Semi-forbidden CIII]$\lambda$1909\AA~ Emission in the Rest-Ultraviolet Spectra of Green Pea Galaxies

abstract: We used the Space Telescope Imaging Spectrograph (STIS) on the Hubble Space Telescope (HST) to observe the semi-forbidden CIII] emission in Green Pea galaxies at 0.13 < z < 0.3. We detect CIII] emission in 7/10 galaxies with CIII] equivalent widths that range from 2-10\AA~. The observed CIII] emission line strengths are consistent with the predictions from photoionization models which incorporate the effects of binary stellar evolution with young stellar ages < 3-5 Myrs, and high ionization parameters (logU > -2). The hard ionizing radiation from young massive stars, and high nebular temperatures at low-metallicities can account for the observed high equivalent widths of CIII] and [OIII] emission lines. The Green Pea galaxies do not show a significant correlation between the Ly$\alpha$ and CIII] equivalent widths, and the observed scatter is likely due to the variations in the optical depth of Ly$\alpha$ to the neutral gas. Green Pea galaxies are likely to be density-bounded, and we examined the dependence of CIII] emission on the Lyman continuum optical depth. The potential LyC leaker galaxies in our sample have high CIII] equivalent widths that can only be reproduced by starburst ages as young as < 3 Myrs and harder ionizing spectra than the non-leakers. Among the galaxies with similar metallicities and ionization parameters, the CIII] equivalent width appears to be stronger for those with higher optical depth to LyC, as expected from the photoionization models. Further investigation of a larger sample of CIII]-emitters is necessary to calibrate the dependence of CIII] emission on the escape of LyC radiation, and to enable application of the CIII] diagnostics to galaxies in the reionization epoch.


title: Well posedness and asymptotic consensus in the Hegselmann-Krause model with finite speed of information propagation

abstract: We consider a variant of the Hegselmann-Krause model of consensus formation where information between agents propagates with a finite speed $\mathfrak{c}$. This leads to a system of ordinary differential equations (ODE) with state-dependent delay. Observing that the classical well-posedness theory for ODE systems does not apply, we provide a proof of global existence and uniqueness of solutions of the model. We prove that asymptotic consensus is always reached in the spatially one-dimensional setting of the model, as long as agents travel slower than $\mathfrak{c}$. We also provide sufficient conditions for asymptotic consensus in the spatially multi-dimensional setting.


title: Constraining the primordial magnetic field with dwarf galaxy simulations

abstract: Using a set of cosmological hydro-dynamical simulations, we constrained the properties of primordial magnetic fields by studying their impact on the formation and evolution of dwarf galaxies. We performed a large set of simulations (8 dark matter only and 72 chemo-hydrodynamical) including primordial magnetic fields through the extra density fluctuations they induce at small length scales ($k \geq 10\,h\,\rm{Mpc^{-1}}$) in the matter power spectrum. We explored a large variety of primordial magnetic fields with strength $B_\lambda$ ranging from $0.05$ to $0.50\,\textrm{nG}$ and magnetic energy spectrum slopes $n_B$ from $-2.9$ to $-2.1$. Strong magnetic fields characterized by a high amplitude ($B_\lambda=0.50,\,0.20\,\textrm{nG}$ with $n_B=-2.9$) or by a steep initial power spectrum slope ($n_B=-2.1,-2.4$, with $B_\lambda=0.05\,\textrm{nG}$) induce perturbations in the mass scales from $10^7$ to $10^9\,\rm{M}_{\odot}$. In this context emerging galaxies see their star formation rate strongly boosted. They become more luminous and metal rich than their counterparts without primordial magnetic fields. Such strong fields are ruled out by their inability to reproduce the observed scaling relations of dwarf galaxies. They predict dwarf galaxies to be at the origin of an unrealistically early reionization of the Universe and also overproduce luminous satellites in the Local Group. Weaker magnetic fields impacting the primordial density field at corresponding masses $\lesssim 10^6\,\rm{M}_{\odot}$, produce a large number of mini dark halos orbiting the dwarfs, however out of reach for current lensing observations. This study allows for the first time to constrain the properties of primordial magnetic fields based on realistic cosmological simulations of dwarf galaxies.


title: MART: Memory-Augmented Recurrent Transformer for Coherent Video Paragraph Captioning

abstract: Generating multi-sentence descriptions for videos is one of the most challenging captioning tasks due to its high requirements for not only visual relevance but also discourse-based coherence across the sentences in the paragraph. Towards this goal, we propose a new approach called Memory-Augmented Recurrent Transformer (MART), which uses a memory module to augment the transformer architecture. The memory module generates a highly summarized memory state from the video segments and the sentence history so as to help better prediction of the next sentence (w.r.t. coreference and repetition aspects), thus encouraging coherent paragraph generation. Extensive experiments, human evaluations, and qualitative analyses on two popular datasets ActivityNet Captions and YouCookII show that MART generates more coherent and less repetitive paragraph captions than baseline methods, while maintaining relevance to the input video events. All code is available open-source at: https://github.com/jayleicn/recurrent-transformer


title: A Review on Brain Mechanisms for Language Acquisition and Comprehension

abstract: This paper reviews the main perspectives of language acquisition and language comprehension. In language acquisition, we have reviewed the different types of language acquisitions like first language acquisition, second language acquisition, sign language acquisition and skill acquisition. The experimental techniques for neurolinguistic acquisition detection is also discussed. The findings of experiments for acquisition detection is also discussed, it includes the region of brain activated after acquisition. Findings shows that the different types of acquisition involve different regions of the brain. In language comprehension, native language comprehension and bilingual's comprehension has been considered. Comprehension involve different brain regions for different sentence or word comprehension depending upon their semantic and syntax. The different fMRIEEG analysis techniques (statistical or graph theoretical) are also discoursed in our review. Tools for neurolinguistics computations are also discussed.


title: The VVV Infrared Variability Catalog (VIVA-I)

abstract: Thanks to the VISTA Variables in the Via Lactea (VVV) ESO Public Survey it is now possible to explore a large number of objects in those regions. This paper addresses the variability analysis of all VVV point sources having more than 10 observations in VVVDR4 using a novel approach. In total, the near-IR light curves of 288,378,769 sources were analysed using methods developed in the New Insight Into Time Series Analysis project. As a result, we present a complete sample having 44, 998, 752 variable star candidates (VVV-CVSC), which include accurate individual coordinates, near-IR magnitudes (ZYJHKs), extinctions A(Ks), variability indices, periods, amplitudes, among other parameters to assess the science. Unfortunately, a side effect of having a highly complete sample, is also having a high level of contamination by non-variable (contamination ratio of non-variables to variables is slightly over 10:1). To deal with this, we also provide some flags and parameters that can be used by the community to de-crease the number of variable candidates without heavily decreasing the completeness of the sample. In particular, we cross-identified 339,601 of our sources with Simbad and AAVSO databases, which provide us with information for these objects at other wavelegths. This sub-sample constitutes a unique resource to study the corresponding near-IR variability of known sources as well as to assess the IR variability related with X-ray and Gamma-Ray sources. On the other hand, the other 99.5% sources in our sample constitutes a number of potentially new objects with variability information for the heavily crowded and reddened regions of the Galactic Plane and Bulge. The present results also provide an important queryable resource to perform variability analysis and to characterize ongoing and future surveys like TESS and LSST.


title: A Game Theoretic Approach for Parking Spot Search with Limited Parking Lot Information

abstract: We propose a game theoretic approach to address the problem of searching for available parking spots in a parking lot and picking the ``optimal'' one to park. The approach exploits limited information provided by the parking lot, i.e., its layout and the current number of cars in it. Considering the fact that such information is or can be easily made available for many structured parking lots, the proposed approach can be applicable without requiring major updates to existing parking facilities. For large parking lots, a sampling-based strategy is integrated with the proposed approach to overcome the associated computational challenge. The proposed approach is compared against a state-of-the-art heuristic-based parking spot search strategy in the literature through simulation studies and demonstrates its advantage in terms of achieving lower cost function values.


title: SpectralWeight: a spectral graph wavelet framework for weight prediction of pork cuts

abstract: In this paper, we propose a novel approach for the quality assessment of pork carcasses using 3D shape analysis. First, we make a 3D model of a pork half-carcass using a 3D scanner and then we take advantage of spectral graph wavelet signature (SGWS) to build a local spectral descriptor. Next, we aggregate the extracted features using the bag-of-geometric-words paradigm to globally represent the half-carcass shape. We then employ partial least-squares regression to predict the weight of pork cuts for the quality assessment of carcasses. Our results demonstrate that SpectralWeight can predict the weight of different pork cuts and tissues with high accuracy. Although in this study we evaluate the performance of SGWS for the weight prediction of pork dissection, our framework is fairly general and enables new ways to estimate the quality and economical value of carcasses of different animals.


title: Multi-Level Generative Models for Partial Label Learning with Non-random Label Noise

abstract: Partial label (PL) learning tackles the problem where each training instance is associated with a set of candidate labels that include both the true label and irrelevant noise labels. In this paper, we propose a novel multi-level generative model for partial label learning (MGPLL), which tackles the problem by learning both a label level adversarial generator and a feature level adversarial generator under a bi-directional mapping framework between the label vectors and the data samples. Specifically, MGPLL uses a conditional noise label generation network to model the non-random noise labels and perform label denoising, and uses a multi-class predictor to map the training instances to the denoised label vectors, while a conditional data feature generator is used to form an inverse mapping from the denoised label vectors to data samples. Both the noise label generator and the data feature generator are learned in an adversarial manner to match the observed candidate labels and data features respectively. Extensive experiments are conducted on synthesized and real-world partial label datasets. The proposed approach demonstrates the state-of-the-art performance for partial label learning.


title: Quantum correlation entropy

abstract: We study quantum coarse-grained entropy and demonstrate that the gap in entropy between local and global coarse-grainings is a natural generalization of entanglement entropy to mixed states and multipartite systems. This "quantum correlation entropy" $S^{\rm QC}$ is additive over independent systems, is invariant under local unitary operations, measures total nonclassical correlations (vanishing on states with strictly classical correlation), and reduces to the entanglement entropy for bipartite pure states. It quantifies how well a quantum system can be understood via local measurements, and ties directly to non-equilibrium thermodynamics, including representing a lower bound on the quantum part of thermodynamic entropy production. We discuss two other measures of nonclassical correlation to which this entropy is equivalent, and argue that together they provide a unique thermodynamically distinguished measure.


title: Solving high-dimensional Hamilton-Jacobi-Bellman PDEs using neural networks: perspectives from the theory of controlled diffusions and measures on path space

abstract: Optimal control of diffusion processes is intimately connected to the problem of solving certain Hamilton-Jacobi-Bellman equations. Building on recent machine learning inspired approaches towards high-dimensional PDEs, we investigate the potential of $\textit{iterative diffusion optimisation}$ techniques, in particular considering applications in importance sampling and rare event simulation, and focusing on problems without diffusion control, with linearly controlled drift and running costs that depend quadratically on the control. More generally, our methods apply to nonlinear parabolic PDEs with a certain shift invariance. The choice of an appropriate loss function being a central element in the algorithmic design, we develop a principled framework based on divergences between path measures, encompassing various existing methods. Motivated by connections to forward-backward SDEs, we propose and study the novel $\textit{log-variance}$ divergence, showing favourable properties of corresponding Monte Carlo estimators. The promise of the developed approach is exemplified by a range of high-dimensional and metastable numerical examples.

categories: math.OC cs.LG cs.NA math.NA math.PR stat.ML


title: Identifying Mechanical Models through Differentiable Simulations

abstract: This paper proposes a new method for manipulating unknown objects through a sequence of non-prehensile actions that displace an object from its initial configuration to a given goal configuration on a flat surface. The proposed method leverages recent progress in differentiable physics models to identify unknown mechanical properties of manipulated objects, such as inertia matrix, friction coefficients and external forces acting on the object. To this end, a recently proposed differentiable physics engine for two-dimensional objects is adopted in this work and extended to deal forces in the three-dimensional space. The proposed model identification technique analytically computes the gradient of the distance between forecasted poses of objects and their actual observed poses and utilizes that gradient to search for values of the mechanical properties that reduce the reality gap. Experiments with real objects using a real robot to gather data show that the proposed approach can identify the mechanical properties of heterogeneous objects on the fly.


title: On-chip microwave filters for high-impedance resonators with gate-defined quantum dots

abstract: Circuit quantum electrodynamics (QED) employs superconducting microwave resonators as quantum buses. In circuit QED with semiconductor quantum-dot-based qubits, increasing the resonator impedance is desirable as it enhances the coupling to the typically small charge dipole moment of these qubits. However, the gate electrodes necessary to form quantum dots in the vicinity of a resonator inadvertently lead to a parasitic port through which microwave photons can leak, thereby reducing the quality factor of the resonator. This is particularly the case for high-impedance resonators, as the ratio of their total capacitance over the parasitic port capacitance is smaller, leading to larger microwave leakage than for 50-$\Omega$ resonators. Here, we introduce an implementation of on-chip filters to suppress the microwave leakage. The filters comprise a high-kinetic-inductance nanowire inductor and a thin-film capacitor. The filter has a small footprint and can be placed close to the resonator, confining microwaves to a small area of the chip. The inductance and capacitance of the filter elements can be varied over a wider range of values than their typical spiral inductor and interdigitated capacitor counterparts. We demonstrate that the total linewidth of a 6.4 GHz and approximately 3-k$\Omega$ resonator can be improved down to 540 kHz using these filters.


title: Mbsolve: An open-source solver tool for the Maxwell-Bloch equations

abstract: The Maxwell-Bloch equations are a valuable tool to model light-matter interaction, where the application examples range from the description of pulse propagation in two-level media to the elaborate simulation of optoelectronic devices, such as the quantum cascade laser (QCL). In this work, we present mbsolve, an open-source solver tool for the Maxwell-Bloch equations. Here, we consider the one-dimensional Maxwell's equations, which are coupled to the Lindblad equation. The resulting generalized Maxwell-Bloch equations are treated without invoking the rotating wave approximation (RWA). Since this full-wave treatment is computationally intensive, we provide a flexible framework to implement different numerical methods and/or parallelization techniques. On this basis, we offer two solver implementations that use OpenMP for parallelization.


title: Predictive Dirac and Majorana Neutrino Mass Textures from $SU(6)$ Grand Unified Theories

abstract: We present simple and predictive realizations of neutrino masses in theories based on the $SU(6)$ grand unifying group. At the level of the lowest-dimension operators, this class of models predicts a skew-symmetric flavor structure for the Dirac mass term of the neutrinos. In the case that neutrinos are Dirac particles, the lowest-order prediction of this construction is then one massless neutrino and two degenerate massive neutrinos. Higher-dimensional operators suppressed by the Planck scale perturb this spectrum, allowing a good fit to the observed neutrino mass matrix. A firm prediction of this construction is an inverted neutrino mass spectrum with the lightest neutrino hierarchically lighter than the other two, so that the sum of neutrino masses lies close to the lower bound for an inverted hierarchy. In the alternate case that neutrinos are Majorana particles, the mass spectrum can be either normal or inverted. However, the lightest neutrino is once again hierarchically lighter than the other two, so that the sum of neutrino masses is predicted to lie close to the corresponding lower bound for the normal or inverted hierarchy. Near future cosmological measurements will be able to test the predictions of this scenario for the sum of neutrino masses. In the case of Majorana neutrinos that exhibit an inverted hierarchy, future neutrinoless double beta experiments can provide a complementary probe.


title: Segmenting Scientific Abstracts into Discourse Categories: A Deep Learning-Based Approach for Sparse Labeled Data

abstract: The abstract of a scientific paper distills the contents of the paper into a short paragraph. In the biomedical literature, it is customary to structure an abstract into discourse categories like BACKGROUND, OBJECTIVE, METHOD, RESULT, and CONCLUSION, but this segmentation is uncommon in other fields like computer science. Explicit categories could be helpful for more granular, that is, discourse-level search and recommendation. The sparsity of labeled data makes it challenging to construct supervised machine learning solutions for automatic discourse-level segmentation of abstracts in non-bio domains. In this paper, we address this problem using transfer learning. In particular, we define three discourse categories BACKGROUND, TECHNIQUE, OBSERVATION-for an abstract because these three categories are the most common. We train a deep neural network on structured abstracts from PubMed, then fine-tune it on a small hand-labeled corpus of computer science papers. We observe an accuracy of 75% on the test corpus. We perform an ablation study to highlight the roles of the different parts of the model. Our method appears to be a promising solution to the automatic segmentation of abstracts, where the labeled data is sparse.


title: Towards a Decentralized Digital Engineering Assets Marketplace: Empowered by Model-based Systems Engineering and Distributed Ledger Technology

abstract: Model-based Systems Engineering (MBSE) has been widely utilized to formalize system artifacts and facilitate their development throughout the entire lifecycle. During complex system development, MBSE models need to be frequently exchanged across stakeholders. Concerns about data security and tampering using traditional data exchange approaches obstruct the construction of a reliable marketplace for digital assets. The emerging Distributed Ledger Technology (DLT), represented by blockchain, provides a novel solution for this purpose owing to its unique advantages such as tamper-resistant and decentralization. In this paper, we integrate MBSE approaches with DLT aiming to create a decentralized marketplace to facilitate the exchange of digital engineering assets (DEAs). We first define DEAs from perspectives of digital engineering objects, development processes and system architectures. Based on this definition, the Graph-Object-Property-Point-Role-Relationship (GOPPRR) approach is used to formalize the DEAs. Then we propose a framework of a decentralized DEAs marketplace and specify the requirements, based on which we select a Directed Acyclic Graph (DAG) structured DLT solution. As a proof-of-concept, a prototype of the proposed DEAs marketplace is developed and a case study is conducted to verify its feasibility. The experiment results demonstrate that the proposed marketplace facilitates free DEAs exchange with a high level of security, efficiency and decentralization.


title: Hyperbolicity in 2D transition metal ditellurides induced by electronic bands nesting

abstract: Naturally occurring hyperbolic plasmonic media is rare, and was only recently observed in the 1T$'$ phase of WTe$_2$. We elucidate on the physical origin of this strong infrared hyperbolic response, and attribute it to band-nested anisotropic interband transitions. Such phenomenon does not occur in general anisotropic materials, at least not in their pristine state. However, band-nested anisotropic interband transitions can in principle be induced via proper electronic band nesting. We illustrate this principle and demonstrate a topological elliptic-to-hyperbolic transition in MoTe$_2$ via strain engineering, which is otherwise non-hyperbolic.


title: Dynamics of a Z2 symmetric EdGB gravity in spherical symmetry

abstract: We report on a numerical investigation of black hole evolution in an Einstein dilaton Gauss-Bonnet (EdGB) gravity theory where the Gauss-Bonnet coupling and scalar (dilaton) field potential are symmetric under a global change in sign of the scalar field (a 'Z2' symmetry). We find that for sufficiently small Gauss-Bonnet couplings Schwarzschild black holes are stable to radial scalar field perturbations, and are unstable to such perturbations for sufficiently large couplings. For the latter case, we provide numerical evidence that there is a band of coupling parameters and black hole masses where the end states are stable scalarized black hole solutions, in general agreement with the results of Macedo et al (2019 Phys. Rev. D 99 104041). For Gauss-Bonnet couplings larger than those in the stable band, we find that an 'elliptic region' forms outside of the black hole horizon, indicating the theory does not possess a well-posed initial value formulation in that regime.


title: Optimizing Vessel Trajectory Compression

abstract: In previous work we introduced a trajectory detection module that can provide summarized representations of vessel trajectories by consuming AIS positional messages online. This methodology can provide reliable trajectory synopses with little deviations from the original course by discarding at least 70% of the raw data as redundant. However, such trajectory compression is very sensitive to parametrization. In this paper, our goal is to fine-tune the selection of these parameter values. We take into account the type of each vessel in order to provide a suitable configuration that can yield improved trajectory synopses, both in terms of approximation error and compression ratio. Furthermore, we employ a genetic algorithm converging to a suitable configuration per vessel type. Our tests against a publicly available AIS dataset have shown that compression efficiency is comparable or even better than the one with default parametrization without resorting to a laborious data inspection.


title: Continuous valuations on the space of Lipschitz functions on the sphere

abstract: We study real-valued valuations on the space of Lipschitz functions over the Euclidean unit sphere $S^{n-1}$. After introducing an appropriate notion of convergence, we show that continuous valuations are bounded on sets which are bounded with respect to the Lipschitz norm. This fact, in combination with measure theoretical arguments, will yield an integral representation for continuous and rotation invariant valuations on the space of Lipschitz functions over the 1-dimensional sphere.


title: Mobile Robot Path Planning in Dynamic Environments through Globally Guided Reinforcement Learning

abstract: Path planning for mobile robots in large dynamic environments is a challenging problem, as the robots are required to efficiently reach their given goals while simultaneously avoiding potential conflicts with other robots or dynamic objects. In the presence of dynamic obstacles, traditional solutions usually employ re-planning strategies, which re-call a planning algorithm to search for an alternative path whenever the robot encounters a conflict. However, such re-planning strategies often cause unnecessary detours. To address this issue, we propose a learning-based technique that exploits environmental spatio-temporal information. Different from existing learning-based methods, we introduce a globally guided reinforcement learning approach (G2RL), which incorporates a novel reward structure that generalizes to arbitrary environments. We apply G2RL to solve the multi-robot path planning problem in a fully distributed reactive manner. We evaluate our method across different map types, obstacle densities, and the number of robots. Experimental results show that G2RL generalizes well, outperforming existing distributed methods, and performing very similarly to fully centralized state-of-the-art benchmarks.


title: Inferring Obstacles and Path Validity from Visibility-Constrained Demonstrations

abstract: Many methods in learning from demonstration assume that the demonstrator has knowledge of the full environment. However, in many scenarios, a demonstrator only sees part of the environment and they continuously replan as they gather information. To plan new paths or to reconstruct the environment, we must consider the visibility constraints and replanning process of the demonstrator, which, to our knowledge, has not been done in previous work. We consider the problem of inferring obstacle configurations in a 2D environment from demonstrated paths for a point robot that is capable of seeing in any direction but not through obstacles. Given a set of \textit{survey points}, which describe where the demonstrator obtains new information, and a candidate path, we construct a Constraint Satisfaction Problem (CSP) on a cell decomposition of the environment. We parameterize a set of obstacles corresponding to an assignment from the CSP and sample from the set to find valid environments. We show that there is a probabilistically-complete, yet not entirely tractable, algorithm that can guarantee novel paths in the space are unsafe or possibly safe. We also present an incomplete, but empirically-successful, heuristic-guided algorithm that we apply in our experiments to 1) planning novel paths and 2) recovering a probabilistic representation of the environment.


title: Generalized Gardiner-Praeger graphs and their symmetries

abstract: A subgroup of the automorphism group of a graph acts {\em half-arc-transitively} on the graph if it acts transitively on the vertex-set and on the edge-set of the graph but not on the arc-set of the graph. If the full automorphism group of the graph acts half-arc-transitively, the graph is said to be {\em half-arc-transitive}. In 1994 Gardiner and Praeger introduced two families of tetravalent arc-transitive graphs, called the $C^{\pm 1}$ and the $C^{\pm \varepsilon}$ graphs, that play a prominent role in the characterization of the tetravalent graphs admitting an arc-transitive group of automorphisms with a normal elementary abelian subgroup such that the corresponding quotient graph is a cycle. All of the Gardiner-Praeger graphs are arc-transitive but admit a half-arc-transitive group of automorphisms. Quite recently, Poto\v cnik and Wilson introduced the family of CPM graphs, which are generalizations of the Gardiner-Praeger graphs. Most of these graphs are arc-transitive, but some of them are half-arc-transitive. In fact, at least up to order $1000$, each tetravalent half-arc-transitive loosely-attached graph of odd radius having vertex-stabilizers of order greater than $2$ is isomorphic to a CPM graph. In this paper we determine the automorphism group of the CPM graphs and investigate isomorphisms between them. Moreover, we determine which of these graphs are $2$-arc-transitive, which are arc-transitive but not $2$-arc-transitive, and which are half-arc-transitive.


title: Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation

abstract: The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previous studies have focused on the skolem chase variant and its termination analysis. It is known that the restricted chase variant is a more powerful tool in termination analysis provided a database is given. But all-instance termination presents a challenge since the critical database and similar techniques do not work. In this paper, we develop a novel technique to characterize the activeness of all possible cycles of a certain length for the restricted chase, which leads to the formulation of a parameterized class of the finite restricted chase, called $k$-$\mathsf{safe}(\Phi)$. This approach applies to any class of finite skolem chase identified with a condition of acyclicity. More generally, we show that the approach can be applied to the hierarchy of bounded rule sets previously only defined for the skolem chase. Experiments on a collection of ontologies from the web show the applicability of the proposed methods on real-world ontologies. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Towards 1ULP evaluation of Daubechies Wavelets

abstract: We present algorithms to numerically evaluate Daubechies wavelets and scaling functions to high relative accuracy. These algorithms refine the suggestion of Daubechies and Lagarias to evaluate functions defined by two-scale difference equations using splines; carefully choosing amongst a family of rapidly convergent interpolators which effectively capture all the smoothness present in the function and whose error term admits a small asymptotic constant. We are also able to efficiently compute derivatives, though with a smoothness-induced reduction in accuracy. An implementation is provided in the Boost Software Library.


title: Terahertz emission from submicron solid targets irradiated by ultraintense femtosecond laser pulses

abstract: Using high-resolution, two-dimensional particle-in-cell simulations, we investigate numerically the mechanisms of terahertz (THz) emissions in submicron-thick carbon solid foils driven by ultraintense ($\sim 10^{20}\,\rm W\,cm^{-2}$), ultrashort ($30\,\rm fs$) laser pulses at normal incidence. The considered range of target thicknesses extends down to the relativistic transparency regime that is known to optimize ion acceleration by femtosecond laser pulses. By disentangling the fields emitted by longitudinal and transverse currents, our analysis reveals that, within the first picosecond after the interaction, THz emission occurs in bursts as a result of coherent transition radiation by the recirculating hot electrons and antenna-type emission by the shielding electron currents traveling along the fast-expanding target surfaces.


title: Towards biomimicry of a bat-style perching maneuver on structures: the manipulation of inertial dynamics

abstract: The flight characteristics of bats remarkably have been overlooked in aerial drone designs. Unlike other animals, bats leverage the manipulation of inertial dynamics to exhibit aerial flip turns when they perch. Inspired by this unique maneuver, this work develops and uses a tiny robot called \textit{Harpoon} to demonstrate that the preparation for upside-down landing is possible through: 1) reorientation towards the landing surface through zero-angular-momentum turns and 2) reaching to the surface through shooting a detachable landing gear. The closed-loop manipulations of inertial dynamics takes place based on a symplectic description of the dynamical system (body and appendage), which is known to exhibit an excellent geometric conservation properties.


title: Relaxed Queues and Stacks from Read/Write Operations

abstract: Considering asynchronous shared memory systems in which any number of processes may crash, this work identifies and formally defines relaxations of queues and stacks that can be non-blocking or wait-free while being implemented using only read/write operations. Set-linearizability and Interval-linearizability are used to specify the relaxations formally, and precisely identify the subset of executions which preserve the original sequential behavior. The relaxations allow for an item to be returned more than once by different operations, but only in case of concurrency; we call such a property multiplicity. The stack implementation is wait-free, while the queue implementation is non-blocking. Interval-linearizability is used to describe a queue with multiplicity, with the additional relaxation that a dequeue operation can return weak-empty, which means that the queue might be empty. We present a read/write wait-free interval-linearizable algorithm of a concurrent queue. As far as we know, this work is the first that provides formalizations of the notions of multiplicity and weak-emptiness, which can be implemented on top of read/write registers only.


title: Value-at-Risk substitute for non-ruin capital is fallacious and redundant

abstract: This seemed impossible to use a theoretically adequate but too sophisticated risk measure called non-ruin capital, whence its widespread (including regulatory documents) replacement with an inadequate, but simple risk measure called Value-at-Risk. Conflicting with the idea by Albert Einstein that "everything should be made as simple as possible, but not simpler", this led to fallacious, and even deceitful (but generally accepted) standards and recommendations. Arguing from the standpoint of mathematical theory of risk, we aim to break this impasse.


title: Well-posedness for a family of degenerate parabolic mixed equations

abstract: The aim of this work is to show an abstract framework to analyze a family of linear degenerate parabolic mixed equations. We combine the theory for the degenerate parabolic equations with the classical Babuska-Brezzi theory for linear mixed stationary equations to deduce sufficient conditions to prove the well-posedness of the problem. Finally, we illustrate the application of the abstract framework through examples that come from physical science applications including fluid dynamics models and electromagnetic problems.


title: On the Modeling and Simulation of Anti-Windup Proportional-Integral Controller

abstract: This paper investigates the chattering and deadlock behaviors of the proportional-integral (PI) controller with an anti-windup (AW) limiter recommended by the IEEE Standard 421.5-2016. Depending on the simulation method, the controller may enter a chattering or deadlock state in some combinations of parameters and inputs. Chattering and deadlock are analyzed in the context of three numerical integration approaches: explicit partitioned method (EPM), execution-list based method (ELM), and implicit trapezoidal method (ITM). This paper derives the chattering stop condition for EPM and ELP, and analyzes the impacts of step size and convergence tolerance for simultaneous method. The deduced chattering stop conditions and deadlock behavior is verified with numerical simulations.


title: Deep Medical Image Analysis with Representation Learning and Neuromorphic Computing

abstract: We explore three representative lines of research and demonstrate the utility of our methods on a classification benchmark of brain cancer MRI data. First, we present a capsule network that explicitly learns a representation robust to rotation and affine transformation. This model requires less training data and outperforms both the original convolutional baseline and a previous capsule network implementation. Second, we leverage the latest domain adaptation techniques to achieve a new state-of-the-art accuracy. Our experiments show that non-medical images can be used to improve model performance. Finally, we design a spiking neural network trained on the Intel Loihi neuromorphic chip (Fig. 1 shows an inference snapshot). This model consumes much lower power while achieving reasonable accuracy given model reduction. We posit that more research in this direction combining hardware and learning advancements will power future medical imaging (on-device AI, few-shot prediction, adaptive scanning).


title: Target-Independent Domain Adaptation for WBC Classification using Generative Latent Search

abstract: Automating the classification of camera-obtained microscopic images of White Blood Cells (WBCs) and related cell subtypes has assumed importance since it aids the laborious manual process of review and diagnosis. Several State-Of-The-Art (SOTA) methods developed using Deep Convolutional Neural Networks suffer from the problem of domain shift - severe performance degradation when they are tested on data (target) obtained in a setting different from that of the training (source). The change in the target data might be caused by factors such as differences in camera/microscope types, lenses, lighting-conditions etc. This problem can potentially be solved using Unsupervised Domain Adaptation (UDA) techniques albeit standard algorithms presuppose the existence of a sufficient amount of unlabelled target data which is not always the case with medical images. In this paper, we propose a method for UDA that is devoid of the need for target data. Given a test image from the target data, we obtain its 'closest-clone' from the source data that is used as a proxy in the classifier. We prove the existence of such a clone given that infinite number of data points can be sampled from the source distribution. We propose a method in which a latent-variable generative model based on variational inference is used to simultaneously sample and find the 'closest-clone' from the source distribution through an optimization procedure in the latent space. We demonstrate the efficacy of the proposed method over several SOTA UDA methods for WBC classification on datasets captured using different imaging modalities under multiple settings.


title: Computational Adequacy for Substructural Lambda Calculi

abstract: Substructural type systems, such as affine (and linear) type systems, are type systems which impose restrictions on copying (and discarding) of variables, and they have found many applications in computer science, including quantum programming. We describe one linear and one affine type systems and we formulate abstract categorical models for both of them which are sound and computationally adequate. We also show, under basic assumptions, that interpreting lambda abstractions via a monoidal closed structure (a popular method for linear type systems) necessarily leads to degenerate and inadequate models for call-by-value affine type systems with recursion. In our categorical treatment, a solution to this problem is clearly presented. Our categorical models are more general than linear/non-linear models used to study linear logic and we present a homogeneous categorical account of both linear and affine type systems in a call-by-value setting. We also give examples with many concrete models, including classical and quantum ones.


title: Scalable First-Order Methods for Robust MDPs

abstract: Robust Markov Decision Processes (MDPs) are a powerful framework for modeling sequential decision-making problems with model uncertainty. This paper proposes the first first-order framework for solving robust MDPs. Our algorithm interleaves primal-dual first-order updates with approximate Value Iteration updates. By carefully controlling the tradeoff between the accuracy and cost of Value Iteration updates, we achieve an ergodic convergence rate of $O \left( A^{2} S^{3}\log(S)\log(\epsilon^{-1}) \epsilon^{-1} \right)$ for the best choice of parameters on ellipsoidal and Kullback-Leibler $s$-rectangular uncertainty sets, where $S$ and $A$ is the number of states and actions, respectively. Our dependence on the number of states and actions is significantly better (by a factor of $O(A^{1.5}S^{1.5})$) than that of pure Value Iteration algorithms. In numerical experiments on ellipsoidal uncertainty sets we show that our algorithm is significantly more scalable than state-of-the-art approaches. Our framework is also the first one to solve robust MDPs with $s$-rectangular KL uncertainty sets.


title: Abelian Higgs model in power-law inflation: the propagators in the unitary gauge

abstract: We consider the Abelian Higgs model in the broken phase as a spectator in cosmological spaces of general $D$ space-time dimensions, and allow for the condensate to be time-dependent. We fix the unitary gauge using Dirac's formalism for constrained systems, and then quantize the gauge-fixed system. Vector and scalar perturbations develop time-dependent masses. We work out their propagators assuming the cosmological background is that of power-law inflation, characterized by a constant principal slow-roll parameter, and that the scalar condensate is in the attractor regime, scaling as the Hubble rate. Our propagators correctly reduce to known results in the Minkowski and de Sitter space limits. We use the vector propagator to compute the equal-time correlators of electric and magnetic fields and find that at super-Hubble separations the former is enhanced, while the latter is suppressed compared to the vacuum fluctuations of the massless vector field. These correlators satisfy the hierarchy governed by Faraday's law.


title: A new generation 99 line Matlab code for compliance Topology Optimization and its extension to 3D

abstract: Compact and efficient Matlab implementations of compliance Topology Optimization (TO) for 2D and 3D continua are given, consisting of 99 and 125 lines respectively. On discretizations ranging from $3\cdot 10^{4}$ to $4.8\cdot10^{5}$ elements, the 2D version, named top99neo, shows speedups from 2.55 to 5.5 times compared to the well-known top88 code (Andreassen-etal 2011). The 3D version, named top3D125, is the most compact and efficient Matlab implementation for 3D TO to date, showing a speedup of 1.9 times compared to the code of Amir-etal 2014, on a discretization with $2.2\cdot10^{5}$ elements. For both codes, improvements are due to much more efficient procedures for the assembly and implementation of filters and shortcuts in the design update step. The use of an acceleration strategy, yielding major cuts in the overall computational time, is also discussed, stressing its easy integration within the basic codes.


title: End-to-End Automatic Sleep Stage Classification Using Spectral-Temporal Sleep Features

abstract: Sleep disorder is one of many neurological diseases that can affect greatly the quality of daily life. It is very burdensome to manually classify the sleep stages to detect sleep disorders. Therefore, the automatic sleep stage classification techniques are needed. However, the previous automatic sleep scoring methods using raw signals are still low classification performance. In this study, we proposed an end-to-end automatic sleep staging framework based on optimal spectral-temporal sleep features using a sleep-edf dataset. The input data were modified using a bandpass filter and then applied to a convolutional neural network model. For five sleep stage classification, the classification performance 85.6% and 91.1% using the raw input data and the proposed input, respectively. This result also shows the highest performance compared to conventional studies using the same dataset. The proposed framework has shown high performance by using optimal features associated with each sleep stage, which may help to find new features in the automatic sleep stage method.


title: How Does COVID-19 impact Students with Disabilities/Health Concerns?

abstract: The impact of COVID-19 on students has been enormous, with an increase in worries about fiscal and physical health, a rapid shift to online learning, and increased isolation. In addition to these changes, students with disabilities/health concerns may face accessibility problems with online learning or communication tools, and their stress may be compounded by additional risks such as financial stress or pre-existing conditions. To our knowledge, no one has looked specifically at the impact of COVID-19 on students with disabilities/health concerns. In this paper, we present data from a survey of 147 students with and without disabilities collected in late March to early April of 2020 to assess the impact of COVID-19 on these students' education and mental health. Our findings show that students with disabilities/health concerns were more concerned about classes going online than their peers without disabilities. In addition, students with disabilities/health concerns also reported that they have experienced more COVID-19 related adversities compared to their peers without disabilities/health concerns. We argue that students with disabilities/health concerns in higher education need confidence in the accessibility of the online learning tools that are becoming increasingly prevalent in higher education not only because of COVID-19 but also more generally. In addition, educational technologies will be more accessible if they consider the learning context, and are designed to provide a supportive, calm, and connecting learning environment.


title: Secure mm-Wave Communications with Imperfect Hardware and Uncertain Eavesdropper Location

abstract: This paper examines the secrecy performance of millimeter-wave (mm-Wave) communications with imperfect hardware and uncertain eavesdropper location. We consider a multiple-antenna source communicating with a single-antenna destination using masked beamforming to transmit the information signals with artificial noise (AN) in the presence of a passive eavesdropper (Eve). For this system, we derive new expressions for the secrecy outage probability (SOP) and secrecy throughput with mm-Wave multipath propagation under slow-fading channel conditions and hardware imperfections. Based on this, optimal power allocation (OPA) solutions are derived for the information and AN signals aimed at minimizing the SOP and maximizing the secrecy throughput. Our results reveal that it is non-trivial to achieve an OPA solution for the general scenario of imperfect hardware. We also highlight that our proposed masked beamforming with OPA scheme significantly enhances the secrecy throughput compared with the benchmark schemes of maximal-ratio transmission and equal power allocation.


title: Delay-Aware Model-Based Reinforcement Learning for Continuous Control

abstract: Action delays degrade the performance of reinforcement learning in many real-world systems. This paper proposes a formal definition of delay-aware Markov Decision Process and proves it can be transformed into standard MDP with augmented states using the Markov reward process. We develop a delay-aware model-based reinforcement learning framework that can incorporate the multi-step delay into the learned system models without learning effort. Experiments with the Gym and MuJoCo platforms show that the proposed delay-aware model-based algorithm is more efficient in training and transferable between systems with various durations of delay compared with off-policy model-free reinforcement learning methods. Codes available at: https://github.com/baimingc/dambrl.


title: Delay-Aware Multi-Agent Reinforcement Learning for Cooperative and Competitive Environments

abstract: Action and observation delays exist prevalently in the real-world cyber-physical systems which may pose challenges in reinforcement learning design. It is particularly an arduous task when handling multi-agent systems where the delay of one agent could spread to other agents. To resolve this problem, this paper proposes a novel framework to deal with delays as well as the non-stationary training issue of multi-agent tasks with model-free deep reinforcement learning. We formally define the Delay-Aware Markov Game that incorporates the delays of all agents in the environment. To solve Delay-Aware Markov Games, we apply centralized training and decentralized execution that allows agents to use extra information to ease the non-stationarity issue of the multi-agent systems during training, without the need of a centralized controller during execution. Experiments are conducted in multi-agent particle environments including cooperative communication, cooperative navigation, and competitive experiments. We also test the proposed algorithm in traffic scenarios that require coordination of all autonomous vehicles to show the practical value of delay-awareness. Results show that the proposed delay-aware multi-agent reinforcement learning algorithm greatly alleviates the performance degradation introduced by delay. Codes and demo videos are available at: https://github.com/baimingc/delay-aware-MARL.


title: On the Generation of Medical Dialogues for COVID-19

abstract: Under the pandemic of COVID-19, people experiencing COVID19-related symptoms or exposed to risk factors have a pressing need to consult doctors. Due to hospital closure, a lot of consulting services have been moved online. Because of the shortage of medical professionals, many people cannot receive online consultations timely. To address this problem, we aim to develop a medical dialogue system that can provide COVID19-related consultations. We collected two dialogue datasets -- CovidDialog -- (in English and Chinese respectively) containing conversations between doctors and patients about COVID-19. On these two datasets, we train several dialogue generation models based on Transformer, GPT, and BERT-GPT. Since the two COVID-19 dialogue datasets are small in size, which bear high risk of overfitting, we leverage transfer learning to mitigate data deficiency. Specifically, we take the pretrained models of Transformer, GPT, and BERT-GPT on dialog datasets and other large-scale texts, then finetune them on our CovidDialog tasks. We perform both automatic and human evaluation of responses generated by these models. The results show that the generated responses are promising in being doctor-like, relevant to the conversation history, and clinically informative. The data and code are available at https://github.com/UCSD-AI4H/COVID-Dialogue.


title: Age-of-Information-based Scheduling in Multiuser Uplinks with Stochastic Arrivals: A POMDP Approach

abstract: In this paper, we consider a multiuser uplink status update system, where a monitor aims to timely collect randomly generated status updates from multiple end nodes through a shared wireless channel. We adopt the recently proposed metric, termed age of information (AoI), to quantify the information timeliness and freshness. Due to the random generation of the status updates at the end node side, the monitor only grasps a partial knowledge of the status update arrivals. Under such a practical scenario, we aim to address a fundamental multiuser scheduling problem: how to schedule the end nodes to minimize the network-wide AoI? To solve this problem, we formulate it as a partially observable Markov decision process (POMDP), and develop a dynamic programming (DP) algorithm to obtain the optimal scheduling policy. By noting that the optimal policy is computationally prohibitive, we further design a low-complexity myopic policy that only minimizes the one-step expected reward. Simulation results show that the performance of the myopic policy can approach that of the optimal policy, and is better than that of the baseline policy.


title: Non-linear Log-Sobolev inequalities for the Potts semigroup and applications to reconstruction problems

abstract: Consider the semigroup of random walk on a complete graph, which we call the Potts semigroup. Diaconis and Saloff-Coste computed the maximum of the ratio of the relative entropy and the Dirichlet form obtaining the constant $\alpha_2$ in the $2$-log-Sobolev inequality ($2$-LSI). In this paper, we obtain the best possible non-linear inequality relating entropy and the Dirichlet form (i.e., $p$-NLSI, $p\ge1$). As an example, we show $\alpha_1 = 1+\frac{1+o(1)}{\log k}$. By integrating the $1$-NLSI we obtain the new strong data processing inequality (SDPI), which in turn allows us to improve results of Mossel and Peres on reconstruction thresholds for Potts models on trees. A special case is the problem of reconstructing color of the root of a $k$-colored tree given knowledge of colors of all the leaves. We show that to have a non-trivial reconstruction probability the branching number of the tree should be at least $$\frac{\log k}{\log k - \log(k-1)} = (1-o(1))k\log k.$$ This recovers previous results (of Sly and Bhatnagar et al.) in (slightly) more generality, but more importantly avoids the need for any coloring-specialized arguments. Similarly, we improve the state-of-the-art on the weak recovery threshold for the stochastic block model with $k$ balanced groups, for all $k\ge 3$. To further show the power of our method, we prove optimal non-reconstruction results for a broadcasting on trees model with Gaussian kernels, closing a gap left open by Eldan et al. These improvements advocate information-theoretic methods as a useful complement to the conventional techniques originating from the statistical physics.


title: Polyrhythmic Bimanual Coordination Training using Haptic Force Feedback

abstract: It is challenging to develop two thoughts at the same time or perform two uncorrelated motions simultaneously. This work looks specifically towards training humans to perform a 2:3 polyrhythmic bimanual ratio using haptic force feedback devices (SensAble Phantom OMNI). We implemented an interactive training session to help participants learn to decouple their hand motions quickly. Three subjects (2 Females, 1 Male) were tested and have successfully increased their scores after adaptive training durations of under five minutes.


title: The IACOB project. VI. On the elusive detection of massive O-type stars close to the ZAMS

abstract: The apparent lack of massive O-type stars near the zero-age main sequence (at ages < 2 Myr) is a topic widely discussed. Different explanations for this elusive detection have been proposed, but no firm conclusions have been reached yet. We reassess this empirical result benefiting from the high-quality spectroscopic observations of >400 Galactic O-type stars gathered by the IACOB and OWN surveys. We used temperatures and gravities from a iacob-gbat/fastwind spectroscopic analysis to locate our sample in the Kiel and spectroscopic HR diagrams. We evaluated the completeness of our sample of stars, observational biases using information from the Galactic O star catalog (GOSC), systematics of our methodology, and compare with other recent studies using smaller samples of Galactic O-type stars. We base our discussion on the spectroscopic HR diagram to avoid the use of uncertain distances. We performed a detailed study of the young cluster Trumpler-14 as an example of how Gaia cluster distances can help to construct the associated classical HR diagram. The apparent lack of massive O-type stars near the ZAMS with masses between 30 and 70 Msol persist even when spectroscopic results from a large, non-biased sample of stars are used. We do not find correlation between the dearth of stars and observational biases, limitations of our methodology, or the use of spectroscopic HR diagram instead of the classical one. Investigating the efficiency of mass accretion during the formation process we conclude that an adjustment of the accretion rate towards lower values could reconcile the hotter boundary of detected O-type stars and the theoretical birthline. Last, we discuss that the presence of a small sample of O2-O3.5 stars found closer to the ZAMS might be explained taking into account non-standard star evolution (e.g. binary interaction, mergers, or homogeneous evolution).


title: Luganda Text-to-Speech Machine

abstract: In Uganda, Luganda is the most spoken native language. It is used for communication in informal as well as formal business transactions. The development of technology startups globally related to TTS has mainly been with languages like English, French, etc. These are added in TTS engines by Google, Microsoft among others, allowing developers in these regions to innovate TTS products. Luganda is not supported because the language is not built and trained on these engines. In this study, we analyzed the Luganda language structure and constructions and then proposed and developed a Luganda TTS. The system was built and trained using locally sourced Luganda language text and audio. The engine is now able to capture text and reads it aloud. We tested the accuracy using MRT and MOS. MRT and MOS tests results are quite good with MRT having better results. The results general score was 71%. This study will enhance previous solutions to NLP gaps in Uganda, as well as provide raw data such that other research in this area can take place.


title: Settling of inertial particles in turbulent Rayleigh-Benard convection

abstract: The settling behaviour of small inertial particles in turbulent convection is a fundamental problem across several disciplines, from geophysics to metallurgy. In a geophysical context, the settling of dense crystals controls the mode of solidification of magma chambers and planetary-scale magma oceans, while rising of light bubbles of volatiles drives volcanic outgassing and the formation of primordial atmospheres. Motivated by these geophysical systems, we perform a systematic numerical study on the settling rate of particles in a rectangular two-dimensional Rayleigh-Benard system with Rayleigh number up to 10^12 and Prandtl number from 10 to 50. Under the idealized condition of spherically-shaped particles with small Reynolds number, two limiting behaviours exist for the settling velocity. On the one hand, Stokes' law applies to particles with small but finite response time, leading to a constant settling rate. On the other hand, particles with a vanishing response time are expected to settle at an exponential rate. Based on our simulations, we present a new physical model that bridges the gap between the above limiting behaviours by describing the sedimentation of inertial particles as a random process with two key components: i) the transport of particles from vigorously convecting regions into sluggish, low-velocity "piles" that naturally develop at the horizontal boundaries of the system, and ii) the probability that particles escape such low-velocity regions without settling at their base. In addition, we identify four distinct settling regimes and analyze the horizontal distribution of sedimented particles. For two of these regimes settling is particularly slow and the distribution is strongly non-uniform, with dense particles being deposited preferentially below major clusters of upwellings.


title: Robust PCA via Regularized REAPER with a Matrix-Free Proximal Algorithm

abstract: Principal component analysis (PCA) is known to be sensitive to outliers, so that various robust PCA variants were proposed in the literature. A recent model, called REAPER, aims to find the principal components by solving a convex optimization problem. Usually the number of principal components must be determined in advance and the minimization is performed over symmetric positive semi-definite matrices having the size of the data, although the number of principal components is substantially smaller. This prohibits its use if the dimension of the data is large which is often the case in image processing. In this paper, we propose a regularized version of REAPER which enforces the sparsity of the number of principal components by penalizing the nuclear norm of the corresponding orthogonal projector. This has the advantage that only an upper bound on the number of principal components is required. Our second contribution is a matrix-free algorithm to find a minimizer of the regularized REAPER which is also suited for high dimensional data. The algorithm couples a primal-dual minimization approach with a thick-restarted Lanczos process. As a side result, we discuss the topic of the bias in robust PCA. Numerical examples demonstrate the performance of our algorithm.


title: Photoinduced electronic and spin properties of two-dimensional electron gases with Rashba spin-orbit coupling under perpendicular magnetic fields

abstract: We theoretically investigate photoinduced phenomena induced by time-periodic driving fields in two-dimensional electron gases under perpendicular magnetic fields with Rashba spin-orbit coupling. Using perturbation theory, we provide analytical results for the Floquet-Landau energy spectrum appearing due to THz radiation. By employing the resulting photo-modulated states, we compute the dynamical evolution of the spin polarization function for an initially prepared coherent state. We find that the interplay of the magnetic field, Rashba spin-orbit interaction and THz radiation can lead to inversion of the spin polarization. The dynamics also induces fractional revivals and non-trivial beating patterns in the autocorrelation function due to interference of the photo-modulated quantum states. We also calculate the transverse photo-assisted conductivity in the linear response regime using Kubo formalism and analyze the impact of the radiation field and Rashba spin-orbit interaction. In the static limit, we find that our results reduce to well-known expressions of the conductivity in non-relativistic and quasi-relativistic (topological insulator surfaces) two-dimensional electron gas thoroughly described in the literature. We discuss the possible experimental detection of our theoretical prediction and their relevance for spin-orbit physics at high magnetic fields.


title: Online Monitoring for Neural Network Based Monocular Pedestrian Pose Estimation

abstract: Several autonomy pipelines now have core components that rely on deep learning approaches. While these approaches work well in nominal conditions, they tend to have unexpected and severe failure modes that create concerns when used in safety-critical applications, including self-driving cars. There are several works that aim to characterize the robustness of networks offline, but currently there is a lack of tools to monitor the correctness of network outputs online during operation. We investigate the problem of online output monitoring for neural networks that estimate 3D human shapes and poses from images. Our first contribution is to present and evaluate model-based and learning-based monitors for a human-pose-and-shape reconstruction network, and assess their ability to predict the output loss for a given test input. As a second contribution, we introduce an Adversarially-Trained Online Monitor ( ATOM ) that learns how to effectively predict losses from data. ATOM dominates model-based baselines and can detect bad outputs, leading to substantial improvements in human pose output quality. Our final contribution is an extensive experimental evaluation that shows that discarding outputs flagged as incorrect by ATOM improves the average error by 12.5%, and the worst-case error by 126.5%.


title: On estimating the size of overcoverage with the latent class model. A critique of the paper "Population Size Estimation Using Multiple Incomplete Lists with Overcoverage" by di Cecco, di Zio, Filipponi and Rocchetti (2018, JOS 34 557-572)

abstract: We read with interest the article by di Cecco et al. (2018), but have reservations about the usefulness of the latent class model specifically for estimating overcoverage. In particular, we question the interpretation of the parameters of the fitted latent class model.


title: Weak universality of $\Phi^4_3$: polynomial potential and general smoothing mechanism

abstract: We consider a class of stochastic reaction-diffusion equations on the three dimensional torus. The non-linearities are odd polynomials in the weakly non-linear regime, and the smoothing mechanisms are very general higher order perturbations of the Laplacian. The randomness is the space-time white noise without regularisation. We show that these processes converge to the dynamical $\Phi^4_3 (\lambda)$ model, where the coupling constant $\lambda$ has an explicit expression involving non-trivial interactions between all details of the smoothing mechanism and the non-linearity.


title: Stability-enhanced AP IMEX1-LDG method: energy-based stability and rigorous AP property

abstract: In our recent work [22], a family of high order asymptotic preserving (AP) methods, termed as IMEX-LDG methods, are designed to solve some linear kinetic transport equations, including the one-group transport equation in slab geometry and the telegraph equation, in a diffusive scaling. As the Knudsen number $\varepsilon$ goes to zero, the limiting schemes are implicit discretizations to the limiting diffusive equation. Both Fourier analysis and numerical experiments imply the methods are unconditionally stable in the diffusive regime when $\varepsilon\ll1$. In this paper, we develop an energy approach to establish the numerical stability of the IMEX1-LDG method, the sub-family of the methods that is first order accurate in time and arbitrary order in space, for the model with general material properties. Our analysis is the first to simultaneously confirm unconditional stability when $\varepsilon\ll1$ and the uniform stability property with respect to $\varepsilon$. To capture the unconditional stability, a novel discrete energy is introduced by better exploring the contribution of the scattering term in different regimes. A general form of the weight function, introduced to obtain the unconditional stability for $\varepsilon\ll1$, is also for the first time considered in such stability analysis. Based on the uniform stability, a rigorous asymptotic analysis is then carried out to show the AP property.


title: Variable-Length Constrained Coding and Kraft Conditions: The Parity-Preserving Case

abstract: Previous work by the authors on parity-preserving fixed-length constrained encoders is extended to the variable-length case. Parity-preserving variable-length encoders are formally defined, and, to this end, Kraft conditions are developed for the parity-preserving variable-length setting. Then, a necessary and sufficient condition is presented for the existence of deterministic parity-preserving variable-length encoders for a given constraint. Examples are provided that show that there are coding ratios where parity-preserving variable-length encoders exist, while fixed-length encoders do not.


title: Learning to Slide Unknown Objects with Differentiable Physics Simulations

abstract: We propose a new technique for pushing an unknown object from an initial configuration to a goal configuration with stability constraints. The proposed method leverages recent progress in differentiable physics models to learn unknown mechanical properties of pushed objects, such as their distributions of mass and coefficients of friction. The proposed learning technique computes the gradient of the distance between predicted poses of objects and their actual observed poses and utilizes that gradient to search for values of the mechanical properties that reduce the reality gap. The proposed approach is also utilized to optimize a policy to efficiently push an object toward the desired goal configuration. Experiments with real objects using a real robot to gather data show that the proposed approach can identify the mechanical properties of heterogeneous objects from a small number of pushing actions.


title: Flat band induced non-Fermi liquid behavior of multicomponent fermions

abstract: We investigate multicomponent fermions in a flat band and predict experimental signatures of non-Fermi liquid behavior. We use dynamical mean-field theory to obtain the density, double occupancy and entropy in a Lieb lattice for $\mathcal{N} = 2$ and $\mathcal{N} = 4$ components. We derive a mean-field scaling relation between the results for different values of $\mathcal{N}$, and study its breakdown due to beyond-mean field effects. The predicted signatures occur at temperatures above the N\'eel temperature and persist in presence of a harmonic trapping potential, thus they are observable with current ultracold gas experiments.


title: Performance Analysis and Optimization of Cache-Assisted CoMP for Clustered D2D Networks

abstract: Caching at mobile devices and leveraging cooperative device-to-device (D2D) communications are two promising approaches to support massive content delivery over wireless networks while mitigating the effects of interference. To show the impact of cooperative communication on the performance of cache-enabled D2D networks, the notion of device clustering must be factored in to convey a realistic description of the network performance. In this regard, this paper develops a novel mathematical model, based on stochastic geometry and an optimization framework for cache-assisted coordinated multi-point (CoMP) transmissions with clustered devices. Devices are spatially distributed into disjoint clusters and are assumed to have a surplus memory to cache files from a known library, following a random probabilistic caching scheme. Desired contents that are not self-cached can be obtained via D2D CoMP transmissions from neighboring devices or, as a last resort, from the network. For this model, we analytically characterize the offloading gain and rate coverage probability as functions of the system parameters. An optimal caching strategy is then defined as the content placement scheme that maximizes the offloading gain. For a tractable optimization framework, we pursue two separate approaches to obtain a lower bound and a provably accurate approximation of the offloading gain, which allows us to obtain optimized caching strategies.


title: Semi-closed form prices of barrier options in the time-dependent CEV and CIR models

abstract: We continue a series of papers where prices of the barrier options written on the underlying, which dynamics follows some one factor stochastic model with time-dependent coefficients and the barrier, are obtained in semi-closed form, see (Carr and Itkin, 2020, Itkin and Muravey, 2020). This paper extends this methodology to the CIR model for zero-coupon bonds, and to the CEV model for stocks which are used as the corresponding underlying for the barrier options. We describe two approaches. One is generalization of the method of heat potentials for the heat equation to the Bessel process, so we call it the method of Bessel potentials. We also propose a general scheme how to construct the potential method for any linear differential operator with time-independent coefficients. The second one is the method of generalized integral transform, which is also extended to the Bessel process. In all cases, a semi-closed solution means that first, we need to solve numerically a linear Volterra equation of the second kind, and then the option price is represented as a one-dimensional integral. We demonstrate that computationally our method is more efficient than both the backward and forward finite difference methods while providing better accuracy and stability. Also, it is shown that both method don't duplicate but rather compliment each other, as one provides very accurate results at small maturities, and the other one - at high maturities.


title: VIDIT: Virtual Image Dataset for Illumination Transfer

abstract: Deep image relighting is gaining more interest lately, as it allows photo enhancement through illumination-specific retouching without human effort. Aside from aesthetic enhancement and photo montage, image relighting is valuable for domain adaptation, whether to augment datasets for training or to normalize input test data. Accurate relighting is, however, very challenging for various reasons, such as the difficulty in removing and recasting shadows and the modeling of different surfaces. We present a novel dataset, the Virtual Image Dataset for Illumination Transfer (VIDIT), in an effort to create a reference evaluation benchmark and to push forward the development of illumination manipulation methods. Virtual datasets are not only an important step towards achieving real-image performance but have also proven capable of improving training even when real datasets are possible to acquire and available. VIDIT contains 300 virtual scenes used for training, where every scene is captured 40 times in total: from 8 equally-spaced azimuthal angles, each lit with 5 different illuminants.


title: Geometry and Algebra of the Deltoid Map

abstract: The geometry of the deltoid curve gives rise to a self-map of $\mathbb{C}^2$ that is expressed in coordinates by $f(x,y) = (y^2 - 2x, x^2 - 2y)$. This is one in a family of maps that generalize Chebyshev polynomials to several variables. We use this example to illustrate two important objects in complex dynamics: the Julia set and the iterated monodromy group.


title: Computer-based and paper-and-pencil tests: A study in calculus for STEM majors

abstract: Computer-based testing is an expanding use of technology offering advantages to teachers and students. We studied Calculus II classes for STEM majors using different testing modes. Three sections with 324 students employed: Paper-and-pencil testing, computer-based testing, and both. Computer tests gave immediate feedback, allowed multiple submissions, and pooling. Paper-and-pencil tests required work and explanation allowing inspection of high cognitive demand tasks. Each test mode used the strength of its method. Students were given the same lecture by the same instructor on the same day and the same homework assignments and due dates. The design is quasi-experimental, but students were not aware of the testing mode at registration. Two basic questions examined were: (1) Do paper-and-pencil and computer-based tests measure knowledge and skill in STEM Calculus II in a consistent manner? (2) How does the knowledge and skill gained by students in a fully computer-based Calculus II class compare to students in a class requiring pencil-and-paper tests and hence some paper-and-pencil work. These results indicate that computer-based tests are as consistent with paper-and-pencil tests as computer-based tests are with themselves. Results are also consistent with classes using paper-and-pencil tests having slightly better outcomes than fully computer-based classes using only computer assessments.


title: Quantum Key-Distribution Protocols Based on a Quantum Version of the Monty Hall Game

abstract: This work illustrates a possible application of quantum game theory to the area of quantum information, in particular to quantum cryptography. The study proposed two quantum key-distribution (QKD) protocols based on the quantum version of the Monty Hall game devised by Flitney and Abbott. Unlike most QKD protocols, in which the bits from which the key is going to be extracted are encoded in a basis choice (as in BB84), these are encoded in an operation choice. The first proposed protocol uses qutrits to describe the state of the system and the same game operators proposed by Flitney and Abbott. The motivation behind the second proposal is to simplify a possible physical implementation by adapting the formalism of the qutrit protocol to use qubits and simple logical quantum gates. In both protocols, the security relies on the violation of a Bell-type inequality, for two qutrits and for six qubits in each case. Results show a higher ratio of violation than the E91 protocol.


title: Non-Separable Spatio-temporal Models via Transformed Gaussian Markov Random Fields

abstract: Models that capture the spatial and temporal dynamics are applicable in many science fields. Non-separable spatio-temporal models were introduced in the literature to capture these features. However, these models are generally complicated in construction and interpretation. We introduce a class of non-separable Transformed Gaussian Markov Random Fields (TGMRF) in which the dependence structure is flexible and facilitates simple interpretations concerning spatial, temporal and spatio-temporal parameters. Moreover, TGMRF models have the advantage of allowing specialists to define any desired marginal distribution in model construction without suffering from spatio-temporal confounding. Consequently, the use of spatio-temporal models under the TGMRF framework leads to a new class of general models, such as spatio-temporal Gamma random fields, that can be directly used to model Poisson intensity for space-time data. The proposed model was applied to identify important environmental characteristics that affect variation in the abundance of Nenia tridens, a dominant species of snail in a well-studied tropical ecosystem, and to characterize its spatial and temporal trends, which are particularly critical during the Anthropocene, an epoch of time characterized by human-induced environmental change associated with climate and land use.


title: Quantum Annealing-Based Software Components: An Experimental Case Study with SAT Solving

abstract: Quantum computers have the potential of solving problems more efficiently than classical computers. While first commercial prototypes have become available, the performance of such machines in practical application is still subject to exploration. Quantum computers will not entirely replace classical machines, but serve as accelerators for specific problems. This necessitates integrating quantum computational primitives into existing applications. In this paper, we perform a case study on how to augment existing software with quantum computational primitives for the Boolean satisfiability problem (SAT) implemented using a quantum annealer (QA). We discuss relevant quality measures for quantum components, and show that mathematically equivalent, but structurally different ways of transforming SAT to a QA can lead to substantial differences regarding these qualities. We argue that engineers need to be aware that (and which) details, although they may be less relevant in traditional software engineering, require considerable attention in quantum computing.


title: Star-Gas Surface Density Correlations in Twelve Nearby Molecular Clouds I: Data Collection and Star-Sampled Analysis

abstract: We explore the relation between the stellar mass surface density and the mass surface density of molecular hydrogen gas in twelve nearby molecular clouds that are located at $<$1.5 kpc distance. The sample clouds span an order of magnitude range in mass, size, and star formation rates. We use thermal dust emission from $Herschel$ maps to probe the gas surface density and the young stellar objects from the most recent $Spitzer$ Extended Solar Neighborhood Archive (SESNA) catalog to probe the stellar surface density. Using a star-sampled nearest neighbor technique to probe the star-gas surface density correlations at the scale of a few parsecs, we find that the stellar mass surface density varies as a power-law of the gas mass surface density, with a power-law index of $\sim$2 in all the clouds. The consistent power-law index implies that star formation efficiency is directly correlated with gas column density, and no gas column density threshold for star formation is observed. We compare the observed correlations with the predictions from an analytical model of thermal fragmentation, and with the synthetic observations of a recent hydrodynamic simulation of a turbulent star-forming molecular cloud. We find that the observed correlations are consistent for some clouds with the thermal fragmentation model and can be reproduced using the hydrodynamic simulations.


title: The effect of messaging and gender on intentions to wear a face covering to slow down COVID-19 transmission

abstract: Now that various countries are or will soon be moving towards relaxing shelter-in-place rules, it is important that people use a face covering, to avoid an exponential resurgence of the spreading of the coronavirus disease (COVID-19). Here we report a pre-registered online experiment (N=2,459) using a heterogenous, although not representative, sample of people living in the USA, where we test the relative effect of messages highlighting that the coronavirus is a threat to "you" vs "your family" vs "your community" vs "your country" on self-reported intentions to wear a face covering. Results show that focusing on "your community" promotes intentions to wear a face covering relative to the baseline; the trend is the same when comparing "your community" to the other conditions, but not significant. We also conducted pre-registered analyses of gender differences on intentions to wear a face covering. We find that men less than women intend to wear a face covering, but this difference almost disappears in counties where wearing a face covering is mandatory. We also find that men less than women believe that they will be seriously affected by the coronavirus, and this partly mediates gender differences in intentions to wear a face covering (this is particularly ironic because official statistics actually show that men are affected by the COVID-19 more seriously than women). Finally, we also find gender differences in self-reported negative emotions felt when wearing a face covering. Men more than women agree that wearing a face covering is shameful, not cool, a sign of weakness, and a stigma; and these gender differences also mediate gender differences in intentions to wear a face covering.


title: Effect of the spin-orbit interaction on thermodynamic properties of liquid uranium

abstract: We present the first quantum molecular dynamics calculation of zero-pressure isobar of solid and liquid uranium that account for spin-orbit coupling. We demonstrate that inclusion of spin-orbit interaction leads to higher degree of the thermal expansion of uranium, especially in the liquid phase. Full accounting of relativistic effects for valence electrons, particularly spin-orbital splitting of the 5f band, is substantial for the reproduction of the experimental density of molten uranium at the melting temperature. Influence of the spin-orbit interaction on the thermodynamic properties at high temperatures and pressures is also analyzed.


title: Causal Estimation of Stay-at-Home Orders on SARS-CoV-2 Transmission

abstract: Accurately estimating the effectiveness of stay-at-home orders (SHOs) on reducing social contact and disease spread is crucial for mitigating pandemics. Leveraging individual-level location data for 10 million smartphones, we observe that by April 30th---when nine in ten Americans were under a SHO---daily movement had fallen 70% from pre-COVID levels. One-quarter of this decline is causally attributable to SHOs, with wide demographic differences in compliance, most notably by political affiliation. Likely Trump voters reduce movement by 9% following a local SHO, compared to a 21% reduction among their Clinton-voting neighbors, who face similar exposure risks and identical government orders. Linking social distancing behavior with an epidemic model, we estimate that reductions in movement have causally reduced SARS-CoV-2 transmission rates by 49%.

categories: physics.soc-ph cs.SI econ.GN q-bio.PE q-fin.EC


title: Hidden symmetries in non-self-adjoint graphs

abstract: On finite metric graphs the set of all realizations of the Laplace operator in the edgewise defined $L^2$-spaces are studied. These are defined by coupling boundary conditions at the vertices most of which define non-self-adjoint operators. In [Hussein, Krej\v{c}i\v{r}\'{\i}k, Siegl, Trans. Amer. Math. Soc., 367(4):2921--2957, 2015] a notion of regularity of boundary conditions by means of the Cayley transform of the parametrizing matrices has been proposed. The main point presented here is that not only the existence of this Cayley transform is essential for basic spectral properties, but also its poles and its asymptotic behaviour. It is shown that these poles and asymptotics can be characterized using the quasi-Weierstrass normal form which exposes some "hidden" symmetries of the system. Thereby, one can analyse not only the spectral theory of these mostly non-self-adjoint Laplacians, but also the well-posedness of the time-dependent heat-, wave- and Schr\"odinger equations on finite metric graphs as initial-boundary value problems. In particular, the generators of $C_0$- and analytic semigroups and $C_0$-cosine operator functions can be characterized. On star-shaped graphs a characterization of generators of bounded $C_0$-groups and thus of operators similar to self-adjoint ones is obtained.


title: Co-author weighting in bibliometric methodology and subfields of a scientific discipline

abstract: Collaborative work and co-authorship are fundamental to the advancement of modern science. However, it is not clear how collaboration should be measured in achievement-based metrics. Co-author weighted credit introduces distortions into the bibliometric description of a discipline. It puts great weight on collaboration - not based on the results of collaboration - but purely because of the existence of collaborations. In terms of publication and citation impact, it artificially favors some subdisciplines. In order to understand how credit is given in a co-author weighted system (like the NRC's method), we introduced credit spaces. We include a study of the discipline of physics to illustrate the method. Indicators are introduced to measure the proportion of a credit space awarded to a subfield or a set of authors.


title: Pi from the sky -- A null test of general relativity from a population of gravitational wave observations

abstract: Our understanding of observed Gravitational Waves (GWs) comes from matching data to known signal models describing General Relativity (GR). These models, expressed in the post-Newtonian formalism, contain the mathematical constant $\pi$. Allowing $\pi$ to vary thus enables a strong, universal and generalisable null test of GR. From a population of 22 GW observations, we make an astrophysical measurement of $\pi=3.115^{+0.048}_{-0.088}$, and prefer GR as the correct theory of gravity with a Bayes factor of 321. We find the variable $\pi$ test robust against simulated beyond-GR effects.


title: Linear independence in linear systems on elliptic curves

abstract: Let $E$ be an elliptic curve, with identity $O$, and let $C$ be a cyclic subgroup of odd order $N$, over an algebraically closed field $k$ with $\operatorname{char} k \nmid N$. For $P \in C$, let $s_P$ be a rational function with divisor $N \cdot P - N \cdot O$. We ask whether the $N$ functions $s_P$ are linearly independent. For generic $(E,C)$, we prove that the answer is yes. We bound the number of exceptional $(E,C)$ when $N$ is a prime by using the geometry of the universal generalized elliptic curve over $X_1(N)$. The problem can be recast in terms of sections of an arbitrary degree $N$ line bundle on $E$.


title: 2020 NDSA Agenda for Digital Stewardship

abstract: The NDSA Agenda is a comprehensive overview of the state of global digital preservation. It casts its eye over current research trends, grants, projects, and various efforts spanning the preservation ecosystem. The agenda identifies successes and ongoing challenges in addition to providing some tangible recommendations to both researcher and practitioner alike. As both an overview and comprehensive dive into digital preservation issues, the audience ranges from high level to hands on experts. Funders can use this report as a signpost for the overall state of the profession.


title: 2-Adic Stratification of Totients

abstract: In this paper we study the multiplicities and the asymptotic behaviour of the numbers of totients in the strata given by 2-adic valuation.