arXiv++ Combinatorics

Every Boolean function can be uniquely represented as a multilinear polynomial. The entropy and the total influence are two ways to measure the concentration of its Fourier coefficients, namely the monomial coefficients in this representation: the entropy roughly measures their spread, while the total influence measures their average level. The Fourier Entropy/Influence conjecture of Friedgut and Kalai from 1996 states that the entropy to influence ratio is bounded by a universal constant $C$. Using lexicographic Boolean functions, we present three explicit asymptotic constructions that improve upon the previously best known lower bound $C>6.278944$ by O'Donnell and Tan, obtained via recursive composition. The first uses their construction with the lexicographic function $\ell\left\langle 2/3\right\rangle $ of measure $2/3$ to demonstrate that $C\ge4+3\log_{4}3>6.377444$. The second generalizes their construction to biased functions and obtains $C>6.413846$ using $\ell\left\langle Φ\right\rangle $, where $Φ$ is the inverse golden ratio. The third, independent, construction gives $C>6.454784$, even for monotone functions. Beyond modest improvements to the value of $C$, our constructions shed some new light on the properties sought in potential counterexamples to the conjecture. Additionally, we prove a Lipschitz-type condition on the total influence and spectral entropy, which may be of independent interest.

We study the mathematical structure underlying the concept of locality which lies at the heart of classical and quantum field theory, and develop a machinery used to preserve locality during the renormalisation procedure. Viewing renormalisation in the framework of Connes and Kreimer as the algebraic Birkhoff factorisation of characters on a Hopf algebra with values in a Rota-Baxter algebra, we build locality variants of these algebraic structures, leading to a locality variant of the algebraic Birkhoff factorisation. This provides an algebraic formulation of the conservation of locality while renormalising. As an application in the context of the Euler-Maclaurin formula on cones, we renormalise the exponential generating function which sums over the lattice points in convex cones. For a suitable multivariate regularisation, renormalisation from the algebraic Birkhoff factorisation amounts to composition by a projection onto holomorphic multivariate functions.

In this paper we study different restrictions imposed over the set of permutations of size $n$, $S_n$, and for specific classes of restrictions study the cycle structure of corresponding permutations. More specifically, we prove that for any fixed positive integer $k$, the number of $k$-cycles of a uniformly chosen permutation $π\in S_n$ with the restriction "$π(i) \geq i-1$" for $i \in \{2, \ldots, n\}$ has a Normal asymptotic distribution. We further prove that this result translates into CLTs regarding multiplicities of fixed-size parts of a uniformly selected composition of $n$.

We find the number of compositions over finite abelian groups under two types of restrictions: (i) each part belongs to a given subset and (ii) small runs of consecutive parts must have given properties. Waring's problem over finite fields can be converted to type~(i) compositions, whereas Carlitz and locally Mullen compositions can be formulated as type~(ii) compositions. We use the multisection formula to translate the problem from integers to group elements, the transfer matrix method to do exact counting, and finally the Perron-Frobenius theorem to derive asymptotics. We also exhibit bijections involving certain restricted classes of compositions.

We introduce new refinements of the Bell, factorial, and unsigned Stirling numbers of the first and second kind that unite the derangement, involution, associated factorial, associated Bell, incomplete Stirling, restricted factorial, restricted Bell, and $r$-derangement numbers (and probably more!). By combining methods from analytic combinatorics, umbral calculus, and probability theory, we derive several recurrence relations and closed form expressions for these numbers. By specializing our results to the classical case, we recover explicit formulae for the Bell and Stirling numbers as sums over compositions.

Standard set-valued Young tableaux are a generalization of standard Young tableaux where cells can contain unordered sets of integers, with the added condition that every integer at position $(i,j)$ must be smaller that every integer at both $(i+1,j)$ and $(i,j+1)$. In this paper, we explore properties of standard set-valued Young tableaux with three rows and a fixed number of integers in every cell of each row (referred to as set-valued tableaux with row-constant density). Our primary focus is on standard set-valued Young tableaux with $1$ integer in each first-row cell, $k-1$ integers in each second-row cell, and $1$ integer in each third-row cell. For rectangular shapes $λ=n^3$, such tableaux are placed in bijection with closed $k$-ary product-coproduct prographs: directed plane graphs that correspond to finite compositions involving a $k$-ary product operator and a $k$-ary coproduct operator. That bijection is extended to three-row set-valued Young tableaux of non-rectangular and skew shape, and it is shown that a set-valued analogue of the Schützenberger involution on tableaux corresponds to $180$-degree rotation of the associated prographs. As a set-valued analogue of the hook-length formula is currently lacking, we also present direct enumerations of three-row standard set-valued Young tableaux for a variety of row-constant densities and a small number of columns. We then argue why the numbers of tableaux with the row-constant density $(1,k-1,1)$ should be interpreted as a one-parameter generalization of the three-dimensional Catalan numbers that mirrors the generalization of the (two-dimensional) Catalan numbers provided by the $k$-Catalan numbers.

In this paper, we analyze the toggle group on the set of antichains of a poset. Toggle groups, generated by simple involutions, were first introduced by Cameron and Fon-Der-Flaass for order ideals of posets. Recently Striker has motivated the study of toggle groups on general families of subsets, including antichains. This paper expands on this work by examining the relationship between the toggle groups of antichains and order ideals, constructing an explicit isomorphism between the two groups. We also focus on the rowmotion action that has been well-studied in dynamical algebraic combinatorics, describing it as the composition of antichain toggles. We also describe a piecewise-linear analogue of toggling to Stanley's chain polytope. We examine the connections with the piecewise-linear toggling Einstein and Propp introduced for order polytopes and prove that almost all of our results for antichain toggles extend to the piecewise-linear setting.

Frame difference families, which can be obtained via a careful use of cyclotomic conditions attached to strong difference families, play an important role in direct constructions for resolvable balanced incomplete block designs. We establish asymptotic existences for several classes of frame difference families. As corollaries new infinite families of 1-rotational $(pq+1,p+1,1)$-RBIBDs over $\mathbb{F}_{p}^+ \times \mathbb{F}_{q}^+$ are derived, and the existence of $(125q+1,6,1)$-RBIBDs is discussed. We construct $(v,8,1)$-RBIBDs for $v\in\{624,1576,2976,5720,5776,10200,14176,24480\}$, whose existence were previously in doubt. As applications, we establish asymptotic existences for an infinite family of optimal constant composition codes and an infinite family of strictly optimal frequency hopping sequences.

In this article we study the packed words Hopf algebra WMat introduced by Duchamp, Hoang-Nghia et Tanasa. We start by explaining that WMat is not cofree, giving its antipode and describing its graded dual. We consider then a Hopf sub-algebra of permutations called $\mathfrak{S}\mathcal{H}$. Its graded dual $\mathfrak{S}\mathcal{H}^\circledast$ has a quadri-algebra structure, so it has a double dendriform algebra structure too. Thereafter, we introduce ISPW, a Hopf algebra of increasing strict packed words. It is graded, connected and cocommutative so is isomorphic to the enveloping algebra of its primitive elements. We describe some families of primitive elements. We prove that ISPW and non commutative symmetric functions are isomorphic. We define then an extended compositions Hopf algebra $\mathcal{C}_e$. It is not cocommutative but its primitive elements and those from ISPW are linked. We give an interpretation of $\mathcal{C}_e$ in terms of a semi-direct coproduct Hopf algebra. By using this, we can define two actions groups. We finish by giving an explicit isomorphism between ISPW$^\circledast$ and QSym and another one between ISPW and NSym.

The symmetric inverse monoid, SIM(n), is the set of all partial one-to-one mappings from the set {1, 2, ... , n} to itself under the operation of composition. Earlier research on the symmetric inverse monoid delineated the process for determining whether an element of SIM(n) has a kth root. The problem of enumerating kth roots of a given element of SIM(n) has since been posed, which is solved in this work. In order to find the number of kth roots of an element, all that is needed is to know the cycle and path structure of the element. Conveniently, the cycle and cycle-free components may be considered separately in calculating the number of kth roots. Since the enumeration problem has been completed for the symmetric group, this paper only focuses on the cycle-free elements of SIM(n). The formulae derived for cycle-free elements of SIM(n) here utilize integer partitions, similar to their use in the expressions given for the number of kth roots of permutations.

A $d$-ary quasigroup of order $n$ is a $d$-ary operation over a set of cardinality $n$ such that the Cayley table of the operation is a $d$-dimensional latin hypercube of the same order. Given a binary quasigroup $G$, the $d$-iterated quasigroup $G^{\left[d\right]}$ is a $d$-ary quasigroup that is a $d$-time composition of $G$ with itself. A $k$-multiplex (a $k$-plex) $K$ in a $d$-dimensional latin hypercube $Q$ of order $n$ or in the corresponding $d$-ary quasigroup is a multiset (a set) of $kn$ entries such that each hyperplane and each symbol of $Q$ is covered by exactly $k$ elements of $K$. A transversal is a 1-plex. In this paper we prove that there exists a constant $c(G,k)$ such that if a $d$-iterated quasigroup $G$ of order $n$ has a $k$-multiplex then for large $d$ the number of its $k$-multiplexes is asymptotically equal to $c(G,k) \left(\frac{(kn)!}{k!^n}\right)^{d-1}$. As a corollary we obtain that if the number of transversals in the Cayley table of a $d$-iterated quasigroup $G$ of order $n$ is nonzero then asymptotically it is $c(G,1) n!^{d-1}$. In addition, we provide limit constants and recurrence formulas for the numbers of transversals in two iterated quasigroups of order 5, characterize a typical $k$-multiplex and estimate numbers of partial $k$-multiplexes and transversals in $d$-iterated quasigroups.

It is demonstrated that the magic three-qubit Veldkamp line occurs naturally within the Veldkamp space of combinatorial Grassmannian of type $G_2(7)$, $\mathcal{V}(G_2(7))$. The lines of the ambient symplectic polar space are those lines of $\mathcal{V}(G_2(7))$ whose cores feature an odd number of points of $G_2(7)$. After introducing basic properties of three different types of points and six distinct types of lines of $\mathcal{V}(G_2(7))$, we explicitly show the combinatorial Grassmannian composition of the magic Veldkamp line; we first give representatives of points and lines of its core generalized quadrangle GQ$(2,2)$, and then additional points and lines of a specific elliptic quadric $\mathcal{Q}^{-}$(5,2), a hyperbolic quadric $\mathcal{Q}^{+}$(5,2) and a quadratic cone $\widehat{\mathcal{Q}}$(4,2) that are centered on the GQ$(2,2)$. In particular, each point of $\mathcal{Q}^{+}$(5,2) is represented by a Pasch configuration and its complementary line, the (Schläfli) double-six of points in $\mathcal{Q}^{-}$(5,2) comprise six Cayley-Salmon configurations and six Desargues configurations with their complementary points, and the remaining Cayley-Salmon configuration stands for the vertex of $\widehat{\mathcal{Q}}$(4,2).

A graph composition is a partition of the vertex set such that each member of the partition induces a connected sub- graph, and the composition number of a graph is the number of possible graph compositions. A partition of a set S of consecutive labelled vertices is said to have a minimax vertex v in S if the label of v is the smallest label in the set of all maximum labels over all members of the partition. This paper exhibits a recursive formula for the composition number of a certain class of graphs and estab- lishes a connection between the composition numbers of this class of graphs and that of the minimax of partitions of a labelled set (the minimum label of the set of all maximum labels over every member of the partition).

In this paper, we construct the weak version of peak quasisymmetric functions inside the Hopf algebra of weak composition quasisymmetric functions (WCQSym) defined by Guo, Thibon and Yu. Weak peak quasisymmetric functions (WPQSym) are studied in several aspects. First we find a natural basis of WPQSym lifting Stembridge's peak functions. Then we confirm that WPQSym is a Hopf subalgebra of WCQSym by giving explicit multiplication, comultiplication and antipode formulas. By extending Stembridge's descent-to-peak maps, we also show that WPQSym is a Hopf quotient algebra of WCQSym. On the other hand, we prove that WPQSym embeds as a Rota-Baxter subalgebra of WCQSym, thus of the free commutative Rota-Baxter algebra of weight 1 on one generator. Moreover, WPQSym can also be a Rota-Baxter quotient algebra of WCQSym.

This paper introduces an inductively defined tree notation for all the faces of polytopes arising from a simplex by truncations. This notation allows us to view inclusion of faces as the process of contracting tree edges. Our notation instantiates to the well-known notations for the faces of associahedra and permutohedra. Various authors have independently introduced combinatorial tools for describing such polytopes. We build on the particular approach developed by Dosen and Petric, who used the formalism of hypergraphs to describe the interval of polytopes from the simplex to the permutohedron. This interval was further stretched by Petric to allow truncations of faces that are themselves obtained by truncations, and iteratively so. Our notation applies to all these polytopes. We illustrate this by showing that it instantiates to a notation for the faces of the permutohedron-based associahedra, that consists of parenthesised words with holes. Dosen and Petric have exhibited some families of hypergraph polytopes (associahedra, permutohedra, and hemiassociahedra) describing the coherences, and the coherences between coherences etc., arising by weakening sequential and parallel associativity of operadic composition. We complement their work with a criterion allowing us to recover the information whether edges of these "operadic polytopes" come from sequential, or from parallel associativity. We also give alternative proofs for some of the original results of Dosen and Petric.

In this paper we investigate the decidability and complexity of problems related to braid composition. While all known problems for a class of braids with three strands, $B_3$, have polynomial time solutions we prove that a very natural question for braid composition, the membership problem, is NP-complete for braids with only three strands. The membership problem is decidable in NP for $B_3$, but it becomes harder for a class of braids with more strands. In particular we show that fundamental problems about braid compositions are undecidable for braids with at least five strands, but decidability of these problems for $B_4$ remains open. Finally we show that the freeness problem for semigroups of braids from $B_3$ is also decidable in NP. The paper introduces a few challenging algorithmic problems about topological braids opening new connections between braid groups, combinatorics on words, complexity theory and provides solutions for some of these problems by application of several techniques from automata theory, matrix semigroups and algorithms.

For $a,b\in\mathbb{N}_0$, we consider $(an+b)$-color compositions of a positive integer $ν$ for which each part of size $n$ admits $an+b$ colors. We study these compositions from the enumerative point of view and give a formula for the number of $(an+b)$-color compositions of $ν$ with $k$ parts. Our formula is obtained in two different ways: 1) by means of algebraic properties of partial Bell polynomials, and 2) through a bijection to a certain family of weak compositions that we call domino compositions. We also discuss two cases when $b$ is negative and give corresponding combinatorial interpretations.

For a nonnegative symmetric weakly irreducible tensor, its spectral radius is an eigenvalue corresponding to a unique positive eigenvector up to a scalar called the Perron vector. But including the Perron vector, there may have more than one eigenvector corresponding to the spectral radius. The projective eigenvariety associated with the spectral radius is the set of the eigenvectors corresponding to the spectral radius considered in the complex projective space. In this paper we proved that such projective eigenvariety admits a module structure, which is determined by the support of the tensor and can be characterized explicitly by solving the Smith normal form of the incidence matrix of the tensor. We introduced two parameters: the stabilizing index and the stabilizing dimension of the tensor, where the former is exactly the cardinality of the projective eigenvariety and the latter is the composition length of the projective eigenvariety as a module. We give some upper bounds for the two parameters, and characterize the case that there is only one eigenvector of the tensor corresponding to the spectral radius, i.e. the Perron vector. By applying the above results to the adjacency tensor of a connected uniform hypergraph, we give some upper bounds for the two parameters in terms of the structural parameters of the hypergraph such as path cover number, matching number and the maximum length of paths.

We consider a programming language based on the lamplighter group that uses only composition and iteration as control structures. We derive generating functions and counting formulas for this language and special subsets of it, establishing lower and upper bounds on the growth rate of semantically distinct programs. Finally, we show how to sample random programs and analyze the distribution of runtimes induced by such sampling.

In this paper, we study $F_{n}(x,k)$, the number of binary strings of length $n$ containing $x$ zeros and a longest subword of $k$ zeros. A recurrence relation for $F_{n}(x,k)$ is derived. We expressed few known numbers like Fibonacci, triangular, number of binary strings of length $n$ without $r$-runs of ones and number of compositions of $n+1$ with largest summand $k+1$ in terms of $F_{n}(x,k).$ Similar results and applications were obtained for F$_{n}(x,k),$ the number of all palindromic binary strings of length $n$ containing $x$ zeros and longest $k$-runs of zeros.