Entanglement detection beyond the CCNR criterion for infinite-dimensions

In terms of the relation between the state and its reduced states, we obtain two inequalities which are valid for all separable states in infinite-dimensional bipartite quantum systems. One of them provides an entanglement criterion which is strictly stronger than the computable cross-norm or realignment (CCNR) criterion.     

3-qubit量子相位门的纠缠能力

研究了3-qubit量子纯态性质与其单体约化密度矩阵之间的关系,给出判断3-qubit最大纠缠纯态和直积态的一种简便判据,并利用此判据研究了一种简单的量子计算模型,推导出该模型下3-qubit量子相位门的纠缠能力.     

An entanglement criterion for states in infinite-dimensional multipartite quantum systems

In(Phys Lett A,2002,297:4-8) an entanglement criterion for finite-dimensional bipartite systems is proposed:If ρ AB is a separable state,then Tr(ρA2) Tr(ρ2) and Tr(ρB2) Tr(ρ2).In the present paper this criterion is extended to infinite-dimensional bipartite and multipartite systems.The reduction criterion presented in(Phys Rev A,1999,59:4206-4216) is also generalized to infinitedimensional case.Then it is shown that the former criterion is weaker than the later one.     

缺项无穷维Hamilton算子的纯虚谱补

在充分利用无穷维Hamilton算子结构特性的基础上,完全刻画了上三角型缺项无穷维Hamilton算子纯虚点谱的并集、纯虚剩余谱的并集和纯虚连续谱的并集,并将上述结论在一定条件下推广到了四块情形.     

量子系统中纯态和混合态量子芝诺效应研究

当不稳定量子系统被频繁地测量时,此系统的状态保持不变,量子芝诺效应就会发生.现实存在的量子系统由于与环境相耦合而不可避免地处于混合态.然而,人们对量子芝诺效应的研究基本上只针对纯态量子系统.故研究量子系统中混合态量子芝诺效应将更加具有实际意义.可以证明,量子系统中纯态和混合态均存在量子芝诺效应.     

基于线性矩阵不等式的纯时滞系统稳定性分析与控制器设计

纯时滞系统状态方程中缺乏无时滞项给其稳定性分析与控制器设计带来困难。为了实现纯时滞系统的稳定性分析与控制器设计,论文先采用系统变换将纯时滞系统描述成含分布时滞的形式,进而使得系统描述包含无时滞项。然后,基于线性矩阵不等式得到了其稳定性分析与控制器设计的充分条件。同时,将相关定理扩展至其参数不确定情形。最后,通过实例分析说明了相关定理的有效性。     

The generalized partial transposition criterion for infinite-dimensional quantum systems

The positive partial transposition(PPT)criterion and the realignment criterion constitute two of the most important criteria for detecting entanglement.The generalized partial transposition(GPT)criterion which contains the PPT criterion and the realignment criterion as special cases,provides a necessary condition for a multipartite state to be separable.Here we extend the GPT criterion to the infinitedimensional multipartite(bipartite)case and show that it includes multipartite(bipartite)PPT criterion and multipartite(bipartite)realignment criterion as special cases as well.     

序线性拓扑空间中的凸算子

本文以锥为工具,建立了序线性拓扑空间中的凸算子的若干性质与判定定理,并且给出了其在无限维空间中的优化问题及其在矩阵空间中的某些应用.     

Lurie型不确定控制系统的鲁棒稳定性

利用Razumikhin技术与向量不等式的方法 ,研究具有多个状态和控制的时变时滞的Lurie型不确定控制系统的鲁棒稳定性问题 ,给出了系统鲁棒绝对稳定的时滞相关及时滞无关判据 .并通过优化参数得到具有较低保守性的时滞相关准则 .还给出一个例子 .     

时滞切换正系统的切换齐次协正Lyapunov函数方法

正系统是一类特殊系统——如果初始状态非负, 则其状态始终位于正象限. 切换系统是混杂系统的主要分支之一. 作为两类系统的结合体, 切换正系统已经迅速获得控制界的大量关注. 主要研究时滞切换正系统的稳定性问题, 提出了切换齐次协正李亚普诺夫函数方法. 该方法能够有效地降切换系统稳定性判据的保守性. 许多现有结果都是本文主要结论的退化情形.     

关于Kitai标准的一个注记

利用紧算子的谱性质,证明了Banach空间中连续情形下Kitai标准的高阶形式.设α:R+n→B(X)是无限维Banach空间X上R+n的一个线性作用,如果对每个→p∈R+n\{→0},α(→p)是X上的一个紧算子,那么α作用不可能是超循环的.     

时滞切换正系统的切换齐次协正Lyapunov函数方法(英文)

正系统是一类特殊系统——如果初始状态非负,则其状态始终位于正象限.切换系统是混杂系统的主要分支之一.作为两类系统的结合体,切换正系统已经迅速获得控制界的大量关注.主要研究时滞切换正系统的稳定性问题,提出了切换齐次协正李亚普诺夫函数方法.该方法能够有效地降切换系统稳定性判据的保守性.许多现有结果都是本文主要结论的退化情形.     

无光滑性假设的Pritchard-Salamon系统的不变零点条件

研究了非光滑Pritchard-Salamon系统的不变零点条件，并在某些假设下给出了它的几个等价条件。这对建立非光滑Pritchard-Salamon系统的H∞－控制理论是非常重要的。     

非线性分布参数系统鲁棒故障检测观测器设计

针对一类由偏微分方程(PDE)描述的非线性分布参数系统的鲁棒故障检测观测器(FDO)设计问题进行了研究.采用模态分解法将PDE系统变换成一个等价的无穷维常微分方程(ODE)系统,并根据空间微分算子的特征谱,将无穷维ODE系统表达成有限维慢子系统与无穷维快子系统相耦合的形式.基于慢子系统模型设计有限维FDO,使得无故障残差系统在容许的未知非线性动态和快子系统动态影响下依然渐近稳定,并设计相应的检测门限,以实现故障检测.仿真结果验证了所提方法的有效性.     

Generation of Fock states in a superconducting quantum circuit

Spin systems and harmonic oscillators comprise two archetypes in quantum mechanics. The spin-1/2 system, with two quantum energy levels, is essentially the most nonlinear system found in nature, whereas the harmonic oscillator represents the most linear, with an infinite number of evenly spaced quantum levels. A significant difference between these systems is that a two-level spin can be prepared in an arbitrary quantum state using classical excitations, whereas classical excitations applied to an oscillator generate a coherent state, nearly indistinguishable from a classical state. Quantum behaviour in an oscillator is most obvious in Fock states, which are states with specific numbers of energy quanta, but such states are hard to create. Here we demonstrate the controlled generation of multi-photon Fock states in a solid-state system. We use a superconducting phase qubit, which is a close approximation to a two-level spin system, coupled to a microwave resonator, which acts as a harmonic oscillator, to prepare and analyse pure Fock states with up to six photons. We contrast the Fock states with coherent states generated using classical pulses applied directly to the resonator.     

一类含部分非线性状态系统的稳定条件

研究了一类非线性系统的稳定性问题.利用一种正定连续可导的Lyapunov函数,证明了在系统平衡点附近全局渐近稳定的充分条件.又根据Lyapunov的二乘形式推证判别系统稳定的充要条件.     

无限维离散不可控系统二次判据问题讨论

通过构造一个范数，并利用动态规划原理对无限维离散不可控系统二次判据问题进行了讨论，得到了最优反馈控制的存在唯一性，以及自治情形下的Ｒｉｃｃａｔｉ方程。     

弹性地基上矩形薄板的辛本征函数展开定理

基于上三角Hamilton系统,研究了弹性地基上矩形薄板问题导出的Hamilton算子本征函数系的完备性,得到其本征展开的一种形式,并证明在另外一种形式下不完备.为此问题基于Hamilton系统的分离变量法提供了理论依据.     

无限维线性系统的有限维接触元

本文通过简洁而又直观的方法讨论了线性情形时的有限维接触无的渐近行为，特别地，给出了渐近解的表达式。     

基于模糊控制的直流斩波系统设计

针对微型燃气轮机电力变换系统中DC-DC变换环节,着重讨论了Buck型直流斩波系统的模糊控制原理和模糊算法.通过对相关物理量模糊状态的描述,设计出直流斩波系统的模糊控制规则;并由对各状态隶属函数的定义,进而推导出模糊关系矩阵;最后将模糊判决形成控制策略.通过实验室试验和工程样机综合试验,验证了所设计的基于模糊控制的直流斩波系统的有效性和可靠性.