title: Impact of magnetic field on neutrino-matter interactions in core-collapse supernova

abstract: We explore the impact of magnetic field on neutrino-matter interactions in core-collapse supernova. We first derive the modified source terms for neutrino-nucleon scattering and neutrino absorption and emission processes in the moment formalism. Then we perform full relativistic three-dimensional, magnetorotational core-collapse supernova simulations of a 20 $M_\odot$ star with spectral neutrino transport. Our simulations treat self-consistently the parity violation effects of weak interaction in the presence of external magnetic field. The result shows a significant global asymmetry, mostly confined in the proto-neutron star, with clearly reflecting the magnetic field structure. The asymmetric property arises from two factors: the angle between the neutrino flux and magnetic field, and the term, which is parallel to the magnetic field and is also proportional to the deviation of distribution function of neutrinos from thermal equilibrium. The typical correction value amounts to $\sim1$ % relative to the total neutrino-matter interaction rate for the magnetic field strength of $\sim 10^{15-16}$~G. Although these asymmetric properties do not immediately affect the explosion dynamics, our results imply that they would be significant once the neutrinos diffuse out the proto-neutron star core carrying those asymmetries away. We also show that, during our simulation time of $\sim370$ ms after bounce, our results indicate that the correction value due to the modified inelastic scattering process dominates over that of the modified neutrino absorption and emission process.


title: TreeGAN: Incorporating Class Hierarchy into Image Generation

abstract: Conditional image generation (CIG) is a widely studied problem in computer vision and machine learning. Given a class, CIG takes the name of this class as input and generates a set of images that belong to this class. In existing CIG works, for different classes, their corresponding images are generated independently, without considering the relationship among classes. In real-world applications, the classes are organized into a hierarchy and their hierarchical relationships are informative for generating high-fidelity images. In this paper, we aim to leverage the class hierarchy for conditional image generation. We propose two ways of incorporating class hierarchy: prior control and post constraint. In prior control, we first encode the class hierarchy, then feed it as a prior into the conditional generator to generate images. In post constraint, after the images are generated, we measure their consistency with the class hierarchy and use the consistency score to guide the training of the generator. Based on these two ideas, we propose a TreeGAN model which consists of three modules: (1) a class hierarchy encoder (CHE) which takes the hierarchical structure of classes and their textual names as inputs and learns an embedding for each class; the embedding captures the hierarchical relationship among classes; (2) a conditional image generator (CIG) which takes the CHE-generated embedding of a class as input and generates a set of images belonging to this class; (3) a consistency checker which performs hierarchical classification on the generated images and checks whether the generated images are compatible with the class hierarchy; the consistency score is used to guide the CIG to generate hierarchy-compatible images. Experiments on various datasets demonstrate the effectiveness of our method.


title: On Symmetric Rectilinear Matrix Partitioning

abstract: Even distribution of irregular workload to processing units is crucial for efficient parallelization in many applications. In this work, we are concerned with a spatial partitioning called rectilinear partitioning (also known as generalized block distribution) of sparse matrices. More specifically, in this work, we address the problem of symmetric rectilinear partitioning of a square matrix. By symmetric, we mean the rows and columns of the matrix are identically partitioned yielding a tiling where the diagonal tiles (blocks) will be squares. We first show that the optimal solution to this problem is NP-hard, and we propose four heuristics to solve two different variants of this problem. We present a thorough analysis of the computational complexities of those proposed heuristics. To make the proposed techniques more applicable in real life application scenarios, we further reduce their computational complexities by utilizing effective sparsification strategies together with an efficient sparse prefix-sum data structure. We experimentally show the proposed algorithms are efficient and effective on more than six hundred test matrices. With sparsification, our methods take less than 3 seconds in the Twitter graph on a modern 24 core system and output a solution whose load imbalance is no worse than 1%.


title: HOTA: A Higher Order Metric for Evaluating Multi-Object Tracking

abstract: Multi-Object Tracking (MOT) has been notoriously difficult to evaluate. Previous metrics overemphasize the importance of either detection or association. To address this, we present a novel MOT evaluation metric, HOTA (Higher Order Tracking Accuracy), which explicitly balances the effect of performing accurate detection, association and localization into a single unified metric for comparing trackers. HOTA decomposes into a family of sub-metrics which are able to evaluate each of five basic error types separately, which enables clear analysis of tracking performance. We evaluate the effectiveness of HOTA on the MOTChallenge benchmark, and show that it is able to capture important aspects of MOT performance not previously taken into account by established metrics. Furthermore, we show HOTA scores better align with human visual evaluation of tracking performance.


title: Exploring the effects of magnetar bursts in pulsar wind nebulae

abstract: We explore possible effects of a magnetar burst on the radio, X-ray, and gamma-ray flux of a pulsar wind nebula (PWN). We assume that the burst injects electron-positron pairs or powers the magnetic field and explore the total energy at injection and the spectral index needed in order to increase the X-ray flux by about one order of magnitude, as well as its decay time until reaching quiescence. We also explore magnetically powered phenomenology that could explain a temporary increase of the PWN synchrotron emitted flux and perhaps the relatively common lack of PWNe surrounding magnetars. This phenomenological study is of interest for fast radio bursts (FRBs) as well, given that the connection between magnetars and this kind of systems have been recently established observationally.


title: Neuro-symbolic Neurodegenerative Disease Modeling as Probabilistic Programmed Deep Kernels

abstract: We present a probabilistic programmed deep kernel learning approach to personalized, predictive modeling of neurodegenerative diseases. Our analysis considers a spectrum of neural and symbolic machine learning approaches, which we assess for predictive performance and important medical AI properties such as interpretability, uncertainty reasoning, data-efficiency, and leveraging domain knowledge. Our Bayesian approach combines the flexibility of Gaussian processes with the structural power of neural networks to model biomarker progressions, without needing clinical labels for training. We run evaluations on the problem of Alzheimer's disease prediction, yielding results that surpass deep learning in both accuracy and timeliness of predicting neurodegeneration, and with the practical advantages of Bayesian nonparametrics and probabilistic programming.


title: Effects of the quiescent core in turbulent channel flow on transport and clustering of inertial particles

abstract: The existence of a quiescent core (QC) in the center of turbulent channel flows was demonstrated in recent experimental and numerical studies. The QC-region, which is characterized by relatively uniform velocity magnitude and weak turbulence levels, occupies about $40\%$ of the cross-section at Reynolds numbers $Re_\tau$ ranging from $1000$ to $4000$. The influence of the QC region and its boundaries on transport and accumulation of inertial particles has never been investigated before. Here, we first demonstrate that a QC is unidentifiable at $Re_\tau = 180$, before an in-depth exploration of particle-laden turbulent channel flow at $Re_\tau = 600$ is performed. The inertial spheres exhibited a tendency to accumulate preferentially in high-speed regions within the QC, i.e. contrary to the well-known concentration in low-speed streaks in the near-wall region. The particle wall-normal distribution, quantified by means of Vorono\"i volumes and particle number concentrations, varied abruptly across the QC-boundary and vortical flow structures appeared as void areas due to the centrifugal mechanism. The QC-boundary, characterized by a localized strong shear layer, appeared as a \emph{barrier}, across which transport of inertial particles is hindered. Nevertheless, the statistics conditioned in QC-frame show that the mean velocity of particles outside of the QC was towards the core, whereas particles within the QC tended to migrate towards the wall. Such upward and downward particle motions are driven by similar motions of fluid parcels. The present results show that the QC exerts a substantial influence on transport and accumulation of inertial particles, which is of practical relevance in high-Reynolds number channel flow.


title: Automated Source Code Generation and Auto-completion Using Deep Learning: Comparing and Discussing Current Language-Model-Related Approaches

abstract: In recent years, the use of deep learning in language models gained much attention. Some research projects claim that they can generate text that can be interpreted as human-writing, enabling new possibilities in many application areas. Among the different areas related to language processing, one of the most notable in applying this type of modeling is programming languages. For years, the Machine Learning community has been researching this software engineering area, pursuing goals like applying different approaches to auto-complete, generate, fix, or evaluate code programmed by humans. Considering the increasing popularity of the Deep-Learning-enabled language models approach, we detected a lack of empirical papers that compare different deep learning architectures to create and use language models based on programming code. This paper compares different neural network architectures like AWD-LSTMs, AWD-QRNNs, and Transformer while using transfer learning and different tokenizations to see how they behave in building language models using a Python dataset for code generation and filling mask tasks. Considering the results, we discuss each approach's different strengths and weaknesses and what gaps we find to evaluate the language models or apply them in a real programming context.


title: Adaptive State Fidelity Estimation for Higher Dimensional Bipartite Entanglement

abstract: An adaptive method for quantum state fidelity estimation in bipartite higher dimensional systems is established. This method employs state verifier operators which are constructed by local POVM operators and adapted to the measurement statistics in the computational basis. Employing this method, the state verifier operators that stabilize Bell-type entangled states are constructed explicitly. Together with an error operator in the computational basis, one can estimate the lower and upper bounds on the state fidelity for Bell-type entangled states in few measurement configurations. These bounds can be tighter than the fidelity bounds derived in [Bavaresco et.al., Nature Physics (2018), 14, 1032~1037], if one constructs more than one local POVM measurements additional to the measurement in the computational basis.


title: Universal correlations between the fragility and interparticle repulsion of glass-forming liquids

abstract: A recently published analytical model, describing and predicting elasticity, viscosity, and fragility of metallic melts, is applied for the analysis of about 30 nonmetallic glassy systems, ranging from oxide network glasses to alcohols, low-molecular-weight liquids, polymers, plastic crystals, and even ionic glass formers. The model is based on the power-law exponent lambda representing the steepness parameter of the repulsive part of the inter-atomic or -molecular potential and the thermal-expansion parameter alpha_T determined by the attractive anharmonic part of the effective interaction. It allows fitting the typical super-Arrhenius temperature variation of the viscosity or dielectric relaxation time for various classes of glass-forming matter, over many decades. We discuss the relation of the model parameters found for all these different glass-forming systems to the fragility parameter m and detect a correlation of lambda and m for the non-metallic glass formers, in accord with the model predictions. Within the framework of this model, thus the fragility of glass formers can be traced back to microscopic model parameters characterizing the intermolecular interactions.


title: Twisted Reed-Solomon Codes With One-dimensional Hull

abstract: The hull of a linear code is defined to be the intersection of the code and its dual. When the size of the hull is small, it has been proved that some algorithms for checking permutation equivalence of two linear codes and computing the automorphism group of a linear code are very effective in general. Maximum distance separable (MDS) codes are codes meeting the Singleton bound. Twisted Reed-Solomon codes is a generalization of Reed-Solomon codes, which is also a nice construction for MDS codes. In this short letter, we obtain some twisted Reed-Solomon MDS codes with one-dimensional hull. Moreover, these codes are not monomially equivalent to Reed-Solomon codes.


title: A discrete elasticity complex on three-dimensional Alfeld splits

abstract: We construct conforming finite element elasticity complexes on the Alfeld splits of tetrahedra. The complex consists of vector fields and symmetric tensor fields, interlinked via the linearized deformation operator, the linearized curvature operator, and the divergence operator, respectively. The construction is based on an algebraic machinery that derives the elasticity complex from de~Rham complexes, and smoother finite element differential forms.


title: Bayesian Inference for Stationary Points in Gaussian Process Regression Models for Event-Related Potentials Analysis

abstract: Stationary points embedded in the derivatives are often critical for a model to be interpretable and may be considered as key features of interest in many applications. We propose a semiparametric Bayesian model to efficiently infer the locations of stationary points of a nonparametric function, while treating the function itself as a nuisance parameter. We use Gaussian processes as a flexible prior for the underlying function and impose derivative constraints to control the function's shape via conditioning. We develop an inferential strategy that intentionally restricts estimation to the case of at least one stationary point, bypassing possible mis-specifications in the number of stationary points and avoiding the varying dimension problem that often brings in computational complexity. We illustrate the proposed methods using simulations and then apply the method to the estimation of event-related potentials (ERP) derived from electroencephalography (EEG) signals. We show how the proposed method automatically identifies characteristic components and their latencies at the individual level, which avoids the excessive averaging across subjects which is routinely done in the field to obtain smooth curves. By applying this approach to EEG data collected from younger and older adults during a speech perception task, we are able to demonstrate how the time course of speech perception processes changes with age.


title: Large-amplitude variables in Gaia Data Release 2. Multi-band variability characterization

abstract: The second data release (DR2) of Gaia provides mean photometry in three bands for $\sim$1.4 billion sources, but light curves and variability properties are available for only $\sim$0.5 million of them. Here, we provide a census of large-amplitude variables with amplitudes larger than $\sim$0.2 mag in the $G$ band for objects with mean brightnesses between 5.5 and 19 mag. To achieve this, we rely on variability amplitude proxies in $G$, $G_{BP}$ and $G_{RP}$ computed from the uncertainties on the magnitudes published in DR2. We then apply successive filters to identify two subsets containing respectively sources with reliable mean $G_{BP}$ and $G_{RP}$ (for studies using colours) and sources having compatible amplitude proxies in $G$, $G_{BP}$ and $G_{RP}$ (for multi-band variability studies). The full catalogue gathers $23\,315\,874$ large-amplitude variable candidates, and the two subsets with increased levels of purity contain respectively $1\,148\,861$ and $618\,966$ sources. A multi-band variability analysis of the catalogue shows that different types of variable stars can be globally categorized in four groups according to their colour and blue-to-red amplitude ratios as determined from the $G$, $G_{BP}$ and $G_{RP}$ amplitude proxies. The catalogue constitutes the first census of Gaia large-amplitude variable candidates, extracted from the public DR2 archive. The overview presented here illustrates the added-value of the mission for multi-band variability studies even at this stage when epoch photometry is not yet available for all sources. (Abridged abstract)


title: Entanglement spectrum as a marker for phase transitions in the density embedding theory for interacting spinless fermionic models

abstract: Entanglement related properties work as nice fingerprint of the quantum many-body wave function. However, those of fermionic models are hard to evaluate in standard numerical methods because they suffer from finite size effects. We show that a so-called density embedding theory (DET) can evaluate them without size scaling analysis in comparably high quality with those obtained by the large-size density matrix renormalization group analysis. This method projects the large scale original many-body Hamiltonian to the small number of basis sets defined on a local cluster, and optimizes the choice of these bases by tuning the local density matrix. The DET entanglement spectrum of one-dimensional interacting fermions perfectly reproduces the exact ones and works as a marker of the phase transition point. It is further shown that the phase transitions in two-dimension could be determined by the entanglement entropy and the fidelity that reflects the change of the structure of the wave function.


title: Acoustic $\alpha$-disk

abstract: It is shown that the turbulent flow of acoustic waves propagating outward from the inner edge of the disk causes the accretion of the matter onto the center. The exponential amplification of waves takes place in the resonance region, $ \omega = (n\pm 1)\Omega $. Here $ \omega $ is the frequency of the acoustic wave, $ n $ is its azimuthal wave number, $ \Omega (r) $ is the angular frequency of rotation of the disk. The effect is similar to the inverse Landau damping in a collisionless plasma. Energy comes from the energy of rotation of the disk. That leads to decrease of the disk angular momentum and to accretion of the matter. The value of the accretion rate $dM/dt$ is ${\dot M} = \pi rc_s \Sigma_0 (c_s / v_{\phi 0})^2 W $. Here $ c_s $ is the speed of sound of the disk gas, $ v_{\phi 0} $ is the Keplerian rotation velocity, $\Sigma_0 $ is the surface density of the disk, $ W $ is total power of the acoustic turbulence, $ W \simeq \int_0^\infty d \omega \sum_{n\geq 0} \Big {|} \frac {\Sigma'} {\Sigma_0} \Big {|}^2 (\omega, n) $, $ |\Sigma'|^2 (\omega, n) $ is the spectral power of turbulence. The presented picture of accretion is consistent with the observed variations of X-ray and optical radiation from objects whose activity is associated with accretion of gas onto them.


title: NICER observations reveal that the X-ray transient MAXI J1348-630 is a Black Hole X-ray binary

abstract: We studied the outburst evolution and timing properties of the recently discovered X-ray transient MAXI J1348-630 as observed with NICER. We produced the fundamental diagrams commonly used to trace the spectral evolution, and power density spectra to study the fast X-ray variability. The main outburst evolution of MAXI J1348-630 is similar to that commonly observed in black hole transients. The source evolved from the hard state, through hard- and soft-intermediate states, into the soft state in the outburst rise, and back to the hard state in reverse during the outburst decay. At the end of the outburst, MAXI J1348-630 underwent two reflares with peak fluxes ~1 and ~2 orders of magnitude fainter than the main outburst, respectively. During the reflares, the source remained in the hard state only, without undergoing any state transitions, which is similar to the so-called "failed outbursts". Different types of quasi-periodic oscillations (QPOs) are observed at different phases of the outburst. Based on our spectral-timing results, we conclude that MAXI J1348-630 is a black hole candidate.


title: Evolution of a Viscous Protoplanetary Disk with Convectively Unstable Regions. II. Accretion Regimes and Long-Term Dynamics

abstract: In this article, we proceed to study convection as a possible factor of episodic accretion in protoplanetary disks. Within the model presented in Article~I, the accretion history is analyzed at different rates and areas of matter inflow from the envelope onto the disk. It is shown that the burst-like regime occurs in a wide range of parameters. The long-term evolution of the disk is also modeled, including the decreasing-with-time matter inflow from the envelope. It is demonstrated that the disk becomes convectively unstable and maintains burst-like accretion onto the star for several million years. Meanwhile, the instability expands to an area of several tens of astronomical units and gradually decreases with time. It is also shown that at early stages in the disk evolution, conditions arise for gravitational instability in the outer parts of the disk and for dust evaporation in the convectively unstable inner regions. The general conclusion of the study is that convection can serve as one of the mechanisms of episodic accretion in protostellar disks, but this conclusion needs to be verified using more consistent hydrodynamic models.


title: A strongly aperiodic shift of finite type on the discrete Heisenberg group using Robinson tilings

abstract: We explicitly construct a strongly aperiodic subshift of finite type for the discrete Heisenberg group. Our example builds on the classical aperiodic tilings of the plane due to Raphael Robinson. Extending those tilings to the Heisenberg group by exploiting the group's structure and posing additional local rules to prune out remaining periodic behavior we maintain a rich projective subdynamics on $\mathbb Z^2$ cosets. In addition the obtained subshift factors onto a strongly aperiodic, minimal sofic shift via a map that is invertible on a dense set of configurations.


title: Extended flag gadgets for low-overhead circuit verification

abstract: Flag verification techniques are useful in quantum error correction for detecting critical faults. Here we present an application of flag verification techniques to improving post-selected performance of near-term algorithms. We extend the definition of what constitutes a flag by creating error-detection gadgets based on known transformations of unitary operators. In the case of Clifford or near-Clifford circuits, these unitary operators can be chosen to be controlled Pauli gates, leading to gadgets which require only a small number of additional Clifford gates. We show that such flags can improve circuit fidelities by up to a factor of 2 after post selection, and demonstrate their effectiveness over error models featuring single-qubit depolarizing noise, crosstalk, and two-qubit coherent overrotation.


title: Malicious Network Traffic Detection via Deep Learning: An Information Theoretic View

abstract: The attention that deep learning has garnered from the academic community and industry continues to grow year over year, and it has been said that we are in a new golden age of artificial intelligence research. However, neural networks are still often seen as a "black box" where learning occurs but cannot be understood in a human-interpretable way. Since these machine learning systems are increasingly being adopted in security contexts, it is important to explore these interpretations. We consider an Android malware traffic dataset for approaching this problem. Then, using the information plane, we explore how homeomorphism affects learned representation of the data and the invariance of the mutual information captured by the parameters on that data. We empirically validate these results, using accuracy as a second measure of similarity of learned representations. Our results suggest that although the details of learned representations and the specific coordinate system defined over the manifold of all parameters differ slightly, the functional approximations are the same. Furthermore, our results show that since mutual information remains invariant under homeomorphism, only feature engineering methods that alter the entropy of the dataset will change the outcome of the neural network. This means that for some datasets and tasks, neural networks require meaningful, human-driven feature engineering or changes in architecture to provide enough information for the neural network to generate a sufficient statistic. Applying our results can serve to guide analysis methods for machine learning engineers and suggests that neural networks that can exploit the convolution theorem are equally accurate as standard convolutional neural networks, and can be more computationally efficient.


title: Slow light mediated by mode topological transitions in hyperbolic waveguides

abstract: We show that symmetric planar waveguides made of a film composed of a type II hyperbolic metamaterial, where the optical axis (OA) lays parallel to the waveguide interfaces, result in a series of topological transitions in the dispersion diagram as the film electrical thickness increases. The transitions are mediated by elliptical mode branches, which, as soon as they grow from cutoff, coalesce along the OA with anomalously ordered hyperbolic mode branches, resulting in a saddle point. When the electrical thickness of the film increases further, the merged branch starts a transition to hyperbolic normally ordered modes with propagation direction orthogonal to the OA. In this process, the saddle point is transformed into a branch point where a new branch of Ghost waves appears and slow light is observed for a broad range of thicknesses.


title: Multilingual Music Genre Embeddings for Effective Cross-Lingual Music Item Annotation

abstract: Annotating music items with music genres is crucial for music recommendation and information retrieval, yet challenging given that music genres are subjective concepts. Recently, in order to explicitly consider this subjectivity, the annotation of music items was modeled as a translation task: predict for a music item its music genres within a target vocabulary or taxonomy (tag system) from a set of music genre tags originating from other tag systems. However, without a parallel corpus, previous solutions could not handle tag systems in other languages, being limited to the English-language only. Here, by learning multilingual music genre embeddings, we enable cross-lingual music genre translation without relying on a parallel corpus. First, we apply compositionality functions on pre-trained word embeddings to represent multi-word tags.Second, we adapt the tag representations to the music domain by leveraging multilingual music genres graphs with a modified retrofitting algorithm. Experiments show that our method: 1) is effective in translating music genres across tag systems in multiple languages (English, French and Spanish); 2) outperforms the previous baseline in an English-language multi-source translation task. We publicly release the new multilingual data and code.


title: Exploring Bayesian Surprise to Prevent Overfitting and to Predict Model Performance in Non-Intrusive Load Monitoring

abstract: Non-Intrusive Load Monitoring (NILM) is a field of research focused on segregating constituent electrical loads in a system based only on their aggregated signal. Significant computational resources and research time are spent training models, often using as much data as possible, perhaps driven by the preconception that more data equates to more accurate models and better performing algorithms. When has enough prior training been done? When has a NILM algorithm encountered new, unseen data? This work applies the notion of Bayesian surprise to answer these questions which are important for both supervised and unsupervised algorithms. We quantify the degree of surprise between the predictive distribution (termed postdictive surprise), as well as the transitional probabilities (termed transitional surprise), before and after a window of observations. We compare the performance of several benchmark NILM algorithms supported by NILMTK, in order to establish a useful threshold on the two combined measures of surprise. We validate the use of transitional surprise by exploring the performance of a popular Hidden Markov Model as a function of surprise threshold. Finally, we explore the use of a surprise threshold as a regularization technique to avoid overfitting in cross-dataset performance. Although the generality of the specific surprise threshold discussed herein may be suspect without further testing, this work provides clear evidence that a point of diminishing returns of model performance with respect to dataset size exists. This has implications for future model development, dataset acquisition, as well as aiding in model flexibility during deployment.


title: High Field Magneto-Transport of Mixed Topological Insulators Bi2Se3-xTex (x = 0, 1, 2 & 3)

abstract: The article comprises structural, microstructural, and physical properties analysis of Bi2Se3-xTex (x= 0, 1, 2 and 3) mixed topological insulator (MTI) single crystals. All the crystals were grown through a well-optimized solid-state reaction route via the self-flux method. These MTI are well characterized through XRD (X-ray Diffraction), SEM (Scanning Electron Microscopy), EDAX (Energy Dispersive spectroscopy), and thereby, the physical properties are analyzed through the RT (Resistance vs temperature) down to 10K as well as the magneto-resistance (MR) measurements (at 5K) in a magnetic field of up to 10 Tesla. The MR drastically varies from x=0 to x=3 in MTI, from a huge 400 percent, it goes down to 20 percent and 5 percent and eventually back to 315 percent. This fascinated behaviour of MR is explained in this article through HLN (Hikami-Larkin-Nagaoka) equation and an additional term. This article not only proposed the mesmerizing behavior of MR in MTI but also explains the reason through competing WAL (Weak Anti-Localization) and WL (Weak Localization) conduction processes.


title: GLUCOSE: GeneraLized and COntextualized Story Explanations

abstract: When humans read or listen, they make implicit commonsense inferences that frame their understanding of what happened and why. As a step toward AI systems that can build similar mental models, we introduce GLUCOSE, a large-scale dataset of implicit commonsense causal knowledge, encoded as causal mini-theories about the world, each grounded in a narrative context. To construct GLUCOSE, we drew on cognitive psychology to identify ten dimensions of causal explanation, focusing on events, states, motivations, and emotions. Each GLUCOSE entry includes a story-specific causal statement paired with an inference rule generalized from the statement. This paper details two concrete contributions. First, we present our platform for effectively crowdsourcing GLUCOSE data at scale, which uses semi-structured templates to elicit causal explanations. Using this platform, we collected a total of ~670K specific statements and general rules that capture implicit commonsense knowledge about everyday situations. Second, we show that existing knowledge resources and pretrained language models do not include or readily predict GLUCOSE's rich inferential content. However, when state-of-the-art neural models are trained on this knowledge, they can start to make commonsense inferences on unseen stories that match humans' mental models.


title: $J$-states and quantum channels between indefinite metric spaces

abstract: In the present work, we introduce and study the concepts of state and quantum channel on spaces equipped with an indefinite metric. Exclusively, we will limit our analysis to the matricial framework. As it will be confirmed below, from our research it is noticed that, when passing to the spaces with indefinite metric, the use of the adjoint of a matrix with respect to the indefinite metric is required in the construction of states and quantum channels; which prevents us to consider the space of matrices of certain order $M_{n}(\mathbb{C})$ as a $C^{\ast}$-algebra. In our case, this adjoint is defined through a $J$-metric, where the matrix $J$ is a fundamental symmetry of $M_{n}(\mathbb{C})$. In our paper, for quantum operators, we include the general setting in the which, these operators map $J_{1}$-states into $J_{2}$-states, where $J_{2}\neq \pm J_{1}$ are two arbitrary fundamental symmetries. In the middle of this program, we carry out a study of the completely positive maps between two different positive matrices spaces by considering two different indefinite metrics on $\mathbb{C}^{n}$.


title: Twisting of affine algebraic groups, II

abstract: We use \cite{G} to study the algebra structure of twisted cotriangular Hopf algebras ${}_J\mathcal{O}(G)_{J}$, where $J$ is a Hopf $2$-cocycle for a connected nilpotent algebraic group $G$ over $\mathbb{C}$. In particular, we show that ${}_J\mathcal{O}(G)_{J}$ is an affine Noetherian domain with Gelfand-Kirillov dimension $\dim(G)$, and that if $G$ is unipotent and $J$ is supported on $G$, then ${}_J\mathcal{O}(G)_{J}\cong U(\g)$ as algebras, where $\g={\rm Lie}(G)$. We also determine the finite dimensional irreducible representations of ${}_J\mathcal{O}(G)_{J}$, by analyzing twisted function algebras on $(H,H)$-double cosets of the support $H\subset G$ of $J$. Finally, we work out several examples to illustrate our results.


title: Abundant atmospheric methane from volcanism on terrestrial planets is unlikely and strengthens the case for methane as a biosignature

abstract: The disequilibrium combination of abundant methane and carbon dioxide has been proposed as a promising exoplanet biosignature that is readily detectable with upcoming telescopes such as the James Webb Space Telescope. However, few studies have explored the possibility of non-biological CH4 and CO2 and related contextual clues. Here, we investigate whether magmatic volcanic outgassing on terrestrial planets can produce atmospheric CH4 and CO2 with a thermodynamic model. Our model suggests that volcanoes are unlikely to produce CH4 fluxes comparable to biological fluxes. Improbable cases where volcanoes produce biological amounts of CH4 also produce ample carbon monoxide. We show, using a photochemical model, that high abiotic CH4 abundances produced by volcanoes would be accompanied by high CO abundances, which could be a detectable false positive diagnostic. Overall, when considering known mechanisms for generating abiotic CH4 on terrestrial planets, we conclude that observations of atmospheric CH4 with CO2 are difficult to explain without the presence of biology when the CH4 abundance implies a surface flux comparable to modern Earth's biological CH4 flux. A small or negligible CO abundance strengthens the CH4+CO2 biosignature because life readily consumes atmospheric CO, while reducing volcanic gases likely cause CO to build up in a planet's atmosphere. Furthermore, the difficulty of volcanically-generated CH4-rich atmospheres suitable for an origin of life may favor alternatives such as impact-induced reducing atmospheres.


title: Absence of $\mu$-Problem in Grand Unification

abstract: Using properties of Goldstino, we show that in generic grand unified theories with gravity-mediated supersymmetry breaking the $\mu$-problem is non-existent. What happens is that supersymmetry breaking universally induces the shifts of the heavy fields that generate $\mu$ and $B_{\mu}$ terms. In the leading order, these are given by the mass of gravitino and are insensitive to the scale of grand unification. The mechanism works regardless whether doublet-triplet splitting is achieved via fine-tuning or not. Moreover, we illustrate this general phenomenon on explicit examples of theories that achieve doublet-triplet splitting dynamically. These include the theories with Higgs doublet as a pseudo-Goldstone boson, as well as, the approach based on spontaneous decoupling of the light color-triplet from quarks and leptons.


title: Heavy-flavor hadro-production with heavy-quark masses renormalized in the ${\overline{\rm MS}}$, MSR and on-shell schemes

abstract: We present predictions for heavy-quark production at the Large Hadron Collider making use of the ${\overline{\rm MS}}$ and MSR renormalization schemes for the heavy-quark mass as alternatives to the widely used on-shell renormalization scheme. We compute single and double differential distributions including QCD corrections at next-to-leading order and investigate the renormalization and factorization scale dependence as well as the perturbative convergence in these mass renormalization schemes. The implementation is based on publicly available programs, ${\texttt{MCFM}}$ and ${\texttt{xFitter}}$, extending their capabilities. Our results are applied to extract the top-quark mass using measurements of the total and differential $t\bar{t}$ production cross-sections and to investigate constraints on parton distribution functions, especially on the gluon distribution at low $x$ values, from available LHC data on heavy-flavor hadro-production.


title: The quest and hope of Majorana zero modes in topological superconductor for fault-tolerant quantum computing: an introductory overview

abstract: Ettore Majorana, in his short life, unintendedly has uncovered the most profound problem in quantum computation by his discovery of Majorana fermion, a particle which is its own anti-particle. Owing to its non-Abelian exchange statistics, Majorana fermions may act as a qubit for a universal quantum computer which is fault-tolerant. The existence of such particle is predicted in mid-gap states (zero modes) of a topological superconductor as bound states that have a highly entangled degenerate ground state. This introductory overview will focus on the simplest theoretical proposals of Majorana fermions for topological quantum computing in superconducting systems, emphasizing the quest from the scalability problem of quantum computer to its possible solution with topological quantum computer employing non-Abelian anyons on various platforms of certain Majorana fermion signature encountered.


title: A note on the closed-form solution for the longest head run problem of Abraham de Moivre

abstract: The problem of the longest head run was introduced and solved by Abraham de Moivre in the second edition of his book Doctrine of Chances (de Moivre, 1738). The closed-form solution as a finite sum involving binomial coefficients was provided in Uspensky (1937). Since then, the problem and its variations and extensions have found broad interest and diverse applications. Surprisingly, a very simple closed form can be obtained, which we present in this note.


title: Partition regularity of polynomial systems near zero

abstract: Recently, S.~Kanti Patra and Md.~Moid Shaik proved the existence of monochromatic solutions to systems of polynomial equations near zero for particular dense subsemigroups $S$ of $((0,\infty),+)$. We extend their results to a much larger class of systems whilst weakening the requests on $S$, using solely basic results about ultrafilters.


title: Comment on "Capturing Phase Behavior of Ternary Lipid Mixtures with a Refined Martini Coarse-Grained Force Field"

abstract: We report here on the pitfalls of the simulation model introduced in the "Capturing Phase Behavior of Ternary Lipid Mixtures with a Refined Martini Coarse-Grained Force Field" [Journal of Chemical Theory and Computation 2018, 14, 11, 6050-6062]. This refined Martini model was reported to reproduce experimental phase diagrams for a ternary DOPC/DPPC/cholesterol mixture, including the coexistence of two liquid phases. However, we demonstrate that this coexistence only emerged due to an unfortunate choice of simulation parameters, which leads to poor energy conservation. Specifically, the constraints on the cholesterol model drained energy out from the membrane, resulting in two coexisting phases at drastically different temperatures. Using the simulation parameters recommended for the used cholesterol model, this artefact is eliminated, yet so is phase coexistence, i.e. experimental phase diagrams are no longer reproduced. It is important to highlight that the present comment was submitted to Chemical Theory and Computation. However, it was rejected without peer-review by the Editor-in-Chief, who stated that the journal "rarely publishes such material".


title: Duality Mapping for Schatten Matrix Norms

abstract: In this paper, we fully characterize the duality mapping over the space of matrices that are equipped with Schatten norms. Our approach is based on the analysis of the saturation of the H\"older inequality for Schatten norms. We prove in our main result that, for $p\in (1,\infty)$, the duality mapping over the space of real-valued matrices with Schatten-$p$ norm is a continuous and single-valued function and provide an explicit form for its computation. For the special case $p = 1$, the mapping is set-valued; by adding a rank constraint, we show that it can be reduced to a Borel-measurable single-valued function for which we also provide a closed-form expression.


title: TadGAN: Time Series Anomaly Detection Using Generative Adversarial Networks

abstract: Time series anomalies can offer information relevant to critical situations facing various fields, from finance and aerospace to the IT, security, and medical domains. However, detecting anomalies in time series data is particularly challenging due to the vague definition of anomalies and said data's frequent lack of labels and highly complex temporal correlations. Current state-of-the-art unsupervised machine learning methods for anomaly detection suffer from scalability and portability issues, and may have high false positive rates. In this paper, we propose TadGAN, an unsupervised anomaly detection approach built on Generative Adversarial Networks (GANs). To capture the temporal correlations of time series distributions, we use LSTM Recurrent Neural Networks as base models for Generators and Critics. TadGAN is trained with cycle consistency loss to allow for effective time-series data reconstruction. We further propose several novel methods to compute reconstruction errors, as well as different approaches to combine reconstruction errors and Critic outputs to compute anomaly scores. To demonstrate the performance and generalizability of our approach, we test several anomaly scoring techniques and report the best-suited one. We compare our approach to 8 baseline anomaly detection methods on 11 datasets from multiple reputable sources such as NASA, Yahoo, Numenta, Amazon, and Twitter. The results show that our approach can effectively detect anomalies and outperform baseline methods in most cases (6 out of 11). Notably, our method has the highest averaged F1 score across all the datasets. Our code is open source and is available as a benchmarking tool.


title: Faster Property Testers in a Variation of the Bounded Degree Model

abstract: Property testing algorithms are highly efficient algorithms, that come with probabilistic accuracy guarantees. For a property P, the goal is to distinguish inputs that have P from those that are far from having P with high probability correctly, by querying only a small number of local parts of the input. In property testing on graphs, the distance is measured by the number of edge modifications (additions or deletions), that are necessary to transform a graph into one with property P. Much research has focussed on the query complexity of such algorithms, i. e. the number of queries the algorithm makes to the input, but in view of applications, the running time of the algorithm is equally relevant. In (Adler, Harwath STACS 2018), a natural extension of the bounded degree graph model of property testing to relational databases of bounded degree was introduced, and it was shown that on databases of bounded degree and bounded tree-width, every property that is expressible in monadic second-order logic with counting (CMSO) is testable with constant query complexity and sublinear running time. It remains open whether this can be improved to constant running time. In this paper we introduce a new model, which is based on the bounded degree model, but the distance measure allows both edge (tuple) modifications and vertex (element) modifications. Our main theorem shows that on databases of bounded degree and bounded tree-width, every property that is expressible in CMSO is testable with constant query complexity and constant running time in the new model. We also show that every property that is testable in the classical model is testable in our model with the same query complexity and running time, but the converse is not true. We argue that our model is natural and our meta-theorem showing constant-time CMSO testability supports this.


title: NuSTAR observation of GRO J1744-28 at low mass accretion rate

abstract: We present the spectral analysis of the LMXB GRO J1744-28 using $\sim$29 ks of NuSTAR data taken in 2017 February at a low luminosity of $3.2\times 10^{36}$ erg/s (3-50 keV). The continuum spectrum is modeled with an absorbed power-law with exponential cut-off, and an additional iron line component. We find no obvious indications for a CRSF and therefore perform a detailed cyclotron line search using statistical methods on the pulse phase-averaged as well as phase-resolved spectra. The previously detected Type II X-ray bursts are absent. Clear pulsations at a period of 2.141124(9) Hz are detected. The pulse profile shows an indication of a secondary peak, which was not seen at higher flux. The 4$\sigma$ upper limit for the strength of a CRSF in the 3-20 keV band is 0.07 keV, lower than the strength of the line found at higher luminosity. The detection of pulsations shows that the source did not enter the "propeller" regime, even though the source flux of $4.15\times 10^{-10}$ erg/cm$^{2}$/s was almost one order of magnitude below the threshold for the propeller regime claimed in previous studies on this source. The transition into the propeller regime in GRO J1744-28 must therefore be below a luminosity of $3.2\times 10^{36}$ erg/s, which implies a surface magnetic field $\lesssim 2.9\times 10^{11}$ G and mass accretion rate $\lesssim 1.7\times 10^{16}$ g/s. A change of the CRSF depth as function of luminosity is not unexpected and has been observed in other sources. This result possibly implies a change in emission geometry as function of mass accretion rate to reduce the depth of the line below our detection limit.


title: The Atacama Cosmology Telescope: Weighing distant clusters with the most ancient light

abstract: We use gravitational lensing of the cosmic microwave background (CMB) to measure the mass of the most distant blindly-selected sample of galaxy clusters on which a lensing measurement has been performed to date. In CMB data from the the Atacama Cosmology Telescope (ACT) and the Planck satellite, we detect the stacked lensing effect from 677 near-infrared-selected galaxy clusters from the Massive and Distant Clusters of WISE Survey (MaDCoWS), which have a mean redshift of $ \langle z \rangle = 1.08$. There are no current optical weak lensing measurements of clusters that match the distance and average mass of this sample. We detect the lensing signal with a significance of $4.2 \sigma$. We model the signal with a halo model framework to find the mean mass of the population from which these clusters are drawn. Assuming that the clusters follow Navarro-Frenk-White density profiles, we infer a mean mass of $\langle M_{500c}\rangle = \left(1.7 \pm 0.4 \right)\times10^{14}\,\mathrm{M}_\odot$. We consider systematic uncertainties from cluster redshift errors, centering errors, and the shape of the NFW profile. These are all smaller than 30% of our reported uncertainty. This work highlights the potential of CMB lensing to enable cosmological constraints from the abundance of distant clusters populating ever larger volumes of the observable Universe, beyond the capabilities of optical weak lensing measurements.


title: SideLine: How Delay-Lines (May) Leak Secrets from your SoC

abstract: To meet the ever-growing need for performance in silicon devices, SoC providers have been increasingly relying on software-hardware cooperation. By controlling hardware resources such as power or clock management from the software, developers earn the possibility to build more flexible and power efficient applications. Despite the benefits, these hardware components are now exposed to software code and can potentially be misused as open-doors to jeopardize trusted environments, perform privilege escalation or steal cryptographic secrets. In this work, we introduce SideLine, a novel side-channel vector based on delay-line components widely implemented in high-end SoCs. After providing a detailed method on how to access and convert delay-line data into power consumption information, we demonstrate that these entities can be used to perform remote power side-channel attacks. We report experiments carried out on two SoCs from distinct vendors and we recount several core-vs-core attack scenarios in which an adversary process located in one processor core aims at eavesdropping the activity of a victim process located in another core. For each scenario, we demonstrate the adversary ability to fully recover the secret key of an OpenSSL AES running in the victim core. Even more detrimental, we show that these attacks are still practicable if the victim or the attacker program runs over an operating system.


title: Deep-Learning Based Blind Recognition of Channel Code Parameters over Candidate Sets under AWGN and Multi-Path Fading Conditions

abstract: We consider the problem of recovering channel code parameters over a candidate set by merely analyzing the received encoded signals. We propose a deep learning-based solution that I) is capable of identifying the channel code parameters for any coding scheme (such as LDPC, Convolutional, Turbo, and Polar codes), II) is robust against channel impairments like multi-path fading, III) does not require any previous knowledge or estimation of channel state or signal-to-noise ratio (SNR), and IV) outperforms related works in terms of probability of detecting the correct code parameters.


title: Stokes drift through corals

abstract: We investigate the all-penetrating drift velocities, due to surface wave motion in an effectively inviscid fluid that overlies a saturated porous bed of finite depth. Previous work in this area either neglects the large-scale flow between layers [Phillips (1991)] or only considers the drift above the porous layer [(Monismith (2007)]. We propose a model where flow is described by a velocity potential above the porous layer, and by Darcy's law in the porous bed, with derived matching conditions at the interface between the two layers. The damping effect of the porous bed requires a complex wavenumber k and both a vertical and horizontal Stokes drift of the fluid, unlike the solely horizontal drift first derived by Stokes Stokes (1847) in a pure fluid layer. Our work provides a physical model for coral reefs in shallow seas, where fluid drift both above and within the reef is vitally important for maintaining a healthy reef ecosystem [Koehl et al. (1997), Monismith (2007)]. We compare our model with measurements by Koehl \& Hadfield (2004) and also explain the vertical drift effects described in Koehl et al. (2007), who measured the exchange between a coral reef layer and the (relatively shallow) sea above.


title: Characterizing Attitudinal Network Graphs through Frustration Cloud

abstract: Attitudinal Network Graphs are signed graphs where edges capture an expressed opinion; two vertices connected by an edge can be agreeable (positive) or antagonistic (negative). A signed graph is called balanced if each of its cycles includes an even number of negative edges. Balance is often characterized by the frustration index or by finding a single convergent balanced state of network consensus. In this paper, we propose to expand the measures of consensus from a single balanced state associated with the frustration index to the set of nearest balanced states. We introduce the frustration cloud as a set of all nearest balanced states and use a graph-balancing algorithm to find all nearest balanced states in a deterministic way. Computational concerns are addressed by measuring consensus probabilistically, and we introduce new vertex and edge metrics to quantify status, agreement, and influence. We also introduce a new global measure of controversy for a given signed graph and show that vertex status is a zero-sum game in the signed network. We propose an efficient scalable algorithm for calculating frustration cloud-based measures in social network and survey data of up to 80,000 vertices and half-a-million edges. We also demonstrate the power of the proposed approach to provide discriminant features for community discovery when compared to spectral clustering and to automatically identify dominant vertices and anomalous decisions in the network.


title: Exponential decay for semilinear wave equations with viscoelastic damping and delay feedback

abstract: In this paper we study a class of semilinear wave type equations with viscoelastic damping and delay feedback with time variable coefficient. By combining semigroup arguments, careful energy estimates and an iterative approach we are able to prove, under suitable assumptions, a well-posedness result and an exponential decay estimate for solutions corresponding to small initial data. This extends and concludes the analysis initiated in [16] and then developed in [13, 17].


title: Scaffold-constrained molecular generation

abstract: One of the major applications of generative models for drug Discovery targets the lead-optimization phase. During the optimization of a lead series, it is common to have scaffold constraints imposed on the structure of the molecules designed. Without enforcing such constraints, the probability of generating molecules with the required scaffold is extremely low and hinders the practicality of generative models for de-novo drug design. To tackle this issue, we introduce a new algorithm to perform scaffold-constrained in-silico molecular design. We build on the well-known SMILES-based Recurrent Neural Network (RNN) generative model, with a modified sampling procedure to achieve scaffold-constrained generation. We directly benefit from the associated reinforcement Learning methods, allowing to design molecules optimized for different properties while exploring only the relevant chemical space. We showcase the method's ability to perform scaffold-constrained generation on various tasks: designing novel molecules around scaffolds extracted from SureChEMBL chemical series, generating novel active molecules on the Dopamine Receptor D2 (DRD2) target, and, finally, designing predicted actives on the MMP-12 series, an industrial lead-optimization project.


title: Characters, Weil sums and $c$-differential uniformity with an application to the perturbed Gold function

abstract: Building upon the observation that the newly defined~\cite{EFRST20} concept of $c$-differential uniformity is not invariant under EA or CCZ-equivalence~\cite{SPRS20}, we showed in~\cite{SG20} that adding some appropriate linearized monomials increases the $c$-differential uniformity of the inverse function, significantly, for some~$c$. We continue that investigation here. First, by analyzing the involved equations, we find bounds for the uniformity of the Gold function perturbed by a single monomial, exhibiting the discrepancy we previously observed on the inverse function. Secondly, to treat the general case of perturbations via any linearized polynomial, we use characters in the finite field to express all entries in the $c$-Differential Distribution Table (DDT) of an $(n,n)$-function on the finite field $\F_{p^n}$, and further, we use that method to find explicit expressions for all entries of the $c$-DDT of the perturbed Gold function (via an arbitrary linearized polynomial).


title: Deep Learning Approaches for Extracting Adverse Events and Indications of Dietary Supplements from Clinical Text

abstract: The objective of our work is to demonstrate the feasibility of utilizing deep learning models to extract safety signals related to the use of dietary supplements (DS) in clinical text. Two tasks were performed in this study. For the named entity recognition (NER) task, Bi-LSTM-CRF (Bidirectional Long-Short-Term-Memory Conditional Random Fields) and BERT (Bidirectional Encoder Representations from Transformers) models were trained and compared with CRF model as a baseline to recognize the named entities of DS and Events from clinical notes. In the relation extraction (RE) task, two deep learning models, including attention-based Bi-LSTM and CNN (Convolutional Neural Network), and a random forest model were trained to extract the relations between DS and Events, which were categorized into three classes: positive (i.e., indication), negative (i.e., adverse events), and not related. The best performed NER and RE models were further applied on clinical notes mentioning 88 DS for discovering DS adverse events and indications, which were compared with a DS knowledge base. For the NER task, deep learning models achieved a better performance than CRF, with F1 scores above 0.860. The attention-based Bi-LSTM model performed the best in the relation extraction task, with the F1 score of 0.893. When comparing DS event pairs generated by the deep learning models with the knowledge base for DS and Event, we found both known and unknown pairs. Deep learning models can detect adverse events and indication of DS in clinical notes, which hold great potential for monitoring the safety of DS use.


title: Airy process with wanderers, KPZ fluctuations, and a deformation of the Tracy--Widom GOE distribution

abstract: We study the distribution of the supremum of the Airy process with $m$ wanderers minus a parabola, or equivalently the limit of the rescaled maximal height of a system of $N$ non-intersecting Brownian bridges as $N\to\infty$, where the first $N-m$ paths start and end at the origin and the remaining $m$ go between arbitrary positions. The distribution provides a $2m$-parameter deformation of the Tracy--Widom GOE distribution, which is recovered in the limit corresponding to all Brownian paths starting and ending at the origin. We provide several descriptions of this distribution function: (i) A Fredholm determinant formula; (ii) A formula in terms of Painlev\'e II functions; (iii) A representation as a marginal of the KPZ fixed point with initial data given as the top path in a stationary system of reflected Brownian motions with drift; (iv) A characterization as the solution of a version of the Bloemendal--Virag PDE (arXiv:1011.1877, arXiv:1109.3704) for spiked Tracy--Widom distributions; (v) A representation as a solution of the KdV equation. We also discuss connections with a model of last passage percolation with boundary sources.


title: The assessment of replication success based on relative effect size

abstract: Replication studies are increasingly conducted in order to confirm original findings. However, there is no established standard how to assess replication success and in practice many different approaches are used. The purpose of this paper is to refine and extend a recently proposed reverse-Bayes approach for the analysis of replication studies. We show how this method is directly related to the relative effect size, the ratio of the replication to the original effect estimate. This perspective leads to a new proposal to recalibrate the assessment of replication success, the golden level. The recalibration ensures that for borderline significant original studies replication success can only be achieved if the replication effect estimate is larger than the original one. Conditional power for replication success can then take any desired value if the original study is significant and the replication sample size is large enough. Compared to the standard approach to require statistical significance of both the original and replication study, replication success at the golden level offers uniform gains in project power and controls the Type-I error rate if the replication sample size is not smaller than the original one. An application to data from four large replication projects shows that the new approach leads to more appropriate inferences, as it penalizes shrinkage of the replication estimate compared to the original one, while ensuring that both effect estimates are sufficiently convincing on their own.


title: Generative Language-Grounded Policy in Vision-and-Language Navigation with Bayes' Rule

abstract: Vision-and-language navigation (VLN) is a task in which an agent is embodied in a realistic 3D environment and follows an instruction to reach the goal node. While most of the previous studies have built and investigated a discriminative approach, we notice that there are in fact two possible approaches to building such a VLN agent: discriminative \textit{and} generative. In this paper, we design and investigate a generative language-grounded policy which uses a language model to compute the distribution over all possible instructions i.e. all possible sequences of vocabulary tokens given action and the transition history. In experiments, we show that the proposed generative approach outperforms the discriminative approach in the Room-2-Room (R2R) and Room-4-Room (R4R) datasets, especially in the unseen environments. We further show that the combination of the generative and discriminative policies achieves close to the state-of-the art results in the R2R dataset, demonstrating that the generative and discriminative policies capture the different aspects of VLN.


title: Probing the Nature of High Redshift Weak Emission Line Quasars: A Young Quasar with a Starburst Host Galaxy

abstract: We present the discovery of PSO J083.8371+11.8482, a weak emission line quasar with extreme star formation rate at $z=6.3401$. This quasar was selected from Pan-STARRS1, UHS, and unWISE photometric data. Gemini/GNIRS spectroscopy follow-up indicates a MgII-based black hole mass of $M_\mathrm{BH}=\left(2.0^{+0.7}_{-0.4}\right)\times10^9~M_\odot$ and an Eddington ratio of $L_\mathrm{bol}/L_\mathrm{Edd}=0.5^{+0.1}_{-0.2}$, in line with actively accreting supermassive black hole (SMBH) at $z\gtrsim6$. HST imaging sets strong constraint on lens-boosting, showing no relevant effect on the apparent emission. The quasar is also observed as a pure point-source with no additional emission component. The broad line region (BLR) emission is intrinsically weak and not likely caused by an intervening absorber. We found rest-frame equivalent widths of EW(Ly$\alpha$+NV) $=5.7\pm0.7$ Angstrom, EW(CIV) $\leq5.8$ Angstrom (3-sigma upper limit), and EW(MgII) $=8.7\pm0.7$ Angstrom. A small proximity zone size ($R_\mathrm{p}=1.2\pm0.4$ pMpc) indicates a lifetime of only $t_\mathrm{Q}=10^{3.4\pm0.7}$ years from the last quasar phase ignition. ALMA shows extended [CII] emission with a mild velocity gradient. The inferred far-infrared luminosity ($L_\mathrm{FIR}=(1.2\pm0.1)\times10^{13}\,L_\odot$) is one of the highest among all known quasar hosts at $z\gtrsim6$. Dust and [CII] emissions put a constraint on the star formation rate of SFR $=900-4900~M_\odot\,\mathrm{yr^{-1}}$, similar to that of hyper-luminous infrared galaxy. Considering the observed quasar lifetime and BLR formation timescale, the weak-line profile in the quasar spectrum is most likely caused by a BLR which is not yet fully formed rather than continuum boosting by gravitational lensing or a soft continuum due to super-Eddington accretion.


title: Accelerating Domain Propagation: an Efficient GPU-Parallel Algorithm over Sparse Matrices

abstract: Fast domain propagation of linear constraints has become a crucial component of today's best algorithms and solvers for mixed integer programming and pseudo-boolean optimization to achieve peak solving performance. Irregularities in the form of dynamic algorithmic behaviour, dependency structures, and sparsity patterns in the input data make efficient implementations of domain propagation on GPUs and, more generally, on parallel architectures challenging. This is one of the main reasons why domain propagation in state-of-the-art solvers is single thread only. In this paper, we present a new algorithm for domain propagation which (a) avoids these problems and allows for an efficient implementation on GPUs, and is (b) capable of running propagation rounds entirely on the GPU, without any need for synchronization or communication with the CPU. We present extensive computational results which demonstrate the effectiveness of our approach and show that ample speedups are possible on practically relevant problems: on state-of-the-art GPUs, our geometric mean speed-up for reasonably-large instances is around 10x to 20x and can be as high as 180x on favorably-large instances.


title: Spatiotemporal Dependable Task Execution Services in MEC-enabled Wireless Systems

abstract: Multi-access Edge Computing (MEC) enables computation and energy-constrained devices to offload and execute their tasks on powerful servers. Due to the scarce nature of the spectral and computation resources, it is important to jointly consider i) contention-based communications for task offloading and ii) parallel computing and occupation of failure-prone MEC processing resources (virtual machines). The feasibility of task offloading and successful task execution with virtually no failures during the operation time needs to be investigated collectively from a combined point of view. To this end, this letter proposes a novel spatiotemporal framework that utilizes stochastic geometry and continuous time Markov chains to jointly characterize the communication and computation performance of dependable MEC-enabled wireless systems. Based on the designed framework, we evaluate the influence of various system parameters on different dependability metrics such as (i) computation resources availability, (ii) task execution retainability, and (iii) task execution capacity. Our findings showcase that there exists an optimal number of virtual machines for parallel computing at the MEC server to maximize the task execution capacity.


title: Extinctions of coupled populations, and rare-event dynamics under non-Gaussian noise

abstract: The survival of natural populations may be greatly affected by environmental conditions that vary in space and time. We look at a population residing in two locations (patches) coupled by migration, in which the local conditions fluctuate in time. We report on two findings. First, we find that unlike rare events in many other systems, here the histories leading to a rare extinction event are not dominated by a single path. We develop the appropriate framework, which turns out to be a hybrid of the standard saddle-point method, and the Donsker-Varadhan formalism which treats rare events of atypical averages over a long time. It provides a detailed description of the statistics of histories leading to the rare event. The framework applies to rare events in a broad class of systems driven by non-Gaussian noise. Secondly, applying this framework to the population-dynamics model, we find a novel phase transition in its extinction behavior. Strikingly, a patch which is a sink (where individuals die more than are born), can nonetheless reduce the probability of extinction, even if it normally lowers the population's size and growth rate.


title: Path Properties of a Generalized Fractional Brownian Motion

abstract: The generalized fractional Brownian motion is a Gaussian self-similar process whose increments are not necessarily stationary. It appears in applications as the scaling limit of a shot noise process with a power law shape function and non-stationary noises with a power-law variance function. In this paper we study sample path properties of the generalized fractional Brownian motion, including Holder continuity, path differentiability/non-differentiability, and functional and local Law of the Iterated Logarithms.


title: Approximating the packedness of polygonal curves

abstract: In 2012 Driemel et al. \cite{DBLP:journals/dcg/DriemelHW12} introduced the concept of $c$-packed curves as a realistic input model. In the case when $c$ is a constant they gave a near linear time $(1+\varepsilon)$-approximation algorithm for computing the Fr\'echet distance between two $c$-packed polygonal curves. Since then a number of papers have used the model. In this paper we consider the problem of computing the smallest $c$ for which a given polygonal curve in $\mathbb{R}^d$ is $c$-packed. We present two approximation algorithms. The first algorithm is a $2$-approximation algorithm and runs in $O(dn^2 \log n)$ time. In the case $d=2$ we develop a faster algorithm that returns a $(6+\varepsilon)$-approximation and runs in $O((n/\varepsilon^3)^{4/3} polylog (n/\varepsilon)))$ time. We also implemented the first algorithm and computed the approximate packedness-value for 16 sets of real-world trajectories. The experiments indicate that the notion of $c$-packedness is a useful realistic input model for many curves and trajectories.


title: Polaritonic Tamm states induced by cavity photons

abstract: We consider a periodic chain of oscillating dipoles, interacting via long-range dipole-dipole interactions, embedded inside a cuboid cavity waveguide. We show that the mixing between the dipolar excitations and cavity photons into polaritons can lead to the appearance of new states localized at the ends of the dipolar chain, which are reminiscent of Tamm surface states found in electronic systems. A crucial requirement for the formation of polaritonic Tamm states is that the cavity cross-section is above a critical size. Above this threshold, the degree of localization of the Tamm states is highly dependent on the cavity size, since their participation ratio scales linearly with the cavity cross-sectional area. Our findings may be important for quantum confinement effects in one-dimensional systems with strong light-matter coupling.


title: Dynamics of heuristics selection for cooperative behaviour

abstract: Situations involving cooperative behaviour are widespread among animals and humans alike. Game theory and evolutionary dynamics have provided the theoretical and computational grounds to understand what are the mechanisms that allow for such cooperation. Studies in this area usually take into consideration different behavioural strategies and investigate how they can be fixed in the population under evolving rules. However, how those strategies emerged from basic evolutionary mechanisms continues to be not fully understood. To address this issue, here we study the emergence of cooperative strategies through a model of heuristics selection based on evolutionary algorithms. In the proposed model, agents interact with other players according to a heuristic specified by their genetic code and reproduce -- at a longer time scale -- proportionally to their fitness. We show that the system can evolve to cooperative regimes for low mutation rates through heuristics selection while increasing the mutation decreases the level of cooperation. Our analysis of possible strategies shows that reciprocity and punishment are the main ingredients for cooperation to emerge, being conditional cooperation the more frequent strategy. Additionally, we show that if in addition to behavioural rules, genetic relatedness is included, then kinship plays a relevant role. Our results illustrate that our evolutionary heuristics model is a generic and powerful tool to study the evolution of cooperative behaviour.


title: Best and worst policy control in low-prevalence SEIR

abstract: We consider the low-prevalence linearized SEIR epidemic model for a society that has resolved to keep future infections low in anticipation of a vaccine. The society can vary its amount of potentially-infection-spreading activity over time, within a certain feasible range. Because the activity has social or economic value, the society aims to maximize activity overall subject to infection rate constraints. We find that consistent policies are the worst possible in terms of activity, while the best policies alternate between high and low activity. In a variant involving multiple subpopulations, we find that the best policies are maximally coordinated (maintaining similar prevalence among subpopulations) but oscillatory (having growth rates that vary in time). It turns out that linearized SEIR is mathematically equivalent to an idealized racecar model (with different subpopulations corresponding to different cars) and the amount of fuel used corresponds to the amount of activity. Using this analogy, steady V-shaped formations (in which one subpopulation "leads the way" with consistently higher prevalence and activity, while others follow behind with lower prevalence and activity) are especially problematic. These formations are very effective at minimizing fuel use, hence very ineffective at boosting activity. In an appendix, we obtain analogous results for alternative notions of activity, which incorporate crowding effects.


title: Activation Functions: Do They Represent A Trade-Off Between Modular Nature of Neural Networks And Task Performance

abstract: Current research suggests that the key factors in designing neural network architectures involve choosing number of filters for every convolution layer, number of hidden neurons for every fully connected layer, dropout and pruning. The default activation function in most cases is the ReLU, as it has empirically shown faster training convergence. We explore whether ReLU is the best choice if one is aiming to desire better modularity structure within a neural network.


title: Peculiar chemical bonding between thorium and a carbon hexagon in carbon nanomaterials

abstract: We explore an unusual nature of chemical bonding of the thorium atom with a ring of six carbon atoms (hexagon) in novel carbon materials. Our ab initio calculations of Th-based metallofullerenes (Th@C60, Th@C20) and Th bound to benzene or coronene at the Hartree-Fock level with the second order perturbation (MP2) correction accounting for the van der Waals interactions, demonstrate that the optimal position of the thorium atom is where it faces the center of a hexagon and is located at a distance of 2.01-2.07 A from the center. For Th encapsulated in C60 it is found at 2.01 A, whereas the other local energy minima are shifted to larger energies (0.22 eV and higher). Inside C60 the highest local minimum at 1.17 eV is observed when Th faces the center of the five member carbon ring (pentagon). Based on our calculations for Th with benzene and coronene where the global minimum for Th corresponds to its position at 2.05 A (benzene) or 2.02 A (coronene) from the hexagon center, we conclude that a well pronounced minimum is likely to present in graphene and in a single wall carbon nanotube. The ground state of Th is singlet, other high spin states (triplet and quintet) lie higher in energy (> 1.62 eV). We discuss a potential use of the carbon nanomaterials with the 229Th isotope having the nuclear transition of the optical range, for metrological purposes.


title: Coupled-channel interpretation of the LHCb double-$J/\psi$ spectrum and hints of a new state near the $J/\psi J/\psi$ threshold

abstract: Recently, the LHCb Collaboration reported pronounced structures in the invariant mass spectrum of $J/\psi$-pairs produced in proton-proton collisions at the Large Hadron Collider. In this Letter, we argue that the data can be very well described within two variants of a coupled-channel approach employing $T$-matrices consistent with unitarity: (i) with just two channels, $J/\psi J/\psi$ and $\psi(2S)J/\psi$, as long as energy-dependent interactions in these channels are allowed, or (ii) with three channels $J/\psi J/\psi$, $\psi(2S)J/\psi$ and $\psi(3770)J/\psi$ with just constant contact interactions. Both formulations hint at the existence of a near-threshold state in the $J/\psi J/\psi$ system with the quantum numbers $J^{PC}=0^{++}$ or $2^{++}$, which we refer to as $X(6200)$. We suggest experimental tests to check the existence of this state and discuss what additional channels need to be studied experimentally to allow for distinctive tests between the two mechanisms proposed. If the molecular nature of the $X(6200)$, as hinted by the three-channel approach, is confirmed, many other double-quarkonium states should exist driven by the same binding mechanism. In particular, there should be an $\eta_c\eta_c$ molecule with a similar binding energy.


title: Hall Effect in Protostellar Disc Formation and Evolution

abstract: The Hall effect is recently shown to be efficient in magnetized dense molecular cores, and could lead to a bimodal formation of rotationally supported discs (RSDs) in the first core phase. However, how such Hall dominated systems evolve in the protostellar accretion phase remains unclear. We carry out 2D axisymmetric simulations including Hall effect and Ohmic dissipation, with realistic magnetic diffusivities computed from our equilibrium chemical network. We find that Hall effect only becomes efficient when the large population of very small grains (VSGs: $\lesssim$10 nm) is removed from the standard MRN size distribution. With such an enhanced Hall effect, however, the bimodality of disc formation does not continue into the main accretion phase. The outer part of the initial $\sim$40 AU disc formed in the anti-aligned configuration (${\bf \Omega \cdot B}<0$) flattens into a thin rotationally supported Hall current sheet as Hall effect moves the poloidal magnetic field radially inward relative to matter, leaving only the inner $\lesssim$10--20 AU RSD. In the aligned configuration (${\bf \Omega \cdot B}>0$), disc formation is suppressed initially but a counter-rotating disc forms subsequently due to efficient azimuthal Hall drift. The counter-rotating disc first grows to $\sim$30 AU as Hall effect moves the magnetic field radially outward, but only the inner $\lesssim$10 AU RSD is long-lived like in the anti-aligned case. Besides removing VSGs, cosmic ray ionization rate should be below a few 10$^{-16}$ s$^{-1}$ for Hall effect to be efficient in disc formation. We conclude that Hall effect produces small $\lesssim$10--20 AU discs regardless of the polarity of the magnetic field, and that radially outward diffusion of magnetic fields remains crucial for disc formation and growth.


title: Moment Infinite Divisibility of Weighted Shifts: Sequence Conditions

abstract: We consider weighted shift operators having the property of moment infinite divisibility; that is, for any $p > 0$, the shift is subnormal when every weight (equivalently, every moment) is raised to the $p$-th power. By reconsidering sequence conditions for the weights or moments of the shift, we obtain a new characterization for such shifts, and we prove that such shifts are, under mild conditions, robust under a variety of operations and also rigid in certain senses. In particular, a weighted shift whose weight sequence has a limit is moment infinitely divisible if and only if its Aluthge transform is. We also consider back-step extensions, subshifts, and completions.


title: Boundary layers of the Boltzmann equation in a three-dimensional half-space

abstract: We consider the nonlinear boundary layers of the Boltzmann equation in a three-dimensional half-space by perturbing around a Maxwellian, under the assumption that the Mach number of the Maxwellian satisfies ${\cal M}_{\infty} < -1$. In preceding works, nonlinear boundary layers of the Boltzmann equation in a half-line are considered, with stationary solutions obtained and nonlinear stability confirmed. In this paper, we establish the unique existence of stationary solutions for the three-dimensional half-space model, and show that the stationary solution is asymptotic stable.


title: On the Curse of Memory in Recurrent Neural Networks: Approximation and Optimization Analysis

abstract: We study the approximation properties and optimization dynamics of recurrent neural networks (RNNs) when applied to learn input-output relationships in temporal data. We consider the simple but representative setting of using continuous-time linear RNNs to learn from data generated by linear relationships. Mathematically, the latter can be understood as a sequence of linear functionals. We prove a universal approximation theorem of such linear functionals, and characterize the approximation rate and its relation with memory. Moreover, we perform a fine-grained dynamical analysis of training linear RNNs, which further reveal the intricate interactions between memory and learning. A unifying theme uncovered is the non-trivial effect of memory, a notion that can be made precise in our framework, on approximation and optimization: when there is long term memory in the target, it takes a large number of neurons to approximate it. Moreover, the training process will suffer from slow downs. In particular, both of these effects become exponentially more pronounced with memory - a phenomenon we call the "curse of memory". These analyses represent a basic step towards a concrete mathematical understanding of new phenomenon that may arise in learning temporal relationships using recurrent architectures.


title: Searching via nonlinear quantum walk on the 2D-grid

abstract: We provide numerical evidence that the nonlinear searching algorithm introduced by Wong and Meyer \cite{meyer2013nonlinear}, rephrased in terms of quantum walks with effective nonlinear phase, can be extended to the finite 2-dimensional grid, keeping the same computational advantage \BHg{with} respect to the classical algorithms. For this purpose, we have considered the free lattice Hamiltonian, with linear dispersion relation introduced by Childs and Ge \cite{Childs_2014}. The numerical simulations showed that the walker finds the marked vertex in $O(N^{1/4} \log^{3/4} N) $ steps, with probability $O(1/\log N)$, for an overall complexity of $O(N^{1/4}\log^{7/4}N)$. We also proved that there exists an optimal choice of the walker parameters to avoid that the time measurement precision affects the complexity searching time of the algorithm.


title: Convex Calibrated Surrogates for the Multi-Label F-Measure

abstract: The F-measure is a widely used performance measure for multi-label classification, where multiple labels can be active in an instance simultaneously (e.g. in image tagging, multiple tags can be active in any image). In particular, the F-measure explicitly balances recall (fraction of active labels predicted to be active) and precision (fraction of labels predicted to be active that are actually so), both of which are important in evaluating the overall performance of a multi-label classifier. As with most discrete prediction problems, however, directly optimizing the F-measure is computationally hard. In this paper, we explore the question of designing convex surrogate losses that are calibrated for the F-measure -- specifically, that have the property that minimizing the surrogate loss yields (in the limit of sufficient data) a Bayes optimal multi-label classifier for the F-measure. We show that the F-measure for an $s$-label problem, when viewed as a $2^s \times 2^s$ loss matrix, has rank at most $s^2+1$, and apply a result of Ramaswamy et al. (2014) to design a family of convex calibrated surrogates for the F-measure. The resulting surrogate risk minimization algorithms can be viewed as decomposing the multi-label F-measure learning problem into $s^2+1$ binary class probability estimation problems. We also provide a quantitative regret transfer bound for our surrogates, which allows any regret guarantees for the binary problems to be transferred to regret guarantees for the overall F-measure problem, and discuss a connection with the algorithm of Dembczynski et al. (2013). Our experiments confirm our theoretical findings.


title: Applications of Nijenhuis geometry II: maximal pencils of multihamiltonian structures of hydrodynamic type

abstract: We connect two a priori unrelated topics, theory of geodesically equivalent metrics in differential geometry, and theory of compatible infinite dimensional Poisson brackets of hydrodynamic type in mathematical physics. Namely, we prove that a pair of geodesically equivalent metrics such that one is flat produces a pair of such brackets. We construct Casimirs for these brackets and the corresponding commuting flows. There are two ways to produce a large family of compatible Poisson structures from a pair of geodesically equivalent metrics one of which is flat. One of these families is $(n+1)(n+2)/2$ dimensional; we describe it completely and show that it is maximal. Another has dimension $\le n+2$ and is, in a certain sense, polynomial. We show that a nontrivial polynomial family of compatible Poisson structures of dimension $n+2$ is unique and comes from a pair of geodesically equivalent metrics. In addition, we generalise a result of Sinjukov (1961) from constant curvature metrics to arbitrary Einstein metrics.


title: Pentagon Functions for Scattering of Five Massless Particles

abstract: We complete the analytic calculation of the full set of two-loop Feynman integrals required for computation of massless five-particle scattering amplitudes. We employ the method of canonical differential equations to construct a minimal basis set of transcendental functions, pentagon functions, which is sufficient to express all planar and nonplanar massless five-point two-loop Feynman integrals in the whole physical phase space. We find analytic expressions for pentagon functions which are manifestly free of unphysical branch cuts. We present a public library for numerical evaluation of pentagon functions suitable for immediate phenomenological applications.


title: Extending CSR Decomposition to Tropical Inhomogeneous Matrix Products

abstract: This article presents an attempt to extend the CSR decomposition, previously introduced for tropical matrix powers, to tropical inhomogeneous matrix products. The CSR terms for inhomogeneous matrix products are introduced, then a case is described where an inhomogeneous product admits such CSR decomposition after some length and give a bound on this length. In the last part of the paper a number of counterexamples are presented to show that inhomogeneous products do not admit CSR decomposition under more general conditions.


title: An Intrinsic Treatment of Stochastic Linear Regression

abstract: Linear regression is perhaps one of the most popular statistical concepts, which permeates almost every scientific field of study. Due to the technical simplicity and wide applicability of linear regression, attention is almost always quickly directed to the algorithmic or computational side of linear regression. In particular, the underlying mathematics of stochastic linear regression itself as an entity usually gets either a peripheral treatment or a relatively in-depth but ad hoc treatment depending on the type of concerned problems; in other words, compared to the extensiveness of the study of mathematical properties of the "derivatives" of stochastic linear regression such as the least squares estimator, the mathematics of stochastic linear regression itself seems to have not yet received a due intrinsic treatment. Apart from the conceptual importance, a consequence of an insufficient or possibly inaccurate understanding of stochastic linear regression would be the recurrence for the role of stochastic linear regression in the important (and more sophisticated) context of structural equation modeling to be misperceived or taught in a misleading way. We believe this pity is rectifiable when the fundamental concepts are correctly classified. Accompanied by some illustrative, distinguishing examples and counterexamples, we intend to pave out the mathematical framework for stochastic linear regression, in a rigorous but non-technical way, by giving new results and pasting together several fundamental known results that are, we believe, both enlightening and conceptually useful, and that had not yet been systematically documented in the related literature. As a minor contribution, the way we arrange the fundamental known results would be the first attempt in the related literature.


title: Transformer Based Multi-Source Domain Adaptation

abstract: In practical machine learning settings, the data on which a model must make predictions often come from a different distribution than the data it was trained on. Here, we investigate the problem of unsupervised multi-source domain adaptation, where a model is trained on labelled data from multiple source domains and must make predictions on a domain for which no labelled data has been seen. Prior work with CNNs and RNNs has demonstrated the benefit of mixture of experts, where the predictions of multiple domain expert classifiers are combined; as well as domain adversarial training, to induce a domain agnostic representation space. Inspired by this, we investigate how such methods can be effectively applied to large pretrained transformer models. We find that domain adversarial training has an effect on the learned representations of these models while having little effect on their performance, suggesting that large transformer-based models are already relatively robust across domains. Additionally, we show that mixture of experts leads to significant performance improvements by comparing several variants of mixing functions, including one novel mixture based on attention. Finally, we demonstrate that the predictions of large pretrained transformer based domain experts are highly homogenous, making it challenging to learn effective functions for mixing their predictions.


title: Explicit coverings of families of elliptic surfaces by squares of curves

abstract: We show that, for each $n>0$, there is a family of elliptic surfaces which are covered by the square of a curve of genus $2n+1$, and whose Hodge structures have an action by ${\mathbb Q}(\sqrt{-n})$. By considering the case $n=3$, we show that one particular family of K3 surfaces are covered by the square of genus $7$. Using this, we construct a correspondence between the square of a curve of genus $7$ and a general K3 surface in ${\mathbb P}^4$ with $15$ ordinary double points up to isogeny. This gives an explicit proof of the Kuga-Satake-Deligne correspondence for these K3 surfaces and any K3 surfaces isogenous to them, and further, a proof of the Hodge conjecture for the squares of these surfaces. We conclude that the motives of these surfaces are Kimura-finite. Our analysis gives a birational equivalence between a moduli space of curves with additional data and the moduli space of these K3 surfaces with a specific elliptic fibration.


title: Spin-Crossover From a Well-Behaved, Low-Cost meta-GGA Density Functional

abstract: The recent major modification, r$^2$SCAN, of the SCAN (strongly constrained and appropriately normed) meta-GGA exchange-correlation functional is shown to give substantially better spin-crossover electronic energies (high spin minus low spin) on a benchmark data set than the original SCAN. The deorbitalized counterpart r$^2$SCAN-L is almost as good as SCAN and much faster in periodically bounded systems. A combination strategy for balanced treatment of molecular and periodic spin-crossover therefore is recommended.


title: Predictions for the Angular Dependence of Gas Mass Flow Rate and Metallicity in the Circumgalactic Medium

abstract: We use cosmological hydrodynamical simulations to examine the physical properties of the gas in the circumgalactic media (CGM) of star-forming galaxies as a function of angular orientation. We utilise TNG50 of the IllustrisTNG project, as well as the EAGLE simulation to show that observable properties of CGM gas correlate with azimuthal angle, defined as the galiocentric angle with respect to the central galaxy. Both simulations are in remarkable agreement in predicting a strong modulation of flow rate direction with azimuthal angle: inflow is more substantial along the galaxy major axis, while outflow is strongest along the minor axis. The absolute rates are noticeably larger for higher (log(M_* / M_sun) ~ 10.5) stellar mass galaxies, up to an order of magnitude compared to M^dot < 1 M_sun/yr/sr for log(M_* / M_sun) ~ 9.5 objects. Notwithstanding the different numerical and physical models, both TNG50 and EAGLE predict that the average metallicity of the CGM is higher along the minor versus major axes of galaxies. The angular signal is robust across a wide range of galaxy stellar mass 8.5 < log(M_* / M_sun) < 10.5 at z<1. This azimuthal dependence is particularly clear at larger impact parameters b > 100 kpc. Our results present a global picture whereby, despite the numerous mixing processes, there is a clear angular dependence of the CGM metallicity. We make forecasts for future large survey programs that will be able to compare against these expectations. Indeed, characterising the kinematics, spatial distribution and metal content of CGM gas is key to a full understanding of the exchange of mass, metals, and energy between galaxies and their surrounding environments.


title: CoDEx: A Comprehensive Knowledge Graph Completion Benchmark

abstract: We present CoDEx, a set of knowledge graph completion datasets extracted from Wikidata and Wikipedia that improve upon existing knowledge graph completion benchmarks in scope and level of difficulty. In terms of scope, CoDEx comprises three knowledge graphs varying in size and structure, multilingual descriptions of entities and relations, and tens of thousands of hard negative triples that are plausible but verified to be false. To characterize CoDEx, we contribute thorough empirical analyses and benchmarking experiments. First, we analyze each CoDEx dataset in terms of logical relation patterns. Next, we report baseline link prediction and triple classification results on CoDEx for five extensively tuned embedding models. Finally, we differentiate CoDEx from the popular FB15K-237 knowledge graph completion dataset by showing that CoDEx covers more diverse and interpretable content, and is a more difficult link prediction benchmark. Data, code, and pretrained models are available at https://bit.ly/2EPbrJs.


title: Probabilistic Value-Deviation-Bounded Source-Dependent Bit-Level Channel Adaptation for Approximate Communication

abstract: Computing systems that can tolerate effects of errors in their communicated data values can trade this tolerance for improved resource efficiency. Many important applications of computing, such as embedded sensor systems, can tolerate errors that are bounded in their distribution of deviation from correctness (distortion). We present a channel adaptation technique which modulates properties of I/O channels typical in embedded sensor systems, to provide a tradeoff between I/O power dissipation and distortion of communicated data. We provide an efficient-to-compute formulation for the distribution of integer distortion accounting for the distribution of transmitted values. Using this formulation we implement our value-deviation-bounded (VDB) channel adaptation. We experimentally quantify the achieved reduction in power dissipation on a hardware prototype integrated with the required programmable channel modulation circuitry. We augment these experimental measurements with an analysis of the distributions of distortions. We show that our probabilistic VDB channel adaptation can provide up to a 2$\times$ reduction in I/O power dissipation. When synthesized for a miniature low-power FPGA intended for use in sensor interfaces, a register transfer level implementation of the channel adaptation control logic requires only 106 flip-flops and 224 4-input LUTs for implementing per-bit channel adaptation on serialized streams of 8-bit sensor data.


title: Ramified optimal transportation with payoff on the boundary

abstract: This paper studies a variant of ramified/branched optimal transportation problems. Given the distributions of production capacities and market sizes, a firm looks for an allocation of productions over factories, a distribution of sales across markets, and a transport path that delivers the product to maximize its profit. Mathematically, given any two measures $\mu$ and $\nu$ on $X$, and a payoff function $h$, the planner wants to minimize $\mathbf{M}_{\alpha }(T)-\int_{X}hd(\partial T)$ among all transport paths $T$ from $\tilde{\mu}$ to $\tilde{\nu}$ with $\tilde{\mu}\leq \mu $ and $\tilde{\nu}\leq \nu $, where $\mathbf{M}_{\alpha }$ is the standard cost functional used in ramified transportation. After proving the existence result, we provide a characterization of the boundary measures of the optimal solution. They turn out to be the original measures restricted on some Borel subsets up to a Delta mass on each connected component. Our analysis further finds that as the boundary payoff increases, the corresponding solution of the current problem converges to an optimal transport path, which is the solution of the standard ramified transportation.