title: Sparse Bayesian Learning Approach for Discrete Signal Reconstruction

abstract: This study addresses the problem of discrete signal reconstruction from the perspective of sparse Bayesian learning (SBL). Generally, it is intractable to perform the Bayesian inference with the ideal discretization prior under the SBL framework. To overcome this challenge, we introduce a novel discretization enforcing prior to exploit the knowledge of the discrete nature of the signal-of-interest. By integrating the discretization enforcing prior into the SBL framework and applying the variational Bayesian inference (VBI) methodology, we devise an alternating optimization algorithm to jointly characterize the finite-alphabet feature and reconstruct the unknown signal. When the measurement matrix is i.i.d. Gaussian per component, we further embed the generalized approximate message passing (GAMP) into the VBI-based method, so as to directly adopt the ideal prior and significantly reduce the computational burden. Simulation results demonstrate substantial performance improvement of the two proposed methods over existing schemes. Moreover, the GAMP-based variant outperforms the VBI-based method with i.i.d. Gaussian measurement matrices but it fails to work for non i.i.d. Gaussian matrices.


title: Shock wave induced cavitation of silicone oils

abstract: The cavitation threshold of polydimethylsiloxane (silicone) oils was studied using the planar impact of flyer plates to generate large transient negative pressures within the liquids. The plate-impact experiments used a 64-mm-bore gas-gun to launch thin sabot-supported flyer plates onto liquid capsule targets in which a thin Mylar diaphragm formed a free surface at the back of the sample. The shock wave driven into the target capsule by the flyer impact placed the silicone oil in tension upon reflection from the rear free surface, eventually causing the sample to cavitate. The spall strength, or critical tension which cavitates the liquid, was determined by monitoring the free-surface velocity using a photonic Doppler velocimetry system. This study explored the effect of viscosity and loading strain rate on a system of three silicone oils having vastly different viscosities (4.8$\times$10$^{-2}$ Pa s to 2.9$~\times$10$^{1}$ Pa s), but otherwise similar properties. The spall strength was found to remain constant over the ranges of strain rate and viscosities probed in this work. A comparison of the experimental results to models for the cavitation threshold of liquids suggested that homogeneous nucleation of bubbles was the dominant mechanism for tension relief at the onset of cavitation.


title: Smoothing Structured Decomposable Circuits

abstract: We study the task of smoothing a circuit, i.e., ensuring that all children of a plus-gate mention the same variables. Circuits serve as the building blocks of state-of-the-art inference algorithms on discrete probabilistic graphical models and probabilistic programs. They are also important for discrete density estimation algorithms. Many of these tasks require the input circuit to be smooth. However, smoothing has not been studied in its own right yet, and only a trivial quadratic algorithm is known. This paper studies efficient smoothing for structured decomposable circuits. We propose a near-linear time algorithm for this task and explore lower bounds for smoothing decomposable circuits, using existing results on range-sum queries. Further, for the important case of All-Marginals, we show a more efficient linear-time algorithm. We validate experimentally the performance of our methods.


title: On circular distributions and a conjecture of Coleman

abstract: We investigate a conjecture of Robert Coleman concerning the module of circular distributions.


title: BreGMN: scaled-Bregman Generative Modeling Networks

abstract: The family of f-divergences is ubiquitously applied to generative modeling in order to adapt the distribution of the model to that of the data. Well-definedness of f-divergences, however, requires the distributions of the data and model to overlap completely in every time step of training. As a result, as soon as the support of distributions of data and model contain non-overlapping portions, gradient based training of the corresponding model becomes hopeless. Recent advances in generative modeling are full of remedies for handling this support mismatch problem: key ideas include either modifying the objective function to integral probability measures (IPMs) that are well-behaved even on disjoint probabilities, or optimizing a well-behaved variational lower bound instead of the true objective. We, on the other hand, establish that a complete change of the objective function is unnecessary, and instead an augmentation of the base measure of the problematic divergence can resolve the issue. Based on this observation, we propose a generative model which leverages the class of Scaled Bregman Divergences and generalizes both f-divergences and Bregman divergences. We analyze this class of divergences and show that with the appropriate choice of base measure it can resolve the support mismatch problem and incorporate geometric information. Finally, we study the performance of the proposed method and demonstrate promising results on MNIST, CelebA and CIFAR-10 datasets.


title: A hybrid particle volume-of-fluid method for curvature estimation in multiphase flows

abstract: We present a particle method for estimating the curvature of interfaces in volume-of-fluid simulations of multiphase flows. The method is well suited for under-resolved interfaces, and it is shown to be more accurate than the parabolic fitting that is employed in such cases. The curvature is computed from the equilibrium positions of particles constrained to circular arcs and attracted to the interface. The proposed particle method is combined with the method of height functions at higher resolutions, and it is shown to outperform the current combinations of height functions and parabolic fitting. The algorithm is conceptually simple and straightforward to implement on new and existing software frameworks for multiphase flow simulations thus enhancing their capabilities in challenging flow problems. We evaluate the proposed hybrid method on a number of two- and three-dimensional benchmark flow problems and illustrate its capabilities on simulations of flows involving bubble coalescence and turbulent multiphase flows.

categories: physics.comp-ph cs.NA math.NA physics.flu-dyn


title: The Diederich--Forn\ae ss index and the regularities on the $\bar{\partial}$-Neumann problem

abstract: We show, under an assumption on the weakly pseudoconvex points, the trivial Diederich--Forn\ae ss index directly implies the global regularities of the $\bar{\partial}$-Neumann operators.


title: Stochastic Time-of-use-type Constraints for Uninterruptible Services

abstract: In this paper, a mixed integer linear formulation for problems considering time-of-use-type constraints for uninterruptible services is presented. Our work is motivated by demand response problems in power systems, in which certain devices must remain online once they are switched on, along with a certain number of periods. Classically, this kind of constraints are modeled as a summation over a rolling time window. This makes it difficult to consider this time-of-use parameter as uncertain. We propose an alternative formulation in which the time of use is on the right-hand side of a constraint instead on the limit of a summation. This allows applying existing stochastic optimization methodologies easily. An illustrative model for the optimal allocation of an uninterruptible load for the demand response problem supports the proposed formulation.


title: Automated Video Game Testing Using Synthetic and Human-Like Agents

abstract: In this paper, we present a new methodology that employs tester agents to automate video game testing. We introduce two types of agents -synthetic and human-like- and two distinct approaches to create them. Our agents are derived from Reinforcement Learning (RL) and Monte Carlo Tree Search (MCTS) agents, but focus on finding defects. The synthetic agent uses test goals generated from game scenarios, and these goals are further modified to examine the effects of unintended game transitions. The human-like agent uses test goals extracted by our proposed multiple greedy-policy inverse reinforcement learning (MGP-IRL) algorithm from tester trajectories. MGPIRL captures multiple policies executed by human testers. These testers' aims are finding defects while interacting with the game to break it, which is considerably different from game playing. We present interaction states to model such interactions. We use our agents to produce test sequences, run the game with these sequences, and check the game for each run with an automated test oracle. We analyze the proposed method in two parts: we compare the success of human-like and synthetic agents in bug finding, and we evaluate the similarity between humanlike agents and human testers. We collected 427 trajectories from human testers using the General Video Game Artificial Intelligence (GVG-AI) framework and created three games with 12 levels that contain 45 bugs. Our experiments reveal that human-like and synthetic agents compete with human testers' bug finding performances. Moreover, we show that MGP-IRL increases the human-likeness of agents while improving the bug finding performance.


title: Question Answering as an Automatic Evaluation Metric for News Article Summarization

abstract: Recent work in the field of automatic summarization and headline generation focuses on maximizing ROUGE scores for various news datasets. We present an alternative, extrinsic, evaluation metric for this task, Answering Performance for Evaluation of Summaries. APES utilizes recent progress in the field of reading-comprehension to quantify the ability of a summary to answer a set of manually created questions regarding central entities in the source article. We first analyze the strength of this metric by comparing it to known manual evaluation metrics. We then present an end-to-end neural abstractive model that maximizes APES, while increasing ROUGE scores to competitive results.


title: An acoustic model of a Helmholtz resonator under a grazing turbulent boundary layer

abstract: Acoustic models of resonant duct systems with turbulent flow depend on fitted constants based on expensive experimental test series. We introduce a new model of a resonant cavity, flush mounted in a duct or flat plate, under grazing turbulent flow. Based on previous work by Goody, Howe and Golliard, we present a more universal model where the constants are replaced by physically significant parameters. This enables the user to understand and to trace back how a modification of design parameters (geometry, fluid condition) will affect acoustic properties. The derivation of the model is supported by a detailed three-dimensional direct numerical simulation as well as an experimental test series. We show that the model is valid for low Mach number flows (M = 0.01-0.14) and for low frequencies (below higher transverse cavity modes). Hence, within this range, no expensive simulation or experiment is needed any longer to predict the sound spectrum. In principle, the model is applicable to arbitrary geometries: Just the provided definitions need to be applied to update the significant parameters. Utilizing the lumped-element method, the model consists of exchangeable elements and guarantees a flexible use. Even though the model is linear, resonance conditions between acoustic cavity modes and fluid dynamic unstable modes are correctly predicted.

categories: physics.flu-dyn cs.SD eess.AS physics.comp-ph


title: Dust Condensation in Evolving Discs and the Composition of Planetary Building Blocks

abstract: Partial condensation of dust from the Solar nebula is likely responsible for the diverse chemical compositions of chondrites and rocky planets/planetesimals in the inner Solar system. We present a forward physical-chemical model of a protoplanetary disc to predict the chemical compositions of planetary building blocks that may form from such a disc. Our model includes the physical evolution of the disc and the condensation, partial advection, and decoupling of the dust within it. The chemical composition of the condensate changes with time and radius. We compare the results of two dust condensation models: one where an element condenses when the midplane temperature in the disc is lower than the 50\% condensation temperature ($\rm T_{50}$) of that element and the other where the condensation of the dust is calculated by a Gibbs free energy minimization technique assuming chemical equilibrium at local disc temperature and pressure. The results of two models are generally consistent with some systematic differences of $\sim 10$\% depending upon the radial distance and an element's condensation temperature. Both models predict compositions similar to CM, CO, and CV chondrites provided that the decoupling timescale of the dust is on the order of the evolution timescale of the disc or longer. If the decoupling timescale is too short, the composition deviates significantly from the measured values. These models may contribute to our understanding of the chemical compositions of chondrites, and ultimately the terrestrial planets in the solar system, and may constrain the potential chemical compositions of rocky exoplanets.


title: Circularly compatible ones, $D$-circularity, and proper circular-arc bigraphs

abstract: In 1969, Alan Tucker characterized proper circular-arc graphs as those graphs whose augmented adjacency matrices have the circularly compatible ones property. Moreover, he also found a polynomial-time algorithm for deciding whether any given augmented adjacency matrix has the circularly compatible ones property. These results allowed him to devise the first polynomial-time recognition algorithm for proper circular-arc graphs. However, as Tucker himself remarks, he did not solve the problems of finding a structure theorem and an efficient recognition algorithm for the circularly compatible ones property in arbitrary matrices (i.e., not restricted to augmented adjacency matrices only). In this work, we solve these problems. More precisely, we give a minimal forbidden submatrix characterization for the circularly compatible ones property in arbitrary matrices and a linear-time recognition algorithm for the same property. We derive these results from analogous ones for the related $D$-circular property. Interestingly, these results lead to a minimal forbidden induced subgraph characterization and a linear-time recognition algorithm for proper circular-arc bigraphs, solving a problem first posed by Basu, Das, Ghosh, and Sen [J. Graph Theory, 73(4):361--376, 2013]. Our findings generalize some known results about $D$-interval hypergraphs and proper interval bigraphs.


title: Minkowski Inequalities via Nonlinear Potential Theory

abstract: In this paper, we prove an extended version of the Minkowski Inequality, holding for any smooth bounded set $\Omega \subset \mathbb R^n$, $n\geq 3$. Our proof relies on the discovery of effective monotonicity formulas holding along the level set flow of the $p$-capacitary potentials associated with $\Omega$, for every $p$ sufficiently close to $1$. Besides constituting a neat improvement of those introduced in [Fog_Maz_Pin] to treat the case of convex domains, these formulas testify the existence of a link between the monotonicity formulas derived by Colding and Minicozzi for the level set flow of Green's functions and the monotonicity formulas employed by Huisken, Ilmanen and several other authors in studying the geometric implications of the Inverse Mean Curvature Flow. In dimension $n\geq 8$, our conclusions are stronger than the ones obtained so far through the latter mentioned technique.


title: Beyond 100 THz-spanning ultraviolet frequency combs in a non-centrosymmetric crystalline waveguide

abstract: Ultraviolet frequency combs enable applications ranging from precision spectroscopy to atomic clocks by addressing the electronic transitions of atoms and molecules. Access to ultraviolet light via integrated nonlinear optics is usually hampered by the strong material dispersion and large waveguide attention in the ultraviolet region. Here we demonstrate a simple route to chip-scale ultraviolet comb generators, simultaneously showing a gap-free frequency span of ~128 terahertz and supercontinuum sourced by an ultrafast fiber laser. The simultaneous cubic and quadratic nonlinear processes are implemented in single-crystalline aluminum nitride thin films, where a chirp-modulated taper waveguide is patterned to ensure a broad phase matching. The heterodyne beatnote characterization suggests that both the near-visible and ultraviolet supercontinuum combs maintain a high degree of coherence. Our approach is also adaptable to other non-centrosymmetric photonic platforms for ultrafast nonlinear optics with scalable bandwidth.


title: Ubiquitous Complexity of Entanglement Spectra

abstract: In recent years, the entanglement spectra of quantum states have been identified to be highly valuable for improving our understanding on many problems in quantum physics, such as classification of topological phases, symmetry-breaking phases, and eigenstate thermalization, etc. However, it remains a major challenge to fully characterize the entanglement spectrum of a given quantum state. An outstanding problem is whether the difficulty is intrinsically technical or fundamental? Here using the tools in computational complexity, we perform a rigorous analysis to pin down the counting complexity of entanglement spectra of (i) states generated by polynomial-time quantum circuits, (ii) ground states of gapped 5-local Hamiltonians, and (iii) projected entangled-pair states (PEPS). We prove that despite the state complexity, the problems of counting the number of sizable elements in the entanglement spectra all belong to the class $\mathsf{\# P}$-complete, which is as hard as calculating the partition functions of Ising models. Our result suggests that the absence of an efficient method for solving the problem is fundamental in nature, from the point of view of computational complexity theory.


title: Capabilities and Limitations of Time-lagged Autoencoders for Slow Mode Discovery in Dynamical Systems

abstract: Time-lagged autoencoders (TAEs) have been proposed as a deep learning regression-based approach to the discovery of slow modes in dynamical systems. However, a rigorous analysis of nonlinear TAEs remains lacking. In this work, we discuss the capabilities and limitations of TAEs through both theoretical and numerical analyses. Theoretically, we derive bounds for nonlinear TAE performance in slow mode discovery and show that in general TAEs learn a mixture of slow and maximum variance modes. Numerically, we illustrate cases where TAEs can and cannot correctly identify the leading slowest mode in two example systems: a 2D "Washington beltway" potential and the alanine dipeptide molecule in explicit water. We also compare the TAE results with those obtained using state-free reversible VAMPnets (SRVs) as a variational-based neural network approach for slow modes discovery, and show that SRVs can correctly discover slow modes where TAEs fail.


title: Approximate degree, secret sharing, and concentration phenomena

abstract: The $\epsilon$-approximate degree $deg_\epsilon(f)$ of a Boolean function $f$ is the least degree of a real-valued polynomial that approximates $f$ pointwise to error $\epsilon$. The approximate degree of $f$ is at least $k$ iff there exists a pair of probability distributions, also known as a dual polynomial, that are perfectly $k$-wise indistinguishable, but are distinguishable by $f$ with advantage $1 - \epsilon$. Our contributions are: We give a simple new construction of a dual polynomial for the AND function, certifying that $deg_\epsilon(f) \geq \Omega(\sqrt{n \log 1/\epsilon})$. This construction is the first to extend to the notion of weighted degree, and yields the first explicit certificate that the $1/3$-approximate degree of any read-once DNF is $\Omega(\sqrt{n})$. We show that any pair of symmetric distributions on $n$-bit strings that are perfectly $k$-wise indistinguishable are also statistically $K$-wise indistinguishable with error at most $K^{3/2} \cdot \exp(-\Omega(k^2/K))$ for all $k < K < n/64$. This implies that any symmetric function $f$ is a reconstruction function with constant advantage for a ramp secret sharing scheme that is secure against size-$K$ coalitions with statistical error $K^{3/2} \exp(-\Omega(deg_{1/3}(f)^2/K))$ for all values of $K$ up to $n/64$ simultaneously. Previous secret sharing schemes required that $K$ be determined in advance, and only worked for $f=$ AND. Our analyses draw new connections between approximate degree and concentration phenomena. As a corollary, we show that for any $d < n/64$, any degree $d$ polynomial approximating a symmetric function $f$ to error $1/3$ must have $\ell_1$-norm at least $K^{-3/2} \exp({\Omega(deg_{1/3}(f)^2/d)})$, which we also show to be tight for any $d > deg_{1/3}(f)$. These upper and lower bounds were also previously only known in the case $f=$ AND.


title: Sparse Matrix to Matrix Multiplication: A Representation and Architecture for Acceleration (long version)

abstract: Accelerators for sparse matrix multiplication are important components in emerging systems. In this paper, we study the main challenges of accelerating Sparse Matrix Multiplication (SpMM). For the situations that data is not stored in the desired order (row/column order), we propose a compact high performance sparse format, which allows for random access to a dataset with low memory access overhead. We show that using this format results in a 14-49 times speedup for SpMM. Next, we propose a high performance systolic architecture for SpMM, which uses a mesh of comparators to locate the useful (non-zero) computation. This design maximizes data reuse by sharing the input data among a row/column of the mesh. We also show that, with similar memory access assumptions, the proposed architecture results in a 9-30 times speedup in comparison with the state of the art.


title: Finite difference/spectral approximations for the two-dimensional time Caputo-Fabrizio fractional diffusion equation

abstract: The main contribution of this work is to construct and analyze stable and high order schemes to efficiently solve the two-dimensional time Caputo-Fabrizio fractional diffusion equation. Based on a third-order finite difference method in time and spectral methods in space, the proposed scheme is unconditionally stable and has the global truncation error $\mathcal{O}(\tau^3+N^{-m})$, where $\tau$, $N$ and $m$ are the time step size, polynomial degree and regularity in the space variable of the exact solution, respectively. It should be noted that the global truncation error $\mathcal{O}(\tau^2+N^{-m})$ is well established in [ Li, Lv and Xu, {\em Numer. Methods Partial Differ. Equ}. (2019)]. Finally, some numerical experiments are carried out to verify the theoretical analysis. To the best of our knowledge, this is the first proof for the stability of the third-order scheme for the Caputo-Fabrizio fractional operator.


title: Sparse domination of singular Radon transform

abstract: The purpose of this paper is to study the sparse bound of the operator of the form $f \mapsto \psi(x) \int f(\gamma_t(x))K(t)dt$, where $\gamma_t(x)$ is a $C^\infty$ function defined on a neighborhood of the origin in $(x, t) \in \mathbb R^n \times \mathbb R^k$, satisfying $\gamma_0(x) \equiv x$, $\psi$ is a $C^\infty$ cut-off function supported on a small neighborhood of $0 \in \mathbb R^n$ and $K$ is a Calder\'on-Zygmund kernel suppported on a small neighborhood of $0 \in \mathbb R^k$. Christ, Nagel, Stein and Wainger gave conditions on $\gamma$ under which $T: L^p \mapsto L^p (1<p<\infty)$ is bounded. Under the these same conditions, we prove sparse bounds for $T$, which strengthens their result. As a corollary, we derive weighted norm estimates for such operators.


title: Incremental Few-Shot Learning for Pedestrian Attribute Recognition

abstract: Pedestrian attribute recognition has received increasing attention due to its important role in video surveillance applications. However, most existing methods are designed for a fixed set of attributes. They are unable to handle the incremental few-shot learning scenario, i.e. adapting a well-trained model to newly added attributes with scarce data, which commonly exists in the real world. In this work, we present a meta learning based method to address this issue. The core of our framework is a meta architecture capable of disentangling multiple attribute information and generalizing rapidly to new coming attributes. By conducting extensive experiments on the benchmark dataset PETA and RAP under the incremental few-shot setting, we show that our method is able to perform the task with competitive performances and low resource requirements.


title: On Gradient Descent Ascent for Nonconvex-Concave Minimax Problems

abstract: We consider nonconvex-concave minimax problems, $\min_{\mathbf{x}} \max_{\mathbf{y} \in \mathcal{Y}} f(\mathbf{x}, \mathbf{y})$, where $f$ is nonconvex in $\mathbf{x}$ but concave in $\mathbf{y}$ and $\mathcal{Y}$ is a convex and bounded set. One of the most popular algorithms for solving this problem is the celebrated gradient descent ascent (GDA) algorithm, which has been widely used in machine learning, control theory and economics. Despite the extensive convergence results for the convex-concave setting, GDA with equal stepsize can converge to limit cycles or even diverge in a general setting. In this paper, we present the complexity results on two-time-scale GDA for solving nonconvex-concave minimax problems, showing that the algorithm can find a stationary point of the function $\Phi(\cdot) := \max_{\mathbf{y} \in \mathcal{Y}} f(\cdot, \mathbf{y})$ efficiently. To the best our knowledge, this is the first nonasymptotic analysis for two-time-scale GDA in this setting, shedding light on its superior practical performance in training generative adversarial networks (GANs) and other real applications.


title: NeuralDivergence: Exploring and Understanding Neural Networks by Comparing Activation Distributions

abstract: As deep neural networks are increasingly used in solving high-stake problems, there is a pressing need to understand their internal decision mechanisms. Visualization has helped address this problem by assisting with interpreting complex deep neural networks. However, current tools often support only single data instances, or visualize layers in isolation. We present NeuralDivergence, an interactive visualization system that uses activation distributions as a high-level summary of what a model has learned. NeuralDivergence enables users to interactively summarize and compare activation distributions across layers, classes, and instances (e.g., pairs of adversarial attacked and benign images), helping them gain better understanding of neural network models.


title: A minimax approach to one-shot entropy inequalities

abstract: One-shot information theory entertains a plethora of entropic quantities, such as the smooth max-divergence, hypothesis testing divergence and information spectrum divergence, that characterize various operational tasks and are used to prove the asymptotic behavior of various tasks in quantum information theory. Tight inequalities between these quantities are thus of immediate interest. In this note we use a minimax approach (appearing previously for example in the proofs of the quantum substate theorem), to simplify the quantum problem to a commutative one, which allows us to derive such inequalities. Our derivations are conceptually different from previous arguments and in some cases lead to tighter relations. We hope that the approach discussed here can lead to progress in open problems in quantum Shannon theory, and exemplify this by applying it to a simple case of the joint smoothing problem.


title: Electron-phonon couplings inherent in polarons drive exciton dynamics in two-dimensional metal-halide perovskites

abstract: We report on the exciton formation and relaxation dynamics following photocarrier injection in a single-layer two-dimensional lead-iodide perovskite. We probe the time evolution of four distinct exciton resonances by means of time-resolved photoluminescence and transient absorption spectroscopies, and find that at 5\,K a subset of excitons form on a $\lesssim$ 1-ps timescale, and that these relax subsequently to lower-energy excitons on $\sim$ 5--10\,ps with a marked temperature dependence over $<$ 100\,K. We implement a mode projection analysis that determines the relative contribution of all observed phonons with frequency $\leq$50\,cm$^{-1}$ to inter-exciton nonadiabatic coupling, which in turn determines the rate of exciton relaxation. This analysis ranks the relative contribution of the phonons that participate in polaronic lattice distortions to the exciton inter-conversion dynamics and thus establishes their role in the nonadiabatic mixing of exciton states, and this in the exciton relaxation rate.


title: Adversarial Examples for Edge Detection: They Exist, and They Transfer

abstract: Convolutional neural networks have recently advanced the state of the art in many tasks including edge and object boundary detection. However, in this paper, we demonstrate that these edge detectors inherit a troubling property of neural networks: they can be fooled by adversarial examples. We show that adding small perturbations to an image causes HED, a CNN-based edge detection model, to fail to locate edges, to detect nonexistent edges, and even to hallucinate arbitrary configurations of edges. More surprisingly, we find that these adversarial examples transfer to other CNN-based vision models. In particular, attacks on edge detection result in significant drops in accuracy in models trained to perform unrelated, high-level tasks like image classification and semantic segmentation. Our code will be made public.


title: The Principle of Unchanged Optimality in Reinforcement Learning Generalization

abstract: Several recent papers have examined generalization in reinforcement learning (RL), by proposing new environments or ways to add noise to existing environments, then benchmarking algorithms and model architectures on those environments. We discuss subtle conceptual properties of RL benchmarks that are not required in supervised learning (SL), and also properties that an RL benchmark should possess. Chief among them is one we call the principle of unchanged optimality: there should exist a single $\pi$ that is optimal across all train and test tasks. In this work, we argue why this principle is important, and ways it can be broken or satisfied due to subtle choices in state representation or model architecture. We conclude by discussing challenges and future lines of research in theoretically analyzing generalization benchmarks.


title: Torsion braneworlds in a tensor-vector gravity

abstract: We study the properties of gravity and bulk fields living in a torsion warped braneworld. The torsion is driven by a background vector whose norm provides a source for the bulk cosmological constant. For a vector as the derivative of a scalar field, we find new isotropic and anisotropic thick brane geometries. We analyse the features of bosonic and fermionic fields in this isotropic and in standing wave scenarios. The background vector provides nonminimal coupling between the field and the geometry leading to modifications in the Kaluza-Klein states. The spinor connection is modified by the torsion and a derivative Yukawa-like coupling is proposed. The effects of these new couplings are investigated.


title: Graphene Overcoats for Ultra-High Storage Density Magnetic Media

abstract: Hard disk drives (HDDs) are used as secondary storage in a number of digital electronic devices owing to low cost ($<$0.1\$/GB at 2016 prices) and large data storage capacity (10TB with a 3.5 inch HDD). Due to the exponentially increasing amount of data, there is a need to increase areal storage densities beyond$\sim$1Tb/in$^2$. This requires the thickness of carbon overcoats (COCs) to be$<$2nm. Friction, wear, corrosion, and thermal stability are critical concerns$<$2nm, where most of the protective properties of current COCs are lost. This limits current technology and restricts COC integration with heat assisted magnetic recording technology (HAMR), since this also requires laser irradiation stability. Here we show that graphene-based overcoats can overcome all these limitations. 2-4 layers of graphene enable two-fold reduction in friction and provide better corrosion and wear than state-of-the-art COCs. A single graphene layer is enough to reduce corrosion$\sim$2.5 times. We also show that graphene can withstand HAMR conditions. Thus, graphene-based overcoats can enable ultrahigh areal density HDDs$>$10Tb/in$^2$.


title: Sample-Optimal Low-Rank Approximation of Distance Matrices

abstract: A distance matrix $A \in \mathbb R^{n \times m}$ represents all pairwise distances, $A_{ij}=\mathrm{d}(x_i,y_j)$, between two point sets $x_1,...,x_n$ and $y_1,...,y_m$ in an arbitrary metric space $(\mathcal Z, \mathrm{d})$. Such matrices arise in various computational contexts such as learning image manifolds, handwriting recognition, and multi-dimensional unfolding. In this work we study algorithms for low-rank approximation of distance matrices. Recent work by Bakshi and Woodruff (NeurIPS 2018) showed it is possible to compute a rank-$k$ approximation of a distance matrix in time $O((n+m)^{1+\gamma}) \cdot \mathrm{poly}(k,1/\epsilon)$, where $\epsilon>0$ is an error parameter and $\gamma>0$ is an arbitrarily small constant. Notably, their bound is sublinear in the matrix size, which is unachievable for general matrices. We present an algorithm that is both simpler and more efficient. It reads only $O((n+m) k/\epsilon)$ entries of the input matrix, and has a running time of $O(n+m) \cdot \mathrm{poly}(k,1/\epsilon)$. We complement the sample complexity of our algorithm with a matching lower bound on the number of entries that must be read by any algorithm. We provide experimental results to validate the approximation quality and running time of our algorithm.


title: Intermediate statistics in the Landau diamagnetism problem

abstract: In the present study we investigate how the magnetization and other thermodynamic quantities in the Landau diamagnetism problem depend on the deforming parameter of two model developing intermediate statistics: $q$-fermions and F-anyons (F-type systems). An important observation in the present study is the fact that for F-anyons statistics the magnetization shows a more strong response with respect to magnetic fields in relation to magnetization for $q$-fermions statistics in the same range of field. This may be verified experimentally, for instance, in superconductors which are perfect diamagnetic materials with strong magnetic susceptibility, by adjusting impurities or pressure if one assumes that the deforming parameter relates with such tuning quantities.


title: Efficient Algorithms for Densest Subgraph Discovery

abstract: Densest subgraph discovery (DSD) is a fundamental problem in graph mining. It has been studied for decades, and is widely used in various areas, including network science, biological analysis, and graph databases. Given a graph G, DSD aims to find a subgraph D of G with the highest density (e.g., the number of edges over the number of vertices in D). Because DSD is difficult to solve, we propose a new solution paradigm in this paper. Our main observation is that a densest subgraph can be accurately found through a k-core (a kind of dense subgraph of G), with theoretical guarantees. Based on this intuition, we develop efficient exact and approximation solutions for DSD. Moreover, our solutions are able to find the densest subgraphs for a wide range of graph density definitions, including clique-based and general pattern-based density. We have performed extensive experimental evaluation on eleven real datasets. Our results show that our algorithms are up to four orders of magnitude faster than existing approaches.


title: Angular momentum in the fractional quantum Hall effect

abstract: Suppose a classical electron is confined to move in the $xy$ plane under the influence of a constant magnetic field in the positive $z$ direction. It then traverses a circular orbit with a fixed positive angular momentum $L_z$ with respect to the center of its orbit. It is an underappreciated fact that the quantum wave functions of electrons in the ground state (the so-called lowest Landau level) have an azimuthal dependence $\propto \exp(-im\phi) $ with $m\geq 0$, seemingly in contradiction with the classical electron having positive angular momentum. We show here that the gauge-independent meaning of that quantum number $m$ is not angular momentum, but that it quantizes the distance of the center of the electron's orbit from the origin, and that the physical angular momentum of the electron is positive and independent of $m$ in the lowest Landau levels. We note that some textbooks and some of the original literature on the fractional quantum Hall effect do find wave functions that have the seemingly correct azimuthal form $\propto\exp(+im\phi)$ but only on account of changing a sign (e.g., by confusing different conventions) somewhere on the way to that result.


title: Higher-order geodesic deviations and orbital precession in a Kerr-Newman space-time

abstract: A novel approximation method in studying the perihelion precession and planetary orbits in general relativity is to use geodesic deviation equations of first and high-orders, proposed by Kerner et.al. Using higher-order geodesic deviation approach, we generalize the calculation of orbital precession and the elliptical trajectory of neutral test particles to Kerr$-$Newman space-times. One of the advantage of this method is that, for small eccentricities, one obtains trajectories of planets without using Newtonian and post-Newtonian approximations for arbitrary values of quantity ${G M}/{R c^2}$.


title: Asymptotic Expansions for the multiple gamma functions of Barnes-Milnor type

abstract: The classical Stirling's formula gives the asymptotic behavior of the gamma function. Katayama and Ohtsuki generalized this formula for Barnes' multiple gamma functions. In this paper, we further generalize these formulas for the multiple gamma functions of BM (Barnes-Milnor) type.


title: Cyclic pentagons and hexagons with integer sides, diagonals and areas

abstract: In this paper we obtain cyclic pentagons and hexagons with rational sides, diagonals and area all of which are expressed in terms of rational functions of several arbitrary rational parameters. On suitable scaling, we obtain cyclic pentagons and hexagons whose sides, diagonals and area are all given by integers.


title: Pre-training of Graph Augmented Transformers for Medication Recommendation

abstract: Medication recommendation is an important healthcare application. It is commonly formulated as a temporal prediction task. Hence, most existing works only utilize longitudinal electronic health records (EHRs) from a small number of patients with multiple visits ignoring a large number of patients with a single visit (selection bias). Moreover, important hierarchical knowledge such as diagnosis hierarchy is not leveraged in the representation learning process. To address these challenges, we propose G-BERT, a new model to combine the power of Graph Neural Networks (GNNs) and BERT (Bidirectional Encoder Representations from Transformers) for medical code representation and medication recommendation. We use GNNs to represent the internal hierarchical structures of medical codes. Then we integrate the GNN representation into a transformer-based visit encoder and pre-train it on EHR data from patients only with a single visit. The pre-trained visit encoder and representation are then fine-tuned for downstream predictive tasks on longitudinal EHRs from patients with multiple visits. G-BERT is the first to bring the language model pre-training schema into the healthcare domain and it achieved state-of-the-art performance on the medication recommendation task.


title: Are You Looking? Grounding to Multiple Modalities in Vision-and-Language Navigation

abstract: Vision-and-Language Navigation (VLN) requires grounding instructions, such as "turn right and stop at the door", to routes in a visual environment. The actual grounding can connect language to the environment through multiple modalities, e.g. "stop at the door" might ground into visual objects, while "turn right" might rely only on the geometric structure of a route. We investigate where the natural language empirically grounds under two recent state-of-the-art VLN models. Surprisingly, we discover that visual features may actually hurt these models: models which only use route structure, ablating visual features, outperform their visual counterparts in unseen new environments on the benchmark Room-to-Room dataset. To better use all the available modalities, we propose to decompose the grounding procedure into a set of expert models with access to different modalities (including object detections) and ensemble them at prediction time, improving the performance of state-of-the-art models on the VLN task.


title: Clustering Multivariate Data using Factor Analytic Bayesian Mixtures with an Unknown Number of Components

abstract: Recent work on overfitting Bayesian mixtures of distributions offers a powerful framework for clustering multivariate data using a latent Gaussian model which resembles the factor analysis model. The flexibility provided by overfitting mixture models yields a simple and efficient way in order to estimate the unknown number of clusters and model parameters by Markov chain Monte Carlo (MCMC) sampling. The present study extends this approach by considering a set of eight parameterizations, giving rise to parsimonious representations of the covariance matrix per cluster. A Gibbs sampler combined with a prior parallel tempering scheme is implemented in order to approximately sample from the posterior distribution of the overfitting mixture. The parameterization and number of factors is selected according to the Bayesian Information Criterion. Identifiability issues related to label switching are dealt by post-processing the simulated output with the Equivalence Classes Representatives algorithm. The contributed method and software are demonstrated and compared to similar models estimated using the Expectation-Maximization algorithm on simulated and real datasets. The software is available online at https://CRAN.R-project.org/package=fabMix.


title: Comprehensive cluster validity Index based on structural simplicity

abstract: Nonhierarchical clustering depending on unsupervised algorithms may not retrieve the optimal partition of datasets. Determining if clusters fit ``natural partitions`` can be achieved using cluster validity indices (CVIs). Most existing CVIs consider criteria such as cohesion, separation, and their equivalents. However, these binary relations may provide neither the optimal measure of partition suitability nor reference values corresponding to the worst partition. Moreover, previous CVI studies have been mostly focused on fitting correct partitions according to researchers' a priori assumptions. In contrast, we investigated desirable properties of CVIs, namely, scale shift transform invariance, optimal clustering, and unbiased clustering with representing the worst partition. Then, we conducted experiments to evaluate whether existing CVIs fulfill these properties. As none of these CVIs fulfilled the desired properties, we propose the simplicity index, which measures the simplicity of tree structures in clusters. The simplicity index is the unique index invariant to the ``correct rate`` and provides both a reference indicating the most complex partition and the best value indicating the simplest one.


title: Nonparametric Functional Approximation with Delaunay Triangulation

abstract: We propose a differentiable nonparametric algorithm, the Delaunay triangulation learner (DTL), to solve the functional approximation problem on the basis of a $p$-dimensional feature space. By conducting the Delaunay triangulation algorithm on the data points, the DTL partitions the feature space into a series of $p$-dimensional simplices in a geometrically optimal way, and fits a linear model within each simplex. We study its theoretical properties by exploring the geometric properties of the Delaunay triangulation, and compare its performance with other statistical learners in numerical studies.


title: The Scott rank of Polish metric spaces

abstract: We study the usual notion of Scott rank but in the setting of Polish metric spaces. The signature consists of distance relations: for each rational $q > 0$, there is a relation $R_{<q}(x,y)$ stating that the distance of $x$ and $y $ is less than $q$. We show that compact spaces have Scott rank at most $\omega$, and that there are discrete ultrametric spaces of arbitrarily high countable Scott rank.


title: Linear Model-Predictive Controller (LMPC) for Building's Heating Ventilation and Air Conditioning (HVAC) System

abstract: Model predictive control (MPC) is a widely used technique for temperature set-point tracking and energy optimization of Heating Ventilation and Air Conditioning (HVAC) systems in buildings. Unfortunately, a nonlinear thermal building model leads to a computationally expensive nonlinear MPC problem that is not suitable for real-time control and optimization. This paper presents a novel approximate linearized model for building's thermal dynamics and the HVAC system power consumption that leads to a computationally efficient linear model predictive controller (LMPC) for the buildings' HVAC systems. We employ feedback linearization technique to obtain an equivalent linearized model for the nonlinear thermal building dynamics and use constraint mapping approach to obtain a linearized formulation for new control variables. Next, using piecewise linearization, we obtain a linearized analytical model for the HVAC system power consumption. The proposed LMPC technique is validated using multiple simulation case studies. We demonstrate that the proposed LMPC technique is not only computationally efficient but also accurately approximates the nonlinear optimal control decisions.


title: Graphene-Based Integrated Photonics For Next-Generation Datacom And Telecom

abstract: Graphene is an ideal material for optoelectronic applications. Its photonic properties give several advantages and complementarities over Si photonics. For example, graphene enables both electro-absorption and electro-refraction modulation with an electro-optical index change exceeding 10$^{-3}$. It can be used for optical add-drop multiplexing with voltage control, eliminating the current dissipation used for the thermal detuning of microresonators, and for thermoelectric-based ultrafast optical detectors that generate a voltage without transimpedance amplifiers. Here, we present our vision for grapheme-based integrated photonics. We review graphene-based transceivers and compare them with existing technologies. Strategies for improving power consumption, manufacturability and wafer-scale integration are addressed. We outline a roadmap of the technological requirements to meet the demands of the datacom and telecom markets. We show that graphene based integrated photonics could enable ultrahigh spatial bandwidth density , low power consumption for board connectivity and connectivity between data centres, access networks and metropolitan, core, regional and long-haul optical communications.


title: Intercalation of O$_2$ and N$_2$ in the Graphene/Ni Interfaces of Different Morphology

abstract: Near-ambient pressure XPS and STM experiments are performed to study the intercalation of oxygen and nitrogen at different partial gas pressures and different temperatures in the graphene/Ni/Ir(111) system of different morphologies. We performed detailed experiments on the investigation of the chemical state and topography of graphene, before and after gas intercalation, depending on the amount of pre-intercalated Ni in graphene/Ir(111). It is found that only oxygen can be intercalated under graphene in all considered cases, indicating the role of the intra-molecular bonding strength and possibility of gas molecules dissociation on different metallic surfaces on the principal possibility and on the mechanism of intercalation of different species under graphene.


title: Characterizing and Forecasting User Engagement with In-app Action Graph: A Case Study of Snapchat

abstract: While mobile social apps have become increasingly important in people's daily life, we have limited understanding on what motivates users to engage with these apps. In this paper, we answer the question whether users' in-app activity patterns help inform their future app engagement (e.g., active days in a future time window)? Previous studies on predicting user app engagement mainly focus on various macroscopic features (e.g., time-series of activity frequency), while ignoring fine-grained inter-dependencies between different in-app actions at the microscopic level. Here we propose to formalize individual user's in-app action transition patterns as a temporally evolving action graph, and analyze its characteristics in terms of informing future user engagement. Our analysis suggested that action graphs are able to characterize user behavior patterns and inform future engagement. We derive a number of high-order graph features to capture in-app usage patterns and construct interpretable models for predicting trends of engagement changes and active rates. To further enhance predictive power, we design an end-to-end, multi-channel neural model to encode temporal action graphs, activity sequences, and other macroscopic features. Experiments on predicting user engagement for 150k Snapchat new users over a 28-day period demonstrate the effectiveness of the proposed models. The prediction framework is deployed at Snapchat to deliver real world business insights. Our proposed framework is also general and can be applied to other social app platforms.


title: Discussions on the Line-shape of $X(4660)$ Resonance

abstract: A careful reanalysis is made on $e^+e^-\to X(4660)\to (\Lambda_c\bar{\Lambda}_c)/(\psi'\pi\pi)$ processes, aiming at resolving the apparent conflicts between Belle and BESIII data above $\Lambda_c\bar{\Lambda}_c$ threshold. We use a model containing a Breit-Wigner resonance and $\Lambda_c\bar{\Lambda}_c$ four-point contact interactions, with which the enhancement right above the $\Lambda_c\bar{\Lambda}_c$ threshold is well explained by a virtual pole generated by $\Lambda_c\bar{\Lambda}_c$ attractive final state interaction, located at $M_V=4.566\pm0.007$ GeV. Meanwhile, $X(4660)$ remains to be a typical Breit-Wigner resonance, and is hence of confinement nature. Our analysis strongly suggests the existence of the virtual pole with statistical significance of $4.2$ standard deviation ($\sigma$). Nevertheless, the conclusion crucially depends on the line-shape of cross sections which are of limited statistics, hence we urge new experimental analyses from Belle II, BESIII, and LHCb to settle the issue.


title: Constraints on axionlike particles with different magnetic field models from the PKS 2155-304 energy spectrum

abstract: Axion Like Particles (ALPs) are one promising kind of dark matter candidate particles that are predicted to couple with photons in the presence of magnetic fields. The oscillations between photons and ALPs travelling in the magnetic fields have been used to constrain ALP properties. In this work, we obtain some new constraints on the ALP mass $m_{\rm a}$ and the photon-ALP coupling constant $g$ with two different magnetic field models through TeV photons from PKS 2155-304. One is the discrete-$\varphi$ model that the magnetic field has the orientation angle $\varphi$ changes discretely and randomly from one coherent domain to the next, another is the linearly-continuous-$\varphi$ model that the magnetic field orientation angle $\varphi$ varies continuously across neighboring coherent domains. For the discrete-$\varphi$ model, we can obtain the best constraints on the ALP mass $m_{1}=m_{\rm a}/(1\ {\rm neV})=0.1$ and on the photon-ALP coupling constant $g_{11}=g/(10^{-11}\ {\rm GeV^{-1}})=5$, the reasonable range of the ALP mass $m_{1}$ is 0.08 $\thicksim$ 0.2 when $g_{11}$=5, and the only reasonable value of the photon-ALP coupling constant is $g_{11}$=5 when $m_{1}$=0.1. For the linearly-continuous-$\varphi$ model, we can obtain the best constraints on the ALP mass $m_{1}=0.1$ and on the photon-ALP coupling constant $g_{11}=0.7$, the reasonable range of the ALP mass $m_{1}$ is 0.05 $\thicksim$ 0.4 when $g_{11}$=0.7, and the reasonable range of the photon-ALP coupling constant $g_{11}$ is 0.5 $\thicksim$ 1 when $m_{1}$=0.1. All the results are consistent with the upper bound ($g<6.6\times10^{-11}\ {\rm GeV^{-1}}$, i.e. $g_{11}<6.6$) set by the CAST experiment.


title: Data Augmentation for Object Detection via Progressive and Selective Instance-Switching

abstract: Collection of massive well-annotated samples is effective in improving object detection performance but is extremely laborious and costly. Instead of data collection and annotation, the recently proposed Cut-Paste methods [12, 15] show the potential to augment training dataset by cutting foreground objects and pasting them on proper new backgrounds. However, existing Cut-Paste methods cannot guarantee synthetic images always precisely model visual context, and all of them require external datasets. To handle above issues, this paper proposes a simple yet effective instance-switching (IS) strategy, which generates new training data by switching instances of same class from different images. Our IS naturally preserves contextual coherence in the original images while requiring no external dataset. For guiding our IS to obtain better object performance, we explore issues of instance imbalance and class importance in datasets, which frequently occur and bring adverse effect on detection performance. To this end, we propose a novel Progressive and Selective Instance-Switching (PSIS) method to augment training data for object detection. The proposed PSIS enhances instance balance by combining selective re-sampling with a class-balanced loss, and considers class importance by progressively augmenting training dataset guided by detection performance. The experiments are conducted on the challenging MS COCO benchmark, and results demonstrate our PSIS brings clear improvement over various state-of-the-art detectors (e.g., Faster R-CNN, FPN, Mask R-CNN and SNIPER), showing the superiority and generality of our PSIS. Code and models are available at: https://github.com/Hwang64/PSIS.


title: Dirac-Electron Behavior for Spin-Up Electrons in Strongly Interacting Graphene on Ferromagnetic Mn$_5$Ge$_3$

abstract: An elegant approach on the synthesis of graphene on the strong ferromagnetic (FM) material Mn$_5$Ge$_3$ is proposed via intercalation of Mn in the graphene-Ge(111) interface. According to the DFT calculations, graphene in this strongly interacting system demonstrates the large exchange splitting of the graphene-derived $\pi$ band. In this case only spin-up electrons in graphene preserve the Dirac-electron-like character in the vicinity of the Fermi level and the K point, whereas such behavior is not detected for the spin-down electrons. This unique feature of the studied gr/FM-Mn$_5$Ge$_3$ interface which can be prepared on the semiconducting Ge can lead to its application in spintronics.


title: Iterative Path Reconstruction for Large-Scale Inertial Navigation on Smartphones

abstract: Modern smartphones have all the sensing capabilities required for accurate and robust navigation and tracking. In specific environments some data streams may be absent, less reliable, or flat out wrong. In particular, the GNSS signal can become flawed or silent inside buildings or in streets with tall buildings. In this application paper, we aim to advance the current state-of-the-art in motion estimation using inertial measurements in combination with partial GNSS data on standard smartphones. We show how iterative estimation methods help refine the positioning path estimates in retrospective use cases that can cover both fixed-interval and fixed-lag scenarios. We compare estimation results provided by global iterated Kalman filtering methods to those of a visual-inertial tracking scheme (Apple ARKit). The practical applicability is demonstrated on real-world use cases on empirical data acquired from both smartphones and tablet devices.


title: Ultralow Thermal Conductance of the van der Waals Interface between Organic Nanoribbons

abstract: Understanding thermal transport through nanoscale van der Waals interfaces is vital for addressing thermal management challenges in nanoelectronic devices. In this work, the interfacial thermal conductance (GCA) between copper phthalocyanine (CuPc) nanoribbons is reported to be on the order of 10^5 Wm-2K-1 at 300 K, which is over two orders of magnitude lower than the value predicted by molecular dynamics (MD) simulations for a perfectly smooth interface between two parallelly aligned CuPc nanoribbons. Further MD simulations and contact mechanics analysis reveal that surface roughness can significantly reduce the adhesion energy and effective contact area between CuPc nanoribbons, and thus result in an ultralow GCA. In addition, the adhesion energy at the interface also depends on the stacking configuration of two CuPc nanoribbons, which may also contribute to the observed ultralow GCA.


title: Smart Building Energy Management using Nonlinear Economic Model Predictive Control

abstract: Owing to the call for energy efficiency, the need to optimize the energy consumption of commercial buildings-- responsible for over 40% of US energy consumption--has recently gained significant attention. Moreover, the ability to participate in the retail electricity markets through proactive demand-side participation has recently led to development of economic model predictive control (EMPC) for building's Heating, Ventilation, and Air Conditioning (HVAC) system. The objective of this paper is to develop a price-sensitive operational model for building's HVAC systems while considering inflexible loads and other distributed energy resources (DERs) such as photovoltaic (PV) generation and battery storage for the buildings. A Nonlinear Economic Model Predictive Controller (NL-EMPC) is presented to minimize the net cost of energy usage by building's HVAC system while satisfying the comfort-level of building's occupants. The efficiency of the proposed NL-EMPC controller is evaluated using several simulation case studies.


title: Does It Make Sense? And Why? A Pilot Study for Sense Making and Explanation

abstract: Introducing common sense to natural language understanding systems has received increasing research attention. It remains a fundamental question on how to evaluate whether a system has a sense making capability. Existing benchmarks measures commonsense knowledge indirectly and without explanation. In this paper, we release a benchmark to directly test whether a system can differentiate natural language statements that make sense from those that do not make sense. In addition, a system is asked to identify the most crucial reason why a statement does not make sense. We evaluate models trained over large-scale language modeling tasks as well as human performance, showing that there are different challenges for system sense making.


title: Combining Heterogeneous Spatial Datasets with Process-based Spatial Fusion Models: A Unifying Framework

abstract: In modern spatial statistics, the structure of data that is collected has become more heterogeneous. Depending on the type of spatial data, different modeling strategies for spatial data are used. For example, a kriging approach for geostatistical data; a Gaussian Markov random field model for lattice data; or a log Gaussian Cox process for point-pattern data. Despite these different modeling choices, the nature of underlying scientific data-generating (latent) processes is often the same, which can be represented by some continuous spatial surfaces. In this paper, we introduce a unifying framework for process-based multivariate spatial fusion models. The framework can jointly analyze all three aforementioned types of spatial data (or any combinations thereof). Moreover, the framework accommodates different conditional distributions for geostatistical and lattice data. We show that some established approaches, such as linear models of coregionalization, can be viewed as special cases of our proposed framework. We offer flexible and scalable implementations in R using Stan and INLA. Simulation studies confirm that the predictive performance of latent processes improves as we move from univariate spatial models to multivariate spatial fusion models. The introduced framework is illustrated using a cross-sectional study linked with a national cohort dataset in Switzerland, we examine differences in underlying spatial risk patterns between respiratory disease and lung cancer.


title: User Profile Feature-Based Approach to Address the Cold Start Problem in Collaborative Filtering for Personalized Movie Recommendation

abstract: A huge amount of user generated content related to movies is created with the popularization of web 2.0. With these continues exponential growth of data, there is an inevitable need for recommender systems as people find it difficult to make informed and timely decisions. Movie recommendation systems assist users to find the next interest or the best recommendation. In this proposed approach the authors apply the relationship of user feature-scores derived from user-item interaction via ratings to optimize the prediction algorithm's input parameters used in the recommender system to improve the accuracy of predictions when there are less past user records. This addresses a major drawback in collaborative filtering, the cold start problem by showing an improvement of 8.4% compared to the base collaborative filtering algorithm. The user-feature generation and evaluation of the system is carried out using the 'MovieLens 100k dataset'. The proposed system can be generalized to other domains as well.


title: Partition function of the cyclic group

abstract: This paper addresses the problem of finding $Q_{m,t}\left(n\right)$, the number of possible ways to partition any member $n$ of the cyclic group $\mathbb{Z}/m\mathbb{Z}$ into $t$ distinct parts. When $m$ is odd, it was previously known that the number of partitions of the identity element $0\bmod m$ with distinct parts is equal to the number of possible bi-color necklaces with $m$ beads. This paper will expand upon this result by showing the equivalence between $Q_{m,t}\left(n\right)$ and the number of bi-color necklaces meeting certain periodicity requirements, even when $m$ is even.


title: A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded Systems

abstract: Many Internet of Things and embedded projects are event-driven, and therefore require asynchronous and concurrent programming. Current proposals for C++20 suggest that coroutines will have native language support. It is timely to survey the current use of coroutines in embedded systems development. This paper investigates existing research which uses or describes coroutines on resource-constrained platforms. The existing research is analysed with regard to: software platform, hardware platform and capacity; use cases and intended benefits; and the application programming interface design used for coroutines. A systematic mapping study was performed, to select studies published between 2007 and 2018 which contained original research into the application of coroutines on resource-constrained platforms. An initial set of 566 candidate papers were reduced to only 35 after filters were applied, revealing the following taxonomy. The C & C++ programming languages were used by 22 studies out of 35. As regards hardware, 16 studies used 8- or 16-bit processors while 13 used 32-bit processors. The four most common use cases were concurrency (17 papers), network communication (15), sensor readings (9) and data flow (7). The leading intended benefits were code style and simplicity (12 papers), scheduling (9) and efficiency (8). A wide variety of techniques have been used to implement coroutines, including native macros, additional tool chain steps, new language features and non-portable assembly language. We conclude that there is widespread demand for coroutines on resource-constrained devices. Our findings suggest that there is significant demand for a formalised, stable, well-supported implementation of coroutines in C++, designed with consideration of the special needs of resource-constrained devices, and further that such an implementation would bring benefits specific to such devices.


title: On a singular eigenvalue problem and its applications in computing the Morse index of solutions to semilinear PDE's, Part II

abstract: By using a characterization of the Morse index and the degeneracy in terms of a singular one dimensional eigenvalue problem given in a previous paper, we give a lower bound for the Morse index of radial solutions to H\'enon type problems \[ \left\{\begin{array}{ll} -\Delta u = |x|^{\alpha}f(u) \qquad & \text{ in } \Omega, u= 0 & \text{ on } \partial \Omega, \end{array} \right. \] where $\Omega$ is a bounded radially symmetric domain of $\mathbb R^N$ ($N\ge 2$), $\alpha>0$ and $f$ is a real function. From this estimate we get that the Morse index of nodal radial solutions to this problem goes to $\infty$ as $\alpha\to \infty$. Concerning the real H\'enon problem, $f(u)= |u|^{p-1}u$, we prove radial nondegeneracy, we show that the radial Morse index is equal to the number of nodal zones and we get that a least energy nodal solution is not radial.


title: Effects of the external string cloud on the Van der Waals like behavior and efficiency of AdS-Schwarzschild black holes in massive gravity

abstract: In this paper we study AdS-Schwarzschild black holes in four and five dimensions in dRGT minimally coupled to a cloud of strings and investigate the effects of this string cloud on the thermodynamics of the black holes. It is observed that the entropy of the string cloud and massive terms does not affect the black hole entropy. The observations about four dimensions indicate that the massive term in the presence of external string cloud can not exhibit Van der Waals like behavior for AdS-Schwarzschild black holes and therefore there is only the Hawking-Page phase transition. In contrast, in five dimensions, the graviton mass modifies this behavior through the third massive term, so that a critical behavior and second order phase transition is deduced. Also, the Joule-Thomson effect is not observed. The black hole stability conditions are also studied in four and five dimensions and a critical value for the string cloud parameter is presented. In five dimensions a degeneracy between states for extremal black holes is investigated. After studying black holes as thermodynamic systems, we consider such systems as heat engines, and finally the efficiency of them is calculated.


title: On derived functors of graded local cohomology modules-II

abstract: Let $R=K[X_1,\ldots, X_n]$ where $K$ is a field of characteristic zero, and let $A_n(K)$ be the $n^{th}$ Weyl algebra over $K$. We give standard grading on $R$ and $A_n(K)$. Let $I$, $J$ be homogeneous ideals of $R$. Let $M = H^i_I(R)$ and $N = H^j_J(R)$ for some $i, j$. We show that $\Ext_{A_n(K)}^{\nu}(M,N)$ is concentrated in degree zero for all $\nu \geq 0$, i.e., $\Ext_{A_n(K)}^{\nu}(M,N)_l=0$ for $l \neq0$. This proves a conjecture stated in part I of this paper.


title: Lie group approach to Grushin operators

abstract: We consider a finite system $\{X_1, X_2, \ldots, X_n\}$ of complete vector fields acting on smooth manifolds $M$ equipped with a smooth positive measure. We assume that the system satisfies H\"ormander's condition and generates a finite dimensional Lie algebra of type (R). We investigate the sum of squares of the vector fields operator corresponding to this system which can be viewed as a generalisation of the notion of Grushin operators. In this setting we prove the Poincar\'e inequality and Li-Yau estimates for the corresponding heat kernel as well as the doubling condition for the optimal control metrics defined by the system. We discuss a surprisingly broad class of examples of described setting.


title: Analytical prediction of logarithmic Rayleigh scattering in amorphous solids from tensorial heterogeneous elasticity with power-law disorder

abstract: The damping or attenuation coefficient of sound waves in solids due to impurities scales with the wavevector to the fourth power, also known as Rayleigh scattering. In amorphous solids, Rayleigh scattering may be enhanced by a logarithmic factor although computer simulations offer conflicting conclusions regarding this enhancement and its microscopic origin. We present a tensorial replica field-theoretic derivation based on heterogeneous or fluctuating elasticity (HE), which shows that long-range (power-law) spatial correlations of the elastic constants, is the origin of the logarithmic enhancement to Rayleigh scattering of phonons in amorphous solids. We also consider the case of zero spatial fluctuations in the elastic constants, and of power-law decaying fluctuations in the internal stresses. Also in this case the logarithmic enhancement to the Rayleigh scattering law can be derived from the proposed tensorial HE framework.


title: On aggregation of subcritical Galton-Watson branching processes with regularly varying immigration

abstract: We study an iterated temporal and contemporaneous aggregation of $N$ independent copies of a strongly stationary subcritical Galton-Watson branching process with regularly varying immigration having index $\alpha \in (0, 2)$. Limits of finite dimensional distributions of appropriately centered and scaled aggregated partial sum processes are shown to exist when first taking the limit as $N \to \infty$ and then the time scale $n \to \infty$. The limit process is an $\alpha$-stable process if $\alpha \in (0, 1) \cup (1, 2)$, and a deterministic line with slope $1$ if $\alpha = 1$.


title: Effect of two forms of feedback on the performance of the Rate Control Protocol (RCP)

abstract: The Rate Control Protocol (RCP) uses explicit feedback from routers to control network congestion. RCP estimates it's fair rate from two forms of feedback: rate mismatch and queue size. An important design question that remains open in RCP is whether the presence of queue size feedback is helpful, given the presence of feedback from rate mismatch. The feedback from routers to end-systems is time delayed, and may introduce instabilities and complex non-linear dynamics. Delay dynamical systems are often modeled using delay differential equations to facilitate a mathematical analysis of their performance and dynamics. The RCP models with and without queue size feedback give rise to two distinct non-linear delay differential equations. Earlier work on this design question was based on methods of linear systems theory. For further progress, it is quite natural to employ nonlinear techniques. In this study, we approach this design question using tools from control and bifurcation theory. The analytical results reveal that the removal of queue feedback could enhance both stability and convergence properties. Further, using Poincar\'{e} normal forms and center manifold theory, we investigate two nonlinear properties, namely, the type of Hopf bifurcation and the asymptotic stability of the bifurcating limit cycles. We show that the presence of queue feedback in the RCP can lead to a sub-critical Hopf bifurcation, which would give rise either to the onset of large amplitude limit cycles or to unstable limit cycles. Whereas, in the absence of queue feedback, the Hopf bifurcation is always super-critical and the bifurcating limit cycles are stable. The analysis is complemented with computations and some packet-level simulations as well. In terms of design, our study suggests that the presence of both forms of feedback may be detrimental to the performance of RCP.


title: Oxidation of Monolayer WS$_{2}$ in Ambient is a Photoinduced Process

abstract: We have studied the ambient air oxidation of chemical vapor deposition (CVD) grown monolayers of the semiconducting transition metal dichalcogenide (S-TMD) WS$_{2}$ using optical microscopy, laser scanning confocal microscopy (LSCM), photoluminescence (PL) spectroscopy, and atomic force microscopy (AFM). Monolayer WS$_{2}$ exposed to ambient conditions in the presence of light (typical laboratory ambient light for weeks, or typical PL spectroscopy map), exhibits damage due to oxidation which can be detected with the LSCM and AFM; though may not be evident in conventional optical microscopy due to poorer contrast and resolution. Additionally, this oxidation was not random, and correlated with 'high-symmetry' and red-shifted areas in the PL spectroscopy map - areas thought to contain a higher concentration of sulfur vacancies. In contrast, samples kept in ambient and darkness showed no signs of oxidation for up to 10 months. Low-irradiance/fluence experiments showed that samples subjected to excitation energies at or above the trion excitation energy (532 nm/2.33 eV and 660 nm/1.88 eV) oxidized in as little as 7 days, even for irradiances and fluences eight and four orders of magnitude lower (respectively) than previously reported. No significant oxidation was observed for 760 nm/1.63 eV light exposure, which lies below the trion excitation energy in WS$_{2}$. The strong wavelength dependence and apparent lack of irradiance dependence suggests that ambient oxidation of WS$_{2}$ is initiated by photon-mediated electronic band transitions, that is, photo-oxidation. These findings have important implications for prior, present and future studies concerning S-TMDs measured, stored or manipulated in ambient conditions.


title: Domain Adaptation of Neural Machine Translation by Lexicon Induction

abstract: It has been previously noted that neural machine translation (NMT) is very sensitive to domain shift. In this paper, we argue that this is a dual effect of the highly lexicalized nature of NMT, resulting in failure for sentences with large numbers of unknown words, and lack of supervision for domain-specific words. To remedy this problem, we propose an unsupervised adaptation method which fine-tunes a pre-trained out-of-domain NMT model using a pseudo-in-domain corpus. Specifically, we perform lexicon induction to extract an in-domain lexicon, and construct a pseudo-parallel in-domain corpus by performing word-for-word back-translation of monolingual in-domain target sentences. In five domains over twenty pairwise adaptation settings and two model architectures, our method achieves consistent improvements without using any in-domain parallel sentences, improving up to 14 BLEU over unadapted models, and up to 2 BLEU over strong back-translation baselines.


title: Hierarchical Video Frame Sequence Representation with Deep Convolutional Graph Network

abstract: High accuracy video label prediction (classification) models are attributed to large scale data. These data could be frame feature sequences extracted by a pre-trained convolutional-neural-network, which promote the efficiency for creating models. Unsupervised solutions such as feature average pooling, as a simple label-independent parameter-free based method, has limited ability to represent the video. While the supervised methods, like RNN, can greatly improve the recognition accuracy. However, the video length is usually long, and there are hierarchical relationships between frames across events in the video, the performance of RNN based models are decreased. In this paper, we proposes a novel video classification method based on a deep convolutional graph neural network(DCGN). The proposed method utilize the characteristics of the hierarchical structure of the video, and performed multi-level feature extraction on the video frame sequence through the graph network, obtained a video representation re ecting the event semantics hierarchically. We test our model on YouTube-8M Large-Scale Video Understanding dataset, and the result outperforms RNN based benchmarks.


title: Unsupervised Bilingual Lexicon Induction from Mono-lingual Multimodal Data

abstract: Bilingual lexicon induction, translating words from the source language to the target language, is a long-standing natural language processing task. Recent endeavors prove that it is promising to employ images as pivot to learn the lexicon induction without reliance on parallel corpora. However, these vision-based approaches simply associate words with entire images, which are constrained to translate concrete words and require object-centered images. We humans can understand words better when they are within a sentence with context. Therefore, in this paper, we propose to utilize images and their associated captions to address the limitations of previous approaches. We propose a multi-lingual caption model trained with different mono-lingual multimodal data to map words in different languages into joint spaces. Two types of word representation are induced from the multi-lingual caption model: linguistic features and localized visual features. The linguistic feature is learned from the sentence contexts with visual semantic constraints, which is beneficial to learn translation for words that are less visual-relevant. The localized visual feature is attended to the region in the image that correlates to the word, so that it alleviates the image restriction for salient visual representation. The two types of features are complementary for word translation. Experimental results on multiple language pairs demonstrate the effectiveness of our proposed method, which substantially outperforms previous vision-based approaches without using any parallel sentences or supervision of seed word pairs.


title: Beyond the VCG Mechanism: Truthful Reverse Auctions for Relay Selection with High Data Rates, High Base Station Utility and Low Interference in D2D Networks

abstract: Device-to-Device communication allows a cellular user (relay node) to relay data between the base station (BS) and another cellular user (destination node). We address the problem of designing reverse auctions to assign a relay node to each destination node, when there are multiple potential relay nodes and multiple destination nodes, in the scenarios where the transmission powers of the relay nodes are: 1) fixed, 2) selected to achieve the data rates desired by destination nodes, and 3) selected so as to approximately maximize the BS's utility. We show that auctions based on the widely used Vickrey-Clarke-Groves (VCG) mechanism have several limitations in scenarios 1) and 2); also, in scenario 3), the VCG mechanism is not applicable. Hence, we propose novel reverse auctions for relay selection in each of the above three scenarios. We prove that all the proposed reverse auctions can be truthfully implemented as well as satisfy the individual rationality property. Using numerical computations, we show that in scenarios 1) and 2), our proposed auctions significantly outperform the auctions based on the VCG mechanism in terms of the data rates achieved by destination nodes, utility of the BS and/ or the interference cost incurred to the BS.


title: New MDS Euclidean Self-orthogonal Codes

abstract: In this paper, a criterion of MDS Euclidean self-orthogonal codes is presented. New MDS Euclidean self-dual codes and self-orthogonal codes are constructed via this criterion. In particular, among our constructions, for large square $q$, about $\frac{1}{8}\cdot q$ new MDS Euclidean (almost) self-dual codes over $\F_q$ can be produced. Moreover, we can construct about $\frac{1}{4}\cdot q$ new MDS Euclidean self-orthogonal codes with different even lengths $n$ with dimension $\frac{n}{2}-1$.


title: Studies of distance one surgeries on the lens space $L(p,1)$

abstract: In this paper, we study distance one surgeries between lens spaces $L(p,1)$ with $p \geq 5$ prime and lens spaces $L(n,1)$ for $n \in \mathbb{Z}$ and band surgeries from $T(2,p)$ to $T(2,n)$. In particular, we prove that $L(n,1)$ is obtained by a distance one surgery from $L(5,1)$ only if $n=\pm 1$, $4$, $\pm 5$, $6$ or $\pm 9$, and $L(n,1)$ is obtained by a distance one surgery from $L(7,1)$ if and only if $n=\pm 1$, $3$, $6$, $7$, $8$ or $11$.


title: The Spectral Properties of the Magnetic Polarizability Tensor for Metallic Object Characterisation

abstract: The measurement of time-harmonic perturbed field data, at a range of frequencies, is beneficial for practical metal detection where the goal is to locate and identify hidden targets. In particular, these benefits are realised when frequency dependent magnetic polarizability tensors (MPTs) are used to provide an economical characterisation of conducting permeable objects and a dictionary based classifier is employed. However, despite the advantages shown in dictionary based classifiers, the behaviour of the MPT coefficients with frequency is not properly understood. In this paper, we rigorously analyse, for the first time, the spectral properties of the coefficients of the MPT. This analysis has the potential to improve existing algorithms and design new approaches for object location and identification in metal detection. Our analysis also enables the response transient response from a conducting permeable object to be predicted for more general forms of excitation.


title: Magnetic field in nuclear collisions at ultra high energies

abstract: The magnetic field created in proton-proton and nucleus-nucleus collisions at ultra high energies are studied with models of point-like charges and hard sphere for distribution of the constituents for vacuum conditions. The various beam ions are considered from light to heavy nuclei at energies corresponded to the nominal energies of proton beam within the projects of further accelerator facilities high-energy Large Hadron Collider (HE-LHC) and Future Circular Collider (FCC). The magnetic field strength immediately after collisions reaches the value tens of GeV$^{2}$ while the approach with point-like charges some overestimate the amplitude of the field in comparison with more realistic hard sphere model. The absolute value of magnetic field rapidly decrease with time and increases with growth of atomic number. The amplitude for $eB$ is estimated at level $100$ GeV$^{2}$ in order to magnitude for quark-quark collisions at energies corresponded to the nominal energies of proton beams. These estimations are close to the range for onset of $W$ boson condensation.


title: A formula on Stirling numbers of the second kind and its application to the unstable $K$-theory of stunted complex projective spaces

abstract: A formula on Stirling numbers of the second kind $S(n, k)$ is proved. As a corollary, for odd $n$ and even $k$, it is shown that $k!S(n, k)$ is a positive multiple of the greatest common divisor of $j!S(n, j)$ for $k+1\leq j\leq n$. Also, as an application to algebraic topology, some isomorphisms of unstable $K^1$-groups of stunted complex projective spaces are deduced.


title: Explicit description of generalized weight modules of the algebra of polynomial integro-differential operators $I_n$

abstract: For the algebra $I_n$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple weight and generalized weight (left and right) $I_n$-modules is given. It is proven that the category of weight $I_n$-modules is semisimple. An explicit description of generalized weight $I_n$-modules is given and using it a criterion is obtained for the problem of classification of indecomposable generalized weight $I_n$-modules to be of finite representation type, tame or wild. In the tame case, a classification of indecomposable generalized weight $I_n$-modules is given. In the wild case `natural` tame subcategories are considered with explicit description of indecomposable modules. It is proven that every generalized weight $I_n$-module is a unique sum of absolutely prime modules. For an arbitrary ring $R$, we introduce the concept of {\em absolutely prime} $R$-module (a nonzero $R$-module $M$ is absolutely prime if all nonzero subfactors of $M$ have the same annihilator). It is shown that every indecomposable generalized weight $I_n$-module is equidimensional. A criterion is given for a generalized weight $I_n$-module to be finitely generated.


title: Oscillating membranes: modeling and controlling autonomous shape-transforming sheets

abstract: Living organisms have mastered the dynamic control of internal stresses to perform an array of functions, such as change shape and locomote. State-of-the-art attempts to replicate this ability in synthetic materials are rudimentary in comparison. Here we present the first experimental realization of a self-oscillating gel in a thin sheet configuration. We show that internal signaling produces stresses that drive lifelike shape changes, that the material's response is accurately modelled with the theory of non-Euclidean elasticity and that the internal signaling can be programmed with light. Together, our results demonstrate a complete route for developing fully autonomous soft machines.


title: Sensor Placement and Resource Allocation for Energy Harvesting IoT Networks

abstract: The paper studies optimal sensor selection for source estimation in energy harvesting Internet of Things (IoT) networks. Specifically, the focus is on the selection of the sensor locations which minimizes the estimation error at a fusion center, and to optimally allocate power and bandwidth for each selected sensor subject to a prescribed spectral and energy budget. To do so, measurement accuracy, communication link quality, and the amount of energy harvested are all taken into account. The sensor selection is studied under both analog and digital transmission schemes from the selected sensors to the fusion center. In the digital transmission case, an information theoretic approach is used to model the transmission rate, observation quantization, and encoding. We numerically prove that with a sufficient system bandwidth, the digital system outperforms the analog system with a possibly different sensor selection. Two source models are studied in this paper: static source estimation for a vector of correlated sources and dynamic state estimation for a scalar source. The design problem of interest is a Boolean non convex optimization problem, which is solved by relaxing the Boolean constraints. We propose a randomized rounding algorithm which generalizes the existing algorithm. The proposed randomized rounding algorithm takes the joint sensor location, power and bandwidth selection into account to efficiently round the obtained relaxed solution.


title: Probing plasmon-NV$^0$ coupling at the nanometer scale with photons and fast electrons

abstract: The local density of optical states governs an emitters lifetime and quantum yield through the Purcell effect. It can be modified by a surface plasmon electromagnetic field, but such a field has a spatial extension limited to a few hundreds of nanometers, which complicates the use of optical methods to spatially probe the emitter-plasmon coupling. Here we show that a combination of electron-based imaging, spectroscopies and photon-based correlation spectroscopy enables measurement of the Purcell effect with nanometer and nanosecond spatio-temporal resolutions. Due to the large variability of radiative lifetimes of emitters embedded in nanoparticles with inhomogeneous sizes we relied on a statistical approach to unambiguously probe the coupling between nitrogen-vacancy centers (NV^0) in nanodiamonds and surface plasmons in silver nanocubes. We quantified the Purcell effect by measuring the NV^0 excited state lifetimes in a large number of either isolated nanodiamonds or nanodiamond-nanocube dimers and demonstrated a statistically significant lifetime reduction for dimers.


title: Disparate Vulnerability to Membership Inference Attacks

abstract: A membership inference attack (MIA) against a machine-learning model enables an attacker to determine whether a given data record was part of the model's training data or not. In this paper, we provide an in-depth study of the phenomenon of disparate vulnerability against MIAs: unequal success rate of MIAs against different population subgroups. We first establish necessary and sufficient conditions for MIAs to be prevented, both on average and for population subgroups, using a notion of distributional generalization. Second, we derive connections of disparate vulnerability to algorithmic fairness and to differential privacy. We show that fairness can only prevent disparate vulnerability against limited classes of adversaries. Differential privacy bounds disparate vulnerability but can significantly reduce the accuracy of the model. We show that estimating disparate vulnerability to MIAs by na\"ively applying existing attacks can lead to overestimation. We then establish which attacks are suitable for estimating disparate vulnerability, and provide a statistical framework for doing so reliably. We conduct experiments on synthetic and real-world data finding statistically significant evidence of disparate vulnerability in realistic settings. The code is available at https://github.com/spring-epfl/disparate-vulnerability


title: Spectral optimization for strongly singular Schr\"odinger operators with a star-shaped interaction

abstract: We discuss the spectral properties of singular Schr\"odinger operators in three dimensions with the interaction supported by an equilateral star, finite or infinite. In the finite case the discrete spectrum is nonempty if the star arms are long enough. Our main result concerns spectral optimization: we show that the principal eigenvalue is uniquely maxi\-mized when the arms are arranged in one of the known five sharp configurations known as solutions of the closely related Thomson problem.


title: Sequential Scenario-Specific Meta Learner for Online Recommendation

abstract: Cold-start problems are long-standing challenges for practical recommendations. Most existing recommendation algorithms rely on extensive observed data and are brittle to recommendation scenarios with few interactions. This paper addresses such problems using few-shot learning and meta learning. Our approach is based on the insight that having a good generalization from a few examples relies on both a generic model initialization and an effective strategy for adapting this model to newly arising tasks. To accomplish this, we combine the scenario-specific learning with a model-agnostic sequential meta-learning and unify them into an integrated end-to-end framework, namely Scenario-specific Sequential Meta learner (or s^2 meta). By doing so, our meta-learner produces a generic initial model through aggregating contextual information from a variety of prediction tasks while effectively adapting to specific tasks by leveraging learning-to-learn knowledge. Extensive experiments on various real-world datasets demonstrate that our proposed model can achieve significant gains over the state-of-the-arts for cold-start problems in online recommendation. Deployment is at the Guess You Like session, the front page of the Mobile Taobao.


title: Line bundle cohomologies on CICYs with Picard number two

abstract: We analyse line bundle cohomologies on all favourable co-dimension two Complete Intersection Calabi Yau (CICY) manifolds of Picard number two. Our results provide further evidence that the cohomology dimensions of such line bundles are given by analytic expressions, which change between regions in the line bundle charge space. This agrees with recent observations of CY line bundles presented in Refs [1,2]. In many cases, the expressions for bundle cohomology dimensions are polynomial functions of the line bundle charges (of degree at most 3), and the regions are cones. A more novel observation is that for some CICY manifolds, the cohomologies are more succinctly determined by recursive relationships. There can also be boundaries between regions where a polynomial fit fails, and we link these exceptional cases to irregular behaviour of the index of the line bundle. Finally, our observations provide evidence for similarities in the line bundle cohomologies for CICY manifolds that share rows in the configuration matrix. Among such related CICY manifolds, we find both that the line bundle charge space is partitioned in the same manner, and that the same, or closely related, analytical descriptions apply for the cohomology dimensions in these regions.


title: Paradox of integration---Cellular automata approach

abstract: We discuss the self-deprecating strategy introduced by Peter Blau as one of stages of the process of social integration. Recently we have introduced a two-dimensional space of status, real and surface one ($A$ and $B$), and we have demonstrated that with this setup, the self-deprecating strategy efficiently prevents the rejection [K. Malarz and K. Kulakowski, International Journal of Modern Physics C 30, 1950040 (2019)]. There, the process of reducing the conflict was described by master equations, i.e. a set of differential equations describing evolution of density $v(A,B)$ of actors of status $(A,B)$. Here we reformulate the problem in terms of probabilistic cellular automata. The obtained results for number $n(A,B)$ of actors of status $(A,B)$ are qualitatively the same as in the previous approach, both for synchronous and asynchronous version of the automaton. Namely, an enhancement of the surface status compensates a deficiency of the real one.


title: On slow decay of Peetre's K-functional

abstract: We characterize when Peetre's K-functional decays to zero slowly and we use this characterization to demonstrate certain strict inclusions between real interpolation spaces.


title: Remarks on GP-metric and partial metric spaces and fixed points results

abstract: In this paper we give some relationship between G-metric spaces, partial metric spaces and GP-metric spaces.


title: Monotone Relations in Hadamard Spaces

abstract: In this paper, the notion of $\mathcal{W}$-property for subsets of $X\times X^{\lozenge}$ is introduced and investigated, where $X$ is an Hadamard space and $X^{\lozenge}$ is its linear dual space. It is shown that an Hadamard space $X$ is flat if and only if $X\times X^{\lozenge}$ has $\mathcal{W}$-property. Moreover, the notion of monotone relation from an Hadamard space to its linear dual space is introduced. Finally, a characterization result for monotone relations with $\mathcal{W}$-property (and hence in flat Hadamard spaces) is proved.


title: Recovery of Missing Data in Correlated Smart Grid Datasets

abstract: We study the recovery of missing data from multiple smart grid datasets within a matrix completion framework. The datasets contain the electrical magnitudes required for monitoring and control of the electricity distribution system. Each dataset is described by a low rank matrix. Different datasets are correlated as a result of containing measurements of different physical magnitudes generated by the same distribution system. To assess the validity of matrix completion techniques in the recovery of missing data, we characterize the fundamental limits when two correlated datasets are jointly recovered. We then proceed to evaluate the performance of Singular Value Thresholding (SVT) and Bayesian SVT (BSVT) in this setting. We show that BSVT outperforms SVT by simulating the recovery for different correlated datasets. The performance of BSVT displays the tradeoff behaviour described by the fundamental limit, which suggests that BSVT exploits the correlation between the datasets in an efficient manner.


title: Cost-sensitive Boosting Pruning Trees for depression detection on Twitter

abstract: Depression is one of the most common mental health disorders, and a large number of depressed people commit suicide each year. Potential depression sufferers usually do not consult psychological doctors because they feel ashamed or are unaware of any depression, which may result in severe delay of diagnosis and treatment. In the meantime, evidence shows that social media data provides valuable clues about physical and mental health conditions. In this paper, we argue that it is feasible to identify depression at an early stage by mining online social behaviours. Our approach, which is innovative to the practice of depression detection, does not rely on the extraction of numerous or complicated features to achieve accurate depression detection. Instead, we propose a novel classifier, namely, Cost-sensitive Boosting Pruning Trees (CBPT), which demonstrates a strong classification ability on two publicly accessible Twitter depression detection datasets. To comprehensively evaluate the classification capability of the CBPT, we use additional three datasets from the UCI machine learning repository and the CBPT obtains appealing classification results against several state of the arts boosting algorithms. Finally, we comprehensively explore the influence factors of model prediction, and the results manifest that our proposed framework is promising for identifying Twitter users with depression.


title: Multi-Objective Pruning for CNNs Using Genetic Algorithm

abstract: In this work, we propose a heuristic genetic algorithm (GA) for pruning convolutional neural networks (CNNs) according to the multi-objective trade-off among error, computation and sparsity. In our experiments, we apply our approach to prune pre-trained LeNet across the MNIST dataset, which reduces 95.42% parameter size and achieves 16$\times$ speedups of convolutional layer computation with tiny accuracy loss by laying emphasis on sparsity and computation, respectively. Our empirical study suggests that GA is an alternative pruning approach for obtaining a competitive compression performance. Additionally, compared with state-of-the-art approaches, GA is capable of automatically pruning CNNs based on the multi-objective importance by a pre-defined fitness function.