title: Geometric Sample Reweighting for Monte Carlo Integration

abstract: We present a general sample reweighting scheme and its underlying theory for the integration of an unknown function with low dimensionality. Our method produces better results than standard weighting schemes for common sampling strategies, while avoiding bias. Our main insight is to link the weight derivation to the function reconstruction process during integration. The implementation of our solution is simple and results in an improved convergence behavior. We illustrate its benefit by applying our method to multiple Monte Carlo rendering problems.


title: Coupling constants calculation of charmed meson with kaon from QCD sum rules

abstract: In this research, the strong coupling constants of the $D^*D_s^*K$, $D_1D_{s1}K$, $D^*D_sK$ and $D_1D_{s0}^*K$ vertices are evaluated, using the three-point QCD sum rules. In order to calculate the coupling constant of each vertex, either the kaon or the charmed meson is considered as the off-shell particle. The basic $g$ parameter, in the heavy quark effective theory, is related to the coupling constants of $D^*D_s^*K$ and $D^*D_sK$. Our obtained value for $g$ parameter is $0.24\pm 0.09$, which is in good agreement with the lower limits of the other existing predictions.


title: Dynamics of charged elastic bodies under diffusion at large strains

abstract: We present a model for the dynamics of elastic or poroelastic bodies with monopolar repulsive long-range (electrostatic) interactions at large strains. Our model respects (only) locally the non-self-interpenetration condition but can cope with possible global self-interpenetration, yielding thus a certain justification of most of engineering calculations which ignore these effects in the analysis of elastic structures. These models necessarily combine Lagrangian (material) description with Eulerian (actual) evolving configuration evolving in time. Dynamical problems are studied by adopting the concept of nonlocal nonsimple materials, applying the change of variables formula for Lipschitz-continuous mappings, and relying on the positivity of the determinant of the deformation gradient thanks to a result by Healey and Kroemer.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: Optimal Joins using Compact Data Structures

abstract: Worst-case optimal join algorithms have gained a lot of attention in the database literature. We now count with several algorithms that are optimal in the worst case, and many of them have been implemented and validated in practice. However, the implementation of these algorithms often requires an enhanced indexing structure: to achieve optimality we either need to build completely new indexes, or we must populate the database with several instantiations of indexes such as B$+$-trees. Either way, this means spending an extra amount of storage space that may be non-negligible. We show that optimal algorithms can be obtained directly from a representation that regards the relations as point sets in variable-dimensional grids, without the need of extra storage. Our representation is a compact quad tree for the static indexes, and a dynamic quadtree sharing subtrees (which we dub a qdag) for intermediate results. We develop a compositional algorithm to process full join queries under this representation, and show that the running time of this algorithm is worst-case optimal in data complexity. Remarkably, we can extend our framework to evaluate more expressive queries from relational algebra by introducing a lazy version of qdags (lqdags). Once again, we can show that the running time of our algorithms is worst-case optimal.


title: Epimorphisms, dominions and H-commutative semigroups

abstract: In the present paper, a series of results and examples that explore the structural features of H-commutative semigroups are provided. We also generalise a result of Isbell from commutative semigroups to H-commutative semigroups by showing that the dominion of an H-commutative semigroup is H-commutative. We then use this to generalise Howie and Isbell's result that any H-commutative semigroup satisfying the minimum condition on principal ideals is saturated.


title: Discontinuous Galerkin schemes for a class of Hamiltonian evolution equations with applications to plasma fluid and kinetic problems

abstract: In this paper we present energy-conserving, mixed discontinuous Galerkin (DG) and continuous Galerkin (CG) schemes for the solution of a broad class of physical systems described by Hamiltonian evolution equations. These systems often arise in fluid mechanics (incompressible Euler equations) and plasma physics (Vlasov--Poisson equations and gyrokinetic equations), for example. The dynamics is described by a distribution function that evolves given a Hamiltonian and a corresponding Poisson bracket operator, with the Hamiltonian itself computed from field equations. Hamiltonian systems have several conserved quantities, including the quadratic invariants of total energy and the $L_2$ norm of the distribution function. For accurate simulations one must ensure that these quadratic invariants are conserved by the discrete scheme. We show that using a discontinuous Galerkin scheme to evolve the distribution function and ensuring that the Hamiltonian lies in its continuous subspace leads to an energy-conserving scheme in the continuous-time limit. Further, the $L_2$ norm is conserved if central fluxes are used to update the distribution function, but decays monotonically when using upwind fluxes. The conservation of density and $L_2$ norm is then used to show that the entropy is a non-decreasing function of time. The proofs shown here apply to any Hamiltonian system, including ones in which the Poisson bracket operator is non-canonical (for example, the gyrokinetic equations). We demonstrate the ability of the scheme to solve the Vlasov--Poisson and incompressible Euler equations in 2D and provide references where we have applied these schemes to solve the much more complex 5D electrostatic and electromagnetic gyrokinetic equations.


title: Pars-ABSA: an Aspect-based Sentiment Analysis dataset for Persian

abstract: Due to the increased availability of online reviews, sentiment analysis had been witnessed a booming interest from the researchers. Sentiment analysis is a computational treatment of sentiment used to extract and understand the opinions of authors. While many systems were built to predict the sentiment of a document or a sentence, many others provide the necessary detail on various aspects of the entity (i.e. aspect-based sentiment analysis). Most of the available data resources were tailored to English and the other popular European languages. Although Persian is a language with more than 110 million speakers, to the best of our knowledge, there is a lack of public dataset on aspect-based sentiment analysis for Persian. This paper provides a manually annotated Persian dataset, Pars-ABSA, which is verified by 3 native Persian speakers. The dataset consists of 5,114 positive, 3,061 negative and 1,827 neutral data samples from 5,602 unique reviews. Moreover, as a baseline, this paper reports the performance of some state-of-the-art aspect-based sentiment analysis methods with a focus on deep learning, on Pars-ABSA. The obtained results are impressive compared to similar English state-of-the-art.


title: MacNet: Transferring Knowledge from Machine Comprehension to Sequence-to-Sequence Models

abstract: Machine Comprehension (MC) is one of the core problems in natural language processing, requiring both understanding of the natural language and knowledge about the world. Rapid progress has been made since the release of several benchmark datasets, and recently the state-of-the-art models even surpass human performance on the well-known SQuAD evaluation. In this paper, we transfer knowledge learned from machine comprehension to the sequence-to-sequence tasks to deepen the understanding of the text. We propose MacNet: a novel encoder-decoder supplementary architecture to the widely used attention-based sequence-to-sequence models. Experiments on neural machine translation (NMT) and abstractive text summarization show that our proposed framework can significantly improve the performance of the baseline models, and our method for the abstractive text summarization achieves the state-of-the-art results on the Gigaword dataset.


title: Sparsity Emerges Naturally in Neural Language Models

abstract: Concerns about interpretability, computational resources, and principled inductive priors have motivated efforts to engineer sparse neural models for NLP tasks. If sparsity is important for NLP, might well-trained neural models naturally become roughly sparse? Using the Taxi-Euclidean norm to measure sparsity, we find that frequent input words are associated with concentrated or sparse activations, while frequent target words are associated with dispersed activations but concentrated gradients. We find that gradients associated with function words are more concentrated than the gradients of content words, even controlling for word frequency.


title: Subradiant Dimer Excitations of Emitter Chains Coupled to a 1D Waveguide

abstract: This Letter shows that chains of optical or microwave emitters coupled to a 1D waveguide support subradiant states with close pairs of excited emitters, which have longer lifetimes than even the most subradiant states with only a single excitation. Exact, analytical expressions for non-radiative excitation dimer states are obtained in the limit of infinite chains. To understand the mechanism underlying these states, we present a formal equivalence between subradiant dimers and single localized excitations around a chain defect (unoccupied site). Our analytical mapping permits extension to emitter chains coupled to the 3D free space vacuum field.


title: An Unsupervised Character-Aware Neural Approach to Word and Context Representation Learning

abstract: In the last few years, neural networks have been intensively used to develop meaningful distributed representations of words and contexts around them. When these representations, also known as "embeddings", are learned from unsupervised large corpora, they can be transferred to different tasks with positive effects in terms of performances, especially when only a few supervisions are available. In this work, we further extend this concept, and we present an unsupervised neural architecture that jointly learns word and context embeddings, processing words as sequences of characters. This allows our model to spot the regularities that are due to the word morphology, and to avoid the need of a fixed-sized input vocabulary of words. We show that we can learn compact encoders that, despite the relatively small number of parameters, reach high-level performances in downstream tasks, comparing them with related state-of-the-art approaches or with fully supervised methods.


title: Semilocal exchange-correlation potentials for solid-state calculations: Current status and future directions

abstract: Kohn-Sham (KS) density functional theory (DFT) is a very efficient method for calculating various properties of solids as, for instance, the total energy, the electron density, or the electronic band structure. The KS-DFT method leads to rather fast calculations, however the accuracy depends crucially on the chosen approximation for the exchange and correlation (xc) functional $E_{\text{xc}}$ and/or potential $v_{\text{xc}}$. Here, an overview of xc methods to calculate the electronic band structure is given, with the focus on the so-called semilocal methods that are the fastest in KS-DFT and allow to treat systems containing up to thousands of atoms. Among them, there is the modified Becke-Johnson potential that is widely used to calculate the fundamental band gap of semiconductors and insulators. The accuracy for other properties like the magnetic moment or the electron density, that are also determined directly by $v_{\text{xc}}$, is also discussed.


title: Dialogue Act Classification in Group Chats with DAG-LSTMs

abstract: Dialogue act (DA) classification has been studied for the past two decades and has several key applications such as workflow automation and conversation analytics. Researchers have used, to address this problem, various traditional machine learning models, and more recently deep neural network models such as hierarchical convolutional neural networks (CNNs) and long short-term memory (LSTM) networks. In this paper, we introduce a new model architecture, directed-acyclic-graph LSTM (DAG-LSTM) for DA classification. A DAG-LSTM exploits the turn-taking structure naturally present in a multi-party conversation, and encodes this relation in its model structure. Using the STAC corpus, we show that the proposed method performs roughly 0.8% better in accuracy and 1.2% better in macro-F1 score when compared to existing methods. The proposed method is generic and not limited to conversation applications.


title: Blind Sparse Estimation of Intermittent Sources over Unknown Fading Channels

abstract: Radio frequency sources are observed at a fusion center via sensor measurements made over slow flat-fading channels. The number of sources may be larger than the number of sensors, but their activity is sparse and intermittent with bursty transmission patterns. To account for this, sources are modeled as hidden Markov models with known or unknown parameters. The problem of blind source estimation in the absence of channel state information is tackled via a novel algorithm, consisting of a dictionary learning (DL) stage and a per-source stochastic filtering (PSF) stage. The two stages work in tandem, with the latter operating on the output produced by the former. Both stages are designed so as to account for the sparsity and memory of the sources. To this end, smooth LASSO is integrated with DL, while the forward-backward algorithm and Expectation Maximization (EM) algorithm are leveraged for PSF. It is shown that the proposed algorithm can enhance the detection and the estimation performance of the sources, and that it is robust to the sparsity level.


title: Change-point detection in dynamic networks via graphon estimation

abstract: We propose a general approach for change-point detection in dynamic networks. The proposed method is model-free and covers a wide range of dynamic networks. The key idea behind our approach is to effectively utilize the network structure in designing change-point detection algorithms. This is done via an initial step of graphon estimation, where we propose a modified neighborhood smoothing~(MNBS) algorithm for estimating the link probability matrices of a dynamic network. Based on the initial graphon estimation, we then develop a screening and thresholding algorithm for multiple change-point detection in dynamic networks. The convergence rate and consistency for the change-point detection procedure are derived as well as those for MNBS. When the number of nodes is large~(e.g., exceeds the number of temporal points), our approach yields a faster convergence rate in detecting change-points comparing with an algorithm that simply employs averaged information of the dynamic network across time. Numerical experiments demonstrate robust performance of the proposed algorithm for change-point detection under various types of dynamic networks, and superior performance over existing methods is observed. A real data example is provided to illustrate the effectiveness and practical impact of the procedure.


title: Information measures for a local quantum phase transition: Lattice bosons in a one-dimensional harmonic trap

abstract: We study ground-state quantum entanglement in the one-dimensional Bose-Hubbard model in the presence of a harmonic trap. We focus on two transitions that occur upon increasing the characteristic particle density: the formation of a Mott-insulating domain with site occupation one at the center of the trap (lower transition) and the emergence of a superfluid domain at the center of the Mott-insulating one (upper transition). These transitions generate discontinuities in derivatives of the total energy and have been characterized by local (nonextensive) order parameters, so we refer to them as local quantum phase transitions. We show that a second derivative of the total energy is continuous with a kink at the lower transition, and that it is discontinuous at the upper transition. We also show that bipartite entanglement entropies are order parameters for those local quantum phase transitions. We use the density-matrix renormalization group and show that the transition points extracted from entanglement measures agree with the predictions of the local density approximation in the thermodynamic limit. We discuss how to determine the transition points from results in small systems, such as the ones realized in recent optical lattice experiments that measured the second-order Renyi entanglement entropy.


title: Geometry-assisted topological transitions in spin interferometry

abstract: We identify a series of topological transitions occurring in electronic spin transport when manipulating spin-guiding fields controlled by the geometric shape of mesoscopic interferometers. They manifest as distinct inversions of the interference pattern in quantum conductance experiments. We establish that Rashba square loops develop weak-(anti)localization transitions (absent in other geometries as Rashba ring loops) as an in-plane Zeeman field is applied. These transitions, boosted by non-adiabatic spin scattering, prove to have a topological interpretation in terms of winding numbers characterizing the structure of spin modes in the Bloch sphere.


title: Jenny 5 -- the robot

abstract: Jenny 5 is a fully open-source robot intended to be used mainly for research but can also act as a human assistant. It has a mobile platform with rubber tracks, a flexible leg, two arms with 7 degrees of freedom each and head with 2 degrees of freedom. The robot is actuated by 20 motors (DC, steppers and servos) and its state is read with the help of many sensors. The robot also has 3 webcams for computer vision tasks. In this paper the current state of the robot is described.


title: MOS spectroscopy of protocluster candidate galaxies at z=6.5

abstract: The epoch corresponding to a redshift of z $\sim 6.5$ is close to full re-ionisation of the Universe, and early enough to provide an intriguing environment to observe the early stage of large-scale structure formation. It is also en epoch that can be used to verify the abundance of a large population of low luminosity star-forming galaxies, that are deemed responsible for cosmic re-ionisation. Here, we present the results of follow-up multi-object spectroscopy using OSIRIS at Gran Telescopio Canarias (GTC) of 16 Ly$\alpha$ emitter (LAE) candidates discovered in the Subaru/XMM Newton Deep Survey. We have securely confirmed 10 LAEs with sufficient signal-to-noise ratio of the Ly$\alpha$ emission line. The inferred star formation rates of the confirmed LAEs are on the low side, within the range 0.9-4.7 M$_{\odot}$ yr$^{-1}$. However, they show relatively high Ly$\alpha$ rest frame equivalent widths. Finally we have shown that the mechanical energy released by the star formation episodes in these galaxies is enough to create holes in the neutral hydrogen medium such that Lyman continuum photons can escape to the intergalactic medium, thus contributing to the re-ionisation of the Universe.


title: Mass discrepancy analysis for a select sample of Type II-Plateau supernovae

abstract: The detailed study of supernovae (SNe) and their progenitors allows to better understand the evolution of massive stars and how these end their lives. Despite its importance, the range of physical parameters for the most common type of explosion, the type II supernovae (SNe II), is still unknown. In particular, previous studies of type II-Plateau supernovae (SNe II-P) showed a discrepancy between the progenitor masses inferred from hydrodynamic models and those determined from the analysis of direct detections in archival images. Our goal is to derive physical parameters (progenitor mass, radius, explosion energy and total mass of nickel) through hydrodynamical modelling of light curves and expansion velocity evolution for a select group of 6 SNe II-P (SN 2004A, SN 2004et, SN 2005cs, SN 2008bk, SN 2012aw, and SN 2012ec) that fulfilled the following three criteria: 1) they have enough photometric and spectroscopic monitoring to allow for a reliable hydrodynamical modelling; 2) there is a direct progenitor detection; and 3) there is a confirmation of the progenitor identification via its disappearance in post-explosion images. We then compare the masses obtained by our hydrodynamic models with those obtained by direct detections of the progenitors to test the existence of such a discrepancy. As opposed to some previous works, we find a good agreement between both methods.


title: Quantum optimal transport is cheaper

abstract: We compare bipartite (Euclidean) matching problems in classical and quantum mechanics. The quantum case is treated in terms of a quantum version of the Wasserstein distance introduced in [F. Golse, C. Mouhot, T. Paul, Commun. Math. Phys. 343 (2016), 165-205]. We show that the optimal quantum cost can be cheaper than the classical one. We treat in detail the case of two particles: the equal mass case leads to equal quantum and classical costs. Moreover, we show examples with different masses for which the quantum cost is strictly cheaper than the classical cost.

categories: math.AP cs.IT math-ph math.IT math.MP math.PR


title: Overview of Gluon Helicity Measurements at STAR

abstract: The contribution to the spin of the proton from the gluon helicity is starting to come into focus: for gluons carrying a large fraction $x$ of the proton momentum, evidence of positive gluon polarization has been observed, via measurements of the longitudinal double-spin asymmetry $A_{LL}$ for inclusive jet and dijet production. $A_{LL}$ is sensitive to the polarized gluon distribution function, $\Delta g(x)$, and while it is positive at high $x$, it is not well constrained for $x<0.05$. Recent measurements at STAR of observables originating dominantly from quark-gluon and gluon-gluon subprocesses aim to improve the precision of $\Delta g(x)$ at high $x$, as well as for the first time provide insight into the low-$x$ contribution. $A_{LL}$ measurements of inclusive jets and dijets at midrapidity $(|\eta|<1)$ and intermediate rapidity $(0.8<\eta<2)$ at STAR at $\sqrt{s}=200$ and $510$ GeV will be shown, along with the statuses of ongoing analyses; these measurements will help improve the $\Delta g(x)$ precision for $x\gtrsim 0.01$. Recent $\pi^0$ $A_{LL}$ measurements in the forward region $(2.65<\eta<3.9)$ at $\sqrt{s}=510$ GeV will also be presented, which probe $\Delta g(x)$ down to $x{\sim}10^{-3}$. Comparisons of these results to recent global analyses and extrapolations will be discussed.


title: A Glimpse of Arithmetic Dynamics

abstract: In this note, we offer a palatable introduction to the field of arithmetic dynamics. That is, we study the patterns that arise when iterating a polynomial map. This note is accessible to those who have taken an introductory proof based course and some linear algebra; the appendix utilizes abstract algebra.


title: Word Sense Disambiguation using Diffusion Kernel PCA

abstract: One of the major problems in natural language processing (NLP) is the word sense disambiguation (WSD) problem. It is the task of computationally identifying the right sense of a polysemous word based on its context. Resolving the WSD problem boosts the accuracy of many NLP focused algorithms such as text classification and machine translation. In this paper, we introduce a new supervised algorithm for WSD, that is based on Kernel PCA and Semantic Diffusion Kernel, which is called Diffusion Kernel PCA (DKPCA). DKPCA grasps the semantic similarities within terms, and it is based on PCA. These properties enable us to perform feature extraction and dimension reduction guided by semantic similarities and within the algorithm. Our empirical results on SensEval data demonstrate that DKPCA achieves higher or very close accuracy results compared to SVM and KPCA with various well-known kernels when the labeled data ratio is meager. Considering the scarcity of labeled data, whereas large quantities of unlabeled textual data are easily accessible, these are highly encouraging first results to develop DKPCA further.


title: The Hilbert transform along the parabola, the polynomial Carleson theorem and oscillatory singular integrals

abstract: We make progress on an interesting problem on the boundedness of maximal modulations of the Hilbert transform along the parabola. Namely, if we consider the multiplier arising from it and restrict it to lines, we prove uniform $L^p$ bounds for maximal modulations of the associated operators. Our methods consist of identifying where to use effectively the polynomial Carleson theorem, and where we can take advantage of the presence of oscillation to obtain decay through the $TT^*$ method.


title: Performance analysis of IEEE 802.11ax heterogeneous network in the presence of hidden terminals

abstract: Performance improvement has been among the foci of all previous amendments of IEEE 802.11 protocol. In addition, the draft high efficiency (HE) amendment IEEE 802.11ax, proposed by TGax, aims at increasing network performance. One of the main obstacles to improving spectral and power efficiency is the presence of hidden terminals which degrade throughput, in particular in uplink transmission. IEEE 802.11ax does provide mechanisms such as trigger based uplink transmission that mitigate this degradation to some extent, but are incapable of eliminating it, esp. at high arrival rates. To combat the hidden terminal problem, we propose to increase the carrier sensing threshold (CSTH) of STAs during association with an HE access point. Our results confirm that the proposed mechanism can lead to significant reduction of collision probability in uplink transmission.


title: Towards the higher point holographic momentum space amplitudes II: Gravitons

abstract: In this follow up paper, we calculate higher point tree level graviton Witten diagrams in AdS$_4$ via bulk perturbation theory. We show that by rearranging the bulk to bulk graviton propagators, the calculations effectively reduce to the computation of a scalar factor. Analogous to the amplitudes for vector boson interactions we computed in the previous paper, scalar factors for the graviton exchange diagrams also become relatively simple when written in momentum space. We explicitly calculate higher point correlators and discuss how this momentum space formalism makes flat space and collinear limits simpler.


title: Using High Frequency Propagation to Calculate Basic Maximum Usable Frequency

abstract: A comparison between observed (obs.) digital ionospheric sounding data and predicted (pre.) using International Reference Ionosphere (IRI) model for critical frequency (foF2) and Basic Maximum Usable Frequency (BMUF) of ionospheric F2-Layer has been made. A mid-latitude region selected for this research work by using data from station Wakkanai ($45.38^{o} N$, $141.66^{o} E$). This study included 12 monthly median data from year (2001, $R_{12}=111$) selected for high Sunspot number (SSN) and years for low SSN (2004, $R_{12}=44$) and (2005, $R_{12}=29$). Frequency parameters foF2 reveals that there is a good correlation between observed and predicted except for January of years 2001 and 2004, and BMUF revealed that there is a good correlation between observed and predicted for years of low SSN and all months except in month 1, 9 and 12 of year 2004, for year 2001 of high SSN there is a bad correlation. A correction factor as a function of time used from fitting technique to correct the predicted value with observed value of BMUF for year 2001.


title: Structured Knowledge Discovery from Massive Text Corpus

abstract: Nowadays, with the booming development of the Internet, people benefit from its convenience due to its open and sharing nature. A large volume of natural language texts is being generated by users in various forms, such as search queries, documents, and social media posts. As the unstructured text corpus is usually noisy and messy, it becomes imperative to correctly identify and accurately annotate structured information in order to obtain meaningful insights or better understand unstructured texts. On the other hand, the existing structured information, which embodies our knowledge such as entity or concept relations, often suffers from incompleteness or quality-related issues. Given a gigantic collection of texts which offers rich semantic information, it is also important to harness the massiveness of the unannotated text corpus to expand and refine existing structured knowledge with fewer annotation efforts. In this dissertation, I will introduce principles, models, and algorithms for effective structured knowledge discovery from the massive text corpus. We are generally interested in obtaining insights and better understanding unstructured texts with the help of structured annotations or by structure-aware modeling. Also, given the existing structured knowledge, we are interested in expanding its scale and improving its quality harnessing the massiveness of the text corpus. In particular, four problems are studied in this dissertation: Structured Intent Detection for Natural Language Understanding, Structure-aware Natural Language Modeling, Generative Structured Knowledge Expansion, and Synonym Refinement on Structured Knowledge.


title: Some Remarks on Diametral Dimension and Approximate Diametral Dimension of Certain Nuclear Fr\'echet Spaces

abstract: The diametral dimension, $\Delta(E)$, and the approximate diametral dimension, $\delta (E)$, of a nuclear Fr\'echet space $E$ which satisfies $\underline{DN}$ and $\Omega$, is related to power series spaces $\Lambda_{1}(\varepsilon)$ and $\Lambda_{\infty}\left(\varepsilon\right)$ for some exponent sequence $\varepsilon$. In this article, we examine a question of whether $\delta (E)$ must coincide with that of a power series space if $\Delta(E)$ does the same, and vice versa. In this regard, we first show that this question has an affirmative answer in an infinite type case by proving the fact that $\Delta (E)=\Delta\left(\Lambda_{\infty} (\varepsilon)\right)$ if and only if $\delta (E)= \delta (\Lambda_{\infty}(\varepsilon))$. Then we consider the question in the finite type case and, among other things, we prove that $\delta (E)=\delta\left(\Lambda_{1} (\varepsilon)\right)$ if and only if $\Delta (E)= \Delta (\Lambda_{1}(\varepsilon))$ and $E$ has a prominent bounded subset.


title: Text-to-SQL Generation for Question Answering on Electronic Medical Records

abstract: Electronic medical records (EMR) contain comprehensive patient information and are typically stored in a relational database with multiple tables. Effective and efficient patient information retrieval from EMR data is a challenging task for medical experts. Question-to-SQL generation methods tackle this problem by first predicting the SQL query for a given question about a database, and then, executing the query on the database. However, most of the existing approaches have not been adapted to the healthcare domain due to a lack of healthcare Question-to-SQL dataset for learning models specific to this domain. In addition, wide use of the abbreviation of terminologies and possible typos in questions introduce additional challenges for accurately generating the corresponding SQL queries. In this paper, we tackle these challenges by developing a deep learning based TRanslate-Edit Model for Question-to-SQL (TREQS) generation, which adapts the widely used sequence-to-sequence model to directly generate the SQL query for a given question, and further performs the required edits using an attentive-copying mechanism and task-specific look-up tables. Based on the widely used publicly available electronic medical database, we create a new large-scale Question-SQL pair dataset, named MIMICSQL, in order to perform the Question-to-SQL generation task in healthcare domain. An extensive set of experiments are conducted to evaluate the performance of our proposed model on MIMICSQL. Both quantitative and qualitative experimental results indicate the flexibility and efficiency of our proposed method in predicting condition values and its robustness to random questions with abbreviations and typos.


title: A way to generate poloidal (zonal) flow in the dynamics of drift (Rossby) waves

abstract: The paper considers dynamics in the Charney-Hasegawa-Mima equation, basic to several different phenomena. In each of them, the generation of poloidal/zonal flow is important. The paper suggests a possibility to generate such flows (which can serve as transport barriers). Namely, one needs to create significant \emph{increment} and \emph{decrement} in neighborhoods of some wave vectors ${\bf k}_1$ and ${\bf k}_2$ (respectively) such that (1) $R_{{\bf k}_1}<R_{{\bf k}_2}$, where $R_{\bf k}$ is the spectral density of the extra invariant ($I=\int R_{\bf k} E_{\bf k} d{\bf k}$ is the extra invariant, with $E_{\bf k}$ being the energy spectrum), (2) $|{\bf k}_1|<|{\bf k}_2|$, and (3) ${\bf k}_1+{\bf k}_2$ is a poloidal/zonal wave vector. These three conditions define quite narrow region.


title: DLGNet: A Transformer-based Model for Dialogue Response Generation

abstract: Neural dialogue models, despite their successes, still suffer from lack of relevance, diversity, and in many cases coherence in their generated responses. These issues can attributed to reasons including (1) short-range model architectures that capture limited temporal dependencies, (2) limitations of the maximum likelihood training objective, (3) the concave entropy profile of dialogue datasets resulting in short and generic responses, and (4) the out-of-vocabulary problem leading to generation of a large number of <UNK> tokens. On the other hand, transformer-based models such as GPT-2 have demonstrated an excellent ability to capture long-range structures in language modeling tasks. In this paper, we present DLGNet, a transformer-based model for dialogue modeling. We specifically examine the use of DLGNet for multi-turn dialogue response generation. In our experiments, we evaluate DLGNet on the open-domain Movie Triples dataset and the closed-domain Ubuntu Dialogue dataset. DLGNet models, although trained with only the maximum likelihood objective, achieve significant improvements over state-of-the-art multi-turn dialogue models. They also produce best performance to date on the two datasets based on several metrics, including BLEU, ROUGE, and distinct n-gram. Our analysis shows that the performance improvement is mostly due to the combination of (1) the long-range transformer architecture with (2) the injection of random informative paddings. Other contributing factors include the joint modeling of dialogue context and response, and the 100% tokenization coverage from the byte pair encoding (BPE).


title: Nonparametric Regression on Low-Dimensional Manifolds using Deep ReLU Networks : Function Approximation and Statistical Recovery

abstract: Real world data often exhibit low-dimensional geometric structures, and can be viewed as samples near a low-dimensional manifold. This paper studies nonparametric regression of H\"{o}lder functions on low-dimensional manifolds using deep ReLU networks. Suppose $n$ training data are sampled from a H\"{o}lder function in $\mathcal{H}^{s,\alpha}$ supported on a $d$-dimensional Riemannian manifold isometrically embedded in $\mathbb{R}^D$, with sub-gaussian noise. A deep ReLU network architecture is designed to estimate the underlying function from the training data. The mean squared error of the empirical estimator is proved to converge in the order of $n^{-\frac{2(s+\alpha)}{2(s+\alpha) + d}}\log^3 n$. This result shows that deep ReLU networks give rise to a fast convergence rate depending on the data intrinsic dimension $d$, which is usually much smaller than the ambient dimension $D$. It therefore demonstrates the adaptivity of deep ReLU networks to low-dimensional geometric structures of data, and partially explains the power of deep ReLU networks in tackling high-dimensional data with low-dimensional geometric structures.


title: GEAR: Graph-based Evidence Aggregating and Reasoning for Fact Verification

abstract: Fact verification (FV) is a challenging task which requires to retrieve relevant evidence from plain text and use the evidence to verify given claims. Many claims require to simultaneously integrate and reason over several pieces of evidence for verification. However, previous work employs simple models to extract information from evidence without letting evidence communicate with each other, e.g., merely concatenate the evidence for processing. Therefore, these methods are unable to grasp sufficient relational and logical information among the evidence. To alleviate this issue, we propose a graph-based evidence aggregating and reasoning (GEAR) framework which enables information to transfer on a fully-connected evidence graph and then utilizes different aggregators to collect multi-evidence information. We further employ BERT, an effective pre-trained language representation model, to improve the performance. Experimental results on a large-scale benchmark dataset FEVER have demonstrated that GEAR could leverage multi-evidence information for FV and thus achieves the promising result with a test FEVER score of 67.10%. Our code is available at https://github.com/thunlp/GEAR.


title: Attractors and asymptotic dynamics of open discrete-time quantum walks on cycles

abstract: Open quantum walks often lead to a classical asymptotic behavior. Here, we look for a simple open quantum walk whose asymptotic behavior can be non-classical. We consider a discrete-time quantum walk on n-cycle subject to a random coin-dependent phase shift at a single position. This finite system, whose evolution is described by only two Kraus operators, can exhibit all kinds of asymptotic behavior observable in quantum Markov chains: it either evolves towards a maximally mixed state, or partially mixed state, or tends to an oscillatory motion on an asymptotic orbit. We find that the asymptotic orbits do not have a product structure, therefore the corresponding states can manifest entanglement between the position and the coin degrees of freedom, even if the system started in a product state.


title: Nonequilibrium path-ensemble averages for symmetric protocols

abstract: According to the nonequilibrium work relations, path-ensembles generated by irreversible processes in which a system is driven out of equilibrium according to a predetermined protocol may be used to compute equilibrium free energy differences and expectation values. Estimation has previously been improved by considering data collected from the reverse process, which starts in equilibrium in the final thermodynamic state of the forward process and is driven according to the time-reversed protocol. Here, we develop a theoretically rigorous statistical estimator for nonequilibrium path-ensemble averages specialized for symmetric protocols, in which forward and reverse processes are identical. The estimator is tested with a number of model systems: a symmetric 1D potential, an asymmetric 1D potential, the unfolding of deca-alanine, separating a host-guest system, and translocating a potassium ion through a gramicidin A ion channel. When reconstructing free energies using data from symmetric protocols, the new estimator outperforms existing rigorous unidirectional and bidirectional estimators, converging more quickly and resulting in smaller error. However, in most cases, using the bidirectional estimator with data from a forward and reverse pair of asymmetric protocols outperforms the corresponding symmetric protocol and estimator with the same amount of simulation time. Hence, the new estimator is only recommended when the bidirectional estimator is not feasible or is expected to perform poorly. The symmetric estimator has similar performance to a unidirectional protocol of half the length and twice the number of trajectories.


title: Deformation Theories Controlled by Hochschild Cohomologies

abstract: We explore how the higher order Hochschild cohomology controls a deformation theory when the simplicial set models the 3-sphere. Besides generalizing to the $d$-sphere for any $d\geq1$, we also investigate a deformation theory corresponding to the tertiary Hochschild cohomology, which naturally reduces to those studied for the secondary and usual Hochschild cohomologies under certain conditions.


title: A cross-channel study of pion scattering from lattice QCD

abstract: We use a chiral model for pion interactions, in the inverse amplitude formalism, to perform a simultaneous analysis of lattice QCD results for pion-pion scattering in all three isospin channels. The input is the finite-volume two-pion spectrum computed using lattice QCD from six ensembles on lattices elongated in one of the spatial dimensions. A two-flavor dynamical lattice QCD action is used with two quark masses corresponding to a pion mass of 315 MeV and 224 MeV. The spectrum in the elastic region is subjected to a global fit which takes into account full correlations across isospin, pion mass and decay constant. The parameters from the fit are used to perform a chiral extrapolation to the physical point. The cross-channel fit results in a more precise determination of the parameters of the model when compared with single channel fits. We obtain $m_\pi a_0^{I=0}=0.2132(9)$, and $m_\pi a_0^{I=2}=0.0433(2)$ as well as $m_\sigma=443(3)-i221(6)$ MeV and $m_\rho=724(4)-i67(1)$ MeV. Several aspects of scale setting and consistency with previous analyses of lattice QCD results are discussed as well.


title: Test of lepton flavor universality and search for lepton flavor violation in $B \to K \ell\ell$ decays

abstract: We present measurements of the branching fractions for the decays $B\to K \mu^{+}\mu^{-}$ and $B\to K e^{+}e^{-}$, and their ratio ($R_{K}$), using a data sample of 711 $fb^{-1}$ that contains $772 \times 10^{6}$ $B\bar{B}$ events. The data were collected at the $\Upsilon(4S)$ resonance with the Belle detector at the KEKB asymmetric-energy $e^{+}e^{-}$ collider. The ratio $R_{K}$ is measured in five bins of dilepton invariant-mass-squared ($q^{2}$): $q^{2} \in (0.1, 4.0), (4.0, 8.12), (1.0, 6.0)$, $(10.2, 12.8)$ and ($>14.18) GeV^{2}/c^{4}$, along with the whole $q^2$ region. The $R_{K}$ value for $q^{2} \in (1.0, 6.0) GeV^{2}/c^{4}$ is $1.03^{+0.28}_{-0.24} \pm 0.01$. The first and second uncertainties listed are statistical and systematic, respectively. All results for $R_{K}$ are consistent with Standard Model predictions. We also measure $C\!P$-averaged isospin asymmetries in the same $q^{2}$ bins. The results are consistent with a null asymmetry, with the largest difference of 2.6 standard deviations occurring for the $q^{2}\in(1.0,6.0) GeV^{2}/c^{4}$ bin in the mode with muon final states. The measured differential branching fractions, ${d\cal B}/{dq^{2}}$, are consistent with theoretical predictions for charged $B$ decays, while the corresponding values are below the expectations for neutral $B$ decays. We have also searched for lepton-flavor-violating $B \rightarrow K\mu^{\pm}e^{\mp}$ decays and set $90\%$ confidence-level upper limits on the branching fraction in the range of $10^{-8}$ for $B^{+} \rightarrow K^{+}\mu^{\pm}e^{\mp}$, and $B^{0} \rightarrow K^{0}\mu^{\pm}e^{\mp}$ modes.


title: Prediction of a wide variety of linear complexions in face centered cubic alloys

abstract: Linear complexions are defect states that have been recently discovered along dislocations in body centered cubic Fe-based alloys. In this work, we use atomistic simulations to extend this concept and explore segregation-driven structural transitions at dislocations in face centered cubic alloys. We identify a variety of stable, nanoscale-size structural and chemical states, which are confined near dislocations and can be classified as linear complexions. Depending on the alloy system and thermodynamic conditions, such new states can preserve, partially modify, or completely replace the original defects they were born at. By considering different temperatures and compositions, we construct linear complexion diagrams that are similar to bulk phase diagrams, defining the important conditions for complexion formation while also specifying an expected complexion size and type. Several notable new complexion types were predicted here: (1) nanoparticle arrays comprised of L12 phases in Ni-Fe, Ni-Al, and Al-Zr, (2) replacement of stacking faults with layered complexions comprised of (111) planes from the Cu5Zr intermetallic phase in Cu-Zr, (3) platelet arrays comprised of two-dimensional Guinier-Preston zones in Al-Cu, and finally (4) coexistence of multiple linear complexions containing both Guinier-Preston zones and L12 phases in ternary Al-Cu-Zr. All of these new complexion states are expected to alter material properties and affect the stability of the dislocations themselves, offering a unique opportunity for future materials design.


title: Factorizations of Schur functions

abstract: The Schur class, denoted by $\mathcal{S}(\mathbb{D})$, is the set of all functions analytic and bounded by one in modulus in the open unit disc $\mathbb{D}$ in the complex plane $\mathbb{C}$, that is \[ \mathcal{S}(\mathbb{D}) = \{\varphi \in H^\infty(\mathbb{D}): \|\varphi\|_{\infty} := \sup_{z \in \mathbb{D}} |\varphi(z)| \leq 1\}. \] The elements of $\mathcal{S}(\mathbb{D})$ are called Schur functions. A classical result going back to I. Schur states: A function $\varphi: \mathbb{D} \rightarrow \mathbb{C}$ is in $\mathcal{S}(\mathbb{D})$ if and only if there exist a Hilbert space $\mathcal{H}$ and an isometry (known as colligation operator matrix or scattering operator matrix) \[ V = \begin{bmatrix} a & B \\ C & D \end{bmatrix} : \mathbb{C} \oplus \mathcal{H} \rightarrow \mathbb{C} \oplus \mathcal{H}, \] such that $\varphi$ admits a transfer function realization corresponding to $V$, that is \[ \varphi(z) = a + z B (I_{\mathcal{H}} - z D)^{-1} C \quad \quad (z \in \mathbb{D}). \] An analogous statement holds true for Schur functions on the bidisc. On the other hand, Schur-Agler class functions on the unit polydisc in $\mathbb{C}^n$ is a well-known "analogue" of Schur functions on $\mathbb{D}$. In this paper, we present algorithms to factorize Schur functions and Schur-Agler class functions in terms of colligation matrices. More precisely, we isolate checkable conditions on colligation matrices that ensure the existence of Schur (Schur-Agler class) factors of a Schur (Schur-Agler class) function and vice versa.


title: Self-Knowledge Distillation in Natural Language Processing

abstract: Since deep learning became a key player in natural language processing (NLP), many deep learning models have been showing remarkable performances in a variety of NLP tasks, and in some cases, they are even outperforming humans. Such high performance can be explained by efficient knowledge representation of deep learning models. While many methods have been proposed to learn more efficient representation, knowledge distillation from pretrained deep networks suggest that we can use more information from the soft target probability to train other neural networks. In this paper, we propose a new knowledge distillation method self-knowledge distillation, based on the soft target probabilities of the training model itself, where multimode information is distilled from the word embedding space right below the softmax layer. Due to the time complexity, our method approximates the soft target probabilities. In experiments, we applied the proposed method to two different and fundamental NLP tasks: language model and neural machine translation. The experiment results show that our proposed method improves performance on the tasks.


title: A gPAV-Based Unconditionally Energy-Stable Scheme for Incompressible Flows with Outflow/Open Boundaries

abstract: We present an unconditionally energy-stable scheme for approximating the incompressible Navier-Stokes equations on domains with outflow/open boundaries. The scheme combines the generalized Positive Auxiliary Variable (gPAV) approach and a rotational velocity-correction type strategy, and the adoption of the auxiliary variable simplifies the numerical treatment for the open boundary conditions. The discrete energy stability of the proposed scheme has been proven, irrespective of the time step sizes. Within each time step the scheme entails the computation of two velocity fields and two pressure fields, by solving an individual de-coupled Helmholtz (including Poisson) type equation with a constant pre-computable coefficient matrix for each of these field variables. The auxiliary variable, being a scalar number, is given by a well-defined explicit formula within a time step, which ensures the positivity of its computed values. Extensive numerical experiments with several flows involving outflow/open boundaries in regimes where the backflow instability becomes severe have been presented to test the performance of the proposed method and to demonstrate its stability at large time step sizes.


title: DELTA: A DEep learning based Language Technology plAtform

abstract: In this paper we present DELTA, a deep learning based language technology platform. DELTA is an end-to-end platform designed to solve industry level natural language and speech processing problems. It integrates most popular neural network models for training as well as comprehensive deployment tools for production. DELTA aims to provide easy and fast experiences for using, deploying, and developing natural language processing and speech models for both academia and industry use cases. We demonstrate the reliable performance with DELTA on several natural language processing and speech tasks, including text classification, named entity recognition, natural language inference, speech recognition, speaker verification, etc. DELTA has been used for developing several state-of-the-art algorithms for publications and delivering real production to serve millions of users.


title: Influence of probe geometry of optical fibers in sensing volatile liquids through localized surface plasmon resonance

abstract: A comprehensive analysis of influence of probe geometry on localized surface plasmon resonance phenomenon is presented. Plasmonic responses of noble metal nanoparticles such as AuNPs and AgNPs have been exclusively examined by adopting D-type and tapered optical fiber probes for the detection of methanol. With increase in concentration of methanol, the effective refractive index of the medium changes which leads to alter absorbance characteristics of the NPs; thereby modulating the eventual output responses of the proposed sensor. A comparative study has been presented with respective change in geometrical shapes of the probes to detect methanol. The sensitivity in case of D-type probe for detection of methanol is found to be ~0.09644 mV/ppm with AuNPs and ~0.03038 mV/ppm with AgNPs. On the other hand, the sensitivity for AgNPs coated probe is found to be ~0.00389 mV/ppm and 0.00379 mV/ppm for AuNPs in case of tapered probe.


title: Switch Elements with S-Shaped Current-Voltage Characteristic in Models of Neural Oscillators

abstract: In this paper, we present circuit solutions based on a switch element with the S-type I-V characteristic implemented using the classic FitzHugh-Nagumo and FitzHugh-Rinzel models. Using the proposed simplified electrical circuits allows the modeling of the integrate-and-fire neuron and burst oscillation modes with the emulation of the mammalian cold receptor patterns. The circuits were studied using the experimental I-V characteristic of an NbO2 switch with a stable section of negative differential resistance (NDR) and a VO2 switch with an unstable NDR, considering the temperature dependences of the threshold characteristics. The results are relevant for modern neuroelectronics and have practical significance for the introduction of the neurodynamic models in circuit design and the brain-machine interface. The proposed systems of differential equations with the piecewise linear approximation of the S-type I-V characteristic may be of scientific interest for further analytical and numerical research and development of neural networks with artificial intelligence.


title: Fabrication of a multifunctional photonic integrated chip on lithium niobate on insulator using femtosecond laser assisted chemo-mechanical polish

abstract: We report fabrication of a multifunctional photonic integrated chip on lithium niobate on insulate (LNOI), which is achieved by femtosecond laser assisted chemo-mechanical polish. We demonstrate a high extinction ratio beam splitter, a 1 * 6 optical switch, and a balanced 3 * 3 interferometer on the fabricated chip by reconfiguring the microelectrode array integrated with the multifunctional photonic circuit.


title: High-precision local transfer of van der Waals materials on nanophotonic structures

abstract: Prototyping of van der Waals materials on dense nanophotonic devices requires high-precision monolayer discrimination to avoid bulk material contamination. We use the glass transition temperature of polycarbonate, used in the standard dry transfer process, to draw an in situ point for the precise pickup of two dimensional materials. We transfer transition metal dichalcogenide monolayers onto a large-area silicon nitride spiral waveguide and silicon nitride ring resonators to demonstrate the high-precision contamination-free nature of the modified dry transfer method. Our improved local transfer technique is a necessary step for the deterministic integration of high-quality van der Waals materials onto nanocavities for the exploration of few-photon nonlinear optics on a high-throughput, nanofabrication-compatible platform.


title: Plasmonic monolithic lithium niobate directional coupler switches

abstract: From the onset of high-speed optical communications, lithium niobite (LN) has been the material of choice for electro-optic modulators owing to its large electro-optic response, wide transparent window, excellent thermal stability and long-term material reliability. Conventional LN electro-optic modulators while continue to be the workhorse of the optoelectronic industry become progressively too bulky, expensive and power hungry to fully serve the needs of this industry rapidly progressing towards highly integrated, cost-effective and energy efficient components and circuits. Recently developed monolithic LN nanophotonic platform enables the realization of electro-optic modulators that are significantly improved in terms of compactness, bandwidth and energy efficiency, while still demanding relatively long, on the mm-scale, interaction lengths. Here we successfully deal with this challenge and demonstrate plasmonic electro-optic directional coupler switches consisting of two closely spaced nm-thin gold nanostripes monolithically fabricated on LN substrates that guide both coupled electromagnetic modes and electrical signals influencing their coupling and thereby enabling ultra-compact switching and modulatiofunctionalities. The extreme confinement of both slow-plasmon modes and electrostatic fields created by two nanostripes along with their nearly perfect spatial overlap allowed us to achieve a 90% modulation depth with 20-$\mu$m-long switches characterized by a electro-optic modulation efficiency of 0.3 Vcm. Our monolithic LN plasmonic platform enables ultra-dense integration of high-performance active photonic components, enabling a wide range of cost-effective optical communication applications demanding $\mu$m-scale footprints, ultrafast operation, robust design and high environmental stability.


title: The Uniformed Patroller Game

abstract: In the recently introduced network patrolling game, an Attacker carries out an attack on a node of her choice, for a given number m of consecutive periods. The parameter m indicates the difficulty of the attack at a given node. To thwart such an attack, the Patroller adopts a walk on the network, hoping to be at the attacked node during one of the m periods. If this occurs, the attack is interrupted and the Patroller wins; otherwise the Attacker wins. In the original setting, the Attacker has no knowledge of the Patroller's location at any time. Here, to model the important alternative where the Patroller can be identified when he is at the Attacker's node (e.g. the Patroller wears a uniform), we allow the Attacker to initiate her attack after waiting for a chosen number d of consecutive periods in which the Patroller has been away. We solve this version of the game for various networks: star, line, circle and a mixture. We restrict the Patroller to Markovian strategies, which cover the whole network.


title: Toward Efficient In-memory Data Analytics on NUMA Systems

abstract: Data analytics systems commonly utilize in-memory query processing techniques to achieve better throughput and lower latency. Modern computers increasingly rely on Non-Uniform Memory Access (NUMA) architectures in order to achieve scalability. A key drawback of NUMA architectures is that many existing software solutions are not aware of the underlying NUMA topology and thus do not take full advantage of the hardware. Modern operating systems are designed to provide basic support for NUMA systems. However, default system configurations are typically sub-optimal for large data analytics applications. Additionally, achieving NUMA-awareness by rewriting the application from the ground up is not always feasible. In this work, we evaluate a variety of strategies that aim to accelerate memory-intensive data analytics workloads on NUMA systems. We analyze the impact of different memory allocators, memory placement strategies, thread placement, and kernel-level load balancing and memory management mechanisms. With extensive experimental evaluation we demonstrate that methodical application of these techniques can be used to obtain significant speedups in four commonplace in-memory data analytics workloads, on three different hardware architectures. Furthermore, we show that these strategies can speed up two popular database systems running a TPC-H workload.


title: Multiplicity dependence of (multi-)strange hadron production in proton-proton collisions at $\sqrt{s}$ = 13 TeV

abstract: The production rates and the transverse momentum distribution of strange hadrons at mid-rapidity ($\ |y\ | < 0.5$) are measured in proton-proton collisions at $\sqrt{s}$ = 13 TeV as a function of the charged particle multiplicity, using the ALICE detector at the LHC. The production rates of $\rm{K}^{0}_{S}$, $\Lambda$, $\Xi$, and $\Omega$ increase with the multiplicity faster than what is reported for inclusive charged particles. The increase is found to be more pronounced for hadrons with a larger strangeness content. Possible auto-correlations between the charged particles and the strange hadrons are evaluated by measuring the event-activity with charged particle multiplicity estimators covering different pseudorapidity regions. When comparing to lower energy results, the yields of strange hadrons are found to depend only on the mid-rapidity charged particle multiplicity. Several features of the data are reproduced qualitatively by general purpose QCD Monte Carlo models that take into account the effect of densely-packed QCD strings in high multiplicity collisions. However, none of the tested models reproduce the data quantitatively. This work corroborates and extends the ALICE findings on strangeness production in proton-proton collisions at 7 TeV.


title: Semi-Automatic Labeling for Deep Learning in Robotics

abstract: In this paper, we propose Augmented Reality Semi-automatic labeling (ARS), a semi-automatic method which leverages on moving a 2D camera by means of a robot, proving precise camera tracking, and an augmented reality pen to define initial object bounding box, to create large labeled datasets with minimal human intervention. By removing the burden of generating annotated data from humans, we make the Deep Learning technique applied to computer vision, that typically requires very large datasets, truly automated and reliable. With the ARS pipeline, we created effortlessly two novel datasets, one on electromechanical components (industrial scenario) and one on fruits (daily-living scenario), and trained robustly two state-of-the-art object detectors, based on convolutional neural networks, such as YOLO and SSD. With respect to the conventional manual annotation of 1000 frames that takes us slightly more than 10 hours, the proposed approach based on ARS allows annotating 9 sequences of about 35000 frames in less than one hour, with a gain factor of about 450. Moreover, both the precision and recall of object detection is increased by about 15\% with respect to manual labeling. All our software is available as a ROS package in a public repository alongside the novel annotated datasets.


title: Free-Space Features: Global Localization in 2D Laser SLAM Using Distance Function Maps

abstract: In many applications, maintaining a consistent map of the environment is key to enabling robotic platforms to perform higher-level decision making. Detection of already visited locations is one of the primary ways in which map consistency is maintained, especially in situations where external positioning systems are unavailable or unreliable. Mapping in 2D is an important field in robotics, largely due to the fact that man-made environments such as warehouses and homes, where robots are expected to play an increasing role, can often be approximated as planar. Place recognition in this context remains challenging: 2D lidar scans contain scant information with which to characterize, and therefore recognize, a location. This paper introduces a novel approach aimed at addressing this problem. At its core, the system relies on the use of the distance function for representation of geometry. This representation allows extraction of features which describe the geometry of both surfaces and free-space in the environment. We propose a feature for this purpose. Through evaluations on public datasets, we demonstrate the utility of free-space in the description of places, and show an increase in localization performance over a state-of-the-art descriptor extracted from surface geometry.


title: Entanglement distillation of boundary states of large N SU(N)1, Chern-Simons theory and Riemann surfaces

abstract: A tree tensor network is proposed for the entanglement distillation of large N SU(N)1 Chern-Simons theory and Riemann surfaces, adopting a proposal of Bao, et al. This is illustrated for the entanglement entropy S(A) of a bipartite many-body system A, where here S(A) = log N.


title: Characterizations of Two-Points and Other Related Distributions

abstract: We provide new characterizations of two-points and some related distributions. We use properties of independence and/or identity of the distributions of suitable linear forms of random variables. Keywords: characterization of a distribution; two-points distribution; uniform distribution; squared hyperbolic secant distribution; independent or identically distributed linear forms


title: Unsupervised Representations of Pollen in Bright-Field Microscopy

abstract: We present the first unsupervised deep learning method for pollen analysis using bright-field microscopy. Using a modest dataset of 650 images of pollen grains collected from honey, we achieve family level identification of pollen. We embed images of pollen grains into a low-dimensional latent space and compare Euclidean and Riemannian metrics on these spaces for clustering. We propose this system for automated analysis of pollen and other microscopic biological structures which have only small or unlabelled datasets available.


title: Neuroscience-inspired online unsupervised learning algorithms

abstract: Although the currently popular deep learning networks achieve unprecedented performance on some tasks, the human brain still has a monopoly on general intelligence. Motivated by this and biological implausibility of deep learning networks, we developed a family of biologically plausible artificial neural networks (NNs) for unsupervised learning. Our approach is based on optimizing principled objective functions containing a term that matches the pairwise similarity of outputs to the similarity of inputs, hence the name - similarity-based. Gradient-based online optimization of such similarity-based objective functions can be implemented by NNs with biologically plausible local learning rules. Similarity-based cost functions and associated NNs solve unsupervised learning tasks such as linear dimensionality reduction, sparse and/or nonnegative feature extraction, blind nonnegative source separation, clustering and manifold learning.


title: Local versus Global Strategies in Social Query Expansion

abstract: Link sharing in social media can be seen as a collaboratively retrieved set of documents for a query or topic expressed by a hashtag. Temporal information plays an important role for identifying the correct context for which such annotations are valid for retrieval purposes. We investigate how social data as temporal context can be used for query expansion and compare global versus local strategies for computing such contextual information for a set of hashtags.


title: High-fidelity measurement of qubits encoded in multilevel superconducting circuits

abstract: Qubit measurements are central to quantum information processing. In the field of superconducting qubits, standard readout techniques are not only limited by the signal-to-noise ratio, but also by state relaxation during the measurement. In this work, we demonstrate that the limitation due to relaxation can be suppressed by using the many-level Hilbert space of superconducting circuits: in a multilevel encoding, the measurement is only corrupted when multiple errors occur. Employing this technique, we show that we can directly resolve transmon gate errors at the level of one part in $10^3.$ Extending this idea, we apply the same principles to the measurement of a logical qubit encoded in a bosonic mode and detected with a transmon ancilla, implementing a proposal by Hann et al. [Phys. Rev. A \textbf{98} 022305 (2018)]. Qubit state assignments are made based on a sequence of repeated readouts, further reducing the overall infidelity. This approach is quite general and several encodings are studied; the codewords are more distinguishable when the distance between them is increased with respect to photon loss. The tradeoff between multiple readouts and state relaxation is explored and shown to be consistent with the photon-loss model. We report a logical assignment infidelity of $5.8\times 10^{-5}$ for a Fock-based encoding and $4.2\times 10^{-3}$ for a QEC code (the $S=2,N=1$ binomial code). Our results will not only improve the fidelity of quantum information applications, but also enable more precise characterization of process or gate errors.


title: Decomposition of the wave manifold in Lax admissible regions

abstract: Local solutions of Riemann problems for quadratic systems of two conservation laws were constructed in the geometric context. In this paper, also for quadratic systems, we decompose the characteristic and sonic' surfaces in their slow and fast components.These decompositions allow to decompose the wave manifold in regions called admissible region and non admissible region.There are admissible regions having local shock curve arcs and non local shock curve arcs. Such regions are important to construct non local solutions of Riemann problems. Our study is restricted to the symmetric Case IV in the Sheaffer-Shearer classification.


title: Quadratically Regularized Subgradient Methods for Weakly Convex Optimization with Weakly Convex Constraints

abstract: Optimization models with non-convex constraints arise in many tasks in machine learning, e.g., learning with fairness constraints or Neyman-Pearson classification with non-convex loss. Although many efficient methods have been developed with theoretical convergence guarantees for non-convex unconstrained problems, it remains a challenge to design provably efficient algorithms for problems with non-convex functional constraints. This paper proposes a class of subgradient methods for constrained optimization where the objective function and the constraint functions are weakly convex and nonsmooth. Our methods solve a sequence of strongly convex subproblems, where a quadratic regularization term is added to both the objective function and each constraint function. Each subproblem can be solved by various algorithms for strongly convex optimization. Under a uniform Slater's condition, we establish the computation complexities of our methods for finding a nearly stationary point.


title: Attention Control with Metric Learning Alignment for Image Set-based Recognition

abstract: This paper considers the problem of image set-based face verification and identification. Unlike traditional single sample (an image or a video) setting, this situation assumes the availability of a set of heterogeneous collection of orderless images and videos. The samples can be taken at different check points, different identity documents $etc$. The importance of each image is usually considered either equal or based on a quality assessment of that image independent of other images and/or videos in that image set. How to model the relationship of orderless images within a set remains a challenge. We address this problem by formulating it as a Markov Decision Process (MDP) in a latent space. Specifically, we first propose a dependency-aware attention control (DAC) network, which uses actor-critic reinforcement learning for attention decision of each image to exploit the correlations among the unordered images. An off-policy experience replay is introduced to speed up the learning process. Moreover, the DAC is combined with a temporal model for videos using divide and conquer strategies. We also introduce a pose-guided representation (PGR) scheme that can further boost the performance at extreme poses. We propose a parameter-free PGR without the need for training as well as a novel metric learning-based PGR for pose alignment without the need for pose detection in testing stage. Extensive evaluations on IJB-A/B/C, YTF, Celebrity-1000 datasets demonstrate that our method outperforms many state-of-art approaches on the set-based as well as video-based face recognition databases.


title: The union of rotational and vibrational modes in generator-coordinate-type calculations, with application to neutrinoless double-beta decay

abstract: Good many-body methods for medium and heavy nuclei are important. Here we combine ideas from standard generator-coordinate methods (GCM) and the so-called Monte Carlo shell model, and set forth a novel approach: starting from a mean-field solution (Hartree-Fock-Bogoliubov), we create a set of non-orthogonal basis states, by using low-lying vibrational quasiparticleTamm-Dancoff modes, and then project onto states of good angular momentum and particle number. The results we benchmark against full shell model calculations. Even with just a few such modes we find improvement over standard GCM calculations in excitation spectra. We also find significant improvement in $0\nu\beta\beta$ nuclear matrix elements.


title: Backronym

abstract: The field of Machine Learning research is divided into subject areas, where each area tries to solve a specific problem, using specific methods. In recent years, borders have almost been erased, and many areas inherit methods from other areas. This trend leads to better results and the number of papers in the field is growing every year. The problem is that the amount of information is also growing, and many methods remain unknown in a large number of papers. In this work, we propose the concept of inheritance between machine learning models, which allows conducting research, processing much less information, and pay attention to previously unnoticed models. We hope that this project will allow researchers to find ways to improve their ideas. In addition, it can be used by researchers to publish their methods too. Project is available by link: https://www.infornopolitan.xyz/backronym


title: Animal Wildlife Population Estimation Using Social Media Images Collections

abstract: We are losing biodiversity at an unprecedented scale and in many cases, we do not even know the basic data for the species. Traditional methods for wildlife monitoring are inadequate. Development of new computer vision tools enables the use of images as the source of information about wildlife. Social media is the rich source of wildlife images, which come with a huge bias, thus thwarting traditional population size estimate approaches. Here, we present a new framework to take into account the social media bias when using this data source to provide wildlife population size estimates. We show that, surprisingly, this is a learnable and potentially solvable problem.


title: Characterizing the limits of human stability during motion: perturbative experiment validates a model-based approach for the Sit-to-Stand task

abstract: Falls affect a growing number of the population each year. Clinical methods to identify those at greatest risk for falls usually evaluate individuals while they perform specific motions such as balancing or Sit-to-Stand (STS). Unfortunately these techniques have been shown to have poor predictive power and are unable to identify the magnitude, direction, and timing of perturbations that can cause an individual to lose stability during motion. To address this limitation, the recently proposed Stability Basin (SB) aims to characterize the set of perturbations that will cause an individual to fall under a specific motor control strategy. The SB is defined as the set of configurations that do not lead to failure for an individual under their chosen control strategy. This paper presents a novel method to compute the SB and the first experimental validation of the SB with an 11-person perturbative STS experiment involving forwards or backwards pulls from a motor-driven cable. The individually-constructed SBs are used to identify when a trial fails, i.e., when an individual must switch control strategies (indicated by a step or sit) to recover from a perturbation. The constructed SBs correctly predict the outcome of trials where failure was observed with over 90% accuracy, and correctly predict the outcome of successful trials with over 95% accuracy. The SB was compared to three other methods and was found to estimate the stable region with over 45% more accuracy in all cases. This study demonstrates that SBs offer a novel model-based approach for quantifying stability during motion, which could be used in physical therapy for individuals at risk of falling.


title: Extended symmetry analysis of two-dimensional degenerate Burgers equation

abstract: We carry out the extended symmetry analysis of a two-dimensional degenerate Burgers equation. Its complete point-symmetry group is found using the algebraic method, and all its generalized symmetries are proved equivalent to its Lie symmetries. We also prove that the space of conservation laws of this equation is infinite-dimensional and is naturally isomorphic to the solution space of the (1+1)-dimensional backward linear heat equation. Lie reductions of the two-dimensional degenerate Burgers equation are comprehensively studied in the optimal way and new Lie invariant solutions are constructed. We additionally consider solutions that also satisfy an analogous nondegenerate Burgers equation. In total, we construct four families of solutions of two-dimensional degenerate Burgers equation that are expressed in terms of arbitrary (nonzero) solutions of the (1+1)-dimensional linear heat equation. Various kinds of hidden symmetries and hidden conservation laws (local and potential ones) are discussed as well. As a by-product, we exhaustively describe generalized symmetries, cosymmetries and conservation laws of the transport equation, also called the inviscid Burgers equation, and construct new invariant solutions of the nonlinear diffusion and diffusion-convection equations with power nonlinearities of degree -1/2.


title: How Does Learning Rate Decay Help Modern Neural Networks?

abstract: Learning rate decay (lrDecay) is a \emph{de facto} technique for training modern neural networks. It starts with a large learning rate and then decays it multiple times. It is empirically observed to help both optimization and generalization. Common beliefs in how lrDecay works come from the optimization analysis of (Stochastic) Gradient Descent: 1) an initially large learning rate accelerates training or helps the network escape spurious local minima; 2) decaying the learning rate helps the network converge to a local minimum and avoid oscillation. Despite the popularity of these common beliefs, experiments suggest that they are insufficient in explaining the general effectiveness of lrDecay in training modern neural networks that are deep, wide, and nonconvex. We provide another novel explanation: an initially large learning rate suppresses the network from memorizing noisy data while decaying the learning rate improves the learning of complex patterns. The proposed explanation is validated on a carefully-constructed dataset with tractable pattern complexity. And its implication, that additional patterns learned in later stages of lrDecay are more complex and thus less transferable, is justified in real-world datasets. We believe that this alternative explanation will shed light into the design of better training strategies for modern neural networks.


title: Towards high power broad-band OPCPA at 3000 nm

abstract: High-energy femtosecond laser pulses in the mid-infrared (MIR) wavelength range are essential for a wide range of applications from strong-field physics to selectively pump and probe low energy excitations in condensed matter and molecular vibrations. Here we report a four stage optical parametric chirped pulse amplifier (OPCPA) which generates ultrashort pulses at a central wavelength of 3000 nm with 430 $\mu$J energy per pulse at a bandwidth of 490 nm. Broadband emission of a Ti:sapphire oscillator seeds synchronously the four OPCPA stages at 800 nm and the pump line at 1030 nm. The first stage amplifies the 800 nm pulses in BBO using a non-collinear configuration. The second stage converts the wavelength to 1560 nm using difference frequency generation in BBO in a collinear geometry. The third stage amplifies this idler frequency non-collinearly in KTA. Finally, the fourth stage generates the 3000 nm radiation in a collinear configuration in LiIO$_3$ due the broad amplification bandwidth this crystal provides. We compress these pulses to 65 fs by transmission through sapphire. Quantitative calculations of the individual non-linear processes in all stages verify that our OPCPA architecture operates close to optimum efficiency at minimum absorption losses, which suggests that this particular design is very suitable for operation a high average power at multi kHz repetition rates.


title: Three-dimensional universality class of Ising model with power-law-correlated critical disorder

abstract: We use large-scale Monte Carlo simulations to test the Weinrib-Halperin criterion that predicts new universality classes in the presence of sufficiently slowly decaying power-law-correlated quenched disorder. While new universality classes are reasonably well established, the predicted exponents are controversial. We propose a method of growing such correlated disorder using the three-dimensional Ising model as benchmark systems both for generating disorder and studying the resulting phase transition. Critical equilibrium configurations of a disorder-free system are used to define the two-value distributed random bonds with a small power-law exponent given by the pure Ising exponent. Finite-size scaling analysis shows a new universality class with a single phase transition, but the critical exponents $\nu_d=1.13(5), \eta_d=0.48(3)$ differ significantly from theoretical predictions. We find that depending on details of the disorder generation, disorder-averaged quantities can develop peaks at two temperatures for finite sizes. Finally, a layer model with the two values of bonds spatially separated to halves of the system genuinely has multiple phase transitions and thermodynamic properties can be flexibly tuned by adjusting the model parameters.


title: Einstein Manifolds, Self-Dual Weyl Curvature, and Conformally Kaehler Geometry

abstract: Peng Wu recently announced a beautiful characterization of conformally Kaehler, Einstein metrics of positive scalar curvature on compact oriented 4-manifolds via the condition det (W^+) > 0. In this note, we buttress his claim by providing an entirely different proof of his result. We then present further consequences of our method, which builds on techniques previously developed in (LeBrun 2015).


title: Structure of POVM based Resource Theory of Coherence

abstract: Emerging from superposition principle, resource theory of coherence plays crucial role in many information processing tasks. Recently, a generalization to this resource theory were investigated with respect to arbitrary positive operator valued measurement (POVM). Here we introduce the notion of Block Incoherent Operation (BIO), Strictly Block Incoherent Operation (SBIO) and Physically Block Incoherent Operation (PBIO) and provide analytical expression for Kraus operators of these operations. These free operations would be helpful to find out conditions of state transformations and could be implemented in various protocols. Characterization of these free operations in POVM based framework is also considered in this work. We provide upper bounds on maximum number of Kraus operators for BIO and also for SBIO.


title: Safe Control Algorithms Using Energy Functions: A Unified Framework, Benchmark, and New Directions

abstract: Safe autonomy is important in many application domains, especially for applications involving interactions with humans. Existing safe control algorithms are similar to one another in the sense that: they all provide control inputs to maintain a low value of an energy function that measures safety. In different methods, the energy function is called a potential function, a safety index, or a barrier function. The connections and relative advantages among these methods remain unclear. This paper introduces a unified framework to derive safe control laws using energy functions. We demonstrate how to integrate existing controllers based on potential field method, safe set algorithm, barrier function method, and sliding mode algorithm into this unified framework. In addition to theoretical comparison, this paper also introduces a benchmark which implements and compares existing methods on a variety of problems with different system dynamics and interaction modes. Based on the comparison results, a new method, called the sublevel safe set algorithm, is derived under the unified framework by optimizing the hyperparameters. The proposed algorithm achieves the best performance in terms of safety and efficiency on the vast majority of benchmark tests.


title: Numerical simulation of rolling pad instability in cuboid liquid metal batteries

abstract: The rolling pad instability is caused by electromagnetic interactions in systems of horizontal layers with strongly different electric conductivities. We analyze the instability for a simplified model of a liquid metal battery (LMB), a promising device for large-scale stationary energy storage. Numerical simulations of the flow and the dynamics of electromagnetically coupled interfacial waves are performed using OpenFOAM. The work confirms the earlier conclusions that the instability is a significant factor affecting battery's operation. The critical role played by the ratio between the density differences across the two interfaces is elucidated. It is found that the ratio determines the stability characteristics and the type (symmetrically or antisymmetrically coupled) of dominant interfacial waves.


title: Towards Active Robotic Vision in Agriculture: A Deep Learning Approach to Visual Servoing in Occluded and Unstructured Protected Cropping Environments

abstract: 3D Move To See (3DMTS) is a mutli-perspective visual servoing method for unstructured and occluded environments, like that encountered in robotic crop harvesting. This paper presents a deep learning method, Deep-3DMTS for creating a single-perspective approach for 3DMTS through the use of a Convolutional Neural Network (CNN). The novel method is developed and validated via simulation against the standard 3DMTS approach. The Deep-3DMTS approach is shown to have performance equivalent to the standard 3DMTS baseline in guiding the end effector of a robotic arm to improve the view of occluded fruit (sweet peppers): end effector final position within 11.4 mm of the baseline; and an increase in fruit size in the image by a factor of 17.8 compared to the baseline of 16.8 (avg.).


title: Geodesic structure of a rotating regular black hole

abstract: We examine the dynamics of particles around a rotating regular black hole. In particular we focus on the effects of the characteristic length parameter of the spinning black hole on the motion of the particles by solving the equation of orbital motion. We have found that there is a fourth constant of motion that determines the dynamics of orbits out the equatorial plane similar as in the Kerr black hole. Through detailed analyses of the corresponding effective potentials for massive particles the possible orbits are numerically simulated. A comparison with the trajectories in a Kerr spacetime shows that the differences appear when the black holes rotate slowly for large values of the characteristic length parameter.


title: DoorGym: A Scalable Door Opening Environment And Baseline Agent

abstract: In order to practically implement the door opening task, a policy ought to be robust to a wide distribution of door types and environment settings. Reinforcement Learning (RL) with Domain Randomization (DR) is a promising technique to enforce policy generalization, however, there are only a few accessible training environments that are inherently designed to train agents in domain randomized environments. We introduce DoorGym, an open-source door opening simulation framework designed to utilize domain randomization to train a stable policy. We intend for our environment to lie at the intersection of domain transfer, practical tasks, and realism. We also provide baseline Proximal Policy Optimization and Soft Actor-Critic implementations, which achieves success rates between 0% up to 95% for opening various types of doors in this environment. Moreover, the real-world transfer experiment shows the trained policy is able to work in the real world. Environment kit available here: https://github.com/PSVL/DoorGym/


title: Influence of the Vacuum Polarization Effect on the Motion of Charged Particles in the Magnetic Field around a Schwarzschild Black Hole

abstract: The consequences of the vacuum polarization effect in magnetic fields around a Schwarzschild Black Hole on the motion of charged particles are investigated in this work. Using the weak electromagnetic field approximation, we discuss the non-minimal coupling between magnetic fields and gravity caused by the vacuum polarization and study the equations of motion for the case of a magnetic field configuration which asymptotically approaches a dipole magnetic field. It is shown that the presence of non-minimal coupling can significantly influence the motion of charged particles around Black Holes. In particular, the vacuum polarization effect, leading to strong amplification or suppression of the magnetic field strength around the event horizon (depending on the sign of the coupling parameter), can affect the scattering angle and minimal distance for the electrons moving in the gravitational field of the Black Hole as well as the dependence of these parameters on the asymptotic magnetic field strength, initial distance and the Black Hole mass. It is further demonstrated that the non-minimal coupling between gravity and astrophysical magnetic fields, caused by the vacuum polarization, can cause significant changes of the parameter space corresponding to bound trajectories around the Black Hole. In certain cases, the bounded or unbounded character of a trajectory is determined solely by the presence of non-minimal coupling and its strength. These effects could in principle be used as observational signatures of the vacuum polarization effect and also to constrain the value of the coupling parameter.


title: Concury: A Fast and Light-weighted Software Load Balancer

abstract: A load balancer (LB) is a vital network function for cloud services to balance the load amongst resources. Stateful software LBs that run on commodity servers provides flexibility, cost-efficiency, and packet consistency. However current designs have two main limitations: 1) states are stored as digests which may cause packet inconsistency due to digest collisions; 2) the data plane needs to update for every new connection, and frequent updates hurt throughput and packet consistency. In this work, we present a new software stateful LB called Concury, which is the first solution to solve these problems. The key innovation of Concury is an algorithmic approach to store and look up large network states with frequent connection arrivals, which is succinct in memory cost, consistent under network changes, and incurs infrequent data plane updates. The evaluation results show that the Concury algorithm provides 4x throughput and consumes less memory compared to other LB algorithms, while providing weighted load balancing and false-hit freedom, for both real and synthetic data center traffic. We implement Concury as a prototype system deployed in CloudLab and show that the throughput of Concury on a single thread can reach 62.5% of the maximum capacity of two 10GbE NICs and that on two threads can reach the maximum capacity.


title: Generalized Fourier--Feynman transforms and generalized convolution products on Wiener space II

abstract: The purpose of this article is to present the second type fundamental relationship between the generalized Fourier--Feynman transform and the generalized convolution product on Wiener space. The relationships in this article are also natural extensions (to the case on an infinite dimensional Banach space) of the structure which exists between the Fourier transform and the convolution of functions on Euclidean spaces.


title: Teaching Forced Damped Oscillator Using RLC Circuit Through Inverse Modeling

abstract: Teaching by direct models in science has been weakening the learning process of the students, because the real problems in engineering are not solved by direct models instead commonly they are solved by inverse models. On the other hand, one of the most relevant topics in the course of waves and particle physics oriented for the forming engineers; it's the subject of simple harmonic motion forced damping, which many physical phenomena can be explained as the quality factor Q and the resonance frequency of an oscillatory forced system. In order to capture the attention of students and give an application to this issue. We have developed an experimental setup to take measurements of electric current, voltages from capacitor and inductor for different frequencies and resistances, once the experimental data were collected to study the behavior of the electrical current inside the circuit and find out the RLC parameters with an inverse model. Finally, we want to show the process in detail how parameters of the system (Resistance, Inductance and Capacitance values) are very relevant in this kind of systems, from the results obtained by experimental measurements of voltage, current and angle of phase shift, where this was achieved by implementing an indirect method described in this document, so that can be applied to studies of more complex systems such as a motor where such parameters may be unknown.


title: A new unified stabilized mixed finite element method of the Stokes-Darcy coupled problem: Isotropic discretization

abstract: In this paper we develop an a priori error analysis of a new unified mixed finite element method for the coupling of fluid flow with porous media flow in $\mathbb{R}^N$, $N\in\{2,3\}$ on isotropic meshes. Flows are governed by the Stokes and Darcy equations, respectively, and the corresponding transmission conditions are given by mass conservation, balance of normal forces, and the Beavers-Joseph-Saffman law. The approach utilizes a modification of the Darcy problem which allows us to apply a variant nonconforming Crouzeix-Raviart finite element to the whole coupled Stokes-Darcy problem. The well-posedness of the finite element scheme and its convergence analysis are derived. Finally, the numerical experiments are presented, which confirm the excellent stability and accuracy of our method.


title: A Long-term photometric variability and spectroscopic study of luminous blue variable AF And in M31

abstract: We present photometric and spectroscopic analysis of the Hubble Sandage variable AF And in M31. The data has been taken under the Nainital Microlensing Survey during 1998-2002 and follow-up observations were carried out until 2011. During this period, photometric observations in Cousins R and I bands were obtained for 169 nights spanning over about 5000 days. AF And has shown a prominent outburst around mid-January in 1999 followed by a gradual decrease in brightness of about 1.5 mag in the next 3 years with a declining rate of ~0.0015 mag/day leading to a quiescent phase at the end of 2001. After lying low for about 9 years, AF And again went through a secondary outburst phase in late 2010 with an amplitude of 0.44 mag where it lasted for one year before fading back to its quiescence phase. The spectroscopic observations of AF And show prominent Balmer and He I emission lines along with the comparatively weaker FeII and [FeII] emissions. Asymmetric emission line profiles in its spectrum imply the mass loss rate of about 2.2x10^{-4} solar mass per yr through the stellar winds in the photosphere. Using SED fitting, we find the photospheric temperature of 33,000+/-3000 K during the visual minimum. Using a weak P Cygni profile of HeI emission line, the wind terminal velocity for AF And is found to be around 280-300 km/s.


title: The Capacity of Smartphone Peer-to-Peer Networks

abstract: We study three capacity problems in the mobile telephone model, a network abstraction that models the peer-to-peer communication capabilities implemented in most commodity smartphone operating systems. The capacity of a network expresses how much sustained throughput can be maintained for a set of communication demands, and is therefore a fundamental bound on the usefulness of a network. Because of this importance, wireless network capacity has been active area of research for the last two decades. The three capacity problems that we study differ in the structure of the communication demands. The first problem is pairwise capacity, where the demands are (source, destination) pairs. Pairwise capacity is one of the most classical definitions, as it was analyzed in the seminal paper of Gupta and Kumar on wireless network capacity. The second problem we study is broadcast capacity, in which a single source must deliver packets to all other nodes in the network. Finally, we turn our attention to all-to-all capacity, in which all nodes must deliver packets to all other nodes. In all three of these problems we characterize the optimal achievable throughput for any given network, and design algorithms which asymptotically match this performance. We also study these problems in networks generated randomly by a process introduced by Gupta and Kumar, and fully characterize their achievable throughput. Interestingly, the techniques that we develop for all-to-all capacity also allow us to design a one-shot gossip algorithm that runs within a polylogarithmic factor of optimal in every graph. This largely resolves an open question from previous work on the one-shot gossip problem in this model.


title: Plurisubharmonic Noncommutative Rational Functions

abstract: A noncommutative (nc) function in $x_1,\dots,x_g,x_1^*,\dots,x_g$ is called plurisubharmonic (plush) if its nc complex Hessian takes only positive semidefinite values on an nc neighborhood of 0. The main result of this paper shows that an nc rational function is plush if and only if it is a composite of a convex rational function with an analytic (no $x_j^*$) rational function. The proof is entirely constructive. Further, a simple computable necessary and sufficient condition for an nc rational function to be plush is given in terms of its minimal realization.


title: Representing Robot Task Plans as Robust Logical-Dynamical Systems

abstract: It is difficult to create robust, reusable, and reactive behaviors for robots that can be easily extended and combined. Frameworks such as Behavior Trees are flexible but difficult to characterize, especially when designing reactions and recovery behaviors to consistently converge to a desired goal condition. We propose a framework which we call Robust Logical-Dynamical Systems (RLDS), which combines the advantages of task representations like behavior trees with theoretical guarantees on performance. RLDS can also be constructed automatically from simple sequential task plans and will still achieve robust, reactive behavior in dynamic real-world environments. In this work, we describe both our proposed framework and a case study on a simple household manipulation task, with examples for how specific pieces can be implemented to achieve robust behavior. Finally, we show how in the context of these manipulation tasks, a combination of an RLDS with planning can achieve better results under adversarial conditions.