title: Presentable signatures and initial semantics

abstract: We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi. More precisely, we study a notion of "signature" for specifying syntactic constructions. In the spirit of Initial Semantics, we define the "syntax generated by a signature" to be the initial object -- if it exists -- in a suitable category of models. In our framework, the existence of an associated syntax to a signature is not automatically guaranteed. We identify, via the notion of presentation of a signature, a large class of signatures that do generate a syntax. Our (presentable) signatures subsume classical algebraic signatures (i.e., signatures for languages with variable binding, such as the pure lambda calculus) and extend them to include several other significant examples of syntactic constructions. One key feature of our notions of signature, syntax, and presentation is that they are highly compositional, in the sense that complex examples can be obtained by gluing simpler ones. Moreover, through the Initial Semantics approach, our framework provides, beyond the desired algebra of terms, a well-behaved substitution and the induction and recursion principles associated to the syntax. This paper builds upon ideas from a previous attempt by Hirschowitz-Maggesi, which, in turn, was directly inspired by some earlier work of Ghani-Uustalu-Hamana and Matthes-Uustalu. The main results presented in the paper are computer-checked within the UniMath system.


title: New Bounds on Augmenting Steps of Block-structured Integer Programs

abstract: We consider 4-block $n$-fold integer programs, whose constraint matrix consists of $n$ copies of small matrices $A$, $B$, and $D$, and one copy of $C$, in a specific block structure. All existing algorithms along this line of research follows an iterative augmentation framework, which relies on the so-called Graver basis of the constraint matrix that constitutes a set of fundamental augmenting steps. Bounding the $\ell_1$- or $\ell_\infty$-norm of elements of the Graver basis is the key to these algorithms. Hemmecke et al.~[Math. Prog. 2014] showed that 4-block $n$-fold IP has Graver elements of $\ell_\infty$-norm at most $O_{FPT}(n^{2^{s_{D}}})$, leading to an algorithm with a similar runtime; here, $s_{D}$ is the number of rows of matrix $D$ and $ O_{FPT}(1)$ hides a multiplicative factor that is only dependent on the small matrices $A,B,C,D$. We prove that the $\ell_{\infty}$-norm of the Graver elements of 4-block $n$-fold IP is upper bounded by $O_{FPT}(n^{s_{D}})$, improving significantly over the previous bound $O_{FPT} (n^{2^{s_{D}}})$. We also provide a matching lower bound of $\Omega(n^{s_{D}})$ which even holds for arbitrary non-zero lattice elements, ruling out augmenting algorithm relying on even more restricted notions of augmentation than the Graver basis. We then consider a special case of 4-block $n$-fold in which $C$ is a zero matrix, called 3-block $n$-fold IP. We show that while even there the $\ell_{\infty}$-norm of its Graver elements is $\Omega(n^{s_{D}})$, there exists a different decomposition into lattice elements whose $\ell_{\infty}$-norm is bounded by $ O_{FPT}(1)$, which allows us to provide improved upper bounds on the $\ell_{\infty}$-norm of Graver elements for 3-block $n$-fold IP.


title: Phase diagrams and crystal-fluid surface tensions in additive and nonadditive two-dimensional hard disk mixtures

abstract: Using density functionals from fundamental measure theory, phase diagrams and crystal-fluid surface tensions in additive and nonadditive (Asakura-Oosawa model) two-dimensional hard disk mixtures are determined for the whole range of size ratios $q$ between disks, assuming random disorder in the crystal phase. The fluid-crystal transitions are first-order due to the assumption of a periodic unit cell in the density functional calculations. Qualitatively, the shape of the phase diagrams is similar to the case of three-dimensional hard sphere mixtures. For the nonadditive case, a broadening of the fluid-crystal coexistence region is found for small $q$ whereas for higher $q$ a vapor--fluid transition intervenes. In the additive case, we find a sequence of spindle type, azeotropic and eutectic phase diagrams upon lowering $q$ from 1 to 0.6. The transition from azeotropic to eutectic is different from the three-dimensional case. Surface tensions in general become smaller (up to a factor 2) upon addition of a second species and they are rather small. The minimization of the functionals proceeds without restrictions and optimized graphics card routines are used.


title: Comparing Covariate Prioritization via Matching to Machine Learning Methods for Causal Inference using Five Empirical Applications

abstract: When investigators seek to estimate causal effects, they often assume that selection into treatment is based only on observed covariates. Under this identification strategy, analysts must adjust for observed confounders. While basic regression models have long been the dominant method of statistical adjustment, more robust methods based on matching or weighting have become more common. Of late, even more flexible methods based on machine learning methods have been developed for statistical adjustment. These machine learning methods are designed to be black box methods with little input from the researcher. Recent research used a data competition to evaluate various methods of statistical adjustment and found that black box methods out performed all other methods of statistical adjustment. Matching methods with covariate prioritization are designed for direct input from substantive investigators in direct contrast to black methods. In this article, we use a different research design to compare matching with covariate prioritization to black box methods. We use black box methods to replicate results from five studies where matching with covariate prioritization was used to customize the statistical adjustment in direct response to substantive expertise. We find little difference across the methods. We conclude with advice for investigators.


title: Estimation Methods for Cluster Randomized Trials with Noncompliance: A Study of A Biometric Smartcard Payment System in India

abstract: Many policy evaluations occur in settings where treatment is randomized at the cluster level, and there is treatment noncompliance within each cluster. For example, villages might be assigned to treatment and control, but residents in each village may choose to comply or not with their assigned treatment status. When noncompliance is present, the instrumental variables framework can be used to identify and estimate causal effects. While a large literature exists on instrumental variables estimation methods, relatively little work has been focused on settings with clustered treatments. Here, we review extant methods for instrumental variable estimation in clustered designs and derive both the finite and asymptotic properties of these estimators. We prove that the properties of current estimators depend on unrealistic assumptions. We then develop a new IV estimation method for cluster randomized trials and study its formal properties. We prove that our IV estimator allows for possible treatment effect heterogeneity that is correlated with cluster size and is robust to low compliance rates within clusters. We evaluate these methods using simulations and apply them to data from a randomized intervention in India.


title: $J/\psi$ production cross section and its dependence on charged-particle multiplicity in $p+p$ collisions at $\sqrt{s}$ = 200 GeV

abstract: We present a measurement of inclusive $J/\psi$ production at mid-rapidity ($|y|<1$) in $p+p$ collisions at a center-of-mass energy of $\sqrt{s}$ = 200 GeV with the STAR experiment at the Relativistic Heavy Ion Collider (RHIC). The differential production cross section for $J/\psi$ as a function of transverse momentum ($p_T$) for $0<p_T<14$ GeV/$c$ and the total cross section are reported and compared to calculations from the color evaporation model and the non-relativistic Quantum Chromodynamics model. The dependence of $J/\psi$ relative yields in three $p_T$ intervals on charged-particle multiplicity at mid-rapidity is measured for the first time in $p+p$ collisions at $\sqrt{s}$ = 200 GeV and compared with that measured at $\sqrt{s}$ = 7 TeV, PYTHIA8 and EPOS3 Monte Carlo generators, and the Percolation model prediction.


title: Stephen Hawking (1942-2018), Towards a Complete Understanding of the Universe

abstract: Two of the major achievements of Stephen Hawking are described in elementary terms. They are his work on the beginning of the universe and his work on the end of black holes. These are perhaps the scientific achievements for which he is best known. Some of the qualities that enabled his great achievements are also described. The article is a slightly edited version of one solicited by the Proceedings of the (US) National Academy of Sciences for their Retrospectives section and will appear there.


title: Robust nonlinear processing of active array data in inverse scattering via truncated reduced order models

abstract: We introduce a novel algorithm for nonlinear processing of data gathered by an active array of sensors which probes a medium with pulses and measures the resulting waves. The algorithm is motivated by the application of array imaging. We describe it for a generic hyperbolic system that applies to acoustic, electromagnetic or elastic waves in a scattering medium modeled by an unknown coefficient called the reflectivity. The goal of imaging is to invert the nonlinear mapping from the reflectivity to the array data. Many existing imaging methodologies ignore the nonlinearity i.e., operate under the assumption that the Born (single scattering) approximation is accurate. This leads to image artifacts when multiple scattering is significant. Our algorithm seeks to transform the array data to those corresponding to the Born approximation, so it can be used as a pre-processing step for any linear inversion method. The nonlinear data transformation algorithm is based on a reduced order model defined by a proxy wave propagator operator that has four important properties. First, it is data driven, meaning that it is constructed from the data alone, with no knowledge of the medium. Second, it can be factorized in two operators that have an approximately affine dependence on the unknown reflectivity. This allows the computation of the Fr\'{e}chet derivative of the reflectivity to the data mapping which gives the Born approximation. Third, the algorithm involves regularization which balances numerical stability and data fitting with accuracy of the order of the standard deviation of additive data noise. Fourth, the algebraic nature of the algorithm makes it applicable to scalar (acoustic) and vectorial (elastic, electromagnetic) wave data without any specific modifications.


title: $C^{1,\alpha}$-Regularity of Quasilinear equations on the Heisenberg Group

abstract: In this article, we reproduce results of classical regularity theory of quasilinear elliptic equations in the divergence form, in the setting of Heisenberg Group. The considered cases encompass a very wide class of equations with isotropic growth conditions that are generalizations of the $p$-Laplacian type equation and also include equations with polynomial or exponential type growth. Some more general conditions have also been explored.


title: Emergence of radial orientation selectivity: Effect of cell density changes and eccentricity in a layered network

abstract: Previous work by Linsker revealed how simple cells can emerge in the absence of structured environmental input, via a self-organisation learning process. He empirically showed the development of spatial-opponent cells driven only by input noise, emerging as a result of structure in the initial synaptic connectivity distribution. To date, a complete set of radial eigenfunctions have not been provided for this multi-layer network. In this paper, the complete set of eigenfunctions and eigenvalues for a three-layered network is for the first time analytically derived. Initially a simplified learning equation is considered for which the homeostatic parameters are set to zero. To extend the eigenfunction analysis to the full learning equation, including non-zero homeostatic parameters, a perturbation analysis is used.


title: Neural Machine Translation Decoding with Terminology Constraints

abstract: Despite the impressive quality improvements yielded by neural machine translation (NMT) systems, controlling their translation output to adhere to user-provided terminology constraints remains an open problem. We describe our approach to constrained neural decoding based on finite-state machines and multi-stack decoding which supports target-side constraints as well as constraints with corresponding aligned input text spans. We demonstrate the performance of our framework on multiple translation tasks and motivate the need for constrained decoding with attentions as a means of reducing misplacement and duplication when translating user constraints.


title: Compatibility complexes of overdetermined PDEs of finite type, with applications to the Killing equation

abstract: In linearized gravity, two linearized metrics are considered gauge-equivalent, $h_{ab} \sim h_{ab} + K_{ab}[v]$, when they differ by the image of the Killing operator, $K_{ab}[v] = \nabla_a v_b + \nabla_b v_a$. A universal (or complete) compatibility operator for $K$ is a differential operator $K_1$ such that $K_1 \circ K = 0$ and any other operator annihilating $K$ must factor through $K_1$. The components of $K_1$ can be interpreted as a complete (or generating) set of local gauge-invariant observables in linearized gravity. By appealing to known results in the formal theory of overdetermined PDEs and basic notions from homological algebra, we solve the problem of constructing the Killing compatibility operator $K_1$ on an arbitrary background geometry, as well as of extending it to a full compatibility complex $K_i$ ($i\ge 1$), meaning that for each $K_i$ the operator $K_{i+1}$ is its universal compatibility operator. Our solution is practical enough that we apply it explicitly in two examples, giving the first construction of full compatibility complexes for the Killing operator on these geometries. The first example consists of the cosmological FLRW spacetimes, in any dimension. The second consists of a generalization of the Schwarzschild-Tangherlini black hole spacetimes, also in any dimension. The generalization allows an arbitrary cosmological constant and the replacement of spherical symmetry by planar or pseudo-spherical symmetry.


title: Active control of a plasmonic metamaterial for quantum state engineering

abstract: We experimentally demonstrate the active control of a plasmonic metamaterial operating in the quantum regime. A two-dimensional metamaterial consisting of unit cells made from gold nanorods is investigated. Using an external laser we control the temperature of the metamaterial and carry out quantum process tomography on single-photon polarization-encoded qubits sent through, characterizing the metamaterial as a variable quantum channel. The overall polarization response can be tuned by up to 33% for particular nanorod dimensions. To explain the results, we develop a theoretical model and find that the experimental results match the predicted behavior well. This work goes beyond the use of simple passive quantum plasmonic systems and shows that external control of plasmonic elements enables a flexible device that can be used for quantum state engineering.


title: Projecting onto any two-photon polarization state using linear optics

abstract: Projectors are a simple but powerful tool for manipulating and probing quantum systems. For instance, projecting two-qubit systems onto maximally entangled states can enable quantum teleportation. While such projectors have been extensively studied, partially-entangling measurements have been largely overlooked, especially experimentally, despite their important role in quantum foundations and quantum information. Here, we propose a way to project two polarized photons onto any state with a single experimental setup. Our scheme does not require optical non-linearities or additional photons. Instead, the entangling operation is provided by Hong-Ou-Mandel interference and post-selection. The efficiency of the scheme is between 50% and 100%, depending on the projector. We perform an experimental demonstration and reconstruct the operator describing our measurement using detector tomography. Finally, we flip the usual role of measurement and state in Hardy's test by performing a partially-entangling projector on separable states. The results verify the entangling nature of our measurement with six standard deviations of confidence.


title: Atomic decomposition and Weak Factorization for Bergman-Orlicz spaces

abstract: For $\mathbb B^n$ the unit ball of $\mathbb C^n$, we consider Bergman-Orlicz spaces of holomorphic functions in $L^\Phi_\alpha(\mathbb B^n)$, which are generalizations of classical Bergman spaces. We obtain atomic decomposition for functions in the Bergman-Orlicz space $\mathcal A^\Phi_\alpha (\mathbb B^n)$ where $\Phi$ is either convex or concave growth function. We then prove weak factorization theorems involving the Bloch space and a Bergman-Orlicz space and also weak factorization theorems involving two Bergman-Orlicz spaces.


title: EPA-RIMM: A Framework for Dynamic SMM-based Runtime Integrity Measurement

abstract: Runtime integrity measurements identify unexpected changes in operating systems and hypervisors during operation, enabling early detection of persistent threats. System Management Mode, a privileged x86 CPU mode, has the potential to effectively perform such rootkit detection. Previously proposed SMM-based approaches demonstrated effective detection capabilities, but at a cost of performance degradation and software side effects. In this paper we introduce our solution to these problems, an SMM-based Extensible, Performance Aware Runtime Integrity Measurement Mechanism called EPA-RIMM. The EPA-RIMM architecture features a performance-sensitive design that decomposes large integrity measurements and schedules them to control perturbation and side effects. EPA-RIMM's decomposition of long-running measurements into shorter tasks, extensibility, and use of SMM complicates the efforts of malicious code to detect or avoid the integrity measurements. Using a Minnowboard-based prototype, we demonstrate its detection capabilities and performance impacts. Early results are promising, and suggest that EPA-RIMM will meet production-level performance constraints while continuously monitoring key OS and hypervisor data structures for signs of attack.


title: A Residual Smoothing Strategy for Accelerating Newton Method Continuation

abstract: A technique for accelerating global convergence of pseudo-transient continuation Newton methods is proposed based on residual smoothing. The technique is motivated by the effectiveness of local nonlinear smoothers at overcoming strong nonlinear transients. In the limit of a small pseudo-time step, the method reduces to a local nonlinear smoothing technique, while in the limit of large pseudo-time steps, an exact Newton method is recovered along with its quadratic convergence properties. The formulation relies on the addition of a smoothing source term while leaving the Newton Jacobian matrix unchanged, thus simplifying implementations for existing Newton solvers. The proposed technique is demonstrated on a steady-state and an implicit time-dependent computational fluid dynamics problem, showing significant gains in overall solution efficiency.


title: Leading-color fully differential two-loop soft corrections to QCD dipole showers

abstract: We compute the next-to-leading order corrections to soft-gluon radiation differentially in the one-emission phase space. We show that their contribution to the evolution of color dipoles can be obtained in a modified subtraction scheme, such that both one- and two-emission terms are amenable to Monte-Carlo integration. The two-loop cusp anomalous dimension is recovered naturally upon integration over the full phase space. We present two independent implementations of the new algorithm in the two event generators Pythia and Sherpa, and we compare the resulting fully differential simulation to the CMW scheme.


title: Spectral Energy Distributions for TeV Blazars

abstract: In this work, we collected a sample of 69 TeV blazars from TeVCat, obtained their multi-wavelength observations, and fitted their spectral energy distributions by using the second degree polynomial function. The structure parameters of the synchrotron bumps for 68 blazars and those of the inverse-Compton bumps for 56 blzars are obtained. Then, we adopted statistical analysis to the parameters (curvature, peak frequency, peak luminosity, bolometric luminosity, and X/$\gamma$-ray spectral indexes). From our analysis and discussions, we can get following conclusions: 1. There is a clear positive correlation between the synchrotron peak frequency, $\log \nu_p^s$, and the inverse-Compton peak frequency $\log \nu_p^{IC}$, and that between the synchrotron peak luminosity, $\log \nu_p^s L_p^s$, and the inverse-Compton peak luminosity, $\log \nu_p^{IC}L_p^{IC}$. 2. The correlation between the peak frequency and the curvature of synchrotron bump is clearly different from that of the inverse-Compton bump, which further indicates that there are different emission mechanisms between them. 3. There is a correlation between $\log \nu_p^{IC}$ and $\gamma$-ray spectral index, $\alpha_\gamma$, for the TeV blazars: $\log \nu^{IC}_p = -(4.59 \pm 0.30) \alpha_\gamma + (32.67 \pm 0.59)$, which is consistent with previous work of Abdo et al.(2010). 4. An "L-shape" relation is found between $\log \nu^s_p$ and $\alpha_X$ for both TeV blazars and Fermi blazars. A significant correlation between $\log \nu^s_p$ and X-ray photon index ($\alpha_X$) is found for the TeV blazars with high synchrotron peak frequency: $\log \nu^{s}_{p} = -(3.20 \pm 0.34) \alpha_X + (24.33 \pm 0.79)$, while the correlation is positive for low synchrotron peaked TeV sources. 5. In the $\alpha_X-\alpha_\gamma$ diagram, there is also an "L-shape", the anti-correlation is consistent with the available results in the literature, (...)


title: Emergence and spontaneous breaking of approximate O(4) symmetry at a weakly first-order deconfined phase transition

abstract: We investigate approximate emergent nonabelian symmetry in a class of weakly first order `deconfined' phase transitions using Monte Carlo simulations and a renormalization group analysis. We study a transition in a 3D classical loop model that is analogous to a deconfined 2+1D quantum phase transition in a magnet with reduced lattice symmetry. The transition is between the N\'eel phase and a twofold degenerate valence bond solid (lattice-symmetry-breaking) phase. The combined order parameter at the transition is effectively a four-component superspin. It has been argued that in some weakly first order `pseudocritical' deconfined phase transitions, the renormalization group flow can take the system very close to the ordered fixed point of the symmetric $O(N)$ sigma model, where $N$ is the total number of `soft' order parameter components, despite the fact that $O(N)$ is not a microscopic symmetry. This yields a first order transition with unconventional phenomenology. We argue that this occurs in the present model, with $N=4$. This means that there is a regime of lengthscales in which the transition resembles a `spin-flop' transition in the ordered $O(4)$ sigma model. We give numerical evidence for (i) the first order nature of the transition, (ii) the emergence of $O(4)$ symmetry to an accurate approximation, and (iii) the existence of a regime in which the emergent $O(4)$ is `spontaneously broken', with distinctive features in the order parameter probability distribution. These results may be relevant for other models studied in the literature, including 2+1D QED with two flavours, the `easy-plane' deconfined critical point, and the N\'eel--VBS transition on the rectangular lattice.


title: Observation and control of nonlinear electromagnetic topological edge states

abstract: Topological photonics has recently emerged as a route to realize robust optical circuitry, and nonlinear effects are expected to enable tunability of topological states with the light intensity. Here we realize experimentally nonlinear self-induced spectral tuning of the electromagnetic topological edge states in an array of coupled nonlinear resonators in a pump-probe experiment. In a weakly nonlinear regime, we observe that resonators frequencies exhibit spectral shifts, that are concentrated mainly at the edge mode affecting only weakly the bulk modes. For a strong pumping, we describe several scenarios of the transformation of the edge states and their hybridization with bulk modes, and also predict a parametrically driven transition from topological to unstable regimes.


title: All-sky radiometer for narrowband gravitational waves using folded data

abstract: We demonstrate an all-sky search for persistent, narrowband gravitational waves using mock data. The search employs radiometry to sidereal-folded data in order to uncover persistent sources of gravitational waves with minimal assumptions about the signal model. The method complements continuous-wave searches, which are finely tuned to search for gravitational waves from rotating neutron stars while providing a means of detecting more exotic sources that might be missed by dedicated continuous-wave techniques. We apply the algorithm to simulated Gaussian noise at the level of LIGO design sensitivity. We project the strain amplitude sensitivity for the algorithm for a LIGO network in the first observing run to be $h_0 \approx 1.2 \times 10^{-24}$ ($1\%$ false alarm probability, $10\%$ false dismissal probability). We include treatment of instrumental lines and detector artifacts using time-shifted LIGO data from the first observing run.


title: Longitudinal fluctuations and decorrelations of anisotropic flows at the LHC and RHIC energies

abstract: We perform a systematic study on the decorrelation of anisotropic flows along the pseudorapidity in relativistic heavy-ion collisions at the LHC and RHIC energies. The dynamical evolution of the QGP fireball is simulated via the CLVisc (ideal) (3+1)-dimensional hydrodynamics model, with the fully fluctuating initial condition from A-Multi-Phase-Transport (AMPT) model. Detailed analysis is performed on the longitudinal decorrelations of elliptic, triangular and quadrangular flows in terms of flow vectors, flow magnitudes and flow orientations (event planes). It is found that pure flow magnitudes have smaller longitudinal decorrelation than pure flow orientations, and the decorrelation of flow vectors is a combined effect of both flow magnitudes and orientations. The longitudinal decorrelation of elliptic flow has a strong and non-monotonic centrality dependence due to the initial elliptic collision geometry: smallest decorrelation in mid-central collisions. In contrast, the decorrelations of triangular and quadrangular flows have weak centrality dependence, slightly larger decorrelations in more peripheral collisions. Our numerical results for Pb+Pb collisions at the LHC are in good agreement with the ATLAS data, while our RHIC results predict much larger longitudinal decorrelations as compared to the LHC. We further analyze the longitudinal structures of the AMPT initial conditions and find that the final-state longitudinal decorrelation effects are strongly correlated with the lengths of the initial string structures in the AMPT model. The decorrelation effects are typically larger at lower collision energies and in more peripheral collisions due to shorter lengths of the string structures in the initial states.


title: Thermodynamic analysis of the Livermore molecular-dynamics simulations of dislocation-mediated plasticity

abstract: Results of recent large-scale molecular dynamics simulations of dislocation-mediated solid plasticity are campared with predictions of the statistical thermodynamic theory of these phenomena. These computational and theoretical analyses are in substantial agreement with each other in both their descriptions of strain-rate dependent steady plastic flow and of a transient stress peak associated with initially small densities of dislocations. The comparisons between the numerical simulations and basic theory reveal inconsistencies in some conventional phenomenological descriptions of solid plasticity.


title: Capacities, removable sets and $L^p$-uniqueness on Wiener spaces

abstract: We prove the equivalence of two different types of capacities in abstract Wiener spaces. This yields a criterion for the $L^p$-uniqueness of the Ornstein-Uhlenbeck operator and its integer powers defined on suitable algebras of functions vanishing in a neighborhood of a given closed set $\Sigma$ of zero Gaussian measure. To prove the equivalence we show the $W^{r,p}(B,\mu)$-boundedness of certain smooth nonlinear truncation operators acting on potentials of nonnegative functions. We also give connections to Gaussian Hausdorff measures. Roughly speaking, if $L^p$-uniqueness holds then the 'removed' set $\Sigma$ must have sufficiently large codimension, in the case of the Ornstein-Uhlenbeck operator for instance at least $2p$.


title: Near Optimal Linear Algebra in the Online and Sliding Window Models

abstract: We initiate the study of numerical linear algebra in the sliding window model, where only the most recent $W$ updates in a stream form the underlying data set. We first introduce a unified row-sampling based framework that gives randomized algorithms for spectral approximation, low-rank approximation/projection-cost preservation, and $\ell_1$-subspace embeddings in the sliding window model, which often use nearly optimal space and achieve nearly input sparsity runtime. Our algorithms are based on "reverse online" versions of offline sampling distributions such as (ridge) leverage scores, $\ell_1$ sensitivities, and Lewis weights to quantify both the importance and the recency of a row. Our row-sampling framework rather surprisingly implies connections to the well-studied online model; our structural results also give the first sample optimal (up to lower order terms) online algorithm for low-rank approximation/projection-cost preservation. Using this powerful primitive, we give online algorithms for column/row subset selection and principal component analysis that resolves the main open question of Bhaskara et. al.,(FOCS 2019). We also give the first online algorithm for $\ell_1$-subspace embeddings. We further formalize the connection between the online model and the sliding window model by introducing an additional unified framework for deterministic algorithms using a merge and reduce paradigm and the concept of online coresets. Our sampling based algorithms in the row-arrival online model yield online coresets, giving deterministic algorithms for spectral approximation, low-rank approximation/projection-cost preservation, and $\ell_1$-subspace embeddings in the sliding window model that use nearly optimal space.


title: Discourse-Aware Neural Rewards for Coherent Text Generation

abstract: In this paper, we investigate the use of discourse-aware rewards with reinforcement learning to guide a model to generate long, coherent text. In particular, we propose to learn neural rewards to model cross-sentence ordering as a means to approximate desired discourse structure. Empirical results demonstrate that a generator trained with the learned reward produces more coherent and less repetitive text than models trained with cross-entropy or with reinforcement learning with commonly used scores as rewards.


title: Coupled Topological Surface Modes in Gyrotropic Structures: Green's Function Analysis

abstract: At a transition in a wave-guiding structure, part of the incident energy is transmitted and part of the energy is reflected. When the waveguide has non-trivial topological properties, however, the transition may occur with no backscattering, and with unusual modal coupling/transformations. Within this context, we discuss the response of a nonreciprocal topological structure composed of two nearby interfaces between oppositely-biased gyrotropic media and an isotropic medium, which support unidirectional surface modes (topological modes). We provide an exact Green's function analysis of this structure, and we discuss how the topological surface modes are modified when the two interfaces are brought closer and eventually merged. We show that the resulting mode conversion is independent of the transition geometry.


title: Apparent spectral shift of thermally generated surface phonon-polariton resonance mediated by a non-resonant film

abstract: The physical origin of spectral shift of thermally generated surface phonon-polariton (SPhP) resonance of a silicon carbide (SiC) bulk mediated by a non-resonant film is elucidated. The local density of electromagnetic states (LDOS) in a non-resonant intrinsic silicon (Si) film due to thermal emission by SiC, derived using fluctuational electrodynamics, exhibits a local maximum near SPhP resonant frequency in addition to a lower frequency resonance generated by gap modes emerging in the vacuum gap separating the SiC and Si layers. Multiple reflections within the vacuum gap also induce a LDOS drop around SPhP resonant frequency. As a result, depending on the film thickness to vacuum gap ratio and the location where the LDOS is calculated in the film, the low-frequency resonance can dominate the LDOS, such that SPhP resonance appears to be redshifted. A similar spectral behavior is observed on the monochromatic radiative heat flux absorbed by the Si film. It is shown that apparent spectral (red and blue) shift of SPhP resonance mediated by a non-resonant film is bounded by the transverse and longitudinal optical phonon frequencies of SiC. This work is of importance in applications involving dissimilar materials, such as thermophotovoltaics and thermal rectification, where gap modes may significantly disrupt flux resonance. Gap modes may also be at the origin of the resonance redshift systematically observed in near-field thermal spectroscopy.


title: Optimal Power Flow with Disjoint Prohibited Zones: New Formulation and Solutions

abstract: The constraints induced by prohibited zones (PZs) were traditionally formulated as multiple disjoint regions. It was difficult to solve the optimal power flow (OPF) problems subject to the disjoint constraints. This paper proposes a new formulation for the OPF problem with PZs. The proposed formulation significantly expedites the algorithm implementation. The effectiveness of the new approach is verified by different methods including traditional optimization methods, PSO and particle swarm optimization with adaptive parameter control which is conducted on the IEEE 30-bus test system.


title: A new basis for the representation ring of a Weyl group

abstract: Let W be a Weyl group. We define a new basis for the Grothendieck group of representations of W. This basis contains on the one hand the special representations of W and on the other hand the representations carried by the left cells of W. We show that the representations in the new basis have a certain bipositivity property.


title: Transcription Factor-DNA Binding Via Machine Learning Ensembles

abstract: We present ensemble methods in a machine learning (ML) framework combining predictions from five known motif/binding site exploration algorithms. For a given TF the ensemble starts with position weight matrices (PWM's) for the motif, collected from the component algorithms. Using dimension reduction, we identify significant PWM-based subspaces for analysis. Within each subspace a machine classifier is built for identifying the TF's gene (promoter) targets (Problem 1). These PWM-based subspaces form an ML-based sequence analysis tool. Problem 2 (finding binding motifs) is solved by agglomerating k-mer (string) feature PWM-based subspaces that stand out in identifying gene targets. We approach Problem 3 (binding sites) with a novel machine learning approach that uses promoter string features and ML importance scores in a classification algorithm locating binding sites across the genome. For target gene identification this method improves performance (measured by the F1 score) by about 10 percentage points over the (a) motif scanning method and (b) the coexpression-based association method. Top motif outperformed 5 component algorithms as well as two other common algorithms (BEST and DEME). For identifying individual binding sites on a benchmark cross species database (Tompa et al., 2005) we match the best performer without much human intervention. It also improved the performance on mammalian TFs. The ensemble can integrate orthogonal information from different weak learners (potentially using entirely different types of features) into a machine learner that can perform consistently better for more TFs. The TF gene target identification component (problem 1 above) is useful in constructing a transcriptional regulatory network from known TF-target associations. The ensemble is easily extendable to include more tools as well as future PWM-based information.


title: Positive conjugacy classes in Weyl groups

abstract: Let W be a Weyl group. We introduce the notion of positive conjugacy class in W. This generalizes the notion of regular elliptic conjugacy class in the sense of Springer.


title: Modular architecture of large-scale optical interferometers for sparsely populated input

abstract: Today, the realization of large optical interferometer schemes is necessary for many sophisticated information processing algorithms. In this work, we propose a modular interferometer architecture possible when the number of input channels of a transformation populated with signals is much lesser than the total number of its channels. The underlying idea is to split the transformation into two stages. In the first stage, the signals undergo scattering among multiple channels of separate optical schemes, while in the second stage, they are made to interfere with each other, thus, we call it the mixing stage. This way, large-scale transformations that technically challenging to fabricate even by means of the mature integrated photonics technology, can be realized using multiple low-depth optical circuits, yet at the expense of single interconnection between the scattering and mixing parts of the interferometer. Although non-universal, as witnessed by the parameters set to define the interferometer, the architecture provides a viable approach to construction of large-scale interferometers.


title: The Evolution of Popularity and Images of Characters in Marvel Cinematic Universe Fanfictions

abstract: This analysis proposes a new topic model to study the yearly trends in Marvel Cinematic Universe fanfictions on three levels: character popularity, character images/topics, and vocabulary pattern of topics. It is found that character appearances in fanfictions have become more diverse over the years thanks to constant introduction of new characters in feature films, and in the case of Captain America, multi-dimensional character development is well-received by the fanfiction world.


title: A First Principles Investigation of Native Interstitial Diffusion in Cr2O3

abstract: First principles density functional theory (DFT) investigation of native interstitials and the associated self-diffusion mechanisms in {\alpha}-Cr2O3 reveals that interstitials are more mobile than vacancies of corresponding species. Cr interstitials occupy the unoccupied Cr sublattice sites that are octahedrally coordinated by 6 O atoms, and O interstitials form a dumbbell configuration orientated along the [221] direction (diagonal) of the corundum lattice. Calculations predict that neutral O interstitials are predominant in O-rich conditions and Cr interstitials in +2 and +1 charge states are the dominant interstitial defects in Cr-rich conditions. Similar to that of the vacancies, the charge transition levels of both O and Cr interstitials are located deep within the bandgap. Transport calculations reveal a rich variety of interstitial diffusion mechanisms that are species, charge, and orientation dependent. Cr interstitials diffuse preferably along the diagonal of corundum lattice in a two step process via an intermediate defect complex comprising a Cr interstitial and an adjacent Cr Frenkel defect in the neighboring Cr bilayer. This mechanism is similar to that of the vacancy mediated Cr diffusion along the c-axis with intermediate Cr vacancy and Cr Frenkel defect combination. In contrast, O interstitials diffuse via bond switching mechanism. O interstitials in -1 and -2 charge states have very high mobility compared to neutral O interstitials.


title: Auslander--Reiten theory in extriangulated categories

abstract: The notion of an extriangulated category gives a unification of existing theories in exact or abelian categories and in triangulated categories. In this article, we develop Auslander--Reiten theory for extriangulated categories. This unifies Auslander--Reiten theories developed in exact categories and triangulated categories independently. We give two different sets of sufficient conditions on the extriangulated category so that existence of almost split extensions becomes equivalent to that of an Auslander--Reiten--Serre duality. We also show that existence of almost split extensions is preserved under taking relative extriangulated categories, ideal quotients, and extension-closed subcategories. Moreover, we prove that the stable category $\underline{\mathscr{C}}$ of an extriangulated category $\mathscr{C}$ is a $\tau$-category if $\mathscr{C}$ has enough projectives, almost split extensions and source morphisms. This gives various consequences on $\underline{\mathscr{C}}$, including Igusa--Todorov's Radical Layers Theorem, Auslander--Reiten Combinatorics on dimensions of Hom-spaces, and Reconstruction Theorem of the associated completely graded category of $\underline{\mathscr{C}}$ via the complete mesh category of the Auslander--Reiten species of $\underline{\mathscr{C}}$. Finally we prove that any locally finite symmetrizable $\tau$-quiver (=valued translation quiver) is an Auslander--Reiten quiver of some extriangulated category with sink morphisms and source morphisms.


title: Deep Reinforcement Learning for Optimal Control of Space Heating

abstract: Classical methods to control heating systems are often marred by suboptimal performance, inability to adapt to dynamic conditions and unreasonable assumptions e.g. existence of building models. This paper presents a novel deep reinforcement learning algorithm which can control space heating in buildings in a computationally efficient manner, and benchmarks it against other known techniques. The proposed algorithm outperforms rule based control by between 5-10% in a simulation environment for a number of price signals. We conclude that, while not optimal, the proposed algorithm offers additional practical advantages such as faster computation times and increased robustness to non-stationarities in building dynamics.


title: Threshold functions for substructures in random subsets of finite vector spaces

abstract: The study of substructures in random objects has a long history, beginning with Erd\H{o}s and R\'enyi's work on subgraphs of random graphs. We study the existence of certain substructures in random subsets of vector spaces over finite fields. First we provide a general framework which can be applied to establish coarse threshold results and prove a limiting Poisson distribution at the threshold scale. To illustrate our framework we apply our results to $k$-term arithmetic progressions, sums, right triangles, parallelograms and affine planes. We also find coarse thresholds for the property that a random subset of a finite vector space is sum-free, or is a Sidon set.


title: k-Space Deep Learning for Accelerated MRI

abstract: The annihilating filter-based low-rank Hankel matrix approach (ALOHA) is one of the state-of-the-art compressed sensing approaches that directly interpolates the missing k-space data using low-rank Hankel matrix completion. The success of ALOHA is due to the concise signal representation in the k-space domain thanks to the duality between structured low-rankness in the k-space domain and the image domain sparsity. Inspired by the recent mathematical discovery that links convolutional neural networks to Hankel matrix decomposition using data-driven framelet basis, here we propose a fully data-driven deep learning algorithm for k-space interpolation. Our network can be also easily applied to non-Cartesian k-space trajectories by simply adding an additional regridding layer. Extensive numerical experiments show that the proposed deep learning method consistently outperforms the existing image-domain deep learning approaches.


title: $M_2$-Ranks of overpartitions modulo $6$ and $10$

abstract: In this paper, we obtain inequalities on $M_2$-ranks of overpartitions modulo $6$. Let $\overline{N}_2(s,m,n)$ to be the number of overpartitions of $n$ whose $M_2$-rank is congruent to $s$ modulo $m$. For $M_2$-ranks modulo $3$, Lovejoy and Osburn derived the generating function of $\overline{N}_2(s,3,n)-\overline{N}_2(t,3,n)$, which implies the inequalities $\overline{N}_2(0,3,n)\geq\overline{N}_2(1,3,n)$. For $\ell=6, 10$, we consider the generating function $\overline{R}_{s,t}(d,\ell)$ of the $M_2$-rank differences $\overline{N}_2(s,\ell,\ell n/2+d) + \overline{N}_2(s+1,\ell,\ell n/2+d) - \overline{N}_2(t,\ell,\ell n/2+d) - \overline{N}_2(t+1,\ell,\ell n/2+d)$. By the method of Lovejoy and Osburn, we derive a formula for $\overline{R}_{0,2}(d,6)$. This leads to the inequalities for $n\geq0$, $\overline{N}_2(0,6,3n)\geq\overline{N}_2(2,6,3n)$ and $\overline{N}_2(0,6,3n+1) \geq \overline{N}_2(2,6,3n+1)$. Based on the valence formula for modular functions, we compute $\overline{R}_{0,4}(d,10)$ and $\overline{R}_{1,3}(d,10)$. In particular, we notice that the generating function $\overline{R}_{0,2}(2,6)$ can be expressed in terms of the third order mock theta function $\rho(q)$, and the generating functions $\overline{R}_{0,4}(4,10)$, $\overline{R}_{1,3}(1,10)$ and $\overline{R}_{1,3}(4,10)$ can also be expressed in terms of the tenth order mock theta functions $\phi(q)$ and $\psi(q)$.


title: The exponential metric represents a traversable wormhole

abstract: For various reasons a number of authors have mooted an "exponential form" for the spacetime metric: \[ ds^2 = - e^{-2m/r} dt^2 + e^{+2m/r}\{dr^2 + r^2(d\theta^2+\sin^2\theta \, d\phi^2)\}. \] While the weak-field behaviour matches nicely with weak-field general relativity, and so also automatically matches nicely with the Newtonian gravity limit, the strong-field behaviour is markedly different. Proponents of these exponential metrics have very much focussed on the absence of horizons --- it is certainly clear that this geometry does not represent a black hole. However, the proponents of these exponential metrics have failed to note that instead one is dealing with a traversable wormhole --- with all of the interesting and potentially problematic features that such an observation raises. If one wishes to replace all the black hole candidates astronomers have identified with traversable wormholes, then certainly a careful phenomenological analysis of this quite radical proposal should be carried out.


title: A Molecular Line Survey around Orion at Low Frequencies with the MWA

abstract: The low-frequency sky may reveal some of the secrets yet to be discovered and until recently, molecules had never been detected within interstellar clouds at frequencies below 700MHz (Lovas, 2003) . Following the pilot survey towards the Galactic Centre at 103--133MHz with the Murchison Widefield Array (Tremblay, 2017), we surveyed 400 degree squared centered on the Orion KL nebula from 99--170MHz. Orion is a nearby region of active star formation and known to be a chemically rich environment. In this paper, we present tentative detections of nitric oxide and its isotopologues, singularly deuterated formic acid, molecular oxygen, and several unidentified transitions. The three identified molecules are particularly interesting as laboratory experiments have suggested these molecules are precursors to the formation of amines.


title: Continuously Tunable Dual-mode Bandstop Filter

abstract: A varactor-based tunable bandstop filter has been proposed in this article. The proposed filter is based on a dualmode circuit developed by introducing inductive and capacitive couplings into a notch filter. The frequency tunability is achieved by using varactor diodes instead of the lumped capacitors in the circuit. Next, the equivalent circuit model has been implemented in planar microstrip technology using thin inductive traces and varactor diodes. The fabricated filter prototype shows a continuous center frequency tuning range of 0.66 - 0.99 GHz with a compact size of 0.12lg*0:16lg, where lg is the guided wavelength at the middle frequency of the tuning range.


title: SlugNERDS: A Named Entity Recognition Tool for Open Domain Dialogue Systems

abstract: In dialogue systems, the tasks of named entity recognition (NER) and named entity linking (NEL) are vital preprocessing steps for understanding user intent, especially in open domain interaction where we cannot rely on domain-specific inference. UCSC's effort as one of the funded teams in the 2017 Amazon Alexa Prize Contest has yielded Slugbot, an open domain social bot, aimed at casual conversation. We discovered several challenges specifically associated with both NER and NEL when building Slugbot, such as that the NE labels are too coarse-grained or the entity types are not linked to a useful ontology. Moreover, we have discovered that traditional approaches do not perform well in our context: even systems designed to operate on tweets or other social media data do not work well in dialogue systems. In this paper, we introduce Slugbot's Named Entity Recognition for dialogue Systems (SlugNERDS), a NER and NEL tool which is optimized to address these issues. We describe two new resources that we are building as part of this work: SlugEntityDB and SchemaActuator. We believe these resources will be useful for the research community.


title: Deep Learning of Geometric Constellation Shaping including Fiber Nonlinearities

abstract: A new geometric shaping method is proposed, leveraging unsupervised machine learning to optimize the constellation design. The learned constellation mitigates nonlinear effects with gains up to 0.13 bit/4D when trained with a simplified fiber channel model.


title: Bifurcations in the Kuramoto model on graphs

abstract: In his classical work, Kuramoto analytically described the onset of synchronization in all-to-all coupled networks of phase oscillators with random intrinsic frequencies. Specifically, he identified a critical value of the coupling strength, at which the incoherent state loses stability and a gradual build-up of coherence begins. Recently, Kuramoto's scenario was shown to hold for a large class of coupled systems on convergent families of deterministic and random graphs. Guided by these results, in the present work, we study several model problems illustrating the link between network topology and synchronization in coupled dynamical systems. First, we identify several families of graphs, for which the transition to synchronization in the Kuramoto model starts at the same critical value of the coupling strength and proceeds in practically the same way. These examples include Erd\H{o}s-R\'enyi random graphs, Paley graphs, complete bipartite graphs, and certain stochastic block graphs. These examples illustrate that some rather simple structural properties such as the volume of the graph may determine the onset of synchronization, while finer structural features may affect only higher order statistics of the transition to synchronization. Further, we study the transition to synchronization in the Kuramoto model on power law and small-world random graphs. The former family of graphs endows the Kuramoto model with very good synchronizability: the synchronization threshold can be made arbitrarily low by varying the parameter of the power law degree distribution. For the Kuramoto model on small-world graphs, in addition to the transition to synchronization, we identify a new bifurcation leading to stable random twisted states. The examples analyzed in this work complement the results in [Chiba, Medvedev, The mean field analysis for the Kuramoto model on graphs (parts I and II), arxiv].


title: MIMO radar waveform design with practical constraints: A low-complexity approach

abstract: In this letter, we consider the multiple-input multiple-output (MIMO) radar waveform design in the presence of signal-dependent clutters and additive white Gaussian noise. By imposing the constant modulus constraint (CMC) and waveform similarity constraint (SC), the signal-to-interference-plus-noise (SINR) maximization problem is non-convex and NP-hard in general, which can be transformed into a sequence of convex quadratically constrained quadratic programming (QCQP) subproblems. Aiming at solving each subproblem efficiently, we propose a low-complexity method termed Accelerated Gradient Projection (AGP). In contrast to the conventional IPM based method, our proposed algorithm achieves the same performance in terms of the receive SINR and the beampattern, while notably reduces computational complexity.


title: Dust concentration vision measurement based on moment of inertia in gray level-rank co-occurrence matrix

abstract: To improve the accuracy of existing dust concentration measurements, a dust concentration measurement based on Moment of inertia in Gray level-Rank Co-occurrence Matrix (GRCM), which is from the dust image sample measured by a machine vision system is proposed in this paper. Firstly, a Polynomial computational model between dust Concentration and Moment of inertia (PCM) is established by experimental methods and fitting methods. Then computing methods for GRCM and its Moment of inertia are constructed by theoretical and mathematical analysis methods. And then developing an on-line dust concentration vision measurement experimental system, the cement dust concentration measurement in a cement production workshop is taken as a practice example with the system and the PCM measurement. The results show that measurement error is within 9%, and the measurement range is 0.5-1000 mg/m3. Finally, comparing with the filter membrane weighing measurement, light scattering measurement and laser measurement, the proposed PCM measurement has advantages on error and cost, which can be provided a valuable reference for the dust concentration vision measurements.


title: Reliable and Secure Multishot Network Coding using Linearized Reed-Solomon Codes

abstract: Multishot network coding is considered in a worst-case adversarial setting in which an omniscient adversary with unbounded computational resources may inject erroneous packets in up to $t$ links, erase up to $\rho$ packets, and wire-tap up to $\mu$ links, all throughout $\ell$ shots of a linearly-coded network. Assuming no knowledge of the underlying linear network code (in particular, the network topology and underlying linear code may be random and change with time), a coding scheme achieving zero-error communication and perfect secrecy is obtained based on linearized Reed-Solomon codes. The scheme achieves the maximum possible secret message size of $ \ell n^\prime - 2t - \rho - \mu $ packets for coherent communication, where $ n^\prime $ is the number of outgoing links at the source, for any packet length $ m \geq n^\prime $ (largest possible range). By lifting this construction, coding schemes for non-coherent communication are obtained with information rates close to optimal for practical instances. The required field size is $ q^m $, where $ q > \ell $, thus $ q^m \approx \ell^{n^\prime} $, which is always smaller than that of a Gabidulin code tailored for $ \ell $ shots, which would be at least $ 2^{\ell n^\prime} $. A Welch-Berlekamp sum-rank decoding algorithm for linearized Reed-Solomon codes is provided, having quadratic complexity in the total length $n = \ell n^\prime $, and which can be adapted to handle not only errors, but also erasures, wire-tap observations and non-coherent communication. Combined with the obtained field size, the given decoding complexity is of $ \mathcal{O}(n^{\prime 4} \ell^2 \log(\ell)^2) $ operations in $ \mathbb{F}_2 $.


title: Heterostrain engineering on twisted graphene bilayer around the first magic angle

abstract: Very recently, twisted graphene bilayer (TGB) around the first magic angle 1.1{\deg} has attracted much attention for the realization of exotic quantum states, such as correlated insulator behavior and unconventional superconductivity. Here we elaborately studied a series of TGBs around the first magic angle engineered by heterostrain, where each layer is strained independently. Our experiment indicated that a moderate heterostrain enables the structural evolution from the small-angle TGB ( ~ 1.5{\deg}) to the strained magic-angle TGB ({\theta} ~ 1.1{\deg}), exhibiting the characteristic low-energy flat bands. The heterostrain can even drive the system into highly strained tiny-angle TGBs ({\theta} << 1.1{\deg}) with large deformed tetragonal superlattices, where a unique network of topological helical edge states emerges. Furthermore, the predicted domain wall modes, which are strongly localized and result in hexagon-triangle-mixed frustrated lattice derived from Kagome lattice, are observed in the strained tiny-angle TGBs.


title: Exact Asymptotic Behavior of Singular Positive Solutions of Fractional Semi-Linear Elliptic Equations

abstract: In this paper, we prove the exact asymptotic behavior of singular positive solutions of fractional semi-linear equations $$(-\Delta)^\sigma u = u^p~~~~~~~~in ~~ B_1\backslash \{0\}$$ with an isolated singularity, where $\sigma \in (0, 1)$ and $\frac{n}{n-2\sigma} < p < \frac{n+2\sigma}{n-2\sigma}$.


title: Impact of axonal delay on structure development in a multi-layered network

abstract: The mechanisms underlying how activity in the visual pathway may give rise through neural plasticity to many of the features observed experimentally in the early stages of visual processing was provided by Linkser in a seminal, three-paper series. Owing to the complexity of multi-layer models, an implicit assumption in Linsker's and subsequent papers has been that propagation delay is homogeneous and plays little functional role in neural behaviour. We relax this assumption to examine the impact of distance-dependent axonal propagation delay on neural learning. We show that propagation delay induces low-pass filtering by dispersing the arrival times of spikes from presynaptic neurons, providing a natural correlation cancellation mechanism for distal connections. The cut-off frequency decreases as the radial propagation delay within a layer increases relative to propagation delay between the layers, introducing an upper limit on temporal resolution. Given that the PSP also acts as a low-pass filter, we show that the effective time constant of each should enable the processing of similar scales of temporal information. This result has implications for the visual system, in which receptive field size and, thus, radial propagation delay, increases with eccentricity. Furthermore, the network response is frequency dependent since higher frequencies require increased input amplitude to compensate for attenuation. This concords with frequency-dependent contrast sensitivity in the visual system, which changes with eccentricity and receptive field size. We further show that the proportion of inhibition relative to excitation is larger where radial propagation delay is long relative to inter-laminar propagation delay. We show that the addition of propagation delay reduces the range in the cell's on-center size, providing stability to variations in homeostatic parameters.


title: hyperdoc2vec: Distributed Representations of Hypertext Documents

abstract: Hypertext documents, such as web pages and academic papers, are of great importance in delivering information in our daily life. Although being effective on plain documents, conventional text embedding methods suffer from information loss if directly adapted to hyper-documents. In this paper, we propose a general embedding approach for hyper-documents, namely, hyperdoc2vec, along with four criteria characterizing necessary information that hyper-document embedding models should preserve. Systematic comparisons are conducted between hyperdoc2vec and several competitors on two tasks, i.e., paper classification and citation recommendation, in the academic paper domain. Analyses and experiments both validate the superiority of hyperdoc2vec to other models w.r.t. the four criteria.


title: Diffusion-dynamics laws in stochastic reaction networks

abstract: Many biological activities are induced by cellular chemical reactions of diffusing reactants. The dynamics of such systems can be captured by stochastic reaction networks. A recent numerical study has shown that diffusion can significantly enhance the fluctuations in gene regulatory networks. However, the universal relation between diffusion and stochastic system dynamics remains veiled. Within the approximation of reaction-diffusion master equation (RDME), we find general relation that the steady-state distribution in complex balanced networks is diffusion-independent. Here, complex balance is the nonequilibrium generalization of detailed balance. We also find that for a diffusion-included network with a Poisson-like steady-state distribution, the diffusion can be ignored at steady state. We then derive a necessary and sufficient condition for networks holding such steady-state distributions. Moreover, we show that for linear reaction networks the RDME reduces to the chemical master equation, which implies that the stochastic dynamics of networks is unaffected by diffusion at any arbitrary time. Our findings shed light on the fundamental question of when diffusion can be neglected, or (if nonnegligible) its effects on the stochastic dynamics of the reaction network.


title: Enhancement of spatial resolution of ghost imaging via localizing and thresholding

abstract: In ghost imaging scheme, an illuminated light is split into test and reference beams which pass through two different optical systems respectively and an image is constructed by the second-order correlation between the two light beams. Since both the two light beams are all diffracted when passing through the optical systems, spatial resolution of ghost imaging is in general lower than that of a corresponding conventional imaging system. When Gaussian-shaped light spots are used to illuminate an object, randomly scanning across the object plane, in ghost imaging scheme, we show that by localizing central positions of the spots of the reference light beam, the resolution can be enhanced by a factor of $\sqrt{2}$ same as that of the corresponding conventional imaging system. We also find that the resolution can be further enhanced by setting an appropriate threshold to the bucket measurement of ghost imaging.


title: On the Noether charge and the gravity duals of quantum complexity

abstract: The physical relevance of the thermodynamic volumes of AdS black holes to the gravity duals of quantum complexity was recently argued by Couch et al. In this paper, by generalizing the Wald-Iyer formalism, we derive a geometric expression for the thermodynamic volume and relate its product with the thermodynamic pressure to the non-derivative part of the gravitational action evaluated on the Wheeler-DeWitt patch. We propose that this action provides an alternative gravity dual of the quantum complexity of the boundary theory. We refer this to "complexity=action 2.0" (CA-2) duality. It is significantly different from the original "complexity=action" (CA) duality as well as the "complexity=volume 2.0" (CV-2) duality proposed by Couch et al. The latter postulates that the complexity is dual to the spacetime volume of the Wheeler-DeWitt patch. To distinguish our new conjecture from the various dualities in literature, we study a number of black holes in Einstein-Maxwell-Dilation theories. We find that for all these black holes, the CA duality generally does not respect the Lloyd bound whereas the CV-2 duality always does. For the CA-2 duality, although in many cases it is consistent with the Lloyd bound, we also find a counter example for which it violates the bound as well.


title: WikiPassageQA: A Benchmark Collection for Research on Non-factoid Answer Passage Retrieval

abstract: With the rise in mobile and voice search, answer passage retrieval acts as a critical component of an effective information retrieval system for open domain question answering. Currently, there are no comparable collections that address non-factoid question answering within larger documents while simultaneously providing enough examples sufficient to train a deep neural network. In this paper, we introduce a new Wikipedia based collection specific for non-factoid answer passage retrieval containing thousands of questions with annotated answers and show benchmark results on a variety of state of the art neural architectures and retrieval models. The experimental results demonstrate the unique challenges presented by answer passage retrieval within topically relevant documents for future research.


title: Shadows of Exact Binary Black Holes

abstract: Black hole (BH) shadows in dynamical binary BHs (BBHs) have been produced via ray-tracing techniques on top of expensive fully non-linear numerical relativity simulations. We show that the main features of these shadows are captured by a simple quasi-static resolution of the photon orbits on top of the static double-Schwarzschild family of solutions. Whilst the latter contains a conical singularity between the line separating the two BHs, this produces no major observable effect on the shadows, by virtue of the underlying cylindrical symmetry of the problem. This symmetry is also present in the stationary BBH solution comprising two Kerr BHs separated by a massless strut. We produce images of the shadows of the exact stationary co-rotating (even) and counter-rotating (odd) stationary BBH configurations. This allow us to assess the impact on the binary shadows of the intrinsic spin of the BHs, contrasting it with the effect of the orbital angular momentum.


title: Dust modification of the plasma conductivity in the mesosphere

abstract: Relative transverse drift (with respect to the ambient magnetic field) between the weakly magnetized electrons and the unmagnetized ions at the lower altitude (80 km) and between the weakly magnetized ions and unmagnetized dust at the higher altitude (90 km) gives rise to the finite Hall conductivity in the Earth's mesosphere. If, on the other hand, the number of free electrons is sparse in the mesosphere and most of the negative charge resides on the weakly magnetized, fine, nanometre sized dust powder and positive charge on the more massive, micron sized, unmagnetized dust, the sign of the Hall conductivity due to their relative transverse drift will be opposite to the previous case. Thus the sign of the Hall effect not only depends on the direction of the local magnetic field but also on the nature of the charge carrier in the partially ionized dusty medium. As the Hall and the Ohm diffusion are comparable below 80 km, the low frequency long wavelength waves will be damped at this altitude with the damping rate typically of the order of few minutes. Therefore, the ultra--low frequency magnetohydrodynamic waves can not originate below 80 km in the mesosphere. However, above 80 km since Hall effect dominates Ohm diffusion the mesosphere can host the ultra--low frequency waves which can propagate across the ionosphere with little or, no damping.


title: Simultaneous Localization and Mapping with Dynamic Rigid Objects

abstract: Accurate estimation of the environment structure simultaneously with the robot pose is a key capability of autonomous robotic vehicles. Classical simultaneous localization and mapping (SLAM) algorithms rely on the static world assumption to formulate the estimation problem, however, the real world has a significant amount of dynamics that can be exploited for a more accurate localization and versatile representation of the environment. In this paper we propose a technique to integrate the motion of dynamic objects into the SLAM estimation problem, without the necessity of estimating the pose or the geometry of the objects. To this end, we introduce a novel representation of the pose change of rigid bodies in motion and show the benefits of integrating such information when performing SLAM in dynamic environments. Our experiments show consistent improvement in robot localization and mapping accuracy when using a simple constant motion assumption, even for objects whose motion slightly violates this assumption.


title: Learning Domain-Sensitive and Sentiment-Aware Word Embeddings

abstract: Word embeddings have been widely used in sentiment classification because of their efficacy for semantic representations of words. Given reviews from different domains, some existing methods for word embeddings exploit sentiment information, but they cannot produce domain-sensitive embeddings. On the other hand, some other existing methods can generate domain-sensitive word embeddings, but they cannot distinguish words with similar contexts but opposite sentiment polarity. We propose a new method for learning domain-sensitive and sentiment-aware embeddings that simultaneously capture the information of sentiment semantics and domain sensitivity of individual words. Our method can automatically determine and produce domain-common embeddings and domain-specific embeddings. The differentiation of domain-common and domain-specific words enables the advantage of data augmentation of common semantics from multiple domains and capture the varied semantics of specific words from different domains at the same time. Experimental results show that our model provides an effective way to learn domain-sensitive and sentiment-aware word embeddings which benefit sentiment classification at both sentence level and lexicon term level.


title: Two-dimensional spinodal interface in one-step grown graphene-molybdenum carbide heterostructures

abstract: Heterostructures made by stacking different materials on top of each other are expected to exhibit unusual properties and new phenomena. Interface of the heterostructures plays a vital role in determining their properties. Here, we report the observation of a two-dimensional (2D) spinodal interface in graphene-molybdenum carbide ({\alpha}-Mo2C) heterostructures, which arises from spinodal decomposition occurring at the heterointerface, by using scanning tunneling microscopy. Our experiment demonstrates that the 2D spinodal interface modulates graphene into whispering gallery resonant networks filled with quasi-bound states of massless Dirac fermions. Moreover, below the superconducting transition temperature of the underlying {\alpha}-Mo2C, the 2D spinodal interface behaves as disorders, resulting in the breakdown of the proximity-induced superconductivity in graphene. Our result sheds new light on tuning properties of heterostructures based on interface engineering.


title: A discussion on vacuum polarization correction to the cross-section of $e^+e^-\to\gamma^\ast/\psi\to\mu^+\mu^-$

abstract: Vacuum polarization is a part of the initial-state radiative correction for the cross-section of $e^+e^-$ annihilation processes. In the energy region in the vicinity of narrow resonances $J/\psi$ and $\psi(3686)$, the vacuum polarization contribution from the resonant component has a significant effect on the line-shape of the lepton pair production cross-section. This paper discusses some basic concepts and describes an analytical calculation of the cross-section of $e^+e^-\to\gamma^\ast/\psi\to\mu^+\mu^-$ considering the single and double vacuum polarization effect of the virtual photon propagator. Moreover, it presents some numerical comparisons with the traditional treatments.


title: On the Universality of the Logistic Loss Function

abstract: A loss function measures the discrepancy between the true values (observations) and their estimated fits, for a given instance of data. A loss function is said to be proper (unbiased, Fisher consistent) if the fits are defined over a unit simplex, and the minimizer of the expected loss is the true underlying probability of the data. Typical examples are the zero-one loss, the quadratic loss and the Bernoulli log-likelihood loss (log-loss). In this work we show that for binary classification problems, the divergence associated with smooth, proper and convex loss functions is bounded from above by the Kullback-Leibler (KL) divergence, up to a multiplicative normalization constant. It implies that by minimizing the log-loss (associated with the KL divergence), we minimize an upper bound to any choice of loss functions from this set. This property justifies the broad use of log-loss in regression, decision trees, deep neural networks and many other applications. In addition, we show that the KL divergence bounds from above any separable Bregman divergence that is convex in its second argument (up to a multiplicative normalization constant). This result introduces a new set of divergence inequalities, similar to the well-known Pinsker inequality.


title: A Theory of Elementary Higher Toposes

abstract: We define an elementary $\infty$-topos that simultaneously generalizes an elementary topos and Grothendieck $\infty$-topos. We then prove it satisfies the expected topos theoretic properties, such as descent, local Cartesian closure, locality and classification of univalent morphisms, generalizing results by Lurie and Gepner-Kock. We also define $\infty$-logical functors and show the resulting $\infty$-category is closed under limits and filtered colimits, generalizing the analogous result for elementary toposes and Grothendieck $\infty$-toposes. Moreover, we give an alternative characterization of elementary $\infty$-toposes and their $\infty$-logical functors via their ind-completions. Finally we generalize these results by discussing the case of elementary (n,1)-toposes and give various examples and non-examples.


title: High harmonic generation tomography of impurities in solids: conceptual analysis

abstract: A three step model for high harmonic generation from impurities in solids is developed. The process is found to be similar to high harmonic generation in atomic and molecular gases with the main difference coming from the non-parabolic nature of the bands. This opens a new avenue for strong field atomic and molecular physics in the condensed matter phase. As a first application, our conceptual study demonstrates the feasibility of tomographic measurement of impurity orbitals.


title: Structural Breaks in Time Series

abstract: This chapter covers methodological issues related to estimation, testing and computation for models involving structural changes. Our aim is to review developments as they relate to econometric applications based on linear models. Substantial advances have been made to cover models at a level of generality that allow a host of interesting practical applications. These include models with general stationary regressors and errors that can exhibit temporal dependence and heteroskedasticity, models with trending variables and possible unit roots and cointegrated models, among others. Advances have been made pertaining to computational aspects of constructing estimates, their limit distributions, tests for structural changes, and methods to determine the number of changes present. A variety of topics are covered. The first part summarizes and updates developments described in an earlier review, Perron (2006), with the exposition following heavily that of Perron (2008). Additions are included for recent developments: testing for common breaks, models with endogenous regressors (emphasizing that simply using least-squares is preferable over instrumental variables methods), quantile regressions, methods based on Lasso, panel data models, testing for changes in forecast accuracy, factors models and methods of inference based on a continuous records asymptotic framework. Our focus is on the so-called off-line methods whereby one wants to retrospectively test for breaks in a given sample of data and form confidence intervals about the break dates. The aim is to provide the readers with an overview of methods that are of direct usefulness in practice as opposed to issues that are mostly of theoretical interest.


title: Minimal Hypersurfaces in nearly $\mathrm{G}_2$ Manifolds

abstract: We study hypersurfaces in a nearly $\mathrm{G}_2$ manifold. We define various quantities associated to such a hypersurface using the $\mathrm{G}_2$ structure of the ambient manifold and prove several relationships between them. In particular, we give a necessary and sufficient condition for a hypersurface with an almost complex structure induced from the $\mathrm{G}_2$ structure of the ambient manifold, to be nearly K$\ddot{\text{a}}$hler. Then using the nearly $\mathrm{G}_2$ structure on the round sphere $S^7$, we prove that for a compact minimal hypersurface $M^6$ of constant scalar curvature in $S^7$ with the shape operator $A$ satisfying $|A|^2>6$, there exists an eigenvalue $\lambda >12$ of the Laplace operator on $M$ such that $|A|^2=\lambda - 6$, thus giving the next discrete value of $|A|^2$ greater than $0$ and $6$, thus generalizing an earlier result about nearly K$\ddot{\text{a}}$hler $S^6$.


title: Polyhedral-based Methods for Mixed-Integer SOCP in Tree Breeding

abstract: Optimal contribution selection (OCS) is a mathematical optimization problem that aims to maximize the total benefit from selecting a group of individuals under a constraint on genetic diversity. We are specifically focused on OCS as applied to forest tree breeding, when selected individuals will contribute equally to the gene pool. Since the diversity constraint in OCS can be described with a second-order cone, equal deployment in OCS can be mathematically modeled as mixed-integer second-order cone programming (MI-SOCP). If we apply a general solver for MI-SOCP, non-linearity embedded in OCS requires a heavy computation cost. To address this problem, we propose an implementation of lifted polyhedral programming (LPP) relaxation and a cone-decomposition method (CDM) to generate effective linear approximations for OCS. In particular, CDM successively solves OCS problems much faster than generic approaches for MI-SOCP. The approach of CDM is not limited to OCS, so that we can also apply the approach to other MI-SOCP problems.


title: Intrinsic Origin of Enhancement of Ferroelectricity in SnTe Ultrathin Films

abstract: Previous studies showed that, as ferroelectric films become thinner, their Curie temperature (Tc) and polarization below Tc both typically decrease. In contrast, a recent experiment [Chang et al., Science 353, 274 (2016)] observed that atomic-thick SnTe films have a higher Tc than their bulk counterpart, which was attributed to extrinsic effects. Here, we find, using first-principles calculations, that the 0K energy barrier for the polarization switching (which is a quantity directly related to Tc) is higher in most investigated defect-free SnTe ultrathin films than that in bulk SnTe, and that the 5-unit-cell (UC) SnTe thin film has the largest energy barrier as a result of an interplay between hybridization interactions and Pauli repulsions. Further simulations, employing a presently developed effective Hamiltonian, confirm that free-standing defect-free SnTe thin films have a higher Tc than bulk SnTe, except for the 1-UC case. Our work therefore demonstrates the possibility to intrinsically enhance ferroelectricity of ultrathin films by reducing their thickness.


title: Nonlinear interaction of waves in elastodynamics and an inverse problem

abstract: We consider nonlinear elastic wave equations generalizing Gol'dberg's five constants model. We analyze the nonlinear interaction of two distorted plane waves and characterize the possible nonlinear responses. Using the boundary measurements of the nonlinear responses, we solve the inverse problem of determining elastic parameters from the displacement-to-traction map.


title: A DAG Model of Synchronous Stochastic Gradient Descent in Distributed Deep Learning

abstract: With huge amounts of training data, deep learning has made great breakthroughs in many artificial intelligence (AI) applications. However, such large-scale data sets present computational challenges, requiring training to be distributed on a cluster equipped with accelerators like GPUs. With the fast increase of GPU computing power, the data communications among GPUs have become a potential bottleneck on the overall training performance. In this paper, we first propose a general directed acyclic graph (DAG) model to describe the distributed synchronous stochastic gradient descent (S-SGD) algorithm, which has been widely used in distributed deep learning frameworks. To understand the practical impact of data communications on training performance, we conduct extensive empirical studies on four state-of-the-art distributed deep learning frameworks (i.e., Caffe-MPI, CNTK, MXNet and TensorFlow) over multi-GPU and multi-node environments with different data communication techniques, including PCIe, NVLink, 10GbE, and InfiniBand. Through both analytical and experimental studies, we identify the potential bottlenecks and overheads that could be further optimized. At last, we make the data set of our experimental traces publicly available, which could be used to support simulation-based studies.


title: Theorems on Entanglement Typicality in Non-equilibrium Dynamics

abstract: The notion of typicality in statistical mechanics is essential to characterize a macroscopic system. An overwhelming majority of the pure state looks almost identical if we neglect macroscopic non-local correlations, suggesting that thermal equilibrium is the collection of the typical properties. Quantum entanglement, which characterizes a non-local correlation, also has a typical behavior in equilibrium systems. However, it remains elusive whether there is a typical behavior of entanglement in dynamical non-equilibrium systems. To investigate the typicality, we consider a situation where a system in a pure state starts to share entanglement with its environment system due to the interaction between them. Assuming the initial state is randomly chosen from an ensemble of pure states, a criteria for the typicality of the R\'enyi entropies is presented. In addition, it is analytically proven that the second R\'enyi entropy has a typical behavior in two cases. The first one is an energy dissipation process in a multiple-qubit system which is initially in a random pure state in an energy shell. Since the typical behavior is qualitatively the same as the prediction of the Page curve conjecture, it gives the first proof of the Page curve conjecture in a dynamical process. In the second case, the typicality is proven for any dynamics described by a multiple-product of a single-qudit channel when the system is initially in a pure state randomly chosen from the whole Hilbert space. This result shows that entanglement typicality is not a specific feature of energy dissipating processes.

categories: cond-mat.stat-mech gr-qc hep-th quant-ph


title: A Conjectural Classification of Strongly Dependent Fields

abstract: We survey the history of Shelah's conjecture on strongly dependent fields, give an equivalent formulation in terms of a classification of strongly dependent fields and prove that the conjecture implies that every strongly dependent field has finite dp-rank.


title: UAV-Enabled Wireless Power Transfer with Directional Antenna: A Two-User Case

abstract: This paper considers an unmanned aerial vehicle (UAV)-enabled wireless power transfer (WPT) system, in which a UAV equipped with a directional antenna is dispatched to deliver wireless energy to charge two energy receivers (ERs) on the ground. Under this setup, we maximize the common (or minimum) energy received by the two ERs over a particular finite charging period, by jointly optimizing the altitude, trajectory, and transmit beamwidth of the UAV, subject to the UAV's maximum speed constraints, as well as the maximum/minimum altitude and beamwidth constraints. However, the common energy maximization is a non-convex optimization problem that is generally difficult to be solved optimally. To tackle this problem, we first ignore the maximum UAV speed constraints and solve the relaxed problem optimally. The optimal solution to the relaxed problem reveals that the UAV should hover above two symmetric locations during the whole charging period, with the corresponding altitude and beamwidth optimized. Next, we study the original problem with the maximum UAV speed constraints considered, for which a heuristic hover-fly-hover trajectory design is proposed based on the optimal symmetric-location-hovering solution to the relaxed problem. Numerical results validate that thanks to the employment of directional antenna with adaptive beamwidth and altitude control, our proposed design significantly improves the common energy received by the two ERs, as compared to other benchmark schemes.


title: A Model for the Higher Category of Higher Categories

abstract: We use fibrations of complete Segal spaces to construct four complete Segal spaces: Reedy fibrant simplicial spaces, Segal spaces, complete Segal spaces, and spaces. Moreover, we show each one comes with a universal fibration that classifies Reedy left fibrations, Segal coCartesian fibrations, coCartesian fibrations and left fibrations and prove these are representable fibrations. Finally, we use equivalences between quasi-categories and complete Segal spaces to present analogous constructions using fibrations of quasi-categories.


title: Giant Anisotropic Magnetoresistance due to Purely Orbital Rearrangement in the Quadrupolar Heavy Fermion Superconductor PrV$_2$Al$_{20}$

abstract: We report the discovery of giant and anisotropic magnetoresistance due to the orbital rearrangement in a non-magnetic correlated metal. In particular, we measured the magnetoresistance under fields up to 31.4 T in the cubic Pr-based heavy fermion superconductor PrV$_2$Al$_{20}$ with a non-magnetic $\Gamma _3$ doublet ground state, exhibiting antiferro-quadrupole ordering below 0.7 K. For the [100] direction, we find that the high-field phase appears between 12 T and 25 T, accompanied by a large jump at 12 T in the magnetoresistance ($\Delta MR \sim $ 100 $\% $) and in the anisotropic magnetoresistivity (AMR) ratio by $\sim $ 20 $\% $. These observations indicate that the strong hybridization between the conduction electrons and anisotropic quadrupole moments leads to the Fermi surface reconstruction upon crossing the field-induced antiferro-quadrupole (orbital) rearrangement.


title: Training Classifiers with Natural Language Explanations

abstract: Training accurate classifiers requires many labels, but each label provides only limited information (one bit for binary classification). In this work, we propose BabbleLabble, a framework for training classifiers in which an annotator provides a natural language explanation for each labeling decision. A semantic parser converts these explanations into programmatic labeling functions that generate noisy labels for an arbitrary amount of unlabeled data, which is used to train a classifier. On three relation extraction tasks, we find that users are able to train classifiers with comparable F1 scores from 5-100$\times$ faster by providing explanations instead of just labels. Furthermore, given the inherent imperfection of labeling functions, we find that a simple rule-based semantic parser suffices.


title: Ring Dirac Solitons in Nonlinear Topological Lattices

abstract: We study solitons of the two-dimensional nonlinear Dirac equation with asymmetric cubic nonlinearity. We show that, with the nonlinearity parameters specifically tuned, a high degree of localization of both spinor components is enabled on a ring of certain radius. Such ring Dirac soliton can be viewed as a self-induced nonlinear domain wall and can be implemented in nonlinear photonic graphene lattice with Kerr-like nonlinearities. Our model could be instructive for understanding localization mechanisms in nonlinear topological systems.


title: Angular momenta, helicity, and other properties of dielectric-fiber and metallic-wire modes

abstract: Spin and orbital angular momenta (AM) of light are well studied for free-space electromagnetic fields, even nonparaxial. One of the important applications of these concepts is the information transfer using AM modes, often via optical fibers and other guiding systems. However, the self-consistent description of the spin and orbital AM of light in optical media (including dispersive and metallic cases) was provided only recently [K.Y. Bliokh et al., Phys. Rev. Lett. 119, 073901 (2017)]. Here we present the first accurate calculations, both analytical and numerical, of the spin and orbital AM, as well as the helicity and other properties, for the full-vector eigenmodes of cylindrical dielectric and metallic (nanowire) waveguides. We find remarkable fundamental relations, such as the quantization of the canonical total AM of cylindrical guided modes in the general nonparaxial case. This quantization, as well as the noninteger values of the spin and orbital AM, are determined by the generalized geometric and dynamical phases in the mode fields. Moreover, we show that the spin AM of metallic-wire modes is determined, in the geometrical-optics approximation, by the transverse spin of surface plasmon-polaritons propagating along helical trajectories on the wire surface. Our work provides a solid platform for future studies and applications of the AM and helicity properties of guided optical and plasmonic waves.


title: Monolayer group-III monochalcogenides by oxygen functionalization: a promising class of two-dimensional topological insulators

abstract: Monolayer group-III monochalcogenides (MX, M = Ga, In; X = S, Se, Te), an emerging category of two-dimensional (2D) semiconductors, hold great promise for electronics, optoelectronics and catalysts. By first-principles calculations, we show that the phonon dispersion and Raman spectra as well as the electronic and topological properties of monolayer MX can be tuned by oxygen functionalization. Chemisorption of oxygen atoms on one side or both sides of the MX sheet narrows or even closes the band gap, enlarges work function, and significantly reduces the carrier effective mass. More excitingly, InS, InSe and InTe monolayers with double-side oxygen functionalization are 2D topological insulators with sizeable bulk gap up to 0.21 eV. Their low-energy bands near the Fermi level are dominated by the px and py orbitals of atoms, allowing band engineering via in-plane strains. Our studies provide viable strategy for realizing quantum spin Hall effect in monolayer group-III monochalcogenides at room temperature, and utilizing these novel 2D materials for high-speed and dissipationless transport devices.


title: Compressed Wideband Spectrum Sensing: Concept, Challenges and Enablers

abstract: Spectrum sensing research has mostly been focusing on narrowband access, and not until recently have researchers started looking at wideband spectrum. Broadly speaking, wideband spectrum sensing approaches can be categorized into two classes: Nyquist-rate and sub-Nyquist-rate sampling approaches. Nyquist-rate approaches have major practical issues that question their suitability for realtime applications; this is mainly because their high-rate sampling requirement calls for complex hardware and signal processing algorithms that incur significant delays. Sub-Nyquist-rate approaches, on the other hand, are more appealing due to their less stringent sampling-rate requirement. Although various concepts have been investigated to ensure sub-Nyquist rates, compressive sampling theory is definitely one concept that has attracted so much interest. This paper explains and illustrates how compressive sampling has been leveraged to improve wideband spectrum sensing by enabling spectrum occupancy recovery with sub-Nyquist sampling rates. The paper also introduces new ideas with great potential for further wideband spectrum sensing enhancements, and identifies key future research challenges and directions that remain to be investigated.


title: Spatial dynamics analysis of polarized atom vapor

abstract: We analyze the spatial dynamics of polarized atom vapor and present a mathematical method to eliminate the diffusion effect partially. It is found that the diffusion effect of polarized atoms can be regarded as a low pass filter in spatial frequency domain and fits well with a Butterworth filter. The fitted spatial filter can be used to restore the original magnetic image before being blurred by the diffusion, thus improving the magnetic spatial resolution. The results of spatial dynamics simulation and magnetic image restoration show the potential usage of this method in magnetic gradiometer and atomic magnetic microscopy.


title: Extension of Borel maps with values in non-metrizable spaces

abstract: We investigate the possibility of extension of $F_\sigma$-measurable and Baire-one maps from subspaces of topological spaces when these maps take values in spaces which covers by a sequence of metrizable spaces with special properties


title: On asymptotic normality in estimation after a group sequential trial

abstract: We prove that in many realistic cases, the ordinary sample mean after a group sequential trial is asymptotically normal if the maximal number of observations increases. We derive that it is often safe to use naive confidence intervals for the mean of the collected observations, based on the ordinary sample mean. Our theoretical findings are confirmed by a simulation study.


title: Fundamental solutions for a class of multidimensional elliptic equations with several singular coefficients

abstract: The main result of the present paper is the construction of fundamental solutions for a class of multidimensional elliptic equations with several singular coefficients. These fundamental solutions are directly connected with multiple hypergeometric functions and the decomposition formula is required for their investigation which would express the multivariable hypergeometric function in terms of products of several simpler hypergeometric functions involving fewer variables. In this paper, such a formula is proved instead of a previously existing recurrence formula.The order of singularity and other properties of the fundamental solutions that are necessary for solving boundary value problems for degenerate second-order elliptic equations are determined. Key words: multidimensional elliptic equation with several singular coefficients; fundamental solutions; multiple hypergeometric functions; decomposition formula; order of the singularity.


title: The first homotopic Baire class of maps with values in ANR's coincides with the first Baire class

abstract: We introduce the first homotopic Baire class of maps as a homotopical counterpart of a usual first Baire class of maps between topological spaces and show that those classes with values in ANR spaces coincide


title: The Stellar Orbital Structure in Axisymmetric Galaxy Models with Supermassive Black Hole Binaries

abstract: It has been well-established that particular centrophilic orbital families in non-spherical galaxies can, in principle, drive a black hole binary to shrink its orbit through three-body scattering until the black holes are close enough to strongly emit gravitational waves. Most of these studies rely on orbital analysis of a static SMBH-embedded galaxy potential to support this view; it is not clear, however, how these orbits transform as the second SMBH enters the center, so our understanding of which orbits actually interact with a SMBH binary is not ironclad. Here, we analyze two flattened galaxy models, one with a single SMBH and one with a binary, to determine which orbits actually do interact with the SMBH binary and how they compare with the set predicted in single SMBH-embedded models. We find close correspondence between the centrophilic orbits predicted to interact with the binary and those that are actually scattered by the binary, in terms of energy and Lz distribution, where Lz is the z component of a stellar particle's angular momentum. Of minor note: because of the larger mass, the binary SMBH has a radius of influence about 4 times larger than in the single SMBH model, which allows the binary to draw from a larger reservoir of orbits to scatter. Of the prediction particles and scattered particles, nearly half have chaotic orbits, 40% have fx:fy=1:1 orbits, 10% have other resonant orbits.


title: Fundamental Limits of Database Alignment

abstract: We consider the problem of aligning a pair of databases with correlated entries. We introduce a new measure of correlation in a joint distribution that we call cycle mutual information. This measure has operational significance: it determines whether exact recovery of the correspondence between database entries is possible for any algorithm. Additionally, there is an efficient algorithm for database alignment that achieves this information theoretic threshold.


title: Towards Inference-Oriented Reading Comprehension: ParallelQA

abstract: In this paper, we investigate the tendency of end-to-end neural Machine Reading Comprehension (MRC) models to match shallow patterns rather than perform inference-oriented reasoning on RC benchmarks. We aim to test the ability of these systems to answer questions which focus on referential inference. We propose ParallelQA, a strategy to formulate such questions using parallel passages. We also demonstrate that existing neural models fail to generalize well to this setting.