title: Multi-Reference Training with Pseudo-References for Neural Translation and Text Generation

abstract: Neural text generation, including neural machine translation, image captioning, and summarization, has been quite successful recently. However, during training time, typically only one reference is considered for each example, even though there are often multiple references available, e.g., 4 references in NIST MT evaluations, and 5 references in image captioning data. We first investigate several different ways of utilizing multiple human references during training. But more importantly, we then propose an algorithm to generate exponentially many pseudo-references by first compressing existing human references into lattices and then traversing them to generate new pseudo-references. These approaches lead to substantial improvements over strong baselines in both machine translation (+1.5 BLEU) and image captioning (+3.1 BLEU / +11.7 CIDEr).


title: Ensuring Privacy with Constrained Additive Noise by Minimizing Fisher Information

abstract: The problem of preserving the privacy of individual entries of a database when responding to linear or nonlinear queries with constrained additive noise is considered. For privacy protection, the response to the query is systematically corrupted with an additive random noise whose support is a subset or equal to a pre-defined constraint set. A measure of privacy using the inverse of the trace of the Fisher information matrix is developed. The Cramer-Rao bound relates the variance of any estimator of the database entries to the introduced privacy measure. The probability density that minimizes the trace of the Fisher information (as a proxy for maximizing the measure of privacy) is computed. An extension to dynamic problems is also presented. Finally, the results are compared to the differential privacy methodology.


title: Privacy-preserving Decentralized Optimization via Decomposition

abstract: This paper considers the problem of privacy-preservation in decentralized optimization, in which $N$ agents cooperatively minimize a global objective function that is the sum of $N$ local objective functions. We assume that each local objective function is private and only known to an individual agent. To cooperatively solve the problem, most existing decentralized optimization approaches require participating agents to exchange and disclose estimates to neighboring agents. However, this results in leakage of private information about local objective functions, which is undesirable when adversaries exist and try to steal information from participating agents. To address this issue, we propose a privacy-preserving decentralized optimization approach based on proximal Jacobian ADMM via function decomposition. Numerical simulations confirm the effectiveness of the proposed approach.


title: Related reflections to the axioms of separation in semigroups with topologies and some applications

abstract: In this paper we study the reflections of the category of topological and semitopological semigroups on the category of the class of topological spaces satisfying separation axioms $T_{0}$, $T_{1}$, $T_{2}$, $T_{3}$ and regular and we apply its properties for to find conditions under which a topological semigroup has the Souslin property.


title: ARBEE: Towards Automated Recognition of Bodily Expression of Emotion In the Wild

abstract: Humans are arguably innately prepared to comprehend others' emotional expressions from subtle body movements. If robots or computers can be empowered with this capability, a number of robotic applications become possible. Automatically recognizing human bodily expression in unconstrained situations, however, is daunting given the incomplete understanding of the relationship between emotional expressions and body movements. The current research, as a multidisciplinary effort among computer and information sciences, psychology, and statistics, proposes a scalable and reliable crowdsourcing approach for collecting in-the-wild perceived emotion data for computers to learn to recognize body languages of humans. To accomplish this task, a large and growing annotated dataset with 9,876 video clips of body movements and 13,239 human characters, named BoLD (Body Language Dataset), has been created. Comprehensive statistical analysis of the dataset revealed many interesting insights. A system to model the emotional expressions based on bodily movements, named ARBEE (Automated Recognition of Bodily Expression of Emotion), has also been developed and evaluated. Our analysis shows the effectiveness of Laban Movement Analysis (LMA) features in characterizing arousal, and our experiments using LMA features further demonstrate computability of bodily expression. We report and compare results of several other baseline methods which were developed for action recognition based on two different modalities, body skeleton, and raw image. The dataset and findings presented in this work will likely serve as a launchpad for future discoveries in body language understanding that will enable future robots to interact and collaborate more effectively with humans.


title: A Reduced-Boundary-Function Method for Convective Heat Transfer with Axial Heat Conduction and Viscous Dissipation

abstract: We introduce a new method of solution for the convective heat transfer under forced laminar flow that is confined by two parallel plates with a distance of 2a or by a circular tube with a radius of a. The advection-conduction equation is first mapped onto the boundary. The original problem of solving the unknown field T(x,r,t) is reduced to seek the solutions of T at the boundary (r=a or r=0, r is the distance from the center line shown in Fig. 1), i.e. the boundary functions. In this manner, the original problem is significantly simplified by reducing the problem dimensions from 3 to 2. The unknown field T(x,r,t) can be eventually solved in terms of these boundary functions. The method is applied to the convective heat transfer with uniform wall temperature boundary condition and with heat exchange between flowing fluids and its surroundings that is relevant to the geothermal applications. Analytical solutions are presented and validated for the steady state problem using the proposed method.


title: Metal Oxidation Kinetics and the Transition from Thin to Thick Films

abstract: We report an investigation of growth kinetics and transition from thin to thick films during metal oxidation. In the thin film limit (< 20 nm), Cabrera and Mott's theory is usually adopted by explicitly considering ionic drift through the oxide in response to electric fields, where the growth kinetics follow an inverse logarithmic law. It is generally accepted that Wagner's theory, involving self-diffusion, is valid only in the limit of thick film regime and leads to parabolic growth kinetics. Theory presented here unifies the two models and provides a complete description of oxidation including the transition from thin to thick film. The range of validity of Cabrera and Mott's theory and Wagner's theory can be well defined in terms of the Debye-Huckel screening length. The transition from drift-dominated ionic transport for thin film to diffusion-dominated transport for thick film is found to strictly follow the direct logarithmic law that is frequently observed in many experiments.


title: Full Speed Ahead: 3D Spatial Database Acceleration with GPUs

abstract: Many industries rely on visual insights to support decision- making processes in their businesses. In mining, the analysis of drills and geological shapes, represented as 3D geometries, is an important tool to assist geologists on the search for new ore deposits. Aeronautics manipulate high-resolution geometries when designing a new aircraft aided by the numerical simulation of aerodynamics. In common, these industries require scalable databases that compute spatial relationships and measurements so that decision making can be conducted without lags. However, as we show in this study, most database systems either lack support for handling 3D geometries or show poor performance when given a sheer volume of data to work with. This paper presents a pluggable acceleration engine for spatial database systems that can improve the performance of spatial operations by more than 3000x through GPU offloading. We focus on the design and evaluation of our plug-in for the PostgreSQL database system.


title: Cycle-of-Learning for Autonomous Systems from Human Interaction

abstract: We discuss different types of human-robot interaction paradigms in the context of training end-to-end reinforcement learning algorithms. We provide a taxonomy to categorize the types of human interaction and present our Cycle-of-Learning framework for autonomous systems that combines different human-interaction modalities with reinforcement learning. Two key concepts provided by our Cycle-of-Learning framework are how it handles the integration of the different human-interaction modalities (demonstration, intervention, and evaluation) and how to define the switching criteria between them.


title: Phase field and level set methods for modeling solute precipitation and/or dissolution

abstract: The dynamics of solid-liquid interfaces controlled by solute precipitation and/or dissolution due to the chemical reaction at the interface were computed in two dimensions using a phase field models. Sharp-interface asymptotic analysis demonstrated that the phase field solutions should converge to the proper sharp-interface precipitation/dissolution limit. For the purpose of comparison, the numerical solution of the sharp-interface model for solute precipitation/dissolution was directly solved using a level set method. In general, the phase field results are found in good agreement with the level set results for all reaction rates and geometry configurations investigated. Present study supports the applications of both methods to more complicated and realistic reactive systems, including the nuclear waste release and mineral precipitation and dissolution.


title: Probabilistic Sparse Subspace Clustering Using Delayed Association

abstract: Discovering and clustering subspaces in high-dimensional data is a fundamental problem of machine learning with a wide range of applications in data mining, computer vision, and pattern recognition. Earlier methods divided the problem into two separate stages of finding the similarity matrix and finding clusters. Similar to some recent works, we integrate these two steps using a joint optimization approach. We make the following contributions: (i) we estimate the reliability of the cluster assignment for each point before assigning a point to a subspace. We group the data points into two groups of "certain" and "uncertain", with the assignment of latter group delayed until their subspace association certainty improves. (ii) We demonstrate that delayed association is better suited for clustering subspaces that have ambiguities, i.e. when subspaces intersect or data are contaminated with outliers/noise. (iii) We demonstrate experimentally that such delayed probabilistic association leads to a more accurate self-representation and final clusters. The proposed method has higher accuracy both for points that exclusively lie in one subspace, and those that are on the intersection of subspaces. (iv) We show that delayed association leads to huge reduction of computational cost, since it allows for incremental spectral clustering.


title: Spitzer Phase Curves of KELT-1b and the Signatures of Nightside Clouds in Thermal Phase Observations

abstract: We observed two full orbital phase curves of the transiting brown dwarf KELT-1b, at 3.6um and 4.5um, using the Spitzer Space Telescope. Combined with previous eclipse data from Beatty et al. (2014), we strongly detect KELT-1b's phase variation as a single sinusoid in both bands, with amplitudes of $964\pm36$ ppm at 3.6um and $979\pm54$ ppm at 4.5um, and confirm the secondary eclipse depths measured by Beatty et al. (2014). We also measure noticeable Eastward hotspot offsets of $28.4\pm3.5$ degrees at 3.6um and $18.6\pm5.2$ degrees at 4.5um. Both the day-night temperature contrasts and the hotspot offsets we measure are in line with the trends seen in hot Jupiters (e.g., Crossfield 2015), though we disagree with the recent suggestion of an offset trend by Zhang et al. (2018). Using an ensemble analysis of Spitzer phase curves, we argue that nightside clouds are playing a noticeable role in modulating the thermal emission from these objects, based on: 1) the lack of a clear trend in phase offsets with equilibrium temperature, 2) the sharp day-night transitions required to have non-negative intensity maps, which also resolves the inversion issues raised by Keating & Cowan (2017), 3) the fact that all the nightsides of these objects appear to be at roughly the same temperature of 1000K, while the dayside temperatures increase linearly with equilibrium temperature, and 4) the trajectories of these objects on a Spitzer color-magnitude diagram, which suggest colors only explainable via nightside clouds.


title: Nanoscale magnetic resonance spectroscopy using a carbon nanotube double quantum dot

abstract: Quantum sensing exploits fundamental features of quantum mechanics and quantum control to realise sensing devices with potential applications in a broad range of scientific fields ranging from basic science to applied technology. The ultimate goal are devices that combine unprecedented sensitivity with excellent spatial resolution. Here, we propose a new platform for all-electric nanoscale quantum sensing based on a carbon nanotube double quantum dot. Our analysis demonstrates that the platform can achieve sensitivities that allow for the implementation of single-molecule magnetic resonance spectroscopy and therefore opens a promising route towards integrated on-chip quantum sensing devices.


title: Higher Order Continuum Wave Equation Calibrated on Lattice Dynamics

abstract: The classical approach to linking lattice dynamics properties to continuum equations of motion, the "method of long waves," is extended to include higher order terms. The additional terms account for non-local and non-linear effects. In the first part of the article, the derivation is made within the harmonic approximation for the perfect lattice response. Higher order terms are included in the continuum equation of motion to account for non-linear dispersion effects. Wave propagation coefficients as well as fourth order dispersion coefficients are obtained. In the second part, the lattice anharmonicity is considered and nonlinear macroscopic equations of motion are obtained within the local approximation. Both continuum solutions are particularized to the one-dimensional case and are compared with the lattice response in order to establish the accuracy of the approximation.


title: Identifying AGNs in low-mass galaxies via long-term optical variability

abstract: We present an analysis of the nuclear variability of $\sim28,000$ nearby ($z<0.15$) galaxies with Sloan Digital Sky Survey (SDSS) spectroscopy in Stripe 82. We construct light curves using difference imaging of SDSS g-band images, which allows us to detect subtle variations in the central light output. We select variable AGN by assessing whether detected variability is well-described by a damped random walk model. We find 135 galaxies with AGN-like nuclear variability. While most of the variability-selected AGNs have narrow emission lines consistent with the presence of an AGN, a small fraction have narrow emission lines dominated by star formation. The star-forming systems with nuclear AGN-like variability tend to be low-mass ($M_{\ast}<10^{10}~M_{\odot}$), and may be AGNs missed by other selection techniques due to star formation dilution or low-metallicities. We explore the AGN fraction as a function of stellar mass, and find that the fraction of variable AGN increases with stellar mass, even after taking into account the fact that lower mass systems are fainter. There are several possible explanations for an observed decline in the fraction of variable AGN with decreasing stellar mass, including a drop in the supermassive black hole occupation fraction, a decrease in the ratio of black hole mass to galaxy stellar mass, or a change in the variability properties of lower-mass AGNs. We demonstrate that optical photometric variability is a promising avenue for detecting AGNs in low-mass, star formation-dominated galaxies, which has implications for the upcoming Large Synoptic Survey Telescope.


title: Effect of layout on asymptotic boundary layer regime in deep wind farms

abstract: The power output of wind farms depends strongly on spatial turbine arrangement, and the resulting turbulent interactions with the atmospheric boundary layer. The main goal of this work is to study the effect of turbine layout on the power output for large wind farms approaching a fully-developed regime. For this purpose we employ an experimental setup of a scaled wind farm with one-hundred porous disk models, of which sixty are instrumented with strain gages. Our experiments cover a parametric space of fifty-six different layouts for which the turbine-area-density is constant, focusing on different turbine arrangements including non-uniform spacings. The strain-gage measurements are used to deduce surrogate power and unsteady loading on turbines for each layout. Our results indicate that the power asymptote at the end of the wind farm depends on the layout in different ways. Firstly, for layouts with a relatively uniform spacing we find that the power asymptote in the fully developed regime reaches approximately the same value, similarly to the prediction of available analytical models. Secondly, we show that the power asymptote in the fully-developed regime can be lowered by inefficient turbine placement, for instance when a large number of the turbines are located in the near wake of upstream turbines. Thirdly, our experiments indicate that an uneven spacing between turbines can improve the overall power output for both the developing and fully-developed part of large wind farms. Specifically, we find a higher power asymptote for a turbine layout with a significant streamwise uneven spacing (i.e. a large streamwise spacing between pairs of closely spaced rows that are slightly staggered). Our results thereby indicate that such a layout may promote beneficial flow interactions in the fully-developed regime for conditions with a strongly prevailing wind direction.


title: Spin Dressed Relaxation and Frequency Shifts from Field Imperfections

abstract: Critical dressing, the simultaneous dressing of two spin species to the same effective Larmor frequency, is a technique that can, in principle, improve the sensitivity to small frequency shifts. The benefits of spin dressing and thus critical dressing are achieved at the expense of generating a large (relative to the holding field $B_{0}$,) homogeneous oscillating field. Due to inevitable imperfections of the fields generated, the benefits of spin dressing may be lost from the additional relaxation and noise generated by the dressing field imperfections. In this analysis the subject of relaxation and frequency shifts are approached with simulations and theory. Analytical predictions are made from a new quasi-quantum model that includes gradients in the holding field $B_{0}=\omega _{0}/\gamma $ and dressing field $B_{1}=\omega _{1}/\gamma $ where $B_{1}$ is oscillating at frequency $\omega $. The results are compared with a Monte Carlo simulation coupled with a 5$^{\text{th}}$ order Runge-Kutta integrator. Comparisons of the two methods are presented as well as a set of optimized parameters that produce stable critical dressing at a range for oscillating frequencies $\omega ,$ as well as pulsed frequency modulation parameters for maximum sensitivity.


title: Extensions of tensor categories by finite group fusion categories

abstract: We study exact sequences of finite tensor categories of the form $\Rep G \to \C \to \D$, where $G$ is a finite group. We show that, under suitable assumptions, there exists a group $\Gamma$ and mutual actions by permutations $\rhd: \Gamma \times G \to G$ and $\lhd: \Gamma \times G \to \Gamma$ that make $(G, \Gamma)$ into matched pair of groups endowed with a natural crossed action on $\D$ such that $\C$ is equivalent to a certain associated crossed extension $\D^{(G, \Gamma)}$ of $\D$. Dually, we show that an exact sequence of finite tensor categories $\vect_G \to \C \to \D$ induces an $\Aut(G)$-grading on $\C$ whose neutral homogeneous component is a $(Z(G), \Gamma)$-crossed extension of a tensor subcategory of $\D$. As an application we prove that such extensions $\C$ of $\D$ are weakly group-theoretical fusion categories if and only if $\D$ is a weakly group-theoretical fusion category. In particular, we conclude that every semisolvable semisimple Hopf algebra is weakly group-theoretical.


title: Breaking the Beam Search Curse: A Study of (Re-)Scoring Methods and Stopping Criteria for Neural Machine Translation

abstract: Beam search is widely used in neural machine translation, and usually improves translation quality compared to greedy search. It has been widely observed that, however, beam sizes larger than 5 hurt translation quality. We explain why this happens, and propose several methods to address this problem. Furthermore, we discuss the optimal stopping criteria for these methods. Results show that our hyperparameter-free methods outperform the widely-used hyperparameter-free heuristic of length normalization by +2.0 BLEU, and achieve the best results among all methods on Chinese-to-English translation.


title: The Haar System in Besov-type Spaces

abstract: Some Besov-type spaces $B^{s,\tau}_{p,q}(\mathbb{R}^n)$ can be characterized in terms of the behavior of the Fourier--Haar coefficients. In this article, the authors discuss some necessary restrictions for the parameters $s$, $\tau$, $p$, $q$ and $n$ of this characterization. Therefore, the authors measure the regularity of the characteristic function $\mathcal X$ of the unit cube in $\mathbb{R}^n$ via the Besov-type spaces $B^{s,\tau}_{p,q}(\mathbb{R}^n)$. Furthermore, the authors study necessary and sufficient conditions such that the operation $\langle f, \mathcal{X} \rangle$ generates a continuous linear functional on $B^{s,\tau}_{p,q}(\mathbb{R}^n)$.


title: The hyperspace of non blockers of $F_1(X)$

abstract: A continuum is a compact connected metric space. A non-empty closed subset $B$ of a continuum $X$ does not block $x\in X\setminus B$ provided that the union of all subcontinua of $X$ containing $x$ and contained in $X\setminus B$ is dense in $X$. We denote the collection of all non-empty closed subset $B$ of $X$ such that $B$ does not block each element of $X\setminus B$ by $NB(F_1(X))$. In this paper we show some properties of the hyperspace $NB(F_1(X))$. Particularly, we prove that the simple closed curve is the unique continuum $X$ such that $NB(F_1(X))=F_1(X)$, given a positive answer to a question posed by Escobedo, Estrada-Obreg\'on and Villanueva in 2012.


title: Spin-orbit-stable type-II nodal line band crossing in n-doped monolayer MoX2 (X=S,Se,Te)

abstract: 1H-phase monolayer transition-metal dichalcogenides have spin-split electronic band structures near the K(K') point due to strong spin-orbit coupling and intrinsic inversion symmetry breaking. In case of the monolayer MoX2 (X=S, Se, Te), the spin-split conduction bands cross near the K(K') point. We show that the band crossing occurs not only along the high symmetry directions, but also along arbitrary directions due to a mirror reflection symmetry of the monolayer. As a result, n-doped monolayer MoX2 is a two-dimensional type-II nodal-line material.


title: Complexity and mission computability of adaptive computing systems

abstract: There is a subset of computational problems that are computable in polynomial time for which an existing algorithm may not complete due to a lack of high performance technology on a mission field. We define a subclass of deterministic polynomial time complexity class called mission class, as many polynomial problems are not computable in mission time. By focusing on such subclass of languages in the context for successful military applications, we also discuss their computational and communicational constraints. We investigate feasible (non)linear models that will minimize energy and maximize memory, efficiency, and computational power, and also provide an approximate solution obtained within a pre-determined length of computation time using limited resources so that an optimal solution to a language could be determined.


title: Generalized Loose Edge Factorization Theorems

abstract: We extend a factorization theorem by Gwo\'zdziewicz and Hejmej from the ring of formal power series to any complete regular local ring $ R $. More precisely, let $ f \in R $ and assume that its Newton polyhedron has a loose edge such that the initial formal of $ f $ along the latter is a product of two coprime polynomials, where one of them is not divided by any variable. Then this provides a factorization of $ f $ in $ R $. As a consequence we obtain a factorization theorem for Weierstra{\ss} polynomials with coefficients in $ R $, which generalizes an earlier result by Rond and the author.


title: Mapping Language to Code in Programmatic Context

abstract: Source code is rarely written in isolation. It depends significantly on the programmatic context, such as the class that the code would reside in. To study this phenomenon, we introduce the task of generating class member functions given English documentation and the programmatic context provided by the rest of the class. This task is challenging because the desired code can vary greatly depending on the functionality the class provides (e.g., a sort function may or may not be available when we are asked to "return the smallest element" in a particular member variable list). We introduce CONCODE, a new large dataset with over 100,000 examples consisting of Java classes from online code repositories, and develop a new encoder-decoder architecture that models the interaction between the method documentation and the class environment. We also present a detailed error analysis suggesting that there is significant room for future work on this task.


title: The Work-Energy Relation for Particles on Geodesics in the pp-Wave Spacetimes

abstract: A non-linear gravitational wave imparts gravitational acceleration to all particles that are hit by the wave. We evaluate this acceleration for particles in the pp-wave space-times, and integrate it numerically along the geodesic trajectories of the particles during the passage of a burst of gravitational wave. The time dependence of the wave is given by a Gaussian, so that the particles are free before and after the passage of the wave. The gravitational acceleration is understood from the point of view of a flat space-time, which is the initial and final gravitational field configuration. The integral of the acceleration along the geodesics is the analogue of the Newtonian concept of work per unit mass. Surprisingly, it yields almost exactly the variation of the non-relativistic kinetic energy per unit mass of the free particle. Therefore, the work-energy relation $\Delta K = \Delta W$ of classical Newtonian physics also holds for a particle on geodesics in the pp-wave space-times, in a very good approximation, and explains why the final kinetic energy of the particle may be smaller or larger than the initial kinetic energy.


title: Lie group valued Koopman eigenfunctions

abstract: Every continuous-time flow on a topological space has associated to it a Koopman operator, which operates by time-shifts on various spaces of functions, such as $C^r$, $L^2$, or functions of bounded variation. An eigenfunction of the vector field (and thus for the Koopman operator) can be viewed as an $S^1$-valued function, which also plays the role of a semiconjugacy to a rigid rotation on $S^1$. This notion of Koopman eigenfunctions will be generalized to Lie-group valued eigenfunctions, and we will discuss the dynamical aspects of these functions. One of the tools that will be developed to aid the discussion, is a concept of exterior derivative for Lie group valued functions, which generalizes the notion of the differential $df$ of a real valued function $f$. The extended notion of Koopman eigenfunctions utilizes a geometric property of usual eigenfunctions. We show that the generalization in a geometric sense can be used to reveal fundamental properties of usual Koopman eigenfunctions, such as their behavior under time-rescaling, and as submersions.


title: The eternal dominating set problem for interval graphs

abstract: We prove that, in games in which all the guards move at the same turn, the eternal domination and the clique-connected cover numbers coincide for interval graphs. A linear algorithm for the eternal dominating set problem is obtained as a by-product.


title: A gravitationally unstable gas disk of a starburst galaxy 12 billion years ago

abstract: Submillimeter bright galaxies in the early Universe are vigorously forming stars at ~1000 times higher rate than the Milky Way. A large fraction of stars is formed in the central 1 kiloparsec region, that is comparable in size to massive, quiescent galaxies found at the peak of the cosmic star formation history, and eventually the core of giant elliptical galaxies in the present-day Universe. However, the physical and kinematic properties inside a compact starburst core are poorly understood because dissecting it requires angular resolution even higher than the Hubble Space Telescope can offer. Here we report 550 parsec-resolution observations of gas and dust in the brightest unlensed submillimeter galaxy at z=4.3. We map out for the first time the spatial and kinematic structure of molecular gas inside the heavily dust-obscured core. The gas distribution is clumpy while the underlying disk is rotation-supported. Exploiting the high-quality map of molecular gas mass surface density, we find a strong evidence that the starburst disk is gravitationally unstable, implying that the self-gravity of gas overcomes the differential rotation and the internal pressure by stellar radiation feedback. The observed molecular gas would be consumed by star formation in a timescale of 100 million years, that is comparable to those in merging starburst galaxies. Our results suggest that the most extreme starburst in the early Universe originates from efficient star formation due to a gravitational instability in the central 2 kpc region.


title: The effects of amplification of fluctuation energy scale by quantum measurement choice on quantum chaotic systems: Semiclassical analysis

abstract: Measurement choices in weakly-measured open quantum systems can affect quantum trajectory chaos. We consider this scenario semi-classically and show that measurement acts as nonlinear generalized fluctuation and dissipation forces. These can alter effective dissipation in the quantum spread variables and hence change the dynamics, such that measurement choices on the coupled quantum dynamics can enhance quantum effects and make the dynamics chaotic, for example. This analysis explains the measurement-dependence of quantum chaos at a variety of parameter settings, and in particular we demonstrate quantitatively that the choice of monitoring scheme can be more relevant than system scale $\beta$ in determining the `quantumness' of the system.


title: Recognition Problem of Frontal Singularities

abstract: This is a survey article on recognition problem of frontal singularities. We specify geometrically several frontal singularities and then we solve the recognition problem of such singularities, giving explicit normal forms. We combine the recognition results by K. Saji and several arguments on openings, which was performed for the classification of singularities of tangent surfaces (tangent developables) by the author. As an application of our solutions of recognition problem of frontal singularities, we announce the classification of singularities appearing in tangent surfaces of generic null curves which are ruled by null geodesics in general Lorentz three-manifolds, mentioning related recognition results and open problems.


title: A Multigrid method for nonlocal problems: non-diagonally dominant Toeplitz-plus-tridiagonal systems

abstract: The nonlocal problems have been used to model very different applied scientific phenomena, which involve the fractional Laplacian when one looks at the L\'{e}vy processes and stochastic interfaces. This paper deals with the nonlocal problems on a bounded domain, where the stiffness matrices of the resulting systems are Toeplitz-plus-tridiagonal and far from being diagonally dominant, as it occurs when dealing with linear finite element approximations. By exploiting a weakly diagonally dominant Toeplitz property of the stiffness matrices, the optimal convergence of the two-grid method is well established [Fiorentino and Serra-Capizzano, {\em SIAM J. Sci. Comput.}, {17} (1996), pp. 1068--1081; Chen and Deng, {\em SIAM J. Matrix Anal. Appl.}, {38} (2017), pp. 869--890]; and there are still questions about best ways to define coarsening and interpolation operator when the stiffness matrix is far from being weakly diagonally dominant [St\"{u}ben, {\em J. Comput. Appl. Math.}, {128} (2001), pp. 281--309]. In this work, using spectral indications from our analysis of the involved matrices, the simple (traditional) restriction operator and prolongation operator are employed in order to handle general algebraic systems which are {\em neither Toeplitz nor weakly diagonally dominant} corresponding to the fractional Laplacian kernel and the constant kernel, respectively. We focus our efforts on providing the detailed proof of the convergence of the two-grid method for such situations. Moreover, the convergence of the full multigrid is also discussed with the constant kernel. The numerical experiments are performed to verify the convergence with only $\mathcal{O}(N \mbox{log} N)$ complexity by the fast Fourier transform, where $N$ is the number of the grid points.


title: Reconstruction of singularities on orbifold del Pezzo surfaces from their Hilbert series

abstract: The Hilbert series of a polarised algebraic variety $(X,D)$ is a powerful invariant that, while it captures some features of the geometry of $(X,D)$ precisely, often cannot recover much information about its singular locus. This work explores the extent to which the Hilbert series of an orbifold del Pezzo surface fails to pin down its singular locus, which provides nonexistence results describing when there are no orbifold del Pezzo surfaces with a given Hilbert series, supplies bounds on the number of singularities on such surfaces, and has applications to the combinatorics of lattice polytopes in the toric case.


title: On self-avoiding polygons and walks: the snake method via pattern fluctuation

abstract: For $d \geq 2$ and $n \in \mathbb{N}$, let $\mathsf{W}_n$ denote the uniform law on self-avoiding walks of length $n$ beginning at the origin in the nearest-neighbour integer lattice $\mathbb{Z}^d$, and write $\Gamma$ for a $\mathsf{W}_n$-distributed walk. We show that the closing probability $\mathsf{W}_n \big( \vert\vert \Gamma_n \vert\vert = 1 \big)$ that $\Gamma$'s endpoint neighbours the origin is at most $n^{-1/2 + o(1)}$ in any dimension $d \geq 2$. The method of proof is a reworking of that in [4], which found a closing probability upper bound of $n^{-1/4 + o(1)}$. A key element of the proof is made explicit and called the snake method. It is applied to prove the $n^{-1/2 + o(1)}$ upper bound by means a technique of Gaussian pattern fluctuation.


title: SymDPoly: symmetry-adapted moment relaxations for noncommutative polynomial optimization

abstract: Semidefinite relaxations are widely used to compute upper bounds on the objective of optimization problems involving noncommutative polynomials. Such optimization problems are prevalent in quantum information. We present an algorithm able to discover automatically and exploit the symmetries present in the problem formulation. We also provide an open source software library written in Scala ( https://denisrosset.github.io/symdpoly ) that computes symmetry-adapted semidefinite relaxations with interfaces to a variety of open-source and commercial semidefinite solvers. We discuss the advantages of symmetrization, namely reductions in memory use, computation time, and increase in the solution precision.


title: On the colloidal stability of apolar nanoparticles: The role of particle size and ligand shell structure

abstract: Being able to predict and tune the colloidal stability of nanoparticles is essential for a wide range of applications, yet our ability to do so is currently poor due to a lack of understanding of how they interact with one another. Here, we show that the agglomeration of apolar particles is dominated by either the core or the ligand shell, depending on the particle size and materials. We do this by using Small-Angle X-ray Scattering and molecular dynamics simulations to characterize the interaction between hexadecanethiol passivated gold nanoparticles in decane solvent. For smaller particles, the agglomeration temperature and interparticle spacing are determined by ordering of the ligand shell into bundles of aligned ligands that attract one another and interlock. In contrast, the agglomeration of larger particles is driven by van der Waals attraction between the gold cores, which eventually becomes strong enough to compress the ligand shell. Our results provide a microscopic description of the forces that determine the colloidal stability of apolar nanoparticles and explain why classical colloid theory fails.


title: The Remarkable Benefit of User-Level Aggregation for Lexical-based Population-Level Predictions

abstract: Nowcasting based on social media text promises to provide unobtrusive and near real-time predictions of community-level outcomes. These outcomes are typically regarding people, but the data is often aggregated without regard to users in the Twitter populations of each community. This paper describes a simple yet effective method for building community-level models using Twitter language aggregated by user. Results on four different U.S. county-level tasks, spanning demographic, health, and psychological outcomes show large and consistent improvements in prediction accuracies (e.g. from Pearson r=.73 to .82 for median income prediction or r=.37 to .47 for life satisfaction prediction) over the standard approach of aggregating all tweets. We make our aggregated and anonymized community-level data, derived from 37 billion tweets -- over 1 billion of which were mapped to counties, available for research.


title: Anomalous Discrete Flavor Symmetry and Domain Wall Problem

abstract: Discrete flavor symmetry is often introduced for explaining quark/lepton masses and mixings. However, its spontaneous breaking leads to the appearance of domain walls, which is problematic for cosmology. We consider a possibility that the discrete flavor symmetry is anomalous under the color SU(3) so that it splits the energy levels of degenerate discrete vacua as a solution to the domain wall problem. We find that in most known models of flavor symmetry, the QCD anomaly effect can only partially remove the degeneracy and there still remain degenerate vacua.


title: Multi-Task Identification of Entities, Relations, and Coreference for Scientific Knowledge Graph Construction

abstract: We introduce a multi-task setup of identifying and classifying entities, relations, and coreference clusters in scientific articles. We create SciERC, a dataset that includes annotations for all three tasks and develop a unified framework called Scientific Information Extractor (SciIE) for with shared span representations. The multi-task setup reduces cascading errors between tasks and leverages cross-sentence relations through coreference links. Experiments show that our multi-task model outperforms previous models in scientific information extraction without using any domain-specific features. We further show that the framework supports construction of a scientific knowledge graph, which we use to analyze information in scientific literature.


title: Locating earthquakes with a network of seismic stations via a deep learning method

abstract: The accurate and automated determination of earthquake locations is still a challenging endeavor. However, such information is critical for monitoring seismic activity and assessing potential hazards in real time. Recently, a convolutional neural network was applied to detect earthquakes from single-station waveforms and approximately map events across several large surface areas. In this study, we locate 194 earthquakes induced during oil and gas operations in Oklahoma, USA, within an error range of approximately 4.9 km on average to the epicenter and 1.0 km to the depth in catalogs with data from 30 network stations by applying the fully convolutional network. The network is trained by 1,013 historic events, and the output is a 3D volume of the event location probability in the Earth. The trained system requires approximately one hundredth of a second to locate an event without the need for any velocity model or human interference.


title: Conjugator lengths in hierarchically hyperbolic groups

abstract: In this paper, we establish upper bounds on the length of the shortest conjugator between pairs of infinite order elements in a wide class of groups. We obtain a general result which applies to all hierarchically hyperbolic groups, a class which includes mapping class groups, right-angled Artin groups, Burger--Mozes-type groups, most $3$--manifold groups, and many others. In this setting we establish a linear bound on the length of the shortest conjugator for any pair of conjugate Morse elements. For a subclass of these groups, including, in particular, all virtually compact special groups, we prove a sharper result by obtaining a linear bound on the length of the shortest conjugator between a suitable power of any pair of conjugate infinite order elements.


title: Vanishing Viscosity Limit of the Navier-Stokes Equations to the Euler Equations for Compressible Fluid Flow with Vacuum

abstract: We establish the vanishing viscosity limit of the Navier-Stokes equations to the Euler equations for three-dimensional compressible isentropic flow in the whole space. It is shown that there exists a unique regular solution of compressible Navier-Stokes equations with density-dependent viscosities, arbitrarily large initial data and vacuum, whose life span is uniformly positive in the vanishing viscosity limit. It is worth paying special attention that, via introducing a "quasi-symmetric hyperbolic"--"degenerate elliptic" coupled structure, we can also give some uniformly bounded estimates of $\displaystyle\Big(\rho^{\frac{\gamma-1}{2}}, u\Big)$ in $H^3$ space and $\rho^{\frac{\delta-1}{2}}$ in $H^2$ space (adiabatic exponent $\gamma>1$ and $1<\delta \leq \min\{3, \gamma\}$), which lead the strong convergence of the regular solution of the viscous flow to that of the inviscid flow in $L^{\infty}([0, T]; H^{s'})$ (for any $s'\in [2, 3)$) space with the rate of $\epsilon^{2(1-s'/3)}$. Further more, we point out that our framework in this paper is applicable to other physical dimensions, say 1 and 2, with some minor modifications. This paper is based on our early preprint in 2015.


title: An approach to Lagrangian specialisation through MacPherson's graph construction

abstract: Let $f: M \to N$ be a holomorphic map between two complex manifolds. Assume $f$ is flat and sans \'{e}clatement en codimension 0 (no blowup in codimension 0). We study the theory of Lagrangian specialisation for such $f$, and prove a Gonz\'{a}lez-Sprinberg type formula for the local Euler obstruction relative to $f$. With the help of this formula and MacPherson's graph construction for the vector bundle map $f^*T^*N \to T^*M$, we find the Lagrangian cycle of the Milnor number constructible function $\mu$. As an application, we study the Chern class transformation of $\mu$ when $f$ has finite contact type.


title: Nonlinear regression based on a hybrid quantum computer

abstract: Incorporating nonlinearity into quantum machine learning is essential for learning a complicated input-output mapping. We here propose quantum algorithms for nonlinear regression, where nonlinearity is introduced with feature maps when loading classical data into quantum states. Our implementation is based on a hybrid quantum computer, exploiting both discrete and continuous variables, for their capacity to encode novel features and efficiency of processing information. We propose encoding schemes that can realize well-known polynomial and Gaussian kernel ridge regressions, with exponentially speed-up regarding to the number of samples.


title: On the cover time of the emerging giant

abstract: Let $p=\frac{1+\varepsilon}{n}$. It is known that if $N=\varepsilon^3n\to\infty$ then w.h.p. $G_{n,p}$ has a unique giant largest component. We show that if in addition, $\varepsilon=\varepsilon(n)\to 0$ then w.h.p. the cover time of $G_{n,p}$ is asymptotic to $n\log^2N$; previously Barlow, Ding, Nachmias and Peres had shown this up to constant multiplicative factors.


title: Stein's method and Narayana numbers

abstract: Narayana numbers appear in many places in combinatorics and probability, and it is known that they are asymptotically normal. Using Stein's method of exchangeable pairs, we provide an error of approximation in total variation to a symmetric binomial distribution of order~$n^{-1}$, which also implies a Kolmogorov bound of order~$n^{-1/2}$ for the normal approximation. Our exchangeable pair is based on a birth-death chain and has remarkable properties, which allow us to perform some otherwise tricky moment computations. Although our main interest is in Narayana numbers, we show that our main abstract result can also give improved convergence rates for the Poisson-binomial and the hypergeometric distributions.


title: Efficient Region of Visual Interests Search for Geo-multimedia Data

abstract: With the proliferation of online social networking services and mobile smart devices equipped with mobile communications module and position sensor module, massive amount of multimedia data has been collected, stored and shared. This trend has put forward higher request on massive multimedia data retrieval. In this paper, we investigate a novel spatial query named region of visual interests query (RoVIQ), which aims to search users containing geographical information and visual words. Three baseline methods are presented to introduce how to exploit existing techniques to address this problem. Then we propose the definition of this query and related notions at the first time. To improve the performance of query, we propose a novel spatial indexing structure called quadtree based inverted visual index which is a combination of quadtree, inverted index and visual words. Based on it, we design a efficient search algorithm named region of visual interests search to support RoVIQ. Experimental evaluations on real geo-image datasets demonstrate that our solution outperforms state-of-the-art method.


title: Observation of strongly heterogeneous dynamics at the depinning transition in a colloidal glass

abstract: We study experimentally the origin of heterogeneous dynamics in strongly driven glass-forming systems. Thereto, we apply a well-defined force with a laser line trap on individual colloidal polystyrene probe particles seeded in an emulsion glass composed of droplets of the same size. Fluid and glass states can be probed. We monitor the trajectories of the probe and measure displacements and their distributions. Our experiments reveal intermittent dynamics around a depinning transition at a threshold force. For smaller forces, linear response connects mean displacement and quiescent mean squared displacement. Mode coupling theory calculations rationalize the observations.


title: High speed flux sampling for tunable superconducting qubits with an embedded cryogenic transducer

abstract: We develop a high speed on-chip flux measurement using a capacitively shunted SQUID as an embedded cryogenic transducer and apply this technique to the qualification of a near-term scalable printed circuit board (PCB) package for frequency tunable superconducting qubits. The transducer is a flux tunable LC resonator where applied flux changes the resonant frequency. We apply a microwave tone to probe this frequency and use a time-domain homodyne measurement to extract the reflected phase as a function of flux applied to the SQUID. The transducer response bandwidth is 2.6 GHz with a maximum gain of $\rm 1200^\circ/\Phi_0$ allowing us to study the settling amplitude to better than 0.1%. We use this technique to characterize on-chip bias line routing and a variety of PCB based packages and demonstrate that step response settling can vary by orders of magnitude in both settling time and amplitude depending on if normal or superconducting materials are used. By plating copper PCBs in aluminum we measure a step response consistent with the packaging used for existing high-fidelity qubits.


title: Transport due to Transient Progressive Waves

abstract: We describe and analyze the mean transport due to transient progressive waves, including breaking waves. The waves are packets and are generated with a boundary-forced air-water two-phase Navier Stokes solver. The analysis is done in the Lagrangian frame. We show that the transport generated by these waves is significantly larger than the transport generated by steady waves. The numerically generated parcel paths suggest a model for the transport that is primarily driven by an irrotational approximation of the velocity. Wave breaking is shown to increase the variability in the transport. Breaking is accounted for in the transport model via an additive stochastic velocity term.


title: Sharp Hardy-Leray and Rellich-Leray inequalities for curl-free vector fields

abstract: In this paper, we prove Hardy-Leray and Rellich-Leray inequalities for curl-free vector fields with sharp constants. This complements the former work by Costin-Maz'ya \cite{Costin-Mazya} on the sharp Hardy-Leray inequality for axisymmetric divergence-free vector fields.


title: Gradient estimates via two-point functions for elliptic equations on manifolds

abstract: We derive estimates relating the values of a solution at any two points to the distance between the points, for quasilinear isotropic elliptic equations on compact Riemannian manifolds, depending only on dimension and a lower bound for the Ricci curvature. These estimates imply sharp gradient bounds relating the gradient of an arbitrary solution at given height to that of a symmetric solution on a warped product model space. We also discuss the problem on Finsler manifolds with nonnegative weighted Ricci curvature, and on complete manifolds with bounded geometry, including solutions on manifolds with boundary with Dirichlet boundary condition. Particular cases of our results include gradient estimates of Modica type.


title: Decoding binary Reed-Muller codes via Groebner bases

abstract: The binary Reed-Muller codes can be characterized as the radical powers of a modular algebra. We use the Groebner bases to decode these codes.


title: Elastic bands across the path: A new framework and methods to lower bound DTW

abstract: There has been renewed recent interest in developing effective lower bounds for Dynamic Time Warping (DTW) distance between time series. These have many applications in time series indexing, clustering, forecasting, regression and classification. One of the key time series classification algorithms, the nearest neighbor algorithm with DTW distance (NN-DTW) is very expensive to compute, due to the quadratic complexity of DTW. Lower bound search can speed up NN-DTW substantially. An effective and tight lower bound quickly prunes off unpromising nearest neighbor candidates from the search space and minimises the number of the costly DTW computations. The speed up provided by lower bound search becomes increasingly critical as training set size increases. Different lower bounds provide different trade-offs between computation time and tightness. Most existing lower bounds interact with DTW warping window sizes. They are very tight and effective at smaller warping window sizes, but become looser as the warping window increases, thus reducing the pruning effectiveness for NN-DTW. In this work, we present a new class of lower bounds that are tighter than the popular Keogh lower bound, while requiring similar computation time. Our new lower bounds take advantage of the DTW boundary condition, monotonicity and continuity constraints to create a tighter lower bound. Of particular significance, they remain relatively tight even for large windows. A single parameter to these new lower bounds controls the speed-tightness trade-off. We demonstrate that these new lower bounds provide an exceptional balance between computation time and tightness for the NN-DTW time series classification task, resulting in greatly improved efficiency for NN-DTW lower bound search.


title: Anomalous Characteristics of the Generation - Recombination Noise in Quasi-One-Dimensional Van der Waals Nanoribbons

abstract: We describe the low-frequency current fluctuations, i.e. electronic noise, in quasi-one-dimensional ZrTe3 van der Waals nanoribbons, which have recently attracted attention owing to their extraordinary high current carrying capacity. Whereas the low-frequency noise spectral density reveals 1/f behavior near room temperature, it is dominated by the Lorentzian bulges of the generation - recombination noise at low temperatures (f is the frequency). Unexpectedly, the corner frequency of the observed Lorentzian peaks shows strong sensitivity to the applied source - drain bias. This dependence on electric field can be explained by the Frenkel-Poole effect in the scenario where the voltage drop happens predominantly on the defects, which block the quasi-1D conduction channels. We also have found that the activation energy of the characteristic frequencies of the G-R noise in quasi-1D ZrTe3 is defined primarily by the temperature dependence of the capture cross-section of the defects rather than by their energy position. These results are important for the application of quasi-1D van der Waals materials in ultimately downscaled electronics.


title: Antinuclei in Heavy-Ion Collisions

abstract: We review progress in the study of antinuclei, starting from Dirac's equation and the discovery of the positron in cosmic-ray events. The development of proton accelerators led to the discovery of antiprotons, followed by the first antideuterons, demonstrating that antinucleons bind into antinuclei. With the development of heavy-ion programs at the Brookhaven AGS and CERN SPS, it was demonstrated that central collisions of heavy nuclei offer a fertile ground for research and discoveries in the area of antinuclei. In this review, we emphasize recent observations at Brookhaven's Relativistic Heavy Ion Collider and at CERN's Large Hadron Collider, namely, the antihypertriton and the antihelium-4, as well as measurements of the mass difference between light nuclei and antinuclei, and the interaction between antiprotons. Physics implications of the new observations and different production mechanisms are discussed. We also consider implications for related fields, such as hypernuclear physics and space-based cosmic-ray experiments.


title: Turbulent convection and pulsation stability of stars - III. Non-adiabatic oscillations of red giants

abstract: We have computed linear non-adiabatic oscillations of luminous red giants using a non-local and anisotropic time-dependent theory of convection. The results show that low-order radial modes can be self-excited. Their excitation is the result of radiation and the coupling between convection and oscillations. Turbulent pressure has important effects on the excitation of oscillations in red variables.


title: Turbulent convection and pulsation stability of stars - II. Theoretical instability strip for $\delta$ Scuti and $\gamma$ Doradus stars

abstract: By using a non-local and time-dependent convection theory, we have calculated radial and low-degree non-radial oscillations for stellar evolutionary models with $M=1.4$--3.0\,$\mathrm{M}_\odot$. The results of our study predict theoretical instability strips for $\delta$ Scuti and $\gamma$ Doradus stars, which overlap with each other. The strip of $\gamma$ Doradus is slightly redder in colour than that of $\delta$ Scuti. We have paid great attention to the excitation and stabilization mechanisms for these two types of oscillations, and we conclude that radiative $\kappa$ mechanism plays a major role in the excitation of warm $\delta$ Scuti and $\gamma$ Doradus stars, while the coupling between convection and oscillations is responsible for excitation and stabilization in cool stars. Generally speaking, turbulent pressure is an excitation of oscillations, especially in cool $\delta$ Scuti and $\gamma$ Doradus stars and all cool Cepheid- and Mira-like stars. Turbulent thermal convection, on the other hand, is a damping mechanism against oscillations that actually plays the major role in giving rise to the red edge of the instability strip. Our study shows that oscillations of $\delta$ Scuti and $\gamma$ Doradus stars are both due to the combination of $\kappa$ mechanism and the coupling between convection and oscillations, and they belong to the same class of variables at the low-luminosity part of the Cepheid instability strip. Within the $\delta$ Scuti--$\gamma$ Doradus instability strip, most of the pulsating variables are very likely hybrids that are excited in both p and g modes.


title: Turbulent convection and pulsation stability of stars - I. Basic equations for calculations of stellar structure and oscillations

abstract: Starting from hydrodynamic equations, we have established a set of hydrodynamic equations for average flow and a set of dynamic equations of auto- and cross-correlations of turbulent velocity and temperature fluctuations, following the classic Reynold's treatment of turbulence. The combination of the two sets of equations leads to a complete and self-consistent mathematical expressions ready for the calculations of stellar structure and oscillations. In this paper, non-locality and anisotropy of turbulent convection are concisely presented, together with defining and calibrating of the three convection parameters ($c_1$, $c_2$ and $c_3$) included in the algorithm. With the non-local theory of convection, the structure of the convective envelope and the major characteristics of non-adiabatic linear oscillations are demonstrated by numerical solutions. Great effort has been exercised to the choice of convection parameters and pulsation instabilities of the models, the results of which show that within large ranges of all three parameters ($c_1$, $c_2$ and $c_3$) the main properties of pulsation stability keep unchanged.


title: A novel water-Cherenkov detector design with retro-reflectors to produce antipodal rings

abstract: Since Kamiokande, the basic design of water-Cherenkov detectors has not changed: the walls of a water tank are lined with photodetectors that capture Cherenkov photons produced by relativistic particles. However, with this design the majority of photons are lost in insensitive regions between photodetectors, while at the same time most photodetectors are outside the ring and remain dark. To fix both issues at once, we propose fixing retro-reflectors between all photodetectors. These devices will reflect uncollected photons back through their emission point onto photodetectors at the other side of the tank, producing a secondary, delayed Cherenkov ring. Numerical simulations show that, due to the parallax effect of this antipodal ring, our system can yield up to 2x improvement of detector vertex and angle resolutions. This improvement would be beneficial for kinematic selection of multi-ring events and would lower detector costs by decreasing the number of required photodetectors.


title: On solutions of anisotropic elliptic equations with variable exponent and measure data

abstract: The Dirichlet problem in arbitrary domains for a wide class of anisotropic elliptic equations of the second order with variable exponent nonlinearities and the right-hand side as a measure is considered. The existence of an entropy solution in anisotropic Sobolev spaces with variable exponents is established.It is proved that the obtained entropy solution is a renormalized solution of the considered problem.


title: On the effect of turbulent anisotropy on pulsation stability of stars

abstract: Within the framework of non-local time-dependent stellar convection theory, we study in detail the effect of turbulent anisotropy on stellar pulsation stability. The results show that anisotropy has no substantial influence on pulsation stability of g modes and low-order (radial order $n_\mathrm{r}<5$) p modes. The effect of turbulent anisotropy increases as the radial order increases. When turbulent anisotropy is neglected, most of high-order ($n_\mathrm{r}>5$) p modes of all low-temperature stars become unstable. Fortunately, within a wide range of the anisotropic parameter $c_3$, stellar pulsation stability is not sensitive to the specific value of $c_3$. Therefore it is safe to say that calibration errors of the convective parameter $c_3$ do not cause any uncertainty in the calculation of stellar pulsation stability.


title: Coronal condensations caused by magnetic reconnection between solar coronal loops

abstract: Employing Solar Dynamics Observatory (SDO)/Atmospheric Imaging Assembly (AIA) multi-wavelength images, we report the coronal condensation during the magnetic reconnection (MR) between a system of open and closed coronal loops. Higher-lying magnetically open structures, observed in AIA 171 A images above the solar limb, move downward and interact with the lower-lying closed loops, resulting in the formation of dips in the former. An X-type structure forms at the interface. The interacting loops reconnect and disappear. Two sets of newly-reconnected loops then form and recede from the MR region. During the MR process, bright emission appears sequentially in the AIA 131 A and 304 A channels repeatedly in the dips of higher-lying open structures. This indicates the cooling and condensation process of hotter plasma from ~0.9 MK down to ~0.6 MK, and then to ~0.05 MK, also supported by the light curves of the AIA 171 A, 131 A, and 304 A channels. The part of higher-lying open structures supporting the condensations participate in the successive MR. The condensations without support by underlying loops then rain back to the solar surface along the newly-reconnected loops. Our results suggest that the MR between coronal loops leads to the condensation of hotter coronal plasma and its downflows. MR thus plays an active role in the mass cycle of coronal plasma because it can initiate the catastrophic cooling and condensation. This underlines that the magnetic and thermal evolution has to be treated together and cannot be separated, even in the case of catastrophic cooling.


title: The Exterior Derivative - A direct approach

abstract: In this note we provide a direct approach to the most basic operator in this theory namely the exterior derivative. The crucial ingredient is a calculus lemma based on determinants. We maintain the view that in a first course at least this direct approach is preferable to the more abstract one based on characterization of the exterior derivative in terms of its properties.


title: Inverse Compton Emission from Relativistic Jets in Binary Systems

abstract: The gamma-ray emission detected from several microquasars can be produced by relativistic electrons emitting through inverse Compton scattering. In particular, the GeV emission detected from Cygnus X-3, and its orbital phase dependence, strongly suggest that the emitting electrons are accelerated in a relativistic jet, and that the optical companion provides the dominant target. Here, we study the effects related to particle transport in the framework of the relativistic jet scenario. We find that even in the most compact binary systems, with parameters similar to Cygnus X-3, particle transport can have a substantial influence on the GeV lightcurve unless the jet is slow, $\beta < 0.7$. In more extended binary systems, strong impact of particle transport is nearly unavoidable. Thus, even for a very compact system such as Cygnus X-3, particle transport significantly affects the ability of one-zone models to infer the properties of the gamma-ray production site based on the shape on the GeV lightcurve. We conclude that a detailed study of the gamma-ray spectrum can further constrain the structure and other properties of the gamma-ray emitter in Cygnus X-3, although such a study should account for gamma-gamma attenuation, since it may strongly affect the spectrum above $5\rm\,GeV$.


title: Trace anomaly effective actions - a critique

abstract: The existence of trace anomalies for conformally coupled quantum fields in curved spacetimes, despite the vanishing of the trace of the conformally invariant classical stress-energy tensor, was firmly established in the 1970's, and expressions for the anomalous trace of the semi-classical quantum stress-energy tensor constructed from the curvature tensors of the background spacetime were proven to hold independent of the quantum state of the field. Subsequently, effective actions were devised whose variation with respect to the metric gives a conserved "anomalous stress-energy tensor" or ASET. These ASETs, sometimes together with a contribution from a conformally invariant contribution to the effective action, were used to derive approximations to the full semi-classical stress-energy tensor (SCSET), which is state dependent. I argue that the ASET should be defined as state independent, and for a Schwarzschild black hole spacetime should be regular on the horizon and should fall off at infinity fast enough to be consistent with asymptotic flatness. Proposals for anomaly effective actions discussed in the literature are unsatisfactory in this regard, but I show that it is possible to meet these criteria. The ASET is evaluated and compared with numerical results for the full SCSET.


title: Tests as Maintainable Assets Via Auto-generated Spies: A case study involving the Scala collections library's Iterator trait

abstract: In testing stateful abstractions, it is often necessary to record interactions, such as method invocations, and express assertions over these interactions. Following the Test Spy design pattern, we can reify such interactions programmatically through additional mutable state. Alternatively, a mocking framework, such as Mockito, can automatically generate test spies that allow us to record the interactions and express our expectations in a declarative domain-specific language. According to our study of the test code for Scala's Iterator trait, the latter approach can lead to a significant reduction of test code complexity in terms of metrics such as code size (in some cases over 70% smaller), cyclomatic complexity, and amount of additional mutable state required. In this tools paper, we argue that the resulting test code is not only more maintainable, readable, and intentional, but also a better stylistic match for the Scala community than manually implemented, explicitly stateful test spies.


title: On linear hypersingular Boltzmann transport equation and its variational formulation

abstract: For charged particle transport the linear Boltzmann transport equation (BTE) turns out to be a partial hyper-singular integro-differential operator. This is due to the fact that the related differential cross-sections $\sigma(x,\omega',\omega,E',E)$ may have hyper-singularities. In these cases the energy integral appearing in the collision terms must be interpreted as the Hadamard finite part integral leading to hyper-singular integral operators. The article considers a refined expression for the exact transport operator and related variational formulations of the inflow initial boundary value problem for one particle equation containing hyper-singularities. We find that the exact BTE contains the first-order partial derivatives with respect to energy combined by partial Hadamard (first-order) singular integral operators. In addition, it contains the second-order partial derivatives with respect to angle and some mixed terms. The analysis will be carried out only for the so called M{\o}ller-type interaction (scattering) which is a kind of prototype of hyper-singular interactions. The generalizations to other type of collisions, such as to Bremsstrahlung, go analogously. We also expose a weak form (the variational formulation) of the hyper-singular transport problem. Another variant variational formulation decreases the level of singularities in the integration (appearing in the due bilinear form) containing only singularities of order one that is, singularities like ${1\over{E'-E}}dE' dE$. The variational formulation is an essential step in order to show the existence of generalized solutions e.g. by Lions-Lax-Milgram Theorem based methods (proceedings for solution spaces and existence theory are omitted here). The corresponding approximative transport operator is deduced. It turns out to be a CSDA-Fokker-Planck type operator.


title: Direct Imaging in Reflected Light: Characterization of Older, Temperate Exoplanets With 30-m Telescopes

abstract: Direct detection, also known as direct imaging, is a method for discovering and characterizing the atmospheres of planets at intermediate and wide separations. It is the only means of obtaining spectra of non-transiting exoplanets. Characterizing the atmospheres of planets in the <5 AU regime, where RV surveys have revealed an abundance of other worlds, requires a 30-m-class aperture in combination with an advanced adaptive optics system, coronagraph, and suite of spectrometers and imagers - this concept underlies planned instruments for both TMT (the Planetary Systems Imager, or PSI) and the GMT (GMagAO-X). These instruments could provide astrometry, photometry, and spectroscopy of an unprecedented sample of rocky planets, ice giants, and gas giants. For the first time habitable zone exoplanets will become accessible to direct imaging, and these instruments have the potential to detect and characterize the innermost regions of nearby M-dwarf planetary systems in reflected light. High-resolution spectroscopy will not only illuminate the physics and chemistry of exo-atmospheres, but may also probe rocky, temperate worlds for signs of life in the form of atmospheric biomarkers (combinations of water, oxygen and other molecular species). By completing the census of non-transiting worlds at a range of separations from their host stars, these instruments will provide the final pieces to the puzzle of planetary demographics. This whitepaper explores the science goals of direct imaging on 30-m telescopes and the technology development needed to achieve them.


title: Improved Semantic-Aware Network Embedding with Fine-Grained Word Alignment

abstract: Network embeddings, which learn low-dimensional representations for each vertex in a large-scale network, have received considerable attention in recent years. For a wide range of applications, vertices in a network are typically accompanied by rich textual information such as user profiles, paper abstracts, etc. We propose to incorporate semantic features into network embeddings by matching important words between text sequences for all pairs of vertices. We introduce a word-by-word alignment framework that measures the compatibility of embeddings between word pairs, and then adaptively accumulates these alignment features with a simple yet effective aggregation function. In experiments, we evaluate the proposed framework on three real-world benchmarks for downstream tasks, including link prediction and multi-label vertex classification. Results demonstrate that our model outperforms state-of-the-art network embedding methods by a large margin.


title: Voice Conversion Based on Cross-Domain Features Using Variational Auto Encoders

abstract: An effective approach to non-parallel voice conversion (VC) is to utilize deep neural networks (DNNs), specifically variational auto encoders (VAEs), to model the latent structure of speech in an unsupervised manner. A previous study has confirmed the ef- fectiveness of VAE using the STRAIGHT spectra for VC. How- ever, VAE using other types of spectral features such as mel- cepstral coefficients (MCCs), which are related to human per- ception and have been widely used in VC, have not been prop- erly investigated. Instead of using one specific type of spectral feature, it is expected that VAE may benefit from using multi- ple types of spectral features simultaneously, thereby improving the capability of VAE for VC. To this end, we propose a novel VAE framework (called cross-domain VAE, CDVAE) for VC. Specifically, the proposed framework utilizes both STRAIGHT spectra and MCCs by explicitly regularizing multiple objectives in order to constrain the behavior of the learned encoder and de- coder. Experimental results demonstrate that the proposed CD- VAE framework outperforms the conventional VAE framework in terms of subjective tests.


title: Two-neutron correlations in a Borromean $^{20}{\rm C}+n+n$ system: Sensitivity of unbound subsystems

abstract: The structure of $^{22}$C plays a vital role in the new physics at subshell closure of $N=16$ in the neutron-rich region. We study the two-neutron correlations in the ground state of the weakly-bound Borromean nucleus $^{22}$C sitting at the edge of the neutron-drip line and its sensitivity to ${\rm core}$-$n$ potential. For the present study, we employ a three-body (${\rm core}+n+n$) structure model designed for describing the Borromean system by explicit coupling of unbound continuum states of the subsystem (${\rm core}+n$). We use a density-independent contact-delta interaction to describe the neutron-neutron interaction and its strength is varied to fix the binding energy. Along with the ground-state properties of $^{22}$C, we investigate its electric-dipole and monopole responses, discussing the contribution of various configurations. Our results indicate more configuration mixing as compared to the previous studies in the ground state of $^{22}$C. However, they strongly depend upon the choice of the $^{20}{\rm C}$-$n$ potential as well as the binding energy of $^{22}$C, which call for new precise measurements for the low-lying continuum structure of the binary system ($^{20}{\rm C}+n$) and the mass of $^{22}$C. These measurements will be essential to understand the Borromean three-body system $^{22}$C with more accuracy.


title: Expanding Belnap: dualities for a new class of default bilattices

abstract: Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled \emph{How a computer should think}. Belnap argued that instead of using a logic with two values, for `true' ($t$) and `false' ($f$), a computer should use a logic with two further values, for `contradiction' ($\top$) and `no information' ($\bot$). The resulting structure is equipped with two lattice orders, a \emph{knowledge order} and a \emph{truth order}, and hence is called a \emph{bilattice}. Prioritised default bilattices include not only values for `true' ($t_0$), `false' ($f_0$), `contradiction' and `no information', but also indexed families of default values, $t_1, \dots, t_n$ and $f_1, \dots, f_n$, for simultaneous modelling of degrees of knowledge and truth. We focus on a new family of prioritised default bilattices: $\mathbf J_n$, for $n \in \omega$. The bilattice $\mathbf J_0$ is precisely Belnap's seminal example. We address mathematical rather than logical aspects of our prioritised default bilattices. We obtain a single-sorted topological representation for the bilattices in the quasivariety $\mathcal J_n$ generated by $\mathbf J_n$, and separately a multi-sorted topological representation for the bilattices in the variety $\mathcal V_n$ generated by $\mathbf J_n$. Our results provide an interesting example where the multi-sorted duality for the variety has a simpler structure than the single-sorted duality for the quasivariety.


title: Decoupling Strategy and Generation in Negotiation Dialogues

abstract: We consider negotiation settings in which two agents use natural language to bargain on goods. Agents need to decide on both high-level strategy (e.g., proposing \$50) and the execution of that strategy (e.g., generating "The bike is brand new. Selling for just \$50."). Recent work on negotiation trains neural models, but their end-to-end nature makes it hard to control their strategy, and reinforcement learning tends to lead to degenerate solutions. In this paper, we propose a modular approach based on coarse di- alogue acts (e.g., propose(price=50)) that decouples strategy and generation. We show that we can flexibly set the strategy using supervised learning, reinforcement learning, or domain-specific knowledge without degeneracy, while our retrieval-based generation can maintain context-awareness and produce diverse utterances. We test our approach on the recently proposed DEALORNODEAL game, and we also collect a richer dataset based on real items on Craigslist. Human evaluation shows that our systems achieve higher task success rate and more human-like negotiation behavior than previous approaches.


title: Replay spoofing detection system for automatic speaker verification using multi-task learning of noise classes

abstract: In this paper, we propose a replay attack spoofing detection system for automatic speaker verification using multitask learning of noise classes. We define the noise that is caused by the replay attack as replay noise. We explore the effectiveness of training a deep neural network simultaneously for replay attack spoofing detection and replay noise classification. The multi-task learning includes classifying the noise of playback devices, recording environments, and recording devices as well as the spoofing detection. Each of the three types of the noise classes also includes a genuine class. The experiment results on the ASVspoof2017 datasets demonstrate that the performance of our proposed system is improved by 30% relatively on the evaluation set.


title: Regularity estimates for Green operators of Dirichlet and Neumann problems on weighted Hardy spaces

abstract: In this paper we first study the generalized weighted Hardy spaces $H^p_{L,w}(X)$ for $0<p\le 1$ associated to nonnegative self-adjoint operators $L$ satisfying Gaussian upper bounds on the space of homogeneous type $X$ in both cases of finite and infinite measure. We show that the weighted Hardy spaces defined via maximal functions and atomic decompositions coincide. Then we prove weighted regularity estimates for the Green operators of the inhomogeneous Dirichlet and Neumann problems in suitable bounded or unbounded domains including bounded semiconvex domains, convex regions above a Lipschitz graph and upper half-spaces. Our estimates are in terms of weighted $L^p$ spaces for the range $1<p<\infty$ and in terms of the new weighted Hardy spaces for the range $0<p\le 1$. Our regularity estimates for the Green operators under the weak smoothness assumptions on the boundaries of the domains are new, especially the estimates on Hardy spaces for the full range $0<p\le 1$ and the case of unbounded domains.


title: Wavelet Video Coding Algorithm Based on Energy Weighted Significance Probability Balancing Tree

abstract: This work presents a 3-D wavelet video coding algorithm. By analyzing the contribution of each biorthogonal wavelet basis to reconstructed signal's energy, we weight each wavelet subband according to its basis energy. Based on distribution of weighted coefficients, we further discuss a 3-D wavelet tree structure named \textbf{significance probability balancing tree}, which places the coefficients with similar probabilities of being significant on the same layer. It is implemented by using hybrid spatial orientation tree and temporal-domain block tree. Subsequently, a novel 3-D wavelet video coding algorithm is proposed based on the energy-weighted significance probability balancing tree. Experimental results illustrate that our algorithm always achieves good reconstruction quality for different classes of video sequences. Compared with asymmetric 3-D orientation tree, the average peak signal-to-noise ratio (PSNR) gain of our algorithm are 1.24dB, 2.54dB and 2.57dB for luminance (Y) and chrominance (U,V) components, respectively. Compared with temporal-spatial orientation tree algorithm, our algorithm gains 0.38dB, 2.92dB and 2.39dB higher PSNR separately for Y, U, and V components. In addition, the proposed algorithm requires lower computation cost than those of the above two algorithms.


title: Analysis of timelike Thomsen surfaces - with deformations and singularities

abstract: Timelike Thomsen surfaces are timelike minimal surfaces that are also affine minimal. In this paper, we make use of both the Lorentz conformal coordinates and the null coordinates, and their respective representation theorems of timelike minimal surfaces, to obtain a complete global classification of these surfaces and to characterize them using a geometric invariant called lightlike curvatures. As a result, we reveal the relationship between timelike Thomsen surfaces, and timelike minimal surfaces with planar curvature lines. As an application, we give a deformation of null curves preserving the pseudo-arclength parametrization and the constancy of the lightlike curvatures.


title: Online ICA: Understanding Global Dynamics of Nonconvex Optimization via Diffusion Processes

abstract: Solving statistical learning problems often involves nonconvex optimization. Despite the empirical success of nonconvex statistical optimization methods, their global dynamics, especially convergence to the desirable local minima, remain less well understood in theory. In this paper, we propose a new analytic paradigm based on diffusion processes to characterize the global dynamics of nonconvex statistical optimization. As a concrete example, we study stochastic gradient descent (SGD) for the tensor decomposition formulation of independent component analysis. In particular, we cast different phases of SGD into diffusion processes, i.e., solutions to stochastic differential equations. Initialized from an unstable equilibrium, the global dynamics of SGD transit over three consecutive phases: (i) an unstable Ornstein-Uhlenbeck process slowly departing from the initialization, (ii) the solution to an ordinary differential equation, which quickly evolves towards the desirable local minimum, and (iii) a stable Ornstein-Uhlenbeck process oscillating around the desirable local minimum. Our proof techniques are based upon Stroock and Varadhan's weak convergence of Markov chains to diffusion processes, which are of independent interest.


title: Pre-inflationary dynamics of Starobinsky inflation and its generization in Loop Quantum Brans-Dicke Cosmology

abstract: Recently, the nonperturbative quantization scheme of loop quantum gravity has been extended to the Brans-Dicke theory and the corresponding loop quantum Brans-Dicke cosmology has been derived, which provides an essential platform to explore inflationary models in this framework. In this paper, we consider two inflation models, the Starobinsky and $\alpha$-attractor inflation whose cosmological predictions are in excellent agreement with Planck data, and study systematically their pre-inflationary dynamics as well as the slow-roll inflation. We show that for both models, the background evolution of a flat Friedmann-Lema\^{i}tre-Robertson-Walker universe in general can be divided into three different phases: the pre-inflationary quantum phase, quantum-to-classical transition, and the slow-roll inflation. The pre-inflationary dynamics are dominated by the quantum geometry effects of loop quantum Brans-Dicke cosmology and the corresponding Universe could be either initially expanding or contracting, depending on the initial velocity of inflaton field. It is shown that the detailed evolution of pre-inflationary quantum phase also depend on specific inflation models. After the pre-inflationary quantum phase, the universe gradually evolves into the slow-roll inflation with some of initial conditions for Starobinsky and $\alpha$-attractor potentials. In addition, to be consistent with observational data, we also find the restricted parameter space of initial conditions that could produce at least $60$ $e$-folds during the slow-roll inflation.


title: On Tree-Based Neural Sentence Modeling

abstract: Neural networks with tree-based sentence encoders have shown better results on many downstream tasks. Most of existing tree-based encoders adopt syntactic parsing trees as the explicit structure prior. To study the effectiveness of different tree structures, we replace the parsing trees with trivial trees (i.e., binary balanced tree, left-branching tree and right-branching tree) in the encoders. Though trivial trees contain no syntactic information, those encoders get competitive or even better results on all of the ten downstream tasks we investigated. This surprising result indicates that explicit syntax guidance may not be the main contributor to the superior performances of tree-based neural sentence modeling. Further analysis show that tree modeling gives better results when crucial words are closer to the final representation. Additional experiments give more clues on how to design an effective tree-based encoder. Our code is open-source and available at https://github.com/ExplorerFreda/TreeEnc.


title: Diffusion Approximations for Online Principal Component Estimation and Global Convergence

abstract: In this paper, we propose to adopt the diffusion approximation tools to study the dynamics of Oja's iteration which is an online stochastic gradient descent method for the principal component analysis. Oja's iteration maintains a running estimate of the true principal component from streaming data and enjoys less temporal and spatial complexities. We show that the Oja's iteration for the top eigenvector generates a continuous-state discrete-time Markov chain over the unit sphere. We characterize the Oja's iteration in three phases using diffusion approximation and weak convergence tools. Our three-phase analysis further provides a finite-sample error bound for the running estimate, which matches the minimax information lower bound for principal component analysis under the additional assumption of bounded samples.


title: Electron sheath evolution controlled by a magnetic field in modified hollow cathode glow discharge

abstract: The electron sheath formation in a DC magnetised plasma of modified hollow cathode source is studied. The discharge consists of two plane parallel cathodes and a small cubical anode placed off axis at the center. The argon plasma is produced and the properties of the plasma in response to the sheath formation near the anode are studied using electrical and optical diagnostics. In particular, the effect of pressure, magnetic field on discharge parameters such as discharge current, plasma potential, plasma density and electron temperature is studied. The discharge showed an onset of anode glow at a critical applied magnetic field indicating the formation of electron sheath and a double layer. The discharge current initially decreases; however it starts to rise again as the anode spot appears on the anode. The critical magnetic field at which anode glow formation takes place is dependent upon operating pressure and discharge voltage. The transition from ion sheath to electron sheath is investigated in detail by Langmuir probe and spectroscopy diagnostics. The plasma potential near the anode decreases during the transition from ion sheath to electron sheath. The plasma potential locks to the ionization potential of argon gas when anode spot is completely formed. A systematic study showed that during the transition, the electron temperature increases and plasma density decreases in the bulk plasma. The spectroscopy of the discharge showed presence of strong atomic and ionic lines of argon. The intensity of these spectral lines showed a dip during the transition between two sheaths. After the formation of the anode spot, oscillations of the order of 5-20 kHz are observed in the discharge current and floating potential due to the enhanced ionisation and excitation processes in the electron sheath.


title: The Toeplitz algebra has nuclear dimension one

abstract: We prove the title by constructing 2-colourable completely positive approximations for the Toeplitz algebra. Besides results about nuclear dimension and completely positive contractive order zero maps, our argument involves projectivity of the cone over a finite dimensional C*-algebra and Lin's theorem on almost normal matrices.


title: Adapting Visual Question Answering Models for Enhancing Multimodal Community Q&A Platforms

abstract: Question categorization and expert retrieval methods have been crucial for information organization and accessibility in community question & answering (CQA) platforms. Research in this area, however, has dealt with only the text modality. With the increasing multimodal nature of web content, we focus on extending these methods for CQA questions accompanied by images. Specifically, we leverage the success of representation learning for text and images in the visual question answering (VQA) domain, and adapt the underlying concept and architecture for automated category classification and expert retrieval on image-based questions posted on Yahoo! Chiebukuro, the Japanese counterpart of Yahoo! Answers. To the best of our knowledge, this is the first work to tackle the multimodality challenge in CQA, and to adapt VQA models for tasks on a more ecologically valid source of visual questions. Our analysis of the differences between visual QA and community QA data drives our proposal of novel augmentations of an attention method tailored for CQA, and use of auxiliary tasks for learning better grounding features. Our final model markedly outperforms the text-only and VQA model baselines for both tasks of classification and expert retrieval on real-world multimodal CQA data.


title: Unified Receiver Design in Wireless Relay Networks Using Mixed-Integer Programming Techniques

abstract: Wireless receiver design is critical to the overall system performance. In this work, we apply the techniques of mixed-integer programming to formulate a unified receiver in relay networks with only partial channel information. We also relax all the constraints into real field to save computations, but at the cost of bit error performance. Moreover, a receiver formulation with adaptive number of constraints is proposed using the cutting plane techniques. Last but not least, number of flops is investigated for different formulations.


title: The matching number of tree and bipartite degree sequences

abstract: We study the possible values of the matching number among all trees with a given degree sequence as well as all bipartite graphs with a given bipartite degree sequence. For tree degree sequences, we obtain closed formulas for the possible values. For bipartite degree sequences, we show the existence of realizations with a restricted structure, which allows to derive an analogue of the Gale-Ryser Theorem characterizing bipartite degree sequences. More precisely, we show that a bipartite degree sequence has a realization with a certain matching number if and only if a cubic number of inequalities similar to those in the Gale-Ryser Theorem are satisfied. For tree degree sequences as well as for bipartite degree sequences, the possible values of the matching number form intervals.


title: Implications of Integrated CPU-GPU Processors on Thermal and Power Management Techniques

abstract: Heterogeneous processors with architecturally different cores (CPU and GPU) integrated on the same die lead to new challenges and opportunities for thermal and power management techniques because of shared thermal/power budgets between these cores. In this paper, we show that new parallel programming paradigms (e.g., OpenCL) for CPU-GPU processors create a tighter coupling between the workload, the thermal/power management unit and the operating system. Using detailed thermal and power maps of the die from infrared imaging, we demonstrate that in contrast to traditional multi-core CPUs, heterogeneous processors exhibit higher coupled behavior for dynamic voltage and frequency scaling and workload scheduling, in terms of their effect on performance, power, and temperature. Further, we show that by taking the differences in core architectures and relative proximity of different computing cores on the die into consideration, better scheduling schemes could be implemented to reduce both the power density and peak temperature of the die. The findings presented in the paper can be used to improve thermal and power efficiency of heterogeneous CPU-GPU processors.


title: Estimating dynamic mechanical quantities and their associated uncertainties: application guidance

abstract: Recently several European National Measurement Institutes have established traceable calibration methods for dynamic mechanical quantities, e.g., dynamic force, torque and pressure. However, the use in industry and elsewhere of dynamic calibration information provided on certificates is not straightforward. Typically it is necessary to employ deconvolution techniques to obtain estimates of measurands, and the deconvolution method itself and the associated algorithms are sources of uncertainty that must be included in uncertainty budgets. There is a need for practical guidance for end users on how to use the newly-available dynamic calibration information. To this end we set out an approach to the evaluation of uncertainties associated with dynamic measurements that we believe covers the most relevant cases. The methods have been embodied in publicly-available software and we show how they can be used to tackle some example problems. We believe that the methods lead to more reliable estimates of the relevant measurands and their associated uncertainties.


title: Neural Metaphor Detection in Context

abstract: We present end-to-end neural models for detecting metaphorical word use in context. We show that relatively standard BiLSTM models which operate on complete sentences work well in this setting, in comparison to previous work that used more restricted forms of linguistic context. These models establish a new state-of-the-art on existing verb metaphor detection benchmarks, and show strong performance on jointly predicting the metaphoricity of all words in a running text.


title: Generalized Solitary Waves in a Finite-Difference Korteweg-de Vries Equation

abstract: Generalized solitary waves with exponentially small non-decaying far field oscillations have been studied in a range of singularly-perturbed differential equations, including higher-order Korteweg-de Vries (KdV) equations. Many of these studies used exponential asymptotics to compute the behaviour of the oscillations, revealing that they appear in the solution as special curves known as Stokes lines are crossed. Recent studies have identified similar behaviour in solutions to difference equations. Motivated by these studies, the seventh-order KdV and a hierarchy of higher-order KdV equations are investigated, identifying conditions which produce generalized solitary wave solutions. These results form a foundation for the study of infinite-order differential equations, which are used as a model for studying lattice equations. Finally, a lattice KdV equation is generated using finite-difference discretization, in which a lattice generalized solitary wave solution is found.


title: On Quantum Chosen-Ciphertext Attacks and Learning with Errors

abstract: Large-scale quantum computing is a significant threat to classical public-key cryptography. In strong "quantum access" security models, numerous symmetric-key cryptosystems are also vulnerable. We consider classical encryption in a model which grants the adversary quantum oracle access to encryption and decryption, but where the latter is restricted to non-adaptive (i.e., pre-challenge) queries only. We define this model formally using appropriate notions of ciphertext indistinguishability and semantic security (which are equivalent by standard arguments) and call it QCCA1 in analogy to the classical CCA1 security model. Using a bound on quantum random-access codes, we show that the standard PRF- and PRP-based encryption schemes are QCCA1-secure when instantiated with quantum-secure primitives. We then revisit standard IND-CPA-secure Learning with Errors (LWE) encryption and show that leaking just one quantum decryption query (and no other queries or leakage of any kind) allows the adversary to recover the full secret key with constant success probability. In the classical setting, by contrast, recovering the key uses a linear number of decryption queries, and this is optimal. The algorithm at the core of our attack is a (large-modulus version of) the well-known Bernstein-Vazirani algorithm. We emphasize that our results should *not* be interpreted as a weakness of these cryptosystems in their stated security setting (i.e., post-quantum chosen-plaintext secrecy). Rather, our results mean that, if these cryptosystems are exposed to chosen-ciphertext attacks (e.g., as a result of deployment in an inappropriate real-world setting) then quantum attacks are even more devastating than classical ones.