title: Immersed two-spheres and SYZ with Application to Grassmannians

abstract: We develop a Floer theoretical gluing technique and apply it to deal with the most generic singular fiber in the SYZ program, namely the product of a torus with the immersed two-sphere with a single nodal self-intersection. As an application, we construct immersed Lagrangians in $\mathrm{Gr}(2,\mathbb{C}^n)$ and $\mathrm{OG}(1,\mathbb{C}^5)$ and derive their SYZ mirrors. It recovers the Lie theoretical mirrors constructed by Rietsch. It also gives an effective way to compute stable disks (with non-trivial obstructions) bounded by immersed Lagrangians.


title: Quantum Optics in Maxwell's Fish Eye Lens with Single Atoms and Photons

abstract: We investigate the quantum optical properties of Maxwell's two-dimensional fish eye lens at the single-photon and single-atom level. We show that such a system mediates effectively infinite-range dipole-dipole interactions between atomic qubits, which can be used to entangle multiple pairs of distant qubits. We find that the rate of the photon exchange between two atoms, which are detuned from the cavity resonances, is well described by a model, where the photon is focused to a diffraction-limited area during absorption. We consider the effect of losses on the system and study the fidelity of the entangling operation via dipole-dipole interaction. We derive our results analytically using perturbation theory and the Born-Markov approximation and then confirm their validity by numerical simulations. We also discuss how the two-dimensional Maxwell's fish eye lens could be realized experimentally using transformational plasmon optics.


title: OSSOS. VII. 800+ trans-Neptunian objects - the complete data release

abstract: The Outer Solar System Origins Survey (OSSOS), a wide-field imaging program in 2013-2017 with the Canada-France-Hawaii Telescope, surveyed 155 deg$^{2}$ of sky to depths of $m_r = 24.1$-25.2. We present 838 outer Solar System discoveries that are entirely free of ephemeris bias. This increases the inventory of trans-Neptunian objects (TNOs) with accurately known orbits by nearly 50%. Each minor planet has 20-60 Gaia/Pan-STARRS-calibrated astrometric measurements made over 2-5 oppositions, which allows accurate classification of their orbits within the trans-Neptunian dynamical populations. The populations orbiting in mean-motion resonance with Neptune are key to understanding Neptune's early migration. Our 313 resonant TNOs, including 132 plutinos, triple the available characterized sample and include new occupancy of distant resonances out to semi-major axis $a \sim 130$ au. OSSOS doubles the known population of the non-resonant Kuiper belt, providing 436 TNOs in this region, all with exceptionally high-quality orbits of $a$ uncertainty $\sigma_{a} \leq 0.1\%$; they show the belt exists from $a \gtrsim 37$ au, with a lower perihelion bound of $35$ au. We confirm the presence of a concentrated low-inclination $a\simeq 44$ au "kernel" population and a dynamically cold population extending beyond the 2:1 resonance. We finely quantify the survey's observational biases. Our survey simulator provides a straightforward way to impose these biases on models of the trans-Neptunian orbit distributions, allowing statistical comparison to the discoveries. The OSSOS TNOs, unprecedented in their orbital precision for the size of the sample, are ideal for testing concepts of the history of giant planet migration in the Solar System.


title: Heat and momentum transport in turbulent horizontal convection at low Prandtl numbers

abstract: The transition to a new turbulent regime in horizontal convection in the case of low Prandtl numbers is analyzed using the Shishkina, Grossmann & Lohse (SGL) theory. The flow driven by the horizontal gradient along a horizontal surface, perpendicular to the acceleration of gravity is shown to transition to turbulence in the plume and the core. This transition to turbulence sets a sequence of heat transfer and momentum transport scalings which are found to follow the SGL prediction for the scaling factors and the prediction of Hughes, Griffith & Mullarney (HGM) for larger forcing amplitudes. These results embed the HGM model in the SGL theory, agreed and extends the known regime diagram of horizontal convection, and provide the first evidence of both regimes at low and intermediate Prandtl numbers and sheds new insights on the role of HC in the earth's inner core dynamics.


title: Detection of edge defects by embedded eigenvalues of quantum walks

abstract: We consider a position-dependent quantum walk on ${\bf Z}$. In particular, we derive a detection method for edge defects by embedded eigenvalues of its time evolution operator. In the present paper, the set of edge defects is that of points in ${\bf Z}$ on which the coin operator is an anti-diagonal matrix. In fact, under some suitable assumptions, the existence of a finite number of edge defects is equivalent to the existence of embedded eigenvalues of the time evolution operator.


title: Convergence of spherical averages for actions of Fuchsian Groups

abstract: Pointwise convergence of spherical averages is proved for a measure-preserving action of a Fuchsian group. The proof is based on a new variant of the Bowen-Series symbolic coding for Fuchsian groups that, developing a method introduced by Wroten, simultaneously encodes all possible shortest paths representing a given group element. The resulting coding is self-inverse, giving a reversible Markov chain to which methods previously introduced by the first author for the case of free groups may be applied.


title: The GTC exoplanet transit spectroscopy survey IX. Detection of Haze, Na, K, and Li in the super-Neptune WASP-127b

abstract: Exoplanets with relatively clear atmospheres are prime targets for detailed studies of chemical compositions and abundances in their atmospheres. Alkali metals have long been suggested to exhibit broad wings due to pressure broadening, but most of the alkali detections only show very narrow absorption cores, probably because of the presence of clouds. We report the strong detection of the pressure-broadened spectral profiles of Na, K, and Li absorption in the atmosphere of the super-Neptune WASP-127b, at 4.1$\sigma$, 5.0$\sigma$, and 3.4$\sigma$, respectively. We performed a spectral retrieval modeling on the high-quality optical transmission spectrum newly acquired with the 10.4 m Gran Telescopio Canarias (GTC), in combination with the re-analyzed optical transmission spectrum obtained with the 2.5 m Nordic Optical Telescope (NOT). By assuming a patchy cloudy model, we retrieved the abundances of Na, K, and Li, which are super-solar at 3.7$\sigma$ for K and 5.1$\sigma$ for Li (and only 1.8$\sigma$ for Na). We constrained the presence of haze coverage to be around 52%. We also found a hint of water absorption, but cannot constrain it with the global retrieval owing to larger uncertainties in the probed wavelengths. WASP-127b will be extremely valuable for atmospheric characterization in the era of James Webb Space Telescope.


title: Long-term BVRI photometric light curves of 15 PMS stars in the IC 5070 star-forming region

abstract: This paper reports the results from the multicolor photometric observations of 15 pre-main sequence stars collected in the period 2010 September - 2017 October. The stars from our study are located in the star-forming HII region IC 5070. These objects were previously detected as either emission line stars, flare stars, T Tauri variables or Herbig Ae/Be stars. Photometric observations, especially concerning the long-term behavior of the objects are missing in the literature. We present the first photometric monitoring for all stars from our study. The analysis of the obtained BVRI photometric data allows to draw a conclusion that all investigated objects are variable stars. In the case of LkHa 146 we identified previously unknown periodicity in its photometric variability.


title: Semantic Road Layout Understanding by Generative Adversarial Inpainting

abstract: Autonomous driving is becoming a reality, yet vehicles still need to rely on complex sensor fusion to understand the scene they act in. The ability to discern static environment and dynamic entities provides a comprehension of the road layout that poses constraints to the reasoning process about moving objects. We pursue this through a GAN-based semantic segmentation inpainting model to remove all dynamic objects from the scene and focus on understanding its static components such as streets, sidewalks and buildings. We evaluate this task on the Cityscapes dataset and on a novel synthetically generated dataset obtained with the CARLA simulator and specifically designed to quantitatively evaluate semantic segmentation inpaintings. We compare our methods with a variety of baselines working both in the RGB and segmentation domains.


title: Bayesian Estimations for Diagonalizable Bilinear SPDEs

abstract: The main goal of this paper is to study the parameter estimation problem, using the Bayesian methodology, for the drift coefficient of some linear (parabolic) SPDEs driven by a multiplicative noise of special structure. We take the spectral approach by assuming that one path of the first $N$ Fourier modes of the solution is continuously observed over a finite time interval. First, we show that the model is regular and fits into classical local asymptotic normality framework, and thus the MLE and the Bayesian estimators are weakly consistent, asymptotically normal, efficient, and asymptotically equivalent in the class of loss functions with polynomial growth. Secondly, and mainly, we prove a Bernstein-Von Mises type result, that strengthens the existing results in the literature, and that also allows to investigate the Bayesian type estimators with respect to a larger class of priors and loss functions than that covered by classical asymptotic theory. In particular, we prove strong consistency and asymptotic normality of Bayesian estimators in the class of loss functions of at most exponential growth. Finally, we present some numerical examples that illustrate the obtained theoretical results.


title: Sublinear decoding schemes for non-adaptive group testing with inhibitors

abstract: Identification of up to $d$ defective items and up to $h$ inhibitors in a set of $n$ items is the main task of non-adaptive group testing with inhibitors. To efficiently reduce the cost of this Herculean task, a subset of the $n$ items is formed and then tested. This is called \textit{group testing}. A test outcome on a subset of items is positive if the subset contains at least one defective item and no inhibitors, and negative otherwise. We present two decoding schemes for efficiently identifying the defective items and the inhibitors in the presence of $e$ erroneous outcomes in time $\mathsf{poly}(d, h, e, \log_2{n})$, which is sublinear to the number of items $n$. This decoding complexity significantly improves the state-of-the-art schemes in which the decoding time is linear to the number of items $n$, i.e., $\mathsf{poly}(d, h, e, n)$. Moreover, each column of the measurement matrices associated with the proposed schemes can be nonrandomly generated in polynomial order of the number of rows. As a result, one can save space for storing them. Simulation results confirm our theoretical analysis. When the number of items is sufficiently large, the decoding time in our proposed scheme is smallest in comparison with existing work. In addition, when some erroneous outcomes are allowed, the number of tests in the proposed scheme is often smaller than the number of tests in existing work.


title: Unsupervised Text Style Transfer using Language Models as Discriminators

abstract: Binary classifiers are often employed as discriminators in GAN-based unsupervised style transfer systems to ensure that transferred sentences are similar to sentences in the target domain. One difficulty with this approach is that the error signal provided by the discriminator can be unstable and is sometimes insufficient to train the generator to produce fluent language. In this paper, we propose a new technique that uses a target domain language model as the discriminator, providing richer and more stable token-level feedback during the learning process. We train the generator to minimize the negative log likelihood (NLL) of generated sentences, evaluated by the language model. By using a continuous approximation of discrete sampling under the generator, our model can be trained using back-propagation in an end- to-end fashion. Moreover, our empirical results show that when using a language model as a structured discriminator, it is possible to forgo adversarial steps during training, making the process more stable. We compare our model with previous work using convolutional neural networks (CNNs) as discriminators and show that our approach leads to improved performance on three tasks: word substitution decipherment, sentiment modification, and related language translation.


title: On seeking efficient Pareto optimal points in multi-player minimum cost flow problems with application to transportation systems

abstract: In this paper, we propose a multi-player extension of the minimum cost flow problem inspired by a transportation problem that arises in modern transportation industry. We associate one player with each arc of a directed network, each trying to minimize its cost function subject to the network flow constraints. In our model, the cost function can be any general nonlinear function, and the flow through each arc is an integer. We present algorithms to compute efficient Pareto optimal point(s), where the maximum possible number of players (but not all) minimize their cost functions simultaneously. The computed Pareto optimal points are Nash equilibriums if the problem is transformed into a finite static game in normal form.


title: Fluctuation theory in space and time: white noise in reaction-diffusion models of morphogenesis

abstract: The precision of reaction-diffusion models for mesoscopic physical systems is limited by fluctuations. To account for this uncertainty, Van Kampen derived a stochastic Langevin-like reaction-diffusion equation that incorporates spatio-temporal white noise. The resulting solutions, however, have infinite standard deviation. Ad hoc modifications that address this issue by introducing microscopic correlations are inconvenient in many physical contexts of wide interest. We instead estimate the magnitude of fluctuations by coarse-graining solutions of the Van Kampen equation at a relevant mesoscopic scale. The ensuing theory yields fluctuations of finite magnitude. Our approach is demonstrated for a specific biophysical model--the encoding of positional information. We discuss the properties of the fluctuations and the role played by the macroscopic parameters of the underlying reaction-diffusion model. The analysis and numerical methods developed here can be applied in physical problems to predict the magnitude of fluctuations. This general approach can also be extended to other classes of dynamical systems that are described by partial differential equations.


title: Multi-turn Dialogue Response Generation in an Adversarial Learning Framework

abstract: We propose an adversarial learning approach for generating multi-turn dialogue responses. Our proposed framework, hredGAN, is based on conditional generative adversarial networks (GANs). The GAN's generator is a modified hierarchical recurrent encoder-decoder network (HRED) and the discriminator is a word-level bidirectional RNN that shares context and word embeddings with the generator. During inference, noise samples conditioned on the dialogue history are used to perturb the generator's latent space to generate several possible responses. The final response is the one ranked best by the discriminator. The hredGAN shows improved performance over existing methods: (1) it generalizes better than networks trained using only the log-likelihood criterion, and (2) it generates longer, more informative and more diverse responses with high utterance and topic relevance even with limited training data. This improvement is demonstrated on the Movie triples and Ubuntu dialogue datasets using both automatic and human evaluations.


title: Optical Ring Cavity Search for Axion Dark Matter

abstract: We propose a novel experiment to search for axion dark matter which differentiates the phase velocities of the left and right-handed polarized photons. Our optical cavity measures the difference of the resonant frequencies between two circular-polarizations of the laser beam. The design of our cavity adopts double-pass configuration to realize a null experiment and give a high common mode rejection of environmental disturbances. We estimate the potential sensitivity to the axion-photon coupling constant $g_{a\gamma}$ for the axion mass $m \lesssim 10^{-10}$ eV. In a low mass range $m \lesssim 10^{-15}$ eV, we can achieve $g_{a\gamma} \lesssim 3\times 10^{-16} ~\text{GeV}^{-1}$ which is beyond the current bound by several orders of magnitude.

categories: astro-ph.CO astro-ph.IM hep-ph physics.ins-det physics.optics


title: Optimal Testing in the Experiment-rich Regime

abstract: Motivated by the widespread adoption of large-scale A/B testing in industry, we propose a new experimentation framework for the setting where potential experiments are abundant (i.e., many hypotheses are available to test), and observations are costly; we refer to this as the experiment-rich regime. Such scenarios require the experimenter to internalize the opportunity cost of assigning a sample to a particular experiment. We fully characterize the optimal policy and give an algorithm to compute it. Furthermore, we develop a simple heuristic that also provides intuition for the optimal policy. We use simulations based on real data to compare both the optimal algorithm and the heuristic to other natural alternative experimental design frameworks. In particular, we discuss the paradox of power: high-powered classical tests can lead to highly inefficient sampling in the experiment-rich regime.


title: Collisional Disruption of Planetesimals in the Gravity Regime with iSALE Code: Comparison with SPH code for Purely Hydrodynamic Bodies

abstract: In most of the previous studies related to collisional disruption of planetesimals in the gravity regime, Smoothed Particle Hydrodynamics (SPH) simulations have been used. On the other hand, impact simulations using grid-based hydrodynamic code have not been sufficiently performed. In the present study, we execute impact simulations in the gravity regime using the shock-physics code iSALE, which is a grid-based Eulerian hydrocode. We examine the dependence of the critical specific impact energy Q_RD* on impact conditions for a wide range of specific impact energy (Q_R) from disruptive collisions to erosive collisions, and compare our results with previous studies. We find collision outcomes of the iSALE simulation agree well with those of the SPH simulation. Detailed analysis mainly gives three results. (1) The value of Q_RD* depends on numerical resolution, and is close to convergence with increasing numerical resolution. The difference in converged value of Q_RD* between the iSALE code and the SPH code is within 30%. (2) Ejected mass normalized by total mass (M_ej/M_tot) generally depends on various impact conditions. However, when Q_R is normalized by Q_RD* that is calculated for each impact simulation, M_ej/M_tot can be scaled by Q_R/Q_RD*, and is independent of numerical resolution, impact velocity and target size. (3) This similarity law for Q_R/Q_RD* is confirmed for a wide range of specific impact energy. We also derive a semi-analytic formula for Q_RD* based on the similarity law and the crater scaling law. We find that the semi-analytic formula for the case with a non-porous object is consistent with numerical results.


title: Weighted-$L^2$ polynomial approximation in $\mathbb{C}$

abstract: We study the density of polynomials in $H^2(\Omega,e^{-\varphi})$, the space of square integrable holomorphic functions in a bounded domain $\Omega$ in $\mathbb{C}$, where $\varphi$ is a subharmonic function. In particular, we prove that the density holds in Carath\'{e}odory domains for any subharmonic function $\varphi$ in a neighborhood of $\overline{\Omega}$. In non-Carath\'{e}odory domains, we prove that the density depends on the weight function, giving examples.


title: Microservices as an Evolutionary Architecture of Component-Based Development: A Think-aloud Study

abstract: Microservices become a fast growing and popular architectural style based on service-oriented development. One of the major advantages using component-based approaches is to support reuse. In this paper, we present a study of microservices and how these systems are related to the traditional abstract models of component-based systems. This research focuses on the core properties of microservices including their scalability, availability and resilience, consistency, coupling and cohesion, and data storage capability, while highlighting their limitations and challenges in relation to components. To support our study, we investigated the existing literature and provided potential directions and interesting points in this growing field of research. As a result, using microservices as components is promising and would be a good mechanism for building applications that were used to be built with component-based approaches.


title: Schur functions for approximation problems

abstract: In this paper we propose a new approach to least squares approximation problems. This approach is based on partitioning and Schur function. The nature of this approach is combinatorial, while most existing approaches are based on algebra and algebraic geometry. This problem has several practical applications. One of them is curve clustering. We use this application to illustrate the results.


title: Josephson Effect and Isomonodromic Deformations

abstract: We consider some properties of double confluent Heun equation related to the Josephson Effect. In particular, we prove that adjacency points of phased-locked areas on a parameter plane can be described via poles of Bessel solution of Painleve 3 equation.


title: Non-Hermitian Quantum Sensing: Fundamental Limits and Non-Reciprocal Approaches

abstract: Unconventional properties of non-Hermitian systems, such as the existence of exceptional points, have recently been suggested as a resource for sensing. The impact of noise and utility in quantum regimes however remains unclear. In this work, we analyze the parametric-sensing properties of linear coupled-mode systems that are described by effective non-Hermitian Hamiltonians. Our analysis fully accounts for noise effects in both classical and quantum regimes, and also fully treats a realistic and optimal measurement protocol based on coherent driving and homodyne detection. Focusing on two-mode devices, we derive fundamental bounds on the signal power and signal-to-noise ratio for any such sensor. We use these to demonstrate that enhanced signal power requires gain, but not necessarily any proximity to an exceptional point. Further, when noise is included, we show that non-reciprocity is a powerful resource for sensing: it allows one to exceed the fundamental bounds constraining any conventional, reciprocal sensor. We analyze simple two-mode non-reciprocal sensors that allow this parametrically-enhanced sensing, but which do not involve exceptional point physics.


title: Collaborative Learning for Deep Neural Networks

abstract: We introduce collaborative learning in which multiple classifier heads of the same network are simultaneously trained on the same training data to improve generalization and robustness to label noise with no extra inference cost. It acquires the strengths from auxiliary training, multi-task learning and knowledge distillation. There are two important mechanisms involved in collaborative learning. First, the consensus of multiple views from different classifier heads on the same example provides supplementary information as well as regularization to each classifier, thereby improving generalization. Second, intermediate-level representation (ILR) sharing with backpropagation rescaling aggregates the gradient flows from all heads, which not only reduces training computational complexity, but also facilitates supervision to the shared layers. The empirical results on CIFAR and ImageNet datasets demonstrate that deep neural networks learned as a group in a collaborative way significantly reduce the generalization error and increase the robustness to label noise.


title: Adversarial Learning of Task-Oriented Neural Dialog Models

abstract: In this work, we propose an adversarial learning method for reward estimation in reinforcement learning (RL) based task-oriented dialog models. Most of the current RL based task-oriented dialog systems require the access to a reward signal from either user feedback or user ratings. Such user ratings, however, may not always be consistent or available in practice. Furthermore, online dialog policy learning with RL typically requires a large number of queries to users, suffering from sample efficiency problem. To address these challenges, we propose an adversarial learning method to learn dialog rewards directly from dialog samples. Such rewards are further used to optimize the dialog policy with policy gradient based RL. In the evaluation in a restaurant search domain, we show that the proposed adversarial dialog learning method achieves advanced dialog success rate comparing to strong baseline methods. We further discuss the covariate shift problem in online adversarial dialog learning and show how we can address that with partial access to user feedback.


title: A Geometric Property of Relative Entropy and the Universal Threshold Phenomenon for Binary-Input Channels with Noisy State Information at the Encoder

abstract: Tight lower and upper bounds on the ratio of relative entropies of two probability distributions with respect to a common third one are established, where the three distributions are collinear in the standard $(n-1)$-simplex. These bounds are leveraged to analyze the capacity of an arbitrary binary-input channel with noisy causal state information (provided by a side channel) at the encoder and perfect state information at the decoder, and in particular to determine the exact universal threshold on the noise measure of the side channel, above which the capacity is the same as that with no encoder side information.


title: Multi-Meson Model for the $D^+\to K^+K^-K^+$ decay amplitude

abstract: We propose a novel approach to describe the $D^+\to K^+K^-K^+$ decay amplitude, based on chiral effective Lagrangians, which can be used to extract information about $K\bar{K}$ scattering. Our trial function is an alternative to the widely used isobar model and includes both nonresonant three-body interactions and two-body rescattering amplitudes, based on coupled channels and resonances, for S- and P-waves with isospin $0$ and $1$. The latter are unitarized in the $K$-matrix approximation and represent the only source of complex phases in the problem. Free parameters are just resonance masses and coupling constants, with transparent physical meanings. The nonresonant component, given by chiral symmetry as a real polynomium, is an important prediction of the model, which goes beyond the (2+1) approximation. Our approach allows one to disentangle the two-body scalar contributions with different isospins, associated with the $f_0(980)$ and $a_0(980)$ channels. We show how the $K\bar{K}$ amplitude can be obtained from the decay $D^+\to K^+K^-K^+$ and discuss extensions to other three-body final states.


title: Approximate LTL model checking

abstract: The state explosion problem and the exponentially computational complexity restrict the further applications of LTL model checking. To this end, this study tries to seek an acceptable approximate solution for LTL model checking by introducing the Machine Learning (ML) technique, and a method for predicting results of LTL model checking via the Boosted Tree (BT) algorithm is proposed in this paper. First, for a number of Kripke structures and LTL formulas, a data set A containing their model checking results is obtained, using the existing LTL model checking algorithm. Second, the LTL model checking problem can be induced to a binary classification problem of machine learning. In other words, some records in A form a training set for the BT algorithm. On the basis of it, a ML model M is obtained to predict the results of LTL model checking. As a result, an approximate LTL model checking technique occurs. The experiments show that the new method has the average accuracy of 98.0%, and its average efficiency is 9.4 million times higher than that of the representative model checking method, if the length of each of LTL formulas equals to 500.


title: The role of interstitial hydrogen in SrCoO$_{2.5}$ antiferromagnetic insulator

abstract: Hydrogen exhibits qualitatively different charge states depending on the host material, as nicely explained by the state-of-the-art impurity-state calculation. Motivated by a recent experiment [Nature 546, 124 (2017)], we show that the complex oxide SrCoO$_{2.5}$ represents an interesting example, in which the interstitial H appears as a deep-level center according to the commonly-used transition level calculation, but no bound electron can be found around the impurity. Via a combination of charge difference analysis, density of states projection and constraint magnetization calculation, it turns out that the H-doped electron is spontaneously trapped by a nonunique Co ion and is fully spin-polarized by the onsite Hund's rule coupling. Consequently, the doped system remains insulating, whereas the antiferromagnetic exchange is slightly perturbed locally.


title: Neutrino Spectral Split in the Exact Many Body Formalism

abstract: We consider the many-body system of neutrinos interacting with each other through neutral current weak force. Emerging many-body effects in such a system could play important roles in some astrophysical sites such as the core collapse supernovae. In the literature this many-body system is usually treated within the mean field approximation which is an effective one-body description based on omitting entangled neutrino states. In this paper, we consider the original many-body system in an effective two flavor mixing scenario under the single angle approximation and present a solution without using the mean field approximation. Our solution is formulated around a special class of many-body eigenstates which do not undergo any level crossings as the neutrino self interaction rate decreases while the neutrinos radiate from the supernova. In particular, an initial state which consists of electron neutrinos and antineutrinos of an orthogonal flavor can be entirely decomposed in terms of those eigenstates. Assuming that the conditions are perfectly adiabatic so that the evolution of these eigenstates follow their variation with the interaction rate, we show that this initial state develops a spectral split at exactly the same energy predicted by the mean field formulation.

categories: astro-ph.HE astro-ph.SR cond-mat.quant-gas nucl-th


title: "Press Space to Fire": Automatic Video Game Tutorial Generation

abstract: We propose the problem of tutorial generation for games, i.e. to generate tutorials which can teach players to play games, as an AI problem. This problem can be approached in several ways, including generating natural language descriptions of game rules, generating instructive game levels, and generating demonstrations of how to play a game using agents that play in a human-like manner. We further argue that the General Video Game AI framework provides a useful testbed for addressing this problem.


title: Fast Incremental von Neumann Graph Entropy Computation: Theory, Algorithm, and Applications

abstract: The von Neumann graph entropy (VNGE) facilitates measurement of information divergence and distance between graphs in a graph sequence. It has been successfully applied to various learning tasks driven by network-based data. While effective, VNGE is computationally demanding as it requires the full eigenspectrum of the graph Laplacian matrix. In this paper, we propose a new computational framework, Fast Incremental von Neumann Graph EntRopy (FINGER), which approaches VNGE with a performance guarantee. FINGER reduces the cubic complexity of VNGE to linear complexity in the number of nodes and edges, and thus enables online computation based on incremental graph changes. We also show asymptotic equivalence of FINGER to the exact VNGE, and derive its approximation error bounds. Based on FINGER, we propose efficient algorithms for computing Jensen-Shannon distance between graphs. Our experimental results on different random graph models demonstrate the computational efficiency and the asymptotic equivalence of FINGER. In addition, we apply FINGER to two real-world applications and one synthesized anomaly detection dataset, and corroborate its superior performance over seven baseline graph similarity methods.


title: AutoZOOM: Autoencoder-based Zeroth Order Optimization Method for Attacking Black-box Neural Networks

abstract: Recent studies have shown that adversarial examples in state-of-the-art image classifiers trained by deep neural networks (DNN) can be easily generated when the target model is transparent to an attacker, known as the white-box setting. However, when attacking a deployed machine learning service, one can only acquire the input-output correspondences of the target model; this is the so-called black-box attack setting. The major drawback of existing black-box attacks is the need for excessive model queries, which may give a false sense of model robustness due to inefficient query designs. To bridge this gap, we propose a generic framework for query-efficient black-box attacks. Our framework, AutoZOOM, which is short for Autoencoder-based Zeroth Order Optimization Method, has two novel building blocks towards efficient black-box attacks: (i) an adaptive random gradient estimation strategy to balance query counts and distortion, and (ii) an autoencoder that is either trained offline with unlabeled data or a bilinear resizing operation for attack acceleration. Experimental results suggest that, by applying AutoZOOM to a state-of-the-art black-box attack (ZOO), a significant reduction in model queries can be achieved without sacrificing the attack success rate and the visual quality of the resulting adversarial examples. In particular, when compared to the standard ZOO method, AutoZOOM can consistently reduce the mean query counts in finding successful adversarial examples (or reaching the same distortion level) by at least 93% on MNIST, CIFAR-10 and ImageNet datasets, leading to novel insights on adversarial robustness.


title: Quantum Annealed Criticality

abstract: Experimentally there exist many materials with first-order phase transitions at finite temperature that display quantum criticality. Classically a strain-energy density coupling is known to drive first-order transitions in compressible systems, and here we generalize this Larkin-Pikin mechanism to the quantum case. We show that if the T=0 system lies above its upper critical dimension, the line of first-order transitions can end in a quantum annealed critical point where zero-point fluctuations restore the underlying criticality of the order parameter.


title: Critical point for infinite cycles in a random loop model on trees

abstract: We study a spatial model of random permutations on trees with a time parameter $T>0$, a special case of which is the random stirring process. The model on trees was first analysed by Bj\"ornberg and Ueltschi[BU16], who established the existence of infinite cycles for $T$ slightly above a putatively identified critical value but left open behaviour at arbitrarily high values of $T$. We show the existence of infinite cycles for all $T$ greater than a constant, thus classifying behaviour for all values of $T$ and establishing the existence of a sharp phase transition. Numerical studies [BBBU15] of the model on $\mathbb{Z}^d$ have shown behaviour with strong similarities to what is proven for trees.


title: Autonomous Vehicles that Interact with Pedestrians: A Survey of Theory and Practice

abstract: One of the major challenges that autonomous cars are facing today is driving in urban environments. To make it a reality, autonomous vehicles require the ability to communicate with other road users and understand their intentions. Such interactions are essential between the vehicles and pedestrians as the most vulnerable road users. Understanding pedestrian behavior, however, is not intuitive and depends on various factors such as demographics of the pedestrians, traffic dynamics, environmental conditions, etc. In this paper, we identify these factors by surveying pedestrian behavior studies, both the classical works on pedestrian-driver interaction and the modern ones that involve autonomous vehicles. To this end, we will discuss various methods of studying pedestrian behavior, and analyze how the factors identified in the literature are interrelated. We will also review the practical applications aimed at solving the interaction problem including design approaches for autonomous vehicles that communicate with pedestrians and visual perception and reasoning algorithms tailored to understanding pedestrian intention. Based on our findings, we will discuss the open problems and propose future research directions.


title: Planning, Inference and Pragmatics in Sequential Language Games

abstract: We study sequential language games in which two players, each with private information, communicate to achieve a common goal. In such games, a successful player must (i) infer the partner's private information from the partner's messages, (ii) generate messages that are most likely to help with the goal, and (iii) reason pragmatically about the partner's strategy. We propose a model that captures all three characteristics and demonstrate their importance in capturing human behavior on a new goal-oriented dataset we collected using crowdsourcing.


title: Efficient Sequential and Parallel Algorithms for Estimating Higher Order Spectra

abstract: Polyspectral estimation is a problem of great importance in the analysis of nonlinear time series that has applications in biomedical signal processing, communications, geophysics, image, radar, sonar and speech processing, etc. Higher order spectra (HOS) have been used in unsupervised and supervised clustering in big data scenarios, in testing for Gaussianity, to suppress Gaussian noise, to characterize nonlinearities in time series data, and so on . Any algorithm for computing the $k$th order spectra of a time series of length $n$ needs $\Omega(n^{k-1})$ time since the output size will be $\Omega(n^{k-1})$ as well. Given that we live in an era of big data, $n$ could be very large. In this case, sequential algorithms might take unacceptable amounts of time. Thus it is essential to develop parallel algorithms. There is also room for improving existing sequential algorithms. In addition, parallel algorithms in the literature are nongeneric. In this paper we offer generic sequential algorithms for computing higher order spectra that are asymptotically faster than any published algorithm for HOS. Further, we offer memory efficient algorithms. We also present optimal parallel implementations of these algorithms on parallel computing models such as the PRAM and the mesh. We provide experimental results on our sequential and parallel algorithms. Our parallel implementation achieves very good speedups.


title: Volume preserving flow and Alexandrov-Fenchel type inequalities in hyperbolic space

abstract: In this paper, we study flows of hypersurfaces in hyperbolic space, and apply them to prove geometric inequalities. In the first part of the paper, we consider volume preserving flows by a family of curvature functions including positive powers of $k$-th mean curvatures with $k=1,\cdots,n$, and positive powers of $p$-th power sums $S_p$ with $p>0$. We prove that if the initial hypersurface $M_0$ is smooth and closed and has positive sectional curvatures, then the solution $M_t$ of the flow has positive sectional curvature for any time $t>0$, exists for all time and converges to a geodesic sphere exponentially in the smooth topology. The convergence result can be used to show that certain Alexandrov-Fenchel quermassintegral inequalities, known previously for horospherically convex hypersurfaces, also hold under the weaker condition of positive sectional curvature. In the second part of this paper, we study curvature flows for strictly horospherically convex hypersurfaces in hyperbolic space with speed given by a smooth, symmetric, increasing and homogeneous degree one function $f$ of the shifted principal curvatures $\lambda_i=\kappa_i-1$, plus a global term chosen to impose a constraint on the quermassintegrals of the enclosed domain, where $f$ is assumed to satisfy a certain condition on the second derivatives. We prove that if the initial hypersurface is smooth, closed and strictly horospherically convex, then the solution of the flow exists for all time and converges to a geodesic sphere exponentially in the smooth topology. As applications of the convergence result, we prove a new rigidity theorem on smooth closed Weingarten hypersurfaces in hyperbolic space, and a new class of Alexandrov-Fenchel type inequalities for smooth horospherically convex hypersurfaces in hyperbolic space.


title: Observation of the quantum valley Hall state in ballistic graphene superlattices

abstract: In graphene superlattices, bulk topological currents can lead to long-range charge-neutral flow and non-local resistance near Dirac points. A ballistic version of these phenomena has never been explored. Here, we report transport properties of ballistic graphene superlattices. This allows us to study and exploit giant non-local resistances with a large valley Hall angle without a magnetic field. In the low-temperature regime, a crossover occurs toward a new state of matter, referred to as a quantum valley Hall state (qVHS), which is an analog of the quantum Hall state without a magnetic field. Furthermore, a non-local resistance plateau, implying rigidity of the qVHS, emerges as a function of magnetic field, and the collapse of this plateau is observed, which is considered as a manifestation of valley/pseudospin magnetism.


title: Object Detection using Domain Randomization and Generative Adversarial Refinement of Synthetic Images

abstract: In this work, we present an application of domain randomization and generative adversarial networks (GAN) to train a near real-time object detector for industrial electric parts, entirely in a simulated environment. Large scale availability of labelled real world data is typically rare and difficult to obtain in many industrial settings. As such here, only a few hundred of unlabelled real images are used to train a Cyclic-GAN network, in combination with various degree of domain randomization procedures. We demonstrate that this enables robust translation of synthetic images to the real world domain. We show that a combination of the original synthetic (simulation) and GAN translated images, when used for training a Mask-RCNN object detection network achieves greater than 0.95 mean average precision in detecting and classifying a collection of industrial electric parts. We evaluate the performance across different combinations of training data.


title: Cellular Controlled Cooperative Unmanned Aerial Vehicle Networks with Sense-and-Send Protocol

abstract: In this paper, we consider a cellular controlled unmanned aerial vehicle (UAV) sensing network in which multiple UAVs cooperatively complete each sensing task. We first propose a sense-and-send protocol where the UAVs collect sensory data of the tasks and transmit the collected data to the base station. We then formulate a joint trajectory, sensing location, and UAV scheduling optimization problem that minimizes the completion time for all the sensing tasks in the network. To solve this NP-hard problem efficiently, we decouple it into three sub-problems: trajectory optimization, sensing location optimization, and UAV scheduling. An iterative trajectory, sensing, and scheduling optimization (ITSSO) algorithm is proposed to solve these sub-problems jointly. The convergence and complexity of the ITSSO algorithm, together with the system performance are analysed. Simulation results show that the proposed ITSSO algorithm saves the task completion time by 15% compared to the non-cooperative scheme.


title: Detecting Data Leakage from Databases on Android Apps with Concept Drift

abstract: Mobile databases are the statutory backbones of many applications on smartphones, and they store a lot of sensitive information. However, vulnerabilities in the operating system or the app logic can lead to sensitive data leakage by giving the adversaries unauthorized access to the app's database. In this paper, we study such vulnerabilities to define a threat model, and we propose an OS-version independent protection mechanism that app developers can utilize to detect such attacks. To do so, we model the user behavior with the database query workload created by the original apps. Here, we model the drift in behavior by comparing probability distributions of the query workload features over time. We then use this model to determine if the app behavior drift is anomalous. We evaluate our framework on real-world workloads of three different popular Android apps, and we show that our system was able to detect more than 90% of such attacks.


title: Critical Exponent of the Anderson Transition using Massively Parallel Supercomputing

abstract: To date the most precise estimations of the critical exponent for the Anderson transition have been made using the transfer matrix method. This method involves the simulation of extremely long quasi one-dimensional systems. The method is inherently serial and is not well suited to modern massively parallel supercomputers. The obvious alternative is to simulate a large ensemble of hypercubic systems and average. While this permits taking full advantage of both OpenMP and MPI on massively parallel supercomputers, a straight forward implementation results in data that does not scale. We show that this problem can be avoided by generating random sets of orthogonal starting vectors with an appropriate stationary probability distribution. We have applied this method to the Anderson transition in the three-dimensional orthogonal universality class and been able to increase the largest $L\times L$ cross section simulated from $L=24$ (New J. Physics, 16, 015012 (2014)) to $L=64$ here. This permits an estimation of the critical exponent with improved precision and without the necessity of introducing an irrelevant scaling variable. In addition, this approach is better suited to simulations with correlated random potentials such as is needed in quantum Hall or cold atom systems.


title: Acoustic Scene Analysis Using Partially Connected Microphones Based on Graph Cepstrum

abstract: In this paper, we propose an effective and robust method for acoustic scene analysis based on spatial information extracted from partially synchronized and/or closely located distributed microphones. In the proposed method, to extract spatial information from distributed microphones while taking into account whether any pairs of microphones are synchronized and/or closely located, we derive a new cepstrum feature utilizing a graph-based basis transformation. Specifically, in the proposed graph-based cepstrum, the logarithm of the amplitude in a multichannel observation is converted to a feature vector by an inverse graph Fourier transform, which can consider whether any pair of microphones is connected. Our experimental results indicate that the proposed graph-based cepstrum effectively extracts spatial information with consideration of the microphone connections. Moreover, the results show that the proposed method more robustly classifies acoustic scenes than conventional spatial features when the observed sounds have a large synchronization mismatch between partially synchronized microphone groups.


title: To Trust Or Not To Trust A Classifier

abstract: Knowing when a classifier's prediction can be trusted is useful in many applications and critical for safely using AI. While the bulk of the effort in machine learning research has been towards improving classifier performance, understanding when a classifier's predictions should and should not be trusted has received far less attention. The standard approach is to use the classifier's discriminant or confidence score; however, we show there exists an alternative that is more effective in many situations. We propose a new score, called the trust score, which measures the agreement between the classifier and a modified nearest-neighbor classifier on the testing example. We show empirically that high (low) trust scores produce surprisingly high precision at identifying correctly (incorrectly) classified examples, consistently outperforming the classifier's confidence score as well as many other baselines. Further, under some mild distributional assumptions, we show that if the trust score for an example is high (low), the classifier will likely agree (disagree) with the Bayes-optimal classifier. Our guarantees consist of non-asymptotic rates of statistical consistency under various nonparametric settings and build on recent developments in topological data analysis.


title: Hyperspectral Imaging Technology and Transfer Learning Utilized in Identification Haploid Maize Seeds

abstract: It is extremely important to correctly identify the cultivars of maize seeds in the breeding process of maize. In this paper, the transfer learning as a method of deep learning is adopted to establish a model by combining with the hyperspectral imaging technology. The haploid seeds can be recognized from large amount of diploid maize ones with great accuracy through the model. First, the information of maize seeds on each wave band is collected using the hyperspectral imaging technology, and then the recognition model is built on VGG-19 network, which is pre-trained by large-scale computer vision database (Image-Net). The correct identification rate of model utilizing seed spectral images containing 256 wave bands (862.5-1704.2nm) reaches 96.32%, and the correct identification rate of the model utilizing the seed spectral images containing single-band reaches 95.75%. The experimental results show that, CNN model which is pre-trained by visible light image database can be applied to the near-infrared hyperspectral imaging-based identification of maize seeds, and high accurate identification rate can be achieved. Meanwhile, when there is small amount of data samples, it can still realize high recognition by using transfer learning. The model not only meets the requirements of breeding recognition, but also greatly reduce the cost occurred in sample collection.


title: Constraints on the composition, magnetization, and radiative efficiency in jet of blazar

abstract: The composition and energy dissipation in jets are two of the fundamental questions of jet physics that are not fully understood. In this paper, we attempt to constrain the composition, magnetization as well as radiative efficiency for blazar with the recently released low-frequency radio catalog of the TIFR GMRT Sky Survey at 150 MHz. The jet power estimated from the low-frequency radio emission is much lower than that derived from spectral energy distribution fitting assuming one proton per electron. Assuming the jet power estimated from low-frequency radio emission is physical, the fraction of electron/positron pairs can be constrained with $n_{\rm pairs}/n_{\rm p} \sim 10$. By comparing the power carried by magnetic field and radiation with the jet power estimated from the low-frequency radio emission, we find both relatively high magnetization parameter of $\sigma \sim 0.5$ and radiative efficiency of $\eta \sim 0.4$ in the dissipation region of blazars. These results suggest that the magnetic reconnection processes may play an important role in the energy dissipation of blazars. We also explore the connection between these three parameters ($n_{\rm pairs}/n_{\rm p}$, $\sigma$, and $\eta$) and the black hole mass, disk luminosity as well as Eddington ratio. No significant correlation is found, except that $\sigma$ shows possible correlation with disk luminosity.


title: Bayesian approach to uncertainty quantification for cerebral autoregulation index

abstract: Cerebral autoregulation refers to the brain's ability to maintain cerebral blood flow at an approximately constant level, despite changes in arterial blood pressure. The performance of this mechanism is often assessed using a ten-scale index called the ARI (autoregulation index). Here, $0$ denotes the absence of, while $9$ denotes the strongest, autoregulation. Current methods to calculate the ARI do not typically provide error estimates. Here, we show how this can be done using a bayesian approach. We use Markov-chain Monte Carlo methods to produce a probability distribution for the ARI, which gives a natural way to estimate error.


title: Dust-Gas Scaling Relations and OH Abundance in the Galactic ISM

abstract: Observations of interstellar dust are often used as a proxy for total gas column density $N_\mathrm{H}$. By comparing $\textit{Planck}$ thermal dust data (Release 1.2) and new dust reddening maps from Pan-STARRS 1 and 2MASS (Green et al. 2018), with accurate (opacity-corrected) HI column densities and newly-published OH data from the Arecibo Millennium survey and 21-SPONGE, we confirm linear correlations between dust optical depth $\tau_{353}$, reddening $E(B{-}V)$ and the total proton column density $N_\mathrm{H}$ in the range (1$-$30)$\times$10$^{20}$cm$^{-2}$, along sightlines with no molecular gas detections in emission. We derive an $N_\mathrm{H}$/$E(B{-}V)$ ratio of (9.4$\pm$1.6)$\times$10$^{21}$cm$^{-2}$mag$^{-1}$ for purely atomic sightlines at $|b|$$>$5$^{\circ}$, which is 60$\%$ higher than the canonical value of Bohlin et al. (1978). We report a $\sim$40$\%$ increase in opacity $\sigma_{353}$=$\tau_{353}$/$N_\mathrm{H}$, when moving from the low column density ($N_\mathrm{H}$$<$5$\times$10$^{20}$cm$^{-2}$) to moderate column density ($N_\mathrm{H}$$>$5$\times$10$^{20}$cm$^{-2}$) regime, and suggest that this rise is due to the evolution of dust grains in the atomic ISM. Failure to account for HI opacity can cause an additional apparent rise in $\sigma_{353}$, of the order of a further $\sim$20$\%$. We estimate molecular hydrogen column densities $N_{\mathrm{H}_{2}}$ from our derived linear relations, and hence derive the OH/H$_2$ abundance ratio of $X_\mathrm{OH}$$\sim$1$\times$10$^{-7}$ for all molecular sightlines. Our results show no evidence of systematic trends in OH abundance with $N_{\mathrm{H}_{2}}$ in the range $N_{\mathrm{H}_{2}}$$\sim$(0.1$-$10)$\times$10$^{21}$cm$^{-2}$. This suggests that OH may be used as a reliable proxy for H$_2$ in this range, which includes sightlines with both CO-dark and CO-bright gas.


title: Multi-function Convolutional Neural Networks for Improving Image Classification Performance

abstract: Traditional Convolutional Neural Networks (CNNs) typically use the same activation function (usually ReLU) for all neurons with non-linear mapping operations. For example, the deep convolutional architecture Inception-v4 uses ReLU. To improve the classification performance of traditional CNNs, a new "Multi-function Convolutional Neural Network" (MCNN) is created by using different activation functions for different neurons. For $n$ neurons and $m$ different activation functions, there are a total of $m^n-m$ MCNNs and only $m$ traditional CNNs. Therefore, the best model is very likely to be chosen from MCNNs because there are $m^n-2m$ more MCNNs than traditional CNNs. For performance analysis, two different datasets for two applications (classifying handwritten digits from the MNIST database and classifying brain MRI images into one of the four stages of Alzheimer's disease (AD)) are used. For both applications, an activation function is randomly selected for each layer of a MCNN. For the AD diagnosis application, MCNNs using a newly created multi-function Inception-v4 architecture are constructed. Overall, simulations show that MCNNs can outperform traditional CNNs in terms of multi-class classification accuracy for both applications. An important future research work will be to efficiently select the best MCNN from $m^n-m$ candidate MCNNs. Current CNN software only provides users with partial functionality of MCNNs since different layers can use different activation functions but not individual neurons in the same layer. Thus, modifying current CNN software systems such as ResNets, DenseNets, and Dual Path Networks by using multiple activation functions and developing more effective and faster MCNN software systems and tools would be very useful to solve difficult practical image classification problems.


title: Van der Waals forces control ferroelectric-antiferroelectric ordering in ABP2X6 laminar materials

abstract: We show how van der Waals (vdW) forces outcompete covalent and ionic forces to control ferroelectric ordering in CuInP2S6 nanoflakes as well as in CuInP2S6 and CuBiP2Se6 crystals. While the self-assembly of these 2D layered materials is clearly controlled by vdW effects, this result indicates that the internal layer structure is also similarly controlled. Using up to 14 first-principles computational methods, we predict that the bilayers of both materials should be antiferroelectric. However, antiferroelectric nanoflakes and bulk materials are shown to embody two fundamentally different types of inter-layer interactions, with vdW forces strongly favouring one and strongly disfavouring the other compared to ferroelectric ordering. Strong specific vdW interactions involving the Cu atoms control this effect. Thickness-dependent significant cancellation of these two large opposing vdW contributions results in a small net effect that interacts with weak ionic contributions to control ferroelectric ordering.


title: A Fine-to-Coarse Convolutional Neural Network for 3D Human Action Recognition

abstract: This paper presents a new framework for human action recognition from a 3D skeleton sequence. Previous studies do not fully utilize the temporal relationships between video segments in a human action. Some studies successfully used very deep Convolutional Neural Network (CNN) models but often suffer from the data insufficiency problem. In this study, we first segment a skeleton sequence into distinct temporal segments in order to exploit the correlations between them. The temporal and spatial features of a skeleton sequence are then extracted simultaneously by utilizing a fine-to-coarse (F2C) CNN architecture optimized for human skeleton sequences. We evaluate our proposed method on NTU RGB+D and SBU Kinect Interaction dataset. It achieves 79.6% and 84.6% of accuracies on NTU RGB+D with cross-object and cross-view protocol, respectively, which are almost identical with the state-of-the-art performance. In addition, our method significantly improves the accuracy of the actions in two-person interactions.


title: Hopf-chain networks evolved from triple points

abstract: Exotic links and chains attract interests across various disciplines including mathematics, biology, chemistry and physics. Here, we propose that topological Hopf-chain networks, consisting of one-, two- and three-dimensional (3D) Hopf chains, can be found in the momentum space. These networks can be evolved from a 3D triple-points phase by varying symmetries of a four-band model. Moreover, we identify that the Hopf-chain networks exist in a family of crystals Sc3XC (X = Al, Ga, In, Tl). The crystals are 3D triple-points metals, and transit to topological metals with Hopf-chain networks under strains. These novel Hopf networks exhibit unique Landau levels and magneto-transport properties.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.comp-ph quant-ph


title: Tight Regret Bounds for Bayesian Optimization in One Dimension

abstract: We consider the problem of Bayesian optimization (BO) in one dimension, under a Gaussian process prior and Gaussian sampling noise. We provide a theoretical analysis showing that, under fairly mild technical assumptions on the kernel, the best possible cumulative regret up to time $T$ behaves as $\Omega(\sqrt{T})$ and $O(\sqrt{T\log T})$. This gives a tight characterization up to a $\sqrt{\log T}$ factor, and includes the first non-trivial lower bound for noisy BO. Our assumptions are satisfied, for example, by the squared exponential and Mat\'ern-$\nu$ kernels, with the latter requiring $\nu > 2$. Our results certify the near-optimality of existing bounds (Srinivas {\em et al.}, 2009) for the SE kernel, while proving them to be strictly suboptimal for the Mat\'ern kernel with $\nu > 2$.


title: Infinite Arms Bandit: Optimality via Confidence Bounds

abstract: Berry et al. (1997) initiated the development of the infinite arms bandit problem. They derived a regret lower bound of all allocation strategies for Bernoulli rewards with uniform priors, and proposed strategies based on success runs. Bonald and Prouti\`{e}re (2013) proposed a two-target algorithm that achieves the regret lower bound, and extended optimality to Bernoulli rewards with general priors. We present here a confidence bound target (CBT) algorithm that achieves optimality for rewards that are bounded above. For each arm we construct a confidence bound and compare it against each other and a target value to determine if the arm should be sampled further. The target value depends on the assumed priors of the arm means. In the absence of information on the prior, the target value is determined empirically. Numerical studies here show that CBT is versatile and outperforms its competitors.


title: 'Plasmonics' in free space: observation of giant wavevectors, vortices and energy backflow in superoscillatory optical fields

abstract: Evanescent light can be localized at the nanoscale by resonant absorption in a plasmonic nanoparticle or taper or by transmission through a nanohole. However, a conventional lens cannot focus free-space light beyond half of the wavelength {\lambda}. Nevertheless, precisely tailored interference of multiple waves can form a hotspot in free space of arbitrarily small size known as superoscillation. Here, we report a new type of integrated metamaterial interferometry that allows for the first time mapping of fields with deep subwavelength resolution ~ {\lambda}/100. It reveals that electromagnetic field near the superoscillatory hotspot has many features similar to those found near resonant plasmonic nanoparticles or nanoholes: the hotspots are surrounded by nanoscale phase singularities (~ {\lambda}/50 in size) and zones where the phase of the wave changes more than tenfold faster than in a standing wave. These areas with high local wavevectors are pinned to phase vortices and zones of energy backflow (~ {\lambda}/20 in size) that contribute to tightening of the main focal spot size beyond the Abbe-Rayleigh limit. Our observations reveal the analogy between plasmonic nano-focusing of evanescent waves and superoscillatory nano-focusing of free-space waves, and prove the fundamental link between superoscillations and superfocusing offering new opportunities for nanoscale metrology and imaging.


title: Interference of the signal from a local dynamical process with the quantum state propagation in spin chains

abstract: The effect of a local instantaneous quantum dynamical process (QDP), either unitary or non-unitary, on the quantum state transfer through a unitary Hamiltonian evolution is investigated for both integrable and non-integrable dynamics. There are interference effects of the quantum state propagation and the QDP signal propagation. The state transfer fidelity is small for further sites, from the site where the information is coded, indicating a finite speed for the propagation of the quantum correlation. There is a small change in the state transfer fidelity for the case of non- unitary QDP intervening the background unitary dynamics. In the case of unitary QDP, the change is more pronounced, with a substantial increase in the fidelity for appropriate sites and times. For the non-integrable case, viz. a kicked Harper model, the state transfer fidelity is quite large for further sites for short times, indicating a finite speed for the propagation of the quantum correlation cannot be defined.


title: Decomposing functions of Baire class $2$ on Polish spaces

abstract: We prove the Decomposability Conjecture for functions of Baire class $2$ on a Polish space to a separable metrizable space. This partially answer an important open problem in descriptive set theory.


title: Grow and Prune Compact, Fast, and Accurate LSTMs

abstract: Long short-term memory (LSTM) has been widely used for sequential data modeling. Researchers have increased LSTM depth by stacking LSTM cells to improve performance. This incurs model redundancy, increases run-time delay, and makes the LSTMs more prone to overfitting. To address these problems, we propose a hidden-layer LSTM (H-LSTM) that adds hidden layers to LSTM's original one level non-linear control gates. H-LSTM increases accuracy while employing fewer external stacked layers, thus reducing the number of parameters and run-time latency significantly. We employ grow-and-prune (GP) training to iteratively adjust the hidden layers through gradient-based growth and magnitude-based pruning of connections. This learns both the weights and the compact architecture of H-LSTM control gates. We have GP-trained H-LSTMs for image captioning and speech recognition applications. For the NeuralTalk architecture on the MSCOCO dataset, our three models reduce the number of parameters by 38.7x [floating-point operations (FLOPs) by 45.5x], run-time latency by 4.5x, and improve the CIDEr score by 2.6. For the DeepSpeech2 architecture on the AN4 dataset, our two models reduce the number of parameters by 19.4x (FLOPs by 23.5x), run-time latency by 15.7%, and the word error rate from 12.9% to 8.7%. Thus, GP-trained H-LSTMs can be seen to be compact, fast, and accurate.


title: Quantum correlations and entanglement in a Kitaev-type spin chain

abstract: The entanglement and quantum correlation measures have been investigated for the ground state of a spin chain with a Kitaev-type exchange interactions on alternating bonds, along with a transverse magnetic field. There is a macroscopic degeneracy in the ground state for zero magnetic field, implying a quantum critical point. But peculiarly in this model, the entanglement measures do not show any singular behavior in the vicinity of the critical point, as seen in the transverse Ising model ground state and related models. We have investigated different correlation measures analytically, that have been used for many solvable spin systems to track a quantum critical point. We compute the pair concurrence measure of entanglement, the pair quantum discord to track the quantum correlations, and a global entanglement measure and a multi-species entanglement measure to investigate multi-party entanglement, both analytically and numerically. The nearest-neighbor concurrence shows a peak structure as a function of magnetic field, near the critical point, for various values of the ratio of interaction strengths, but its derivative does not show a singular behavior close to the critical point. A similar behavior is shown by the quantum discord and the global entanglement. The multi-species entanglement shows the most-pronounced signature of the critical point, in its first-order derivative, though the entanglement and its derivatives have a smooth behavior in the critical region.


title: Automated proof synthesis for propositional logic with deep neural networks

abstract: This work explores the application of deep learning, a machine learning technique that uses deep neural networks (DNN) in its core, to an automated theorem proving (ATP) problem. To this end, we construct a statistical model which quantifies the likelihood that a proof is indeed a correct one of a given proposition. Based on this model, we give a proof-synthesis procedure that searches for a proof in the order of the likelihood. This procedure uses an estimator of the likelihood of an inference rule being applied at each step of a proof. As an implementation of the estimator, we propose a proposition-to-proof architecture, which is a DNN tailored to the automated proof synthesis problem. To empirically demonstrate its usefulness, we apply our model to synthesize proofs of propositional logic. We train the proposition-to-proof model using a training dataset of proposition-proof pairs. The evaluation against a benchmark set shows the very high accuracy and an improvement to the recent work of neural proof synthesis.


title: Accelerating Large-Scale Data Analysis by Offloading to High-Performance Computing Libraries using Alchemist

abstract: Apache Spark is a popular system aimed at the analysis of large data sets, but recent studies have shown that certain computations---in particular, many linear algebra computations that are the basis for solving common machine learning problems---are significantly slower in Spark than when done using libraries written in a high-performance computing framework such as the Message-Passing Interface (MPI). To remedy this, we introduce Alchemist, a system designed to call MPI-based libraries from Apache Spark. Using Alchemist with Spark helps accelerate linear algebra, machine learning, and related computations, while still retaining the benefits of working within the Spark environment. We discuss the motivation behind the development of Alchemist, and we provide a brief overview of its design and implementation. We also compare the performances of pure Spark implementations with those of Spark implementations that leverage MPI-based codes via Alchemist. To do so, we use data science case studies: a large-scale application of the conjugate gradient method to solve very large linear systems arising in a speech classification problem, where we see an improvement of an order of magnitude; and the truncated singular value decomposition (SVD) of a 400GB three-dimensional ocean temperature data set, where we see a speedup of up to 7.9x. We also illustrate that the truncated SVD computation is easily scalable to terabyte-sized data by applying it to data sets of sizes up to 17.6TB.


title: Long short-term memory networks in memristor crossbars

abstract: Recent breakthroughs in recurrent deep neural networks with long short-term memory (LSTM) units has led to major advances in artificial intelligence. State-of-the-art LSTM models with significantly increased complexity and a large number of parameters, however, have a bottleneck in computing power resulting from limited memory capacity and data communication bandwidth. Here we demonstrate experimentally that LSTM can be implemented with a memristor crossbar, which has a small circuit footprint to store a large number of parameters and in-memory computing capability that circumvents the 'von Neumann bottleneck'. We illustrate the capability of our system by solving real-world problems in regression and classification, which shows that memristor LSTM is a promising low-power and low-latency hardware platform for edge inference.


title: CRRN: Multi-Scale Guided Concurrent Reflection Removal Network

abstract: Removing the undesired reflections from images taken through the glass is of broad application to various computer vision tasks. Non-learning based methods utilize different handcrafted priors such as the separable sparse gradients caused by different levels of blurs, which often fail due to their limited description capability to the properties of real-world reflections. In this paper, we propose the Concurrent Reflection Removal Network (CRRN) to tackle this problem in a unified framework. Our proposed network integrates image appearance information and multi-scale gradient information with human perception inspired loss function, and is trained on a new dataset with 3250 reflection images taken under diverse real-world scenes. Extensive experiments on a public benchmark dataset show that the proposed method performs favorably against state-of-the-art methods.


title: New Bounds for the Signless Laplacian Spread

abstract: Let $G$ be a simple graph. The signless Laplacian spread of $G$ is defined as the maximum distance of pairs of its signless Laplacian eigenvalues. This paper establishes some new bounds, both lower and upper, for the signless Laplacian spread. Several of these bounds depend on invariant parameters of the graph. We also use a minmax principle to find several lower bounds for this spectral invariant.


title: A Markov Chain Model for the Cure Rate of Non-Performing Loans

abstract: A Markov-chain model is developed for the purpose estimation of the cure rate of non-performing loans. The technique is performed collectively, on portfolios and it can be applicable in the process of calculation of credit impairment. It is efficient in terms of data manipulation costs which makes it accessible even to smaller financial institutions. In addition, several other applications to portfolio optimization are suggested.


title: Origins of clustered frequency combs in Kerr microresonators

abstract: Recent experiments have demonstrated the generation of widely-spaced parametric sidebands that can evolve into "clustered" optical frequency combs in Kerr microresonators. Here we describe the physics that underpins the formation of such clustered comb states. In particular, we show that the phase-matching required for the initial sideband generation is such that (at least) one of the sidebands experiences anomalous dispersion, enabling that sideband to drive frequency comb formation via degenerate and non-degenerate four-wave mixing. We validate our proposal through a combination of experimental observations made in a magnesium-fluoride microresonator and corresponding numerical simulations. We also investigate the coherence properties of the resulting clustered frequency combs. Our findings provide valuable insights on the generation and dynamics of widely-spaced parametric sidebands and clustered frequency combs in Kerr microresonators.


title: Impact of EDGES 21cm Global Signal on Primordial Power Spectrum

abstract: We investigate the impact of the recent observation of the 21cm global signal by EDGES on primordial power spectrum, particularly focusing on the running parameters $\alpha_s$ and $ \beta_s$ which characterize the detailed scale dependence of the primordial spectrum. When primordial power spectrum is enhanced/suppressed on small scales, the structure formation proceeds faster/slower and changes the abundance of small size halos, which affects the sources of Lyman $\alpha$ radiation at high redshifts to alter the position of the absorption line. Recent observation of EDGES detected the 21cm absorption line at $z=17.2$ and this result also indicates that the brightness temperature is consistent with zero for $z \lesssim 14$ and $z \gtrsim 22$, which can exclude a scenario giving the absorption line at such redshifts. We argue that the bound on the running parameters can be obtained by requiring that the absorption line should not exceed observational bounds at such redshift ranges and found that some parameter space of $\alpha_s$ and $\beta_s$ allowed by Planck may be disfavored for some values of astrophysical parameters.


title: Quantum state tomography with time-continuous measurements: reconstruction with resource limitations

abstract: We propose and analyze quantum state estimation (tomography) using continuous quantum measurements with resource limitations, allowing the global state of many qubits to be constructed from only measuring a few. We give a proof-of-principle investigation demonstrating successful tomographic reconstruction of an arbitrary initial quantum state for three different situations: single qubit, remote qubit, and two interacting qubits. The tomographic reconstruction utilizes only a continuous weak probe of a single qubit observable, a fixed coupling Hamiltonian, together with single-qubit controls. In the single qubit case, a combination of the continuous measurement of an observable and a Rabi oscillation is sufficient to find all three unknown qubit state components. For two interacting qubits, where only one observable of the first qubit is measured, the control Hamiltonian can be implemented to transfer all quantum information to the measured observable, via the qubit-qubit interaction and Rabi oscillation controls applied locally on each qubit. We discuss different sets of controls by analyzing the unitary dynamics and the Fisher information matrix of the estimation in the limit of weak measurement, and simulate tomographic results numerically. As a result, we obtained reconstructed state fidelities in excess of 0.98 with a few thousand measurement runs.


title: Cylindrical Estimates for High Codimension Mean Curvature Flow

abstract: We study high codimension mean curvature flow of a submanifold $\mathcal{M}^n$ of dimension $n$ in Euclidean space $\mathbb{R}^{n+k}$ subject to the quadratic curvature condition $ |A|^{2}\leq c_n |H|^{2}, c _n = \min\{ \frac{4}{3n} , \frac{1}{n-2}\}$. This condition extends the notion of two-convexity for hypersurfaces to high codimension submanifolds. We analyse singularity formation in the mean curvature flow of high codimension by directly proving a pointwise gradient estimate. We then show that near a singularity the surface is quantitatively cylindrical.


title: Generating entangled photon pairs in a parallel crystal geometry

abstract: We present recent findings towards developing brighter entangled photon sources in critically phase matched (CPM) nonlinear crystals. Specifically, we use type-I collinear phase matching at non-degenerate wavelengths in parallel \b{eta}-Barium Borate (BBO) crystals to generate pairs of polarization entangled photons for free-space quantum key distribution (QKD). We first review the entangled source configuration and then discuss ways to further improve the source brightness by means of tailoring the pump and collection modes. We present preliminary results that may lead to brighter entangled photon sources that are intrinsically robust to changes in their environment.


title: Range of certain convolution operators and reconstruction from local averages

abstract: For a compactly supported absolutely continuous measure $\mu$ on ${\mathbb{R}}^2$ having a density function equal to a finite linear combination of indicator functions of rectangles $\left[a_{i}, b_{i}\right]\times \left[c_{i}, d_{i}\right],$ we analyse the range of the convolution operator $C_{\mu}:C({\mathbb{R}}^2)\rightarrow C({\mathbb{R}}^2)$ defined by $C_{\mu}(f)=f\star\mu,$ where $(f\star \mu)(x,y)=\int_{{\mathbb{R}}^2}f(x-s,y-t)d\mu.$ It is shown that $C_{\mu}$ maps the space of all continuous functions $C({\mathbb{R}}^2)$ onto the space $C^{2*}({\mathbb{R}}^2)=\{f:{\mathbb{R}}^2\rightarrow {\mathbb{C}}:\frac{\partial^2 f}{\partial x \partial y},\frac{\partial^2 f}{\partial y \partial x}\in C({\mathbb{R}}^2)\}$ provided the density function of $\mu$ satisfies certain conditions.


title: Stochastic Zeroth-order Optimization via Variance Reduction method

abstract: Derivative-free optimization has become an important technique used in machine learning for optimizing black-box models. To conduct updates without explicitly computing gradient, most current approaches iteratively sample a random search direction from Gaussian distribution and compute the estimated gradient along that direction. However, due to the variance in the search direction, the convergence rates and query complexities of existing methods suffer from a factor of $d$, where $d$ is the problem dimension. In this paper, we introduce a novel Stochastic Zeroth-order method with Variance Reduction under Gaussian smoothing (SZVR-G) and establish the complexity for optimizing non-convex problems. With variance reduction on both sample space and search space, the complexity of our algorithm is sublinear to $d$ and is strictly better than current approaches, in both smooth and non-smooth cases. Moreover, we extend the proposed method to the mini-batch version. Our experimental results demonstrate the superior performance of the proposed method over existing derivative-free optimization techniques. Furthermore, we successfully apply our method to conduct a universal black-box attack to deep neural networks and present some interesting results.


title: Correlation networks from random walk time series

abstract: Stimulated by the growing interest in the applications of complex networks framework on time series analysis, we devise a network model in which each of $N$ nodes is associated with a random walk of length $L$. Connectivity between any two nodes is established when the Pearson correlation coefficient(PCC) of the corresponding time series is greater than or equal to a threshold $H$, resulting in similarity networks with interesting properties. In particular, these networks can have high average clustering coefficients, "small world" property, and their degree distribution can vary from scale-free to quasi-constant depending on $H$. A giant component of size $N$ exists until a critical threshold $H_c$ is crossed, at which point relatively rare walks begin to detach from it, and remain isolated. This model can be used as a first step for building a null hypothesis for networks constructed from time series.


title: Derivatives of Turing machines in Linear Logic

abstract: We calculate denotations under the Sweedler semantics of the Ehrhard-Regnier derivatives of various encodings of Turing machines into linear logic. We show that these derivatives calculate the rate of change of probabilities naturally arising in the Sweedler semantics of linear logic proofs. The resulting theory is applied to the problem of synthesising Turing machines by gradient descent.


title: The VIREO KIS at VBS 2018

abstract: This short paper presents the video browsing tool of VIREO team which has been used in the Video Browser Showdown 2018. All added functions in the final version are introduced and experiences gained from the benchmark are also shared.


title: Enabling Pedestrian Safety using Computer Vision Techniques: A Case Study of the 2018 Uber Inc. Self-driving Car Crash

abstract: Human lives are important. The decision to allow self-driving vehicles operate on our roads carries great weight. This has been a hot topic of debate between policy-makers, technologists and public safety institutions. The recent Uber Inc. self-driving car crash, resulting in the death of a pedestrian, has strengthened the argument that autonomous vehicle technology is still not ready for deployment on public roads. In this work, we analyze the Uber car crash and shed light on the question, "Could the Uber Car Crash have been avoided?". We apply state-of-the-art Computer Vision models to this highly practical scenario. More generally, our experimental results are an evaluation of various image enhancement and object recognition techniques for enabling pedestrian safety in low-lighting conditions using the Uber crash as a case study.


title: The Effects of Climate Change on Predator-Prey Dynamics

abstract: In this investigation we study the effects of climate change on predator-prey population dynamics. The interaction of predator and prey is described by the Variable Territory (VT) model with Allee effects in an Ordinary Differential Equation (ODE) framework. Climate influence is modeled in this ODE framework as an exogenous driver which affects the prey growth rate. Mathematically, this exogenous driver is a function of time, the climate function, that describes how favorable is the climate, on a scale from $-1$ to $+1$. Climate change has a number of effects; in this work, we focus on changes in climate variability, in particular, a decrease in the switching rate between good years and bad. With regard to the predator-prey populations, we focus on the conditions that lead to extinction. We developed a high performance software tool to allow the systematic exploration of a wide range of climate scenarios at a high level of detail. Our results show that the predator-prey system is sensitive to the rapid drop in growth rate that accompanies a switch from good growth years to bad growth years. The amplitude of this negative variation as well as its duration are key factors, but more importantly, it is the moment when this negative change occurs during the predator-prey cycle that is critical for the survival of the species.


title: Nucleosynthesis in Primordial Hypernovae

abstract: We investigate the relationship between explosion energy and nucleosynthesis in Population III supernovae and provide nucleosynthetic results for the explosions of stars with progenitor masses of $15\,\mathrm{M}_\odot$, $20\,\mathrm{M}_\odot$, $30\,\mathrm{M}_\odot$, $40\,\mathrm{M}_\odot$, $60\,\mathrm{M}_\odot$, and $80\,\mathrm{M}_\odot$, and explosion energies between approximately $10^{50}$ erg and $10^{53}$ erg. We find that the typical abundance pattern observed in metal-poor stars are best matched by supernovae with progenitor mass in the range $15\,\mathrm{M}_\odot$ - $30\,\mathrm{M}_\odot$, and explosion energy of $\sim$ ($5$ - $10$) $\times$ $10^{51}$ erg. In these models, a reverse shock caused by jumps in density between shells of different composition serves to decrease synthesis of chromium and manganese, which is favourable to matching the observed abundances in metal-poor stars. Spherically symmetric explosions of our models with progenitor mass $\geq$ $40\,\mathrm{M}_\odot$ do not provide yields that are compatible with the iron-peak abundances that are typically observed in metal-poor stars, however, by approximating the yields that we might expect from these models in highly aspherical explosions, we find indications that explosions of stars $40\,\mathrm{M}_\odot$ - $80\,\mathrm{M}_\odot$ with bipolar jets may be good candidates for the enrichment sources of metal-poor stars with enhanced carbon abundances.


title: Visual Referring Expression Recognition: What Do Systems Actually Learn?

abstract: We present an empirical analysis of the state-of-the-art systems for referring expression recognition -- the task of identifying the object in an image referred to by a natural language expression -- with the goal of gaining insight into how these systems reason about language and vision. Surprisingly, we find strong evidence that even sophisticated and linguistically-motivated models for this task may ignore the linguistic structure, instead relying on shallow correlations introduced by unintended biases in the data selection and annotation process. For example, we show that a system trained and tested on the input image $\textit{without the input referring expression}$ can achieve a precision of 71.2% in top-2 predictions. Furthermore, a system that predicts only the object category given the input can achieve a precision of 84.2% in top-2 predictions. These surprisingly positive results for what should be deficient prediction scenarios suggest that careful analysis of what our models are learning -- and further, how our data is constructed -- is critical as we seek to make substantive progress on grounded language tasks.


title: The search for roAp stars: null results and new candidates from Stroemgren-Crawford photometry

abstract: The rapidly oscillating Ap (roAp) stars exhibit pulsational photometric and/or radial velocity variations on time scales of several minutes, which are essential to test current pulsation models as well as our assumptions of atmospheric structure characteristics. In addition, their chemical peculiarity makes them very interesting for probing stellar formation and evolution in the presence of a global magnetic field. To date, a limited number of only 61 roAp stars are known to show photometric variability. On the other hand, a literature survey yields 619 unique stars that have unsuccessfully been searched for variability of this kind. Stroemgren-Crawford uvbybeta photometry of stars from both subgroups were used to investigate whether there is a selection bias of the investigated stars. We also present new photometric measurements (202 hours in 59 different nights) of 55 roAp candidates.We did not detect any new roAp star. Although our detection limits are comparable to other surveys, we also did not find pulsations in the known roAp star HD 12098, which may be a consequence of temporal amplitude changes. On the other hand, we do find some evidence for photometric variability of beta CrB at its spectroscopically derived pulsation period. From the uvbybeta photometry we conclude that the blue border of the roAp instability strip appears observationally well defined, whereas the red border is rather poorly known and studied. Within these boundaries, a total of 4646 candidates were identified which appear worthwhile to be investigated for short-term pulsational variability.


title: Generic CP-Supported CMSA for Binary Integer Linear Programs

abstract: Construct, Merge, Solve and Adapt (CMSA) is a general hybrid metaheuristic for solving combinatorial optimization problems. At each iteration, CMSA (1) constructs feasible solutions to the tackled problem instance in a probabilistic way and (2) solves a reduced problem instance (if possible) to optimality. The construction of feasible solutions is hereby problem-specific, usually involving a fast greedy heuristic. The goal of this paper is to design a problem-agnostic CMSA variant whose exclusive input is an integer linear program (ILP). In order to reduce the complexity of this task, the current study is restricted to binary ILPs. In addition to a basic problem-agnostic CMSA variant, we also present an extended version that makes use of a constraint propagation engine for constructing solutions. The results show that our technique is able to match the upper bounds of the standalone application of CPLEX in the context of rather easy-to-solve instances, while it generally outperforms the standalone application of CPLEX in the context of hard instances. Moreover, the results indicate that the support of the constraint propagation engine is useful in the context of problems for which finding feasible solutions is rather difficult.


title: Regions, Innovation Systems, and the North-South Divide in Italy

abstract: Using firm-level data collected by Statistics Italy for 2008, 2011, and 2015, we examine the Triple-Helix synergy among geographical and size distributions of firms, and the NACE codes attributed to these firms, at the different levels of regional and national government. At which levels is innovation-systemness indicated? The contributions of regions to the Italian innovation system have increased, but synergy generation between regions and supra-regionally has remained at almost 45%. As against the statistical classification of Italy into twenty regions or into Northern, Central, and Southern Italy, the greatest synergy is retrieved by considering the country in terms of Northern and Southern Italy as two sub-systems, with Tuscany included as part of Northern Italy. We suggest that separate innovation strategies should be developed for these two parts of the country. The current focus on regions for innovation policies may to some extent be an artifact of the statistics and EU policies. In terms of sectors, both medium- and high-tech manufacturing (MHTM) and knowledge-intensive services (KIS) are proportionally integrated in the various regions.


title: Hikami-Larkin-Nagaoka (HLN) treatment of the Magneto Conductivity of Bi2Te3 Topological Insulator

abstract: We report the magneto-conductivity analysis at different temperatures under magnetic field of up to 5Tesla of a well characterized Bi2Te3 crystal. Details of crystal growth and various physical properties including high linear magneto resistance are already reported by some of us. To elaborate upon the transport properties of Bi2Te3 crystal, the magneto conductivity is fitted to the known HLN (Hikami Larkin Nagaoka) equation and it is found that the conduction mechanism is dominated by both surface driven WAL (weak anti localization) and the bulk WL states. The value of HLN equation coefficient signifying the type of localization (WL, WAL or both WL and WAL) falls within the range of -0.5 to -1.5. In our case, the low field (0.25Tesla) fitting of studied crystal exhibited value close to -0.86 for studied temperatures of up to 50K, indicating both WAL and WL contributions. The phase coherence length is found to decrease from 98.266 to 40.314nm with increasing temperature. Summarily, the short letter reports the fact that bulk Bi2Te3 follows the HLN equation and quantitative analysis of the same facilitates to know the quality of studied crystal in terms of WAL to WL contributions and thus the surface to bulk conduction ratio.


title: Towards the manipulation of topological states of matter: A perspective from electron transport

abstract: The introduction of topological invariants, ranging from insulators to metals, has provided new insights into the traditional classification of electronic states in condensed matter physics. A sudden change in the topological invariant at the boundary of a topological nontrivial system leads to the formation of exotic surface states that are dramatically different from its bulk. In recent years, significant advancements in the exploration of the physical properties of these topological systems and regarding device research related to spintronics and quantum computation have been made. Here, we review the progress of the characterization and manipulation of topological phases from the electron transport perspective and also the intriguing chiral/Majorana states that stem from them. We then discuss the future directions of research into these topological states and their potential applications.


title: Anaphora and Coreference Resolution: A Review

abstract: Entity resolution aims at resolving repeated references to an entity in a document and forms a core component of natural language processing (NLP) research. This field possesses immense potential to improve the performance of other NLP fields like machine translation, sentiment analysis, paraphrase detection, summarization, etc. The area of entity resolution in NLP has seen proliferation of research in two separate sub-areas namely: anaphora resolution and coreference resolution. Through this review article, we aim at clarifying the scope of these two tasks in entity resolution. We also carry out a detailed analysis of the datasets, evaluation metrics and research methods that have been adopted to tackle this NLP problem. This survey is motivated with the aim of providing the reader with a clear understanding of what constitutes this NLP problem and the issues that require attention.


title: A Cosserat crystal plasticity and phase field theory for grain boundary migration

abstract: The microstructure evolution due to thermomechanical treatment of metals can largely be described by viscoplastic deformation, nucleation and grain growth. These processes take place over different length and time scales which present significant challenges when formulating simulation models. In particular, no overall unified field framework exists to model concurrent viscoplastic deformation and recrystallization and grain growth in metal polycrystals. In this work a thermodynamically consistent diffuse interface framework incorporating crystal viscoplasticity and grain boundary migration is elaborated. The Kobayashi--Warren--Carter (KWC) phase field model is extended to incorporate the full mechanical coupling with material and lattice rotations and evolution of dislocation densities. The Cosserat crystal plasticity theory is shown to be the appropriate framework to formulate the coupling between phase field and mechanics with proper distinction between bulk and grain boundary behaviour.


title: Line bundles over Coulomb branches

abstract: This is the third companion paper of arXiv:1601.03586. When a gauge theory has a flavor symmetry group, we construct a partial resolution of the Coulomb branch as a variant of the definition. We identify the partial resolution with a partial resolution of a generalized slice in the affine Grassmannian, Hilbert scheme of points, and resolved Cherkis bow variety for a quiver gauge theory of type ADE or affine type A.

categories: math.RT hep-th math-ph math.AG math.DG math.MP


title: The resurgence of the linear optics quantum interferometer --- recent advances & applications

abstract: Linear optics has seen a resurgence for applications in quantum information processing owing to its miniaturisation on-chip, and increase in production efficiency and quality of single photons. Time-bin encodings have also become feasible owing to architectural breakthroughs, and new processing capabilities. Theoretical efforts have found new ways to implement universal quantum computations with linear optics requiring less resources, and to demonstrate the capabilities of linear optics without requiring a universal optical quantum computer.