title: Consolidating a Model for Describing Situated Software Practices

abstract: Many prescriptive approaches to developing software intensive systems have been advocated but each is based on assumptions about context. It has been found that practitioners do not follow prescribed methodologies, but rather select and adapt specific practices according to local needs. As researchers, we would like to be in a position to support such tailoring. However, at the present time we simply do not have sufficient evidence relating practice and context for this to be possible. We have long understood that a deeper understanding of situated software practices is crucial for progress in this area, and have been exploring this problem from a number of perspectives. In this position paper, we draw together the various aspects of our work into a holistic model and discuss the ways in which the model might be applied to support the long term goal of evidence-based decision support for practitioners. The contribution specific to this paper is a discussion on model evaluation, including a proof-of-concept demonstration of model utility. We map Kernel elements from the Essence system to our model and discuss gaps and limitations exposed in the Kernel. Finally, we overview our plans for further refining and evaluating the model.


title: Gated Ensemble of Spatio-temporal Mixture of Experts for Multi-task Learning in Ride-hailing System

abstract: Designing spatio-temporal forecasting models separately in a task-wise and city-wise manner poses a burden for the expanding transportation network companies. Therefore, a multi-task learning architecture is proposed in this study by developing gated ensemble of spatio-temporal mixture of experts network (GESME-Net) with convolutional recurrent neural network (CRNN), convolutional neural network (CNN), and recurrent neural network (RNN) for simultaneously forecasting spatio-temporal tasks in a city as well as across different cities. Furthermore, a task adaptation layer is integrated with the architecture for learning joint representation in multi-task learning and revealing the contribution of the input features utilized in prediction. The proposed architecture is tested with data from Didi Chuxing for: (i) simultaneously forecasting demand and supply-demand gap in Beijing, and (ii) simultaneously forecasting demand across Chengdu and Xian. In both scenarios, models from our proposed architecture outperformed the single-task and multi-task deep learning benchmarks and ensemble-based machine learning algorithms.


title: UNIMO: Towards Unified-Modal Understanding and Generation via Cross-Modal Contrastive Learning

abstract: Existed pre-training methods either focus on single-modal tasks or multi-modal tasks, and cannot effectively adapt to each other. They can only utilize single-modal data (i.e. text or image) or limited multi-modal data (i.e. image-text pairs). In this work, we propose a unified-modal pre-training architecture, namely UNIMO, which can effectively adapt to both single-modal and multi-modal understanding and generation tasks. Large scale of free text corpus and image collections can be utilized to improve the capability of visual and textual understanding, and cross-modal contrastive learning (CMCL) is leveraged to align the textual and visual information into a unified semantic space over a corpus of image-text pairs. As the non-paired single-modal data is very rich, our model can utilize much larger scale of data to learn more generalizable representations. Moreover, the textual knowledge and visual knowledge can enhance each other in the unified semantic space. The experimental results show that UNIMO significantly improves the performance of several single-modal and multi-modal downstream tasks. Our code and pre-trained models are public at the UNIMO project page https://unimo-ptm.github.io/


title: Algorithms for Learning Graphs in Financial Markets

abstract: In the past two decades, the field of applied finance has tremendously benefited from graph theory. As a result, novel methods ranging from asset network estimation to hierarchical asset selection and portfolio allocation are now part of practitioners' toolboxes. In this paper, we investigate the fundamental problem of learning undirected graphical models under Laplacian structural constraints from the point of view of financial market times series data. In particular, we present natural justifications, supported by empirical evidence, for the usage of the Laplacian matrix as a model for the precision matrix of financial assets, while also establishing a direct link that reveals how Laplacian constraints are coupled to meaningful physical interpretations related to the market index factor and to conditional correlations between stocks. Those interpretations lead to a set of guidelines that practitioners should be aware of when estimating graphs in financial markets. In addition, we design numerical algorithms based on the alternating direction method of multipliers to learn undirected, weighted graphs that take into account stylized facts that are intrinsic to financial data such as heavy tails and modularity. We illustrate how to leverage the learned graphs into practical scenarios such as stock time series clustering and foreign exchange network estimation. The proposed graph learning algorithms outperform the state-of-the-art methods in an extensive set of practical experiments. Furthermore, we obtain theoretical and empirical convergence results for the proposed algorithms. Along with the developed methodologies for graph learning in financial markets, we release an R package, called fingraph, accommodating the code and data to obtain all the experimental results.


title: Constrained and Composite Optimization via Adaptive Sampling Methods

abstract: The motivation for this paper stems from the desire to develop an adaptive sampling method for solving constrained optimization problems in which the objective function is stochastic and the constraints are deterministic. The method proposed in this paper is a proximal gradient method that can also be applied to the composite optimization problem min f(x) + h(x), where f is stochastic and h is convex (but not necessarily differentiable). Adaptive sampling methods employ a mechanism for gradually improving the quality of the gradient approximation so as to keep computational cost to a minimum. The mechanism commonly employed in unconstrained optimization is no longer reliable in the constrained or composite optimization settings because it is based on pointwise decisions that cannot correctly predict the quality of the proximal gradient step. The method proposed in this paper measures the result of a complete step to determine if the gradient approximation is accurate enough; otherwise a more accurate gradient is generated and a new step is computed. Convergence results are established both for strongly convex and general convex f. Numerical experiments are presented to illustrate the practical behavior of the method.


title: WiForce: Wireless Sensing and Localization of Contact Forces on a Space Continuum

abstract: Contact force is a natural way for humans to interact with the physical world around us. However, most of our interactions with the digital world are largely based on a simple binary sense of touch (contact or no contact). Similarly, when interacting with robots to perform complex tasks, such as surgery, richer force information that includes both magnitude and contact location is important for task performance. To address these challenges, we present the design and fabrication of WiForce which is a 'wireless' sensor, sentient to contact force magnitude and location. WiForce achieves this by transducing force magnitude and location, to phase changes of an incident RF signal of a backscattering tag. The phase changes are thus modulated into the backscattered RF signal, which enables measurement of force magnitude and contact location by inferring the phases of the reflected RF signal. WiForce's sensor is designed to support wide-band frequencies all the way up to 3 GHz. We evaluate the force sensing wirelessly in different environments, including through phantom tissue, and achieve force accuracy of 0.3 N and contact location accuracy of 0.6 mm.


title: New Bag of Deep Visual Words based features to classify chest x-ray images for COVID-19 diagnosis

abstract: Because the infection by Severe Acute Respiratory Syndrome Coronavirus 2 (COVID-19) causes the pneumonia-like effect in the lungs, the examination of chest x-rays can help to diagnose the diseases. For automatic analysis of images, they are represented in machines by a set of semantic features. Deep Learning (DL) models are widely used to extract features from images. General deep features may not be appropriate to represent chest x-rays as they have a few semantic regions. Though the Bag of Visual Words (BoVW) based features are shown to be more appropriate for x-ray type of images, existing BoVW features may not capture enough information to differentiate COVID-19 infection from other pneumonia-related infections. In this paper, we propose a new BoVW method over deep features, called Bag of Deep Visual Words (BoDVW), by removing the feature map normalization step and adding deep features normalization step on the raw feature maps. This helps to preserve the semantics of each feature map that may have important clues to differentiate COVID-19 from pneumonia. We evaluate the effectiveness of our proposed BoDVW features in chest x-rays classification using Support Vector Machine (SVM) to diagnose COVID-19. Our results on a publicly available COVID-19 x-ray dataset reveal that our features produce stable and prominent classification accuracy, particularly differentiating COVID-19 infection from other pneumonia, in shorter computation time compared to the state-of-the-art methods. Thus, our method could be a very useful tool for quick diagnosis of COVID-19 patients on a large scale.


title: Non-reciprocal response of a two-dimensional fluid with odd viscosity

abstract: We discuss the linear hydrodynamic response of a two-dimensional active chiral compressible fluid with odd viscosity. The viscosity coefficient represents broken time-reversal and parity symmetries in the 2D fluid and characterizes the deviation of the system from a passive fluid. Taking into account the hydrodynamic coupling to the underlying bulk fluid, we obtain the odd viscosity-dependent mobility tensor, which is responsible for the non-reciprocal hydrodynamic response to a point force. Furthermore, we consider a finite-size disk moving laterally in the 2D fluid and demonstrate that the disk experiences a non-dissipative lift force in addition to the dissipative drag one.


title: Neutron diffraction study of magnetism in van der Waals layered MnBi$_{2n}$Te$_{3n+1}$

abstract: Two-dimensional van der Waals MnBi$_{2n}$Te$_{3n+1}$ (n = 1, 2, 3, 4) compounds have been recently found to be intrinsic magnetic topological insulators rendering quantum anomalous Hall effect and diverse topological states. Here, we summarize and compare the crystal and magnetic structures of this family, and discuss the effects of chemical composition on their magnetism. We found that a considerable fraction of Bi occupies at the Mn sites in MnBi$_{2n}$Te$_{3n+1}$ (n = 1, 2, 3, 4) while Mn is no detectable at the non-magnetic atomic sites within the resolution of neutron diffraction experiments. The occupancy of Mn monotonically decreases with the increase of n. The polarized neutron diffraction on the representative MnBi$_{4}$Te$_{7}$ reveals that its magnetization density is exclusively accumulated at the Mn site, in good agreement with the results from the unpolarized neutron diffraction. The defects of Bi at the Mn site naturally explain the continuously reduced saturated magnetic moments from n = 1 to n = 4. The experimentally estimated critical exponents of all the compounds generally suggest a three-dimensional character of magnetism. Our work provides material-specified structural parameters that may be useful for band structure calculations to understand the observed topological surface states and for designing quantum magnetic materials through chemical doping.


title: Directed Beam Search: Plug-and-Play Lexically Constrained Language Generation

abstract: Large pre-trained language models are capable of generating realistic text. However, controlling these models so that the generated text satisfies lexical constraints, i.e., contains specific words, is a challenging problem. Given that state-of-the-art language models are too large to be trained from scratch in a manageable time, it is desirable to control these models without re-training them. Methods capable of doing this are called plug-and-play. Recent plug-and-play methods have been successful in constraining small bidirectional language models as well as forward models in tasks with a restricted search space, e.g., machine translation. However, controlling large transformer-based models to meet lexical constraints without re-training them remains a challenge. In this work, we propose Directed Beam Search (DBS), a plug-and-play method for lexically constrained language generation. Our method can be applied to any language model, is easy to implement and can be used for general language generation. In our experiments we use DBS to control GPT-2. We demonstrate its performance on keyword-to-phrase generation and we obtain comparable results as a state-of-the-art non-plug-and-play model for lexically constrained story generation.


title: New approach to broad line region radius in Mrk142 after considering potential short-term optical transient quasi-periodic oscillations

abstract: Mrk142 has been known as the only outlier in R-L space (correlation between BLRs (broad line regions) radii and continuum luminosity) among the low redshift local reverberation mapped broad line AGNs (BLAGNs) with moderate accretion rates, due to its BLRs radius smaller than R-L expected value. Here, considering probable optical transient quasi-periodic oscillations (QPOs), a new approach to assessing the BLRs radius can be considered. Reliable transient QPOs in high-energy emissions from black hole vicinity have been reported in several normal AGNs, however there are so-far few short-term low-energy optical transient QPOs in normal BLAGNs (not the QPOs reported in blazars nor in AGNs harbouring binary BH systems). Through the photometric optical light curves well directly described by sinusoidal functions, we report probable short-term optical transient QPOs with periodicities around 14days and 43days in BLAGN Mrk142, indicating similar but scaled optical QPOs as those in high-energy bands. Considering the 14days QPOs related to reprocessing procedure, new approach to the BLRs radius can be estimated in Mrk142 through the reverberation mapping technique. The new BLRs radius of Mrk142 well follows the R-L relation, demonstrating the R-L relation is fundamental in local normal BLAGNs without ultra-high accretion rates.


title: EPIHC: Improving Enhancer-Promoter Interaction Prediction by using Hybrid features and Communicative learning

abstract: Enhancer-promoter interactions (EPIs) regulate the expression of specific genes in cells, and EPIs are important for understanding gene regulation, cell differentiation and disease mechanisms. EPI identification through the wet experiments is costly and time-consuming, and computational methods are in demand. In this paper, we propose a deep neural network-based method EPIHC based on sequence-derived features and genomic features for the EPI prediction. EPIHC extracts features from enhancer and promoter sequences respectively using convolutional neural networks (CNN), and then design a communicative learning module to captures the communicative information between enhancer and promoter sequences. EPIHC also take the genomic features of enhancers and promoters into account. At last, EPIHC combines sequence-derived features and genomic features to predict EPIs. The computational experiments show that EPIHC outperforms the existing state-of-the-art EPI prediction methods on the benchmark datasets and chromosome-split datasets, and the study reveal that the communicative learning module can bring explicit information about EPIs, which is ignore by CNN. Moreover, we consider two strategies to improve performances of EPIHC in the cross-cell line prediction, and experimental results show that EPIHC constructed on training cell lines exhibit improved performances for the other cell lines.


title: An Experimental Evaluation of Transformer-based Language Models in the Biomedical Domain

abstract: With the growing amount of text in health data, there have been rapid advances in large pre-trained models that can be applied to a wide variety of biomedical tasks with minimal task-specific modifications. Emphasizing the cost of these models, which renders technical replication challenging, this paper summarizes experiments conducted in replicating BioBERT and further pre-training and careful fine-tuning in the biomedical domain. We also investigate the effectiveness of domain-specific and domain-agnostic pre-trained models across downstream biomedical NLP tasks. Our finding confirms that pre-trained models can be impactful in some downstream NLP tasks (QA and NER) in the biomedical domain; however, this improvement may not justify the high cost of domain-specific pre-training.


title: Heterogeneous recovery from large scale power failures

abstract: Large-scale power failures are induced by nearly all natural disasters from hurricanes to wild fires. A fundamental problem is whether and how recovery guided by government policies is able to meet the challenge of a wide range of disruptions. Prior research on this problem is scant due to lack of sharing large-scale granular data at the operational energy grid, stigma of revealing limitations of services, and complex recovery coupled with policies and customers. As such, both quantification and firsthand information are lacking on capabilities and fundamental limitation of energy services in response to extreme events. Furthermore, government policies that guide recovery are often sidelined by prior study. This work studies the fundamental problem through the lens of recovery guided by two commonly adopted policies. We develop data analysis on unsupervised learning from non-stationary data. The data span failure events, from moderate to extreme, at the operational distribution grid during the past nine years in two service regions at the state of New York and Massachusetts. We show that under the prioritization policy favoring large failures, recovery exhibits a surprising scaling property which counteracts failure scaling on the infrastructure vulnerability. However, heterogeneous recovery widens with the severity of failure events: large failures that cannot be prioritized increase customer interruption time by 47 folds. And, prolonged small failures dominate the entire temporal evolution of recovery.


title: Verb Knowledge Injection for Multilingual Event Processing

abstract: In parallel to their overwhelming success across NLP tasks, language ability of deep Transformer networks, pretrained via language modeling (LM) objectives has undergone extensive scrutiny. While probing revealed that these models encode a range of syntactic and semantic properties of a language, they are still prone to fall back on superficial cues and simple heuristics to solve downstream tasks, rather than leverage deeper linguistic knowledge. In this paper, we target one such area of their deficiency, verbal reasoning. We investigate whether injecting explicit information on verbs' semantic-syntactic behaviour improves the performance of LM-pretrained Transformers in event extraction tasks -- downstream tasks for which accurate verb processing is paramount. Concretely, we impart the verb knowledge from curated lexical resources into dedicated adapter modules (dubbed verb adapters), allowing it to complement, in downstream tasks, the language knowledge obtained during LM-pretraining. We first demonstrate that injecting verb knowledge leads to performance gains in English event extraction. We then explore the utility of verb adapters for event extraction in other languages: we investigate (1) zero-shot language transfer with multilingual Transformers as well as (2) transfer via (noisy automatic) translation of English verb-based lexical constraints. Our results show that the benefits of verb knowledge injection indeed extend to other languages, even when verb adapters are trained on noisily translated constraints.


title: An Order-Aware Dataflow Model for Parallel Unix Pipelines

abstract: We present a dataflow model for modelling parallel Unix shell pipelines. To accurately capture the semantics of complex Unix pipelines, the dataflow model is order-aware, i.e., the order in which a node in the dataflow graph consumes inputs from different edges plays a central role in the semantics of the computation and therefore in the resulting parallelization. We use this model to capture the semantics of transformations that exploit data parallelism available in Unix shell computations and prove their correctness. We additionally formalize the translations from the Unix shell to the dataflow model and from the dataflow model back to a parallel shell script. We implement our model and transformations as the compiler and optimization passes of a system parallelizing shell pipelines, and use it to evaluate the speedup achieved on 47 pipelines.


title: Lattice-based Signcryption with Equality Test in Standard Model

abstract: A signcryption, which is an integration of a public key encryption and a digital signature, can provide confidentiality and authenticity simultaneously. Additionally, a signcryption associated with equality test allows a third party (e.g., a cloud server) to check whether or not two ciphertexts are encrypted from the same message without knowing the message. This application plays an important role especially in computing on encrypted data. In this paper, we propose the first lattice-based signcryption scheme equipped with a solution to testing the message equality in the standard model. The proposed signcryption scheme is proven to be secure against insider attacks under the learning with errors assumption and the intractability of the short integer solution problem. As a by-product, we also show that some existing lattice-based signcryptions either is insecure or does not work correctly.


title: Comparison of different approaches to single-molecule imaging of enhanced enzyme diffusion

abstract: Enzymes have been shown to diffuse faster in the presence of their reactants. Recently, we revealed new insights into this process of enhanced diffusion using single-particle tracking (SPT) with total internal reflection fluorescence (TIRF) microscopy. We found that the mobility of individual enzymes was enhanced three fold in the presence of the substrate, and the motion remained Brownian. In this work, we compare different experimental designs, as well as different data analysis approaches, for studying single enzyme diffusion. We first tether enzymes directly on supported lipid bilayers (SLBs) to constrain the diffusion of enzymes to two dimensions. This experimental design recovers the 3-fold enhancement in enzyme diffusion in the presence of the substrate, as we observed before. We also simplify our system by replacing the bulky polymers used in the prior chamber design with a SLB-coated surface and glycerol. Using this newly-designed SLB/glycerol chamber, we compare two different analysis approaches for SPT: the mean-squared displacement (MSD) analysis and the jump-length analysis. We find that the MSD analysis requires high viscosity and large particles to accurately report the diffusion coefficient, while jump-length analysis depends less on the viscosity or size. Furthermore, the SLB-glycerol chamber fails to reproduce the enhanced diffusion of enzymes because glycerol inhibits enzyme activity.


title: The jsRealB Text Realizer: Organization and Use Cases -- Revised version

abstract: This paper describes the design principles behind jsRealB (Version 4.0), a surface realizer written JavaScript for English or French sentences from a specification inspired by the constituent syntax formalism but for which a dependency-based input notation is also available. jsRealB can be used either within a web page or as a node.js module. We show that the seemingly simple process of text realization involves many interesting implementation challenges in order to take into account the specifics of each language. jsRealB has a large coverage of English and French and has been used to develop realistic data-to-text applications and to reproduce existing literary texts and sentences from Universal Dependency annotations. Its source code and that of its applications are available on GitHub. The port of this approach to Python (pyrealb) is also presented.


title: Damping of slow surface kink modes in solar photospheric waveguides modeled by one-dimensional inhomogeneities

abstract: Given the recent interest in magnetohydrodynamic (MHD) waves in pores and sunspot umbrae, we examine the damping of slow surface kink modes (SSKMs) by modeling solar photospheric waveguides with a cylindrical inhomogeneity comprising a uniform interior, a uniform exterior, and a continuous transition layer (TL) in between. Performing an eigen-mode analysis in linear, resistive, gravity-free MHD, our approach is idealized in that, among other things, our equilibrium is structured only in the radial direction. We can nonetheless address two damping mechanisms simultaneously, one being the Ohmic resistivity, and the other being the resonant absorption of SSKMs in the cusp and Alfv$\acute{\rm e}$n continua. We find that the relative importance of the two mechanisms depends sensitively on the magnetic Reynolds number ($R_{\rm m}$). Resonant absorption is the sole damping mechanism for realistically large values of $R_{\rm m}$, and the cusp resonance in general dominates the Alfv$\acute{\rm e}$n one unless the axial wavenumbers are at the lower end of the observationally relevant range. We also find that the thin-boundary approximation holds only when the TL-width-to-radius ratios are much smaller than nominally expected. The Ohmic resistivity is far more important for realistically small $R_{\rm m}$. Even in this case, SSKMs are only marginally damped, with damping-time-to-period-ratios reaching $\sim 10$ in the parameter range we examine.


title: Curriculum-based Deep Reinforcement Learning for Quantum Control

abstract: Deep reinforcement learning has been recognized as an efficient technique to design optimal strategies for different complex systems without prior knowledge of the control landscape. To achieve a fast and precise control for quantum systems, we propose a novel deep reinforcement learning approach by constructing a curriculum consisting of a set of intermediate tasks defined by a fidelity threshold. Tasks among a curriculum can be statically determined using empirical knowledge or adaptively generated with the learning process. By transferring knowledge between two successive tasks and sequencing tasks according to their difficulties, the proposed curriculum-based deep reinforcement learning (CDRL) method enables the agent to focus on easy tasks in the early stage, then move onto difficult tasks, and eventually approaches the final task. Numerical simulations on closed quantum systems and open quantum systems demonstrate that the proposed method exhibits improved control performance for quantum systems and also provides an efficient way to identify optimal strategies with fewer control pulses.


title: Convenient tail bounds for sums of random tensors

abstract: This work prepares new probability bounds for sums of random, independent, Hermitian tensors. These probability bounds characterize large-deviation behavior of the extreme eigenvalue of the sums of random tensors. We extend Lapalace transform method and Lieb's concavity theorem from matrices to tensors, and apply these tools to generalize the classical bounds associated with the names Chernoff, Bennett, and Bernstein from the scalar to the tensor setting. Tail bounds for the norm of a sum of random rectangular tensors are also derived from corollaries of random Hermitian tensors cases. The proof mechanism can also be applied to tensor-valued martingales and tensor-based Azuma, Hoeffding and McDiarmid inequalities are established.


title: On the Cauchy problem for the Hunter-Saxton equation on the line

abstract: In this paper, we consider the Cauchy problem for the Hunter-Saxton (HS) equation on the line. Firstly, we establish the local well-posedness for the integral form of the (HS) equation by constructing some special spaces $E^s_{p,r}$, which mix Lebesgue spaces and homogeneous Besov spaces. Then we present a global existence result and provide a sufficient condition for strong solutions to blow up in finite time for the equation. Finally, we give the ill-posedness and the unique continuation of the Hunter-Saxton equation.


title: Hairy Magnetic and Dyonic Black Holes in the Standard Model

abstract: Spherically symmetric magnetic and dyonic black holes with a magnetic charge $Q=2$ are studied in the Standard Model and general relativity. A magnetically charged black hole with mass below $9.3\times 10^{35}$ GeV has a "hairy" cloud of electroweak gauge and Higgs fields outside the event horizon with $1/m_W$ in size. An extremal magnetic black hole has a hair mass of 3.6 TeV, while an extremal dyonic black hole has an additional mass of $q^2 \times 1.6$ GeV for a small electric charge $q \ll 2\pi/e^2$. A hairy dyonic black hole with an integer charge is not stable and can decay into a magnetic one plus charged fermions. On the other hand, a hairy magnetic black hole can evolve via Hawking radiation into a nearly extremal one that is cosmologically stable and an interesting object to be searched for.


title: Exact categories of topological vector spaces with linear topology

abstract: We explain why the naive definition of a natural exact category structure on complete, separated topological vector spaces with linear topology fails. In particular, contrary to arXiv:0711.2527, the category of such topological vector spaces is not quasi-abelian. We present a corrected definition of exact category structure which works OK. Then we explain that the corrected definition still has a shortcoming in that a natural tensor product functor is not exact in it, and discuss ways to refine the exact category structure so as to make the tensor product functors exact.


title: SharpGAN: Receptive Field Block Net for Dynamic Scene Deblurring

abstract: When sailing at sea, the smart ship will inevitably produce swaying motion due to the action of wind, wave and current, which makes the image collected by the visual sensor appear motion blur. This will have an adverse effect on the object detection algorithm based on the vision sensor, thereby affect the navigation safety of the smart ship. In order to remove the motion blur in the images during the navigation of the smart ship, we propose SharpGAN, a new image deblurring method based on the generative adversarial network. First of all, the Receptive Field Block Net (RFBNet) is introduced to the deblurring network to strengthen the network's ability to extract the features of blurred image. Secondly, we propose a feature loss that combines different levels of image features to guide the network to perform higher-quality deblurring and improve the feature similarity between the restored images and the sharp image. Finally, we propose to use the lightweight RFB-s module to improve the real-time performance of deblurring network. Compared with the existing deblurring methods on large-scale real sea image datasets and large-scale deblurring datasets, the proposed method not only has better deblurring performance in visual perception and quantitative criteria, but also has higher deblurring efficiency.


title: Discontinuous Galerkin methods for the Laplace-Beltrami operator on point cloud

abstract: This paper is delicate to the development of high-order numerical algorithms for solving partial differential equations on point clouds. We introduce a new geometric error analysis framework which requires neither global continuity of surface patches nor exact geometric information, e.g., embedding maps, tangent spaces. The new framework provides us a fundamental tool to analyze discontinuous Galerkin (DG) methods for the Laplace-Beltrami operator on point clouds. It is illustrated using examples of an interior penalty DG method for solving the Laplace-Beltrami equation and the corresponding eigenvalue problem with numerical verification.


title: Problems in Arithmetic Topology

abstract: We present a list of problems in arithmetic topology posed at the June 2019 PIMS/NSF workshop on "Arithmetic Topology". Three problem sessions were hosted during the workshop in which participants proposed open questions to the audience and engaged in shared discussions from their own perspectives as working mathematicians across various fields of study. Participants were explicitly asked to provide problems of various levels of difficulty, with the goal of capturing a cross-section of exciting challenges in the field that could help guide future activity. The problems, together with references and brief discussions when appropriate, are collected below into three categories: 1) topological analogues of arithmetic phenomena, 2) point counts, stability phenomena and the Grothendieck ring, and 3) tools, methods and examples.


title: Transitional Dynamics of the Saving Rate and Economic Growth

abstract: We estimate the relationship between GDP per capita growth and the growth rate of the national savings rate using a panel of 130 countries over the period 1960-2017. We find that GDP per capita growth increases (decreases) the growth rate of the national savings rate in poor countries (rich countries), and a higher credit-to-GDP ratio decreases the national savings rate as well as the income elasticity of the national savings rate. We develop a model with a credit constraint to explain the growth-saving relationship by the saving behavior of entrepreneurs at both the intensive and extensive margins. We further present supporting evidence for our theoretical findings by utilizing cross-country time series data of the number of new businesses registered and the corporate savings rate.


title: Robotic Grasping of Fully-Occluded Objects using RF Perception

abstract: We present the design, implementation, and evaluation of RF-Grasp, a robotic system that can grasp fully-occluded objects in unknown and unstructured environments. Unlike prior systems that are constrained by the line-of-sight perception of vision and infrared sensors, RF-Grasp employs RF (Radio Frequency) perception to identify and locate target objects through occlusions, and perform efficient exploration and complex manipulation tasks in non-line-of-sight settings. RF-Grasp relies on an eye-in-hand camera and batteryless RFID tags attached to objects of interest. It introduces two main innovations: (1) an RF-visual servoing controller that uses the RFID's location to selectively explore the environment and plan an efficient trajectory toward an occluded target, and (2) an RF-visual deep reinforcement learning network that can learn and execute efficient, complex policies for decluttering and grasping. We implemented and evaluated an end-to-end physical prototype of RF-Grasp. We demonstrate it improves success rate and efficiency by up to 40-50% over a state-of-the-art baseline. We also demonstrate RF-Grasp in novel tasks such mechanical search of fully-occluded objects behind obstacles, opening up new possibilities for robotic manipulation. Qualitative results (videos) available at rfgrasp.media.mit.edu


title: Multistability of Reaction Networks with One-Dimensional Stoichiometric Subspaces

abstract: For the reaction networks with one-dimensional stoichiometric subspaces, we show the following results. (1) If the maximum number of positive steady states is an even number N, then the maximum number of stable positive steady states is N/2. (2) If the maximum number of positive steady states is an odd number N, then we provide a condition on the network such that the maximum number of stable positive steady states is (N-1)/2 if this condition is satisfied, and this maximum number is (N+1)/2 otherwise.


title: Bundled References: An Abstraction for Highly-Concurrent Linearizable Range Queries

abstract: We present bundled references, a new building block to provide linearizable range query operations for highly concurrent linked data structures. Bundled references allow range queries to traverse a path through the data structure that is consistent with the target atomic snapshot and is made of the minimal amount of nodes that should be accessed to preserve linearizability. We implement our technique into a skip list, a binary search tree, and a linked list data structure. Our evaluation reveals that in mixed workloads, our design improves upon the state-of-the-art techniques by 3.9x for a skip list and 2.1x for a binary search tree. We also integrate our bundled data structure into the DBx1000 in-memory database, yielding up to 20% gain over the same competitors.


title: SID: Incremental Learning for Anchor-Free Object Detection via Selective and Inter-Related Distillation

abstract: Incremental learning requires a model to continually learn new tasks from streaming data. However, traditional fine-tuning of a well-trained deep neural network on a new task will dramatically degrade performance on the old task -- a problem known as catastrophic forgetting. In this paper, we address this issue in the context of anchor-free object detection, which is a new trend in computer vision as it is simple, fast, and flexible. Simply adapting current incremental learning strategies fails on these anchor-free detectors due to lack of consideration of their specific model structures. To deal with the challenges of incremental learning on anchor-free object detectors, we propose a novel incremental learning paradigm called Selective and Inter-related Distillation (SID). In addition, a novel evaluation metric is proposed to better assess the performance of detectors under incremental learning conditions. By selective distilling at the proper locations and further transferring additional instance relation knowledge, our method demonstrates significant advantages on the benchmark datasets PASCAL VOC and COCO.


title: Adaptive filters for the moving target indicator system

abstract: Adaptive algorithms belong to an important class of algorithms used in radar target detection to overcome prior uncertainty of interference covariance. The contamination of the empirical covariance matrix by the useful signal leads to significant degradation of performance of this class of adaptive algorithms. Regularization, also known in radar literature as sample covariance loading, can be used to combat both ill conditioning of the original problem and contamination of the empirical covariance by the desired signal for the adaptive algorithms based on sample covariance matrix inversion. However, the optimum value of loading factor cannot be derived unless strong assumptions are made regarding the structure of covariance matrix and useful signal penetration model. Similarly, least mean square algorithm with linear constraint or without constraint, is also sensitive to the contamination of the learning sample with the target signal. We synthesize two approaches to improve the convergence of adaptive algorithms and protect them from the contamination of the learning sample with the signal from the target. The proposed approach is based on the maximization of empirical signal to interference plus noise ratio (SINR). Its effectiveness is demonstrated using simulated data.


title: DeepTake: Prediction of Driver Takeover Behavior using Multimodal Data

abstract: Automated vehicles promise a future where drivers can engage in non-driving tasks without hands on the steering wheels for a prolonged period. Nevertheless, automated vehicles may still need to occasionally hand the control back to drivers due to technology limitations and legal requirements. While some systems determine the need for driver takeover using driver context and road condition to initiate a takeover request, studies show that the driver may not react to it. We present DeepTake, a novel deep neural network-based framework that predicts multiple aspects of takeover behavior to ensure that the driver is able to safely take over the control when engaged in non-driving tasks. Using features from vehicle data, driver biometrics, and subjective measurements, DeepTake predicts the driver's intention, time, and quality of takeover. We evaluate DeepTake performance using multiple evaluation metrics. Results show that DeepTake reliably predicts the takeover intention, time, and quality, with an accuracy of 96%, 93%, and 83%, respectively. Results also indicate that DeepTake outperforms previous state-of-the-art methods on predicting driver takeover time and quality. Our findings have implications for the algorithm development of driver monitoring and state detection.


title: Survey of the Detection and Classification of Pulmonary Lesions via CT and X-Ray

abstract: In recent years, the prevalence of several pulmonary diseases, especially the coronavirus disease 2019 (COVID-19) pandemic, has attracted worldwide attention. These diseases can be effectively diagnosed and treated with the help of lung imaging. With the development of deep learning technology and the emergence of many public medical image datasets, the diagnosis of lung diseases via medical imaging has been further improved. This article reviews pulmonary CT and X-ray image detection and classification in the last decade. It also provides an overview of the detection of lung nodules, pneumonia, and other common lung lesions based on the imaging characteristics of various lesions. Furthermore, this review introduces 26 commonly used public medical image datasets, summarizes the latest technology, and discusses current challenges and future research directions.


title: Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat

abstract: We present KumQuat, a system for automatically generating data parallel implementations of Unix shell commands and pipelines. The generated parallel versions split input streams, execute multiple instantiations of the original pipeline commands to process the splits in parallel, then combine the resulting parallel outputs to produce the final output stream. KumQuat automatically synthesizes the combine operators, with a domain-specific combiner language acting as a strong regularizer that promotes efficient inference of correct combiners. We evaluate KumQuat on 70 benchmark scripts that together have a total of 427 stages. KumQuat synthesizes a correct combiner for 113 of the 121 unique commands that appear in these benchmark scripts. The synthesis times vary between 39 seconds and 331 seconds with a median of 60 seconds. We present experimental results that show that these combiners enable the effective parallelization of our benchmark scripts.


title: Meandering dynamics of streamwise vortex pairs in afterbody wakes

abstract: Wakes of upswept afterbodies are often characterized by a counter-rotating streamwise vortex pair. The unsteady dynamics of these vortices are examined with a spatio-temporally resolved Large-Eddy Simulation dataset on a representative configuration consisting of a cylinder with an upswept basal surface. Emphasis is placed on understanding the meandering motion of the vortices in the pair, including vortex core displacement, spectral content, stability mechanisms and overall rank-behavior. The first two energy-ranked modes obtained through Proper Orthogonal Decomposition(POD) of the time-resolved vorticity field reveals a pair of vortex dipoles aligned relatively perpendicularly to each other. The dynamics is successfully mapped to a matched Batchelor vortex pair whose spatial and temporal stability analyses indicate similar dipole structures associated with an |m|=1 elliptic mode pair. This short-wave elliptic instability dominates the meandering motion, with strain due to axial velocity playing a key role in breakdown. The low frequency of the unstable mode (Strouhal number StD =0.3 based on cylinder diameter) is consistent with spectral analysis of meandering in the LES. The wake is examined for its rank behavior; the number of modes required to reproduce the flow to given degree of accuracy diminishes rapidly outside of the immediate vicinity of the base. Beyond two diameters downstream, only two leading POD modes are required to reconstruct the dominant meandering motion and spatial structure in the LES data with < 15% performance loss, while ten modes nearly completely recover the flow field. This low-rank behavior may hold promise in constructing a reduced-order model for control purposes.


title: Explainability in Graph Neural Networks: A Taxonomic Survey

abstract: Deep learning methods are achieving ever-increasing performance on many artificial intelligence tasks. A major limitation of deep models is that they are not amenable to interpretability. This limitation can be circumvented by developing post hoc techniques to explain the predictions, giving rise to the area of explainability. Recently, explainability of deep models on images and texts has achieved significant progress. In the area of graph data, graph neural networks (GNNs) and their explainability are experiencing rapid developments. However, there is neither a unified treatment of GNN explainability methods, nor a standard benchmark and testbed for evaluations. In this survey, we provide a unified and taxonomic view of current GNN explainability methods. Our unified and taxonomic treatments of this subject shed lights on the commonalities and differences of existing methods and set the stage for further methodological developments. To facilitate evaluations, we generate a set of benchmark graph datasets specifically for GNN explainability. We summarize current datasets and metrics for evaluating GNN explainability. Altogether, this work provides a unified methodological treatment of GNN explainability and a standardized testbed for evaluations.


title: Generative Adversarial Network for Image Synthesis

abstract: This chapter reviews recent developments of generative adversarial networks (GAN)-based methods for medical and biomedical image synthesis tasks. These methods are classified into conditional GAN and Cycle-GAN according to the network architecture designs. For each category, a literature survey is given, which covers discussions of the network architecture designs, highlights important contributions and identifies specific challenges.


title: Multi-Rees Algebras of Strongly Stable Ideals

abstract: We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gr\"obner basis for its defining ideal as a union of a Gr\"obner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters associated to the collection. Furthermore, we establish a quadratic Gr\"obner basis of the defining ideal of $\mathcal{R}(I_1 \oplus I_2)$ where each of the strongly stable ideals has two quadric Borel generators. As a consequence, we conclude that this multi-Rees algebra is Koszul.


title: Light driven interactions in spatial predator-prey model with toxicant chemotaxis

abstract: We develop and analyze a spatial temporal model of light driven ecotoxicological processes, motivated by an aquatic predator-prey system of algae and \textsl{Daphnia} subject to a contaminant. Population dynamics are driven by light, which is periodic in time and varies with spatial depth. The existence and uniqueness of spatial and temporal dependent periodic solutions are shown and analytical functions of the solutions under parameter constraints are presented. We conduct Turing stability analyses of solutions with respect to perturbations of initial conditions. Given a perturbation to a periodic equilibrium state, we show the system will return to this equilibrium state as long as motility is fast enough and/or the reservoir depth is shallow enough. Analytical results assume some Dirichlet boundary conditions that match the periodic equilibrium state, however numerical simulations with more relaxed boundary conditions capture similar periodic solutions. The work sheds light onto spatially dependent population dynamics that are driven by periodic forces, such as light levels.


title: Directional THz generation in hot Rb vapor excited to a Rydberg state

abstract: We optically excite $^{85}$Rb atoms in a heated vapor cell to a low-lying Rydberg state 10D$_{5/2}$ and observe directional terahertz (THz) beams at 3.3 THz and 7.8 THz. These THz fields are generated by amplified spontaneous emission from the 10D$_{5/2}$ state to the 11P$_{3/2}$ and 8F$_{7/2}$ states, respectively. In addition, we observe ultraviolet (UV) light produced by four-wave mixing of optical pump lasers and the 3.3 THz field. We characterize the generated THz power over the detuning and power of pump lasers, and identify experimental conditions favoring THz and UV generation, respectively. Our scheme paves a new pathway towards generating high-power narrow-band THz radiation.


title: Economic Evaluation of Transformer Loss of Life Mitigation by Energy Storage and PV Generation

abstract: High penetration of plug-in electric vehicles (PEVs) can potentially put the utility assets such as transformer under overload stress causing decrease in their lifetime. The decrease in PV and battery energy storage system (BESS) prices has made them viable solutions to mitigate this situation. In this paper, the economic aspect of their optimal coordination is studied to assess transformer hottest spot temperature (HST) and loss of life. Monte Carlo simulation is employed to provide synthetic data of PEVs load in a residential complex and model their stochastic behavior. For load, temperature, energy price and PV generation, real data for City of College Station, Texas, USA in 2018 is acquired and a case study is developed for one year. The results illustrate using BESS and PV is economically effective and mitigates distribution transformer loss of life.


title: Fermions with long and finite range interactions on a quantum ring

abstract: Background: Idealised systems are commonly used in nuclear physics and condensed matter. For instance, the construction of nuclear energy density functionals involves properties of infinite matter, while neutron drops are used to test nuclear interactions and approximations to the nuclear many-body problem. In condensed matter, quantum rings are also used to study properties of electron systems. Purpose: To investigate the possibility to use quantum rings with systems of nucleons including many-body correlations. Methods: A quantum ring model of a finite number of same spin fermions is developed. Several attractive and repulsive interactions with finite and infinite ranges are considered. Quantum Monte Carlo calculations are used to provide exact ground-state energies. Comparisons with analytical Hartree-Fock solutions are used to get an insight into the role of correlations. Results: Hartree-Fock results with no breaking of space translational symmetry are able to describe many systems. However, additional spatial correlations are required in the case of dense systems with a strong short-range repulsion, or with attractive interactions in large rings. Conclusions: Self-bound systems of fermions with spatial correlations produced by basic features of the nuclear interactions can be described on a quantum ring, encouraging applications with realistic interactions, as well as investigations with higher dimensional geometries such as spherium.


title: Controlled Accuracy Gibbs Sampling of Order Constrained Non-IID Ordered Random Variates

abstract: Order statistics arising from $m$ independent but not identically distributed random variables are typically constructed by arranging some $X_{1}, X_{2}, \ldots, X_{m}$, with $X_{i}$ having distribution function $F_{i}(x)$, in increasing order denoted as $X_{(1)} \leq X_{(2)} \leq \ldots \leq X_{(m)}$. In this case, $X_{(i)}$ is not necessarily associated with $F_{i}(x)$. Assuming one can simulate values from each distribution, one can generate such "non-iid" order statistics by simulating $X_{i}$ from $F_{i}$, for $i=1,2,\ldots, m$, and arranging them in order. In this paper, we consider the problem of simulating ordered values $X_{(1)}, X_{(2)}, \ldots, X_{(m)}$ such that the marginal distribution of $X_{(i)}$ is $F_{i}(x)$. This problem arises in Bayesian principal components analysis (BPCA) where the $X_{i}$ are ordered eigenvalues that are a posteriori independent but not identically distributed. We propose a novel coupling-from-the-past algorithm to "perfectly" (up to computable order of accuracy) simulate such {\emph{order-constrained non-iid}} order statistics. We demonstrate the effectiveness of our approach for several examples, including the BPCA problem.


title: Hypersurface support for noncommutative complete intersections

abstract: We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. By a noncommutative complete intersection we mean an algebra R which admits a smooth deformation $Q\to R$ by a Noetherian algebra $Q$ which is of finite global dimension. We show that hypersurface support defines a support theory for the big singularity category $Sing(R)$, and that the support of an object in $Sing(R)$ vanishes if and only if the object itself vanishes. Our work is inspired by Avramov and Buchweitz' support theory for (commutative) local complete intersections. In a companion piece, we employ hypersurface support, and the results of the present paper, to classify thick ideals in stable categories for a number of families of finite-dimensional Hopf algebras.


title: Text-Free Image-to-Speech Synthesis Using Learned Segmental Units

abstract: In this paper we present the first model for directly synthesizing fluent, natural-sounding spoken audio captions for images that does not require natural language text as an intermediate representation or source of supervision. Instead, we connect the image captioning module and the speech synthesis module with a set of discrete, sub-word speech units that are discovered with a self-supervised visual grounding task. We conduct experiments on the Flickr8k spoken caption dataset in addition to a novel corpus of spoken audio captions collected for the popular MSCOCO dataset, demonstrating that our generated captions also capture diverse visual semantics of the images they describe. We investigate several different intermediate speech representations, and empirically find that the representation must satisfy several important properties to serve as drop-in replacements for text.


title: Fully Synthetic Data Improves Neural Machine Translation with Knowledge Distillation

abstract: This paper explores augmenting monolingual data for knowledge distillation in neural machine translation. Source language monolingual text can be incorporated as a forward translation. Interestingly, we find the best way to incorporate target language monolingual text is to translate it to the source language and round-trip translate it back to the target language, resulting in a fully synthetic corpus. We find that combining monolingual data from both source and target languages yields better performance than a corpus twice as large only in one language. Moreover, experiments reveal that the improvement depends upon the provenance of the test set. If the test set was originally in the source language (with the target side written by translators), then forward translating source monolingual data matters. If the test set was originally in the target language (with the source written by translators), then incorporating target monolingual data matters.


title: On the second coefficient of the asymptotic expansion of Boutet de Monvel--Sj\"ostrand

abstract: In this paper, we calculate the second coefficient of the asymptotic expansion of Boutet de Monvel--Sj\"ostrand.


title: Topological $R$-pressure and topological pressure of free semigroup actions

abstract: In this paper we introduce the definition of topological $r$-pressure of free semigroup actions on compact metric space and provide some properties of it. Through skew-product transformation into a medium, we can obtain the following two main results. 1. We extend the result that the topological pressure is the limit of topological $r$-pressure in\cite{C} to free semigroup actions ($r\to 0$). 2. Let $f_i,$ $i=0, 1, \cdots, m-1$, be homeomorphisms on a compact metric space. For any continuous function, we verify that the topological pressure of $f_0, \cdots, f_{m-1}$ equals the topological pressure of $f_0^{-1}, \cdots, f_{m-1}^{-1}.$


title: Differentiable Programming \`a la Moreau

abstract: The notion of a Moreau envelope is central to the analysis of first-order optimization algorithms for machine learning. Yet, it has not been developed and extended to be applied to a deep network and, more broadly, to a machine learning system with a differentiable programming implementation. We define a compositional calculus adapted to Moreau envelopes and show how to integrate it within differentiable programming. The proposed framework casts in a mathematical optimization framework several variants of gradient back-propagation related to the idea of the propagation of virtual targets.


title: Random-Receiver Quantum Communication

abstract: We introduce the task of random-receiver quantum communication, in which a sender transmits a quantum message to a receiver chosen from a list of n spatially separated parties. The choice of receiver is unknown to the sender, but is known by the n parties, who coordinate their actions by exchanging classical messages. In normal conditions, random-receiver quantum communication requires a noiseless quantum communication channel from the sender to each of the n receivers. In contrast, we show that random-receiver quantum communication can take place through entanglement-breaking channels if the order of such channels is controlled by a quantum bit that is accessible through quantum measurements. Notably, this phenomenon cannot be mimicked by allowing free quantum communication between the sender and any subset of k<n parties.


title: TransTrack: Multiple Object Tracking with Transformer

abstract: In this work, we propose TransTrack, a simple but efficient scheme to solve the multiple object tracking problems. TransTrack leverages the transformer architecture, which is an attention-based query-key mechanism. It applies object features from the previous frame as a query of the current frame and introduces a set of learned object queries to enable detecting new-coming objects. It builds up a novel joint-detection-and-tracking paradigm by accomplishing object detection and object association in a single shot, simplifying complicated multi-step settings in tracking-by-detection methods. On MOT17 and MOT20 benchmark, TransTrack achieves 74.5\% and 64.5\% MOTA, respectively, competitive to the state-of-the-art methods. We expect TransTrack to provide a novel perspective for multiple object tracking. The code is available at: \url{https://github.com/PeizeSun/TransTrack}.


title: Closed-Form Minkowski Sums of Convex Bodies with Smooth Positively Curved Boundaries

abstract: This article derives closed-form parametric formulas for the Minkowski sums of convex bodies in d-dimensional Euclidean space with boundaries that are smooth and have all positive sectional curvatures at every point. Under these conditions, there is a unique relationship between the position of each boundary point and the surface normal. The main results are presented as two theorems. The first theorem directly parameterizes the Minkowski sums using the unit normal vector at each surface point. Although simple to express mathematically, such a parameterization is not always practical to obtain computationally. Therefore, the second theorem derives a more useful parametric closed-form expression using the gradient that is not normalized. In the special case of two ellipsoids, the proposed expressions are identical to those derived previously using geometric interpretations. In order to examine the results, numerical validations and comparisons of the Minkowski sums between two superquadric bodies are conducted. Applications to generate configuration space obstacles in motion planning problems and to improve optimization-based collision detection algorithms are introduced and demonstrated.


title: Modeling and Understanding Ethereum Transaction Records via a Complex Network Approach

abstract: As the largest public blockchain-based platform supporting smart contracts, Ethereum has accumulated a large number of user transaction records since its debut in 2014. Analysis of Ethereum transaction records, however, is still relatively unexplored till now. Modeling the transaction records as a static simple graph, existing methods are unable to accurately characterize the temporal and multiplex features of the edges. In this brief, we first model the Ethereum transaction records as a complex network by incorporating time and amount features of the transactions, and then design several flexible temporal walk strategies for random-walk based graph representation of this large-scale network. Experiments of temporal link prediction on real Ethereum data demonstrate that temporal information and multiplicity characteristic of edges are indispensable for accurate modeling and understanding of Ethereum transaction networks.


title: Learned Multi-Resolution Variable-Rate Image Compression with Octave-based Residual Blocks

abstract: Recently deep learning-based image compression has shown the potential to outperform traditional codecs. However, most existing methods train multiple networks for multiple bit rates, which increase the implementation complexity. In this paper, we propose a new variable-rate image compression framework, which employs generalized octave convolutions (GoConv) and generalized octave transposed-convolutions (GoTConv) with built-in generalized divisive normalization (GDN) and inverse GDN (IGDN) layers. Novel GoConv- and GoTConv-based residual blocks are also developed in the encoder and decoder networks. Our scheme also uses a stochastic rounding-based scalar quantization. To further improve the performance, we encode the residual between the input and the reconstructed image from the decoder network as an enhancement layer. To enable a single model to operate with different bit rates and to learn multi-rate image features, a new objective function is introduced. Experimental results show that the proposed framework trained with variable-rate objective function outperforms the standard codecs such as H.265/HEVC-based BPG and state-of-the-art learning-based variable-rate methods.


title: Principal Matrices of Numerical Semigroups

abstract: Principal matrices of a numerical semigroup of embedding dimension n are special types of $n \times n$ matrices over integers of rank $\leq n - 1$. We show that such matrices and even the pseudo principal matrices of size n must have rank $\geq \frac{n}{2}$ regardless of the embedding dimension. We give structure theorems for pseudo principal matrices for which at least one $n - 1 \times n - 1$ principal minor vanish and thereby characterize the semigroups in embedding dimensions $4$ and $5$ in terms of their principal matrices. When the pseudo principal matrix is of rank $n - 1$, we give a sufficient condition for it to be principal.


title: Accelerating ODE-Based Neural Networks on Low-Cost FPGAs

abstract: ODENet is a deep neural network architecture in which a stacking structure of ResNet is implemented with an ordinary differential equation (ODE) solver. It can reduce the number of parameters and strike a balance between accuracy and performance by selecting a proper solver. It is also possible to improve the accuracy while keeping the same number of parameters on resource-limited edge devices. In this paper, using Euler method as an ODE solver, a part of ODENet is implemented as a dedicated logic on a low-cost FPGA (Field-Programmable Gate Array) board, such as PYNQ-Z2 board. As ODENet variants, reduced ODENets (rODENets) each of which heavily uses a part of ODENet layers and reduces/eliminates some layers differently are proposed and analyzed for low-cost FPGA implementation. They are evaluated in terms of parameter size, accuracy, execution time, and resource utilization on the FPGA. The results show that an overall execution time of an rODENet variant is improved by up to 2.66 times compared to a pure software execution while keeping a comparable accuracy to the original ODENet.


title: CLEAR: Contrastive Learning for Sentence Representation

abstract: Pre-trained language models have proven their unique powers in capturing implicit language features. However, most pre-training approaches focus on the word-level training objective, while sentence-level objectives are rarely studied. In this paper, we propose Contrastive LEArning for sentence Representation (CLEAR), which employs multiple sentence-level augmentation strategies in order to learn a noise-invariant sentence representation. These augmentations include word and span deletion, reordering, and substitution. Furthermore, we investigate the key reasons that make contrastive learning effective through numerous experiments. We observe that different sentence augmentations during pre-training lead to different performance improvements on various downstream tasks. Our approach is shown to outperform multiple existing methods on both SentEval and GLUE benchmarks.


title: Fast Global Convergence for Low-rank Matrix Recovery via Riemannian Gradient Descent with Random Initialization

abstract: In this paper, we propose a new global analysis framework for a class of low-rank matrix recovery problems on the Riemannian manifold. We analyze the global behavior for the Riemannian optimization with random initialization. We use the Riemannian gradient descent algorithm to minimize a least squares loss function, and study the asymptotic behavior as well as the exact convergence rate. We reveal a previously unknown geometric property of the low-rank matrix manifold, which is the existence of spurious critical points for the simple least squares function on the manifold. We show that under some assumptions, the Riemannian gradient descent starting from a random initialization with high probability avoids these spurious critical points and only converges to the ground truth in nearly linear convergence rate, i.e. $\mathcal{O}(\text{log}(\frac{1}{\epsilon})+ \text{log}(n))$ iterations to reach an $\epsilon$-accurate solution. We use two applications as examples for our global analysis. The first one is a rank-1 matrix recovery problem. The second one is a generalization of the Gaussian phase retrieval problem. It only satisfies the weak isometry property, but has behavior similar to that of the first one except for an extra saddle set. Our convergence guarantee is nearly optimal and almost dimension-free, which fully explains the numerical observations. The global analysis can be potentially extended to other data problems with random measurement structures and empirical least squares loss functions.

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


title: Linear quadratic mean field social optimization: Asymptotic solvability and decentralized control

abstract: This paper studies asymptotic solvability of a linear quadratic (LQ) mean field social optimization problem with controlled diffusions and indefinite state and control weights. Starting with an $N$-agent model, we employ a rescaling approach to derive a low-dimensional Riccati ordinary differential equation (ODE) system, which characterizes a necessary and sufficient condition for asymptotic solvability. The decentralized control obtained from the mean field limit ensures a bounded optimality loss in minimizing the social cost having magnitude $O(N)$, which implies an optimality loss of $O(1/N)$ per agent. We further quantify the efficiency gain of the social optimum with respect to the solution of the mean field game.


title: CADA: Communication-Adaptive Distributed Adam

abstract: Stochastic gradient descent (SGD) has taken the stage as the primary workhorse for large-scale machine learning. It is often used with its adaptive variants such as AdaGrad, Adam, and AMSGrad. This paper proposes an adaptive stochastic gradient descent method for distributed machine learning, which can be viewed as the communication-adaptive counterpart of the celebrated Adam method - justifying its name CADA. The key components of CADA are a set of new rules tailored for adaptive stochastic gradients that can be implemented to save communication upload. The new algorithms adaptively reuse the stale Adam gradients, thus saving communication, and still have convergence rates comparable to original Adam. In numerical experiments, CADA achieves impressive empirical performance in terms of total communication round reduction.


title: Audio-Visual Floorplan Reconstruction

abstract: Given only a few glimpses of an environment, how much can we infer about its entire floorplan? Existing methods can map only what is visible or immediately apparent from context, and thus require substantial movements through a space to fully map it. We explore how both audio and visual sensing together can provide rapid floorplan reconstruction from limited viewpoints. Audio not only helps sense geometry outside the camera's field of view, but it also reveals the existence of distant freespace (e.g., a dog barking in another room) and suggests the presence of rooms not visible to the camera (e.g., a dishwasher humming in what must be the kitchen to the left). We introduce AV-Map, a novel multi-modal encoder-decoder framework that reasons jointly about audio and vision to reconstruct a floorplan from a short input video sequence. We train our model to predict both the interior structure of the environment and the associated rooms' semantic labels. Our results on 85 large real-world environments show the impact: with just a few glimpses spanning 26% of an area, we can estimate the whole area with 66% accuracy -- substantially better than the state of the art approach for extrapolating visual maps.


title: Good practices for Bayesian Optimization of high dimensional structured spaces

abstract: The increasing availability of structured but high dimensional data has opened new opportunities for optimization. One emerging and promising avenue is the exploration of unsupervised methods for projecting structured high dimensional data into low dimensional continuous representations, simplifying the optimization problem and enabling the application of traditional optimization methods. However, this line of research has been purely methodological with little connection to the needs of practitioners so far. In this paper, we study the effect of different search space design choices for performing Bayesian Optimization in high dimensional structured datasets. In particular, we analyse the influence of the dimensionality of the latent space, the role of the acquisition function and evaluate new methods to automatically define the optimization bounds in the latent space. Finally, based on experimental results using synthetic and real datasets, we provide recommendations for the practitioners.


title: Multi-Agent Reinforcement Learning for Unmanned Aerial Vehicle Coordination by Multi-Critic Policy Gradient Optimization

abstract: Recent technological progress in the development of Unmanned Aerial Vehicles (UAVs) together with decreasing acquisition costs make the application of drone fleets attractive for a wide variety of tasks. In agriculture, disaster management, search and rescue operations, commercial and military applications, the advantage of applying a fleet of drones originates from their ability to cooperate autonomously. Multi-Agent Reinforcement Learning approaches that aim to optimize a neural network based control policy, such as the best performing actor-critic policy gradient algorithms, struggle to effectively back-propagate errors of distinct rewards signal sources and tend to favor lucrative signals while neglecting coordination and exploitation of previously learned similarities. We propose a Multi-Critic Policy Optimization architecture with multiple value estimating networks and a novel advantage function that optimizes a stochastic actor policy network to achieve optimal coordination of agents. Consequently, we apply the algorithm to several tasks that require the collaboration of multiple drones in a physics-based reinforcement learning environment. Our approach achieves a stable policy network update and similarity in reward signal development for an increasing number of agents. The resulting policy achieves optimal coordination and compliance with constraints such as collision avoidance.


title: Recent XYZ results at BESIII

abstract: BESIII experiment has collected about 20 fb$^{-1}$ luminosity data between $\sqrt{s}=3.8$ and 4.7 GeV via $e^{+}e^{-}$ collision. In this talk, we present the recent $XYZ$ results at BESIII, including mass and width measurements of $Y(4220)$, search for $Y$ states with rare decay modes, isospin parity determination of $Z_{c}^{0}(3900)$ as well as the mass and width determination, and search for new decay modes of $X(3872)$.


title: Crossover from a delocalized to localized atomic excitation in an atom-waveguide interface

abstract: An atom-waveguide system, which presents one of the quantum interfaces that enable strong couplings between light and atoms, can support tightly-confined guided modes of light. In this distinctive quantum interface, we theoretically investigate the crossover from a delocalized to localized atomic excitation under long-range dipole-dipole interactions and lattice disorders. Both localization lengths of the excitation distributions and power-law scalings of dissipative von Neumann entanglement entropy show signatures of this crossover. We further calculate numerically the level statistics of the underlying non-Hermitian Hamiltonian, from which as the disorder strength increases, the gap ratio decreases and the intrasample variance increases before reaching respective saturated values. The mean gap ratio in the deeply localized regime is close to the one from Poisson statistics along with a relatively large intrasample variance, whereas in the nondisordered regime, a significant level repulsion emerges. Our results provide insights to study the non-ergodic phenomenon in an atom-waveguide interface, which can be potentially applied to photon storage in this interface under dissipations.


title: Effects of white noise on Bell theorem for qudits

abstract: We introduce two types of statistical quasi-separation between local observables to construct two-party Bell-type inequalities for an arbitrary dimensional systems and arbitrary number of measurement settings per site. Note that, the main difference between statistical quasi-separations and the usual statistical separations is that the former are not symmetric under exchange of the two local observables, whereas latter preserve the symmetry. We show that a variety of Bell inequalities can be derived by sequentially applying triangle inequalities which statistical quasi-separations satisfy. A sufficient condition is presented to show quantum violations of the Bell-type inequalities with infinitesimal values of critical visibility $v_c$.


title: Predicting future astronomical events using deep learning

abstract: In a quest towards an intelligent decision-making machine, the ability to make plausible predictions is the central pillar of its intelligence. A predicting algorithm's central idea is to understand the governing physical rules and make plausible and apt predictions based on the same governing laws. Extending the study towards the astrophysical phenomenon puts the model's ability to test since the model has to understand various parameters that govern the dynamics of the event and understand the spatial and temporal evolution by applying the plausible laws. This work presents a deep learning model to predict plausible future events that maintain spatial and temporal coherence. We have trained over two broad classes, the evolution of Sa, Sb, S0, and Sd galaxy mergers and evolution of gravitational lenses with a higher redshift of the foreground galaxy having $15M_{\odot}$. We extended our work towards developing a direct measure of the performance metric for any prediction algorithm. We thereby introduce a novel metric, Correctness Factor (CF), which directly outputs how accurate a prediction is.


title: Particle Dual Averaging: Optimization of Mean Field Neural Networks with Global Convergence Rate Analysis

abstract: We propose the particle dual averaging (PDA) method, which generalizes the dual averaging method in convex optimization to the optimization over probability distributions with quantitative runtime guarantee. The algorithm consists of an inner loop and outer loop: the inner loop utilizes the Langevin algorithm to approximately solve for a stationary distribution, which is then optimized in the outer loop. The method can thus be interpreted as an extension of the Langevin algorithm to naturally handle nonlinear functional on the probability space. An important application of the proposed method is the optimization of neural network in the mean field regime, which is theoretically attractive due to the presence of nonlinear feature learning, but quantitative convergence rate can be challenging to obtain. By adapting finite-dimensional convex optimization theory into the space of measures, we analyze PDA in regularized empirical / expected risk minimization, and establish quantitative global convergence in learning two-layer mean field neural networks under more general settings. Our theoretical results are supported by numerical simulations on neural networks with reasonable size.


title: N-quandles of links

abstract: The fundamental quandle is a powerful invariant of knots and links, but it is difficult to describe in detail. It is often useful to look at quotients of the quandle, especially finite quotients. One natural quotient introduced by Joyce is the $n$-quandle. Hoste and Shanahan gave a complete list of the knots and links which have finite $n$-quandles for some $n$. We introduce a generalization of $n$-quandles, denoted $N$-quandles (for a quandle with $k$ algebraic components, $N$ is a $k$-tuple of positive integers). We conjecture a classification of the links with finite $N$-quandles for some $N$, and we prove one direction of the classification.


title: Algorithms for Generating All Static Spherically Symmetric (An)isotropic Fluid Solutions of Einstein's Equations

abstract: We study the Einstein equations of the static spherically symmetric anisotropic fluid system in curvature coordinates to find algorithms that generate all solutions and all solutions that are regular at the center. All possible combinations of input functions from the set of four functions that characterize the anisotropic system are considered and all equivalent conditions for central regularity are determined (for both isotropic and anisotropic systems). We provide the first regularity analysis of the known algorithm that uses the potential function and anisotropy as inputs. For three other choices of input function pairs (any two of the potential function, density, or radial pressure), a remarkably straightforward algorithm follows, which is very efficient in generating regular anisotropic solutions. This is because the equivalency of the three pairs in this algorithm arises precisely from the same algebraic relation that made the different equivalent sets of regularity conditions possible. In addition, the choice of functions makes this algorithm very suitable for finding particular solutions that admit other desirable physical properties; we construct three examples. This algorithm does not admit an isotropic limit although all isotropic solutions are produced as part of the anisotropic system. The remaining two choices of input function pairs (anisotropy with the radial pressure or density) lead to the old barriers one encounters in the isotropic system: Riccati and Abel equations. However, with any solution generated by the new and existing algorithms, one can now construct the general solution of the corresponding Riccati equation to obtain a one-parameter family of geometries for each input solution. We discuss the regularity of the resulting solutions.


title: Likelihood Ratio Exponential Families

abstract: The exponential family is well known in machine learning and statistical physics as the maximum entropy distribution subject to a set of observed constraints, while the geometric mixture path is common in MCMC methods such as annealed importance sampling. Linking these two ideas, recent work has interpreted the geometric mixture path as an exponential family of distributions to analyze the thermodynamic variational objective (TVO). We extend these likelihood ratio exponential families to include solutions to rate-distortion (RD) optimization, the information bottleneck (IB) method, and recent rate-distortion-classification approaches which combine RD and IB. This provides a common mathematical framework for understanding these methods via the conjugate duality of exponential families and hypothesis testing. Further, we collect existing results to provide a variational representation of intermediate RD or TVO distributions as a minimizing an expectation of KL divergences. This solution also corresponds to a size-power tradeoff using the likelihood ratio test and the Neyman Pearson lemma. In thermodynamic integration bounds such as the TVO, we identify the intermediate distribution whose expected sufficient statistics match the log partition function.


title: On the monotonicity property of the generalized eigenvalue for weakly-coupled cooperative elliptic systems

abstract: We consider general linear non-degenerate weakly-coupled cooperative elliptic systems and study certain monotonicity properties of the generalized principal eigenvalue in $\mathbb{R}^d$ with respect to the potential. It is shown that monotonicity on the right is equivalent to the recurrence property of the twisted operator which is, in turn, equivalent to the minimal growth property at infinity of the principal eigenfunctions. The strict monotonicity property of the principal eigenvalue is shown to be equivalent with the exponential stability of the twisted operators. An equivalence between the monotonicity property on the right and the stochastic representation of the principal eigenfunction is also established.


title: FiD-Ex: Improving Sequence-to-Sequence Models for Extractive Rationale Generation

abstract: Natural language (NL) explanations of model predictions are gaining popularity as a means to understand and verify decisions made by large black-box pre-trained models, for NLP tasks such as Question Answering (QA) and Fact Verification. Recently, pre-trained sequence to sequence (seq2seq) models have proven to be very effective in jointly making predictions, as well as generating NL explanations. However, these models have many shortcomings; they can fabricate explanations even for incorrect predictions, they are difficult to adapt to long input documents, and their training requires a large amount of labeled data. In this paper, we develop FiD-Ex, which addresses these shortcomings for seq2seq models by: 1) introducing sentence markers to eliminate explanation fabrication by encouraging extractive generation, 2) using the fusion-in-decoder architecture to handle long input contexts, and 3) intermediate fine-tuning on re-structured open domain QA datasets to improve few-shot performance. FiD-Ex significantly improves over prior work in terms of explanation metrics and task accuracy, on multiple tasks from the ERASER explainability benchmark, both in the fully supervised and in the few-shot settings.


title: Why do classifier accuracies show linear trends under distribution shift?

abstract: Recent studies of generalization in deep learning have observed a puzzling trend: accuracies of models on one data distribution are approximately linear functions of the accuracies on another distribution. We explain this trend under an intuitive assumption on model similarity, which was verified empirically in prior work. More precisely, we assume the probability that two models agree in their predictions is higher than what we can infer from their accuracy levels alone. Then, we show that a linear trend must occur when evaluating models on two distributions unless the size of the distribution shift is large. This work emphasizes the value of understanding model similarity, which can have an impact on the generalization and robustness of classification models.


title: Seeing is Knowing! Fact-based Visual Question Answering using Knowledge Graph Embeddings

abstract: Fact-based Visual Question Answering (FVQA), a challenging variant of VQA, requires a QA-system to include facts from a diverse knowledge graph (KG) in its reasoning process to produce an answer. Large KGs, especially common-sense KGs, are known to be incomplete, i.e., not all non-existent facts are always incorrect. Therefore, being able to reason over incomplete KGs for QA is a critical requirement in real-world applications that has not been addressed extensively in the literature. We develop a novel QA architecture that allows us to reason over incomplete KGs, something current FVQA state-of-the-art (SOTA) approaches lack due to their critical reliance on fact retrieval. We use KG Embeddings, a technique widely used for KG completion, for the downstream task of FVQA. We also employ a new image representation technique we call 'Image-as-Knowledge' to enable this capability, alongside a simple one-step CoAttention mechanism to attend to text and image during QA. Our FVQA architecture is faster during inference time, being O(m), as opposed to existing FVQA SOTA methods which are O(N log N), where m = number of vertices, N = number of edges = O(m^2). KG embeddings are shown to hold complementary information to word embeddings: a combination of both metrics permits performance comparable to SOTA methods in the standard answer retrieval task, and significantly better (26% absolute) in the proposed missing-edge reasoning task.


title: Multiple Plans are Better than One: Diverse Stochastic Planning

abstract: In planning problems, it is often challenging to fully model the desired specifications. In particular, in human-robot interaction, such difficulty may arise due to human's preferences that are either private or complex to model. Consequently, the resulting objective function can only partially capture the specifications and optimizing that may lead to poor performance with respect to the true specifications. Motivated by this challenge, we formulate a problem, called diverse stochastic planning, that aims to generate a set of representative -- small and diverse -- behaviors that are near-optimal with respect to the known objective. In particular, the problem aims to compute a set of diverse and near-optimal policies for systems modeled by a Markov decision process. We cast the problem as a constrained nonlinear optimization for which we propose a solution relying on the Frank-Wolfe method. We then prove that the proposed solution converges to a stationary point and demonstrate its efficacy in several planning problems.


title: Bayesian Federated Learning over Wireless Networks

abstract: Federated learning is a privacy-preserving and distributed training method using heterogeneous data sets stored at local devices. Federated learning over wireless networks requires aggregating locally computed gradients at a server where the mobile devices send statistically distinct gradient information over heterogenous communication links. This paper proposes a Bayesian federated learning (BFL) algorithm to aggregate the heterogeneous quantized gradient information optimally in the sense of minimizing the mean-squared error (MSE). The idea of BFL is to aggregate the one-bit quantized local gradients at the server by jointly exploiting i) the prior distributions of the local gradients, ii) the gradient quantizer function, and iii) channel distributions. Implementing BFL requires high communication and computational costs as the number of mobile devices increases. To address this challenge, we also present an efficient modified BFL algorithm called scalable-BFL (SBFL). In SBFL, we assume a simplified distribution on the local gradient. Each mobile device sends its one-bit quantized local gradient together with two scalar parameters representing this distribution. The server then aggregates the noisy and faded quantized gradients to minimize the MSE. We provide a convergence analysis of SBFL for a class of non-convex loss functions. Our analysis elucidates how the parameters of communication channels and the gradient priors affect convergence. From simulations, we demonstrate that SBFL considerably outperforms the conventional sign stochastic gradient descent algorithm when training and testing neural networks using MNIST data sets over heterogeneous wireless networks.


title: Skewness of local logarithmic exports

abstract: The distributions of trade values and relationships among countries and product categories reflect how countries select their trade partners and design export portfolios. Here we consider the exporter-importer network and the exporter-product network with directed links weighted by the logarithm of the corresponding export values each year from 1962 to 2018, and study how the weights of the outgoing links from each country are distributed. Such local logarithmic export distributions by destinations and products are found to follow approximately the Gaussian distribution across exporters and time, implying random assignment of export values on logarithmic scale. However, a non-zero skewness is identified, changing from positive to negative as exporters have more partner importers and more product categories in their portfolios. Seeking the origin, we analyze how local exports depend on the out-degree of exporter and the in-degrees of destinations/products and formulate their quantitative and measurable relation incorporating randomness, which uncovers the fundamental nature of the export strategies of individual countries.


title: Data-informed Emulators for Multi-Physics Simulations

abstract: Machine learning techniques are powerful tools for construction of emulators for complex systems. We explore different machine learning methods and conceptual methodologies, ranging from functional approximations to dynamical approximations, to build such emulators for coupled thermal, hydrological, mechanical and chemical processes that occur near an engineered barrier system in the nuclear waste repository. Two nonlinear approximators, random forests and neural networks, are deployed to capture the complexity of the physics-based model and to identify its most significant hydrological and geochemical parameters. Our emulators capture the temporal evolution of the Uranium distribution coefficient of the clay buffer, and identify its functional dependence on these key parameters. The emulators' accuracy is further enhanced by assimilating relevant simulated predictors and clustering strategy. The relative performance of random forests and neural networks shows the advantage of ensemble learning in random forests algorithm, especially for highly nonlinear problems with limited data.


title: TransRegex: Multi-modal Regular Expression Synthesis by Generate-and-Repair

abstract: Since regular expressions (abbrev. regexes) are difficult to understand and compose, automatically generating regexes has been an important research problem. This paper introduces TransRegex, for automatically constructing regexes from both natural language descriptions and examples. To the best of our knowledge, TransRegex is the first to treat the NLP-and-example-based regex synthesis problem as the problem of NLP-based synthesis with regex repair. For this purpose, we present novel algorithms for both NLP-based synthesis and regex repair. We evaluate TransRegex with ten relevant state-of-the-art tools on three publicly available datasets. The evaluation results demonstrate that the accuracy of our TransRegex is 17.4%, 35.8% and 38.9% higher than that of NLP-based approaches on the three datasets, respectively. Furthermore, TransRegex can achieve higher accuracy than the state-of-the-art multi-modal techniques with 10% to 30% higher accuracy on all three datasets. The evaluation results also indicate TransRegex utilizing natural language and examples in a more effective way.


title: Near-horizon structure of escape zones of electrically charged particles around weakly magnetized rotating black hole: case of oblique magnetosphere

abstract: We study the effects of large scale magnetic fields on the dynamics of charged particles near a rotating black hole. We consider a scenario in which the initially neutral particles on geodesic orbits in the equatorial plane become ionized, and hence they are destabilized by the charging process. Fraction of charged particles are then accelerated out of the equatorial plane and then follow jet like trajectories with relativistic velocities. We explore non axisymmetric systems in which the magnetic field is inclined with respect to the black hole spin. We study the system numerically in order to locate the zones of escaping trajectories and compute the terminal escape velocity. By breaking the axial symmetry we notice increasing fraction of unbound orbits which allow for acceleration to ultrarelativistic velocities.


title: A classification of phases of bosonic quantum lattice systems in one dimension

abstract: We study invertible states of 1d bosonic quantum lattice systems. We show that every invertible 1d state is in a trivial phase: after tensoring with some unentangled ancillas it can be disentangled by a fuzzy analog of a finite-depth quantum circuit. If an invertible state has symmetries, it may be impossible to disentangle it in a way that preserves the symmetries, even after adding unentagled ancillas. We show that in the case of a finite unitary symmetry G the only obstruction is an index valued in degree-2 cohomology of $G$. We show that two invertible $G$-invariant states are in the same phase if and only if their indices coincide.

categories: quant-ph cond-mat.str-el math-ph math.MP


title: Super-k: A Piecewise Linear Classifier Based on Voronoi Tessellations

abstract: Voronoi tessellations are used to partition the Euclidean space into polyhedral regions, which are called Voronoi cells. Labeling the Voronoi cells with the class information, we can map any classification problem into a Voronoi tessellation. In this way, the classification problem changes into a query of just finding the enclosing Voronoi cell. In order to accomplish this task, we have developed a new algorithm which generates a labeled Voronoi tessellation that partitions the training data into polyhedral regions and obtains interclass boundaries as an indirect result. It is called Supervised k-Voxels or in short Super-k. We are introducing Super-k as a foundational new algorithm and opening the possibility of a new family of algorithms. In this paper, it is shown via comparisons on certain datasets that the Super-k algorithm has the potential of providing comparable performance of the well-known SVM family of algorithms with less complexity.


title: Quantum digital signatures with smaller public keys

abstract: We introduce a variant of quantum signatures in which nonbinary symbols are signed instead of bits. The public keys are fingerprinting states, just as in the scheme of Gottesman and Chuang, but we allow for multiple ways to reveal the private key partially. The effect of this modification is a reduction of the number of qubits expended per message bit. We give a security proof and we present numerical results that show how the improvement in public key size depends on the message length.


title: 3D Topological Plasmons in Weyl Semimetals

abstract: We systematically investigate the properties of bulk, surface and edge plasmons in Weyl semimetals in presence of a magnetic field. It is found that unidirectional plasmons with different properties exist on different surfaces, which is in consistent with the nontrivial topology of the three-dimensional (3D) bulk plasmons. These novel plasmons possess momentum-location lock and may travel between surfaces. The anomalous Hall conductivity brings about abundant anisotropic plasmon dispersions, from linear to parabolic or even hyperbolic bands. With the help of a semiclassical picture for the formation of the Weyl orbits, we point out the Fermi-arc plasmons at opposite surfaces can make up another unique 3D topological plasmon. Furthermore, there is a gapless unidirectional edge plasmon protected by the topology whose direction and position can be controlled by external field. Our work thus uncovers topological features of Weyl plasmons, which may have important applications in photoelectric devices based on chiral/topological plasmonics.