title: Characterizing the Impact of SNR Heterogeneity on Time-of-Arrival based Localization Outage Probability

abstract: In localization, an outage occurs if the positioning error exceeds a pre-defined threshold, $\epsilon_{\rm th}$. For time-of-arrival based localization, a key factor affecting the positioning error is the relative positions of the anchors, with respect to the target location. Specifically, the positioning error is a function of (a) the distance-dependent signal-to-noise ratios (SNRs) of the anchor-target links, and (b) the pairwise angles subtended by the anchors at the target location. From a design perspective, characterizing the distribution of the positioning error over an ensemble of target and anchor locations is essential for providing probabilistic performance guarantees against outage. To solve this difficult problem, previous works have assumed all links to have the same SNR (i.e., SNR homogeneity), which neglects the impact of distance variation among the anchors on the positioning error. In this paper, we model SNR heterogeneity among anchors using a distance-dependent pathloss model and derive an accurate approximation for the error complementary cumulative distribution function (ccdf). By highlighting the accuracy of our results, relative to previous ones that ignore SNR heterogeneity, we concretely demonstrate that SNR heterogeneity has a considerable impact on the error distribution.


title: Carter Constant and Superintegrability

abstract: Carter constant is a non-trivial conserved quantity of motion of a particle moving in stationary axisymmetric spacetime. In the version of the theorem originally given by Carter, due to the presence of two Killing vectors, the system effectively has two degrees of freedom. We propose an extension to the first version of Carter's theorem to a system having three degrees of freedom to find two functionally independent Carter-like integrals of motion. We further generalize the theorem to a dynamical system with $N$ degrees of freedom. We further study the implications of Carter Constant to Superintegrability and present a different approach to probe a Superintegrable system. Our formalism gives another viewpoint to a Superintegrable system using the simple observation of separable Hamiltonian according to Carter's criteria. We then give some examples by constructing some 2-Dimensional superintegrable systems based on this idea and also show that all 3-D simple classical Superintegrable potentials are also Carter separable.


title: A Deep Convolutional Neural Network for Lung Cancer Diagnostic

abstract: In this paper, we examine the strength of deep learning technique for diagnosing lung cancer on medical image analysis problem. Convolutional neural networks (CNNs) models become popular among the pattern recognition and computer vision research area because of their promising outcome on generating high-level image representations. We propose a new deep learning architecture for learning high-level image representation to achieve high classification accuracy with low variance in medical image binary classification tasks. We aim to learn discriminant compact features at beginning of our deep convolutional neural network. We evaluate our model on Kaggle Data Science Bowl 2017 (KDSB17) data set, and compare it with some related works proposed in the Kaggle competition.


title: Time-Resolved Measurements of Electron Density in Nanosecond Pulsed Plasmas Using Microwave Scattering

abstract: In this work, Rayleigh microwave scattering was utilized to measure the electron number density produced by nanosecond high voltage breakdown in air between two electrodes in a pin-to-pin configuration (peak voltage 26 kV and pulse duration 55 ns). The peak electron density decreased from 1*10^17 cm^-3 down to 7*10^14 cm^-3 when increasing the gap distance from 2 to 8 mm (total electron number decreased from 2*10^13 down to 5*10^11 respectively). Electron number density decayed on the timescale of about several microseconds due to dissociative recombination.


title: Maximizing Profit with Convex Costs in the Random-order Model

abstract: Suppose a set of requests arrives online: each request gives some value $v_i$ if accepted, but requires using some amount of each of $d$ resources. Our cost is a convex function of the vector of total utilization of these $d$ resources. Which requests should be accept to maximize our profit, i.e., the sum of values of the accepted demands, minus the convex cost? We consider this problem in the random-order a.k.a. secretary model, and show an $O(d)$-competitive algorithm for the case where the convex cost function is also supermodular. If the set of accepted demands must also be independent in a given matroid, we give an $O(d^3 \alpha)$-competitive algorithm for the supermodular case, and an improved $O(d^2\alpha)$ if the convex cost function is also separable. Here $\alpha$ is the competitive ratio of the best algorithm for the submodular secretary problem. These extend and improve previous results known for this problem. Our techniques are simple but use powerful ideas from convex duality, which give clean interpretations of existing work, and allow us to give the extensions and improvements.


title: Causal network discovery by iterative conditioning: comparison of algorithms

abstract: Estimating causal interactions in complex dynamical systems is an important problem encountered in many fields of current science. While a theoretical solution for detecting the causal interactions has been previously formulated in the framework of prediction improvement, it generally requires the computation of high-dimensional information functionals -- a situation invoking the curse of dimensionality with increasing network size. Recently, several methods have been proposed to alleviate this problem, based on iterative procedures for assessment of conditional (in)dependences. In the current work, we bring a comparison of several such prominent approaches. This is done both by theoretical comparison of the algorithms using a formulation in a common framework, and by numerical simulations including realistic complex coupling patterns. The theoretical analysis highlights the key similarities and differences between the algorithms, hinting on their comparative strengths and weaknesses. The method assumptions and specific properties such as false positive control and order dependence are discussed. Numerical simulations suggest that while the accuracy of most of the algorithms is almost indistinguishable, there are substantial differences in their computational demands, ranging theoretically from polynomial to exponential complexity, and leading to substantial differences in computation time in realistic scenarios depending on the density and size of networks. Based on analysis of the algorithms and numerical simulations, we propose a hybrid approach providing competitive accuracy with improved computational efficiency.


title: Stochastic Dynamics II: Finite Random Dynamical Systems, Linear Representation, and Entropy Production

abstract: We study finite state random dynamical systems (RDS) and their induced Markov chains (MC) as stochastic models for complex dynamics. The linear representation of deterministic maps in RDS are matrix-valued random variables whose expectations correspond to the transition matrix of the MC. The instantaneous Gibbs entropy, Shannon-Khinchin entropy per step, and the entropy production rate of the MC are discussed. These three concepts as key anchor points in stochastic dynamics, characterize respectively the uncertainties of the system at instant time $t$, the randomness generated per step, and the dynamical asymmetry with respect to time reversal. The entropy production rate, expressed in terms of the cycle distributions, has found an expression in terms of the probability of the deterministic maps with the single attractor in the maximum entropy RDS. For finite RDS with invertible transformations, the non-negative entropy production rate of its MC is bounded above by the Kullback-Leibler divergence of the probability of the deterministic maps with respect to its time-reversal dual probability.


title: Bifurcations from families of periodic solutions in piecewise differential systems

abstract: Consider a differential system of the form $$ x'=F_0(t,x)+\sum_{i=1}^k \varepsilon^i F_i(t,x)+\varepsilon^{k+1} R(t,x,\varepsilon), $$ where $F_i:\mathbb{S}^1 \times D \to \mathbb{R}^m$ and $R:\mathbb{S}^1 \times D \times (-\varepsilon_0,\varepsilon_0) \to \mathbb{R}^m$ are piecewise $C^{k+1}$ functions and $T$-periodic in the variable $t$. Assuming that the unperturbed system $x'=F_0(t,x)$ has a $d$-dimensional submanifold of periodic solutions with $d<m$, we use the Lyapunov-Schmidt reduction and the averaging theory to study the existence of isolated $T$-periodic solutions of the above differential system.


title: Torus polynomials: an algebraic approach to ACC lower bounds

abstract: We propose an algebraic approach to proving circuit lower bounds for ACC0 by defining and studying the notion of torus polynomials. We show how currently known polynomial-based approximation results for AC0 and ACC0 can be reformulated in this framework, implying that ACC0 can be approximated by low-degree torus polynomials. Furthermore, as a step towards proving ACC0 lower bounds for the majority function via our approach, we show that MAJORITY cannot be approximated by low-degree symmetric torus polynomials. We also pose several open problems related to our framework.


title: Toward a topological scenario for high-temperature superconductivity of copper oxides

abstract: The structure of the joint phase diagram demonstrating high-$T_c$ superconductivity of copper oxides is studied on the basis of the theory of interaction-induced flat bands. Prerequisites of an associated topological rearrangement of the Landau state are established, and related non-Fermi-liquid (NFL) behavior of the normal states of cuprates is investigated. We focus on manifestations of this behavior in the electrical resistivity $\rho(T)$, especially the observed gradual crossover from normal-state $T$-linear behavior $\rho(T,x)=A_1(x)T$ at doping $x$ below the critical value $x_c^h$ for termination of superconductivity, to $T$-quadratic behavior at $x>x_c^h$, which is incompatible with predictions of the conventional quantum-critical-point scenario. It is demonstrated that at $x<x^h_c$, in agreement with available experimental data, the coefficient $A_1( x)$ is decomposed into the product of two factors, one of which changes linearly with doping $x$, while the second is universal, being of the Planckian form.


title: Nearly Linear Time Deterministic Algorithms for Submodular Maximization Under Knapsack Constraint and Beyond

abstract: In this work, we study the classic submodular maximization problem under knapsack constraints and beyond. We first present an $(7/16-\varepsilon)$-approximate algorithm for single knapsack constraint, which requires $O(n\cdot\max\{\varepsilon^{-1},\log\log n\})$ queries, and two passes in the streaming setting. This provides improvements in approximation ratio, query complexity and number of passes on the stream. We next show that there exists an $(1/2-\varepsilon)$-approximate deterministic algorithm for constant number of binary packing constraints, which achieves a query complexity of $O_{\varepsilon}(n\cdot\log \log n)$. One salient feature of our deterministic algorithm is, both its approximation ratio and time complexity are independent of the number of constraints. Lastly we present nearly linear time algorithms for the intersection of $p$-system and $d$ knapsack constraint, we achieve approximation ratio of $(1/(p+\frac{7}{4}d+1)-\varepsilon)$ for monotone objective and $(p/(p+1)(2p+\frac{7}{4}d+1)-\varepsilon)$ for non-monotone objective.


title: Limit cycles for two classes of control piecewise linear differential systems

abstract: We study the bifurcation of limit cycles from the periodic orbits of $2n$--dimensional linear centers $\dot{x} = A_0 x$ when they are perturbed inside classes of continuous and discontinuous piecewise linear differential systems of control theory of the form $\dot{x} = A_0 x + \varepsilon \big(A x + \phi(x_1) b\big)$, where $\phi$ is a continuous or discontinuous piecewise linear function, $A_0$ is a $2n\times 2n$ matrix with only purely imaginary eigenvalues, $\varepsilon$ is a small parameter, $A$ is an arbitrary $2n\times 2n$ matrix, and $b$ is an arbitrary vector of $\mathbb{R}^n$.


title: Active Authentication of Keyboard Users: Performance Evaluation on 736 Subjects

abstract: Keystroke timing based active authentication systems are conceptually attractive because: (i) they use the keyboard as the sensor and are not hardware-cost prohibitive, and (ii) they use the keystrokes generated from normal usage of computers as input and are not interruptive. Several experiments have been reported on the performance of keystroke based authentication using small datasets. None of them, however, study a practical active authentication system, and the feasibility of keystroke based active authentication system for large scale and continuous deployment is still not demonstrated in the literature. We investigate this issue and establish that keystroke based active authentication systems can be highly accurate and scalable. We use a real active authentication system that we developed and analyze a dataset large enough to produce statistically significant results. We also present empirical methodologies used for characterizing various design parameters of the developed system.


title: Large Receptive Field Networks for High-Scale Image Super-Resolution

abstract: Convolutional Neural Networks have been the backbone of recent rapid progress in Single-Image Super-Resolution. However, existing networks are very deep with many network parameters, thus having a large memory footprint and being challenging to train. We propose Large Receptive Field Networks which strive to directly expand the receptive field of Super-Resolution networks without increasing depth or parameter count. In particular, we use two different methods to expand the network receptive field: 1-D separable kernels and atrous convolutions. We conduct considerable experiments to study the performance of various arrangement schemes of the 1-D separable kernels and atrous convolution in terms of accuracy (PSNR / SSIM), parameter count, and speed, while focusing on the more challenging high upscaling factors. Extensive benchmark evaluations demonstrate the effectiveness of our approach.


title: Mittag-Leffler functors of modules

abstract: Finite modules, finitely presented modules and Mittag-Leffler modules are characterized by their behaviour by tensoring with direct products of modules. In this paper, we study and characterize the functors of modules that preserve direct products.


title: Tunable Optical Radiation Formed in Crystalline Undulator

abstract: The problem of optical radiation produced by a bunch of relativistic positrons channeled to a crystalline undulator (CU) is considered. Taking into account the polarization of the crystal medium, an energy threshold takes place to form the radiation. If the energy of the bunch is above the threshold, the radiation is created in a limited frequency range. Both soft and hard boundary photons exist and are emitted at zero angle due to the polarization of the medium. In the case where the ratio between bunch's and threshold energies is much greater than unity, the energy of the boundary soft photons depends only on the characteristic parameters (spatial period, amplitude) of the crystalline sinusoidal undulator and can be tuned to the optical range. It is shown that it is possible to obtain a directed optical beam in the "water window" range. Such photon beams have important applications in medicine and biological research.


title: Exchange of Renewable Energy among Prosumers using Blockchain with Dynamic Pricing

abstract: We consider users which may have renewable energy harvesting devices, or distributed generators. Such users can behave as consumer or producer (hence, we denote them as prosumers) at different time instances. A prosumer may sell the energy to other prosumers in exchange of money. We consider a demand response model, where the price of conventional energy depends on the total demand of all the prosumers at a certain time. A prosumer depending on its own utility has to select the amount of energy it wants to buy either from the grid or from other prosumers, or the amount of excess energy it wants to sell to other prosumers. However, the strategy, and the payoff of a prosumer inherently depends on the strategy of other prosumers as a prosumer can only buy if the other prosumers are willing to sell. We formulate the problem as a coupled constrained game, and seek to obtain the generalized Nash equilibrium. We show that the game is a concave potential game and show that there exists a unique generalized Nash equilibrium. We consider that a platform will set the price for distributed interchange of energy among the prosumers in order to minimize the consumption of the conventional energy. We propose a distributed algorithm where the platform sets a price to each prosumer, and then each prosumer at a certain time only optimizes its own payoff. The prosumer then updates the price depending on the supply and demand for each prosumer. We show that the algorithm converges to an optimal generalized Nash equilibrium. The distributed algorithm also provides an optimal price for the exchange market.


title: The inverse-square interaction phase diagram: unitarity in the bosonic ground state

abstract: Ground-state properties of bosons interacting via inverse square potential (three dimensional Calogero-Sutherland model) are analyzed. A number of quantities scale with the density and can be naturally expressed in units of the Fermi energy and Fermi momentum multiplied by a dimensionless constant (Bertsch parameter). Two analytical approaches are developed: the Bogoliubov theory for weak and the harmonic approximation (HA) for strong interactions. Diffusion Monte Carlo method is used to obtain the ground-state properties in a non-perturbative manner. We report the dependence of the Bertsch parameter on the interaction strength and construct a Pad\'e approximant which fits the numerical data and reproduces correctly the asymptotic limits of weak and strong interactions. We find good agreement with beyond-mean field theory for the energy and the condensate fraction. The pair distribution function and the static structure factor are reported for a number of characteristic interactions. We demonstrate that the system experiences a gas-solid phase transition as a function of the dimensionless interaction strength. A peculiarity of the system is that by changing the density it is not possible to induce the phase transition. We show that the low-lying excitation spectrum contains plasmons in both phases, in agreement with the Bogoliubov and HA theories. Finally, we argue that this model can be interpreted as a realization of the unitary limit of a Bose system with the advantage that the system stays in the genuine ground state contrarily to the metastable state realized in experiments with short-range Bose gases.


title: Automatic Language Identification in Texts: A Survey

abstract: Language identification (LI) is the problem of determining the natural language that a document or part thereof is written in. Automatic LI has been extensively researched for over fifty years. Today, LI is a key part of many text processing pipelines, as text processing techniques generally assume that the language of the input text is known. Research in this area has recently been especially active. This article provides a brief history of LI research, and an extensive survey of the features and methods used so far in the LI literature. For describing the features and methods we introduce a unified notation. We discuss evaluation methods, applications of LI, as well as off-the-shelf LI systems that do not require training by the end user. Finally, we identify open issues, survey the work to date on each issue, and propose future directions for research in LI.


title: Advancing Tabu and Restart in Local Search for Maximum Weight Cliques

abstract: The tabu and restart are two fundamental strategies for local search. In this paper, we improve the local search algorithms for solving the Maximum Weight Clique (MWC) problem by introducing new tabu and restart strategies. Both the tabu and restart strategies proposed are based on the notion of a local search scenario, which involves not only a candidate solution but also the tabu status and unlocking relationship. Compared to the strategy of configuration checking, our tabu mechanism discourages forming a cycle of unlocking operations. Our new restart strategy is based on the re-occurrence of a local search scenario instead of that of a candidate solution. Experimental results show that the resulting MWC solver outperforms several state-of-the-art solvers on the DIMACS, BHOSLIB, and two benchmarks from practical applications.


title: Equivariant heat and Schr\"odinger flows from Euclidean space to complex projective space

abstract: We study the equivariant harmonic map heat flow, Schr\"odinger maps equation, and generalized Landau-Lifshitz equation from $\mathbb{C}^n$ to $\mathbb{C}\mathbb{P}^n$. By means of a careful geometric analysis, we determine a new, highly useful representation of the problem in terms of a PDE for radial functions from $\mathbb{C}^n$ to $\mathbb{S}^2$. Using this new representation, we are able to write explicit formulae for the harmonic maps in this context, and prove that they all have infinite energy. We show that the PDEs admit a family of self-similar solutions with smooth profiles; these solutions again have infinite energy, and give an example of regularity breakdown. Then, using a variant of the Hasimoto transformation applied to our new equation for the dynamics, we prove a small-data global wellposedness result when $n=2$. This is, to the best of our knowledge, the first global wellposedness result for Schr\"odinger maps when the complex dimension of the target is greater than one. In the final section we study a special case of the harmonic map heat flow corresponding to initial data valued in one great circle. We show that the $n=2$ case of this problem is a borderline case for the standard classification theory for PDE of its type.


title: The Z_2 Orbifold of the Universal Affine Vertex Algebra

abstract: Let $\gg$ be a simple, finite-dimensional complex Lie algebra, and let $V^k(\gg)$ denote the universal affine vertex algebra associated to $\gg$ at level $k$. The Cartan involution on $\gg$ lifts to an involution on $V^k(\gg)$, and we denote by $V^k(\gg)^{\mathbb{Z}_2}$ the orbifold, or fixed-point subalgebra, under this involution. Our main result is an explicit minimal strong finite generating set for $V^k(\gg)^{\mathbb{Z}_2}$ for generic values of $k$. In the case $\gg = \gs\gl_2$, we also determine the set of nongeneric values of $k$, where this set does not work.


title: Resonant Hamiltonian systems associated to the one-dimensional nonlinear Schr\"odinger equation with harmonic trapping

abstract: We study two resonant Hamiltonian systems on the phase space $L^2(\mathbb{R} \rightarrow \mathbb{C})$: the quintic one-dimensional continuous resonant equation, and a cubic resonant system that has appeared in the literature as a modified scattering limit for an NLS equation with cigar shaped trap. We prove that these systems approximate the dynamics of the quintic and cubic one-dimensional NLS with harmonic trapping in the small data regime on long times scales. We then pursue a thorough study of the dynamics of the resonant systems themselves. Our central finding is that these resonant equations fit into a larger class of Hamiltonian systems that have many striking dynamical features: non-trivial symmetries such as invariance under the Fourier transform and the flow of the linear Scr\"odinger equation with harmonic trapping, a robust wellposedness theory, including global wellposedness in $L^2$ and all higher $L^2$ Sobolev spaces, and an infinite family of orthogonal, explicit stationary wave solutions in the form of the Hermite functions.


title: Embedding Hypertrees into Steiner Triple Systems

abstract: In this paper we are interested in the following question: Given an arbitrary Steiner triple system $S$ on $m$ vertices and any 3-uniform hypertree $T$ on $n$ vertices, is it necessary that $S$ contains $T$ as a subgraph provided $m \geq (1+\mu)n$? We show the answer is positive for a class of hypertrees and conjecture that the answer is always positive.


title: Parabolically induced functions and equidistributed pairs

abstract: Given a function defined over a parabolic subgroup of a Coxeter group, equidistributed with the length, we give a procedure to construct a function over the entire group, equidistributed with the length. Such a procedure permits to define functions equidistributed with the length in all the finite Coxeter groups. We can establish our results in the general setting of graded posets which satisfy some properties. These results apply to some known functions arising in Coxeter groups as the major index, the negative major index and the D-negative major index defined in type $A$, $B$ and $D$ respectively.


title: Integral versions of input-to-state stability for dual-rate nonlinear sampled-data systems

abstract: This paper presents versions of integral input-to-state stability and integral input-to-integral-state stability for nonlinear sampled-data systems, under the low measurement rate constraint. In particular, we compensate the lack of measurements using an estimator approximately reconstructing the current state. Interestingly, under certain checkable conditions, we establish that a controller that semiglobally practically integral input-to-(integral-) state stabilizes an approximate discrete-time model of a single-rate nonlinear sampled-data system, also stabilizes the exact discrete-time model of the nonlinear sampled-data system in the same sense implemented in a dual-rate setting. Numerical simulations are given to illustrate the effectiveness of our results.


title: Nanotesla-level, shield-less, field-compensation-free, wave-mixing-enhanced body-temperature atomic magnetometry for biomagnetism

abstract: We report an optical inelastic-wave-mixing-enhanced atomic magnetometry technique that results in nT-level magnetic field detection at temperatures compatible with the human body without magnetic shielding, zero-field compensation, or high-frequency modulated phase-locking spectroscopy. Using Gaussian magnetic pulses that mimic the transient magnetic field produced by an action potential on a frog's nerve, we demonstrate more than 300,000-fold (550-fold) enhancement of magneto-optical rotation signal power spectral-density (power amplitude) over the conventional single-beam $\Lambda-$scheme atomic magnetometry method. This new technique may bring possibilities for extremely sensitive magnetic field imaging of biological systems accessible via an optical fiber in clinical environments.


title: Conformally-flat, non-singular static metric in infinite derivative gravity

abstract: In Einstein's theory of general relativity the vacuum solution yields a blackhole with a curvature singularity, where there exists a point-like source with a Dirac delta distribution which is introduced as a boundary condition in the static case. It has been known for a while that ghost-free infinite derivative theory of gravity can ameliorate such a singularity at least at the level of linear perturbation around the Minkowski background. In this paper, we will show that the Schwarzschild metric does not satisfy the boundary condition at the origin within infinite derivative theory of gravity, since a Dirac delta source is smeared out by non-local gravitational interaction. We will also show that the spacetime metric becomes conformally-flat and singularity-free within the non-local region, which can be also made devoid of an event horizon. Furthermore, the scale of non-locality ought to be as large as that of the Schwarzschild radius, in such a way that the gravitational potential in any metric has to be always bounded by one, implying that gravity remains weak from the infrared all the way up to the ultraviolet regime, in concurrence with the results obtained in [arXiv:1707.00273]. The singular Schwarzschild blackhole can now be potentially replaced by a non-singular compact object, whose core is governed by the mass and the effective scale of non-locality.


title: High-resolution Tunneling Spectroscopy of ABA-stacked Trilayer Graphene

abstract: ABA-stacked trilayer graphene (TLG), the simplest system consisting of both massless and massive Dirac fermions, is expected to exhibit many interesting broken-symmetry quantum Hall states and interaction-induced phenomena. However, difficulties in microscopically identifying the stacking order of the TLG and limited spectroscopic resolution have stymied experimental probes of these interesting states and phenomena in scanning tunneling microscopy (STM) studies. Here we studied the detailed features of the electronic structure in the ABA TLG by using high-resolution STM measurements. Landau-level (LL) crossings of the massless and massive Dirac fermions, and effective mass renormalization of the massive Dirac fermions were observed, indicating strong electron-electron interactions in the ABA TLG. Most unexpectedly, we observed unconventional splittings of the lowest LLs for both the massless and massive Dirac fermions in high perpendicular magnetic fields. These splittings of the LLs, which are beyond the description of tight-binding calculations, reveal unexplored broken-symmetry quantum Hall states in the ABA TLG induced by many-body effects.


title: syGlass: Interactive Exploration of Multidimensional Images Using Virtual Reality Head-mounted Displays

abstract: The quest for deeper understanding of biological systems has driven the acquisition of increasingly larger multidimensional image datasets. Inspecting and manipulating data of this complexity is very challenging in traditional visualization systems. We developed syGlass, a software package capable of visualizing large scale volumetric data with inexpensive virtual reality head-mounted display technology. This allows leveraging stereoscopic vision to significantly improve perception of complex 3D structures, and provides immersive interaction with data directly in 3D. We accomplished this by developing highly optimized data flow and volume rendering pipelines, tested on datasets up to 16TB in size, as well as tools available in a virtual reality GUI to support advanced data exploration, annotation, and cataloguing.


title: A neural interlingua for multilingual machine translation

abstract: We incorporate an explicit neural interlingua into a multilingual encoder-decoder neural machine translation (NMT) architecture. We demonstrate that our model learns a language-independent representation by performing direct zero-shot translation (without using pivot translation), and by using the source sentence embeddings to create an English Yelp review classifier that, through the mediation of the neural interlingua, can also classify French and German reviews. Furthermore, we show that, despite using a smaller number of parameters than a pairwise collection of bilingual NMT models, our approach produces comparable BLEU scores for each language pair in WMT15.


title: Linguistically-Informed Self-Attention for Semantic Role Labeling

abstract: Current state-of-the-art semantic role labeling (SRL) uses a deep neural network with no explicit linguistic features. However, prior work has shown that gold syntax trees can dramatically improve SRL decoding, suggesting the possibility of increased accuracy from explicit modeling of syntax. In this work, we present linguistically-informed self-attention (LISA): a neural network model that combines multi-head self-attention with multi-task learning across dependency parsing, part-of-speech tagging, predicate detection and SRL. Unlike previous models which require significant pre-processing to prepare linguistic features, LISA can incorporate syntax using merely raw tokens as input, encoding the sequence only once to simultaneously perform parsing, predicate detection and role labeling for all predicates. Syntax is incorporated by training one attention head to attend to syntactic parents for each token. Moreover, if a high-quality syntactic parse is already available, it can be beneficially injected at test time without re-training our SRL model. In experiments on CoNLL-2005 SRL, LISA achieves new state-of-the-art performance for a model using predicted predicates and standard word embeddings, attaining 2.5 F1 absolute higher than the previous state-of-the-art on newswire and more than 3.5 F1 on out-of-domain data, nearly 10% reduction in error. On ConLL-2012 English SRL we also show an improvement of more than 2.5 F1. LISA also out-performs the state-of-the-art with contextually-encoded (ELMo) word representations, by nearly 1.0 F1 on news and more than 2.0 F1 on out-of-domain text.


title: Metal Pollution of Low-Mass Population III Stars through Accretion of Interstellar Objects like `Oumuamua

abstract: We calculate accretion mass of interstellar objects (ISOs) like `Oumuamua onto low-mass population III stars (Pop.~III survivors), and estimate surface pollution of Pop.~III survivors. An ISO number density estimated from the discovery of `Oumuamua is so high ($\sim 0.2$~au$^{-3}$) that Pop.~III survivors have chances at colliding with ISOs $\gtrsim 10^5$ times per $1$~Gyr. `Oumuamua itself would be sublimated near Pop.~III survivors, since it has small size, $\sim 100$~m. However, ISOs with size $\gtrsim 3$~km would reach the Pop.~III survivor surfaces. Supposing an ISO cumulative number density with size larger than $D$ is $n \propto D^{-\alpha}$, Pop.~III survivors can accrete ISO mass $\gtrsim 10^{-16}M_\odot$, or ISO iron mass $\gtrsim 10^{-17}M_\odot$, if $\alpha < 4$. This iron mass is larger than the accretion mass of interstellar medium (ISM) by several orders of magnitude. Taking into account material mixing in a convection zone of Pop.~III survivors, we obtain their surface pollution is typically [Fe/H] $\lesssim -8$ in most cases, however the surface pollution of Pop.~III survivors with $0.8M_\odot$ can be [Fe/H] $\gtrsim -6$ because of the very shallow convective layer. If we apply to Pop.III survivors located at the Galactocentric distance of 8 kpc, the dependence of the metal pollustion is as follows. If $\alpha > 4$, Pop.~III survivors have no chance at colliding with ISOs with $D \gtrsim 3$~km, and keep metal-free. If $3 < \alpha < 4$, Pop.~III survivors would be most polluted by ISOs up to [Fe/H] $\sim -7$. If $\alpha < 3$ up to $D \sim 10$~km, Pop.~III survivors could hide in metal-poor stars so far discovered. Pop.~III survivors would be more polluted with decreasing the Galactocentric distance. Although the metal pollution depends on $\alpha$ and the Galactocentric distance, we first show the importance of ISOs for the metal pollution of Pop.~III survivors.


title: Global uniqueness of the minimal sphere in the Atiyah-Hitchin manifold

abstract: In this note, we study submanifold geometry of the Atiyah-Hitchin manifold, the double cover of the $2$-monopole moduli space. When the manifold is naturally identified as the total space of a line bundle over $S^2$, the zero section is a distinguished minimal $2$-sphere of considerable interest. In particular, there has been a conjecture by Micallef and Wolfson [Math. Ann. 295 (1993), Remark on p.262] about the uniqueness of this minimal $2$-sphere among all closed minimal $2$-surfaces. We show that this minimal $2$-sphere satisfies the "strong stability condition" proposed in our earlier work [arXiv:1710.00433], and confirm the global uniqueness as a corollary.


title: Rigorous Hamiltonian and Lagrangian analysis of classical and quantum theories with minimal length

abstract: GUP is a phenomenological model aimed for a description of a minimal length in quantum and classical systems. However, the analysis of problems in classical physics is usually approached preferring a different formalism than the one used for quantum systems, and vice versa. Potentially, the two approaches can result in inconsistencies. Here, we eliminate such inconsistencies proposing particular meanings and relations between the variables used to describe physical systems, resulting in a precise form of the Legendre transformation. Furthermore, we introduce two different sets of canonical variables and the relative map between them. These two sets allow for a complete and unambiguous description of classical and quantum systems.


title: Convergence of the Ginzburg-Landau approximation for the Ericksen-Leslie system

abstract: We establish the local well-posedness of the general Ericksen-Leslie system in liquid crystals with the initial velocity and director field in $H^1 \times H_b^2$. In particular, we prove that the solutions of the Ginzburg-Landau approximation system converge smoothly to the solution of the Ericksen-Leslie system for any $t \in (0,T^\ast)$ with a maximal existence time $T^\ast$ of the Ericksen- Leslie system.


title: Knowledge-based end-to-end memory networks

abstract: End-to-end dialog systems have become very popular because they hold the promise of learning directly from human to human dialog interaction. Retrieval and Generative methods have been explored in this area with mixed results. A key element that is missing so far, is the incorporation of a-priori knowledge about the task at hand. This knowledge may exist in the form of structured or unstructured information. As a first step towards this direction, we present a novel approach, Knowledge based end-to-end memory networks (KB-memN2N), which allows special handling of named entities for goal-oriented dialog tasks. We present results on two datasets, DSTC6 challenge dataset and dialog bAbI tasks.


title: Spell Once, Summon Anywhere: A Two-Level Open-Vocabulary Language Model

abstract: We show how the spellings of known words can help us deal with unknown words in open-vocabulary NLP tasks. The method we propose can be used to extend any closed-vocabulary generative model, but in this paper we specifically consider the case of neural language modeling. Our Bayesian generative story combines a standard RNN language model (generating the word tokens in each sentence) with an RNN-based spelling model (generating the letters in each word type). These two RNNs respectively capture sentence structure and word structure, and are kept separate as in linguistics. By invoking the second RNN to generate spellings for novel words in context, we obtain an open-vocabulary language model. For known words, embeddings are naturally inferred by combining evidence from type spelling and token context. Comparing to baselines (including a novel strong baseline), we beat previous work and establish state-of-the-art results on multiple datasets.


title: Binding Pathway of Opiates to $\mu$ Opioid Receptors Revealed by Unsupervised Machine Learning

abstract: Many important analgesics relieve pain by binding to the $\mu$-Opioid Receptor ($\mu$OR), which makes the $\mu$OR among the most clinically relevant proteins of the G Protein Coupled Receptor (GPCR) family. Despite previous studies on the activation pathways of the GPCRs, the mechanism of opiate binding and the selectivity of $\mu$OR are largely unknown. We performed extensive molecular dynamics (MD) simulation and analysis to find the selective allosteric binding sites of the $\mu$OR and the path opiates take to bind to the orthosteric site. In this study, we predicted that the allosteric site is responsible for the attraction and selection of opiates. Using Markov state models and machine learning, we traced the pathway of opiates in binding to the orthosteric site, the main binding pocket. Our results have important implications in designing novel analgesics.


title: Collecting Diverse Natural Language Inference Problems for Sentence Representation Evaluation

abstract: We present a large-scale collection of diverse natural language inference (NLI) datasets that help provide insight into how well a sentence representation captures distinct types of reasoning. The collection results from recasting 13 existing datasets from 7 semantic phenomena into a common NLI structure, resulting in over half a million labeled context-hypothesis pairs in total. We refer to our collection as the DNC: Diverse Natural Language Inference Collection. The DNC is available online at https://www.decomp.net, and will grow over time as additional resources are recast and added from novel sources.


title: High Performance Visual Tracking with Circular and Structural Operators

abstract: In this paper, a novel circular and structural operator tracker (CSOT) is proposed for high performance visual tracking, it not only possesses the powerful discriminative capability of SOSVM but also efficiently inherits the superior computational efficiency of DCF. Based on the proposed circular and structural operators, a set of primal confidence score maps can be obtained by circular correlating feature maps with their corresponding structural correlation filters. Furthermore, an implicit interpolation is applied to convert the multi-resolution feature maps to the continuous domain and make all primal confidence score maps have the same spatial resolution. Then, we exploit an efficient ensemble post-processor based on relative entropy, which can coalesce primal confidence score maps and create an optimal confidence score map for more accurate localization. The target is localized on the peak of the optimal confidence score map. Besides, we introduce a collaborative optimization strategy to update circular and structural operators by iteratively training structural correlation filters, which significantly reduces computational complexity and improves robustness. Experimental results demonstrate that our approach achieves state-of-the-art performance in mean AUC scores of 71.5% and 69.4% on the OTB-2013 and OTB-2015 benchmarks respectively, and obtains a third-best expected average overlap (EAO) score of 29.8% on the VOT-2017 benchmark.


title: Synthesizing Distributed Energy Resources in Microgrids with Temporal Logic Specifications

abstract: Grid supportive (GS) modes integrated within distributed energy resources (DERs) can improve the frequency response. However, synthesis of GS modes for guaranteed performance is challenging. Moreover, a tool is needed to handle sophisticated specifications from grid codes and protection relays. This paper proposes a model predictive control (MPC)-based mode synthesis methodology, which can accommodate the temporal logic specifications (TLSs). The TLSs allow richer descriptions of control specifications addressing both magnitude and time at the same time. The proposed controller will compute a series of Boolean control signals to synthesize the GS mode of DERs by solving the MPC problem under the normal condition, where the frequency response predicted by a reduced-order model satisfies the defined specifications. Once a sizable disturbance is detected, the pre-calculated signals are applied to the DERs. The proposed synthesis methodology is verified on the full nonlinear model in Simulink. A robust factor is imposed on the specifications to compensate the response mismatch between the reduce-order model and nonlinear model so that the nonlinear response satisfies the required TLS.


title: Two q-summation formulas and q-analogues of series expansions for certain constants

abstract: From two q-summation formulas we deduce certain series expansion formulas involving the q-gamma function. With these formulas we can give q-analogues of series expansions for certain constants.


title: The amazing world of simplicial complexes

abstract: Defined by a single axiom, finite abstract simplicial complexes belong to the simplest constructs of mathematics. We look at a a few theorems.


title: On the Banach-Mazur distance to cross-polytope

abstract: Let $n\geq 3$, and let $B_1^n$ be the standard $n$-dimensional cross-polytope (i.e. the convex hull of standard coordinate vectors and their negatives). We show that there exists a symmetric convex body $\mathcal G_m$ in ${\mathbb R}^n$ such that the Banach--Mazur distance $d(B_1^n,\mathcal G_m)$ satisfies $d(B_1^n,\mathcal G_m)\geq n^{5/9}\log^{-C}n$, where $C>0$ is a universal constant. The body $\mathcal G_m$ is obtained as a typical realization of a random polytope in ${\mathbb R}^n$ with $2m:=2n^C$ vertices (for a large constant $C$). The result improves upon an earlier estimate of S.Szarek which gives $d(B_1^n,\mathcal G_m)\geq c n^{1/2}\log n$ (with a different choice of $m$). This shows in a strong sense that the cross-polytope (or the cube $[-1,1]^n$) cannot be an "approximate" center of the Minkowski compactum.


title: Some New Constructions of Quantum MDS Codes

abstract: It is an important task to construct quantum maximum-distance-separable (MDS) codes with good parameters. In the present paper, we provide six new classes of q-ary quantum MDS codes by using generalized Reed-Solomon (GRS) codes and Hermitian construction. The minimum distances of our quantum MDS codes can be larger than q/2+1 Three of these six classes of quantum MDS codes have longer lengths than the ones constructed in [1] and [2], hence some of their results can be easily derived from ours via the propagation rule. Moreover, some known quantum MDS codes of specific lengths can be seen as special cases of ours and the minimum distances of some known quantum MDS codes are also improved as well.


title: Poisson statistics at the edge of Gaussian beta-ensembles at high temperature

abstract: We study the asymptotic edge statistics of the Gaussian $\beta$-ensemble, a collection of $n$ particles, as the inverse temperature $\beta$ tends to zero as $n$ tends to infinity. In a certain decay regime of $\beta$, the associated extreme point process is proved to converge in distribution to a Poisson point process as $n\to +\infty$. We also extend a well known result on Poisson limit for Gaussian extremes by showing the existence of an edge regime that we did not find in the literature.


title: Radial symmetry of positive entire solutions of a fourth order elliptic equation with a singular nonlinearity

abstract: The necessary and sufficient conditions for a regular positive entire solution $u$ of the biharmonic equation: \begin{equation} \label{0.1} -\Delta^2 u=u^{-p} \;\; \mbox{in $\R^N \; (N \geq 3)$}, \;\; p>1 \end{equation} to be a radially symmetric solution are obtained via the moving plane method (MPM) of a system of equations. It is well-known that for any $a>0$, \eqref{0.1} admits a unique minimal positive entire radial solution ${\underline u}_a (r)$ and a family of non-minimal positive entire radial solutions $u_a (r)$ such that $u_a (0)={\underline u}_a (0)=a$ and $u_a (r) \geq {\underline u}_a (r)$ for $r \in (0, \infty)$. Moreover, the asymptotic behaviors of ${\underline u}_a (r)$ and $u_a (r)$ at $r=\infty$ are also known. We will see in this paper that the asymptotic behaviors similar to those of ${\underline u}_a (r)$ and $u_a (r)$ at $r=\infty$ can determine the radial symmetry of a general regular positive entire solution $u$ of \eqref{0.1}. The precisely asymptotic behaviors of $u (x)$ and $-\Delta u (x)$ at $|x|=\infty$ need to be established such that the moving-plane procedure can be started. We provide the necessary and sufficient conditions not only for a regular positive entire solution $u$ of \eqref{0.1} to be the minimal entire radial solution, but also for $u$ to be a non-minimal entire radial solution.


title: The Minkowski formula and the quasi-local mass

abstract: In this article, we estimate the quasi-local energy with reference to the Minkowski spacetime [16,17], the anti-de Sitter spacetime [4], or the Schwarzschild spacetime [3]. In each case, the reference spacetime admits a conformal Killing-Yano 2-form which facilitates the application of the Minkowski formula in [15] to estimate the quasi-local energy. As a consequence of the positive mass theorems in [9,13] and the above estimate, we obtain rigidity theorems which characterize the Minkowski spacetime and the hyperbolic space.


title: Mem2Seq: Effectively Incorporating Knowledge Bases into End-to-End Task-Oriented Dialog Systems

abstract: End-to-end task-oriented dialog systems usually suffer from the challenge of incorporating knowledge bases. In this paper, we propose a novel yet simple end-to-end differentiable model called memory-to-sequence (Mem2Seq) to address this issue. Mem2Seq is the first neural generative model that combines the multi-hop attention over memories with the idea of pointer network. We empirically show how Mem2Seq controls each generation step, and how its multi-hop attention mechanism helps in learning correlations between memories. In addition, our model is quite general without complicated task-specific designs. As a result, we show that Mem2Seq can be trained faster and attain the state-of-the-art performance on three different task-oriented dialog datasets.


title: Econometric Modeling of Regional Electricity Spot Prices in the Australian Market

abstract: Wholesale electricity markets are increasingly integrated via high voltage interconnectors, and inter-regional trade in electricity is growing. To model this, we consider a spatial equilibrium model of price formation, where constraints on inter-regional flows result in three distinct equilibria in prices. We use this to motivate an econometric model for the distribution of observed electricity spot prices that captures many of their unique empirical characteristics. The econometric model features supply and inter-regional trade cost functions, which are estimated using Bayesian monotonic regression smoothing methodology. A copula multivariate time series model is employed to capture additional dependence -- both cross-sectional and serial-- in regional prices. The marginal distributions are nonparametric, with means given by the regression means. The model has the advantage of preserving the heavy right-hand tail in the predictive densities of price. We fit the model to half-hourly spot price data in the five interconnected regions of the Australian national electricity market. The fitted model is then used to measure how both supply and price shocks in one region are transmitted to the distribution of prices in all regions in subsequent periods. Finally, to validate our econometric model, we show that prices forecast using the proposed model compare favorably with those from some benchmark alternatives.


title: Adaptive Performance Assessment For Drivers Through Behavioral Advantage

abstract: The potential positive impact of autonomous driving and driver assistance technolo- gies have been a major impetus over the last decade. On the flip side, it has been a challenging problem to analyze the performance of human drivers or autonomous driving agents quantitatively. In this work, we propose a generic method that compares the performance of drivers or autonomous driving agents even if the environmental conditions are different, by using the driver behavioral advantage instead of absolute metrics, which efficiently removes the environmental factors. A concrete application of the method is also presented, where the performance of more than 100 truck drivers was evaluated and ranked in terms of fuel efficiency, covering more than 90,000 trips spanning an average of 300 miles in a variety of driving conditions and environments.


title: Multi-scale prediction for robust hand detection and classification

abstract: In this paper, we present a multi-scale Fully Convolutional Networks (MSP-RFCN) to robustly detect and classify human hands under various challenging conditions. In our approach, the input image is passed through the proposed network to generate score maps, based on multi-scale predictions. The network has been specifically designed to deal with small objects. It uses an architecture based on region proposals generated at multiple scales. Our method is evaluated on challenging hand datasets, namely the Vision for Intelligent Vehicles and Applications (VIVA) Challenge and the Oxford hand dataset. It is compared against recent hand detection algorithms. The experimental results demonstrate that our proposed method achieves state-of-the-art detection for hands of various sizes.


title: Prime orbit theorems for expanding Thurston maps

abstract: We obtain an analogue of the prime number theorem for a class of branched covering maps on the $2$-sphere called expanding Thurston maps $f$, which are topological models of some rational maps without any smoothness or holomorphicity assumption. More precisely, by studying dynamical zeta functions and, more generally, dynamical Dirichlet series for $f$, we show that the number of primitive periodic orbits of $f$, ordered by a weight on each point induced by a non-constant (eventually) positive real-valued H\"{o}lder continuous function $\phi$ on $S^2$ satisfying some additional regularity conditions, is asymptotically the same as the well-known logarithmic integral, with an exponential error term. Such a result, known as a Prime Orbit Theorem, follows from our quantitative study of the holomorphic extension properties of the associated dynamical zeta functions and dynamical Dirichlet series. In particular, the above result applies to postcritically-finite rational maps whose Julia set is the whole Riemann sphere. Moreover, we prove that the regularity conditions needed here are generic; and for a Latt\`{e}s map $f$ and a continuously differentiable (eventually) positive function $\phi$, such a Prime Orbit Theorem holds if and only if $\phi$ is not co-homologous to a constant.


title: Null-free False Discovery Rate Control Using Decoy Permutations

abstract: The traditional approaches to false discovery rate (FDR) control in multiple hypothesis testing are usually based on the null distribution of a test statistic. However, all types of null distributions, including the theoretical, permutation-based and empirical ones, have some inherent drawbacks. For example, the theoretical null might fail because of improper assumptions on the sample distribution. Here, we propose a null distribution-free approach to FDR control for multiple hypothesis testing. This approach, named target-decoy procedure, simply builds on the ordering of tests by some statistic or score, the null distribution of which is not required to be known. Competitive decoy tests are constructed from permutations of original samples and are used to estimate the false target discoveries. We prove that this approach controls the FDR when the statistics are independent between different tests. Simulation demonstrates that it is more stable and powerful than two existing popular approaches. Evaluation is also made on a real dataset.


title: A numerical mode matching method for wave scattering in a layered medium with a stratified inhomogeneity

abstract: Numerical mode matching (NMM) methods are widely used for analyzing wave propagation and scattering in structures that are piece-wise uniform along one spatial direction. For open structures that are unbounded in transverse directions (perpendicular to the uniform direction), the NMM methods use the perfectly matched layer (PML) technique to truncate the transverse variables. When incident waves are specified in homogeneous media surrounding the main structure, the total field is not always outgoing, and the NMM methods rely on reference solutions for each uniform segment. Existing NMM methods have difficulty handing gracing incident waves and special incident waves related to the onset of total internal reflection, and are not very efficient at computing reference solutions for non-plane incident waves. In this paper, a new NMM method is developed to overcome these limitations. A Robin-type boundary condition is proposed to ensure that non-propagating and non-decaying wave field components are not reflected by truncated PMLs. Exponential convergence of the PML solutions based on the hybrid Dirichlet-Robin boundary condition is established theoretically. A fast method is developed for computing reference solutions for cylindrical incident waves. The new NMM is implemented for two-dimensional structures and polarized electromagnetic waves. Numerical experiments are carried out to validate the new NMM method and to demonstrate its performance.


title: First-principles study on superconductivity of P- and Cl-doped H$_3$S

abstract: The recent reports on 203 K superconductivity in compressed hydrogen sulfide, H$_3$S, has attracted great interest in sulfur-hydrogen system under high pressure. Here, we investigated the superconductivity of P-doped and Cl-doped H$_3$S using the first-principles calculations based on the supercell method, which gives more reliable results on the superconductivity in doped systems than the calculations based on the virtual crystal approximation reported earlier. The superconducting critical temperature is increased from 189 to 212 K at 200 GPa in a cubic $Im\bar{3}m$ phase by the 6.25 % P doping, whereas it is decreased to 161 K by the 6.25 % Cl doping. Although the Cl doping weakens the superconductivity, it causes the $Im\bar{3}m$ phase to be stabilized in a lower pressure region than that in the non-doped H$_3$S.


title: Spectral shape analysis for electron antineutrino oscillation study by using $^{8}$Li generator with $^{252}$Cf source

abstract: Existence of hypothetical fourth neutrino, so-called sterile neutrino, is one of open issues in the particle and neutrino physics. This fourth neutrino is a candidate for explaining some anomalies reported in LSND, MiniBoone, reactor experiments, and gallium experiments. To search for the existence of the sterile neutrino, we report detailed analysis of a feasible experiment for short baseline electron antineutrino (${\bar{\nu}}_{e}$) disappearance study, in which a ${\bar{\nu}}_{e}$ source from $^{8}$Li generator is considered under non-accelerator system. For $^{8}$Li production, we suggest to use $^{252}$Cf source as an intense neutron emitter, by which one can produce $^{8}$Li isotope through $^{7}$Li(n,$\gamma$)$^{8}$Li reaction, effectively. Using the $^{8}$Li generator, one does not need any accelerator or reactor facilities because the generator can be placed on any present and/or planned neutrino detectors as closely as possible. For the effect of the possible sterile neutrinos, we estimate expected neutrino flux and event rates from the neutrino source scheme, and show neutrino disappearance features and possible reaction rate changes by the sterile neutrino using the spectral shape analysis.


title: Uncover Topology by Quantum Quench Dynamics

abstract: Topological quantum states are characterized by nonlocal invariants, and their detection is intrinsically challenging. Various strategies have been developed to study topological Hamiltonians through their equilibrium states. We present a fundamentally new, high-precision dynamical approach, revealing topology through the unitary evolution after a quench from a topological trivial initial state with a two-dimensional Chern band realized in an ultracold $^{87}$Rb atom gas. The emerging ring structure in the spin dynamics uniquely determines the Chern number for the post-quench band and enables probing the full phase diagram of the band topology with high precision. Besides, we also measure the topological band gap and the domain wall structure dynamically formed in the momentum space during the long-term evolution. Our dynamical approach provides a way towards observing a universal bulk-ring correspondence, and has broad applications in exploring topological quantum matter.


title: A quantum walk assisted approximate algorithm for bounded NP optimisation problems

abstract: This paper describes an application of the Quantum Approximate Optimisation Algorithm (QAOA) to efficiently find approximate solutions for computational problems contained in the polynomially bounded NP optimisation complexity class (NPO PB). We consider a generalisation of the QAOA state evolution to alternating quantum walks and solution-quality-dependent phase shifts, and use the quantum walks to integrate the problem constraints of NPO problems. We apply the recent concept of a hybrid quantum-classical variational scheme to attempt finding the highest expectation value, which contains a high-quality solution. The algorithm is applied to the problem of minimum vertex cover, showing promising results using only a fixed and low number of optimisation parameters.


title: Parsing Tweets into Universal Dependencies

abstract: We study the problem of analyzing tweets with Universal Dependencies. We extend the UD guidelines to cover special constructions in tweets that affect tokenization, part-of-speech tagging, and labeled dependencies. Using the extended guidelines, we create a new tweet treebank for English (Tweebank v2) that is four times larger than the (unlabeled) Tweebank v1 introduced by Kong et al. (2014). We characterize the disagreements between our annotators and show that it is challenging to deliver consistent annotation due to ambiguity in understanding and explaining tweets. Nonetheless, using the new treebank, we build a pipeline system to parse raw tweets into UD. To overcome annotation noise without sacrificing computational efficiency, we propose a new method to distill an ensemble of 20 transition-based parsers into a single one. Our parser achieves an improvement of 2.2 in LAS over the un-ensembled baseline and outperforms parsers that are state-of-the-art on other treebanks in both accuracy and speed.


title: Task Planning in Robotics: an Empirical Comparison of PDDL-based and ASP-based Systems

abstract: Robots need task planning algorithms to sequence actions toward accomplishing goals that are impossible through individual actions. Off-the-shelf task planners can be used by intelligent robotics practitioners to solve a variety of planning problems. However, many different planners exist, each with different strengths and weaknesses, and there are no general rules for which planner would be best to apply to a given problem. In this article, we empirically compare the performance of state-of-the-art planners that use either the Planning Domain Description Language (PDDL), or Answer Set Programming (ASP) as the underlying action language. PDDL is designed for task planning, and PDDL-based planners are widely used for a variety of planning problems. ASP is designed for knowledge-intensive reasoning, but can also be used for solving task planning problems. Given domain encodings that are as similar as possible, we find that PDDL-based planners perform better on problems with longer solutions, and ASP-based planners are better on tasks with a large number of objects or in which complex reasoning is required to reason about action preconditions and effects. The resulting analysis can inform selection among general purpose planning systems for particular robot task planning domains.


title: Adapting Blockchain Technology for Scientific Computing

abstract: Blockchain stores information into a chain of "blocks", whose integrity is usually guaranteed by Proof of Work (PoW). In many blockchain applications (including cryptocurrencies), users compete with each other to win the ownership of the blocks, a process commonly referred as "mining". Mining activities consume huge amount of power, while the outcome appears to be useless besides validating a block. Here we discuss the requirements of designing a new PoW algorithm. We also propose a PoW scheme to help solve high-dimension, non-linear optimization problems. Simulation experiments of blockchains generated by three miners solved an instance of Traveling Salesman Problem (TSP), a well-known NP-hard problem. The revised scheme enables us to address difficult scientific questions as a byproduct of mining.


title: Non-neurotoxic Nanodiamond Probes for Intraneuronal Temperature Mapping

abstract: Optical bio-markers have been used extensively for intracellular imaging with high spatial and temporal resolution. Extending the modality of these probes is a key driver in cell biology. In recent years, the NV centre in nanodiamond has emerged as a promising candidate for bio-imaging and bio-sensing with low cytotoxicity and stable photoluminescence. Here we study the electrophysiological effects of this quantum probe in primary cortical neurons. Multi-electrode array (MEA) recordings across five replicate studies showed no statistically significant difference in 25 network parameters when nanodiamonds are added at varying concentrations over various time periods 12-36 hr. The physiological validation motivates the second part of the study which demonstrates how the quantum properties of these biomarkers can be used to report intracellular information beyond their location and movement. Using the optically detected magnetic resonance from the nitrogen vacancy defects within the nanodiamonds we demonstrate enhanced signal-to-noise imaging and temperature mapping from thousands of nanodiamond probes simultaneously. This work establishes nanodiamonds as viable multi-functional intraneuronal sensors with nanoscale resolution, that may ultimately be used to detect magnetic and electrical activity at the membrane level in excitable cellular systems.


title: Effective Pila--Wilkie bounds for unrestricted Pfaffian surfaces

abstract: We prove effective Pila--Wilkie estimates for the number of rational points of bounded height lying on certain surfaces defined by Pfaffian functions. The class of surfaces to which our result applies includes, for instance, graphs of unrestricted Pfaffian functions defined on the plane.


title: N-fold Superposition: Improving Neural Networks by Reducing the Noise in Feature Maps

abstract: Considering the use of Fully Connected (FC) layer limits the performance of Convolutional Neural Networks (CNNs), this paper develops a method to improve the coupling between the convolution layer and the FC layer by reducing the noise in Feature Maps (FMs). Our approach is divided into three steps. Firstly, we separate all the FMs into n blocks equally. Then, the weighted summation of FMs at the same position in all blocks constitutes a new block of FMs. Finally, we replicate this new block into n copies and concatenate them as the input to the FC layer. This sharing of FMs could reduce the noise in them apparently and avert the impact by a particular FM on the specific part weight of hidden layers, hence preventing the network from overfitting to some extent. Using the Fermat Lemma, we prove that this method could make the global minima value range of the loss function wider, by which makes it easier for neural networks to converge and accelerates the convergence process. This method does not significantly increase the amounts of network parameters (only a few more coefficients added), and the experiments demonstrate that this method could increase the convergence speed and improve the classification performance of neural networks.


title: PeRView: A Framework for Personalized Review Selection Using Micro-Reviews

abstract: In the contemporary era, social media has its influence on people in making decisions. The proliferation of online reviews with diversified and verbose content often causes problems inaccurate decision making. Since online reviews have an impact on people of all walks of life while taking decisions, choosing appropriate reviews based on the podsolization consisting is very important since it relies on using such micro-reviews consistency to evaluate the review set section. Micro-reviews are very concise and directly talk about product or service instead of having unnecessary verbose content. Thus, micro-reviews can help in choosing reviews based on their personalized consistency that is related to directly or indirectly to the main profile of the reviews. Personalized reviews selection that is highly relevant with high personalized coverage in terms of matching with micro-reviews is the main problem that is considered in this paper. Furthermore, personalization with user preferences while making review selection is also considered based on the personalized users' profile. Towards this end, we proposed a framework known as PeRView for personalized review selection using micro-reviews based on the proposed evaluation metric approach which considering two main factors (personalized matching score and subset size). Personalized Review Selection Algorithm (PRSA) is proposed which makes use of multiple similarity measures merged to have highly efficient personalized reviews matching function for selection. The experimental results based on using reviews dataset which is collected from YELP.COM while micro-reviews dataset is obtained from Foursqure.COM. show that the personalized reviews selection is a very empirical case of study.


title: A short note on the divisibility of class numbers of real quadratic fields

abstract: For any integer $l\geq 1$, let $p_1, p_2, \ldots, p_{l+2}$ be distinct prime numbers $\geq 5.$ For all real numbers $X>1,$ we let $N_{3,l}(X)$ denote the number of real quadratic fields $K$ whose absolute discriminant $d_K\leq X$ and $d_K$ is divisible by $(p_1\ldots p_{l+2})$ together with the class number $h_K$ of $K$ divisible by $2^{l}\cdot 3.$ Then, in this short note, by following the method in \cite{Byeonkoh}, we prove that $N_{3,l}(X) \gg X^\frac{7}{8}$ for all large enough $X$'s.


title: How Bad is the Freedom to Flood-It?

abstract: Fixed-Flood-It and Free-Flood-It are combinatorial problems on graphs that generalize a very popular puzzle called Flood-It. Both problems consist of recoloring moves whose goal is to produce a monochromatic ("flooded") graph as quickly as possible. Their difference is that in Free-Flood-It the player has the additional freedom of choosing the vertex to play in each move. In this paper, we investigate how this freedom affects the complexity of the problem. It turns out that the freedom is bad in some sense. We show that some cases trivially solvable for Fixed-Flood-It become intractable for Free-Flood-It. We also show that some tractable cases for Fixed-Flood-It are still tractable for Free-Flood-It but need considerably more involved arguments. We finally present some combinatorial properties connecting or separating the two problems. In particular, we show that the length of an optimal solution for Fixed-Flood-It is always at most twice that of Free-Flood-It, and this is tight.


title: Generalized comparison trees for point-location problems

abstract: Let $H$ be an arbitrary family of hyper-planes in $d$-dimensions. We show that the point-location problem for $H$ can be solved by a linear decision tree that only uses a special type of queries called \emph{generalized comparison queries}. These queries correspond to hyperplanes that can be written as a linear combination of two hyperplanes from $H$; in particular, if all hyperplanes in $H$ are $k$-sparse then generalized comparisons are $2k$-sparse. The depth of the obtained linear decision tree is polynomial in $d$ and logarithmic in $|H|$, which is comparable to previous results in the literature that use general linear queries. This extends the study of comparison trees from a previous work by the authors [Kane {et al.}, FOCS 2017]. The main benefit is that using generalized comparison queries allows to overcome limitations that apply for the more restricted type of comparison queries. Our analysis combines a seminal result of Forster regarding sets in isotropic position [Forster, JCSS 2002], the margin-based inference dimension analysis for comparison queries from [Kane {et al.}, FOCS 2017], and compactness arguments.


title: Local near-Beltrami structure and depletion of the nonlinearity in the 3D Navier-Stokes flows

abstract: Computational simulations of turbulent flows indicate that the regions of low dissipation/enstrophy production feature high degree of local alignment between the velocity and the vorticty, i.e., the flow is locally near-Beltrami. Hence one could envision a geometric scenario in which the persistence of the local near-Beltramy property might be consistent with a (possible) finite-time singularity formation. The goal of this note is to show that this scenario is in fact prohibited if the sine of the angle between the velocity and the vorticty is small enough with respect to the local enstrophy.


title: On feebly compact semitopological semilattice $\exp_n\lambda$

abstract: We study feebly compact shift-continous topologies on the semilattice $\left(\exp_n\lambda,\cap\right)$. It is proved that such $T_1$-topology is sequentially pracompact if and only if it is $\mathfrak{D}(\omega)$-compact.


title: Single-pole Nature of the Detectable Lambda(1405)

abstract: We have investigated the single-pole nature of the detectable Lambda(1405) in detail, by employing a chiral model having double poles of a KbarN-piSigma coupled channel T-matrix. The effects of the 1st pole and the 2nd pole on the observed piSigma mass spectrum in the Lambda(1405) region were analyzed separately by means of the Generalized Optical Potential. It is concluded that the 1st pole is responsible for both peak structures seen in the T(piSigma leftarrow KbarN)(T(21)) and T(piSigma leftarrow piSigma)(T(22)) invariant-mass spectra, and the 2nd pole due to an energy-dependent chiral interaction provides continuum amplitudes affecting the shape of peak structures in experimentally observable spectrum of the Lambda(1405).


title: On p-parts of Brauer character degrees and p-regular conjugacy class sizes

abstract: Let $G$ be a finite group, $p$ a prime, and $IBr_p(G)$ the set of irreducible $p$-Brauer characters of $G$. Let $\bar e_p(G)$ be the largest integer such that $p^{\bar e_p(G)}$ divides $\chi(1)$ for some $\chi \in IBr_p(G)$. We show that $|G:O_p(G)|_p \leq p^{k \bar e_p(G)}$ for an explicitly given constant $k$. We also study the analogous problem for the $p$-parts of the conjugacy class sizes of $p$-regular elements of finite groups.


title: Simple current extensions of tensor products of vertex operator algebras

abstract: We study simple current extensions of tensor products of two vertex operator algebras satisfying certain conditions. We establish the relationship between the fusion rule for the simple current extension and the fusion rule for a tensor factor. In a special case, we construct a chain of simple current extensions. We discuss certain irreducible twisted modules for the simple current extension as well.


title: Constructing Locally Dense Point Clouds Using OpenSfM and ORB-SLAM2

abstract: This paper aims at finding a method to register two different point clouds constructed by ORB-SLAM2 and OpenSfM. To do this, we post some tags with unique textures in the scene and take videos and photos of that area. Then we take short videos of only the tags to extract their features. By matching the ORB feature of the tags with their corresponding features in the scene, it is then possible to localize the position of these tags both in point clouds constructed by ORB-SLAM2 and OpenSfM. Thus, the best transformation matrix between two point clouds can be calculated, and the two point clouds can be aligned.


title: Calculation of atomic spectra and transition amplitudes for superheavy element Db (Z=105)

abstract: Atomic spectra and other properties of superheavy element dubnium (Db, Z=105) are calculated using recently developed method combining configuration interaction with perturbation theory (the CIPT method, Dzuba et al, Phys. Rev. A, {\bf 95}, 012503 (2017)). These include energy levels for low-lying states of Db and Db~II, electric dipole transition amplitudes from the ground state of Db, isotope shift for these transitions and ionisation potential of Db. Similar calculations for Ta, which is lighter analog of Db, are performed to control the accuracy of the calculations.


title: Chemical survey toward young stellar objects in the Perseus molecular cloud complex

abstract: Chemical diversity of the gas in low-mass protostellar cores is widely recognized. In order to explore its origin, a survey of chemical composition toward 36 Class 0/I protostars in the Perseus molecular cloud complex, which are selected in an unbiased way under certain physical conditions, has been conducted with IRAM 30 m and NRO 45 m telescope. Multiple lines of C2H, c-C3H2 and CH3OH have been observed to characterize the chemical composition averaged over a 1000 au scale around the protostar. The derived beam-averaged column densities show significant chemical diversity among the sources, where the column density ratios of C2H/CH3OH are spread out by 2 orders of magnitude. From previous studies, the hot corino sources have abundant CH3OH but deficient C2H, their C2H/CH3OH column density ratios being relatively low. In contrast, the warm-carbon-chain chemistry (WCCC) sources are found to reveal the high C2H/CH3OH column density ratios. We find that the majority of the sources have intermediate characters between these two distinct chemistry types. A possible trend is seen between the C2H/CH3OH ratio and the distance of the source from the edge of a molecular cloud. The sources located near cloud edges or in isolated clouds tend to have a high C2H/CH3OH ratio. On the other hand, the sources having a low C2H/CH3OH ratio tend to be located in inner regions of the molecular cloud complex. This result gives an important clue to an understanding of the origin of the chemical diversity of protostellar cores in terms of environmental effects.


title: Time-Dependent Complete-Active-Space Self-Consistent-Field Method for Ultrafast Intense Laser Science

abstract: We present the time-dependent complete-active-space self-consistent-field (TD-CASSCF) method to simulate multielectron dynamics in ultrafast intense laser fields from the first principles. While based on multiconfiguration expansion, it divides the orbital space into frozen-core (tightly bound electrons with no response to the field), dynamical-core (electrons tightly bound but responding to the field), and active (fully correlated to describe highly excited and ejected electrons) orbital subspaces. The subspace decomposition can be done flexibly, conforming to phenomena under investigation and desired accuracy. The method is gauge invariant and size extensive. Infinite-range exterior complex scaling in addition to mask-function boundary is adopted as an efficient absorbing boundary. We show numerical examples and illustrate how to extract relevant physical quantities such as ionization yield, high-harmonic spectrum, and photoelectron spectrum from our full-dimensional implementation for atoms. The TD-CASSCF method will open a way to the ab initio simulation study of ultrafast intense laser science in realistic atoms and molecules.


title: The experimental realization of high-fidelity `shortcut-to-adiabaticity' quantum gates in a superconducting Xmon qubit

abstract: Based on a `shortcut-to-adiabaticity' (STA) scheme, we theoretically design and experimentally realize a set of high-fidelity single-qubit quantum gates in a superconducting Xmon qubit system. Through a precise microwave control, the qubit is driven to follow a fast `adiabatic' trajectory with the assistance of a counter-diabatic field and the correction of derivative removal by adiabatic gates. The experimental measurements of quantum process tomography and interleaved randomized benchmarking show that the process fidelities of our STA quantum gates are higher than 94.9% and the gate fidelities are higher than 99.8%, very close to the state-of-art gate fidelity of 99.9%. An alternate of high-fidelity quantum gates is successfully achieved under the STA protocol.


title: Simultaneous approximation by Bernstein polynomials with integer coefficients

abstract: We prove that several forms of the Bernstein polynomials with integer coefficients possess the property of simultaneous approximation, that is, they approximate not only the function but also its derivatives. We establish direct estimates of the error of that approximation in uniform norm by means of moduli of smoothness. Moreover, we show that the sufficient conditions under which those estimates hold are also necessary.


title: Improving the absolute accuracy of the gravitational wave detectors by combining the photon pressure and gravity field calibrators

abstract: The absolute accuracy of the estimated parameters of gravitational wave sources will be fundamentally limited by the calibration uncertainties of the detectors in upcoming observation runs with the increased number of source statistics. Photon calibrators have so far been the primary tools for absolute calibration of test-mass displacement, relying on measurement of the photon pressure. The current technological limit of the absolute calibration uncertainty for gravitational-wave amplitudes is limited to a few percent, due to the uncertainty in the laser power-standard maintained by the metrology institutes. To reduce this uncertainty, this article proposes a novel calibration method that combines a photon calibrator and a gravity field calibrator. The gravity field calibrator achieves modulation of the displacement of the test mass by generating a gravity gradient. In previous studies, uncertainty in the distance between the test mass and the gravity field calibrator has proven a serious source of systematic error. To suppress this uncertainty, we propose a novel method that uses a combination of quadrupole and hexapole mass distributions in the gravity field calibrator. We estimate the absolute uncertainty associated with method to be as low as 0.17~%, which is ten times less than that of previous methods.


title: Fluctuation-response inequality out of equilibrium

abstract: We present a new approach to response around arbitrary out-of-equilibrium states in the form of a fluctuation-response inequality (FRI). We study the response of an observable to a perturbation of the underlying stochastic dynamics. We find that magnitude of the response is bounded from above by the fluctuations of the observable in the unperturbed system and the Kullback-Leibler divergence between the probability densities describing the perturbed and unperturbed system. This establishes a connection between linear response and concepts of information theory. We show that in many physical situations, the relative entropy may be expressed in terms of physical observables. As a direct consequence of this FRI, we show that for steady state particle transport, the differential mobility is bounded by the diffusivity. For a virtual perturbation proportional to the local mean velocity, we recover the thermodynamic uncertainty relation (TUR) for steady state transport processes. Finally, we use the FRI to derive a generalization of the uncertainty relation to arbitrary dynamics, which involves higher-order cumulants of the observable. We provide an explicit example, in which the TUR is violated but its generalization is satisfied with equality.


title: Dynamics and Density Correlations in Matter Wave Jet Emission of a Driven Condensate

abstract: Emission of matter wave jets has been recently observed in a Bose-Einstein condensate confined by a cylindrical box potential, induced by a periodically modulated inter-particle interaction (Nature {\bf 551}, 356 (2017)). In this paper we apply the time-dependent Bogoliubov theory to study the quantum dynamics and the correlation effects observed in this highly non-equilibrium phenomenon. Without any fitting parameter, our theoretical calculations on the number of ejected atoms and the angular density correlations are in excellent quantitative agreement with the experimental measurements. The exponential growth in time of the ejected atoms can be understood in terms of a dynamical instability associated with the modulation of the interaction. We interpret the angular density correlation of the jets as the Hanbury-Brown-Twiss effect between the excited quasi-particles with different angular momenta, and our theory explains the puzzling observation of the asymmetric density correlations between the jets with the same and opposite momenta. Our theory can also identify the main factors that control the height and width of the peaks in the density correlation function, which can be directly verified in future experiments.


title: Constructing Permutation Arrays using Partition and Extension

abstract: We give new lower bounds for $M(n,d)$, for various positive integers $n$ and $d$ with $n>d$, where $M(n,d)$ is the largest number of permutations on $n$ symbols with pairwise Hamming distance at least $d$. Large sets of permutations on $n$ symbols with pairwise Hamming distance $d$ is a necessary component of constructing error correcting permutation codes, which have been proposed for power-line communications. Our technique, {\em partition and extension}, is universally applicable to constructing such sets for all $n$ and all $d$, $d<n$. We describe three new techniques, {\em sequential partition and extension}, {\em parallel partition and extension}, and a {\em modified Kronecker product operation}, which extend the applicability of partition and extension in different ways. We describe how partition and extension gives improved lower bounds for M(n,n-1) using mutually orthogonal Latin squares (MOLS). We present efficient algorithms for computing new partitions: an iterative greedy algorithm and an algorithm based on integer linear programming. These algorithms yield partitions of positions (or symbols) used as input to our partition and extension techniques. We report many new lower bounds for for $M(n,d)$ found using these techniques for $n$ up to $600$.


title: The Finite Temperature Structure of the MAPbI3 Perovskite: Comparing Density Functional Approximations and Force Fields to Experiment

abstract: Determining the finite temperature structure of the hybrid perovskite MAPbI3 is a challenge for both experimental and theoretical methods. A very powerful computational method that can resolve the atomic structure is molecular dynamics (MD). The resulting structure depends on the density functional approximation (DFA) in the case of ab initio MD and the force field in classical MD. We compare the structure between 250K and 400K obtained with different DFAs and force fields in one consistent manner. The symmetry of the PbI3 framework is analyzed as well as the relative ordering of the neighboring organic molecules inside the framework. The distribution function of the molecules is used to map out an effective energy surface for the rotation of a single molecule. This surface is accurately modeled by a pair of cubic harmonics. Available experimental data in literature are discussed and compared to the structure obtained with the different methods. The spread in these data is still too large to uniquely determine the method that 'best' describes the perovskite, however promising candidates and outliers have been identified.


title: Memory Attention Networks for Skeleton-based Action Recognition

abstract: Skeleton-based action recognition task is entangled with complex spatio-temporal variations of skeleton joints, and remains challenging for Recurrent Neural Networks (RNNs). In this work, we propose a temporal-then-spatial recalibration scheme to alleviate such complex variations, resulting in an end-to-end Memory Attention Networks (MANs) which consist of a Temporal Attention Recalibration Module (TARM) and a Spatio-Temporal Convolution Module (STCM). Specifically, the TARM is deployed in a residual learning module that employs a novel attention learning network to recalibrate the temporal attention of frames in a skeleton sequence. The STCM treats the attention calibrated skeleton joint sequences as images and leverages the Convolution Neural Networks (CNNs) to further model the spatial and temporal information of skeleton data. These two modules (TARM and STCM) seamlessly form a single network architecture that can be trained in an end-to-end fashion. MANs significantly boost the performance of skeleton-based action recognition and achieve the best results on four challenging benchmark datasets: NTU RGB+D, HDM05, SYSU-3D and UT-Kinect.


title: The solar-like "Second Spectrum" and the polarised metal lines in emission of the post-AGB binary 89 Herculis

abstract: We studied the polarised spectrum of the post-AGB binary system 89\,Herculis on the basis of data collected with the high resolution \emph{Catania Astrophysical Observatory Spectropolarimeter}, \emph{HArps-North POlarimeter} and \emph{Echelle SpectroPolarimetric Device for the Observation of Stars}. We find the existence of linear polarisation in the strongest metal lines in absorption and with low excitation potentials. Signals are characterized by complex Q and U morphologies varying with the orbital period. As possible origin of this "Second Solar Spectrum"-like behaviour, we rule out magnetic fields, continuum depolarisation due pulsations and hot spots. { The linear polarisation we detected also in the Ca{\sc ii}\,8662\AA\, line is a clear evidence of optical pumping polarisation and it rules out the scattering polarisation from free electrons of the circumbinary environment.} In the framework of optical pumping due to the secondary star, the observed periodic properties of the spectral line polarisation can be justied by two jets, flow velocity of few tens of km\,s$^{-1}$, at the basis of that hour-glass structure characterising 89\,Herculis. We also discovered linear polarisation across the emission profile of metal lines. Numerical simulations show that these polarised profiles could be formed in an undisrupted circumbinary disk rotating at $\le$10 km\,s$^{-1}$ and whose orientation in the sky is in agreement with optical and radio interferometric results. We conclude that the study of those aspherical enevlopes, whose origin is not yet completely understood, of PNe and already present in the post-AGB's, can benefit of high resolution spectropolarimetry and that this technique can shape envelopes still too far for interferometry.


title: Progressive refinement: a method of coarse-to-fine image parsing using stacked network

abstract: To parse images into fine-grained semantic parts, the complex fine-grained elements will put it in trouble when using off-the-shelf semantic segmentation networks. In this paper, for image parsing task, we propose to parse images from coarse to fine with progressively refined semantic classes. It is achieved by stacking the segmentation layers in a segmentation network several times. The former segmentation module parses images at a coarser-grained level, and the result will be feed to the following one to provide effective contextual clues for the finer-grained parsing. To recover the details of small structures, we add skip connections from shallow layers of the network to fine-grained parsing modules. As for the network training, we merge classes in groundtruth to get coarse-to-fine label maps, and train the stacked network with these hierarchical supervision end-to-end. Our coarse-to-fine stacked framework can be injected into many advanced neural networks to improve the parsing results. Extensive evaluations on several public datasets including face parsing and human parsing well demonstrate the superiority of our method.


title: Nonequilibrium steady states of electric-field driven Mott insulators

abstract: We present a systematic study of the nonequilibrium steady states (NESS) in Mott insulators driven by DC or AC electric fields, based on the Floquet dynamical mean-field theory. The results are analyzed using a generalized tunneling formula for the current, which is reminiscent of the Meir-Wingreen formula and provides insights into the relevant physical processes. In the DC case, the spectrum of the NESSs exhibits Wannier-Stark (WS) states associated with the lower and upper Hubbard bands. In addition, there emerge WS sidebands from many-body states. Using the tunneling formula, we demonstrate that the tunneling between these WS states leads to peaks or humps in the induced DC current. In the AC case, we cover a wide parameter range of excitation frequencies and field strengths to clarify the crossover from field-induced tunneling behavior in the DC limit to nonequilibrium states dominated by multiphoton absorption in the AC limit. In the crossover regime, the single-particle spectrum is characterized by a coexistence of Floquet sidebands and WS peaks, and the current and double occupation exhibits a nontrivial dependence on the field strength. The tunneling formula works quantitatively well even in the AC case, and we use it to discuss the potential cooperation of tunneling and multi-photon processes in the crossover regime. The tunneling formula and its simplified versions also provide physical insights into the high-harmonic generation in Mott insulators.


title: On the Relationship Between Ehrhart Unimodality and Ehrhart Positivity

abstract: For a given lattice polytope, two fundamental problems within the field of Ehrhart theory are to (1) determine if its (Ehrhart) $h^\ast$-polynomial is unimodal and (2) to determine if its Ehrhart polynomial has only positive coefficients. The former property of a lattice polytope is known as Ehrhart unimodality and the latter property is known as Ehrhart positivity. These two properties are often simultaneously conjectured to hold for interesting families of lattice polytopes, yet they are typically studied in parallel. As to answer a question posed at the 2017 Introductory Workshop to the MSRI Semester on Geometric and Topological Combinatorics, the purpose of this note is to show that there is no general implication between these two properties in any dimension greater than two. To do so, we investigate these two properties for families of well-studied lattice polytopes, assessing one property where previously only the other had been considered. Consequently, new examples of each phenomena are developed, some of which provide an answer to an open problem in the literature. The well-studied families of lattice polytopes considered include zonotopes, matroid polytopes, simplices of weighted projective spaces, empty lattice simplices, smooth polytopes, and $s$-lecture hall simplices.


title: Recovered finite element methods on polygonal and polyhedral meshes

abstract: Recovered finite element methods (R-FEM) have been recently introduced for meshes consisting of simplicial and/or box-type meshes. Here, utilising the flexibility of R-FEM framework, we extend their definition on polygonal and polyhedral meshes in two and three spatial dimensions, respectively. A key attractive feature of this framework is its ability to produce conforming discretizations, yet involving only as many degrees of freedom as discontinuous Galerkin methods over general polygonal/polyhedral meshes with potentially many faces per element. A priori error bounds are shown for general linear, possibly degenerate, second order advection-diffusion-reaction boundary value problems. A series of numerical experiments highlights the good practical performance of the proposed numerical framework.


title: Measurement of mechanical deformations induced by enhanced electromagnetic stress on a parallel metallic-plate system

abstract: We measured the electromagnetic stress-induced local strain distribution on a centimeter-sized parallel-plate metallic resonant unit illuminated with microwave. Using a fiber interferometer, we found that the strain changes sign across the resonant unit, in agreement with theoretical predictions that the attractive electric and repulsive magnetic forces act at different locations. The enhancement of the corresponding maximum local electromagnetic stress is stronger than the enhancement of the net force, reaching a factor of >600 compared to the ordinary radiation pressure.


title: Clinical Assistant Diagnosis for Electronic Medical Record Based on Convolutional Neural Network

abstract: Automatically extracting useful information from electronic medical records along with conducting disease diagnoses is a promising task for both clinical decision support(CDS) and neural language processing(NLP). Most of the existing systems are based on artificially constructed knowledge bases, and then auxiliary diagnosis is done by rule matching. In this study, we present a clinical intelligent decision approach based on Convolutional Neural Networks(CNN), which can automatically extract high-level semantic information of electronic medical records and then perform automatic diagnosis without artificial construction of rules or knowledge bases. We use collected 18,590 copies of the real-world clinical electronic medical records to train and test the proposed model. Experimental results show that the proposed model can achieve 98.67\% accuracy and 96.02\% recall, which strongly supports that using convolutional neural network to automatically learn high-level semantic features of electronic medical records and then conduct assist diagnosis is feasible and effective.


title: On the Diachronic Stability of Irregularity in Inflectional Morphology

abstract: Many languages' inflectional morphological systems are replete with irregulars, i.e., words that do not seem to follow standard inflectional rules. In this work, we quantitatively investigate the conditions under which irregulars can survive in a language over the course of time. Using recurrent neural networks to simulate language learners, we test the diachronic relation between frequency of words and their irregularity.


title: Spectral characterization of the complete graph removing a path of small length

abstract: A graph $G$ is said to be \emph{determined by its spectrum} if any graph having the same spectrum as $G$ is isomorphic to $G$. Let $K_n \setminus P_{\ell}$ be the graph obtained from $K_n$ by removing edges of $P_\ell$, where $P_\ell$ is a path of length $\ell-1$ which is a subgraph of a complete graph $K_n$. C\'{a}mara and Haemers~\cite{MC} conjectured that $K_n \backslash P_{\ell}$ is determined by its adjacency spectrum for every $2\leq \ell \leq n$. In this paper we show that the conjecture is true for $7\leq \ell \leq9$.