title: Dense Steerable Filter CNNs for Exploiting Rotational Symmetry in Histology Images

abstract: Histology images are inherently symmetric under rotation, where each orientation is equally as likely to appear. However, this rotational symmetry is not widely utilised as prior knowledge in modern Convolutional Neural Networks (CNNs), resulting in data hungry models that learn independent features at each orientation. Allowing CNNs to be rotation-equivariant removes the necessity to learn this set of transformations from the data and instead frees up model capacity, allowing more discriminative features to be learned. This reduction in the number of required parameters also reduces the risk of overfitting. In this paper, we propose Dense Steerable Filter CNNs (DSF-CNNs) that use group convolutions with multiple rotated copies of each filter in a densely connected framework. Each filter is defined as a linear combination of steerable basis filters, enabling exact rotation and decreasing the number of trainable parameters compared to standard filters. We also provide the first in-depth comparison of different rotation-equivariant CNNs for histology image analysis and demonstrate the advantage of encoding rotational symmetry into modern architectures. We show that DSF-CNNs achieve state-of-the-art performance, with significantly fewer parameters, when applied to three different tasks in the area of computational pathology: breast tumour classification, colon gland segmentation and multi-tissue nuclear segmentation.


title: The obnoxious facilities planar p-median problem

abstract: In this paper we propose the planar obnoxious p-median problem. In the p-median problem the objective is to find p locations for facilities that minimize the weighted sum of distances between demand points and their closest facility. In the obnoxious version we add constraints that each facility must be located at least a certain distance from a partial set of demand points because they generate nuisance affecting these demand points. The resulting problem is extremely non-convex and traditional non-linear solvers such as SNOPT are not efficient. An efficient solution method based on Voronoi diagrams is proposed and tested. We also constructed the efficient frontiers of the test problems to assist the planers in making location decisions.


title: High-Energy Phase Diagrams with Charge and Isospin Axes under Heavy-Ion Collision and Stellar Conditions

abstract: We investigate the phase transition from hadron to quark matter in the general case without the assumption of chemical equilibrium. The effects of net strangeness on charge and isospin fractions, chemical potentials, and temperature are studied in the context of the Chiral Mean Field (CMF) model that incorporates chiral symmetry restoration and deconfinement. The extent to which these quantities are probed during deconfinement in conditions expected to exist in protoneutron stars, binary neutron-star mergers, and heavy-ion collisions is analyzed via the construction of 3-dimensional phase diagrams.


title: Deep Neural Network Learning with Second-Order Optimizers -- a Practical Study with a Stochastic Quasi-Gauss-Newton Method

abstract: Training in supervised deep learning is computationally demanding, and the convergence behavior is usually not fully understood. We introduce and study a second-order stochastic quasi-Gauss-Newton (SQGN) optimization method that combines ideas from stochastic quasi-Newton methods, Gauss-Newton methods, and variance reduction to address this problem. SQGN provides excellent accuracy without the need for experimenting with many hyper-parameter configurations, which is often computationally prohibitive given the number of combinations and the cost of each training process. We discuss the implementation of SQGN with TensorFlow, and we compare its convergence and computational performance to selected first-order methods using the MNIST benchmark and a large-scale seismic tomography application from Earth science.


title: Control of Unknown Nonlinear Systems with Linear Time-Varying MPC

abstract: We present a Model Predictive Control (MPC) strategy for unknown input-affine nonlinear dynamical systems. A non-parametric method is used to estimate the nonlinear dynamics from observed data. The estimated nonlinear dynamics are then linearized over time varying regions of the state space to construct an Affine Time Varying (ATV) model. Error bounds arising from the estimation and linearization procedure are computed by using sampling techniques. The ATV model and the uncertainty sets are used to design a robust Model Predictive Control (MPC) problem which guarantees safety for the unknown system with high probability. A simple nonlinear example demonstrates the effectiveness of the approach where commonly used linearization methods fail.


title: COVID-MobileXpert: On-Device COVID-19 Patient Triage and Follow-up using Chest X-rays

abstract: During the COVID-19 pandemic, there has been an emerging need for rapid, dedicated, and point-of-care COVID-19 patient disposition techniques to optimize resource utilization and clinical workflow. In view of this need, we present COVID-MobileXpert: a lightweight deep neural network (DNN) based mobile app that can use chest X-ray (CXR) for COVID-19 case screening and radiological trajectory prediction. We design and implement a novel three-player knowledge transfer and distillation (KTD) framework including a pre-trained attending physician (AP) network that extracts CXR imaging features from a large scale of lung disease CXR images, a fine-tuned resident fellow (RF) network that learns the essential CXR imaging features to discriminate COVID-19 from pneumonia and/or normal cases with a small amount of COVID-19 cases, and a trained lightweight medical student (MS) network to perform on-device COVID-19 patient triage and follow-up. To tackle the challenge of vastly similar and dominant fore- and background in medical images, we employ novel loss functions and training schemes for the MS network to learn the robust features. We demonstrate the significant potential of COVID-MobileXpert for rapid deployment via extensive experiments with diverse MS architecture and tuning parameter settings. The source codes for cloud and mobile based models are available from the following url: https://github.com/xinli0928/COVID-Xray.


title: Viable Constraint on Scalar Field in Scalar-Tensor Theory

abstract: The scalar-tensor theory can be formulated in both Jordan and Einstein frames, which are conformally related together with a redefinition of the scalar field. As the solution to the equation of the scalar field in the Jordan frame does not have the one-to-one correspondence with that in the Einstein frame, we give a criterion along with some specific models to check if the scalar field in the Einstein frame is viable or not by confirming whether this field is reversible back to the Jordan frame. We further show that the criterion in the first parameterized post-Newtonian approximation can be determined by the parameters of the osculating approximation of the coupling function in the Einstein frame and can be treated as a viable constraint on any numerical study in the scalar-tensor scenario. We also demonstrate that the Brans-Dicke theory with an infinite constant parameter $\omega_{\text{BD}}$ is a counterexample of the equivalence between two conformal frames due to the violation of the viable constraint.


title: When, Where, and What? A New Dataset for Anomaly Detection in Driving Videos

abstract: Video anomaly detection (VAD) has been extensively studied. However, research on egocentric traffic videos with dynamic scenes lacks large-scale benchmark datasets as well as effective evaluation metrics. This paper proposes traffic anomaly detection with a \textit{when-where-what} pipeline to detect, localize, and recognize anomalous events from egocentric videos. We introduce a new dataset called Detection of Traffic Anomaly (DoTA) containing 4,677 videos with temporal, spatial, and categorical annotations. A new spatial-temporal area under curve (STAUC) evaluation metric is proposed and used with DoTA. State-of-the-art methods are benchmarked for two VAD-related tasks.Experimental results show STAUC is an effective VAD metric. To our knowledge, DoTA is the largest traffic anomaly dataset to-date and is the first supporting traffic anomaly studies across when-where-what perspectives. Our code and dataset can be found in: https://github.com/MoonBlvd/Detection-of-Traffic-Anomaly


title: Adversarial Validation Approach to Concept Drift Problem in User Targeting Automation Systems at Uber

abstract: In user targeting automation systems, concept drift in input data is one of the main challenges. It deteriorates model performance on new data over time. Previous research on concept drift mostly proposed model retraining after observing performance decreases. However, this approach is suboptimal because the system fixes the problem only after suffering from poor performance on new data. Here, we introduce an adversarial validation approach to concept drift problems in user targeting automation systems. With our approach, the system detects concept drift in new data before making inference, trains a model, and produces predictions adapted to the new data. We show that our approach addresses concept drift effectively with the AutoML3 Lifelong Machine Learning challenge data as well as in Uber's internal user targeting automation system, MaLTA.


title: Manifold-driven Attention Maps for Weakly Supervised Segmentation

abstract: Segmentation using deep learning has shown promising directions in medical imaging as it aids in the analysis and diagnosis of diseases. Nevertheless, a main drawback of deep models is that they require a large amount of pixel-level labels, which are laborious and expensive to obtain. To mitigate this problem, weakly supervised learning has emerged as an efficient alternative, which employs image-level labels, scribbles, points, or bounding boxes as supervision. Among these, image-level labels are easier to obtain. However, since this type of annotation only contains object category information, the segmentation task under this learning paradigm is a challenging problem. To address this issue, visual salient regions derived from trained classification networks are typically used. Despite their success to identify important regions on classification tasks, these saliency regions only focus on the most discriminant areas of an image, limiting their use in semantic segmentation. In this work, we propose a manifold driven attention-based network to enhance visual salient regions, thereby improving segmentation accuracy in a weakly supervised setting. Our method generates superior attention maps directly during inference without the need of extra computations. We evaluate the benefits of our approach in the task of segmentation using a public benchmark on skin lesion images. Results demonstrate that our method outperforms the state-of-the-art GradCAM by a margin of ~22% in terms of Dice score.


title: Probabilistic modelling of gait for robust passive monitoring in daily life

abstract: Passive monitoring in daily life may provide invaluable insights about a person's health throughout the day. Wearable sensor devices are likely to play a key role in enabling such monitoring in a non-obtrusive fashion. However, sensor data collected in daily life reflects multiple health and behavior related factors together. This creates the need for structured principled analysis to produce reliable and interpretable predictions that can be used to support clinical diagnosis and treatment. In this work we develop a principled modelling approach for free-living gait (walking) analysis. Gait is a promising target for non-obtrusive monitoring because it is common and indicative of various movement disorders such as Parkinson's disease (PD), yet its analysis has largely been limited to experimentally controlled lab settings. To locate and characterize stationary gait segments in free living using accelerometers, we present an unsupervised statistical framework designed to segment signals into differing gait and non-gait patterns. Our flexible probabilistic framework combines empirical assumptions about gait into a principled graphical model with all of its merits. We demonstrate the approach on a new video-referenced dataset including unscripted daily living activities of 25 PD patients and 25 controls, in and around their own houses. We evaluate our ability to detect gait and predict medication induced fluctuations in PD patients based on modelled gait. Our evaluation includes a comparison between sensors attached at multiple body locations including wrist, ankle, trouser pocket and lower back.


title: Depth Sensing Beyond LiDAR Range

abstract: Depth sensing is a critical component of autonomous driving technologies, but today's LiDAR- or stereo camera-based solutions have limited range. We seek to increase the maximum range of self-driving vehicles' depth perception modules for the sake of better safety. To that end, we propose a novel three-camera system that utilizes small field of view cameras. Our system, along with our novel algorithm for computing metric depth, does not require full pre-calibration and can output dense depth maps with practically acceptable accuracy for scenes and objects at long distances not well covered by most commercial LiDARs.


title: Good stackings, bislim structures, and invariant staggerings

abstract: Two seemingly different properties of 2-complexes were developed concurrently as criteria for the nonpositive immersion property: 'good stackings' and 'bislim structures'. We establish an equivalence between these properties by introducing a third property 'invariant staggerings' mediating between them.


title: The Impact of Message Passing in Agent-Based Submodular Maximization

abstract: This paper considers a set of sensors, which as a group are tasked with taking measurements of the environment and sending a small subset of the measurements to a centralized data fusion center, where the measurements will be used to estimate the overall state of the environment. The sensors' goal is to send the most informative set of measurements so that the estimate is as accurate as possible. This problem is formulated as a submodular maximization problem, for which there exists a well-studied greedy algorithm, where each sensor sequentially chooses a set of measurements from its own local set, and communicates its decision to the future sensors in the sequence. In this work, sensors can additionally share measurements with one another, in order to augment the decision set of each sensor. We explore how this increase in communication can be exploited to improve the results of the nominal greedy algorithm. Specifically, we show that this measurement passing can improve the quality of the resulting measurement set by up to a factor of $n+1$, where $n$ is the number of sensors.


title: Probing Compactified Extra Dimensions with Gravitational Waves

abstract: We study the effect of compact extra dimensions on the gravitational wave luminosity and waveform. We consider a toy model, with a compactified fifth dimension, and matter confined on a brane. We work in the context of five dimensional ($5d$) general relativity, though we do make connections with the corresponding Kaluza-Klein effective $4d$ theory. We show that the luminosity of gravitational waves emitted in $5d$ gravity by a binary with the same characteristics (same masses and separation distance) as a $4d$ binary is 20.8\% less relative to the $4d$ case, to leading post-Newtonian order. The phase of the gravitational waveform differs by 26\% relative to the $4d$ case, to leading post-Newtonian order. Such a correction arises mainly due to the coupling between matter and dilaton field in the effective $4d$ picture and agrees with previous calculations when we set black holes' scalar charges to be those computed from the Kaluza-Klein reduction. The above corrections to the waveform and the luminosity are inconsistent with the gravitational-wave and binary pulsar observations and thus they effectively rule out the possibility of such a simple compactified higher dimensions scenario. We also comment on how our results change if there are several compactified extra dimensions, and show that the discrepancy with $4d$ general relativity only increases.


title: An Interactive Gravitational-Wave Detector Model for Museums and Fairs

abstract: In 2015 the first observation of gravitational waves marked a breakthrough in astrophysics, and in technological research and development. The discovery of a gravitational-wave signal from the collision of two black holes, a billion light-years away, received considerable interest from the media and public. We describe the development of a purpose-built exhibit explaining this new area of research to a general audience. The core element of the exhibit is a working Michelson interferometer: a scaled-down version of the key technology used in gravitational-wave detectors. The Michelson interferometer is integrated into a hands-on exhibit, which allows for user interaction and simulated gravitational-wave observations. An interactive display provides a self-guided explanation of gravitational-wave-related topics through video, animation, images and text. We detail the hardware and software used to create the exhibit and discuss two installation variants: an independent learning experience in a museum setting (the Thinktank Birmingham Science Museum), and a science-festival with the presence of expert guides (the 2017 Royal Society Summer Science Exhibition). We assess audience reception in these two settings, describe the improvements we have made given this information, and discuss future public-engagement projects resulting from this work. The exhibit is found to be effective in communicating the new and unfamiliar field of gravitational-wave research to general audiences. An accompanying website provides parts lists and information for others to build their own version of this exhibit.


title: Scenario-Transferable Semantic Graph Reasoning for Interaction-Aware Probabilistic Prediction

abstract: Accurately predicting the possible behaviors of traffic participants is an essential capability for autonomous vehicles. Since autonomous vehicles need to navigate in dynamically changing environments, they are expected to make accurate predictions regardless of where they are and what driving circumstances they encountered. Several methodologies have been proposed to solve prediction problems under different traffic situations. These works usually combine agent trajectories with either color-coded or vectorized high definition (HD) map as input representations and encode this information for behavior prediction tasks. However, not all the information is relevant in the scene for the forecasting and such irrelevant information may be even distracting to the forecasting in certain situations. Therefore, in this paper, we propose a novel generic representation for various driving environments by taking the advantage of semantics and domain knowledge. Using semantics enables situations to be modeled in a uniform way and applying domain knowledge filters out unrelated elements to target vehicle's future behaviors. We then propose a general semantic behavior prediction framework to effectively utilize these representations by formulating them into spatial-temporal semantic graphs and reasoning internal relations among these graphs. We theoretically and empirically validate the proposed framework under highly interactive and complex scenarios, demonstrating that our method not only achieves state-of-the-art performance, but also processes desirable zero-shot transferability.


title: LUDA: Boost LSM Key Value Store Compactions with GPUs

abstract: Log-Structured-Merge (LSM) tree-based key value stores are facing critical challenges of fully leveraging the dramatic performance improvements of the underlying storage devices, which makes the compaction operations of LSM key value stores become CPU-bound, and slow compactions significantly degrade key value store performance. To address this issue, we propose LUDA, an LSM key value store with CUDA, which uses a GPU to accelerate compaction operations of LSM key value stores. How to efficiently parallelize compaction procedures as well as accommodate the optimal performance contract of the GPU architecture challenge LUDA. Specifically, LUDA overcomes these challenges by exploiting the data independence between compaction procedures and using cooperative sort mechanism and judicious data movements. Running on a commodity GPU under different levels of CPU overhead, evaluation results show that LUDA provides up to 2x higher throughput and 2x data processing speed, and achieves more stable 99th percentile latencies than LevelDB and RocksDB.


title: The geographic spread of COVID-19 correlates with the structure of social networks as measured by Facebook

abstract: We use aggregated data from Facebook to show that COVID-19 is more likely to spread between regions with stronger social network connections. Areas with more social ties to two early COVID-19 "hotspots" (Westchester County, NY, in the U.S. and Lodi province in Italy) generally had more confirmed COVID-19 cases by the end of March. These relationships hold after controlling for geographic distance to the hotspots as well as the population density and demographics of the regions. As the pandemic progressed in the U.S., a county's social proximity to recent COVID-19 cases and deaths predicts future outbreaks over and above physical proximity and demographics. In part due to its broad coverage, social connectedness data provides additional predictive power to measures based on smartphone location or online search data. These results suggest that data from online social networks can be useful to epidemiologists and others hoping to forecast the spread of communicable diseases such as COVID-19.


title: Truly Intelligent Reflecting Surface-Aided Secure Communication Using Deep Learning

abstract: This paper considers machine learning for physical layer security design for communication in a challenging wireless environment. The radio environment is assumed to be programmable with the aid of a meta material-based intelligent reflecting surface (IRS) allowing customisable path loss, multi-path fading and interference effects. In particular, the fine-grained reflections from the IRS elements are exploited to create channel advantage for maximizing the secrecy rate at a legitimate receiver. A deep learning (DL) technique has been developed to tune the reflections of the IRS elements in real-time. Simulation results demonstrate that the DL approach yields comparable performance to the conventional approaches while significantly reducing the computational complexity.


title: Interface-driven giant tunnel magnetoresistance in (111)-oriented junctions

abstract: We theoretically study the tunnel magnetoresistance (TMR) effect in (111)-oriented junctions Co/MgO/Co(111) and Ni/MgO/Ni(111). The Co-based junction is shown to have a TMR ratio over 2000$\%$, which is one order higher than that of the Ni-based one. The high TMR ratio is attributed to the interfacial resonance effect: The interfacial $d$-$p$ antibonding states are formed close to the Fermi level in the majority-spin channel and these states in both interfaces resonate with each other. This differs essentially from the conventional coherent tunneling mechanism of high TMR ratios in Fe(Co)/MgO/Fe(Co)(001).


title: On the Number of Factorizations of Polynomials over Finite Fields

abstract: Motivated by coding applications,two enumeration problems are considered: the number of distinct divisors of a degree-m polynomial over F = GF(q), and the number of ways a polynomial can be written as a product of two polynomials of degree at most n over F. For the two problems, bounds are obtained on the maximum number of factorizations, and a characterization is presented for polynomials attaining that maximum. Finally, expressions are presented for the average and the variance of the number of factorizations, for any given m (respectively, n).


title: Time-evolving controllability of effective connectivity networks during seizure progression

abstract: Over one third of the estimated 3 million people with epilepsy in the US are medication resistant. Responsive neurostimulation from chronically implanted electrodes provides a promising treatment option and alternative to resective surgery. However, determining personalized optimal stimulation parameters, including when and where to intervene to guarantee a positive patient outcome, is a major open challenge. Network neuroscience and control theory offer useful tools that may guide improvements in parameter selection for control of anomalous neural activity. Here we use a novel method to characterize dynamic controllability across consecutive effective connectivity (EC) networks based on regularized partial correlations between implanted electrodes during the onset, propagation, and termination phases of thirty-four seizures. We estimate regularized partial correlation adjacency matrices from one-second time windows of intracranial electrocorticography recordings using the Graphical Least Absolute Shrinkage and Selection Operator (GLASSO). Average and modal controllability metrics calculated from each resulting EC network track the time-varying controllability of the brain on an evolving landscape of conditionally dependent network interactions. We show that average controllability increases throughout a seizure and is negatively correlated with modal controllability throughout. Furthermore, our results support the hypothesis that the energy required to drive the brain to a seizure-free state from an ictal state is smallest during seizure onset; yet, we find that applying control energy at electrodes in the seizure onset zone may not always be energetically favorable. Our work suggests that a low-complexity model of time-evolving controllability may offer new insights for developing and improving control strategies targeting seizure suppression.


title: Independent sets in the middle two layers of Boolean lattice

abstract: For an odd integer $n=2d-1$, let $\mathcal{B}(n, d)$ be the subgraph of the hypercube $Q_n$ induced by the two largest layers. In this paper, we describe the typical structure of independent sets in $\mathcal{B}(n, d)$ and give precise asymptotics on the number of them. The proofs use Sapozhenko's graph container method and a recently developed method of Jenssen and Perkins, which combines Sapozhenko's graph container lemma with the cluster expansion for polymer models from statistical physics.


title: Information-Theoretic Probing for Linguistic Structure

abstract: The success of neural networks on a diverse set of NLP tasks has led researchers to question how much these networks actually ``know'' about natural language. Probes are a natural way of assessing this. When probing, a researcher chooses a linguistic task and trains a supervised model to predict annotations in that linguistic task from the network's learned representations. If the probe does well, the researcher may conclude that the representations encode knowledge related to the task. A commonly held belief is that using simpler models as probes is better; the logic is that simpler models will identify linguistic structure, but not learn the task itself. We propose an information-theoretic operationalization of probing as estimating mutual information that contradicts this received wisdom: one should always select the highest performing probe one can, even if it is more complex, since it will result in a tighter estimate, and thus reveal more of the linguistic information inherent in the representation. The experimental portion of our paper focuses on empirically estimating the mutual information between a linguistic property and BERT, comparing these estimates to several baselines. We evaluate on a set of ten typologically diverse languages often underrepresented in NLP research---plus English---totalling eleven languages.


title: Indiscernible Subspaces and Minimal Wide Types

abstract: We develop the machinery of indiscernible subspaces in continuous theories of expansions of Banach spaces, showing that any such theory has an indiscernible subspace and therefore an indiscernible set. We extend a result of Shelah and Usvyatsov by showing that a sequence of realizations of a (possibly unstable) minimal wide type $p$ is a Morley sequence in $p$ if and only if it is the orthonormal basis of an indiscernible subspace in $p$. We also give an example showing that minimal wide types do not generally have type-definable indiscernible subspaces (answering a question of Shelah and Usvyatsov), as well as an example showing that our result fails for non-minimal wide types, even in $\omega$-stable theories.


title: A convex cover for closed unit curves has area at least 0.1

abstract: We improve a lower bound for the smallest area of convex covers for closed unit curves from 0.0975 to 0.1, which makes it substantially closer to the current best upper bound 0.11023. We did this by considering the minimal area of convex hull of circle, line of length 1/2, and rectangle with side 0.1727 x 0.3273. By using geometric methods and the Box search algorithm, we proved that this area is at least 0.1. We give informal numerical evidence that the obtained lower bound is close to the limit of current techniques, and substantially new idea is required to go significantly beyond 0.10044.


title: Coarse-to-Fine Gaze Redirection with Numerical and Pictorial Guidance

abstract: Gaze redirection aims at manipulating the gaze of a given face image with respect to a desired direction (i.e., a reference angle) and it can be applied to many real life scenarios, such as video-conferencing or taking group photos. However, previous work on this topic mainly suffers of two limitations: (1) Low-quality image generation and (2) Low redirection precision. In this paper, we propose to alleviate these problems by means of a novel gaze redirection framework which exploits both a numerical and a pictorial direction guidance, jointly with a coarse-to-fine learning strategy. Specifically, the coarse branch learns the spatial transformation which warps input image according to desired gaze. On the other hand, the fine-grained branch consists of a generator network with conditional residual image learning and a multi-task discriminator. This second branch reduces the gap between the previously warped image and the ground-truth image and recovers finer texture details. Moreover, we propose a numerical and pictorial guidance module~(NPG) which uses a pictorial gazemap description and numerical angles as an extra guide to further improve the precision of gaze redirection. Extensive experiments on a benchmark dataset show that the proposed method outperforms the state-of-the-art approaches in terms of both image quality and redirection precision. The code is available at https://github.com/jingjingchen777/CFGR


title: Observations of Binary Stars with the Differential Speckle Survey Instrument. IX. Observations of Known and Suspected Binaries, and a Partial Survey of Be Stars

abstract: We report 370 measures of 170 components of binary and multiple star systems, obtained from speckle imaging observations made with the Differential Speckle Survey Instrument at Lowell Observatory's Discovery Channel Telescope in 2015 through 2017. Of the systems studied, 147 are binary stars, 10 are seen as triple systems, and 1 quadruple system is measured. Seventy-six high-quality non-detections and fifteen newly resolved components are presented in our observations. The uncertainty in relative astrometry appears to be similar to our previous work at Lowell, namely linear measurement uncertainties of approximately 2 mas, and the relative photometry appears to be uncertain at the 0.1 to 0.15 magnitude level. Using these measures and those in the literature, we calculate six new visual orbits, including one for the Be star 66 Oph, and two combined spectroscopic-visual orbits. The latter two orbits, which are for HD 22451 (YSC 127) and HD 185501 (YSC 135), yield individual masses of the components at the level of 2 percent or better, and independent distance measures that in one case agrees with the value found in the Gaia DR2, and in the other disagrees at the 2-$\sigma$ level. We find that HD 22451 consists of an F6V+F7V pair with orbital period of $2401.1 \pm 3.2$ days and masses of $1.342 \pm 0.029$ and $1.236 \pm 0.026$ $ M_{\odot}$. For HD 185501, both stars are G5 dwarfs that orbit one another with a period of $433.94 \pm 0.15$ days, and the masses are $0.898 \pm 0.012$ and $0.876 \pm 0.012$ $ M_{\odot}$. We discuss the details of both the new discoveries and the orbit objects.


title: Are Natural Language Inference Models IMPPRESsive? Learning IMPlicature and PRESupposition

abstract: Natural language inference (NLI) is an increasingly important task for natural language understanding, which requires one to infer whether a sentence entails another. However, the ability of NLI models to make pragmatic inferences remains understudied. We create an IMPlicature and PRESupposition diagnostic dataset (IMPPRES), consisting of >25k semiautomatically generated sentence pairs illustrating well-studied pragmatic inference types. We use IMPPRES to evaluate whether BERT, InferSent, and BOW NLI models trained on MultiNLI (Williams et al., 2018) learn to make pragmatic inferences. Although MultiNLI appears to contain very few pairs illustrating these inference types, we find that BERT learns to draw pragmatic inferences. It reliably treats scalar implicatures triggered by "some" as entailments. For some presupposition triggers like "only", BERT reliably recognizes the presupposition as an entailment, even when the trigger is embedded under an entailment canceling operator like negation. BOW and InferSent show weaker evidence of pragmatic reasoning. We conclude that NLI training encourages models to learn some, but not all, pragmatic inferences.


title: Nanomechanical topological insulators with an auxiliary orbital degree of freedom

abstract: Discrete degrees of freedom, such as spin and orbital, can provide intriguing strategies to manipulate electrons, photons, and phonons. With a spin degree of freedom, topological insulators have stimulated intense interests in condensed-matter physics, optics, acoustics, and mechanics. However, orbital as another fundamental attribute in crystals has seldom been investigated in topological insulators. Here, we invent a new type of topological insulators with an auxiliary orbital degree of freedom on a nanomechanical platform. We experimentally realized nanomechanical topological insulators where the orbital can arbitrarily be manipulated by the crystal. Harnessing this unique feature, we demonstrated adiabatic transition between distinct topological edge states, which is a crucial functionality for complicated systems that involve distinct topological edge channels. Beyond the one-dimensional edge states, we further constructed zero-dimensional Dirac-vortex states. Our results have unveiled unprecedented strategies to manipulate topological phase transitions and to study topological phases of matter on an integrated platform.


title: Large-scalable fabrication of improved Bi-Te-based flexible thermoelectric modules using a semiconductor manufacturing process

abstract: Among the several flexible thermoelectric modules in existence, sintered Bi-Te-based modules represent a viable option because of their high output power density and flexibility, which enables the use of arbitrary heat sources. We have fabricated Bi-Te-based modules with a large-scalable fabrication process and improved their output performance. The reduction in the interconnection resistance, using thick electrodes of the flexible printed circuit, significantly improves the module's output power to 87 mW/cm$^{2}$ at $\Delta T$ = 70 K, which is 1.3-fold higher than a previous prototype module. Furthermore, the establishment of the fabrication for the top electrodes by using the surface mount technology makes it possible to realize a high-throughput manufacturing of the module. Our durability tests reveal that there is no significant change in the internal resistance of the module during 10000 cycles of mechanical bending test and 1000 cycles of thermal stress test.


title: Nonparametric Estimation of Uncertainty Sets for Robust Optimization

abstract: We investigate a data-driven approach to constructing uncertainty sets for robust optimization problems, where the uncertain problem parameters are modeled as random variables whose joint probability distribution is not known. Relying only on independent samples drawn from this distribution, we provide a nonparametric method to estimate uncertainty sets whose probability mass is guaranteed to approximate a given target mass within a given tolerance with high confidence. The nonparametric estimators that we consider are also shown to obey distribution-free finite-sample performance bounds that imply their convergence in probability to the given target mass. In addition to being efficient to compute, the proposed estimators result in uncertainty sets that yield computationally tractable robust optimization problems for a large family of constraint functions.


title: Inferential Text Generation with Multiple Knowledge Sources and Meta-Learning

abstract: We study the problem of generating inferential texts of events for a variety of commonsense like \textit{if-else} relations. Existing approaches typically use limited evidence from training examples and learn for each relation individually. In this work, we use multiple knowledge sources as fuels for the model. Existing commonsense knowledge bases like ConceptNet are dominated by taxonomic knowledge (e.g., \textit{isA} and \textit{relatedTo} relations), having a limited number of inferential knowledge. We use not only structured commonsense knowledge bases, but also natural language snippets from search-engine results. These sources are incorporated into a generative base model via key-value memory network. In addition, we introduce a meta-learning based multi-task learning algorithm. For each targeted commonsense relation, we regard the learning of examples from other relations as the meta-training process, and the evaluation on examples from the targeted relation as the meta-test process. We conduct experiments on Event2Mind and ATOMIC datasets. Results show that both the integration of multiple knowledge sources and the use of the meta-learning algorithm improve the performance.


title: Equation of state and strength of diamond in high pressure ramp loading

abstract: Diamond is used extensively as a component in high energy density experiments, but existing equation of state (EOS) models do not capture its observed response to dynamic loading. In particular, in contrast with first principles theoretical EOS models, no solid-solid phase changes have been detected, and no general-purpose EOS models match the measured ambient isotherm. We have performed density functional theory (DFT) calculations of the diamond phase to ~10TPa, well beyond its predicted range of thermodynamic stability, and used these results as the basis of a Mie-Greuneisen EOS. We also performed DFT calculations of the elastic moduli, and calibrated an algebraic elasticity model for use in simulations. We then estimated the flow stress of diamond by comparison with the stress-density relation measured experimentally in ramp-loading experiments. The resulting constitutive model allows us to place a constraint on the Taylor-Quinney factor (the fraction of plastic work converted to heat) from the observation that diamond does not melt on ramp compression.


title: Characterizing and Modeling Distributed Training with Transient Cloud GPU Servers

abstract: Cloud GPU servers have become the de facto way for deep learning practitioners to train complex models on large-scale datasets. However, it is challenging to determine the appropriate cluster configuration---e.g., server type and number---for different training workloads while balancing the trade-offs in training time, cost, and model accuracy. Adding to the complexity is the potential to reduce the monetary cost by using cheaper, but revocable, transient GPU servers. In this work, we analyze distributed training performance under diverse cluster configurations using CM-DARE, a cloud-based measurement and training framework. Our empirical datasets include measurements from three GPU types, six geographic regions, twenty convolutional neural networks, and thousands of Google Cloud servers. We also demonstrate the feasibility of predicting training speed and overhead using regression-based models. Finally, we discuss potential use cases of our performance modeling such as detecting and mitigating performance bottlenecks.


title: Accurate Emulation of Memristive Crossbar Arrays for In-Memory Computing

abstract: In-memory computing is an emerging non-von Neumann computing paradigm where certain computational tasks are performed in memory by exploiting the physical attributes of the memory devices. Memristive devices such as phase-change memory (PCM), where information is stored in terms of their conductance levels, are especially well suited for in-memory computing. In particular, memristive devices, when organized in a crossbar configuration can be used to perform matrix-vector multiply operations by exploiting Kirchhoff's circuit laws. To explore the feasibility of such in-memory computing cores in applications such as deep learning as well as for system-level architectural exploration, it is highly desirable to develop an accurate hardware emulator that captures the key physical attributes of the memristive devices. Here, we present one such emulator for PCM and experimentally validate it using measurements from a PCM prototype chip. Moreover, we present an application of the emulator for neural network inference where our emulator can capture the conductance evolution of approximately 400,000 PCM devices remarkably well.


title: A Method for Curation of Web-Scraped Face Image Datasets

abstract: Web-scraped, in-the-wild datasets have become the norm in face recognition research. The numbers of subjects and images acquired in web-scraped datasets are usually very large, with number of images on the millions scale. A variety of issues occur when collecting a dataset in-the-wild, including images with the wrong identity label, duplicate images, duplicate subjects and variation in quality. With the number of images being in the millions, a manual cleaning procedure is not feasible. But fully automated methods used to date result in a less-than-ideal level of clean dataset. We propose a semi-automated method, where the goal is to have a clean dataset for testing face recognition methods, with similar quality across men and women, to support comparison of accuracy across gender. Our approach removes near-duplicate images, merges duplicate subjects, corrects mislabeled images, and removes images outside a defined range of pose and quality. We conduct the curation on the Asian Face Dataset (AFD) and VGGFace2 test dataset. The experiments show that a state-of-the-art method achieves a much higher accuracy on the datasets after they are curated. Finally, we release our cleaned versions of both datasets to the research community.


title: Statistical determinism in non-Lipschitz dynamical systems

abstract: We study a class of ordinary differential equations with a non-Lipschitz point singularity, which admit non-unique solutions through this point. As a selection criterion, we introduce stochastic regularizations depending on the parameter $\nu$: the regularized dynamics is globally defined for each $\nu > 0$, and the original singular system is recovered in the limit of vanishing $\nu$. We prove that this limit yields a unique statistical solution independent of regularization, when the deterministic system possesses certain chaotic properties. In this case, solutions become spontaneously stochastic after passing through the singularity: they are selected randomly with an intrinsic probability distribution.


title: Estimation of Stability Regions of Droop Control Slopes for MMC-based MTDC Systems

abstract: This paper proposes a computational method to efficiently and quickly estimate stability regions of droop control slopes for modular multilevel converter (MMC)-based multiterminal dc (MTDC) systems. The proposed method is based on a general small-signal model consisting of a dc grid with arbitrary topology and MMCs with dq controllers. The general small-signal model developed by a systematic way can be used for small-disturbance stability analysis. To verify the developed small-signal model, a comparison between the developed model calculated in MATLAB and the detailed switching model simulated in PSCAD/EMTDC is conducted, which demonstrates the accuracy of the developed small-signal model. Based on the eigenvalues sensitivity and the Taylor Series of eigenvalues, a set of inequality constraints are derived and used to efficiently estimate the stability regions of all coupled slopes of the droop characteristics. It is helpful for efficiently designing and adjusting the droop controller parameters for the MMC-MTDC systems. The effectiveness of the proposed method is demonstrated by the several examinations including the supremum test and the stability region sketch on accuracy and feasibility.


title: Model Independent Extraction of the Proton Charge Radius from PRad data

abstract: The proton radius puzzle has motivated several new experiments that aim to extract the proton charge radius and resolve the puzzle. Recently PRad, a new electron-proton scattering experiment at Jefferson Lab, reported a proton charge radius of $0.831\pm 0.007_\textnormal{statistical}\pm 0.012_\textnormal{systematic}$. The value was obtained by using a rational function model for the proton electric form factor. We perform a model-independent extraction using $z$-expansion of the proton charge radius from PRad data. We find that the model-independent statistical error is more than 50\% larger compared to the statistical error reported by PRad.


title: Resource speed limits: Maximal rate of resource variation

abstract: Recent advances in quantum resource theories have been driven by the fact that many quantum information protocols make use of different facets of the same physical features, e.g. entanglement, coherence, etc. Resource theories formalise the role of these important physical features in a given protocol. One question that remains open until now is: How quickly can a resource be generated or degraded? Using the toolkit of quantum speed limits we construct bounds on the minimum time required for a given resource to change by a fixed increment, which might be thought of as the power of said resource, i.e., rate of resource variation. We show that the derived bounds are tight by considering several examples. Finally, we discuss some applications of our results, which include bounds on thermodynamic power, generalised resource power, and estimating the coupling strength with the environment.


title: Methods for Accelerating Geospatial Data Processing Using Quantum Computers

abstract: Quantum computing is a transformative technology with the potential to enhance operations in the space industry through the acceleration of optimization and machine learning processes. Machine learning processes enable automated image classification in geospatial data. New quantum algorithms provide novel approaches for solving these problems and a potential future advantage over current, classical techniques. Universal Quantum Computers, currently under development by Rigetti Computing and other providers, enable fully general quantum algorithms to be executed, with theoretically proven speed-up over classical algorithms in certain cases. This paper describes an approach to satellite image classification using a universal quantum enhancement to convolutional neural networks: the quanvolutional neural network. Using a refined method, we found a performance improvement over previous quantum efforts in this domain and identified potential refinements that could lead to an eventual quantum advantage. We benchmark these networks using the SAT-4 satellite imagery data set in order to demonstrate the utility of machine learning techniques in the space industry and the potential advantages that quantum machine learning can offer.


title: End-to-End Pseudo-LiDAR for Image-Based 3D Object Detection

abstract: Reliable and accurate 3D object detection is a necessity for safe autonomous driving. Although LiDAR sensors can provide accurate 3D point cloud estimates of the environment, they are also prohibitively expensive for many settings. Recently, the introduction of pseudo-LiDAR (PL) has led to a drastic reduction in the accuracy gap between methods based on LiDAR sensors and those based on cheap stereo cameras. PL combines state-of-the-art deep neural networks for 3D depth estimation with those for 3D object detection by converting 2D depth map outputs to 3D point cloud inputs. However, so far these two networks have to be trained separately. In this paper, we introduce a new framework based on differentiable Change of Representation (CoR) modules that allow the entire PL pipeline to be trained end-to-end. The resulting framework is compatible with most state-of-the-art networks for both tasks and in combination with PointRCNN improves over PL consistently across all benchmarks -- yielding the highest entry on the KITTI image-based 3D object detection leaderboard at the time of submission. Our code will be made available at https://github.com/mileyan/pseudo-LiDAR_e2e.


title: Nuclear modification factor in Pb-Pb and p-Pb collisions using Boltzmann transport equation

abstract: We investigate the nuclear modification factor ($R_{AA}$) of identified particles as a function of transverse momentum ($p_{\rm T}$) in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=$ 2.76 and 5.02 TeV, as well as p-Pb collision at 5.02 TeV in the framework of Boltzmann transport equation with relaxation time approximation. In this framework, the initial distribution of particles is chosen as the Tsallis distribution and the local equilibrium distribution as the Boltzmann-Gibbs blast-wave distribution. The non-extensive parameter $q_{pp}$, the Tsallis temperature $T_{pp}$ and the equilibrium temperature $T_{eq}$ are set to be in common for all particles, while the ratio of kinetic freeze-out time to relaxation time $t_{f}/\tau$ is different for different particles when we performed a combined fit to the $R_{AA}$ spectra of different particles at a given centrality. We observe that the fitted curves describe the spectra well up to $p_{\rm T}\approx$ 3 GeV/c. $q_{pp}$ and $T_{eq}$ ($t_{f}/\tau$) decrease (increases) with centrality nonlinearly, while $T_{pp}$ is almost independent of centrality. The dependence of the rate at which $q_{pp}$, $T_{eq}$ or $t_{f}/\tau$ changes with centrality on the energy and the size of the colliding system is discussed.


title: egg: Fast and Extensible Equality Saturation

abstract: An e-graph efficiently represents a congruence relation over many expressions. Although they were originally developed in the late 1970s for use in automated theorem provers, a more recent technique known as equality saturation repurposes e-graphs to implement state-of-the-art, rewrite-driven compiler optimizations and program synthesizers. However, e-graphs remain unspecialized for this newer use case. Equality saturation workloads exhibit distinct characteristics and often require ad-hoc e-graph extensions to incorporate transformations beyond purely syntactic rewrites. This work contributes two techniques that make e-graphs fast and extensible, specializing them to equality saturation. A new amortized invariant restoration technique called rebuilding takes advantage of equality saturation's distinct workload, providing asymptotic speedups over current techniques in practice. A general mechanism called e-class analyses integrates domain-specific analyses into the e-graph, reducing the need for ad hoc manipulation. We implemented these techniques in a new open-source library called egg. Our case studies on three previously published applications of equality saturation highlight how egg's performance and flexibility enable state-of-the-art results across diverse domains.


title: Direct loss minimization algorithms for sparse Gaussian processes

abstract: The paper provides a thorough investigation of Direct loss minimization (DLM), which optimizes the posterior to minimize predictive loss, in sparse Gaussian processes. For the conjugate case, we consider DLM for log-loss and DLM for square loss showing a significant performance improvement in both cases. The application of DLM in non-conjugate cases is more complex because the logarithm of expectation in the log-loss DLM objective is often intractable and simple sampling leads to biased estimates of gradients. The paper makes two technical contributions to address this. First, a new method using product sampling is proposed, which gives unbiased estimates of gradients (uPS) for the objective function. Second, a theoretical analysis of biased Monte Carlo estimates (bMC) shows that stochastic gradient descent converges despite the biased gradients. Experiments demonstrate empirical success of DLM. A comparison of the sampling methods shows that, while uPS is potentially more sample-efficient, bMC provides a better tradeoff in terms of convergence time and computational efficiency.


title: Categorifying non-commutative deformations

abstract: We define the functor $\textrm{ncDef}_{(Z_1,\ldots,Z_n)}$ of non-commutative deformations of an $n$-tuple of objects in an arbitrary $k$-linear abelian category $\mathcal{Z}$. In our categorified approach, we view the underlying spaces of infinitesimal flat deformations as Deligne finite categories, i.e. finite length abelian categories admitting projective generators, with $n$ isomorphism classes of simple objects. More generally, we define the functor $\textrm{ncDef}_{\zeta}$ of non-commutative deformations of an exact functor $\zeta \colon \mathcal{A} \to \mathcal{Z}$ of abelian categories. Here the role of an infinitesimal non-commutative thickening of $\mathcal{A}$ is played by an abelian category $\mathcal{B}$ containing $\mathcal{A}$ and such that $\mathcal{A}$ generates $\mathcal{B}$ by extensions. The functor $\textrm{ncDef}_{\zeta}$ assigns to such $\mathcal{B}$ the set of equivalence classes of exact functors $\mathcal{B} \to \mathcal{Z}$ which extend $\zeta$. We prove that an exact functor on an infinitesimal extension is fully faithful if and only if it is fully faithful on the first infinitesimal neighbourhood. We show that if $\zeta$ is fully faithful, then the functor $\textrm{ncDef}_{\zeta}$ is ind-represented by the extension closure of the essential image of $\zeta$. We prove that for a flopping contraction $f\colon X\to Y$ with the fiber over a closed point $C = \bigcup_{i=1}^n C_i$, where $C_i$'s are irreducible curves, $\{\mathcal{O}_{C_i}(-1)\}$ is the set of simple objects in the null-category for $f$. We conclude that the null-category ind-represents the functor $\textrm{ncDef}_{(\mathcal{O}_{C_1}(-1),\ldots,\mathcal{O}_{C_n}(-1))}$.


title: Adaptive Fuzzy Control for Fractional-Order Interconnected Systems with Unknown Control Directions

abstract: This paper concentrates on the study of the decentralized fuzzy control method for a class of fractional-order interconnected systems with unknown control directions. To overcome the difficulties caused by the multiple unknown control directions in fractional-order systems, a novel fractional-order Nussbaum function technique is proposed. This technique is much more general than those of existing works since it not only handles single/multiple unknown control directions but is also suitable for fractional/integer-order single/interconnected systems. Based on this technique, a new decentralized adaptive control method is proposed for fractional-order interconnected systems. Smooth functions are introduced to compensate for unknown interactions among subsystems adaptively. Furthermore, fuzzy logic systems are utilized to approximate unknown nonlinearities. It is proven that the designed controller can guarantee the boundedness of all signals in interconnected systems and the convergence of tracking errors. Two examples are given to show the validity of the proposed method.


title: A posteriori error estimates for a distributed optimal control problem of the stationary Navier-Stokes equations

abstract: In two and three dimensional Lipschitz, but not necessarily convex, polytopal domains, we propose and analyze a posteriori error estimators for an optimal control problem involving the stationary Navier--Stokes equations; control constraints are also considered. We devise two strategies of discretization: a semi discrete scheme where the control variable is not discretized -- the so-called variational discrezation approach -- and a fully discrete scheme where the control is discretized with piecewise quadratic functions. For each solution solution technique, we design an a posteriori error estimator that can be decomposed as the sum of contributions related to the discretization of the state and adjoint equations and, additionally, the discretization of the control variable for when the fully discrete scheme is considered. We prove that the devised error estimators are reliable and also explore local efficiency estimates. Numerical experiments reveal a competitive performance of adaptive loops based on the devised a posteriori error estimators.


title: Weighted $L^2$ Estimates for Elliptic Homogenization in Lipschitz Domains

abstract: We develop a new real-variable method for weighted $L^p$ estimates. The method is applied to the study of weighted $W^{1, 2}$ estimates in Lipschitz domains for weak solutions of second-order elliptic systems in divergence form with bounded measurable coefficients. It produces a necessary and sufficient condition, which depends on the weight function, for the weighted $W^{1,2}$ estimate to hold in a fixed Lipschitz domain with a given weight. Using this condition, for elliptic systems in Lipschitz domains with rapidly oscillating, periodic and VMO coefficients, we reduce the problem of weighted estimates to the case of constant coefficients.


title: Top quark pair production near threshold: single/double distributions and mass determination

abstract: We investigate top quark pair production near the threshold where the pair invariant mass $M_{t\bar{t}}$ approaches $2m_t$, which provides sensitive observables to extract the top quark mass $m_t$. Using the effective field theory methods, we derive a factorization and resummation formula for kinematic distributions in the threshold limit up to the next-to-leading power, which resums higher order Coulomb corrections to all orders in the strong coupling constant. Our formula is similar to those in the literature but differs in several important aspects. We apply our formula to the $M_{t\bar{t}}$ distribution, as well as to the double differential cross section with respect to $M_{t\bar{t}}$ and the rapidity of the $t\bar{t}$ pair. We find that the resummation effects significantly increase the cross sections near the threshold, and lead to predictions better compatible with experimental data than the fixed-order ones. We demonstrate that incorporating resummation effects in the top quark mass determination can shift the extracted value of $m_t$ by as large as 1.4 GeV. The shift is much larger than the estimated uncertainties in previous experimental studies, and leads to a value of the top quark pole mass more consistent with the current world average.


title: Realtime Collision Avoidance for Mobile Robots in Dense Crowds using Implicit Multi-sensor Fusion and Deep Reinforcement Learning

abstract: We present a novel learning-based collision avoidance algorithm, CrowdSteer, for mobile robots operating in dense and crowded environments. Our approach is end-to-end and uses multiple perception sensors such as a 2-D lidar along with a depth camera to sense surrounding dynamic agents and compute collision-free velocities. Our training approach is based on the sim-to-real paradigm and uses high fidelity 3-D simulations of pedestrians and the environment to train a policy using Proximal Policy Optimization (PPO). We show that our learned navigation model is directly transferable to previously unseen virtual and dense real-world environments. We have integrated our algorithm with differential drive robots and evaluated its performance in narrow scenarios such as dense crowds, narrow corridors, T-junctions, L-junctions, etc. In practice, our approach can perform real-time collision avoidance and generate smooth trajectories in such complex scenarios. We also compare the performance with prior methods based on metrics such as trajectory length, mean time to goal, success rate, and smoothness and observe considerable improvement.


title: Interview: A Large-Scale Open-Source Corpus of Media Dialog

abstract: Existing conversational datasets consist either of written proxies for dialog or small-scale transcriptions of natural speech. We introduce 'Interview': a large-scale (105K conversations) media dialog dataset collected from news interview transcripts. Compared to existing large-scale proxies for conversational data, language models trained on our dataset exhibit better zero-shot out-of-domain performance on existing spoken dialog datasets, demonstrating its usefulness in modeling real-world conversations. 'Interview' contains speaker role annotations for each turn, facilitating the development of engaging, responsive dialog systems. In fact, experiments on two dialog tasks show that leveraging such labels improves performance over strong speaker-agnostic baselines, and enabling models to generate more specific and inquisitive responses in interview-style conversations.


title: A lower bound for the number of odd-degree representations of a finite group

abstract: Let $G$ be a finite group and $P$ a Sylow $2$-subgroup of $G$. We obtain both asymptotic and explicit bounds for the number of odd-degree irreducible complex representations of $G$ in terms of the size of the abelianization of $P$. To do so, we, on one hand, make use of the recent proof of the McKay conjecture for the prime 2 by Malle and Sp\"{a}th, and, on the other hand, prove lower bounds for the class number of the semidirect product of an odd-order group acting on an abelian $2$-group.


title: Spectral Efficiency and Energy Efficiency Tradeoff in Massive MIMO Downlink Transmission with Statistical CSIT

abstract: As a key technology for future wireless networks, massive multiple-input multiple-output (MIMO) can significantly improve the energy efficiency (EE) and spectral efficiency (SE), and the performance is highly dependant on the degree of the available channel state information (CSI). While most existing works on massive MIMO focused on the case where the instantaneous CSI at the transmitter (CSIT) is available, it is usually not an easy task to obtain precise instantaneous CSIT. In this paper, we investigate EE-SE tradeoff in single-cell massive MIMO downlink transmission with statistical CSIT. To this end, we aim to optimize the system resource efficiency (RE), which is capable of striking an EE-SE balance. We first figure out a closed-form solution for the eigenvectors of the optimal transmit covariance matrices of different user terminals, which indicates that beam domain is in favor of performing RE optimal transmission in massive MIMO downlink. Based on this insight, the RE optimization precoding design is reduced to a real-valued power allocation problem. Exploiting the techniques of sequential optimization and random matrix theory, we further propose a low-complexity suboptimal two-layer water-filling-structured power allocation algorithm. Numerical results illustrate the effectiveness and near-optimal performance of the proposed statistical CSI aided RE optimization approach.


title: Exemplar Auditing for Multi-Label Biomedical Text Classification

abstract: Many practical applications of AI in medicine consist of semi-supervised discovery: The investigator aims to identify features of interest at a resolution more fine-grained than that of the available human labels. This is often the scenario faced in healthcare applications as coarse, high-level labels (e.g., billing codes) are often the only sources that are readily available. These challenges are compounded for modalities such as text, where the feature space is very high-dimensional, and often contains considerable amounts of noise. In this work, we generalize a recently proposed zero-shot sequence labeling method, "binary labeling via a convolutional decomposition", to the case where the available document-level human labels are themselves relatively high-dimensional. The approach yields classification with "introspection", relating the fine-grained features of an inference-time prediction to their nearest neighbors from the training set, under the model. The approach is effective, yet parsimonious, as demonstrated on a well-studied MIMIC-III multi-label classification task of electronic health record data, and is useful as a tool for organizing the analysis of neural model predictions and high-dimensional datasets. Our proposed approach yields both a competitively effective classification model and an interrogation mechanism to aid healthcare workers in understanding the salient features that drive the model's predictions.


title: Tidal Oscillations of Rotating Hot Jupiters

abstract: We calculate small amplitude gravitational and thermal tides of uniformly rotating hot Jupiters composed of a nearly isentropic convective core and a geometrically thin radiative envelope. We treat the fluid in the convective core as a viscous fluid and solve linearized Navier Stokes equations to obtain tidal responses of the core, assuming that the Ekman number ${\rm Ek}$ is a constant parameter. In the radiative envelope, we take account of the effects of radiative dissipations on the responses. The properties of tidal responses depend on thermal timescales $\tau_*$ in the envelope and Ekman number Ek in the core and on weather the forcing frequency $\omega$ is in the inertial range or not, where the inertial range is defined by $|\omega|\le2\Omega$ for the rotation frequency $\Omega$. If ${\rm Ek}\gtrsim 10^{-7}$, the viscous dissipation in the core is dominating the thermal contributions in the envelope for $\tau_*\gtrsim 1$ day. If ${\rm Ek}\lesssim 10^{-7}$, however, the viscous dissipation is comparable to or smaller than the thermal contributions and the envelope plays an important role to determine the tidal torques. If the forcing is in the inertial range, frequency resonance of the tidal forcing with core inertial modes significantly affects the tidal torques, producing numerous resonance peaks of the torque. Depending on the sign of the torque in the peaks, we suggest that there exist cases in which the resonance with core inertial modes hampers the process of synchronization between the spin and orbital motion of the planets.


title: Iwasawa Decomposition for Lie Superalgebras

abstract: Let $\mathfrak{g}$ be a basic simple Lie superalgebra over an algebraically closed field of characteristic zero, and $\theta$ an involution of $\mathfrak{g}$ preserving a nondegenerate invariant form. We prove that either $\theta$ or $\delta\circ\theta$ admits an Iwasawa decomposition, where $\delta$ is the canonical grading automorphism $\delta(x)=(-1)^{\overline{x}}x$. The proof uses the notion of generalized root systems as developed by Serganova, and follows from a more general result on centralizers of certain tori coming from semisimple automorphisms of the Lie superalgebra $\mathfrak{g}$.


title: Is Graph Structure Necessary for Multi-hop Question Answering?

abstract: Recently, attempting to model texts as graph structure and introducing graph neural networks to deal with it has become a trend in many NLP research areas. In this paper, we investigate whether the graph structure is necessary for multi-hop question answering. Our analysis is centered on HotpotQA. We construct a strong baseline model to establish that, with the proper use of pre-trained models, graph structure may not be necessary for multi-hop question answering. We point out that both graph structure and adjacency matrix are task-related prior knowledge, and graph-attention can be considered as a special case of self-attention. Experiments and visualized analysis demonstrate that graph-attention or the entire graph structure can be replaced by self-attention or Transformers.


title: Towards Non-task-specific Distillation of BERT via Sentence Representation Approximation

abstract: Recently, BERT has become an essential ingredient of various NLP deep models due to its effectiveness and universal-usability. However, the online deployment of BERT is often blocked by its large-scale parameters and high computational cost. There are plenty of studies showing that the knowledge distillation is efficient in transferring the knowledge from BERT into the model with a smaller size of parameters. Nevertheless, current BERT distillation approaches mainly focus on task-specified distillation, such methodologies lead to the loss of the general semantic knowledge of BERT for universal-usability. In this paper, we propose a sentence representation approximating oriented distillation framework that can distill the pre-trained BERT into a simple LSTM based model without specifying tasks. Consistent with BERT, our distilled model is able to perform transfer learning via fine-tuning to adapt to any sentence-level downstream task. Besides, our model can further cooperate with task-specific distillation procedures. The experimental results on multiple NLP tasks from the GLUE benchmark show that our approach outperforms other task-specific distillation methods or even much larger models, i.e., ELMO, with efficiency well-improved.


title: Goeritz groups of bridge decompositions

abstract: For a bridge decomposition of a link in the $3$-sphere, we define the Goeritz group to be the group of isotopy classes of orientation-preserving homeomorphisms of the $3$-sphere that preserve each of the bridge sphere and link setwise. After describing basic properties of this group, we discuss the asymptotic behavior of the minimal pseudo-Anosov entropies. This gives an application to the asymptotic behavior of the minimal entropies for the original Goeritz groups of Heegaard splittings of the $3$-sphere and the real projective space.


title: New Tur\'an exponents for two extremal hypergraph problems

abstract: An $r$-uniform hypergraph is called $t$-cancellative if for any $t+2$ distinct edges $A_1,\ldots,A_t,B,C$, it holds that $(\cup_{i=1}^t A_i)\cup B\neq (\cup_{i=1}^t A_i)\cup C$. It is called $t$-union-free if for any two distinct subsets $\mathcal{A},\mathcal{B}$, each consisting of at most $t$ edges, it holds that $\cup_{A\in\mathcal{A}} A\neq \cup_{B\in\mathcal{B}} B$. Let $C_t(n,r)$ (resp. $U_t(n,r)$) denote the maximum number of edges of a $t$-cancellative (resp. $t$-union-free) $r$-uniform hypergraph on $n$ vertices. Among other results, we show that for fixed $r\ge 3,t\ge 3$ and $n\rightarrow\infty$ $$\Omega(n^{\lfloor\frac{2r}{t+2}\rfloor+\frac{2r\pmod{t+2}}{t+1}})=C_t(n,r)=O(n^{\lceil\frac{r}{\lfloor t/2\rfloor+1}\rceil})\text{ and } \Omega(n^{\frac{r}{t-1}})=U_t(n,r)=O(n^{\lceil\frac{r}{t-1}\rceil}),$$ thereby significantly narrowing the gap between the previously known lower and upper bounds. In particular, we determine the Tur\'an exponent of $C_t(n,r)$ when $2\mid t \text{ and } (t/2+1)\mid r$, and of $U_t(n,r)$ when $(t-1)\mid r$. The main tool used in proving the two lower bounds is a novel connection between these problems and sparse hypergraphs.


title: Probing electronic and magnetic transitions of short periodic nickelate superlattices using synchrotron x-ray

abstract: Transition metal based oxide heterostructures exhibit diverse emergent phenomena e.g. two dimensional electron gas, superconductivity, non-collinear magnetic phase, ferroelectricity, polar vortices, topological Hall effect etc., which are absent in the constituent bulk oxides. The microscopic understandings of these properties in such nanometer thick materials are extremely challenging. Synchrotron x-ray based techniques such as x-ray diffraction, x-ray absorption spectroscopy (XAS), resonant x-ray scattering (RXS), resonant inelastic x-ray scattering (RIXS), x-ray photoemission spectroscopy, etc. are essential to elucidating the response of lattice, charge, orbital, and spin degrees of freedoms to the heterostructuring. As a prototypical case of complex behavior, rare-earth nickelates (RENiO3 with RE=La, Pr, Nd, Sm, Eu, Lu) based thin films and heterostructures have been investigated quite extensively in recent years. An extensive body of literature about these systems exists and for an overview of the field, we refer the interested readers to the recent reviews Annual Review of Materials Research 46, 305 (2016) and Reports on Progress in Physics 81, 046501 (2018). In the present article, we give a brief review that concentrates on the use of synchrotron based techniques to investigate a specific set of EuNiO3/LaNiO3 superlattices, specifically designed to solve a long-standing puzzle about the origin of simultaneous electronic, magnetic and structural transitions of the RENiO3 series.


title: Knowledge Fusion and Semantic Knowledge Ranking for Open Domain Question Answering

abstract: Open Domain Question Answering requires systems to retrieve external knowledge and perform multi-hop reasoning by composing knowledge spread over multiple sentences. In the recently introduced open domain question answering challenge datasets, QASC and OpenBookQA, we need to perform retrieval of facts and compose facts to correctly answer questions. In our work, we learn a semantic knowledge ranking model to re-rank knowledge retrieved through Lucene based information retrieval systems. We further propose a "knowledge fusion model" which leverages knowledge in BERT-based language models with externally retrieved knowledge and improves the knowledge understanding of the BERT-based language models. On both OpenBookQA and QASC datasets, the knowledge fusion model with semantically re-ranked knowledge outperforms previous attempts.


title: On trigonometric skew-products over irrational circle-rotations

abstract: We describe some asymptotic properties of trigonometric skew-product maps over irrational rotations of the circle. The limits are controlled using renormalization. The maps considered here arise in connection with the self-dual Hofstadter Hamiltonian at energy zero. They are analogous to the almost Mathieu maps, but the factors commute. This allows us to construct periodic orbits under renormalization, for every quadratic irrational, and to prove that the map-pairs arising from the Hofstadter model are attracted to these periodic orbits. Analogous results are believed to be true for the self-dual almost Mathieu maps, but they seem presently beyond reach.


title: Parallel Codazzi tensors with submanifold applications

abstract: A decomposition theorem is established for a class of closed Riemannian submanifolds immersed in a space form of constant sectional curvature. In particular, it is shown that if $M$ has nonnegative sectional curvature and admits a Codazzi tensor with "parallel mean curvature", then $M$ is locally isometric to a direct product of irreducible factors determined by the spectrum of that tensor. This decomposition is global when $M$ is simply connected, and generalizes what is known for immersed submanifolds with parallel mean curvature vector.


title: Generalized Label Enhancement with Sample Correlations

abstract: Recently, label distribution learning (LDL) has drawn much attention in machine learning, where LDL model is learned from labelel instances. Different from single-label and multi-label annotations, label distributions describe the instance by multiple labels with different intensities and accommodate to more general scenes. Since most existing machine learning datasets merely provide logical labels, label distributions are unavailable in many real-world applications. To handle this problem, we propose two novel label enhancement methods, i.e., Label Enhancement with Sample Correlations (LESC) and generalized Label Enhancement with Sample Correlations (gLESC). More specifically, LESC employs a low-rank representation of samples in the feature space, and gLESC leverages a tensor multi-rank minimization to further investigate the sample correlations in both the feature space and label space. Benefitting from the sample correlations, the proposed methods can boost the performance of label enhancement. Extensive experiments on 14 benchmark datasets demonstrate the effectiveness and superiority of our methods.


title: Decoupling Cross-Quadrature Correlations using Passive Operations

abstract: Quadrature correlations between subsystems of a Gaussian quantum state are fully characterised by its covariance matrix. For example, the covariance matrix determines the amount of entanglement or decoherence of the state. Here, we establish when it is possible to remove correlations between conjugate quadratures using only passive operations. Such correlations are usually undesired and arise due to experimental cross-quadrature contamination. Using the Autonne--Takagi factorisation, we present necessary and sufficient conditions to determine when such removal is possible. Our proof is constructive, and whenever it is possible we obtain an explicit expression for the required passive operation.


title: Consistent and Complementary Graph Regularized Multi-view Subspace Clustering

abstract: This study investigates the problem of multi-view clustering, where multiple views contain consistent information and each view also includes complementary information. Exploration of all information is crucial for good multi-view clustering. However, most traditional methods blindly or crudely combine multiple views for clustering and are unable to fully exploit the valuable information. Therefore, we propose a method that involves consistent and complementary graph-regularized multi-view subspace clustering (GRMSC), which simultaneously integrates a consistent graph regularizer with a complementary graph regularizer into the objective function. In particular, the consistent graph regularizer learns the intrinsic affinity relationship of data points shared by all views. The complementary graph regularizer investigates the specific information of multiple views. It is noteworthy that the consistent and complementary regularizers are formulated by two different graphs constructed from the first-order proximity and second-order proximity of multiple views, respectively. The objective function is optimized by the augmented Lagrangian multiplier method in order to achieve multi-view clustering. Extensive experiments on six benchmark datasets serve to validate the effectiveness of the proposed method over other state-of-the-art multi-view clustering methods.


title: The Economics of Social Data

abstract: A data intermediary acquires signals from individual consumers regarding their preferences. The intermediary resells the information in a product market wherein firms and consumers tailor their choices to the demand data. The social dimension of the individual data -- whereby a consumer's data are predictive of others' behavior -- generates a data externality that can reduce the intermediary's cost of acquiring the information. The intermediary optimally preserves the privacy of consumers' identities if and only if doing so increases social surplus. This policy enables the intermediary to capture the total value of the information as the number of consumers becomes large.


title: Optimized Energy and Information Relaying in Self-Sustainable IRS-Empowered WPCN

abstract: This paper proposes a hybrid-relaying scheme empowered by a self-sustainable intelligent reflecting surface (IRS) in a wireless powered communication network (WPCN), to simultaneously improve the performance of downlink energy transfer (ET) from a hybrid access point (HAP) to multiple users and uplink information transmission (IT) from users to the HAP. We propose time-switching (TS) and power-splitting (PS) schemes for the IRS, where the IRS can harvest energy from the HAP's signals by switching between energy harvesting and signal reflection in the TS scheme or adjusting its reflection amplitude in the PS scheme. For both the TS and PS schemes, we formulate the sum-rate maximization problems by jointly optimizing the IRS's phase shifts for both ET and IT and network resource allocation. To address each problem's non-convexity, we propose a two-step algorithm to obtain the near-optimal solution with high accuracy. To show the structure of resource allocation, we also investigate the optimal solutions for the schemes with random phase shifts. Through numerical results, we show that our proposed schemes can achieve significant system sum-rate gain compared to the baseline scheme without IRS.


title: Generative Adversarial Zero-shot Learning via Knowledge Graphs

abstract: Zero-shot learning (ZSL) is to handle the prediction of those unseen classes that have no labeled training data. Recently, generative methods like Generative Adversarial Networks (GANs) are being widely investigated for ZSL due to their high accuracy, generalization capability and so on. However, the side information of classes used now is limited to text descriptions and attribute annotations, which are in short of semantics of the classes. In this paper, we introduce a new generative ZSL method named KG-GAN by incorporating rich semantics in a knowledge graph (KG) into GANs. Specifically, we build upon Graph Neural Networks and encode KG from two views: class view and attribute view considering the different semantics of KG. With well-learned semantic embeddings for each node (representing a visual category), we leverage GANs to synthesize compelling visual features for unseen classes. According to our evaluation with multiple image classification datasets, KG-GAN can achieve better performance than the state-of-the-art baselines.


title: Regularity and monotonicity for solutions to a continuum model of epitaxial growth with nonlocal elastic effects

abstract: We study a nonlocal 4th order degenerate equation deriving from the epitaxial growth on crystalline materials. We first prove the global existence of evolution variational inequality solution with a general initial data using the gradient flow structure. Then with a monotone initial data, we prove the subdifferential of the associated convex functional is indeed single-valued, which gives higher regularities of the global solution. Particularly, higher regularites imply that the strict monotonicity maintains for all time, which provides rigorous justification for global-in time monotone solution to epitaxial growth model with nonlocal elastic effects on vicinal surface.


title: Evolution of charge density wave order and superconductivity under pressure in LaPt$_2$Si$_2$

abstract: We report measurements of the electrical resistivity and ac magnetic susceptibility of single crystalline LaPt$_2$Si$_2$ under pressure, in order to investigate the interplay of superconductivity and CDW order. LaPt$_2$Si$_2$ exhibits a first order phase transition from a tetragonal to orthorhombic structure, accompanied by the onset of CDW order below $T_{\rm{CDW}}$ = 76 K, while superconductivity occurs at a lower temperature of $T_{\rm{c}}$ = 1.87 K. We find that the application of pressure initially suppresses the CDW transition, but enhances $T_{\rm{c}}$. At pressures above 2.4 GPa, CDW order vanishes, while both $T_{\rm{c}}$ and the resistivity $A$-coefficient reach a maximum value around this pressure. Our results suggest that the occurrence of a superconducting dome can be accounted for within the framework of BCS theory, where there is a maximum in the density of states upon the closure of the CDW gap.


title: Repulsive Mixture Models of Exponential Family PCA for Clustering

abstract: The mixture extension of exponential family principal component analysis (EPCA) was designed to encode much more structural information about data distribution than the traditional EPCA does. For example, due to the linearity of EPCA's essential form, nonlinear cluster structures cannot be easily handled, but they are explicitly modeled by the mixing extensions. However, the traditional mixture of local EPCAs has the problem of model redundancy, i.e., overlaps among mixing components, which may cause ambiguity for data clustering. To alleviate this problem, in this paper, a repulsiveness-encouraging prior is introduced among mixing components and a diversified EPCA mixture (DEPCAM) model is developed in the Bayesian framework. Specifically, a determinantal point process (DPP) is exploited as a diversity-encouraging prior distribution over the joint local EPCAs. As required, a matrix-valued measure for L-ensemble kernel is designed, within which, $\ell_1$ constraints are imposed to facilitate selecting effective PCs of local EPCAs, and angular based similarity measure are proposed. An efficient variational EM algorithm is derived to perform parameter learning and hidden variable inference. Experimental results on both synthetic and real-world datasets confirm the effectiveness of the proposed method in terms of model parsimony and generalization ability on unseen test data.


title: Generalized Quadratic Matrix Programming: A Unified Framework for Linear Precoding With Arbitrary Input Distributions

abstract: This paper investigates a new class of non-convex optimization, which provides a unified framework for linear precoding in single/multi-user multiple-input multiple-output (MIMO) channels with arbitrary input distributions. The new optimization is called generalized quadratic matrix programming (GQMP). Due to the nondeterministic polynomial time (NP)-hardness of GQMP problems, instead of seeking globally optimal solutions, we propose an efficient algorithm which is guaranteed to converge to a Karush-Kuhn-Tucker (KKT) point. The idea behind this algorithm is to construct explicit concave lower bounds for non-convex objective and constraint functions, and then solve a sequence of concave maximization problems until convergence. In terms of application, we consider a downlink underlay secure cognitive radio (CR) network, where each node has multiple antennas. We design linear precoders to maximize the average secrecy (sum) rate with finite-alphabet inputs and statistical channel state information (CSI) at the transmitter. The precoding problems under secure multicast/broadcast scenarios are GQMP problems, and thus they can be solved efficiently by our proposed algorithm. Several numerical examples are provided to show the efficacy of our algorithm.


title: Approximating Min-Mean-Cycle for low-diameter graphs in near-optimal time and memory

abstract: We revisit Min-Mean-Cycle, the classical problem of finding a cycle in a weighted directed graph with minimum mean weight. Despite an extensive algorithmic literature, previous work falls short of a near-linear runtime in the number of edges $m$. We propose an approximation algorithm that, for graphs with polylogarithmic diameter, achieves a near-linear runtime. In particular, this is the first algorithm whose runtime scales in the number of vertices $n$ as $\tilde{O}(n^2)$ for the complete graph. Moreover, unconditionally on the diameter, the algorithm uses only $O(n)$ memory beyond reading the input, making it "memory-optimal". Our approach is based on solving a linear programming relaxation using entropic regularization, which reduces the problem to Matrix Balancing -- \'a la the popular reduction of Optimal Transport to Matrix Scaling. The algorithm is practical and simple to implement.


title: How moving cracks in brittle solids choose their path

abstract: While we fundamentally understand the dynamics of 'simple' cracks propagating in brittle solids within perfect (homogeneous) materials, we do not understand how paths of moving cracks are determined. We experimentally study strongly perturbed cracks that propagate between 10-95\% of their limiting velocity within a brittle material. These cracks are deflected by either interaction with sparsely implanted defects or via an intrinsic oscillatory instability in defect-free media. Dense, high-speed measurements of the strain fields surrounding the crack tips reveal that crack paths are governed by the direction of maximal strain energy density. This fundamentally important result may be utilized to either direct or guide running cracks.


title: A Sentence Cloze Dataset for Chinese Machine Reading Comprehension

abstract: Owing to the continuous efforts by the Chinese NLP community, more and more Chinese machine reading comprehension datasets become available. To add diversity in this area, in this paper, we propose a new task called Sentence Cloze-style Machine Reading Comprehension (SC-MRC). The proposed task aims to fill the right candidate sentence into the passage that has several blanks. We built a Chinese dataset called CMRC 2019 to evaluate the difficulty of the SC-MRC task. Moreover, to add more difficulties, we also made fake candidates that are similar to the correct ones, which requires the machine to judge their correctness in the context. The proposed dataset contains over 100K blanks (questions) within over 10K passages, which was originated from Chinese narrative stories. To evaluate the dataset, we implement several baseline systems based on the pre-trained models, and the results show that the state-of-the-art model still underperforms human performance by a large margin. We release the dataset and baseline system to further facilitate our community. Resources available through https://github.com/ymcui/cmrc2019


title: On multi-interpolated multiple zeta values

abstract: In this note we introduce multi-interpolated multiple zeta values. We provide a basic decomposition of these objects involving ordered partitions. We also obtain identities for special instances of multi-interpolated multiple zeta values $\zeta^{\vec{t}}(\{s\}_k)$, generalizing earlier results. Moreover, we introduce a product for multi-interpolated multiple zeta values.


title: Temperature fluctuations and Tsallis statistics in Relativistic Heavy Ion collisions

abstract: We study temperature fluctuations in the initial stages of the relativistic heavy ion collision using a multiphase transport model. We consider the plasma in the initial stages after collision before it has a chance to equilibrate. We have considered Au + Au collision with a center of mass energy of 200 GeV. We use the non extensive Tsallis statistics to find the entropic index in the partonic stages of the relativistic heavy ion collisions. We find that the temperature and the entropic index have a linear relationship during the partonic stages of the heavy ion collision. This has already been observed in the hadronic phase. A detailed analysis of the dependence of the entropic index on the system shows that for increasing space time rapidity, the entropic index of the partonic system increases. The entropic index also depends on the beam collision energy. The calculation of the entropic index from the experimental data fitting of the transverse momenta deals with the hadronic phase. However, our current study shows that the behaviour of the entropic index in the initial non-equilibrium stage of the collision is very similar to the behaviour of the entropic index in the hadronic stage.


title: Improved Bounds and Algorithms for Sparsity-Constrained Group Testing

abstract: In group testing, the goal is to identify a subset of defective items within a larger set of items based on tests whose outcomes indicate whether any defective item is present. This problem is relevant in areas such as medical testing, data science, communications, and many more. Motivated by physical considerations, we consider a sparsity-based constrained setting (Gandikota et al., 2019) in which the testing procedure is subject to one of the following two constraints: items are finitely divisible and thus may participate in at most $\gamma$ tests; or tests are size-constrained to pool no more than $\rho$ items per test. While information-theoretic limits and algorithms are known for the non-adaptive setting, relatively little is known in the adaptive setting. We address this gap by providing an information-theoretic converse that holds even in the adaptive setting, as well as a near-optimal noiseless adaptive algorithm for $\gamma$-divisible items. In broad scaling regimes, our upper and lower bounds asymptotically match up to a factor of $e$. We also present a simple asymptotically optimal adaptive algorithm for $\rho$-sized tests. In addition, in the non-adaptive setting with $\gamma$-divisible items, we use the Definite Defectives (DD) decoding algorithm and study bounds on the required number of tests for vanishing error probability under the random near-constant test-per-item design. We show that the number of tests required can be significantly less than the Combinatorial Orthogonal Matching Pursuit (COMP) decoding algorithm, and is asymptotically optimal in broad scaling regimes.


title: Ranking Computer Vision Service Issues using Emotion

abstract: Software developers are increasingly using machine learning APIs to implement 'intelligent' features. Studies show that incorporating machine learning into an application increases technical debt, creates data dependencies, and introduces uncertainty due to non-deterministic behaviour. However, we know very little about the emotional state of software developers who deal with such issues. In this paper, we do a landscape analysis of emotion found in 1,245 Stack Overflow posts about computer vision APIs. We investigate the application of an existing emotion classifier EmoTxt and manually verify our results. We found that the emotion profile varies for different question categories.


title: $\beta$-High Resolution ODE and Phase Transition between NAG-SC and Heavy Ball Method

abstract: In this paper, we study the convergence properties of an algorithm that can be viewed as an interpolation between two gradient based optimization methods, Nesterov's acceleration method for strongly convex functions $(NAG$-$SC)$ and Polyak's heavy ball method. Recent Progress has been made on using High-Resolution ordinary differential equations (ODEs) to distinguish these two fundamentally different methods. The key difference between them can be attributed to the gradient correction term, which is reflected by the Hessian term in the High-Resolution ODE. Our goal is to understand how this term can affect the convergence rate and the choice of our step size. To achieve this goal, we introduce the notion of $\beta$-High Resolution ODE, $0\leq \beta\leq 1$ and prove that within certain range of step size, there is a phase transition happening at $\beta_c$. When $\beta_c\leq\beta\leq 1$, the algorithm associated with $\beta$-High Resolution ODE have the same convergence rate as NAG-SC. When $0\leq \beta\leq \beta_c$, this algorithm will have the slower convergence rate than NAG-SC.


title: A rank of partitions with overline designated summands

abstract: Andrews, Lewis and Lovejoy introduced the partition function $PD(n)$ as the number of partitions of $n$ with designated summands. In a recent work, Lin studied a partition function $PD_{t}(n)$ which counts the number of tagged parts over all the partitions of $n$ with designated summands. He proved that $PD_{t}(3n+2)$ is divisible by $3$. In this paper, we first introduce a structure named partitions with overline designated summands, which is counted by $PD_t(n)$. We then define a generalized rank of partitions with overline designated summands and give a combinatorial interpretation of the congruence for $PD_t(3n+2)$.


title: Efficient quantum memory for single photon polarization qubits

abstract: A quantum memory, for storing and retrieving flying photonic quantum states, is a key interface for realizing long-distance quantum communication and large-scale quantum computation. While many experimental schemes of high storage-retrieval efficiency have been performed with weak coherent light pulses, all quantum memories for true single photons achieved so far have efficiencies far below 50%, a threshold value for practical applications. Here, we report the demonstration of a quantum memory for single-photon polarization qubits with an efficiency of >85% and a fidelity of >99 %, basing on balanced two-channel electromagnetically induced transparency in laser-cooled rubidium atoms. For the single-channel quantum memory, the optimized efficiency for storing and retrieving single-photon temporal waveforms can be as high as 90.6 %. Our result pushes the photonic quantum memory closer to its practical applications in quantum information processing.


title: Probing new physics scenarios of muon $g-2$ via $J/\psi$ decay at BESIII

abstract: The disagreement between the standard model prediction and the experimental measurement of muon anomalous magnetic moment can be alleviated by invoking an additional particle which is either a vector boson ($X_1$) or a scalar ($X_0$). This new particle, with the mass $m_X \lesssim 2 m_\mu$, can be searched for in the decay $J/\psi \to \mu^- \mu^+ X$, where $X$ is missing. Our numerical study shows that the search is quite feasible at the BESIII experiment in the parameter space allowed by muon $g-2$ measurements.