title: Dancing along Battery: Enabling Transformer with Run-time Reconfigurability on Mobile Devices

abstract: A pruning-based AutoML framework for run-time reconfigurability, namely RT3, is proposed in this work. This enables Transformer-based large Natural Language Processing (NLP) models to be efficiently executed on resource-constrained mobile devices and reconfigured (i.e., switching models for dynamic hardware conditions) at run-time. Such reconfigurability is the key to save energy for battery-powered mobile devices, which widely use dynamic voltage and frequency scaling (DVFS) technique for hardware reconfiguration to prolong battery life. In this work, we creatively explore a hybrid block-structured pruning (BP) and pattern pruning (PP) for Transformer-based models and first attempt to combine hardware and software reconfiguration to maximally save energy for battery-powered mobile devices. Specifically, RT3 integrates two-level optimizations: First, it utilizes an efficient BP as the first-step compression for resource-constrained mobile devices; then, RT3 heuristically generates a shrunken search space based on the first level optimization and searches multiple pattern sets with diverse sparsity for PP via reinforcement learning to support lightweight software reconfiguration, which corresponds to available frequency levels of DVFS (i.e., hardware reconfiguration). At run-time, RT3 can switch the lightweight pattern sets within 45ms to guarantee the required real-time constraint at different frequency levels. Results further show that RT3 can prolong battery life over 4x improvement with less than 1% accuracy loss for Transformer and 1.5% score decrease for DistilBERT.


title: Negative correlation of adjacent Busemann increments

abstract: We consider i.i.d. last-passage percolation on $\mathbb{Z}^2$ with weights having distribution $F$ and time-constant $g_F$. We provide an explicit condition on the large deviation rate function for independent sums of $F$ that determines when some adjacent Busemann function increments are negatively correlated. As an example, we prove that $\operatorname{Bernoulli}(p)$ weights for $p > p^* \approx 0.6504$ satisfy this condition. We prove this condition by establishing a direct relationship between the negative correlations of adjacent Busemann increments and the dominance of the time-constant $g_F$ by the function describing the time-constant of last-passage percolation with exponential or geometric weights.


title: Exploring HNC and HCN line emission as probes of the protoplanetary disk temperature

abstract: The distributions and abundances of molecules in protoplanetary disks are powerful tracers of the physical and chemical disk structures. The abundance ratios of HCN and its isomer HNC are known to be sensitive to gas temperature. Their line ratios might therefore offer a unique opportunity to probe the properties of the emitting gas. Using the 2D thermochemical code DALI, we ran a set of disk models accounting for different stellar and disk properties, with an updated chemical network for the nitrogen chemistry. These modeling results were then compared with observations, including new ALMA observations of HNC $J=3-2$ for the TW Hya disk and HNC $J=1-0$ for 29 disks in Lupus. Similar to CN, HCN and HNC have brighter line emission in models with larger disk flaring angles and higher UV fluxes. HNC and HCN are predicted to be abundant in the warm surface layer and outer midplane region, which results in ring-shaped emission patterns. However, the precise emitting regions and emission morphology depend on the probed transition, as well as on other parameters such as C and O abundances. The modeled HNC-to-HCN line intensity ratio increases from $<0.1$ in the inner disk to up to 0.8 in the outer disk regions, which can be explained by efficient HNC destruction at high temperatures. Disk-integrated HNC line fluxes from current scarce observations and its radial distribution in the TW Hya disk are broadly consistent with our model predictions. The HNC-to-HCN flux ratio robustly increases with radius (decreasing temperature), but its use as a chemical thermometer in disks is affected by other factors, including UV flux and C and O abundances. High-spatial resolution ALMA disk observations of HNC and HCN that can locate the emitting layers would have the great potential to constrain both the disk thermal and UV radiation structures, and also to verify our understanding of the nitrogen chemistry.


title: High angular resolution polarimetric imaging of the nucleus of NGC 1068: Disentangling the polarising mechanisms

abstract: Polarisation is a decisive method to study the inner region of active galactic nuclei (AGNs) since it is not affected by contrast issues similarly to how classical imaging is. When coupled to high angular resolution (HAR), polarisation can help to disentangle the location of the various polarising mechanisms and then give an insight on the physics taking place on the core of AGNs. We obtained a new data set of HAR polarimetric images of the archetypal Seyfert 2 nucleus of NGC 1068 observed with SPHERE/VLT and we aim in this paper at presenting the polarisation maps and at spatially separating the location of the polarising mechanisms, thus deriving constraints on the organisation of the dust material in the inner region of this AGN. We then compared these measurements to radiative transfer simulations of scattering and dichroic absorption processes, using the Monte-Carlo code MontAGN. We establish a detailed table of the relative importance of the polarising mechanism as a function of the aperture and of the wavelength. We are able to separate the dominant polarising mechanisms in the three regions of the ionisation cone, the extended envelop of the torus and the very central bright source of the AGN. Thus, we estimate the contribution of the different polarisation mechanisms to the observed polarisation flux in these regions. Dichroic absorption is estimated to be responsible for about 99 % of the polarised flux coming from the photo-centre. However, this contribution would be restricted to this location only, double scattering process being the most important contributor to polarisation in the equatorial plane of the AGN and single scattering being dominant in the polar outflow bi-cone.


title: Laser-assisted atom probe tomography of c-plane and m-plane InGaN test structures

abstract: Laser-assisted atom probe tomography (APT) was used to measure the indium mole fraction x of c-plane, MOCVD-grown, GaN/In(x)Ga(1-x)N/GaN test structures and the results were compared with Rutherford backscattering analysis (RBS). Four sample types were examined with (RBS determined) x = 0.030, 0.034, 0.056, and 0.112. The respective In(x)Ga(1-x)N layer thicknesses were 330 nm, 327 nm, 360 nm, and 55 nm. APT data were collected at (fixed) laser pulse energy (PE) selected within the range of (2-1000) fJ. Sample temperatures were = 54 K. PE within (2-50) fJ yielded x values that agreed with RBS (within uncertainty) and were comparatively insensitive to region-of-interest (ROI) geometry and orientation. By contrast, approximate stoichiometry was only found in the GaN portions of the samples provided PE was within (5-20) fJ and the analyses were confined to cylindrical ROIs (of diameters =20 nm) that were coaxial with the specimen tips. m-plane oriented tips were derived from c-axis grown, core-shell, GaN/In(x)Ga(1-x)N nanorod heterostructures. Compositional analysis along [0 0 0 1] (transverse to the long axis of the tip), of these m-plane samples revealed a spatial asymmetry in charge-state ratio (CSR) and a corresponding asymmetry in the resultant tip shape along this direction; no asymmetry in CSR or tip shape was observed for analysis along [-1 2-1 0]. Simulations revealed that the electric field strength at the tip apex was dominated by the presence of a p-type inversion layer, which developed under typical tip-electrode bias conditions for the n-type doping levels considered. Finally, both c-plane and m-plane sample types showed depth-dependent variations in absolute ion counts that depended upon ROI placement.


title: Numerical study of flow physics in supersonic base-flow with mass bleed

abstract: Large Eddy Simulation (LES) with dynamic sub-grid scale eddy viscosity model has been applied to numerically investigate the evolution of complicated flow structures in supersonic base flow with mass bleed. Mean flow properties obtained from numerical simulations, such as axial velocity, pressure on the base surface, have been compared with the experimental measurements to show that LES is able to predict the mean flow properties with acceptable accuracy. The data obtained from LES has been further analyzed to understand the evolution of coherent structures in the flow field. Periodical shedding of vortical structures from the outer shear layer has been observed and it has also been found that this vortex shedding is associated with the flapping of the outer shear layer. The frequency of flapping of the outer shear layer has been found out and the phase-averaged streamlines have been analyzed to further study the evolution of vortical structures associated with this flapping. The phase-averaged streamline plots clearly elucidate the evolution of vortical structures along the outer shear layer. Further, the study of these structures is investigated by performing Proper Orthogonal Decomposition (POD) analysis of the data, obtained along the central plane in the wake region. The POD results also seem to agree well with the observations made in the phase averaged streamline plots, as the concentrated energy and enstropy are observed in the outer shear layer with fewer POD modes.


title: Investigation of Flow Characteristics inside a Dual Bell Nozzle with and without Film Cooling

abstract: In this study, we perform a two-dimensional axisymmetric simulation to assess the flow characteristics and understand the film cooling process in a dual bell nozzle. The secondary stream with low temperature is injected at three different axial locations on the nozzle wall, and the simulations are carried out to emphasize the impact of injection location (secondary flow) on film cooling of the dual bell nozzle. The cooling effect is demonstrated through the temperature and pressure distributions on the nozzle wall or, in-turn, the separation point movement. Downstream of the injection point, the Mach number and temperature profiles document the mixing of the main flow and secondary flow. The inflection region is observed to be the most promising location for the injection of the secondary flow. We have further investigated the effect of Mach number of the secondary stream. The current study demonstrates that one can control the separation point in a dual bell nozzle with the help of secondary injection (Mach number) so that an optimum amount of thrust can be achieved.


title: Personalized Visualization Recommendation

abstract: Visualization recommendation work has focused solely on scoring visualizations based on the underlying dataset and not the actual user and their past visualization feedback. These systems recommend the same visualizations for every user, despite that the underlying user interests, intent, and visualization preferences are likely to be fundamentally different, yet vitally important. In this work, we formally introduce the problem of personalized visualization recommendation and present a generic learning framework for solving it. In particular, we focus on recommending visualizations personalized for each individual user based on their past visualization interactions (e.g., viewed, clicked, manually created) along with the data from those visualizations. More importantly, the framework can learn from visualizations relevant to other users, even if the visualizations are generated from completely different datasets. Experiments demonstrate the effectiveness of the approach as it leads to higher quality visualization recommendations tailored to the specific user intent and preferences. To support research on this new problem, we release our user-centric visualization corpus consisting of 17.4k users exploring 94k datasets with 2.3 million attributes and 32k user-generated visualizations.


title: Generating cryptographically-strong random lattice bases and recognizing rotations of $\mathbb{Z}^n$

abstract: Lattice-based cryptography relies on generating random bases which are difficult to fully reduce. Given a lattice basis (such as the private basis for a cryptosystem), all other bases are related by multiplication by matrices in $GL(n,\mathbb{Z})$. We compare the strengths of various methods to sample random elements of $GL(n,\mathbb{Z})$, finding some are stronger than others with respect to the problem of recognizing rotations of the $\mathbb{Z}^n$ lattice. In particular, the standard algorithm of multiplying unipotent generators together (as implemented in Magma's RandomSLnZ command) generates instances of this last problem which can be efficiently broken, even in dimensions nearing 1,500. Likewise, we find that the random basis generation method in one of the NIST Post-Quantum Cryptography competition submissions (DRS) generates instances which can be efficiently broken, even at its 256-bit security settings. Other random basis generation algorithms (some older, some newer) are described which appear to be much stronger.


title: A Visual Analysis Approach to Update Systematic Reviews

abstract: Context: In order to preserve the value of Systematic Reviews (SRs), they should be frequently updated considering new evidence that has been produced since the completion of the previous version of the reviews. However, the update of an SR is a time consuming, manual task. Thus, many SRs have not been updated as they should be and, therefore, they are currently outdated. Objective: The main contribution of this paper is to support the update of SRs. Method: We propose USR-VTM, an approach based on Visual Text Mining (VTM) techniques, to support selection of new evidence in the form of primary studies. We then present a tool, named Revis, which supports our approach. Finally, we evaluate our approach through a comparison of outcomes achieved using USR-VTM versus the traditional (manual) approach. Results: Our results show that USR-VTM increases the number of studies correctly included compared to the traditional approach. Conclusions: USR-VTM effectively supports the update of SRs.


title: Quadrupole Orders on the fcc Lattice

abstract: We theoretically study electric quadrupole orders in f-electron systems on the fcc lattice. Qudrupole degrees of freedom $O_{20}$ and $O_{22}$ originate in the non-Kramers doublet ground state $\Gamma_3$ of ion with $f^2$ electron configuration. For discussing quadrupole orders, we use a minimal model with isotropic ($J$) and anisotropic ($K$) nearest-neighbor interactions, and determine the phase diagram using a four-site mean-field approximation at zero and finite temperatures. Quadrupoles couple the $\Gamma_3$ doublet to the singlet excited state $\Gamma_1$, and its effects on canting antiferro orders are examined in detail. We found that this coupling leads to a rich phase diagram including two- and four-sublattice antiferro phases, and that two phases show a partial order of quadrupoles at finite temperatures.


title: One-dimensional ferronematics in a channel: order reconstruction, bifurcations and multistability

abstract: We study a model system with nematic and magnetic orders, within a channel geometry modelled by an interval, $[-D, D]$. The system is characterised by a tensor-valued nematic order parameter $\mathbf{Q}$ and a vector-valued magnetisation $\mathbf{M}$, and the observable states are modelled as stable critical points of an appropriately defined free energy. In particular, the full energy includes a nemato-magnetic coupling term characterised by a parameter $c$. We (i) derive $L^\infty$ bounds for $\mathbf{Q}$ and $\mathbf{M}$; (ii) prove a uniqueness result in parameter regimes defined by $c$, $D$ and material- and temperature-dependent correlation lengths; (iii) analyse order reconstruction solutions, possessing domain walls, and their stabilities as a function of $D$ and $c$ and (iv) perform numerical studies that elucidate the interplay of $c$ and $D$ for multistability.


title: Existence and Exponential Growth of Global Classical Solutions to the Compressible Navier-Stokes Equations with Slip Boundary Conditions in 3D Bounded Domains

abstract: We investigate the barotropic compressible Navier-Stokes equations with slip boundary conditions in a three-dimensional (3D) simply connected bounded domain, whose smooth boundary has a finite number of two-dimensional connected components. For any adiabatic exponent bigger than one, after discovering some new estimates on boundary integrals related to the slip boundary condition, we prove that both the weak and classical solutions to the initial-boundary-value problem of this system exist globally in time provided the initial energy is suitably small. Moreover, the density has large oscillations and contains vacuum states. Finally, it is also shown that for the classical solutions, the oscillation of the density will grow unboundedly in the long run with an exponential rate provided vacuum appears (even at a point) initially. This is the first result concerning the global existence of classical solutions to the compressible Navier-Stokes equations with density containing vacuum states initially for general 3D bounded smooth domains.


title: Physics-Informed Graphical Neural Network for Parameter & State Estimations in Power Systems

abstract: Parameter Estimation (PE) and State Estimation (SE) are the most wide-spread tasks in the system engineering. They need to be done automatically, fast and frequently, as measurements arrive. Deep Learning (DL) holds the promise of tackling the challenge, however in so far, as PE and SE in power systems is concerned, (a) DL did not win trust of the system operators because of the lack of the physics of electricity based, interpretations and (b) DL remained illusive in the operational regimes were data is scarce. To address this, we present a hybrid scheme which embeds physics modeling of power systems into Graphical Neural Networks (GNN), therefore empowering system operators with a reliable and explainable real-time predictions which can then be used to control the critical infrastructure. To enable progress towards trustworthy DL for PE and SE, we build a physics-informed method, named Power-GNN, which reconstructs physical, thus interpretable, parameters within Effective Power Flow (EPF) models, such as admittances of effective power lines, and NN parameters, representing implicitly unobserved elements of the system. In our experiments, we test the Power-GNN on different realistic power networks, including these with thousands of loads and hundreds of generators. We show that the Power-GNN outperforms vanilla NN scheme unaware of the EPF physics.


title: Projected Wasserstein gradient descent for high-dimensional Bayesian inference

abstract: We propose a projected Wasserstein gradient descent method (pWGD) for high-dimensional Bayesian inference problems. The underlying density function of a particle system of WGD is approximated by kernel density estimation (KDE), which faces the long-standing curse of dimensionality. We overcome this challenge by exploiting the intrinsic low-rank structure in the difference between the posterior and prior distributions. The parameters are projected into a low-dimensional subspace to alleviate the approximation error of KDE in high dimensions. We formulate a projected Wasserstein gradient flow and analyze its convergence property under mild assumptions. Several numerical experiments illustrate the accuracy, convergence, and complexity scalability of pWGD with respect to parameter dimension, sample size, and processor cores.


title: Core Mass Estimates in Strong Lensing Galaxy Clusters Using a Single-Halo Lens Model

abstract: The core mass of galaxy clusters is an important probe of structure formation. Here, we evaluate the use of a Single-Halo model (SHM) as an efficient method to estimate the strong lensing cluster core mass, testing it with ray-traced images from the `Outer Rim' simulation. Unlike detailed lens models, the SHM represents the cluster mass distribution with a single halo and can be automatically generated from the measured lensing constraints. We find that the projected core mass estimated with this method, M$_{\rm SHM}$, has a scatter of $8.52\%$ and a bias of $0.90\%$ compared to the "true" mass within the same aperture. Our analysis shows no systematic correlation between the scatter or bias and the lens-source system properties. The bias and scatter can be reduced to $3.26\%$ and $0.34\%$, respectively, by excluding models that fail a visual inspection test. We find that the SHM success depends on the lensing geometry, with single giant arc configurations accounting for most of the failed cases due to their limiting constraining power. When excluding such cases, we measure a scatter and bias of $3.88\%$ and $0.84\%$, respectively. Finally, we find that when the source redshift is unknown, the model-predicted redshifts are overestimated, and the M$_{\rm SHM}$ is underestimated by a few percent, highlighting the importance of securing spectroscopic redshifts of background sources. Our analysis provides a quantitative characterization of M$_{\rm SHM}$, enabling its efficient use as a tool to estimate the strong lensing cluster core masses in the large samples, expected from current and future surveys.


title: An approximation method for electromagnetic wave models based on fractional partial derivative

abstract: The present article is devoting a numerical approach for solving a fractional partial differential equation (FPDE) arising from electromagnetic waves in dielectric media (EMWDM). The truncated Bernoulli and Hermite wavelets series with unknown coefficients have been used to approximate the solution in both the temporal and spatial variables. The basic idea for discretizing the FPDE is wavelet approximation based on the Bernoulli and Hermite wavelets operational matrices of integration and differentiation. The resulted system of a linear algebraic equation has been solved by the collocation method. Moreover, convergence and error analysis have been discussed. Finally, several numerical experiments with different fractional-order derivatives have been provided and compared with the exact analytical solutions to illustrate the accuracy and efficiency of the method.


title: Probing the evolution of electronic phase-coexistence in complex systems by terahertz radiation

abstract: In complex oxides, the electrons under the influence of competing energetics are the cornerstone of coexistence (or phase-separation) of two or more electronic/magnetic phases in same structural configuration. Probing of growth and evolution of such phase-coexistence state is crucial to determine the correct mechanism of related phase-transition. Here, we demonstrate the combination of terahertz (THz) time-domain spectroscopy and DC transport as a novel strategy to probe the electronic phase-coexistence. This is demonstrated in disorder controlled phase-separated rare-earth nickelate thin films which exhibit metal-insulator transition in dc conductivity at around 180 K but lack this transition in terahertz (THz) dynamics conductivity down to low temperature. Such pronounced disparity exploits two extreme attributes: i) enormous sensitivity of THz radiation to a spatial range of its wavelength-compatible electronic inhomogeneities and ii) insensitivity to a range beyond the size of its wavelength. This feature is generic in nature (sans a photo-induced effect), depends solely on the size of insulating/metallic clusters and formulates a methodology with unique sensitivity to investigate electronic phase-coexistence and phase transition of any material system.


title: Non-trivial smooth families of $K3$ surfaces

abstract: Let $X$ be a complex $K3$ surface, ${\rm Diff}(X)$ the group of diffeomorphisms of $X$ and ${\rm Diff}_0(X)$ the identity component. We prove that the fundamental group of ${\rm Diff}_0(X)$ contains a free abelian group of countably infinite rank as a direct summand. The summand is detected using families Seiberg--Witten invariants. The moduli space of Einstein metrics on $X$ is used as a key ingredient in the proof.


title: Same File, Different Changes: The Potential of Meta-Maintenance on GitHub

abstract: Online collaboration platforms such as GitHub have provided software developers with the ability to easily reuse and share code between repositories. With clone-and-own and forking becoming prevalent, maintaining these shared files is important, especially for keeping the most up-to-date version of reused code. Different to related work, we propose the concept of meta-maintenance -- i.e., tracking how the same files evolve in different repositories with the aim to provide useful maintenance opportunities to those files. We conduct an exploratory study by analyzing repositories from seven different programming languages to explore the potential of meta-maintenance. Our results indicate that a majority of active repositories on GitHub contains at least one file which is also present in another repository, and that a significant minority of these files are maintained differently in the different repositories which contain them. We manually analyzed a representative sample of shared files and their variants to understand which changes might be useful for meta-maintenance. Our findings support the potential of meta-maintenance and open up avenues for future work to capitalize on this potential.


title: A Large Batch Optimizer Reality Check: Traditional, Generic Optimizers Suffice Across Batch Sizes

abstract: Recently the LARS and LAMB optimizers have been proposed for training neural networks faster using large batch sizes. LARS and LAMB add layer-wise normalization to the update rules of Heavy-ball momentum and Adam, respectively, and have become popular in prominent benchmarks and deep learning libraries. However, without fair comparisons to standard optimizers, it remains an open question whether LARS and LAMB have any benefit over traditional, generic algorithms. In this work we demonstrate that standard optimization algorithms such as Nesterov momentum and Adam can match or exceed the results of LARS and LAMB at large batch sizes. Our results establish new, stronger baselines for future comparisons at these batch sizes and shed light on the difficulties of comparing optimizers for neural network training more generally.


title: Contrastive Unsupervised Learning for Speech Emotion Recognition

abstract: Speech emotion recognition (SER) is a key technology to enable more natural human-machine communication. However, SER has long suffered from a lack of public large-scale labeled datasets. To circumvent this problem, we investigate how unsupervised representation learning on unlabeled datasets can benefit SER. We show that the contrastive predictive coding (CPC) method can learn salient representations from unlabeled datasets, which improves emotion recognition performance. In our experiments, this method achieved state-of-the-art concordance correlation coefficient (CCC) performance for all emotion primitives (activation, valence, and dominance) on IEMOCAP. Additionally, on the MSP- Podcast dataset, our method obtained considerable performance improvements compared to baselines.


title: Min-Max-Plus Neural Networks

abstract: We present a new model of neural networks called Min-Max-Plus Neural Networks (MMP-NNs) based on operations in tropical arithmetic. In general, an MMP-NN is composed of three types of alternately stacked layers, namely linear layers, min-plus layers and max-plus layers. Specifically, the latter two types of layers constitute the nonlinear part of the network which is trainable and more sophisticated compared to the nonlinear part of conventional neural networks. In addition, we show that with higher capability of nonlinearity expression, MMP-NNs are universal approximators of continuous functions, even when the number of multiplication operations is tremendously reduced (possibly to none in certain extreme cases). Furthermore, we formulate the backpropagation algorithm in the training process of MMP-NNs and introduce an algorithm of normalization to improve the rate of convergence in training.


title: Hyperbolicity cones are amenable

abstract: Amenability is a notion of facial exposedness for convex cones that is stronger than being facially dual complete (or "nice") which is, in turn, stronger than merely being facially exposed. Hyperbolicity cones are a family of algebraically structured closed convex cones that contain all spectrahedral cones (linear sections of positive semidefinite cones) as special cases. It is known that all spectrahedral cones are amenable. We establish that all hyperbolicity cones are amenable. As part of the argument, we show that any face of a hyperbolicity cone is a hyperbolicity cone. As a corollary, we show that the intersection of two hyperbolicity cones, not necessarily sharing a common relative interior point, is a hyperbolicity cone.


title: Fine-grained Pseudo-code Generation Method via Code Feature Extraction and Transformer

abstract: Pseudo-code written by natural language is helpful for novice developers' program comprehension. However, writing such pseudo-code is time-consuming and laborious. Motivated by the research advancements of sequence-to-sequence learning and code semantic learning, we propose a novel deep pseudo-code generation method DeepPseudo via code feature extraction and Transformer. In particular, DeepPseudo utilizes a Transformer encoder to perform encoding for source code and then use a code feature extractor to learn the knowledge of local features. Finally, it uses a pseudo-code generator to perform decoding, which can generate the corresponding pseudo-code. We choose two corpora (i.e., Django and SPoC) from real-world large-scale projects as our empirical subjects. We first compare DeepPseudo with seven state-of-the-art baselines from pseudo-code generation and neural machine translation domains in terms of four performance measures. Results show the competitiveness of DeepPseudo. Moreover, we also analyze the rationality of the component settings in DeepPseudo.


title: SCOUT: Socially-COnsistent and UndersTandable Graph Attention Network for Trajectory Prediction of Vehicles and VRUs

abstract: Autonomous vehicles navigate in dynamically changing environments under a wide variety of conditions, being continuously influenced by surrounding objects. Modelling interactions among agents is essential for accurately forecasting other agents' behaviour and achieving safe and comfortable motion planning. In this work, we propose SCOUT, a novel Attention-based Graph Neural Network that uses a flexible and generic representation of the scene as a graph for modelling interactions, and predicts socially-consistent trajectories of vehicles and Vulnerable Road Users (VRUs) under mixed traffic conditions. We explore three different attention mechanisms and test our scheme with both bird-eye-view and on-vehicle urban data, achieving superior performance than existing state-of-the-art approaches on InD and ApolloScape Trajectory benchmarks. Additionally, we evaluate our model's flexibility and transferability by testing it under completely new scenarios on RounD dataset. The importance and influence of each interaction in the final prediction is explored by means of Integrated Gradients technique and the visualization of the attention learned.


title: A Decentralized Approach towards Responsible AI in Social Ecosystems

abstract: For AI technology to fulfill its full promises, we must have effective means to ensure Responsible AI behavior and curtail potential irresponsible use, e.g., in areas of privacy protection, human autonomy, robustness, and prevention of biases and discrimination in automated decision making. Recent literature in the field has identified serious shortcomings of narrow technology focused and formalism-oriented research and has proposed an interdisciplinary approach that brings the social context into the scope of study. In this paper, we take a sociotechnical approach to propose a more expansive framework of thinking about the Responsible AI challenges in both technical and social context. Effective solutions need to bridge the gap between a technical system with the social system that it will be deployed to. To this end, we propose human agency and regulation as main mechanisms of intervention and propose a decentralized computational infrastructure, or a set of public utilities, as the computational means to bridge this gap. A decentralized infrastructure is uniquely suited for meeting this challenge and enable technical solutions and social institutions in a mutually reinforcing dynamic to achieve Responsible AI goals. Our approach is novel in its sociotechnical approach and its aim in tackling the structural issues that cannot be solved within the narrow confines of AI technical research. We then explore possible features of the proposed infrastructure and discuss how it may help solve example problems recently studied in the field.


title: New Distributed Source Encryption Framework

abstract: We pose and investigate the distributed secure source coding based on the common key cryptosystem. This cryptosystem includes the secrecy amplification problem for distributed encrypted sources with correlated keys using post-encryption-compression, which was posed investigated by Santoso and Oohama. In this paper we propose another new security criterion which is generally more strict compared to the commonly used security criterion which is based on the upper-bound of mutual information between the plaintext and the ciphertext. Under this criterion, we establish the necessary and sufficient condition for the secure transmission of correlated sources.


title: Software Estimations Risk in Pakistan Software Industry

abstract: Software and IT industry in Pakistan have seen a dramatic growth and success in past few years and is expected to get doubled by 2020, according to a research. Software development life cycle comprises of multiple phases, activities and techniques that can lead to successful projects, and software evaluation is one of the vital and important parts of that. Software estimation can alone be the reason of product success factor or the products failure factor. To estimate the right cost, effort and resources is an art. But it is also very important to include the risks that may arise in the in a software project which can affect your estimates. In this paper, we highlight how the risks in Pakistan Software Industry can affect the estimates and how to mitigate them.


title: Dynamic Precision Analog Computing for Neural Networks

abstract: Analog electronic and optical computing exhibit tremendous advantages over digital computing for accelerating deep learning when operations are executed at low precision. In this work, we derive a relationship between analog precision, which is limited by noise, and digital bit precision. We propose extending analog computing architectures to support varying levels of precision by repeating operations and averaging the result, decreasing the impact of noise. Such architectures enable programmable tradeoffs between precision and other desirable performance metrics such as energy efficiency or throughput. To utilize dynamic precision, we propose a method for learning the precision of each layer of a pre-trained model without retraining network weights. We evaluate this method on analog architectures subject to a variety of noise sources such as shot noise, thermal noise, and weight noise and find that employing dynamic precision reduces energy consumption by up to 89% for computer vision models such as Resnet50 and by 24% for natural language processing models such as BERT. In one example, we apply dynamic precision to a shot-noise limited homodyne optical neural network and simulate inference at an optical energy consumption of 2.7 aJ/MAC for Resnet50 and 1.6 aJ/MAC for BERT with <2% accuracy degradation.


title: Confounding Tradeoffs for Neural Network Quantization

abstract: Many neural network quantization techniques have been developed to decrease the computational and memory footprint of deep learning. However, these methods are evaluated subject to confounding tradeoffs that may affect inference acceleration or resource complexity in exchange for higher accuracy. In this work, we articulate a variety of tradeoffs whose impact is often overlooked and empirically analyze their impact on uniform and mixed-precision post-training quantization, finding that these confounding tradeoffs may have a larger impact on quantized network accuracy than the actual quantization methods themselves. Because these tradeoffs constrain the attainable hardware acceleration for different use-cases, we encourage researchers to explicitly report these design choices through the structure of "quantization cards." We expect quantization cards to help researchers compare methods more effectively and engineers determine the applicability of quantization techniques for their hardware.


title: Locality of three-qubit Greenberger-Horne-Zeilinger-symmetric states

abstract: The hierarchy of nonlocality and entanglement in multipartite systems is one of the fundamental problems in quantum physics. We study this topic in three-qubit systems considering the entanglement classification of stochastic local operations and classical communication (SLOCC). The equivalence under SLOCC divides threequbit states into separable, biseparable, W, and Greenberger-Horne-Zeilinger (GHZ) classes. The W and GHZ are two subclasses of genuine tripartite entanglement.We adopt the family of GHZ-symmetric states as a research subject, which share the symmetries of the GHZ state and have a complete characterization of SLOCC classes. In the biseparable region (with bipartite entanglement), there exist GHZ-symmetric states that are found to be fully local. In addition, there are bilocal states in both theW and GHZ classes. That is, neither of the subclasses of genuine tripartite entanglement can ensure genuinely tripartite nonlocality.


title: Quantum behavior of a heavy impurity strongly coupled to a Bose gas

abstract: We investigate the problem of an infinitely heavy impurity interacting with a dilute Bose gas at zero temperature. When the impurity-boson interactions are short ranged, we show that boson-boson interactions induce a quantum blockade effect, where a single boson can effectively block or screen the impurity potential. Since this behavior depends on the quantum granular nature of the Bose gas, it cannot be captured within a standard classical-field description. Using a combination of exact quantum Monte Carlo methods and a truncated basis approach, we show how the quantum correlations between bosons lead to universal few-body bound states and a logarithmically slow dependence of the polaron ground-state energy on the boson-boson scattering length. Moreover, we expose the link between the polaron energy and the spatial structure of the quantum correlations, spanning the infrared to ultraviolet physics.


title: Variants of Jacobi polynomials in coding theory

abstract: In this paper, we introduce the notion of the complete joint Jacobi polynomial of two linear codes of length $n$ over $\mathbb{F}_q$ and $\mathbb{Z}_k$. We give the MacWilliams type identity for the complete joint Jacobi polynomials of codes. We also introduce the concepts of the average Jacobi polynomial and the average complete joint Jacobi polynomial over $\mathbb{F}_q$ and $\mathbb{Z}_k$. We give a representation of the average of the complete joint Jacobi polynomials of two linear codes of length $n$ over $\mathbb{F}_q$ and $\mathbb{Z}_k$ in terms of the compositions of $n$ and its distribution in the codes. Further we present a generalization of the representation for the average of the $(g+1)$-fold complete joint Jacobi polynomials of codes over $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$. Finally, we give the notion of the average Jacobi intersection number of two codes.


title: Accurate Extraction of Schottky Barrier Height and Universality of Fermi Level De-pinning of van der Waals Contacts

abstract: Due to Fermi level pinning (FLP), metal-semiconductor contact interfaces result in a Schottky barrier height (SBH), which is usually difficult to tune. This makes it challenging to efficiently inject both electrons and holes using the same metal - an essential requirement for several applications, including light-emitting devices and complementary logic. Interestingly, modulating the SBH in the Schottky-Mott limit of de-pinned van der Waals (vdW) contacts becomes possible. However, accurate extraction of the SBH is essential to exploit such contacts to their full potential. In this work, we propose a simple technique to accurately estimate the SBH at the vdW contact interfaces by circumventing several ambiguities associated with SBH extraction. Using this technique on several vdW contacts, including metallic 2H-TaSe$_2$, semi-metallic graphene, and degenerately doped semiconducting SnSe$_2$, we demonstrate that vdW contacts exhibit a universal de-pinned nature. Superior ambipolar carrier injection properties of vdW contacts are demonstrated (with Au contact as a reference) in two applications, namely, (a) pulsed electroluminescence from monolayer WS$_2$ using few-layer graphene (FLG) contact, and (b) efficient carrier injection to WS$_2$ and WSe$_2$ channels in both nFET and pFET modes using 2H-TaSe$_2$ contact.


title: Multiplex Bipartite Network Embedding using Dual Hypergraph Convolutional Networks

abstract: A bipartite network is a graph structure where nodes are from two distinct domains and only inter-domain interactions exist as edges. A large number of network embedding methods exist to learn vectorial node representations from general graphs with both homogeneous and heterogeneous node and edge types, including some that can specifically model the distinct properties of bipartite networks. However, these methods are inadequate to model multiplex bipartite networks (e.g., in e-commerce), that have multiple types of interactions (e.g., click, inquiry, and buy) and node attributes. Most real-world multiplex bipartite networks are also sparse and have imbalanced node distributions that are challenging to model. In this paper, we develop an unsupervised Dual HyperGraph Convolutional Network (DualHGCN) model that scalably transforms the multiplex bipartite network into two sets of homogeneous hypergraphs and uses spectral hypergraph convolutional operators, along with intra- and inter-message passing strategies to promote information exchange within and across domains, to learn effective node embedding. We benchmark DualHGCN using four real-world datasets on link prediction and node classification tasks. Our extensive experiments demonstrate that DualHGCN significantly outperforms state-of-the-art methods, and is robust to varying sparsity levels and imbalanced node distributions.


title: Alternating projections gridless covariance-based estimation for DOA

abstract: We present a gridless sparse iterative covariance-based estimation method based on alternating projections for direction-of-arrival (DOA) estimation. The gridless DOA estimation is formulated in the reconstruction of Toeplitz-structured low rank matrix, and is solved efficiently with alternating projections. The method improves resolution by achieving sparsity, deals with single-snapshot data and coherent arrivals, and, with co-prime arrays, estimates more DOAs than the number of sensors. We evaluate the proposed method using simulation results focusing on co-prime arrays.


title: Quantum Control for Nanoscale Spectroscopy With Diamond Nitrogen-Vacancy Centers: A Short Review

abstract: Diamond quantum technologies based on color centers have rapidly emerged in the most recent years. The nitrogen-vacancy (NV) color center has attracted a particular interest, thanks to its outstanding spin properties and optical addressability. The NV center has been used to realize innovative multimode quantum-enhanced sensors that offer an unprecedented combination of high sensitivity and spatial resolution at room temperature. The technological progress and the widening of potential sensing applications have induced an increasing demand for performance advances of NV quantum sensors. Quantum control plays a key role in responding to this demand. This short review affords an overview on recent advances in quantum control-assisted quantum sensing and spectroscopy of magnetic fields.


title: On the equality of Dedekind sums

abstract: We show that deciding the equality of two Dedekind sums $S(c,b)$, $S(d,b)$ is equivalent to deciding whether a Dedekind sum defined by $b, c, d$ takes a certain value. By means of this result we construct infinite sequences of pairwise equal Dedekind sums. Moreover, we prove a result that says how many Dedekind sums $S(d,b)$, $1\le d\le b-1$, may be equal to a given $S(c,b)$ if $b$ is a square-free number.


title: On obstacle problem for Brakke's mean curvature flow

abstract: We consider the obstacle problem of the weak solution for the mean curvature flow, in the sense of Brakke's mean curvature flow. We prove the global existence of the weak solution with obstacles which have $C^{1,1}$ boundaries, in two and three space dimensions. To obtain the weak solution, we use the Allen-Cahn equation with forcing term.


title: Point Cloud Resampling Through Hypergraph Signal Processing

abstract: Three-dimensional (3D) point clouds are important data representations in visualization applications. The rapidly growing utility and popularity of point cloud processing strongly motivate a plethora of research activities on large-scale point cloud processing and feature extraction. In this work, we investigate point cloud resampling based on hypergraph signal processing (HGSP). We develop a novel method to extract sharp object features and reduce the data size of point cloud representation. By directly estimating hypergraph spectrum based on hypergraph stationary processing, we design a spectral kernel-based filter to capture high-dimensional interactions among point signal nodes and to better preserve object surface outlines. Experimental results validate the effectiveness of hypergraph in representing point clouds, and demonstrate the robustness of the proposed algorithm under noise.


title: VET: Identifying and Avoiding UI Exploration Tarpits

abstract: Despite over a decade of research, it is still challenging for mobile UI testing tools to achieve satisfactory effectiveness, especially on industrial apps with rich features and large code bases. Our experiences suggest that existing mobile UI testing tools are prone to exploration tarpits, where the tools get stuck with a small fraction of app functionalities for an extensive amount of time. For example, a tool logs out an app at early stages without being able to log back in, and since then the tool gets stuck with exploring the app's pre-login functionalities (i.e., exploration tarpits) instead of its main functionalities. While tool vendors/users can manually hardcode rules for the tools to avoid specific exploration tarpits, these rules can hardly generalize, being fragile in face of diverted testing environments and fast app iterations. To identify and resolve exploration tarpits, we propose VET, a general approach including a supporting system for the given specific Android UI testing tool on the given specific app under test (AUT). VET runs the tool on the AUT for some time and records UI traces, based on which VET identifies exploration tarpits by recognizing their patterns in the UI traces. VET then pinpoints the actions (e.g., clicking logout) or the screens that lead to or exhibit exploration tarpits. In subsequent test runs, VET guides the testing tool to prevent or recover from exploration tarpits. From our evaluation with state-of-the-art Android UI testing tools on popular industrial apps, VET identifies exploration tarpits that cost up to 98.6% testing time budget. These exploration tarpits reveal not only limitations in UI exploration strategies but also defects in tool implementations. VET automatically addresses the identified exploration tarpits, enabling each evaluated tool to achieve higher code coverage and improve crash-triggering capabilities.


title: Lattice Simulations of Inflation

abstract: The scalar field theory of cosmological inflation constitutes nowadays one of the preferred scenarios for the physics of the early universe. In this paper we aim at studying the inflationary universe making use of a numerical lattice simulation. Various lattice codes have been written in the last decades and have been extensively used for understating the reheating phase of the universe, but they have never been used to study the inflationary phase itself far from the end of inflation (i.e. about 50 e-folds before the end of inflation). In this paper we use a lattice simulation to reproduce the well-known results of some simple models of single-field inflation, particularly for the scalar field perturbation. The main model that we consider is the standard slow-roll inflation with an harmonic potential for the inflaton field. We explore the technical aspects that need to be accounted for in order to reproduce with precision the nearly scale invariant power spectrum of inflaton perturbations. We also consider the case of a step potential, and show that the simulation is able to correctly reproduce the oscillatory features in the power spectrum of this model. Even if a lattice simulation is not needed in these cases, that are well within the regime of validity of linear perturbation theory, this sets the basis to future work on using lattice simulations to study more complicated models of inflation.


title: Central Limit Theorems for General Transportation Costs

abstract: We consider the problem of optimal transportation with general cost between a empirical measure and a general target probability on R d , with d $\ge$ 1. We extend results in [19] and prove asymptotic stability of both optimal transport maps and potentials for a large class of costs in R d. We derive a central limit theorem (CLT) towards a Gaussian distribution for the empirical transportation cost under minimal assumptions, with a new proof based on the Efron-Stein inequality and on the sequential compactness of the closed unit ball in L 2 (P) for the weak topology. We provide also CLTs for empirical Wassertsein distances in the special case of potential costs | $\bullet$ | p , p > 1.


title: Neural Inverse Text Normalization

abstract: While there have been several contributions exploring state of the art techniques for text normalization, the problem of inverse text normalization (ITN) remains relatively unexplored. The best known approaches leverage finite state transducer (FST) based models which rely on manually curated rules and are hence not scalable. We propose an efficient and robust neural solution for ITN leveraging transformer based seq2seq models and FST-based text normalization techniques for data preparation. We show that this can be easily extended to other languages without the need for a linguistic expert to manually curate them. We then present a hybrid framework for integrating Neural ITN with an FST to overcome common recoverable errors in production environments. Our empirical evaluations show that the proposed solution minimizes incorrect perturbations (insertions, deletions and substitutions) to ASR output and maintains high quality even on out of domain data. A transformer based model infused with pretraining consistently achieves a lower WER across several datasets and is able to outperform baselines on English, Spanish, German and Italian datasets.


title: Relaxing door-to-door matching reduces passenger waiting times: a workflow for the analysis of driver GPS traces in a stochastic carpooling service

abstract: Carpooling has the potential to transform itself into a mass transportation mode by abandoning its adherence to deterministic passenger-driver matching for door-to-door journeys, and by adopting instead stochastic matching on a network of fixed meeting points. Stochastic matching is where a passenger sends out a carpooling request at a meeting point, and then waits for the arrival of a self-selected driver who is already travelling to the requested meeting point. Crucially there is no centrally dispatched driver. Moreover, the carpooling is assured only between the meeting points, so the onus is on the passengers to travel to/from them by their own means. Thus the success of a stochastic carpooling service relies on the convergence, with minimal perturbation to their existing travel patterns, to the meeting points which are highly frequented by both passengers and drivers. Due to the innovative nature of stochastic carpooling, existing off-the-shelf workflows are largely insufficient for this purpose. To fill the gap in the market, we introduce a novel workflow, comprising of a combination of data science and GIS (Geographic Information Systems), to analyse driver GPS traces. We implement it for an operational stochastic carpooling service in south-eastern France, and we demonstrate that relaxing door-to-door matching reduces passenger waiting times. Our workflow provides additional key operational indicators, namely the driver flow maps, the driver flow temporal profiles and the driver participation rates.


title: Actions of automorphism groups of free groups on spaces of Jacobi diagrams. I

abstract: We consider an action of the automorphism group $\mathrm{Aut}(F_n)$ of the free group $F_n$ of rank $n$ on the filtered vector space $A_d(n)$ of Jacobi diagrams of degree $d$ on $n$ oriented arcs. This action induces on the associated graded vector space of $A_d(n)$, which is identified with the space $B_d(n)$ of open Jacobi diagrams, an action of the general linear group $\mathrm{GL}(n,Z)$ and an action of the graded Lie algebra of the IA-automorphism group of $F_n$ associated with its lower central series. We use these actions on $B_d(n)$ to study the $\mathrm{Aut}(F_n)$-module structure of $A_d(n)$. In particular, we consider the case where $d=2$ in detail and give an indecomposable decomposition of $A_2(n)$. We also construct a polynomial functor $A_d$ of degree $2d$ from the opposite category of the category of finitely generated free groups to the category of filtered vector spaces, which includes the $\mathrm{Aut}(F_n)$-module structure of $A_d(n)$ for all $n\geq 0$.


title: Symmetry protected topological edge modes and emergent partial time reversal symmetry breaking in open quantum many-body systems

abstract: Symmetry-protected topological edge modes are one of the most remarkable phenomena in topological physics. Here, we formulate and quantitatively examine the effect of a quantum bath on these topological edge modes. Using the density matrix renormalization group method, we study the ground state of a composite system of spin-1 quantum chain, where the system and the bath degrees of freedom are treated on the same footing. We focus on the dependence of these edge modes on the global/partial symmetries of system-bath coupling and on the features of the quantum bath. It is shown that the time-reversal symmetry(TRS) plays a special role for an open quantum system, where an emergent partial TRS breaking will result in a TRS-protected topological mode diffusing from the system edge into the bath, thus make it useless for quantum computation.


title: Uncertainty-of-Information Scheduling: A Restless Multi-armed Bandit Framework

abstract: This paper proposes using the uncertainty of information (UoI), measured by Shannon's entropy, as a metric for information freshness. We consider a system in which a central monitor observes multiple binary Markov processes through a communication channel. The UoI of a Markov process corresponds to the monitor's uncertainty about its state. At each time step, only one Markov process can be selected to update its state to the monitor; hence there is a tradeoff among the UoIs of the processes that depend on the scheduling policy used to select the process to be updated. The age of information (AoI) of a process corresponds to the time since its last update. In general, the associated UoI can be a non-increasing function, or even an oscillating function, of its AoI, making the scheduling problem particularly challenging. This paper investigates scheduling policies that aim to minimize the average sum-UoI of the processes over the infinite time horizon. We formulate the problem as a restless multi-armed bandit (RMAB) problem, and develop a Whittle index policy that is near-optimal for the RMAB after proving its indexability. We further provide an iterative algorithm to compute the Whittle index for the practical deployment of the policy. Although this paper focuses on UoI scheduling, our results apply to a general class of RMABs for which the UoI scheduling problem is a special case. Specifically, this paper's Whittle index policy is valid for any RMAB in which the bandits are binary Markov processes and the penalty is a concave function of the belief state of the Markov process. Numerical results demonstrate the excellent performance of the Whittle index policy for this class of RMABs.


title: The Symmetry between Arms and Knapsacks: A Primal-Dual Approach for Bandits with Knapsacks

abstract: In this paper, we study the bandits with knapsacks (BwK) problem and develop a primal-dual based algorithm that achieves a problem-dependent logarithmic regret bound. The BwK problem extends the multi-arm bandit (MAB) problem to model the resource consumption associated with playing each arm, and the existing BwK literature has been mainly focused on deriving asymptotically optimal distribution-free regret bounds. We first study the primal and dual linear programs underlying the BwK problem. From this primal-dual perspective, we discover symmetry between arms and knapsacks, and then propose a new notion of sub-optimality measure for the BwK problem. The sub-optimality measure highlights the important role of knapsacks in determining algorithm regret and inspires the design of our two-phase algorithm. In the first phase, the algorithm identifies the optimal arms and the binding knapsacks, and in the second phase, it exhausts the binding knapsacks via playing the optimal arms through an adaptive procedure. Our regret upper bound involves the proposed sub-optimality measure and it has a logarithmic dependence on length of horizon $T$ and a polynomial dependence on $m$ (the numbers of arms) and $d$ (the number of knapsacks). To the best of our knowledge, this is the first problem-dependent logarithmic regret bound for solving the general BwK problem.


title: Multi-source Pseudo-label Learning of Semantic Segmentation for the Scene Recognition of Agricultural Mobile Robots

abstract: This paper describes a novel method of training a semantic segmentation model for scene recognition of agricultural mobile robots exploiting publicly available datasets of outdoor scenes that are different from the target greenhouse environments. Semantic segmentation models require abundant labels given by tedious manual annotation. A method to work around it is unsupervised domain adaptation (UDA) that transfers knowledge from labeled source datasets to unlabeled target datasets. However, the effectiveness of existing methods is not well studied in adaptation between heterogeneous environments, such as urban scenes and greenhouses. In this paper, we propose a method to train a semantic segmentation model for greenhouse images without manually labeled datasets of greenhouse images. The core of our idea is to use multiple rich image datasets of different environments with segmentation labels to generate pseudo-labels for the target images to effectively transfer the knowledge from multiple sources and realize a precise training of semantic segmentation. Along with the pseudo-label generation, we introduce state-of-the-art methods to deal with noise in the pseudo-labels to further improve the performance. We demonstrate in experiments with multiple greenhouse datasets that our proposed method improves the performance compared to the single-source baselines and an existing approach.


title: The Distributed Discrete Gaussian Mechanism for Federated Learning with Secure Aggregation

abstract: We consider training models on private data that are distributed across user devices. To ensure privacy, we add on-device noise and use secure aggregation so that only the noisy sum is revealed to the server. We present a comprehensive end-to-end system, which appropriately discretizes the data and adds discrete Gaussian noise before performing secure aggregation. We provide a novel privacy analysis for sums of discrete Gaussians and carefully analyze the effects of data quantization and modular summation arithmetic. Our theoretical guarantees highlight the complex tension between communication, privacy, and accuracy. Our extensive experimental results demonstrate that our solution is essentially able to match the accuracy to central differential privacy with less than 16 bits of precision per value.


title: Uncertainty-Aware Semi-Supervised Method Using Large Unlabeled and Limited Labeled COVID-19 Data

abstract: The new coronavirus has caused more than one million deaths and continues to spread rapidly. This virus targets the lungs, causing respiratory distress which can be mild or severe. The X-ray or computed tomography (CT) images of lungs can reveal whether the patient is infected with COVID-19 or not. Many researchers are trying to improve COVID-19 detection using artificial intelligence. Our motivation is to develop an automatic method that can cope with scenarios in which preparing labeled data is time consuming or expensive. In this article, we propose a Semi-supervised Classification using Limited Labeled Data (SCLLD) relying on Sobel edge detection and Generative Adversarial Networks (GANs) to automate the COVID-19 diagnosis. The GAN discriminator output is a probabilistic value which is used for classification in this work. The proposed system is trained using 10,000 CT scans collected from Omid Hospital, whereas a public dataset is also used for validating our system. The proposed method is compared with other state-of-the-art supervised methods such as Gaussian processes. To the best of our knowledge, this is the first time a semi-supervised method for COVID-19 detection is presented. Our system is capable of learning from a mixture of limited labeled and unlabeled data where supervised learners fail due to a lack of sufficient amount of labeled data. Thus, our semi-supervised training method significantly outperforms the supervised training of Convolutional Neural Network (CNN) when labeled training data is scarce. The 95% confidence intervals for our method in terms of accuracy, sensitivity, and specificity are 99.56 +- 0.20%, 99.88 +- 0.24%, and 99.40 +- 0.18%, respectively, whereas intervals for the CNN (trained supervised) are 68.34 +- 4.11%, 91.2 +- 6.15%, and 46.40 +- 5.21%.


title: Infrared spectroscopy of endohedral water in C$_{60}$

abstract: Infrared absorption spectroscopy study of endohedral water molecule in a solid mixture of H$_2$O@C$_{60}$ and C$_{60}$ was carried out at liquid helium temperature. From the evolution of the spectra during the ortho-para conversion process, the spectral lines were identified as para- and ortho-water transitions. Eight vibrational transitions with rotational side peaks were observed in the mid-infrared: $\omega_1$, $\omega_2$, $\omega_3$, $2\omega_1$, $2\omega_2$, $\omega_1 +\omega_3$, $\omega_2 +\omega_3$, and $2\omega_2+\omega_3$. The vibrational frequencies $\omega_2$ and 2$\omega_2$ are lower by 1.6\% and the rest by 2.4\%, as compared to free \water/. A model consisting of a rovibrational Hamiltonian with the dipole and quadrupole moments of water interacting with the crystal field was used to fit the infrared absorption spectra. The electric quadrupole interaction with the crystal field lifts the degeneracy of the rotational levels. The finite amplitudes of the pure $v_1$ and $v_2$ vibrational transitions are consistent with the interaction of the water molecule dipole moment with a lattice-induced electric field. The permanent dipole moment of encapsulated \water/ is found to be $0.5\pm 0.1$ D as determined from the far-infrared rotational line intensities. The translational mode of the quantized center of mass motion of \water/ in the molecular cage of C$_{60}$ was observed at 110cm$^{-1}$ (13.6meV).


title: The Software Heritage Filesystem (SwhFS): Integrating Source Code Archival with Development

abstract: We introduce the Software Heritage filesystem (SwhFS), a user-space filesystem that integrates large-scale open source software archival with development workflows. SwhFS provides a POSIX filesystem view of Software Heritage, the largest public archive of software source code and version control system (VCS) development history.Using SwhFS, developers can quickly "checkout" any of the 2 billion commits archived by Software Heritage, even after they disappear from their previous known location and without incurring the performance cost of repository cloning. SwhFS works across unrelated repositories and different VCS technologies. Other source code artifacts archived by Software Heritage-individual source code files and trees, releases, and branches-can also be accessed using common programming tools and custom scripts, as if they were locally available.A screencast of SwhFS is available online at dx.doi.org/10.5281/zenodo.4531411.


title: Multiversal views on language models

abstract: The virtuosity of language models like GPT-3 opens a new world of possibility for human-AI collaboration in writing. In this paper, we present a framework in which generative language models are conceptualized as multiverse generators. This framework also applies to human imagination and is core to how we read and write fiction. We call for exploration into this commonality through new forms of interfaces which allow humans to couple their imagination to AI to write, explore, and understand non-linear fiction. We discuss the early insights we have gained from actively pursuing this approach by developing and testing a novel multiversal GPT-3-assisted writing interface.


title: Complete Power Reallocation for MU-MIMO under Per-Antenna Power Constraint

abstract: This paper proposes a beamforming method under a per-antenna power constraint (PAPC). Although many beamformer designs with the PAPC need to solve complex optimization problems, the proposed complete power reallocation (CPR) method can generate beamformers with excellent performance only with linear operations. CPR is designed to have a simple structure, making it highly flexible and practical. In this paper, three CPR variations considering algorithm convergence speed, sum-rate maximization, and robustness to channel uncertainty are developed. Simulation results verify that CPR and its variations satisfy their design criteria, and, hence, CPR can be readily utilized for various purposes.


title: Mind the beat: detecting audio onsets from EEG recordings of music listening

abstract: We propose a deep learning approach to predicting audio event onsets in electroencephalogram (EEG) recorded from users as they listen to music. We use a publicly available dataset containing ten contemporary songs and concurrently recorded EEG. We generate a sequence of onset labels for the songs in our dataset and trained neural networks (a fully connected network (FCN) and a recurrent neural network (RNN)) to parse one second windows of input EEG to predict one second windows of onsets in the audio. We compare our RNN network to both the standard spectral-flux based novelty function and the FCN. We find that our RNN was able to produce results that reflected its ability to generalize better than the other methods. Since there are no pre-existing works on this topic, the numbers presented in this paper may serve as useful benchmarks for future approaches to this research problem.


title: Trivial cup products in bounded cohomology of the free group via aligned chains

abstract: We prove that the cup product of $\Delta$-decomposable quasimorphisms, Brooks quasimorphisms or Rolli quasimorphisms with any bounded cohomology class of arbitrary positive degree is trivial.


title: White-Box Performance-Influence Models: A Profiling and Learning Approach

abstract: Many modern software systems are highly configurable, allowing the user to tune them for performance and more. Current performance modeling approaches aim at finding performance-optimal configurations by building performance models in a black-box manner. While these models provide accurate estimates, they cannot pinpoint causes of observed performance behavior to specific code regions. This does not only hinder system understanding, but it also complicates tracing the influence of configuration options to individual methods. We propose a white-box approach that models configuration-dependent performance behavior at the method level. This allows us to predict the influence of configuration decisions on individual methods, supporting system understanding and performance debugging. The approach consists of two steps: First, we use a coarse-grained profiler and learn performance-influence models for all methods, potentially identifying some methods that are highly configuration- and performance-sensitive, causing inaccurate predictions. Second, we re-measure these methods with a fine-grained profiler and learn more accurate models, at higher cost, though. By means of 9 real-world Java software systems, we demonstrate that our approach can efficiently identify configuration-relevant methods and learn accurate performance-influence models.


title: Effective bounds on differences of singular moduli that are S-units

abstract: Given a singular modulus $j_0$ and a set of rational primes $S$, we study the problem of effectively determining the set of singular moduli $j$ such that $j-j_0$ is an $S$-unit. For every $j_0 \neq 0$, we provide an effective way of finding this set for infinitely many choices of $S$. The same is true if $j_0=0$ and we assume the Generalized Riemann Hypothesis. Certain numerical experiments will also lead to the formulation of a "uniformity conjecture" for singular $S$-units.


title: Atomic scale mechanisms controlling the oxidation of polyethylene: a first principles study

abstract: Understanding the degradation mechanisms of aliphatic polymers by thermal oxidation and radio-oxidation is very important in order to assess their lifetime in a variety of industrial applications. We focus here on polyethylene as a prototypical aliphatic polymer. Kinetic models describing the time evolution of the concentration of chain defects and radicals species in the material identify a relevant step in the formation and subsequent decomposition of transient hydroperoxides species, finally leading to carbonyl defects, in particular ketones. In this paper we first summarize the most relevant mechanistic paths proposed in the literature for hydroperoxide formation and decomposition and, second, revisit them using first principles calculations based on Density Functional Theory (DFT). We investigate the reaction paths for several chemical reactions, for both isolated alkane molecules and a crystalline model of polyethylene, and confirm, in some cases, the accepted activation energies; in some other cases, we challenge the accepted view finding alternative, more favourable, reaction paths for which we estimate the activation energy. We highlight the infuence of the environment -- crystalline or not -- on the outcome of some of the studied chemical reactions. A remarkable results of our calculations is that hydroxyl radicals play an important role in the decomposition of hydroperoxides. Based on our findings, it should be possible to improve the set of equations and parameters used in current kinetic simulations of polyethylene radio-oxidation.


title: Kinetic uncertainty relation on first passage time for accumulated current

abstract: The kinetic uncertainty relation (KUR) is a trade-off relation between the precision of an observable and the mean dynamical activity in a fixed time interval for a time-homogeneous and continuous-time Markov chain. In this letter, we derive the KUR on the first passage time for the time-integrated current from the information inequality at stopping times. The relation shows that the precision of the first passage time is bounded from above by the mean number of jumps up to that time. We apply our result to simple systems and demonstrate that the activity constraint gives a tighter bound than the thermodynamic uncertainty relation in the regime far from equilibrium.


title: Early dark energy in $k$-essence

abstract: Early dark energy (EDE) that becomes subdominant around the epoch of matter-radiation equality can be used to ease the Hubble tension. However, there is a theoretical problem that why the energy scale of EDE is in coincidence with that of matter-radiation equality when their physics are completely unrelated. Sakstein and Trodden [Phys. Rev. Lett. 124, 161301 (2020)] proposed a mechanism to solve this coincidence problem with $\mathcal{O}({\rm eV})$-mass neutrino. In this paper, in order to solve the coincidence problem, we propose a new scenario for EDE, in which the onset and ending of EDE are triggered by the radiation-matter transition. The specific example we study is a $k$-essence model. The cosmic evolution equations can be recast into a two-dimensional dynamical system and its main properties are analyzed. Our results suggest that $k$-essence seems unable to realize the new scenario for EDE. However, an EDE model with different scenario is realized in $k$-essence. In this model, the ending of EDE can be triggered by the radiation-matter transition while the onset depends on the initial conditions of the scalar field. Therefore, the obtained model can only be used to solve half of the coincidence problem. The full resolution in the framework of our initial proposed scenario is worthy of more research.


title: Well-posedness theory for nonlinear scalar conservation laws on networks

abstract: We consider nonlinear scalar conservation laws posed on a network. We establish $L^1$ stability, and thus uniqueness, for weak solutions satisfying the entropy condition. We apply standard finite volume methods and show stability and convergence to the unique entropy solution, thus establishing existence of a solution in the process. Both our existence and stability/uniqueness theory is centred around families of stationary states for the equation. In one important case -- for monotone fluxes with an upwind difference scheme -- we show that the set of (discrete) stationary solutions is indeed sufficiently large to suit our general theory. We demonstrate the method's properties through several numerical experiments.


title: SceneRec: Scene-Based Graph Neural Networks for Recommender Systems

abstract: Collaborative filtering has been largely used to advance modern recommender systems to predict user preference. A key component in collaborative filtering is representation learning, which aims to project users and items into a low dimensional space to capture collaborative signals. However, the scene information, which has effectively guided many recommendation tasks, is rarely considered in existing collaborative filtering methods. To bridge this gap, we focus on scene-based collaborative recommendation and propose a novel representation model SceneRec. SceneRec formally defines a scene as a set of pre-defined item categories that occur simultaneously in real-life situations and creatively designs an item-category-scene hierarchical structure to build a scene-based graph. In the scene-based graph, we adopt graph neural networks to learn scene-specific representation on each item node, which is further aggregated with latent representation learned from collaborative interactions to make recommendations. We perform extensive experiments on real-world E-commerce datasets and the results demonstrate the effectiveness of the proposed method.


title: An alternative scheme to estimate AstroSat/LAXPC background for faint sources

abstract: An alternative scheme is described to estimate the layer 1 LAXPC 20 background for faint sources where the source contribution to the 50-80 keV count rate is less than 0.25 counts/sec (15 milli-crabs or $6 \times 10^{-11}$ ergs/s/cm$^2$). We consider 12 blank sky observations and based on their 50-80 keV count rate in 100 second time-bins, generate four template spectra which are then used to estimate the background spectrum and lightcurve for a given faint source observation. The variance of the estimated background subtracted spectra for the 12 blank sky observations is taken as the energy dependent systematic uncertainty which will dominate over the statistical one for exposures longer than 5 ksecs. The estimated 100 second time bin background lightcurve in the 4-20 keV band with a 3\% systematic error matches with the blank sky ones. The 4-20 keV spectrum can be constrained for a source with flux $\gtrapprox 1$ milli-crab. Fractional r.m.s variability of 10\% can be determined for a $\sim 5$ milli-crab source lightcurve binned at 100 seconds. To illustrate the scheme, the lightcurves, and spectra of three different blank sky observations, three AGN sources (Mrk 0926, Mrk 110, NGC 4593), and LMC X-1 are shown.


title: Universality of excited three-body bound states in one dimension

abstract: We study a heavy-heavy-light three-body system confined to one space dimension provided the binding energy of an excited state in the heavy-light subsystems approaches zero. The associated two-body system is characterized by (i) the structure of the weakly-bound excited heavy-light state and (ii) the presence of deeply-bound heavy-light states. The consequences of these aspects for the behavior of the three-body system are analyzed. We find strong indication for universal behavior of both three-body binding energies and wave functions for different weakly-bound excited states in the heavy-light subsystems.


title: Uncertainty spill-overs: when policy and financial realms overlap

abstract: No matter its source, financial- or policy-related, uncertainty can feed onto itself, inflicting the real economic sector, altering expectations and behaviours, and leading to identification challenges in empirical applications. The strong intertwining between policy and financial realms prevailing in Europe, and in Euro Area in particular, might complicate the problem and create amplification mechanisms difficult to pin down. To reveal the complex transmission of country-specific uncertainty shocks in a multi-country setting, and to properly account for cross-country interdependencies, we employ a global VAR specification for which we adapt an identification approach based on magnitude restrictions. Once we separate policy uncertainty from financial uncertainty shocks, we find evidence of important cross-border uncertainty spill-overs. We also uncover a new amplification mechanism for domestic uncertainty shocks, whose true nature becomes more blurred once they cross the national boundaries and spill over to other countries. With respect to ECB policy reactions, we reveal stronger but less persistent responses to financial uncertainty shocks compared to policy uncertainty shocks. This points to ECB adopting a more (passive or) accommodative stance towards the former, but a more pro-active stance towards the latter shocks, possibly as an attempt to tame policy uncertainty spill-overs and prevent the fragmentation of the Euro Area financial markets.


title: Rate-Splitting Multiple Access to Mitigate the Curse of Mobility in (Massive) MIMO Networks

abstract: Rate-Splitting Multiple Access (RSMA) is a flexible and robust multiple access scheme for downlink multi-antenna wireless networks. RSMA relies on multi-antenna Rate-Splitting (RS) at the transmitter and Successive Interference Cancellation (SIC) at the receivers. In this work, we study the performance of RSMA under the practical important setup of imperfect Channel State Information at Transmitter (CSIT) originating from user mobility and latency in the network. First, we derive a lower bound on the ergodic sum-rate of RSMA for an arbitrary number of transmit antennas, number of users, user speeds and transmit power. Then, we study the power allocation between common and private streams and obtain a closed-form solution for the optimal power allocation that maximizes the obtained lower bound. The proposed power allocation greatly reduces precoder design complexity for RSMA. By Link-Level Simulations (LLS), we demonstrate that RSMA with the proposed power allocation is robust to degrading effects of user mobility and has significantly higher performance compared to conventional multi-user (massive) Multiple-Input Multiple-Output (MIMO) strategies. The work has important practical significance as results demonstrate that, in contrast to conventional multi-user (massive) MIMO whose performance collapse under mobility, RSMA can maintain reliable multi-user connectivity in mobile deployments.


title: A Too-Good-to-be-True Prior to Reduce Shortcut Reliance

abstract: Despite their impressive performance in object recognition and other tasks under standard testing conditions, deep networks often fail to generalize to out-of-distribution (o.o.d.) samples. One cause for this shortcoming is that modern architectures tend to rely on "shortcuts" - superficial features that correlate with categories without capturing deeper invariants that hold across contexts. Real-world concepts often possess a complex structure that can vary superficially across contexts, which can make the most intuitive and promising solutions in one context not generalize to others. One potential way to improve o.o.d. generalization is to assume simple solutions are unlikely to be valid across contexts and avoid them, which we refer to as the too-good-to-be-true prior. A low-capacity network (LCN) with a shallow architecture should only be able to learn surface relationships, including shortcuts. We find that LCNs can serve as shortcut detectors. Furthermore, an LCN's predictions can be used in a two-stage approach to encourage a high-capacity network (HCN) to rely on deeper invariant features that should generalize broadly. In particular, items that the LCN can master are downweighted when training the HCN. Using a modified version of the CIFAR-10 dataset in which we introduced shortcuts, we found that the two-stage LCN-HCN approach reduced reliance on shortcuts and facilitated o.o.d. generalization.


title: Densely Deformable Efficient Salient Object Detection Network

abstract: Salient Object Detection (SOD) domain using RGB-D data has lately emerged with some current models' adequately precise results. However, they have restrained generalization abilities and intensive computational complexity. In this paper, inspired by the best background/foreground separation abilities of deformable convolutions, we employ them in our Densely Deformable Network (DDNet) to achieve efficient SOD. The salient regions from densely deformable convolutions are further refined using transposed convolutions to optimally generate the saliency maps. Quantitative and qualitative evaluations using the recent SOD dataset against 22 competing techniques show our method's efficiency and effectiveness. We also offer evaluation using our own created cross-dataset, surveillance-SOD (S-SOD), to check the trained models' validity in terms of their applicability in diverse scenarios. The results indicate that the current models have limited generalization potentials, demanding further research in this direction. Our code and new dataset will be publicly available at https://github.com/tanveer-hussain/EfficientSOD


title: Supervised training of spiking neural networks for robust deployment on mixed-signal neuromorphic processors

abstract: Mixed-signal analog/digital circuits emulate spiking neurons and synapses with extremely high energy efficiency, an approach known as "neuromorphic engineering". However, analog circuits are sensitive to process-induced variation among transistors in a chip ("device mismatch"). For neuromorphic implementation of Spiking Neural Networks (SNNs), mismatch causes parameter variation between identically-configured neurons and synapses. Each chip exhibits a different distribution of neural parameters, causing deployed networks to respond differently between chips. Current solutions to mitigate mismatch based on per-chip calibration or on-chip learning entail increased design complexity, area and cost, making deployment of neuromorphic devices expensive and difficult. Here we present a supervised learning approach that produces SNNs with high robustness to mismatch and other common sources of noise. Our method trains SNNs to perform temporal classification tasks by mimicking a pre-trained dynamical system, using a local learning rule from non-linear control theory. We demonstrate our method on two tasks requiring memory, and measure the robustness of our approach to several forms of noise and mismatch. We show that our approach is more robust than common alternatives for training SNNs. Our method provides robust deployment of pre-trained networks on mixed-signal neuromorphic hardware, without requiring per-device training or calibration.


title: On graph products of monoids

abstract: Graph products of monoids provide a common framework for direct and free products, and graph monoids (also known as free partially commutative monoids). If the monoids in question are groups, then any graph product is, of course, a group. For monoids that are not groups, regularity is perhaps the first and most important algebraic property that one considers; however, graph products of regular monoids are not in general regular. We show that a graph product of regular monoids satisfies the related, but weaker, condition of being abundant. More generally, we show that the classes of left abundant and left Fountain monoids are closed under graph product. The notions of abundancy and Fountainicity and their one-sided versions arise from many sources, for example, that of abundancy from projectivity of monogenic acts, and that of Fountainicity (also known as weak abundancy) from connections with ordered categories. As a very special case we obtain the earlier result of Fountain and Kambites that the graph product of right cancellative monoids is right cancellative. To achieve our aims we show that elements in (arbitrary) graph products have a unique Foata normal form, and give some useful reduction results; these may equally well be applied to groups as to the broader case of monoids.


title: Representation stability and outer automorphism groups

abstract: In this paper we study families of representations of the outer automorphism groups indexed on a collection of finite groups $\mathcal{U}$. We encode this large amount of data into a convenient abelian category $\mathcal{A}\mathcal{U}$ which generalizes the category of VI-modules appearing in the representation theory of the finite general linear groups. Inspired by work of Church--Ellenberg--Farb, we investigate for which choices of $\mathcal{U}$ the abelian category is locally noetherian and deduce analogues of central stability and representation stability results in this setting. Finally, we show that some invariants coming from rational global homotopy theory exhibit representation stability.


title: Computing Helioseismic Sensitivity Kernels for the Sun's Large-Scale Internal Flows using Global-Scale Wave-Propagation Simulations

abstract: Helioseismic waves observable at the solar surface can be used to probe the properties of the Sun's interior. By measuring helioseismic travel times between different location on the surface, flows and other interior properties can be inferred using so-called sensitivity kernels which relate the amount of travel-time shift with variations in interior proporties. In particular, sensitivity kernels for flows have been developed in the past, using either ray or Born approximation, and have been used to infer solar interior flows such as the meridional circulation which is of particular interest for understanding the structure and dynamics of the Sun. Here we introduce a new method for deriving three-dimensional sensitivity kernels for large-scale horizontal flows in the solar interior. We perform global-Sun wave-propagation simulations through 784 small flow perturbations placed individually in the interior of a simulated Sun, and measure the shifts in helioseismic travel times caused by these perturbations. Each measurement corresponds to a linear equation connecting the flow perturbation velocities and the sensitivity kernels. By solving the resulting large set of coupled linear equations, we derive three-dimensional sensitivity kernels for horizontal flows which have a longitudinal component (parallel to the wave's travel direction) and a transverse component (perpendicular to the wave's travel direction). The kernels exhibit a "banana" shape, similar to kernels derived using Born approximation methods, and show that transverse components are not negligible in inversions for interior flows.


title: Combinatorial tuning of electronic structure and thermoelectric properties in Co$_2$MnAl$_{1-x}$Si$_x$ Weyl semimetals

abstract: A tuning of Fermi level (E$_F$) near Weyl points is one of the promising approaches to realize large anomalous Nernst effect (ANE). In this work, we introduce an efficient approach to tune E$_F$ for the Co$_2$MnAl Weyl semimetal through a layer-by-layer combinatorial deposition of Co$_2$MnAl$_{1-x}$Si$_x$ (CMAS) thin film. A single-crystalline composition-spread film with x varied from 0 to 1 was fabricated. The structural characterization reveals the formation of single-phase CMAS alloy throughout the composition range with a gradual improvement of L2$_1$ order with x similar to the co-sputtered single layered film, which validates the present fabrication technique. Hard X-ray photoemission spectroscopy for the CMAS composition-spread film directly confirmed the rigid band-like E$_F$ shift of approximately 0.40 eV towards the composition gradient direction from x = 0 to 1. The anomalous Ettingshausen effect (AEE), the reciprocal of ANE, has been measured for whole x range using a single strip along the composition gradient using the lock-in thermography technique. The similarity of the x dependence of observed AEE and ANE signals clearly demonstrates that the AEE measurement on the composition spread film is an effective approach to investigate the composition dependence of ANE of Weyl semimetal thin films and realize the highest performance without fabricating several films, which will accelerate the research for ANE-based energy harvesting


title: Revisiting the flux tube spectrum of 3d SU(2) lattice gauge theory

abstract: We perform a high precision measurement of the spectrum of the QCD flux tube in three-dimensional $\SU(2)$ gauge theory at multiple lattice spacings. We compare the results at large $q\bar{q}$ separations $R$ to the spectrum predicted by the effective string theory, including the leading order boundary term with a non-universal coefficient. We find qualitative agreement with the predictions from the leading order Nambu-Goto string theory down to small values of $R$, while, at the same time, observing the predicted splitting of the second excited state due to the boundary term. On fine lattices and at large $R$ we observe slight deviations from the EST predictions for the first excited state.


title: Robust Hybrid High-Order method on polytopal meshes with small faces

abstract: We design a Hybrid High-Order (HHO) scheme for the Poisson problem that is fully robust on polytopal meshes in the presence of small edges/faces. We state general assumptions on the stabilisation terms involved in the scheme, under which optimal error estimates (in discrete and continuous energy norms, as well as $L^2$-norm) are established with multiplicative constants that do not depend on the maximum number of faces in each element, or the relative size between an element and its faces. We illustrate the error estimates through numerical simulations in 2D and 3D on meshes designed by agglomeration techniques (such meshes naturally have elements with a very large numbers of faces, and very small faces).


title: Variance of sums in short intervals and $L$-functions in $\mathbb{F}_q[t]$

abstract: Keating and Rudnick studied the variance of the polynomial von Mangoldt function $\Lambda \colon \mathbb{F}_q[t] \rightarrow \mathbb{C}$ in arithmetic progressions and short intervals using two equidistribution results by Katz. Hall, Keating and Roditty-Gershon then generalised the result for arithmetic progressions for a von Mangoldt function $\Lambda_\rho$ attached to a Galois representation $\rho \colon \mathrm{Gal} ( \overline{\mathbb{F}_q(t)}/\mathbb{F}_q(t) ) \rightarrow \mathrm{GL}_m(\overline{\mathbb{Q}}_\ell)$. We employ a recent equidistribution result by Sawin in order to generalise the corresponding result for short intervals for $\Lambda_\rho$.


title: Explaining predictive models using Shapley values and non-parametric vine copulas

abstract: The original development of Shapley values for prediction explanation relied on the assumption that the features being described were independent. If the features in reality are dependent this may lead to incorrect explanations. Hence, there have recently been attempts of appropriately modelling/estimating the dependence between the features. Although the proposed methods clearly outperform the traditional approach assuming independence, they have their weaknesses. In this paper we propose two new approaches for modelling the dependence between the features. Both approaches are based on vine copulas, which are flexible tools for modelling multivariate non-Gaussian distributions able to characterise a wide range of complex dependencies. The performance of the proposed methods is evaluated on simulated data sets and a real data set. The experiments demonstrate that the vine copula approaches give more accurate approximations to the true Shapley values than its competitors.


title: J-PAS: forecasts on interacting vacuum energy models

abstract: The next generation of galaxy surveys will allow us to test some fundamental aspects of the standard cosmological model, including the assumption of a minimal coupling between the components of the dark sector. In this paper, we present the Javalambre Physics of the Accelerated Universe Astrophysical Survey (J-PAS) forecasts on a class of unified models where cold dark matter interacts with a vacuum energy, considering future observations of baryon acoustic oscillations, redshift-space distortions, and the matter power spectrum. After providing a general framework to study the background and linear perturbations, we focus on a concrete interacting model without momentum exchange by taking into account the contribution of baryons. We compare the J-PAS results with those expected for DESI and Euclid surveys and show that J-PAS is competitive to them, especially at low redshifts. Indeed, the predicted errors for the interaction parameter, which measures the departure from a $\Lambda$CDM model, can be comparable to the actual errors derived from the current data of cosmic microwave background temperature anisotropies.


title: Banana for scale: Gauging trends in academic interest by normalising publication rates to common and innocuous keywords

abstract: Many academics use yearly publication numbers to quantify academic interest for their research topic. While such visualisations are ubiquitous in grant applications, manuscript introductions, and review articles, they fail to account for the rapid growth in scientific publications. As a result, any search term will likely show an increase in supposed "academic interest". One proposed solution is to normalise yearly publication rates by field size, but this is arduous and difficult. Here, we propose an simpler index that normalises keywords of interest by a ubiquitous and innocuous keyword, such as "banana". Alternatively, one could opt for field-specific keywords or hierarchical structures (e.g. PubMed's Medical Subject Headings, MeSH) to compute "interest market share". Using this approach, we uncovered plausible trends in academic interest in examples from the medical literature. In neuroimaging, we found that not the supplementary motor area (as was previously claimed), but the prefrontal cortex is the most interesting part of the brain. In cancer research, we found a contemporary preference for cancers with high prevalence and clinical severity, and notable declines in interest for more treatable or likely benign neoplasms. Finally, we found that interest in respiratory viral infections spiked when strains showed potential for pandemic involvement, with SARS-CoV-2 and the COVID-19 pandemic being the most extreme example. In sum, the time is ripe for a quick and easy method to quantify trends in academic interest for anecdotal purposes. We provide such a method, along with software for researchers looking to implement it in their own writing.


title: Three-parameter deformation of $\mathbb{R}\times S^3$ in the Landau-Lifshitz limit

abstract: In this article we construct the effective field theory associated to the $\mathbb{R}\times S^3$ sector of the three-parameter deformation of $AdS_3 \times S^3 \times T^4$ in the Landau-Lifshitz approximation. We use this action to compute the dispersion relation of excitations around the BMN vacuum and the perturbative $S$-matrix associated to them. We are able to compute and sum all the different loop contributions to the $S$-matrix in this limit.