Showing 20 papers (Total: 81378 papers, 47165 authors in database)
All Difference Family Structures arise from Groups
Difference families are traditionally built using groups as their basis. This paper looks at what sort of generalised difference family constructions could be made, using the standard basis of translation and difference.
The main result is that minimal requirements on the structure force nothing that groups cannot give, at least in the finite case. Thus all difference families arise from groups.
Inequalities for the h- and flag h-vectors of geometric lattices
Published in Discrete and Computational Geometry, Vol. 32, No. 4, Nov. 2004, pgs 533-548
• View Publication
• BIB
We prove that the order complex of a geometric lattice has a convex ear decomposition. As a consequence, if D(L) is the order complex of a rank (r+1) geometric lattice L, then for all i \leq r/2 the h-vector of D(L) satisfies h(i-1) \leq h(i) and h(i) \leq h(r-i).
We also obtain several inequalities for the flag h-vector of D(L) by analyzing the weak Bruhat order of the symmetric group. As an application, we obtain a zonotopal cd-analogue of the Dowling-Wilson characterization of geometric lattices which minimize Whitney numbers of the second kind. In addition, we are able to give a combinatorial flag h-vector proof of h(i-1) \leq h(i) when i \leq (2/7)(r + 5/2).
Tree Diagrams for String Links
Published in J. Knot Theory Ramif., Vol. 15, No. 10, 2006, pp. 1303-1318
• View Publication
• BIB
In previous work, the author defined the intersection graph of a chord diagram associated with string links (as in the theory of finite type invariants). In this paper, we classify the trees which can be obtained as intersection graphs of string link diagrams.
The Hertling conjecture in dimension 2
We consider an isolated plane curve singularity and its associated Eisenbud an Neumann diagram. We give an algorithm to compute the maximal spectral value on the diagram and we show that the singularity is topologically equivalent to another singularity for which the maximal spectral value is given by the point $(1,1)$ in the plane of the Newton polygon. From the almost additivity on the splice components of the diagram we compute the sum of the square of the spectral values. This formula with the previous result on the maximal spectral value give us the Hertling conjecture as a corollary.
The ring of multisymmetric functions
Published
• View Publication
• BIB
Let R be a commutative ring and let n,m be two positive integers. The symmetric group on n letters acts diagonally on the ring of polynomials in nxm variables with coefficients in R. The subrings of invariants for this action is called the ring of multisymmetric functions since these are the usual symmetric functions when m=1. In this paper we will give a presentation in terms of generators and relations that holds for any R and any n,m answering in this way to a classical question. I would like to thank M.Brion, C.De Concini and C.Procesi, in alphabetical order, for useful discussions.
Bounding quantities related to the packing density of 1(L+1)L...2
Published
• View Publication
• BIB
We bound several quantities related to the packing density of the patterns 1(L+1)L...2. These bounds sharpen results of Bóna, Sagan, and Vatter and give a new proof of the packing density of these patterns, originally computed by Stromquist in the case L=2 and by Price for larger L. We end with comments and conjectures.
Algebraic Combinatorics of Magic Squares
We describe how to construct and enumerate Magic squares, Franklin squares, Magic cubes, and Magic graphs as lattice points inside polyhedral cones using techniques from Algebraic Combinatorics. The main tools of our methods are the Hilbert Poincare series to enumerate lattice points and the Hilbert bases to generate lattice points. We define polytopes of magic labelings of graphs and digraphs, and give a description of the faces of the Birkhoff polytope as polytopes of magic labelings of digraphs.
Cyclic descents and P-partitions
Published
• View Publication
• BIB
Louis Solomon showed that the group algebra of the symmetric group $\mathfrak{S}_{n}$ has a subalgebra called the descent algebra, generated by sums of permutations with a given descent set. In fact, he showed that every Coxeter group has something that can be called a descent algebra. There is also a commutative, semisimple subalgebra of Solomon's descent algebra generated by sums of permutations with the same number of descents: an "Eulerian" descent algebra. For any Coxeter group that is also a Weyl group, Paola Cellini proved the existence of a different Eulerian subalgebra based on a modified definition of descent. We derive the existence of Cellini's subalgebra for the case of the symmetric group and of the hyperoctahedral group using a variation on Richard Stanley's theory of $P$-partitions.
From Dominoes to Hexagons
There is a natural generalization of domino tilings to tilings of a polygon by hexagons, or, dually, configurations of oriented curves that meet in triples. We show exactly when two such tilings can be connected by a series of moves analogous to the domino flip move. The triple diagrams that result have connections to Legendrian knots, cluster algebras, and planar algebras.
Gorenstein toric Fano varieties
Published in Manuscripta Math. 116 (2005), 183-210
• View Publication
• BIB
We investigate Gorenstein toric Fano varieties by combinatorial methods using the notion of a reflexive polytope which appeared in connection to mirror symmetry. The paper contains generalisations of tools and previously known results for nonsingular toric Fano varieties. As applications we obtain new classification results, bounds of invariants and formulate conjectures concerning combinatorial and geometrical properties of reflexive polytopes.
Local Covering Optimality of Lattices: Leech Lattice versus Root Lattice E8
Published in International Mathematics Research Notices 32 (2005), 1937-1955
• View Publication
• BIB
We show that the Leech lattice gives a sphere covering which is locally least dense among lattice coverings. We show that a similar result is false for the root lattice E8. For this we construct a less dense covering lattice whose Delone subdivision has a common refinement with the Delone subdivision of E8. The new lattice yields a sphere covering which is more than 12% less dense than the formerly best known given by the lattice A8*. Currently, the Leech lattice is the first and only known example of a locally optimal lattice covering having a non-simplicial Delone subdivision. We hereby in particular answer a question of Dickson posed in 1968. By showing that the Leech lattice is rigid our answer is even strongest possible in a sense.
Decomposable compositions, symmetric quasisymmetric functions and equality of ribbon Schur functions
Published in Adv. Math. 204: 204--240 (2006)
• View Publication
• BIB
We define an equivalence relation on integer compositions and show that two ribbon Schur functions are identical if and only if their defining compositions are equivalent in this sense. This equivalence is completely determined by means of a factorization for compositions: equivalent compositions have factorizations that differ only by reversing some of the terms. As an application, we can derive identities on certain Littlewood-Richardson coefficients. Finally, we consider the cone of symmetric functions having a nonnnegative representation in terms of the fundamental quasisymmetric basis. We show the Schur functions are among the extremes of this cone and conjecture its facets are in bijection with the equivalence classes of compositions.
Tensor product stabilization in Kac-Moody algebras
Published
• View Publication
• BIB
We consider a large class of series of symmetrizable Kac-Moody algebras (generically denoted X_n). This includes the classical series A_n as well as others like E_n whose members are of Indefinite type. The focus is to analyze the behavior of representations in the large n limit. Motivated by the classical theory of A_n, we consider tensor product decompositions of irreducible highest weight representations of X_n and study how these vary with n. The notion of ``double headed'' dominant weights is introduced. For such weights, we show that tensor product decompositions in X_n do stabilize, generalizing the classical results for A_n. The main tool used is Littelmann's celebrated path model. One can also use the stable multiplicities as structure constants to define a multiplication operation on a suitable space. We define this so called "stable representation ring'' and show that the multiplication operation is associative.
WI-posets, graph complexes and Z_2-equivalences
We introduce WI-posets as intermediate objects in the study of Z_2-homotopy types of graph complexes. It turns out that (almost) all graph complexes associated to a graph can be viewed as avatars of the same object, as long as their Z_2-homotopy types are concerned. Among the applications are a proof that each finite, free Z_2-complex is a graph complex and an evaluation of Z_2-homotopy types of complexes Ind(C_n) of independence sets in a cycle C_n. The main tools used in the paper are Quillen fiber theorem and Bredon criterion for Z_2-equivalence of Z_2-complexes.
On the Topological Tverberg Theorem
We introduce a new ``Winding Number Conjecture'' about maps from the $(d-1)$-skeleton of the $((d+1)(q-1))$-simplex into $\real^d$. This conjecture is equivalent to the Topological Tverberg Theorem. Furthermore, many statements about the Topological Tverberg Theorem transfer to the Winding Number Conjecture, for example all currently proven cases of the Topological Tverberg Theorem as well as Sierksma's conjecture about the number of Tverberg partitions.
In the case $d=2$, the Winding Number Conjecture is a statement about complete graphs: It claims that in every image of $K_{3(q-1)+1}$ in the plane either $q-1$ triangles wind around one vertex or $q-2$ triangles wind around the intersection of two edges, where the triangles, edges and vertices are disjoint. We examine which other graphs have this property and find the minimal subgraph of $K_7$ having this property.
Signature quantization, representations of compact Lie groups, and a q-analogue of the Kostant partition function
Published
• View Publication
• BIB
We discuss some applications of signature quantization to the representation theory of compact Lie groups. In particular, we prove signature analogues of the Kostant formula for weight multiplicities and the Steinberg formula for tensor product multiplicities. Using symmetric functions, we also find, for type A, analogues of the Weyl branching rule and the Gelfand-Tsetlin theorem. These analogues involve a q-analogue of the Kostant partition function. We show that in type A, this q-analogue is polynomial in the relative interior of the cells of a complex of cones. This chamber complex can be taken to be the same as the chamber complex of the usual Kostant partition function. We present the case of A_2 as a detailed example.
MacMahon-type Identities for Signed Even Permutations
Published in Electronic Journal of Combinatorics 11 (2004), #R83
• View Publication
• BIB
MacMahon's classic theorem states that the 'length' and 'major index' statistics are equidistributed on the symmetric group S_n. By defining natural analogues or generalizations of those statistics, similar equidistribution results have been obtained for the alternating group A_n by Regev and Roichman, for the hyperoctahedral group B_n by Adin, Brenti and Roichman, and for the group of even-signed permutations D_n by Biagioli. We prove analogues of MacMahon's equidistribution theorem for the group of signed even permutations and for its subgroup of even-signed even permutations.
Some useful combinatorial formulae for bosonic operators
Published in Journal of Mathematical Physics 46: 052110 (2005)
• View Publication
• BIB
We give a general expression for the normally ordered form of a function F(w(a,a*)) where w is a function of boson annihilation and creation operators satisfying [a,a*]=1. The expectation value of this expression in a coherent state becomes an exact generating function of Feynman-type graphs associated with the zero-dimensional Quantum Field Theory defined by F(w). This enables one to enumerate explicitly the graphs of given order in the realm of combinatorially defined sequences. We give several examples of the use of this technique, including the applications to Kerr-type and superfluidity-type hamiltonians.
Deviation inequality for monotonic Boolean functions with application to a number of k-cycles in a random graph
Published in 2004 Rand. Structures Algorithms 24 No. 1
• View Publication
• BIB
Using Talagrand's concentration inequality on the discrete cube {0,1}^m we show that given a real-valued function Z(x)on {0,1}^m that satisfies certain monotonicity conditions one can control the deviations of Z(x) above its median by a local Lipschitz norm of Z(x) at the point x. As one application, we give a simple proof of a nearly optimal deviation inequality for the number of k-cycles in a random graph.
Erratum : MCColor is not optimal on Meyniel graphs
A Meyniel graph is a graph in which every odd cycle of length at least five has two chords. In the manuscript "Coloring Meyniel graphs in linear time" we claimed that our algorithm MCColor produces an optimal coloring for every Meyniel graph. But later we found a mistake in the proof and a couterexample to the optimality, which we present here. MCColor can still be used to find a stable set that intersects all maximal cliques of a Meyniel graph in linear time. Consequently it can be used to find an optimal coloring in time O(nm), and the same holds for Algorithm MCS+Color. This is explained in the manuscript "A linear algorithm to find a strong stable set in a Meyniel graph" but this is equivalent to Hertz's algorithm. The current best algorithm for coloring Meyniel graphs is the O(n^2) algorithm LexColor due to Roussel and Rusu. The question of finding a linear-time algorithm to color Meyniel graphs is still open.