清华物理系量子信息研究的新进展

在清华大学物理系成立60周年之际,我们对近年来清华大学物理系量子信息研究的主要进展情况作一介绍,包括量子搜索算法研究,核磁共振量子计算的实验研究,量子通讯的理论与实验研究.在量子搜索算法研究方面,我们提出了量子搜索算法的相位匹配,纠正了当时的一种错误观点,并且提出了一种成功率为100%的量子搜索算法,改进了Grover算法;在核磁共振量子计算实验方面,我们实现了2到7个量子比特的多种量子算法的实验演示;在量子通讯方面,我们提出了分布式传输的量子通讯的思想,应用于量子密钥分配、量子秘密共享、量子直接安全通讯等方面,构造了多个量子通讯的理论方案.在实验室,我们实现了2米距离的空间量子密码通讯的演示实验.     

Enumeration of perfect matchings of a type of Cartesian products of graphs

Let G be a graph and let Pm(G) denote the number of perfect matchings of G.We denote the path with m vertices by P_m and the Cartesian product of graphs G and H by G×H. In this paper, as the continuance of our paper [W. Yan, F. Zhang, Enumeration of perfect matchings of graphs with reflective symmetry by Pfaffians, Adv. Appl. Math. 32 (2004) 175-188], we enumerate perfect matchings in a type of Cartesian products of graphs by the Pfaffian method, which was discovered by Kasteleyn. Here are some of our results:1. Let T be a tree and let C_n denote the cycle with n vertices. Then Pm(C₄×T)=∏(2+α²), where the product ranges over all eigenvalues α of T. Moreover, we prove that Pm(C₄×T) is always a square or double a square.2. Let T be a tree. Then Pm(P₄×T)=∏(1+3α²+α⁴), where the product ranges over all non-negative eigenvalues α of T.3. Let T be a tree with a perfect matching. Then Pm(P₃×T)=∏(2+α²), where the product ranges over all positive eigenvalues α of T. Moreover, we prove that Pm(C₄×T)=[Pm(P₃×T)]².     

Randomization helps to perform independent tasks reliably

This paper is about algorithms that schedule tasks to be performed in a distributed failure‐prone environment, when processors communicate by message‐passing, and when tasks are independent and of unit length. The processors work under synchrony and may fail by crashing. Failure patterns are imposed by adversaries. Linearly‐bounded adversaries may fail up to a constant fraction of the processors. Weakly‐adaptive adversaries have to select, prior to the start of an execution, a subset of processors to be failure‐prone, and then may fail only the selected processors, at arbitrary steps, in the course of the execution. Strongly adaptive adversaries have a total number of failures as the only restriction on failure patterns. The measures of complexity are work, measured as the available processor steps, and communication, measured as the number of point‐to‐point messages. A randomized algorithm is developed, that attains both ??(n log*n) expected work and ??(n log*n) expected communication, against weakly‐adaptive linearly‐bounded adversaries, in the case when the numbers of tasks and processors are both equal to n. This is in contrast with performance of algorithms against strongly‐adaptive linearly‐bounded adversaries, which has to be Ω(n log n/log log n) in terms of work. © 2003 Wiley Periodicals, Inc. Random Struct. Alg., 2004     

纵横扩张的优化

得到了最小折数纵横扩张的判别准则．针对4-正则图的平面嵌入的纵横扩张的特殊性，给出了它的最小折数纵横扩张判别准则．     

最大2-正则诱导子图的长度

设G是2-连通图，c(G)是图G的最长诱导圈的长度，c′(G)是图G的最长诱导2-正则子图的长度。本文我们用图的特征值给出了c(G)和c′(G)的几个上界。     

酵母蛋白质网络的动力学性质

蛋白质-蛋白质、蛋白质-DNA相互作用网络决定了细胞中各种关键功能的执行．基于芽殖酵母(budding yeast saccharomyces cerevisiae)的蛋白质-蛋白质相互作用网络数据和相关的实验文献，我们建立了调控细胞周期和生命周期(cell cycle and life cycle)的蛋白质网络，并利用离散模型研究了该网络的动力学性质，研究表明：细胞周期网络的动力学性质具有很强的稳定性，约94％的蛋白质初态将演化到对应于生物学G1基态的稳定态，使其成为惟一的全局吸引点；同时，绝大多数的初态的演化路径都通过由G1激发态到G1基态的细胞周期演化路径，使细胞周期路径成为全局性的“吸引”路径。     

微型燃气轮机回热器换热表面的对比研究

采用高效紧凑式换热器是近年来微型燃气轮机发展取得成功的关键技术之一。本文在燃机参数给定情况下,通 过对三种换热表面进行热力计算和分析,结果表明,CC原表面在紧凑式换热器中具有较强的应用潜力。此外,还就温差 对压损的影响及燃气旁通量对回热度的影响进行了研究。     

BIFURCATION DIAGRAMS OF SYSTEM =-y δx lx~2 ny~2,=x ax~2

Ｗｅｃｏｎｓｉｄｅｒｔｈｅｑｕａｄｒａｔｉｃｓｙｓｔｅｍｏｆｔｙｐｅ（Ｉ）ｍ＝０ａｃｏｒｄｉｎｇｔｏｔｈｅｃｌａｓｉｆｉｃａｔｉｏｎｏｆ［１］．Ｗｉｔｈｏｕｔｌｏｓｏｆｇｅｎｅｒａｌｉｔｙ，ｗｅｍａｙａｓｕｍｅｔｈａｔｔｈｅｓｙｓｔｅｍｉｓｔａｋｅｎ...     

4－连通无爪图中的Hamilton圈

Ｍａｔｔｈｅｗｓ等猜想：每一个４－连通无爪图是Ｈ－图．本文证实当Ｇ不含局部连通点及３团时该猜想成立．