title: A Compact Dispersive Refocusing Rowland Circle X-ray Emission Spectrometer for Laboratory, Synchrotron, and XFEL Applications

abstract: X-ray emission spectroscopy is emerging as an important complement to x-ray absorption fine structure spectroscopy, providing a characterization of the occupied electronic density of states local to the species of interest. Here, we present details of the design and performance of a compact x-ray emission spectrometer that uses a dispersive refocusing Rowland (DRR) circle geometry to achieve excellent performance for the 2 - 2.5 keV energy range. The DRR approach allows high energy resolution even for unfocused x-ray sources. This property enables high count rates in laboratory studies, comparable to those of insertion-device beamlines at third-generation synchrotrons, despite use of only a low-powered, conventional x-ray tube. The spectrometer, whose overall scale is set by use of a 10-cm diameter Rowland circle and a new small-pixel CMOS x-ray camera, is easily portable to synchrotron or x-ray free electron beamlines. Photometrics from measurements at the Advanced Light Source show somewhat higher overall instrumental efficiency than prior systems based on less tightly curved analyzer optics. In addition, the compact size of this instrument lends itself to future multiplexing to gain large factors in net collection efficiency, or its implementation in controlled gas gloveboxes either in the lab or in an endstation.


title: Covering Uncertain Points in a Tree

abstract: In this paper, we consider a coverage problem for uncertain points in a tree. Let T be a tree containing a set P of n (weighted) demand points, and the location of each demand point P_i\in P is uncertain but is known to appear in one of m_i points on T each associated with a probability. Given a covering range \lambda, the problem is to find a minimum number of points (called centers) on T to build facilities for serving (or covering) these demand points in the sense that for each uncertain point P_i\in P, the expected distance from P_i to at least one center is no more than $\lambda$. The problem has not been studied before. We present an O(|T|+M\log^2 M) time algorithm for the problem, where |T| is the number of vertices of T and M is the total number of locations of all uncertain points of P, i.e., M=\sum_{P_i\in P}m_i. In addition, by using this algorithm, we solve a k-center problem on T for the uncertain points of P.


title: Leveraging Patient Similarity and Time Series Data in Healthcare Predictive Models

abstract: Patient time series classification faces challenges in high degrees of dimensionality and missingness. In light of patient similarity theory, this study explores effective temporal feature engineering and reduction, missing value imputation, and change point detection methods that can afford similarity-based classification models with desirable accuracy enhancement. We select a piecewise aggregation approximation method to extract fine-grain temporal features and propose a minimalist method to impute missing values in temporal features. For dimensionality reduction, we adopt a gradient descent search method for feature weight assignment. We propose new patient status and directional change definitions based on medical knowledge or clinical guidelines about the value ranges for different patient status levels, and develop a method to detect change points indicating positive or negative patient status changes. We evaluate the effectiveness of the proposed methods in the context of early Intensive Care Unit mortality prediction. The evaluation results show that the k-Nearest Neighbor algorithm that incorporates methods we select and propose significantly outperform the relevant benchmarks for early ICU mortality prediction. This study makes contributions to time series classification and early ICU mortality prediction via identifying and enhancing temporal feature engineering and reduction methods for similarity-based time series classification.


title: PPMF: A Patient-based Predictive Modeling Framework for Early ICU Mortality Prediction

abstract: To date, developing a good model for early intensive care unit (ICU) mortality prediction is still challenging. This paper presents a patient based predictive modeling framework (PPMF) to improve the performance of ICU mortality prediction using data collected during the first 48 hours of ICU admission. PPMF consists of three main components verifying three related research hypotheses. The first component captures dynamic changes of patients status in the ICU using their time series data (e.g., vital signs and laboratory tests). The second component is a local approximation algorithm that classifies patients based on their similarities. The third component is a Gradient Decent wrapper that updates feature weights according to the classification feedback. Experiments using data from MIMICIII show that PPMF significantly outperforms: (1) the severity score systems, namely SASP III, APACHE IV, and MPM0III, (2) the aggregation based classifiers that utilize summarized time series, and (3) baseline feature selection methods.


title: Reassessing Graphene Absorption and Emission Spectroscopy

abstract: We present a new paradigm for understanding optical absorption and hot electron dynamics experiments in graphene. Our analysis pivots on assigning proper importance to phonon assisted indirect processes and bleaching of direct processes. We show indirect processes figure in the excess absorption in the UV region. Experiments which were thought to indicate ultrafast relaxation of electrons and holes, reaching a thermal distribution from an extremely non-thermal one in under 5-10 fs, instead are explained by the nascent electron and hole distributions produced by indirect transitions. These need no relaxation or ad-hoc energy removal to agree with the observed emission spectra and fast pulsed absorption spectra. The fast emission following pulsed absorption is dominated by phonon assisted processes, which vastly outnumber direct ones and are always available, connecting any electron with any hole any time. Calculations are given, including explicitly calculating the magnitude of indirect processes, supporting these views.


title: Persistence in Stochastic Lotka--Volterra food chains with intraspecific competition

abstract: This paper is devoted to the analysis of a simple Lotka-Volterra food chain evolving in a stochastic environment. It can be seen as the companion paper of Hening and Nguyen (J. of Math. Biol. `18) where we have characterized the persistence and extinction of such a food chain under the assumption that there is no intraspecific competition among predators. In the current paper we focus on the case when all the species experience intracompetition. The food chain we analyze consists of one prey and $n-1$ predators. The $j$th predator eats the $j-1$st species and is eaten by the $j+1$st predator; this way each species only interacts with at most two other species - the ones that are immediately above or below it in the trophic chain. We show that one can classify, based on the invasion rates of the predators (which we can determine from the interaction coefficients of the system via an algorithm), which species go extinct and which converge to their unique invariant probability measure. We obtain stronger results than in the case with no intraspecific competition because in this setting we can make use of the general results of Hening and Nguyen (Ann. of Appl. Probab.). Unlike most of the results available in the literature, we provide an in depth analysis for both non-degenerate and degenerate noise. We exhibit our general results by analysing trophic cascades in a plant--herbivore--predator system and providing persistence/extinction criteria for food chains of length $n\leq 3$.


title: A Labeling-Free Approach to Supervising Deep Neural Networks for Retinal Blood Vessel Segmentation

abstract: Segmenting blood vessels in fundus imaging plays an important role in medical diagnosis. Many algorithms have been proposed. While deep Neural Networks have been attracting enormous attention from computer vision community recent years and several novel works have been done in terms of its application in retinal blood vessel segmentation, most of them are based on supervised learning which requires amount of labeled data, which is both scarce and expensive to obtain. We leverage the power of Deep Convolutional Neural Networks (DCNN) in feature learning, in this work, to achieve this ultimate goal. The highly efficient feature learning of DCNN inspires our novel approach that trains the networks with automatically-generated samples to achieve desirable performance on real-world fundus images. For this, we design a set of rules abstracted from the domain-specific prior knowledge to generate these samples. We argue that, with the high efficiency of DCNN in feature learning, one can achieve this goal by constructing the training dataset with prior knowledge, no manual labeling is needed. This approach allows us to take advantages of supervised learning without labeling. We also build a naive DCNN model to test it. The results on standard benchmarks of fundus imaging show it is competitive to the state-of-the-art methods which implies a potential way to leverage the power of DCNN in feature learning.


title: Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks

abstract: There is a wide gap between symbolic reasoning and deep learning. In this research, we explore the possibility of using deep learning to improve symbolic reasoning. Briefly, in a reasoning system, a deep feedforward neural network is used to guide rewriting processes after learning from algebraic reasoning examples produced by humans. To enable the neural network to recognise patterns of algebraic expressions with non-deterministic sizes, reduced partial trees are used to represent the expressions. Also, to represent both top-down and bottom-up information of the expressions, a centralisation technique is used to improve the reduced partial trees. Besides, symbolic association vectors and rule application records are used to improve the rewriting processes. Experimental results reveal that the algebraic reasoning examples can be accurately learnt only if the feedforward neural network has enough hidden layers. Also, the centralisation technique, the symbolic association vectors and the rule application records can reduce error rates of reasoning. In particular, the above approaches have led to 4.6% error rate of reasoning on a dataset of linear equations, differentials and integrals.


title: Probing molecular potentials with an optical centrifuge

abstract: We use an optical centrifuge to excite coherent rotational wave packets in N$_2$O, CS$_2$ and OCS molecules with rotational quantum numbers reaching up to J=465, 690 and 1186, respectively. Time-resolved rotational spectroscopy at such ultra-high levels of rotational excitation can be used as a sensitive tool to probe the molecular potential energy surface at inter-nuclear distances far from their equilibrium values. Significant bond stretching in the centrifuged molecules results in the growing period of the rotational revivals, which are experimentally detected using coherent Raman scattering. We measure the revival period as a function of the centrifuge-induced rotational frequency and compare it with the numerical calculations based on the known Morse-cosine potentials.


title: Dynamic Model Selection for Prediction Under a Budget

abstract: We present a dynamic model selection approach for resource-constrained prediction. Given an input instance at test-time, a gating function identifies a prediction model for the input among a collection of models. Our objective is to minimize overall average cost without sacrificing accuracy. We learn gating and prediction models on fully labeled training data by means of a bottom-up strategy. Our novel bottom-up method is a recursive scheme whereby a high-accuracy complex model is first trained. Then a low-complexity gating and prediction model are subsequently learnt to adaptively approximate the high-accuracy model in regions where low-cost models are capable of making highly accurate predictions. We pose an empirical loss minimization problem with cost constraints to jointly train gating and prediction models. On a number of benchmark datasets our method outperforms state-of-the-art achieving higher accuracy for the same cost.


title: Some Like it Hoax: Automated Fake News Detection in Social Networks

abstract: In recent years, the reliability of information on the Internet has emerged as a crucial issue of modern society. Social network sites (SNSs) have revolutionized the way in which information is spread by allowing users to freely share content. As a consequence, SNSs are also increasingly used as vectors for the diffusion of misinformation and hoaxes. The amount of disseminated information and the rapidity of its diffusion make it practically impossible to assess reliability in a timely manner, highlighting the need for automatic hoax detection systems. As a contribution towards this objective, we show that Facebook posts can be classified with high accuracy as hoaxes or non-hoaxes on the basis of the users who "liked" them. We present two classification techniques, one based on logistic regression, the other on a novel adaptation of boolean crowdsourcing algorithms. On a dataset consisting of 15,500 Facebook posts and 909,236 users, we obtain classification accuracies exceeding 99% even when the training set contains less than 1% of the posts. We further show that our techniques are robust: they work even when we restrict our attention to the users who like both hoax and non-hoax posts. These results suggest that mapping the diffusion pattern of information can be a useful component of automatic hoax detection systems.


title: Closed range of $\bar\partial$ in $L^2$-Sobolev spaces on unbounded domains in $\mathbb{C}^n$

abstract: Let $\Omega\subset\mathbb{C}^n$ be a domain and $1 \leq q \leq n-1$ fixed. Our purpose in this article is to establish a general sufficient condition for the closed range of the Cauchy-Riemann operator $\bar\partial$ in appropriately weighted $L^2$-Sobolev spaces on $(0,q)$-forms. The domains we consider may be neither bounded nor pseudoconvex, and our condition is a generalization of the classical $Z(q)$ condition that we call weak $Z(q)$. We provide examples that explain the necessity of working in weighted spaces both for closed range in $L^2$ and, even more critically, in $L^2$-Sobolev spaces.


title: Investigation of Wireless Channel Asymmetry in Indoor Environments

abstract: Asymmetry is unquestionably an important characteristic of the wireless propagation channel, which needs to be accurately modeled for wireless and mobile communications, 5G networks, and associated applications such as indoor/outdoor localization. This paper reports on the potential causes of propagation asymmetry. Practical channel measurements at Khalifa University premises proved that wireless channels are asymmetric in realistic scenarios. Some important conclusions and recommendation are also summarized.


title: Possible spin excitation structure in monolayer FeSe grown on SrTiO$_{3}$

abstract: Based on recent high-resolution angle-resolved photoemission spectroscopy measurement in monolayer FeSe grown on SrTiO$_{3}$, we constructed a tight-binding model and proposed a superconducting (SC) pairing function which can well fit the observed band structure and SC gap anisotropy. Then we investigated the spin excitation spectra in order to determine the possible sign structure of the SC order parameter. We found that a resonance-like spin excitation may occur if the SC order parameter changes sign along the Fermi surfaces. However, this resonance is located at different locations in momentum space compared to other FeSe-based superconductors, suggesting that the Fermi surface shape and pairing symmetry in monolayer FeSe grown on SrTiO$_{3}$ may be different from other FeSe-based superconductors.


title: Knotting probability of self-avoiding polygons under a topological constraint

abstract: We define the knotting probability of a knot $K$ by the probability for a random polygon (RP) or self-avoiding polygon (SAP) of $N$ segments having the knot type $K$. We show fundamental and generic properties of the knotting probability particularly its dependence on the excluded volume. We investigate them for the SAP consisting of hard cylindrical segments of unit length and radius $r_{\rm ex}$. For various prime and composite knots we numerically show that a compact formula describes the knotting probabilities for the cylindrical SAP as a function of segment number $N$ and radius $r_{\rm ex}$. It connects the small-$N$ to the large-$N$ behavior and even to lattice knots in the case of large values of radius. As the excluded volume increases the maximum of the knotting probability decreases for prime knots except for the trefoil knot. If it is large, the trefoil knot and its descendants are dominant among the nontrivial knots in the SAP. From the factorization property of the knotting probability we derive a relation among the estimates of a fitting parameter for all prime knots, which suggests the local knot picture. Here we remark that the cylindrical SAP gives a model of circular DNA which are negatively charged and semiflexible, where radius $r_{\rm ex}$ corresponds to the screening length.


title: Scalable Planning with Tensorflow for Hybrid Nonlinear Domains

abstract: Given recent deep learning results that demonstrate the ability to effectively optimize high-dimensional non-convex functions with gradient descent optimization on GPUs, we ask in this paper whether symbolic gradient optimization tools such as Tensorflow can be effective for planning in hybrid (mixed discrete and continuous) nonlinear domains with high dimensional state and action spaces? To this end, we demonstrate that hybrid planning with Tensorflow and RMSProp gradient descent is competitive with mixed integer linear program (MILP) based optimization on piecewise linear planning domains (where we can compute optimal solutions) and substantially outperforms state-of-the-art interior point methods for nonlinear planning domains. Furthermore, we remark that Tensorflow is highly scalable, converging to a strong plan on a large-scale concurrent domain with a total of 576,000 continuous action parameters distributed over a horizon of 96 time steps and 100 parallel instances in only 4 minutes. We provide a number of insights that clarify such strong performance including observations that despite long horizons, RMSProp avoids both the vanishing and exploding gradient problems. Together these results suggest a new frontier for highly scalable planning in nonlinear hybrid domains by leveraging GPUs and the power of recent advances in gradient descent with highly optimized toolkits like Tensorflow.


title: Information vs. Uncertainty as the Foundation for a Science of Environmental Modeling

abstract: Information accounting provides a better foundation for hypothesis testing than does uncertainty quantification. A quantitative account of science is derived under this perspective that alleviates the need for epistemic bridge principles, solves the problem of ad hoc falsification criteria, and deals with verisimilitude by facilitating a general approach to process-level diagnostics. Our argument is that the well-known inconsistencies of both Bayesian and classical statistical hypothesis tests are due to the fact that probability theory is an insufficient logic of science. Information theory, as an extension of probability theory, is required to provide a complete logic on which to base quantitative theories of empirical learning. The organizing question in this case becomes not whether our theories or models are more or less true, or about how much uncertainty is associated with a particular model, but instead whether there is any information available from experimental data that might allow us to improve the model. This becomes a formal hypothesis test, provides a theory of model diagnostics, and suggests a new approach to building dynamical systems models.


title: Oracle posterior contraction rates under hierarchical priors

abstract: We offer a general Bayes theoretic framework to derive posterior contraction rates under a hierarchical prior design: the first-step prior serves to assess the model selection uncertainty, and the second-step prior quantifies the prior belief on the strength of the signals within the model chosen from the first step. In particular, we establish non-asymptotic oracle posterior contraction rates under (i) a local Gaussianity condition on the log likelihood ratio of the statistical experiment, (ii) a local entropy condition on the dimensionality of the models, and (iii) a sufficient mass condition on the second-step prior near the best approximating signal for each model. The first-step prior can be designed generically. The posterior distribution enjoys Gaussian tail behavior and therefore the resulting posterior mean also satisfies an oracle inequality, automatically serving as an adaptive point estimator in a frequentist sense. Model mis-specification is allowed in these oracle rates. The local Gaussianity condition serves as a unified attempt of non-asymptotic Gaussian quantification of the experiments, and can be easily verified in various experiments considered in [GvdV07a] and beyond. The general results are applied in various problems including: (i) trace regression, (ii) shape-restricted isotonic/convex regression, (iii) high-dimensional partially linear regression, (iv) covariance matrix estimation in the sparse factor model, (v) detection of non-smooth polytopal image boundary, and (vi) intensity estimation in a Poisson point process model. These new results serve either as theoretical justification of practical prior proposals in the literature, or as an illustration of the generic construction scheme of a (nearly) minimax adaptive estimator for a complicated experiment.


title: Mass loss due to gravitational waves with $\Lambda>0$

abstract: The theoretical basis for the energy carried away by gravitational waves that an isolated gravitating system emits was first formulated by Hermann Bondi during the 1960s. Recent findings from looking at distant supernovae revealed that the rate of expansion of our universe is accelerating, which may be well-explained by sticking in a positive cosmological constant into the Einstein field equations for general relativity. By solving the Newman-Penrose equations (which are equivalent to the Einstein field equations), we generalise this notion of Bondi mass-energy and thereby provide a firm theoretical description of how an isolated gravitating system loses energy as it radiates gravitational waves, in a universe that expands at an accelerated rate. This is in line with the observational front of LIGO's first announcement in February 2016 that gravitational waves from the merger of a binary black hole system have been detected.


title: Deep Over-sampling Framework for Classifying Imbalanced Data

abstract: Class imbalance is a challenging issue in practical classification problems for deep learning models as well as traditional models. Traditionally successful countermeasures such as synthetic over-sampling have had limited success with complex, structured data handled by deep learning models. In this paper, we propose Deep Over-sampling (DOS), a framework for extending the synthetic over-sampling method to exploit the deep feature space acquired by a convolutional neural network (CNN). Its key feature is an explicit, supervised representation learning, for which the training data presents each raw input sample with a synthetic embedding target in the deep feature space, which is sampled from the linear subspace of in-class neighbors. We implement an iterative process of training the CNN and updating the targets, which induces smaller in-class variance among the embeddings, to increase the discriminative power of the deep representation. We present an empirical study using public benchmarks, which shows that the DOS framework not only counteracts class imbalance better than the existing method, but also improves the performance of the CNN in the standard, balanced settings.


title: Electronic band structure of epitaxial PbTe (111) thin films observed by angle-resolved photoemission spectroscopy

abstract: Using angle-resolved photoemission spectroscopy (ARPES), we studied bulk and surface electronic band structures of narrow-gap semiconductor lead telluride (PbTe) thin films grown by molecular beam epitaxy both perpendicular and parallel to the {\Gamma}-L direction. The comparison of ARPES data with the first-principles calculation reveals the details of band structures, orbital characters, spin-orbit splitting energies, and surface states. The photon-energy-dependent spectra show the bulk character. Both the L and {\Sigma} valence bands are observed and their energy difference is determined. The spin-orbit splitting energies at L and {\Gamma} points are 0.62 eV and 0.88 eV, respectively. The surface states below and close to the valence band maximum are identified. The valence bands are composed of a mixture of Pb 6s and Te $5p_z$ orbitals with dominant in-plane even parity, which is attributed to the layered distortion in the vicinity of PbTe (111) surface. These findings provide insights into PbTe fundamental properties and shall benefit relevant thermoelectric and optoelectronic applications.


title: Ultra Compact Stars: Reconstructing the Perturbation Potential

abstract: In this work we demonstrate how different semi-classical methods can be combined in a novel way to reconstruct the perturbation potential of ultra compact stars. Besides rather general assumptions, the only specific information entering this approach is the spectrum of the $\textit{trapped}$ axial quasi-normal modes. In general it is not possible to find a unique solution for the potential in the inverse problem, but instead a family of potentials producing the same spectrum. Nevertheless, this already determines important properties of the involved potential and can be used to rule out many candidate models. A unique solution was found based on the additional natural assumption that the exterior part ($r \gtrsim 3\,M$) is described by the Regge-Wheeler potential. This is true in general relativity for any non-rotating spherically symmetric object. This technique can be potentially applied for the study of deviations from general relativity. The methods we demonstrate are easy to implement and rather general, therefore we expect them also to be interesting for other fields where inverse spectrum problems are studied, e.g. quantum physics and molecular spectroscopy.


title: Mean Value Theorems for Riemannian Manifolds via the Obstacle Problem

abstract: We develop some of the basic theory for the obstacle problem on Riemannian Manifolds, and we use it to establish a mean value theorem. Our mean value theorem works for a very wide class of Riemannian manifolds and has no weights at all within the integral.


title: Reliable Energy-Efficient Routing Algorithm for Vehicle-Assisted Wireless Ad-Hoc Networks

abstract: We investigate the design of the optimal routing path in a moving vehicles involved the internet of things (IoT). In our model, jammers exist that may interfere with the information exchange between wireless nodes, leading to worsened quality of service (QoS) in communications. In addition, the transmit power of each battery-equipped node is constrained to save energy. We propose a three-step optimal routing path algorithm for reliable and energy-efficient communications. Moreover, results show that with the assistance of moving vehicles, the total energy consumed can be reduced to a large extend. We also study the impact on the optimal routing path design and energy consumption which is caused by path loss, maximum transmit power constrain, QoS requirement, etc.


title: Stein Variational Gradient Descent as Gradient Flow

abstract: Stein variational gradient descent (SVGD) is a deterministic sampling algorithm that iteratively transports a set of particles to approximate given distributions, based on an efficient gradient-based update that guarantees to optimally decrease the KL divergence within a function space. This paper develops the first theoretical analysis on SVGD, discussing its weak convergence properties and showing that its asymptotic behavior is captured by a gradient flow of the KL divergence functional under a new metric structure induced by Stein operator. We also provide a number of results on Stein operator and Stein's identity using the notion of weak derivative, including a new proof of the distinguishability of Stein discrepancy under weak conditions.


title: Exponential Change of Measure for General Piecewise Deterministic Markov Processes

abstract: We consider a general piecewise deterministic Markov process (PDMP) $X=\{X_t\}_{t\geqslant 0}$ with measure-valued generator $\mathcal{A}$, for which the conditional distribution function of the inter-occurrence time is not necessarily absolutely continuous. A general form of the exponential martingales is presented as $$M^f_t=\frac{f(X_t)}{f(X_0)}\left[\mathrm{Sexp}\left(\int_{(0,t]}\frac{\mathrm{d}L(\mathcal{A}f)_s}{f(X_{s-})}\right)\right]^{-1}.$$ Using this exponential martingale as a likelihood ratio process, we define a new probability measure. It is shown that the original process remains a general PDMP under the new probability measure. And we find the new measure-valued generator and its domain.


title: Kozai-Lidov Disc Instability

abstract: Recent results by Martin et al. (2014) showed in 3D SPH simulations that tilted discs in binary systems can be unstable to the development of global, damped Kozai-Lidov (KL) oscillations in which the discs exchange tilt for eccentricity. We investigate the linear stability of KL modes for tilted inviscid discs under the approximations that the disc eccentricity is small and the disc remains flat. By using 1D equations, we are able to probe regimes of large ratios of outer to inner disc edge radii that are realistic for binary systems of hundreds of AU separations and are not easily probed by multi-dimensional simulations. For order unity binary mass ratios, KL instability is possible for a window of disc aspect ratios H/r in the outer parts of a disc that roughly scale as (n_b/n)^2 < H/r < n_b/n, for binary orbital frequency n_b and orbital frequency n at the disc outer edge. We present a framework for understanding the zones of instability based on the determination of branches of marginally unstable modes. In general, multiple growing eccentric KL modes can be present in a disc. Coplanar apsidal-nodal precession resonances delineate instability branches. We determine the range of tilt angles for unstable modes as a function of disc aspect ratio. Unlike the KL instability for free particles that involves a critical (minimum) tilt angle, disc instability is possible for any nonzero tilt angle depending on the disc aspect ratio.


title: Effects of the distant population density on spatial patterns of demographic dynamics

abstract: Spatiotemporal patterns of population changes within and across countries have various implications. Different geographical, demographic and econo-societal factors seem to contribute to migratory decisions made by individual inhabitants. Focussing on internal (i.e., domestic) migration, we ask whether individuals may take into account the information on the population density in distant locations to make migratory decisions. We analyse population census data in Japan recorded with a high spatial resolution (i.e., cells of size 500 m $\times$ 500 m) for the entirety of the country and simulate demographic dynamics induced by the gravity model and its variants. We show that, in the census data, the population growth rate in a cell is positively correlated with the population density in nearby cells up to a radius of 20 km as well as that of the focal cell. The ordinary gravity model does not capture this empirical observation. We then show that the empirical observation is better accounted for by extensions of the gravity model such that individuals are assumed to perceive the attractiveness, approximated by the population density, of the source or destination cell of migration as the spatial average over a radius of $\approx 1$ km.


title: The origin of atomic displacements in HAADF images of the tilted specimen

abstract: The effects of the tilt of the crystallographic orientation with respect to an incident electron probe on high-angle annular dark field (HAADF) imaging in aberration-corrected scanning transmission electron microscopy (STEM) have been investigated with experiments and simulations. A small specimen tilt can lead to unequal deviations of different atom species in the HAADF image and result in further relative displacement between anions and cations. Simulated HAADF images also confirm that the crystal tilt causes an artifact in atom polarization as well. The effect is derived from the scattering ability of different atoms.


title: Graph Theoretic Properties of the Darkweb

abstract: We collect and analyze the darkweb (a.k.a. the "onionweb") hyperlink graph. We find properties highly dissimilar to the well-studied world wide web hyperlink graph; for example, our analysis finds that >87% of darkweb sites never link to another site. We compare our results to prior work on world-wide-web and speculate about reasons for their differences. We conclude that in the term "darkweb", the word "web" is a connectivity misnomer. Instead, it is more accurate to view the darkweb as a set of largely isolated dark silos.


title: Neurogenesis and multiple plasticity mechanisms enhance associative memory retrieval in a spiking network model of the hippocampus

abstract: Hippocampal CA3 is crucial for the formation of long-term associative memory. It has a heavily recurrent connectivity, and memories are thought to be stored as memory engrams in the CA3. However, despite its importance for memory storage and retrieval, spiking network models of the CA3 to date are relatively small-scale, and exist as only proof-of-concept models. Specifically, how neurogenesis in the dentate gyrus affects memory encoding and retrieval in the CA3 is not studied in such spiking models. Our work is the first to develop a biologically plausible spiking neural network model of hippocampal memory encoding and retrieval, with at least an order-of-magnitude more neurons than previous models. It is also the first to investigate the effect of neurogenesis on CA3 memory encoding and retrieval. Using such a model, we first show that a recently developed plasticity model is crucial for good encoding and retrieval. Next, we show how neural properties related to neurogenesis and neuronal death enhance storage and retrieval of associative memories in the CA3. In particular, we show that without neurogenesis, increasing number of CA3 neurons are recruited by each new memory stimulus, resulting in a corresponding increase in inhibition and poor memory retrieval as more memories are encoded. Neurogenesis, on the other hand, maintains the number of CA3 neurons recruited per stimulus, and enables the retrieval of recent memories, while forgetting the older ones. Our model suggests that structural plasticity (provided by neurogenesis and apoptosis) is required in the hippocampus for memory encoding and retrieval when the network is overloaded; synaptic plasticity alone does not suffice. The above results are obtained from an exhaustive study in the different plasticity models and network parameters.


title: Distinguishing XY from Ising Electron Nematics

abstract: At low temperatures in ultraclean GaAs-AlGaAs heterojunctions, high fractional Landau levels break rotational symmetry, leading to increasingly anisotropic transport properties as temperature is lowered below $\sim$150mK. While the onset of transport anisotropy is well described by an XY model of an electron nematic in the presence of a weak uniform symmetry-breaking term, the low temperature behavior deviates significantly from this model. We find that inclusion of interactions between the electron nematic and the underlying crystalline lattice in the form of a 4-fold symmetry breaking term is sufficient to describe the entire temperature dependence of the transport anisotropy. This implies that the quantum Hall electron nematic is in the Ising universality class. We propose new experimental tests that can distinguish whether any two-dimensional electron nematic is in the XY or Ising universality class.


title: Automatic Content-aware Projection for 360{\deg} Videos

abstract: To watch 360{\deg} videos on normal 2D displays, we need to project the selected part of the 360{\deg} image onto the 2D display plane. In this paper, we propose a fully-automated framework for generating content-aware 2D normal-view perspective videos from 360{\deg} videos. Especially, we focus on the projection step preserving important image contents and reducing image distortion. Basically, our projection method is based on Pannini projection model. At first, the salient contents such as linear structures and salient regions in the image are preserved by optimizing the single Panini projection model. Then, the multiple Panini projection models at salient regions are interpolated to suppress image distortion globally. Finally, the temporal consistency for image projection is enforced for producing temporally stable normal-view videos. Our proposed projection method does not require any user-interaction and is much faster than previous content-preserving methods. It can be applied to not only images but also videos taking the temporal consistency of projection into account. Experiments on various 360{\deg} videos show the superiority of the proposed projection method quantitatively and qualitatively.


title: Ultrathin layers of beta-tellurene grown on highly oriented pyrolytic graphite by molecular-beam epitaxy

abstract: Monolayer Tellurium (Te) or tellurene has been suggested by a recent theory as a new two-dimensional (2D) system with great electronic and optoelectronic promises. Here we present an experimental study of epitaxial Te deposited on highly oriented pyrolytic graphite (HOPG) substrate by molecular-beam epitaxy. Scanning tunneling microscopy of ultrathin layers of Te reveals rectangular surface cells with the cell size consistent with the theoretically predicted beta-tellurene, whereas for thicker films, the cell size is more consistent with that of the (10-10) surface of bulk Te crystal. Scanning tunneling spectroscopy measurements show the films are semiconductors with the energy bandgaps decreasing with increasing film thickness, and the gap narrowing occurs predominantly at the valance-band maximum (VBM). The latter is understood by strong coupling of states at the VBM but a weak coupling at conduction band minimum (CBM) as revealed by density functional theory calculations.


title: Matrix Inequality for the Laplace Equation

abstract: Since Li and Yau obtained the gradient estimate for the heat equation, related estimates have been extensively studied. With additional curvature assumptions, matrix estimates that generalize such estimates have been discovered for various time-dependent settings, including the heat equation on a K\"{a}hler manifold, Ricci flow, K\"{a}hler-Ricci flow, and mean curvature flow, to name a few. As an elliptic analogue, Colding proved a sharp gradient estimate for the Green function on a manifold with nonnegative Ricci curvature. In this paper we prove a related matrix inequality on manifolds with suitable curvature and volume growth assumptions.


title: Sufficient Markov Decision Processes with Alternating Deep Neural Networks

abstract: Advances in mobile computing technologies have made it possible to monitor and apply data-driven interventions across complex systems in real time. Markov decision processes (MDPs) are the primary model for sequential decision problems with a large or indefinite time horizon. Choosing a representation of the underlying decision process that is both Markov and low-dimensional is non-trivial. We propose a method for constructing a low-dimensional representation of the original decision process for which: 1. the MDP model holds; 2. a decision strategy that maximizes mean utility when applied to the low-dimensional representation also maximizes mean utility when applied to the original process. We use a deep neural network to define a class of potential process representations and estimate the process of lowest dimension within this class. The method is illustrated using data from a mobile study on heavy drinking and smoking among college students.


title: High-dimensional confounding adjustment using continuous spike and slab priors

abstract: In observational studies, estimation of a causal effect of a treatment on an outcome relies on proper adjustment for confounding. If the number of the potential confounders ($p$) is larger than the number of observations ($n$), then direct control for all potential confounders is infeasible. Existing approaches for dimension reduction and penalization are generally aimed at predicting the outcome, and are less suited for estimation of causal effects. Under standard penalization approaches (e.g. Lasso), if a variable $X_j$ is strongly associated with the treatment $T$ but weakly with the outcome $Y$, the coefficient $\beta_j$ will be shrunk towards zero thus leading to confounding bias. Under the assumption of a linear model for the outcome and sparsity, we propose continuous spike and slab priors on the regression coefficients $\beta_j$ corresponding to the potential confounders $X_j$. Specifically, we introduce a prior distribution that does not heavily shrink to zero the coefficients ($\beta_j$s) of the $X_j$s that are strongly associated with $T$ but weakly associated with $Y$. We compare our proposed approach to several state of the art methods proposed in the literature. Our proposed approach has the following features: 1) it reduces confounding bias in high dimensional settings; 2) it shrinks towards zero coefficients of instrumental variables; and 3) it achieves good coverages even in small sample sizes. We apply our approach to the National Health and Nutrition Examination Survey (NHANES) data to estimate the causal effects of persistent pesticide exposure on triglyceride levels.


title: Distinguishing Advective and Powered Motion in Self-Propelled Colloids

abstract: Self-powered motion in catalytic colloidal particles provides a compelling example of active matter, i.e. systems that engage in single-particle and collective behavior far from equilibrium. The long-time, long-distance behavior of such systems is of particular interest, since it connects their individual micro-scale behavior to macro-scale phenomena. In such analyses, it is important to distinguish motion due to subtle advective effects -- which also has long time scales and length scales -- from phenomena that derive from intrinsically powered motion. Here, we develop a methodology to analyze the statistical properties of the translational and rotational motions of powered colloids to distinguish, for example, active chemotaxis from passive advection by bulk flow.


title: Operators that attain the reduced minimum

abstract: Let $H_1, H_2$ be complex Hilbert spaces and $T$ be a densely defined closed linear operator from its domain $D(T)$, a dense subspace of $H_1$, into $H_2$. Let $N(T)$ denote the null space of $T$ and $R(T)$ denote the range of $T$. Recall that $C(T) := D(T) \cap N(T)^{\perp}$ is called the {\it carrier space of} $T$ and the {\it reduced minimum modulus } $\gamma(T)$ of $T$ is defined as: $$ \gamma(T) := \inf \{\|T(x)\| : x \in C(T), \|x\| = 1 \} .$$ Further, we say that $T$ {\it attains its reduced minimum modulus} if there exists $x_0 \in C(T) $ such that $\|x_0\| = 1$ and $\|T(x_0)\| = \gamma(T)$. We discuss some properties of operators that attain reduced minimum modulus. In particular, the following results are proved.


title: Abstract Syntax Networks for Code Generation and Semantic Parsing

abstract: Tasks like code generation and semantic parsing require mapping unstructured (or partially structured) inputs to well-formed, executable outputs. We introduce abstract syntax networks, a modeling framework for these problems. The outputs are represented as abstract syntax trees (ASTs) and constructed by a decoder with a dynamically-determined modular structure paralleling the structure of the output tree. On the benchmark Hearthstone dataset for code generation, our model obtains 79.2 BLEU and 22.7% exact match accuracy, compared to previous state-of-the-art values of 67.1 and 6.1%. Furthermore, we perform competitively on the Atis, Jobs, and Geo semantic parsing datasets with no task-specific engineering.


title: A Special Homotopy Continuation Method For A Class of Polynomial Systems

abstract: A special homotopy continuation method, as a combination of the polyhedral homotopy and the linear product homotopy, is proposed for computing all the isolated solutions to a special class of polynomial systems. The root number bound of this method is between the total degree bound and the mixed volume bound and can be easily computed. The new algorithm has been implemented as a program called LPH using C++. Our experiments show its efficiency compared to the polyhedral or other homotopies on such systems. As an application, the algorithm can be used to find witness points on each connected component of a real variety.


title: A variety of elastic anomalies in orbital-active nearly-itinerant cobalt vanadate spinel

abstract: We perform ultrasound velocity measurements on a single crystal of nearly-metallic spinel Co$_{1.21}$V$_{1.79}$O$_4$ which exhibits a ferrimagnetic phase transition at $T_C \sim$ 165 K. The experiments reveal a variety of elastic anomalies in not only the paramagnetic phase above $T_C$ but also the ferrimagnetic phase below $T_C$, which should be driven by the nearly-itinerant character of the orbitally-degenerate V 3$d$ electrons. In the paramagnetic phase above $T_C$, the elastic moduli exhibit elastic-mode-dependent unusual temperature variations, suggesting the existence of a dynamic spin-cluster state. Furthermore, above $T_C$, the sensitive magnetic-field response of the elastic moduli suggests that, with the negative magnetoresistance, the magnetic-field-enhanced nearly-itinerant character of the V 3$d$ electrons emerges from the spin-cluster state. This should be triggered by the inter-V-site interactions acting on the orbitally-degenerate 3$d$ electrons. In the ferrimagnetic phase below $T_C$, the elastic moduli exhibit distinct anomalies at $T_1\sim$ 95 K and $T_2\sim$ 50 K, with a sign change of the magnetoresistance at $T_1$ (positive below $T_1$) and an enhancement of the positive magnetoresistance below $T_2$, respectively. These observations below $T_C$ suggest the successive occurrence of an orbital glassy order at $T_1$ and a structural phase transition at $T_2$, where the rather localized character of the V 3$d$ electrons evolves below $T_1$ and is further enhanced below $T_2$.


title: Path Planning with Kinematic Constraints for Robot Groups

abstract: Path planning for multiple robots is well studied in the AI and robotics communities. For a given discretized environment, robots need to find collision-free paths to a set of specified goal locations. Robots can be fully anonymous, non-anonymous, or organized in groups. Although powerful solvers for this abstract problem exist, they make simplifying assumptions by ignoring kinematic constraints, making it difficult to use the resulting plans on actual robots. In this paper, we present a solution which takes kinematic constraints, such as maximum velocities, into account, while guaranteeing a user-specified minimum safety distance between robots. We demonstrate our approach in simulation and on real robots in 2D and 3D environments.


title: Switchyard design for the Shanghai soft x-ray free electron laser facility

abstract: In this article, a feasible switchyard design is proposed for the Shanghai soft x-ray free electron laser facility. In the proposed scheme, a switchyard is used to transport the electron beam to different undulator lines. Three-dimensional start-to-end simulations have been carried out to research the beam dynamic during transportation. The results show that the emittance of the electron beam increases less than 10%, at meanwhile, the peak current, the energy spread and the bunch length are not spoiled as the beam passes through the switchyard. The microbunching instability of the beam and the jitter of the linear accelerator (linac) are analyzed as well.


title: New Hybridized Mixed Methods for Linear Elasticity and Optimal Multilevel Solvers

abstract: In this paper, we present a family of new mixed finite element methods for linear elasticity for both spatial dimensions $n=2,3$, which yields a conforming and strongly symmetric approximation for stress. Applying $\mathcal{P}_{k+1}-\mathcal{P}_k$ as the local approximation for the stress and displacement, the mixed methods achieve the optimal order of convergence for both the stress and displacement when $k \ge n$. For the lower order case $(n-2\le k<n)$, the stability and convergence still hold on some special grids. The proposed mixed methods are efficiently implemented by hybridization, which imposes the inter-element normal continuity of the stress by a Lagrange multiplier. Then, we develop and analyze multilevel solvers for the Schur complement of the hybridized system in the two dimensional case. Provided that no nearly singular vertex on the grids, the proposed solvers are proved to be uniformly convergent with respect to both the grid size and Poisson's ratio. Numerical experiments are provided to validate our theoretical results.


title: Biharmonic orbits of isotropy representations of symmetric spaces

abstract: In this paper, we give a necessarly and sufficient condition for orbits of linear isotropy representations of Riemannian symmetric spaces are biharmonic submanifolds in hyperspheres in Euclidean spaces. In particular, we obtain examples of biharmonic submanifolds in hyperspheres whose co-dimension is greater than one.


title: Dark photon relic dark matter production through the dark axion portal

abstract: We present a new mechanism to produce the dark photon ($\gamma'$) in the early universe with a help of the axion ($a$) using a recently proposed dark axion portal. The dark photon, a light gauge boson in the dark sector, can be a relic dark matter if its lifetime is long enough. The main process we consider is a variant of the Primakoff process $f a \to f \gamma'$ mediated by a photon, which is possible with the axion--photon--dark photon coupling. The axion is thermalized in the early universe because of the strong interaction and it can contribute to the non-thermal dark photon production through the dark axion portal coupling. It provides a two-component dark matter sector, and the relic density deficit issue of the axion dark matter can be addressed by the compensation with the dark photon. The dark photon dark matter can also address the reported 3.5 keV $X$-ray excess via the $\gamma' \to \gamma a$ decay.


title: Quantum Image Rotation by an arbitrary angle

abstract: In this paper, a novel method of quantum image rotation (QIR) based on shear transformations on NEQR quantum images is proposed. To compute the horizontal and vertical shear mappings required for rotation, we have designed quantum self-adder, quantum control multiplier, and quantum interpolation circuits as the basic computing units in the QIR implementation. Furthermore, we provide several examples of our results by presenting computer simulation experiments of QIR under $30^\circ$, $45^\circ$, and $60^\circ$ rotation scenarios and have a discussion onto the anti-aliasing and computational complexity of the proposed QIR method.


title: Dissections and automorphisms of regular Courant algebroids

abstract: In this note, given a regular Courant algebroid, we compute its group of automorphisms relative to a dissection. We also propose an infinitesimal version and recover examples of the literature.


title: Electron Transport from Quantum Kinetic Monte Carlo Simulations

abstract: An exact Quantum Kinetic Monte Carlo method is proposed to calculate electron transport for 1D Fermi Hubbard model. The method is directly formulated in real time and can be applied to extract time dependent dynamics of general interacting Fermion models in 1D. When coupled with Density Functional Theory and Maximally Localized Wannier Functions, our method can be used to predict electron transport in materials in presence of interfaces. The first application of our method on case study of $\alpha$-quartz dielectric breakdown seems promising.


title: Popular Matching with Lower Quotas

abstract: We consider the well-studied Hospital Residents (HR) problem in the presence of lower quotas (LQ). The input instance consists of a bipartite graph $G = (\mathcal{R} \cup \mathcal{H}, E)$ where $\mathcal{R}$ and $\mathcal{H}$ denote sets of residents and hospitals respectively. Every vertex has a preference list that imposes a strict ordering on its neighbors. In addition, each hospital $h$ has an associated upper-quota $q^+(h)$ and lower-quota $q^-(h)$. A matching $M$ in $G$ is an assignment of residents to hospitals, and $M$ is said to be feasible if every resident is assigned to at most one hospital and a hospital $h$ is assigned at least $q^-(h)$ and at most $q^+(h)$ residents. Stability is a de-facto notion of optimality in a model where both sets of vertices have preferences. A matching is stable if no unassigned pair has an incentive to deviate from it. It is well-known that an instance of the HRLQ problem need not admit a feasible stable matching. In this paper, we consider the notion of popularity for the HRLQ problem. A matching $M$ is popular if no other matching $M'$ gets more votes than $M$ when vertices vote between $M$ and $M'$. When there are no lower quotas, there always exists a stable matching and it is known that every stable matching is popular. We show that in an HRLQ instance, although a feasible stable matching need not exist, there is always a matching that is popular in the set of feasible matchings. We give an efficient algorithm to compute a maximum cardinality matching that is popular amongst all the feasible matchings in an HRLQ instance.


title: The periplectic Brauer algebra III: The Deligne category

abstract: We construct a faithful categorical representation of an infinite Temperley-Lieb algebra on the periplectic analogue of Deligne's category. We use the corresponding combinatorics to classify thick tensor ideals in this periplectic Deligne category. This allows to determine the objects in the kernel of the monoidal functor going to the module category of the periplectic Lie supergroup. We use this to classify indecomposable direct summands in the tensor powers of the natural representation, determine which are projective and determine their simple top.


title: Semi-supervised Bayesian Deep Multi-modal Emotion Recognition

abstract: In emotion recognition, it is difficult to recognize human's emotional states using just a single modality. Besides, the annotation of physiological emotional data is particularly expensive. These two aspects make the building of effective emotion recognition model challenging. In this paper, we first build a multi-view deep generative model to simulate the generative process of multi-modality emotional data. By imposing a mixture of Gaussians assumption on the posterior approximation of the latent variables, our model can learn the shared deep representation from multiple modalities. To solve the labeled-data-scarcity problem, we further extend our multi-view model to semi-supervised learning scenario by casting the semi-supervised classification problem as a specialized missing data imputation task. Our semi-supervised multi-view deep generative framework can leverage both labeled and unlabeled data from multiple modalities, where the weight factor for each modality can be learned automatically. Compared with previous emotion recognition methods, our method is more robust and flexible. The experiments conducted on two real multi-modal emotion datasets have demonstrated the superiority of our framework over a number of competitors.


title: Categorification of sign-skew-symmetric cluster algebras and some conjectures on g-vectors

abstract: Using the unfolding method given in \cite{HL}, we prove the conjectures on sign-coherence and a recurrence formula respectively of ${\bf g}$-vectors for acyclic sign-skew-symmetric cluster algebras. As a following consequence, the conjecture is affirmed in the same case which states that the ${\bf g}$-vectors of any cluster form a basis of $\mathbb Z^n$. Also, the additive categorification of an acyclic sign-skew-symmetric cluster algebra $\mathcal A(\Sigma)$ is given, which is realized as $(\mathcal C^{\widetilde Q},\Gamma)$ for a Frobenius $2$-Calabi-Yau category $\mathcal C^{\widetilde Q}$ constructed from an unfolding $(Q,\Gamma)$ of the acyclic exchange matrix $B$ of $\mathcal A(\Sigma)$.


title: Localisation uniforme des espaces de Besov et de Lizorkin-Triebel

abstract: We give intrinsic characterisations for the uniformly localized versions of the Besov spaces $B^{s}_{p,q}({\mathbb R}^n)$, where $p,q\in [1,+\infty]$, and of the Lizorkin-Triebel spaces $F^{s}_{p,q}({\mathbb R}^n)$, where $q\in [1,+\infty]$ and $p\in [1,+\infty[$, whatever be the real number $s>0$.


title: A Methodology of Guiding Web Content Mining and Knowledge Discovery in Evidence-based Software Engineering

abstract: Systematic Literature Review (SLR) is a rigorous methodology applied for Evidence-Based Software Engineering (EBSE) that identify, assess and synthesize the relevant evidence for answering specific research questions. Benefiting from the booming online materials in the era of Web 2.0, the technical Web content starts acting as alternative sources for EBSE. Web knowledge has been investigated and derived from Web content mining and knowledge discovery techniques, however they are still significantly different from reviewing academic literature. Thus the direct adoption of Web knowledge in EBSE lacks of systematic guidelines. In this paper, we propose to make an SLR adaptation to bridge the aforementioned gap along two stages. Firstly, we follow the general logic and procedure of SLR to regulate Web mining activities. Secondly, we substitute and enhance particular SLR processes with Web-mining-friendly methods and approaches. At the second stage, we mainly focus on adapting Conducting Review by integrating a set of automated components ranging from programmatic searching to various text mining techniques.


title: Screening in perturbative approaches to LSS

abstract: A specific value for the cosmological constant, \Lambda, can account for late-time cosmic acceleration. However, motivated by the so-called cosmological constant problem(s), several alternative mechanisms have been explored. To date, a host of well-studied dynamical dark energy and modified gravity models exists. Going beyond \Lambda CDM often comes with additional degrees of freedom (dofs). For these to pass existing observational tests, an efficient screening mechanism must be in place. The linear and quasi-linear regimes of structure formation are ideal probes of such dofs and can capture the onset of screening. We propose here a semi-phenomenological treatment to account for screening dynamics on LSS observables, with special emphasis on Vainshtein-type screening.


title: Beyond WYSIWYG: Sharing Contextual Sensing Data Through mmWave V2V Communications

abstract: In vehicular scenarios context awareness is a key enabler for road safety. However, the amount of contextual information that can be collected by a vehicle is stringently limited by the sensor technology itself (e.g., line-of-sight, coverage, weather robustness) and by the low bandwidths offered by current wireless vehicular technologies such as DSRC/802.11p. Motivated by the upsurge of research around millimeter-wave vehicle-to-anything (V2X) communications, in this work we propose a distributed vehicle-to-vehicle (V2V) association scheme that considers a quantitative measure of the potential value of the shared contextual information in the pairing process. First, we properly define the utility function of every vehicle balancing classical channel state and queuing state information (CSI/QSI) with context information i.e., sensing content resolution, timeliness and enhanced range of the sensing. Next we solve the problem via a distributed many-to-one matching game in a junction scenario with realistic vehicular mobility traces. It is shown that when receivers are able to leverage information from different sources, the average volume of collected extended sensed information under our proposed scheme is up to 71% more than that of distance and minimum delay-based matching baselines.


title: A relevance-scalability-interpretability tradeoff with temporally evolving user personas

abstract: The current work characterizes the users of a VoD streaming space through user-personas based on a tenure timeline and temporal behavioral features in the absence of explicit user profiles. A combination of tenure timeline and temporal characteristics caters to business needs of understanding the evolution and phases of user behavior as their accounts age. The personas constructed in this work successfully represent both dominant and niche characterizations while providing insightful maturation of user behavior in the system. The two major highlights of our personas are demonstration of stability along tenure timelines on a population level, while exhibiting interesting migrations between labels on an individual granularity and clear interpretability of user labels. Finally, we show a trade-off between an indispensable trio of guarantees, relevance-scalability-interpretability by using summary information from personas in a CTR (Click through rate) predictive model. The proposed method of uncovering latent personas, consequent insights from these and application of information from personas to predictive models are broadly applicable to other streaming based products.


title: Molecular De Novo Design through Deep Reinforcement Learning

abstract: This work introduces a method to tune a sequence-based generative model for molecular de novo design that through augmented episodic likelihood can learn to generate structures with certain specified desirable properties. We demonstrate how this model can execute a range of tasks such as generating analogues to a query structure and generating compounds predicted to be active against a biological target. As a proof of principle, the model is first trained to generate molecules that do not contain sulphur. As a second example, the model is trained to generate analogues to the drug Celecoxib, a technique that could be used for scaffold hopping or library expansion starting from a single molecule. Finally, when tuning the model towards generating compounds predicted to be active against the dopamine receptor type 2, the model generates structures of which more than 95% are predicted to be active, including experimentally confirmed actives that have not been included in either the generative model nor the activity prediction model.


title: Adversarial Multi-Criteria Learning for Chinese Word Segmentation

abstract: Different linguistic perspectives causes many diverse segmentation criteria for Chinese word segmentation (CWS). Most existing methods focus on improve the performance for each single criterion. However, it is interesting to exploit these different criteria and mining their common underlying knowledge. In this paper, we propose adversarial multi-criteria learning for CWS by integrating shared knowledge from multiple heterogeneous segmentation criteria. Experiments on eight corpora with heterogeneous segmentation criteria show that the performance of each corpus obtains a significant improvement, compared to single-criterion learning. Source codes of this paper are available on Github.


title: Two-dimensional Fermi gases near a p-wave resonance: effect of quantum fluctuations

abstract: We study the stability of p-wave superfluidity against quantum fluctuations in two-dimensional Fermi gases near a p-wave Feshbach resonance . An analysis is carried out in the limit when the interchannel coupling is strong. By investigating the effective potential for the pairing field via the standard loop expansion, we show that a homogeneous p-wave pairing state becomes unstable when two-loop quantum fluctuations are taken into account. This is in contrast to the previously predicted $p + ip$ supefluid in the weak-coupling limit [V. Gurarie et al., Phys. Rev. Lett. 94, 230403 (2005)]. It implies a possible onset of instability at certain intermediate interchannel coupling strength. Alternatively, the instability can also be driven by lowering the particle density. We also discuss the validity of our analysis.


title: Acceleration of Cooling of Ice Giants by Condensation in Early Atmospheres

abstract: The present infrared brightness of a planet originates partly from the accretion energy that the planet gained during its formation and hence provides important constraints to the planet formation process. A planet cools down from a hot initial state to the present state by losing energy through radiative emission from its atmosphere. Thus, the atmospheric properties affect the planetary cooling rate. Previous theories of giant planet cooling assume that the atmospheric composition is unchanged throughout evolution. Planet formation theories, however, suggest that the atmospheres especially of ice giants are rich in heavy elements in the early stages. Those heavy elements include condensable species such as water, ammonia, and methane, which are expected to have a great impact on atmospheric temperature and, thus, radiative emission through latent heat release. In this study we investigate the effect of such condensation on the planetary emission flux and quantify the impact on the cooling timescale. We then demonstrate that the latent heat of those species keeps the atmosphere hot and thus the emission flux high for billions of years, resulting in acceleration of the cooling of ice giants. This sheds light on the long-standing problem that Uranus is much less bright than theoretically predicted and is different in brightness from Neptune in spite of similarity in mass and radius. Also, we find that young ice giants with highly enriched atmospheres are much brighter in mid-infrared than those with unenriched atmospheres. This provides important implication for future direct imaging of extrasolar ice giants.


title: The computation of strain rate tensor in multiple-relaxation-time lattice Boltzmann model

abstract: Multiple-relaxation-time (MRT) lattice Boltzmann (LB) model is an important class of LB model with lots of advantages over traditional single-relaxation-time (SRT) LB model. In addition, the computation of strain rate tensor is crucial in MRT-LB simulations of some complex flows. Up to now, there are only two formulas to compute the strain rate tensor in the MRT LB model. One is to compute the strain rate tensor by using non-equilibrium parts of macroscopic moments (Yu formula). The other is to compute the strain rate tensor by using non-equilibrium parts of density distribution functions (Chai formula). The mathematical expressions of these two formulas are so different that we do not know which formula to choose for computing the strain rate tensor in MRT LB model. In this paper, we study the relationship of these two formulas. It is found that Yu formula can be deduced from Chai formula in a particular procedure. However, these two formulas have their own advantages and disadvantages. Yu formula is more efficient in the computation aspect while Chai formula can be applied to more lattice patterns of MRT LB models. It is also found that deducing Yu formula for a particular lattice pattern from Chai formula is more convenient than the way proposed by Yu et al.


title: Local elliptic regularity for the Dirichlet fractional Laplacian

abstract: We analyze the local elliptic regularity of weak solutions to the Dirichlet problem associated with the fractional Laplacian $(-\Delta)^s$ on an arbitrary bounded open set $\Omega\subset\mathbb{R}^N$. For $1<p<2$, we obtain regularity in the Besov space $B^{2s}_{p,2,\textrm{loc}}(\Omega)$, while for $2\leq p<\infty$ we show that the solutions belong to $W^{2s,p}_{\textrm{loc}}(\Omega)$. The key tool consists in analyzing carefully the elliptic equation satisfied by the solution locally, after cut-off, to later employ sharp regularity results in the whole space. We do it by two different methods. First working directly in the variational formulation of the elliptic problem and then employing the heat kernel representation of solutions.


title: Constraining nonperturbative strong-field effects in scalar-tensor gravity by combining pulsar timing and laser-interferometer gravitational-wave detectors

abstract: Pulsar timing and gravitational-wave (GW) detectors are superb laboratories to study gravity theories in the strong-field regime. Here we combine those tools to test the mono-scalar-tensor theory of Damour and Esposito-Far{\`e}se (DEF), which predicts nonperturbative scalarization phenomena for neutron stars (NSs). First, applying Markov-chain Monte Carlo techniques, we use the absence of dipolar radiation in the pulsar-timing observations of five binary systems composed of a NS and a white dwarf, and eleven equations of state (EOSs) for NSs, to derive the most stringent constraints on the two free parameters of the DEF scalar-tensor theory. Since the binary-pulsar bounds depend on the NS mass and the EOS, we find that current pulsar-timing observations leave scalarization windows, i.e., regions of parameter space where scalarization can still be prominent. Then, we investigate if these scalarization windows could be closed and if pulsar-timing constraints could be improved by laser-interferometer GW detectors, when spontaneous (or dynamical) scalarization sets in during the early (or late) stages of a binary NS (BNS) evolution. For the early inspiral of a BNS carrying constant scalar charge, we employ a Fisher matrix analysis to show that Advanced LIGO can improve pulsar-timing constraints for some EOSs, and next-generation detectors, such as the Cosmic Explorer and Einstein Telescope, will be able to improve those bounds for all eleven EOSs. Using the late inspiral of a BNS, we estimate that for some of the EOSs under consideration the onset of dynamical scalarization can happen early enough to improve the constraints on the DEF parameters obtained by combining the five binary pulsars. Thus, in the near future the complementarity of pulsar timing and direct observations of GWs on the ground will be extremely valuable in probing gravity theories in the strong-field regime.


title: Local regularity for fractional heat equations

abstract: We prove the maximal local regularity of weak solutions to the parabolic problem associated with the fractional Laplacian with homogeneous Dirichlet boundary conditions on an arbitrary bounded open set $\Omega\subset\mathbb{R}^N$. Proofs combine classical abstract regularity results for parabolic equations with some new local regularity results for the associated elliptic problems.


title: Hidden multiparticle excitation in weakly interacting Bose-Einstein Condensate

abstract: We investigate multiparticle excitation effect on a collective density excitation as well as a single-particle excitation in a weakly interacting Bose--Einstein condensate (BEC). We find that although the weakly interacting BEC offers weak multiparticle excitation spectrum at low temperatures, this multiparticle excitation effect may not remain hidden, but emerges as bimodality in the density response function through the single-particle excitation. Identification of spectra in the BEC between the single-particle excitation and the density excitation is also assessed at nonzero temperatures, which has been known to be unique nature in the BEC at absolute zero temperature.


title: State protection by quantum control before and after noise

abstract: We discuss the possibility of protecting the state of a quantum system that goes through noise by measurements and operations before and after the noise process. We extend our previous result on nonexistence of "truly quantum" protocols that protect an unknown qubit state against the depolarizing noise better than "classical" ones [Phys. Rev. A, 95, 022321 (2017)] in two directions. First, we show that the statement is also true in any finite-dimensional Hilbert spaces, which was previously conjectured, the optimal protocol is either the do nothing protocol or the discriminate and reprepare protocol, depending on the strength of the noise. Second, in the case of a qubit, we show that essentially the same conclusion holds for any unital noise. These results describe the fundamental limitations in quantum mechanics from the viewpoint of control theory.


title: A mapping of the stochastic Lotka-Volterra model to models of population genetics and game theory

abstract: The relationship between the M-species stochastic Lotka-Volterra competition (SLVC) model and the M-allele Moran model of population genetics is explored via timescale separation arguments. When selection for species is weak and the population size is large but finite, precise conditions are determined for the stochastic dynamics of the SLVC model to be mappable to the neutral Moran model, the Moran model with frequency-independent selection and the Moran model with frequency-dependent selection (equivalently, a game-theoretic formulation of the Moran model). We demonstrate how these mappings can be used to calculate extinction probabilities and the times until a species' extinction in the SLVC model.


title: Quasi-two-body decays $B_{(s)}\to P\rho^\prime(1450), P\rho^{\prime\prime}(1700)\to P\pi\pi$ in the perturbative QCD approach

abstract: In this work, we calculate the $CP$-averaged branching ratios and direct $CP$-violating asymmetries of the quasi-two-body decays $B_{(s)}\to P \rho^\prime(1450), P\rho^{\prime\prime}(1700)\to P \pi\pi$ by employing the perturbative QCD (PQCD) factorization approach, where $P$ is a light pseudoscalar meson $K, \pi, \eta$ and $\eta^{\prime}$. The considered decay modes are studied in the quasi-two-body framework by parameterizing the two-pion distribution amplitude $\Phi_{\pi\pi}^{\rm P}$. The $P$-wave time-like form factor $F_{\pi}$ in the resonant regions associated with the $\rho^\prime(1450)$ and $\rho^{\prime\prime}(1700)$ is estimated based on available experimental data. The PQCD predictions for the $CP$-averaged branching ratios of the decays $B_{(s)}\to P\rho^\prime(1450), P\rho^{\prime\prime}(1700)\to P\pi\pi$ are in the order of $10^{-7} \sim 10^{-9}$. The branching ratios of the two-body decays $B_{(s)}\to P\rho^\prime(1450), P\rho^{\prime\prime}(1700)$ are extracted from the corresponding quasi-two-body decay modes. The whole pattern of the pion form factor-squared $|F_\pi|^2$ measured by {\it BABAR} Collaboration could also be understood based on our studies. Our PQCD predictions will be tested by the precise data from the LHCb and the future Belle II experiments.


title: Quantifying Subtle Regions of Order and Disorder in Tumor Architecture by Calculating the Nearest-Neighbor Angular Profile

abstract: Pathologists routinely classify breast tumors according to recurring patterns of nuclear grades, cytoplasmic coloration, and large-scale morphological formations (i.e. streams of spindle cells, adenoid islands, etc.). The fact that there are large-scale morphological formations suggest that tumor cells still possess the genetic programming to arrange themselves in orderly patterns. However, small regions of order or subtle patterns of order are invisible to the human eye. The ability to detect subtle regions of order and correlate them with clinical outcome and resistance to treatment can enhance diagnostic efficacy. By measuring the acute angle that results when the line extending from the longest length within a nucleus intersects with the corresponding line of an adjacent nucleus, the degree of alignment between two adjacent nuclei can be measured. Through a series of systematic transformations, subtle regions of order and disorder within a tumor image can be quantified and visualized in the form of a heat map. This numerical transformation of spatial relationships between nuclei within tumors allows for the detection of subtly ordered regions.


title: Probing length-scale separation of thermal and spin currents by nanostructuring YIG

abstract: We have fabricated bulk nanostructured ferrimagnetic materials with different grain sizes by sintering ball-milled Y3Fe5O12 (YIG) nanoparticles and measured the grain-size dependence of the thermal conductivity and spin Seebeck thermopower. The nanostructuring reduces both thermal conductivity and thermopower, but the reduction of the latter was found to be considerably stronger despite the moderate difference in magnetization, which suggests that the length scales of transport of magnons and phonons contributing to the spin Seebeck effect are significantly larger than that of phonons carrying thermal current. This is consistent with the measurements of high-magnetic-field response of the spin Seebeck thermopower and low-temperature thermal conductivity, where the quenching of magnons seen in single-crystalline YIG was not observed in nanostructured YIG due to scattering of long-range low frequency magnons.


title: A hybridizable discontinuous Galerkin method for the Navier--Stokes equations with pointwise divergence-free velocity field

abstract: We introduce a hybridizable discontinuous Galerkin method for the incompressible Navier--Stokes equations for which the approximate velocity field is pointwise divergence-free. The method builds on the method presented by Labeur and Wells [SIAM J. Sci. Comput., vol. 34 (2012), pp. A889--A913]. We show that with modifications of the function spaces in the method of Labeur and Wells it is possible to formulate a simple method with pointwise divergence-free velocity fields which is momentum conserving, energy stable, and pressure-robust. Theoretical results are supported by two- and three-dimensional numerical examples and for different orders of polynomial approximation.


title: Oscillating Shells and Oscillating Balls in AdS

abstract: It has recently been reported that certain thin timelike shells undergo oscillatory motion in AdS. In this paper, we compute two-point function of a probe field in the geodesic approximation in such an oscillating shell background. We confirm that the two-point function exhibits an oscillatory behaviour following the motion of the shell. We show that similar oscillatory dynamics is possible when the perfect fluid on the shell has a polytropic equation of state. Moreover, we show that certain ball like configurations in AdS also exhibit oscillatory motion and comment on how such a solution can be smoothly matched to an appropriate exterior solution. We also demonstrate that the weak energy condition is satisfied for these oscillatory configurations.


title: Quantifying Hidden Architectural Patterns in Metaplastic Tumors by Calculating the Quadrant-Slope Index (QSI)

abstract: The Quadrant-Slope Index (QSI) method was created in order to detect subtle patterns of organization in tumor images that have metaplastic elements, such as streams of spindle cells [1]. However, metaplastic tumors also have nuclei that may be aligned like a stream but are not obvious to the pathologist because the shape of the cytoplasm is unclear. The previous method that I developed, the Nearest-Neighbor Angular Profile (N-NAP) method [2], is good for detecting subtle patterns of order based on the assumption that breast tumor cells are attempting to arrange themselves side-by-side (like bricks), as in the luminal compartment of a normal mammary gland [3]. However, this assumption is not optimal for detecting cellular arrangements that are head-to-tail, such as in streams of spindle cells. Metaplastic carcinomas of the breast (i.e. basal-like breast cancers, triple-negative breast cancers) are believed to be derived from the stem or progenitor cells that reside in the basal/myoepithelial compartment of the normal mammary gland [Reviewed in 3]. Epithelial cells in the basal/myoepithelial compartment arrange themselves in an head-to-tail fashion, forming a net that surrounds the luminal compartment [3,4]. If cancer cells in a metaplastic tumor are trying to be normal, the optimal way to detect subtle regions of them attempting to be ordered normally should highlight the head-to-tail alignment of cells.


title: Coherence as a Unit Resource for Quantum Error Correction

abstract: In this paper we study an error correcting protocol that specifically derives its error correcting properties from elementary units of coherence. The entire protocol from beginning to end is performed using non-coherence increasing operations, resulting in the consumption of the input coherence, thus necessitating further quantum resources if one wishes to perform the protocol again. We show that even when the input quantum resource is just 1 coherent qubit, one may acquire partial protection from phase flip errors, and that this can be scaled up to protect against arbitrary qubit errors with 6 ancillary coherent qubits as input. The work presented strengthens the operational interpretation of a single unit of coherence by providing a useful information theoretic task that one may perform when such elementary units of coherence are available.


title: General thinning characterizations of distributions and point processes

abstract: For general thinning procedures, its inverse operation, the condensing, is studied and a link to integration-by-parts formulas is established. This extends the recent results on that link for independent thinnings of point processes to general thinnings of finite point processes. In particular, the classical integration-by-parts formulas appear as the example of independent thinnings. Moreover, the representation of the splitting kernel of finite point processes in terms of its reduced Palm kernels is extended to general thinnings. This link is studied in the context of discrete random variables and yields analogue characterizations of their distributions. Results on independent thinnings are complemented by a discrete stick breaking characterization of distributions.


title: A homotopy exact sequence for overconvergent isocrystals

abstract: In this article we prove exactness of the homotopy sequence of overconvergent $p$-adic fundamental groups for a smooth and projective morphism in characteristic $p$. We do so by first proving a corresponding result for rigid analytic varieties in characteristic $0$, following dos Santos in the algebraic case. In characteristic $p$, we then proceed by a series of reductions to the case of a liftable family of curves, where we can apply the rigid analytic result.


title: Sharing deep generative representation for perceived image reconstruction from human brain activity

abstract: Decoding human brain activities via functional magnetic resonance imaging (fMRI) has gained increasing attention in recent years. While encouraging results have been reported in brain states classification tasks, reconstructing the details of human visual experience still remains difficult. Two main challenges that hinder the development of effective models are the perplexing fMRI measurement noise and the high dimensionality of limited data instances. Existing methods generally suffer from one or both of these issues and yield dissatisfactory results. In this paper, we tackle this problem by casting the reconstruction of visual stimulus as the Bayesian inference of missing view in a multiview latent variable model. Sharing a common latent representation, our joint generative model of external stimulus and brain response is not only "deep" in extracting nonlinear features from visual images, but also powerful in capturing correlations among voxel activities of fMRI recordings. The nonlinearity and deep structure endow our model with strong representation ability, while the correlations of voxel activities are critical for suppressing noise and improving prediction. We devise an efficient variational Bayesian method to infer the latent variables and the model parameters. To further improve the reconstruction accuracy, the latent representations of testing instances are enforced to be close to that of their neighbours from the training set via posterior regularization. Experiments on three fMRI recording datasets demonstrate that our approach can more accurately reconstruct visual stimuli.


title: Towards a quality metric for dense light fields

abstract: Light fields become a popular representation of three dimensional scenes, and there is interest in their processing, resampling, and compression. As those operations often result in loss of quality, there is a need to quantify it. In this work, we collect a new dataset of dense reference and distorted light fields as well as the corresponding quality scores which are scaled in perceptual units. The scores were acquired in a subjective experiment using an interactive light-field viewing setup. The dataset contains typical artifacts that occur in light-field processing chain due to light-field reconstruction, multi-view compression, and limitations of automultiscopic displays. We test a number of existing objective quality metrics to determine how well they can predict the quality of light fields. We find that the existing image quality metrics provide good measures of light-field quality, but require dense reference light- fields for optimal performance. For more complex tasks of comparing two distorted light fields, their performance drops significantly, which reveals the need for new, light-field-specific metrics.


title: Thermodynamic dislocation theory of high-temperature deformation in aluminum and steel

abstract: The statistical-thermodynamic dislocation theory developed in previous papers is used here in an analysis of high-temperature deformation of aluminum and steel. Using physics-based parameters that we expect theoretically to be independent of strain rate and temperature, we are able to fit experimental stress-strain curves for three different strain rates and three different temperatures for each of these two materials. Our theoretical curves include yielding transitions at zero strain in agreement with experiment. We find that thermal softening effects are important even at the lowest temperatures and smallest strain rates.


title: Signature of multigap nodeless superconductivity in CaKFe4As4

abstract: A newly discovered family of high-Tc Fe-based superconductors, AeAFe4As4 (Ae = Ca, Sr, Eu and A = K, Rb, Cs), offers further opportunities to understand unconventional superconductivity in these materials. In this Rapid Communication, we report on the superconducting and magnetic properties of CaKFe4As4, studied using muon spectroscopy. Zero-field muon spin relaxation studies carried out on the CaKFe4As4 superconductor do not show any detectable magnetic anomaly at Tc or below, implying that time-reversal symmetry is preserved in the superconducting ground state. The temperature dependence of the superfluid density of CaKFe4As4 is found to be compatible with a two-gap s + s-wave model with gap values of 8.6(4) and 2.5(3) meV, similar to the other Fe-based superconductors. The presence of two superconducting energy gaps is consistent with theoretical and other experimental studies on this material. The value of the penetration depth at T = 0 K has been determined as 289(22) nm.


title: Irreducible characters of $3'$-degree of finite symmetric, general linear and unitary groups

abstract: Let $G$ be a finite symmetric, general linear, or general unitary group defined over a field of characteristic coprime to $3$. We construct a canonical correspondence between irreducible characters of degree coprime to $3$ of $G$ and those of $N_{G}(P)$, where $P$ is a Sylow $3$-subgroup of $G$. Since our bijections commute with the action of the absolute Galois group over the rationals, we conclude that fields of values of character correspondents are the same.


title: Faster Algorithms for Growing Prioritized Disks and Rectangles

abstract: Motivated by map labeling, Funke, Krumpe, and Storandt [IWOCA 2016] introduced the following problem: we are given a sequence of $n$ disks in the plane. Initially, all disks have radius $0$, and they grow at constant, but possibly different, speeds. Whenever two disks touch, the one with the higher index disappears. The goal is to determine the elimination order, i.e., the order in which the disks disappear. We provide the first general subquadratic algorithm for this problem. Our solution extends to other shapes (e.g., rectangles), and it works in any fixed dimension. We also describe an alternative algorithm that is based on quadtrees. Its running time is $O\big(n \big(\log n + \min \{ \log \Delta, \log \Phi \}\big)\big)$, where $\Delta$ is the ratio of the fastest and the slowest growth rate and $\Phi$ is the ratio of the largest and the smallest distance between two disk centers. This improves the running times of previous algorithms by Funke, Krumpe, and Storandt [IWOCA 2016], Bahrdt et al. [ALENEX 2017], and Funke and Storandt [EuroCG 2017]. Finally, we give an $\Omega(n\log n)$ lower bound, showing that our quadtree algorithms are almost tight.


title: Observation of the $B^+ \to D^{*-}K^+\pi^+$ decay

abstract: The $B^+ \to D^{*-}K^+\pi^+$ decay potentially provides an excellent way to investigate charm meson spectroscopy. The decay is searched for in a sample of proton-proton collision data collected with the LHCb detector at centre-of-mass energies of 7 and 8 TeV, corresponding to an integrated luminosity of $3~{\rm fb}^{-1}$. A clear signal is observed, and the ratio of its branching fraction to that of the $B^+ \to D^{*-}\pi^+\pi^+$ normalisation channel is measured to be \begin{equation*} \frac{\mathcal{B}(B^+ \to D^{*-}K^+\pi^+)}{\mathcal{B}(B^+ \to D^{*-}\pi^+\pi^+)} = \left( 6.39 \pm 0.27 \pm 0.48 \right) \times 10^{-2} \, , \end{equation*} where the first uncertainty is statistical and the second is systematic. This is the first observation of the $B^+ \to D^{*-}K^+\pi^+$ decay.


title: Experimental realization of time-dependent phase-modulated continuous dynamical decoupling

abstract: The coherence times achieved with continuous dynamical decoupling techniques are often limited by fluctuations in the driving amplitude. In this work, we use time-dependent phase-modulated continuous driving to increase the robustness against such fluctuations in a dense ensemble of nitrogen-vacancy centers in diamond. Considering realistic experimental errors in the system, we identify the optimal modulation strength, and demonstrate an improvement of an order of magnitude in the spin-preservation of arbitrary states over conventional single continuous driving. The phase-modulated driving exhibits comparable results to previously examined amplitude-modulated techniques, and is expected to outperform them in experimental systems having higher phase accuracy. The proposed technique could open new avenues for quantum information processing and many body physics, in systems dominated by high frequency spin-bath noise, for which pulsed dynamical decoupling is less effective.


title: Moduli Spaces of Unordered $n\ge5$ Points on the Riemann Sphere and Their Singularities

abstract: For $n\ge5$, it is well known that the moduli space $\mathfrak{M_{0,\:n}}$ of unordered $n$ points on the Riemann sphere is a quotient space of the Zariski open set $K_n$ of $\mathbb C^{n-3}$ by an $S_n$ action. The stabilizers of this $S_n$ action at certain points of this Zariski open set $K_n$ correspond to the groups fixing the sets of $n$ points on the Riemann sphere. Let $\alpha$ be a subset of $n$ distinct points on the Riemann sphere. We call the group of all linear fractional transformations leaving $\alpha$ invariant the stabilizer of $\alpha$, which is finite by observation. For each non-trivial finite subgroup $G$ of the group ${\rm PSL}(2,{\Bbb C})$ of linear fractional transformations, we give the necessary and sufficient condition for finite subsets of the Riemann sphere under which the stabilizers of them are conjugate to $G$. We also prove that there does exist some finite subset of the Riemann sphere whose stabilizer coincides with $G$. Next we obtain the irreducible decompositions of the representations of the stabilizers on the tangent spaces at the singularities of $\mathfrak{M_{0,\:n}}$. At last, on $\mathfrak{M_{0,\:5}}$ and $\mathfrak{M_{0,\:6}}$, we work out explicitly the singularities and the representations of their stabilizers on the tangent spaces at them.


title: Estimating Sparse Signals Using Integrated Wideband Dictionaries

abstract: In this paper, we introduce a wideband dictionary framework for estimating sparse signals. By formulating integrated dictionary elements spanning bands of the considered parameter space, one may efficiently find and discard large parts of the parameter space not active in the signal. After each iteration, the zero-valued parts of the dictionary may be discarded to allow a refined dictionary to be formed around the active elements, resulting in a zoomed dictionary to be used in the following iterations. Implementing this scheme allows for more accurate estimates, at a much lower computational cost, as compared to directly forming a larger dictionary spanning the whole parameter space or performing a zooming procedure using standard dictionary elements. Different from traditional dictionaries, the wideband dictionary allows for the use of dictionaries with fewer elements than the number of available samples without loss of resolution. The technique may be used on both one- and multi-dimensional signals, and may be exploited to refine several traditional sparse estimators, here illustrated with the LASSO and the SPICE estimators. Numerical examples illustrate the improved performance.


title: Large-scale modulation in the superconducting properties of thin films due to domains in the $SrTiO_{3}$ substrate

abstract: Scanning superconducting quantum interference device measurements reveal large-scale modulations of the superfluid density and the critical temperature in superconducting Nb, NbN, and underdoped $YBa_{2}Cu_{3}O_{7-{\delta}}$ films deposited on $SrTiO_{3}$ (STO). We show that these modulations are a result of the STO domains and domain walls, forming below the 105 K structural phase transition of STO. We found that the flow of normal current, measured above the superconducting transition, is also modulated over the same domain structure, suggesting a modified carrier density. In clean STO, domain walls remain mobile down to low temperatures. Modulated superconductivity over mobile channels offers the opportunity to locally control superconducting properties and better understand the relations between superconductivity and the local structure.


title: The conformal Killing spinor initial data equations

abstract: We obtain necessary and sufficient conditions for an initial data set for the vacuum conformal Einstein field equations to give rise to a spacetime development in possession of a Killing spinor. The fact that the conformal Einstein field equations are used in our derivation allows for the possibility of the initial hypersurface $\mathcal{S}$ intersecting non-trivially with (or even being a subset of) null infinity $\mathscr{I}$. For conciseness, these conditions are derived assuming that the initial hypersurface is spacelike. Hence, in particular, these conformal Killing spinor initial data equations encode necessary and sufficient conditions for the existence of a Killing spinor in the development of asymptotic initial data on spacelike components of $\mathscr{I}$.


title: On the compressibility of the transition-metal carbides and nitrides alloys Zr_xNb_{1-x}C and Zr_xNb_{1-x}N

abstract: The 4d-transition-metals carbides (ZrC, NbC) and nitrides (ZrN, NbN) in the rocksalt structure, as well as their ternary alloys, have been recently studied by means of a first-principles full potential linearized augmented plane waves method within the local density approximation. These materials are important because of their interesting mechanical and physical properties, which make them suitable for many technological applications. Here, by using a simple theoretical model, we estimate the bulk moduli of their ternary alloys Zr$_x$Nb$_{1-x}$C and Zr$_x$Nb$_{1-x}$N in terms of the bulk moduli of the end members alone. The results are comparable to those deduced from the first-principles calculations.


title: Relaxed enthalpy and volume during physical aging: Their interrelation

abstract: Several papers have recently presented results of measurements of physical aging by studying the behavior of glassy materials quenched from temperatures above their glass transition temperature $T_g$. The evolution of the aging process is usually followed by plotting the relaxed enthalpy versus the accompanying decrease in volume. Here, we focus on the slope of such plots, which are found to be similar to the inverse value of the isothermal compressibility close to $T_g$. An explanation of this empirical result is attempted in the frame of a model that interconnects the defect Gibbs energy with properties of the bulk material.