partition
6235 papers tagged with this keyword
Some Properties of Overpartitions into Nonmultiples of Two Integers
We consider properties of overpartitions that are simultaneously {\ell}-regular and μ-regular, where {\ell} and μ are positive relatively prime integers. We prove a seven-way combinatorial identity related to these overpartitions. We also prove several congruence properties satisfied by this class of partitions (and a further related class) using both generating functions and modular forms with Radu's Algorithm.
Robinson-Schensted shapes arising from cycle decompositions
In the symmetric group $S_n$, each element $σ$ has an associated cycle type $α$, a partition of $n$ that identifies the conjugacy class of $σ$. The Robinson-Schensted (RS) correspondence links each $σ$ to another partition $λ$ of $n$, representing the shape of the pair of Young tableaux produced by applying the RS row-insertion algorithm to $σ$. Surprisingly, the relationship between these two partitions, namely the cycle type $α$ and the RS shape $λ$, has only recently become a subject of study. In this work, we explicitly describe the set of RS shapes $λ$ that can arise from elements of each cycle type $α$ in cases where $α$ consists of two cycles. To do this, we introduce the notion of an $α$-coloring, where one colors the entries in a certain tableau of shape $λ$, in such a way as to construct a permutation $σ$ with cycle type $α$ and RS shape $λ$.
On the number of $k$-mers admitting a given lexicographical minimizer
The minimizer of a word of size $k$ (a $k$-mer) is defined as its smallest substring of size $m$ (with $m\leq k$), according to some ordering on $m$-mers. minimizers have been used in bioinformatics -- notably -- to partition sequencing datasets, binning together $k$-mers that share the same minimizer. It is folklore that using the lexicographical order lead to very unbalanced partitions, resulting in an abundant literature devoted to devising alternative orders for achieving better balanced partitions. To the best of our knowledge, the unbalanced-ness of lexicographical-based minimizer partitions has never been investigated from a theoretical point of view. In this article, we aim to fill this gap and determine, for a given minimizer, how many $k$-mers would admit the chosen minimizer -- i.e. what would be the size of the bucket associated to the chosen minimizer in the worst case, where all $k$-mers would be seen in the data. We show that this number can be computed in $O(km)$ space and $O(km^2)$ time. We further introduce approximations that can be computed in $O(k)$ space and $O(km)$ time. We also show on genomic datasets that the practical number of $k$-mers associated to a minimizer are closely correlated to the theoretical expected number. We introduce two conjectures that could help closely approximating the total number of $k$-mers sharing a minimizer. We believe that characterising the distribution of the number of $k$-mers per minimizer will help devise efficient lexicographic-based minimizer bucketting.
Isoresidual curves
Given a partition $μ$ of $-2$, the stratum $\mathcal{H}(μ)$ parametrizes meromorphic differential one-forms on the Riemann sphere $\mathbb{CP}^{1}$ with~$n$ zeros and $p$ poles of orders prescribed by $μ$. The isoresidual fibration is defined by assigning to each differential in $\mathcal{H}(μ)$ its configuration of residues at the poles. In the case of differentials with $n=2$ zeros, generic isoresidual fibers are complex curves endowed with a canonical translation structure, which we describe extensively in this paper. Quantitative characteristics of the translation structure on isoresidual fiber curves, including the orders of the singularities and a period central charge encapsulating the linear dependence of periods on the underlying configuration of residues, provide rich discrete invariants for these fibers. We also determine the Euler characteristic of generic isoresidual fiber curves from intersection-theoretic computations, relying on the multi-scale compactification of strata of differentials. In particular, we describe a wall and chamber structure for the Euler characteristic of generic isoresidual fiber curves in terms of the partition $μ$. Additionally, we classify the connected components of generic isoresidual fibers for strata in genus zero with an arbitrary number of zeros.
The support of Kostant's weight multiplicity formula is an order ideal in the weak Bruhat order
For integral weights $λ$ and $μ$ of a classical simple Lie algebra $\mathfrak{g}$, Kostant's weight multiplicity formula gives the multiplicity of the weight $μ$ in the irreducible representation with highest weight $λ$, which we denote by $m(λ,μ)$. Kostant's weight multiplicity formula is an alternating sum over the Weyl group of the Lie algebra whose terms are determined via a vector partition function. The Weyl alternation set $\mathcal{A}(λ,μ)$ is the set of elements of the Weyl group that contribute nontrivially to the multiplicity $m(λ,μ)$. In this article, we prove that Weyl alternation sets are order ideals in the weak Bruhat order of the corresponding Weyl group. Specializing to the Lie algebra $\mathfrak{sl}_{r+1}(\mathbb{C})$, we give a complete characterization of the Weyl alternation sets $\mathcal{A}(\tildeα,μ)$, where $\tildeα$ is the highest root and $μ$ is a negative root, answering a question of Harry posed in 2024. We also provide some enumerative results that pave the way for our future work, where we aim to prove Harry's conjecture that the $q$-analog of Kostant's weight multiplicity formula is $m_q(\tildeα,μ)=q^{r+j-i+1}+q^{r+j-i}-q^{j-i+1}$ when $μ=-(α_i+α_{i+1}+\cdots+α_{j})$ is a negative root of $\mathfrak{sl}_{r+1}(\mathbb{C})$.
Overpartitions with separated overlined parts and non-overlined parts
Recently, Andrews considered the partitions with parts separated by parity, in which parts of a given parity are all smaller than those of the other parity. Inspired from the partitions with parts separated by parity, we investigate the overpartitions with separated overlined parts and non-overlined parts, in which the sizes of overlined parts (resp. non-overlined parts) are greater than or equal to those of non-overlined parts (resp. overlined parts).
Spirals, Tic-Tac-Toe Partition, and Deep Diagonal Maps
The deep diagonal map $T_k$ acts on planar polygons by connecting the $k$-th diagonals and intersecting them successively. The map $T_2$ is the pentagram map, and $T_k$ is a generalization. We study the action of $T_k$ on two subsets of the so-called twisted polygons, which we term type-$α$ and type-$β$ $k$-spirals. For $k \geq 2$, $T_{k}$ preserves both types of $k$-spirals. In particular, we show that for $k = 2$ and $k = 3$, both types of $k$-spirals have precompact forward and backward $T_k$-orbits modulo projective transformations. We derive a rational formula for $T_3$, which generalizes the $y$-variables transformation formula of the corresponding quiver mutation by M. Glick and P. Pylyavskyy. We also present four algebraic invariants of $T_3$. These special orbits in the moduli space are partitioned into cells of a $3 \times 3$ tic-tac-toe grid. This establishes the action of $T_k$ on $k$-spirals as a geometric generalization of $T_2$ on convex polygons.
A topological product Tverberg Theorem
We prove a generalization of the topological Tverberg theorem. One special instance of our general theorem is the following: Let $Δ$ denote the 8-dimensional simplex viewed as an abstract simplicial complex, and suppose that its vertices are arranged in a $3\times 3$ array. Then for any continuous map $f:Δ\to \mathbb{R}^3$ it is possible to partition the rows or the columns of the vertex array into two parts, such that the disjoint faces $σ$ and $τ$ induced by the two parts satisfy $f(σ)\cap f(τ) \neq \emptyset$. Our result also has consequences for geometric transversals and topological Helly.
Construction of directed strongly regular graphs via their orbit matrices and genetic algorithm
In this paper, we introduce orbit matrices of directed strongly regular graphs (DSRGs). Further, we propose a method of constructing directed strongly regular graphs with prescribed automorphism group using genetic algorithm. In the construction, we use orbit matrices, i.e. quotient matrices related to equitable partitions of adjacency matrices of putative directed strongly regular graphs induced by an action of a prescribed automorphism group. Further, we apply this method to construct directed strongly regular graphs with parameters $(36,10,5,2,3)$, $(52,12,3,2,3)$, $(52,15,6,5,6)$, $(55,20,8,6,8)$ and $(55,24,12,11,10)$.
Asymptotically Enumerating Independent Sets in Regular $k$-Partite $k$-Uniform Hypergraphs
The number of independent sets in regular bipartite expander graphs can be efficiently approximated by expressing it as the partition function of a suitable polymer model and truncating its cluster expansion. While this approach has been extensively used for graphs, surprisingly little is known about analogous questions in the context of hypergraphs. In this work, we apply this method to asymptotically determine the number of independent sets in regular $k$-partite $k$-uniform hypergraphs which satisfy natural expansion properties. The resulting formula depends only on the local structure of the hypergraph, making it computationally efficient. In particular, we provide a simple closed-form expression for linear hypergraphs.
Undecidability in the Ramsey theory of polynomial equations and Hilbert's tenth problem
We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p \in \mathbb{Z}[x_1,\cdots,x_n]$ for which the equation $p(x_1,\cdots,x_n) = 0$ is partition regular over $\mathbb{Z}\setminus\{0\}$ is undecidable conditional on Hilbert's tenth problem for $\mathbb{Q}$. For other integral domains, we get the analogous result unconditionally. More generally, we determine the exact lightface complexity of the various sets of interest. For example, we show that the set of homogeneous polynomials $p \in \mathbb{F}_q(t)[x_1,\cdots,x_n]$ for which the equation $p(x_1,\cdots,x_n) = 0$ is partition regular over $\mathbb{F}_q(t)\setminus\{0\}$ is $Π_2^0$-complete.
We also prove several other results of independent interest. These include a compactness principle and a uniformity principle for density Ramsey theory on countable cancellative left amenable semigroups, as well as the existence of the natural extension for measure preserving systems of countable cancellative left reversible semigroups.
Dense halves in balanced 2-partition of K4-free graphs
A balanced 2-partition of a graph is a bipartition $A,A^c$ of $V(G)$ such that $|A|=|A^c|$. Balogh, Clemen, and Lidický conjectured that for every $K_4$-free graph on $n$ (even) vertices, there exists a balanced 2-partition $A,A^c$ such that $\max\{e(A),e(A^c)\}\leq n^2/16$ edges. In this paper, we present a family of counterexamples to the conjecture and provide a new upper bound ($0.074n^2$) for every sufficiently large even integer $n$.
Remarks on the countable case of the Unfriendly Partition Problem
The Unfriendly Partition Problem asks whether it is possible to split the vertex set of an infinite graph $G$ into two parts so that every vertex has at least as many neighbors in the other part than on its own. Despite the uncountable counterexamples provided by Milner and Shelah in 1990, this question still has no solution for graphs on countably many vertices. Under this hypothesis, our main result claims that such a bipartition exists if the rays of $G$ do not pass through infinitely many vertices of finite degree and infinitely many vertices of infinite degree simultaneously. In particular, for the class of countable graphs, we generalize previous results due to Aharoni, Milner and Prikry and due to Bruhn, Diestel, Georgakopolous and Sprüssel.
Euler-type recurrences for $t$-color and $t$-regular partition functions
We give Euler-like recursive formulas for the $t$-colored partition function when $t=2$ or $t=3,$ as well as for all $t$-regular partition functions. In particular, we derive an infinite family of ``triangular number" recurrences for the $3$-colored partition function. Our proofs are inspired by the recent work of Gomez, Ono, Saad, and Singh on the ordinary partition function and make extensive use of $q$-series identities for $(q;q)_{\infty}$ and $(q;q)_{\infty}^3.$
Partitions of Graphs into Special Bipartite Graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 27:3, Graph Theory (November 17, 2025) dmtcs:15361
• View Publication
• BIB
We study the problem of partitioning the edge set of the complete graph into bipartite subgraphs under certain constraints defined by forbidden subgraphs. These constraints lead to both classical problems, such as partitioning into independent matchings or complete bipartite subgraphs, and novel variants motivated by structural restrictions. Our theoretical framework is inspired by clustering problems in real-world transaction graphs, which can be formulated naturally as edge partitioning problems under bipartite graph constraints.
The main result of this paper is the proof of the bounds for $χ'_{2K_2}(n)$, which corresponds to the minimum number of induced $2K_2$-free bipartite subgraphs needed to partition the edges of $K_n$. In addition to this central result, we also present several similar bounds for other forbidden subgraphs on three or four vertices. Some are included primarily for the sake of completeness, to demonstrate the broad applicability of our approach, and some lead to other novel or well-known graph theoretical problems.
Forbidden Patterns in Mixed Linear Layouts
An ordered graph is a graph with a total order over its vertices. A linear layout of an ordered graph is a partition of the edges into sets of either non-crossing edges, called stacks, or non-nesting edges, called queues. The stack (queue) number of an ordered graph is the minimum number of required stacks (queues). Mixed linear layouts combine these layouts by allowing each set of edges to form either a stack or a queue. The minimum number of stacks plus queues is called the mixed page number. It is well known that ordered graphs with small stack number are characterized, up to a function, by the absence of large twists (that is, pairwise crossing edges). Similarly, ordered graphs with small queue number are characterized by the absence of large rainbows (that is, pairwise nesting edges). However, no such characterization via forbidden patterns is known for mixed linear layouts.
We address this gap by introducing patterns similar to twists and rainbows, which we call thick patterns; such patterns allow a characterization, again up to a function, of mixed linear layouts of bounded-degree graphs. That is, we show that a family of ordered graphs with bounded maximum degree has bounded mixed page number if and only if the size of the largest thick pattern is bounded. In addition, we investigate an exact characterization of ordered graphs whose mixed page number equals a fixed integer $ k $ via a finite set of forbidden patterns. We show that for every $ k \ge 2 $, there is no such characterization, which supports the nature of our first result.
Total restrained coalitions in graphs
A set $S\subseteq V$ in an isolate-free graph $G$ is a total restrained dominating set, abbreviated TRD-set, if every vertex in $V$ is adjacent to a vertex in $S$, and every vertex in $V\setminus S$ is adjacent to a vertex in $V\setminus S$. A total restrained coalition is made up of two disjoint sets of vertices $X$ and $Y$ of $G$, neither of which is a TRD-set but their union $X\cup Y$ is a TRD-set. A total restrained coalition partition of a graph $G$ is a partition $Φ=\{V_1, V_2,\dots,V_k\}$ such that for all $i \in [k]$, the set $V_i$ forms a total restrained coalition with another set $V_j$ for some $j$, where $j\in [k]\setminus{i}$. The total restrained coalition number $C_{tr}(G)$ in $G$ equals the maximum order of a total restrained coalition partition in $G$. In this work, we initiate the study of total restrained coalition in graphs and its properties.
Partitions of planar (oriented) graphs into a connected acyclic and an independent set
A question at the intersection of Barnette's Hamiltonicity and Neumann-Lara's dicoloring conjecture is: Can every Eulerian oriented planar graph be vertex-partitioned into two acyclic sets? A CAI-partition of an undirected/oriented graph is a partition into a tree/connected acyclic subgraph and an independent set. Consider any plane Eulerian oriented triangulation together with its unique tripartition, i.e. partition into three independent sets. If two of these three sets induce a subgraph G that has a CAI-partition, then the above question has a positive answer. We show that if G is subcubic, then it has a CAI-partition, i.e. oriented planar bipartite subcubic 2-vertex-connected graphs admit CAI-partitions. We also show that series-parallel 2-vertex-connected graphs admit CAI-partitions. Finally, we present a Eulerian oriented triangulation such that no two sets of its tripartition induce a graph with a CAI-partition. This generalizes a result of Alt, Payne, Schmidt, and Wood to the oriented setting.
Critical groups and partitions of finite groups
We define a class of finite groups based on the properties of the closed twins of their power graphs and study the structure of those groups. As a byproduct, we obtain results about finite groups admitting a partition by cyclic subgroups.
On Enumerating Higher Bruhat Orders Through Deletion and Contraction
The higher Bruhat orders $\mathcal{B}(n,k)$ were introduced by Manin-Schechtman to study discriminantal hyperplane arrangements and subsequently studied by Ziegler, who connected $\mathcal{B}(n,k)$ to oriented matroids. In this paper, we consider the enumeration of $\mathcal{B}(n,k)$ and improve upon Balko's asymptotic lower and upper bounds on $|\mathcal{B}(n,k)|$ by a factor exponential in $k$. A proof of Ziegler's formula for $|\mathcal{B}(n,n-3)|$ is given and a bijection between a certain subset of $\mathcal{B}(n,n-4)$ and totally symmetric plane partitions is proved. Central to our proofs are deletion and contraction operations for the higher Bruhat orders, defined in analogy with matroids. Dual higher Bruhat orders are also introduced, and we construct isomorphisms relating the higher Bruhat orders and their duals. Additionally, weaving functions are introduced to generalize Felsner's encoding of elements in $\mathcal{B}(n,2)$ to all higher Bruhat orders $\mathcal{B}(n,k)$.