title: Exploring Sparsity in Recurrent Neural Networks

abstract: Recurrent Neural Networks (RNN) are widely used to solve a variety of problems and as the quantity of data and the amount of available compute have increased, so have model sizes. The number of parameters in recent state-of-the-art networks makes them hard to deploy, especially on mobile phones and embedded devices. The challenge is due to both the size of the model and the time it takes to evaluate it. In order to deploy these RNNs efficiently, we propose a technique to reduce the parameters of a network by pruning weights during the initial training of the network. At the end of training, the parameters of the network are sparse while accuracy is still close to the original dense neural network. The network size is reduced by 8x and the time required to train the model remains constant. Additionally, we can prune a larger dense network to achieve better than baseline performance while still reducing the total number of parameters significantly. Pruning RNNs reduces the size of the model and can also help achieve significant inference time speed-up using sparse matrix multiply. Benchmarks show that using our technique model size can be reduced by 90% and speed-up is around 2x to 7x.


title: Does robustness imply tractability? A lower bound for planted clique in the semi-random model

abstract: We consider a robust analog of the planted clique problem. In this analog, a set $S$ of vertices is chosen and all edges in $S$ are included; then, edges between $S$ and the rest of the graph are included with probability $\frac{1}{2}$, while edges not touching $S$ are allowed to vary arbitrarily. For this semi-random model, we show that the information-theoretic threshold for recovery is $\tilde{\Theta}(\sqrt{n})$, in sharp contrast to the classical information-theoretic threshold of $\Theta(\log(n))$. This matches the conjectured computational threshold for the classical planted clique problem, and thus raises the intriguing possibility that, once we require robustness, there is no computational-statistical gap for planted clique. Our lower bound involves establishing a result regarding the KL divergence of a family of perturbed Bernoulli distributions, which may be of independent interest.

categories: cs.CC cs.IT cs.LG math.IT math.ST stat.TH


title: NGC628 with SITELLE : I. Imaging Spectroscopy of 4285 HII region candidates

abstract: This is the first paper of a series dedicated to nebular physics and the chemical evolution of nearby galaxies by investigating large samples of HII regions with the CFHT imaging spectrograph SITELLE. We present a technique adapted to imaging spectroscopy to identify and extract parameters from 4285 HII region candidates found in the disc of NGC628. Using both the spatial and spectral capabilities of SITELLE, our technique enables the extraction of the position, dust extinction, velocity, Halpha profile, diffuse ionised gas (DIG) background, luminosity, size, morphological type, and the emission line fluxes for individual spaxels and the integrated spectrum for each region. We have produced a well-sampled HII region luminosity function and studied its variation with galactocentric radius and level of the DIG background. We found a slope of 1.12+/-0.03 with no evidence of a break at high luminosity. Based on the width of the region profile, bright regions are rather compact, while faint regions are seen over a wide range of sizes. The radius function reveals a slope of 1.81+/-0.02. BPT diagrams of the individual spaxels and integrated line ratios confirm that most detections are HII regions. Also, maps of the line ratios show complex variations of the ionisation conditions within HII regions. All this information is compiled in a new catalogue for HII regions. The objective of this database is to provide a complete sample which will be used to study the whole parameter space covered by the physical conditions in active star-forming regions.


title: A Gabor Filter Texture Analysis Approach for Histopathological Brain Tumor Subtype Discrimination

abstract: Meningioma brain tumour discrimination is challenging as many histological patterns are mixed between the different subtypes. In clinical practice, dominant patterns are investigated for signs of specific meningioma pathology; however the simple observation could result in inter- and intra-observer variation due to the complexity of the histopathological patterns. Also employing a computerised feature extraction approach applied at a single resolution scale might not suffice in accurately delineating the mixture of histopathological patterns. In this work we propose a novel multiresolution feature extraction approach for characterising the textural properties of the different pathological patterns (i.e. mainly cell nuclei shape, orientation and spatial arrangement within the cytoplasm). The pattern textural properties are characterised at various scales and orientations for an improved separability between the different extracted features. The Gabor filter energy output of each magnitude response was combined with four other fixed-resolution texture signatures (2 model-based and 2 statistical-based) with and without cell nuclei segmentation. The highest classification accuracy of 95% was reported when combining the Gabor filters energy and the meningioma subimage fractal signature as a feature vector without performing any prior cell nuceli segmentation. This indicates that characterising the cell-nuclei self-similarity properties via Gabor filters can assists in achieving an improved meningioma subtype classification, which can assist in overcoming variations in reported diagnosis.


title: Resolution-Exact Planner for Thick Non-Crossing 2-Link Robots

abstract: We consider the path planning problem for a 2-link robot amidst polygonal obstacles. Our robot is parametrizable by the lengths $\ell_1, \ell_2>0$ of its two links, the thickness $\tau \ge 0$ of the links, and an angle $\kappa$ that constrains the angle between the 2 links to be strictly greater than $\kappa$. The case $\tau>0$ and $\kappa \ge 0$ corresponds to "thick non-crossing" robots. This results in a novel 4DOF configuration space ${\mathbb R}^2\times ({\mathbb T}\setminus\Delta(\kappa))$ where ${\mathbb T}$ is the torus and $\Delta(\kappa)$ the diagonal band of width $\kappa$. We design a resolution-exact planner for this robot using the framework of Soft Subdivision Search (SSS). First, we provide an analysis of the space of forbidden angles, leading to a soft predicate for classifying configuration boxes. We further exploit the T/R splitting technique which was previously introduced for self-crossing thin 2-link robots. Our open-source implementation in Core Library achieves real-time performance for a suite of combinatorially non-trivial obstacle sets. Experimentally, our algorithm is significantly better than any of the state-of-art sampling algorithms we looked at, in timing and in success rate.


title: The pebbling comonad in finite model theory

abstract: Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which are widely used in semantics of computation and in modern functional programming. We show that existential k-pebble games have a natural comonadic formulation. Winning strategies for Duplicator in the k-pebble game for structures A and B are equivalent to morphisms from A to B in the coKleisli category for this comonad. This leads on to comonadic characterisations of a number of central concepts in Finite Model Theory: - Isomorphism in the co-Kleisli category characterises elementary equivalence in the k-variable logic with counting quantifiers. - Symmetric games corresponding to equivalence in full k-variable logic are also characterized. - The treewidth of a structure A is characterised in terms of its coalgebra number: the least k for which there is a coalgebra structure on A for the k-pebbling comonad. - Co-Kleisli morphisms are used to characterize strong consistency, and to give an account of a Cai-F\"urer-Immerman construction. - The k-pebbling comonad is also used to give semantics to a novel modal operator. These results lay the basis for some new and promising connections between two areas within logic in computer science which have largely been disjoint: (1) finite and algorithmic model theory, and (2) semantics and categorical structures of computation.


title: Performance Impact of Base Station Antenna Heights in Dense Cellular Networks

abstract: In this paper, we present a new and significant theoretical discovery. If the absolute height difference between base station (BS) antenna and user equipment (UE) antenna is larger than zero, then the network performance in terms of both the coverage probability and the area spectral efficiency (ASE) will continuously decrease toward zero as the BS density increases for ultra-dense (UD) small cell networks (SCNs). Such findings are completely different from the conclusions in existing works, both quantitatively and qualitatively. In particular, this performance behavior has a tremendous impact on the deployment of UD SCNs in the 5th-generation (5G) era. Network operators may invest large amounts of money in deploying more network infrastructure to only obtain an even less network capacity. Our study results reveal that one way to address this issue is to lower the SCN BS antenna height to the UE antenna height. However, this requires a revolutionized approach of BS architecture and deployment, which is explored in this paper too.


title: Roughness-facilitated local 1/2 scaling does not imply the onset of the ultimate regime of thermal convection

abstract: In thermal convection, roughness is often used as a means to enhance heat transport, expressed in Nusselt number. Yet there is no consensus on whether the Nusselt vs. Rayleigh number scaling exponent ($\mathrm{Nu} \sim \mathrm{Ra}^\beta$) increases or remains unchanged. Here we numerically investigate turbulent Rayleigh-B\'enard convection over rough plates in two dimensions, up to $\mathrm{Ra}=10^{12}$. Varying the height and wavelength of the roughness elements with over 200 combinations, we reveal the existence of two universal regimes. In the first regime, the local effective scaling exponent can reach up to 1/2. However, this cannot be explained as the attainment of the so-called ultimate regime as suggested in previous studies, because a further increase in $\mathrm{Ra}$ leads to the second regime, in which the scaling saturates back to a value close to the smooth case. Counterintuitively, the transition from the first to the second regime corresponds to the competition between bulk and boundary layer flow: from the bulk-dominated regime back to the classical boundary-layer-controlled regime. Our study clearly demonstrates that the local $1/2$ scaling does not signal the onset of asymptotic ultimate thermal convection.


title: Comment on "Many-body localization in Ising models with random long-range interactions"

abstract: This comment is dedicated to the investigation of many-body localization in a quantum Ising model with long-range power law interactions, $r^{-\alpha}$, relevant for a variety of systems ranging from electrons in Anderson insulators to spin excitations in chains of cold atoms. It has been earlier argued [1, 2] that this model obeys the dimensional constraint suggesting the delocalization of all finite temperature states in thermodynamic limit for $\alpha \leq 2d$ in a $d$-dimensional system. This expectation conflicts with the recent numerical studies of the specific interacting spin model in Ref. [3]. To resolve this controversy we reexamine the model of Ref. [3] and demonstrate that the infinite temperature states there obey the dimensional constraint. The earlier developed scaling theory for the critical system size required for delocalization [2] is extended to small exponents $0 \leq \alpha \leq d$. Disagreements between two works are explained by the non-standard selection of investigated states in the ordered phase and misinterpretation of the localization-delocalization transition in Ref. [3].


title: BIBI: Bayesian Inference of Breed Composition

abstract: The aim of this paper was to develop statistical models to estimate individual breed composition based on the previously proposed idea of regressing discrete random variables corresponding to counts of reference alleles of biallelic molecular markers located across the genome on the allele frequencies of each marker in the pure (base) breeds. Some of the existing regression-based methods do not guarantee that estimators of breed composition will lie in the appropriate parameter space and none of them account for uncertainty about allele frequencies in the pure breeds, that is, uncertainty about the design matrix. In order to overcome these limitations, we proposed two Bayesian generalized linear models. For each individual, both models assume that the counts of the reference allele at each marker locus follow independent Binomial distributions, use the logit link, and pose a Dirichlet prior over the vector of regression coefficients (which corresponds to breed composition). This prior guarantees that point estimators of breed composition like the posterior mean pertain to the appropriate space. The difference between these models is that model termed BIBI does not account for uncertainty about the design matrix, while model termed BIBI2 accounts for such an uncertainty by assigning independent Beta priors to the entries of this matrix. We implemented these models in a multibreed Angus-Brahman population. Posterior means were used as point estimators of breed composition. In addition, the ordinary least squares estimator proposed by Kuehn et al. (2011) (OLSK) was also computed. BIBI and BIBI2 estimated breed composition more accurately than OLSK, and BIBI2 had an 8.3% improvement in accuracy as compared to BIBI.


title: Statistics, distillation, and ordering emergence in a two-dimensional stochastic model of particles in counterflowing streams

abstract: In this paper, we proposed a stochastic model which describes two species of particles moving in counterflow. The model generalizes the theoretical framework describing the transport in random systems since particles can work as mobile obstacles, whereas particles of one species move in opposite direction to the particles of the other species, or they can work as fixed obstacles remaining in their places during the time evolution. We conducted a detailed study about the statistics concerning the crossing time of particles, as well as the effects of the lateral transitions on the time required to the system reaches a state of complete geographic separation of species. The spatial effects of jamming were also studied by looking into the deformation of the concentration of particles in the two-dimensional corridor. Finally, we observed in our study the formation of patterns of lanes which reach the steady state regardless the initial conditions used for the evolution. A similar result is also observed in real experiments involving charged colloids motion and simulations of pedestrian dynamics based on Langevin equations, when periodic boundary conditions are considered (particles counterflow in a ring symmetry). The results obtained through Monte Carlo numerical simulations and numerical integrations are in good agreement with each other. However, differently from previous studies, the dynamics considered in this work is not Newton-based, and therefore, even artificial situations of self-propelled objects should be studied in this first-principle modeling.


title: Rotation number of interval contracted rotations

abstract: Let $0<\lambda<1$. We consider the one-parameter family of circle $\lambda$-affine contractions $f_\delta:x \in [0,1) \mapsto \lambda x + \delta \; {\rm mod}\,1 $, where $0 \le \delta <1$. Let $\rho$ be the rotation number of the map $f_\delta$. We will give some numerical relations between the values of $\lambda,\delta$ and $\rho$, essentially using Hecke-Mahler series and a tree structure. When both parameters $\lambda$ and $\delta$ are algebraic numbers, we show that $\rho$ is a rational number. Moreover, in the case $\lambda$ and $\delta$ are rational, we give an explicit upper bound for the height of $\rho$ under an assumption on $\lambda$.


title: A free boundary problem on three-dimensional cones

abstract: We consider a free boundary problem on cones depending on a parameter c and study when the free boundary is allowed to pass through the vertex of the cone. We show that when the cone is three-dimensional and c is large enough, the free boundary avoids the vertex. We also show that when c is small enough but still positive, the free boundary is allowed to pass through the vertex. This establishes 3 as the critical dimension for which the free boundary may pass through the vertex of a right circular cone. In view of the well-known connection between area-minimizing surfaces and the free boundary problem under consideration, our result is analogous to a result of Morgan that classifies when an area-minimizing surface on a cone passes through the vertex.


title: A hybrid CPU-GPU parallelization scheme of variable neighborhood search for inventory optimization problems

abstract: In this paper, we study various parallelization schemes for the Variable Neighborhood Search (VNS) metaheuristic on a CPU-GPU system via OpenMP and OpenACC. A hybrid parallel VNS method is applied to recent benchmark problem instances for the multi-product dynamic lot sizing problem with product returns and recovery, which appears in reverse logistics and is known to be NP-hard. We report our findings regarding these parallelization approaches and present promising computational results.


title: H2CO distribution and formation in the TW Hya disk

abstract: H2CO is one of the most readily detected organic molecules in protoplanetary disks. Yet its distribution and dominant formation pathway(s) remain largely unconstrained. To address these issues, we present ALMA observations of two H2CO lines (3_{12}-2_{11} and 5_{15}-4_{14}) at 0".5 (~30 au) spatial resolution toward the disk around the nearby T Tauri star TW Hya. Emission from both lines is spatially resolved, showing a central depression, a peak at 0".4 radius, and a radial decline at larger radii with a bump at ~1", near the millimeter continuum edge. We adopt a physical model for the disk and use toy models to explore the radial and vertical H2CO abundance structure. We find that the observed emission implies the presence of at least two distinct H2CO gas reservoirs: (1) a warm and unresolved inner component (<10 au), and (2) an outer component that extends from ~15 au to beyond the millimeter continuum edge. The outer component is further constrained by the line ratio to arise in a more elevated disk layer at larger radii. The inferred H2CO abundance structure agrees well with disk chemistry models, which predict efficient H2CO gas-phase formation close to the star, and cold H2CO grain surface formation, through H additions to condensed CO, followed by non-thermal desorption in the outer disk. The implied presence of active grain surface chemistry in the TW Hya disk is consistent with the recent detection of CH3OH emission, and suggests that more complex organic molecules are formed in disks, as well.


title: Learning Linear Feature Space Transformations in Symbolic Regression

abstract: We propose a new type of leaf node for use in Symbolic Regression (SR) that performs linear combinations of feature variables (LCF). These nodes can be handled in three different modes -- an unsynchronized mode, where all LCFs are free to change on their own, a synchronized mode, where LCFs are sorted into groups in which they are forced to be identical throughout the whole individual, and a globally synchronized mode, which is similar to the previous mode but the grouping is done across the whole population. We also present two methods of evolving the weights of the LCFs -- a purely stochastic way via mutation and a gradient-based way based on the backpropagation algorithm known from neural networks -- and also a combination of both. We experimentally evaluate all configurations of LCFs in Multi-Gene Genetic Programming (MGGP), which was chosen as baseline, on a number of benchmarks. According to the results, we identified two configurations which increase the performance of the algorithm.


title: Does Neural Machine Translation Benefit from Larger Context?

abstract: We propose a neural machine translation architecture that models the surrounding text in addition to the source sentence. These models lead to better performance, both in terms of general translation quality and pronoun prediction, when trained on small corpora, although this improvement largely disappears when trained with a larger corpus. We also discover that attention-based neural machine translation is well suited for pronoun prediction and compares favorably with other approaches that were specifically designed for this task.


title: The Causality/Repair Connection in Databases: Causality-Programs

abstract: In this work, answer-set programs that specify repairs of databases are used as a basis for solving computational and reasoning problems about causes for query answers from databases.


title: Electromagnetic Cascades as Probes of Cosmic Magnetism

abstract: The existence of intergalactic magnetic fields (IGMFs) is an open problem in cosmology and has never been unambiguously confirmed. High-energy gamma rays emitted by blazars are unique probes of cosmic magnetism, as their interactions with pervasive radiation fields generate a short-lived charged component sensitive to intervening magnetic fields. Spatial and temporal properties of the secondary gamma rays generated in the electromagnetic cascade can provide information about the strength, power spectrum, and topology of IGMFs. To probe these fields, detailed simulations of gamma-ray propagation in the intergalactic medium are necessary. In this work the effects of magnetic fields on the spectrum and arrival directions of gamma rays are studied using three-dimensional simulations, emphasising the particular case of helical IGMFs.


title: Exploiting Data Longevity for Enhancing the Lifetime of Flash-based Storage Class Memory

abstract: Storage-class memory (SCM) combines the benefits of a solid-state memory, such as high-performance and robustness, with the archival capabilities and low cost of conventional hard-disk magnetic storage. Among candidate solid-state nonvolatile memory technologies that could potentially be used to construct SCM, flash memory is a well-established technology and have been widely used in commercially available SCM incarnations. Flash-based SCM enables much better tradeoffs between performance, space and power than disk-based systems. However, write endurance is a significant challenge for a flash-based SCM (each act of writing a bit may slightly damage a cell, so one flash cell can be written 10^4--10^5 times, depending on the flash technology, before it becomes unusable). This is a well-documented problem and has received a lot of attention by manufactures that are using some combination of write reduction and wear-leveling techniques for achieving longer lifetime. In an effort to improve flash lifetime, first, by quantifying data longevity in an SCM, we show that a majority of the data stored in a solid-state SCM do not require long retention times provided by flash memory (i.e., up to 10 years in modern devices); second, by exploiting retention time relaxation, we propose a novel mechanism, called Dense-SLC (D-SLC), which enables us perform multiple writes into a cell during each erase cycle for lifetime extension; and finally, we discuss the required changes in the flash management software (FTL) in order to use this characteristic for extending the lifetime of the solid-state part of an SCM. Using an extensive simulation-based analysis of a flash-based SCM, we demonstrate that D-SLC is able to significantly improve device lifetime (between 5.1X and 8.6X) with no performance overhead and also very small changes at the FTL software.


title: Stieltjes-Bethe equations in higher genus and branched coverings with even ramifications

abstract: We describe projective structures on a Riemann surface corresponding to monodromy groups which have trivial $SL(2)$ monodromies around singularities and trivial $PSL(2)$ monodromies along homologically non-trivial loops on a Riemann surface. We propose a natural higher genus analog of Stieltjes-Bethe equations. Links with branched projective structures and with Hurwitz spaces with ramifications of even order are established. We find a higher genus analog of the genus zero Yang-Yang function (the function generating accessory parameters) and describe its similarity and difference with Bergman tau-function on the Hurwitz spaces.


title: Electron counting in solids: oxidation states, partial charges and ionicity

abstract: In this short viewpoint, we discuss the assignment of ionic charges in solids. We argue that formal oxidation states serve a useful function, and that absolute values of partial charges should be interpreted and applied with caution; the charge assigned can never be definitive and depends on the type of property studied and the type of analysis performed. Careful analysis can be used to avoid unphysical conclusions such as a recent report on the Ti(III) nature of Ti in stoichiometric TiO$_2$.


title: Holographic DC conductivity and Onsager relations

abstract: Within holography the DC conductivity can be obtained by solving a system of Stokes equations for an auxiliary fluid living on the black hole horizon. We show that these equations can be derived from a novel variational principle involving a functional that depends on the fluid variables of interest as well as the time reversed quantities. This leads to simple derivation of the Onsager relations for the conductivity. We also obtain the relevant Stokes equations for bulk theories of gravity in four dimensions including a $\vartheta F\wedge F$ term in the Lagrangian, where $\vartheta$ is a function of dynamical scalar fields. We discuss various realisations of the anomalous Hall conductivity that this term induces and also solve the Stokes equations for holographic lattices which break translations in one spatial dimension.


title: Surjective homomorphisms between surface braid groups

abstract: Let $PB_n(S_{g,p})$ be the pure braid group of a genus $g>1$ surface with $p$ punctures. In this paper we prove that any surjective homomorphism $PB_n(S_{g,p})\to PB_m(S_{g,p})$ factors through one of the forgetful homomorphisms. We then compute the automorphism group of $PB_n(S_{g,p})$, extending Irmak, Ivanov and McCarthy's result to the punctured case. Surprisingly, in contrast to the $n=1$ case, any automorphism of $PB_n(S_{g,p})$, $n>1$ is geometric.


title: The Emergence of Canalization and Evolvability in an Open-Ended, Interactive Evolutionary System

abstract: Natural evolution has produced a tremendous diversity of functional organisms. Many believe an essential component of this process was the evolution of evolvability, whereby evolution speeds up its ability to innovate by generating a more adaptive pool of offspring. One hypothesized mechanism for evolvability is developmental canalization, wherein certain dimensions of variation become more likely to be traversed and others are prevented from being explored (e.g. offspring tend to have similarly sized legs, and mutations affect the length of both legs, not each leg individually). While ubiquitous in nature, canalization almost never evolves in computational simulations of evolution. Not only does that deprive us of in silico models in which to study the evolution of evolvability, but it also raises the question of which conditions give rise to this form of evolvability. Answering this question would shed light on why such evolvability emerged naturally and could accelerate engineering efforts to harness evolution to solve important engineering challenges. In this paper we reveal a unique system in which canalization did emerge in computational evolution. We document that genomes entrench certain dimensions of variation that were frequently explored during their evolutionary history. The genetic representation of these organisms also evolved to be highly modular and hierarchical, and we show that these organizational properties correlate with increased fitness. Interestingly, the type of computational evolutionary experiment that produced this evolvability was very different from traditional digital evolution in that there was no objective, suggesting that open-ended, divergent evolutionary processes may be necessary for the evolution of evolvability.


title: Derived equivalences for Symplectic reflection algebras

abstract: In this paper we study derived equivalences for Symplectic reflection algebras. We establish a version of the derived localization theorem between categories of modules over Symplectic reflection algebras and categories of coherent sheaves over quantizations of Q-factorial terminalizations of the symplectic quotient singularities. To do this we construct a Procesi sheaf on the terminalization and show that the quantizations of the terminalization are simple sheaves of algebras. We will also sketch some applications: to the generalized Bernstein inequality and to perversity of wall crossing functors.


title: Numerical Electromagnetic Frequency Domain Analysis with Discrete Exterior Calculus

abstract: In this paper, we perform a numerical analysis in frequency domain for various electromagnetic problems based on discrete exterior calculus (DEC) with an arbitrary 2-D triangular or 3-D tetrahedral mesh. We formulate the governing equations in terms of DEC for 3D and 2D inhomogeneous structures, and also show that the charge continuity relation is naturally satisfied. Then we introduce effective signed dual volume to incorporate material information into Hodge star operators and take into account the case when circumcenters fall outside triangles or tetrahedrons, which may lead to negative dual volume without Delaunay triangulation. Then we demonstrate the implementation of various boundary conditions, including perfect magnetic conductor (PMC), perfect electric conductor (PEC), Dirichlet, periodic, and absorbing boundary conditions (ABC) within this method. An excellent agreement is achieved through the numerical calculation of several problems, including homogeneous waveguides, microstructured fibers, photonic crystals, scattering by a 2-D PEC, and resonant cavities.


title: On Predicting Geolocation of Tweets using Convolutional Neural Networks

abstract: In many Twitter studies, it is important to know where a tweet came from in order to use the tweet content to study regional user behavior. However, researchers using Twitter to understand user behavior often lack sufficient geo-tagged data. Given the huge volume of Twitter data there is a need for accurate automated geolocating solutions. Herein, we present a new method to predict a Twitter user's location based on the information in a single tweet. We integrate text and user profile meta-data into a single model using a convolutional neural network. Our experiments demonstrate that our neural model substantially outperforms baseline methods, achieving 52.8% accuracy and 92.1% accuracy on city-level and country-level prediction respectively.


title: O$^2$TD: (Near)-Optimal Off-Policy TD Learning

abstract: Temporal difference learning and Residual Gradient methods are the most widely used temporal difference based learning algorithms; however, it has been shown that none of their objective functions is optimal w.r.t approximating the true value function $V$. Two novel algorithms are proposed to approximate the true value function $V$. This paper makes the following contributions: (1) A batch algorithm that can help find the approximate optimal off-policy prediction of the true value function $V$. (2) A linear computational cost (per step) near-optimal algorithm that can learn from a collection of off-policy samples. (3) A new perspective of the emphatic temporal difference learning which bridges the gap between off-policy optimality and off-policy stability.


title: Approximating quantum many-body wave-functions using artificial neural networks

abstract: In this paper, we demonstrate the expressibility of artificial neural networks (ANNs) in quantum many-body physics by showing that a feed-forward neural network with a small number of hidden layers can be trained to approximate with high precision the ground states of some notable quantum many-body systems. We consider the one-dimensional free bosons and fermions, spinless fermions on a square lattice away from half-filling, as well as frustrated quantum magnetism with a rapidly oscillating ground-state characteristic function. In the latter case, an ANN with a standard architecture fails, while that with a slightly modified one successfully learns the frustration-induced complex sign rule in the ground state and approximates the ground states with high precisions. As an example of practical use of our method, we also perform the variational method to explore the ground state of an anti-ferromagnetic $J_1-J_2$ Heisenberg model.


title: Pairing in the BCS and LN approximations using continuum single particle level density

abstract: Understanding the properties of drip line nuclei requires to take into account the correlations with the continuum spectrum of energy of the system. This paper has the purpose to show that the continuum single particle level density is a convenient way to consider the pairing correlation in the continuum. Isospin mean-field and isospin pairing strength are used to find the Bardeen-Cooper-Schrieffer (BCS) and Lipkin-Nogami (LN) approximate solutions of the pairing Hamiltonian. Several physical properties of the whole chain of the Tin isotope, as gap parameter, Fermi level, binding energy, and one- and two-neutron separation energies, were calculated and compared with other methods and with experimental data when they exist. It is shown that the use of the continuum single particle level density is an economical way to include explicitly the correlations with the continuum spectrum of energy in large scale mass calculation. It is also shown that the computed properties are in good agreement with experimental data and with more sophisticated treatment of the pairing interaction.


title: A Century of Science: Globalization of Scientific Collaborations, Citations, and Innovations

abstract: Progress in science has advanced the development of human society across history, with dramatic revolutions shaped by information theory, genetic cloning, and artificial intelligence, among the many scientific achievements produced in the 20th century. However, the way that science advances itself is much less well-understood. In this work, we study the evolution of scientific development over the past century by presenting an anatomy of 89 million digitalized papers published between 1900 and 2015. We find that science has benefited from the shift from individual work to collaborative effort, with over 90% of the world-leading innovations generated by collaborations in this century, nearly four times higher than they were in the 1900s. We discover that rather than the frequent myopic- and self-referencing that was common in the early 20th century, modern scientists instead tend to look for literature further back and farther around. Finally, we also observe the globalization of scientific development from 1900 to 2015, including 25-fold and 7-fold increases in international collaborations and citations, respectively, as well as a dramatic decline in the dominant accumulation of citations by the US, the UK, and Germany, from ~95% to ~50% over the same period. Our discoveries are meant to serve as a starter for exploring the visionary ways in which science has developed throughout the past century, generating insight into and an impact upon the current scientific innovations and funding policies.


title: Dynamical heredity from f(R)-bulk to braneworld: curvature dynamical constraint and f(R)-unimodular gravity

abstract: Recently, Borzou et al. (BSSY) generalized the Shiromizu-Maeda-Sasaki (SMS) formulation to f(R)-bulks. BSSY brane projected equation carries an additional stress tensor, besides SMS correction for Einstein's theory on the brane. If we change this perspective, by requiring BSSY tensor in the geometrical side acting as f(R)-brane generator, it is possible to relate f(R)-brane/bulk theories, by using curvature dynamical constraint (CDC), a concept that we developed. Since that brane and bulk are f(R), 5/4D scalar curvatures also play a dynamical role and, thus, a dynamical version to Gauss equation trace, or CDC, must be offered. We will work yet in a specific case to obtain f(R)-unimodular gravity, formally identical with obtained by Nojiri et al. (NOO). Therefore, two applications which consider cosmological scenarios in f(R)-unimodular gravity with dark radiation correction will be offered.


title: Nontrivial solutions of systems of Hammerstein integral equations with first derivative dependence

abstract: By means of classical fixed point index, we prove new results on the existence, non-existence, localization and multiplicity of nontrivial solutions for systems of Hammerstein integral equations where the nonlinearities are allowed to depend on the first derivative. As a byproduct of our theory we discuss the existence of positive solutions of a system of third order ODEs subject to nonlocal boundary conditions. Some examples are provided in order to illustrate the applicability of the theoretical results.


title: Cosmological super inflation using Hamilton's approach

abstract: The Friedmann-Robertson-Walker (FRW) cosmology is analyzed with a particular potential $\rm V(\phi)=V_0 e^{-\sqrt{3} \phi}$ in the quintessence field scenario, which emerges in the supersymmetric quantum mechanics (SUSY) formalism. Using Hamilton's approach for a scalar field $\phi$ with standard kinetic energy, and the Hamilton equations, we find exact solutions to the complete set of the Einstein-Klein-Gordon equations without the need of the slow-roll conditions in order to model the inflation phenomenon. We find that the solutions are in good agreement with the inflationary conditions such as the e-folding function ${\cal N}$ which corresponds to the $\Omega$ function in the Misner parametrization for the scale factor $\rm A(t)=e^{\Omega(t)}$ when evaluated in $\rm \Delta t$, which is the time interval for the inflation period. The acceleration of the scale factor was computed and it was found to be positive for the inflation period with a range of values for the parameters of the model. Quantum solution from the Wheeler-DeWitt equation is presented, where the wave function in relation to the evolution of the scale factor, shows that for this period of time at larger values of $\rm A$ and for any value of scalar-field $\rm \varphi$, the wave function is peaked.


title: Atomic Engineering of Single Photon Sources in 2D Boron Nitride Zai-Quan

abstract: Artificial atomic systems in solids such as single photon emitters are becoming increasingly important building blocks in quantum information processing and scalable quantum nanophotonic networks. Here, we report on a controllable way to engineer emitters in two-dimensional (2D) hexagonal boron nitride (hBN) crystals using plasma processing. The method is robust, and yields a 7-fold increase in the density of emitters in hBN, which is promising for their deployment in practical devices. While as-fabricated emitters suffer from blinking and bleaching, a subsequent annealing step yields photo-stable emitters. The presented process is the first step towards controllable placement of quantum emitters in hBN for integrated on-chip quantum nanophotonics based on 2D materials.


title: VAE Learning via Stein Variational Gradient Descent

abstract: A new method for learning variational autoencoders (VAEs) is developed, based on Stein variational gradient descent. A key advantage of this approach is that one need not make parametric assumptions about the form of the encoder distribution. Performance is further enhanced by integrating the proposed encoder with importance sampling. Excellent performance is demonstrated across multiple unsupervised and semi-supervised problems, including semi-supervised analysis of the ImageNet data, demonstrating the scalability of the model to large datasets.


title: To compute orientations of Morse flow trees in Legendrian contact homology

abstract: Let $\Lambda$ be a closed, connected Legendrian submanifold of the 1-jet space of a smooth $n$-dimensional manifold. Associated to $\Lambda$ there is a Legendrian invariant called Legendrian contact homology, which is defined by counting rigid pseudo-holomorphic disks of $\Lambda$. Moreover, there exists a bijective correspondence between rigid pseudo-holomorphic disks and rigid Morse flow trees of $\Lambda$, which allows us to compute the Legendrian contact homology of $\Lambda$ via Morse theory. If $\Lambda$ is spin, then the moduli space of the rigid disks can be given a coherent orientation, so that the Legendrian contact homology of $\Lambda$ can be defined with coefficients in $\mathbb Z$. In this paper we give an algorithm for computing the corresponding orientation of the moduli space of rigid Morse flow trees if the dimension of $\Lambda $ is greater than 1, and up to 4 signs that depend on data that can be extracted from the vertices of the trees, but which are not given explicitly, in the case $n=1$.


title: Inferring subsurface heterogeneity from push-drift tracer tests

abstract: We consider the late-time tailing in a tracer test performed with a push-drift methodology (i.e., quasi-radial injection followed by drift under natural gradient). Numerical simulations of such tests are performed on 1000 multi-Gaussian 2D log-hydraulic conductivity field realizations of varying heterogeneity, each under eight distinct mean flow directions. The ensemble pdfs of solute return times are found to exhibit power law tails for each considered variance of the log-hydraulic conductivity field, $\sigma^2_{\ln K}$. The tail exponent is found to relate straightforwardly to $\sigma^2_{\ln K}$ and, within the parameter space we explored, to be independent of push-phase pumping rate and pumping duration. We conjecture that individual push-drift tracer tests in wells with screened intervals much greater than the vertical correlation length of the aquifer will exhibit quasi-ergodicity and that their tail exponent may be used to infer $\sigma^2_{\ln K}$. We calibrate a predictive relationship of this sort from our Monte Carlo study, and apply it to data from a push-drift test performed at a site of approximately known heterogeneity---closely matching the existing best estimate of heterogeneity.


title: Study on Precursor Activity of the X1.6 Flare in the Great AR 12192 with SDO, IRIS, and Hinode

abstract: The physical properties and its contribution to the onset of solar flare are still unclear although chromospheric brightening is considered a precursor phenomenon of flare. Many studies suggested that photospheric magnetic field changes cause destabilization of large-scale coronal structure. We aim to understand how a small photospheric change contributes to a flare and to reveal how the intermediary chromosphere behaves in the precursor phase. We analyzed the precursor brightening of the X1.6 flare on 2014 October 22 in the AR 12192 using the Interface Region Imaging Spectrograph (IRIS) and Hinode/EUV Imaging Spectrometer (EIS) data. We investigated a localized jet with the strong precursor brightening, and compared the intensity, Doppler velocity, and line width in C II, Mg II k, Si IV lines by IRIS and He II, Fe XII, Fe XV lines by Hinode/EIS. We also analyzed photospheric magnetic field and chromospheric/coronal structures using Solar Dynamics Observatory (SDO)/Helioseismic and Magnetic Imager (HMI) and Atmospheric Imaging Assembly (AIA). We found a significant blueshift (~ 100 km/s), which is related to the strong precursor brightening over a characteristic magnetic field structure, and the blueshift was observed at all the temperature. This might indicate that the flow is accelerated by Lorentz force. Moreover, the large-scale coronal loop that connects the foot-points of the flare ribbons was destabilized just after the precursor brightening with the blueshift. It suggests that magnetic reconnection locally occurred in the lower chromosphere and it triggered magnetic reconnection of the X1.6 flare in the corona.


title: Performance Analysis of Slotted Secondary Transmission with Adaptive Modulation under Interweave Cognitive Radio Implementation

abstract: In cognitive radio communication, unlicensed secondary user (SU) can access under-utilized spectrum of the licensed primary user (PU) opportunistically for emerging wireless applications. With interweave implementation, SU has to perform spectrum sensing on the target frequency band and waits for transmission if PU occupies the channel. This waiting time results in extra delay for secondary transmission. In this paper, the delay and throughput performance of secondary packet transmission is evaluated with slotted transmission protocol. We propose a discrete-time Markov model to characterize secondary slotted transmission process. Close-form solution of collision probability is obtained. We then carry out the queuing delay and throughput analysis based on a two-dimensional-finite-state Markov chain for small-size packet transmission. For large-size packets, the distribution function of extended delivery time for secondary packet transmission is also derived. Selected numerical results are presented to illustrate the mathematical formulas and to validate our research results.


title: Linear recurrences for cylindrical networks

abstract: We prove a general theorem that gives a linear recurrence for tuples of paths in every cylindrical network. This can be seen as a cylindrical analog of the Lindstr\"om-Gessel-Viennot theorem. We illustrate the result by applying it to Schur functions, plane partitions, and domino tilings.


title: 3D nature of ZrTe$_5$ band structure measured by high-momentum-resolution photoemission spectroscopy

abstract: We have performed a systematic high-momentum-resolution photoemission study on ZrTe$_5$ using $6$ eV photon energy. We have measured the band structure near the $\Gamma$ point, and quantified the gap between the conduction and valence band as $18 \leq \Delta \leq 29$ meV. We have also observed photon-energy-dependent behavior attributed to final-state effects and the 3D nature of the material's band structure. Our interpretation indicates the gap is intrinsic and reconciles discrepancies on the existence of a topological surface state reported by different studies. The existence of a gap suggests that ZrTe$_5$ is not a 3D strong topological insulator nor a 3D Dirac semimetal. Therefore, our experiment is consistent with ZrTe$_5$ being a 3D weak topological insulator.


title: Automatic Disambiguation of French Discourse Connectives

abstract: Discourse connectives (e.g. however, because) are terms that can explicitly convey a discourse relation within a text. While discourse connectives have been shown to be an effective clue to automatically identify discourse relations, they are not always used to convey such relations, thus they should first be disambiguated between discourse-usage non-discourse-usage. In this paper, we investigate the applicability of features proposed for the disambiguation of English discourse connectives for French. Our results with the French Discourse Treebank (FDTB) show that syntactic and lexical features developed for English texts are as effective for French and allow the disambiguation of French discourse connectives with an accuracy of 94.2%.


title: Theoretical Description of Micromaser in the Ultrastrong-Coupling Regime

abstract: We theoretically investigate an ultrastrongly-coupled micromaser based on Rydberg atoms interacting with a superconducting LC resonator, where the common rotating-wave approximation and slowly-varying-envelope approximation are no longer applicable. The effect of counter-rotating terms on the masing dynamics is studied in detail. We find that the intraresonator electric energy declines and the microwave oscillation frequency shifts significantly in the regime of ultrastrong coupling. Additionally, the micromaser phase fluctuation is suppressed, resulting in a reduced spectral linewidth.


title: Partial boundary regularity for co-dimension one area-minimizing currents at immersed $C^{1,\alpha}$ tangential boundary points; full exposition

abstract: We give partial boundary regularity for co-dimension one absolutely area-minimizing currents at points where the boundary consists of a sum of $C^{1,\alpha}$ submanifolds, possibly with multiplicity, meeting tangentially, given that the current has a tangent cone supported in a hyperplane with constant orientation vector; this partial regularity is such that we can conclude the tangent cone is unique. The proof closely follows that giving the boundary regularity result of Hardt and Simon.


title: Video Object Segmentation using Supervoxel-Based Gerrymandering

abstract: Pixels operate locally. Superpixels have some potential to collect information across many pixels; supervoxels have more potential by implicitly operating across time. In this paper, we explore this well established notion thoroughly analyzing how supervoxels can be used in place of and in conjunction with other means of aggregating information across space-time. Focusing on the problem of strictly unsupervised video object segmentation, we devise a method called supervoxel gerrymandering that links masks of foregroundness and backgroundness via local and non-local consensus measures. We pose and answer a series of critical questions about the ability of supervoxels to adequately sway local voting; the questions regard type and scale of supervoxels as well as local versus non-local consensus, and the questions are posed in a general way so as to impact the broader knowledge of the use of supervoxels in video understanding. We work with the DAVIS dataset and find that our analysis yields an unsupervised method that outperforms all other known unsupervised methods and even many supervised ones.


title: Determination of the density region of the symmetry energy probed by the $\pi^-/\pi^+$ ratio

abstract: The studies, from several independent methods, consistently show that $\pi^-/\pi^+$ ratio in the $^{132}$Sn+$^{124}$Sn reaction at 300 MeV/nucleon, which is being carried out at Radioactive Isotope Beam Facility (RIBF) in Japan, just probes the symmetry energy around saturation density.


title: Thermodynamics and critical behaviors of topological dS black holes with nonlinear source

abstract: We discuss black hole solutions of Einstein gravity in presence of nonlinear electrodynamics in dS spacetime. Considering prescribed entropy, thermodynamic volume of dS spacetime, We investigate properties of the effective thermodynamic quantities under influence of nonlinearity parameter $\alpha$. They show a similar phase transition and criticality properties with that of black holes in AdS spacetime. And the nonlinearity parameter $\alpha$ combined with electric charge is found to have effects on the phase structure. By the Ehrenfest equations we prove the critical phase transition is a second order equilibrium transition.


title: Modularity of logarithmic parafermion vertex algebras

abstract: The parafermionic cosets $C_k = \mathrm{Com} (H, L_k(\mathfrak{sl}_2) )$ are studied for negative admissible levels $k$, as are certain infinite-order simple current extensions $B_k$ of $C_k$. Under the assumption that the tensor theory considerations of Huang, Lepowsky and Zhang apply to $C_k$, all irreducible $C_k$- and $B_k$-modules are obtained from those of $L_k(\mathfrak{sl}_2)$, as are the Grothendieck fusion rules of these irreducible modules. Notably, there are only finitely many irreducible $B_k$-modules. The irreducible $C_k$- and $B_k$-characters are computed and the latter are shown, when supplemented by pseudotraces, to carry a finite-dimensional representation of the modular group. The natural conjecture then is that the $B_k$ are $C_2$-cofinite vertex operator algebras.


title: Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis

abstract: The DICE workshop explores the area of Implicit Computational Complexity (ICC), which grew out from several proposals to use logic and formal methods to provide languages for complexity-bounded computation (e.g. Ptime, Logspace computation). It aims at studying the computational complexity of programs without referring to external measuring conditions or a particular machine model, but only by considering language restrictions or logical/computational principles entailing complexity properties. The FOPARA workshop serves as a forum for presenting original research results that are relevant to the analysis of resource (e.g. time, space, energy) consumption by computer programs. The workshop aims to bring together the researchers that work on foundational issues with the researchers that focus more on practical results. Therefore, both theoretical and practical contributions are encouraged. We also encourage papers that combine theory and practice. Given the complementarity and the synergy between these two communities, and following the successful experience of co-location of DICE-FOPARA 2015 in London at ETAPS 2015, we hold these two workshops together at ETAPS 2017, which takes place in Uppsala, Sweden. The provided proceedings collect the papers accepted at the workshop.


title: Aluminum Nanoparticles with Hot Spots for Plasmon-Induced Circular Dichroism of Chiral Molecules in the UV Spectral Interval

abstract: Plasmonic nanocrystals with hot spots are able to localize optical energy in small spaces. In such physical systems, near-field interactions between molecules and plasmons can become especially strong. This paper considers the case of a nanoparticle dimer and a chiral biomolecule. In our model, a chiral molecule is placed in the gap between two plasmonic nanoparticles, where the electromagnetic hot spot occurs. Since many important biomolecules have optical transitions in the UV, we consider the case of Aluminum nanoparticles, as they offer strong electromagnetic enhancements in the blue and UV spectral intervals. Our calculations show that the complex composed of a chiral molecule and an Al-dimer exhibits strong CD signals in the plasmonic spectral region. In contrast to the standard Au- and Ag-nanocrystals, the Al system may have a much better spectral overlap between the typical biomolecule's optical transitions and the nanocrystals' plasmonic band. Overall, we found that Al nanocrystals used as CD antennas exhibit unique properties as compared to other commonly studied plasmonic and dielectric materials. The plasmonic systems investigated in this study can be potentially used for sensing chirality of biomolecules, which is of interest in applications such as drug development.


title: A note on a separating system of rational invariants for finite dimensional generic algebras

abstract: The paper deals with a construction of a separating system of rational invariants for finite dimensional generic algebras. In the process of dealing an approach to a rough classification of finite dimensional algebras is offered by attaching them some quadratic forms.


title: A comparative study of ideals in fuzzy orders

abstract: This paper presents a comparative study of three kinds of ideals in fuzzy order theory: forward Cauchy ideals (generated by forward Cauchy nets), flat ideals and irreducible ideals, including their role in connecting fuzzy order with fuzzy topology.


title: Discovery of ram-pressure stripped gas around an elliptical galaxy in Abell 2670

abstract: Studies of cluster galaxies are increasingly finding galaxies with spectacular one-sided tails of gas and young stars, suggestive of intense ram-pressure stripping. These so-called "jellyfish" galaxies typically have late-type morphology. In this paper, we present MUSE observations of an elliptical galaxy in Abell 2670 with long tails of material visible in the optical spectra, as well as blobs with tadpole-like morphology. The spectra in the central part of the galaxy reveals a stellar component as well as ionized gas. The stellar component does not have significant rotation, while the ionized gas defines a clear star-forming gas disk. We argue, based on deep optical images of the galaxy, that the gas was most likely acquired during a past wet merger. It is possible that the star-forming blobs are also remnants of the merger. In addition, the direction and kinematics of the one-sided ionized tails, combined with the tadpole morphology of the star-forming blobs, strongly suggests that the system is undergoing ram pressure from the intracluster medium. In summary, this paper presents the discovery of a post-merger elliptical galaxy undergoing ram pressure stripping.


title: LibOPT: An Open-Source Platform for Fast Prototyping Soft Optimization Techniques

abstract: Optimization techniques play an important role in several scientific and real-world applications, thus becoming of great interest for the community. As a consequence, a number of open-source libraries are available in the literature, which ends up fostering the research and development of new techniques and applications. In this work, we present a new library for the implementation and fast prototyping of nature-inspired techniques called LibOPT. Currently, the library implements 15 techniques and 112 benchmarking functions, as well as it also supports 11 hypercomplex-based optimization approaches, which makes it one of the first of its kind. We showed how one can easily use and also implement new techniques in LibOPT under the C paradigm. Examples are provided with samples of source-code using benchmarking functions.


title: Dark ages reionization & galaxy formation simulation XII: Bubbles at dawn

abstract: Direct detection of regions of ionized hydrogen (HII) has been suggested as a promising probe of cosmic reionization. Observing the redshifted 21-cm signal of hydrogen from the epoch of reionization (EoR) is a key scientific driver behind new-generation, low-frequency radio interferometers. We investigate the feasibility of combining low-frequency observations with the Square Kilometre Array and near infra-red survey data of the Wide-Field Infrared Survey Telescope to detect cosmic reionization by imaging HII bubbles surrounding massive galaxies during the cosmic dawn. While individual bubbles will be too small to be detected, we find that by stacking redshifted 21-cm spectra centred on known galaxies, it will be possible to directly detect the EoR at $z \sim 9-12$, and to place qualitative constraints on the evolution of the spin temperature of the intergalactic medium (IGM) at $z \geq 9$. In particular, given a detection of ionized bubbles using this technique, it is possible to determine if the IGM surrounding them is typically in absorption or emission. Determining the globally-averaged neutral fraction of the IGM using this method will prove more difficult due to degeneracy with the average size of HII regions.


title: Effects of the third-order dispersion on continuous waves in complex potentials

abstract: A class of constant-amplitude (CA) solutions of the nonlinear Schrodinger equation with the third-order spatial dispersion (TOD) and complex potentials are considered. The system can be implemented in specially designed planar nonlinear optical waveguides carrying a distribution of local gain and loss elements, in a combination with a photonic-crystal structure. The complex potential is built as a solution of the inverse problem, which predicts the potential supporting a required phase-gradient structure of the CA state. It is shown that the diffraction of truncated CA states with a correct phase structure can be strongly suppressed. The main subject of the analysis is the modulational instability (MI) of the CA states. The results show that the TOD term tends to attenuate the MI. In particular, simulations demonstrate a phenomenon of weak stability, which occurs when the linear-stability analysis predicts small values of the MI growth rate. The stability of the zero state, which is a nontrivial issue in the framework of the present model, is studied too


title: The electronic structure and magnetic phase transition of hexagonal FeSe thin films studied by photoemission spectroscopy

abstract: Hexagonal FeSe thin films were grown on SrTiO3 substrates and the temperature and thickness dependence of their electronic structures were studied. The hexagonal FeSe is found to be metallic and electron doped, whose Fermi surface consists of six elliptical electron pockets. With decreased temperature, parts of the bands shift downward to high binding energy while some bands shift upwards to EF. The shifts of these bands begin around 300 K and saturate at low temperature, indicating a magnetic phase transition temperature of about 300 K. With increased film thickness, the Fermi surface topology and band structure show no obvious change except some minor quantum size effect. Our paper reports the first electronic structure of hexagonal FeSe, and shows that the possible magnetic transition is driven by large scale electronic structure reconstruction.


title: Quiver Hall-Littlewood functions and Kostka-Shoji polynomials

abstract: For any triple $(i,a,\mu)$ consisting of a vertex $i$ in a quiver $Q$, a positive integer $a$, and a dominant $GL_a$-weight $\mu$, we define a quiver current $H^{(i,a)}_\mu$ acting on the tensor power $\Lambda^Q$ of symmetric functions over the vertices of $Q$. These provide a quiver generalization of parabolic Garsia-Jing creation operators in the theory of Hall-Littlewood symmetric functions. For a triple $(\mathbf{i},\mathbf{a},\mu(\bullet))$ of sequences of such data, we define the quiver Hall-Littlewood function $H^{\mathbf{i},\mathbf{a}}_{\mu(\bullet)}$ as the result of acting on $1\in\Lambda^Q$ by the corresponding sequence of quiver currents. The quiver Kostka-Shoji polynomials are the expansion coefficients of $H^{\mathbf{i},\mathbf{a}}_{\mu(\bullet)}$ in the tensor Schur basis. These polynomials include the Kostka-Foulkes polynomials and parabolic Kostka polynomials (Jordan quiver) and the Kostka-Shoji polynomials (cyclic quiver) as special cases. We show that the quiver Kostka-Shoji polynomials are graded multiplicities in the equivariant Euler characteristic of a vector bundle on Lusztig's convolution diagram determined by the sequences $\mathbf{i},\mathbf{a}$. For certain compositions of currents we conjecture higher cohomology vanishing of the associated vector bundle on Lusztig's convolution diagram. For quivers with no branching we propose an explicit positive formula for the quiver Kostka-Shoji polynomials in terms of catabolizable multitableaux. We also relate our constructions to $K$-theoretic Hall algebras, by realizing the quiver Kostka-Shoji polynomials as natural structure constants and showing that the quiver currents provide a symmetric function lifting of the corresponding shuffle product. In the case of a cyclic quiver, we explain how the quiver currents arise in Saito's vertex representation of the quantum toroidal algebra of type $\mathfrak{sl}_r$.


title: SearchQA: A New Q&A Dataset Augmented with Context from a Search Engine

abstract: We publicly release a new large-scale dataset, called SearchQA, for machine comprehension, or question-answering. Unlike recently released datasets, such as DeepMind CNN/DailyMail and SQuAD, the proposed SearchQA was constructed to reflect a full pipeline of general question-answering. That is, we start not from an existing article and generate a question-answer pair, but start from an existing question-answer pair, crawled from J! Archive, and augment it with text snippets retrieved by Google. Following this approach, we built SearchQA, which consists of more than 140k question-answer pairs with each pair having 49.6 snippets on average. Each question-answer-context tuple of the SearchQA comes with additional meta-data such as the snippet's URL, which we believe will be valuable resources for future research. We conduct human evaluation as well as test two baseline methods, one simple word selection and the other deep learning based, on the SearchQA. We show that there is a meaningful gap between the human and machine performances. This suggests that the proposed dataset could well serve as a benchmark for question-answering.


title: Adsorption and dynamics of Si atoms at the monolayer Pb/Si(111) surface

abstract: In this work, we studied the adsorption behavior of deposited Si atoms along with their diffusion and other dynamic processes on a Pb monolayer-covered Si(111) surface from 125-230 K using a variable-temperature scanning tunneling microscope (STM). The Pb-covered Si(111) surface form a low-symmetry row-like structure in this temperature range and the Si atoms bind favorably to two specific on-top sites (T1A and T1B) on the trimer row after deposition at the sample temperature of 125 K. The Si atoms were immobile at low temperatures and started to switch between the two neighboring T1A and T1B sites within the same trimer when the temperature was raised to 150 K. When the temperature was raised above 160 K, the adsorbed Si atoms could hop to other trimers along the same trimer row. Below 170 K, short hops to adjacent trimers dominated, but long hops dominated at temperatures above 170 K. The activation energy and prefactor for the Si atoms diffusion were derived through analysis of continuous-time imaging at temperatures from 160-174 K. In addition, irreversible aggregation of single Si atoms into Si clusters started to occur at the phase boundaries or defective sites at temperatures above 170 K. This study provides crucial information for understanding the very initial stage of nucleation and growth behavior of epitaxial Si layers on a Pb-covered Si(111) surface. In addition, our study provides strong evidence for breaking in the mirror symmetry in the Pb-covered structure, which has implication for the atomic model of this controversial structure.


title: "Short-Dot": Computing Large Linear Transforms Distributedly Using Coded Short Dot Products

abstract: Faced with saturation of Moore's law and increasing dimension of data, system designers have increasingly resorted to parallel and distributed computing. However, distributed computing is often bottle necked by a small fraction of slow processors called "stragglers" that reduce the speed of computation because the fusion node has to wait for all processors to finish. To combat the effect of stragglers, recent literature introduces redundancy in computations across processors, e.g.,~using repetition-based strategies or erasure codes. The fusion node can exploit this redundancy by completing the computation using outputs from only a subset of the processors, ignoring the stragglers. In this paper, we propose a novel technique -- that we call "Short-Dot" -- to introduce redundant computations in a coding theory inspired fashion, for computing linear transforms of long vectors. Instead of computing long dot products as required in the original linear transform, we construct a larger number of redundant and short dot products that can be computed faster and more efficiently at individual processors. In reference to comparable schemes that introduce redundancy to tackle stragglers, Short-Dot reduces the cost of computation, storage and communication since shorter portions are stored and computed at each processor, and also shorter portions of the input is communicated to each processor. We demonstrate through probabilistic analysis as well as experiments that Short-Dot offers significant speed-up compared to existing techniques. We also derive trade-offs between the length of the dot-products and the resilience to stragglers (number of processors to wait for), for any such strategy and compare it to that achieved by our strategy.


title: Unified phase diagram for iron-based superconductors

abstract: High-temperature superconductivity is closely adjacent to a long-range antiferromagnet, which is called a parent compound. In cuprates, all parent compounds are alike and carrier doping leads to superconductivity, so a unified phase diagram can be drawn. However, the properties of parent compounds for iron-based superconductors show significant diversity and both carrier and isovalent dopings can cause superconductivity, which casts doubt on the idea that there exists a unified phase diagram for them. Here we show that the ordered moments in a variety of iron pnictides are inversely proportional to the effective Curie constants of their nematic susceptibility. This unexpected scaling behavior suggests that the magnetic ground states of iron pnictides can be achieved by tuning the strength of nematic fluctuations. Therefore, a unified phase diagram can be established where superconductivity emerges from a hypothetical parent compound with a large ordered moment but weak nematic fluctuations, which suggests that iron-based superconductors are strongly correlated electron systems.


title: Satellite Based Positioning Signal Acquisition at Higher Order Cycle Frequency

abstract: The acquisition of the signal from the satellite based positioning systems, such as GPS, Galileo, and Compass, encounters challenges in the urban streets, indoor. For improving the acquisition performance, the data accumulation is usually performed to improve the signal-to-noise ratio which is defined on the second order statistics. Different from the conventional approaches, the acquisition based on higher order cyclostatistics is proposed. Using the cyclostatistics, the estimation of the initial phase and Doppler shift of the signal is presented respectively. Afterwards, a joint estimator is introduced. The analysis in this paper is performed on GPS signal. Indeed, the proposed estimation method can be straightforwardly extended to acquire the signal from the other satellite positioning systems. The simulation and experiment results demonstrate that the proposed signal acquisition scheme achieves the detection probability of 0.9 at the CNR 28dBHz.


title: Coherent helicity amplitude for sequential decays

abstract: We present a derivation of coherent helicity amplitudes for a particle decaying into multifinal states with nonzero spins. The results show that the coherent amplitudes introduce additional rotations to transform the helicities into a consistent helicity system, which allows us to add helicity amplitudes for different decay chains coherently. These rotations may have significant effects on the interference between the decay chains in the partial wave analysis.


title: Possible topologically non-trivial superconducting order parameter in type-II Weyl semimetal T_d-MoTe_2

abstract: MoTe_2, with the orthorhombic T_d phase, is a new type (type-II) of Weyl semimetal, where the Weyl Fermions emerge at the boundary between electron and hole pockets. Non-saturating magnetoresistance (MR), and superconductivity were also observed in T_d-MoTe_2. Understanding the superconductivity in T_d-MoTe_2, which was proposed to be topologically non-trivial, is of eminent interest. Here, we report high-pressure (p_max = 1.3 GPa) muon spin rotation experiments on the temperature-dependent magnetic penetration depth in T_d-MoTe_2. A substantial increase of the superfluid density n_s/m^* and a linear scaling with T_c is observed under pressure. Moreover, the superconducting order parameter in T_d-MoTe_2 is determined to be two gap (s+s)-wave symmetric. We also excluded time reversal symmetry breaking in the SC state with sensitive zero-field ${\mu}$SR experiments. Considering the previous report \cite{Balicas1} on the strong suppression of T_c in T_d-MoTe_2 by disorder, we suggest that s^{+-} (topological order parameter) state is more likely to be realized in MoTe_2 than the s^{++} (trivial) state. Should s^{+-} be the SC gap symmetry, the T_d-MoTe_2 is, to our knowledge, the first known example of a time reversal invariant topological (Weyl) superconductor.


title: Capacity of Cellular Wireless Network

abstract: Earlier definitions of capacity for wireless networks, e.g., transport or transmission capacity, for which exact theoretical results are known, are well suited for ad hoc networks but are not directly applicable for cellular wireless networks, where large-scale basestation (BS) coordination is not possible, and retransmissions/ARQ under the SINR model is a universal feature. In this paper, cellular wireless networks, where both BS locations and mobile user (MU) locations are distributed as independent Poisson point processes are considered, and each MU connects to its nearest BS. With ARQ, under the SINR model, the effective downlink rate of packet transmission is the reciprocal of the expected delay (number of retransmissions needed till success), which we use as our network capacity definition after scaling it with the BS density. Exact characterization of this natural capacity metric for cellular wireless networks is derived. The capacity is shown to first increase polynomially with the BS density in the low BS density regime and then scale inverse exponentially with the increasing BS density. Two distinct upper bounds are derived that are relevant for the low and the high BS density regimes. A single power control strategy is shown to achieve the upper bounds in both the regimes. This result is fundamentally different from the well known capacity results for ad hoc networks, such as transport and transmission capacity that scale as the square root of the (high) BS density. Our results show that the strong temporal correlations of SINRs with PPP distributed BS locations is limiting, and the realizable capacity in cellular wireless networks in high-BS density regime is much smaller than previously thought. A byproduct of our analysis shows that the capacity of the ALOHA strategy with retransmissions is zero.


title: Assessing turbulence sensitivity using stochastic Monte Carlo analysis

abstract: Reynolds Averaged Navier Stokes (RANS) models represent the workhorse for studying turbulent flows in industrial applications. Such single-point turbulence models have limitations in accounting for the influence of the non-local physics and flow history on the evolution of the turbulent flow. In this context, we investigate the sensitivity inherent to single-point models due to their characterization of the internal structure of homogeneous turbulent flows solely by the means of the Reynolds stresses. For a variety of mean flows, we study the prediction intervals engendered due to this coarse-grained description. The nature of this variability and its dependence on parameters such as the mean flow topology, the initial Reynolds stress tensor and the normalized strain rate is identified, analyzed and explicated. The ramifications of this variability on the formulation of classical RANS closure models are highlighted.


title: Deep Self-Taught Learning for Weakly Supervised Object Localization

abstract: Most existing weakly supervised localization (WSL) approaches learn detectors by finding positive bounding boxes based on features learned with image-level supervision. However, those features do not contain spatial location related information and usually provide poor-quality positive samples for training a detector. To overcome this issue, we propose a deep self-taught learning approach, which makes the detector learn the object-level features reliable for acquiring tight positive samples and afterwards re-train itself based on them. Consequently, the detector progressively improves its detection ability and localizes more informative positive samples. To implement such self-taught learning, we propose a seed sample acquisition method via image-to-object transferring and dense subgraph discovery to find reliable positive samples for initializing the detector. An online supportive sample harvesting scheme is further proposed to dynamically select the most confident tight positive samples and train the detector in a mutual boosting way. To prevent the detector from being trapped in poor optima due to overfitting, we propose a new relative improvement of predicted CNN scores for guiding the self-taught learning process. Extensive experiments on PASCAL 2007 and 2012 show that our approach outperforms the state-of-the-arts, strongly validating its effectiveness.


title: Axion-Like Particles and Recent Observations of the Cosmic Infrared Background Radiation

abstract: The CIBER collaboration released their first observational data of the Cosmic IR background (CIB) radiation, which has significant excesses at around the wavelength $\sim$ 1 $\mu$m compared to theoretically-inferred values. The amount of the CIB radiation has a significant influence on the opaqueness of the Universe for TeV gamma-rays emitted from distant sources such as AGNs. With the value of CIB radiation reported by the CIBER experiment, through the reaction of such TeV gamma-rays with the CIB photons, the TeV gamma-rays should be significantly attenuated during propagation, which would lead to energy spectra in disagreement with current observations of TeV gamma ray sources. In this article, we discuss a possible resolution of this tension between the TeV gamma-ray observations and the CIB data in terms of axion [or Axion-Like Particles (ALPs)] that may increase the transparency of the Universe by the anomaly-induced photon-axion mixing. We find a region in the parameter space of the axion mass, $m_a \sim 7 \times 10^{-10} - 5 \times 10^{-8}$eV, and the axion-photon coupling constant, $1.2 \times 10^{-11} {\rm GeV}^{-1} \lesssim g_{a\gamma} \lesssim 8.8 \times 10^{-10} {\rm GeV}^{-1}$ that solves this problem.

categories: hep-ph astro-ph.CO astro-ph.GA astro-ph.HE hep-th


title: Competitive Resource Allocation in HetNets: the Impact of Small-cell Spectrum Constraints and Investment Costs

abstract: Heterogeneous wireless networks with small-cell deployments in licensed and unlicensed spectrum bands are a promising approach for expanding wireless connectivity and service. As a result, wireless service providers (SPs) are adding small-cells to augment their existing macro-cell deployments. This added flexibility complicates network management, in particular, service pricing and spectrum allocations across macro- and small-cells. Further, these decisions depend on the degree of competition among SPs. Restrictions on shared spectrum access imposed by regulators, such as low power constraints that lead to small-cell deployments, along with the investment cost needed to add small cells to an existing network, also impact strategic decisions and market efficiency. If the revenue generated by small-cells does not cover the investment cost, then there will be no deployment even if it increases social welfare. We study the implications of such spectrum constraints and investment costs on resource allocation and pricing decisions by competitive SPs, along with the associated social welfare. Our results show that while the optimal resource allocation taking constraints and investment into account can be uniquely determined, adding those features with strategic SPs can have a substantial effect on the equilibrium market structure.


title: Overpartitions with bounded part differences

abstract: We generalize recent results of Breuer and Kronholm, and Chern on partitions and overpartitions with bounded differences between largest and smallest parts. We prove our generalization both analytically and combinatorially.


title: Green's function relativistic mean field theory for $\Lambda$ hypernuclei

abstract: The relativistic mean-field theory with Green's function method is extended to study $\Lambda$ hypernuclei. Taking hypernucleus $^{61}_{\Lambda}$Ca as an example, the single-particle resonant states for $\Lambda$ hyperons are investigated by analyzing density of states and the corresponding energies and widths are given. Different behaviors are observed for the resonant states, i.e., the distributions of the very narrow $1f_{5/2}$ and $1f_{7/2}$ states are very similar as bound states while that of the wide $1g_{7/2}$ and $1g_{9/2}$ states are like scattering states. Besides, the impurity effect of $\Lambda$ hyperons on the single-neutron resonant states are investigated. For most of the resonant states, both the energies and widths decrease with adding more $\Lambda$ hyperons due to the attractive $\Lambda N$ interaction. Finally, the energy level structure of $\Lambda$ hyperons in the Ca hypernucleus isotopes with mass number $A=53-73$ are studied, obvious shell structure and small spin-orbit splitting are found for the single-$\Lambda$ spectrum.


title: Accelerated Distributed Dual Averaging over Evolving Networks of Growing Connectivity

abstract: We consider the problem of accelerating distributed optimization in multi-agent networks by sequentially adding edges. Specifically, we extend the distributed dual averaging (DDA) subgradient algorithm to evolving networks of growing connectivity and analyze the corresponding improvement in convergence rate. It is known that the convergence rate of DDA is influenced by the algebraic connectivity of the underlying network, where better connectivity leads to faster convergence. However, the impact of network topology design on the convergence rate of DDA has not been fully understood. In this paper, we begin by designing network topologies via edge selection and scheduling. For edge selection, we determine the best set of candidate edges that achieves the optimal tradeoff between the growth of network connectivity and the usage of network resources. The dynamics of network evolution is then incurred by edge scheduling. Further, we provide a tractable approach to analyze the improvement in the convergence rate of DDA induced by the growth of network connectivity. Our analysis reveals the connection between network topology design and the convergence rate of DDA, and provides quantitative evaluation of DDA acceleration for distributed optimization that is absent in the existing analysis. Lastly, numerical experiments show that DDA can be significantly accelerated using a sequence of well-designed networks, and our theoretical predictions are well matched to its empirical convergence behavior.


title: Learning Piece-wise Linear Models from Large Scale Data for Ad Click Prediction

abstract: CTR prediction in real-world business is a difficult machine learning problem with large scale nonlinear sparse data. In this paper, we introduce an industrial strength solution with model named Large Scale Piece-wise Linear Model (LS-PLM). We formulate the learning problem with $L_1$ and $L_{2,1}$ regularizers, leading to a non-convex and non-smooth optimization problem. Then, we propose a novel algorithm to solve it efficiently, based on directional derivatives and quasi-Newton method. In addition, we design a distributed system which can run on hundreds of machines parallel and provides us with the industrial scalability. LS-PLM model can capture nonlinear patterns from massive sparse data, saving us from heavy feature engineering jobs. Since 2012, LS-PLM has become the main CTR prediction model in Alibaba's online display advertising system, serving hundreds of millions users every day.


title: Complementary response of static spin-stripe order and superconductivity to non-magnetic impurities in cuprates

abstract: We report muon-spin rotation and neutron-scattering experiments on non-magnetic Zn impurity effects on the static spin-stripe order and superconductivity of the La214 cuprates. Remarkably, it was found that, for samples with hole doping x = 1/8, the spin-stripe ordering temperature T_so decreases linearly with Zn doping y and disappears at around y = 4\%, demonstrating a high sensitivity of static spin-stripe order to impurities within a CuO_2 plane. Moreover, T_so is suppressed by Zn in the same manner as is the superconducting transition temperature T_c for samples near optimal hole doping. This surprisingly similar sensitivity suggests that the spin-stripe order is dependent on intertwining with superconducting correlations.


title: Some behaviors of FSZ groups under central products, central quotients, and regular wreath products

abstract: We show that any group $G$ with a non-$FSZ_m$ quotient by a central cyclic subgroup also provides a non-$FSZ_m$ group of order $m|G|$ obtained as a central product of $G$ with a cyclic group. We then construct, for every prime $p>3$ and $j\in\mathbb{N}$, an $FSZ_{p^j}$ group $F$ such that there is a central cyclic subgroup $A$ with $F/A$ not $FSZ_{p^j}$. We apply these results to regular wreath products to construct an $FSZ$ $p$-group which is not $FSZ^+$ for any prime $p>3$. These give the first known examples of $FSZ$ groups that are not $FSZ^+$. We are also able to prove a few partial results concerning the $FSZ$ properties for the Sylow subgroups of symmetric groups. In the appendix we enumerate all non-$FSZ$ groups of order $5^7$.


title: First-Principles Simulations of Warm Dense Lithium Fluoride

abstract: We perform first-principles path integral Monte Carlo (PIMC) and density functional theory molecular dynamics (DFT-MD) calculations to explore warm dense matter states of LiF. Our simulations cover a wide density-temperature range of $2.08-15.70$~g$\,$cm$^{-3}$ and $10^4-10^9$~K. Since PIMC and DFT-MD accurately treat effects of atomic shell structure, we find a pronounced compression maximum and a shoulder on the principal Hugoniot curve attributed to K-shell and L-shell ionization. The results provide a benchmark for widely-used EOS tables, such as SESAME, LEOS, and models. In addition, we compute pair-correlation functions that reveal an evolving plasma structure and ionization process that is driven by thermal and pressure ionization. Finally, we compute electronic density of states of liquid LiF from DFT-MD simulations and find that the electronic gap can remain open with increasing density and temperature to at least 15.7 g$~$cm$^{-3}$.


title: Integral Estimates for Approximations by Volume Preserving Maps

abstract: A quantitative Brenier decomposition shows that the deviation of a map from volume preserving is bounded by the deviation of the derivative from volume preserving. A study of the matrix nearness problem for $SL(n)$ and $Sp(2n)$ relates the estimate to incompressible deformations of elastic materials.


title: Mutual Information, Relative Entropy and Estimation Error in Semi-martingale Channels

abstract: Fundamental relations between information and estimation have been established in the literature for the continuous-time Gaussian and Poisson channels, in a long line of work starting from the classical representation theorems by Duncan and Kabanov respectively. In this work, we demonstrate that such relations hold for a much larger family of continuous-time channels. We introduce the family of semi-martingale channels where the channel output is a semi-martingale stochastic process, and the channel input modulates the characteristics of the semi-martingale. For these channels, which includes as a special case the continuous time Gaussian and Poisson models, we establish new representations relating the mutual information between the channel input and output to an optimal causal filtering loss, thereby unifying and considerably extending results from the Gaussian and Poisson settings. Extensions to the setting of mismatched estimation are also presented where the relative entropy between the laws governing the output of the channel under two different input distributions is equal to the cumulative difference between the estimation loss incurred by using the mismatched and optimal causal filters respectively. The main tool underlying these results is the Doob--Meyer decomposition of a class of likelihood ratio sub-martingales. The results in this work can be viewed as the continuous-time analogues of recent generalizations for relations between information and estimation for discrete-time L\'evy channels.


title: Continued Fractions and $q$-Series Generating Functions for the Generalized Sum-of-Divisors Functions

abstract: We construct new continued fraction expansions of Jacobi-type J-fractions in $z$ whose power series expansions generate the ratio of the $q$-Pochhamer symbols, $(a; q)_n / (b; q)_n$, for all integers $n \geq 0$ and where $a,b,q \in \mathbb{C}$ are non-zero and defined such that $|q| < 1$ and $|b/a| < |z| < 1$. If we set the parameters $(a, b) := (q, q^2)$ in these generalized series expansions, then we have a corresponding J-fraction enumerating the sequence of terms $(1-q) / (1-q^{n+1})$ over all integers $n \geq 0$. Thus we are able to define new $q$-series expansions which correspond to the Lambert series generating the divisor function, $d(n)$, when we set $z \mapsto q$ in our new J-fraction expansions. By repeated differentiation with respect to $z$, we also use these generating functions to formulate new $q$-series expansions of the generating functions for the sums-of-divisors functions, $\sigma_{\alpha}(n)$, when $\alpha \in \mathbb{Z}^{+}$. To expand the new $q$-series generating functions for these special arithmetic functions we define a generalized classes of so-termed Stirling-number-like "$q$-coefficients", or Stirling $q$-coefficients, whose properties, relations to elementary symmetric polynomials, and relations to the convergents to our infinite J-fractions are also explored within the results proved in the article.


title: Stein Variational Adaptive Importance Sampling

abstract: We propose a novel adaptive importance sampling algorithm which incorporates Stein variational gradient decent algorithm (SVGD) with importance sampling (IS). Our algorithm leverages the nonparametric transforms in SVGD to iteratively decrease the KL divergence between our importance proposal and the target distribution. The advantages of this algorithm are twofold: first, our algorithm turns SVGD into a standard IS algorithm, allowing us to use standard diagnostic and analytic tools of IS to evaluate and interpret the results; second, we do not restrict the choice of our importance proposal to predefined distribution families like traditional (adaptive) IS methods. Empirical experiments demonstrate that our algorithm performs well on evaluating partition functions of restricted Boltzmann machines and testing likelihood of variational auto-encoders.


title: Specific Heat and Thermal Entanglement in an Open Quantum system

abstract: In this brief report, we attention to the system of two qubits modeled by Heisenberg XXZ chain with the Dzyaloshinskii Moriya interaction. The system exposed to bosonic baths with the Cauchy Lorentz distribution of frequency. We've got a new formula to calculate the specific heat of open systems using density and found that the specific heat at low temperatures can be negative. We observed that when the state of system is entangle, in contradiction with the third law of thermodynamics, the specific heat is diverge when the temperature goes to zero. The speed of divergence is depend to the amount of entanglement. These results may be useful to design solid quantum gate and quantum memories.


title: ECG Signal Compression and Optimization in Remote Monitoring Networks

abstract: We proposed a practical ECG compression system which is beneficial for tele-monitoring cardiovascular diseases. There are two steps in the compression framework. First, we partition ECG signal into segments according to R- to R-wave periods. The partition aims at achieving more stable statistical features between segments of ECG signal which is beneficial for saving bit rates. After the partition, we optimize the bit rate in the sense of minimizing ECG reconstruction error under a constraint of consumed bits. From the experiment results, the proposed compression scheme is able to reduce the computation for updating codebook, and save channel capacity resources for transmitting ECG signals.


title: HPSLPred: An Ensemble Multi-label Classifier for Human Protein Subcellular Location Prediction with Imbalanced Source

abstract: Predicting the subcellular localization of proteins is an important and challenging problem. Traditional experimental approaches are often expensive and time-consuming. Consequently, a growing number of research efforts employ a series of machine learning approaches to predict the subcellular location of proteins. There are two main challenges among the state-of-the-art prediction methods. First, most of the existing techniques are designed to deal with multi-class rather than multi-label classification, which ignores connections between multiple labels. In reality, multiple locations of particular proteins implies that there are vital and unique biological significances that deserve special focus and cannot be ignored. Second, techniques for handling imbalanced data in multi-label classification problems are necessary, but never employed. For solving these two issues, we have developed an ensemble multi-label classifier called HPSLPred, which can be applied for multi-label classification with an imbalanced protein source. For convenience, a user-friendly webserver has been established at http://server.malab.cn/HPSLPred.


title: Distances between Random Orthogonal Matrices and Independent Normals

abstract: Let $\Gamma_n$ be an $n\times n$ Haar-invariant orthogonal matrix. Let $ Z_n$ be the $p\times q$ upper-left submatrix of $\Gamma_n,$ where $p=p_n$ and $q=q_n$ are two positive integers. Let $G_n$ be a $p\times q$ matrix whose $pq$ entries are independent standard normals. In this paper we consider the distance between $\sqrt{n} Z_n$ and $ G_n$ in terms of the total variation distance, the Kullback-Leibler distance, the Hellinger distance and the Euclidean distance. We prove that each of the first three distances goes to zero as long as $pq/n$ goes to zero, and not so this rate is sharp in the sense that each distance does not go to zero if $(p, q)$ sits on the curve $pq=\sigma n$, where $\sigma$ is a constant. However, it is different for the Euclidean distance, which goes to zero provided $pq^2/n$ goes to zero, and not so if $(p,q)$ sits on the curve $pq^2=\sigma n.$ A previous work by Jiang \cite{Jiang06} shows that the total variation distance goes to zero if both $p/\sqrt{n}$ and $q/\sqrt{n}$ go to zero, and it is not true provided $p=c\sqrt{n}$ and $q=d\sqrt{n}$ with $c$ and $d$ being constants. One of the above results confirms a conjecture that the total variation distance goes to zero as long as $pq/n\to 0$ and the distance does not go to zero if $pq=\sigma n$ for some constant $\sigma$.


title: Standard Embeddings of Smooth Schubert Varieties in Rational Homogeneous Manifolds of Picard Number 1

abstract: Smooth Schubert varieties in rational homogeneous manifolds of Picard number 1 are horospherical varieties. We characterize standard embeddings of smooth Schubert varieties in rational homogeneous manifolds of Picard number 1 by means of varieties of minimal rational tangents. In particular, we mainly consider nonhomogeneous smooth Schubert varieties in symplectic Grassmannians and in the 20-dimensional $F_4$-homogeneous manifold associated to a short simple root.


title: Algorithms for Pattern Containment in 0-1 Matrices

abstract: We say a zero-one matrix $A$ avoids another zero-one matrix $P$ if no submatrix of $A$ can be transformed to $P$ by changing some ones to zeros. A fundamental problem is to study the extremal function $ex(n,P)$, the maximum number of nonzero entries in an $n \times n$ zero-one matrix $A$ which avoids $P$. To calculate exact values of $ex(n,P)$ for specific values of $n$, we need containment algorithms which tell us whether a given $n \times n$ matrix $A$ contains a given pattern matrix $P$. In this paper, we present optimal algorithms to determine when an $n \times n$ matrix $A$ contains a given pattern $P$ when $P$ is a column of all ones, an identity matrix, a tuple identity matrix, an $L$-shaped pattern, or a cross pattern. These algorithms run in $\Theta(n^2)$ time, which is the lowest possible order a containment algorithm can achieve. When $P$ is a rectangular all-ones matrix, we also obtain an improved running time algorithm, albeit with a higher order.


title: The effect of boundary slippage and nonlinear rheological response on flow of nanoconfined water

abstract: The flow of water confined to nanometer-sized pores is central to a wide range of subjects from biology to nanofluidic devices. Despite its importance, a clear picture about nanoscale fluid dynamics is yet to emerge. Here we measured dissipation in less than 20 nm thick water films and it was found to decrease for both wetting and non-wetting confining surfaces. The fitting of Carreau-Yasuda model of shear thinning to our measurements implies that flow is non-Newtonian and for wetting surfaces the no-slip boundary condition is valid. On the contrary, for non-wetting surfaces boundary slippage occurs with slip lengths of the order of few nm. The findings suggest that both, the wettability of the confining surfaces and nonlinear rheological response of water molecules under nano-confinement play a dominant role in transport properties.


title: A phenomenological thermodynamic potential for DyCo$_2$

abstract: A phenomenological thermodynamic potential was constructed based on the symmetry analysis and property characterization of bulk DyCo2. An eight-order polynomial of Landau expansion was employed to describe the thermodynamic behavior of DyCo2. Several properties were reproduced including ferromagnetic transition temperature, magnetization curve, temperature dependence of magnetization. The transition behavior was analyzed via the thermodynamic potential. The Landau phenomenological thermodynamic model predicts the correct metamagnetic transition near the Curie temperature.