arXiv subjects

Hai Lin

Publications and source records attributed to Hai Lin.

At least 163 records · Page 9Linked to original sources

arXiv2018

Perfectly Controllable Multi-Agent Networks

This note investigates how to design topology structures to ensure the controllability of multi-agent networks (MASs) under any selection of leaders. We put forward a concept of perfect controllability, which means that a multi-agent system is controllable with no matter how the leaders are chosen. In this situation, both the number and the locations of leader agents are arbitrary. A necessary and sufficient condition is derived for the perfect controllability. Moreover, a step-by-step design procedure is proposed by which topologies are constructed and are proved to be perfectly controllable. The principle of the proposed design method is interpreted by schematic diagrams along with the corresponding topology structures from simple to complex. We show that the results are valid for any number and any location of leaders. Both the construction process and the corresponding topology structures are clearly outlined.

eess.SY↗

arXiv2018

Topological and Geometric Universal Thermodynamics in Conformal Field Theory

Universal thermal data in conformal field theory (CFT) offer a valuable means for characterizing and classifying criticality. With improved tensor network techniques, we investigate the universal thermodynamics on a nonorientable minimal surface, the crosscapped disk (or real projective plane, $\mathbb{RP}^2$). Through a cut-and-sew process, $\mathbb{RP}^2$ is topologically equivalent to a cylinder with rainbow and crosscap boundaries. We uncover that the crosscap contributes a fractional topological term $\frac{1}{2} \ln{k}$ related to nonorientable genus, with $k$ a universal constant in two-dimensional CFT, while the rainbow boundary gives rise to a geometric term $\frac{c}{4} \lnβ$, with $β$ the manifold size and $c$ the central charge. We have also obtained analytically the logarithmic rainbow term by CFT calculations, and discuss its connection to the renowned Cardy-Peschel conical singularity.

cond-mat.str-el↗

arXiv2018

Spatial- and Frequency-Wideband Effects in Millimeter-Wave Massive MIMO Systems

When there are a large number of antennas in massive MIMO systems, the transmitted wideband signal will be sensitive to the physical propagation delay of electromagnetic waves across the large array aperture, which is called the spatial-wideband effect. In this scenario, transceiver design is different from most of the existing works, which presume that the bandwidth of the transmitted signals is not that wide, ignore the spatial-wideband effect, and only address the frequency selectivity. In this paper, we investigate spatial- and frequency-wideband effects, called dual-wideband effects, in massive MIMO systems from array signal processing point of view. Taking mmWave-band communications as an example, we describe the transmission process to address the dual-wideband effects. By exploiting the channel sparsity in the angle domain and the delay domain, we develop the efficient uplink and downlink channel estimation strategies that require much less amount of training overhead and cause no pilot contamination. Thanks to the array signal processing techniques, the proposed channel estimation is suitable for both TDD and FDD massive MIMO systems. Numerical examples demonstrate that the proposed transmission design for massive MIMO systems can effectively deal with the dual-wideband effects.

cs.IT↗

arXiv2018

Tunneling Topological Vacua via Extended Operators: (Spin-)TQFT Spectra and Boundary Deconfinement in Various Dimensions

Distinct quantum vacua of topologically ordered states can be tunneled into each other via extended operators. The possible applications include condensed matter and quantum cosmology. We present a straightforward approach to calculate the partition function on various manifolds and ground state degeneracy (GSD), mainly based on continuum/cochain Topological Quantum Field Theories (TQFT), in any dimension. This information can be related to the counting of extended operators of bosonic/fermionic TQFT. On the lattice scale, anyonic particles/strings live at the ends of line/surface operators. Certain systems in different dimensions are related to each other through dimensional reduction schemes, analogous to (de)categorification. Examples include spin TQFTs derived from gauging the interacting fermionic symmetry protected topological states (with fermion parity $\mathbb{Z}_2^f$) of symmetry group $\mathbb{Z}_4\times \mathbb{Z}_2$ and $(\mathbb{Z}_4)^2$ in 3+1D, also $\mathbb{Z}_2$ and $(\mathbb{Z}_2)^2$ in 2+1D. Gauging the last three cases begets non-Abelian spin TQFT/topological order. We consider situations where a TQFT lives on (1) a closed spacetime or (2) a spacetime with boundary, such that the bulk and boundary are fully-gapped and short or long-range entangled (SRE/LRE). Anyonic excitations can be deconfined on the boundary. We introduce new exotic topological interfaces on which neither particle nor string excitations alone condensed, but only fuzzy-composite objects of extended operators can end (e.g. a string-like composite object formed by a set of particles can end on a special 2+1D boundary of 3+1D bulk). We explore the relations between group extension constructions and partially breaking constructions (e.g. 0-form/higher-form/composite breaking) of topological boundaries, after gauging. We comment on the implications of entanglement entropy for some of such LRE systems.

cond-mat.str-el↗

arXiv2018

Privacy Verification in POMDPs via Barrier Certificates

Privacy is an increasing concern in cyber-physical systems that operates over a shared network. In this paper, we propose a method for privacy verification of cyber- physical systems modeled by Markov decision processes (MDPs) and partially-observable Markov decision processes (POMDPs) based on barrier certificates. To this end, we consider an opacity-based notion of privacy, which is characterized by the beliefs in system states. We show that the belief update equations can be represented as discrete-time switched systems, for which we propose a set of conditions for privacy verification in terms of barrier certificates. We further demonstrate that, for MDPs and for POMDPs, privacy verification can be computationally implemented by solving a set of semi-definite programs and sum-of-squares programs, respectively. The method is illustrated by an application to privacy verification of an inventory management system.

eess.SY↗

arXiv2018

Symbol Detection of Ambient Backscatter Systems with Manchester Coding

Ambient backscatter communication is a newly emerged paradigm, which utilizes the ambient radio frequency (RF) signal as the carrier to reduce the system battery requirement, and is regarded as a promising solution for enabling large scale deployment of future Internet of Things (IoT) networks. The key issue of ambient backscatter communication systems is how to perform reliable detection. In this paper, we propose novel encoding methods at the information tag, and devise the corresponding symbol detection methods at the reader. In particular, Manchester coding and differential Manchester coding are adopted at the information tag, and the corresponding semi-coherent Manchester (SeCoMC) and non-coherent Manchester (NoCoMC) detectors are developed. In addition, analytical bit error rate (BER) expressions are characterized for both detectors assuming either complex Gaussian or unknown deterministic ambient signal. Simulation results show that the BER performance of unknown deterministic ambient signal is better, and the SeCoMC detector outperforms the NoCoMC detector. Finally, compared with the prior detectors for ambient backscatter communications, the proposed detectors have the advantages of achieving superior BER performance with lower communication delay.

eess.SP↗

arXiv2018

POMDP Model Learning for Human Robot Collaboration

Recent years have seen human robot collaboration (HRC) quickly emerged as a hot research area at the intersection of control, robotics, and psychology. While most of the existing work in HRC focused on either low-level human-aware motion planning or HRC interface design, we are particularly interested in a formal design of HRC with respect to high-level complex missions, where it is of critical importance to obtain an accurate and meanwhile tractable human model. Instead of assuming the human model is given, we ask whether it is reasonable to learn human models from observed perception data, such as the gesture, eye movements, head motions of the human in concern. As our initial step, we adopt a partially observable Markov decision process (POMDP) model in this work as mounting evidences have suggested Markovian properties of human behaviors from psychology studies. In addition, POMDP provides a general modeling framework for sequential decision making where states are hidden and actions have stochastic outcomes. Distinct from the majority of POMDP model learning literature, we do not assume that the state, the transition structure or the bound of the number of states in POMDP model is given. Instead, we use a Bayesian non-parametric learning approach to decide the potential human states from data. Then we adopt an approach inspired by probably approximately correct (PAC) learning to obtain not only an estimation of the transition probability but also a confidence interval associated to the estimation. Then, the performance of applying the control policy derived from the estimated model is guaranteed to be sufficiently close to the true model. Finally, data collected from a driver-assistance test-bed are used to train the model, which illustrates the effectiveness of the proposed learning method.

cs.HC↗

arXiv2018

Sign reversal superconducting gaps revealed by phase referenced quasi-particle interference of impurity induced bound states in (Li$_{1-x}$Fe$_x$)OHFe$_{1-y}$Zn$_y$Se

By measuring the spatial distribution of differential conductance near impurities on Fe sites, we have obtained the quasi-particle interference (QPI) patterns in the (Li$_{1-x}$Fe$_x$)OHFe$_{1-y}$Zn$_y$Se superconductor with only electron Fermi surfaces. By taking the Fourier transform on these patterns, we investigate the scattering features between the two circles of electron pockets formed by folding or hybridization. We treat the data by using the recent theoretical approach [arXiv:1710.09089] which is specially designed for the impurity induced bound states. It is found that the superconducting gap sign is reversed on the two electron pockets, which can be directly visualized by the phase-referenced QPI technique, indicating that the Cooper pairing is induced by the repulsive interaction. Our results further show that this method is also applicable for data measured for multiple impurities, which provides an easy and feasible way for detecting the gap function of unconventional superconductors.

cond-mat.supr-con↗

arXiv2018

Privacy Preserving Controller Synthesis via Belief Abstraction

Privacy is a crucial concern in many systems in addition to their given tasks. We consider a new notion of privacy based on beliefs of the system states, which is closely related to opacity in discrete event systems. To guarantee the privacy requirement, we propose to abstract the belief space whose dynamics is shown to be mixed monotone where efficient abstraction algorithm exists. Based on the abstraction, we propose two different approaches to synthesize controllers of the system to preserve privacy with an illustrative example.

cs.CR↗

arXiv2018

Structures and Physical Properties of CsV$_2$Se$_{2-x}$O and V$_2$Se$_2$O

By using solid-state reactions, we successfully synthesize new oxyselenides CsV$_2$Se$_{2-x}$O (x = 0, 0.5). These compounds containing V$_2$O planar layers with a square lattice crystallize in the CeCr$_2$Si$_2$C structure with the space group of $P4/mmm$. Another new compound V$_2$Se$_2$O which crystallizes in space group $I4/mmm$ is fabricated by topochemical deintercalation of cesium from CsV$_2$Se$_2$O powder with iodine in tetrahydrofuran(THF). Resistivity measurements show a semiconducting behavior for CsV$_2$Se$_2$O, while a metallic behavior for CsV$_2$Se$_{1.5}$O, and an insulating feature for V$_2$Se$_2$O. A charge- or spin-density wave-like anomaly has been observed at 168 K for CsV$_2$Se$_2$O and 150 K for CsV$_2$Se$_{1.5}$O, respectively. And these anomalies are also confirmed by the magnetic susceptibility measurements. The resistivity in V$_2$Se$_2$O exhibits an anomalous log(1/$T$) temperature dependence, which is similar to the case in parent phase or very underdoped cuprates indicating the involvement of strong correlation. Magnetic susceptibility measurements show that the magnetic moment per V-site in V$_2$Se$_2$O is much larger than that of CsV$_2$Se$_{2-x}$O, which again suggests the correlation induced localization effect in the former.

cond-mat.mtrl-sci↗

arXiv2018

Time Varying Channel Tracking with Spatial and Temporal BEM for Massive MIMO Systems

In this paper, we propose a channel tracking method for massive multi-input and multi-output systems under both time-varying and spatial-varying circumstance. Exploiting the characteristics of massive antenna array, a spatial-temporal basis expansion model is designed to reduce the effective dimensions of up-link and down-link channel, which decomposes channel state information into the time-varying spatial information and gain information. We firstly model the users movements as a one-order unknown Markov process, which is blindly learned by the expectation and maximization (EM) approach. Then, the up-link time varying spatial information can be blindly tracked by Taylor series expansion of the steering vector, while the rest up-link channel gain information can be trained by only a few pilot symbols. Due to angle reciprocity (spatial reciprocity), the spatial information of the down-link channel can be immediately obtained from the up-link counterpart, which greatly reduces the complexity of down-link channel tracking. Various numerical results are provided to demonstrate the effectiveness of the proposed method.

eess.SP↗

arXiv2018

Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems

Opacity is a confidentiality property that characterizes the non-disclosure of specified secret information of a system to an outside observer. In this paper, we consider the enforcement of opacity within the discrete-event system formalism in the presence of multiple intruders. We study two cases, one without coordination among the intruders and the other with coordination. We propose appropriate notions of opacity corresponding to the two cases, respectively, and propose enforcement mechanisms for these opacity properties based on the implementation of insertion functions, which manipulates the output of the system by inserting fictitious observable events whenever necessary. The insertion mechanism is adapted to the decentralized framework to enforce opacity when no coordination exists. Furthermore, we present a coordination and refinement procedure to synthesize appropriate insertion functions to enforce opacity when intruders may coordinate with each other by following an intersection-based coordination protocol. The effectiveness of the proposed opacity-enforcement approaches is validated through illustrative examples.

cs.CR↗

arXiv2018

Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems

Opacity is a property that characterizes the system's capability to keep its "secret" from being inferred by an intruder that partially observes the system's behavior. In this paper, we are concerned with enhancing the opacity using insertion functions, while at the same time, enforcing the task specification in a parametric stochastic discrete event system. We first obtain the parametric Markov decision process that encodes all the possible insertions. Based on which, we convert this parameter and insertion function co-synthesis problem into a nonlinear program. We prove that if the output of this program satisfies all the constraints, it will be a valid solution to our problem. Therefore, the security and the capability of enforcing the task specification can be simultaneously guaranteed.

cs.CR↗

arXiv2018

Detecting topology change via correlations and entanglement from gauge/gravity correspondence

We compute a momentum space version of the entanglement spectrum and entanglement entropy of general Young tableau states, and one-point functions on Young tableau states. These physical quantities are used to measure the topology of the dual spacetime geometries in the context of gauge/gravity correspondence. The idea that Young tableau states can be obtained by superposing coherent states is explicitly verified. In this quantum superposition, a topologically distinct geometry is produced by superposing states dual to geometries with a trivial topology. Furthermore we have a refined bound for the overlap between coherent states and the rectangular Young tableau state, by using the techniques of symmetric groups and representations. This bound is exponentially suppressed by the total edge length of the Young tableau. It is also found that the norm squared of the overlaps is bounded above by inverse powers of the exponential of the entanglement entropies. We also compute the overlaps between Young tableau states and other states including squeezed states and multi-mode entangled states which have similarities with those appeared in quantum information theory.

hep-th↗

arXiv2018

Protonation induced high-Tc phases in iron-based superconductors evidenced by NMR and magnetization measurements

Chemical substitution during growth is a well-established method to manipulate electronic states of quantum materials, and leads to rich spectra of phase diagrams in cuprate and iron-based superconductors. Here we report a novel and generic strategy to achieve nonvolatile electron doping in series of (i.e. 11 and 122 structures) Fe-based superconductors by ionic liquid gating induced protonation at room temperature. Accumulation of protons in bulk compounds induces superconductivity in the parent compounds, and enhances the Tc largely in some superconducting ones. Furthermore, the existence of proton in the lattice enables the first proton nuclear magnetic resonance (NMR) study to probe directly superconductivity. Using FeS as a model system, our NMR study reveals an emergent high-Tc phase with no coherence peak which is hard to measure by NMR with other isotopes. This novel electric-field-induced proton evolution opens up an avenue for manipulation of competing electronic states (e.g. Mott insulators), and may provide an innovative way for a broad perspective of NMR measurements with greatly enhanced detecting resolution.

cond-mat.supr-con↗

arXiv2017

Robust Beamforming for Physical Layer Security in BDMA Massive MIMO

In this paper, we design robust beamforming to guarantee the physical layer security for a multiuser beam division multiple access (BDMA) massive multiple-input multiple-output (MIMO) system, when the channel estimation errors are taken into consideration. With the aid of artificial noise (AN), the proposed design are formulated as minimizing the transmit power of the base station (BS), while providing legal users and the eavesdropper (Eve) with different signal-to-interference-plus-noise ratio (SINR). It is strictly proved that, under BDMA massive MIMO scheme, the initial non-convex optimization can be equivalently converted to a convex semi-definite programming (SDP) problem and the optimal rank-one beamforming solutions can be guaranteed. In stead of directly resorting to the convex tool, we make one step further by deriving the optimal beamforming direction and the optimal beamforming power allocation in closed-form, which greatly reduces the computational complexity and makes the proposed design practical for real world applications. Simulation results are then provided to verify the efficiency of the proposed algorithm.

cs.IT↗

arXiv2017

Reactive Integrated Mission and Motion planning

Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem. The tight coupling of actions and motions between agents and complexity of mission specifications makes the problem computationally intractable. This paper presents a reactive integrated mission and motion planning for mobile-robot manipulator systems operating in a partially known environment. We introduce a multi-layered synergistic framework that receives high-level mission specifications expressed in linear temporal logic and generates dynamically-feasible and collision-free motion trajectories to achieve it. In the high-level layer, a mission planner constructs a symbolic two-player game between the robots and their environment to synthesis a strategy that adapts to changes in the workspace imposed by other robots. A bilateral synergistic layer is developed to map the designed mission plan to an integrated task and motion planner, constructing a set of robot tasks to move the objects according to the mission strategy. In the low-level planning stage, verifiable motion controllers are designed that can be incrementally composed to guarantee a safe motion planning for each high-level induced task. The proposed framework is illustrated with a multi-robot warehouse example with the mission of moving objects to various locations.

cs.RO↗

arXiv2017

A construction of quarter BPS coherent states and Brauer algebras

BPS coherent states closely resemble semiclassical states and they have gravity dual descriptions in terms of semiclassical geometries. The half BPS coherent states have been well studied, however less is known about quarter BPS coherent states. Here we provide a construction of quarter BPS coherent states. They are coherent states built with two matrix fields, generalizing the half BPS case. These states are both the eigenstates of annihilation operators and in the kernel of dilatation operator. Another useful labeling of quarter BPS states is by representations of Brauer algebras and their projection onto a subalgebra $\mathbb{C}[S_n\times S_m]$. Here, the Schur-Weyl duality for the Walled Brauer algebra plays an important role in organizing the operators. One interesting subclass of these Brauer states are labeled by representations involving two Young tableaux. We obtain the overlap between quarter BPS Brauer states and quarter BPS coherent states, where the Schur polynomials are used. We also derive superposition formulas transforming a truncated version of quarter BPS coherent states to quarter BPS Brauer states. The entanglement entropy of Brauer states as well as the overlap between Brauer states and squeezed states are also computed.

hep-th↗