arXiv++ Combinatorics

We study the values of the Möbius function $μ$ of intervals in the containment poset of permutations. We construct a sequence of permutations $π_n$ of size $2n-2$ for which $μ(1,π_n)$ is given by a polynomial in $n$ of degree 7. This construction provides the fastest known growth of $|μ(1,π)|$ in terms of $|π|$, improving a previous quadratic bound by Smith. Our approach is based on a formula expressing the Möbius function of an arbitrary permutation interval $[α,β]$ in terms of the number of embeddings of the elements of the interval into $β$.

Let $S=\{x_1,x_2,\ldots,x_n\}$ be a finite set of distinct positive integers. Throughout this article we assume that the set $S$ is GCD closed. The LCM matrix $[S]$ of the set $S$ is defined to be the $n\times n$ matrix with $\mathrm{lcm}(x_i,x_j)$ as its $ij$ element. The famous Bourque-Ligh conjecture used to state that the LCM matrix of a GCD closed set $S$ is always invertible, but currently it is a well-known fact that any nontrivial LCM matrix is indefinite and under the right circumstances it can be even singular (even if the set $S$ is assumed to be GCD closed). However, not much more is known about the inertia of LCM matrices in general. The ultimate goal of this article is to improve this situation. Assuming that $S$ is a meet closed set we define an entirely new lattice-theoretic concept by saying that an element $x_i\in S$ generates a double-chain set in $S$ if the set $\mathrm{meetcl}(C_S(x_i))\setminus C_S(x_i)$ can be expressed as a union of two disjoint chains (here the set $C_S(x_i)$ consists of all the elements of the set $S$ that are covered by $x_i$ and $\mathrm{meetcl}(C_S(x_i))$ is the smallest meet closed subset of $S$ that contains the set $C_S(x_i)$). We then proceed by studying the values of the Möbius function on sets in which every element generates a double-chain set and use the properties of the Möbius function to explain why the Bourque-Ligh conjecture holds in so many cases and fails in certain very specific instances. After that we turn our attention to the inertia and see that in some cases it is possible to determine the inertia of an LCM matrix simply by looking at the lattice-theoretic structure of $(S,|)$ alone. Finally, we are going to show how to construct LCM matrices in which the majority of the eigenvalues is either negative or positive.

We show that all $q$-semimultiplicative sequences are asymptotically orthogonal to the Möbius function, thus proving the Sarnak conjecture for this class of sequences. This generalises analogous results for the sum-of-digits function and other digital sequences which follow from previous work of Mauduit and Rivat.

We introduce a notion of antipode for monoidal (complete) decomposition spaces, inducing a notion of weak antipode for their incidence bialgebras. In the connected case, this recovers the usual notion of antipode in Hopf algebras. In the non-connected case it expresses an inversion principle of more limited scope, but still sufficient to compute the Möbius function as $μ= ζ\circ S$, just as in Hopf algebras. At the level of decomposition spaces, the weak antipode takes the form of a formal difference of linear endofunctors $S_{\textrm{even}} - S_{\textrm{odd}}$, and it is a refinement of the general Möbius inversion construction of Gálvez-Kock-Tonks, but exploiting the monoidal structure.

Let $G$ be the simple group ${\rm PSU}(2,2^{2^n})$, $n>0$. For any subgroup $H$ of $G$, we compute the Möbius function $μ_L(H,G)$ of $H$ in the subgroup lattice $L$ of $G$, and the Möbius function $μ_{\bar L}([H],[G])$ of $[H]$ in the poset $\bar L$ of conjugacy classes of subgroups of $G$. For any prime $p$, we provide the Euler characteristic of the order complex of the poset of $p$-subgroups of $G$.

We show that the proportion of permutations of length $n$ with principal Möbius function equal to zero, $Z(n)$, is asymptotically bounded below by 0.3995. If a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then we show that the value of the principal Möbius function $μ[1, π]$ is zero, and we use this result to find the lower bound for $Z(n)$. We also show that if a permutation $φ$ has certain properties, then any permutation $π$ which contains an interval order-isomorphic to $φ$ has $μ[1, π] = 0$.

We study the poset $\mathcal{G}$ of all unlabelled graphs, up to isomorphism, with $H\le G$ if $H$ occurs as an induced subgraph in $G$. We present some general results on the Möbius function of intervals of $\mathcal{G}$ and some results for specific classes of graphs. This includes a case where the Möbius function is given by the Catalan numbers, which we prove using discrete Morse theory, and another case where it equals the Fibonacci numbers, therefore showing that the Möbius function is unbounded. A classification of the disconnected intervals of $\mathcal{G}$ is presented, which gives a large class of non-shellable intervals. We also present several conjectures on the structure of $\mathcal{G}$.

This is an introduction to the Möbius function of a poset. The chief novelty is in the exposition. We show how order-preserving maps from one poset to another can be used to relate their Möbius functions. We derive the basic results on the Möbius function, applying them in particular to geometric lattices.

We introduce the poset of mesh patterns, which generalises the permutation pattern poset. We fully classify the mesh patterns for which the interval [1^\emptyset,m] is non-pure, where 1^\emptyset is the unshaded singleton mesh pattern. We present some results on the Möbius function of the poset, and show that μ(1^\emptyset,m) is almost always zero. Finally, we introduce a class of disconnected and non-shellable intervals by generalising the direct product operation from permutations to mesh patterns.

We examine correlations of the Möbius function over $\mathbb{F}_q[t]$ with linear or quadratic phases, that is, averages of the form \begin{equation} \label{eq:average} \frac{1}{q^n}\sum_{\text{deg }f<n} μ(f)χ(Q(f)) \end{equation} for an additive character $χ$ over $\mathbb{F}_q$ and a polynomial $Q\in\mathbb{F}_q[x_0,\ldots,x_{n-1}]$ of degree at most 2 in the coefficients $x_0,\ldots, x_{n-1}$ of $f=\sum_{i< n}x_i t^i$. Like in the integers, it is reasonable to expect that, due to the random-like behaviour of $μ$, such sums should exhibit considerable cancellation. In this paper we show that the above correlation is bounded by $O_ε\left( q^{(-\frac{1}{4}+ε)n} \right)$ for any $ε>0$ if $Q$ is linear and $O \left( q^{-n^c} \right)$ for some absolute constant $c>0$ if $Q$ is quadratic. The latter bound may be reduced to $O(q^{-c'n}$) for some $c'>0$ when $Q(f)$ is a linear form in the coefficients of $f^2$, that is, a Hankel quadratic form, whereas for general quadratic forms, it relies on a bilinear version of the additive-combinatorial Bogolyubov theorem.

We prove that the number of natural exact covering systems of cardinality $k$ is equal to the coefficient of $x^k$ in the reversion of the power series $\sum_{k \ge 1} μ(k) x^k$, where $μ(k)$ is the usual number-theoretic Möbius function. Using this result, we deduce an asymptotic expression for the number of such systems.

We define spreadability systems as a generalization of exchangeability systems in order to unify various notions of independence and cumulants known in noncommutative probability. In particular, our theory covers monotone independence and monotone cumulants which do not satisfy exchangeability. To this end we study generalized zeta and Möbius functions in the context of the incidence algebra of the semilattice of ordered set partitions and prove an appropriate variant of Faa di Bruno's theorem. With the aid of this machinery we show that our cumulants cover most of the previously known cumulants. Due to noncommutativity of independence the behaviour of these cumulants with respect to independent random variables is more complicated than in the exchangeable case and the appearance of Goldberg coefficients exhibits the role of the Campbell-Baker-Hausdorff series in this context. In a final section we exhibit an interpretation of the Campbell-Baker-Hausdorff series as a sum of cumulants in a particular spreadability system, thus providing a new derivation of the Goldberg coefficients.

We show that the Möbius function of an interval in a permutation poset where the lower bound is sum (resp. skew) indecomposable depends solely on the sum (resp. skew) indecomposable permutations contained in the upper bound, and that this can simplify the calculation of the Möbius sum. For increasing oscillations, we give a recursion for the Möbius sum which only involves evaluating simple inequalities.

We give an example showing that the product and linearization formulas for the Wick product versions of the $q$-Charlier polynomials in (Anshelevich 2004) are incorrect. Next, we observe that the relation between monomials and several families of Wick polynomials is governed by "incomplete" versions of familiar posets. We compute Möbius functions for these posets, and prove a general poset product formula. These provide new proofs and new inversion and product formulas for Wick product versions of Hermite, Chebyshev, Charlier, free Charlier, and Laguerre polynomials. By different methods, we prove inversion formulas for the Wick product versions of the free Meixner polynomials.

We prove several new variants of the Lambert series factorization theorem established in the first article "Generating special arithmetic functions by Lambert series factorizations" by Merca and Schmidt (2017). Several characteristic examples of our new results are presented in the article to motivate the formulations of the generalized factorization theorems. Applications of these new factorization results include new identities involving the Euler partition function and the generalized sum-of-divisors functions, the Möbius function, Euler's totient function, the Liouville lambda function, von Mangoldt's lambda function, and the Jordan totient function.

We introduce a formal definition of a pattern poset which encompasses several previously studied posets in the literature. Using this definition we present some general results on the Möbius function and topology of such pattern posets. We prove our results using a poset fibration based on the embeddings of the poset, where embeddings are representations of occurrences. We show that the Möbius function of these posets is intrinsically linked to the number of embeddings, and in particular to so called normal embeddings. We present results on when topological properties such as Cohen-Macaulayness and shellability are preserved by this fibration. Furthermore, we apply these results to some pattern posets and derive alternative proofs of existing results, such as Björner's results on subword order.

If $\gcd(r,t)=1$, then a theorem of Alladi offers the Möbius sum identity $$-\sum_{\substack{ n \geq 2 \\ p_{\rm{min}}(n) \equiv r \pmod{t}}} μ(n)n^{-1}= \frac{1}{\varphi(t)}. $$ Here $p_{\rm{min}}(n)$ is the smallest prime divisor of $n$. The right-hand side represents the proportion of primes in a fixed arithmetic progression modulo $t$. Locus generalized this to Chebotarev densities for Galois extensions. Answering a question of Alladi, we obtain analogs of these results to arithmetic densities of subsets of positive integers using $q$-series and integer partitions. For suitable subsets $§$ of the positive integers with density $d_§$, we prove that \[- \lim_{q \to 1} \sum_{\substack{ λ\in \mathcal{P} \\ \rm{sm}(λ) \in §}} μ_{\mathcal{P}} (λ)q^{\vert λ\vert} = d_§,\] where the sum is taken over integer partitions $λ$, $μ_{\mathcal{P}}(λ)$ is a partition-theoretic Möbius function, $\vert λ\vert$ is the size of partition $λ$, and $\rm{sm}(λ)$ is the smallest part of $λ$. In particular, we obtain partition-theoretic formulas for even powers of $π$ when considering power-free integers.

It is shown that there is an oscillating sequence of higher order which is not orthogonal to the class of dynamical flow with topological entropy zero. We further establish that any oscillating sequence of order $d$ is orthogonal to any $d$-nilsequence arising from the skew product on the $d$-dimensional torus $\mathbb{T}^d$. The proof yields that any oscillating sequence of higher order is orthogonal to any dynamical sequence arising from topological dynamical systems with quasi-discrete spectrum. however, we provide an example of oscillating sequence of higher order with large Gowers norms. We further obtain a new estimation of the average of Möbius function on the short interval by appealing to Bourgain's double recurence argument.

We extend the Euler's totient function (from arithmetic) to any irreducible subfactor planar algebra, using the Mobius function of its biprojection lattice, as Hall did for the finite groups. We prove that if it is nonzero then there is a minimal 2-box projection generating the identity biprojection. We explain a relation with a problem of K.S. Brown. As an application, we define the dual Euler totient of a finite group and we show that if it is nonzero then the group admits a faithful irreducible complex representation. We also get an analogous result at depth 2, involving the central biprojection lattice.

A central tool in the study of systems of linear equations with integer coefficients is the Generalised von Neumann Theorem of Green and Tao. This theorem reduces the task of counting the weighted solutions of these equations to that of counting the weighted solutions for a particular family of forms, the Gowers norms $\Vert f \Vert_{U^{s+1}[N]}$ of the weight $f$. In this paper we consider systems of linear inequalities with real coefficients, and show that the number of solutions to such weighted diophantine inequalities may also be bounded by Gowers norms. Furthermore, we provide a necessary and sufficient condition for a system of real linear forms to be governed by Gowers norms in this way. We present applications to cancellation of the Möbius function over certain sequences. The machinery developed in this paper can be adapted to the case in which the weights are unbounded but suitably pseudorandom, with applications to counting the number of solutions to diophantine inequalities over the primes. Substantial extra difficulties occur in this setting, however, and we have prepared a separate paper on these issues.