Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Critical groups of graphs with reflective symmetry
Published
• View Publication
• BIB
The critical group of a graph is a finite abelian group whose order is the number of spanning forests of the graph. For a graph G with a certain reflective symmetry, we generalize a result of Ciucu-Yan-Zhang factorizing the spanning tree number of G by interpreting this as a result about the critical group of G. Our result takes the form of an exact sequence, and explicit connections to bicycle spaces are made.
Game matching number of graphs
Published in Discrete Applied Math. Vol. 161(13-14), 2013, pp. 1828-1836
• View Publication
• BIB
We study a competitive optimization version of $α'(G)$, the maximum size of a matching in a graph $G$. Players alternate adding edges of $G$ to a matching until it becomes a maximal matching. One player (Max) wants that matching to be large; the other (Min) wants it to be small. The resulting sizes under optimal play when Max or Min starts are denoted $\Max(G)$ and $\Min(G)$, respectively. We show that always $|\Max(G)-\Min(G)|\le 1$. We obtain a sufficient condition for $\Max(G)=α'(G)$ that is preserved under cartesian product. In general, $\Max(G)\ge \frac23α'(G)$, with equality for many split graphs, while $\Max(G)\ge\frac34α'(G)$ when $G$ is a forest. Whenever $G$ is a 3-regular $n$-vertex connected graph, $\Max(G) \ge n/3$, and there are such examples with $\Max(G)\le 7n/18$. For an $n$-vertex path or cycle, the answer is roughly $n/7$.
Flow polytopes of signed graphs and the Kostant partition function
Published in Int. Math. Res. Not. 3 (2015) 830-871
• View Publication
• BIB
We establish the relationship between volumes of flow polytopes associated to signed graphs and the Kostant partition function. A special case of this relationship, namely, when the graphs are signless, has been studied in detail by Baldoni and Vergne using techniques of residues. In contrast with their approach, we provide entirely combinatorial proofs inspired by the work of Postnikov and Stanley on flow polytopes. As a fascinating special family of flow polytopes, we study the Chan-Robbins-Yuen polytopes. Motivated by the beautiful volume formula $\prod_{k=1}^{n-2} Cat(k)$ for the type $A_n$ version, where $Cat(k)$ is the $k$th Catalan number, we introduce type $C_{n+1}$ and $D_{n+1}$ Chan-Robbins-Yuen polytopes along with intriguing conjectures pertaining to their properties.
Graph Isomorphism for Graph Classes Characterized by two Forbidden Induced Subgraphs
Published
• View Publication
• BIB
We study the complexity of the Graph Isomorphism problem on graph classes that are characterized by a finite number of forbidden induced subgraphs, focusing mostly on the case of two forbidden subgraphs. We show hardness results and develop techniques for the structural analysis of such graph classes, which applied to the case of two forbidden subgraphs give the following results: A dichotomy into isomorphism complete and polynomial-time solvable graph classes for all but finitely many cases, whenever neither of the forbidden graphs is a clique, a pan, or a complement of these graphs. Further reducing the remaining open cases we show that (with respect to graph isomorphism) forbidding a pan is equivalent to forbidding a clique of size three.
For which p-adic integers x can Sum_k binomial(x,k)^(-1) be defined?
Let f(n)= Sum binomial(n,k)^(-1). First, we show that f:N to Q_p is nowhere continuous in the p-adic topology. If x is a p-adic integer, we say that f(x) is p-definable if lim f(x_j) exists in Q_p, where x_j denotes the jth partial sum for x. We prove that f(-1) is p-definable for all primes p, and if p is odd, then -1 is the only element of Z_p - N for which f(x) is p-definable. For p=2, we show that if k is a positive integer, then f(-k-1) is not 2-definable, but that if the 1's in the binary expansion of x are eventually very sparse, then f(x) is 2-definable.
Some of our proofs require that p satisfy one of two conditions. There are three small primes that do not satisfy the relevant condition, but our theorems can be proved directly for these primes. No other prime less than 100,000,000 fails to satisfy the conditions.
Toward an uncountable analogue of Gallai's Theorem for colorings of the plane
Published in Geombinatorics, October 2012, Vol. 22, Issue 2, p. 45-50
• Search Publication
In this paper we prove that if $S$ is any finite configuration of points in $\mathbb{Z}^2$, then any finite coloring of $\mathbb{E}^2$ must contain uncountably many monochromatic subsets homothetic to $S$. We extend a result of Brown, Dunfield, and Perry on 2-colorings of $\mathbb{E}^2$ to any finite coloring of $\mathbb{E}^2$.
Non-existence of tight neighborly manifolds with $β_1=2$
Published
• View Publication
• BIB
For $d\geq 2$, Walkup's class $\Kd$ consists of the $d$-dimensional simplicial complexes whose vertex-links are stacked $(d-1)$-spheres. Recently Lutz, Sulanke and Swartz have shown that all $\mathbb{F}$-orientable triangulated $d$-manifolds satisfy the inequality $\binom{f_0-d-1}{2} \geq \binom{d+2}{2}β_1$ for $d\geq 3$. They call a $d$-manifold \emph{tight neighborly} if it attains the equality in the bound. For $d\geq 4$, tight neighborly $d$-manifolds are precisely the 2-neighborly members of $\Kd$. In this paper we show that there does not exist any tight neighborly $d$-manifold with $β_1=2$.
Unimodality and Dyck paths
We propose an original approach to the problem of rankunimodality for Dyck lattices. It is based on a well known recursive construction of Dyck paths originally developed in the context of the ECO methodology, which provides a partition of Dyck lattices into saturated chains. Even if we are not able to prove that Dyck lattices are rank-unimodal, we describe a family of polynomials (which constitutes a polynomial analog of ballot numbers) and a succession rule which appear to be useful in addressing such a problem. At the end of the paper, we also propose and begin a systematic investigation of the problem of unimodality of succession rules.
Parallelogram polyominoes, the sandpile model on a complete bipartite graph, and a q,t-Narayana polynomial
We classify recurrent configurations of the sandpile model on the complete bipartite graph K_{m,n} in which one designated vertex is a sink. We present a bijection from these recurrent configurations to decorated parallelogram polyominoes whose bounding box is a m*n rectangle. Several special types of recurrent configurations and their properties via this bijection are examined. For example, recurrent configurations whose sum of heights is minimal are shown to correspond to polyominoes of least area. Two other classes of recurrent configurations are shown to be related to bicomposition matrices, a matrix analogue of set partitions, and (2+2)-free partially ordered sets.
A canonical toppling process for recurrent configurations gives rise to a path within the associated parallelogram polyominoes. This path bounces off the external edges of the polyomino, and is reminiscent of Haglund's well-known bounce statistic for Dyck paths. We define a collection of polynomials that we call q,t-Narayana polynomials, defined to be the generating function of the bistatistic (area,parabounce) on the set of parallelogram polyominoes, akin to the (area,hagbounce) bistatistic defined on Dyck paths in Haglund (2003). In doing so, we have extended a bistatistic of Egge, Haglund, Kremer and Killpatrick (2003) to the set of parallelogram polyominoes. This is one answer to their question concerning extensions to other combinatorial objects.
We conjecture the q,t-Narayana polynomials to be symmetric and prove this conjecture for numerous special cases. We also show a relationship between Haglund's (area,hagbounce) statistic on Dyck paths, and our bistatistic (area,parabounce) on a sub-collection of those parallelogram polyominoes living in a (n+1)*n rectangle.
Improved bounds for incidences between points and circles
Published in Combinator. Probab. Comp. 24 (2015) 490-520
• View Publication
• BIB
We establish an improved upper bound for the number of incidences between m points and n circles in three dimensions. The previous best known bound, originally established for the planar case and later extended to any dimension $\ge 2$, is $O*(m^{2/3}n^{2/3} + m^{6/11}n^{9/11}+m+n)$, where the $O*(\cdot)$ notation hides sub-polynomial factors. Since all the points and circles may lie on a common plane (or sphere), it is impossible to improve the bound in R^3 without first improving it in the plane.
Nevertheless, we show that if the set of circles is required to be "truly three-dimensional" in the sense that no sphere or plane contains more than $q$ of the circles, for some $q << n$, then the bound can be improved to \[O*(m^{3/7}n^{6/7} + m^{2/3}n^{1/2}q^{1/6} + m^{6/11}n^{15/22}q^{3/22} + m + n). \]
For various ranges of parameters (e.g., when $m=Θ(n)$ and $q = o(n^{7/9})$), this bound is smaller than the lower bound $Ω*(m^{2/3}n^{2/3}+m+n)$, which holds in two dimensions.
We present several extensions and applications of the new bound: (i) For the special case where all the circles have the same radius, we obtain the improved bound $O*(m^{5/11}n^{9/11} + m^{2/3}n^{1/2}q^{1/6} + m + n$. (ii) We present an improved analysis that removes the subpolynomial factors from the bound when $m=O(n^{3/2-\eps})$ for any fixed $\varepsilon >0$. (iii) We use our results to obtain the improved bound $O(m^{15/7})$ for the number of mutually similar triangles determined by any set of $m$ points in R^3.
Our result is obtained by applying the polynomial partitioning technique of Guth and Katz using a constant-degree partitioning polynomial (as was also recently used by Solymosi and Tao). We also rely on various additional tools from analytic, algebraic, and combinatorial geometry.
Spectral Condition for a Graph to be Hamiltonian with respect to Normalized Laplacian
Let G be a graph and let Δ,δbe the maximum and minimum degrees of G respectively, where Δ/δ<c<\sqrt{2} and c is a constant. In this paper we establish a sufficient spectral condition for the graph G to be Hamiltonian, that is, the nontrivial eigenvalues of the normalized Laplacian of G are sufficiently close to 1.
The Lecture Hall Parallelepiped
Published
• View Publication
• BIB
The s-lecture hall polytopes P_s are a class of integer polytopes defined by Savage and Schuster which are closely related to the lecture hall partitions of Eriksson and Bousquet-Mélou. We define a half-open parallelopiped Par_s associated with P_s and give a simple description of its integer points. We use this description to recover earlier results of Savage et al. on the δ-vector (or h^*-vector) and to obtain the connections to s-ascents and s-descents, as well as some generalizations of these results.
A New Proof of the Flat Wall Theorem
Published
• View Publication
• BIB
We give an elementary and self-contained proof, and a numerical improvement, of a weaker form of the excluded clique minor theorem of Robertson and Seymour, the following. Let t,r>0 be integers, and let R=49152t^{24}(40t^2+r). An r-wall is obtained from a (2r x r)-grid by deleting every odd vertical edge in every odd row and every even vertical edge in every even row, then deleting the two resulting vertices of degree one, and finally subdividing edges arbitrarily. The vertices of degree two that existed before the subdivision are called the pegs of the r-wall. Let G be a graph with no K_t minor, and let W be an R-wall in G. We prove that there exist a subset A of V(G) of size at most 12288t^{24} and an r-subwall W' of W such that V(W') is disjoint from A and W' is a flat wall in G-A in the following sense. There exists a separation (X,Y) of G-A such that X\cap Y is a subset of the vertex set of the cycle C' that bounds the outer face of W', V(W') is a subset of Y, every peg of W' belongs to X and the graph G[Y] can almost be drawn in the unit disk with the vertices X\cap Y drawn on the boundary of the disk in the order determined by C'. Here almost means that the assertion holds after repeatedly removing parts of the graph separated from X\cap Y by a cutset Z of size at most three, and adding all edges with both ends in Z. Our proof gives rise to an algorithm that runs in polynomial time even when r and t are part of the input instance. The proof is self-contained in the sense that it uses only results whose proofs can be found in textbooks.
On the Odlyzko-Stanley enumeration problem and Waring's problem over finite fields
Published
• View Publication
• BIB
We obtain an asymptotic formula on the Odlyzko-Stanley enumeration problem.
Let $N_m^*(k,b)$ be the number of $k$-subsets
$S\subseteq F_p^*$ such that $\sum_{x\in S}x^m=b$.
If $m<p^{1-δ}$, then there is a constant
$ε=ε(δ)>0$ such that
| N_m^*(k,b)-p^{-1}{p-1 \choose k}|\leq {p^{1-ε}+mk-m \choose k}.
In addition, let $γ'(m,p)$ denote the distinct Waring's number $(\mod p)$, the smallest positive integer $k$ such that every integer is a sum of m-th powers of $k$-distinct elements $(\mod p)$. The above bound implies that there is a constant $ε(δ)>0$ such for any prime $p$ and any $m<p^{1-δ}$, if $ε^{-1}<(e-1)p^{δ-ε}$, then $$γ'(m,p)\leq ε^{-1}.$$
Extending Partial Representations of Proper and Unit Interval Graphs
The recently introduced problem of extending partial interval representations asks, for an interval graph with some intervals pre-drawn by the input, whether the partial representation can be extended to a representation of the entire graph. In this paper, we give a linear-time algorithm for extending proper interval representations and an almost quadratic-time algorithm for extending unit interval representations.
We also introduce the more general problem of bounded representations of unit interval graphs, where the input constrains the positions of some intervals by lower and upper bounds. We show that this problem is NP-complete for disconnected input graphs and give a polynomial-time algorithm for the special class of instances, where the ordering of the connected components of the input graph along the real line is prescribed. This includes the case of partial representation extension.
The hardness result sharply contrasts the recent polynomial-time algorithm for bounded representations of proper interval graphs [Balko et al. ISAAC'13]. So unless $\text{P} = \text{NP}$, proper and unit interval representations have vastly different structure. This explains why partial representation extension problems for these different types of representations require substantially different techniques.
Involutions on standard Young tableaux and divisors on metric graphs
Published in The Electronic Journal of Combinatorics 20(3):P33, 2013
• View Publication
• BIB
We elaborate upon a bijection discovered by Cools, Draisma, Payne, and Robeva between the set of rectangular standard Young tableaux and the set of equivalence classes of chip configurations on certain metric graphs under the relation of linear equivalence. We present an explicit formula for computing the $v_0$-reduced divisors (representatives of the equivalence classes) associated to given tableaux, and use this formula to prove (i) evacuation of tableaux corresponds (under the bijection) to reflecting the metric graph, and (ii) conjugation of the tableaux corresponds to taking the Riemann-Roch dual of the divisor.
The Generation of Fullerenes
Published in J. Chem. Inf. Model. (2012)
• View Publication
• BIB
We describe an efficient new algorithm for the generation of fullerenes. Our implementation of this algorithm is more than 3.5 times faster than the previously fastest generator for fullerenes -- fullgen -- and the first program since fullgen to be useful for more than 100 vertices. We also note a programming error in fullgen that caused problems for 136 or more vertices. We tabulate the numbers of fullerenes and IPR fullerenes up to 400 vertices. We also check up to 316 vertices a conjecture of Barnette that cubic planar graphs with maximum face size 6 are hamiltonian and verify that the smallest counterexample to the spiral conjecture has 380 vertices.
A Beginner's Guide to Counting Spanning Trees in a Graph
(DRAFT VERSION) In this article we present a proof of the famous Kirchoff's Matrix-Tree theorem, which relates the number of spanning trees in a connected graph with the cofactors (and eigenvalues) of its combinatorial Laplacian matrix. This is a 165 year old result in graph theory and the proof is conceptually simple. However, the elegance of this result is it connects many apparently unrelated concepts in linear algebra and graph theory. Our motivation behind this work was to make the proof accessible to anyone with beginner\slash intermediate grasp of linear algebra. Therefore in this paper we present proof of every single argument leading to the final result. For example, we prove the elementary properties of determinants, relationship between the roots of characteristic polynomial (that is, eigenvalues) and the minors, the Cauchy-Binet formula, the Laplace expansion of determinant, etc.
On a sequence involving sums of primes
Published in Bull. Aust. Math. Soc. 88(2013), 197-205
• View Publication
• BIB
For $n=1,2,3,\ldots$ let $S_n$ be the sum of the first $n$ primes. We mainly show that the sequence $a_n=\root n\of{S_n/n}\ (n=1,2,3,\ldots)$ is strictly decreasing, and moreover the sequence $a_{n+1}/a_n\ (n=10,11,\ldots)$ is strictly increasing. We also formulate similar conjectures involving twin primes or partitions of integers.
Horton self-similarity of Kingman's coalescent tree
Published
• View Publication
• BIB
The paper establishes a weak version of Horton self-similarity for a tree representation of Kingman's coalescent process. The proof is based on a Smoluchowski-type system of ordinary differential equations for the number of branches of a given Horton-Strahler order in a tree that represents Kingman's N-coalescent process with a constant kernel, in a hydrodynamic limit. We also demonstrate a close connection between the combinatorial Kingman's tree and the combinatorial level set tree of a white noise, which implies Horton self-similarity for the latter.