arXiv++ Combinatorics

We exploit the standard inner product of Euclidean space to provide a new direction from which one can understand and analyze certain voting methods. Using this perspective along with the action of the symmetric and special orthogonal groups on the vector space of profiles, we extend some natural voting criteria to ballots of arbitrary composition type.

For any coloured operad R, we prove a Faà di Bruno formula for the `connected Green function' in the incidence bialgebra of R. This generalises on one hand the classical Faà di Bruno formula (dual to composition of power series), corresponding to the case where R is the terminal reduced operad, and on the other hand the Faa di Bruno formula for P-trees of Gálvez--Kock--Tonks (P a finitary polynomial endofunctor), which corresponds to the case where R is the free operad on P. Following Gálvez--Kock--Tonks, we work at the objective level of groupoid slices, hence all proofs are `bijective': the formula is established as the homotopy cardinality of an explicit equivalence of groupoids. In fact we establish the formula more generally in a relative situation, for algebras for one polynomial monad internal to another. This covers in particular nonsymmetric operads (for which the terminal reduced case yields the noncommutative Faà di Bruno formula of Brouder--Frabetti--Krattenthaler).

An internal coproduct is described, which is compatible with Hoffman's quasi-shuffle product. Hoffman's quasi-shuffle Hopf algebra, with deconcatenation coproduct, is a comodule-Hopf algebra over the bialgebra thus defined. The relation with J. Ecalle's mould calculus, i.e. mould composition and contracting arborification, is precised.

Combinatorial Hopf algebras of trees exemplify the connections between operads and bialgebras. Painted trees were introduced recently as examples of how graded Hopf operads can bequeath Hopf structures upon compositions of coalgebras. We put these trees in context by exhibiting them as the minimal elements of face posets of certain convex polytopes. The full face posets themselves often possess the structure of graded Hopf algebras (with one-sided unit). We can enumerate faces using the fact that they are structure types of substitutions of combinatorial species. Species considered here include ordered and unordered binary trees and ordered lists (labeled corollas). Some of the polytopes that constitute our main results are well known in other contexts. First we see the classical permutohedra, and then certain generalized permutohedra: specifically the graph associahedra of suspensions of certain simple graphs. As an aside we show that the stellohedra also appear as liftings of generalized permutohedra: graph composihedra for complete graphs. Thus our results give examples of Hopf algebras of tubings and marked tubings of graphs. We also show an alternative associative algebra structure on the graph tubings of star graphs.

We show that for every finite colouring of the natural numbers there exists $a,b >1$ such that the triple $\{a,b,a^b\}$ is monochromatic. We go on to show the partition regularity of a much richer class of patterns involving exponentiation. For example, as a corollary to our main theorem, we show that for every $n \in \mathbb{N}$ and for every finite colouring of the natural numbers, we may find a monochromatic set including the integers $x_1,\ldots,x_n >1$; all products of distinct $x_i$; and all "exponential compositions" of distinct $x_i$ which respect the order $x_1,\ldots,x_n$. In particular, for every finite colouring of the natural numbers one can find a monochromatic quadruple of the form $\{ a,b,ab,a^b \}$, where $a,b>1$.

We show that for any constant $Δ\ge 2$, there exists a graph $G$ with $O(n^{Δ/ 2})$ vertices which contains every $n$-vertex graph with maximum degree $Δ$ as an induced subgraph. For odd $Δ$ this significantly improves the best-known earlier bound of Esperet et al. and is optimal up to a constant factor, as it is known that any such graph must have at least $Ω(n^{Δ/2})$ vertices. Our proof builds on the approach of Alon and Capalbo (SODA 2008) together with several additional ingredients. The construction of $G$ is explicit and is based on an appropriately defined composition of high-girth expander graphs. The proof also provides an efficient deterministic procedure for finding, for any given input graph $H$ on $n$ vertices with maximum degree at most $Δ$, an induced subgraph of $G$ isomorphic to $H$.

An S-restricted composition of a positive integer n is an ordered partition of n where each summand is drawn from a given subset S of positive integers. There are various problems regarding such compositions which have received attention in recent years. This paper is an attempt at finding a closed- form formula for the number of S-restricted compositions of n. To do so, we reduce the problem to finding solutions to corresponding so-called interpreters which are linear homogeneous recurrence relations with constant coefficients. Then, we reduce interpreters to Diophantine equations. Such equations are not in general solvable. Thus, we restrict our attention to those S-restricted composition problems whose interpreters have a small number of coefficients, thereby leading to solvable Diophantine equations. The formalism developed is then used to study the integer sequences related to some well-known cases of the S-restricted composition problem.

Given a filter $Δ$ in the poset of compositions of $n$, we form the filter $Π^{*}_Δ$ in the partition lattice. We determine all the reduced homology groups of the order complex of $Π^{*}_Δ$ as ${\mathfrak S}_{n-1}$-modules in terms of the reduced homology groups of the simplicial complex $Δ$ and in terms of Specht modules of border shapes. We also obtain the homotopy type of this order complex. These results generalize work of Calderbank--Hanlon--Robinson and Wachs on the $d$-divisible partition lattice. Our main theorem applies to a plethora of examples, including filters associated to integer knapsack partitions and filters generated by all partitions having block sizes $a$ or~$b$. We also obtain the reduced homology groups of the filter generated by all partitions having block sizes belonging to the arithmetic progression $a, a + d, \ldots, a + (a-1) \cdot d$, extending work of Browdy.

Gossip monoids form an algebraic model of networks with exclusive, transient connections in which nodes, when they form a connection, exchange all known information. They also arise naturally in pure mathematics, as the monoids generated by the set of all equivalence relations on a given finite set under relational composition. We prove that a number of important decision problems for these monoids (including the membership problem, and hence the problem of deciding whether a given state of knowledge can arise in a network of the kind under consideration) are NP-complete. As well as being of interest in their own right, these results shed light on the apparent difficulty of establishing the cardinalities of the gossip monoids: a problem which has attracted some attention in the last few years.

For an arbitrary finite permutation group $G$, subgroup of the symmetric group $S_\ell$, we determine the permutations involving only members of $G$ as $\ell$-patterns, i.e., avoiding all patterns in the set $S_\ell \setminus G$. The set of all $n$-permutations with this property constitutes again a permutation group. We consequently refine and strengthen the classification of sets of permutations closed under pattern involvement and composition that is due to Atkinson and Beals.

In this article, we define a doubling procedure for the bialgebra of specified Feynman graphs introduced in a previous paper \cite {DMB}. This is the vector space generated by the pairs $(\bar Γ, \bar γ)$ where $\bar Γ$ is a locally $1PI$ specified graph of a perturbation theory $\Cal T$ with $\bar γ\subset \bar Γ$ locally $1PI$ and where $\bar Γ/ \bar γ$ is a specified graph of $\Cal T$. We also define a convolution product on the characters of this new bialgebra with values in an endomorphism algebra, equipped with a commutative product compatible with the composition. We then express in this framework the renormalization as formulated by A. Smirnov \cite [§8.5, 8.6] {Sm}, adapting the approach of A. Connes and D. Kreimer for two renormalization schemes: the minimal renormalization scheme and the Taylor expansion scheme. Finally, we determine the finite parts of Feynman integrals using the BPHZ algorithm after dimensional regularization procedure, by following the approach by P. Etingof \cite{PE} (see also \cite{RM}).

We study part sizes of supercritical locally restricted sequential structures. This extends previous results about locally restricted integer compositions and part sizes in smooth supercritical compositional structures. Applications are given for runs of subcompositions. The problems are formulated as enumerating directed walks in sized infinite digraphs and the proofs depend heavily on earlier results by Bender and Canfield about infinite transfer matrices.

This article analyzes directed lattice paths, when a boundary reflecting or absorbing condition is added to the classical models. The lattice paths are characterized by two time-independent sets of rules (also called steps) which have a privileged direction of increase and are therefore essentially one-dimensional objects. Depending on the spatial coordinate, one of the two sets of rules applies, namely one for altitude 0 and one for altitude bigger than 0. The abscissa y=0 thus acts as a border which either absorbs or reflects steps. The absorption model corresponds to the model analyzed by Banderier and Flajolet ("Analytic combinatorics of directed lattice paths"), while the reflecting model leads to a more complicated situation. We show how the generating functions are then modified: the kernel method strikes again but here it unfortunately does not give a nice product formula. This makes the analysis more challenging, and, in the case of Łukasiewicz walks, we give the asymptotics for the number of excursions, arches and meanders. Limit laws for the number of returns to 0 of excursions are given. We also compute the limit laws of the final altitude of meanders. The full analytic situation is more complicated than the Banderier-Flajolet model (partly because new "critical compositions" appear, forcing us to introduce new key quantities, like the drift at 0), and we quantify to what extent the global drift, and the drift at 0 play a role in the "universal" behavior of such walks.

In this paper, we study concave compositions, an extension of partitions that were considered by Andrews, Rhoades, and Zwegers. They presented several open problems regarding the statistical structure of concave compositions including the distribution of the perimeter and tilt, the number of summands, and the shape of the graph of a typical concave composition. We present solutions to these problems by applying Fristedt's conditioning device on the uniform measure.

A graph $G$ is said to be $1$-perfectly orientable if it has an orientation such that for every vertex $v\in V(G)$, the out-neighborhood of $v$ in $D$ is a clique in $G$. In $1982$, Skrien posed the problem of characterizing the class of $1$-perfectly orientable graphs. This graph class forms a common generalization of the classes of chordal and circular arc graphs; however, while polynomially recognizable via a reduction to $2$-SAT, no structural characterization of this intriguing class of graphs is known. Based on a reduction of the study of $1$-perfectly orientable graphs to the biconnected case, we characterize, both in terms of forbidden induced minors and in terms of composition theorems, the classes of $1$-perfectly orientable $K_4$-minor-free graphs and of $1$-perfectly orientable outerplanar graphs. As part of our approach, we introduce a class of graphs defined similarly as the class of $2$-trees and relate the classes of graphs under consideration to two other graph classes closed under induced minors studied in the literature: cyclically orientable graphs and graphs of separability at most~$2$.

We introduce a new class of lattices, the modernistic lattices, and their duals, the comodernistic lattices. We show that every modernistic or comodernistic lattice has shellable order complex. We go on to exhibit a large number of examples of (co)modernistic lattices. We show comodernism for two main families of lattices that were not previously known to be shellable: the order congruence lattices of finite posets, and a weighted generalization of the k-equal partition lattices. We also exhibit many examples of (co)modernistic lattices that were already known to be shellable. To start with, the definition of modernistic is a common weakening of the definitions of semimodular and supersolvable. We thus obtain a unified proof that lattice in these classes are shellable. Subgroup lattices of solvable groups form another family of comodernistic lattices that were already proved to be shellable. We show not only that subgroup lattices of solvable groups are comodernistic, but that solvability of a group is equivalent to the comodernistic property on its subgroup lattice. Indeed, the definition of comodernistic exactly requires on every interval a lattice-theoretic analogue of the composition series in a solvable group. Thus, the relation between comodernistic lattices and solvable groups resembles, in several respects, that between supersolvable lattices and supersolvable groups.

We construct geometric realizations for the infimax family of substitutions by generalizing the Rauzy-Canterini-Siegel method for a single substitution to the S-adic case. The composition of each countably infinite subcollection of substitutions from the family has an asymptotic fixed sequence whose shift orbit closure is an infimax minimal set $Δ^+$. The subcollection of substitutions also generates an infinite Bratteli-Vershik diagram with prefix-suffix labeled edges. Paths in the diagram give the Dumont-Thomas expansion of sequences in $Δ^+$ which in turn gives a projection onto the asymptotic stable direction of the infinite product of the Abelianization matrices. The projections of all sequences from $Δ^+$ is the generalized Rauzy fractal which has subpieces corresponding to the images of symbolic cylinder sets. The intervals containing these subpieces are shown to be disjoint except at endpoints, and thus the induced map derived from the symbolic shift translates them. Therefore the process yields an Interval Translation Map, and the Rauzy fractal is proved to be its attractor.

We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes. This class of complexes, called forbidden composition complexes, also forms a Hopf monoid, thus demonstrating a link between Hopf algebras, Ehrhart theory, and commutative algebra. We also study various specializations of quasisymmetric functions.

The chromatic functor of a simple graph is a functorization of the chromatic polynomial. M. Yoshinaga showed in \cite{Yoshinaga2015} that two finite graphs have isomorphic chromatic functors if and only if they have the same chromatic polynomial. The key ingredient in the proof is the use of stable partitions of graphs. The latter is shown to be closely related to chromatic functors. In this note, we further investigate some interesting properties of chromatic functors associated to simple graphs using stable partitions. Our first result is the determination of the group of natural automorphisms of the chromatic functor, which is in general a larger group than the automorphism group of the graph. The second result is that the composition of the chromatic functor associated to a finite graph restricted to the category $\mathrm{FI}$ of finite sets and injections with the free functor into the category of complex vector spaces yields a consistent sequence of representations of symmetric groups which is representation stable in the sense of Church-Farb \cite{Church2013}.

The algebraic properties of formal power series, whose coefficients show factorial growth and admit a certain well-behaved asymptotic expansion, are discussed. It is shown that these series form a subring of $\mathbb{R}[[x]]$. This subring is also closed under composition and inversion of power series. An 'asymptotic derivation' is defined which maps a power series to the asymptotic expansion of its coefficients. Product and chain rules for this derivation are deduced. With these rules asymptotic expansions of the coefficients of implicitly defined power series can be obtained. The full asymptotic expansions of the number of connected chord diagrams and the number of simple permutations are given as examples.