title: A sheaf-theoretic SL(2,C) Floer homology for knots

abstract: Using the theory of perverse sheaves of vanishing cycles, we define a homological invariant of knots in three-manifolds, similar to the three-manifold invariant constructed by Abouzaid and the second author. We use spaces of SL(2,C) flat connections with fixed holonomy around the meridian of the knot. Thus, our invariant is a sheaf-theoretic SL(2,C) analogue of the singular knot instanton homology of Kronheimer and Mrowka. We prove that for two-bridge and torus knots, the SL(2,C) invariant is determined by the l-degree of the $\widehat{A}$-polynomial. However, this is not true in general, as can be shown by considering connected sums of knots.


title: Elastic modulus and yield strength of semicrystalline polymers with bond disorder are higher than in atomic crystals

abstract: We perform thorough molecular-dynamics simulations to compare elasticity and yielding of atomic crystals and model semicrystalline polymers, the latter characterized by very similar positional ordering with respect to atomic crystals and considerable bond disorder. We find that the elastic modulus, the shear yield strength and the critical yield strain of semicrystalline polymers are higher than (modulus and yield strength), or comparable to (critical strain), the corresponding ones of atomic crystals. The findings suggest that the bond disorder suppresses dislocation-mediated plasticity in polymeric solids with positional order.


title: Exotic low-energy excitations emergent in the random Kitaev magnet Cu$_2$IrO$_3$

abstract: We report on magnetization $M(H)$, dc/ac magnetic susceptibility $\chi(T)$, specific heat $C_{\mathrm{m}}(T)$ and muon spin relaxation ($\mu$SR) measurements of the Kitaev honeycomb iridate Cu$_2$IrO$_2$ with quenched disorder. In spite of the chemical disorders, we find no indication of spin glass down to 260~mK from the $C_{\mathrm{m}}(T)$ and $\mu$SR data. Furthermore, a persistent spin dynamics observed by the zero-field muon spin relaxation evidences an absence of static magnetism. The remarkable observation is a scaling relation of $\chi[H,T]$ and $M[H,T]$ in $H/T$ with the scaling exponent $\alpha=0.26-0.28$, expected from bond randomness. However, $C_{\mathrm{m}}[H,T]/T$ disobeys the predicted universal scaling law, pointing towards the presence of low-lying excitations in addition to random singlets. Our results signify an intriguing role of quenched disorder in a Kitaev spin system in creating low-energy excitations possibly pertaining to Z$_2$ fluxes.


title: Absence of Replica Symmetry Breaking in Finite Fifth Moment Random Field Ising Model

abstract: This work is concerned with the theory of the Random Field Ising Model on the hypercubic lattice, in the presence of a independent disorder with finite fifth moment. We showed the absence of replica symmetry in any dimensions, at any temperature and field strength, almost surely.

categories: math-ph cond-mat.stat-mech math.MP math.PR


title: The Barbados 2018 List of Open Issues in Continual Learning

abstract: We want to make progress toward artificial general intelligence, namely general-purpose agents that autonomously learn how to competently act in complex environments. The purpose of this report is to sketch a research outline, share some of the most important open issues we are facing, and stimulate further discussion in the community. The content is based on some of our discussions during a week-long workshop held in Barbados in February 2018.


title: DifFuzz: Differential Fuzzing for Side-Channel Analysis

abstract: Side-channel attacks allow an adversary to uncover secret program data by observing the behavior of a program with respect to a resource, such as execution time, consumed memory or response size. Side-channel vulnerabilities are difficult to reason about as they involve analyzing the correlations between resource usage over multiple program paths. We present DifFuzz, a fuzzing-based approach for detecting side-channel vulnerabilities related to time and space. DifFuzz automatically detects these vulnerabilities by analyzing two versions of the program and using resource-guided heuristics to find inputs that maximize the difference in resource consumption between secret-dependent paths. The methodology of DifFuzz is general and can be applied to programs written in any language. For this paper, we present an implementation that targets analysis of Java programs, and uses and extends the Kelinci and AFL fuzzers. We evaluate DifFuzz on a large number of Java programs and demonstrate that it can reveal unknown side-channel vulnerabilities in popular applications. We also show that DifFuzz compares favorably against Blazer and Themis, two state-of-the-art analysis tools for finding side-channels in Java programs.


title: Projected BNNs: Avoiding weight-space pathologies by learning latent representations of neural network weights

abstract: As machine learning systems get widely adopted for high-stake decisions, quantifying uncertainty over predictions becomes crucial. While modern neural networks are making remarkable gains in terms of predictive accuracy, characterizing uncertainty over the parameters of these models is challenging because of the high dimensionality and complex correlations of the network parameter space. This paper introduces a novel variational inference framework for Bayesian neural networks that (1) encodes complex distributions in high-dimensional parameter space with representations in a low-dimensional latent space, and (2) performs inference efficiently on the low-dimensional representations. Across a large array of synthetic and real-world datasets, we show that our method improves uncertainty characterization and model generalization when compared with methods that work directly in the parameter space.


title: Automorphisms of Abelian Varieties and Principal Polarizations

abstract: The Narasimhan-Nori conjecture asks for a closed formula for the number of non-isomorphic principal polarizations of any given abelian variety. In this paper, we introduce a new algorithm that gives a lower bound on the number of non-isomorphic principal polarizations on any given abelian variety. We show, for example, that the Jacobian of the genus four underlying curve of Schoen's I-WP minimal surface has at least 9 non-isomorphic principal polarizations. We also explore the Jacobians of Klein's quartic, Fermat's quartic, Bring's curve, and more.


title: Magnetothermodynamics: measuring the equations of state of a compressible magnetized plasma

abstract: Magnetothermodynamics (MTD) is the study of compression and expansion of magnetized plasma with an eye towards identifying equations of state for magneto-inertial fusion experiments. We present recent results from SSX experiments on the thermodynamics of compressed magnetized plasmas. In these experiments, we generate twisted flux ropes of magnetized, relaxed plasma accelerated from one end of a $1.5~m$ long copper flux conserver, and observe their compression in a closed conducting boundary installed at the other end. Plasma parameters are measured during compression. The instances of ion heating during compression are identified by constructing a PV diagram using measured density, temperature, and volume of the magnetized plasma. The theoretically predicted MHD and double adiabatic (CGL) equations of state are compared to experimental measurements to estimate the adiabatic nature of the compressed plasma. Since our magnetized plasmas relax to an equilibrium described by magnetohydrodynamics, one might expect their thermodynamics to be governed by the corresponding equation of state. However, we find that the magnetohydrodynamic equation of state is not supported by our data. Our results are more consistent with the parallel CGL equation of state suggesting that these weakly collisional plasmas have most of their proton energy in the direction parallel to the magnetic field.


title: Jets and outflows of massive protostars - From cloud collapse to jet launching and cloud dispersal

abstract: In a comprehensive convergence study, we investigate the computational conditions necessary to resolve disk formation and jet-launching processes, and analyze possible caveats. We explore the magneto-hydrodynamic (MHD) processes of the collapse of massive prestellar cores in detail, including an analysis of the forces involved and their temporal evolution for up to two free-fall times. We conduct MHD simulations, combining nonideal MHD, self-gravity, and very high resolutions as they have never been achieved before. Our setup includes a 100 Msol cloud core that collapses under its own self-gravity to self-consistently form a dense disk structure and launch tightly collimated magneto-centrifugal jets and wide-angle winds. Our high-resolution simulations can resolve a magneto-centrifugal jet and a magnetic pressure-driven outflow, separately. The nature of the outflows depends critically on spatial resolution. Only high-resolution simulations are able to differentiate a magneto-centrifugally launched, highly collimated jet from a slow wide-angle magnetic-pressure-driven tower flow. Of these two outflow components, the tower flow dominates angular-momentum transport. The mass outflow rate is dominated by the entrained material from the interaction of the jet with the stellar environment and only part of the ejected medium is directly launched from the accretion disk. A tower flow can only develop to its full extent when much of the original envelope has already dispersed. Taking into account both the mass launched from the surface of the disk and the entrained material from the envelope, we find an ejection-to-accretion efficiency of 10%. Nonideal MHD is required to form centrifugally supported accretion disks and the disk size is strongly dependent on spatial resolution.


title: Search for a W' boson decaying to a vector-like quark and a top or bottom quark in the all-jets final state

abstract: A search for a heavy W' resonance decaying to one B or T vector-like quark and a top or bottom quark, respectively, is presented. The search uses proton-proton collision data collected in 2016 with the CMS detector at the LHC, corresponding to an integrated luminosity of 35.9 fb$^{-1}$ at $\sqrt{s} =$ 13 TeV. Both decay channels result in a final state with a top quark, a Higgs boson, and a b quark, each produced with significant energy. The all-hadronic decays of both the Higgs boson and the top quark are considered. The final-state jets, some of which correspond to merged decay products of a boosted top quark and a Higgs boson, are selected using jet substructure techniques, which help to suppress standard model backgrounds. A W' boson signal would appear as a narrow peak in the invariant mass distribution of these jets. No significant deviation in data with respect to the standard model background predictions is observed. Cross section upper limits on W' boson production in the top quark, Higgs boson, and b quark decay mode are set as a function of the W' mass, for several vector-like quark mass hypotheses. These are the first limits for W' boson production in this decay channel, and cover a range of 0.01 to 0.43 pb in the W' mass range between 1.5 and 4.0 TeV.


title: Robust Control of the Sit-to-Stand Movement for a Powered Lower Limb Orthosis

abstract: The sit-to-stand movement is a key feature for wide adoption of powered lower limb orthoses for patients with complete paraplegia. In this paper we study the control of the ascending phase of the sit-to-stand movement for a minimally actuated powered lower limb orthosis at the hips. First, we generate a pool of finite horizon Linear Quadratic Regulator feedback gains, designed under the assumption that we can control not only the torque at the hips but also the loads at the shoulders that in reality are applied by the user. Next we conduct reachability analysis to define a performance metric measuring the robustness of each controller against parameter uncertainty, and choose the best controller from the pool with respect to this metric. Then, we replace the presumed shoulder control with an Iterative Learning Control algorithm as a substitute for human experiments. Indeed this algorithm obtains torque and forces at the shoulders that result in successful simulations of the sit-to-stand movement, regardless of parameter uncertainty and factors deliberately introduced to hinder learning. Thus it is reasonable to expect that the superior cognitive skills of real users will enable them to cooperate with the hip torque controller through training.


title: Multi-scale variability in neuronal competition

abstract: We examine whether a single biophysical cortical circuit model can explain both spiking and perceptual variability. We consider perceptual rivalry, which provides a window into intrinsic neural processing since neural activity in some brain areas is correlated to the alternating perception rather than the constant ambiguous stimulus. The prevalent theory for spiking variability is a chaotic attractor called the balanced state; whereas, the source of perceptual variability is an open question. We present a dynamical model with a chaotic attractor that explains both spiking and perceptual variability and adheres to a broad set of strict experimental constraints. The model makes quantitative predictions for how both spiking and perceptual variability will change as the stimulus changes.


title: Coupling weak and strong supervision for classification of prostate cancer histopathology images

abstract: Automated grading of prostate cancer histopathology images is a challenging task, with one key challenge being the scarcity of annotations down to the level of regions of interest (strong labels), as typically the prostate cancer Gleason score is known only for entire tissue slides (weak labels). In this study, we focus on automated Gleason score assignment of prostate cancer whole-slide images on the basis of a large weakly-labeled dataset and a smaller strongly-labeled one. We efficiently leverage information from both label sources by jointly training a classifier on the two datasets and by introducing a gradient update scheme that assigns different relative importances to each training example, as a means of self-controlling the weak supervision signal. Our approach achieves superior performance when compared with standard Gleason scoring methods.


title: Topology-Aware Non-Rigid Point Cloud Registration

abstract: In this paper, we introduce a non-rigid registration pipeline for pairs of unorganized point clouds that may be topologically different. Standard warp field estimation algorithms, even under robust, discontinuity-preserving regularization, tend to produce erratic motion estimates on boundaries associated with `close-to-open' topology changes. We overcome this limitation by exploiting backward motion: in the opposite motion direction, a `close-to-open' event becomes `open-to-close', which is by default handled correctly. At the core of our approach lies a general, topology-agnostic warp field estimation algorithm, similar to those employed in recently introduced dynamic reconstruction systems from RGB-D input. We improve motion estimation on boundaries associated with topology changes in an efficient post-processing phase. Based on both forward and (inverted) backward warp hypotheses, we explicitly detect regions of the deformed geometry that undergo topological changes by means of local deformation criteria and broadly classify them as `contacts' or `separations'. Subsequently, the two motion hypotheses are seamlessly blended on a local basis, according to the type and proximity of detected events. Our method achieves state-of-the-art motion estimation accuracy on the MPI Sintel dataset. Experiments on a custom dataset with topological event annotations demonstrate the effectiveness of our pipeline in estimating motion on event boundaries, as well as promising performance in explicit topological event detection.


title: Anomalous Hall effect in trigonal Cr$_5$Te$_8$ single crystal

abstract: We report anomalous Hall effect (AHE) and transport properties of trigonal Cr$_5$Te$_8$ (tr-Cr$_5$Te$_8$) single crystals. The electrical resistivity as well as the Seebeck coefficient shows a clear kink at the paramagnetic-ferromagnetic transition of tr-Cr$_5$Te$_8$, which is also confirmed by the heat capacity measurement. The scaling behavior between anomalous Hall resistivity $\rho^A_{xy}$ and longitudinal resistivity $\rho_{xx}$ is linear below $T_c$. Further analysis suggests that the AHE in tr-Cr$_5$Te$_8$ is dominated by the skew-scattering mechanism rather than the intrinsic or extrinsic side-jump mechanism.


title: Graded quivers and B-branes at Calabi-Yau singularities

abstract: A graded quiver with superpotential is a quiver whose arrows are assigned degrees $c\in \{0, 1, \cdots, m\}$, for some integer $m \geq 0$, with relations generated by a superpotential of degree $m-1$. Ordinary quivers ($m=1)$ often describe the open string sector of D-brane systems; in particular, they capture the physics of D3-branes at local Calabi-Yau (CY) 3-fold singularities in type IIB string theory, in the guise of 4d $\mathcal{N}=1$ supersymmetric quiver gauge theories. It was pointed out recently that graded quivers with $m=2$ and $m=3$ similarly describe systems of D-branes at CY 4-fold and 5-fold singularities, as 2d $\mathcal{N}=(0,2)$ and 0d $\mathcal{N}=1$ gauge theories, respectively. In this work, we further explore the correspondence between $m$-graded quivers with superpotential, $Q_{(m)}$, and CY $(m+2)$-fold singularities, ${\mathbf X}_{m+2}$. For any $m$, the open string sector of the topological B-model on ${\mathbf X}_{m+2}$ can be described in terms of a graded quiver. We illustrate this correspondence explicitly with a few infinite families of toric singularities indexed by $m \in \mathbb{N}$, for which we derive "toric" graded quivers associated to the geometry, using several complementary perspectives. Many interesting aspects of supersymmetric quiver gauge theories can be formally extended to any $m$; for instance, for one family of singularities, dubbed $C(Y^{1,0}(\mathbb{P}^m))$, that generalizes the conifold singularity to $m>1$, we point out the existence of a formal "duality cascade" for the corresponding graded quivers.


title: Towards Training Recurrent Neural Networks for Lifelong Learning

abstract: Catastrophic forgetting and capacity saturation are the central challenges of any parametric lifelong learning system. In this work, we study these challenges in the context of sequential supervised learning with an emphasis on recurrent neural networks. To evaluate the models in the lifelong learning setting, we propose a curriculum-based, simple, and intuitive benchmark where the models are trained on tasks with increasing levels of difficulty. To measure the impact of catastrophic forgetting, the model is tested on all the previous tasks as it completes any task. As a step towards developing true lifelong learning systems, we unify Gradient Episodic Memory (a catastrophic forgetting alleviation approach) and Net2Net(a capacity expansion approach). Both these models are proposed in the context of feedforward networks and we evaluate the feasibility of using them for recurrent networks. Evaluation on the proposed benchmark shows that the unified model is more suitable than the constituent models for lifelong learning setting.


title: Protecting Voice Controlled Systems Using Sound Source Identification Based on Acoustic Cues

abstract: Over the last few years, a rapidly increasing number of Internet-of-Things (IoT) systems that adopt voice as the primary user input have emerged. These systems have been shown to be vulnerable to various types of voice spoofing attacks. Existing defense techniques can usually only protect from a specific type of attack or require an additional authentication step that involves another device. Such defense strategies are either not strong enough or lower the usability of the system. Based on the fact that legitimate voice commands should only come from humans rather than a playback device, we propose a novel defense strategy that is able to detect the sound source of a voice command based on its acoustic features. The proposed defense strategy does not require any information other than the voice command itself and can protect a system from multiple types of spoofing attacks. Our proof-of-concept experiments verify the feasibility and effectiveness of this defense strategy.


title: Low-dimensional irreducible rational representations of classical algebraic groups

abstract: Let $G$ be an algebraic group of classical type of rank $l$ over an algebraically closed field $K$ of characteristic $p$. We list and determine the dimensions of all irreducible $KG$-modules $L$ with $\dim L < \binom{l+1}{4}$ if $G$ is of type $A_l$, and with $\dim L < 16 \binom{l}{4}$, if $G$ is of type $B_l$, $C_l$ or $D_l$.


title: Brain Connectivity Impairments and Categorization Disabilities in Autism: A Theoretical Approach via Artificial Neural Networks

abstract: A developmental disorder that severely damages communicative and social functions, the Autism Spectrum Disorder (ASD) also presents aspects related to mental rigidity, repetitive behavior, and difficulty in abstract reasoning. More, imbalances between excitatory and inhibitory brain states, in addition to cortical connectivity disruptions, are at the source of the autistic behavior. Our main goal consists in unveiling the way by which these local excitatory imbalances and/or long brain connections disruptions are linked to the above mentioned cognitive features. We developed a theoretical model based on Self-Organizing Maps (SOM), where a three-level artificial neural network qualitatively incorporates these kinds of alterations observed in brains of patients with ASD. Computational simulations of our model indicate that high excitatory states or long distance under-connectivity are at the origins of cognitive alterations, as difficulty in categorization and mental rigidity. More specifically, the enlargement of excitatory synaptic reach areas in a cortical map development conducts to low categorization (over-selectivity) and poor concepts formation. And, both the over-strengthening of local excitatory synapses and the long distance under-connectivity, although through distinct mechanisms, contribute to impaired categorization (under-selectivity) and mental rigidity. Our results indicate how, together, both local and global brain connectivity alterations give rise to spoiled cortical structures in distinct ways and in distinct cortical areas. These alterations would disrupt the codification of sensory stimuli, the representation of concepts and, thus, the process of categorization - by this way imposing serious limits to the mental flexibility and to the capacity of generalization in the autistic reasoning.


title: Investigating the Effects of Word Substitution Errors on Sentence Embeddings

abstract: A key initial step in several natural language processing (NLP) tasks involves embedding phrases of text to vectors of real numbers that preserve semantic meaning. To that end, several methods have been recently proposed with impressive results on semantic similarity tasks. However, all of these approaches assume that perfect transcripts are available when generating the embeddings. While this is a reasonable assumption for analysis of written text, it is limiting for analysis of transcribed text. In this paper we investigate the effects of word substitution errors, such as those coming from automatic speech recognition errors (ASR), on several state-of-the-art sentence embedding methods. To do this, we propose a new simulator that allows the experimenter to induce ASR-plausible word substitution errors in a corpus at a desired word error rate. We use this simulator to evaluate the robustness of several sentence embedding methods. Our results show that pre-trained neural sentence encoders are both robust to ASR errors and perform well on textual similarity tasks after errors are introduced. Meanwhile, unweighted averages of word vectors perform well with perfect transcriptions, but their performance degrades rapidly on textual similarity tasks for text with word substitution errors.


title: Searching for the GD-1 Stream Progenitor in Gaia DR2 with Direct N-body Simulations

abstract: We perform a large suite of direct N-body simulations aimed at revealing the location of the progenitor, or its remnant, of the GD-1 stream. Data from \gaia\ DR2 reveals the GD-1 stream extends over $\approx 100^\circ$, allowing us to determine the stream's leading and trailing ends. Our models suggest the length of the stream is consistent with a dynamical age of between 2-3 Gyr and the exact length, width and location of the GD-1 stream correspond to the stream's progenitor being located between $-30^\circ < \phi_{1,\mathrm{pro}} < -45^{\circ}$ in the standard GD-1 coordinate system. The model stream density profiles reveal that intact progenitors leave a strong over-density, recently-dissolved progenitors appear as gaps in the stream as escaped stars continue to move away from the remnant progenitor's location, and long-dissolved progenitors leave no observational signature on the remaining stream. Comparing our models to the GD-1 stream yields two possible scenarios for its progenitor's history: a) the progenitor reached dissolution approximately 500 Myr ago during the cluster's previous perigalactic pass and is both located at and responsible for the observed gap at $\phi_1=-40^{\circ}$ or b) the progenitor reached dissolution over 2.5 Gyr ago, the fully-dissolved remnant is at $-30^\circ < \phi_1 < -45^{\circ}$, and an observational signature of its location no longer exists. That the dissolved progenitor is in the range $-30^\circ < \phi_1 < -45^{\circ}$ implies that density fluctuations outside of this range, e.g., a deep gap at $\phi_1 \approx -20^\circ$, are likely produced by compact baryonic or dark-matter perturbers.


title: An Infinite Parade of Giraffes: Expressive Augmentation and Complexity Layers for Cartoon Drawing

abstract: In this paper, we explore creative image generation constrained by small data. To partially automate the creation of cartoon sketches consistent with a specific designer's style, where acquiring a very large original image set is impossible or cost prohibitive, we exploit domain specific knowledge for a huge reduction in original image requirements, creating an effectively infinite number of cartoon giraffes from just nine original drawings. We introduce "expressive augmentations" for cartoon sketches, mathematical transformations that create broad domain appropriate variation, far beyond the usual affine transformations, and we show that chained GANs models trained on the temporal stages of drawing or "complexity layers" can effectively add character appropriate details and finish new drawings in the designer's style. We discuss the application of these tools in design processes for textiles, graphics, architectural elements and interior design.


title: Early science with the Large Millimetre Telescope: An LMT/AzTEC 1.1 mm Survey of Dense Cores in the Monoceros R2 Giant Molecular Cloud

abstract: We present a 1.1~mm census of dense cores in the Mon~R2 Giant Molecular Cloud with the AzTEC instrument on the Large Millimeter Telescope (LMT). We detect 295 cores (209 starless, and 86 with protostars) in a two square degree shallow survey. We also carry out a deep follow-up survey of 9 regions with low to intermediate ($3<A_V<7$) gas column densities and detect 60 new cores in the deeper survey which allows us to derive a completeness limit. After performing corrections for low signal-to-noise cores, we find a median core mass of $\sim 2.1 \text{M}_{\odot}$ and a median size of $ 0.08$~pc. $46\%$ of the cores (141) have masses exceeding the local Bonor-Ebert mass for cores with T=12K, suggesting that in the absence of supporting non-thermal pressure, these regions are unstable to gravitational collapse. We present the core mass function (CMF) for various subdivisions of the core sample. We find that cores with masses $>$10~$M_{\odot}$ are exclusively found in regions with high core number densities and that the CMF of the starless cores has an excess of low-mass cores ($<$5~$M_{\odot}$) compared to the CMF of protostellar cores. We report a power law correlation of index $1.99 \pm 0.03$ between local core mass density and gas column density (as traced by Herschel) over a wide range of size scales (0.3-5~pc). This power law is consistent with that predicted for thermal fragmentation of a self-gravitating sheet.


title: A multilayer exponential random graph modelling approach for weighted networks

abstract: A new modelling approach for the analysis of weighted networks with ordinal/polytomous dyadic values is introduced. Specifically, it is proposed to model the weighted network connectivity structure using a hierarchical multilayer exponential random graph model (ERGM) generative process where each network layer represents a different ordinal dyadic category. The network layers are assumed to be generated by an ERGM process conditional on their closest lower network layers. A crucial advantage of the proposed method is the possibility of adopting the binary network statistics specification to describe both the between-layer and across-layer network processes and thus facilitating the interpretation of the parameter estimates associated to the network effects included in the model. The Bayesian approach provides a natural way to quantify the uncertainty associated to the model parameters. From a computational point of view, an extension of the approximate exchange algorithm is proposed to sample from the doubly-intractable parameter posterior distribution. A simulation study is carried out on artificial data and applications of the methodology are illustrated on well-known datasets. Finally, a goodness-of-fit diagnostic procedure for model assessment is proposed.


title: Zero-one laws for k-variable first-order logic of sparse random graphs

abstract: In this paper, we prove that for every positive $\varepsilon$, there exists an $\alpha\in(1/(k-1),1/(k-1)+\varepsilon)$ such that the binomial random graph $G(n,n^{-\alpha})$ does not obey 0-1 law w.r.t. first order sentences with k variables. In contrast, for every $\alpha\in(0,1/(k-1)]$, $G(n,n^{-\alpha})$ obeys 0-1 law w.r.t. this logic.


title: Quarkonium In-Medium Transport Equation Derived from First Principles

abstract: We use the open quantum system formalism to study the dynamical in-medium evolution of quarkonium. The system of quarkonium is described by potential non-relativistic QCD while the environment is a weakly coupled quark-gluon plasma in local thermal equilibrium below the melting temperature of the quarkonium. Under the Markovian approximation, it is shown that the Lindblad equation leads to a Boltzmann transport equation if a Wigner transform is applied to the system density matrix. Our derivation illuminates how the microscopic time-reversibility of QCD is consistent with the time-irreversible in-medium evolution of quarkonium states. Static screening, dissociation and recombination of quarkonium are treated in the same theoretical framework. In addition, quarkonium annihilation is included in a similar way, although the effect is negligible for the phenomenology of the current heavy ion collision experiments. The methods used here can be extended to study quarkonium dynamical evolution inside a strongly coupled QGP, a hot medium out of equilibrium or cold nuclear matter, which is important to studying quarkonium production in heavy ion, proton-ion, and electron-ion collisions.


title: A Trust Management Scheme for IoT-Enabled Environmental Health/Accessibility Monitoring Services

abstract: One rapidly growing application of Internet of Things (IoT) is the protection of public health and well-being through enabling environmental monitoring services. In particular, an IoT-enabled health/accessibility monitoring service (HAMS) can be consulted by its users to query about the status of different areas so as to optimize their trip throughout a geographic region. Given the high cost associated with a vast deployment of totally trusted information sources, the IoT-enabled monitoring services also subsist on citizen engagement and on (possibly untrusted) users' sensing apparatus for data collection. However, trust management becomes a key factor in the success of such services because they might be misled by malicious users through altered or fake sensor data. In this paper, we consider a monitoring service, and propose a hybrid entity/data trust computation scheme which relies on Bayesian learning to score the users (as data reporters), and on Dempster-Shafer theory (DST) for data fusion and for the computation of the trustworthiness of the data itself. In order to provide resiliency against behavioral changes, the probability masses used in DST are dynamically updated using the freshly estimated user scores as well as the contextual properties associated with the reported data. We conduct simulation experiments to evaluate the performance of our scheme. Compared to prior work, the results demonstrate superior performance in terms of accuracy and resilience against malicious behavior.


title: Modelling the Dynamic Joint Policy of Teammates with Attention Multi-agent DDPG

abstract: Modelling and exploiting teammates' policies in cooperative multi-agent systems have long been an interest and also a big challenge for the reinforcement learning (RL) community. The interest lies in the fact that if the agent knows the teammates' policies, it can adjust its own policy accordingly to arrive at proper cooperations; while the challenge is that the agents' policies are changing continuously due to they are learning concurrently, which imposes difficulty to model the dynamic policies of teammates accurately. In this paper, we present \emph{ATTention Multi-Agent Deep Deterministic Policy Gradient} (ATT-MADDPG) to address this challenge. ATT-MADDPG extends DDPG, a single-agent actor-critic RL method, with two special designs. First, in order to model the teammates' policies, the agent should get access to the observations and actions of teammates. ATT-MADDPG adopts a centralized critic to collect such information. Second, to model the teammates' policies using the collected information in an effective way, ATT-MADDPG enhances the centralized critic with an attention mechanism. This attention mechanism introduces a special structure to explicitly model the dynamic joint policy of teammates, making sure that the collected information can be processed efficiently. We evaluate ATT-MADDPG on both benchmark tasks and the real-world packet routing tasks. Experimental results show that it not only outperforms the state-of-the-art RL-based methods and rule-based methods by a large margin, but also achieves better performance in terms of scalability and robustness.


title: Exploring Tradeoffs in Models for Low-latency Speech Enhancement

abstract: We explore a variety of neural networks configurations for one- and two-channel spectrogram-mask-based speech enhancement. Our best model improves on previous state-of-the-art performance on the CHiME2 speech enhancement task by 0.4 decibels in signal-to-distortion ratio (SDR). We examine trade-offs such as non-causal look-ahead, computation, and parameter count versus enhancement performance and find that zero-look-ahead models can achieve, on average, within 0.03 dB SDR of our best bidirectional model. Further, we find that 200 milliseconds of look-ahead is sufficient to achieve equivalent performance to our best bidirectional model.


title: Improving Rotated Text Detection with Rotation Region Proposal Networks

abstract: A significant number of images shared on social media platforms such as Facebook and Instagram contain text in various forms. It's increasingly becoming commonplace for bad actors to share misinformation, hate speech or other kinds of harmful content as text overlaid on images on such platforms. A scene-text understanding system should hence be able to handle text in various orientations that the adversary might use. Moreover, such a system can be incorporated into screen readers used to aid the visually impaired. In this work, we extend the scene-text extraction system at Facebook, Rosetta, to efficiently handle text in various orientations. Specifically, we incorporate the Rotation Region Proposal Networks (RRPN) in our text extraction pipeline and offer practical suggestions for building and deploying a model for detecting and recognizing text in arbitrary orientations efficiently. Experimental results show a significant improvement on detecting rotated text.


title: Mining Entity Synonyms with Efficient Neural Set Generation

abstract: Mining entity synonym sets (i.e., sets of terms referring to the same entity) is an important task for many entity-leveraging applications. Previous work either rank terms based on their similarity to a given query term, or treats the problem as a two-phase task (i.e., detecting synonymy pairs, followed by organizing these pairs into synonym sets). However, these approaches fail to model the holistic semantics of a set and suffer from the error propagation issue. Here we propose a new framework, named SynSetMine, that efficiently generates entity synonym sets from a given vocabulary, using example sets from external knowledge bases as distant supervision. SynSetMine consists of two novel modules: (1) a set-instance classifier that jointly learns how to represent a permutation invariant synonym set and whether to include a new instance (i.e., a term) into the set, and (2) a set generation algorithm that enumerates the vocabulary only once and applies the learned set-instance classifier to detect all entity synonym sets in it. Experiments on three real datasets from different domains demonstrate both effectiveness and efficiency of SynSetMine for mining entity synonym sets.


title: Analyzing Compositionality-Sensitivity of NLI Models

abstract: Success in natural language inference (NLI) should require a model to understand both lexical and compositional semantics. However, through adversarial evaluation, we find that several state-of-the-art models with diverse architectures are over-relying on the former and fail to use the latter. Further, this compositionality unawareness is not reflected via standard evaluation on current datasets. We show that removing RNNs in existing models or shuffling input words during training does not induce large performance loss despite the explicit removal of compositional information. Therefore, we propose a compositionality-sensitivity testing setup that analyzes models on natural examples from existing datasets that cannot be solved via lexical features alone (i.e., on which a bag-of-words model gives a high probability to one wrong label), hence revealing the models' actual compositionality awareness. We show that this setup not only highlights the limited compositional ability of current NLI models, but also differentiates model performance based on design, e.g., separating shallow bag-of-words models from deeper, linguistically-grounded tree-based models. Our evaluation setup is an important analysis tool: complementing currently existing adversarial and linguistically driven diagnostic evaluations, and exposing opportunities for future work on evaluating models' compositional understanding.


title: Turbulence-induced optical loss and cross-talk in spatial mode multiplexed or single-mode free-space communication channels

abstract: Single-mode or mode multiplexed free-space atmospheric optical channels draw increasingly more attention in the last decade. The scope of their possible applications spans from the compatibility with the telecom WDM technology, fiber amplifiers, and modal multiplexing for increasing the channel throughput to various quantum communication related primitives such as entanglement distribution, high-dimensional spatially encoded quantum key distribution, and relativistic quantum cryptography. Many research papers discuss application of specific mode sets, such as optical angular momentum modes, for communication in the presence of atmospheric turbulence. At the same time some basic properties and key relations for such channels exposed to the atmospheric turbulence have not been derived yet. In the current paper we present simple analytic expressions and a general framework for assessing probability density functions of channel transmittance as well as modal cross-talk coefficients. Under some basic assumptions the presented results can be directly used for estimation of the Fried parameter of the turbulent channel based on the measured statistics of the fundamental mode transmittance coefficient.


title: Relative differential cohomology and generalized Cheeger-Simons characters

abstract: We provide a suitable axiomatic framework for differential cohomology in the relative case and we deduce the corresponding long exact sequences. We also construct the relative version of the generalized Cheeger-Simons characters and we define the integration map when the fibre has a boundary.


title: Single particle motion and collective dynamics in Janus motor systems

abstract: The single-particle and collective dynamics of systems comprising Janus motors, solvent and reactive solute species maintained in nonequilibrium states are investigated. Reversible catalytic reactions with the solute species take place on the catalytic faces of the motors, and the nonequilibrium states are established by imposing either constant-concentration reservoirs that feed and remove reactive species, or through out-of-equilibrium fluid phase reactions. We consider general intermolecular interactions between the Janus motor hemispheres and the reactive species. For single motors, we show that the reaction rate depends nonlinearly on an applied external force when the system is displaced far from equilibrium. We also show that a finite-time fluctuation formula derived for fixed catalytic particles describes the nonequilibrium reactive fluctuations of moving Janus motors. Simulation of the collective dynamics of small ensembles of Janus motors with reversible kinetics under nonequilibrium conditions are carried out and the spatial and orientational correlations of dynamic cluster states are discussed. The conditions leading to the instability of the homogeneous motor distribution and the onset of nonequilibrium dynamical clustering are described.


title: Asymmetric Drift in the Andromeda Galaxy (M31) as a Function of Stellar Age

abstract: We analyze the kinematics of Andromeda's disk as a function of stellar age by using photometry from the Panchromatic Hubble Andromeda Treasury (PHAT) survey and spectroscopy from the Spectroscopic and Photometric Landscape of Andromeda's Stellar Halo (SPLASH) survey. We use HI 21-cm and CO ($\rm J=1 \rightarrow 0$) data to examine the difference between the deprojected rotation velocity of the gas and that of the stars. We divide the stars into four stellar age bins, from shortest lived to longest lived: massive main sequence stars (0.03 Gyr), more luminous intermediate mass asymptotic giant branch (AGB) stars (0.4 Gyr), less luminous intermediate mass AGB stars (2 Gyr), and low mass red giant branch stars (4 Gyr). There is a clear correlation between the offset of the stellar and the gas rotation velocity, or the asymmetric drift: the longer lived populations lag farther behind the gas than short lived populations. We also examine possible causes of the substructure in the rotation curves and find that the most significant cause of scatter in the rotation curves comes from the tilted ring model being an imperfect way to account for the multiple warps in Andromeda's disk.


title: The smallest singular value of heavy-tailed not necessarily i.i.d. random matrices via random rounding

abstract: We are concerned with the small ball behavior of the smallest singular value of random matrices. Often, establishing such results involves, in some capacity, a discretization of the unit sphere. This requires bounds on the norm of the matrix, and the latter bounds require strong assumptions on the distribution of the entries, such as bounded fourth moments (for a weak estimate), sub-gaussian tails (for a strong estimate), and structural assumptions such as mean zero and variance one. Recently, Rebrova and Tikhomirov developed a discretization procedure which does not rely on strong tail assumptions for the entries. However, their argument still required the structural assumptions of mean zero, variance one i.i.d. entries. In this paper, we discuss an efficient discretization of the unit sphere, which works with exponentially high probability, does not require any such structural assumptions, and, furthermore, does not require independence of the rows of the matrix. We show the existence of nets near the sphere, which compare values of any (deterministic) random matrix on the sphere and on the net via the regularized the Hilbert-Schmidt norm, which we introduce. Such refinement is a form of averaging, and enjoys strong large deviation properties. As a consequence we show sharp small ball estimates for the smallest singular value of square random matrices under mild assumptions, and for the random matrices with arbitrary aspect ratio.


title: Combining Fact Extraction and Verification with Neural Semantic Matching Networks

abstract: The increasing concern with misinformation has stimulated research efforts on automatic fact checking. The recently-released FEVER dataset introduced a benchmark fact-verification task in which a system is asked to verify a claim using evidential sentences from Wikipedia documents. In this paper, we present a connected system consisting of three homogeneous neural semantic matching models that conduct document retrieval, sentence selection, and claim verification jointly for fact extraction and verification. For evidence retrieval (document retrieval and sentence selection), unlike traditional vector space IR models in which queries and sources are matched in some pre-designed term vector space, we develop neural models to perform deep semantic matching from raw textual input, assuming no intermediate term representation and no access to structured external knowledge bases. We also show that Pageview frequency can also help improve the performance of evidence retrieval results, that later can be matched by using our neural semantic matching network. For claim verification, unlike previous approaches that simply feed upstream retrieved evidence and the claim to a natural language inference (NLI) model, we further enhance the NLI model by providing it with internal semantic relatedness scores (hence integrating it with the evidence retrieval modules) and ontological WordNet features. Experiments on the FEVER dataset indicate that (1) our neural semantic matching method outperforms popular TF-IDF and encoder models, by significant margins on all evidence retrieval metrics, (2) the additional relatedness score and WordNet features improve the NLI model via better semantic awareness, and (3) by formalizing all three subtasks as a similar semantic matching problem and improving on all three stages, the complete model is able to achieve the state-of-the-art results on the FEVER test set.


title: Testing generalized CP symmetries with precision studies at DUNE

abstract: We examine the capabilities of the DUNE experiment in probing leptonic CP violation within the framework of theories with generalized CP symmetries characterized by the texture zeros of the corresponding CP transformation matrices. We investigate DUNE's potential to probe the two least known oscillation parameters, the atmospheric mixing angle $\theta_{23}$ and the Dirac CP-phase $\delta_{\rm CP}$. We fix theory-motivated benchmarks for ($ \sin^2\theta_{23}, \delta_{\rm CP} $) and take them as true values in our simulations. Assuming 3.5 years of neutrino running plus 3.5 years in the antineutrino mode, we show that in all cases DUNE can significantly constrain and in certain cases rule out the generalized CP texture zero patterns.


title: Two-photon excitation spectroscopy of 1,5--Diphenyl-1,3,5-hexatriene using phase modulation

abstract: We have used two-photon Fourier transform spectroscopy to investigate the first singlet excited state (S1) of a prototypical polyene molecule 1,5 -- Diphenyl-1,3,5-hexatriene. As the S1 state in the polyenes is a one-photon forbidden transition, its structure of the vibrational levels cannot be studied using resonant linear excitation. Although this level is accessible with two-photon excitation, previous studies done by using wavelength tunable pulsed lasers did not have enough resolution to investigate the details of the vibrational levels. In Fourier transform spectroscopy, one uses a pair of laser beams to excite the sample. The measurements are done by varying the time delay between the pulses. The spectral resolution is given by the inverse of the maximum time delay rather than the spectral width of the pulses. We have used the method to investigate the vibrational levels of the S1 state. In our implementation, we have used a phase modulation technique to carry out the measurements in the rotating frame, which require fewer data points along the time delay thereby significantly reducing the measurement time.


title: Towards Large-Scale Exploratory Search over Heterogeneous Sources

abstract: Since time immemorial, people have been looking for ways to organize scientific knowledge into some systems to facilitate search and discovery of new ideas. The problem was partially solved in the pre-Internet era using library classifications, but nowadays it is nearly impossible to classify all scientific and popular scientific knowledge manually. There is a clear gap between the diversity and the amount of data available on the Internet and the algorithms for automatic structuring of such data. In our preliminary study, we approach the problem of knowledge discovery on web-scale data with diverse text sources and propose an algorithm to aggregate multiple collections into a single hierarchical topic model. We implement a web service named Rysearch to demonstrate the concept of topical exploratory search and make it available online.


title: The GEM QA Protocol of the ALICE TPC Upgrade Project

abstract: The ALICE experiment at the Large Hadron Collider at CERN is upgrading its central tracking detector, the Time Projection Chamber (TPC). The installation is foreseen during the second long shutdown of the Large Hadron Collider. The upgrade includes the complete exchange of the present MWPC readout chambers (ROC) with new ones based on Gas Electron Multiplier detectors. This is necessary due to the higher LHC luminosity and thus higher interaction rate. The new ROCs allow for continuous readout at 50 kHz compared to 500 Hz of the gated MWPC readout, while maintaining the particle identification capability of the present system. A thorough quality assurance scheme was developed to build a strict QA protocol. The QA consists of two stages. The first stage, the basic QA is done close to the GEM production workshop at CERN and later at the framing and assembly centers. The second stage, the advanced QA is done at dedicated QA centers. Full traceability of detector components will be maintained throughout the process. A detailed description of the protocol will be given with emphasis on the high definition optical scanning and gain measurements of individual GEM foils. The production of the new ALICE TPC ROCs has finally started. First QA experience under production conditions and workload will be presented.


title: BLeSS: Bio-inspired Low-level Spatiochromatic Similarity Assisted Image Quality Assessment

abstract: This paper proposes a biologically-inspired low-level spatiochromatic-model-based similarity method (BLeSS) to assist full-reference image-quality estimators that originally oversimplify color perception processes. More specifically, the spatiochromatic model is based on spatial frequency, spatial orientation, and surround contrast effects. The assistant similarity method is used to complement image-quality estimators based on phase congruency, gradient magnitude, and spectral residual. The effectiveness of BLeSS is validated using FSIM, FSIMc and SR-SIM methods on LIVE, Multiply Distorted LIVE, and TID 2013 databases. In terms of Spearman correlation, BLeSS enhances the performance of all quality estimators in color-based degradations and the enhancement is at 100% for both feature- and spectral residual-based similarity methods. Moreover, BleSS significantly enhances the performance of SR-SIM and FSIM in the full TID 2013 database.


title: Video-rate large-scale imaging with Multi-Z confocal microscopy

abstract: Fast, volumetric imaging over large scales has been a long-standing goal in biological microscopy. Scanning techniques such as fluorescence confocal microscopy can acquire 2D images at high resolution and high speed, but extending the acquisition to multiple planes at different depths requires an axial scanning mechanism that drastically reduces the acquisition speed. To address this challenge, we report an augmented variant of confocal microscopy where the key innovation consists to use a series of reflecting pinholes axially distributed in the detection plane, each one probing a different depth within the sample. As no axial scanning mechanism is involved, our technique provides simultaneous multiplane imaging over fields of view larger than a millimeter at video-rate. We demonstrate the general applicability of our technique to neuronal imaging of both Caenorhabditis elegans and mouse brains in-vivo.


title: Molecular dynamics of partially confined Lennard-Jones gases: Velocity autocorrelation function, mean squared displacement, and collective excitations

abstract: Particle motion and correlations in fluids within confined domains promise to provide challenges and opportunities for experimental and theoretical studies. We report molecular dynamics simulations of a Lennard-Jones gas mimicking argon under partial confinement for a wide range of densities at a temperature of 300 K. The isotropic behavior of velocity autocorrelation function (VACF) and mean squared displacement (MSD), seen in the bulk, breaks down due to partial confinement. A distinct trend emerges in the VACF-perpendicular and MSD-perpendicular, corresponding to the confined direction, while the trends in VACF-parallel and MSD-parallel, corresponding to the other two unconfined directions are seen to be unaffected by the confinement. VACF-perpendicular displays a minimum, at short timescales, that correlates with the separation between the reflective walls. The effect of partial confinement on MSD-perpendicular is seen to manifest as a transition from diffusive to subdiffusive motion with the transition time correlating with the minimum in the VACF-perpendicular. When compared to the trends shown by MSD and VACF in the bulk, the MSD-perpendicular exhibits subdiffusive behavior and the VACF-perpendicular features rapid decay, suggesting that confinement suppresses the role of thermal fluctuations significantly. Repetitive wall-mediated collisions are identified to give rise to the minima in VACF-perpendicular and in turn a characteristic frequency in its frequency spectrum. The strong linear relation between the minima in VACF-perpendicular and wall-spacing suggests the existence of collective motion propagating at the speed of sound. These numerical experiments can offer interesting possibilities in the study of confined motion with observable consequences.


title: Coherent electron trajectory control in graphene

abstract: We investigate coherent electron dynamics in graphene, interacting with the electric field waveform of two orthogonally polarized, few-cycle laser pulses. Recently, we demonstrated that linearly polarized driving pulses lead to sub-optical-cycle Landau-Zener quantum path interference by virtue of the combination of intraband motion and interband transition [Higuchi $\textit{et al.}$, Nature $\textbf{550}$, 224 (2017)]. Here we introduce a pulsed control laser beam, orthogonally polarized to the driving pulses, and observe the ensuing electron dynamics. The relative delay between the two pulses is a tuning parameter to control the electron trajectory, now in a complex fashion exploring the full two-dimensional reciprocal space in graphene. Depending on the relative phase, the electron trajectory in the reciprocal space can, for example, be deformed to suppress the quantum path interference resulting from the driving laser pulse. Intriguingly, this strong-field-based complex matter wave manipulation in a two-dimensional conductor is driven by a high repetition rate \textit{laser oscillator}, rendering unnecessary complex and expensive amplified laser systems.


title: Dynamic Type Matching

abstract: We consider an intermediary's problem of dynamically matching demand and supply of heterogeneous types in a periodic-review fashion. More specifically, there are two disjoint sets of demand and supply types, and a reward associated with each possible matching of a demand type and a supply type. In each period, demand and supply of various types arrive in random quantities. The platform's problem is to decide on the optimal matching policy to maximize the total discounted rewards minus costs, given that unmatched demand and supply will incur waiting or holding costs, and will be carried over to the next period (with abandonment). For this dynamic matching problem, we provide sufficient conditions on matching rewards such that the optimal matching policy follows a priority hierarchy among possible matching pairs. We show those conditions are satisfied by vertically and unidirectionally horizontally differentiated types, for which quality and distance determine priority, respectively. As a result of the priority property, the optimal matching policy boils down to a match-down-to threshold structure when considering a specific pair of demand and supply types in the priority hierarchy.


title: RMPflow: A Computational Graph for Automatic Motion Policy Generation

abstract: We develop a novel policy synthesis algorithm, RMPflow, based on geometrically consistent transformations of Riemannian Motion Policies (RMPs). RMPs are a class of reactive motion policies designed to parameterize non-Euclidean behaviors as dynamical systems in intrinsically nonlinear task spaces. Given a set of RMPs designed for individual tasks, RMPflow can consistently combine these local policies to generate an expressive global policy, while simultaneously exploiting sparse structure for computational efficiency. We study the geometric properties of RMPflow and provide sufficient conditions for stability. Finally, we experimentally demonstrate that accounting for the geometry of task policies can simplify classically difficult problems, such as planning through clutter on high-DOF manipulation systems.


title: Gaussian Process Accelerated Feldman-Cousins Approach for Physical Parameter Inference

abstract: The unified approach of Feldman and Cousins allows for exact statistical inference of small signals that commonly arise in high energy physics. It has gained widespread use, for instance, in measurements of neutrino oscillation parameters in long-baseline experiments. However, the approach relies on the Neyman construction of the classical confidence interval and is computationally intensive as it is typically done in a grid-based fashion over the entire parameter space. In this letter, we propose an efficient algorithm for the Feldman-Cousins approach using Gaussian processes to construct confidence intervals iteratively. We show that in the neutrino oscillation context, one can obtain confidence intervals 5 times faster in one dimension and 10 times faster in two dimensions, while maintaining an accuracy above 99.5%.


title: Symmetry constrained machine learning

abstract: Symmetry, a central concept in understanding the laws of nature, has been used for centuries in physics, mathematics, and chemistry, to help make mathematical models tractable. Yet, despite its power, symmetry has not been used extensively in machine learning, until rather recently. In this article we show a general way to incorporate symmetries into machine learning models. We demonstrate this with a detailed analysis on a rather simple real world machine learning system - a neural network for classifying handwritten digits, lacking bias terms for every neuron. We demonstrate that ignoring symmetries can have dire over-fitting consequences, and that incorporating symmetry into the model reduces over-fitting, while at the same time reducing complexity, ultimately requiring less training data, and taking less time and resources to train.


title: A New Approach to the Automorphism Group of a Platonic Surface

abstract: We borrow a classical construction from the study of rational billiards in dynamical systems known as the "unfolding construction" and show that it can be used to study the automorphism group of a Platonic surface. More precisely, the monodromy group, or deck group in this case, associated to the cover of a regular polygon or double polygon by the unfolded Platonic surface yields a normal subgroup of the rotation group of the Platonic surface. The quotient of this rotation group by the normal subgroup is always a cyclic group, where explicit bounds on the order of the cyclic group can be given entirely in terms of the Schl\"afli symbol of the Platonic surface. As a consequence, we provide a new derivation of the rotation groups of the dodecahedron and the Bolza surface.


title: A Large-Scale Comparative Study of Beta Testers and Standard Users

abstract: Beta testers are the first end users outside a software company to use its product. They have been used for decades and are rightly credited not only with finding and reporting bugs, but also with improving general product usability through their feedback and/or the ways they use the product. In this paper, we investigate whether beta testers represent standard users well enough to allow for the extrapolation of testing data to standard users. We have investigated records of beta testers and standard users of home security solution developed by the IT security software provider ESET. With more than 600 000 participants from more than 180 countries, we present what we believe to be the first large-scale comparison between standard users and beta testers. We compared several aspects of both populations, such as hardware, operating system, country of origin and EULA reading time, all taken from system data. Other attributes, such as age, gender, privacy perception and computer proficiency self-evaluation, were available thanks to a user questionnaire. We conclude that - at least in our study - beta users represent standard users well in terms of hardware and operating system in large scale beta testing. However, populations differ significantly in the distribution of users and testers between countries. This may cause a problem when a testing includes localization and usability issues that may be influenced by regional differences.


title: Synergistic Drug Combination Prediction by Integrating Multi-omics Data in Deep Learning Models

abstract: Drug resistance is still a major challenge in cancer therapy. Drug combination is expected to overcome drug resistance. However, the number of possible drug combinations is enormous, and thus it is infeasible to experimentally screen all effective drug combinations considering the limited resources. Therefore, computational models to predict and prioritize effective drug combinations is important for combinatory therapy discovery in cancer. In this study, we proposed a novel deep learning model, AuDNNsynergy, to prediction drug combinations by integrating multi-omics data and chemical structure data. In specific, three autoencoders were trained using the gene expression, copy number and genetic mutation data of all tumor samples from The Cancer Genome Atlas. Then the physicochemical properties of drugs combined with the output of the three autoencoders, characterizing the individual cancer cell-lines, were used as the input of a deep neural network that predicts the synergy value of given pair-wise drug combinations against the specific cancer cell-lines. The comparison results showed the proposed AuDNNsynergy model outperforms four state-of-art approaches, namely DeepSynergy, Gradient Boosting Machines, Random Forests, and Elastic Nets. Moreover, we conducted the interpretation analysis of the deep learning model to investigate potential vital genetic predictors and the underlying mechanism of synergistic drug combinations on specific cancer cell-lines.


title: Minimum weight norm models do not always generalize well for over-parameterized problems

abstract: This work is substituted by the paper in arXiv:2011.14066. Stochastic gradient descent is the de facto algorithm for training deep neural networks (DNNs). Despite its popularity, it still requires fine tuning in order to achieve its best performance. This has led to the development of adaptive methods, that claim automatic hyper-parameter optimization. Recently, researchers have studied both algorithmic classes via toy examples: e.g., for over-parameterized linear regression, Wilson et. al. (2017) shows that, while SGD always converges to the minimum-norm solution, adaptive methods show no such inclination, leading to worse generalization capabilities. Our aim is to study this conjecture further. We empirically show that the minimum weight norm is not necessarily the proper gauge of good generalization in simplified scenaria, and different models found by adaptive methods could outperform plain gradient methods. In practical DNN settings, we observe that adaptive methods can outperform SGD, with larger weight norm output models, but without necessarily reducing the amount of tuning required.


title: Domain Adaptive Transfer Learning with Specialist Models

abstract: Transfer learning is a widely used method to build high performing computer vision models. In this paper, we study the efficacy of transfer learning by examining how the choice of data impacts performance. We find that more pre-training data does not always help, and transfer performance depends on a judicious choice of pre-training data. These findings are important given the continued increase in dataset sizes. We further propose domain adaptive transfer learning, a simple and effective pre-training method using importance weights computed based on the target dataset. Our method to compute importance weights follow from ideas in domain adaptation, and we show a novel application to transfer learning. Our methods achieve state-of-the-art results on multiple fine-grained classification datasets and are well-suited for use in practice.


title: Universal regularization methods - varying the power, the smoothness and the accuracy

abstract: Adaptive cubic regularization methods have emerged as a credible alternative to linesearch and trust-region for smooth nonconvex optimization, with optimal complexity amongst second-order methods. Here we consider a general/new class of adaptive regularization methods, that use first- or higher-order local Taylor models of the objective regularized by a(ny) power of the step size and applied to convexly-constrained optimization problems. We investigate the worst-case evaluation complexity/global rate of convergence of these algorithms, when the level of sufficient smoothness of the objective may be unknown or may even be absent. We find that the methods accurately reflect in their complexity the degree of smoothness of the objective and satisfy increasingly better bounds with improving accuracy of the models. The bounds vary continuously and robustly with respect to the regularization power and accuracy of the model and the degree of smoothness of the objective.


title: Statistical Impact of New York Health Legislation

abstract: As the US Government plays an increasing role in health care, it becomes essential to understand the impact of expensive legislation on actual outcomes. New York, having spent the last decade heavily legislating health-related behavior, represents a unique test case to gain insight about what factors cause health care legislation to succeed or fail. We present a longitudinal study comparing bills across 13 Health Areas to measure the effect legislation in that Area had on 311 hotline service complaints. We find that there is statistically significant evidence with p-value $p=0.05$ that legislation in the Hazardous Materials Health Area correlated with a positive change in outcomes. The other Health Areas correlated with changes, but were not statistically significant.


title: Relational Long Short-Term Memory for Video Action Recognition

abstract: Spatial and temporal relationships, both short-range and long-range, between objects in videos, are key cues for recognizing actions. It is a challenging problem to model them jointly. In this paper, we first present a new variant of Long Short-Term Memory, namely Relational LSTM, to address the challenge of relation reasoning across space and time between objects. In our Relational LSTM module, we utilize a non-local operation similar in spirit to the recently proposed non-local network to substitute the fully connected operation in the vanilla LSTM. By doing this, our Relational LSTM is capable of capturing long and short-range spatio-temporal relations between objects in videos in a principled way. Then, we propose a two-branch neural architecture consisting of the Relational LSTM module as the non-local branch and a spatio-temporal pooling based local branch. The local branch is utilized for capturing local spatial appearance and/or short-term motion features. The two branches are concatenated to learn video-level features from snippet-level ones which are then used for classification. Experimental results on UCF-101 and HMDB-51 datasets show that our model achieves state-of-the-art results among LSTM-based methods, while obtaining comparable performance with other state-of-the-art methods (which use not directly comparable schema). Further, on the more complex large-scale Charades dataset, we obtain a large 3.2% gain over state-of-the-art methods, verifying the effectiveness of our method in complex understanding.


title: Biometric-Based Wearable User Authentication During Sedentary and Non-sedentary Periods

abstract: The Internet of Things (IoT) is increasingly empowering people with an interconnected world of physical objects ranging from smart buildings to portable smart devices such as wearables. With the recent advances in mobile sensing, wearables have become a rich collection of portable sensors and are able to provide various types of services including health and fitness tracking, financial transactions, and unlocking smart locks and vehicles. Existing explicit authentication approaches (i.e., PINs or pattern locks) suffer from several limitations including limited display size, shoulder surfing, and recall burden. Oftentimes, users completely disable security features out of convenience. Therefore, there is a need for a burden-free (implicit) authentication mechanism for wearable device users based on easily obtainable biometric data. In this paper, we present an implicit wearable device user authentication mechanism using combinations of three types of coarse-grained minute-level biometrics: behavioral (step counts), physiological (heart rate), and hybrid (calorie burn and metabolic equivalent of task). From our analysis of 421 Fitbit users from a two-year long health study, we are able to authenticate subjects with average accuracy values of around 92% and 88% during sedentary and non-sedentary periods, respectively. Our findings also show that (a) behavioral biometrics do not work well during sedentary periods and (b) hybrid biometrics typically perform better than other biometrics.


title: Using Sentiment Induction to Understand Variation in Gendered Online Communities

abstract: We analyze gendered communities defined in three different ways: text, users, and sentiment. Differences across these representations reveal facets of communities' distinctive identities, such as social group, topic, and attitudes. Two communities may have high text similarity but not user similarity or vice versa, and word usage also does not vary according to a clearcut, binary perspective of gender. Community-specific sentiment lexicons demonstrate that sentiment can be a useful indicator of words' social meaning and community values, especially in the context of discussion content and user demographics. Our results show that social platforms such as Reddit are active settings for different constructions of gender.


title: The Full Spectrum of Deepnet Hessians at Scale: Dynamics with SGD Training and Sample Size

abstract: We apply state-of-the-art tools in modern high-dimensional numerical linear algebra to approximate efficiently the spectrum of the Hessian of modern deepnets, with tens of millions of parameters, trained on real data. Our results corroborate previous findings, based on small-scale networks, that the Hessian exhibits "spiked" behavior, with several outliers isolated from a continuous bulk. We decompose the Hessian into different components and study the dynamics with training and sample size of each term individually.


title: Extreme points in limit sets

abstract: Given an iterated function system of affine dilations with fixed points the vertices of a regular polygon, we characterize which points in the limit set lie on the boundary of its convex hull.


title: $d$-cluster-free sets with a given matching number

abstract: Let $3\le d\le k$ and $\nu\ge 0$ be fixed and $\mathcal{F}\subset\binom{[n]}{k}$. The matching number of $\mathcal{F}$, denoted by $\nu(\mathcal{F})$, is the maximum number of pairwise disjoint sets in $\mathcal{F}$, and $\mathcal{F}$ is $d$-cluster-free if it does not contain $d$ sets with the union of size at most $2k$ and empty intersection. In this paper, we give a lower bound and an upper bound for the maximum size of a $d$-cluster-free family with a matching number at least $\nu+1$. In particular, our result of the case $\nu=1$ settles a conjecture of Mammoliti and Britz. We also introduce a Tur\'{a}n problem in hypergraphs that allows multiple edges, which may be of independent interest.


title: Multipath-enabled private audio with noise

abstract: We address the problem of privately communicating audio messages to multiple listeners in a reverberant room using a set of loudspeakers. We propose two methods based on emitting noise. In the first method, the loudspeakers emit noise signals that are appropriately filtered so that after echoing along multiple paths in the room, they sum up and descramble to yield distinct meaningful audio messages only at specific focusing spots, while being incoherent everywhere else. In the second method, adapted from wireless communications, we project noise signals onto the nullspace of the MIMO channel matrix between the loudspeakers and listeners. Loudspeakers reproduce a sum of the projected noise signals and intended messages. Again because of echoes, the MIMO nullspace changes across different locations in the room. Thus, the listeners at focusing spots hear intended messages, while the acoustic channel of an eavesdropper at any other location is jammed. We show, using both numerical and real experiments, that with a small number of speakers and a few impulse response measurements, audio messages can indeed be communicated to a set of listeners while ensuring negligible intelligibility elsewhere.


title: Detecting Incongruity Between News Headline and Body Text via a Deep Hierarchical Encoder

abstract: Some news headlines mislead readers with overrated or false information, and identifying them in advance will better assist readers in choosing proper news stories to consume. This research introduces million-scale pairs of news headline and body text dataset with incongruity label, which can uniquely be utilized for detecting news stories with misleading headlines. On this dataset, we develop two neural networks with hierarchical architectures that model a complex textual representation of news articles and measure the incongruity between the headline and the body text. We also present a data augmentation method that dramatically reduces the text input size a model handles by independently investigating each paragraph of news stories, which further boosts the performance. Our experiments and qualitative evaluations demonstrate that the proposed methods outperform existing approaches and efficiently detect news stories with misleading headlines in the real world.


title: Oscillation theory and semibounded canonical systems

abstract: Oscillation theory locates the spectrum of a differential equation by counting the zeros of its solutions. We present a version of this theory for canonical systems $Ju'=-zHu$ and then use it to discuss semibounded operators from this point of view. Our main new result is a characterization of systems with purely discrete spectrum in terms of the asymptotics of their coefficient functions; we also discuss the exponential types of the transfer matrices.


title: Magnetic bimerons as skyrmion analogues in in-plane magnets

abstract: A magnetic bimeron is a pair of two merons and can be understood as the in-plane magnetized version of a skyrmion. Here we theoretically predict the existence of single magnetic bimerons as well as bimeron crystals, and compare the emergent electrodynamics of bimerons with their skyrmion analogues. We show that bimeron crystals can be stabilized in frustrated magnets and analyze what crystal structure can stabilize bimerons or bimeron crystals via the Dzyaloshinskii-Moriya interaction. We point out that bimeron crystals, in contrast to skyrmion crystals, allow for the detection of a pure topological Hall effect. By means of micromagnetic simulations, we show that bimerons can be used as bits of information in in-plane magnetized racetrack devices, where they allow for current-driven motion for torque orientations that leave skyrmions in out-of-plane magnets stationary.


title: On a new method to estimate distance, reddening and metallicity of RR Lyrae stars using optical/near-infrared ($B$,$V$,$I$,$J$,$H$,$K$) mean magnitudes: $\omega$ Centauri as a first test case

abstract: We developed a new approach to provide accurate estimates of metal content, reddening and true distance modulus of RR Lyrae stars (RRLs). The method is based on homogeneous optical ($BVI$) and near-infrared ($JHK$) mean magnitudes and on predicted period--luminosity--metallicity relations ($IJHK$) and absolute mean magnitude--metallicity relations ($BV$). We obtained solutions for three different RRL samples in $\omega$ Cen: first overtone (RRc,~90), fundamental (RRab,~80) and global (RRc+RRab) in which the period of first overtones were fundamentalized. The metallicity distribution shows a well defined peak at [Fe/H]$\sim$--1.98 and a standard deviation of $\sigma$=0.54 dex. The spread is, as expected, metal-poor ([Fe/H]$\le$--2.3) objects. The current metallicity distribution is $\sim$0.3 dex more metal-poor than similar estimates for RRLs available in the literature. The difference vanishes if the true distance modulus we estimated is offset by --0.06/--0.07~mag in true distance modulus. We also found a cluster true distance modulus of $\mu$=13.720$\pm$0.002$\pm$0.030~mag, where the former error is the error on the mean and the latter is the standard deviation. Moreover, we found a cluster reddening of E($B-V$)=0.132$\pm$0.002$\pm$0.028~mag and spatial variations of the order of a few arcmin across the body of the cluster. Both the true distance modulus and the reddening are slightly larger than similar estimates available in the literature, but the difference is within 1$\sigma$. The metallicity dependence of distance diagnostics agree with theory and observations, but firm constraints require accurate and homogeneous spectroscopic measurements.


title: DSCnet: Replicating Lidar Point Clouds with Deep Sensor Cloning

abstract: Convolutional neural networks (CNNs) have become increasingly popular for solving a variety of computer vision tasks, ranging from image classification to image segmentation. Recently, autonomous vehicles have created a demand for depth information, which is often obtained using hardware sensors such as Light detection and ranging (LIDAR). Although it can provide precise distance measurements, most LIDARs are still far too expensive to sell in mass-produced consumer vehicles, which has motivated methods to generate depth information from commodity automotive sensors like cameras. In this paper, we propose an approach called Deep Sensor Cloning (DSC). The idea is to use Convolutional Neural Networks in conjunction with inexpensive sensors to replicate the 3D point-clouds that are created by expensive LIDARs. To accomplish this, we develop a new dataset (DSDepth) and a new family of CNN architectures (DSCnets). While previous tasks such as KITTI depth prediction use an interpolated RGB-D images as ground-truth for training, we instead use DSCnets to directly predict LIDAR point-clouds. When we compare the output of our models to a $75,000 LIDAR, we find that our most accurate DSCnet achieves a relative error of 5.77% using a single camera and 4.69% using stereo cameras.


title: Sound velocity and tidal deformability in compact stars

abstract: The sound velocity $v_s$ and dimensionless tidal deformability $\Lambda$ are analyzed using the pseudo-conformal model we developed before. In contrast to the conclusion obtained in the previous works in the literature, our model with the upper bound of the sound velocity $v_s = 1/\sqrt{3}$, the so-called conformal sound velocity, set in at a { density relevant to compact stars} $\gsim 2 n_0$ where $n_0$ is the normal nuclear matter density, can accommodate {\it all} presently established nuclear matter and compact-star properties including the maximum star-mass constraint $ \simeq 2.3 M_\odot$. This observation is associated with a possible emergence of pseudoconformal structure in compact star matter---in which the trace of energy-momentum tensor is a nearly density-independent nonzero constant---brought in by a topology change at $2.0 \lesssim n_{1/2}/n_0 \lesssim 4.0$ commensurate with a possible change of degrees of freedom from hadrons.


title: Polyphonic audio tagging with sequentially labelled data using CRNN with learnable gated linear units

abstract: Audio tagging aims to detect the types of sound events occurring in an audio recording. To tag the polyphonic audio recordings, we propose to use Connectionist Temporal Classification (CTC) loss function on the top of Convolutional Recurrent Neural Network (CRNN) with learnable Gated Linear Units (GLU-CTC), based on a new type of audio label data: Sequentially Labelled Data (SLD). In GLU-CTC, CTC objective function maps the frame-level probability of labels to clip-level probability of labels. To compare the mapping ability of GLU-CTC for sound events, we train a CRNN with GLU based on Global Max Pooling (GLU-GMP) and a CRNN with GLU based on Global Average Pooling (GLU-GAP). And we also compare the proposed GLU-CTC system with the baseline system, which is a CRNN trained using CTC loss function without GLU. The experiments show that the GLU-CTC achieves an Area Under Curve (AUC) score of 0.882 in audio tagging, outperforming the GLU-GMP of 0.803, GLU-GAP of 0.766 and baseline system of 0.837. That means based on the same CRNN model with GLU, the performance of CTC mapping is better than the GMP and GAP mapping. Given both based on the CTC mapping, the CRNN with GLU outperforms the CRNN without GLU.


title: Semi-Supervised Semantic Image Segmentation with Self-correcting Networks

abstract: Building a large image dataset with high-quality object masks for semantic segmentation is costly and time consuming. In this paper, we introduce a principled semi-supervised framework that only uses a small set of fully supervised images (having semantic segmentation labels and box labels) and a set of images with only object bounding box labels (we call it the weak set). Our framework trains the primary segmentation model with the aid of an ancillary model that generates initial segmentation labels for the weak set and a self-correction module that improves the generated labels during training using the increasingly accurate primary model. We introduce two variants of the self-correction module using either linear or convolutional functions. Experiments on the PASCAL VOC 2012 and Cityscape datasets show that our models trained with a small fully supervised set perform similar to, or better than, models trained with a large fully supervised set while requiring ~7x less annotation effort.


title: Compressed magnetic field in the magnetically-regulated global collapsing clump of G9.62+0.19

abstract: How stellar feedback from high-mass stars (e.g., H{\sc ii} regions) influences the surrounding interstellar medium and regulates new star formation is still unclear. To address this question, we observed the G9.62+0.19 complex in 850 $\mu$m continuum with the JCMT/POL-2 polarimeter. An ordered magnetic field has been discovered in its youngest clump, the G9.62 clump. The magnetic field strength is determined to be $\sim$1 mG. Magnetic field plays a larger role than turbulence in supporting the clump. However, the G9.62 clump is still unstable against gravitational collapse even if thermal, turbulent, and magnetic field support are taken into account all together. The magnetic field segments in the outskirts of the G9.62 clump seem to point toward the clump center, resembling a dragged-in morphology, indicating that the clump is likely undergoing magnetically-regulated global collapse. However, The magnetic field in its central region is aligned with the shells of the photodissociation regions (PDRs) and is approximately parallel to the ionization (or shock) front, indicating that the magnetic field therein is likely compressed by the expanding H{\sc ii} regions that formed in the same complex.


title: On a conjecture of L\"u, Li and Yang

abstract: In connection to a conjecture of W. L\"u. Q. Li and C. Yang we prove a result on small function sharing by a power of a meromorphic function with few poles and its derivative. Our results improve a number of known results.


title: Bredon Cohomology of Polyhedral Products

abstract: A polyhedral product is a natural subspace of a Cartesian product, which is specified by a simplicial complex K. The automorphism group Aut(K) of K induces a group action on the polyhedral product. In this paper we study this group action and give a formula for the fixed point set of the polyhedral product for any subgroup H of Aut(K). We use the fixed point data to compute examples of Bredon cohomolohgy for small non-Abelian groups such as $D_8$ and $\Sigma_4$.


title: Multi-wavelength observations of the 2014 June 11 M3.9 flare: temporal and spatial characteristics

abstract: We present multi-wavelength observations of an M-class flare (M3.9) that occurred on 2014 June 11. Our observations were conducted with the Dunn Solar Telescope (DST), adaptive optics, the multi-camera system ROSA (Rapid Oscillations in Solar Atmosphere) and new HARDcam (Hydrogen-Alpha Rapid Dynamics) camera in various wavelengths, such as Ca~II~K, Mg~I~b$_2$ (at 5172.7 Ang), and H$\alpha$ narrow-band, and G-band continuum filters. Images were re-constructed using the Kiepencheuer-Institut Speckle Interferometry Package (KISIP) code, to improve our image resolution. We observed intensity increases of $\approx$120-150% in the Mg, Ca~K and H$\alpha$ narrow band filters during the flare. Intensity increases for the flare observed in the SDO EUV channels were several times larger, and the GOES X-rays increased over a factor of 30 for the harder band. Only a modest delay is found between the onset of flare ribbons of a nearby sympathetic flare and the main flare ribbons observed in these narrow-band filters. The peak flare emission occurs within a few seconds for the Ca~K, Mg, and H$\alpha$ bands. Time-distance techniques find propagation velocities of $\approx$60 km/s for the main flare ribbon and as high as 300 km/s for smaller regions we attribute to filament eruptions. This result and delays and velocities observed with SDO ($\approx$100 km/s) for different coronal heights agree well with the simple model of energy propagation versus height, although a more detailed model for the flaring solar atmosphere is needed. And finally, we detected marginal quasi-periodic pulsations (QPPs) in the 40--60 second range for the Ca~K, Mg and H$\alpha$ bands, and such measurements are important for disentangling the detailed flare-physics.


title: An Affect-Rich Neural Conversational Model with Biased Attention and Weighted Cross-Entropy Loss

abstract: Affect conveys important implicit information in human communication. Having the capability to correctly express affect during human-machine conversations is one of the major milestones in artificial intelligence. In recent years, extensive research on open-domain neural conversational models has been conducted. However, embedding affect into such models is still under explored. In this paper, we propose an end-to-end affect-rich open-domain neural conversational model that produces responses not only appropriate in syntax and semantics, but also with rich affect. Our model extends the Seq2Seq model and adopts VAD (Valence, Arousal and Dominance) affective notations to embed each word with affects. In addition, our model considers the effect of negators and intensifiers via a novel affective attention mechanism, which biases attention towards affect-rich words in input sentences. Lastly, we train our model with an affect-incorporated objective function to encourage the generation of affect-rich words in the output responses. Evaluations based on both perplexity and human evaluations show that our model outperforms the state-of-the-art baseline model of comparable size in producing natural and affect-rich responses.


title: Qualitative analysis for an elliptic system in the punctured space

abstract: In this paper, we investigate the qualitative properties of positive solutions for the following two-coupled elliptic system in the punctured space: $$ \begin{cases} -\Delta u =\mu_1 u^{2q+1} + \beta u^q v^{q+1} \\ -\Delta v =\mu_2 v^{2q+1} + \beta v^q u^{q+1} \end{cases} \textmd{in} ~\mathbb{R}^n \backslash \{0\}, $$ where $\mu_1, \mu_2$ and $\beta$ are all positive constants, $n\geq 3$. We establish a monotonicity formula that completely characterizes the singularity of positive solutions. We prove a sharp global estimate for both components of positive solutions. We also prove the nonexistence of positive semi-singular solutions, which means that one component is bounded near the singularity and the other component is unbounded near the singularity.


title: Bilingual Dictionary Induction for Bantu Languages

abstract: We present a method for learning bilingual translation dictionaries between English and Bantu languages. We show that exploiting the grammatical structure common to Bantu languages enables bilingual dictionary induction for languages where training data is unavailable.


title: Skeleton-based Gesture Recognition Using Several Fully Connected Layers with Path Signature Features and Temporal Transformer Module

abstract: The skeleton based gesture recognition is gaining more popularity due to its wide possible applications. The key issues are how to extract discriminative features and how to design the classification model. In this paper, we first leverage a robust feature descriptor, path signature (PS), and propose three PS features to explicitly represent the spatial and temporal motion characteristics, i.e., spatial PS (S_PS), temporal PS (T_PS) and temporal spatial PS (T_S_PS). Considering the significance of fine hand movements in the gesture, we propose an "attention on hand" (AOH) principle to define joint pairs for the S_PS and select single joint for the T_PS. In addition, the dyadic method is employed to extract the T_PS and T_S_PS features that encode global and local temporal dynamics in the motion. Secondly, without the recurrent strategy, the classification model still faces challenges on temporal variation among different sequences. We propose a new temporal transformer module (TTM) that can match the sequence key frames by learning the temporal shifting parameter for each input. This is a learning-based module that can be included into standard neural network architecture. Finally, we design a multi-stream fully connected layer based network to treat spatial and temporal features separately and fused them together for the final result. We have tested our method on three benchmark gesture datasets, i.e., ChaLearn 2016, ChaLearn 2013 and MSRC-12. Experimental results demonstrate that we achieve the state-of-the-art performance on skeleton-based gesture recognition with high computational efficiency.


title: The Intrinsic Memorability of Everyday Sounds

abstract: Our aural experience plays an integral role in the perception and memory of the events in our lives. Some of the sounds we encounter throughout the day stay lodged in our minds more easily than others; these, in turn, may serve as powerful triggers of our memories. In this paper, we measure the memorability of everyday sounds across 20,000 crowd-sourced aural memory games, and assess the degree to which a sound's memorability is constant across subjects. We then use this data to analyze the relationship between memorability and acoustic features like harmonicity, spectral skew, and models of cognitive salience; we also assess the relationship between memorability and high-level features with a dependence on the sound source itself, such as its familiarity, valence, arousal, source type, causal certainty, and verbalizability. We find that (1) our crowd-sourced measures of memorability and confusability are reliable and robust across participants; (2) that the authors' measure of collective causal uncertainty detailed in our previous work, coupled with measures of visualizability and valence, are the strongest individual predictors of memorability; (3) that acoustic and salience features play a heightened role in determining "confusability" (the false positive selection rate associated with a sound) relative to memorability, and that (4), within the framework of our assessment, memorability is an intrinsic property of the sounds from the dataset, shown to be independent of surrounding context. We suggest that modeling these cognitive processes opens the door for human-inspired compression of sound environments, automatic curation of large-scale environmental recording datasets, and real-time modification of aural events to alter their likelihood of memorability.


title: PydMobileNet: Improved Version of MobileNets with Pyramid Depthwise Separable Convolution

abstract: Convolutional neural networks (CNNs) have shown remarkable performance in various computer vision tasks in recent years. However, the increasing model size has raised challenges in adopting them in real-time applications as well as mobile and embedded vision applications. Many works try to build networks as small as possible while still have acceptable performance. The state-of-the-art architecture is MobileNets. They use Depthwise Separable Convolution (DWConvolution) in place of standard Convolution to reduce the size of networks. This paper describes an improved version of MobileNet, called Pyramid Mobile Network. Instead of using just a $3\times 3$ kernel size for DWConvolution like in MobileNet, the proposed network uses a pyramid kernel size to capture more spatial information. The proposed architecture is evaluated on two highly competitive object recognition benchmark datasets (CIFAR-10, CIFAR-100). The experiments demonstrate that the proposed network achieves better performance compared with MobileNet as well as other state-of-the-art networks. Additionally, it is more flexible in fine-tuning the trade-off between accuracy, latency and model size than MobileNets.


title: Crystalline Chebotar\"ev density theorems

abstract: We formulate a conjectural analogue of Chebotar\"ev's density theorem for convergent $F$-isocrystals over a smooth geometrically irreducible curve defined over a finite field using the Tannakian formalism. We prove this analogue for several large classes, including direct sums of isoclinic convergent $F$-isocrystals and semi-simple convergent $F$-isocrystals which have an overconvergent extension and such that the semi-simplification of their pull-back to a sufficient small non-empty open sub-curve has abelian monodromy. In order to prove the latter, we also prove an overconvergent analogue of Chebotar\"ev's density theorem for semi-simple overconvergent $F$-isocrystals.


title: Topological property (T) for groupoids

abstract: We introduce a notion of topological property (T) for \'etale groupoids. This simultaneously generalizes Kazhdan's property (T) for groups and geometric property (T) for coarse spaces. One main goal is to use this property (T) to prove the existence of so-called Kazhdan projections in both maximal and reduced groupoid $C^*$-algebras, and explore applications of this to exactness, K-exactness, and the Baum-Connes conjecture. We also study various examples, and discuss the relationship with other notions of property (T) for groupoids and with a-T-menability.