On the Similarity of Analytic Matrix Functions

Consider a domain , and two analytic matrix-valued functions functions . Consider also points and positive integers n ₁, n ₂, . . . , n _N . We are interested in the existence of an analytic function such that X(ω) is invertible, and G(ω) coincides with X(ω)F(ω)X(ω)⁻¹ up to order n _j at the point ω _j . We will see that such a function exists provided that F(ω _j ),G(ω _j ) have cyclic vectors, and the characteristic polynomials of F,G coincide up to order n _j at ω _j . This allows one to give a short proof to a result of Huang, Marcantognini and Young concerning spectral interpolation in the unit disk. The author was partially supported by a grant from the National Science Foundation. Received: September 8, 2006. Accepted: January 11, 2007.     

Functoriality of automorphic <Emphasis Type="Italic">L</Emphasis>-functions through their zeros

Let E be a Galois extension of ℚ of degree l, not necessarily solvable. In this paper we first prove that the L-function L(s, π) attached to an automorphic cuspidal representation π of cannot be factored nontrivially into a product of L-functions over E. Next, we compare the n-level correlation of normalized nontrivial zeros of L(s, π₁)…L(s, π _k ), where π _j , j = 1,…, k, are automorphic cuspidal representations of , with that of L(s,π). We prove a necessary condition for L(s, π) having a factorization into a product of L-functions attached to automorphic cuspidal representations of specific , j = 1,…,k. In particular, if π is not invariant under the action of any nontrivial σ ∈ Gal _E/ℚ, then L(s, π) must equal a single L-function attached to a cuspidal representation of and π has an automorphic induction, provided L(s, π) can factored into a product of L-functions over ℚ. As E is not assumed to be solvable over ℚ, our results are beyond the scope of the current theory of base change and automorphic induction. Our results are unconditional when m,m ₁,…,m _k are small, but are under Hypothesis H and a bound toward the Ramanujan conjecture in other cases. The first author was supported by the National Basic Research Program of China, the National Natural Science Foundation of China (Grant No. 10531060), and Ministry of Education of China (Grant No. 305009). The second author was supported by the National Security Agency (Grant No. H98230-06-1-0075). The United States Government is authorized to reproduce and distribute reprints notwithstanding any copyright notation herein     

Asymptotic normality and efficiency of a weighted correlogram

For a process X(t)=Σ _j=1 ^M g _j (t)ξ _j (), where g_j(t) are nonrandom given functions, is a stationary vector-valued Gaussian process, Eξ_k(t) = 0, and Eξ_k(0) Eξ_l(τ) = r _kl(τ), we construct an estimate for the functions r _kl(τ) on the basis of observations X(t), t ∈ [0, T]. We establish conditions for the asymptotic normality of as T → ∞. We consider the problem of the optimal choice of parameters of the estimate depending on observations. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 50, No. 7, pp. 937–947, July, 1998.     

Limit sets and strengths of convergence for sequences in the duals of thread-like Lie groups

We consider a properly converging sequence of non-characters in the dual space of a thread-like group and investigate the limit set and the strength with which the sequence converges to each of its limits. We show that, if (π _k ) is a properly convergent sequence of non-characters in , then there is a trade-off between the number of limits σ which are not characters, their degrees, and the strength of convergence i _σ to each of these limits (Theorem 3.2). This enables us to describe various possibilities for maximal limit sets consisting entirely of non-characters (Theorem 4.6). In Sect. 5, we show that if (π _k ) is a properly converging sequence of non-characters in and if the limit set contains a character then the intersection of the set of characters (which is homeomorphic to ) with the limit set has at most two components. In the case of two components, each is a half-plane. In Theorem 7.7, we show that if a sequence has a character as a cluster point then, by passing to a properly convergent subsequence and then a further subsequence, it is possible to find a real null sequence (c _k ) (with ) such that, for a in the Pedersen ideal of C ^*(G _N ), exists (not identically zero) and is given by a sum of integrals over .     

Correspondences between constituents of projective characters

Let G be a finite p-solvable group. Let P ∈ Syl _p (G) and N = N _G (P). We prove that there exists a natural bijection between the irreducible constituents of p′-degree of the principal projective character of G and those of . Received: 2 May 2007, Revised: 17 September 2007     

Highest weight representations of a family of Lie algebras of Block type

For an additive subgroup G of a field F of characteristic zero, a Lie algebra B（G） of Block type is defined with basis {Lα,i｜ α∈G, i∈Z＋} and relations [Lα,i, Lβ,j] = （β-α）Lα＋β,i＋j＋（αj-βi）Lα＋β,Lα＋β,i＋j-1.It is proved that an irreducible highest weight B（Z）-module is quasifinite if and only if it is a proper quotient of a Verma module. Furthermore, for a total order λ on G and any ∧∈B（G）0^＊（the dual space of B（G）0 = span{L0,i｜i∈Z＋}）, a Verma B（G）-module M（∧,λ） is defined, and the irreducibility of M（A,λ） is completely determined.     

The Asymptotics of the Two-Dimensional Wave Equation for a General Multi-Connected Vibrating Membrane with Piecewise Smooth Robin Boundary Conditions

The asymptotic expansion for small |t| of the trace of the wave kernel ∧↑μ(t) =∑v=1^∞exp(-it μv^1/2), where i= √-1 and {μv}v=1^∞ are the eigenvalues of the negative Laplacian -△=-∑β=1^2(δ/δx^β)^2 in the (x^1, x^2)-plane, is studied for a multi-connected vibrating membrane Ω in R^2 surrounded by simply connected bounded domains Ωj with smooth boundaries δΩj(j=1,...,n), where a finite number of piecewise smooth Robin boundary conditions on the piecewise smooth components Гi(i=1 κj-1,...,κj) of the boundaries δΩj are considered, such that δΩj=∪i=1 κj-1^κj Гi and κ0=0. The basic problem is to extract information on the geometry of Ω using the wave equation approach. Some geometric quantities of Ω (e.g. the area of Ω, the total lengths of its boundary, the curvature of its boundary, the number of the holes of Ω, etc.) are determined from the asymptotic expansion of the trace of the wave kernel ∧↑μ(t) for small |t|.     

Two classes of finite semigroups and monoids involving Lucas numbers

The class of finitely presented groups is an extension of the class of triangle groups studied recently. These groups are finite and their orders depend on the Lucas numbers. In this paper, by considering the three presentations

A note on certain fields of finite transcendence type

Let be a finitely generated extension field of ℚ, andα _i,β_j(1⩽i⩽m,1⩽j⩽n) be some complex numbers. Let (k=1,2,3) be fields obtained by adjoining to the numbers {α _i,β_j exp(α_iβ_j)}, {α_i, exp(α_iβ_j)}, and {exp(α_iβ_j)}, respectively. In the present note the relation between the transcendental degree of over and the transcendence type of over ℚ is given. This work was completed in Dpt. Math., Univ. of Southern Mississippi, Hattiesburg, USA.     

Asymptotic Expansions of the Heat Kernel of the Laplacian for General Annular Bounded Domains with Robin Boundary Conditions：Further Results

The asymptotic expansions of the trace of the heat kernel θ(t)=∑^∞v=1^exp(-tλv) for small positive t,where {λv} are the eigenvalues of the negative Laplacian -△n=-∑^ni=1(D/Dx^1)^2 in R^2(n=2 or 3),are studied for a general annular bounded domain Ω with a smooth inner boundary DΩ1 and a smooth outer boundary DΩ2,where a finite number of piecewise smooth Robin boundary conditions(D/Dnj γh)Ф=0 on the components Гj(j= 1,...,m) of (DΩ1 and on the components Гj (j=k 1,…,m) of of DΩ2 are considered such that DΩl=U^kj=lГj and DΩ2= U^m=k 1Гj and where the coefficients γj(j=1,...,m) are piecewise smooth positive functions. Some applications of θ(t) for an ideal gas enclosed in the general annular bounded domain Ω are given. Further results are also obtained.     

Invariant Subspaces for Banach Space Operators with a Multiply Connected Spectrum

We consider a multiply connected domain where denotes the unit disk and denotes the closed disk centered at with radius r _j for j = 1, . . . , n. We show that if T is a bounded linear operator on a Banach space X whose spectrum contains ∂Ω and does not contain the points λ₁, λ₂, . . . , λ _n , and the operators T and r _j (T − λ _j I)⁻¹ are polynomially bounded, then there exists a nontrivial common invariant subspace for T ^* and (T − λ _j I)^*-1.     

The 3D Inverse Problem of the Wave Equation for a General Multi-connected Vibrating Membrane with a Finite Number of Piecewise Smooth Boundary Conditions

The trace of the wave kernel μ（t） =∑ω=1^∞ exp（-itEω^1/2）, where {Eω}ω^∞=1 are the eigenvalues of the negative Laplacian -△↓2 = -∑k^3=1 （δ/δxk）^2 in the （x^1, x^2, x^3）-space, is studied for a variety of bounded domains, where -∞ 〈 t 〈 ∞ and i= √-1. The dependence of μ （t） on the connectivity of bounded domains and the Dirichlet, Neumann and Robin boundary conditions are analyzed. Particular attention is given for a multi-connected vibrating membrane Ω in Ra surrounded by simply connected bounded domains Ω j with smooth bounding surfaces S j （j = 1,……, n）, where a finite number of piecewise smooth Dirichlet, Neumann and Robin boundary conditions on the piecewise smooth components Si^＊ （i = 1 ＋ kj-1,……, kj） of the bounding surfaces S j are considered, such that S j = Ui-1＋kj-1^kj Si^＊, where k0=0. The basic problem is to extract information on the geometry Ω by using the wave equation approach from a complete knowledge of its eigenvalues. Some geometrical quantities of Ω （e.g. the volume, the surface area, the mean curvuture and the Gaussian curvature） are determined from the asymptotic expansion ofexpansion of μ（t） for small │t│.     

Omega subgroups of pro-<Emphasis Type="Italic">p</Emphasis> groups

Let G be a pro-p group and let k ≥ 1. If γ _k(p−1) (G) ≤ γ _r for some r and s such that k(p − 1) < r + s(p − 1), we prove that the exponent of Ω_i(G) is at most p ^i+k−1 for all i. Supported by the Spanish Ministry of Science and Education, grant MTM2004-04665, partly with FEDER funds. The first author is also supported by the University of the Basque Country, grant UPV05/99. The second author is also supported by the Basque Government.     

Selmer groups of abelian varieties in extensions of function fields

Let k be a field of characteristic q, a smooth geometrically connected curve defined over k with function field . Let A/K be a non-constant abelian variety defined over K of dimension d. We assume that q = 0 or >  2d + 1. Let p ≠ q be a prime number and a finite geometrically Galois and étale cover defined over k with function field . Let (τ′, B′) be the K′/k-trace of A/K. We give an upper bound for the -corank of the Selmer group Sel _p (A × _K K′), defined in terms of the p-descent map. As a consequence, we get an upper bound for the -rank of the Lang–Néron group A(K′)/τ′B′(k). In the case of a geometric tower of curves whose Galois group is isomorphic to , we give sufficient conditions for the Lang–Néron group of A to be uniformly bounded along the tower. This work was partially supported by CNPq research grant 305731/2006-8.     

On one extremal problem for numerical series

Let Γ be the set of all permutations of the natural series and let α = {α _j} _j∈ℕ, ν = {ν_j} _j∈ℕ, and η = {η_j} _j∈ℕ be nonnegative number sequences for which

Amenable groups,stationary measures and partitions with independent iterates

Suppose a discrete amenable group G acts freely on a probability space (X, , μ) and {g _i } is any mixing sequence of group elements, that is μ(g _i ⁻¹ A ∩ B) → μ(A)μ(B) for all A, B ∈ . Then given any finite partition P and ε > 0 there is a subsequence {h _j } of {g _i } and a partition P′ differing from P on a set of measure less than ε such that the partitions {gP: g ∈ IP′{h _j }} are jointly independent, where IP′{h _j } denotes the set

A generalization of Meshulam’s theorem on subsets of finite abelian groups with no 3-term arithmetic progression

Let r ₁, …, r _s be non-zero integers satisfying r ₁ + ⋯ + r _s = 0. Let G be a finite abelian group with k _i |k _i-1(2 ≤ i ≤ n), and suppose that (r _i , k ₁) = 1(1 ≤ i ≤ s). Let denote the maximal cardinality of a set which contains no non-trivial solution of r ₁ x ₁ + ⋯ + r _s x _s = 0 with . We prove that . We also apply this result to study problems in finite projective spaces.      

On vector space partitions and uniformly resolvable designs

Let V _n (q) denote a vector space of dimension n over the field with q elements. A set of subspaces of V _n (q) is a partition of V _n (q) if every nonzero vector in V _n (q) is contained in exactly one subspace in . A uniformly resolvable design is a pairwise balanced design whose blocks can be resolved in such a way that all blocks in a given parallel class have the same size. A partition of V _n (q) containing a _i subspaces of dimension n _i for 1 ≤ i ≤ k induces a uniformly resolvable design on q ⁿ points with a _i parallel classes with block size , 1 ≤ i ≤ k, and also corresponds to a factorization of the complete graph into -factors, 1 ≤ i ≤ k. We present some sufficient and some necessary conditions for the existence of certain vector space partitions. For the partitions that are shown to exist, we give the corresponding uniformly resolvable designs. We also show that there exist uniformly resolvable designs on q ⁿ points where corresponding partitions of V _n (q) do not exist. A. D. Blinco—Part of this research was done while the author was visiting Illinois State University.     

Bounds on eigenvalues of Dirichlet Laplacian

In this paper, we investigate an eigenvalue problem of Dirichlet Laplacian on a bounded domain Ω in an n-dimensional Euclidean space R ⁿ . If λ _k+1 is the (k + 1)th eigenvalue of Dirichlet Laplacian on Ω, then, we prove that, for n ≥ 41 and and, for any n and with , where j _p,k denotes the k-th positive zero of the standard Bessel function J _p (x) of the first kind of order p. From the asymptotic formula of Weyl and the partial solution of the conjecture of Pólya, we know that our estimates are optimal in the sense of order of k.Q.-M. Cheng was partially Supported by a Grant-in-Aid for Scientific Research from the Japan Society for the Promotion of ScienceH. Yang was partially Supported by Chinese NSF, SF of CAS and NSF of USA     

A remark on the conjecture of Erdös, Faber and Lovász

The celebrated Erd?s, Faber and Lovász Conjecture may be stated as follows: Any linear hypergraph on ν points has chromatic index at most ν. We show that the conjecture is equivalent to the following assumption: For any graph , where ν(G) denotes the linear intersection number and χ(G) denotes the chromatic number of G. As we will see for any graph G = (V, E), where denotes the complement of G. Hence, at least G or fulfills the conjecture.