title: Logic Constrained Pointer Networks for Interpretable Textual Similarity

abstract: Systematically discovering semantic relationships in text is an important and extensively studied area in Natural Language Processing, with various tasks such as entailment, semantic similarity, etc. Decomposability of sentence-level scores via subsequence alignments has been proposed as a way to make models more interpretable. We study the problem of aligning components of sentences leading to an interpretable model for semantic textual similarity. In this paper, we introduce a novel pointer network based model with a sentinel gating function to align constituent chunks, which are represented using BERT. We improve this base model with a loss function to equally penalize misalignments in both sentences, ensuring the alignments are bidirectional. Finally, to guide the network with structured external knowledge, we introduce first-order logic constraints based on ConceptNet and syntactic knowledge. The model achieves an F1 score of 97.73 and 96.32 on the benchmark SemEval datasets for the chunk alignment task, showing large improvements over the existing solutions. Source code is available at https://github.com/manishb89/interpretable_sentence_similarity


title: Mass- and energy-preserving exponential Runge-Kutta methods for the nonlinear Schr\"odinger equation

abstract: In this paper, a family of arbitrarily high-order structure-preserving exponential Runge-Kutta methods are developed for the nonlinear Schr\"odinger equation by combining the scalar auxiliary variable approach with the exponential Runge-Kutta method. By introducing an auxiliary variable, we first transform the original model into an equivalent system which admits both mass and modified energy conservation laws. Then applying the Lawson method and the symplectic Runge-Kutta method in time, we derive a class of mass- and energy-preserving time-discrete schemes which are arbitrarily high-order in time. Numerical experiments are addressed to demonstrate the accuracy and effectiveness of the newly proposed schemes.


title: Broad line region and black hole mass of PKS 1510-089 from spectroscopic reverberation mapping

abstract: Reverberation results of a flat spectrum radio quasar PKS 1510-089 are presented from 8.5-years long spectroscopic monitoring carried out in 9 observing seasons between December 2008 to June 2017 at Steward Observatory. Optical spectra show strong H$\beta$, H$\gamma$, and Fe II emission lines overlaying on a blue continuum. All the continuum and emission line light curves show significant variability with a fractional root-mean-square variation of $37.30\pm0.06$% ($f_{5100}$), $11.88\pm0.29$% (H$\beta$) and $9.61\pm0.71$% (H$\gamma$), however, along with thermal radiation from accretion disk non-thermal emission from jet also contribute to $f_{5100}$. Several methods of time series analysis (ICCF, DCF, von Neumann, Bartels, JAVELIN, $\chi^2$) are used to measure lag between continuum and line light curves. The observed frame BLR size is found to be $61.1^{+4.0}_{-3.2}$ ($64.7^{+27.1}_{-10.6}$) light-days for H$\beta$ (H$\gamma$). Using $\sigma_{\mathrm{line}}$ of $1262\pm247$ km s$^{-1}$ measured from the rms spectrum, the black hole mass of PKS 1510-089 is estimated to be $5.71^{+0.62}_{-0.58} \times 10^{7} M_{\odot}$.


title: Linking microdosimetric measurements to biological effectiveness: a review of theoretical aspects of MKM and other models

abstract: Different qualities of radiation are known to cause different biological effects at the same absorbed dose. Enhancements of the biological effectiveness are a direct consequence of the energy deposition clustering at the scales of DNA molecule and cell nucleus whilst absorbed dose is a macroscopic averaged quantity which does not take into account heterogeneities at the nanometer and micrometer scales. Microdosimetry aims to measure radiation quality at cellular or sub-cellular levels trying to increase the understanding of radiation damage mechanisms and effects. A review of the major models based on experimental microdosimetry, with an emphasis on the Microdosimetric Kinetic Model (MKM) will be presented in this work, enlightening the advantages of each one in terms of accuracy, initial assumptions and agreement with experimental data. The MKM has been used to predict different kinds of radiobiological quantities such as the Relative Biological Effects for cell inactivation or the Oxygen Enhancement Ratio (OER). Recent developments of the MKM will be also presented, including new non-Poissonian correction approaches for high linear energy transfer (LET) radiation, the inclusion of partial repair effects for fractionation studies and the extension of the model to account for non-targeted effects. We will also explore developments for improving the models by including track structure and the spatial damage correlation information by using the full fluence spectrum and, briefly, nanodosimetric quantities to better account for the energy-deposition fluctuations at the intra- and inter-cellular level.


title: Observation of the Doubly Cabibbo-Suppressed Decay $D^+\to K^+\pi^+\pi^-\pi^0$ and Evidence for $D^+\to K^+\omega$

abstract: Using $2.93 \rm fb^{-1}$ of $e^+e^-$ collision data collected at a center-of-mass energy of 3.773 GeV with the BESIII detector, the first observation of the doubly Cabibbo-suppressed decay $D^+\to K^+\pi^+\pi^-\pi^0$ is reported. After removing decays that contain narrow intermediate resonances, including $D^+\to K^+\eta$, $D^+\to K^+\omega$, and $D^+\to K^+\phi$, the branching fraction of the decay $D^+\to K^+\pi^+\pi^-\pi^0$ is measured to be $(1.13 \pm 0.08_{\rm stat} \pm 0.03_{\rm syst})\times 10^{-3}$. The ratio of branching fractions of $D^+\to K^+\pi^+\pi^-\pi^0$ over $D^+\to K^-\pi^+\pi^+\pi^0$ is found to be $(1.81\pm0.15)$\%, which corresponds to $(6.28\pm0.52)\tan^4\theta_C$, where $\theta_C$ is the Cabibbo mixing angle. This ratio is significantly larger than the corresponding ratios for other doubly Cabibbo-suppressed decays. The asymmetry of the branching fractions of charge-conjugated decays $D^\pm\to K^\pm\pi^\pm\pi^\mp\pi^0$ is also determined, and no evidence of $CP$ violation is found. In addition, the first evidence of the $D^+\to K^+\omega$ decay, with a statistical significance of 3.3$\sigma$, is presented and its decay branching fraction is determined to be $({5.7^{+2.5}_{-2.1}}_{\rm stat}\pm0.2_{\rm syst})\times10^{-5}$.


title: 3D Polarized Modulation: System Analysis and Performance

abstract: In this paper we present a novel modulation technique for dual polarization communication systems, which reduces the error rate compared with the existent schemes. This modulation places the symbols in a 3D constellation, rather than the classic approach of 2D. Adjusting the phase of these symbols depending on the information bits, we are able to increase the bit rate. Hence, the proposed scheme conveys information by selecting both polarization state and the phase of radiated electromagnetic wave. We also analyse the performance of 3D Polarized Modulation (PMod) for different constellation sizes and we obtain a curve of rate adaptation. Finally, we compare the proposed 3D PMod with other existing schemes such as single polarization Phase Shift Keying (PSK) and double polarization Vertical Bell Laboratories Layer Space-Time (V-BLAST), both carrying the same number of information bits. The results show that 3D PMod always outperforms all other schemes, except for low order modulation. Therefore, we can conclude that 3D PMod is an excellent candidate for medium and high modulation order transmissions.


title: End-to-end training of a two-stage neural network for defect detection

abstract: Segmentation-based, two-stage neural network has shown excellent results in the surface defect detection, enabling the network to learn from a relatively small number of samples. In this work, we introduce end-to-end training of the two-stage network together with several extensions to the training process, which reduce the amount of training time and improve the results on the surface defect detection tasks. To enable end-to-end training we carefully balance the contributions of both the segmentation and the classification loss throughout the learning. We adjust the gradient flow from the classification into the segmentation network in order to prevent the unstable features from corrupting the learning. As an additional extension to the learning, we propose frequency-of-use sampling scheme of negative samples to address the issue of over- and under-sampling of images during the training, while we employ the distance transform algorithm on the region-based segmentation masks as weights for positive pixels, giving greater importance to areas with higher probability of presence of defect without requiring a detailed annotation. We demonstrate the performance of the end-to-end training scheme and the proposed extensions on three defect detection datasets - DAGM, KolektorSDD and Severstal Steel defect dataset - where we show state-of-the-art results. On the DAGM and the KolektorSDD we demonstrate 100\% detection rate, therefore completely solving the datasets. Additional ablation study performed on all three datasets quantitatively demonstrates the contribution to the overall result improvements for each of the proposed extensions.


title: Fast Differentiable Clipping-Aware Normalization and Rescaling

abstract: Rescaling a vector $\vec{\delta} \in \mathbb{R}^n$ to a desired length is a common operation in many areas such as data science and machine learning. When the rescaled perturbation $\eta \vec{\delta}$ is added to a starting point $\vec{x} \in D$ (where $D$ is the data domain, e.g. $D = [0, 1]^n$), the resulting vector $\vec{v} = \vec{x} + \eta \vec{\delta}$ will in general not be in $D$. To enforce that the perturbed vector $v$ is in $D$, the values of $\vec{v}$ can be clipped to $D$. This subsequent element-wise clipping to the data domain does however reduce the effective perturbation size and thus interferes with the rescaling of $\vec{\delta}$. The optimal rescaling $\eta$ to obtain a perturbation with the desired norm after the clipping can be iteratively approximated using a binary search. However, such an iterative approach is slow and non-differentiable. Here we show that the optimal rescaling can be found analytically using a fast and differentiable algorithm. Our algorithm works for any p-norm and can be used to train neural networks on inputs with normalized perturbations. We provide native implementations for PyTorch, TensorFlow, JAX, and NumPy based on EagerPy.


title: Geometry of compact quasi-Einstein manifolds with boundary

abstract: In this article, we study the geometry of compact quasi-Einstein manifolds with boundary. We establish sharp boundary estimates for compact quasi-Einstein manifolds with boundary that improve some previous results. Moreover, we obtain a characterization theorem for such manifolds in terms of the surface gravity of the boundary components, which leads to a new sharp geometric inequality. In addition, we prove a boundary estimate for compact quasi-Einstein manifolds with (possibly disconnected) boundary in terms of the Brown-York mass.


title: 1-Bit Compressive Sensing via Approximate Message Passing with Built-in Parameter Estimation

abstract: 1-bit compressive sensing aims to recover sparse signals from quantized 1-bit measurements. Designing efficient approaches that could handle noisy 1-bit measurements is important in a variety of applications. In this paper we use the approximate message passing (AMP) to achieve this goal due to its high computational efficiency and state-of-the-art performance. In AMP the signal of interest is assumed to follow some prior distribution, and its posterior distribution can be computed and used to recover the signal. In practice, the parameters of the prior distributions are often unknown and need to be estimated. Previous works tried to find the parameters that maximize either the measurement likelihood via expectation maximization, which becomes increasingly difficult to solve in cases of complicated probability models. Here we propose to treat the parameters as unknown variables and compute their posteriors via AMP as well, so that the parameters and the signal can be recovered jointly. Compared to previous methods, the proposed approach leads to a simple and elegant parameter estimation scheme, allowing us to directly work with 1-bit quantization noise model. Experimental results show that the proposed approach generally perform much better than the other state-of-the-art methods in the zero-noise and moderate-noise regimes, and outperforms them in most of the cases in the high-noise regime.


title: Formation of light nuclei at chemical freezeout: Description within a statistical thermal model

abstract: The thermal description of light nuclei at the chemical freeze-out has been investigated. First, I have verified the equilibration of the light nuclei and then introduced a new method to investigate the light nuclei formation. One can study the proximity between the phase space density of light nuclei ratios and their hadronic constituents e.g $\bar{d}/d$ and $(\bar{p}\bar{n}/pn)$. I have found that with the exclusion of the decay feed-down from the hadronic yields in the thermal model, the hadronic representations have good agreement with the light nuclei ratios. I have performed a similar analysis with the ratio of $\Lambda$-hypernuclei and $^3 He$, which is related to the ratio $\Lambda/p$. In this context, the strangeness population factor $S_3$ has been studied also. These results indicate that the nuclei and hypernuclei formation may occur near the standard chemical freeze-out and before the decay of the hadronic resonances. This method will serve as a guideline to discuss the light nuclei formation and the inclusion of decay into their hadronic constituents.


title: A sufficient condition for accessibility of pro-$p$ groups

abstract: We establish a sufficient condition for a finitely generated pro-$p$ group to be accessible in terms of finite generation of the module of ends.


title: FetchSGD: Communication-Efficient Federated Learning with Sketching

abstract: Existing approaches to federated learning suffer from a communication bottleneck as well as convergence issues due to sparse client participation. In this paper we introduce a novel algorithm, called FetchSGD, to overcome these challenges. FetchSGD compresses model updates using a Count Sketch, and then takes advantage of the mergeability of sketches to combine model updates from many workers. A key insight in the design of FetchSGD is that, because the Count Sketch is linear, momentum and error accumulation can both be carried out within the sketch. This allows the algorithm to move momentum and error accumulation from clients to the central aggregator, overcoming the challenges of sparse client participation while still achieving high compression rates and good convergence. We prove that FetchSGD has favorable convergence guarantees, and we demonstrate its empirical effectiveness by training two residual networks and a transformer model.


title: UniTrans: Unifying Model Transfer and Data Transfer for Cross-Lingual Named Entity Recognition with Unlabeled Data

abstract: Prior works in cross-lingual named entity recognition (NER) with no/little labeled data fall into two primary categories: model transfer based and data transfer based methods. In this paper we find that both method types can complement each other, in the sense that, the former can exploit context information via language-independent features but sees no task-specific information in the target language; while the latter generally generates pseudo target-language training data via translation but its exploitation of context information is weakened by inaccurate translations. Moreover, prior works rarely leverage unlabeled data in the target language, which can be effortlessly collected and potentially contains valuable information for improved results. To handle both problems, we propose a novel approach termed UniTrans to Unify both model and data Transfer for cross-lingual NER, and furthermore, to leverage the available information from unlabeled target-language data via enhanced knowledge distillation. We evaluate our proposed UniTrans over 4 target languages on benchmark datasets. Our experimental results show that it substantially outperforms the existing state-of-the-art methods.


title: Deep Learning for UV Absorption Spectra with SchNarc: First Steps Towards Transferability in Chemical Compound Space

abstract: Machine learning (ML) has shown to advance the research field of quantum chemistry in almost any possible direction and has recently also entered the excited states to investigate the multifaceted photochemistry of molecules. In this paper, we pursue two goals: i) We show how ML can be used to model permanent dipole moments for excited states and transition dipole moments by adapting the charge model of [Chem. Sci., 2017, 8, 6924-6935], which was originally proposed for the permanent dipole moment vector of the electronic ground state. ii) We investigate the transferability of our excited-state ML models in chemical space, i.e., whether an ML model can predict properties of molecules that it has never been trained on and whether it can learn the different excited states of two molecules simultaneously. To this aim, we employ and extend our previously reported SchNarc approach for excited-state ML. We calculate UV absorption spectra from excited-state energies and transition dipole moments as well as electrostatic potentials from latent charges inferred by the ML model of the permanent dipole moment vectors. We train our ML models on CH$_2$NH$_2^+$ and C$_2$H$_4$, while predictions are carried out for these molecules and additionally for CHNH$_2$, CH$_2$NH, and C$_2$H$_5^+$. The results indicate that transferability is possible for the excited states.


title: Nanochannels for Spin-Wave Manipulation in Ni80Fe20 Nanodot Arrays

abstract: Patterned magnetic nanostructures are potential candidates for future energy efficient, on-chip communication devices. Here, we have experimentally and numerically studied the role of nanochannels to manipulate spin waves in Ni80Fe20 connected nanodot arrays of varying filling fraction. Rich spin-wave spectra are observed in these samples, where the number of spin-wave modes decreases with increasing filling fraction due to the retrenchment of the demagnetizing field. The nanochannels affect the spin-wave modes of the connected dots through dipole-exchange coupling. For all modes the vertical nanochannels couple the nanodots, except for the highest frequency modes where all nanochannels act as coupler. This feature is further explored in the simulation, which reveals that only the highest frequency mode can propagate through all the nanochannels, analogues to an electronic demultiplexer. This study will be useful to understand the role of nanochannels in patterned magnetic nanostructures and their applications in spin-wave based communication devices.


title: Relative Pose Estimation of Calibrated Cameras with Known $\mathrm{SE}(3)$ Invariants

abstract: The $\mathrm{SE}(3)$ invariants of a pose include its rotation angle and screw translation. In this paper, we present a complete comprehensive study of the relative pose estimation problem for a calibrated camera constrained by known $\mathrm{SE}(3)$ invariant, which involves 5 minimal problems in total. These problems reduces the minimal number of point pairs for relative pose estimation and improves the estimation efficiency and robustness. The $\mathrm{SE}(3)$ invariant constraints can come from extra sensor measurements or motion assumption. Different from conventional relative pose estimation with extra constraints, no extrinsic calibration is required to transform the constraints to the camera frame. This advantage comes from the invariance of $\mathrm{SE}(3)$ invariants cross different coordinate systems on a rigid body and makes the solvers more convenient and flexible in practical applications. Besides proposing the concept of relative pose estimation constrained by $\mathrm{SE}(3)$ invariants, we present a comprehensive study of existing polynomial formulations for relative pose estimation and discover their relationship. Different formulations are carefully chosen for each proposed problems to achieve best efficiency. Experiments on synthetic and real data shows performance improvement compared to conventional relative pose estimation methods.


title: Statistical Evaluation of Medical Tests

abstract: In this review, we present an overview of the main aspects related to the statistical evaluation of medical tests for diagnosis and prognosis. Measures of diagnostic performance for binary tests, such as sensitivity, specificity, and predictive values, are introduced, and extensions to the case of continuous-outcome tests are detailed. Special focus is placed on the receiver operating characteristic (ROC) curve and its estimation, with the topic of covariate adjustment receiving a great deal of attention. The extension to the case of time-dependent ROC curves for evaluating prognostic accuracy is also touched upon. We apply several of the approaches described to a dataset derived from a study aimed to evaluate the ability of HOMA-IR (homeostasis model assessment of insulin resistance) levels to identify individuals at high cardio-metabolic risk and how such discriminatory ability might be influenced by age and gender. We also outline software available for the implementation of the methods.


title: Magnetic-Field Dependence of Novel Gap Behavior Related to the Quantum-Size Effect

abstract: $^{195}$Pt-NMR measurements of Pt nanoparticles with a mean diameter of 4.0 nm were performed in a high magnetic field of approximately $\mu_0 H = 23.3$ T to investigate the low-temperature electronic state of the nanoparticles. The characteristic temperature $T^*$, below which the nuclear spin-lattice relaxation rate $1/T_1$ deviates from the relaxation rate of the bulk, shows a magnetic-field dependence. This dependence supports the theoretical prediction of the appearance of discrete energy levels.


title: Cross-Lingual Speaker Verification with Domain-Balanced Hard Prototype Mining and Language-Dependent Score Normalization

abstract: In this paper we describe the top-scoring IDLab submission for the text-independent task of the Short-duration Speaker Verification (SdSV) Challenge 2020. The main difficulty of the challenge exists in the large degree of varying phonetic overlap between the potentially cross-lingual trials, along with the limited availability of in-domain DeepMine Farsi training data. We introduce domain-balanced hard prototype mining to fine-tune the state-of-the-art ECAPA-TDNN x-vector based speaker embedding extractor. The sample mining technique efficiently exploits speaker distances between the speaker prototypes of the popular AAM-softmax loss function to construct challenging training batches that are balanced on the domain-level. To enhance the scoring of cross-lingual trials, we propose a language-dependent s-norm score normalization. The imposter cohort only contains data from the Farsi target-domain which simulates the enrollment data always being Farsi. In case a Gaussian-Backend language model detects the test speaker embedding to contain English, a cross-language compensation offset determined on the AAM-softmax speaker prototypes is subtracted from the maximum expected imposter mean score. A fusion of five systems with minor topological tweaks resulted in a final MinDCF and EER of 0.065 and 1.45% respectively on the SdSVC evaluation set.


title: Proof of Concept: Automatic Type Recognition

abstract: The type used to print an early modern book can give scholars valuable information about the time and place of its production as well as its producer. Recognizing such type is currently done manually using both the character shapes of `M' or `Qu' and the size of the total type to look it up in a large reference work. This is a reliable method, but it is also slow and requires specific skills. We investigate the performance of type classification and type retrieval using a newly created dataset consisting of easy and difficult types used in early printed books. For type classification, we rely on a deep Convolutional Neural Network (CNN) originally used for font-group classification while we use a common writer identification method for the retrieval case. We show that in both scenarios, easy types can be classified/retrieved with a high accuracy while difficult cases are indeed difficult.


title: A Multilingual Parallel Corpora Collection Effort for Indian Languages

abstract: We present sentence aligned parallel corpora across 10 Indian Languages - Hindi, Telugu, Tamil, Malayalam, Gujarati, Urdu, Bengali, Oriya, Marathi, Punjabi, and English - many of which are categorized as low resource. The corpora are compiled from online sources which have content shared across languages. The corpora presented significantly extends present resources that are either not large enough or are restricted to a specific domain (such as health). We also provide a separate test corpus compiled from an independent online source that can be independently used for validating the performance in 10 Indian languages. Alongside, we report on the methods of constructing such corpora using tools enabled by recent advances in machine translation and cross-lingual retrieval using deep neural network based methods.


title: Combinatorial proof for the rationality of the bivariate generating series of maps in positive genus

abstract: In this paper, we give the first combinatorial proof of a rationality scheme for the generating series of maps in positive genus enumerated by both vertices and faces, which was first obtained by Bender, Canfield and Richmond in 1993 by purely computational techniques. To do so, we rely on a bijection obtained by the second author in a previous work between those maps and a family of decorated unicellular maps. Our main contribution consists in a fine analysis of this family of maps. As a byproduct, we also obtain a new and simpler combinatorial proof of the rationality scheme for the generating series of maps enumerated by their number of edges, originally obtained computationally by Bender and Canfield in 1991 and combinatorially by the second author in 2019.


title: Diabatic description of charmonium-like mesons

abstract: We apply the diabatic formalism, first introduced in molecular physics, to the description of heavy-quark mesons. In this formalism the dynamics is completely described by a diabatic potential matrix whose elements can be derived from unquenched lattice QCD studies of string breaking. For energies far below the lowest open flavor meson-meson threshold, the resulting diabatic approach reduces to the well-known Born-Oppenheimer approximation where heavy-quark meson masses correspond to energy levels in an effective quark-antiquark potential. For energies close below or above that threshold, where the Born-Oppenheimer approximation fails, this approach provides a set of coupled Schr\"{o}dinger equations incorporating meson-meson components nonperturbatively, i.e. beyond loop corrections. A spectral study of heavy mesons containing $c\overline{c}$ with masses below $4.1$ GeV is carried out within this framework. From it a unified description of conventional as well as unconventional resonances comes out.


title: The Big-O Problem

abstract: Given two weighted automata, we consider the problem of whether one is big-O of the other, i.e., if the weight of every finite word in the first is not greater than some constant multiple of the weight in the second. We show that the problem is undecidable, even for the instantiation of weighted automata as labelled Markov chains. Moreover, even when it is known that one weighted automaton is big-O of another, the problem of finding or approximating the associated constant is also undecidable. Our positive results show that the big-O problem is polynomial-time solvable for unambiguous automata, coNP-complete for unlabelled weighted automata (i.e., when the alphabet is a single character) and decidable, subject to Schanuel's conjecture, when the language is bounded (i.e., a subset of $w_1^*\dots w_m^*$ for some finite words $w_1,\dots,w_m$) or when the automaton has finite ambiguity. On labelled Markov chains, the problem can be restated as a ratio total variation distance, which, instead of finding the maximum difference between the probabilities of any two events, finds the maximum ratio between the probabilities of any two events. The problem is related to $\varepsilon$-differential privacy, for which the optimal constant of the big-O notation is exactly $\exp(\varepsilon)$.


title: Label Propagation with Augmented Anchors: A Simple Semi-Supervised Learning baseline for Unsupervised Domain Adaptation

abstract: Motivated by the problem relatedness between unsupervised domain adaptation (UDA) and semi-supervised learning (SSL), many state-of-the-art UDA methods adopt SSL principles (e.g., the cluster assumption) as their learning ingredients. However, they tend to overlook the very domain-shift nature of UDA. In this work, we take a step further to study the proper extensions of SSL techniques for UDA. Taking the algorithm of label propagation (LP) as an example, we analyze the challenges of adopting LP to UDA and theoretically analyze the conditions of affinity graph/matrix construction in order to achieve better propagation of true labels to unlabeled instances. Our analysis suggests a new algorithm of Label Propagation with Augmented Anchors (A$^2$LP), which could potentially improve LP via generation of unlabeled virtual instances (i.e., the augmented anchors) with high-confidence label predictions. To make the proposed A$^2$LP useful for UDA, we propose empirical schemes to generate such virtual instances. The proposed schemes also tackle the domain-shift challenge of UDA by alternating between pseudo labeling via A$^2$LP and domain-invariant feature learning. Experiments show that such a simple SSL extension improves over representative UDA methods of domain-invariant feature learning, and could empower two state-of-the-art methods on benchmark UDA datasets. Our results show the value of further investigation on SSL techniques for UDA problems.


title: P$^{2}$Net: Patch-match and Plane-regularization for Unsupervised Indoor Depth Estimation

abstract: This paper tackles the unsupervised depth estimation task in indoor environments. The task is extremely challenging because of the vast areas of non-texture regions in these scenes. These areas could overwhelm the optimization process in the commonly used unsupervised depth estimation framework proposed for outdoor environments. However, even when those regions are masked out, the performance is still unsatisfactory. In this paper, we argue that the poor performance suffers from the non-discriminative point-based matching. To this end, we propose P$^2$Net. We first extract points with large local gradients and adopt patches centered at each point as its representation. Multiview consistency loss is then defined over patches. This operation significantly improves the robustness of the network training. Furthermore, because those textureless regions in indoor scenes (e.g., wall, floor, roof, \etc) usually correspond to planar regions, we propose to leverage superpixels as a plane prior. We enforce the predicted depth to be well fitted by a plane within each superpixel. Extensive experiments on NYUv2 and ScanNet show that our P$^2$Net outperforms existing approaches by a large margin. Code is available at \url{https://github.com/svip-lab/Indoor-SfMLearner}.


title: Epidemic growth and Griffiths effects on an emergent network of excited atoms

abstract: Whether it be physical, biological or social processes, complex systems exhibit dynamics that are exceedingly difficult to understand or predict from underlying principles. Here we report a striking correspondence between the collective excitation dynamics of a laser driven ultracold gas of Rydberg atoms and the spreading of diseases, which in turn opens up a highly controllable experimental platform for studying non-equilibrium dynamics on complex networks. We find that the competition between facilitated excitation and spontaneous decay results in a fast growth of the number of excitations that follows a characteristic sub-exponential time dependence which is empirically observed as a key feature of real epidemics. Based on this we develop a quantitative microscopic susceptible-infected-susceptible (SIS) model which links the growth and final excitation density to the dynamics of an emergent heterogeneous network and rare active region effects associated to an extended Griffiths phase. This provides physical insights into the nature of non-equilibrium criticality in driven many-body systems and the mechanisms leading to non-universal power-laws in the dynamics of complex systems.

categories: physics.atom-ph cond-mat.dis-nn cond-mat.quant-gas cond-mat.stat-mech nlin.AO


title: Are Hyperbolic Representations in Graphs Created Equal?

abstract: Recently there was an increasing interest in applications of graph neural networks in non-Euclidean geometry; however, are non-Euclidean representations always useful for graph learning tasks? For different problems such as node classification and link prediction we compute hyperbolic embeddings and conclude that for tasks that require global prediction consistency it might be useful to use non-Euclidean embeddings, while for other tasks Euclidean models are superior. To do so we first fix an issue of the existing models associated with the optimization process at zero curvature. Current hyperbolic models deal with gradients at the origin in ad-hoc manner, which is inefficient and can lead to numerical instabilities. We solve the instabilities of kappa-Stereographic model at zero curvature cases and evaluate the approach of embedding graphs into the manifold in several graph representation learning tasks.


title: The Benefits of Very Low Earth Orbit for Earth Observation Missions

abstract: Very low Earth orbits (VLEO), typically classified as orbits below approximately 450 km in altitude, have the potential to provide significant benefits to spacecraft over those that operate in higher altitude orbits. This paper provides a comprehensive review and analysis of these benefits to spacecraft operations in VLEO, with parametric investigation of those which apply specifically to Earth observation missions. The most significant benefit for optical imaging systems is that a reduction in orbital altitude improves spatial resolution for a similar payload specification. Alternatively mass and volume savings can be made whilst maintaining a given performance. Similarly, for radar and lidar systems, the signal-to-noise ratio can be improved. Additional benefits include improved geospatial position accuracy, improvements in communications link-budgets, and greater launch vehicle insertion capability. The collision risk with orbital debris and radiation environment can be shown to be improved in lower altitude orbits, whilst compliance with IADC guidelines for spacecraft post-mission lifetime and deorbit is also assisted. Finally, VLEO offers opportunities to exploit novel atmosphere-breathing electric propulsion systems and aerodynamic attitude and orbit control methods. However, key challenges associated with our understanding of the lower thermosphere, aerodynamic drag, the requirement to provide a meaningful orbital lifetime whilst minimising spacecraft mass and complexity, and atomic oxygen erosion still require further research. Given the scope for significant commercial, societal, and environmental impact which can be realised with higher performing Earth observation platforms, renewed research efforts to address the challenges associated with VLEO operations are required.


title: The Chromatic Number of Dense Random Block Graphs

abstract: The chromatic number $\chi(G)$ of a graph $G$, that is, the smallest number of colors required to color the vertices of $G$ so that no two adjacent vertices are assigned the same color, is a classic and extensively studied parameter. Here we consider the case where $G$ is a random block graph, also known as the stochastic block model. The vertex set is partitioned into $k\in\mathbb{N}$ parts $V_1, \dotsc, V_k$, and for each $1 \le i\le j\le k$, two vertices $u \in V_i, v\in V_j$ are connected by an edge with some probability $p_{ij} \in (0,1)$ independently. Our main result pins down the typical asymptotic value of $\chi(G)$ and establishes the distribution of the sizes of the color classes in optimal colorings. We discover that in contrast to the case of a binomial random graph $G(n,p)$, that corresponds to $k=1$ in our model, where the average size of a color class in an (almost) optimal coloring essentially coincides with the independence number, the block model reveals a more diverse picture: the "average" class in an optimal coloring is a convex combination of several types of independent sets that vary in total size as well as in the size of their intersection with each $V_i$, $1\le i \le k$.


title: Approximate XVA for European claims

abstract: We consider the problem of computing the Value Adjustment of European contingent claims when default of either party is considered, possibly including also funding and collateralization requirements. As shown in Brigo et al. (\cite{BLPS}, \cite{BFP}), this leads to a more articulate variety of Value Adjustments ({XVA}) that introduce some nonlinear features. When exploiting a reduced-form approach for the default times, the adjusted price can be characterized as the solution to a possibly nonlinear Backward Stochastic Differential Equation (BSDE). The expectation representing the solution of the BSDE is usually quite hard to compute even in a Markovian setting, and one might resort either to the discretization of the Partial Differential Equation characterizing it or to Monte Carlo Simulations. Both choices are computationally very expensive and in this paper we suggest an approximation method based on an appropriate change of numeraire and on a Taylor's polynomial expansion when intensities are represented by means of affine processes correlated with the asset's price. The numerical discussion at the end of this work shows that, at least in the case of the CIR intensity model, even the simple first-order approximation has a remarkable computational efficiency.


title: Lunar Terrain Relative Navigation Using a Convolutional Neural Network for Visual Crater Detection

abstract: Terrain relative navigation can improve the precision of a spacecraft's position estimate by detecting global features that act as supplementary measurements to correct for drift in the inertial navigation system. This paper presents a system that uses a convolutional neural network (CNN) and image processing methods to track the location of a simulated spacecraft with an extended Kalman filter (EKF). The CNN, called LunaNet, visually detects craters in the simulated camera frame and those detections are matched to known lunar craters in the region of the current estimated spacecraft position. These matched craters are treated as features that are tracked using the EKF. LunaNet enables more reliable position tracking over a simulated trajectory due to its greater robustness to changes in image brightness and more repeatable crater detections from frame to frame throughout a trajectory. LunaNet combined with an EKF produces a decrease of 60% in the average final position estimation error and a decrease of 25% in average final velocity estimation error compared to an EKF using an image processing-based crater detection method when tested on trajectories using images of standard brightness.


title: Failures of Contingent Thinking

abstract: In this paper, we provide a theoretical framework to analyze an agent who misinterprets or misperceives the true decision problem she faces. We show that a wide range of behavior observed in experimental settings manifest as failures to perceive implications, in other words, to properly account for the logical relationships between various payoff relevant contingencies. We present a behavioral definition of perceived implication, thereby providing an elicitation technique, and show that an agent's account of implication identifies a subjective state-space that underlies her behavior. By analyzing this state-space, we characterize distinct benchmarks of logical sophistication that drive empirical phenomena. We disentangle static and dynamic rationality. Thus, our framework delivers both a methodology for assessing an agent's level of contingent thinking and a strategy for identifying her beliefs in the absence full rationality.


title: On stochastic mirror descent with interacting particles: convergence properties and variance reduction

abstract: An open problem in optimization with noisy information is the computation of an exact minimizer that is independent of the amount of noise. A standard practice in stochastic approximation algorithms is to use a decreasing step-size. This however leads to a slower convergence. A second alternative is to use a fixed step-size and run independent replicas of the algorithm and average these. A third option is to run replicas of the algorithm and allow them to interact. It is unclear which of these options works best. To address this question, we reduce the problem of the computation of an exact minimizer with noisy gradient information to the study of stochastic mirror descent with interacting particles. We study the convergence of stochastic mirror descent and make explicit the tradeoffs between communication and variance reduction. We provide theoretical and numerical evidence to suggest that interaction helps to improve convergence and reduce the variance of the estimate.


title: A study of charm quark dynamics in quark-gluon plasma with 3+1 D viscous hydrodynamics

abstract: The drag and diffusion coefficients are studied within the framework of Fokker-Planck dynamics for the case of a charm quark propagating in an expanding quark-gluon plasma. The space-time evolution of the nuclear matter created in the relativistic heavy-ion collision is modelled using MUSIC, a 3+1 D relativistic viscous hydrodynamic approach. The effect of viscous corrections to the heavy quark transport coefficients is explored by considering scattering processes with thermal quarks and gluons in the medium. It is observed that the momentum diffusion of the heavy quarks is sensitive to the shear and bulk viscosity to entropy ratios. The collisional energy loss of the charm quark in the viscous quark-gluon plasma is analyzed.


title: Doubly Heavy Baryon Xi_cc Production in Upsilon (1S) Decay

abstract: Upsilon (1S) decay to Xi_cc +anything is studied. It is shown that the branching ratio can be as significant as that of Upsilon (1S) decay to J/Psi +anything. The non-relativistic heavy quark effective theory framework is employed for the calculation on the decay width. Measurements on the production of Xi_cc and likely production characteristic of the partonic state with four charm quarks at BELLE2 are suggested.


title: Nature of the DLA towards Q0528-250: High pressure and strong UV field revealed by excitation of CI, H2 and SiII

abstract: We present the detection of excited fine-structure energy levels of singly-ionized silicon and neutral carbon associated with the proximate damped Lyman-$\alpha$ system at $z_{\rm abs}=2.811$ towards \qso. This absorber has an apparent relative velocity that is inconsistent with the Hubble flow indicating motion along the line-of-sight towards the quasar, i.e., $z_{\rm abs}>z_{\rm em}$. We measure the metallicity of the system to be ${\rm [Zn/H]}=-0.68\pm 0.02$. Using the relative populations of the fine-structure levels of SiII and CI, as well as the populations of H$_2$ rotational levels, we constrain the physical conditions of the gas. We derive hydrogen number densities of $n_{\rm H}=190^{+70}_{-50}$ cm$^{-3}$ and $260^{+30}_{-20}$ cm$^{-3}$ in two velocity components where both CI and H$_2$ are detected. Taking into account the kinetic temperature in each component, $\sim 150$K, we infer high values of thermal pressure in the cold neutral medium probed by the observations. The strengths of the UV field in Draine's unit are $I_{\rm UV} = 10^{+5}_{-3}$ and $14^{+3}_{-3}$ in each of these two components, respectively. Such enhanced UV fluxes and thermal pressure compared to intervening DLAs are likely due to the proximity of the quasar. The typical size of the absorber is $\sim 10^4$ a.u. Assuming the UV flux is dominated by the quasar, we constrain the distance between the quasar and the absorber to be $\sim 150-200$ kpc. This favours a scenario where the absorption occurs in a companion galaxy located in the group where the quasar-host galaxy resides. This is in line with studies in emission that revealed the presence of several galaxies around the quasar.


title: Feeling the heat in a group of Heisenberg type

abstract: In this paper we use the heat equation in a group of Heisenberg type $\mathbb{G}$ to provide a unified treatment of the two very different extension problems for the time independent pseudo-differential operators $\mathscr L^s$ and $\mathscr L_s$, $0< s\leq 1$. Here, $\mathscr L^s$ is the fractional power of the horizontal Laplacian, and $\mathscr L_s$ is the conformal fractional power of the horizontal Laplacian on $\mathbb{G}$. One of our main objective is compute explicitly the fundamental solutions of these nonlocal operators by a new approach exclusively based on partial differential equations and semigroup methods. When $s=1$ our results recapture the famous fundamental solution found by Folland and generalised by Kaplan.


title: The Nilpotent Cone for Classical Lie Superalgebras

abstract: In this paper the authors introduce an analog of the nilpotent cone, ${\mathcal N}$, for a classical Lie superalgebra, ${\mathfrak g}$, that generalizes the definition for the nilpotent cone for semisimple Lie algebras. For a classical simple Lie superalgebra, ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$ with $\text{Lie }G_{\bar{0}}={\mathfrak g}_{\bar{0}}$, it is shown that there are finitely many $G_{\bar{0}}$-orbits on ${\mathcal N}$. Later the authors prove that the Duflo-Serganova commuting variety, ${\mathcal X}$, is contained in ${\mathcal N}$ for any classical simple Lie superalgebra. Consequently, our finiteness result generalizes and extends the work of Duflo-Serganova on the commuting variety. Further applications are given at the end of the paper.


title: Human $\neq$ AGI

abstract: Terms Artificial General Intelligence (AGI) and Human-Level Artificial Intelligence (HLAI) have been used interchangeably to refer to the Holy Grail of Artificial Intelligence (AI) research, creation of a machine capable of achieving goals in a wide range of environments. However, widespread implicit assumption of equivalence between capabilities of AGI and HLAI appears to be unjustified, as humans are not general intelligences. In this paper, we will prove this distinction.


title: Tractable Fragments of Temporal Sequences of Topological Information

abstract: In this paper, we focus on qualitative temporal sequences of topological information. We firstly consider the context of topological temporal sequences of length greater than 3 describing the evolution of regions at consecutive time points. We show that there is no Cartesian subclass containing all the basic relations and the universal relation for which the algebraic closure decides satisfiability. However, we identify some tractable subclasses, by giving up the relations containing the non-tangential proper part relation and not containing the tangential proper part relation. We then formalize an alternative semantics for temporal sequences. We place ourselves in the context of the topological temporal sequences describing the evolution of regions on a partition of time (i.e. an alternation of instants and intervals). In this context, we identify large tractable fragments.


title: Global hypoellipticity for a class of overdetermined systems of pseudo-differential operators on the torus

abstract: This article studies the global hypoellipticity of a class of overdetermined systems of pseudo-differential operators defined on the torus. The main goal consists in establishing connections between the global hypoellipticity of the system and the global hypoellipticity of its normal form. It is proved that an obstruction of number-theoretical nature appears as a necessary condition to the global hypoellipticity. Conversely, the sufficiency is approached ana\-lyzing three types of hypotheses: a H\"{o}rmander condition, logarithmic growth and super-logarithmic growth.


title: Proton beam self-modulation seeded by electron bunch in plasma with density ramp

abstract: Seeded self-modulation in a plasma can transform a long proton beam into a train of micro-bunches that can excite a strong wakefield over long distances, but this needs the plasma to have a certain density profile with a short-scale ramp up. For the parameters of the AWAKE experiment at CERN, we numerically study which density profiles are optimal if the self-modulation is seeded by a short electron bunch. With the optimal profiles, it is possible to "freeze" the wakefield at approximately half the wavebreaking level. High-energy electron bunches (160 MeV) are less efficient seeds than low-energy ones (18 MeV), because the wakefield of the former lasts longer than necessary for efficient seeding.


title: PVSNet: Pixelwise Visibility-Aware Multi-View Stereo Network

abstract: Recently, learning-based multi-view stereo methods have achieved promising results. However, they all overlook the visibility difference among different views, which leads to an indiscriminate multi-view similarity definition and greatly limits their performance on datasets with strong viewpoint variations. In this paper, a Pixelwise Visibility-aware multi-view Stereo Network (PVSNet) is proposed for robust dense 3D reconstruction. We present a pixelwise visibility network to learn the visibility information for different neighboring images before computing the multi-view similarity, and then construct an adaptive weighted cost volume with the visibility information. Moreover, we present an anti-noise training strategy that introduces disturbing views during model training to make the pixelwise visibility network more distinguishable to unrelated views, which is different with the existing learning methods that only use two best neighboring views for training. To the best of our knowledge, PVSNet is the first deep learning framework that is able to capture the visibility information of different neighboring views. In this way, our method can be generalized well to different types of datasets, especially the ETH3D high-res benchmark with strong viewpoint variations. Extensive experiments show that PVSNet achieves the state-of-the-art performance on different datasets.


title: Polymorphism of superionic ice

abstract: Water is abundant in natural environments but the form it resides in planetary interiors remains uncertain. We report combined synchrotron X-ray diffraction and optical spectroscopy measurements of H2O in the laser-heated diamond anvil cell up to 150 gigapascals (GPa) and 6500 kelvin (K) that reveal first-order transitions to ices with body-centered cubic (bcc) and face-centered cubic (fcc) oxygen lattices above 900 (1300) K and 20 (29) GPa, respectively. We assigned these structures to theoretically predicted superionic phases based on the distinct density, increased optical conductivity, and greatly decreased enthalpies of fusion. Our measurements address current discrepancies between theoretical predictions and various static/dynamic experiments on the existence and location of melting curve and superionic phase(s) in the pressure-temperature phase diagram indicating a possible presence of the conducting fcc-superionic phase in water-rich giant planets, such as Neptune and Uranus.


title: Role of the impact parameter in exoplanet transmission spectroscopy

abstract: Transmission spectroscopy is a promising tool for the atmospheric characterization of transiting exoplanets. Because the planetary signal is faint, discrepancies have been reported regarding individual targets. We investigate the dependence of the estimated transmission spectrum on deviations of the orbital parameters of the star-planet system that are due to the limb-darkening effects of the host star. We describe how the uncertainty on the orbital parameters translates into an uncertainty on the planetary spectral slope. We created synthetic transit light curves in seven different wavelength bands, from the near-ultraviolet to the near-infrared, and fit them with transit models parameterized by fixed deviating values of the impact parameter $b$. Our simulations show a wavelength-dependent offset that is more pronounced at the blue wavelengths where the limb-darkening effect is stronger. This offset introduces a slope in the planetary transmission spectrum that becomes steeper with increasing $b$ values. Variations of $b$ by positive or negative values within its uncertainty interval introduce positive or negative slopes, thus the formation of an error envelope. The amplitude from blue optical to near-infrared wavelength for a typical uncertainty on $b$ corresponds to one atmospheric pressure scale height and more. This impact parameter degeneracy is confirmed for different host types; K stars present prominently steeper slopes, while M stars indicate features at the blue wavelengths. We demonstrate that transmission spectra can be hard to interpret, basically because of the limitations in defining a precise impact parameter value for a transiting exoplanet. This consequently limits a characterization of its atmosphere.


title: Effective equation of state in modified gravity and observational constraints

abstract: In this article, the bulk viscosity is introduced in a modified gravity model. The gravitational action has a general $f(R,T)$ form, where $R$ and $ T $ are the curvature scalar and the trace of energy momentum tensor respectively. An effective equation of state (EoS) has been investigated in the cosmological evolution with bulk viscosity. In the present scenario, the Hubble parameter which has a scaling relation with the redshift can be obtained generically. The role of deceleration parameter $q$ and equation of state parameter $\omega $ is discussed to explain the late-time accelerating expansion of the universe. The statefinder parameters and Om diagnostic analysis are discussed for our obtained model to distinguish from other dark energy models together with the analysis of energy conditions and velocity of sound for the model. We have also numerically investigated the model by detailed maximum likelihood analysis of $580$ Type Ia supernovae from Union $ 2.1$ compilation datasets and updated $57$ Hubble datasets ($31$ data points from differential age method and $26$ points from BAO and other methods). It is with efforts found that the present model is in good agreement with observations.


title: On Indexing and Compressing Finite Automata

abstract: An index for a finite automaton is a powerful data structure that supports locating paths labeled with a query pattern, thus solving pattern matching on the underlying regular language. In this paper, we solve the long-standing problem of indexing arbitrary finite automata. Our solution consists in finding a partial co-lexicographic order of the states and proving, as in the total order case, that states reached by a given string form one interval on the partial order, thus enabling indexing. We provide a lower bound stating that such an interval requires $O(p)$ words to be represented, $p$ being the order's width (i.e. the size of its largest antichain). Indeed, we show that $p$ determines the complexity of several fundamental problems on finite automata: (i) Letting $\sigma$ be the alphabet size, we provide an encoding for NFAs using $\lceil\log \sigma\rceil + 2\lceil\log p\rceil + 2$ bits per transition and a smaller encoding for DFAs using $\lceil\log \sigma\rceil + \lceil\log p\rceil + 2$ bits per transition. This is achieved by generalizing the Burrows-Wheeler transform to arbitrary automata. (ii) We show that indexed pattern matching can be solved in $\tilde O(m\cdot p^2)$ query time on NFAs. (iii) We provide a polynomial-time algorithm to index DFAs, while matching the optimal value for $ p $. On the other hand, we prove that the problem is NP-hard on NFAs. (iv) We show that, in the worst case, the classic powerset construction algorithm for NFA determinization generates an equivalent DFA of size $2^p(n-p+1)-1$, where $n$ is the number of NFA's states.


title: Monte Carlo Simulation Variance Reduction Techniques for Photon Transport in Liquid Xenon Detectors

abstract: Monte Carlo simulations are a crucial tool for the analysis and prediction of various background components in liquid xenon (LXe) detectors. With improving shielding in new experiments, the simulation of external backgrounds, such as induced by gamma rays from detector materials, gets more computationally expensive. We introduce and validate an accelerated Monte Carlo simulation technique for photon transport in liquid xenon detectors. The method simulates photon-induced interactions within a defined geometry and energy range with high statistics while interactions outside of the region of interest are not simulated directly but are taken into account by means of probability weights. For a simulation of gamma induced backgrounds in an exemplary detector geometry we achieve a three orders of magnitude acceleration compared to a standard simulation of a current ton-scale LXe dark matter experiment.


title: An $\tilde{O}(n^{5/4})$ Time $\varepsilon$-Approximation Algorithm for RMS Matching in a Plane

abstract: The 2-Wasserstein distance (or RMS distance) is a useful measure of similarity between probability distributions that has exciting applications in machine learning. For discrete distributions, the problem of computing this distance can be expressed in terms of finding a minimum-cost perfect matching on a complete bipartite graph given by two multisets of points $A,B \subset \mathbb{R}^2$, with $|A|=|B|=n$, where the ground distance between any two points is the squared Euclidean distance between them. Although there is a near-linear time relative $\varepsilon$-approximation algorithm for the case where the ground distance is Euclidean (Sharathkumar and Agarwal, JACM 2020), all existing relative $\varepsilon$-approximation algorithms for the RMS distance take $\Omega(n^{3/2})$ time. This is primarily because, unlike Euclidean distance, squared Euclidean distance is not a metric. In this paper, for the RMS distance, we present a new $\varepsilon$-approximation algorithm that runs in $O(n^{5/4}\mathrm{poly}\{\log n,1/\varepsilon\})$ time. Our algorithm is inspired by a recent approach for finding a minimum-cost perfect matching in bipartite planar graphs (Asathulla et al., TALG 2020). Their algorithm depends heavily on the existence of sub-linear sized vertex separators as well as shortest path data structures that require planarity. Surprisingly, we are able to design a similar algorithm for a complete geometric graph that is far from planar and does not have any vertex separators. Central components of our algorithm include a quadtree-based distance that approximates the squared Euclidean distance and a data structure that supports both Hungarian search and augmentation in sub-linear time.


title: Online Generalized Network Design Under (Dis)Economies of Scale

abstract: We consider a general online network design problem where a sequence of N requests arrive over time, each of which needs to use some subset of the available resources E. The cost incurred by any resource e is some function $f_e$ of the total load $L_e$ on that resource. The objective is to minimize the total cost $\sum_{e\in E} f_e(L_e)$. We focus on cost functions that exhibit (dis)economies of scale, that are of the form $f_e(x) = \sigma_e + \xi_e\cdot x^{\alpha_e}$ if $x>0$ (and zero if $x=0$), where the exponent $\alpha_e\ge 1$. Optimization problems under these functions have received significant recent attention due to applications in energy-efficient computing. Our main result is a deterministic online algorithm with tight competitive ratio $\Theta\left(\max_{e\in E} \left(\frac{\sigma_e}{\xi_e}\right)^{1/\alpha_e}\right)$ when $\alpha_e$ is constant for all $e\in E$. This framework is applicable to a variety of network design problems in undirected and directed graphs, including multicommodity routing, Steiner tree/forest connectivity and set-connectivity. In fact, our online competitive ratio even matches the previous-best (offline) approximation ratio for generalized network design.


title: Remarkable effects of dopant valency $-$ a comparative study of CaBaCo$_{3.96}$Cr$_{0.04}$O$_7$ and CaBaCo$_{3.96}$Ni$_{0.04}$O$_7$

abstract: Distinctive effects of dopant valency is discussed using an impurity level 1% doping each of Cr$^{3+}$ and Ni$^{2+}$ in CaBaCo$_4$O$_7$. Through a comparative study of the magnetic and dielectric properties of multiferroic CaBaCo$_{3.96}$Cr$_{0.04}$O$_7$ and CaBaCo$_{3.96}$Ni$_{0.04}$O$_7$, we highlight that Cr doping does not significantly alter the properties in spite of differences in magnetic spin and ionic radius compared to Co$^{3+}$ and Co$^{2+}$ while Ni doping induces spectacular changes. Particularly, a manifold increase of electric polarization change up to 650 ${\rm \mu}$C/m$^2$ at 5.6 kV/cm is observed in CaBaCo$_{3.96}$Ni$_{0.04}$O$_7$ compared to CaBaCo$_{3.96}$Cr$_{0.04}$O$_7$ and a stronger magnetoelectric coupling leading to a polarization change of $\sim$ 12% in 15 T magnetic field and below 40 K. Further, magnetodielectric effects hint to competing magnetic phases over the temperature range of magnetic transitions. We discuss the observed disparity in the light of a possible site selective doping of Cr$^{3+}$ and Ni$^{2+}$ in the triangular and kagom\'e layers, respectively, of the parent compound.


title: Focus-and-Expand: Training Guidance Through Gradual Manipulation of Input Features

abstract: We present a simple and intuitive Focus-and-eXpand (\fax) method to guide the training process of a neural network towards a specific solution. Optimizing a neural network is a highly non-convex problem. Typically, the space of solutions is large, with numerous possible local minima, where reaching a specific minimum depends on many factors. In many cases, however, a solution which considers specific aspects, or features, of the input is desired. For example, in the presence of bias, a solution that disregards the biased feature is a more robust and accurate one. Drawing inspiration from Parameter Continuation methods, we propose steering the training process to consider specific features in the input more than others, through gradual shifts in the input domain. \fax extracts a subset of features from each input data-point, and exposes the learner to these features first, Focusing the solution on them. Then, by using a blending/mixing parameter $\alpha$ it gradually eXpands the learning process to include all features of the input. This process encourages the consideration of the desired features more than others. Though not restricted to this field, we quantitatively evaluate the effectiveness of our approach on various Computer Vision tasks, and achieve state-of-the-art bias removal, improvements to an established augmentation method, and two examples of improvements to image classification tasks. Through these few examples we demonstrate the impact this approach potentially carries for a wide variety of problems, which stand to gain from understanding the solution landscape.


title: Scalable Bayesian modeling for smoothing disease risks in large spatial data sets

abstract: Several methods have been proposed in the spatial statistics literature for the analysis of big data sets in continuous domains. However, new methods for analyzing high-dimensional areal data are still scarce. Here, we propose a scalable Bayesian modeling approach for smoothing mortality (or incidence) risks in high-dimensional data, that is, when the number of small areas is very large. The method is implemented in the R add-on package bigDM. Model fitting and inference is based on the idea of "divide and conquer" and use integrated nested Laplace approximations and numerical integration. We analyze the proposal's empirical performance in a comprehensive simulation study that consider two model-free settings. Finally, the methodology is applied to analyze male colorectal cancer mortality in Spanish municipalities showing its benefits with regard to the standard approach in terms of goodness of fit and computational time.


title: Constraining the dense matter equation-of-state with radio pulsars

abstract: Radio pulsars provide some of the most important constraints for our understanding of matter at supranuclear densities. So far, these constraints are mostly given by precision mass measurements of neutron stars (NS). By combining single measurements of the two most massive pulsars, J0348$+$0432 and J0740$+$6620, the resulting lower limit of 1.98 $M_\odot$ (99% confidence) of the maximum NS mass, excludes a large number of equations of state (EOSs). Further EOS constraints, complementary to other methods, are likely to come from the measurement of the moment of inertia (MOI) of binary pulsars in relativistic orbits. The Double Pulsar, PSR J0737$-$3039A/B, is the most promising system for the first measurement of the MOI via pulsar timing. Reviewing this method, based in particular on the first MeerKAT observations of the Double Pulsar, we provide well-founded projections into the future by simulating timing observations with MeerKAT and the SKA. For the first time, we account for the spin-down mass loss in the analysis. Our results suggest that an MOI measurement with 11% accuracy (68% confidence) is possible by 2030. If by 2030 the EOS is sufficiently well known, however, we find that the Double Pulsar will allow for a 7% test of Lense-Thirring precession, or alternatively provide a $\sim3\sigma$-measurement of the next-to-leading order gravitational wave damping in GR. Finally, we demonstrate that potential new discoveries of double NS systems with orbital periods shorter than that of the Double Pulsar promise significant improvements in these measurements and the constraints on NS matter.


title: Integration by Parts and the KPZ Two-Point Function

abstract: In this article we consider the KPZ fixed point starting from a two-sided Brownian motion with an arbitrary diffusion coefficient. We apply the integration by parts formula from Malliavin calculus to establish a key relation between the two-point (covariance) function of the spatial derivative process and the location of the maximum of an Airy process plus Brownian motion minus a parabola. Integration by parts also allows us to deduce the density of this location in terms of the second derivative of the variance of the KPZ fixed point. In the stationary regime, we find the same density related to limit fluctuations of a second-class particle. We further develop an adaptation of Stein's method that implies asymptotic independence of the spatial derivative process from the initial data.


title: Discrete Lebedev's index transforms

abstract: Discrete analogs of the Lebedev transforms with the product of the modified Bessel functions are introduced and investigated. Several expansions of suitable functions and sequences in terms of the series and integrals, involving the modified and incomplete Bessel functions are established.


title: Dual Past and Future for Neural Machine Translation

abstract: Though remarkable successes have been achieved by Neural Machine Translation (NMT) in recent years, it still suffers from the inadequate-translation problem. Previous studies show that explicitly modeling the Past and Future contents of the source sentence is beneficial for translation performance. However, it is not clear whether the commonly used heuristic objective is good enough to guide the Past and Future. In this paper, we present a novel dual framework that leverages both source-to-target and target-to-source NMT models to provide a more direct and accurate supervision signal for the Past and Future modules. Experimental results demonstrate that our proposed method significantly improves the adequacy of NMT predictions and surpasses previous methods in two well-studied translation tasks.


title: Attention as Activation

abstract: Activation functions and attention mechanisms are typically treated as having different purposes and have evolved differently. However, both concepts can be formulated as a non-linear gating function. Inspired by their similarity, we propose a novel type of activation units called attentional activation (ATAC) units as a unification of activation functions and attention mechanisms. In particular, we propose a local channel attention module for the simultaneous non-linear activation and element-wise feature refinement, which locally aggregates point-wise cross-channel feature contexts. By replacing the well-known rectified linear units by such ATAC units in convolutional networks, we can construct fully attentional networks that perform significantly better with a modest number of additional parameters. We conducted detailed ablation studies on the ATAC units using several host networks with varying network depths to empirically verify the effectiveness and efficiency of the units. Furthermore, we compared the performance of the ATAC units against existing activation functions as well as other attention mechanisms on the CIFAR-10, CIFAR-100, and ImageNet datasets. Our experimental results show that networks constructed with the proposed ATAC units generally yield performance gains over their competitors given a comparable number of parameters.


title: A geometry-independent moment correction method for the Magnetic Property Measurement 3 Superconducting Quantum Interference Device-Vibrating Sample Magnetometer

abstract: The sensitivity and automation capabilities of modern superconducting quantum interference device (SQUID) magnetometers are currently unmatched. The measured moment values are, however, prone to deviations from their actual value due to geometric effects, namely sample size, shape, and radial offset. This is well known, and a knowledgeable operator will correct measured moment values taking these effects into account. The current procedure for the Magnetic Property Measurement 3 (MPMS3) magnetometer is based on an available simulation tool, valid for both Vibrating Sample Magnetometer (VSM) and Direct Current (DC) methods. Still, determining the correction factor requires samples with well-defined geometric shapes together with accurate sample dimensions and the usually difficult to determine radial offset. Additionally, at the moment, there is not a proper solution to correct geometry effects of irregular shaped samples. In this work, we find a systematic relation between the difference between the VSM and DC measurements and their corresponding correction factors for MPMS3 SQUID-VSM device. This relation follows a clear trend, independent of sample size, shape or radial offset, for a given pair of DC scan length and VSM amplitude values. Exploiting this trend, a geometry-independent correction method is here presented and validated by measurements of metallic Fe powder using a far from optimal sample mounting.


title: A posteriori error estimates for fully coupled McKean-Vlasov forward-backward SDEs

abstract: Fully coupled McKean-Vlasov forward-backward stochastic differential equations (MV-FBSDEs) arise naturally from large population optimization problems. Judging the quality of given numerical solutions for MV-FBSDEs, which usually require Picard iterations and approximations of nested conditional expectations, is typically difficult. This paper proposes an a posteriori error estimator to quantify the $L^2$-approximation error of an arbitrarily generated approximation on a time grid. We establish that the error estimator is equivalent to the global approximation error between the given numerical solution and the solution of a forward Euler discretized MV-FBSDE. A crucial and challenging step in the analysis is the proof of stability of this Euler approximation to the MV-FBSDE, which is of independent interest. We further demonstrate that, for sufficiently fine time grids, the accuracy of numerical solutions for solving the continuous MV-FBSDE can also be measured by the error estimator. The error estimates justify the use of residual-based algorithms for solving MV-FBSDEs. Numerical experiments for MV-FBSDEs arising from mean field control and games confirm the effectiveness and practical applicability of the error estimator.


title: Lifelong Learning of Compositional Structures

abstract: A hallmark of human intelligence is the ability to construct self-contained chunks of knowledge and adequately reuse them in novel combinations for solving different yet structurally related problems. Learning such compositional structures has been a significant challenge for artificial systems, due to the combinatorial nature of the underlying search problem. To date, research into compositional learning has largely proceeded separately from work on lifelong or continual learning. We integrate these two lines of work to present a general-purpose framework for lifelong learning of compositional structures that can be used for solving a stream of related tasks. Our framework separates the learning process into two broad stages: learning how to best combine existing components in order to assimilate a novel problem, and learning how to adapt the set of existing components to accommodate the new problem. This separation explicitly handles the trade-off between the stability required to remember how to solve earlier tasks and the flexibility required to solve new tasks, as we show empirically in an extensive evaluation.


title: The Isoline Tracking in Unknown Scalar Fields with Concentration Feedback

abstract: The isoline tracking of this work is concerned with the control design for a sensing vehicle to track a desired isoline of an unknown scalar field. To this end, we propose a simple PI-like controller for a Dubins vehicle in the GPS-denied environments. Our key idea lies in the design of a novel sliding surface based error in the standard PI controller. For the circular field, we show that the P-like controller can globally regulate the vehicle to the desired isoline with the steady-state error that can be arbitrarily reduced by increasing the P gain, and is eliminated by the PI-like controller. For any smoothing field, the P-like controller is able to achieve the local regulation. Then, it is extended to the cases of a single-integrator vehicle and a doubleintegrator vehicle, respectively. Finally, the effectiveness and advantages of our approaches are validated via simulations on the fixed-wing UAV and quadrotor simulators.


title: Signal Fluctuations and the Information Transmission Rates in Binary Communication Channels

abstract: In nervous system information is conveyed by sequence of action potentials (spikes-trains). As MacKay and McCulloch proposed, spike-trains can be represented as bits sequences coming from Information Sources. Previously, we studied relations between Information Transmission Rates (ITR) carried out by the spikes, their correlations, and frequencies. Here, we concentrate on the problem of how spikes fluctuations affect ITR. The Information Theory Method developed by Shannon is applied. Information Sources are modeled as stationary stochastic processes. We assume such sources as two states Markov processes. As a spike-trains' fluctuation measure, we consider the Standard Deviation SD, which, in fact, measures average fluctuation of spikes around the average spike frequency. We found that character of ITR and signal fluctuations relation strongly depends on parameter s which is a sum of transitions probabilities from no spike state to spike state and vice versa. It turned out that for smaller s (s<1) the quotient ITR/SD has a maximum and can tend to zero depending on transition probabilities. While for s large enough 1<s the ITR/SD is separated from 0 for each s. Similar behavior was observed when we replaced Shannon entropy terms in Markov entropy formula by their approximation with polynomials. We also show that the ITR quotient by Variance behaves in a completely different way. We show that for large transition parameter s the Information Transmission Rate by SD will never decrease to 0. Specifically, for 1<s<1.7 the ITR will be always, independently on transition probabilities which form this s, above the level of fluctuations, i.e. we have SD<ITR. We conclude that in a more noisy environment, to get appropriate reliability and efficiency of transmission, Information Sources with higher tendency of transition from the state no spike to spike state and vice versa should be applied.


title: Stretching and Rotation of Planar Quasiconformal Mappings on a Line

abstract: In this article, we examine stretching and rotation of planar quasiconformal mappings on a line. We show that for almost every point on the line, the set of complex stretching exponents (describing stretching and rotation jointly) is contained in the disk $ \overline{B}(1/(1-k^4),k^2/(1-k^4))$. This yields a quadratic improvement over the known optimal estimate for general sets of Hausdorff dimension $1$. Our proof is based on holomorphic motions and estimates for dimensions of quasicircles. We also give a lower bound for the dimension of the image of a $1$-dimensional subset of a line under a quasiconformal mapping.


title: The natural polyphenol fortunellin and its structural analogs are inhibitors of the SARS-CoV-2 main proteinase dimerization, as revealed by molecular simulation studies

abstract: 3CL-Pro (or M-Pro) is the SARS-CoV-2 main protease, acting as a homodimer, is responsible for the cleavage of the large polyprotein 1ab transcript in proteins acting on viral growth and replication. 3CL-Pro has been one of the most studied SARS-CoV-2 proteins and the subject of therapeutic interventions, targeting its catalytic domain. A number of drug candidates have been reported, including some natural products. Here, we investigated in silico, through binding and molecular dynamics simulations, the natural product space for the identification of candidates of 3CL-Pro dimerization inhibitors. We report that fortunellin (acacetin 7-O-neohesperidoside), a natural flavonoid O-glycoside, is a potent inhibitor of 3CL-Pro dimerization. A search of the ZINC natural products database identified another 16 related molecules, including apilin and rhoifolin, with interesting pharmacological properties. We propose that fortunellin and its structural analogs might be the basis of novel pharmaceuticals and dietary supplements against SARS-CoV-2 induced COVID-19 disease.


title: How Retroactivity Affects the Behavior of Incoherent Feed-Forward Loops

abstract: An incoherent feed-forward loop (IFFL) is a network motif known for its ability to accelerate responses and generate pulses. Though functions of IFFLs are well studied, most previous computational analysis of IFFLs used ordinary differential equation (ODE) models where retroactivity, the effect downstream binding sites exert on the dynamics of an upstream transcription factor (TF), was not considered. It remains an open question to understand the behavior of IFFLs in contexts with high levels of retroactivity, e.g., in cells transformed/transfected with high-copy plasmids, or in eukaryotic cells where a TF binds to numerous high-affinity binding sites in addition to one or more functional target sites. Here we study the behavior of IFFLs by simulating and comparing ODE models with different levels of retroactivity. We find that increasing retroactivity in an IFFL can increase, decrease, or keep the network's response time and pulse amplitude constant. This suggests that increasing retroactivity, traditionally considered as an impediment to designing robust synthetic systems, could be exploited to improve the performance of IFFLs. We compare the behaviors of IFFLs to negative autoregulatory loops, another sign-sensitive response-accelerating network motif, and find that increasing retroactivity in a negative autoregulated circuit can only slow the response. The inability of a negative autoregulatory loop to flexibly handle retroactivity may have contributed to its lower abundance in eukaryotic relative to bacterial regulatory networks, a sharp contrast to the significant abundance of IFFLs in both cell types.


title: Adapting the Directed Grid Theorem into an FPT Algorithm

abstract: The Grid Theorem of Robertson and Seymour [JCTB, 1986], is one of the most important tools in the field of structural graph theory, finding numerous applications in the design of algorithms for undirected graphs. An analogous version of the Grid Theorem in digraphs was conjectured by Johnson et al. [JCTB, 2001], and proved by Kawarabayashi and Kreutzer [STOC, 2015]. Namely, they showed that there is a function $f(k)$ such that every digraph of directed tree-width at least $f(k)$ contains a cylindrical grid of size $k$ as a butterfly minor and stated that their proof can be turned into an XP algorithm, with parameter $k$, that either constructs a decomposition of the appropriate width, or finds the claimed large cylindrical grid as a butterfly minor. In this paper, we adapt some of the steps of the proof of Kawarabayashi and Kreutzer to improve this XP algorithm into an FPT algorithm. Towards this, our main technical contributions are two FPT algorithms with parameter $k$. The first one either produces an arboreal decomposition of width $3k-2$ or finds a haven of order $k$ in a digraph $D$, improving on the original result for arboreal decompositions by Johnson et al. The second algorithm finds a well-linked set of order $k$ in a digraph $D$ of large directed tree-width. As tools to prove these results, we show how to solve a generalized version of the problem of finding balanced separators for a given set of vertices $T$ in FPT time with parameter $|T|$, a result that we consider to be of its own interest.


title: A constraint on light primordial black holes from the interstellar medium temperature

abstract: Primordial black holes are a viable dark matter candidate. They decay via Hawking evaporation. Energetic particles from the Hawking radiation interact with interstellar gas, depositing their energy as heat and ionization. For a sufficiently high Hawking temperature, fast electrons produced by black holes deposit a substantial fraction of energy as heat through the Coulomb interaction. Using the dwarf galaxy Leo T, we place an upper bound on the fraction of primordial black hole dark matter. For $M < 5 \times 10^{-17} M_\odot$, our bound is competitive with or stronger than other bounds.


title: Deep Representation Learning and Clustering of Traffic Scenarios

abstract: Determining the traffic scenario space is a major challenge for the homologation and coverage assessment of automated driving functions. In contrast to current approaches that are mainly scenario-based and rely on expert knowledge, we introduce two data driven autoencoding models that learn a latent representation of traffic scenes. First is a CNN based spatio-temporal model that autoencodes a grid of traffic participants' positions. Secondly, we develop a pure temporal RNN based model that auto-encodes a sequence of sets. To handle the unordered set data, we had to incorporate the permutation invariance property. Finally, we show how the latent scenario embeddings can be used for clustering traffic scenarios and similarity retrieval.


title: Duality arguments for linear elasticity problems with incompatible deformation fields

abstract: We prove existence and uniqueness for solutions to equilibrium problems for free-standing, traction-free, non homogeneous crystals in the presence of plastic slips. Moreover we prove that this class of problems is closed under G-convergence of the operators. In particular the homogenization procedure, valid for elliptic systems in linear elasticity, depicts the macroscopic features of a composite material in the presence of plastic deformation.


title: Miscibility and wettability: how interfacial tension influences droplet impact onto thin wall films

abstract: The influence of miscibility and liquid wettability during droplet impact onto thin wall films is investigated experimentally. Despite similar liquid properties and impact conditions, differences in the splashing limit, the crown extension and the duration of the ascending phase are observed. These differences are related to the interfacial tension of the droplet/wall-film liquid pairs, which is linked to their miscibility and wettability. More precisely, by calculating the crown surface energy, we show that the energy stored in the interface between droplet and wall-film (if any) is not negligible and leads to smaller crown extensions and the need of more kinetic energy to initiate splashing. Similarly, by calculating a modified capillary time taking into account all surface and interfacial tensions, we show that the interfacial tension acts as a non-negligible recoiling force, which reduces the duration of the ascending phase. The dynamics of this ascending phase is well captured for different wall-film thicknesses if accounting for the variations of the liquid masses in movement. Overall, droplet/wall-film interactions can be seen as inertio-capillary systems where the interfacial tension between droplet and wall film plays a significant role in the storage of energy and in the crown kinetics during the impact process. Besides, this analysis highlights that viscous losses have already a significant effect during the crown extension phase, by dissipating almost half of the initial energies for droplet impact onto thin wall films, and most likely by influencing the capillary time scale through damping.


title: Finding Non-Uniform Quantization Schemes using Multi-Task Gaussian Processes

abstract: We propose a novel method for neural network quantization that casts the neural architecture search problem as one of hyperparameter search to find non-uniform bit distributions throughout the layers of a CNN. We perform the search assuming a Multi-Task Gaussian Processes prior, which splits the problem to multiple tasks, each corresponding to different number of training epochs, and explore the space by sampling those configurations that yield maximum information. We then show that with significantly lower precision in the last layers we achieve a minimal loss of accuracy with appreciable memory savings. We test our findings on the CIFAR10 and ImageNet datasets using the VGG, ResNet and GoogLeNet architectures.


title: Minimal Length Effects on Motion of a Particle in Rindler Space

abstract: Various quantum theories of gravity predict the existence of a minimal measurable length. In this paper, we study effects of the minimal length on the motion of a particle in the Rindler space under a harmonic potential. This toy model captures key features of particle dynamics near a black hole horizon, and allows us to make three observations. First, we find that the chaotic behavior is stronger with the increases of the minimal length effects, which manifests that the maximum Lyapunov characteristic exponents mostly grow, and the KAM curves on Poincar\'{e} surfaces of section tend to disintegrate into chaotic layers. Second, in the presence of the minimal length effects, it can take a finite amount of Rindler time for a particle to cross the Rindler horizon, which implies a shorter scrambling time of black holes. Finally, it shows that some Lyapunov characteristic exponents can be greater than the surface gravity of the horizon, violating the recently conjectured universal upper bound. In short, our results reveal that quantum gravity effects may make black holes prone to more chaos and faster scrambling.


title: Literature Review of Constructivism in Online Science Courses

abstract: Reform movements in science education, such as inquiry-based instruction, have been heavily influenced by constructivist learning theories (National Research Council, 2000). These learning theories place the learner as the sole constructor of knowledge and emphasize the importance of the learner's inquiry process (Yilmaz, 2008). In constructivist inquiry-based science education, lab experiences frequently play an important role in instruction as they provide students with opportunities to observe and make sense of the world around them (National Research Council, 2000), which raises the question of how inquiry-based science instruction can be translated to online environments. There are several models for lab experiences in online science courses, including hands-on labs where students directly manipulate materials, remote labs where students manipulate materials through a computer, and virtual labs and simulations where students work with simulated materials (Powell, et al., 2010). Hands-on labs play an important role, especially given constructivist views that students construct meaning by making observations of the world around them, but there is evidence that simulated and virtual labs can play an important role and may even be better suited to some instructional goals than hands-on labs. Constructivist instruction also requires students to make their process visible and teachers to be responsive to student thinking, both of which are more challenging in online environments (Crippen, et al., 2013). However, with intentional design, these features can be incorporated into online science courses (Jaber, et al., 2018; Jang, 2009).


title: 2-local derivations on the Jacobson-Witt algebras in prime characteristic

abstract: This paper initiates the study of 2-local derivations on Lie algebras over fields of prime characteristic. Let $\mathfrak{g}$ be a simple Jacobson-Witt algebra $W_n$ over a field of prime characteristic $p$ with cardinality no less than $p^n$. In this paper, we study properties of 2-local derivations on $\mathfrak{g}$, and show that every 2-local derivation on $\mathfrak{g}$ is a derivation.


title: Preliminary Results from a Peer-Led, Social Network Intervention, Augmented by Artificial Intelligence to Prevent HIV among Youth Experiencing Homelessness

abstract: Each year, there are nearly 4 million youth experiencing homelessness (YEH) in the United States with HIV prevalence ranging from 3 to 11.5%. Peer change agent (PCA) models for HIV prevention have been used successfully in many populations, but there have been notable failures. In recent years, network interventionists have suggested that these failures could be attributed to PCA selection procedures. The change agents themselves who are selected to do the PCA work can often be as important as the messages they convey. To address this concern, we tested a new PCA intervention for YEH, with three arms: (1) an arm using an artificial intelligence (AI) planning algorithm to select PCA, (2) a popularity arm--the standard PCA approach--operationalized as highest degree centrality (DC), and (3) an observation only comparison group (OBS). PCA models that promote HIV testing, HIV knowledge, and condom use are efficacious for YEH. Both the AI and DC arms showed improvements over time. AI-based PCA selection led to better outcomes and increased the speed of intervention effects. Specifically, the changes in behavior observed in the AI arm occurred by 1 month, but not until 3 months in the DC arm. Given the transient nature of YEH and the high risk for HIV infection, more rapid intervention effects are desirable.


title: Satellite-to-Earth Quantum Key Distribution via Orbital Angular Momentum

abstract: In this work, we explore the feasibility of performing satellite-to-Earth quantum key distribution (QKD) using the orbital angular momentum (OAM) of light. Due to the fragility of OAM states the conventional wisdom is that turbulence would render OAM-QKD non-viable in a satellite-to-Earth channel. However, based on detailed phase screen simulations of the anticipated atmospheric turbulence we find that OAM-QKD is viable in some system configurations, especially if quantum channel information is utilized in the processing of post-selected states. More specifically, using classically entangled light as a probe of the quantum channel, and reasonably-sized transmitter-receiver apertures, we find that non-zero QKD rates are achievable on sea-level ground stations. Without using classical light probes, OAM-QKD is relegated to high-altitude ground stations with large receiver apertures. Our work represents the first quantitative assessment of the performance of OAM-QKD from satellites, showing under what circumstances the much-touted higher dimensionality of OAM can be utilized in the context of secure communications.


title: On-the-fly construction of surrogate constitutive models for concurrent multiscale mechanical analysis through probabilistic machine learning

abstract: Concurrent multiscale finite element analysis (FE2) is a powerful approach for high-fidelity modeling of materials for which a suitable macroscopic constitutive model is not available. However, the extreme computational effort associated with computing a nested micromodel at every macroscopic integration point makes FE2 prohibitive for most practical applications. Constructing surrogate models able to efficiently compute the microscopic constitutive response is therefore a promising approach in enabling concurrent multiscale modeling. This work presents a reduction framework for adaptively constructing surrogate models based on statistical learning. The nested micromodels are replaced by a machine learning surrogate model based on Gaussian Processes (GP). The need for offline data collection is bypassed by training the GP models online based on data coming from a small set of fully-solved anchor micromodels that undergo the same strain history as their associated macro integration points. The Bayesian formalism inherent to GP models provides a natural tool for uncertainty estimation through which new observations or inclusion of new anchors are triggered. The surrogate constitutive manifold is constructed with as few micromechanical evaluations as possible by enhancing the GP models with gradient information and the solution scheme is made robust through a greedy data selection approach embedded within the conventional finite element solution loop for nonlinear analysis. The sensitivity to model parameters is studied with a tapered bar example with plasticity, while the applicability of the model to more complex cases is demonstrated with the elastoplastic analysis of a plate with multiple cutouts and a crack growth example for mixed-mode bending. Significant efficiency gains are obtained without resorting to offline training.


title: Searching for modified gravity in the astrophysical gravitational wave background: Application to ground-based interferometers

abstract: We investigate how the propagation of an astrophysical gravitational wave background (AGWB) is modified over cosmological volumes when considering theories beyond general relativity of the type Horndeski gravity. We first deduce an amplitude correction on the AGWB induced for the presence of a possible running in the Planck mass. Then, we apply the spectral noise density from some ground-based interferometers, namely, the Advanced LIGO (aLIGO), Einstein Telescope (ET) and Cosmic Explore (CE), to evaluate the signal-to-noise ratio (SNR) as a function of the amplitude of the running of the Planck mass for two different scenarios. We find that for observation time period $\gtrsim$ 5 yrs and $\gtrsim$ 1 yr, we can have a significant signal of the AGWB in the band [1-100] Hz from the ET and CE sensitivity, respectively. Using Fisher information, we find some forecast bounds, and we deduce $\lesssim$ 27\% and $\lesssim$ 18\% correction at 1$\sigma$ confidence level on the amplitude of the running of the Planck mass from ET and CE, respectively. It is clear that a detection of a AGWB in future can open a new window to probe the nature of gravity with good accuracy.


title: Secondary Studies in the Academic Context: A Systematic Mapping and Survey

abstract: Context: Several researchers have reported their experiences in applying secondary studies (Systematic Literature Reviews - SLRs and Systematic Mappings - SMs) in Software Engineering (SE). However, there is still a lack of studies discussing the value of performing secondary studies in an academic context. Goal: The main goal of this study is to provide an overview on the use of secondary studies in an academic context. Method: Two empirical research methods were used. Initially, we conducted an SM to identify the available and relevant studies on the use of secondary studies as a research methodology for conducting SE research projects. Secondly, a survey was performed with 64 SE researchers to identify their perception related to the value of performing secondary studies to support their research projects. Results: Our results show benefits of using secondary studies in the academic context, such as, providing an overview of the literature as well as identifying relevant research literature on a research area enabling to find reasons to explain why a research project should be approved for a grant and/or supporting decisions made in a research project. Difficulties faced by SE graduate students with secondary studies are that they tend to be conducted by a team and it demands more effort than a traditional review. Conclusions: Secondary studies are valuable to graduate students. They should consider conducting a secondary study for their research project due to the benefits and contributions provided to develop the overall project. However, the advice of an experienced supervisor is essential to avoid bias. In addition, the acquisition of skills can increase student's motivation to pursue their research projects and prepare them for both academic or industrial careers.