Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Maximal unbalanced families
A family of subsets of the set {1,2,...,n} is said to be unbalanced if the convex hull of its characteristic vectors misses the diagonal in the n-cube.The purpose of this article is to develop the combinatorics of maximal unbalanced families. Specifically, we will prove lower and upper bounds on the number of maximal unbalanced families of subsets of an n-element set -- both bounds are of the form 2^{C n^2} for some C > 0. These families correspond to the chambers of a hyperplane arrangement, the restricted all-subset arrangement, that has arisen in various forms in physics, economics and psychometrics. In particular, our bounds answer a question posed in thermal field theory concerning the order of the number of chambers of this arrangement.
On two 10th order mock theta identities
Published in The Ramanujan Journal 36, no. 1-2, (2015), 117-121
• View Publication
• BIB
We give short proofs of conjectural identities due to Gordon and McIntosh involving two 10th order mock theta functions.
Using Noonan-Zeilberger Functional Equations to enumerate (in Polynomial Time!) Generalized Wilf classes
Published
• View Publication
• BIB
One of the most challenging problems in enumerative combinatorics is to count Wilf classes, where you are given a pattern, or set of patterns, and you are asked to find a "formula", or at least an efficient algorithm, that inputs a positive integer n and outputs the number of permutations avoiding that pattern.
In 1996, John Noonan and Doron Zeilberger initiated the counting of permutations that have a prescribed, r, say, occurrences of a given pattern. They gave an ingenious method to generate Functional Equations, alas, with an unbounded number of "catalytic variables", but then described a clever way, using multivariable calculus, how to get enumeration schemes. Alas, their method becomes very complicated for r larger than 1. In the present article we describe a far simpler way to squeeze the necessary information, in polynomial time, for increasing patterns of any length, and for any number of occurrences, r.
The limiting distributions of large heavy Wigner and arbitrary random matrices
Published
• View Publication
• BIB
The model of heavy Wigner matrices generalizes the classical ensemble of Wigner matrices: the sub-diagonal entries are independent, identically distributed along to and out of the diagonal, and the moments its entries are of order 1/N, where N is the size of the matrices. Adjacency matrices of Erdös-Renyi sparse graphs and matrices with properly truncated heavy tailed entries are examples of heavy Wigner matrices. We consider a family X_N of independent heavy Wigner matrices and a family Y_N of arbitrary random matrices, independent of X_N, with a technical condition (e.g. the matrices of Y_N are deterministic and uniformly bounded in operator norm, or are deterministic diagonal). We characterize the possible limiting joint *-distributions of (X_N,Y_N) in the sense of free probability. We find that they depend on more than the *-distribution of Y_N. We use the notion of distributions of traffics and their free product to quantify the information needed on Y_N and to infer the limiting distribution of (X_N,Y_N). We give an explicit combinatorial formula for joint moments of heavy Wigner and independent random matrices. When the matrices of Y_N are diagonal, we give recursion formulas for these moments. We deduce a new characterization of the limiting eigenvalues distribution of a single heavy Wigner.
Reconstructing fully-resolved trees from triplet cover distances
Published
• View Publication
• BIB
It is a classical result that any finite tree with positively weighted edges, and without vertices of degree 2, is uniquely determined by the weighted path distance between each pair of leaves. Moreover, it is possible for a (small) strict subset $\cl$ of leaf pairs to suffice for reconstructing the tree and its edge weights, given just the distances between the leaf pairs in $\cl$. It is known that any set $\cl$ with this property for a tree in which all interior vertices have degree 3 must form a {\em cover} for $T$ -- that is, for each interior vertex $v$ of $T$, $\cl$ must contain a pair of leaves from each pair of the three components of $T-v$. Here we provide a partial converse of this result by showing that if a set $\cl$ of leaf pairs forms a cover of a certain type for such a tree $T$ then $T$ and its edge weights can be uniquely determined from the distances between the pairs of leaves in $\cl$. Moreover, there is a polynomial-time algorithm for achieving this reconstruction. The result establishes a special case of a recent question concerning `triplet covers', and is relevant to a problem arising in evolutionary genomics.
On the Best Upper Bound for Permutations Avoiding A Pattern of a Given Length
Numerical evidence suggests that certain permutation patterns of length k are easier to avoid than any other patterns of that same length. We prove that these patterns are avoided by no more than (2.25k^2)^n permutations of length n. In light of this, we conjecture that no pattern of length k is avoided by more than that many permutations of length n.
On the Möbius function of the locally finite poset associated with a numerical semigroup
Published in Semigroup Forum, Springer Verlag, 2013, 87 (2), pp.313-330
• View Publication
• BIB
Let $S$ be a numerical semigroup and let $\left(\mathbb{Z},\leqslant\_S\right)$ be the (locally finite) poset induced by $S$ on the set of integers $\mathbb{Z}$ defined by $x \leqslant\_S y$ if and only if $y-x\in S$ for all integers $x$ and $y$. In this paper, we investigate the M{ö}bius function associated to $\left(\mathbb{Z},\leqslant\_S\right)$ when $S$ is an arithmetic semigroup.
On supersolvable reflection arrangements
Published
• View Publication
• BIB
Let A = (A,V) be a complex hyperplane arrangement and let L(A) denote its intersection lattice. The arrangement A is called supersolvable, provided its lattice L(A) is supersolvable, a notion due to Stanley. Jambu and Terao showed that every supersolvable arrangement is inductively free, a notion due to Terao. So this is a natural subclass of this particular class of free arrangements.
Suppose that W is a finite, unitary reflection group acting on the complex vector space V. Let A = (A(W), V) be the associated hyperplane arrangement of W. In a recent paper, we determined all inductively free reflection arrangements.
The aim of this note is to classify all supersolvable reflection arrangements. Moreover, we characterize the irreducible arrangements in this class by the presence of modular elements of rank 2 in their intersection lattice.
Kronecker coefficients for one hook shape
We give a positive combinatorial formula for the Kronecker coefficient g_{lambda mu(d) nu} for any partitions lambda, nu of n and hook shape mu(d) := (n-d,1^d). Our main tool is Haiman's \emph{mixed insertion}. This is a generalization of Schensted insertion to \emph{colored words}, words in the alphabet of barred letters \bar{1},\bar{2},... and unbarred letters 1,2,.... We define the set of \emph{colored Yamanouchi tableaux of content lambda and total color d} (CYT_{lambda, d}) to be the set of mixed insertion tableaux of colored words w with exactly d barred letters and such that w^{blft} is a Yamanouchi word of content lambda, where w^{blft} is the ordinary word formed from w by shuffling its barred letters to the left and then removing their bars. We prove that g_{lambda mu(d) nu} is equal to the number of CYT_{lambda, d} of shape nu with unbarred southwest corner.
2-Colored Matchings in a 3-Colored K^{3}_{12}
Let $K_{n}^{r}$ denote the complete $r$-uniform hypergraph on $n$ vertices. A matching $M$ in a hypergraph is a set of pairwise vertex disjoint edges. Recent Ramsey-type results rely on lemmas about the size of monochromatic matchings. A starting point for this study comes from a well-known result of Alon, Frankl, and Lovász (1986). Our motivation is to find the smallest $n$ such that every $t$-coloring of $K_{n}^{r}$ contains an $s$-colored matching of size $k$. It has been conjectured that in every coloring of the edges of $K_n^r$ with 3 colors there is a 2-colored matching of size at least $k$ provided that $n \geq kr + \lfloor \frac{k-1}{r+1} \rfloor$. The smallest test case is when $r=3$ and $k=4$. We prove that in every 3-coloring of the edges of $K_{12}^3$ there is a 2-colored matching of size 4.
Completely reducible sets
Published in International Journal of Algebra and Computation, 23 (4), 915-942 (2013)
• View Publication
• BIB
We study the family of rational sets of words, called completely reducible and which are such that the syntactic representation of their characteristic series is completely reducible. This family contains, by a result of Reutenauer, the submonoids generated by bifix codes and, by a result of Berstel and Reutenauer, the cyclic sets. We study the closure properties of this family. We prove a result on linear representations of monoids which gives a generalization of the result concerning the complete reducibility of the submonoid generated by a bifix code to sets called birecurrent. We also give a new proof of the result concerning cyclic sets.
A natural stochastic extension of the sandpile model on a graph
Published
• View Publication
• BIB
We introduce a new model of a stochastic sandpile on a graph $G$ containing a sink. When unstable, a site sends one grain to each of its neighbours independently with probability $p \in (0,1]$. For $p=1$, this coincides with the standard Abelian sandpile model. In general, for $p\in(0,1)$, the set of recurrent configurations of this sandpile model is different from that of the Abelian sandpile model. We give a characterisation of this set in terms of orientations of the graph $G$. We also define the lacking polynomial $L_G$ as the generating function counting this set according to the number of grains, and show that this polynomial satisfies a recurrence which resembles that of the Tutte polynomial.
Nonassociative Ramsey Theory and the amenability of Thompson's group
The purpose of this article is prove that Thompson's group F is amenable. The methods developed will then be used to prove a generalization of Hindman's theorem for the free nonassociative binary system on one generator.
Spreading Processes and Large Components in Ordered, Directed Random Graphs
Order the vertices of a directed random graph \math{v_1,...,v_n}; edge \math{(v_i,v_j)} for \math{i<j} exists independently with probability \math{p}. This random graph model is related to certain spreading processes on networks. We consider the component reachable from \math{v_1} and prove existence of a sharp threshold \math{p^*=\log n/n} at which this reachable component transitions from \math{o(n)} to \math{Ω(n)}.
gamma-vectors of edge subdivisions of the boundary of the cross polytope
For any flag simplicial complex $Θ$ obtained by stellar subdividing the boundary of the cross polytope in edges, we define a flag simplicial complex $Γ(Θ)$ (dependent on the sequence of subdivisions) whose $f$-vector is the $γ$-vector of $Θ$. This proves that the $γ$-vector of any such simplicial complex satisfies the Frankl-Füredi-Kalai inequalities, partially solving a conjecture by Nevo and Petersen \cite{np}. We show that when $Θ$ is the dual simplicial complex to a nestohedron, and the sequence of subdivisions corresponds to a flag ordering as defined in \cite{ai}, that $Γ(Θ)$ is equal to the flag simplical complex defined there.
Enumeration of Cylindric Plane Partitions - Part II
Published
• View Publication
• BIB
Cylindric plane partitions may be thought of as a natural generalization of reverse plane partitions. A generating series for the enumeration of cylindric plane partitions was recently given by Borodin. As in the reverse plane partition case, the right hand side of this identity admits a simple factorization form in terms of the "hook lengths" of the individual boxes in the underlying shape. The main result of this paper is a new bijective proof of Borodin's identity which makes use of Fomin's growth diagram framework for generalized RSK correspondences.
Splitting multidimensional necklaces and measurable colorings of Euclidean spaces
Published
• View Publication
• BIB
A necklace splitting theorem of Goldberg and West asserts that any k-colored (continuous) necklace can be fairly split using at most k cuts. Motivated by the problem of Erdős on strongly nonrepetitive sequences, Alon et al. proved that there is a (t+3)-coloring of the real line in which no necklace has a fair splitting using at most t cuts. We generalize this result for higher dimensional spaces. More specifically, we prove that there is k-coloring of R^{d} such that no cube has a fair splitting of size t (using at most t hyperplanes orthogonal to each of the axes), provided k>(t+4)^{d}-(t+3)^{d}+(t+2)^{d}-2^{d}+d(t+2)+3. We also consider a discrete variant of the multidimensional necklace splitting problem in the spirit of the theorem of de Longueville and Živaljević. The question how many axes aligned hyperplanes are needed for a fair splitting of a d-dimensional k-colored cube remains open.
A Note on Integer Domination of Cartesian Product Graphs
Given a graph $G$, a dominating set $D$ is a set of vertices such that any vertex in $G$ has at least one neighbor (or possibly itself) in $D$. A ${k}$-dominating multiset $D_k$ is a multiset of vertices such that any vertex in $G$ has at least $k$ vertices from its closed neighborhood in $D_k$ when counted with multiplicity. In this paper, we utilize the approach developed by Clark and Suen (2000) and properties of binary matrices to prove a "Vizing-like" inequality on minimum ${k}$-dominating multisets of graphs $G,H$ and the Cartesian product graph $G \Box H$. Specifically, denoting the size of a minimum ${k}$-dominating multiset as $γ_{k}(G)$, we demonstrate that $γ_{k}(G) γ_{k}(H) \leq 2k γ_{k}(G \Box H)$.
On natural maps from strata of quiver Grassmannians to ordinary Grassmannians
Published in Contemporary Mathematics, volume 592, 2013, 199--214
• View Publication
• BIB
Caldero and Zelevinsky studied the geometry of quiver Grassmannians for the Kronecker quiver and computed their Euler characteristics by examining natural stratification of quiver Grassmannians. We consider generalized Kronecker quivers and compute virtual Poincare polynomials of certain varieties which are the images under projections from strata of quiver Grassmannians to ordinary Grassmannians. In contrast to the Kronecker quiver case, these polynomials do not necessarily have positive coefficients. The key ingredient is the explicit formula for noncommutative cluster variables given by Ralf Schiffler and the first author.
Counting edge-Kempe-equivalence classes for 3-edge-colored cubic graphs
Published
• View Publication
• BIB
Two edge colorings of a graph are {\em edge-Kempe equivalent} if one can be obtained from the other by a series of edge-Kempe switches. This work gives some results for the number of edge-Kempe equivalence classes for cubic graphs. In particular we show every 2-connected planar bipartite cubic graph has exactly one edge-Kempe equivalence class. Additionally, we exhibit infinite families of nonplanar bipartite cubic graphs with a range of numbers of edge-Kempe equivalence classes. Techniques are developed that will be useful for analyzing other classes of graphs as well.