title: Direct temporal mode measurement for the characterization of temporally multiplexed high dimensional quantum entanglement in continuous variables

abstract: Field-orthogonal temporal mode analysis of optical fields is recently developed for a new framework of quantum information science. But so far, the exact profiles of the temporal modes are not known, which makes it difficult to achieve mode selection and de-multiplexing. Here, we report a novel method that measures directly the exact form of the temporal modes. This in turn enables us to make mode-orthogonal homodyne detection with mode-matched local oscillators. We apply the method to a pulse-pumped, specially engineered fiber parametric amplifier and demonstrate temporally multiplexed multi-dimensional quantum entanglement of continuous variables in telecom wavelength. The temporal mode characterization technique can be generalized to other pulse-excited systems to find their eigen modes for multiplexing in temporal domain.


title: Predicting origin-destination ride-sourcing demand with a spatio-temporal encoder-decoder residual multi-graph convolutional network

abstract: With the rapid development of mobile-internet technologies, on-demand ride-sourcing services have become increasingly popular and largely reshaped the way people travel. Demand prediction is one of the most fundamental components in supply-demand management systems of ride-sourcing platforms. With accurate short-term prediction for origin-destination (OD) demand, the platforms make precise and timely decisions on real-time matching, idle vehicle reallocations and ride-sharing vehicle routing, etc. Compared to zone-based demand prediction that has been examined by many previous studies, OD-based demand prediction is more challenging. This is mainly due to the complicated spatial and temporal dependencies among demand of different OD pairs. To overcome this challenge, we propose the Spatio-Temporal Encoder-Decoder Residual Multi-Graph Convolutional network (ST-ED-RMGC), a novel deep learning model for predicting ride-sourcing demand of various OD pairs. Firstly, the model constructs OD graphs, which utilize adjacent matrices to characterize the non-Euclidean pair-wise geographical and semantic correlations among different OD pairs. Secondly, based on the constructed graphs, a residual multi-graph convolutional (RMGC) network is designed to encode the contextual-aware spatial dependencies, and a long-short term memory (LSTM) network is used to encode the temporal dependencies, into a dense vector space. Finally, we reuse the RMGC networks to decode the compressed vector back to OD graphs and predict the future OD demand. Through extensive experiments on the for-hire-vehicles datasets in Manhattan, New York City, we show that our proposed deep learning framework outperforms the state-of-arts by a significant margin.


title: A Dynamic System Model for Personalized Healthcare Delivery and Managed Individual Health Outcomes

abstract: The current healthcare system is facing an unprecedented chronic disease burden. This paper develops a healthcare dynamic model for personalized healthcare delivery and managed individual health outcomes. It utilizes a hetero-functional graph theory rooted in Axiomatic Design for Large Flexible Engineering Systems and Petri nets. The dynamics of the model builds upon a recently developed systems architecture for healthcare delivery which bears several analogies to the architecture of mass-customized production systems. At its essence, the model consists of two synchronized Petri nets; one for the healthcare delivery system and another for individuals' health state evolution. The model is demonstrated on two clinical case studies; one acute and another chronic. Together, the case studies show that the model applies equally to the care of both acute and chronic conditions, transparently describes health outcomes and links them to the evolution of the healthcare delivery system and its associated costs.


title: Electrochemically-stable ligands bridge photoluminescence-electroluminescence gap of quantum dots

abstract: Colloidal quantum dots (QDs) are promising emitters for electroluminescence devices (QD light-emitting-diodes, QLEDs). Though QDs have been synthesized with efficient and stable photoluminescence, inheriting their superior luminescence in QLEDs remains challenging. This is commonly attributed to unbalanced charge injection and/or interfacial exciton quenching in the devices, instead of lack of suited QD materials. Here, a general but previously overlooked degradation channel in QLEDs, i.e., operando electrochemical reactions of surface ligands with injected charge carriers, is identified after systematic studies of various combination of core/shell QDs and ligands. Applying electrochemically-inert ligands to highly photoluminescent QDs is developed to bridge their photoluminescence-electroluminescence gap. This material-design principle is general for boosting electroluminescence efficiency and lifetime of the QLEDs, resulting in record-long operational lifetimes for both red-emitting QLEDs (T95 > 3800 hours at 1000 cd m-2) and blue-emitting QLEDs (T50 >10,000 hours at 100 cd m-2). Our study provides a critical guideline for the QDs to be used in optoelectronic and electronic devices.


title: Adversarial Regression. Generative Adversarial Networks for Non-Linear Regression: Theory and Assessment

abstract: Adversarial Regression is a proposition to perform high dimensional non-linear regression with uncertainty estimation. We used Conditional Generative Adversarial Network to obtain an estimate of the full predictive distribution for a new observation. Generative Adversarial Networks (GAN) are implicit generative models which produce samples from a distribution approximating the distribution of the data. The conditional version of it (CGAN) takes the following expression: $\min\limits_G \max\limits_D V(D, G) = \mathbb{E}_{x\sim p_{r}(x)} [log(D(x, y))] + \mathbb{E}_{z\sim p_{z}(z)} [log (1-D(G(z, y)))]$. An approximate solution can be found by training simultaneously two neural networks to model D and G and feeding G with a random noise vector $z$. After training, we have that $G(z, y)\mathrel{\dot\sim} p_{data}(x, y)$. By fixing $y$, we have $G(z|y) \mathrel{\dot\sim} p{data}(x|y)$. By sampling $z$, we can therefore obtain samples following approximately $p(x|y)$, which is the predictive distribution of $x$ for a new $y$. We ran experiments to test various loss functions, data distributions, sample size, size of the noise vector, etc. Even if we observed differences, no experiment outperformed consistently the others. The quality of CGAN for regression relies on fine-tuning a range of hyperparameters. In a broader view, the results show that CGANs are very promising methods to perform uncertainty estimation for high dimensional non-linear regression.


title: Hyperplane integrability conditions and smoothing for Radon transforms

abstract: This paper may be viewed as a companion paper to [G1]. In that paper, $L^2$ Sobolev estimates derived from a Newton polyhedron-based resolution of singularities method are combined with interpolation arguments to prove $L^p$ to $L^q_s$ estimates, some sharp up to endpoints, for translation invariant Radon transforms over hypersurfaces and related operators. Here $q \geq p$ and $s$ can be positive, negative, or zero. In this paper, we instead use $L^2$ Sobolev estimates derived from the resolution of singularities methods of [G2] and combine with analogous interpolation arguments, again resulting in $L^p$ to $L^q_s$ estimates for translation invariant Radon transforms which can be sharp up to endpoints. It will turn out that sometimes the results of this paper are stronger, and sometimes the results of [G1] are stronger. As in [G1], some of the sharp estimates of this paper occur when $s = 0$, thereby giving new sharp $L^p$ to $L^q$ estimates for such operators, again up to endpoints. Our results lead to natural global analogues whose statements can be recast in terms of a hyperplane integrability condition analogous to that of Iosevich and Sawyer in their work [ISa1] on the $L^p$ boundedness of maximal averages over hypersurfaces.


title: Boosting Mapping Functionality of Neural Networks via Latent Feature Generation based on Reversible Learning

abstract: This paper addresses a boosting method for mapping functionality of neural networks in visual recognition such as image classification and face recognition. We present reversible learning for generating and learning latent features using the network itself. By generating latent features corresponding to hard samples and applying the generated features in a training stage, reversible learning can improve a mapping functionality without additional data augmentation or handling the bias of dataset. We demonstrate an efficiency of the proposed method on the MNIST,Cifar-10/100, and Extremely Biased and poorly categorized dataset (EBPC dataset). The experimental results show that the proposed method can outperform existing state-of-the-art methods in visual recognition. Extensive analysis shows that our method can efficiently improve the mapping capability of a network.


title: A Novel Approach for Optimal Trajectory Design with Multiple Operation Modes of Propulsion System, Part 1

abstract: Efficient performance of a number of engineering systems is achieved through different modes of operation - yielding systems described as "hybrid", containing both real-valued and discrete decision variables. Prominent examples of such systems, in space applications, could be spacecraft equipped with 1) a variable-$I_{\text{sp}}$, variable-thrust engine or 2) multiple engines each capable of switching on/off independently. To alleviate the challenges that arise when an indirect optimization method is used, a new framework --- Composite Smooth Control (CSC) --- is proposed that seeks smoothness over the entire spectrum of distinct control inputs. A salient aftermath of the application of the CSC framework is that the original multi-point boundary-value problem can be treated as a two-point boundary-value problem with smooth, differentiable control inputs; the latter is notably easier to solve, yet can be made to accurately approximate the former hybrid problem. The utility of the CSC framework is demonstrated through a multi-year, multi-revolution heliocentric fuel-optimal trajectory for a spacecraft equipped with a variable-$I_{\text{sp}}$, variable-thrust engine.


title: Measurement of electrons from semileptonic heavy-flavour hadron decays at midrapidity in pp and Pb-Pb collisions at $\sqrt{s_{\rm{NN}}}$ = 5.02 TeV

abstract: The differential invariant yield as a function of transverse momentum ($p_\mathrm{T}$) of electrons from semileptonic heavy-flavour hadron decays was measured at midrapidity in central (0-10%), semi-central (30-50%) and peripheral (60-80%) lead-lead (Pb-Pb) collisions at $\sqrt{s_{\mathrm{NN}}}=5.02\text{ TeV}$ in the $p_{\mathrm{T}}$ intervals 0.5-26 GeV/$c$ (0-10% and 30-50%) and 0.5-10 GeV/$c$ (60-80%). The production cross section in proton-proton (pp) collisions at $\sqrt{s}=5.02$ TeV was measured as well in $0.5<p_\mathrm{T}<10$ GeV/$c$ and it lies close to the upper band of perturbative QCD calculation uncertainties up to $p_\mathrm{T}=5$ GeV/$c$ and close to the mean value for larger $p_\mathrm{T}$. The modification of the electron yield with respect to what is expected for an incoherent superposition of nucleon-nucleon collisions is evaluated by measuring the nuclear modification factor $R_{\mathrm{AA}}$. The measurement of the $R_{\mathrm{AA}}$ in different centrality classes allows in-medium energy loss of charm and beauty quarks to be investigated. The $R_{\mathrm{AA}}$ shows a suppression with respect to unity at intermediate $p_\mathrm{T}$, which increases while moving towards more central collisions. Moreover, the measured $R_{\mathrm{AA}}$ is sensitive to the modification of the parton distribution functions (PDF) in nuclei, like nuclear shadowing, which causes a suppression of the heavy-quark production at low $p_\mathrm{T}$ in heavy-ion collisions at LHC.


title: A low-cost cryogenic temperature measurement system using Arduino microcontroller

abstract: We developed a simple, flexible, low-cost, and computer-controlled cryogenic temperature measurement system for undergraduate instructional laboratories. An Arduino microcontroller board measures the voltage across a silicon diode to calculate its temperature. Resistors and a voltage regulator provide constant current into the silicon diode. We present a graphical user interface based on the open-source Processing language. The cost of the complete temperature measurement system is thus only a small fraction of any highly-developed commercial system. Our performance test shows that the system works at a reasonable accuracy from 297.15 K (typical room temperature) down to 77 K (liquid nitrogen temperature).


title: The Driving Force for the Complexation of Charged Polypeptides

abstract: The phase separation of oppositely-charged polyelectrolytes in solution is of current interest . In this work we study the driving force for polyelectrolyte complexation using molecular dynamics simulations. We calculate the potential of mean force between poly(lysine) and poly(glutamate) oligomers using three different forcefields, an atomistic force field and two coarse-grained force fields. There is qualitative agreement between all forcefields, i.e., the sign and magnitude of the free energy and the nature of the driving force are similar, which suggests that the molecular nature of water does not play a significant role. For fully charged peptides, we find that the driving force for association is entropic in all cases when small ions either neutralize the poly-ions, or are in excess. The removal of all counterions switches the driving force, making complexation energetic. This suggests that the entropy of complexation is dominated by the counterions. When only 6 residues of a 11-mer are charged, however, the driving force is enthalpic in salt-free conditions. The simulations shed insight into the mechanism of complex coacervation and the importance of realistic models for the polyions.


title: Discovering the Compositional Structure of Vector Representations with Role Learning Networks

abstract: How can neural networks perform so well on compositional tasks even though they lack explicit compositional representations? We use a novel analysis technique called ROLE to show that recurrent neural networks perform well on such tasks by converging to solutions which implicitly represent symbolic structure. This method uncovers a symbolic structure which, when properly embedded in vector space, closely approximates the encodings of a standard seq2seq network trained to perform the compositional SCAN task. We verify the causal importance of the discovered symbolic structure by showing that, when we systematically manipulate hidden embeddings based on this symbolic structure, the model's output is changed in the way predicted by our analysis.


title: Using machine learning and information visualisation for discovering latent topics in Twitter news

abstract: We propose a method to discover latent topics and visualise large collections of tweets for easy identification and interpretation of topics, and exemplify its use with tweets from a Colombian mass media giant in the period 2014--2019. The latent topic analysis is performed in two ways: with the training of a Latent Dirichlet Allocation model, and with the combination of the FastText unsupervised model to represent tweets as vectors and the implementation of K-means clustering to group tweets into topics. Using a classification task, we found that people respond differently according to the various news topics. The classification tasks consists of the following: given a reply to a news tweet, we train a supervised algorithm to predict the topic of the news tweet solely from the reply. Furthermore, we show how the Colombian peace treaty has had a profound impact on the Colombian society, as it is the topic in which most people engage to show their opinions.


title: Unsupervised Out-of-Distribution Detection with Batch Normalization

abstract: Likelihood from a generative model is a natural statistic for detecting out-of-distribution (OoD) samples. However, generative models have been shown to assign higher likelihood to OoD samples compared to ones from the training distribution, preventing simple threshold-based detection rules. We demonstrate that OoD detection fails even when using more sophisticated statistics based on the likelihoods of individual samples. To address these issues, we propose a new method that leverages batch normalization. We argue that batch normalization for generative models challenges the traditional i.i.d. data assumption and changes the corresponding maximum likelihood objective. Based on this insight, we propose to exploit in-batch dependencies for OoD detection. Empirical results suggest that this leads to more robust detection for high-dimensional images.


title: Self-Supervised Physics-Based Deep Learning MRI Reconstruction Without Fully-Sampled Data

abstract: Deep learning (DL) has emerged as a tool for improving accelerated MRI reconstruction. A common strategy among DL methods is the physics-based approach, where a regularized iterative algorithm alternating between data consistency and a regularizer is unrolled for a finite number of iterations. This unrolled network is then trained end-to-end in a supervised manner, using fully-sampled data as ground truth for the network output. However, in a number of scenarios, it is difficult to obtain fully-sampled datasets, due to physiological constraints such as organ motion or physical constraints such as signal decay. In this work, we tackle this issue and propose a self-supervised learning strategy that enables physics-based DL reconstruction without fully-sampled data. Our approach is to divide the acquired sub-sampled points for each scan into training and validation subsets. During training, data consistency is enforced over the training subset, while the validation subset is used to define the loss function. Results show that the proposed self-supervised learning method successfully reconstructs images without fully-sampled data, performing similarly to the supervised approach that is trained with fully-sampled references. This has implications for physics-based inverse problem approaches for other settings, where fully-sampled data is not available or possible to acquire.

categories: eess.IV cs.CV cs.LG eess.SP physics.med-ph


title: The chemical birth-death process with additive noise

abstract: The chemical birth-death process, whose chemical master equation (CME) is exactly solvable, is a paradigmatic toy problem often used to get intuition for how stochasticity affects chemical kinetics. In a certain limit, it can be approximated by an Ornstein-Uhlenbeck-like process which is also exactly solvable. In this paper, we use this system to showcase eight qualitatively different ways to exactly solve continuous stochastic systems: (i) integrating the stochastic differential equation; (ii) computing the characteristic function; (iii) eigenfunction expansion; (iv) using ladder operators; (v) the Martin-Siggia-Rose-Janssen-De Dominicis path integral; (vi) the Onsager-Machlup path integral; (vii) semiclassically approximating the Onsager-Machlup path integral; and (viii) approximating the solution to the corresponding CME.


title: Automated Reasoning with Restricted Intensional Sets

abstract: Intensional sets, i.e., sets given by a property rather than by enumerating elements, are widely recognized as a key feature to describe complex problems (see, e.g., specification languages such as B and Z). Notwithstanding, very few tools exist supporting high-level automated reasoning on general formulas involving intensional sets. In this paper we present a decision procedure for a first-order logic language offering both extensional and (a restricted form of) intensional sets (RIS). RIS are introduced as first-class citizens of the language and set-theoretical operators on RIS are dealt with as constraints. Syntactic restrictions on RIS guarantee that the denoted sets are finite, though unbounded. The language of RIS, called L_RIS , is parametric with respect to any first-order theory X providing at least equality and a decision procedure for X-formulas. In particular, we consider the instance of L_RIS when X is the theory of hereditarily finite sets and binary relations. We also present a working implementation of this instance as part of the {log} tool and we show through a number of examples and two case studies that, although RIS are a subclass of general intensional sets, they are still sufficiently expressive as to encode and solve many interesting problems. Finally, an extensive empirical evaluation provides evidence that the tool can be used in practice.


title: Generative Hierarchical Models for Parts, Objects, and Scenes

abstract: Compositional structures between parts and objects are inherent in natural scenes. Modeling such compositional hierarchies via unsupervised learning can bring various benefits such as interpretability and transferability, which are important in many downstream tasks. In this paper, we propose the first deep latent variable model, called RICH, for learning Representation of Interpretable Compositional Hierarchies. At the core of RICH is a latent scene graph representation that organizes the entities of a scene into a tree structure according to their compositional relationships. During inference, taking top-down approach, RICH is able to use higher-level representation to guide lower-level decomposition. This avoids the difficult problem of routing between parts and objects that is faced by bottom-up approaches. In experiments on images containing multiple objects with different part compositions, we demonstrate that RICH is able to learn the latent compositional hierarchy and generate imaginary scenes.


title: Unsupervised decoding of spinal motor neuron spike trains for estimating hand kinematics following targeted muscle reinnervation

abstract: The performance of upper-limb prostheses is currently limited by the relatively poor functionality of unintuitive control schemes. This paper proposes to extract, from multichannel electromyographic signals (EMG), motor neuron spike trains and project them into lower dimensional continuous signals, which are used as multichannel proportional inputs to control the prosthetic's actuators. These control signals are an estimation of the common synaptic input that the motor neurons receive. We use the simplest of metric learning approaches known as principal component analysis (PCA), as a linear unsupervised metric projection to extract the spectral information of high dimensional data into the subspace of the prosthetic hand degrees of freedom. We also investigate the importance of a rotation in the projection space that best aligns the PCA subspace with the space of degrees of freedom of the prosthetic hand, to attempt to approximate the sparseness properties of the motor axes (which are orthogonal), while no sparseness is enforced by PCA. Proof of concept for the feedforward path (open loop) is given by successful estimation of concurrent movements with up to three degrees of freedom. We also analyze and quantify the performance of the proposed decoding algorithm under implementation constraints and hardware limitations and propose a space-time subsampling strategy, to maximize projection fidelity, in each extracted source over time. The results confirm that the proposed decoding approach can directly project the motor neuron spike trains into kinematics for simultaneous and proportional prosthesis control that can be extended to multiple degrees of freedom. We show that the method is robust to reducing the training data in space (number of sources) and time, which makes it potentially suitable for clinical applications.


title: Distortion of Magnetic Fields in Barnard 68

abstract: The magnetic field structure, kinematical stability, and evolutionary status of the starless dense core Barnard 68 (B68) are revealed based on the near-infrared polarimetric observations of background stars, measuring the dichroically polarized light produced by aligned dust grains in the core. After subtracting unrelated ambient polarization components, the magnetic fields pervading B68 are mapped using 38 stars and axisymmetrically distorted hourglass-like magnetic fields are obtained, although the evidence for the hourglass field is not very strong. On the basis of simple 2D and 3D magnetic field modeling, the magnetic inclination angles on the plane-of-sky and in the line-of-sight direction are determined to be $47^{\circ} \pm 5^{\circ}$ and $20^{\circ} \pm 10^{\circ}$, respectively. The total magnetic field strength of B68 is obtained to be $26.1 \pm 8.7$ $\mu {\rm G}$. The critical mass of B68, evaluated using both magnetic and thermal/turbulent support, is $M_{\rm cr} = 2.30 \pm 0.20$ ${\rm M}_{\odot}$, which is consistent with the observed core mass of $M_{\rm core}=2.1$ M$_{\odot}$, suggesting nearly critical state. We found a relatively linear relationship between polarization and extinction up to $A_V \sim 30$ mag toward the stars with deepest obscuration. Further theoretical and observational studies are required to explain the dust alignment in cold and dense regions in the core.


title: Perception-Distortion Trade-off with Restricted Boltzmann Machines

abstract: In this work, we introduce a new procedure for applying Restricted Boltzmann Machines (RBMs) to missing data inference tasks, based on linearization of the effective energy function governing the distribution of observations. We compare the performance of our proposed procedure with those obtained using existing reconstruction procedures trained on incomplete data. We place these performance comparisons within the context of the perception-distortion trade-off observed in other data reconstruction tasks, which has, until now, remained unexplored in tasks relying on incomplete training data.


title: N\'{e}ron desingularization of extensions of valuation rings with an Appendix by K\k{e}stutis \v{C}esnavi\v{c}ius

abstract: Zariski's local uniformization, a weak form of resolution of singularities, implies that every valuation ring containing $\bf Q$ is a filtered direct limit of smooth $\bf Q$-algebras. Given an immediate extension of valuation rings $V\subset V'$ containing $\bf Q$ we show that $V'$ is a filtered direct limit of smooth $V$-algebras. This corrects a paper of us \cite{Po1} where we thought that we may reduce to the case when the value groups are finitely generated. For this correction we use an infinite tower of ultrapowers construction that rests on results from model theory. .


title: The LUX-ZEPLIN (LZ) Experiment

abstract: We describe the design and assembly of the LUX-ZEPLIN experiment, a direct detection search for cosmic WIMP dark matter particles. The centerpiece of the experiment is a large liquid xenon time projection chamber sensitive to low energy nuclear recoils. Rejection of backgrounds is enhanced by a Xe skin veto detector and by a liquid scintillator Outer Detector loaded with gadolinium for efficient neutron capture and tagging. LZ is located in the Davis Cavern at the 4850' level of the Sanford Underground Research Facility in Lead, South Dakota, USA. We describe the major subsystems of the experiment and its key design features and requirements.


title: Floquet Engineering with Particle Swarm Optimization: Maximizing Topological Invariants

abstract: It is of theoretical and experimental interest to engineer topological phases with very large topological invariants via periodic driving. As advocated by this work, such Floquet engineering can be elegantly achieved by the particle swarm optimization (PSO) technique from the swarm intelligence family. With the recognition that conventional gradient-based optimization approaches are not suitable for directly optimizing topological invariants as integers, the highly effective PSO route yields new promises in the search for exotic topological phases, requiring limited physical resource. Our results are especially timely in view of two important insights from literature: low-frequency driving may be beneficial in creating large topological invariants, but an open-ended low-frequency driving often leads to drastic fluctuations in the obtained topological invariants. Indeed, using a simple continuously driven Harper model with three quasi-energy bands, we show that the Floquet-band Chern numbers can enjoy many-fold increase compared with that using a simple harmonic driving of the same period, without demanding more energy cost of the driving field. It is also found that the resulting Floquet insulator bands are still well-gapped, with the maximized topological invariants in agreement with physical observations from Thouless pumping. The emergence of many edge modes under the open boundary condition is also consistent with the bulk-edge correspondence. Our results are expected to be highly useful towards the optimization of many different types of topological invariants in Floquet topological matter.


title: Communication-Efficient Local Decentralized SGD Methods

abstract: Recently, the technique of local updates is a powerful tool in centralized settings to improve communication efficiency via periodical communication. For decentralized settings, it is still unclear how to efficiently combine local updates and decentralized communication. In this work, we propose an algorithm named as LD-SGD, which incorporates arbitrary update schemes that alternate between multiple Local updates and multiple Decentralized SGDs, and provide an analytical framework for LD-SGD. Under the framework, we present a sufficient condition to guarantee the convergence. We show that LD-SGD converges to a critical point for a wide range of update schemes when the objective is non-convex and the training data are non-identically independent distributed. Moreover, our framework brings many insights into the design of update schemes for decentralized optimization. As examples, we specify two update schemes and show how they help improve communication efficiency. Specifically, the first scheme alternates the number of local and global update steps. From our analysis, the ratio of the number of local updates to that of decentralized SGD trades off communication and computation. The second scheme is to periodically shrink the length of local updates. We show that the decaying strategy helps improve communication efficiency both theoretically and empirically.


title: Research progress based on observations of the New Vacuum Solar Telescope

abstract: The purpose of this paper is to introduce the main scientific results made by the one-meter New Vacuum Solar Telescope (NVST), which was put into commission on 2010. NVST is one of the large aperture solar telescopes in the world, located on the shore of Fuxian lake of Yunnan province in China, aiming at serving solar physicists by providing them with high resolution photospheric and chromospheric observational data. Based on the data from NVST and complementary observations from space (e.g., Hinode, SDO and IRIS, etc), dozens of scientific papers have been published with a wide range of topics concentrating mainly on dynamics and activities of fine-scale magnetic structures and their roles in the eruptions of active-region filaments and flares. The achievements include dynamic characteristics of photospheric bright points, umbral dots, penumbral waves, and sunspot/light bridge oscillation, observational evidence of small-scale magnetic reconnection, and fine-scale dynamic structure of prominences. All these new results will shed light on the better understanding of solar eruptive activities. Data release, observation proposals, and future research subjects are introduced and discussed.


title: Functional central limit theorem for random walks in random environment defined on regular trees

abstract: We study Random Walks in an i.i.d. Random Environment (RWRE) defined on $b$-regular trees. We prove a functional central limit theorem (FCLT) for transient processes, under a moment condition on the environment. We emphasize that we make no uniform ellipticity assumptions. Our approach relies on regenerative levels, i.e. levels that are visited exactly once. On the way, we prove that the distance between consecutive regenerative levels have a geometrically decaying tail. In the second part of this paper, we apply our results to Linearly Edge-Reinforced Random Walk (LERRW) to prove FCLT when the process is defined on $b$-regular trees, with $ b \ge 4$, substantially improving the results of the first author (see Theorem 3 of Collevecchio (2006)).


title: A Comparison of Semantic Similarity Methods for Maximum Human Interpretability

abstract: The inclusion of semantic information in any similarity measures improves the efficiency of the similarity measure and provides human interpretable results for further analysis. The similarity calculation method that focuses on features related to the text's words only, will give less accurate results. This paper presents three different methods that not only focus on the text's words but also incorporates semantic information of texts in their feature vector and computes semantic similarities. These methods are based on corpus-based and knowledge-based methods, which are: cosine similarity using tf-idf vectors, cosine similarity using word embedding and soft cosine similarity using word embedding. Among these three, cosine similarity using tf-idf vectors performed best in finding similarities between short news texts. The similar texts given by the method are easy to interpret and can be used directly in other information retrieval applications.


title: Reply to comments on "Gapless spin liquid ground state of spin-1/2 $J_1$-$J_2$ Heisenberg model on square lattices"

abstract: In a recent comments [arXiv:1909.12788 (2019)], Zhao et al. argue that the definition of dimer orders used in our paper [Phys. Rev. B 98, 241109 (2018)] may not rule out valence bond solid (VBS) orders of $J_1$-$J_2$ model on the open boundary conditions (OBC). In this reply, we show that their argument does not apply to our case.


title: Adaptive Learned Bloom Filter (Ada-BF): Efficient Utilization of the Classifier

abstract: Recent work suggests improving the performance of Bloom filter by incorporating a machine learning model as a binary classifier. However, such learned Bloom filter does not take full advantage of the predicted probability scores. We proposed new algorithms that generalize the learned Bloom filter by using the complete spectrum of the scores regions. We proved our algorithms have lower False Positive Rate (FPR) and memory usage compared with the existing approaches to learned Bloom filter. We also demonstrated the improved performance of our algorithms on real-world datasets.


title: Multi-Stage Compound Real Options Valuation in Residential PV-Battery Investment

abstract: Strategic valuation of efficient and well-timed network investments under uncertain electricity market environment has become increasingly challenging, because there generally exist multiple interacting options in these investments, and failing to systematically consider these options can lead to decisions that undervalue the investment. In our work, a real options valuation (ROV) framework is proposed to determine the optimal strategy for executing multiple interacting options within a distribution network investment, to mitigate the risk of financial losses in the presence of future uncertainties. To demonstrate the characteristics of the proposed framework, we determine the optimal strategy to economically justify the investment in residential PV-battery systems for additional grid supply during peak demand periods. The options to defer, and then expand, are considered as multi-stage compound options, since the option to expand is a subsequent option of the former. These options are valued via the least squares Monte Carlo method, incorporating uncertainty over growing power demand, varying diesel fuel price, and the declining cost of PV-battery technology as random variables. Finally, a sensitivity analysis is performed to demonstrate how the proposed framework responds to uncertain events. The proposed framework shows that executing the interacting options at the optimal timing increases the investment value.


title: Topology-dependent anomalous dynamics of ring and linear DNA are sensitive to cytoskeleton crosslinking

abstract: Cytoskeletal crowding plays a key role in the diffusion of DNA molecules through the cell, acting as a barrier to effective intracellular transport and conformational stability required for such processes as transfection, viral infection, and gene therapy. Here we elucidate the transport properties and conformational dynamics of linear and ring DNA molecules diffusing through entangled and crosslinked composite networks of actin and microtubules. We couple single-molecule conformational tracking with differential dynamic microscopy to reveal that ring and linear DNA exhibit surprisingly distinct transport properties that are influenced differently by cytoskeleton crosslinking. Ring DNA coils are swollen and undergo heterogeneous and biphasic subdiffusion that is hindered by crosslinking. Conversely, crosslinking actually facilitates the single-mode subdiffusion that compacted linear chains exhibit. Our collective results demonstrate that transient threading by cytoskeleton filaments plays a key role in the dynamics of ring DNA, whereas the mobility of the cytoskeleton dictates transport of linear DNA.


title: Good, Better, Best: Textual Distractors Generation for Multiple-Choice Visual Question Answering via Reinforcement Learning

abstract: Multiple-choice VQA has drawn increasing attention from researchers and end-users recently. As the demand for automatically constructing large-scale multiple-choice VQA data grows, we introduce a novel task called textual Distractors Generation for VQA (DG-VQA) focusing on generating challenging yet meaningful distractors given the context image, question, and correct answer. The DG-VQA task aims at generating distractors without ground-truth training samples since such resources are rarely available. To tackle the DG-VQA unsupervisedly, we propose Gobbet, a reinforcement learning(RL) based framework that utilizes pre-trained VQA models as an alternative knowledge base to guide the distractor generation process. In Gobbet, a pre-trained VQA model serves as the environment in RL setting to provide feedback for the input multi-modal query, while a neural distractor generator serves as the agent to take actions accordingly. We propose to use existing VQA models' performance degradation as indicators of the quality of generated distractors. On the other hand, we show the utility of generated distractors through data augmentation experiments, since robustness is more and more important when AI models apply to unpredictable open-domain scenarios or security-sensitive applications. We further conduct a manual case study on the factors why distractors generated by Gobbet can fool existing models.


title: New travelling wave solutions of the Porous-Fisher model with a moving boundary

abstract: We examine travelling wave solutions of the Porous-Fisher model, $\partial_t u(x,t)= u(x,t)\left[1-u(x,t)\right] + \partial_x \left[u(x,t) \partial_x u(x,t)\right]$, with a Stefan-like condition at the moving front, $x=L(t)$. Travelling wave solutions of this model have several novel characteristics. These travelling wave solutions: (i) move with a speed that is slower than the more standard Porous-Fisher model, $c<1/\sqrt{2}$; (ii) never lead to population extinction; (iii) have compact support and a well-defined moving front, and (iv) the travelling wave profiles have an infinite slope at the moving front. Using asymptotic analysis in two distinct parameter regimes, $c \to 0^+$ and $c \to 1/\sqrt{2}\,^-$, we obtain closed-form mathematical expressions for the travelling wave shape and speed. These approximations compare well with numerical solutions of the full problem.


title: Deep-Learning-Aided Detection for Reconfigurable Intelligent Surfaces

abstract: This paper presents a deep learning (DL) approach for estimating and detecting symbols in signals transmitted through reconfigurable intelligent surfaces (RIS). The proposed network utilizes fully connected layers to estimate channels and phase angles from a reflected signal received through an RIS. Because the proposed network can estimate and detect symbols without any pilot signaling, this method reduces the overhead required for transmission. The improvements achieved by this method are quantified in terms of the bit-error rate, outperforming traditional detectors.


title: Two Case Studies of Experience Prototyping Machine Learning Systems in the Wild

abstract: Throughout the course of my Ph.D., I have been designing the user experience (UX) of various machine learning (ML) systems. In this workshop, I share two projects as case studies in which people engage with ML in much more complicated and nuanced ways than the technical HCML work might assume. The first case study describes how cardiology teams in three hospitals used a clinical decision-support system that helps them decide whether and when to implant an artificial heart to a heart failure patient. I demonstrate that physicians cannot draw on their decision-making experience by seeing only patient data on paper. They are also confused by some fundamental premises upon which ML operates. For example, physicians asked: Are ML predictions made based on clinicians' best efforts? Is it ethical to make decisions based on previous patients' collective outcomes? In the second case study, my collaborators and I designed an intelligent text editor, with the goal of improving authors' writing experience with NLP (Natural Language Processing) technologies. We prototyped a number of generative functionalities where the system provides phrase-or-sentence-level writing suggestions upon user request. When writing with the prototype, however, authors shared that they need to "see where the sentence is going two paragraphs later" in order to decide whether the suggestion aligns with their writing; Some even considered adopting machine suggestions as plagiarism, therefore "is simply wrong". By sharing these unexpected and intriguing responses from these real-world ML users, I hope to start a discussion about such previously-unknown complexities and nuances of -- as the workshop proposal states -- "putting ML at the service of people in a way that is accessible, useful, and trustworthy to all".


title: Multi-waveform inference of gravitational waves

abstract: Bayesian inference of gravitational wave signals is subject to systematic error due to modelling uncertainty in waveform signal models, coined approximants. A growing collection of approximants are available which use different approaches and make different assumptions to ease the process of model development. We provide a method to marginalize over the uncertainty in a set of waveform approximants by constructing a mixture-model multi-waveform likelihood. This method fits into existing workflows by determining the mixture parameters from the per-waveform evidences, enabling the production of marginalized combined sample sets from independent runs.


title: DwNet: Dense warp-based network for pose-guided human video generation

abstract: Generation of realistic high-resolution videos of human subjects is a challenging and important task in computer vision. In this paper, we focus on human motion transfer - generation of a video depicting a particular subject, observed in a single image, performing a series of motions exemplified by an auxiliary (driving) video. Our GAN-based architecture, DwNet, leverages dense intermediate pose-guided representation and refinement process to warp the required subject appearance, in the form of the texture, from a source image into a desired pose. Temporal consistency is maintained by further conditioning the decoding process within a GAN on the previously generated frame. In this way a video is generated in an iterative and recurrent fashion. We illustrate the efficacy of our approach by showing state-of-the-art quantitative and qualitative performance on two benchmark datasets: TaiChi and Fashion Modeling. The latter is collected by us and will be made publicly available to the community.


title: Heterogeneous Measurement Selection for Vehicle Tracking using Submodular Optimization

abstract: We study a scenario where a group of agents, each with multiple heterogeneous sensors are collecting measurements of a vehicle and the measurements are transmitted over a communication channel to a centralized node for processing. The communication channel presents an information-transfer bottleneck as the sensors collect measurements at a much higher rate than what is feasible to transmit over the communication channel. In order to minimize the estimation error at the centralized node, only a carefully selected subset of measurements should be transmitted. We propose to select measurements based on the Fisher information matrix (FIM), as "minimizing" the inverse of the FIM is required to achieve small estimation error. Selecting measurements based on the FIM leads to a combinatorial optimization problem. However, when the criteria used to select measurements is both monotone and submodular it allows the use of a greedy algorithm that is guaranteed to be within $1-1/e\approx63\%$ of the optimum and has the critical benefit of quadratic computational complexity. To illustrate this concept, we derive the FIM criterion for different sensor types to which we apply FIM-based measurement selection. The criteria considered include the time-of-arrival and Doppler shift of passively received radio transmissions as well as detected key-points in camera images.


title: Low-rank mmWave MIMO channel estimation in one-bit receivers

abstract: Receivers with one-bit analog-to-digital converters (ADCs) are promising for high bandwidth millimeter wave (mmWave) systems as they consume less power than their full resolution counterparts. The extreme quantization in one-bit receivers and the use of large antenna arrays at mmWave make channel estimation challenging. In this paper, we develop channel estimation algorithms that exploit the low-rank property of mmWave channels. We also propose a novel training solution that results in a low complexity implementation of our algorithms. Simulation results indicate that the proposed methods achieve better channel reconstruction than compressed sensing-based techniques that exploit sparsity of mmWave channels.


title: Hybrid Purification and Sampling Approach for Thermal Quantum Systems

abstract: We propose an algorithm which combines the beneficial aspects of two different methods for studying finite-temperature quantum systems with tensor networks. One approach is the ancilla method, which gives high-precision results but scales poorly at low temperatures. The other method is the minimally entangled typical thermal state (METTS) sampling algorithm which scales better than the ancilla method at low temperatures and can be parallelized, but requires many samples to converge to a precise result. Our proposed hybrid of these two methods purifies physical sites in a small central spatial region with partner ancilla sites, sampling the remaining sites using the METTS algorithm. Observables measured within the purified cluster have much lower sample variance than in the METTS approach, while sampling the sites outside the cluster reduces their entanglement and the computational cost of the algorithm. The sampling steps of the algorithm remain straightforwardly parallelizable. The hybrid approach also solves an important technical issue with METTS that makes it difficult to benefit from quantum number conservation. By studying S=1 Heisenberg ladder systems, we find the hybrid method converges more quickly than both the ancilla and METTS algorithms at intermediate temperatures and for systems with higher entanglement.


title: Dynamic Subgoal-based Exploration via Bayesian Optimization

abstract: Reinforcement learning in sparse-reward navigation environments with expensive and limited interactions is challenging and poses a need for effective exploration. Motivated by complex navigation tasks that require real-world training (when cheap simulators are not available), we consider an agent that faces an unknown distribution of environments and must decide on an exploration strategy. It may leverage a series of training environments to improve its policy before it is evaluated in a test environment drawn from the same environment distribution. Most existing approaches focus on fixed exploration strategies, while the few that view exploration as a meta-optimization problem tend to ignore the need for cost-efficient exploration. We propose a cost-aware Bayesian optimization approach that efficiently searches over a class of dynamic subgoal-based exploration strategies. The algorithm adjusts a variety of levers -- the locations of the subgoals, the length of each episode, and the number of replications per trial -- in order to overcome the challenges of sparse rewards, expensive interactions, and noise. An experimental evaluation demonstrates that the new approach outperforms existing baselines across a number of problem domains. We also provide a theoretical foundation and prove that the method asymptotically identifies a near-optimal subgoal design.


title: Stochastic AC Optimal Power Flow: A Data-Driven Approach

abstract: There is an emerging need for efficient solutions to stochastic AC Optimal Power Flow ({AC-}OPF) to ensure optimal and reliable grid operations in the presence of increasing demand and generation uncertainty. This paper presents a highly scalable data-driven algorithm for stochastic AC-OPF that has extremely low sample requirement. The novelty behind the algorithm's performance involves an iterative scenario design approach that merges information regarding constraint violations in the system with data-driven sparse regression. Compared to conventional methods with random scenario sampling, our approach is able to provide feasible operating points for realistic systems with much lower sample requirements. Furthermore, multiple sub-tasks in our approach can be easily paralleled and based on historical data to enhance its performance and application. We demonstrate the computational improvements of our approach through simulations on different test cases in the IEEE PES PGLib-OPF benchmark library.


title: Average size of the automorphism group of smooth projective hypersurfaces over finite fields

abstract: In this paper, we show that the average size of the automorphism group over $\mathbb{F}_q$ of a smooth degree $d$ hypersurface in $\mathbb{P}^{n}_{\mathbb{F}_q}$ is equal to $1$ as $d\rightarrow \infty$. We also discuss some consequence of this result for the moduli space of smooth degree $d$ hypersurfaces in $\mathbb{P}^n$.


title: Inverse Mass Hierarchy of Light Scalar Mesons Driven by Anomaly-Induced Flavor Breaking

abstract: We propose a novel mechanism to reproduce the observed mass hierarchy for the scalar mesons lighter than 1 GeV (called the inverse hierarchy) regarding them as mesons made of a quark and an anti-quark ($q\bar{q}$ mesons). The source is provided by the SU(3)-flavor symmetry-breaking induced by U(1) axial anomaly. In particular, the anomaly term including the explicit-chiral symmetry-breaking plays a significant role for the light scalar meson spectrum. To be concrete, we construct a linear sigma model for the scalar mesons of $q\bar{q}$ type together with their pseudoscalar chiral partners, including an anomaly-induced explicit-chiral symmetry-breaking term. We find that, due to the proposed mechanism, the inverse hierarchy, i.e., $m\left[ a_0 (980) \right] \simeq m\left[ f_0 (980) \right] > m \left[ K_0^\ast (700) \right] > m \left[ f_0(500) \right]$ is indeed realized. Consequently, the quark content of $f_0 (500)$ is dominated by the isoscalar $\bar uu+ \bar dd$ component, and $f_0 (980)$ is by the strange quark bilinear's, $s\bar{s}$.


title: Energy origination and triggering mechanism of a series of homologous confined flares

abstract: Using the H$\alpha$ data from the New Vacuum Solar Telescope (NVST) at the Fuxian Solar Observatory together with multi-wavelength images and magnetograms obtained by Solar Dynamics Observatory (SDO), we study the detailed process of three homologous confined flares in active-region (AR) NOAA 11861 on 2013 October 12. All of the three flares occurred at same location, with similar morphologies and comparable class. Through analyzing the evolution of magnetic field and flow field, we found an emergence of magnetic flux and a strong shearing motion between two opposite polarities near the following sunspot. The magnetic flux and the average transverse field strength exhibited a decrease before each eruption and reached the lowest point at the onset of each eruption. By calculating the shearing and the emergence energy in the photosphere, we found that the integral of energy injected from the photosphere, for a few hours, could provide enough energy for the flares. The reconnection between different loops was observed in H$\alpha$ images during the occurrence of each flare. These results suggest that the emerging magnetic flux and the shearing motion in the photosphere can inject the energy to the sheared magnetic loops and the energy finally was released via magnetic reconnection to power the solar flares.


title: A syntactical and categorical analysis for Varieties with Right Existentially Defined Factor Congruences

abstract: In this paper we prove that in the context of varieties with Right Existentially Definable Factor Congruences, definability of the property "e and f are complementary central elements", stability by complements and coextensivity of its respective algebraic category, are equivalent.


title: Operational Valuation for Energy Storage under Multi-stage Price Uncertainties

abstract: This paper presents an analytical method for calculating the operational value of an energy storage device under multi-stage price uncertainties. Our solution calculates the storage value function from price distribution functions directly instead of sampling discrete scenarios, offering improved modeling accuracy over tail distribution events such as price spikes and negative prices. The analytical algorithm offers very high computational efficiency in solving multi-stage stochastic programming for energy storage and can easily be implemented within any software and hardware platform, while numerical simulation results show the proposed method is up to 100,000 times faster than a benchmark stochastic-dual dynamic programming solver even in small test cases. Case studies are included to demonstrate the impact of price variability on the valuation results, and a battery charging example using historical prices for New York City.


title: Growth and Distortion Results for a Class of Biholomorphic Mapping and Extremal Problem with Parametric Representation in $\mathbb{C}^n$

abstract: Let $\widehat{\mathcal {S}}_g^{\alpha, \beta}(\mathbb{B}^n)$ be a subclass of normalized biholomorphic mappings defined on the unit ball in $\mathbb{C}^n,$ which is closely related to the starlike mappings. Firstly, we obtain the growth theorem for $\widehat{\mathcal {S}}_g^{\alpha, \beta}(\mathbb{B}^n)$. Secondly, we apply the growth theorem and a new type of the boundary Schwarz lemma to establish the distortion theorems of the Fr\'{e}chet-derivative type and the Jacobi-determinant type for this subclass, and the distortion theorems with $g$-starlike mapping (resp. starlike mapping) are partly established also. At last, we study the Kirwan and Pell type results for the compact set of mappings which have $g$-parametric representation associated with a modified Roper-Suffridge extension operator, which extend some earlier related results.


title: Quickest Detection of Growing Dynamic Anomalies in Networks

abstract: The problem of quickest growing dynamic anomaly detection in sensor networks is studied. Initially, the observations at the sensors, which are sampled sequentially by the decision maker, are generated according to a pre-change distribution. At some unknown but deterministic time instant, a dynamic anomaly emerges in the network, affecting a different set of sensors as time progresses. The observations of the affected sensors are generated from a post-change distribution. It is assumed that the number of affected sensors increases with time, and that only the initial and the final size of the anomaly are known by the decision maker. The goal is to detect the emergence of the anomaly as quickly as possible while guaranteeing a sufficiently low frequency of false alarm events. This detection problem is posed as a stochastic optimization problem by using a delay metric that is based on the worst possible path of the anomaly. A detection rule is proposed that is asymptotically optimal as the mean time to false alarm goes to infinity. Finally, numerical results are provided to validate our theoretical analysis.


title: A New Framework for Multi-Agent Reinforcement Learning -- Centralized Training and Exploration with Decentralized Execution via Policy Distillation

abstract: Deep reinforcement learning (DRL) is a booming area of artificial intelligence. Many practical applications of DRL naturally involve more than one collaborative learners, making it important to study DRL in a multi-agent context. Previous research showed that effective learning in complex multi-agent systems demands for highly coordinated environment exploration among all the participating agents. Many researchers attempted to cope with this challenge through learning centralized value functions. However, the common strategy for every agent to learn their local policies directly often fail to nurture strong inter-agent collaboration and can be sample inefficient whenever agents alter their communication channels. To address these issues, we propose a new framework known as centralized training and exploration with decentralized execution via policy distillation. Guided by this framework and the maximum-entropy learning technique, we will first train agents' policies with shared global component to foster coordinated and effective learning. Locally executable policies will be derived subsequently from the trained global policies via policy distillation. Experiments show that our new framework and algorithm can achieve significantly better performance and higher sample efficiency than a cutting-edge baseline on several multi-agent DRL benchmarks.


title: Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

abstract: In this work, we develop a novel framework to measure the similarity between dynamic financial networks, i.e., time-varying financial networks. Particularly, we explore whether the proposed similarity measure can be employed to understand the structural evolution of the financial networks with time. For a set of time-varying financial networks with each vertex representing the individual time series of a different stock and each edge between a pair of time series representing the absolute value of their Pearson correlation, our start point is to compute the commute time matrix associated with the weighted adjacency matrix of the network structures, where each element of the matrix can be seen as the enhanced correlation value between pairwise stocks. For each network, we show how the commute time matrix allows us to identify a reliable set of dominant correlated time series as well as an associated dominant probability distribution of the stock belonging to this set. Furthermore, we represent each original network as a discrete dominant Shannon entropy time series computed from the dominant probability distribution. With the dominant entropy time series for each pair of financial networks to hand, we develop a similarity measure based on the classical dynamic time warping framework, for analyzing the financial time-varying networks. We show that the proposed similarity measure is positive definite and thus corresponds to a kernel measure on graphs. The proposed kernel bridges the gap between graph kernels and the classical dynamic time warping framework for multiple financial time series analysis. Experiments on time-varying networks extracted through New York Stock Exchange (NYSE) database demonstrate the effectiveness of the proposed approach.


title: Supersymmetry-assisted high-fidelity ground state preparation of single neutral atom in an optical tweezer

abstract: Arrays of neutral-atom qubits in optical tweezers are a promising platform for quantum computation. Despite experimental progress, a major roadblock for realizing neutral atom quantum computation is the qubit initialization. Here we propose that supersymmetry -- a theoretical framework developed in particle physics -- can be used for ultra-high fidelity initialization of neutral-atom qubits. We show that a single atom can be deterministically prepared in the vibrational ground state of an optical tweezer by adiabatically extracting all excited atoms to a supersymmetric auxiliary tweezer. The scheme works for both bosonic and fermionic atom qubits trapped in realistic Gaussian optical tweezers and may pave the way for realizing large scale quantum computation, simulation and information processing with neutral atoms.


title: Modulo: Drive-by Sensing at City-scale on the Cheap

abstract: Drive-by sensing is gaining popularity as an inexpensive way to perform fine-grained, city-scale, spatiotemporal monitoring of physical phenomena. Prior work explores several challenges in the design of low-cost sensors, the reliability of these sensors, and their application for specific use-cases like pothole detection and pollution monitoring. However, the process of deployment of a drive-by sensing network at a city-scale is still unexplored. Despite the rise of ride-sharing services, there is still no way to optimally select vehicles from a fleet that can accomplish the sensing task by providing enough coverage of the city. In this paper, we propose Modulo -- a system to bootstrap drive-by sensing deployment by taking into consideration a variety of aspects such as spatiotemporal coverage, budget constraints. Further, Modulo is well-suited to satisfy unique deployment constraints such as colocations with other sensors (needed for gas and PM sensor calibration), etc. We compare Modulo with two baseline algorithms on real-world taxi and bus datasets. We find that Modulo marginally outperforms the two baselines for datasets with just random-routes vehicles such as taxis. However, it significantly outperforms the baselines when a fleet comprises of both taxis and fixed-route vehicles such as public transport buses. Finally, we present a real-deployment that uses Modulo to select vehicles for an air pollution sensing application.


title: Easy Java/JavaScript Simulations as a tool for Learning Analytics

abstract: In this paper we introduce the new and planned features of Easy Java/JavaScript Simulations (EJS) to support Learning Analytics (LA) and Educational Data Mining (EDM) research and practice in the use of simulations for the teaching and self-learning of natural sciences and engineering. Simulations created with EJS can now be easily embedded in a popular Learning Management System using a new plug-in that allows creation of full-fledged instructional units that also collect and record fine-grained, instructional-savvy data of the students interaction with the simulation. The resulting data can then be mined to obtain information about students performance, behaviors, or learning procedures with the intention to support student learning, provide instructors with timely information about student performance, and also help optimize the pedagogic design of the simulations themselves. We describe the current development and architecture, as well as future directions for testing and extending the current capabilities of EJS as a modelling and authoring tool to support LA and EDM research and practice in the use of simulations for teaching science, in particular in the context of the increasingly popular online learning platforms.


title: Models for membrane curvature sensing of curvature generating proteins

abstract: The curvature sensitive localization of proteins on membranes is vital for many cell biological processes. Coarse-grained models are routinely employed to study the curvature sensing phenomena and membrane morphology at the length scale of few micrometers. Two prevalent phenomenological models exist for modeling experimental observations of curvature sensing, (1) the spontaneous curvature model and (2) the curvature mismatch model, which differ in their treatment of the change in elastic energy due to the binding of proteins on the membrane. In this work, the prediction of sensing and generation behaviour, by these two models, are investigated using analytical calculations as well as Dynamic Triangulation Monte Carlo simulations of quasi-spherical vesicles. While the spontaneous curvature model yields a monotonically decreasing sensing curve as a function of vesicle radius, the curvature mismatch model results in a non-monotonic sensing curve. We highlight the main differences in the interpretation of the protein-related parameters in the two models. We further propose that the spontaneous curvature model is appropriate for modeling peripheral proteins employing the hydrophobic insertion mechanism, with minimal modification of membrane rigidity, while the curvature mismatch model is appropriate for modeling curvature generation using scaffolding mechanism where there is significant stiffening of the membrane due to protein binding.


title: Implementation of a modified Nesterov's Accelerated quasi-Newton Method on Tensorflow

abstract: Recent studies incorporate Nesterov's accelerated gradient method for the acceleration of gradient based training. The Nesterov's Accelerated Quasi-Newton (NAQ) method has shown to drastically improve the convergence speed compared to the conventional quasi-Newton method. This paper implements NAQ for non-convex optimization on Tensorflow. Two modifications have been proposed to the original NAQ algorithm to ensure global convergence and eliminate linesearch. The performance of the proposed algorithm - mNAQ is evaluated on standard non-convex function approximation benchmark problems and microwave circuit modelling problems. The results show that the improved algorithm converges better and faster compared to first order optimizers such as AdaGrad, RMSProp, Adam, and the second order methods such as the quasi-Newton method.


title: Generating Mock Skeletons for Lightweight Web-Service Testing

abstract: Modern application development allows applications to be composed using lightweight HTTP services. Testing such an application requires the availability of services that the application makes requests to. However, access to dependent services during testing may be restrained. Simulating the behaviour of such services is, therefore, useful to address their absence and move on application testing. This paper examines the appropriateness of Symbolic Machine Learning algorithms to automatically synthesise HTTP services' mock skeletons from network traffic recordings. These skeletons can then be customised to create mocks that can generate service responses suitable for testing. The mock skeletons have human-readable logic for key aspects of service responses, such as headers and status codes, and are highly accurate.


title: Overlooked transportation anisotropies in d-band correlated rare-earth perovskite nickelates

abstract: Anisotropies in electronic transportations conventionally originate from the nature of low symmetries in crystal structures, and were not anticipated for perovskite oxides, the crystal asymmetricity of which is far below, e.g. van der Waals or topological crystal. Beyond conventional expectations, herein we demonstrate pronounced anisotropies in the inter-band coulomb repulsion dominated electronic transportation behaviors under low-dimensional confinement for the perovskite family of rare-earth nickelates (ReNiO3). From one aspect, imparting bi-axial interfacial strains upon various lattice planes results in extrinsic anisotropies in the abrupt orbital transitions of ReNiO3, and their metal to insulator transition behaviors that elevates the transition temperature beyond the existing merit. From the other aspect, the in-plane orbital entropy associated to the in-plane symmetry of the NiO6 octahedron within ReNiO3 causes intrinsic anisotropies for the gradually orbital transition with temperature to further improve their thermistor transportation properties. The present work unveils the overlooked role of the electronic orbital directionality within low dimensional correlated perovskites that can trigger anisotropic transportation behaviors, in spite of their relatively symmetric crystal structures. Establishing anisotropic transportations integrating the electron correlation and quantum confinement effects will bring in a new freedom for achieving further improvement in transportation properties of multi-functional perovskite oxides.


title: Sequential Adversarial Anomaly Detection for One-Class Event Data

abstract: We consider the sequential anomaly detection problem in the one-class setting when only the anomalous sequences are available and propose an adversarial sequential detector by solving a minimax problem to find an optimal detector against the worst-case sequences from a generator. The generator captures the dependence in sequential events using the marked point process model. The detector sequentially evaluates the likelihood of a test sequence and compares it with a time-varying threshold, also learned from data through the minimax problem. We demonstrate our proposed method's good performance using numerical experiments on simulations and proprietary large-scale credit card fraud datasets. The proposed method can generally apply to detecting anomalous sequences.


title: Signatures and models for syntax and operational semantics in the presence of variable binding

abstract: This thesis deals with the specification and construction of syntax and operational semantics of a programming language. We work with a general notion of signature for specifying objects of a given category as initial objects in a suitable category of models.This characterization, in the spirit of Initial Semantics, gives a justification of the recursion principle. Languages with variable binding, such as the pure lambda calculus, are monads on the category of sets specified through the classical algebraic signatures. The first extensions to syntaxes with equations that we consider are quotients of these algebraic signatures. They allow, for example, to specify a binary commutative operation. But some equations, such as associativity, seem to remain out of reach. We thus introduce the notion of 2-signature, consisting in two parts: a specification of operations through a usual signature as before, and a set of equations among them. We identify the class of algebraic 2-signatures for which the existence of the associated syntax is guaranteed. Finally, we takle the specification of the operational semantics of a programming language such as lambda calculus with beta-reduction. To this end, we introduce the notion of reduction monad and their signatures, then we generalize them to get the notion of operational monad.


title: A Nonparametric Bayesian Design for Drug Combination Cancer Trials

abstract: We propose an adaptive design for early phase drug combination cancer trials with the goal of estimating the maximum tolerated dose (MTD). A nonparametric Bayesian model, using beta priors truncated to the set of partially ordered dose combinations, is used to describe the probability of dose limiting toxicity (DLT). Dose allocation between successive cohorts of patients is estimated using a modified Continual Reassessment scheme. The updated probabilities of DLT are calculated with a Gibbs sampler that employs a weighting mechanism to calibrate the influence of data versus the prior. At the end of the trial, we recommend one or more dose combinations as the MTD based on our proposed algorithm. The design operating characteristics indicate that our method is comparable with existing methods. As an illustration, we apply our method to a phase I clinical trial of CB-839 and Gemcitabine.


title: Carina's Pillars of Destruction: the view from ALMA

abstract: Forming high-mass stars have a significant effect on their natal environment. Their feedback pathways, including winds, outflows, and ionising radiation, shape the evolution of their surroundings which impacts the formation of the next generation of stars. They create or reveal dense pillars of gas and dust towards the edges of the cavities they clear. They are modelled in feedback simulations, and the sizes and shapes of the pillars produced are consistent with those observed. However, these models predict measurably different kinematics which provides testable discriminants. Here we present the first ALMA Compact Array (ACA) survey of 13 pillars in Carina, observed in $^{12}$CO, $^{13}$CO and C$^{18}$O J=2-1, and the 230 GHz continuum. The pillars in this survey were chosen to cover a wide range in properties relating to the amount and direction of incident radiation, proximity to nearby irradiating clusters and cloud rims, and whether they are detached from the cloud. With these data, we are able to discriminate between models. We generally find pillar velocity dispersions of $<$ 1 km s$^{-1}$ and that the outer few layers of molecular emission in these pillars show no significant offsets from each other, suggesting little bulk internal motions within the pillars. There are instances where the pillars are offset in velocity from their parental cloud rim, and some with no offset, hinting at a stochastic development of these motions.


title: MeteorNet: Deep Learning on Dynamic 3D Point Cloud Sequences

abstract: Understanding dynamic 3D environment is crucial for robotic agents and many other applications. We propose a novel neural network architecture called $MeteorNet$ for learning representations for dynamic 3D point cloud sequences. Different from previous work that adopts a grid-based representation and applies 3D or 4D convolutions, our network directly processes point clouds. We propose two ways to construct spatiotemporal neighborhoods for each point in the point cloud sequence. Information from these neighborhoods is aggregated to learn features per point. We benchmark our network on a variety of 3D recognition tasks including action recognition, semantic segmentation and scene flow estimation. MeteorNet shows stronger performance than previous grid-based methods while achieving state-of-the-art performance on Synthia. MeteorNet also outperforms previous baseline methods that are able to process at most two consecutive point clouds. To the best of our knowledge, this is the first work on deep learning for dynamic raw point cloud sequences.


title: Dynamic Upsampling of Smoke through Dictionary-based Learning

abstract: Simulating turbulent smoke flows is computationally intensive due to their intrinsic multiscale behavior, thus requiring relatively high resolution grids to fully capture their complexity. For iterative editing or simply faster generation of smoke flows, dynamic upsampling of an input low-resolution numerical simulation is an attractive, yet currently unattainable goal. In this paper, we propose a novel dictionary-based learning approach to the dynamic upsampling of smoke flows. For each frame of an input coarse animation, we seek a sparse representation of small, local velocity patches of the flow based on an over-complete dictionary, and use the resulting sparse coefficients to generate a high-resolution smoke animation sequence. We propose a novel dictionary-based neural network which learns both a fast evaluation of sparse patch encoding and a dictionary of corresponding coarse and fine patches from a sequence of example simulations computed with any numerical solver. Our upsampling network then injects into coarse input sequences physics-driven fine details, unlike most previous approaches that only employed fast procedural models to add high frequency to the input. We present a variety of upsampling results for smoke flows and offer comparisons to their corresponding high-resolution simulations to demonstrate the effectiveness of our approach.


title: Homotopy equivalence of spaces of metrics with invertible Dirac operator

abstract: We prove that for cobordant closed spin manifolds of dimension $n\geq 3$ the associated spaces of metrics with invertible Dirac operator are homotopy equivalent. This is the spinorial counterpart of a similar result on positive scalar curvature of Chernysh/Walsh and generalizes the surgery result of Ammann-Dahl-Humbert on the existence of metrics with invertible Dirac operator under surgery. We also give a relative statement of this homotopy equivalence.


title: A $\nu$- support vector quantile regression model with automatic accuracy control

abstract: This paper proposes a novel '$\nu$-support vector quantile regression' ($\nu$-SVQR) model for the quantile estimation. It can facilitate the automatic control over accuracy by creating a suitable asymmetric $\epsilon$-insensitive zone according to the variance present in data. The proposed $\nu$-SVQR model uses the $\nu$ fraction of training data points for the estimation of the quantiles. In the $\nu$-SVQR model, training points asymptotically appear above and below of the asymmetric $\epsilon$-insensitive tube in the ratio of $1-\tau$ and $\tau$. Further, there are other interesting properties of the proposed $\nu$-SVQR model, which we have briefly described in this paper. These properties have been empirically verified using the artificial and real world dataset also.


title: Quantum autoencoders to denoise quantum data

abstract: Entangled states are an important resource for quantum computation, communication, metrology, and the simulation of many-body systems. However, noise limits the experimental preparation of such states. Classical data can be efficiently denoised by autoencoders---neural networks trained in unsupervised manner. We develop a novel quantum autoencoder that successfully denoises Greenberger-Horne-Zeilinger states subject to spin-flip errors and random unitary noise. Various emergent quantum technologies could benefit from the proposed unsupervised quantum neural networks.


title: Mining GOLD Samples for Conditional GANs

abstract: Conditional generative adversarial networks (cGANs) have gained a considerable attention in recent years due to its class-wise controllability and superior quality for complex generation tasks. We introduce a simple yet effective approach to improving cGANs by measuring the discrepancy between the data distribution and the model distribution on given samples. The proposed measure, coined the gap of log-densities (GOLD), provides an effective self-diagnosis for cGANs while being efficienty computed from the discriminator. We propose three applications of the GOLD: example re-weighting, rejection sampling, and active learning, which improve the training, inference, and data selection of cGANs, respectively. Our experimental results demonstrate that the proposed methods outperform corresponding baselines for all three applications on different image datasets.


title: The Selfish Higgs and Reheating

abstract: We consider the cosmological relaxation of the Higgs mass and the cosmological constant due to the four-form fluxes in four dimensions. We present a general class of models with a singlet scalar field containing four-form couplings where the Higgs mass is relaxed to a right value and the Universe reheats to a sufficiently high reheating temperature after the last membrane nucleation. We also discuss some of interesting features in the cases of singlet scalar fields with non-minimal or minimal couplings to gravity and show how the new scalar fields can play a role for dark matter production.


title: Resource Allocation in Mobility-Aware Federated Learning Networks: A Deep Reinforcement Learning Approach

abstract: Federated learning allows mobile devices, i.e., workers, to use their local data to collaboratively train a global model required by the model owner. Federated learning thus addresses the privacy issues of traditional machine learning. However, federated learning faces the energy constraints of the workers and the high network resource cost due to the fact that a number of global model transmissions may be required to achieve the target accuracy. To address the energy constraint, a power beacon can be used that recharges energy to the workers. However, the model owner may need to pay an energy cost to the power beacon for the energy recharge. To address the high network resource cost, the model owner can use a WiFi channel, called default channel, for the global model transmissions. However, communication interruptions may occur due to the instability of the default channel quality. For this, special channels such as LTE channels can be used, but this incurs channel cost. As such, the problem of the model owner is to decide amounts of energy recharged to the workers and to choose channels used to transmit its global model to the workers to maximize the number of global model transmissions while minimizing the energy and channel costs. This is challenging for the model owner under the uncertainty of the channel, energy and mobility states of the workers. In this paper, we thus propose to employ the Deep Q-Network (DQN) that enables the model owner to find the optimal decisions on the energy and the channels without any a priori network knowledge. Simulation results show that the proposed DQN always achieves better performance compared to the conventional algorithms.


title: Effects of Pauli blocking on pion production in central collisions of neutron-rich nuclei

abstract: Pauli blocking is carefully investigated for the processes of $NN \rightarrow N \Delta$ and $\Delta \rightarrow N \pi$ in heavy-ion collisions, aiming at a more precise prediction of the $\pi^-/ \pi^+$ ratio which is an important observable to constrain the high-density symmetry energy. We use the AMD+JAM approach, which combines the antisymmetrized molecular dynamics for the time evolution of nucleons and the JAM model to treat processes for $\Delta$ resonances and pions. As is known in general transport-code simulations, it is difficult to treat Pauli blocking very precisely due to unphysical fluctuations and additional smearing of the phase-space distribution function, when Pauli blocking is treated in the standard method of JAM. We propose an improved method in AMD+JAM to use the Wigner function precisely calculated in AMD as the blocking probability. Different Pauli blocking methods are compared in heavy-ion collisions of neutron-rich nuclei, ${}^{132}\mathrm{Sn}+{}^{124}\mathrm{Sn}$, at 270 MeV/nucleon. With the more accurate method, we find that Pauli blocking is stronger, in particular for the neutron in the final state in $NN \rightarrow N \Delta$ and $ \Delta \to N\pi$, compared to the case with a proton in the final state. Consequently, the $\pi^-/\pi^+$ ratio becomes higher when the Pauli blocking is improved, the effect of which is found to be comparable to the sensitivity to the high-density symmetry energy.


title: Proof of Descartes circle formula and its generalization clarified

abstract: In his talk "Integral Apollonian disk Packings" Peter Sarnak asked if there is a "proof from the Book" of the Descartes theorem on circles. A candidate for such a proof is presented in this note


title: Numerical treatment of nonlinear Fourier and Maxwell-Cattaneo-Vernotte heat transport equations

abstract: The second law of thermodynamics is a useful and universal tool to derive the generalizations of the Fourier's law. In many cases, only linear relations are considered between the thermodynamic fluxes and forces, i.e., the conduction coefficients are independent of the temperature. In the present paper, we investigate a particular nonlinearity in which the thermal conductivity depends on the temperature linearly. Also, that assumption is extended to the relaxation time, which appears in the hyperbolic generalization of Fourier's law, namely the Maxwell-Cattaneo-Vernotte (MCV) equation. Although such nonlinearity in the Fourier heat equation is well-known in the literature, its extension onto the MCV equation is rarely applied. Since these nonlinearities have significance from an experimental point of view, an efficient way is needed to solve the system of partial differential equations. In the following, we present a numerical method that is first developed for linear generalized heat equations. The related stability conditions are also discussed.


title: A new probe to study symmetry energy at low density by deuteron breakup reaction

abstract: The reactions of nucleon and polarized deuteron scattered off a heavy target at large impact parameter with intermediate energies have been investigated by using the improved quantum molecular dynamics model. It is found that, due to the difference effect of isovector potential on proton and neutron, there is a significant difference between the angle distribution of elastic scattering protons and neutrons. To overcome the lack of monochromatic neutron beam, the reaction of polarized deuteron peripherally scattered off the heavy target is used to replace the reaction of individual proton and neutron scattered off heavy target to study the isospin effect. It is found that the distributions of elastic scattering angle of proton and neutron originating from the breakup of deuteron are very similar to the results of the individual proton- and neutron-induced reaction. A new probe more effective and more clean, namely the difference between elastic scattering angle of proton and neutron originating from the breakup of polarized deuteron, is promoted to constrain the symmetry energy at subsaturation density.


title: A Complexity Efficient DMT-Optimal Tree Pruning Based Sphere Decoding

abstract: We present a diversity multiplexing tradeoff (DMT) optimal tree pruning sphere decoding algorithm which visits merely a single branch of the search tree of the sphere decoding (SD) algorithm, while maintaining the DMT optimality at high signal to noise ratio (SNR) regime. The search tree of the sphere decoding algorithm is pruned via intersecting one dimensional spheres with the hypersphere of the SD algorithm, and the radii are chosen to guarantee the DMT optimality. In contrast to the conventional DMT optimal SD algorithm, which is known to have a polynomial complexity at high SNR regime, we show that the proposed method achieves the DMT optimality by solely visiting a single branch of the search tree at high SNR regime. The simulation results are corroborated with the claimed characteristics of the algorithm in two different scenarios.


title: New lower bounds for partial $k$-parallelisms

abstract: Due to the applications in network coding, subspace codes and designs have received many attentions. Suppose that $k\mid n$ and $V(n,q)$ is an $n$-dimensional space over the finite field $\mathbb{F}_{q}$. A $k$-spread is a $\frac{q^n-1}{q^k-1}$-set of $k$-dimensional subspaces of $V(n,q)$ such that each nonzero vector is covered exactly once. A partial $k$-parallelism in $V(n,q)$ is a set of pairwise disjoint $k$-spreads. As the number of $k$-dimensional subspaces in $V(n,q)$ is ${n \brack k}_{q}$, there are at most ${n-1 \brack k-1}_{q}$ spreads in a partial $k$-parallelism. By studying the independence numbers of Cayley graphs associated to a special type of partial $k$-parallelisms in $V(n,q)$, we obtain new lower bounds for partial $k$-parallelisms. In particular, we show that there exist at least $\frac{q^{k}-1}{q^{n}-1}{n-1 \brack k-1}_q$ pairwise disjoint $k$-spreads in $V(n,q)$.


title: Thermalization of finite many-body systems by a collision model

abstract: We construct a collision model description of the thermalization of a finite many-body system by using careful derivation of the corresponding Lindblad-type master equation in the weak coupling regime. Using the example of two level target system, we show that collision model thermalization is crucially dependent on the various relevant system and bath timescales and on ensuring that the environment is composed of ancillae which are resonant with the system transition frequencies. Using this we extend our analysis to show that our collision model can lead to thermalisation for certain classes of many-body systems. We establish that for classically correlated systems our approach is effective, while we also highlight its shortcomings, in particular with regards to reaching entangled thermal states.


title: Diamonds in the Rough: Generating Fluent Sentences from Early-Stage Drafts for Academic Writing Assistance

abstract: The writing process consists of several stages such as drafting, revising, editing, and proofreading. Studies on writing assistance, such as grammatical error correction (GEC), have mainly focused on sentence editing and proofreading, where surface-level issues such as typographical, spelling, or grammatical errors should be corrected. We broaden this focus to include the earlier revising stage, where sentences require adjustment to the information included or major rewriting and propose Sentence-level Revision (SentRev) as a new writing assistance task. Well-performing systems in this task can help inexperienced authors by producing fluent, complete sentences given their rough, incomplete drafts. We build a new freely available crowdsourced evaluation dataset consisting of incomplete sentences authored by non-native writers paired with their final versions extracted from published academic papers for developing and evaluating SentRev models. We also establish baseline performance on SentRev using our newly built evaluation dataset.


title: Alias Sampling Effect on the Calculation of MHD Mode Number in Fusion Plasma

abstract: Detailed alias frequency formula and the effect of alias sampling on the calculation of MHD mode number are derived. It is discovered that the absolute MHD mode number/structure does not change under alias sampling. This discovery can help us to determine the structure of the high frequency MHD mode with low frequency sampled diagnostics even when the Nyquist-Shannon sampling theorem is no longer valid.


title: Hadamard Codebook Based Deep Hashing

abstract: As an approximate nearest neighbor search technique, hashing has been widely applied in large-scale image retrieval due to its excellent efficiency. Most supervised deep hashing methods have similar loss designs with embedding learning, while quantizing the continuous high-dim feature into compact binary space. We argue that the existing deep hashing schemes are defective in two issues that seriously affect the performance, i.e., bit independence and bit balance. The former refers to hash codes of different classes should be independent of each other, while the latter means each bit should have a balanced distribution of +1s and -1s. In this paper, we propose a novel supervised deep hashing method, termed Hadamard Codebook based Deep Hashing (HCDH), which solves the above two problems in a unified formulation. Specifically, we utilize an off-the-shelf algorithm to generate a binary Hadamard codebook to satisfy the requirement of bit independence and bit balance, which subsequently serves as the desired outputs of the hash functions learning. We also introduce a projection matrix to solve the inconsistency between the order of Hadamard matrix and the number of classes. Besides, the proposed HCDH further exploits the supervised labels by constructing a classifier on top of the outputs of hash functions. Extensive experiments demonstrate that HCDH can yield discriminative and balanced binary codes, which well outperforms many state-of-the-arts on three widely-used benchmarks.


title: Semantic Graph Convolutional Network for Implicit Discourse Relation Classification

abstract: Implicit discourse relation classification is of great importance for discourse parsing, but remains a challenging problem due to the absence of explicit discourse connectives communicating these relations. Modeling the semantic interactions between the two arguments of a relation has proven useful for detecting implicit discourse relations. However, most previous approaches model such semantic interactions from a shallow interactive level, which is inadequate on capturing enough semantic information. In this paper, we propose a novel and effective Semantic Graph Convolutional Network (SGCN) to enhance the modeling of inter-argument semantics on a deeper interaction level for implicit discourse relation classification. We first build an interaction graph over representations of the two arguments, and then automatically extract in-depth semantic interactive information through graph convolution. Experimental results on the English corpus PDTB and the Chinese corpus CDTB both demonstrate the superiority of our model to previous state-of-the-art systems.


title: State-Aware Rate Adaptation for UAVs by Incorporating On-Board Sensors

abstract: Nowadays unmanned aerial vehicles (UAVs) are being widely applied to a wealth of civil and military applications. Robust and high-throughput wireless communication is the crux of these UAV applications. Yet, air-to-ground links suffer from time-varying channels induced by the agile mobility and dynamic environments. Rate adaptation algorithms are generally used to choose the optimal data rate based on the current channel conditions. State-of-the-art approaches leverage physical layer information for rate adaptation, and they work well under certain conditions. However, the above protocols still have limitation under constantly changing flight states and environments for air-to-ground links. To solve this problem, we propose StateRate, a state-optimized rate adaptation algorithm that fully exploits the characteristics of UAV systems using a hybrid deep learning model. The key observation is that the rate adaptation strategy needs to be adjusted according to motion-dependent channel models, which can be reflected by flight states. In this work, the rate adaptation protocol is enhanced with the help of the on-board sensors in UAVs. To make full use of the sensor data, we introduce a learning-based prediction module by leveraging the internal state to dynamically store temporal features under variable flight states. We also present an online learning algorithm by employing the pre-trained model that adapts the rate adaptation algorithm to different environments. We implement our algorithm on a commercial UAV platform and evaluate it in various environments. The results demonstrate that our system outperforms the best-known rate adaptation algorithm up to 53% in terms of throughput when the velocity is 2-6~m/s.


title: Exploring Simple and Transferable Recognition-Aware Image Processing

abstract: Recent progress in image recognition has stimulated the deployment of vision systems at an unprecedented scale. As a result, visual data are now often consumed not only by humans but also by machines. Existing image processing methods only optimize for better human perception, yet the resulting images may not be accurately recognized by machines. This can be undesirable, e.g., the images can be improperly handled by search engines or recommendation systems. In this work, we examine simple approaches to improve machine recognition of processed images: optimizing the recognition loss directly on the image processing network or through an intermediate input transformation model. Interestingly, the processing model's ability to enhance recognition quality can transfer when evaluated on models of different architectures, recognized categories, tasks and training datasets. This makes the methods applicable even when we do not have the knowledge of future recognition models, e.g., when uploading processed images to the Internet. We conduct experiments on multiple image processing tasks paired with ImageNet classification and PASCAL VOC detection as recognition tasks. With these simple yet effective methods, substantial accuracy gain can be achieved with strong transferability and minimal image quality loss. Through a user study we further show that the accuracy gain can transfer to a black-box cloud model. Finally, we try to explain this transferability phenomenon by demonstrating the similarities of different models' decision boundaries. Code is available at https://github.com/liuzhuang13/Transferable_RA .


title: On $\kappa$-bounded and $M$-compact reflections of topological spaces

abstract: For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map $f:X\to Y$ to a space $Y\in\mathsf T$ there exists a unique continuous map $\bar f:\mathsf T X\to Y$ such that $f=\bar f\circ i_X$. In this paper for an infinite cardinal $\kappa$ and a nonempty set $M$ of ultrafilters on $\kappa$, we study the reflections of topological spaces in the classes $\mathsf H_\kappa$ of $\kappa$-bounded Hausdorff spaces and $\mathsf H_M$ of $M$-compact Hausdorff spaces (a topological space $X$ is $\kappa$-bounded if the closures of subsets of cardinality $\le\kappa$ in $X$ are compact; $X$ is $M$-compact if any function $x:\kappa\to X$ has a $p$-limit in $M$ for every ultrafilter $p\in M$).