title: Dynamics of the spiral-arm corotation and its observable footprints in the Solar Neighborhood

abstract: This article discusses the effects of the spiral-arm corotation on the stellar dynamics in the Solar Neighborhood (SN). All our results presented here rely on: 1) observational evidence that the Sun lies near the corotation circle, where stars rotate with the same angular velocity as the spiral-arm pattern; the corotation circle establishes domains of the corotation resonance (CR) in the Galactic disk; 2) dynamical constraints that put the spiral-arm potential as the dominant perturbation in the SN, comparing with the effects of the central bar in the SN; 3) a long-lived nature of the spiral structure, promoting a state of dynamical relaxing and phase-mixing of the stellar orbits in response to the spiral perturbation. With an analytical model for the Galactic potential, composed of an axisymmetric background deduced from the observed rotation curve, and perturbed by a four-armed spiral pattern, numerical simulations of stellar orbits are performed to delineate the domains of regular and chaotic motions shaped by the resonances. Such studies show that stars can be trapped inside the stable zones of the spiral CR, and this orbital trapping mechanism could explain the dynamical origin of the Local arm of the Milky Way (MW). The spiral CR and the near high-order epicyclic resonances influence the velocity distribution in the SN, creating the observable structures such as moving groups and their radially extended counterpart known as diagonal ridges. The Sun and most of the SN stars evolve inside a stable zone of the spiral CR, never crossing the main spiral-arm structure, but oscillating in the region between the Sagittarius-Carina and Perseus arms. This orbital behavior of the Sun brings insights to our understanding of questions concerning the solar system evolution, the Earth environment changes, and the preservation of life on Earth.


title: A tight lower bound on the matching number of graphs via Laplacian eigenvalues

abstract: Let $\alpha'$ and $\mu_i$ denote the matching number of a non-empty simple graph $G$ with $n$ vertices and the $i$-th smallest eigenvalue of its Laplacian matrix, respectively. In this paper, we prove a tight lower bound $$\alpha' \ge \min\left\{\Big\lceil\frac{\mu_2}{\mu_n} (n -1)\Big\rceil,\ \ \Big\lceil\frac{1}{2}(n-1)\Big\rceil \right\}.$$ This bound strengthens the result of Brouwer and Haemers who proved that if $n$ is even and $2\mu_2 \ge \mu_n$, then $G$ has a perfect matching. A graph $G$ is factor-critical if for every vertex $v\in V(G)$, $G-v$ has a perfect matching. We also prove an analogue to the result of Brouwer and Haemers mentioned above by showing that if $n$ is odd and $2\mu_2 \ge \mu_n$, then $G$ is factor-critical. We use the separation inequality of Haemers to get a useful lemma, which is the key idea in the proofs. This lemma is of its own interest and has other applications. In particular, we prove similar results for the number of balloons, spanning even subgraphs, as well as spanning trees with bounded degree.


title: QoS-Constrained Federated Learning Empowered by Intelligent Reflecting Surface

abstract: This paper investigates the model aggregation process in an over-the-air federated learning (AirFL) system, where an intelligent reflecting surface (IRS) is deployed to assist the transmission from users to the base station (BS). With the purpose of overcoming the absence of the security examination against malicious individuals, successive interference cancellation (SIC) is adopted as a basis to support analyzing statistic characteristics of model parameters from devices. The objective of this paper is to minimize the mean-square-error by jointly optimizing the receive beamforming vector at the BS, transmit power allocation at users, and phase shift matrix of the IRS, subject to the transmit power constraint for devices, unit-modulus constraint for reflecting elements, SIC decoding order constraint and quality-of-service constraint. To address this complicated problem, alternating optimization is employed to decompose it into three subproblems, where the optimal receive beamforming vector is obtained by solving the first subproblem with the Lagrange dual method. Then, the convex relaxation method is applied to the transmit power allocation subproblem to find a suboptimal solution. Eventually, the phase shift matrix subproblem is addressed by invoking the semidefinite relaxation. Simulation results validate the availability of IRS and the effectiveness of the proposed scheme in improving federated learning performance.


title: Harmonic $Sp(2)$-invariant $G_2$-structures on the $7$-sphere

abstract: We describe the $10$-dimensional space of $Sp(2)$-invariant $G_2$-structures on the homogeneous $7$-sphere $S^7=Sp(2)/Sp(1)$ as $\mathbb{R}^+\times Gl^+(3,\mathbb{R})$. In those terms, we formulate a general Ansatz for $G_2$-structures, which realises representatives in each of the $7$ possible isometric classes of homogeneous $G_2$-structures. Moreover, the well-known nearly parallel round and squashed metrics occur naturally as opposite poles in an $S^3$-family, the equator of which is a new $S^2$-family of coclosed $G_2$-structures satisfying the harmonicity condition $div T=0$. We show general existence of harmonic representatives of $G_2$-structures in each isometric class through explicit solutions of the associated flow and describe the qualitative behaviour of the flow. We study the stability of the Dirichlet gradient flow near these critical points, showing explicit examples of degenerate and nondegenerate local maxima and minima, at various regimes of the general Ansatz. Finally, for metrics outside of the Ansatz, we identify families of harmonic $G_2$-structures, prove long-time existence of the flow and study the stability properties of some well-chosen examples.


title: Two Metrics on Rooted Unordered Trees with Labels

abstract: The early development of a zygote can be mathematically described by a developmental tree. To compare developmental trees of different species, we need to define distances on trees. If children cells after a division are not distinguishable, developmental trees are represented by the space $\mathcal{T}$ of rooted trees with possibly repeated labels, where all vertices are unordered. If children cells after a division are partially distinguishable, developmental trees are represented by the space $\mathcal{P}$ of rooted trees with possibly repeated labels, where vertices can be ordered or unordered. On $\mathcal{T}$, the space of rooted unordered trees with possibly repeated labels, we define two metrics: the best-match metric and the left-regular metric, which show some advantages over existing methods. On $\mathcal{P}$, the space of rooted labeled trees with ordered or unordered vertices, there is no metric, and we define a semimetric, which is a variant of the best-match metric. To compute the best-match distance between two trees, the expected time complexity and worst-case time complexity are both $\mathcal{O}(n^2)$, where $n$ is the tree size. To compute the left-regular distance between two trees, the expected time complexity is $\mathcal{O}(n)$, and the worst-case time complexity is $\mathcal{O}(n\log n)$. For rooted labeled trees with (fully/partially) unordered vertices, we define metrics (semimetric) that have fast algorithms to compute and have advantages over existing methods. Such trees also appear outside of developmental biology, and such metrics can be applied to other types of trees which have more extensive applications, especially in molecular biology.


title: ISTA-Net++: Flexible Deep Unfolding Network for Compressive Sensing

abstract: While deep neural networks have achieved impressive success in image compressive sensing (CS), most of them lack flexibility when dealing with multi-ratio tasks and multi-scene images in practical applications. To tackle these challenges, we propose a novel end-to-end flexible ISTA-unfolding deep network, dubbed ISTA-Net++, with superior performance and strong flexibility. Specifically, by developing a dynamic unfolding strategy, our model enjoys the adaptability of handling CS problems with different ratios, i.e., multi-ratio tasks, through a single model. A cross-block strategy is further utilized to reduce blocking artifacts and enhance the CS recovery quality. Furthermore, we adopt a balanced dataset for training, which brings more robustness when reconstructing images of multiple scenes. Extensive experiments on four datasets show that ISTA-Net++ achieves state-of-the-art results in terms of both quantitative metrics and visual quality. Considering its flexibility, effectiveness and practicability, our model is expected to serve as a suitable baseline in future CS research. The source code is available on https://github.com/jianzhangcs/ISTA-Netpp.


title: Context-aware Biaffine Localizing Network for Temporal Sentence Grounding

abstract: This paper addresses the problem of temporal sentence grounding (TSG), which aims to identify the temporal boundary of a specific segment from an untrimmed video by a sentence query. Previous works either compare pre-defined candidate segments with the query and select the best one by ranking, or directly regress the boundary timestamps of the target segment. In this paper, we propose a novel localization framework that scores all pairs of start and end indices within the video simultaneously with a biaffine mechanism. In particular, we present a Context-aware Biaffine Localizing Network (CBLN) which incorporates both local and global contexts into features of each start/end position for biaffine-based localization. The local contexts from the adjacent frames help distinguish the visually similar appearance, and the global contexts from the entire video contribute to reasoning the temporal relation. Besides, we also develop a multi-modal self-attention module to provide fine-grained query-guided video representation for this biaffine strategy. Extensive experiments show that our CBLN significantly outperforms state-of-the-arts on three public datasets (ActivityNet Captions, TACoS, and Charades-STA), demonstrating the effectiveness of the proposed localization framework.


title: Hidden qubit cluster states

abstract: Continuous-variable cluster states (CVCSs) can be supplemented with Gottesman-Kitaev-Preskill (GKP) states to form a hybrid cluster state with the power to execute universal, fault-tolerant quantum computing in a measurement-based fashion. As the resource states that comprise a hybrid cluster state are of a very different nature, a natural question arises: Why do GKP states interface so well with CVCSs? To answer this question, we apply the recently introduced subsystem decomposition of a bosonic mode, which divides a mode into logical and gauge-mode subsystems, to three types of cluster state: CVCSs, GKP cluster states, and hybrid CV-GKP cluster states. We find that each of these contains a "hidden" qubit cluster state across their logical subsystems, which lies at the heart of their utility for measurement-based quantum computing. To complement the analytical approach, we introduce a simple graphical description of these CV-mode cluster states that depicts precisely how the hidden qubit cluster states are entangled with the gauge modes, and we outline how these results would extend to the case of finitely squeezed states. This work provides important insight that is both conceptually satisfying and helps to address important practical issues like when a simpler resource (such as a Gaussian state) can stand in for a more complex one (like a GKP state), leading to more efficient use of the resources available for CV quantum computing.


title: Optimal exit decision of venture capital under time-inconsistent preferences

abstract: This paper proposes two kinds of time-inconsistent preferences (i.e. time flow inconsistency and critical time point inconsistency) to further advance the research on the exit decision of venture capital. Time-inconsistent preference, different from time-consistent preference, assumes that decision makers prefer recent returns rather than future returns. Based on venture capitalists' understanding of future preferences, we consider four types of venture capitalists, namely time-consistent venture capitalists, venture capitalists who only realize critical time point inconsistency, naive venture capitalists and sophisticated venture capitalists, of which the latter three are time-inconsistent. All types of time-inconsistent venture capitalists are aware of critical time point inconsistency. Naive venture capitalists misunderstand time flow inconsistency while sophisticated ones understand it correctly. We propose an optimal exit timing of venture capital model. Then we derive and compare the above four types of venture capitalists' exit thresholds. The main results are as follows: (1) all types of time-inconsistent venture capitalists tend to exit earlier than time-consistent venture capitalists. (2) The longer the expire date are, the more likely venture capitalists are to delay the exit, but the delay degree decreases successively (venture capitalists who only realize critical time point inconsistency > naive venture capitalists > sophisticated venture capitalists).


title: Weighted Neural Tangent Kernel: A Generalized and Improved Network-Induced Kernel

abstract: The Neural Tangent Kernel (NTK) has recently attracted intense study, as it describes the evolution of an over-parameterized Neural Network (NN) trained by gradient descent. However, it is now well-known that gradient descent is not always a good optimizer for NNs, which can partially explain the unsatisfactory practical performance of the NTK regression estimator. In this paper, we introduce the Weighted Neural Tangent Kernel (WNTK), a generalized and improved tool, which can capture an over-parameterized NN's training dynamics under different optimizers. Theoretically, in the infinite-width limit, we prove: i) the stability of the WNTK at initialization and during training, and ii) the equivalence between the WNTK regression estimator and the corresponding NN estimator with different learning rates on different parameters. With the proposed weight update algorithm, both empirical and analytical WNTKs outperform the corresponding NTKs in numerical experiments.


title: Provably Correct Optimization and Exploration with Non-linear Policies

abstract: Policy optimization methods remain a powerful workhorse in empirical Reinforcement Learning (RL), with a focus on neural policies that can easily reason over complex and continuous state and/or action spaces. Theoretical understanding of strategic exploration in policy-based methods with non-linear function approximation, however, is largely missing. In this paper, we address this question by designing ENIAC, an actor-critic method that allows non-linear function approximation in the critic. We show that under certain assumptions, e.g., a bounded eluder dimension $d$ for the critic class, the learner finds a near-optimal policy in $O(\poly(d))$ exploration rounds. The method is robust to model misspecification and strictly extends existing works on linear function approximation. We also develop some computational optimizations of our approach with slightly worse statistical guarantees and an empirical adaptation building on existing deep RL tools. We empirically evaluate this adaptation and show that it outperforms prior heuristics inspired by linear methods, establishing the value via correctly reasoning about the agent's uncertainty under non-linear function approximation.


title: Intrinsic ultracontractivity for domains in negatively curved manifolds

abstract: Let $M$ be a complete, non-compact, connected Riemannian manifold with Ricci curvature bounded from below by a negative constant. A sufficient condition is obtained for open and connected sets $D$ in $M$ for which the corresponding Dirichlet heat semigroup is intrinsically ultracontractive. That condition is formulated in terms of capacitary width. It is shown that both the reciprocal of the bottom of the spectrum of the Dirichlet Laplacian acting in $L^2(D)$, and the supremum of the torsion function for $D$ are comparable with the square of the capacitary width for $D$ if the latter is sufficiently small. The technical key ingredients are the volume doubling property, the Poincar\'e inequality and the Li-Yau Gaussian estimate for the Dirichlet heat kernel for finite scale.


title: ConfInLog: Leveraging Software Logs to Infer Configuration Constraints

abstract: Misconfigurations have become the dominant causes of software failures in recent years, drawing tremendous attention for their increasing prevalence and severity. Configuration constraints can preemptively avoid misconfiguration by defining the conditions that configuration options should satisfy. Documentation is the main source of configuration constraints, but it might be incomplete or inconsistent with the source code. In this regard, prior researches have focused on obtaining configuration constraints from software source code through static analysis. However, the difficulty in pointer analysis and context comprehension prevents them from collecting accurate and comprehensive constraints. In this paper, we observed that software logs often contain configuration constraints. We conducted an empirical study and summarized patterns of configuration-related log messages. Guided by the study, we designed and implemented ConfInLog, a static tool to infer configuration constraints from log messages. ConfInLog first selects configuration-related log messages from source code by using the summarized patterns, then infers constraints from log messages based on the summarized natural language patterns. To evaluate the effectiveness of ConfInLog, we applied our tool on seven popular open-source software systems. ConfInLog successfully inferred 22 to 163 constraints, in which 59.5% to 61.6% could not be inferred by the state-of-the-art work. Finally, we submitted 67 documentation patches regarding the constraints inferred by ConfInLog. The constraints in 29 patches have been confirmed by the developers, among which 10 patches have been accepted.


title: RadarLoc: Learning to Relocalize in FMCW Radar

abstract: Relocalization is a fundamental task in the field of robotics and computer vision. There is considerable work in the field of deep camera relocalization, which directly estimates poses from raw images. However, learning-based methods have not yet been applied to the radar sensory data. In this work, we investigate how to exploit deep learning to predict global poses from Emerging Frequency-Modulated Continuous Wave (FMCW) radar scans. Specifically, we propose a novel end-to-end neural network with self-attention, termed RadarLoc, which is able to estimate 6-DoF global poses directly. We also propose to improve the localization performance by utilizing geometric constraints between radar scans. We validate our approach on the recently released challenging outdoor dataset Oxford Radar RobotCar. Comprehensive experiments demonstrate that the proposed method outperforms radar-based localization and deep camera relocalization methods by a significant margin.


title: RefactorHub: A Commit Annotator for Refactoring

abstract: It is necessary to gather real refactoring instances while conducting empirical studies on refactoring. However, existing refactoring detection approaches are insufficient in terms of their accuracy and coverage. Reducing the manual effort of curating refactoring data is challenging in terms of obtaining various refactoring data accurately. This paper proposes a tool named RefactorHub, which supports users to manually annotate potential refactoring-related commits obtained from existing refactoring detection approaches to make their refactoring information more accurate and complete with rich details. In the proposed approach, the parameters of each refactoring operation are defined as a meaningful set of code elements in the versions before or after refactoring. RefactorHub provides interfaces and supporting features to annotate each parameter, such as the automated filling of dependent parameters, thereby avoiding wrong or uncertain selections. A preliminary user study showed that RefactorHub reduced annotation effort and improved the degree of agreement among users. Source code and demo video are available at https://github.com/salab/RefactorHub


title: A Survey on Estimation Schemes in Molecular Communications

abstract: This survey paper focuses on the estimation schemes in molecular communication (MC) systems. The existing studies in estimation schemes can be divided into parameter estimation (e.g., distance, diffusion coefficient, and flow velocity) and channel estimation. In this paper, we present, for the first time, a comprehensive survey on i) distance estimation, since distance is the most widely estimated parameter in current studies, ii) estimation of other parameters (i.e. the parameters excluding distance), and iii) channel estimation that focuses on the channel impulse response (CIR). Moreover, we examine the noise that may impact on the estimation performance and the metrics applied to evaluate the performance of different estimation schemes. Numerical results are provided to compare the performance of different distance estimation schemes. In addition, future research directions in parameter estimation and channel estimation are identified and discussed.


title: Switching Controller Synthesis for Delay Hybrid Systems under Perturbations

abstract: Delays are ubiquitous in modern hybrid systems, which exhibit both continuous and discrete dynamical behaviors. Induced by signal transmission, conversion, the nature of plants, and so on, delays may appear either in the continuous evolution of a hybrid system such that the evolution depends not only on the present state but also on its execution history, or in the discrete switching between its different control modes. In this paper we come up with a new model of hybrid systems, called \emph{delay hybrid automata}, to capture the dynamics of systems with the aforementioned two kinds of delays. Furthermore, based upon this model we study the robust switching controller synthesis problem such that the controlled delay system is able to satisfy the specified safety properties regardless of perturbations. To the end, a novel method is proposed to synthesize switching controllers based on the computation of differential invariants for continuous evolution and backward reachable sets of discrete jumps with delays. Finally, we implement a prototypical tool of our approach and demonstrate it on some case studies.


title: The strong Pytkeev property and strong countable completeness in (strongly) topological gyrogroups

abstract: A topological gyrogroup is a gyrogroup endowed with a topology such that the binary operation is jointly continuous and the inverse mapping is also continuous. In this paper, it is proved that if $G$ is a sequential topological gyrogroup with an $\omega^{\omega}$-base, then $G$ has the strong Pytkeev property. Moreover, some equivalent conditions about $\omega^{\omega}$-base and strong Pytkeev property are given in Baire topological gyrogroups. Finally, it is shown that if $G$ is a strongly countably complete strongly topological gyrogroup, then $G$ contains a closed, countably compact, admissible subgyrogroup $P$ such that the quotient space $G/P$ is metrizable and the canonical homomorphism $\pi :G\rightarrow G/P$ is closed.


title: Supervised Principal Component Regression for Functional Responses with High Dimensional Predictors

abstract: We propose a supervised principal component regression method for relating functional responses with high dimensional predictors. Unlike the conventional principal component analysis, the proposed method builds on a newly defined expected integrated residual sum of squares, which directly makes use of the association between the functional response and the predictors. Minimizing the integrated residual sum of squares gives the supervised principal components, which is equivalent to solving a sequence of nonconvex generalized Rayleigh quotient optimization problems. We reformulate the nonconvex optimization problems into a simultaneous linear regression with a sparse penalty to deal with high dimensional predictors. Theoretically, we show that the reformulated regression problem can recover the same supervised principal subspace under certain conditions. Statistically, we establish non-asymptotic error bounds for the proposed estimators when the covariate covariance is bandable. We demonstrate the advantages of the proposed method through numerical experiments and an application to the Human Connectome Project fMRI data.


title: Cluster Contrast for Unsupervised Person Re-Identification

abstract: State-of-the-art unsupervised re-ID methods train the neural networks using a memory-based non-parametric softmax loss. Instance feature vectors stored in memory are assigned pseudo-labels by clustering and updated at instance level. However, the varying cluster sizes leads to inconsistency in the updating progress of each cluster. To solve this problem, we present Cluster Contrast which stores feature vectors and computes contrast loss at the cluster level. Our approach employs a unique cluster representation to describe each cluster, resulting in a cluster-level memory dictionary. In this way, the consistency of clustering can be effectively maintained throughout the pipline and the GPU memory consumption can be significantly reduced. Thus, our method can solve the problem of cluster inconsistency and be applicable to larger data sets. In addition, we adopt different clustering algorithms to demonstrate the robustness and generalization of our framework. The application of Cluster Contrast to a standard unsupervised re-ID pipeline achieves considerable improvements of 9.9%, 8.3%, 12.1% compared to state-of-the-art purely unsupervised re-ID methods and 5.5%, 4.8%, 4.4% mAP compared to the state-of-the-art unsupervised domain adaptation re-ID methods on the Market, Duke, and MSMT17 datasets. Code is available at https://github.com/alibaba/cluster-contrast.


title: Convex Parameterization and Optimization for Robust Tracking of a Magnetically Levitated Planar Positioning System

abstract: Magnetic levitation positioning technology has attracted considerable research efforts and dedicated attention due to its extremely attractive features. The technology offers high-precision, contactless, dust/lubricant-free, multi-axis, and large-stroke positioning. In this work, we focus on the accurate and smooth tracking problem of a multi-axis magnetically levitated (maglev) planar positioning system for a specific S-curve reference trajectory. The floating characteristics and the multi-axis coupling make accurate identification of the system dynamics difficult, which lead to a challenge to design a high performance control system. Here, the tracking task is achieved by a 2-Degree of Freedom (DoF) controller consisting of a feedforward controller and a robust stabilizing feedback controller with a prescribed sparsity pattern. The approach proposed in this paper utilizes the basis of an H-infinity controller formulation and a suitably established convex inner approximation. Particularly, a subset of robust stabilizable controllers with prescribed structural constraints is characterized in the parameter space, and so thus the re-formulated convex optimization problem can be easily solved by several powerful numerical algorithms and solvers. With this approach, the robust stability of the overall system is ensured with a satisfactory system performance despite the presence of parametric uncertainties. Furthermore, experimental results clearly demonstrate the effectiveness of the proposed approach.


title: Global B(G) with adelic coefficients and transfer factors at non-regular elements

abstract: The goal of this paper is extend Kottwitz's theory of $B(G)$ for global fields. In particular, we show how to extend the definition of "$B(G)$ with adelic coefficients" from tori to all connected reductive groups. As an application, we give an explicit construction of certain transfer factors for non-regular semisimple elements of non-quasisplit groups. This generalizes some results of Kaletha and Taibi. These formulas are used in the stabilization of the cohomology of Shimura and Igusa varieties.


title: Neural Lumigraph Rendering

abstract: Novel view synthesis is a challenging and ill-posed inverse rendering problem. Neural rendering techniques have recently achieved photorealistic image quality for this task. State-of-the-art (SOTA) neural volume rendering approaches, however, are slow to train and require minutes of inference (i.e., rendering) time for high image resolutions. We adopt high-capacity neural scene representations with periodic activations for jointly optimizing an implicit surface and a radiance field of a scene supervised exclusively with posed 2D images. Our neural rendering pipeline accelerates SOTA neural volume rendering by about two orders of magnitude and our implicit surface representation is unique in allowing us to export a mesh with view-dependent texture information. Thus, like other implicit surface representations, ours is compatible with traditional graphics pipelines, enabling real-time rendering rates, while achieving unprecedented image quality compared to other surface methods. We assess the quality of our approach using existing datasets as well as high-quality 3D face data captured with a custom multi-camera rig.


title: Data-Driven Structured Policy Iteration for Homogeneous Distributed Systems

abstract: Control of networked systems, comprised of interacting agents, is often achieved through modeling the underlying interactions. Constructing accurate models of such interactions--in the meantime--can become prohibitive in applications. Data-driven control methods avoid such complications by directly synthesizing a controller from the observed data. In this paper, we propose an algorithm referred to as Data-driven Structured Policy Iteration (D2SPI), for synthesizing an efficient feedback mechanism that respects the sparsity pattern induced by the underlying interaction network. In particular, our algorithm uses temporary "auxiliary" communication links in order to enable the required information exchange on a (smaller) sub-network during the "learning phase" -- links that will be removed subsequently for the final distributed feedback synthesis. We then proceed to show that the learned policy results in a stabilizing structured policy for the entire network. Our analysis is then followed by showing the stability and convergence of the proposed distributed policies throughout the learning phase, exploiting a construct referred to as the "Patterned monoid.'' The performance of D2SPI is then demonstrated using representative simulation scenarios.


title: Capacitor Type Thin-Film Heat Flow Switching Device

abstract: We developed a capacitor type heat flow switching device, in which electron thermal conductivity of the electrodes is actively controlled through the carrier concentration varied by an applied bias voltage. The devices consist of an amorphous p-type Si-Ge-Au alloy layer, an amorphous SiO$_2$ as the dielectric layer, and a n-type Si substrate. Both amorphous materials are characterized by very low lattice thermal conductivity, less than 1 Wm-1K-1. The Si-Ge-Au amorphous layer with 40 nm in thickness was deposited by means of molecular beam deposition technique on the 100 nm thick SiO$_2$ layer formed at the top surface of Si substrate. Bias voltage-dependent thermal conductivity and heat flow density of the fabricated device were evaluated by a time-domain thermoreflectance method at room temperature. Consequently, we observed a 55 percent increase in thermal conductivity.


title: Multi-agent Aerial Monitoring of Moving Convoys using Elliptical Orbits

abstract: We propose a novel scheme for surveillance of a dynamic ground convoy moving along a non-linear trajectory, by aerial agents that maintain a uniformly spaced formation on a time-varying elliptical orbit encompassing the convoy. Elliptical orbits are used as they are more economical than circular orbits for circumnavigating the group of targets in the moving convoy. The proposed scheme includes an algorithm for computing feasible elliptical orbits, a vector guidance law for agent motion along the desired orbit, and a cooperative strategy to control the speeds of the aerial agents in order to quickly achieve and maintain the desired formation. It achieves mission objectives while accounting for linear and angular speed constraints on the aerial agents. The scheme is validated through simulations and actual experiments with a convoy of ground robots and a team of quadrotors as the aerial agents, in a motion capture environment.


title: Learn-to-Race: A Multimodal Control Environment for Autonomous Racing

abstract: Existing research on autonomous driving primarily focuses on urban driving, which is insufficient for characterising the complex driving behaviour underlying high-speed racing. At the same time, existing racing simulation frameworks struggle in capturing realism, with respect to visual rendering, vehicular dynamics, and task objectives, inhibiting the transfer of learning agents to real-world contexts. We introduce a new environment, where agents Learn-to-Race (L2R) in simulated competition-style racing, using multimodal information--from virtual cameras to a comprehensive array of inertial measurement sensors. Our environment, which includes a simulator and an interfacing training framework, accurately models vehicle dynamics and racing conditions. In this paper, we release the Arrival simulator for autonomous racing. Next, we propose the L2R task with challenging metrics, inspired by learning-to-drive challenges, Formula-style racing, and multimodal trajectory prediction for autonomous driving. Additionally, we provide the L2R framework suite, facilitating simulated racing on high-precision models of real-world tracks. Finally, we provide an official L2R task dataset of expert demonstrations, as well as a series of baseline experiments and reference implementations. We make all code available: https://github.com/learn-to-race/l2r.


title: Grey-box Adversarial Attack And Defence For Sentiment Classification

abstract: We introduce a grey-box adversarial attack and defence framework for sentiment classification. We address the issues of differentiability, label preservation and input reconstruction for adversarial attack and defence in one unified framework. Our results show that once trained, the attacking model is capable of generating high-quality adversarial examples substantially faster (one order of magnitude less in time) than state-of-the-art attacking methods. These examples also preserve the original sentiment according to human evaluation. Additionally, our framework produces an improved classifier that is robust in defending against multiple adversarial attacking methods. Code is available at: https://github.com/ibm-aur-nlp/adv-def-text-dist.


title: Magneto-vortical Effect in Strong Magnetic Field

abstract: We develop covariant chiral kinetic theory with Landau level basis. We use it to investigate a magnetized plasma with a transverse electric field and a steady vorticity as perturbations. After taking into account vacuum shift in the latter case, we find the resulting current and stress tensor in both cases can be matched consistently with constitutive equations of magnetohydrodynamics. We find the solution in the vorticity case contains both shifts in temperature and chemical potential as well as excitations of the lowest Landau level states. The solution gives rise to an vector charge density and axial current density. The vacuum parts coming from both shifts and excitations agree with previous studies and the medium parts coming entirely from excitations leads to a new contribution to vector charge and axial current density consistent with standard chiral vortical effect.


title: SparseGAN: Sparse Generative Adversarial Network for Text Generation

abstract: It is still a challenging task to learn a neural text generation model under the framework of generative adversarial networks (GANs) since the entire training process is not differentiable. The existing training strategies either suffer from unreliable gradient estimations or imprecise sentence representations. Inspired by the principle of sparse coding, we propose a SparseGAN that generates semantic-interpretable, but sparse sentence representations as inputs to the discriminator. The key idea is that we treat an embedding matrix as an over-complete dictionary, and use a linear combination of very few selected word embeddings to approximate the output feature representation of the generator at each time step. With such semantic-rich representations, we not only reduce unnecessary noises for efficient adversarial training, but also make the entire training process fully differentiable. Experiments on multiple text generation datasets yield performance improvements, especially in sequence-level metrics, such as BLEU.


title: Anatomy of the dense QCD matter from canonical sectors

abstract: We investigate the nuclear and the quark matter at finite real chemical potential ($\mu_\mathrm{R}$) and low temperature from the viewpoint of the canonical sectors constructed via the imaginary chemical potential region. Based on the large $N_\mathrm{c}$ estimation, where $N_\mathrm{c}$ is the number of color, we can discuss the confinement-deconfinement nature at finite $\mu_\mathrm{R}$ from the canonical sectors. We found the expectation that the sharp change of canonical sectors at $\mu_\mathrm{R} \sim M_\mathrm{B}/N_\mathrm{c}$, where $M_\mathrm{B}$ is the lowest baryon mass, is happen in the large $N_\mathrm{c}$ regime, and it is matched with the quarkyonic picture. In addition, we discussed the color superconductivity and the chiral properties from the structure of canonical sectors. Even in the present anatomy from the canonical sectors, we can have the suitable picture for the dense QCD matter.


title: Integrating Electrochemical Modeling with Machine Learning for Lithium-Ion Batteries

abstract: Mathematical modeling of lithium-ion batteries (LiBs) is a central challenge in advanced battery management. This paper presents a new approach to integrate a physics-based model with machine learning to achieve high-precision modeling for LiBs. This approach uniquely proposes to inform the machine learning model of the dynamic state of the physical model, enabling a deep integration between physics and machine learning. We propose two hybrid physics-machine learning models based on the approach, which blend a single particle model with thermal dynamics (SPMT) with a feedforward neural network (FNN) to perform physics-informed learning of a LiB's dynamic behavior. The proposed models are relatively parsimonious in structure and can provide considerable predictive accuracy even at high C-rates, as shown by extensive simulations.


title: Sound Trapping in an Open Resonator

abstract: The ability of extreme sound energy confinement with high-quality factor (Q-factor) resonance is of vital importance for acoustic devices requiring high intensity and hypersensitivity in biological ultrasonics, enhanced collimated sound emission (i.e. sound laser) and high-resolution sensing. However, structures reported so far demonstrated a limited quality factor (Q-factor) of acoustic resonances, up to several tens in an open resonator. The emergence of bound states in the continuum (BIC) makes it possible to realize high-Q factor acoustic modes. Here, we report the theoretical design and experimental demonstration of acoustic BICs supported by a single open resonator. We predicted that such an open acoustic resonator could simultaneously support three types of BICs, including symmetry protected BIC, Friedrich-Wintgen BIC induced by mode interference, as well as a new kind of BIC: mirror-symmetry induced BIC. We also experimentally demonstrated the existence of all three types of BIC with Q-factor up to one order of magnitude greater than the highest Q-factor reported in an open resonator.


title: Relations between topology and the quantum metric for Chern insulators

abstract: We investigate relations between topology and the quantum metric of two-dimensional Chern insulators. The quantum metric is the Riemannian metric defined on a parameter space induced from quantum states. Similar to the Berry curvature, the quantum metric provides a geometrical structure associated to quantum states. We consider the volume of the parameter space measured with the quantum metric, which we call the quantum volume of the parameter space. We establish an inequality between the quantum volume of the Brillouin zone and that of the twist-angle space. Exploiting this inequality and the inequality between the Chern number and the quantum volume, we investigate how the quantum volume can be used as a good measure to infer the Chern number. The inequalities are found to be saturated for fermions filling Landau levels. Through various concrete models, we elucidate conditions when the quantum volume gives a good estimate of the topology of the system.


title: K\"ahler geometry and Chern insulators: Relations between topology and the quantum metric

abstract: We study Chern insulators from the point of view of K\"ahler geometry, i.e. the geometry of smooth manifolds equipped with a compatible triple consisting of a symplectic form, an integrable almost complex structure and a Riemannian metric. The Fermi projector, i.e. the projector onto the occupied bands, provides a map to a K\"ahler manifold. The quantum metric and Berry curvature of the occupied bands are then related to the Riemannian metric and symplectic form, respectively, on the target space of quantum states. We find that the minimal volume of a parameter space with respect to the quantum metric is $\pi |\mathcal{C}|$, where $\mathcal{C}$ is the first Chern number. We determine the conditions under which the minimal volume is achieved both for the Brillouin zone and the twist-angle space. The minimal volume of the Brillouin zone, provided the quantum metric is everywhere non-degenerate, is achieved when the latter is endowed with the structure of a K\"ahler manifold inherited from the one of the space of quantum states. If the quantum volume of the twist-angle torus is minimal, then both parameter spaces have the structure of a K\"ahler manifold inherited from the space of quantum states. These conditions turn out to be related to the stability of fractional Chern insulators. For two-band systems, the volume of the Brillouin zone is naturally minimal provided the Berry curvature is everywhere non-negative or nonpositive, and we additionally show how the latter, which in this case is proportional to the quantum volume form, necessarily has zeros due to topological constraints.

categories: cond-mat.mes-hall cond-mat.quant-gas math-ph math.MP


title: Collective steady-state patterns of swarmalators with finite-cutoff interaction distance

abstract: We study the steady-state patterns of population of the coupled oscillators that sync and swarm, where the interaction distances among oscillators have finite-cutoff in interaction distance. We examine how the static patterns known in the infinite-cutoff are reproduced or deformed, and explore a new static pattern that does not appear until a finite-cutoff is considered. All steady-state patterns of the infinite-cutoff, static sync, static async, and static phase wave are respectively repeated in space for proper finite-cutoff ranges. Their deformation in shape and density takes place for the other finite-cutoff ranges. Bar-like phase wave states are observed, which has not been the case for the infinite-cutoff. All the patterns are investigated via numerical and theoretical analysis.


title: Blockchain-based Digital Twins: Research Trends, Issues, and Future Challenges

abstract: Industrial processes rely on sensory data for decision-making processes, risk assessment, and performance evaluation. Extracting actionable insights from the collected data calls for an infrastructure that can ensure the dissemination of trustworthy data. For the physical data to be trustworthy, it needs to be cross-validated through multiple sensor sources with overlapping fields of view. Cross-validated data can then be stored on the blockchain, to maintain its integrity and trustworthiness. Once trustworthy data is recorded on the blockchain, product lifecycle events can be fed into data-driven systems for process monitoring, diagnostics, and optimized control. In this regard, Digital Twins (DTs) can be leveraged to draw intelligent conclusions from data by identifying the faults and recommending precautionary measures ahead of critical events. Empowering DTs with blockchain in industrial use-cases targets key challenges of disparate data repositories, untrustworthy data dissemination, and the need for predictive maintenance. In this survey, while highlighting the key benefits of using blockchain-based DTs, we present a comprehensive review of the state-of-the-art research results for blockchain-based DTs. Based on the current research trends, we discuss a trustworthy blockchain-based DTs framework. We highlight the role of Artificial Intelligence (AI) in blockchain-based DTs. Furthermore, we discuss current and future research and deployment challenges of blockchain-supported DTs that require further investigation.


title: Thomson's Multitaper Method Revisited

abstract: Thomson's multitaper method estimates the power spectrum of a signal from $N$ equally spaced samples by averaging $K$ tapered periodograms. Discrete prolate spheroidal sequences (DPSS) are used as tapers since they provide excellent protection against spectral leakage. Thomson's multitaper method is widely used in applications, but most of the existing theory is qualitative or asymptotic. Furthermore, many practitioners use a DPSS bandwidth $W$ and number of tapers that are smaller than what the theory suggests is optimal because the computational requirements increase with the number of tapers. We revisit Thomson's multitaper method from a linear algebra perspective involving subspace projections. This provides additional insight and helps us establish nonasymptotic bounds on some statistical properties of the multitaper spectral estimate, which are similar to existing asymptotic results. We show using $K=2NW-O(\log(NW))$ tapers instead of the traditional $2NW-O(1)$ tapers better protects against spectral leakage, especially when the power spectrum has a high dynamic range. Our perspective also allows us to derive an $\epsilon$-approximation to the multitaper spectral estimate which can be evaluated on a grid of frequencies using $O(\log(NW)\log\tfrac{1}{\epsilon})$ FFTs instead of $K=O(NW)$ FFTs. This is useful in problems where many samples are taken, and thus, using many tapers is desirable.


title: Brain Image Synthesis with Unsupervised Multivariate Canonical CSC$\ell_4$Net

abstract: Recent advances in neuroscience have highlighted the effectiveness of multi-modal medical data for investigating certain pathologies and understanding human cognition. However, obtaining full sets of different modalities is limited by various factors, such as long acquisition times, high examination costs and artifact suppression. In addition, the complexity, high dimensionality and heterogeneity of neuroimaging data remains another key challenge in leveraging existing randomized scans effectively, as data of the same modality is often measured differently by different machines. There is a clear need to go beyond the traditional imaging-dependent process and synthesize anatomically specific target-modality data from a source input. In this paper, we propose to learn dedicated features that cross both intre- and intra-modal variations using a novel CSC$\ell_4$Net. Through an initial unification of intra-modal data in the feature maps and multivariate canonical adaptation, CSC$\ell_4$Net facilitates feature-level mutual transformation. The positive definite Riemannian manifold-penalized data fidelity term further enables CSC$\ell_4$Net to reconstruct missing measurements according to transformed features. Finally, the maximization $\ell_4$-norm boils down to a computationally efficient optimization problem. Extensive experiments validate the ability and robustness of our CSC$\ell_4$Net compared to the state-of-the-art methods on multiple datasets.


title: Comprehensive process-molten pool relations modeling using CNN for wire-feed laser additive manufacturing

abstract: Wire-feed laser additive manufacturing (WLAM) is gaining wide interest due to its high level of automation, high deposition rates, and good quality of printed parts. In-process monitoring and feedback controls that would reduce the uncertainty in the quality of the material are in the early stages of development. Machine learning promises the ability to accelerate the adoption of new processes and property design in additive manufacturing by making process-structure-property connections between process setting inputs and material quality outcomes. The molten pool dimensional information and temperature are the indicators for achieving the high quality of the build, which can be directly controlled by processing parameters. For the purpose of in situ quality control, the process parameters should be controlled in real-time based on sensed information from the process, in particular the molten pool. Thus, the molten pool-process relations are of preliminary importance. This paper analyzes experimentally collected in situ sensing data from the molten pool under a set of controlled process parameters in a WLAM system. The variations in the steady-state and transient state of the molten pool are presented with respect to the change of independent process parameters. A multi-modality convolutional neural network (CNN) architecture is proposed for predicting the control parameter directly from the measurable molten pool sensor data for achieving desired geometric and microstructural properties. Dropout and regularization are applied to the CNN architecture to avoid the problem of overfitting. The results highlighted that the multi-modal CNN, which receives temperature profile as an external feature to the features extracted from the image data, has improved prediction performance compared to the image-based uni-modality CNN approach.


title: Adversarially Optimized Mixup for Robust Classification

abstract: Mixup is a procedure for data augmentation that trains networks to make smoothly interpolated predictions between datapoints. Adversarial training is a strong form of data augmentation that optimizes for worst-case predictions in a compact space around each data-point, resulting in neural networks that make much more robust predictions. In this paper, we bring these ideas together by adversarially probing the space between datapoints, using projected gradient descent (PGD). The fundamental approach in this work is to leverage backpropagation through the mixup interpolation during training to optimize for places where the network makes unsmooth and incongruous predictions. Additionally, we also explore several modifications and nuances, like optimization of the mixup ratio and geometrical label assignment, and discuss their impact on enhancing network robustness. Through these ideas, we have been able to train networks that robustly generalize better; experiments on CIFAR-10 and CIFAR-100 demonstrate consistent improvements in accuracy against strong adversaries, including the recent strong ensemble attack AutoAttack. Our source code would be released for reproducibility.


title: Delving into Variance Transmission and Normalization: Shift of Average Gradient Makes the Network Collapse

abstract: Normalization operations are essential for state-of-the-art neural networks and enable us to train a network from scratch with a large learning rate (LR). We attempt to explain the real effect of Batch Normalization (BN) from the perspective of variance transmission by investigating the relationship between BN and Weights Normalization (WN). In this work, we demonstrate that the problem of the shift of the average gradient will amplify the variance of every convolutional (conv) layer. We propose Parametric Weights Standardization (PWS), a fast and robust to mini-batch size module used for conv filters, to solve the shift of the average gradient. PWS can provide the speed-up of BN. Besides, it has less computation and does not change the output of a conv layer. PWS enables the network to converge fast without normalizing the outputs. This result enhances the persuasiveness of the shift of the average gradient and explains why BN works from the perspective of variance transmission. The code and appendix will be made available on https://github.com/lyxzzz/PWSConv.


title: Motional narrowing, ballistic transport, and trapping of room-temperature exciton polaritons in an atomically-thin semiconductor

abstract: Atomically-thin transition metal dichalcogenide crystals (TMDCs) hold great promise for future semiconductor optoelectronics due to their unique electronic and optical properties. In particular, electron-hole pairs (excitons) in TMDCs are stable at room temperature and interact strongly with light. When TMDCs are embedded in an optical microcavity, the excitons can hybridise with cavity photons to form exciton polaritons (polaritons herein), which display both ultrafast velocities and strong interactions. The ability to manipulate and trap polaritons on a microchip is critical for future applications. Here, we create a potential landscape for room-temperature polaritons in monolayer WS$_2$, and demonstrate their free propagation and trapping. We show that the effect of dielectric disorder, which restricts the diffusion of WS$_2$ excitons and broadens their spectral resonance, is dramatically reduced in the strong exciton-photon coupling regime leading to motional narrowing. This enables the ballistic transport of WS$_2$ polaritons across tens of micrometers with an extended range of partial first-order coherence. Moreover, the dephasing of trapped polaritons is dramatically suppressed compared to both WS$_2$ excitons and free polaritons. Our results demonstrate the possibility of long-range transport and efficient trapping of TMDC polaritons in ambient conditions.


title: Lieb-Robinson bound and almost-linear light-cone in interacting boson systems

abstract: In this work, we investigate how quickly local perturbations propagate in interacting boson systems with Bose-Hubbard-type Hamiltonians. In general, these systems have unbounded local energies, and arbitrarily fast information propagation may occur. We focus on a specific but experimentally natural situation in which the number of bosons at any one site in the unperturbed initial state is approximately limited. We rigorously prove the existence of an almost-linear information-propagation light-cone, thus establishing a Lieb--Robinson bound: the wave-front grows at most as $t\log^2 (t)$. We prove the clustering theorem for gapped ground states and study the time complexity of classically simulating one-dimensional quench dynamics, a topic of great practical interest.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech hep-th math-ph math.MP


title: EFT Diagrammatica: UV Roots of the CP-conserving SMEFT

abstract: Effective Field Theories are an established framework to bridge the gap between UV and low energy theories. In the context of the Standard Model, the bottom-up approach extends its operator set and thus equips us to astutely probe its observables while encapsulating indirect evidence of unknown high scale theories. While the top-down approach, on the other hand, employs functional techniques to integrate out the heavy fields from a BSM Lagrangian leading to a set of SMEFT operators. An intricate interplay of the two approaches enhances the efficacy of the SMEFT in making meaningful predictions while providing a platform for conducting a coherent comparison of new physics scenarios. However, while the bottom-up approach fails to indicate the origin of the effective operators, the top-down approach is highly dependent on the specific model assumptions of the UV theory. We, for the first time, are proposing a diagrammatic approach to establish selection criteria for the allowed heavy field representations corresponding to each SMEFT operator. This, in turn, paves the way to construct observable driven new physics models. While we take a predominantly minimalistic approach, we also highlight the necessity for non-minimal interactions for certain operators.


title: Deep Neural Networks Learn Meta-Structures from Noisy Labels in Semantic Segmentation

abstract: How deep neural networks (DNNs) learn from noisy labels has been studied extensively in image classification but much less in image segmentation. So far, our understanding of the learning behavior of DNNs trained by noisy segmentation labels remains limited. In this study, we address this deficiency in both binary segmentation of biological microscopy images and multi-class segmentation of natural images. We generate extremely noisy labels by randomly sampling a small fraction (e.g., 10%) or flipping a large fraction (e.g., 90%) of the ground truth labels. When trained with these noisy labels, DNNs provide largely the same segmentation performance as trained by the original ground truth. This indicates that DNNs learn structures hidden in labels rather than pixel-level labels per se in their supervised training for semantic segmentation. We refer to these hidden structures in labels as meta-structures. When DNNs are trained by labels with different perturbations to the meta-structure, we find consistent degradation in their segmentation performance. In contrast, incorporation of meta-structure information substantially improves performance of an unsupervised segmentation model developed for binary semantic segmentation. We define meta-structures mathematically as spatial density distributions and show both theoretically and experimentally how this formulation explains key observed learning behavior of DNNs.


title: Approximate Equivalence Checking of Noisy Quantum Circuits

abstract: We study the fundamental design automation problem of equivalence checking in the NISQ (Noisy Intermediate-Scale Quantum) computing realm where quantum noise is present inevitably. The notion of approximate equivalence of (possibly noisy) quantum circuits is defined based on the Jamiolkowski fidelity which measures the average distance between output states of two super-operators when the input is chosen at random. By employing tensor network contraction, we present two algorithms, aiming at different situations where the number of noises varies, for computing the fidelity between an ideal quantum circuit and its noisy implementation. The effectiveness of our algorithms is demonstrated by experimenting on benchmarks of real NISQ circuits. When compared with the state-of-the-art implementation incorporated in Qiskit, experimental results show that the proposed algorithms outperform in both efficiency and scalability.


title: Monolingual and Parallel Corpora for Kangri Low Resource Language

abstract: In this paper we present the dataset of Himachali low resource endangered language, Kangri (ISO 639-3xnr) listed in the United Nations Educational, Scientific and Cultural Organization (UNESCO). The compilation of kangri corpus has been a challenging task due to the non-availability of the digitalized resources. The corpus contains 1,81,552 Monolingual and 27,362 Hindi-Kangri Parallel corpora. We shared pre-trained kangri word embeddings. We also reported the Bilingual Evaluation Understudy (BLEU) score and Metric for Evaluation of Translation with Explicit ORdering (METEOR) score of Statistical Machine Translation (SMT) and Neural Machine Translation (NMT) results for the corpus. The corpus is freely available for non-commercial usages and research. To the best of our knowledge, this is the first Himachali low resource endangered language corpus. The resources are available at (https://github.com/chauhanshweta/Kangri_corpus)


title: Human De-occlusion: Invisible Perception and Recovery for Humans

abstract: In this paper, we tackle the problem of human de-occlusion which reasons about occluded segmentation masks and invisible appearance content of humans. In particular, a two-stage framework is proposed to estimate the invisible portions and recover the content inside. For the stage of mask completion, a stacked network structure is devised to refine inaccurate masks from a general instance segmentation model and predict integrated masks simultaneously. Additionally, the guidance from human parsing and typical pose masks are leveraged to bring prior information. For the stage of content recovery, a novel parsing guided attention module is applied to isolate body parts and capture context information across multiple scales. Besides, an Amodal Human Perception dataset (AHP) is collected to settle the task of human de-occlusion. AHP has advantages of providing annotations from real-world scenes and the number of humans is comparatively larger than other amodal perception datasets. Based on this dataset, experiments demonstrate that our method performs over the state-of-the-art techniques in both tasks of mask completion and content recovery. Our AHP dataset is available at \url{https://sydney0zq.github.io/ahp/}.


title: Adaptive Degradation Process with Deep Learning-Driven Trajectory

abstract: Remaining useful life (RUL) estimation is a crucial component in the implementation of intelligent predictive maintenance and health management. Deep neural network (DNN) approaches have been proven effective in RUL estimation due to their capacity in handling high-dimensional non-linear degradation features. However, the applications of DNN in practice face two challenges: (a) online update of lifetime information is often unavailable, and (b) uncertainties in predicted values may not be analytically quantified. This paper addresses these issues by developing a hybrid DNN-based prognostic approach, where a Wiener-based-degradation model is enhanced with adaptive drift to characterize the system degradation. An LSTM-CNN encoder-decoder is developed to predict future degradation trajectories by jointly learning noise coefficients as well as drift coefficients, and adaptive drift is updated via Bayesian inference. A computationally efficient algorithm is proposed for the calculation of RUL distributions. Numerical experiments are presented using turbofan engines degradation data to demonstrate the superior accuracy of RUL prediction of our proposed approach.


title: Project-Level Encoding for Neural Source Code Summarization of Subroutines

abstract: Source code summarization of a subroutine is the task of writing a short, natural language description of that subroutine. The description usually serves in documentation aimed at programmers, where even brief phrase (e.g. "compresses data to a zip file") can help readers rapidly comprehend what a subroutine does without resorting to reading the code itself. Techniques based on neural networks (and encoder-decoder model designs in particular) have established themselves as the state-of-the-art. Yet a problem widely recognized with these models is that they assume the information needed to create a summary is present within the code being summarized itself - an assumption which is at odds with program comprehension literature. Thus a current research frontier lies in the question of encoding source code context into neural models of summarization. In this paper, we present a project-level encoder to improve models of code summarization. By project-level, we mean that we create a vectorized representation of selected code files in a software project, and use that representation to augment the encoder of state-of-the-art neural code summarization techniques. We demonstrate how our encoder improves several existing models, and provide guidelines for maximizing improvement while controlling time and resource costs in model size.


title: PriorityCut: Occlusion-guided Regularization for Warp-based Image Animation

abstract: Image animation generates a video of a source image following the motion of a driving video. State-of-the-art self-supervised image animation approaches warp the source image according to the motion of the driving video and recover the warping artifacts by inpainting. These approaches mostly use vanilla convolution for inpainting, and vanilla convolution does not distinguish between valid and invalid pixels. As a result, visual artifacts are still noticeable after inpainting. CutMix is a state-of-the-art regularization strategy that cuts and mixes patches of images and is widely studied in different computer vision tasks. Among the remaining computer vision tasks, warp-based image animation is one of the fields that the effects of CutMix have yet to be studied. This paper first presents a preliminary study on the effects of CutMix on warp-based image animation. We observed in our study that CutMix helps improve only pixel values, but disturbs the spatial relationships between pixels. Based on such observation, we propose PriorityCut, a novel augmentation approach that uses the top-k percent occluded pixels of the foreground to regularize warp-based image animation. By leveraging the domain knowledge in warp-based image animation, PriorityCut significantly reduces the warping artifacts in state-of-the-art warp-based image animation models on diverse datasets.


title: Ultrafast carrier-lattice interactions and interlayer modulations of Bi2Se3 by X-ray free electron laser diffraction

abstract: As a 3D topological insulator, bismuth selenide (Bi2Se3) has potential applications for electrically and optically controllable magnetic and optoelectronic devices. How the carriers interact with lattice is important to understand the coupling with its topological phase. It is essential to measure with a time scale smaller than picoseconds for initial interaction. Here we use an X-ray free-electron laser to perform time-resolved diffraction to study ultrafast carrier-induced lattice contractions and interlayer modulations in Bi2Se3 thin films. The lattice contraction depends on the carrier concentration and is followed by an interlayer expansion accompanied by oscillations. Using density functional theory (DFT) and the Lifshitz model, the initial contraction can be explained by van der Waals force modulation of the confined free carrier layers. Band inversion, related to a topological phase transition, is modulated by the expansion of the interlayer distance. These results provide insight into instantaneous topological phases on ultrafast timescales.


title: Properties of white dwarf in the binary system AR Scorpii and its observed features

abstract: The binary system AR Scorpii hosts an M-type main sequence cool star orbiting around a magnetic white dwarf in the Milky Way Galaxy. The broadband non-thermal emission over radio, optical and X-ray wavebands observed from AR Scorpii indicates strong modulations on the spin frequency of the white dwarf as well as the spin-orbit beat frequency of the system. Therefore, AR Scorpii is also referred to as a white dwarf pulsar wherein a fast spinning white dwarf star plays very crucial role in the broadband non-thermal emission. Several interpretations for the observed features of AR Scorpii appear in the literature without firm conclusions. In this work, we investigate connection between some of the important physical properties like spin-down power, surface magnetic field, equation of state, temperature and gravity associated with the white dwarf in the binary system AR Scorpii and its observational characteristics. We explore the plausible effects of white dwarf surface magentic field on the absence of substantial accretion in this binary system and also discuss the gravitational wave emission due to magnetic deformation mechanism.


title: Alleviate Exposure Bias in Sequence Prediction \\ with Recurrent Neural Networks

abstract: A popular strategy to train recurrent neural networks (RNNs), known as ``teacher forcing'' takes the ground truth as input at each time step and makes the later predictions partly conditioned on those inputs. Such training strategy impairs their ability to learn rich distributions over entire sequences because the chosen inputs hinders the gradients back-propagating to all previous states in an end-to-end manner. We propose a fully differentiable training algorithm for RNNs to better capture long-term dependencies by recovering the probability of the whole sequence. The key idea is that at each time step, the network takes as input a ``bundle'' of similar words predicted at the previous step instead of a single ground truth. The representations of these similar words forms a convex hull, which can be taken as a kind of regularization to the input. Smoothing the inputs by this way makes the whole process trainable and differentiable. This design makes it possible for the model to explore more feasible combinations (possibly unseen sequences), and can be interpreted as a computationally efficient approximation to the beam search. Experiments on multiple sequence generation tasks yield performance improvements, especially in sequence-level metrics, such as BLUE or ROUGE-2.


title: Fourier Growth of Parity Decision Trees

abstract: We prove that for every parity decision tree of depth $d$ on $n$ variables, the sum of absolute values of Fourier coefficients at level $\ell$ is at most $d^{\ell/2} \cdot O(\ell \cdot \log(n))^\ell$. Our result is nearly tight for small values of $\ell$ and extends a previous Fourier bound for standard decision trees by Sherstov, Storozhenko, and Wu (STOC, 2021). As an application of our Fourier bounds, using the results of Bansal and Sinha (STOC, 2021), we show that the $k$-fold Forrelation problem has (randomized) parity decision tree complexity $\tilde{\Omega}\left(n^{1-1/k}\right)$, while having quantum query complexity $\lceil k/2\rceil$. Our proof follows a random-walk approach, analyzing the contribution of a random path in the decision tree to the level-$\ell$ Fourier expression. To carry the argument, we apply a careful cleanup procedure to the parity decision tree, ensuring that the value of the random walk is bounded with high probability. We observe that step sizes for the level-$\ell$ walks can be computed by the intermediate values of level $\le \ell-1$ walks, which calls for an inductive argument. Our approach differs from previous proofs of Tal (FOCS, 2020) and Sherstov, Storozhenko, and Wu (STOC, 2021) that relied on decompositions of the tree. In particular, for the special case of standard decision trees we view our proof as slightly simpler and more intuitive. In addition, we prove a similar bound for noisy decision trees of cost at most $d$ -- a model that was recently introduced by Ben-David and Blais (FOCS, 2020).


title: Determinantal Formula for Generalized Riffle Shuffle

abstract: We consider a generalized riffle shuffle on the colored permutation group $G_{p, n}$ and derive a determinantal formula for the probability of finding descents at given positions, proof of which is based on the bijection between the set of shuffles in question and that of non-intersecting lattice paths.


title: Topological quantum materials from the viewpoint of chemistry

abstract: Topology, a mathematical concept, has recently become a popular and truly transdisciplinary topic encompassing condensed matter physics, solid state chemistry, and materials science. Since there is a direct connection between real space, namely atoms, valence electrons, bonds and orbitals, and reciprocal space, namely bands and Fermi surfaces, via symmetry and topology, classifying topological materials within a single-particle picture is possible. Currently, most materials are classified as trivial insulators, semimetals and metals, or as topological insulators, Dirac and Weyl nodal-line semimetals, and topological metals. The key ingredients for topology are: certain symmetries, the inert pair effect of the outer electrons leading to inversion of the conduction and valence bands, and spin-orbit coupling. This review presents the topological concepts related to solids from the viewpoint of a solid-state chemist, summarizes techniques for growing single crystals, and describes basic physical property measurement techniques to characterize topological materials beyond their structure and provide examples of such materials. Finally, a brief outlook on the impact of topology in other areas of chemistry is provided at the end of the article.


title: The critical points of the elastic energy among curves pinned at endpoints

abstract: In this paper we find curves minimizing the elastic energy among curves whose length is fixed and whose ends are pinned. Applying the shooting method, we can identify all critical points explicitly and determine which curve is the global minimizer. As a result we show that the critical points consist of wavelike elasticae and the minimizers do not have any loops or interior inflection points.


title: Scaling theory for the $1/f$ noise

abstract: We show that in a broad class of processes that show a $1/f^{\alpha}$ spectrum, the power also explicitly depends on the characteristic time scale. Despite an enormous amount of work, this generic behavior remains so far overlooked and poorly understood. An intriguing example is how the power spectrum of a simple random walk on a ring with $L$ sites shows $1/f^{3/2}$ not $1/f^2$ behavior in the frequency range $1/L^2 \ll f \ll 1/2$. We address the fundamental issue by a scaling method and discuss a class of solvable processes covering physically relevant applications.


title: From Coupling to Spectral Independence and Blackbox Comparison with the Down-Up Walk

abstract: We show that the existence of a "good"' coupling w.r.t. Hamming distance for any local Markov chain on a discrete product space implies rapid mixing of the Glauber dynamics in a blackbox fashion. More specifically, we only require the expected distance between successive iterates under the coupling to be summable, as opposed to being one-step contractive in the worst case. Combined with recent local-to-global arguments \cite{CLV21}, we establish asymptotically optimal lower bounds on the standard and modified log-Sobolev constants for the Glauber dynamics for sampling from spin systems on bounded-degree graphs when a curvature condition \cite{Oll09} is satisfied. To achieve this, we use Stein's method for Markov chains \cite{BN19, RR19} to show that a "good" coupling for a local Markov chain yields strong bounds on the spectral independence of the distribution in the sense of \cite{ALO20}. Our primary application is to sampling proper list-colorings on bounded-degree graphs. In particular, combining the coupling for the flip dynamics given by \cite{Vig00, CDMPP19} with our techniques, we show optimal $O(n\log n)$ mixing for the Glauber dynamics for sampling proper list-colorings on any bounded-degree graph with maximum degree $\Delta$ whenever the size of the color lists are at least $\left(\frac{11}{6} - \epsilon\right)\Delta$, where $\epsilon \approx 10^{-5}$ is small constant. While $O(n^{2})$ mixing was already known before, our approach additionally yields Chernoff-type concentration bounds for Hamming Lipschitz functions in this regime, which was not known before. Our approach is markedly different from prior works establishing spectral independence for spin systems using spatial mixing \cite{ALO20, CLV20, CGSV20, FGYZ20}, which crucially is still open in this regime for proper list-colorings.


title: psc2code: Denoising Code Extraction from Programming Screencasts

abstract: In this paper, we propose an approach named psc2code to denoise the process of extracting source code from programming screencasts. First, psc2code leverages the Convolutional Neural Network based image classification to remove non-code and noisy-code frames. Then, psc2code performs edge detection and clustering-based image segmentation to detect sub-windows in a code frame, and based on the detected sub-windows, it identifies and crops the screen region that is most likely to be a code editor. Finally, psc2code calls the API of a professional OCR tool to extract source code from the cropped code regions and leverages the OCRed cross-frame information in the programming screencast and the statistical language model of a large corpus of source code to correct errors in the OCRed source code. We conduct an experiment on 1,142 programming screencasts from YouTube. We find that our CNN-based image classification technique can effectively remove the non-code and noisy-code frames, which achieves an F1-score of 0.95 on the valid code frames. Based on the source code denoised by psc2code, we implement two applications: 1) a programming screencast search engine; 2) an interaction-enhanced programming screencast watching tool. Based on the source code extracted from the 1,142 collected programming screencasts, our experiments show that our programming screencast search engine achieves the precision@5, 10, and 20 of 0.93, 0.81, and 0.63, respectively.


title: Variational quantum compiling with double Q-learning

abstract: Quantum compiling aims to construct a quantum circuit V by quantum gates drawn from a native gate alphabet, which is functionally equivalent to the target unitary U. It is a crucial stage for the running of quantum algorithms on noisy intermediate-scale quantum (NISQ) devices. However, the space for structure exploration of quantum circuit is enormous, resulting in the requirement of human expertise, hundreds of experimentations or modifications from existing quantum circuits. In this paper, we propose a variational quantum compiling (VQC) algorithm based on reinforcement learning (RL), in order to automatically design the structure of quantum circuit for VQC with no human intervention. An agent is trained to sequentially select quantum gates from the native gate alphabet and the qubits they act on by double Q-learning with \epsilon-greedy exploration strategy and experience replay. At first, the agent randomly explores a number of quantum circuits with different structures, and then iteratively discovers structures with higher performance on the learning task. Simulation results show that the proposed method can make exact compilations with less quantum gates compared to previous VQC algorithms. It can reduce the errors of quantum algorithms due to decoherence process and gate noise in NISQ devices, and enable quantum algorithms especially for complex algorithms to be executed within coherence time.


title: Heisenberg-limited quantum metrology using collective dephasing

abstract: The goal of quantum metrology is the precise estimation of parameters using quantum properties such as entanglement. This estimation usually consists of three steps: state preparation, time evolution during which information of the parameters is encoded in the state, and readout of the state. Decoherence during the time evolution typically degrades the performance of quantum metrology and is considered to be one of the major obstacles to realizing entanglement-enhanced sensing. We show, however, that under suitable conditions, this decoherence can be exploited to improve the sensitivity. Assume that we have two axes, and our aim is to estimate the relative angle between them. Our results reveal that the use of Markvoian collective dephasing to estimate the relative angle between the two directions affords Heisenberg-limited sensitivity. Moreover, our scheme based on Markvoian collective dephasing is robust against environmental noise, and it is possible to achieve the Heisenberg limit even under the effect of independent dephasing. Our counterintuitive results showing that the sensitivity is improved by using the decoherence pave the way to novel applications in quantum metrology.


title: Horizon thermalization of Kerr black hole through local instability

abstract: The validity of our already proposed conjecture -- {\it horizon creates a local instability which acts as the source of the quantum temperature of black hole} -- is being tested here for Kerr black hole. Earlier this has been explicitly shown for spherically symmetric static black hole (SSS BH). The more realistic situation like Kerr spacetime, being stationary and axisymmetric, is a non-trivial example to analyze. We show that for a chargeless massless particle, the near horizon radial motion in Kerr spacetime, like SSS BH, can be locally unstable. The radial contribution in the corresponding Hamiltonian is $\sim xp$ kind, where $p$ is the canonical momentum and $x$ is its conjugate position of particle. Finally we show that the horizon thermalization can be explained through this Hamiltonian when one dose a semi-classical analysis. It again confirms that near horizon instability is liable for its own temperature and moreover generalizes the validity of our conjectured mechanism for the black hole horizon thermalization.


title: ast2vec: Utilizing Recursive Neural Encodings of Python Programs

abstract: Educational datamining involves the application of datamining techniques to student activity. However, in the context of computer programming, many datamining techniques can not be applied because they expect vector-shaped input whereas computer programs have the form of syntax trees. In this paper, we present ast2vec, a neural network that maps Python syntax trees to vectors and back, thereby facilitating datamining on computer programs as well as the interpretation of datamining results. Ast2vec has been trained on almost half a million programs of novice programmers and is designed to be applied across learning tasks without re-training, meaning that users can apply it without any need for (additional) deep learning. We demonstrate the generality of ast2vec in three settings: First, we provide example analyses using ast2vec on a classroom-sized dataset, involving visualization, student motion analysis, clustering, and outlier detection, including two novel analyses, namely a progress-variance-projection and a dynamical systems analysis. Second, we consider the ability of ast2vec to recover the original syntax tree from its vector representation on the training data and two further large-scale programming datasets. Finally, we evaluate the predictive capability of a simple linear regression on top of ast2vec, obtaining similar results to techniques that work directly on syntax trees. We hope ast2vec can augment the educational datamining toolbelt by making analyses of computer programs easier, richer, and more efficient.


title: A Succinct Multivariate Lazy Multivariate Tower AD for Weil Algebra Computation

abstract: We propose a functional implementation of \emph{Multivariate Tower Automatic Differentiation}. Our implementation is intended to be used in implementing $C^\infty$-structure computation of an arbitrary Weil algebra, which we discussed in the previous work.


title: A Survey on Image Aesthetic Assessment

abstract: Automatic image aesthetics assessment is a computer vision problem dealing with categorizing images into different aesthetic levels. The categorization is usually done by analyzing an input image and computing some measure of the degree to which the image adheres to the fundamental principles of photography such as balance, rhythm, harmony, contrast, unity, look, feel, tone and texture. Due to its diverse applications in many areas, automatic image aesthetic assessment has gained significant research attention in recent years. This article presents a review of the contemporary automatic image aesthetics assessment techniques. Many traditional hand-crafted and deep learning-based approaches are reviewed, and critical problem aspects are discussed, including why some features or models perform better than others and the limitations. A comparison of the quantitative results of different methods is also provided.


title: Anchor-Free Person Search

abstract: Person search aims to simultaneously localize and identify a query person from realistic, uncropped images, which can be regarded as the unified task of pedestrian detection and person re-identification (re-id). Most existing works employ two-stage detectors like Faster-RCNN, yielding encouraging accuracy but with high computational overhead. In this work, we present the Feature-Aligned Person Search Network (AlignPS), the first anchor-free framework to efficiently tackle this challenging task. AlignPS explicitly addresses the major challenges, which we summarize as the misalignment issues in different levels (i.e., scale, region, and task), when accommodating an anchor-free detector for this task. More specifically, we propose an aligned feature aggregation module to generate more discriminative and robust feature embeddings by following a "re-id first" principle. Such a simple design directly improves the baseline anchor-free model on CUHK-SYSU by more than 20% in mAP. Moreover, AlignPS outperforms state-of-the-art two-stage methods, with a higher speed. Code is available at https://github.com/daodaofr/AlignPS


title: Formal Verification for Node-Based Visual Scripts Using Symbolic Model Checking

abstract: Visual script languages with a node-based interface have commonly been used in the video game industry. We examined the bug database obtained in the development of FINAL FANTASY XV (FFXV), and noticed that several types of bugs were caused by simple mis-descriptions of visual scripts and could therefore be mechanically detected. We propose a method for the automatic verification of visual scripts in order to improve productivity of video game development. Our method can automatically detect those bugs by using symbolic model checking. We show a translation algorithm which can automatically convert a visual script to an input model for NuSMV that is an implementation of symbolic model checking. For a preliminary evaluation, we applied our method to visual scripts used in the production for FFXV. The evaluation results demonstrate that our method can detect bugs of scripts and works well in a reasonable time.


title: Server Averaging for Federated Learning

abstract: Federated learning allows distributed devices to collectively train a model without sharing or disclosing the local dataset with a central server. The global model is optimized by training and averaging the model parameters of all local participants. However, the improved privacy of federated learning also introduces challenges including higher computation and communication costs. In particular, federated learning converges slower than centralized training. We propose the server averaging algorithm to accelerate convergence. Sever averaging constructs the shared global model by periodically averaging a set of previous global models. Our experiments indicate that server averaging not only converges faster, to a target accuracy, than federated averaging (FedAvg), but also reduces the computation costs on the client-level through epoch decay.


title: Spatiotemporal helicon wavepackets

abstract: Propagation-invariant or non-diffracting optical beams have received considerable attention during the last two decades. However, the pulsed nature of light waves and the structured property of optical media like waveguides are often overlooked. We here present a four-dimensional spatiotemporal approach that extends and unifies both concepts of conical waves and helicon beams, mainly studied in bulk media. By taking advantage of tight correlations between the spatial modes, the topological charges, and the frequencies embedded in an optical field, we reveal propagation-invariant (dispersion- and diffraction-free) space-time wavepackets carrying orbital angular momentum (OAM) that evolve on spiraling trajectories in both time and space in bulk media or multimode fibers. Besides their intrinsic linear nature, we show that such wave structures can spontaneously emerge when a rather intense ultrashort pulse propagates nonlinearly in OAM modes. With emerging technologies of pulse/beam shaping, multimode fibers and modal multiplexing, our proposed scheme to create OAM-carrying helicon wavepackets could find a plethora of applications.


title: On the distribution of $\alpha p^2$ modulo one with prime $p$ of a special form

abstract: Let $\mathcal{P}_r$ denote an almost-prime with at most $r$ prime factors, counted according to multiplicity. In this paper, it is proved that for $\alpha\in\mathbb{R}\backslash\mathbb{Q},\,\beta\in\mathbb{R}$ and $0<\theta<10/1561$, there exist infinitely many primes $p$, such that $\|\alpha p^2+\beta\|<p^{-\theta}$ and $p+2=\mathcal{P}_4$, which constitutes an improvement upon the previous result.


title: Progressive and Aligned Pose Attention Transfer for Person Image Generation

abstract: This paper proposes a new generative adversarial network for pose transfer, i.e., transferring the pose of a given person to a target pose. We design a progressive generator which comprises a sequence of transfer blocks. Each block performs an intermediate transfer step by modeling the relationship between the condition and the target poses with attention mechanism. Two types of blocks are introduced, namely Pose-Attentional Transfer Block (PATB) and Aligned Pose-Attentional Transfer Bloc ~(APATB). Compared with previous works, our model generates more photorealistic person images that retain better appearance consistency and shape consistency compared with input images. We verify the efficacy of the model on the Market-1501 and DeepFashion datasets, using quantitative and qualitative measures. Furthermore, we show that our method can be used for data augmentation for the person re-identification task, alleviating the issue of data insufficiency. Code and pretrained models are available at https://github.com/tengteng95/Pose-Transfer.git.


title: Multi-Transmitter Coded Caching Networks with Transmitter-side Knowledge of File Popularity

abstract: This work presents a new way of exploiting non-uniform file popularity in coded caching networks. Focusing on a fully-connected fully-interfering wireless setting with multiple cache-enabled transmitters and receivers, we show how non-uniform file popularity can be used very efficiently to accelerate the impact of transmitter-side data redundancy on receiver-side coded caching. This approach is motivated by the recent discovery that, under any realistic file-size constraint, having content appear in multiple transmitters can in fact dramatically boost the speed-up factor attributed to coded caching. We formulate an optimization problem that exploits file popularity to optimize the placement of files at the transmitters. We then provide a proof that reduces significantly the variable search space, and propose a new search algorithm that solves the problem at hand. We also prove an analytical performance upper bound, which is in fact met by our algorithm in the regime of many receivers. Our work reflects the benefits of allocating higher cache redundancy to more popular files, but also reflects a law of diminishing returns where for example very popular files may in fact benefit from minimum redundancy. In the end, this work reveals that in the context of coded caching, employing multiple transmitters can be a catalyst in fully exploiting file popularity, as it avoids various asymmetry complications that appear when file popularity is used to alter the receiver-side cache placement.


title: Multimodal Motion Prediction with Stacked Transformers

abstract: Predicting multiple plausible future trajectories of the nearby vehicles is crucial for the safety of autonomous driving. Recent motion prediction approaches attempt to achieve such multimodal motion prediction by implicitly regularizing the feature or explicitly generating multiple candidate proposals. However, it remains challenging since the latent features may concentrate on the most frequent mode of the data while the proposal-based methods depend largely on the prior knowledge to generate and select the proposals. In this work, we propose a novel transformer framework for multimodal motion prediction, termed as mmTransformer. A novel network architecture based on stacked transformers is designed to model the multimodality at feature level with a set of fixed independent proposals. A region-based training strategy is then developed to induce the multimodality of the generated proposals. Experiments on Argoverse dataset show that the proposed model achieves the state-of-the-art performance on motion prediction, substantially improving the diversity and the accuracy of the predicted trajectories. Demo video and code are available at https://decisionforce.github.io/mmTransformer.


title: Volumetric Objectives for Multi-Robot Exploration of Three-Dimensional Environments

abstract: Volumetric objectives for exploration and perception tasks seek to capture a sense of value (or reward) for hypothetical observations at one or more camera views for robots operating in unknown environments. For example, a volumetric objective may reward robots proportionally to the expected volume of unknown space to be observed. We identify connections between existing information-theoretic and coverage objectives in terms of expected coverage, particularly that mutual information without noise is a special case of expected coverage. Likewise, we provide the first comparison, of which we are aware, between information-based approximations and coverage objectives for exploration, and we find, perhaps surprisingly, that coverage objectives can significantly outperform information-based objectives in practice. Additionally, the analysis for information and coverage objectives demonstrates that Randomized Sequential Partitions -- a method for efficient distributed sensor planning -- applies for both classes of objectives, and we provide simulation results in a variety of environments for as many as 32 robots.


title: Applying CodeBERT for Automated Program Repair of Java Simple Bugs

abstract: Software debugging, and program repair are among the most time-consuming and labor-intensive tasks in software engineering that would benefit a lot from automation. In this paper, we propose a novel automated program repair approach based on CodeBERT, which is a transformer-based neural architecture pre-trained on large corpus of source code. We fine-tune our model on the ManySStuBs4J small and large datasets to automatically generate the fix codes. The results show that our technique accurately predicts the fixed codes implemented by the developers in 19-72% of the cases, depending on the type of datasets, in less than a second per bug. We also observe that our method can generate varied-length fixes (short and long) and can fix different types of bugs, even if only a few instances of those types of bugs exist in the training dataset.


title: Thermally assisted Pauli spin blockade in double quantum dots

abstract: We investigate the influence of thermal energy on the current flow and electron spin states in double quantum dots in series. The quadruplet Pauli spin blockade, which is caused by the quadruplet and doublet states, occurs at low temperatures affecting the transport properties. As the temperature increases, the quadruplet Pauli spin blockade occurs as a result of the thermal energy, even in regions where it does not occur at low temperatures. This is because the triplet state is formed in one dot as a result of the gradual change of the Fermi distribution function of the electrodes with increasing temperature. Moreover, the thermally assisted Pauli spin blockade results in coexistence of the Coulomb and Pauli spin blockades. Conversely, for the standard triplet Pauli spin blockade, which occurs as a result of the triplet and singlet states, the current through the double dots monotonously smears out as the temperature increases. Therefore, the thermally assisted Pauli spin blockade is not clearly observed. However, the coexistence of the Coulomb and triplet Pauli spin blockades as a result of the thermal energy is clearly obtained in the calculation of the probability of the spin state in the double dots.


title: Closed G$_2$-structures on unimodular Lie algebras with non-trivial center

abstract: We characterize the structure of a seven-dimensional Lie algebra with non-trivial center endowed with a closed G$_2$-structure. Using this result, we classify all unimodular Lie algebras with non-trivial center admitting closed G$_2$-structures, up to isomorphism, and we show that six of them arise as the contactization of a symplectic Lie algebra. Finally, we prove that every semi-algebraic soliton on the contactization of a symplectic Lie algebra must be expanding, and we determine all unimodular Lie algebras with center of dimension at least two that admit semi-algebraic solitons, up to isomorphism.


title: Extraordinary Photostability and Davydov Splitting in BN-Sandwiched Single-Layer Tetracene Molecular Crystals

abstract: Two-dimensional molecular crystals have been beyond the reach of systematic investigation because of the lack or instability of their well-defined forms. Here, we demonstrate drastically enhanced photostability and Davydov splitting in single and few-layer tetracene (Tc) crystals sandwiched between inorganic 2D crystals of graphene or hexagonal BN. Molecular orientation and long-range order mapped with polarized wide-field photoluminescence imaging and optical second-harmonic generation revealed high crystallinity of the 2D Tc and its distinctive orientational registry with the 2D inorganic crystals, which were also verified with first-principles calculations. The reduced dielectric screening in 2D space was manifested by enlarged Davydov splitting and attenuated vibronic sidebands in the excitonic absorption and emission of monolayer Tc crystals. Photostable 2D molecular crystals and their size effects will lead to novel photophysical principles and photonic applications.