Showing 20 papers (Total: 81680 papers, 47334 authors in database)
A semigroup approach to wreath-product extensions of Solomon's descent algebras
Published
• View Publication
• BIB
There is a well-known combinatorial definition, based on ordered set partitions, of the semigroup of faces of the braid arrangement. We generalize this definition to obtain a semigroup Sigma_n^G associated with G wr S_n, the wreath product of the symmetric group S_n with an arbitrary group G. Techniques of Bidigare and Brown are adapted to construct an anti-homomorphism from the S_n-invariant subalgebra of the semigroup algebra of Sigma_n^G into the group algebra of G wr S_n. The generalized descent algebras of Mantaci and Reutenauer are obtained as homomorphic images when G is abelian.
Large nearly regular induced subgraphs
Published
• View Publication
• BIB
For a real c \geq 1 and an integer n, let f(n,c) denote the maximum integer f so that every graph on n vertices contains an induced subgraph on at least f vertices in which the maximum degree is at most c times the minimum degree. Thus, in particular, every graph on n vertices contains a regular induced subgraph on at least f(n,1) vertices. The problem of estimating $(n,1) was posed long time ago by Erdos, Fajtlowicz and Staton. In this note we obtain the following upper and lower bounds for the asymptotic behavior of f(n,c):
(i) For fixed c>2.1, n^{1-O(1/c)} \leq f(n,c) \leq O(cn/\log n).
(ii) For fixed c=1+εwith epsilon>0 sufficiently small, f(n,c) \geq n^{Ω(ε^2/ \ln (1/ε))}.
(iii) Ω(\ln n) \leq f(n,1) \leq O(n^{1/2} \ln^{3/4} n).
An analogous problem for not necessarily induced subgraphs is briefly considered as well.
A new proof of the Erdős-Ko-Rado theorem for intersecting families of permutations
Published
• View Publication
• BIB
Let S(n) be the symmetric group on n points. A subset S of S(n) is intersecting if for any pair of permutations π, σin S there is a point i in {1,...,n} such that π(i)=σ(i). Deza and Frankl \cite{MR0439648} proved that if S a subset of S(n) is intersecting then |S| \leq (n-1)!. Further, Cameron and Ku \cite{MR2009400} show that the only sets that meet this bound are the cosets of a stabilizer of a point. In this paper we give a very different proof of this same result.
A polynomial bound for untangling geometric planar graphs
Published in Discrete & Computational Geometry 42(4):570-585, 2009
• View Publication
• BIB
To untangle a geometric graph means to move some of the vertices so that the resulting geometric graph has no crossings. Pach and Tardos [Discrete Comput. Geom., 2002] asked if every n-vertex geometric planar graph can be untangled while keeping at least n^εvertices fixed. We answer this question in the affirmative with ε=1/4. The previous best known bound was Ω((\log n / \log\log n)^{1/2}). We also consider untangling geometric trees. It is known that every n-vertex geometric tree can be untangled while keeping at least (n/3)^{1/2} vertices fixed, while the best upper bound was O(n\log n)^{2/3}. We answer a question of Spillner and Wolff [arXiv:0709.0170 2007] by closing this gap for untangling trees. In particular, we show that for infinitely many values of n, there is an n-vertex geometric tree that cannot be untangled while keeping more than 3(n^{1/2}-1) vertices fixed. Moreover, we improve the lower bound to (n/2)^{1/2}.
Families intersecting on an interval
Published
• View Publication
• BIB
We shall be interested in the following Erdos-Ko-Rado-type question. Fix some subset B of [n]. How large a family A of subsets of [n] can we find such that the intersection of any two sets in A contains a cyclic translate (modulo n) of B? Chung, Graham, Frankl and Shearer have proved that, in the case where B is a block of length t, we can do no better than to take A to consist of all supersets of B. We give an alternative proof of this result, which is in a certain sense more 'direct'.
Crossings and Nestings of Two Edges in Set Partitions
Let $π$ and $λ$ be two set partitions with the same number of blocks. Assume $π$ is a partition of $[n]$.
For any integer $l, m \geq 0$, let $\mathcal{T}(π, l)$ be the set of partitions of $[n+l]$ whose restrictions to the last $n$ elements are isomorphic to $π$, and $\mathcal{T}(π, l, m)$ the subset of $\mathcal{T}(π,l)$ consisting of those partitions with exactly $m$ blocks. Similarly define $\mathcal{T}(λ, l)$ and $\mathcal{T}(λ, l,m)$. We prove that if the statistic $cr$ ($ne$), the number of crossings (nestings) of two edges, coincides on the sets $\mathcal{T}(π, l)$ and $\mathcal{T}(λ, l)$ for $l =0, 1$, then it coincides on $\mathcal{T}(π, l,m)$ and $\mathcal{T}(λ, l,m)$ for all $l, m \geq 0$. These results extend the ones obtained by Klazar on the distribution of crossings and nestings for matchings.
Lossless Representation of Graphs using Distributions
We consider complete graphs with edge weights and/or node weights taking values in some set. In the first part of this paper, we show that a large number of graphs are completely determined, up to isomorphism, by the distribution of their sub-triangles. In the second part, we propose graph representations in terms of one-dimensional distributions (e.g., distribution of the node weights, sum of adjacent weights, etc.). For the case when the weights of the graph are real-valued vectors, we show that all graphs, except for a set of measure zero, are uniquely determined, up to isomorphism, from these distributions. The motivating application for this paper is the problem of browsing through large sets of graphs.
Classification of the line-soliton solutions of KPII
Published
• View Publication
• BIB
In the previous papers (notably, Y. Kodama, J. Phys. A 37, 11169-11190 (2004), and G. Biondini and S. Chakravarty, J. Math. Phys. 47 033514 (2006)), we found a large variety of line-soliton solutions of the Kadomtsev-Petviashvili II (KPII) equation. The line-soliton solutions are solitary waves which decay exponentially in $(x,y)$-plane except along certain rays. In this paper, we show that those solutions are classified by asymptotic information of the solution as $|y| \to \infty$. Our study then unravels some interesting relations between the line-soliton classification scheme and classical results in the theory of permutations.
Geometry and complexity of O'Hara's algorithm
Published
• View Publication
• BIB
In this paper we analyze O'Hara's partition bijection. We present three type of results. First, we show that O'Hara's bijection can be viewed geometrically as a certain scissor congruence type result. Second, we obtain a number of new complexity bounds, proving that O'Hara's bijection is efficient in several special cases and mildly exponential in general. Finally, we prove that for identities with finite support, the map of the O'Hara's bijection can be computed in polynomial time, i.e. much more efficiently than by O'Hara's construction.
The Inductive Kernels of Graphs
It is well known that kernels in graphs are powerful and useful structures, for instance in the theory of games. However, a kernel does not always exist and Chvátal proved in 1973 that it is an NP-Complete problem to decide its existence. We present here an alternative definition of kernels that uses an inductive machinery : the inductive kernels. We prove that inductive kernels always exist and a particular one can be constructed in quadratic time. However, it is an NP-Complete problem to decide the existence of an inductive kernel including (resp. excluding) some fixed vertex.
Matrices Totally Positive Relative to a Tree
Published in ELA volume 18 (2009), pages 211-221
• View Publication
• BIB
It is known that for a totally positive (TP) matrix, the eigenvalues are positive and distinct and the eigenvector associated with the smallest eigenvalue is totally nonzero and has an alternating sign pattern. Here, a certain weakening of the TP hypothesis is shown to yield a similar conclusion.
A problem of enumeration of two-color bracelets with several variations
We consider the problem of enumeration of incongruent two-color bracelets of $n$ beads, $k$ of which are black, and study several natural variations of this problem. We also give recursion formulas for enumeration of $t$-color bracelets, $t\geq3.
Some bijections on set partitions
This paper has been withdrawn by the author due to an error in Lemma 3, making the (bijective) proof of Theorem 4 and Corollary 5 invalid (symmetry of k-nonnesting and k-noncrossing set partitions).
Z2Z4-linear codes: generator matrices and duality
A code ${\cal C}$ is $\Z_2\Z_4$-additive if the set of coordinates can be partitioned into two subsets $X$ and $Y$ such that the punctured code of ${\cal C}$ by deleting the coordinates outside $X$ (respectively, $Y$) is a binary linear code (respectively, a quaternary linear code). In this paper $\Z_2\Z_4$-additive codes are studied. Their corresponding binary images, via the Gray map, are $\Z_2\Z_4$-linear codes, which seem to be a very distinguished class of binary group codes.
As for binary and quaternary linear codes, for these codes the fundamental parameters are found and standard forms for generator and parity check matrices are given. For this, the appropriate inner product is deduced and the concept of duality for $\Z_2\Z_4$-additive codes is defined. Moreover, the parameters of the dual codes are computed. Finally, some conditions for self-duality of $\Z_2\Z_4$-additive codes are given.
Combinatorial Alexander Duality -- a Short and Elementary Proof
Published in Discrete Comput. Geom. 42(4) (2009), 586-593
• View Publication
• BIB
Let X be a simplicial complex with the ground set V. Define its Alexander dual as a simplicial complex X* = {A \subset V: V \setminus A \notin X}. The combinatorial Alexander duality states that the i-th reduced homology group of X is isomorphic to the (|V|-i-3)-th reduced cohomology group of X* (over a given commutative ring R). We give a self-contained proof.
Connectivity of Addition Cayley Graphs
Published
• View Publication
• BIB
For any finite abelian group $G$ and any subset $S\seq G$, we determine the connectivity of the addition Cayley graph induced by $S$ on $G$. Moreover, we show that if this graph is not complete, then it possesses a minimum vertex cut of a special, explicitly described form.
From Bruhat intervals to intersection lattices and a conjecture of Postnikov
Published
• View Publication
• BIB
We prove the conjecture of A. Postnikov that (A) the number of regions in the inversion hyperplane arrangement associated with a permutation $w\in \Sn$ is at most the number of elements below $w$ in the Bruhat order, and (B) that equality holds if and only if $w$ avoids the patterns 4231, 35142, 42513 and 351624. Furthermore, assertion (A) is extended to all finite reflection groups.
A byproduct of this result and its proof is a set of inequalities relating Betti numbers of complexified inversion arrangements to Betti numbers of closed Schubert cells. Another consequence is a simple combinatorial interpretation of the chromatic polynomial of the inversion graph of a permutation which avoids the above patterns.
Euler Characteristic of real nondegenerate tropical complete intersections
We define nondegenerate tropical complete intersections imitating the corresponding definition in complex algebraic geometry. As in the complex situation, all nonzero intersection multiplicity numbers between tropical hypersurfaces defining a nondegenerate tropical complete intersection are equal to 1. The intersection multiplicity numbers we use are sums of mixed volumes of polytopes which are dual to cells of the tropical hypersurfaces. We show that the Euler characteristic of a real nondegenerate tropical complete intersection depends only on the Newton polytopes of the tropical polynomials which define the intersection. Basically, it is equal to the usual signature of a complex complete intersection with same Newton polytopes, when this signature is defined. The proof reduces to the toric hypersurface case, and uses the notion of $E$-polynomials of complex varieties.
Hamming Distance for Conjugates
Published
• View Publication
• BIB
Let x, y be strings of equal length. The Hamming distance h(x,y) between x and y is the number of positions in which x and y differ. If x is a cyclic shift of y, we say x and y are conjugates. We consider f(x,y), the Hamming distance between the conjugates xy and yx. Over a binary alphabet f(x,y) is always even, and must satisfy a further technical condition. By contrast, over an alphabet of size 3 or greater, f(x,y) can take any value between 0 and |x|+|y|, except 1; furthermore, we can always assume that the smaller string has only one type of letter.
Realization of abstract convex geometries by point configurations, Part 1
Published in European Journal of Combinatorics 31 (2010) 379-400
• View Publication
• BIB
The Edelman-Jamison problem is to characterize those abstract convex geometries that are representable by a set of points in the plane. We show that some natural modification of the Edelman-Jamison problem is equivalent to the well known NP-hard order type problem.