Catalog footprint

What is connected

89works
42topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

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

Building this map preview

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

Published work

89 published item(s)

preprint2026arXiv

LPH-VTON: Resolving the Structure-Texture Dilemma of Virtual Try-On via Latent Process Handover

Virtual Try-On (VTON) aims to synthesize photorealistic images of garments precisely aligned with a person's body and pose. Current diffusion-based methods, however, face a fundamental trade-off between structural integrity and textural fidelity. In this paper, we formalize this challenge as a consequence of complementary inductive biases inherent in prevailing architectures: models heavily reliant on spatial constraints naturally favor geometric alignment but often suppress textures, whereas models dominated by unconstrained generative priors excel at vibrant detail rendering but are prone to structural drift. Based on this diagnosis, we propose LPH-VTON, a new synergistic framework that resolves this tension within a single, continuous denoising process. LPH-VTON strategically decomposes the generation, leveraging a structure-biased model to establish a geometrically consistent latent scaffold in the early stages, before handing over control to a texture-biased model for high-fidelity detail rendering. Extensive experiments validate our approach. Our model achieves a superior Pareto-optimal balance, establishing new benchmarks in perceptual faithfulness while maintaining highly competitive structural alignment across the standard dataset VITON-HD, proving the efficacy of temporal architectural decoupling.

preprint2024arXiv

Signal Detection for Ultra-Massive MIMO: An Information Geometry Approach

In this paper, we propose an information geometry approach (IGA) for signal detection (SD) in ultra-massive multiple-input multiple-output (MIMO) systems. We formulate the signal detection as obtaining the marginals of the a posteriori probability distribution of the transmitted symbol vector. Then, a maximization of the a posteriori marginals (MPM) for signal detection can be performed. With the information geometry theory, we calculate the approximations of the a posteriori marginals. It is formulated as an iterative m-projection process between submanifolds with different constraints. We then apply the central-limit-theorem (CLT) to simplify the calculation of the m-projection since the direct calculation of the m-projection is of exponential-complexity. With the CLT, we obtain an approximate solution of the m-projection, which is asymptotically accurate. Simulation results demonstrate that the proposed IGA-SD emerges as a promising and efficient method to implement the signal detector in ultra-massive MIMO systems.

preprint2022arXiv

2D Beam Domain Statistical CSI Estimation for Massive MIMO Uplink

In this paper, we investigate the beam domain statistical channel state information (CSI) estimation for the two dimensional (2D) beam based statistical channel model (BSCM) in massive MIMO systems.The problem is to estimate the beam domain channel power matrices (BDCPMs) based on multiple receive pilot signals. A receive model shows the relation between the statistical property of the receive pilot signals and the BDCPMs is derived from the 2D-BSCM. On the basis of the receive model,we formulate an optimization problem with the Kullback-Leibler (KL) divergence. By solving the optimization problem, a novel method to estimate the statistical CSI without involving instantaneous CSI is proposed. The proposed method has much lower complexity than the MMV focal underdetermined system solver (M-FOCUSS) algorithm. We further reduce the complexity of the proposed method by utilizing the circulant structures of particular matrices in the algorithm. We also showed the generality of the proposed method by introducing another application. Simulations results show that the proposed method works well and bring significant performance gain when used in channel estimation.

preprint2022arXiv

A Federated Reinforcement Learning Method with Quantization for Cooperative Edge Caching in Fog Radio Access Networks

In this paper, cooperative edge caching problem is studied in fog radio access networks (F-RANs). Given the non-deterministic polynomial hard (NP-hard) property of the problem, a dueling deep Q network (Dueling DQN) based caching update algorithm is proposed to make an optimal caching decision by learning the dynamic network environment. In order to protect user data privacy and solve the problem of slow convergence of the single deep reinforcement learning (DRL) model training, we propose a federated reinforcement learning method with quantization (FRLQ) to implement cooperative training of models from multiple fog access points (F-APs) in F-RANs. To address the excessive consumption of communications resources caused by model transmission, we prune and quantize the shared DRL models to reduce the number of model transfer parameters. The communications interval is increased and the communications rounds are reduced by periodical model global aggregation. We analyze the global convergence and computational complexity of our policy. Simulation results verify that our policy has better performance in reducing user request delay and improving cache hit rate compared to benchmark schemes. The proposed policy is also shown to have faster training speed and higher communications efficiency with minimal loss of model accuracy.

preprint2022arXiv

A Neural Network Assisted $^{171}$Yb$^{+}$ Quantum Magnetometer

A versatile magnetometer must deliver a readable response when exposed to target fields in a wide range of parameters. In this work, we experimentally demonstrate that the combination of $^{171}$Yb$^{+}$ atomic sensors with adequately trained neural networks enables to investigate target fields in distinct challenging scenarios. In particular, we characterize radio frequency (RF) fields in the presence of large shot noise, including the limit case of continuous data acquisition via single-shot measurements. Furthermore, by incorporating neural networks we significantly extend the working regime of atomic magnetometers into scenarios in which the RF driving induces responses beyond their standard harmonic behavior. Our results indicate the benefits to integrate neural networks at the data processing stage of general quantum sensing tasks to decipher the information contained in the sensor responses.

preprint2022arXiv

AttacKG: Constructing Technique Knowledge Graph from Cyber Threat Intelligence Reports

Cyber attacks are becoming more sophisticated and diverse, making detection increasingly challenging. To combat these attacks, security practitioners actively summarize and exchange their knowledge about attacks across organizations in the form of cyber threat intelligence (CTI) reports. However, as CTI reports written in natural language texts are not structured for automatic analysis, the report usage requires tedious manual efforts of cyber threat intelligence recovery. Additionally, individual reports typically cover only a limited aspect of attack patterns (techniques) and thus are insufficient to provide a comprehensive view of attacks with multiple variants. To take advantage of threat intelligence delivered by CTI reports, we propose AttacKG to automatically extract structured attack behavior graphs from CTI reports and identify the adopted attack techniques. We then aggregate cyber threat intelligence across reports to collect different aspects of techniques and enhance attack behavior graphs into technique knowledge graphs (TKGs). In our evaluation against 1,515 real-world CTI reports from diverse intelligence sources, AttacKG effectively identifies 28,262 attack techniques with 8,393 unique Indicators of Compromises (IoCs). To further verify the accuracy of AttacKG in extracting threat intelligence, we run AttacKG on 16 manually labeled CTI reports. Empirical results show that AttacKG accurately identifies attack-relevant entities, dependencies, and techniques with F1-scores of 0.887, 0.896, and 0.789, which outperforms the state-of-the-art approaches Extractor and TTPDrill. Moreover, the unique technique-level intelligence will directly benefit downstream security tasks that rely on technique specifications, e.g., APT detection and cyber attack reconstruction.

preprint2022arXiv

Cyclic Arbitrage in Decentralized Exchanges

Decentralized Exchanges (DEXes) enable users to create markets for exchanging any pair of cryptocurrencies. The direct exchange rate of two tokens may not match the cross-exchange rate in the market, and such price discrepancies open up arbitrage possibilities with trading through different cryptocurrencies cyclically. In this paper, we conduct a systematic investigation on cyclic arbitrages in DEXes. We propose a theoretical framework for studying cyclic arbitrage. With our framework, we analyze the profitability conditions and optimal trading strategies of cyclic transactions. We further examine exploitable arbitrage opportunities and the market size of cyclic arbitrages with transaction-level data of Uniswap V2. We find that traders have executed 292,606 cyclic arbitrages over eleven months and exploited more than 138 million USD in revenue. However, the revenue of the most profitable unexploited opportunity is persistently higher than 1 ETH (4,000 USD), which indicates that DEX markets may not be efficient enough. By analyzing how traders implement cyclic arbitrages, we find that traders can utilize smart contracts to issue atomic transactions and the atomic implementations could mitigate users' financial loss in cyclic arbitrage from the price impact.

preprint2022arXiv

Deep Learning Serves Traffic Safety Analysis: A Forward-looking Review

This paper explores Deep Learning (DL) methods that are used or have the potential to be used for traffic video analysis, emphasizing driving safety for both Autonomous Vehicles (AVs) and human-operated vehicles. We present a typical processing pipeline, which can be used to understand and interpret traffic videos by extracting operational safety metrics and providing general hints and guidelines to improve traffic safety. This processing framework includes several steps, including video enhancement, video stabilization, semantic and incident segmentation, object detection and classification, trajectory extraction, speed estimation, event analysis, modeling and anomaly detection. Our main goal is to guide traffic analysts to develop their own custom-built processing frameworks by selecting the best choices for each step and offering new designs for the lacking modules by providing a comparative analysis of the most successful conventional and DL-based algorithms proposed for each step. We also review existing open-source tools and public datasets that can help train DL models. To be more specific, we review exemplary traffic problems and mentioned requires steps for each problem. Besides, we investigate connections to the closely related research areas of drivers' cognition evaluation, Crowd-sourcing-based monitoring systems, Edge Computing in roadside infrastructures, Automated Driving Systems (ADS)-equipped vehicles, and highlight the missing gaps. Finally, we review commercial implementations of traffic monitoring systems, their future outlook, and open problems and remaining challenges for widespread use of such systems.

preprint2022arXiv

DuQM: A Chinese Dataset of Linguistically Perturbed Natural Questions for Evaluating the Robustness of Question Matching Models

In this paper, we focus on studying robustness evaluation of Chinese question matching. Most of the previous work on analyzing robustness issue focus on just one or a few types of artificial adversarial examples. Instead, we argue that it is necessary to formulate a comprehensive evaluation about the linguistic capabilities of models on natural texts. For this purpose, we create a Chinese dataset namely DuQM which contains natural questions with linguistic perturbations to evaluate the robustness of question matching models. DuQM contains 3 categories and 13 subcategories with 32 linguistic perturbations. The extensive experiments demonstrate that DuQM has a better ability to distinguish different models. Importantly, the detailed breakdown of evaluation by linguistic phenomenon in DuQM helps us easily diagnose the strength and weakness of different models. Additionally, our experiment results show that the effect of artificial adversarial examples does not work on the natural texts.

preprint2022arXiv

Evidence for unconventional superconductivity in a spinel oxide

The charge frustration with the mixed-valence state inherent to LiTi$_2$O$_4$, which is found to be a unique spinel oxide superconductor, is the impetus for paying special attention to reveal the existence of intriguing superconducting properties. Here, we report a pronounced fourfold rotational symmetry of the superconductivity in high-quality single-crystalline LiTi$_2$O$_4$ (001) thin films. Both the magnetoresistivity and upper critical field under an applied magnetic field manifest striking fourfold oscillations deep inside the superconducting state, whereas the anisotropy vanishes in the normal state, demonstrating that it is an intrinsic property of the superconducting phase. We attribute this behavior to the unconventional $d$-wave superconducting Cooper pairs with the irreducible representation of $E_g$ protected by $O_h$ point group in LiTi$_2$O$_4$. Our findings demonstrate the unconventional character of the pairing interaction in a three-dimensional spinel oxide superconductor and shed new light on the pairing mechanism of unconventional superconductivity.

preprint2022arXiv

Frequency Fitness Assignment: Optimization without Bias for Good Solutions can be Efficient

A fitness assignment process transforms the features (such as the objective value) of a candidate solution to a scalar fitness, which then is the basis for selection. Under Frequency Fitness Assignment (FFA), the fitness corresponding to an objective value is its encounter frequency in selection steps and is subject to minimization. FFA creates algorithms that are not biased towards better solutions and are invariant under all injective transformations of the objective function value. We investigate the impact of FFA on the performance of two theory-inspired, state-of-the-art EAs, the Greedy (2+1) GA and the Self-Adjusting (1+(lambda,lambda)) GA. FFA improves their performance significantly on some problems that are hard for them. In our experiments, one FFA-based algorithm exhibited mean runtimes that appear to be polynomial on the theory-based benchmark problems in our study, including traps, jumps, and plateaus. We propose two hybrid approaches that use both direct and FFA-based optimization and find that they perform well. All FFA-based algorithms also perform better on satisfiability problems than any of the pure algorithm variants.

preprint2022arXiv

Global Bias-Corrected Divide-and-Conquer by Quantile-Matched Composite for General Nonparametric Regressions

The issues of bias-correction and robustness are crucial in the strategy of divide-and-conquer (DC), especially for asymmetric nonparametric models with massive data. It is known that quantile-based methods can achieve the robustness, but the quantile estimation for nonparametric regression has non-ignorable bias when the error distribution is asymmetric. This paper explores a global bias-corrected DC by quantile-matched composite for nonparametric regressions with general error distributions. The proposed strategies can achieve the bias-correction and robustness, simultaneously. Unlike common DC quantile estimations that use an identical quantile level to construct a local estimator by each local machine, in the new methodologies, the local estimators are obtained at various quantile levels for different data batches, and then the global estimator is elaborately constructed as a weighted sum of the local estimators. In the weighted sum, the weights and quantile levels are well-matched such that the bias of the global estimator is corrected significantly, especially for the case where the error distribution is asymmetric. Based on the asymptotic properties of the global estimator, the optimal weights are attained, and the corresponding algorithms are then suggested. The behaviors of the new methods are further illustrated by various numerical examples from simulation experiments and real data analyses. Compared with the competitors, the new methods have the favorable features of estimation accuracy, robustness, applicability and computational efficiency.

preprint2022arXiv

Gutzwiller approximation approach to the SU(4) $t$-$J$ model

We develop the Gutzwiller approximation method to obtain the renormalized Hamiltonian of the SU(4) $t$-$J$ model with the corresponding renormalization factors. Subsequently, a mean-field theory is employed on the renormalized Hamiltonian of the model on the honeycomb lattice under the scenario of a cooperative condensation of carriers moving in the resonating valence bond state of flavors. In particular, we find that the extended $s$-wave superconducting state is more favorable than the $d\pm id$-wave superconducting state in the doping range close to quarter filling. The pairing states of the SU(4) case reveal the property that the spin-singlet pairing and the spin-triplet pairing can coexist simultaneously. Our results might provide new insights into the twisted bilayer graphene system.

preprint2022arXiv

Integrated routing for a vehicle-robot pickup and delivery system with time constraints

This paper considers an unmanned vehicle-robot pickup and delivery system, in which a self-driving vehicle carrying multiple unmanned robots in the form of the mother ship travels from a depot to a number of stations distributed in a neighborhood to perform multiple pickup and delivery services. First of all, we present it as a Multi-modal Vehicle Routing Problem (MMVRP) with time constraints, which are typical service requirements for grocery and food delivery in practice. We then formulate it as a Mixed Integer Quadratically Con-strained Program (MIQCP) model to determine the optimal integrated routing plan (vehicle routing and robot routing) to minimize the total weighted tardiness of all services. Finally, a small-size and a medium-size problem instance are solved using the Gurobi solver in Python to demonstrate the validity and the performance of the proposed MIQCP model.

preprint2022arXiv

Multi-Person Passive WiFi Indoor Localization with Intelligent Reflecting Surface

The past years have witnessed increasing research interest in achieving passive human localization with commodity WiFi devices. However, due to the fundamental limited spatial resolution of WiFi signals, it is still very difficult to achieve accurate localization with existing commodity WiFi devices. To tackle this problem, in this paper, we propose to exploit the degree of freedom provided by the Intelligent Reflecting Surface (IRS), which is composed of a large number of controllable reflective elements, to modulate the spatial distribution of WiFi signals and thus break down the spatial resolution limitation of WiFi signals to achieve accurate localization. Specifically, in the single-person scenario, we derive the closed-form solution to optimally control the phase shift of the IRS elements. In the multi-person scenario, we propose a Side-lobe Cancellation Algorithm to eliminate the near-far effect to achieve accurate localization of multiple persons in an iterative manner. Extensive simulation results demonstrate that without any change to the existing WiFi infrastructure, the proposed framework can locate multiple moving persons passively with sub-centimeter accuracy under multipath interference and random noise.

preprint2022arXiv

Quantum dynamics of topological strings in a frustrated Ising antiferromagnet

We investigate the quantum dynamics of the transverse field Ising model on the triangular lattice through large-scale quantum Monte Carlo simulations and stochastic analytic continuation. At weak transverse field, we capture for the first time the excitations related to topological quantum strings, which exhibits continuum features described by XY chain along the strings and those in accord with "Luttinger string liquid" in the perpendicular direction. The continuum features can be well understood from the perspective of topological strings. Furthermore, we identify the contribution of strings from the excitation spectrum. Our study provides characteristic features for the experimental search for string-related excitations and proposes a new theoretical method to pinpoint topological excitations in the experimental spectra.

preprint2022arXiv

RFMask: A Simple Baseline for Human Silhouette Segmentation with Radio Signals

Human silhouette segmentation, which is originally defined in computer vision, has achieved promising results for understanding human activities. However, the physical limitation makes existing systems based on optical cameras suffer from severe performance degradation under low illumination, smoke, and/or opaque obstruction conditions. To overcome such limitations, in this paper, we propose to utilize the radio signals, which can traverse obstacles and are unaffected by the lighting conditions to achieve silhouette segmentation. The proposed RFMask framework is composed of three modules. It first transforms RF signals captured by millimeter wave radar on two planes into spatial domain and suppress interference with the signal processing module. Then, it locates human reflections on RF frames and extract features from surrounding signals with human detection module. Finally, the extracted features from RF frames are aggregated with an attention based mask generation module. To verify our proposed framework, we collect a dataset containing 804,760 radio frames and 402,380 camera frames with human activities under various scenes. Experimental results show that the proposed framework can achieve impressive human silhouette segmentation even under the challenging scenarios(such as low light and occlusion scenarios) where traditional optical-camera-based methods fail. To the best of our knowledge, this is the first investigation towards segmenting human silhouette based on millimeter wave signals. We hope that our work can serve as a baseline and inspire further research that perform vision tasks with radio signals. The dataset and codes will be made in public.

preprint2022arXiv

Towards Generalizable Semantic Product Search by Text Similarity Pre-training on Search Click Logs

Recently, semantic search has been successfully applied to e-commerce product search and the learned semantic space(s) for query and product encoding are expected to generalize to unseen queries or products. Yet, whether generalization can conveniently emerge has not been thoroughly studied in the domain thus far. In this paper, we examine several general-domain and domain-specific pre-trained Roberta variants and discover that general-domain fine-tuning does not help generalization, which aligns with the discovery of prior art. Proper domain-specific fine-tuning with clickstream data can lead to better model generalization, based on a bucketed analysis of a publicly available manual annotated query-product pair da

preprint2022arXiv

Unraveling Thermally Induced Spin reorientation of Strongly Disordered NdFe0.5Cr0.5O3 System

Sophisticated spin instruments require high-precision spin control. In this study, we accurately study the intrinsic magnetic properties of the strongly disordered system NdFe0.5Cr0.5O3 through molecular field models combined with ASD theory. The three constituent sub-magnetic phases of the system are separated, and their magnetization contributions are calculated separately. Fitting the angle of the A/B magnetic moment at a given temperature, the reorientation temperature point and temperature dependence of different magnetic phases are obtained. This research will provide a very good theoretical support for studying complex disordered systems and applying high-precision spin control and lay a foundation for the design of new functional materials.

preprint2022arXiv

WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration

It is imperative to democratize robotic process automation (RPA), as RPA has become a main driver of the digital transformation but is still technically very demanding to construct, especially for non-experts. In this paper, we study how to automate an important class of RPA tasks, dubbed web RPA, which are concerned with constructing software bots that automate interactions across data and a web browser. Our main contributions are twofold. First, we develop a formal foundation which allows semantically reasoning about web RPA programs and formulate its synthesis problem in a principled manner. Second, we propose a web RPA program synthesis algorithm based on a new idea called speculative rewriting. This leads to a novel speculate-and-validate methodology in the context of rewrite-based program synthesis, which has also shown to be both theoretically simple and practically efficient for synthesizing programs from demonstrations. We have built these ideas in a new interactive synthesizer called WebRobot and evaluate it on 76 web RPA benchmarks. Our results show that WebRobot automated a majority of them effectively. Furthermore, we show that WebRobot compares favorably with a conventional rewrite-based synthesis baseline implemented using egg. Finally, we conduct a small user study demonstrating WebRobot is also usable.

preprint2021arXiv

An efficient HTS electromagnetic model combining thin-strip, homogeneous and multi-scale methods by T-A formulation

This study presents an HTS electromagnetic model combining the thin-strip, homogeneous and multi-scale methods using T-A formulation. In particular, we build the thin strips as both the analyzed HTS tapes and the boundaries of the homogeneous bulks where the non-analyzed tapes are merged. Thus, the coil geometry is re-constructed with several bulks, but the bulks boundaries and domains are tackled with different electromagnetic properties, and solved by T and A formulations, respectively. Firstly, we introduce the modeling process and highlight the differences and advantages over the previous models. Then, the accuracy of the proposed model is validated by comparing the results with those from the reference model based on a 2000-turn coil. The distributions of normalized current density, magnetic flux density and hysteresis losses from the two models are highly consistent, and the error of the total loss is less than 1%. Besides, the proposed model is the most time-saving among all the advanced models. Furthermore, the model can be applied in 3D simulations, and the high accuracy and efficiency are validated by simulating a 50-turn racetrack coil. The proposed method provides a feasible approach to simulating coils with many stacked tapes, and we will continue exploring more applications in solving HTS systems with complex geometries.

preprint2021arXiv

Enhancement of boson superfluidity in a one-dimensional Bose-Fermi mixture

We examine the effect of boson-fermion interaction in a one-dimensional Bose-Fermi mixture by using the density matrix renormalization group method. We show that the boson superfluidity is enhanced by fermions for a weak boson-fermion coupling at an approximate integer boson filling factor (e.g., $0.935\le ρ_b \le 1.0$), and this enhancement is produced both in a fermion metallic state and in a fermion insulating state. A metal-insulator phase transition of fermions induced by boson-fermion interaction is observed even though there is no fermion-fermion interaction in the parent Hamiltonian. Furthermore, we find that the boson superfluid order and density wave order can coexist in a deep fermion Mott region. All these features could be measured in future experiments and open up the possibility of detecting the new physical effect in the Bose-Fermi mixture.

preprint2021arXiv

Three-dimensional Kinematic Metamaterial with tuneable directional permeability

Reconfigurable metamaterials are constructed from tessellation of deformable modules that give rise to a set of tuneable properties. To date, most research focuses on metamaterials that morph between final configurations along a single deformation path. Multi-pathway metamaterials that can transform into several different shapes according to various external stimuli are rare. Here we propose a kinematic based metamaterial with multiple predefined deformation paths. The inherent kinematic bifurcations of the deformable unit cells enable the metamaterial to switch among different paths under simple stimuli at one particular configuration, resulting in the enhancement of reconfigurability. The metamaterials demonstrated in this paper can provide multiple open channels in different orthogonal directions, making them suitable for multifunctional applications such as tuneable filters and reconfigurable wave guiding materials.

preprint2020arXiv

Bayesian Inversion Of Generative Models For Geologic Storage Of Carbon Dioxide

Carbon capture and storage (CCS) can aid decarbonization of the atmosphere to limit further global temperature increases. A framework utilizing unsupervised learning is used to generate a range of subsurface geologic volumes to investigate potential sites for long-term storage of carbon dioxide. Generative adversarial networks are used to create geologic volumes, with a further neural network used to sample the posterior distribution of a trained Generator conditional to sparsely sampled physical measurements. These generative models are further conditioned to historic dynamic fluid flow data through Bayesian inversion to improve the resolution of the forecast of the storage capacity of injected carbon dioxide.

preprint2020arXiv

Deep Learning Based Equalizer for MIMO-OFDM Systems with Insufficient Cyclic Prefix

In this paper, we study the equalization design for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems with insufficient cyclic prefix (CP). In particular, the signal detection performance is severely impaired by inter-carrier interference (ICI) and inter-symbol interference (ISI) when the multipath delay spread exceeding the length of CP. To tackle this problem, a deep learning-based equalizer is proposed for approximating the maximum likelihood detection. Inspired by the dependency between the adjacent subcarriers, a computationally efficient joint detection scheme is developed. Employing the proposed equalizer, an iterative receiver is also constructed and the detection performance is evaluated through simulations over measured multipath channels. Our results reveal that the proposed receiver can achieve significant performance improvement compared to two traditional baseline schemes.

preprint2020arXiv

Effective p-wave Fermi-Fermi Interaction Induced by Bosonic Superfluids

We study the two-dimensional Bose-Fermi mixture on square lattice at finite temperature by using the determinant quantum Monte Carlo method within the weakly interacting regime. Here we consider the attractive Bose-Hubbard model and free spinless fermions. In the absence of bosonfermion interactions, we obtain the boundary of the collapsed state of the attractive bosons. In the presence of boson-fermion interactions, an effective p-wave interaction between fermions will be induced as far as the bosons are in a superfluid state. Moreover, we find the emergence of the composite fermion pairs at low temperatures.

preprint2020arXiv

Is Machine Learning Speaking my Language? A Critical Look at the NLP-Pipeline Across 8 Human Languages

Natural Language Processing (NLP) is increasingly used as a key ingredient in critical decision-making systems such as resume parsers used in sorting a list of job candidates. NLP systems often ingest large corpora of human text, attempting to learn from past human behavior and decisions in order to produce systems that will make recommendations about our future world. Over 7000 human languages are being spoken today and the typical NLP pipeline underrepresents speakers of most of them while amplifying the voices of speakers of other languages. In this paper, a team including speakers of 8 languages - English, Chinese, Urdu, Farsi, Arabic, French, Spanish, and Wolof - takes a critical look at the typical NLP pipeline and how even when a language is technically supported, substantial caveats remain to prevent full participation. Despite huge and admirable investments in multilingual support in many tools and resources, we are still making NLP-guided decisions that systematically and dramatically underrepresent the voices of much of the world.

preprint2020arXiv

Novel quantum phases of two-component bosons with pair hopping in synthetic dimension

We study two-component (or pseudospin-1/2) bosons with pair hopping interactions in synthetic dimension, for which a feasible experimental scheme on a square optical lattice is also presented. Previous studies have shown that two-component bosons with on-site interspecies interaction can only generate nontrivial interspecies paired superfluid (super-counter-fluidity or pair-superfluid) state. In contrast, apart from interspecies paired superfluid, we reveal two new phases by considering this additional pair hopping interaction. These novel phases are intraspecies paired superfluid (molecular superfluid) and an exotic non-integer Mott insulator which shows a non-integer atom number at each site for each species, but an integer for total atom number.

preprint2020arXiv

Origami Cubes with One-DOF Rigid and Flat Foldability

Rigid origami is a branch of origami with great potential in engineering applications to deal with rigid-panel folding. One of the challenges is to compactly fold the polyhedra made from rigid facets with a single degree of freedom. In this paper, we present a new method to design origami cubes with three fundamental characteristics, rigid foldability, flat foldability and one degree of freedom (DOF). A total of four cases of crease patterns that enable origami cubes with distinct folding performances have been proposed with all possible layouts of the diagonal creases on the square facets of origami cubes. Moreover, based on the kinematic equivalence between the rigid origami and the spherical linkages, the corresponding spherical linkage loops are introduced and analysed to reveal the motion properties of the origami cubes. The newly found method can be readily utilized to design deployable structures for various engineering applications including cube-shaped cartons, small satellites, containers, etc.

preprint2020arXiv

Rigid Foldability and Mountain-Valley Crease Assignments of Square-Twist Origami Pattern

Rigid foldability allows an origami pattern to fold about crease lines without twisting or stretching component panels. It enables folding of rigid materials, facilitating the design of foldable structures. Recent study shows that rigid foldability is affected by the mountain-valley crease (M-V) assignment of an origami pattern. In this paper, we investigate the rigid foldability of the square-twist origami pattern with diverse M-V assignments by a kinematic method based on the motion transmission path. Four types of square-twist origami patterns are analyzed, among which two are found rigidly foldable, while the other two are not. The explicit kinematic equations of the rigid cases are derived based on the kinematic equivalence between the rigid origami pattern and the closed-loop network of spherical 4R linkages. We also propose a crease-addition method to convert the rigid foldability of the non-rigid patterns. The motion compatibility conditions of the modified patterns are checked, which verify the rigid foldability of the modified patterns. The kinematic analysis reveals the bifurcation behaviour of the modified patterns. This work not only helps to deepen our understanding on the rigid foldability of origami patterns and its relationship with the M-V assignments, but also provides us an effective way to create more rigidly foldable origami patterns from non rigid ones.

preprint2020arXiv

Sifter: A Hybrid Workflow for Theme-based Video Curation at Scale

User-generated content platforms curate their vast repositories into thematic compilations that facilitate the discovery of high-quality material. Platforms that seek tight editorial control employ people to do this curation, but this process involves time-consuming routine tasks, such as sifting through thousands of videos. We introduce Sifter, a system that improves the curation process by combining automated techniques with a human-powered pipeline that browses, selects, and reaches an agreement on what videos to include in a compilation. We evaluated Sifter by creating 12 compilations from over 34,000 user-generated videos. Sifter was more than three times faster than dedicated curators, and its output was of comparable quality. We reflect on the challenges and opportunities introduced by Sifter to inform the design of content curation systems that need subjective human judgments of videos at scale.

preprint2020arXiv

White Paper on 6G Drivers and the UN SDGs

The commercial launch of 6G communications systems and United Nations Sustainable Development Goals, UN SDGs, are both targeted for 2030. 6G communications is expected to boost global growth and productivity, create new business models and transform many aspects of society. The UN SDGs are a way of framing opportunities and challenges of a desirable future world and cover topics as broad as ending poverty, gender equality, climate change and smart cities. The relationship between these potentially mutually reinforcing forces is currently under-defined. Building on the vision for 6G, a review of megatrends, on-going activities on the relation of mobile communications to the UN SDGs and existing indicators, a novel linkage between 6G and the UN SDGs is proposed via indicators. The white paper has also launched the work of deriving new 6G related indicators to guide the research of 6G systems. The novel linkage is built on the envisaged three-fold role of 6G as a provider of services to help steer and support communities and countries towards reaching the UN SDGs, as an enabler of measuring tool for data collection to help reporting of indicators with hyperlocal granularity, and as a reinforcer of new ecosystems based on 6G technology enablers and 6G network of networks to be developed in line with the UN SDGs that incorporates future mobile communication technologies available in 2030. Related challenges are also identified. An action plan is presented along with prioritized focus areas within the mobile communication sector technology and industry evolution to best support the achievement of the UN SDGs.

preprint2020arXiv

White Paper on Critical and Massive Machine Type Communication Towards 6G

The society as a whole, and many vertical sectors in particular, is becoming increasingly digitalized. Machine Type Communication (MTC), encompassing its massive and critical aspects, and ubiquitous wireless connectivity are among the main enablers of such digitization at large. The recently introduced 5G New Radio is natively designed to support both aspects of MTC to promote the digital transformation of the society. However, it is evident that some of the more demanding requirements cannot be fully supported by 5G networks. Alongside, further development of the society towards 2030 will give rise to new and more stringent requirements on wireless connectivity in general, and MTC in particular. Driven by the societal trends towards 2030, the next generation (6G) will be an agile and efficient convergent network serving a set of diverse service classes and a wide range of key performance indicators (KPI). This white paper explores the main drivers and requirements of an MTC-optimized 6G network, and discusses the following six key research questions: - Will the main KPIs of 5G continue to be the dominant KPIs in 6G; or will there emerge new key metrics? - How to deliver different E2E service mandates with different KPI requirements considering joint-optimization at the physical up to the application layer? - What are the key enablers towards designing ultra-low power receivers and highly efficient sleep modes? - How to tackle a disruptive rather than incremental joint design of a massively scalable waveform and medium access policy for global MTC connectivity? - How to support new service classes characterizing mission-critical and dependable MTC in 6G? - What are the potential enablers of long term, lightweight and flexible privacy and security schemes considering MTC device requirements?

preprint2016arXiv

$D \rightarrow a_1, f_1$ transition form factors and semileptonic decays via 3-point QCD sum rules

By using the 3-point QCD sum rules, we calculate the transition form factors of $D$ decays into the spin triplet axial vector mesons $a_1(1260)$, $f_1(1285) $, $f_1(1420)$. In the calculations, we consider the quark contents of each meson in detail. In view of the fact that the isospin of $a_1(1260)$ is one, we calculate the $D^+ \rightarrow a_1^0 (1260)$ and $D^0 \rightarrow a_1^- (1260)$ transition form factors separately. In the case of $ f_1(1285), f_1(1420)$, the mixing between light flavor $SU(3)$ singlet and octet is taken into account. Based on the form factors obtained here, we give predictions for the branching ratios of relevant semileptonic decays, which can be tested in the future experiments.

preprint2016arXiv

A Low Complexity Detection Algorithm for SCMA

Sparse code multiple access (SCMA) is a new multiple access technique which supports massive connectivity. Compared with the current Long Term Evolution (LTE) system, it enables the overloading of active users on limited orthogonal resources and thus meets the requirement of the fifth generation (5G) wireless networks. However, the computation complexity of existing detection algorithms increases exponentially with $d_f$ (the degree of the resource nodes). Although the codebooks are designed to have low density, the detection still takes considerable time. The parameter $d_f$ must be designed to be very small, which largely limits the choice of codebooks. In this paper, a new detection algorithm is proposed by discretizing the probability distribution functions (PDFs) in the layer nodes (variable nodes). Given $M$ as the size of one codebook, the detection complexity of each resource node (function node) is reduced from $O(d_f M^{d_f})$ to $O(d_f^3 \ln (d_f))$. Its detection accuracy can quickly approach that of the previous detection algorithms with the decrease of sampling interval in discretization.

preprint2016arXiv

DroidNative: Semantic-Based Detection of Android Native Code Malware

According to the Symantec and F-Secure threat reports, mobile malware development in 2013 and 2014 has continued to focus almost exclusively ~99% on the Android platform. Malware writers are applying stealthy mutations (obfuscations) to create malware variants, thwarting detection by signature based detectors. In addition, the plethora of more sophisticated detectors making use of static analysis techniques to detect such variants operate only at the bytecode level, meaning that malware embedded in native code goes undetected. A recent study shows that 86% of the most popular Android applications contain native code, making this a plausible threat. This paper proposes DroidNative, an Android malware detector that uses specific control flow patterns to reduce the effect of obfuscations, provides automation and platform independence, and as far as we know is the first system that operates at the Android native code level, allowing it to detect malware embedded in both native code and bytecode. When tested with traditional malware variants it achieves a detection rate (DR) of 99.48%, compared to academic and commercial tools' DRs that range from 8.33% -- 93.22%. When tested with a dataset of 2240 samples DroidNative achieves a DR of 99.16%, a false positive rate of 0.4% and an average detection time of 26.87 sec/sample.

preprint2016arXiv

Full-Duplex Cellular Networks: It Works!

Full-duplex (FD) communications with bidirectional transmitting and receiving at the same time and frequency radio resource have long been deemed a promising way to boost spectrum efficiency, but hindered by the techniques for self-interference cancellation (SIC). Recent breakthroughs in analog and digital signal processing yield the feasibility of beyond $100$ dB SIC capability and make it possible for FD communications to demonstrate nearly doubled spectrum efficiency for point-to-point links. Now it is time to shift at least partial of our focus to full duplex networking, such as in cellular networks, since it is not straightforward but demanding novel and more complicated interference management techniques. Before putting FD networking into practice, we need to understand that what scenarios FD communications should be applied in under the current technology maturity, how bad the performance will be if we do nothing to deal with the newly introduced interference, and most importantly, how much improvement could be achieved after applying advanced solutions. This article will shed light on these questions.

preprint2016arXiv

Grant-free Rateless Multiple Access: A Novel Massive Access Scheme for Internet of Things

Rateless Multiple Access (RMA) is a novel non-orthogonal multiple access framework that is promising for massive access in Internet of Things (IoT) due to its high efficiency and low complexity. In the framework, after certain \emph{registration}, each active user respectively transmits to the access point (AP) randomly based on an assigned random access control function (RACf) until receiving an acknowledgement (ACK). In this work, by exploiting the intrinsic access pattern of each user, we propose a grant-free RMA scheme, which no longer needs the registration process as in the original RMA, thus greatly reduces the signalling overhead and system latency. Furthermore, we propose a low-complexity joint iterative detection and decoding algorithm in which the channel estimation, active user detection, and information decoding are done simultaneously. Finally, we propose a method based on density evolution (DE) to evaluate the system performance.

preprint2016arXiv

Stress Induced Charge-Ordering Process in LiMn2O4

In this letter we report the stress induced Mn charge-ordering process in the LiMn2O4 spinel, evidenced by the lattice strain evolutions due to the Jahn-Teller effects. In-situ neutron diffraction, reveals that the initial stage of this process at low stress, indicating the eg electron localization at the preferential Mn sites during the early phase transition, as an underlying charge ordering mechanism in the charge-frustrated LiMn2O4. The initial stage of this transition exhibits as a progressive lattice and charge evolution, without showing a first-order behavior.

preprint2016arXiv

Topological quantum memory interfacing atomic and superconducting qubits

We propose a scheme to manipulate a topological spin qubit which is realized with cold atoms in a one-dimensional optical lattice. In particular, by introducing a quantum opto-electro-mechanical interface, we are able to first transfer a superconducting qubit state to an atomic qubit state and then to store it into the topological spin qubit. In this way, an efficient topological quantum memory could be constructed for the superconducting qubit. Therefore, we can consolidate the advantages of both the noise resistance of the topological qubits and the scalability of the superconducting qubits in this hybrid architecture.

preprint2016arXiv

Type-II Topological Meissner States

We study the \emph{orbital effects} of the synthetic magnetic fields in an interacting square lattice two-leg fermionic ladder model with the number-conserving pair hopping that hosting the Majorana bound states. By utilizing density matrix renormalization group and exact diagonalization, we identify a novel type-II topological Meissner $($\emph{topo}-Meissner$)$ phase $($as distinguished from the low-field type-I \emph{topo}-Meissner state$)$ when threading a \emph{high} magnetic flux through the plaquette of the ladder, which not only exhibits a large uniformly circulating chiral current along the legs, the characteristics of the celebrated Meissner state, but also accommodates a topologically protected ground-state manifold due to the \emph{reentrant} emergence of the Majorana end modes. Our work reveals some interesting interference effects resulting from the interplay between the gauge fields and the strong interactions in establishing the intrinsic topological states of matter in low-dimensional quantum systems.

preprint2015arXiv

A Novel Antenna Selection Scheme for Spatially Correlated Massive MIMO Uplinks with Imperfect Channel Estimation

We propose a new antenna selection scheme for a massive MIMO system with a single user terminal and a base station with a large number of antennas. We consider a practical scenario where there is a realistic correlation among the antennas and imperfect channel estimation at the receiver side. The proposed scheme exploits the sparsity of the channel matrix for the effective selection of a limited number of antennas. To this end, we compute a sparse channel matrix by minimising the mean squared error. This optimisation problem is then solved by the well-known orthogonal matching pursuit algorithm. Widely used models for spatial correlation among the antennas and channel estimation errors are considered in this work. Simulation results demonstrate that when the impacts of spatial correlation and imperfect channel estimation introduced, the proposed scheme in the paper can significantly reduce complexity of the receiver, without degrading the system performance compared to the maximum ratio combining.

preprint2015arXiv

Combining Grassmann algebra with entanglement renormalization method

By combining the Grassmann algebra with multi-scale entanglement renormalization ansatz (MERA), we introduce a new unbiased and effective numerical method for simulating 2D strongly correlated electronic systems. The new GMERA method inherits all the advantages of MERA, which constructs the variational wave function based on complicated tensor network. Besides it can deal with fermionic properties of the system due to Grassmann algebra through local tensor contractions. This general method can treat different tensor network structures in a universal way. We show several benchmark calculations of the GMERA method, including the free fermion model, tight binding model, as well as the t-J model with hole doping.

preprint2015arXiv

Distinct Spin Liquids and their Transitions in Spin-1/2 XXZ Kagome Antiferromagnets

By using the density matrix renormalization group, we study the spin-liquid phases of spin-$1/2$ XXZ kagome antiferromagnets. We find that the emergence of spin liquid phase does not depend on the anisotropy of the XXZ interaction. In particular, the two extreme limits---Ising (strong $S^z$ interaction) and XY (zero $S^z$ interaction)---host the same spin-liquid phases as the isotropic Heisenberg model. Both the time-reversal-invariant spin liquid and the chiral spin liquid with spontaneous time-reversal symmetry breaking are obtained. We show they evolve continuously into each other by tuning the second- and third-neighbor interactions. At last, we discuss the possible implication of our results on the nature of spin liquid in nearest neighbor XXZ kagome antiferromagnets, including the most studied nearest neighbor spin-$1/2$ kagome anti-ferromagnetic Heisenberg model.

preprint2015arXiv

Energy-tunable entangled photon sources on a III-V/Silicon chip

Many of the envisioned quantum photonic technologies, e.g. a quantum repeater, rely on an energy- (wavelength-) tunable source of polarization entangled photon pairs. The energy tunability is a fundamental requirement to perform two-photon-interference between different sources and to swap the entanglement. Parametric-down-conversion and four-wave-mixing sources of entangled photons have shown energy tunability, however the probabilistic nature of the sources limits their applications in complex quantum protocols. Here we report a silicon-based hybrid photonic chip where energy-tunable polarization entangled photons are generated by deterministic and scalable III-V quantum light sources. This device is based on a micro-electromechanical system (MEMS) incorporating InAs/GaAs quantum dots (QDs) on a PMNPT-on-silicon substrate. The entangled photon emissions from single QDs can be tuned by more than 3000 times of the radiative linewidth without spoiling the entanglement. With a footprint of several hundred microns, our design facilitates the miniaturization and scalable integration of indistinguishable entangled photon sources on silicon. When interfaced with silicon-based quantum photonic circuits, this device will offer a vast range of exciting possibilities.

preprint2015arXiv

Global Phase Diagram of the Extended Kitaev-Heisenberg Model on Honeycomb Lattice

We study the extended Kitaev-Heisenberg (EKH) quantum spin model by adding bond-dependent off-diagonal Heisenberg term into the original KH model, which was recently proposed to describe the honeycomb Iridates. A rigorous mathematical mapping of spin operators reveals the intrinsic symmetry of the model Hamiltonian. By employing an unbiased numerical entanglement renormalization method based on tensor network ansatz, we obtain the global phase diagram containing eight distinct quantum phases. By using the dual mapping of spin operators, each of the individual magnetic phase in the global phase diagram can be clearly understood. At last, we show that a valence solid state emerges as the ground state in the quadro-critical region where multiple magnetic phases compete most intensively.

preprint2015arXiv

Local Quantum Criticality in the Two-dimensional Dissipative Quantum XY Model

We use quantum Monte-Carlo simulations to calculate the phase diagram and the correlation functions for the quantum phase transitions in the two-dimensional dissipative XY model with and without four-fold anisotropy. Without anisotropy, the model describes the superconductor to insulator transition in two-dimensional dirty superconductors. With anisotropy, the model represents the loop-current order observed in the under-doped cuprates and its fluctuations, as well as the fluctuations near the ordering vector in simple models of itinerant antiferromagnets. These calculations test an analytic solution of the model which re-expressed it in terms of topological excitations - the vortices with interactions only in space but none in time, and warps with leading interactions only in time but none in space, as well as sub-leading interactions which are both space and time-dependent. For parameters for which the proliferation of warps dominates the phase transition, the critical fluctuations as a function of the deviation of the dissipation parameter $α$ from its critical value $α_c$ are scale-invariant in imaginary time $τ$ as the correlation length in time $ξ_τ = τ_c e^{|α_c/(α_c-α)|^{1/2}}$ diverges. On the other hand, the spatial correlations develop with a correlation length $ξ_x \approx ξ_0 \log{(ξ_τ)}$, with $ξ_0$ of the order of a lattice constant. The dynamic correlation exponent $z$ is therefore $\infty$. These results are consistent with the phenomenology proposed for the strange metal properties of the cuprates. The Monte-Carlo calculations also directly show warps and vortices. Their density and correlations across the various transitions in the model are calculated and related to those of the order parameter in the original model.

preprint2015arXiv

On the Privacy Properties of Variants on the Sparse Vector Technique

The sparse vector technique is a powerful differentially private primitive that allows an analyst to check whether queries in a stream are greater or lesser than a threshold. This technique has a unique property -- the algorithm works by adding noise with a finite variance to the queries and the threshold, and guarantees privacy that only degrades with (a) the maximum sensitivity of any one query in stream, and (b) the number of positive answers output by the algorithm. Recent work has developed variants of this algorithm, which we call {\em generalized private threshold testing}, and are claimed to have privacy guarantees that do not depend on the number of positive or negative answers output by the algorithm. These algorithms result in a significant improvement in utility over the sparse vector technique for a given privacy budget, and have found applications in frequent itemset mining, feature selection in machine learning and generating synthetic data. In this paper we critically analyze the privacy properties of generalized private threshold testing. We show that generalized private threshold testing does not satisfy ε-differential privacy for any finite ε. We identify a subtle error in the privacy analysis of this technique in prior work. Moreover, we show an adversary can use generalized private threshold testing to recover counts from the datasets (especially small counts) exactly with high accuracy, and thus can result in individuals being reidentified. We demonstrate our attacks empirically on real datasets.

preprint2015arXiv

Principled Evaluation of Differentially Private Algorithms using DPBench

Differential privacy has become the dominant standard in the research community for strong privacy protection. There has been a flood of research into query answering algorithms that meet this standard. Algorithms are becoming increasingly complex, and in particular, the performance of many emerging algorithms is {\em data dependent}, meaning the distribution of the noise added to query answers may change depending on the input data. Theoretical analysis typically only considers the worst case, making empirical study of average case performance increasingly important. In this paper we propose a set of evaluation principles which we argue are essential for sound evaluation. Based on these principles we propose DPBench, a novel evaluation framework for standardized evaluation of privacy algorithms. We then apply our benchmark to evaluate algorithms for answering 1- and 2-dimensional range queries. The result is a thorough empirical study of 15 published algorithms on a total of 27 datasets that offers new insights into algorithm behavior---in particular the influence of dataset scale and shape---and a more complete characterization of the state of the art. Our methodology is able to resolve inconsistencies in prior empirical studies and place algorithm performance in context through comparison to simple baselines. Finally, we pose open research questions which we hope will guide future algorithm design.

preprint2015arXiv

The largest eigenvalue distribution of the Laguerre unitary ensemble

We study the probability that all eigenvalues of the Laguerre unitary ensemble of n by n matrices are between 0 and t, i.e., the largest eigenvalue distribution. Associated with this probability, in the ladder operator approach for orthogonal polynomials, there are recurrence coefficients, namely αn(t) and \b{eta}n(t), as well as three auxiliary quantities, denoted by rn(t), Rn(t) and sigma n(t). We establish the second order differential equations for both beta n(t) and rn(t). By investigating the soft edge scaling limit when alpha = O(n) as n ! 1 or alpha is finite, we derive a PII , the sigma-form, and the asymptotic solution of the probability. In addition, we develop differential equations for orthogonal polynomials Pn(z) corresponding to the largest eigenvalue distribution of LUE and GUE with n finite or large. For large n, asymptotic formulas are given near the singular points of the ODE. Moreover, we are able to deduce a particular case of Chazy equation for rho(t) = d/dt(capsigma(t) with capsigma(t) satisfying the sigma-form of PIV or PV . 1 I

preprint2014arXiv

An analytical approach to quantum phase transitions of ultracold Bose systems in bipartite optical lattices: Along the avenue of Green's function

In this paper, we present a generalized Green's function method which can be used to investigate the quantum phase transitions analytically in a systematic way for ultracold Bose systems in bipartite optical lattices. As an example, to the lowest order, we calculate the quantum phase boundaries of the localized states (Mott insulator or charge density wave) of an ultracold Bose system in a $d$-dimensional hypercubic optical lattice with nearest-neighbor repulsive interactions. Due to the inhomogeneity of the system, in the generalized Green's function method, cumuants on different sublattices are calculated separately, together with re-summed Green's function technique, the analytical expression of the phase boundaries of the localized phases in the system is presented.

preprint2014arXiv

Chiral spin liquid in a frustrated anisotropic kagome Heisenberg model

Kalmeyer-Laughlin (KL) chiral spin liquid (CSL) is a type of quantum spin liquid without time-reversal symmetry, and it is considered as the parent state of an exotic type of superconductivity--anyon superconductor. Such exotic state has been sought for more than twenty years, however it remains unclear whether it can exist in realistic system where time-reversal symmetry is breaking (T-breaking) spontaneously. By using the density matrix renormalization group, we show that KL CSL exists in a frustrated anisotropic kagome Heisenberg model (KHM), which has spontaneously T-breaking. We find that our model has two topological degenerate ground states, which exhibit non-vanishing scalar chirality order and are protected by finite excitation gap. Further, we identify this state as KL CSL by the characteristic edge conformal field theory from the entanglement spectrum and the quasiparticles braiding statistics extracted from the modular matrix. We also study how this CSL phase evolves as the system approaches the nearest neighbor KHM.

preprint2014arXiv

Constructing Linear Encoders with Good Spectra

Linear encoders with good joint spectra are suitable candidates for optimal lossless joint source-channel coding (JSCC), where the joint spectrum is a variant of the input-output complete weight distribution and is considered good if it is close to the average joint spectrum of all linear encoders (of the same coding rate). In spite of their existence, little is known on how to construct such encoders in practice. This paper is devoted to their construction. In particular, two families of linear encoders are presented and proved to have good joint spectra. The first family is derived from Gabidulin codes, a class of maximum-rank-distance codes. The second family is constructed using a serial concatenation of an encoder of a low-density parity-check code (as outer encoder) with a low-density generator matrix encoder (as inner encoder). In addition, criteria for good linear encoders are defined for three coding applications: lossless source coding, channel coding, and lossless JSCC. In the framework of the code-spectrum approach, these three scenarios correspond to the problems of constructing linear encoders with good kernel spectra, good image spectra, and good joint spectra, respectively. Good joint spectra imply both good kernel spectra and good image spectra, and for every linear encoder having a good kernel (resp., image) spectrum, it is proved that there exists a linear encoder not only with the same kernel (resp., image) but also with a good joint spectrum. Thus a good joint spectrum is the most important feature of a linear encoder.

preprint2014arXiv

Data-Driven Stochastic Models and Policies for Energy Harvesting Sensor Communications

Energy harvesting from the surroundings is a promising solution to perpetually power-up wireless sensor communications. This paper presents a data-driven approach of finding optimal transmission policies for a solar-powered sensor node that attempts to maximize net bit rates by adapting its transmission parameters, power levels and modulation types, to the changes of channel fading and battery recharge. We formulate this problem as a discounted Markov decision process (MDP) framework, whereby the energy harvesting process is stochastically quantized into several representative solar states with distinct energy arrivals and is totally driven by historical data records at a sensor node. With the observed solar irradiance at each time epoch, a mixed strategy is developed to compute the belief information of the underlying solar states for the choice of transmission parameters. In addition, a theoretical analysis is conducted for a simple on-off policy, in which a predetermined transmission parameter is utilized whenever a sensor node is active. We prove that such an optimal policy has a threshold structure with respect to battery states and evaluate the performance of an energy harvesting node by analyzing the expected net bit rate. The design framework is exemplified with real solar data records, and the results are useful in characterizing the interplay that occurs between energy harvesting and expenditure under various system configurations. Computer simulations show that the proposed policies significantly outperform other schemes with or without the knowledge of short-term energy harvesting and channel fading patterns.

preprint2014arXiv

Differentially Private Algorithms for Empirical Machine Learning

An important use of private data is to build machine learning classifiers. While there is a burgeoning literature on differentially private classification algorithms, we find that they are not practical in real applications due to two reasons. First, existing differentially private classifiers provide poor accuracy on real world datasets. Second, there is no known differentially private algorithm for empirically evaluating the private classifier on a private test dataset. In this paper, we develop differentially private algorithms that mirror real world empirical machine learning workflows. We consider the private classifier training algorithm as a blackbox. We present private algorithms for selecting features that are input to the classifier. Though adding a preprocessing step takes away some of the privacy budget from the actual classification process (thus potentially making it noisier and less accurate), we show that our novel preprocessing techniques significantly increase classifier accuracy on three real-world datasets. We also present the first private algorithms for empirically constructing receiver operating characteristic (ROC) curves on a private test set.

preprint2014arXiv

Exotic Fractional Topological States in Two-Dimensional Organometallic Material

Fractional Chern insulators (FCIs), having properties similar to those of the fractional quantum Hall effect, have been established numerically in various toy models. To fully explore their fundamental physics and to develop practical applications, material realization is indispensable. Here we theoretically predict a realization of FCI in a two-dimensional organometallic material, which is known to have the prerequisite topological at bands. Using numerical exact diagonalization we demonstrate that the presence of strong electronic correlations and fractional filling of such a system could lead to a rich phase diagram, including Abelian fractional quantum Hall (FQH), Fermi-liquid, and Wigner crystal states. In particular, the FQH state has been confirmed systematically by calculating the topological ground-state degeneracies, topological Chern number, and the quasihole excitation spectrum as well as the particle entanglement spectrum. Future experimental realization of the FQH state in such material may provide a route for developing practical applications of FCI with no need of the extreme conditions.

preprint2014arXiv

Interaction driven quantum phase transition in fractional quantum spin Hall effects

By means of finite size exact diagonalization we theoretically study the electronic many-body effects on the nearly flat-band structure with time-reversal symmetry in a checkerboard lattice model and identify the topological nature of two quantum phases, with ninefold and threefold degeneracy, that appear, respectively, at small and large values $λ$ of a nearest neighbor spin dependent interaction. Numerical evidences from the evolution of low-lying energy spectra and Berry phases with both spin-independent and spin-dependent twisted boundary conditions reveal that these two different ground states share the same topological spin Chern number. Quantum phase transition between these two states by tuning $λ$ is confirmed by evaluating the energy spectra and quasispin excitation spectra closing. At last, the counting rules of spin excitation spectra are demonstrated as the fingerprints of the fractionalized quantum spin Hall states.

preprint2014arXiv

Obtaining topological degenerate ground states by the density matrix renormalization group

We develop the density matrix renormalization group approach to systematically identify the topological order of the quantum spin liquid (QSL) through adiabatically obtaining different topological sectors of the QSL on an infinite cylinder. As an application, we study the anisotropic kagome Heisenberg model known for hosting a Z$_2$ QSL, however no numerical simulations have been able to access all four sectors before. We obtain the complete set of four topological degenerate ground states distinguished by the presence or absence of the spinon and vison quasiparticle line, which fully characterizes the topological nature of the quantum phase. We have also studied the kagome Heisenberg model, which has attracted a lot of recent attention. We find two topological sectors accurately and also estimate various properties of the other topological sectors, where the larger correlation length is found indicating the possible proximity to another phase.

preprint2014arXiv

Pressure induced topological quantum phase transition in Sb_2Se_3

Based on the first-principles band structure calculations, we investigate the effects of hydrostatic pressure on the conventional insulator (CI) Sb_2Se_3 and predict that it undergoes a topological quantum phase transition from a CI to a nontrivial topological insulator at a critical pressure value. The pressure-induced topological quantum phase transition is confirmed by calculating the evolution of the bulk energy gap as a function of pressure, the inversion of energy band structure, and the Z_2 topological invariant, as well as the existence of the Dirac-like topological surface states. Our predictions can be tested by both spectroscopy and transport experiments.

preprint2013arXiv

Anger is More Influential Than Joy: Sentiment Correlation in Weibo

Recent years have witnessed the tremendous growth of the online social media. In China, Weibo, a Twitter-like service, has attracted more than 500 million users in less than four years. Connected by online social ties, different users influence each other emotionally. We find the correlation of anger among users is significantly higher than that of joy, which indicates that angry emotion could spread more quickly and broadly in the network. While the correlation of sadness is surprisingly low and highly fluctuated. Moreover, there is a stronger sentiment correlation between a pair of users if they share more interactions. And users with larger number of friends posses more significant sentiment influence to their neighborhoods. Our findings could provide insights for modeling sentiment influence and propagation in online social networks.

preprint2013arXiv

Design Elements that Promote the use of Fake Website Detection Tools

Fake websites have emerged as a major source of online fraud, accounting for billions of dollars of loss by Internet users. We explore the process by which salient design elements could increase the use of protective tools, thus reducing the success rate of fake websites. Using the protection motivation theory, we conceptualize a model to investigate how salient design elements of detection tools could influence user perceptions of the tools, efficacy in dealing with threats, and use of such tools. The research method was a controlled lab experiment with a novel and extensive experimental design and protocol. We found that trust in the detector is the pivotal coping mechanism in dealing with security threats and is a major conduit for transforming salient design elements into increased use. We also found that design elements have profound and unexpected impacts on self-efficacy. The significant theoretical and empirical implications of findings are discussed.

preprint2013arXiv

Evolutionary Dynamics of Information Diffusion over Social Networks

Current social networks are of extremely large-scale generating tremendous information flows at every moment. How information diffuse over social networks has attracted much attention from both industry and academics. Most of the existing works on information diffusion analysis are based on machine learning methods focusing on social network structure analysis and empirical data mining. However, the dynamics of information diffusion, which are heavily influenced by network users' decisions, actions and their socio-economic interactions, is generally ignored by most of existing works. In this paper, we propose an evolutionary game theoretic framework to model the dynamic information diffusion process in social networks. Specifically, we derive the information diffusion dynamics in complete networks, uniform degree and non-uniform degree networks, with the highlight of two special networks, Erdős-Rényi random network and the Barabási-Albert scale-free network. We find that the dynamics of information diffusion over these three kinds of networks are scale-free and the same with each other when the network scale is sufficiently large. To verify our theoretical analysis, we perform simulations for the information diffusion over synthetic networks and real-world Facebook networks. Moreover, we also conduct experiment on Twitter hashtags dataset, which shows that the proposed game theoretic model can well fit and predict the information diffusion over real social networks.

preprint2013arXiv

Evolutionary Information Diffusion over Social Networks

Social networks have become ubiquitous in our daily life, as such it has attracted great research interests recently. A key challenge is that it is of extremely large-scale with tremendous information flow, creating the phenomenon of "Big Data". Under such a circumstance, understanding information diffusion over social networks has become an important research issue. Most of the existing works on information diffusion analysis are based on either network structure modeling or empirical approach with dataset mining. However, the information diffusion is also heavily influenced by network users' decisions, actions and their socio-economic connections, which is generally ignored in existing works. In this paper, we propose an evolutionary game theoretic framework to model the dynamic information diffusion process in social networks. Specifically, we analyze the framework in uniform degree and non-uniform degree networks and derive the closed-form expressions of the evolutionary stable network states. Moreover, the information diffusion over two special networks, Erdős-Rényi random network and the Barabási-Albert scale-free network, are also highlighted. To verify our theoretical analysis, we conduct experiments by using both synthetic networks and real-world Facebook network, as well as real-world information spreading dataset of Twitter and Memetracker. Experiments shows that the proposed game theoretic framework is effective and practical in modeling the social network users' information forwarding behaviors.

preprint2013arXiv

Indian Buffet Game with Negative Network Externality and Non-Bayesian Social Learning

How users in a dynamic system perform learning and make decision become more and more important in numerous research fields. Although there are some works in the social learning literatures regarding how to construct belief on an uncertain system state, few study has been conducted on incorporating social learning with decision making. Moreover, users may have multiple concurrent decisions on different objects/resources and their decisions usually negatively influence each other's utility, which makes the problem even more challenging. In this paper, we propose an Indian Buffet Game to study how users in a dynamic system learn the uncertain system state and make multiple concurrent decisions by not only considering the current myopic utility, but also taking into account the influence of subsequent users' decisions. We analyze the proposed Indian Buffet Game under two different scenarios: customers request multiple dishes without budget constraint and with budget constraint. For both cases, we design recursive best response algorithms to find the subgame perfect Nash equilibrium for customers and characterize special properties of the Nash equilibrium profile under homogeneous setting. Moreover, we introduce a non-Bayesian social learning algorithm for customers to learn the system state, and theoretically prove its convergence. Finally, we conduct simulations to validate the effectiveness and efficiency of the proposed algorithms.

preprint2013arXiv

Measuring Majorana fermions qubit state and non-Abelian braiding statistics in quenched inhomogeneous spin ladders

We study the Majorana fermions (MFs) in a spin ladder model. We propose and numerically show that the MFs qubit state can be read out by measuring the fusion excitation in the quenched inhomogeneous spin ladders. Moreover, we construct an exactly solvable T-junction spin ladder model, which can be used to implement braiding operations of MFs. With the braiding processes simulated numerically as non-equilibrium quench processes, we verify that the MFs in our spin ladder model obey the non-Abelian braiding statistics. Our scheme not only provides a promising platform to study the exotic properties of MFs, but also has broad range of applications in topological quantum computation.

preprint2013arXiv

On Cost-Effective Incentive Mechanisms in Microtask Crowdsourcing

While microtask crowdsourcing provides a new way to solve large volumes of small tasks at a much lower price compared with traditional in-house solutions, it suffers from quality problems due to the lack of incentives. On the other hand, providing incentives for microtask crowdsourcing is challenging since verifying the quality of submitted solutions is so expensive that will negate the advantage of microtask crowdsourcing. We study cost-effective incentive mechanisms for microtask crowdsourcing in this paper. In particular, we consider a model with strategic workers, where the primary objective of a worker is to maximize his own utility. Based on this model, we analyze two basic mechanisms widely adopted in existing microtask crowdsourcing applications and show that, to obtain high quality solutions from workers, their costs are constrained by some lower bounds. We then propose a cost-effective mechanism that employs quality-aware worker training as a tool to stimulate workers to provide high quality solutions. We prove theoretically that the proposed mechanism, when properly designed, can obtain high quality solutions with an arbitrarily low cost. Beyond its theoretical guarantees, we further demonstrate the effectiveness of our proposed mechanisms through a set of behavioral experiments.

preprint2013arXiv

Topological Superconductor Bi2Te3/NbSe2 heterostructures

Topological superconductors (TSCs) have a full gap in the bulk and gapless surface states consisting of Majorana fermions, which have potential applications in fault-tolerant topological quantum computation. Because TSCs are very rare in nature, an alternative way to study the TSC is to artificially introduce superconductivity into the surface states of a topological insulator (TI) through proximity effect (PE)1-4. Here we report the first experimental realization of the PE induced TSC in Bi2Te3/NbSe2 thin films as demonstrated by the density of states probed using scanning tunneling microscope. We observe Abrikosov vortices and lower energy bound states on the surface of topological insulator and the dependence of superconducting coherence length on the film thickness and magnetic field, which are attributed to the superconductivity in the topological surface states. This work demonstrates the practical feasibility of fabricating a TSC with individual Majorana fermions inside superconducting vortex as predicted in theory and accomplishes the pre-requisite step towards searching for Majorana fermions in the PE induced TSCs.

preprint2013arXiv

Universal impurity-induced bound state in topological superfluids

We predict a universal mid-gap bound state in topological superfluids, induced by either non-magnetic or magnetic impurities in the strong scattering limit. This universal state is similar to the lowest-energy Caroli-de Gennes-Martricon bound state in a vortex core, but is bound to localized impurities. We argue that the observation of such a universal bound state can be a clear signature for identifying topological superfluids. We theoretically examine our argument for a spin-orbit coupled ultracold atomic Fermi gas trapped in a two-dimensional harmonic potential, by performing extensive self-consistent calculations within the mean-field Bogoliubov-de Gennes theory. A realistic scenario for observing universal bound state in ultracold $^{40}$K atoms is proposed.

preprint2012arXiv

Characterizing symmetry breaking patterns in a lattice by dual vortex degree of freedoms

A duality transformation in quantum field theory is usually established first through partition functions. It is always important to explore the dual relations between various correlation functions in the transformation. Here, we explore such a dual relation to study quantum phases and phase transitions in an extended boson Hubbard model at 1/3 (2/3) filling on a triangular lattice. We develop systematically a simple and effective way to use the vortex degree of freedoms on dual lattices to characterize both the density wave and valence bond symmetry breaking patterns of the boson insulating states in the direct lattices. In addition to a checkerboard charge density wave (X-CDW) and a stripe CDW, we find a novel CDW-VBS phase which has both local CDW and local valence bond solid (VBS) orders. Implications on QMC simulations are addressed. The possible experimental realizations of cold atoms loaded on optical lattices are discussed.

preprint2012arXiv

Chinese Restaurant Game - Part I: Theory of Learning with Negative Network Externality

In a social network, agents are intelligent and have the capability to make decisions to maximize their utilities. They can either make wise decisions by taking advantages of other agents' experiences through learning, or make decisions earlier to avoid competitions from huge crowds. Both these two effects, social learning and negative network externality, play important roles in the decision process of an agent. While there are existing works on either social learning or negative network externality, a general study on considering both these two contradictory effects is still limited. We find that the Chinese restaurant process, a popular random process, provides a well-defined structure to model the decision process of an agent under these two effects. By introducing the strategic behavior into the non-strategic Chinese restaurant process, in Part I of this two-part paper, we propose a new game, called Chinese Restaurant Game, to formulate the social learning problem with negative network externality. Through analyzing the proposed Chinese restaurant game, we derive the optimal strategy of each agent and provide a recursive method to achieve the optimal strategy. How social learning and negative network externality influence each other under various settings is also studied through simulations.

preprint2012arXiv

Coexistence of Enhanced Superconductivity and Antiferromagnetism: Possible Correlated Phase Transitions in Trilayer High-Tc Cuprates

Based on a hybrid interlayer coupling mechanism, we study the coexistence of superconductivity (SC) and antiferromagnetism (AFM) in trilayer cuprates. By introducing an interlayer magnetic scattering term, we solve the multilayer $t{-}J$ model with Josephson coupling under the framework of Gutzwiller projection. We show that both the SC and AFM orders in the multilayered system are enhanced and the range of AFM order is extended. The layer configuration of d-wave pairing gap and AFM order further plays an essential role in determining the interlayer magnetic and superconducting coupling phase diagram of such multilayered systems. Abrupt phase transitions between correlated states carrying distinct configurational symmetries are unveiled by tuning the doping level and/or the tunneling strengths.

preprint2012arXiv

Optical Bragg, atom Bragg and cavity QED detections of quantum phases and excitation spectra of ultracold atoms in bipartite and frustrated optical lattices

Ultracold atoms loaded on optical lattices can provide unprecedented experimental systems for the quantum simulations and manipulations of many quantum phases and quantum phase transitions between these phases. However, so far, how to detect these quantum phases and phase transitions effectively remains an outstanding challenge. In this paper, we will develop a systematic and unified theory of using the optical Bragg scattering, atomic Bragg scattering or cavity QED to detect the ground state and the excitation spectrum of many quantum phases of interacting bosons loaded in bipartite and frustrated optical lattices. We show that the two photon Raman transition processes in the three detection methods not only couple to the density order parameter, but also the {\sl valence bond order} parameter due to the hopping of the bosons on the lattice. This valence bond order coupling is very sensitive to any superfluid order or any Valence bond (VB) order in the quantum phases to be probed. These quantum phases include not only the well known superfluid and Mott insulating phases, but also other important phases such as various kinds of charge density waves (CDW), valence bond solids (VBS), CDW-VBS phases with both CDW and VBS orders unique to frustrated lattices, and also various kinds of supersolids. The physical measurable quantities of the three experiments are the light scattering cross sections, the atom scattered clouds and the cavity leaking photons respectively. We analyze respectively the experimental conditions of the three detection methods to probe these various quantum phases and their corresponding excitation spectra. We also address the effects of a finite temperature and a harmonic trap.

preprint2012arXiv

Overlaying optical lattices for simulation of complex frustrated antiferromagnets

We present design techniques of special optical lattices that allow quantum simulation of spin frustration in two-dimensional systems. By carefully overlaying optical lattices with different periods and orientations, we are able to adjust the ratio between the nearest-neighbor and next-nearest-neighbor interaction strengths in a square spin lattice and realize frustration effects. We show that only laser beams of a single frequency is required, and the parameter space reachable in our design is broad enough to study the important phases in the $J_1$-$J_2$ frustrated Heisenberg model and checkerboard antiferromagnet model. By using the polarization spectroscopy for detection, distinct quantum phases and quantum phase transition points can be characterized straightforwardly. Our design thus offers a suitable setup for simulation of frustrated spin systems.

preprint2012arXiv

Pairing Symmetry in Iron-Pnictide Superconductor KFe$_2$As$_2$

The pairing symmetry is one of the major issues in the study of iron-based superconductors. We adopt a low-energy effective kinetic model based on the first-principles band structure calculations combined with the $J_1$-$J_2$ model for KFe$_2$As$_2$, the phase diagram of pairing symmetries is constructed. Putting the values of $J_1$ and $J_2$ of the $J_1$-$J_2$ model obtained by the first-principles calculations into this phase diagram, we find that the pairing symmetry for KFe$_2$As$_2$ is a nodal $d_{xy}$-wave in the folded Brillouin zone with two iron atoms per unit cell. This is in good agreement with experiments observed a nodal order parameter.

preprint2012arXiv

Quantum phases, Supersolids and quantum phase transitions of interacting bosons in frustrated lattices

By using the dual vortex method (DVM), we develop systematically a simple and effective scheme to use the vortex degree of freedoms on dual lattices to characterize the symmetry breaking patterns of the boson insulating states in the direct lattices. Then we apply our scheme to study quantum phases and phase transitions in an extended boson Hubbard model slightly away from $ 1/3 $ ($ 2/3 $) filling on frustrated lattices such as triangular and kagome lattice. In a triangular lattice at $ 1/3 $, we find a X-CDW, a stripe CDW phase which was found perviously by a density operator formalism (DOF). Most importantly, we also find a new CDW-VB phase which has both local CDW and local VB orders, in sharp contrast to a bubble CDW phase found previously by the DOF. In the Kagome lattice at $ 1/3 $, we find a VBS phase and a 6 fold-CDW phase. Most importantly, we also identify a CDW-VB phase which has both local CDW and local VB orders which was found in previous QMC simulations. By analyzing carefully the saddle point structures of the dual gauge fields in the translational symmetry breaking sides and pushing the effective actions slightly away from the commensurate filling $ f=1/3 $($ 2/3 $), we classified all the possible types of supersolids and analyze their stability conditions. In a triangular lattice, there are X-CDW supersolid, stripe CDW supersolid, but absence of any valence bond supersolid (VB-SS). There are also a new kind of supersolid: CDW-VB supersolid. In a Kagome lattice, there are 6 fold-CDW supersolid, stripe CDW supersolid, but absence of any valence bond supersolid (VB-SS). There are also a new kind of supersolid: CDW-VB supersolid. Implications on QMC simulations with both nearest neighbor and next nearest neighbor interactions in both lattices are given.

preprint2011arXiv

Chinese Restaurant Game - Part II: Applications to Wireless Networking, Cloud Computing, and Online Social Networking

In Part I of this two-part paper [1], we proposed a new game, called Chinese restaurant game, to analyze the social learning problem with negative network externality. The best responses of agents in the Chinese restaurant game with imperfect signals are constructed through a recursive method, and the influence of both learning and network externality on the utilities of agents is studied. In Part II of this two-part paper, we illustrate three applications of Chinese restaurant game in wireless networking, cloud computing, and online social networking. For each application, we formulate the corresponding problem as a Chinese restaurant game and analyze how agents learn and make strategic decisions in the problem. The proposed method is compared with four common-sense methods in terms of agents' utilities and the overall system performance through simulations. We find that the proposed Chinese restaurant game theoretic approach indeed helps agents make better decisions and improves the overall system performance. Furthermore, agents with different decision orders have different advantages in terms of their utilities, which also verifies the conclusions drawn in Part I of this two-part paper.

preprint2011arXiv

Fundamental Tradeoffs on Green Wireless Networks

Traditional design of mobile wireless networks mainly focuses on ubiquitous access and large capacity. However, as energy saving and environmental protection become a global demand and inevitable trend, wireless researchers and engineers need to shift their focus to energy-efficiency oriented design, that is, green radio. In this paper, we propose a framework for green radio research and integrate the fundamental issues that are currently scattered. The skeleton of the framework consists of four fundamental tradeoffs: deployment efficiency - energy efficiency tradeoff, spectrum efficiency - energy efficiency tradeoff, bandwidth - power tradeoff, and delay - power tradeoff. With the help of the four fundamental tradeoffs, we demonstrate that key network performance/cost indicators are all stringed together.

preprint2011arXiv

Preservation of entanglement in a two-qubit-spin coupled system

A theoretical scheme to preserve the entanglement in a two-qubit-spin coupled system in the presence of Dzyaloshinskii-Moriya (DM) anisotropic antisymmetric interaction is proposed. Based on a sequence of operations performed periodically on the system, the scheme can preserve the entanglement of the system starting from any initial state with any high precision for any long duration.

preprint2011arXiv

Renewal-Theoretical Dynamic Spectrum Access in Cognitive Radio Networks with Unknown Primary Behavior

Dynamic spectrum access in cognitive radio networks can greatly improve the spectrum utilization efficiency. Nevertheless, interference may be introduced to the Primary User (PU) when the Secondary Users (SUs) dynamically utilize the PU's licensed channels. If the SUs can be synchronous with the PU's time slots, the interference is mainly due to their imperfect spectrum sensing of the primary channel. However, if the SUs have no knowledge about the PU's exact communication mechanism, additional interference may occur. In this paper, we propose a dynamic spectrum access protocol for the SUs confronting with unknown primary behavior and study the interference caused by their dynamic access. Through analyzing the SUs' dynamic behavior in the primary channel which is modeled as an ON-OFF process, we prove that the SUs' communication behavior is a renewal process. Based on the Renewal Theory, we quantify the interference caused by the SUs and derive the corresponding close-form expressions. With the interference analysis, we study how to optimize the SUs' performance under the constraints of the PU's communication quality of service (QoS) and the secondary network's stability. Finally, simulation results are shown to verify the effectiveness of our analysis.

preprint2011arXiv

Self-Adjusting Stack Machines

Self-adjusting computation offers a language-based approach to writing programs that automatically respond to dynamically changing data. Recent work made significant progress in developing sound semantics and associated implementations of self-adjusting computation for high-level, functional languages. These techniques, however, do not address issues that arise for low-level languages, i.e., stack-based imperative languages that lack strong type systems and automatic memory management. In this paper, we describe techniques for self-adjusting computation which are suitable for low-level languages. Necessarily, we take a different approach than previous work: instead of starting with a high-level language with additional primitives to support self-adjusting computation, we start with a low-level intermediate language, whose semantics is given by a stack-based abstract machine. We prove that this semantics is sound: it always updates computations in a way that is consistent with full reevaluation. We give a compiler and runtime system for the intermediate language used by our abstract machine. We present an empirical evaluation that shows that our approach is efficient in practice, and performs favorably compared to prior proposals.

preprint2011arXiv

Single Impurity In Ultracold Fermi Superfluids

The role of impurities as experimental probes in the detection of quantum material properties is well appreciated. Here we study the effect of a single classical magnetic impurity in trapped ultracold Fermi superfluids. Depending on its shape and strength, a magnetic impurity can induce single or multiple mid-gap bound states in a superfluid Fermi gas. The multiple mid-gap states could coincide with the development of a Fulde-Ferrell-Larkin-Ovchinnikov (FFLO) phase within the superfluid. As an analog of the Scanning Tunneling Microscope, we propose a modified RF spectroscopic method to measure the local density of states which can be employed to detect these states and other quantum phases of cold atoms. A key result of our self consistent Bogoliubov-de Gennes calculations is that a magnetic impurity can controllably induce an FFLO state at currently accessible experimental parameters.

preprint2011arXiv

Weight Distributions of Regular Low-Density Parity-Check Codes over Finite Fields

The average weight distribution of a regular low-density parity-check (LDPC) code ensemble over a finite field is thoroughly analyzed. In particular, a precise asymptotic approximation of the average weight distribution is derived for the small-weight case, and a series of fundamental qualitative properties of the asymptotic growth rate of the average weight distribution are proved. Based on this analysis, a general result, including all previous results as special cases, is established for the minimum distance of individual codes in a regular LDPC code ensemble.

preprint2010arXiv

Exotic phase diagram of a topological quantum system

We study the quantum phase transitions (QPTs) in the Kitaev spin model on a triangle-honeycomb lattice. In addition to the ordinary topological QPTs between Abelian and non-Abelian phases, we find new QPTs which can occur between two phases belonging to the same topological class, namely, either two non-Abelian phases with the same Chern number or two Abelian phases with the same Chern number. Such QPTs result from the singular behaviors of the nonlocal spin-spin correlation functions at the critical points.

preprint2010arXiv

Protocol design and stability/delay analysis of half-duplex buffered cognitive relay systems

In this paper, we quantify the benefits of employing relay station in large-coverage cognitive radio systems which opportunistically access the licensed spectrum of some small-coverage primary systems scattered inside. Through analytical study, we show that even a simple decode-and-forward (SDF) relay, which can hold only one packet, offers significant path-loss gain in terms of the spatial transmission opportunities and link reliability. However, such scheme fails to capture the spatial-temporal burstiness of the primary activities, that is, when either the source-relay (SR) link or relay-destination (RD) link is blocked by the primary activities, the cognitive spectrum access has to stop. To overcome this obstacle, we further propose buffered decode-and-forward (BDF) protocol. By exploiting the infinitely long buffer at the relay, the blockage time on either SR or RD link is saved for cognitive spectrum access. The buffer gain is shown analytically to improve the stability region and average end-to-end delay performance of the cognitive relay system.

preprint2009arXiv

Imbalanced superfluid state in an annular disk

The imbalanced superfluid state of spin-1/2 fermions with s-wave pairing is numerically studied by solving the Bogoliubov-de-Gennes equation at zero temperature in an annular disk geometry with narrow radial width. Two distinct types of systems are considered. The first case may be relevant to heavy fermion superconductors, where magnetic field causes spin imbalance via Zeeman interaction and the system is studied in a grand canonical ensemble. As the magnetic field increases, the system is transformed from the uniform superfluid state to the Fulde-Ferrell-Larkin-Ovchinnikov state, and finally to the spin polarized normal state. The second case may be relevant to cold fermionic systems, where the numbers of fermions of each species are fixed as in a canonical ensemble. In this case, the groundstate depends on the pairing strength. For weak pairing, the order parameter exhibits a periodic domain wall lattice pattern with a localized spin distribution at low spin imbalance, and a sinusoidally modulated pattern with extended spin distribution at high spin imbalance. For strong pairing, the phase separation between superfluid state and polarized normal state is found to be more preferable, while the increase of spin imbalance simply changes the ratio between them.

preprint2009arXiv

Light flavor baryon spectrum with higher order hyperfine interactions

We study the spectrum of light flavor baryons in a quark-model framework by taking into account the order $\mathrm{O}(α_s^2)$ hyperfine interactions due to two-gluon exchange between quarks. The calculated spectrum agree better with the experimental data than the results from hyperfine interactions with only one-gluon exchange. It is also shown that two-gluon exchange hyperfine interactions bring a significantly improved correction to the Gell-Mann--Okubo mass formula. Two-gluon exchange corrections on baryon excitations (including negative parity baryons) are also briefly discussed.

preprint2009arXiv

Stability and chaotic behavior of Bose-Einstein condensates in optical lattices with two- and three-body interactions

The stability and chaotic behaviors of Bose-Einstein condensates with two- and three-atom interactions in optical lattices are discussed with analytical and numerical methods. It is found that the steady-state relative population appears tuning-fork bifurcation when the system parameters are changed to certain critical values. In particular, the existence of three-body interaction not only transforms the bifurcation point of the system but also affects greatly on the macroscopic quantum self-trapping behaviors of the system associated with the critically stable steady-state solution. In addition, we also investigated the influence of the initial conditions, three-body interaction and the energy bias on the macroscopic quantum self-trapping. Finally, by applying the periodic modulation on the energy bias, we find that the relative population oscillation exhibits a process from order to chaos, via a series of period-doubling bifurcations.

preprint2008arXiv

Overlaid Cellular and Mobile Ad Hoc Networks

In cellular systems using frequency division duplex, growing Internet services cause unbalance of uplink and downlink traffic, resulting in poor uplink spectrum utilization. Addressing this issue, this paper considers overlaying an ad hoc network onto a cellular uplink network for improving spectrum utilization and spatial reuse efficiency. Transmission capacities of the overlaid networks are analyzed, which are defined as the maximum densities of the ad hoc nodes and mobile users under an outage constraint. Using tools from stochastic geometry, the capacity tradeoff curves for the overlaid networks are shown to be linear. Deploying overlaid networks based on frequency separation is proved to achieve higher network capacities than that based on spatial separation. Furthermore, spatial diversity is shown to enhance network capacities.

preprint2005arXiv

Entanglement and Quantum Phase Transition in Low Dimensional Spin Systems

Entanglement of the ground states in $XXZ$ and dimerized Heisenberg spin chains as well as in a two-leg spin ladder is analyzed by using the spin-spin concurrence and the entanglement entropy between a selected sublattice of spins and the rest of the system. In particular, we reveal that quantum phase transition points/boundaries may be identified based on the analysis on the local extreme of this entanglement entropy, which is illustrated to be superior over the concurrence scenario and may enable us to explore quantum phase transitions in many other systems including higher dimensional ones.