Showing 20 papers (Total: 83502 papers, 48219 authors in database)
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.
The Nullity of Bicyclic Signed Graphs
Published in Linear and Multilinear Algebra, 2014, 62(2), pp 242-251
• View Publication
• BIB
Let Γbe a signed graph and let A(Γ) be the adjacency matrix of Γ. The nullity of Γis the multiplicity of eigenvalue zero in the spectrum of A(Γ). In this paper we characterize the signed graphs of order n with nullity n-2 or n-3, and introduce a graph transformation which preserves the nullity. As an application we determine the unbalanced bicyclic signed graphs of order n with nullity n-3 or n-4, and signed bicyclic signed graphs (including simple bicyclic graphs) of order n with nullity n-5.
New sum product type estimates
Published
• View Publication
• BIB
New lower bounds involving sum, difference, product, and ratio sets for a set $A\subset \C$ are given. The estimates involving the sum set match, up to constants, the one obtained by Solymosi for the reals and are obtained by generalising his approach to the complex plane. The bounds involving the difference set are slightly weaker. They improve on the best known ones, including the case $A\subset \R$, which also due to Solymosi, by means of combining the use of the Szemerédi-Trotter theorem with an arithmetic combinatorics technique.
An application of Cubical Cohomology to Adinkras and Supersymmetry Representations
Published
• View Publication
• BIB
An Adinkra is a class of graphs with certain signs marking its vertices and edges, which encodes off-shell representations of the super Poincaré algebra. The markings on the vertices and edges of an Adinkra are cochains for cubical cohomology. This article explores the cubical cohomology of Adinkras, treating these markings analogously to characteristic classes on smooth manifolds.
Billiards and the Five Distance Theorem II
We consider a billiard table rectangle. If a billiard ball is sent out from position F(1) at the angle of $π/4$, then the ball will rebound against the sides of the rectangle consecutively in points $F(2),F(3),...$. Let $n\geq5$ and $Φ= \{F(j): 1\leq j\leq n \}$ be the set of different points. An open connected subset of the perimeter of the billiard rectangle with different endpoints from the set $Φ$ is called \textit{segment}. \textit{Length} of a segment is a distance along the perimeter between its endpoints. A segment with endpoints $F(k)$, F(l), $1\le k,l\le n$, is called \textit{even} (or \textit{odd}), and has \textit{weight} $|k-l|$ (or $k+l$) if $k$, $l$ are of the same (or different) parity. A segment is called \textit{elementary} if there are no points of the set $Φ$ between its endpoints. Suppose $\emptyset \neq V\subseteq\{F(1),F(n)\}$. A segment $I$ is \textit{associated} with $V$ if $I$ is an elementary segment incident with an element of $V$ or $I\capΦ$ is nonempty set contained in $V$. Let $ω_1<ω_2$ be odd weights and $ω_0$ be an even weight of segments associated with $\{F(1)\}$, and let $ω_3<ω_4$ be other odd weights of segments associated with $\{F(1),F(n)\}$. Suppose that $a_i$ is the length of the segment with the weight $ω_i$, $i = 0,..., 4$. In an earlier paper the author have proved that the weights of elementary segments have at most five different values $ω_0,..., ω_4$. Moreover, elementary segments with equal weights have equal lengths. Let $A_i$ be the set of all elementary segments with weight $ω_i$. In this paper we prove that, if we know weights $ω_0$, $ω_1$, $ω_4$, and $ε, δ\in \{-1, 1\}$ such that $a_2-εa_1 = a_3-δa_4 =a_0$, then we can easily calculate $|A_0|, ..., |A_4|$.
On the triangle space of a random graph
Published
• View Publication
• BIB
Settling a first case of a conjecture of M. Kahle on the homology of the clique complex of the random graph $G=G_{n,p}$, we show, roughly speaking, that (with high probability) the triangles of $G$ span its cycle space whenever each of its edges lies in a triangle (which happens (w.h.p.) when $p$ is at least about $\sqrt{(3/2)\ln n/n}$, and not below this unless $p$ is very small.) We give two related proofs of this statement, together with a relatively simple proof of a fundamental "stability" theorem for triangle-free subgraphs of $G_{n,p}$, originally due to Kohayakawa, Łuczak and Rödl, that underlies the first of our proofs.
Spectral conditions for a graph to be Hamilton-connected
Published in Applied Mechanics and Materials,2013, vol.336-338, 2329-2334
• View Publication
• BIB
In this paper we establish some spectral conditions for a graph to be Hamilton-connected in terms of the spectral radius of the adjacency matrix or the signless Laplacian of the graph or its complement. For the existence of Hamiltonian paths or cycles in a graph, we also give a sufficient condition by the signless Laplacian spectral radius.
A New Rose : The First Simple Symmetric 11-Venn Diagram
Published
• View Publication
• BIB
A symmetric Venn diagram is one that is invariant under rotation, up to a relabeling of curves. A simple Venn diagram is one in which at most two curves intersect at any point. In this paper we introduce a new property of Venn diagrams called crosscut symmetry, which is related to dihedral symmetry. Utilizing a computer search restricted to crosscut symmetry we found many simple symmetric Venn diagrams with 11 curves. This answers an existence question that has been open since the 1960's. The first such diagram that was discovered is shown here.