Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Linear and Circular Permutations with Limited Number of Repetitions
The problem of linear and circular permutations of n identical objects in m boxes, where a limit l is imposed on the number of objects in a box, is considered. In the linear case, where the boxes are arranged as a row, two methods of solution are described. The first uses the partition diagram that is modified with prescribed number of zeros, and the second applies a direct combinatorial approach. Subject to constraints set on the relation between n and l, results of the combinatorial approach are used to solve the problem where there are more than one type of objects. These solutions are then extended for the case of boxes comprising subgroups that are characterized by different values of l. In the circular case, where the boxes are arranged in the form of a circle, no direct combinatorial solution in close form is available. Consequently, in the latter case, the solution relies on the use of the modified partition diagram. This solution, which involves the application of multinomial permutations on a circle, is also extended to the case of two kinds of objects.
Note on the number of proper colorings of a graph
We present a simpler proof of a bound on the number of proper colorings of a graph that was obtained recently by Liu and Murty using Tur'an sieve (in fact, we prove a stronger inequality). We also point out that these results are subsumed in a stronger result due to Lazebnik in 1990.
Faces of Generalized Permutohedra
Published
• View Publication
• BIB
The aim of the paper is to calculate face numbers of simple generalized permutohedra, and study their f-, h- and gamma-vectors. These polytopes include permutohedra, associahedra, graph-associahedra, simple graphic zonotopes, nestohedra, and other interesting polytopes.
We give several explicit formulas for h-vectors and gamma-vectors involving descent statistics. This includes a combinatorial interpretation for gamma-vectors of a large class of generalized permutohedra which are flag simple polytopes, and confirms for them Gal's conjecture on nonnegativity of gamma-vectors.
We calculate explicit generating functions and formulae for h-polynomials of various families of graph-associahedra, including those corresponding to all Dynkin diagrams of finite and affine types. We also discuss relations with Narayana numbers and with Simon Newcomb's problem.
We give (and conjecture) upper and lower bounds for f-, h-, and gamma-vectors within several classes of generalized permutohedra.
An appendix discusses the equivalence of various notions of deformations of simple polytopes.
Kakeya Sets in Cantor directions
Published
• View Publication
• BIB
We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In particular, this implies unbounded of the associated maximal operator in L^p for any p different from infinity.
The construction is by randomizing an earlier construction of the second author for the L^2 case. The proof that the construction satisfies the desired conditions is by elementary estimates in the theory of percolation on trees as developed by R. Lyons.
A Markov chain on permutations which projects to the PASEP
Published
• View Publication
• BIB
The partially asymmetric exclusion process (PASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of N sites. It is partially asymmetric in the sense that the probability of hopping left is q times the probability of hopping right. Additionally, particles may enter from the left with probability alpha and exit from the right with probability beta.
It has been observed that the (unique) stationary distribution of the PASEP has remarkable connections to combinatorics -- see for example the papers of Derrida, Duchi and Schaeffer, and Corteel. Most recently we proved that in fact the (normalized) probability of being in a particular state of the PASEP can be viewed as a certain weight generating function for permutation tableaux of a fixed shape. (This result implies the previous combinatorial results.) However, our proof relied on the matrix ansatz of Derrida et al, and hence did not give an intuitive explanation of why one should expect the steady state distribution of the PASEP to involve such nice combinatorics.
In this paper we define a Markov chain -- which we call the PT chain -- on the set of permutation tableaux which projects to the PASEP in a very strong sense. This gives a new proof of our previous result which bypasses the matrix ansatz altogether. Furthermore, via the bijection from permutation tableaux to permutations, the PT chain can also be viewed as a Markov chain on the symmetric group. Another nice feature of the PT chain is that it possesses a certain symmetry which extends the "particle-hole symmetry" of the PASEP. More specifically, this is a graph-automorphism on the state diagram of the PT chain which is an involution; this has a simple description in terms of permutations.
Signed degree sets in signed graphs
Published
• View Publication
• BIB
The set D of distinct signed degrees of the vertices in a signed graph G is called its signed degree set. In this paper, we prove that every non-empty set of positive (negative) integers is the signed degree set of some connected signed graph and determine the smallest possible order for such a signed graph. We also prove that every non-empty set of integers is the signed degree set of some connected signed graph.
Signed degree sets in signed bipartite graphs
Published
• View Publication
• BIB
A signed bipartite graph G(U, V) is a bipartite graph in which each edge is assigned a positive or a negative sign. The signed degree of a vertex x in G(U, V) is the number of positive edges incident with x less the number of negative edges incident with x. The set S of distinct signed degrees of the vertices of G(U, V) is called its signed degree set. In this paper, we prove that every set of integers is the signed degree set of some connected signed bipartite graph. \medskip \medskip
Nomadic Decompositions of Bidirected Complete Graphs
Published in Discrete Math. Vol. 308, no. 17, 2008, pp. 3982-3985
• View Publication
• BIB
We use $K^*_n$ to denote the bidirected complete graph on $n$ vertices. A nomadic Hamiltonian decomposition of $K^*_n$ is a Hamiltonian decomposition, with the additional property that ``nomads'' walk along the Hamiltonian cycles (moving one vertex per time step) without colliding. A nomadic near-Hamiltonian decomposition is defined similarly, except that the cycles in the decomposition have length $n-1$, rather than length $n$. J.A. Bondy asked whether these decompositions of $K^*_n$ exist for all $n$. We show that $K^*_n$ admits a nomadic near-Hamiltonian decomposition when $n\not\equiv 2\bmod 4$.
Coassociative magmatic bialgebras and the Fine numbers
Published in J. Algebraic Combin. 28 (2008), no. 1, 97-114
• View Publication
• BIB
We prove a structure theorem for the connected coassociative magmatic bialgebras. The space of primitive elements is an algebra over an operad called the primitive operad. We prove that the primitive operad is magmatic generated by n-2 operations of arity n. The dimension of the space of all the n-ary operations of this primitive operad turns out to be the Fine number F_{n-1}. In short, the triple of operads (As, Mag, MagFine) is good.
Mark sequences in digraphs
Published in Seminare Lotharingien de Combinatoire, 55(2006) Art.B55c
• Search Publication
A k-digraph is an orientation of a multi-graph that is without loops and contains at most k edges between any pair of distinct vertices. We obtain necessary and sufficient conditions for a sequence of non-negative integers in non-decreasing order to be a sequence of numbers, called marks (k-scores), attached to vertices of a k-digraph. We characterize irreducible mark sequences in k-digraphs and uniquely realizable mark sequences in 2-digraphs.
New proof of a Theorem on k-hypertournament losing scores
In this paper, we give a new and short proof of a Theorem on k-hypertournament losing scores due to Zhou et al.[7].
Polyboxes, cube tilings and rigidity
Published
• View Publication
• BIB
A non-empty subset A of X = X_1 x...x X_d is a (proper) box if A = A_1 x...x A_d and A_i is a (proper) subset of X_i for each i. Suppose that for each pair of boxes A, B and each i, one can only know which of the three states takes place: A_i = B_i, A_i = X_i\setminus B_i, A_i is different from each of the sets B_i, X_i\setminus B_i. Let F and G be two systems of disjoint boxes. Can one decide whether their unions are equal? In general, the answer is no, but as is shown in the paper, it is yes if both systems consist of pairwise dichotomous boxes. Several criteria that enable to compare such systems are collected. The paper includes also rigidity results, which say what assumptions have to be imposed on F to ensure that \bigcup F = \bigcup G implies F = G. As an application, the rigidity conjecture for 2-extremal cube tilings of Lagarias and Shor is verified.
Approximation by the Dickman distribution and quasi-logarithmic combinatorial structures
Published
• View Publication
• BIB
This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).
Score lists in [h-k]-bipartite hypertournaments
Published
• View Publication
• BIB
Given non-negative integers m, n, h and k with $ m\geq h>1 $ and $ n\geq k>1, $an [h-k]-bipartite hypertournament on $ m+n$ vertices is a triple $(U,V,A) $, where U and V are two sets of vertices with $| U| =m$ and $ | V| =n,$ and $A$ is a set of $(h+k) -$ tuples of vertices, called arcs, with exactly $h$ vertices from $U$ and exactly $k$ vertices from $V$, such that any $h+k$ subsets $ U_{1}\cup V_{1}$ of $U\cup V, A$ contains exactly one of the $(h+k) ! (h+k) -$tuples whose entries belong to $U_{1}\cup V_{1}.$ We obtain necessary and sufficient conditions for a pair of non-decreasing sequences of non-negative integers to be the losing score lists or score lists of some$[h-k]-$bipartite hypertournament.\bigskip
Score sets in oriented bipartite graphs
Published in Novi Sad J. Mathematics, Vol.36, No.1(2006)35-45
• Search Publication
The set A of distinct scores of the vertices of an oriented bipartite graph D(U, V) is called its score set. We consider the following question: given a finite, nonempty set A of positive integers, is there an oriented bipartite graph D(U, V) such that score set of D(U, V) is A? We conjecture that there is an affirmative answer, and verify this conjecture when $\mid A\mid $ = 1, 2, 3, or when A is a geometric or arithmetic progression.
A Lie theoretic approach to renormalization
Published in Commun.Math.Phys.276:519-549,2007
• View Publication
• BIB
Motivated by recent work of Connes and Marcolli, based on the Connes-Kreimer approach to renormalization, we augment the latter by a combinatorial, Lie algebraic point of view. Our results rely both on the properties of the Dynkin idempotent, one of the fundamental Lie idempotents in the theory of free Lie algebras, and on properties of Hopf algebras encapsulated in the notion of associated descent algebras. Besides leading very directly to proofs of the main combinatorial aspects of the renormalization procedures, the new techniques give rise to an algebraic approach to the Galois theory of renormalization. In particular, they do not depend on the geometry underlying the case of dimensional regularization and the Riemann-Hilbert correspondence. This is illustrated with a discussion of the BPHZ renormalization scheme.
Asymptotic density in quasi-logarithmic additive number systems
Published in Math. Proc. Cambridge Philos. Soc. (2008), 144, 267-287
• View Publication
• BIB
This paper has been withdrawn by the author; a revised version is part of the author's phd-thesis "Quasi-logarithmic structures" (Zurich, 2007).
Dirac's theorem on simplicial matroids
Published
• View Publication
• BIB
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.
Bounds for Codes by Semidefinite Programming
Published in Proc. Steklov Inst. Math., 263 (2008), 134-149.
• View Publication
• BIB
Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that using as variables power sums of distances this problem can be considered as a finite semidefinite programming problem. This method allows to improve some linear programming upper bounds. In particular we obtain new bounds of one-sided kissing numbers.
Affine insertion and Pieri rules for the affine Grassmannian
Published
• View Publication
• BIB
We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian.
These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously.
Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.