title: Charmed dibaryon resonances in the potential quark model

abstract: Charmed dibaryon states with the spin-parity $J^{\pi}=0^+$, $1^+$, and $2^+$are predicted for the two-body $Y_cN$ ($=\Lambda_c$, $\Sigma_c$, or $\Sigma^*_c$) systems. We employ the complex scaling method for the coupled channel Hamiltonian with the $Y_cN$-CTNN potentials, which were proposed in our previous study. We find four sharp resonance states near the $\Sigma_c N$ and $\Sigma^*_c N$ thresholds. From the analysis of the binding energies of partial channel systems, we conclude that these resonance states are Feshbach resonances. We compare the results with the $Y_c N$ resonance states in the heavy quark limit, where the $\Sigma_c N$ and $\Sigma^*_c N$ thresholds are degenerate, and find that they form two pairs of the heavy-quark doublets in agreement with the heavy quark spin symmetry.


title: Heavy quark spin multiplet structure of $P_c(4312)$, $P_c(4440)$, and $P_c(4457)$

abstract: Very recently, the LHCb collaboration has reported the new result about the hidden-charm pentaquarks: $P_c(4312)$ near the $\bar{D}\Sigma_c$ threshold, and $P_c(4440)$ and $P_c(4457)$ near $\bar{D}^*\Sigma_c$ threshold. We study the heavy quark spin (HQS) multiplet structures of these newly $P_c$ pentaquarks under the heavy quark spin symmetry based on the hadronic molecular picture. We point out that $P_c(4312)$ is the $J^P = 1/2^-$ member of an HQS triplet, and $P_c(4440)$ and $P_c(4457)$ are the $J^P = 3/2^-$ member of the HQS triplet and an HQS singlet with $J^P = 3/2^-$. Namely, the $P_c(4312)$ and one of $P_c(4440)$ and $P_c(4457)$ belong to an HQS triplet. The HQS multiplet structure predicts the existence of $J^P = 5/2^-$ state near $\bar{D}^\ast\Sigma_c^\ast$ threshold.


title: On Thurston's parametrization of $\mathbb{C}{\rm P}^1$-structures

abstract: Thurston related $\mathbb{C}{\rm P}^1$-structures (complex projective structures) and equivariant pleated surfaces in the hyperbolic-three space $\mathbb{H}^3$, in order to give a parameterization of the deformation space of $\mathbb{C}{\rm P}^1$-structures. In this note, we summarize Thurston's parametrization of $\mathbb{C}{\rm P}^1$-structures, based on Kamishima-Tan and Kulkani-Pinkall. We, in addition, give independent proofs for the following well-known theorems on $\mathbb{C}{\rm P}^1$-structures by means of pleated surfaces given by the parameterization. (1) Goldman's Theorem on $\mathbb{C}{\rm P}^1$-structures with quasi-Fuchsian holonomy. (2) The path lifting property of developing maps in their domains of discontinuity in $\mathbb{C}{\rm P}^1$.


title: Nature of the D_0 meson in the D pi scattering with chiral symmetry

abstract: We study the nature of the scalar D_0 meson from the viewpoint of chiral symmetry. With the linear representation of chiral symmetry, we construct the D pi scattering amplitude satisfying the chiral low-energy theorem, in which the D_0 meson appears as an s-wave resonance. We show that the properties of the D_0 meson can be successfully reproduced as the chiral partner of the D meson coupled with the D pi scattering states. At the same time, we find that the spectral function and the pole position of D_0 are not very sensitive to the reduction of the chiral condensate, indicating the importance of the dressing of the bare state by the D pi molecular component.


title: On two problems of Hardy and Mahler

abstract: It is a classical result of Mahler that for any rational number $\alpha$ > 1 which is not an integer and any real 0 < c < 1, the set of positive integers n such that $\alpha$ n < c n is necessarily finite. Here for any real x, x denotes the distance from its nearest integer. The problem of classifying all real algebraic numbers greater than one exhibiting the above phenomenon was suggested by Mahler. This was solved by a beautiful work of Corvaja and Zannier. On the other hand, for non-zero real numbers $\lambda$ and $\alpha$ with $\alpha$ > 1, Hardy about a century ago asked ''In what circumstances can it be true that $\lambda$$\alpha$ n $\rightarrow$ 0 as n $\rightarrow$ $\infty$? '' This question is still open in general. In this note, we study its analogue in the context of the problem of Mahler. We first compare and contrast with what is known visa -vis the original question of Hardy. We then suggest a number of questions that arise as natural consequences of our investigation. Of these questions, we answer one and offer some insight into others.


title: A remark on the attainable set of the Schr\"odinger equation

abstract: We discuss the set of wavefunctions $\psi_V(t)$ that can be obtained from a given initial condition $\psi_0$ by applying the flow of the Schr\"odinger operator $-\Delta + V(t,x)$ and varying the potential $V(t,x)$. We show that this set has empty interior, both as a subset of the sphere in $L^2(\mathbb{R}^d)$ and as a set of trajectories.


title: ResUNet-a: a deep learning framework for semantic segmentation of remotely sensed data

abstract: Scene understanding of high resolution aerial images is of great importance for the task of automated monitoring in various remote sensing applications. Due to the large within-class and small between-class variance in pixel values of objects of interest, this remains a challenging task. In recent years, deep convolutional neural networks have started being used in remote sensing applications and demonstrate state of the art performance for pixel level classification of objects. \textcolor{black}{Here we propose a reliable framework for performant results for the task of semantic segmentation of monotemporal very high resolution aerial images. Our framework consists of a novel deep learning architecture, ResUNet-a, and a novel loss function based on the Dice loss. ResUNet-a uses a UNet encoder/decoder backbone, in combination with residual connections, atrous convolutions, pyramid scene parsing pooling and multi-tasking inference. ResUNet-a infers sequentially the boundary of the objects, the distance transform of the segmentation mask, the segmentation mask and a colored reconstruction of the input. Each of the tasks is conditioned on the inference of the previous ones, thus establishing a conditioned relationship between the various tasks, as this is described through the architecture's computation graph. We analyse the performance of several flavours of the Generalized Dice loss for semantic segmentation, and we introduce a novel variant loss function for semantic segmentation of objects that has excellent convergence properties and behaves well even under the presence of highly imbalanced classes.} The performance of our modeling framework is evaluated on the ISPRS 2D Potsdam dataset. Results show state-of-the-art performance with an average F1 score of 92.9\% over all classes for our best model.


title: A Revisit to n-Normed Spaces through Its Quotient Spaces

abstract: In this paper, we study some features of n-normed spaces with respect to norms of its quotient spaces. We define continuous functions with respect to the norms of its quotient spaces and show that all types of continuity are equivalent. We also study contractive mappings on n- normed spaces using the same approach. In particular, we prove a fixed point theorem for contractive mappings on a closed and bounded set in an n-normed space.


title: Condensation of Fluctuations in the Ising Model: a Transition without Spontaneous Symmetry Breaking

abstract: The ferromagnetic transition in the Ising model is the paradigmatic example of ergodicity breaking accompanied by symmetry breaking. It is routinely assumed that the thermodynamic limit is taken with free or periodic boundary conditions. More exotic symmetry-preserving boundary conditions, like cylindrical antiperiodic, are less frequently used for special tasks, such as the study of phase coexistence or the roughening of an interface. Here we show, instead, that when the thermodynamic limit is taken with these boundary conditions, a novel type of transition takes place below $T_c$ (the usual Ising transition temperature) without breaking neither ergodicity nor symmetry. Then, the low temperature phase is characterized by a regime (condensation) of strong magnetization's fluctuations which replaces the usual ferromagnetic ordering. This is due to critical correlations perduring for all T below Tc. The argument is developed exactly in the $d=1$ case and numerically in the d=2 case.


title: Integral representations for the Hartman--Watson density

abstract: This paper concerns the density of the Hartman--Watson law. Yor (1980) obtained an integral formula that gives a closed-form expression of the Hartman--Watson density. In this paper, based on Yor's formula, we provide alternative integral representations for the density. As an immediate application, we recover in part a Dufresne's result (2001) that exhibits remarkably simple representations for the laws of exponential additive functionals of Brownian motion.


title: Inelastic spin-wave scattering by Bloch domain wall flexure oscillations

abstract: The calculations of the inelastic spin wave scattering by flexure vibrations of the Bloch domain wall (Winters magnons) in thin magnetic films are presented. The approach is based on the interaction of the propagating spin waves with the dynamical emergent electromagnetic field generated by the moving inhomogeneous magnetization texture (domain wall). The probability of the spin wave scattering for the Winters magnon emission and absorption processes essentially rises with the spin wave scattering angle increase up to 900. The angular dependence of the scattering probability is essentially stronger for the magnon absorption processes that allow distinguishing these elementary emission/absorption processes experimentally.


title: Learning Combinatorial Embedding Networks for Deep Graph Matching

abstract: Graph matching refers to finding node correspondence between graphs, such that the corresponding node and edge's affinity can be maximized. In addition with its NP-completeness nature, another important challenge is effective modeling of the node-wise and structure-wise affinity across graphs and the resulting objective, to guide the matching procedure effectively finding the true matching against noises. To this end, this paper devises an end-to-end differentiable deep network pipeline to learn the affinity for graph matching. It involves a supervised permutation loss regarding with node correspondence to capture the combinatorial nature for graph matching. Meanwhile deep graph embedding models are adopted to parameterize both intra-graph and cross-graph affinity functions, instead of the traditional shallow and simple parametric forms e.g. a Gaussian kernel. The embedding can also effectively capture the higher-order structure beyond second-order edges. The permutation loss model is agnostic to the number of nodes, and the embedding model is shared among nodes such that the network allows for varying numbers of nodes in graphs for training and inference. Moreover, our network is class-agnostic with some generalization capability across different categories. All these features are welcomed for real-world applications. Experiments show its superiority against state-of-the-art graph matching learning methods.


title: Group field theory condensate cosmology: An appetizer

abstract: This contribution is an appetizer to the relatively young and fast evolving approach to quantum cosmology based on group field theory condensate states. We summarize the main assumptions and pillars of this approach which has revealed new perspectives on the long-standing question of how to recover the continuum from discrete geometric building blocks. Among others, we give a snapshot of recent work on isotropic cosmological solutions exhibiting an accelerated expansion, a bounce where anisotropies are shown to be under control and inhomogeneities with an approximately scale-invariant power spectrum. Finally, we point to open issues in the condensate cosmology approach.


title: Activated escape of a self-propelled particle from a metastable state

abstract: We study the noise-driven escape of active Brownian particles (ABPs) and run-and-tumble particles (RTPs) from confining potentials. In the small noise limit, we provide an exact expression for the escape rate in term of a variational problem in any dimension. For RTPs in one dimension, we obtain an explicit solution, including the first sub-leading correction. In two dimensions we solve the escape from a quadratic well for both RTPs and ABPs. In contrast to the equilibrium problem we find that the escape rate depends explicitly on the full shape of the potential barrier, and not only on its height. This leads to a host of unusual behaviors. For example, when a particle is trapped between two barriers it may preferentially escape over the higher one. Moreover, as the self-propulsion speed is varied, the escape route may discontinuously switch from one barrier to the other, leading to a dynamical phase transition.


title: A constrained optimization problem in quantum statistical physics

abstract: In this paper, we consider the problem of minimizing quantum free energies under the constraint that the density of particles is fixed at each point of Rd, for any d $\ge$ 1. We are more particularly interested in the characterization of the minimizer, which is a self-adjoint nonnegative trace class operator, and will show that it is solution to a nonlinear self-consistent problem. This question of deriving quantum statistical equilibria is at the heart of the quantum hydrody-namical models introduced by Degond and Ringhofer. An original feature of the problem is the local nature of constraint, i.e. it depends on position, while more classical models consider the total number of particles in the system to be fixed. This raises difficulties in the derivation of the Euler-Lagrange equations and in the characterization of the minimizer, which are tackled in part by a careful parametrization of the feasible set.


title: Distributed Power Control for Large Energy Harvesting Networks: A Multi-Agent Deep Reinforcement Learning Approach

abstract: In this paper, we develop a multi-agent reinforcement learning (MARL) framework to obtain online power control policies for a large energy harvesting (EH) multiple access channel, when only causal information about the EH process and wireless channel is available. In the proposed framework, we model the online power control problem as a discrete-time mean-field game (MFG), and analytically show that the MFG has a unique stationary solution. Next, we leverage the fictitious play property of the mean-field games, and the deep reinforcement learning technique to learn the stationary solution of the game, in a completely distributed fashion. We analytically show that the proposed procedure converges to the unique stationary solution of the MFG. This, in turn, ensures that the optimal policies can be learned in a completely distributed fashion. In order to benchmark the performance of the distributed policies, we also develop a deep neural network (DNN) based centralized as well as distributed online power control schemes. Our simulation results show the efficacy of the proposed power control policies. In particular, the DNN based centralized power control policies provide a very good performance for large EH networks for which the design of optimal policies is intractable using the conventional methods such as Markov decision processes. Further, performance of both the distributed policies is close to the throughput achieved by the centralized policies.


title: Influence of massive material injection on avalanche runaway generation during tokamak disruptions

abstract: In high-current tokamak devices such as ITER, a runaway avalanche can cause a large amplification of a seed electron population. We show that disruption mitigation by impurity injection may significantly increase the runaway avalanche growth rate in such devices. This effect originates from the increased number of target electrons available for the avalanche process in weakly ionized plasmas, which is only partially compensated by the increased friction force on fast electrons. We derive an expression for the avalanche growth rate in partially ionized plasmas and investigate the effects of impurity injection on the avalanche multiplication factor and on the final runaway current for ITER-like parameters. For impurity densities relevant for disruption mitigation, the maximum amplification of a runaway seed can be increased by tens of orders of magnitude compared to previous predictions. This motivates careful studies to determine the required densities and impurity species to obtain tolerable current quench parameters, as well as more detailed modeling of the runaway dynamics including transport effects.


title: New $\gamma$-ray Transitions Observed in $^{19}$Ne with Implications for the $^{15}$O($\alpha$,$\gamma$)$^{19}$Ne Reaction Rate

abstract: The $^{15}$O($\alpha$,$\gamma$)$^{19}$Ne reaction is responsible for breakout from the hot CNO cycle in Type I x-ray bursts. Understanding the properties of resonances between $E_x = 4$ and 5 MeV in $^{19}$Ne is crucial in the calculation of this reaction rate. The spins and parities of these states are well known, with the exception of the 4.14- and 4.20-MeV states, which have adopted spin-parities of 9/2$^-$ and 7/2$^-$, respectively. Gamma-ray transitions from these states were studied using triton-$\gamma$-$\gamma$ coincidences from the $^{19}$F($^{3}$He,$t\gamma$)$^{19}$Ne reaction measured with GODDESS (Gammasphere ORRUBA Dual Detectors for Experimental Structure Studies) at Argonne National Laboratory. The observed transitions from the 4.14- and 4.20-MeV states provide strong evidence that the $J^\pi$ values are actually 7/2$^-$ and 9/2$^-$, respectively. These assignments are consistent with the values in the $^{19}$F mirror nucleus and in contrast to previously accepted assignments.


title: Reduction of Kinetic Equations to Li\'enard-Levinson-Smith Form: Counting Limit Cycles

abstract: We have presented an unified scheme to express a class of system of equations in two variables into a Li\'enard-Levinson-Smith (LLS) oscillator form. We have derived the condition for limit cycle with special reference to Rayleigh and Li\'enard systems for arbitrary polynomial functions of damping and restoring force. Krylov-Boguliubov (K-B) method is implemented to determine the maximum number of limit cycles admissible for a LLS oscillator atleast in the weak damping limit. Scheme is illustrated by a number of model systems with single cycle as well as the multiple cycle cases.


title: Relative Attributing Propagation: Interpreting the Comparative Contributions of Individual Units in Deep Neural Networks

abstract: As Deep Neural Networks (DNNs) have demonstrated superhuman performance in a variety of fields, there is an increasing interest in understanding the complex internal mechanisms of DNNs. In this paper, we propose Relative Attributing Propagation (RAP), which decomposes the output predictions of DNNs with a new perspective of separating the relevant (positive) and irrelevant (negative) attributions according to the relative influence between the layers. The relevance of each neuron is identified with respect to its degree of contribution, separated into positive and negative, while preserving the conservation rule. Considering the relevance assigned to neurons in terms of relative priority, RAP allows each neuron to be assigned with a bi-polar importance score concerning the output: from highly relevant to highly irrelevant. Therefore, our method makes it possible to interpret DNNs with much clearer and attentive visualizations of the separated attributions than the conventional explaining methods. To verify that the attributions propagated by RAP correctly account for each meaning, we utilize the evaluation metrics: (i) Outside-inside relevance ratio, (ii) Segmentation mIOU and (iii) Region perturbation. In all experiments and metrics, we present a sizable gap in comparison to the existing literature. Our source code is available in \url{https://github.com/wjNam/Relative_Attributing_Propagation}.


title: Accelerated method of finding for the minimum of arbitrary Lipschitz convex function

abstract: The goal of the paper is development of an optimization method with the superlinear convergence rate for a nonsmooth convex function. For optimization an approximation is used that is similar to the Steklov integral averaging. The difference is that averaging is performed over a variable-dependent set, that is called a set-valued mapping (SVM) satisfying simple conditions. Novelty approach is that with such an approximation we obtain twice continuously differentiable convex functions, for optimizations of which are applied methods of the second order. The estimation of the convergence rate of the method is given.


title: Video Object Segmentation using Space-Time Memory Networks

abstract: We propose a novel solution for semi-supervised video object segmentation. By the nature of the problem, available cues (e.g. video frame(s) with object masks) become richer with the intermediate predictions. However, the existing methods are unable to fully exploit this rich source of information. We resolve the issue by leveraging memory networks and learn to read relevant information from all available sources. In our framework, the past frames with object masks form an external memory, and the current frame as the query is segmented using the mask information in the memory. Specifically, the query and the memory are densely matched in the feature space, covering all the space-time pixel locations in a feed-forward fashion. Contrast to the previous approaches, the abundant use of the guidance information allows us to better handle the challenges such as appearance changes and occlussions. We validate our method on the latest benchmark sets and achieved the state-of-the-art performance (overall score of 79.4 on Youtube-VOS val set, J of 88.7 and 79.2 on DAVIS 2016/2017 val set respectively) while having a fast runtime (0.16 second/frame on DAVIS 2016 val set).


title: An inverse problem for a semi-linear elliptic equation in Riemannian geometries

abstract: We study the inverse problem of unique recovery of a complex-valued scalar function $V:\mathcal M \times \mathbb C\to \mathbb C$, defined over a smooth compact Riemannian manifold $(\mathcal M,g)$ with smooth boundary, given the Dirichlet to Neumann map, in a suitable sense, for the elliptic semi-linear equation $-\Delta_{g}u+V(x,u)=0$. We show that under some geometrical assumptions uniqueness can be proved for a large class of non-linearities. The proof is constructive and is based on a multiple-fold linearization of the semi-linear equation near complex geometric optic solutions for the linearized operator and the resulting non-linear interactions. These non-linear interactions result in the study of a weighted transform along geodesics, that we call the Jacobi weighted ray transform.


title: Passive Head-Mounted Display Music-Listening EEG dataset

abstract: We describe the experimental procedures for a dataset that we have made publicly available at https://doi.org/10.5281/zenodo.2617084 in mat (Mathworks, Natick, USA) and csv formats. This dataset contains electroencephalographic recordings of 12 subjects listening to music with and without a passive head-mounted display, that is, a head-mounted display which does not include any electronics at the exception of a smartphone. The electroencephalographic headset consisted of 16 electrodes. Data were recorded during a pilot experiment taking place in the GIPSA-lab, Grenoble, France, in 2017 (Cattan and al, 2018). Python code for manipulating the data is available at https://github.com/plcrodrigues/py.PHMDML.EEG.2017-GIPSA. The ID of this dataset is PHMDML.EEG.2017-GIPSA.


title: Entropy driven reverse-metal-to-insulator transition and delta-temperatural transports in metastable perovskites of correlated rare-earth nickelate

abstract: The metal to insulator transition (MIT) in Mott-Hubbard systems is one of the most important discoveries in condensed matter physics, and results in abrupt orbital transitions from the insulating to metallic phases by elevating temperature across a critical point (TMIT). Although the MIT was previously expected to be mainly driven by the orbital Coulomb repulsion energy, the entropy contribution to the orbital free energy that also determines the relative stability of the metallic and insulating phases was largely overlooked. Herein, we demonstrate an orbital-entropy dominated reversible electronic phase transition in the metastable perovskite family of correlated rare-earth nicklates (ReNiO3), in addition to their previously known MIT driven by orbital Coulomb energies. In reverse to MIT, the resistivity of ReNiO3 abruptly increases by 2-3 orders by elevating T across another critical point (TR-MIT) below TMIT, and such transition is named as reverse-metal to insulator transition (R-MIT). Combining the afterwards exponentially decreasing resistivity in the insulating phase of ReNiO3 at further temperature elevation, a distinguished delta-temperatural transport character is established, which is potentially applicable for locking the working temperatures range for electric devices. The TR-MIT is shown to be enhanced via reducing the compositional complexity and size of Re or imparting bi-axial compressive strains, and meanwhile the transition sharpness of delta-temperatural transport is reduced. Our discovery indicates that temperature range for a thermodynamically stable insulating phase of ReNiO3 is in between of TR-MIT and TMIT, while a new conductive phase with high orbital entropy is formed by further descending temperature below TR-MIT.


title: Quantum and classical ratchet motions of vortices in a 2D trigonal superconductor

abstract: Dynamical behavior of vortices plays central roles in the quantum phenomena of two-dimensional (2D) superconductors. Quantum metallic state, for example, showing an anomalous temperature-independent resistive state down to low-temperatures, has been a common subject in recently developed 2D crystalline superconductors, whose microscopic origin is still under debate. Here, we unveil a new aspect of the vortex dynamics in a noncentrosymmetric 2D crystalline superconductor of MoS$_{2}$ through the nonreciprocal transport measurement. The second harmonic resistance $R^{2w}$ at low temperature with high current indicates the classical vortex flow accompanying the ratchet motion. Furthermore, we found that $R^{2w}$ is substantially suppressed in the quantum metallic state with low current region, allowing identification of the quantum and classical ratchet motions of vortices by the magnitude of the second harmonic generation. This suggests that nonreciprocal transport measurement can be a powerful tool to probe the vortex dynamics in noncentrosymmetric 2D superconductors.


title: Sequential quantum phase transitions in $J_1$-$J_2$ Heisenberg chains with integer spins ($S > 1$): Quantized Berry phase and valence-bond solids

abstract: On the basis of a Berry-phase analysis, we study the ground state of the $J_1$-$J_2$ Heisenberg chain for $S=2,3,4$. We find that changes of the Berry phase occur $S$ times for spin-$S$ systems, indicating the sequential phase transitions. The sequential phase transitions are associated with the change of valence-bond configurations of the ground states. To demonstrate this numerically, we connect the $J_1$-$J_2$ Heisenberg Hamiltonian with the generalized Affleck-Kennedy-Lieb-Tasaki model, and show that the different phases are connected to the different valence-bond-solid states.


title: An Alternative Set Model of Cognitive Jump

abstract: When we enumerate numbers up to some specific value, or, even if we do not specify the number, we know at the same time that there are much greater numbers which should be reachable by the same enumeration, but indeed we also congnize them without practical enumeration. Namely, if we deem enumeration to be a way of reaching a number without any "jump", there is a "jump'' in our way of cognition of such greater numbers. In this article, making use of a set theoretical framework by Vop\v{e}nka (1979) (alternative set theory) which describes such structure, we attempt to shed light on an analogous sturucture in human and social phenomenon. As an example, we examine a problem of common knowledge in electronic mail game presented by Rubinstein (1989). We show an event comes to common knowledge by a "cognitive jump".


title: Risk management in design process for Factory of the future

abstract: The current globalization is faced to the rapid development of product design process with the different structure of the actor relationships in the process. Currently, the risk in the failure relationship among different actors in the project is shaped by the complexity towards the future all kinds of challenges. When it comes to the interdependent failure effect, the risk management for future organization structure in design process will be much more complex to grasp. In order to cope with adaption of Product-Process-Organization (P-P-O) model for industry of the future, we propose a risk management methodology to cope with this interdependent relationship structure. The main objective of this research is to manage the risks, so that the project manager can find the priority order of all the actors' total effect to the project with the consideration of interdependent failure affection, and according to the order, project manager can release corresponding respond measures.


title: Discontinuous Constituency Parsing with a Stack-Free Transition System and a Dynamic Oracle

abstract: We introduce a novel transition system for discontinuous constituency parsing. Instead of storing subtrees in a stack --i.e. a data structure with linear-time sequential access-- the proposed system uses a set of parsing items, with constant-time random access. This change makes it possible to construct any discontinuous constituency tree in exactly $4n - 2$ transitions for a sentence of length $n$. At each parsing step, the parser considers every item in the set to be combined with a focus item and to construct a new constituent in a bottom-up fashion. The parsing strategy is based on the assumption that most syntactic structures can be parsed incrementally and that the set --the memory of the parser-- remains reasonably small on average. Moreover, we introduce a provably correct dynamic oracle for the new transition system, and present the first experiments in discontinuous constituency parsing using a dynamic oracle. Our parser obtains state-of-the-art results on three English and German discontinuous treebanks.


title: ISS Lyapunov Functions for Cascade Switched Systems and Sampled-Data Control

abstract: Input-to-state stability (ISS) of switched systems is studied where the individual subsystems are connected in a serial cascade configuration, and the states are allowed to reset at switching times. An ISS Lyapunov function is associated to each of the two blocks connected in cascade, and these functions are used as building blocks for constructing ISS Lyapunov function for the interconnected system. The derivative of individual Lyapunov functions may be bounded by nonlinear decay functions, and the growth in the value of Lyapunov function at switching times may also be a nonlinear function of the value of other Lyapunov functions. The stability of overall hybrid system is analyzed by constructing a newly constructed ISS-Lyapunov function and deriving lower bounds on the average dwell-time. The particular case of linear subsystems and quadratic Lyapunov functions is also studied. The tools are also used for studying the observer-based feedback stabilization of a nonlinear switched system with event-based sampling of the output and control inputs. We design dynamic sampling algorithms based on the proposed Lyapunov functions and analyze the stability of the resulting closed-loop system.


title: Students' Proof Assistant (SPA)

abstract: The Students' Proof Assistant (SPA) aims to both teach how to use a proof assistant like Isabelle and also to teach how reliable proof assistants are built. Technically it is a miniature proof assistant inside the Isabelle proof assistant. In addition we conjecture that a good way to teach structured proving is with a concrete prover where the connection between semantics, proof system, and prover is clear. The proofs in Lamport's TLAPS proof assistant have a very similar structure to those in the declarative prover SPA. To illustrate this we compare a proof of Pelletier's problem 43 in TLAPS, Isabelle/Isar and SPA. We also consider Pelletier's problem 34, also known as Andrews's Challenge, where students are encouraged to develop their own justification function and thus obtain a lot of insight into the proof assistant. Although SPA is fully functional we have so far only used it in a few educational scenarios.


title: Natural Deduction Assistant (NaDeA)

abstract: We present the Natural Deduction Assistant (NaDeA) and discuss its advantages and disadvantages as a tool for teaching logic. NaDeA is available online and is based on a formalization of natural deduction in the Isabelle proof assistant. We first provide concise formulations of the main formalization results. We then elaborate on the prerequisites for NaDeA, in particular we describe a formalization in Isabelle of "Hilbert's Axioms" that we use as a starting point in our bachelor course on mathematical logic. We discuss a recent evaluation of NaDeA and also give an overview of the exercises in NaDeA.


title: Towards Ranking Geometric Automated Theorem Provers

abstract: The field of geometric automated theorem provers has a long and rich history, from the early AI approaches of the 1960s, synthetic provers, to today algebraic and synthetic provers. The geometry automated deduction area differs from other areas by the strong connection between the axiomatic theories and its standard models. In many cases the geometric constructions are used to establish the theorems' statements, geometric constructions are, in some provers, used to conduct the proof, used as counter-examples to close some branches of the automatic proof. Synthetic geometry proofs are done using geometric properties, proofs that can have a visual counterpart in the supporting geometric construction. With the growing use of geometry automatic deduction tools as applications in other areas, e.g. in education, the need to evaluate them, using different criteria, is felt. Establishing a ranking among geometric automated theorem provers will be useful for the improvement of the current methods/implementations. Improvements could concern wider scope, better efficiency, proof readability and proof reliability. To achieve the goal of being able to compare geometric automated theorem provers a common test bench is needed: a common language to describe the geometric problems; a comprehensive repository of geometric problems and a set of quality measures.


title: Theorem and Algorithm Checking for Courses on Logic and Formal Methods

abstract: The RISC Algorithm Language (RISCAL) is a language for the formal modeling of theories and algorithms. A RISCAL specification describes an infinite class of models each of which has finite size; this allows to fully automatically check in such a model the validity of all theorems and the correctness of all algorithms. RISCAL thus enables us to quickly verify/falsify the specific truth of propositions in sample instances of a model class before attempting to prove their general truth in the whole class: the first can be achieved in a fully automatic way while the second typically requires our assistance. RISCAL has been mainly developed for educational purposes. To this end this paper reports on some new enhancements of the tool: the automatic generation of checkable verification conditions from algorithms, the visualization of the execution of procedures and the evaluation of formulas illustrating the computation of their results, and the generation of Web-based student exercises and assignments from RISCAL specifications. Furthermore, we report on our first experience with RISCAL in the teaching of courses on logic and formal methods and on further plans to use this tool to enhance formal education.


title: The Hoyle State in Relativistic ${}^{12}$C Dissociation

abstract: Production of $\alpha$-particle triples in the Hoyle state (HS) in dissociation of ${}^{12}$C nuclei at 3.65 and 0.42 $A$ GeV in nuclear track emulsion is revealed by the invariant mass approach. Contribution of the HS to the dissociation ${}^{12}$C $\to$ 3$\alpha$ is (11 $\pm$ 3) \%. Reanalysis of data on coherent dissociation ${}^{16}$O $\to$ 4$\alpha$ at 3.65 $A$ GeV is revealed the HS contribution of (22 $\pm$ 2) \%.


title: Dissipative solutions and semiflow selection for the complete Euler system

abstract: To circumvent the ill-posedness issues present in various models of continuum fluid mechanics, we present a dynamical systems approach aiming at selection of physically relevant solutions. Even under the presence of infinitely many solutions to the full Euler system describing the motion of a compressible inviscid fluid, our approach permits to select a system of solutions (one trajectory for every initial condition) satisfying the classical semiflow property. Moreover, the selection respects the well accepted admissibility criteria for physical solutions, namely, maximization of the entropy production rate and the weak--strong uniqueness principle. Consequently, strong solutions are always selected whenever they exist and stationary states are stable and included in the selection as well. To this end, we introduce a notion of dissipative solution, which is given by a triple of density, momentum and total entropy defined as expectations of a suitable measure--valued solution.


title: Constructing Hierarchical Q&A Datasets for Video Story Understanding

abstract: Video understanding is emerging as a new paradigm for studying human-like AI. Question-and-Answering (Q&A) is used as a general benchmark to measure the level of intelligence for video understanding. While several previous studies have suggested datasets for video Q&A tasks, they did not really incorporate story-level understanding, resulting in highly-biased and lack of variance in degree of question difficulty. In this paper, we propose a hierarchical method for building Q&A datasets, i.e. hierarchical difficulty levels. We introduce three criteria for video story understanding, i.e. memory capacity, logical complexity, and DIKW (Data-Information-Knowledge-Wisdom) pyramid. We discuss how three-dimensional map constructed from these criteria can be used as a metric for evaluating the levels of intelligence relating to video story understanding.


title: Optoelectronic devices, plasmonics and photonics with topological insulators

abstract: Topological insulators are innovative materials with semiconducting bulk together with surface states forming a Dirac cone, which ensure metallic conduction in the surface plane. Therefore, topological insulators represent an ideal platform for optoelectronics and photonics. The recent progress of science and technology based on topological insulators enables the exploitation of their huge application capabilities. Here, we review the recent achievements of optoelectronics, photonics and plasmonics with topological insulators. Plasmonic devices and photodetectors based on topological insulators in a wide energy range, from Terahertz to the ultraviolet, promise outstanding impact. Furthermore, the peculiarities, the range of applications and the challenges of the emerging fields of topological photonics and thermoplasmonics are discussed.


title: Med3D: Transfer Learning for 3D Medical Image Analysis

abstract: The performance on deep learning is significantly affected by volume of training data. Models pre-trained from massive dataset such as ImageNet become a powerful weapon for speeding up training convergence and improving accuracy. Similarly, models based on large dataset are important for the development of deep learning in 3D medical images. However, it is extremely challenging to build a sufficiently large dataset due to difficulty of data acquisition and annotation in 3D medical imaging. We aggregate the dataset from several medical challenges to build 3DSeg-8 dataset with diverse modalities, target organs, and pathologies. To extract general medical three-dimension (3D) features, we design a heterogeneous 3D network called Med3D to co-train multi-domain 3DSeg-8 so as to make a series of pre-trained models. We transfer Med3D pre-trained models to lung segmentation in LIDC dataset, pulmonary nodule classification in LIDC dataset and liver segmentation on LiTS challenge. Experiments show that the Med3D can accelerate the training convergence speed of target 3D medical tasks 2 times compared with model pre-trained on Kinetics dataset, and 10 times compared with training from scratch as well as improve accuracy ranging from 3% to 20%. Transferring our Med3D model on state-the-of-art DenseASPP segmentation network, in case of single model, we achieve 94.6\% Dice coefficient which approaches the result of top-ranged algorithms on the LiTS challenge.


title: State-dependent effective interactions in oscillator networks through coupling functions with dead zones

abstract: The dynamics of networks of interacting dynamical systems depend on the nature of the coupling between individual units. We explore networks of oscillatory units with coupling functions that have "dead zones", that is, the coupling functions are zero on sets with interior. For such networks, it is convenient to look at the effective interactions between units rather than the (fixed) structural connectivity to understand the network dynamics. For example, oscillators may effectively decouple in particular phase configurations. Along trajectories the effective interactions are not necessarily static, but the effective coupling may evolve in time. Here, we formalize the concepts of dead zones and effective interactions. We elucidate how the coupling function shapes the possible effective interaction schemes and how they evolve in time.


title: Markov Decision Process-based Resilience Enhancement for Distribution Systems: An Approximate Dynamic Programming Approach

abstract: Because failures in distribution systems caused by extreme weather events directly result in consumers' outages, this paper proposes a state-based decision-making model with the objective of mitigating loss of load to improve the distribution system resilience throughout the unfolding events. The sequentially uncertain system states, e.g., feeder line on/off states, driven by the unfolding events are modeled as Markov states, and the probabilities from one Markov state to another Markov state throughout the unfolding events are determined by the component failure caused by the unfolding events. A recursive optimization model based on Markov decision processes (MDP) is developed to make state-based actions, i.e., system reconfiguration, at each decision time. To overcome the curse of dimensionality caused by enormous states and actions, an approximate dynamic programming (ADP) approach based on post-decision states and iteration is used to solve the proposed MDP-based model. IEEE 33-bus system and IEEE 123-bus system are used to validate the proposed model.


title: An equation for the isosbestic point wavelength in aqueous solutions of electrolytes

abstract: The existence of an isosbestic point in the OH bond vibration band of H2O molecules in solutions of strong electrolytes has been shown by many research groups but its physical meaning has been only recently read as the equilibrium point between two populations of water molecules where either water-ion or water-water interactions respectively prevail. Thus the isosbestic point provides useful information on the bulk displacement of water molecules in presence of solutes. Herein we show that the isosbestic point occurrence is accurately described by an equation depending on the balance of the electrostatic forces of the ion and its counter-ion. Furthermore, its wavelength is also related to the slope of the density vs. solute concentration. This support the view that the effect of the solute can be barely regulated within few hydration shells.


title: Multigrid Solvers in Reconfigurable Hardware

abstract: The problem of finding the solution of Partial Differential Equations (PDEs) plays a central role in modeling real world problems. Over the past years, Multigrid solvers have showed their robustness over other techniques, due to its high convergence rate which is independent of the problem size. For this reason, many attempts for exploiting the inherent parallelism of Multigrid have been made to achieve the desired efficiency and scalability of the method. Yet, most efforts fail in this respect due to many factors (time, resources) governed by software implementations. In this paper, we present a hardware implementation of the V-cycle Multigrid method for finding the solution of a 2D-Poisson equation. We use Handel-C to implement our hardware design, which we map onto available Field Programmable Gate Arrays (FPGAs). We analyze the implementation performance using the FPGA vendor's tools. We demonstrate the robustness of Multigrid over other iterative solvers, such as Jacobi and Successive Over Relaxation (SOR), in both hardware and software. We compare our findings with a C++ version of each algorithm. The obtained results show better performance when compared to existing software versions.


title: Crystal growth and quantum oscillations in the topological chiral semimetal CoSi

abstract: We survey the electrical transport properties of the single-crystalline, topological chiral semimetal CoSi which was grown via different methods. High-quality CoSi single crystals were found in the growth from tellurium solution. The sample's high carrier mobility enables us to observe, for the first time, quantum oscillations (QOs) in its thermoelectrical signals. Our analysis of QOs reveals two spherical Fermi surfaces around the R point in the Brillouin zone corner. The extracted Berry phases of these electron orbits are consistent with the -2 chiral charge as reported in DFT calculations. Detailed analysis on the QOs reveals that the spin-orbit coupling induced band-splitting is less than 2 meV near the Fermi level, one order of magnitude smaller than our DFT calculation result. We also report the phonon-drag induced large Nernst effect in CoSi at intermediate temperatures.


title: TAN: Temporal Affine Network for Real-Time Left Ventricle Anatomical Structure Analysis Based on 2D Ultrasound Videos

abstract: With superiorities on low cost, portability, and free of radiation, echocardiogram is a widely used imaging modality for left ventricle (LV) function quantification. However, automatic LV segmentation and motion tracking is still a challenging task. In addition to fuzzy border definition, low contrast, and abounding artifacts on typical ultrasound images, the shape and size of the LV change significantly in a cardiac cycle. In this work, we propose a temporal affine network (TAN) to perform image analysis in a warped image space, where the shape and size variations due to the cardiac motion as well as other artifacts are largely compensated. Furthermore, we perform three frequent echocardiogram interpretation tasks simultaneously: standard cardiac plane recognition, LV landmark detection, and LV segmentation. Instead of using three networks with one dedicating to each task, we use a multi-task network to perform three tasks simultaneously. Since three tasks share the same encoder, the compact network improves the segmentation accuracy with more supervision. The network is further finetuned with optical flow adjusted annotations to enhance motion coherence in the segmentation result. Experiments on 1,714 2D echocardiographic sequences demonstrate that the proposed method achieves state-of-the-art segmentation accuracy with real-time efficiency.


title: Naimark extension for the single-photon canonical phase measurement

abstract: We address the implementation of the positive operator-valued measure (POVM) describing the optimal M-outcomes discrimination of the polarization state of a single photon. Initially, the POVM elements are extended to projective operators by Naimark theorem, then the resulting projective measure is implemented by a Knill-Laflamme-Milburn scheme involving an optical network and photon counters. We find the analytical expression of the Naimark extension and the detection scheme that realise it for an arbitrary number of outcomes M = 2^N.


title: CNOT circuit extraction for topologically-constrained quantum memories

abstract: Many physical implementations of quantum computers impose stringent memory constraints in which 2-qubit operations can only be performed between qubits which are nearest neighbours in a lattice or graph structure. Hence, before a computation can be run on such a device, it must be mapped onto the physical architecture. That is, logical qubits must be assigned physical locations in the quantum memory, and the circuit must be replaced by an equivalent one containing only operations between nearest neighbours. In this paper, we give a new technique for quantum circuit mapping (a.k.a. routing), based on Gaussian elimination constrained to certain optimal spanning trees called Steiner trees. We give a reference implementation of the technique for CNOT circuits and show that it significantly out-performs general-purpose routines on CNOT circuits. We then comment on how the technique can be extended straightforwardly to the synthesis of CNOT+Rz circuits and as a modification to a recently-proposed circuit simplification/extraction procedure for generic circuits based on the ZX-calculus.


title: CFSNet: Toward a Controllable Feature Space for Image Restoration

abstract: Deep learning methods have witnessed the great progress in image restoration with specific metrics (e.g., PSNR, SSIM). However, the perceptual quality of the restored image is relatively subjective, and it is necessary for users to control the reconstruction result according to personal preferences or image characteristics, which cannot be done using existing deterministic networks. This motivates us to exquisitely design a unified interactive framework for general image restoration tasks. Under this framework, users can control continuous transition of different objectives, e.g., the perception-distortion trade-off of image super-resolution, the trade-off between noise reduction and detail preservation. We achieve this goal by controlling the latent features of the designed network. To be specific, our proposed framework, named Controllable Feature Space Network (CFSNet), is entangled by two branches based on different objectives. Our framework can adaptively learn the coupling coefficients of different layers and channels, which provides finer control of the restored image quality. Experiments on several typical image restoration tasks fully validate the effective benefits of the proposed method. Code is available at https://github.com/qibao77/CFSNet.


title: A Poisson transform adapted to the Rumin complex

abstract: Let $G$ be a semisimple Lie group with finite center, $K\subset G$ a maximal compact subgroup, and $P\subset G$ a parabolic subgroup. Following ideas of P.Y.\ Gaillard, one may use $G$-invariant differential forms on $G/K\times G/P$ to construct $G$-equivariant Poisson transforms mapping differential forms on $G/P$ to differential forms on $G/K$. Such invariant forms can be constructed using finite dimensional representation theory. In this general setting, we first prove that the transforms that always produce harmonic forms are exactly those that descend from the de Rham complex on $G/P$ to the associated Bernstein-Gelfand-Gelfand (or BGG) complex in a well defined sense. The main part of the article is devoted to an explicit construction of such transforms with additional favorable properties in the case that $G=SU(n+1,1)$. Thus $G/P$ is $S^{2n+1}$ with its natural CR structure and the relevant BGG complex is the Rumin complex, while $G/K$ is complex hyperbolic space of complex dimension $n+1$. The construction is carried out both for complex and for real differential forms and the compatibility of the transforms with the natural operators that are available on their sources and targets are analyzed in detail.


title: The Maximum Principle for Progressive Optimal Stochastic Control Problems with Random Jumps

abstract: In this paper, we obtain the maximum principle for optimal controls of stochastic systems with jumps by introducing a new method of variation. The control is allowed to enter both diffusion and jump term and the control domain need not to be convex.


title: Single Image Reflection Removal Exploiting Misaligned Training Data and Network Enhancements

abstract: Removing undesirable reflections from a single image captured through a glass window is of practical importance to visual computing systems. Although state-of-the-art methods can obtain decent results in certain situations, performance declines significantly when tackling more general real-world cases. These failures stem from the intrinsic difficulty of single image reflection removal -- the fundamental ill-posedness of the problem, and the insufficiency of densely-labeled training data needed for resolving this ambiguity within learning-based neural network pipelines. In this paper, we address these issues by exploiting targeted network enhancements and the novel use of misaligned data. For the former, we augment a baseline network architecture by embedding context encoding modules that are capable of leveraging high-level contextual clues to reduce indeterminacy within areas containing strong reflections. For the latter, we introduce an alignment-invariant loss function that facilitates exploiting misaligned real-world training data that is much easier to collect. Experimental results collectively show that our method outperforms the state-of-the-art with aligned data, and that significant improvements are possible when using additional misaligned data.


title: On the characters of Sylow $p$-subgroups of finite Chevalley groups $G(p^f)$ for arbitrary primes

abstract: We develop in this work a method to parametrize the set $\mathrm{Irr}(U)$ of irreducible characters of a Sylow $p$-subgroup $U$ of a finite Chevalley group $G(p^f)$ which is valid for arbitrary primes $p$, in particular when $p$ is a very bad prime for $G$. As an application, we parametrize $\mathrm{Irr}(U)$ when $G=\mathrm{F}_4(2^f)$.


title: Multimodal Machine Translation with Embedding Prediction

abstract: Multimodal machine translation is an attractive application of neural machine translation (NMT). It helps computers to deeply understand visual objects and their relations with natural languages. However, multimodal NMT systems suffer from a shortage of available training data, resulting in poor performance for translating rare words. In NMT, pretrained word embeddings have been shown to improve NMT of low-resource domains, and a search-based approach is proposed to address the rare word problem. In this study, we effectively combine these two approaches in the context of multimodal NMT and explore how we can take full advantage of pretrained word embeddings to better translate rare words. We report overall performance improvements of 1.24 METEOR and 2.49 BLEU and achieve an improvement of 7.67 F-score for rare word translation.


title: A Low Profile Tunable Microwave Absorber based on Graphene Sandwich Structure and High Impedance Surface

abstract: In this paper, a low profile dynamically tunable microwave absorber is proposed, which consists of high impedance surface (HIS) and graphene sandwich structure (GSS). We theoretically demonstrate and experimentally verify that the proposed absorber can provide a dynamically tunable reflection range from larger than -3dB to less than -30 dB (corresponding to the absorption range from 50% to 99.9%) at opera-ting frequency of 11.2GHz by external bias voltage. The entire thickness of this absorber is only 2.8mm, nearly one tenth of working wavelength. In addition, a modified equivalent circuit model is proposed to explicate its absorption mechanism. At last, we fabricate a prototype absorber, and measure its absorption in anechoic chamber. The experimental results agree well with the full wave simulation results. This work may provide a reference for design and fabrication of dynamically tunable microwave absorber based on large-scale graphene and may promote the actual applications of graphene at microwave frequency.


title: Harvesting Visual Objects from Internet Images via Deep Learning Based Objectness Assessment

abstract: The collection of internet images has been growing in an astonishing speed. It is undoubted that these images contain rich visual information that can be useful in many applications, such as visual media creation and data-driven image synthesis. In this paper, we focus on the methodologies for building a visual object database from a collection of internet images. Such database is built to contain a large number of high-quality visual objects that can help with various data-driven image applications. Our method is based on dense proposal generation and objectness-based re-ranking. A novel deep convolutional neural network is designed for the inference of proposal objectness, the probability of a proposal containing optimally-located foreground object. In our work, the objectness is quantitatively measured in regard of completeness and fullness, reflecting two complementary features of an optimal proposal: a complete foreground and relatively small background. Our experiments indicate that object proposals re-ranked according to the output of our network generally achieve higher performance than those produced by other state-of-the-art methods. As a concrete example, a database of over 1.2 million visual objects has been built using the proposed method, and has been successfully used in various data-driven image applications.


title: Strong coupling between weakly guided semiconductor nanowire modes and an organic dye

abstract: The light-matter coupling between electromagnetic modes guided by a semiconductor nanowire and excitonic states of molecules localized in its surrounding media is studied from both classical and quantum perspectives, with the aim of describing the strong coupling regime. Weakly guided modes (bare photonic modes) are found through a classical analysis, identifying those lowest-order modes presenting large electromagnetic fields spreading outside the nanowire, while preserving their robust guided behavior. Experimental fits of the dielectric permittivity of an organic dye that exhibits excitonic states are used for realistic scenarios. A quantum model properly confirms through an avoided mode crossing that the strong coupling regime can be achieved for this configuration, leading to Rabi splitting values above 100 meV. In addition, it is shown that the coupling strength depends on the fraction of energy spread outside the nanowire, rather than on the mode field localization. These results open up a new avenue towards strong coupling phenomenology involving propagating modes in non-absorbing media.


title: Homogeneous 8-manifolds admitting invariant Spin(7)-structures

abstract: We study compact, simply connected, homogeneous 8-manifolds admitting invariant Spin(7)-structures, classifying all canonical presentations G/H of such spaces, with G simply connected. For each presentation, we exhibit explicit examples of invariant Spin(7)-structures and we describe their type, according to Fern\'andez classification. Finally, we analyse the associated Spin(7)-connection with torsion.


title: Boundary determination for hybrid imaging from a single measurement

abstract: We recover the conductivity $\sigma$ at the boundary of a domain from a combination of interior and boundary data, with a single quite arbitrary measurement, in AET or CDII. The argument is elementary and local. More generally, we consider the variable exponent $p(\cdot)$-Laplacian as a forward model with the interior data $\sigma |\nabla u|^q$, and find out that single measurement specifies the boundary conductivity when $p-q \ge 1$, and otherwise the measurement specifies two alternatives. We present heuristics for selecting between these alternatives. Both $p$ and $q$ may depend on the spatial variable $x$, but they are assumed to be a priori known. We illustrate the practical situations with numerical examples.


title: Tunable Perfect Anomalous Reflection in Metasurfaces with Capacitive Lumped Elements

abstract: We demonstrate tunable perfect anomalous reflection with metasurfaces incorporating lumped elements. The tunable capacitance of each element provides continuous control over the local surface reactance, allowing for controlling the evanescent field distribution and efficiently tilting the reflected wavefront away from the specular direction. The performance of the metasurface is evaluated for both TE and TM polarization and for reflection to the first and second diffraction order.


title: Mapping social media attention in Microbiology: Identifying main topics and actors

abstract: This paper aims to map and identify topics of interest within the field of Microbiology and identify the main sources driving such attention. We combine data from Web of Science and Altmetric.com, a platform which retrieves mentions to scientific literature from social media and other non-academic communication outlets. We focus on the dissemination of microbial publications in Twitter, news media and policy briefs. A two-mode network of social accounts shows distinctive areas of activity. We identify a cluster of papers mentioned solely by regional news media. A central area of the network is formed by papers discussed by the three outlets. A large portion of the network is driven by Twitter activity. When analyzing top actors contributing to such network, we observe that more than half of the Twitter accounts are bots, mentioning 32% of the documents in our dataset. Within news media outlets, there is a predominance of popular science outlets. With regard to policy briefs, both international and national bodies are represented. Finally, our topic analysis shows that the thematic focus of papers mentioned varies by outlet. While news media cover the wider range of topics, policy briefs are focused on translational medicine, and bacterial outbreaks.


title: On Minimizing the Maximum Age-of-Information For Wireless Erasure Channels

abstract: Age-of-Information (AoI) is a recently proposed metric for quantifying the freshness of information from the UE's perspective in a communication network. Recently, Kadota et al. [1] have proposed an index-type approximately optimal scheduling policy for minimizing the average-AoI metric for a downlink transmission problem. For delay-sensitive applications, including real-time control of a cyber-physical system, or scheduling URLLC traffic in 5G, it is essential to have a more stringent uniform control on AoI across all users. In this paper, we derive an exactly optimal scheduling policy for this problem in a downlink cellular system with erasure channels. Our proof of optimality involves an explicit solution to the associated average-cost Bellman Equation, which might be of independent theoretical interest. We also establish that the resulting Age-process is positive recurrent under the optimal policy, and has an exponentially light tail, with the optimal large-deviation exponent. Finally, motivated by typical applications in small-cell residential networks, we consider the problem of minimizing the peak-AoI with throughput constraints to specific UEs, and derive a heuristic policy for this problem. Extensive numerical simulations have been carried out to compare the efficacy of the proposed policies with other well-known scheduling policies, such as Randomized scheduling and Proportional Fair.


title: Recognizing Musical Entities in User-generated Content

abstract: Recognizing Musical Entities is important for Music Information Retrieval (MIR) since it can improve the performance of several tasks such as music recommendation, genre classification or artist similarity. However, most entity recognition systems in the music domain have concentrated on formal texts (e.g. artists' biographies, encyclopedic articles, etc.), ignoring rich and noisy user-generated content. In this work, we present a novel method to recognize musical entities in Twitter content generated by users following a classical music radio channel. Our approach takes advantage of both formal radio schedule and users' tweets to improve entity recognition. We instantiate several machine learning algorithms to perform entity recognition combining task-specific and corpus-based features. We also show how to improve recognition results by jointly considering formal and user-generated content


title: Deep Learning for Large-Scale Traffic-Sign Detection and Recognition

abstract: Automatic detection and recognition of traffic signs plays a crucial role in management of the traffic-sign inventory. It provides accurate and timely way to manage traffic-sign inventory with a minimal human effort. In the computer vision community the recognition and detection of traffic signs is a well-researched problem. A vast majority of existing approaches perform well on traffic signs needed for advanced drivers-assistance and autonomous systems. However, this represents a relatively small number of all traffic signs (around 50 categories out of several hundred) and performance on the remaining set of traffic signs, which are required to eliminate the manual labor in traffic-sign inventory management, remains an open question. In this paper, we address the issue of detecting and recognizing a large number of traffic-sign categories suitable for automating traffic-sign inventory management. We adopt a convolutional neural network (CNN) approach, the Mask R-CNN, to address the full pipeline of detection and recognition with automatic end-to-end learning. We propose several improvements that are evaluated on the detection of traffic signs and result in an improved overall performance. This approach is applied to detection of 200 traffic-sign categories represented in our novel dataset. Results are reported on highly challenging traffic-sign categories that have not yet been considered in previous works. We provide comprehensive analysis of the deep learning method for the detection of traffic signs with large intra-category appearance variation and show below 3% error rates with the proposed approach, which is sufficient for deployment in practical applications of traffic-sign inventory management.


title: Electron-phonon superconductivity in CaBi2 and the role of spin-orbit interaction

abstract: CaBi$_2$ is a recently discovered type-I superconductor with $T_c=2$~K and a layered crystal structure. In this work electronic structure, lattice dynamics and electron-phonon interaction are studied, with a special attention paid to the influence of the spin-orbit coupling (SOC) on above-mentioned quantities. We find, that in the scalar-relativistic case (without SOC), electronic structure and electron-phonon interaction show the quasi-two dimensional character. Strong Fermi surface nesting is present, which leads to appearance of the Kohn anomaly in the phonon spectrum and enhanced electron-phonon coupling for the phonons propagating in the Ca-Bi atomic layers. However, strong spin-orbit coupling in this material changes the topology of the Fermi surface, reduces the nesting and the electron-phonon coupling becomes weaker and more isotropic. The electron-phonon coupling parameter $\lambda$ is reduced by SOC almost twice, from 0.94 to 0.54, giving even stronger effect on the superconducting critical temperature $T_c$, which drops from 5.2~K (without SOC) to 1.3~K (with SOC). Relativistic values of $\lambda$ and $T_c$ remain in a good agreement with experimental findings, confirming the general need for including SOC in analysis of the electron-phonon interaction in materials containing heavy elements.


title: Transit least-squares survey - I. Discovery and validation of an Earth-sized planet in the four-planet system K2-32 near the 1:2:5:7 resonance

abstract: We apply, for the first time, the Transit Least Squares (TLS) algorithm to search for new transiting exoplanets. TLS is a successor to the Box Least Squares (BLS) algorithm, which has served as a standard tool for the detection of periodic transits. In this proof-of-concept paper, we demonstrate how TLS finds small planets that have previously been missed. We showcase TLS' capabilities using the K2 EVEREST-detrended light curve of the star K2-32 (EPIC205071984) that was known to have three transiting planets. TLS detects these known Neptune-sized planets K2-32b, d, and c in an iterative search and finds an additional transit signal with a high signal detection efficiency (SDE_TLS) of 26.1 at a period of 4.34882 (-0.00075, +0.00069) d. We show that this signal remains detectable (SDE_TLS = 13.2) with TLS in the K2SFF light curve of K2-32, which includes a less optimal detrending of the systematic trends. The signal is below common detection thresholds, however, if searched with BLS in the K2SFF light curve (SDE_BLS = 8.9) as in previous searches. Markov Chain Monte Carlo sampling shows that the radius of this candidate is 1.01 (-0.09, +0.10) Earth radii. We analyze its phase-folded transit light curve using the vespa software and calculate a false positive probability FPP = 3.1e-3, formally validating K2-32e as a planet. Taking into account the multiplicity boost of the system, FPP < 3.1e-4. K2-32 now hosts at least four planets that are very close to a 1:2:5:7 mean motion resonance chain. The offset of the orbital periods of K2-32e and b from a 1:2 mean motion resonance is in very good agreement with the sample of transiting multi-planet systems from Kepler, lending further credence to the planetary nature of K2-32e. We expect that TLS can find many more transits of Earth-sized and smaller planets in the Kepler data that have hitherto remained undetected with BLS and similar algorithms.


title: The Hausdorff dimension of multiply Xiong chaotic sets

abstract: We construct a multiply Xiong chaotic set with full Hausdorff dimension everywhere that is contained in some multiply proximal cell for the full shift over finite symbols and the Gauss system respectively.


title: Holographic DC SQUID in the presence of dark matter

abstract: The gauge-gravity duality has been applied to examine the properties of holographic superconducting quantum device (SQUID), composed of two S-N-S Josephson junctions, influenced by dark sector modelled by the additional $U(1)$-gauge field coupled to the ordinary Maxwell one. The dark matter sector is known to affect the properties of superconductors and is expected to enter the current-phase relation. The kinetic mixing between two gauge fields provides a mechanism allowing for the conceivable observation of the effect. We find small but visible effect of the dark matter particle traversing the device, which shows up as a change of its maximal current.


title: Sticky collisions of ultracold RbCs molecules

abstract: Understanding and controlling collisions is crucial to the burgeoning field of ultracold molecules. All experiments so far have observed fast loss of molecules from the trap. However, the dominant mechanism for collisional loss is not well understood when there are no allowed 2-body loss processes. Here we experimentally investigate collisional losses of nonreactive ultracold RbCs molecules, and compare our findings with the sticky collision hypothesis that pairs of molecules form long-lived collision complexes. We demonstrate that loss of molecules occupying their rotational and hyperfine ground state is best described by second-order rate equations, consistent with the expectation for complex-mediated collisions, but that the rate is lower than the limit of universal loss. The loss is insensitive to magnetic field but increases for excited rotational states. We demonstrate that dipolar effects lead to significantly faster loss for an incoherent mixture of rotational states.

categories: cond-mat.quant-gas physics.atom-ph physics.chem-ph quant-ph


title: Transfer Learning for Clinical Time Series Analysis using Deep Neural Networks

abstract: Deep neural networks have shown promising results for various clinical prediction tasks. However, training deep networks such as those based on Recurrent Neural Networks (RNNs) requires large labeled data, significant hyper-parameter tuning effort and expertise, and high computational resources. In this work, we investigate as to what extent can transfer learning address these issues when using deep RNNs to model multivariate clinical time series. We consider two scenarios for transfer learning using RNNs: i) domain-adaptation, i.e., leveraging a deep RNN - namely, TimeNet - pre-trained for feature extraction on time series from diverse domains, and adapting it for feature extraction and subsequent target tasks in healthcare domain, ii) task-adaptation, i.e., pre-training a deep RNN - namely, HealthNet - on diverse tasks in healthcare domain, and adapting it to new target tasks in the same domain. We evaluate the above approaches on publicly available MIMIC-III benchmark dataset, and demonstrate that (a) computationally-efficient linear models trained using features extracted via pre-trained RNNs outperform or, in the worst case, perform as well as deep RNNs and statistical hand-crafted features based models trained specifically for target task; (b) models obtained by adapting pre-trained models for target tasks are significantly more robust to the size of labeled data compared to task-specific RNNs, while also being computationally efficient. We, therefore, conclude that pre-trained deep models like TimeNet and HealthNet allow leveraging the advantages of deep learning for clinical time series analysis tasks, while also minimize dependence on hand-crafted features, deal robustly with scarce labeled training data scenarios without overfitting, as well as reduce dependence on expertise and resources required to train deep networks from scratch.


title: Antichains of Copies of Ultrahomogeneous Structures

abstract: We investigate possible cardinalities of maximal antichains in the poset of copies $\langle \mathbb P(\mathbb X),\subset \rangle$ of a countable ultrahomogeneous relational structure $\mathbb X$. It turns out that if the age of $\mathbb X$ has the strong amalgamation property, then, defining a copy of $\mathbb X$ to be large iff it has infinite intersection with each orbit of $\mathbb X$, the structure $\mathbb X$ can be partitioned into countably many large copies, there are almost disjoint families of large copies of size continuum and, hence, there are (maximal) antichains of size continuum in the poset $\mathbb P (\mathbb X)$. Finally, we show that the posets of copies of all countable ultrahomogeneous partial orders contain maximal antichains of cardinality continuum and determine which of them contain countable maximal antichains. That holds, in particular, for the random (universal ultrahomogeneous) poset.


title: Exploring New Physics Beyond the Standard Cosmology with Dark Energy Survey Year 1 Data

abstract: With the recent data from the first year of the Dark Energy Survey (DES Y1), we attempt to probe whether there is new physics beyond the standard cosmology and to reconcile the $\sigma_8$ tension between the DES Y1 and Planck datasets in three alternative cosmological models. Combining the galaxy clustering and weak gravitational lensing data from the DES Y1 with other cosmological observations including cosmic microwave background radiation, baryon acoustic oscillations, Type Ia supernovae (SNe Ia) and Planck lensing, we find that: (i) For the interacting dark energy model, we have an updated constraint on the modified matter expansion rate $\epsilon=-0.00004\pm 0.00031$, which indicates that there is no hint of interaction between dark matter and dark energy in the dark sector of the universe; (ii) For the viscous dark energy model, up to now, the strictest constraint on the bulk viscosity coefficient $\eta<0.00152$ at the $2\sigma$ confidence level is obtained; (iii) For the dynamical dark energy model, our constraint on the typical parameter $\beta=-0.04\pm0.12$ implies that there is still no evidence of dynamical dark energy. Meanwhile, we find the $\sigma_8$ tension can be effectively alleviated in the above three alternatives by constraining them with the DES Y1 and Planck datasets separately.


title: Geometric realizations of Tamari interval lattices via cubic coordinates

abstract: We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each degree the set of cubic coordinates forms a lattice, isomorphic to the lattice of Tamari intervals. Geometric realizations are naturally obtained by placing cubic coordinates in space, highlighting some of their properties. We consider the cellular structure of these realizations. Finally, we show that the poset of cubic coordinates is shellable.


title: Probing the Local Response of Glass-forming Liquids by Laser Excitations

abstract: The glass is a disordered solid that processes distinct dynamical and elastic properties compared with crystal. How heterogeneous glassy materials can be and to what extent dynamics is encoded with structure and elasticity are long-standing puzzles in glass science. In this experiment, we probed the responses of binary colloidal glasses towards the excitations induced by highly focused laser pulses. We observed very similar excitation patterns when the laser was repeated in the linear region; directly proving that the dynamical heterogeneity is strongly encoded with structure. In the non-linear region, we identified a non-monotonic dynamical length scale as a function of area fraction, resulting from the non-monotonic coupling of momentum transfer in radial and orthogonal directions. Surprisingly, the excitation size and radius of gyration conformed to a universal scaling relation that covered both linear and non-linear regions. Our experiments offered a new strategy of actively probing the response of glassy materials on the microscopic level.


title: Subsurface diffusion in crystals and effect of surface permeability on the atomic step motion

abstract: Atomic mechanism of the bulk and surface point defect generation and annihilation on surface sinks is considered theoretically on the base of the Burton, Cabrera and Frank model. We show that the creation and annihilation of self-interstitials and vacancies at crystal surfaces can be described by introducing a diffusive layer of the bulk point defects adsorbed just below the surface. The effect of the surface permeability on the atomic step rate advance is analyzed. We conclude that the surface permeability, as well as the supersaturation of point defects in both gas and bulk phases, control the dynamic of the crystal surface morphology.


title: Bayesian data analysis in empirical software engineering---The case of missing data

abstract: Bayesian data analysis (BDA) is today used by a multitude of research disciplines. These disciplines use BDA as a way to embrace uncertainty by using multilevel models and making use of all available information at hand. In this chapter, we first introduce the reader to BDA and then provide an example from empirical software engineering, where we also deal with a common issue in our field, i.e., missing data. The example we make use of presents the steps done when conducting state of the art statistical analysis. First, we need to understand the problem we want to solve. Second, we conduct causal analysis. Third, we analyze non-identifiability. Fourth, we conduct missing data analysis. Finally, we do a sensitivity analysis of priors. All this before we design our statistical model. Once we have a model, we present several diagnostics one can use to conduct sanity checks. We hope that through these examples, the reader will see the advantages of using BDA. This way, we hope Bayesian statistics will become more prevalent in our field, thus partly avoiding the reproducibility crisis we have seen in other disciplines.


title: Unbiased on-lattice domain growth

abstract: Domain growth is a key process in many areas of biology, including embryonic development, the growth of tissue, and limb regeneration. As a result, mechanisms for incorporating it into traditional models for cell movement, interaction, and proliferation are of great importance. A previously well-used method in order to incorporate domain growth into on-lattice reaction-diffusion models causes a build up of particles on the boundaries of the domain, which is particularly evident when diffusion is low in comparison to the rate of domain growth. Here, we present a new method which addresses this unphysical build up of particles at the boundaries, and demonstrate that it is accurate even for scenarios in which the previous method fails. Further, we discuss for which parameter regimes it is feasible to continue using the original method due to diffusion dominating the domain growth mechanism.


title: Polca SARA - Full polarization, direction-dependent calibration and sparse imaging for radio interferometry

abstract: New generation of radio interferometers are envisaged to produce high quality, high dynamic range Stokes images of the observed sky from the corresponding under-sampled Fourier domain measurements. In practice, these measurements are contaminated by the instrumental and atmospheric effects that are well represented by Jones matrices, and are most often varying with observation direction and time. These effects, usually unknown, act as a limiting factor in achieving the required imaging performance and thus, their calibration is crucial. To address this issue, we develop a global algorithm, named Polca SARA, aiming to perform full polarization, direction-dependent calibration and sparse imaging by employing a non-convex optimization technique. In contrast with the existing approaches, the proposed method offers global convergence guarantees and flexibility to incorporate sophisticated priors to regularize the imaging as well as the calibration problem. Thus, we adapt a polarimetric imaging specific method, enforcing the physical polarization constraint along with a sparsity prior for the sought images. We perform extensive simulation studies of the proposed algorithm. While indicating the superior performance of polarization constraint based imaging, the obtained results also highlight the importance of calibrating for direction-dependent effects as well as for off-diagonal terms (denoting polarization leakage) in the associated Jones matrices, without inclusion of which the imaging quality deteriorates.


title: Learning Content-Weighted Deep Image Compression

abstract: Learning-based lossy image compression usually involves the joint optimization of rate-distortion performance. Most existing methods adopt spatially invariant bit length allocation and incorporate discrete entropy approximation to constrain compression rate. Nonetheless, the information content is spatially variant, where the regions with complex and salient structures generally are more essential to image compression. Taking the spatial variation of image content into account, this paper presents a content-weighted encoder-decoder model, which involves an importance map subnet to produce the importance mask for locally adaptive bit rate allocation. Consequently, the summation of importance mask can thus be utilized as an alternative of entropy estimation for compression rate control. Furthermore, the quantized representations of the learned code and importance map are still spatially dependent, which can be losslessly compressed using arithmetic coding. To compress the codes effectively and efficiently, we propose a trimmed convolutional network to predict the conditional probability of quantized codes. Experiments show that the proposed method can produce visually much better results, and performs favorably in comparison with deep and traditional lossy image compression approaches.


title: Learn2MAC: Online Learning Multiple Access for URLLC Applications

abstract: This paper addresses a fundamental limitation of previous random access protocols, their lack of latency performance guarantees. We consider $K$ IoT transmitters competing for uplink resources and we design a fully distributed protocol for deciding how they access the medium. Specifically, each transmitter restricts decisions to a locally-generated dictionary of transmission patterns. At the beginning of a frame, pattern $i$ is chosen with probability $p^i$, and an online exponentiated gradient algorithm is used to adjust this probability distribution. The performance of the proposed scheme is showcased in simulations, where it is compared with a baseline random access protocol. Simulation results show that (a) the proposed scheme achieves good latent throughput performance and low energy consumption, while (b) it outperforms by a big margin random transmissions.


title: Modulational stability of nonlinear saturated gravity waves

abstract: Stationary gravity waves, such as mountain lee waves, are effectively described by Grimshaw's dissipative modulation equations even in high altitudes where they become nonlinear due to their large amplitudes. In this theoretical study, a wave-Reynolds number is introduced to characterize general solutions to these modulation equations. This non-dimensional number relates the vertical linear group velocity with wavenumber, pressure scale height and kinematic molecular/eddy viscosity. It is demonstrated by analytic and numerical methods that Lindzen-type waves in the saturation region, i.e. where the wave-Reynolds number is of order unity, destabilize by transient perturbations. It is proposed that this mechanism may be a generator for secondary waves due to direct wave-mean-flow interaction. By assumption the primary waves are exactly such that altitudinal amplitude growth and viscous damping are balanced and by that the amplitude is maximized. Implications of these results on the relation between mean-flow acceleration and wave breaking heights are discussed.


title: 1-smooth pro-p groups and Bloch-Kato pro-p groups

abstract: Let $p$ be a prime. A pro-$p$ group $G$ is said to be 1-smooth if it can be endowed with a homomorphism of pro-$p$ groups $G\to1+p\mathbb{Z}_p$ satisfying a formal version of Hilbert 90. By Kummer theory, maximal pro-$p$ Galois groups of fields containing a root of 1 of order $p$, together with the cyclotomic character, are 1-smooth. We prove that a finitely generated $p$-adic analytic pro-$p$ group is 1-smooth if, and only if, it occurs as the maximal pro-$p$ Galois group of a field containing a root of 1 of order $p$. This gives a positive answer to De Clerq-Florence's "Smoothness Conjecture" - which states that the Rost-Voevodsky Theorem (a.k.a. Bloch-Kato Conjecture) follows from 1-smoothness - for the class of finitely generated $p$-adic analytic pro-$p$ groups.


title: Typicality and thermality in 2d CFT

abstract: We identify typical high energy eigenstates in two-dimensional conformal field theories at finite $c$ and establish that correlation functions of the stress tensor in such states are accurately thermal as defined by the standard canonical ensemble. Typical states of dimension $h$ are shown to be typical level $h/c$ descendants. In the AdS$_3$/CFT$_2$ correspondence, it is such states that should be compared to black holes in the bulk. We also discuss the discrepancy between thermal correlators and those computed in high energy primary states: the latter are reproduced instead by a generalized Gibbs ensemble with extreme values chosen for the chemical potentials conjugate to the KdV charges.


title: Syntactic Interchangeability in Word Embedding Models

abstract: Nearest neighbors in word embedding models are commonly observed to be semantically similar, but the relations between them can vary greatly. We investigate the extent to which word embedding models preserve syntactic interchangeability, as reflected by distances between word vectors, and the effect of hyper-parameters---context window size in particular. We use part of speech (POS) as a proxy for syntactic interchangeability, as generally speaking, words with the same POS are syntactically valid in the same contexts. We also investigate the relationship between interchangeability and similarity as judged by commonly-used word similarity benchmarks, and correlate the result with the performance of word embedding models on these benchmarks. Our results will inform future research and applications in the selection of word embedding model, suggesting a principle for an appropriate selection of the context window size parameter depending on the use-case.


title: Robust Optimisation Monte Carlo

abstract: This paper is on Bayesian inference for parametric statistical models that are defined by a stochastic simulator which specifies how data is generated. Exact sampling is then possible but evaluating the likelihood function is typically prohibitively expensive. Approximate Bayesian Computation (ABC) is a framework to perform approximate inference in such situations. While basic ABC algorithms are widely applicable, they are notoriously slow and much research has focused on increasing their efficiency. Optimisation Monte Carlo (OMC) has recently been proposed as an efficient and embarrassingly parallel method that leverages optimisation to accelerate the inference. In this paper, we demonstrate an important previously unrecognised failure mode of OMC: It generates strongly overconfident approximations by collapsing regions of similar or near-constant likelihood into a single point. We propose an efficient, robust generalisation of OMC that corrects this. It makes fewer assumptions, retains the main benefits of OMC, and can be performed either as post-processing to OMC or as a stand-alone computation. We demonstrate the effectiveness of the proposed Robust OMC on toy examples and tasks in inverse-graphics where we perform Bayesian inference with a complex image renderer.


title: Application-Agnostic Offloading of Packet Processing

abstract: As network speed increases, servers struggle to serve all requests directed at them. This challenge is rooted in a partitioned data path where the split between the kernel space networking stack and user space applications induces overheads. To address this challenge, we propose Santa, a new architecture to optimize the data path by enabling server applications to partially offload packet processing to a generic rule processor. We exemplify Santa by showing how it can drastically accelerate kernel-based packet processing - a currently neglected domain. Our evaluation of a broad class of applications, namely DNS, Memcached, and HTTP, highlights that Santa can substantially improve the server performance by a factor of 5.5, 2.1, and 2.5, respectively.


title: Enhancing the long-term performance of recommender system

abstract: Recommender system is a critically important tool in online commercial system and provide users with personalized recommendation on items. So far, numerous recommendation algorithms have been made to further improve the recommendation performance in a single-step recommendation, while the long-term recommendation performance is neglected. In this paper, we proposed an approach called Adjustment of Recommendation List (ARL) to enhance the long-term recommendation accuracy. In order to observe the long-term accuracy, we developed an evolution model of network to simulate the interaction between the recommender system and user's behaviour. The result shows that not only long-term recommendation accuracy can be enhanced significantly but the diversity of item in online system maintains healthy. Notably, an optimal parameter n* of ARL existed in long-term recommendation, indicating that there is a trade-off between keeping diversity of item and user's preference to maximize the long-term recommendation accuracy. Finally, we confirmed that the optimal parameter n* is stable during evolving network, which reveals the robustness of ARL method.


title: Fisher matrix for multiple tracers: model independent constraints on the redshift distortion parameter

abstract: We show how to obtain constraints on $\beta=f/b$, the ratio of the matter growth rate and the bias that quantifies the linear redshift-space distortions, that are independent of the cosmological model, using multiple tracers of large-scale structure. For a single tracer the uncertainties on $\beta$ are constrained by the uncertainties in the amplitude and shape of the power spectrum, which is limited by cosmic variance. However, for two or more tracers this limit does not apply, since taking the ratio of power spectra cosmic variance cancels out, and in the linear (Kaiser) approximation one measures directly the quantity $(1+ \beta_1 \mu^2)^2/(1+ \beta_2 \mu^2)^2$, where $\mu$ is the angle of a given mode with the line of sight. We provide analytic formulae for the Fisher matrix for one and two tracers, and quantify the signal-to-noise ratio needed to make effective use of the multiple-tracer technique. We also forecast the errors on $\beta$ for a survey like Euclid.


title: Deep Built-Structure Counting in Satellite Imagery Using Attention Based Re-Weighting

abstract: In this paper, we attempt to address the challenging problem of counting built-structures in the satellite imagery. Building density is a more accurate estimate of the population density, urban area expansion and its impact on the environment, than the built-up area segmentation. However, building shape variances, overlapping boundaries, and variant densities make this a complex task. To tackle this difficult problem, we propose a deep learning based regression technique for counting built-structures in satellite imagery. Our proposed framework intelligently combines features from different regions of satellite image using attention based re-weighting techniques. Multiple parallel convolutional networks are designed to capture information at different granulates. These features are combined into the FusionNet which is trained to weigh features from different granularity differently, allowing us to predict a precise building count. To train and evaluate the proposed method, we put forward a new large-scale and challenging built-structure-count dataset. Our dataset is constructed by collecting satellite imagery from diverse geographical areas (planes, urban centers, deserts, etc.,) across the globe (Asia, Europe, North America, and Africa) and captures the wide density of built structures. Detailed experimental results and analysis validate the proposed technique. FusionNet has Mean Absolute Error of 3.65 and R-squared measure of 88% over the testing data. Finally, we perform the test on the 274:3 ? 103 m2 of the unseen region, with the error of 19 buildings off the 656 buildings in that area.


title: From Trivial Kondo Insulator Ce$_3$Pt$_3$Bi$_4$ to Topological Nodal-line Semimetal Ce$_3$Pd$_3$Bi$_4$

abstract: Using the density functional theory combined with dynamical mean-field theory, we have performed systematic study of the electronic structure and its band topology properties of Ce$_3$Pt$_3$Bi$_4$ and Ce$_3$Pd$_3$Bi$_4$. At high temperatures ($\sim$290K), the electronic structures of both compounds resemble the open-core 4$f$ density functional calculation results. For Ce$_3$Pt$_3$Bi$_4$, clear hybridization gap can be observed below 72K, and its coherent momentum-resolved spectral function below 18K exhibits an topologically trivial indirect gap of $\sim$6 meV and resembles density functional band structure with itinerant 4$f$ state. For Ce$_3$Pd$_3$Bi$_4$, no clear hybridization gap can be observed down to 4K, and its momentum-resolved spectral function resembles electron-doped open-core 4$f$ density functional calculations. The band nodal points of Ce$_3$Pd$_3$Bi$_4$ at 4K are protected by the gliding-mirror symmetry and form ring-like structure. Therefore, the Ce$_3$Pt$_3$Bi$_4$ compound is topologically trivial Kondo insulator while the Ce$_3$Pd$_3$Bi$_4$ compound is topological nodal-line semimetal.


title: Ranking and Selecting Multi-Hop Knowledge Paths to Better Predict Human Needs

abstract: To make machines better understand sentiments, research needs to move from polarity identification to understanding the reasons that underlie the expression of sentiment. Categorizing the goals or needs of humans is one way to explain the expression of sentiment in text. Humans are good at understanding situations described in natural language and can easily connect them to the character's psychological needs using commonsense knowledge. We present a novel method to extract, rank, filter and select multi-hop relation paths from a commonsense knowledge resource to interpret the expression of sentiment in terms of their underlying human needs. We efficiently integrate the acquired knowledge paths in a neural model that interfaces context representations with knowledge using a gated attention mechanism. We assess the model's performance on a recently published dataset for categorizing human needs. Selectively integrating knowledge paths boosts performance and establishes a new state-of-the-art. Our model offers interpretability through the learned attention map over commonsense knowledge paths. Human evaluation highlights the relevance of the encoded knowledge.