arXiv++ Combinatorics

Browse math.CO papers from arXiv

Showing 20 papers (Total: 82851 papers, 47869 authors in database)
2002-12-30
On certain organic compounds with one mono-substitution and at least three di-substitution homogeneous derivatives
Published • View Publication • BIB
In this paper parent substances with molecules which can be divided into a skeleton and six univalent substituents, and that have the properties mentioned in the title, are considered. Two instances are the molecules of benzene and cyclopropane. The Lunn-Senior's symmetry groups of substitution isomerism of these compounds are described and upper bounds of the numbers of their di-substitution and tri-substitution homogeneous derivatives are found. Lists of the possible simple substitution reactions among di-substitution homogeneous derivatives, on one hand, and di-substitution heterogeneous, and tri-substitution homogeneous derivatives, on the other, are given. These substitution reactions allow for some derivatives to be identified with their structural formulae.
2002-12-28 v2
From 2D Toda hierarchy to conformal map for domains of Riemann sphere
Published • View Publication • BIB
In recent works [hep-th/9909147, hep-th/0005259] was found a wonderful correlation between integrable systems and meromorphic functions. They reduce a problem of effictivisation of Riemann theorem about conformal maps to calculation of a string solution of dispersionless limit of the 2D Toda hierarchy. In [math.CV/0103136] was found a recurrent formulas for coeffciens of Taylor series of the string solution. This gives, in particular, a method for calculation of the univalent conformal map from the until disk to an arbitrary domain, described by its harmonic moments. In the present paper we investigate some properties of these formulas. In particular, we find a sufficient condition for convergence of the Taylor series for the string solution of dispersionless limit of 2D Toda hierarchy.
2002-12-27
Particle content of the (k,3)-configurations
Published • View Publication • BIB
For all $k$, we construct a bijection between the set of sequences of non-negative integers ${\bf a}=(a_i)_{i\in{\bf Z}_{\geq0}}$ satisfying $a_i+a_{i+1}+a_{i+2}\leq k$ and the set of rigged partitions $(λ,ρ)$. Here $λ=(λ_1,...,λ_n)$ is a partition satisfying $k\geqλ_1\geq...\geqλ_n\geq1$ and $ρ=(ρ_1,...,ρ_n)\in{\bf Z}_{\geq0}^n$ is such that $ρ_j\geqρ_{j+1}$ if $λ_j=λ_{j+1}$. One can think of $λ$ as the particle content of the configuration ${\bf a}$ and $ρ_j$ as the energy level of the $j$-th particle, which has the weight $λ_j$. The total energy $\sum_iia_i$ is written as the sum of the two-body interaction term $\sum_{j<j'}A_{λ_j,λ_{j'}}$ and the free part $\sum_jρ_j$. The bijection implies a fermionic formula for the one-dimensional configuration sums $\sum_{\bf a}q^{\sum_iia_i}$. We also derive the polynomial identities which describe the configuration sums corresponding to the configurations with prescribed values for $a_0$ and $a_1$, and such that $a_i=0$ for all $i>N$.
2002-12-27 v2
Zigzag Structure of Simple Two-faced Polyhedra
Published • View Publication • BIB
A zigzag in a plane graph is a circuit of edges, such that any two, but no three, consecutive edges belong to the same face. A railroad in a plane graph is a circuit of hexagonal faces, such that any hexagon is adjacent to its neighbors on opposite edges. A graph without a railroad is called tight. We consider the zigzag and railroad structures of general 3-valent plane graph and, especially, of simple two-faced polyhedra, i.e., 3-valent 3-polytopes with only $a$-gonal and $b$-gonal faces, where $3 \le a < b \le 6$; the main cases are $(a,b)=(3,6)$, $(4,6)$ and $(5,6)$ (the fullerenes). We completely describe the zigzag structure for the case $(a,b)$=$(3,6)$. For the case $(a,b)$=$(4,6)$ we describe symmetry groups, classify all tight graphs with simple zigzags and give the upper bound 9 for the number of zigzags in general tight graphs. For the remaining case $(a,b)$=$(5,6)$ we give a construction realizing a prescribed zigzag structure.
2002-12-27
The six-dimensional Delaunay polytopes
Published • View Publication • BIB
Given a lattice $L$, a full dimensional polytope $P$ is called a {\em Delaunay polytope} if the set of its vertices is $S\cap L$ with $S$ being an {\em empty sphere} of the lattice. Extending our previous work \cite{DD-hyp} on the {\em hypermetric cone} $HYP_7$, we classify the six-dimensional Delaunay polytopes according to their {\em combinatorial type}. The list of 6241 combinatorial types is obtained by a study of the set of faces of the polyhedral cone $HYP_7$.
2002-12-27 v2
4-valent plane graphs with 2-, 3- and 4-gonal faces
Published • View Publication • BIB
Call {\em i-hedrite} any 4-valent n-vertex plane graph, whose faces are 2-, 3- and 4-gons only and $p_2+p_3=i$. The edges of an i-hedrite, as of any Eulerian plane graph, are partitioned by its {\em central circuits}, i.e. those, which are obtained by starting with an edge and continuing at each vertex by the edge opposite the entering one. So, any i-hedrite is a projection of an alternating link, whose components correspond to its central circuits. Call an i-hedrite {\em irreducible}, if it has no {\em rail-road}, i.e. a circuit of 4-gonal faces, in which every 4-gon is adjacent to two of its neighbors on opposite edges. We present the list of all i-hedrites with at most 15 vertices. Examples of other results: (i) All i-hedrites, which are not 3-connected, are identified. (ii) Any irreducible i-hedrite has at most i-2 central circuits. (iii) All i-hedrites without self-intersecting central circuits are listed. (iv) All symmetry group of i-hedrites are listed.
2002-12-26 v2
Packing patterns into words
Published • View Publication • BIB
In this article we generalize packing density problems from permutations to patterns with repeated letters and generalized patterns. We are able to find the packing density for some classes of patterns and several other short patterns.
2002-12-26
Average norms of polynomials
Published • View Publication • BIB
In this paper we study the average $\NL_{2α}$-norm over $T$-polynomials, where $α$ is a positive integer. More precisely, we present an explicit formula for the average $\NL_{2α}$-norm over all the polynomials of degree exactly $n$ with coefficients in $T$, where $T$ is a finite set of complex numbers, $α$ is a positive integer, and $n\geq0$. In particular, we give a complete answer for the cases of Littlewood polynomials and polynomials of a given height. As a consequence, we derive all the previously known results for this kind of problems, as well as many new results.
2002-12-23 v2
A Resistance Bound via an Isoperimetric Inequality
Published • View Publication • BIB
An isoperimetric upper bound on the resistance is given. As a corollary we resolve two problems, regarding mean commute time on finite graphs and resistance on percolation clusters. Further conjectures are presented.
2002-12-23
Bijections for refined restricted permutations
Published • View Publication • BIB
We present a bijection between 321- and 132-avoiding permutations that preserves the number of fixed points and the number of excedances. This gives a simple combinatorial proof of recent results of Robertson, Saracino and Zeilberger, and the first author. We also show that our bijection preserves additional statistics, which extends the previous results.
2002-12-22 v6
The combinatorics of splittability
Published in Annals of Pure and Applied Logic 129 (2004), 107--130 • View Publication • BIB
Marion Scheepers, in his studies of the combinatorics of open covers, introduced the property Split(U,V) asserting that a cover of type U can be split into two covers of type V. In the first part of this paper we give an almost complete classification of all properties of this form where U and V are significant families of covers which appear in the literature (namely, large covers, omega-covers, tau-covers, and gamma-covers), using combinatorial characterizations of these properties in terms related to ultrafilters on N. In the second part of the paper we consider the questions whether, given U and V, the property Split(U,V) is preserved under taking finite unions, arbitrary subsets, powers or products. Several interesting problems remain open.
2002-12-22
Macdonald polynomials and algebraic integrability
Published in Adv. in Math. 166(2), 193-259 (2002) • View Publication • BIB
We construct explicitly non-polynomial eigenfunctions of the difference operators by Macdonald in case $t=q^k$, $k\in{\mathbb Z}$. This leads to a new, more elementary proof of several Macdonald conjectures, first proved by Cherednik. We also establish the algebraic integrability of Macdonald operators at $t=q^k$ ($k\in {\mathbb Z}$), generalizing the result of Etingof and Styrkas. Our approach works uniformly for all root systems including $BC_n$ case and related Koornwinder polynomials. Moreover, we apply it for a certain deformation of $A_n$ root system where the previously known methods do not work.
2002-12-21
The Floyd-Warshall Algorithm, the AP and the TSP III
We clarify the exposition of Phases 2 and 3a in "The Floyd-Warshall Algorithm, the AP and the TSP". We also improve and simplify theorem 3.6 . In line with clarifying the exposition, we change the matrices in examples 3.4 and 3.5 of "The Floyd-Warshall Algorithm, the AP and the TSP II".
2002-12-20
Distorted Hankel integral operators
Published • View Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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 Publication • BIB
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.