Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Packing tight Hamilton cycles in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let H be a 3-uniform hypergraph with N vertices. A tight Hamilton cycle C \subset H is a collection of N edges for which there is an ordering of the vertices v_1, ..., v_N such that every triple of consecutive vertices {v_i, v_{i+1}, v_{i+2}} is an edge of C (indices are considered modulo N). We develop new techniques which enable us to prove that under certain natural pseudo-random conditions, almost all edges of H can be covered by edge-disjoint tight Hamilton cycles, for N divisible by 4. Consequently, we derive the corollary that random 3-uniform hypergraphs can be almost completely packed with tight Hamilton cycles w.h.p., for N divisible by 4 and P not too small. Along the way, we develop a similar result for packing Hamilton cycles in pseudo-random digraphs with even numbers of vertices.
A New Class of Non-Linear Stability Preserving Operators
Published in Complex Variables and Elliptic Equations: An International Journal, 2011
• View Publication
• BIB
We extend Brändén's recent proof of a conjecture of Stanley and describe a new class of non-linear operators that preserve weak Hurwitz stability and the Laguerre-Pólya class.
Bijective Proofs of Gould's and Rothe's Identities
Published in Discrete Math. 308 (2008), 1756--1759
• View Publication
• BIB
We first give a bijective proof of Gould's identity in the model of binary words. Then we deduce Rothe's identity from Gould's identity again by a bijection, which also leads to a double-sum extension of the $q$-Chu-Vandermonde formula.
Bijective proofs of Gould-Mohanty's and Raney-Mohanty's identities
Using the model of words, we give bijective proofs of Gould-Mohanty's and Raney-Mohanty's identities, which are respectively multivariable generalizations of Gould's identity $$\sum_{k=0}^{n}{x-kz\choose k}{y+kz\choose n-k}= \sum_{k=0}^{n}{x+ε-kz\choose k}{y-ε+kz\choose n-k} $$ and Rothe's identity $$ \sum_{k=0}^{n}\frac{x}{x-kz}{x-kz\choose k}{y+kz\choose n-k}= {x+y\choose n}. $$
Hitting times for random walks with restarts
Published
• View Publication
• BIB
The time it takes a random walker in a lattice to reach the origin from another vertex $x$, has infinite mean. If the walker can restart the walk at $x$ at will, then the minimum expected hitting time $T(x,0)$ (minimized over restarting strategies) is finite; it was called the ``grade'' of $x$ by Dumitriu, Tetali and Winkler. They showed that, in a more general setting, the grade (a variant of the ``Gittins index'') plays a crucial role in control problems involving several Markov chains. Here we establish several conjectures of Dumitriu et al on the asymptotics of the grade in Euclidean lattices. In particular, we show that in the planar square lattice, $T(x,0)$ is asymptotic to $2|x|^2\log|x|$ as $|x| \to \infty$. The proof hinges on the local variance of the potential kernel $h$ being almost constant on the level sets of $h$. We also show how the same method yields precise second order asymptotics for hitting times of a random walk (without restarts) in a lattice disk.
Generating functions for Wilf equivalence under generalized factor order
Kitaev, Liese, Remmel, and Sagan recently defined generalized factor order on words comprised of letters from a partially ordered set $(P, \leq_P)$ by setting $u \leq_P w$ if there is a subword $v$ of $w$ of the same length as $u$ such that the $i$-th character of $v$ is greater than or equal to the $i$-th character of $u$ for all $i$. This subword $v$ is called an embedding of $u$ into $w$. For the case where $P$ is the positive integers with the usual ordering, they defined the weight of a word $w = w_1\ldots w_n$ to be $\text{wt}(w) = x^{\sum_{i=1}^n w_i} t^{n}$, and the corresponding weight generating function $F(u;t,x) = \sum_{w \geq_P u} \text{wt}(w)$. They then defined two words $u$ and $v$ to be Wilf equivalent, denoted $u \backsim v$, if and only if $F(u;t,x) = F(v;t,x)$. They also defined the related generating function $S(u;t,x) = \sum_{w \in \mathcal{S}(u)} \text{wt}(w)$ where $\mathcal{S}(u)$ is the set of all words $w$ such that the only embedding of $u$ into $w$ is a suffix of $w$, and showed that $u \backsim v$ if and only if $S(u;t,x) = S(v;t,x)$. We continue this study by giving an explicit formula for $S(u;t,x)$ if $u$ factors into a weakly increasing word followed by a weakly decreasing word. We use this formula as an aid to classify Wilf equivalence for all words of length 3. We also show that coefficients of related generating functions are well-known sequences in several special cases. Finally, we discuss a conjecture that if $u \backsim v$ then $u$ and $v$ must be rearrangements, and the stronger conjecture that there also must be a weight-preserving bijection $f: \mathcal{S}(u) \rightarrow \mathcal{S}(v)$ such that $f(u)$ is a rearrangement of $u$ for all $u$.
Homology of the Boolean Complex
Published
• View Publication
• BIB
We construct and analyze an explicit basis for the homology of the boolean complex of a Coxeter system. This gives combinatorial meaning to the spheres in the wedge sum describing the homotopy type of the complex. We assign a set of derangements to any finite simple graph. For each derangement, we construct a corresponding element in the homology of the complex, and the collection of these elements forms a basis for the homology of the boolean complex. In this manner, the spheres in the wedge sum describing the homotopy type of the complex can be represented by a set of derangements. We give an explicit, closed-form description of the derangements that can be obtained from any graph, and compute this set for several families of graphs. In the cases of complete graphs and Ferrers graphs, these calculations give bijective proofs of previously obtained enumerative results.
Classic and mirabolic Robinson-Schensted-Knuth correspondence for partial flags
Published in Canad. J. Math. 64 (2012), no. 5, 1090-1121
• View Publication
• BIB
In this paper we first generalize to the case of partial flags a result proved both by Spaltenstein and by Steinberg that relates the relative position of two complete flags and the irreducible components of the flag variety in which they lie, using the Robinson-Schensted-Knuth correspondence. Then we use this result to generalize the mirabolic Robinson-Schensted-Knuth correspondence defined by Travkin, to the case of two partial flags and a line.
Invariant and dual subtraction games resolving the Duchê-Rigo conjecture
Published
• View Publication
• BIB
We prove a recent conjecture of Duchêne and Rigo, stating that every complementary pair of homogeneous Beatty sequences represents the solution to an \emph{invariant} impartial game. Here invariance means that each available move in a game can be played anywhere inside the game-board. In fact, we establish such a result for a wider class of pairs of complementary sequences, and in the process generalize the notion of a \emph{subtraction game}. Given a pair of complementary sequences $(a_n)$ and $(b_n)$ of positive integers, we define a game $G$ by setting $\{\{a_n, b_n\}\}$ as invariant moves. We then introduce the invariant game $G^\star $, whose moves are all non-zero $P$-positions of $G$. Provided the set of non-zero $P$-positions of $G^\star$ equals $\{\{a_n,b_n\}\}$, this \emph{is} the desired invariant game. We give sufficient conditions on the initial pair of sequences for this 'duality' to hold.
Decompositions of 3-uniform hypergraph K_v^{(3)} into hypergraph K_4^{(3)}+e
In this paper it is established that a decomposition of a 3-uniform hypergraph K_v^{(3)} into a special kind of hypergraph K_4^{(3)}+e exists if and only if v\equiv 0,1,2 (mod 5) and v\geq 7.
First passage percolation on the Erdős-Rényi random graph
Published
• View Publication
• BIB
In this paper we explore first passage percolation (FPP) on the Erdős-Rényi random graph $G_n(p_n)$, where each edge is given an independent exponential edge weight with rate 1. In the sparse regime, i.e., when $np_n\to λ>1,$ we find refined asymptotics both for the minimal weight of the path between uniformly chosen vertices in the giant component, as well as for the hopcount (i.e., the number of edges) on this minimal weight path. More precisely, we prove a central limit theorem for the hopcount, with asymptotic mean and variance both equal to $λ/(λ-1)\log{n}$. Furthermore, we prove that the minimal weight centered by $\log{n}/(λ-1)$ converges in distribution. We also investigate the dense regime, where $np_n \to \infty$. We find that although the base graph is a {\it ultra small} (meaning that graph distances between uniformly chosen vertices are $o(\log{n})$), attaching random edge weights changes the geometry of the network completely. Indeed, the hopcount $H_n$ satisfies the universality property that whatever be the value of $p_n$, \ $H_n/\log{n}\to 1$ in probability and, more precisely, $(H_n-β_n\log{n})/\sqrt{\log{n}}$, where $β_n=λ_n/(λ_n-1)$, has a limiting standard normal distribution. The constant $β_n$ can be replaced by 1 precisely when $λ_n\gg \sqrt{\log{n}}$, a case that has appeared in the literature (under stronger conditions on $λ_n$). We also find bounds for the maximal weight and maximal hopcount between vertices in the graph. This paper continues the investigation of FPP initiated by the authors. Compared to the setting on the configuration model studied in \cite{BHHS08}, the proofs presented here are much simpler due to a direct relation between FPP on the Erdős-Rényi random graph and thinned continuous-time branching processes.
Superclasses and supercharacters of normal pattern subgroups of the unipotent upper triangular matrix group
Published in J. Algebr. Comb. 35 (2012), 61--92
• View Publication
• BIB
Let $U_n$ denote the group of $n\times n$ unipotent upper-triangular matrices over a fixed finite field $\FF_q$, and let $U_\cP$ denote the pattern subgroup of $U_n$ corresponding to the poset $\cP$. This work examines the superclasses and supercharacters, as defined by Diaconis and Isaacs, of the family of normal pattern subgroups of $U_n$. After classifying all such subgroups, we describe an indexing set for their superclasses and supercharacters given by set partitions with some auxiliary data. We go on to establish a canonical bijection between the supercharacters of $U_\cP$ and certain $\FF_q$-labeled subposets of $\cP$. This bijection generalizes the correspondence identified by André and Yan between the supercharacters of $U_n$ and the $\FF_q$-labeled set partitions of $\{1,2,...,n\}$. At present, few explicit descriptions appear in the literature of the superclasses and supercharacters of infinite families of algebra groups other than $\{U_n : n \in \NN\}$. This work signficantly expands the known set of examples in this regard.
Face numbers of cubical barycentric subdivisions
The cubical barycentric subdivision sd_c(K) of a cubical complex K is introduced as an analogue of the barycentric subdivision of a simplicial complex. Explicit formulas for the short and long cubical h-vector of sd_c(K) are given, in terms of those of K. It is deduced that symmetry and nonnegativity of these h-vectors, as well as real rootedness of the short cubical h-polynomial, are preserved under cubical barycentric subdivision. The asymptotic behavior of the short and long cubical h-vectors of successive cubical barycentric subdivisions of K is also determined.
On the Multi-coloured Ramsey Numbers of Cycles
For a graph $L$ and an integer $k\geq 2$, $R_k(L)$ denotes the smallest integer $N$ for which for any edge-colouring of the complete graph $K_N$ by $k$ colours there exists a colour $i$ for which the corresponding colour class contains $L$ as a subgraph.
Bondy and Erdős conjectured that for an odd cycle $C_n$ on $n$ vertices, $$R_k(C_n) = 2^{k-1}(n-1)+1 \text{for $n>3$.}$$ They proved the case when $k=2$ and also provided an upper bound $R_k(C_n)\leq (k+2)!n$. Recently, this conjecture has been verified for $k=3$ if $n$ is large. In this note, we prove that for every integer $k\geq 4$, $$R_k(C_n)\leq k2^kn+o(n), \text{as $n\to\infty$.}$$ When $n$ is even, Yongqi, Yuansheng, Feng, and Bingxi gave a construction, showing that $R_k(C_n)\geq (k-1)n-2k+4.$ Here we prove that if $n$ is even, then $$R_k(C_n)\leq kn+o(n), \text{as $n\to\infty$.}$$
A Recurrent Rotor-Router Configuration in Z^3
Rotor Router models were first introduced by James Propp in 2002. A recurrent Rotor configuration is the one in which every state is visited infinitely often. In this project we investigated whether there is a recurrent Rotor configuration in Z^d (d>2).
Associahedra and Weak Monoidal Structures on Categories
Published in Algebr. Geom. Topol. 12 (2012) 469-492
• View Publication
• BIB
This paper answers the following question: what algebraic structure on a category corresponds to an $A_n$ structure (in the sense of Stasheff) on the geometric realization of its nerve?
Generalized Dumont-Foata polynomials and alternative tableaux
Published in Séminaire Lotharingien de Combinatoire 64 (2010), Article B64b, 17pp
• Search Publication
Dumont and Foata introduced in 1976 a three-variable symmetric refinement of Genocchi numbers, which satisfies a simple recurrence relation. A six-variable generalization with many similar properties was later considered by Dumont. They generalize a lot of known integer sequences, and their ordinary generating function can be expanded as a Jacobi continued fraction.
We give here a new combinatorial interpretation of the six-variable polynomials in terms of the alternative tableaux introduced by Viennot. A powerful tool to enumerate alternative tableaux is the so-called "matrix Ansatz", and using this we show that our combinatorial interpretation naturally leads to a new proof of the continued fraction expansion.
Generating trees and pattern avoidance in alternating permutations
Published in Electronic Journal of Combinatorics 19, P21 (2012)
• View Publication
• BIB
We extend earlier work of the same author to enumerate alternating permutations avoiding the permutation pattern 2143. We use a generating tree approach to construct a recursive bijection between the set A_{2n}(2143) of alternating permutations of length 2n avoiding 2143 and standard Young tableaux of shape (n, n, n) and between the set A_{2n + 1}(2143) of alternating permutations of length 2n + 1 avoiding 2143 and shifted standard Young tableaux of shape (n + 2, n + 1, n). We also give a number of conjectures and open questions on pattern avoidance in alternating permutations and generalizations thereof.
Toward a Hajnal-Szemeredi theorem for hypergraphs
Let $H$ be a triple system with maximum degree $d>1$ and let $r>10^7\sqrt{d}\log^{2}d$. Then $H$ has a proper vertex coloring with $r$ colors such that any two color classes differ in size by at most one. The bound on $r$ is sharp in order of magnitude apart from the logarithmic factors. Moreover, such an $r$-coloring can be found via a randomized algorithm whose expected running time is polynomial in the number of vertices of $\cH$.
This is the first result in the direction of generalizing the Hajnal-Szemerédi theorem to hypergraphs.
Equality of symmetrized tensors and the coordinate ring of the flag variety
Published
• View Publication
• BIB
In this note we give a transparent proof of a result of da Cruz and Dias da Silva on the equality of symmetrized decomposable tensors. This will be done by explaining that their result follows from the fact that the coordinate ring of a flag variety is a unique factorization domain.