Quasi-free quantum stochastic integrals for the CAR and CCR

A theory of quantum martingales and quantum stochastic integrals in quasi-free representations of the CAR and CCR is presented. For the CAR, the results generalize some of those developed in Barnett, Streater, and Wilde (J. Funct. Anal.48 (1982), 172–212, J. London Math. Soc.27 (1983), 373–384) and for the CCR, the results contain the standard Itô theory of stochastic integration with respect to Brownian motion as a special case.     

Induced representations and finite volume homogeneous spaces

We prove that the representation of $\text{C}{}^1\text{(G ×}\text{G}\text{H}\text{)}$ induced from the restriction to H of a unitary representation π of G can be constructed directly from π in the framework of Rieffel's theory of induced representations of C¹-algebras, with the inducing process defined by a generalized conditional expectation. We then show, in the general context of Rieffel's theory, that if the induced representation is CCR, so is the original. In a more special situation, which still generalizes that of a conditional expectation onto a subalgebra, and which includes the operation of inducing from an open subgroup and the above-mentioned process when $\text{G}\text{H}$ is of finite volume, we prove that if the induced representation is type I, so is the original, and obtain a result on intertwining operators. This provides a unified treatment, as well as an extension to the nonseparable case, of certain known results on induction and restriction of representations.     

On the correlation measure of a family of commuting Hermitian operators with applications to particle densities of the quasi-free representations of the CAR and CCR

Let X be a locally compact, second countable Hausdorff topological space. We consider a family of commuting Hermitian operators a(Δ) indexed by all measurable, relatively compact sets Δ in X (a quantum stochastic process over X). For such a family, we introduce the notion of a correlation measure. We prove that, if the family of operators possesses a correlation measure which satisfies some condition of growth, then there exists a point process over X having the same correlation measure. Furthermore, the operators a(Δ) can be realized as multiplication operators in the L²-space with respect to this point process. In the proof, we utilize the notion of ?-positive definiteness, proposed in [Y.G. Kondratiev, T. Kuna, Harmonic analysis on the configuration space I. General theory, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 5 (2002) 201-233]. In particular, our result extends the criterion of existence of a point process from that paper to the case of the topological space X, which is a standard underlying space in the theory of point processes. As applications, we discuss particle densities of the quasi-free representations of the CAR and CCR, which lead to fermion, boson, fermion-like, and boson-like (e.g. para-fermions and para-bosons of order 2) point processes. In particular, we prove that any fermion point process corresponding to a Hermitian kernel may be derived in this way.     

A generalized hypergreedy algorithm for weighted perfect matching

We give a generalization of the hypergreedy algorithm for minimum weight perfect matching on a complete edge weighted graph whose weights satisfy the triangle inequality. With a modified version of this algorithm we obtain a logn-approximate perfect matching heuristic for points in the Euclidean plane, inO(n log² n) time.This research was supported in part by the DIMACS Grant No. NSF-STC88-09648.This research was supported in part by the NSF under Grant No. CCR 88-07518.     

METRIC ENTROPY OF HOMEOMORPHISM ON NON-COMPACT METRIC SPACE

Let T : X → X be a uniformly continuous homeomorphism on a non-compact metric space (X, d). Denote by X* = X ∪ {x*} the one point compactification of X and T * : X* → X* the homeomorphism on X* satisfying T *|X = T and T *x* = x*. We show that their topological entropies satisfy hd(T, X) ≥ h(T *, X*) if X is locally compact. We also give a note on Katok’s measure theoretic entropy on a compact metric space.     

Extreme points, support points and the Loewner variation in several complex variables

In this paper we consider extreme points and support points for compact subclasses of normalized biholomorphic mappings of the Euclidean unit ball Bn in Cn. We consider the class S0(Bn) of biholomorphic mappings on Bn which have parametric representation, i.e., they are the initial elements f (·, 0) of a Loewner chain f (z, t) = etz + ··· such that {e-tf (·, t)}t 0 is a normal family on Bn. We show that if f (·, 0) is an extreme point (respectively a support point) of S0(Bn), then e-tf (·, t) is an extreme point of S0(Bn) for t 0 (respectively a support point of S0(Bn) for t ∈[0, t0] and some t0 > 0). This is a generalization to the n-dimensional case of work due to Pell. Also, we prove analogous results for mappings which belong to S0(Bn) and which are bounded in the norm by a fixed constant. We relate the study of this class to reachable sets in control theory generalizing work of Roth. Finally we consider extreme points and support points for biholomorphic mappings of Bn generated by using extension operators that preserve Loewner chains.     

Exact solution to a nonlinear Klein-Gordon equation

The nonlinear Klein-Gordon equation ?^μ?_μΦ + M²Φ + λ₁Φ^1?m + λ₂Φ^1?2m = 0 has the exact formal solution Φ = [u^2m ?λ₁u^m/(m ? 2)M²+λ₁²/(m?2)²M⁴?λ₂/4(m ? 1)M²]^1/mu^?1, m ≠ 0, 1, 2, where u and v^?1 are solutions of the linear Klein-Gordon equation. This equation is a simple generalization of the ordinary second order differential equation satisfied by the homogeneous function y = [au^m + b(uv)^m/2 + cv^m]^k/m, where u and v are linearly independent solutions of y″ + r(x) y′ + q(x) y = 0.     

On the product system of a completely positive semigroup

Given a W∗-continuous semigroup φ of unital, normal, completely positive maps of B(H), we introduce its continuous tensor product system . If α is a minimal dilation E₀-semigroup of φ with Arveson product system F, then is canonically isomorphic to F. We apply this construction to a class of semigroups of arising from a modified Weyl-Moyal quantization of convolution semigroups of Borel probability measures on . This class includes the heat flow on the CCR algebra studied recently by Arveson. We prove that the minimal dilations of all such semigroups are completely spatial, and additionally, we prove that the minimal dilation of the heat flow is cocyle conjugate to the CAR/CCR flow of index two.     

Relative (pa,pb, pa,pa−b-Difference Sets: A Unified Exponent Bound and a Local Ring Construction

We show that for an odd prime p the exponent of an abelian group of order p^a+b containing a relative (p^a, p^b, p^a, p^a−b)-difference set cannot exceed p^⌊a/2⌋+1. Furthermore, we give a new local ring construction of relative (q^2u, q, q^2u, q^2u−1)-difference sets for prime powers q. Finally, we discuss an important open case concerning the existence of abelian relative (p^a, p, p^a, p^a−1)-difference sets.     

Franchissement et temps local pour l'oscillateur harmonique

We consider the second order Stochastic Differential Equation dP_t^β = V_t^β dt with P₀^β = p₀, dV_t^β = βV_t^βdt − βω²P_t^β + βdW_t with V₀^β = v₀, where W stands for a standard Wiener process and where ω is a real constant. It is well-known that P^β converges, as β goes to infinity, to an Ornstein-Uhlenbeck process P. In this Note, we study the convergence of the crossings of P^β at level u during the time interval [0, t] · (N_t^Pβ (u)) to the local time of P(L_t^P (u)).     

Patroids

A matroid M over a set E of elements is semiseparated by a partition {S¹, S²} of E iff rank E = rank S¹ + rank S² + 1. Such a semiseparation defines in each Sⁱ a pair of matroids or patroid Pⁱ = (Mⁱ, mⁱ); the two patroids P¹, P² weld to form M. The operations of removing and contracting a non-degenerate element of a matroid produce a patroid. The properties of patroids, their bases, and circuits are discussed.     

On the smoothness of the symbol of multidimensional singular integral operators

Пустьf — характерист ика, аΦ — соответству ющий символ n-мерного сингу лярного интегрального опера тора, которые являютс я однородными функция ми нулевой степени вR ⁿ,n≧2, с нулевыми средни ми значениями на един ичной сфереS ^n?1 пространств аR ⁿ . В статье установлива ются связи между хара ктеристикойf и символом? в термин ах наилучших равномерн ых приближений полин омами по сферическим гармони кам и сферических равномерных модулей непрерывности, котор ые позволяют установить связь так же в терминах пространст вW ^r H ^w (S ^n?1). Доказывается, ч то установленные резул ьтаты в терминах пространствW ^r H ^w (S ^n?1) неу лучшаемые.     

Invariant Peano curves of expanding Thurston maps

We consider Thurston maps, i.e., branched covering maps f:S ² → S ² that are post-critically finite. In addition, we assume that f is expanding in a suitable sense. It is shown that each sufficiently high iterate F = f ⁿ of f is semi-conjugate to z ^d :S ¹ → S ¹, where d = deg F. More precisely, for such an F we construct a Peano curve γ:S ¹ → S ² (onto), such that F°γ(z) = γ(z ^d ) (for all z∈S ¹).     

Uniqueness of analytic continuation: Necessary and sufficient conditions

Necessary and sufficient conditions for uniqueness of analytic continuation are investigated for a system of m ? 1 first-order linear homogeneous partial differential equations in one unknown, with complex-valued $\text{b}$^∞ coefficients, in some connected open subset of $\text{R}$^k, k ? 2. The type of system considered is one for which there exists a real k-dimensional, $\text{b}$^∞, connected C-R submanifold M^k of $\text{C}$ⁿ, for k, n ? 2, such that the system may be identified with the induced Cauchy-Riemann operators on M^k. The question of uniqueness of analytic continuation for a system of partial differential equations is thus transformed to the question of uniqueness of analytic continuation for C-R functions on the manifold M^k ? Cⁿ. Under the assumption that the Levi algebra of M^k has constant dimension, it is shown that if the excess dimension of this algebra is maximal at every point, then M^k has the property of uniqueness of analytic continuation for its C-R functions. Conversely, under certain mild conditions, it is shown that if M^k has the property of uniqueness of analytic continuation for all $\text{b}$^∞ C-R functions, and if the Levi algebra has constant dimension on all of M^k, then the excess dimension must be maximal at every point of M^k.     

Further results on the reverse-order law

An explicit expression is obtained for a pair of generalized inverses (B^?,A^?) such that B^?A^?=(AB)⁺_MN, and a class of pairs (B^?,A^? of this property is shown. A necessary and sufficient condition for (AB)^? to have the expression B^?A^? is also given.     

Endpoint estimates for the commutator of pseudo-differential operators

It is well known that the commutator Tb of the Calderón-Zygmund singular integral operator is bounded on L^p(Rⁿ) for 1 < p < +∞ if and only if b ∈ BMO [1]. On the other hand, the commutator T_b is bounded from H¹(Rⁿ) into L¹(Rⁿ) only if the function b is a constant [2]. In this article, we will discuss the boundedness of commutator of certain pseudo-differential operators on Hardy spaces H¹. Let T^σ be the operators that its symbol is S⁰_1,δ with 0 ≤ δ < 1, if b ∈ LMO_∞, then, the commutator [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) and from L¹(Rⁿ) into BMO(Rⁿ); If [b, T^σ] is bounded from H¹(Rⁿ) into L¹(Rⁿ) or L¹(Rⁿ) into BMO(Rⁿ), then, b ∈ LMO_loc.     

Two-point inequalities,the Hermite semigroup and the Gauss-Weierstrass semigroup

Let e^?zH, Re z ? 0, be the Hermite semigroup on R with Gauss measure μ. Necessary and sufficient conditions for e^?zH to be a bounded map from L^p(μ) into L^q(μ), 1 ? p, q ? ∞, are found and in many cases it is proved that e^?zH: L^p(μ) → L^q(μ) is in fact a contraction. Furthermore, these results and a formula relating the Hermite semigroup with the Gauss-Weierstrass semigroup e^zΔ enable one to calculate the precise norm of e^zΔ:L^p(dx) → L^q(dx) in a large number of cases.     

Quasirecognition by prime graph of 2 D n (3α) where n = 4m + 1 ≥ 21 and α is odd

Let G be a finite group. The prime graph of G is denoted by Γ(G). In this paper, as the main result, we show that if G is a finite group such that Γ(G) = Γ(² D _n (3^α)), where n = 4m+ 1 and α is odd, then G has a unique non-Abelian composition factor isomorphic to ² D _n (3^α). We also show that if G is a finite group satisfying |G| = |² D _n (3^α)|, and Γ(G) = Γ(² D _n (3^α)), then G ? ² D _n (3^α). As a consequence of our result, we give a new proof for a conjecture of Shi and Bi for ² D _n (3^α). Application of this result to the problem of recognition of finite simple groups by the set of element orders are also considered. Specifically, it is proved that ² D _n (3^α) is quasirecognizable by the spectrum.     

Periodic behavior of a nonlinear third order vibrating system

A theorem is proved to show that the third order differential equation x^‴+f(t,x,x^′,x^″)=0 has nontrivial solutions characterized by x^′(0)=x^′(τ)=0 when x,x^′,x^″ and f(t,x,x^′,x^″) are bounded. A second condition is introduced to prove the existence of periodic solution for this equation. It is shown that the equation has a τ-periodic solution if f(t,x,x^′,x^″) is an even function with respect to x^′. The existence and periodicity conditions would be applied to third order systems such as viscoelastic mechanical vibration isolator system. The concepts of Green’s function and the Schauder’s fixed-point theorem have been used for proving the third-order-existence theorem.     

A geometric Gordan-Stiemke theorem

Let C and K be closed cones in Rⁿ. Denote by φ (K∩C) the face of C generated by K ∩ C, by φ(K ∩ D)^D the dual face of φ(K ∩ C) in C¹, and by φ(-K¹ ∩ C¹) the face of C¹ generated by -K¹ ∩ C¹. It is proved that φ(K ∩ C¹) if and only if -C¹ ∩ [span(K ∩ C)] ⊥ ? C¹ + K¹. In particular, the closedness of C¹ + K¹ is a sufficient condition. Our result contains a generalization of the Gordon-Stiemke theorem which appeared in a recent paper of Saunders and Schneider.