The Terwilliger Algebra of a Distance-Regular Graph that Supports a Spin Model

Let denote a distance-regular graph with vertex set X, diameter D 3, valency k 3, and assume supports a spin model W. Write W = _{i = 0}^D t_i A_i where A_i is the ith distance-matrix of . To avoid degenerate situations we assume is not a Hamming graph and t_i {t₀, –t₀ } for 1 i D. In an earlier paper Curtin and Nomura determined the intersection numbers of in terms of D and two complex parameters and q. We extend their results as follows. Fix any vertex x X and let T = T(x) denote the corresponding Terwilliger algebra. Let U denote an irreducible T-module with endpoint r and diameter d. We obtain the intersection numbers c_i(U), b_i(U), a_i(U) as rational expressions involving r, d, D, and q. We show that the isomorphism class of U as a T-module is determined by r and d. We present a recurrence that gives the multiplicities with which the irreducible T-modules appear in the standard module. We compute these multiplicites explicitly for the irreducible T-modules with endpoint at most 3. We prove that the parameter q is real and we show that if is not bipartite, then q > 0 and is real.AMS 2000 Subject Classification: Primary 05E30     

The asymptotic behaviour of local times and occupation integrals of theN-parameter Wiener process in R d

Summary LetL(x, T),xR ^d ,TR ₊ ^N , be the local time of theN-parameter Wiener processW taking values inR ^d . Even in the distribution valued casedd2N,L can be described in a series representation by means of multiple Wiener-Ito integrals. This setting proves to be a good starting point for the investigation of the asymptotic behaviour ofL(x, T) as |x|0 and/orT and of related occupation integrals asT. We obtain the rates of explosion in laws of the first order, i.e. normalized convergence laws forL(x, T) resp.X _T (f), and of the second order, i.e. normalized convergence laws forL(x, T)–E(L(x, T)) resp.X _T (f)–E(X _T (f)).This research was made during a stay at the LMU in München supported by DAAD     

Note on weakly mixing transformations

Summary LetT be a weakly mixing transformation with respect to a probability measureP on a metric space (X, d). Suppose further that every open ball of (X, d) has positive measure. Then we show that, for anyP-measurable setA withP(A) > 0, lim supD _k (T ⁿ A) =D _k (X) fork = 2, 3,, whereD _k (B) is the geometric diameter of orderk of a subsetB ofX. It is shown further that D _k can be replaced by essD _k , in the case whenTB is measurable wheneverB is measurable. These results complement a previous one due to R. E. Rice for strongly mixing transformations and improve a result of C. Sempi on weakly mixing transformations.     

Black holes on the plane drawn by a Wiener process

Summary We say that the discD()R ², of radius , located around the origin isp-covered in timeT by a Wiener processW(·) if for anyzD() there exists a 0tT such thatW(t) is a point of the disc of radiusp, located aroundz. The supremum of those 's (0) is studied for which,D() isp-covered inT.     

An algebraic characterization of geodetic graphs

We say that a binary operation * is associated with a (finite undirected) graph G (without loops and multiple edges) if * is defined on V(G) and uv E(G) if and only if u v, u * v = v and v * u = u for any u, v V(G). In the paper it is proved that a connected graph G is geodetic if and only if there exists a binary operation associated with G which fulfils a certain set of four axioms. (This characterization is obtained as an immediate consequence of a stronger result proved in the paper).     

Asymptotics for the Euclidean TSP with power weighted edges

Summary LetU ₁,...,U_n denote i.i.d. random variables with the uniform distribution on [0, 1]², and letT ²T²(U₁,...,U_n) denote the shortest tour throughU ₁,...,U_n with square-weighted edges. By drawing on the quasi-additive structure ofT ² and the boundary rooted dual process, it is shown that lim _n E T ²(U ₁,...,U_n)= for some finite constant .This work was supported in part by NSF Grant DMS-9200656, Swiss National Foundation Grant 21-298333.90, and the US Army Research Office through the Mathematical Sciences Institute of Cornell University, whose assistance is gratefully acknowledged     

Groups of spacetime transformations and symmetries of four-dimensional spacetime. I

The relativistic 4-interval (X-X ₍₀₎ ²=s ₂ ⁽⁰⁾ is interpreted as a 4-hyperboloid of radiuss ₍₀₎ and center at the pointX ⁽⁰⁾ that is formed by particles radiated isotropically from its center with velocities 0<1 whose positions in 4d spacetime are fixed at a proper times _(0)/c that is the same for all of them. Therefore, the 4-hyperboloid can be regarded as a mathematical model of an isotropically radiating source, and all transformations of the spacetime variables that leave its equation invariant have a physical meaning and determine the symmetry properties of 4d spacetime. These transformations form the group of motions of a rotating 4-hyperboloid. For constant radiuss ₍₀₎=const, its configuration space is the 8-dimensional bundleR(1,3)=R(1,3) (1,3), and the minimal group of motions isK=P O(1,3). It is shown that the well-known groupsP andO(1,3) are defined, respectively, only on the baseR(1,3) and only on the fiber (1,3) of the spaceR(1,3) and that the symmetry properties of 4d spacetime introduced by them are incomplete. The groupK extends the isotropy property of 4d spacetime to moving frames of reference. The group of spacetime transformations is extended to the case ofN bundles. It is shown that the new interpretation of the 4-interval makes it necessary to assume that the radiuss ₍₀₎ is variable. The groups of motion of a 4-hyperboloid of variable radius are constructed in the second part of the paper. They introduce new symmetry properties of 4d spacetime.D. V. Efremov Institute of Electrophysical Apparatus. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 100, No. 3, pp. 458–475, September, 1994.     

Estimating non-linear functions of the spectral density,using a data-taper

Letf() be the spectral density of a Gaussian stationary process. Consider periodogram-based estimators of integrals of certain non-linear functions off(), like , where () is a bounded function of bounded variation, possibly depending on the sample sizeT. Then it is known that, under mild conditions on , a central limit theorem holds for these statisticsH _T if the non-tapered periodogramI _T() is used. In particular, Taniguchi (1980,J. Appl. Probab.,17, 73–83) gave a consistent and asymptotic normal estimator of , choosing to be a suitable transform of a given function . In this work we shall generalize this result to statisticsH _T where a taper-modified periodogram is used. We apply our result to the use of data-tapers in nonparametric peak-insensitive spectrum estimation. This was introduced in von Sachs (1994,J. Time Ser. Anal.,15, 429–452) where the performance of this estimator was shown to be substantially improved by using a taper.This work has been supported by the Deutsche Forschungsgemeinschaft.     

A White Noise Approach to Stochastic Neumann Boundary-Value Problems

We illustrate the use of white noise analysis in the solution of stochastic partial differential equations by explicitly solving the stochastic Neumann boundary-value problem LU(x)–c(x)U(x)=0, xDR ^d ,(x)U(x)=–W(x), xD, where L is a uniformly elliptic linear partial differential operator and W(x), xR ^d , is d-parameter white noise.     

Modulation spaces and pseudodifferential operators

We use methods from time-frequency analysis to study boundedness and traceclass properties of pseudodifferential operators. As natural symbol classes, we use the modulation spaces onR ^2d , which quantify the notion of the time-frequency content of a function or distribution. We show that if a symbol lies in the modulation spaceM _,1 (R ^2d ), then the corresponding pseudodifferential operator is bounded onL ²(R ^d ) and, more generally, on the modulation spacesM _p,p (R ^d ) for 1p. If lies in the modulation spaceM _2,2 ^s (R ^2d )=L _s ^/2 (R ^2d )H ^s (R ^2d ), i.e., the intersection of a weightedL ²-space and a Sobolev space, then the corresponding operator lies in a specified Schatten class. These results hold for both the Weyl and the Kohn-Nirenberg correspondences. Using recent embedding theorems of Lipschitz and Fourier spaces into modulation spaces, we show that these results improve on the classical Calderòn-Vaillancourt boundedness theorem and on Daubechies' trace-class results.     

A r (Ω)-Weighted Imbedding Inequalities for A-Harmonic Tensors

We prove the basic A _r ()-weighted imbedding inequalities for A-harmonic tensors. These results can be used to estimate the integrals for A-harmonic tensors and to study the integrability of A-harmonic tensors and the properties of the homotopy operator T: C (D, ^l )C (D, ^l–1).     

On the Derived Invariance of Cohomology Theories for Coalgebras

We study the derived invariance of the cohomology theories Hoch ^*, H ^* and HC ^* associated with coalgebras over a field. We prove a theorem characterizing derived equivalences. As particular cases, it describes the two following situations: (1) f: CD a quasi-isomorphism of differential graded coalgebras, (2) the existence of a cotilting bicomodule _C T _D . In these two cases we construct a derived-Morita equivalence context, and consequently we obtain isomorphisms Hoch ^*(C)Hoch ^*(D) and H ^*(C)H ^*(D). Moreover, when we have a coassociative map inducing an isomorphism H ^*(C)H ^*(D) (for example, when there is a quasi-isomorphism f: CD), we prove that HC ^*(C)HC ^*(D).     

On the abstract Cauchy problem for the operator\frac{{d^2 }}{{dt^2 }} - A.

LetX be a Banach space, A a closed operator with dense domainD(A) and non-void resolvent set; topologized by the semi-norm system. We prove that the Cauchy problem is well posed in the sense of distributions for the operator d²/dt²–A if and only if A restricted toD generates a locally — equicontinuous cosine function of class C inL _S D . This is an extension of Ushijima's smoothness result of distribution semi-groups [10].     

An Inequality Involving the Local Eigenvalues of a Distance-Regular Graph

Let denote a distance-regular graph with diameter D 3, valency k, and intersection numbers a _i, b _i, c _i. Let X denote the vertex set of and fix x X. Let denote the vertex-subgraph of induced on the set of vertices in X adjacent X. Observe has k vertices and is regular with valency a ₁. Let _{1 2} ··· _k denote the eigenvalues of and observe ₁ = a ₁. Let denote the set of distinct scalars among ₂, ₃, ..., _k . For let mult denote the number of times appears among ₂, ₃,..., _k . Let denote an indeterminate, and let p ₀, p₁, ...,p _D denote the polynomials in [] satisfying p ₀ = 1 andp _i = c _i+1 p _i+1 + (a _i – c _i+1 + c _i)p _i + b _i p _i–1 (0 i D – 1),where p _–1 = 0. We show where we abbreviate = –1 – b ₁(1+)^–1. Concerning the case of equality we obtain the following result. Let T = T(x) denote the subalgebra of Mat _X ( ) generated by A, E*₀, E*₁, ..., E* _D , where A denotes the adjacency matrix of and E* _i denotes the projection onto the ith subconstituent of with respect to X. T is called the subconstituent algebra or the Terwilliger algebra. An irreducible T-module W is said to be thin whenever dimE* _i W 1 for 0 i D. By the endpoint of W we mean min{i|E* _i W 0}. We show the following are equivalent: (i) Equality holds in the above inequality for 1 i D – 1; (ii) Equality holds in the above inequality for i = D – 1; (iii) Every irreducible T-module with endpoint 1 is thin.     

Multivalued Stochastic Differential Equations: Convergence of a Numerical Scheme

In this paper we show the strong mean square convergence of a numerical scheme for a R ^d -multivalued stochastic differential equation: dX _t +A(X _t )dtb(t,X _t )dt+(t,X _t )dW _t and obtain the rate of convergence O(( log(1/)^1/2) when the diffusion coefficient is bounded. By introducing a discrete Skorokhod problem, we establish L ^p -estimates (p2) for the solutions and prove the convergence by using a deterministic result. Numerical experiments for the rate of convergence are presented.     

On the Cauchy problem for D t 2–D x a(t,x) n D x

Abstract The well posedness of the Cauchy problem for the operator P=D_t²–D_xa(t,x)ⁿD_x, with data on t=0 is studied assuming a ∈ C^N( (R)), s₀>1 and sufficiently close to 1, a(t,x)≥ 0. Well posedness is proved in Gevrey classes γ^(s), for , n≥ n₀. Keywords: Partial differential equations, Cauchy problem, Well posedness     

The addition formula for theta functions

Summary In this paper we solve the functional equationx(u + v)(u – v) = f ₁(u)g₁(v) + f₂(u)g₂(v) under the assumption thatx, , f ₁, f₂, g₁, g₂ are complex-valued functions onR ⁿ ,n N arbitrary, and 0 and 0 are continuous. Our main result shows that, apart from degeneracy and some obvious modifications, theta functions of one complex variable are the only continuous solutions of this functional equation.     

Mappings on Spaces of Continuous Functions

Let X and Y be locally compact Hausdorff spaces and T : C₀(X) C₀(Y) a ring homomorphism. We completely characterize such homomorphisms and show that if T is R-linear, then T is either C-linear or C-antilinear. In any case T is continuous and there is a continuous map : Y X such that Tf = f o , f C₀(X) (if T is C-linear) or (if T is C-antilinear). Thus, extending a result of Mólnar, we also derive the general form of an isometry T.AMS Subject Classification (2000): primary 46J05, 46E25(deceased) Passed away on 24 May 1999.     

Isotropic random walks in a tree

Summary Let T be an infinite homogeneous tree of order a+1. We study Markov chains {X _n} in T whose transition functions p(x, y)=A[d(x,y)] depend only on the shortest distance between x and y in the graph. The graph T can be represented as a symmetric space of a p-adic matrix group; we prove a series of results using essentially the spherical functions of this symmetric space. Theorem 1. d(X _n,x) n a.s., where >0 if A(0) 1, X ₀=x. Assuming {X _n} is strongly aperiodic, Theorem 2. p ₂(x, y)CRⁿ/n^3/2 for fixed x, y where R=(d) A(d)<1, and if E[d(X₁, X₀)²]<, Theorem 3. R(1–u, x, y) = (1–u)ⁿp_n(x, y)=Ca^–d[exp(–du/)+o_d(1)] as d=d(x,y) uniformly for 0u2. Using Theorem 3, we calculate the Martin boundary Dirichlet kernel of p(x, y) on T, which turns out to be independent of {itA(d)}. We also consider a stepping-stone model of a randomly-mating-and-migrating population on the nodes of T. If initially all individuals are distinct, then in generation n approximately half of the individuals of a given type are within n of a typical one and essentially all are within 2n.This work was partially supported by the National Science Foundation under grant number MCS 75-08098-A01For the academic year 1977–78: Department of Mathematics GN-50, University of Washington, Seattle, Washington 98195 USA