A Variational Principle in the Dual Pair of Reproducing Kernel Hilbert Spaces and an Application

Given a positive definite, bounded linear operator A on the Hilbert space ₀≔l ²(E), we consider a reproducing kernel Hilbert space ₊ with a reproducing kernel A(x,y). Here E is any countable set and A(x,y), x,y∊ E, is the representation of A w.r.t. the usual basis of ₀. Imposing further conditions on the operator A, we also consider another reproducing kernel Hilbert space ₋ with a kernel function B(x,y), which is the representation of the inverse of A in a sense, so that ₋⊃ ₀⊃ ₊ becomes a rigged Hilbert space. We investigate the ratios of determinants of some partial matrices of A and B. We also get a variational principle on the limit ratios of these values. We apply this relation to show the Gibbsianness of the determinantal point process (or fermion point process) defined by the operator A(I+A)⁻¹ on the set E. 2000 Mathematics Subject Classification: Primary: 46E22 Secondary: 60K35     

A Second Eigenvalue Bound for the Dirichlet Schrödinger Operator

Let λ _i (Ω,V) be the i ^th eigenvalue of the Schrödinger operator with Dirichlet boundary conditions on a bounded domain $\Omega \subset \mathbb{R}^nLet λ _i (Ω,V) be the i ^th eigenvalue of the Schr?dinger operator with Dirichlet boundary conditions on a bounded domain and with the positive potential V. Following the spirit of the Payne-Pólya-Weinberger conjecture and under some convexity assumptions on the spherically rearranged potential V _*, we prove that λ₂(Ω,V) ≤ λ₂(S ₁,V _*). Here S ₁ denotes the ball, centered at the origin, that satisfies the condition λ₁(Ω,V)=λ₁(S ₁,V _*).Further we prove under the same convexity assumptions on a spherically symmetric potential V, that λ₂(B _R , V) / λ₁(B _R , V) decreases when the radius R of the ball B _R increases.We conclude with several results about the first two eigenvalues of the Laplace operator with respect to a measure of Gaussian or inverted Gaussian density.R.B. was supported by FONDECYT project # 102-0844.H.L. gratefully acknowledges financial support from DIPUC of the Pontifí cia Universidad Católica de Chile and from CONICYT.     

Extensions of Lieb’s Concavity Theorem

The operator function (A,B)→ Trf(A,B)(K ^*)K, defined in pairs of bounded self-adjoint operators in the domain of a function f of two real variables, is convex for every Hilbert Schmidt operator K, if and only if f is operator convex. We obtain, as a special case, a new proof of Lieb’s concavity theorem for the function (A,B)→ TrA ^p K ^* B ^q K, where p and q are non-negative numbers with sum p+q ≤ 1. In addition, we prove concavity of the operator function

Local exponential estimates for h-pseudodifferential operators and tunneling for Schrödinger, Dirac, and square root Klein-Gordon operators

We consider the class of matrix h-pseudodifferential operators Op _h (a) with symbols a = (a _ij ) _i,j=1 ^N , where the coefficients a _ij ∈ C ^∞(? _x ⁿ × ? _ξ ⁿ ? C(0, 1] satisfy the estimates |? _x ^β g6 _ξ ^α α _ij (x, ξ, h)| ? C _αβ 〈ξ〉 ^m and 〈ξ〉 = (1 + |ξ|²)^1/2 for every multi-indices α, β. We also assume that a _ij (x, ξ) is analytically continued with respect to ξ to a tube domain ? ⁿ + i $ \mathcal{B} We consider the class of matrix h-pseudodifferential operators Op _h (a) with symbols a = (a _ij ) _i,j=1^N, where the coefficients a _ij ∈ C ^∞(ℝ _x ⁿ × ℝ _ξ ⁿ ⊗ C(0, 1] satisfy the estimates |ϖ _x ^β g6 _ξ ^α α _ij (x, ξ, h)| ⩽ C _αβ 〈ξ〉 ^m and 〈ξ〉 = (1 + |ξ|²)^1/2 for every multi-indices α, β. We also assume that a _ij (x, ξ) is analytically continued with respect to ξ to a tube domain ℝ ⁿ + i , where is a bounded domain in ℝ ⁿ containing the origin. The main results of the paper are the local estimates for solutions of h-pseudodifferential equations. Let H _h ^s (ℝ ⁿ , ℂ ^N ) be the space of distributions with values in ℂ ^N which is equipped with the norm , let Ω ⊂ ℝ ⁿ be a bounded open set, let v ∈ C ^∞(ℝ ⁿ ), let ▿v(x) ∈ for any x ∈ Ω, and let . Let u _h (∈ H _h ^s (ℝ ⁿ ,‒ ^N )) be a solution of the equation Op _h (α)u = 0. In this case, for every ϕ ∈ C ₀^∞ (Ω) such that ϕ(x) = 1 on Supp v and for a sufficiently small h ₀ > 0, there exists a constant C > 0 such that the following estimate holds for every h ∈ (0, h ₀]:

((1))

We apply estimate (1) to local tunnel exponential estimates for the behavior as h → 0 of the eigenfunctions of matrix Schr?dinger, Dirac, and square-root Klein-Gordon operators. To the memory of Professor V. A. Borovikov     

Influence of the concentration of Ca impurity on the magnetic threshold of the magnetoplastic effect in NaCl crystals

It is found experimentally that the threshold magnetic field B _c for the magnetoplastic effect, i.e., the field at which the depinning of dislocations from paramagnetic impurities in an external magnetic field begins to be observed, increases with increasing concentration C of Ca impurity in NaCl crystals in the range C=(0.5–100) ppm. It is shown that the dependence B _c(C) exhibits a distinct tendency toward saturation. The physical interpretation of the observed dependence rests on the notion that as the impurity concentration C increases, the average size of the impurity complexes increases and, accordingly, the local atomic configuration around the impurity atoms changes according to a definite pattern. In particular, the average number of cation vacancies among the nearest neighbors increases from 1 to 6 as the number N of Ca atoms in the complex increases, and this trend, in turn, should cause the thermal vibration amplitude of the Ca atoms to increase. In other words, the phenomenon in question appears to be physically analogous in its microscopic mechanisms to the previously observed increase of B _c with increasing temperature. The proposed interpretation is further supported by good correlation of the experimental dependence B _c(C) with the calculated function . Fiz. Tverd. Tela (St. Petersburg) 40, 81–84 (January 1998)     

A Negative Mass Theorem for Surfaces of Positive Genus

Let M be a closed surface. For a metric g on M, denote the Laplace-Beltrami operator by Δ = Δ _g . We define trace , where dA is the area element for g and m(p) is the Robin constant at the point , that is the value of the Green function G(p, q) at q = p after the logarithmic singularity has been subtracted off. Since trace Δ⁻¹ can also be obtained by regularization of the spectral zeta function, it is a spectral invariant. Heuristically it represents the sum of squares of the wavelengths of the surface. We define the Δ-mass of (M, g) to equal , where is the Laplacian on the round sphere of area A. This is an analog for closed surfaces of the ADM mass from general relativity. We show that if M has positive genus, the minimum of the Δ-mass on each conformal class is negative and attained by a smooth metric. For this minimizing metric, there is a sharp logarithmic Hardy-Littlewood-Sobolev inequality and a Moser-Trudinger-Onofri type inequality. The author would like to acknowledge the support of the Institute for Advanced Study.     

Exact Results for Topological Strings on Resolved <Emphasis Type="Italic">Y</Emphasis><Superscript><Emphasis Type="Italic"> p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Superscript> Singularities

We obtain exact results in α′ for open and closed A-model topological string amplitudes on a large class of toric Calabi-Yau threefolds by using their correspondence with five dimensional gauge theories. The toric Calabi-Yaus that we analyze are obtained as minimal resolution of cones over Y ^p,q manifolds and give rise via M-theory compactification to SU(p) gauge theories on . As an application we present a detailed study of the local case and compute open and closed genus zero Gromov-Witten invariants of the orbifold. We also display the modular structure of the topological wave function and give predictions for higher genus amplitudes. The mirror curve in this case is the spectral curve of the relativistic A ₁ Toda chain. Our results also indicate the existence of a wider class of relativistic integrable systems associated to generic Y ^p,q geometries.     

Ortho- and Para-helium in Relativistic Schrödinger Theory

The characteristic features of ortho- and para-helium are investigated within the framework of Relativistic Schr?dinger Theory (RST). The emphasis lies on the conceptual level, where the geometric and physical properties of both RST field configurations are inspected in detail. From the geometric point of view, the striking feature consists in the splitting of the -valued bundle connection into an abelian electromagnetic part (organizing the electromagnetic interactions between the two electrons) and an exchange part, which is responsible for their exchange interactions. The electromagnetic interactions are mediated by the usual four-potentials A _μ and thus are essentially the same for both types of field configurations, where naturally the electrostatic forces (described by the time component A ₀ of A _μ) dominate their magnetostatic counterparts (described by the space part A of A _μ). Quite analogously to this, the exchange forces are as well described in terms of a certain vector potential (B _μ), again along the gauge principles of minimal coupling, so that also the exchange forces split up into an “electric” type ( ) and a “magnetic” type ( ). The physical difference of ortho- and para-helium is now that the first (ortho-) type is governed mainly by the “electric” kind of exchange forces and therefore is subject to a stronger influence of the exchange phenomenon; whereas the second (para-) type has vanishing “electric” exchange potential (B ₀ ≡ 0) and therefore realizes exclusively the “magnetic” kind of interactions ( ), which, however, in general are smaller than their “electric” counterparts. The corresponding ortho/para splitting of the helium energy levels is inspected merely in the lowest order of approximation, where it coincides with the Hartree–Fock (HF) approximation. Thus RST may be conceived as a relativistic generalization of the HF approach where the fluid-dynamic character of RST implies many similarities with the density functional theory.     

Holomorphic Factorization of Determinants of Laplacians using Quasi-Fuchsian Uniformization

For a quasi-Fuchsian group Γ with ordinary set Ω, and Δ _n the Laplacian on n-differentials on Γ\Ω, we define a notion of a Bers dual basis for ker Δ _n . We prove that det , is, up to an anomaly computed by Takhtajan and the second author in (Commun. Math Phys 239(1-2):183–240, 2003), the modulus squared of a holomorphic function F(n), where F(n) is a quasi-Fuchsian analogue of the Selberg zeta function Z(n). This generalizes the D’Hoker–Phong formula det , and is a quasi-Fuchsian counterpart of the result for Schottky groups proved by Takhtajan and the first author in Analysis 16, 1291–1323, 2006.      

Can One See the Fundamental Frequency of a Drum?

We establish two-sided estimates for the fundamental frequency (the lowest eigenvalue) of the Laplacian in an open set with the Dirichlet boundary condition. This is done in terms of the interior capacitary radius of Ω which is defined as the maximal possible radius of a ball B with a negligible intersection with the complement of Ω. Here negligibility of means that cap(F)≤ γ cap (B), where cap a means the Wiener (harmonic) capacity and is arbitrarily fixed with the sole restriction . We provide explicit values of constants in the two-sided estimates.     

Analyzing powers in the 12C( \vec d ,p)13C reaction at the energy T d = 270 MeV

The preliminary results on the tensor T₂₀ analyzing power for the ¹²C(,p)¹³C* reaction with the excitation of ¹³C levels and the d(,p)X reaction at the energies T _d = 140, 200 and 270 MeV at the emission angle Θ _cm = 0° are presented. The data on the tensor A _yy and vector A _y analyzing powers for the ¹²C(,p)¹³C* reaction at the energy T _d = 270 MeV in the angular range from 4° to 18° in the laboratory are also obtained.     

Calculation of the Kirchhoff coefficients for the Helmholtz resonator

A Helmholtz resonator is a shell Ω_shell separating a compact cavity Ω_int from a noncompact outer domain Ω_out. A small opening Ω ^δ in the shell connects the cavity with the outer domain, causing the transformation of real eigenfrequencies of the Neumann Laplacian in the cavity into the complex scattering frequencies of the full spectral problem for the Neumann Laplacian on Ω = ℝ³\Ω_shell. The Kirchhoff model of 1882, see [21], gives a convenient ansatz

Status of the investigation of the spin structure of d, 3H, and 3He at VBLHE using polarized and unpolarized deuteron beam

The investigation of the spin structure of d, ³H, and ³He has been performed at the RIKEN acceleration research facility and VBLHE. Vector A _y and tensor A _yy , A _xx , A _xz analyzing powers for d → ³Hen and d → ³Hp are presented at 270 MeV. Themirror channels (³Hen and ³Hp) are comparedto each other in order to find possible manifestation of charge-symmetry breaking. The preliminary results on the polarization observables for d → ³Hp at 200MeV are also presented. The obtained data are compared with one-nucleon-exchange calculations.As a byproduct, d → pX and ¹²C → pX breakup reactions are investigated at 140, 200, and 270MeV. The experimental data on p elastic scattering were obtained at 270, 880, and 2000 MeV at the Nuclotron. The polarization of the deuteron beam was measured at 270 MeV at the internal target station. The preliminary data on the vector A _y and tensor A _yy , A _xx analyzing powers for the p elastic scattering at 880 MeV are presented. The calculations on A _y , A _yy , and A _xx analyzing powers for the p elastic scattering at 880 MeV were performed in the framework of the multiple-scattering model. The text was submitted by the authors in English.     

Finite-Time Singularities of an Aggregation Equation in $${\mathbb {R}^n}$$ with Fractional Dissipation

We consider an aggregation equation in , n ≥ 2 with fractional dissipation, namely, , where 0 ≤ γ < 1 and K is a nonnegative decreasing radial kernel with a Lipschitz point at the origin, e.g. K(x) = e ^−|x|. We prove that for a class of smooth initial data, the solutions develop blow-up in finite time.     

No Phase Transition for Gaussian Fields with Bounded Spins

Let a<b, and H be the (formal) Hamiltonian defined on Ω by

Distribution of Particles Which Produces a “Smart” Material

If A _q(β, α, k) is the scattering amplitude, corresponding to a potential , where D⊂ℝ³ is a bounded domain, and is the incident plane wave, then we call the radiation pattern the function , where the unit vector α, the incident direction, is fixed, β is the unit vector in the direction of the scattered wave, and k>0, the wavenumber, is fixed. It is shown that any function , where S ² is the unit sphere in ℝ³, can be approximated with any desired accuracy by a radiation pattern: , where ∊ >0 is an arbitrary small fixed number. The potential q, corresponding to A(β), depends on f and ∊, and can be calculated analytically. There is a one-to-one correspondence between the above potential and the density of the number of small acoustically soft particles D _m⊂ D, 1≤ m≤ M, distributed in an a priori given bounded domain D⊂ℝ³. The geometrical shape of a small particle D _m is arbitrary, the boundary S _m of D _m is Lipschitz uniformly with respect to m. The wave number k and the direction α of the incident upon D plane wave are fixed. It is shown that a suitable distribution of the above particles in D can produce the scattering amplitude , at a fixed k>0, arbitrarily close in the norm of L ²(S ²× S ²) to an arbitrary given scattering amplitude f(α ', α), corresponding to a real-valued potential q∊ L ²(D), i.e., corresponding to an arbitrary refraction coefficient in D. MSC: 35J05, 35J10, 70F10, 74J25, 81U40, 81V05, 35R30. PACS: 03.04.Kf.     

Existence of many ergodic absolutely continuous invariant measures for piecewise-expandingC 2 chaotic transformations in ℝ2 on a fixed number of partitions

Let Ω be a region in ℝⁿ and letp = P_i ) _i ^1m , be a partition ofΩ into a finite number of closed subsets having piecewise C² boundaries of finite(n - 1 )dimensional measure. Let τ:Ω→Ω be piecewise C² onP where, τ_i = τ|p_i is aC ² diffeomorphism onto its image, and expanding in the sense that there exists α > 1 such that for anyi = 1, 2,...,m ‖Dτ_i ^-1 ‖ < α^-1, where Dτ_i ^-1 is the derivative matrixτ _i ^- 1 and |‖·‖ is the Euclidean matrix norm. By means of an example, we will show that the simple bound of one-dimensional dynamics cannot be generalized to higher dimensions. In fact, we will construct a piecewise expanding C² transformation on a fixed partition with a finite number of elements in ℝ², but which has an arbitrarily large number of ergodic, absolutely continuous invariant measures     

Gleason's Theorem for Rectangular JBW-Triples

A JBW^*-triple B is said to be rectangular if there exists a W^*-algebra A and a pair (p,q) of centrally equivalent elements of the complete orthomodular lattice P(A)\mathcal{P}(A) of projections in A such that B is isomorphic to the JBW^*-triple pAq. Any weak^*-closed injective operator space provides an example of a rectangular JBW^*-triple. The principal order ideal CP(A)_(p,q)\mathcal{C}\mathcal{P}(A)_{(p,q)} of the complete ^*-lattice CP(A)\mathcal{C}\mathcal{P}(A) of centrally equivalent pairs of projections in a W^*-algebra A, generated by (p,q), forms a complete lattice that is order isomorphic to the complete latticeI(B)\mathcal{I}(B) of weak^*-closed inner ideals in B and to the complete lattice S(B)\mathcal{S}(B) of structural projections on B. Although not itself, in general, orthomodular, CP(A)_(p,q)\mathcal{C}\mathcal{P}(A)_{(p,q)} possesses a complementation that allows for definitions of orthogonality, centre, and central orthogonality to be given. A less familiar notion in lattice theory, that is well-known in the theory of Jordan algebras and Jordan triple systems, is that of rigid collinearity of a pair (e₂,f²) and (e₂,f²) of elements of CP(A)_(p,q)\mathcal{C}\mathcal{P}(A)_{(p,q)}. This is defined and characterized in terms of properties of P(A)\mathcal{P}(A). A W^*-algebra A is sometimes thought of as providing a model for a statistical physical system. In this case B, or, equivalently, pAq, may be thought of as providing a model for a fixed sub-system of that represented by A. Therefore, CP(A)_(p,q)\mathcal{C}\mathcal{P}(A)_{(p,q)} may be considered to represent the set consisting of a particular kind of sub-system of that represented by pAq. Central orthogonality and rigid collinearity of pairs of elements of CP(A)_(p,q)\mathcal{C}\mathcal{P}(A)_{(p,q)} may be regarded as representing two different types of disjointness, the former, classical disjointness, and the latter, decoherence, of the two sub-systems. It is therefore natural to consider bounded measures m on CP(A)_(p,q)\mathcal{C}\mathcal{P}(A)_{(p,q)} that are additive on centrally orthogonal and rigidly collinear pairs of elements. Using results of J.D.M. Wright, it is shown that, provided that neither of the two hereditary sub-W^*-algebras pAp and qAq of A has a weak^*-closed ideal of Type I², such measures are precisely those that are the restrictions of bounded sesquilinear functionals {_m on pAp 2 qAq with the property that the action of the centroid Z(B) of B commutes with the adjoint operation. When B is a complex Hilbert space of dimension greater than two, this result reduces to Gleason's Theorem.     

A Negative Mass Theorem for the 2-Torus

Let M be a closed surface. For a metric g on M, denote the area element by dA and the Laplace-Beltrami operator by Δ = Δ _g . We define the Robin mass m(p) at the point to be the value of the Green function G(p, q) at q = p after the logarithmic singularity has been subtracted off, and we define trace . This regularized trace can also be obtained by regularization of the spectral zeta function and is hence a spectral invariant which heuristically measures the total wavelength of the surface.We define the Δ-mass of (M, g) to equal , where is the Laplacian on the round sphere of area A. This scale invariant quantity is a non-trivial analog for closed surfaces of the ADM mass for higher dimensional asymptotically flat manifolds.In this paper we show that in each conformal class for the 2-torus, there exists a metric with negative Δ-mass. From this it follows that the minimum of the Δ-mass on is negative and attained by some metric . For this minimizing metric g, one gets a sharp logarithmic Hardy-Littlewood-Sobolev inequality and an Onofri-type inequality.We remark that if the flat metric in is sufficiently long and thin then the minimizing metric g is non-flat. The proof of our result depends on analyzing the ordinary differential equation which is equivalent to h′′ = 1 − 1/h. The solutions are periodic and we need to establish quite delicate, asymptotically sharp inequalities relating the period to the maximum value. The author was supported by the National Science Foundation #DMS-0302647.