Catalog footprint

What is connected

124works
59topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

124 published item(s)

preprint2026arXiv

SciHorizon-DataEVA: An Agentic System for AI-Readiness Evaluation of Heterogeneous Scientific Data

AI-for-Science (AI4Science) is increasingly transforming scientific discovery by embedding machine learning models into prediction, simulation, and hypothesis generation workflows across domains. However, the effectiveness of these models is fundamentally constrained by the AI-readiness of scientific data, for which no scalable and systematic evaluation mechanism currently exists. In this work, we propose SciHorizon-DataEVA, a novel agentic system to scalable AI-readiness evaluation of heterogeneous scientific data. At the evaluation-criteria level, we introduce the Sci-TQA2 principles, which organize AI-readiness into four complementary dimensions: Governance Trustworthiness, Data Quality, AI Compatibility, and Scientific Adaptability. Each dimension is decomposed into measurable atomic elements that enable fine-grained and executable assessment. To operationalize these principles at scale, we develop Sci-TQA2-Eval, a hierarchical multi-agent evaluation approach orchestrated through a directed, cyclic workflow. Our Sci-TQA2-Eval dynamically constructs dataset-aware evaluation specifications by combining lightweight dataset profiling, applicability-aware metric activation, and knowledge-augmented planning grounded in domain constraints and dataset-paper signals. These specifications are executed through an adaptive, tool-centric evaluation mechanism with built-in verification and self-correction, enabling scalable and reliable assessment across heterogeneous scientific data. Extensive experiments on scientific datasets spanning multiple domains demonstrate the effectiveness and generality of SciHorizon-DataEVA for principled AI-readiness evaluation.

preprint2025arXiv

Stochastic Gradient Descent for Nonparametric Additive Regression

This paper introduces an iterative algorithm for training nonparametric additive models that enjoys favorable memory storage and computational requirements. The algorithm can be viewed as the functional counterpart of stochastic gradient descent, applied to the coefficients of a truncated basis expansion of the component functions. We show that the resulting estimator satisfies an oracle inequality that allows for model mis-specification. In the well-specified setting, by choosing the learning rate carefully across three distinct stages of training, we demonstrate that its risk is minimax optimal in terms of the dependence on both the dimensionality of the data and the size of the training sample. Unlike past work, we also provide polynomial convergence rates even when the covariates do not have full support on their domain.

preprint2024arXiv

Coordinating Multiple Intelligent Reflecting Surfaces without Channel Information

Conventional beamforming methods for intelligent reflecting surfaces (IRSs) or reconfigurable intelligent surfaces (RISs) typically entail the full channel state information (CSI). However, the computational cost of channel acquisition soars exponentially with the number of IRSs. To bypass this difficulty, we propose a novel strategy called blind beamforming that coordinates multiple IRSs by means of statistics without knowing CSI. Blind beamforming only requires measuring the received signal power at the user terminal for a sequence of randomly generated phase shifts across all IRSs. The main idea is to extract the key statistical quantity for beamforming by exploring only a small portion of the whole solution space of phase shifts. We show that blind beamforming guarantees a signal-to-noise ratio (SNR) boost of Theta(N^{2L}) under certain conditions, where L is the number of IRSs and N is the number of reflecting elements per IRS. The proposed conditions for achieving the optimal SNR boost of Theta(N^{4}) in a double-IRS system are much easier to satisfy than the existing ones in the literature. Most importantly, the proposed conditions can be extended to a fully general L-IRS system. The above result significantly improves upon the state of the art in the area of multi-IRS-assisted communication. Moreover, blind beamforming is justified via field tests and simulations. In particular, as shown in our field tests at 2.6 GHz, our method yields up to 17 dB SNR boost; to the best of our knowledge, this is the first time that the use of multiple IRSs gets verified in the real world.

preprint2024arXiv

Plug-in Diffusion Model for Sequential Recommendation

Pioneering efforts have verified the effectiveness of the diffusion models in exploring the informative uncertainty for recommendation. Considering the difference between recommendation and image synthesis tasks, existing methods have undertaken tailored refinements to the diffusion and reverse process. However, these approaches typically use the highest-score item in corpus for user interest prediction, leading to the ignorance of the user's generalized preference contained within other items, thereby remaining constrained by the data sparsity issue. To address this issue, this paper presents a novel Plug-in Diffusion Model for Recommendation (PDRec) framework, which employs the diffusion model as a flexible plugin to jointly take full advantage of the diffusion-generating user preferences on all items. Specifically, PDRec first infers the users' dynamic preferences on all items via a time-interval diffusion model and proposes a Historical Behavior Reweighting (HBR) mechanism to identify the high-quality behaviors and suppress noisy behaviors. In addition to the observed items, PDRec proposes a Diffusion-based Positive Augmentation (DPA) strategy to leverage the top-ranked unobserved items as the potential positive samples, bringing in informative and diverse soft signals to alleviate data sparsity. To alleviate the false negative sampling issue, PDRec employs Noise-free Negative Sampling (NNS) to select stable negative samples for ensuring effective model optimization. Extensive experiments and analyses on four datasets have verified the superiority of the proposed PDRec over the state-of-the-art baselines and showcased the universality of PDRec as a flexible plugin for commonly-used sequential encoders in different recommendation scenarios. The code is available in https://github.com/hulkima/PDRec.

preprint2024arXiv

Rectangular carbon nitrides C4N monolayers with a zigzag buckled structure: Quasi-one-dimensional Dirac nodal lines and topological flat edge states

Due to the flexibility of C and N atoms in forming different types of bonds, the prediction of new two-dimensional (2D) carbon nitrides is a hot topic in the field of carbon-based materials. Using first-principles calculations, we propose two C4N monolayers with a zigzag buckled (ZB) structure. The ZB C4N monolayers contain raised-C (raised-N) atoms with sp3 hybridization, different from the traditional 2D graphene-like carbon nitride materials with sp2 hybridization. Interestingly, the band structures of the ZB C4N monolayers exhibit quasi-one-dimensional (quasi-1D) Dirac nodal line that results from the corresponding quasi-1D structure of the zigzag carbon chains, which is essentially different from the more common ring-shaped nodal line. The quasi-1D Dirac nodal line exhibits the following features: (i) gapless Dirac points, (ii) varying Fermi velocity, and (iii) slightly curved band along the high-symmetry path. All these features are successfully explained by our proposed tight-binding model that includes interactions up to the third nearest-neighbor. The Fermi velocity of the 2D system can reach 105 m/s, which is promising for applications in high-speed electronic devices. The topological flat band structure determined by the Zak phase and band inversion of the corresponding 1D system is edge-dependent, which is corresponding to the Su-Schrieffer-Heeger model, providing to rich physical phenomena.

preprint2023arXiv

A Large-Scale Outdoor Multi-modal Dataset and Benchmark for Novel View Synthesis and Implicit Scene Reconstruction

Neural Radiance Fields (NeRF) has achieved impressive results in single object scene reconstruction and novel view synthesis, which have been demonstrated on many single modality and single object focused indoor scene datasets like DTU, BMVS, and NeRF Synthetic.However, the study of NeRF on large-scale outdoor scene reconstruction is still limited, as there is no unified outdoor scene dataset for large-scale NeRF evaluation due to expensive data acquisition and calibration costs. In this paper, we propose a large-scale outdoor multi-modal dataset, OMMO dataset, containing complex land objects and scenes with calibrated images, point clouds and prompt annotations. Meanwhile, a new benchmark for several outdoor NeRF-based tasks is established, such as novel view synthesis, surface reconstruction, and multi-modal NeRF. To create the dataset, we capture and collect a large number of real fly-view videos and select high-quality and high-resolution clips from them. Then we design a quality review module to refine images, remove low-quality frames and fail-to-calibrate scenes through a learning-based automatic evaluation plus manual review. Finally, a number of volunteers are employed to add the text descriptions for each scene and key-frame to meet the potential multi-modal requirements in the future. Compared with existing NeRF datasets, our dataset contains abundant real-world urban and natural scenes with various scales, camera trajectories, and lighting conditions. Experiments show that our dataset can benchmark most state-of-the-art NeRF methods on different tasks. We will release the dataset and model weights very soon.

preprint2023arXiv

End-to-End 3D Dense Captioning with Vote2Cap-DETR

3D dense captioning aims to generate multiple captions localized with their associated object regions. Existing methods follow a sophisticated ``detect-then-describe'' pipeline equipped with numerous hand-crafted components. However, these hand-crafted components would yield suboptimal performance given cluttered object spatial and class distributions among different scenes. In this paper, we propose a simple-yet-effective transformer framework Vote2Cap-DETR based on recent popular \textbf{DE}tection \textbf{TR}ansformer (DETR). Compared with prior arts, our framework has several appealing advantages: 1) Without resorting to numerous hand-crafted components, our method is based on a full transformer encoder-decoder architecture with a learnable vote query driven object decoder, and a caption decoder that produces the dense captions in a set-prediction manner. 2) In contrast to the two-stage scheme, our method can perform detection and captioning in one-stage. 3) Without bells and whistles, extensive experiments on two commonly used datasets, ScanRefer and Nr3D, demonstrate that our Vote2Cap-DETR surpasses current state-of-the-arts by 11.13\% and 7.11\% in CIDEr@0.5IoU, respectively. Codes will be released soon.

preprint2023arXiv

Forward-backward stochastic differential equations on tensor fields and application to Navier-Stokes equations on Riemannian manifolds

In this paper we introduce a class of forward-backward stochastic differential equations on tensor fields of Riemannian manifolds, which are related to semi-linear parabolic partial differential equations on tensor fields. Moreover, we will use these forward-backward stochastic differential equations to give a stochastic characterization of incompressible Navier-Stokes equations on Riemannian manifolds, where some extra conditions used in [22] are not required.

preprint2022arXiv

A vector magnetometer based on a single spin-orbit torque anomalous Hall device

In many applications, the ability to measure the vector information of a magnetic field with high spatial resolution and low cost is essential, but it is still a challenge for existing magnetometers composed of multiple sensors. Here, we report a single-device based vector magnetometer, which is enabled by spin-orbit torque, capable of measuring a vector magnetic field using the harmonic Hall resistances of a superparamagnetic ferromagnet (FM)/heavy metal (HM) bilayer. Under an ac driving current, the first and second harmonic Hall resistances of the FM/HM bilayer show a linear relationship with the vertical and longitudinal component (along the current direction) of the magnetic field, respectively. By employing a L-shaped Hall device with two orthogonal arms, we can measure all the three field components simultaneously, so as to detect both the amplitude and direction of magnetic field in a three-dimensional space. As proof of concepts, we demonstrate both angular position sensing on the three coordinate planes and vector mapping of magnetic field generated by a permanent magnet, both of which are in good agreement with the simulation results. Crosstalk between vertical and longitudinal field components at large field is discussed using theoretical models.

preprint2022arXiv

An Empirical Investigation of Representation Learning for Imitation

Imitation learning often needs a large demonstration set in order to handle the full range of situations that an agent might find itself in during deployment. However, collecting expert demonstrations can be expensive. Recent work in vision, reinforcement learning, and NLP has shown that auxiliary representation learning objectives can reduce the need for large amounts of expensive, task-specific data. Our Empirical Investigation of Representation Learning for Imitation (EIRLI) investigates whether similar benefits apply to imitation learning. We propose a modular framework for constructing representation learning algorithms, then use our framework to evaluate the utility of representation learning for imitation across several environment suites. In the settings we evaluate, we find that existing algorithms for image-based representation learning provide limited value relative to a well-tuned baseline with image augmentations. To explain this result, we investigate differences between imitation learning and other settings where representation learning has provided significant benefit, such as image classification. Finally, we release a well-documented codebase which both replicates our findings and provides a modular framework for creating new representation learning algorithms out of reusable components.

preprint2022arXiv

Arch-Graph: Acyclic Architecture Relation Predictor for Task-Transferable Neural Architecture Search

Neural Architecture Search (NAS) aims to find efficient models for multiple tasks. Beyond seeking solutions for a single task, there are surging interests in transferring network design knowledge across multiple tasks. In this line of research, effectively modeling task correlations is vital yet highly neglected. Therefore, we propose \textbf{Arch-Graph}, a transferable NAS method that predicts task-specific optimal architectures with respect to given task embeddings. It leverages correlations across multiple tasks by using their embeddings as a part of the predictor's input for fast adaptation. We also formulate NAS as an architecture relation graph prediction problem, with the relational graph constructed by treating candidate architectures as nodes and their pairwise relations as edges. To enforce some basic properties such as acyclicity in the relational graph, we add additional constraints to the optimization process, converting NAS into the problem of finding a Maximal Weighted Acyclic Subgraph (MWAS). Our algorithm then strives to eliminate cycles and only establish edges in the graph if the rank results can be trusted. Through MWAS, Arch-Graph can effectively rank candidate models for each task with only a small budget to finetune the predictor. With extensive experiments on TransNAS-Bench-101, we show Arch-Graph's transferability and high sample efficiency across numerous tasks, beating many NAS methods designed for both single-task and multi-task search. It is able to find top 0.16\% and 0.29\% architectures on average on two search spaces under the budget of only 50 models.

preprint2022arXiv

CenGCN: Centralized Convolutional Networks with Vertex Imbalance for Scale-Free Graphs

Graph Convolutional Networks (GCNs) have achieved impressive performance in a wide variety of areas, attracting considerable attention. The core step of GCNs is the information-passing framework that considers all information from neighbors to the central vertex to be equally important. Such equal importance, however, is inadequate for scale-free networks, where hub vertices propagate more dominant information due to vertex imbalance. In this paper, we propose a novel centrality-based framework named CenGCN to address the inequality of information. This framework first quantifies the similarity between hub vertices and their neighbors by label propagation with hub vertices. Based on this similarity and centrality indices, the framework transforms the graph by increasing or decreasing the weights of edges connecting hub vertices and adding self-connections to vertices. In each non-output layer of the GCN, this framework uses a hub attention mechanism to assign new weights to connected non-hub vertices based on their common information with hub vertices. We present two variants CenGCN\_D and CenGCN\_E, based on degree centrality and eigenvector centrality, respectively. We also conduct comprehensive experiments, including vertex classification, link prediction, vertex clustering, and network visualization. The results demonstrate that the two variants significantly outperform state-of-the-art baselines.

preprint2022arXiv

Contrastive Deep Supervision

The success of deep learning is usually accompanied by the growth in neural network depth. However, the traditional training method only supervises the neural network at its last layer and propagates the supervision layer-by-layer, which leads to hardship in optimizing the intermediate layers. Recently, deep supervision has been proposed to add auxiliary classifiers to the intermediate layers of deep neural networks. By optimizing these auxiliary classifiers with the supervised task loss, the supervision can be applied to the shallow layers directly. However, deep supervision conflicts with the well-known observation that the shallow layers learn low-level features instead of task-biased high-level semantic features. To address this issue, this paper proposes a novel training framework named Contrastive Deep Supervision, which supervises the intermediate layers with augmentation-based contrastive learning. Experimental results on nine popular datasets with eleven models demonstrate its effects on general image classification, fine-grained image classification and object detection in supervised learning, semi-supervised learning and knowledge distillation. Codes have been released in Github.

preprint2022arXiv

Direct reconstruction of tissue conductivity with deconvolution in magneto-acousto-electrical tomography (MAET): theory and numerical simulation

Magneto-acousto-electrical tomography (MAET), a combination of ultrasound imaging and electrical impedance tomography (EIT), offers both high resolution (in comparison to EIT) and high contrast (in comparison to ultrasound imaging). It is used to map the internal conductivity distribution of an imaging object. However, conductivity reconstruction in MAET is a challenge, so conventional MAET is mainly devoted to mapping the conductivity interface. This is primarily because integration byparts is used in the theory derivation, and the simplified measurement formula suggests the voltage is proportional to the conductivity gradient, which leads to an error in the measurement formula. In this study, the measurement signal is expressed as the convolution of acoustic velocity and conductivity distribution without using integration by parts, which retains the low-frequency term in the measurement signal. Based on the convolution formula, we subsequently propose a direct conductivity reconstruction scheme with deconvolution by utilizing the low-frequency component. We verify the proposed method based on two two-dimension models and quantify the L2 errors of reconstructed conductivity. Besides, we analyze factors influencing the reconstructed accuracy such as reconstructed regularization parameter ultrasound frequency, and noise. We also demonstrate that the spatial resolution is not influenced by the duration of excitation ultrasound. With the contributions of the proposed method, conductivity imaging appears to be feasible for application to the early diagnosis in the future.

preprint2022arXiv

Exploiting dynamic nonlinearity in upconversion nanoparticles for super-resolution imaging

Single-beam super-resolution microscopy, also known as superlinear microscopy, exploits the nonlinear response of fluorescent probes in confocal microscopy. The technique requires no complex purpose-built system, light field modulation, or beam shaping. Here, we present a strategy to enhance spatial resolution of superlinear microscopy by modulating excitation intensity during image acquisition. This modulation induces dynamic optical nonlinearity in upconversion nanoparticles (UCNPs), resulting in variations of higher spatial-frequency information in the obtained images. The high-order information can be extracted with a proposed weighted finite difference imaging algorithm from raw fluorescence images, to generate an image with a higher resolution than superlinear microscopy images. We apply this approach to resolve two adjacent nanoparticles within a diffraction-limited area, improving the resolution to 130 nm. This work suggests a new scope for developing dynamic nonlinear fluorescent probes in super-resolution nanoscopy.

preprint2022arXiv

GPS: A Policy-driven Sampling Approach for Graph Representation Learning

Graph representation learning has drawn increasing attention in recent years, especially for learning the low dimensional embedding at both node and graph level for classification and recommendations tasks. To enable learning the representation on the large-scale graph data in the real world, numerous research has focused on developing different sampling strategies to facilitate the training process. Herein, we propose an adaptive Graph Policy-driven Sampling model (GPS), where the influence of each node in the local neighborhood is realized through the adaptive correlation calculation. Specifically, the selections of the neighbors are guided by an adaptive policy algorithm, contributing directly to the message aggregation, node embedding updating, and graph level readout steps. We then conduct comprehensive experiments against baseline methods on graph classification tasks from various perspectives. Our proposed model outperforms the existing ones by 3%-8% on several vital benchmarks, achieving state-of-the-art performance in real-world datasets.

preprint2022arXiv

Hybrid CNN Based Attention with Category Prior for User Image Behavior Modeling

User historical behaviors are proved useful for Click Through Rate (CTR) prediction in online advertising system. In Meituan, one of the largest e-commerce platform in China, an item is typically displayed with its image and whether a user clicks the item or not is usually influenced by its image, which implies that user's image behaviors are helpful for understanding user's visual preference and improving the accuracy of CTR prediction. Existing user image behavior models typically use a two-stage architecture, which extracts visual embeddings of images through off-the-shelf Convolutional Neural Networks (CNNs) in the first stage, and then jointly trains a CTR model with those visual embeddings and non-visual features. We find that the two-stage architecture is sub-optimal for CTR prediction. Meanwhile, precisely labeled categories in online ad systems contain abundant visual prior information, which can enhance the modeling of user image behaviors. However, off-the-shelf CNNs without category prior may extract category unrelated features, limiting CNN's expression ability. To address the two issues, we propose a hybrid CNN based attention module, unifying user's image behaviors and category prior, for CTR prediction. Our approach achieves significant improvements in both online and offline experiments on a billion scale real serving dataset.

preprint2022arXiv

Improve Single-Point Zeroth-Order Optimization Using High-Pass and Low-Pass Filters

Single-point zeroth-order optimization (SZO) is useful in solving online black-box optimization and control problems in time-varying environments, as it queries the function value only once at each time step. However, the vanilla SZO method is known to suffer from a large estimation variance and slow convergence, which seriously limits its practical application. In this work, we borrow the idea of high-pass and low-pass filters from extremum seeking control (continuous-time version of SZO) and develop a novel SZO method called HLF-SZO by integrating these filters. It turns out that the high-pass filter coincides with the residual feedback method, and the low-pass filter can be interpreted as the momentum method. As a result, the proposed HLF-SZO achieves a much smaller variance and much faster convergence than the vanilla SZO method and empirically outperforms the residual-feedback SZO method, which is verified via extensive numerical experiments.

preprint2022arXiv

Model-Free Feedback Constrained Optimization Via Projected Primal-Dual Zeroth-Order Dynamics

In this paper, we propose a model-free feedback solution method to solve generic constrained optimization problems, without knowing the specific formulations of the objective and constraint functions. This solution method is termed projected primal-dual zeroth-order dynamics (P-PDZD) and is developed based on projected primal-dual gradient dynamics and extremum seeking control. In particular, the P-PDZD method can be interpreted as a model-free controller that autonomously drives an unknown system to the solution of the optimization problem using only output feedback. The P-PDZD can properly handle both the hard and asymptotic constraints, and we develop the decentralized version of P-PDZD when applied to multi-agent systems. Moreover, we prove that the P-PDZD achieves semi-global practical asymptotic stability and structural robustness. We then apply the decentralized P-PDZD to the optimal voltage control problem in power distribution systems with square probing signals, and the simulation results verified the optimality, robustness, and adaptivity of the P-PDZD method.

preprint2022arXiv

Multi-view Multi-behavior Contrastive Learning in Recommendation

Multi-behavior recommendation (MBR) aims to jointly consider multiple behaviors to improve the target behavior's performance. We argue that MBR models should: (1) model the coarse-grained commonalities between different behaviors of a user, (2) consider both individual sequence view and global graph view in multi-behavior modeling, and (3) capture the fine-grained differences between multiple behaviors of a user. In this work, we propose a novel Multi-behavior Multi-view Contrastive Learning Recommendation (MMCLR) framework, including three new CL tasks to solve the above challenges, respectively. The multi-behavior CL aims to make different user single-behavior representations of the same user in each view to be similar. The multi-view CL attempts to bridge the gap between a user's sequence-view and graph-view representations. The behavior distinction CL focuses on modeling fine-grained differences of different behaviors. In experiments, we conduct extensive evaluations and ablation tests to verify the effectiveness of MMCLR and various CL tasks on two real-world datasets, achieving SOTA performance over existing baselines. Our code will be available on \url{https://github.com/wyqing20/MMCLR}

preprint2022arXiv

Physical layer security in large-scale random multiple access wireless sensor networks: a stochastic geometry approach

This paper investigates physical layer security for a large-scale WSN with random multiple access, where each fusion center in the network randomly schedules a number of sensors to upload their sensed data subject to the overhearing of randomly distributed eavesdroppers. We propose an uncoordinated random jamming scheme in which those unscheduled sensors send jamming signals with a certain probability to defeat the eavesdroppers. With the aid of stochastic geometry theory and order statistics, we derive analytical expressions for the connection outage probability and secrecy outage probability to characterize transmission reliability and secrecy, respectively. Based on the obtained analytical results, we formulate an optimization problem for maximizing the sum secrecy throughput subject to both reliability and secrecy constraints, considering a joint design of the wiretap code rates for each scheduled sensor and the jamming probability for the unscheduled sensors. We provide both optimal and low-complexity sub-optimal algorithms to tackle the above problem, and further reveal various properties on the optimal parameters which are useful to guide practical designs. In particular, we demonstrate that the proposed random jamming scheme is beneficial for improving the sum secrecy throughput, and the optimal jamming probability is the result of trade-off between secrecy and throughput. We also show that the throughput performance of the sub-optimal scheme approaches that of the optimal one when facing a stringent reliability constraint or a loose secrecy constraint.

preprint2022arXiv

Pruning-as-Search: Efficient Neural Architecture Search via Channel Pruning and Structural Reparameterization

Neural architecture search (NAS) and network pruning are widely studied efficient AI techniques, but not yet perfect. NAS performs exhaustive candidate architecture search, incurring tremendous search cost. Though (structured) pruning can simply shrink model dimension, it remains unclear how to decide the per-layer sparsity automatically and optimally. In this work, we revisit the problem of layer-width optimization and propose Pruning-as-Search (PaS), an end-to-end channel pruning method to search out desired sub-network automatically and efficiently. Specifically, we add a depth-wise binary convolution to learn pruning policies directly through gradient descent. By combining the structural reparameterization and PaS, we successfully searched out a new family of VGG-like and lightweight networks, which enable the flexibility of arbitrary width with respect to each layer instead of each stage. Experimental results show that our proposed architecture outperforms prior arts by around $1.0\%$ top-1 accuracy under similar inference speed on ImageNet-1000 classification task. Furthermore, we demonstrate the effectiveness of our width search on complex tasks including instance segmentation and image translation. Code and models are released.

preprint2022arXiv

Region-aware Knowledge Distillation for Efficient Image-to-Image Translation

Recent progress in image-to-image translation has witnessed the success of generative adversarial networks (GANs). However, GANs usually contain a huge number of parameters, which lead to intolerant memory and computation consumption and limit their deployment on edge devices. To address this issue, knowledge distillation is proposed to transfer the knowledge from a cumbersome teacher model to an efficient student model. However, most previous knowledge distillation methods are designed for image classification and lead to limited performance in image-to-image translation. In this paper, we propose Region-aware Knowledge Distillation ReKo to compress image-to-image translation models. Firstly, ReKo adaptively finds the crucial regions in the images with an attention module. Then, patch-wise contrastive learning is adopted to maximize the mutual information between students and teachers in these crucial regions. Experiments with eight comparison methods on nine datasets demonstrate the substantial effectiveness of ReKo on both paired and unpaired image-to-image translation. For instance, our 7.08X compressed and 6.80X accelerated CycleGAN student outperforms its teacher by 1.33 and 1.04 FID scores on Horse to Zebra and Zebra to Horse, respectively. Codes will be released on GitHub.

preprint2022arXiv

Reinforcement Learning for Selective Key Applications in Power Systems: Recent Advances and Future Challenges

With large-scale integration of renewable generation and distributed energy resources, modern power systems are confronted with new operational challenges, such as growing complexity, increasing uncertainty, and aggravating volatility. Meanwhile, more and more data are becoming available owing to the widespread deployment of smart meters, smart sensors, and upgraded communication networks. As a result, data-driven control techniques, especially reinforcement learning (RL), have attracted surging attention in recent years. This paper provides a comprehensive review of various RL techniques and how they can be applied to decision-making and control in power systems. In particular, we select three key applications, i.e., frequency regulation, voltage control, and energy management, as examples to illustrate RL-based models and solutions. We then present the critical issues in the application of RL, i.e., safety, robustness, scalability, and data. Several potential future directions are discussed as well.

preprint2022arXiv

Remaining Useful Life Prediction Using Temporal Deep Degradation Network for Complex Machinery with Attention-based Feature Extraction

The precise estimate of remaining useful life (RUL) is vital for the prognostic analysis and predictive maintenance that can significantly reduce failure rate and maintenance costs. The degradation-related features extracted from the sensor streaming data with neural networks can dramatically improve the accuracy of the RUL prediction. The Temporal deep degradation network (TDDN) model is proposed to make the RUL prediction with the degradation-related features given by the one-dimensional convolutional neural network (1D CNN) feature extraction and attention mechanism. 1D CNN is used to extract the temporal features from the streaming sensor data. Temporal features have monotonic degradation trends from the fluctuating raw sensor streaming data. Attention mechanism can improve the RUL prediction performance by capturing the fault characteristics and the degradation development with the attention weights. The performance of the TDDN model is evaluated on the public C-MAPSS dataset and compared with the existing methods. The results show that the TDDN model can achieve the best RUL prediction accuracy in complex conditions compared to current machine learning models. The degradation-related features extracted from the high-dimension sensor streaming data demonstrate the clear degradation trajectories and degradation stages that enable TDDN to predict the turbofan-engine RUL accurately and efficiently.

preprint2022arXiv

RestainNet: a self-supervised digital re-stainer for stain normalization

Color inconsistency is an inevitable challenge in computational pathology, which generally happens because of stain intensity variations or sections scanned by different scanners. It harms the pathological image analysis methods, especially the learning-based models. A series of approaches have been proposed for stain normalization. However, most of them are lack flexibility in practice. In this paper, we formulated stain normalization as a digital re-staining process and proposed a self-supervised learning model, which is called RestainNet. Our network is regarded as a digital restainer which learns how to re-stain an unstained (grayscale) image. Two digital stains, Hematoxylin (H) and Eosin (E) were extracted from the original image by Beer-Lambert's Law. We proposed a staining loss to maintain the correctness of stain intensity during the restaining process. Thanks to the self-supervised nature, paired training samples are no longer necessary, which demonstrates great flexibility in practical usage. Our RestainNet outperforms existing approaches and achieves state-of-the-art performance with regard to color correctness and structure preservation. We further conducted experiments on the segmentation and classification tasks and the proposed RestainNet achieved outstanding performance compared with SOTA methods. The self-supervised design allows the network to learn any staining style with no extra effort.

preprint2022arXiv

The tracking detector of the FASER experiment

FASER is a new experiment designed to search for new light weakly-interacting long-lived particles (LLPs) and study high-energy neutrino interactions in the very forward region of the LHC collisions at CERN. The experimental apparatus is situated 480 m downstream of the ATLAS interaction-point aligned with the beam collision axis. The FASER detector includes four identical tracker stations constructed from silicon microstrip detectors. Three of the tracker stations form a tracking spectrometer, and enable FASER to detect the decay products of LLPs decaying inside the apparatus, whereas the fourth station is used for the neutrino analysis. The spectrometer has been installed in the LHC complex since March 2021, while the fourth station is not yet installed. FASER will start physics data taking when the LHC resumes operation in early 2022. This paper describes the design, construction and testing of the tracking spectrometer, including the associated components such as the mechanics, readout electronics, power supplies and cooling system.

preprint2022arXiv

The trigger and data acquisition system of the FASER experiment

The FASER experiment is a new small and inexpensive experiment that is placed 480 meters downstream of the ATLAS experiment at the CERN LHC. FASER is designed to capture decays of new long-lived particles, produced outside of the ATLAS detector acceptance. These rare particles can decay in the FASER detector together with about 500-1000 Hz of other particles originating from the ATLAS interaction point. A very high efficiency trigger and data acquisition system is required to ensure that the physics events of interest will be recorded. This paper describes the trigger and data acquisition system of the FASER experiment and presents performance results of the system acquired during initial commissioning.

preprint2022arXiv

The Waiting-Time Distribution for Network Partitions in Cascading Failures in Power Networks

Network redundancy is one of the spatial network structural properties critical to robustness against cascading failures in power networks. The waiting-time distributions for network partitions in cascading failures explain how the spatial network structures affect the cascading behaviors. Two waiting time events associated with the first and largest network partitions are studied for cascading failures under different network redundancies. With the synthetic power networks, the waiting-time distributions of network partitions can be systematically analyzed for various network redundancies. Waiting-time distributions shift to the right accordingly when network redundancies increase. Meanwhile, the sizes of the largest partitions decrease while the numbers of them increase statistically. The realistic power networks of France, Texas, and Poland also show the same trend for waiting-time distributions.

preprint2022arXiv

Two-Stream UNET Networks for Semantic Segmentation in Medical Images

Recent advances of semantic image segmentation greatly benefit from deeper and larger Convolutional Neural Network (CNN) models. Compared to image segmentation in the wild, properties of both medical images themselves and of existing medical datasets hinder training deeper and larger models because of overfitting. To this end, we propose a novel two-stream UNET architecture for automatic end-to-end medical image segmentation, in which intensity value and gradient vector flow (GVF) are two inputs for each stream, respectively. We demonstrate that two-stream CNNs with more low-level features greatly benefit semantic segmentation for imperfect medical image datasets. Our proposed two-stream networks are trained and evaluated on the popular medical image segmentation benchmarks, and the results are competitive with the state of the art. The code will be released soon.

preprint2022arXiv

Wavelet Knowledge Distillation: Towards Efficient Image-to-Image Translation

Remarkable achievements have been attained with Generative Adversarial Networks (GANs) in image-to-image translation. However, due to a tremendous amount of parameters, state-of-the-art GANs usually suffer from low efficiency and bulky memory usage. To tackle this challenge, firstly, this paper investigates GANs performance from a frequency perspective. The results show that GANs, especially small GANs lack the ability to generate high-quality high frequency information. To address this problem, we propose a novel knowledge distillation method referred to as wavelet knowledge distillation. Instead of directly distilling the generated images of teachers, wavelet knowledge distillation first decomposes the images into different frequency bands with discrete wavelet transformation and then only distills the high frequency bands. As a result, the student GAN can pay more attention to its learning on high frequency bands. Experiments demonstrate that our method leads to 7.08 times compression and 6.80 times acceleration on CycleGAN with almost no performance drop. Additionally, we have studied the relation between discriminators and generators which shows that the compression of discriminators can promote the performance of compressed generators.

preprint2022arXiv

WSSS4LUAD: Grand Challenge on Weakly-supervised Tissue Semantic Segmentation for Lung Adenocarcinoma

Lung cancer is the leading cause of cancer death worldwide, and adenocarcinoma (LUAD) is the most common subtype. Exploiting the potential value of the histopathology images can promote precision medicine in oncology. Tissue segmentation is the basic upstream task of histopathology image analysis. Existing deep learning models have achieved superior segmentation performance but require sufficient pixel-level annotations, which is time-consuming and expensive. To enrich the label resources of LUAD and to alleviate the annotation efforts, we organize this challenge WSSS4LUAD to call for the outstanding weakly-supervised semantic segmentation (WSSS) techniques for histopathology images of LUAD. Participants have to design the algorithm to segment tumor epithelial, tumor-associated stroma and normal tissue with only patch-level labels. This challenge includes 10,091 patch-level annotations (the training set) and over 130 million labeled pixels (the validation and test sets), from 87 WSIs (67 from GDPH, 20 from TCGA). All the labels were generated by a pathologist-in-the-loop pipeline with the help of AI models and checked by the label review board. Among 532 registrations, 28 teams submitted the results in the test phase with over 1,000 submissions. Finally, the first place team achieved mIoU of 0.8413 (tumor: 0.8389, stroma: 0.7931, normal: 0.8919). According to the technical reports of the top-tier teams, CAM is still the most popular approach in WSSS. Cutmix data augmentation has been widely adopted to generate more reliable samples. With the success of this challenge, we believe that WSSS approaches with patch-level annotations can be a complement to the traditional pixel annotations while reducing the annotation efforts. The entire dataset has been released to encourage more researches on computational pathology in LUAD and more novel WSSS techniques.

preprint2021arXiv

Configuring Intelligent Reflecting Surface with Performance Guarantees: Optimal Beamforming

This work proposes linear time strategies to optimally configure the phase shifts for the reflective elements of an intelligent reflecting surface (IRS). Specifically, we show that the binary phase beamforming can be optimally solved in linear time to maximize the received signal-to-noise ratio (SNR). For the general K-ary phase beamforming, we develop a linear time approximation algorithm that guarantees performance within a constant fraction (1+\cos(π/K))/2 of the global optimum, e.g., it can attain over 85% of the optimal performance for the quadrature beamforming with K=4. According to the numerical results, the proposed approximation algorithm for discrete IRS beamforming outperforms the existing algorithms significantly in boosting the received SNR.

preprint2021arXiv

Ferromagnetism with in-plane magnetization, Dirac spin-gapless semiconducting property, and tunable topological states in two-dimensional rare-earth-metal dinitrides

As the bulk single-crystal MoN2/ReN2 with a layered structure was successfully synthesized in experiment, transition-metal dinitrides have attracted considerable attention in recent years. Here, we focus on rare-earth-metal (Rem) elements and propose seven stable Rem dinitride monolayers with a 1T structure, namely 1T-RemN2. These monolayers have a ferromagnetic ground state with in-plane magnetization. Without spin-orbit coupling (SOC) effect, the band structures are spin-polarized with Dirac points at the Fermi level. Remarkably, the 1T-LuN2 monolayer shows an isotropic magnetic anisotropy energy in the xy-plane with in-plane magnetization, indicating easy tunability of the magnetization direction. When rotating the magnetization vector in the xy-plane, our proposed model can accurately describe the variety of the SOC band gap and two topological states (Weyl-like semimetal and Chern insulator states) appear with tunable properties. The Weyl-like semimetal state is a critical point between the two Chern insulator states with opposite sign of the Chern numbers. The large nontrivial band gap (up to 60.3 meV) and the Weyl-like semimetal state are promising for applications in spintronic devices.

preprint2021arXiv

MM Algorithms for Distance Covariance based Sufficient Dimension Reduction and Sufficient Variable Selection

Sufficient dimension reduction (SDR) using distance covariance (DCOV) was recently proposed as an approach to dimension-reduction problems. Compared with other SDR methods, it is model-free without estimating link function and does not require any particular distributions on predictors (see Sheng and Yin, 2013, 2016). However, the DCOV-based SDR method involves optimizing a nonsmooth and nonconvex objective function over the Stiefel manifold. To tackle the numerical challenge, we novelly formulate the original objective function equivalently into a DC (Difference of Convex functions) program and construct an iterative algorithm based on the majorization-minimization (MM) principle. At each step of the MM algorithm, we inexactly solve the quadratic subproblem on the Stiefel manifold by taking one iteration of Riemannian Newton's method. The algorithm can also be readily extended to sufficient variable selection (SVS) using distance covariance. We establish the convergence property of the proposed algorithm under some regularity conditions. Simulation studies show our algorithm drastically improves the computation efficiency and is robust across various settings compared with the existing method. Supplemental materials for this article are available.

preprint2021arXiv

Object SLAM-Based Active Mapping and Robotic Grasping

This paper presents the first active object mapping framework for complex robotic manipulation and autonomous perception tasks. The framework is built on an object SLAM system integrated with a simultaneous multi-object pose estimation process that is optimized for robotic grasping. Aiming to reduce the observation uncertainty on target objects and increase their pose estimation accuracy, we also design an object-driven exploration strategy to guide the object mapping process, enabling autonomous mapping and high-level perception. Combining the mapping module and the exploration strategy, an accurate object map that is compatible with robotic grasping can be generated. Additionally, quantitative evaluations also indicate that the proposed framework has a very high mapping accuracy. Experiments with manipulation (including object grasping and placement) and augmented reality significantly demonstrate the effectiveness and advantages of our proposed framework.

preprint2021arXiv

Optimal Clustering in Anisotropic Gaussian Mixture Models

We study the clustering task under anisotropic Gaussian Mixture Models where the covariance matrices from different clusters are unknown and are not necessarily the identical matrix. We characterize the dependence of signal-to-noise ratios on the cluster centers and covariance matrices and obtain the minimax lower bound for the clustering problem. In addition, we propose a computationally feasible procedure and prove it achieves the optimal rate within a few iterations. The proposed procedure is a hard EM type algorithm, and it can also be seen as a variant of the Lloyd's algorithm that is adjusted to the anisotropic covariance matrices.

preprint2021arXiv

Search for dark photon and dark matter signatures around electron-positron colliders

The search for a dark photon produced at $e^{+}e^{-}$ colliders which subsequently decays into inelastic dark matter particles, is discussed. The heavier dark matter decays into a pair of visible charged particles and a lighter dark matter particle after traveling some distance. The visible decay products can be recorded by a dark matter detector made of emulsions and gas detectors, placed near the main $e^{+}e^{-}$ detector. This setup can not only explore new parameter regions not reached before, but also re-open some regions thought to be excluded by previous experimental data. The physics potential for such a detector around BESIII and Belle II is presented.

preprint2021arXiv

Tristable flow states and reversal of the large-scale circulation in two-dimensional circular convection cells

We present a numerical study of the flow states and reversals of the large-scale circulation (LSC) in a two-dimensional circular Rayleigh-Bénard cell. Long-time direct numerical simulations are carried out in the Rayleigh number ($Ra$) range $10^{7} \le Ra \le 10^{8}$ and Prandtl number ($Pr$) range $2.0 \le Pr \le 20.0$. We found that a new, long-lived, chaotic flow state exists, in addition to the commonly observed circulation states (the LSC in the clockwise and counterclockwise directions). The circulation states consist of one primary roll in the middle and two secondary rolls near the top and bottom circular walls. The primary roll becomes stronger and larger, while the two secondary rolls diminish, with increasing $Ra$. Our results suggest that the reversal of the LSC is accompanied by the secondary rolls growing, breaking the primary roll and then connecting to form a new primary roll with reversed direction. We mapped out the phase diagram of the existence of the LSC and the reversal in the $Ra$-$Pr$ space, which reveals that the flow is in the circulation states when $Ra$ is large and $Pr$ is small. The reversal of the LSC can only occur in a limited $Pr$ range. The phase diagram can be understood in terms of competition between the thermal and viscous diffusions. We also found that the internal flow states manifested themselves into global properties such as Nusselt and Reynolds numbers.

preprint2020arXiv

A generic ensemble based deep convolutional neural network for semi-supervised medical image segmentation

Deep learning based image segmentation has achieved the state-of-the-art performance in many medical applications such as lesion quantification, organ detection, etc. However, most of the methods rely on supervised learning, which require a large set of high-quality labeled data. Data annotation is generally an extremely time-consuming process. To address this problem, we propose a generic semi-supervised learning framework for image segmentation based on a deep convolutional neural network (DCNN). An encoder-decoder based DCNN is initially trained using a few annotated training samples. This initially trained model is then copied into sub-models and improved iteratively using random subsets of unlabeled data with pseudo labels generated from models trained in the previous iteration. The number of sub-models is gradually decreased to one in the final iteration. We evaluate the proposed method on a public grand-challenge dataset for skin lesion segmentation. Our method is able to significantly improve beyond fully supervised model learning by incorporating unlabeled data.

preprint2020arXiv

A Novel Meta Learning Framework for Feature Selection using Data Synthesis and Fuzzy Similarity

This paper presents a novel meta learning framework for feature selection (FS) based on fuzzy similarity. The proposed method aims to recommend the best FS method from four candidate FS methods for any given dataset. This is achieved by firstly constructing a large training data repository using data synthesis. Six meta features that represent the characteristics of the training dataset are then extracted. The best FS method for each of the training datasets is used as the meta label. Both the meta features and the corresponding meta labels are subsequently used to train a classification model using a fuzzy similarity measure based framework. Finally the trained model is used to recommend the most suitable FS method for a given unseen dataset. This proposed method was evaluated based on eight public datasets of real-world applications. It successfully recommended the best method for five datasets and the second best method for one dataset, which outperformed any of the four individual FS methods. Besides, the proposed method is computationally efficient for algorithm selection, leading to negligible additional time for the feature selection process. Thus, the paper contributes a novel method for effectively recommending which feature selection method to use for any new given dataset.

preprint2020arXiv

A Novel Weighted Combination Method for Feature Selection using Fuzzy Sets

In this paper, we propose a novel weighted combination feature selection method using bootstrap and fuzzy sets. The proposed method mainly consists of three processes, including fuzzy sets generation using bootstrap, weighted combination of fuzzy sets and feature ranking based on defuzzification. We implemented the proposed method by combining four state-of-the-art feature selection methods and evaluated the performance based on three publicly available biomedical datasets using five-fold cross validation. Based on the feature selection results, our proposed method produced comparable (if not better) classification accuracies to the best of the individual feature selection methods for all evaluated datasets. More importantly, we also applied standard deviation and Pearson's correlation to measure the stability of the methods. Remarkably, our combination method achieved significantly higher stability than the four individual methods when variations and size reductions were introduced to the datasets.

preprint2020arXiv

A Spatially Constrained Deep Convolutional Neural Network for Nerve Fiber Segmentation in Corneal Confocal Microscopic Images using Inaccurate Annotations

Semantic image segmentation is one of the most important tasks in medical image analysis. Most state-of-the-art deep learning methods require a large number of accurately annotated examples for model training. However, accurate annotation is difficult to obtain especially in medical applications. In this paper, we propose a spatially constrained deep convolutional neural network (DCNN) to achieve smooth and robust image segmentation using inaccurately annotated labels for training. In our proposed method, image segmentation is formulated as a graph optimization problem that is solved by a DCNN model learning process. The cost function to be optimized consists of a unary term that is calculated by cross entropy measurement and a pairwise term that is based on enforcing a local label consistency. The proposed method has been evaluated based on corneal confocal microscopic (CCM) images for nerve fiber segmentation, where accurate annotations are extremely difficult to be obtained. Based on both the quantitative result of a synthetic dataset and qualitative assessment of a real dataset, the proposed method has achieved superior performance in producing high quality segmentation results even with inaccurate labels for training.

preprint2020arXiv

Attention Distillation for Learning Video Representations

We address the challenging problem of learning motion representations using deep models for video recognition. To this end, we make use of attention modules that learn to highlight regions in the video and aggregate features for recognition. Specifically, we propose to leverage output attention maps as a vehicle to transfer the learned representation from a motion (flow) network to an RGB network. We systematically study the design of attention modules, and develop a novel method for attention distillation. Our method is evaluated on major action benchmarks, and consistently improves the performance of the baseline RGB network by a significant margin. Moreover, we demonstrate that our attention maps can leverage motion cues in learning to identify the location of actions in video frames. We believe our method provides a step towards learning motion-aware representations in deep models. Our project page is available at https://aptx4869lm.github.io/AttentionDistillation/

preprint2020arXiv

AutoSweep: Recovering 3D Editable Objectsfrom a Single Photograph

This paper presents a fully automatic framework for extracting editable 3D objects directly from a single photograph. Unlike previous methods which recover either depth maps, point clouds, or mesh surfaces, we aim to recover 3D objects with semantic parts and can be directly edited. We base our work on the assumption that most human-made objects are constituted by parts and these parts can be well represented by generalized primitives. Our work makes an attempt towards recovering two types of primitive-shaped objects, namely, generalized cuboids and generalized cylinders. To this end, we build a novel instance-aware segmentation network for accurate part separation. Our GeoNet outputs a set of smooth part-level masks labeled as profiles and bodies. Then in a key stage, we simultaneously identify profile-body relations and recover 3D parts by sweeping the recognized profile along their body contour and jointly optimize the geometry to align with the recovered masks. Qualitative and quantitative experiments show that our algorithm can recover high quality 3D models and outperforms existing methods in both instance segmentation and 3D reconstruction. The dataset and code of AutoSweep are available at https://chenxin.tech/AutoSweep.html.

preprint2020arXiv

Balancing Common Treatment and Epidemic Control in Medical Procurement during COVID-19: Transform-and-Divide Evolutionary Optimization

Balancing common disease treatment and epidemic control is a key objective of medical supplies procurement in hospitals during a pandemic such as COVID-19. This problem can be formulated as a bi-objective optimization problem for simultaneously optimizing the effects of common disease treatment and epidemic control. However, due to the large number of supplies, difficulties in evaluating the effects, and the strict budget constraint, it is difficult for existing evolutionary multiobjective algorithms to efficiently approximate the Pareto front of the problem. In this paper, we present an approach that first transforms the original high-dimensional, constrained multiobjective optimization problem to a low-dimensional, unconstrained multiobjective optimization problem, and then evaluates each solution to the transformed problem by solving a set of simple single-objective optimization subproblems, such that the problem can be efficiently solved by existing evolutionary multiobjective algorithms. We applied the transform-and-divide evolutionary optimization approach to six hospitals in Zhejiang Province, China, during the peak of COVID-19. Results showed that the proposed approach exhibits significantly better performance than that of directly solving the original problem. Our study has also shown that transform-and-divide evolutionary optimization based on problem-specific knowledge can be an efficient solution approach to many other complex problems and, therefore, enlarge the application field of evolutionary algorithms.

preprint2020arXiv

CATCH: Context-based Meta Reinforcement Learning for Transferrable Architecture Search

Neural Architecture Search (NAS) achieved many breakthroughs in recent years. In spite of its remarkable progress, many algorithms are restricted to particular search spaces. They also lack efficient mechanisms to reuse knowledge when confronting multiple tasks. These challenges preclude their applicability, and motivate our proposal of CATCH, a novel Context-bAsed meTa reinforcement learning (RL) algorithm for transferrable arChitecture searcH. The combination of meta-learning and RL allows CATCH to efficiently adapt to new tasks while being agnostic to search spaces. CATCH utilizes a probabilistic encoder to encode task properties into latent context variables, which then guide CATCH's controller to quickly "catch" top-performing networks. The contexts also assist a network evaluator in filtering inferior candidates and speed up learning. Extensive experiments demonstrate CATCH's universality and search efficiency over many other widely-recognized algorithms. It is also capable of handling cross-domain architecture search as competitive networks on ImageNet, COCO, and Cityscapes are identified. This is the first work to our knowledge that proposes an efficient transferrable NAS solution while maintaining robustness across various settings.

preprint2020arXiv

Circumventing Outliers of AutoAugment with Knowledge Distillation

AutoAugment has been a powerful algorithm that improves the accuracy of many vision tasks, yet it is sensitive to the operator space as well as hyper-parameters, and an improper setting may degenerate network optimization. This paper delves deep into the working mechanism, and reveals that AutoAugment may remove part of discriminative information from the training image and so insisting on the ground-truth label is no longer the best option. To relieve the inaccuracy of supervision, we make use of knowledge distillation that refers to the output of a teacher model to guide network training. Experiments are performed in standard image classification benchmarks, and demonstrate the effectiveness of our approach in suppressing noise of data augmentation and stabilizing training. Upon the cooperation of knowledge distillation and AutoAugment, we claim the new state-of-the-art on ImageNet classification with a top-1 accuracy of 85.8%.

preprint2020arXiv

Defect Engineering of Two-dimensional Molybdenum Disulfide

Two-dimensional (2D) molybdenum disulfide (MoS2) holds great promise in electronic and optoelectronic applications owing to its unique structure and intriguing properties. The intrinsic defects such as sulfur vacancies (SVs) of MoS2 nanosheets are found to be detrimental to the device efficiency. To mitigate this problem, functionalization of 2D MoS2 using thiols has emerged as one of the key strategies for engineering defects. Herein, we demonstrate an approach to controllably engineer the SVs of chemically exfoliated MoS2 nanosheets using a series of substituted thiophenols in solution. The degree of functionalization can be tuned by varying the electron withdrawing strength of substituents in thiophenols. We find that the intensity of 2LA(M) peak normalized to A1g peak strongly correlates to the degree of functionalization. Our results provide a spectroscopic indicator to monitor and quantify the defect engineering process. This method of MoS2 defect functionalization in solution also benefits the further exploration of defect free MoS2 for a wide range of applications.

preprint2020arXiv

Detecting and Studying High-Energy Collider Neutrinos with FASER at the LHC

Neutrinos are copiously produced at particle colliders, but no collider neutrino has ever been detected. Colliders, and particularly hadron colliders, produce both neutrinos and anti-neutrinos of all flavors at very high energies, and they are therefore highly complementary to those from other sources. FASER, the recently approved Forward Search Experiment at the Large Hadron Collider, is ideally located to provide the first detection and study of collider neutrinos. We investigate the prospects for neutrino studies of a proposed component of FASER, FASER$ν$, a 25cm x 25cm x 1.35m emulsion detector to be placed directly in front of the FASER spectrometer in tunnel TI12. FASER$ν$ consists of 1000 layers of emulsion films interleaved with 1-mm-thick tungsten plates, with a total tungsten target mass of 1.2 tons. We estimate the neutrino fluxes and interaction rates at FASER$ν$, describe the FASER$ν$ detector, and analyze the characteristics of the signals and primary backgrounds. For an integrated luminosity of 150 fb$^{-1}$ to be collected during Run 3 of the 14 TeV Large Hadron Collider from 2021-23, and assuming standard model cross sections, approximately 1300 electron neutrinos, 20,000 muon neutrinos, and 20 tau neutrinos will interact in FASER$ν$, with mean energies of 600 GeV to 1 TeV, depending on the flavor. With such rates and energies, FASER will measure neutrino cross sections at energies where they are currently unconstrained, will bound models of forward particle production, and could open a new window on physics beyond the standard model.

preprint2020arXiv

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

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

preprint2020arXiv

Direct temporal mode measurement of photon pairs by stimulated emission

It is known that photon pairs generated from pulse-pumped spontaneous parametric processes can be described by independent temporal modes and form a multi-temporal mode entangled state. However, the exact form of the temporal modes is not known even though the joint spectral intensity of photon pairs can be measured by the method of stimulated emission tomography. In this paper, we describe a feedback-iteration method which, combined with the stimulated emission method, can give rise to the exact forms of the independent temporal modes for the temporally entangled photon pairs.

preprint2020arXiv

Distributed Automatic Load-Frequency Control with Optimality in Power Systems

With the increasing penetration of renewable energy resources, power systems face new challenges in balancing power supply and demand and maintaining the nominal frequency. This paper studies load control to handle these challenges. In particular, a fully distributed automatic load control (ALC) algorithm, which only needs local measurement and local communication, is proposed. We prove that the load control algorithm globally converges to an optimal operating point which minimizes the total disutility of users, restores the nominal frequency and the scheduled tie-line power flows, and respects the load capacity limits and the thermal constraints of transmission lines. It is further shown that the asymptotic convergence still holds even when inaccurate system parameters are used in the control algorithm. In addition, the global exponential convergence of the reduced ALC algorithm without considering the capacity limits is proved and leveraged to study the dynamical tracking performance and robustness of the algorithm. Lastly, the effectiveness, optimality, and robustness of the proposed algorithm are demonstrated via numerical simulations.

preprint2020arXiv

DRU-net: An Efficient Deep Convolutional Neural Network for Medical Image Segmentation

Residual network (ResNet) and densely connected network (DenseNet) have significantly improved the training efficiency and performance of deep convolutional neural networks (DCNNs) mainly for object classification tasks. In this paper, we propose an efficient network architecture by considering advantages of both networks. The proposed method is integrated into an encoder-decoder DCNN model for medical image segmentation. Our method adds additional skip connections compared to ResNet but uses significantly fewer model parameters than DenseNet. We evaluate the proposed method on a public dataset (ISIC 2018 grand-challenge) for skin lesion segmentation and a local brain MRI dataset. In comparison with ResNet-based, DenseNet-based and attention network (AttnNet) based methods within the same encoder-decoder network structure, our method achieves significantly higher segmentation accuracy with fewer number of model parameters than DenseNet and AttnNet. The code is available on GitHub (GitHub link: https://github.com/MinaJf/DRU-net).

preprint2020arXiv

FU-net: Multi-class Image Segmentation Using Feedback Weighted U-net

In this paper, we present a generic deep convolutional neural network (DCNN) for multi-class image segmentation. It is based on a well-established supervised end-to-end DCNN model, known as U-net. U-net is firstly modified by adding widely used batch normalization and residual block (named as BRU-net) to improve the efficiency of model training. Based on BRU-net, we further introduce a dynamically weighted cross-entropy loss function. The weighting scheme is calculated based on the pixel-wise prediction accuracy during the training process. Assigning higher weights to pixels with lower segmentation accuracies enables the network to learn more from poorly predicted image regions. Our method is named as feedback weighted U-net (FU-net). We have evaluated our method based on T1- weighted brain MRI for the segmentation of midbrain and substantia nigra, where the number of pixels in each class is extremely unbalanced to each other. Based on the dice coefficient measurement, our proposed FU-net has outperformed BRU-net and U-net with statistical significance, especially when only a small number of training examples are available. The code is publicly available in GitHub (GitHub link: https://github.com/MinaJf/FU-net).

preprint2020arXiv

GOLD-NAS: Gradual, One-Level, Differentiable

There has been a large literature of neural architecture search, but most existing work made use of heuristic rules that largely constrained the search flexibility. In this paper, we first relax these manually designed constraints and enlarge the search space to contain more than $10^{160}$ candidates. In the new space, most existing differentiable search methods can fail dramatically. We then propose a novel algorithm named Gradual One-Level Differentiable Neural Architecture Search (GOLD-NAS) which introduces a variable resource constraint to one-level optimization so that the weak operators are gradually pruned out from the super-network. In standard image classification benchmarks, GOLD-NAS can find a series of Pareto-optimal architectures within a single search procedure. Most of the discovered architectures were never studied before, yet they achieve a nice tradeoff between recognition accuracy and model complexity. We believe the new space and search algorithm can advance the search of differentiable NAS.

preprint2020arXiv

Homogenization of symmetric stable-like processes in stationary ergodic medium

This paper studies homogenization of symmetric non-local Dirichlet forms with $α$-stable-like jumping kernels in one-parameter stationary ergodic environment. Under suitable conditions, we establish homogenization results and identify the limiting effective Dirichlet forms explicitly. The coefficients of the jumping kernels of Dirichlet forms and symmetrizing measures are allowed to be degenerate and unbounded; and the coefficients in the effective Dirichlet forms can be degenerate.

preprint2020arXiv

Latency-Aware Differentiable Neural Architecture Search

Differentiable neural architecture search methods became popular in recent years, mainly due to their low search costs and flexibility in designing the search space. However, these methods suffer the difficulty in optimizing network, so that the searched network is often unfriendly to hardware. This paper deals with this problem by adding a differentiable latency loss term into optimization, so that the search process can tradeoff between accuracy and latency with a balancing coefficient. The core of latency prediction is to encode each network architecture and feed it into a multi-layer regressor, with the training data which can be easily collected from randomly sampling a number of architectures and evaluating them on the hardware. We evaluate our approach on NVIDIA Tesla-P100 GPUs. With 100K sampled architectures (requiring a few hours), the latency prediction module arrives at a relative error of lower than 10%. Equipped with this module, the search method can reduce the latency by 20% meanwhile preserving the accuracy. Our approach also enjoys the ability of being transplanted to a wide range of hardware platforms with very few efforts, or being used to optimizing other non-differentiable factors such as power consumption.

preprint2020arXiv

Motif Difference Field: A Simple and Effective Image Representation of Time Series for Classification

Time series motifs play an important role in the time series analysis. The motif-based time series clustering is used for the discovery of higher-order patterns or structures in time series data. Inspired by the convolutional neural network (CNN) classifier based on the image representations of time series, motif difference field (MDF) is proposed. Compared to other image representations of time series, MDF is simple and easy to construct. With the Fully Convolution Network (FCN) as the classifier, MDF demonstrates the superior performance on the UCR time series dataset in benchmark with other time series classification methods. It is interesting to find that the triadic time series motifs give the best result in the test. Due to the motif clustering reflected in MDF, the significant motifs are detected with the help of the Gradient-weighted Class Activation Mapping (Grad-CAM). The areas in MDF with high weight in Grad-CAM have a high contribution from the significant motifs with the desired ordinal patterns associated with the signature patterns in time series. However, the signature patterns cannot be identified with the neural network classifiers directly based on the time series.

preprint2020arXiv

Online Residential Demand Response via Contextual Multi-Armed Bandits

Residential loads have great potential to enhance the efficiency and reliability of electricity systems via demand response (DR) programs. One major challenge in residential DR is to handle the unknown and uncertain customer behaviors. Previous works use learning techniques to predict customer DR behaviors, while the influence of time-varying environmental factors is generally neglected, which may lead to inaccurate prediction and inefficient load adjustment. In this paper, we consider the residential DR problem where the load service entity (LSE) aims to select an optimal subset of customers to maximize the expected load reduction with a financial budget. To learn the uncertain customer behaviors under the environmental influence, we formulate the residential DR as a contextual multi-armed bandit (MAB) problem, and the online learning and selection (OLS) algorithm based on Thompson sampling is proposed to solve it. This algorithm takes the contextual information into consideration and is applicable to complicated DR settings. Numerical simulations are performed to demonstrate the learning effectiveness of the proposed algorithm.

preprint2020arXiv

PAI-graphene: a new topological semimetallic two-dimensional carbon allotrope with highly tunable anisotropic Dirac cones

Using evolutionary algorithm for crystal structure prediction, we present a new stable two-dimensional (2D) carbon allotrope composed of polymerized as-indacenes (PAI) in a zigzag pattern, namely PAI-graphene whose energy is lower than most of the reported 2D allotropes of graphene. Crucially, the crystal structure realizes a nonsymmorphic layer group that enforces a nontrivial global topology of the band structure with two Dirac cones lying perfectly at the Fermi level. The absence of electron/hole pockets makes PAI-graphene a pristine crystalline topological semimetal having anisotropic Fermi velocities with a high value of $7.0 \times 10^{5}$ m/s. We show that while the semimetallic property of the allotrope is robust against the application of strain, the positions of the Dirac cone and the Fermi velocities can be modified significantly with strain. Moreover, by combining strain along both the x- and y-directions, two band inversions take place at $Γ$ leading to the annihilation of the Dirac nodes demonstrating the possibility of strain-controlled conversion of a topological semimetal into a semiconductor. Finally we formulate the bulk-boundary correspondence of the topological nodal phase in the form of a generalized Zak-phase argument finding a perfect agreement with the topological edge states computed for different edge-terminations.

preprint2020arXiv

Palettailor: Discriminable Colorization for Categorical Data

We present an integrated approach for creating and assigning color palettes to different visualizations such as multi-class scatterplots, line, and bar charts. While other methods separate the creation of colors from their assignment, our approach takes data characteristics into account to produce color palettes, which are then assigned in a way that fosters better visual discrimination of classes. To do so, we use a customized optimization based on simulated annealing to maximize the combination of three carefully designed color scoring functions: point distinctness, name difference, and color discrimination. We compare our approach to state-ofthe-art palettes with a controlled user study for scatterplots and line charts, furthermore we performed a case study. Our results show that Palettailor, as a fully-automated approach, generates color palettes with a higher discrimination quality than existing approaches. The efficiency of our optimization allows us also to incorporate user modifications into the color selection process.

preprint2020arXiv

Parametric amplifier for Bell measurement in continuous-variable quantum state teleportation

A parametric amplifier is in essence a linear four-port device, which couples and linearly mixes two inputs before amplifying and sending them to two output ports. Here, we show that for quadrature-phase amplitudes, a parametric amplifier can replace beam splitters to play the role of mixer. We apply this idea to a continuous-variable quantum state teleportation scheme in which a parametric amplifier replaces a beam splitter in Bell measurement. We show that this scheme is loss-tolerant in the Bell measurement process and thus demonstrate the advantage of PA over BS in the applications in quantum measurement.

preprint2020arXiv

PC-DARTS: Partial Channel Connections for Memory-Efficient Architecture Search

Differentiable architecture search (DARTS) provided a fast solution in finding effective network architectures, but suffered from large memory and computing overheads in jointly training a super-network and searching for an optimal architecture. In this paper, we present a novel approach, namely, Partially-Connected DARTS, by sampling a small part of super-network to reduce the redundancy in exploring the network space, thereby performing a more efficient search without comprising the performance. In particular, we perform operation search in a subset of channels while bypassing the held out part in a shortcut. This strategy may suffer from an undesired inconsistency on selecting the edges of super-net caused by sampling different channels. We alleviate it using edge normalization, which adds a new set of edge-level parameters to reduce uncertainty in search. Thanks to the reduced memory cost, PC-DARTS can be trained with a larger batch size and, consequently, enjoys both faster speed and higher training stability. Experimental results demonstrate the effectiveness of the proposed method. Specifically, we achieve an error rate of 2.57% on CIFAR10 with merely 0.1 GPU-days for architecture search, and a state-of-the-art top-1 error rate of 24.2% on ImageNet (under the mobile setting) using 3.8 GPU-days for search. Our code has been made available at: https://github.com/yuhuixu1993/PC-DARTS.

preprint2020arXiv

Performance Optimization of a Fuzzy Entropy based Feature Selection and Classification Framework

In this paper, based on a fuzzy entropy feature selection framework, different methods have been implemented and compared to improve the key components of the framework. Those methods include the combinations of three ideal vector calculations, three maximal similarity classifiers and three fuzzy entropy functions. Different feature removal orders based on the fuzzy entropy values were also compared. The proposed method was evaluated on three publicly available biomedical datasets. From the experiments, we concluded the optimized combination of the ideal vector, similarity classifier and fuzzy entropy function for feature selection. The optimized framework was also compared with other six classical filter-based feature selection methods. The proposed method was ranked as one of the top performers together with the Correlation and ReliefF methods. More importantly, the proposed method achieved the most stable performance for all three datasets when the features being gradually removed. This indicates a better feature ranking performance than the other compared methods.

preprint2020arXiv

Periodic homogenization of non-symmetric Lévy-type processes

In this paper, we study homogenization problem for strong Markov processes on $\R^d$ having infinitesimal generators $$ \sL f(x)=\int_{\R^d}\left(f(x+z)-f(x)-\langle \nabla f(x), z\rangle \I_{\{|z|\le 1\}} \right) k(x,z)\, Π(dz) +\langle b(x), \nabla f(x) \rangle, \quad f\in C^2_b (\R^d) $$ in periodic media, where $Π$ is a non-negative measure on $\R^d$ that does not charge the origin $0$, satisfies $\int_{\R^d} (1 \wedge |z|^2)\, Π(dz)<\infty$, and can be singular with respect to the Lebesgue measure on $\R^d$. Under a proper scaling, we show the scaled processes converge weakly to Lévy processes on $\R^d$. The results are a counterpart of the celebrated work \cite{BLP,Bh} in the jump-diffusion setting. In particular, we completely characterize the homogenized limiting processes when $b(x) $ is a bounded continuous multivariate 1-periodic $\R^d$-valued function, $k(x,z)$ is a non-negative bounded continuous function that is multivariate 1-periodic in both $x$ and $z$ variables, and, in spherical coordinate $z=(r, θ) \in \R_+\times \bS^{d-1}$, $$ \I_{\{|z|>1\}}\,Π(dz) = \I_{\{ r>1\}} \varrho_0(dθ) \, \frac{ dr }{r^{1+α}} $$ with $α\in (0,\infty)$ and $\varrho_0$ being any finite measure on the unit sphere $\bS^{d-1}$ in $\R^d$. Different phenomena occur depending on the values of $α$; there are five cases: $α\in (0, 1)$, $α=1$, $α\in (1, 2)$, $α=2$ and $α\in (2, \infty)$.

preprint2020arXiv

Progressive DARTS: Bridging the Optimization Gap for NAS in the Wild

With the rapid development of neural architecture search (NAS), researchers found powerful network architectures for a wide range of vision tasks. However, it remains unclear if the searched architecture can transfer across different types of tasks as manually designed ones did. This paper puts forward this problem, referred to as NAS in the wild, which explores the possibility of finding the optimal architecture in a proxy dataset and then deploying it to mostly unseen scenarios. We instantiate this setting using a currently popular algorithm named differentiable architecture search (DARTS), which often suffers unsatisfying performance while being transferred across different tasks. We argue that the accuracy drop originates from the formulation that uses a super-network for search but a sub-network for re-training. The different properties of these stages have resulted in a significant optimization gap, and consequently, the architectural parameters "over-fit" the super-network. To alleviate the gap, we present a progressive method that gradually increases the network depth during the search stage, which leads to the Progressive DARTS (P-DARTS) algorithm. With a reduced search cost (7 hours on a single GPU), P-DARTS achieves improved performance on both the proxy dataset (CIFAR10) and a few target problems (ImageNet classification, COCO detection and three ReID benchmarks). Our code is available at \url{https://github.com/chenxin061/pdarts}.

preprint2020arXiv

Random Conductance Models with Stable-like Jumps: Quenched Invariance Principle

We study the quenched invariance principle for random conductance models with long range jumps on $\Z^d$, where the transition probability from $x$ to $y$ is, on average, comparable to $|x-y|^{-(d+α)}$ with $α\in (0,2)$ but is allowed to be degenerate. Under some moment conditions on the conductance, we prove that the scaling limit of the Markov process is a symmetric $α$-stable Lévy process on $\R^d$.The well-known corrector method in homogenization theory does not seem to work in this setting. Instead, we utilize probabilistic potential theory for the corresponding jump processes. Two essential ingredients of our proof are the tightness estimate and the Hölder regularity of caloric functions for non-elliptic $α$-stable-like processes on graphs. Our method is robust enough to apply not only for $\Z^d$ but also for more general graphs whose scaling limits are nice metric measure spaces.

preprint2020arXiv

Search for a generic heavy Higgs at the LHC

A generic heavy Higgs has both dim-4 and effective dim-6 interactions with the Standard Model (SM) particles. The former has been the focus of LHC searches in all major Higgs production channels, just as the SM one, but with negative results so far. If the heavy Higgs is connected with Beyond Standard Model (BSM) physics at a few TeV scale, its dim-6 operators will play a very important role - they significantly enhance the Higgs momentum, and reduce the SM background in a special phase space corner to a level such that a heavy Higgs emerges, which is not possible with dim-4 operators only. We focus on the associated VH production channel, where the effect of dim-6 operators is the largest and the SM background is the lowest. Main search regions for this type of signal are identified, and substructure variables of boosted jets are employed to enhance the signal from backgrounds. The parameter space of these operators are scanned over, and expected exclusion regions with 300 fb$^{-1}$ and 3 ab$^{-1}$ LHC data are shown, if no BSM is present. The strategy given in this paper will shed light on a heavy Higgs which may be otherwise hiding in the present and future LHC data.

preprint2020arXiv

Search for boosted dark matter with high-Z material in underground experiments

We propose to search for a boosted dark matter (DM) particle from astrophysical sources using an emulsion detector in deep underground facilities. We further propose using high-$Z$ material such as the lead for a larger DM-nucleus coherent scattering cross section above a threshold. The boosted DM will scatter into an excited DM. While the nuclear recoil energy is not detected, the decay products from the excited DM can be recorded by the proposed detector. Backgrounds such as the high energy solar neutrinos can be controlled by the reconstructed track topology. The proposed detector has the potential to find a boosted DM in the sub-GeV mass region, and in certain parameter space, an observation can be made while there is no sensitivity in other large-volume detectors such as Super-K.

preprint2020arXiv

Secure Computation Framework for Multiple Data Providers Against Malicious Adversaries

Due to the great development of secure multi-party computation, many practical secure computation schemes have been proposed. As an example, different secure auction mechanisms have been widely studied, which can protect bid privacy while satisfying various economic properties. However, as far as we know, none of them solve the secure computation problems for multiple data providers (e.g., secure cloud resource auctions) in the malicious security model. In this paper, we use the techniques of cut-and-choose and garbled circuits to propose a general secure computation framework for multiple data providers against malicious adversaries. Specifically, our framework checks input consistency with the cut-and-choose paradigm, conducts maliciously secure computations by running two independent garbled circuits, and verifies the correctness of output by comparing two versions of outputs. Theoretical analysis shows that our framework is secure against a malicious computation party, or a subset of malicious data providers. Taking secure cloud resource auctions as an example, we implement our framework. Extensive experimental evaluations show that the performance of the proposed framework is acceptable in practice.

preprint2020arXiv

Spin torque gate magnetic field sensor

Spin-orbit torque provides an efficient pathway to manipulate the magnetic state and magnetization dynamics of magnetic materials, which is crucial for energy-efficient operation of a variety of spintronic devices such as magnetic memory, logic, oscillator, and neuromorphic computing. Here, we describe and experimentally demonstrate a strategy for the realization of a spin torque gate magnetic field sensor with extremely simple structure by exploiting the longitudinal field dependence of the spin torque driven magnetization switching. Unlike most magnetoresistance sensors which require a delicate magnetic bias to achieve a linear response to the external field, the spin torque gate sensor can achieve the same without any magnetic bias, which greatly simplifies the sensor structure. Furthermore, by driving the sensor using an ac current, the dc offset is automatically suppressed, which eliminates the need for a bridge or compensation circuit. We verify the concept using the newly developed WTe2/Ti/CoFeB trilayer and demonstrate that the sensor can work linearly in the range of 3-10 Oe with negligible dc offset.

preprint2020arXiv

Stabilizing DARTS with Amended Gradient Estimation on Architectural Parameters

DARTS is a popular algorithm for neural architecture search (NAS). Despite its great advantage in search efficiency, DARTS often suffers weak stability, which reflects in the large variation among individual trials as well as the sensitivity to the hyper-parameters of the search process. This paper owes such instability to an optimization gap between the super-network and its sub-networks, namely, improving the validation accuracy of the super-network does not necessarily lead to a higher expectation on the performance of the sampled sub-networks. Then, we point out that the gap is due to the inaccurate estimation of the architectural gradients, based on which we propose an amended estimation method. Mathematically, our method guarantees a bounded error from the true gradients while the original estimation does not. Our approach bridges the gap from two aspects, namely, amending the estimation on the architectural gradients, and unifying the hyper-parameter settings in the search and re-training stages. Experiments on CIFAR10 and ImageNet demonstrate that our approach largely improves search stability and, more importantly, enables DARTS-based approaches to explore much larger search spaces that have not been investigated before.

preprint2020arXiv

Structural phase transition in monolayer gold(I) telluride: From a room-temperature topologicalinsulator to an auxetic semiconductor

Structural phase transitions between semiconductors and topological insulators have rich applications in nanoelectronics but are rarely found in two-dimensional (2D) materials. In this work, by combining ab initio computations and evolutionary structure search, we investigate two stable 2D forms of gold(I) telluride (Au$_{2}$Te) with square symmetry, noted as s(I)- and s(II)-Au$_{2}$Te. s(II)-Au$_{2}$Te is the global minimum structure and is a room-temperature topological insulator. s(I)-Au$_{2}$Te is a direct-gap semiconductor with high carrier mobilities and unusual in-plane negative Poisson's ratio. Both s(I) and s(II) phases have ultra-low Young's modulus, implying high flexibility. By applying a small tensile strain, s(II)-Au$_{2}$Te can be transformed into s(I)-Au$_{2}$Te. Hence, a structural phase transition from a room-temperature topological insulator to an auxetic semiconductor is found in the 2D forms of Au$_{2}$Te, which enables potential applications in phase-change electronic devices. Moreover, we elucidate the mechanism of the phase transition with the help of phonon spectra and group theory analysis.

preprint2020arXiv

Technical Proposal: FASERnu

FASERnu is a proposed small and inexpensive emulsion detector designed to detect collider neutrinos for the first time and study their properties. FASERnu will be located directly in front of FASER, 480 m from the ATLAS interaction point along the beam collision axis in the unused service tunnel TI12. From 2021-23 during Run 3 of the 14 TeV LHC, roughly 1,300 electron neutrinos, 20,000 muon neutrinos, and 20 tau neutrinos will interact in FASERnu with TeV-scale energies. With the ability to observe these interactions, reconstruct their energies, and distinguish flavors, FASERnu will probe the production, propagation, and interactions of neutrinos at the highest human-made energies ever recorded. The FASERnu detector will be composed of 1000 emulsion layers interleaved with tungsten plates. The total volume of the emulsion and tungsten is 25cm x 25cm x 1.35m, and the tungsten target mass is 1.2 tonnes. From 2021-23, 7 sets of emulsion layers will be installed, with replacement roughly every 20-50 1/fb in planned Technical Stops. In this document, we summarize FASERnu's physics goals and discuss the estimates of neutrino flux and interaction rates. We then describe the FASERnu detector in detail, including plans for assembly, transport, installation, and emulsion replacement, and procedures for emulsion readout and analyzing the data. We close with cost estimates for the detector components and infrastructure work and a timeline for the experiment.

preprint2020arXiv

The ABC130 barrel module prototyping programme for the ATLAS strip tracker

For the Phase-II Upgrade of the ATLAS Detector, its Inner Detector, consisting of silicon pixel, silicon strip and transition radiation sub-detectors, will be replaced with an all new 100 % silicon tracker, composed of a pixel tracker at inner radii and a strip tracker at outer radii. The future ATLAS strip tracker will include 11,000 silicon sensor modules in the central region (barrel) and 7,000 modules in the forward region (end-caps), which are foreseen to be constructed over a period of 3.5 years. The construction of each module consists of a series of assembly and quality control steps, which were engineered to be identical for all production sites. In order to develop the tooling and procedures for assembly and testing of these modules, two series of major prototyping programs were conducted: an early program using readout chips designed using a 250 nm fabrication process (ABCN-25) and a subsequent program using a follow-up chip set made using 130 nm processing (ABC130 and HCC130 chips). This second generation of readout chips was used for an extensive prototyping program that produced around 100 barrel-type modules and contributed significantly to the development of the final module layout. This paper gives an overview of the components used in ABC130 barrel modules, their assembly procedure and findings resulting from their tests.

preprint2020arXiv

Triad State Space Construction for Chaotic Signal Classification with Deep Learning

Inspired by the well-known permutation entropy (PE), an effective image encoding scheme for chaotic time series, Triad State Space Construction (TSSC), is proposed. The TSSC image can recognize higher-order temporal patterns and identify new forbidden regions in time series motifs beyond the Bandt-Pompe probabilities. The Convolutional Neural Network (ConvNet) is widely used in image classification. The ConvNet classifier based on TSSC images (TSSC-ConvNet) are highly accurate and very robust in the chaotic signal classification.

preprint2020arXiv

Weight-Sharing Neural Architecture Search: A Battle to Shrink the Optimization Gap

Neural architecture search (NAS) has attracted increasing attentions in both academia and industry. In the early age, researchers mostly applied individual search methods which sample and evaluate the candidate architectures separately and thus incur heavy computational overheads. To alleviate the burden, weight-sharing methods were proposed in which exponentially many architectures share weights in the same super-network, and the costly training procedure is performed only once. These methods, though being much faster, often suffer the issue of instability. This paper provides a literature review on NAS, in particular the weight-sharing methods, and points out that the major challenge comes from the optimization gap between the super-network and the sub-architectures. From this perspective, we summarize existing approaches into several categories according to their efforts in bridging the gap, and analyze both advantages and disadvantages of these methodologies. Finally, we share our opinions on the future directions of NAS and AutoML. Due to the expertise of the authors, this paper mainly focuses on the application of NAS to computer vision problems and may bias towards the work in our group.

preprint2019arXiv

Anion charge-lattice volume dependent Li ion migration in compounds with the face-centered cubic anion frameworks

The proper design principles are essential for the efficient development of superionic conductors. However, the existing design principles are mainly proposed from the perspective of crystal structures. In this work, the face-centered cubic (fcc) anion frameworks were creatively constructed to study the effects of anion charge and lattice volume on the stability of lithium ion occupation and lithium ion migration. Both the large negative anion charges and large lattice volumes would increase the relative stabilities of lithium-anion tetrahedron, and make Li ions prefer to occupy the tetrahedral sites. For a tetrahedral Li ion migration to its adjacent tetrahedral site through an octahedral transition state, the smaller the negative anion charge is, the lower the lithium ion migration barrier will be. While for an octahedral Li ion migration to its adjacent octahedral site through a tetrahedral transition state, the larger negative anion charge is, the lower the lithium ion migration barrier will be. New design principles for developing superionic conductors with the fcc anion framework were proposed. Low Li ion migration barriers would be achieved by adjusting the non-lithium elements within the same crystal structure framework to obtain the desired electronegativity difference between the anion element and non-lithium cation element.

preprint2019arXiv

Linking invariant for the quench dynamics of a two-dimensional two-band Chern insulator

We discuss the topological invariant in the (2+1)-dimensional quench dynamics of a two-dimensional two-band Chern insulator starting from a topological initial state (i.e., with a nonzero Chern number $c_i$), evolved by a post-quench Hamiltonian (with Chern number $c_f$). In contrast to the process with $c_i=0$ studied in previous works, this process cannot be characterized by the Hopf invariant that is described by the sphere homotopy group $π_3(S^2)=\mathbb{Z}$. It is possible, however, to calculate a variant of the Chern-Simons integral with a complementary part to cancel the Chern number of the initial spin configuration, which at the same time does not affect the (2+1)-dimensional topology. We show that the modified Chern-Simons integral gives rise to a topological invariant of this quench process, i.e., the linking invariant in the $\mathbb{Z}_{2c_i}$ class: $ν= (c_f - c_i) \mod (2c_i)$. We give concrete examples to illustrate this result and also show the detailed deduction to get this linking invariant.

preprint2019arXiv

Non-Hermitian Linear Response Theory

Linear response theory lies at the heart of quantum many-body physics because it builds up connections between the dynamical response to an external probe and correlation functions at equilibrium. Here we consider the dynamical response of a Hermitian system to a non-Hermitian probe, and we develop a non-Hermitian linear response theory that can also relate this dynamical response to equilibrium properties. As an application of our theory, we consider the real-time dynamics of momentum distribution induced by one-body and two-body dissipations. We find that, for many cases, the dynamics of momentum occupation and the width of momentum distribution obey the same universal function, governed by the single-particle spectral function. We also find that, for critical state with no well-defined quasi-particles, the dynamics are slower than normal state and our theory provides a model independent way to extract the critical exponent. We apply our results to analyze recent experiment on the Bose-Hubbard model and find surprising good agreement between theory and experiment. We also propose to further verify our theory by carrying out a similar experiment on a one-dimensional Luttinger liquid.

preprint2019arXiv

Search for the Electric Dipole Moment and anomalous magnetic moment of the tau lepton at tau factories

Precise measurement of the Electric Dipole Moment (EDM) and anomalous magnetic moment ($g$-2) of particles are important tests of Beyond Standard Model (BSM) physics. It is generally believed that the tau lepton couples more strongly to BSM due to its large mass, and can be searched for at collider experiments. A new method to approximately reconstruct the neutrinos from the hadronic decays of $τ^-τ^+$ pairs produced at $e^-e^+$ tau factories is proposed. With all final state particle momenta available, observables based on matrix elements and sensitive to BSM are calculated. It is estimated that with 50 ab$^{-1}$ of data to be delivered by the $Belle$-II experiment, a tau EDM search with a 1-$σ$ level precision of $|d_τ^{NP}|<2.04\times 10^{-19}$ e$\cdot$cm, and $g$-2 search with $|a_τ^{NP}|<1.75\times 10^{-5}$ ($1.5\%$ of the SM prediction), can be expected when systematics are not considered. The new precision can effectively constrain BSM models with heavy mirror neutrinos. It can also constrain models containing a light scalar with mass at $O$(1 GeV), which can explain the current muon $g$-2 anomaly as well. The method in this work offers a new opportunity to search for BSM at current and future tau factories with high precision.

preprint2016arXiv

Carbon-Rich Carbon Nitride Monolayers with Dirac Cones: Dumbbell C4N

Two-dimensional (2D) carbon nitride materials play an important role in energy-harvesting, energy-storage and environmental applications. Recently, a new carbon nitride, 2D polyaniline (C3N) was proposed [PNAS 113 (2016) 7414-7419]. Based on the structure model of this C3N monolayer, we propose two new carbon nitride monolayers, named dumbbell (DB) C4N-I and C4N-II. Using first-principles calculations, we systematically study the structure, stability, and band structure of these two materials. In contrast to other carbon nitride monolayers, the orbital hybridization of the C/N atoms in the DB C4N monolayers is sp3. Remarkably, the band structures of the two DB C4N monolayers have a Dirac cone at the K point and their Fermi velocities are comparable to that of graphene. This makes them promising materials for applications in high-speed electronic devices. Using a tight-binding model, we explain the origin of the Dirac cone.

preprint2016arXiv

Enhancement of Resonant Energy Transfer Due to Evanescent-wave from the Metal

The high density of evanescent modes in the vicinity of a metal leads to enhancement of the near-field Förster resonant energy transfer (FRET) rate. We present a classical approach to calculate the FRET rate based on the dyadic Green's function of an arbitrary dielectric environment, and consider non-local limit of material permittivity in case of metallic halfspace and thin film. In a dimer system, we find that the FRET rate is enhanced due to shared evanescent photon modes bridging a donor and an acceptor. Furthermore, a general expression for the FRET rate for multimer systems is derived. The presence of a dielectric environment and the path interference effect enhance the transfer rate, depending on the combination of distance and geometry.

preprint2016arXiv

Search for Flavor Changing Neutral Currents in $t\to H c, H\to ττ$ Decay at the LHC

The prospects of searching for the flavor changing neutral current effect in the decay of $t\to H c, H\to ττ$ are investigated with the simulated $p-p$ collision data for the ATLAS detector at the LHC, where the Higgs mass is assumed to be 125~GeV. A fit based on the constraints from the Higgs mass and the tau decay kinematics is performed for each event, which improves significantly the Higgs and top mass reconstruction and helps the signal-background separation. Boosted Decision Trees discriminants are developed to achieve an optimal sensitivity of searching for the FCNC signal. An expected upper limit of the branching ratio $\mathcal{B}(t\to H c)$ at $95\%$ confidence level of 0.25\% is obtained with a data set of 100~fb$^{-1}$ at $\sqrt{s}=13$ TeV during the LHC Run-2 period.

preprint2015arXiv

A probabilistic method for gradient estimates of some geometric flows

In general, gradient estimates are very important and necessary for deriving convergence results in different geometric flows, and most of them are obtained by analytic methods. In this paper, we will apply a stochastic approach to systematically give gradient estimates for some important geometric quantities under the Ricci flow, the mean curvature flow, the forced mean curvature flow and the Yamabe flow respectively. Our conclusion gives another example that probabilistic tools can be used to simplify proofs for some problems in geometric analysis.

preprint2015arXiv

AMAS: optimizing the partition and filtration of adaptive seeds to speed up read mapping

Background: Identifying all possible mapping locations of next-generation sequencing (NGS) reads is highly essential in several applications such as prediction of genomic variants or protein binding motifs located in repeat regions, isoform expression quantification, metagenomics analysis, etc. However, this task is very time-consuming and majority of mapping tools only focus on one or a few best mapping locations. Results: We propose AMAS, an alignment tool specialized in identifying all possible mapping locations of NGS reads in a reference sequence. AMAS features an effective use of adaptive seeds to speed up read mapping while preserving sensitivity. Specifically, an index is designed to pre-store the locations of adaptive seeds in the reference sequence, efficiently reducing the time for seed matching and partitioning. An accurate filtration of adaptive seeds is further applied to substantially tighten the candidate alignment space. As a result, AMAS runs several times faster than other state-of-the-art read mappers while achieving similar accuracy. Conclusions: AMAS provides a valuable resource to speed up the important yet time-consuming task of identifying all mapping locations of NGS reads. AMAS is implemented in C++ based on the SeqAn library and is freely available at https://sourceforge.net/projects/ngsamas/. Keywords: next-generation sequencing, read mapping, sequence alignment, adaptive seeds, seed partition, filtration

preprint2015arXiv

Approximating the Minimum Breakpoint Linearization Problem for Genetic Maps without Gene Strandedness

The study of genetic map linearization leads to a combinatorial hard problem, called the {\em minimum breakpoint linearization} (MBL) problem. It is aimed at finding a linearization of a partial order which attains the minimum breakpoint distance to a reference total order. The approximation algorithms previously developed for the MBL problem are only applicable to genetic maps in which genes or markers are represented as signed integers. However, current genetic mapping techniques generally do not specify gene strandedness so that genes can only be represented as unsigned integers. In this paper, we study the MBL problem in the latter more realistic case. An approximation algorithm is thus developed, which achieves a ratio of $(m^2+2m-1)$ and runs in $O(n^7)$ time, where $m$ is the number of genetic maps used to construct the input partial order and $n$ the total number of distinct genes in these maps.

preprint2015arXiv

Development of Technique to Detect and Classify Small-Scale Magnetic Flux Cancellation and Rapid Blueshifted Excursions

We present a set of tools for detecting small-scale solar magnetic cancellations and the disk counterpart of type II spicules (the so-called Rapid Blueshifted Excursions (RBEs)), using line-of-sight photospheric magnetograms and chromospheric spectroscopic observations, respectively. For tracking magnetic cancellation, we improve the Southwest Automatic Magnetic Identification Suite (SWAMIS) so that it is able to detect certain obscure cancellations that can be easily missed. For detecting RBEs, we use a normalized reference profile to reduce false-positive detections caused by the non-uniform background and seeing condition. Similar to the magnetic feature tracking in SWAMIS, we apply a dual-threshold method to enhance the accuracy of RBE detection. These tools are employed to analyze our coordinated observations using the Interferometric BIdimensional Spectrometer at Dunn Solar Telescope (DST) of the National Solar Observatory (NSO) and Hinode. We present the statistical properties of magnetic cancellations and RBEs, and explore their correlation using this data set.

preprint2015arXiv

Dumbbell Stanane: A large-gap quantum spin Hall insulator

Quantum spin Hall (QSH) effect is quite promising for applications in spintronics and quantum computations, but presently can only be achieved at ultralow temperature. Searching for large-gap QSH insulators is the key to increase the operating temperature. Using first-principles calculations, we demonstrate that the stable hydrogenated stanene with a dumbbell-like structure (DB stanane) has large topological nontrivial band gaps of 312 meV (gamma point) and 160 meV for bulk characterized by a topological invariant of Z2=1, due to the s-pxy band inversion. Helical gapless edge states appear in the nanoribbon structures with high Fermi velocity comparable to that of graphene. The nontrivial topological states are robust against the substrate effects. The realization of this material is a feasible solution for applications of QSH effect at room temperature and beneficial to the fabrication of high-speed spintronics devices.

preprint2015arXiv

Intrinsic Contractivity of Feynman-Kac Semigroups for Symmetric Jump Processes with Infinite Range Jumps

Let $(X_t)_{t\ge 0}$ be a symmetric strong Markov process generated by non-local regular Dirichlet form $(D,\D(D))$ as follows \begin{equation*} \begin{split} & D(f,g)=\int_{\R^d}\int_{\R^d}\big(f(x)-f(y)\big)\big(g(x)-g(y)\big) J(x,y)\,dx\,dy, \quad f,g\in \D(D) \end{split} \end{equation*} where $J(x,y)$ is a strictly positive and symmetric measurable function on $\R^d\times \R^d$. We study the intrinsic hypercontractivity, intrinsic supercontractivity and intrinsic ultracontractivity for the Feynman-Kac semigroup $$ T^V_t(f)(x)=\Ee^x\left(\exp\Big(-\int_0^tV(X_s)\,ds\Big)f(X_t)\right),\,\, x\in\R^d, f\in L^2(\R^d;dx).$$ In particular, we prove that for $$J(x,y)\asymp|x-y|^{-d-α}\I_{\{|x-y|\le 1\}}+e^{-|x-y|}\I_{\{|x-y|> 1\}}$$ with $α\in (0,2)$ and $V(x)=|x|^λ$ with $λ>0$, $(T_t^V)_{t\ge 0}$ is intrinsically ultracontractive if and only if $λ>1$; and that for symmetric $α$-stable process $(X_t)_{t\ge0}$ with $α\in (0,2)$ and $V(x)=\log^λ(1+|x|)$ with some $λ>0$, $(T_t^V)_{t\ge 0}$ is intrinsically ultracontractive (or intrinsically supercontractive) if and only if $λ>1$, and $(T_t^V)_{t\ge 0}$ is intrinsically hypercontractive if and only if $λ\ge1$. Besides, we also investigate intrinsic contractivity properties of $(T_t^V)_{t \ge 0}$ for the case that $\liminf_{|x| \to \infty}V(x)<\infty$.

preprint2015arXiv

Intrinsic Ultracontractivity for General Lévy processes on Bounded Open Sets

We prove that a general (not necessarily symmetric) Lévy process killed on exiting a bounded open set (without regular condition on the boundary) is intrinsically ultracontractive, provided that $B(0,R_0)\subseteq \rm{supp}(ν)$ for some constant $R_0>0$, where $\rm{supp}(ν)$ denotes the support of the associated Lévy measure $ν$. For a symmetric Lévy process killed on exiting a bounded Hölder domain of order $0$, we also obtain the intrinsic ultracontractivity under much weaker assumption on the associated Lévy measure.

preprint2015arXiv

Intrinsic Ultracontractivity of Feynman-Kac Semigroups for Symmetric Jump Processes

Consider the symmetric non-local Dirichlet form $(D,\D(D))$ given by $$ D(f,f)=\int_{\R^d}\int_{\R^d}\big(f(x)-f(y)\big)^2 J(x,y)\,dx\,dy $$with $\D(D)$ the closure of the set of $C^1$ functions on $\R^d$ with compact support under the norm $\sqrt{D_1(f,f)}$, where $D_1(f,f):=D(f,f)+\int f^2(x)\,dx$ and $J(x,y)$ is a nonnegative symmetric measurable function on $\R^d\times \R^d$. Suppose that there is a Hunt process $(X_t)_{t\ge 0}$ on $\R^d$ corresponding to $(D,\D(D))$, and that $(L,\D(L))$ is its infinitesimal generator. We study the intrinsic ultracontractivity for the Feynman-Kac semigroup $(T_t^V)_{t\ge 0}$ generated by $L^V:=L-V$, where $V\ge 0$ is a non-negative locally bounded measurable function such that Lebesgue measure of the set $\{x\in \R^d: V(x)\le r\}$ is finite for every $r>0$. By using intrinsic super Poincaré inequalities and establishing an explicit lower bound estimate for the ground state, we present general criteria for the intrinsic ultracontractivity of $(T_t^V)_{t\ge 0}$. In particular, if $$J(x,y)\asymp|x-y|^{-d-α}\I_{\{|x-y|\le 1\}}+e^{-|x-y|^γ}\I_{\{|x-y|> 1\}}$$ for some $α\in (0,2)$ and $γ\in(1,\infty]$, and the potential function $V(x)=|x|^θ$ for some $θ>0$, then $(T_t^V)_{t\ge 0}$ is intrinsically ultracontractive if and only if $θ>1$. When $θ>1$, we have the following explicit estimates for the ground state $ϕ_1$ $$c_1\exp\Big(-c_2 θ^{\frac{γ-1}γ}|x| \log^{\frac{γ-1}γ}(1+|x|)\Big) \le ϕ_1(x) \le c_3\exp\Big(-c_4 θ^{\frac{γ-1}γ}|x| \log^{\frac{γ-1}γ}(1+|x|)\Big) ,$$ where $c_i>0$ $(i=1,2,3,4)$ are constants. We stress that, our method efficiently applies to the Hunt process $(X_t)_{t \ge 0}$ with finite range jumps, and some irregular potential function $V$ such that $\lim_{|x| \to \infty}V(x)\neq\infty$.

preprint2015arXiv

Perturbations of Functional Inequalities for Lévy Type Dirichlet Forms

Perturbations of super Poincaré and weak Poincaré inequalities for Lévy type Dirichlet forms are studied. When the range of jumps is finite our results are natural extensions to the corresponding ones derived earlier for diffusion processes; and we show that the study for the situation with infinite range of jumps is essentially different. Some examples are presented to illustrate the optimality of our results.

preprint2015arXiv

Software for Wearable Devices: Challenges and Opportunities

Wearable devices are a new form of mobile computer system that provides exclusive and user-personalized services. Wearable devices bring new issues and challenges to computer science and technology. This paper summarizes the development process and the categories of wearable devices. In addition, we present new key issues arising in aspects of wearable devices, including operating systems, database management system, network communication protocol, application development platform, privacy and security, energy consumption, human-computer interaction, software engineering, and big data.

preprint2014arXiv

Alignment-free comparison of next-generation sequencing data using compression-based distance measures

Enormous volumes of short reads data from next-generation sequencing (NGS) technologies have posed new challenges to the area of genomic sequence comparison. The multiple sequence alignment approach is hardly applicable to NGS data due to the challenging problem of short read assembly. Thus alignment-free methods need to be developed for the comparison of NGS samples of short reads. Recently, new $k$-mer based distance measures such as {\it CVTree}, $d_{2}^{S}$, {\it co-phylog} have been proposed to address this problem. However, those distances depend considerably on the parameter $k$, and how to choose the optimal $k$ is not trivial since it may depend on different aspects of the sequence data. Hence, in this paper we consider an alternative parameter-free approach: compression-based distance measures. These measures have shown impressive performance on long genome sequences in previous studies, but they have not been tested on NGS short reads. In this study we perform extensive validation and show that the compression-based distances are highly consistent with those distances obtained from the $k$-mer based methods, from the alignment-based approach, and from existing benchmarks in the literature. Moreover, as these measures are parameter-free, no optimization is required and they still perform consistently well on multiple types of sequence data, for different kinds of species and taxonomy levels. The compression-based distance measures are assembly-free, alignment-free, parameter-free, and thus represent useful tools for the comparison of long genome sequences and NGS samples of short reads.

preprint2014arXiv

Chromospheric Rapid Blueshifted Excursions Observed with IBIS and Their Association with Photospheric Magnetic Field Evolution

Chromospheric rapid blueshifted excursions (RBEs) are suggested to be the disk counterparts of type II spicules at the limb and believed to contribute to the coronal heating process. Previous identification of RBEs was mainly based on feature detection using Dopplergrams. In this paper, we study RBEs on 2011 October 21 in a very quiet region at the disk center, which were observed with the high-cadence imaging spectroscopy of the Ca II 8542 A line from the Interferometric Bidimensional Spectrometer (IBIS). By using an automatic spectral analysis algorithm, a total of 98 RBEs are identified during a 11 minute period. Most of these RBEs have either a round or elongated shape, with an average area of 1.2 arcsec^2. The detailed temporal evolution of spectra from IBIS makes possible a quantitative determination of the velocity (~16 km/s) and acceleration (~400 m/s^2) of Ca II 8542 RBEs, and reveal an additional deceleration (~-160 m/s^2) phase that usually follows the initial acceleration. In addition, we also investigate the association of RBEs with the concomitant photospheric magnetic field evolution, using coordinated high-resolution and high-sensitivity magnetograms made by Hinode. Clear examples are found where RBEs appear to be associated with the preceding magnetic flux emergence and/or the subsequent flux cancellation. However, a further analysis with the aid of the Southwest Automatic Magnetic Identification Suite does not yield a significant statistical association between these RBEs and magnetic field evolution. We discuss the implications of our results in the context of understanding the driving mechanism of RBEs.

preprint2014arXiv

Linear Relaxations of Polynomial Positivity for Polynomial Lyapunov Function Synthesis

In this paper, we examine linear programming (LP) based relaxations for synthesizing polynomial Lyapunov functions to prove the stability of polynomial ODEs. A common approach to Lyapunov function synthesis starts from a desired parametric polynomial form of the polynomial Lyapunov function. Subsequently, we encode the positive-definiteness of the function, and the negative-definiteness of its derivative over the domain of interest. Therefore, the key primitives for this encoding include: (a) proving that a given polynomial is positive definite over a domain of interest, and (b) encoding the positive definiteness of a given parametric polynomial, as a constraint on the unknown parameters. We first examine two classes of relaxations for proving polynomial positivity: relaxations by sum-of-squares (SOS) programs, against relaxations that produce linear programs. We compare both types of relaxations by examining the class of polynomials that can be shown to be positive in each case. Next, we present a progression of increasingly more powerful LP relaxations based on expressing the given polynomial in its Bernstein form, as a linear combination of Bernstein polynomials. The well-known bounds on Bernstein polynomials over the unit box help us formulate increasingly precise LP relaxations that help us establish the positive definiteness of a polynomial over a bounded domain. Subsequently, we show how these LP relaxations can be used to search for Lyapunov functions for polynomial ODEs by formulating LP instances. We compare our approaches to synthesizing Lyapunov functions with approaches based on SOS programming relaxations.

preprint2014arXiv

Strong completeness for a class of stochastic differential equations with irregular coefficients

We prove the strong completeness for a class of non-degenerate SDEs, whose coefficients are not necessarily uniformly elliptic nor locally Lipschitz continuous nor bounded. Moreover, for each $t$, the solution flow $F_t$ is weakly differentiable and for each $p>0$ there is a positive number $T(p)$ such that for all $t<T(p)$, the solution flow $F_t(\cdot)$ belongs to the Sobolev space $W_{\loc}^{1,p}$. The main tool for this is the approximation of the associated derivative flow equations. As an application a differential formula is also obtained.

preprint2014arXiv

The Rigorous Stochastic Matrix Multiplication Scheme for the Calculations of Reduced Equilibrium Density Matrices of Open Multilevel Quantum Systems

Understanding the roles of the temporary and spatial structures of quantum functional noise in open multilevel quantum molecular systems attracts a lot of theoretical interests. I want to establish a rigorous and general framework for functional quantum noises from the constructive and computational perspectives, $\it{i.e.}$ how to generate the random trajectories to reproduce the kernel and path ordering of the influence functional with effective Monte Carlo methods for arbitrary spectral densities. This construction approach aims to unify the existing stochastic models to rigorously describe the temporary and spatial structure of Gaussian quantum noises. In this paper, I review the Euclidean imaginary time influence functional and propose the stochastic matrix multiplication scheme to calculate reduced equilibrium density matrices (REDM). In addition, I review and discuss the Feynman-Vernom influence functional according to the Gaussian quadratic integral, particularly its imaginary part which is critical to the rigorous description of the quantum detailed balance. As a result, I establish the conditions under which the influence functional can be interpreted as the average of exponential functional operator over real-valued Gaussian processes for open multilevel quantum systems. I also show the difference between the local and nonlocal phonons within this framework. With the stochastic matrix multiplication scheme, I compare the normalized REDM with the Boltzmann equilibrium distribution for open multilevel quantum systems.

preprint2013arXiv

A Novel Construction of Complex-valued Gaussian Processes with Arbitrary Spectral Densities and its Application to Excitation Energy Transfer

The recent experimental discoveries about excitation energy transfer (EET) in light harvesting antenna (LHA) attract a lot of interest. As an open non-equilibrium quantum system, the EET demands more rigorous theoretical framework to understand the interaction between system and environment and therein the evolution of reduced density matrix. A phonon is often used to model the fluctuating environment and convolutes the reduced quantum system temporarily. In this paper, we propose a novel way to construct complex-valued Gaussian processes to describe thermal quantum phonon bath exactly by converting the convolution of influence functional into the time correlation of complex Gaussian random field. Based on the construction, we propose a rigorous and efficient computational method, the covariance decomposition (CD) and conditional propagation scheme, to simulate the temporarily entangled reduced system. The new method allows us to study the non-Markovian effect without perturbation under the influence of different spectral densities of the linear system-phonon coupling coefficients. Its application in the study of EET in the Fenna-Matthews-Olson (FMO) model Hamiltonian under four different spectral densities is discussed. Since the scaling of our algorithm is linear due to its Monte Carlo nature, the future application of the method for large LHA systems is attractive. In addition, this method can be used to study the effect of correlated initial condition on the reduced dynamics in the future.

preprint2013arXiv

Functional inequalities for Nonlocal Dirichlet Forms With Finite Range Jumps or Large Jumps

The paper is a continuation of our paper [12,2], and it studies functional inequalities for non-local Dirichlet forms with finite range jumps or large jumps. Let $α\in(0,2)$ and $μ_V(dx)=C_Ve^{-V(x)}\,dx$ be a probability measure. We present explicit and sharp criteria for the Poincaré inequality and the super Poincaré inequality of the following non-local Dirichlet form with finite range jump $$\mathscr{E}_{α, V}(f,f):= (1/2)\iint_{|x-y|\le 1}\frac{(f(x)-f(y))^2}{|x-y|^{d+α}} dy μ_V(dx);$$ on the other hand, we give sharp criteria for the Poincaré inequality of the non-local Dirichlet form with large jump as follows $$\mathscr{D}_{α, V}(f,f):= (1/2)\iint_{|x-y|> 1}\frac{(f(x)-f(y))^2}{|x-y|^{d+α}} dy μ_V(dx),$$ and also derive that the super Poincaré inequality does not hold for $\mathscr{D}_{α, V}$. To obtain these results above, some new approaches and ideas completely different from \cite{WW, CW} are required, e.g. local Poincaré inequality for $\mathscr{E}_{α, V}$ and $\mathscr{D}_{α, V}$, and the Lyapunov condition for $\mathscr{E}_{α, V}$. In particular, the results about $\mathscr{E}_{α, V}$ show that the probability measure fulfilling Poincaré inequality and super Poincaré inequality for non-local Dirichlet form with finite range jump and that for local Dirichlet form enjoy some similar properties; on the other hand, the assertions for $\mathscr{D}_{α, V}$ indicate that even if functional inequalities for non-local Dirichlet form heavily depend on the density of large jump in the associated Lévy measure, the corresponding small jump plays an important role for local super Poincaré inequality, which is inevitable to derive super Poincaré inequality.

preprint2013arXiv

Functional inequalities on path space over a non-compact Riemannian manifold

We prove the existence of the O-U Dirichlet form and the damped O-U Dirichlet form on path space over a general non-compact Riemannian manifold which is complete and stochastically complete. We show a weighted log-Sobolev inequality for the O-U Dirichlet form and the (standard) log-Sobolev inequality for the damped O-U Dirichlet form. In particular, the Poincaré inequality (and the super Poincaré inequality) can be established for the O-U Dirichlet form on path space over a class of Riemannian manifolds with unbounded Ricci curvatures. Moreover, we construct a large class of quasi-regular local Dirichlet forms with unbounded random diffusion coefficients on the path space over a general non-compact manifold.

preprint2013arXiv

High-Cadence and High-Resolution Halpha Imaging Spectroscopy of a Circular Flare's Remote Ribbon with IBIS

We present an unprecedented high-resolution \ha\ imaging spectroscopic observation of a C4.1 flare taken with IBIS on 2011 October 22. The flare consists of a main circular ribbon that occurred in a parasitic magnetic configuration and a remote ribbon that was observed by the IBIS. Such a circular-ribbon flare with a remote brightening is predicted in 3D fan-spine reconnection but so far has been rarely observed. During the flare impulsive phase, we define "core" and "halo" structures in the observed ribbon. Examining the \ha\ emission spectra averaged in the flare core and halo areas, we find that only those from the flare cores show typical nonthermal electron beam heating characteristics. These characteristics include: broad and centrally reversed emission spectra, excess emission in the red wing with regard to the blue wing (i.e., red asymmetry), and redshifted bisectors of the emission spectra. We also observe rather quick timescales for the heating (30 s) and cooling (14--33 s) in the flare core locations. Therefore, we suggest that the flare cores revealed by IBIS track the sites of electron beam precipitation with exceptional spatial and temporal resolution. The flare cores show two-stage motion (a parallel motion along the ribbon followed by an expansion motion perpendicular to the ribbon) during the two impulsive phases of the flare. Some cores jump quickly (30 \kms) between discrete magnetic elements implying reconnection involving different flux tubes. We observe a very high temporal correlation ($\gtrsim0.9$) between the integrated \ha\ and HXR emission during the flare impulsive phase. A short time delay (4.6 s) is also found in the \ha\ emission spikes relative to HXR bursts. The ionization timescale of the cool chromosphere and the extra time taken for the electrons to travel to the remote ribbon site may contribute to this delay.

preprint2013arXiv

Importance of non-parabolic band effects in the thermoelectric properties of semiconductors

We present an analysis of the thermoelectric properties of of $n$-type GeTe and SnTe in relation to the lead chalcogenides PbTe and PbSe. We find that the singly degenerate conduction bands of semiconducting GeTe and SnTe are highly non-ellipsoidal, even very close to the band edges. This leads to isoenergy surfaces with a strongly corrugated shape that is clearly evident at carrier concentrations well below 0.005 $e$ per formula unit (7 - 9 $\times$ 10$^{19}$cm$^{-3}$ depending on material) Analysis within Boltzmann theory suggests that this corrugation may be favorable for the thermoelectric transport. Our calculations also indicate that values of the power factor for these two materials may well exceed those of PbTe and PbSe. As a result these materials may exhibit $n$-type performance exceeding that of the lead chalcogenides.

preprint2013arXiv

Navier-Stokes equation and forward-backward stochastic differential system in the Besov spaces

The Navier-Stokes equation on Rd (d greater or equal to 3) formulated on Besov spaces is considered. Using a stochastic forward-backward differential system, the local existence of a unique solution in B_ r, with r > 1 + d is obtained. We also show p,p p the convergence to solutions of the Euler equation when the viscosity tends to zero. Moreover, we prove the local existence of a unique solution in B_ pr,q, with p > 1, 1 greater or equal to q greater or equal to infinity, r > max(1, d); here the maximal time interval depends on p the viscosity.

preprint2013arXiv

Origin of the phase transition in IrTe2: structural modulation and local bonding instability

We used X-ray/neutron diffraction to determine the low temperature (LT) structure of IrTe2. A structural modulation was observed with a wavevector of k =(1/5, 0, 1/5) below Ts?285 K, accompanied by a structural transition from a trigonal to a triclinic lattice. We also performed the first principles calculations for high temperature (HT) and LT structures, which elucidate the nature of the phase transition and the LT structure. A local bonding instability associated with the Te 5p states is likely the origin of the structural phase transition in IrTe2.

preprint2013arXiv

Potential thermoelectric performance of hole-doped Cu2O

High thermoelectric performance in oxides requires stable conductive materials that have suitable band structures. Here we show based on an analysis of the thermopower and related properties using first-principles calculations and Boltzmann transport theory that hole doped Cu2O may be such a material. We find that hole-doped Cu2O has a high thermopower of above 200 microV/K even with doping levels as high as 5.5x10 20 cm-3 at 500 K, mainly attributed to the heavy valence bands of Cu2O. This is reminiscent of the cobaltate family of high performance oxide thermoelectrics and implies that hole-doped Cu2O could be an excellent thermoelectric material if suitably doped.

preprint2013arXiv

Quantum Path Interference through Incoherent Motions in Multilevel Quantum Systems

Quantum path interferences or resonances in multilevel dissipative quantum systems play an important and intriguing role in the transport processes of nanoscale systems. Many previous minimalistic models used to describe the quantum path interference driven by incoherent fields are based on the approximations including the second order perturbation for the weak coupling limit, the ad-hoc choices of two-time correlation functions and $\it{etc}$. On the other hand, the similar model to study the non-adiabatic molecular electronic excitation have been extensively developed and many efficient quantum molecular dynamics simulation schemes, such as the Ehrenfest scheme, have been proposed. In this paper, I aim to propose an unified model, extend the Ehrenfest scheme to study the interactions of system-light and system-phonon simultaneously and gain insight into and principles of the roles of quantum path interferences in the realistic molecular systems. I discuss how to derive the time-dependent stochastic Schr$\ddot{o}$dinger equation from the Ehrenfest scheme as a foundation to discuss the detailed balance for the weak coupling limit and therefore the quantum correction in the Ehrenfest scheme. Different from the master equation technique, the Ehrenfest scheme doesn't need any specific assumptions about spectral densities and two time correlation functions. With simple open two-level and three-level quantum systems, I show the effect of the quantum path interference on the steady state populations. Currently I only focus on the role of the phonon thermal reservoir. The electromagnetic field (solar light) will be modeled as a thermal reservoir and discussed in detail in the future paper.

preprint2012arXiv

Acoustic impedance and interface phonon scattering in Bi$_2$Te$_3$ and other semiconducting materials

We present first principles calculations of the phonon dispersions of Bi2Te3 and discuss these in relation to the acoustic phonon interface scattering in ceramics. The phonon dispersions show agreement with what is known from neutron scattering for the optic modes. We find a difference between the generalized gradient approximation and local density results for the acoustic branches. This is a consequence of an artificial compression of the van der Waals bonded gaps in the Bi2Te3 structure when using the generalized gradient approximation. As a result local density approximation calculations provide a better description of the phonon dispersions in Bi$_{2}$Te$_{3}$. A key characteristic of the acoustic dispersions is the existence of a strong anisotropy in the velocities. We develop a model for interface scattering in ceramics with acoustic wave anisotropy and apply this to Bi2Te3 and compare with PbTe and diamond.

preprint2012arXiv

Coordinate-independent sparse sufficient dimension reduction and variable selection

Sufficient dimension reduction (SDR) in regression, which reduces the dimension by replacing original predictors with a minimal set of their linear combinations without loss of information, is very helpful when the number of predictors is large. The standard SDR methods suffer because the estimated linear combinations usually consist of all original predictors, making it difficult to interpret. In this paper, we propose a unified method - coordinate-independent sparse estimation (CISE) - that can simultaneously achieve sparse sufficient dimension reduction and screen out irrelevant and redundant variables efficiently. CISE is subspace oriented in the sense that it incorporates a coordinate-independent penalty term with a broad series of model-based and model-free SDR approaches. This results in a Grassmann manifold optimization problem and a fast algorithm is suggested. Under mild conditions, based on manifold theories and techniques, it can be shown that CISE would perform asymptotically as well as if the true irrelevant predictors were known, which is referred to as the oracle property. Simulation studies and a real-data example demonstrate the effectiveness and efficiency of the proposed approach.

preprint2012arXiv

High three dimensional thermoelectric performance from low dimensional bands

Reduced dimensionality has long been regarded as an important strategy for increasing thermoelectric performance, for example in superlattices and other engineered structures. Here we point out and illustrate by examples that three dimensional bulk materials can be made to behave as if they were two dimensional from the point of view of thermoelectric performance. Implications for the discovery of new practical thermoelectrics are discussed.

preprint2012arXiv

Synaptic potentiation facilitates memory-like attractor dynamics in cultured in vitro hippocampal networks

Collective rhythmic dynamics from neurons is vital for cognitive functions such as memory formation but how neurons self-organize to produce such activity is not well understood. Attractor-based models have been successfully implemented as a theoretical framework for memory storage in networks of neurons. Activity-dependent modification of synaptic transmission is thought to be the physiological basis of learning and memory. The goal of this study is to demonstrate that using a pharmacological perturbation on in vitro networks of hippocampal neurons that has been shown to increase synaptic strength follows the dynamical postulates theorized by attractor models. We use a grid of extracellular electrodes to study changes in network activity after this perturbation and show that there is a persistent increase in overall spiking and bursting activity after treatment. This increase in activity appears to recruit more "errant" spikes into bursts. Lastly, phase plots indicate a conserved activity pattern suggesting that the network is operating in a stable dynamical state.

preprint2012arXiv

Weighted Poincaré Inequalities for Nonlocal Dirichlet Forms

Let $V$ be a locally bounded measurable function such that $e^{-V}$ is bounded and belongs to $L^1(dx)$, and let $μ_V(dx):=C_V e^{-V(x)} dx$ be a probability measure. We present the criterion for the weighted Poincaré inequality of the non-local Dirichlet form $$ D_{ρ,V}(f,f):=\iint(f(y)-f(x))^2ρ(|x-y|) dy μ_V(dx) $$ on $L^2(μ_V)$. Taking $ρ(r)={e^{-δr}}{r^{-(d+α)}}$ with $0<α<2$ and $δ\geqslant 0$, we get some conclusions for general fractional Dirichlet forms, which can be regarded as a complement of our recent work Wang and Wang (2012), and an improvement of the main result in Mouhot, Russ, and Sire (2011). In this especial setting, concentration of measure for the standard Poincaré inequality is also derived. Our technique is based on the Lyapunov conditions for the associated truncated Dirichlet form, and it is considerably efficient for the weighted Poincaré inequality of the following non-local Dirichlet form $$ D_{ψ,V}(f,f):=\iint(f(y)-f(x))^2ψ(|x-y|) e^{-V(y)} dy e^{-V(x)} dx $$ on $L^2(μ_{2V})$, which is associated with symmetric Markov processes under Girsanov transform of pure jump type.

preprint2011arXiv

Online Verification of Control Parameter Calculations in Communication Based Train Control System

Communication Based Train Control (CBTC) system is the state-of-the-art train control system. In a CBTC system, to guarantee the safety of train operation, trains communicate with each other intensively and adjust their control modes autonomously by computing critical control parameters, e.g. velocity range, according to the information they get. As the correctness of the control parameters generated are critical to the safety of the system, a method to verify these parameters is a strong desire in the area of train control system. In this paper, we present our ideas of how to model and verify the control parameter calculations in a CBTC system efficiently. - As the behavior of the system is highly nondeterministic, it is difficult to build and verify the complete behavior space model of the system online in advance. Thus, we propose to model the system according to the ongoing behavior model induced by the control parameters. - As the parameters are generated online and updated very quickly, the verification result will be meaningless if it is given beyond the time bound, since by that time the model will be changed already. Thus, we propose a method to verify the existence of certain dangerous scenarios in the model online quickly. To demonstrate the feasibility of these proposed approaches, we present the composed linear hybrid automata with readable shared variables as a modeling language to model the control parameters calculation and give a path-oriented reachability analysis technique for the scenario-based verification of this model. We demonstrate the model built for the CBTC system, and show the performance of our technique in fast online verification. Last but not least, as CBTC system is a typical CPS system, we also give a short discussion of the potential directions for CPS verification in this paper.

preprint2010arXiv

An approximation scheme for SDEs with non-smooth coefficients

Elliptic stochastic differential equations (SDE) make sense when the coefficients are only continuous. We study the corresponding linearized SDE whose coefficients are not assumed to be locally bounded. This leads to existence of $W_{\loc}^{1,p}$ solution flows for elliptic SDEs with Hölder continuous and $\cap_{p} W_{\loc}^{1,p}$ coefficients. Furthermore an approximation scheme is studied from which we obtain a representation for the derivative of the Markov semigroup, and an integration by parts formula.

preprint2010arXiv

Observed network dynamics from altering the balance between excitatory and inhibitory neurons in cultured networks

Complexity in the temporal organization of neural systems may be a reflection of the diversity of its neural constituents. These constituents, excitatory and inhibitory neurons, comprise an invariant ratio in vivo and form the substrate for rhythmic oscillatory activity. To begin to elucidate the dynamical mechanisms that underlie this balance, we construct novel neural circuits not ordinarily found in nature. We culture several networks of neurons composed of excitatory and inhibitory cells and use a multi-electrode array to study their temporal dynamics as the balance is modulated. We use the electrode burst as the temporal imprimatur to signify the presence of network activity. Burst durations, inter-burst intervals, and the number of spikes participating within a burst are used to illustrate the vivid dynamical differences between the various cultured networks. When the network consists largely of excitatory neurons, no network temporal structure is apparent. However, the addition of inhibitory neurons evokes a temporal order. Calculation of the temporal autocorrelation shows that when the number of inhibitory neurons is a major fraction of the network, a striking network pattern materializes when none was previously present.

preprint2009arXiv

A Concrete Estimate For The Weak Poincare Inequality On Loop Space

The aim of the paper is to study the pinned Wiener measure on the loop space over a simply connected compact Riemannian manifold together with the Hilbert space structure induced by Mallianvin calculus and the induced Ornstein- Uhlenbeck operator. We give a concrete estimate for the weak Poincare inequality for the O-U Dirichlet form on loop space over simply connected compact Riemannian manifold with strict positive Ricci curvature.

preprint2009arXiv

A Poincaré Inequality on Loop Spaces

We investigate properties of measures in infinite dimensional spaces in terms of Poincaré inequalities. A Poincaré inequality states that the $L^2$ variance of an admissible function is controlled by the homogeneous $H^1$ norm. In the case of Loop spaces, it was observed by L. Gross that the homogeneous $H^1$ norm alone may not control the $L^2$ norm and a potential term involving the end value of the Brownian bridge is introduced. Aida, on the other hand, introduced a weight on the Dirichlet form. We show that Aida's modified Logarithmic Sobolev inequality implies weak Logarithmic Sobolev Inequalities and weak Poincaré inequalities with precise estimates on the order of convergence. The order of convergence in the weak Sobolev inequalities are related to weak $L^1$ estimates on the weight function. This and a relation between Logarithmic Sobolev inequalities and weak Poincaré inequalities lead to a Poincaré inequality on the loop space over certain manifolds.

preprint2005arXiv

Buffer-Enhanced Electrical-Pulse-Induced-Resistive Memory Effect in Thin Film Perovskites

A multilayer perovskite thin film resistive memory device has been developed comprised of: a Pr0.7Ca0.3MnO3 (PCMO) perovskite oxide epitaxial layer on a YBCO bottom thin film electrode; a thin yttria stabilized zirconia (YSZ) buffer layer grown on the PCMO layer, and a gold thin film top electrode. The multi-layer thin film lattice structure has been characterized by XRD and TEM analyses showing a high quality heterostructure. I-AFM analysis indicated nano granular conductivity distributed uniformly throughout the PCMO film surface. With the addition of the YSZ buffer layer, the pulse voltage needed to switch the device is significantly reduced and the resistance-switching ratio is increased compared to a non-buffered resistance memory device, which is very important for the device fabrication. The magnetic field effect on the multilayer structure resistance at various temperatures shows CMR behavior for both high and low resistance states implying a bulk material component to the switch behavior.

preprint2004arXiv

The similarity metric

A new class of distances appropriate for measuring similarity relations between sequences, say one type of similarity per distance, is studied. We propose a new ``normalized information distance'', based on the noncomputable notion of Kolmogorov complexity, and show that it is in this class and it minorizes every computable distance in the class (that is, it is universal in that it discovers all computable similarities). We demonstrate that it is a metric and call it the {\em similarity metric}. This theory forms the foundation for a new practical tool. To evidence generality and robustness we give two distinctive applications in widely divergent areas using standard compression programs like gzip and GenCompress. First, we compare whole mitochondrial genomes and infer their evolutionary history. This results in a first completely automatic computed whole mitochondrial phylogeny tree. Secondly, we fully automatically compute the language tree of 52 different languages.