Source author record

Li Li

Li Li appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

hep-th quant-ph Software Engineering Machine Learning gr-qc Cryptography and Security Computer Vision Networking and Internet Architecture Systems and Control eess.SY cond-mat.supr-con math.CO cond-mat.str-el Information Theory math.AP math.IT Artificial Intelligence eess.IV math.AG physics.comp-ph eess.SP math.AC physics.chem-ph Applications cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.soft hep-ph math-ph math.MP math.OC Multimedia math.RA Methodology physics.atom-ph physics.data-an physics.soc-ph Computation Computation and Language cond-mat.dis-nn cond-mat.stat-mech Distributed, Parallel, and Cluster Computing econ.EM eess.AS Information Retrieval math.RT Neural and Evolutionary Computing nucl-th Other Quantitative Biology Performance physics.ins-det physics.med-ph physics.optics physics.plasm-ph physics.pop-ph Populations and Evolution Programming Languages Social and Information Networks Sound stat.OT

Catalog footprint

What is connected

177works

60topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2026arXiv

Counterfactual Trace Auditing of LLM Agent Skills

Large Language Model agents are increasingly augmented with agent skills. Current evaluation methods for skills remain limited. Most deployed benchmarks report only pass rate before and after a skill is attached, treating the skill as a black box change to agent behavior. We introduce Counterfactual Trace Auditing (CTA), a framework for measuring how a skill changes agent behavior. CTA pairs each with skill agent trace with a without skill counterpart on the same task, segments both traces into goal directed phases, aligns the phases, and emits structured Skill Influence Pattern (SIP) annotations. These annotations describe the behavioral effect of a skill rather than only its task outcome. We instantiate CTA on SWE-Skills-Bench with Claude across 49 software engineering tasks. The resulting audit reveals a clear evaluation gap. Pass rate changes by only +0.3 percentage points on average, suggesting little aggregate effect. Yet CTA identifies 522 SIP instances across the same paired traces, showing that the skills substantially reshape agent behavior even when pass rate is nearly unchanged. The audit also separates several recurring effects that pass rate cannot detect, including literal template copying, off task artifact creation, excess planning, and task recovery. Three findings emerge. First, high baseline tasks contain most of the observed skill effects, although their pass rate is already saturated and therefore cannot reflect those effects. Second, tasks with moderate baseline performance show the most recoverable gain, but often at substantially higher token cost. Third, the dominant SIP type can be identified by baseline bucket: surface anchoring is most common on ceiling tasks and edge-case prompting is most common on mid-range and floor tasks. These regularities turn informal failure mode observations into reproducible behavioral measurements.

preprint2024arXiv

Exploiting Spatial-Temporal Context for Interacting Hand Reconstruction on Monocular RGB Video

Reconstructing interacting hands from monocular RGB data is a challenging task, as it involves many interfering factors, e.g. self- and mutual occlusion and similar textures. Previous works only leverage information from a single RGB image without modeling their physically plausible relation, which leads to inferior reconstruction results. In this work, we are dedicated to explicitly exploiting spatial-temporal information to achieve better interacting hand reconstruction. On one hand, we leverage temporal context to complement insufficient information provided by the single frame, and design a novel temporal framework with a temporal constraint for interacting hand motion smoothness. On the other hand, we further propose an interpenetration detection module to produce kinetically plausible interacting hands without physical collisions. Extensive experiments are performed to validate the effectiveness of our proposed framework, which achieves new state-of-the-art performance on public benchmarks.

preprint2024arXiv

On the Reliability and Explainability of Language Models for Program Generation

Recent studies have adopted pre-trained language models, such as CodeT5 and CodeGPT, for automated program generation tasks like code generation, repair, and translation. Numerous language model-based approaches have been proposed and evaluated on various benchmark datasets, demonstrating promising performance. However, there is still uncertainty about the reliability of these models, particularly their realistic ability to consistently transform code sequences. This raises the question: are these techniques sufficiently trustworthy for automated program generation? Consequently, Further research is needed to understand model logic and assess reliability and explainability. To bridge these research gaps, we conduct a thorough empirical study of eight popular language models on five representative datasets to determine the capabilities and limitations of automated program generation approaches. We further employ advanced explainable AI approaches to highlight the tokens that significantly contribute to the code transformation. We discover that state-of-the-art approaches suffer from inappropriate performance evaluation stemming from severe data duplication, causing over-optimistic results. Our explainability analysis reveals that, in various experimental scenarios, language models can recognize code grammar and structural information, but they exhibit limited robustness to changes in input sequences. Overall, more rigorous evaluation approaches and benchmarks are critical to enhance the reliability and explainability of automated program generation moving forward. Our findings provide important guidelines for this goal.

preprint2024arXiv

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

In light of the growing interest in type inference research for Python, both researchers and practitioners require a standardized process to assess the performance of various type inference techniques. This paper introduces TypeEvalPy, a comprehensive micro-benchmarking framework for evaluating type inference tools. TypeEvalPy contains 154 code snippets with 845 type annotations across 18 categories that target various Python features. The framework manages the execution of containerized tools, transforms inferred types into a standardized format, and produces meaningful metrics for assessment. Through our analysis, we compare the performance of six type inference tools, highlighting their strengths and limitations. Our findings provide a foundation for further research and optimization in the domain of Python type inference.

preprint2022arXiv

A New Fuzzy $H_{\infty}$ Filter Design for Nonlinear Time-Delay Systems with Mismatched Premise Membership Functions

This paper is concerned with the fuzzy $H_{\infty}$ filter design issue for nonlinear systems with time-varying delay. To overcome the shortcomings of the conventional methods with matched preconditions, the fuzzy $H_{\infty}$ filter to be designed and the T-S fuzzy model are assumed to have different premise membership functions and number of rules, thus, greater design flexibility and robustness to uncertainty can be achieved. However, such design will also make the derived results conservative, to relax the result, a novel integral inequality which is tighter than the traditional inequalities derived from the Leibniz-Newton formula is applied, besides, a fuzzy Lypunov function and the information of the membership functions are also introduced. All the design methods are presented in LMI-based conditions. Finally, two numerical examples are given to prove the effectiveness and superiority of the proposed approach.

preprint2022arXiv

An inverse problem for a fractional diffusion equation with fractional power type nonlinearities

We study the well-posedness of a semilinear fractional diffusion equation and formulate an associated inverse problem. We determine fractional power type nonlinearities from the exterior partial measurements of the Dirichlet-to-Neumann map. Our arguments are based on a first order linearization as well as the parabolic Runge approximation property.

preprint2022arXiv

An Investigation into Inconsistency of Software Vulnerability Severity across Data Sources

Software Vulnerability (SV) severity assessment is a vital task for informing SV remediation and triage. Ranking of SV severity scores is often used to advise prioritization of patching efforts. However, severity assessment is a difficult and subjective manual task that relies on expertise, knowledge, and standardized reporting schemes. Consequently, different data sources that perform independent analysis may provide conflicting severity rankings. Inconsistency across these data sources affects the reliability of severity assessment data, and can consequently impact SV prioritization and fixing. In this study, we investigate severity ranking inconsistencies over the SV reporting lifecycle. Our analysis helps characterize the nature of this problem, identify correlated factors, and determine the impacts of inconsistency on downstream tasks. Our findings observe that SV severity often lacks consideration or is underestimated during initial reporting, and such SVs consequently receive lower prioritization. We identify six potential attributes that are correlated to this misjudgment, and show that inconsistency in severity reporting schemes can severely degrade the performance of downstream severity prediction by up to 77%. Our findings help raise awareness of SV severity data inconsistencies and draw attention to this data quality problem. These insights can help developers better consider SV severity data sources, and improve the reliability of consequent SV prioritization. Furthermore, we encourage researchers to provide more attention to SV severity data selection.

preprint2022arXiv

Attribute Artifacts Removal for Geometry-based Point Cloud Compression

Geometry-based point cloud compression (G-PCC) can achieve remarkable compression efficiency for point clouds. However, it still leads to serious attribute compression artifacts, especially under low bitrate scenarios. In this paper, we propose a Multi-Scale Graph Attention Network (MS-GAT) to remove the artifacts of point cloud attributes compressed by G-PCC. We first construct a graph based on point cloud geometry coordinates and then use the Chebyshev graph convolutions to extract features of point cloud attributes. Considering that one point may be correlated with points both near and far away from it, we propose a multi-scale scheme to capture the short- and long-range correlations between the current point and its neighboring and distant points. To address the problem that various points may have different degrees of artifacts caused by adaptive quantization, we introduce the quantization step per point as an extra input to the proposed network. We also incorporate a weighted graph attentional layer into the network to pay special attention to the points with more attribute artifacts. To the best of our knowledge, this is the first attribute artifacts removal method for G-PCC. We validate the effectiveness of our method over various point clouds. Objective comparison results show that our proposed method achieves an average of 9.74% BD-rate reduction compared with Predlift and 10.13% BD-rate reduction compared with RAHT. Subjective comparison results present that visual artifacts such as color shifting, blurring, and quantization noise are reduced.

preprint2022arXiv

Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)

Fragmentation is a serious problem in the Android ecosystem. This problem is mainly caused by the fast evolution of the system itself and the various customizations independently maintained by different smartphone manufacturers. Many efforts have attempted to mitigate its impact via approaches to automatically pinpoint compatibility issues in Android apps. Unfortunately, at this stage, it is still unknown if this objective has been fulfilled, and the existing approaches can indeed be replicated and reliably leveraged to pinpoint compatibility issues in the wild. We, therefore, propose to fill this gap by first conducting a literature review within this topic to identify all the available approaches. Among the nine identified approaches, we then try our best to reproduce them based on their original datasets. After that, we go one step further to empirically compare those approaches against common datasets with real-world apps containing compatibility issues. Experimental results show that existing tools can indeed be reproduced, but their capabilities are quite distinct, as confirmed by the fact that there is only a small overlap of the results reported by the selected tools. This evidence suggests that more efforts should be spent by our community to achieve sound compatibility issues detection.

preprint2022arXiv

Chain decompositions of q,t-Catalan numbers: tail extensions and flagpole partitions

This article is part of an ongoing investigation of the combinatorics of $q,t$-Catalan numbers $\textrm{Cat}_n(q,t)$. We develop a structure theory for integer partitions based on the partition statistics dinv, deficit, and minimum triangle height. Our goal is to decompose the infinite set of partitions of deficit $k$ into a disjoint union of chains $\mathcal{C}_μ$ indexed by partitions of size $k$. Among other structural properties, these chains can be paired to give refinements of the famous symmetry property $\textrm{Cat}_n(q,t)=\textrm{Cat}_n(t,q)$. Previously, we introduced a map that builds the tail part of each chain $\mathcal{C}_μ$. Our first main contribution here is to extend this map to construct larger second-order tails for each chain. Second, we introduce new classes of partitions called flagpole partitions and generalized flagpole partitions. Third, we describe a recursive construction for building the chain $\mathcal{C}_μ$ for a (generalized) flagpole partition $μ$, assuming that the chains indexed by certain specific smaller partitions (depending on $μ$) are already known. We also give some enumerative and asymptotic results for flagpole partitions and their generalized versions.

preprint2022arXiv

Characterizing Sensor Leaks in Android Apps

While extremely valuable to achieve advanced functions, mobile phone sensors can be abused by attackers to implement malicious activities in Android apps, as experimentally demonstrated by many state-of-the-art studies. There is hence a strong need to regulate the usage of mobile sensors so as to keep them from being exploited by malicious attackers. However, despite the fact that various efforts have been put in achieving this, i.e., detecting privacy leaks in Android apps, we have not yet found approaches to automatically detect sensor leaks in Android apps. To fill the gap, we designed and implemented a novel prototype tool, SEEKER, that extends the famous FlowDroid tool to detect sensor-based data leaks in Android apps. SEEKER conducts sensor-focused static taint analyses directly on the Android apps' bytecode and reports not only sensor-triggered privacy leaks but also the sensor types involved in the leaks. Experimental results using over 40,000 real-world Android apps show that SEEKER is effective in detecting sensor leaks in Android apps, and malicious apps are more interested in leaking sensor data than benign apps.

preprint2022arXiv

CODE-MVP: Learning to Represent Source Code from Multiple Views with Contrastive Pre-Training

Recent years have witnessed increasing interest in code representation learning, which aims to represent the semantics of source code into distributed vectors. Currently, various works have been proposed to represent the complex semantics of source code from different views, including plain text, Abstract Syntax Tree (AST), and several kinds of code graphs (e.g., Control/Data Flow Graph). However, most of them only consider a single view of source code independently, ignoring the correspondences among different views. In this paper, we propose to integrate different views with the natural-language description of source code into a unified framework with Multi-View contrastive Pre-training, and name our model as CODE-MVP. Specifically, we first extract multiple code views using compiler tools, and learn the complementary information among them under a contrastive learning framework. Inspired by the type checking in compilation, we also design a fine-grained type inference objective in the pre-training. Experiments on three downstream tasks over five datasets demonstrate the superiority of CODE-MVP when compared with several state-of-the-art baselines. For example, we achieve 2.4/2.3/1.1 gain in terms of MRR/MAP/Accuracy metrics on natural language code retrieval, code similarity, and code defect detection tasks, respectively.

preprint2022arXiv

Constraining the number of horizons with energy conditions

We show that the number of horizons of static black holes can be strongly constrained by energy conditions of matter fields. After a careful clarification on the "interior" of a black hole, we prove that if the interior of a static black hole satisfies strong energy condition or null energy condition, there is at most one non-degenerated inner Killing horizon behind the non-degenerated event horizon. Our result offers some universal restrictions on the number of horizons. Interestingly and importantly, it also suggests that matter not only promotes the formation of event horizon but also prevents the appearance of multiple horizons inside black holes. Furthermore, using the geometrical construction, we obtain a radially conserved quantity which is valid for general static spacetimes.

preprint2022arXiv

Continuous-Time and Event-Triggered Online Optimization for Linear Multi-Agent Systems

This paper studies the decentralized online convex optimization problem for heterogeneous linear multi-agent systems. Agents have access to their time-varying local cost functions related to their own outputs, and there are also time-varying coupling inequality constraints among them. The goal of each agent is to minimize the global cost function by selecting appropriate local actions only through communication between neighbors. We design a distributed controller based on the saddle-point method which achieves constant regret bound and sublinear fit bound. In addition, to reduce the communication overhead, we propose an event-triggered communication scheme and show that the constant regret bound and sublinear fit bound are still achieved in the case of discrete communications with no Zeno behavior. A numerical example is provided to verify the proposed algorithms.with no Zeno behavior. A numerical example is provided to verify the proposed algorithms.

preprint2022arXiv

CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning

Github Copilot, trained on billions of lines of public code, has recently become the buzzword in the computer science research and practice community. Although it is designed to help developers implement safe and effective code with powerful intelligence, practitioners and researchers raise concerns about its ethical and security problems, e.g., should the copyleft licensed code be freely leveraged or insecure code be considered for training in the first place? These problems pose a significant impact on Copilot and other similar products that aim to learn knowledge from large-scale open-source code through deep learning models, which are inevitably on the rise with the fast development of artificial intelligence. To mitigate such impacts, we argue that there is a need to invent effective mechanisms for protecting open-source code from being exploited by deep learning models. Here, we design and implement a prototype, CoProtector, which utilizes data poisoning techniques to arm source code repositories for defending against such exploits. Our large-scale experiments empirically show that CoProtector is effective in achieving its purpose, significantly reducing the performance of Copilot-like deep learning models while being able to stably reveal the secretly embedded watermark backdoors.

preprint2022arXiv

Dataset Bias in Android Malware Detection

Researchers have proposed kinds of malware detection methods to solve the explosive mobile security threats. We argue that the experiment results are inflated due to the research bias introduced by the variability of malware dataset. We explore the impact of bias in Android malware detection in three aspects, the method used to flag the ground truth, the distribution of malware families in the dataset, and the methods to use the dataset. We implement a set of experiments of different VT thresholds and find that the methods used to flag the malware data affect the malware detection performance directly. We further compare the impact of malware family types and composition on malware detection in detail. The superiority of each approach is different under various combinations of malware families. Through our extensive experiments, we showed that the methods to use the dataset can have a misleading impact on evaluation, and the performance difference can be up to over 40%. We argue that these research biases observed in this paper should be carefully controlled/eliminated to enforce a fair comparison of malware detection techniques. Providing reasonable and explainable results is better than only reporting a high detection accuracy with vague dataset and experimental settings.

preprint2022arXiv

Deep Learning for Android Malware Defenses: a Systematic Literature Review

Malicious applications (particularly those targeting the Android platform) pose a serious threat to developers and end-users. Numerous research efforts have been devoted to developing effective approaches to defend against Android malware. However, given the explosive growth of Android malware and the continuous advancement of malicious evasion technologies like obfuscation and reflection, Android malware defense approaches based on manual rules or traditional machine learning may not be effective. In recent years, a dominant research field called deep learning (DL), which provides a powerful feature abstraction ability, has demonstrated a compelling and promising performance in a variety of areas, like natural language processing and computer vision. To this end, employing deep learning techniques to thwart Android malware attacks has recently garnered considerable research attention. Yet, no systematic literature review focusing on deep learning approaches for Android Malware defenses exists. In this paper, we conducted a systematic literature review to search and analyze how deep learning approaches have been applied in the context of malware defenses in the Android environment. As a result, a total of 132 studies covering the period 2014-2021 were identified. Our investigation reveals that, while the majority of these sources mainly consider DL-based on Android malware detection, 53 primary studies (40.1 percent) design defense approaches based on other scenarios. This review also discusses research trends, research focuses, challenges, and future research directions in DL-based Android malware defenses.

preprint2022arXiv

Deep Reinforcement Learning for RIS-aided Multiuser Full-Duplex Secure Communications with Hardware Impairments

In this paper, we investigate a reconfigurable intelligent surface (RIS)-aided multiuser full-duplex secure communication system with hardware impairments at transceivers and RIS, where multiple eavesdroppers overhear the two-way transmitted signals simultaneously, and an RIS is applied to enhance the secrecy performance. Aiming at maximizing the sum secrecy rate (SSR), a joint optimization problem of the transmit beamforming at the base station (BS) and the reflecting beamforming at the RIS is formulated under the transmit power constraint of the BS and the unit modulus constraint of the phase shifters. As the environment is time-varying and the system is high-dimensional, this non-convex optimization problem is mathematically intractable. A deep reinforcement learning (DRL)-based algorithm is explored to obtain the satisfactory solution by repeatedly interacting with and learning from the dynamic environment. Extensive simulation results illustrate that the DRL-based secure beamforming algorithm is proved to be significantly effective in improving the SSR. It is also found that the performance of the DRL-based method can be greatly improved and the convergence speed of neural network can be accelerated with appropriate neural network parameters.

preprint2022arXiv

Determining the collision kernel in the Boltzmann equation near the equilibrium

We consider an inverse problem for the nonlinear Boltzmann equation near the equilibrium. Our goal is to determine the collision kernel in the Boltzmann equation from the knowledge of the Albedo operator. Our approach relies on a linearization technique as well as the injectivity of the Gauss-Weierstrass transform.

preprint2022arXiv

Difuzer: Uncovering Suspicious Hidden Sensitive Operations in Android Apps

One prominent tactic used to keep malicious behavior from being detected during dynamic test campaigns is logic bombs, where malicious operations are triggered only when specific conditions are satisfied. Defusing logic bombs remains an unsolved problem in the literature. In this work, we propose to investigate Suspicious Hidden Sensitive Operations (SHSOs) as a step towards triaging logic bombs. To that end, we develop a novel hybrid approach that combines static analysis and anomaly detection techniques to uncover SHSOs, which we predict as likely implementations of logic bombs. Concretely, Difuzer identifies SHSO entry-points using an instrumentation engine and an inter-procedural data-flow analysis. Then, it extracts trigger-specific features to characterize SHSOs and leverages One-Class SVM to implement an unsupervised learning model for detecting abnormal triggers. We evaluate our prototype and show that it yields a precision of 99.02% to detect SHSOs among which 29.7% are logic bombs. Difuzer outperforms the state-of-the-art in revealing more logic bombs while yielding less false positives in about one order of magnitude less time. All our artifacts are released to the community.

preprint2022arXiv

Do Customized Android Frameworks Keep Pace with Android?

To satisfy varying customer needs, device vendors and OS providers often rely on the open-source nature of the Android OS and offer customized versions of the Android OS. When a new version of the Android OS is released, device vendors and OS providers need to merge the changes from the Android OS into their customizations to account for its bug fixes, security patches, and new features. Because developers of customized OSs might have made changes to code locations that were also modified by the developers of the Android OS, the merge task can be characterized by conflicts, which can be time-consuming and error-prone to resolve. To provide more insight into this critical aspect of the Android ecosystem, we present an empirical study that investigates how eight open-source customizations of the Android OS merge the changes from the Android OS into their projects. The study analyzes how often the developers from the customized OSs merge changes from the Android OS, how often the developers experience textual merge conflicts, and the characteristics of these conflicts. Furthermore, to analyze the effect of the conflicts, the study also analyzes how the conflicts can affect a randomly selected sample of 1,000 apps. After analyzing 1,148 merge operations, we identified that developers perform these operations for 9.7\% of the released versions of the Android OS, developers will encounter at least one conflict in 41.3\% of the merge operations, 58.1\% of the conflicts required developers to change the customized OSs, and 64.4\% of the apps considered use at least one method affected by a conflict. In addition to detailing our results, the paper also discusses the implications of our findings and provides insights for researchers and practitioners working with Android and its customizations.

preprint2022arXiv

Efficient approximation of experimental Gaussian boson sampling

Two recent landmark experiments have performed Gaussian boson sampling (GBS) with a non-programmable linear interferometer and threshold detectors on up to 144 output modes (see Refs.~\onlinecite{zhong_quantum_2020,zhong2021phase}). Here we give classical sampling algorithms with better total variation distance and Kullback-Leibler divergence than these experiments and a computational cost quadratic in the number of modes. Our method samples from a distribution that approximates the single-mode and two-mode ideal marginals of the given Gaussian boson sampler, which are calculated efficiently. One implementation sets the parameters of a Boltzmann machine from the calculated marginals using a mean field solution. This is a 2nd order approximation, with the uniform and thermal approximations corresponding to the 0th and 1st order, respectively. The $k$th order approximation reproduces Ursell functions (also known as connected correlations) up to order $k$ with a cost exponential in $k$ and high precision, while the experiment exhibits higher order Ursell functions with lower precision. This methodology, like other polynomial approximations introduced previously, does not apply to random circuit sampling because the $k$th order approximation would simply result in the uniform distribution, in contrast to GBS.

preprint2022arXiv

Efficient Bipartite Entanglement Detection Scheme with a Quantum Adversarial Solver

The recognition of entanglement states is a notoriously difficult problem when no prior information is available. Here, we propose an efficient quantum adversarial bipartite entanglement detection scheme to address this issue. Our proposal reformulates the bipartite entanglement detection as a two-player zero-sum game completed by parameterized quantum circuits, where a two-outcome measurement can be used to query a classical binary result about whether the input state is bipartite entangled or not. In principle, for an $N$-qubit quantum state, the runtime complexity of our proposal is $O(\text{poly}(N)T)$ with $T$ being the number of iterations. We experimentally implement our protocol on a linear optical network and exhibit its effectiveness to accomplish the bipartite entanglement detection for 5-qubit quantum pure states and 2-qubit quantum mixed states. Our work paves the way for using near-term quantum machines to tackle entanglement detection on multipartite entangled quantum systems.

preprint2022arXiv

Energy Minimization in RIS-Assisted UAV-Enabled Wireless Power Transfer Systems

Unmanned aerial vehicle (UAV)-enabled wireless power transfer (WPT) systems offer significant advantages in coverage and deployment flexibility, but suffer from endurance limitations due to the limited onboard energy. This paper proposes to improve the energy efficiency of UAV-enabled WPT systems with multiple ground sensors by utilizing reconfigurable intelligent surface (RIS). Specifically, the total energy consumption of the UAV is minimized, while meeting the energy requirement of each sensor. Firstly, we consider a fly-hover-broadcast (FHB) protocol, in which the UAV radiates radio frequency (RF) signals only at several hovering locations. The energy minimization problem is formulated to jointly optimize the UAV's trajectory, hovering time and the RIS's reflection coefficients. To solve this complex non-convex problem, we propose an efficient algorithm. Specifically, the successive convex approximation (SCA) framework is adopted to jointly optimize the UAV's trajectory and hovering time, in which a minorization-maximization (MM) algorithm that maximizes the minimum charged energy of all sensors is provided to update the reflection coefficients. Then, we investigate the general scenario in which the RF signals are radiated during the flight, aiming to minimize the total energy consumption of the UAV by jointly optimizing the UAV's trajectory, flight time and the RIS's reflection coefficients. By applying the path discretization (PD) protocol, the optimization problem is formulated with a finite number of variables. A high-quality solution for this more challenging problem is obtained. Finally, our simulation results demonstrate the effectiveness of the proposed algorithm and the benefits of RIS in energy saving.

preprint2022arXiv

Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?

Machine learning (ML)-based Android malware detection has been one of the most popular research topics in the mobile security community. An increasing number of research studies have demonstrated that machine learning is an effective and promising approach for malware detection, and some works have even claimed that their proposed models could achieve 99\% detection accuracy, leaving little room for further improvement. However, numerous prior studies have suggested that unrealistic experimental designs bring substantial biases, resulting in over-optimistic performance in malware detection. Unlike previous research that examined the detection performance of ML classifiers to locate the causes, this study employs Explainable AI (XAI) approaches to explore what ML-based models learned during the training process, inspecting and interpreting why ML-based malware classifiers perform so well under unrealistic experimental settings. We discover that temporal sample inconsistency in the training dataset brings over-optimistic classification performance (up to 99\% F1 score and accuracy). Importantly, our results indicate that ML models classify malware based on temporal differences between malware and benign, rather than the actual malicious behaviors. Our evaluation also confirms the fact that unrealistic experimental designs lead to not only unrealistic detection performance but also poor reliability, posing a significant obstacle to real-world applications. These findings suggest that XAI approaches should be used to help practitioners/researchers better understand how do AI/ML models (i.e., malware detection) work -- not just focusing on accuracy improvement.

preprint2022arXiv

FastMVAE2: On improving and accelerating the fast variational autoencoder-based source separation algorithm for determined mixtures

This paper proposes a new source model and training scheme to improve the accuracy and speed of the multichannel variational autoencoder (MVAE) method. The MVAE method is a recently proposed powerful multichannel source separation method. It consists of pretraining a source model represented by a conditional VAE (CVAE) and then estimating separation matrices along with other unknown parameters so that the log-likelihood is non-decreasing given an observed mixture signal. Although the MVAE method has been shown to provide high source separation performance, one drawback is the computational cost of the backpropagation steps in the separation-matrix estimation algorithm. To overcome this drawback, a method called "FastMVAE" was subsequently proposed, which uses an auxiliary classifier VAE (ACVAE) to train the source model. By using the classifier and encoder trained in this way, the optimal parameters of the source model can be inferred efficiently, albeit approximately, in each step of the algorithm. However, the generalization capability of the trained ACVAE source model was not satisfactory, which led to poor performance in situations with unseen data. To improve the generalization capability, this paper proposes a new model architecture (called the "ChimeraACVAE" model) and a training scheme based on knowledge distillation. The experimental results revealed that the proposed source model trained with the proposed loss function achieved better source separation performance with less computation time than FastMVAE. We also confirmed that our methods were able to separate 18 sources with a reasonably good accuracy.

preprint2022arXiv

Feature-based intermittent demand forecast combinations: bias, accuracy and inventory implications

Intermittent demand forecasting is a ubiquitous and challenging problem in production systems and supply chain management. In recent years, there has been a growing focus on developing forecasting approaches for intermittent demand from academic and practical perspectives. However, limited attention has been given to forecast combination methods, which have achieved competitive performance in forecasting fast-moving time series. The current study aims to examine the empirical outcomes of some existing forecast combination methods and propose a generalized feature-based framework for intermittent demand forecasting. The proposed framework has been shown to improve the accuracy of point and quantile forecasts based on two real data sets. Further, some analysis of features, forecasting pools and computational efficiency is also provided. The findings indicate the intelligibility and flexibility of the proposed approach in intermittent demand forecasting and offer insights regarding inventory decisions.

preprint2022arXiv

Grant-Free Transmission by LDPC Matrix Mapping and Integrated Cover-MPA Detector

In this paper, a novel transceiver architecture is proposed to simultaneously achieve efficient random access and reliable data transmission in massive IoT networks. At the transmitter side, each user is assigned a unique protocol sequence which is used to identify the user and also indicate the user's channel access pattern. Hence, user identification is completed by the detection of channel access patterns. Particularly, the columns of a parity check matrix of low-density-parity-check (LDPC) code are employed as protocol sequences. The design guideline of this LDPC parity check matrix and the associated performance analysis are provided in this paper.At the receiver side, a two-stage iterative detection architecture is designed, which consists of a group testing component and a payload data decoding component. They collaborate in a way that the group testing component maps detected protocol sequences to a tanner graph, on which the second component could execute its message passing algorithm. In turn, zero symbols detected by the message passing algorithm of the second component indicate potential false alarms made by the first group testing component. Hence, the tanner graph could iteratively evolve.The provided simulation results demonstrate that our transceiver design realizes a practical one-step grant-free transmission and has a compelling performance.

preprint2022arXiv

How Well Does Kohn-Sham Regularizer Work for Weakly Correlated Systems?

Kohn-Sham regularizer (KSR) is a differentiable machine learning approach to finding the exchange-correlation functional in Kohn-Sham density functional theory (DFT) that works for strongly correlated systems. Here we test KSR for weak correlation. We propose spin-adapted KSR (sKSR) with trainable local, semilocal, and nonlocal approximations found by minimizing density and total energy loss. We assess the atoms-to-molecules generalizability by training on one-dimensional (1D) H, He, Li, Be, Be$^{++}$ and testing on 1D hydrogen chains, LiH, BeH$_2$, and helium hydride complexes. The generalization error from our semilocal approximation is comparable to other differentiable approaches, but our nonlocal functional outperforms any existing machine learning functionals, predicting ground-state energies of test systems with a mean absolute error of 2.7 milli-Hartrees.

preprint2022arXiv

Identifying and Characterizing Silently-Evolved Methods in the Android API

With over 500,000 commits and more than 700 contributors, the Android platform is undoubtedly one of the largest industrial-scale software projects. This project provides the Android API, and developers heavily rely on this API to develop their Android apps. Unfortunately, because the Android platform and its API evolve at an extremely rapid pace, app developers need to continually monitor API changes to avoid compatibility issues in their apps (\ie issues that prevent apps from working as expected when running on newer versions of the API). Despite a large number of studies on compatibility issues in the Android API, the research community has not yet investigated issues related to silently-evolved methods (SEMs). These methods are functions whose behavior might have changed but the corresponding documentation did not change accordingly. Because app developers rely on the provided documentation to evolve their apps, changes to methods that are not suitably documented may lead to unexpected failures in the apps using these methods. To shed light on this type of issue, we conducted a large-scale empirical study in which we identified and characterized SEMs across ten versions of the Android API. In the study, we identified SEMs, characterized the nature of the changes, and analyzed the impact of SEMs on a set of 1,000 real-world Android apps. Our experimental results show that SEMs do exist in the Android API, and that 957 of the apps we considered use at least one SEM. Based on these results, we argue that the Android platform developers should take actions to avoid introducing SEMs, especially those involving semantic changes. This situation highlights the need for automated techniques and tools to help Android practitioners in this task.

preprint2022arXiv

Image Captioning In the Transformer Age

Image Captioning (IC) has achieved astonishing developments by incorporating various techniques into the CNN-RNN encoder-decoder architecture. However, since CNN and RNN do not share the basic network component, such a heterogeneous pipeline is hard to be trained end-to-end where the visual encoder will not learn anything from the caption supervision. This drawback inspires the researchers to develop a homogeneous architecture that facilitates end-to-end training, for which Transformer is the perfect one that has proven its huge potential in both vision and language domains and thus can be used as the basic component of the visual encoder and language decoder in an IC pipeline. Meantime, self-supervised learning releases the power of the Transformer architecture that a pre-trained large-scale one can be generalized to various tasks including IC. The success of these large-scale models seems to weaken the importance of the single IC task. However, we demonstrate that IC still has its specific significance in this age by analyzing the connections between IC with some popular self-supervised learning paradigms. Due to the page limitation, we only refer to highly important papers in this short survey and more related works can be found at https://github.com/SjokerLily/awesome-image-captioning.

preprint2022arXiv

Improved Fuzzy $H_{\infty}$ Filter Design Method for Nonlinear Systems with Time-Varing Delay

This paper investigates the fuzzy $H_{\infty}$ filter design issue for nonlinear systems with time-varying delay. In order to obtain less conservative fuzzy $H_{\infty}$ filter design method, a novel integral inequality is employed to replace the conventional Lebniz-Newton formula to analyze the stability conditions of the filtering error system. Besides, the information of the membership functions is introduced in the criterion to further relax the derived results. The proposed delay dependent filter design method is presented as LMI-based conditions, and corresponding definite expressions of fuzzy $H_{\infty}$ filter are given as well. Finally, a simulation example is provided to prove the effectiveness and superiority of the designed fuzzy $H_{\infty}$ filter.

preprint2022arXiv

Incorporating Multiple Cluster Centers for Multi-Label Learning

Multi-label learning deals with the problem that each instance is associated with multiple labels simultaneously. Most of the existing approaches aim to improve the performance of multi-label learning by exploiting label correlations. Although the data augmentation technique is widely used in many machine learning tasks, it is still unclear whether data augmentation is helpful to multi-label learning. In this article, we propose to leverage the data augmentation technique to improve the performance of multi-label learning. Specifically, we first propose a novel data augmentation approach that performs clustering on the real examples and treats the cluster centers as virtual examples, and these virtual examples naturally embody the local label correlations and label importances. Then, motivated by the cluster assumption that examples in the same cluster should have the same label, we propose a novel regularization term to bridge the gap between the real examples and virtual examples, which can promote the local smoothness of the learning function. Extensive experimental results on a number of real-world multi-label datasets clearly demonstrate that our proposed approach outperforms the state-of-the-art counterparts.

preprint2022arXiv

Instability in charged Gauss-Bonnet-de Sitter black holes

We study the instability of the charged Gauss-Bonnet de Sitter black holes under gravito-electromagnetic perturbations. We adopt two criteria to search for an instability of the scalar type perturbations, including the local instability criterion based on the $AdS_2$ Breitenlöhner-Freedman (BF) bound at extremality and the dynamical instability via quasinormal modes by full numerical analysis. We uncover the gravitational instability in five spacetime dimensions and above, and construct the complete parameter space in terms of the ratio of event and cosmological horizons and the Gauss-Bonnet coupling. We show that the BF bound violation is a sufficient but not necessary condition for the presence of dynamical instability. While the physical origin of the instability without the Gauss-Bonnet term has been argued to be from the $AdS_2$ BF bound violation, our analysis suggests that the BF bound violation can not account for all physical origin of the instability for the charged Gauss-Bonnet black holes.

preprint2022arXiv

Interior Structure and Complexity Growth Rate of Holographic Superconductor from M-Theory

We study the interior dynamics of a top-down holographic superconductor from M-theory. The condense of the charged scalar hair necessarily removes the inner Cauchy horizon and the spacetime ends at a spacelike singularity. Although there is a smooth superconducting phase transition at the critical temperature, the onset of superconductivity is accompanied by intricate interior dynamics, including the collapse of the Einstein-Rosen bridge, the Josephson oscillations of the condensate, and the final Kasner singularity. We obtain analytically the transformation rule for the alternation of different Kasner epochs. Thanks to the nonlinear couplings of the top-down theory, there is generically a never-ending chaotic alternation of Kasner epochs towards the singularity. We compute the holographic complexity using both the complexity-action and the complexity-volume dualities. In contrast to the latter, the complexity growth rate from the complexity-action duality has a discontinuity at the critical temperature, characterizing the sudden change of the internal structure before and after the superconducting phase transition.

preprint2022arXiv

Loss-tolerant all-photonic quantum repeater with generalized Shor code

The all-photonic quantum repeater (APQR) is a promising repeater scheme to realize long-distance quantum communication. For a practical APQR, an indispensable requirement is the robustness of the repeater graph state (RGS) against photon loss. We propose a new loss-tolerant scheme by applying the generalized Shor code to RGS, which can be experimentally demonstrated with current technology. Experimentally, we first prepare and verify the nine-qubit Shor code. Then, by applying the generalized Shor code to APQR and preparing a simplified encoded RGS with the structure of $1\times2$ based on the Shor code state, the effectiveness of our loss-tolerant scheme and the loss tolerance of the encoded RGS are respectively verified. Our results make an essential step toward a practical APQR and enrich the research of quantum error correction code.

preprint2022arXiv

MFNet: Multi-class Few-shot Segmentation Network with Pixel-wise Metric Learning

In visual recognition tasks, few-shot learning requires the ability to learn object categories with few support examples. Its re-popularity in light of the deep learning development is mainly in image classification. This work focuses on few-shot semantic segmentation, which is still a largely unexplored field. A few recent advances are often restricted to single-class few-shot segmentation. In this paper, we first present a novel multi-way (class) encoding and decoding architecture which effectively fuses multi-scale query information and multi-class support information into one query-support embedding. Multi-class segmentation is directly decoded upon this embedding. For better feature fusion, a multi-level attention mechanism is proposed within the architecture, which includes the attention for support feature modulation and attention for multi-scale combination. Last, to enhance the embedding space learning, an additional pixel-wise metric learning module is introduced with triplet loss formulated on the pixel-level embedding of the input image. Extensive experiments on standard benchmarks PASCAL-5i and COCO-20i show clear benefits of our method over the state of the art in few-shot segmentation

preprint2022arXiv

Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues

Despite being one of the largest and most popular projects, the official Android framework has only provided test cases for less than 30% of its APIs. Such a poor test case coverage rate has led to many compatibility issues that can cause apps to crash at runtime on specific Android devices, resulting in poor user experiences for both apps and the Android ecosystem. To mitigate this impact, various approaches have been proposed to automatically detect such compatibility issues. Unfortunately, these approaches have only focused on detecting signature-induced compatibility issues (i.e., a certain API does not exist in certain Android versions), leaving other equally important types of compatibility issues unresolved. In this work, we propose a novel prototype tool, JUnitTestGen, to fill this gap by mining existing Android API usage to generate unit test cases. After locating Android API usage in given real-world Android apps, JUnitTestGen performs inter-procedural backward data-flow analysis to generate a minimal executable code snippet (i.e., test case). Experimental results on thousands of real-world Android apps show that JUnitTestGen is effective in generating valid unit test cases for Android APIs. We show that these generated test cases are indeed helpful for pinpointing compatibility issues, including ones involving semantic code changes.

preprint2022arXiv

Multi-Pair D2D Communications Aided by An Active RIS over Spatially Correlated Channels with Phase Noise

This paper investigates a multi-pair device-to-device (D2D) communication system aided by an active reconfigurable intelligent surface (RIS) with phase noise and direct link. The approximate closed-form expression of the ergodic sum rate is derived over spatially correlated Rician fading channels with statistical channel state information (CSI). When the Rician factors go to infinity, the asymptotic expressions of the ergodic sum rates are presented to give insights in poor scattering environment. The power scaling law for the special case of a single D2D pair is presented without phase noise under uncorrelated Rician fading condition. Then, to solve the ergodic sum rate maximization problem, a method based on genetic algorithm (GA) is proposed for joint power control and discrete phase shifts optimization. Simulation results verify the accuracy of our derivations, and also show that the active RIS outperforms the passive RIS.

preprint2022arXiv

Multiple EffNet/ResNet Architectures for Melanoma Classification

Melanoma is the most malignant skin tumor and usually cancerates from normal moles, which is difficult to distinguish benign from malignant in the early stage. Therefore, many machine learning methods are trying to make auxiliary prediction. However, these methods attach more attention to the image data of suspected tumor, and focus on improving the accuracy of image classification, but ignore the significance of patient-level contextual information for disease diagnosis in actual clinical diagnosis. To make more use of patient information and improve the accuracy of diagnosis, we propose a new melanoma classification model based on EffNet and Resnet. Our model not only uses images within the same patient but also consider patient-level contextual information for better cancer prediction. The experimental results demonstrated that the proposed model achieved 0.981 ACC. Furthermore, we note that the overall ROC value of the model is 0.976 which is better than the previous state-of-the-art approaches.

preprint2022arXiv

Non-linear elasticity, yielding and entropy in amorphous solids

The holographic duality has proven successful in linking seemingly unrelated problems in physics.Recently, intriguing correspondences between the physics of soft matter and gravity are emerging,including strong similarities between the rheology of amorphous solids, effective field theories for elasticity and the physics of black holes. However, direct comparisons between theoretical predictions and experimental/simulation observations remain limited. Here, we study the effects of non-linear elasticity on the mechanical and thermodynamic properties of amorphous materials responding to shear, using effective field and gravitational theories. The predicted correlations among the non-linear elastic exponent, the yielding strain/stress and the entropy change due to shear are supported qualitatively by simulations of granular matter models. Our approach opens a path towards understanding complex mechanical responses of amorphous solids, such as mixed effects of shear softening and shear hardening, and offers the possibility to study the rheology of solid states and black holes in a unified framework.

preprint2022arXiv

On inverse problems for uncoupled space-time fractional operators involving time-dependent coefficients

We study the uncoupled space-time fractional operators involving time-dependent coefficients and formulate the corresponding inverse problems. Our goal is to determine the variable coefficients from the exterior partial measurements of the Dirichlet-to-Neumann map. We exploit the integration by parts formula for Riemann-Liouville and Caputo derivatives to derive the Runge approximation property for our space-time fractional operator based on the unique continuation property of the fractional Laplacian. This enables us to extend early unique determination results for space-fractional but time-local operators to the space-time fractional case.

preprint2022arXiv

On the Importance of Building High-quality Training Datasets for Neural Code Search

The performance of neural code search is significantly influenced by the quality of the training data from which the neural models are derived. A large corpus of high-quality query and code pairs is demanded to establish a precise mapping from the natural language to the programming language. Due to the limited availability, most widely-used code search datasets are established with compromise, such as using code comments as a replacement of queries. Our empirical study on a famous code search dataset reveals that over one-third of its queries contain noises that make them deviate from natural user queries. Models trained through noisy data are faced with severe performance degradation when applied in real-world scenarios. To improve the dataset quality and make the queries of its samples semantically identical to real user queries is critical for the practical usability of neural code search. In this paper, we propose a data cleaning framework consisting of two subsequent filters: a rule-based syntactic filter and a model-based semantic filter. This is the first framework that applies semantic query cleaning to code search datasets. Experimentally, we evaluated the effectiveness of our framework on two widely-used code search models and three manually-annotated code retrieval benchmarks. Training the popular DeepCS model with the filtered dataset from our framework improves its performance by 19.2% MRR and 21.3% Answer@1, on average with the three validation benchmarks.

preprint2022arXiv

On the two-dimensional Jacobian conjecture: Magnus' formula revisited, I

Let $K$ be an algebraically closed field of characteristic 0. When the Jacobian $({\partial f}/{\partial x})({\partial g}/{\partial y}) - ({\partial g}/{\partial x})({\partial f}/{\partial y})$ is a constant for $f,g\in K[x,y]$, Magnus' formula from [A. Magnus, Volume preserving transformations in several complex variables, Proc. Amer. Math. Soc. 5 (1954), 256--266] describes the relations between the homogeneous degree pieces $f_i$'s and $g_i$'s. We show a more general version of Magnus' formula and prove a special case of the two-dimensional Jacobian conjecture as its application.

preprint2022arXiv

On the two-dimensional Jacobian conjecture: Magnus' formula revisited, II

This article is part of an ongoing investigation of the two-dimensional Jacobian conjecture. In the first paper of this series, we proved the generalized Magnus' formula. In this paper, inspired by cluster algebras, we introduce a sequence of new conjectures including the remainder vanishing conjecture. This makes the generalized Magnus' formula become a useful tool to show the two-dimensional Jacobian conjecture. In the forthcoming paper(s), we plan to prove the remainder vanishing conjecture.

preprint2022arXiv

On the Violation of Honesty in Mobile Apps: Automated Detection and Categories

Human values such as integrity, privacy, curiosity, security, and honesty are guiding principles for what people consider important in life. Such human values may be violated by mobile software applications (apps), and the negative effects of such human value violations can be seen in various ways in society. In this work, we focus on the human value of honesty. We present a model to support the automatic identification of violations of the value of honesty from app reviews from an end-user perspective. Beyond the automatic detection of honesty violations by apps, we also aim to better understand different categories of honesty violations expressed by users in their app reviews. The result of our manual analysis of our honesty violations dataset shows that honesty violations can be characterised into ten categories: unfair cancellation and refund policies; false advertisements; delusive subscriptions; cheating systems; inaccurate information; unfair fees; no service; deletion of reviews; impersonation; and fraudulent-looking apps. Based on these results, we argue for a conscious effort in developing more honest software artefacts including mobile apps, and the promotion of honesty as a key value in software development practices. Furthermore, we discuss the role of app distribution platforms as enforcers of ethical systems supporting human values, and highlight some proposed next steps for human values in software engineering (SE) research.

preprint2022arXiv

On Thermodynamics of AdS Black Holes with Scalar Hair

It has been known that in the presence of a scalar hair there would be a distinct additional contribution to the first law of black hole thermodynamics. While it has been checked in many examples, a deeper understanding of this issue is necessary. The thermodynamics of AdS black holes in Einstein-scalar gravity is studied by using the standard holographic renormalization procedure and the variation of the Hamiltonian via the Wald formalism. It is found that the first law requires a modification by including an additional term that has a particular form $\sim\left<O\right>δϕ_s$, with $ϕ_s$ and $\left<O\right>$ a new pair of thermodynamic conjugate variables. $ϕ_s$ is the leading source term of the asymptotic fall-off of the scalar field near the AdS boundary, and $\left<O\right>$ is precisely the response of the dual scalar operator from the holographic point of view. Some hairy black holes are constructed explicitly to check the first law of thermodynamics as well as the thermodynamic relations.

preprint2022arXiv

Piecewise Linear Neural Networks and Deep Learning

As a powerful modelling method, PieceWise Linear Neural Networks (PWLNNs) have proven successful in various fields, most recently in deep learning. To apply PWLNN methods, both the representation and the learning have long been studied. In 1977, the canonical representation pioneered the works of shallow PWLNNs learned by incremental designs, but the applications to large-scale data were prohibited. In 2010, the Rectified Linear Unit (ReLU) advocated the prevalence of PWLNNs in deep learning. Ever since, PWLNNs have been successfully applied to extensive tasks and achieved advantageous performances. In this Primer, we systematically introduce the methodology of PWLNNs by grouping the works into shallow and deep networks. Firstly, different PWLNN representation models are constructed with elaborated examples. With PWLNNs, the evolution of learning algorithms for data is presented and fundamental theoretical analysis follows up for in-depth understandings. Then, representative applications are introduced together with discussions and outlooks.

preprint2022arXiv

Portable ground stations for space-to-ground quantum key distribution

Quantum key distribution (QKD) uses the fundamental principles of quantum mechanics to share unconditionally secure keys between distant users. Previous works based on the quantum science satellite "Micius" have initially demonstrated the feasibility of a global QKD network. However, the practical applications of space-based QKD still face many technical problems, such as the huge size and weight of ground stations required to receive quantum signals. Here, we report space-to-ground QKD demonstrations based on portable receiving ground stations. The weight of the portable ground station is less than 100 kg, the space required is less than 1 m$^{3}$ and the installation time requires no more than 12 hours, all of the weight, required space and deployment time are about two orders of magnitude lower than those for the previous systems. Moreover, the equipment is easy to handle and can be placed on the roof of buildings in a metropolis. Secure keys have been successfully generated from the "Micius" satellite to these portable ground stations at six different places in China, and an average final secure key length is around 50 kb can be obtained during one passage. Our results pave the way for, and greatly accelerate the practical application of, space-based QKD.

preprint2022arXiv

Scalpel: The Python Static Analysis Framework

Despite being the most popular programming language, Python has not yet received enough attention from the community. To the best of our knowledge, there is no general static analysis framework proposed to facilitate the implementation of dedicated Python static analyzers. To fill this gap, we design and implement such a framework (named Scalpel) and make it publicly available as an open-source project. The Scalpel framework has already integrated a number of fundamental static analysis functions (e.g., call graph constructions, control-flow graph constructions, alias analysis, etc.) that are ready to be reused by developers to implement client applications focusing on statically resolving dedicated Python problems such as detecting bugs or fixing vulnerabilities.

preprint2022arXiv

Shear flows in far-from-equilibrium strongly coupled fluids

Despite the viscosity of a fluid ranges over several orders of magnitudes and is extremely sensitive to microscopic structure and molecular interactions, it has been conjectured that its (opportunely normalized) minimum displays a universal value which is experimentally approached in strongly coupled fluids such as the quark-gluon plasma. At the same time, recent findings suggest that hydrodynamics could serve as a universal attractor even when the deformation gradients are large and that dissipative transport coefficients, such as viscosity, could still display a universal behavior far-from-equilibrium. Motivated by these observations, we consider the real-time dissipative dynamics of several holographic models under large shear deformations. In all the cases considered, we observe that at late time both the viscosity-entropy density ratio and the dimensionless ratio between energy density and entropy density approach a constant value. Whenever the shear rate in units of the energy density is small at late time, these values coincide with the expectations from near equilibrium hydrodynamics. Surprisingly, even when this is not the case, and the system at late time is far from equilibrium, the viscosity-to-entropy ratio approaches a constant which decreases monotonically with the dimensionless shear rate and can be parametrically smaller than the hydrodynamic result.

preprint2022arXiv

Topological spin texture of chiral edge states in photonic two-dimensional quantum walks

Topological insulators host topology-linked boundary states, whose spin and charge degrees of freedom could be exploited to design topological devices with enhanced functionality. We experimentally observe that dissipationless chiral edge states in a spin-orbit coupled anomalous Floquet topological phase exhibit topological spin texture on boundaries, realized via a two-dimensional quantum walk. Our experiment shows that, for a walker traveling around a closed loop along the boundary in real space, its spin evolves and winds through a great circle on the Bloch sphere, which implies that edge-spin texture has nontrivial winding. This winding is linked to the bulk Dirac Hamiltonian around the energy-gap opening point. Our experiment confirms that two-dimensional anomalous Floquet topological systems exhibit topological spin texture on the boundary, which could inspire novel topology-based spintronic phenomena and devices.

preprint2022arXiv

Towards Hybrid-Optimization Video Coding

Video coding is a mathematical optimization problem of rate and distortion essentially. To solve this complex optimization problem, two popular video coding frameworks have been developed: block-based hybrid video coding and end-to-end learned video coding. If we rethink video coding from the perspective of optimization, we find that the existing two frameworks represent two directions of optimization solutions. Block-based hybrid coding represents the discrete optimization solution because those irrelevant coding modes are discrete in mathematics. It searches for the best one among multiple starting points (i.e. modes). However, the search is not efficient enough. On the other hand, end-to-end learned coding represents the continuous optimization solution because the gradient descent is based on a continuous function. It optimizes a group of model parameters efficiently by the numerical algorithm. However, limited by only one starting point, it is easy to fall into the local optimum. To better solve the optimization problem, we propose to regard video coding as a hybrid of the discrete and continuous optimization problem, and use both search and numerical algorithm to solve it. Our idea is to provide multiple discrete starting points in the global space and optimize the local optimum around each point by numerical algorithm efficiently. Finally, we search for the global optimum among those local optimums. Guided by the hybrid optimization idea, we design a hybrid optimization video coding framework, which is built on continuous deep networks entirely and also contains some discrete modes. We conduct a comprehensive set of experiments. Compared to the continuous optimization framework, our method outperforms pure learned video coding methods. Meanwhile, compared to the discrete optimization framework, our method achieves comparable performance to HEVC reference software HM16.10 in PSNR.

preprint2022arXiv

When null energy condition meets ADM mass

We give a conjecture on the lower bound of the ADM mass $M$ by using the null energy condition. The conjecture includes a Penrose-like inequality $3M\geqκ\mathcal{A}/(4π)+\sqrt{\mathcal{A}/4π}$ and the Penrose inequality $ 2M\geq\sqrt{\mathcal{A}/{4π}}$ with $\mathcal{A}$ the event horizon area and $κ$ the surface gravity. Both the conjecture in the static spherically symmetric case and the Penrose inequality for a dynamical spacetime with spherical symmetry are proved by imposing the null energy condition. We then generalize the conjecture to a general dynamical spacetime. Our results raise a new challenge for the famous unsettled question in general relativity: in what general case can the null energy condition replace other energy conditions to ensure the Penrose inequality?

preprint2021arXiv

A 3D Non-stationary MmWave Channel Model for Vacuum Tube Ultra-High-Speed Train Channels

As a potential development direction of future transportation, the vacuum tube ultra-high-speed train (UHST) wireless communication systems have newly different channel characteristics from existing high-speed train (HST) scenarios. In this paper, a three-dimensional non-stationary millimeter wave (mmWave) geometry-based stochastic model (GBSM) is proposed to investigate the channel characteristics of UHST channels in vacuum tube scenarios, taking into account the waveguide effect and the impact of tube wall roughness on channel. Then, based on the proposed model, some important time-variant channel statistical properties are studied and compared with those in existing HST and tunnel channels. The results obtained show that the multipath effect in vacuum tube scenarios will be more obvious than tunnel scenarios but less than existing HST scenarios, which will provide some insights for future research on vacuum tube UHST wireless communications.

preprint2021arXiv

A fractional parabolic inverse problem involving a time-dependent magnetic potential

We study a class of fractional parabolic equations involving a time-dependent magnetic potential and formulate the corresponding inverse problem. We determine both the magnetic potential and the electric potential from the exterior partial measurements of the Dirichlet-to-Neumann map.

preprint2021arXiv

A Layered Grouping Random Access Scheme Based on Dynamic Preamble Selection for Massive Machine Type Communications

Massive machine type communication (mMTC) has been identified as an important use case in Beyond 5G networks and future massive Internet of Things (IoT). However, for the massive multiple access in mMTC, there is a serious access preamble collision problem if the conventional 4-step random access (RA) scheme is employed. Consequently, a range of grantfree (GF) RA schemes were proposed. Nevertheless, if the number of cellular users (devices) significantly increases, both the energy and spectrum efficiency of the existing GF schemes still rapidly degrade owing to the much longer preambles required. In order to overcome this dilemma, a layered grouping strategy is proposed, where the cellular users are firstly divided into clusters based on their geographical locations, and then the users of the same cluster autonomously join in different groups by using optimum energy consumption (Opt-EC) based K-means algorithm. With this new layered cellular architecture, the RA process is divided into cluster load estimation phase and active group detection phase. Based on the state evolution theory of approximated message passing algorithm, a tight lower bound on the minimum preamble length for achieving a certain detection accuracy is derived. Benefiting from the cluster load estimation, a dynamic preamble selection (DPS) strategy is invoked in the second phase, resulting the required preambles with minimum length. As evidenced in our simulation results, this two-phase DPS aided RA strategy results in a significant performance improvement

preprint2021arXiv

A Negotiation-based Right-of-way Assignment Strategy to Ensure Traffic Safety and Efficiency in Lane Change

It is widely acknowledged that verifying the safety of autonomous driving strategies requires a substantial body of simulation testing and road testing. In recent years, the formal safety methods represented by Responsibility-Sensitive Safety (RSS) have encouraged low-cost autonomous driving safety research, benefitting from its accurate assessment of safety and clear division of responsibilities. However, how to maintain traffic efficiency while ensuring safety remains a challenge. To address this problem, this paper proposes a formulized negotiation-based lane-changing strategy that makes a trade-off between safety and efficiency. Both theoretical analysis and numerical experimental results shows that compared to RSS, our strategy can noticeably improve the success rate of changing lanes on the premise of safety.

preprint2021arXiv

An Introduction to Supersymmetric Cluster Algebras

In this paper we propose the notion of cluster superalgebras which is a supersymmetric version of the classical cluster algebras introduced by Fomin and Zelevinsky. We show that the symplectic-orthogonal supergroup $SpO(2|1)$ admits a cluster superalgebra structure and as a consequence of this, we deduce that the supercommutative superalgebra generated by all the entries of a superfrieze is a subalgebra of a cluster superalgebra. We also show that the coordinate superalgebra of the super Grassmannian $G(2|0; 4|1)$ of chiral conformal superspace (that is, $(2|0)$ planes inside the superspace $\mathbb C^{4|1}$) is a quotient of a cluster superalgebra.

preprint2021arXiv

DEAL: Decremental Energy-Aware Learning in a Federated System

Federated learning struggles with their heavy energy footprint on battery-powered devices. The learning process keeps all devices awake while draining expensive battery power to train a shared model collaboratively, yet it may still leak sensitive personal information. Traditional energy management techniques in system kernel mode can force the training device entering low power states, but it may violate the SLO of the collaborative learning. To address the conflict between learning SLO and energy efficiency, we propose DEAL, an energy efficient learning system that saves energy and preserves privacy with a decremental learning design. DEAL reduces the energy footprint from two layers: 1) an optimization layer that selects a subset of workers with sufficient capacity and maximum rewards. 2) a specified decremental learning algorithm that actively provides a decremental and incremental update functions, which allows kernel to correctly tune the local DVFS. We prototyped DEAL in containerized services with modern smartphone profiles and evaluated it with several learning benchmarks with realistic traces. We observed that DEAL achieves 75.6%-82.4% less energy footprint in different datasets, compared to the traditional methods. All learning processes are faster than state-of-the-practice FL frameworks up to 2-4X in model convergence.

preprint2021arXiv

Distributed quantum phase estimation with entangled photons

Distributed quantum metrology can enhance the sensitivity for sensing spatially distributed parameters beyond the classical limits. Here we demonstrate distributed quantum phase estimation with discrete variables to achieve Heisenberg limit phase measurements. Based on parallel entanglement in modes and particles, we demonstrate distributed quantum sensing for both individual phase shifts and an averaged phase shift, with an error reduction up to 1.4 dB and 2.7 dB below the shot-noise limit. Furthermore, we demonstrate a combined strategy with parallel mode entanglement and multiple passes of the phase shifter in each mode. In particular, our experiment uses six entangled photons with each photon passing the phase shifter up to six times, and achieves a total number of photon passes N=21 at an error reduction up to 4.7 dB below the shot-noise limit. Our research provides a faithful verification of the benefit of entanglement and coherence for distributed quantum sensing in general quantum networks.

preprint2021arXiv

Exponential convergence of distributed optimization for heterogeneous linear multi-agent systems

In this work we study a distributed optimal output consensus problem for heterogeneous linear multi-agent systems where the agents aim to reach consensus with the purpose of minimizing the sum of private convex costs. Based on output feedback, a fully distributed control law is proposed by using the proportional-integral (PI) control technique. For strongly convex cost functions with Lipschitz gradients, the designed controller can achieve convergence exponentially in an undirected and connected network. Furthermore, to remove the requirement of continuous communications, the proposed control law is then extended to periodic and event-triggered communication schemes, which also achieve convergence exponentially. Two simulation examples are given to verify the proposed control algorithms.

preprint2021arXiv

Multi-Party Dynamic State Estimation that Preserves Data and Model Privacy

In this paper we focus on the dynamic state estimation which harnesses a vast amount of sensing data harvested by multiple parties and recognize that in many applications, to improve collaborations between parties, the estimation procedure must be designed with the awareness of protecting participants' data and model privacy, where the latter refers to the privacy of key parameters of observation models. We develop a state estimation paradigm for the scenario where multiple parties with data and model privacy concerns are involved. Multiple parties monitor a physical dynamic process by deploying their own sensor networks and update the state estimate according to the average state estimate of all the parties calculated by a cloud server and security module. The paradigm taps additively homomorphic encryption which enables the cloud server and security module to jointly fuse parties' data while preserving the data privacy. Meanwhile, all the parties collaboratively develop a stable (or optimal) fusion rule without divulging sensitive model information. For the proposed filtering paradigm, we analyze the stabilization and the optimality. First, to stabilize the multi-party state estimator while preserving observation model privacy, two stabilization design methods are proposed. For special scenarios, the parties directly design their estimator gains by the matrix norm relaxation. For general scenarios, after transforming the original design problem into a convex semi-definite programming problem, the parties collaboratively derive suitable estimator gains based on the ADMM. Second, an optimal collaborative gain design method with model privacy guarantees is provided, which results in the asymptotic MMSE state estimation. Finally, numerical examples are presented to illustrate our design and theoretical findings.

preprint2021arXiv

Notes on diffusive and shear quasinormal modes of black branes

In the literature, to extract the dispersion relation of low-frequency quasinormal modes in both diffusive and shear channels, it is a customary recipe to assume firstly $ω\sim\mathcal{O}$ to solve the equation of motion and finally $ω\sim\mathcal{O}(q^2)$ when applying the Dirichlet boundary condition. The two assumptions appear confusing though the recipe usually gives the same result as that from other channels or from the Kubo formula. We refine the recipe by assuming $ω\sim\mathcal{O}(q^2)$ from the beginning to the end, and demonstrate it in the diffusive channel of the Schwarzschild black brane and the shear channel of the Gauss-Bonnet black brane.

preprint2021arXiv

Restoring Execution Environments of Jupyter Notebooks

More than ninety percent of published Jupyter notebooks do not state dependencies on external packages. This makes them non-executable and thus hinders reproducibility of scientific results. We present SnifferDog, an approach that 1) collects the APIs of Python packages and versions, creating a database of APIs; 2) analyzes notebooks to determine candidates for required packages and versions; and 3) checks which packages are required to make the notebook executable (and ideally, reproduce its stored results). In its evaluation, we show that SnifferDog precisely restores execution environments for the largest majority of notebooks, making them immediately executable for end users.

preprint2021arXiv

Video-based Point Cloud Compression Artifact Removal

Photo-realistic point cloud capture and transmission are the fundamental enablers for immersive visual communication. The coding process of dynamic point clouds, especially video-based point cloud compression (V-PCC) developed by the MPEG standardization group, is now delivering state-of-the-art performance in compression efficiency. V-PCC is based on the projection of the point cloud patches to 2D planes and encoding the sequence as 2D texture and geometry patch sequences. However, the resulting quantization errors from coding can introduce compression artifacts, which can be very unpleasant for the quality of experience (QoE). In this work, we developed a novel out-of-the-loop point cloud geometry artifact removal solution that can significantly improve reconstruction quality without additional bandwidth cost. Our novel framework consists of a point cloud sampling scheme, an artifact removal network, and an aggregation scheme. The point cloud sampling scheme employs a cube-based neighborhood patch extraction to divide the point cloud into patches. The geometry artifact removal network then processes these patches to obtain artifact-removed patches. The artifact-removed patches are then merged together using an aggregation scheme to obtain the final artifact-removed point cloud. We employ 3D deep convolutional feature learning for geometry artifact removal that jointly recovers both the quantization direction and the quantization noise level by exploiting projection and quantization prior. The simulation results demonstrate that the proposed method is highly effective and can considerably improve the quality of the reconstructed point cloud.

preprint2020arXiv

A Framework for Behavioral Biometric Authentication using Deep Metric Learning on Mobile Devices

Mobile authentication using behavioral biometrics has been an active area of research. Existing research relies on building machine learning classifiers to recognize an individual's unique patterns. However, these classifiers are not powerful enough to learn the discriminative features. When implemented on the mobile devices, they face new challenges from the behavioral dynamics, data privacy and side-channel leaks. To address these challenges, we present a new framework to incorporate training on battery-powered mobile devices, so private data never leaves the device and training can be flexibly scheduled to adapt the behavioral patterns at runtime. We re-formulate the classification problem into deep metric learning to improve the discriminative power and design an effective countermeasure to thwart side-channel leaks by embedding a noise signature in the sensing signals without sacrificing too much usability. The experiments demonstrate authentication accuracy over 95% on three public datasets, a sheer 15% gain from multi-class classification with less data and robustness against brute-force and side-channel attacks with 99% and 90% success, respectively. We show the feasibility of training with mobile CPUs, where training 100 epochs takes less than 10 mins and can be boosted 3-5 times with feature transfer. Finally, we profile memory, energy and computational overhead. Our results indicate that training consumes lower energy than watching videos and slightly higher energy than playing games.

preprint2020arXiv

A New Modal Autoencoder for Functionally Independent Feature Extraction

Autoencoders have been widely used for dimensional reduction and feature extraction. Various types of autoencoders have been proposed by introducing regularization terms. Most of these regularizations improve representation learning by constraining the weights in the encoder part, which maps input into hidden nodes and affects the generation of features. In this study, we show that a constraint to the decoder can also significantly improve its performance because the decoder determines how the latent variables contribute to the reconstruction of input. Inspired by the structural modal analysis method in mechanical engineering, a new modal autoencoder (MAE) is proposed by othogonalising the columns of the readout weight matrix. The new regularization helps to disentangle explanatory factors of variation and forces the MAE to extract fundamental modes in data. The learned representations are functionally independent in the reconstruction of input and perform better in consecutive classification tasks. The results were validated on the MNIST variations and USPS classification benchmark suite. Comparative experiments clearly show that the new algorithm has a surprising advantage. The new MAE introduces a very simple training principle for autoencoders and could be promising for the pre-training of deep neural networks.

preprint2020arXiv

A User-Based Charge and Subsidy Scheme for Single O-D Network Mobility Management

We propose a path guidance system with a user-based charge and subsidy (UBCS) scheme for single O-D network mobility management. Users who are willing to join the scheme (subscribers) can submit travel requests along with their VOTs to the system before traveling. Those who are not willing to join (outsiders) only need to submit travel requests to the system. Our system will give all users path guidance from their origins to their destinations, and collect a \emph{path payment} from the UBCS subscribers. Subscribers will be charged or subsided in a way that renders the UBCS strategy-proof, revenue-neutral, and Pareto-improving. A numerical example shows that the UBCS scheme is equitable and progressive.

preprint2020arXiv

Active Crowd Counting with Limited Supervision

To learn a reliable people counter from crowd images, head center annotations are normally required. Annotating head centers is however a laborious and tedious process in dense crowds. In this paper, we present an active learning framework which enables accurate crowd counting with limited supervision: given a small labeling budget, instead of randomly selecting images to annotate, we first introduce an active labeling strategy to annotate the most informative images in the dataset and learn the counting model upon them. The process is repeated such that in every cycle we select the samples that are diverse in crowd density and dissimilar to previous selections. In the last cycle when the labeling budget is met, the large amount of unlabeled data are also utilized: a distribution classifier is introduced to align the labeled data with unlabeled data; furthermore, we propose to mix up the distribution labels and latent representations of data in the network to particularly improve the distribution alignment in-between training samples. We follow the popular density estimation pipeline for crowd counting. Extensive experiments are conducted on standard benchmarks i.e. ShanghaiTech, UCF CC 50, MAll, TRANCOS, and DCC. By annotating limited number of images (e.g. 10% of the dataset), our method reaches levels of performance not far from the state of the art which utilize full annotations of the dataset.

preprint2020arXiv

Anchor: Locating Android Framework-specific Crashing Faults

Android framework-specific app crashes are hard to debug. Indeed, the callback-based event-driven mechanism of Android challenges crash localization techniques that are developed for traditional Java programs. The key challenge stems from the fact that the buggy code location may not even be listed within the stack trace. For example, our empirical study on 500 framework-specific crashes from an open benchmark has revealed that 37 percent of the crash types are related to bugs that are outside the stack traces. Moreover, Android programs are a mixture of code and extra-code artifacts such as the Manifest file. The fact that any artifact can lead to failures in the app execution creates the need to position the localization target beyond the code realm. In this paper, we propose Anchor, a two-phase suspicious bug location suggestion tool. Anchor specializes in finding crash-inducing bugs outside the stack trace. Anchor is lightweight and source code independent since it only requires the crash message and the apk file to locate the fault. Experimental results, collected via cross-validation and in-the-wild dataset evaluation, show that Anchor is effective in locating Android framework-specific crashing faults.

preprint2020arXiv

Backpressure Control with Estimated Queue Lengths for Urban Network Traffic

Backpressure (BP) control was originally used for packet routing in communications networks. Since its first application to network traffic control, it has undergone different modifications to tailor it to traffic problems with promising results. Most of these BP variants are based on an assumption of perfect knowledge of traffic conditions throughout the network at all times, specifically the queue lengths (more accurately, the traffic volumes). However, it has been well established that accurate queue length information at signalized intersections is never available except in fully connected environments. Although connected vehicle technologies are developing quickly, we are still far from a fully connected environment in the real world. This paper test the effectiveness of BP control when incomplete or imperfect knowledge about traffic conditions is available. We combine BP control with a speed/density field estimation module suitable for a partially connected environment. We refer to the proposed system as a BP with estimated queue lengths (BP-EQ). We test the robustness of BP-EQ to varying levels of connected vehicle penetration, and we compared BP-EQ with the original BP (i.e., assuming accurate knowledge of traffic conditions), a real-world adaptive signal controller, and optimized fixed timing control using microscopic traffic simulation with field calibrated data. Our results show that with a connected vehicle penetration rate as little as 10%, BP-EQ can outperform the adaptive controller and the fixed timing controller in terms of average delay, throughput, and maximum stopped queue lengths under high demand scenarios.

preprint2020arXiv

Chain Decompositions of $q,t$-Catalan Numbers via Local Chains

The $q,t$-Catalan number $\mathrm{Cat}_n(q,t)$ enumerates integer partitions contained in an $n\times n$ triangle by their dinv and external area statistics. The paper [LLL18 (Lee, Li, Loehr, SIAM J. Discrete Math. 32(2018))] proposed a new approach to understanding the symmetry property $\mathrm{Cat}_n(q,t)=\mathrm{Cat}_n(t,q)$ based on decomposing the set of all integer partitions into infinite chains. Each such global chain $\mathcal{C}_μ$ has an opposite chain $\mathcal{C}_{μ^*}$; these combine to give a new small slice of $\mathrm{Cat}_n(q,t)$ that is symmetric in $q$ and $t$. Here we advance the agenda of [LLL18] by developing a new general method for building the global chains $\mathcal{C}_μ$ from smaller elements called local chains. We define a local opposite property for local chains that implies the needed opposite property of the global chains. This local property is much easier to verify in specific cases compared to the corresponding global property. We apply this machinery to construct all global chains for partitions with deficit at most $11$. This proves that for all $n$, the terms in $\mathrm{Cat}_n(q,t)$ of degree at least $\binom{n}{2}-11$ are symmetric in $q$ and $t$.

preprint2020arXiv

CL-ADMM: A Cooperative Learning Based Optimization Framework for Resource Management in MEC

We consider the problem of intelligent and efficient resource management framework in mobile edge computing (MEC), which can reduce delay and energy consumption, featuring distributed optimization and efficient congestion avoidance mechanism. In this paper, we present a Cooperative Learning framework for resource management in MEC from an Alternating Direction Method of Multipliers (ADMM) perspective, called CL-ADMM framework. First, in order to caching task efficiently in a group, a novel task popularity estimating scheme is proposed, which is based on semi-Markov process model, then a greedy task cooperative caching mechanism has been established, which can effectively reduce delay and energy consumption. Secondly, for addressing group congestion, a dynamic task migration scheme based on cooperative improved Q-learning is proposed, which can effectively reduce delay and alleviate congestion. Thirdly, for minimizing delay and energy consumption for resources allocation in a group, we formulate it as an optimization problem with a large number of variables, and then exploit a novel ADMM based scheme to address this problem, which can reduce the complexity of problem with a new set of auxiliary variables, these sub-problems are all convex problems, and can be solved by using a primal-dual approach, guaranteeing its convergences. Then we prove that the convergence by using Lyapunov theory. Numerical results demonstrate the effectiveness of the CL-ADMM and it can effectively reduce delay and energy consumption for MEC.

preprint2020arXiv

Constraining Non-Relativistic RG Flows with Holography

We examine non-relativistic holographic RG flows by working with Einstein-Maxwell-scalar theories which support geometries that break Lorentz invariance at some energy scale. We adopt the superpotential formalism, which helps us characterize the radial flow in this setup and bring to light a number of generic features. In particular, we identify several quantities that behave monotonically under RG flow. As an example, we show that the index of refraction is generically monotonic. We also construct a combination of the superpotentials that flows monotonically in Einstein-scalar theories supporting non-relativistic solutions, and which reduces to the known c-function in the relativistic limit. Interestingly, such quantity also exhibits monotonicity in a variety of black hole solutions to the full Einstein-Maxwell-scalar theory, hinting at a deeper structure. Finally, we comment on the breakdown of such monotonicity conditions and on the relation to a candidate c-function obtained previously from entanglement entropy.

preprint2020arXiv

Decomposition of the Total Effect for Two Mediators: A Natural Counterfactual Interaction Effect Framework

Mediation analysis has been used in many disciplines to explain the mechanism or process that underlies an observed relationship between an exposure variable and an outcome variable via the inclusion of mediators. Decompositions of the total causal effect of an exposure variable into effects characterizing mediation pathways and interactions have gained an increasing amount of interest in the last decade. In this work, we develop decompositions for scenarios where the two mediators are causally sequential or non-sequential. Current developments in this area have primarily focused on either decompositions without interaction components or with interactions but assuming no causally sequential order between the mediators. We propose a new concept called natural counterfactual interaction effect that captures the two-way and three-way interactions for both scenarios that extend the two-way mediated interactions in literature. We develop a unified approach for decomposing the total effect into the effects that are due to mediation only, interaction only, both mediation and interaction, neither mediation nor interaction within the counterfactual framework. Finally, we illustrate the proposed decomposition method using a real data analysis where the two mediators are causally sequential.

preprint2020arXiv

Decomposition of Total Effect with the Notion of Natural Counterfactual Interaction Effect

Mediation analysis serves as a crucial tool to obtain causal inference based on directed acyclic graphs, which has been widely employed in the areas of biomedical science, social science, epidemiology and psychology. Decomposition of total effect provides a deep insight to fully understand the casual contribution from each path and interaction term. Since the four-way decomposition method was proposed to identify the mediated interaction effect in counterfactual framework, the idea had been extended to a more sophisticated scenario with non-sequential multiple mediators. However, the method exhibits limitations as the causal structure contains direct causal edges between mediators, such as inappropriate modeling of dependence and non-identifiability. We develop the notion of natural counterfactual interaction effect and find that the decomposition of total effect can be consistently realized with our proposed notion. Furthermore, natural counterfactual interaction effect overcomes the drawbacks and possesses a clear and significant interpretation, which may largely improve the capacity of researchers to analyze highly complex causal structures.

preprint2020arXiv

Defending Adversarial Examples via DNN Bottleneck Reinforcement

This paper presents a DNN bottleneck reinforcement scheme to alleviate the vulnerability of Deep Neural Networks (DNN) against adversarial attacks. Typical DNN classifiers encode the input image into a compressed latent representation more suitable for inference. This information bottleneck makes a trade-off between the image-specific structure and class-specific information in an image. By reinforcing the former while maintaining the latter, any redundant information, be it adversarial or not, should be removed from the latent representation. Hence, this paper proposes to jointly train an auto-encoder (AE) sharing the same encoding weights with the visual classifier. In order to reinforce the information bottleneck, we introduce the multi-scale low-pass objective and multi-scale high-frequency communication for better frequency steering in the network. Unlike existing approaches, our scheme is the first reforming defense per se which keeps the classifier structure untouched without appending any pre-processing head and is trained with clean images only. Extensive experiments on MNIST, CIFAR-10 and ImageNet demonstrate the strong defense of our method against various adversarial attacks.

preprint2020arXiv

Developing Multi-Task Recommendations with Long-Term Rewards via Policy Distilled Reinforcement Learning

With the explosive growth of online products and content, recommendation techniques have been considered as an effective tool to overcome information overload, improve user experience, and boost business revenue. In recent years, we have observed a new desideratum of considering long-term rewards of multiple related recommendation tasks simultaneously. The consideration of long-term rewards is strongly tied to business revenue and growth. Learning multiple tasks simultaneously could generally improve the performance of individual task due to knowledge sharing in multi-task learning. While a few existing works have studied long-term rewards in recommendations, they mainly focus on a single recommendation task. In this paper, we propose {\it PoDiRe}: a \underline{po}licy \underline{di}stilled \underline{re}commender that can address long-term rewards of recommendations and simultaneously handle multiple recommendation tasks. This novel recommendation solution is based on a marriage of deep reinforcement learning and knowledge distillation techniques, which is able to establish knowledge sharing among different tasks and reduce the size of a learning model. The resulting model is expected to attain better performance and lower response latency for real-time recommendation services. In collaboration with Samsung Game Launcher, one of the world's largest commercial mobile game platforms, we conduct a comprehensive experimental study on large-scale real data with hundreds of millions of events and show that our solution outperforms many state-of-the-art methods in terms of several standard evaluation metrics.

preprint2020arXiv

Distributed Optimization Over Markovian Switching Random Network

In this paper, we investigate the distributed convex optimization problem over a multi-agent system with Markovian switching communication networks. The objective function is the sum of each agent's local objective function, which cannot be known by other agents. The communication network is assumed to switch over a set of weight-balanced directed graphs with a Markovian property.We propose a consensus sub-gradient algorithm with two time-scale step-sizes to handle the uncertainty due to the Markovian switching topologies and the absence of global gradient information. With a proper selection of step-sizes, we prove the almost sure convergence of all agents' local estimates to the same optimal solution when the union graph of the Markovian network' states is strongly connected and the Markovian network is irreducible. Simulations are given for illustration of the results.

preprint2020arXiv

Evaluating Incidence and Impact Estimates of the COVID-19 Outbreak from Wuhan before Lockdown

Background: Wuhan, China was the epicenter of COVID-19 pandemic. The goal of current study is to understand the infection transmission dynamics before intervention measures were taken. Methods: Data and key events were searched through pubmed and internet. Epidemiological data were calculated using data extracted from a variety of data sources. Results: We established a timeline showing by January 1, 2020, Chinese authorities had been presented convincing evidence of human-to-human transmission; however, it was not until January 20, 2020 that this information was shared with the public. Our study estimated that there would have been 10989 total infected cases if interventions were taken on January 2, 2020, versus 239875 cases when lockdown was put in place on January 23, 2020. Conclusions: China's withholding of key information about the 2020 COVID-19 outbreak and its delayed response ultimately led to the largest public health crisis of this century and could have been avoided with earlier countermeasures.

preprint2020arXiv

Evaluating Representation Learning of Code Changes for Predicting Patch Correctness in Program Repair

A large body of the literature of automated program repair develops approaches where patches are generated to be validated against an oracle (e.g., a test suite). Because such an oracle can be imperfect, the generated patches, although validated by the oracle, may actually be incorrect. While the state of the art explore research directions that require dynamic information or rely on manually-crafted heuristics, we study the benefit of learning code representations to learn deep features that may encode the properties of patch correctness. Our work mainly investigates different representation learning approaches for code changes to derive embeddings that are amenable to similarity computations. We report on findings based on embeddings produced by pre-trained and re-trained neural networks. Experimental results demonstrate the potential of embeddings to empower learning algorithms in reasoning about patch correctness: a machine learning predictor with BERT transformer-based embeddings associated with logistic regression yielded an AUC value of about 0.8 in predicting patch correctness on a deduplicated dataset of 1000 labeled patches. Our study shows that learned representations can lead to reasonable performance when comparing against the state-of-the-art, PATCH-SIM, which relies on dynamic information. These representations may further be complementary to features that were carefully (manually) engineered in the literature.

preprint2020arXiv

Explainable Recommender Systems via Resolving Learning Representations

Recommender systems play a fundamental role in web applications in filtering massive information and matching user interests. While many efforts have been devoted to developing more effective models in various scenarios, the exploration on the explainability of recommender systems is running behind. Explanations could help improve user experience and discover system defects. In this paper, after formally introducing the elements that are related to model explainability, we propose a novel explainable recommendation model through improving the transparency of the representation learning process. Specifically, to overcome the representation entangling problem in traditional models, we revise traditional graph convolution to discriminate information from different layers. Also, each representation vector is factorized into several segments, where each segment relates to one semantic aspect in data. Different from previous work, in our model, factor discovery and representation learning are simultaneously conducted, and we are able to handle extra attribute information and knowledge. In this way, the proposed model can learn interpretable and meaningful representations for users and items. Unlike traditional methods that need to make a trade-off between explainability and effectiveness, the performance of our proposed explainable model is not negatively affected after considering explainability. Finally, comprehensive experiments are conducted to validate the performance of our model as well as explanation faithfulness.

preprint2020arXiv

Investigating Quantum Approximate Optimization Algorithms under Bang-bang Protocols

The quantum approximate optimization algorithm (QAOA) is widely seen as a possible usage of noisy intermediate-scale quantum (NISQ) devices. We analyze the algorithm as a bang-bang protocol with fixed total time and a randomized greedy optimization scheme. We investigate the performance of bang-bang QAOA on MAX-2-SAT, finding the appearance of phase transitions with respect to the total time. As the total time increases, the optimal bang-bang protocol experiences a number of jumps and plateaus in performance, which match up with an increasing number of switches in the standard QAOA formulation. At large times, it becomes more difficult to find a globally optimal bang-bang protocol and performances suffer. We also investigate the effects of changing the initial conditions of the randomized optimization algorithm and see that better local optima can be found by using an adiabatic initialization.

preprint2020arXiv

Kohn-Sham equations as regularizer: building prior knowledge into machine-learned physics

Including prior knowledge is important for effective machine learning models in physics, and is usually achieved by explicitly adding loss terms or constraints on model architectures. Prior knowledge embedded in the physics computation itself rarely draws attention. We show that solving the Kohn-Sham equations when training neural networks for the exchange-correlation functional provides an implicit regularization that greatly improves generalization. Two separations suffice for learning the entire one-dimensional H$_2$ dissociation curve within chemical accuracy, including the strongly correlated region. Our models also generalize to unseen types of molecules and overcome self-interaction error.

preprint2020arXiv

Learning to Catch Security Patches

Timely patching is paramount to safeguard users and maintainers against dire consequences of malicious attacks. In practice, patching is prioritized following the nature of the code change that is committed in the code repository. When such a change is labeled as being security-relevant, i.e., as fixing a vulnerability, maintainers rapidly spread the change and users are notified about the need to update to a new version of the library or of the application. Unfortunately, oftentimes, some security-relevant changes go unnoticed as they represent silent fixes of vulnerabilities. In this paper, we propose a Co-Training-based approach to catch security patches as part of an automatic monitoring service of code repositories. Leveraging different classes of features, we empirically show that such automation is feasible and can yield a precision of over 90% in identifying security patches, with an unprecedented recall of over 80%. Beyond such a benchmarking with ground truth data which demonstrates an improvement over the state-of-the-art, we confirmed that our approach can help catch security patches that were not reported as such.

preprint2020arXiv

MadDroid: Characterising and Detecting Devious Ad Content for Android Apps

Advertisement drives the economy of the mobile app ecosystem. As a key component in the mobile ad business model, mobile ad content has been overlooked by the research community, which poses a number of threats, e.g., propagating malware and undesirable contents. To understand the practice of these devious ad behaviors, we perform a large-scale study on the app contents harvested through automated app testing. In this work, we first provide a comprehensive categorization of devious ad contents, including five kinds of behaviors belonging to two categories: \emph{ad loading content} and \emph{ad clicking content}. Then, we propose MadDroid, a framework for automated detection of devious ad contents. MadDroid leverages an automated app testing framework with a sophisticated ad view exploration strategy for effectively collecting ad-related network traffic and subsequently extracting ad contents. We then integrate dedicated approaches into the framework to identify devious ad contents. We have applied MadDroid to 40,000 Android apps and found that roughly 6\% of apps deliver devious ad contents, e.g., distributing malicious apps that cannot be downloaded via traditional app markets. Experiment results indicate that devious ad contents are prevalent, suggesting that our community should invest more effort into the detection and mitigation of devious ads towards building a trustworthy mobile advertising ecosystem.

preprint2020arXiv

Magnetophonons & type-B Goldstones from Hydrodynamics to Holography

We perform a detailed analysis of a large class of effective holographic models with broken translations at finite charge density and magnetic field. We exhaustively discuss the dispersion relations of the hydrodynamic modes at zero magnetic field and successfully match them to the predictions from charged hydrodynamics. At finite magnetic field, we identify the presence of an expected type-B Goldstone boson $\mathrm{Re}[ω]\sim k^2$, known as magnetophonon and its gapped partner -- the magnetoplasmon. We discuss their properties in relation to the effective field theory and hydrodynamics expectations. Finally, we compute the optical conductivities and the quasinormal modes at finite magnetic field. We observe that the pinning frequency of the magneto-resonance peak increases with the magnetic field, in agreement with experimental data on certain 2D materials, revealing the quantum nature of the holographic pinning mechanism.

preprint2020arXiv

Newton polytopes of rank 3 cluster variables

We characterize the cluster variables of skew-symmetrizable cluster algebras of rank 3 by their Newton polytopes. The Newton polytope of the cluster variable $z$ is the convex hull of the set of all $\mathbf{p}\in\mathbb{Z}^3$ such that the Laurent monomial ${\bf x}^{\mathbf{p}}$ appears with nonzero coefficient in the Laurent expansion of $z$ in the cluster ${\bf x}$. We give an explicit construction of the Newton polytope in terms of the exchange matrix and the denominator vector of the cluster variable. Along the way, we give a new proof of the fact that denominator vectors of non-initial cluster variables are non-negative in a cluster algebra of arbitrary rank.

preprint2020arXiv

Ontology-based systematic classification and analysis of coronaviruses, hosts, and host-coronavirus interactions towards deep understanding of COVID-19

Given the existing COVID-19 pandemic worldwide, it is critical to systematically study the interactions between hosts and coronaviruses including SARS-Cov, MERS-Cov, and SARS-CoV-2 (cause of COVID-19). We first created four host-pathogen interaction (HPI)-Outcome postulates, and generated a HPI-Outcome model as the basis for understanding host-coronavirus interactions (HCI) and their relations with the disease outcomes. We hypothesized that ontology can be used as an integrative platform to classify and analyze HCI and disease outcomes. Accordingly, we annotated and categorized different coronaviruses, hosts, and phenotypes using ontologies and identified their relations. Various COVID-19 phenotypes are hypothesized to be caused by the backend HCI mechanisms. To further identify the causal HCI-outcome relations, we collected 35 experimentally-verified HCI protein-protein interactions (PPIs), and applied literature mining to identify additional host PPIs in response to coronavirus infections. The results were formulated in a logical ontology representation for integrative HCI-outcome understanding. Using known PPIs as baits, we also developed and applied a domain-inferred prediction method to predict new PPIs and identified their pathological targets on multiple organs. Overall, our proposed ontology-based integrative framework combined with computational predictions can be used to support fundamental understanding of the intricate interactions between human patients and coronaviruses (including SARS-CoV-2) and their association with various disease outcomes.

preprint2020arXiv

OODT: Obstacle Aware Opportunistic Data Transmission for Cognitive Radio Ad Hoc Networks

In recent years, a large number of smart devices will be connected in Internet of Things (IoT) using an ad hoc network, which needs more frequency spectra. The cognitive radio (CR) technology can improve spectrum utilization in an opportunistic communication manner for IoT, forming a promising paradigm known as cognitive radio ad hoc networks,CRAHNs. However, dynamic spectrum availability and mobile devices/persons make it difficult to develop an efficient data transmission scheme for CRAHNs under an obstacle environment. Opportunistic routing can leverage the broadcast nature of wireless channels to enhance network performance. Inspired by this, in this paper, we propose an Obstacle aware Opportunistic Data Transmission scheme (OODT) in CRAHNs from a computational geometry perspective, considering energy efficiency and social features. In the proposed scheme, we exploit a new routing metric, which is based on an obstacle avoiding algorithm using a polygon boundary 1-searcher technology, and an auction model for selecting forwarding candidates. In addition, we prove that the candidate selection problem is NP-hard and propose a heuristic algorithm for candidate selection. The simulation results show that the proposed scheme can achieve better performance than existing schemes.

preprint2020arXiv

Phase-Matching Quantum Cryptographic Conferencing

Quantum cryptographic conferencing (QCC) holds promise for distributing information-theoretic secure keys among multiple users over long distance. Limited by the fragility of Greenberger-Horne-Zeilinger (GHZ) state, QCC networks based on directly distributing GHZ states at long distance still face big challenge. Another two potential approaches are measurement device independent QCC and conference key agreement with single-photon interference, which was proposed based on the post-selection of GHZ states and the post-selection of W state, respectively. However, implementations of the former protocol are still heavily constrained by the transmission rate $η$ of optical channels and the complexity of the setups for post-selecting GHZ states. Meanwhile, the latter protocol cannot be cast to a measurement device independent prepare-and-measure scheme. Combining the idea of post-selecting GHZ state and recently proposed twin-field quantum key distribution protocols, we report a QCC protocol based on weak coherent state interferences named phase-matching quantum cryptographic conferencing, which is immune to all detector side-channel attacks. The proposed protocol can improve the key generation rate from $\mathrm{O}(η^N)$ to $\mathrm{O}(η^{N-1})$ compared with the measurement device independent QCC protocols. Meanwhile, it can be easily scaled up to multiple parties due to its simple setup.

preprint2020arXiv

Positive Solutions of Competition Model with Saturation

In this paper, the positive solutions of a diffusive competition model with saturation are mainly discussed. Under certain conditions, the stability and multiplicities of coexistence states are analyzed. And by using the topological degree theory in cones, it is proved that the problem has at least two positive solutions under certain conditions. Finally, investigating the bifurcation of coexistence states emanating from the semi-trivial solutions, some instability and multiplicity results of coexistence state are expressed.

preprint2020arXiv

Quantum Optimization with a Novel Gibbs Objective Function and Ansatz Architecture Search

The Quantum Approximate Optimization Algorithm (QAOA) is a standard method for combinatorial optimization with a gate-based quantum computer. The QAOA consists of a particular ansatz for the quantum circuit architecture, together with a prescription for choosing the variational parameters of the circuit. We propose modifications to both. First, we define the Gibbs objective function and show that it is superior to the energy expectation value for use as an objective function in tuning the variational parameters. Second, we describe an Ansatz Architecture Search (AAS) algorithm for searching the discrete space of quantum circuit architectures near the QAOA to find a better ansatz. Applying these modifications for a complete graph Ising model results in a $244.7\%$ median relative improvement in the probability of finding a low-energy state while using $33.3\%$ fewer two-qubit gates. For Ising models on a 2d grid we similarly find $44.4\%$ median improvement in the probability with a $20.8\%$ reduction in the number of two-qubit gates. This opens a new research field of quantum circuit architecture design for quantum optimization algorithms.

preprint2020arXiv

Referenceless Rate-Distortion Modeling with Learning from Bitstream and Pixel Features

Generally, adaptive bitrates for variable Internet bandwidths can be obtained through multi-pass coding. Referenceless prediction-based methods show practical benefits compared with multi-pass coding to avoid excessive computational resource consumption, especially in low-latency circumstances. However, most of them fail to predict precisely due to the complex inner structure of modern codecs. Therefore, to improve the fidelity of prediction, we propose a referenceless prediction-based R-QP modeling (PmR-QP) method to estimate bitrate by leveraging a deep learning algorithm with only one-pass coding. It refines the global rate-control paradigm in modern codecs on flexibility and applicability with few adjustments as possible. By exploring the potentials of bitstream and pixel features from the prerequisite of one-pass coding, it can reach the expectation of bitrate estimation in terms of precision. To be more specific, we first describe the R-QP relationship curve as a robust quadratic R-QP modeling function derived from the Cauchy-based distribution. Second, we simplify the modeling function by fastening one operational point of the relationship curve received from the coding process. Third, we learn the model parameters from bitstream and pixel features, named them hybrid referenceless features, comprising texture information, hierarchical coding structure, and selected modes in intra-prediction. Extensive experiments demonstrate the proposed method significantly decreases the proportion of samples' bitrate estimation error within 10% by 24.60% on average over the state-of-the-art.

preprint2020arXiv

Robust Platoon Control in Mixed Traffic Flow Based on Tube Model Predictive Control

The design of cooperative adaptive cruise control is critical in mixed traffic flow, where connected and automated vehicles (CAVs) and human-driven vehicles (HDVs) coexist. Compared with pure CAVs, the major challenge is how to handle the prediction uncertainty of HDVs, which can cause significant state deviation of CAVs from planned trajectories. In most existing studies, model predictive control (MPC) is utilized to replan CAVs' trajectories to mitigate the deviation at each time step. However, as the replan process is usually conducted by solving an optimization problem with information through inter-vehicular communication, MPC methods suffer from heavy computational and communicational burdens. To address this limitation, a robust platoon control framework is proposed based on tube MPC in this paper. The prediction uncertainty is dynamically mitigated by the feedback control and restricted inside a set with a high probability. When the uncertainty exceeds the set or additional external disturbance emerges, the feedforward control is triggered to plan a ``tube'' (a sequence of the set), which can bound CAVs' actual trajectories. As the replan process is usually not required, the proposed method is much more efficient regarding computation and communication, compared with the MPC method. Comprehensive simulations are provided to validate the effectiveness of the proposed framework.

preprint2020arXiv

Software tools for quantum control: Improving quantum computer performance through noise and error suppression

Manipulating quantum computing hardware in the presence of imperfect devices and control systems is a central challenge in realizing useful quantum computers. Susceptibility to noise limits the performance and capabilities of noisy intermediate-scale quantum (NISQ) devices, as well as any future quantum computing technologies. Fortunately quantum control enables efficient execution of quantum logic operations and algorithms with built-in robustness to errors, without the need for complex logical encoding. In this manuscript we introduce software tools for the application and integration of quantum control in quantum computing research, serving the needs of hardware R&D teams, algorithm developers, and end users. We provide an overview of a set of python-based classical software tools for creating and deploying optimized quantum control solutions at various layers of the quantum computing software stack. We describe a software architecture leveraging both high-performance distributed cloud computation and local custom integration into hardware systems, and explain how key functionality is integrable with other software packages and quantum programming languages. Our presentation includes a detailed mathematical overview of central product features including a flexible optimization toolkit, filter functions for analyzing noise susceptibility in high-dimensional Hilbert spaces, and new approaches to noise and hardware characterization. Pseudocode is presented in order to elucidate common programming workflows for these tasks, and performance benchmarking is reported for numerically intensive tasks, highlighting the benefits of the selected cloud-compute architecture. Finally, we present a series of case studies demonstrating the application of quantum control solutions using these tools in real experimental settings for both trapped-ion and superconducting quantum computer hardware.

preprint2020arXiv

Studying the doublet bands at the borders of the $A \approx 130$ island of chiral candidates: the $^{120}$I case

Based on the reported positive-parity doublet bands in $^{120}$I, the corresponding experimental characteristics including rotational alignment have been discussed and corresponding configuration assignment is reexamined. The self-consistent tilted axis cranking relativistic mean-field calculations indicates that this doublet bands is built on configuration $πh_{11/2}\otimes νh ^{-1}_{11/2}$. In addition, adopting the two quasiparticles coupled with a triaxial rotor model, the excitation energies, energy staggering parameter $S(I)$, $B(M1)/B(E2)$, effective angles, and $K$ $plots$ have been discussed and also compared with the available data. All of these results support the interpretation of chiral doublet bands for the positive-parity doublet bands in $^{120}$I, and hence identify this nucleus as the border of the $A \approx 130$ island of chiral candidates.

preprint2020arXiv

The Calderón Problem For The Fractional Magnetic Operator

We introduce the fractional magnetic operator involving a magnetic potential and an electric potential. We formulate an inverse problem for the fractional magnetic operator. We determine the electric potential from the exterior partial measurements of the associated Dirichlet-to-Neumann map by using Runge approximation property.

preprint2020arXiv

Vanishing Point Guided Natural Image Stitching

Recently, works on improving the naturalness of stitching images gain more and more extensive attention. Previous methods suffer the failures of severe projective distortion and unnatural rotation, especially when the number of involved images is large or images cover a very wide field of view. In this paper, we propose a novel natural image stitching method, which takes into account the guidance of vanishing points to tackle the mentioned failures. Inspired by a vital observation that mutually orthogonal vanishing points in Manhattan world can provide really useful orientation clues, we design a scheme to effectively estimate prior of image similarity. Given such estimated prior as global similarity constraints, we feed it into a popular mesh deformation framework to achieve impressive natural stitching performances. Compared with other existing methods, including APAP, SPHP, AANAP, and GSP, our method achieves state-of-the-art performance in both quantitative and qualitative experiments on natural image stitching.

preprint2020arXiv

Warwick Image Forensics Dataset for Device Fingerprinting In Multimedia Forensics

Device fingerprints like sensor pattern noise (SPN) are widely used for provenance analysis and image authentication. Over the past few years, the rapid advancement in digital photography has greatly reshaped the pipeline of image capturing process on consumer-level mobile devices. The flexibility of camera parameter settings and the emergence of multi-frame photography algorithms, especially high dynamic range (HDR) imaging, bring new challenges to device fingerprinting. The subsequent study on these topics requires a new purposefully built image dataset. In this paper, we present the Warwick Image Forensics Dataset, an image dataset of more than 58,600 images captured using 14 digital cameras with various exposure settings. Special attention to the exposure settings allows the images to be adopted by different multi-frame computational photography algorithms and for subsequent device fingerprinting. The dataset is released as an open-source, free for use for the digital forensic community.

preprint2019arXiv

An Experimentally Verified Approach to non-Entanglement-Breaking Channel Certification

Ensuring the non-entanglement-breaking (non-EB) property of quantum channels is crucial for the effective distribution and storage of quantum states. However, a practical method for direct and accurate certification of the non-EB feature is highly desirable. Here, we propose and verify a realistic source based measurement device independent certification of non-EB channels. Our method is resilient to repercussions on the certification from experimental conditions, such as multiphotons and imperfect state preparation, and can be implemented with information incomplete set. We achieve good agreement between experimental outcomes and theoretical predictions, which is validated by the expected results of the ideal semi-quantum signaling game, and accurately certify the non-EB channels. Furthermore, our approach is highly robust to effects from noise. Therefore, the proposed approach can be expected to play a significant role in the design and evaluation of realistic quantum channels.

preprint2019arXiv

Holographic complexity growth in a FLRW universe

We investigate the holographic complexity growth rate of a conformal field theory in a FLRW universe. We consider two ways to realize a FLRW spacetime from an Anti-de Sitter Schwarzschild geometry. The first one is obtained by introducing a new foliation of the Schwarzschild geometry such that the conformal boundary takes the FLRW form. The other one is to consider a brane universe moving in the Schwarzschild background. For each case, we compute the complexity growth rate in a closed universe and a flat universe by using both the complexity-volume and complexity-action dualities. We find that there are two kinds of contributions to the growth rate: one is from the interaction among the degrees of freedom, while the other one from the change of the spatial volume of the universe. The behaviors of the growth rate depend on the details to realize the FLRW universe as well as the holographic conjecture for the complexity. For the realization of the FLRW universe on the asymptotic boundary, the leading divergent term for the complexity growth rate obeys a volume law which is natural from the field theory viewpoint. For the brane universe scenario, the complexity-volume and complexity-action conjectures give different results for the closed universe case. A possible explanation of the inconsistency when the brane crosses the black hole horizon is given based on the Lloyd bound.

preprint2019arXiv

Lattice Disorder Effect on Magnetic Ordering of Iron Arsenides

This study investigates the changes of magnetic ordering temperature via nano- and mesoscale structural features in an iron arsenide. Although magnetic ground states in quantum materials can be theoretically predicted from known crystal structures and chemical compositions, the ordering temperature is harder to pinpoint due to such local lattice variations. In this work we find surprisingly that a locally disordered material can exhibit a significantly larger Neel temperature (TN) than an ordered material of precisely the same chemical stoichiometry. Here, a EuFe2As2 crystal, which is a 122 parent of iron arsenide superconductors, is found through synthesis to have ordering below TN = 195 K (for the disordered crystal) or TN = 175 K (for the ordered crystal). In the higher TN crystals, there are shorter planar Fe-Fe bonds [2.7692(2) A vs. 2.7745(3) A], a randomized in-plane defect structure, and diffuse scattering along the [00L] crystallographic direction that manifests as a rather broad specific heat peak. For the lower TN crystals, the a-lattice parameter is larger and the in-plane microscopic structure shows defect ordering along the antiphase boundaries, giving a larger TN and a higher superconducting temperature (Tc) upon the application of pressure. First principles calculations find a strong interaction between c-axis strain and interlayer magnetic coupling, but little impact of planar strain on the magnetic order. Neutron single-crystal diffraction shows that the low-temperature magnetic phase transition due to localized Eu moments is not lattice or disorder sensitive, unlike the higher-temperature Fe sublattice ordering. This study demonstrates a higher magnetic ordering point arising from local disorder in 122.

preprint2019arXiv

Neural-Guided Symbolic Regression with Asymptotic Constraints

Symbolic regression is a type of discrete optimization problem that involves searching expressions that fit given data points. In many cases, other mathematical constraints about the unknown expression not only provide more information beyond just values at some inputs, but also effectively constrain the search space. We identify the asymptotic constraints of leading polynomial powers as the function approaches zero and infinity as useful constraints and create a system to use them for symbolic regression. The first part of the system is a conditional production rule generating neural network which preferentially generates production rules to construct expressions with the desired leading powers, producing novel expressions outside the training domain. The second part, which we call Neural-Guided Monte Carlo Tree Search, uses the network during a search to find an expression that conforms to a set of data points and desired leading powers. Lastly, we provide an extensive experimental validation on thousands of target expressions showing the efficacy of our system compared to exiting methods for finding unknown functions outside of the training set.

preprint2019arXiv

Optimization of Molecules via Deep Reinforcement Learning

We present a framework, which we call Molecule Deep $Q$-Networks (MolDQN), for molecule optimization by combining domain knowledge of chemistry and state-of-the-art reinforcement learning techniques (double $Q$-learning and randomized value functions). We directly define modifications on molecules, thereby ensuring 100\% chemical validity. Further, we operate without pre-training on any dataset to avoid possible bias from the choice of that set. Inspired by problems faced during medicinal chemistry lead optimization, we extend our model with multi-objective reinforcement learning, which maximizes drug-likeness while maintaining similarity to the original molecule. We further show the path through chemical space to achieve optimization for a molecule to understand how the model works.

preprint2019arXiv

Photonic realization of quantum resetting

Contrary to the usual assumption of at least partial control of quantum dynamics, a surprising recent result proved that an arbitrary quantum state can be probabilistically reset to a state in the past by having it interact with probing systems in a consistent, but $uncontrolled$ way. We present a photonic implementation to achieve this resetting process, experimentally verifying that a state can be probabilistically reset to its past with a fidelity of $0.870\pm0.012$. We further demonstrate the preservation of an entangled state, which still violates a Bell inequality, after half of the entangled pair was reset. The ability to reset uncontrolled quantum states has implications in the foundations of quantum physics and applications in areas of quantum technology.

preprint2016arXiv

A Fast Pseudo-Stochastic Sequential Cipher Generator Based on RBMs

Based on Restricted Boltzmann Machines (RBMs), an improved pseudo-stochastic sequential cipher generator is proposed. It is effective and efficient because of the two advantages: this generator includes a stochastic neural network that can perform the calculation in parallel, that is to say, all elements are calculated simultaneously; unlimited number of sequential ciphers can be generated simultaneously for multiple encryption schemas. The periodicity and the correlation of the output sequential ciphers meet the requirements for the design of encrypting sequential data. In the experiment, the generated sequential cipher is used to encrypt the image, and better performance is achieved in terms of the key space analysis, the correlation analysis, the sensitivity analysis and the differential attack. The experimental result is promising that could promote the development of image protection in computer security.

preprint2016arXiv

An image compression and encryption scheme based on deep learning

Stacked Auto-Encoder (SAE) is a kind of deep learning algorithm for unsupervised learning. Which has multi layers that project the vector representation of input data into a lower vector space. These projection vectors are dense representations of the input data. As a result, SAE can be used for image compression. Using chaotic logistic map, the compression ones can further be encrypted. In this study, an application of image compression and encryption is suggested using SAE and chaotic logistic map. Experiments show that this application is feasible and effective. It can be used for image transmission and image protection on internet simultaneously.

preprint2016arXiv

Criteria For Superfluid Instabilities of Geometries with Hyperscaling Violation

We examine the onset of superfluid instabilities for geometries that exhibit hyperscaling violation and Lifshitz-like scaling at infrared and intermediate energy scales, and approach AdS in the ultraviolet. In particular, we are interested in the role of a non-trivial coupling between the neutral scalar supporting the scaling regime, and the (charged) complex scalar which condenses. The analysis focuses exclusively on unstable modes arising from the hyperscaling-violating portion of the geometry. Working at zero temperature, we identify simple analytical criteria for the presence of scalar instabilities, and discuss under which conditions a minimal charge will be needed to trigger a transition. Finite temperature examples are constructed numerically for a few illustrative cases.

preprint2016arXiv

Deep data mining in a real space: Separation of intertwined electronic responses in a lightly-doped BaFe2As2

Electronic interactions present in material compositions close to the superconducting dome play a key role in the manifestation of high-Tc superconductivity. In many correlated electron systems, however, the parent or underdoped states exhibit strongly inhomogeneous electronic landscape at the nanoscale that may be associated with competing, coexisting, or intertwined chemical disorder, strain, magnetic, and structural order parameters. Here we demonstrate an approach based on a combination of scanning tunneling microscopy/spectroscopy (STM/S) and advanced statistical learning for an automatic separation and extraction of statistically significant electronic behaviors in the spin density wave (SDW) regime of a lightly (~1%) gold-doped BaFe2As2. We show that the decomposed STS spectral features have a direct relevance to fundamental physical properties of the system, such as SDW-induced gap, pseudogap-like state, and impurity resonance states.

preprint2016arXiv

ELM control with RMP: plasma response models and the role of edge peeling response

Resonant magnetic perturbations (RMP) have extensively been demonstrated as a plausible technique for mitigating or suppressing large edge localized modes (ELMs). Associated with this is a substantial amount of theory and modelling efforts during recent years. Various models describing the plasma response to the RMP fields have been proposed in the literature, and are briefly reviewed in this work. Despite their simplicity, linear response models can provide alternative criteria, than the vacuum field based criteria, for guiding the choice of the coil configurations to achieve the best control of ELMs. The role of the edge peeling response to the RMP fields is illustrated as a key indicator for the ELM mitigation in low collisionality plasmas, in various tokamak devices.

preprint2016arXiv

Experimental ten-photon entanglement

Quantum entanglement among multiple spatially separated particles is of fundamental interest, and can serve as central resources for studies in quantum nonlocality, quantum-to-classical transition, quantum error correction, and quantum simulation. The ability of generating an increasing number of entangled particles is an important benchmark for quantum information processing. The largest entangled states were previously created with fourteen trapped ions, eight photons, and five superconducting qubits. Here, based on spontaneous parametric down-converted two-photon entanglement source with simultaneously a high brightness of ~12 MHz/W, a collection efficiency of ~70% and an indistinguishability of ~91% between independent photons, we demonstrate, for the first time, genuine and distillable entanglement of ten single photons under different pump power. Our work creates a state-of-the-art platform for multi-photon experiments, and provide enabling technologies for challenging optical quantum information tasks such as high-efficiency scattershot boson sampling with many photons.

preprint2016arXiv

Full reconstruction of a 14-qubit state within four hours

Full quantum state tomography (FQST) plays a unique role in the estimation of the state of a quantum system without \emph{a priori} knowledge or assumptions. Unfortunately, since FQST requires informationally (over)complete measurements, both the number of measurement bases and the computational complexity of data processing suffer an exponential growth with the size of the quantum system. A 14-qubit entangled state has already been experimentally prepared in an ion trap, and the data processing capability for FQST of a 14-qubit state seems to be far away from practical applications. In this paper, the computational capability of FQST is pushed forward to reconstruct a 14-qubit state with a run time of only 3.35 hours using the linear regression estimation (LRE) algorithm, even when informationally overcomplete Pauli measurements are employed. The computational complexity of the LRE algorithm is first reduced from $O(10^{19})$ to $O(10^{15})$ for a 14-qubit state, by dropping all the zero elements, and its computational efficiency is further sped up by fully exploiting the parallelism of the LRE algorithm with parallel Graphic Processing Unit (GPU) programming. Our result can play an important role in quantum information technologies with large quantum systems.

preprint2016arXiv

Holographic Competition of Phases and Superconductivity

We use a holographic theory to model and study the competition of four phases: an antiferromagnetic phase, a superconducting phase, a metallic phase and a striped phase, using as control parameters temperature and a doping-like parameter. We analyse the various instabilities and determine the possible phases. One class of phase diagrams, that we analyse in detail, is similar to that of high-temperature superconductors as well as other strange metal materials.

preprint2016arXiv

Molecular Dynamics Simulation of Condensation on Nanostructured Surface in a Confined Space

Understanding heat transfer characteristics of phase change and enhancing thermal energy transport in nanoscale are of great interest in both theoretical and practical applications. In the present study, we investigated the nanoscale vaporization and condensation by using molecular dynamics simulation. A cuboid system is modeled by placing hot and cold walls in the bottom and top ends and filling with working fluid between the two walls. By setting two different high temperatures for the hot wall, we showed the normal and explosive vaporizations and their impacts on thermal transport. For the cold wall, the cuboid nanostructures with fixed height, varied length, width ranging from 4 to 20 layers, and an interval of 4 layers are constructed to study the effects of condensation induced by different nanostructures. For vaporization, the results showed that higher temperature of the hot wall led to faster transport of the working fluid as a cluster moving from the hot wall to the cold wall. However, excessive temperature of the hot wall causes explosive boiling, which seems not good for the transport of heat due to the less phase change of working fluid. For condensation, the results indicate that nanostructure facilitates condensation, which could be affected not only by the increased surface area but also by the distances between surfaces of the nanostructures and the cold end. There is an optimal nanosctructure scheme which maximizes the phase change rate of the entire system.

preprint2016arXiv

Observation of quantum fingerprinting beating the classical limit

Quantum communication has historically been at the forefront of advancements, from fundamental tests of quantum physics to utilizing the quantum-mechanical properties of physical systems for practical applications. In the field of communication complexity, quantum communication allows the advantage of an exponential reduction in the information transmitted over classical communication to accomplish distributed computational tasks. However, to date, demonstrating this advantage in a practical setting continues to be a central challenge. Here, we report an experimental demonstration of a quantum fingerprinting protocol that for the first time surpasses the ultimate classical limit to transmitted information. Ultra-low noise superconducting single-photon detectors and a stable fibre-based Sagnac interferometer are used to implement a quantum fingerprinting system that is capable of transmitting less information than the classical proven lower bound over 20 km standard telecom fibre for input sizes of up to two Gbits. The results pave the way for experimentally exploring the advanced features of quantum communication and open a new window of opportunity for research in communication complexity and testing the foundations of physics.

preprint2016arXiv

Pure density functional for strong correlations and the thermodynamic limit from machine learning

We use density-matrix renormalization group, applied to a one-dimensional model of continuum Hamiltonians, to accurately solve chains of hydrogen atoms of various separations and numbers of atoms. We train and test a machine-learned approximation to $F[n]$, the universal part of the electronic density functional, to within quantum chemical accuracy. Our calculation (a) bypasses the standard Kohn-Sham approach, avoiding the need to find orbitals, (b) includes the strong correlation of highly-stretched bonds without any specific difficulty (unlike all standard DFT approximations) and (c) is so accurate that it can be used to find the energy in the thermodynamic limit to quantum chemical accuracy.

preprint2016arXiv

Secret sharing of a quantum state

Secret sharing of a quantum state, or quantum secret sharing, in which a dealer wants to share certain amount of quantum information with a few players, has wide applications in quantum information. The critical criterion in a threshold secret sharing scheme is confidentiality, with less than the designated number of players, no information can be recovered. Furthermore, in a quantum scenario, one additional critical criterion exists, the capability of sharing entangled and unknown quantum information. Here by employing a six-photon entangled state, we demonstrate a quantum threshold scheme, where the shared quantum secrecy can be efficiently reconstructed with a state fidelity as high as 93%. By observing that any one or two parties cannot recover the secrecy, we show that our scheme meets the confidentiality criterion. Meanwhile, we also demonstrate that entangled quantum information can be shared and recovered via our setting, which demonstrates that our implemented scheme is fully quantum. Moreover, our experimental setup can be treated as a decoding circuit of the 5-qubit quantum error-correcting code with two erasure errors.

preprint2016arXiv

Towards Label Imbalance in Multi-label Classification with Many Labels

In multi-label classification, an instance may be associated with a set of labels simultaneously. Recently, the research on multi-label classification has largely shifted its focus to the other end of the spectrum where the number of labels is assumed to be extremely large. The existing works focus on how to design scalable algorithms that offer fast training procedures and have a small memory footprint. However they ignore and even compound another challenge - the label imbalance problem. To address this drawback, we propose a novel Representation-based Multi-label Learning with Sampling (RMLS) approach. To the best of our knowledge, we are the first to tackle the imbalance problem in multi-label classification with many labels. Our experimentations with real-world datasets demonstrate the effectiveness of the proposed approach.

preprint2015arXiv

A Combinatorial Formula for Certain Elements of Upper Cluster Algebras

We develop an elementary formula for certain non-trivial elements of upper cluster algebras. These elements have positive coefficients. We show that when the cluster algebra is acyclic these elements form a basis. Using this formula, we show that each non-acyclic skew-symmetric cluster algebra of rank 3 is properly contained in its upper cluster algebra.

preprint2015arXiv

An Investigation into the Use of Common Libraries in Android Apps

The packaging model of Android apps requires the entire code necessary for the execution of an app to be shipped into one single apk file. Thus, an analysis of Android apps often visits code which is not part of the functionality delivered by the app. Such code is often contributed by the common libraries which are used pervasively by all apps. Unfortunately, Android analyses, e.g., for piggybacking detection and malware detection, can produce inaccurate results if they do not take into account the case of library code, which constitute noise in app features. Despite some efforts on investigating Android libraries, the momentum of Android research has not yet produced a complete set of common libraries to further support in-depth analysis of Android apps. In this paper, we leverage a dataset of about 1.5 million apps from Google Play to harvest potential common libraries, including advertisement libraries. With several steps of refinements, we finally collect by far the largest set of 1,113 libraries supporting common functionalities and 240 libraries for advertisement. We use the dataset to investigates several aspects of Android libraries, including their popularity and their proportion in Android app code. Based on these datasets, we have further performed several empirical investigations to confirm the motivations behind our work.

preprint2015arXiv

Capacity Analysis in Multi-Radio Multi-Channel Cognitive Radio Networks: A Small World Perspective

Cognitive radio (CR) has emerged as a promising technology to improve spectrum utilization. Capacity analysis is very useful in investigating the ultimate performance limits for wireless networks. Meanwhile, with increasing potential future applications for the CR systems, it is necessary to explore the limitations on their capacity in a dynamic spectrum access environment. However, due to spectrum sharing in cognitive radio networks (CRNs), the capacity of the secondary network (SRN) is much more difficult to analyze than that of traditional wireless networks. To overcome this difficulty, in this paper we introduce a novel solution based on small world model to analyze the capacity of SRN. First, we propose a new method of shortcut creation for CRNs, which is based on connectivity ratio. Also, a new channel assignment algorithm is proposed, which jointly considers the available time and transmission time of the channels. And then, we derive the capacity of SRN based on the small world model over multi-radio multi-channel (MRMC) environment. The simulation results show that our proposed scheme can obtain a higher capacity and smaller latency compared with traditional schemes in MRMC CRNs.

preprint2015arXiv

CROR: Coding-Aware Opportunistic Routing in Multi-Channel Cognitive Radio Networks

Cognitive radio (CR) is a promising technology to improve spectrum utilization. However, spectrum availability is uncertain which mainly depends on primary user's (PU's) behaviors. This makes it more difficult for most existing CR routing protocols to achieve high throughput in multi-channel cognitive radio networks (CRNs). Inter-session network coding and opportunistic routing can leverage the broadcast nature of the wireless channel to improve the performance for CRNs. In this paper we present a coding aware opportunistic routing protocol for multi-channel CRNs, cognitive radio opportunistic routing (CROR) protocol, which jointly considers the probability of successful spectrum utilization, packet loss rate, and coding opportunities. We evaluate and compare the proposed scheme against three other opportunistic routing protocols with multichannel. It is shown that the CROR, by integrating opportunistic routing with network coding, can obtain much better results, with respect to throughput, the probability of PU-SU packet collision and spectrum utilization efficiency.

preprint2015arXiv

Distributed Filter Design for Cooperative H-Infinity-Type Estimation

In this paper, we consider the distributed robust filtering problem, where estimator design is based on a set of coupled linear matrix inequalities (LMIs). We separate the problem and show that the method of multipliers can be applied to obtain a solution efficiently and in a decentralized fashion, i.e. all local estimators can compute their filter gains locally and iteratively, with communications restricted to their neighbours. The convergence properties of the iterative algorithm are analyzed and interpreted.

preprint2015arXiv

Efficient Measurement of Multiparticle Entanglement with Embedding Quantum Simulator

We reports direct and scalable measurement of multiparticle entanglement concurrence and three-tangle with embedding photonic quantum simulators. In this embedding framework [Phys. Rev. Lett. 111, 240502 (2013)], $N$-qubit entanglement monotone, which associates with non-Hermitian operators, can be efficiently measured with only 2 (for even $N$) and 6 (for odd $N$) local measurement settings. Our experiment uses a multiphoton quantum simulator to mimic the dynamical entanglement evolution and track its concurrence and three-tangle.

preprint2015arXiv

Entanglement entropy in a holographic p-wave superconductor model

In a recent paper, arXiv:1309.4877, a holographic p-wave model has been proposed in an Einstein-Maxwell-complex vector field theory with a negative cosmological constant. The model exhibits rich phase structure depending on the mass and the charge of the vector field. We investigate the behavior of the entanglement entropy of dual field theory in this model. When the above two model parameters change, we observe the second order, first order and zeroth order phase transitions from the behavior of the entanglement entropy at some intermediate temperatures. These imply that the entanglement entropy can indicate not only the occurrence of the phase transition, but also the order of the phase transition. The entanglement entropy is indeed a good probe to phase transition. Furthermore, the "retrograde condensation" which is a sub-dominated phase is also reflected on the entanglement entropy.

preprint2015arXiv

Introduction to Holographic Superconductor Models

In the last years it has been shown that some properties of strongly coupled superconductors can be potentially described by classical general relativity living in one higher dimension, which is known as holographic superconductors. This paper gives a quick and introductory overview of some holographic superconductor models with s-wave, p-wave and d-wave orders in the literature from point of view of bottom-up, and summarizes some basic properties of these holographic models in various regimes. The competition and coexistence of these superconductivity orders are also studied in these superconductor models.

preprint2015arXiv

Joint Channel Assignment and Opportunistic Routing for Maximizing Throughput in Cognitive Radio Networks

In this paper, we consider the joint opportunistic routing and channel assignment problem in multi-channel multi-radio (MCMR) cognitive radio networks (CRNs) for improving aggregate throughput of the secondary users. We first present the nonlinear programming optimization model for this joint problem, taking into account the feature of CRNs-channel uncertainty. Then considering the queue state of a node, we propose a new scheme to select proper forwarding candidates for opportunistic routing. Furthermore, a new algorithm for calculating the forwarding probability of any packet at a node is proposed, which is used to calculate how many packets a forwarder should send, so that the duplicate transmission can be reduced compared with MAC-independent opportunistic routing & encoding (MORE) [11]. Our numerical results show that the proposed scheme performs significantly better that traditional routing and opportunistic routing in which channel assignment strategy is employed.

preprint2015arXiv

Metallicity of Ca2Cu6P5 with Single and Double Copper-Pnictide Layers

We report thermodynamic and transport properties, and also theoretical calculations, for Cu-based compound Ca2Cu6P5 and compare with CaCu(2-x)P2. Both materials have layers of edge-sharing copper pnictide tetrahedral CuP4, similar to Fe-As and Fe-Se layers (with FeAs4, FeSe4) in the iron-based superconductors. Despite the presence of this similar transition-metal pnictide layer, we find that both Ca2Cu6P5 and CaCu(2-x)P2 have temperature-independent magnetic susceptibility and show metallic behavior with no evidence of either magnetic ordering or superconductivity down to 1.8 K. CaCu(2-x)P2 is slightly off-stoichiometric, with delta = 0.14. Theoretical calculations suggest that unlike Fe 3d-based magnetic materials with a large density of states (DOS) at the Fermi surface, Cu have comparatively low DOS, with the majority of the 3d spectral weight located well below Fermi level. The room-temperature resistivity value of Ca2Cu6P5 is only 9 micro ohm-cm, due to a substantial plasma frequency and an inferred electron-phonon coupling lambda of 0.073 (significantly smaller than that of metallic Cu). Also, microscopy result shows that Cu-Cu distance along the c-axis within the double layers can be very short (2.5 A), even shorter than metallic elemental copper bond (2.56 A). The value of dp over dT for CaCu(2-x)P2 at 300 K is approximately three times larger than in Ca2Cu6P5, which suggests the likelihood of stronger electron-phonon coupling. This study shows that the details of Cu-P layers and bonding are important for their transport characteristics. In addition, it emphasizes the remarkable character of the DOS of '122' iron-based materials, despite much structural similarities.

preprint2015arXiv

NFCU: A New Friendship-based Routing with Buffer Management in Opportunistic Networks

Routing in opportunistic networks is a very important and challenging problem because opportunistic network utilizes the contact opportunities of mobile nodes to achieve data communication.Social-based routing uses behavior of human beings which can form a community with the same interests to deliver the message.In this paper,we analyze the drawbacks of the original friendship-based algorithm, which defined social pressure metric to determine nodes'friendship community, but the metric couldn't distinguish the distribution characterization of the connection length which has an important impact on the selection of links with better quality. Further, the existing friendship-based routing doesn't consider the buffer management, which is vital for routing design in opportunistic networks. We propose a New Friendship-based routing with buffer management based on Copy Utility, named NFCU. NFCU algorithm, which not only considers the contact periods in constructing social pressure metric to solve the drawbacks of the original friendship-based routing scheme efficiently, but also considers the buffer management, that can efficiently determine which copy of the message should be deleted timely according to the copy utility function. Our proposed strategy can reduce the network overhead significantly, and increase the message delivery ratio. The extensive simulation results demonstrate that NFCU performs better than the original friendship-based routing. Moreover, we compare NFCU with other four classicalrouting schemes in opportunistic networks in terms of message delivery ratio, average delay, and comprehensive metric- message delivery ratio*(1/average delay). The simulation results show that our scheme NFCU can achieve better performance.

preprint2015arXiv

Role of Magnetism in Superconductivity of BaFe2As2: Study of 5d Au-doped Crystals

We investigate properties of BaFe2As2 (122) single crystals upon gold doping, which is the transition metal with the highest atomic weight. The Au substitution into the FeAs-planes of 122 crystal structure (Au-122) is only possible up to a small amount of ~3%. We find that 5d is more effective in reducing magnetism in 122 than its counter 3d Cu, and this relates to superconductivity. We provide evidence of short-range magnetic fluctuations and local-lattice inhomogeneities that may prevent strong percolative superconductivity in Ba(Fe1-xAux)2As2.

preprint2015arXiv

Time Evolution of Entanglement Entropy in Quenched Holographic Superconductors

We investigate the dynamical evolution of entanglement entropy in a holographic superconductor model by quenching the source term of the dual charged scalar operator. By access to the full background geometry, the holographic entanglement entropy is calculated for a strip geometry at the AdS boundary. It is found that the entanglement entropy exhibits a robust non-monotonic behaviour in time, independent of the strength of Gaussian quench and the size of the strip: it first displays a small dip, then grows linearly, and finally saturates. In particular, the linear growth velocity of the entanglement entropy has an upper bound for strip with large width; The equilibrium value of the non-local probe at late time shows a power law scaling behaviour with respect to the quench strength; Moreover, the entanglement entropy can uncover the dynamical transition at certain critical quench strength which happens to coincide with the one obtained form the dynamical evolution of scalar order parameter.

preprint2015arXiv

Transport Protocols in Cognitive Radio Networks: A Survey

Cognitive radio networks (CRNs) have emerged as a promising solution to enhance spectrum utilization by using unused or less used spectrum in radio environments. The basic idea of CRNs is to allow secondary users (SUs) access to licensed spectrum, under the condition that the interference perceived by the primary users (PUs) is minimal. In CRNs, the channel availability is uncertainty due to the existence of PUs, resulting in intermittent communication. Transmission control protocol (TCP) performance may significantly degrade in such conditions. To address the challenges, some transport protocols have been proposed for reliable transmission in CRNs. In this paper we survey the state-of-the-art transport protocols for CRNs. We firstly highlight the unique aspects of CRNs, and describe the challenges of transport protocols in terms of PU behavior, spectrum sensing, spectrum changing and TCP mechanism itself over CRNs. Then, we provide a summary and comparison of existing transport protocols for CRNs. Finally, we discuss several open issues and research challenges. To the best of our knowledge, our work is the first survey on transport protocols for CRNs.

preprint2015arXiv

Understanding Kernel Ridge Regression: Common behaviors from simple functions to density functionals

Accurate approximations to density functionals have recently been obtained via machine learning (ML). By applying ML to a simple function of one variable without any random sampling, we extract the qualitative dependence of errors on hyperparameters. We find universal features of the behavior in extreme limits, including both very small and very large length scales, and the noise-free limit. We show how such features arise in ML models of density functionals.

preprint2014arXiv

Attenuation Correction of L-shell X-ray Fluorescence Computed Tomography Imaging

X-ray Fluorescence Computed Tomography(XFCT) is a prevalent experimental technique which is utilized to investigate the spatial distribution of elements in sample. The sensitivity of L-shell XFCT of some elements is lower than that of K-shell XFCT. However, the image reconstruction for this technique has much more problems than that of transmission tomography, one of which is self-absorption. In the present work, a novel strategy was developed to deal with such problems. But few researches are concerned on attenuation correction of L-shell XFCT that are essential to get accurate reconstructed image. We make use of the known quantities and the unknown elemental concentration of interest to express the unknown attenuation maps. And then the attenuation maps are added in the contribution value of the pixel in MLEM reconstruction method. Results indicate that the relative error is less than 14.1%, which is proved this method can correct L-shell XFCT very well.

preprint2014arXiv

Canonical form of master equations and characterization of non-Markovianity

Master equations govern the time evolution of a quantum system interacting with an environment, and may be written in a variety of forms. Time-independent or memoryless master equations, in particular, can be cast in the well-known Lindblad form. Any time-local master equation, Markovian or non-Markovian, may in fact also be written in a Lindblad-like form. A diagonalisation procedure results in a unique, and in this sense canonical, representation of the equation, which may be used to fully characterize the non-Markovianity of the time evolution. Recently, several different measures of non-Markovianity have been presented which reflect, to varying degrees, the appearance of negative decoherence rates in the Lindblad-like form of the master equation. We therefore propose using the negative decoherence rates themselves, as they appear in the canonical form of the master equation, to completely characterize non-Markovianity. The advantages of this are especially apparent when more than one decoherence channel is present. We show that a measure proposed by Rivas et al. is a surprisingly simple function of the canonical decoherence rates, and give an example of a master equation that is non-Markovian for all times t>0, but to which nearly all proposed measures are blind. We also give necessary and sufficient conditions for trace distance and volume measures to witness non-Markovianity, in terms of the Bloch damping matrix.

preprint2014arXiv

Competition between s-wave order and d-wave order in holographic superconductors

We study competition between s-wave order and d-wave order through two holographic superconductor models. We find that once the coexisting phase appears, it is always thermodynamically favored, and that the coexistence phase is narrow and one condensate tends to kill the other. The phase diagram is constructed for each model in terms of temperature and the ratio of charges of two orders. We further compare the behaviors of some thermodynamic quantities, and discuss the different aspects and identical ones between two models.

preprint2014arXiv

I know what leaked in your pocket: uncovering privacy leaks on Android Apps with Static Taint Analysis

Android applications may leak privacy data carelessly or maliciously. In this work we perform inter-component data-flow analysis to detect privacy leaks between components of Android applications. Unlike all current approaches, our tool, called IccTA, propagates the context between the components, which improves the precision of the analysis. IccTA outperforms all other available tools by reaching a precision of 95.0% and a recall of 82.6% on DroidBench. Our approach detects 147 inter-component based privacy leaks in 14 applications in a set of 3000 real-world applications with a precision of 88.4%. With the help of ApkCombiner, our approach is able to detect inter-app based privacy leaks.

preprint2014arXiv

Non-relativistic Josephson Junction from Holography

We construct a Josephson junction in non-relativistic case with a Lifshitz geometry as the dual gravity. We investigate the effect of the Lifshitz scaling in comparison with its relativistic counterpart. The standard sinusoidal relation between the current and the phase difference is found for various Lifshitz scalings characterised by the dynamical critical exponent. We also find the exponential decreasing relation between the condensate of the scalar operator within the barrier at zero current and the width of the weak link, as well as the relation between the critical current and the width. Nevertheless, the coherence lengths obtained from two exponential decreasing relations generically have discrepancies for non-relativistic dual.

preprint2014arXiv

Petrov type I Condition and Dual Fluid Dynamics

Recently Lysov and Strominger [arXiv:1104.5502] showed that imposing Petrov type I condition on a $(p+1)$-dimensional timelike hypersurface embedded in a $(p+2)$-dimensional vacuum Einstein gravity reduces the degrees of freedom in the extrinsic curvature of the hypersurface to that of a fluid on the hypersurface, and that the leading-order Einstein constraint equations in terms of the mean curvature of the embedding give the incompressible Navier-Stokes equations of the dual fluid. In this paper we show that the non-relativistic fluid dual to vacuum Einstein gravity does not satisfy the Petrov type I condition at next order, unless additional constraint such as the irrotational condition is added. In addition, we show that this procedure can be inversed to derive the non-relativistic hydrodynamics with higher order corrections through imposing the Petrov type I condition, and that some second order transport coefficients can be extracted, but the dual "Petrov type I fluid" does not match the dual fluid constructed from the geometry of vacuum Einstein gravity in the non-relativistic limit. We discuss the procedure both on the finite cutoff surface via the non-relativistic hydrodynamic expansion and on the highly accelerated surface via the near horizon expansion.

preprint2014arXiv

Quantization Errors of Modulo Sigma-Delta Modulated ARMA Processes

In this paper, we study the quantization errors of modulo sigma-delta modulated finite, asymptotically-infinite, infinite causal stable ARMA processes. We prove that the normalized quantization error can be taken as a uniformly distributed white noise for all the cases. Moreover, we find that this nice property is guaranteed by two different mechanisms: the high-enough quantization resolution \cite{Bennett1948}-\cite{WidrowKollar2008} and the asymptotic convergence of quantization errors for some quasi-stationary processes \cite{ChouGray1991}-\cite{LiChenLiZhang2009}, for different cases. But the assumption of the smooth density of the sampled random processes is needed in all the cases.

preprint2014arXiv

Quantum teleportation of multiple properties of a single quantum particle

Quantum teleportation provides a "disembodied" way to transfer quantum states from one object to another at a distant location, assisted by priorly shared entangled states and a classical communication channel. In addition to its fundamental interest, teleportation has been recognized as an important element in long-distance quantum communication, distributed quantum networks and measurement-based quantum computation. There have been numerous demonstrations of teleportation in different physical systems such as photons, atoms, ions, electrons, and superconducting circuits. Yet, all the previous experiments were limited to teleportation of one degree of freedom (DoF) only. However, a single quantum particle can naturally possess various DoFs -- internal and external -- and with coherent coupling among them. A fundamental open challenge is to simultaneously teleport multiple DoFs, which is necessary to fully describe a quantum particle, thereby truly teleporting it intactly. Here, we demonstrate the first teleportation of the composite quantum states of a single photon encoded in both the spin and orbital angular momentum. We develop a method to project and discriminate hyper-entangled Bell states exploiting probabilistic quantum non-demolition measurement, which can be extended to more DoFs. We verify the teleportation for both spin-orbit product states and hybrid entangled state, and achieve a teleportation fidelity ranging from 0.57 to 0.68, above the classical limit. Our work moves a step toward teleportation of more complex quantum systems, and demonstrates an enhanced capability for scalable quantum technologies.

preprint2014arXiv

Stateful Security Protocol Verification

A long-standing research problem in security protocol design is how to efficiently verify security protocols with tamper-resistant global states. In this paper, we address this problem by first proposing a protocol specification framework, which explicitly represents protocol execution states and state transformations. Secondly, we develop an algorithm for verifying security properties by utilizing the key ingredients of the first-order reasoning for reachability analysis, while tracking state transformation and checking the validity of newly generated states. Our verification algorithm is proven to be (partially) correct, if it terminates. We have implemented the proposed framework and verification algorithms in a tool named SSPA, and evaluate it using a number of stateful security protocols. The experimental results show that our approach is not only feasible but also practically efficient. In particular, we have found a security flaw on the digital envelope protocol, which could not be detected by existing security protocol verifiers.

preprint2014arXiv

Towards Complete Phase Diagrams of a Holographic P-wave Superconductor Model

We study in detail the phase structure of a holographic p-wave superconductor model in a five dimensional Einstein-Maxwell-complex vector field theory with a negative cosmological constant. To construct complete phase diagrams of the model, we consider both the soliton and black hole backgrounds. In both two cases, there exist second order, first order and zeroth order phase transitions, and the so-called "retrograde condensation" also happens. In particular, in the soliton case with the mass of the vector field being beyond a certain critical value, we find a series of phase transitions happen such as "insulator/superconductor/insulator/superconductor", as the chemical potential continuously increases. We construct complete phase diagrams in terms of temperature and chemical potential and find some new phase boundaries.

preprint2014arXiv

Understanding Machine-learned Density Functionals

Kernel ridge regression is used to approximate the kinetic energy of non-interacting fermions in a one-dimensional box as a functional of their density. The properties of different kernels and methods of cross-validation are explored, and highly accurate energies are achieved. Accurate {\em constrained optimal densities} are found via a modified Euler-Lagrange constrained minimization of the total energy. A projected gradient descent algorithm is derived using local principal component analysis. Additionally, a sparse grid representation of the density can be used without degrading the performance of the methods. The implications for machine-learned density functional approximations are discussed.

preprint2014arXiv

Vector Condensate and AdS Soliton Instability Induced by a Magnetic Field

We continue to study the holographic p-wave superconductor model in the Einstein-Maxwell-complex vector field theory with a non-minimal coupling between the complex vector field and the Maxwell field. In this paper we work in the AdS soliton background which describes a conformal field theory in the confined phase and focus on the probe approximation. We find that an applied magnetic field can lead to the condensate of the vector field and the AdS soliton instability. As a result, a vortex lattice structure forms in the spatial directions perpendicular to the applied magnetic field. As a comparison, we also discuss the vector condensate in the Einstein-SU(2) Yang-Mills theory and find that in the setup of the present paper, the Einstein-Maxwell-complex vector field model is a generalization of the SU(2) model in the sense that the vector field has a general mass and gyromagnetic ratio.

preprint2013arXiv

A Holographic P-wave Superconductor Model

We study a holographic p-wave superconductor model in a four dimensional Einstein-Maxwell-complex vector field theory with a negative cosmological constant. The complex vector field is charged under the Maxwell field. We solve the full coupled equations of motion of the system and find black hole solutions with the vector hair. The vector hairy black hole solutions are dual to a thermal state with the U(1) symmetry as well as the spatial rotational symmetry breaking spontaneously. Depending on two parameters, the mass and charge of the vector field, we find a rich phase structure: zeroth order, first order and second order phase transitions can happen in this model. We also find "retrograde condensation" in which the hairy black hole solution exists only for the temperatures above a critical value with the free energy much larger than the black hole without hair. We construct the phase diagram for this system in terms of the temperature and charge of the vector field.

preprint2013arXiv

A Holographic Study on Vector Condensate Induced by a Magnetic Field

We study a holographic model with vector condensate by coupling the anti-de Sitter gravity to an Abelian gauge field and a charged vector field in $(3+1)$ dimensional spacetime. In this model there exists a non-minimal coupling of the vector filed to the gauge field. We find that there is a critical temperature below which the charged vector condenses via a second order phase transition. The DC conductivity becomes infinite and the AC conductivity develops a gap in the condensed phase. We study the effect of a background magnetic field on the system. It is found that the background magnetic field can induce the condensate of the vector field even in the case without chemical potential/charge density. In the case with non-vanishing charge density, the transition temperature raises with the applied magnetic field, and the condensate of the charged vector operator forms a vortex lattice structure in the spatial directions perpendicular to the magnetic field.

preprint2013arXiv

Competition and Coexistence of Order Parameters in Holographic Multi-Band Superconductors

We construct a holographic multi-band superconductor model with each complex scalar field in the bulk minimally coupled to a same gauge field. Taking into account the back reaction of matter fields on the background geometry and focusing on the two band case with two scalar order parameters, we find that depending on the strength of the back reaction and the charge ratio of the two bulk scalars, five different superconducting phases exist, and three of five phases exhibit some region where both orders coexist and are thermodynamically favored. The other two superconducting phases have only one scalar order. The model exhibits rich phase structure and we construct the full diagram for the five superconducting phases. Our analysis indicates that the equivalent attractive interaction mediated by gravity between the two order parameters tends to make the coexistence of two orders much more easy rather than more difficult.

preprint2013arXiv

Entanglement Entropy in Holographic P-Wave Superconductor/Insulator Model

We continue our study of entanglement entropy in the holographic superconducting phase transitions. In this paper we consider the holographic p-wave superconductor/insulator model, where as the back reaction increases, the transition is changed from second order to first order. We find that unlike the s-wave case, there is no additional first order transition in the superconducting phase. We calculate the entanglement entropy for two strip geometries. One is parallel to the super current, and the other is orthogonal to the super current. In both cases, we find that the entanglement entropy monotonically increases with respect to the chemical potential.

preprint2013arXiv

Evolutionary Method for Predicting Surface Reconstructions with Variable Stoichiometry

We present a specially designed evolutionary algorithm for the prediction of surface reconstructions. This new technique allows one to automatically explore all the low-energy configurations with variable surface atoms and variable surface unit cells through the whole chemical potential range. The power of evolutionary search is demonstrated by the efficient identification of diamond 2*1 (100) and 2*1 (111) surfaces with a fixed number of surface atom and a fixed cell size. With further variation of surface unit cells, we study the reconstructions of the polar surface MgO (111). Experiment has detected an oxygen trimer (ozone) motif (Plass et al, 1998). We predict a new version of this motif which can be thermodynamically stable at extreme oxygen rich condition. Finally, we perform a variable stoichiometry search for a complex ternary system: semi-polar GaN (101bar1) with and without adsorbed oxygen. The search yields a non-intuitive reconstruction based on N3-trimers. These examples demonstrate that an automated scheme to explore the energy landscape of surfaces will improve our understanding of surface reconstructions. The method presented in this report can be generally applied to binary and multi-component systems.

preprint2013arXiv

P-V criticality in the extended phase space of Gauss-Bonnet black holes in AdS space

We study the $P-V$ criticality and phase transition in the extended phase space of charged Gauss-Bonnet black holes in anti-de Sitter space, where the cosmological constant appears as a dynamical pressure of the system and its conjugate quantity is the thermodynamic volume of the black hole. The black holes can have a Ricci flat ($k=0$), spherical ($k=1$), or hyperbolic ($k=-1$) horizon. We find that for the Ricci flat and hyperbolic Gauss-Bonnet black holes, no $P-V$ criticality and phase transition appear, while for the black holes with a spherical horizon, even when the charge of the black hole is absent, the $P-V$ criticality and the small black hole/large black hole phase transition will appear, but it happens only in $d=5$ dimensions; when the charge does not vanish, the $P-V$ criticality and the small black hole/large phase transition always appear in $d=5$ dimensions; in the case of $d\ge 6$, to have the $P-V$ criticality and the small black hole/large black hole phase transition, there exists an upper bound for the parameter $b=\widetildeα|Q|^{-2/(d-3)}$, where $\tilde α$ is the Gauss-Bonnet coefficient and $Q$ is the charge of the black hole. We calculate the critical exponents at the critical point and find that for all cases, they are the same as those in the van der Waals liquid-gas system.

preprint2013arXiv

Quantum State Tomography via Linear Regression Estimation

A simple yet efficient method of linear regression estimation (LRE) is presented for quantum state tomography. In this method, quantum state reconstruction is converted into a parameter estimation problem of a linear regression model and the least-squares method is employed to estimate the unknown parameters. The asymptotic mean squared error (MSE) bound of the estimate can be given analytically, which can guide one to choose optimal measurement sets. The LRE is asymptotically optimal in the sense that the MSE may achieve the Cramér-Rao bound asymptotically. The computational complexity of LRE is O(d^4), where d is the dimension of the quantum state. Numerical examples show that LRE is much faster than maximum-likelihood estimation for quantum state tomography.

preprint2013arXiv

Single Crystal Growth, Transport, and Electronic Band Structure of YCoGa$_5$

Single crystal of YCoGa5 has been grown via Ga self-flux. In this paper, we report the single crystal growth, crystallographic parameters, resistivity, heat capacity, and band structure results of YCoGa5. YCoGa5 accommodates the HoCoGa5 type structure (space group P4/mmm (No. 123), Z = 1, a = 4.2131(6) A, c = 6.7929(13) A, which is isostructural to the extensively studied heavy fermion superconductor system CeMIn5 (M = Co, Rh, Ir) and the unconventional superconductor PuCoGa5 with Tc = 18.5 K. No superconductivity is observed down to 1.75 K. Band structure calculation results show that its band at the Fermi level is mainly composed of Co-3d and Ga-4p electrons states, which explains its similarity of physical properties to YbCoGa5 and LuCoGa5.

preprint2013arXiv

Some aspects of QGP phase in a hQCD model

We continue to study the holographic QCD (hQCD) model, proposed in a previous paper, in an Einstein-Maxwell-Dilaton (EMD) system. In this paper we discuss some aspects of quark gluon plasma (QGP) in the hQCD model, such as drag force, jet quenching parameter and screening length. The results turn out to be consistent with those as expected in QCD qualitatively. By calculating free energy of the background black hole solution, we find that there exists a Hawking-Page phase transition between small black hole and big black hole when chemical potential $μ$ is less than a critical one $ μ_c$, and the phase transition is absent when chemical potential is beyond the critical one.

preprint2012arXiv

Cooperative Communication Based on Random Beamforming Strategy in Wireless Sensor Networks

This paper presents a two-phase cooperative communication strategy and an optimal power allocation strategy to transmit sensor observations to a fusion center in a large-scale sensor network. Outage probability is used to evaluate the performance of the proposed system. Simulation results demonstrate that: 1) when signal-to-noise ratio is low, the performance of the proposed system is better than that of the multiple-input and multiple-output system over uncorrelated slow fading Rayleigh channels; 2) given the transmission rate and the total transmission SNR, there exists an optimal power allocation that minimizes the outage probability; 3) on correlated slow fading Rayleigh channels, channel correlation will degrade the system performance in linear proportion to the correlation level.

preprint2012arXiv

Duality relations in a two-path interferometer with an asymmetric beam splitter

We investigate quantitatively the wave-particle duality in a general Mach-Zehnder interferometer setup with an asymmetric beam splitter. The asymmetric beam splitter introduces additional a priori which-path knowledge, which is different for a particle detected at one output port of the interferometer and a particle detected at the other. Accordingly, the fringe visibilities of the interference patterns emerging at the two output ports are also different. Hence, in sharp contrast with the symmetric case, here we should concentrate on one output port and distinguish two possible paths taken by the particles detected at that port among four paths. It turns out that two nonorthogonal unsharp observables are measured jointly in this setup. We apply the condition for joint measurability of these unsharp observables to obtain a trade-off relation between the fringe visibility of the interference pattern and the which-path distinguishability.

preprint2012arXiv

Efficient and long-lived quantum memory with cold atoms inside a ring cavity

Quantum memories are regarded as one of the fundamental building blocks of linear-optical quantum computation and long-distance quantum communication. A long standing goal to realize scalable quantum information processing is to build a long-lived and efficient quantum memory. There have been significant efforts distributed towards this goal. However, either efficient but short-lived or long-lived but inefficient quantum memories have been demonstrated so far. Here we report a high-performance quantum memory in which long lifetime and high retrieval efficiency meet for the first time. By placing a ring cavity around an atomic ensemble, employing a pair of clock states, creating a long-wavelength spin wave, and arranging the setup in the gravitational direction, we realize a quantum memory with an intrinsic spin wave to photon conversion efficiency of 73(2)% together with a storage lifetime of 3.2(1) ms. This realization provides an essential tool towards scalable linear-optical quantum information processing.

preprint2012arXiv

Entanglement Entropy and Wilson Loop in Stückelberg Holographic Insulator/Superconductor Model

We study the behaviors of entanglement entropy and vacuum expectation value of Wilson loop in the Stückelberg holographic insulator/superconductor model. This model has rich phase structures depending on model parameters. Both the entanglement entropy for a strip geometry and the heavy quark potential from the Wilson loop show that there exists a "confinement/deconfinement" phase transition. In addition, we find that the non-monotonic behavior of the entanglement entropy with respect to chemical potential is universal in this model. The pseudo potential from the spatial Wilson loop also has a similar non-monotonic behavior. It turns out that the entanglement entropy and Wilson loop are good probes to study the properties of the holographic superconductor phase transition.

preprint2012arXiv

Experimental measurement-device-independent quantum key distribution

Throughout history, every advance in encryption has been defeated by advances in hacking with severe consequences. Quantum cryptography holds the promise to end this battle by offering unconditional security when ideal single-photon sources and detectors are employed. Unfortunately, ideal devices never exist in practice and device imperfections have become the targets of various attacks. By developing up-conversion single-photon detectors with high efficiency and low noise, we build up a measurement-device-independent quantum key distribution (MDI-QKD) system, which is immune to all hacking strategies on detection. Meanwhile, we employ the decoy-state method to defeat attacks on non-ideal source. By closing the loopholes in both source and detection, our practical system, which generates more than 25 kbit secure key over a 50-km fiber link, provides an ultimate solution for communication security.

preprint2012arXiv

Holographic Entanglement Entropy in Insulator/Superconductor Transition

We investigate the behaviors of entanglement entropy in the holographical insulator/superconductor phase transition. We calculate the holographic entanglement entropy for two kinds of geometry configurations in a completely back-reacted gravitational background describing the insulator/superconductor phase transition. The non-monotonic behavior of the entanglement entropy is found in this system. In the belt geometry case, there exist four phases characterized by the chemical potential and belt width.

preprint2012arXiv

Holographic Entanglement Entropy in P-wave Superconductor Phase Transition

We investigate the behavior of entanglement entropy across the holographic p-wave superconductor phase transition in an Einstein-Yang-Mills theory with a negative cosmological constant. The holographic entanglement entropy is calculated for a strip geometry at AdS boundary. It is found that the entanglement entropy undergoes a dramatic change as we tune the ratio of the gravitational constant to the Yang-Mills coupling, and that the entanglement entropy does behave as the thermal entropy of the background black holes. That is, the entanglement entropy will show the feature of the second order or first order phase transition when the ratio is changed. It indicates that the entanglement entropy is a good probe to investigate the properties of the holographic phase transition.

preprint2012arXiv

Holographic Forced Fluid Dynamics in Non-relativistic Limit

We study the thermodynamics and non-relativistic hydrodynamics of the holographic fluid on a finite cutoff surface in the Gauss-Bonnet gravity. It is shown that the isentropic flow of the fluid is equivalent to a radial component of gravitational field equations. We use the non-relativistic fluid expansion method to study the Einstein-Maxwell-dilaton system with a negative cosmological constant, and obtain the holographic incompressible forced Navier-Stokes equations of the dual fluid at AdS boundary and at a finite cutoff surface, respectively. The concrete forms of external forces are given.

preprint2012arXiv

Holographic Storage of Biphoton Entanglement

Coherent and reversible storage of multi-photon entanglement with a multimode quantum memory is essential for scalable all-optical quantum information processing. Although single photon has been successfully stored in different quantum systems, storage of multi-photon entanglement remains challenging because of the critical requirement for coherent control of photonic entanglement source, multimode quantum memory, and quantum interface between them. Here we demonstrate a coherent and reversible storage of biphoton Bell-type entanglement with a holographic multimode atomic-ensemble-based quantum memory. The retrieved biphoton entanglement violates Bell's inequality for 1 microsecond storage time and a memory-process fidelity of 98% is demonstrated by quantum state tomography.

preprint2012arXiv

Magnetic Field Effect on the Phase Transition in AdS Soliton Spacetime

We investigate the scalar perturbations in an AdS soliton background coupled to a Maxwell field via marginally stable modes. In the probe limit, we study the magnetic field effect on the holographic insulator/superconductor phase transition numerically and analytically. The condensate will be localized in a finite circular region for any finite constant magnetic field. Near the critical point, we find that there exists a simple relation among the critical chemical potential, magnetic field, the charge and mass of the scalar field. This relation indicates that the presence of the magnetic field causes the phase transition hard.

preprint2012arXiv

The Chief Security Officer Problem

This paper presents the chief security officer (CSO) problem, defines its scope, and investigates several important research questions related within the scope. The CSO problem is defined based on the concept of secrecy capacity of wireless communication channels. It is also related to the chief Estimation/Executive Officer (CEO) problem that has been well studied in information theory. The CSO problem consists of a CSO, several agents capable of having two-way communication with the CSO, and a group of eavesdroppers. There are two scenarios in the CSO problem; one in which agents are not allowed to cooperate with one another and the other in which agents are allowed to cooperate with one another. While there are several research questions relevant to the CSO problem, this paper focusses on the following and provides answers: (1) How much information can be exchanged back and forth between the CSO and the agents without leaking any information to the eavesdroppers? (2) What is the power allocation strategy that the CSO needs to follow so as to maximize the secrecy capacity? (3) How can agents cooperate with one another in order to increase the overall secrecy capacity?.

preprint2012arXiv

Wilson Line Response of Holographic Superconductors in Gauss-Bonnet Gravity

We study the Wilson line response in the holographic superconducting phase transitions in Gauss-Bonnet gravity. In the black brane background case, the Little-Parks periodicity is independent of the Gauss-Bonnet parameter, while in the AdS soliton case, there is no evidence for the Little-Parks periodicity. We further study the impact of the Gauss-Bonnet term on the holographic phase transitions quantitatively. The results show that such quantum corrections can effectively affect the occurrence of the phase transitions and the response to the Wilson line.

preprint2011arXiv

Experimental control of the transition from Markovian to non-Markovian dynamics of open quantum systems

Realistic quantum mechanical systems are always exposed to an external environment. The presence of the environment often gives rise to a Markovian process in which the system loses information to its surroundings. However, many quantum systems exhibit a pronounced non-Markovian behavior in which there is a flow of information from the environment back to the system, signifying the presence of quantum memory effects [1-5]. The environment is usually composed of a large number of degrees of freedom which are difficult to control, but some sophisticated schemes for modifying the environment have been developed [6]. The physical realization and control of dynamical processes in open quantum systems plays a decisive role, for example, in recent proposals for the generation of entangled states [7-9], for schemes of dissipative quantum computation [10], for the design of quantum memories [11] and for the enhancement of the efficiency in quantum metrology [12]. Here we report an experiment which allows through selective preparation of the initial environmental states to drive the open system from the Markovian to the non-Markovian regime, to control the information flow between the system and the environment, and to determine the degree of non-Markovianity by direct measurements on the open system.

preprint2011arXiv

Global analysis of data on the spin-orbit coupled $A^{1}Σ_{u}^{+}$ and $b^{3}Π_{u}$ states of Cs2

We present experimentally derived potential curves and spin-orbit interaction functions for the strongly perturbed $A^{1}Σ_{u}^{+}$ and $b^{3}Π_{u}$ states of the cesium dimer. The results are based on data from several sources. Laser-induced fluorescence Fourier transform spectroscopy (LIF FTS) was used some time ago in the Laboratoire Aimé Cotton primarily to study the $X ^{1}Σ_{g}^{+}$ state. More recent work at Tsinghua University provides information from moderate resolution spectroscopy on the lowest levels of the $b^{3}Π_{0u}^{\pm}$ states as well as additional high resolution data. From Innsbruck University, we have precision data obtained with cold Cs$_{2}$ molecules. Recent data from Temple University was obtained using the optical-optical double resonance polarization spectroscopy technique, and finally, a group at the University of Latvia has added additional LIF FTS data. In the Hamiltonian matrix, we have used analytic potentials (the Expanded Morse Oscillator form) with both finite-difference (FD) coupled-channels and discrete variable representation (DVR) calculations of the term values. Fitted diagonal and off-diagonal spin-orbit functions are obtained and compared with {\it ab initio} results from Temple and Moscow State universities.

preprint2011arXiv

Non-Relativistic Fluid Dual to Asymptotically AdS Gravity at Finite Cutoff Surface

Using the non-relativistic hydrodynamic expansion, we solve equations of motion for Einstein gravity and Gauss-Bonnet gravity with a negative cosmological constant within the region between a finite cutoff surface and a black brane horizon, up to the second order of the expansion parameter. Through the Brown-York tensor, we calculate the stress energy tensor of dual fluids living on the cutoff surface. With the black brane solutions, we show that for both Einstein gravity and Gauss-Bonnet gravity, the ratio of shear viscosity to entropy ensity of dual fluid does not run with the cutoff surface. The incompressible Navier-Stokes equations are also obtained in both cases.

preprint2011arXiv

The Asymptotic Mandelbrot Law of Some Evolution Networks

In this letter, we study some evolution networks that grow with linear preferential attachment. Based upon some recent results on the quotient Gamma function, we give a rigorous proof of the asymptotic Mandelbrot law for the degree distribution $p_k \propto (k + c)^{-γ}$ in certain conditions. We also analytically derive the best fitting values for the scaling exponent $γ$ and the shifting coefficient $c$.

preprint2010arXiv

Kazhdan-Lusztig polynomials and drift configurations

The coefficients of the Kazhdan-Lusztig polynomials $P_{v,w}(q)$ are nonnegative integers that are upper semicontinuous on Bruhat order. Conjecturally, the same properties hold for $h$-polynomials $H_{v,w}(q)$ of local rings of Schubert varieties. This suggests a parallel between the two families of polynomials. We prove our conjectures for Grassmannians, and more generally, covexillary Schubert varieties in complete flag varieties, by deriving a combinatorial formula for $H_{v,w}(q)$. We introduce \emph{drift configurations} to formulate a new and compatible combinatorial rule for $P_{v,w}(q)$. From our rules we deduce, for these cases, the coefficient-wise inequality $P_{v,w}(q)\preceq H_{v,w}(q)$.

preprint2010arXiv

Response to Comments on PCA Based Hurst Exponent Estimator for fBm Signals Under Disturbances

In this response, we try to give a repair to our previous proof for PCA Based Hurst Exponent Estimator for fBm Signals by using orthogonal projection. Moreover, we answer the question raised recently: If a centered Gaussian process $G_t$ admits two series expansions on different Riesz bases, we may possibly study the asymptotic behavior of one eigenvalue sequence from the knowledge on the asymptotic behaviors of another.

preprint2010arXiv

Some degenerations of Kazhdan-Lusztig ideals and multiplicities of Schubert varieties

We study Hilbert-Samuel multiplicity for points of Schubert varieties in the complete flag variety, by Groebner degenerations of the Kazhdan-Lusztig ideal. In the covexillary case, we give a positive combinatorial rule for multiplicity by establishing (with a Groebner basis) a reduced and equidimensional limit whose Stanley-Reisner simplicial complex is homeomorphic to a shellable ball or sphere. We show that multiplicity counts the number of facets of this complex. We also obtain a formula for the Hilbert series of the local ring. In particular, our work gives a multiplicity rule for Grassmannian Schubert varieties, providing alternative statements and proofs to formulae of [Lakshmibai-Weyman '90], [Rosenthal-Zelevinsky '01], [Krattenthaler '01], [Kreiman-Lakshmibai '04] and [Woo-Yong '09]. We suggest extensions of our methodology to the general case.

preprint2008arXiv

A New Car-Following Model Inspired by Galton Board

Different from previous models based on scatter theory and random matrix theory, a new interpretation of the observed log-normal type time-headway distribution of vehicles is presented in this paper. Inspired by the well known Galton Board, this model views driver's velocity adjusting process similar to the dynamics of a particle falling down a board and being deviated at decision points. A new car-following model based on this idea is proposed to reproduce the observed traffic flow phenomena. The agreement between the empirical observations and the simulation results suggests the soundness of this new approach.

preprint2006arXiv

The Lawson homology and Deligne-Beilinson cohomology for Fulton-MacPherson configuration spaces

In this paper, we compute the Lawson homology groups and Deligne-Beilinson cohomology groups for Fulton-MacPherson configuration spaces. The explicit formulas are given.

Li Li

What is connected

Connect this record

See the researcher in context

Building this map preview

177 published item(s)

Counterfactual Trace Auditing of LLM Agent Skills

Exploiting Spatial-Temporal Context for Interacting Hand Reconstruction on Monocular RGB Video

On the Reliability and Explainability of Language Models for Program Generation

TypeEvalPy: A Micro-benchmarking Framework for Python Type Inference Tools

A New Fuzzy $H_{\infty}$ Filter Design for Nonlinear Time-Delay Systems with Mismatched Premise Membership Functions

An inverse problem for a fractional diffusion equation with fractional power type nonlinearities

An Investigation into Inconsistency of Software Vulnerability Severity across Data Sources

Attribute Artifacts Removal for Geometry-based Point Cloud Compression

Automatically Detecting API-induced Compatibility Issues in Android Apps: A Comparative Analysis (Replicability Study)

Chain decompositions of q,t-Catalan numbers: tail extensions and flagpole partitions

Characterizing Sensor Leaks in Android Apps

CODE-MVP: Learning to Represent Source Code from Multiple Views with Contrastive Pre-Training

Constraining the number of horizons with energy conditions

Continuous-Time and Event-Triggered Online Optimization for Linear Multi-Agent Systems

CoProtector: Protect Open-Source Code against Unauthorized Training Usage with Data Poisoning

Dataset Bias in Android Malware Detection

Deep Learning for Android Malware Defenses: a Systematic Literature Review

Deep Reinforcement Learning for RIS-aided Multiuser Full-Duplex Secure Communications with Hardware Impairments

Determining the collision kernel in the Boltzmann equation near the equilibrium

Difuzer: Uncovering Suspicious Hidden Sensitive Operations in Android Apps

Do Customized Android Frameworks Keep Pace with Android?

Efficient approximation of experimental Gaussian boson sampling

Efficient Bipartite Entanglement Detection Scheme with a Quantum Adversarial Solver

Energy Minimization in RIS-Assisted UAV-Enabled Wireless Power Transfer Systems

Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?

FastMVAE2: On improving and accelerating the fast variational autoencoder-based source separation algorithm for determined mixtures

Feature-based intermittent demand forecast combinations: bias, accuracy and inventory implications

Grant-Free Transmission by LDPC Matrix Mapping and Integrated Cover-MPA Detector

How Well Does Kohn-Sham Regularizer Work for Weakly Correlated Systems?

Identifying and Characterizing Silently-Evolved Methods in the Android API

Image Captioning In the Transformer Age

Improved Fuzzy $H_{\infty}$ Filter Design Method for Nonlinear Systems with Time-Varing Delay

Incorporating Multiple Cluster Centers for Multi-Label Learning

Instability in charged Gauss-Bonnet-de Sitter black holes

Interior Structure and Complexity Growth Rate of Holographic Superconductor from M-Theory

Loss-tolerant all-photonic quantum repeater with generalized Shor code

MFNet: Multi-class Few-shot Segmentation Network with Pixel-wise Metric Learning

Mining Android API Usage to Generate Unit Test Cases for Pinpointing Compatibility Issues

Multi-Pair D2D Communications Aided by An Active RIS over Spatially Correlated Channels with Phase Noise

Multiple EffNet/ResNet Architectures for Melanoma Classification

Non-linear elasticity, yielding and entropy in amorphous solids

On inverse problems for uncoupled space-time fractional operators involving time-dependent coefficients

On the Importance of Building High-quality Training Datasets for Neural Code Search

On the two-dimensional Jacobian conjecture: Magnus' formula revisited, I

On the two-dimensional Jacobian conjecture: Magnus' formula revisited, II

On the Violation of Honesty in Mobile Apps: Automated Detection and Categories

On Thermodynamics of AdS Black Holes with Scalar Hair

Piecewise Linear Neural Networks and Deep Learning

Portable ground stations for space-to-ground quantum key distribution

Scalpel: The Python Static Analysis Framework

Shear flows in far-from-equilibrium strongly coupled fluids

Topological spin texture of chiral edge states in photonic two-dimensional quantum walks

Towards Hybrid-Optimization Video Coding

When null energy condition meets ADM mass

A 3D Non-stationary MmWave Channel Model for Vacuum Tube Ultra-High-Speed Train Channels

A fractional parabolic inverse problem involving a time-dependent magnetic potential

A Layered Grouping Random Access Scheme Based on Dynamic Preamble Selection for Massive Machine Type Communications

A Negotiation-based Right-of-way Assignment Strategy to Ensure Traffic Safety and Efficiency in Lane Change

An Introduction to Supersymmetric Cluster Algebras

DEAL: Decremental Energy-Aware Learning in a Federated System

Distributed quantum phase estimation with entangled photons

Exponential convergence of distributed optimization for heterogeneous linear multi-agent systems

Multi-Party Dynamic State Estimation that Preserves Data and Model Privacy

Notes on diffusive and shear quasinormal modes of black branes

Restoring Execution Environments of Jupyter Notebooks

Video-based Point Cloud Compression Artifact Removal

A Framework for Behavioral Biometric Authentication using Deep Metric Learning on Mobile Devices

A New Modal Autoencoder for Functionally Independent Feature Extraction

A User-Based Charge and Subsidy Scheme for Single O-D Network Mobility Management

Active Crowd Counting with Limited Supervision

Anchor: Locating Android Framework-specific Crashing Faults

Backpressure Control with Estimated Queue Lengths for Urban Network Traffic

Chain Decompositions of $q,t$-Catalan Numbers via Local Chains

CL-ADMM: A Cooperative Learning Based Optimization Framework for Resource Management in MEC