natural ↗ reference
4894 papers tagged with this keyword
Generalized parking functions, descent numbers, and chain polytopes of ribbon posets
Published
• View Publication
• BIB
We consider the inversion enumerator I_n(q), which counts labeled trees or, equivalently, parking functions. This polynomial has a natural extension to generalized parking functions. Substituting q = -1 into this generalized polynomial produces the number of permutations with a certain descent set. In the classical case, this result implies the formula I_n(-1) = E_n, the number of alternating permutations. We give a combinatorial proof of these formulas based on the involution principle. We also give a geometric interpretation of these identities in terms of volumes of generalized chain polytopes of ribbon posets. The volume of such a polytope is given by a sum over generalized parking functions, which is similar to an expression for the volume of the parking function polytope of Pitman and Stanley.
Graph norms and Sidorenko's conjecture
Published
• View Publication
• BIB
Let $H$ and $G$ be two finite graphs. Define $h_H(G)$ to be the number of homomorphisms from $H$ to $G$. The function $h_H(\cdot)$ extends in a natural way to a function from the set of symmetric matrices to $\mathbb{R}$ such that for $A_G$, the adjacency matrix of a graph $G$, we have $h_H(A_G)=h_H(G)$. Let $m$ be the number of edges of $H$. It is easy to see that when $H$ is the cycle of length $2n$, then $h_H(\cdot)^{1/m}$ is the $2n$-th Schatten-von Neumann norm. We investigate a question of Lovász that asks for a characterization of graphs $H$ for which the function $h_H(\cdot)^{1/m}$ is a norm.
We prove that $h_H(\cdot)^{1/m}$ is a norm if and only if a Hölder type inequality holds for $H$. We use this inequality to prove both positive and negative results, showing that $h_H(\cdot)^{1/m}$ is a norm for certain classes of graphs, and giving some necessary conditions on the structure of $H$ when $h_H(\cdot)^{1/m}$ is a norm. As an application we use the inequality to verify a conjecture of Sidorenko for certain graphs including hypercubes. In fact for such graphs we can prove statements that are much stronger than the assertion of Sidorenko's conjecture.
We also investigate the $h_H(\cdot)^{1/m}$ norms from a Banach space theoretic point of view, determining their moduli of smoothness and convexity. This generalizes the previously known result for the $2n$-th Schatten-von Neumann norms.
The Equivalence of Two Graph Polynomials and a Symmetric Function
Published
• View Publication
• BIB
The U-polynomial, the polychromate and the symmetric function generalization of the Tutte polynomial due to Stanley are known to be equivalent in the sense that the coefficients of any one of them can be obtained as a function of the coefficients of any other. The definition of each of these functions suggests a natural way in which to generalize them which also captures Tutte's universal V-functions as a specialization. We show that the equivalence remains true for the extended functions thus answering a question raised by Dominic Welsh.
Baxter permutations and plane bipolar orientations
Published in Seminaire Lotharingien de Combinatoire 61A (2010) B61Ah
• View Publication
• BIB
We present a simple bijection between Baxter permutations of size $n$ and plane bipolar orientations with n edges. This bijection translates several classical parameters of permutations (number of ascents, right-to-left maxima, left-to-right minima...) into natural parameters of plane bipolar orientations (number of vertices, degree of the sink, degree of the source...), and has remarkable symmetry properties. By specializing it to Baxter permutations avoiding the pattern 2413, we obtain a bijection with non-separable planar maps. A further specialization yields a bijection between permutations avoiding 2413 and 3142 and series-parallel maps.
Embedded Associated Primes of Powers of Square-free Monomial Ideals
An ideal I in a Noetherian ring R is normally torsion-free if Ass(R/I^t)=Ass(R/I) for all natural numbers t. We develop a technique to inductively study normally torsion-free square-free monomial ideals. In particular, we show that if a square-free monomial ideal I is minimally not normally torsion-free then the least power t such that I^t has embedded primes is bigger than beta_1, where beta_1 is the monomial grade of I, which is equal to the matching number of the hypergraph H(I) associated to I. If in addition I fails to have the packing property, then embedded primes of I^t do occur when t=beta_1 +1. As an application, we investigate how these results relate to a conjecture of Conforti and Cornuéjols.
Disjointness of representations arising in harmonic analysis on the infinite-dimensional unitary group
Published in Funct. Anal. Appl. , 44 (2010), no. 2, 92-105
• View Publication
• BIB
We prove pairwise disjointness of representations T_{z,w} of the infinite-dimensional unitary group. These representations provide a natural generalization of the regular representation for the case of "big" group U(\infty). They were introduced and studied by G.Olshanski and A.Borodin.
Disjointness of the representations can be reduced to disjointness of certain probability measures on the space of paths in the Gelfand-Tsetlin graph. We prove the latter disjointness using probabilistic and combinatorial methods.
Implicit higher derivatives, and a formula of Comtet and Fiolet
Let F(x,y) be a function of two variables, and suppose y = f(x) satisfies F(x,y)=0 in some range. Then dy/dx = -Fx/Fy, where Fx and Fy denote the partial derivatives of F with respect to x and y. It is natural to seek a general expression for the higher derivatives d^ny/dx^n, in terms of partial derivatives of F, and such an expression was given in 1974 by L. Comtet and M. Fiolet. Their formula, however, contains some errors. In this note, we give a corrected expression. We give a derivation using Lagrange inversion and also an elementary proof by induction. We further correct a minor error in Comtet and Fiolet's expression for the number of terms in their formula.
Infinite smooth Lyndon words
Published
• View Publication
• BIB
In a recent paper, Brlek, Jamet and Paquin showed that some extremal infinite smooth words are also infinite Lyndon words. This result raises a natural question: are they the only ones? If no, what do the infinite smooth words that are also Lyndon words look like? In this paper, we give the answer, proving that the only infinite smooth Lyndon words are $m_{\{a<b\}}$, with $a,b$ even, $m_{\{1<b\}}$ and $Δ^{-1}_1(m_{\{1<b\}})$, with $b$ odd, where $m_\A$ is the minimal infinite smooth word with respect to the lexicographic order over a numerical alphabet $\A$ and $Δ$ is the run-length encoding function.
On the Ramsey numbers for paths and generalized Jahangir graphs
For given graphs $G$ and $H,$ the \emph{Ramsey number} $R(G,H)$ is the least natural number $n$ such that for every graph $F$ of order $n$ the following condition holds: either $F$ contains $G$ or the complement of $F$ contains $H.$ In this paper, we determine the Ramsey number of paths versus generalized Jahangir graphs. We also derive the Ramsey number $R(tP_n,H)$, where $H$ is a generalized Jahangir graph $J_{s,m}$ where $s\geq2$ is even, $m\geq3$ and $t\geq1$ is any integer.
Quasiperiodic and Lyndon episturmian words
Published in Theoretical Computer Science 409 (2008) 578-600
• View Publication
• BIB
Recently the second two authors characterized quasiperiodic Sturmian words, proving that a Sturmian word is non-quasiperiodic if and only if it is an infinite Lyndon word. Here we extend this study to episturmian words (a natural generalization of Sturmian words) by describing all the quasiperiods of an episturmian word, which yields a characterization of quasiperiodic episturmian words in terms of their "directive words". Even further, we establish a complete characterization of all episturmian words that are Lyndon words. Our main results show that, unlike the Sturmian case, there is a much wider class of episturmian words that are non-quasiperiodic, besides those that are infinite Lyndon words. Our key tools are morphisms and directive words, in particular "normalized" directive words, which we introduced in an earlier paper. Also of importance is the use of "return words" to characterize quasiperiodic episturmian words, since such a method could be useful in other contexts.
A bijective enumeration of labeled trees with given indegree sequence
Published in Journal of Combinatorial Theory, Series A, 118(1), 115-128, 2011
• View Publication
• BIB
For a labeled tree on the vertex set $\set{1,2,\ldots,n}$, the local direction of each edge $(i\,j)$ is from $i$ to $j$ if $i<j$. For a rooted tree, there is also a natural global direction of edges towards the root. The number of edges pointing to a vertex is called its indegree. Thus the local (resp. global) indegree sequence $λ= 1^{e_1}2^{e_2} \ldots$ of a tree on the vertex set $\set{1,2,\ldots,n}$ is a partition of $n-1$. We construct a bijection from (unrooted) trees to rooted trees such that the local indegree sequence of a (unrooted) tree equals the global indegree sequence of the corresponding rooted tree. Combining with a Prüfer-like code for rooted labeled trees, we obtain a bijective proof of a recent conjecture by Cotterill and also solve two open problems proposed by Du and Yin. We also prove a $q$-multisum binomial coefficient identity which confirms another conjecture of Cotterill in a very special case.
Hecke group algebras as quotients of affine Hecke algebras at level 0
Published in Journal of Combinatorial Theory, Series A 116 (2009) 844-863
• View Publication
• BIB
The Hecke group algebra $HW_0$ of a finite Coxeter group $W_0$, as introduced by the first and last author, is obtained from $W_0$ by gluing appropriately its 0-Hecke algebra and its group algebra. In this paper, we give an equivalent alternative construction in the case when $W_0$ is the classical Weyl group associated to an affine Weyl group $W$. Namely, we prove that, for $q$ not a root of unity, $HW_0$ is the natural quotient of the affine Hecke algebra through its level 0 representation. We further show that the level 0 representation is a calibrated principal series representation for a suitable choice of character, so that the quotient factors (non trivially) through the principal central specialization. This explains in particular the similarities between the representation theory of the classical 0-Hecke algebra and that of the affine Hecke algebra at this specialization.
On cobweb posets most relevant codings
One considers here orderable acyclic digraphs named KoDAGs which represent the outmost general chains of dibicliques denoting thus the outmost general chains of binary relations. Because of this fact KoDAGs start to become an outstanding concept of nowadays investigation. We propose here examples of codings of KoDAGs looked upon as infinite hyper-boxes as well as chains of rectangular hyper-boxes in N^\infty. Neither of KoDAGs codings considered here is a poset isomorphism with Pi = <P, \leq>. Nevertheless every example of coding supplies a new view on possible investigation of KoDAGs properties. The codes proposed here down are by now recognized as most relevant codes for practical purposes including visualization. More than that. Employing quite arbitrary sequences F=\{n_F\}_{n\geq 0} infinitely many new representations of natural numbers called base of F number system representations are introduced. These constitute mixed radix-type numeral systems. F base nonstandard positional numeral systems in which the numerical base varies from position to position have picturesque interpretation due to KoDAGs graphs and their correspondent posets which in turn are endowed on their own with combinatorial interpretation of uniquely assigned to KoDAGs F-nomial coefficients. The base of F number systems are used for KoDAGs coding and are interpreted as chain coordinatization in KoDAGs pictures as well as systems of infinite number of boxes sequences of F-varying containers capacity of subsequent boxes. Needless to say how crucial is this base of F number system for KoDAGs hence consequently for arbitrary chains of binary relations. New F based numeral systems are umbral base of F number systems in a sense to be explained in what follows.
Bounds for the minimum diameter of integral point sets
Published in The Australasian Journal of Combinatorics, Vol. 39, Pages 233-240, 2007
• Search Publication
Geometrical objects with integral sides have attracted mathematicians for ages. For example, the problem to prove or to disprove the existence of a perfect box, that is, a rectangular parallelepiped with all edges, face diagonals and space diagonals of integer lengths, remains open. More generally an integral point set $\mathcal{P}$ is a set of $n$ points in the $m$-dimensional Euclidean space $\mathbb{E}^m$ with pairwise integral distances where the largest occurring distance is called its diameter. From the combinatorial point of view there is a natural interest in the determination of the smallest possible diameter $d(m,n)$ for given parameters $m$ and $n$. We give some new upper bounds for the minimum diameter $d(m,n)$ and some exact values.
A bijection on core partitions and a parabolic quotient of the affine symmetric group
Published
• View Publication
• BIB
Let $\ell,k$ be fixed positive integers. In an earlier work, the first and third authors established a bijection between $\ell$-cores with first part equal to $k$ and $(\ell-1)$-cores with first part less than or equal to $k$. This paper gives several new interpretations of that bijection. The $\ell$-cores index minimal length coset representatives for $\widetilde{S_{\ell}} / S_{\ell}$ where $\widetilde{S_{\ell}}$ denotes the affine symmetric group and $S_{\ell}$ denotes the finite symmetric group. In this setting, the bijection has a beautiful geometric interpretation in terms of the root lattice of type $A_{\ell-1}$. We also show that the bijection has a natural description in terms of another correspondence due to Lapointe and Morse.
The special subgroup of invertible non-commutative rational power series as a metric group
We give an easy proof of Schützenberger's Theorem stating that non-commutative formal power series are rational if and only if they are recognisable. A byproduct of this proof is a natural metric on a subgroup of invertible rational non-commutative power series. We describe a few features of this metric group.
On the Mullineux involution for Ariki-Koike algebras
Published
• View Publication
• BIB
This note is concerned with a natural generalization of the Mullineux involution for Ariki-Koike algebras. Using a result of Fayers together with previous results by the authors, we give an efficient algorithm for computing this generalized Mullineux involution. Our algorithm notably does not involve the determination of paths in affine crystals.
Tropical Hurwitz Numbers
Published
• View Publication
• BIB
Hurwitz numbers count genus g, degree d covers of the projective line with fixed branch locus. This equals the degree of a natural branch map defined on the Hurwitz space. In tropical geometry, algebraic curves are replaced by certain piece-wise linear objects called tropical curves. This paper develops a tropical counterpart of the branch map and shows that its degree recovers classical Hurwitz numbers.
Chemical trees minimizing energy and Hosoya index
Published in J. Math. Chem. 46 (2009), 214-230
• View Publication
• BIB
The energy of a molecular graph is a popular parameter that is defined as the sum of the absolute values of a graph's eigenvalues. It is well known that the energy is related to the matching polynomial and thus also to the Hosoya index via a certain Coulson integral. Trees minimizing the energy under various additional conditions have been determined in the past, e.g., trees with a given diameter or trees with a perfect matching. However, it is quite a natural problem to minimize the energy of trees with bounded maximum degree--clearly, the case of maximum degree 4 (so-called chemical trees) is the most important one. We will show that the trees with given maximum degree that minimize the energy are the same that have been shown previously to minimize the Hosoya index and maximize the Merrifield-Simmons index, thus also proving a conjecture due to Fischermann et al. Finally, we show that the minimal energy grows linearly with the size of the trees, with explicitly computable growth constants that only depend on the maximum degree.
Complexity and cohomology for cut and projection tilings
Published
• View Publication
• BIB
We consider a subclass of tilings, the tilings obtained by cut and projection. Under somewhat standard assumptions, we show that the natural complexity function has polynomial growth. We compute its exponent αin terms of the ranks of certain groups which appear in the construction. We give bounds for α. These computations apply to some well known tilings, such as the octagonal tilings, or tilings associated with billiard sequences. A link is made between the exponent of the complexity, and the fact that the cohomology of the associated tiling space is finitely generated over \Q. We show that such a link cannot be established for more general tilings, and we present a counter-example in dimension one.