Stirling numbers and integer partitions

In this paper, we prove that the Stirling numbers of both kinds can be written as sums over integer partitions. As corollaries, we rewrite some identities with Stirling numbers of both kinds without Stirling numbers.     

The weighted complexity and the determinant functions of graphs

The complexity of a graph can be obtained as a derivative of a variation of the zeta function [S. Northshield, A note on the zeta function of a graph, J. Combin. Theory Ser. B 74 (1998) 408-410] or a partial derivative of its generalized characteristic polynomial evaluated at a point [D. Kim, H.K. Kim, J. Lee, Generalized characteristic polynomials of graph bundles, Linear Algebra Appl. 429 (4) (2008) 688-697]. A similar result for the weighted complexity of weighted graphs was found using a determinant function [H. Mizuno, I. Sato, On the weighted complexity of a regular covering of a graph, J. Combin. Theory Ser. B 89 (2003) 17-26]. In this paper, we consider the determinant function of two variables and discover a condition that the weighted complexity of a weighted graph is a partial derivative of the determinant function evaluated at a point. Consequently, we simply obtain the previous results and disclose a new formula for the complexity from a variation of the Bartholdi zeta function. We also consider a new weighted complexity, for which the weights of spanning trees are taken as the sum of weights of edges in the tree, and find a similar formula for this new weighted complexity. As an application, we compute the weighted complexities of the product of the complete graphs.     

Fibrations and partial products in a 2-category

We introduce a new intrinsic definition of fibrations in a 2-category, and show how it may be used (in conjunction with a suitable limit-colimit commutation condition) to define a 2-categorical version of the notion of partial product. We use these notions to show that partial products exist for all fibrations in the 2-category of (small) categories, and to identify the fibrations in the 2-category of toposes and geometric morphisms.     

On Hopf algebra structures over free operads

The operad Lie can be constructed as the operad of primitives PrimAs from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincaré-Birkhoff-Witt and Cartier-Milnor-Moore. We replace the operad As by families of free operads P, which include the operad Mag freely generated by a non-commutative non-associative binary operation and the operad of Stasheff polytopes. We obtain Poincaré-Birkhoff-Witt type theorems and collect information about the operads PrimP, e.g., in terms of characteristic functions.     

Operads within Monoidal Pseudo Algebras

A general notion of operad is given, which includes: (1) the operads that arose in algebraic topology in the 1970s to characterise loop spaces. (2) the higher operads of Michael Batanin [4] (3) braided and symmetric analogues of Batanin’s operads which are likely to be important in the study of weakly symmetric higher dimensional monoidal categories. The framework of this paper, links together two-dimensional monad theory, operads, and higher dimensional algebra, in a natural way.     

Mould calculus,polyhedral cones,and characters of combinatorial Hopf algebras

We describe a method for constructing characters of combinatorial Hopf algebras by means of integrals over certain polyhedral cones. This is based on ideas from resurgence theory, in particular on the construction of well-behaved averages induced by diffusion processes on the real line. We give several interpretations and proofs of the main result in terms of noncommutative symmetric and quasi-symmetric functions, as well as generalizations involving matrix quasi-symmetric functions. The interpretation of noncommutative symmetric functions as alien operators in resurgence theory is also discussed, and a new family of Lie idempotents of descent algebras is derived from this interpretation.     

On factorization structures and epidense hulls

Characterizations of epidense subcategories of topological categories and of existence of epidense hulls have been described in [2, 3, 4]. In this paper a similar characterization is given in a much more general setting; for example the category need not have products. The relationship between finite factorization structures and existence of epidense hulls is investigated. It is found to be analogous to the relationship between general factorization structures and epireflective hulls.     

Liftings of distributive lattices by locally matricial algebras with respect to the Id c functor

We study representations of distributive -lattices, considered as join-semilattices, by semilattices of finitely generated two-sided ideals of locally matricial algebras over a field k, aiming to find a functorial solution of the problem. We find simple examples of a finite subcategory of the category Ld of distributive -lattices and of a subcategory of L_d corresponding to a partially ordered class which cannot be lifted with respect to the Id_c functor. On the other hand, we prove that there is such a lifting of every diagram in L_d or of a subcategory L_d1 of L_d whose objects are all distributive -lattices and whose morphisms are -embeddings. This paper is dedicated to Walter Taylor. Received February 8, 2005; accepted in final form August 11, 2005. The work is a part of the research project MSM 0021620839 financed by MSMT and partly supported by INTAS project 03-51-4110, the grant GAUK 448/2004/B-MAT, and the post-doctoral grant GAČR 201/03/P140.     

On graphs whose star sets are (co-)cliques

In this paper we study graphs all of whose star sets induce cliques or co-cliques. We show that the star sets of every tree for each eigenvalue are independent sets. Among other results it is shown that each star set of a connected graph G with three distinct eigenvalues induces a clique if and only if G=K_1,2 or K_2,…,2. It is also proved that stars are the only graphs with three distinct eigenvalues having a star partition with independent star sets.     

L 1 factorizations and invariant subspaces for weighted composition operators

For a contraction operator T with spectral radius less than one on a Banach space , it is shown that the factorization of certain L¹ functions by vectors x in and x*. in , in the sense that for n ≧ 0, implies the existence of invariant subspaces for T. Explicit formulae for such factorizations are given in the case of weighted composition operators on reproducing kernel Hilbert spaces. An interpolation result of McPhail is applied to show how this can be used to construct invariant subspaces of hyperbolic weighted composition operators on H². Received: 1 November 2005     

Homology of generalized partition posets

We define a family of posets of partitions associated to an operad. We prove that the operad is Koszul if and only if the posets are Cohen-Macaulay. On the one hand, this characterization allows us to compute completely the homology of the posets. The homology groups are isomorphic to the Koszul dual cooperad. On the other hand, we get new methods for proving that an operad is Koszul.     

Ring structures on groups of arithmetic functions

Using the theory of Witt vectors, we define ring structures on several well-known groups of arithmetic functions, which in another guise are formal Dirichlet series. The set of multiplicative arithmetic functions over a commutative ring R is shown to have a unique functorial ring structure for which the operation of addition is Dirichlet convolution and the operation of multiplication restricted to the completely multiplicative functions coincides with point-wise multiplication. The group of additive arithmetic functions over R also has a functorial ring structure. In analogy with the ghost homomorphism of Witt vectors, there is a functorial ring homomorphism from the ring of multiplicative functions to the ring of additive functions that is an isomorphism if R is a Q-algebra. The group of rational arithmetic functions, that is, the group generated by the completely multiplicative functions, forms a subring of the ring of multiplicative functions. The latter ring has the structure of a Bin(R)-algebra, where Bin(R) is the universal binomial ring equipped with a ring homomorphism to R. We use this algebra structure to study the order of a rational arithmetic function, as well the powersfα for α∈Bin(R) of a multiplicative arithmetic function f. For example, we prove new results about the powers of a given multiplicative arithmetic function that are rational. Finally, we apply our theory to the study of the zeta function of a scheme of finite type over Z.     

On multiple pattern avoiding set partitions

We study classes of set partitions determined by the avoidance of multiple patterns, applying a natural notion of partition containment that has been introduced by Sagan. We say that two sets S and T of patterns are equivalent if for each n the number of partitions of size n avoiding all the members of S is the same as the number of those that avoid all the members of T.     

CATEGORIES OF TOPOLOGICAL GROUPS

Abstract

This paper is a survey of recent (and some not so recent, results concerning categorical constructions on topological groups, with particular emphasis on free topological groups and coproducts (free products) of topological groups. An extensive bibliography is included.     

Quantitative mixing results and inner functions

We study in this paper estimates on the size of the sets of points which are well approximated by orbits of other points under certain dynamical systems. We apply the results obtained to the particular case of the dynamical system generated by inner functions in the unit disk of the complex plane.D. Pestana was supported by Grants BFM2003-04780 and BFM-2003-06335-C03-02, Ministerio de Ciencia y Tecnología, Spain.J. L. Fernández and M. V. Melián were supported by Grant BFM2003-04780 from Ministerio de Ciencia y Tecnología, Spain.     

Maximal arcs in Desarguesian planes of odd order do not exist

Forq an odd prime power, and 1<n<q, the Desarguesian planePG(2,q) does not contain an(nq–q+n,n)-arc.Supported by Italian M.U.R.S.T. (Research Group onStrutture geometriche, combinatoria, loro applicazioni) and G.N.S.A.G.A. of C.N.R.     

The geometric realization of a simplicial Hausdorff space is Hausdorff

We show that the thin geometric realization of a simplicial Hausdorff space is Hausdorff. This proves a long-standing conjecture of Graeme Segal stating that the thin geometric realization of a simplicial k-space is a k-space.     

On free abelian categories for theorem proving

We give a computational approach to theorem proving in homological algebra. This approach is based on computations in the free abelian category of an additive category A. We show that the free abelian category is amenable to explicit computations whenever we can decide homotopy equations in A. As some consequences of our investigations, we recover Dowker's explicit formula for the connecting homomorphism ? in the snake lemma, we find a universal sense in which ? is unique, and we give a refined version of the 5-lemma.