Showing 20 papers (Total: 82139 papers, 47531 authors in database)
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.
A word Hopf algebra based on the selection/quotient principle
Published in Seminaire Lotharingien de Combinatoire, B68c (2013)
• Search Publication
In this paper, we define a Hopf algebra structure on the vector space spanned by packed words using a selection/quotient coproduct. We show that this algebra is free on its irreducible packed words. We also construct the Hilbert series of this Hopf algebra and we investigate its primitive elements.
Analysis of an exhaustive search algorithm in random graphs and the n^{c\log n} -asymptotics
Published in SIAM J. Discrete Math., 28(1), 342-371, 2014
• View Publication
• BIB
We analyze the cost used by a naive exhaustive search algorithm for finding a maximum independent set in random graphs under the usual G_{n,p} -model where each possible edge appears independently with the same probability p. The expected cost turns out to be of the less common asymptotic order n^{c\log n}, which we explore from several different perspectives. Also we collect many instances where such an order appears, from algorithmics to analysis, from probability to algebra. The limiting distribution of the cost required by the algorithm under a purely idealized random model is proved to be normal. The approach we develop is of some generality and is amenable for other graph algorithms.
Harnack inequalities for graphs with non-negative Ricci curvature
Published
• View Publication
• BIB
We establish a Harnack inequality for finite connected graphs with non-negative Ricci curvature. As a consequence, we derive an eigenvalue lower bound, extending previous results for Ricci flat graphs.
On a higher level extension of Leclerc-Thibon product theorem in q-deformed Fock spaces
Published
• View Publication
• BIB
The q-deformed Fock spaces of higher levels were introduced by Jimbo-Misra-Miwa-Okado. Uglov defined a canonical bases in q-deformed Fock spaces of higher levels. Leclerc-Thibon showed a product theorem in q-deformed Fock spaces of level one. The product theorem is regarded as a formal $q$-analogue of the tensor product theorem of level one. In this paper, we show a higher level analogue of Leclerc-Thibon product theorem under a suitable multi charge condition.