title: Asymmetric Line Profiles in Dense Molecular Clumps Observed in MALT90: Evidence for Global Collapse

abstract: Using molecular line data from the Millimetre Astronomy Legacy Team 90 GHz Survey (MALT90), we have searched the optically thick \hcop\, line for the "blue asymmetry" spectroscopic signature of infall motion in a large sample of high-mass, dense molecular clumps observed to be at different evolutionary stages of star cluster formation according to their mid-infrared appearance. To quantify the degree of the line asymmetry, we measure the asymmetry parameter $A = {{I_{blue}-I_{red}}\over{I_{blue}+I_{red}}}$, the fraction of the integrated intensity that lies to the blueshifted side of the systemic velocity determined from the optically thin tracer \nthp. For a sample of 1,093 sources, both the mean and median of $A$ are positive ($A = 0.083\pm0.010$ and $0.065\pm0.009$, respectively) with high statistical significance, and a majority of sources (a fraction of $0.607 \pm 0.015$ of the sample) show positive values of A, indicating a preponderance of blue-asymmetric profiles over red-asymmetric profiles. Two other measures, the local slope of the line at the systemic velocity and the $\delta v$ parameter of \citet{Mardones1997}, also show an overall blue asymmetry for the sample, but with smaller statistical significance. This blue asymmetry indicates that these high-mass clumps are predominantly undergoing gravitational collapse. The blue asymmetry is larger ($A \sim 0.12$) for the earliest evolutionary stages (quiescent, protostellar and compact H II region) than for the later H II region ($A \sim 0.06$) and PDR ($A \sim 0$) classifications.


title: Discourse in Multimedia: A Case Study in Information Extraction

abstract: To ensure readability, text is often written and presented with due formatting. These text formatting devices help the writer to effectively convey the narrative. At the same time, these help the readers pick up the structure of the discourse and comprehend the conveyed information. There have been a number of linguistic theories on discourse structure of text. However, these theories only consider unformatted text. Multimedia text contains rich formatting features which can be leveraged for various NLP tasks. In this paper, we study some of these discourse features in multimedia text and what communicative function they fulfil in the context. We examine how these multimedia discourse features can be used to improve an information extraction system. We show that the discourse and text layout features provide information that is complementary to lexical semantic information commonly used for information extraction. As a case study, we use these features to harvest structured subject knowledge of geometry from textbooks. We show that the harvested structured knowledge can be used to improve an existing solver for geometry problems, making it more accurate as well as more explainable.


title: Experimental study of the $\gamma p\rightarrow K^0\Sigma^+$, $\gamma n\rightarrow K^0\Lambda$, and $\gamma n\rightarrow K^0 \Sigma^0$ reactions at the Mainz Microtron

abstract: This work measured $d\sigma/d\Omega$ for neutral kaon photoproduction reactions from threshold up to a c.m.\ energy of 1855MeV, focussing specifically on the $\gamma p\rightarrow K^0\Sigma^+$, $\gamma n\rightarrow K^0\Lambda$, and $\gamma n\rightarrow K^0 \Sigma^0$ reactions. Our results for $\gamma n\rightarrow K^0 \Sigma^0$ are the first-ever measurements for that reaction. These data will provide insight into the properties of $N^*$ resonances and, in particular, will lead to an improved knowledge about those states that couple only weakly to the $\pi N$ channel. Integrated cross sections were extracted by fitting the differential cross sections for each reaction as a series of Legendre polynomials and our results are compared with prior experimental results and theoretical predictions.


title: Measuring Masking Fault-Tolerance

abstract: In this paper we introduce a notion of fault-tolerance distance between labeled transition systems. Intuitively, this notion of distance measures the degree of fault-tolerance exhibited by a candidate system. In practice, there are different kinds of fault-tolerance, here we restrict ourselves to the analysis of masking fault-tolerance because it is often a highly desirable goal for critical systems. Roughly speaking, a system is masking fault-tolerant when it is able to completely mask the faults, not allowing these faults to have any observable consequences for the users. We capture masking fault-tolerance via a simulation relation, which is accompanied by a corresponding game characterization. We enrich the resulting games with quantitative objectives to define the notion of masking fault-tolerance distance. Furthermore, we investigate the basic properties of this notion of masking distance, and we prove that it is a directed pseudo metric. We have implemented our approach in a prototype tool that automatically compute the masking distance between a nominal system and a fault-tolerant version of it. We have used this tool to measure the masking tolerance of multiple instances of several case studies


title: An Analysis of the Semantic Annotation Task on the Linked Data Cloud

abstract: Semantic annotation, the process of identifying key-phrases in texts and linking them to concepts in a knowledge base, is an important basis for semantic information retrieval and the Semantic Web uptake. Despite the emergence of semantic annotation systems, very few comparative studies have been published on their performance. In this paper, we provide an evaluation of the performance of existing systems over three tasks: full semantic annotation, named entity recognition, and keyword detection. More specifically, the spotting capability (recognition of relevant surface forms in text) is evaluated for all three tasks, whereas the disambiguation (correctly associating an entity from Wikipedia or DBpedia to the spotted surface forms) is evaluated only for the first two tasks. Our evaluation is twofold: First, we compute standard precision and recall on the output of semantic annotators on diverse datasets, each best suited for one of the identified tasks. Second, we build a statistical model using logistic regression to identify significant performance differences. Our results show that systems that provide full annotation perform better than named entities annotators and keyword extractors, for all three tasks. However, there is still much room for improvement for the identification of the most relevant entities described in a text.


title: Neural Wavetable: a playable wavetable synthesizer using neural networks

abstract: We present Neural Wavetable, a proof-of-concept wavetable synthesizer that uses neural networks to generate playable wavetables. The system can produce new, distinct waveforms through the interpolation of traditional wavetables in an autoencoder's latent space. It is available as a VST/AU plugin for use in a Digital Audio Workstation.


title: Phase locking of a pair of nano ferromagnetic oscillators on a topological insulator

abstract: We investigate the magnetization dynamics of a pair of ferromagnetic insulators (FMIs) deposited on the surface of a topological insulator (TI). Due to the nonlinear nature of the underlying physics and intrinsic dynamics, the FMIs can exhibit oscillatory behaviors even under a constant applied voltage. The motion of the surface electrons of the TI, which obeys relativistic quantum mechanics, provides a mechanism of direct coupling between the FMIs. In particular, the spin polarized current of the TI surface electrons can affect the magnetization of the two FMIs, which in turn modulates the electron transport, giving rise to a hybrid relativistic quantum/classical nonlinear dynamical system. We find robust phase and anti-phase locking between the magnetization dynamics. As driving the surface electrons of a TI only requires extremely low power, our finding suggests that nano FMIs coupled by a spin polarized current on the surface of TI have the potential to serve as the fundamental building blocks of unconventional, low-power computing paradigms.


title: Viterbo conjecture for Zoll symmetric spaces

abstract: We prove a conjecture of Viterbo from 2007 on the existence of a uniform bound on the Lagrangian spectral norm of Hamiltonian deformations of the zero section in unit cotangent disk bundles, for bases given by compact rank one symmetric spaces $S^n, \mathbb{R} P^n, \mathbb{C} P^n, \mathbb{H} P^n,$ $n\geq 1.$ We discuss generalizations and give applications, in particular to $C^0$ symplectic topology. Our key methods, which are of independent interest, consist of a reinterpretation of the spectral norm via the asymptotic behavior of a family of cones of filtered morphisms, and a quantitative deformation argument for Floer persistence modules, that allows to excise a divisor.


title: Corpus Phonetics Tutorial

abstract: Corpus phonetics has become an increasingly popular method of research in linguistic analysis. With advances in speech technology and computational power, large scale processing of speech data has become a viable technique. This tutorial introduces the speech scientist and engineer to various automatic speech processing tools. These include acoustic model creation and forced alignment using the Kaldi Automatic Speech Recognition Toolkit (Povey et al., 2011), forced alignment using FAVE-align (Rosenfelder et al., 2014), the Montreal Forced Aligner (McAuliffe et al., 2017), and the Penn Phonetics Lab Forced Aligner (Yuan & Liberman, 2008), as well as stop consonant burst alignment using AutoVOT (Keshet et al., 2014). The tutorial provides a general overview of each program, step-by-step instructions for running the program, as well as several tips and tricks.


title: Nuclear Matrix Elements for Neutrinoless Double Beta Decay from Lattice QCD

abstract: While neutrino oscillation experiments have demonstrated that neutrinos have small, nonzero masses, much remains unknown about their properties and decay modes. One potential decay mode --- neutrinoless double beta decay ($0 \nu \beta \beta$) --- is a particularly interesting target of experimental searches, since its observation would imply that the neutrino is a Majorana particle, demonstrate that lepton number conservation is violated in nature, and give further constraints on the neutrino masses and mixing angles. Relating experimental constraints on $0 \nu \beta \beta$ decay rates to the neutrino masses, however, requires theoretical input in the form of non-perturbative nuclear matrix elements which remain difficult to calculate reliably. In this talk we will discuss progress towards first-principles calculations of relevant nuclear matrix elements using lattice QCD and effective field theory techniques, assuming neutrinoless double beta decay mediated by a light Majorana neutrino. We will show preliminary results for the $\pi^{-} \rightarrow \pi^{+} e^{-} e^{-}$ transition amplitude computed on a $16^{3} \times 32$ domain wall fermion lattice with a pion mass of 420 MeV, and discuss improved methods applicable to general lattice calculations of $0 \nu \beta \beta$ decay amplitudes.


title: Identification and estimation of multinomial choice models with latent special covariates

abstract: Identification of multinomial choice models is often established by using special covariates that have full support. This paper shows how these identification results can be extended to a large class of multinomial choice models when all covariates are bounded. I also provide a new $\sqrt{n}$-consistent asymptotically normal estimator of the finite-dimensional parameters of the model.


title: Microparticles self-assembly induced by travelling surface acoustic waves

abstract: We present an acoustofluidic method based on travelling surface acoustic waves (TSAWs) for the induction of the self-assembly of microparticles inside a microfluidic channel. The particles are trapped above an interdigitated transducer, placed directly beneath the microchannel, by the TSAW-based direct acoustic radiation force (ARF). This approach was applied to 10 {\mu}m polystyrene particles, which were pushed towards the ceiling of the microchannel by 72 MHz TSAWs to form single- and multiple-layer colloidal structures. The repair of cracks and defects within the crystal lattice occurs as part of the self-assembly process. The sample flow through the first inlet can be switched with a buffer flow through a second inlet to control the number of particles in the crystalline structure. The constant flow-induced Stokes drag force on the parti-cles is balanced by the opposing TSAW-based ARF. This force balance is essential for the acoustics-based self-assembly of microparticles inside the microchannel. Moreover, we studied the effects of varying the input voltage and fluid flow rate on the position and shape of the colloidal structure. The active self-assembly of microparticles into crystals with multiple layers can be used in the bottom-up fabrication of colloidal structures with dimensions greater than 500 {\mu}m x 500 {\mu}m, which is expected to have important applications in various fields.


title: A Two-Sided-Loop X-Ray Solar Coronal Jet Driven by a Minifilament Eruption

abstract: Most of the commonly discussed solar coronal jets are of the type consisting of a single spire extending approximately vertically from near the solar surface into the corona. Recent research supports that eruption of a miniature filament (minifilament) drives many such single-spire jets, and concurrently generates a miniflare at the eruption site. A different type of coronal jet, identified in X-ray images during the Yohkoh era, are two-sided-loop jets, which extend from a central excitation location in opposite directions, along low-lying coronal loops more-or-less horizontal to the surface. We observe such a two-sided-loop jet from the edge of active region (AR) 12473, using data from Hinode XRT and EIS, and SDO AIA and HMI. Similar to single-spire jets, this two-sided-loop jet results from eruption of a minifilament, which accelerates to over 140 km/s before abruptly stopping after striking overlying nearly-horizontal loop field at about 30,000 km altitude and producing the two-sided-loop jet. Analysis of EIS raster scans show that a hot brightening, consistent with a small flare, develops in the aftermath of the eruption, and that Doppler motions (approx 40 km/s) occur near the jet-formation region. As with many single-spire jets, the magnetic trigger here is apparently flux cancelation, which occurs at a rate of approx 4x10^18 Mx/hr, comparable to the rate observed in some single-spire AR jets. An apparent increase in the (line-of-sight) flux occurs within minutes of onset of the minifilament eruption, consistent with the apparent increase being due to a rapid reconfiguration of low-lying field during and soon after minifilament-eruption onset.


title: On necessary and sufficient conditions for strong hyperbolicity

abstract: In this work we study constant-coefficient first order systems of partial differential equations and give necessary and sufficient conditions for those systems to have a well posed Cauchy Problem. In many physical applications, due to the presence of constraints, the number of equations in the PDE system is larger than the number of unknowns, thus the standard Kreiss conditions can not be directly applied to check whether the system admits a well posed initial value formulation. In this work we find necessary and sufficient conditions such that there exists a reduced set of equations, of the same dimensionality as the set of unknowns, which satisfy Kreiss conditions and so are well defined and properly behaved evolution equations. We do that by studying the systems using the Kronecker decomposition of matrix pencils and, once the conditions are meet, finding specific families of reductions which render the system strongly hyperbolic. We show the power of the theory in some examples: Klein Gordon, the ADM, and the BSSN equations by writing them as first order systems, and studying their Kronecker decomposition and general reductions.


title: Can Fermi energy be determined by heating and/or cooling a copper wire?

abstract: Fermi energy, which is a theoretical concept, has been explored in an experiment for a copper wire. In this article, scientific validity of this experiment is discussed. A correct method to determine Fermi energy is also discussed.


title: A fresh look at ignorability for likelihood inference

abstract: When data are incomplete, a random vector Y for the data process together with a binary random vector R for the process that causes missing data, are modelled jointly. We review conditions under which R can be ignored for drawing likelihood inferences about the distribution for Y. The standard approach of Rubin (1976) and Seaman et. al. (2013) Statist. Sci., 28:2 pp. 257--268 emulates complete-data methods exactly, and directs an investigator to choose a full model in which missing at random (MAR) and distinct of parameters holds if the goal is not to use a full model. Another interpretation of ignorability lurking in the literature considers ignorable likelihood estimation independently of any model for the conditional distribution R given Y. We discuss shortcomings of the standard approach, and argue that the alternative gives the `right' conditions for ignorability because it treats the problem on its merits, rather than emulating methodology developed for when the investigator is in possession of all of the data.


title: A New SVDD-Based Multivariate Non-parametric Process Capability Index

abstract: Process capability index (PCI) is a commonly used statistic to measure ability of a process to operate within the given specifications or to produce products which meet the required quality specifications. PCI can be univariate or multivariate depending upon the number of process specifications or quality characteristics of interest. Most PCIs make distributional assumptions which are often unrealistic in practice. This paper proposes a new multivariate non-parametric process capability index. This index can be used when distribution of the process or quality parameters is either unknown or does not follow commonly used distributions such as multivariate normal.


title: Optimal realistic attacks in continuous-variable quantum key distribution

abstract: Quantum cryptographic protocols are typically analysed by assuming that potential opponents can carry out all physical operations, an assumption which grants capabilities far in excess of present technology. Adjusting this assumption to reflect more realistic capabilities is an attractive prospect, but one that can only be justified with a rigorous, quantitative framework that relates adversarial restrictions to the protocols security and performance. We investigate the effect of limitations on the eavesdropper's (Eve's) ability to make a coherent attack on the security of continuous-variable quantum key distribution (CV-QKD). We consider a realistic attack, in which the total decoherence induced during the attack is modelled by a Gaussian channel. Based on our decoherence model we propose an optimal hybrid attack, which allows Eve to perform a combination of both coherent and individual attacks simultaneously. We evaluate the asymptotic and composable finite-size security of a heterodyne CV-QKD protocol against such hybrid attacks in terms of Eve's decoherence. We show that when the decoherence is greater than a threshold value, Eve's most effective strategy is reduced to the individual attack. Thus, if we are willing to assume that the decoherence caused by the memory and the collective measurement is large enough, it is sufficient to analyse the security of the protocol only against individual attacks, which significantly improves the CV-QKD performance in terms of both the key rate and the maximum secure transmission distance.


title: Text Assisted Insight Ranking Using Context-Aware Memory Network

abstract: Extracting valuable facts or informative summaries from multi-dimensional tables, i.e. insight mining, is an important task in data analysis and business intelligence. However, ranking the importance of insights remains a challenging and unexplored task. The main challenge is that explicitly scoring an insight or giving it a rank requires a thorough understanding of the tables and costs a lot of manual efforts, which leads to the lack of available training data for the insight ranking problem. In this paper, we propose an insight ranking model that consists of two parts: A neural ranking model explores the data characteristics, such as the header semantics and the data statistical features, and a memory network model introduces table structure and context information into the ranking process. We also build a dataset with text assistance. Experimental results show that our approach largely improves the ranking precision as reported in multi evaluation metrics.


title: Controlling optical memory effects in disordered media with coated metamaterials

abstract: Most applications of memory effects in disordered optical media, such as the tilt-tilt and shift-shift spatial correlations, have focused on imaging through and inside biological tissues. Here we put forward a metamaterial platform not only to enhance but also to tune memory effects in random media. Specifically, we investigate the shift-shift and tilt-tilt spatial correlations in metamaterials composed of coated spheres and cylinders by means of the radiative transfer equation. Based on the single-scattering phase function, we calculate the translation correlations in anisotropically scattering media with spherical or cylindrical geometries and find a simple relation between them. We show that the Fokker-Planck model can be used with the small-angle approximation to obtain the shift-tilt memory effect with ballistic light contribution. By considering a two-dimensional scattering system, composed of thick dielectric cylinders coated with subwavelength layers of thermally tunable magneto-optical semiconductors, we suggest the possibility of tailoring and controlling the shift-shift and tilt-tilt memory effects in light scattering. In particular, we show that the generalized memory effect can be enhanced by increasing the temperature of the system, and it can be decreased by applying an external magnetic field. Altogether our findings unveil the potential applications that metamaterial systems may have to control externally memory effects in disordered media.


title: Nonlinear waves of Bose-Einstein condensates in rotating ring lattice potentials

abstract: We analyze the dynamics of Bose-Einstein condensates loaded in rotating ring lattices made of a few sites, and show how rotation maps the states found in this finite system into those belonging to a static infinite lattice. Ring currents and soliton states in the absence of a lattice find their continuation in the presence of the lattice as nonlinear Bloch waves and soliton-like states connecting them. Both bright gap solitons and dark-soliton trains are shown to connect continuously to linear solutions. The existence of adiabatic paths upon varying rotation frequency between states with quantized supercurrents suggests highly controllable methods for the experimental generation of persistent currents.


title: Region-Referenced Spectral Power Dynamics of EEG Signals: A Hierarchical Modeling Approach

abstract: Functional brain imaging through electroencephalography (EEG) relies upon the analysis and interpretation of high-dimensional, spatially organized time series. We propose to represent time-localized frequency domain characterizations of EEG data as region-referenced functional data. This representation is coupled with a hierarchical modeling approach to multivariate functional observations. Within this familiar setting, we discuss how several prior models relate to structural assumptions about multivariate covariance operators. An overarching modeling framework, based on infinite factorial decompositions, is finally proposed to balance flexibility and efficiency in estimation. The motivating application stems from a study of implicit auditory learning, in which typically developing (TD) children, and children with autism spectrum disorder (ASD) were exposed to a continuous speech stream. Using the proposed model, we examine differential band power dynamics as brain function is interrogated throughout the duration of a computer-controlled experiment. Our work offers a novel look at previous findings in psychiatry, and provides further insights into the understanding of ASD. Our approach to inference is fully Bayesian and implemented in a highly optimized Rcpp package.


title: Estimation of High-Dimensional Seemingly Unrelated Regression Models

abstract: In this paper, we investigate seemingly unrelated regression (SUR) models that allow the number of equations (N) to be large, and to be comparable to the number of the observations in each equation (T). It is well known in the literature that the conventional SUR estimator, for example, the generalized least squares (GLS) estimator of Zellner (1962) does not perform well. As the main contribution of the paper, we propose a new feasible GLS estimator called the feasible graphical lasso (FGLasso) estimator. For a feasible implementation of the GLS estimator, we use the graphical lasso estimation of the precision matrix (the inverse of the covariance matrix of the equation system errors) assuming that the underlying unknown precision matrix is sparse. We derive asymptotic theories of the new estimator and investigate its finite sample properties via Monte-Carlo simulations.


title: Number of Particles in Fission Fragments

abstract: In current simulations of fission, the number of protons and neutrons in a given fission fragment is almost always obtained by integrating the total density of particles in the sector of space that contains the fragment. Because of the antisymmetry of the many-body wave function of the whole nucleus, this procedure systematically gives noninteger numbers of particles in the fragments. We introduce a novel sampling method to estimate rigorously the probability of finding $Z$ protons and $N$ neutrons in a fission fragment without resorting to projectors, which can sometimes give unwieldy results. When applied on standard Hartree-Fock-Bogoliubov many-body states, we show that our approach reproduces indeed the results of full particle-number projection. We then estimate the charge and mass number dispersion of several scission configurations in $^{240}$Pu with and without pairing correlations included. We show that odd-even effects in the charge probability naturally occur within our approach, which could explain the well-known odd-even staggering of charge distributions. Our method is applicable either in static calculations of scission configurations such as, e.g., in the macroscopic-microscopic approach or energy density functional theory, but also in explicitly time-dependent density functional theory simulations of fission.


title: Cross-lingual Short-text Matching with Deep Learning

abstract: The problem of short text matching is formulated as follows: given a pair of sentences or questions, a matching model determines whether the input pair mean the same or not. Models that can automatically identify questions with the same meaning have a wide range of applications in question answering sites and modern chatbots. In this article, we describe the approach by team hahu to solve this problem in the context of the "CIKM AnalytiCup 2018 - Cross-lingual Short-text Matching of Question Pairs" that is sponsored by Alibaba. Our solution is an end-to-end system based on current advances in deep learning which avoids heavy feature-engineering and achieves improved performance over traditional machine-learning approaches. The log-loss scores for the first and second rounds of the contest are 0.35 and 0.39 respectively. The team was ranked 7th from 1027 teams in the overall ranking scheme by the organizers that consisted of the two contest scores as well as: innovation and system integrity, understanding data as well as practicality of the solution for business.


title: Conformal immersion of Riemannian products in low codimension

abstract: We proved that a conformal immersion of $M_0^{n_0}\times M_1^{n_1}$ as an hipersurface in a Euclidean space must be an extrinsic product of immersions, under the assumption that $n_0, n_1 \geq 2$ and that $M^{n_0}_0\times M^{n_1}_1$ is not conformally flat. We also stated a similar theorem for an arbitrary number of factors, more precisely, a conformal immersion $f\colon M^{n_0}_0 \times \cdots \times M^{n_k}_k \rightarrow \mathbb{R}^{n+k}$ must be an extrinsic product of immersions if one of the factors admits a plane with vanishing curvature and the remaining factors are not flat.


title: Consensus and Sectioning-based ADMM with Norm-1 Regularization for Imaging with a Compressive Reflector Antenna

abstract: This paper presents three distributed techniques to find a sparse solution of the underdetermined linear problem $\textbf{g}=\textbf{Hu}$ with a norm-1 regularization, based on the Alternating Direction Method of Multipliers (ADMM). These techniques divide the matrix $\textbf{H}$ in submatrices by rows, columns, or both rows and columns, leading to the so-called consensus-based ADMM, sectioning-based ADMM, and consensus and sectioning-based ADMM, respectively. These techniques are applied particularly for millimeter-wave imaging through the use of a Compressive Reflector Antenna (CRA). The CRA is a hardware designed to increase the sensing capacity of an imaging system and reduce the mutual information among measurements, allowing an effective imaging of sparse targets with the use of Compressive Sensing (CS) techniques. Consensus-based ADMM has been proved to accelerate the imaging process and sectioning-based ADMM has shown to highly reduce the amount of information to be exchange among the computational nodes. In this paper, the mathematical formulation and graphical interpretation of these two techniques, together with the consensus and sectioning-based ADMM approach, are presented. The imaging quality, the imaging time, the convergence, and the communication efficiency among the nodes are analyzed and compared. The distributed capabitities of the ADMM-based approaches, together with the high sensing capacity of the CRA, allow the imaging of metallic targets in a 3D domain in quasi-real time with a reduced amount of information exchanged among the nodes.


title: High Resolution Near-Infrared Spectroscopy of Cool Dwarf Stars

abstract: We present results from a near infrared survey of the He I line (10830 Angstrom) in cool dwarf stars taken with the PHOENIX spectrograph at the 4-m Mayall telescope at Kitt Peak National Observatory. Spectral synthesis of this region reproduces some but not all atomic and molecular features. The equivalent width of the He line appears directly correlated with the soft X-ray stellar surface flux except among the coolest M dwarf stars, where the helium is surprisingly weak.


title: From Steklov to Neumann and beyond, via Robin: the Szeg\H{o} way

abstract: The second eigenvalue of the Robin Laplacian is shown to be maximal for the disk among simply-connected planar domains of fixed area when the Robin parameter is scaled by perimeter in the form $\alpha/L(\Omega)$, and $\alpha$ lies between $-2\pi$ and $2\pi$. Corollaries include Szeg\H{o}'s sharp upper bound on the second eigenvalue of the Neumann Laplacian under area normalization, and Weinstock's inequality for the first nonzero Steklov eigenvalue for simply-connected domains of given perimeter. The first Robin eigenvalue is maximal, under the same conditions, for the degenerate rectangle. When area normalization on the domain is changed to conformal mapping normalization and the Robin parameter is positive, the maximiser of the first eigenvalue changes back to the disk.


title: A Sacks indestructible co-analytic maximal eventually different family

abstract: In the constructible universe, we construct a co-analytic maximal family of pairwise eventually different functions from $\mathbb{N}$ to $\mathbb{N}$ which remains maximal after adding arbitrarily many Sacks reals (by a countably supported iteration or product).


title: An Overview of Semiparametric Extensions of Finite Mixture Models

abstract: Finite mixture models have been a very important tool for exploring complex data structures in many scientific areas, for example, economics, epidemiology, finance. In the past decade, semiparametric techniques have been popularly introduced into traditional finite mixture models, and so semiparametric mixture models have experienced exciting development in methodologies, theories and applications. In this article, we provide a selective overview of newly-developed semiparametric mixture models, discuss their estimation methodologies, theoretical properties if applied, and some open questions. Recent developments and some open questions are also discussed.


title: A theory to describe emergent properties of composite F-actin and vimentin networks

abstract: The synthetic biopolymeric gels demand a great interest as bio-materials to mimic many biological scaffolding structures, which can contribute to a better understanding of the cytoskeleton-like structural building blocks and soft nanotechnology. In particular semiflexible F-actin and vimentin intermediate filaments (IF) form complex networks, and are key regulators of cellular stiffness. While the mechanics of F-actin networks or IF have already been characterised, the interaction between this two networks is largely unknown. Experimental studies using large deformations rheology show that co-polymerisation of F-actin and IF can produce composite networks either stronger or weaker than pure F-actin networks. We theoretically verify these effects developing a model into the framework of nonlinear continuum mechanics, in which we define a free energy functional considering the role of the entropic-elastic for semiflexible networks with transient crosslinks and also an energetic term to describe the interaction parameter which allows the coupling among the two networks. We validate the theoretical model with measurements performed performed by Jensen et al. on large deformations rheological experiments with different concentrations of actin and vimentin


title: Aequitas: A Bias and Fairness Audit Toolkit

abstract: Recent work has raised concerns on the risk of unintended bias in AI systems being used nowadays that can affect individuals unfairly based on race, gender or religion, among other possible characteristics. While a lot of bias metrics and fairness definitions have been proposed in recent years, there is no consensus on which metric/definition should be used and there are very few available resources to operationalize them. Therefore, despite recent awareness, auditing for bias and fairness when developing and deploying AI systems is not yet a standard practice. We present Aequitas, an open source bias and fairness audit toolkit that is an intuitive and easy to use addition to the machine learning workflow, enabling users to seamlessly test models for several bias and fairness metrics in relation to multiple population sub-groups. Aequitas facilitates informed and equitable decisions around developing and deploying algorithmic decision making systems for both data scientists, machine learning researchers and policymakers.


title: Fog Robotics for Efficient, Fluent and Robust Human-Robot Interaction

abstract: Active communication between robots and humans is essential for effective human-robot interaction. To accomplish this objective, Cloud Robotics (CR) was introduced to make robots enhance their capabilities. It enables robots to perform extensive computations in the cloud by sharing their outcomes. Outcomes include maps, images, processing power, data, activities, and other robot resources. But due to the colossal growth of data and traffic, CR suffers from serious latency issues. Therefore, it is unlikely to scale a large number of robots particularly in human-robot interaction scenarios, where responsiveness is paramount. Furthermore, other issues related to security such as privacy breaches and ransomware attacks can increase. To address these problems, in this paper, we have envisioned the next generation of social robotic architectures based on Fog Robotics (FR) that inherits the strengths of Fog Computing to augment the future social robotic systems. These new architectures can escalate the dexterity of robots by shoving the data closer to the robot. Additionally, they can ensure that human-robot interaction is more responsive by resolving the problems of CR. Moreover, experimental results are further discussed by considering a scenario of FR and latency as a primary factor comparing to CR models.


title: Accurate front capturing asymptotic preserving scheme for nonlinear gray radiative transfer equation

abstract: We develop an asymptotic preserving scheme for the gray radiative transfer equation. Two asymptotic regimes are considered: one is a diffusive regime described by a nonlinear diffusion equation for the material temperature; the other is a free streaming regime with zero opacity. To alleviate the restriction on time step and capture the correct front propagation in the diffusion limit, an implicit treatment is crucial. However, this often involves a large-scale nonlinear iterative solver as the spatial and angular dimensions are coupled. Our idea is to introduce an auxiliary variable that leads to a ``redundant" system, which is then solved with a three-stage update: prediction, correction, and projection. The benefit of this approach is that the implicit system is local to each spatial element, independent of angular variable, and thus only requires a scalar Newton's solver. We also introduce a spatial discretization with a compact stencil based on even-odd decomposition. Our method preserves both the nonlinear diffusion limit with correct front propagation speed and the free streaming limit, with a hyperbolic CFL condition.


title: Measurements of Flow Velocity and Scalar Concentration in Turbulent Multi-component Jets: Asymmetry and Buoyancy Effects

abstract: Buoyancy effects and nozzle geometry can have a significant impact on turbulent jet dispersion. This work was motivated by applications involving hydrogen. Using helium as an experimental proxy, buoyant horizontal jets issuing from a round orifice on the side wall of a circular tube were analysed experimentally using particle image velocimetry (PIV) and planar laser-induced fluorescence (PLIF) techniques simultaneously to provide instantaneous and time-averaged flow fields of velocity and concentration. Effects of buoyancy and asymmetry on the resulting flow structure were studied over a range of Reynolds numbers and gas densities. Significant differences were found between the centreline trajectory, spreading rate, and velocity decay of conventional horizontal round axisymmetric jets issuing through flat plates and the pipeline leak-representative jets considered in the present study. The realistic pipeline jets were always asymmetric and found to deflect about the jet axis in the near field. In the far field, it was found that the realistic pipeline leak geometry causes buoyancy effects to dominate much sooner than expected compared to horizontal round jets issuing through flat plates.


title: $R$-parity Violating Decays of Wino Chargino and Wino Neutralino LSPs and NLSPs at the LHC

abstract: The $R$-parity violating decays of both Wino chargino and Wino neutralino LSPs are analyzed within the context of the $B-L$ MSSM "heterotic standard model". These LSPs correspond to statistically determined initial soft supersymmetry breaking parameters which, when evolved using the renormalization group equations, lead to an effective theory satisfying all phenomenological requirements; including the observed electroweak vector boson and Higgs masses. The explicit decay channels of these LSPs into standard model particles, the analytic and numerical decay rates and the associated branching ratios are presented. The decay lengths of these RPV interactions are discussed. It is shown that the vast majority of these decays are "prompt", although a small, but calculable, number correspond to "displaced vertices" of various lengths. It is demonstrated that for a Wino chargino LSP, the NLSP is the Wino neutralino with a mass only slightly higher than the LSP-- and vice-versa. As a consequence, we show that both the Wino chargino and Wino neutralino LSP/NLSP $R$-parity violating decays should be simultaneously observable at the CERN LHC.


title: Resonance properties from lattice energy levels using chiral effective field theory

abstract: We use the chiral effective field theory to study the lattice finite-volume energy levels from the meson-meson scattering. The hadron resonance properties and the scattering amplitudes at physical masses are determined from the lattice energy levels calculated at unphysically large pion masses. The results from the $\pi\eta, K\bar{K}$ and $\pi\eta'$ coupled-channel scattering and the $a_0(980)$ resonance are explicitly given as a concrete example.


title: A Stable Finite-Volume Method for Scalar-Field Dark Matter

abstract: We describe and test a family of new numerical methods to solve the Schrodinger equation in self-gravitating systems, e.g. Bose-Einstein condensates or 'fuzzy'/ultra-light scalar field dark matter. The methods are finite-volume Godunov schemes with stable, higher-order accurate gradient estimation, based on a generalization of recent mesh-free finite-mass Godunov methods. They couple easily to particle-based N-body gravity solvers (with or without other fluids, e.g. baryons), are numerically stable, and computationally efficient. Different sub-methods allow for manifest conservation of mass, momentum, and energy. We consider a variety of test problems and demonstrate that these can accurately recover solutions and remain stable even in noisy, poorly-resolved systems, with dramatically reduced noise compared to some other proposed implementations (though certain types of discontinuities remain challenging). This is non-trivial because the "quantum pressure" is neither isotropic nor positive-definite and depends on higher-order gradients of the density field. We implement and test the method in the code GIZMO.


title: Improving constant in end-point Poincar\'e inequality on Hamming cube

abstract: We improve the constant $\frac{\pi}{2}$ in $L^1$-Poincar\'e inequality on Hamming cube. For Gaussian space the sharp constant in $L^1$ inequality is known, and it is $\sqrt{\frac{\pi}{2}}$. For Hamming cube the sharp constant is not known, and $\sqrt{\frac{\pi}{2}}$ gives an estimate from below for this sharp constant. On the other hand, L. Ben Efraim and F. Lust-Piquard have shown an estimate from above: $C_1\le \frac{\pi}{2}$. There are at least two other independent proofs of the same estimate from above (we write down them in this note). Since those proofs are very different from the proof of Ben Efraim and Lust-Piquard but gave the same constant, that might have indicated that constant is sharp. But here we give a better estimate from above, showing that $C_1$ is strictly smaller than $\frac{\pi}{2}$. It is still not clear whether $C_1> \sqrt{\frac{\pi}{2}}$. We discuss this circle of questions and the computer experiments.


title: Towards a precise determination of the scattering amplitudes of the charmed and light-flavor pseudoscalar mesons

abstract: We study the scattering of the light-flavor pseudoscalar mesons ($\pi, K, \eta$) off the ground-state charmed mesons ($D,D_s$) within chiral effective field theory. The recent lattice simulation results on various scattering lengths and the finite-volume spectra both in the moving and center-of-mass frames, most of which are obtained at unphysical meson masses, are used to constrain the free parameters in our theory. Explicit formulas to include the $S$- and $P$-wave mixing to determine the finite-volume energy levels are provided. After a successful reproduction of the lattice data, we perform a chiral extrapolation to predict the quantities with physical meson masses, including phase shifts, inelasticities, resonance pole positions and the corresponding residues from the scattering of the light pseudoscalar and charmed mesons.


title: Quantum remote sensing with asymmetric information gain

abstract: Typically, the aim of quantum metrology is to sense target fields with high precision utilizing quantum properties. Unlike the typical aim, in this paper, we use quantum properties for adding a new functionality to quantum sensors. More concretely, we propose a delegated quantum sensor (a client-server model) with security inbuilt. Suppose that a client wants to measure some target fields with high precision, but he/she does not have any high-precision sensor. This leads the client to delegate the sensing to a remote server who possesses a high-precision sensor. The client gives the server instructions about how to control the sensor. The server lets the sensor interact with the target fields in accordance with the instructions, and then sends the sensing measurement results to the client. In this case, since the server knows the control process and readout results of the sensor, the information of the target fields is available not only for the client but also for the server. We show that, by using an entanglement between the client and the server, an asymmetric information gain is possible so that only the client can obtain the sufficient information of the target fields. In our scheme, the server generates the entanglement between a solid state system (that can interact with the target fields) and a photon, and sends the photon to the client. On the other hand, the client is required to possess linear optics elements only including wave plates, polarizing beam splitters, and single-photon detectors. Our scheme is feasible with the current technology, and our results pave the way for a novel application of quantum metrology.


title: Isoparametric polynomials and sums of squares

abstract: Hilbert's 17th problem asks that whether every nonnegative polynomial can be a sum of squares of rational functions. It has been answered affirmatively by Artin. However, the question as to whether a given nonnegative polynomial is a sum of squares of polynomials is still a central question in real algebraic geometry. In this paper, we solve this question completely for the nonnegative polynomials associated with isoparametric polynomials, initiated by E. Cartan, which define the focal submanifolds of the corresponding isoparametric hypersurfaces.


title: YOLO-LITE: A Real-Time Object Detection Algorithm Optimized for Non-GPU Computers

abstract: This paper focuses on YOLO-LITE, a real-time object detection model developed to run on portable devices such as a laptop or cellphone lacking a Graphics Processing Unit (GPU). The model was first trained on the PASCAL VOC dataset then on the COCO dataset, achieving a mAP of 33.81% and 12.26% respectively. YOLO-LITE runs at about 21 FPS on a non-GPU computer and 10 FPS after implemented onto a website with only 7 layers and 482 million FLOPS. This speed is 3.8x faster than the fastest state of art model, SSD MobilenetvI. Based on the original object detection algorithm YOLOV2, YOLO- LITE was designed to create a smaller, faster, and more efficient model increasing the accessibility of real-time object detection to a variety of devices.


title: Relation between spin Hall effect and anomalous Hall effect in 3$d$ ferromagnetic metals

abstract: We study the mechanisms of the spin Hall effect (SHE) and anomalous Hall effect (AHE) in 3$d$ ferromagnetic metals (Fe, Co, permalloy (Ni$_{81}$Fe$_{19}$; Py), and Ni) by varying their resistivities and temperature. At low temperatures where the phonon scattering is negligible, the skew scattering coefficients of the SHE and AHE in Py are related to its spin polarization. However, this simple relation breaks down for Py at higher temperatures as well as for the other ferromagnetic metals at any temperature. We find that, in general, the relation between the SHE and AHE is more complex, with the temperature dependence of the SHE being much stronger than that of AHE.


title: Emergence of Addictive Behaviors in Reinforcement Learning Agents

abstract: This paper presents a novel approach to the technical analysis of wireheading in intelligent agents. Inspired by the natural analogues of wireheading and their prevalent manifestations, we propose the modeling of such phenomenon in Reinforcement Learning (RL) agents as psychological disorders. In a preliminary step towards evaluating this proposal, we study the feasibility and dynamics of emergent addictive policies in Q-learning agents in the tractable environment of the game of Snake. We consider a slightly modified settings for this game, in which the environment provides a "drug" seed alongside the original "healthy" seed for the consumption of the snake. We adopt and extend an RL-based model of natural addiction to Q-learning agents in this settings, and derive sufficient parametric conditions for the emergence of addictive behaviors in such agents. Furthermore, we evaluate our theoretical analysis with three sets of simulation-based experiments. The results demonstrate the feasibility of addictive wireheading in RL agents, and provide promising venues of further research on the psychopathological modeling of complex AI safety problems.


title: Counting eigenvalues of Schr\"odinger operator with complex fast decreasing potential

abstract: We give a sharp estimate of the number of zeros of analytic functions in the unit disc belonging to analytic quasianalytic Carleman--Gevrey classes. As an application, we estimate the number of the eigenvalues for discrete Schr\"odinger operators with rapidly decreasing complex-valued potentials, and, more generally, for non-symmetric Jacobi matrices.


title: Controllability, Multiplexing, and Transfer Learning in Networks using Evolutionary Learning

abstract: Networks are fundamental building blocks for representing data, and computations. Remarkable progress in learning in structurally defined (shallow or deep) networks has recently been achieved. Here we introduce evolutionary exploratory search and learning method of topologically flexible networks under the constraint of producing elementary computational steady-state input-output operations. Our results include; (1) the identification of networks, over four orders of magnitude, implementing computation of steady-state input-output functions, such as a band-pass filter, a threshold function, and an inverse band-pass function. Next, (2) the learned networks are technically controllable as only a small number of driver nodes are required to move the system to a new state. Furthermore, we find that the fraction of required driver nodes is constant during evolutionary learning, suggesting a stable system design. (3), our framework allows multiplexing of different computations using the same network. For example, using a binary representation of the inputs, the network can readily compute three different input-output functions. Finally, (4) the proposed evolutionary learning demonstrates transfer learning. If the system learns one function A, then learning B requires on average less number of steps as compared to learning B from tabula rasa. We conclude that the constrained evolutionary learning produces large robust controllable circuits, capable of multiplexing and transfer learning. Our study suggests that network-based computations of steady-state functions, representing either cellular modules of cell-to-cell communication networks or internal molecular circuits communicating within a cell, could be a powerful model for biologically inspired computing. This complements conceptualizations such as attractor based models, or reservoir computing.


title: On the Structure of Irreducible Yetter-Drinfeld Modules over Quasi-Triangular Hopf Algebras

abstract: Let $\left( H,R\right) $ be a finite dimensional semisimple and cosemisimple quasi-triangular Hopf algebra over a field $k$. In this paper, we give the structure of irreducible objects of the Yetter-Drinfeld module category ${} {}_{H}^{H}\mathcal{YD}.$ Let $H_{R}$ be the Majid's transmuted braided group of $\left( H,R\right) ,$ we show that $H_{R}$ is cosemisimple. As a coalgebra, let $H_{R}=D_{1}\oplus\cdots\oplus D_{r}$ be the sum of minimal $H$-adjoint-stable subcoalgebras. For each $i$ $\left( 1\leq i\leq r\right) $, we choose a minimal left coideal $W_{i}$ of $D_{i}$, and we can define the $R$-adjoint-stable algebra $N_{W_{i}}$ of $W_{i}$. Using Ostrik's theorem on characterizing module categories over monoidal categories, we prove that $V\in{}_{H}^{H}\mathcal{YD}$ is irreducible if and only if there exists an $i$ $\left( 1\leq i\leq r\right) $ and an irreducible right $N_{W_{i}}$-module $U_{i}$, such that $V\cong U_{i}\otimes_{N_{W_{i}}}\left( H\otimes W_{i}\right) $. Our structure theorem generalizes the results of Dijkgraaf-Pasquier-Roche and Gould on Yetter-Drinfeld modules over finite group algebras. If $k$ is an algebraically closed field of characteristic, we stress that the $R$-adjoint-stable algebra $N_{W_{i}}$ is an algebra over which the dimension of each irreducible right module divides its dimension.


title: TrolleyMod v1.0: An Open-Source Simulation and Data-Collection Platform for Ethical Decision Making in Autonomous Vehicles

abstract: This paper presents TrolleyMod v1.0, an open-source platform based on the CARLA simulator for the collection of ethical decision-making data for autonomous vehicles. This platform is designed to facilitate experiments aiming to observe and record human decisions and actions in high-fidelity simulations of ethical dilemmas that occur in the context of driving. Targeting experiments in the class of trolley problems, TrolleyMod provides a seamless approach to creating new experimental settings and environments with the realistic physics-engine and the high-quality graphical capabilities of CARLA and the Unreal Engine. Also, TrolleyMod provides a straightforward interface between the CARLA environment and Python to enable the implementation of custom controllers, such as deep reinforcement learning agents. The results of such experiments can be used for sociological analyses, as well as the training and tuning of value-aligned autonomous vehicles based on social values that are inferred from observations.


title: Transform Methods for Heavy-Traffic Analysis

abstract: The drift method was recently developed to study queueing systems in steady-state. It was successfully used to obtain bounds on the moments of the scaled queue lengths, that are asymptotically tight in heavy-traffic, in a wide variety of systems including generalized switches, input-queued switches, bandwidth sharing networks, etc. In this paper we develop the use of transform techniques for heavy-traffic analysis, with a special focus on the use of moment generating functions. This approach simplifies the proofs of the drift method, and provides a new perspective on the drift method. We present a general framework and then use the MGF method to obtain the stationary distribution of queue lengths in heavy-traffic in queueing systems that satisfy the Complete Resource Pooling condition. In particular, we study load balancing systems and generalized switches under general settings.


title: Theory of spin magnetic quadrupole moment and temperature-gradient-induced magnetization

abstract: We revisit a quantum-mechanical formula of the spin magnetic quadrupole moment (MQM) in periodic crystals. Two previous attempts were inconsistent with each other; one is gauge dependent, and the other is gauge invariant. Here we define the spin MQM by calculating the spin density in a nonuniform system. Our definition is analogous to that of the charge polarization, but the result is gauge invariant and coincides with the latter previous one. We also formulate what we call gravitomagnetoelectric (gravito-ME) effect, in which the magnetization is induced by a temperature gradient. Although the Kubo formula for the gravito-ME effect provides an unphysical divergence at zero temperature, we prove that the correct susceptibility is obtained by subtracting the spin MQM from the Kubo formula. It vanishes at zero temperature and is related to the ME susceptibility by the Mott relation. We explicitly calculate the gravito-ME susceptibility in a Rashba ferromagnet and show its experimental feasibility.


title: Characterization of Lattice Thermal Transport in Two-Dimensional BAs, BP, and BSb: A First-Principles Study

abstract: Ever since the high thermal conductivity in cubic boron arsenide (c-BAs) was predicted theoretically by Lindsay et. al in 2013, countless studies have zeroed in on this particular material. Most recently, c-BAs has been confirmed experimentally to have a thermal conductivity of around 1,100 W/m-K. In this study, we investigate the seldom studied two dimensional hexagonal form of boron arsenide (h-BAs) using a first-principles approach and by solving the Boltzmann Transport Equation for phonons. Traditionally, a good indicator of a high thermal conductivity material is its high Debye temperature and high phonon group velocity. However, we determine h-BAs to have a much lower Debye temperature and average phonon group velocity compared to the other monolayer boron-V compounds of boron nitride (h-BN) and boron phosphide (h-BP), yet curiously it possesses a higher thermal conductivity. Further investigation reveals that this is due to the phonon frequency gap caused by large mass imbalances, which results in a restricted Umklapp phonon-phonon scattering channel and consequently a higher thermal conductivity. We determine the intrinsic lattice thermal conductivity of monolayer h-BAs to be 362.62 W/m-K at room temperature, which is considerably higher compared to the other monolayer boron-V compounds of h-BN (231.96 W/m-K), h-BP (187.11 W/m-K), and h-BSb (87.15 W/m-K). This study opens the door for investigation into a new class of monolayer structures and the properties they possess.


title: Entanglement estimation in non-optimal qubit states

abstract: In the last years, a relationship has been established between the quantum Fisher information (QFI) and quantum entanglement. In the case of two-qubit systems, all pure entangled states can be made useful for sub-shot-noise interferometry while their QFI meets a necessary and sufficient condition [1]. In M-qubit systems, the QFI provides just a sufficient condition in the task of detecting the degree of entanglement of a generic state [2]. In our work, we show analytically that, for a large class of one-parameter non-optimal two-qubit states, the maximally entangled states are associated with stationary points of the QFI, as a function of such parameter. We show, via numerical simulations, that this scenario is maintained for the generalisation of this class of states to a generic M-qubit system. Furthermore, we suggest a scheme for an interferometer able to detect the entanglement in a large class of two-spin states.


title: Comparing coherence measures for X states: Can quantum states be ordered based on quantum coherence?

abstract: Quantum coherence is an essential resource for quantum information processing and various quantitative measures of it have been introduced. However, the interconnections between these measures are not yet understood properly. Here, using a large set of randomly prepared $X$ states and analytically obtained expressions of various measures of coherence (e.g., relative entropy of coherence, $l1$ norm of coherence, coherence via skew information, and first-order coherence), it is established that these measures of quantum coherence cannot be used to perform ordering of a set of quantum states based on the amount of coherence present in a state. Further, it is shown that for a given value of quantum coherence measured by the relative entropy of coherence, maximally nonlocal mixed states of $X$ type (which are characterized by maximal violation of the CHSH inequality) have maximum quantum coherence as measured by $l1$ norm of coherence. In addition, the amount of coherence measured by $l1$ norm of coherence for a Werner state is found to be always less than that for a maximally nonlocal mixed state even when they possess an equal amount of coherence measured by the relative entropy of coherence. These resource theory based measures of coherence are not observed to show any relation with the first-order coherence, while its maximum (hidden coherence) is found to be more connected to concurrence both being basis independent quantities. These observations could be of use in obtaining a deeper understanding of the interconnections between various measures of quantum coherence.


title: Symmetries and Local Conservation Laws of Variational Schemes for the Surface Plasmon Polaritons

abstract: The relation between symmetries and local conservation laws, known as Noether's theorem, plays an important role in modern theoretical physics. As a discrete analog of the differentiable physical system, a good numerical scheme should admit the discrete local conservation laws and inherent mathematical structures. A class of variational schemes constructed for the hydrodynamic-electrodynamic model of lossless free-electron gas in a quasi-neutral background shows good properties in secular simulations of surface plasmon polaritons [Q. Chen et al., Phys. Rev. E 99, 023313 (2019)]. We show the discrete local conservation laws admitted by these schemes. Based on the gauge symmetry of the discrete action functional, a discrete charge conservation law is realized locally, which is consistent with the discrete Euler-Lagrange equations obtained from the variational schemes. Based on the discrete Euler-Lagrange equations, discrete local momentum and energy conservation laws are derived directly, which are rigorous in theory. The preservation of the discrete local conservation laws and Lagrangian symplectic structure ensure that the numerical scheme is correct in physics.

categories: physics.comp-ph math-ph math.MP physics.optics


title: Trading kinetic energy: How late kinetic decoupling of dark matter changes $N_{\textrm{eff}}$

abstract: Elastic scattering between dark matter particles and a relativistic species such as photons or neutrinos leads to a transfer of energy from the latter due to their intrinsically different temperature scaling relations. In this work, we point out that this siphoning of energy from the radiation bath manifests as a change in the effective number of neutrinos $N_{\rm eff}$, and compute the expected shift $\Delta N_{\rm eff}$ for dark matter-photon and dark matter-neutrino elastic scattering as a function of the dark matter mass $m_\psi$ and scattering cross section $\sigma_{\psi-X}$. For $(m_\psi,\sigma_{\psi-X})$-parameter regions already explored by nonlinear probes such as the Lyman-$\alpha$ forest through collisional and/or free-streaming damping, we find shifts of $|\Delta N_{\rm eff}| \simeq O(10^{-2})$, which may be within the reach of the proposed CMB-S4 experiment. For most of the as-yet-unexplored parameter space, however, we expect $|\Delta N_{\rm eff}| \lesssim O(10^{-3})$. An ideal 21 cm tomography survey of the dark ages limited only by cosmic variance is potentially sensitive to $|\Delta N_{\rm eff}| \simeq O(10^{-6})$, in which case dark matter masses up to $m_{\psi} \sim 10 \, \textrm{MeV}$ may be probed via their effect on $N_{\rm eff}$.


title: Bounded ACh Unification

abstract: We consider the problem of the unification modulo an equational theory ACh, which consists of a function symbol $h$ that is homomorphic over an associative-commutative operator $+$. Since the unification modulo ACh theory is undecidable, we define a variant of the problem called \textit{bounded ACh unification}. In this bounded version of ACh unification, we essentially bound the number of times $h$ can be applied to a term recursively, and only allow solutions that satisfy this bound. There is no bound on the number of occurrences of $h$ in a term, and the $+$ symbol can be applied an unlimited number of times. We give inference rules for solving the bounded version of the problem and prove that the rules are sound, complete, and terminating. We have implemented the algorithm in Maude and give experimental results. We argue that this algorithm is useful in cryptographic protocol analysis.


title: Boundary Braids

abstract: The n-strand braid group can be defined as the fundamental group of the configuration space of n unlabeled points in a closed disk based at a configuration where all n points lie in the boundary of the disk. Using this definition, the subset of braids that have a representative where a specified subset of these points remain pointwise fixed forms a subgroup isomorphic to a braid group with fewer strands. In this article, we generalize this phenomenon by introducing the notion of boundary braids. A boundary braid is a braid that has a representative where some specified subset of the points remains in the boundary cycle of the disk. Although boundary braids merely form a subgroupoid rather than a subgroup, they play an interesting geometric role in the piecewise Euclidean dual braid complex defined by Tom Brady and the second author. We prove several theorems in this setting, including the fact that the subcomplex of the dual braid complex determined by a specified set of boundary braids metrically splits as the direct metric product of a Euclidean polyhedron and a dual braid complex of smaller rank.


title: Quantum Zeno effect and nonclassicality in a PT symmetric system of coupled cavities

abstract: The interplay between the nonclassical features and the parity-time (PT) symmetry (or its breaking) is studied here by considering a PT symmetric system consisting of two cavities with gain and loss. The conditions for PT invariance is obtained for this system. The behavior of the average photon number corresponding to the gain and loss modes for different initial states (e.g., vacuum, NOON, coherent, and thermal states) has also been obtained. With the help of the number operators, quantum Zeno and anti-Zeno effects are studied, and the observed behavior is compared in PT symmetric (PTS) and PT symmetry broken (PTSB) regimes. It has been observed that the relative phase of the input coherent fields plays a key role in the occurrence of these effects. Further, some nonclassicality features are witnessed using criteria based on the number operator(s). Specifically, intermodal antibunching, sum and difference squeezing, are investigated for specific input states. It is found that the various nonclassical features, including the observed quantum Zeno and anti-Zeno effects, are suppressed when one goes from PTS to PTSB regime. In other words, the dominance of the loss/gain rate in the field modes over the coupling strength between them diminishes the nonclassical features of the system.


title: $\eta n$ photoproduction and nucleon resonances

abstract: We present results of a recent work on the reaction mechanism of $\eta n$ photoproduction off the neutron in the range of $ \sqrt{s} \approx 1.5 - 1.9$ GeV and discuss the role of various nucleon resonances listed in the Particle Data Group (PDG). We make use of an effective Lagrangian approach combining with a Regge method. The total and helicity-dependent cross sections $\sigma_{1/2},\,\sigma_{3/2}$ are computed and the numerical results are in good agreement with the A2 experimental data.


title: Processing diffraction-limited images through innovative Super-Resolution techniques

abstract: In the ELTs era, where the need for versatile and innovative solutions to produce very high spatial resolution images has become a major issue, the search of synergies with other science fields seems a logic step. One of the considered alternatives to reach high-resolution images is the use of several frames of the same target, this approach is known as fusion Super-Resolution in the state of the art. Here, we propose the use of the super-resolution techniques based on structural similarity and initially developed for submarine environments. Accordingly, innovative algorithms are implemented in order to process the science images from an Adaptive Optics system to obtain diffraction-limited images in the optical wavelengths.


title: The TP3-WFS: a new guy in town

abstract: The TP3-WFS (Two Pupil Plane Positions Wavefront Sensor) is, to the best of the authors' knowledge, the first physical implementation of the geometrical wavefront reconstruction algorithm that has been tested in a telescope as part of an actual AO-enabled instrument. The main advantage of this algorithm is that it theoretically provides a fairly good reconstruction accuracy even under very low levels of light, in the order of a few hundreds of photons. This paper presents the first control-related results obtained at the William Herschel Telescope (WHT). Such results demonstrate the feasibility of this novel WFS as part of a real-time AO control loop.


title: Instanton effects on charmonium states

abstract: The instanton effects on the charmonium spectrum is discussed in the framework of nonrelativistic potential model. The results from constituent quark model without inclusion of instanton effects is compared with the results for `the potential from constituent quark model + the contribution from the instanton liquid model'. We consider two models with the corresponding instanton potentials and discuss their relevance to explanations of the origin phenomenological parameters used in the nonrelativistic potential models. We also present the universal instanton potential in the parametrized form which can be useful in practical calculations.


title: Non-Markovian Transient Casimir-Polder force and population dynamics on excited and ground state atoms: weak and strong coupling regimes in generally non-reciprocal environments

abstract: The transient Casimir-Polder force on a two-level atom introduced into a three-dimensional, inhomogeneous, generally non-reciprocal environment is evaluated using non-Markovian Weisskopf-Wigner theory in the strong and weak coupling regimes. Ground-state and excited atoms are considered as two separate initial-value problems, and both the short-time and long-time atomic population and force are evaluated. The results are compared with various Markov approximation of the Weisskopf-Wigner theory, and with previous Markov results from the Heisenberg picture.


title: Numerical analysis and applications of Fokker-Planck equations for stochastic dynamical systems with multiplicative $\alpha$-stable noises

abstract: The Fokker-Planck equations (FPEs) for stochastic systems driven by additive symmetric $\alpha$-stable noises may not adequately describe the time evolution for the probability densities of solution paths in some practical applications, such as hydrodynamical systems, porous media, and composite materials. As a continuation of previous works on additive case, the FPEs for stochastic dynamical systems with multiplicative symmetric $\alpha$-stable noises are derived by the adjoint operator method, which satisfy the nonlocal partial differential equations. A finite difference method for solving the nonlocal Fokker-Planck equation (FPE) is constructed, which is shown to satisfy the discrete maximum principle and to be convergent. Moreover, an example is given to illustrate this method. For asymmetric case, general finite difference schemes are proposed, and some analyses of the corresponding numerical schemes are given. Furthermore, the corresponding result is successfully applied to the nonlinear filtering problem.


title: Central limit theorem and moderate deviations for a class of semilinear SPDES

abstract: In this paper we prove a central limit theorem and a moderate deviation principle for a class of semilinear stochastic partial differential equations, which contain Burgers' equation and the stochastic reaction-diffusion equation. The weak convergence method plays an important role.


title: Bayesian Reinforcement Learning in Factored POMDPs

abstract: Bayesian approaches provide a principled solution to the exploration-exploitation trade-off in Reinforcement Learning. Typical approaches, however, either assume a fully observable environment or scale poorly. This work introduces the Factored Bayes-Adaptive POMDP model, a framework that is able to exploit the underlying structure while learning the dynamics in partially observable systems. We also present a belief tracking method to approximate the joint posterior over state and model variables, and an adaptation of the Monte-Carlo Tree Search solution method, which together are capable of solving the underlying problem near-optimally. Our method is able to learn efficiently given a known factorization or also learn the factorization and the model parameters at the same time. We demonstrate that this approach is able to outperform current methods and tackle problems that were previously infeasible.


title: Composite operator and condensate in $SU(N)$ Yang-Mills theory with $U(N-1)$ stability group

abstract: Recently, a reformulation of the $SU(N)$ Yang-Mills theory inspired by the Cho-Faddeev-Niemi decomposition has been developed in order to understand confinement from the viewpoint of the dual superconductivity. The concept of infrared Abelian dominance plays an important role in the realization of this concept and through numerical simulations on the lattice, evidence was found for example in the form of the dynamical mass generation for certain gluon degrees of freedom. A promising analytical attempt to explain the generation of such masses is through condensates of mass dimension two. In this talk, we want to focus on the reformulated $SU(N)$ Yang-Mills theory in the previously overlooked minimal option with the non-Abelian $U(N-1)$ stability group, in contrast to the famous maximal Abelian gauge, where the decomposition corresponds to the Abelian $U(1)^{N-1}$ stability group. We proceed with a thorough one-loop analysis of this novel decomposition, calculating all standard renormalization group functions at one-loop level in light of the renormalizability of this theory. We subsequently define an appropriate mixed gluon-ghost composite operator of mass dimension two as the candidate for the condensate within this theory and prove its (on-shell) BRST invariance and the multiplicative renormalizability. Finally, the existence of the condensate is discussed within the local composite operator formalism.


title: SepNE: Bringing Separability to Network Embedding

abstract: Many successful methods have been proposed for learning low dimensional representations on large-scale networks, while almost all existing methods are designed in inseparable processes, learning embeddings for entire networks even when only a small proportion of nodes are of interest. This leads to great inconvenience, especially on super-large or dynamic networks, where these methods become almost impossible to implement. In this paper, we formalize the problem of separated matrix factorization, based on which we elaborate a novel objective function that preserves both local and global information. We further propose SepNE, a simple and flexible network embedding algorithm which independently learns representations for different subsets of nodes in separated processes. By implementing separability, our algorithm reduces the redundant efforts to embed irrelevant nodes, yielding scalability to super-large networks, automatic implementation in distributed learning and further adaptations. We demonstrate the effectiveness of this approach on several real-world networks with different scales and subjects. With comparable accuracy, our approach significantly outperforms state-of-the-art baselines in running times on large networks.


title: Antishadowing in the rescaling model at x ~ 0.1

abstract: The antishadowing behavior of the sea and valence quark densities in nuclei is investigated in the framework of the rescaling model at the values x ~ 0.1 of the Bjorken variable x.


title: Improving Distantly Supervised Relation Extraction with Neural Noise Converter and Conditional Optimal Selector

abstract: Distant supervised relation extraction has been successfully applied to large corpus with thousands of relations. However, the inevitable wrong labeling problem by distant supervision will hurt the performance of relation extraction. In this paper, we propose a method with neural noise converter to alleviate the impact of noisy data, and a conditional optimal selector to make proper prediction. Our noise converter learns the structured transition matrix on logit level and captures the property of distant supervised relation extraction dataset. The conditional optimal selector on the other hand helps to make proper prediction decision of an entity pair even if the group of sentences is overwhelmed by no-relation sentences. We conduct experiments on a widely used dataset and the results show significant improvement over competitive baseline methods.


title: Willmore type inequality using monotonicity formulas

abstract: Simon type monotonicity formulas for the Willmore functional $\int | \mathbf{H} |^2$ in the hyperbolic space $\mathbb{H}^n$ and $\mathbb{S}^n$ are obtained. The formula gives a lower bound of $\int_{\Sigma} | \mathbf{H} |^2$ where $\Sigma^2$ is any closed surface in $\mathbb{H}^n$.


title: Multi-level analysis of compiler induced variability and performance tradeoffs

abstract: Successful HPC software applications are long-lived. When ported across machines and their compilers, these applications often produce different numerical results, many of which are unacceptable. Such variability is also a concern while optimizing the code more aggressively to gain performance. Efficient tools that help locate the program units (files and functions) within which most of the variability occurs are badly needed, both to plan for code ports and to root-cause errors due to variability when they happen in the field. In this work, we offer an enhanced version of the open-source testing framework FLiT to serve these roles. Key new features of FLiT include a suite of bisection algorithms that help locate the root causes of variability. Another added feature allows an analysis of the tradeoffs between performance and the degree of variability. Our new contributions also include a collection of case studies. Results on the MFEM finite-element library include variability/performance tradeoffs, and the identification of a (hitherto unknown) abnormal level of result-variability even under mild compiler optimizations. Results from studying the Laghos proxy application include identifying a significantly divergent floating-point result-variability and successful root-causing down to the problematic function over as little as 14 program executions. Finally, in an evaluation of 4,376 controlled injections of floating-point perturbations on the LULESH proxy application, we showed that the FLiT framework has 100 precision and recall in discovering the file and function locations of the injections all within an average of only 15 program executions.


title: Perturbation Theory for the Logarithm of a Positive Operator

abstract: In various contexts in mathematical physics one needs to compute the logarithm of a positive unbounded operator. Examples include the von Neumann entropy of a density matrix and the flow of operators with the modular Hamiltonian in the Tomita-Takesaki theory. Often, one encounters the situation where the operator under consideration, that we denote by $\Delta$, can be related by a perturbative series to another operator $\Delta_0$, whose logarithm is known. We set up a perturbation theory for the logarithm $\log \Delta$. It turns out that the terms in the series possess remarkable algebraic structure, which enable us to write them in the form of nested commutators plus some "contact terms."


title: Pathological quotient singularities in characteristic three which are not log canonical

abstract: In characteristic zero, quotient singularities are log terminal. Moreover, we can check whether a quotient variety is canonical or not by using only the age of each element of the relevant finite group if the group does not have pseudo-reflections. In positive characteristic, a quotient variety is not log terminal, in general. In this paper, we give an example of the quotient variety which is not log terminal such that the quotient varieties associated to any proper subgroups are canonical. In particular, we cannot determine whether a given quotient singularity is canonical by looking at proper subgroups.


title: Style and Content Disentanglement in Generative Adversarial Networks

abstract: Disentangling factors of variation within data has become a very challenging problem for image generation tasks. Current frameworks for training a Generative Adversarial Network (GAN), learn to disentangle the representations of the data in an unsupervised fashion and capture the most significant factors of the data variations. However, these approaches ignore the principle of content and style disentanglement in image generation, which means their learned latent code may alter the content and style of the generated images at the same time. This paper describes the Style and Content Disentangled GAN (SC-GAN), a new unsupervised algorithm for training GANs that learns disentangled style and content representations of the data. We assume that the representation of an image can be decomposed into a content code that represents the geometrical information of the data, and a style code that captures textural properties. Consequently, by fixing the style portion of the latent representation, we can generate diverse images in a particular style. Reversely, we can set the content code and generate a specific scene in a variety of styles. The proposed SC-GAN has two components: a content code which is the input to the generator, and a style code which modifies the scene style through modification of the Adaptive Instance Normalization (AdaIN) layers' parameters. We evaluate the proposed SC-GAN framework on a set of baseline datasets.


title: A Game Theoretic Approach for Dynamic Information Flow Tracking to Detect Multi-Stage Advanced Persistent Threats

abstract: Advanced Persistent Threats (APTs) infiltrate cyber systems and compromise specifically targeted data and/or resources through a sequence of stealthy attacks consisting of multiple stages. Dynamic information flow tracking has been proposed to detect APTs. In this paper, we develop a dynamic information flow tracking game for resource-efficient detection of APTs via multi-stage dynamic games. The game evolves on an information flow graph, whose nodes are processes and objects (e.g. file, network endpoints) in the system and the edges capture the interaction between different processes and objects. Each stage of the game has pre-specified targets which are characterized by a set of nodes of the graph and the goal of the APT is to evade detection and reach a target node of that stage. The goal of the defender is to maximize the detection probability while minimizing performance overhead on the system. The resource costs of the players are different and the information structure is asymmetric resulting in a nonzero-sum imperfect information game. We first calculate the best responses of the players and characterize the set of Nash equilibria for single stage attacks. Subsequently, we provide a polynomial-time algorithm to compute a correlated equilibrium for the multi-stage attack case. Finally, we experiment our model and algorithms on real-world nation state attack data obtained from Refinable Attack Investigation system.


title: Invisible neutrino decays at the MOMENT experiment

abstract: We investigate invisible decays of the third neutrino mass eigenstate in future accelerator neutrino experiments using muon-decay beams such as MuOn-decay MEdium baseline NeuTrino beam experiment (MOMENT). MOMENT has an outstanding performance to measure the deficit or excess in the spectra caused by neutrino decays, especially in $\nu_\mu$ and $\bar{\nu}_\mu$ disappearance channels. Such an experiment will improve the constraints of the neutrino lifetime $\tau_3$. Compared with exclusion limits in the current accelerator neutrino experiments T2K and NOvA under the stable $\nu$ assumption, we expect that MOMENT gives the bound of $\tau_3/m_3\ge1.46\times10^{-11}$~s/eV at $3\sigma$ confidence level, which is better than their recent limits: $\tau_3/m_3\ge 7\times10^{-13}$~s/eV in NOvA and $\tau_3/m_3\ge 1.41\times10^{-12}$~s/eV in T2K. The non-decay scenario is expected to be excluded by MOMENT at the $>3\sigma$ confidence level, if the best fit results in T2K and NOvA are confirmed. We further find that reducing systematic uncertainties is slightly more important than the running time. Finally, we find very little correlations between $\tau_3/m_3$ and other oscillation parameters, which point to an advantage of MOMENT to measure $\tau_3/m_3$.


title: Multi-Winner Contests for Strategic Diffusion in Social Networks

abstract: Strategic diffusion encourages participants to take active roles in promoting stakeholders' agendas by rewarding successful referrals. As social media continues to transform the way people communicate, strategic diffusion has become a powerful tool for stakeholders to influence people's decisions or behaviors for desired objectives. Existing reward mechanisms for strategic diffusion are usually either vulnerable to false-name attacks or not individually rational for participants that have made successful referrals. Here, we introduce a novel multi-winner contests (MWC) mechanism for strategic diffusion in social networks. The MWC mechanism satisfies several desirable properties, including false-name-proofness, individual rationality, budget constraint, monotonicity, and subgraph constraint. Numerical experiments on four real-world social network datasets demonstrate that stakeholders can significantly boost participants' aggregated efforts with proper design of competitions. Our work sheds light on how to design manipulation-resistant mechanisms with appropriate contests.


title: Model-guided Multi-path Knowledge Aggregation for Aerial Saliency Prediction

abstract: As an emerging vision platform, a drone can look from many abnormal viewpoints which brings many new challenges into the classic vision task of video saliency prediction. To investigate these challenges, this paper proposes a large-scale video dataset for aerial saliency prediction, which consists of ground-truth salient object regions of 1,000 aerial videos, annotated by 24 subjects. To the best of our knowledge, it is the first large-scale video dataset that focuses on visual saliency prediction on drones. Based on this dataset, we propose a Model-guided Multi-path Network (MM-Net) that serves as a baseline model for aerial video saliency prediction. Inspired by the annotation process in eye-tracking experiments, MM-Net adopts multiple information paths, each of which is initialized under the guidance of a classic saliency model. After that, the visual saliency knowledge encoded in the most representative paths is selected and aggregated to improve the capability of MM-Net in predicting spatial saliency in aerial scenarios. Finally, these spatial predictions are adaptively combined with the temporal saliency predictions via a spatiotemporal optimization algorithm. Experimental results show that MM-Net outperforms ten state-of-the-art models in predicting aerial video saliency.


title: A framework for covert and secret key expansion over quantum channels

abstract: Covert and secret quantum key distribution aims at generating information-theoretically secret bits between distant legitimate parties in a manner that remains provably undetectable by an adversary. We propose a framework in which to precisely define and analyze such an operation, and we show that covert and secret key expansion is possible. For fixed and known classical-quantum channels, we develop and analyze protocols based on forward and reverse reconciliation. When the adversary applies the same quantum channel independently on each transmitted quantum state, akin to a collective attack in the quantum key distribution literature, we propose a protocol that achieves covert and secret key expansion under mild restrictions. The crux of our approach is the use of information reconciliation and privacy amplification techniques that are able to process the sparse signals required for covert operation and whose Shannon entropy scales as the square root of their length. % diffuse information content quantified through Shannon entropy induced by the sparse signaling required for covert operation. In particular, our results show that the coordination required between legitimate parties to achieve covert communication can be achieved with a negligible number of secret key bits.


title: General relation between Aretakis charge and Newman-Penrose charge

abstract: We reexamine the relation between the Aretakis charge of an extremal black hole spacetime and the Newman-Penrose charge of a weakly asymptotically flat spacetime obtained from the original one through radial inversion and conformal mapping. Building on recent work by Godazgar, Godazgar and Pope, we present an explicit general relation between these quantities showing how the charge densities are mapped. As a non-trivial example we provide the computation of both quantities and their explicit relation for the extremal Kerr spacetime.


title: Neighbourhoods in root systems of infinite Coxeter groups

abstract: Let $W$ be a finitely generated infinite Coxeter group, with $\Phi$ and $\Pi$ being the corresponding root system and set of simple roots respectively. It has been observed by Hohlweg et la that the projections of elements of $\Phi$ onto suitably chosen hyperplanes, called \emph{normalized roots}, are contained in the convex hull of $\Pi$ (which is a compact set), and hence the set of all normalized roots may exhibit interesting asymptotical behaviours. In this paper we investigate the topology of the limit set of the normalized roots and demonstrate a natural system of neighbourhoods around each limit point arising from a non-affine infinite dihedral reflection subgroup of $W$.


title: Taller in the saddle: constraining CMB physics using saddle points

abstract: The statistics of extremal points in the cosmic microwave background (CMB) temperature (hot and cold spots) have been well explored in the literature, and have been used to constrain models of the early Universe. Here, we extend the study of critical points in the CMB to the set that remains after removing extrema, namely the saddle points. We perform stacks of temperature and polarization about temperature saddle points in simulations of the CMB, as well as in data from the Planck satellite. We then compute the theoretical profile of saddle-point stacks, given the underlying power spectra of the CMB. As an example of the utility of such stacks, we constrain models of cosmic birefringence, and compare the constraining power of the saddle points with that of extremal points. We find that, in the specific example of birefringence, we can place tighter constraints using saddle points in our analysis than using extrema. In fact, we find our saddle-point analysis yields close to optimal constraints, as seen by comparing to a power spectrum analysis. We, therefore, suggest that stacking on saddle points may, in general, be a useful way of testing for non-standard physics effects that change the CMB power spectra.


title: Memory-Efficient Quantum Circuit Simulation by Using Lossy Data Compression

abstract: In order to evaluate, validate, and refine the design of new quantum algorithms or quantum computers, researchers and developers need methods to assess their correctness and fidelity. This requires the capabilities of quantum circuit simulations. However, the number of quantum state amplitudes increases exponentially with the number of qubits, leading to the exponential growth of the memory requirement for the simulations. In this work, we present our memory-efficient quantum circuit simulation by using lossy data compression. Our empirical data shows that we reduce the memory requirement to 16.5% and 2.24E-06 of the original requirement for QFT and Grover's search, respectively. This finding further suggests that we can simulate deep quantum circuits up to 63 qubits with 0.8 petabytes memory.


title: On a reduction map for Drinfeld modules

abstract: In this paper we investigate a local to global principle for Mordell-Weil group defined over a ring of integers ${\cal O}_K$ of $t$-modules that are products of the Drinfeld modules ${\widehat\varphi}={\phi}_{1}^{e_1}\times \dots \times {\phi}_{t}^{e_{t}}.$ Here $K$ is a finite extension of the field of fractions of $A={\mathbb F}_{q}[t].$ We assume that the ${\mathrm{rank}}(\phi)_{i})=d_{i}$ and endomorphism rings of the involved Drinfeld modules of generic characteristic are the simplest possible, i.e. ${\mathrm{End}}({\phi}_{i})=A$ for $ i=1,\dots , t.$ Our main result is the following numeric criterion. Let ${N}={N}_{1}^{e_1}\times\dots\times {N}_{t}^{e_t}$ be a finitely generated $A$ submodule of the Mordell-Weil group ${\widehat\varphi}({\cal O}_{K})={\phi}_{1}({\cal O}_{K})^{e_{1}}\times\dots\times {\phi}_{t}({\cal O}_{K})^{{e}_{t}},$ and let ${\Lambda}\subset N$ be an $A$ - submodule. If we assume $d_{i}\geq e_{i}$ and $P\in N$ such that $r_{\cal W}(P)\in r_{\cal W}({\Lambda}) $ for almost all primes ${\cal W}$ of ${\cal O}_{K},$ then $P\in {\Lambda}+N_{tor}.$ We also build on the recent results of S.Bara{\'n}czuk \cite{b17} concerning the dynamical local to global principle in Mordell-Weil type groups and the solvability of certain dynamical equations to the aforementioned $t$-modules.


title: Translating a Math Word Problem to an Expression Tree

abstract: Sequence-to-sequence (SEQ2SEQ) models have been successfully applied to automatic math word problem solving. Despite its simplicity, a drawback still remains: a math word problem can be correctly solved by more than one equations. This non-deterministic transduction harms the performance of maximum likelihood estimation. In this paper, by considering the uniqueness of expression tree, we propose an equation normalization method to normalize the duplicated equations. Moreover, we analyze the performance of three popular SEQ2SEQ models on the math word problem solving. We find that each model has its own specialty in solving problems, consequently an ensemble model is then proposed to combine their advantages. Experiments on dataset Math23K show that the ensemble model with equation normalization significantly outperforms the previous state-of-the-art methods.


title: A Volume-Limited Survey of mCP Stars Within 100pc I: Fundamental Parameters and Chemical Abundances

abstract: We present the first results of a volume-limited survey of main sequence (MS) magnetic chemically peculiar (mCP) stars. The sample consists of all identified intermediate-mass MS stars (mCP and non-mCP) within a heliocentric distance of $100\,{\rm pc}$ as determined using Hipparcos parallaxes. The two populations are compared in order to determine the unique properties that allow a small fraction of MS stars with masses $\gtrsim1.4\,M_\odot$ to host strong, large scale magnetic fields. A total of 52 confirmed mCP stars are identified using published magnetic, spectroscopic, and photometric observations along with archived and newly obtained spectropolarimetric (Stokes $V$) observations. We derive the fundamental parameters (effective temperatures, luminosities, masses, and evolutionary states) of the mCP and non-mCP populations using homogeneous analyses. A detailed analysis of the mCP stars is performed using the {\sc llmodels} code, which allows observed spectral energy distributions to be modeled while incorporating chemical peculiarities and magnetic fields. The surface gravities and mean chemical abundances are derived by modelling averaged spectra using the {\sc gssp} and {\sc zeeman} spectral synthesis codes. Masses and stellar ages are derived using modern, densely calculated evolutionary model grids. We confirm a number of previously reported evolutionary properties associated with mCP stars including a conspicuously high incidence of middle-aged MS stars with respect to the non-mCP subsample; the incidence of mCP stars is found to sharply increase with mass from $0.3$~per~cent at $1.5\,M_\odot$ to $\approx11$~per~cent at $3.8\,M_\odot$. Finally, we identify clear trends in the mean photospheric chemical abundances with stellar age.


title: Detection of topological phases by quasi-local operators

abstract: It has been proposed recently by some of the authors that the quantum phase transition of a topological insulator like the SSH model may be detected by the eigenvalues and eigenvectors of the reduced density matrix. Here we further extend the scheme of identifying the order parameters by considering the SSH model with the addition of triplet superconductivity. This model has a rich phase diagram due to the competition of the SSH "order" and the Kitaev "order", which requires the introduction of four order parameters to describe the various topological phases. We show how these order parameters can be expressed simply as averages of projection operators on the ground state at certain points deep in each phase and how one can simply obtain the phase boundaries. A scaling analysis in the vicinity of the transition lines is consistent with the quantum Ising universality class.