s-homotopy for finite graphs

We introduce the notion of “s-dismantlability” which will give in the category of finite graphs an analogue of formal deformations defining the simple-homotopy type in the category of finite simplicial complexes. More precisely, s-dismantlability allows us to define an equivalence relation whose equivalence classes are called “s-homotopy types” and we get a correspondence between s-homotopy types in the category of graphs and simple-homotopy types in the category of simplicial complexes by the way of classical functors between these two categories (theorem 3.6). Next, we relate these results to similar results obtained by Barmak and Minian (2006) within the framework of posets (theorem 4.2).     

Subdivisions of Toric Complexes

We introduce toric complexes as polyhedral complexes consisting of rational cones together with a set of integral generators for each cone, and we define their associated face rings. Abstract simplicial complexes and rational fans can be considered as toric complexes, and the face ring for toric complexes extends Stanley and Reisner’s face ring for abstract simplicial complexes [20] and Stanley’s face ring for rational fans [21]. Given a toric complex with defining ideal I for the face ring we give a geometrical interpretation of the initial ideals of I with respect to weight orders in terms of subdivisions of the toric complex generalizing a theorem of Sturmfels in [23]. We apply our results to study edgewise subdivisions of abstract simplicial complexes.     

A Bernstein—Chernoff deviation inequality, and geometric properties of random families of operators

In this paper we first describe a new deviation inequality for sums of independent random variables which uses the precise constants appearing in the tails of their distributions, and can reflect in full their concentration properties. In the proof we make use of Chernoff's bounds. We then apply this inequality to prove a global diameter reduction theorem for abstract families of linear operators endowed with a probability measure satisfying some condition. Next we give a local diameter reduction theorem for abstract families of linear operators. We discuss some examples and give one more global result in the reverse direction, and extensions. This research was partially supported by BSF grant 2002-006.     

On many‐sorted algebraic closure operators

A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer true without qualification. We characterize the corresponding many‐sorted closure operators as precisely the uniform algebraic operators. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Finite axiomatizability in ?ukasiewicz logic

We classify every finitely axiomatizable theory in infinite-valued propositional ?ukasiewicz logic by an abstract simplicial complex (V,Σ) equipped with a weight function ω:V→{1,2,…}. Using the W?odarczyk–Morelli solution of the weak Oda conjecture for toric varieties, we then construct a Turing computable one–one correspondence between (Alexander) equivalence classes of weighted abstract simplicial complexes, and equivalence classes of finitely axiomatizable theories, two theories being equivalent if their Lindenbaum algebras are isomorphic. We discuss the relationship between our classification and Markov’s undecidability theorem for PL-homeomorphism of rational polyhedra.     

A unified Pietsch domination theorem

In this paper we prove an abstract version of Pietsch's domination theorem which unify a number of known Pietsch-type domination theorems for classes of mappings that generalize the ideal of absolutely p-summing linear operators. A final result shows that Pietsch-type dominations are totally free from algebraic conditions, such as linearity, multilinearity, etc.     

The facet ideal of a simplicial complex

 To a simplicial complex, we associate a square-free monomial ideal in the polynomial ring generated by its vertex set over a field. We study algebraic properties of this ideal via combinatorial properties of the simplicial complex. By generalizing the notion of a tree from graphs to simplicial complexes, we show that ideals associated to trees satisfy sliding depth condition, and therefore have normal and Cohen-Macaulay Rees rings. We also discuss connections with the theory of Stanley-Reisner rings. Received: 7 January 2002 / Revised version: 6 May 2002     

Matroidal approaches to rough sets via closure operators

This paper studies rough sets from the operator-oriented view by matroidal approaches. We firstly investigate some kinds of closure operators and conclude that the Pawlak upper approximation operator is just a topological and matroidal closure operator. Then we characterize the Pawlak upper approximation operator in terms of the closure operator in Pawlak matroids, which are first defined in this paper, and are generalized to fundamental matroids when partitions are generalized to coverings. A new covering-based rough set model is then proposed based on fundamental matroids and properties of this model are studied. Lastly, we refer to the abstract approximation space, whose original definition is modified to get a one-to-one correspondence between closure systems (operators) and concrete models of abstract approximation spaces. We finally examine the relations of four kinds of abstract approximation spaces, which correspond exactly to the relations of closure systems.     

An eigenvector existence theorem in idempotent analysis

In this paper, we prove an eigenvector existence theorem for linear operators on abstract idempotent spaces in the framework of the algebraic approach. Earlier, an algebraic version of a similar statement was known only for operators in free finite-dimensional semimodules. The corresponding result for compact operators in semimodules of real continuous functions is known in the case of topological semimodules.     

Moment-angle complexes from simplicial posets

We extend the construction of moment-angle complexes to simplicial posets by associating a certain T ^m -space Z _S to an arbitrary simplicial poset S on m vertices. Face rings ℤ[S] of simplicial posets generalise those of simplicial complexes, and give rise to new classes of Gorenstein and Cohen-Macaulay rings. Our primary motivation is to study the face rings ℤ[S] by topological methods. The space Z _S has many important topological properties of the original moment-angle complex Z _K associated to a simplicial complex K. In particular, we prove that the integral cohomology algebra of Z _S is isomorphic to the Tor-algebra of the face ring ℤ[S]. This leads directly to a generalisation of Hochster’s theorem, expressing the algebraic Betti numbers of the ring ℤ[S] in terms of the homology of full subposets in S. Finally, we estimate the total amount of homology of Z _S from below by proving the toral rank conjecture for the moment-angle complexes Z _S .     

Existence results for evolutionary inclusions and variational–hemivariational inequalities

We consider an abstract first-order evolutionary inclusion in a reflexive Banach space. The inclusion contains the sum of L-pseudomonotone operator and a maximal monotone operator. We provide an existence theorem which is a generalization of former results known in the literature. Next, we apply our result to the case of nonlinear variational–hemivariational inequalities considered in the setting of an evolution triple of spaces. We specify the multivalued operators in the problem and obtain existence results for several classes of variational–hemivariational inequality problems. Finally, we illustrate our existence result and treat a class of quasilinear parabolic problems under nonmonotone and multivalued flux boundary conditions.     

Traces of operators with a relatively compact perturbation

This is a continuation of the authors’ series of papers on the theory of regularized traces of abstract discrete operators. We prove a theorem in which the perturbing operator B is subordinate to the operator A ₀ in the sense that BA ₀ ^?δ is a compact operator belonging to some Schatten-von Neumann class of finite order. Apart from covering new classes of operators, and in contrast to our preceding papers, we give a unified statement of the theorem regardless of whether the resolvent of the unperturbed operator belongs to the trace class. Two examples are given in which the result is applied to ordinary differential operators as well as to partial differential operators.     

Some results concerning normal r- potent operators

In this note it will be shown that a normal operator A which satisfies the equation p(A)=0. where p is a polynomial, can be diagonalized. Next, an equivalent characterisation of a normal r-potent operator and some othci basic properties oi normal r-potent operators will he given Included will be a generalization of the algebraic version of Cochran's statistical theorem concerning quadratic forms.     

A generalized Macaulay theorem and generalized face rings

We prove that the f-vector of members in a certain class of meet semi-lattices satisfies Macaulay inequalities 0?k^∂(fk)?fk−1 for all k?0. We construct a large family of meet semi-lattices belonging to this class, which includes all posets of multicomplexes, as well as meet semi-lattices with the “diamond property,” discussed by Wegner [G. Wegner, Kruskal-Katona's theorem in generalized complexes, in: Finite and Infinite Sets, vol. 2, in: Colloq. Math. Soc. János Bolyai, vol. 37, North-Holland, Amsterdam, 1984, pp. 821-828], as special cases. Specializing the proof to the later family, one obtains the Kruskal-Katona inequalities and their proof as in [G. Wegner, Kruskal-Katona's theorem in generalized complexes, in: Finite and Infinite Sets, vol. 2, in: Colloq. Math. Soc. János Bolyai, vol. 37, North-Holland, Amsterdam, 1984, pp. 821-828].For geometric meet semi-lattices we construct an analogue of the exterior face ring, generalizing the classic construction for simplicial complexes. For a more general class, which also includes multicomplexes, we construct an analogue of the Stanley-Reisner ring. These two constructions provide algebraic counterparts (and thus also algebraic proofs) of Kruskal-Katona's and Macaulay's inequalities for these classes, respectively.     

On function classes in P 3 precomplete with respect to a strengthened closure operator

A classical theorem of Post [1] describes five precomplete classes in the set of Boolean functions. In [2], it was shown that there exist 18 precomplete classes of functions of three-valued logic. In [1, 2], the closure of sets of functions with respect to the substitution operator was studied. We consider two closure operators on functions of three-valued logic, which are obtained by supplementing the substitution operator by closures with respect to two identifications of function values, and prove the existence of three precomplete classes for one of these operators and five precomplete classes for the other.     

Domination problem for narrow orthogonally additive operators

The “Up-and-down” theorem which describes the structure of the Boolean algebra of fragments of a linear positive operator is the well known result in operator theory. We prove an analog of this theorem for a positive abstract Uryson operator defined on a vector lattice and taking values in a Dedekind complete vector lattice. This result is used to prove a theorem of domination for order narrow positive abstract Uryson operators from a vector lattice E to a Banach lattice F with an order continuous norm.     

On the Stanley ring of cubical complex

We investigate the properties of the Stanley ring of a cubical complex, a cubical analogue of the Stanley-Reisner ring of a simplicial complex. We compute its Hilbert series in terms of thef-vector, and prove that by taking the initial ideal of the defining relations, with respect to the reverse lexicographic order, we obtain the defining relations of the Stanley-Reisner ring of the triangulation via “pulling the vertices” of the cubical complex. Applying an old idea of Hochster we see that this ring is Cohen-Macaulay when the complex is shellable, and we show that its defining ideal is generated by quadrics when the complex is also a subcomplex of the boundary complex of a convex cubical polytope. We present a cubical analogue of balanced Cohen-Macaulay simplicial complexes: the class of edge-orientable shellable cubical complexes. Using Stanley's results about balanced Cohen-Macaulay simplicial complexes and the degree two homogeneous generating system of the defining ideal, we obtain an infinite set of examples for a conjecture of Eisenbud, Green, and Harris. This conjecture says that theh-vector of a polynomial ring inn variables modulo an ideal which has ann-element homogeneous system of parameters of degree two, is thef-vector of a simplicial complex.     

Algebraic Properties of Toeplitz Operators on the Harmonic Dirichlet Space

We study some algebraic properties of Toeplitz operators on the harmonic Dirichlet space of the unit disk. We first give a characterization for boundedness of Toeplitz operators. Next we characterize commuting Toeplitz operators. Also, we study the product problem of when product of two Toeplitz operators is another Toeplitz operator. The corresponding problems for compactness are also studied.     

Dirac’s Theorem on Simplicial Matroids

We introduce the notion of k-hyperclique complexes, i.e., the largest simplicial complexes on the set [n] with a fixed k-skeleton. These simplicial complexes are a higher-dimensional analogue of clique (or flag) complexes (case k = 2) and they are a rich new class of simplicial complexes. We show that Dirac’s theorem on chordal graphs has a higher-dimensional analogue in which graphs and clique complexes get replaced, respectively, by simplicial matroids and k-hyperclique complexes. We prove also a higher-dimensional analogue of Stanley’s reformulation of Dirac’s theorem on chordal graphs.      

TWO FAMILIES OF CARTESIAN CLOSED TOPOLOGICAL CATEGORIES

Abstract

In this paper two ordered families of topological categories are studied. The first family includes the category of all abstract simplicial complexes and the subcategories of all abstract simplicial complexes of dimension less than or equal to n. The categories of the second family are bireflective subcategories of the category of all bornological spaces. All these categories are cartesian closed and have other nice properties.