arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 81378 papers, 47165 authors in database)
2002-12-20
Distorted Hankel integral operators
Published • View PublicationBIB
For $\a,\b>0$ and for a locally integrable function (or, more generally, a distribution) $\f$ on $(0,\be)$, we study integral ooperators ${\frak G}^{\a,\b}_\f$ on $L^2(\R_+)$ defined by $\big({\frak G}^{\a,\b}_\f f\big)(x)=\int_{\R_+}\f\big(x^\a+y^\b\big)f(y)dy$. We describe the bounded and compact operators ${\frak G}^{\a,\b}_\f$ and operators ${\frak G}^{\a,\b}_\f$ of Schatten--von Neumann class $\bS_p$. We also study continuity properties of the averaging projection $\Q_{\a,\b}$ onto the operators of the form ${\frak G}^{\a,\b}_\f$. In particular, we show that if $\a\le\b$ and $\b>1$, then ${\frak G}^{\a,\b}_\f$ is bounded on $\bS_p$ if and only if $2\b(\b+1)^{-1}<p<2\b(\b-1)^{-1}$.
2002-12-19
Refined Restricted Involutions
Published • View PublicationBIB
Define $I_n^k(α)$ to be the set of involutions of $\{1,2,...,n\}$ with exactly $k$ fixed points which avoid the pattern $α\in S_i$, for some $i \geq 2$, and define $I_n^k(\emptyset;α)$ to be the set of involutions of $\{1,2,...,n\}$ with exactly $k$ fixed points which contain the pattern $α\in S_i$, for some $i \geq 2$, exactly once. Let $i_n^k(α)$ be the number of elements in $I_n^k(α)$ and let $i_n^k(\emptyset;α)$ be the number of elements in $I_n^k(\emptyset;α)$. We investigate $I_n^k(α)$ and $I_n^k(\emptyset;α)$ for all $α\in S_3$. In particular, we show that $i_n^k(132)=i_n^k(213)=i_n^k(321)$, $i_n^k(231)=i_n^k(312)$, $i_n^k(\emptyset;132) =i_n^k(\emptyset;213)$, and $i_n^k(\emptyset;231)=i_n^k(\emptyset;312)$ for all $0 \leq k \leq n$.
2002-12-19
The largest small polytopes
Published • View PublicationBIB
The aim of this paper is the determination of the largest $n$-dimensional polytope with $n+3$ vertices of unit diameter. This is a special case of a more general problem proposed by Graham.
2002-12-19
Lower Order Terms in Szego Theorems on Zoll Manifolds
Published in Advances in differential equations and mathematical physics (Birmingham, AL, 2002), 99--113, Contemp. Math., 327, Amer. Math. Soc., Providence, RI, 2003. • View PublicationBIB
The main motivation for this work was to find an explicit formula for a "Szego-regularized" determinant of a zeroth order pseudodifferential operator (PsDO) on a Zoll manifold. The idea of the Szego-regularization was suggested by V. Guillemin and K. Okikiolu. They have computed the second term in a Szego type expansion on a Zoll manifold of an arbitrary dimension. In the present work we compute the third asymptotic term in any dimension. In the case of dimension 2, our formula gives the above mentioned expression for the Szego-redularized determinant of a zeroth order PsDO. The proof uses a new combinatorial identity, which generalizes a formula due to G.A. Hunt and F.J. Dyson. This identity is related to the distribution of the maximum of a random walk with i.i.d. steps on the real line. The full version of this paper is also available, math.FA/0212275.
2002-12-19
Lower order terms in Szego type limit theorems on Zoll manifolds
Published in Comm. Partial Differential Equations 28 (2003), no. 9-10, 1739--1785. • View PublicationBIB
This is a detailed version of the paper math.FA/0212273. The main motivation for this work was to find an explicit formula for a "Szego-regularized" determinant of a zeroth order pseudodifferential operator (PsDO) on a Zoll manifold. The idea of the Szego-regularization was suggested by V. Guillemin and K. Okikiolu. They have computed the second term in a Szego type expansion on a Zoll manifold of an arbitrary dimension. In the present work we compute the third asymptotic term in any dimension. In the case of dimension 2, our formula gives the above mentioned expression for the Szego-redularized determinant of a zeroth order PsDO. The proof uses a new combinatorial identity, which generalizes a formula due to G.A.Hunt and F.J.Dyson. This identity is related to the distribution of the maximum of a random walk with i.i.d. steps on the real line. The proof of this combinatorial identity together with historical remarks and a discussion of probabilistic and algebraic connections has been published separately.
2002-12-19 v2
Determination of the structure of algebraic curvature tensors by means of Young symmetrizers
Published in Seminaire Lotharingien de Combinatoire, 48 (2003) Article B48d • Search Publication
For a positive definite fundamental tensor all known examples of Osserman algebraic curvature tensors have a typical structure. They can be produced from a metric tensor and a finite set of skew-symmetric matrices which fulfil Clifford commutation relations. We show by means of Young symmetrizers and a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins that every algebraic curvature tensor has a structure which is very similar to that of the above Osserman curvature tensors. We verify our results by means of the Littlewood-Richardson rule and plethysms. For certain symbolic calculations we used the Mathematica packages MathTensor, Ricci and PERMS.
2002-12-18
The excedances and descents of bi-increasing permutations
Starting from some considerations we make about the relations between certain difference statistics and the classical permutation statistics we study permutations whose inversion number and excedance difference coincide. It turns out that these (so-called bi-increasing) permutations are just the 321-avoiding ones. The paper investigates their excedance and descent structure. In particular, we find some nice combinatorial interpretations for the distribution coefficients of the number of excedances and descents, respectively, and their difference analogues over the bi-increasing permutations in terms of parallelogram polyominoes and 2-Motzkin paths. This yields a connection between restricted permutations, parallelogram polyominoes, and lattice paths that reveals the relations between several well-known bijections given for these objects (e.g. by Delest-Viennot, Billey-Jockusch-Stanley, Francon-Viennot, and Foata-Zeilberger). As an application, we enumerate skew diagrams according to their rank and give a simple combinatorial proof for a result concerning the symmetry of the joint distribution of the number of excedances and inversions, respectively, over the symmetric group.
2002-12-17 v2
Characterizing Matchings as the Intersection of Matroids
Published • View PublicationBIB
This paper deals with the problem of representing the matching independence system in a graph as the intersection of finitely many matroids. After characterizing the graphs for which the matching independence system is the intersection of two matroids, we study the function mu(G), which is the minimum number of matroids that need to be intersected in order to obtain the set of matchings on a graph G, and examine the maximal value, mu(n), for graphs with n vertices. We describe an integer programming formulation for deciding whether mu(G)<= k. Using combinatorial arguments, we prove that mu(n)is in Omega(loglog n). On the other hand, we establish that mu(n) is in O(log n / loglog n). Finally, we prove that mu(n)=4 for n=5,...,12, and mu(n)=5 for n=13,14,15.
2002-12-16
Fixed points and excedances in restricted permutations
Published • View PublicationBIB
In this paper we prove that among the permutations of length n with i fixed points and j excedances, the number of 321-avoiding ones equals the number of 132-avoiding ones, for all given i,j<=n. We use a new technique involving diagonals of non-rational generating functions. This theorem generalizes a recent result of Robertson, Saracino and Zeilberger, for which we also give another, more direct proof.
2002-12-13 v2
Generalized Fibonacci numbers and dimer statistics
Published in Mod. Phys. Lett. B 16, 1177 (2002) • View PublicationBIB
We establish new product identities involving the $q$-analogue of the Fibonacci numbers. We show that the identities lead to alternate expressions of generating functions for close-packed dimers on non-orientable surfaces.
2002-12-12 v3
Reversible coagulation-fragmentation processes and random combinatorial structures:asymptotics for the number of groups
Published • View PublicationBIB
We establish the central limit theorem for the number of groups at the equilibrium of a coagulation-fragmentation process given by a parameter function with polynomial rate of growth. The result obtained is compared with the one for random combinatorial structures obeying the logarithmic condition.
2002-12-12
Counting Real Connected Components of Trinomial Curve Intersections and m-nomial Hypersurfaces
Published • View PublicationBIB
We prove that any pair of bivariate trinomials has at most 5 isolated roots in the positive quadrant. The best previous upper bounds independent of the polynomial degrees were much larger, e.g., 248832 (for just the non-degenerate roots) via a famous general result of Khovanski. Our bound is sharp, allows real exponents, allows degeneracies, and extends to certain systems of n-variate fewnomials, giving improvements over earlier bounds by a factor exponential in the number of monomials. We also derive analogous sharpened bounds on the number of connected components of the real zero set of a single n-variate m-nomial.
2002-12-11 v3
Fermionic expressions for minimal model Virasoro characters
Published in Mem.Am.Math.Soc.175N827:1-160,2005 • View PublicationBIB
Fermionic expressions for all minimal model Virasoro characters $χ^{p, p'}_{r, s}$ are stated and proved. Each such expression is a sum of terms of fundamental fermionic form type. In most cases, all these terms are written down using certain trees which are constructed for $s$ and $r$ from the Takahashi lengths and truncated Takahashi lengths associated with the continued fraction of $p'/p$. In the remaining cases, in addition to such terms, the fermionic expression for $χ^{p, p'}_{r, s}$ contains a different character $χ^{\hat p, \hat p'}_{\hat r,\hat s}$, and is thus recursive in nature. Bosonic-fermionic $q$-series identities for all characters $χ^{p, p'}_{r, s}$ result from equating these fermionic expressions with known bosonic expressions. In the cases for which $p=2r$, $p=3r$, $p'=2s$ or $p'=3s$, Rogers-Ramanujan type identities result from equating these fermionic expressions with known product expressions for $χ^{p, p'}_{r, s}$. The fermionic expressions are proved by first obtaining fermionic expressions for the generating functions $χ^{p, p'}_{a, b, c}(L)$ of length $L$ Forrester-Baxter paths, using various combinatorial transforms. In the $L\to\infty$ limit, the fermionic expressions for $χ^{p, p'}_{r, s}$ emerge after mapping between the trees that are constructed for $b$ and $r$ from the Takahashi and truncated Takahashi lengths respectively.
2002-12-11
The Boson Normal Ordering Problem and Generalized Bell Numbers
Published in Annals of Combinatorics 7: 127-139, (2003) • View PublicationBIB
For any function F(x) having a Taylor expansion we solve the boson normal ordering problem for F[(a*)^r a^s], with r,s positive integers,[a,a*]=1, i.e. we provide exact and explicit expressions for its normal form which has all a's to the right. The solution involves integer sequences of numbers which, for r,s >=1, are generalizations of the conventional Bell and Stirling numbers whose values they assume for r=s=1. A complete theory of such generalized combinatorial numbers is given including closed-form expressions (extended Dobinski - type formulas), recursion relations and generating functions. These last are special expectation values in boson coherent states.
2002-12-11 v2
The fine structure of 321 avoiding permutations
Bivariate generating functions for various subsets of the class of permutations containing no descending sequence of length three or more are determined. The notion of absolute indecomposability of a permutation is introduced, and used in enumerating permutations which have a block structure avoiding 321 and whose blocks also have such structure (recursively). Generalizations of these results are discussed.
2002-12-11 v7
Asymptotic Enumeration of Spanning Trees
Published in Combin. Probab. Comput. 14 (2005), 491-522. • View PublicationBIB
We give new general formulas for the asymptotics of the number of spanning trees of a large graph. A special case answers a question of McKay (1983) for regular graphs. The general answer involves a quantity for infinite graphs that we call "tree entropy", which we show is a logarithm of a normalized determinant of the graph Laplacian for infinite graphs. Tree entropy is also expressed using random walks. We relate tree entropy to the metric entropy of the uniform spanning forest process on quasi-transitive amenable graphs, extending a result of Burton and Pemantle (1993).
2002-12-10 v2
Searching for a Connection Between Matroid Theory and String Theory
Published in J.Math.Phys. 45 (2004) 285-301 • View PublicationBIB
We make a number of observations about matter-ghost string phase, which may eventually lead to a formal connection between matroid theory and string theory. In particular, in order to take advantage of the already established connection between matroid theory and Chern-Simons theory, we propose a generalization of string theory in terms of some kind of Kahler metric. We show that this generalization is closely related to the Kahler-Chern-Simons action due to Nair and Schiff. In addition, we discuss matroid/string connection via matroid bundles and a Schild type action, and we add new information about the relationship between matroid theory, D=11 supergravity and Chern-Simons formalism.
2002-12-10
Mitosis recursion for coefficients of Schubert polynomials
Published • View PublicationBIB
Mitosis is a rule introduced by [Knutson-Miller, 2002] for manipulating subsets of the n by n grid. It provides an algorithm that lists the reduced pipe dreams (also known as rc-graphs) [Fomin-Kirillov, Bergeron-Billey] for a permutation w in S_n by downward induction on weak Bruhat order, thereby generating the coefficients of Schubert polynomials [Lascoux-Schutzenberger] inductively. This note provides a short and purely combinatorial proof of these properties of mitosis.
2002-12-10
Characterization of SDP Designs That Yield Certain Spin Models
Published • View PublicationBIB
We characterize the SDP designs that give rise to four-weight spin models with two values. We prove that the only such designs are the symplectic SDP designs. The proof involves analysis of cardinalities of intersections of four blocks.
2002-12-10
An Upper Bound for the Number of Planar Lattice Triangulations
Published • View PublicationBIB
We prove an exponential upper bound for the number $f(m,n)$ of all maximal triangulations of the $m\times n$ grid: \[ f(m,n) < 2^{3mn}. \] In particular, this improves a result of S. Yu. Orevkov (1999).