Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Shellability, Ehrhart Theory, and $r$-stable Hypersimplices
Hypersimplices are well-studied objects in combinatorics, optimization, and representation theory. For each hypersimplex, we define a new family of subpolytopes, called r-stable hypersimplices, and show that a well-known regular unimodular triangulation of the hypersimplex restricts to a triangulation of each r-stable hypersimplex. For the case of the second hypersimplex defined by the two-element subsets of an n-set, we provide a shelling of this triangulation that sequentially shells each r-stable sub-hypersimplex. In this case, we utilize the shelling to compute the Ehrhart h*-polynomials of these polytopes, and the hypersimplex, via independence polynomials of graphs. For one such r-stable hypersimplex, this computation yields a connection to CR mappings of Lens spaces via Ehrhart-MacDonald reciprocity.
Directed Width Measures and Monotonicity of Directed Graph Searching
We consider generalisations of tree width to directed graphs, that attracted much attention in the last fifteen years. About their relative strength with respect to "bounded width in one measure implies bounded width in the other" many problems remain unsolved. Only some results separating directed width measures are known. We give an almost complete picture of this relation. For this, we consider the cops and robber games characterising DAG-width and directed tree width (up to a constant factor). For DAG-width games, it is an open question whether the robber-monotonicity cost (the difference between the minimal numbers of cops capturing the robber in the general and in the monotone case) can be bounded by any function. Examples show that this function (if it exists) is at least $f(k) > 4k/3$ (Kreutzer, Ordyniak 2008). We approach a solution by defining weak monotonicity and showing that if $k$ cops win weakly monotonically, then $O(k^2)$ cops win monotonically. It follows that bounded Kelly-width implies bounded DAG-width, which has been open since the definition of Kelly-width by Hunter and Kreutzer in 2008. For directed tree width games we show that, unexpectedly, the cop-monotonicity cost (no cop revisits any vertex) is not bounded by any function. This separates directed tree width from D-width defined by Safari in 2005, refuting his conjecture.
Extremals of the supereigenvector cone in max algebra: a combinatorial description
Published in Linear Algebra and its Applicaitions 479 (2015) 106-117
• View Publication
• BIB
We give a combinatorial description of extremal generators of the supereigenvector cone {x: Ax>=x} in max algebra.
Measure Partitions Using Hyperplanes with Fixed Directions
Published
• View Publication
• BIB
We study nested partitions of $R^d$ obtained by successive cuts using hyperplanes with fixed directions. We establish the number of measures that can be split evenly simultaneously by taking a partition of this kind and then distributing the parts among $k$ sets. This generalises classical necklace splitting results and their more recent high-dimensional versions. With similar methods we show that in the plane, for any $t$ measures there is a path formed only by horizontal and vertical segments using at most $t-1$ turns that splits them by half simultaneously, and optimal mass-partitioning results for chessboard-colourings of $R^d$ using hyperplanes with fixed directions.
Quadratic diameter bounds for dual network flow polyhedra
Published
• View Publication
• BIB
Both the combinatorial and the circuit diameters of polyhedra are of interest to the theory of linear programming for their intimate connection to a best-case performance of linear programming algorithms.
We study the diameters of dual network flow polyhedra associated to $b$-flows on directed graphs $G=(V,E)$ and prove quadratic upper bounds for both of them: the minimum of $(|V|-1)\cdot |E|$ and $\frac{1}{6}|V|^3$ for the combinatorial diameter, and $\frac{|V|\cdot (|V|-1)}{2}$ for the circuit diameter. The latter strengthens the cubic bound implied by a result in [De Loera, Hemmecke, Lee; 2014].
Previously, bounds on these diameters have only been known for bipartite graphs. The situation is much more involved for general graphs. In particular, we construct a family of dual network flow polyhedra with members that violate the circuit diameter bound for bipartite graphs by an arbitrary additive constant. Further, it provides examples of circuit diameter $\frac{4}{3}|V| - 4$.
3-Factor-criticality in double domination edge critical graphs
Published
• View Publication
• BIB
A vertex subset $S$ of a graph $G$ is a double dominating set of $G$ if $|N[v]\cap S|\geq 2$ for each vertex $v$ of $G$, where $N[v]$ is the set of the vertex $v$ and vertices adjacent to $v$. The double domination number of $G$, denoted by $γ_{\times 2}(G)$, is the cardinality of a smallest double dominating set of $G$. A graph $G$ is said to be double domination edge critical if $γ_{\times 2}(G+e)<γ_{\times 2}(G)$ for any edge $e \notin E$. A double domination edge critical graph $G$ with $γ_{\times 2}(G)=k$ is called $k$-$γ_{\times 2}(G)$-critical. A graph $G$ is $r$-factor-critical if $G-S$ has a perfect matching for each set $S$ of $r$ vertices in $G$. In this paper we show that $G$ is 3-factor-critical if $G$ is a 3-connected claw-free $4$-$γ_{\times 2}(G)$-critical graph of odd order with minimum degree at least 4 except a family of graphs.
On the Real-rootedness of the Descent Polynomials of $(n-2)$-Stack Sortable Permutations
Published in Electron. J. Combin. 22(4) (2015) #P4.12
• View Publication
• BIB
Bóna conjectured that the descent polynomials on $(n-2)$-stack sortable permutations have only real zeros. Brändén proved this conjecture by establishing a more general result. In this paper, we give another proof of Brändén's result by using the theory of $s$-Eulerian polynomials recently developed by Savage and Visontai.
Random graphs from a block-stable class
Published
• View Publication
• BIB
A class of graphs is called block-stable when a graph is in the class if and only if each of its blocks is. We show that, as for trees, for most $n$-vertex graphs in such a class, each vertex is in at most $(1+o(1)) \log n / \log\log n$ blocks, and each path passes through at most $5 (n \log n)^{1/2}$ blocks. These results extend to `weakly block-stable' classes of graphs.
Asymptotic degree distribution of a duplication-deletion random graph model
Published in Internet Math. Vol. 11 Iss. 3 (2015) 289-305
• View Publication
• BIB
We study a discrete-time duplication-deletion random graph model and analyse its asymptotic degree distribution. The random graphs consists of disjoint cliques. In each time step either a new vertex is brought in with probability $0<p<1$ and attached to an existing clique, chosen with probability proportional to the clique size, or all the edges of a random vertex are deleted with probability $1-p$. We prove almost sure convergence of the asymptotic degree distribution and find its exact values in terms of a hypergeometric integral, expressed in terms of the parameter $p$. In the regime $0<p<\frac{1}{2}$ we show that the degree sequence decays exponentially at rate $\frac{p}{1-p}$, whereas it satisfies a power-law with exponent $\frac{p}{2p-1}$ if $\frac{1}{2}<p<1$. At the threshold $p=\frac{1}{2}$ the degree sequence lies between a power-law and exponential decay.
The coordinate ring of a simple polyomino
Published
• View Publication
• BIB
In this paper it is shown that a polyomino is balanced if and only if it is simple. As a consequence one obtains that the coordinate ring of a simple polyomino is a normal Cohen-Macaulay domain.
Mahonian STAT on words
In 2000, Babson and Steingrímsson introduced the notion of what is now known as a permutation vincular pattern, and based on it they re-defined known Mahonian statistics and introduced new ones, proving or conjecturing their Mahonity. These conjectures were proved by Foata and Zeilberger in 2001, and by Foata and Randrianarivony in 2006.
In 2010, Burstein refined some of these results by giving a bijection between permutations with a fixed value for the major index and those with the same value for STAT, where STAT is one of the statistics defined and proved to be Mahonian in the 2000 Babson and Steingrímsson's paper. Several other statistics are preserved as well by Burstein's bijection.
At the Formal Power Series and Algebraic Combinatorics Conference (FPSAC) in 2010, Burstein asked whether his bijection has other interesting properties. In this paper, we not only show that Burstein's bijection preserves the Eulerian statistic ides, but also use this fact, along with the bijection itself, to prove Mahonity of the statistic STAT on words we introduce in this paper. The words statistic STAT introduced by us here addresses a natural question on existence of a Mahonian words analogue of STAT on permutations. While proving Mahonity of our STAT on words, we prove a more general joint equidistribution result involving two six-tuples of statistics on (dense) words, where Burstein's bijection plays an important role.
The threshold probability for long cycles
Published
• View Publication
• BIB
For a given graph $G$ of minimum degree at least $k$, let $G_p$ denote the random spanning subgraph of $G$ obtained by retaining each edge independently with probability $p=p(k)$. We prove that if $p \ge \frac{\log k + \log \log k + ω_k(1)}{k}$, where $ω_k(1)$ is any function tending to infinity with $k$, then $G_p$ asymptotically almost surely contains a cycle of length at least $k+1$. When we take $G$ to be the complete graph on $k+1$ vertices, our theorem coincides with the classic result on the threshold probability for the existence of a Hamilton cycle in the binomial random graph.
Ramanujan Graphs and the Solution of the Kadison-Singer Problem
We survey the techniques used in our recent resolution of the Kadison-Singer problem and proof of existence of Ramanujan Graphs of every degree: mixed characteristic polynomials and the method of interlacing families of polynomials. To demonstrate the method of interlacing families of polynomials, we give a simple proof of Bourgain and Tzafriri's restricted invertibility principle in the isotropic case.
Enumeration of Standard Young Tableaux
A survey paper, to appear as a chapter in a forthcoming Handbook on Enumeration.
Star-cumulants of free unitary Brownian motion
Published
• View Publication
• BIB
We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infinitesimal determining sequence" which naturally accompanies an arbitrary R-diagonal element in a tracial *-probability space.
Unimodality of Partitions in Near-Rectangular Ferrers Diagrams
Published in Discrete Mathematics 338 (2015), pp. 1649-1658
• View Publication
• BIB
We look at the rank generating function $G_λ$ of partitions inside the Ferrers diagram of some partition $λ$, investigated by Stanton in 1990, as well as a closely related problem investigated by Stanley and Zanello in 2013. We show that $G_λ$ is not unimodal for a larger class of 4-part partitions than previously known, and also that if the ratios of parts of $λ$ are close enough to 1 (depending on how many parts $λ$ has), or if the first part is at least half the size of $λ$, then $G_λ$ is unimodal.
Two series expansions for the logarithm of the gamma function involving Stirling numbers and containing only rational coefficients for certain arguments related to $π^{-1}$
Published in Journal of Mathematical Analysis and Applications (Elsevier), vol. 442, no. 2, pp. 404-434, 2016
• View Publication
• BIB
In this paper, two new series for the logarithm of the $Γ$-function are presented and studied. Their polygamma analogs are also obtained and discussed. These series involve the Stirling numbers of the first kind and have the property to contain only rational coefficients for certain arguments related to $π^{-1}$. In particular, for any value of the form $\lnΓ(\frac{1}{2}n\pmαπ^{-1})$ and $Ψ_k(\frac{1}{2}n\pmαπ^{-1})$, where $Ψ_k$ stands for the $k$th polygamma function, $α$ is positive rational greater than $\frac{1}{6}π$, $n$ is integer and $k$ is non-negative integer, these series have rational terms only. In the specified zones of convergence, derived series converge uniformly at the same rate as $\sum(n\ln^m\!n)^{-2}$, where $m=1, 2, 3,\ldots$\,, depending on the order of the polygamma function. Explicit expansions into the series with rational coefficients are given for the most attracting values, such as $\lnΓ(π^{-1})$, $\lnΓ(2π^{-1})$, $\lnΓ(\tfrac{1}{2}+π^{-1})$, $Ψ(π^{-1})$, $Ψ(\tfrac{1}{2}+π^{-1})$ and $Ψ_k(π^{-1})$. Besides, in this article, the reader will also find a number of other series involving Stirling numbers, Gregory's coefficients (logarithmic numbers, also known as Bernoulli numbers of the second kind), Cauchy numbers and generalized Bernoulli numbers. Finally, several estimations and full asymptotics for Gregory's coefficients, for Cauchy numbers, for certain generalized Bernoulli numbers and for certain sums with the Stirling numbers are obtained. In particular, these include sharp bounds for Gregory's coefficients and for the Cauchy numbers of the second kind.
Coloring clique-hypergraph of $K_5$-minor-free graphs
A clique-coloring of a graph $G$ is a coloring of the vertices of $G$ so that no maximal clique of size at least two is monochromatic. The clique-hypergraph, $\mathcal{H}(G)$, of a graph $G$ has $V(G)$ as its set of vertices and the maximal cliques of $G$ as its hyperedges. A (vertex) coloring of $\mathcal{H}(G)$ is a clique-coloring of $G$. The clique-chromatic number of $G$ is the least number of colors for which $G$ admits a clique-coloring. Every planar graph has been proved to be 3-clique-colorable (Electr. J. Combin. 6 (1999), \#R26). Recently, we showed that every claw-free planar graph, different from an odd cycle, is $2$-clique-colorable (European J. Combin. 36 (2014) 367-376). In this paper we generalize these results to \{claw, $K_5$-minor\}-free graphs.
Partial Graph Orientations and the Tutte Polynomial
Published
• View Publication
• BIB
Gessel and Sagan investigated the Tutte polynomial, $T(x,y)$ using depth first search, and applied their techniques to show that the number of acyclic partial orientations of a graph is $2^gT(3,1/2)$. We provide a short deletion-contraction proof of this result and demonstrate that dually, the number of strongly connected partial orientations is $2^{n-1}T(1/2,3)$. We then prove that the number of partial orientations modulo cycle reversals is $2^gT(3,1)$ and the number of partial orientations modulo cut reversals is $2^{n-1}T(1,3)$. To prove these results, we introduce cut and cycle minimal partial orientations which provide distinguished representatives for partial orientations modulo cut and cycle reversals. These extend classes of total orientations introduced by Gioan, and Greene and Zaslavksy, and we highlight a close connection with graphic and cographic Lawrence ideals. We conclude with edge chromatic generalizations of the quantities presented, which allow for a new interpretation of the reliability polynomial for all probabilities, $p$ with $0 < p <1/2$.
Topological recursion and a quantum curve for monotone Hurwitz numbers
Published
• View Publication
• BIB
Classical Hurwitz numbers count branched covers of the Riemann sphere with prescribed ramification data, or equivalently, factorisations in the symmetric group with prescribed cycle structure data. Monotone Hurwitz numbers restrict the enumeration by imposing a further monotonicity condition on such factorisations. In this paper, we prove that monotone Hurwitz numbers arise from the topological recursion of Eynard and Orantin applied to a particular spectral curve. We furthermore derive a quantum curve for monotone Hurwitz numbers. These results extend the collection of enumerative problems known to be governed by the paradigm of topological recursion and quantum curves, as well as the list of analogues between monotone Hurwitz numbers and their classical counterparts.