Showing 20 papers (Total: 82139 papers, 47531 authors in database)
Motzkin Algebras
Published
• View Publication
• BIB
We introduce an associative algebra $\M_k(x)$ whose dimension is the $2k$-th Motzkin number. The algebra $\M_k(x)$ has a basis of "Motzkin diagrams," which are analogous to Brauer and Temperley-Lieb diagrams, and it contains the Temperley-Lieb algebra $\TL_k(x)$ as a subalgebra. We prove that for a particular value of $x$, the algebra $\M_k(x)$ is the centralizer algebra of $\uqsl$ acting on the $k$-fold tensor power of the sum of the 1-dimensional and 2-dimensional irreducible $\uqsl$-modules. We show that $\M_k(x)$ is generated by special diagrams $\ell_i, t_i, r_i \ (1 \le i < k)$ and $p_j \ (1 \le j \le k)$, and that it has a factorization into three subalgebras $\M_k(x) = \RP_k \TL_k(x)\, \LP_k$, all of which have dimensions given by Catalan numbers. We define an action of $\M_k(x)$ on Motzkin paths of rank $r$, and in this way, construct a set of indecomposable modules $\C_k^{(r)}$, $0 \le r \le k$. We prove that $\M_k(x)$ is cellular in the sense of Graham and Lehrer and that the $\C_k^{(r)}$ are the left cell representations. We compute the determinant of the Gram matrix of a bilinear form on $\C_k^{(r)}$ for each $r$ and use these determinants to show that $\M_k(x)$ is semisimple exactly when $x$ is not the root of certain Chebyshev polynomials.
A Penrose polynomial for embedded graphs
Published in European J. Combin. 34 (2013) 424-445
• View Publication
• BIB
We extend the Penrose polynomial, originally defined only for plane graphs, to graphs embedded in arbitrary surfaces. Considering this Penrose polynomial of embedded graphs leads to new identities and relations for the Penrose polynomial which can not be realized within the class of plane graphs. In particular, by exploiting connections with the transition polynomial and the ribbon group action, we find a deletion-contraction-type relation for the Penrose polynomial. We relate the Penrose polynomial of an orientable checkerboard colourable graph to the circuit partition polynomial of its medial graph and use this to find new combinatorial interpretations of the Penrose polynomial. We also show that the Penrose polynomial of a plane graph G can be expressed as a sum of chromatic polynomials of twisted duals of G. This allows us to obtain a new reformulation of the Four Colour Theorem.
Unitary representations of cyclotomic rational Cherednik algebras
Published
• View Publication
• BIB
We classify the irreducible unitary modules in category O for the rational Cherednik algebras of type G(r,1,n) and give explicit combinatorial formulas for their graded characters. More precisely, we produce a combinatorial algorithm determining, for each r-partition of n, the closed semi-linear set of parameters for which the contravariant form on the irreducible representation with the given r-partition as lowest weight is positive definite. We use this algorithm to give a closed form answer for the Cherednik algebra of the symmetric group (recovering a result of Etingof-Stoica and the author) and the Weyl groups of classical type.
On Zeilberger's Constant Term for Andrews' TSSCPP Theorem
Published in Electronic Journal of Combinatorics, 18 (2) (2011) P11
• View Publication
• BIB
This paper studies Zeilberger's two prized constant term identities. For one of the identities, Zeilberger asked for a simple proof that may give rise to a simple proof of Andrews theorem for the number of totally symmetric self complementary plane partitions. We obtain an identity reducing a constant term in $2k$ variables to a constant term in $k$ variables. As applications, Zeilberger's constant terms are converted to single determinants. The result extends for two classes of matrices, the sum of all of whose full rank minors is converted to a single determinant. One of the prized constant term problems is solved, and we give a seemingly new approach to Macdonald's constant term for root system of type BC.
Walks on Free Groups and other Stories -- twelve years later
Published in Illinois Journal of Mathematics vol 54 (Spring 2010), pp 327-370
• View Publication
• BIB
We start by studying the distribution of (cyclically reduced) elements of the free groups Fn with respect to their abelianization (or equivalently, their integer homology class. We derive an explicit generating function, and a limiting distribution, by means of certain results (of independent interest) on Chebyshev polynomials; we also prove that the reductions modulo an arbitrary prime of these classes are asymptotically equidistributed, and we study the deviation from equidistribution. We extend our techniques to a more general setting and use them to study the statistical properties of long cycles (and paths) on regular (directed and undirected) graphs. We return to the free group to study some growth functions of the number of conjugacy classes as a function of their cyclically reduced length.
On the number of hypercubic bipartitions of an integer
Published
• View Publication
• BIB
We revisit a well-known divide-and-conquer maximin recurrence $f(n) = \max(\min(n_1,n_2) + f(n_1) + f(n_2))$ where the maximum is taken over all proper bipartitions $n = n_1+n_2$, and we present a new characterization of the pairs $(n_1,n_2)$ summing to $n$ that yield the maximum $f(n) = \min(n_1,n_2) + f(n_1) + f(n_2)$. This new characterization allows us, for a given $n\in\nats$, to determine the number $h(n)$ of these bipartitions that yield the said maximum $f(n)$. We present recursive formulae for $h(n)$, a generating function $h(x)$, and an explicit formula for $h(n)$ in terms of a special representation of $n$.
Some possible $q$-generalizations of harmonic numbers
We study three different $q$-analogues of the harmonic numbers. As applications, we present some generating functions involving number theoretical functions and give the $q$-generalization of Gosper's exponential generating function of harmonic numbers. We involve also the $q$-gamma and $q$-digamma function.
Set partitions with no m-nesting
Published in In Ilias S. Kotsireas and Eugene V. Zima, editors, Advances in Combinatorics, pages 249-258. Springer Berlin Heidelberg, 2013
• View Publication
• BIB
A partition on [n] has an m-nesting if there exists i_1 < i_2 < ... < i_m < j_m < j_{m-1} < ... < j_1, where i_l and j_l are in the same block for all 1 <= l <= m. We use generating trees to construct the class of partitions with no m-nesting and determine functional equations satisfied by the associated generating functions.
We use algebraic kernel method together with a linear operator to describe a coefficient extraction process. This gives rise to enumerative data, and illustrates the increasing complexity of the coefficient formulas as m increases.
Counterexamples of the conjecture on roots of Ehrhart polynomials
Published
• View Publication
• BIB
An outstanding conjecture on roots of Ehrhart polynomials says that all roots $α$ of the Ehrhart polynomial of an integral convex polytope of dimension $d$ satisfy $-d \leq \Re(α) \leq d-1$. In this paper, we suggest some counterexamples of this conjecture.
Convex pencils of real quadratic forms
Published
• View Publication
• BIB
We study the topology of the set X of the solutions of a system of two quadratic inequalities in the real projective space RP^n (e.g. X is the intersection of two real quadrics). We give explicit formulae for its Betti numbers and for those of its double cover in the sphere S^n; we also give similar formulae for level sets of homogeneous quadratic maps to the plane. We discuss some applications of these results, especially in classical convexity theory. We prove the sharp bound b(X)\leq 2n for the total Betti number of X; we show that for odd n this bound is attained only by a singular X. In the nondegenerate case we also prove the bound on each specific Betti number b_k(X)\leq 2(k+2).
(1,λ)-embedded graphs and the acyclic edge choosability
Published
• View Publication
• BIB
A (1,λ)-embedded graph is a graph that can be embedded on a surface with Euler characteristic λ so that each edge is crossed by at most one other edge. A graph G is called α-linear if there exists an integral constant β such that e(G') \leq α v(G')+β for each G'\subseteq G. In this paper, it is shown that every (1,λ)-embedded graph G is 4-linear for all possible λ, and is acyclicly edge-(3Δ(G)+70)-choosable for λ=1,2.
Posetted trees and Baker-Campbell-Hausdorff product
Published in Mediterranean Journal of Mathematics, Volume 10, Issue 2 (2013), 611-623
• View Publication
• BIB
We introduce the combinatorial notion of posetted trees and we use it in order to write an explicit expression of the Baker-Campbell-Hausdorff formula.
Broken bracelets, Molien series, paraffin wax and an elliptic curve of conductor 48
Published
• View Publication
• BIB
This paper introduces the concept of necklace binomial coefficients motivated by the enumeration of a special type of sequences. Several properties of these coefficients are described, including a connection between their roots and an elliptic curve. Further links are given to a physical model from quantum mechanical supersymmetry as well as properties of alkane molecules in chemistry.
Hindman's Theorem, Ellis's Lemma, and Thompson's group $F$
Published in Zbornik Radova. (Beograd), Selected topics in combinatorial analysis, 17(25):171-187, 2015
• Search Publication
The purpose of this article is to formulate conjectural generalizations of Hindman's Theorem and Ellis's Lemma for nonassociative binary systems and relate them to the amenability problem for Thompson's group $F$. Partial results are obtained for both conjectures. The paper will also contain some general analysis of the conjectures.
Pattern polynomial graphs
Published
• View Publication
• BIB
A graph $X$ is said to be a pattern polynomial graph if its adjacency algebra is a coherent algebra. In this study we will find a necessary and sufficient condition for a graph to be a pattern polynomial graph. Some of the properties of the graphs which are polynomials in the pattern polynomial graph have been studied. We also identify known graph classes which are pattern polynomial graphs.
Distinguishability of infinite groups and graphs
Published in Electronic Journal of Combinatorics, Volume 19, Issue 2 (2012) #P27
• View Publication
• BIB
The {\em distinguishing number} of a group $G$ acting faithfully on a set $V$ is the least number of colors needed to color the elements of $V$ so that no non-identity element of the group preserves the coloring. The {\em distinguishing number} of a graph is the distinguishing number of its full automorphism group acting on its vertex set. A connected graph $Γ$ is said to have {\em connectivity 1} if there exists a vertex $α\in VΓ$ such that $Γ\setminus \{α\}$ is not connected. For $α\in V$, an orbit of the point stabilizer $G_α$ is called a {\em suborbit} of $G$.
We prove that every connected primitive graph with infinite diameter and countably many vertices has distinguishing number 2. Consequently, any infinite, connected, primitive, locally finite graph is 2-distinguishable; so, too, is any infinite primitive group with finite suborbits. We also show that all denumerable vertex-transitive graphs of connectivity 1 and all Cartesian products of connected denumerable graphs of infinite diameter have distinguishing number 2. All of our results follow directly from a versatile lemma which we call The Distinct Spheres Lemma.
Spectra of Uniform Hypergraphs
Published
• View Publication
• BIB
We present a spectral theory of hypergraphs that closely parallels Spectral Graph Theory. A number of recent developments building upon classical work has led to a rich understanding of "hyperdeterminants" of hypermatrices, a.k.a. multidimensional arrays. Hyperdeterminants share many properties with determinants, but the context of multilinear algebra is substantially more complicated than the linear algebra required to address Spectral Graph Theory (i.e., ordinary matrices). Nonetheless, it is possible to define eigenvalues of a hypermatrix via its characteristic polynomial as well as variationally. We apply this notion to the "adjacency hypermatrix" of a uniform hypergraph, and prove a number of natural analogues of basic results in Spectral Graph Theory. Open problems abound, and we present a number of directions for further study.
Large Deviations for Random Matrices
Published
• View Publication
• BIB
We prove a large deviation result for a random symmetric n x n matrix with independent identically distributed entries to have a few eigenvalues of size n. If the spectrum S survives when the matrix is rescaled by a factor of n, it can only be the eigenvalues of a Hilbert-Schmidt kernel k(x,y) on [0,1] x [0,1]. The rate function for k is $I(k)=1/2\int h(k(x,y) dxdy$ where h is the Cramer rate function for the common distribution of the entries that is assumed to have a tail decaying faster than any Gaussian. The large deviation for S is then obtained by contraction.
Logic circuits from zero forcing
Published in Nat Comput 14, 485 (2015)
• View Publication
• BIB
We design logic circuits based on the notion of zero forcing on graphs; each gate of the circuits is a gadget in which zero forcing is performed. We show that such circuits can evaluate every monotone Boolean function. By using two vertices to encode each logical bit, we obtain universal computation. We also highlight a phenomenon of "back forcing" as a property of each function. Such a phenomenon occurs in a circuit when the input of gates which have been already used at a given time step is further modified by a computation actually performed at a later stage. Finally, we point out that zero forcing can be also used to implement reversible computation. The model introduced here provides a potentially new tool in the analysis of Boolean functions, with particular attention to monotonicity.
Note on the minimal size of a graph with generalized connectivity kappa_3= 2
The concept of generalized $k$-connectivity $κ_{k}(G)$ of a graph $G$ was introduced by Chartrand et al. in recent years. In our early paper, extremal theory for this graph parameter was started. We determined the minimal number of edges of a graph of order $n$ with $κ_{3}= 2$, i.e., for a graph $G$ of order $n$ and size $e(G)$ with $κ_{3}(G)= 2$, we proved that $e(G)\geq (6/5)n$, and the lower bound is sharp by constructing a class of graphs, only for $n\equiv 0 \ (mod \ 5)$ and $n\neq 10$. In this paper, we improve the lower bound to $\lceil(6/5)n\rceil$. Moreover, we show that for all $n\geq 4$ but $n= 9, 10$, there always exists a graph of order $n$ with $κ_{3}= 2$ whose size attains the lower bound $\lceil(6/5)n\rceil$. Whereas for $n= 9, 10$ we give examples to show that $\lceil(6/5)n\rceil+1$ is the best possible lower bound. This gives a clear picture on the minimal size of a graph of order $n$ with generalized connectivity $κ_{3}= 2$.