partition
6235 papers tagged with this keyword
A Subexponential Reduction from Product Partition to Subset Sum
In this paper we study the Product Partition Problem (PPP), i.e. we are given a set of $n$ natural numbers represented on $m$ bits each and we are asked if a subset exists such that the product of the numbers in the subset equals the product of the numbers not in the subset. Our approach is to obtain the integer factorization of each number. This is the subexponential step. We then form a matrix with the exponents of the primes and show that the PPP has a solution iff some Subset Sum Problems have a common solution. Finally, using the fact that the exponents are not large we combine all the Subset Sum Problems in a single Subset Sum Problem (SSP) and show that its size is polynomial in $m,n$. We show that the PPP has a solution iff the final SSP has one.
Pfaffian Formulation of Schur's $Q$-functions
Published in J. Algebra 669 (2025) 1--25
• View Publication
• BIB
We introduce a Pfaffian formula that extends Schur's $Q$-functions $Q_λ$ to be indexed by compositions $λ$ with negative parts. This formula makes the Pfaffian construction more consistent with other constructions, such as the Young tableau and Vertex Operator constructions. With this construction, we develop a proof technique involving decomposing $Q_λ$ into sums indexed by partitions with removed parts. Consequently, we are able to prove several identities of Schur's $Q$-functions using only simple algebraic methods.
Framization and Deframization
Starting from the geometric construction of the framed braid group, we define and study the framization of several Brauer-type monoids and also the set partition monoid, all of which appear in knot theory. We introduce the concept of deframization, which is a procedure to obtain a tied monoid from a given framed monoid. Furthermore, we show in detail how this procedure works on the monoids mentioned above. We also discuss the framization and deframization of some algebras, which are deformations, respectively, of the framized and deframized monoids discussed here.
The lattice of submonoids of the uniform block permutations containing the symmetric group
Published in Semigroup Forum (2025)
• View Publication
• BIB
We study the lattice of submonoids of the uniform block permutation monoid containing the symmetric group (which is its group of units). We prove that this lattice is distributive under union and intersection by relating the submonoids containing the symmetric group to downsets in a new partial order on integer partitions. Furthermore, we show that the sizes of the $\mathscr{J}$-classes of the uniform block permutation monoid are sums of squares of dimensions of irreducible modules of the monoid algebra.
Rogers-Ramanujan identities in Statistical Mechanics
Published
• View Publication
• BIB
We describe the story of the Rogers-Ramanujan identities; being known for 85 years and having about 130 pure mathematics proofs, suddenly entering physics when Rodney Baxter solved the Hard Hexagon Model in Statistical Mechanics in 1980. We next cover the accompanying proofs by George E Andrews of other related Baxter identities arisen of Rogers-Ramanujan type, leading into a new flourishing partnership of Physics and Mathematics. Our narrative goes into the subsequent 44 years, explaining the progress in physics and mathematical analysis. Finally we show some related crossovers with regard to the Elliptic q-gamma function and some Vector Partition generating functional equations; the latter of which may be new. The present paper is essentially chapter 11 of a 32 chapter book to appear in June 2024.
Total coloring of regular graphs of girth = degree + 1
Let $2\le k\in\mathbb{Z}$. A total coloring of a $k$-regular simple graph via $k+1$ colors is an {\it efficient total coloring} if each color yields an efficient dominating set, where the efficient domination condition applies to the restriction of each color class to the vertex set. In this work, focus is set upon graphs of girth $k+1$. Efficient total colorings of finite connected simple cubic graphs of girth 4 are constructed starting at the 3-cube. It is conjectured that all of them are obtained by means of four basic operations. In contrast, the Robertson 19-vertex $(4,5)$-cage, the alternate union $Pet^k$ of a (Hamilton) $10k$-cycle with $k$ pentagon and $k$-pentagram $5$-cycles, for $k>1$ not divisible by 5, and its double cover $Dod^k$, contain TCs that are nonefficient. Applications to partitions into 3-paths and 3-stars are given.
Wronskians form the inverse system of the arcs of a double point
The ideal of the arc scheme of a double point or, equivalently, the differential ideal generated by the ideal of a double point is a primary ideal in an infinite-dimensional polynomial ring supported at the origin. This ideal has a rich combinatorial structure connecting it to singularity theory, partition identities, representation theory, and differential algebra. Macaulay inverse system is a powerful tool for studying the structure of primary ideals which describes an ideal in terms of certain linear differential operators. In the present paper, we show that the inverse system of the ideal of the arc scheme of a double point is precisely a vector space spanned by all the Wronskians of the variables and their formal derivatives. We then apply this characterization to extend our recent result on Poincaré-type series for such ideals.
Expansions of the Potts model partition function along deletions and contractions
We establish two expansions of the Potts model partition function of a graph. One is along the deletions of a graph, a rewritten formula given in Biggs (1977). The other is along the contractions of a graph. Then, we specialize the partition function to the chromatic or flow polynomial by the Möbius inversion formula, and prove two known equations of the two polynomials. One expresses the chromatic polynomial as a weighted sum of flow polynomials of deletions, the other expresses the flow polynomial as a weighted sum of chromatic polynomials of contractions. The proof of the former by Biggs formula is due to Bychkov et al. (2021). The two expressions are considered to be dual in the sense of their forms, and transfer to each other with plane duality. This relation also holds in our expansions of the Potts model partition function. We clarify this duality by using matroid duality. Partition functions can be extended to matroids, and the two expansions can also be extended. The two expansions transfer to each other with matroid duality, so in addition to an elementary combinatorial proof of the two, we give another proof by the "duality" relation between them.
Rowmotion on the chain of V's poset and whirling dynamics
Given a finite poset $P$, we study the _whirling_ action on vertex-labelings of $P$ with the elements $\{0,1,2,\dotsc ,k\}$. When such labelings are (weakly) order-reversing, we call them $k$-bounded $P$-partitions. We give a general equivariant bijection between $k$-bounded $P$-partitions and order ideals of the poset $P\times [k]$ which conveys whirling to the well-studied rowmotion operator. As an application, we derive periodicity and homomesy results for rowmotion acting on the chain of V's poset $V \times [k]$. We are able to generalize some of these results to the more complicated dynamics of rowmotion on $C_{n}\times [k]$, where $C_{n}$ is the claw poset with $n$ unrelated elements each covering $\widehat{0}$.
Monocromaticity of additive and multiplicative central sets and Goswami's theorem in large Integral Domains
In \cite{Fi} A. Fish proved that if $E_{1}$ and $E_{2}$ are two subsets of $\mathbb{Z}$ of positive upper Banach density, then there exists $k\in\mathbb{Z}\setminus{0}$ such that $k\cdot\mathbb{Z}\subset\left(E_{1}-E_{1}\right)\cdot\left(E_{2}-E_{2}\right)$. In \cite{G}, S. Goswami proved the same but a fundamental result on the set of prime numbers $\mathbb{P}$ in $\mathbb{N}$ and proved that for some $k\in\mathbb{N}$, $k\cdot\mathbb{N}\subset\left(\mathbb{P}-\mathbb{P}\right)\cdot\left(\mathbb{P}-\mathbb{P}\right)$. To do so, Goswami mainly proved that the product of an $IP^{\star}$-set with an $IP_{r}^{\star}$-set contains $k\mathbb{N}$. This result is very important and surprising to mathematicians who are aware of combinatorially rich sets. In this article, we extend Goswami's result to large Lntegral Domain, that behave like $\mathbb{N}$ in the sense of some combinatorics. We prove that for a combinatorially rich ($CR$-set) set, $A$, for some $k\in\mathbb{N}$, $k\cdot\mathbb{N}\subset\left(A-A\right)\cdot\left(A-A\right)$. We provide a new proof that if we partition a large Integral Domain, $R$, into finitely many cells, then at least one cell is both additive and multiplicative central, and we prove the converse part, which is a new and unknown result.
On the Correspondence Between Integer Sequences and Vacillating Tableaux
A fundamental identity in the representation theory of the partition algebra is $n^k = \sum_λ f^λm_k^λ$ for $n \geq 2k$, where $λ$ ranges over integer partitions of $n$, $f^λ$ is the number of standard Young tableaux of shape $λ$, and $m_k^λ$ is the number of vacillating tableaux of shape $λ$ and length $2k$. Using a combination of RSK insertion and jeu de taquin, Halverson and Lewandowski constructed a bijection $DI_n^k$ that maps each integer sequence in $[n]^k$ to a pair of tableaux of the same shape, where one is a standard Young tableau and the other is a vacillating tableau. In this paper, we study the fine properties of Halverson and Lewandowski's bijection and explore the correspondence between integer sequences and the vacillating tableaux via the map $DI_n^k$ for general integers $n$ and $k$. In particular, we characterize the integer sequences $\boldsymbol{i}$ whose corresponding shape, $λ$, in the image $DI_n^k(\boldsymbol{i})$, satisfies $λ_1 = n$ or $λ_1 = n-k$.
Integer partitions detect the primes
We show that integer partitions, the fundamental building blocks in additive number theory, detect prime numbers in an unexpected way. Answering a question of Schneider, we show that the primes are the solutions to special equations in partition functions. For example, an integer $n\geq 2$ is prime if and only if
$$
(3n^3 - 13n^2 + 18n - 8)M_1(n) + (12n^2 - 120n + 212)M_2(n) -960M_3(n) = 0,
$$
where the $M_a(n)$ are MacMahon's well-studied partition functions. More generally, for "MacMahonesque" partition functions $M_{\vec{a}}(n),$ we prove that there are infinitely many such prime detecting equations with constant coefficients, such as
$$
80M_{(1,1,1)}(n)-12M_{(2,0,1)}(n)+12M_{(2,1,0)}(n)+\dots-12M_{(1,3)}(n)-39M_{(3,1)}(n)=0.
$$
Brooks-type colourings of digraphs in linear time
Brooks' Theorem is a fundamental result on graph colouring, stating that the chromatic number of a graph is almost always upper bounded by its maximal degree. Lovász showed that such a colouring may then be computed in linear time when it exists. Many analogues are known for variants of (di)graph colouring, notably for list-colouring and partitions into subgraphs with prescribed degeneracy. One of the most general results of this kind is due to Borodin, Kostochka, and Toft, when asking for classes of colours to satisfy "variable degeneracy" constraints. An extension of this result to digraphs has recently been proposed by Bang-Jensen, Schweser, and Stiebitz, by considering colourings as partitions into "variable weakly degenerate" subdigraphs. Unlike earlier variants, there exists no linear-time algorithm to produce colourings for these generalisations.
We introduce the notion of (variable) bidegeneracy for digraphs, capturing multiple (di)graph degeneracy variants. We define the corresponding concept of $F$-dicolouring, where $F = (f_1,...,f_s)$ is a vector of functions, and an $F$-dicolouring requires vertices coloured $i$ to induce a "strictly-$f_i$-bidegenerate" subdigraph. We prove an analogue of Brooks' theorem for $F$-dicolouring, generalising the result of Bang-Jensen et al., and earlier analogues in turn.
Our new approach provides a linear-time algorithm that, given a digraph $D$, either produces an $F$-dicolouring of $D$, or correctly certifies that none exist. This yields the first linear-time algorithms to compute (di)colourings corresponding to the aforementioned generalisations of Brooks' theorem. In turn, it gives an unified framework to compute such colourings for various intermediate generalisations of Brooks' theorem such as list-(di)colouring and partitioning into (variable) degenerate sub(di)graphs.
A new modular plethystic $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong Δ^{(2,1^{N-1})} \mathrm{Sym}^d E$
Let $\mathbb{F}$ be a field and let $E$ be the natural representation of $\mathrm{SL}_2(\mathbb{F})$. Given a vector space $V$, let $Δ^{(2,1^{N-1})}V$ be the kernel of the multiplication map $\bigwedge^N V \otimes V \rightarrow \bigwedge^{N+1}V$. We construct an explicit $\mathrm{SL}_2(\mathbb{F})$-isomorphism $\mathrm{Sym}^{N-1}E \otimes \bigwedge^{N+1} \mathrm{Sym}^{d+1}E \cong Δ^{(2,1^{N-1})} \mathrm{Sym}^d E$. This $\mathrm{SL}_2(\mathbb{F})$-isomorphism is a modular lift of the $q$-binomial identity $q^{\frac{N(N-1)}{2}}[N]_q \binom{d+1}{N+1}_q = s_{(2,1^{N-1})}(1,q,\ldots, q^d)$, where $s_{(2,1^{N-1})}$ is the Schur function for the partition $(2,1^{N-1})$. This identity, which follows from our main theorem, implies the existence of an isomorphism when $\mathbb{F}$ is the field of complex numbers but it is notable, and not typical of the general case, that there is an explicit isomorphism defined in a uniform way for any field.
On k-(total) limited packing in graphs
A set $B\subseteq V(G)$ is called a $k$-total limited packing set in a graph $G$ if $|B\cap N(v)|\leq k$ for any vertex $v\in V(G)$. The $k$-total limited packing number $L_{k,t}(G)$ is the maximum cardinality of a $k$-total limited packing set in $G$. Here, we give some results on the $k$-total limited packing number of graphs emphasizing trees, especially when $k=2$. We also study the $2$-(total) limited packing number of some product graphs.
A $k$-limited packing partition ($k$LPP) of graph $G$ is a partition of $V(G)$ into $k$-limited packing sets. The minimum cardinality of a $k$LPP is called the $k$LPP number of $G$ and is denoted by $χ_{\times k}(G)$, and we obtain some results for this parameter.
Even and odd compositions with restricted parts
A result of Legendre asserts that the difference between the numbers of (length) even and odd partitions of $n$ into distinct parts is $0$, $1$, or $-1$; this also follows from Euler's pentagonal number theorem. We establish an analogous result for compositions and obtain some generalizations that are related to various entries in the On-Line Encyclopedia of Integer Sequences.
Clique-free t-matchings in degree-bounded graphs
We consider problems of finding a maximum size/weight $t$-matching without forbidden subgraphs in an undirected graph $G$ with the maximum degree bounded by $t+1$, where $t$ is an integer greater than $2$. Depending on the variant forbidden subgraphs denote certain subsets of $t$-regular complete partite subgraphs of $G$. A graph is complete partite if there exists a partition of its vertex set such that every pair of vertices from different sets is connected by an edge and vertices from the same set form an independent set. A clique $K_t$ and a bipartite clique $K_{t,t}$ are examples of complete partite graphs. These problems are natural generalizations of the triangle-free and square-free $2$-matching problems in subcubic graphs. In the weighted setting we assume that the weights of edges of $G$ are vertex-induced on every forbidden subgraph. We present simple and fast combinatorial algorithms for these problems. The presented algorithms are the first ones for the weighted versions, and for the unweighted ones, are faster than those known previously. Our approach relies on the use of gadgets with so-called half-edges. A half-edge of edge $e$ is, informally speaking, a half of $e$ containing exactly one of its endpoints.
Finding Product and Sum Patterns in non-commutative settings
Hindman conjectured that any finite partition of $\mathbb{N}$ has a monochromatic $\{x,y,x+y,xy\}$. Recently, Bowen proved the result for all 2-partition. In this paper, we extend Bowen's result to any semiring $(S,+,\cdot)$ such that $Ss$ is piecewise syndetic for all $s\in S$. As a method, we gave a combinatorial proof for a piecewise syndetic version of Bergerson and Glasscock's IP$_r^*$ Szemerédi Theorem, and discussed the case when the operation is not commutative.
Billiard Partitions, Fibonacci Sequences, SIP Classes, and Quivers
Starting from billiard partitions which arose recently in the description of periodic trajectories of ellipsoidal billiards in $d$-dimensional Euclidean space, we introduce a new type of separable integer partition classes, called type B. We study the numbers of basis partitions with $d$ parts and relate them to the Fibonacci sequence and its natural generalizations. Remarkably, the generating series of basis partitions can be related to the quiver generating series of symmetric quivers corresponding to the framed unknot via knots-quivers correspondence, and to the count of Schröder paths.
An extended generalization of RSK via the combinatorics of type $A$ quiver representations
The classical Robinson--Schensted--Knuth correspondence is a bijection from nonnegative integer matrices to pairs of semi-standard Young tableaux. Based on the work of, among others, Burge, Hillman, Grassl, Knuth and Gansner, it is known that a version of this correspondence gives, for any nonzero integer partition $λ$, a bijection from arbitrary fillings of $λ$ to reverse plane partitions of shape $λ$, via Greene--Kleitman invariants. By bringing out the combinatorial aspects of our recent results on quiver representations, we construct a family of bijections from fillings of $λ$ to reverse plane partitions of shape $λ$ parametrized by a choice of Coxeter element in a suitable symmetric group. We recover the above version of the Robinson--Schensted--Knuth correspondence for a particular choice of Coxeter element depending on $λ$.