Generalized symmetry of graphs — A survey

Symmetry of graphs has been extensively studied over the past fifty years by using automorphisms of graphs and group theory which have played and still play an important role for graph theory, and promising and interesting results have been obtained, see for examples, [L.W. Beineke, R.J. Wilson, Topics in Algebraic Graph Theory, Cambridge University Press, London, 2004; N. Biggs, Algebraic Graph Theory, Cambridge University Press, London, 1993; C. Godsil, C. Royle, Algebraic graph theory, Springer-Verlag, London, 2001; G. Hahn, G. Sabidussi, Graph Symmetry: Algebraic Methods and Application, in: NATO ASI Series C, vol. 497, Kluwer Academic Publishers, Dordrecht, 1997]. We introduced generalized symmetry of graphs and investigated it by using endomorphisms of graphs and semigroup theory. In this paper, we will survey some results we have achieved in recent years. The paper consists of the following sections.

1. Introduction

2. End-regular graphs

3. End-transitive graphs

4. Unretractive graphs

5. Graphs and their endomorphism monoids.

On the geometry of complex ‐spaces

It is known that applying an ‐homothetic deformation to a complex contact manifold whose vertical space is annihilated by the curvature yields a condition which is invariant under ‐homothetic deformations. A complex contact manifold satisfying this condition is said to be a complex ‐space. In this paper, we deal with the questions of Bochner, conformal and conharmonic flatness of complex ‐spaces when , and prove that such kind of spaces cannot be Bochner flat, conformally flat or conharmonically flat.     

Algebraic geometry of topological spaces I

We use techniques from both real and complex algebraic geometry to study K-theoretic and related invariants of the algebra C(X) of continuous complex-valued functions on a compact Hausdorff topological space X. For example, we prove a parameterized version of a theorem by Joseph Gubeladze; we show that if M is a countable, abelian, cancellative, torsion-free, semi-normal monoid, and X is contractible, then every finitely generated projective module over C(X)[M] is free. The particular case gives a parameterized version of the celebrated theorem proved independently by Daniel Quillen and Andrei Suslin that finitely generated projective modules over a polynomial ring over a field are free. The conjecture of Jonathan Rosenberg which predicts the homotopy invariance of the negative algebraic K-theory of C(X) follows from the particular case . We also give algebraic conditions for a functor from commutative algebras to abelian groups to be homotopy invariant on C ^*-algebras, and for a homology theory of commutative algebras to vanish on C ^*-algebras. These criteria have numerous applications. For example, the vanishing criterion applied to nil K-theory implies that commutative C ^*-algebras are K-regular. As another application, we show that the familiar formulas of Hochschild–Kostant–Rosenberg and Loday–Quillen for the algebraic Hochschild and cyclic homology of the coordinate ring of a smooth algebraic variety remain valid for the algebraic Hochschild and cyclic homology of C(X). Applications to the conjectures of Beĭlinson-Soulé and Farrell–Jones are also given.     

The spherical conjecture in Minkowski geometry

We show that the shapes of convex bodies containing m translates of a convex body K, so that their Minkowskian surface area is minimum, tends for growing m to a convex body L.Received: 7 January 2002     

The Fermat problem in Minkowski spaces

A weakly neighborly polyhedral map (w.n.p. map) is a 2-dimensional cell-complex which decomposes a closed 2-manifold without a boundary, such that for every two vertices there is a 2-cell containing them. We prove that there are just five distinct w.n.p. maps on the torus, and that only three of them are geometrically realizable as polyhedra with convex faces.     

Choquet simplexes in finite dimension — A survey

This survey covers various geometric results related to Choquet simplexes in the Euclidean space E^d; it describes the known properties of Choquet simplexes and marks still open problems.     

A pascal theorem applied to Minkowski geometry

If on an oval in a projective plane a 4-point Pascal theorem, , with fixed points U and V holds, then the oval is {(x,y) ¦xy=c} (O) (), with c O, in some Hall coordinatization. If for every 3 distinct points P, Q, R (not on UV; neither U nor V collinear with two of P, Q, R) there is through them a certain point set satisfying an extended version of , then all these sets together with all lines not through U or V form the circles of a plane Minkowski (= pseudoeuclidean) geometry over a commutative field. may be expressed in terms of Minkowski geometry. Together with incidence axioms derived from the protective incidence axioms, the Minkowski version of characterizes the plane Minkowski geometry over a commutative field and is thus equivalent to Miquel's theorem.     

The mean curvature flow in Minkowski spaces

Studying the geometric flow plays a powerful role in mathematics and physics. In this paper, we introduce the mean curvature flow on Finsler manifolds and give a number of examples of the mean curvature flow. For Minkowski spaces, a special case of Finsler manifolds, we prove the short time existence and uniqueness for solutions of the mean curvature flow and prove that the flow preserves the convexity and mean convexity. We also derive some comparison principles for the mean curvature flow.     

Smooth bump functions and the geometry of banach spaces: A brief survey

We give a brief survey of classical and recent results concerning smooth bump functions on Banach spaces.     

The embeddings of a graph—A survey

Topological graph theory seeks to find answers to the question of how graphs map into surfaces. This paper surveys the information now available about the range of a graph, namely, the set of surfaces on which the graph can be “neatly” embedded. Several other closely related topics, such as irreducible graphs, coloring problems, and crossing numbers, are ignored. As is quite often the case with mathematical theories, this discipline developed in a rather haphazard manner. Many isolated results existed before the practitioners became aware of the fact that they were developing a theory. The turning point occurred in 1968, when Ringel and Youngs completed their proof of the Heawood conjecture. Their proof, in addition to settling an old unsolved problem, also reinforced the significance of the rotation systems. It is the author's belief that these rotation systems, together with the generalized embedding schemes can, and should, become the main tool in all investigations concerning the embeddings of a graph. This survey is written from that point of view. After defining the scope of the area surveyed, this paper proceeds to discuss the significance of the rotation systems and embedding schemes. Several theorems of a general nature are listed. Attention is then focused on the maximum and minimum genera of a graph. Discussion of the first of these is deferred to another survey article by R. Ringeisen to appear in a subsequent issue. The various methods developed by researchers in this area for determining the (minimum) genus are then described. This is followed by a listing of all the theoretical information that is available about the genus parameter. The paper includes two tables that exhibit most of the graphs with known genus.     

Characterizations for Besov spaces and applications. Part I

The main theorem of this paper gives a characterization for holomorphic Besov space B^p(D) over a large class of bounded domains D in , which states that there is a bounded linear operator so that PV_D=I on B^p(D), where P is the Bergman projection, and is the biholomorphic invariant measure with K(z,z) being Bergman kernel function for D. Moreover, some application for characterizing Schatter von Neumann p-class small Hankel operation is given as a direct consequence of this theorem.     

The geometry of generalized Veronese spaces

We introduce and study the notion of a generalized (k-th) Veronese space associated with a partial linear space. Standard geometrical concepts (triangles, strong subspaces etc.) are interpreted in the defined structures (cf. 2.4, 2.11, 3.1). Then some basic features of veronesians are proved, in particular we establish which common geometrical axioms are preserved (cf. 2.6, 3.2, 3.5, 3.4, 3.6, and 4.11). Finally, we determine the automorphism groups of generalized Veronese spaces (cf. 5.10, 5.9, 6.4, and 6.5).     

Applications of various inequalities to Minkowski geometry

Given a finite-dimensional normed space with unit ballB, a natural question to ask is how small (or big) can the surface areas ofB (measured in its own metric) be. Using two different definitions of surface areas we give lower bounds for this quantity. In a separate section, we also show that (using one of the definitions of surface area) a suitably normalized solution to the isoperimetric problem is equal to the unit ball if and only if the ball is an ellipsoid.     

Numerical analysis for factorial data analysis. Part I: Numerical software — the package INDA for microcomputers

A large collection of factorial data analysis methods can be characterized by the following matrices: X , the k x n matrix of data, and A, B the symmetric positive definite matrices of size n, k which represent the chosen norms of ?ⁿ, ?^k, respectively. All methods amount to computing the largest eigenvalues of U = XAX^TB or the largest singular values of E = B^1/2XA^1/2 . In Part I of this paper we begin by a geometrical and probabilistic interpretation of the various methods, showing how U and E are defined in each case. We then define the computational kernel for factorial data analysis. We conclude by devising the numerical aspects of software implementation for this kernel on microcomputers and presenting the package INDA.