Showing 20 papers (Total: 81623 papers, 47312 authors in database)
On Universal Cycles for Multisets
Published in Discrete Math. 309(17): 5321--5327, 2009
• View Publication
• BIB
A Universal Cycle for t-multisets of [n]={1,...,n} is a cyclic sequence of $\binom{n+t-1}{t}$ integers from [n] with the property that each t-multiset of [n] appears exactly once consecutively in the sequence. For such a sequence to exist it is necessary that n divides $\binom{n+t-1}{t}$, and it is reasonable to conjecture that this condition is sufficient for large enough n in terms of t. We prove the conjecture completely for t in {2,3} and partially for t in {4,6}. These results also support a positive answer to a question of Knuth.
Topological complexity of generic hyperplane arrangements
Published
• View Publication
• BIB
We prove that the topological complexity of (a motion planning algorithm on) the complement of generic complex essential hyperplane arrangement of $n$ hyperplanes in an $r$-dimensional linear space is min$\{n+1,2r\}$.
Eulerian graphs and local complementation
We define pure graphs, invertible graphs, and the notion of complementation of bicoloured graphs. The study of pure graphs is motivated by two conjectures about the transition systems of eulerian graphs and by the Cycle Double Cover Conjecture. We show how substitution rules can be used to determine when two complementation words produce the same graph. For bicoloured graphs, complementation words give way to complementation sets. The invertible graphs (bicoloured graphs whose vertex set is a complementation set) are shown to have the property that their inverse has the same automorphisms. The property of being invertible can also be defined for non-coloured graphs by endowing them with their natural colouring. It is proposed that a characterization of pure graphs would contribute to establish the truth of the Cycle Double Cover Conjecture. We show how pure graphs have essential factorizations into primitive pure graphs. The four primitive pure parity classes are presented.
The birthday problem and Markov chain Monte Carlo
We study the problem of generating a sample from the stationary distribution of a Markov chain, given a method to simulate the chain. We give an approximation algorithm for the case of a random walk on a regular graph with n vertices that runs in expected time O^*(\sqrt{n} x L^2-mixing time). This is close to the best possible, since \sqrt{n} is a lower bound on the worst-case expected running time of any algorithm.
On a question of Bourgain about geometric incidences
Published in Combinatorics Probability and Computing 17 (4) (2008), 617-625
• View Publication
• BIB
Given a set of $s$ points and a set of $n^2$ lines in three-dimensional Euclidean space such that each line is incident the $n$ points but no $n$ lines are coplanar, then we have $s=Ω(n^{11/4})$. This is the first nontrivial answer to a question recently posed by Jean Bourgain.
Elliptic curves and explicit enumeration of irreducible polynomials with two coefficients prescribed
Published
• View Publication
• BIB
Let $F_q$ be a finite field of characteristic $p=2,3$. We give the number of irreducible polynomials $x^m+a_{m-1}x^{m-1}+...+a_0\in\F_q[x]$ with $a_{m-1}$ and $a_{m-3}$ prescribed for any given $m$ if $p=2$, and with $a_{m-1}$ and $a_1$ prescribed for $m=1,...,10$ if $p=2,3$.
Concrete and abstract structure of the sandpile group for thick trees with loops
We answer a question of Laszlo Babai concerning the abelian sandpile model. Given a graph, the model yields a finite abelian group of recurrent configurations which is closely related to the combinatorial Laplacian of the graph. We explicitly describe the group elements and operations in the case of thick trees with loops--that is, graphs which are obtained from trees by setting arbitrary edge multiplicities and adding loops at vertices. We do this both concretely (by describing the so-called recurrent and identity configurations) and abstractly (by computing the group's abstract structure), and define maps identifying the two.
Percolation on dense graph sequences
Published in Annals of Probability 2010, Vol. 38, No. 1, 150-183
• View Publication
• BIB
In this paper we determine the percolation threshold for an arbitrary sequence of dense graphs $(G_n)$. Let $λ_n$ be the largest eigenvalue of the adjacency matrix of $G_n$, and let $G_n(p_n)$ be the random subgraph of $G_n$ obtained by keeping each edge independently with probability $p_n$. We show that the appearance of a giant component in $G_n(p_n)$ has a sharp threshold at $p_n=1/λ_n$. In fact, we prove much more: if $(G_n)$ converges to an irreducible limit, then the density of the largest component of $G_n(c/n)$ tends to the survival probability of a multi-type branching process defined in terms of this limit. Here the notions of convergence and limit are those of Borgs, Chayes, Lovász, Sós and Vesztergombi. In addition to using basic properties of convergence, we make heavy use of the methods of Bollobás, Janson and Riordan, who used multi-type branching processes to study the emergence of a giant component in a very broad family of sparse inhomogeneous random graphs.
A graph theoretic interpretation of the mean first passage times
Let $m_{ij}$ be the mean first passage time from state $i$ to state $j$ in an $n$-state ergodic homogeneous Markov chain with transition matrix $T$. Let $G$ be the weighted digraph without loops whose vertex set coincides with the set of states of the Markov chain and arc weights are equal to the corresponding transition probabilities. We give a graph-theoretic interpretation to $m_{ij}$. Namely, We show that $m_{ij}=f_{ij}/q_j$ if $i\ne j$ and $m_{ij}=1/\tilde q_j$ if $i=j$, where $f_{ij}$ is the total weight of 2-tree spanning converging forests in $G$ that have one tree containing $i$ and the other tree converging to $j$, $q_j$ is the total weight of spanning trees converging to $j$ in $G$, and $\tilde q_j=q_j/\sum_{k=1}^nq_k$. The result is illustrated by an example.
Keywords: Markov chain; Mean first passage time; Spanning rooted forest; Matrix forest theorem; Laplacian matrix
On Goulden-Jackson's determinantal expression for the immanant
Published
• View Publication
• BIB
In 1992, Goulden and Jackson found a beautiful determinantal expression for the immanant of a matrix. This paper proves the same result combinatorially.
Critical random graphs: Diameter and mixing time
Published in Annals of Probability 2008, Vol. 36, No. 4, 1267-1286
• View Publication
• BIB
Let $\mathcal{C}_1$ denote the largest connected component of the critical Erdős--Rényi random graph $G(n,{\frac{1}{n}})$. We show that, typically, the diameter of $\mathcal{C}_1$ is of order $n^{1/3}$ and the mixing time of the lazy simple random walk on $\mathcal{C}_1$ is of order $n$. The latter answers a question of Benjamini, Kozma and Wormald. These results extend to clusters of size $n^{2/3}$ of $p$-bond percolation on any $d$-regular $n$-vertex graph where such clusters exist, provided that $p(d-1)\le1+O(n^{-1/3})$.
On the effect of variable identification on the essential arity of functions
Published in Int. J. Found. Comput. Sci. 18 (2007) 975-986
• View Publication
• BIB
We show that every function of several variables on a finite set of k elements with n>k essential variables has a variable identification minor with at least n-k essential variables. This is a generalization of a theorem of Salomaa on the essential variables of Boolean functions. We also strengthen Salomaa's theorem by characterizing all the Boolean functions f having a variable identification minor that has just one essential variable less than f.
Shellable graphs and sequentially Cohen-Macaulay bipartite graphs
Published
• View Publication
• BIB
Associated to a simple undirected graph G is a simplicial complex whose faces correspond to the independent sets of G. We call a graph G shellable if this simplicial complex is a shellable simplicial complex in the non-pure sense of Bjorner-Wachs. We are then interested in determining what families of graphs have the property that G is shellable. We show that all chordal graphs are shellable. Furthermore, we classify all the shellable bipartite graphs; they are precisely the sequentially Cohen-Macaulay bipartite graphs. We also give an recursive procedure to verify if a bipartite graph is shellable. Because shellable implies that the associated Stanley-Reisner ring is sequentially Cohen-Macaulay, our results complement and extend recent work on the problem of determining when the edge ideal of a graph is (sequentially) Cohen-Macaulay. We also give a new proof for a result of Faridi on the sequentially Cohen-Macaulayness of simplicial forests.
Completely reducible hypersurfaces in a pencil
Published in Advances in Mathematics 219 (2008), no. 2, 672--688.
• View Publication
• BIB
We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$.
Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$.
Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements.
We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.
Partial mirror symmetry I: reflection monoids
This is the first of a series of papers in which we initiate and develop the theory of reflection monoids, motivated by the theory of reflection groups. The main results identify a number of important inverse semigroups as reflection monoids, introduce new examples, and determine their orders.
Large dimensional classical groups and linear spaces
Published
• View Publication
• BIB
Suppose that a group $G$ has socle $L$ a simple large-rank classical group. Suppose furthermore that $G$ acts transitively on the set of lines of a linear space $\mathcal{S}$. We prove that, provided $L$ has dimension at least 25, then $G$ acts transitively on the set of flags of $\mathcal{S}$ and hence the action is known. For particular families of classical groups our results hold for dimension smaller than 25.
The group theoretic methods used to prove the result (described in Section 3) are robust and general and are likely to have wider application in the study of almost simple groups acting on finite linear spaces.
Cominuscule tableau combinatorics
Published in Schubert calculus-Osaka 2012, 475-497, Adv. Stud. Pure Math., 71, Math. Soc. Japan, [Tokyo], 2016
• View Publication
• BIB
We study "cominuscule tableau combinatorics" by generalizing constructions of M. Haiman, S. Fomin and M.-P. Schützenberger. In particular, we extend the dual equivalence ideas of [Haiman, 1992] to reformulate the generalized Littlewood-Richardson rule for cominuscule G/P Schubert calculus from [Thomas-Yong, 2006]. We apply dual equivalence to give an alternative and independent proof of the jeu de taquin results of [Proctor, 2004] needed in our earlier work. We also extend Fomin's growth diagram description of jeu de taquin; the inherent symmetry of these diagrams leads to a generalization of Schützenberger's evacuation involution. Finally, these results are applied to give an cominuscule extension of the carton rule of [Thomas-Yong, 2008].
Ribbon tableaux, ribbon rigged configurations and Hall-Littlewood functions at roots of unity
Published
• View Publication
• BIB
Hall-Littlewood functions indexed by rectangular partitions, specialized at primitive roots of unity, can be expressed as plethysms. We propose a combinatorial proof of this formula using A. Schilling's bijection between ribbon tableaux and ribbon rigged configurations.
A note on tropical triangles in the plane
Published
• View Publication
• BIB
We define transversal tropical triangles (affine and projective) and characterize them via six inequalities to be satisfied by the coordinates of the vertices. We prove that the vertices of a transversal tropical triangle are tropically independent and they tropically span a classical hexagon whose sides have slopes $\infty,0,1$. Using this classical hexagon, we determine a parameter space for transversal tropical triangles. The coordinates of the vertices of a transversal tropical triangle determine a tropically regular matrix. Triangulations of the tropical plane are obtained.
The Moore bound for Spectral Radius
We give an upper bound on the largest eigenvalue of a graph of given order, size, and girth.