Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Pseudoknot RNA Structures with Arc-Length $\ge 3$
In this paper we study $k$-noncrossing RNA structures with arc-length $\ge 3$, i.e. RNA molecules in which for any $i$, the nucleotides labeled $i$ and $i+j$ ($j=1,2$) cannot form a bond and in which there are at most $k-1$ mutually crossing arcs. Let ${\sf S}_{k,3}(n)$ denote their number. Based on a novel functional equation for the generating function $\sum_{n\ge 0}{\sf S}_{k,3}(n)z^n$, we derive for arbitrary $k\ge 3$ exponential growth factors and for $k=3$ the subexponential factor. Our main result is the derivation of the formula ${\sf S}_{3,3}(n) \sim \frac{6.11170\cdot 4!}{n(n-1)...(n-4)} 4.54920^n$.
Real Zeros and Normal Distribution for statistics on Stirling permutations defined by Gessel and Stanley
We study Stirling permutations defined by Gessel and Stanley.
We prove that their generating function according to the number of descents has real roots only. We use that fact to prove that the distribution of these descents, and other, equidistributed statistics on these objects converge to a normal distribution.
The Frobenius Problem in a Free Monoid
The classical Frobenius problem is to compute the largest number g not representable as a non-negative integer linear combination of non-negative integers x_1, x_2, ..., x_k, where gcd(x_1, x_2, ..., x_k) = 1. In this paper we consider generalizations of the Frobenius problem to the noncommutative setting of a free monoid. Unlike the commutative case, where the bound on g is quadratic, we are able to show exponential or subexponential behavior for an analogue of g, depending on the particular measure chosen.
Coxeter multiarrangements with quasi-constant multiplicities
Published
• View Publication
• BIB
We study structures of derivation modules of Coxeter multiarrangements with quasi-constant multiplicities by using the primitive derivation. As an application, we show that the characteristic polynomial of a Coxeter multiarrangement with quasi-constant multiplicity is combinatorially computable.
At Least Half Of All Graphs Satisfy χ\leq {1/4}ω+ {3/4}Δ+ 1
We prove that for any graph G at least one of G or $\bar{G}$ satisfies $χ\leq {1/4}ω+ {3/4}Δ+ 1$. In particular, self-complementary graphs satisfy this bound.
On the generalised Selberg integral of Richards and Zheng
Published in Adv. Applied Math. 40 (2008), 212-218.
• View Publication
• BIB
In a recent paper Richards and Zheng compute the determinant of a matrix whose entries are given by beta-type integrals, thereby generalising an earlier result by Dixon and Varchenko. They then use their result to obtain a generalisation of the famous Selberg integral.
In this note we point out that the Selberg-generalisation of Richards and Zheng is a special case of an integral over Jack polynomials due to Kadell. We then show how an integral formula for Jack polynomials of Okounkov and Olshanski may be applied to prove Kadell's integral along the lines of Richards and Zheng.
Rogers-Szego polynomials and Hall-Littlewood symmetric functions
Published in Journal of Algebra 303 (2006), 810-830
• View Publication
• BIB
We use Rogers-Szego polynomials to unify some well-known identities for Hall-Littlewood symmetric functions due to Macdonald and Kawanaka.
Cohen-Macaulay, Shellable and unmixed clutters with a perfect matching of König type
Published in J. Pure Appl. Algebra 212(7) (2008), 1770-1786
• View Publication
• BIB
Let $\mathcal{C}$ be a clutter with a perfect matching $e_1,...,e_g$ of König type and let $Δ_\mathcal{C}$ be the Stanley-Reisner complex of the edge ideal of $\mathcal{C}$. If all c-minors of $\mathcal{C}$ have a free vertex and $\mathcal{C}$ is unmixed, we show that $Δ_\mathcal{C}$ is pure shellable. We are able to describe, in combinatorial and algebraic terms, when $Δ_\mathcal{C}$ is pure. If $\mathcal{C}$ has no cycles of length 3 or 4, then it is shown that $Δ_\mathcal{C}$ is pure if and only if $Δ_\mathcal{C}$ is pure shellable (in this case $e_i$ has a free vertex for all $i$), and that $Δ_\mathcal{C}$ is pure if and only if for any two edges $f_1,f_2$ of $\mathcal{C}$ and for any $e_i$, one has that $f_1\cap e_i\subset f_2\cap e_i$ or $f_2\cap e_i\subset f_1\cap e_i$. It is also shown that this ordering condition implies that $Δ_\mathcal{C}$ is pure shellable, without any assumption on the cycles of $\mathcal{C}$. Then we prove that complete admissible uniform clutters and their Alexander duals are unmixed. In addition, the edge ideals of complete admissible uniform clutters are facet ideals of shellable simplicial complexes, they are Cohen-Macaulay, and they have linear resolutions. Furthermore if $ \mathcal{C}$ is admissible and complete, then $\mathcal{C}$ is unmixed. We characterize certain conditions that occur in a Cohen-Macaulay criterion for bipartite graphs of Herzog and Hibi, and extend some results of Faridi--on the structure of unmixed simplicial trees--to clutters with the König property without 3-cycles or 4-cycles.
Antimagic labelings of regular bipartite graphs: An application of the Marriage Theorem
Published in Journal of Graph Theory. Vol. 60, March 2009, pp. 173-182
• Search Publication
A labeling of a graph is a bijection from $E(G)$ to the set $\{1, 2,..., |E(G)|\}$. A labeling is \textit{antimagic} if for any distinct vertices $u$ and $v$, the sum of the labels on edges incident to $u$ is different from the sum of the labels on edges incident to $v$. We say a graph is antimagic if it has an antimagic labeling. In 1990, Ringel conjectured that every connected graph other than $K_2$ is antimagic. In this paper, we show that every regular bipartite graph (with degree at least 2) is antimagic. Our technique relies heavily on the Marriage Theorem.
Dense sets of integers with prescribed representation functions
Published in European Journal of Combinatorics 34 (2013), 1297--1306
• View Publication
• BIB
Let A be a set of integers and let h \geq 2. For every integer n, let r_{A, h}(n) denote the number of representations of n in the form n=a_1+...+a_h, where a_1,...,a_h belong to the set A, and a_1\leq ... \leq a_h. The function r_{A,h} from the integers Z to the nonnegative integers N_0 U {\infty} is called the representation function of order h for the set A. We prove that every function f from Z to N_0 U {\infty} satisfying liminf_{|n|->\infty} f (n)\geq g is the representation function of order h for some sequence A of integers, and that A can be constructed so that it increases "almost" as slowly as any given B_h[g] sequence. In particular, for every epsilon >0 and g \geq g(h,epsilon), we can construct a sequence A satisfying r_{A,h}=f and A(x)\gg x^{(1/h)-epsilon}.
The Ratio Monotonicity of the $q$-Derangement Numbers
We show that the $q$-derangement numbers satisfy a ratio monotone property, which is analogous to the log-concavity and is stronger than the spiral property and the unimodality.
The Limiting Distribution of the Coefficients of the $q$-Catalan Numbers
Published
• View Publication
• BIB
We show that the limiting distributions of the coefficients of the $q$-Catalan numbers and the generalized $q$-Catalan numbers are normal. Despite the fact that these coefficients are not unimodal for small $n$, we conjecture that for sufficiently large $n$, the coefficients are unimodal and even log-concave except for a few terms of the head and tail.
The Multidimensional Cube Recurrence
Published
• View Publication
• BIB
We introduce a recurrence which we term the multidimensional cube recurrence, generalizing the octahedron recurrence studied by Propp, Fomin and Zelevinsky, Speyer, and Fock and Goncharov and the three-dimensional cube recurrence studied by Fomin and Zelevinsky, and Carroll and Speyer. The states of this recurrence are indexed by tilings of a polygon with rhombi, and the variables in the recurrence are indexed by vertices of these tilings. We travel from one state of the recurrence to another by performing elementary flips. We show that the values of the recurrence are independent of the order in which we perform the flips; this proof involves nontrivial combinatorial results about rhombus tilings which may be of independent interest. We then show that the multidimensional cube recurrence exhibits the Laurent phenomenon -- any variable is given by a Laurent polynomial in the other variables. We recognize a special case of the multidimensional cube recurrence as giving explicit equations for the isotropic Grassmannians IG(n-1,2n). Finally, we describe a tropical version of the multidimensional cube recurrence and show that, like the tropical octahedron recurrence, it propagates certain linear inequalities.
On fixed points of permutations
Published
• View Publication
• BIB
The number of fixed points of a random permutation of 1,2,...,n has a limiting Poisson distribution. We seek a generalization, looking at other actions of the symmetric group. Restricting attention to primitive actions, a complete classification of the limiting distributions is given. For most examples, they are trivial -- almost every permutation has no fixed points. For the usual action of the symmetric group on k-sets of 1,2,...,n, the limit is a polynomial in independent Poisson variables. This exhausts all cases. We obtain asymptotic estimates in some examples, and give a survey of related results.
Zonotopal algebra
Published in Advances in Mathematics, 227 (2011), no.2, 847-894
• View Publication
• BIB
A wealth of geometric and combinatorial properties of a given linear endomorphism $X$ of $\R^N$ is captured in the study of its associated zonotope $Z(X)$, and, by duality, its associated hyperplane arrangement ${\cal H}(X)$. This well-known line of study is particularly interesting in case $n\eqbd\rank X \ll N$. We enhance this study to an algebraic level, and associate $X$ with three algebraic structures, referred herein as {\it external, central, and internal.} Each algebraic structure is given in terms of a pair of homogeneous polynomial ideals in $n$ variables that are dual to each other: one encodes properties of the arrangement ${\cal H}(X)$, while the other encodes by duality properties of the zonotope $Z(X)$. The algebraic structures are defined purely in terms of the combinatorial structure of $X$, but are subsequently proved to be equally obtainable by applying suitable algebro-analytic operations to either of $Z(X)$ or ${\cal H}(X)$. The theory is universal in the sense that it requires no assumptions on the map $X$ (the only exception being that the algebro-analytic operations on $Z(X)$ yield sought-for results only in case $X$ is unimodular), and provides new tools that can be used in enumerative combinatorics, graph theory, representation theory, polytope geometry, and approximation theory.
Higher Spin Alternating Sign Matrices
Published in Electron. J. Combin. 14 (2007) Research Paper 83
• View Publication
• BIB
We define a higher spin alternating sign matrix to be an integer-entry square matrix in which, for a nonnegative integer r, all complete row and column sums are r, and all partial row and column sums extending from each end of the row or column are nonnegative. Such matrices correspond to configurations of spin r/2 statistical mechanical vertex models with domain-wall boundary conditions. The case r=1 gives standard alternating sign matrices, while the case in which all matrix entries are nonnegative gives semimagic squares. We show that the higher spin alternating sign matrices of size n are the integer points of the r-th dilate of an integral convex polytope of dimension (n-1)^2 whose vertices are the standard alternating sign matrices of size n. It then follows that, for fixed n, these matrices are enumerated by an Ehrhart polynomial in r.
Zone and double zone diagrams in abstract spaces
Published in Colloquium Mathematicum 115 (2009), 129-145
• View Publication
• BIB
A zone diagram is a relatively new concept which was first defined and studied by T. Asano, J. Matousek and T. Tokuyama. It can be interpreted as a state of equilibrium between several mutually hostile kingdoms. Formally, it is a fixed point of a certain mapping. These authors considered the Euclidean plane and proved the existence and uniqueness of zone diagrams there. In the present paper we generalize this concept in various ways. We consider general sites in m-spaces (a simple generalization of metric spaces) and prove several existence and (non)uniqueness results in this setting. In contrast to previous works, our (rather simple) proofs are based on purely order theoretic arguments. Many explicit examples are given, and some of them illustrate new phenomena which occur in the general case. We also re-interpret zone diagrams as a stable configuration in a certain combinatorial game, and provide an algorithm for finding this configuration in a particular case.
A Characterization of the Angle Defect and the Euler Characteristic in Dimension 2 -- Preliminary Draft
Published
• View Publication
• BIB
The angle defect, which is the standard way to measure curvature at the vertices of polyhedral surfaces, goes back at least as far as Descartes. Although the angle defect has been widely studied, there does not appear to be in the literature an axiomatic characterization of the angle defect. We give a characterization of the angle defect for simplicial surfaces, and we show that variants of the same characterization work for two known approaches to generalizing the angle defect to arbitrary 2-dimensional simplicial complexes. Simultaneously, we give a characterization of the Euler characteristic on 2-dimensional simplicial complexes in terms of being geometrically locally determined.
Inverse problems for linear forms over finite sets of integers
Published in Journal of the Ramanujan Mathematical Society 23 (2008), 151--165
• Search Publication
Let f(x_1,x_2,...,x_m) = u_1x_1+u_2 x_2+... + u_mx_m be a linear form with positive integer coefficients, and let N_f(k) = min{|f(A)| : A \subseteq Z and |A|=k}. A minimizing k-set for f is a set A such that |A|=k and |f(A)| = N_f(k). A finite sequence (u_1, u_2,...,u_m) of positive integers is called complete if {\sum_{j\in J} u_j : J \subseteq {1,2,..,m}} = {0,1,2,..., U}, where $U = \sum_{j=1}^m u_j.$ It is proved that if f is an m-ary linear form whose coefficient sequence (u_1,...,u_m) is complete, then N_f(k) = Uk-U+1 and the minimizing k-sets are precisely the arithmetic progressions of length k. Other extremal results on linear forms over finite sets of integers are obtained.
Markov bases for two-way subtable sum problems
Published in Journal of Pure and Applied Algebra, Vol.213, Issue 8, 1507-1521. (2009)
• View Publication
• BIB
It has been well-known that for two-way contingency tables with fixed row sums and column sums the set of square-free moves of degree two forms a Markov basis. However when we impose an additional constraint that the sum of a subtable is also fixed, then these moves do not necessarily form a Markov basis. Thus, in this paper, we show a necessary and sufficient condition on a subtable so that the set of square-free moves of degree two forms a Markov basis.