title: Response to critiques on Observation of the Wigner-Huntington transition to metallic hydrogen

abstract: We reported the first observation of metallic hydrogen (MH) in the low temperature limit at a pressure of ~495 GPa in an article published in Science (1). This transition was first predicted by Wigner and Huntington (WE) over 80 years ago (2) at a pressure of ~25 GPa. In recent decades it became clear that the required pressure for metallization was far greater, in the 400-500 GPa range. Until now the observation of the WE transition in diamond anvil cells (DACs) has been prevented by one problem: the diamonds break before a sufficiently high pressure has been achieved. This has driven the high-pressure community to improve DACs and experimental methods to understand and overcome the conditions that limited the performance of diamonds and the pressure. In our experiment, with increasing pressure, we observed a clear transition from a transparent sample of solid molecular hydrogen to an opaque black sample to a shiny reflective sample of MH, as determined by reflectance measurements. There is no doubt that MH was produced at the highest pressures. Yet there have been criticisms concerning the pressure that was achieved, the possibility that the 50 nm alumina layer, deposited on diamonds to inhibit diffusion of hydrogen, might be transformed to a metal and be responsible for the reflectance, and analysis of the reflectance. Here we respond to the criticisms posted on the condensed matter arXiv by Loubeyre, Occelli, and Dumas (LOD)- arXiv:1702.07192, Eremets and Drozdov (ED)- arXiv:1702.05125, and Goncharov and Struzhkin (GS)- arXiv:1702.04246.


title: Discrete modes of social information processing predict individual behavior of fish in a group

abstract: Individual computations and social interactions underlying collective behavior in groups of animals are of great ethological, behavioral, and theoretical interest. While complex individual behaviors have successfully been parsed into small dictionaries of stereotyped behavioral modes, studies of collective behavior largely ignored these findings; instead, their focus was on inferring single, mode-independent social interaction rules that reproduced macroscopic and often qualitative features of group behavior. Here we bring these two approaches together to predict individual swimming patterns of adult zebrafish in a group. We show that fish alternate between an active mode in which they are sensitive to the swimming patterns of conspecifics, and a passive mode where they ignore them. Using a model that accounts for these two modes explicitly, we predict behaviors of individual fish with high accuracy, outperforming previous approaches that assumed a single continuous computation by individuals and simple metric or topological weighing of neighbors behavior. At the group level, switching between active and passive modes is uncorrelated among fish, yet correlated directional swimming behavior still emerges. Our quantitative approach for studying complex, multi-modal individual behavior jointly with emergent group behavior is readily extensible to additional behavioral modes and their neural correlates, as well as to other species.


title: Absolute $F_{\sigma\delta}$ spaces

abstract: We prove that hereditarily Lindel\"of space which is $F_{\sigma\delta}$ in some compactification is absolutely $F_{\sigma\delta}$. In particular, this implies that any separable Banach space is absolutely $F_{\sigma\delta}$ when equipped with the weak topology.


title: Tropicalizing abelian covers of algebraic curves

abstract: In this thesis, we study the Berkovich skeleton of an algebraic curve over a discretely valued field $K$. We do this using coverings $C\rightarrow{\mathbb{P}^{1}}$ of the projective line. To study these coverings, we take the Galois closure of the corresponding injection of function fields $K(\mathbb{P}^{1})\rightarrow{K(C)}$, giving a Galois morphism $\overline{C}\rightarrow{\mathbb{P}^{1}}$. A theorem by Liu and Lorenzini tells us how to associate to this morphism a Galois morphism of semistable models $\mathcal{C}\rightarrow{\mathcal{D}}$. That is, we make the branch locus disjoint in the special fiber of $\mathcal{D}$ and remove any vertical ramification on the components of $\mathcal{D}_{s}$. This morphism $\mathcal{C}\rightarrow{\mathcal{D}}$ then gives rise to a morphism of intersection graphs $\Sigma(\mathcal{C})\rightarrow{\Sigma(\mathcal{D})}$. Our goal is to reconstruct $\Sigma(\mathcal{C})$ from $\Sigma(\mathcal{D})$ and we will do this by giving a set of covering and twisting data. These then give algorithms for finding the Berkovich skeleton of a curve $C$ whenever that curve has a morphism $\overline{C}\rightarrow{\mathbb{P}^{1}}$ with a solvable Galois group. In particular, this gives an algorithm for finding the Berkovich skeleton of any genus three curve. These coverings also give a new proof of a classical result on the semistable reduction type of an elliptic curve, saying that an elliptic curve has potential good reduction if and only if the valuation of the $j$-invariant is positive.


title: A Spectroscopic Study of the Rich Supernova Remnant Population in M83

abstract: We report the results from a spectrophotometric study sampling the roughly 300 candidate supernova remnants (SNRs) in M83 identified through optical imaging with Magellan/IMACS and HST/WFC3. Of the 118 candidates identified based on a high [S II] $\lambda\lambda$ 6716,6731 to H$\alpha$ emission ratio, 117 show spectroscopic signatures of shock-heated gas, confirming them as SNRs---the largest uniform set of SNR spectra for any galaxy. Spectra of 22 objects with a high [O III] 5007 $\lambda$ to H$\alpha$ emission ratio, selected in an attempt to identify young ejecta-dominated SNRs like Cas A, reveal only one (previously reported) object with the broad (over 1000 km/s) emission lines characteristic of ejecta-dominated SNRs, beyond the known SN1957D remnant. The other 20 [O III]-selected candidates include planetary nebulae, compact H II regions, and one background QSO. Although our spectroscopic sample includes 22 SNRs smaller than 11 pc, none of the other objects shows broad emission lines; instead their spectra stem from relatively slow (< 200 km/s) radiative shocks propagating into the metal-rich interstellar medium of M83. With six SNe in the past century, one might expect more of M83's small-diameter SNRs to show evidence of ejecta; this appears not to be the case. We attribute their absence to several factors, including that SNRs expanding into a dense medium evolve quickly to the ISM-dominated phase, and that SNRs expanding into regions already evacuated by earlier SNe are probably very faint.


title: Upper semismooth functions and the subdifferential determination property

abstract: In this paper, an upper semismooth function is defined to be a lower semicontinuous function whose radial subderivative satisfies a mild directional upper semicontinuity property. Examples of upper semismooth functions are the proper lower semicontinuous convex functions, the lower-C$^1$ functions, the regular directionally Lipschitz functions, the Mifflin semismooth functions, the Thibault-Zagrodny directionally stable functions. It is shown that the radial subderivative of such functions can be recovered from any subdifferential of the function. It is also shown that these functions are subdifferentially determined, in the sense that if two functions have the same subdifferential and one of the functions is upper semismooth, then the two functions are equal up to an additive constant.


title: SRMCA: A Scalable and Resilient Real-time Multi-party Communication Architecture

abstract: This paper proposes a scalable and resilient real-time multi-party communication architecture for the delivery of mixed media streams, for which content centric networking, with its intelligent network layer, is chosen for implementation to address the shortcomings of the current IP-based Internet architecture. Content centric networking (CCN) represents one of the major proposals targeting future Internet architecture, and is typically optimized for non-realtime content delivery. Proposed research in this paper addresses the architectural challenges for large-scale deployment of CCN to serve real-time applications from the perspective of a multi-party video conferencing framework, with the necessary architectural components to support application- and system-level objectives, in regards to quality of experience, resource utilization, and scalability. We present an in-depth analysis of the proposed architecture by first providing an analytical driven study for the system, and then demonstrating its performance by emulating the architecture over a test-bed with a large number of participants involved in many-to-many communication sessions. The results suggest that the proposed architecture can scale well above 50 participants without incurring significant penalty in signaling, communication, and computing overheads, with capability to support 100 or more participants.


title: Pressure-driven phase transition from antiferromagnetic semiconductor to nonmagnetic metal in two-leg ladders $A$Fe$_2$$X$$_3$ ($A$=Ba or K, $X$=S or Se)

abstract: The recent discovery of superconductivity in BaFe$_2$S$_3$ [Takahashi {\it et al.}, Nat. Mater. {\bf 14}, 1008 (2015)] has stimulated considerable interest in 123-type iron chalcogenides. This material is the first reported iron-based two-leg ladder superconductor, as opposed to the prevailing two-dimensional layered structures of the iron superconductors family. Once the hydrostatic pressure exceeds $11$ GPa, BaFe$_2$S$_3$ changes from a semiconductor to a superconductor below $24$~K. Although previous calculations correctly explained its ground state magnetic state and electronic structure, the pressure induced phase transition was not successfully reproduced. In this work, our first principles calculations find that with increasing pressure the lattice constants as well as local magnetic moments are gradually suppressed, followed by a first-order magnetic transition at a critical pressure, with local magnetic moments dropping to zero suddenly. Our calculations suggests that the self-doping caused by electrons transferred from S to Fe may play a key role in this transition. The development of a nonmagnetic metallic phase at high pressure may pave the way to superconductivity. As extensions of this effort, two other 123-type iron chalcogenides, KFe$_2$S$_3$ and KFe$_2$Se$_3$, have also been investigated. KFe$_2$S$_3$ also displays a first-order transition with increasing pressure, but KFe$_2$Se$_3$ shows instead a second-order, or weakly first-order, transition. The required pressures for KFe$_2$S$_3$ and KFe$_2$Se$_3$ to quench the magnetism are higher than for BaFe$_2$S$_3$. Further experiments can confirm the predicted first-order nature of the transition in BaFe$_2$S$_3$ and KFe$_2$S$_3$, as well as the possible metallic/superconductivity state in other 123-type iron chalcogenides under high pressure.


title: Bi-Boolean independence for pairs of algebras

abstract: In this paper, the notion of bi-Boolean independence for non-unital pairs of algebras is introduced thereby extending the notion of Boolean independence to pairs of algebras. The notion of B-$(\ell, r)$-cumulants is defined via a bi-Boolean moment-cumulant formula over the lattice of bi-interval partitions, and it is demonstrated that bi-Boolean independence is equivalent to the vanishing of mixed B-$(\ell, r)$-cumulants. Furthermore, some of the simplest bi-Boolean convolutions are considered, and a bi-Boolean partial $\eta$-transform is constructed for the study of limit theorems and infinite divisibility with respect to the additive bi-Boolean convolution. In particular, a bi-Boolean L\'{e}vy-Hin\v{c}in formula is derived in perfect analogy with the bi-free case, and some Bercovici-Pata type bijections are provided. Additional topics considered include the additive bi-Fermi convolution, some relations between the $(\ell, r)$- and B-$(\ell, r)$-cumulants, and bi-Boolean independence in an amalgamated setting. The last section of this paper also includes an errata that will be published with this copy of the paper.


title: Deep Convolutional Neural Network Inference with Floating-point Weights and Fixed-point Activations

abstract: Deep convolutional neural network (CNN) inference requires significant amount of memory and computation, which limits its deployment on embedded devices. To alleviate these problems to some extent, prior research utilize low precision fixed-point numbers to represent the CNN weights and activations. However, the minimum required data precision of fixed-point weights varies across different networks and also across different layers of the same network. In this work, we propose using floating-point numbers for representing the weights and fixed-point numbers for representing the activations. We show that using floating-point representation for weights is more efficient than fixed-point representation for the same bit-width and demonstrate it on popular large-scale CNNs such as AlexNet, SqueezeNet, GoogLeNet and VGG-16. We also show that such a representation scheme enables compact hardware multiply-and-accumulate (MAC) unit design. Experimental results show that the proposed scheme reduces the weight storage by up to 36% and power consumption of the hardware multiplier by up to 50%.


title: Efficient computational strategies to learn the structure of probabilistic graphical models of cumulative phenomena

abstract: Structural learning of Bayesian Networks (BNs) is a NP-hard problem, which is further complicated by many theoretical issues, such as the I-equivalence among different structures. In this work, we focus on a specific subclass of BNs, named Suppes-Bayes Causal Networks (SBCNs), which include specific structural constraints based on Suppes' probabilistic causation to efficiently model cumulative phenomena. Here we compare the performance, via extensive simulations, of various state-of-the-art search strategies, such as local search techniques and Genetic Algorithms, as well as of distinct regularization methods. The assessment is performed on a large number of simulated datasets from topologies with distinct levels of complexity, various sample size and different rates of errors in the data. Among the main results, we show that the introduction of Suppes' constraints dramatically improve the inference accuracy, by reducing the solution space and providing a temporal ordering on the variables. We also report on trade-offs among different search techniques that can be efficiently employed in distinct experimental settings. This manuscript is an extended version of the paper "Structural Learning of Probabilistic Graphical Models of Cumulative Phenomena" presented at the 2018 International Conference on Computational Science.


title: Topological Protection of Coherence in a Dissipative Environment

abstract: One dimensional topological insulators are characterized by edge states with exponentially small energies. According to one generalization of topological phases to non-Hermitian systems, a finite system in a non-trivial topological phase displays surface states with exponentially long life times. In this work we explore the possibility of exploiting such non-Hermitian topological phases to enhance the quantum coherence of a fiducial qubit embedded in a dissipative environment. We first show that a network of qubits interacting with lossy cavities can be represented, in a suitable super-one-particle sector, by a non-Hermitian "Hamiltonian" of the desired form. We then study, both analytically and numerically, one-dimensional geometries with up to three sites per unit cell, and up to a topological winding number $W=2$. For finite-size systems the number of edge modes is a complicated function of $W$ and the system size $N$. However we find that there are precisely $W$ modes localized at one end of the chain. In such topological phases the quibt's coherence lifetime is exponentially large in the system size. We verify that, for $W>1$, at large times, the Lindbladian evolution is approximately a non-trivial unitary. For $W=2$ this results in Rabi-like oscillations of the qubit's coherence measure.


title: Causal Data Science for Financial Stress Testing

abstract: The most recent financial upheavals have cast doubt on the adequacy of some of the conventional quantitative risk management strategies, such as VaR (Value at Risk), in many common situations. Consequently, there has been an increasing need for verisimilar financial stress testings, namely simulating and analyzing financial portfolios in extreme, albeit rare scenarios. Unlike conventional risk management which exploits statistical correlations among financial instruments, here we focus our analysis on the notion of probabilistic causation, which is embodied by Suppes-Bayes Causal Networks (SBCNs); SBCNs are probabilistic graphical models that have many attractive features in terms of more accurate causal analysis for generating financial stress scenarios. In this paper, we present a novel approach for conducting stress testing of financial portfolios based on SBCNs in combination with classical machine learning classification tools. The resulting method is shown to be capable of correctly discovering the causal relationships among financial factors that affect the portfolios and thus, simulating stress testing scenarios with a higher accuracy and lower computational complexity than conventional Monte Carlo Simulations.


title: A computational study on lens spaces isospectral on forms

abstract: We make a computational study to know what kind of isospectralities among lens spaces and lens orbifolds exist considering the Hodge--Laplace operators acting on smooth $p$-forms. Several evidenced facts are proved and some others are conjectured.


title: Combining Model-Based and Model-Free Updates for Trajectory-Centric Reinforcement Learning

abstract: Reinforcement learning (RL) algorithms for real-world robotic applications need a data-efficient learning process and the ability to handle complex, unknown dynamical systems. These requirements are handled well by model-based and model-free RL approaches, respectively. In this work, we aim to combine the advantages of these two types of methods in a principled manner. By focusing on time-varying linear-Gaussian policies, we enable a model-based algorithm based on the linear quadratic regulator (LQR) that can be integrated into the model-free framework of path integral policy improvement (PI2). We can further combine our method with guided policy search (GPS) to train arbitrary parameterized policies such as deep neural networks. Our simulation and real-world experiments demonstrate that this method can solve challenging manipulation tasks with comparable or better performance than model-free methods while maintaining the sample efficiency of model-based methods. A video presenting our results is available at https://sites.google.com/site/icml17pilqr


title: Sound waves and vortices in a polarized relativistic fluid

abstract: We extend the effective theory approach to the ideal fluid limit where the polarization of the fluid is non-zero. After describing and motivating the equations of motion, we expand them around the hydrostatic limit, obtaining the sound wave and vortex degrees of freedom. We discuss how the presence of polarization affects the stability and causality of the ideal fluid limit.


title: Typical structure of oriented graphs and digraphs with forbidden blow-up transitive triangle

abstract: In this work, we establish an analogue result of the Erd\"os-Stone theorem of weighted digraphs using Regularity Lemma of digraphs. We give a stability result of oriented graphs and digraphs with forbidden blow-up transitive triangle and show that almost all oriented graphs and almost all digraphs with forbidden blow-up transitive triangle are almost bipartite respectively.


title: Enriques surfaces with normal K3-like coverings

abstract: We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the resulting twistor lines in the moduli stack of Enriques surfaces, including the case that the K3-like covering is a normal rational surface rather then a normal K3 surface. Among other things, we show that elliptic double points indeed do occur. In this case,there is only one singularity.The main idea is to apply flops to Frobenius pullbacks of rational elliptic surfaces, to get the desired K3-like covering. Our results hinge on Lang's classification of rational elliptic surfaces, the determination of their Mordell--Weil lattices by Shioda and Oguiso, and the behavior of unstable fibers under Frobenius pullback via Ogg's Formula. Along the way, we develop a general theory of Zariski singularities in arbitrary dimension, which is tightly interwoven with the theory of height-one group schemes actions and restricted Lie algebras. Furthermore, we determine under what conditions tangent sheaves are locally free, and introduce a theory of canonical coverings for arbitrary proper algebraic schemes.


title: Printing non-Euclidean solids

abstract: Geometrically frustrated solids with non-Euclidean reference metric are ubiquitous in biology and are becoming increasingly relevant in technological applications. Often they acquire a targeted con- figuration of incompatibility through surface accretion of mass as in tree growth or dam construction. We use the mechanics of incompatible surface growth to show that geometrical frustration develop- ing during deposition can be fine-tuned to ensure a particular behavior of the system in physiological (or working) conditions. As an illustration, we obtain an explicit 3D printing protocol for arteries, which guarantees stress uniformity under inhomogeneous loading, and for explosive plants, allowing a complete release of residual elastic energy with a single cut. Interestingly, in both cases reaching the physiological target requires the incompatibility to have a topological (global) component.


title: The first supermassive black holes

abstract: We briefly review the historical development of the ideas regarding the first supermassive black hole seeds, the physics of their formation and radiative feedback, recent theoretical and observational progress, and our outlook for the future.


title: Immediate dense circumstellar environment of supernova progenitors caused by wind acceleration: its effect on supernova light curves

abstract: Type IIP supernova progenitors are often surrounded by dense circumstellar media that may result from mass-loss enhancement of the progenitors shortly before their explosions. Previous light-curve studies suggest that the mass-loss rates are enhanced up to ~ 0.1 Msun/yr, assuming a constant wind velocity. However, density of circumstellar media at the immediate stellar vicinity can be much higher than previously inferred for a given mass-loss rate if wind acceleration is taken into account. We show that the wind acceleration has a huge impact when we estimate mass-loss rates from early light curves of Type IIP supernovae by taking SN 2013fs as an example. We perform numerical calculations of the interaction between supernova ejecta and circumstellar media with a constant mass-loss rate but with a beta-law wind velocity profile. We find that the mass-loss rate of the progenitor of SN 2013fs shortly before the explosion, which was inferred to be ~ 0.1 Msun/yr with a constant wind velocity of 10 km/s by a previous light-curve modeling, can be as low as ~ 1e-3 Msun/yr with the same terminal wind velocity of 10 km/s but with a wind velocity profile with beta ~ 5. In both cases, the mass of the circumstellar medium is similar (~ 0.5 Msun). Therefore, the beginning of the progenitor's mass-loss enhancement in our interpretation is ~ 100 years before the explosion, not several years. Our result indicates that the immediate dense environment of Type II supernova progenitors may be significantly influenced by wind acceleration.


title: Thermally induced stresses in boulders on airless body surfaces, and implications for rock breakdown

abstract: This work investigates the macroscopic thermomechanical behavior of lunar boulders by modeling their response to diurnal thermal forcing. Our results reveal a bimodal, spatiotemporally-complex stress response. During sunrise, stresses occur in the boulders' interiors that are associated with large-scale temperature gradients developed due to overnight cooling. During sunset, stresses occur at the boulders' exteriors due to the cooling and contraction of the surface. Both kinds of stresses are on the order of 10 MPa in 1 m boulders and decrease for smaller diameters, suggesting that larger boulders break down more quickly. Boulders <30 cm exhibit a weak response to thermal forcing, suggesting a threshold below which crack propagation may not occur. Boulders of any size buried by regolith are shielded from thermal breakdown. As boulders increase in size (>1 m), stresses increase to several 10s of MPa as the behavior of their surfaces approaches that of an infinite halfspace. As the thermal wave loses contact with the boulder interior, stresses become limited to the near-surface. This suggests that the survival time of a boulder is not only controlled by the amplitude of induced stress, but also by its diameter as compared to the diurnal skin depth. While stresses on the order of 10 MPa are enough to drive crack propagation in terrestrial environments, crack propagation rates in vacuum are not well constrained. We explore the relationship between boulder size, stress, and the direction of crack propagation, and discuss the implications for the relative breakdown rates and estimated lifetimes of boulders on airless body surfaces.


title: Invariant measures for the actions of the modular group

abstract: In this note, we give a nature action of the modular group on the ends of the infinite (p + 1)-cayley tree, for each prime p. We show that there is a unique invariant probability measure for each p.


title: Local equilibrium and retardation revisited

abstract: In modeling solute transport with mobile-immobile mass transfer (MIMT), it is common to use an advection-dispersion equation (ADE) with a retardation factor, or retarded ADE. This is commonly referred to as making the local equilibrium assumption. Assuming local equilibrium (LE), Eulerian textbook treatments derive the retarded ADE, ostensibly exactly. However, other authors have presented rigorous mathematical derivations of the dispersive effect of mass transfer, applicable even in the case of arbitrarily fast mass transfer. First, we resolve the apparent contradiction between these seemingly exact derivations by adopting a Lagrangian point of view. We show that LE constrains the expected time immobile, whereas the retarded ADE actually embeds a stronger, nonphysical, constraint: that all particles spend the same amount of every time increment immobile. Eulerian derivations of the retarded ADE thus silently commit the gambler's fallacy, leading them to ignore dispersion due to mass transfer that is correctly modeled by other approaches. Second, we present a numerical particle tracking study of transport in a heterogeneous aquifer subject to first-order MIMT. Transport is modeled (a) exactly, and then (b) approximated with the retarded ADE. Strikingly different results are obtained, even though quasi-LE is maintained at all times by the exact MIMT simulation. We thus observe that use of the phrase local equilibrium assumption to refer to ADE validity is not correct. We highlight that solute remobilization rate is the true control on retarded ADE validity, and note that classic "local equilibrium assumption" (i.e., ADE validity) criteria actually test for insignificance of MIMT-driven dispersion relative to hydrodynamic dispersion, rather than for local equilibrium.


title: A major-index preserving map on fillings

abstract: We generalize a map by S. Mason regarding two combinatorial models for key polynomials, in a way that accounts for the major index. We also define similar variants of this map, that regards alternative models for the modified Macdonald polynomials at $t=0$, thus partially answer a question by J. Haglund. These maps imply certain uniqueness property regarding inversion-- and coinversion-free fillings, which allows us to generalize the notion of charge to a non-symmetric setting, thus answering a question by A. Lascoux. The analogous question in the symmetric setting proves a conjecture by K. Nelson.


title: Weak type operator Lipschitz and commutator estimates for commuting tuples

abstract: Let $f: \mathbb{R}^d \to\mathbb{R}$ be a Lipschitz function. If $B$ is a bounded self-adjoint operator and if $\{A_k\}_{k=1}^d$ are commuting bounded self-adjoint operators such that $[A_k,B]\in L_1(H),$ then $$\|[f(A_1,\cdots,A_d),B]\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|[A_k,B]\|_1,$$ where $c(d)$ is a constant independent of $f$, $\mathcal{M}$ and $A,B$ and $\|\cdot\|_{1,\infty}$ denotes the weak $L_1$-norm. If $\{X_k\}_{k=1}^d$ (respectively, $\{Y_k\}_{k=1}^d$) are commuting bounded self-adjoint operators such that $X_k-Y_k\in L_1(H),$ then $$\|f(X_1,\cdots,X_d)-f(Y_1,\cdots,Y_d)\|_{1,\infty}\leq c(d)\|\nabla(f)\|_{\infty}\max_{1\leq k\leq d}\|X_k-Y_k\|_1.$$


title: Characterizing the impact of model error in hydrogeologic time series recovery inverse problems

abstract: Hydrogeologic models are commonly over-smoothed relative to reality, owing to the difficulty of obtaining accurate high-resolution information about the subsurface. When used in an inversion context, such models may introduce systematic biases which cannot be encapsulated by an unbiased "observation noise" term of the type assumed by standard regularization theory and typical Bayesian formulations. Despite its importance, model error is difficult to encapsulate systematically and is often neglected. Here, model error is considered for a hydrogeologically important class of inverse problems that includes interpretation of hydraulic transients and contaminant source history inference: reconstruction of a time series that has been convolved against a transfer function (i.e., impulse response) that is only approximately known. Using established harmonic theory along with two results established here regarding triangular Toeplitz matrices, upper and lower error bounds are derived for the effect of systematic model error on time series recovery for both well-determined and over-determined inverse problems. A Monte Carlo study of a realistic hydraulic reconstruction problem is presented, and the lower error bound is seen informative about expected behavior. A possible diagnostic criterion for blind transfer function characterization is also uncovered.


title: Deep Learning applied to NLP

abstract: Convolutional Neural Network (CNNs) are typically associated with Computer Vision. CNNs are responsible for major breakthroughs in Image Classification and are the core of most Computer Vision systems today. More recently CNNs have been applied to problems in Natural Language Processing and gotten some interesting results. In this paper, we will try to explain the basics of CNNs, its different variations and how they have been applied to NLP.


title: Refinements of Lagrange's four-square theorem

abstract: A well-known theorem of Lagrange asserts that every nonnegative integer $n$ can be written in the form $a^2+b^2+c^2+d^2$, where $a,b,c,d \in \mathbb{Z}$. We characterize the values assumed by $a+b+c+d$ as we range over all such representations of $n$.


title: Collaborative similarity analysis of multilayer developer-project bipartite network

abstract: To understand the multiple relations between developers and projects on GitHub as a whole, we model them as a multilayer bipartite network and analyze the degree distributions, the nearest neighbors' degree distributions and their correlations with degree, and the collaborative similarity distributions and their correlations with degree. Our results show that all degree distributions have a power-law form, especially, the degree distribution of projects in watching layer has double power-law form. Negative correlations between nearest neighbors' degree and degree for both developers and projects are observed in both layers, exhibiting a disassortative mixing pattern. The collaborative similarity of both developers and projects negatively correlates with degree in watching layer, while a positive correlations is observed for developers in forking layer and no obvious correlation is observed for projects in forking layer.


title: Nanomechanical resonators show higher order nonlinearity at room temperature

abstract: Most mechanical resonators are treated as simple linear oscillators. Nonlinearity in the resonance behavior of nanoelectromechanical systems (NEMS) has only lately attracted significant interest. Most recently, cubic-order nonlinearity has been used to explain anomalies in the resonance frequency behaviors in the frequency domain. Particularly, such nonlinearities were explained using cubic nonlinearity in the restoring force (Duffing nonlinearity) or damping (van der Pol nonlinearity). Understanding the limits of linear resonant behavior is particularly important in NEMS, as they are frequently studied for their potential in ultrasensitive sensing and detection, applications that most commonly assume a linear behavior to transduce motion into a detected signal. In this paper, we report that even at low excitation, cubic nonlinearity is insufficient to explain nonlinearity in graphene NEMS. Rather, we observe that higher order, in particular, the fifth order effects need to be considered even for systems at room temperature with modest quality factors. These are particularly important results that could determine the limits of linear detection in such systems and quite possibly present unconventional avenues for ultrasensitive detection paradigms using nonlinear dynamics. Such intriguing possibilities, however, hinge crucially on a superior understanding and exploitation of these inherent nonlinearities as opposed to modeling them as approximated linear or cubic systems.


title: Fitting the Linear Preferential Attachment Model

abstract: Preferential attachment is an appealing mechanism for modeling power-law behavior of the degree distributions in directed social networks. In this paper, we consider methods for fitting a 5-parameter linear preferential model to network data under two data scenarios. In the case where full history of the network formation is given, we derive the maximum likelihood estimator of the parameters and show that it is strongly consistent and asymptotically normal. In the case where only a single-time snapshot of the network is available, we propose an estimation method which combines method of moments with an approximation to the likelihood. The resulting estimator is also strongly consistent and performs quite well compared to the MLE estimator. We illustrate both estimation procedures through simulated data, and explore the usage of this model in a real data example.


title: Normal State Gap in Parent Cuprate Pr2CuO4+/-{\delta}

abstract: We present a tunneling study on single crystalline parent cuprate thin films, i.e. a series of Pr2CuO4+/-{\delta}(PCO) with tunable superconducting transition temperature. The zero-bias anomaly of differential conductance, well reported in the normal state of R2-xCexCuO4 (R = Pr, Nd, La) and named as normal state gap (NSG), is observed in the Ce-free samples. This NSG behaves quite robust against the magnetic field up to 16 T, but fades away with increasing the temperature. Most importantly, we find that the magnitude of the NSG becomes larger with increasing point-contact junction resistance on the superconducting films, which is further enhanced in the non-superconducting samples of more oxygen disorders. The origination of NSG can be understood in the framework of Altshuler-Aronov-Lee (AAL) theory, where the disorder-induced electron-electron interactions suppress the density of states and thereby result in a soft Coulomb gap.


title: Information Extraction in Illicit Domains

abstract: Extracting useful entities and attribute values from illicit domains such as human trafficking is a challenging problem with the potential for widespread social impact. Such domains employ atypical language models, have `long tails' and suffer from the problem of concept drift. In this paper, we propose a lightweight, feature-agnostic Information Extraction (IE) paradigm specifically designed for such domains. Our approach uses raw, unlabeled text from an initial corpus, and a few (12-120) seed annotations per domain-specific attribute, to learn robust IE models for unobserved pages and websites. Empirically, we demonstrate that our approach can outperform feature-centric Conditional Random Field baselines by over 18\% F-Measure on five annotated sets of real-world human trafficking datasets in both low-supervision and high-supervision settings. We also show that our approach is demonstrably robust to concept drift, and can be efficiently bootstrapped even in a serial computing environment.


title: DA-RNN: Semantic Mapping with Data Associated Recurrent Neural Networks

abstract: 3D scene understanding is important for robots to interact with the 3D world in a meaningful way. Most previous works on 3D scene understanding focus on recognizing geometrical or semantic properties of the scene independently. In this work, we introduce Data Associated Recurrent Neural Networks (DA-RNNs), a novel framework for joint 3D scene mapping and semantic labeling. DA-RNNs use a new recurrent neural network architecture for semantic labeling on RGB-D videos. The output of the network is integrated with mapping techniques such as KinectFusion in order to inject semantic information into the reconstructed 3D scene. Experiments conducted on a real world dataset and a synthetic dataset with RGB-D videos demonstrate the ability of our method in semantic 3D scene mapping.


title: Dynamics and inertia of a skyrmion in chiral magnets and interfaces: A linear response approach based on magnon excitations

abstract: Taking all the magnon modes into account, we derive the skyrmion dynamics in response to a weak external drive. A skyrmion has rotational symmetry and the magnon modes can be characterized by an angular momentum. For a weak distortion of a skyrmion, only the magnon modes with an angular momentum $|m|=1$ govern the dynamics of skyrmion topological center. The skyrmion inertia is determined by the magnon modes in the continuum spectrum. For a skyrmion driven by a magnetic field gradient or by a spin transfer torque generated by a current, the dynamical response is practically instantaneous. This justifies the rigid skyrmion approximation used in Thiele's collective coordinate approach. For a skyrmion driven by a spin Hall torque, the torque couples to the skyrmion motion through the magnons in the continuum and damping, therefore the skyrmion dynamics shows sizable inertia in this case. The trajectory of a skyrmion is an ellipse for an ac drive of spin Hall torque.


title: Dynamics of a Bilayer Membrane Coupled to a Two-dimensional Cytoskeleton: Scale Transfers of Membrane Deformations

abstract: We theoretically investigate the dynamics of a floating lipid bilayer membrane coupled with a two-dimensional cytoskeleton network, taking into explicitly account the intermonolayer friction, the discrete lattice structure of the cytoskeleton, and its prestress. The lattice structure breaks lateral continuous translational symmetry and couples Fourier modes with different wavevectors. It is shown that within a short time interval a long-wavelength deformation excites a collection of modes with wavelengths shorter than the lattice spacing. These modes relax slowly with a common renormalized rate originating from the long-wavelength mode. As a result, and because of the prestress, the slowest relaxation is governed by the intermonolayer friction. Reversely, and most interestingly, forces applied at the scale of the cytoskeleton for a sufficiently long time can cooperatively excite large-scale modes.


title: Robust MPC for tracking of nonholonomic robots with additive disturbances

abstract: In this paper, two robust model predictive control (MPC) schemes are proposed for tracking control of nonholonomic systems with bounded disturbances: tube-MPC and nominal robust MPC (NRMPC). In tube-MPC, the control signal consists of a control action and a nonlinear feedback law based on the deviation of the actual states from the states of a nominal system. It renders the actual trajectory within a tube centered along the optimal trajectory of the nominal system. Recursive feasibility and input-to-state stability are established and the constraints are ensured by tightening the input domain and the terminal region. While in NRMPC, an optimal control sequence is obtained by solving an optimization problem based on the current state, and the first portion of this sequence is applied to the real system in an open-loop manner during each sampling period. The state of nominal system model is updated by the actual state at each step, which provides additional a feedback. By introducing a robust state constraint and tightening the terminal region, recursive feasibility and input-to-state stability are guaranteed. Simulation results demonstrate the effectiveness of both strategies proposed.


title: Predictive and Recommendatory Spectrum Decision for Cognitive Radio

abstract: Cognitive radio technology enables improving the utilization efficiency of the precious and scarce radio spectrum. How to maximize the overall spectrum efficiency while minimizing the conflicts with primary users is vital to cognitive radio. The key is to make the right decisions of accessing the spectrum. Spectrum prediction can be employed to predict the future states of a spectrum band using previous states of the spectrum band, whereas spectrum recommendation recommends secondary users a subset of available spectrum bands based on secondary user's previous experiences of accessing the available spectrum bands. In this paper, a framework for spectrum decision based on spectrum prediction and spectrum recommendation is proposed. As a benchmark, a method based on extreme learning machine (ELM) for single-user spectrum prediction and a method based on Q-learning for multiple-user spectrum prediction are proposed. At the stage of spectrum decision, two methods based on Q-learning andMarkov decision process (MDP), respectively, are also proposed to enhance the overall performance of spectrum decision. Experimental results show that the performance of the spectrum decision framework is much better.


title: Relativistic Disk Reflection in the Neutron Star X-ray Binary XTE J1709-267 with NuSTAR

abstract: We perform the first reflection study of the soft X-ray transient and Type 1 burst source XTE J1709-267 using NuSTAR observations during its 2016 June outburst. There was an increase in flux near the end of the observations, which corresponds to an increase from $\sim$0.04 L$_{\mathrm{Edd}}$ to $\sim$0.06 L$_{\mathrm{Edd}}$ assuming a distance of 8.5 kpc. We have separately examined spectra from the low and high flux intervals, which were soft and show evidence of a broad Fe K line. Fits to these intervals with relativistic disk reflection models have revealed an inner disk radius of $13.8_{-1.8}^{+3.0}\ R_{g}$ (where $R_{g} = GM/c^{2}$) for the low flux spectrum and $23.4_{-5.4}^{+15.6}\ R_{g}$ for the high flux spectrum at the 90\% confidence level. The disk is likely truncated by a boundary layer surrounding the neutron star or the magnetosphere. Based on the measured luminosity and using the accretion efficiency for a disk around a neutron star, we estimate that the theoretically expected size for the boundary layer would be $\sim0.9-1.1 \ R_{g}$ from the neutron star's surface, which can be increased by spin or viscosity effects. Another plausible scenario is that the disk could be truncated by the magnetosphere. We place a conservative upper limit on the strength of the magnetic field at the poles, assuming $a_{*}=0$ and $M_{NS}=1.4\ M_{\odot}$, of $B\leq0.75-3.70\times10^{9}$ G, though X-ray pulsations have not been detected from this source.


title: Quantum Charge Pumps with Topological Phases in Creutz Ladder

abstract: Quantum charge pumping phenomenon connects band topology through the dynamics of a one-dimensional quantum system. In terms of a microscopic model, the Su-Schrieffer-Heeger/Rice-Mele quantum pump continues to serve as a fruitful starting point for many considerations of topological physics. Here we present a generalized Creutz scheme as a distinct two-band quantum pump model. By noting that it undergoes two kinds of topological band transitions accompanying with a Zak-phase-difference of $\pi$ and $2\pi$, respectively, various charge pumping schemes are studied by applying an elaborate Peierl's phase substitution. Translating into real space, the transportation of quantized charges is a result of cooperative quantum interference effect. In particular, an all-flux quantum pump emerges which operates with time-varying fluxes only and transports two charge units. This puts cold atoms with artificial gauge fields as an unique system where this kind of phenomena can be realized.


title: New Kaluza-Klein Instantons and Decay of AdS Vacua

abstract: We construct a generalization of Witten's Kaluza-Klein instanton, where a higher-dimensional sphere (rather than a circle as in Witten's instanton) collapses to zero size and the geometry terminates at a bubble of nothing, in a low energy effective theory of M theory. We use the solution to exhibit instability of non-supersymmetric AdS_5 vacua in M Theory compactified on positive Kaehler-Einstein spaces, providing a further evidence for the recent conjecture that any non-supersymmetric anti-de Sitter vacuum supported by fluxes must be unstable.


title: Oxygen migration during resistance switching and failure of hafnium oxide memristors

abstract: While the recent establishment of the role of thermophoresis/diffusion-driven oxygen migration during resistance switching in metal oxide memristors provided critical insights required for memristor modeling, extended investigations of the role of oxygen migration during ageing and failure remain to be detailed. Such detailing will enable failure-tolerant design, which can lead to enhanced performance of memristor-based next-generation storage-class memory. Here we directly observed lateral oxygen migration using in-situ synchrotron x-ray absorption spectromicroscopy of HfOx memristors during initial resistance switching, wear over millions of switching cycles, and eventual failure, through which we determined potential physical causes of failure. Using this information, we reengineered devices to mitigate three failure mechanisms, and demonstrated an improvement in endurance of about three orders of magnitude.


title: Online Human-Bot Interactions: Detection, Estimation, and Characterization

abstract: Increasing evidence suggests that a growing amount of social media content is generated by autonomous entities known as social bots. In this work we present a framework to detect such entities on Twitter. We leverage more than a thousand features extracted from public data and meta-data about users: friends, tweet content and sentiment, network patterns, and activity time series. We benchmark the classification framework by using a publicly available dataset of Twitter bots. This training data is enriched by a manually annotated collection of active Twitter users that include both humans and bots of varying sophistication. Our models yield high accuracy and agreement with each other and can detect bots of different nature. Our estimates suggest that between 9% and 15% of active Twitter accounts are bots. Characterizing ties among accounts, we observe that simple bots tend to interact with bots that exhibit more human-like behaviors. Analysis of content flows reveals retweet and mention strategies adopted by bots to interact with different target groups. Using clustering analysis, we characterize several subclasses of accounts, including spammers, self promoters, and accounts that post content from connected applications.


title: Image Classification of Melanoma, Nevus and Seborrheic Keratosis by Deep Neural Network Ensemble

abstract: This short paper reports the method and the evaluation results of Casio and Shinshu University joint team for the ISBI Challenge 2017 - Skin Lesion Analysis Towards Melanoma Detection - Part 3: Lesion Classification hosted by ISIC. Our online validation score was 0.958 with melanoma classifier AUC 0.924 and seborrheic keratosis classifier AUC 0.993.


title: Long quasi-polycyclic $t-$CIS codes

abstract: We study complementary information set codes of length $tn$ and dimension $n$ of order $t$ called ($t-$CIS code for short). Quasi-cyclic and quasi-twisted $t$-CIS codes are enumerated by using their concatenated structure. Asymptotic existence results are derived for one-generator and have co-index $n$ by Artin's conjecture for quasi cyclic and special case for quasi twisted. This shows that there are infinite families of long QC and QT $t$-CIS codes with relative distance satisfying a modified Varshamov-Gilbert bound for rate $1/t$ codes. Similar results are defined for the new and more general class of quasi-polycyclic codes introduced recently by Berger and Amrani.


title: On extensions of characters of affine pro-$p$ Iwahori--Hecke algebra

abstract: Let $K$ be a non-discrete non-Archimedean local field with residue characteristic $p$. Let $G$ be the group of $K$ rational points of a algebraic connected reductive group defined over $K$. In this article we compute the extensions between characters of affine pro-$p$ Iwahori--Hecke algebra $\mathcal{H}^{\text{aff}}$ over an algebraically closed field $R$ of characteristic $p$. In rank one case we deduce the relation between the blocks and $L$-packets.


title: Statistical Cost Sharing

abstract: We study the cost sharing problem for cooperative games in situations where the cost function $C$ is not available via oracle queries, but must instead be derived from data, represented as tuples $(S, C(S))$, for different subsets $S$ of players. We formalize this approach, which we call statistical cost sharing, and consider the computation of the core and the Shapley value, when the tuples are drawn from some distribution $\mathcal{D}$. Previous work by Balcan et al. in this setting showed how to compute cost shares that satisfy the core property with high probability for limited classes of functions. We expand on their work and give an algorithm that computes such cost shares for any function with a non-empty core. We complement these results by proving an inapproximability lower bound for a weaker relaxation. We then turn our attention to the Shapley value. We first show that when cost functions come from the family of submodular functions with bounded curvature, $\kappa$, the Shapley value can be approximated from samples up to a $\sqrt{1 - \kappa}$ factor, and that the bound is tight. We then define statistical analogues of the Shapley axioms, and derive a notion of statistical Shapley value. We show that these can always be approximated arbitrarily well for general functions over any distribution $\mathcal{D}$.


title: Dynamic Intention-Aware Recommendation System

abstract: Recommender systems have been actively and extensively studied over past decades. In the meanwhile, the boom of Big Data is driving fundamental changes in the development of recommender systems. In this paper, we propose a dynamic intention-aware recommender system to better facilitate users to find desirable products and services. Compare to prior work, our proposal possesses the following advantages: (1) it takes user intentions and demands into account through intention mining techniques. By unearthing user intentions from the historical user-item interactions, and various user digital traces harvested from social media and Internet of Things, it is capable of delivering more satisfactory recommendations by leveraging rich online and offline user data; (2) it embraces the benefits of embedding heterogeneous source information and shared representations of multiple domains to provide accurate and effective recommendations comprehensively; (3) it recommends products or services proactively and timely by capturing the dynamic influences, which can significantly reduce user involvements and efforts.


title: Performance of Proportional Fair Scheduling for Downlink Non-Orthogonal Multiple Access Systems

abstract: In this paper, we present the first analytical solution for performance analysis of proportional fair scheduling (PFS) in downlink non-orthogonal multiple access (NOMA) systems. Assuming an ideal NOMA system with an arbitrary number of multiplexed users, we derive a closed-form solution of the optimal power allocation for PFS and design a low-complexity algorithm for joint power allocation and user set selection. We develop an analytical model to analyze the throughput performance of this optimal solution based on stochastic channel modeling. Our analytical performance is proved to be the upper bound for PFS and is used to estimate user data rates and overall throughput in practical NOMA systems. We conduct system-level simulations to evaluate the accuracy of our data rate estimation. The simulation results verify our analysis on the upper bound of PFS performance in NOMA and confirm that using the analytical performance for data rate estimation guarantees high accuracy. The impact of partial and imperfect channel information on the estimation performance is investigated as well.


title: Strong CP problem, axions, and cosmological implications of CP violation

abstract: In this talk, I present a pedagogical and historical review related to the CP symmetry. It includes the weak CP violation, the strong CP problem, "invisible" axions and cosmology, and Type-II leptogenesis.


title: On linear complementary-dual multinegacirculant codes

abstract: Linear codes with complementary-duals (LCD) are linear codes that intersect with their dual trivially. Multinegacirculant codes of index $2$ that are LCD are characterized algebraically and some good codes are found in this family. Exact enumeration is performed for indices 2 and 3, and for all indices $t$ for a special case of the co-index by using their concatenated structure. Asymptotic existence results are derived for the special class of such codes that are one-generator and have co-index a power of two by means of Dickson polynomials. This shows that there are infinite families of LCD multinegacirculant codes with relative distance satisfying a modified Varshamov-Gilbert bound.


title: ForestClaw: A parallel algorithm for patch-based adaptive mesh refinement on a forest of quadtrees

abstract: We describe a parallel, adaptive, multi-block algorithm for explicit integration of time dependent partial differential equations on two-dimensional Cartesian grids. The grid layout we consider consists of a nested hierarchy of fixed size, non-overlapping, logically Cartesian grids stored as leaves in a quadtree. Dynamic grid refinement and parallel partitioning of the grids is done through the use of the highly scalable quadtree/octree library p4est. Because our concept is multi-block, we are able to easily solve on a variety of geometries including the cubed sphere. In this paper, we pay special attention to providing details of the parallel ghost-filling algorithm needed to ensure that both corner and edge ghost regions around each grid hold valid values. We have implemented this algorithm in the ForestClaw code using single-grid solvers from ClawPack, a software package for solving hyperbolic PDEs using finite volumes methods. We show weak and strong scalability results for scalar advection problems on two-dimensional manifold domains on 1 to 64Ki MPI processes, demonstrating neglible regridding overhead.


title: Effects of hyperonic many-body force on $B_\Lambda$ values of hypernuclei

abstract: The stiff equation of state (EoS) giving the neutron-star mass of $2M_{\odot}$ suggests the existence of strongly repulsive many-body effect (MBE) not only in nucleon channels but also in hyperonic ones. As a specific model for MBE, the repulsive multi-pomeron exchange potential (MPP) is added to the two-body interaction together with the phenomenological three-body attraction. For various versions of the Nijmegen interaction models, the MBE parts are determined so as to reproduce the observed data of $B_\Lambda$. The mass dependence of $B_\Lambda$ values is shown to be reproduced well by adding MBE with the strong MPP repulsion assuring the stiff EoS of hyperon-mixed neutron-star matter, when $P$-state components of the adopted interaction model lead to almost vanishing contributions. The nuclear matter $\Lambda\!N$ $G$-matrix interactions are derived and used in $\Lambda$ hypernuclei on the basis of the averaged-density approximation (ADA). The $B_\Lambda$ values of hypernuclei with $9 \le A \le 59$ are analyzed in the framework of Antisymmetrized Molecular Dynamics with use of the two types of $\Lambda\!N$ $G$-matrix interactions including strong and weak MPP repulsions. The calculated values of $B_\Lambda$ reproduce the experimental data finely within a few hundred keV. The values of $B_\Lambda$ in $p$-states also can be reproduced well, when ADA is modified to be suitable also to weakly-bound $\Lambda$ states.


title: Dual Lie bialgebra structures of the twisted Heisenberg-Virasoro type

abstract: In this paper, by studying the maximal good subspaces, we determine the dual Lie coalgebras of the centerless twisted Heisenberg-Virasoro algebra. Based on this, we construct the dual Lie bialgebras structures of the twisted Heisenberg-Virasoro type. As by-products, four new infinite dimensional Lie algebras are obtained.


title: Tracing magnetic fields with spectroscopic channel maps

abstract: We identify velocity channel map intensities as a new way to trace magnetic fields in turbulent media. This work makes use of both of the modern theory of MHD turbulence predicting that the magnetic eddies are aligned with the local direction of magnetic field, and also the theory of the spectral line Position-Position-Velocity (PPV) statistics describing how the velocity and density fluctuations are mapped into the PPV space. In particular, we use the fact that, the fluctuations of intensity of thin channel maps are mostly affected by the turbulent velocity, while the thick maps are dominated by density variations. We study how contributions of the fundamental MHD modes affect the Velocity Channel Gradients (VChGs) and demonstrate that the VChGs arising from Alfven and slow modes are aligned perpendicular to the local direction of magnetic field, while the VChGs produced by the fast mode are aligned parallel to the magnetic field. The dominance of the Alfven and slow modes in the interstellar media will therefore allow a reliable magnetic field tracing using the VChGs. We explore ways of identifying self-gravitating regions that do not require polarimetric information. In addition, we also introduce a new measure termed "Reduced Velocity Centroids" (RVCGs) and compare its abilities with the VChGs. We employed both measures to the GALFA 21cm data and successfully compared thus magnetic field directions with the {\it PLANCK} polarization. The applications of the suggested techniques include both tracing magnetic field in diffuse interstellar media and star forming regions, as well as removing the galactic foreground in the framework of cosmological polarization studies.


title: Relativistic effective degrees of freedom and quantum statistics of neutrinos

abstract: Analytical expressions of the relativistic effective degrees of freedom $g_\ast$ with non-pure fermionic neutrinos are presented. A semi-analytical study is performed to show that $g_\ast$ with pure fermionic neutrinos may be greater than $g_\ast$ with pure bosonic neutrinos for non-vanishing lepton flavor asymmetries.


title: Coordinated Multi-Agent Imitation Learning

abstract: We study the problem of imitation learning from demonstrations of multiple coordinating agents. One key challenge in this setting is that learning a good model of coordination can be difficult, since coordination is often implicit in the demonstrations and must be inferred as a latent variable. We propose a joint approach that simultaneously learns a latent coordination model along with the individual policies. In particular, our method integrates unsupervised structure learning with conventional imitation learning. We illustrate the power of our approach on a difficult problem of learning multiple policies for fine-grained behavior modeling in team sports, where different players occupy different roles in the coordinated team strategy. We show that having a coordination model to infer the roles of players yields substantially improved imitation loss compared to conventional baselines.


title: Zero-field Edge Magnetoplasmons in a Magnetic Topological Insulator

abstract: Incorporating ferromagnetic dopants, such as chromium or vanadium, into thin films of the three-dimensional (3D) topological insulator (TI) (Bi,Sb)2Te3 has recently led to the realisation of the quantum anomalous Hall effect (QAHE), a unique phase of quantum matter. These materials are of great interest, since they may support electrical currents that flow without resistance via edge channels, even at zero magnetic field. To date, the QAHE has been investigated using low-frequency transport measurements. However, transport requires contacting the sample and results can be difficult to interpret due to the presence of parallel conductive paths, via either the bulk or surface, or because additional non-chiral edge channels may exist. Here, we move beyond transport measurements by probing the microwave response of a magnetised disk of Cr-(Bi,Sb)2Te3. We identify features associated with chiral edge magnetoplasmons (EMPs), a signature that robust edge-channels are indeed intrinsic to this material system. Our results provide a measure of the velocity of edge excitations without contacting the sample, and pave the way for a new, on-chip circuit element of practical importance: the TI, zero-field microwave circulator.


title: Scaling up Data Augmentation MCMC via Calibration

abstract: There has been considerable interest in making Bayesian inference more scalable. In big data settings, most literature focuses on reducing the computing time per iteration, with less focused on reducing the number of iterations needed in Markov chain Monte Carlo (MCMC). This article focuses on data augmentation MCMC (DA-MCMC), a widely used technique. DA-MCMC samples tend to become highly autocorrelated in large data samples, due to a miscalibration problem in which conditional posterior distributions given augmented data are too concentrated. This makes it necessary to collect very long MCMC paths to obtain acceptably low MC error. To combat this inefficiency, we propose a family of calibrated data augmentation algorithms, which appropriately adjust the variance of conditional posterior distributions. A Metropolis-Hastings step is used to eliminate bias in the stationary distribution of the resulting sampler. Compared to existing alternatives, this approach can dramatically reduce MC error by reducing autocorrelation and increasing the effective number of DA-MCMC samples per computing time. The approach is simple and applicable to a broad variety of existing data augmentation algorithms, and we focus on three popular models: probit, logistic and Poisson log-linear. Dramatic gains in computational efficiency are shown in applications.


title: Solvability of the Stokes Immersed Boundary Problem in Two Dimensions

abstract: We study coupled motion of a 1-D closed elastic string immersed in a 2-D Stokes flow, known as the Stokes immersed boundary problem in two dimensions. Using the fundamental solution of the Stokes equation and the Lagrangian coordinate of the string, we write the problem into a contour dynamic formulation, which is a nonlinear non-local equation solely keeping track of evolution of the string configuration. We prove existence and uniqueness of local-in-time solution starting from an arbitrary initial configuration that is an $H^{5/2}$-function in the Lagrangian coordinate satisfying the so-called well-stretched assumption. We also prove that when the initial string configuration is sufficiently close to an equilibrium, which is an evenly parameterized circular configuration, then global-in-time solution uniquely exists and it will converge to an equilibrium configuration exponentially as $t\rightarrow +\infty$. The technique in this paper may also apply to the Stokes immersed boundary problem in three dimensions.


title: A sharp lower bound for the lifespan of small solutions to the Schr\"odinger equation with a subcritical power nonlinearity

abstract: Let $T_{\epsilon}$ be the lifespan for the solution to the Schr\"odinger equation on $\mathbb{R}^d$ with a power nonlinearity $\lambda |u|^{2\theta/d}u$ ($\lambda \in \mathbb{C}$, $0<\theta<1$) and the initial data in the form $\epsilon \varphi(x)$. We provide a sharp lower bound estimate for $T_{\epsilon}$ as $\epsilon \to +0$ which can be written explicitly by $\lambda$, $d$, $\theta$, $\varphi$ and $\epsilon$. This is an improvement of the previous result by H.Sasaki [Adv. Diff. Eq. 14 (2009), 1021--1039].


title: DeepSD: Generating High Resolution Climate Change Projections through Single Image Super-Resolution

abstract: The impacts of climate change are felt by most critical systems, such as infrastructure, ecological systems, and power-plants. However, contemporary Earth System Models (ESM) are run at spatial resolutions too coarse for assessing effects this localized. Local scale projections can be obtained using statistical downscaling, a technique which uses historical climate observations to learn a low-resolution to high-resolution mapping. Depending on statistical modeling choices, downscaled projections have been shown to vary significantly terms of accuracy and reliability. The spatio-temporal nature of the climate system motivates the adaptation of super-resolution image processing techniques to statistical downscaling. In our work, we present DeepSD, a generalized stacked super resolution convolutional neural network (SRCNN) framework for statistical downscaling of climate variables. DeepSD augments SRCNN with multi-scale input channels to maximize predictability in statistical downscaling. We provide a comparison with Bias Correction Spatial Disaggregation as well as three Automated-Statistical Downscaling approaches in downscaling daily precipitation from 1 degree (~100km) to 1/8 degrees (~12.5km) over the Continental United States. Furthermore, a framework using the NASA Earth Exchange (NEX) platform is discussed for downscaling more than 20 ESM models with multiple emission scenarios.


title: Are Paralysed Chondrocytes Really Dying?

abstract: The aims of the current study were to establish a system of culture for induction of paralysed chondrocytes and to investigate if these cells are really dying. Chondrocytes were isolated from the growth cartilage of fetal equines, centrifuged and cultured as pellets in either 10% fetal calf serum or 10% horse serum for 28 days and processed for light and electron microscopy. Different cell types were counted and expressed as a percentage to the total cell number. Growth kinetics including the pellet weight and thickness and the cellular density were evaluated. After 7 days in culture, paralysed chondrocytes with similar morphology to those described in the rabbit growth cartilage could be identified in pellets in each serum type, however, the proportion of the cells was different. In pellet cultured with 10% fetal calf serum, more than 50% of the cells were paralysed chondrocytes but in 10% horse serum, less than 10% of cells were of paralysed type. At day 14, about 50% of the cells in pellets cultured in either serum type differentiated into hypertrophic dark chondrocytes and the proportion of paralysed cells was markedly decreased. After 21 days in each culture, more than 70% of the cells were hypertrophic dark chondrocytes and no paralysed chondrocytes could be observed. The paralysed chondrocytes may be not dying and they likely to be an immature form of hypertrophic dark chondrocytes. It is better to use the term immature dark chondrocytes instead of paralysed cells. This culture system will be useful for further molecular studies on paralysed chondrocytes and to explore the functions of these cells.


title: Detection of incoherent broadband terahertz light using antenna-coupled high-electron-mobility field-effect transistors

abstract: The sensitivity of direct terahertz detectors based on self-mixing of terahertz electromagnetic wave in field-effect transistors is being improved with noise-equivalent power close to that of Schottky-barrier-diode detectors. Here we report such detectors based on AlGaN/GaN two-dimensional electron gas at 77~K are able to sense broadband and incoherent terahertz radiation. The measured photocurrent as a function of the gate voltage agrees well with the self-mixing model and the spectral response is mainly determined by the antenna. A Fourier-transform spectrometer equipped with detectors designed for 340, 650 and 900~GHz bands allows for terahertz spectroscopy in a frequency range from 0.1 to 2.0~THz. The 900~GHz detector at 77~K offers an optical sensitivity about $1~\mathrm{pW/\sqrt{Hz}}$ being comparable to a commercial silicon bolometer at 4.2~K. By further improving the sensitivity, room-temperature detectors would find applications in active/passive terahertz imaging and terahertz spectroscopy.


title: Learning to Remember Rare Events

abstract: Despite recent advances, memory-augmented deep neural networks are still limited when it comes to life-long and one-shot learning, especially in remembering rare events. We present a large-scale life-long memory module for use in deep learning. The module exploits fast nearest-neighbor algorithms for efficiency and thus scales to large memory sizes. Except for the nearest-neighbor query, the module is fully differentiable and trained end-to-end with no extra supervision. It operates in a life-long manner, i.e., without the need to reset it during training. Our memory module can be easily added to any part of a supervised neural network. To show its versatility we add it to a number of networks, from simple convolutional ones tested on image classification to deep sequence-to-sequence and recurrent-convolutional models. In all cases, the enhanced network gains the ability to remember and do life-long one-shot learning. Our module remembers training examples shown many thousands of steps in the past and it can successfully generalize from them. We set new state-of-the-art for one-shot learning on the Omniglot dataset and demonstrate, for the first time, life-long one-shot learning in recurrent neural networks on a large-scale machine translation task.


title: A Structured Self-attentive Sentence Embedding

abstract: This paper proposes a new model for extracting an interpretable sentence embedding by introducing self-attention. Instead of using a vector, we use a 2-D matrix to represent the embedding, with each row of the matrix attending on a different part of the sentence. We also propose a self-attention mechanism and a special regularization term for the model. As a side effect, the embedding comes with an easy way of visualizing what specific parts of the sentence are encoded into the embedding. We evaluate our model on 3 different tasks: author profiling, sentiment classification, and textual entailment. Results show that our model yields a significant performance gain compared to other sentence embedding methods in all of the 3 tasks.


title: Technical Report: Outage Performance of Full-Duplex MIMO DF Relaying using Zero-Forcing Beamforming

abstract: In this paper, we deal with the performance analysis of full-duplex relaying in decode-&-forward cooperative networks with multiple-antenna terminals. More specifically, by analyzing the end-to-end statistics, we derive the accurate closed-form expressions of the end-to-end outage probability for both transmit and receive ZFBF scheme over Rayleigh fading environments. Some selected results show some interesting observations useful for system designers. Specifically, we observe that the outage performance can be improved by adopting the joint ZF-based precoding with different antenna configurations.


title: From the statistics of connectivity to the statistics of spike times in neuronal networks

abstract: An essential step toward understanding neural circuits is linking their structure and their dynamics. In general, this relationship can be almost arbitrarily complex. Recent theoretical work has, however, begun to identify some broad principles underlying collective spiking activity in neural circuits. The first is that local features of network connectivity can be surprisingly effective in predicting global statistics of activity across a network. The second is that, for the important case of large networks with excitatory-inhibitory balance, correlated spiking persists or vanishes depending on the spatial scales of recurrent and feedforward connectivity. We close by showing how these ideas, together with plasticity rules, can help to close the loop between network structure and activity statistics.


title: Microsecond dark-exciton valley polarization memory in 2D heterostructures

abstract: Transition metal dichalcogenides (TMDs) have valley degree of freedom, which features optical selection rule and spin-valley locking, making them promising for valleytronics devices and quantum computation. For either application, a long valley polarization lifetime is crucial. Previous results showed that it is around picosecond in monolayer excitons, nanosecond for electrons, holes or local excitons and tens of nanosecond for interlayer excitons. Here we show that dark excitons in 2D heterostructures provide a microsecond valley polarization memory thanks to the magnetic field induced suppression of valley mixing. The lifetime of the dark excitons shows magnetic field and temperature dependence which is consistent with the theoretical prediction. The long dark exciton lifetime and valley polarization lifetime in 2D heterostructures make them promising for long-distance exciton transport and macroscopic quantum state generations.


title: Characterisation of Optimal Responses to Pulse Inputs in the Bergman Minimal Model

abstract: The Bergman minimal model is a dynamic model of plasma glucose concentration. It has two input variables -- insulin delivery and carbohydrate intake. We investigate the behaviour of plasma glucose concentration predicted by the model given carbohydrate (CHO) inputs and commensurate insulin inputs. We observe that to maintain plasma glucose above a specified minimum concentration results in an unavoidable peak in plasma glucose. Additionally, we specify the timing and magnitude of a bolus pulse to minimise this unavoidable peak in plasma glucose concentration whilst attaining but not going below the desired minimum glucose concentration. Finally, we obtain necessary and sufficient conditions for the glucose concentration to be minimised.


title: Carrier-Specific Femtosecond XUV Transient Absorption of PbI2 Reveals Ultrafast Nonradiative Recombination

abstract: Femtosecond carrier recombination in PbI2 is measured using tabletop high-harmonic extreme ultraviolet (XUV) transient absorption spectroscopy and ultrafast electron diffraction. XUV absorption from 45 eV to 62 eV measures transitions from the iodine 4d core level to the conduction band density of states. Photoexcitation at 400 nm creates separate and distinct transient absorption signals for holes and electrons, separated in energy by the 2.4 eV band gap of the semiconductor. The shape of the conduction band and therefore the XUV absorption spectrum is temperature dependent, and nonradiative recombination converts the initial electronic excitation to thermal excitation within picoseconds. Ultrafast electron diffraction (UED) is used to measure the lattice temperature and confirm the recombination mechanism. The XUV and UED results support a 2nd-order recombination model with a rate constant of 2.5x10-9 cm3/s.


title: Geometric allocation approach to accelerating directed worm algorithm

abstract: The worm algorithm is a versatile technique in the Markov chain Monte Carlo method for both classical and quantum systems. The algorithm substantially alleviates critical slowing down and reduces the dynamic critical exponents of various classical systems. It is crucial to improve the algorithm and push the boundary of the Monte Carlo method for physical systems. We here propose a directed worm algorithm that significantly improves computational efficiency. We use the geometric allocation approach to optimize the worm scattering process: worm backscattering is averted, and forward scattering is favored. Our approach successfully enhances the diffusivity of the worm head (kink), which is evident in the probability distribution of the relative position of the two kinks. Performance improvement is demonstrated for the Ising model at the critical temperature by measurement of exponential autocorrelation times and asymptotic variances. The present worm update is approximately 25 times as efficient as the conventional worm update for the simple cubic lattice model. Surprisingly, our algorithm is even more efficient than the Wolff cluster algorithm, which is one of the best update algorithms. We estimate the dynamic critical exponent of the simple cubic lattice Ising model to be $z \approx 0.27$ in the worm update. The worm and the Wolff algorithms produce different exponents of the integrated autocorrelation time of the magnetic susceptibility estimator but the same exponent of the asymptotic variance. We also discuss how to quantify the computational efficiency of the Markov chain Monte Carlo method. Our approach can be applied to a wide range of physical systems, such as the $| \phi |^4$ model, the Potts model, the O($n$) loop model, and lattice QCD.


title: Turbulent thermal convection over rough plates with varying roughness geometries

abstract: We present a systematic investigation of the effects of roughness geometry on turbulent Rayleigh-B\'enard convection (RBC) over rough plates with pyramid-shaped and periodically distributed roughness elements. Using a parameter $\lambda$ defined as the height of a roughness element over its base width, the heat transport, the flow dynamics and local temperatures are measured for the Rayleigh number range $7.50\times 10^{7} \leq Ra\leq 1.31\times 10^{11}$, and the Prandtl number $Pr$ from 3.57 to 23.34 at four values of $\lambda$. It is found that the heat transport scaling, i.e. $Nu\sim Ra^{\alpha}$ where $Nu$ is the Nusselt number, may be classified into three regimes. In Regime I, the system is in a dynamically smooth state. The heat transport scaling is the same as that in a smooth cell. In Regimes II and III, the heat transport enhances. When $\lambda$ is increased from 0.5 to 4.0, $\alpha$ increases from 0.36 to 0.59 in Regime II, and it increases from 0.30 to 0.50 in Regime III. The experiment demonstrates the heat transport scaling in turbulent RBC can be manipulated using $\lambda$. Previous studies suggest that the transition from Regime I to Regime II, occurs when the thermal boundary layer (BL) thickness becomes smaller than the roughness height $h$. Direct measurements of the viscous BL in the present study suggest that the transition from Regime II to Regime III is likely a result of the viscous BL thickness becoming smaller $h$. The scaling exponent of the Reynolds number $Re$ vs. $Ra$ changes from 0.471 to 0.551 when $\lambda$ is increased from 0.5 to 4.0. It is also found that increasing $\lambda$ increases the clustering of thermal plumes which effectively increases the plumes lifetime that are ultimately responsible for the enhanced heat transport.


title: R&D status of a gas-compressor based two-phase CO2 cooling system for FPCCD Vertex Detector

abstract: Fine pixel CCD (FPCCD) is one of the candidate sensor technologies for the vertex detector used for experiments at the International Linear Collider (ILC). FPCCD vertex detector is supposed to be cooled down to -40 degree for improvement of radiation immunity. For this purpose, a two-phase CO2 cooling system using a gas compressor for CO2 circulation is being developed at KEK. The status of this R&D is presented in this article.


title: Sodium layer chiral distribution and spin structure of Na$_2$Ni$_2$TeO$_6$ with a honeycomb network

abstract: The nature of Na ion distribution, diffusion path, and the spin structure of $P2$-type Na$_2$Ni$_2$TeO$_6$ with a Ni honeycomb network has been explored. The nuclear density distribution of Na ions reveals a 2D chiral pattern within Na layers without breaking the original 3D crystal symmetry, which has been achieved uniquely via an inverse Fourier transform (iFT)-assisted neutron diffraction technique. The Na diffusion pathway described by the calculated iso-surface of Na ion bond valence sum (BVS) map is found consistent to a chiral diffusion mechanism. The Na site occupancy and Ni$^{2+}$ spin ordering were examined in detail with the electron density mapping, neutron diffraction, magnetic susceptibility, specific heat, thermal conductivity and transport measurements. Signatures of both strong incommensurate (ICM) and weak commensurate (CM) antiferromagnetic (AFM) spin ordering were identified in the polycrystalline sample studied, and the CM-AFM spin ordering was confirmed by using a single crystal sample through the $k$-scan in the momentum space corresponding to the AFM peak of ($\frac{1}{2}$, 0, 1).


title: A note on the Schottky problem

abstract: In this article, we discuss and survey the recent progress towards the Schottky problem, and make some comments on the relations between the Andr{\'e}-Oort conjecture, Okounkov convex bodies, Coleman's conjecture, stable modular forms, Siegel-Jacobi spaces, stable Jacobi forms and the Schottky problem.


title: Orthogonal Transform Multiplexing with Memoryless Nonlinearity: a Possible Alternative to Traditional Coded-Modulation Schemes

abstract: In this paper, we propose a novel joint coding-modulation technique based on serial concatenation of orthogonal linear transform, such as discrete Fourier transform (DFT) or Walsh-Hadamard transform (WHT), with memoryless nonlinearity. We demonstrate that such a simple signal construction may exhibit properties of a random code ensemble, as a result approaching channel capacity. Our computer simulations confirm that if the decoder relies on a modified approximate message passing algorithm, the proposed modulation technique exhibits performance on par with state-of-the-art coded modulation schemes that use capacity-approaching component codes. The proposed modulation scheme could be used directly or as a pre-coder for a conventional orthogonal frequency division multiplexing (OFDM) transmitter, resulting in a system possessing all benefits of OFDM along with reduced peak-to-average power ratio (PAPR).


title: Shear viscosity $\eta$ to electrical conductivity $\sigma_{el}$ ratio for an anisotropic QGP

abstract: We study the transport properties of strongly interacting matter in the context of ultrarelativistic heavy ion collision experiments. We calculate the transport coefficients viz. shear viscosity ($\eta$) and electrical conductivity ($\sigma_{\rm{el}}$) of the quark-gluon plasma phase in the presence of momentum anisotropy arising from different expansion rates of the medium in longitudinal and transverse direction. We solve the relativistic Boltzmann kinetic equation in relaxation time approximation to calculate the shear viscosity and electrical conductivity. The calculations are performed within the quasiparticle model to estimate these transport coefficients and discuss the connection between them. We also compare the electrical conductivity results calculated from the quasiparticle model with the ideal case. We compare our results with the corresponding results obtained in the different lattice as well as model calculations.


title: Direct products, varieties, and compactness conditions

abstract: We study equationally Noetherian varieties of groups, rings and monoids. Moreover, we describe equationally Noetherian direct powers for these algebraic structures.


title: Folding procedure for Newton-Okounkov polytopes of Schubert varieties

abstract: The theory of Newton-Okounkov polytopes is a generalization of that of Newton polytopes for toric varieties, and it gives a systematic method of constructing toric degenerations of a projective variety. In the case of Schubert varieties, their Newton-Okounkov polytopes are deeply connected with representation theory. Indeed, Littelmann's string polytopes and Nakashima-Zelevinsky's polyhedral realizations are obtained as Newton-Okounkov polytopes of Schubert varieties. In this paper, we apply the folding procedure to a Newton-Okounkov polytope of a Schubert variety, which relates Newton-Okounkov polytopes of Schubert varieties of different types. As an application of this result, we obtain a new interpretation of Kashiwara's similarity of crystal bases.


title: Oriented Graphene Nanoribbons Embedded in Hexagonal Boron Nitride Trenches

abstract: Graphene nanoribbons (GNRs) are ultra-narrow strips of graphene that have the potential to be used in high-performance graphene-based semiconductor electronics. However, controlled growth of GNRs on dielectric substrates remains a challenge. Here, we report the successful growth of GNRs directly on hexagonal boron nitride substrates with smooth edges and controllable widths using chemical vapour deposition. The approach is based on a type of template growth that allows for the in-plane epitaxy of mono-layered GNRs in nano-trenches on hexagonal boron nitride with edges following a zigzag direction. The embedded GNR channels show excellent electronic properties, even at room temperature. Such in-plane hetero-integration of GNRs, which is compatible with integrated circuit processing, creates a gapped channel with a width of a few benzene rings, enabling the development of digital integrated circuitry based on GNRs.


title: An Approach to Autonomous Science by Modeling Geological Knowledge in a Bayesian Framework

abstract: Autonomous Science is a field of study which aims to extend the autonomy of exploration robots from low level functionality, such as on-board perception and obstacle avoidance, to science autonomy, which allows scientists to specify missions at task level. This will enable more remote and extreme environments such as deep ocean and other planets to be studied, leading to significant science discoveries. This paper presents an approach to extend the high level autonomy of robots by enabling them to model and reason about scientific knowledge on-board. We achieve this by using Bayesian networks to encode scientific knowledge and adapting Monte Carlo Tree Search techniques to reason about the network and plan informative sensing actions. The resulting knowledge representation and reasoning framework is anytime, handles large state spaces and robust to uncertainty making it highly applicable to field robotics. We apply the approach to a Mars exploration mission in which the robot is required to plan paths and decide when to use its sensing modalities to study a scientific latent variable of interest. Extensive simulation results show that our approach has significant performance benefits over alternative methods. We also demonstrate the practicality of our approach in an analog Martian environment where our experimental rover, Continuum, plans and executes a science mission autonomously.


title: Juggling Functions Inside a Database

abstract: We define and study the Functional Aggregate Query (FAQ) problem, which captures common computational tasks across a very wide range of domains including relational databases, logic, matrix and tensor computation, probabilistic graphical models, constraint satisfaction, and signal processing. Simply put, an FAQ is a declarative way of defining a new function from a database of input functions. We present "InsideOut", a dynamic programming algorithm, to evaluate an FAQ. The algorithm rewrites the input query into a set of easier-to-compute FAQ sub-queries. Each sub-query is then evaluated using a worst-case optimal relational join algorithm. The topic of designing algorithms to optimally evaluate the classic multiway join problem has seen exciting developments in the past few years. Our framework tightly connects these new ideas in database theory with a vast number of application areas in a coherent manner, showing potentially that a good database engine can be a general-purpose constraint solver, relational data store, graphical model inference engine, and matrix/tensor computation processor all at once. The InsideOut algorithm is very simple, as shall be described in this paper. Yet, in spite of solving an extremely general problem, its runtime either is as good as or improves upon the best known algorithm for the applications that FAQ specializes to. These corollaries include computational tasks in graphical model inference, matrix/tensor operations, relational joins, and logic. Better yet, InsideOut can be used within any database engine, because it is basically a principled way of rewriting queries. Indeed, it is already part of the LogicBlox database engine, helping efficiently answer traditional database queries, graphical model inference queries, and train a large class of machine learning models inside the database itself.


title: On Hamilton Cycle Decompositions of Tensor Products of Graphs

abstract: A Hamiltonian decomposition of $G$ is a partition of its edge set into disjoint Hamilton cycles. Manikandan and Paulraja conjectured that if $G$ and $H$ are Hamilton cycle decomposable circulant graphs with at least one of them is nonbipartite, then their tensor product is Hamilton cycle decomposable. In this paper, we have proved that, if $G$ is a Hamilton cycle decomposable circulant graph with certain properties and $H$ is a Hamilton cycle decomposable multigraph, then their tensor product is Hamilton cycle decomposable. In particular, tensor products of certain sparse Hamilton cycle decomposable circulant graphs are Hamilton cycle decomposable.


title: Detecting Sockpuppets in Deceptive Opinion Spam

abstract: This paper explores the problem of sockpuppet detection in deceptive opinion spam using authorship attribution and verification approaches. Two methods are explored. The first is a feature subsampling scheme that uses the KL-Divergence on stylistic language models of an author to find discriminative features. The second is a transduction scheme, spy induction that leverages the diversity of authors in the unlabeled test set by sending a set of spies (positive samples) from the training set to retrieve hidden samples in the unlabeled test set using nearest and farthest neighbors. Experiments using ground truth sockpuppet data show the effectiveness of the proposed schemes.


title: A Normalization Model for Analyzing Multi-Tier Millimeter Wave Cellular Networks

abstract: Based on the distinguishing features of multi-tier millimeter wave (mmWave) networks such as different transmit powers, different directivity gains from directional beamforming alignment and path loss laws for line-of-sight (LOS) and non-line-of-sight (NLOS) links, we introduce a normalization model to simplify the analysis of multi-tier mmWave cellular networks. The highlight of the model is that we convert a multi-tier mmWave cellular network into a single-tier mmWave network, where all the base stations (BSs) have the same normalized transmit power 1 and the densities of BSs scaled by LOS or NLOS scaling factors respectively follow piecewise constant function which has multiple demarcation points. On this basis, expressions for computing the coverage probability are obtained in general case with beamforming alignment errors and the special case with perfect beamforming alignment in the communication. According to corresponding numerical exploration, we conclude that the normalization model for multi-tier mmWave cellular networks fully meets requirements of network performance analysis, and it is simpler and clearer than the untransformed model. Besides, an unexpected but sensible finding is that there is an optimal beam width that maximizes coverage probability in the case with beamforming alignment errors.


title: Realization of Quantum Spin Hall State in Monolayer 1T'-WTe2

abstract: A quantum spin Hall (QSH) insulator is a novel two-dimensional quantum state of matter that features quantized Hall conductance in the absence of magnetic field, resulting from topologically protected dissipationless edge states that bridge the energy gap opened by band inversion and strong spin-orbit coupling. By investigating electronic structure of epitaxially grown monolayer 1T'-WTe2 using angle-resolved photoemission (ARPES) and first principle calculations, we observe clear signatures of the topological band inversion and the band gap opening, which are the hallmarks of a QSH state. Scanning tunneling microscopy measurements further confirm the correct crystal structure and the existence of a bulk band gap, and provide evidence for a modified electronic structure near the edge that is consistent with the expectations for a QSH insulator. Our results establish monolayer 1T'-WTe2 as a new class of QSH insulator with large band gap in a robust two-dimensional materials family of transition metal dichalcogenides (TMDCs).


title: Fidelity witnesses for fermionic quantum simulations

abstract: The experimental interest and developments in quantum spin-1/2-chains has increased uninterruptedly over the last decade. In many instances, the target quantum simulation belongs to the broader class of non-interacting fermionic models, constituting an important benchmark. In spite of this class being analytically efficiently tractable, no direct certification tool has yet been reported for it. In fact, in experiments, certification has almost exclusively relied on notions of quantum state tomography scaling very unfavorably with the system size. Here, we develop experimentally-friendly fidelity witnesses for all pure fermionic Gaussian target states. Their expectation value yields a tight lower bound to the fidelity and can be measured efficiently. We derive witnesses in full generality in the Majorana-fermion representation and apply them to experimentally relevant spin-1/2 chains. Among others, we show how to efficiently certify strongly out-of-equilibrium dynamics in critical Ising chains. At the heart of the measurement scheme is a variant of importance sampling specially tailored to overlaps between covariance matrices. The method is shown to be robust against finite experimental-state infidelities.


title: New approaches to coding information using inverse scattering transform

abstract: Remarkable mathematical properties of the integrable nonlinear Schr\"odinger equation (NLSE) can offer advanced solutions for the mitigation of nonlinear signal distortions in optical fibre links. Fundamental optical soliton, continuous and discrete eigenvalues of the nonlinear spectrum have already been considered for transmission of information in fibre-optic channels. Here we propose to apply signal modulation to the kernel of the Gelfand-Levitan-Marchenko equations (GLME) that offers the advantage of a relatively simple decoder design. First, we describe an approach based on exploiting the general N-soliton solution of the NLSE for simultaneous coding of $N$ symbols involving $4\times N$ coding parameters. As a specific elegant sub-class of the general schemes we introduce a soliton orthogonal frequency division multiplexing (SOFDM) method. This method is based on the choice of identical imaginary parts of the N-soliton solution eigenvalues, corresponding to equidistant soliton frequencies making it similar to the conventional OFDM scheme, thus, allowing use of the efficient fast Fourier transform algorithm to recover the data. Then, we demonstrate how to use this new approach to control signal parameters in the case of the continuous spectrum.


title: Iterative interferometry-based method for picking microseismic events

abstract: Continuous microseismic monitoring of hydraulic fracturing is commonly used in many engineering, environmental, mining, and petroleum applications. Microseismic signals recorded at the surface, suffer from excessive noise that complicates first-break picking and subsequent data processing and analysis. This study presents a new first-break picking algorithm that employs concepts from seismic interferometry and time-frequency (TF) analysis. The algorithm first uses a TF plot to manually pick a reference first-break and then iterates the steps of cross-correlation, alignment, and stacking to enhance the signal-to-noise ratio of the relative first breaks. The reference first-break is subsequently used to calculate final first breaks from the relative ones. Testing on synthetic and real data sets at high levels of additive noise shows that the algorithm enhances the first-break picking considerably. Furthermore, results show that only two iterations are needed to converge to the true first breaks. Indeed, iterating more can have detrimental effects on the algorithm due to increasing correlation of random noise.