partition
6235 papers tagged with this keyword
Elements with unique length factorization of a numerical semigroup generated by three consecutive numbers
Let $S$ be the numerical semigroup generated by three consecutive numbers $a,a+1,a+2$, where $a\in\mathbb{N}$, $a\geq 3$. We describe the elements of $S$ whose factorizations have all the same length, as well as the set of factorizations of each of these elements. We give natural partitions of this subset of $S$ in terms of the length and the denumerant. By using Apéry sets and Betti elements we are able to extend some results, first obtained by elementary means.
Association schemes arising from non-weakly regular bent functions
Association schemes play an important role in algebraic combinatorics and have important applications in coding theory, graph theory and design theory. The methods to construct association schemes by using bent functions have been extensively studied. Recently, in [13], {Ö}zbudak and Pelen constructed infinite families of symmetric association schemes of classes $5$ and $6$ by using ternary non-weakly regular bent functions.They also stated that constructing $2p$-class association schemes from $p$-ary non-weakly regular bent functions is an interesting problem, where $p>3$ is an odd prime. In this paper, using non-weakly regular bent functions, we construct infinite families of symmetric association schemes of classes $2p$, $(2p+1)$ and $\frac{3p+1}{2}$ for any odd prime $p$. Fusing those association schemes, we also obtain $t$-class symmetric association schemes, where $t=4,5,6,7$. In addition, we give the sufficient and necessary conditions for the partitions $P$, $D$, $T$, $U$ and $V$ (defined in this paper) to induce symmetric association schemes.
Modulus for bases of matroids
In this work, we explore the application of modulus in matroid theory, specifically, the modulus of the family of bases of matroids. This study not only recovers various concepts in matroid theory, including the strength, fractional arboricity, and principal partitions, but also offers new insights. In the process, we introduce the concept of a Beurling set. Additionally, our study revisits and provides an alternative approach to two of Edmonds's theorems related to the base packing and base covering problems. This is our stepping stone for establishing Fulkerson modulus duality for the family of bases. Finally, we provide a relationship between the base modulus of matroids and their dual matroids, and a complete understanding of the base $p$-modulus across all values of $p$.
About the Moments of the Generalized Ulam Problem
Given $π\in S_n$, let $Z_{n,k}(π)=\sum_{1\leq i_1<\dots<i_k\leq n} \mathbf{1}(\{ π_{i_1}<\dots<π_{i_k}\}$ denote the number of increasing subsequences of length $k$. Consider the "generalized Ulam problem," studying the distribution of $Z_{n,k}$ for general $k$ and $n$. For the 2nd moment, Ross Pinsky initiated a combinatorial study by considering a pair of subsequences $i^{(r)}_1<\dots<i^{(r)}_k$ for $r \in \{1,2\}$, and conditioning on the size of the intersection $j = |\{i_1^{(1)},\dots,i^{(1)}_k\} \cap \{i^{(2)}_1,\dots,i^{(2)}_k\}|$. We obtain the exact large deviation rate function for $\mathbf{E}[Z_{n,k} Z_{n,\ell}]$ in the asymptotic regime $k\sim κn^{1/2}$, $\ell \sim λn^{1/2}$ as $n \to \infty$, for $κ,λ\in (0,\infty)$. This uses multivariate generating function techniques, as found in the textbook of Pemantle and Wilson. The requisite generating function enumerates pairs of up-right paths in $d=2$, which both end at $(k,\ell)$ with a given number of intersections. We also evaluate the analogous generating function for pairs of $(+\boldsymbol{i},+\boldsymbol{j},+\boldsymbol{k})$ paths in $d=3$, which both end at $(k,\ell,m)$, which has some utility in calculating the 3rd moment. Finally, we consider a simpler problem involving partitions instead of permutations, where all moments are calculable and the replica symmetric ansatz can be stated if not proved.
The interplay between additive and symmetric large sets and their combinatorial applications
The study of symmetric structures is a new trend in Ramsey theory. Recently in [7], Di Nasso initiated a systematic study of symmetrization of classical Ramsey theoretical results, and proved a symmetric version of several Ramsey theoretic results. In this paper Di Nasso asked if his method could be adapted to find new non-linear Diophantine equations that are partition regular [7,Final remarks (4)]. By analyzing additive, multiplicative, and symmetric large sets, we construct new partition regular equations that give a first affirmative answer to this question. A special case of our result shows that if $P$ is a polynomial with no constant term then the equation $x+P(y-x)=z+w+zw$, where $y\neq x$ is partition regular. Also we prove several new monochromatic patterns involving additive, multiplicative, and symmetric structures. Throughout our work, we use tools from the Algebra of the Stone-Čech Compactifications of discrete semigroups.
From quasi-symmetric to Schur expansions with applications to symmetric chain decompositions and plethysm
Published in Electronic J. Comb. 31(4) (2024) #P4.23
• View Publication
• BIB
It is an important problem in algebraic combinatorics to deduce the Schur function expansion of a symmetric function whose expansion in terms of the fundamental quasisymmetric function is known. For example, formulas are known for the fundamental expansion of a Macdonald symmetric function and for the plethysm of two Schur functions, while the Schur expansions of these expressions are still elusive. Egge, Loehr and Warrington provided a method to obtain the Schur expansion from the fundamental expansion by replacing each quasisymmetric function by a Schur function (not necessarily indexed by a partition) and using straightening rules to obtain the Schur expansion. Here we provide a new method that only involves the coefficients of the quasisymmetric functions indexed by partitions and the quasi-Kostka matrix. As an application, we identify the lexicographically largest term in the Schur expansion of the plethysm of two Schur functions. We provide the Schur expansion of $s_w[s_h](x,y)$ for $w=2,3,4$ using novel symmetric chain decompositions of Young's lattice for partitions in a $w\times h$ box. For $w=4$, this is first known combinatorial expression for the coefficient of $s_λ$ in $s_{w}[s_{h}]$ for two-row partitions $λ$, and for $w=3$ the combinatorial expression is new.
On the biases and asymptotics of partitions with finite choices of parts
Published in European Journal of Combinatorics, 2026
• View Publication
• BIB
Biases in integer partitions have been studied recently. For three disjoint subsets $R,S,I$ of positive integers, let $p_{RSI}(n)$ be the number of partitions of $n$ with parts from $R\cup S\cup I$ and $p_{R>S,I}(n)$ be the number of such partitions with more parts from $R$ than that from $S$. In this paper, in the case that $R,S,I$ are finite we obtain a concrete formula of the asymptotic ratio of $p_{R>S,I}(n)$ to $p_{RSI}(n)$. We also propose a conjecture in the case that $R,S$ are certain infinite arithmetic progressions.
The Low-Degree Hardness of Finding Large Independent Sets in Sparse Random Hypergraphs
We study the algorithmic task of finding large independent sets in Erdos-Renyi $r$-uniform hypergraphs on $n$ vertices having average degree $d$. Krivelevich and Sudakov showed that the maximum independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$. We show that the class of low-degree polynomial algorithms can find independent sets of density $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$ but no larger. This extends and generalizes earlier results of Gamarnik and Sudan, Rahman and Virag, and Wein on graphs, and answers a question of Bal and Bennett. We conjecture that this statistical-computational gap holds for this problem.
Additionally, we explore the universality of this gap by examining $r$-partite hypergraphs. A hypergraph $H=(V,E)$ is $r$-partite if there is a partition $V=V_1\cup\cdots\cup V_r$ such that each edge contains exactly one vertex from each set $V_i$. We consider the problem of finding large balanced independent sets (independent sets containing the same number of vertices in each partition) in random $r$-partite hypergraphs with $n$ vertices in each partition and average degree $d$. We prove that the maximum balanced independent set has density $\left(\frac{r\log d}{(r-1)d}\right)^{1/(r-1)}$ asymptotically. Furthermore, we prove an analogous low-degree computational threshold of $\left(\frac{\log d}{(r-1)d}\right)^{1/(r-1)}$. Our results recover and generalize recent work of Perkins and the second author on bipartite graphs.
While the graph case has been extensively studied, this work is the first to consider statistical-computational gaps of optimization problems on random hypergraphs. Our results suggest that these gaps persist for larger uniformities as well as across many models. A somewhat surprising aspect of the gap for balanced independent sets is that the algorithm achieving the lower bound is a simple degree-1 polynomial.
Remarks on the conjectures of Capparelli, Meurman, Primc and Primc
In a sequence of two papers, S. Capparelli, A. Meurman, A. Primc, M. Primc (CMPP) and then M. Primc put forth three remarkable sets of conjectures, stating that the generating functions of coloured integer partition in which the parts satisfy restrictions on the multiplicities admit simple infinite product forms. While CMPP related one set of conjectures to the principally specialised characters of standard modules for the affine Lie algebra $\mathrm{C}_n^{(1)}$, finding a Lie-algebraic interpretation for the remaining two sets remained an open problem. In this paper, we use the work of Griffin, Ono and the fourth author on Rogers-Ramanujan identities for affine Lie algebras to solve this problem, relating the remaining two sets of conjectures to non-standard specialisations of standard modules for $\mathrm{A}_{2n}^{(2)}$ and $\mathrm{D}_{n+1}^{(2)}$. We also use their work to formulate conjectures for the bivariate generating function of one-parameter families of CMPP partitions in terms of Hall-Littlewood symmetric functions. We make a detailed study of several further aspects of CMPP partitions, obtaining (i) functional equations for bivariate generating functions which generalise the well-known Rogers-Selberg equations, (ii) a partial level-rank duality in the $\mathrm{A}_{2n}^{(2)}$ case, and (iii) (conjectural) identities of the Rogers-Ramanujan type for $\mathrm{D}_3^{(2)}$.
On combinatorial structure and algebraic characterizations of distance-regular digraphs
Let $Γ=Γ(A)$ denote a simple strongly connected digraph with vertex set $X$, diameter $D$, and let $\{A_0,A:=A_1,A_2,\ldots,A_D\}$ denote the set of distance-$i$ matrices of $Γ$. Let $\{R_i\}_{i=0}^D$ denote a partition of $X\times X$, where $R_i=\{(x,y)\in X\times X\mid (A_i)_{xy}=1\}$ $(0\le i\le D)$. The digraph $Γ$ is distance-regular if and only if $(X,\{R_i\}_{i=0}^D)$ is a commutative association scheme. In this paper, we describe the combinatorial structure of $Γ$ in the sense of equitable partition, and from it we derive several new algebraic characterizations of such a graph, including the spectral excess theorem for distance-regular digraph. Along the way, we also rediscover all well-known algebraic characterizations of such graphs.
Refined canonical stable Grothendieck polynomials and their duals, Part 2
This paper is the sequel of the paper under the same title with part 1, where we introduced refined canonical stable Grothendieck polynomials and their duals with two families of infinite parameters. In this paper we give combinatorial interpretations for these polynomials using generalizations of set-valued tableaux and reverse plane partitions, respectively. Our results extend to their flagged and skew versions.
The Magic Number Conjecture for the $m=2$ amplituhedron and Parke-Taylor identities
The amplituhedron $A_{n,k,m}$ is a geometric object introduced in the context of scattering amplitudes in $N=4$ super Yang Mills. It generalizes the positive Grassmannian (when $n=k+m$), cyclic polytopes (when $k=1$), and the bounded complex of the cyclic hyperplane arrangement (when $m=1$). Of substantial interest are the tilings of the amplituhedron, which are analogous to triangulations of a polytope. Karp, Williams and Zhang (2020) observed that the known tilings of $A_{n,k,2}$ have cardinality ${n-2 \choose k}$ and the known tilings of $A_{n,k,4}$ have cardinality the Narayana number $\frac{1}{n-3}{n-3 \choose k+1}{n-3 \choose k}$; generalizing these observations, they conjectured that for even $m$ the tilings of $A_{n, k,m}$ have cardinality the MacMahon number, the number of plane partitions which fit inside a $k \times (n-k-m) \times \frac{m}{2}$ box. We refer to this prediction as the `Magic Number Conjecture'. In this paper we prove the Magic Number Conjecture for the $m=2$ amplituhedron: that is, we show that each tiling of $A_{n,k,2}$ has cardinality ${n-2 \choose k}$. We prove this by showing that all positroid tilings of the hypersimplex $Δ_{k+1,n}$ have cardinality ${n-2 \choose k}$, then applying T-duality. In addition, we give combinatorial necessary conditions for tiles to form a tiling of $A_{n,k,2}$; we give volume formulas for Parke-Taylor polytopes and certain positroid polytopes in terms of circular extensions of cyclic partial orders; and we prove new variants of the classical Parke-Taylor identities.
Hook-Lengths, Symplectic/Orthogonal Contents and Amdeberhan's Conjectures
Published
• View Publication
• BIB
The symplectic/orthogonal contents of partitions are related to the dimensions of irreducible representations of symplectic/orthogonal groups. In 2012, motivated by Nekrasov--Okounkov's hook-length formula and Stanley's hook-content formula, Amdeberhan proposed several conjectures about infinite product formulas for certain generating functions of hook-lengths and symplectic/orthogonal contents. Some special cases of his conjectures were recently proved by Amdeberhan, Andrews and Ballantine. In this paper, we prove the general cases of Amdeberhan's conjectures.
Growth of regular partitions 3: strong regularity and the vertex partition
We consider here the strong regularity for $3$-uniform hypergraphs developed by Frankl, Gowers, Kohayakawa, Nagle, Rödl, Skokan, and Schacht. This type of regular decomposition comes with two components, a partition of the vertices, and a partition of the pairs of vertices. The data of a regular decomposition also includes two parameters measuring quasirandomness, a fixed constant $ε_1>0$, and a function $ε_2:\mathbb{N}\rightarrow (0,1]$. We define two growth functions associated to a hereditary property $\mathcal{H}$ of $3$-uniform hypergraphs: $T_{\mathcal{H}}(ε_1,ε_2)$ which measures the size of the vertex component, and $L_{\mathcal{H}}(ε,ε_2)$ which measures the size of the pairs component. We introduce the following question. What are the possible asymptotic growth rates of functions of the form $T_{\mathcal{H}}$ and $L_{\mathcal{H}}$? In this paper, we consider this question for $T_{\mathcal{H}}$, proving a separation into four classes: constant, polynomial, exponential, or at least wowzer. The separations among the constant, polynomial and exponential ranges require only slow growing (namely polynomial) choices for $ε_2$. The jump to the wowzer range uses a very fast growing $ε_2$ and makes crucial use of a lower bound construction for strong graph regularity due to Conlon and Fox.
Growth of regular partitions 4: strong regularity and the pairs partition
This paper studies bounds in a strong form of regularity for $3$-uniform hypergraphs which was developed by Frankl, Gowers, Kohayakawa, Nagle, Rödl, Skokan, and Schacht. Regular decompositions of this type involve two structural components: a partition on the vertex set and a partition on the pairs of vertices. The regularity of such decompositions are measured by two parameters: an $ε_1>0$ and a function $ε_2:\mathbb{N}\rightarrow (0,1]$. To each hereditary property $\mathcal{H}$ of $3$-uniform hypergraphs, we associate two corresponding growth functions: $T_{\mathcal{H}}(ε_1,ε_2)$ for the size of the vertex component, and $L_{\mathcal{H}}(ε_1,ε_2)$ for the size of the pairs component. The problem of understanding the asymptotic growth of such functions was introduced in a companion paper, which also proved several results about $T_{\mathcal{H}}$. In this paper we study the possible asymptotic behavior of $L_{\mathcal{H}}$. We show any such function is either constant, bounded above and below by a polynomial, or bounded below by an exponential. All results require only reasonable growth rates for $ε_2$ (namely polynomial).
A note on the exact formulas for certain $2$-color partitions
Published in C. R. Math. Acad. Sci. Paris 362 (2024), 1485-1490
• View Publication
• BIB
Let $p\leq 23$ be a prime and $a_p(n)$ counts the number of partitions of $n$ where parts that are multiple of $p$ come up with $2$ colors. Using a result of Sussman, we derive the exact formula for $a_p(n)$ and obtain an asymptotic formula for $\log a_p(n)$. Our results partially extend the work of Mauth, who proved the asymptotic formula for $\log a_2(n)$ conjectured by Banerjee et al.
Towards a classification of $1$-homogeneous distance-regular graphs with positive intersection number $a_1$
Published
• View Publication
• BIB
Let $Γ$ be a graph with diameter at least two. Then $Γ$ is said to be $1$-homogeneous (in the sense of Nomura) whenever for every pair of adjacent vertices $x$ and $y$ in $Γ$, the distance partition of the vertex set of $Γ$ with respect to both $x$ and $y$ is equitable, and the parameters corresponding to equitable partitions are independent of the choice of $x$ and $y$. Assume that $Γ$ is $1$-homogeneous distance-regular with intersection number $a_1>0$ and diameter $D\geqslant 5$. Define $b=b_1/(θ_1+1)$, where $b_1$ is the intersection number and $θ_1$ is the second largest eigenvalue of $Γ$. We show that if intersection number $c_2$ is at least $2$, then $b\geqslant 1$ and one of the following (i)--(vi) holds: (i) $Γ$ is a regular near $2D$-gon, (ii) $Γ$ is a Johnson graph $J(2D,D)$, (iii) $Γ$ is a halved $\ell$-cube with $\ell \in \{2D,2D+1\}$, (iv) $Γ$ is a folded Johnson graph $\bar{J}(4D,2D)$, (v) $Γ$ is a folded halved $4D$-cube, (vi) the valency of $Γ$ is bounded by a function of $b$. Using this result, we characterize $1$-homogeneous graphs with classical parameters and $a_1>0$, as well as tight distance-regular graphs.
Growth of regular partitions 1: Improved bounds for small slicewise VC-dimension
This is Part 1 in a series of papers about sizes of regular partitions of $3$-uniform hypergraphs. Previous work of the author and Wolf, and independently Chernikov and Towsner, showed that $3$-uniform hypergraphs of small slicewise VC-dimension admit homogeneous partitions. The results of Chernikov and Towsner did not produce explicit bounds, while the work of the author and Wolf relied on a strong version of hypergraph regularity, and consequently produced a Wowzer type bound on the size of the partition. This paper gives a new proof of this result, yielding $\e$-homogeneous partitions of size at most $2^{2^{ε^{-K}}}$, where $K$ is a constant depending on the slicewise VC-dimension. This result is a crucial ingredient in Part 2 of the series, which investigates the growth of weak regular partitions in hereditary properties of $3$-uniform hypergraphs.
Growth of regular partitions 2: Weak regularity
This is Part 2 in a series of papers about the growth of regular partitions in hereditary properties $3$-uniform hypergraphs. The focus of this paper is the notion of weak hypergraph regularity, first developed by Chung, Chung-Graham, and Haviland-Thomason. Given a hereditary property of $3$-uniform hypergraphs $\mathcal{H}$, we define a function $M_{\mathcal{H}}:(0,1)\rightarrow \mathbb{N}$ by letting $M_{\mathcal{H}}(ε)$ be the smallest integer $M$ such that all sufficiently large elements of $\mathcal{H}$ admit weak regular partitions of size at most $M$. We show the asymptotic growth rate of such a function falls into one of four categories: constant, polynomial, between single and double exponentials, or tower. These results are a crucial component in Part 3 of the series, which considers vertex partitions associated to a stronger notion of hypergraph regularity.
On the orthogonal Grünbaum partition problem in dimension three
Grünbaum's equipartition problem asked if for any measure $μ$ on $\mathbb{R}^d$ there are always $d$ hyperplanes which divide $\mathbb{R}^d$ into $2^d$ $μ$-equal parts. This problem is known to have a positive answer for $d\le 3$ and a negative one for $d\ge 5$. A variant of this question is to require the hyperplanes to be mutually orthogonal. This variant is known to have a positive answer for $d\le 2$ and there is reason to expect it to have a negative answer for $d\ge 3$. In this note we exhibit measures that prove this. Additionally, we describe an algorithm that checks if a set of $8n$ in $\mathbb{R}^3$ can be split evenly by $3$ mutually orthogonal planes. To our surprise, it seems the probability that a random set of $8$ points chosen uniformly and independently in the unit cube does not admit such a partition is less than $0.001$.