The cardinality of certain -orthogonal exponentials

The self-affine measures μ_M,D corresponding to the case (i) M=pI₃, D={0,e₁,e₂,e₃} in the space and the case (ii) M=pI₂, D={0,e₁,e₂,e₁+e₂} in the plane are non-spectral, where p>1 is odd, I_n is the n×n identity matrix, and e₁,…,e_n are the standard basis of unit column vectors in . One of the non-spectral problem on μ_M,D is to estimate the number of orthogonal exponentials in L²(μ_M,D) and to find them. In the present paper we show that, in both cases (i) and (ii), there are at most 4 mutually orthogonal exponentials in L²(μ_M,D) each, and the number 4 is the best.     

Pointwise bounds on eigenfunctions and wave packets in N-body quantum systems. VI. Asymptotics in the two-cluster region

We study the asymptotic behavior of the ground-state wave function of multiparticle quantum systems without statistics in that region of configuration space where the particles break up into two well-defined clusters very far apart. One example of our results is the following: consider a system of N particles moving in three dimensions with rotationally invariant two-body potentials which are bounded and have compact support. Let D = C₁,C₂ be a partition into two clusters so that H(C₁) and H(C₂) have discrete ground states η₁ and η₂ of energy ε₁ and ε₂. Suppose that Σ = ε₁ + ε₂ = inf σ_ess(H) and that H has a discrete ground state of energy E. Let ζ₁and ζ₂ denote internal coordinates for the clusters C₁ and c₂ and let R be the difference of the centers of mass of the clusters. Let μ = M₁M₂/M₁ + M₂with M_i the mass of clusters C_i and define k by k²/2m = Σ-E. Then as R → a8 with ¦ζ_i¦ bounded, we prove that (ζ₁,ζ₂, R) = cη(ζ₁)η(ζ₂)e^−kRR⁻¹(1+O(e^−γR)) for some γ, c > 0. We prove weaker conclusions under weaker hypotheses, including results in the atomic case.     

Geometric convergence to e−z by rational functions with real poles

Summary In this paper, we show that there exists a sequence of rational functions of the formR _n(z)=p_n–1(z)/(1+z/n)ⁿ,n=1, 2, ..., with degp _n–1n–1, which converges geometrically toe ^–z in the uniform norm on [0, +), as well as on some infinite sector symmetric about the positive real axis. We also discuss the usefulness of such rational functions in approximating the solutions of heat-conduction type problems.Research supported in part by the Air Force Office of Scientific Research under Grant AFOSR-74-2688, and by the University of South Florida Research Council.Research supported in part by the Air Force Office of Scientific Research under Grant AFOSR-74-2729, and by the Energy Research and Development Administration (ERDA) under Grant E(11-1)-2075.     

Limits on the real line of symmetric spaces on segments

In the same way as the known spacesM _p ,M _p , andI _p are constructed on the basis of the spaceL _p (–1, 1), we construct the corresponding limit spacesM _E ,M _E , andI _E on the real line on the basis of a symmetric function spaceE on a segment and study some of their Banach properties.Published in Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 1, pp. 46–55, January, 1995.     

Relative MilnorK-theory

LetR be a commutative, semi-local ring,I ₁, ...,I _s ideals. In this paper, we define therelative Milnor K-groups of (R;I ₁, ...,I _s ),K _p ^M (R;I ₁, ...,I _s ), and show that these groups have many of the properties of the usual MilnorK-groups of a field. In particular, assuming a weak condition on the ideals, we show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic to the weightp portion of the relative QuillenK-groupK _p (R;I ₁, ...,I _s ), after inverting (p–1)!. We also define the relative group homology of GL _n (R;I ₁, ...,I _s ), and show thatK _p ^M (R;I ₁, ...,I _s ) is isomorphic toH _p (GL_p(R;I ₁, ...,I _s ))/Im(H _p (GL _p–1 (R;I ₁, ...,I _s ))). Finally, we consider a generalization to the relative setting of Kato's conjecture asserting that the Galois symbol gives an isomorphism fromK _p ^M (F)/l ^v to , and show that this relative version of Kato's conjecture implies the Quillen-Lichtenbaum conjectures asserting the Chern class:

Small ball probabilities for a Wiener process under weighted sup-norms,with an application to the supremum of bessel local times

LetR be the radial part of ad-dimensional Wiener process, starting from 0. In this paper, small ball probabilities are evaluated for sup_0<11(t ^–p R(t)) and sup _t 0(e ^–1 R(t)), withp[0, 1/2]. Chung's law of the iterated logarithm is established for the supremum of the local times of a two-dimensional Bessel process.     

Two-Dimensional Graphs Moving by Mean Curvature Flow

A surface Σ is a graph in ?⁴ if there is a unit constant 2-form ω on ?⁴ such that <e ₁∧e ₂, ω≥v ₀>0 where {e ₁, e ₂} is an orthonormal frame on Σ. We prove that, if $ \vartheta _{0} \geqslant \frac{1} {{{\sqrt 2 }}} A surface Σ is a graph in ℝ⁴ if there is a unit constant 2-form ω on ℝ⁴ such that <e ₁∧e ₂, ω>≥v ₀>0 where {e ₁, e ₂} is an orthonormal frame on Σ. We prove that, if v ₀≥ on the initial surface, then the mean curvature flow has a global solution and the scaled surfaces converge to a self-similar solution. A surface Σ is a graph in M ₁×M ₂ where M ₁ and M ₂ are Riemann surfaces, if <e ₁∧e ₂, ω₁>≥v ₀>0 where ω₁ is a K?hler form on M ₁. We prove that, if M is a K?hler-Einstein surface with scalar curvature R, v ₀≥ on the initial surface, then the mean curvature flow has a global solution and it sub-converges to a minimal surface, if, in addition, R≥0 it converges to a totally geodesic surface which is holomorphic. Received July 25, 2001, Accepted October 11, 2001     

Sub-quadratic convergence of a smoothing Newton algorithm for the <Emphasis Type="Italic">P</Emphasis><Subscript><Emphasis Type="Italic">0</Emphasis></Subscript>– and monotone LCP

Given , the linear complementarity problem (LCP) is to find such that (x, s) 0,s=Mx+q,x^Ts=0. By using the Chen-Harker-Kanzow-Smale (CHKS) smoothing function, the LCP is reformulated as a system of parameterized smooth-nonsmooth equations. As a result, a smoothing Newton algorithm, which is a modified version of the Qi-Sun-Zhou algorithm [Mathematical Programming, Vol. 87, 2000, pp. 1–35], is proposed to solve the LCP with M being assumed to be a P₀-matrix (P₀–LCP). The proposed algorithm needs only to solve one system of linear equations and to do one line search at each iteration. It is proved in this paper that the proposed algorithm has the following convergence properties: (i) it is well-defined and any accumulation point of the iteration sequence is a solution of the P₀–LCP; (ii) it generates a bounded sequence if the P₀–LCP has a nonempty and bounded solution set; (iii) if an accumulation point of the iteration sequence satisfies a nonsingularity condition, which implies the P₀–LCP has a unique solution, then the whole iteration sequence converges to this accumulation point sub-quadratically with a Q-rate 2–t, where t(0,1) is a parameter; and (iv) if M is positive semidefinite and an accumulation point of the iteration sequence satisfies a strict complementarity condition, then the whole sequence converges to the accumulation point quadratically.This authors work is supported by the Hong Kong Research Grant Council and the Australian Research Council.This authors work is supported by Grant R146-000-035-101 of National University of Singapore.Mathematics Subject Classification (1991): 90C33, 65K10     

Separately continuous functions with respect to a variable frame

We show that the set D(f) of discontinuity points of a function f : R ² R continuous at every point p with respect to two variable linearly independent directions e ₁(p) and e ₂(p) is a set of the first category. Furthermore, if f is differentiable along one of directions, then D(f) is a nowhere dense set.__________Translated from Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 9, pp. 1281–1286, September, 2004.     

Partitioned matrices and Seidel convergence

Summary Without using spectral resolution, an elementary proof of convergence of Seidel iteration. The proof is based on the lemma (generalizing a lemma of P. Stein): If (A+A ^*)–B ^*(A+A ^*)B>0, whereB=–(P+L) ^–1 R,A=P+L (Lower)+R (upper), then Seidel iteration ofAX=Y ₀ converges if and only ifA+A ^*>0. This lemma has as corollaries not only the well-known results of E. Reich and Stein, but also applications to a matrix that can be far from symmetric, e.g.M=[A _ij ] ₁ ² , whereA ₂₁=–A ₁₂ ^* ,A ₁₁,A ₂₂ are invertible;A ₁₁ +A ₁₁ ^* =A₂₂+A ₂₂ ^* ; and the proper values ofA ₁₂ ^–1 A ₁₁,A ₁₂ ^*–1 A ₂₂ are in the interior of the unit disk.Supported under NSF GP 32527.Supported under NSF GP 8758.     

On the structure ofp-zero-sum free sequences and its application to a variant of Erdös-Ginzburg-Ziv theorem

Letp be any odd prime number. Letk be any positive integer such that . LetS = (a ₁,a ₂,...,a _2p−k ) be any sequence in ℤ_p such that there is no subsequence of lengthp of S whose sum is zero in ℤ_p. Then we prove that we can arrange the sequence S as follows:

Application of Hermite-Mahler polynomials to the approximation of the values ofp-adic exponential function

We shall give a further application of Hermite-Mahler polynomials to the consideration ofp-adic exponential function. An effective lower bound is obtained for max {| – | _p ,P(e )| _p }, where is an algebraic number satisfying || _p <p ^–/(p–1), and 0 is ap-adic number with | | _p depending on the degree of the polynomialPZ[y]. The bound obtained implies the transcendence ofe if ap-adic number satisfying 0 < || _p <p ^–/(p–1) is algebraic or can be well approximated by algebraic numbers.This work was carried out while the author was a research fellow of the Alexander von Humboldt Foundation.     

On Chebyshev–Markov Rational Functions over Several Intervals

Chebyshev–Markov rational functions are the solutions of the following extremal problem

Full-size image

withKbeing a compact subset of andω_n(x) being a fixed real polynomial of degree less thann, positive onK. A parametric representation of Chebyshev–Markov rational functions is found forK=[b₁, b₂]…[b_2p−1, b_2p], −∞<b₁b₂<…<b_2p−1b_2p<+∞ in terms of Schottky–Burnside automorphic functions.     

Dirac index classes and the noncommutative spectral flow

We present a detailed proof of the existence-theorem for noncommutative spectral sections (see the noncommutative spectral flow, unpublished preprint, 1997). We apply this result to various index-theoretic situations, extending to the noncommutative context results of Booss–Wojciechowski, Melrose–Piazza and Dai–Zhang. In particular, we prove a variational formula, in K_*(C_r^*(Γ)), for the index classes associated to 1-parameter family of Dirac operators on a Γ-covering with boundary; this formula involves a noncommutative spectral flow for the boundary family. Next, we establish an additivity result, in K_*(C_r^*(Γ)), for the index class defined by a Dirac-type operator associated to a closed manifold M and a map r:M→BΓ when we assume that M is the union along a hypersurface F of two manifolds with boundary M=M_{+ F} M₋. Finally, we prove a defect formula for the signature-index classes of two cut-and-paste equivalent pairs (M₁,r₁:M₁→BΓ) and (M₂,r₂:M₂→BΓ), where

M₁=M_{+ (F,φ1)} M₋, M₂=M_{+ (F,φ2)} M₋

and φ_jDiff(F). The formula involves the noncommutative spectral flow of a suitable 1-parameter family of twisted signature operators on F. We give applications to the problem of cut-and-paste invariance of Novikov's higher signatures on closed oriented manifolds.     

Temperely-Lieb Algebras and the Four-Color Theorem

The Temperley–Lieb algebra T_n with parameter 2 is the associative algebra over Q generated by 1,e₀,e₁, . . .,e_n, where the generators satisfy the relations if |i–j|=1 and e_ie_j=e_je_i if |i–j|2. We use the Four Color Theorem to give a necessary and sufficient condition for certain elements of T_n to be nonzero. It turns out that the characterization is, in fact, equivalent to the Four Color Theorem.* Partially supported by NSF under Grant DMS-9802859 and by NSA under grant MDA904-97-1-0015. Partially supported by NSF under Grant DMS-9623031 and by NSA under Grant MDA904-98-1-0517.     

Jung's relative constant of the space Lp

We prove that in real spaces L_p[0,1], 1p <, and _p Jung's relative constant is equal to 2^–1/r, wherer=max {p,p (p–1)^–1}. We obtain upper bounds for this quantity in finite-dimensional spaces _p ⁿ which are exact in some dimensions whenp2.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 1, pp. 122–125, January, 1990.     

A sharp form of Poincaré type inequalities on balls and spheres

Summary Letu be a real valued function on ann-dimensional Riemannian manifoldM ⁿ. We consider an inequality between theL ^q-norm ofu minus its mean value overM ⁿ and theL ^p-norm of the gradient ofu.The best constant in such inequality is exhibited in the following cases: i)M ⁿ is an open ball inIR ⁿ andp=1, 0<qn/(n–1); ii)M ⁿ is a sphere inIR ⁿ +1 and eitherp=1, 0<qn/(n–1) orp>n,q=.

---

Sunto Siau una funzione a valori reali dafinita su una varietà riemannianan-dimensionaleM ⁿ. Si considera una disuguaglianza tra la normaL ^q diu meno il suo valor medio suM ⁿ e la normaL ^p del gradiente diu.Si determina la costante ottimale in tale disuguaglianza nei seguenti casi: i)M ⁿ è un disco aperto inIR ⁿ ep=1, 0<qn/(n–1); ii)M ⁿ è una sfera inIR ⁿ +1 ep=1, 0<qn/(n–1) oppurep>n,q=.

     

On Some Euler Sequence Spaces of Nonabsolute Type

In the present paper, we introduce Euler sequence spaces e ₀ ^r and e _c ^r of nonabsolute type that are BK-spaces including the spaces c ₀ and c and prove that the spaces e ₀ ^r and e _c ^r are linearly isomorphic to the spaces c ₀ and c, respectively. Furthermore, some inclusion theorems are presented. Moreover, the α-, β-, γ- and continuous duals of the spaces e ₀ ^r and e _c ^r are computed and their bases are constructed. Finally, necessary and sufficient conditions on an infinite matrix belonging to the classes and are established, and characterizations of some other classes of infinite matrices are also derived by means of a given basic lemma, where 1 ≤ p ≤ ∞.__________Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 57, No. 1, pp. 3–17, January, 2005.     

On minimal non-orientable matroids with elements and rank

We describe an infinite family M_n,k, with n≥4 and 1≤k≤n−2, of minimal non-orientable matroids of rank n on a set with 2n elements. For k=1,n−2, M_n,k is isomorphic to the Bland–Las Vergnas matroid M_n. For every 2≤k≤n−3 a new minimal non-orientable matroid is obtained. All proper minors of the matroids M_n,k are representable over .     

Idempotent structure of Clifford algebras

Spinor spaces can be represented as minimal left ideals of Clifford algebras and they are generated by primitive idempotents. Primitive idempotents of the Clifford algebras R _{p, q} are shown to be products of mutually nonannihilating commuting idempotent % MathType!MTEF!2!1!+-% feaafeart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXafv3ySLgzGmvETj2BSbqefm0B1jxALjhiov2D% aebbfv3ySLgzGueE0jxyaibaiGc9yrFr0xXdbba91rFfpec8Eeeu0x% Xdbba9frFj0-OqFfea0dXdd9vqaq-JfrVkFHe9pgea0dXdar-Jb9hs% 0dXdbPYxe9vr0-vr0-vqpWqaaeaabaGaaiaacaqabeaadaqaaqGaaO% qaamaaleaaleaacaaIXaaabaGaaGOmaaaaaaa!3DBD!\[{\textstyle{1 \over 2}}\]2}}\](1+e _T ), where the k=q–r _q–p basis elements e _T satisfy e _T ²=1. The lattice generated by a set of mutually annihilating primitive idempotents is examined. The final result characterizes all Clifford algebras R _{p, q} with an anti-involution such that each symmetric elements is either a nilpotent or then some right multiple of it is a nonzero symmetric idempotent. This happens when p+q<-3 and (p, q)(2, 1).