scholarly journals Cyclic inclusion-exclusion and the kernel of P -partitions

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Valentin Féray
Keyword(s):  
Directed Graph ◽  
Symmetric Function ◽  
Bipartite Graphs ◽  
Linear Map ◽  
Generating Series ◽  
International Audience ◽  
Decreasing Functions ◽  
Acyclic Directed Graph

International audience Following the lead of Stanley and Gessel, we consider a linear map which associates to an acyclic directed graph (or a poset) a quasi-symmetric function. The latter is naturally defined as multivariate generating series of non-decreasing functions on the graph (or of P -partitions of the poset).We describe the kernel of this linear map, using a simple combinatorial operation that we call cyclic inclusion- exclusion. Our result also holds for the natural non-commutative analog and for the commutative and non-commutative restrictions to bipartite graphs.

scholarly journals Coherent fans in the space of flows in framed graphs

2012 ◽  
Vol DMTCS Proceedings vol. AR,... (Proceedings) ◽  
Author(s):  
Vladimir I. Danilov ◽  
Alexander V. Karzanov ◽  
Gleb A. Koshevoy
Keyword(s):  
Simplicial Complex ◽  
Binary Relation ◽  
Directed Graph ◽  
The Other ◽  
Cluster Algebras ◽  
Linear Orders ◽  
International Audience ◽  
Acyclic Directed Graph ◽  
Extreme Rays ◽  
Space Of Flows

International audience Let $G=(V,E)$ be a finite acyclic directed graph. Being motivated by a study of certain aspects of cluster algebras, we are interested in a class of triangulations of the cone of non-negative flows in $G, \mathcal F_+(G)$. To construct a triangulation, we fix a raming at each inner vertex $v$ of $G$, which consists of two linear orders: one on the set of incoming edges, and the other on the set of outgoing edges of $v$. A digraph $G$ endowed with a framing at each inner vertex is called $framed$. Given a framing on $G$, we define a reflexive and symmetric binary relation on the set of extreme rays of $\mathcal F_+ (G)$. We prove that that the complex of cliques formed by this binary relation is a pure simplicial complex, and that the cones spanned by cliques constitute a unimodular simplicial regular fan $Σ (G)$ covering the entire $\mathcal F_+(G)$. Soit $G=(V,E)$ un graphe orientè, fini et acyclique. Nous nous intéressons, en lien avec l’étude de certains aspects des algèbres amassées, à une classe de triangulations du cône des flots positifs de $G, \mathcal F_+(G)$. Pour construire une triangulation, nous ajoutons une structure en chaque sommet interne $v$ de $G$, constituée de deux ordres totaux : l'un sur l'ensemble des arcs entrants, l'autre sur l'ensemble des arcs sortants de $v$. On dit alors que $G$ est structurè. On définit ensuite une relation binaire réflexive et symétrique sur l'ensemble des rayons extrêmes de $\mathcal F_+ (G)$. Nous démontrons que le complexe des cliques formè par cette relation binaire est un complexe simplicial pur, et que le cône engendré par les cliques forme un éventail régulier simplicial unimodulaire $Σ (G)$ qui couvre complètement $\mathcal F_+(G)$.

scholarly journals Coloring Rings in Species

2014 ◽  
Vol DMTCS Proceedings vol. AT,... (Proceedings) ◽  
Author(s):  
Jacob White
Keyword(s):  
Directed Graph ◽  
Symmetric Function ◽  
Chromatic Polynomial ◽  
Connected Components ◽  
Expansion Formula ◽  
Strongly Connected Components ◽  
Set Partitions ◽  
Strongly Connected ◽  
International Audience ◽  
Chromatic Symmetric Function

International audience We present a generalization of the chromatic polynomial, and chromatic symmetric function, arising in the study of combinatorial species. These invariants are defined for modules over lattice rings in species. The primary examples are graphs and set partitions. For these new invariants, we present analogues of results regarding stable partitions, the bond lattice, the deletion-contraction recurrence, and the subset expansion formula. We also present two detailed examples, one related to enumerating subgraphs by their blocks, and a second example related to enumerating subgraphs of a directed graph by their strongly connected components.

scholarly journals How to get the weak order out of a digraph ?

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Francois Viard
Keyword(s):  
Wreath Product ◽  
Symmetric Function ◽  
Coxeter Groups ◽  
Symmetric Functions ◽  
Weak Order ◽  
Möbius Function ◽  
Mobius Function ◽  
Acyclic Digraph ◽  
International Audience

International audience We construct a poset from a simple acyclic digraph together with a valuation on its vertices, and we compute the values of its Möbius function. We show that the weak order on Coxeter groups $A$<sub>$n-1$</sub>, $B$<sub>$n$</sub>, $Ã$<sub>$n$</sub>, and the flag weak order on the wreath product &#8484;<sub>$r$</sub> &#8768; $S$<sub>$n$</sub> introduced by Adin, Brenti and Roichman (2012), are special instances of our construction. We conclude by briefly explaining how to use our work to define quasi-symmetric functions, with a special emphasis on the $A$<sub>$n-1$</sub> case, in which case we obtain the classical Stanley symmetric function. On construit une famille d’ensembles ordonnés à partir d’un graphe orienté, simple et acyclique munit d’une valuation sur ses sommets, puis on calcule les valeurs de leur fonction de Möbius respective. On montre que l’ordre faible sur les groupes de Coxeter $A$<sub>$n-1$</sub>, $B$<sub>$n$</sub>, $Ã$<sub>$n$</sub>, ainsi qu’une variante de l’ordre faible sur les produits en couronne &#8484;<sub>$r$</sub> &#8768; $S$<sub>$n$</sub> introduit par Adin, Brenti et Roichman (2012), sont des cas particuliers de cette construction. On conclura en expliquant brièvement comment ce travail peut-être utilisé pour définir des fonction quasi-symétriques, en insistant sur l’exemple de l’ordre faible sur $A$<sub>$n-1$</sub> où l’on obtient les séries de Stanley classiques.

Inequalities for Generalized Symmetric Functions

1969 ◽  
Vol 12 (5) ◽  
pp. 615-623 ◽  
Author(s):  
K.V. Menon
Keyword(s):  
Symmetric Function ◽  
Symmetric Functions ◽  
Elementary Symmetric Function ◽  
Generating Series ◽  
Image Position ◽  
Complete Symmetric Function

The generating series for the elementary symmetric function Er, the complete symmetric function Hr, are defined byrespectively.

scholarly journals The structure of intrinsic complexity of learning

1997 ◽  
Vol 62 (4) ◽  
pp. 1187-1201 ◽  
Author(s):  
Sanjay Jain ◽  
Arun Sharma
Keyword(s):  
Directed Graph ◽  
Learning Algorithm ◽  
Recursion Theory ◽  
Language Identification ◽  
Learning Problems ◽  
Pattern Languages ◽  
Language Classes ◽  
Resource Requirements ◽  
Intrinsic Complexity ◽  
Acyclic Directed Graph

AbstractLimiting identification of r.e. indexes for r.e. languages (from a presentation of elements of the language) and limiting identification of programs for computable functions (from a graph of the function) have served as models for investigating the boundaries of learnability. Recently, a new approach to the study of “intrinsic” complexity of identification in the limit has been proposed. This approach, instead of dealing with the resource requirements of the learning algorithm, uses the notion of reducibility from recursion theory to compare and to capture the intuitive difficulty of learning various classes of concepts. Freivalds, Kinber, and Smith have studied this approach for function identification and Jain and Sharma have studied it for language identification.The present paper explores the structure of these reducibilities in the context of language identification. It is shown that there is an infinite hierarchy of language classes that represent learning problems of increasing difficulty. It is also shown that the language classes in this hierarchy are incomparable, under the reductions introduced, to the collection of pattern languages.Richness of the structure of intrinsic complexity is demonstrated by proving that any finite, acyclic, directed graph can be embedded in the reducibility structure. However, it is also established that this structure is not dense. The question of embedding any infinite, acyclic, directed graph is open.

scholarly journals Lagrange's Theorem for Hopf Monoids in Species

2011 ◽  
Vol DMTCS Proceedings vol. AO,... (Proceedings) ◽  
Author(s):  
Marcelo Aguiar ◽  
Aaron Lauve
Keyword(s):  
Necessary Conditions ◽  
Generating Series ◽  
Nous Trouvons ◽  
International Audience ◽  
Binomial Transform ◽  
Hopf Monoid ◽  
Lagrange's Theorem

International audience We prove Lagrange's theorem for Hopf monoids in the category of connected species. We deduce necessary conditions for a given subspecies $\textrm{k}$ of a Hopf monoid $\textrm{h}$ to be a Hopf submonoid: each of the generating series of $\textrm{k}$ must divide the corresponding generating series of $\textrm{k}$ in ℕ〚x〛. Among other corollaries we obtain necessary inequalities for a sequence of nonnegative integers to be the sequence of dimensions of a Hopf monoid. In the set-theoretic case the inequalities are linear and demand the non negativity of the binomial transform of the sequence. Nous prouvons le théorème de Lagrange pour les monoïdes de Hopf dans la catégorie des espèces connexes. Nous déduisons des conditions nécessaires pour qu'une sous-espèce $\textrm{k}$ d'un monoïde de Hopf $\textrm{h}$ soit un sous-monoïde de Hopf: chacune des séries génératrices de $\textrm{k}$ doit diviser la série génératrice correspondante de $\textrm{h}$ dans ℕ〚x〛. Parmi d'autres corollaires nous trouvons des inégalités nécessaires pour qu'une suite d'entiers soit la suite des dimensions d'un monoïde de Hopf. Dans le cas ensembliste les inégalités sont linéaires et exigent que la transformée binomiale de la suite soit non négative.

scholarly journals Generalized Tesler matrices, virtual Hilbert series, and Macdonald polynomial operators

2015 ◽  
Vol DMTCS Proceedings, 27th... (Proceedings) ◽  
Author(s):  
Andrew Timothy Wilson
Keyword(s):  
Symmetric Function ◽  
Hilbert Series ◽  
Inner Product ◽  
Binomial Coefficients ◽  
Diagonal Harmonics ◽  
Ordered Set Partitions ◽  
International Audience ◽  
Tesler Matrices ◽  
Matrix Expression ◽  
Polynomial Operators

International audience We generalize previous definitions of Tesler matrices to allow negative matrix entries and non-positive hook sums. Our main result is an algebraic interpretation of a certain weighted sum over these matrices. Our interpretation uses <i>virtual Hilbert series</i>, a new class of symmetric function specializations which are defined by their values on (modified) Macdonald polynomials. As a result of this interpretation, we obtain a Tesler matrix expression for the Hall inner product $\langle \Delta_f e_n, p_{1^{n}}\rangle$, where $\Delta_f$ is a symmetric function operator from the theory of diagonal harmonics. We use our Tesler matrix expression, along with various facts about Tesler matrices, to provide simple formulas for $\langle \Delta_{e_1} e_n, p_{1^{n}}\rangle$ and $\langle \Delta_{e_k} e_n, p_{1^{n}}\rangle \mid_{t=0}$ involving $q; t$-binomial coefficients and ordered set partitions, respectively. Nous généralisons les définitions précédentes de matrices Tesler pour permettre les entrées de la matrice négatives et des montants crochet non-positifs. Notre principal résultat est une interprétation algébrique d’une certaine somme pondérée sur ces matrices. Notre interprétation utilise <i>série de Hilbert virtuel</i>, une nouvelle classe de spécialisations fonctionnelles symétriques qui sont définies par leurs valeurs sur les polynômes de Macdonald (modifiées). À la suite de cette interprétation, on obtient une expression de la matrice Tesler pour la salle intérieure produit $\langle \Delta_f e_n, p_{1^{n}}\rangle$, où $\Delta_f$ est un opérateur de fonction symétrique de la théorie harmonique de diagonale. Nous utilisons notre expression de la matrice Tesler, ainsi que divers faits sur des matrices Tesler, de fournir des formules simples pour $\langle \Delta_{e_1} e_n, p_{1^{n}}\rangle$ et $\langle \Delta_{e_k} e_n, p_{1^{n}}\rangle \mid_{t=0}$ impliquant $q; t$-coefficients binomial et ensemble ordonné partitions, respectivement.

scholarly journals Cumulants of Jack symmetric functions and b-conjecture (extended abstract)

2020 ◽  
Vol DMTCS Proceedings, 28th... ◽  
Author(s):  
Maciej Dolega ◽  
Valentin Féray
Keyword(s):  
Nonnegative Integer ◽  
Symmetric Functions ◽  
Rational Functions ◽  
Independent Interest ◽  
Jack Polynomials ◽  
Factorization Property ◽  
Integer Coefficients ◽  
Continuous Deformation ◽  
Generating Series ◽  
International Audience

International audience Goulden and Jackson (1996) introduced, using Jack symmetric functions, some multivariate generating series ψ(x, y, z; t, 1 + β) that might be interpreted as a continuous deformation of the rooted hypermap generating series. They made the following conjecture: coefficients of ψ(x, y, z; t, 1+β) are polynomials in β with nonnegative integer coefficients. We prove partially this conjecture, nowadays called b-conjecture, by showing that coefficients of ψ(x, y, z; t, 1 + β) are polynomials in β with rational coefficients. Until now, it was only known that they are rational functions of β. A key step of the proof is a strong factorization property of Jack polynomials when α → 0 that may be of independent interest.

scholarly journals The number of Euler tours of a random $d$-in/$d$-out graph

2010 ◽  
Vol DMTCS Proceedings vol. AM,... (Proceedings) ◽  
Author(s):  
Páidí Creed ◽  
Mary Cryan
Keyword(s):  
Asymptotic Distribution ◽  
Directed Graph ◽  
Polynomial Time ◽  
Simple Approach ◽  
Uniform Sampling ◽  
Concentration Result ◽  
International Audience ◽  
De Bruijn ◽  
Euler Tours

International audience In this paper we obtain the expectation and variance of the number of Euler tours of a random $d$-in/$d$-out directed graph, for $d \geq 2$. We use this to obtain the asymptotic distribution and prove a concentration result. We are then able to show that a very simple approach for uniform sampling or approximately counting Euler tours yields algorithms running in expected polynomial time for almost every $d$-in/$d$-out graph. We make use of the BEST theorem of de Bruijn, van Aardenne-Ehrenfest, Smith and Tutte, which shows that the number of Euler tours of a $d$-in/$d$-out graph is the product of the number of arborescences and the term $[(d-1)!]^n/n$. Therefore most of our effort is towards estimating the asymptotic distribution of the number of arborescences of a random $d$-in/$d$-out graph.

Sign in / Sign up

Export Citation Format

Share Document