Optimal Synthesis of the Joint Unitary Evolutions

Joint unitary operations play a central role in quantum communication and computation. We give a quantum circuit for implementing a type of unconstructed useful joint unitary evolutions in terms of controlled-NOT (CNOT) gates and single-qubit rotations. Our synthesis is optimal and possible in experiment. Two CNOT gates and seven R _x , R _y or R _z rotations are required for our synthesis, and the arbitrary parameter contained in the evolutions can be controlled by local Hamiltonian or external fields.     

Transition for Optimal Paths in Bimodal Directed Polymers

The problem for optimal paths in bimodal directed polymers is studied. It is shown that the distribution of the thermal average position of the endpoints of the optimal paths is discontinuous below the threshold p〈pc. The origin is that there is a finite possibility that only one endpoint takes the global minimum energy for p 〈 pc. Our results suggest that the percolation threshold for directed percolation is also the critical point of the transition for the possibility that the optimal paths converge to one endpoint.     

Localization of Unitary Braid Group Representations

Governed by locality, we explore a connection between unitary braid group representations associated to a unitary R-matrix and to a simple object in a unitary braided fusion category. Unitary R-matrices, namely unitary solutions to the Yang-Baxter equation, afford explicitly local unitary representations of braid groups. Inspired by topological quantum computation, we study whether or not it is possible to reassemble the irreducible summands appearing in the unitary braid group representations from a unitary braided fusion category with possibly different positive multiplicities to get representations that are uniformly equivalent to the ones from a unitary R-matrix. Such an equivalence will be called a localization of the unitary braid group representations. We show that the q = e ^πi/6 specialization of the unitary Jones representation of the braid groups can be localized by a unitary 9 × 9 R-matrix. Actually this Jones representation is the first one in a family of theories (SO(N), 2) for an odd prime N > 1, which are conjectured to be localizable. We formulate several general conjectures and discuss possible connections to physics and computer science.     

Regularisable and Minimal Orbits for Group Actions in Infinite Dimensions

We introduce a class of regularisable infinite dimensional principal fibre bundles which includes fibre bundles arising in gauge field theories like Yang-Mills and string theory and which generalise finite dimensional Riemannian principal fibre bundles induced by an isometric action. We show that the orbits of regularisable bundles have well defined, both heat-kernel and zeta function regularised volumes. We introduce a notion of μ-minimality ( ) for these orbits which extend the finite dimensional one. Our approach uses heat-kernel methods and yields both “heat-kernel” (obtained via heat-kernel regularisation) and “zeta function” (obtained via zeta function regularisation) minimality for specific values of the parameter μ. For each of these notions, we give an infinite dimensional version of Hsiang's theorem which extends the finite dimensional case, interpreting μ-minimal orbits as orbits with extremal (μ-regularised) volume. Received: 27 November 1995 / Accepted: 30 May 1997     

Optimal Symmetric Ternary Quantum Encryption Schemes

In this paper, we present two definitions of the orthogonality and orthogonal rate of an encryption operator, and we provide a verification process for the former. Then, four improved ternary quantum encryption schemes are constructed. Compared with Scheme 1 (see Section 2.3), these four schemes demonstrate significant improvements in term of calculation and execution efficiency. Especially, under the premise of the orthogonal rate ε as secure parameter, Scheme 3 (see Section 4.1) shows the highest level of security among them. Through custom interpolation functions, the ternary secret key source, which is composed of the digits 0, 1 and 2, is constructed. Finally, we discuss the security of both the ternary encryption operator and the secret key source, and both of them show a high level of security and high performance in execution efficiency.     

Massless Fields as Unitary Representations of the Poincaré Group

Relativistic zero-mass fields are described as manifestly covariant unitary irreducible representations of the Poincaré group. The wave-equations, which are a necessary condition for unitarity, are constructed for spinor fields of arbitrary spin and for tensor fields of integer spin. Poincaré covariance together with causality and positive energy are used to determine the commutators of quantized fields up to a positive multiple and to prove the spin-statistics theorem. The use of potentials for boson fields is discussed and it is shown that, at the expense of manifest covariance, potentials may be introduced as zero-mass limits of the massive Wigner representations.     

A Method for Calculating the Ray Paths in Optical Systems Composed of Axially Symmetric Reflecting and Refracting Surfaces

A method for calculating the ray paths in optical systems composed of axially symmetric reflecting and refracting surfaces is outlined. It is assumed that there is no common symmetry axis in the system, so that the ray paths are substantially three-dimensional. For the sake of generality, both the simplest cases admitting of an analytic solution and the more intricate cases when iterative procedure has to be used are considered. Particular attention is given to the computation features which make the algorithm both universal and robust. The method proposed allows for the use of a wide range (five types of the surfaces specified) of optical elements. Furthermore, the approach suggested is universal and, as such, makes it possible also to pass on with relative ease to other cases of specifying the surfaces.     

Enhanced Gauge Symmetry and Braid Group Actions

 Enhanced gauge symmetry appears in Type II string theory (as well as F- and M-theory) compactified on Calabi–Yau manifolds containing exceptional divisors meeting in Dynkin configurations. It is shown that in many such cases, at enhanced symmetry points in moduli a braid group acts on the derived category of sheaves of the variety. This braid group covers the Weyl group of the enhanced symmetry algebra, which itself acts on the deformation space of the variety in a compatible way. Extensions of this result are given for nontrivial B-fields on K3 surfaces, explaining physical restrictions on the B-field, as well as for elliptic fibrations. The present point of view also gives new evidence for the enhanced gauge symmetry content in the case of a local A _2n -configuration in a threefold having global ℤ/2 monodromy. Received: 28 October 2002 / Accepted: 9 December 2002 Published online: 28 May 2003 Communicated by R.H. Dijkgraaf     

Group Actions on DG-Manifolds and Exact Courant Algebroids

Let G be a Lie group acting by diffeomorphisms on a manifold M and consider the image of T[1]G and T[1]M, of G and M respectively, in the category of differential graded manifolds. We show that the obstruction to lift the action of T[1]G on T[1]M to an action on a ${\mathbb{R}[n]}$ -bundle over T[1]M is measured by the G equivariant cohomology of M. We explicitly calculate the differential graded Lie algebra of the symmetries of the ${\mathbb{R}[n]}$ -bundle over T[1]M and we use this differential graded Lie algebra to understand which actions are hamiltonian. We show how split Exact Courant algebroids could be obtained as the derived Leibniz algebra of the symmetries of ${\mathbb{R}[2]}$ -bundles over T[1]M, and we use this construction to propose that the infinitesimal symmetries of a split Exact Courant algebroid should be encoded in the differential graded Lie algebra of symmetries of a ${\mathbb{R}[2]}$ -bundle over T[1]M. With this setup at hand, we propose a definition for an action of a Lie group on an Exact Courant algebroid and we propose conditions for the action to be hamiltonian.     

Finite Group Discretization of Yang-Mills and Einstein Actions

Discrete versions of the Yang-Mills and Einstein actions are proposed for any finite group. These actions are invariant respectively under local gauge transformations and under the analogues of Lorentz and general coordinate transformations. The case Z_n×Z_n×···×Z_n is treated in some detail, recovering the Wilson action for Yang-Mills theories and a new discretized action for gravity.     

Integration with Respect to the Haar Measure on Unitary, Orthogonal and Symplectic Group

We revisit the work of the first named author and using simpler algebraic arguments we calculate integrals of polynomial functions with respect to the Haar measure on the unitary group U(d). The previous result provided exact formulas only for 2d bigger than the degree of the integrated polynomial and we show that these formulas remain valid for all values of d. Also, we consider the integrals of polynomial functions on the orthogonal group O(d) and the symplectic group Sp(d). We obtain an exact character expansion and the asymptotic behavior for large d. Thus we can show the asymptotic freeness of Haar-distributed orthogonal and symplectic random matrices, as well as the convergence of integrals of the Itzykson–Zuber type. B.C. is supported by a JSPS postdoctoral fellowship. P.Ś. was supported by State Committee for Scientific Research (KBN) grant 2 P03A 007 23.     

The Fixed Point of a Generalization of the Renormalization Group Maps for Self-Avoiding Paths on Gaskets

Let W(x,y) = ax ³+ bx ⁴+ f ₅ x ⁵+ f ₆ x ⁶+ (3 ax ²)² y+ g ₅ x ⁵ y + h ₃ x ³ y ² + h ₄ x ⁴ y ² + n ₃ x ³ y ³+a ₂₄ x ² y ⁴+a ₀₅ y ⁵+a ₁₅ xy ⁵+a ₀₆ y ⁶, and X = , , where the coefficients are non-negative constants, with a > 0, such that X ²(x,x ²)−Y(x,x ²) is a polynomial of x with non-negative coefficients. Examples of the 2 dimensional map Φ: (x,y)↦ (X(x,y),Y(x,y)) satisfying the conditions are the renormalization group (RG) maps (modulo change of variables) for the restricted self-avoiding paths on the 3 and 4 dimensional pre-gaskets. We prove that there exists a unique fixed point (x _f ,y _f ) of Φ in the invariant set . 2000 Mathematics Subject Classification Numbers: 82B28; 60G99; 81T17; 82C41.     

Functors of White Noise Associated to Characters of the Infinite Symmetric Group

 The characters of the infinite symmetric group are extended to multiplicative positive definite functions on pair partitions by using an explicit representation due to Veršik and Kerov. The von Neumann algebra generated by the fields with f in an infinite dimensional real Hilbert space is infinite and the vacuum vector is not separating. For a family depending on an integer N< - 1 an ``exclusion principle' is found allowing at most ``identical particles' on the same state:

The Spectra of Quantum States and the Kronecker Coefficients of the Symmetric Group

Determining the relationship between composite systems and their subsystems is a fundamental problem in quantum physics. In this paper we consider the spectra of a bipartite quantum state and its two marginal states. To each spectrum we can associate a representation of the symmetric group defined by a Young diagram whose normalised row lengths approximate the spectrum. We show that, for allowed spectra, the representation of the composite system is contained in the tensor product of the representations of the two subsystems. This gives a new physical meaning to representations of the symmetric group. It also introduces a new way of using the machinery of group theory in quantum informational problems, which we illustrate by two simple examples.