Showing 20 papers (Total: 83449 papers, 48190 authors in database)
Dual concepts of almost distance-regularity and the spectral excess theorem
Published in Discrete Math. 312 (2012), 2730--2734
• View Publication
• BIB
Generally speaking, `almost distance-regular' graphs share some, but not necessarily all, of the regularity properties that characterize distance-regular graphs. In this paper we propose two new dual concepts of almost distance-regularity, thus giving a better understanding of the properties of distance-regular graphs. More precisely, we characterize $m$-partially distance-regular graphs and $j$-punctually eigenspace distance-regular graphs by using their spectra. Our results can also be seen as a generalization of the so-called spectral excess theorem for distance-regular graphs, and they lead to a dual version of it.
Efficient recognition of totally nonnegative matrix cells
Published
• View Publication
• BIB
The space of mxp totally nonnegative real matrices has a stratification into totally nonnegative cells. The largest such cell is the space of totally positive matrices. There is a well-known criterion due to Gasca and Peña for testing a real matrix for total positivity. This criterion involves testing mp minors. In contrast, there is no known small set of minors for testing for total nonnegativity. In this paper, we show that for each of the totally nonnegative cells there is a test for membership which only involves mp minors, thus extending the Gasca and Peña result to all totally nonnegative cells.
The multivariate arithmetic Tutte polynomial
Published
• View Publication
• BIB
We introduce an arithmetic version of the multivariate Tutte polynomial, and (for representable arithmetic matroids) a quasi-polynomial that interpolates between the two. A generalized Fortuin-Kasteleyn representation with applications to arithmetic colorings and flows is obtained. We give a new and more general proof of the positivity of the coefficients of the arithmetic Tutte polynomial, and (in the representable case) a geometrical interpretation of them.
Empty pentagons in point sets with collinearities
Published in SIAM J. Discrete Math. 29-1 (2015), pp. 198-209
• View Publication
• BIB
An empty pentagon in a point set P in the plane is a set of five points in P in strictly convex position with no other point of P in their convex hull. We prove that every finite set of at least 328k^2 points in the plane contains an empty pentagon or k collinear points. This is optimal up to a constant factor since the (k-1)x(k-1) grid contains no empty pentagon and no k collinear points. The previous best known bound was doubly exponential.
Towards a de Bruijn-Erd\H os theorem in the $L_1$-metric
Published
• View Publication
• BIB
A well-known theorem of de Bruijn and Erdős states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chvátal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}.
In this paper, we prove that the answer is affirmative for sets of $n$ points in the plane with the $L_1$ metric, provided that no two points share their $x$- or $y$-coordinate. In this case, either there is a line that contains all $n$ points, or $X$ induces at least $n$ distinct lines.
If points of $X$ are allowed to share their coordinates, then either there is a line that contains all $n$ points, or $X$ induces at least $n/37$ distinct lines.
Use of MAX-CUT for Ramsey Arrowing of Triangles
In 1967, Erdős and Hajnal asked the question: Does there exist a $K_4$-free graph that is not the union of two triangle-free graphs? Finding such a graph involves solving a special case of the classical Ramsey arrowing operation. Folkman proved the existence of these graphs in 1970, and they are now called Folkman graphs. Erdős offered \$100 for deciding if one exists with less than $10^{10}$ vertices. This problem remained open until 1988 when Spencer, in a seminal paper using probabilistic techniques, proved the existence of a Folkman graph of order $3\times 10^9$ (after an erratum), without explicitly constructing it. In 2008, Dudek and Rödl developed a strategy to construct new Folkman graphs by approximating the maximum cut of a related graph, and used it to improve the upper bound to 941. We improve this bound first to 860 using their approximation technique and then further to 786 with the MAX-CUT semidefinite programming relaxation as used in the Goemans-Williamson algorithm.
Some enumerative results related to ascent sequences
Published
• View Publication
• BIB
An ascent sequence is one consisting of non-negative integers in which the size of each letter is restricted by the number of ascents preceding it in the sequence. Ascent sequences have recently been shown to be related to (2+2)-free posets and a variety of other combinatorial structures. In this paper, we prove in the affirmative some recent conjectures concerning pattern avoidance for ascent sequences. Given a pattern $τ$, let $\mathcal{S}_τ(n)$ denote the set of ascent sequences of length $n$ avoiding $τ$. Here, we show that the joint distribution of the statistic pair $(\asc,\zero)$ on $\mathcal{S}_{0012}(n)$ is the same as $(\asc,\RLm)$ on the set of 132-avoiding permutations of length $n$. In particular, the ascent statistic on $\mathcal{S}_{0012}(n)$ has the Narayana distribution. We also enumerate $S_τ(n)$ when $τ=1012$ and $τ=0123$ and confirm the conjectured formulas in these cases. We combine combinatorial and algebraic techniques to prove our results, in two cases, making use of the kernel method. Finally, we discuss the case of avoiding 210 and determine two related recurrences.
On three-color Ramsey number of paths
Published
• View Publication
• BIB
Let $G_1, G_2, ..., G_t$ be graphs. The multicolor Ramsey number $R(G_1, G_2, ..., G_t)$ is the smallest positive integer $n$ such that if the edges of complete graph $K_n$ are partitioned into $t$ disjoint color classes giving $t$ graphs $H_1,H_2,...,H_t$, then at least one $H_i$ has a subgraph isomorphic to $G_i$. In this paper, we prove that if $(n,m)\neq (3,3), (3,4)$ and $m\geq n$, then $R(P_3,P_n,P_m)=R(P_n,P_m)=m+\lfloor \frac{n}{2}\rfloor-1$. Consequently $R(P_3,mK_2,nK_2)=2m+n-1$ for $m\geq n\geq 3$.
On Jacobian algebras from closed surfaces
We show that the quivers with potentials associated to ideal triangulations of marked surfaces with empty boundary are not rigid, and their completed Jacobian algebras are finite-dimensional and symmetric.
A Note on d-Biclique Covers
A d-biclique cover of a graph G is a collection of bicliques of G such that each edge of G is in at least d of the bicliques. The number of bicliques in a minimum d-biclique cover of G is called the d-biclique covering number of G and is denoted by ${bc}_d(G)$. In this paper, we present an upper bound for the d- biclique covering number of the lexicographic product of graphs. Also, we introduce some bounds of this parameter for some graph constructions and obtain the exact value of the d-biclique covering number of some graphs.
The Intersection problem for 2-(v; 5; 1) directed block designs
Published
• View Publication
• BIB
The intersection problem for a pair of 2-(v, 3, 1) directed designs and 2-(v, 4, 1) directed designs is solved by Fu in 1983 and by Mahmoodian and Soltankhah in 1996, respectively. In this paper we determine the intersection problem for 2-(v, 5, 1) directed designs.
Classical and Signed Kazhdan-Lusztig Polynomials: Character Multiplicity Inversion by Induction
The famous Kazhdan-Lusztig Conjecture of the 1970s states that the multiplicity of an irreducible composition factor of a Verma module can be computed by evaluating Kazhdan-Lusztig polynomials at 1. Thus the character of a Verma module is a linear combination of characters of irreducible highest weight modules where the coefficients in the linear combination are Kazhdan-Lusztig polynomials evaluated at 1. Kazhdan-Lusztig showed that inverting and writing the character of an irreducible highest weight module as a linear combination of characters of Verma modules, the coefficients in the linear combination are also Kazhdan-Lusztig polynomials evaluated at 1, up to a sign. In this paper, we show how to prove Kazhdan-Lusztig's character multiplicity inversion formula by induction using coherent continuation functors. Unitary representations may be identified by determining if characters and signature characters are the same. The signature character of a Verma module may be written as a linear combination of signature characters of irreducible highest weight modules where the coefficients in the linear combination are signed Kazhdan-Lusztig polynomials evaluated at 1. An analogous argument by induction using coherent continuation functors proves an analogous multiplicity inversion formula for signature characters: the signature character of an irreducible highest weight module is a linear combination of signature characters of Verma modules where the coefficients, up to a sign, are also signed Kazhdan-Lusztig polynomials evaluated at 1.
Root polytopes and abelian ideals
Published in J. Algebraic Combin. 39 (2014), n.3, 607-645
• View Publication
• BIB
We study the root polytope $\mathcal P_Φ$ of a finite irreducible crystallographic root system $Φ$ using its relation with the abelian ideals of a Borel subalgebra of a simple Lie algebra with root system $Φ$. We determine the hyperplane arrangement corresponding to the faces of codimension 2 of $\mathcal P_Φ$ and analyze its relation with the facets of $\mathcal P_Φ$. For $Φ$ of type $A_n$ or $C_n$, we show that the orbits of some special subsets of abelian ideals under the action of the Weyl group parametrize a triangulation of $\mathcal P_Φ$. We show that this triangulation restricts to a triangulation of the positive root polytope $\mathcal P_Φ^+$.
Betti numbers associated to the facet ideal of a matroid
Published
• View Publication
• BIB
To a matroid M with n edges, we associate the so-called facet ideal F(M) generated by monomials corresponding to bases of M. We show that the Betti numbers related to an N-graded minimal free resolution of F(M) are determined by the Betti numbers related to the blocks of M. Similarly, we show that the higher weight hierarchy of M is determined by the weight hierarchies of the blocks, as well. Drawing on these results, we show that when M is the cycle matroid of a cactus graph, the Betti numbers determine the higher weight hierarchy -- and vice versa. Finally, we demonstrate by way of counterexamples that this fails to hold for outerplanar graphs in general.
Infinite ternary square-free words concatenated from permutations of a single word
Published
• View Publication
• BIB
We answer a question of Harju: An infinite square-free ternary word with an $n$-stem factorization exists for any $n\ge 13$. We show that there are uniform ternary morphisms of length $k$ for every $k\ge 23$. This resolves almost completely a problem of the author and Rampersad.
Moments of Askey-Wilson polynomials
Published
• View Publication
• BIB
New formulas for the nth moment of the Askey-Wilson polynomials are given. These are derived using analytic techniques, and by considering three combinatorial models for the moments: Motzkin paths, matchings, and staircase tableaux. A related positivity theorem is given and another one is conjectured.
On the Number of Fixed-Length Semiorders
A semiorder is a partially ordered set $P$ with two certain forbidden induced subposets. This paper establishes a bijection between $n$-element semiorders of length $H$ and $(n+1)$-node ordered trees of height $H+1$. This bijection preserves not only the number of elements, but also much additional structure. Based on this correspondence, we calculate the generating functions and explicit formulas for the numbers of labeled and unlabeled $n$-element semiorders of length $H$. We also prove several concise recurrence relations and provide combinatorial proofs for special cases of the explicit formulas.
Minimal Convex Decompositions
Let $P$ be a set of $n$ points on the plane in general position. We say that a set $Γ$ of convex polygons with vertices in $P$ is a convex decomposition of $P$ if: Union of all elements in $Γ$ is the convex hull of $P,$ every element in $Γ$ is empty, and for any two different elements of $Γ$ their interiors are disjoint. A minimal convex decomposition of $P$ is a convex decomposition $Γ'$ such that for any two adjacent elements in $Γ'$ its union is a non convex polygon. It is known that $P$ always has a minimal convex decomposition with at most $\frac{3n}{2}$ elements. Here we prove that $P$ always has a minimal convex decomposition with at most $\frac{10n}{7}$ elements.
Escape and Evasion on Finite Graphs
In this paper we will be introducing a type of game which as far as this author is aware has never been studied before. These are games where there are two players, one who is trying to get one of his pieces, called a King to a predefined escape vertex, and the other, called attackers, who is trying to capture him by occupying all of his neighbours. We will be showing that this game is PSpace-complete if it is limited to $M$ moves and taking a brief look at some potential ways to simplify the problem and work out how many attackers are needed to capture the King on different types of graphs.
Torsion pairs in cluster tubes
Published in Journal of Algebraic Combinatorics 39 (2014), 587-605
• View Publication
• BIB
We give a complete classification of torsion pairs in the cluster categories associated to tubes of finite rank. The classification is in terms of combinatorial objects called Ptolemy diagrams which already appeared in our earlier work on torsion pairs in cluster categories of Dynkin type A. As a consequence of our classification we establish closed formulae enumerating the torsion pairs in cluster tubes, and obtain that the torsion pairs in cluster tubes exhibit a cyclic sieving phenomenon.