Non-zero component union graph of a finite-dimensional vector space

In this paper, we introduce a graph structure, called non-zero component union graph on finite-dimensional vector spaces. We show that the graph is connected and find its domination number, clique number and chromatic number. It is shown that two non-zero component union graphs are isomorphic if and only if the base vector spaces are isomorphic. In case of finite fields, we study the edge-connectivity and condition under which the graph is Eulerian. Moreover, we provide a lower bound for the independence number of the graph. Finally, we come up with a structural characterization of non-zero component union graph.     

Subspace Inclusion Graph of a Vector Space

In this paper, the authors introduce a graph structure, called subspace inclusion graph ?n(𝕍) on a finite dimensional vector space 𝕍 where the vertex set is the collection of nontrivial proper subspaces of a vector space and two vertices are adjacent if one is contained in other. The diameter, girth, clique number, and chromatic number of ?n(𝕍) are studied. It is shown that two subspace inclusion graphs are isomorphic if and only if the base vector spaces are isomorphic. Finally, some properties of subspace inclusion graph are studied when the base field is finite.     

Hyperbolic structure preserving isomorphisms of Markov shifts

In this paper we consider metric isomorphisms of Markov shifts which are also isomorphisms of the hyperbolic structures of the shift spaces. We prove that such isomorphisms need not be finitary, and that finitary isomorphisms need not preserve the hyperbolic structures unless they have finite expected code lengths. In particular we show that certain explicity computable invariants previously associated with finitary isomorphisms with finite expected code lengths are, in fact, invariants of the hyperbolic structure of the Markov shifts.     

Root Systems In Finite Symplectic Vector Spaces

We study realizations of root systems in possibly degenerate symplectic vector spaces over finite fields, up to symplectic isomorphisms. The main result of this article is the classification of such realizations for the field 𝔽₂. Thereby, each root system requires a specific degree of degeneracy of the symplectic vector space. Our main motivation for this article is that for each such realization of a root system we can construct a Nichols algebra over a nonabelian group.     

A logician's view of graph polynomials

Graph polynomials are graph parameters invariant under graph isomorphisms which take values in a polynomial ring with a fixed finite number of indeterminates. We study graph polynomials from a model theoretic point of view. In this paper we distinguish between the graph theoretic (semantic) and the algebraic (syntactic) meaning of graph polynomials. Graph polynomials appear in the literature either as generating functions, as generalized chromatic polynomials, or as polynomials derived via determinants of adjacency or Laplacian matrices. We show that these forms are mutually incomparable, and propose a unified framework based on definability in Second Order Logic. We show that this comprises virtually all examples of graph polynomials with a fixed finite set of indeterminates. Finally we show that the location of zeros and stability of graph polynomials is not a semantic property. The paper emphasizes a model theoretic view. It gives a unified exposition of classical results in algebraic combinatorics together with new and some of our previously obtained results scattered in the graph theoretic literature.     

Rational homotopy theory for non-simply connected spaces

We construct an algebraic rational homotopy theory for all connected CW spaces (with arbitrary fundamental group) whose universal cover is rationally of finite type. This construction extends the classical theory in the simply connected case and has two basic properties: (1) it induces a natural equivalence of the corresponding homotopy category to the homotopy category of spaces whose universal cover is rational and of finite type and (2) in the algebraic category, homotopy equivalences are isomorphisms. This algebraisation introduces a new homotopy invariant: a rational vector bundle with a distinguished class of linear connections.

     

Symmetrized Induced Ramsey Theory

We prove induced Ramsey theorems in which the monochromatic induced subgraph satisfies that all members of a prescribed set of its partial isomorphisms extend to automorphisms of the colored graph (without requirement of preservation of colors). We consider vertex and edge colorings, and extensions of partial isomorphisms in the set of all partial isomorphisms between singletons as considered by Babai and Sós (European J Combin 6(2):101–114, 1985), the set of all finite partial isomorphisms as considered by Hrushovski (Combinatorica 12(4):411–416, 1992), Herwig (Combinatorica 15:365–371, 1995) and Herwig-Lascar (Trans Amer Math Soc 5:1985–2021, 2000), and the set of all total isomorphisms. We observe that every finite graph embeds into a finite vertex transitive graph by a so called bi-embedding, an embedding that is compatible with a monomorphism between the corresponding automorphism groups. We also show that every countable graph bi-embeds into Rado’s universal countable graph Γ.     

Symmetries of directed graphs and the Chinese remainder theorem

It is shown that a permutation group on a finite set is the automorphism group of some directed graph if and only if a generalized Chinese remainder theorem holds for the family of stabilizers. This result can be applied to examine some special permutation groups, including the general linear groups of finite vector spaces.     

Finite metric spaces of strictly negative type

We prove that, if a finite metric space is of strictly negative type, then its transfinite diameter is uniquely realized by the infinite extender (load vector). Finite metric spaces that have this property include all spaces on two, three, or four points, all trees, and all finite subspaces of Euclidean spaces. We prove that, if the distance matrix is both hypermetric and regular, then it is of strictly negative type. We show that the strictly negative type finite subspaces of spheres are precisely those which do not contain two pairs of antipodal points. In connection with an open problem raised by Kelly, we conjecture that all finite subspaces of hyperbolic spaces are hypermetric and regular, and hence of strictly negative type.     

Geometric structures encoded in the lie structure of an Atiyah algebroid

We investigate Atiyah algebroids, i.e. the infinitesimal objects of principal bundles, from the viewpoint of the Lie algebraic approach to space. First we show that if the Lie algebras of smooth sections of two Atiyah algebroids are isomorphic, then the corresponding base manifolds are necessarily diffeomorphic. Further, we give two characterizations of the isomorphisms of the Lie algebras of sections for Atiyah algebroids associated to principal bundles with semisimple structure groups. For instance we prove that in the semisimple case the Lie algebras of sections are isomorphic if and only if the corresponding Lie algebroids are, or, as well, if and only if the integrating principal bundles are locally isomorphic. Finally, we apply these results to describe the isomorphisms of sections in the case of reductive structure groups—surprisingly enough they are no longer determined by vector bundle isomorphisms and involve dive rgences on the base manifolds.     

A relation between tilting graphs and cluster-tilting graphs of hereditary algebras

We give the condition of isomorphisms between tilting graphs and cluster-tilting graphs of hereditary algebras. As a conclusion, it is proved that a graph is a skeleton graph of Stasheff polytope if and only if it is both the tilting graph of a hereditary algebra and also the cluster-tilting graph of another hereditary algebra. At last, when comparing such uniformity, the geometric realizations of simplicial complexes associated with tilting modules and clustertilting objects are discussed respectively.     

Flow equivalence and orbit equivalence for shifts of finite type and isomorphism of their groupoids

We give conditions for when continuous orbit equivalence of one-sided shift spaces implies flow equivalence of the associated two-sided shift spaces. Using groupoid techniques, we prove that this is always the case for shifts of finite type. This generalises a result of Matsumoto and Matui from the irreducible to the general case. We also prove that a pair of one-sided shift spaces of finite type are continuously orbit equivalent if and only if their groupoids are isomorphic, and that the corresponding two-sided shifts are flow equivalent if and only if the groupoids are stably isomorphic. As applications we show that two finite directed graphs with no sinks and no sources are move equivalent if and only if the corresponding graph $C^{?}$-algebras are stably isomorphic by a diagonal-preserving isomorphism (if and only if the corresponding Leavitt path algebras are stably isomorphic by a diagonal-preserving isomorphism), and that two topological Markov chains are flow equivalent if and only if there is a diagonal-preserving isomorphism between the stabilisations of the corresponding Cuntz–Krieger algebras (the latter generalises a result of Matsumoto and Matui about irreducible topological Markov chains with no isolated points to a result about general topological Markov chains). We also show that for general shift spaces, strongly continuous orbit equivalence implies two-sided conjugacy.     

Frucht theorem for inverse semigroups

In the paper, the problem of representing a finite inverse semigroup by partial transformations of a graph is treated. The notions of weighted graph and its weighted partial isomorphisms are introduced. The main result is that any finite inverse semigroup is isomorphic to the semigroup of weighted partial isomorphisms of a weighted graph. This assertion is a natural generalization of the Frucht theorem for groups. Translated fromMatematicheskie Zametki, Vol. 61, No. 2, pp. 246–251, February, 1997. This research was partially supported by the International Science Foundation under grant No. GSU 041049. Translated by A. I. Shtern     

Piecewise affine functions and polyhedral sets ∗

In this paper we present a number of characterizations of piecewise affine and piecewise linear functions defined on finite dimesional normed vector spaces. In particular we prove that a real-valued function is piecewise affine [resp. piecewise linear] if both its epigraph and its hypograph are (nonconvex) polyhedral sets[resp..Polyhedral cones]. Also,We show that the collection of all piecewise affine[resp.piecewise linear] functions. Furthermore, we prove that a function is piecewise affine[resp.piecewise linear] if it can be represented as a difference of two convex [resp.,sublinear] polyhedral fucntions.     

Bivariant K-theory via correspondences

We use correspondences to define a purely topological equivariant bivariant K-theory for spaces with a proper groupoid action. Our notion of correspondence differs slightly from that of Connes and Skandalis. Our construction uses no special features of equivariant K-theory. To highlight this, we construct bivariant extensions for arbitrary equivariant multiplicative cohomology theories.We formulate necessary and sufficient conditions for certain duality isomorphisms in the topological bivariant K-theory and verify these conditions in some cases, including smooth manifolds with a smooth cocompact action of a Lie group. One of these duality isomorphisms reduces bivariant K-theory to K-theory with support conditions. Since similar duality isomorphisms exist in Kasparov theory, the topological and analytic bivariant K-theories agree if there is such a duality isomorphism.     

A representation theorem for measurable relation algebras

A relation algebra is called measurable when its identity is the sum of measurable atoms, where an atom is called measurable if its square is the sum of functional elements.In this paper we show that atomic measurable relation algebras have rather strong structural properties: they are constructed from systems of groups, coordinated systems of isomorphisms between quotients of the groups, and systems of cosets that are used to “shift” the operation of relative multiplication. An atomic and complete measurable relation algebra is completely representable if and only if there is a stronger coordination between these isomorphisms induced by a scaffold (the shifting cosets are not needed in this case). We also prove that a measurable relation algebra in which the associated groups are all finite is atomic.     

The colorings of homeomorphisms on connected graphs

In this paper, we decide the exact value of the color number of a fixed point free homeomorphism on a connected locally finite graph. We prove that for every fixed-point free homeomorphism from a connected locally finite graph into itself, the greatest common divisor of all period for its map is equal to one or three if and only if its color number is 4.     

Energy of Radial Vector Fields on Compact Rank One Symmetric Spaces

We consider the energy (or the total bending) of unit vector fields oncompact Riemannian manifolds for which the set of its singularitiesconsists of a finite number of isolated points and a finite number ofpairwise disjoint closed submanifolds. We determine lower bounds for theenergy of such vector fields on general compact Riemannian manifolds andin particular on compact rank one symmetric spaces. For this last classof spaces, we compute explicit expressions for the total bending whenthe unit vector field is the gradient field of the distance function toa point or to special totally geodesic submanifolds (i.e., for radialunit vector fields around this point or these submanifolds).     

Multirectangular invariants for power Köthe spaces

Using some new linear topological invariants, isomorphisms and quasidiagonal isomorphisms are investigated on the class of first type power Köthe spaces [Proceedings of 7th Winter School in Drogobych, 1976, pp. 101-126; Turkish J. Math. 20 (1996) 237-289; Linear Topol. Spaces Complex Anal. 2 (1995) 35-44]. This is the smallest class of Köthe spaces containing all Cartesian and projective tensor products of power series spaces and closed with respect to taking of basic subspaces (closed linear hulls of subsets of the canonical basis). As an application, it is shown that isomorphic spaces from this class have, up to quasidiagonal isomorphisms, the same basic subspaces of finite (infinite) type.     

Fiber spaces over Teichmüller spaces for Fuchsian groups with elliptic elements

We determine the biholomorphic fiber preserving isomorphisms of fiber spaces over Teichmüller spaces for Fuchsian groups with elliptic elements. We show that except in some special cases a biholomorphic fiber preserving isomorphism between two Bers fiber spaces is always an allowable mapping. We find that the situation is different for Teichmüller curves, showing that in general there are some other biholomorphic fiber preserving isomorphisms between Teichmüller curves besides the allowable mappings. Research supported by the National Natural Science Foundation of China.