title: New Constructions of Complementary Sequence Pairs over $4^q$-QAM

abstract: The previous constructions of quadrature amplitude modulation (QAM) Golay complementary sequences (GCSs) were generalized as $4^q $-QAM GCSs of length $2^{m}$ by Li \textsl{et al.} (the generalized cases I-III for $q\ge 2$) in 2010 and Liu \textsl{et al.} (the generalized cases IV-V for $q\ge 3$) in 2013 respectively. Those sequences are presented as the combination of the quaternary standard GCSs and compatible offsets. By providing new compatible offsets based on the factorization of the integer $q$, we proposed two new constructions of $4^q $-QAM GCSs, which have the generalized cases I-V as special cases. The numbers of the proposed GCSs (including the generalized cases IV-V) are equal to the product of the number of the quaternary standard GCSs and the number of the compatible offsets. For $q=q_{1}\times q_{2}\times \dots\times q_{t}$ ($q_k>1$), the number of new offsets in our first construction is lower bounded by a polynomial of $m$ with degree $t$, while the numbers of offsets in the generalized cases I-III and IV-V are a linear polynomial of $m$ and a quadratic polynomial of $m$, respectively. In particular, the numbers of new offsets in our first construction is seven times more than that in the generalized cases IV-V for $q=4$. We also show that the numbers of new offsets in our two constructions is lower bounded by a cubic polynomial of $m$ for $q=6$. Moreover, our proof implies that all the mentioned GCSs over QAM in this paper can be regarded as projections of Golay complementary arrays of size $2\times2\times\cdots\times2$.


title: Enhancing a Near-Term Quantum Accelerator's Instruction Set Architecture for Materials Science Applications

abstract: Quantum computers with tens to hundreds of noisy qubits are being developed today. To be useful for real-world applications, we believe that these near-term systems cannot simply be scaled-down non-error-corrected versions of future fault-tolerant large-scale quantum computers. These near-term systems require specific architecture and design attributes to realize their full potential. To efficiently execute an algorithm, the quantum coprocessor must be designed to scale with respect to qubit number and to maximize useful computation within the qubits' decoherence bounds. In this work, we employ an application-system-qubit co-design methodology to architect a near-term quantum coprocessor. To support algorithms from the real-world application area of simulating the quantum dynamics of a material system, we design a (parameterized) arbitrary single-qubit rotation instruction and a two-qubit entangling controlled-Z instruction. We introduce dynamic gate set and paging mechanisms to implement the instructions. To evaluate the functionality and performance of these two instructions, we implement a two-qubit version of an algorithm to study a disorder-induced metal-insulator transition and run 60 random instances of it, each of which realizes one disorder configuration and contains 40 two-qubit instructions (or gates) and 104 single-qubit instructions. We observe the expected quantum dynamics of the time-evolution of this system.


title: Semi-Supervised StyleGAN for Disentanglement Learning

abstract: Disentanglement learning is crucial for obtaining disentangled representations and controllable generation. Current disentanglement methods face several inherent limitations: difficulty with high-resolution images, primarily focusing on learning disentangled representations, and non-identifiability due to the unsupervised setting. To alleviate these limitations, we design new architectures and loss functions based on StyleGAN (Karras et al., 2019), for semi-supervised high-resolution disentanglement learning. We create two complex high-resolution synthetic datasets for systematic testing. We investigate the impact of limited supervision and find that using only 0.25%~2.5% of labeled data is sufficient for good disentanglement on both synthetic and real datasets. We propose new metrics to quantify generator controllability, and observe there may exist a crucial trade-off between disentangled representation learning and controllable generation. We also consider semantic fine-grained image editing to achieve better generalization to unseen images.


title: BasisVAE: Translation-invariant feature-level clustering with Variational Autoencoders

abstract: Variational Autoencoders (VAEs) provide a flexible and scalable framework for non-linear dimensionality reduction. However, in application domains such as genomics where data sets are typically tabular and high-dimensional, a black-box approach to dimensionality reduction does not provide sufficient insights. Common data analysis workflows additionally use clustering techniques to identify groups of similar features. This usually leads to a two-stage process, however, it would be desirable to construct a joint modelling framework for simultaneous dimensionality reduction and clustering of features. In this paper, we propose to achieve this through the BasisVAE: a combination of the VAE and a probabilistic clustering prior, which lets us learn a one-hot basis function representation as part of the decoder network. Furthermore, for scenarios where not all features are aligned, we develop an extension to handle translation-invariant basis functions. We show how a collapsed variational inference scheme leads to scalable and efficient inference for BasisVAE, demonstrated on various toy examples as well as on single-cell gene expression data.


title: Training Deep Energy-Based Models with f-Divergence Minimization

abstract: Deep energy-based models (EBMs) are very flexible in distribution parametrization but computationally challenging because of the intractable partition function. They are typically trained via maximum likelihood, using contrastive divergence to approximate the gradient of the KL divergence between data and model distribution. While KL divergence has many desirable properties, other f-divergences have shown advantages in training implicit density generative models such as generative adversarial networks. In this paper, we propose a general variational framework termed f-EBM to train EBMs using any desired f-divergence. We introduce a corresponding optimization algorithm and prove its local convergence property with non-linear dynamical systems theory. Experimental results demonstrate the superiority of f-EBM over contrastive divergence, as well as the benefits of training EBMs using f-divergences other than KL.


title: DeepSemanticHPPC: Hypothesis-based Planning over Uncertain Semantic Point Clouds

abstract: Planning in unstructured environments is challenging -- it relies on sensing, perception, scene reconstruction, and reasoning about various uncertainties. We propose DeepSemanticHPPC, a novel uncertainty-aware hypothesis-based planner for unstructured environments. Our algorithmic pipeline consists of: a deep Bayesian neural network which segments surfaces with uncertainty estimates; a flexible point cloud scene representation; a next-best-view planner which minimizes the uncertainty of scene semantics using sparse visual measurements; and a hypothesis-based path planner that proposes multiple kinematically feasible paths with evolving safety confidences given next-best-view measurements. Our pipeline iteratively decreases semantic uncertainty along planned paths, filtering out unsafe paths with high confidence. We show that our framework plans safe paths in real-world environments where existing path planners typically fail.


title: Studying the Reflection Spectra of the New Black Hole X-ray Binary Candidate MAXI J1631-479 Observed by NuSTAR: A Variable Broad Iron Line Profile

abstract: We present results from the Nuclear Spectroscopic Telescope Array (NuSTAR) observations of the new black hole X-ray binary candidate MAXI J1631-479 at two epochs during its 2018-2019 outburst, which caught the source in a disk dominant state and a power-law dominant state. Strong relativistic disk reflection features are clearly detected, displaying significant variations in the shape and strength of the broad iron emission line between the two states. Spectral modeling of the reflection spectra reveals that the inner radius of the optically-thick accretion disk evolves from $<1.9$ $r_{\rm g}$ to $12\pm1$ $r_{\rm g}$ (statistical errors at 90% confidence level) from the disk dominant to the power-law dominant state. Assuming in the former case that the inner disk radius is consistent with being at the ISCO, we estimate a black hole spin of $a^*>0.94$. Given that the bolometric luminosity is similar in the two states, our results indicate that the disk truncation observed in MAXI J1631-479 in the power-law dominant state is unlikely to be driven by a global variation in the accretion rate. We propose that it may instead arise from local instabilities in the inner edge of the accretion disk at high accretion rates. In addition, we find an absorption feature in the spectra centered at $7.33\pm0.03$ keV during the disk dominant state, which is evidence for a rare case that an extremely fast disk wind ($v_{\rm out}=0.067^{+0.001}_{-0.004}~c$) is observed in a low-inclination black hole binary, with the viewing angle of $29\pm1^{\circ}$ as determined by the reflection modeling.


title: Deep learning for prediction of population health costs

abstract: Accurate prediction of healthcare costs is important for optimally managing health costs. However, methods leveraging the medical richness from data such as health insurance claims or electronic health records are missing. Here, we developed a deep neural network to predict future cost from health insurance claims records. We applied the deep network and a ridge regression model to a sample of 1.4 million German insurants to predict total one-year health care costs. Both methods were compared to Morbi-RSA models with various performance measures and were also used to predict patients with a change in costs and to identify relevant codes for this prediction. We showed that the neural network outperformed the ridge regression as well as all Morbi-RSA models for cost prediction. Further, the neural network was superior to ridge regression in predicting patients with cost change and identified more specific codes. In summary, we showed that our deep neural network can leverage the full complexity of the patient records and outperforms standard approaches. We suggest that the better performance is due to the ability to incorporate complex interactions in the model and that the model might also be used for predicting other health phenotypes.


title: Laplace invariants of differential operators

abstract: We identify conditions giving large natural classes of partial differential operators for which it is possible to construct a complete set of Laplace invariants. In order to do that we investigate general properties of differential invariants of partial differential operators under gauge transformations and introduce a sufficient condition for a set of invariants to be complete. We also give a some mild conditions that guarantee the existence of such a set. The proof is constructive. The method gives many examples of invariants previously known in the literature as well as many new examples including multidimensional.


title: Characterizing the Radio Quiet Region Behind the Lunar Farside for Low Radio Frequency Experiments

abstract: Low radio frequency experiments performed on Earth are contaminated by both ionospheric effects and radio frequency interference (RFI) from Earth-based sources. The lunar farside provides a unique environment above the ionosphere where RFI is heavily attenuated by the presence of the Moon. We present electrodynamics simulations of the propagation of radio waves around and through the Moon in order to characterize the level of attenuation on the farside. The simulations are performed for a range of frequencies up to 100 kHz, assuming a spherical lunar shape with an average, constant density. Additionally, we investigate the role of the topography and density profile of the Moon in the propagation of radio waves and find only small effects on the intensity of RFI. Due to the computational demands of performing simulations at higher frequencies, we propose a model for extrapolating the width of the quiet region above 100 kHz that also takes into account height above the lunar surface as well as the intensity threshold chosen to define the quiet region. This model, which we make publicly available through a Python package, allows the size of the radio quiet region to be easily calculated both in orbit or on the surface, making it directly applicable for lunar satellites as well as surface missions.


title: Amenability and weak containment for actions of locally compact groups on $C^*$-algebras

abstract: In this work we introduce and study a new notion of amenability for actions of locally compact groups on $C^*$-algebras. Our definition extends the definition of amenability for actions of discrete groups due to Claire Anantharaman-Delaroche. We show that our definition has several characterizations and permanence properties analogous to those known in the discrete case. For example, for actions on commutative $C^*$-algebras, we show that our notion of amenability is equivalent to measurewise amenability. Combined with a recent result of Alex Bearden and Jason Crann, this also settles a long standing open problem about the equivalence of topological amenability and measurewise amenability for a second countable $G$-space $X$. We use our new notion of amenability to study when the maximal and reduced crossed products agree. One of our main results generalizes a theorem of Matsumura: we show that for an action of an exact locally compact group $G$ on a locally compact space $X$ the full and reduced crossed products $C_0(X)\rtimes_\max G$ and $C_0(X)\rtimes_{\operatorname{red}} G$ coincide if and only if the action of $G$ on $X$ is amenable. We also show that the analogue of this theorem does not hold for actions on noncommutative $C^*$-algebras. Finally, we study amenability as it relates to more detailed structure in the case of $C^*$-algebras that fibre over an appropriate $G$-space $X$, and the interaction of amenability with various regularity properties such as nuclearity, exactness, and the (L)LP, and the equivariant versions of injectivity and the WEP.


title: Automatic Machine Learning Derived from Scholarly Big Data

abstract: One of the challenging aspects of applying machine learning is the need to identify the algorithms that will perform best for a given dataset. This process can be difficult, time consuming and often requires a great deal of domain knowledge. We present Sommelier, an expert system for recommending the machine learning algorithms that should be applied on a previously unseen dataset. Sommelier is based on word embedding representations of the domain knowledge extracted from a large corpus of academic publications. When presented with a new dataset and its problem description, Sommelier leverages a recommendation model trained on the word embedding representation to provide a ranked list of the most relevant algorithms to be used on the dataset. We demonstrate Sommelier's effectiveness by conducting an extensive evaluation on 121 publicly available datasets and 53 classification algorithms. The top algorithms recommended for each dataset by Sommelier were able to achieve on average 97.7% of the optimal accuracy of all surveyed algorithms.


title: SpellBound: Defending Against Package Typosquatting

abstract: Package managers for software repositories based on a single programming language are very common. Examples include npm (JavaScript), and PyPI (Python). These tools encourage code reuse, making it trivial for developers to import external packages. Unfortunately, repositories' size and the ease with which packages can be published facilitates the practice of typosquatting: the uploading of a package with name similar to that of a highly popular package, typically with the aim of capturing some of the popular package's installs. Typosquatting has serious negative implications, resulting in developers importing malicious packages, or -- as we show -- code clones which do not incorporate recent security updates. In order to tackle this problem, we present SpellBound, a tool for identifying and reporting potentially erroneous imports to developers. SpellBound implements a novel typosquatting detection technique, based on an in-depth analysis of npm and PyPI. Our technique leverages a model of lexical similarity between names, and further incorporates the notion of package popularity. This approach flags cases where unknown/scarcely used packages would be installed in place of popular ones with similar names, before installation occurs. We evaluated SpellBound on both npm and PyPI, with encouraging results: SpellBound flags typosquatting cases while generating limited warnings (0.5% of total package installs), and low overhead (only 2.5% of package install time). Furthermore, SpellBound allowed us to confirm known cases of typosquatting and discover one high-profile, unknown case of typosquatting that resulted in a package takedown by the npm security team.


title: SuPer Deep: A Surgical Perception Framework for Robotic Tissue Manipulation using Deep Learning for Feature Extraction

abstract: Robotic automation in surgery requires precise tracking of surgical tools and mapping of deformable tissue. Previous works on surgical perception frameworks require significant effort in developing features for surgical tool and tissue tracking. In this work, we overcome the challenge by exploiting deep learning methods for surgical perception. We integrated deep neural networks, capable of efficient feature extraction, into the tissue reconstruction and instrument pose estimation processes. By leveraging transfer learning, the deep learning based approach requires minimal training data and reduced feature engineering efforts to fully perceive a surgical scene. The framework was tested on three publicly available datasets, which use the da Vinci Surgical System, for comprehensive analysis. Experimental results show that our framework achieves state-of-the-art tracking performance in a surgical environment by utilizing deep learning for feature extraction.


title: PoseNet3D: Learning Temporally Consistent 3D Human Pose via Knowledge Distillation

abstract: Recovering 3D human pose from 2D joints is a highly unconstrained problem. We propose a novel neural network framework, PoseNet3D, that takes 2D joints as input and outputs 3D skeletons and SMPL body model parameters. By casting our learning approach in a student-teacher framework, we avoid using any 3D data such as paired/unpaired 3D data, motion capture sequences, depth images or multi-view images during training. We first train a teacher network that outputs 3D skeletons, using only 2D poses for training. The teacher network distills its knowledge to a student network that predicts 3D pose in SMPL representation. Finally, both the teacher and the student networks are jointly fine-tuned in an end-to-end manner using temporal, self-consistency and adversarial losses, improving the accuracy of each individual network. Results on Human3.6M dataset for 3D human pose estimation demonstrate that our approach reduces the 3D joint prediction error by 18% compared to previous unsupervised methods. Qualitative results on in-the-wild datasets show that the recovered 3D poses and meshes are natural, realistic, and flow smoothly over consecutive frames.


title: Machine Learning based Anomaly Detection for 5G Networks

abstract: Protecting the networks of tomorrow is set to be a challenging domain due to increasing cyber security threats and widening attack surfaces created by the Internet of Things (IoT), increased network heterogeneity, increased use of virtualisation technologies and distributed architectures. This paper proposes SDS (Software Defined Security) as a means to provide an automated, flexible and scalable network defence system. SDS will harness current advances in machine learning to design a CNN (Convolutional Neural Network) using NAS (Neural Architecture Search) to detect anomalous network traffic. SDS can be applied to an intrusion detection system to create a more proactive and end-to-end defence for a 5G network. To test this assumption, normal and anomalous network flows from a simulated environment have been collected and analyzed with a CNN. The results from this method are promising as the model has identified benign traffic with a 100% accuracy rate and anomalous traffic with a 96.4% detection rate. This demonstrates the effectiveness of network flow analysis for a variety of common malicious attacks and also provides a viable option for detection of encrypted malicious network traffic.


title: Beta Critical for the Schrodinger Operator with Delta Potential

abstract: For the one dimensional Schr\"odinger operator in the case of Dirichlet boundary condition, we show that $\beta_{cr}$ is positive and zero for the case of Neumann and Robin boundary condition considering the potential energy of the form $V(x)=-\beta \delta(x-a)$ where, $\beta \geq 0, \ a > 0.$ We prove that the $\beta_{cr}$ goes to infinity when the delta potential moves towards the boundary in dimension one with Dirichlet boundary condition. We also show that the $\beta_{cr}>0$ and $\beta \in (0,\frac{1}{2})$ considering Dirichlet problem with delta potential on the circle in dimension two.


title: Time Scales for Rounding of Rocks through Stochastic Chipping

abstract: For 3D geometries, we consider stones (modeled as convex polyhedra) subject to weathering with planar slices of random orientation and depth successively removing material, ultimately yielding smooth and round (i.e. spherical) shapes. An exponentially decaying acceptance probability in the area exposed by a prospective slice provides a stochastically driven physical basis for the removal of material in fracture events. With a variety of quantitative measures, in steady state we find a power law decay of deviations in a toughness parameter $\gamma$ from a perfect spherical shape. We examine the time evolution of shapes for stones initially in the form of cubes as well as irregular fragments created by cleaving a regular solid many times along random fracture planes. In the case of the former, we find two sets of second order structural phase transitions with the usual hallmarks of critical behavior. The first involves the simultaneous loss of facets original to the parent solid, while the second of these involves a shift to a spherical profile. Nevertheless, for mono-dispersed irregular solids, the loss of primordial facets is not simultaneous but occurs in stages. In the case of initially irregular stones, strong disorder obscures individual structural transitions, and relevant observables are smooth with respect to time. More broadly, we find that salient times scale quadratically in $\gamma$. We use the universal dependence of variables on the volume remaining to calculate time dependent variables for a variety of erosion scenarios with results from a single weathering scheme such as the case in which the fracture acceptance probability depends on the relative area of the prospective new face. We calculate time scales for the attainment of structural milestones, obtaining a closed form approximate expression which bounds direct simulation results from above.


title: ShadowSync: Performing Synchronization in the Background for Highly Scalable Distributed Training

abstract: Recommendation systems are often trained with a tremendous amount of data, and distributed training is the workhorse to shorten the training time. While the training throughput can be increased by simply adding more workers, it is also increasingly challenging to preserve the model quality. In this paper, we present \shadowsync, a distributed framework specifically tailored to modern scale recommendation system training. In contrast to previous works where synchronization happens as part of the training process, \shadowsync separates the synchronization from training and runs it in the background. Such isolation significantly reduces the synchronization overhead and increases the synchronization frequency, so that we are able to obtain both high throughput and excellent model quality when training at scale. The superiority of our procedure is confirmed by experiments on training deep neural networks for click-through-rate prediction tasks. Our framework is capable to express data parallelism and/or model parallelism, generic to host various types of synchronization algorithms, and readily applicable to large scale problems in other areas.


title: Global well-posedness for a rapidly rotating convection model of tall columnar structure in the limit of infinite Prandtl number

abstract: We analyze a three-dimensional rapidly rotating convection model of tall columnar structure in the limit of infinite Prandtl number, i.e., when the momentum diffusivity is much more dominant than the thermal diffusivity. Consequently, the dynamics of the velocity field takes place at a much faster time scale than the temperature fluctuation, and at the limit the velocity field formally adjusts instantaneously to the thermal fluctuation. We prove the global well-posedness of weak solutions and strong solutions to this model.


title: Step on the Gas? A Better Approach for Recommending the Ethereum Gas Price

abstract: In the Ethereum network, miners are incentivized to include transactions in a block depending on the gas price specified by the sender. The sender of a transaction therefore faces a trade-off between timely inclusion and cost of his transaction. Existing recommendation mechanisms aggregate recent gas price data on a per-block basis to suggest a gas price. We perform an empirical analysis of historic block data to motivate the use of a predictive model for gas price recommendation. Subsequently, we propose a novel mechanism that combines a deep-learning based price forecasting model as well as an algorithm parameterized by a user-specific urgency value to recommend gas prices. In a comprehensive evaluation on real-world data, we show that our approach results on average in costs savings of more than 50% while only incurring an inclusion delay of 1.3 blocks, when compared to the gas price recommendation mechanism of the most widely used Ethereum client.


title: A Multi-Modal States based Vehicle Descriptor and Dilated Convolutional Social Pooling for Vehicle Trajectory Prediction

abstract: Precise trajectory prediction of surrounding vehicles is critical for decision-making of autonomous vehicles and learning-based approaches are well recognized for the robustness. However, state-of-the-art learning-based methods ignore 1) the feasibility of the vehicle's multi-modal state information for prediction and 2) the mutual exclusive relationship between the global traffic scene receptive fields and the local position resolution when modeling vehicles' interactions, which may influence prediction accuracy. Therefore, we propose a vehicle-descriptor based LSTM model with the dilated convolutional social pooling (VD+DCS-LSTM) to cope with the above issues. First, each vehicle's multi-modal state information is employed as our model's input and a new vehicle descriptor encoded by stacked sparse auto-encoders is proposed to reflect the deep interactive relationships between various states, achieving the optimal feature extraction and effective use of multi-modal inputs. Secondly, the LSTM encoder is used to encode the historical sequences composed of the vehicle descriptor and a novel dilated convolutional social pooling is proposed to improve modeling vehicles' spatial interactions. Thirdly, the LSTM decoder is used to predict the probability distribution of future trajectories based on maneuvers. The validity of the overall model was verified over the NGSIM US-101 and I-80 datasets and our method outperforms the latest benchmark.


title: A Comparison of Amputee and Able-Bodied Inter-Subject Variability in Myoelectric Control

abstract: Despite decades of research and development of pattern recognition approaches, the clinical usability of myoelectriccontrolled prostheses is still limited. One of the main issues is the high inter-subject variability that necessitates long and frequent user-specific training. Cross-user models present an opportunity to improve clinical viability of myoelectric control systems by leveraging existing data to shorten training. However, due to the difficulty of obtaining large sets of data from amputee populations, data from intact-limbed subjects are often supplemented when building cross-user models; which may not translate well to clinical usability. In this preliminary study, the differences between intact-limbed and amputee cross-user electromyography (EMG) patterns were examined. Previously collected EMG data from 20 intact limbed and 10 amputee subjects for different wrist, finger, and grasping gestures were analysed. Results using unsupervised clustering showed that amputees were consistently grouped into a different cluster than intact-limbed subjects and that additional clustering into more subgroups found larger differences between amputees than able-bodied subjects. Furthermore, a simple linear classifier was able to discriminate between able-bodied and amputee subjects using EMG from multiple gestures with 90% accuracy. These results suggest that using able-bodied subject data alone may be insufficient to capture the necessary inter-subject variance when designing cross-user myoelectric control systems for prosthesis control.


title: Grid Cells Are Ubiquitous in Neural Networks

abstract: Grid cells are believed to play an important role in both spatial and non-spatial cognition tasks. A recent study observed the emergence of grid cells in an LSTM for path integration. The connection between biological and artificial neural networks underlying the seemingly similarity, as well as the application domain of grid cells in deep neural networks (DNNs), expect further exploration. This work demonstrated that grid cells could be replicated in either pure vision based or vision guided path integration DNNs for navigation under a proper setting of training parameters. We also show that grid-like behaviors arise in feedforward DNNs for non-spatial tasks. Our findings support that the grid coding is an effective representation for both biological and artificial networks.


title: Global multipartite entanglement dynamics in Grover's search algorithm

abstract: Entanglement is considered to be one of the primary reasons for why quantum algorithms are more efficient than their classical counterparts for certain computational tasks. The global multipartite entanglement of the multiqubit states in Grover's search algorithm can be quantified using the geometric measure of entanglement (GME). Rossi {\em et al.} (Phys. Rev. A \textbf{87}, 022331 (2013)) found that the entanglement dynamics is scale invariant for large $n$. Namely, the GME does not depend on the number $n$ of qubits; rather, it only depends on the ratio of iteration $k$ to the total iteration. In this paper, we discuss the optimization of the GME for large $n$. We prove that ``the GME is scale invariant'' does not always hold. We show that there is generally a turning point that can be computed in terms of the number of marked states and their Hamming weights during the curve of the GME. The GME is scale invariant prior to the turning point. However, the GME is not scale invariant after the turning point since it also depends on $n$ and the marked states.


title: Synthetic Error Dataset Generation Mimicking Bengali Writing Pattern

abstract: While writing Bengali using English keyboard, users often make spelling mistakes. The accuracy of any Bengali spell checker or paragraph correction module largely depends on the kind of error dataset it is based on. Manual generation of such error dataset is a cumbersome process. In this research, We present an algorithm for automatic misspelled Bengali word generation from correct word through analyzing Bengali writing pattern using QWERTY layout English keyboard. As part of our analysis, we have formed a list of most commonly used Bengali words, phonetically similar replaceable clusters, frequently mispressed replaceable clusters, frequently mispressed insertion prone clusters and some rules for Juktakkhar (constant letter clusters) handling while generating errors.


title: Neural Operator: Graph Kernel Network for Partial Differential Equations

abstract: The classical development of neural networks has been primarily for mappings between a finite-dimensional Euclidean space and a set of classes, or between two finite-dimensional Euclidean spaces. The purpose of this work is to generalize neural networks so that they can learn mappings between infinite-dimensional spaces (operators). The key innovation in our work is that a single set of network parameters, within a carefully designed network architecture, may be used to describe mappings between infinite-dimensional spaces and between different finite-dimensional approximations of those spaces. We formulate approximation of the infinite-dimensional mapping by composing nonlinear activation functions and a class of integral operators. The kernel integration is computed by message passing on graph networks. This approach has substantial practical consequences which we will illustrate in the context of mappings between input data to partial differential equations (PDEs) and their solutions. In this context, such learned networks can generalize among different approximation methods for the PDE (such as finite difference or finite element methods) and among approximations corresponding to different underlying levels of resolution and discretization. Experiments confirm that the proposed graph kernel network does have the desired properties and show competitive performance compared to the state of the art solvers.


title: Study of Linear Precoding and Stream Combining for Rate Splitting in MU-MIMO Systems

abstract: This paper develops stream combining techniques for rate-splitting (RS) multiple-antenna systems with multiple users to enhance the common rate. We propose linear combining techniques based on the Min-Max, the maximum ratio and the minimum mean-square error criteria along with Regularized Block Diagonalization (RBD) precoders for RS-based multiuser multiple-antenna systems. An analysis of the sum rate performance is carried out, leading to closed-form expressions. Simulations show that the proposed combining schemes offer a significant sum rate performance gain over conventional linear precoding schemes.


title: Asymptotics for singular solutions to conformally invariant fourth order systems in the punctured ball

abstract: We study the asymptotic behavior for singular solutions to a critical fourth order system generalizing the constant $Q$-curvature equation. Our main result extends to the case of strongly coupled systems, the celebrated asymptotic classification due to [L. A. Caffarelli, B. Gidas and J. Spruck, Comm. Pure Appl. Math. (1989)] and [N. Korevaar, R. Mazzeo, F. Pacard and R. Schoen, Invent. Math., (1999)]. On the technical level, we use an involved spectral analysis to study the Jacobi fields' growth properties in the kernel of the linearization of our system around a blow-up limit solution. Besides, we obtain sharp a priori estimates for the decay rate of singular solutions near the origin. Consequently, we prove that sufficiently close to the isolated singularity solutions behave like the so-called Emden--Fowler solution. Our main theorem positively answers a question posed by [R. L. Frank and T. K\"onig, Anal. PDE (2019)] concerning the local behavior close to the isolated singularity for scalar solutions in the punctured ball.


title: ReActNet: Towards Precise Binary Neural Network with Generalized Activation Functions

abstract: In this paper, we propose several ideas for enhancing a binary network to close its accuracy gap from real-valued networks without incurring any additional computational cost. We first construct a baseline network by modifying and binarizing a compact real-valued network with parameter-free shortcuts, bypassing all the intermediate convolutional layers including the downsampling layers. This baseline network strikes a good trade-off between accuracy and efficiency, achieving superior performance than most of existing binary networks at approximately half of the computational cost. Through extensive experiments and analysis, we observed that the performance of binary networks is sensitive to activation distribution variations. Based on this important observation, we propose to generalize the traditional Sign and PReLU functions, denoted as RSign and RPReLU for the respective generalized functions, to enable explicit learning of the distribution reshape and shift at near-zero extra cost. Lastly, we adopt a distributional loss to further enforce the binary network to learn similar output distributions as those of a real-valued network. We show that after incorporating all these ideas, the proposed ReActNet outperforms all the state-of-the-arts by a large margin. Specifically, it outperforms Real-to-Binary Net and MeliusNet29 by 4.0% and 3.6% respectively for the top-1 accuracy and also reduces the gap to its real-valued counterpart to within 3.0% top-1 accuracy on ImageNet dataset. Code and models are available at: https://github.com/liuzechun/ReActNet.


title: Super Resolution Using Segmentation-Prior Self-Attention Generative Adversarial Network

abstract: Convolutional Neural Network (CNN) is intensively implemented to solve super resolution (SR) tasks because of its superior performance. However, the problem of super resolution is still challenging due to the lack of prior knowledge and small receptive field of CNN. We propose the Segmentation-Piror Self-Attention Generative Adversarial Network (SPSAGAN) to combine segmentation-priors and feature attentions into a unified framework. This combination is led by a carefully designed weighted addition to balance the influence of feature and segmentation attentions, so that the network can emphasize textures in the same segmentation category and meanwhile focus on the long-distance feature relationship. We also propose a lightweight skip connection architecture called Residual-in-Residual Sparse Block (RRSB) to further improve the super-resolution performance and save computation. Extensive experiments show that SPSAGAN can generate more realistic and visually pleasing textures compared to state-of-the-art SFTGAN and ESRGAN on many SR datasets.


title: Adversarial Online Learning with Changing Action Sets: Efficient Algorithms with Approximate Regret Bounds

abstract: We revisit the problem of online learning with sleeping experts/bandits: in each time step, only a subset of the actions are available for the algorithm to choose from (and learn about). The work of Kleinberg et al. (2010) showed that there exist no-regret algorithms which perform no worse than the best ranking of actions asymptotically. Unfortunately, achieving this regret bound appears computationally hard: Kanade and Steinke (2014) showed that achieving this no-regret performance is at least as hard as PAC-learning DNFs, a notoriously difficult problem. In the present work, we relax the original problem and study computationally efficient no-approximate-regret algorithms: such algorithms may exceed the optimal cost by a multiplicative constant in addition to the additive regret. We give an algorithm that provides a no-approximate-regret guarantee for the general sleeping expert/bandit problems. For several canonical special cases of the problem, we give algorithms with significantly better approximation ratios; these algorithms also illustrate different techniques for achieving no-approximate-regret guarantees.


title: Quantum-Enhanced Velocimetry with Doppler-Broadened Atomic Vapor

abstract: Traditionally, measuring the center-of-mass (c.m.) velocity of an atomic ensemble relies on measuring the Doppler shift of the absorption spectrum of single atoms in the ensemble. Mapping out the velocity distribution of the ensemble is indispensable when determining the c.m. velocity using this technique. As a result, highly sensitive measurements require preparation of an ensemble with a narrow Doppler width. Here, we use a dispersive measurement of light passing through a moving room temperature atomic vapor cell to determine the velocity of the cell in a single shot with a short-term sensitivity of 5.5 $\mu$m s$^{-1}$ Hz$^{-1/2}$. The dispersion of the medium is enhanced by creating quantum interference through an auxiliary transition for the probe light under electromagnetically induced transparency condition. In contrast to measurement of single atoms, this method is based on the collective motion of atoms and can sense the c.m. velocity of an ensemble without knowing its velocity distribution. Our results improve the previous measurements by 3 orders of magnitude and can be used to design a compact motional sensor based on thermal atoms.


title: Semantic Change Pattern Analysis

abstract: Change detection is an important problem in vision field, especially for aerial images. However, most works focus on traditional change detection, i.e., where changes happen, without considering the change type information, i.e., what changes happen. Although a few works have tried to apply semantic information to traditional change detection, they either only give the label of emerging objects without taking the change type into consideration, or set some kinds of change subjectively without specifying semantic information. To make use of semantic information and analyze change types comprehensively, we propose a new task called semantic change pattern analysis for aerial images. Given a pair of co-registered aerial images, the task requires a result including both where and what changes happen. We then describe the metric adopted for the task, which is clean and interpretable. We further provide the first well-annotated aerial image dataset for this task. Extensive baseline experiments are conducted as reference for following works. The aim of this work is to explore high-level information based on change detection and facilitate the development of this field with the publicly available dataset.


title: Bounds of Trilinear and Trinomial Exponential Sums

abstract: We prove, for a sufficiently small subset $\mathcal{A}$ of a prime residue field, an estimate on the number of solutions to the equation $(a_1-a_2)(a_3-a_4) = (a_5-a_6)(a_7-a_8)$ with all variables in $\mathcal{A}$. We then derive new bounds on trilinear exponential sums and on the total number of residues equaling the product of two differences of elements of $\mathcal{A}$. We also prove a refined estimate on the number of collinear triples in a Cartesian product of multiplicative subgroups and derive stronger bounds for trilinear sums with all variables in multiplicative subgroups.


title: Outdoor mmWave Base Station Placement: A Multi-Armed Bandit Learning Approach

abstract: Base station (BS) placement in mobile networks is critical to the efficient use of resources in any communication system and one of the main factors that determines the quality of communication. Although there is ample literature on the optimum placement of BSs for sub-6 GHz bands, channel propagation characteristics, such as penetration loss, are notably different in millimeter-wave (mmWave) bands than in sub-6 GHz bands. Therefore, designated solutions are needed for mmWave systems to have reliable quality of service (QoS) assessment. This article proposes a multi-armed bandit (MAB) learning approach for the mmWave BS placement problem. The proposed solution performs viewshed analysis to identify the areas that are visible to a given BS location by considering the 3D geometry of the outdoor environments. Coverage probability, which is used as the QoS metric, is calculated using the appropriate path loss model depending on the viewshed analysis and a probabilistic blockage model and then fed to the MAB learning mechanism. The optimum BS location is then determined based on the expected reward that the candidate locations attain at the end of the training process. Unlike the optimization-based techniques, this method can capture the time-varying behavior of the channel and find the optimal BS locations that maximize long-term performance.


title: Mass shedding activities of Asteroid (3200) Phaethon enhanced by its rotation

abstract: Asteroid (3200) Phaethon, a B-type asteroid, has been active during its perihelion passages. This asteroid is considered to be a source of the Geminid meteor stream. It is reported that this asteroid is spinning at a rotation period of $3.60 \ hr$ and has a top shape (an oblate body with an equatorial ridge) with a mean equatorial diameter of $6.25 \ km$. Here, we report that Phaethon's rotation state may be close to or above its critical rotation period when the bulk density is $0.5 \ - \ 1.5 \ {g/cm^3}$ (a typical bulk density of a B-type asteroid). We found that in this condition, the structure of Phaethon is sensitive to failure unless the cohesive strength is ${\sim}50 \ Pa \ - \ {\sim}260 \ Pa$. This result implies that if there are some surface processes driven by, for example, thermal waves, large-scaled deformation may happen and cause mass shedding. From this interpretation, we propose the processes that produced the Geminid meteor stream in the past and dust tails recently. Phaethon initially rotated at a spin period shorter than the current period. The magnitude of structural deformation at this stage was higher than the present spin condition, and a large mass shedding event, i.e., the Geminid meteor stream, occurred. After this deformation process, the body became more oblate, and its spin slowed down. At this point, while the spin was high enough for the body to have mass shedding events, the magnitude of these events became small.


title: MIMO Amplify-and-Forward Precoding for Networked Control Systems

abstract: In this paper, we consider a MIMO networked control system (NCS) in which a sensor amplifies and forwards the observed MIMO plant state to a remote controller via a MIMO fading channel. We focus on the MIMO amplify-and-forward (AF) precoding design at the sensor to minimize a weighted average state estimation error at the remote controller subject to an average communication power gain constraint of the sensor. The MIMO AF precoding design is formulated as an infinite horizon average cost Markov decision process (MDP). To deal with the curse of dimensionality associated with the MDP, we propose a novel continuous-time perturbation approach and derive an asymptotically optimal closed-form priority function for the MDP. Based on this, we derive a closed-form first-order optimal dynamic MIMO AF precoding solution, and the solution has an event-driven control structure. Specifically, the sensor activates the strongest eigenchannel to deliver a dynamically weighted combination of the plant states to the controller when the accumulated state estimation error exceeds a dynamic threshold. We further establish technical conditions for ensuring the stability of the MIMO NCS, and show that the mean square error of the plant state estimation is $\mathcal{O}\left(\frac{1}{\bar{F}}\right)$, where $\bar{F}$ is the maximum AF gain of the MIMO AF precoding.


title: MatchingGAN: Matching-based Few-shot Image Generation

abstract: To generate new images for a given category, most deep generative models require abundant training images from this category, which are often too expensive to acquire. To achieve the goal of generation based on only a few images, we propose matching-based Generative Adversarial Network (GAN) for few-shot generation, which includes a matching generator and a matching discriminator. Matching generator can match random vectors with a few conditional images from the same category and generate new images for this category based on the fused features. The matching discriminator extends conventional GAN discriminator by matching the feature of generated image with the fused feature of conditional images. Extensive experiments on three datasets demonstrate the effectiveness of our proposed method.


title: Control Barrier Functions for Stochastic Systems

abstract: Control Barrier Functions (CBFs) aim to ensure safety by constraining the control input at each time step so that the system state remains within a desired safe region. This paper presents a framework for CBFs in stochastic systems in the presence of Gaussian process and measurement noise. We first consider the case where the system state is known at each time step, and present reciprocal and zero CBF constructions that guarantee safety with probability 1. We extend our results to high relative degree systems with linear dynamics and affine safety constraints. We then develop CBFs for incomplete state information environments, in which the state must be estimated using sensors that are corrupted by Gaussian noise. We prove that our proposed CBF ensures safety with probability 1 when the state estimate is within a given bound of the true state, which can be achieved using an Extended Kalman Filter when the system is linear or the process and measurement noise are sufficiently small. We propose control policies that combine these CBFs with Control Lyapunov Functions in order to jointly ensure safety and stochastic stability. Our results are validated via numerical study on a multi-agent collision avoidance example.


title: The HOSTS survey for exozodiacal dust: Observational results from the complete survey

abstract: The Large Binocular Telescope Interferometer (LBTI) enables nulling interferometric observations across the N band (8 to 13 um) to suppress a star's bright light and probe for faint circumstellar emission. We present and statistically analyze the results from the LBTI/HOSTS (Hunt for Observable Signatures of Terrestrial Systems) survey for exozodiacal dust. By comparing our measurements to model predictions based on the Solar zodiacal dust in the N band, we estimate a 1 sigma median sensitivity of 23 zodis for early type stars and 48 zodis for Sun-like stars, where 1 zodi is the surface density of habitable zone (HZ) dust in the Solar system. Of the 38 stars observed, 10 show significant excess. A clear correlation of our detections with the presence of cold dust in the systems was found, but none with the stellar spectral type or age. The majority of Sun-like stars have relatively low HZ dust levels (best-fit median: 3 zodis, 1 sigma upper limit: 9 zodis, 95% confidence: 27 zodis based on our N band measurements), while ~20% are significantly more dusty. The Solar system's HZ dust content is consistent with being typical. Our median HZ dust level would not be a major limitation to the direct imaging search for Earth-like exoplanets, but more precise constraints are still required, in particular to evaluate the impact of exozodiacal dust for the spectroscopic characterization of imaged exo-Earth candidates.


title: Weight mechanism: adding a constant in concatenation of series connect

abstract: It is a consensus that feature maps in the shallow layer are more related to image attributes such as texture and shape, whereas abstract semantic representation exists in the deep layer. Meanwhile, some image information will be lost in the process of the convolution operation. Naturally, the direct method is combining them together to gain lost detailed information through concatenation or adding. In fact, the image representation flowed in feature fusion can not match with the semantic representation completely, and the semantic deviation in different layers also destroy the information purification, that leads to useless information being mixed into the fusion layers. Therefore, it is crucial to narrow the gap among the fused layers and reduce the impact of noises during fusion. In this paper, we propose a method named weight mechanism to reduce the gap between feature maps in concatenation of series connection, and we get a better result of 0.80% mIoU improvement on Massachusetts building dataset by changing the weight of the concatenation of series connection in residual U-Net. Specifically, we design a new architecture named fused U-Net to test weight mechanism, and it also gains 0.12% mIoU improvement.


title: Cross-modal Learning for Multi-modal Video Categorization

abstract: Multi-modal machine learning (ML) models can process data in multiple modalities (e.g., video, audio, text) and are useful for video content analysis in a variety of problems (e.g., object detection, scene understanding, activity recognition). In this paper, we focus on the problem of video categorization using a multi-modal ML technique. In particular, we have developed a novel multi-modal ML approach that we call "cross-modal learning", where one modality influences another but only when there is correlation between the modalities -- for that, we first train a correlation tower that guides the main multi-modal video categorization tower in the model. We show how this cross-modal principle can be applied to different types of models (e.g., RNN, Transformer, NetVLAD), and demonstrate through experiments how our proposed multi-modal video categorization models with cross-modal learning out-perform strong state-of-the-art baseline models.


title: A quadratically convergent proximal algorithm for nonnegative tensor decomposition

abstract: The decomposition of tensors into simple rank-1 terms is key in a variety of applications in signal processing, data analysis and machine learning. While this canonical polyadic decomposition (CPD) is unique under mild conditions, including prior knowledge such as nonnegativity can facilitate interpretation of the components. Inspired by the effectiveness and efficiency of Gauss-Newton (GN) for unconstrained CPD, we derive a proximal, semismooth GN type algorithm for nonnegative tensor factorization. If the algorithm converges to the global optimum, we show that $Q$-quadratic convergence can be obtained in the exact case. Global convergence is achieved via backtracking on the forward-backward envelope function. The $Q$-quadratic convergence is verified experimentally, and we illustrate that using the GN step significantly reduces number of (expensive) gradient computations compared to proximal gradient descent.


title: Diffusion enhancement in a levitated droplet via oscillatory deformation

abstract: Recent experimental results indicate that mixing is enhanced by a reciprocal flow induced inside a levitated droplet with an oscillatory deformation [T. Watanabe et al. Sci. Rep. 8, 10221 (2018)]. Generally, reciprocal flow cannot convect the solutes in time average, and agitation cannot take place. In the present paper, we focus on the diffusion process coupled with the reciprocal flow. We theoretically derive that the diffusion process can be enhanced by the reciprocal flow, and the results are confirmed via numerical calculation of the over-damped Langevin equation with a reciprocal flow.


title: A Post-processing Method for Detecting Unknown Intent of Dialogue System via Pre-trained Deep Neural Network Classifier

abstract: With the maturity and popularity of dialogue systems, detecting user's unknown intent in dialogue systems has become an important task. It is also one of the most challenging tasks since we can hardly get examples, prior knowledge or the exact numbers of unknown intents. In this paper, we propose SofterMax and deep novelty detection (SMDN), a simple yet effective post-processing method for detecting unknown intent in dialogue systems based on pre-trained deep neural network classifiers. Our method can be flexibly applied on top of any classifiers trained in deep neural networks without changing the model architecture. We calibrate the confidence of the softmax outputs to compute the calibrated confidence score (i.e., SofterMax) and use it to calculate the decision boundary for unknown intent detection. Furthermore, we feed the feature representations learned by the deep neural networks into traditional novelty detection algorithm to detect unknown intents from different perspectives. Finally, we combine the methods above to perform the joint prediction. Our method classifies examples that differ from known intents as unknown and does not require any examples or prior knowledge of it. We have conducted extensive experiments on three benchmark dialogue datasets. The results show that our method can yield significant improvements compared with the state-of-the-art baselines


title: Data Management for Context-Aware Computing

abstract: We envisage future context-aware applications will dynamically adapt their behaviors to various context data from sources in wide-area networks, such as the Internet. Facing the changing context and the sheer number of context sources, a data management system that supports effective source organization and efficient data lookup becomes crucial to the easy development of context-aware applications. In this paper, we propose the design of a new context data management system that is equipped with query processing capabilities. We encapsulate the context sources into physical spaces belonging to different context spaces and organize them as peers in semantic overlay networks. Initial evaluation results of an experimental system prototype demonstrate the effectiveness of our design


title: Columnwise Element Selection for Computationally Efficient Nonnegative Coupled Matrix Tensor Factorization

abstract: Coupled Matrix Tensor Factorization (CMTF) facilitates the integration and analysis of multiple data sources and helps discover meaningful information. Nonnegative CMTF (N-CMTF) has been employed in many applications for identifying latent patterns, prediction, and recommendation. However, due to the added complexity with coupling between tensor and matrix data, existing N-CMTF algorithms exhibit poor computation efficiency. In this paper, a computationally efficient N-CMTF factorization algorithm is presented based on the column-wise element selection, preventing frequent gradient updates. Theoretical and empirical analyses show that the proposed N-CMTF factorization algorithm is not only more accurate but also more computationally efficient than existing algorithms in approximating the tensor as well as in identifying the underlying nature of factors.


title: ECSP: A New Task for Emotion-Cause Span-Pair Extraction and Classification

abstract: Emotion cause analysis such as emotion cause extraction (ECE) and emotion-cause pair extraction (ECPE) have gradually attracted the attention of many researchers. However, there are still two shortcomings in the existing research: 1) In most cases, emotion expression and cause are not the whole clause, but the span in the clause, so extracting the clause-pair rather than the span-pair greatly limits its applications in real-world scenarios; 2) It is not enough to extract the emotion expression clause without identifying the emotion categories, the presence of emotion clause does not necessarily convey emotional information explicitly due to different possible causes. In this paper, we propose a new task: Emotion-Cause Span-Pair extraction and classification (ECSP), which aims to extract the potential span-pair of emotion and corresponding causes in a document, and make emotion classification for each pair. In the new ECSP task, ECE and ECPE can be regarded as two special cases at the clause-level. We propose a span-based extract-then-classify (ETC) model, where emotion and cause are directly extracted and paired from the document under the supervision of target span boundaries, and corresponding categories are then classified using their pair representations and localized context. Experiments show that our proposed ETC model outperforms the SOTA model of ECE and ECPE task respectively and gets a fair-enough results on ECSP task.


title: A 1000-fold Acceleration of Hidden Markov Model Fitting using Graphical Processing Units, with application to Nonvolcanic Tremor Classification

abstract: Hidden Markov models (HMMs) are general purpose models for time-series data widely used across the sciences because of their flexibility and elegance. However fitting HMMs can often be computationally demanding and time consuming, particularly when the the number of hidden states is large or the Markov chain itself is long. Here we introduce a new Graphical Processing Unit (GPU) based algorithm designed to fit long chain HMMs, applying our approach to an HMM for nonvolcanic tremor events developed by Wang et al.(2018). Even on a modest GPU, our implementation resulted in a 1000-fold increase in speed over the standard single processor algorithm, allowing a full Bayesian inference of uncertainty related to model parameters. Similar improvements would be expected for HMM models given large number of observations and moderate state spaces (<80 states with current hardware). We discuss the model, general GPU architecture and algorithms and report performance of the method on a tremor dataset from the Shikoku region, Japan.


title: Existentially closed Leibniz algebras and an embedding theorem

abstract: In this paper we introduce the notion of existentially closed Leibniz algebras. Then we use HNN-extensions of Leibniz algebras in order to prove an embedding theorem.


title: Commuting unbounded homotopy limits with Morava K-theory

abstract: This paper provides conditions for Morava K-theory to commute with certain homotopy limits. These conditions extend previous work on this question by allowing for homotopy limits of sequences of spectra that are not uniformly bounded below. As an application, we prove the $K(n)$-local triviality (for sufficiently large $n$) of the algebraic K-theory of algebras over truncated Brown-Peterson spectra, building on work of Bruner and Rognes and extending a classical theorem of Mitchell on $K(n)$-local triviality of the algebraic K-theory spectrum of the integers for large enough n.


title: Astrometric study of Gaia DR2 stars for interstellar communication

abstract: We discuss the prospects of high precision pointing of our transmitter to habitable planets around Galactic main sequence stars. For an efficient signal delivery, the future sky positions of the host stars should be appropriately extrapolated with accuracy better than the beam opening angle $\Theta$ of the transmitter. Using the latest data release (DR2) of Gaia, we estimate the accuracy of the extrapolations individually for $4.7\times 10^7$ FGK stars, and find that the total number of targets could be $\sim 10^7$ for the accuracy goal better than 1". Considering the pairwise nature of communication, our study would be instructive also for SETI (Search for Extraterrestrial Intelligence), not only for sending signals outward.


title: Loop Fayet-Iliopoulos terms in $T^2/Z_2$ models: instability and moduli stabilization

abstract: We study Fayet-Iliopoulos (FI) terms of six-dimensional supersymmetric Abelian gauge theory compactified on a $T^2/Z_2$ orbifold. Such orbifold compactifications can lead to localized FI-terms and instability of bulk zero modes. We study 1-loop correction to FI-terms in more general geometry than the previous works. We find induced FI-terms depend on the complex structure of the compact space. We also find the complex structure of the torus can be stabilized at a specific value corresponding to a self-consistent supersymmetric minimum of the potential by such 1-loop corrections, which is applicable to the modulus stabilization.


title: Finiteness of meromorphic mappings from K\"{a}hler manifold into projective space

abstract: The purpose of this paper is to prove the finiteness theorems for meromorphic mappings of a complete connected K\"{a}hler manifold into projective space sharing few hyperplanes in subgeneral position without counting multiplicity, where all zeros with multiplicities more than a certain number are omitted. Our results are extensions and generalizations of some recent ones.


title: Quantum Random Access Stored-Program Machines

abstract: Random access machines (RAMs) and random access stored-program machines (RASPs) are models of computing that are closer to the architecture of real-world computers than Turing machines (TMs). They are also convenient in complexity analysis of algorithms. The relationships between RAMs, RASPs and TMs are well-studied. However, clear relationships between their quantum counterparts are still missing in the literature. We fill in this gap by formally defining the models of quantum random access machines (QRAMs) and quantum random access stored-program machines (QRASPs) and clarifying the relationships between QRAMs, QRASPs and quantum Turing machines (QTMs). In particular, we show that $\textbf{P} \subseteq \textbf{EQRAMP} \subseteq \textbf{EQP} \subseteq \textbf{BQP} = \textbf{BQRAMP}$, where $\textbf{EQRAMP}$ and $\textbf{BQRAMP}$ stand for the sets of problems that can be solved by polynomial-time QRAMs with certainty and bounded-error, respectively. At the heart of our proof, is a standardisation of QTM with an extended halting scheme, which is of independent interest.


title: Scalable Approximate Inference and Some Applications

abstract: Approximate inference in probability models is a fundamental task in machine learning. Approximate inference provides powerful tools to Bayesian reasoning, decision making, and Bayesian deep learning. The main goal is to estimate the expectation of interested functions w.r.t. a target distribution. When it comes to high dimensional probability models and large datasets, efficient approximate inference becomes critically important. In this thesis, we propose a new framework for approximate inference, which combines the advantages of these three frameworks and overcomes their limitations. Our proposed four algorithms are motivated by the recent computational progress of Stein's method. Our proposed algorithms are applied to continuous and discrete distributions under the setting when the gradient information of the target distribution is available or unavailable. Theoretical analysis is provided to prove the convergence of our proposed algorithms. Our adaptive IS algorithm iteratively improves the importance proposal by functionally decreasing the KL divergence between the updated proposal and the target. When the gradient of the target is unavailable, our proposed sampling algorithm leverages the gradient of a surrogate model and corrects induced bias with importance weights, which significantly outperforms other gradient-free sampling algorithms. In addition, our theoretical results enable us to perform the goodness-of-fit test on discrete distributions. At the end of the thesis, we propose an importance-weighted method to efficiently aggregate local models in distributed learning with one-shot communication. Results on simulated and real datasets indicate the statistical efficiency and wide applicability of our algorithm.


title: Learn and Transfer Knowledge of Preferred Assistance Strategies in Semi-autonomous Telemanipulation

abstract: Enabling robots to provide effective assistance yet still accommodating the operator's commands for telemanipulation of an object is very challenging because robot's assistive action is not always intuitive for human operators and human behaviors and preferences are sometimes ambiguous for the robot to interpret. Although various assistance approaches are being developed to improve the control quality from different optimization perspectives, the problem still remains in determining the appropriate approach that satisfies the fine motion constraints for the telemanipulation task and preference of the operator. To address these problems, we developed a novel preference-aware assistance knowledge learning approach. An assistance preference model learns what assistance is preferred by a human, and a stagewise model updating method ensures the learning stability while dealing with the ambiguity of human preference data. Such a preference-aware assistance knowledge enables a teleoperated robot hand to provide more active yet preferred assistance toward manipulation success. We also developed knowledge transfer methods to transfer the preference knowledge across different robot hand structures to avoid extensive robot-specific training. Experiments to telemanipulate a 3-finger hand and 2-finger hand, respectively, to use, move, and hand over a cup have been conducted. Results demonstrated that the methods enabled the robots to effectively learn the preference knowledge and allowed knowledge transfer between robots with less training effort.


title: An Active Learning Framework for Constructing High-fidelity Mobility Maps

abstract: A mobility map, which provides maximum achievable speed on a given terrain, is essential for path planning of autonomous ground vehicles in off-road settings. While physics-based simulations play a central role in creating next-generation, high-fidelity mobility maps, they are cumbersome and expensive. For instance, a typical simulation can take weeks to run on a supercomputer and each map requires thousands of such simulations. Recent work at the U.S. Army CCDC Ground Vehicle Systems Center has shown that trained machine learning classifiers can greatly improve the efficiency of this process. However, deciding which simulations to run in order to train the classifier efficiently is still an open problem. According to PAC learning theory, data that can be separated by a classifier is expected to require $\mathcal{O}(1/\epsilon)$ randomly selected points (simulations) to train the classifier with error less than $\epsilon$. In this paper, building on existing algorithms, we introduce an active learning paradigm that substantially reduces the number of simulations needed to train a machine learning classifier without sacrificing accuracy. Experimental results suggest that our sampling algorithm can train a neural network, with higher accuracy, using less than half the number of simulations when compared to random sampling.


title: Robust, Occlusion-aware Pose Estimation for Objects Grasped by Adaptive Hands

abstract: Many manipulation tasks, such as placement or within-hand manipulation, require the object's pose relative to a robot hand. The task is difficult when the hand significantly occludes the object. It is especially hard for adaptive hands, for which it is not easy to detect the finger's configuration. In addition, RGB-only approaches face issues with texture-less objects or when the hand and the object look similar. This paper presents a depth-based framework, which aims for robust pose estimation and short response times. The approach detects the adaptive hand's state via efficient parallel search given the highest overlap between the hand's model and the point cloud. The hand's point cloud is pruned and robust global registration is performed to generate object pose hypotheses, which are clustered. False hypotheses are pruned via physical reasoning. The remaining poses' quality is evaluated given agreement with observed data. Extensive evaluation on synthetic and real data demonstrates the accuracy and computational efficiency of the framework when applied on challenging, highly-occluded scenarios for different object types. An ablation study identifies how the framework's components help in performance. This work also provides a dataset for in-hand 6D object pose estimation. Code and dataset are available at: https://github.com/wenbowen123/icra20-hand-object-pose


title: Distilling portable Generative Adversarial Networks for Image Translation

abstract: Despite Generative Adversarial Networks (GANs) have been widely used in various image-to-image translation tasks, they can be hardly applied on mobile devices due to their heavy computation and storage cost. Traditional network compression methods focus on visually recognition tasks, but never deal with generation tasks. Inspired by knowledge distillation, a student generator of fewer parameters is trained by inheriting the low-level and high-level information from the original heavy teacher generator. To promote the capability of student generator, we include a student discriminator to measure the distances between real images, and images generated by student and teacher generators. An adversarial learning process is therefore established to optimize student generator and student discriminator. Qualitative and quantitative analysis by conducting experiments on benchmark datasets demonstrate that the proposed method can learn portable generative models with strong performance.


title: Ion transport and reordering in a two-dimensional trap array

abstract: Scaling quantum information processors is a challenging task, requiring manipulation of a large number of qubits with high fidelity and a high degree of connectivity. For trapped ions, this could be realized in a two-dimensional array of interconnected traps in which ions are separated, transported and recombined to carry out quantum operations on small subsets of ions. Here, we use a junction connecting orthogonal linear segments in a two-dimensional (2D) trap array to reorder a two-ion crystal. The secular motion of the ions experiences low energy gain and the internal qubit levels maintain coherence during the reordering process, therefore demonstrating a promising method for providing all-to-all connectivity in a large-scale, two- or three-dimensional trapped-ion quantum information processor.


title: Apical oxygen vibrations dominant role in d-wave cuprate superconductivity and its interplay with spin fluctuations

abstract: Microscopic theory of a high Tc cuprate BiSCO based on main pairing channel of electrons in CuO planes due to 40meV lateral vibrations of the apical oxygen atoms in adjacent the SrO ionic insulator layer is proposed. The separation between the vibrating charged atoms and the 2D electron gas creates the forward scattering peak leading in turn to the d-wave pairing within Eliashberg formalism. The phonon mode naturally explain the kink in dispersion relation observed by ARPES and the and effect of the O16 to O18 isotope substitution in the normal state. To describe the pseudogap physics a single band fourfold symmetric Hubbard model, with the hopping parameters t' = - 0.17t and the on site repulsion U = 6t was used. It described the Mott insulator at low doping, while at higher dopping the pseudogap physics (still strongly correlated) can be be approximated by the symmetrized mean field model and with renormalized U incorporating screening. The location of the transition line between the locally antiferromagnetic pseudogap and the paramagnetic overdoped phases and susceptibility (describing spin uctuations coupling to 2DEG) are also obtained within this approximation. The superconducting d-wave gap mainly due to the phonon channel but is assisted by the spin fluctuations (15-20%). The dependence of the gap and Tc on doping and effect of the isotope substitution are obtained and is consistent with experiments.


title: MobilePose: Real-Time Pose Estimation for Unseen Objects with Weak Shape Supervision

abstract: In this paper, we address the problem of detecting unseen objects from RGB images and estimating their poses in 3D. We propose two mobile friendly networks: MobilePose-Base and MobilePose-Shape. The former is used when there is only pose supervision, and the latter is for the case when shape supervision is available, even a weak one. We revisit shape features used in previous methods, including segmentation and coordinate map. We explain when and why pixel-level shape supervision can improve pose estimation. Consequently, we add shape prediction as an intermediate layer in the MobilePose-Shape, and let the network learn pose from shape. Our models are trained on mixed real and synthetic data, with weak and noisy shape supervision. They are ultra lightweight that can run in real-time on modern mobile devices (e.g. 36 FPS on Galaxy S20). Comparing with previous single-shot solutions, our method has higher accuracy, while using a significantly smaller model (2~3% in model size or number of parameters).


title: Recursive Least Squares with Variable-Direction Forgetting -- Compensating for the loss of persistency

abstract: Learning depends on the ability to acquire and assimilate new information. This ability depends---somewhat counterintuitively---on the ability to forget. In particular, effective forgetting requires the ability to recognize and utilize new information to order to update a system model. This article is a tutorial on forgetting within the context of recursive least squares (RLS). To do this, RLS is first presented in its classical form, which employs uniform-direction forgetting. Next, examples are given to motivate the need for variable-direction forgetting, especially in cases where the excitation is not persistent. Some of these results are well known, whereas others complement the prior literature. The goal is to provide a self-contained tutorial of the main ideas and techniques for students and researchers whose research may benefit from variable-direction forgetting.


title: The Variational InfoMax Learning Objective

abstract: Bayesian Inference and Information Bottleneck are the two most popular objectives for neural networks, but they can be optimised only via a variational lower bound: the Variational Information Bottleneck (VIB). In this manuscript we show that the two objectives are actually equivalent to the InfoMax: maximise the information between the data and the labels. The InfoMax representation of the two objectives is not relevant only per se, since it helps to understand the role of the network capacity, but also because it allows us to derive a variational objective, the Variational InfoMax (VIM), that maximises them directly without resorting to any lower bound. The theoretical improvement of VIM over VIB is highlighted by the computational experiments, where the model trained by VIM improves the VIB model in three different tasks: accuracy, robustness to noise and representation quality.


title: Spectrum of singly heavy baryons from a chiral effective theory of diquarks

abstract: The mass spectra of singly charmed and bottom baryons, $\Lambda_{c/b}(1/2^\pm,3/2^-)$ and $\Xi_{c/b}(1/2^\pm,3/2^-)$, are investigated using a nonrelativistic potential model with a heavy quark and a light diquark. The masses of the scalar and pseudoscalar diquarks are taken from a chiral effective theory. The effect of $U_A(1)$ anomaly induces an inverse hierarchy between the masses of strange and non-strange pseudoscalar diquarks, which leads to a similar inverse mass ordering in $\rho$-mode excitations of singly heavy baryons.


title: Convergence of Q-value in case of Gaussian rewards

abstract: In this paper, as a study of reinforcement learning, we converge the Q function to unbounded rewards such as Gaussian distribution. From the central limit theorem, in some real-world applications it is natural to assume that rewards follow a Gaussian distribution , but existing proofs cannot guarantee convergence of the Q-function. Furthermore, in the distribution-type reinforcement learning and Bayesian reinforcement learning that have become popular in recent years, it is better to allow the reward to have a Gaussian distribution. Therefore, in this paper, we prove the convergence of the Q-function under the condition of $E[r(s,a)^2]<\infty$, which is much more relaxed than the existing research. Finally, as a bonus, a proof of the policy gradient theorem for distributed reinforcement learning is also posted.


title: Outage Behaviors of NOMA-based Satellite Network over Shadowed-Rician Fading Channels

abstract: This paper investigates the application of non-orthogonal multiple access (NOMA) to satellite communication network over Shadowed-Rician fading channels. The impact of imperfect successive interference cancellation (ipSIC) on NOMA-based satellite network is taken into consideration from the perspective of practical scenarios. We first derive new exact expressions of outage probability for the p-th terrestrial user and provide the corresponding asymptotic analysis results. The diversity order of zero and p are achieved by the p-th terrestrial user with ipSIC and perfect successive interference cancellation (pSIC), respectively. Finally, the presented simulation results show that: 1) On the condition of pSIC, the outage behaviors of NOMA-based satellite network are superior to that of orthogonal multiple access; 2) With the value of residual interference increasing, the outage performance of terrestrial users with ipSIC is becoming worse seriously; and 3) Infrequent light shadowing of Shadowed-Rician fading brings the better outage probability compared to frequent heavy and average shadowing.


title: Exploratory Study: Children's with Autism Awareness of being Imitated by Nao Robot

abstract: This paper presents an exploratory study designed for children with Autism Spectrum Disorders (ASD) that investigates children's awareness of being imitated by a robot in a play/game scenario. The Nao robot imitates all the arm movement behaviors of the child in real-time in dyadic and triadic interactions. Different behavioral criteria (i.e., eye gaze, gaze shifting, initiation and imitation of arm movements, smile/laughter) were analyzed based on the video data of the interaction. The results confirm only parts of the research hypothesis. However, these results are promising for the future directions of this work.


title: A Study of Selectively Digital Etching Silicon-Germanium with Nitric and Hydrofluoric Acids

abstract: A digital etching method was proposed to achieve excellent control of etching depth. The digital etching characteristics of p+ Si and Si0.7Ge0.3 using the combinations of HNO3 oxidation and BOE oxide removal processes were studied. Experiments showed that oxidation saturates with time due to low activation energy. A physical model was presented to describe the wet oxidation process with nitric acid. The model was calibrated with experimental data and the oxidation saturation time, final oxide thickness, and selectivity between Si0.7Ge0.3 and p+ Si were obtained. The digital etch of laminated Si0.7Ge0.3/p+ Si was also investigated. The depth of the tunnels formed by etching SiGe layers between two Si layers was found in proportion to digital etching cycles. And oxidation would also saturate and the saturated relative etched amount per cycle (REPC) was 0.5 nm (4 monolayers). A corrected selectivity calculation formula was presented. The oxidation model was also calibrated with Si0.7Ge0.3/p+ Si stacks, and selectivity from model was the same with the corrected formula. The model can also be used to analyze process variations and repeatability. And it could act as a guidance for experiment design. Selectivity and repeatability should make a trade-off.


title: TTPP: Temporal Transformer with Progressive Prediction for Efficient Action Anticipation

abstract: Video action anticipation aims to predict future action categories from observed frames. Current state-of-the-art approaches mainly resort to recurrent neural networks to encode history information into hidden states, and predict future actions from the hidden representations. It is well known that the recurrent pipeline is inefficient in capturing long-term information which may limit its performance in predication task. To address this problem, this paper proposes a simple yet efficient Temporal Transformer with Progressive Prediction (TTPP) framework, which repurposes a Transformer-style architecture to aggregate observed features, and then leverages a light-weight network to progressively predict future features and actions. Specifically, predicted features along with predicted probabilities are accumulated into the inputs of subsequent prediction. We evaluate our approach on three action datasets, namely TVSeries, THUMOS-14, and TV-Human-Interaction. Additionally we also conduct a comprehensive study for several popular aggregation and prediction strategies. Extensive results show that TTPP not only outperforms the state-of-the-art methods but also more efficient.


title: Friend Recommendation based on Hashtags Analysis

abstract: Social networks include millions of users constantly looking for new relationships for personal or professional purposes. Social network sites recommend friends based on relationship features and content information. A significant part of information shared every day is spread in Hashtags. None of the existing content-based recommender systems uses the semantic of hashtags while suggesting new friends. Currently, hashtags are considered as strings without looking at their meanings. Social network sites group together people sharing exactly the same hashtags and never semantically close ones. We think that hashtags encapsulate some people interests. In this paper, we propose a framework showing how a recommender system can benefit from hashtags to enrich users' profiles. This framework consists of three main components: (1) constructing user's profile based on shared hashtags, (2) matching method that computes semantic similarity between profiles, (3) grouping semantically close users using clustering technics. The proposed framework has been tested on a Twitter dataset from the Stanford Large Network Dataset Collection consisting of 81306 profiles.


title: Stochastic Modified Equations for Continuous Limit of Stochastic ADMM

abstract: Stochastic version of alternating direction method of multiplier (ADMM) and its variants (linearized ADMM, gradient-based ADMM) plays a key role for modern large scale machine learning problems. One example is the regularized empirical risk minimization problem. In this work, we put different variants of stochastic ADMM into a unified form, which includes standard, linearized and gradient-based ADMM with relaxation, and study their dynamics via a continuous-time model approach. We adapt the mathematical framework of stochastic modified equation (SME), and show that the dynamics of stochastic ADMM is approximated by a class of stochastic differential equations with small noise parameters in the sense of weak approximation. The continuous-time analysis would uncover important analytical insights into the behaviors of the discrete-time algorithm, which are non-trivial to gain otherwise. For example, we could characterize the fluctuation of the solution paths precisely, and decide optimal stopping time to minimize the variance of solution paths.


title: Synaptic Metaplasticity in Binarized Neural Networks

abstract: While deep neural networks have surpassed human performance in multiple situations, they are prone to catastrophic forgetting: upon training a new task, they rapidly forget previously learned ones. Neuroscience studies, based on idealized tasks, suggest that in the brain, synapses overcome this issue by adjusting their plasticity depending on their past history. However, such "metaplastic" behaviours do not transfer directly to mitigate catastrophic forgetting in deep neural networks. In this work, we interpret the hidden weights used by binarized neural networks, a low-precision version of deep neural networks, as metaplastic variables, and modify their training technique to alleviate forgetting. Building on this idea, we propose and demonstrate experimentally, in situations of multitask and stream learning, a training technique that reduces catastrophic forgetting without needing previously presented data, nor formal boundaries between datasets and with performance approaching more mainstream techniques with task boundaries. We support our approach with a theoretical analysis on a tractable task. This work bridges computational neuroscience and deep learning, and presents significant assets for future embedded and neuromorphic systems, especially when using novel nanodevices featuring physics analogous to metaplasticity.


title: Stability and error estimates for the variable step-size BDF2 method for linear and semilinear parabolic equations

abstract: In this paper stability and error estimates for time discretizations of linear and semilinear parabolic equations by the two-step backward differentiation formula (BDF2) method with variable step-sizes are derived. An affirmative answer is provided to the question: whether the upper bound of step-size ratios for the $l^\infty(0,T;H)$-stability of the BDF2 method for linear and semilinear parabolic equations is identical with the upper bound for the zero-stability. The $l^\infty(0,T;V)$-stability of the variable step-size BDF2 method is also established under more relaxed condition on the ratios of consecutive step-sizes. Based on these stability results, error estimates in several different norms are derived. To utilize the BDF method the trapezoidal method and the backward Euler scheme are employed to compute the starting value. For the latter choice, order reduction phenomenon of the constant step-size BDF2 method is observed theoretically and numerically in several norms. Numerical results also illustrate the effectiveness of the proposed method for linear and semilinear parabolic equations.


title: The composite X-ray spectrum of 3CRR Quasars

abstract: The reason for the difference in the composite X-ray spectrum between radio-loud quasars (RLQs) and radio-quiet quasars (RQQs) is still unclear. To study this difference, we built a new composite X-ray spectrum of RLQs by using Chandra X-ray data and Sloan Digital Sky Survey (SDSS) optical data for the sample of 3CRR quasars. We find the X-ray spectra of all 3CRR quasars except for 3C 351 have no soft X-ray excess and can be fitted with an absorbed power-law model well. Our composite X-ray spectrum is similar to that of \cite{ShangEtal2011apjs} for RLQs, showing higher hard X-ray and lower soft X-ray flux than the composite X-ray spectrum of RQQs. Most blazar-like 3CRR quasars have higher X-ray flux than the median composite X-ray spectrum, which could be related to the contribution of beamed jet emission at X-ray band. From the literature, we find that nineteen 3CRR quasars have extended X-ray emission related to radio jets, indicating inevitable contribution of jets at X-ray band. In contrast to RQQs, the X-ray photon index of 3CRR quasars does not correlate with the Eddington ratio. Our results suggest that the jet emission at X-ray band in RLQs could be related with the difference of composite X-ray spectrum between RLQs and RQQs.


title: N=4 SYM Quantum Spectral Curve in BFKL regime

abstract: We review the applications of the Quantum Spectral Curve (QSC) method to the Regge (BFKL) limit in N=4 supersymmetric Yang-Mills theory. QSC, based on quantum integrability of the AdS$_5$/CFT$_4$ duality, was initially developed as a tool for the study of the spectrum of anomalous dimensions of local operators in the N=4 SYM in the planar, $N_c\to\infty$ limit. We explain how to apply the QSC for the BFKL limit, which requires non-trivial analytic continuation in spin $S$ and extends the initial construction to non-local light-ray operators. We give a brief review of high precision non-perturbative numerical solutions and analytic perturbative data resulting from this approach. We also describe as a simple example of the QSC construction the leading order in the BFKL limit. We show that the QSC substantially simplifies in this limit and reduces to the Faddeev-Korchemsky Baxter equation for Q-functions. Finally, we review recent results for the Fishnet CFT, which carries a number of similarities with the Lipatov's integrable spin chain for interacting reggeized gluons.


title: Novel Radiomic Feature for Survival Prediction of Lung Cancer Patients using Low-Dose CBCT Images

abstract: Prediction of survivability in a patient for tumor progression is useful to estimate the effectiveness of a treatment protocol. In our work, we present a model to take into account the heterogeneous nature of a tumor to predict survival. The tumor heterogeneity is measured in terms of its mass by combining information regarding the radiodensity obtained in images with the gross tumor volume (GTV). We propose a novel feature called Tumor Mass within a GTV (TMG), that improves the prediction of survivability, compared to existing models which use GTV. Weekly variation in TMG of a patient is computed from the image data and also estimated from a cell survivability model. The parameters obtained from the cell survivability model are indicatives of changes in TMG over the treatment period. We use these parameters along with other patient metadata to perform survival analysis and regression. Cox's Proportional Hazard survival regression was performed using these data. Significant improvement in the average concordance index from 0.47 to 0.64 was observed when TMG is used in the model instead of GTV. The experiments show that there is a difference in the treatment response in responsive and non-responsive patients and that the proposed method can be used to predict patient survivability.


title: Continuity and Discontinuity of Seminorms on Infinite-Dimensional Vector Spaces. II

abstract: In this paper we extend our findings in [3] and answer further questions regarding continuity and discontinuity of seminorms on infinite-dimensional vector spaces.


title: A high-resolution spectroscopic study of two new Na- and Al-rich field giants -- likely globular cluster escapees in the Galactic halo

abstract: The stars SDSS J064655.6+411620.5 and SDSS J193712.01+502455.5 are relatively bright stars that were initially observed as part of the SDSS/MARVELS pre-survey. They were selected, on the basis of their weak CH $G$-bands, along with a total of 60 others, in the range of halo globular cluster metallicities for high-resolution spectroscopic follow-up as a part of the HESP-GOMPA survey (Hanle Echelle SPectrograph -- Galactic survey Of Metal Poor stArs). The stars exhibit typical nucleosynthesis signatures expected from the so-called second-generation stars of globular clusters. The light-element anti-correlation of Mg-Al is detected, along with elevated abundances of Na. Carbon is found to be depleted, which is compatible with expectation. Lithium is also detected in SDSS J064655.6+411620.5 and SDSS J193712.01+502455.5; the measured abundances are similar to those of normal halo giant stars. These bright escapees provide a unique opportunity to study the nucleosynthesis events of globular clusters in great detail, and shed light on their chemical-enrichment histories.


title: SkillCheck: An Incentive-based Certification System using Blockchains

abstract: Skill verification is a central problem in workforce hiring. Companies and academia often face the difficulty of ascertaining the skills of an applicant since the certifications of the skills claimed by a candidate are generally not immediately verifiable and costly to test. Blockchains have been proposed in the literature for skill verification and tamper-proof information storage in a decentralized manner. However, most of these approaches deal with storing the certificates issued by traditional universities on the blockchain. Among the few techniques that consider the certification procedure itself, questions like (a) scalability with limited staff, (b) uniformity of grades over multiple evaluators, or (c) honest effort extraction from the evaluators are usually not addressed. We propose a blockchain-based platform named SkillCheck, which considers the questions above, and ensure several desirable properties. The platform incentivizes effort in grading via payments with tokens which it generates from the payments of the users of the platform, e.g., the recruiters and test-takers. We provide a detailed description of the design of the platform along with the provable properties of the algorithm.


title: A Human-Centered Review of the Algorithms used within the U.S. Child Welfare System

abstract: The U.S. Child Welfare System (CWS) is charged with improving outcomes for foster youth; yet, they are overburdened and underfunded. To overcome this limitation, several states have turned towards algorithmic decision-making systems to reduce costs and determine better processes for improving CWS outcomes. Using a human-centered algorithmic design approach, we synthesize 50 peer-reviewed publications on computational systems used in CWS to assess how they were being developed, common characteristics of predictors used, as well as the target outcomes. We found that most of the literature has focused on risk assessment models but does not consider theoretical approaches (e.g., child-foster parent matching) nor the perspectives of caseworkers (e.g., case notes). Therefore, future algorithms should strive to be context-aware and theoretically robust by incorporating salient factors identified by past research. We provide the HCI community with research avenues for developing human-centered algorithms that redirect attention towards more equitable outcomes for CWS.


title: Physical features of strength of isoscalar pairing interaction determined by relation between double charge change and double pair transfer

abstract: A new method has been proposed to determine the strength of the isoscalar proton-neutron pairing interaction applicable to many nuclei. The principle is the equivalence between the double charge change and the double transfer of like-particle pair, and a constraint is derived to the effective interactions used in approximations. This method was applied to the quasiparticle random-phase approximation for determining that interaction strength. In this paper, detail of this method is explained thoroughly, and applications are made to nuclei of several instances of the double-$\beta$ decays. The systematics of the strengths determined for those nuclei is understood in terms of a midshell effect. The effect of the new interaction strength is examined in two examples of the Gamow-Teller strength function with comparisons with the experimental data. The nuclear matrix elements of the neutrinoless double-$\beta$ decay are also calculated.