partition
6235 papers tagged with this keyword
Alternating sign matrices with reflective symmetry and plane partitions: $n+3$ pairs of equivalent statistics and a Cauchy-type identity
Published in Forum of Mathematics, Sigma 13 (2025): e168
• View Publication
• BIB
Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2$, $2n$, $2n+2$, $2n$, $2n+2$, $2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but finding an explicit bijection proving this belongs to the most difficult problems in bijective combinatorics. Towards constructing such a bijection, we generalize the result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. This is a significant step from a constant number of equidistributed statistics to a linear number of statistics in $n$. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects and then applying certain sign-reversing involutions. Another main result concerns the expansion of the multivariate generating function into symplectic characters as a sum over totally symmetric self-complementary plane partitions, which is in perfect analogy to the situation for ordinary ASMs where the Schur expansion can be written as a sum over totally symmetric plane partitions. This is exciting as it is reminiscent of the well-known Cauchy identity, and the Cauchy identity does have a bijective proof using the Robinson-Schensted-Knuth correspondence, and thus the result raises the question of whether there is a variation of the Robinson-Schensted-Knuth correspondence that does eventually lead to a bijective proof.
Combinatorial meaning of the number of the even parts in a partition of $n$ into distinct parts
In a recent paper, Andrews and Merca investigated the number of even parts in all partitions of $n$ into distinct parts, which arise naturally from the Euler-Glaisher bijective proof. They obtained new combinatorial interpretations for this number by using generating functions. We obtain a new direct combinatorial proof in this note.
Bohr sets in sumsets II: countable abelian groups
Published
• View Publication
• BIB
We prove three results concerning the existence of Bohr sets in threefold sumsets. More precisely, letting $G$ be a countable discrete abelian group and $φ_1, φ_2, φ_3: G \to G$ be commuting endomorphisms whose images have finite indices, we show that
(1) If $A \subset G$ has positive upper Banach density and $φ_1 + φ_2 + φ_3 = 0$, then $φ_1(A) + φ_2(A) + φ_3(A)$ contains a Bohr set. This generalizes a theorem of Bergelson and Ruzsa in $\mathbb{Z}$ and a recent result of the first author.
(2) For any partition $G = \bigcup_{i=1}^r A_i$, there exists an $i \in \{1, \ldots, r\}$ such that $φ_1(A_i) + φ_2(A_i) - φ_2(A_i)$ contains a Bohr set. This generalizes a result of the second and third authors from $\mathbb{Z}$ to countable abelian groups.
(3) If $B, C \subset G$ have positive upper Banach density and $G = \bigcup_{i=1}^r A_i$ is a partition, $B + C + A_i$ contains a Bohr set for some $i \in \{1, \ldots, r\}$. This is a strengthening of a theorem of Bergelson, Furstenberg, and Weiss.
These results are quantitative in the sense that the radius and rank of the Bohr set obtained depends only on the indices $[G:φ_j(G)]$, the upper Banach density of $A$ (in (1)), or the number of sets in the given partition (in (2) and (3)).
Durfee squares, symmetric partitions and bounds on Kronecker coefficients
Published
• View Publication
• BIB
We resolve two open problems on Kronecker coefficients
$g(λ,μ,ν)$ of the symmetric group. First, we prove that for partitions $λ,μ,ν$ with fixed Durfee square size, the Kronecker coefficients grow at most polynomially. Second, we show that the maximal Kronecker coefficients $g(λ,λ,λ)$ for self-conjugate partitions $λ$ grow superexponentially. We also give applications to explicit special cases.
Asymptotic Properties of Maximal $p$-Core $p'$-Partitions
Published
• View Publication
• BIB
For primes $p$, we study the maximal possible size of a $p$-core $p'$-partition (a partition with no hook lengths or parts divisible by $p$). McDowell recently proved that the maximum is attained by a unique partition, say $Λ_p$. Using his graph theoretic description of $Λ_p$, we prove for $p > 10^6$ that \[\frac{1}{24}p^6 - p^5\sqrt{p} < |Λ_p| < \frac{1}{24}p^6 - \frac{1}{200}p^5\sqrt{p},\] which shows that $|Λ_p| \sim p^6/24$ as $p \to \infty$.
Large $p$-core $p'$-partitions and walks on the additive residue graph
Published
• View Publication
• BIB
This paper investigates partitions which have neither parts nor hook lengths divisible by $p$, referred to as $p$-core $p'$-partitions. We show that the largest $p$-core $p'$-partition corresponds to the longest walk on a graph with vertices $\{0, 1, \ldots, p-1\}$ and labelled edges defined via addition modulo $p$. We also exhibit an explicit family of large $p$-core $p'$-partitions, giving a lower bound on the size of the largest such partition which is of the same degree as the upper bound found by McSpirit and Ono.
Quantitative inverse theorem for Gowers uniformity norms $\mathsf{U}^5$ and $\mathsf{U}^6$ in $\mathbb{F}_2^n$
We prove quantitative bounds for the inverse theorem for Gowers uniformity norms $\mathsf{U}^5$ and $\mathsf{U}^6$ in $\mathbb{F}_2^n$. The proof starts from an earlier partial result of Gowers and the author which reduces the inverse problem to a study of algebraic properties of certain multilinear forms. The bulk of the work in this paper is a study of the relationship between the natural actions of $\operatorname{Sym}_4$ and $\operatorname{Sym}_5$ on the space of multilinear forms and the partition rank, using an algebraic version of regularity method. Along the way, we give a positive answer to a conjecture of Tidor about approximately symmetric multilinear forms in 5 variables, which is known to be false in the case of 4 variables. Finally, we discuss the possible generalization of the argument for $\mathsf{U}^k$ norms.
Positivity and Web Bases for Specht Modules of Hecke Algebras
Published
• View Publication
• BIB
We show that the transition matrix from the standard basis to the web basis for a Specht module of the Hecke algebra is unitriangular and satisfies a strong positivity property whenever the Specht module is labeled by a partition with at most two parts. This generalizes results of Russell--Tymoczko and Rhoades.
Polynomization of the Liu-Zhang inequality for overpartition function
Published
• View Publication
• BIB
Let $\overline{p}(n)$ denote the overpartition function. Liu and Zhang showed that $\overline{p}(a) \overline{p}(b)>\overline{p}(a+b)$ for all integers $a,b>1$ by using an analytic result of Engle. We offer in this paper a combinatorial proof to the Liu-Zhang inequaity. More precisely, motivated by the polynomials $P_{n}(x)$ , which generalize the $k$-colored partitions function $p_{-k}(n)$, we introduce the polynomials $\overline{P}_{n}(x)$, which take the number of $k$-colored overpartitions of $n$ as their special values. And by combining combinatorial and analytic approaches, we obtain that $\overline{P}_{a}(x) \overline{P}_{b}(x)>\overline{P}_{a+b}(x)$ for all positive integers $a,b$ and real numbers $x \ge 1$ , except for $(a,b,x)=(1,1,1),(2,1,1),(1,2,1)$.
Equitable 2-partitions of the Johnson graphs $J(n,3)$
Published
• View Publication
• BIB
We finish the classification of equitable 2-partitions of the Johnson graphs of diameter 3, $J(n,3)$, for $n>10$.
Graphene nanocones and Pascal matrices
I conjecture three identities for the determinant of adjacency matrices of graphene triangles and trapezia with Bloch (and more general) boundary conditions. For triangles, the parametric determinant is equal to the characteristic polynomial of the symmetric Pascal matrix. For trapezia it is equal to the determinant of a sub-matrix. Finally, the determinant of the tight binding matrix equals its permanent. The conjectures are supported by analytic evaluations and Mathematica, for moderate sizes. They establish connections with counting problems of partitions, lozenge tilings of hexagons, dense loops on a cylinder.
Dual structures on Coxeter and Artin groups of rank three
Published in Geom. Topol. 28 (2024) 4295-4336
• View Publication
• BIB
We extend the theory of dual Coxeter and Artin groups to all rank-three Coxeter systems, beyond the previously studied spherical and affine cases. Using geometric, combinatorial, and topological techniques, we show that rank-three noncrossing partition posets are EL-shellable lattices and give rise to Garside groups isomorphic to the associated standard Artin groups. Within this framework, we prove the $K(π, 1)$ conjecture, the triviality of the center, and the solubility of the word problem for rank-three Artin groups. Some of our constructions apply to general Artin groups; we hope they will help develop complete solutions to the $K(π, 1)$ conjecture and other open problems in the area.
Finding $k$-community structures in special graph classes
Published
• View Publication
• BIB
For a fixed integer $k\ge 2$, a $k$-community structure in an undirected graph is a partition of its vertex set into $k$ sets called communities, each of size at least two, such that every vertex of the graph has proportionally at least as many neighbours in its own community as in any other community. In this paper, we give a necessary and sufficient condition for a forest on $n$ vertices to admit a $k$-community structure. Furthermore, we provide an $O(n^{2})$-time algorithm that computes such a $k$-community structure in a forest, if it exists. These results extend a result of [Bazgan et al., Structural and algorithmic properties of $2$-community structure, Algorithmica, 80(6):1890-1908, 2018]. We also show that if communities are allowed to have size one, then every forest with $n \geq k\geq 2$ vertices admits a $k$-community structure that can be found in time $O(n^{2})$. We then consider threshold graphs and show that every connected threshold graph admits a $2$-community structure if and only if it is not isomorphic to a star; also if such a $2$-community structure exists, we explain how to obtain it in linear time. We further describe two infinite families of disconnected threshold graphs, containing exactly one isolated vertex, that do not admit any $2$-community structure. Finally, we present a new infinite family of connected graphs that may contain an even or an odd number of vertices without $2$-community structures, even if communities are allowed to have size one.
How many cliques can a clique cover cover?
Published
• View Publication
• BIB
This work examines the problem of clique enumeration on a graph by exploiting its clique covers. The principle of inclusion/exclusion is applied to determine the number of cliques of size $r$ in the graph union of a set $\mathcal{C} = \{c_1, \ldots, c_m\}$ of $m$ cliques. This leads to a deeper examination of the sets involved and to an orbit partition, $Γ$, of the power set $\mathcal{P}(\mathcal{N}_{m})$ of $\mathcal{N}_{m} = \{1, \ldots, m\}$. Applied to the cliques, this partition gives insight into clique enumeration and yields new results on cliques within a clique cover, including expressions for the number of cliques of size $r$ as well as generating functions for the cliques on these graphs. The quotient graph modulo this partition provides a succinct representation to determine cliques and maximal cliques in the graph union. The partition also provides a natural and powerful framework for related problems, such as the enumeration of induced connected components, by drawing upon a connection to extremal set theory through intersecting sets.
A Tensor-Cube Version of the Saxl Conjecture
Published
• View Publication
• BIB
Let $n$ be a positive integer, and let $ρ_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$. The Saxl conjecture asserts that every irreducible representation $S^λ$ of the symmetric group $S_N$ appears as a subrepresentation of the tensor square $S^{ρ_n} \otimes S^{ρ_n}$. In this short note we show that every irreducible representation of $S_N$ appears in the tensor cube $S^{ρ_n} \otimes S^{ρ_n} \otimes S^{ρ_n}$.
Every CBER is smooth below the Carlson-Simpson generic partition
Published
• View Publication
• BIB
Let $E$ be a countable Borel equivalence relation on the space $\mathcal{E}_{\infty}$ of all infinite partitions of the natural numbers. We show that $E$ coincides with equality below a Carlson-Simpson generic element of $\mathcal{E}_{\infty}$. In contrast, we show that there is a hypersmooth equivalence relation on $\mathcal{E}_{\infty}$ which is Borel bireducible with $E_1$ on every Carlson-Simpson cube. Our arguments are classical and require no background in forcing.
Short injective proofs of the Erdős-Ko-Rado and Hilton-Milner Theorem: A canonical partition of shifted intersecting set systems
We give a canonical partition of shifted intersecting set systems, from which one can obtain unified and elementary proofs of the Erdős-Ko-Rado and Hilton-Milner Theorem, as well as a characterization of maximal shifted $k$-uniform intersecting set systems over $[n]$.
A Critical Probability for Biclique Partition of $G_{n,p}$
Published
• View Publication
• BIB
The biclique partition number of a graph $G= (V,E)$, denoted $bp(G)$, is the minimum number of pairwise edge disjoint complete bipartite subgraphs of $G$ so that each edge of $G$ belongs to exactly one of them. It is easy to see that $ bp(G) \leq n - α(G)$, where $α(G)$ is the maximum size of an independent set of $G$. Erdős conjectured in the 80's that for almost every graph $G$ equality holds; i.e., if $ G=G_{n,1/2}$ then $bp(G) = n - α(G)$ with high probability. Alon showed that this is false. We show that the conjecture of Erdős is true if we instead take $ G=G_{n,p}$, where $p$ is constant and less than a certain threshold value $p_0 \approx 0.312$. This verifies a conjecture of Chung and Peng for these values of $p$. We also show that if $p_0 < p <1/2$ then $bp(G_{n,p}) = n - (1 + Θ(1)) α(G_{n,p})$ with high probability.
Factorisation of the complete bipartite graph into spanning semiregular factors
Published
• View Publication
• BIB
We enumerate factorisations of the complete bipartite graph into spanning semiregular graphs in several cases, including when the degrees of all the factors except one or two are small. The resulting asymptotic behaviour is seen to generalise the number of semiregular graphs in an elegant way. This leads us to conjecture a general formula when the number of factors is vanishing compared to the number of vertices. As a corollary, we find the average number of ways to partition the edges of a random semiregular bipartite graph into spanning semiregular subgraphs in several cases. Our proof of one case uses a switching argument to find the probability that a set of sufficiently sparse semiregular bipartite graphs are edge-disjoint when randomly labelled.
Strict Log-Subadditivity for Overpartition Rank
Published
• View Publication
• BIB
Bessenrodt and Ono initially found the strict log-subadditivity of partition function $p(n)$, that is, $p(a+b)< p(a)p(b)$ for $a,b>1$ and $a+b>9$. Many other important statistics of partitions are proved to enjoy similar properties. Lovejoy introduced the overpartition rank as an analog of Dyson's rank for partitions from the $q$-series perspective. Let $\overline{N}(a,c,n)$ denote the number of overpartitions with rank congruent to $a$ modulo $c$. Ciolan computed the asymptotic formula of $\overline{N}(a,c,n)$ and showed that $\overline{N}(a, c, n) > \overline{N}(b, c, n)$ for $c\geq7$ and $n$ large enough. In this paper, we derive an upper bound and a lower bound of $\overline{N}(a,c,n)$ for each $c\geq3$ by using the asymptotics of Ciolan. Consequently, we establish the strict log-subadditivity of $\overline{N}(a,c,n)$ analogous to the partition function $p(n)$.