arXiv++ Combinatorics

We show that a simple rank-$r$ matroid with no $(t+1)$-element independent flat has at least as many elements as the matroid $M_{r,t}$ defined as the direct sum of $t$ binary projective geometries whose ranks pairwise differ by at most $1$. We also show for $r \ge 2t$ that $M_{r,t}$ is the unique example for which equality holds.

Motivated by a question in Schubert calculus, we study the interplay of quasisymmetric polynomials with the divided symmetrization operator, which was introduced by Postnikov in the context of volume polynomials of permutahedra. Divided symmetrization is a linear form which acts on the space of polynomials in $n$ indeterminates of degree $n-1$. We first show that divided symmetrization applied to a quasisymmetric polynomial in $m$ indeterminates can be easily determined. Several examples with a strong combinatorial flavor are given. Then, we prove that the divided symmetrization of any polynomial can be naturally computed with respect to a direct sum decomposition due to Aval-Bergeron-Bergeron involving the ideal generated by positive degree quasisymmetric polynomials in $n$ indeterminates.

Let $\mathfrak{P}_r$ be a representation system of the non-isomorphic finite posets, and let ${\cal H}(P,Q)$ be the set of order homomorphisms from $P$ to $Q$. For finite posets $R$ and $S$, we write $R \sqsubseteq_G S$ iff, for every $P \in \mathfrak{P}_r$, a one-to-one mapping $ρ_P : {\cal H}(P,R) \rightarrow {\cal H}(P,S)$ exists which fulfills a certain regularity condition. It is shown that $R \sqsubseteq_G S$ is equivalent to $\# {\cal S}(P,R) \leq \# {\cal S}(P,S)$ for every finite posets $P$, where ${\cal S}(P,Q)$ is the set of strict order homomorphisms from $P$ to $Q$. In consequence, $\# {\cal S}(P,R) = \# {\cal S}(P,S)$ holds for every finite posets $P$ iff $R$ and $S$ are isomorphic. A sufficient condition is derived for $R \sqsubseteq_G S$ which needs the inspection of a finite number of posets only. Additionally, a method is developed which facilitates for posets $P + Q$ (direct sum) the construction of posets $T$ with $P + Q \sqsubseteq_G A + T$, where $A$ is a convex subposet of $P$.

We give a $U_q(\mathfrak{sl}_n)$-crystal structure on multiset-valued tableaux, hook-valued tableaux, and valued-set tableaux, whose generating functions are the weak symmetric, canonical, and dual weak symmetric Grothendieck functions, respectively. We show the result is isomorphic to a (generally infinite) direct sum of highest weight crystals, and for multiset-valued tableaux and valued-set tableaux, we provide an explicit bijection. As a consequence, these generating functions are Schur positive; in particular, the canonical Grothendieck functions, which was not previously known. We also give an extension of Hecke insertion to express a dual stable Grothendieck function as a sum of Schur functions.

For $n \geq 225$ we show that every integer of the form $n + 2m$ such that $0 \leq 2m \leq n^{2} - \frac{9}{2} n \sqrt{n}$ is the dimension of a connected semi-simple subalgebra of $\mathrm{M}_{n}(k)$, that is, a subalgebra isomorphic to a direct sum of $t$ disjoint subalgebras $\mathrm{M}_{n_{i}}(k)$, where $\sum_{i=1}^{t} n_{i} = n$. From this, we conclude that the density of integers in $[0,\ldots, n^{2}]$ which are the dimension of a semi-simple subalgebra of $\mathrm{M}_{n}(k)$ tends to $1$ as $n \rightarrow \infty$.

We show that the direct sum of an odd number of matrices $$C=\left(\begin{array}{cccc} 0&0&0&1\\ 1&0&0&0\\ 0&1&0&0\\ 0&0&1&1 \end{array}\right)$$ cannot be a sum $P+Q$ of matrices over $\mathbb{F}_2$ satisfying $P^2=P$ and $Q^3=O$.

This paper consists of two prongs. Firstly, we prove that any Specht module labelled by a 2-separated partition is semisimple and we completely determine its decomposition as a direct sum of graded simple modules. Secondly, we apply these results and other modular representation theoretic techniques on the study of Kronecker coefficients and hence verify Saxl's conjecture for a large new class of partitions.

We explore upper bounds on the covering radius of non-hollow lattice polytopes. In particular, we conjecture a general upper bound of $d/2$ in dimension $d$, achieved by the "standard terminal simplices" and direct sums of them. We prove this conjecture up to dimension three and show it to be equivalent to the conjecture of González-Merino \& Schymura (2017) that the $d$-th covering minimum of the standard terminal $n$-simplex equals $d/2$, for every $n>d$. We also show that these two conjectures would follow from a discrete analog for lattice simplices of Hadwiger's formula bounding the covering radius of a convex body in terms of the ratio of surface area versus volume. To this end, we introduce a new notion of discrete surface area of non-hollow simplices. We prove our discrete analog in dimension two and we give strong evidence for its validity in arbitrary dimension.

Every tropical ideal in the sense of Maclagan-Rincón has an associated tropical variety, a finite polyhedral complex equipped with positive integral weights on its maximal cells. This leads to the realisability question, ubiquitous in tropical geometry, of which weighted polyhedral complexes arise in this manner. Using work of Las Vergnas on the non-existence of tensor products of matroids, we prove that there is no tropical ideal whose variety is the Bergman fan of the direct sum of the Vámos matroid and the uniform matroid of rank two on three elements, and in which all maximal cones have weight one.

A correspondence functor is a functor from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring. We determine exactly which simple correspondence functors are projective. Moreover, we analyze the occurrence of such simple projective functors inside the correspondence functor $F$ associated with a finite lattice and we deduce a direct sum decomposition of $F$.

We introduce a new method for producing both maximal green and reddening sequences of quivers. The method, called component preserving mutations, generalizes the notion of direct sums of quivers and can be used as a tool to both recover known reddening sequences as well as find reddening sequences that were previously unknown. We use the method to produce and recover maximal green sequences for many bipartite recurrent quivers that show up in the study of periodicity of $T$-systems and $Y$-systems. Additionally, we show how our method relates to the dominance phenomenon recently considered by Reading. Given a maximal green sequence produced by our method, this relation to dominance gives a maximal green sequence for infinitely many other quivers. Other applications of this new methodology are explored including computing of quantum dilogarithm identities and determining minimal length maximal green sequences.

A nilpotent endomorphism of a quiver representation induces a linear transformation on the vector space at each vertex. Generically among all nilpotent endomorphisms, there is a well-defined Jordan form for these linear transformations, which is an interesting new invariant of a quiver representation. If $Q$ is a Dynkin quiver and $m$ is a minuscule vertex, we show that representations consisting of direct sums of indecomposable representations all including $m$ in their support, the category of which we denote by $\mathcal{C}_{Q,m}$, are determined up to isomorphism by this invariant. We use this invariant to define a bijection from isomorphism classes of representations in $\mathcal{C}_{Q,m}$ to reverse plane partitions whose shape is the minuscule poset corresponding to $Q$ and $m$. By relating the piecewise-linear promotion action on reverse plane partitions to Auslander-Reiten translation in the derived category, we give a uniform proof that the order of promotion equals the Coxeter number. In type $A_n$, we show that special cases of our bijection include the Robinson-Schensted-Knuth and Hillman-Grassl correspondences.

We count the number of all Rota-Baxter operators on a finite direct sum $A = F\oplus F\oplus \ldots \oplus F$ of fields and count all of them up to conjugation with an automorphism. We also study Rota-Baxter operators on $A$ corresponding to a decomposition of $A$ into a direct vector space sum of two subalgebras. We show that every algebra structure induced on $A$ by a Rota-Baxter of nonzero weight is isomorphic to $A$.

Extending results of Linial (1984) and Aigner (1985), we prove a uniform lower bound on the balance constant of a poset $P$ of width $2$. This constant is defined as $δ(P) = \max_{(x, y)\in P^2}\min\{\mathbb{P}(x\prec y), \mathbb{P}(y\prec x)\}$, where $\mathbb{P}(x\prec y)$ is the probability $x$ is less than $y$ in a uniformly random linear extension of $P$. In particular, we show that if $P$ is a width $2$ poset that cannot be formed from the singleton poset and the three element poset with one relation using the operation of direct sum, then \[δ(P)\ge\frac{-3 + 5\sqrt{17}}{52}\approx 0.33876\ldots.\] This partially answers a question of Brightwell (1999); a full resolution would require a proof of the $\frac{1}{3}-\frac{2}{3}$ Conjecture that if $P$ is not totally ordered then $δ(P)\ge\frac{1}{3}$. Furthermore, we construct a sequence of posets $T_n$ of width $2$ with $δ(T_n)\rightarrowβ\approx 0.348843\ldots$, giving an improvement over a construction of Chen (2017) and over the finite posets found by Peczarski (2017). Numerical work on small posets by Peczarski suggests the constant $β$ may be optimal.

In this work we study the null space of bipartite graphs without cycles of length multiple of $4$, and its relation to structural properties. We decompose them into two subgraphs: $C_N(G)$ and $C_S(G)$. $C_N(G)$ has perfect matching and its adjacency matrix is nonsingular. $C_S(G)$ has a unique maximum independent set and the dimension of its null space equals the dimension of the null space of $G$. Even more, we show that the fundamental spaces of $G$ are the direct sum of the fundamental spaces of $C_N(G)$ and $C_S(G)$. We also obtain formulas relating the independence number and the matching number of a $C_{4k}$-free bipartite graph with $C_N(G)$ and $C_S(G)$, and the dimensions of the fundamental spaces. Among other results, we show that the rank of a $C_{4k}$-free bipartite graph is twice its matching number, generalizing a result for trees due to Bevis et al \cite{bevis1995ranks}, and Cvetković and Gutman \cite{D1972}. About maximum independent sets, we show that the intersection of all maximum independent sets of a $C_{4k}$-free bipartite graph coincides with the support of its null space.

We show that if a permutation $π$ contains two intervals of length 2, where one interval is an ascent and the other a descent, then the Möbius function $μ[π]$ of the interval $[1,π]$ is zero. As a consequence, we show that the proportion of permutations of length $n$ with principal Möbius function equal to zero is asymptotically bounded below by $(1-1/e)^2\ge 0.3995$. This is the first result determining the value of $μ[1,π]$ for an asymptotically positive proportion of permutations $π$. We also show that if a permutation $φ$ can be expressed as a direct sum of the form $α\oplus 1 \oplus β$, then any permutation $π$ containing an interval order-isomorphic to $φ$ has $μ[1, π]=0$; we deduce this from a more general result showing that $μ[σ, π]=0$ whenever $π$ contains an interval of a certain form. Finally, we show that if a permutation $π$ contains intervals isomorphic to certain pairs of permutations, or to certain permutations of length six, then $μ[1, π] = 0$.

Schur modules give the irreducible polynomial representations of the general linear group $\mathrm{GL}_t$. Viewing the symmetric group $\mathfrak{S}_t$ as a subgroup of $\mathrm{GL}_t$, we may restrict Schur modules to $\mathfrak{S}_t$ and decompose the result into a direct sum of Specht modules, the irreducible representations of $\mathfrak{S}_t$. We give an equivariant Möbius inversion formula that we use to invert this expansion in the representation ring for $\mathfrak{S}_t$ for $t$ large. In addition to explicit formulas in terms of plethysms, we show the coefficients that appear alternate in sign by degree. In particular, this allows us to define a new basis of symmetric functions whose structure constants are stable Kronecker coefficients and which expand with alternating signs into the Schur basis.

We show that a tensor product of nonexceptional type Kirillov--Reshetikhin (KR) crystals is isomorphic to a direct sum of Demazure crystals; we do this in the mixed level case and without the perfectness assumption, thus generalizing a result of Naoi. We use this result to show that, given two tensor products of such KR crystals with the same maximal weight, after removing certain $0$-arrows, the two connected components containing the minimal/maximal elements are isomorphic. Based on the latter fact, we reduce a tensor product of higher level perfect KR crystals to one of single-column KR crystals, which allows us to use the uniform models available in the literature in the latter case. We also use our results to give a combinatorial interpretation of the Q-system relations. Our results are conjectured to extend to the exceptional types.

Gordon and McMahon defined a two-variable greedoid polynomial $ f(G;t,z) $ for any greedoid $ G $. They studied greedoid polynomials for greedoids associated with rooted graphs and rooted digraphs. They proved that greedoid polynomials of rooted digraphs have the multiplicative direct sum property. In addition, these polynomials are divisible by $ 1 + z $ under certain conditions. We compute the greedoid polynomials for all rooted digraphs up to order six. A greedoid polynomial $ f(D) $ of a rooted digraph $ D $ of order $ n $ GM-factorises if $ f(D) = f(G) \cdot f(H) $ such that $ G $ and $ H $ are rooted digraphs of order at most $ n $ and $ f(G),f(H) \ne 1 $. We study the GM-factorability of greedoid polynomials of rooted digraphs, particularly those that are not divisible by $ 1 + z $. We give some examples and an infinite family of rooted digraphs that are not direct sums but their greedoid polynomials GM-factorise.

We study {\em generalized graph splines,} introduced by Gilbert, Viel, and the last author. For a large class of rings, we characterize the graphs that only admit constant splines. To do this, we prove that if a graph has a particular type of cutset (e.g., a bridge), then the space of splines naturally decomposes as a certain direct sum of submodules. As an application, we use these results to describe splines on a triangulation studied by Zhou and Lai, but over a different ring than they used.