title: Closed ASL Interpreting for Online Videos

abstract: Deaf individuals face great challenges in today's society. It can be very difficult to be able to understand different forms of media without a sense of hearing. Many videos and movies found online today are not captioned, and even fewer have a supporting video with an interpreter. Also, even with a supporting interpreter video provided, information is still lost due to the inability to look at both the video and the interpreter simultaneously. To alleviate this issue, we came up with a tool called closed interpreting. Similar to closed captioning, it will be displayed with an online video and can be toggled on and off. However, the closed interpreter is also user-adjustable. Settings, such as interpreter size, transparency, and location, can be adjusted. Our goal with this study is to find out what deaf and hard of hearing viewers like about videos that come with interpreters, and whether the adjustability is beneficial.


title: Reduced-order modeling for nonlinear Bayesian statistical inverse problems

abstract: Bayesian statistical inverse problems are often solved with Markov chain Monte Carlo (MCMC)-type schemes. When the problems are governed by large-scale discrete nonlinear partial differential equations (PDEs), they are computationally challenging because one would then need to solve the forward problem at every sample point. In this paper, the use of the discrete empirical interpolation method (DEIM) is considered for the forward solves within an MCMC routine. A preconditioning strategy for the DEIM model is also proposed to accelerate the forward solves. The preconditioned DEIM model is applied to a finite difference discretization of a nonlinear PDE in the MCMC model. Numerical experiments show that this approach yields accurate forward results. Moreover, the computational cost of solving the associated statistical inverse problem is reduced by more than 70%.


title: No-Go Theorems for Quantum Resource Purification

abstract: The manipulation of quantum "resources" such as entanglement, coherence and magic states lies at the heart of quantum science and technology, empowering potential advantages over classical methods. In practice, a particularly important kind of manipulation is to "purify" the quantum resources, since they are inevitably contaminated by noise and thus often lose their power or become unreliable for direct usage. Here we prove fundamental limitations on how effectively generic noisy resources can be purified enforced by the laws of quantum mechanics, which universally apply to any reasonable kind of quantum resource. More explicitly, we derive nontrivial lower bounds on the error of converting any full-rank noisy state to any target pure resource state by any free protocol (including probabilistic ones)---it is impossible to achieve perfect resource purification, even probabilistically. Our theorems indicate strong limits on the efficiency of distillation, a widely used type of resource purification routine that underpins many key applications of quantum information science. In particular, this general result induces the first explicit lower bounds on the resource cost of magic state distillation, a leading scheme for realizing scalable fault-tolerant quantum computation. Implications for the standard error-correction-based methods are specifically discussed.


title: Solar Active Region Heating Diagnostics from High Temperature Emission using the Marshall Grazing Incidence X-ray Spectrometer (MaGIXS)

abstract: The relative amount of high temperature plasma has been found to be a useful diagnostic to determine the frequency of coronal heating on sub-resolution structures. When the loops are infrequently heated, a broad emission measure (EM) over a wider range of temperatures is expected. A narrower EM is expected for high frequency heating where the loops are closer to equilibrium. The soft X-ray spectrum contains many spectral lines that provide high temperature diagnostics, including lines from Fe XVII-XIX. This region of the solar spectrum will be observed by the Marshall Grazing Incidence Spectrometer (MaGIXS) in 2020. In this paper, we derive the expected spectral lines intensity in MaGIXS to varying amounts of high temperature plasma to demonstrate that a simple line ratio of these provides a powerful diagnostic to determine the heating frequency. Similarly, we examine ratios of AIA channel intensities, filter ratios from a XRT, and energy bands from the FOXSI sounding rocket to determine their sensitivity to this parameter. We find that both FOXSI and MaGIXS provide good diagnostic capability for high-temperature plasma. We then compare the predicted line ratios to the output of a numerical model and confirm the MaGIXS ratios provide an excellent diagnostic for heating frequency.


title: High-resolution imaging of molecular collisions using a Zeeman decelerator

abstract: We present the first crossed beam scattering experiment using a Zeeman decelerated molecular beam. The narrow velocity spreads of Zeeman decelerated NO ($X ^2\Pi_{3/2}, j=3/2$) radicals result in high-resolution scattering images, thereby fully resolving quantum diffraction oscillations in the angular scattering distribution for inelastic NO-Ne collisions, and product-pair correlations in the radial scattering distribution for inelastic NO-O$_2$ collisions. These measurements demonstrate similar resolution and sensitivity as in experiments using Stark decelerators, opening up possibilities for controlled and low-energy scattering experiments using chemically relevant species such as H and O atoms, O$_2$ molecules or NH radicals.


title: Harnessing the Power of Deep Learning Methods in Healthcare: Neonatal Pain Assessment from Crying Sound

abstract: Neonatal pain assessment in clinical environments is challenging as it is discontinuous and biased. Facial/body occlusion can occur in such settings due to clinical condition, developmental delays, prone position, or other external factors. In such cases, crying sound can be used to effectively assess neonatal pain. In this paper, we investigate the use of a novel CNN architecture (N-CNN) along with other CNN architectures (VGG16 and ResNet50) for assessing pain from crying sounds of neonates. The experimental results demonstrate that using our novel N-CNN for assessing pain from the sounds of neonates has a strong clinical potential and provides a viable alternative to the current assessment practice.


title: Probabilistic Properties of Delay Differential Equations

abstract: Systems whose time evolutions are entirely deterministic can nevertheless be studied probabilistically, i.e. in terms of the evolution of probability distributions rather than individual trajectories. This approach is central to the dynamics of ensembles (statistical mechanics) and systems with uncertainty in the initial conditions. Delay differential equations (DDEs) are a particular class of deterministic systems, distinguished by an explicit dependence of the dynamics on past states. A probabilistic approach to DDEs is lacking. The main problems we consider in developing such an approach are (1) to characterize the evolution of probability distributions for DDEs, i.e. develop an analog of the Perron-Frobenius operator; (2) to characterize invariant probability distributions for DDEs; and (3) to develop a framework for the application of ergodic theory to delay equations, with a view to a probabilistic understanding of DDEs whose time evolutions are chaotic. We develop a variety of approaches to each of these problems, employing both analytical and numerical methods. In transient chaos, a system evolves erratically during a transient period that is followed by asymptotically regular behavior. Transient chaos in delay equations has not been reported or investigated before. We find numerical evidence of transient chaos (fractal basins of attraction and long chaotic transients) in some DDEs, including the Mackey-Glass equation. Transient chaos in DDEs can be analyzed numerically using a modification of the "stagger-and-step" algorithm applied to a discretized version of the DDE.


title: Strongly Chordal Graph Generation using Intersection Graph Characterisation

abstract: Strongly chordal graphs are a subclass of chordal graphs. Farber also established a number of different characterisations for this class of graphs. These include an intersection graph characterisation that is analogous to a similar characterisation for chordal graphs. Seker et al. exploited this characterisation of chordal graphs to obtain an algorithm for generating them. In this paper, we propose an algorithm to show that strongly chordal graphs can also be generated using their intersection graph characterisation.


title: Yule's "nonsense correlation" solved: Part II

abstract: In 1926, G. Udny Yule considered the following: given a sequence of pairs of random variables $\{X_k,Y_k \}$ ($k=1,2, \ldots, n$), and letting $X_i = S_i$ and $Y_ i= S'_i$ where $S_i$ and $S'_i$ are the partial sums of two independent random walks, what is the distribution of the empirical correlation coefficient \begin{equation*} \rho_n = \frac{\sum_{i=1}^n S_i S^\prime_i - \frac{1}{n}(\sum_{i=1}^n S_i)(\sum_{i=1}^n S^\prime_i)}{\sqrt{\sum_{i=1}^n S^2_i - \frac{1}{n}(\sum_{i=1}^n S_i)^2}\sqrt{\sum_{i=1}^n (S^\prime_i)^2 - \frac{1}{n}(\sum_{i=1}^n S^\prime_i)^2}}? \end{equation*} Yule empirically observed the distribution of this statistic to be heavily dispersed and frequently large in absolute value, leading him to call it "nonsense correlation." This unexpected finding led to his formulation of two concrete questions, each of which would remain open for more than ninety years: (i) Find (analytically) the variance of $\rho_n$ as $n \rightarrow \infty$ and (ii): Find (analytically) the higher order moments and the density of $\rho_n$ as $n \rightarrow \infty$. In 2017, Ernst, Shepp, and Wyner considered the empirical correlation coefficient \begin{equation*} \rho:= \frac{\int_0^1W_1(t)W_2(t) dt - \int_0^1W_1(t) dt \int_0^1 W_2(t) dt}{\sqrt{\int_0^1 W^2_1(t) dt - (\int_0^1W_1(t) dt)^2} \sqrt{\int_0^1 W^2_2(t) dt - (\int_0^1W_2(t) dt)^2}}\end{equation*} of two independent Wiener processes $W_1,W_2$, the limit to which $\rho_n$ converges weakly, as was first shown by Phillips (1986). Using tools from integral equation theory, Ernst et al. (2017) closed question (i) by explicitly calculating the second moment of $\rho$ to be .240522. This paper begins where Ernst et al. (2017) leaves off. We succeed in closing question (ii) by explicitly calculating all moments of $\rho$ (up to order 16).


title: Collecting MIB Data from Network Managed by SNMP using Multi Mobile Agents

abstract: Network anomalies are destructive to networks. Intrusion detection systems monitor network component behavior to detect unusual activity (i.e., possible threats). Application-layer Simple Network Management Protocol (SNMP) has been used for decades via TCP/IP protocol to manage network devices. Raw data security evaluation in intrusion detection incurs latency in detection. Management Information Base (MIB) combined with SNMP is a solution for this, the traditional approach of SNMP is centralized. Thus, rendering it unreliable and non-adaptive to network changes when it comes to distributed network. In distributed network, using single or multiple light Mobile Agents are an optimal solution for data gathering as they can move from one source node to another, executing naturally at each. This helps complete tasks without increasing the network overheads, and contributes to decreasing latency


title: Explanation based Handwriting Verification

abstract: Deep learning system have drawback that their output is not accompanied with ex-planation. In a domain such as forensic handwriting verification it is essential to provideexplanation to jurors. The goal of handwriting verification is to find a measure of confi-dence whether the given handwritten samples are written by the same or different writer.We propose a method to generate explanations for the confidence provided by convolu-tional neural network (CNN) which maps the input image to 15 annotations (features)provided by experts. Our system comprises of: (1) Feature learning network (FLN),a differentiable system, (2) Inference module for providing explanations. Furthermore,inference module provides two types of explanations: (a) Based on cosine similaritybetween categorical probabilities of each feature, (b) Based on Log-Likelihood Ratio(LLR) using directed probabilistic graphical model. We perform experiments using acombination of feature learning network (FLN) and each inference module. We evaluateour system using XAI-AND dataset, containing 13700 handwritten samples and 15 cor-responding expert examined features for each sample. The dataset is released for publicuse and the methods can be extended to provide explanations on other verification taskslike face verification and bio-medical comparison. This dataset can serve as the basis and benchmark for future research in explanation based handwriting verification. The code is available on github.


title: Minibatch Processing in Spiking Neural Networks

abstract: Spiking neural networks (SNNs) are a promising candidate for biologically-inspired and energy efficient computation. However, their simulation is notoriously time consuming, and may be seen as a bottleneck in developing competitive training methods with potential deployment on neuromorphic hardware platforms. To address this issue, we provide an implementation of mini-batch processing applied to clock-based SNN simulation, leading to drastically increased data throughput. To our knowledge, this is the first general-purpose implementation of mini-batch processing in a spiking neural networks simulator, which works with arbitrary neuron and synapse models. We demonstrate nearly constant-time scaling with batch size on a simulation setup (up to GPU memory limits), and showcase the effectiveness of large batch sizes in two SNN application domains, resulting in $\approx$880X and $\approx$24X reductions in wall-clock time respectively. Different parameter reduction techniques are shown to produce different learning outcomes in a simulation of networks trained with spike-timing-dependent plasticity. Machine learning practitioners and biological modelers alike may benefit from the drastically reduced simulation time and increased iteration speed this method enables. Code to reproduce the benchmarks and experimental findings in this paper can be found at https://github.com/djsaunde/snn-minibatch.


title: Rough sound waves in $3D$ compressible Euler flow with vorticity

abstract: We prove a series of results tied to the regularity and geometry of solutions to the $3D$ compressible Euler equations with vorticity and entropy. Our framework exploits and reveals additional virtues of a recent new formulation of the equations, which decomposed the flow into a geometric "(sound) wave-part" coupled to a "transport-div-curl-part" (transport-part for short), with both parts exhibiting remarkable properties. Our main result is that the time of existence can be controlled in terms of the $H^{2^+}(\mathbb{R}^3)$-norm of the wave-part of the initial data and various Sobolev and H\"{o}lder norms of the transport-part of the initial data, the latter comprising the initial vorticity and entropy. The wave-part regularity assumptions are optimal in the scale of Sobolev spaces: shocks can instantly form if one only assumes a bound for the $H^2(\mathbb{R}^3)$-norm of the wave-part of the initial data. Our proof relies on the assumption that the transport-part of the initial data is more regular than the wave-part, and we show that the additional regularity is propagated by the flow, even though the transport-part of the flow is deeply coupled to the rougher wave-part. To implement our approach, we derive several results of independent interest: i) sharp estimates for the acoustic geometry, i.e., the geometry of sound cones; ii) Strichartz estimates for quasilinear sound waves coupled to vorticity and entropy; and iii) Schauder estimates for the transport-div-curl-part. Compared to previous works on low regularity, the main new features of the paper are that the quasilinear PDE systems under study exhibit multiple speeds of propagation and that elliptic estimates for various components of the fluid are needed, both to avoid loss of regularity and to gain space-time integrability.


title: Quasi-optimal adaptive hybridized mixed finite element methods for linear elasticity

abstract: For the planar Navier--Lam\'e equation in mixed form with symmetric stress tensors, we prove the uniform quasi-optimal convergence of an adaptive method based on the hybridized mixed finite element proposed in [Gong, Wu, and Xu: Numer.~Math., 141 (2019), pp.~569--604]. The main ingredients in the analysis consist of a discrete a posteriori upper bound and a quasi-orthogonality result for the stress field under the mixed boundary condition. Compared with existing adaptive methods, the proposed adaptive algorithm could be directly applied to the traction boundary condition and be easily implemented.


title: Obtaining Precision Constraints on Modified Gravity with Helioseismology

abstract: We propose helioseismology as a new, precision probe of fifth forces at astrophysical scales, and apply it on the most general scalar-tensor theories for dark energy, known as Degenerate Higher-Order Scalar-Tensor theories (DHOST). We explain how the effect of the fifth force on the solar interior leaves an observable imprint on the acoustic oscillations, and under certain assumptions we numerically compute the non-radial pulsation eigenfrequencies within modified gravity. We illustrate its constraining power by showing that helioseismic observations have the potential to improve constraints on the strength of the fifth force by more than $2$ orders of magnitude, as $-1.8 \cdot 10^{-3} \leq Y \leq 1.2 \cdot 10^{-3}$ (at $2\sigma$). This in turn would suggest constraints of similar order for the theory's free functions around a cosmological background ($\alpha_{\text{H}}, \beta_{1}$).


title: Smooth Contextual Bandits: Bridging the Parametric and Non-differentiable Regret Regimes

abstract: We study a nonparametric contextual bandit problem where the expected reward functions belong to a H\"older class with smoothness parameter $\beta$. We show how this interpolates between two extremes that were previously studied in isolation: non-differentiable bandits ($\beta\leq1$), where rate-optimal regret is achieved by running separate non-contextual bandits in different context regions, and parametric-response bandits (satisfying $\beta=\infty$), where rate-optimal regret can be achieved with minimal or no exploration due to infinite extrapolatability. We develop a novel algorithm that carefully adjusts to all smoothness settings and we prove its regret is rate-optimal by establishing matching upper and lower bounds, recovering the existing results at the two extremes. In this sense, our work bridges the gap between the existing literature on parametric and non-differentiable contextual bandit problems and between bandit algorithms that exclusively use global or local information, shedding light on the crucial interplay of complexity and regret in contextual bandits.

categories: stat.ML cs.AI cs.LG math.OC math.ST stat.TH


title: Brans-Dicke gravity with a cosmological constant smoothes out $\Lambda$CDM tensions

abstract: We analyze Brans-Dicke gravity with a cosmological constant, $\Lambda$, and cold dark matter (BD-$\Lambda$CDM for short) in the light of the latest cosmological observations on distant supernovae, Hubble rate measurements at different redshifts, baryonic acoustic oscillations, large scale structure formation data, gravitational weak-lensing and the cosmic microwave background under full Planck 2015 CMB likelihood. Our analysis includes both the background and perturbations equations. We find that BD-$\Lambda$CDM is observationally favored as compared to the concordance $\Lambda$CDM model, which is traditionally defined within General Relativity (GR). In particular, some well-known persisting tensions of the $\Lambda$CDM with the data, such as the excess in the mass fluctuation amplitude $\sigma_8$ and specially the acute $H_0$-tension with the local measurements, essentially disappear in this context. Furthermore, viewed from the GR standpoint, BD-$\Lambda$CDM cosmology mimics quintessence at $\gtrsim3\sigma$ c.l. near our time.


title: Universal Sound Diffusion in a Strongly Interacting Fermi Gas

abstract: Transport of strongly interacting fermions governs modern materials -- from the high-$T_c$ cuprates to bilayer graphene --, but also nuclear fission, the merging of neutron stars and the expansion of the early universe. Here we observe a universal quantum limit of diffusivity in a homogeneous, strongly interacting Fermi gas of atoms by studying sound propagation and its attenuation via the coupled transport of momentum and heat. In the normal state, the sound diffusivity ${D}$ monotonically decreases upon lowering the temperature $T$, in contrast to the diverging behavior of weakly interacting Fermi liquids. As the superfluid transition temperature is crossed, ${D}$ attains a universal value set by the ratio of Planck's constant ${h}$ and the particle mass ${m}$. This finding of quantum limited sound diffusivity informs theories of fermion transport, with relevance for hydrodynamic flow of electrons, neutrons and quarks.


title: Number of Sign Changes: Segment of AR(1)

abstract: Let $X_{t}$ denote a stationary first-order autoregressive process. Consider $n$ contiguous observations (in time $t$) of the series (e.g., $X_{1}, ..., X_{n}$). Let its mean be zero and its lag-one serial correlation be $\rho$, which satisfies $|\rho| < 1$. Rice (1945) proved that $(n-1) \arccos(\rho)/\pi$ is the expected number of sign changes. A corresponding formula for higher-order moments was proposed by Nyberg, Lizana & Ambj\"ornsson (2018), based on an independent interval approximation. We focus on the variance only, for small $n$, and see a promising fit between theory and model.


title: The critical nature of the Ni spin state in doped NdNiO$_2$

abstract: Superconductivity with $T_c \approx 15K$ was recently found in doped NdNiO$_2$. The Ni$^{1+}$O$_2$ layers are expected to be Mott insulators so hole doping should produce Ni$^{2+}$ with $S=1$, incompatible with robust superconductivity. We show that the NiO$_2$ layers fall inside a ``critical'' region where the large $pd$ hybridization favors a singlet $^1\!A_1$ hole-doped state like in CuO$_2$. However, we find that the superexchange is about one order smaller than in cuprates, thus a magnon ``glue'' is very unlikely and another mechanism needs to be found.


title: Scientific relations between Uruguay and Argentina in the 1920s: the exact sciences

abstract: The scientific career of Uruguayan theoretical physicist Enrique Loedel Palumbo in Argentina illustrates the intense intellectual exchange that existed between these neighboring countries in the first third of the twentieth century. In this paper we briefly discuss the scientific training of this scientist in Uruguay, his subsequent incorporation to the Institute of Physics of La Plata, in Buenos Aires, and his first steps in research under the tutelage of German professor Richard Gans.


title: Alibaba Cloud Quantum Development Platform: Applications to Quantum Algorithm Design

abstract: We report our work on the Alibaba Cloud Quantum Development Platform (AC-QDP). The capability of AC-QDP's computational engine was already reported in \cite{CZH+18, ZHN+19}.In this follow-up article, we demonstrate with figures how AC-QDP helps in testing large-scale quantum algorithms (currently within the QAOA framework). We give new benchmark results on regular graphs. AC-QDP's QAOA framework can simulate thousands of qubits for up to $4$ layers. Then we discuss two interesting use cases we have implemented on the platform: 1. Optimal QAOA sequences for small-cycle free graphs; 2. Graph structure discovery.


title: Robustness to Modification with Shared Words in Paraphrase Identification

abstract: Revealing the robustness issues of natural language processing models and improving their robustness is important to their performance under difficult situations. In this paper, we study the robustness of paraphrase identification models from a new perspective -- via modification with shared words, and we show that the models have significant robustness issues when facing such modifications. To modify an example consisting of a sentence pair, we either replace some words shared by both sentences or introduce new shared words. We aim to construct a valid new example such that a target model makes a wrong prediction. To find a modification solution, we use beam search constrained by heuristic rules, and we leverage a BERT masked language model for generating substitution words compatible with the context. Experiments show that the performance of the target models has a dramatic drop on the modified examples, thereby revealing the robustness issue. We also show that adversarial training can mitigate this issue.


title: On the road to percent accuracy III: non-linear reaction of the matter power spectrum to massive neutrinos

abstract: We analytically model the non-linear effects induced by massive neutrinos on the total matter power spectrum using the halo model reaction framework of Cataneo et al. 2019. In this approach the halo model is used to determine the relative change to the matter power spectrum caused by new physics beyond the concordance cosmology. Using standard fitting functions for the halo abundance and the halo mass-concentration relation, the total matter power spectrum in the presence of massive neutrinos is predicted to percent-level accuracy, out to $k=10 \, h \, {\rm Mpc}^{-1}$. We find that refining the prescriptions for the halo properties using $N$-body simulations improves the recovered accuracy to better than 1%. This paper serves as another demonstration for how the halo model reaction framework, in combination with a single suite of standard $\Lambda$CDM simulations, can recover percent-level accurate predictions for beyond-$\Lambda$CDM matter power spectra, well into the non-linear regime.


title: TFCheck : A TensorFlow Library for Detecting Training Issues in Neural Network Programs

abstract: The increasing inclusion of Machine Learning (ML) models in safety critical systems like autonomous cars have led to the development of multiple model-based ML testing techniques. One common denominator of these testing techniques is their assumption that training programs are adequate and bug-free. These techniques only focus on assessing the performance of the constructed model using manually labeled data or automatically generated data. However, their assumptions about the training program are not always true as training programs can contain inconsistencies and bugs. In this paper, we examine training issues in ML programs and propose a catalog of verification routines that can be used to detect the identified issues, automatically. We implemented the routines in a Tensorflow-based library named TFCheck. Using TFCheck, practitioners can detect the aforementioned issues automatically. To assess the effectiveness of TFCheck, we conducted a case study with real-world, mutants, and synthetic training programs. Results show that TFCheck can successfully detect training issues in ML code implementations.


title: DeepEvolution: A Search-Based Testing Approach for Deep Neural Networks

abstract: The increasing inclusion of Deep Learning (DL) models in safety-critical systems such as autonomous vehicles have led to the development of multiple model-based DL testing techniques. One common denominator of these testing techniques is the automated generation of test cases, e.g., new inputs transformed from the original training data with the aim to optimize some test adequacy criteria. So far, the effectiveness of these approaches has been hindered by their reliance on random fuzzing or transformations that do not always produce test cases with a good diversity. To overcome these limitations, we propose, DeepEvolution, a novel search-based approach for testing DL models that relies on metaheuristics to ensure a maximum diversity in generated test cases. We assess the effectiveness of DeepEvolution in testing computer-vision DL models and found that it significantly increases the neuronal coverage of generated test cases. Moreover, using DeepEvolution, we could successfully find several corner-case behaviors. Finally, DeepEvolution outperformed Tensorfuzz (a coverage-guided fuzzing tool developed at Google Brain) in detecting latent defects introduced during the quantization of the models. These results suggest that search-based approaches can help build effective testing tools for DL systems.


title: Classification with Costly Features as a Sequential Decision-Making Problem

abstract: This work focuses on a specific classification problem, where the information about a sample is not readily available, but has to be acquired for a cost, and there is a per-sample budget. Inspired by real-world use-cases, we analyze average and hard variations of a directly specified budget. We postulate the problem in its explicit formulation and then convert it into an equivalent MDP, that can be solved with deep reinforcement learning. Also, we evaluate a real-world inspired setting with sparse training dataset with missing features. The presented method performs robustly well in all settings across several distinct datasets, outperforming other prior-art algorithms. The method is flexible, as showcased with all mentioned modifications and can be improved with any domain independent advancement in RL.


title: Causal Effects of Brevity on Style and Success in Social Media

abstract: In online communities, where billions of people strive to propagate their messages, understanding how wording affects success is of primary importance. In this work, we are interested in one particularly salient aspect of wording: brevity. What is the causal effect of brevity on message success? What are the linguistic traits of brevity? When is brevity beneficial, and when is it not? Whereas most prior work has studied the effect of wording on style and success in observational setups, we conduct a controlled experiment, in which crowd workers shorten social media posts to prescribed target lengths and other crowd workers subsequently rate the original and shortened versions. This allows us to isolate the causal effect of brevity on the success of a message. We find that concise messages are on average more successful than the original messages up to a length reduction of 30-40%. The optimal reduction is on average between 10% and 20%. The observed effect is robust across different subpopulations of raters and is the strongest for raters who visit social media on a daily basis. Finally, we discover unique linguistic and content traits of brevity and correlate them with the measured probability of success in order to distinguish effective from ineffective shortening strategies. Overall, our findings are important for developing a better understanding of the effect of brevity on the success of messages in online social media.


title: The VISCACHA survey -- deep and resolved photometry of star clusters in the Magellanic Clouds

abstract: The VISCACHA (VIsible Soar photometry of star Clusters in tApii and Coxi HuguA\footnote{LMC and SMC names in the Tupi-Guarani language spoken by native people in Brazil}) Survey is an ongoing project based on deep and spatiallyresolved photometric observations of Magellanic Cloud star clusters, collected using the SOuthern Astrophysical Research (SOAR) telescope together with the SOAR Adaptive Module Imager. So far we have used $>$300h of telescope time to observe $\sim$150 star clusters, mostly with low mass ($M < 10^4 M_{\odot}$) on the outskirts of the LMC and SMC. With this high-quality data set, we homogeneously determine physical properties using deep colour-magnitude diagrams (ages, metallicities, reddening, distances, mass, luminosity and mass functions) and structural parameters (radial density profiles, sizes) for these clusters which are used as a proxy to investigate the interplay between the Magellanic Clouds and their evolution. We present the VISCACHA survey and its initial results, based on our first two papers. The project's long term goals and expected legacy to the community are also addressed.


title: Breaking the dichotomy between typical and anomalous globular clusters: the case of NGC 3201

abstract: We recently discovered that NGC 3201 has characteristics that set it outside the current twofold classification scheme for Galactic globular clusters (GCs). Most GCs are mono-metallic and show light-element abundance variations (e.g., Na-O and C-N anti-correlations); but a minority of clusters also present variations in Fe correlating with s-process element and C+N+O abundances, and they possess multiple C-N sequences. These anomalous GCs also have a broad sub-giant branch (SGB) and follow the same mass-size relation as dwarf galaxies possibly evolving into GCs. We now revealed that NGC 3201 belongs to neither group. It has multiple C-N sequences, but no broad SGB, no strong evidence of a Fe-spread, and it does not follow the mass-size relation.


title: Searching for a solar relaxion/scalar with XENON1T and LUX

abstract: We consider liquid xenon dark matter detectors for searching a light scalar particle produced in the solar core, specifically one that couples to electrons. Through its interaction with the electrons, the scalar particle can be produced in the Sun, mainly through Bremsstrahlung process, and subsequently it is absorbed by liquid xenon atoms, leaving prompt scintillation light and ionization events. Using the latest experimental results of XENON1T and Large Underground Xenon, we place bounds on the coupling between electrons and a light scalar as $g_{\phi ee} < 7 \times 10^{-15}$ from S1-only analysis, and as $g_{\phi ee} < 2 \times 10^{-15}$ from S2-only analysis. These can be interpreted as bounds on the mixing angle with the Higgs, $\sin \theta < 2 \times 10^{-9} \, \left(7 \times 10^{-10}\right)$, for the case of a relaxion that couples to the electrons via this mixing. The bounds are a factor few weaker than the strongest indirect bound inferred from stellar evolution considerations.


title: Evolutionary models for R Coronae Borealis stars

abstract: We use Modules for Experiments in Stellar Astrophysics (MESA) to construct stellar evolution models that reach a hydrogen-deficient, carbon-rich giant phase like the R Coronae Borealis (R CrB) stars. These models use opacities from OPAL and AESOPUS that cover the conditions in the cool, H-deficient, CNO-enhanced envelopes of these stars. We compare models that begin from homogeneous He stars with models constructed to reproduce the remnant structure shortly after the merger of a He and a CO white dwarf (WD). We emphasize that models originating from merger scenarios have a thermal reconfiguration phase that can last up to $\approx$ 1 kyr post merger, suggesting some galactic objects should be in this phase. We illustrate the important role of mass loss in setting the lifetimes of the R CrB stars. Using AGB-like mass loss prescriptions, models with CO WD primaries $\lesssim 0.7\,M_\odot$ typically leave the R CrB phase with total masses $\approx 0.6-0.7\,M_\odot$, roughly independent of their total mass immediately post-merger. This implies that the descendants of the R CrB stars may have a relatively narrow range in mass and luminosity as extreme He stars and a relatively narrow range in mass as single WDs.


title: Stellar Bars in Counter-Rotating Dark Matter Halos: The Role of Halo Orbit Reversals

abstract: Disk galaxies can exchange angular momentum and baryons with their host dark matter (DM) halos. These halos possess internal spin, `lambda', which is insignificant rotationally but does affect interactions between the baryonic and DM components. While statistics of prograde and retrograde spinning halos in galaxies is not available at present, the existence of such halos is important for galaxy evolution. In the previous works, we analyzed dynamical and secular evolution of stellar bars in prograde spinning halos and the DM response to the bar perturbation, and found that it is modified by the resonant interactions between the bar and the DM halo orbits. In the present work, we follow the evolution of stellar bars in retrograde halos. We find, that this evolution differs substantially from evolution in rigid unresponsive halos, discussed in the literature. First, we confirm that the bar instability is delayed progressively along the retrograde `lambda' sequence. Second, the bar evolution in the retrograde halos differs also from that in the prograde halos, in that the bars continue to grow substantially over the simulation time of 10 Gyr. The DM response is also substantially weaker compared to this response in the prograde halos. Third, using orbital spectral analysis of the DM orbital structure, we find a phenomenon we call the orbit reversal --- when retrograde DM orbits interact with the stellar bar, reverse their streaming and precession, and become prograde. This process dominates the inner halo region adjacent to the bar and allows these orbits to be trapped by the bar, thus increasing efficiency of angular momentum transfer by the Inner Lindblad Resonance. We demonstrate this reversal process explicitly in a number of examples.


title: Large charge at large N

abstract: We apply the large-charge expansion to O(N) vector models starting from first principles, focusing on the Wilson-Fisher point in three dimensions. We compute conformal dimensions at zero and finite temperature at fixed charge Q, concentrating on the regime $1 \ll N \ll Q$. Our approach places the earlier effective field theory treatment on firm ground and extends its predictions.


title: Compact Star-Forming Galaxies as Old Starbursts Becoming Quiescent

abstract: Optically-compact star-forming galaxies (SFGs) have been proposed as immediate progenitors of quiescent galaxies, although their origin and nature are debated. Were they formed in slow secular processes or in rapid merger-driven starbursts? Addressing this question would provide fundamental insight into how quenching occurs. We explore the location of the general population of galaxies with respect to fundamental star-forming and structural relations, identify compact SFGs based on their stellar core densities, and study three diagnostics of the burstiness of star formation: 1) Star formation efficiency, 2) interstellar medium (ISM), and 3) radio emission. The overall distribution of galaxies in the fundamental relations points towards a smooth transition towards quiescence while galaxies grow their stellar cores, although some galaxies suddenly increase their specific star-formation rate when they become compact. From their star formation efficiencies compact and extended SFGs appear similar. In relation to the ISM diagnostic, by studying the CO excitation, the density of the neutral gas, and the strength of the ultraviolet radiation field, compact SFGs resemble galaxies located in the upper envelope of the SFGs main sequence, although yet based on a small sample size. Regarding the radio emission diagnostic we find that galaxies become increasingly compact as the starburst ages, implying that at least some compact SFGs are old starbursts. We suggest that compact SFGs could be starburts winding down and eventually crossing the main sequence towards quiescence.


title: Constraints on the mass-concentration relation of cold dark matter halos with 11 strong gravitational lenses

abstract: The mass-concentration relation of dark matter halos reflects the assembly history of objects in hierarchical structure formation scenarios, and depends on fundamental quantities in cosmology such as the slope of the primordial matter power-spectrum. This relation is unconstrained by observations on sub-galactic scales. We derive the first measurement of the mass-concentration relation using the image positions and flux ratios from eleven quadruple-image strong gravitational lenses (quads) in the mass range $10^{6} - 10^{10} M_{\odot}$, assuming cold dark matter. Our analysis framework includes both subhalos and line of sight halos, marginalizes over nuisance parameters describing the lens macromodel, accounts for finite source effects on lensing observables, and simultaneously constrains the normalization and logarithmic slope of the mass-concentration relation, and the normalization of the subhalo mass function. At $z=0$, we constrain the concentration of $10^{8} M_{\odot}$ halos $c=12_{-5}^{+6}$ at $68 \%$ CI, and $c=12_{-9}^{+15}$ at $95 \%$ CI. For a $10^{7} M_{\odot}$ halo, we obtain $68 \%$ ($95 \%$) constraints $c=15_{-8}^{+9}$ ($c=15_{-11}^{+18}$), while for $10^{9} M_{\odot}$ halos $c=10_{-4}^{+7}$ ($c=10_{-7}^{+14}$). These results are consistent with the theoretical predictions from mass-concentration relations in the literature, and establish strong lensing by galaxies as a powerful probe of halo concentrations on sub-galactic scales across cosmological distance.


title: Superconductivity from collective excitations in magic angle twisted bilayer graphene

abstract: A purely electronic mechanism is proposed for the unconventional superconductivity recently observed in twisted bilayer graphene (tBG) close to the magic angle. Using the Migdal-Eliashberg framework on a one parameter effective lattice model for tBG we show that a superconducting state can be achieved by means of collective electronic modes in tBG. We posit robust features of the theory, including an asymmetrical superconducting dome and the magnitude of the critical temperature that are in agreement with experiments.


title: Emission from the circumgalactic medium: from cosmological zoom-in simulations to multiwavelength observables

abstract: We simulate the flux emitted from galaxy halos in order to quantify the brightness of the circumgalactic medium (CGM). We use dedicated zoom-in cosmological simulations with the hydrodynamical Adaptive Mesh Refinement code RAMSES, which are evolved down to z=0 and reach a maximum spatial resolution of 380 $h^{-1}$pc and a gas mass resolution up to 1.8$\times 10^{5} h^{-1} \rm{M}_{\odot}$ in the densest regions. We compute the expected emission from the gas in the CGM using CLOUDY emissivity models for different lines (e.g. Ly$\alpha$, CIV, OVI, CVI, OVIII) considering UV background fluorescence, gravitational cooling and continuum emission. In the case of Ly$\alpha$ we additionally consider the scattering of continuum photons. We compare our predictions to current observations and find them to be in good agreement at any redshift after adjusting the Ly$\alpha$ escape fraction. We combine our mock observations with instrument models for FIREBall-2 (UV balloon spectrograph) and HARMONI (visible and NIR IFU on the ELT) to predict CGM observations with either instrument and optimise target selections and observing strategies. Our results show that Ly$\alpha$ emission from the CGM at a redshift of 0.7 will be observable with FIREBall-2 for bright galaxies (NUV$\sim$18 mag), while metal lines like OVI and CIV will remain challenging to detect. HARMONI is found to be well suited to study the CGM at different redshifts with various tracers.


title: Deep Visual Template-Free Form Parsing

abstract: Automatic, template-free extraction of information from form images is challenging due to the variety of form layouts. This is even more challenging for historical forms due to noise and degradation. A crucial part of the extraction process is associating input text with pre-printed labels. We present a learned, template-free solution to detecting pre-printed text and input text/handwriting and predicting pair-wise relationships between them. While previous approaches to this problem have been focused on clean images and clear layouts, we show our approach is effective in the domain of noisy, degraded, and varied form images. We introduce a new dataset of historical form images (late 1800s, early 1900s) for training and validating our approach. Our method uses a convolutional network to detect pre-printed text and input text lines. We pool features from the detection network to classify possible relationships in a language-agnostic way. We show that our proposed pairing method outperforms heuristic rules and that visual features are critical to obtaining high accuracy.


title: Analytic Non-Integrability and S-Matrix Factorization

abstract: We formulate an equivalence between the 2-dim $\sigma$-model spectrum expanded on a non-trivial massive vacuum and a classical particle Hamiltonian with variable mass and potential. By considering methods of analytic Galoisian non-integrability on appropriate geodesics of the Hamiltonian system we algebraically constrain the particle masses at fixed time, such that integrability is allowed. Through our equivalence this explicitly constrains the masses of the excited spectrum of the dual 2-dim theory in such a way to imply the S-matrix factorization and no particle production. In particular, the integrability of the classical particle system, implies the factorization of the S-matrix in the dual quantum 2-dim theory. Our proposal provides also non-trivial evidence without any assumptions, on the connection between integrability and S-matrix factorization for large class of theories with interactions that break Lorentz invariance.


title: Positive quantum Lyapunov exponents in experimental systems with a regular classical limit

abstract: Quantum chaos refers to signatures of classical chaos found in the quantum domain. Recently, it has become common to equate the exponential behavior of out-of-time order correlators (OTOCs) with quantum chaos. The quantum-classical correspondence between the OTOC exponential growth and chaos in the classical limit has indeed been corroborated theoretically for some systems and there are several projects to do the same experimentally. The Dicke model, in particular, which has a regular and a chaotic regime, is currently under intense investigation by experiments with trapped ions. We show, however, that for experimentally accessible parameters, OTOCs can grow exponentially also when the Dicke model is in the regular regime. The same holds for the Lipkin-Meshkov-Glick model, which is integrable and also experimentally realizable. The exponential behavior in these cases are due to unstable stationary points, not to chaos.


title: The Complexity of Reachability in Affine Vector Addition Systems with States

abstract: Vector addition systems with states (VASS) are widely used for the formal verification of concurrent systems. Given their tremendous computational complexity, practical approaches have relied on techniques such as reachability relaxations, e.g., allowing for negative intermediate counter values. It is natural to question their feasibility for VASS enriched with primitives that typically translate into undecidability. Spurred by this concern, we pinpoint the complexity of integer relaxations with respect to arbitrary classes of affine operations. More specifically, we provide a trichotomy on the complexity of integer reachability in VASS extended with affine operations (affine VASS). Namely, we show that it is NP-complete for VASS with resets, PSPACE-complete for VASS with (pseudo-)transfers and VASS with (pseudo-)copies, and undecidable for any other class. We further present a dichotomy for standard reachability in affine VASS: it is decidable for VASS with permutations, and undecidable for any other class. This yields a complete and unified complexity landscape of reachability in affine VASS. We also consider the reachability problem parameterized by a fixed affine VASS, rather than a class, and we show that the complexity landscape is arbitrary in this setting.


title: Structural and Evolutionary Diagnostics from Asteroseismic Phase Functions

abstract: In the asymptotic parameterisation of mode frequencies, the phase function $\epsilon(\nu)$ completely specifies the detailed structure of the frequency eigenvalues. In practice, however, this function of frequency is reduced to a single scalar $\epsilon$, defined, particularly by observers, as the intercept of a least-squares fit to the frequencies against radial order, or via the central value of this function. The procedure by which this is done is not unique. We derive a few simple expressions relating various observational estimators of $\epsilon$ for radial modes to each other, and to the underlying theoretical object. In particular we demonstrate that a ``reduced' functional parameterisation is both insensitive to mis-estimations of $\Delta\nu$, and easy to evaluate locally in terms of both observational and theoretical quantities. It has been shown previously that such a local definition of $\epsilon$ can distinguish between stars on the ascending part of the red giant branch and those in the red clump. We find that this sensitivity to evolutionary stage arises from differences in the local frequency derivative of the underlying phase function, a consequence of differences in internal structure. By constructing an HR-like diagram out of purely seismic observables, we provide a unified view of the \textit{Kepler} asteroseismic sample, as well as the initial results from \textit{TESS}. We investigate how various astrophysical quantities and modelling parameters affect the morphology of isochrones on this seismic diagram. We also show that $\epsilon$ can be used as an independent input when deriving stellar parameters from global asteroseismic quantities.


title: Radioactive heating rate of r-process elements and macronova light curve

abstract: We study the heating rate of r-process nuclei and thermalization of decay products in neutron star merger ejecta and macronova (kilonova) light curves. Thermalization of charged decay products, i.e., electrons, $\alpha$-particles, and fission fragments is calculated according to their injection energy. The $\gamma$-ray thermalization processes are also properly calculated by taking the $\gamma$-ray spectrum of each decay into account. We show that the $\beta$-decay heating rate at later times approaches a power-law decline as $\propto t^{-2.8}$, which agrees with the result of Waxman et al. (2019). We present a new analytic model to calculate macronova light curves, in which the density structure of the ejecta is accounted for. We demonstrate that the observed bolometric light curve and temperature evolution of the macronova associated with GW170817 are reproduced well by the $\beta$-decay heating rate with the solar r-process abundance pattern. We interpret the break in the observed bolometric light curve around a week as a result of the diffusion wave crossing a significant part of the ejecta rather than a thermalization break. We also show that the time-weighted integral of the bolometric light curve (Katz integral) is useful to provide an estimate of the total r-process mass from the observed data, which is independent of the highly uncertain radiative transfer. For the macronova in GW170817, the ejecta mass is robustly estimated as $\approx 0.05M_{\odot}$ for $A_{\rm min}\leq 72$ and $85\leq A_{\rm min}\leq 130$ with the solar r-process abundance pattern. The code for computation of the heating rate and light curve for given initial nuclear abundances is publicly available.


title: Kinematical Signatures of Disc Instabilities and Secular Evolution in the MUSE TIMER Survey

abstract: The MUSE TIMER Survey has obtained high signal and high spatial resolution integral-field spectroscopy data of the inner $\sim6\times6$ kpc of 21 nearby massive disc galaxies. This allows studies of the stellar kinematics of the central regions of massive disc galaxies that are unprecedented in spatial resolution. We confirm previous predictions from numerical and hydrodynamical simulations of the effects of bars and inner bars on stellar and gaseous kinematics, and also identify box/peanuts via kinematical signatures in mildly and moderately inclined galaxies, including a box/peanut in a face-on inner bar. In 20/21 galaxies we find inner discs and show that their properties are fully consistent with the bar-driven secular evolution picture for their formation. In addition, we show that these inner discs have, in the region where they dominate, larger rotational support than the main galaxy disc, and discuss how their stellar population properties can be used to estimate when in cosmic history the main bar formed. Our results are compared with photometric studies in the context of the nature of galaxy bulges and we show that inner discs are identified in image decompositions as photometric bulges with exponential profiles (i.e., S\'ersic indices near unity).


title: Spatiotemporally Constrained Action Space Attacks on Deep Reinforcement Learning Agents

abstract: Robustness of Deep Reinforcement Learning (DRL) algorithms towards adversarial attacks in real world applications such as those deployed in cyber-physical systems (CPS) are of increasing concern. Numerous studies have investigated the mechanisms of attacks on the RL agent's state space. Nonetheless, attacks on the RL agent's action space (AS) (corresponding to actuators in engineering systems) are equally perverse; such attacks are relatively less studied in the ML literature. In this work, we first frame the problem as an optimization problem of minimizing the cumulative reward of an RL agent with decoupled constraints as the budget of attack. We propose a white-box Myopic Action Space (MAS) attack algorithm that distributes the attacks across the action space dimensions. Next, we reformulate the optimization problem above with the same objective function, but with a temporally coupled constraint on the attack budget to take into account the approximated dynamics of the agent. This leads to the white-box Look-ahead Action Space (LAS) attack algorithm that distributes the attacks across the action and temporal dimensions. Our results shows that using the same amount of resources, the LAS attack deteriorates the agent's performance significantly more than the MAS attack. This reveals the possibility that with limited resource, an adversary can utilize the agent's dynamics to malevolently craft attacks that causes the agent to fail. Additionally, we leverage these attack strategies as a possible tool to gain insights on the potential vulnerabilities of DRL agents.


title: Diffusions on a space of interval partitions: construction from marked L\'evy processes

abstract: Consider a spectrally positive Stable($1+\alpha$) process whose jumps we interpret as lifetimes of individuals. We mark the jumps by continuous excursions assigning "sizes" varying during the lifetime. As for Crump-Mode-Jagers processes (with "characteristics"), we consider for each level the collection of individuals alive. We arrange their "sizes" at the crossing height from left to right to form an interval partition. We study the continuity and Markov properties of the interval-partition-valued process indexed by level. From the perspective of the Stable($1+\alpha$) process, this yields new theorems of Ray-Knight-type. From the perspective of branching processes, this yields new, self-similar models with dense sets of birth and death times of (mostly short-lived) individuals. This paper feeds into projects resolving conjectures by Feng and Sun (2010) on the existence of certain measure-valued diffusions with Poisson--Dirichlet stationary laws, and by Aldous (1999) on the existence of a continuum-tree-valued diffusion.


title: Exploring the local black hole mass function below $10^6$ solar masses

abstract: The local black hole mass function (BHMF) is of great interest to a variety of astrophysical problems, ranging from black hole binary merger rates to an indirect census of the dominant seeding mechanism of supermassive black holes. In this Letter, we combine the latest galaxy stellar mass function from the Galaxy And Mass Assembly survey with X-ray-based constraints to the local black hole occupation fraction to probe the BHMF below $10^6$ $M_{\odot}$. Notwithstanding the large uncertainties inherent to the choice of a reliable observational proxy for black hole mass, the resulting range of BHMFs yields a combined normalization uncertainty of $\lesssim$1 dex over the $[10^5-10^6]$ $M_{\odot}$ range, where upcoming, space-based gravitational wave detectors are designed to be most sensitive.


title: Adaptive Robust Game-Theoretic Decision Making for Autonomous Vehicles

abstract: In a typical traffic scenario, autonomous vehicles are required to share the road with other road participants, e.g., human driven vehicles, pedestrians, etc. To successfully navigate the traffic, a cognitive hierarchy theory such as level-k framework, can be used by the autonomous agents to categorize the agents based on their depth of strategic thought and act accordingly. However, mismatch between the vehicle dynamics and its predictions, and improper classification of the agents can lead to undesirable behavior or collision. Robust approaches can handle the uncertainties, however, might result in a conservative behavior of the autonomous vehicle. This paper proposes an adaptive robust decision making strategy for autonomous vehicles to handle model mismatches in the prediction model while utilizing the confidence of the driver behavior to obtain less conservative actions. The effectiveness of the proposed approach is validated for a lane change maneuver in a highway driving scenario.


title: The CCAT-Prime Submillimeter Observatory

abstract: The Cerro Chajnantor Atacama Telescope-prime (CCAT-prime) is a new 6-m, off-axis, low-emissivity, large field-of-view submillimeter telescope scheduled for first light in the last quarter of 2021. In summary, (a) CCAT-prime uniquely combines a large field-of-view (up to 8-deg), low emissivity telescope (< 2%) and excellent atmospheric transmission (5600-m site) to achieve unprecedented survey capability in the submillimeter. (b) Over five years, CCAT-prime first generation science will address the physics of star formation, galaxy evolution, and galaxy cluster formation; probe the re-ionization of the Universe; improve constraints on new particle species; and provide for improved removal of dust foregrounds to aid the search for primordial gravitational waves. (c) The Observatory is being built with non-federal funds (~ \$40M in private and international investments). Public funding is needed for instrumentation (~ \$8M) and operations (\$1-2M/yr). In return, the community will be able to participate in survey planning and gain access to curated data sets. (d) For second generation science, CCAT-prime will be uniquely positioned to contribute high-frequency capabilities to the next generation of CMB surveys in partnership with the CMB-S4 and/or the Simons Observatory projects or revolutionize wide-field, sub-millimetter line intensity mapping surveys.

categories: astro-ph.IM astro-ph.CO astro-ph.GA astro-ph.SR


title: The 28 GeV Dimuon Excess in Lepton Specific 2HDM

abstract: We explore the Higgs mass spectrum in a class of Two Higgs Doublet Models (THDMs) in which a scalar SU(2)_L doublet interacts only with quarks, while the second one interacts only with leptons. The spectrum includes two CP-even Higgs bosons, either of which can account for the SM-like Higgs boson, and the spectra involving light Higgs bosons receive strong impacts from the LEP results and the current collider analyses. We find that a consistent spectrum can involve a CP-odd Higgs boson as light as about 10 GeV, while the lightest CP-even Higgs boson cannot be lighter than about 55 GeV when m_A ~ 28 GeV. These analyses can rather bound the low tan beta region which can also accommodate an observed excess in dimuon events at m_mumu ~ 28 GeV. A lepton-specific class of THDMs (LS-THDM) can predict such an excess through A -> mu mu decays, while the solutions can be constrained by the A -> tau tau mode. After constraining the solutions with the consistent ranges of sigma(pp -> bbA -> bb tau tau), a largest excess at about 1.5 sigma at 8 TeV center of mass (COM) energy and 2 sigma at 13 TeV COM is observed for tan beta ~ 12 and m_A ~ 28 GeV in the sigma(pp -> bbA -> bb mu mu) events.


title: Gas velocity structure of the Orion A Integral Shaped Filament

abstract: We present analysis of the gas kinematics of the Integral Shaped Filament (ISF) in Orion~A using four different molecular lines, $^{12}$CO (1-0), $^{13}$CO (1-0), NH$_3$ (1,1), and N$_2$H$^+$ (1-0). We describe our method to visualize the position-velocity (PV) structure using the intensity-weighted line velocity centroid, which enables us to identify structures that were previously muddled or invisible. We observe a north to south velocity gradient in all tracers that terminates in a velocity peak near the center of the Orion Nebula Cluster (ONC), consistent with the previously reported "wave-like" properties of the ISF. We extract the velocity dispersion profiles and compare the non-thermal line widths to the gas gravitational potential. We find supersonic Mach number profiles, yet the line widths are consistent with the gas being deeply gravitationally bound. We report the presence of two $^{12}$CO velocity components along the northern half of the ISF; if interpreted as circular rotation, the angular velocity is $\omega=1.4\,{\rm Myr}^{-1}$. On small scales we report the detection of N$_2$H$^+$ and NH$_3$ "twisting and turning" structures, with short associated timescales that give the impression of a torsional wave. Neither the nature of these structures nor their relation to the larger scale wave is presently understood.


title: Chromatic number is Ramsey distinguishing

abstract: A graph $G$ is Ramsey for a graph $H$ if every colouring of the edges of $G$ in two colours contains a monochromatic copy of $H$. Two graphs $H_1$ and $H_2$ are Ramsey equivalent if any graph $G$ is Ramsey for $H_1$ if and only if it is Ramsey for $H_2$. A graph parameter $s$ is Ramsey distinguishing if $s(H_1)\neq s(H_2)$ implies that $H_1$ and $H_2$ are not Ramsey equivalent. In this paper we show that the chromatic number is a Ramsey distinguishing parameter. We also extend this to the multi-colour case and use a similar idea to find another graph parameter which is Ramsey distinguishing.


title: Dust Polarization Toward Embedded Protostars in Ophiuchus with ALMA. III. Survey Overview

abstract: We present 0.25 arcsec resolution (35 au) ALMA 1.3 mm dust polarization observations for 37 young stellar objects (YSOs) in the Ophiuchus cloud. These data encompass all the embedded protostars in the cloud and several Flat and Class II objects to produce the largest, homogeneous study of dust polarization on disk scales to date. The goal of this study is to study dust polarization down to disk scales. We find that 14/37 (38%) of the YSOs are detected in polarization. Nine of these sources have uniform polarization angles and four sources have azimuthal polarization. The sources with uniform polarization tend to have steeper inclinations (> 60 degree) than those with azimuthal polarization (< 60 degree). The majority (9/14) of the detected sources have polarization morphologies and disk properties consistent with dust self-scattering in optically thick disks. The remaining sources may be instead tracing magnetic fields. Their inferred field directions from rotating the polarization vectors by 90 degree are mainly poloidal or hourglass shaped. We find no evidence of a strong toroidal field component toward any of our disks. For the 23 YSOs that are undetected in polarization, roughly half of them have 3-sigma upper limits of < 2%. These sources also tend to have inclinations < 60 degree and they are generally compact. Since lower inclination sources tend to have azimuthal polarization, these YSOs may be undetected in polarization due to unresolved polarization structure within our beam. We propose that disks with inclinations > 60 degree are the best candidates for future polarization studies of dust self-scattering as these systems will generally show uniform polarization vectors that do not require very high resolution to resolve. We release the continuum and polarization images for all the sources with this publication. Data from the entire survey can be obtained from Dataverse.


title: Stellar Representation of Grassmannians

abstract: Pure quantum spin-$s$ states can be represented by $2s$ points on the sphere, as shown by Majorana in 1932 --- the description has proven particularly useful in the study of rotational symmetries of the states, and a host of other properties, as the points rotate rigidly on the sphere when the state undergoes an $SU(2)$ transformation in Hilbert space. At the same time, the Wilzcek-Zee effect, which involves the cyclic evolution of a degenerate $k$-dimensional linear subspace of the Hilbert space, and the associated holonomy dictated by Schroedinger's equation, have been proposed as a fault-tolerant mechanism for the implementation of logical gates, with applications in quantum computing. We show, in this paper, how to characterize such subspaces by Majorana-like sets of points on the sphere, that also rotate rigidly under $SU(2)$ transformations --- the construction is actually valid for arbitrary totally antisymmetric $k$-partite qudit states.


title: Lucas atoms

abstract: Given two variables $s$ and $t$, the associated sequence of Lucas polynomials is defined inductively by $\{0\}=0$, $\{1\}=1$, and $\{n\}=s\{n-1\}+t\{n-2\}$ for $n\ge2$. An integer (e.g., a Catalan number) defined by an expression of the form $\prod_i n_i/\prod_j k_j$ has a Lucas analogue obtained by replacing each factor with the corresponding Lucas polynomial. There has been interest in deciding when such expressions, which are a priori only rational functions, are actually polynomials in $s,t$. The approaches so far have been combinatorial. We introduce a powerful algebraic method for answering this question by factoring $\{n\}=\prod_{d|n} P_d(s,t)$, where we call the polynomials $P_d(s,t)$ Lucas atoms. This permits us to show that the Lucas analogues of the Fuss-Catalan and Fuss-Narayana numbers for all irreducible Coxeter groups are polynomials in $s,t$. Using gamma expansions, a technique which has recently become popular in combinatorics and geometry, one can show that the Lucas atoms have a close relationship with cyclotomic polynomials $\Phi_d(q)$. Certain results about the $\Phi_d(q)$ can then be lifted to Lucas atoms. In particular, one can prove analogues of theorems of Gauss and Lucas, deduce reduction formulas, and evaluate the $P_d(s,t)$ at various specific values of the variables.


title: A remark on the fundamental group of a compact negatively curved manifold

abstract: In this short note we survey some results about the fundamental group of a compact negatively curved manifold. In particular, we review a theorem of Gusevskij, it states that the fundamental group of a compact negatively curved manifold does not belong to $\mathcal{C},$ where $\mathcal{C}$ is the smallest class of groups that contains all amenable groups and is closed under free products and finite extensions.


title: A Fresh Look at Narrow-Angle Tail Radio Galaxy Dynamics, Evolution and Emissions

abstract: We present a 3D magnetohydrodynamic (MHD) study of narrow-angle tail (NAT) radio galaxy (RG) dynamics, including passive cosmic ray electrons. We follow evolution of a bipolar-jet RG in a persistent crosswind through hundreds of Myr. We confirm traditional jet-bending models, while noting that our NAT exhibits a transitional morphology reminiscent of wide-angle radio tails. Once deflected, jets remain internally stable, but are intermittently disrupted by external disturbances induced by the NAT dynamics itself. The disruptions enhance jet and tail magnetic fields. Disrupted jet plasma is heterogeneously mixed with denser wind plasma, yielding patchy, filamentary tails that grow longer at a rate exceeding the wind speed. Such fast tail extension could, for example, allow NAT tails to overtake extraneous ICM features, such as shocks and shear layers downwind of where the tails first form. Those events, in turn, could generate enhanced radio emissions within the ICM features themselves that do not follow the geometrical extension of the tails past the encounter. Analysis of synthetic radio observations reveals an extended time period once the NAT has developed in which it displays a nearly steady-state morphology with integrated fluxes that are roughly constant, along with a self-similar, curved integrated spectrum. In an appendix, we outline a simple analytic jet trajectory formalism with one adjustable parameter, using it to illustrate explicit trajectories that extend the classic bending model to arbitrary jet-wind orientations.


title: Slavnov-Taylor Identities in Spontaneously Broken Non-Abelian Effective Gauge Theories

abstract: We study the solution to the Slavnov-Taylor (ST) identities in spontaneously broken effective gauge theories for a non-Abelian gauge group. The procedure to extract the $\beta$-functions of the theory in the presence of (generalized) non-polynomial field redefinitions is elucidated.


title: Investigating BERT's Knowledge of Language: Five Analysis Methods with NPIs

abstract: Though state-of-the-art sentence representation models can perform tasks requiring significant knowledge of grammar, it is an open question how best to evaluate their grammatical knowledge. We explore five experimental methods inspired by prior work evaluating pretrained sentence representation models. We use a single linguistic phenomenon, negative polarity item (NPI) licensing in English, as a case study for our experiments. NPIs like "any" are grammatical only if they appear in a licensing environment like negation ("Sue doesn't have any cats" vs. "Sue has any cats"). This phenomenon is challenging because of the variety of NPI licensing environments that exist. We introduce an artificially generated dataset that manipulates key features of NPI licensing for the experiments. We find that BERT has significant knowledge of these features, but its success varies widely across different experimental methods. We conclude that a variety of methods is necessary to reveal all relevant aspects of a model's grammatical knowledge in a given domain.


title: Concerning impact of the quantum vacuum on orbits of planets

abstract: We point out serious shortcomings of a very recent article (Iorio in Astrophys. Space Sci. 364:126, 2019) wrongly claiming that the current precision with which we know orbits of planets in the Solar System rules out the possibility of gravitational polarization of the quantum vacuum. The main mistake is that the Sun and a planet are considered as an isolated binary system completely neglecting the existence of other planets and their crucial contribution to the gravitational polarization of the quantum vacuum.


title: Formal Methods and Event Notification Systems in Mobile Computing Environment

abstract: In this report, we have explored the issues associated with the specification of event-based systems in a mobile environment using Unity \cite{unity}. We used a few constructs and concepts from Mobile UNITY which was proposed as an extension of UNITY by Roman and McCann \cite{intro}. Our aim in this report is to show that some of the constructs proposed in Mobile UNITY are not unnecessary. Those constructs are overly powerful and put a hindrance on the mapping from UNITY specification to particular architectures, which is one of the key simplicity of UNITY specification. Using an example of a message-based event notification system we have shown that a system with a simple modification to the structure of assign section of the UNITY programs could serve well in mapping and implementation at the same time preserve the small and compact proof logic of UNITY.


title: Quantum-Chaotic Evolution Reproduced from Effective Integrable Trajectories

abstract: Classically integrable approximants are here constructed for a family of predominantly chaotic periodic systems by means of the Baker-Hausdorff-Campbell formula. We compare the evolving wave density for the corresponding exact quantum systems using semiclassical approximations based alternatively on the chaotic and on the integrable trajectories. It is found that the latter reproduce the quantum oscillations and provide superior approximations even when the initial coherent state is placed in a broad chaotic region. Time regimes are then accessed in which the propagation based on the system's exact chaotic trajectories breaks down.


title: Is two greater than one?: Analyzing Multipath TCP over Dual-LTE in the Wild

abstract: Multipath TCP (MPTCP) is a standardized TCP extension which allows end-hosts to simultaneously exploit all of their network interfaces. The recent proliferation of dual-SIM mobile phones makes multi-LTE MPTCP setup an attractive option. We perform extensive measurements of MPTCP over two LTE connections in low and high-speed mobility scenarios over five months, both in controlled and in-the-wild environments. Our findings indicate that MPTCP performance decreases at high speeds due to increased frequency of signal strength drops and handovers. Both LTE paths experience frequent changes which result in a sub-optimal subflow utilization. We also find that while path changes are unpredictable, their impact on MPTCP follows a deterministic trend. Finally, we show that both application traffic patterns and congestion control variants impact MPTCP adaptability at high speeds.


title: Common Library 1.0: A Corpus of Victorian Novels Reflecting the Population in Terms of Publication Year and Author Gender

abstract: Research in 19th-century book history, sociology of literature, and quantitative literary history is blocked by the absence of a collection of novels which captures the diversity of literary production. We introduce a corpus of 75 Victorian novels sampled from a 15,322-record bibliography of novels published between 1837 and 1901 in the British Isles. This corpus, the Common Library, is distinctive in the following way: the shares of novels in the corpus associated with sociologically important subgroups match the shares in the broader population. For example, the proportion of novels written by women in 1880s in the corpus is approximately the same as in the population. Although we do not, in this particular paper, claim that the corpus is a representative sample in the familiar sense--a sample is representative if "characteristics of interest in the population can be estimated from the sample with a known degree of accuracy" (Lohr 2010, p. 3)--we are confident that the corpus will be useful to researchers. This is because existing corpora--frequently convenience samples--are conspicuously misaligned with the population of published novels. They tend to over-represent novels published in specific periods and novels by men. The Common Library may be used alongside or in place of these non-representative convenience corpora.


title: Additive function approximation in the brain

abstract: Many biological learning systems such as the mushroom body, hippocampus, and cerebellum are built from sparsely connected networks of neurons. For a new understanding of such networks, we study the function spaces induced by sparse random features and characterize what functions may and may not be learned. A network with $d$ inputs per neuron is found to be equivalent to an additive model of order $d$, whereas with a degree distribution the network combines additive terms of different orders. We identify three specific advantages of sparsity: additive function approximation is a powerful inductive bias that limits the curse of dimensionality, sparse networks are stable to outlier noise in the inputs, and sparse random features are scalable. Thus, even simple brain architectures can be powerful function approximators. Finally, we hope that this work helps popularize kernel theories of networks among computational neuroscientists.


title: A method for global inversion of multi-resolution solar data

abstract: Understanding the complex dynamics and structure of the upper solar atmosphere benefits strongly from the use of a combination of several diagnostics. Frequently, such diverse diagnostics can only be obtained from telescopes and/or instrumentation operating at widely different spatial resolution. To optimize the utilization of such data, we propose a new method for the global inversion of data acquired at different spatial resolution. The method has its roots in the Levenberg-Marquardt algorithm but involves the use of linear operators to transform and degrade the synthetic spectra of a highly resolved guess model to account for the the effects of spatial resolution, data sampling, alignment and image rotation of each of the data sets. We have carried out a list of numerical experiments to show that our method allows extracting spatial information from two simulated datasets that have gone through two different telescope apertures and that are sampled in different spatial grids. Our results show that each dataset contributes in the inversion by constraining information at the spatial scales that are present in each of the datasets, without any negative effects derived from the combination of multiple resolution data. This method is especially relevant for chromospheric studies that attempt at combining datasets acquired with different telescopes and/or datasets acquired at different wavelengths, both limiting factors in the resolution of solar instrumentation. The techniques described in the present study will also help addressing the ever increasing resolution gap between space-borne missions and forthcoming ground-based facilities.


title: Variable Hard X-ray Emission From the Central Star of the Eskimo Nebula

abstract: The central star of NGC 2392 shows the hardest X-ray emission among central stars of planetary nebulae (CSPNe). The recent discovery of a spectroscopic companion with an orbital period of 1.9 days could provide an explanation for its hard X-ray emission, as well as for the collimation of its fast outflow. Here we analyse the available Chandra and XMM-Newton X-ray observations to determine accurately the spectral and temporal variation properties of the CSPN of NGC 2392. The X-ray emission can be described by an absorbed thermal plasma model with temperature 26$^{+8}_{-5}$ MK and X-ray luminosity (8.7$\pm$1.0)$\times$10$^{30}$ erg s$^{-1}$. No long-term variability is detected in the X-ray emission level, but the Chandra light curve is suggestive of short-term variations with a period $\sim$0.26 days. The possible origins of this X-ray emission are discussed. X-ray emission from the coronal activity of a companion or shocks in the stellar wind can be ruled out. Accretion of material from an unseen main-sequence companion onto the CSPN or from the CSPN wind onto a white dwarf companion are the most plausible origins for its hard X-ray emission, although the mismatch between the rotational period of the CSPN and the modulation time-scale of the X-ray emission seems to preclude the former possibility.


title: Syntax-Aware Aspect Level Sentiment Classification with Graph Attention Networks

abstract: Aspect level sentiment classification aims to identify the sentiment expressed towards an aspect given a context sentence. Previous neural network based methods largely ignore the syntax structure in one sentence. In this paper, we propose a novel target-dependent graph attention network (TD-GAT) for aspect level sentiment classification, which explicitly utilizes the dependency relationship among words. Using the dependency graph, it propagates sentiment features directly from the syntactic context of an aspect target. In our experiments, we show our method outperforms multiple baselines with GloVe embeddings. We also demonstrate that using BERT representations further substantially boosts the performance.


title: Broad-Coverage Semantic Parsing as Transduction

abstract: We unify different broad-coverage semantic parsing tasks under a transduction paradigm, and propose an attention-based neural framework that incrementally builds a meaning representation via a sequence of semantic relations. By leveraging multiple attention mechanisms, the transducer can be effectively trained without relying on a pre-trained aligner. Experiments conducted on three separate broad-coverage semantic parsing tasks -- AMR, SDP and UCCA -- demonstrate that our attention-based neural transducer improves the state of the art on both AMR and UCCA, and is competitive with the state of the art on SDP.


title: The R-transform as a power map and its generalisations to higher degree

abstract: We give iterative constructions for irreducible polynomials over F_q of degree nt^r for all nonnegative integers r, starting from irreducible polynomials of degree n. The iterative constructions correspond modulo fractional linear transformations to compositions with power functions x^t. The R-transform introduced by Cohen is recovered as a particular case corresponding to x^2, hence we obtain a generalization of Cohen's R-transform (t=2) to arbitrary degrees t bigger that two. Important properties like self-reciprocity and invariance of roots under certain automorphisms are deduced from invariance under multiplication by appropriate roots of unity. Extending to quadratic extensions of F_q we recover and generalize a recently obtained recursive construction of Panario, Reis and Wang.


title: The Signed Monodromy Group of an Adinkra

abstract: An ordering of colours in an Adinkra leads to an embedding of this Adinkra into a Riemann surface $X$, and a branched covering map $\beta_X:X\to\mathbb{CP}^1$. This paper shows how the dashing of edges in an Adinkra determines a signed permutation version of the monodromy group, and shows that it is isomorphic to a Salingaros Vee group.


title: Depth and Stanley depth of the edge ideals of the strong product of some graphs

abstract: In this paper we study depth and Stanley depth of the edge ideals and quotient rings of the edge ideals, associated to classes of graphs obtained by taking the strong product of two graphs. We consider the cases when either both graphs are arbitrary paths or one is an arbitrary path and the other is an arbitrary cycle. We give exact formulae for values of depth and Stanley depth for some sub classes. We also give some sharp upper bounds for depth and Stanley depth in the general cases.


title: Quantum classifier with tailored quantum kernel

abstract: Kernel methods have a wide spectrum of applications in machine learning. Recently, a link between quantum computing and kernel theory has been formally established, opening up opportunities for quantum techniques to enhance various existing machine learning methods. We present a distance-based quantum classifier whose kernel is based on the quantum state fidelity between training and test data. The quantum kernel can be tailored systematically with a quantum circuit to raise the kernel to an arbitrary power and to assign arbitrary weights to each training data. Given a specific input state, our protocol calculates the weighted power sum of fidelities of quantum data in quantum parallel via a swap-test circuit followed by two single-qubit measurements, requiring only a constant number of repetitions regardless of the number of data. We also show that our classifier is equivalent to measuring the expectation value of a Helstrom operator, from which the well-known optimal quantum state discrimination can be derived. We demonstrate the proof-of-principle via classical simulations with a realistic noise model and experiments using the IBM quantum computer.


title: A note about online nonrepetitive coloring $k$-trees

abstract: We prove that it is always possible to color online nonrepetitively any (partial) $k$-tree (that is, graphs with tree-width at most $k$) with $4^k$ colors. This implies that it is always possible to color online nonrepetitively cycles, trees and series-parallel graphs with $16$ colors. Our results generalize the respective (offline) nonrepetitive coloring results.


title: Numerical integration in celestial mechanics: a case for contact geometry

abstract: Several dynamical systems of interest in celestial mechanics can be written in the form of a Newton equation with time-dependent damping, linear in the velocities. For instance, the modified Kepler problem, the spin-orbit model and the Lane-Emden equation all belong to such class. In this work we start an investigation of these models from the point of view of contact geometry. In particular we focus on the (contact) Hamiltonisation of these models and on the construction of the corresponding geometric integrators.

categories: math.NA astro-ph.EP cs.NA math-ph math.MP


title: Fate of scalar dark matter solitons around supermassive galactic black holes

abstract: In scalar-field dark matter scenarios, a scalar-field soliton could form at the center of galactic halos, around the supermassive black holes that sit at the center of galaxies. Focusing on the large scalar-mass limit, where the soliton is formed by the balance between self-gravity and a repulsive self-interaction, we study the infall of the scalar field onto the central Schwarzschild black hole. We derive the scalar-field profile, from the Schwarzschild radius to the large radii dominated by the scalar cloud. We show that the steady state solution selects the maximum allowed flux, with a critical profile that is similar to the transonic solution obtained for the hydrodynamic case. This finite flux, which scales as the inverse of the self-interaction coupling, is small enough to allow the dark matter soliton to survive for many Hubble times.


title: Game of cones: A nulling strategy for modelling lensing convergence in cones with large deviation theory

abstract: The distribution of the cosmic convergence field is modeled using a large-deviation principle where all non-Gaussian contributions are computed from first principles. The geometry of the past light cone is accounted for by constructing the total weak-lensing signal from contributions of the matter density in thin disk slices. The prediction of this model is successfully tested against numerical simulation with ray tracing, and found to be accurate within at least 5 per cent in the tails at redshift 1 and opening angle of 10 arcmin and even more so with increasing source redshift and opening angle. An accurate analytical approximation to the theory is also provided for practical implementation. The lensing kernel that mixes physical scales along the line-of-sight tends to reduce the domain of validity of this theoretical approach compared to the three dimensional case of cosmic densities in spherical cells. This effect is shown to be avoidable if a nulling procedure is implemented in order to localise the lensing line-of-sight integrations in a tomographic analysis. Accuracy in the tails is thus achieved within a percent for source redshifts between 0.5 and 1.5 and an opening angle of 10 arcmin. Applications to future weak-lensing surveys like Euclid and the specific issue of shape noise are discussed.


title: An Empirical Study on the Characteristics of Question-Answering Process on Developer Forums

abstract: Developer forums are one of the most popular and useful Q&A websites on API usages. The analysis of API forums can be a critical resource for the automated question and answer approaches. In this paper, we empirically study three API forums including Twitter, eBay, and AdWords, to investigate the characteristics of question-answering process. We observe that +60% of the posts on all three forums were answered by providing API method names or documentation. +85% of the questions were answered by API development teams and the answers from API development teams drew fewer follow-up questions. Our results provide empirical evidences for us in a future work to build automated solutions to answer developer questions on API forums.


title: GALEX Absolute Calibration and Extinction Coefficients Based on White Dwarfs

abstract: We use 1837 DA white dwarfs with high signal to noise ratio spectra and Gaia parallaxes to verify the absolute calibration and extinction coefficients for the Galaxy Evolution Explorer (GALEX). We use white dwarfs within 100 pc to verify the linearity correction to the GALEX data. We find that the linearity correction is valid for magnitudes brighter than 15.95 and 16.95 for the Far Ultraviolet (FUV) and Near Ultraviolet (NUV) bands, respectively. We also use DA white dwarfs beyond 250 pc to calculate extinction coefficients in the FUV and NUV bands; $R_{\rm FUV}=8.01 \pm 0.07$ and $R_{\rm NUV}=6.72 \pm 0.04$. These are consistent with the predicted extinction coefficients for Milky Way type dust in the FUV, but smaller than predictions in the NUV. With well understood optical spectra and state-of-the-art model atmosphere analysis, these white dwarfs currently provide the best constraints on the extinction coefficients for the GALEX data.


title: Classical Spectral Curve of the AdS_5 x S^5 Lambda Superstring

abstract: The classical spectral curve for the worldsheet theory of the AdS_5 x S^5 lambda superstring is constructed. The lambda string is interpreted as a regularized, non-abelian T dual of the AdS_5 x S^5 superstring with respect to full PSU(2,2|4) symmetry. The form of the curve is identified as the semi-classical limit of a set of Bethe ansatz equations for an XXZ type spin chain for the supergroup PSU(2,2|4) in contrast to the string in AdS_5 x S^5 which is XXX type.


title: Soft-gluon corrections for single top quark production in association with electroweak bosons

abstract: We present results for higher-order soft-gluon radiative corrections for single top-quark production in association with electroweak bosons, including $t\gamma$ and $tZ$ production via anomalous FCNC couplings. We provide results for the total cross sections and differential distributions at LHC energies. We use $K$-factors to show the significance of the corrections compared to leading order, and we discuss uncertainties and the importance of the results.


title: Multi-layer Domain Adaptation for Deep Convolutional Networks

abstract: Despite their success in many computer vision tasks, convolutional networks tend to require large amounts of labeled data to achieve generalization. Furthermore, the performance is not guaranteed on a sample from an unseen domain at test time, if the network was not exposed to similar samples from that domain at training time. This hinders the adoption of these techniques in clinical setting where the imaging data is scarce, and where the intra- and inter-domain variance of the data can be substantial. We propose a domain adaptation technique that is especially suitable for deep networks to alleviate this requirement of labeled data. Our method utilizes gradient reversal layers and Squeezeand-Excite modules to stabilize the training in deep networks. The proposed method was applied to publicly available histopathology and chest X-ray databases and achieved superior performance to existing state-of-the-art networks with and without domain adaptation. Depending on the application, our method can improve multi-class classification accuracy by 5-20% compared to DANN introduced in (Ganin, 2014).


title: TEASPN: Framework and Protocol for Integrated Writing Assistance Environments

abstract: Language technologies play a key role in assisting people with their writing. Although there has been steady progress in e.g., grammatical error correction (GEC), human writers are yet to benefit from this progress due to the high development cost of integrating with writing software. We propose TEASPN, a protocol and an open-source framework for achieving integrated writing assistance environments. The protocol standardizes the way writing software communicates with servers that implement such technologies, allowing developers and researchers to integrate the latest developments in natural language processing (NLP) with low cost. As a result, users can enjoy the integrated experience in their favorite writing software. The results from experiments with human participants show that users use a wide range of technologies and rate their writing experience favorably, allowing them to write more fluent text.


title: MoverScore: Text Generation Evaluating with Contextualized Embeddings and Earth Mover Distance

abstract: A robust evaluation metric has a profound impact on the development of text generation systems. A desirable metric compares system output against references based on their semantics rather than surface forms. In this paper we investigate strategies to encode system and reference texts to devise a metric that shows a high correlation with human judgment of text quality. We validate our new metric, namely MoverScore, on a number of text generation tasks including summarization, machine translation, image captioning, and data-to-text generation, where the outputs are produced by a variety of neural and non-neural systems. Our findings suggest that metrics combining contextualized representations with a distance measure perform the best. Such metrics also demonstrate strong generalization capability across tasks. For ease-of-use we make our metrics available as web service.


title: A Bayesian Approach to Multiple-Output Quantile Regression

abstract: This paper presents a Bayesian approach to multiple-output quantile regression. The unconditional model is proven to be consistent and asymptotically correct frequentist confidence intervals can be obtained. The prior for the unconditional model can be elicited as the ex-ante knowledge of the distance of the tau-Tukey depth contour to the Tukey median, the first prior of its kind. A proposal for conditional regression is also presented. The model is applied to the Tennessee Project Steps to Achieving Resilience (STAR) experiment and it finds a joint increase in tau-quantile subpopulations for mathematics and reading scores given a decrease in the number of students per teacher. This result is consistent with, and much stronger than, the result one would find with multiple-output linear regression. Multiple-output linear regression finds the average mathematics and reading scores increase given a decrease in the number of students per teacher. However, there could still be subpopulations where the score declines. The multiple-output quantile regression approach confirms there are no quantile subpopulations (of the inspected subpopulations) where the score declines. This is truly a statement of `no child left behind' opposed to `no average child left behind.'


title: Harnack inequality and its application to nonlocal eigenvalue problems in unbounded domains

abstract: We prove the Harnack inequality for general nonlocal elliptic equations with zero order terms. As an application we prove the existence of the principal eigenvalue in general domains. Furthermore, we study the eigenvalue problem associated to the existence of self-similar solutions to the parabolic problem and provide estimates on the decay rate.


title: On the Acceleration of Deep Learning Model Parallelism with Staleness

abstract: Training the deep convolutional neural network for computer vision problems is slow and inefficient, especially when it is large and distributed across multiple devices. The inefficiency is caused by the backpropagation algorithm's forward locking, backward locking, and update locking problems. Existing solutions for acceleration either can only handle one locking problem or lead to severe accuracy loss or memory inefficiency. Moreover, none of them consider the straggler problem among devices. In this paper, we propose Layer-wise Staleness and a novel efficient training algorithm, Diversely Stale Parameters (DSP), to address these challenges. We also analyze the convergence of DSP with two popular gradient-based methods and prove that both of them are guaranteed to converge to critical points for non-convex problems. Finally, extensive experimental results on training deep learning models demonstrate that our proposed DSP algorithm can achieve significant training speedup with stronger robustness than compared methods.


title: Changepoint analysis of historical battle deaths

abstract: It has been claimed and disputed that World War II has been followed by a `long peace', an unprecedented decline of war. We conduct a full changepoint analysis of well-documented, publicly-available battle deaths datasets, using new techniques that enable the robust detection of changes in the statistical properties of such heavy-tailed data. We first test and calibrate these techniques. We then demonstrate the existence of changes, independent of data presentation, at around 1910 and 1950 CE, bracketing the World Wars, and around the 1830s and 1994 CE. Our analysis provides a methodology for future investigations and an empirical basis for political and historical discussions.


title: Computational Complexity of $k$-Block Conjugacy

abstract: We consider several computational problems related to conjugacy between subshifts of finite type, restricted to $k$-block codes: verifying a proposed $k$-block conjugacy, deciding if two shifts admit a $k$-block conjugacy, and reducing the representation size of a shift via a $k$-block conjugacy. We give a polynomial-time algorithm for verification, and show GI and NP-hardness for deciding conjugacy and reducing representation size, respectively. Our approach focuses on 1-block conjugacies between vertex shifts, from which we generalize to $k$-block conjugacies and to edge shifts. We conclude with several open problems.


title: Connected sum decompositions of high-dimensional manifolds

abstract: The classical Kneser-Milnor theorem says that every closed oriented connected 3-dimensional manifold admits a unique connected sum decomposition into manifolds that cannot be decomposed any further. We discuss to what degree such decompositions exist in higher dimensions and we show that in many settings uniqueness fails in higher dimensions.