partition
6235 papers tagged with this keyword
On the Gram determinants of the Specht modules
For every partition $λ$ of a positive integer $n$, let $S^λ$ be the corresponding Specht module of the symmetric group $\mathfrak{S}_n$, and let $\det(λ)\in \mathbb Z$ denote the Gram determinant of the canonical bilinear form with respect to the standard basis of $S^λ$. Writing $\det(λ)=m \cdot 2^{a_λ^{(2)}}$ for integers $a_λ^{(2)}$ and $m$ with $m$ odd, we show that if the dimension of $S^λ$ is even, then $a_λ^{(2)}$ is also even. This confirms a conjecture posed by Richard Parker in the special case of the symmetric groups.
Cauchy identities for staircase matrices
The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.
Filling some gaps on the edge coloring problem of split graphs
A split graph is a graph whose vertex set can be partitioned into a clique and an independent set. A connected graph $G$ is said to be $t$-admissible if admits a spanning tree in which the distance between any two adjacent vertices of $G$ is at most $t$. Given a graph $G$, determining the smallest $t$ for which $G$ is $t$-admissible, i.e., the stretch index of $G$ denoted by $σ(G)$, is the goal of the $t$-admissibility problem. Split graphs are $3$-admissible and can be partitioned into three subclasses: split graphs with $σ= 1$, $2$ or $3$. In this work we consider such a partition while dealing with the problem of coloring the edges of a split graph. Vizing proved that any graph can have its edges colored with $Δ$ or $Δ+1$ colors, and thus can be classified as Class $1$ or Class $2$, respectively. The edge coloring problem is open for split graphs in general. In previous results, we classified split graphs with $σ= 2$ and in this paper we classify and provide an algorithm to color the edges of a subclass of split graphs with $σ= 3$.
Sets and partitions minimising small differences
For a bounded measurable set $A\subseteq \mathbb{R}$ we denote the Lebesgue measure of $\{(x, y)\in A^2\colon x\le y\le x+1\}$ by $Φ(A)$. We prove that if $I=A_1\cup\dots\cup A_{k+1}$ partitions an interval $I$ of length $L$ into $k+1$ measurable pieces, then $\sum_{i=1}^{k+1} Φ(A_i)\ge (\sqrt{k^2+1}-k)L-1$, where the multiplicative constant $\sqrt{k^2+1}-k$ is optimal. As a matter of fact we obtain the more general result that $Φ(A)\ge (ξ+\sqrt{1-2ξ+2ξ^2}-1)L-1$ whenever $A\subseteq I$ has measure $ξL$.
Zero Forcing and Vertex Independence Number on Cubic and Subcubic Graphs
Motivated by a conjecture from the automated conjecturing program TxGraffiti, in this paper the relationship between the zero forcing number, $Z(G)$, and the vertex independence number, $α(G)$, of cubic and subcubic graphs is explored. TxGraffiti conjectures that for all connected cubic graphs $G$, that are not $K_4$, $Z(G) \leq α(G) + 1$. This work uses decycling partitions of upper-embeddable graphs to show that almost all cubic graphs satisfy $Z(G) \leq α(G) + 2$, provides an infinite family of cubic graphs where $Z(G) = α(G) + 1$, and extends known bounds to subcubic graphs.
A new grounded partition identity of type $D_4^{(3)}$
In this paper, we prove a new Rogers--Ramanujan-type identity, involving grounded partitions, by computing a character of the affine Kac--Moody algebra $D_4^{(3)}$ in two different ways. The product side is derived using Lepowsky's product formula, while the sum side is obtained using perfect crystals with a technique of Dousse and Konan.
Small Shadow Partitions
We study the problem of partitioning the unit cube $[0,1]^n$ into $c$ parts so that each $d$-dimensional axis-parallel projection has small volume.
This natural combinatorial/geometric question was first studied by Kopparty and Nagargoje [KN23] as a reformulation of the problem of determining the achievable parameters for seedless multimergers -- which extract randomness from `$d$-where' random sources (generalizing somewhere random sources). This question is closely related to influences of variables and is about a partition analogue of Shearer's lemma.
Our main result answers a question of [KN23]: for $d = n-1$, we show that for $c$ even as large as $2^{o(n)}$, it is possible to partition $[0,1]^n$ into $c$ parts so that every $n-1$-dimensional axis-parallel projection has volume at most $(1/c) ( 1 + o(1) )$. Previously, this was shown by [KN23] for $c$ up to $O(\sqrt{n})$. The construction of our partition is related to influences of functions, and we present a clean geometric/combinatorial conjecture about this partitioning problem that would imply the KKL theorem on influences of Boolean functions.
Centralizers in the plactic monoid
Let u be a word over the positive integers. Motivated in part by a question from representation theory, we study the centralizer set of u which is C(u) = {w | uw is Knuth-equivalent to wu}. In particular, we give various necessary conditions for w to be in C(u). We also characterize C(u) when u has few letters, when it has a single repeated entry, or when it is a certain type of decreasing sequence. We consider c_{n,m}(u), the number of w in C(u) of length n with max w at most m. We prove that for |u| = 1 the value of this function depends only on the relative sizes of u and m and not on their actual values. And for various u we use Stanley's theory of poset partitions to show that, for fixed n, c_{n,m}(u) is a polynomial in m with certain degree and leading coefficient. We end with various conjectures and directions for further research.
On combinatorial descriptions of faces of the cone of supermodular functions
Five different ways of combinatorial description of non-empty faces of the cone of supermodular functions on the power set of a finite basic set $N$ are introduced. Their identification with faces of the cone of supermodular games allows one to associate to them certain polytopes in $\mathbb{R}^{N}$, known as cores (of these games) in context of cooperative game theory, or generalized permutohedra in context of polyhedral geometry. Non-empty faces of the supermodular cone then correspond to normal fans of those polytopes. This (basically) geometric way of description of faces of the cone then leads to the combinatorial ways of their description. The first combinatorial way is to identify the faces with certain partitions of the set of enumerations of $N$, known as rank tests in context of algebraic statistics. The second combinatorial way is to identify faces with certain collections of posets on $N$, known as (complete) fans of posets in context of polyhedral geometry. The third combinatorial way is to identify the faces with certain coverings of the power set of $N$, introduced relatively recently in context of cooperative game theory under name core structures. The fourth combinatorial way is to identify the faces with certain formal conditional independence structures, introduced formerly in context of multivariate statistics under name structural semi-graphoids. The fifth way is to identify the faces with certain subgraphs of the permutohedral graph, whose nodes are enumerations of $N$. We prove the equivalence of those six ways of description of non-empty faces of the supermodular cone. This result also allows one to describe the faces of the polyhedral cone of (rank functions of) polymatroids over $N$ and the faces of the submodular cone over $N$.
On upper domatic number of graphs
Let $G=(V, E)$ be a graph where $V$ and $E$ are the vertex and edge sets, respectively. For two disjoint subsets $A$ and $B$ of $V$, we say $A$ \textit{dominates} $B$ if every vertex of $B$ is adjacent to at least one vertex of $A$ in $G$. A vertex partition $π= \{V_1, V_2, \ldots, V_k\}$ of $G$ is called an \emph{upper domatic partition} of size $k$ if either $V_i$ dominates $V_j$ or $V_j$ dominates $V_i$ or both for all $i, j$, where $1\leq i<j\leq k$. The maximum integer $k$ for which the above partition exists is called the \emph{upper domatic number} of $G$, and it is denoted by $D(G)$. The \textsc{Maximum upper domatic number Problem} involves finding an upper domatic partition of a given graph with the maximum number of parts. It was known that the maximum upper domatic problem can be solved in linear time for trees. In this paper, we prove that this problem can be solved in linear time for \emph{split graphs} and for the \emph{complement of bipartite chain graphs}, two subclasses of chordal graphs. Moreover, we show that this problem can be solved in polynomial time for unicyclic graphs. Finally, we partially solve a conjecture regarding the sink set posed by Haynes et al. [The upper domatic number of a graph, \emph{AKCE Int. J. Graphs Comb.}, 17, 2020].
Three types of the minimal excludant size of an overpartition
Recently, Andrews and Newman studied the minimal excludant of a partition, which is defined as the smallest positive integer that is not a part of a partition. In this article, we consider the minimal excludant size of an overpartition, which is an overpartition analogue of the minimal excludant of a partition. We define three types of overpartition related to the minimal excludant size.
Asymptotic Normality and Concentration Inequalities of Statistics of Core Partitions with Bounded Perimeters
Core partitions have attracted much attention since Anderson's work (2002) on the number of $(s,t)$-core partitions for coprime $s,t$. Recently, there has been a growing interest in studying the limiting distributions of the sizes of random simultaneous core partitions. In this paper, we prove the asymptotic normality of certain statistics of uniform random core partitions with bounded perimeters in the Kolmogorov and Wasserstein $W_1$ distances, including the length and size of a random (strict) $n$-core partition, the length of the Durfee square and the size of a random self-conjugate $n$-core partition. Accordingly, we prove that these statistics are subgaussian. This contrasts with the asymptotic behavior of the size of a random $(s, t)$-core partition for coprime $s,t$ studied by Even-Zohar (2022), which converges in law to Watson's $U^2$ distribution. Our results show that the distribution of the size of a random strict $(n, dn+1)$-core partition is asymptotically normal when $d \ge 3$ is fixed and $n$ tends to infinity, which is an analog of Zaleski's conjecture (2017) and covers Komlós, Sergel, and Tusnády's result (2020) as a special case. Our proof integrates a variety of combinatorial and probabilistic tools, including Stein's method based on Hoeffding decomposition, Hoeffding's combinatorial central limit theorem, the Efron-Stein inequalities on product spaces and slices, and asymptotics of Pólya frequency sequences. Furthermore, our approach is potentially applicable to the study of the asymptotic normality of functionals of random variables with certain global dependence structures that can be decomposed into appropriate mixture forms.
Free Products and the Isomorphism between Standard and Dual Artin Groups
Given a Coxeter system with a fixed Coxeter element, there is a surjective group morphism $Ψ$ from the standard to the dual Artin groups. We give conditions that are sufficient, necessary or equivalent to $Ψ$ being an isomorphism. In particular, we prove that if the Hurwitz action on the reduced words of any element in the noncrossing partition poset is transitive, and if the Hurwitz action on the reduced words of the Coxeter element has the same stabilizer as essentially the same action viewed in the standard Artin group, then $Ψ$ is an isomorphism. Both of those conditions are already known in some cases, notably in spherical and affine types. We then prove that taking the free (or direct) product of groups that satisfy those two conditions yields another group that, with a suitable Coxeter element, also satisfies them.
A remark on s-torsion pairs and on the lattice of Dyck paths
There are three classical lattices on the Catalan numbers: the Tamari lattice, the lattice of noncrossing partitions and the lattice of Dyck paths. The first is known to be isomorphic to the lattice of torsion classes of the path algebra of an equioriented quiver of type $A$ and the second is known to be isomorphic to its lattice of wide subcategories. Inspired by the notion of s-torsion classes of Adachi, Enomoto and Tsukamoto, in this short note we interpret the lattice of Dyck paths as a lattice of subcategories.
Fan distributions via Tverberg partitions and Gale duality
Equipartition theory, beginning with the classical ham sandwich theorem, seeks the fair division of finite point sets in $\mathbb{R}^d$ by the full-dimensional regions determined by a prescribed geometric dissection of $\mathbb{R}^d$. Here we examine $\textit{equidistributions}$ of finite point sets in $\mathbb{R}^d$ by prescribed $\textit{low dimensional}$ subsets. Our main result states that if $r\geq 3$ is a prime power, then for any $m$-coloring of a sufficiently small point set $X$ in $\mathbb{R}^d$, there exists an $r$-fan in $\mathbb{R}^d$ -- that is, the union of $r$ ``half-flats'' of codimension $r-2$ centered about a common $(r-1)$-codimensional affine subspace -- which captures all the points of $X$ in such a way that each half-flat contains at most an $r$-th of the points from each color class. The number of points in $\mathbb{R}^d$ we require for this is essentially tight when $m\geq 2$. Additionally, we extend our equidistribution results to ''piercing'' distributions in a similar fashion to Dolnikov's hyperplane transversal generalization of the ham sandwich theorem. By analogy with recent work of Frick et al., our results are obtained by applying Gale duality to linear cases of topological Tverberg-type theorems. Finally, we extend our distribution results to multiple $r$-fans after establishing a multiple intersection version of a topological Tverberg-type theorem due to Sarkaria.
Polynomial Expressions for the Dimensions of the Representations of Symmetric Groups and Restricted Standard Young Tableaux
Given a partition $λ$ of a number $k$, it is known that by adding a long line of length $n-k$, the dimension of the associated representation of $S_{n}$ is an integer-valued polynomial of degree $k$ in $n$. We show that its expansion in the binomial basis is bounded by the length of $λ$, and that the resulting coefficient of index $h$, with alternating signs, counts the standard Young tableaux of shape $λ$ in which a given collection of consecutive $h$ numbers lie in increasing rows. We also construct bijections in order to demonstare explicitly that this number is indeed independent of the set of consecutive $h$ numbers used.
Sequences of odd length in strict partitions II: the $2$-measure and refinements of Euler's theorem
The number of sequences of odd length in strict partitions (denoted as $\mathrm{sol}$), which plays a pivotal role in the first paper of this series, is investigated in different contexts, both new and old. Namely, we first note a direct link between $\mathrm{sol}$ and the $2$-measure of strict partitions when the partition length is given. This notion of $2$-measure of a partition was introduced quite recently by Andrews, Bhattacharjee, and Dastidar. We establish a $q$-series identity in three ways, one of them features a Franklin-type involuion. Secondly, still with this new partition statistic $\mathrm{sol}$ in mind, we revisit Euler's partition theorem through the lens of Sylvester-Bessenrodt. Two new bivariate refinements of Euler's theorem are established, which involve notions such as MacMahon's 2-modular Ferrers diagram, the Durfee side of partitions, and certain alternating index of partitions that we believe is introduced here for the first time.
A generalization of Franklin's partition identity and a Beck-type companion identity
Euler's classic partition identity states that the number of partitions of $n$ into odd parts equals the number of partitions of $n$ into distinct parts. We develop a new generalization of this identity, which yields a previous generalization of Franklin as a special case, and prove an accompanying Beck-type companion identity.
Combinatorial Proofs of Some Results of Andrews and El Bachraoui
Recently, Andrews and El Bachraoui (2024) proved three very interesting $q$-series identities, from which three simple looking identities involving certain restricted partitions into distinct even parts and $4$-regular partitions follow. In this short note, we give combinatorial proofs of these identities. We also prove the counterpart identities for the restricted partitions into distinct odd parts.
Hook length inequalities for $t$-regular partitions in the $t$-aspect
Let $t\geq2$ and $k\geq1$ be integers. A $t$-regular partition of a positive integer $n$ is a partition of $n$ such that none of its parts is divisible by $t$. Let $b_{t,k}(n)$ denote the number of hooks of length $k$ in all the $t$-regular partitions of $n$. In this article, we prove some inequalities for $b_{t,k}(n)$ for fixed values of $k$. We prove that for any $t\geq2$, $b_{t+1,1}(n)\geq b_{t,1}(n)$, for all $n\geq0$. We also prove that $b_{3,2}(n)\geq b_{2,2}(n)$ for all $n>3$, and $b_{3,3}(n)\geq b_{2,3}(n)$ for all $n\geq0$. Finally, we state some problems for future works.