A Local Approach to 1-Homogeneous Graphs

Let bea distance-regular graph with diameter d. For vertices x and y of at distancei, 1 i d, we define the setsC _i(x,y) = i–1(x) (y), A _i (x,y) = _i (x) (y) and B _i (x,y) = _i+1(x) (y).Then we say has the CAB_j property,if the partition CAB _i (x,y) = {C _i (x,y),A _i (x,y),B _i (x,y)}of the local graph of y is equitable for each pairof vertices x and y of at distance i j. We show that in with the CAB_j property then the parameters ofthe equitable partitions CAB i(x,y) do not dependon the choice of vertices x and y atdistance i for all i j. The graph has the CAB property if it has the CAB _d property. We show the equivalence of the CAB property and the1-homogeneous property in a distance-regular graph with a ₁ 0. Finally, we classify the 1-homogeneous Terwilligergraphs with c ₂ 2.     

The Selberg trace formula for SL(3,Z)

In this article the first step toward the generalization of the Selberg trace formula to the case of a rank 2 symmetric space S and a discrete group for which the fundamental region \S goes to infinity nontrivially appears. For S we use the space SL(3,)/SO(3) and for we use SL(3,). The fundamental results are Theorems 9 and 10, in which is calculated the contribution to the matrix trace of the operator K which appears in the right side of the trace formula of the expression h()d^c(), where ^c() is the continuous part of the spectral measure of the quasiregular representation on the space IL₂(\S).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 63, pp. 8–66, 1976.     

On generalized gamma functions related to the Laurent coefficients of the Riemann zeta function

Summary We study a class of generalized gamma functions _k (z) which relate to the generalized Euler constants _k (basically the Laurent coefficients of(s)) as (z) does to the Euler constant. A new series expansion for _k is derived, and the constant term in the asymptotic expansion for log _k (z) is studied in detail. These and related constants are numerically computed for 1 k 15.     

Skew-symmetric association schemes with two classes and strongly regular graphs of type L 2n−1(4n−1)

A construction of a pair of strongly regular graphs ⁿ and ⁿ of type L _2n–1(4n–1) from a pair of skew-symmetric association schemes W, W of order 4n–1 is presented. Examples of graphs with the same parameters as ⁿ and ⁿ, i.e., of type L _2n–1(4n–1), were known only if 4n–1=p ³, where p is a prime. The first new graph appearing in the series has parameters (v, k, )=(225, 98, 45). A 4-vertex condition for relations of a skew-symmetric association scheme (very similar to one for the strongly regular graphs) is introduced and is proved to hold in any case. This has allowed us to check the 4-vertex condition for ⁿ and ⁿ, thus to prove that ⁿ and ⁿ are not rank three graphs if n>2.     

An indexed set of density bounds on lattice packings

It has long been known that the admissibility of a lattice with respect to a symmetric convex bodyB is equivalent to being a packing lattice for 1/2B. This fact is the basis of the interplay between the classical theory of the arithmetic minima of positive definite quadratic forms, on the one hand, and the dense lattice packing of spheres inR ⁿ , on the other.We give an indexed set of bounds _L (B) a _j , where 0 j n/2, on the lattice packing density ofB. The casej=0 reduces to the aforementioned long-known fact, andj=1 was proved by Elkies, Odlyzko, and Rush, and was used to obtain record high packing densities for various superballs. The new cases make possible the use of smaller primes in the construction of these dense packings.Supported by National Science Foundation grant DMS-9103233.     

On the dimensions of automorphism groups of eight-dimensional ternary fields,II

LetT be an eight-dimensional, connected, locally compact ternary field and let denote a connected closed Lie subgroup of its automorphism group which is taken with the compact-open topology. It is proved that if the ternary fixed fieldF of is connected, then is either isomorphic to one of the compact Lie groupsG ₂ or SU₃, or the (covering) dimension of is at most 7.     

Cusp structures of alternating links

Summary An alternating link is canonically associated with every finite, connected, planar graph . The natural ideal polyhedral decomposition of the complement of is investigated. Natural singular geometric structures exist onS ³– , with respect to which the geometry of the cusp has a shape reflecting the combinatorics of the underlying link projection. For the class of balanced graphs, this induces a flat structure on peripheral tori modelled on the tessellation of the plane by equilateral triangles. Examples of links containing immersed, closed ₁-injective surfaces in their complements are given. These surfaces persist after most surgeries on the link, the resulting closed 3-manifolds consequently being determined by their fundamental groups.Oblatum 20-V-1991     

Geometries of type Cn and F4 with flag-transitive automorphism groups

Let be a finite thick geometry of type C_n (n 4) or F₄. We prove that is a building iff Aut() is flag-transitive.     

Powers of the curvature operator of space forms and geodesics of the tangent bundle

It is well known that if is a geodesic line of the tangent (sphere) bundle with Sasaki metric of a locally symmetric Riemannian manifold, then all geodesic curvatures of the projected curve = _1463-01 are constant. In this paper, we consider the case of the tangent (sphere) bundle over real, complex, and quaternionic space forms and give a unified proof of the following property: All geodesic curvatures of the projected curve are zero beginning with k ₃, k ₆, and k ₁₀ for the real, complex, and quaternionic space forms, respectively.__________Published in Ukrainskyi Matematychnyi Zhurnal, Vol. 56, No. 9, pp. 1231–1243, September, 2004.     

ApproximatingL 2-invariants by their finite-dimensional analogues

LetX be a finite connectedCW-complex. Suppose that its fundamental group is residually finite, i.e. there is a nested sequence ... _m + 1 _m ... of in normal subgroups of finite index whose intersection is trivial. Then we show that thep-thL ²-Betti number ofX is the limit of the sequenceb _p(X_m)/[: _m ] whereb _p(X_m) is the (ordinary)p-th Betti number of the finite covering ofX associated with _m .     

Disintegration with respect to L p-density functions and singular measures

Summary Let A be a real or complex commutative ordered algebra with identity and involution. Let denote the set of positive multiplicative linear functionals on A. Equip with the topology of simple convergence. For a fixed non-negative probability measure on the set _p of linear functionals f on A which admit an integral representation of the form with FL _p () (1p) is biuniquely identified with L _p () via the map tfF. The norm on _p under which this map becomes an isometry is characterized and a formula for approximating F is derived. The linear functionals which admit representation of the form with are also characterized and appropriately normed. The theory is applied to solve abstract versions of trigonometric and n-dimensional moment problems as well as provide an alternate point of view to the theory of L _p-spaces. New proofs of classical theorems are offered.Research for this paper was sponsored in part by the Danish Natural Science Research Council (Grant No.511-10302) and in part by the National Science Foundation (Grant No. MCS78-03397)The results contained herein include the proofs of theorems announced in [15]     

Zur Vollständigkeit der Induktiven Gruppoide der Partiellen Automorphismen von Algebren

For any algebraA let(A) be the set of partial automorphisms (isomorphisms between subalgebras). With the natural multiplication it is an inductive groupoid in the sense of Ehresmann.(A) is complete iff every subset of(A) which is compatible with the semi-ordering has an upper bound. The fact, whether(A) is complete or not, depends on the defining operations ofA. For every direct familyF = (, (A ) ,()_, , of algebras such that all ,, with are one-to-one functions, the direct limit is complete iff all(A) are complete. We give some theorems on the decomposition of inductive groupoids, and employ them in proving the completeness of(A) to variousA.In particular, we obtain that, in case whenG is a finite group,(G) is complete iffG is either cyclic or direct product of a noncyclic group of order 4 and a cyclic group of odd order. For finite acyclic ringsR and finite fieldsK the inductive groupoids(R) and(K) are complete.Further we deal with the question, to what extent algebras are determined by their inductive groupoids. (An algebraA of a classS is defined by(A) iff, for any algebraB of the classS, isomorphism between(A) and(B) implies isomorphism betweenA andB.) Particular attention is paid to finite groups. In general, algebras of classesS are not defined within the classS by their inductive groupoids.

     

On the critical set for photogrammetric reconstruction using line tokens in P 3(ℂ)

We prove that in general the critical set for photogrammetric reconstruction using lines in P ₃() is a line congruence of order 3 and class 6; has 10 singular points and no singular planes. The general hyperplane sections of (ruled surfaces formed by intersecting with linear line complexes) have genus 5. can be found in Fano's classification of congruences of order 3, and further properties of can be found in the literature.     

Isoperimetric inequalities for lattices in semisimple lie groups of rank 2

LetG be a connected semisimple Lie group with finite center. Let be an irreducible non-uniform lattice inG. We show that if the real rank ofG is 2, then the Dehn (or filling) function of is exponential.     

On the null-controllability of linear discrete-time systems with restrained controls

This paper is devoted to the null-controllability problem for linear, autonomous, discrete-time systems with restrained controls, i.e., systems described by the equationx _k+1=Ax _k+u _k,u _k , where 0 , but is not necessarily an interior point of . Some criteria for local and global null controllability are given with proofs. These results can be considered as extensions to discrete-time systems of the known corresponding criteria for linear, continuous-time systems.     

Cauchy-type integrals in domains with smooth boundary

Let be a conformal mapping of the unit circle onto the domain bounded by a curve of classC ¹. There exist curves such that the function (f·) is not necessarily a Cauchy type integral in the unit circle when f is a Cauchy type integral in Int .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 173–174, 1987.In conclusion, I express my gratitude to S. A. Vinogradov and V. P. Khavin for advice and for their interest in this note.     

Hypergraphs and hypergroups

We associate to every hypergraph a commutative quasi-hypergroupH _qG and find a necessary and sufficient condition on so thatH is associative. For certain, any finite included, we determine a sequence= ₀, ₁,, _n of hypergraphs such that ifH ₀ ,H ₁ ,H, H _n is the sequence of the associated quasi-hypergroups,H _n is a join space.Presented by I. Rosenberg.     

Monotone subsequences in (0, 1)-matrices

A (0, 1)-matrix contains anS ₀(k) if it has 0-cells (i, j ₁), (i + 1,j ₂),..., (i + k – 1,j _k) for somei andj ₁ < ... < j_k, and it contains anS ₁(k) if it has 1-cells (i ₁,j), (i ₂,j + 1),...,(i _k ,j + k – 1) for somej andi ₁ < ... <i _k . We prove that ifM is anm × n rectangular (0, 1)-matrix with 1 m n whose largestk for anS ₀(k) isk ₀ m, thenM must have anS ₁(k) withk m/(k ₀ + 1). Similarly, ifM is anm × m lower-triangular matrix whose largestk for anS ₀(k) (in the cells on or below the main diagonal) isk ₀ m, thenM has anS ₁(k) withk m/(k ₀ + 1). Moreover, these results are best-possible.     

The graph of an abstract polytope

Recently a generalization of simple convex polytopes to combinatorial entities known as abstract polytopes has been proposed. The graph of an abstract polytope of dimensiond is a regular connected graph of degreed. Given a connected regular graph of degreed, it is interesting to find out whether it is the graph of some abstract polytopeP. We obtain necessary and sufficient conditions for this, in terms of the existence of a class of simple cycles in satisfying certain properties. The main result in this paper is that if a pair of simple convex polytopes or abstract polytopes have the same two-dimensional skeleton, then they are isomorphic. Every two-dimensional face of a simple convex polytope or an abstract polytope is a simple cycle in its graph. Given the graph of a simple convex polytope or an abstract polytope and the simple cycles in this graph corresponding to all its two-dimensional faces, then we show how to construct all its remaining faces. Given a regular connected graph and a class of simple cylesD in it, we provide necessary and sufficient conditions under whichD is the class of two-dimensional faces of some abstract polytope which has as its graph.This research has been partially supported by the ISDOS Research Project at the Department of Industrial and Operations Engineering, and by the National Science Foundation under Grant No. GK-27872 with the University of Michigan.     

Eigenvalues of integral operators onL 2(I) given by analytic kernels

Let {_n} _n=0 be the eigenvalue sequence of a symmetric Hilbert-Schmidt operator onL ₂(I). WhenI is an open interval, a necessary condition for {_n} _n=0 to be in the sequence space is obtained. WhenI is a closed bounded interval, sufficient conditions for {_n} _n=0 to be in the sequence space ^– are obtained.