Still searching Arxiv, refresh for possibly better results.

total 24673took 0.13s

Revisiting Perspective Information for Efficient Crowd CountingJul 05 2018Apr 01 2019Crowd counting is the task of estimating people numbers in crowd images. Modern crowd counting methods employ deep neural networks to estimate crowd counts via crowd density regressions. A major challenge of this task lies in the perspective distortion, ... More

Cache Placement in Two-Tier HetNets with Limited Storage Capacity: Cache or Buffer?Jun 06 2018Jul 17 2019In this paper, we aim to minimize the average file transmission delay via bandwidth allocation and cache placement in two-tier heterogeneous networks with limited storage capacity, which consists of cache capacity and buffer capacity. For average delay ... More

The square root rank of the correlation polytope is exponentialNov 25 2014The square root rank of a nonnegative matrix $A$ is the minimum rank of a matrix $B$ such that $A=B \circ B$, where $\circ$ denotes entrywise product. We show that the square root rank of the slack matrix of the correlation polytope is exponential. Our ... More

Joint Time-Frequency Splitting for Multiuser SWIPT OFDM NetworksFeb 08 2019In this paper, we propose a joint time-frequency splitting (TFS) strategy for a multiuser orthogonal frequency division multiplexing (OFDM) system with simultaneous wireless information and power transfer (SWIPT). In TFS, the time sharing factors for ... More

A control strategy algorithm for finite alternating transition systemsDec 29 2012Recently, there has been an increasing interest in the formal analysis and design of control systems. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. Amongst, ... More

Linear time logic control of linear systems with disturbancesDec 29 2012The formal analysis and design of control systems is one of recent trends in control theory. In this area, in order to reduce the complexity and scale of control systems, finite abstractions of control systems are introduced and explored. In non-disturbance ... More

Meteorological data from KLAWS-2G for an astronomical site survey of Dome A, AntarcticaOct 12 2018We present an analysis of meteorological data from the second generation of the Kunlun Automated Weather Station (KLAWS-2G) at Dome A, Antarctica during 2015 and 2016. We find that a strong temperature inversion exists for all the elevations up to 14 ... More

Energy Efficient Resource Allocation for Mobile-Edge Computation Networks with NOMASep 04 2018Feb 14 2019This paper investigates an uplink non-orthogonal multiple access (NOMA)-based mobile-edge computing (MEC) network. Our objective is to minimize the total energy consumption of all users including transmission energy and local computation energy subject ... More

Resource Allocation in Full-Duplex Mobile-Edge Computing Systems with NOMA and Energy HarvestingJul 31 2018This paper considers a full-duplex (FD) mobile-edge computing (MEC) system with non-orthogonal multiple access (NOMA) and energy harvesting (EH), where one group of users simultaneously offload task data to the base station (BS) via NOMA and the BS simultaneously ... More

Energy-Efficient Data Collection and Wireless Power Transfer Using A MIMO Full-Duplex UAVNov 22 2018In this paper, we propose a novel energy-efficient data collection and wireless power transfer (WPT) framework for internet of things (IoT) applications, via a multiple-input multiple-output (MIMO) full-duplex (FD) unmanned aerial vehicle (UAV). To exploit ... More

Revisiting Perspective Information for Efficient Crowd CountingJul 05 2018Dec 09 2018Crowd counting is the task of estimating people numbers in crowd images. Modern crowd counting methods employ deep neural networks to estimate crowd counts via crowd density regressions. A major challenge of this task lies in the perspective distortion, ... More

Optimal Fairness-Aware Time and Power Allocation in Wireless Powered Communication NetworksFeb 14 2018In this paper, we consider the sum $\alpha$-fair utility maximization problem for joint downlink (DL) and uplink (UL) transmissions of a wireless powered communication network (WPCN) via time and power allocation. In the DL, the users with energy harvesting ... More

Energy Efficient Resource Allocation in Machine-to-Machine Communications with Multiple Access and Energy Harvesting for IoTNov 29 2017This paper studies energy efficient resource allocation for a machine-to-machine (M2M) enabled cellular network with non-linear energy harvesting, especially focusing on two different multiple access strategies, namely non-orthogonal multiple access (NOMA) ... More

Compressive Sensing Based User Clustering for Downlink NOMA Systems with Decoding PowerMar 13 2018This letter investigates joint power control and user clustering for downlink non-orthogonal multiple access systems. Our aim is to minimize the total power consumption by taking into account not only the conventional transmission power but also the decoding ... More

Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing NetworksFeb 08 2019Feb 13 2019In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles ... More

A Caching Strategy Towards Maximal D2D Assisted Offloading GainAug 02 2019Device-to-Device (D2D) communications incorporated with content caching have been regarded as a promising way to offload the cellular traffic data. In this paper, the caching strategy is investigated to maximize the D2D offloading gain with the comprehensive ... More

Terahertz and Far-Infrared Windows Opened at Dome A, AntarcticaSep 20 2016The terahertz and far-infrared (FIR) band, from approximately 0.3 THz to 15 THz (1 mm to 20 micron), is important for astrophysics as the thermal radiation of much of the universe peaks at these wavelengths and many spectral lines that trace the cycle ... More

Energy Efficient Resource Allocation in UAV-Enabled Mobile Edge Computing NetworksFeb 08 2019In this paper, we consider the sum power minimization problem via jointly optimizing user association, power control, computation capacity allocation and location planning in a mobile edge computing (MEC) network with multiple unmanned aerial vehicles ... More

Resource Allocation for D2D Communications Underlaying a NOMA-Based Cellular NetworkOct 14 2017This letter investigates the power control and channel assignment problem in device-to-device (D2D) communications underlaying a non-orthogonal multiple access (NOMA) cellular network. With the successive interference cancellation decoding order constraints, ... More

Association and Load Optimization with User Priorities in Load-Coupled Heterogeneous NetworksOct 18 2017In this paper, we consider the network utility maximization problem with various user priorities via jointly optimizing user association, load distribution and power control in a load-coupled heterogeneous network. In order to tackle the nonconvexity ... More

Pilot Reuse Among D2D Users in D2D Underlaid Massive MIMO SystemsAug 04 2017In a device-to-device (D2D) underlaid massive MIMO system, D2D transmitters reuse the uplink spectrum of cellular users (CUs), leading to cochannel interference. To decrease pilot overhead, we assume pilot reuse (PR) among D2D pairs. We first derive the ... More

Optimization of Rate Allocation and Power Control for Rate Splitting Multiple Access (RSMA)Mar 19 2019In this paper, the sum-rate maximization problem is studied for wireless networks that use downlink rate splitting multiple access (RSMA). In the considered model, each base station (BS) divides the messages that must be transmitted to its users into ... More

Efficient Resource Allocation for Mobile-Edge Computing Networks with NOMA: Completion Time and Energy MinimizationAug 12 2019This paper investigates an uplink non-orthogonal multiple access (NOMA)-based mobile-edge computing (MEC) network. Our objective is to minimize a linear combination of the completion time of all users' tasks and the total energy consumption of all users ... More

Joint Time Allocation and Power Control in Multi-Cell Networks with Load Coupling: Energy Saving and Rate ImprovementJul 01 2017In this paper, we consider the problems of minimizing sum power and maximizing sum rate for multi-cell networks with load coupling, where coupling relation occurs among cells due to inter-cell interference. This coupling relation is characterized by the ... More

Correlation/Communication complexity of generating bipartite statesMar 06 2012We study the correlation complexity (or equivalently, the communication complexity) of generating a bipartite quantum state $\rho$. When $\rho$ is a pure state, we completely characterize the complexity for approximately generating $\rho$ by a corresponding ... More

Power Control for Multi-Cell Networks with Non-Orthogonal Multiple AccessJun 14 2017Nov 02 2017In this paper, we investigate the problems of sum power minimization and sum rate maximization for multi-cell networks with non-orthogonal multiple access. Considering the sum power minimization, we obtain closed-form solutions to the optimal power allocation ... More

Robust Transmission Design for Multi-Cell D2D Underlaid Cellular NetworksApr 14 2018This paper investigates the robust transmission design (RTD) of a multi-cell device-to-device (D2D) underlaid cellular network with imperfect channel state information (CSI). The bounded model is adopted to characterize the CSI impairment and the aim ... More

Cache Placement in Two-Tier HetNets with Limited Storage Capacity: Cache or Buffer?Jun 06 2018In this paper, we aim to minimize the average file transmission delay via bandwidth allocation and cache placement in two-tier heterogeneous networks with limited storage capacity, which consists of cache capacity and buffer capacity. For average delay ... More

Sum-Rate Maximization of Uplink Rate Splitting Multiple Access (RSMA) CommunicationJun 10 2019In this paper, the problem of maximizing the wireless users' sum-rate for uplink rate splitting multiple access (RSMA) communications is studied. In the considered model, each user transmits a superposition of two messages to a base station (BS) with ... More

Joint Altitude, Beamwidth, Location and Bandwidth Optimization for UAV-Enabled CommunicationsJun 06 2018This letter investigates an uplink power control problem for unmanned aerial vehicles (UAVs) assisted wireless communications. We jointly optimize the UAV's flying altitude, antenna beamwidth, UAV's location and ground terminals' allocated bandwidth and ... More

Fabrication of polarization-independent single-mode waveguides in lithium niobate crystal with femtosecond laser pulsesMay 21 2016We report on fabrication of depressed cladding optical waveguides buried in lithium niobate crystal with shaped femtosecond laser pulses. Depressed cladding waveguides of variable mode-field sizes are fabricated by forming the four sides of the cladding ... More

An Analytic Semi-device-independent Entanglement Quantification for Bipartite Quantum StatesMar 13 2019We define a property called nondegeneracy for Bell inequalities, which describes the situation that in a Bell setting, if a Bell inequality and involved local measurements are chosen and fixed, any quantum state with a given dimension and its orthogonal ... More

Analytic Semi-device-independent Entanglement Quantification for Bipartite Quantum StatesMar 13 2019Mar 15 2019We define a property called nondegeneracy for Bell inequalities, which describes the situation that in a Bell setting, if a Bell inequality and involved local measurements are chosen and fixed, any quantum state with a given dimension and its orthogonal ... More

High-throughput in-volume processing in glass with isotropic spatial resolutions in three dimensionsSep 19 2016We report on fabrication of three dimensional (3D) microstructures in glass with isotropic spatial resolutions. To achieve high throughput fabrication, we expand the focal spot size with a low-numerical-aperture lens, which naturally results in a degraded ... More

Transverse writing of three-dimensional tubular optical waveguides in glass with slit-shaped femtosecond laser beamsFeb 04 2016May 11 2016We report on fabrication of tubular optical waveguides buried in ZBLAN glass based on transverse femtosecond laser direct writing. Irradiation in ZBLAN with focused femtosecond laser pulses leads to decrease of refractive index in the modified region. ... More

The First Release of the CSTAR Point Source Catalog from Dome A, AntarcticaJan 27 2010In 2008 January the 24th Chinese expedition team successfully deployed the Chinese Small Telescope ARray (CSTAR) to DomeA, the highest point on the Antarctic plateau. CSTAR consists of four 14.5cm optical telescopes, each with a different filter (g, r, ... More

Interfacial Multiferroics of TiO2/PbTiO3 Heterostructure Driven by Ferroelectric Polarization DiscontinuityFeb 22 2017Novel phenomena appear when two different oxide materials are combined together to form an interface. For example, at the interface of LaAlO3/SrTiO3, two dimensional conductive states form to avoid the polar discontinuity and magnetic properties are found ... More

The sky brightness and transparency in i-band at Dome A, AntarcticaJan 27 2010Jan 07 2011The i-band observing conditions at Dome A on the Antarctic plateau have been investigated using data acquired during 2008 with the Chinese Small Telescope ARray. The sky brightness, variations in atmospheric transparency, cloud cover, and the presence ... More

Data-Free Learning of Student NetworksApr 02 2019Learning portable neural networks is very essential for computer vision for the purpose that pre-trained heavy deep models can be well applied on edge devices such as mobile phones and micro sensors. Most existing deep neural network compression and speed-up ... More

Time-resolved shadowgraphs of transient plasma induced by spatiotemporally focused femtosecond laser pulses in fused silica glassOct 26 2015We report on experimental observations of formation and evolution of transient plasma produced in fused silica glass with spatiotemporally focused (STF) femtosecond laser pulses using a pump-probe shadow imaging technique. Surprisingly, the observation ... More

Fabrication of an integrated high-quality-factor (high-Q) optofluidic sensor by femtosecond laser micromachiningApr 18 2014We report on fabrication of a microtoroid resonator of a high-quality factor (i. e., Q-factor of ~3.24x10^6 measured under the critical coupling condition) integrated in a microfluidic channel using femtosecond laser three-dimensional (3D) micromachining. ... More

DarwinML: A Graph-based Evolutionary Algorithm for Automated Machine LearningNov 20 2018As an emerging field, Automated Machine Learning (AutoML) aims to reduce or eliminate manual operations that require expertise in machine learning. In this paper, a graph-based architecture is employed to represent flexible combinations of ML models, ... More

DAFL: Data-Free Learning of Student NetworksApr 02 2019May 29 2019Learning portable neural networks is very essential for computer vision for the purpose that pre-trained heavy deep models can be well applied on edge devices such as mobile phones and micro sensors. Most existing deep neural network compression and speed-up ... More

Device-independent characterizations of the quantum state in a Bell experimentSep 05 2016In a Bell experiment two parties share a quantum state and perform local measurements on their subsystems separately, and the statistics of the measurement outcomes are recorded as a Bell correlation. For any Bell correlation, it turns out a quantum state ... More

Mutual Clustering on Comparative Texts via Heterogeneous Information NetworksMar 09 2019Currently, many intelligence systems contain the texts from multi-sources, e.g., bulletin board system (BBS) posts, tweets and news. These texts can be ``comparative'' since they may be semantically correlated and thus provide us with different perspectives ... More

Exoplanets in the Antarctic sky. II. 116 Transiting Exoplanet Candidates Found by AST3-II (CHESPA) within the Southern CVZ of TESSSep 06 2018Jan 01 2019We report first results from the CHinese Exoplanet Searching Program from Antarctica (CHESPA)---a wide-field high-resolution photometric survey for transiting exoplanets carried out using telescopes of the AST3 (Antarctic Survey Telescopes times 3) project. ... More

Device-independent characterizations of a shared quantum state independent of any Bell inequalitiesSep 05 2016Apr 27 2017In a Bell experiment two parties share a quantum state and perform local measurements on their subsystems separately, and the statistics of the measurement outcomes are recorded as a Bell correlation. For any Bell correlation, it turns out {that} a quantum ... More

On characterizing quantum correlated equilibriaMay 26 2011Quantum game theory lays a foundation for understanding the interaction of people using quantum computers with conflicting interests. Recently Zhang proposed a simple yet rich model to study quantum strategic games, and addressed some quantitative questions ... More

Linearity and Quantum Adiabatic TheoremJan 19 2007Feb 17 2007We show that in a quantum adiabatic evolution, even though the adiabatic approximation is valid, the total phase of the final state indicated by the adiabatic theorem may evidently differ from the actual total phase. This invalidates the application of ... More

A relation between fidelity and quantum adiabatic evolutionApr 15 2005Dec 01 2005Recently, some quantum algorithms have been implemented by quantum adiabatic evolutions. In this paper, we discuss the accurate relation between the running time and the distance of the initial state and the final state of a kind of quantum adiabatic ... More

Semi-simplicial Types in Logic-enriched Homotopy Type TheoryJun 16 2015The problem of defining Semi-Simplicial Types (SSTs) in Homotopy Type Theory (HoTT) has been recognized as important during the Year of Univalent Foundations at the Institute of Advanced Study. According to the interpretation of HoTT in Quillen model ... More

The combination of context information to enhance simple question answeringOct 09 2018With the rapid development of knowledge base,question answering based on knowledge base has been a hot research issue. In this paper, we focus on answering singlerelation factoid questions based on knowledge base. We build a question answering system ... More

Efficient One-way Quantum Computations for Quantum Error CorrectionDec 14 2007Aug 18 2008We show how to explicitly construct an $O(nd)$ size and constant quantum depth circuit which encodes any given $n$-qubit stabilizer code with $d$ generators. Our construction is derived using the graphic description for stabilizer codes and the one-way ... More

Quantum adiabatic evolutions that can't be used to design efficient algorithmsApr 11 2006Apr 12 2006Quantum adiabatic computation is a novel paradigm for the design of quantum algorithms, which is usually used to find the minimum of a classical function. In this paper, we show that if the initial hamiltonian of a quantum adiabatic evolution with a interpolation ... More

A modified quantum adiabatic evolution for the Deutsch-Jozsa problemDec 01 2005Dec 04 2005Deutsch-Jozsa algorithm has been implemented via a quantum adiabatic evolution by S. Das et al. [Phys. Rev. A 65, 062310 (2002)]. This adiabatic algorithm gives rise to a quadratic speed up over classical algorithms. We show that a modified version of ... More

Typed Operational Semantics for Dependent Record TypesMar 17 2011Typed operational semantics is a method developed by H. Goguen to prove meta-theoretic properties of type systems. This paper studies the metatheory of a type system with dependent record types, using the approach of typed operational semantics. In particular, ... More

Classical Predicative Logic-Enriched Type TheoriesJun 09 2009Aug 18 2010A logic-enriched type theory (LTT) is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named LTTO and LTTO*, which we claim correspond closely to the classical predicative systems of second ... More

Cross-Domain Recommendation for Cold-Start Users via Neighborhood Based Feature MappingMar 05 2018Collaborative Filtering (CF) is a widely adopted technique in recommender systems. Traditional CF models mainly focus on predicting a user's preference to the items in a single domain such as the movie domain or the music domain. A major challenge for ... More

A Modal Characterization of Alternating Approximate BisimilarityDec 19 2012Recently, alternating transition systems are adopted to describe control systems with disturbances and their finite abstract systems. In order to capture the equivalence relation between these systems, a notion of alternating approximate bisimilarity ... More

Device-independent dimension test in a multiparty Bell experimentJul 11 2017A device-independent dimension test for a Bell experiment aims to estimate the underlying Hilbert space dimension that is required to produce given measurement statistical data without any other assumptions concerning the quantum apparatus. Previous work ... More

Device-independent dimension test in a multiparty Bell experimentJul 11 2017Apr 24 2019A device-independent dimension test for a Bell experiment aims to estimate the underlying Hilbert space dimension that is required to produce given measurement statistical data without any other assumptions concerning the quantum apparatus. Previous work ... More

Quantum game players can have advantage without discordFeb 01 2015The last two decades have witnessed a rapid development of quantum information processing, a new paradigm which studies the power and limit of "quantum advantages" in various information processing tasks. Problems such as when quantum advantage exists, ... More

The Generation Cost of Bipartite Quantum States under LOCCDec 01 2014Dec 16 2014We consider a realistic setting of quantum tasks that generate shared bipartite quantum states. Suppose \alice and \bob are located at different places and need to produce a target shared quantum state $\rho$. In order to save quantum communication, they ... More

Adversarial Attacks against Deep Saliency ModelsApr 02 2019Currently, a plethora of saliency models based on deep neural networks have led great breakthroughs in many complex high-level vision tasks (e.g. scene description, object detection). The robustness of these models, however, has not yet been studied. ... More

Weyl's Predicative Classical Mathematics as a Logic-Enriched Type TheorySep 11 2008Jan 15 2009We construct a logic-enriched type theory LTTW that corresponds closely to the predicative system of foundations presented by Hermann Weyl in Das Kontinuum. We formalise many results from that book in LTTW, including Weyl's definition of the cardinality ... More

Quantum search algorithm by adiabatic evolution under a priori probabilityDec 15 2004Grover's algorithm is one of the most important quantum algorithms, which performs the task of searching an unsorted database without a priori probability. Recently the adiabatic evolution has been used to design and reproduce quantum algorithms, including ... More

A Boundary Thickening-based Direct Forcing Immersed Boundary Method for Fully Resolved Simulation of Particle-laden FlowsJun 25 2018A boundary thickening-based direct forcing (BTDF) immersed boundary (IB) method is proposed for fully resolved simulation of incompressible viscous flows laden with finite size particles. By slightly thickening the boundary thickness, the local communication ... More

BASN -- Learning Steganography with Binary Attention MechanismJul 09 2019Secret information sharing through image carrier has aroused much research attention in recent years with images' growing domination on the Internet and mobile applications. However, with the booming trend of convolutional neural networks, image steganography ... More

Measurement of neutron beam spot distribution using a Micromegas detector for the Back-n white neutron facility at China Spallation Neutron SourceAug 06 2019Aug 11 2019The Back-n white neutron beam line, which uses back-streaming white neutrons from the spallation target of China Spallation Neutron Source, is extremely useful for nuclear data measurements. A Micromegas-based neutron detector with two variations is developed ... More

Cavity mediated manipulation of distant spin currents using cavity-magnon-polaritonJun 01 2017Using electrical detection of a strongly coupled spin-photon system comprised of a microwave cavity mode and two magnetic samples, we demonstrate the long distance manipulation of spin currents. This distant control is not limited by the spin diffusion ... More

BGD-based Adam algorithm for time-domain equalizer in PAM-based optical interconnectsAug 12 2019To the best of our knowledge, for the first time, we propose adaptive moment estimation (Adam) algorithm based on batch gradient descent (BGD) to design a time-domain equalizer (TDE) for PAM-based optical interconnects. Adam algorithm has been widely ... More

Principal Component Analysis of AGN SpectraMar 26 2004We discuss spectral principal component analysis (SPCA) and show examples of its application in analyzing AGN spectra in both small and large samples. It can be used to identify peculiar spectra and classify AGN spectra. Its application to correlation ... More

Parametric amplification in single-walled carbon nanotube nanoelectromechanical resonatorsJun 13 2011Jul 26 2011The low quality factor (Q) of Single-walled carbon nanotube (SWNT) resonators has limited their sensitivity in sensing application. To this end, we employ the technique of parametric amplification by modulating the spring constant of SWNT resonators at ... More

Capacitive Spring Softening in Single-Walled Carbon Nanotube Nanoelectromechanical ResonatorsOct 28 2010We report the capacitive spring softening effect observed in single-walled carbon nanotube (SWNT) nanoelectromechanical (NEM) resonators. The nanotube resonators adopt dual-gate configuration with both bottom-gate and side-gate capable of tuning the resonance ... More

A Statistical Model of Pressure Drop Increase with Deposition in Granular FiltersApr 27 2014As deposits accumulate in a granular filter, pressure drop across the filter bed required to maintain a constant fluid flow rate may increase. Two pressure drop increase patterns had been observed. In slow sand filters pressure drop remains unchanged ... More

Indicators of Black Hole Mass and Eddington Accretion Ratio from QSO X-ray and UV SpectraJan 28 2003The evolution of luminous QSOs is linked to the evolution of massive galaxies. We know this because the relic black-holes found locally have masses dependent on the properties of the host galaxy's bulge. An important way to explore this evolution would ... More

Upper triangular matrices and Billiard ArraysAug 18 2015Jan 15 2016Fix a nonnegative integer $d$, a field $\mathbb{F}$, and a vector space $V$ over $\mathbb{F}$ with dimension $d+1$. Let $T$ denote an invertible upper triangular matrix in ${\rm Mat}_{d+1}(\mathbb{F})$. Using $T$ we construct three flags on $V$. We find ... More

Axiomatizing Lüttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$Feb 12 2015In the framework of logic labelled transition system, a variant of weak ready simulation has been presented by L\"{u}ttgen and Vogler. It has been shown that such behavioural preorder is the largest precongruence w.r.t parallel and conjunction composition ... More

On the minimum dimension of a Hilbert space needed to generate a quantum correlationJul 01 2015Oct 07 2015Consider a two-party correlation that can be generated by performing local measurements on a bipartite quantum system. A question of fundamental importance is to understand how many resources, which we quantify by the dimension of the underlying quantum ... More

Device-independent dimension tests in the prepare-and-measure scenarioJun 13 2016Analyzing the dimension of an unknown quantum system in a device-independent manner, i.e., using only the measurement statistics, is a fundamental task in quantum physics and quantum information theory. In this paper, we consider this problem in the prepare-and-measure ... More

Complete Characterization of the Ground Space Structure of Two-Body Frustration-Free Hamiltonians for QubitsOct 12 2010The problem of finding the ground state of a frustration-free Hamiltonian carrying only two-body interactions between qubits is known to be solvable in polynomial time. It is also shown recently that, for any such Hamiltonian, there is always a ground ... More

Inertial Migration of Aerosol Particles in Confined Microfluidic ChannelsDec 06 2018In recent years, manipulation of particles by inertial microfluidics has attracted significant attention. Most studies focused on inertial focusing of particles suspended within liquid phase, in which the ratio of the density of the particle to that of ... More

Wafer Scale Homogeneous Bilayer Graphene Films by Chemical Vapor DepositionNov 18 2010The discovery of electric field induced bandgap opening in bilayer graphene opens new door for making semiconducting graphene without aggressive size scaling or using expensive substrates. However, bilayer graphene samples have been limited to um size ... More

A Polarization-insensitive and High-speed Electro-optic Switch Based on a Hybrid Silicon and Lithium Niobate PlatformMay 07 2019We propose and demonstrate a polarization-insensitive and high speed optical switch unit based on a silicon and lithium niobate hybrid integration platform. The presented device exhibits a sub nano-second switching time, low drive voltages of 4.97 V, ... More

Device-independent dimension tests in the prepare-and-measure scenarioJun 13 2016Oct 25 2016Analyzing the dimension of an unknown quantum system in a device-independent manner, i.e., using only the measurement statistics, is a fundamental task in quantum physics and quantum information theory. In this paper, we consider this problem in the prepare-and-measure ... More

Spectral-graph Based Classifications: Linear Regression for Classification and Normalized Radial Basis Function NetworkMay 19 2017Jun 13 2017Spectral graph theory has been widely applied in unsupervised and semi-supervised learning. In this paper, we find for the first time, to our knowledge, that it also plays a concrete role in supervised classification. It turns out that two classifiers ... More

Greatest solutions of equations in $\text{CLL}_R$ and its applicationNov 04 2014This paper explores the process calculus $\text{CLL}_R$ furtherly. First, we prove that for any equation $X=_{RS} t_X$ such that $X$ is strongly guarded in $t_X$, $\langle X|X=t_X \rangle$ is the largest solution w.r.t $\sqsubseteq_{RS}$. Second, we encode ... More

On Recursive Operations Over Logic LTSJan 15 2013Nov 25 2013Recently, in order to mix algebraic and logic styles of specification in a uniform framework, the notion of a logic labelled transition system (Logic LTS or LLTS for short) has been introduced and explored. A variety of constructors over LLTS, including ... More

Minimum Dimension of a Hilbert Space Needed to Generate a Quantum CorrelationJul 01 2015Oct 25 2016Consider a two-party correlation that can be generated by performing local measurements on a bipartite quantum system. A question of fundamental importance is to understand how many resources, which we quantify by the dimension of the underlying quantum ... More

Adiabatic Quantum Counting by Geometric Phase EstimationMay 09 2008Aug 21 2009We design an adiabatic quantum algorithm for the counting problem, i.e., approximating the proportion, $\alpha$, of the marked items in a given database. As the quantum system undergoes a designed cyclic adiabatic evolution, it acquires a Berry phase ... More

On the greatest solution of equations in $\text{CLL}_R$Feb 12 2015It is shown that, for any equation $X=_{RS} t_X$ in the LLTS-oriented process calculus $\text{CLL}_R$, if $X$ is strongly guarded in $t_X$, then the recursive term $\langle X|X=t_X \rangle$ is the greatest solution of this equation w.r.t L\"{u}ttgen and ... More

Majorization in Quantum Adiabatic AlgorithmsJun 01 2006Sep 01 2010The majorization theory has been applied to analyze the mathematical structure of quantum algorithms. An empirical conclusion by numerical simulations obtained in the previous literature indicates that step-by-step majorization seems to appear universally ... More

Merging Process Algebra and Action-based Computation Tree LogicDec 31 2012Process algebra and temporal logic are two popular paradigms for the specification, verification and systematic development of reactive and concurrent systems. These two approaches take different standpoint for looking at specifications and verifications, ... More

The orientation dependence of quasar spectral energy distributionsSep 01 2013We investigate the orientation dependence of the spectral energy distributions in a sample of radio-loud quasars. Selected specifically to study orientation issues, the sample contains 52 sources with redshifts in the range 0.16<z<1.4 and measurements ... More

Measurement-Based Quantum Computing with Valence-Bond-SolidsNov 22 2011Measurement-based quantum computing (MBQC) is a model of quantum computing that proceeds by sequential measurements of individual spins in an entangled resource state. However, it remains a challenge to produce efficiently such resource states. Would ... More

Some upper and lower bounds on PSD-rankJul 16 2014Positive semidefinite rank (PSD-rank) is a relatively new quantity with applications to combinatorial optimization and communication complexity. We first study several basic properties of PSD-rank, and then develop new techniques for showing lower bounds ... More

A Hierarchical Butterfly LU Preconditioner for Two-Dimensional Electromagnetic Scattering Problems Involving Open SurfacesJan 31 2019This paper introduces a hierarchical interpolative decomposition butterfly-LU factorization (H-IDBF-LU) preconditioner for solving two-dimensional electric-field integral equations (EFIEs) in electromagnetic scattering problems of perfect electrically ... More

Singularites in the Bousseneq equation and in the generalized KdV equationAug 16 2001In this paper, two kinds of the exact singular solutions are obtained by the improved homogeneous balance (HB) method and a nonlinear transformation. The two exact solutions show that special singular wave patterns exists in the classical model of some ... More

Normalized solutions and mass concentration for supercritical nonlinear Schrödinger equationsMay 23 2019In this paper, we deal with the existence and concentration of normalized solutions to the supercritical nonlinear Schr\"{o}dinger equation \begin{equation*} \left\{ \begin{array}{l} -\Delta u + V(x) u = \mu_q u + a|u|^q u \quad {\rm in}\quad \mathbb{R}^2,\\ ... More

Maximal Function Characterizations of Musielak-Orlicz-Hardy Spaces Associated to Non-negative Self-adjoint Operators Satisfying Gaussian EstimatesMar 16 2016Let $L$ be a non-negative self-adjoint operator on $L^2(\mathbb{R}^n)$ whose heat kernels have the Gaussian upper bound estimates. Assume that the growth function $\varphi:\,\mathbb{R}^n\times[0,\infty) \to[0,\infty)$ satisfies that $\varphi(x,\cdot)$ ... More