Local states of free bose fields

These notes contain an extended version of lectures given at the ``Summer School on Large Coulomb Systems'' in Nordfjordeid, Norway, in august 2003. They furnish a short introduction to the theory of quantum harmonic systems, or free bose fields. The main issue addressed is the one of local states. I will adopt the definition of Knight of ``strictly local excitation of the vacuum'' and will then state and prove a generalization of Knight's Theorem which asserts that finite particle states cannot be perfectly localized. It will furthermore be explained how Knight's a priori counterintuitive result can be readily understood if one remembers the analogy between finite and infinite dimensional harmonic systems alluded to above. I will also discuss the link between the above result and the so-called Newton-Wigner position operator thereby illuminating, I believe, the difficulties associated with the latter. I will in particular argue that those difficulties do not find their origin in special relativity or in any form of causality violation, as is usually claimed

The Physical Principles of Quantum Mechanics. A critical review

The standard presentation of the principles of quantum mechanics is critically reviewed both from the experimental/operational point and with respect to the request of mathematical consistency and logical economy. A simpler and more physically motivated formulation is discussed. The existence of non commuting observables, which characterizes quantum mechanics with respect to classical mechanics, is related to operationally testable complementarity relations, rather than to uncertainty relations. The drawbacks of Dirac argument for canonical quantization are avoided by a more geometrical approach.Comment: Bibliography and section 2.1 slightly improve

Multiplicativity of completely bounded p-norms implies a new additivity result

We prove additivity of the minimal conditional entropy associated with a quantum channel Phi, represented by a completely positive (CP), trace-preserving map, when the infimum of S(gamma_{12}) - S(gamma_1) is restricted to states of the form gamma_{12} = (I \ot Phi)(| psi >< psi |). We show that this follows from multiplicativity of the completely bounded norm of Phi considered as a map from L_1 -> L_p for L_p spaces defined by the Schatten p-norm on matrices; we also give an independent proof based on entropy inequalities. Several related multiplicativity results are discussed and proved. In particular, we show that both the usual L_1 -> L_p norm of a CP map and the corresponding completely bounded norm are achieved for positive semi-definite matrices. Physical interpretations are considered, and a new proof of strong subadditivity is presented.Comment: Final version for Commun. Math. Physics. Section 5.2 of previous version deleted in view of the results in quant-ph/0601071 Other changes mino

A Matrix Integral Solution to [P,Q]=P and Matrix Laplace Transforms

In this paper we solve the following problems: (i) find two differential operators P and Q satisfying [P,Q]=P, where P flows according to the KP hierarchy \partial P/\partial t_n = [(P^{n/p})_+,P], with p := \ord P\ge 2; (ii) find a matrix integral representation for the associated \t au-function. First we construct an infinite dimensional space {\cal W}=\Span_\BC \{\psi_0(z),\psi_1(z),... \} of functions of z\in\BC invariant under the action of two operators, multiplication by z^p and A_c:= z \partial/\partial z - z + c. This requirement is satisfied, for arbitrary p, if \psi_0 is a certain function generalizing the classical H\"ankel function (for p=2); our representation of the generalized H\"ankel function as a double Laplace transform of a simple function, which was unknown even for the p=2 case, enables us to represent the \tau-function associated with the KP time evolution of the space \cal W as a ``double matrix Laplace transform'' in two different ways. One representation involves an integration over the space of matrices whose spectrum belongs to a wedge-shaped contour \gamma := \gamma^+ + \gamma^- \subset\BC defined by \gamma^\pm=\BR_+\E^{\pm\pi\I/p}. The new integrals above relate to the matrix Laplace transforms, in contrast with the matrix Fourier transforms, which generalize the Kontsevich integrals and solve the operator equation [P,Q]=1.Comment: 27 pages, LaTeX, 1 figure in PostScrip

Askey-Wilson Type Functions, With Bound States

The two linearly independent solutions of the three-term recurrence relation of the associated Askey-Wilson polynomials, found by Ismail and Rahman in [22], are slightly modified so as to make it transparent that these functions satisfy a beautiful symmetry property. It essentially means that the geometric and the spectral parameters are interchangeable in these functions. We call the resulting functions the Askey-Wilson functions. Then, we show that by adding bound states (with arbitrary weights) at specific points outside of the continuous spectrum of some instances of the Askey-Wilson difference operator, we can generate functions that satisfy a doubly infinite three-term recursion relation and are also eigenfunctions of $q$-difference operators of arbitrary orders. Our result provides a discrete analogue of the solutions of the purely differential version of the bispectral problem that were discovered in the pioneering work [8] of Duistermaat and Gr\"unbaum.Comment: 42 pages, Section 3 moved to the end, minor correction

Poisson-Lie group of pseudodifferential symbols

We introduce a Lie bialgebra structure on the central extension of the Lie algebra of differential operators on the line and the circle (with scalar or matrix coefficients). This defines a Poisson--Lie structure on the dual group of pseudodifferential symbols of an arbitrary real (or complex) order. We show that the usual (second) Benney, KdV (or GL_n--Adler--Gelfand--Dickey) and KP Poisson structures are naturally realized as restrictions of this Poisson structure to submanifolds of this ``universal'' Poisson--Lie group. Moreover, the reduced (=SL_n) versions of these manifolds (W_n-algebras in physical terminology) can be viewed as subspaces of the quotient (or Poisson reduction) of this Poisson--Lie group by the dressing action of the group of functions. Finally, we define an infinite set of functions in involution on the Poisson--Lie group that give the standard families of Hamiltonians when restricted to the submanifolds mentioned above. The Poisson structure and Hamiltonians on the whole group interpolate between the Poisson structures and Hamiltonians of Benney, KP and KdV flows. We also discuss the geometrical meaning of W_\infty as a limit of Poisson algebras W_\epsilon as \epsilon goes to 0.Comment: 64 pages, no figure

Physics, Topology, Logic and Computation: A Rosetta Stone

In physics, Feynman diagrams are used to reason about quantum processes. In the 1980s, it became clear that underlying these diagrams is a powerful analogy between quantum physics and topology: namely, a linear operator behaves very much like a "cobordism". Similar diagrams can be used to reason about logic, where they represent proofs, and computation, where they represent programs. With the rise of interest in quantum cryptography and quantum computation, it became clear that there is extensive network of analogies between physics, topology, logic and computation. In this expository paper, we make some of these analogies precise using the concept of "closed symmetric monoidal category". We assume no prior knowledge of category theory, proof theory or computer science.Comment: 73 pages, 8 encapsulated postscript figure

Nucleosomes in gene regulation: theoretical approaches

This work reviews current theoretical approaches of biophysics and bioinformatics for the description of nucleosome arrangements in chromatin and transcription factor binding to nucleosomal organized DNA. The role of nucleosomes in gene regulation is discussed from molecular-mechanistic and biological point of view. In addition to classical problems of this field, actual questions of epigenetic regulation are discussed. The authors selected for discussion what seem to be the most interesting concepts and hypotheses. Mathematical approaches are described in a simplified language to attract attention to the most important directions of this field