Showing 20 papers (Total: 83342 papers, 48132 authors in database)
A noncommutative weight-dependent generalization of the binomial theorem
A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a special case of the weight function, restricting it to depend on only a single integer, the noncommutative binomial theorem involves an expansion of complete symmetric functions. Another special case concerns the weight function to be a suitably chosen elliptic (i.e., doubly-periodic meromorphic) function, in which case an elliptic generalization of the binomial theorem is obtained. The latter is utilized to quickly recover Frenkel and Turaev's elliptic hypergeometric 10V9 summation formula, an identity fundamental to the theory of elliptic hypergeometric series.
Computing the Grothendieck constant of some graph classes
Published
• View Publication
• BIB
Given a graph $G=([n],E)$ and $w\in\R^E$, consider the integer program ${\max}_{x\in \{\pm 1\}^n} \sum_{ij \in E} w_{ij}x_ix_j$ and its canonical semidefinite programming relaxation ${\max} \sum_{ij \in E} w_{ij}v_i^Tv_j$, where the maximum is taken over all unit vectors $v_i\in\R^n$. The integrality gap of this relaxation is known as the Grothendieck constant $\ka(G)$ of $G$. We present a closed-form formula for the Grothendieck constant of $K_5$-minor free graphs and derive that it is at most 3/2. Moreover, we show that $\ka(G)\le \ka(K_k)$ if the cut polytope of $G$ is defined by inequalities supported by at most $k$ points. Lastly, since the Grothendieck constant of $K_n$ grows as $Θ(\log n)$, it is interesting to identify instances with large gap. However this is not the case for the clique-web inequalities, a wide class of valid inequalities for the cut polytope, whose integrality ratio is shown to be bounded by 3.
A new semidirect product for association schemes
Published
• View Publication
• BIB
We propose a new definition for the semidirect product of association schemes, generalizing work of Bang, Hirasaka, and Song. We define an action of one scheme on another, and show how one can use such an action to construct all semidirect products satisfying a certain technical condition.
The Freeness and Minimal Free Resolutions of Modules of Differential Operators of a Generic Hyperplane Arrangement
Published
• View Publication
• BIB
Let A be a generic hyperplane arrangement composed of r hyperplanes in an n-dimensional vector space, and S the polynomial ring in n variables. We consider the S-submodule D(m)(A) of the nth Weyl algebra of homogeneous differential operators of order m preserving the defining ideal of A.
We prove that if n \geq 3, r > n,m > r - n + 1, then D(m)(A) is free (Holm's conjecture). Combining this with some results by Holm, we see that D(m)(A) is free unless n \geq 3, r > n,m < r - n + 1. In the remaining case, we construct a minimal free resolution of D(m)(A) by generalizing Yuzvinsky's construction for m = 1. In addition, we construct a minimal free resolution of the transpose of the m-jet module, which generalizes a result by Rose and Terao for m = 1.
Extending bicolorings for Steiner Triple Systems
Published
• View Publication
• BIB
We initiate the study of extended bicolorings of Steiner triple systems (STS) which start with a $k$-bicoloring of an STS($v$) and end up with a $k$-bicoloring of an STS($2v+1$) obtained by a doubling construction, using only the original colors used in coloring the subsystem STS($v$). By producing many such extended bicolorings, we obtain several infinite classes of orders for which there exist STSs with different lower and upper chromatic number.
Proof of Gal's conjecture for the D series of generalized associahedra
Published in Russian Math. Surveys 65 (2010) no.6
• View Publication
• BIB
In this short note we consider generalized associahedra of type D_n. We prove that these simple flag polytopes are not nestohedra for n > 3, but the statement of Gal's conjecture holds for them.
Fixed points avoiding Abelian $k$-powers
Published
• View Publication
• BIB
We show that the problem of whether the fixed point of a morphism avoids Abelian $k$-powers is decidable under rather general conditions
Families of Quasimodular Forms and Jacobi Forms: The Crank Statistic for Partitions
Published
• View Publication
• BIB
Families of quasimodular forms arise naturally in many situations such as curve counting on Abelian surfaces and counting ramified covers of orbifolds. In many cases the family of quasimodular forms naturally arises as the coefficients of a Taylor expansion of a Jacobi form. In this note we give examples of such expansions that arise in the study of partition statistics.
The crank partition statistic has gathered much interest recently. For instance, Atkin and Garvan showed that the generating functions for the moments of the crank statistic are quasimodular forms. The two variable generating function for the crank partition statistic is a Jacobi form. Exploiting the structure inherent in the Jacobi theta function we construct explicit expressions for the functions of Atkin and Garvan. Furthermore, this perspective opens the door for further investigation including a study of the moments in arithmetic progressions. We conduct a thorough study of the crank statistic restricted to a residue class modulo 2.
On the importance sampling of self-avoiding walks
Published in Combin. Probab. Comput. 23 (5), pp. 725-748 (2014)
• View Publication
• BIB
In a 1976 paper published in Science, Knuth presented an algorithm to sample (non-uniform) self-avoiding walks crossing a square of side k. From this sample, he constructed an estimator for the number of such walks. The quality of this estimator is directly related to the (relative) variance of a certain random variable X_k. From his experiments, Knuth suspected that this variance was extremely large (so that the estimator would not be very efficient). But how large? For the analogous Rosenbluth algorithm, which samples unconfined self-avoiding walks of length n, the variance of the corresponding estimator is believed to be exponential in n. A few years ago, Bassetti and Diaconis showed that, for a sampler à la Knuth, that generates walks crossing a k\times k square and consisting of North and East steps, the relative variance is only O(\sqrt k). In this note we take one step further and show that, for walks consisting of North, South and East steps, the relative variance jumps to 2^{k(k+1)}/(k+1)^{2k}. This is quasi-exponential in the average length of the walks, which is of order k^2. We also obtain partial results for general self-avoiding walks crossing a square, suggesting that the relative variance could be exponential in k^2 (which is again the average length of these walks). Knuth's algorithm is a basic example of a widely used technique called sequential importance sampling. The present paper, following Bassetti and Diaconis' paper, is one of very few examples where the variance of the estimator can be found.
Lattice games without rational strategies
Published
• View Publication
• BIB
We show that the lattice games of Guo and Miller support universal computation, disproving their conjecture that all lattice games have rational strategies. We also state an explicit counterexample to that conjecture: a three dimensional lattice game whose set of winning positions does not have a rational generating function.
Cyclic sieving of finite Grassmannians and flag varieties
Published in Discrete Mathematics, Volume 312, Issue 5, 6 March 2012, Pages 898-910
• View Publication
• BIB
In this paper we prove instances of the cyclic sieving phenomenon for finite Grassmannians and partial flag varieties, which carry the action of various tori in the finite general linear group GL_n(F_q). The polynomials involved are sums of certain weights of the minimal length parabolic coset representatives of the symmetric group S_n, where the weight of a coset representative can be written as a product over its inversions.
Report on a new type - mixed V and U binomials' recurrence
Recently we had derived a new type generalized binomials mixed recurrence for primordial sequence case . Here we report on this new type mixed V and U binomials recurrence in brief.
The number of intervals in the m-Tamari lattices
Published in The Electronic Journal of Combinatorics 18, 2 (2011) P31
• View Publication
• BIB
An m-ballot path of size n is a path on the square grid consisting of north and east steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice, which generalizes the usual Tamari lattice obtained when m=1. We prove that the number of intervals in this lattice is $$ \frac {m+1}{n(mn+1)} {(m+1)^2 n+m\choose n-1}. $$ This formula was recently conjectured by Bergeron in connection with the study of coinvariant spaces. The case m=1 was proved a few years ago by Chapoton. Our proof is based on a recursive description of intervals, which translates into a functional equation satisfied by the associated generating function. The solution of this equation is an algebraic series, obtained by a guess-and-check approach. Finding a bijective proof remains an open problem.
The set of numerical semigroups of a given genus
Published
• View Publication
• BIB
In this paper we present a new approach to construct the set of numerical semigroups with a fixed genus. Our methodology is based on the construction of the set of numerical semigroups with fixed Frobenius number and genus. An equivalence relation is given over this set and a tree structure is defined for each equivalence class. We also provide a more efficient algorithm based in the translation of a numerical semigroup to its so-called Kunz-coordinates vector.
Combinatorial expansions in K-theoretic bases
Published
• View Publication
• BIB
We study the class $\mathcal C$ of symmetric functions whose coefficients in the Schur basis can be described by generating functions for sets of tableaux with fixed shape. Included in this class are the Hall-Littlewood polynomials, $k$-atoms, and Stanley symmetric functions; functions whose Schur coefficients encode combinatorial, representation theoretic and geometric information. While Schur functions represent the cohomology of the Grassmannian variety of $GL_n$, Grothendieck functions $\{G_λ\}$ represent the $K$-theory of the same space. In this paper, we give a combinatorial description of the coefficients when any element of $\mathcal C$ is expanded in the $G$-basis or the basis dual to $\{G_λ\}$.
Weighted pebbling numbers on graphs
We expand the theory of pebbling to graphs with weighted edges. In a weighted pebbling game, one player distributes a set amount of weight on the edges of a graph and his opponent chooses a target vertex and places a configuration of pebbles on the vertices. Player one wins if, through a series of pebbling moves, he can move at least one pebble to the target. A pebbling move of p pebbles across an edge with weight w leaves the floor of pw pebbles on the next vertex. We find the weighted pebbling numbers of stars, graphs with at least 2|V|-1 edges, and trees with given targets. We give an explicit formula for the minimum total weight required on the edges of a length-2 path, solvable with p pebbles and exhibit a graph which requires an edge with weight 1/3 in order to achieve its weighted pebbling number.
Limits of permutation sequences through permutation regularity
A permutation sequence $(σ_n)_{n \in \mathbb{N}}$ is said to be convergent if, for every fixed permutation $τ$, the density of occurrences of $τ$ in the elements of the sequence converges. We prove that such a convergent sequence has a natural limit object, namely a Lebesgue measurable function $Z:[0,1]^2 \to [0,1]$ with the additional properties that, for every fixed $x \in [0,1]$, the restriction $Z(x,\cdot)$ is a cumulative distribution function and, for every $y \in [0,1]$, the restriction $Z(\cdot,y)$ satisfies a "mass" condition. This limit process is well-behaved: every function in the class of limit objects is a limit of some permutation sequence, and two of these functions are limits of the same sequence if and only if they are equal almost everywhere. An important ingredient in the proofs is a new model of random permutations, which generalizes previous models and is interesting for its own sake.
Connectivity of Kronecker products by K2
Published
• View Publication
• BIB
Let $κ(G)$ be the connectivity of $G$. The Kronecker product $G_1\times G_2$ of graphs $G_1$ and $G_2$ has vertex set $V(G_1\times G_2)=V(G_1)\times V(G_2)$ and edge set $E(G_1\times G_2)=\{(u_1,v_1)(u_2,v_2):u_1u_2\in E(G_1),v_1v_2\in E(G_2)\}$. In this paper, we prove that $κ(G\times K_2)=\textup{min}\{2κ(G), \textup{min}\{|X|+2|Y|\}\}$, where the second minimum is taken over all disjoint sets $X,Y\subseteq V(G)$ satisfying (1)$G-(X\cup Y)$ has a bipartite component $C$, and (2) $G[V(C)\cup \{x\}]$ is also bipartite for each $x\in X$.
Sharp upper bound for the rainbow connection number of a graph with diameter 2
Let $G$ be a connected graph. The \emph{rainbow connection number $rc(G)$} of a graph $G$ was recently introduced by Chartrand et al. Li et al. proved that for every bridgeless graph $G$ with diameter 2, $rc(G)\leq 5$. They gave examples for which $rc(G)\leq 4$. However, they could not show that the upper bound 5 is sharp. It is known that for a graph $G$ with diameter 2, to determine $rc(G)$ is NP-hard. So, it is interesting to know the best upper bound of $rc(G)$ for such a graph $G$. In this paper, we use different way to obtain the same upper bound, and moreover, examples are given to show that the upper is best possible.
On the enumeration of rooted trees with fixed size of maximal decreasing trees
Published in Discrete Mathematics, 312(2), 419-426, 2012
• View Publication
• BIB
Let $\T_{n}$ be the set of rooted labeled trees on $\set{0,...,n}$. A maximal decreasing subtree of a rooted labeled tree is defined by the maximal subtree from the root with all edges being decreasing. In this paper, we study a new refinement $\T_{n,k}$ of $\T_n$, which is the set of rooted labeled trees whose maximal decreasing subtree has $k+1$ vertices.