Isospectral deformations on Riemannian manifolds which are diffeomorphic to compact Heisenberg manifolds

It is known that ifH _m is the classical (2m+1)-dimensional Heisenberg group, Γ a cocompact discrete subgroup ofH _m andg a left invariant metric, then (Γ/H _{m, g}) is infinitesimally spectrally rigid within the family of left invariant metrics. The purpose of this paper is to show that for everym≥2 and for a certain choice of Γ andg, there is a deformation (Γ/H _{m, g α}) withg=g ₁ such that for every α≠1, (Γ/H _{m, g α})does admit a nontrivial isospectral deformation. For α≠1 the metricsg _α will not beH _m-left invariant, and the (Γ/H _m, gx_α) will not be nilmanifolds, but still solvmanifolds.     

Controllability in a filled domain for the multidimensional wave equation with a singular boundary control

In accordance with the demands of the so-called local approach to inverse problems, the set of “waves” u^f (·, T) is studied, where u^f (x,t) is the solution of the initial boundary-value problem u_tt−Δu=0 in Ω×(0,T), u|_t<0=0, u|_∂Ω×(0,T)=f, and the (singular) control f runs over the class L²((0,T); H^−m (∂Ω)) (m>0). The following result is established. Let Ω^T={x ∈ Ω : dist(x, ∂Ω)<T)} be a subdomain of Ω ⊂ ℝⁿ (diam Ω<∞) filled with waves by a final instant of time t=T, let T_*=inf{T : Ω^T=Ω} be the time of filling the whole domain Ω. We introduce the notation D_m=Dom((−Δ)^m/2), where (−Δ) is the Laplace operator, Dom(−Δ)=H²(Ω)∩H ₀ ¹ (Ω);D_−m=(D_m)′;D_−m(Ω^T)={y∈D_−m:supp y ⋐ Ω^T. If T<T., then the reachable set R _m ^T ={u^t(·, T): f ∈ L₂((0,T), H^−m (∂Ω))} (∀m>0), which is dense in D_−m(Ω^T), does not contain the class C ₀ ^∞ (Ω^T). Examples of a ∈ C ₀ ^∞ , a ∈ R _m ^T , are presented. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 210, 1994, pp. 7–21. Translated by T. N. Surkova.     

Homogeneous Embeddings of Cycles in Graphs

If G and H are vertex-transitive graphs, then the framing number fr(G,H) of G and H is defined as the minimum order of a graph every vertex of which belongs to an induced G and an induced H. This paper investigates fr(C _m,C _n) for m<n. We show first that fr(C _m,C _n)≥n+2 and determine when equality occurs. Thereafter we establish general lower and upper bounds which show that fr(C _m,C _n) is approximately the minimum of and n+n/m. Received: June 12, 1996 / Revised: June 2, 1997     

Polytopes with prescribed contents of (n−1)-facets

If ann-dimensional polytope has facets of areaA ₁,A ₂, …,A _m, then 2A _i <A ₁+…+A _m fori=1,…,m. We show here that conversely these inequalities also ensure the existence of a polytope having these areas.     

Spectral structure of Anderson type Hamiltonians

We study self adjoint operators of the form?H _ω = H ₀ + ∑λ_ω(n) <δ _n ,·>δ _n ,?where the δ _n ’s are a family of orthonormal vectors and the λ_ω(n)’s are independently distributed random variables with absolutely continuous probability distributions. We prove a general structural theorem saying that for each pair (n,m), if the cyclic subspaces corresponding to the vectors δ _n and δ _m are not completely orthogonal, then the restrictions of H _ω to these subspaces are unitarily equivalent (with probability one). This has some consequences for the spectral theory of such operators. In particular, we show that “well behaved” absolutely continuous spectrum of Anderson type Hamiltonians must be pure, and use this to prove the purity of absolutely continuous spectrum in some concrete cases. Oblatum 27-V-1999 & 6-I-2000?Published online: 8 May 2000     

λφ4model and Higgs mass in standard model calculated by Gaussian effective potential approach with a new regularization-renormalization method

Based on a new regularization-renormalization method, the λφ⁴ model used in standard model (SM) is studied both perturbatively and nonperturbatively by Gaussian effective potential (GEP). The invariant property of two mass scales is stressed and the existence of a (Landau) pole is emphasized. Then after coupling with theSU(2) ×U(1) gauge fields, the Higgs mass in standard model (SM) can be calculated to bem _H≈138 GeV. The critical temperature (T _c ) for restoration of symmetry of Higgs field, the critical energy scale (μ_max, the maximum energy scale under which the lower excitation sector of the GEP is valid) and the maximum energy scale (μ_max, at which the symmetry of the Higgs field is restored) in the SM areT _c ≈476 GeV, μ_c≈0.547 × 10¹⁵ and μ_max≈0.873 × 10¹⁵, respectively. Project supported in part by the National Natural Science Foundation of China.     

Hyperidentities of lattices and semilattices

Following W. Taylor we define a hyperidentity ∈ to be formally the same as an identity (e.g.,F(G(x, y, z), G(x, y, z))=G(x, y, z)). However, a varietyV is said to satisfy a hyperidentity ∈, if whenever the operation symbols of ∈ are replaced by any choice of polynomials (appropriate forV) of the same arity as the corresponding operation symbols of ∈, then the resulting identity holds inV in the usual sense. For example, if a varietyV of type <2,2> with operation symbols ∨ and ∧ satisfies the hyperidentity given above, then substituting the polynomial (x∨y)∨z for the symbolG, and the polynomialx∧y forF, we see thatV must in particular satisfy the identity ((x∨y)∨z)∧((x∨y)∨z)=((x∨y)∨z). The set of all hyperidentities satisfied by a varietyV, will be denoted byH(V). We shall letH ^m (V) be the set of all hyperidentities hoiding inV with operation symbols of arity at mostm, andH _n (V) will denote the set of all hyperidentities ofV with at mostn distinct variables. In this paper we shall show that ifV is a nontrivial variety of lattices or the variety of all semilattices, then for any integersm andn, there exists a hyperidentity ∈ such that ∈ holds inV, and ∈ is not a consequence ofH ^m (V)∪H _n (V). From this it is deduced that the hyperidentities ofV are not finitely based, partly soling a problem of Taylor [7, Problem 3]. The research of the author was supported by NSERC of Canada. Presented by W. Taylor.     

Infinite chains of successive normalizers in the general linear group

Let K be a field of characteristics 0 or a field of characteristic 2 and of transcendence degree ≥1, and let G=GL(n, K) be the general linear group of degree n≥2 over K. Further, let . It is proved that in G there exist chains of subgroups {H_m:m ∈ {, infinite in both directions, such that H_m<H_m−1, H_m−1 coincides with the normalizer N_G(H_m), and every quotient group H_m−1/H_m is an elementary Abelian group of type (2,2,...,2) and of rank p. Bibliography: 7 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 211, 1994, pp. 30–66. Translated by V. V. Ishkhanov.     

r-entropy,equipartition, and Ornstein’s isomorphism theorem inR n

A new approach is given to the entropy of a probability-preserving group action (in the context ofZ and ofR _n ), by defining an approximate “r-entropy”, 0<r<1, and lettingr → 0. If the usual entropy may be described as the growth rate of the number of essential names, then ther-entropy is the growth rate of the number of essential “groups of names” of width≦r, in an appropriate sense. The approach is especially useful for actions of continuous groups. We apply these techniques to state and prove a “second order” equipartition theorem forZ _m ×R _n and to give a “natural” proof of Ornstein’s isomorphism theorem for Bernoulli actions ofZ _m ×R _n , as well as a characterization of such actions which seems to be the appropriate generalization of “finitely determined”.     

L p-multipliers for the Hilbert space valued functions on the Heisenberg group

It is well known that if m is an L ^p -multiplier for the Fourier transform on \mathbbRⁿ{\mathbb{R}^n} , (1 < p < ∞) then there exists a pseudomeasure σ such that T _m f = σ * f . A similar problem is discussed for the L ^p −Fourier multipliers for H{\mathcal{H}} -valued functions on the Heisenberg group, where H{\mathcal{H}} is a separable Hilbert space.     

SOME MULTIPLIER THEOREMS FOR ANISOTROPIC HARDY SPACES ——In Memory of Professor Yongsheng Sun

Let A be a symmetric expansive matrix and Hp(Rn) be the anisotropic Hardy space associated with A. For a function m in L∞(Rn), an appropriately chosen function η in Cc∞(Rn) and j ∈ Z define mj(ξ) = m(Ajξ)η(ξ). The authors show that if 0 ＜ p ＜ 1 and (m)j belongs to the anisotropic nonhomogeneous Herz space K11/p-1,p(Rn), then m is a Fourier multiplier from Hp(Rn) to Lp(Rn). For p = 1, a similar result is obtained if the space K10,1(Rn) is replaced by a slightly smaller space K(w).Moreover, the authors show that if 0 ＜ p ≤ 1 and if the sequence {(mj)V} belongs to a certain mixednorm space, depending on p, then m is also a Fourier multiplier from Hp(Rn) to Lp(Rn).     

Precise charm- and bottom-quark masses: Theoretical and experimental uncertainties

We consider recent theoretical and experimental improvements in determining charm- and bottom-quark masses. We present a new, improved evaluation of the contribution of the gluon condensate 〈α _s G ² /π〉 to the charm mass determination and a detailed study of potential uncertainties in the continuum cross section for b[`(b)]b\bar b production, together with a study of the parametric uncertainty from the α _s -dependence of our results. The final results, m_c(3 GeV) = 986(13) MeV and m_b(m_b) = 4163(16) MeV, together with the closely related lattice determination m_c(3 GeV) = 986(6) MeV, currently represent the most precise determinations of these two fundamental standard-model parameters. We critically analyze the theoretical and experimental uncertainties.     

The number of K m,m -free graphs

A graph is called H-free if it contains no copy of H. Denote by f _n (H) the number of (labeled) H-free graphs on n vertices. Erdős conjectured that f _n (H) ≤ 2^{(1+o(1))ex(n,H)}. This was first shown to be true for cliques; then, Erdős, Frankl, and R?dl proved it for all graphs H with χ(H)≥3. For most bipartite H, the question is still wide open, and even the correct order of magnitude of log₂ f _n (H) is not known. We prove that f _n (K _m,m ) ≤ 2 ^O (n ^2−1/m ) for every m, extending the result of Kleitman and Winston and answering a question of Erdős. This bound is asymptotically sharp for m∈{2,3}, and possibly for all other values of m, for which the order of ex(n,K _m,m ) is conjectured to be Θ(n ^2−1/m ). Our method also yields a bound on the number of K _m,m -free graphs with fixed order and size, extending the result of Füredi. Using this bound, we prove a relaxed version of a conjecture due to Haxell, Kohayakawa, and Łuczak and show that almost all K _3,3-free graphs of order n have more than 1/20·ex(n,K _3,3) edges.     

The functor <Emphasis Type="Italic">A</Emphasis><Superscript>min</Superscript> for (<Emphasis Type="Italic">p</Emphasis> − 1)-cell complexes and EHP sequences

Let X be a co-H-space of (p − 1)-cell complex with all cells in even dimensions. Then the loop space ΩX admits a retract Ā ^min(X) that is the evaluation of the functor Ā ^min on X. In this paper, we determine the homology H _*(Ā ^min(X)) and give the EHP sequence for the spaces Ā ^min(X).     

Hypothesis testing for the common mean of two normal distributions in the presence of an indifference zone

Summary LetX ₁,...,X _m andY _t,...,Y be independent, random samples from populations which are N(θ,σ _x ² ) and N(θ,σ _y ² ), respectively, with all parameters unknown. In testingH ₀:θ=0 againstH ₁:θ≠0, thet-test based upon either sample is known to be admissible in the two-sample setting. If, however, one testsH ₀ againstH ₁:|θ|≧ε>0, with ε arbitrary, our main results show: (i) the construction of a test which is better than the particulart-test chosen, (ii) eacht-test is admissible under the invariance principle with respect to the group of scale changes, and (iii) there does not exist a test which simultaneously is better than botht-tests.     

A Spectral Gap Property for Random Walks Under Unitary Representations

Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation $\pi ,\mathcal{H}Let G be a locally compact group and μ a probability measure on G, which is not assumed to be absolutely continuous with respect to Haar measure. Given a unitary representation p,H\pi ,\mathcal{H} of G, we study spectral properties of the operator π(μ) acting on H\mathcal{H} Assume that μ is adapted and that the trivial representation 1 _G is not weakly contained in the tensor product p?[`(p)]\pi\otimes \overline\pi We show that π(μ) has a spectral gap, that is, for the spectral radius r_spec(p(m))r_{\rm spec}(\pi(\mu)) of π(μ), we have r_spec(p(m)) < 1.r_{\rm spec}(\pi(\mu))< 1. This provides a common generalization of several previously known results. Another consequence is that, if G has Kazhdan’s Property (T), then r_spec(p(m)) < 1r_{\rm spec}(\pi(\mu))< 1 for every unitary representation π of G without finite dimensional subrepresentations. Moreover, we give new examples of so-called identity excluding groups.     

Integration questions related to fractional Brownian motion

Let {B _H (u)} _{u ∈ℝ} be a fractional Brownian motion (fBm) with index H∈(0, 1) and (B _H ) be the closure in L ²(Ω) of the span Sp(B _H ) of the increments of fBm B _H . It is well-known that, when B _H = B _1/2 is the usual Brownian motion (Bm), an element X∈(B _1/2) can be characterized by a unique function f _X ∈L ²(ℝ), in which case one writes X in an integral form as X = ∫_ℝ f _X (u)dB _1/2(u). From a different, though equivalent, perspective, the space L ²(ℝ) forms a class of integrands for the integral on the real line with respect to Bm B _1/2. In this work we explore whether a similar characterization of elements of (B _H ) can be obtained when H∈ (0, 1/2) or H∈ (1/2, 1). Since it is natural to define the integral of an elementary function f = ∑ _{k =1} ⁿ f _k 1 _[uk,uk+1) by ∑ _{k =1} ⁿ f _k (B _H (u _{k +1}) −B _H (u _k )), we want the spaces of integrands to contain elementary functions. These classes of integrands are inner product spaces. If the space of integrands is not complete, then it characterizes only a strict subset of (B _H ). When 0<H<1/2, by using the moving average representation of fBm B _H , we construct a complete space of integrands. When 1/2<H<1, however, an analogous construction leads to a space of integrands which is not complete. When 0<H<1/2 or 1/2<H<1, we also consider a number of other spaces of integrands. While smaller and henceincomplete, they form a natural choice and are convenient to workwith. We compare these spaces of integrands to the reproducing kernel Hilbert space of fBm. Received: 9 August 1999 / Revised version: 10 January 2000 / Published online: 18 September 2000     

Multiderivations of Coxeter arrangements

Let V be an ℓ-dimensional Euclidean space. Let G⊂O(V) be a finite irreducible orthogonal reflection group. Let ? be the corresponding Coxeter arrangement. Let S be the algebra of polynomial functions on V. For H∈? choose α _H ∈V ^* such that H=ker(α _H ). For each nonnegative integer m, define the derivation module D ^(m) (?)={θ∈Der _S |θ(α _H )∈Sα ^m _H }. The module is known to be a free S-module of rank ℓ by K. Saito (1975) for m=1 and L. Solomon-H. Terao (1998) for m=2. The main result of this paper is that this is the case for all m. Moreover we explicitly construct a basis for D ^(m) (?). Their degrees are all equal to mh/2 (when m is even) or are equal to ((m−1)h/2)+m _i (1≤i≤ℓ) (when m is odd). Here m ₁≤···≤m _ℓ are the exponents of G and h=m _ℓ+1 is the Coxeter number. The construction heavily uses the primitive derivation D which plays a central role in the theory of flat generators by K. Saito (or equivalently the Frobenius manifold structure for the orbit space of G). Some new results concerning the primitive derivation D are obtained in the course of proof of the main result. Oblatum 27-XI-2001 & 4-XII-2001?Published online: 18 February 2002     

New Lower Bounds on the Multicolor Ramsey Numbers R r (C 2 m )

The multicolor Ramsey number R_r(H) is defined to be the smallest integer n=n(r) with the property that any r-coloring of the edges of the complete graph K_n must result in a monochromatic subgraph of K_n isomorphic to H. It is well known that 2^rm<R_r(C_2m+1)<2(r+2)!m and R_r(C_2m)≥(r−1)(m−1)+1. In this paper, we prove that R_r(C_2m)≥2(r−1)(m−1)+2. This research is supported by NSFC(60373096, 60573022) and SRFDP(20030141003)     

Density of smooth maps in Wk, p(M, N) for a close to critical domain dimension

Assuming m − 1 < kp < m, we prove that the space C ^∞(M, N) of smooth mappings between compact Riemannian manifolds M, N (m = dim M) is dense in the Sobolev space W ^k,p (M, N) if and only if π _m−1(N) = {0}. If π _m−1(N) ≠ {0}, then every mapping in W ^k,p (M, N) can still be approximated by mappings M → N which are smooth except in finitely many points.