Showing 20 papers (Total: 82851 papers, 47869 authors in database)
A characterization of finite sets that tile the integers
We consider the problem of characterizing finite sets which tile the integers by translations. Coven and Meyerowitz (J. Algebra 1999) found necessary and sufficient conditions for a finite set A to tile the integers under the assumption that |A| has at most 2 distinct prime factors. The purpose of this article is to settle, for the first time, certain three-prime cases.
The Gelfand map and symmetric products
Published
• View Publication
• BIB
If A is an algebra of functions on X, there are many cases when X can be regarded as included in Hom(A,C) as the set of ring homomorphisms. In this paper the corresponding results for the symmetric products of X are introduced. It is shown that the symmetric product Sym^n(X) is included in Hom(A,C) as the set of those functions that satisfy equations generalising f(xy)=f(x)f(y). These equations are related to formulae introduced by Frobenius and, for the relevant A, they characterise linear maps on A that are the sum of ring homomorphisms. The main theorem is proved using an identity satisfied by partitions of finite sets.
A New Matrix-Tree Theorem
The classical Matrix-Tree Theorem allows one to list the spanning trees of a graph by monomials in the expansion of the determinant of a certain matrix. We prove that in the case of three-graphs (that is, hypergraphs whose edges have exactly three vertices) the spanning trees are generated by the Pfaffian of a suitably defined matrix. This result can be interpreted topologically as an expression for the lowest order term of the Alexander-Conway polynomial of an algebraically split link. We also prove some algebraic properties of our Pfaffian-tree polynomial.
Tangent and Bernoulli numbers related to Motzkin and Catalan numbers by means of numerical triangles
It is shown that Bernoulli numbers and tangent numbers (the derivatives of the tangent function at zero) can be obtained by means of easily defined triangles of numbers in several ways, some of them very similar to the Catalan triangle and a Motzkin-like triangle. Our starting point in order to show this is a new expression of Zeta(2n) involving Motzkin paths.
Natural Associativity without the Pentagon condition
A premonoidal category is equipped only with a bifunctor and a natural isomorphism for associativity. We introduce a (deformation) natural automorphism representing the deviation from the Pentagon condition. We uncover a binary tree representation for all diagrams involving associativity natural isomorphisms and (deformation) natural automorphisms and provide a link to permutations and linear orderings. This leads to other notions of premonoidalness. We define these notions and prove coherence results for each.
The Rank and Minimal Border Strip Decompositions of a Skew Partition
Published
• View Publication
• BIB
Nazarov and Tarasov recently generalized the notion of the rank of a partition to skew partitions. We give several characterizations of the rank of a skew partition and one possible characterization that remains open. One of the characterizations involves the decomposition of a skew shape into a minimal number of border strips, and we develop a theory of these MBSD's as well as of the closely related minimal border strip tableaux. An application is given to the value of a character of the symmetric group S_n indexed by a skew shape z at a permutation whose number of cycles is the rank of z.
Irreducible Symmetric Group Characters of Rectangular Shape
We give a new formula for the values of an irreducible character of the symmetric group S_n indexed by a partition of rectangular shape. Some observations and a conjecture are given concerning a generalization to arbitrary shapes.
GL(n,q) and Increasing Subsequences in Nonuniform Random Permutations
Published
• View Publication
• BIB
Connections between longest increasing subsequences in random permutations and eigenvalues of random matrices with complex entries have been intensely studied. This note applies properties of random elements of the finite general linear group to obtain results about the longest increasing subsequence in non- uniform random permutations.
Lower central series and free resolutions of hyperplane arrangements
Published in Trans. Amer. Math. Soc. 354 (2002), no. 9, 3409-3433
• View Publication
• BIB
If $M$ is the complement of a hyperplane arrangement, and $A=H^*(M,\k)$ is the cohomology ring of $M$ over a field of characteristic 0, then the ranks, $φ_k$, of the lower central series quotients of $π_1(M)$ can be computed from the Betti numbers, $b_{ii}=\dim_{\k} \Tor^A_i(\k,\k)_i$, of the linear strand in a (minimal) free resolution of $\k$ over $A$. We use the Cartan-Eilenberg change of rings spectral sequence to relate these numbers to the graded Betti numbers, $b'_{ij}=\dim_{\k} \Tor^E_i(A,\k)_j$, of a (minimal) resolution of $A$ over the exterior algebra $E$.
From this analysis, we recover a formula of Falk for $φ_3$, and obtain a new formula for $φ_4$. The exact sequence of low degree terms in the spectral sequence allows us to answer a question of Falk on graphic arrangements, and also shows that for these arrangements, the algebra $A$ is Koszul iff the arrangement is supersolvable. We also give combinatorial lower bounds on the Betti numbers, $b'_{i,i+1}$, of the linear strand of the free resolution of $A$ over $E$; if the lower bound is attained for $i = 2$, then it is attained for all $i \ge 2$. For such arrangements, we compute the entire linear strand of the resolution, and we prove that all components of the first resonance variety of $A$ are local. For graphic arrangements (which do not attain the lower bound, unless they have no braid sub-arrangements), we show that $b'_{i,i+1}$ is determined by the number of triangles and $K_4$ subgraphs in the graph.
Augmental Homology and the Kynneth Formula for Joins
The "simplicial complexes" and "join" (*) today used within combinatorics aren't the classical concepts, cf. Spanier (1966) p. 108-9, but, exept for \emptyset, complexes having {\emptyset} as a subcomplex resp. \Sigma1 * \Sigma2 := {\sigma1 \cup \sigma2 | \sigmai \in \Sigmai} implying a tacit change of unit element w.r.t. the join operation, from \emptyset to {\emptyset}. Extending the classical realization functor to this category of simplicial complexes we end up with a "restricted" category of topological spaces, "containing" the classical and where the classical (co)homology theory, as well as the ad-hoc invented reduced versions, automatically becomes obsolete, in favor of a unifying and more algebraically efficient theory.
This very modest category modification greatly improves the interaction between algebra and topology. E.g. it makes it possible to calculate the homology groups of a topological pair-join, expressed in the relative factor groups, leading up to a truly simple boundary formula for joins of manifolds: Bd(X1 * X2) = ((BdX1 * X2) \cup (X1 * BdX2)), the product counterpart of which is true also classically. It is also easily seen that no finite simplicial n-manifold has an (n-2)-dimensional boundary, cf. Cor. 1 p. 26, and that simplicial homology manifolds with the integers as koefficient module are all locally orientable, cf. Cor. 2 p. 29.
A residue theorem for rational trigonometric sums and Verlinde's formula
Published
• View Publication
• BIB
We present a compact formula computing rational trigonometric sums. E. Verlinde's expression for the dimension of conformal blocks in WZW theory is an example of such a sum. As an application, we show that a formula of Bismut and Labourie for the Riemann-Roch numbers of moduli spaces of flat connections on a Riemann surface coincides with Verlinde's expression.
A special tiling of the rectangle
We count tilings of a rectangle of integer sides m-1 and n-1 by a special set of tiles. The result is obtained fron the study of the kernel of the adjacency matrix of an n x n rectangular graph of Z x Z.
A sharp bound for the Castelnuovo-Mumford regularity of subspace arrangements
Published
• View Publication
• BIB
We show that the ideal of an arrangement of d linear subspaces of projective space is d-regular in the sense of Castelnuovo and Mumford, answering a question of B. Sturmfels. In particular this implies that the ideal of an arrangement of d subspaces is generated in degrees less than or equal to d.
Structure of large random hypergraphs
Published
• View Publication
• BIB
The theme of this paper is the derivation of analytic formulae for certain large combinatorial structures. The formulae are obtained via fluid limits of pure jump type Markov processes, established under simple conditions on the Laplace transforms of their Levy kernels. Furthermore, a related Gaussian approximation allows us to describe the randomness which may persist in the limit when certain parameters take critical values. Our method is quite general, but is applied here to vertex identifiability in random hypergraphs. A vertex v is identifiable in n steps if there is a hyperedge containing v all of whose other vertices are identifiable in fewer than n steps. We say that a hyperedge is identifiable if every one of its vertices is identifiable. Our analytic formulae describe the asymptotics of the number of identifiable vertices and the number of identifiable hyperedges for a Poisson random hypergraph on a set of N vertices, in the limit as N goes to infinity.
Hook Interpolations
Published in J. Algebra 258 (2002), 543--562
• View Publication
• BIB
The hook components of $V^{\otimes n}$ interpolate between the symmetric power $\sym^n(V)$ and the exterior power $\wedge^n(V)$. When $V$ is the vector space of $k\times m$ matrices over $\bbc$, we decompose the hook components into irreducible $GL_k(\bbc)\times GL_m(\bbc)$-modules. In particular, classical theorems are proved as boundary cases. For the algebra of square matrices over $\bbc$, a bivariate interpolation is presented and studied.
Combinatorial proofs of q-series identities
Published
• View Publication
• BIB
We provide combinatorial proofs of some of the q-series identities considered by Andrews, Jimenez-Urroz and Ono [q-series identities and values of certain $L$-functions. Duke Math. J. 108 (2001), no. 3, 395--419].
Matrices related to the Pascal triangle
Published in Preprint no 541 of Institut Fourier, Grenoble (France)
• View Publication
• BIB
The aim of this paper is to study determinants of matrices related to the Pascal triangle.
Tight distance-regular graphs
Published in J. Alg. Combin. 12 (2000) 163-197
• Search Publication
We consider a distance-regular graph $\G$ with diameter $d \ge 3$ and eigenvalues $k=θ_0>θ_1>... >θ_d$. We show the intersection numbers $a_1, b_1$ satisfy $$ (θ_1 + {k \over a_1+1}) (θ_d + {k \over a_1+1}) \ge - {ka_1b_1 \over (a_1+1)^2}. $$ We say $\G$ is {\it tight} whenever $\G$ is not bipartite, and equality holds above. We characterize the tight property in a number of ways. For example, we show $\G$ is tight if and only if the intersection numbers are given by certain rational expressions involving $d$ independent parameters. We show $\G$ is tight if and only if $a_1\not=0$, $a_d=0$, and $\G$ is 1-homogeneous in the sense of Nomura. We show $\G$ is tight if and only if each local graph is connected strongly-regular, with nontrivial eigenvalues $-1-b_1(1+θ_1)^{-1}$ and $-1-b_1(1+θ_d)^{-1}$. Three infinite families and nine sporadic examples of tight distance-regular graphs are given.
Hooks and powers of parts in partitions
This paper shows that the number of hooks of length k contained in all partitions of n equals k times the number of parts of length k in all partitions of n. It contains also formulas for the moments (under uniform distribution) of k-th parts in partitions of n.
Branched Coverings, Triangulations, and 3-Manifolds
A canonical branched covering over each sufficiently good simplicial complex is constructed. Its structure depends on the combinatorial type of the complex. In this way, each closed orientable 3-manifold arises as a branched covering over the 3-sphere from some triangulation of S^3. This result is related to a theorem of Hilden and Montesinos. The branched coverings introduced admit a rich theory in which the group of projectivities plays a central role.