title: Avengers Ensemble! Improving Transferability of Authorship Obfuscation

abstract: Stylometric approaches have been shown to be quite effective for real-world authorship attribution. To mitigate the privacy threat posed by authorship attribution, researchers have proposed automated authorship obfuscation approaches that aim to conceal the stylometric artefacts that give away the identity of an anonymous document's author. Recent work has focused on authorship obfuscation approaches that rely on black-box access to an attribution classifier to evade attribution while preserving semantics. However, to be useful under a realistic threat model, it is important that these obfuscation approaches work well even when the adversary's attribution classifier is different from the one used internally by the obfuscator. Unfortunately, existing authorship obfuscation approaches do not transfer well to unseen attribution classifiers. In this paper, we propose an ensemble-based approach for transferable authorship obfuscation. Our experiments show that if an obfuscator can evade an ensemble attribution classifier, which is based on multiple base attribution classifiers, it is more likely to transfer to different attribution classifiers. Our analysis shows that ensemble-based authorship obfuscation achieves better transferability because it combines the knowledge from each of the base attribution classifiers by essentially averaging their decision boundaries.


title: Seeking an Optimal Approach for Computer-Aided Pulmonary Embolism Detection

abstract: Pulmonary embolism (PE) represents a thrombus ("blood clot"), usually originating from a lower extremity vein, that travels to the blood vessels in the lung, causing vascular obstruction and in some patients, death. This disorder is commonly diagnosed using CT pulmonary angiography (CTPA). Deep learning holds great promise for the computer-aided CTPA diagnosis (CAD) of PE. However, numerous competing methods for a given task in the deep learning literature exist, causing great confusion regarding the development of a CAD PE system. To address this confusion, we present a comprehensive analysis of competing deep learning methods applicable to PE diagnosis using CTPA at the both image and exam levels. At the image level, we compare convolutional neural networks (CNNs) with vision transformers, and contrast self-supervised learning (SSL) with supervised learning, followed by an evaluation of transfer learning compared with training from scratch. At the exam level, we focus on comparing conventional classification (CC) with multiple instance learning (MIL). Our extensive experiments consistently show: (1) transfer learning consistently boosts performance despite differences between natural images and CT scans, (2) transfer learning with SSL surpasses its supervised counterparts; (3) CNNs outperform vision transformers, which otherwise show satisfactory performance; and (4) CC is, surprisingly, superior to MIL. Compared with the state of the art, our optimal approach provides an AUC gain of 0.2\% and 1.05\% for image-level and exam-level, respectively.


title: Proximal Causal Inference for Complex Longitudinal Studies

abstract: A standard assumption for causal inference about the joint effects of time-varying treatment is that one has measured sufficient covariates to ensure that within covariate strata, subjects are exchangeable across observed treatment values, also known as "sequential randomization assumption (SRA)". SRA is often criticized as it requires one to accurately measure all confounders. Realistically, measured covariates can rarely capture all confounders with certainty. Often covariate measurements are at best proxies of confounders, thus invalidating inferences under SRA. In this paper, we extend the proximal causal inference (PCI) framework of Miao et al. (2018) to the longitudinal setting under a semiparametric marginal structural mean model (MSMM). PCI offers an opportunity to learn about joint causal effects in settings where SRA based on measured time-varying covariates fails, by formally accounting for the covariate measurements as imperfect proxies of underlying confounding mechanisms. We establish nonparametric identification with a pair of time-varying proxies and provide a corresponding characterization of regular and asymptotically linear estimators of the parameter indexing the MSMM, including a rich class of doubly robust estimators, and establish the corresponding semiparametric efficiency bound for the MSMM. Extensive simulation studies and a data application illustrate the finite sample behavior of proposed methods.


title: Thermoelectric Effect at Quantum Limit in Two-Dimensional Organic Dirac Fermion System with Zeeman Splitting

abstract: The thermoelectric effect in a two-dimensional (2D) massless Dirac fermion (DF) system at the quantum limit is discussed to verify the prediction of high-performance thermopower in an organic conductor \alpha-(BEDT-TTF)2I3. Because of relatively large Zeeman splitting in \alpha-(BEDT-TTF)2I3, the boundless increase of thermopower at high magnetic fields, predicted without the Zeeman effect, is hardly expected, whereas there appears to be a broad local maximum. This is characteristic of 2D DF systems with Zeeman splitting and is recognized in the previous experiment. In contrast to 3D Dirac/Weyl semimetals with robust gapless features, it might be difficult to realize high-performance thermopower in real 2D DF systems under high magnetic fields.


title: Lagrangians, SO(3)-instantons and the Atiyah-Floer Conjecture

abstract: A version of the Atiyah-Floer conjecture, adapted to admissible SO(3)-bundles, is established.


title: A local energy-based discontinuous Galerkin method for fourth order semilinear wave equations

abstract: This paper generalizes the earlier work on the energy-based discontinuous Galerkin method for second-order wave equations to fourth-order semilinear wave equations. We first rewrite the problem into a system with a second-order spatial derivative, then apply the energy-based discontinuous Galerkin method to the system. The proposed scheme, on the one hand, is more computationally efficient compared with the local discontinuous Galerkin method because of fewer auxiliary variables. On the other hand, it is unconditionally stable without adding any penalty terms, and admits optimal convergence in the $L^2$ norm for both solution and auxiliary variables. In addition, the energy-dissipating or energy-conserving property of the scheme follows from simple, mesh-independent choices of the interelement fluxes. We also present a stability and convergence analysis along with numerical experiments to demonstrate optimal convergence for certain choices of the interelement fluxes.


title: A discontinuous Galerkin method for nonlinear biharmonic Schr\"{o}dinger equations

abstract: This paper proposes and analyzes a fully discrete scheme that discretizes space with an ultra-weak local discontinuous Galerkin scheme and time with the Crank--Nicolson method for the nonlinear biharmonic Schr\"odinger equation. We first rewrite the problem into a system with a second-order spatial derivative and then apply the ultra-weak discontinuous Galerkin method to the system. The proposed scheme is more computationally efficient compared with the local discontinuous Galerkin method because of fewer auxiliary variables, and unconditionally stable without any penalty terms; it also preserves the mass and Hamiltonian conservation that are important properties of the nonlinear biharmonic Schr\"odinger equation. We also derive optimal L2-error estimates of the semi-discrete scheme that measure both the solution and the auxiliary variable with general nonlinear terms. Several numerical studies demonstrate and support our theoretical findings.


title: Data Hunches: Incorporating Personal Knowledge into Visualizations

abstract: The trouble with data is that it frequently provides only an imperfect representation of a phenomenon of interest. Experts who are familiar with their datasets will often make implicit, mental corrections when analyzing a dataset, or will be cautious not to be over-confident in any findings if caveats are present. However, the implicit knowledge about the caveats of a dataset are typically not collected in a structured way, which is problematic especially when teams work together who might have knowledge about different aspects of a dataset. In this work, we define such analyst's knowledge about datasets as data hunches. We discuss the implications of data hunches and propose a set of techniques for recording and communicating data hunches through data visualization. Furthermore, we provide guidelines for designing visualizations that support recording and visualizing data hunches. We envision that data hunches will empower analysts to externalize their knowledge, facilitate collaboration and communication, and support the ability to learn from others' data hunches.


title: PnP-DETR: Towards Efficient Visual Analysis with Transformers

abstract: Recently, DETR pioneered the solution of vision tasks with transformers, it directly translates the image feature map into the object detection result. Though effective, translating the full feature map can be costly due to redundant computation on some area like the background. In this work, we encapsulate the idea of reducing spatial redundancy into a novel poll and pool (PnP) sampling module, with which we build an end-to-end PnP-DETR architecture that adaptively allocates its computation spatially to be more efficient. Concretely, the PnP module abstracts the image feature map into fine foreground object feature vectors and a small number of coarse background contextual feature vectors. The transformer models information interaction within the fine-coarse feature space and translates the features into the detection result. Moreover, the PnP-augmented model can instantly achieve various desired trade-offs between performance and computation with a single model by varying the sampled feature length, without requiring to train multiple models as existing methods. Thus it offers greater flexibility for deployment in diverse scenarios with varying computation constraint. We further validate the generalizability of the PnP module on panoptic segmentation and the recent transformer-based image recognition model ViT and show consistent efficiency gain. We believe our method makes a step for efficient visual analysis with transformers, wherein spatial redundancy is commonly observed. Code will be available at \url{https://github.com/twangnh/pnp-detr}.


title: Formation of spinful dark excitons in Hubbard systems with magnetic superstructures

abstract: The possibility to form excitons in photoilluminated correlated materials is central from fundamental and application oriented perspectives. In this paper we show how the interplay of electron-electron interactions and a magnetic superstructure leads to the formation of a peculiar spinful dark exciton, which can be detected in ARPES-type experiments and optical measurements. We study this by using matrix product states (MPS) to compute the time evolution of single-particle spectral functions and of the optical conductivity following an electron-hole excitation in a class of one-dimensional correlated band-insulators, simulated by Hubbard models with on-site interactions and alternating local magnetic fields. An excitation in only one specific spin direction leads to an additional band in the gap region of the spectral function only in the spin direction unaffected by the excitation and to an additional peak in the optical conductivity. As both is formed only after the excitation, this is interpreted as a dark exciton, which shows only in one spin direction. Recombination of the excitation happens on much longer time scales than the ones amenable to MPS. We discuss implications for experimental studies in correlated insulator systems.


title: Lagrangians, SO(3)-instantons and mixed equation

abstract: The mixed equation, defined as a combination of the anti-self-duality equation in gauge theory and Cauchy-Riemann equation in symplectic geometry, is studied. In particular, regularity and Fredholm properties are established for the solutions of this equation, and it is shown that the moduli spaces of solutions to the mixed equation satisfy a compactness property which combines Uhlenbeck and Gormov compactness theorems. The results of this paper are used in a sequel to study the Atiyah-Floer conjecture.


title: The consequences of non-differentiable angular dispersion in optics: Tilted pulse fronts versus space-time wave packets

abstract: Conventional diffractive and dispersive devices introduce angular dispersion (AD) into pulsed optical fields thus producing so-called 'tilted pulse fronts'. Naturally, it is always assumed that the functional form of the wavelength-dependent propagation angle associated with AD is differentiable with respect to wavelength. Recent developments in the study of space-time wave packets -- pulsed beams in which the spatial and temporal degrees of freedom are inextricably intertwined -- have pointed to the existence of non-differentiable AD: field configurations in which the propagation angle does not possess a derivative at some wavelength. Here we investigate the consequences of introducing non-differentiable AD into a pulsed field and show that it is the crucial ingredient required to realize group velocities that deviate from $c$ (the speed of light in vacuum) along the propagation axis in free space. In contrast, the on-axis phase and group velocities are always equal in conventional scenarios. Furthermore, we show that non-differentiable AD is needed for realizing anomalous or normal group-velocity dispersion along the propagation axis, while simultaneously suppressing all higher-order dispersion terms. These and several other consequences of non-differentiable AD are verified experimentally using a pulsed-beam shaper capable of introducing AD with arbitrary spectral profile. Rather than being an exotic phenomenon, non-differentiable AD is an accessible, robust, and versatile resource for sculpting pulsed optical fields.


title: Masses and magnetic moments of hadrons with one and two open heavy quarks: heavy baryons and tetraquarks

abstract: In this work, we compute masses and magnetic moments of the heavy baryons and tetraquarks with one and two open heavy flavors in a unified framework of MIT bag model. Using the parameters of MIT bag model, we confirm that an extra binding energy, which is supposed to exist between heavy quarks ($c$ and $b$) and between heavy and strange quarks in literatures, is required to reconcile light hadrons with heavy hadrons. Numerical calculations are made for all light mesons, heavy hadrons with one and two open heavy flavors, predicting the masses of doubly charmed baryons to be $ M(\Xi _{cc})=3.604$ GeV, $ M(\Xi _{cc}^{\ast })=3.714$ GeV, and that of the strange isosinglet tetraquark $ud\bar{s}\bar{c}$ with $J^{P}=0^{+}$ to be $ M\left( ud\bar{s}\bar{c},0^{+}\right) =2.934$ GeV. The state mixing due to chromomagnetic interaction is shown to be sizable for the strange scalar tetraquark $nn\bar{s}\bar{c}$.


title: Coalition Game based User Association for mmWave Mobile Relay Systems in Rail Traffic Scenarios

abstract: Rail transportation, especially, high-speed rails (HSR), is an important infrastructure for the development of national economy and the promotion of passenger experience. Due to the large bandwidth, millimeter wave (mmWave) communication is regarded as a promising technology to meet the demand of high data rates. However, since mmWave communication has the characteristic of high attenuation, mobile relay (MR) is considered in this paper. Also, full-duplex (FD) communications have been proposed to improve the spectral efficiency. However, because of the high speed, as well as the problem of penetration loss, passengers on the train have a poor quality of service. Consequently, an effective user association scheme for HSR in mmWave band is necessary. In this paper, we investigate the user association optimization problem in mmWave mobilerelay systems where the MRs operate in the FD mode. To maximize the system capacity, we propose a cooperative user association approach based on coalition formation game, and develop a coalition formation algorithm to solve the challenging NP-hard problem. We also prove the convergence and Nashstable property of the proposed algorithm. Extensive simulations are done to show the system performance of the proposed scheme under various network settings. It is demonstrated that the proposed distributed low complexity scheme achieves a nearoptimal performance and outperforms two baseline schemes in terms of average system throughput.


title: Soliton resolution for the Wadati-Konno-Ichikawa equation with weighted Sobolev initial data

abstract: In this work, we employ the $\bar{\partial}$-steepest descent method to investigate the Cauchy problem of the Wadati-Konno-Ichikawa (WKI) equation with initial conditions in weighted Sobolev space $\mathcal{H}(\mathbb{R})$. The long time asymptotic behavior of the solution $q(x,t)$ is derived in a fixed space-time cone $S(y_{1},y_{2},v_{1},v_{2})=\{(y,t)\in\mathbb{R}^{2}: y=y_{0}+vt, ~y_{0}\in[y_{1},y_{2}], ~v\in[v_{1},v_{2}]\}$. Based on the resulting asymptotic behavior, we prove the soliton resolution conjecture of the WKI equation which includes the soliton term confirmed by $N(\mathcal{I})$-soliton on discrete spectrum and the $t^{-\frac{1}{2}}$ order term on continuous spectrum with residual error up to $O(t^{-\frac{3}{4}})$.


title: Attention Is Indeed All You Need: Semantically Attention-Guided Decoding for Data-to-Text NLG

abstract: Ever since neural models were adopted in data-to-text language generation, they have invariably been reliant on extrinsic components to improve their semantic accuracy, because the models normally do not exhibit the ability to generate text that reliably mentions all of the information provided in the input. In this paper, we propose a novel decoding method that extracts interpretable information from encoder-decoder models' cross-attention, and uses it to infer which attributes are mentioned in the generated text, which is subsequently used to rescore beam hypotheses. Using this decoding method with T5 and BART, we show on three datasets its ability to dramatically reduce semantic errors in the generated outputs, while maintaining their state-of-the-art quality.


title: Interferometry of black holes with Hawking radiation

abstract: We investigate the wave optical imaging of black holes with Hawking radiation. The spatial correlation function of Hawking radiation is expressed in terms of transmission and reflection coefficients for scalar wave modes and evaluated by numerically summing over angular quantum numbers for the Unruh-Hawking state of the Kerr-de Sitter black hole. Then, wave optical images of an evaporating black hole are obtained by the Fourier transformation of the spatial correlation function. For short wavelength, the image of the black hole with the outgoing mode of the Unruh-Hawking state has the appearance of a star with its surface given by the photon sphere. It is found that interference between incoming modes from the cosmological horizon and reflected modes due to the scattering of the black hole can enhance brightness of images in the vicinity of the photon sphere. For a long wavelength, the entire field of view is bright, and the emission region of Hawking radiation cannot be identified.


title: Uncertainty Quantification in Medical Image Segmentation with Multi-decoder U-Net

abstract: Accurate medical image segmentation is crucial for diagnosis and analysis. However, the models without calibrated uncertainty estimates might lead to errors in downstream analysis and exhibit low levels of robustness. Estimating the uncertainty in the measurement is vital to making definite, informed conclusions. Especially, it is difficult to make accurate predictions on ambiguous areas and focus boundaries for both models and radiologists, even harder to reach a consensus with multiple annotations. In this work, the uncertainty under these areas is studied, which introduces significant information with anatomical structure and is as important as segmentation performance. We exploit the medical image segmentation uncertainty quantification by measuring segmentation performance with multiple annotations in a supervised learning manner and propose a U-Net based architecture with multiple decoders, where the image representation is encoded with the same encoder, and segmentation referring to each annotation is estimated with multiple decoders. Nevertheless, a cross-loss function is proposed for bridging the gap between different branches. The proposed architecture is trained in an end-to-end manner and able to improve predictive uncertainty estimates. The model achieves comparable performance with fewer parameters to the integrated training model that ranked the runner-up in the MICCAI-QUBIQ 2020 challenge.


title: A Conditional Generative Matching Model for Multi-lingual Reply Suggestion

abstract: We study the problem of multilingual automated reply suggestions (RS) model serving many languages simultaneously. Multilingual models are often challenged by model capacity and severe data distribution skew across languages. While prior works largely focus on monolingual models, we propose Conditional Generative Matching models (CGM), optimized within a Variational Autoencoder framework to address challenges arising from multi-lingual RS. CGM does so with expressive message conditional priors, mixture densities to enhance multi-lingual data representation, latent alignment for language discrimination, and effective variational optimization techniques for training multi-lingual RS. The enhancements result in performance that exceed competitive baselines in relevance (ROUGE score) by more than 10\% on average, and 16\% for low resource languages. CGM also shows remarkable improvements in diversity (80\%) illustrating its expressiveness in representation of multi-lingual data.


title: Dataflow Accelerator Architecture for Autonomous Machine Computing

abstract: Commercial autonomous machines is a thriving sector, one that is likely the next ubiquitous computing platform, after Personal Computers (PC), cloud computing, and mobile computing. Nevertheless, a suitable computing substrate for autonomous machines is missing, and many companies are forced to develop ad hoc computing solutions that are neither principled nor extensible. By analyzing the demands of autonomous machine computing, this article proposes Dataflow Accelerator Architecture (DAA), a modern instantiation of the classic dataflow principle, that matches the characteristics of autonomous machine software.


title: ARCH: Efficient Adversarial Regularized Training with Caching

abstract: Adversarial regularization can improve model generalization in many natural language processing tasks. However, conventional approaches are computationally expensive since they need to generate a perturbation for each sample in each epoch. We propose a new adversarial regularization method ARCH (adversarial regularization with caching), where perturbations are generated and cached once every several epochs. As caching all the perturbations imposes memory usage concerns, we adopt a K-nearest neighbors-based strategy to tackle this issue. The strategy only requires caching a small amount of perturbations, without introducing additional training time. We evaluate our proposed method on a set of neural machine translation and natural language understanding tasks. We observe that ARCH significantly eases the computational burden (saves up to 70% of computational time in comparison with conventional approaches). More surprisingly, by reducing the variance of stochastic gradients, ARCH produces a notably better (in most of the tasks) or comparable model generalization. Our code is available at https://github.com/SimiaoZuo/Caching-Adv.


title: Self-Training with Differentiable Teacher

abstract: Self-training achieves enormous success in various semi-supervised and weakly-supervised learning tasks. The method can be interpreted as a teacher-student framework, where the teacher generates pseudo-labels, and the student makes predictions. The two models are updated alternatingly. However, such a straightforward alternating update rule leads to training instability. This is because a small change in the teacher may result in a significant change in the student. To address this issue, we propose DRIFT, short for differentiable self-training, that treats teacher-student as a Stackelberg game. In this game, a leader is always in a more advantageous position than a follower. In self-training, the student contributes to the prediction performance, and the teacher controls the training process by generating pseudo-labels. Therefore, we treat the student as the leader and the teacher as the follower. The leader procures its advantage by acknowledging the follower's strategy, which involves differentiable pseudo-labels and differentiable sample weights. Consequently, the leader-follower interaction can be effectively captured via Stackelberg gradient, obtained by differentiating the follower's strategy. Experimental results on semi- and weakly-supervised classification and named entity recognition tasks show that our model outperforms existing approaches by large margins.


title: The Elliptic Net Algorithm Revisited

abstract: Pairings have been widely used since their introduction to cryptography. They can be applied to identity-based encryption, tripartite Diffie-Hellman key agreement, blockchain and other cryptographic schemes. The Acceleration of pairing computations is crucial for these cryptographic schemes or protocols. In this paper, we will focus on the Elliptic Net algorithm which can compute pairings in polynomial time, but it requires more storage than Miller's algorithm. We use several methods to speed up the Elliptic Net algorithm. Firstly, we eliminate the inverse operation in the improved Elliptic Net algorithm. In some circumstance, this finding can achieve further improvements. Secondly, we apply lazy reduction technique to the Elliptic Net algorithm, which helps us achieve a faster implementation. Finally, we propose a new derivation of the formulas for the computation of the Optimal Ate pairing on the twisted curve. Results show that the Elliptic Net algorithm can be significantly accelerated especially on the twisted curve. The algorithm can be $80\%$ faster than the previous ones on the twisted 381-bit BLS12 curve and $71.5\%$ faster on the twisted 676-bit KSS18 curve respectively.


title: High-pressure Mg-Sc-H phase diagram and its superconductivity from first-principles calculations

abstract: In this work, global search for crystal structures of ternary Mg-Sc-H hydrides (Mg$_x$Sc$_y$H$_z$) under high pressure ($100 \le P \le 200$ GPa) were performed using the evolutionary algorithm and first-principles calculations. Based on them, we computed the thermodynamic convex hull and pressure-dependent phase diagram of Mg$_x$Sc$_y$H$_z$ for $z/(x+y) < 4$. We have identified the stable crystal structures of four thermodynamically stable compounds with the higher hydrogen content, i.e., $R\bar{3}m$-MgScH$_{6}$, $C2/m$-Mg$_{2}$ScH$_{10}$, $Immm$-MgSc$_{2}$H$_{9}$ and $Pm\bar{3}m$-Mg(ScH$_{4}$)$_{3}$. Their superconducting transition temperatures were computationally predicted by the McMillan-Allen-Dynes formula combined with first-principles phonon calculations. They were found to exhibit superconductivity; among them, $R\bar{3}m$-MgScH$_{6}$ was predicted to have the highest $T_{c}$ (i.e. 23.34 K) at 200 GPa.


title: A problem on distance matrices of subsets of the Hamming cube

abstract: Let $D$ denote the distance matrix for an $n+1$ point metric space $(X,d)$. In the case that $X$ is an unweighted metric tree, the sum of the entries in $D^{-1}$ is always equal to $2/n$. Such trees can be considered as affinely independent subsets of the Hamming cube $H_n$, and it was conjectured that the value $2/n$ was minimal among all such subsets. In this paper we confirm this conjecture and give a geometric interpretation of our result which applies to any subset of $H_n$.


title: Image Synthesis via Semantic Composition

abstract: In this paper, we present a novel approach to synthesize realistic images based on their semantic layouts. It hypothesizes that for objects with similar appearance, they share similar representation. Our method establishes dependencies between regions according to their appearance correlation, yielding both spatially variant and associated representations. Conditioning on these features, we propose a dynamic weighted network constructed by spatially conditional computation (with both convolution and normalization). More than preserving semantic distinctions, the given dynamic network strengthens semantic relevance, benefiting global structure and detail synthesis. We demonstrate that our method gives the compelling generation performance qualitatively and quantitatively with extensive experiments on benchmarks.


title: Convergence of a Human-in-the-Loop Policy-Gradient Algorithm With Eligibility Trace Under Reward, Policy, and Advantage Feedback

abstract: Fluid human-agent communication is essential for the future of human-in-the-loop reinforcement learning. An agent must respond appropriately to feedback from its human trainer even before they have significant experience working together. Therefore, it is important that learning agents respond well to various feedback schemes human trainers are likely to provide. This work analyzes the COnvergent Actor-Critic by Humans (COACH) algorithm under three different types of feedback-policy feedback, reward feedback, and advantage feedback. For these three feedback types, we find that COACH can behave sub-optimally. We propose a variant of COACH, episodic COACH (E-COACH), which we prove converges for all three types. We compare our COACH variant with two other reinforcement-learning algorithms: Q-learning and TAMER.


title: ISPY: Automatic Issue-Solution Pair Extraction from Community Live Chats

abstract: Collaborative live chats are gaining popularity as a development communication tool. In community live chatting, developers are likely to post issues they encountered (e.g., setup issues and compile issues), and other developers respond with possible solutions. Therefore, community live chats contain rich sets of information for reported issues and their corresponding solutions, which can be quite useful for knowledge sharing and future reuse if extracted and restored in time. However, it remains challenging to accurately mine such knowledge due to the noisy nature of interleaved dialogs in live chat data. In this paper, we first formulate the problem of issue-solution pair extraction from developer live chat data, and propose an automated approach, named ISPY, based on natural language processing and deep learning techniques with customized enhancements, to address the problem. Specifically, ISPY automates three tasks: 1) Disentangle live chat logs, employing a feedforward neural network to disentangle a conversation history into separate dialogs automatically; 2) Detect dialogs discussing issues, using a novel convolutional neural network (CNN), which consists of a BERT-based utterance embedding layer, a context-aware dialog embedding layer, and an output layer; 3) Extract appropriate utterances and combine them as corresponding solutions, based on the same CNN structure but with different feeding inputs. To evaluate ISPY, we compare it with six baselines, utilizing a dataset with 750 dialogs including 171 issue-solution pairs and evaluate ISPY from eight open source communities. The results show that, for issue-detection, our approach achieves the F1 of 76%, and outperforms all baselines by 30%. Our approach achieves the F1 of 63% for solution-extraction and outperforms the baselines by 20%.


title: Inclusive electron scattering in the quasielastic region with Korea-IBS-Daegu-SKKU density functional

abstract: With the framework of KIDS (Korea-IBS-Daegu-SKKU) density functional model, the isoscalar and isovector effective masses of nucleon and the effect of symmetry energy in nuclear medium are investigated in inclusive $(e,e')$ reaction in quasielastic region. The effective masses are varied in the range $(0.7 \sim 1.0)M$ with free nucleon mass $M$, and the symmetry energy is varied within the uncertainty allowed by nuclear data and neutron star observation. The wave functions of nucleons inside target nucleus are generated by solving Hartree-Fock equation with adjusting equation of state, binding energy and radius of various stable nuclei, and effective mass of nucleon in the KIDS model. With the obtained wave functions, we calculate the differential cross section for the inclusive $(e,e')$ reaction and compare the theoretical results with Bates, Saclay, and SLAC experimental data. Our model describes experimental data better at SLAC-type high incident electron energy than those measured from Bates and Saclay. The influence of the effective mass and symmetry energy appears to be precise on the longitudinal cross section.


title: Equivalences among parabolicity, comparison principle and capacity on complete Riemannian manifolds

abstract: In this work we establish new equivalences for the concept of $p$-parabolic Riemannian manifolds. We define a concept of comparison principle for elliptic PDE's on exterior domains of a complete Riemannian manifold $M$ and prove that $M$ is $p$-parabolic if and only if this comparison principle holds for the $p$-Laplace equation. We show also that the $p$-parabolicity of $M$ implies the validity of this principle for more general elliptic PDS's and, in some cases, these results can be extended for non $p$-parabolic manifolds or unbounded solutions, provided that some growth of these solutions are assumed.


title: Adjoint Reidemeister torsions of once-punctured torus bundles

abstract: Gang, Kim and Yoon have recently proposed a conjecture on a vanishing identity of adjoint Reidemeister torsions of hyperbolic 3-manifolds with torus boundary, from the viewpoint of wrapped M5-branes. In this paper, we provide infinitely many new supporting examples to this conjecture. These examples come from hyperbolic once-punctured torus bundles. We show that the vanishing identity holds for all hyperbolic once-punctured torus bundles with tunnel number one. We also show the vanishing identity does not hold for any torus knot exteriors.


title: Learning delay dynamics for multivariate stochastic processes, with application to the prediction of the growth rate of COVID-19 cases in the United States

abstract: Delay differential equations form the underpinning of many complex dynamical systems. The forward problem of solving random differential equations with delay has received increasing attention in recent years. Motivated by the challenge to predict the COVID-19 caseload trajectories for individual states in the U.S., we target here the inverse problem. Given a sample of observed random trajectories obeying an unknown random differential equation model with delay, we use a functional data analysis framework to learn the model parameters that govern the underlying dynamics from the data. We show existence and uniqueness of the analytical solutions of the population delay random differential equation model when one has discrete time delays in the functional concurrent regression model and also for a second scenario where one has a delay continuum or distributed delay. The latter involves a functional linear regression model with history index. The derivative of the process of interest is modeled using the process itself as predictor and also other functional predictors with predictor-specific delayed impacts. This dynamics learning approach is shown to be well suited to model the growth rate of COVID-19 for the states that are part of the U.S., by pooling information from the individual states, using the case process and concurrently observed economic and mobility data as predictors.


title: Analyzing Multiagent Interactions in Traffic Scenes via Topological Braids

abstract: We focus on the problem of analyzing multiagent interactions in traffic domains. Understanding the space of behavior of real-world traffic may offer significant advantages for algorithmic design, data-driven methodologies, and benchmarking. However, the high dimensionality of the space and the stochasticity of human behavior may hinder the identification of important interaction patterns. Our key insight is that traffic environments feature significant geometric and temporal structure, leading to highly organized collective behaviors, often drawn from a small set of dominant modes. In this work, we propose a representation based on the formalism of topological braids that can summarize arbitrarily complex multiagent behavior into a compact object of dual geometric and symbolic nature, capturing critical events of interaction. This representation allows us to formally enumerate the space of outcomes in a traffic scene and characterize their complexity. We illustrate the value of the proposed representation in summarizing critical aspects of real-world traffic behavior through a case study on recent driving datasets. We show that despite the density of real-world traffic, observed behavior tends to follow highly organized patterns of low interaction. Our framework may be a valuable tool for evaluating the richness of driving datasets, but also for synthetically designing balanced training datasets or benchmarks.


title: Scalable Cell-Free Massive MIMO Systems with Finite Resolution ADCs/DACs over Spatially Correlated Rician Fading Channels

abstract: In this paper, an analytical framework for evaluating the performance of scalable cell-free massive MIMO (SCF-mMIMO) systems in which all user equipments (UEs) and access points (APs) employ finite resolution digital-to-analog converters (DACs) and analog-to-digital converters (ADCs) and operates under correlated Rician fading, is presented. By using maximal-ratio combining (MRC) detection, generic expressions for the uplink (UL) spectral efficiency (SE) for both distributed and centralized schemes are derived. In order to further reduce the computational complexity (CC) of the original local partial MMSE (LP-MMSE) and partial MMSE (P-MMSE) detectors, two novel scalable low complexity MMSE detectors are proposed for distributed and centralized schemes respectively, which achieves very similar SE performance. Furthermore, for the distributed scheme a novel partial large-scale fading decoding (P-LSFD) weighting vector is introduced and its analytical SE performance is very similar to the performance of an equivalent unscalable LSFD vector. Finally, a scalable algorithm jointly consisting of AP cluster formation, pilot assignment, and power control is proposed, which outperforms the conventional random pilot assignment and user-group based pilot assignment policies and, contrary to an equal power transmit strategy, it guarantees quality of service (QoS) fairness for all accessing UEs.


title: Fractal Spectrum of the Aubry-Andre Model

abstract: The Aubry-Andre model is a one-dimensional lattice model for quasicrystals with localized and delocalized phases. At the localization transition point, the system displays fractal spectrum, which relates to the Hofstadter butterfly. In this work, we uncover the exact self-similarity structures in the energy spectrum. We separate the fractal structures into two parts: the fractal filling positions of gaps and the scaling of gap sizes. We show that the fractal fillings emerge for a certain type of incommensurate periodicity regardless of potential strength. However, the power-law scaling of gap sizes is characteristic for general incommensurability at the critical point of the model.


title: Recent Advances in Conservation-Dissipation Formalism for Irreversible Processes

abstract: The main purpose of this review is to summarize the recent advances of the Conservation-Dissipation Formalism (CDF), a new way for constructing both thermodynamically compatible and mathematically stable and well-posed models for irreversible processes. The contents include but are not restricted to the CDF's physical motivations, mathematical foundations, formulations of several classical models in mathematical physics from master equations and Fokker-Planck equations to Boltzmann equations and quasi-linear Maxwell equations, as well as novel applications in the fields of non-Fourier heat conduction, non-Newtonian viscoelastic fluids, wave propagation/transportation in geophysics and neural science, soft matter physics, \textit{etc.} Connections with other popular theories in the field of non-equilibrium thermodynamics are examined too.


title: Categorical wall-crossing formula for Donaldson-Thomas theory on the resolved conifold

abstract: We prove wall-crossing formula for categorical Donaldson-Thomas invariants on the resolved conifold, which categorifies Nagao-Nakajima wall-crossing formula for numerical DT invariants on it. The categorified Hall products are used to describe the wall-crossing formula as semiorthogonal decompositions. A successive application of categorical wall-crossing formula yields semiorthogonal decompositions of categorical Pandharipande-Thomas stable pair invariants on the resolved conifold, which categorify the product expansion formula of the generating series of numerical PT invariants on it.


title: From Six Functors Formalisms to Derived Motivic Measures

abstract: In this paper, we generally describe a method of taking an abstract six functors formalism in the sense of Khan or Cisinski-D\'{e}glise, and outputting a derived motivic measure in the sense of Campbell-Wolfson-Zakharevich. In particular, we use this framework to define a lifting of the Gillet-Sou\'e motivic measure.


title: Effect of substrate temperature on the growth of Nb3Sn film on Nb by multilayer sputtering

abstract: Nb3Sn films were fabricated by multilayer sequential sputtering on Nb at substrate temperatures ranging from room temperature to 250 {\deg}C. The multilayers were then annealed inside a separate vacuum furnace at 950 {\deg}C for 3h. The films material properties were characterized by X-ray diffraction, scanning electron microscopy, energy-dispersive X-ray spectroscopy, atomic force microscopy, and transmission electron microscopy. The films superconducting properties were studied by four-point probe resistivity measurements from room temperature to below the superconducting critical temperature Tc. The highest film Tc was 17.76 K, obtained when the multilayers were deposited at room temperature. A superconducting Nb3Sn thin film with a smoother surface morphology but a lower Tc of 17.58 K was obtained on the film deposited at a substrate temperature of 250 {\deg}C.


title: Improving Text Auto-Completion with Next Phrase Prediction

abstract: Language models such as GPT-2 have performed well on constructing syntactically sound sentences for text auto-completion task. However, such models often require considerable training effort to adapt to specific writing domains (e.g., medical). In this paper, we propose an intermediate training strategy to enhance pre-trained language models' performance in the text auto-completion task and fastly adapt them to specific domains. Our strategy includes a novel self-supervised training objective called Next Phrase Prediction (NPP), which encourages a language model to complete the partial query with enriched phrases and eventually improve the model's text auto-completion performance. Preliminary experiments have shown that our approach is able to outperform the baselines in auto-completion for email and academic writing domains.


title: Three faint-source microlensing planets detected via resonant-caustic channel

abstract: We conducted a project of reinvestigating the 2017--2019 microlensing data collected by the high-cadence surveys with the aim of finding planets that were missed due to the deviations of planetary signals from the typical form of short-term anomalies. The project led us to find three planets including KMT-2017-BLG-2509Lb, OGLE-2017-BLG-1099Lb, and OGLE-2019-BLG-0299Lb. The lensing light curves of the events have a common characteristic that the planetary signals were produced by the crossings of faint source stars over the resonant caustics formed by giant planets located near the Einstein rings of host stars. For all planetary events, the lensing solutions are uniquely determined without any degeneracy. It is estimated that the host masses are in the range of $0.45\lesssim M/M_\odot \lesssim 0.59$, which corresponds to early M to late K dwarfs, and thus the host stars are less massive than the sun. On the other hand, the planets, with masses in the range of $2.1\lesssim M/M_{\rm J}\lesssim 6.2$, are heavier than the heaviest planet of the solar system, that is, Jupiter. The planets in all systems lie beyond the snow lines of the hosts, and thus the discovered planetary systems, together with many other microlensing planetary systems, support that massive gas-giant planets are commonplace around low-mass stars. We discuss the role of late-time high-resolution imaging in clarifying resonant-image lenses with very faint sources.


title: F-CAM: Full Resolution Class Activation Maps via Guided Parametric Upscaling

abstract: Class Activation Mapping (CAM) methods have recently gained much attention for weakly-supervised object localization (WSOL) tasks. They allow for CNN visualization and interpretation without training on fully annotated image datasets. CAM methods are typically integrated within off-the-shelf CNN backbones, such as ResNet50. Due to convolution and pooling operations, these backbones yield low resolution CAMs with a down-scaling factor of up to 32, contributing to inaccurate localizations. Interpolation is required to restore full size CAMs, yet it does not consider the statistical properties of objects, such as color and texture, leading to activations with inconsistent boundaries, and inaccurate localizations. As an alternative, we introduce a generic method for parametric upscaling of CAMs that allows constructing accurate full resolution CAMs (F-CAMs). In particular, we propose a trainable decoding architecture that can be connected to any CNN classifier to produce highly accurate CAM localizations. Given an original low resolution CAM, foreground and background pixels are randomly sampled to fine-tune the decoder. Additional priors such as image statistics and size constraints are also considered to expand and refine object boundaries. Extensive experiments, over three CNN backbones and six WSOL baselines on the CUB-200-2011 and OpenImages datasets, indicate that our F-CAM method yields a significant improvement in CAM localization accuracy. F-CAM performance is competitive with state-of-art WSOL methods, yet it requires fewer computations during inference.


title: Inpainting hydrodynamical maps with deep learning

abstract: From 1,000 hydrodynamic simulations of the CAMELS project, each with a different value of the cosmological and astrophysical parameters, we generate 15,000 gas temperature maps. We use a state-of-the-art deep convolutional neural network to recover missing data from those maps. We mimic the missing data by applying regular and irregular binary masks that cover either $15\%$ or $30\%$ of the area of each map. We quantify the reliability of our results using two summary statistics: 1) the distance between the probability density functions (pdf), estimated using the Kolmogorov-Smirnov (KS) test, and 2) the 2D power spectrum. We find an excellent agreement between the model prediction and the unmasked maps when using the power spectrum: better than $1\%$ for $k<20 h/$Mpc for any irregular mask. For regular masks, we observe a systematic offset of $\sim5\%$ when covering $15\%$ of the maps while the results become unreliable when $30\%$ of the data is missing. The observed KS-test p-values favor the null hypothesis that the reconstructed and the ground-truth maps are drawn from the same underlying distribution when irregular masks are used. For regular-shaped masks on the other hand, we find a strong evidence that the two distributions do not match each other. Finally, we use the model, trained on gas temperature maps, to perform inpainting on maps from completely different fields such as gas mass, gas pressure, and electron density and also for gas temperature maps from simulations run with other codes. We find that visually, our model is able to reconstruct the missing pixels from the maps of those fields with great accuracy, although its performance using summary statistics depends strongly on the considered field.


title: Creating Jackknife and Bootstrap estimates of the covariance matrix for the two-point correlation function

abstract: We present correction terms that allow delete-one Jackknife and Bootstrap methods to be used to recover unbiased estimates of the data covariance matrix of the two-point correlation function $\xi\left(\mathbf{r}\right)$. We demonstrate the accuracy and precision of this new method using a large set of 1000 QUIJOTE simulations that each cover a comoving volume of $1\rm{\left[h^{-1}Gpc\right]^3}$. The corrected resampling techniques recover the correct amplitude and structure of the data covariance matrix as represented by its principal components to within $\sim10$\%, the level of error achievable with the size of the sample of simulations used for the test. Our corrections for the internal resampling methods are shown to be robust against the intrinsic clustering of the cosmological tracers both in real- and redshift space using two snapshots at $z=0$ and $z=1$ that mimic two samples with significantly different clustering. We also analyse two different slicing of the simulation volume into $n_{\rm sv}=64$ or $125$ sub-samples and show that the main impact of different $n_{\rm sv}$ is on the structure of the covariance matrix due to the limited number of independent internal realisations that can be made given a fixed $n_{\rm sv}$.


title: Qurzon: A Prototype for a Divide and Conquer Based Quantum Compiler

abstract: When working with algorithms on quantum devices, quantum memory becomes a crucial bottleneck due to low qubit count in NISQ-era devices. In this context, the concept of `divide and compute', wherein a quantum circuit is broken into several subcircuits and executed separately, while stitching the results of the circuits via classical post-processing, becomes a viable option, especially in NISQ-era devices. This paper introduces \textbf{Qurzon}, a proposed novel quantum compiler that incorporates the marriage of techniques of divide and compute with the state-of-the-art algorithms of optimal qubit placement for executing on real quantum devices. A scheduling algorithm is also introduced within the compiler that can explore the power of distributed quantum computing while paving the way for quantum parallelism for large algorithms. Several benchmark circuits have been executed using the compiler, thereby demonstrating the power of the divide and compute when working with real NISQ-era quantum devices.


title: Globally Consistent 3D LiDAR Mapping with GPU-accelerated GICP Matching Cost Factors

abstract: This paper presents a real-time 3D LiDAR mapping framework based on global matching cost minimization. The proposed method constructs a factor graph that directly minimizes matching costs between frames over the entire map, unlike pose graph-based approaches that minimize errors in the pose space. For real-time global matching cost minimization, we use a voxel data association-based GICP matching cost factor that is able to fully leverage GPU parallel processing. The combination of the matching cost factor and GPU computation enables constraint of the relative pose between frames with a small overlap and creation of a densely connected factor graph. The mapping process is managed based on a voxel-based overlap metric that can quickly be evaluated on a GPU. We incorporate the proposed method with an external loop detection method in order to help the voxel-based matching cost factors to avoid convergence in a local solution. The experimental result on the KITTI dataset shows that the proposed approach improves the estimation accuracy of long trajectories.


title: Anti-Tamper Protection for Internet of Things System Using Hyperledger Fabric Blockchain Technology

abstract: Automated and industrial Internet of Things (IoT) devices are increasing daily. As the number of IoT devices grows, the volume of data generated by them will also grow. Managing these rapidly expanding IoT devices and enormous data efficiently to be available to all authorized users without compromising its integrity will become essential in the near future. On the other side, many information security incidents have been recorded, increasing the requirement for countermeasures. While safeguards against hostile third parties have been commonplace until now, operators and parties have seen an increase in demand for data falsification detection and blocking. Blockchain technology is well-known for its privacy, immutability, and decentralized nature. Single-board computers are becoming more powerful while also becoming more affordable as IoT platforms. These single-board computers are gaining traction in the automation industry. This study focuses on a paradigm of IoT-Blockchain integration where the blockchain node runs autonomously on the IoT platform itself. It enables the system to conduct machine-to-machine transactions without the intervention of a person and to exert direct access control over IoT devices. This paper assumed that the readers are familiar with Hyperledger Fabric basic operations and focus on the practical approach of integration. A basic introduction is provided for the newbie on the blockchain.


title: Guarding a Target Set from a Single Attacker in the Euclidean Space

abstract: This paper addresses a two-player target defense game in the $n$-dimensional Euclidean space where an attacker attempts to enter a closed convex target set while a defender strives to capture the attacker beforehand. We provide a complete and universal differential game-based solution which not only encompasses recent work associated with similar problems whose target sets have simple, low-dimensional geometric shapes, but can also address problems that involve nontrivial geometric shapes of high-dimensional target sets. The value functions of the game are derived in a semi-analytical form that includes a convex optimization problem. When the latter problem has a closed-form solution, one of the value functions is used to analytically construct the barrier surface that divides the state space of the game into the winning sets of players. For the case where the barrier surface has no analytical expression but the target set has a smooth boundary, the bijective map between the target boundary and the projection of the barrier surface is obtained. By using Hamilton-Jacobi-Isaacs equation, we verify that the proposed optimal state feedback strategies always constitute the game's unique saddle point whether or not the optimization problem has a closed-form solution. We illustrate our solutions via numerical simulations.


title: Real-Time Multi-Contact Model Predictive Control via ADMM

abstract: We propose a hybrid model predictive control algorithm, consensus complementarity control (C3), for systems that make and break contact with their environment. Many state-of-the-art controllers for tasks which require initiating contact with the environment, such as locomotion and manipulation, require a priori mode schedules or are so computationally complex that they cannot run at real-time rates. We present a method, based on the alternating direction method of multipliers (ADMM), capable of highspeed reasoning over potential contact events. Via a consensus formulation, our approach enables parallelization of the contact scheduling problem. We validate our results on three numerical examples, including two frictional contact problems, and physical experimentation on an underactuated multi-contact system.


title: Effect of mobile financial services on financial behavior in developing economies-Evidence from India

abstract: The study examines the relationship between mobile financial services and individual financial behavior in India wherein a sizeable population is yet to be financially included. Addressing the endogeneity associated with the use of mobile financial services using an instrumental variable method, the study finds that the use of mobile financial services increases the likelihood of investment, having insurance and borrowing from formal financial institutions. Further, the analysis highlights that access to mobile financial services have the potential to bridge the gender divide in financial inclusion. Fastening the pace of access to mobile financial services may partially alter pandemic induced poverty.


title: DSOR: A Scalable Statistical Filter for Removing Falling Snow from LiDAR Point Clouds in Severe Winter Weather

abstract: For autonomous vehicles to viably replace human drivers they must contend with inclement weather. Falling rain and snow introduce noise in LiDAR returns resulting in both false positive and false negative object detections. In this article we introduce the Winter Adverse Driving dataSet (WADS) collected in the snow belt region of Michigan's Upper Peninsula. WADS is the first multi-modal dataset featuring dense point-wise labeled sequential LiDAR scans collected in severe winter weather; weather that would cause an experienced driver to alter their driving behavior. We have labelled and will make available over 7 GB or 3.6 billion labelled LiDAR points out of over 26 TB of total LiDAR and camera data collected. We also present the Dynamic Statistical Outlier Removal (DSOR) filter, a statistical PCL-based filter capable or removing snow with a higher recall than the state of the art snow de-noising filter while being 28\% faster. Further, the DSOR filter is shown to have a lower time complexity compared to the state of the art resulting in an improved scalability. Our labeled dataset and DSOR filter will be made available at https://bitbucket.org/autonomymtu/dsor_filter


title: Image-Based Multi-UAV Tracking System in a Cluttered Environment

abstract: A tracking controller for unmanned aerial vehicles (UAVs) is developed to track moving targets undergoing unknown translational and rotational motions. The main challenges are to control both the relative positions and angles between the target and the UAVs to within desired values, and to guarantee that the generated control inputs to the UAVs are feasible (i.e., within their motion capabilities). Moreover, the UAVs are controlled to ensure that the target always remains within the fields of view of their onboard cameras. To the best of our knowledge, this is the first work to apply multiple UAVs to cooperatively track a dynamic target while ensuring that the UAVs remain connected and that both occlusion and collisions are avoided. To achieve these control objectives, a designed controller solved based on the aforementioned tracking controller using quadratic programming can generate minimally invasive control actions to achieve occlusion avoidance and collision avoidance. Furthermore, control barrier functions (CBFs) with a distributed design are developed in order to reduce the amount of inter-UAV communication. Simulations were performed to assess the efficacy and performance of the developed CBF-based controller for the multi-UAV system in tracking a target.


title: Transformer-based Lexically Constrained Headline Generation

abstract: This paper explores a variant of automatic headline generation methods, where a generated headline is required to include a given phrase such as a company or a product name. Previous methods using Transformer-based models generate a headline including a given phrase by providing the encoder with additional information corresponding to the given phrase. However, these methods cannot always include the phrase in the generated headline. Inspired by previous RNN-based methods generating token sequences in backward and forward directions from the given phrase, we propose a simple Transformer-based method that guarantees to include the given phrase in the high-quality generated headline. We also consider a new headline generation strategy that takes advantage of the controllable generation order of Transformer. Our experiments with the Japanese News Corpus demonstrate that our methods, which are guaranteed to include the phrase in the generated headline, achieve ROUGE scores comparable to previous Transformer-based methods. We also show that our generation strategy performs better than previous strategies.


title: Optimizing Trajectories with Closed-Loop Dynamic SQP

abstract: Indirect trajectory optimization methods such as Differential Dynamic Programming (DDP) have found considerable success when only planning under dynamic feasibility constraints. Meanwhile, nonlinear programming (NLP) has been the state-of-the-art approach when faced with additional constraints (e.g., control bounds, obstacle avoidance). However, a na$\"i$ve implementation of NLP algorithms, e.g., shooting-based sequential quadratic programming (SQP), may suffer from slow convergence -- caused from natural instabilities of the underlying system manifesting as poor numerical stability within the optimization. Re-interpreting the DDP closed-loop rollout policy as a sensitivity-based correction to a second-order search direction, we demonstrate how to compute analogous closed-loop policies (i.e., feedback gains) for constrained problems. Our key theoretical result introduces a novel dynamic programming-based constraint-set recursion that augments the canonical "cost-to-go" backward pass. On the algorithmic front, we develop a hybrid-SQP algorithm incorporating DDP-style closed-loop rollouts, enabled via efficient parallelized computation of the feedback gains. Finally, we validate our theoretical and algorithmic contributions on a set of increasingly challenging benchmarks, demonstrating significant improvements in convergence speed over standard open-loop SQP.


title: Efficient and Probabilistic Adaptive Voxel Mapping for Accurate Online LiDAR Odometry

abstract: This paper proposes an efficient and probabilistic adaptive voxel mapping method for LiDAR odometry. The map is a collection of voxels; each contains one plane (or edge) feature that enables the probabilistic representation of the environment and accurate registration of a new LiDAR scan. We further analyze the need for coarse-to-fine voxel mapping and then use a novel voxel map organized by a Hash table and octrees to build and update the map efficiently. We apply the proposed voxel map to an iterated extended Kalman filter and construct a maximum a posteriori probability problem for pose estimation. Experiments on the open KITTI dataset show the high accuracy and efficiency of our method compared to other state-of-the-art methods. Outdoor experiments on unstructured environments with non-repetitive scanning LiDARs further verify the adaptability of our mapping method to different environments and LiDAR scanning patterns. Our codes and dataset are open-sourced on Github


title: Type-II Weyl Excitation in Vortex Arrays

abstract: Weyl-like magnon excitations in ordered magnets have attracted significant recent attention. Despite of the tantalizing physics and application prospects, the experimental observation of Weyl magnons is still challenging owing to their extraordinarily high frequency that is not accessible to the microstrip antenna technique. Here we predict gigahertz Weyl excitations in the collective dynamics of dipolar-coupled magnetic vortices arranged in a three-dimensional stacked honeycomb lattice. It is found that the inversion symmetry breaking leads to the emergence of the type-II Weyl semimetal (WSM) state with tilted dispersion. We derive the full phase diagram of the vortex arrays that support WSMs with both single and double pairs of Weyl nodes, and the topological insulator phase. We observe robust arc surface states in a dual-segment fashion due to the tilted nature of type-II WSMs. Our findings uncover the low-frequency WSM phase in magnetic texture based crystals that are indispensable for future Weyltronic applications.


title: Fast Extraction of Word Embedding from Q-contexts

abstract: The notion of word embedding plays a fundamental role in natural language processing (NLP). However, pre-training word embedding for very large-scale vocabulary is computationally challenging for most existing methods. In this work, we show that with merely a small fraction of contexts (Q-contexts)which are typical in the whole corpus (and their mutual information with words), one can construct high-quality word embedding with negligible errors. Mutual information between contexts and words can be encoded canonically as a sampling state, thus, Q-contexts can be fast constructed. Furthermore, we present an efficient and effective WEQ method, which is capable of extracting word embedding directly from these typical contexts. In practical scenarios, our algorithm runs 11$\sim$13 times faster than well-established methods. By comparing with well-known methods such as matrix factorization, word2vec, GloVeand fasttext, we demonstrate that our method achieves comparable performance on a variety of downstream NLP tasks, and in the meanwhile maintains run-time and resource advantages over all these baselines.


title: On isolated singularities for fractional Lane-Emden equation in the Serrin's critical case

abstract: In this paper, we solve the fractional Lane-Emden equation in the Serrin's critical case for the fractional Laplacian by developing an innovative and self-contained approach that also applies to the classical setting ( Laplacian). We give a classification of the isolated singularities of positive solutions to the semilinear fractional elliptic equations $$(E) \qquad\qquad (-\Delta)^s u = u^{\frac{N}{N-2s}}\quad {\rm in}\ \ \Omega\setminus\{0\},\qquad u\geq 0\quad{\rm in}\ \ \mathbb{R}^N\setminus\Omega,\qquad\qquad\quad $$ where $s\in(0,1)$, $\Omega$ is a bounded domain containing the origin in $\mathbb{R}^N$ with $N>2s$ and $\frac{N}{N-2s}$ is the Serrin's critical exponent. We use an initial asymptotic at infinity to transform the critical case into a subcritical case where the underlying equation involves the fractional Hardy operator. The construction of singular solutions is based on the fact that some special functions are subsolutions of the original problem near the origin. We also classify the non-removable singularities of the solutions of $(E)$ and show the existence of a sequence of isolated singular solutions parameterizing the coefficients of the second order blow up term. To the best of our knowledge, this idea has also been first used in this work.


title: Continuous-variable quantum repeaters based on bosonic error-correction and teleportation: architecture and applications

abstract: Quantum repeaters are essential ingredients for quantum networks that link distant quantum modules such as quantum computers and sensors. Motivated by distributed quantum computing and communication, quantum repeaters that relay discrete-variable quantum information have been extensively studied; while continuous-variable (CV) quantum information underpins a variety of quantum sensing and communication application, a quantum-repeater architecture for genuine CV quantum information remains largely unexplored. This paper reports a CV quantum-repeater architecture based on CV quantum teleportation assisted by the Gottesman-Kitaev-Preskill (GKP) code to significantly suppress the physical noise. The designed CV quantum-repeater architecture is shown to significantly improve the performance of CV quantum key distribution, entanglement-assisted communication, and target detection based on quantum illumination, as three representative use cases for quantum communication and sensing.


title: Soft-Jig: A Flexible Sensing Jig for Simultaneously Fixing and Estimating Orientation of Assembly Parts

abstract: For assembly tasks, it is essential to firmly fix target parts and to accurately estimate their poses. Several rigid jigs for individual parts are frequently used in assembly factories to achieve precise and time-efficient product assembly. However, providing customized jigs is time-consuming. In this study, to address the lack of versatility in the shapes the jigs can be used for, we developed a flexible jig with a soft membrane including transparent beads and oil with a tuned refractive index. The bead-based jamming transition was accomplished by discharging only oil enabling a part to be firmly fixed. Because the two cameras under the jig are able to capture membrane shape changes, we proposed a sensing method to estimate the orientation of the part based on the behaviors of markers created on the jig's inner surface. Through estimation experiments, the proposed system could estimate the orientation of a cylindrical object with a diameter larger than 50 mm and an RMSE of less than 3 degrees.


title: Exponential stability analysis for a class of switched nonlinear time-varying functional differential systems

abstract: This paper proposes a unified approach for studying global exponential stability of a general class of switched systems described by time-varying nonlinear functional differential equations. Some new delay-independent criteria of global exponential stability are established for this class of systems under arbitrary switching which satisfies some assumptions on the average dwell time. The obtained criteria are shown to cover and improve many previously known results, including, in particular, sufficient conditions for absolute exponential stability of switched time-delay systems with sector nonlinearities. Some simple examples are given to illustrate the proposed method.


title: Novel Observation of Piezoelectricity in VO2

abstract: VO2 is well known for its dual phase transitions; electrical as well as structural, at a single temperature of 340K. The low temperature structural phases of VO2 are different from its high temperature counterpart by means of structural symmetry. The strain induced modification of the structural distortion in VO2 is studied in details. A ferroelectric type distortion is observed, and therefore, the piezoelectric effect in the low temperature phases of VO2 is investigated, for the first time, using piezo-response force microscopy. The electronic behavior of piezoelectric materials can be tuned with the application of mechanical strain and strain is the only factor to separate the two low-temperature phases, namely, M1 and M2 in the phase diagram of VO2. The piezo-electric coefficient in the strained phase of VO2 was found as 11-12 pm/V making it eligible for piezotronic applications.


title: Half-Metallicity in Smallest Cage-like Cluster of CdTe with Doping of Transition Metal Atoms

abstract: We report first principles theory based electronic structure studies of a semiconducting stoichiometric cage-like Cd9Te9 cluster. Substantial changes are observed in the electronic structure of the cluster on passivation with fictitious hydrogen atoms, in particular, widening of the energy gap between highest occupied molecular orbital and lowest unoccupied molecular orbital and enhancement in stability of cluster is seen. The cluster, when substitutionally mono-doped for a Cd by a set of 3d and 4d transition metal atoms (Ti, V, Cr, Mn, Fe, Co, Ni, Cu, Zn, Ru, Rh and Pd), is found to acquire polarization as seen from spin resolved density of states near Fermi level. Further, such mono-doping in passivated cluster shows half-metallic behavior. Mapping of partial density of states of each system on that of undoped cluster reveals additional levels caused by doping each TM atom separately. In the 3d elemental doping, Ti and Mn doping result into electron type doping whereas all other cases result into hole doped systems. For all the 4d elements studied, it is akin to the doping with holes for Cd substitution in the outer ring, whereas for Ru and Rh, there is electron type doping in case of substitution for Cd in central ring upon passivation. A comparison of partial density of states plots for bare and passivated clusters, on doping with transition metal atoms, suggests suitability of the cage-like cluster for spintronics applications.


title: Classifying minimum energy states for interacting particles: Regular simplices

abstract: Densities of particles on $\Rn$ which interact pairwise through an attractive-repulsive power-law potential $W_{\al,\bt}(x) = |x|^\al/\al-|x|^\bt/\bt$ have often been used to explain patterns produced by biological and physical systems. In the mildly repulsive regime $\al> \bt \ge 2$ with $n \ge 2$, we show there exists a decreasing homeomorphism $\al_{\Delta^n}$ from $[2,4]$ to itself such that: distributing the particles uniformly over the vertices of a regular unit diameter $n$-simplex minimizes the potential energy if and only if $\al\ge \al_{\De^n}(\bt)$. Moreover this minimum is uniquely attained up to rigid motions when $\al > \al_{\De^n}(\bt)$. We estimate $\al_{\De^n}(\bt)$ above and below, and identify its limit as the dimension grows large. These results are derived from a new northeast comparison principle in the space of exponents. At the endpoint $(\al,\bt)=(4,2)$ of this transition curve, we characterize all minimizers by showing they lie on a sphere and share all first and second moments with the spherical shell. Suitably modified versions of these statements are also established (i) for $W_{\alpha,\beta}$ and corresponding energies in the case where $n=1$, and (ii) for the attractive-repulsive potentials $D_\al(x) = |x|^\al(\al\log |x|-1)$ that arise in the limit $\bt \nearrow \al$.


title: Nuclear giant quadruple resonance within transport approach and its constraint on nucleon effective mass

abstract: We study the nuclear iso-scalar giant quadruple resonance~(ISGQR) based on the Boltzmann-Uehling-Uhlenbeck~(BUU) transport equation. The mean-field part of the BUU equation is described by the Skyrme nucleon-nucleon effective interaction, and its collision term, which embodies the two-particle-two-hole ($2$p-$2$h) correlation, is implemented through the stochastic approach. We find that the width of ISGQR for heavy nuclei is exhausted dominated by collisional damping, which is incorporated into the BUU equation through its collision term, and it can be well reproduced through employing a proper in-medium nucleon-nucleon cross section. Based on further Vlasov and BUU calculations with a number of representative Skyrme interactions, the iso-scalar nucleon effective mass at saturation density is extracted respectively as $m^{*}_{s,0}/m$ $=$ $0.83\pm0.04$ and $m^{*}_{s,0}/m$ $=$ $0.82\pm0.03$ from the measured excitation energy $E_x$ of the ISGQR of $\isotope[208]{Pb}$. The small discrepancy between the two constraints indicates the negligible role of $2$p-$2$h correlation in constraining $m_{s,0}^*$ with the ISGQR excitation energy.


title: Frugal $U(1)_X$ models with non-minimal flavor violation for $b \to s \ell \ell$ anomalies and neutrino mixing

abstract: We analyze the class of models with an extra $U(1)_X$ gauge symmetry that can account for the $b \to s \ell \ell$ anomalies by modifying the Wilson coefficients $C_{9e}$ and $C_{9\mu}$ from their standard model values. At the same time, these models generate appropriate quark mixing, and give rise to neutrino mixing via the Type-I seesaw mechanism. Apart from the gauge boson $Z'$, these frugal models only have three right-handed neutrinos for the seesaw mechanism, an additional $SU(2)_L$ scalar doublet for quark mixing, and a SM-singlet scalar that breaks the $U(1)_X$ symmetry. This set-up identifies a class of leptonic symmetries, and necessitates non-zero but equal charges for the first two quark generations. If the quark mixing beyond the standard model were CKM-like, all these symmetries would be ruled out by the latest flavor constraints on Wilson coefficients and collider constraints on $Z'$ parameters. However, we identify a single-parameter source of non-minimal flavor violation that allows a wider class of $U(1)_X$ symmetries to be compatible with all data. We show that the viable leptonic symmetries have to be of the form $L_e \pm 3 L_\mu - L_\tau$ or $L_e - 3 L_\mu + L_\tau$, and determine the $(M_{Z^\prime}, g_{Z^\prime})$ parameter space that may be probed by the high-luminosity data at the LHC.


title: Influence of the growth gradient on surface wrinkling and pattern transition in growing tubular tissues

abstract: Growth-induced pattern formations in curved film-substrate structures have attracted extensive attentions recently. In most existing literature, the growth tensor is assumed to be homogeneous or piecewise homogeneous. In this paper, we aim at clarifying the influence of a growth gradient on pattern formation and pattern evolution in bilayered tubular tissues under plane-strain deformation. In the framework of finite elasticity, a bifurcation condition is derived for a general material model and a generic growth function. Then we suppose that both layers are composed of neo-Hookean materials. In particular, the growth function is assumed to decay linearly either from the inner surface or from the outer surface. It is found that a gradient in the growth has a weak effect on the critical state, compared to the homogeneous growth type where both layers share the same growth factor. Furthermore, a finite element model is built to validate the theoretical model and to investigate the post-buckling behaviors. It is found that the associated pattern transition is not controlled by the growth gradient but by the ratio of the shear modulus between two layers. Different morphologies can occur when the modulus ratio is varied. The current analysis could provide useful insight into the influence of a growth gradient on surface instabilities and suggests that a homogeneous growth field may provide a good approximation on interpreting complicated morphological formations in multiple systems.


title: Towards Document-Level Paraphrase Generation with Sentence Rewriting and Reordering

abstract: Paraphrase generation is an important task in natural language processing. Previous works focus on sentence-level paraphrase generation, while ignoring document-level paraphrase generation, which is a more challenging and valuable task. In this paper, we explore the task of document-level paraphrase generation for the first time and focus on the inter-sentence diversity by considering sentence rewriting and reordering. We propose CoRPG (Coherence Relationship guided Paraphrase Generation), which leverages graph GRU to encode the coherence relationship graph and get the coherence-aware representation for each sentence, which can be used for re-arranging the multiple (possibly modified) input sentences. We create a pseudo document-level paraphrase dataset for training CoRPG. Automatic evaluation results show CoRPG outperforms several strong baseline models on the BERTScore and diversity scores. Human evaluation also shows our model can generate document paraphrase with more diversity and semantic preservation.


title: Light Speed Variation with Brane/String-Inspired Space-Time Foam

abstract: Recently a series of studies on high energy gamma-ray burst~(GRB) photons suggest a light speed variation with linear energy dependence at the Lorentz violation scale of $3.6 \times 10^{17}~\mathrm{GeV}$, with subluminal propagation of high energy photons in cosmological space. We propose stringy space-time foam as a possible interpretation for this light speed variation. In such a string-inspired scenario, bosonic photon open-string travels \textit{in vacuo} at an infraluminal speed with an energy dependence suppressed by a single power of the string mass scale, due to the foamy structure of space-time at small scales, as described by D-brane objects in string theory. We present a derivation of this deformed propagation speed of the photon field in the infrared (IR) regime. We show that the light speed variation, revealed in the previous studies on GRBs time-delay data, can be well described within such a string approach towards space-time foam. We also derive the value of the effective quantum-gravity mass in this framework, and give a qualitative study on the theory-dependent coefficients. We comment that stringent constraints on Lorentz violation in the photon sector from complementary astrophysical observations can also be explained and understood in the space-time foam context.


title: Augmenting On-Chip Microresonator through Photonic Inverse Design

abstract: Recent advances in the design and fabrication of on-chip optical microresonators has greatly expanded their applications in photonics, enabling metrology, communications, and on-chip lasers. Designs for these applications require fine control of dispersion, bandwidth and high optical quality factors. Co-engineering these figures of merit remains a significant technological challenge due to design strategies being largely limited to analytical tuning of cross-sectional geometry. Here, we show that photonic inverse-design facilitates and expands the functionality of on-chip microresonators; theoretically and experimentally demonstrating flexible dispersion engineering, quality factor beyond 2 million on the silicon-on-insulator platform with single mode operation, and selective wavelength-band operation.


title: A uniqueness result for the two vortex travelling wave in the Nonlinear Schrodinger equation

abstract: For the Nonlinear Schrodinger equation in dimension 2, the existence of a global minimizer of the energy at fixed momentum has been established by Bethuel-Gravejat-Saut. This minimizer is a travelling wave for the Nonlinear Schrodinger equation. For large momentums, the propagation speed is small and the minimizer behaves like two well separated vortices. In that limit, we show the uniqueness of this minimizer, up to the invariances of the problem, hence proving the orbital stability of this travelling wave. This work is a follow up to two previous papers, where we constructed and studied a particular travelling wave of the equation. We show a uniqueness result on this travelling wave in a class of functions that contains in particular all possible minimizers of the energy.


title: Self-powered InP Nanowire Photodetector for Single Photon Level Detection at Room Temperature

abstract: Highly sensitive photodetectors with single photon level detection is one of the key components to a range of emerging technologies, in particular the ever-growing field of optical communication, remote sensing, and quantum computing. Currently, most of the single-photon detection technologies require external biasing at high voltages and/or cooling to low temperatures, posing great limitations for wider applications. Here, we demonstrate InP nanowire array photodetectors that can achieve single-photon level light detection at room temperature without an external bias. We use top-down etched, heavily doped p-type InP nanowires and n-type AZO/ZnO carrier selective contact to form a radial p-n junction with a built-in electric field exceeding 3x10^5 V/cm at 0 V. The device exhibits broadband light sensitivity and can distinguish a single photon per pulse from the dark noise at 0 V, enabled by its design to realize near-ideal broadband absorption, extremely low dark current, and highly efficient charge carrier separation. Meanwhile, the bandwidth of the device reaches above 600 MHz with a timing jitter of 538 ps. The proposed device design provides a new pathway towards low-cost, high-sensitivity, self-powered photodetectors for numerous future applications.


title: Complementary Feature Enhanced Network with Vision Transformer for Image Dehazing

abstract: Conventional CNNs-based dehazing models suffer from two essential issues: the dehazing framework (limited in interpretability) and the convolution layers (content-independent and ineffective to learn long-range dependency information). In this paper, firstly, we propose a new complementary feature enhanced framework, in which the complementary features are learned by several complementary subtasks and then together serve to boost the performance of the primary task. One of the prominent advantages of the new framework is that the purposively chosen complementary tasks can focus on learning weakly dependent complementary features, avoiding repetitive and ineffective learning of the networks. We design a new dehazing network based on such a framework. Specifically, we select the intrinsic image decomposition as the complementary tasks, where the reflectance and shading prediction subtasks are used to extract the color-wise and texture-wise complementary features. To effectively aggregate these complementary features, we propose a complementary features selection module (CFSM) to select the more useful features for image dehazing. Furthermore, we introduce a new version of vision transformer block, named Hybrid Local-Global Vision Transformer (HyLoG-ViT), and incorporate it within our dehazing networks. The HyLoG-ViT block consists of the local and the global vision transformer paths used to capture local and global dependencies. As a result, the HyLoG-ViT introduces locality in the networks and captures the global and long-range dependencies. Extensive experiments on homogeneous, non-homogeneous, and nighttime dehazing tasks reveal that the proposed dehazing network can achieve comparable or even better performance than CNNs-based dehazing models.


title: Delay-aware Robust Control for Safe Autonomous Driving

abstract: With the advancement of affordable self-driving vehicles using complicated nonlinear optimization but limited computation resources, computation time becomes a matter of concern. Other factors such as actuator dynamics and actuator command processing cost also unavoidably cause delays. In high-speed scenarios, these delays are critical to the safety of a vehicle. Recent works consider these delays individually, but none unifies them all in the context of autonomous driving. Moreover, recent works inappropriately consider computation time as a constant or a large upper bound, which makes the control either less responsive or over-conservative. To deal with all these delays, we present a unified framework by 1) modeling actuation dynamics, 2) using robust tube model predictive control, 3) using a novel adaptive Kalman filter without assuminga known process model and noise covariance, which makes the controller safe while minimizing conservativeness. On onehand, our approach can serve as a standalone controller; on theother hand, our approach provides a safety guard for a high-level controller, which assumes no delay. This can be used for compensating the sim-to-real gap when deploying a black-box learning-enabled controller trained in a simplistic environment without considering delays for practical vehicle systems.


title: Can Edge Probing Tasks Reveal Linguistic Knowledge in QA Models?

abstract: There have been many efforts to try to understand what grammatical knowledge (e.g., ability to understand the part of speech of a token) is encoded in large pre-trained language models (LM). This is done through `Edge Probing' (EP) tests: supervised classification tasks to predict the grammatical properties of a span (whether it has a particular part of speech) using only the token representations coming from the LM encoder. However, most NLP applications fine-tune these LM encoders for specific tasks. Here, we ask: if an LM is fine-tuned, does the encoding of linguistic information in it change, as measured by EP tests? Specifically, we focus on the task of Question Answering (QA) and conduct experiments on multiple datasets. We find that EP test results do not change significantly when the fine-tuned model performs well or in adversarial situations where the model is forced to learn wrong correlations. From a similar finding, some recent papers conclude that fine-tuning does not change linguistic knowledge in encoders but they do not provide an explanation. We find that EP models themselves are susceptible to exploiting spurious correlations in the EP datasets. When this dataset bias is corrected, we do see an improvement in the EP test results as expected.


title: Automatic Symmetry Discovery with Lie Algebra Convolutional Network

abstract: Existing equivariant neural networks require prior knowledge of the symmetry group and discretization for continuous groups. We propose to work with Lie algebras (infinitesimal generators) instead of Lie groups. Our model, the Lie algebra convolutional network (L-conv) can automatically discover symmetries and does not require discretization of the group. We show that L-conv can serve as a building block to construct any group equivariant feedforward architecture. Both CNNs and Graph Convolutional Networks can be expressed as L-conv with appropriate groups. We discover direct connections between L-conv and physics: (1) group invariant loss generalizes field theory (2) Euler-Lagrange equation measures the robustness, and (3) equivariance leads to conservation laws and Noether current.These connections open up new avenues for designing more general equivariant networks and applying them to important problems in physical sciences


title: Accurate force field of two-dimensional ferroelectrics from deep learning

abstract: The discovery of two-dimensional (2D) ferroelectrics with switchable out-of-plane polarization such as monolayer $\alpha$-In$_2$Se$_3$ offers a new avenue for ultrathin high-density ferroelectric-based nanoelectronics such as ferroelectric field effect transistors and memristors. The functionality of ferroelectrics depends critically on the dynamics of polarization switching in response to an external electric/stress field. Unlike the switching dynamics in bulk ferroelectrics that have been extensively studied, the mechanisms and dynamics of polarization switching in 2D remain largely unexplored. Molecular dynamics (MD) using classical force fields is a reliable and efficient method for large-scale simulations of dynamical processes with atomic resolution. Here we developed a deep neural network-based force field of monolayer In$_2$Se$_3$ using a concurrent learning procedure that efficiently updates the first-principles-based training database. The model potential has accuracy comparable with density functional theory (DFT), capable of predicting a range of thermodynamic properties of In$_2$Se$_3$ polymorphs and lattice dynamics of ferroelectric In$_2$Se$_3$. Pertinent to the switching dynamics, the model potential also reproduces the DFT kinetic pathways of polarization reversal and 180$^\circ$ domain wall motions. Moreover, isobaric-isothermal ensemble MD simulations predict a temperature-driven $\alpha \rightarrow \beta$ phase transition at the single-layer limit, as revealed by both local atomic displacement and Steinhardt's bond orientational order parameter $Q_4$. Our work paves the way for further research on the dynamics of ferroelectric $\alpha$-In$_2$Se$_3$ and related systems.


title: Local NMPC on Global Optimised Path for Autonomous Racing

abstract: The paper presents a strategy for the control of anautonomous racing car on a pre-mapped track. Using a dynamic model of the vehicle, the optimal racing line is computed, taking track boundaries into account. With the optimal racing line as areference, a local nonlinear model predictive controller (NMPC) is proposed, which takes into account multiple local objectives like making more progress along the race line, avoiding collision with opponent vehicles, and use of drafting to achieve more progress.


title: WIP: Medical Incident Prediction Through Analysis of Electronic Medical Records Using Machine Lerning: Fall Prediction

abstract: This paper reports our preliminary work on medical incident prediction in general, and fall risk prediction in specific, using machine learning. Data for the machine learning are generated only from the particular subset of the electronic medical records (EMR) at Osaka Medical and Pharmaceutical University Hospital. As a result of conducting three experiments such as (1) machine learning algorithm comparison, (2) handling imbalance, and (3) investigation of explanatory variable contribution to the fall incident prediction, we find the investigation of explanatory variables the most effective.


title: Anchor DETR: Query Design for Transformer-Based Object Detection

abstract: In this paper, we propose a novel query design for the transformer-based object detection. In previous transformer-based detectors, the object queries are a set of learned embeddings. However, each learned embedding does not have an explicit physical meaning and we cannot explain where it will focus on. It is difficult to optimize as the prediction slot of each object query does not have a specific mode. In other words, each object query will not focus on a specific region. To solved these problems, in our query design, object queries are based on anchor points, which are widely used in CNN-based detectors. So each object query focuses on the objects near the anchor point. Moreover, our query design can predict multiple objects at one position to solve the difficulty: "one region, multiple objects". In addition, we design an attention variant, which can reduce the memory cost while achieving similar or better performance than the standard attention in DETR. Thanks to the query design and the attention variant, the proposed detector that we called Anchor DETR, can achieve better performance and run faster than the DETR with 10$\times$ fewer training epochs. For example, it achieves 44.2 AP with 19 FPS on the MSCOCO dataset when using the ResNet50-DC5 feature for training 50 epochs. Extensive experiments on the MSCOCO benchmark prove the effectiveness of the proposed methods. Code is available at \url{https://github.com/megvii-research/AnchorDETR}.


title: Limiting absorption principle and virtual levels of operators in Banach spaces

abstract: We review the concept of the limiting absorption principle and its connection to virtual levels of operators in Banach spaces.


title: Remarks on the Pair Correlation Statistic of Kronecker Sequences and Lattice Point Counting

abstract: In this short note, we reformulate the task of calculating the pair correlation statistics of a Kronecker sequence as a lattice point counting problem. This can be done analogously to the lattice based approach which was used to (re-)prove the famous three gap property for Kronecker sequences. We show that recently developed lattice point counting techniques can then be applied to derive that a certain class of Kronecker sequences have $\beta$-pair correlations for all $0 < \beta < 1$.


title: Image Deraining and Denoising Convolutional Neural Network ForAutonomous Driving

abstract: Perception plays an important role in reliable decision-making for autonomous vehicles. Over the last ten years, huge advances have been made in the field of perception. However, perception in extreme weather conditions is still a difficult problem, especially in rainy weather conditions. In order to improve the detection effect of road targets in rainy environments, we analyze the physical characteristics of the rain layer and propose a deraining convolutional neural network structure. Based on this network structure, we design an ablation experiment and experiment results show that our method can effectively improve the accuracy of object detection in rainy conditions.


title: Elastic Tracker: A Spatio-temporal Trajectory Planner Flexible Aerial Tracking

abstract: This paper proposes Elastic Tracker, a flexible trajectory planning framework that can deal with challenging tracking tasks with guaranteed safety and visibility. Firstly, an object detection and intension-free motion prediction method is designed. Then an occlusion-aware path finding method is proposed to provide a proper topology. A smart safe flight corridor generation strategy is designed with the guiding path. An analytical occlusion cost is evaluated. Finally, an effective trajectory optimization approach enables to generate a spatio-temporal optimal trajectory within the resultant flight corridor. Particular formulations are designed to guarantee both safety and visibility, with all the above requirements optimized jointly. The experimental results show that our method works more robustly but with less computation than the existing methods, even in some challenging tracking tasks.


title: Learning Friction Model for Magnet-actuated Tethered Capsule Robot

abstract: The potential diagnostic applications of magnet-actuated capsules have been greatly increased in recent years. For most of these potential applications, accurate position control of the capsule have been highly demanding. However, the friction between the robot and the environment as well as the drag force from the tether play a significant role during the motion control of the capsule. Moreover, these forces especially the friction force are typically hard to model beforehand. In this paper, we first designed a magnet-actuated tethered capsule robot, where the driving magnet is mounted on the end of a robotic arm. Then, we proposed a learning-based approach to model the friction force between the capsule and the environment, with the goal of increasing the control accuracy of the whole system. Finally, several real robot experiments are demonstrated to showcase the effectiveness of our proposed approach.