A Criterion for Uniqueness of Lagrangian Trajectories for Weak Solutions of the 3D Navier-Stokes Equations

Foias, Guillopé, & Temam showed in 1985 that for a given weak solution of the three-dimensional Navier-Stokes equations on a domain Ω, one can define a ‘trajectory mapping’ that gives a consistent choice of trajectory through each initial condition , and that respects the volume-preserving property one would expect for smooth flows. The uniqueness of this mapping is guaranteed by the theory of renormalised solutions of non-smooth ODEs due to DiPerna & Lions. However, this is a distinct question from the uniqueness of individual particle trajectories. We show here that if one assumes a little more regularity for u than is known to be the case, namely that , then the particle trajectories are unique and C ¹ in time for almost every choice of initial condition in Ω. This degree of regularity is more than can currently be guaranteed for weak solutions () but significantly less than that known to ensure that u is regular ( . We rely heavily on partial regularity results due to Caffarelli, Kohn, & Nirenberg and Ladyzhenskaya & Seregin.     

A Strong Szegő Theorem for Jacobi Matrices

We use a classical result of Golinskii and Ibragimov to prove an analog of the strong Szegő theorem for Jacobi matrices on . In particular, we consider the class of Jacobi matrices with conditionally summable parameter sequences and find necessary and sufficient conditions on the spectral measure such that and lie in , the linearly-weighted l ² space. An erratum to this article can be found at     

Quantisation of Twistor Theory by Cocycle Twist

We present the main ingredients of twistor theory leading up to and including the Penrose-Ward transform in a coordinate algebra form which we can then ‘quantise’ by means of a functorial cocycle twist. The quantum algebras for the conformal group, twistor space , compactified Minkowski space and the twistor correspondence space are obtained along with their canonical quantum differential calculi, both in a local form and in a global *-algebra formulation which even in the classical commutative case provides a useful alternative to the formulation in terms of projective varieties. We outline how the Penrose-Ward transform then quantises. As an example, we show that the pull-back of the tautological bundle on pulls back to the basic instanton on and that this observation quantises to obtain the Connes-Landi instanton on θ-deformed S ⁴ as the pull-back of the tautological bundle on our θ-deformed . We likewise quantise the fibration and use it to construct the bundle on θ-deformed that maps over under the transform to the θ-deformed instanton. The work was mainly completed while S.M. was visiting July-December 2006 at the Isaac Newton Institute, Cambridge, which both authors thank for support.     

Local Resolvent Estimates for <Emphasis Type="Italic">N</Emphasis>-body Stark Hamiltonians

For an N-body Stark Hamiltonian , the resolvent estimate holds uniformly in with Re and Im , where , and is a compact interval. This estimate is well known as the limiting absorption principle. In this paper, we report that by introducing the localization in the configuration space, a refined resolvent estimate holds uniformly in with Re and Im . Dedicated to Professor Hideo Tamura on the occasion of his 60th birthday     

Measurements of charged kaon semileptonic decay branching fractions K±→π0μ±ν and K±→π0e±ν and their ratio

Measured ratios of decay rates for , and are presented. These measurements are based on K^± decays collected in a dedicated run in 2003 by the NA48/2 experiment at CERN. The results obtained are and . Using the PDG average for the K^±→π^±π⁰ normalisation mode, both values are found to be larger than the current values given by the particle data book and lead to a larger magnitude of the |V_us| CKM element than previously accepted. When combined with the latest particle data book value of |V_ud|, the result is in agreement with unitarity of the CKM matrix. In addition, a new measured value of is compared to the semi-empirical predictions based on the latest form factor measurements. An erratum to this article can be found at     

Zero Modes’ Fusion Ring and Braid Group Representations for the Extended Chiral <Emphasis Type="Italic">su</Emphasis>(2) WZNW Model

A zero modes’ Fock space is constructed for the extended chiral WZNW model. It gives room to a realization of the fusion ring of representations of the restricted quantum universal enveloping algebra at an even root of unity, and of its infinite dimensional extension by the Lusztig operators We provide a streamlined derivation of the characteristic equation for the Casimir invariant from the defining relations of A central result is the characterization of the Grothendieck ring of both and in Theorem 3.1. The properties of the fusion ring in are related to the braiding properties of correlation functions of primary fields of the conformal current algebra model.      

The Phase Transitions from Chiral Nematic Toward Smectic Liquid Crystals

A Chen-Lubensky energy is used to investigate phase transitions from chiral nematic to smectic C* and smectic A* liquid crystal phases. We consider a liquid crystalline material Ω confined between two parallel plates, where the dimensions of Ω are assumed to be large relative both to the width of a smectic layer and the material’s chiral pitch. We take boundary conditions so that the smectic phase melts at the plates’ surfaces and prove the existence of energy minimizers in an admissible set consisting of order parameters and molecular directors . Then under the physically observed assumption that the Frank elasticity constants become large near a phase transition, we establish estimates for the transition region separating phases. In particular we derive analytic estimates proving that chirality lowers the transition temperature regime above which minimizers are nematic and below which minimizers are in a smectic phase.Research supported by NSF grants DMS-0306516 and DMS-0456286.     

The Green-Kubo Formula for the Spin-Fermion System

The spin-fermion model describes a two level quantum system (spin 1/2) coupled to finitely many free Fermi gas reservoirs which are in thermal equilibrium at inverse temperatures β _j . We consider non-equilibrium initial conditions where not all β _j are the same. It is known that, at small coupling, the combined system has a unique non-equilibrium steady state (NESS) characterized by strictly sitive entropy production. In this paper we study linear response in this NESS and prove the Green-Kubo formula and the Onsager reciprocity relations for heat fluxes generated by temperature differentials. Dedicated to Jean Michel Combes on the occasion of his sixtyfifth birthday     

(Co)cyclic (Co)homology of Bialgebroids: An Approach via (Co)monads

For a (co)monad T _l on a category , an object X in , and a functor , there is a (co)simplex in . The aim of this paper is to find criteria for para-(co)cyclicity of Z ^*. Our construction is built on a distributive law of T _l with a second (co)monad T _r on , a natural transformation , and a morphism in . The (symmetrical) relations i and w need to satisfy are categorical versions of Kaygun’s axioms of a transposition map. Motivation comes from the observation that a (co)ring T over an algebra R determines a distributive law of two (co)monads and on the category of R-bimodules. The functor Π can be chosen such that is the cyclic R-module tensor product. A natural transformation is given by the flip map and a morphism is constructed whenever T is a (co)module algebra or coring of an R-bialgebroid. The notion of a stable anti-Yetter-Drinfel’d module over certain bialgebroids, the so-called  ×  _R -Hopf algebras, is introduced. In the particular example when T is a module coring of a  ×  _R -Hopf algebra and X is a stable anti-Yetter-Drinfel’d -module, the para-cyclic object Z _* is shown to project to a cyclic structure on . For a -Galois extension , a stable anti-Yetter-Drinfel’d -module T _S is constructed, such that the cyclic objects and are isomorphic. This extends a theorem by Jara and Ştefan for Hopf Galois extensions. As an application, we compute Hochschild and cyclic homologies of a groupoid with coefficients in a stable anti-Yetter-Drinfel’d module, by tracing it back to the group case. In particular, we obtain explicit expressions for (coinciding relative and ordinary) Hochschild and cyclic homologies of a groupoid. The latter extends results of Burghelea on cyclic homology of groups.     

Elliptic Equation with Singular Terms on Riemannian Manifold

In this paper we deal with the following equation: on a three-dimensional Riemannian manifold . We assume that the volume of Σ, the norm , and are small enough. Using a rather simple argument we show the existence of solution to the problem. Dedicated to Gosia and Basia.     

Chemical stability of hydroxysulphate green rust synthetised in the presence of foreign anions: carbonate, phosphate and silicate

Hydroxysulphate green rust species were precipitated in the presence of various anions. is stable at ∼pH 7 and is transformed into a mixture of magnetite and ferrous hydroxide when the pH raised at ∼12. In the presence of carbonate species, is partially transformed into a mixture of magnetite and siderite at ∼pH 8.5. This transformation is stopped when silicate anions are present in the solution. As already observed for phosphate anions, the adsorption of silicate anions on the lateral faces of the crystals may explain this stabilization effect. Sulphate anions are easily exchanged by carbonate species at ∼pH 10.5. In contrast, anionic exchange between sulphate and phosphate anions was not observed.     

Simple Systems with Anomalous Dissipation and Energy Cascade

We analyze a class of dynamical systems of the type where f _n (t) is a forcing term with only for and the coupling coefficients c _n satisfy a condition ensuring the formal conservation of energy . Despite being formally conservative, we show that these dynamical systems support dissipative solutions (suitably defined) and, as a result, may admit unique (statistical) steady states when the forcing term f _n (t) is nonzero. This claim is demonstrated via the complete characterization of the solutions of the system above for specific choices of the coupling coefficients c _n . The mechanism of anomalous dissipations is shown to arise via a cascade of the energy towards the modes with higher n; this is responsible for solutions with interesting energy spectra, namely scales as as n→∞. Here the exponents α depend on the coupling coefficients c _n and denotes expectation with respect to the equilibrium measure. This is reminiscent of the conjectured properties of the solutions of the Navier-Stokes equations in the inviscid limit and their accepted relationship with fully developed turbulence. Hence, these simple models illustrate some of the heuristic ideas that have been advanced to characterize turbulence, similar in that respect to the random passive scalar or random Burgers equation, but even simpler and fully solvable.     

Spectrum of Time Operators

Let H be a self-adjoint operator on a complex Hilbert space . A symmetric operator T on is called a time operator of H if, for all , (D(T) denotes the domain of T) and . In this paper, spectral properties of T are investigated. The following results are obtained: (i) If H is bounded below, then σ(T), the spectrum of T, is either (the set of complex numbers) or . (ii) If H is bounded above, then is either or . (iii) If H is bounded, then . The spectrum of time operators of free Hamiltonians for both nonrelativistic and relativistic particles is exactly identified. Moreover spectral analysis is made on a generalized time operator. This work is supported by the Grant-in-Aid No.17340032 for Scientific Research from the JSPS.     

Quantum Conjugacy Classes of Simple Matrix Groups

Let G be a simple complex classical group and its Lie algebra. Let be the Drinfeld-Jimbo quantization of the universal enveloping algebra . We construct an explicit -equivariant quantization of conjugacy classes of G with Levi subgroups as the stabilizers. Dedicated to the memory of Joseph Donin This research is partially supported by the Emmy Noether Research Institute for Mathematics, the Minerva Foundation of Germany, the Excellency Center “Group Theoretic Methods in the study of Algebraic Varieties” of the Israel Science foundation, by the EPSRC grant C511166, and by the RFBR grant no. 06-01-00451.     

Weakly Non-Ergodic Statistical Physics

For weakly non ergodic systems, the probability density function of a time average observable is where is the value of the observable when the system is in state j=1,…L. p _j ^eq is the probability that a member of an ensemble of systems occupies state j in equilibrium. For a particle undergoing a fractional diffusion process in a binding force field, with thermal detailed balance conditions, p _j ^eq is Boltzmann’s canonical probability. Within the unbiased sub-diffusive continuous time random walk model, the exponent 0<α<1 is the anomalous diffusion exponent 〈x ²〉∼t ^α found for free boundary conditions. When α→1 ergodic statistical mechanics is recovered . We briefly discuss possible physical applications in single particle experiments.     

Non-relativistic Limit of a Dirac Polaron in Relativistic Quantum Electrodynamics

A quantum system of a Dirac particle interacting with the quantum radiation field is considered in the case where no external potentials exist. Then the total momentum of the system is conserved and the total Hamiltonian is unitarily equivalent to the direct integral of a family of self-adjoint operators acting in the Hilbert space , where is the Hilbert space of the quantum radiation field. The fiber operator is called the Hamiltonian of the Dirac polaron with total momentum . The main result of this paper is concerned with the non-relativistic (scaling) limit of . It is proven that the non-relativistic limit of yields a self-adjoint extension of a Hamiltonian of a polaron with spin 1/2 in non-relativistic quantum electrodynamics.     

Search for stop production in R-parity-violating supersymmetry at HERA

A search for stop production in R-parity-violating supersymmetry has been performed in e⁺p interactions with the ZEUS detector at HERA, using an integrated luminosity of 65 pb^-1. At HERA, the R-parity-violating coupling λ’ allows resonant squark production, . Since the lowest-mass squark state in most supersymmetry models is the light stop, , this search concentrated on production of , followed either by a direct R-parity-violating decay, or by the gauge decay to . No evidence for stop production was found and limits were set on λ’₁₃₁ as a function of the stop mass in the framework of the minimal supersymmetric standard model. The results have also been interpreted in terms of constraints on the parameters of the minimal supergravity model.     

Trajectory attractors for dissipative 2D Euler and Navier-Stokes equations

A trajectory attractor is constructed for the 2D Euler system containing an additional dissipation term −ru, r > 0, with periodic boundary conditions. The corresponding dissipative 2D Navier-Stokes system with the same term −ru and with viscosity v > 0 also has a trajectory attractor, . Such systems model large-scale geophysical processes in atmosphere and ocean (see [1]). We prove that → as v → 0+ in the corresponding metric space. Moreover, we establish the existence of the minimal limit of the trajectory attractors as v → 0+. We prove that is a connected invariant subset of . The connectedness problem for the trajectory attractor by itself remains open. Dedicated to the memory of Leonid Volevich Partially supported by the Russian Foundation for Basic Research (projects no 08-01-00784 and 07-01-00500). The first author has been partially supported by a research grant from the Caprio Foundation, Landau Network-Cento Volta.     

Integrable Discrete Nets in Grassmannians

We consider discrete nets in Grassmannians , which generalize Q-nets (maps with planar elementary quadrilaterals) and Darboux nets (-valued maps defined on the edges of such that quadruples of points corresponding to elementary squares are all collinear). We give a geometric proof of integrability (multidimensional consistency) of these novel nets, and show that they are analytically described by the noncommutative discrete Darboux system.